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