c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/queen/queen030x030.col /BENCHMARKS/benchmark/queen/queen030x030_04_9144.dat
c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen030x030_04_9144/sas_plan results/queen030x030_04_9144/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 248 284 615 538 643 725 397 130 897 814 79 162 781 51 329 671 106 450 699 562 200 576 356 18 227 473 505 753 842
t 529 53 643 699 389 725 138 671 753 562 450 160 842 106 898 307 507 287 192 224 415 81 248 474 20 781 814 576 356
a YES
a 106 130 162 18 200 227 248 284 329 356 397 450 473 505 51 538 562 576 615 643 671 699 725 753 781 79 814 842 897
a 106 130 162 18 200 227 248 284 329 356 384 397 450 473 505 51 562 576 615 643 671 699 725 753 781 79 814 842 897
a 106 130 162 18 200 227 248 284 329 356 384 397 450 473 505 51 562 576 615 643 671 699 725 753 781 79 814 842 898
a 106 130 162 18 200 227 248 284 329 356 384 397 450 473 507 51 562 576 615 643 671 699 725 753 781 79 814 842 898
a 106 130 162 18 200 227 248 284 329 356 384 397 450 507 51 535 562 576 615 643 671 699 725 753 781 79 814 842 898
a 106 130 162 18 200 227 248 284 329 356 384 397 450 507 51 535 562 576 615 643 671 699 725 753 79 803 814 842 898
a 106 130 162 18 200 227 248 284 301 356 384 397 450 507 51 535 562 576 615 643 671 699 725 753 79 803 814 842 898
a 106 130 162 18 200 227 248 284 301 356 397 450 474 507 51 535 562 576 615 643 671 699 725 753 79 803 814 842 898
a 106 130 162 18 200 227 248 284 301 356 389 397 450 474 507 51 535 562 576 615 643 671 699 725 753 803 814 842 898
a 106 130 162 18 200 227 248 284 301 356 389 397 450 474 507 51 529 562 576 615 643 671 699 725 753 803 814 842 898
a 106 130 162 18 200 227 248 284 301 356 389 415 450 474 507 51 529 562 576 615 643 671 699 725 753 803 814 842 898
a 106 130 162 18 187 227 248 284 301 356 389 415 450 474 507 51 529 562 576 615 643 671 699 725 753 803 814 842 898
a 106 130 162 18 187 227 248 284 301 356 389 415 450 474 507 51 529 562 576 615 643 671 699 725 753 803 830 842 898
a 106 130 162 18 187 227 248 284 301 34 356 389 415 450 474 507 529 562 576 615 643 671 699 725 753 803 830 842 898
a 106 130 162 18 187 227 248 301 34 356 389 415 450 474 507 529 562 576 615 643 671 699 725 753 803 81 830 842 898
a 106 130 162 18 187 248 287 301 34 356 389 415 450 474 507 529 562 576 615 643 671 699 725 753 803 81 830 842 898
a 106 130 18 187 224 248 287 301 34 356 389 415 450 474 507 529 562 576 615 643 671 699 725 753 803 81 830 842 898
a 106 160 18 187 224 248 287 301 34 356 389 415 450 474 507 529 562 576 615 643 671 699 725 753 803 81 830 842 898
a 106 138 160 187 224 248 287 301 34 356 389 415 450 474 507 529 562 576 615 643 671 699 725 753 803 81 830 842 898
a 106 138 160 192 224 248 287 301 34 356 389 415 450 474 507 529 562 576 615 643 671 699 725 753 803 81 830 842 898
a 106 138 160 192 20 224 248 287 301 34 356 389 415 450 474 507 529 562 576 615 643 671 699 725 753 803 81 842 898
a 106 138 160 192 20 224 248 287 301 356 389 415 450 474 507 529 562 576 615 643 671 699 725 753 803 81 814 842 898
a 106 138 160 192 20 224 248 287 301 356 389 415 450 474 507 529 53 562 576 615 643 671 699 725 753 81 814 842 898
a 106 138 160 192 20 224 248 287 307 356 389 415 450 474 507 529 53 562 576 615 643 671 699 725 753 81 814 842 898
a 106 138 160 192 20 224 248 287 307 356 389 415 450 474 507 529 53 562 576 643 671 699 725 753 781 81 814 842 898
	Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen030x030.col /BENCHMARKS/benchmark/queen/queen030x030_04_9144.dat"
	User time (seconds): 508.08
	System time (seconds): 3.69
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 8:35.99
	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): 1044408
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 409573
	Voluntary context switches: 11145
	Involuntary context switches: 51197
	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