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/Belnet2004_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/Belnet2004_4.pddl
Parsing...
Parsing: [0.010s CPU, 0.183s wall-clock]
Normalizing task... [0.020s CPU, 0.001s wall-clock]
Instantiating...
Generating Datalog program... [0.000s CPU, 0.005s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.011s wall-clock]
Preparing model... [0.020s CPU, 0.015s wall-clock]
Generated 173 rules.
Computing model... [1.150s CPU, 1.163s wall-clock]
22773 relevant atoms
32952 auxiliary atoms
55725 final queue length
76656 total queue pushes
Completing instantiation... [1.790s CPU, 1.797s wall-clock]
Instantiating: [3.010s CPU, 3.025s 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.049s 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.010s CPU, 0.003s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.130s CPU, 0.136s wall-clock]
Translating task: [1.870s CPU, 1.870s 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.232s 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: 106804 KB
Writing output... [0.300s CPU, 0.297s wall-clock]
Done! [5.560s CPU, 5.727s 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.0982 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: 23.7915s
Preprocessor peak memory: 98212 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.000241946s]
Simplifying transitions... done!
done reading input! [t=0.634426s]
building causal graph...done! [t=0.647242s]
packing state variables...Variables: 784
Bytes per state: 100
done! [t=0.647341s]
done initalizing global data [t=0.647346s]
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 695 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 719 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 722 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 752 676 641 161 716 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 755 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 698 473 454 408 300 456 512 670 739 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 732 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 745 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 702 558 333 205 150 213 157 309 561 277 189 294 357 349 589 637 69 322 381 78 729 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 742 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 682 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 712 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 709 367 247 43 231 38 399 583 559 223 34 29 774 780 777 766 770 707 740 696 700 714 710 750 746 737 733 754 684 743 694 703 720 758 718 778 761 775 772 717 769 731 763 681 686 751 697 773 715 782 727 764 708 741 734 0 723 728 768 683 690 783 779 730 738 701 765 724 756 711 747 776 693 753 781 767 721 771 704 760 744 687 691 757 680 706 699 749 736 713 679 726 689 759 762 
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.343s
Starting Stackelberg bounded search...
 opt: 0.011 reg: 0 solved: 1 total time: 16.786
L = 0, leader states: 1, follower subproblems: 1, F:100000, total time: 16.7861
 opt: 0.011 reg: 0 solved: 1 total time: 16.9695
 opt: 0.015 reg: 0 solved: 1 total time: 16.9853
 opt: 0.015 reg: 0 solved: 1 total time: 17.0016
 opt: 0.014 reg: 0 solved: 1 total time: 17.0163
 opt: 0.023 reg: 0 solved: 1 total time: 17.0406
 opt: 0.018 reg: 0 solved: 1 total time: 17.0596
 opt: 0.017 reg: 0 solved: 1 total time: 17.0776
 opt: 0.017 reg: 0 solved: 1 total time: 17.0959
 opt: 0.017 reg: 0 solved: 1 total time: 17.1136
 opt: 0.017 reg: 0 solved: 1 total time: 17.1313
 opt: 0.023 reg: 0 solved: 1 total time: 17.1555
 opt: 0.024 reg: 0 solved: 1 total time: 17.1805
 opt: 0.019 reg: 0 solved: 1 total time: 17.2005
 opt: 0.022 reg: 0 solved: 1 total time: 17.223
 opt: 0.018 reg: 0 solved: 1 total time: 17.2424
 opt: 0.02 reg: 0 solved: 1 total time: 17.2628
 opt: 0.02 reg: 0 solved: 1 total time: 17.2833
 opt: 0.018 reg: 0 solved: 1 total time: 17.3018
 opt: 0.02 reg: 0 solved: 1 total time: 17.323
 opt: 0.066 reg: 0 solved: 3 total time: 17.3899
L = 1, leader states: 3.35544e+07, follower subproblems: 3.35544e+07, F:100000, total time: 17.3903
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
@@@T47571@@@
Done!
real 48.07
user 45.98
sys 1.45
slurmstepd-dhabi01: error: Detected 1 oom-kill event(s) in step 4401598.batch cgroup. Some of your processes may have been killed by the cgroup out-of-memory handler.
