c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen200x200_01_0761/sas_plan results/queen200x200_01_0761/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 27316 4416 35168 36993 36229 39901 8317 35242 23753 24591 27915 19009 358 30260 8195 25584 39120 33463 22138 24613 19562 1532 14431 24880 21657 12887 16582 18576 32963 6926 7693 28492 4875 25064 12690 19760 23521 14844 17278 26310 6723 22929 17574 32369 6145 2412 39633 26707 26178 21350 38304 12488 38630 23136 1109 2306 22594 15002 12006 35435 15826 25356 16640 20570 3155 759 36065 3385 3589 25781 11491 5871 13779 33021 9177 5673 898 30190 1319 25851 27711 37996 16096 35614 34017 7512 29330 27118 15452 38805 20173 39528 34245 8500 19827 34567 9597 17749 34618 10410 11908 30476 161 4351 19239 9686 38411 7022 33253 9987 10001 8903 30848 11669 14113 35895 3986 36684 23849 31666 6525 12364 33838 22682 29467 13855 29754 2899 17988 15650 26905 33620 4146 29068 39337 28339 28141 16894 22335 6340 5085 34841 20365 7272 514 21548 14224 21992 28889 21152 1724 13131 37047 13404 18772 31428 24256 18371 2133 32127 8697 14634 3607 2683 37403 37383 26599 20643 11023 32446 18966 1975 23334 31261 27542 37800 24062 29832 32658 38144 5547 28677 31157 9380 31870 20859 15254 10322 36481 11219 30674 5343 10836 16225 7902 13279 17037 10615 18198 t 31261 35168 26905 20365 17988 37383 35242 2899 21992 7902 24256 25584 27316 25064 25851 1532 6926 24880 33463 37047 14431 6145 15826 12006 1975 26178 12887 2412 3589 36684 25356 3155 29330 17574 36481 8317 7272 32963 24062 15254 20643 38805 34017 13855 23753 9177 34567 20173 39901 21152 12690 19239 20859 29754 5673 10410 28492 35895 514 20570 23521 19009 22682 12488 1109 38304 28677 39120 16640 759 29832 34618 38411 33253 2306 17749 28889 18966 15002 8195 13279 27118 21548 11491 15452 1724 11669 5547 3986 36993 898 32127 12364 16096 2133 31428 21657 32446 36065 19760 30260 8903 26707 35435 36229 16582 14634 4351 3385 11023 35614 22335 38144 9987 24613 32658 17037 31666 37403 17278 33838 16894 6723 22929 6340 10001 24591 9597 23849 3607 4416 31979 22594 26599 27915 39633 18576 4608 14113 30848 15650 25781 29467 22138 37996 34245 6525 8697 29068 18198 30190 39528 14224 4875 11219 18371 7693 13604 27542 1319 10322 161 32369 2683 7022 18772 34841 37800 358 19827 5871 19562 9686 16225 30476 33021 11908 4146 23136 38630 10836 28339 30674 7512 14844 28141 13470 13131 5343 21350 5085 23334 26310 27711 39337 10615 31157 33620 8500 a YES a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13404 13779 13855 14113 14224 14431 14634 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19239 19562 1975 19760 19827 20173 20365 20570 20643 20859 21152 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 3155 31666 31870 32127 32369 32446 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34618 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36684 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 3986 39901 4146 4351 4416 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13779 13855 14113 14224 14431 14634 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19239 19562 1975 19760 19827 20173 20365 20570 20643 20859 21152 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 3155 31666 31870 32127 32369 32446 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34618 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36684 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13604 13855 14113 14224 14431 14634 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19239 19562 1975 19760 19827 20173 20365 20570 20643 20859 21152 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 3155 31666 31870 32127 32369 32446 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34618 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36684 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13855 14113 14224 14431 14634 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19239 19562 1975 19760 19827 20173 20365 20570 20643 20859 21152 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 3155 31666 32127 32369 32446 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34618 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36684 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9380 9597 9686 9987 a 10001 10322 10410 10615 10836 11023 1109 11219 11491 11669 11908 12006 12364 12488 12690 12887 13131 1319 13279 13470 13604 13855 14113 14224 14431 14634 14844 15002 15254 1532 15452 15650 15826 16096 161 16225 16582 16640 16894 17037 1724 17278 17574 17749 17988 18198 18371 18576 18772 18966 19009 19239 19562 1975 19760 19827 20173 20365 20570 20643 20859 21152 2133 21350 21548 21657 21992 22138 22335 22594 22682 22929 2306 23136 23334 23521 23753 23849 24062 2412 24256 24591 24613 24880 25064 25356 25584 25781 25851 26178 26310 26599 26707 2683 26905 27118 27316 27542 27711 27915 28141 28339 28492 28677 28889 2899 29068 29330 29467 29754 29832 30190 30260 30476 30674 30848 31157 31261 31428 3155 31666 31979 32127 32369 32446 32658 32963 33021 33253 33463 33620 33838 3385 34017 34245 34567 34618 34841 35168 35242 35435 35614 358 3589 35895 36065 3607 36229 36481 36684 36993 37047 37383 37403 37800 37996 38144 38304 38411 38630 38805 39120 39337 39528 39633 3986 39901 4146 4351 4416 4608 4875 5085 514 5343 5547 5673 5871 6145 6340 6525 6723 6926 7022 7272 7512 759 7693 7902 8195 8317 8500 8697 8903 898 9177 9597 9686 9987 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen200x200.col /BENCHMARKS/benchmark/queen/queen200x200_01_0761.dat" User time (seconds): 166.74 System time (seconds): 3.27 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 2:50.07 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): 4522736 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 1921553 Voluntary context switches: 68 Involuntary context switches: 16752 Swaps: 0 File system inputs: 0 File system outputs: 418832 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0