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