c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/qg.order40_01/sas_plan results/qg.order40_01/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 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1319 1347 1372 1401 1472 1520 1548 1595 t 24 53 84 132 189 240 260 296 322 398 418 457 502 552 567 626 671 739 770 837 861 908 934 961 1036 1075 1114 1145 1168 1227 1270 1291 1325 1369 1439 1443 1503 1553 1566 a YES a 1017 1069 1113 114 1158 1175 1218 1319 1347 1372 1401 141 1472 1520 1548 1595 171 231 263 305 323 379 410 42 464 516 525 573 614 648 7 710 726 764 822 860 917 936 986 a 1017 1069 1113 114 1158 1175 1218 1270 1319 1347 1372 1401 141 1472 1520 1548 1595 171 231 263 305 323 379 410 42 464 516 525 573 614 648 7 726 764 822 860 917 936 986 a 1017 1069 1113 114 1158 1175 1218 1270 1319 1347 1369 1401 141 1472 1520 1548 1595 171 231 263 305 323 379 410 42 464 516 525 573 614 648 7 726 764 822 860 917 936 986 a 1017 1069 1113 114 1158 1175 1218 1270 1319 132 1347 1369 1401 1472 1520 1548 1595 171 231 263 305 323 379 410 42 464 516 525 573 614 648 7 726 764 822 860 917 936 986 a 1017 1069 1113 114 1158 1175 1218 1270 1319 132 1347 1369 1401 1472 1520 1548 1595 171 231 263 305 323 379 410 42 464 516 525 573 614 648 7 726 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1175 1218 1270 1319 132 1347 1369 1401 1472 1520 1548 1595 171 231 260 305 323 379 410 42 464 516 525 573 614 648 7 726 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1175 1218 1270 1319 132 1347 1369 1401 1472 1503 1548 1595 171 231 260 305 323 379 410 42 464 516 525 573 614 648 7 726 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1175 1218 1270 1319 132 1347 1369 1401 1472 1503 1548 1595 171 240 260 305 323 379 410 42 464 516 525 573 614 648 7 726 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1175 1218 1270 1319 132 1347 1369 1401 1472 1503 1548 1595 171 240 260 305 323 379 410 42 464 516 525 573 614 671 7 726 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1472 1503 1548 1595 171 240 260 305 323 379 410 42 464 516 525 573 614 671 7 726 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1472 15 1503 1548 1595 171 240 260 305 323 379 410 42 464 516 525 573 614 671 726 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1472 15 1503 1548 1595 171 240 260 305 323 379 410 42 464 516 525 567 614 671 726 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1472 15 1503 1548 1595 171 240 260 305 323 379 410 464 516 525 53 567 614 671 726 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1472 15 1503 1548 1595 171 240 260 305 322 379 410 464 516 525 53 567 614 671 726 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1443 15 1503 1548 1595 171 240 260 305 322 379 410 464 516 525 53 567 614 671 726 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1443 15 1503 1548 1595 171 240 260 305 322 379 410 464 516 53 552 567 614 671 726 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1168 1218 1270 1319 132 1325 1369 1401 1443 15 1503 1548 1595 171 240 260 305 322 379 410 464 516 53 552 567 614 671 726 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 15 1503 1548 1595 171 240 260 305 322 379 410 464 516 53 552 567 614 671 726 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 15 1503 1548 1595 171 240 260 305 322 379 418 464 516 53 552 567 614 671 726 764 822 861 917 936 986 a 1017 1069 1113 114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 15 1503 1548 1595 171 240 260 305 322 379 418 464 516 53 552 567 614 671 726 770 822 861 917 936 986 a 1017 1069 1113 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 15 1503 1548 1595 171 240 260 305 322 379 418 464 516 53 552 567 614 671 726 770 822 84 861 917 936 986 a 1017 1069 1114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 15 1503 1548 1595 171 240 260 305 322 379 418 464 516 53 552 567 614 671 726 770 822 84 861 917 936 986 a 1017 1069 1114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 15 1503 1553 1595 171 240 260 305 322 379 418 464 516 53 552 567 614 671 726 770 822 84 861 917 936 986 a 1017 1069 1114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 15 1503 1553 1595 171 240 260 305 322 379 418 464 516 53 552 567 614 671 726 770 822 84 861 908 936 986 a 1017 1069 1114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 15 1503 1553 1595 171 240 260 305 322 379 418 464 516 53 552 567 614 671 726 770 837 84 861 908 936 986 a 1017 1069 1114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 15 1503 1553 1595 171 240 260 305 322 379 418 464 502 53 552 567 614 671 726 770 837 84 861 908 936 986 a 1036 1069 1114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 15 1503 1553 1595 171 240 260 305 322 379 418 464 502 53 552 567 614 671 726 770 837 84 861 908 936 986 a 1036 1069 1114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 15 1503 1553 1595 171 240 260 305 322 379 418 457 502 53 552 567 614 671 726 770 837 84 861 908 936 986 a 1036 1069 1114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 15 1503 1553 1595 240 260 305 322 379 418 457 502 53 552 567 614 671 691 726 770 837 84 861 908 936 986 a 1036 1114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 15 1503 1553 1595 189 240 260 305 322 379 418 457 502 53 552 567 614 671 691 726 770 837 84 861 908 936 986 a 1036 1075 1114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 15 1503 1553 189 240 260 305 322 379 418 457 502 53 552 567 614 671 691 726 770 837 84 861 908 936 986 a 1036 1075 1114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 15 1503 1553 1566 189 240 260 305 322 379 418 457 502 53 552 567 614 671 691 770 837 84 861 908 936 986 a 1036 1075 1114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 15 1503 1553 1566 189 240 260 305 322 418 457 502 53 552 567 614 671 691 739 770 837 84 861 908 936 986 a 1036 1075 1114 1168 1227 1270 1319 132 1325 1369 1401 1443 15 1503 1553 1566 189 240 260 305 322 398 418 457 502 53 552 567 614 671 691 739 770 837 84 861 908 936 986 a 1036 1075 1114 1145 1168 1227 1270 1319 132 1325 1369 1401 1443 15 1503 1553 1566 189 240 260 322 398 418 457 502 53 552 567 614 671 691 739 770 837 84 861 908 936 986 a 1036 1075 1114 1145 1168 1227 1270 1319 132 1325 1369 1401 1443 15 1503 1553 1566 189 240 260 296 322 398 418 457 502 53 552 567 614 671 691 739 770 837 84 861 908 986 a 1036 1075 1114 1145 1168 1227 1270 1319 132 1325 1369 1401 1443 15 1503 1553 1566 189 240 260 296 322 398 418 457 502 53 552 567 671 691 739 770 837 84 861 908 934 986 a 1036 1075 1114 1145 1168 1227 1270 1319 132 1325 1369 1401 1443 15 1503 1553 1566 189 240 260 296 322 398 418 457 502 53 552 567 626 671 691 739 770 837 84 861 908 934 a 1036 1075 1114 1145 1168 1227 1270 1319 132 1325 1369 1443 15 1503 1553 1566 189 240 260 296 322 398 418 457 502 53 552 567 626 671 691 739 770 837 84 861 908 934 961 a 1036 1075 1114 1145 1168 1227 1270 132 1325 1369 1439 1443 15 1503 1553 1566 189 240 260 296 322 398 418 457 502 53 552 567 626 671 691 739 770 837 84 861 908 934 961 a 1036 1075 1114 1145 1168 1227 1270 132 1325 1369 1439 1443 1503 1553 1566 189 24 240 260 296 322 398 418 457 502 53 552 567 626 671 691 739 770 837 84 861 908 934 961 a 1036 1075 1114 1145 1168 1227 1270 1291 132 1325 1369 1439 1443 1503 1553 1566 189 24 240 260 296 322 398 418 457 502 53 552 567 626 671 739 770 837 84 861 908 934 961 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/color04/qg.order40.col /BENCHMARKS/benchmark/color04/qg.order40_01.dat" User time (seconds): 0.96 System time (seconds): 0.05 Percent of CPU this job got: 100% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.02 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): 46268 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 23251 Voluntary context switches: 145 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