c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/color04/qg.order40.col /BENCHMARKS/benchmark/color04/qg.order40_01.dat c Running for 4200 seconds: python3 /SOLVER/symk/fast-downward.py --overall-memory-limit 16G --plan-file results/qg.order40_01/sas_plan results/qg.order40_01/output.sas --search "sym-fw()" 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_merged([lm_rhw(use_orders=true), lm_hm(use_orders=true, m=1)])" --evaluator "hlm=lmcount(lmg, admissible=true, pref=false, cost_partitioning=suboptimal, greedy=false, reuse_costs=false)" --search "astar(hlm)" 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 1503 1548 1595 171 240 260 305 323 379 410 42 464 516 525 573 614 671 695 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 24 240 260 305 323 379 410 42 516 525 573 614 671 695 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 24 240 260 305 323 379 410 42 516 525 567 614 671 695 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 24 240 260 305 323 379 410 516 525 53 567 614 671 695 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 24 240 260 305 322 379 410 516 525 53 567 614 671 695 726 764 822 861 917 936 986 a 1069 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1472 1503 1548 1595 171 24 240 260 305 322 379 410 457 516 525 53 567 614 671 695 726 764 822 861 917 936 986 a 1036 1069 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1472 1503 1548 1595 171 24 240 260 305 322 379 410 457 525 53 567 614 671 695 726 764 822 861 917 936 986 a 1036 1069 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1472 1503 1548 1595 171 24 240 260 305 322 379 410 457 502 525 53 567 614 671 695 726 764 861 917 936 986 a 1036 1069 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1472 1503 1548 1595 171 24 240 260 305 322 379 410 457 502 525 53 567 614 671 695 726 764 837 861 936 986 a 1036 1069 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1443 1503 1548 1595 171 24 240 260 305 322 379 410 457 502 525 53 567 614 671 695 726 764 837 861 936 986 a 1036 1069 1113 114 1158 1168 1218 1270 1319 132 1347 1369 1401 1443 1503 1548 1595 171 24 240 260 305 322 379 410 457 502 53 552 567 614 671 695 726 764 837 861 936 986 a 1036 1069 1113 114 1158 1168 1218 1270 1319 132 1325 1369 1401 1443 1503 1548 1595 171 24 240 260 305 322 379 410 457 502 53 552 567 614 671 695 726 764 837 861 936 986 a 1036 1069 1113 114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 1503 1548 1595 171 24 240 260 305 322 379 410 457 502 53 552 567 614 671 695 726 764 837 861 936 986 a 1036 1069 1113 114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 1503 1548 1595 171 24 240 260 305 322 379 418 457 502 53 552 567 614 671 695 726 764 837 861 936 986 a 1036 1069 1113 114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 1503 1548 1595 171 24 240 260 305 322 379 418 457 502 53 552 567 614 671 695 726 770 837 861 936 986 a 1036 1069 1113 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 1503 1548 1595 171 24 240 260 305 322 379 418 457 502 53 552 567 614 671 695 726 770 837 84 861 936 986 a 1036 1069 1114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 1503 1548 1595 171 24 240 260 305 322 379 418 457 502 53 552 567 614 671 695 726 770 837 84 861 936 986 a 1036 1069 1114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 1503 1595 171 24 240 260 305 322 379 418 457 502 53 552 567 614 671 695 726 770 837 84 861 908 936 986 a 1036 1069 1114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 1503 1553 1595 24 240 260 305 322 379 418 457 502 53 552 567 614 671 695 726 770 837 84 861 908 936 986 a 1036 1114 1158 1168 1227 1270 1319 132 1325 1369 1401 1443 1503 1553 1595 189 24 240 260 305 322 379 418 457 502 53 552 567 614 671 695 726 770 837 84 861 908 936 986 a 1036 1114 1158 1168 1227 1270 1291 132 1325 1369 1401 1443 1503 1553 1595 189 24 240 260 305 322 379 418 457 502 53 552 567 614 671 695 726 770 837 84 861 908 936 986 a 1036 1114 1158 1168 1227 1270 1291 132 1325 1369 1439 1443 1503 1553 1595 189 24 240 260 305 322 379 418 457 502 53 552 567 614 671 695 726 770 837 84 861 908 936 986 a 1036 1114 1158 1168 1227 1270 1291 132 1325 1369 1439 1443 1503 1553 1595 189 24 240 260 305 322 379 418 457 502 53 552 567 614 671 695 726 770 837 84 861 908 936 961 a 1036 1114 1158 1168 1227 1270 1291 132 1325 1369 1439 1443 1503 1553 1595 189 24 240 260 305 322 379 418 457 502 53 552 567 626 671 695 726 770 837 84 861 908 936 961 a 1036 1114 1158 1168 1227 1270 1291 132 1325 1369 1439 1443 1503 1553 1595 189 24 240 260 305 322 379 418 457 502 53 552 567 626 671 695 726 770 837 84 861 908 934 961 a 1036 1114 1158 1168 1227 1270 1291 132 1325 1369 1439 1443 1503 1553 1595 189 24 240 260 296 322 379 418 457 502 53 552 567 626 671 695 726 770 837 84 861 908 934 961 a 1036 1114 1145 1168 1227 1270 1291 132 1325 1369 1439 1443 1503 1553 1595 189 24 240 260 296 322 379 418 457 502 53 552 567 626 671 695 726 770 837 84 861 908 934 961 a 1036 1114 1145 1168 1227 1270 1291 132 1325 1369 1439 1443 1503 1553 1595 189 24 240 260 296 322 398 418 457 502 53 552 567 626 671 695 726 770 837 84 861 908 934 961 a 1036 1114 1145 1168 1227 1270 1291 132 1325 1369 1439 1443 1503 1553 1595 189 24 240 260 296 322 398 418 457 502 53 552 567 626 671 695 739 770 837 84 861 908 934 961 a 1036 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 695 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): 71.24 System time (seconds): 0.43 Percent of CPU this job got: 1% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:10:22 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): 200552 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 172567 Voluntary context switches: 5238 Involuntary context switches: 7636 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