INFO     Running translator.
INFO     translator input: ['/nfs/home/student.aau.dk/rtollu18/dat7/netstack/pddl-domains/domain-cc.pddl', '/nfs/home/student.aau.dk/rtollu18/dat7/netstack/zoo_pddl/Arpanet19728_3.pddl']
INFO     translator arguments: []
INFO     translator time limit: None
INFO     translator memory limit: 25600 MB
INFO     callstring: /usr/bin/python2 /nfs/home/student.aau.dk/rtollu18/dat7/netstack/stackelberg-planner-sls/translate/translate.py /nfs/home/student.aau.dk/rtollu18/dat7/netstack/pddl-domains/domain-cc.pddl /nfs/home/student.aau.dk/rtollu18/dat7/netstack/zoo_pddl/Arpanet19728_3.pddl
Parsing...
Parsing: [0.010s CPU, 0.101s wall-clock]
Normalizing task... [0.000s CPU, 0.001s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.005s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.010s wall-clock]
Preparing model... [0.010s CPU, 0.013s wall-clock]
Generated 173 rules.
Computing model... [1.120s CPU, 1.114s wall-clock]
22781 relevant atoms
32984 auxiliary atoms
55765 final queue length
76696 total queue pushes
Completing instantiation... [1.570s CPU, 1.570s wall-clock]
Instantiating: [2.740s CPU, 2.735s wall-clock]
Computing fact groups...
Finding invariants...
26 initial candidates
Finding invariants: [0.030s CPU, 0.028s wall-clock]
Checking invariant weight... [0.000s CPU, 0.001s wall-clock]
Instantiating groups... [0.000s CPU, 0.001s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.000s wall-clock]
Choosing groups...
786 uncovered facts
Choosing groups: [0.000s CPU, 0.001s wall-clock]
Building translation key... [0.010s CPU, 0.006s wall-clock]
Computing fact groups: [0.050s CPU, 0.050s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.002s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.002s wall-clock]
Building mutex information...
Building mutex information: [0.000s CPU, 0.003s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.130s CPU, 0.129s wall-clock]
Translating task: [1.730s CPU, 1.728s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
4 propositions removed
Detecting unreachable propositions: [0.220s CPU, 0.223s wall-clock]
Translator variables: 788
Translator derived variables: 0
Translator facts: 1650
Translator goal facts: 1
Translator mutex groups: 3
Translator total mutex groups size: 79
Translator operators: 20325
Translator axioms: 0
Translator task size: 113123
Translator peak memory: 106808 KB
Writing output... [0.280s CPU, 0.287s wall-clock]
Done! [5.090s CPU, 5.189s wall-clock]
INFO     Running preprocessor (release).
INFO     preprocessor input: output.sas
INFO     preprocessor arguments: []
INFO     preprocessor time limit: None
INFO     preprocessor memory limit: 25600 MB
INFO     callstring: /nfs/home/student.aau.dk/rtollu18/dat7/netstack/stackelberg-planner-sls/preprocess/preprocess < output.sas
Building causal graph...
The causal graph is not acyclic.
788 variables of 788 necessary
0 of 3 mutex groups necessary.
20325 of 20325 operators necessary.
0 of 0 axiom rules necessary.
Initializing mutex computation...
Mutex computation initialized with 1650 fluents.
iteration for mutex detection and operator pruning
Initialize m_index fw
Initialized mvalues forward: reached=620944, notReached=2097928, spurious=3628
Initialize m_ops fw
Computing mutexes...
Mutex computation finished with reached=2662920, notReached=55952, spurious=3628
14 operators are spurious because were not triggered
H^2 mutexes added fw: 55952, unreachable: 0
0 of 20311 operators detected as spurious
Total mutex and disambiguation time: 24.3226 iterations: 2
27976 of 27976 mutex groups necessary.
20311 of 20325 operators necessary.
0 of 0 axiom rules necessary.
Change id of operators: 20311
Change id of mutexes
Change id of goals
Change id of initial state
Remove unreachable facts from variables: 788
27976 of 27976 mutex groups necessary.
20311 of 20311 operators necessary.
0 of 0 axiom rules necessary.
Updating causal graph and pruning unnecessary facts
788 variables of 788 of 788 necessary
The causal graph is not acyclic.
788 variables of 788 necessary
27976 of 27976 mutex groups necessary.
20311 of 20311 operators necessary.
0 of 0 axiom rules necessary.
Building domain transition graphs...
solveable in poly time 0
Building successor generator...
Preprocessor variables: 788
Preprocessor facts: 1650
Preprocessor derived variables: 0
Preprocessor operators: 20311
Preprocessor mutex groups: 27976
Preprocessor task size: 168926
Writing output...
Preprocessor time: 26.0373s
Preprocessor peak memory: 102008 KB
done
INFO     Running search (release).
INFO     search input: output
INFO     search arguments: ['--search', 'sym_stackelberg(optimal_engine=symbolic(plan_reuse_minimal_task_upper_bound=true,plan_reuse_upper_bound=true),upper_bound_pruning=false,min_relevant_follower_cost=100000)']
INFO     search time limit: None
INFO     search memory limit: 25600 MB
INFO     search executable: /nfs/home/student.aau.dk/rtollu18/dat7/netstack/stackelberg-planner-sls/search/downward
INFO     callstring: /nfs/home/student.aau.dk/rtollu18/dat7/netstack/stackelberg-planner-sls/search/downward --search 'sym_stackelberg(optimal_engine=symbolic(plan_reuse_minimal_task_upper_bound=true,plan_reuse_upper_bound=true),upper_bound_pruning=false,min_relevant_follower_cost=100000)' --plan-file sas_plan < output
reading input... [t=0.0003468s]
Simplifying transitions... done!
done reading input! [t=0.657802s]
building causal graph...done! [t=0.670833s]
packing state variables...Variables: 788
Bytes per state: 100
done! [t=0.67091s]
done initalizing global data [t=0.670922s]
Begin sort_operators()...
Begin divide_ariables()...
Begin clean_follower_actions()...
Begin create_new_variable_indices()...
Begin check_leader_vars_follower_preconditioned()...
Begin compute_leader_facts_ops_sets()...
leader_variable_domain.size() = 701
leader_vars_follower_preconditioned.size() = 700
follower_operators.size() = 19610
leader_operators.size() = 701
Initializing Symbolic Variables
Sym variable order: 1 570 51 42 114 50 666 234 236 522 47 90 594 330 138 39 515 563 33 210 251 696 258 618 659 498 49 323 31 419 162 32 378 354 450 66 107 443 467 282 15 8 308 215 371 306 30 203 402 647 720 155 186 426 179 299 491 283 455 428 263 599 227 119 727 611 642 83 347 311 95 92 546 35 59 474 479 575 667 404 587 212 452 427 671 431 167 359 500 527 395 52 131 68 548 524 623 644 275 539 235 476 635 164 172 724 572 403 20 188 407 551 437 53 143 259 475 140 67 17 547 389 523 91 287 16 335 191 499 115 244 71 738 604 307 503 260 668 620 211 284 331 332 383 293 379 187 139 643 101 533 595 125 116 341 485 173 197 77 355 356 221 628 556 163 619 596 653 196 340 65 557 365 508 26 45 651 281 317 581 484 239 413 652 629 380 220 605 25 364 509 28 316 292 148 677 451 571 412 377 315 532 76 617 755 676 641 161 717 521 569 149 497 269 100 401 460 245 435 75 627 228 461 436 14 268 675 339 291 209 387 113 468 257 388 329 147 286 124 665 99 579 195 137 24 382 108 156 185 555 233 752 580 588 305 425 483 759 252 540 358 89 449 593 492 507 528 171 132 420 411 267 396 276 622 84 603 219 516 478 531 238 204 243 600 699 473 454 408 300 456 512 670 741 60 9 660 363 190 312 94 502 334 545 296 272 674 430 444 262 123 152 632 459 564 612 288 324 554 142 440 550 192 504 70 458 144 180 480 120 19 353 344 526 240 336 21 368 482 98 734 432 584 166 170 310 72 200 578 96 598 2 176 672 118 216 80 5 506 406 656 685 648 264 218 626 574 384 74 636 646 624 410 650 36 360 128 560 146 202 224 248 372 320 552 23 442 214 104 386 237 348 325 181 464 692 56 562 576 122 194 416 298 536 274 490 178 602 226 362 530 434 608 168 338 645 301 634 130 405 373 514 517 488 466 106 290 266 586 7 613 748 394 392 44 549 421 58 370 538 565 109 314 658 661 489 250 93 242 573 346 669 418 102 525 445 165 397 10 82 154 174 493 133 229 477 253 621 117 469 438 610 703 558 333 205 150 213 157 309 561 277 189 294 357 349 589 637 69 322 381 78 731 678 18 225 585 285 366 222 198 390 61 606 453 582 134 513 201 534 630 541 126 54 429 81 501 177 3 462 86 537 657 597 85 609 342 417 6 369 465 745 510 261 273 141 270 441 654 37 249 153 409 280 638 486 27 393 326 48 297 105 110 302 689 640 591 601 321 673 633 566 265 121 129 505 278 345 374 57 169 208 64 158 481 145 337 414 422 217 494 518 11 241 529 625 470 206 22 706 664 256 542 590 184 433 182 361 232 193 318 616 246 254 448 446 376 62 46 41 472 385 398 662 553 424 577 457 183 13 160 568 649 681 97 112 350 88 352 400 279 73 520 567 543 313 519 159 303 230 495 319 87 289 327 592 304 663 12 423 615 207 535 63 607 255 375 631 79 471 496 713 447 391 4 655 295 343 487 199 614 328 439 271 175 40 511 151 415 136 463 351 127 135 103 639 544 55 111 710 367 247 43 231 38 399 583 559 223 34 29 784 771 694 701 736 743 686 708 742 682 781 729 730 735 775 773 785 782 711 772 766 732 726 757 753 751 754 718 723 744 739 768 770 761 746 716 776 719 695 698 762 786 740 737 787 0 712 704 780 750 758 691 679 783 764 733 725 697 702 774 705 760 680 690 778 747 779 769 763 709 765 687 767 684 683 688 749 707 693 728 700 714 722 715 721 756 777 
Num variables: 788 => 800
Initialize Symbolic Manager(1600, 10000, 16000000, 0)
Generating binary variables
Symbolic Variables... Done.
Mutex initialized bw. Total mutex added: 744 Invariant groups: 0
Mutex initialized fw. Total mutex added: 0 Invariant groups: 0
Initializing SymbolicStackelberg...
Search initialized: 6.589s
Starting Stackelberg bounded search...
 opt: 0.044 reg: 0 solved: 1 total time: 18.2247
L = 0, leader states: 1, follower subproblems: 1, F:100000, total time: 18.2248
 opt: 0.021 reg: 0 solved: 1 total time: 18.419
 opt: 0.03 reg: 0 solved: 1 total time: 18.4503
 opt: 0.029 reg: 0 solved: 1 total time: 18.4803
 opt: 0.025 reg: 0 solved: 1 total time: 18.5064
 opt: 0.035 reg: 0 solved: 1 total time: 18.5426
 opt: 0.036 reg: 0 solved: 1 total time: 18.579
 opt: 0.029 reg: 0 solved: 1 total time: 18.6096
 opt: 0.032 reg: 0 solved: 1 total time: 18.6429
 opt: 0.031 reg: 0 solved: 1 total time: 18.6749
 opt: 0.029 reg: 0 solved: 1 total time: 18.7048
 opt: 0.041 reg: 0 solved: 1 total time: 18.7467
 opt: 0.042 reg: 0 solved: 1 total time: 18.7894
 opt: 0.035 reg: 0 solved: 1 total time: 18.8252
 opt: 0.039 reg: 0 solved: 1 total time: 18.8645
 opt: 0.033 reg: 0 solved: 1 total time: 18.8982
 opt: 0.033 reg: 0 solved: 1 total time: 18.9323
Command '['/nfs/home/student.aau.dk/rtollu18/dat7/netstack/stackelberg-planner-sls/search/downward', '--search', 'sym_stackelberg(optimal_engine=symbolic(plan_reuse_minimal_task_upper_bound=true,plan_reuse_upper_bound=true),upper_bound_pruning=false,min_relevant_follower_cost=100000)', '--plan-file', 'sas_plan']' returned non-zero exit status 137
@@@T50533@@@
Done!
real 51.38
user 49.10
sys 1.34
slurmstepd-dhabi04: error: Detected 1 oom-kill event(s) in step 4401561.batch cgroup. Some of your processes may have been killed by the cgroup out-of-memory handler.
