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/BtNorthAmerica_4.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/BtNorthAmerica_4.pddl
Parsing...
Parsing: [0.020s CPU, 0.017s wall-clock]
Normalizing task... [0.000s CPU, 0.001s wall-clock]
Instantiating...
Generating Datalog program... [0.000s CPU, 0.005s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.030s CPU, 0.017s wall-clock]
Preparing model... [0.010s CPU, 0.015s wall-clock]
Generated 173 rules.
Computing model... [1.160s CPU, 1.159s wall-clock]
22773 relevant atoms
32952 auxiliary atoms
55725 final queue length
76656 total queue pushes
Completing instantiation... [1.560s CPU, 1.560s wall-clock]
Instantiating: [2.780s CPU, 2.777s 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.001s wall-clock]
Choosing groups...
782 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.051s 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.140s CPU, 0.142s wall-clock]
Translating task: [1.950s CPU, 1.949s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
4 propositions removed
Detecting unreachable propositions: [0.230s CPU, 0.231s wall-clock]
Translator variables: 784
Translator derived variables: 0
Translator facts: 1642
Translator goal facts: 1
Translator mutex groups: 3
Translator total mutex groups size: 79
Translator operators: 20321
Translator axioms: 0
Translator task size: 113095
Translator peak memory: 106792 KB
Writing output... [0.280s CPU, 0.285s wall-clock]
Done! [5.370s CPU, 5.379s 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.
784 variables of 784 necessary
0 of 3 mutex groups necessary.
20321 of 20321 operators necessary.
0 of 0 axiom rules necessary.
Initializing mutex computation...
Mutex computation initialized with 1642 fluents.
iteration for mutex detection and operator pruning
Initialize m_index fw
Initialized mvalues forward: reached=614656, notReached=2077888, spurious=3620
Initialize m_ops fw
Computing mutexes...
Mutex computation finished with reached=2637336, notReached=55208, spurious=3620
30 operators are spurious because were not triggered
H^2 mutexes added fw: 55208, unreachable: 0
0 of 20291 operators detected as spurious
Total mutex and disambiguation time: 22.6964 iterations: 2
27604 of 27604 mutex groups necessary.
20291 of 20321 operators necessary.
0 of 0 axiom rules necessary.
Change id of operators: 20291
Change id of mutexes
Change id of goals
Change id of initial state
Remove unreachable facts from variables: 784
27604 of 27604 mutex groups necessary.
20291 of 20291 operators necessary.
0 of 0 axiom rules necessary.
Updating causal graph and pruning unnecessary facts
784 variables of 784 of 784 necessary
The causal graph is not acyclic.
784 variables of 784 necessary
27604 of 27604 mutex groups necessary.
20291 of 20291 operators necessary.
0 of 0 axiom rules necessary.
Building domain transition graphs...
solveable in poly time 0
Building successor generator...
Preprocessor variables: 784
Preprocessor facts: 1642
Preprocessor derived variables: 0
Preprocessor operators: 20291
Preprocessor mutex groups: 27604
Preprocessor task size: 168074
Writing output...
Preprocessor time: 24.4164s
Preprocessor peak memory: 98216 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.000276754s]
Simplifying transitions... done!
done reading input! [t=0.629254s]
building causal graph...done! [t=0.642252s]
packing state variables...Variables: 784
Bytes per state: 100
done! [t=0.642347s]
done initalizing global data [t=0.642352s]
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() = 19590
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 694 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 718 155 186 426 179 299 491 283 455 428 263 599 227 119 725 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 721 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 735 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 751 676 641 161 715 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 748 580 588 305 425 483 754 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 697 473 454 408 300 456 512 670 738 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 731 432 584 166 170 310 72 200 578 96 598 2 176 672 118 216 80 5 506 406 656 684 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 691 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 744 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 701 558 333 205 150 213 157 309 561 277 189 294 357 349 589 637 69 322 381 78 728 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 741 510 261 273 141 270 441 654 37 249 153 409 280 638 486 27 393 326 48 297 105 110 302 688 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 705 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 711 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 708 367 247 43 231 38 399 583 559 223 34 29 765 768 758 775 779 749 752 736 742 696 690 716 719 692 739 704 723 724 687 700 757 772 703 767 766 776 763 774 780 746 707 727 730 709 689 693 760 782 679 753 710 714 0 773 706 699 769 717 740 783 777 682 747 750 743 737 759 720 781 756 695 764 733 734 762 686 778 770 713 732 680 683 726 729 685 745 698 722 755 702 712 761 771 
Num variables: 784 => 796
Initialize Symbolic Manager(1592, 10050, 16000000, 0)
Generating binary variables
Symbolic Variables... Done.
Mutex initialized bw. Total mutex added: 596 Invariant groups: 0
Mutex initialized fw. Total mutex added: 0 Invariant groups: 0
Initializing SymbolicStackelberg...
Search initialized: 6.312s
Starting Stackelberg bounded search...
 opt: 0.01 reg: 0 solved: 1 total time: 16.8837
L = 0, leader states: 1, follower subproblems: 1, F:100000, total time: 16.8838
 opt: 0.011 reg: 0 solved: 1 total time: 17.0641
 opt: 0.014 reg: 0 solved: 1 total time: 17.0792
 opt: 0.015 reg: 0 solved: 1 total time: 17.0954
 opt: 0.013 reg: 0 solved: 1 total time: 17.1094
 opt: 0.017 reg: 0 solved: 1 total time: 17.1277
 opt: 0.018 reg: 0 solved: 1 total time: 17.1463
 opt: 0.017 reg: 0 solved: 1 total time: 17.1645
 opt: 0.018 reg: 0 solved: 1 total time: 17.1836
 opt: 0.017 reg: 0 solved: 1 total time: 17.2014
 opt: 0.017 reg: 0 solved: 1 total time: 17.2196
 opt: 0.022 reg: 0 solved: 1 total time: 17.2424
 opt: 0.023 reg: 0 solved: 1 total time: 17.2662
 opt: 0.02 reg: 0 solved: 1 total time: 17.2869
 opt: 0.021 reg: 0 solved: 1 total time: 17.3086
 opt: 0.018 reg: 0 solved: 1 total time: 17.3278
 opt: 0.019 reg: 0 solved: 1 total time: 17.3477
 opt: 0.019 reg: 0 solved: 1 total time: 17.3673
 opt: 0.019 reg: 0 solved: 1 total time: 17.3868
 opt: 0.021 reg: 0 solved: 1 total time: 17.4087
 opt: 0.037 reg: 0 solved: 2 total time: 17.4469
L = 1, leader states: 3.35544e+07, follower subproblems: 3.35544e+07, F:100000, total time: 17.4472
 opt: 0.041 reg: 0 solved: 1 total time: 17.8177
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
@@@T48006@@@
Done!
real 48.23
user 46.66
sys 1.32
slurmstepd-dhabi03: error: Detected 1 oom-kill event(s) in step 4401658.batch cgroup. Some of your processes may have been killed by the cgroup out-of-memory handler.
