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/Geant2012_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/Geant2012_4.pddl
Parsing...
Parsing: [0.030s 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.160s CPU, 1.166s wall-clock]
22732 relevant atoms
32885 auxiliary atoms
55617 final queue length
76500 total queue pushes
Completing instantiation... [1.620s CPU, 1.623s wall-clock]
Instantiating: [2.830s CPU, 2.843s wall-clock]
Computing fact groups...
Finding invariants...
26 initial candidates
Finding invariants: [0.030s CPU, 0.030s 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...
774 uncovered facts
Choosing groups: [0.000s CPU, 0.001s wall-clock]
Building translation key... [0.000s CPU, 0.006s wall-clock]
Computing fact groups: [0.050s CPU, 0.052s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.002s wall-clock]
Building dictionary for full mutex groups... [0.010s CPU, 0.002s wall-clock]
Building mutex information...
Building mutex information: [0.000s CPU, 0.002s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.130s CPU, 0.134s wall-clock]
Translating task: [1.850s CPU, 1.855s 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.230s wall-clock]
Translator variables: 776
Translator derived variables: 0
Translator facts: 1626
Translator goal facts: 1
Translator mutex groups: 3
Translator total mutex groups size: 79
Translator operators: 20289
Translator axioms: 0
Translator task size: 112870
Translator peak memory: 106780 KB
Writing output... [0.300s CPU, 0.303s wall-clock]
Done! [5.370s CPU, 5.367s 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.
776 variables of 776 necessary
0 of 3 mutex groups necessary.
20289 of 20289 operators necessary.
0 of 0 axiom rules necessary.
Initializing mutex computation...
Mutex computation initialized with 1626 fluents.
iteration for mutex detection and operator pruning
Initialize m_index fw
Initialized mvalues forward: reached=602176, notReached=2038096, spurious=3604
Initialize m_ops fw
Computing mutexes...
Mutex computation finished with reached=2581384, notReached=58888, spurious=3604
24 operators are spurious because were not triggered
H^2 mutexes added fw: 58888, unreachable: 0
0 of 20265 operators detected as spurious
Total mutex and disambiguation time: 26.5227 iterations: 2
29444 of 29444 mutex groups necessary.
20265 of 20289 operators necessary.
0 of 0 axiom rules necessary.
Change id of operators: 20265
Change id of mutexes
Change id of goals
Change id of initial state
Remove unreachable facts from variables: 776
29444 of 29444 mutex groups necessary.
20265 of 20265 operators necessary.
0 of 0 axiom rules necessary.
Updating causal graph and pruning unnecessary facts
776 variables of 776 of 776 necessary
The causal graph is not acyclic.
776 variables of 776 necessary
29444 of 29444 mutex groups necessary.
20265 of 20265 operators necessary.
0 of 0 axiom rules necessary.
Building domain transition graphs...
solveable in poly time 0
Building successor generator...
Preprocessor variables: 776
Preprocessor facts: 1626
Preprocessor derived variables: 0
Preprocessor operators: 20265
Preprocessor mutex groups: 29444
Preprocessor task size: 171558
Writing output...
Preprocessor time: 28.2493s
Preprocessor peak memory: 105940 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.000366145s]
Simplifying transitions... done!
done reading input! [t=0.597223s]
building causal graph...done! [t=0.608885s]
packing state variables...Variables: 776
Bytes per state: 100
done! [t=0.608974s]
done initalizing global data [t=0.608978s]
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() = 19564
leader_operators.size() = 701
Initializing Symbolic Variables
Sym variable order: 1 616 400 88 640 592 48 176 64 584 520 352 304 368 33 50 248 544 656 184 560 44 232 344 684 200 208 272 708 280 104 53 472 496 320 49 416 424 568 512 13 5 440 160 632 255 664 392 519 256 488 296 39 448 159 56 536 326 376 328 591 207 112 662 35 464 128 41 351 543 224 705 639 136 302 12 399 608 135 423 567 231 87 566 63 495 471 36 303 615 663 230 614 447 375 152 182 238 327 452 110 279 350 356 398 598 206 542 494 183 111 358 140 80 134 374 470 382 446 646 62 254 557 478 638 278 702 500 245 86 11 726 51 286 334 454 422 629 550 670 19 158 293 518 166 310 70 502 149 476 428 317 581 43 161 212 590 406 677 188 622 668 593 77 389 380 526 574 284 341 653 437 569 620 430 17 262 747 142 214 404 113 197 308 118 190 596 260 365 116 137 28 68 94 461 572 524 281 493 26 221 173 332 329 533 641 711 185 125 253 209 644 548 565 377 442 164 720 92 181 605 269 521 509 517 353 14 425 101 473 449 236 665 421 413 65 274 305 401 637 85 157 617 130 445 89 373 661 497 346 613 109 563 61 133 485 538 257 250 322 229 539 541 107 699 298 10 589 490 586 106 349 545 301 330 7 610 277 82 562 227 370 58 178 634 418 658 491 514 659 202 469 226 233 397 59 114 467 186 205 83 154 378 618 587 635 462 419 693 642 666 466 354 402 690 90 426 8 394 251 515 40 325 306 443 395 396 155 15 150 570 347 558 131 222 47 300 282 594 179 474 323 126 217 498 438 714 299 145 606 468 2 162 210 275 390 457 450 108 234 366 522 342 516 100 318 612 294 553 588 337 414 66 258 252 138 203 324 54 241 371 228 132 198 486 180 510 3 564 60 630 582 409 540 678 420 78 546 444 696 9 97 577 556 156 22 433 121 246 372 532 611 660 534 196 654 481 625 25 313 204 601 636 388 492 76 652 671 529 735 441 673 193 676 174 580 73 479 84 503 369 361 148 265 268 289 649 292 270 364 169 436 276 172 455 81 124 273 744 456 167 348 316 460 95 287 220 412 72 604 57 484 537 359 335 340 263 31 647 609 311 215 505 561 407 687 628 489 119 20 74 168 431 6 102 657 527 385 551 225 738 599 192 513 729 120 177 27 189 383 71 575 191 504 362 528 37 244 143 288 465 261 105 623 508 345 417 626 501 585 633 732 480 144 153 525 21 216 384 336 672 360 312 239 297 648 249 723 393 576 552 285 170 624 408 201 264 439 194 96 242 669 554 650 674 52 530 482 321 117 645 429 357 434 240 122 602 410 600 266 477 23 381 453 386 432 290 619 32 129 523 621 93 218 237 247 506 18 463 319 511 127 338 103 559 223 333 405 314 573 295 597 151 487 175 549 139 458 451 583 69 631 607 55 667 391 331 343 571 115 4 165 259 199 146 643 187 355 75 213 267 219 141 283 271 367 578 307 717 91 16 535 309 415 211 235 98 171 681 291 475 363 195 675 531 403 243 499 555 741 34 411 24 459 163 595 655 507 46 483 579 45 603 29 627 547 147 379 67 42 339 99 79 427 123 30 38 435 651 387 315 772 754 764 769 773 770 771 766 751 762 753 752 761 768 698 755 749 707 695 683 692 680 743 686 704 774 731 746 716 701 734 757 750 767 758 759 737 740 689 725 713 756 765 722 710 728 0 760 719 763 700 736 712 697 730 724 706 745 679 691 715 775 703 727 685 718 739 688 742 694 682 748 709 721 733 
Num variables: 776 => 788
Initialize Symbolic Manager(1576, 10152, 16000000, 0)
Generating binary variables
Symbolic Variables... Done.
Mutex initialized bw. Total mutex added: 1988 Invariant groups: 0
Mutex initialized fw. Total mutex added: 0 Invariant groups: 0
Initializing SymbolicStackelberg...
Search initialized: 6.081s
Starting Stackelberg bounded search...
 opt: 0.013 reg: 0 solved: 1 total time: 16.0339
L = 0, leader states: 1, follower subproblems: 1, F:100000, total time: 16.0341
 opt: 0.011 reg: 0 solved: 1 total time: 16.1816
 opt: 0.016 reg: 0 solved: 1 total time: 16.1986
 opt: 0.019 reg: 0 solved: 1 total time: 16.2182
 opt: 0.016 reg: 0 solved: 1 total time: 16.2354
 opt: 0.025 reg: 0 solved: 1 total time: 16.2615
 opt: 0.025 reg: 0 solved: 1 total time: 16.2872
 opt: 0.024 reg: 0 solved: 1 total time: 16.3121
 opt: 0.026 reg: 0 solved: 1 total time: 16.3394
 opt: 0.025 reg: 0 solved: 1 total time: 16.3656
 opt: 0.024 reg: 0 solved: 1 total time: 16.3899
 opt: 0.036 reg: 0 solved: 1 total time: 16.4272
 opt: 0.04 reg: 0 solved: 1 total time: 16.4676
 opt: 0.032 reg: 0 solved: 1 total time: 16.5001
 opt: 0.033 reg: 0 solved: 1 total time: 16.5345
 opt: 0.031 reg: 0 solved: 1 total time: 16.5661
 opt: 0.028 reg: 0 solved: 1 total time: 16.5947
 opt: 0.031 reg: 0 solved: 1 total time: 16.6264
 opt: 0.028 reg: 0 solved: 1 total time: 16.6549
 opt: 0.033 reg: 0 solved: 1 total time: 16.6894
 opt: 0.067 reg: 0 solved: 2 total time: 16.7572
 opt: 0.029 reg: 0 solved: 1 total time: 16.787
 opt: 0.03 reg: 0 solved: 1 total time: 16.8178
L = 1, leader states: 3.35544e+07, follower subproblems: 3.35544e+07, F:100000, total time: 16.8181
 opt: 0.793 reg: 0 solved: 1 total time: 17.8563
 opt: 0.263 reg: 0 solved: 3 total time: 18.1204
 opt: 0.145 reg: 0.001 solved: 4 total time: 18.2668
 opt: 0.11 reg: 0.001 solved: 1 total time: 18.3784
 opt: 0.109 reg: 0 solved: 1 total time: 18.488
 opt: 0.261 reg: 0.001 solved: 2 total time: 18.7515
 opt: 0.499 reg: 0.001 solved: 4 total time: 19.2523
 opt: 1.046 reg: 0.001 solved: 3 total time: 20.2992
L = 2, leader states: 5.64859e+11, follower subproblems: 5.64859e+11, F:100000, total time: 20.2998
 opt: 0.768 reg: 0.001 solved: 4 total time: 21.3682
 opt: 1.151 reg: 0.002 solved: 4 total time: 22.5211
 opt: 0.177 reg: 0.004 solved: 6 total time: 22.7032
 opt: 0.186 reg: 0.009 solved: 7 total time: 22.8989
 opt: 0.182 reg: 0.01 solved: 5 total time: 23.0927
 opt: 0.348 reg: 0.013 solved: 7 total time: 23.4556
 opt: 0.937 reg: 0.014 solved: 4 total time: 24.4067
 opt: 0.369 reg: 0.016 solved: 7 total time: 24.7925
 opt: 2.875 reg: 0.014 solved: 7 total time: 27.6813
 opt: 0.94 reg: 0.011 solved: 7 total time: 28.6337
 opt: 0.195 reg: 0.028 solved: 8 total time: 28.8583
 opt: 0.24 reg: 0.006 solved: 13 total time: 29.1056
 opt: 2.141 reg: 0.013 solved: 7 total time: 31.2589
 opt: 0.251 reg: 0.033 solved: 9 total time: 31.544
 opt: 2.482 reg: 0.041 solved: 7 total time: 34.0667
 opt: 0.585 reg: 0.027 solved: 10 total time: 34.6796
 opt: 1.798 reg: 0.012 solved: 7 total time: 36.4901
 opt: 2.855 reg: 0.006 solved: 7 total time: 39.3514
 opt: 0.423 reg: 0.01 solved: 10 total time: 39.7857
 opt: 0.242 reg: 0.023 solved: 12 total time: 40.0514
 opt: 2.303 reg: 0.03 solved: 10 total time: 42.3838
 opt: 0.485 reg: 0.045 solved: 13 total time: 42.9139
 opt: 2.049 reg: 0.007 solved: 7 total time: 44.9704
 opt: 1.96 reg: 0.002 solved: 4 total time: 46.9322
 opt: 0.257 reg: 0.011 solved: 11 total time: 47.2013
 opt: 0.278 reg: 0.021 solved: 15 total time: 47.5018
 opt: 1.135 reg: 0.011 solved: 10 total time: 48.6491
 opt: 0.787 reg: 0.032 solved: 13 total time: 49.4683
 opt: 0.313 reg: 0.017 solved: 14 total time: 49.7995
 opt: 3.342 reg: 0.025 solved: 10 total time: 53.1658
 opt: 0.228 reg: 0.053 solved: 16 total time: 53.4471
 opt: 1.471 reg: 0.014 solved: 10 total time: 54.9322
 opt: 0.535 reg: 0.027 solved: 13 total time: 55.4949
 opt: 1.953 reg: 0.016 solved: 10 total time: 57.4643
 opt: 0.616 reg: 0.029 solved: 16 total time: 58.1104
 opt: 1.932 reg: 0.025 solved: 10 total time: 60.0677
 opt: 1.312 reg: 0.036 solved: 13 total time: 61.4162
 opt: 3.365 reg: 0.027 solved: 10 total time: 64.8071
 opt: 0.663 reg: 0.461 solved: 7 total time: 65.9313
 opt: 2.425 reg: 0.029 solved: 7 total time: 68.3858
 opt: 3.684 reg: 0.041 solved: 10 total time: 72.1098
 opt: 1.7 reg: 0.049 solved: 13 total time: 73.8587
 opt: 2.724 reg: 0.011 solved: 7 total time: 76.5935
 opt: 2.991 reg: 0.028 solved: 13 total time: 79.6124
 opt: 2.194 reg: 0.023 solved: 10 total time: 81.8298
 opt: 3.635 reg: 0.02 solved: 10 total time: 85.484
 opt: 1.37 reg: 0.035 solved: 16 total time: 86.8893
 opt: 3.548 reg: 0.011 solved: 7 total time: 90.4476
 opt: 2.569 reg: 0.018 solved: 10 total time: 93.0342
 opt: 4.316 reg: 0.017 solved: 10 total time: 97.3657
 opt: 3.651 reg: 0.015 solved: 10 total time: 101.032
 opt: 2.394 reg: 0.014 solved: 7 total time: 103.439
 opt: 0.696 reg: 0.015 solved: 10 total time: 104.151
 opt: 4.012 reg: 0.017 solved: 10 total time: 108.179
 opt: 2.052 reg: 0.032 solved: 16 total time: 110.262
 opt: 0.743 reg: 0.037 solved: 17 total time: 111.042
 opt: 4.12 reg: 0.018 solved: 10 total time: 115.178
 opt: 3.379 reg: 0.021 solved: 10 total time: 118.577
 opt: 1.889 reg: 0.041 solved: 16 total time: 120.506
 opt: 2.133 reg: 0.011 solved: 7 total time: 122.651
 opt: 2.546 reg: 0.017 solved: 10 total time: 125.214
 opt: 2.82 reg: 0.013 solved: 7 total time: 128.046
 opt: 3.363 reg: 0.024 solved: 16 total time: 131.432
 opt: 4.377 reg: 0.026 solved: 10 total time: 135.833
 opt: 0.36 reg: 0.046 solved: 18 total time: 136.241
 opt: 3.964 reg: 0.022 solved: 10 total time: 140.225
 opt: 1.609 reg: 0.023 solved: 10 total time: 141.858
 opt: 2.039 reg: 0.061 solved: 13 total time: 143.958
 opt: 2.993 reg: 0.016 solved: 10 total time: 146.966
 opt: 3.055 reg: 0.011 solved: 10 total time: 150.031
 opt: 3.712 reg: 0.015 solved: 10 total time: 153.758
 opt: 1.144 reg: 0.028 solved: 13 total time: 154.93
 opt: 3.666 reg: 0.018 solved: 10 total time: 158.613
 opt: 3.65 reg: 0.016 solved: 10 total time: 162.278
 opt: 1.769 reg: 0.033 solved: 13 total time: 164.08
 opt: 0.444 reg: 0.054 solved: 22 total time: 164.578
 opt: 0.733 reg: 0.033 solved: 19 total time: 165.345
 opt: 1.638 reg: 0.026 solved: 10 total time: 167.01
 opt: 1.878 reg: 0.025 solved: 16 total time: 168.913
 opt: 3.728 reg: 0.031 solved: 10 total time: 172.67
 opt: 3.056 reg: 0.026 solved: 10 total time: 175.751
 opt: 2.116 reg: 0.04 solved: 16 total time: 177.907
 opt: 4.08 reg: 0.027 solved: 10 total time: 182.013
 opt: 2.452 reg: 0.036 solved: 13 total time: 184.501
 opt: 3.067 reg: 0.05 solved: 10 total time: 187.617
 opt: 3.229 reg: 0.031 solved: 10 total time: 190.876
 opt: 4.386 reg: 0.045 solved: 10 total time: 195.305
 opt: 1.006 reg: 0.045 solved: 16 total time: 196.356
 opt: 2.105 reg: 0.017 solved: 13 total time: 198.478
 opt: 4.679 reg: 0.032 solved: 10 total time: 203.187
 opt: 3.753 reg: 0.027 solved: 10 total time: 206.966
 opt: 3.346 reg: 0.027 solved: 10 total time: 210.338
 opt: 1.192 reg: 0.023 solved: 13 total time: 211.553
 opt: 3.704 reg: 0.016 solved: 13 total time: 215.272
 opt: 5.24 reg: 0.031 solved: 16 total time: 220.541
 opt: 2.254 reg: 0.041 solved: 10 total time: 222.835
 opt: 2.201 reg: 0.025 solved: 10 total time: 225.06
 opt: 2.952 reg: 0.03 solved: 10 total time: 228.041
 opt: 4.006 reg: 0.034 solved: 10 total time: 232.081
 opt: 3.678 reg: 0.032 solved: 10 total time: 235.79
 opt: 3.729 reg: 0.029 solved: 10 total time: 239.547
 opt: 3.08 reg: 0.028 solved: 10 total time: 242.655
 opt: 5.804 reg: 0.031 solved: 16 total time: 248.488
 opt: 0.852 reg: 0.053 solved: 22 total time: 249.393
 opt: 2.204 reg: 0.02 solved: 16 total time: 251.617
 opt: 3.374 reg: 0.035 solved: 10 total time: 255.025
 opt: 3.358 reg: 0.029 solved: 10 total time: 258.412
 opt: 4.457 reg: 0.03 solved: 10 total time: 262.897
 opt: 3.605 reg: 0.027 solved: 10 total time: 266.527
 opt: 2.647 reg: 0.039 solved: 13 total time: 269.213
 opt: 6.245 reg: 0.036 solved: 13 total time: 275.491
 opt: 3.052 reg: 0.033 solved: 13 total time: 278.574
 opt: 0.47 reg: 0.05 solved: 21 total time: 279.096
 opt: 3.918 reg: 0.037 solved: 10 total time: 283.049
 opt: 3.921 reg: 0.048 solved: 10 total time: 287.016
 opt: 0.227 solved: 2147483647 total time: 287.244
L = 3, leader states: 5.6295e+14, follower subproblems: 5.6295e+14, F:2147483647, total time: 287.746
Search time: 272.324s
Total number of leader states: 1.79377e+17
Total number of follower subproblems: 1.19491e+17
Pareto-frontier size: 1
Pareto-frontier: (3,2147483647) 
	 fix ops costs: 3, attacker cost: 2147483647: 
	 fix action sequences: 
			 sequence 0:
				 fix_next-step t0 t1 blaststepdone
				 fix_switch t1 s99 blaststepdone
				 fix_switch t1 s74 blaststepdone
				 fix_switch t1 s64 blaststepdone
				 fix_switch t1 s48 blaststepdone
				 fix_switch t1 s4 blaststepdone
				 fix_switch t1 s39 blaststepdone
				 fix_switch t1 s29 blaststepdone
				 fix_switch t1 s274 blaststepdone
				 fix_switch t1 s249 blaststepdone
				 fix_switch t1 s239 blaststepdone
				 fix_switch t1 s223 blaststepdone
				 fix_switch t1 s214 blaststepdone
				 fix_switch t1 s204 blaststepdone
				 fix_switch t1 s188 blaststepdone
				 fix_switch t1 s179 blaststepdone
				 fix_switch t1 s169 blaststepdone
				 fix_switch t1 s153 blaststepdone
				 fix_switch t1 s144 blaststepdone
				 fix_switch t1 s118 blaststepdone
				 fix_switch t1 s109 blaststepdone
				 fix_next-step t1 t2 blaststepdone
				 fix_switch t2 s83 blaststepdone
				 fix_switch t2 s258 blaststepdone
				 fix_switch t2 s134 blaststepdone
				 fix_switch t2 s13 blaststepdone
				 fix_last-step t2 blaststepdone
	 attacker plan: 
		 <unsolvable>
END Pareto-frontier
Total follower searches: 147
Solved by optimal solver: 147
Solved by cost bounded solver: 0
Optimally solved follower subproblems: 147
Solved follower subproblems: 147
Optimal solver time: 267.155s
Cost-bounded solver time: 0s
Follower search time: 267.155s
Total time: 288.168s
Optimal engine:
Peak memory: 970872 KB
@@@T322294@@@
Done!
real 322.68
user 320.08
sys 2.08
