c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/queen/queen040x040.col /BENCHMARKS/benchmark/queen/queen040x040_02_9487.dat c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen040x040_02_9487/sas_plan results/queen040x040_02_9487/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 1360 1246 1008 371 604 1361 407 908 27 874 1462 1559 935 277 1595 301 1050 1282 1499 789 832 756 483 71 343 558 673 978 225 104 1176 1230 1133 180 146 454 1412 1097 685 t 454 104 405 1133 301 567 1412 1559 673 71 343 490 1595 1176 935 1230 180 908 558 146 789 1282 27 681 1499 756 368 1443 1049 1366 604 277 1360 225 832 978 1097 1262 1011 a YES a 1008 104 1050 1097 1133 1176 1230 1246 1282 1360 1361 1412 146 1462 1499 1559 1595 180 225 27 277 301 343 371 407 454 483 558 604 673 685 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1230 1246 1282 1360 1361 1412 146 1462 1499 1559 1595 180 225 27 277 301 343 371 407 454 483 558 569 604 673 71 756 789 832 874 908 935 978 a 1008 104 1050 1097 1133 1176 1230 1246 1282 1360 1361 1412 146 1462 1499 1559 1595 180 225 27 277 301 343 371 407 45 454 483 558 569 604 673 756 789 832 874 908 935 978 a 1008 104 1071 1097 1133 1176 1230 1246 1282 1360 1361 1412 146 1462 1499 1559 1595 180 225 27 277 301 343 371 407 45 454 483 558 569 604 673 756 789 832 874 908 935 978 a 1008 104 1071 1097 1133 1176 1230 1246 1282 1360 1361 1412 146 1462 1499 1559 1595 180 225 27 277 301 343 371 407 45 454 490 558 569 604 673 756 789 832 874 908 935 978 a 1008 104 1071 1097 1133 1176 1230 1246 1282 1360 1412 146 1462 1499 1559 1595 180 225 27 277 301 343 371 407 45 454 490 558 569 604 673 681 756 789 832 874 908 935 978 a 1008 104 1071 1097 1133 1176 1230 1282 1360 1366 1412 146 1462 1499 1559 1595 180 225 27 277 301 343 371 407 45 454 490 558 569 604 673 681 756 789 832 874 908 935 978 a 1008 104 1071 1097 1133 1176 1230 1282 1360 1366 1412 1443 146 1499 1559 1595 180 225 27 277 301 343 371 407 45 454 490 558 569 604 673 681 756 789 832 874 908 935 978 a 1008 104 1071 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 146 1499 1559 1595 180 225 27 277 301 343 407 45 454 490 558 569 604 673 681 756 789 832 874 908 935 978 a 1011 104 1071 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 146 1499 1559 1595 180 225 27 277 301 343 407 45 454 490 558 569 604 673 681 756 789 832 874 908 935 978 a 1011 104 1071 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 146 1499 1559 1595 180 225 27 277 301 343 368 45 454 490 558 569 604 673 681 756 789 832 874 908 935 978 a 1011 104 1071 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 146 1499 1559 1595 180 225 27 277 301 343 368 45 454 490 558 567 604 673 681 756 789 832 874 908 935 978 a 1011 104 1071 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 146 1499 1559 1595 180 225 27 277 301 343 368 405 454 490 558 567 604 673 681 756 789 832 874 908 935 978 a 1011 104 1049 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 146 1499 1559 1595 180 225 27 277 301 343 368 405 454 490 558 567 604 673 681 756 789 832 874 908 935 978 a 1011 104 1049 1097 1133 1176 1230 1262 1282 1360 1366 1412 1443 146 1499 1559 1595 180 225 27 277 301 343 368 405 454 490 558 567 604 673 681 71 756 789 832 908 935 978 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen040x040.col /BENCHMARKS/benchmark/queen/queen040x040_02_9487.dat" User time (seconds): 23.30 System time (seconds): 0.33 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:23.64 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): 176172 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 127211 Voluntary context switches: 1068 Involuntary context switches: 2347 Swaps: 0 File system inputs: 0 File system outputs: 3272 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0