c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen100x100_02_1699/sas_plan results/queen100x100_02_1699/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 176 3133 7941 3330 5289 7017 7682 8031 4785 4991 5437 8129 4074 938 864 2832 3747 9704 3990 2696 1262 6253 6499 9405 5728 5570 4592 4286 548 1349 3514 278 6063 4193 477 5866 9958 1143 724 7767 6561 9309 9015 4400 1065 3694 7597 8227 4888 7473 1940 8719 1568 9113 1735 2342 5360 8410 6323 4687 2536 5626 6655 6820 2444 9802 7871 1459 3412 6156 2739 375 8325 1872 9211 8906 9503 8808 652 6969 79 8607 8522 6751 3854 3280 2134 7298 9601 2916 4483 5184 1621 7195 2245 5081 7346 3018 2050
t 7682 4785 6751 1459 9309 5184 7841 9601 7767 8410 6655 7446 2739 9958 4592 2245 2536 938 7597 8325 4991 6253 652 1568 8906 5626 7398 5728 9113 5957 2916 3412 4286 4193 3514 2050 7017 8719 3133 375 3330 8522 9211 3280 3694 3747 1621 5570 9704 5081 8129 2444 864 8031 6323 6969 6063 8808 1872 548 2696 1065 7273 3854 7971 7195 6561 4888 1262 1940 8227 6820 5360 1735 4074 9503 5866 477 9802 1143 5437 724 6499 3018 2342 6156 5289 2832 79 4400 4687 278 3990 2134 9405 176 8607 4483 9015
a YES
a 1065 1143 1262 1349 1459 1568 1621 1735 176 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3854 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 6063 6156 6253 6323 6499 652 6561 6655 6751 6820 6969 7017 7195 724 7298 7346 7473 7597 7682 7767 7871 79 7941 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 9309 938 9405 9503 9601 9704 9802 9958
a 1065 1143 1262 1349 1459 1568 1621 1735 176 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3854 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 652 6561 6655 6751 6820 6969 7017 7195 724 7346 7473 7597 7682 7767 7871 79 7941 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 9309 938 9405 9503 9601 9704 9802 9958
a 1065 1143 1262 1349 1459 1568 1621 1735 176 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3854 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 652 6561 6655 6751 6820 6969 7017 7195 724 7398 7473 7597 7682 7767 7871 79 7941 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 9309 938 9405 9503 9601 9704 9802 9958
a 1065 1143 1262 1349 1459 1568 1621 1735 176 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3854 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 652 6561 6655 6751 6820 6969 7017 7195 724 7273 7398 7597 7682 7767 7871 79 7941 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 9309 938 9405 9503 9601 9704 9802 9958
a 1065 1143 1262 1349 1459 1568 1621 1735 176 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3854 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 652 6561 6655 6751 6820 6969 7017 7195 724 7273 7398 7446 7597 7682 7767 7871 79 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 9309 938 9405 9503 9601 9704 9802 9958
a 1065 1143 1262 1349 1459 1568 1621 1735 176 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3854 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 652 6561 6655 6751 6820 6969 7017 7195 724 7273 7398 7446 7597 7682 7767 7841 79 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 9309 938 9405 9503 9601 9704 9802 9958
a 1065 1143 1262 1459 1568 1621 1735 176 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 278 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 375 3854 3990 4074 4193 4286 4400 4483 4592 4687 477 4785 4888 4991 5081 5184 5289 5360 5437 548 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 652 6561 6655 6751 6820 6969 7017 7195 724 7273 7398 7446 7597 7682 7767 7841 79 7971 8031 8129 8227 8325 8410 8522 8607 864 8719 8808 8906 9015 9113 9211 9309 938 9405 9503 9601 9704 9802 9958
	Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen100x100.col /BENCHMARKS/benchmark/queen/queen100x100_02_1699.dat"
	User time (seconds): 17.71
	System time (seconds): 0.57
	Percent of CPU this job got: 99%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:18.29
	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): 703956
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 289145
	Voluntary context switches: 73
	Involuntary context switches: 1805
	Swaps: 0
	File system inputs: 0
	File system outputs: 48888
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0