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/Geant2001_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/Geant2001_4.pddl
Parsing...
Parsing: [0.010s CPU, 0.016s 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.010s CPU, 0.011s wall-clock]
Preparing model... [0.020s CPU, 0.015s wall-clock]
Generated 173 rules.
Computing model... [1.190s CPU, 1.191s wall-clock]
22789 relevant atoms
33016 auxiliary atoms
55805 final queue length
76736 total queue pushes
Completing instantiation... [1.690s CPU, 1.694s wall-clock]
Instantiating: [2.940s CPU, 2.945s wall-clock]
Computing fact groups...
Finding invariants...
26 initial candidates
Finding invariants: [0.030s CPU, 0.029s 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.010s 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.006s wall-clock]
Computing fact groups: [0.060s CPU, 0.052s 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.138s wall-clock]
Translating task: [1.970s CPU, 1.972s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
4 propositions removed
Detecting unreachable propositions: [0.240s CPU, 0.238s 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.290s CPU, 0.293s wall-clock]
Done! [5.570s CPU, 5.582s 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=2688968, notReached=56360, spurious=3636
30 operators are spurious because were not triggered
H^2 mutexes added fw: 56360, unreachable: 0
0 of 20299 operators detected as spurious
Total mutex and disambiguation time: 24.945 iterations: 2
28180 of 28180 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
28180 of 28180 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
28180 of 28180 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: 28180
Preprocessor task size: 169282
Writing output...
Preprocessor time: 26.6908s
Preprocessor peak memory: 102132 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.000342568s]
Simplifying transitions... done!
done reading input! [t=0.605686s]
building causal graph...done! [t=0.618888s]
packing state variables...Variables: 792
Bytes per state: 104
done! [t=0.618973s]
done initalizing global data [t=0.618978s]
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 744 24 378 579 336 459 291 411 666 660 492 389 762 219 612 588 80 675 243 99 267 557 372 531 204 507 437 315 324 693 363 339 37 540 755 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 758 669 69 14 292 545 617 402 473 722 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 733 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 726 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 751 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 737 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 711 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 715 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 748 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 782 779 773 716 679 690 745 752 694 763 724 720 735 731 760 727 738 756 683 734 701 705 723 712 717 780 759 778 681 786 725 707 775 710 728 736 757 767 788 791 732 691 687 754 0 688 774 729 692 703 764 790 714 699 743 721 747 750 787 783 761 784 696 781 771 772 680 770 766 777 695 768 706 739 740 685 684 718 753 765 749 746 742 702 698 713 709 769 776 789 785 
Num variables: 792 => 804
Initialize Symbolic Manager(1608, 9950, 16000000, 0)
Generating binary variables
Symbolic Variables... Done.
Mutex initialized bw. Total mutex added: 948 Invariant groups: 0
Mutex initialized fw. Total mutex added: 0 Invariant groups: 0
Initializing SymbolicStackelberg...
Search initialized: 6.149s
Starting Stackelberg bounded search...
 opt: 1.913 reg: 0 solved: 1 total time: 19.1119
L = 0, leader states: 1, follower subproblems: 1, F:100000, total time: 19.112
 opt: 0.121 reg: 0 solved: 1 total time: 19.4704
 opt: 0.108 reg: 0 solved: 1 total time: 19.5792
 opt: 0.107 reg: 0 solved: 1 total time: 19.687
 opt: 0.103 reg: 0 solved: 1 total time: 19.7911
 opt: 0.113 reg: 0 solved: 1 total time: 19.9053
 opt: 0.113 reg: 0 solved: 1 total time: 20.019
 opt: 0.117 reg: 0 solved: 1 total time: 20.1363
 opt: 0.118 reg: 0 solved: 1 total time: 20.2554
 opt: 0.113 reg: 0 solved: 1 total time: 20.3691
 opt: 0.11 reg: 0 solved: 1 total time: 20.4802
 opt: 0.327 reg: 0 solved: 1 total time: 20.8078
 opt: 0.12 reg: 0 solved: 1 total time: 20.9289
 opt: 0.114 reg: 0 solved: 1 total time: 21.044
 opt: 0.117 reg: 0 solved: 1 total time: 21.1614
 opt: 0.111 reg: 0 solved: 1 total time: 21.2738
 opt: 0.111 reg: 0 solved: 1 total time: 21.386
 opt: 0.113 reg: 0 solved: 1 total time: 21.4998
 opt: 0.11 reg: 0 solved: 1 total time: 21.6112
 opt: 0.114 reg: 0 solved: 1 total time: 21.7262
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
@@@T58342@@@
Done!
real 58.57
user 56.80
sys 1.55
slurmstepd-dhabi04: error: Detected 1 oom-kill event(s) in step 4401934.batch cgroup. Some of your processes may have been killed by the cgroup out-of-memory handler.
