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_hm(use_orders=False, m=1)" --evaluator "hlm=lmcount(lmg, admissible=True, pref=false)" --search "eager(single(hlm),reopen_closed=False)" 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 162 18 197 229 254 277 310 357 389 413 448 480 504 536 561 576 615 643 671 699 725 753 781 814 82 842 895 a 106 128 162 18 197 229 254 277 310 357 389 413 448 480 504 536 561 576 615 643 671 699 725 753 781 814 82 842 890 a 106 128 162 18 197 254 277 310 357 389 413 448 480 504 536 55 561 576 615 643 671 699 725 753 781 814 82 842 890 a 106 162 18 197 218 254 277 310 357 389 413 448 480 504 536 55 561 576 615 643 671 699 725 753 781 814 82 842 890 a 106 126 162 18 197 218 254 277 310 357 389 413 448 480 504 536 55 561 615 643 671 699 725 753 781 814 82 842 890 a 106 126 162 197 218 254 277 310 357 389 413 448 480 504 536 55 561 588 615 643 671 699 725 753 781 814 82 842 890 a 106 12 126 197 218 254 277 310 357 389 413 448 480 504 536 55 561 588 615 643 671 699 725 753 781 814 82 842 890 a 106 12 126 197 218 254 277 310 357 389 413 448 480 504 536 55 561 588 615 643 671 699 725 753 781 814 82 842 889 a 106 12 126 170 197 218 254 277 310 357 389 413 448 504 536 55 561 588 615 643 671 699 725 753 781 814 82 842 889 a 106 12 126 170 197 218 254 277 310 357 389 413 448 504 536 55 561 588 615 643 671 720 725 753 781 814 82 842 889 a 106 12 126 170 197 218 254 277 310 357 389 413 448 459 504 536 55 561 588 615 643 671 720 725 753 781 814 842 889 a 106 12 126 170 197 218 254 310 357 389 413 448 459 504 536 55 561 588 615 643 67 671 720 725 753 781 814 842 889 a 106 12 126 170 197 218 254 310 357 389 413 448 459 504 536 55 561 588 615 643 67 671 720 725 753 781 814 842 892 a 106 12 126 170 197 218 254 277 310 357 389 413 448 459 504 536 55 561 588 615 643 671 720 725 753 781 814 842 892 a 106 12 126 170 197 218 254 277 310 357 389 413 448 459 504 536 55 561 588 615 643 671 725 753 781 814 842 892 90 a 106 12 126 170 197 218 254 277 310 389 413 448 459 504 536 55 561 588 615 643 671 717 725 753 781 814 842 892 90 a 106 12 126 170 197 218 254 310 337 389 413 448 459 504 536 55 561 588 615 643 671 717 725 753 781 814 842 892 90 a 106 12 126 170 197 218 254 299 310 337 413 448 459 504 536 55 561 588 615 643 671 717 725 753 781 814 842 892 90 a 106 12 126 170 197 218 254 299 310 337 413 448 459 504 536 55 561 588 615 643 671 717 725 753 781 79 814 842 892 a 106 12 126 170 197 218 254 299 310 337 390 413 459 504 536 55 561 588 615 643 671 717 725 753 781 79 814 842 892 a 106 12 126 170 197 218 254 299 310 337 390 413 422 459 504 536 55 561 588 615 643 671 717 725 753 781 79 814 892 a 106 12 126 170 197 218 254 299 337 390 413 422 459 504 536 55 561 588 615 643 671 717 725 753 781 79 814 868 892 a 106 12 126 170 197 218 254 299 307 390 413 422 459 504 536 55 561 588 615 643 671 717 725 753 781 79 814 868 892 a 106 12 126 170 197 218 254 299 307 339 390 413 422 504 536 55 561 588 615 643 671 717 725 753 781 79 814 868 892 a 106 12 126 170 197 218 254 299 307 339 390 413 430 504 536 55 561 588 615 643 671 717 725 753 781 79 814 868 892 a 106 12 126 170 197 218 254 299 307 339 390 413 430 482 536 55 561 588 615 643 671 717 725 753 781 79 814 868 892 a 106 12 126 170 197 218 264 299 307 339 390 413 430 482 536 55 561 588 615 643 671 717 725 753 781 79 814 868 892 a 106 126 14 170 197 218 264 299 307 339 390 413 430 482 536 55 561 588 615 643 671 717 725 753 781 79 814 868 892 a 106 126 14 170 197 218 264 299 307 339 390 413 430 482 536 55 561 588 615 643 671 717 725 753 781 79 814 852 892 a 106 126 14 170 197 218 264 299 307 339 390 413 430 508 536 55 561 588 615 643 671 717 725 753 781 79 814 852 892 a 106 126 14 170 197 218 264 299 307 339 390 413 430 508 536 55 561 588 615 643 671 717 725 753 781 79 814 842 892 a 106 132 14 170 197 218 264 299 307 339 390 413 430 508 536 55 561 588 615 643 671 717 725 753 781 79 814 842 892 a 106 132 14 170 197 218 264 299 307 339 36 390 413 430 508 536 561 588 615 643 671 717 725 753 781 79 814 842 892 a 106 132 14 170 197 218 264 299 307 339 36 390 430 475 508 536 561 588 615 643 671 717 725 753 781 79 814 842 892 a 106 132 14 170 197 218 264 299 307 339 36 390 430 475 508 536 561 588 615 643 671 717 725 753 781 79 814 842 893 a 106 132 170 197 218 22 264 299 307 339 36 390 430 475 508 536 561 588 615 643 671 717 725 753 781 79 814 842 893 a 106 132 170 197 218 22 264 299 307 339 36 390 391 430 475 508 536 561 588 615 643 671 717 725 753 79 814 842 893 a 106 132 170 197 218 22 264 299 307 339 36 390 391 430 475 508 536 561 588 615 643 671 717 725 753 799 814 842 893 a 106 132 170 197 22 224 264 299 307 339 36 390 391 430 475 508 536 561 588 615 643 671 717 725 753 799 814 842 893 a 106 132 197 22 224 264 299 307 339 36 390 391 430 475 508 536 561 588 615 643 671 68 717 725 753 799 814 842 893 a 106 132 200 22 224 264 299 307 339 36 390 391 430 475 508 536 561 588 615 643 671 68 717 725 753 799 814 842 893 a 106 132 157 200 22 224 264 299 339 36 390 391 430 475 508 536 561 588 615 643 671 68 717 725 753 799 814 842 893 a 106 132 157 17 200 224 264 299 339 36 390 391 430 475 508 536 561 588 615 643 671 68 717 725 753 799 814 842 893 a 106 132 157 17 200 224 264 299 339 390 391 430 475 508 52 536 561 588 615 643 671 68 717 725 753 799 814 842 893 a 106 132 157 17 200 224 264 299 339 390 391 430 475 508 52 536 561 576 615 643 671 68 717 725 753 799 814 842 893 a 106 132 157 17 200 224 264 299 301 339 390 430 475 508 52 536 561 576 615 643 671 68 717 725 753 799 814 842 893 a 106 132 157 17 200 224 299 301 339 390 414 430 475 508 52 536 561 576 615 643 671 68 717 725 753 799 814 842 893 a 106 132 17 200 224 247 299 301 339 390 414 430 475 508 52 536 561 576 615 643 671 68 717 725 753 799 814 842 893 a 106 132 17 177 200 224 247 299 301 339 390 414 430 475 508 52 536 561 576 615 643 671 68 725 753 799 814 842 893 a 106 132 17 177 200 224 247 299 301 339 390 414 430 475 508 52 536 561 576 615 643 671 68 713 725 753 799 814 842 a 106 132 17 177 200 224 247 299 301 339 390 414 430 475 508 52 536 561 576 615 643 671 68 713 725 753 814 842 889 a 106 132 17 177 200 224 247 299 339 390 414 430 475 508 52 536 561 576 615 643 671 68 713 725 753 781 814 842 889 a 106 17 177 200 224 247 299 312 339 390 414 430 475 508 52 536 561 576 615 643 671 68 713 725 753 781 814 842 889 a 106 128 17 177 200 224 247 299 312 339 390 414 430 475 508 52 536 561 576 615 643 671 713 725 753 781 814 842 889 a 106 128 17 177 200 224 247 299 312 390 414 430 475 508 52 536 561 576 615 643 671 713 725 753 78 781 814 842 889 a 106 128 17 177 200 224 247 299 312 39 390 414 430 475 508 536 561 576 615 643 671 713 725 753 78 781 814 842 889 a 106 128 17 177 200 224 247 299 312 39 390 414 430 475 508 536 561 576 615 643 671 713 725 753 78 781 814 842 892 a 106 139 17 177 200 224 247 299 312 39 390 414 430 475 508 536 561 576 615 643 671 713 725 753 78 781 814 842 892 a 106 139 17 177 200 224 247 299 312 335 39 390 414 430 475 508 536 561 576 615 643 671 713 753 78 781 814 842 892 a 106 139 17 200 224 247 299 312 335 39 390 414 430 475 508 536 561 576 615 643 671 713 728 753 78 781 814 842 892 a 106 139 17 200 224 247 299 312 335 39 390 414 430 475 508 536 561 576 615 643 671 713 728 753 78 781 814 842 897 a 106 139 159 17 200 224 247 299 312 335 390 414 430 475 508 536 561 576 615 643 671 713 728 753 78 781 814 842 897 a 106 139 159 17 200 224 247 299 312 335 390 414 442 475 508 536 561 576 615 643 671 713 728 753 78 781 814 842 897 a 106 139 159 17 200 224 299 312 335 37 390 414 442 475 508 536 561 576 615 643 671 713 728 753 78 781 814 842 897 a 106 139 160 17 200 224 299 312 335 37 390 414 442 475 508 536 561 576 615 643 671 713 728 753 78 781 814 842 897 a 106 139 160 17 200 224 245 299 312 37 390 414 442 475 508 536 561 576 615 643 671 713 728 753 78 781 814 842 897 a 106 139 160 17 200 224 245 299 312 337 390 414 442 475 508 536 561 576 615 643 671 713 728 753 78 781 814 842 897 a 106 139 160 17 200 224 245 299 312 337 390 414 442 475 508 53 536 561 576 615 643 671 728 753 78 781 814 842 897 a 106 139 160 17 200 224 245 299 312 337 390 414 442 475 508 53 536 561 576 615 643 671 699 753 78 781 814 842 897 a 106 139 160 17 200 224 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 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): 0.95 System time (seconds): 0.05 Percent of CPU this job got: 100% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.00 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): 35028 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 18113 Voluntary context switches: 108 Involuntary context switches: 101 Swaps: 0 File system inputs: 0 File system outputs: 1440 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0