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