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