c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen030x030_03_7394/sas_plan results/queen030x030_03_7394/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 200 414 615 508 699 224 139 897 442 725 160 781 248 475 753 53 299 390 814 78 561 17 106 842 576 536 671 643 312 t 254 671 337 417 898 615 132 725 188 52 280 17 500 166 536 563 781 385 480 329 699 576 814 111 229 78 444 842 643 a YES 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 a 106 139 160 17 200 224 248 299 312 337 390 414 442 475 508 536 561 576 615 643 671 699 725 753 78 781 814 842 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 842 897 a 106 130 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 842 897 a 106 130 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 842 889 a 106 130 153 17 200 224 248 299 312 337 390 414 442 475 508 53 536 561 576 615 643 671 699 725 78 781 814 842 889 a 130 153 17 200 224 248 299 312 337 390 414 442 475 508 53 536 561 576 615 643 671 699 725 766 78 781 814 842 889 a 130 153 17 200 224 299 312 337 390 414 442 475 508 53 536 561 576 615 643 671 699 725 766 78 781 814 842 889 98 a 130 153 17 200 224 299 312 337 390 414 442 475 508 536 561 57 576 615 643 671 699 725 766 78 781 814 842 889 98 a 130 153 17 200 224 248 299 312 337 390 414 442 475 508 536 561 57 576 615 643 671 699 725 766 78 781 814 842 889 a 106 130 153 17 200 224 248 299 312 337 390 414 442 475 508 536 561 57 576 615 643 671 699 725 78 781 814 842 889 a 106 130 153 17 200 224 248 299 312 337 390 414 442 475 508 536 563 57 576 615 643 671 699 725 78 781 814 842 889 a 106 130 153 17 200 224 248 312 337 390 414 442 475 508 536 563 57 576 615 643 671 699 725 779 78 781 814 842 889 a 106 130 153 17 200 224 248 300 312 337 414 442 475 508 536 563 57 576 615 643 671 699 725 779 78 781 814 842 889 a 111 130 153 17 200 224 248 300 312 337 414 442 475 508 536 563 57 576 615 643 671 699 725 779 78 781 814 842 889 a 111 130 17 200 224 248 300 312 337 363 414 442 475 508 536 563 57 576 615 643 671 699 725 779 78 781 814 842 889 a 111 130 158 17 200 224 300 312 337 363 414 442 475 508 536 563 57 576 615 643 671 699 725 779 78 781 814 842 889 a 111 130 158 17 200 224 270 312 337 363 414 442 475 508 536 563 57 576 615 643 671 699 725 779 78 781 814 842 889 a 111 158 17 200 224 270 280 312 337 363 414 442 475 508 536 563 57 576 615 643 671 699 725 779 78 781 814 842 889 a 111 139 158 17 200 224 270 280 312 337 363 414 442 475 508 536 563 57 576 615 643 671 699 725 779 78 781 814 842 a 111 139 158 17 200 224 270 280 312 337 363 414 442 475 536 563 57 576 615 643 671 699 725 779 78 781 814 842 898 a 111 139 158 17 200 224 270 280 312 337 363 414 442 475 509 536 563 57 576 615 643 671 699 725 78 781 814 842 898 a 111 139 158 17 200 224 270 280 312 337 363 414 442 509 536 563 57 576 615 643 671 699 725 775 78 781 814 842 898 a 111 139 158 17 200 224 270 280 312 337 363 414 442 477 509 536 563 576 615 643 671 699 725 775 78 781 814 842 898 a 111 139 158 17 200 224 270 280 312 337 376 414 442 477 509 536 563 576 615 643 671 699 725 775 78 781 814 842 898 a 111 139 158 17 183 224 270 280 312 337 376 414 442 477 509 536 563 576 615 643 671 699 725 775 78 781 814 842 898 a 111 139 158 17 183 270 280 312 337 376 414 442 477 50 509 536 563 576 615 643 671 699 725 775 78 781 814 842 898 a 111 139 158 17 183 211 270 280 312 337 376 414 442 477 50 509 536 563 576 615 643 671 699 725 775 78 814 842 898 a 111 139 158 17 183 211 270 280 337 376 414 442 477 50 509 536 563 576 615 643 671 699 725 775 78 794 814 842 898 a 111 139 158 17 183 211 270 280 337 376 414 432 477 50 509 536 563 576 615 643 671 699 725 775 78 794 814 842 898 a 111 139 158 17 183 270 280 301 337 376 414 432 477 50 509 536 563 576 615 643 671 699 725 775 78 794 814 842 898 a 111 139 158 17 183 270 280 301 337 376 414 432 477 50 509 536 563 576 615 643 671 699 725 775 78 794 814 842 892 a 111 139 158 17 183 268 280 301 337 376 414 432 477 50 509 536 563 576 615 643 671 699 725 775 78 794 814 842 892 a 111 139 158 17 183 240 268 280 301 337 376 432 477 50 509 536 563 576 615 643 671 699 725 775 78 794 814 842 892 a 111 139 158 17 183 240 268 280 301 337 376 444 477 50 509 536 563 576 615 643 671 699 725 775 78 794 814 842 892 a 111 132 158 17 183 240 268 280 301 337 376 444 477 50 509 536 563 576 615 643 671 699 725 775 78 794 814 842 892 a 111 132 158 17 183 240 259 280 301 337 376 444 477 50 509 536 563 576 615 643 671 699 725 775 78 794 814 842 892 a 111 132 158 17 183 240 259 280 301 337 376 444 477 50 509 536 563 576 615 643 671 699 725 775 78 794 814 842 898 a 111 132 158 17 183 240 259 280 301 337 376 444 477 509 52 536 563 576 615 643 671 699 725 775 78 794 814 842 898 a 111 132 158 17 183 240 259 280 301 337 376 444 477 509 52 536 563 576 615 643 671 699 725 775 78 800 814 842 898 a 111 132 158 17 183 240 254 280 301 337 376 444 477 509 52 536 563 576 615 643 671 699 725 775 78 800 814 842 898 a 111 132 158 17 183 240 254 280 301 337 376 417 444 509 52 536 563 576 615 643 671 699 725 775 78 800 814 842 898 a 111 132 158 17 183 229 254 280 301 337 376 417 444 509 52 536 563 576 615 643 671 699 725 775 78 800 814 842 898 a 111 132 158 17 183 229 254 280 301 337 376 417 444 480 52 536 563 576 615 643 671 699 725 775 78 800 814 842 898 a 111 132 158 17 183 229 254 280 329 337 376 417 444 480 52 536 563 576 615 643 671 699 725 775 78 800 814 842 898 a 111 132 158 17 183 229 254 280 329 337 376 417 444 480 52 536 563 576 615 643 671 699 725 775 78 781 814 842 898 a 111 132 158 17 183 229 254 280 329 337 417 444 480 500 52 536 563 576 615 643 671 699 725 775 78 781 814 842 898 a 111 132 166 17 183 229 254 280 329 337 417 444 480 500 52 536 563 576 615 643 671 699 725 775 78 781 814 842 898 a 111 132 166 17 188 229 254 280 329 337 417 444 480 500 52 536 563 576 615 643 671 699 725 775 78 781 814 842 898 a 111 132 166 17 188 229 254 280 329 337 385 417 444 480 500 52 536 563 576 615 643 671 699 725 78 781 814 842 898 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen030x030.col /BENCHMARKS/benchmark/queen/queen030x030_03_7394.dat" User time (seconds): 0.78 System time (seconds): 0.03 Percent of CPU this job got: 100% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.82 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): 34916 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 18041 Voluntary context switches: 96 Involuntary context switches: 84 Swaps: 0 File system inputs: 0 File system outputs: 1424 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0