c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/qg.order40_02/sas_plan results/qg.order40_02/output.sas --landmarks lmg="lm_hm(use_orders=False, m=1)" --evaluator "hlm=lmcount(lmg, admissible=True, pref=false)" --search "eager(single(hlm),reopen_closed=False)" s 15 73 120 144 186 205 270 311 329 387 422 451 490 527 583 638 676 698 748 780 834 857 893 939 981 1039 1069 1092 1121 1164 1208 1272 1326 1362 1435 1443 1517 1534 1576 t 10 79 81 138 191 221 255 309 325 380 430 454 554 582 604 649 693 752 783 835 852 908 947 984 1040 1065 1113 1156 1166 1217 1242 1317 1323 1371 1426 1447 1518 1536 1568 a YES a 1039 1069 1092 1121 1164 120 1208 1272 1326 1362 1435 144 1443 15 1517 1534 1576 186 205 270 311 329 387 422 451 490 527 583 638 676 698 73 748 780 834 857 893 939 981 a 1039 1065 1092 1121 1164 120 1208 1272 1326 1362 1435 144 1443 15 1517 1534 1576 186 205 270 311 329 387 422 451 490 527 583 638 676 698 73 748 780 834 857 893 939 981 a 1039 1065 1092 1121 1164 120 1208 1272 1326 1362 1435 144 1443 15 1517 1534 1576 186 205 270 309 329 387 422 451 490 527 583 638 676 698 73 748 780 834 857 893 939 981 a 1039 1065 1092 1121 1164 120 1208 1272 1326 1362 1435 144 1443 15 1517 1534 1576 191 205 270 309 329 387 422 451 490 527 583 638 676 698 73 748 780 834 857 893 939 981 a 1039 1065 1092 1121 1164 120 1208 1272 1326 1362 1426 144 1443 15 1517 1534 1576 191 205 270 309 329 387 422 451 490 527 583 638 676 698 73 748 780 834 857 893 939 981 a 1039 1065 1092 1121 1164 120 1208 1272 1326 1362 1426 144 1443 15 1517 1534 1576 191 205 270 309 329 387 422 451 490 527 583 638 676 698 73 748 780 835 857 893 939 981 a 1039 1065 1092 1121 1164 120 1208 1272 1326 1362 1426 144 1443 15 1517 1534 1576 191 205 270 309 329 387 422 451 490 554 583 638 676 698 73 748 780 835 857 893 939 981 a 1039 1065 1092 1121 1164 120 1208 1272 1326 1362 1426 144 1447 15 1517 1534 1576 191 205 270 309 329 387 422 451 490 554 583 638 676 698 73 748 780 835 857 893 939 981 a 1039 1065 1092 1121 1164 120 1208 1272 1323 1362 1426 144 1447 15 1517 1534 1576 191 205 270 309 329 387 422 451 490 554 583 638 676 698 73 748 780 835 857 893 939 981 a 1039 1065 1092 1121 1166 120 1208 1272 1323 1362 1426 144 1447 15 1517 1534 1576 191 205 270 309 329 387 422 451 490 554 583 638 676 698 73 748 780 835 857 893 939 981 a 1039 1065 1092 1121 1166 120 1208 1272 1323 1362 1426 144 1447 15 1517 1534 1576 191 205 270 309 329 387 422 451 490 554 583 604 676 698 73 748 780 835 857 893 939 981 a 1039 1065 1092 1121 1166 120 1208 1272 1317 1323 1362 1426 144 1447 15 1534 1576 191 205 270 309 329 387 422 451 490 554 583 604 676 698 73 748 780 835 857 893 939 981 a 1039 1065 1092 1121 1166 120 1208 1272 1317 1323 1362 1426 144 1447 1518 1534 1576 191 205 270 309 329 387 422 451 490 554 583 604 676 698 73 748 780 835 857 893 939 981 a 1039 1065 1092 1121 1166 120 1208 1272 1317 1323 1362 1426 144 1447 1518 1534 1576 191 205 255 309 329 387 422 451 490 554 583 604 676 698 73 748 780 835 857 893 939 981 a 1039 1065 1092 1121 1166 120 1208 1272 1317 1323 1362 1426 144 1447 1518 1534 1576 191 205 255 309 329 387 430 451 490 554 583 604 676 698 73 748 780 835 857 893 939 981 a 10 1039 1065 1092 1121 1166 120 1208 1272 1317 1323 1362 1426 144 1447 1518 1534 1576 191 205 255 309 329 387 430 451 554 583 604 676 698 73 748 780 835 857 893 939 981 a 10 1039 1065 1092 1121 1166 120 1208 1272 1317 1323 1362 1426 144 1447 1518 1534 1576 191 205 255 309 329 387 430 451 554 582 604 676 698 73 748 780 835 857 893 939 981 a 10 1039 1065 1092 1121 1166 120 1208 1272 1317 1323 1362 1426 144 1447 1518 1534 1576 191 205 255 309 329 387 430 451 554 582 604 676 698 73 748 783 835 857 893 939 981 a 10 1039 1065 1092 1121 1166 120 1208 1272 1317 1323 1362 1426 144 1447 1518 1534 1576 191 205 255 309 329 380 430 451 554 582 604 676 698 73 748 783 835 857 893 939 981 a 10 1039 1065 1092 1121 1166 120 1208 1272 1317 1323 1362 1426 144 1447 1518 1534 1576 191 205 255 309 329 380 430 451 554 582 604 676 698 73 748 783 835 857 893 947 981 a 10 1039 1065 1092 1121 1166 120 1208 1272 1317 1323 1362 1426 144 1447 1518 1534 1576 191 205 255 309 329 380 430 451 554 582 59 604 676 698 748 783 835 857 893 947 981 a 10 1039 1065 1113 1121 1166 120 1208 1272 1317 1323 1362 1426 144 1447 1518 1534 1576 191 205 255 309 329 380 430 451 554 582 59 604 676 698 748 783 835 857 893 947 981 a 10 1039 1065 1113 1121 1166 120 1208 1272 1317 1323 1362 1426 144 1447 1518 1534 1576 191 205 255 309 329 380 430 451 554 582 59 604 676 698 748 783 835 852 893 947 981 a 10 1039 1065 1113 1121 1166 120 1217 1272 1317 1323 1362 1426 144 1447 1518 1534 1576 191 205 255 309 329 380 430 451 554 582 59 604 676 698 748 783 835 852 893 947 981 a 10 1039 1065 1113 1121 1166 120 1217 1272 1317 1323 1362 1426 144 1447 1518 1534 1568 191 205 255 309 329 380 430 451 554 582 59 604 676 698 748 783 835 852 893 947 981 a 10 1039 1065 1113 1121 1166 120 1217 1272 1317 1323 1362 1426 144 1447 1518 1536 1568 191 205 255 309 329 380 430 451 554 582 59 604 676 698 748 783 835 852 893 947 981 a 10 1039 1065 1113 1121 1166 120 1217 1272 1317 1323 1362 1426 144 1447 1518 1536 1568 191 205 255 309 329 380 430 454 554 582 59 604 676 698 748 783 835 852 893 947 981 a 10 1039 1065 1113 1121 1166 120 1217 1272 1317 1323 1371 1426 144 1447 1518 1536 1568 191 205 255 309 329 380 430 454 554 582 59 604 676 698 748 783 835 852 893 947 981 a 10 1039 1065 1113 1121 1166 120 1217 1242 1317 1323 1371 1426 144 1447 1518 1536 1568 191 205 255 309 329 380 430 454 554 582 59 604 676 698 748 783 835 852 893 947 981 a 10 1039 1065 1113 1121 1166 120 1217 1242 1317 1323 1371 1426 144 1447 1518 1536 1568 191 205 255 309 329 380 430 454 554 582 59 604 676 698 752 783 835 852 893 947 981 a 10 1039 1065 1113 1121 1166 120 1217 1242 1317 1323 1371 1426 144 1447 1518 1536 1568 191 205 255 309 329 380 430 454 554 582 59 604 676 698 752 783 835 852 908 947 981 a 10 1039 1065 1113 1121 1166 120 1217 1242 1317 1323 1371 1426 144 1447 1518 1536 1568 191 205 255 309 329 380 430 454 554 582 59 604 676 693 752 783 835 852 908 947 981 a 10 1039 1065 1113 1121 1166 120 1217 1242 1317 1323 1371 138 1426 1447 1518 1536 1568 191 205 255 309 329 380 430 454 554 582 59 604 676 693 752 783 835 852 908 947 981 a 10 1039 1065 1113 1121 1166 120 1217 1242 1317 1323 1371 138 1426 1447 1518 1536 1568 191 205 255 309 329 380 430 454 554 582 59 604 676 693 752 783 835 852 908 947 984 a 10 1039 1065 1113 1121 1166 120 1217 1242 1317 1323 1371 138 1426 1447 1518 1536 1568 191 221 255 309 329 380 430 454 554 582 59 604 676 693 752 783 835 852 908 947 984 a 10 1039 1065 1113 1121 1166 120 1217 1242 1317 1323 1371 138 1426 1447 1518 1536 1568 191 221 255 309 325 380 430 454 554 582 59 604 676 693 752 783 835 852 908 947 984 a 10 1039 1065 1113 1121 1166 120 1217 1242 1317 1323 1371 138 1426 1447 1518 1536 1568 191 221 255 309 325 380 430 454 554 582 59 604 649 693 752 783 835 852 908 947 984 a 10 1039 1065 1113 1156 1166 120 1217 1242 1317 1323 1371 138 1426 1447 1518 1536 1568 191 221 255 309 325 380 430 454 554 582 59 604 649 693 752 783 835 852 908 947 984 a 10 1039 1065 1113 1156 1166 1217 1242 1317 1323 1371 138 1426 1447 1518 1536 1568 191 221 255 309 325 380 430 454 554 582 59 604 649 693 752 783 81 835 852 908 947 984 a 10 1040 1065 1113 1156 1166 1217 1242 1317 1323 1371 138 1426 1447 1518 1536 1568 191 221 255 309 325 380 430 454 554 582 59 604 649 693 752 783 81 835 852 908 947 984 a 10 1040 1065 1113 1156 1166 1217 1242 1317 1323 1371 138 1426 1447 1518 1536 1568 191 221 255 309 325 380 430 454 554 582 604 649 693 752 783 79 81 835 852 908 947 984 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/color04/qg.order40.col /BENCHMARKS/benchmark/color04/qg.order40_02.dat" User time (seconds): 0.99 System time (seconds): 0.04 Percent of CPU this job got: 100% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.03 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 46192 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 23250 Voluntary context switches: 202 Involuntary context switches: 106 Swaps: 0 File system inputs: 0 File system outputs: 2280 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0