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/Funet_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/Funet_4.pddl
Parsing...
Parsing: [0.020s CPU, 0.019s 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.010s wall-clock]
Preparing model... [0.020s CPU, 0.020s wall-clock]
Generated 173 rules.
Computing model... [2.380s CPU, 2.383s wall-clock]
47880 relevant atoms
65189 auxiliary atoms
113069 final queue length
158112 total queue pushes
Completing instantiation... [3.560s CPU, 3.561s wall-clock]
Instantiating: [6.030s CPU, 6.030s wall-clock]
Computing fact groups...
Finding invariants...
26 initial candidates
Finding invariants: [0.060s CPU, 0.059s 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...
1302 uncovered facts
Choosing groups: [0.000s CPU, 0.001s wall-clock]
Building translation key... [0.010s CPU, 0.010s wall-clock]
Computing fact groups: [0.100s CPU, 0.098s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.004s 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.003s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.300s CPU, 0.309s wall-clock]
Translating task: [4.150s CPU, 4.164s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
4 propositions removed
Detecting unreachable propositions: [0.510s CPU, 0.510s wall-clock]
Translator variables: 1304
Translator derived variables: 0
Translator facts: 2706
Translator goal facts: 1
Translator mutex groups: 3
Translator total mutex groups size: 103
Translator operators: 43985
Translator axioms: 0
Translator task size: 244062
Translator peak memory: 210420 KB
Writing output... [0.610s CPU, 0.598s wall-clock]
Done! [11.560s CPU, 11.567s 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.
1304 variables of 1304 necessary
0 of 3 mutex groups necessary.
43985 of 43985 operators necessary.
0 of 0 axiom rules necessary.
Initializing mutex computation...
Mutex computation initialized with 2706 fluents.
iteration for mutex detection and operator pruning
Initialize m_index fw
Initialized mvalues forward: reached=1700416, notReached=5615912, spurious=6108
Initialize m_ops fw
Computing mutexes...
Mutex computation finished with reached=7191968, notReached=124360, spurious=6108
39 operators are spurious because were not triggered
H^2 mutexes added fw: 124360, unreachable: 0
0 of 43946 operators detected as spurious
Total mutex and disambiguation time: 116.198 iterations: 2
62180 of 62180 mutex groups necessary.
43946 of 43985 operators necessary.
0 of 0 axiom rules necessary.
Change id of operators: 43946
Change id of mutexes
Change id of goals
Change id of initial state
Remove unreachable facts from variables: 1304
62180 of 62180 mutex groups necessary.
43946 of 43946 operators necessary.
0 of 0 axiom rules necessary.
Updating causal graph and pruning unnecessary facts
1304 variables of 1304 of 1304 necessary
The causal graph is not acyclic.
1304 variables of 1304 necessary
62180 of 62180 mutex groups necessary.
43946 of 43946 operators necessary.
0 of 0 axiom rules necessary.
Building domain transition graphs...
solveable in poly time 0
Building successor generator...
Preprocessor variables: 1304
Preprocessor facts: 2706
Preprocessor derived variables: 0
Preprocessor operators: 43946
Preprocessor mutex groups: 62180
Preprocessor task size: 368124
Writing output...
Preprocessor time: 121.171s
Preprocessor peak memory: 267376 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.000349894s]
Simplifying transitions... done!
done reading input! [t=1.35663s]
building causal graph...done! [t=1.38234s]
packing state variables...Variables: 1304
Bytes per state: 168
done! [t=1.38246s]
done initalizing global data [t=1.38247s]
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() = 1189
leader_vars_follower_preconditioned.size() = 1188
follower_operators.size() = 42757
leader_operators.size() = 1189
Initializing Symbolic Variables
Sym variable order: 1 111 744 971 815 943 1039 1003 399 1103 367 751 1071 655 975 57 43 847 911 12 267 715 928 952 44 79 1035 75 36 203 303 46 136 1048 687 1007 35 824 459 939 60 1176 207 719 271 1016 49 843 683 463 552 495 416 920 143 152 39 248 800 335 875 107 235 58 1190 448 1144 625 1073 431 559 576 811 280 120 651 747 312 783 640 555 395 632 8 344 1067 239 664 175 748 523 363 896 145 689 728 600 872 331 864 736 200 527 1099 299 192 369 544 1135 792 216 936 591 704 584 984 504 881 427 256 587 696 561 320 76 128 568 305 433 623 171 139 1147 684 832 888 1088 780 1019 536 88 209 104 72 913 1137 1080 360 177 352 21 816 1008 1120 251 81 1090 1132 760 680 907 440 712 879 779 1248 908 976 624 1112 1068 1096 856 337 496 472 91 1197 226 40 208 776 384 1056 940 593 184 456 753 232 169 1165 520 1220 619 464 859 1131 960 1105 332 672 432 524 1128 144 108 241 411 1126 288 808 945 656 488 648 29 616 806 1024 304 204 168 401 296 608 977 1009 667 840 112 400 768 1032 752 5 812 14 785 944 1064 1072 160 529 392 96 784 1179 113 424 795 721 273 1152 578 50 880 905 642 268 565 866 443 162 720 491 876 585 492 706 716 844 1004 657 376 966 80 13 258 1033 283 465 512 155 904 123 9 300 187 777 364 1041 802 24 1100 272 1122 770 652 849 968 361 460 233 480 1154 236 328 674 315 1030 1129 408 998 588 898 386 1210 522 539 297 137 51 336 1169 1036 198 597 1076 1059 73 194 1040 556 240 457 475 454 172 688 264 603 852 955 834 1256 134 582 620 969 992 848 930 528 962 469 1115 176 507 1097 224 738 497 763 635 731 1065 341 618 592 428 393 661 629 405 681 290 396 817 31 972 987 610 6 501 923 902 1193 1117 821 326 1051 835 909 219 1083 483 891 692 265 140 1231 614 368 713 1013 347 650 628 180 1001 553 827 970 710 379 699 1094 571 725 201 1104 746 1158 774 1136 873 912 98 560 394 554 461 550 482 742 105 1058 418 277 678 1091 532 1026 853 906 1000 450 1077 422 596 372 870 489 1062 994 546 934 309 500 1012 102 340 533 55 213 557 810 820 354 3 468 437 841 93 333 381 18 949 1098 166 938 41 116 138 173 771 646 649 387 917 707 84 514 349 493 330 980 205 521 1172 789 1141 885 362 329 458 298 617 714 390 778 490 611 757 937 1155 255 130 564 322 77 1108 842 7 245 286 518 745 95 541 899 884 809 276 425 294 202 693 373 195 436 234 981 589 788 995 653 222 1140 893 17 117 131 874 451 838 74 308 69 358 266 70 605 237 1045 931 426 32 253 749 365 989 148 515 586 404 756 397 291 685 797 758 126 509 1241 355 2 413 1037 701 1034 1022 244 10 1183 170 877 798 317 181 285 724 733 963 1054 1021 579 547 781 106 414 269 660 766 85 26 973 1070 1053 606 1069 227 486 318 149 867 1130 1123 958 1044 813 1066 230 1134 478 1238 765 323 189 953 941 1150 759 27 1005 543 1027 383 862 1206 262 301 1109 861 350 254 534 37 1121 621 682 525 1002 1101 830 957 212 948 929 803 321 445 161 643 479 1259 1133 767 351 675 845 163 573 622 419 574 477 670 1038 737 407 916 630 52 353 446 129 734 1149 961 314 739 894 223 1118 609 158 462 1025 1153 542 28 831 246 99 990 109 858 671 822 141 278 470 1086 174 799 110 270 94 926 1089 429 54 157 637 669 729 206 1186 545 78 430 526 959 11 214 925 607 398 942 974 259 577 538 735 590 125 510 854 30 191 634 951 225 814 1102 1213 1087 918 829 193 878 97 1046 1055 705 666 159 673 750 250 1110 717 190 302 638 1085 1015 641 1252 826 662 319 1060 287 334 289 612 1006 1047 575 639 494 1114 56 727 410 182 726 703 19 154 865 447 982 658 686 801 1119 570 406 471 983 221 89 42 127 146 857 185 1142 382 513 311 1082 723 863 654 846 782 718 631 511 499 986 374 794 502 1023 910 474 919 59 886 377 702 1079 535 890 1151 964 562 633 1245 569 897 602 151 1224 23 132 580 164 823 598 378 409 761 356 142 772 1113 279 991 417 186 740 1057 86 790 183 791 442 1124 150 366 762 1111 218 921 249 438 243 346 481 601 993 47 599 769 118 927 215 1081 566 1014 954 594 1145 119 722 343 1078 22 1125 345 282 421 342 1010 449 217 121 122 793 388 20 708 895 851 950 38 261 100 242 310 211 147 697 558 1143 434 274 548 1227 1042 1029 1018 33 644 531 978 665 663 307 676 306 415 506 914 188 979 228 48 371 324 627 452 1092 889 825 1050 965 985 1011 115 124 313 1028 1106 695 805 1217 257 833 1043 754 15 755 1061 516 730 946 887 16 473 435 403 659 804 1017 238 922 868 915 690 530 563 484 503 1200 1266 567 1031 709 694 153 1146 357 476 786 466 339 997 441 439 1156 615 691 293 453 389 101 819 996 135 932 133 1052 837 412 62 197 316 420 505 87 828 487 199 572 540 537 90 338 1107 787 645 498 385 375 1203 348 260 818 34 595 698 581 275 229 196 1049 1263 604 292 850 626 359 210 855 114 325 901 882 231 284 839 247 156 860 900 549 467 380 892 1095 1074 1075 1127 1157 455 836 508 25 423 83 796 4 1138 711 281 167 764 1084 1116 178 220 677 1162 1093 583 66 647 517 741 1020 700 252 1148 53 775 668 103 1063 935 956 883 391 869 327 92 679 636 370 947 82 743 295 732 613 999 179 773 519 263 65 988 1234 485 871 1139 63 45 71 64 444 933 165 67 551 68 402 61 967 924 807 903 1277 1276 1282 1299 1279 1292 1296 1288 1285 1171 1185 1257 1261 1181 1177 1164 1168 1215 1211 1195 1191 1225 1229 1239 1243 1264 1173 1201 1194 1221 1267 1166 1159 1249 1174 1207 1180 1160 1237 1246 1298 1170 1251 1209 1301 1283 1208 1182 1289 1278 1167 1212 1240 1290 1253 1205 1302 0 1216 1236 1244 1284 1255 1303 1258 1280 1269 1230 1250 1291 1202 1196 1222 1163 1287 1226 1192 1262 1178 1274 1295 1188 1300 1161 1286 1223 1294 1281 1297 1189 1254 1175 1232 1242 1218 1214 1184 1235 1260 1198 1228 1204 1268 1265 1187 1247 1219 1233 1199 1293 1270 1271 1273 1272 1275 
Num variables: 1304 => 1319
Initialize Symbolic Manager(2638, 6065, 16000000, 0)
Generating binary variables
Symbolic Variables... Done.
Mutex initialized bw. Total mutex added: 1816 Invariant groups: 0
Mutex initialized fw. Total mutex added: 0 Invariant groups: 0
Initializing SymbolicStackelberg...
Search initialized: 24.418s
Starting Stackelberg bounded search...
 opt: 4.608 reg: 0 solved: 1 total time: 62.2968
L = 0, leader states: 1, follower subproblems: 1, F:100000, total time: 62.2969
 opt: 3.605 reg: 0 solved: 1 total time: 67.0182
 opt: 3.52 reg: 0.001 solved: 1 total time: 70.5369
 opt: 0.528 reg: 0 solved: 1 total time: 71.0652
 opt: 0.541 reg: 0 solved: 1 total time: 71.6064
 opt: 0.543 reg: 0 solved: 1 total time: 72.1499
 opt: 0.529 reg: 0 solved: 1 total time: 72.6791
 opt: 0.554 reg: 0 solved: 1 total time: 73.233
 opt: 3.377 reg: 0 solved: 1 total time: 76.6075
 opt: 0.562 reg: 0 solved: 1 total time: 77.1703
 opt: 0.543 reg: 0 solved: 1 total time: 77.7135
 opt: 3.355 reg: 0 solved: 1 total time: 81.0657
 opt: 0.554 reg: 0 solved: 1 total time: 81.6204
 opt: 0.615 reg: 0.001 solved: 1 total time: 82.236
 opt: 3.399 reg: 0 solved: 1 total time: 85.6329
 opt: 3.314 reg: 0 solved: 1 total time: 88.9445
 opt: 0.553 reg: 0 solved: 1 total time: 89.4974
 opt: 0.553 reg: 0 solved: 1 total time: 90.0507
 opt: 3.28 reg: 0 solved: 1 total time: 93.3282
 opt: 0.559 reg: 0 solved: 1 total time: 93.8881
 opt: 3.272 reg: 0 solved: 1 total time: 97.1581
 opt: 0.607 reg: 0 solved: 1 total time: 97.7657
 opt: 0.558 reg: 0 solved: 1 total time: 98.3237
 opt: 3.303 reg: 0 solved: 1 total time: 101.624
 opt: 3.3 reg: 0 solved: 1 total time: 104.92
 opt: 0.627 reg: 0 solved: 1 total time: 105.548
 opt: 3.319 reg: 0 solved: 1 total time: 108.864
 opt: 3.303 reg: 0 solved: 1 total time: 112.165
 opt: 0.207 reg: 0 solved: 1 total time: 112.373
 opt: 3.419 reg: 0 solved: 2 total time: 115.789
 opt: 3.319 reg: 0 solved: 1 total time: 119.105
L = 1, leader states: 8.58993e+09, follower subproblems: 8.58993e+09, F:100000, total time: 119.106
 opt: 2.878 reg: 0.003 solved: 1 total time: 127.988
 opt: 1.326 reg: 0.001 solved: 1 total time: 129.315
 opt: 0.346 reg: 0.002 solved: 1 total time: 129.665
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
@@@T266895@@@
Done!
real 267.07
user 264.34
sys 2.34
slurmstepd-dhabi04: error: Detected 1 oom-kill event(s) in step 4401802.batch cgroup. Some of your processes may have been killed by the cgroup out-of-memory handler.
