c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/queen/queen030x030.col /BENCHMARKS/benchmark/queen/queen030x030_02_4963.dat c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen030x030_02_4963/sas_plan results/queen030x030_02_4963/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 536 106 357 277 82 229 389 128 18 310 671 699 814 895 504 781 725 413 643 480 753 50 448 615 254 561 576 842 162 t 615 17 814 508 248 78 643 536 160 897 442 725 842 299 753 699 561 390 200 53 224 414 312 576 781 475 139 671 106 a YES a 106 128 162 18 229 254 277 310 357 389 413 448 480 50 504 536 561 576 615 643 671 699 725 753 781 814 82 842 895 a 106 128 18 197 229 254 277 310 357 389 413 448 480 50 504 536 561 576 615 643 671 699 725 753 781 814 82 842 895 a 106 128 160 18 197 229 254 277 357 389 413 448 480 50 504 536 561 576 615 643 671 699 725 753 781 814 82 842 895 a 106 128 160 18 197 229 277 312 357 389 413 448 480 50 504 536 561 576 615 643 671 699 725 753 781 814 82 842 895 a 106 128 160 18 197 229 242 277 312 357 389 413 448 480 50 504 536 561 576 615 643 671 699 725 753 781 814 82 895 a 106 128 160 18 197 229 242 277 312 357 389 413 448 480 50 504 536 561 576 615 643 671 699 725 753 781 814 82 865 a 106 128 160 18 197 229 242 277 312 357 389 413 448 480 504 536 561 576 615 643 671 699 725 753 781 814 82 865 890 a 106 128 160 18 197 224 242 277 312 357 389 413 448 480 504 536 561 576 615 643 671 699 725 753 781 814 82 865 890 a 106 128 160 197 224 242 277 312 357 389 413 448 480 49 504 536 561 576 615 643 671 699 725 753 781 814 82 865 890 a 106 128 160 197 224 242 277 312 357 378 413 448 480 49 504 536 561 576 615 643 671 699 725 753 781 814 82 865 890 a 106 128 160 17 224 242 277 312 357 378 413 448 480 49 504 536 561 576 615 643 671 699 725 753 781 814 82 865 890 a 106 128 160 17 224 242 277 312 357 378 413 448 480 49 504 536 561 576 615 643 671 699 725 753 781 814 82 865 899 a 106 128 160 17 200 224 242 277 312 357 378 413 480 49 504 536 561 576 615 643 671 699 725 753 781 814 82 865 899 a 106 128 160 17 200 224 242 277 312 357 378 413 480 49 508 536 561 576 615 643 671 699 725 753 781 814 82 865 899 a 106 128 160 17 200 224 242 277 312 357 378 414 480 49 508 536 561 576 615 643 671 699 725 753 781 814 82 865 899 a 106 128 160 17 200 224 242 277 312 357 378 414 442 480 49 508 536 561 576 615 643 671 699 725 753 781 814 865 899 a 106 128 160 17 200 224 242 277 312 357 378 414 442 480 508 53 536 561 576 615 643 671 699 725 753 781 814 865 899 a 106 128 160 17 200 224 242 277 312 357 378 414 442 480 508 53 536 561 576 615 643 671 699 725 753 781 814 859 899 a 106 128 160 17 200 224 242 277 312 357 378 414 442 475 508 53 536 561 576 615 643 671 699 725 753 781 814 859 899 a 106 128 160 17 200 224 242 277 312 357 390 414 442 475 508 53 536 561 576 615 643 671 699 725 753 781 814 859 899 a 106 128 160 17 200 224 242 277 312 390 414 442 475 508 53 536 561 576 615 643 671 699 725 753 78 781 814 859 899 a 106 128 160 17 200 224 242 312 337 390 414 442 475 508 53 536 561 576 615 643 671 699 725 753 78 781 814 859 899 a 106 128 160 17 200 224 242 299 312 337 390 414 442 475 508 53 536 561 576 615 643 671 699 725 753 78 781 814 859 a 106 160 17 200 224 242 299 312 337 390 414 442 475 508 53 536 561 576 615 643 671 699 725 753 78 781 814 859 897 a 106 160 17 200 224 248 299 312 337 390 414 442 475 508 53 536 561 576 615 643 671 699 725 753 78 781 814 859 897 a 106 139 160 17 200 224 248 299 312 337 390 414 442 475 508 53 536 561 576 615 643 671 699 725 753 78 781 814 897 a 106 139 160 17 200 224 248 299 312 390 414 442 475 508 53 536 561 576 615 643 671 699 725 753 78 781 814 842 897 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen030x030.col /BENCHMARKS/benchmark/queen/queen030x030_02_4963.dat" User time (seconds): 1665.89 System time (seconds): 11.11 Percent of CPU this job got: 83% Elapsed (wall clock) time (h:mm:ss or m:ss): 33:27.39 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): 2525944 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 710804 Voluntary context switches: 755 Involuntary context switches: 175931 Swaps: 0 File system inputs: 0 File system outputs: 1408 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0