c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/queen/queen080x080.col /BENCHMARKS/benchmark/queen/queen080x080_01_0297.dat c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen080x080_01_0297/sas_plan results/queen080x080_01_0297/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)" c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen080x080_01_0297/sas_plan results/queen080x080_01_0297/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 6377 3350 4909 4178 3686 3621 1687 2344 1147 819 1942 3265 4096 3576 6201 5599 1634 1454 6081 2608 3471 4592 6291 219 769 2235 2868 2556 378 1208 3193 4497 1075 2030 144 3029 3958 610 5693 5615 5925 1762 5771 5512 947 2471 5849 4812 2693 1412 5386 3804 5007 3860 301 1844 4365 2158 5102 2954 2800 4756 4283 4439 1283 454 1545 5153 4042 1023 3117 3426 517 5290 60 4680 6046 2268 5223 t 6211 1208 2800 5386 2471 6293 5771 947 60 3471 2268 5849 1147 695 610 1844 5102 3926 5290 4518 4115 3621 3117 4812 2954 2868 219 3722 1687 1614 3804 3350 5512 5615 517 4909 3193 3265 4663 6081 4365 2017 1762 2235 2556 4178 2344 769 4590 3029 144 1283 1023 6046 819 1942 4283 301 3426 5693 378 2608 1545 2680 1473 1412 4039 4416 3576 5232 1081 4756 5007 6377 454 5925 2158 5154 5599 a YES a 1023 1075 1147 1208 1283 1412 144 1454 1545 1634 1687 1762 1844 1942 2030 2158 219 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 454 4592 4680 4756 4812 4909 5007 5102 5153 517 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6201 6291 6377 769 819 947 a 1023 1147 1208 1283 1412 144 1454 1545 1634 1687 1762 1844 1942 2030 2158 219 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 454 4592 4680 4756 4812 4909 5007 5102 5153 517 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6201 6291 6377 695 769 819 947 a 1023 1075 1147 1208 1283 1412 144 1545 1634 1687 1762 1844 1942 2030 2158 219 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 454 4592 4680 4756 4812 4909 5007 5102 5153 517 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6201 6291 6377 695 769 819 947 a 1023 1075 1147 1208 1283 1412 144 1545 1614 1687 1762 1844 1942 2030 2158 219 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 454 4592 4680 4756 4812 4909 5007 5102 5153 517 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6201 6291 6377 695 769 819 947 a 1023 1075 1147 1208 1283 1412 144 1473 1545 1614 1687 1762 1844 1942 2030 2158 219 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 454 4592 4680 4756 4812 4909 5007 5102 517 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6201 6291 6377 695 769 819 947 a 1023 1075 1147 1208 1283 1412 144 1473 1545 1614 1687 1762 1844 1942 2030 2158 219 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 454 4592 4756 4812 4909 5007 5102 5154 517 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6201 6291 6377 695 769 819 947 a 1023 1075 1147 1208 1283 1412 144 1473 1545 1614 1687 1762 1844 1942 2030 2158 219 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 454 4592 4756 4812 4909 5007 5102 5154 517 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6200 6291 6377 695 769 819 947 a 1023 1081 1147 1208 1283 1412 144 1473 1545 1614 1687 1762 1844 1942 2030 2158 219 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 454 4592 4756 4812 4909 5007 5102 5154 517 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6200 6291 6377 695 769 819 947 a 1023 1081 1147 1208 1283 1412 144 1473 1545 1614 1687 1762 1844 1942 2030 2158 219 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 454 4592 4756 4812 4909 5007 5102 5154 517 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6200 6275 6377 695 769 819 947 a 1023 1081 1147 1208 1283 1412 144 1473 1545 1614 1687 1762 1844 1942 2030 2158 219 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 454 4592 4756 4812 4909 5007 5102 5154 517 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 1208 1283 1412 144 1473 1545 1614 1687 1762 1844 1942 2030 2158 219 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 454 4600 4756 4812 4909 5007 5102 5154 517 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 1208 1283 1412 144 1473 1545 1614 1687 1762 1844 1942 2030 2158 219 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3958 4042 4096 4178 4283 4365 4439 4497 454 4600 4700 4756 4812 4909 5007 5102 5154 517 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 1208 1283 1412 144 1473 1545 1614 1687 17 1762 1844 1942 2030 2158 219 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3958 4042 4096 4178 4283 4365 4439 454 4600 4700 4756 4812 4909 5007 5102 5154 517 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 1208 1283 1412 144 1473 1545 1614 1687 17 1762 1844 1942 2030 2158 219 2235 2268 2344 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3958 4042 4096 4178 4283 4365 4439 454 4592 4700 4756 4812 4909 5007 5102 5154 517 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 1208 1283 1412 144 1473 1545 1614 1687 17 1762 1844 1942 2030 2158 219 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3958 4042 4096 4178 4283 4365 4439 454 4592 4700 4756 4812 4909 5007 5102 5154 517 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 1208 1283 1412 1473 1545 1614 1687 17 1762 1844 1942 2030 2158 219 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3958 4042 4096 4178 4283 4365 4439 454 4544 4592 4700 4756 4812 4909 5007 5102 5154 517 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 17 1762 1844 1942 2030 2158 219 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 4042 4096 4178 4283 4365 4439 454 4544 4592 4700 4756 4812 4909 5007 5102 5154 517 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 17 1762 1844 1942 2030 2158 219 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3936 4042 4178 4283 4365 4439 454 4544 4592 4700 4756 4812 4909 5007 5102 5154 517 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 17 1762 1844 1942 2158 219 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3936 4042 4110 4178 4283 4365 4439 454 4544 4592 4700 4756 4812 4909 5007 5102 5154 517 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 17 1762 1844 1942 2061 2158 219 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3936 4042 4110 4178 4283 4365 4439 454 4544 4592 4700 4756 4812 4909 5007 5102 5154 517 5223 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 17 1762 1844 1942 2061 2158 219 2235 2268 2344 2471 2556 2608 263 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3936 4042 4110 4178 4283 4365 4439 454 4544 4592 4700 4756 4812 4909 5007 5102 5154 517 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 17 1762 1844 1942 2061 2158 219 2235 2268 2344 2471 2556 2608 263 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 378 3804 3860 3936 4042 4110 4178 4283 4365 4439 454 4544 4592 4700 4756 4812 4909 5007 5102 5154 517 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 17 1762 1844 1942 2061 2158 219 2235 2268 2344 2471 2556 2608 263 2680 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3936 4110 4178 4283 4365 4439 454 4544 4592 4700 4756 4812 4909 5007 5102 5154 517 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 17 1762 1844 1942 2061 2158 219 2235 2268 2344 2471 2556 2608 263 2680 2773 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3936 4110 4178 4283 4365 4439 454 4544 4592 4700 4756 4812 4909 5007 5102 5154 517 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 17 1762 1844 1942 2061 2158 219 2235 2268 2344 2471 2556 2608 263 2680 2773 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3936 4080 4110 4178 4283 4365 454 4544 4592 4700 4756 4812 4909 5007 5102 5154 517 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2061 2158 219 2235 2268 2344 2471 2556 2608 263 2680 2773 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3936 4080 4110 4178 4283 4365 4439 454 4544 4592 4700 4756 4812 4909 5007 5102 5154 517 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 263 2680 2773 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3936 4080 4110 4178 4283 4365 4439 454 4544 4592 4700 4756 4812 4909 5007 5102 5154 517 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 2680 2773 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3936 4080 4110 4178 4283 4365 4439 454 4544 4592 4700 4756 4812 4909 5007 5102 5154 517 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 2680 2773 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3936 4080 4110 4178 4283 4365 4439 454 4544 4592 4756 4812 4909 5007 5102 5154 517 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 2680 2773 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3936 4080 4178 4283 4365 4439 454 4544 4592 4663 4756 4812 4909 5007 5102 5154 517 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 2680 270 2773 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3936 4080 4178 4283 4365 4439 454 4544 4592 4663 4756 4812 4909 5007 5102 5154 517 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6275 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 2680 270 2773 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3936 4080 4178 4283 4365 4439 454 4544 4592 4663 4756 4812 4909 5007 5102 5154 517 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6301 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 2680 270 2773 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3936 4080 4115 4178 4283 4365 454 4544 4592 4663 4756 4812 4909 5007 5102 5154 517 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6301 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 2680 270 2773 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3936 4080 4115 4178 4283 4365 454 4544 4592 4663 4756 4812 4909 5007 5102 5154 517 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6279 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 2680 2773 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3936 4080 4115 4178 4283 4365 454 4544 4592 4663 4756 4812 4909 5007 5102 5154 517 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6279 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 2680 2773 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3936 4080 4115 4178 4283 4365 4437 454 4544 4592 4663 4756 4812 4909 5007 5102 5154 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6279 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 2680 2773 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3936 4080 4115 4178 4283 4365 4437 454 4544 4663 4756 4812 4909 5007 5102 512 5154 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6279 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 2680 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3936 4080 4115 4178 4283 4365 4437 454 4544 4590 4663 4756 4812 4909 5007 5102 512 5154 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6279 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3936 4115 4178 4283 4365 4437 454 4544 4590 4663 4756 4812 4909 5007 5102 512 5154 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6279 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3936 4039 4115 4178 4283 4365 4437 454 4544 4590 4663 4756 4812 4909 5007 5102 512 5154 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6377 695 769 819 947 a 1023 1081 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3936 4039 4115 4178 4283 4365 4437 454 4544 4590 4663 4756 4812 4909 5007 5102 512 5154 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6293 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 4039 4115 4178 4283 4365 4437 454 4544 4590 4663 4756 4812 4909 5007 5102 512 5154 5206 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6293 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3926 4039 4115 4178 4283 4365 4437 454 4544 4590 4663 4756 4812 4909 5007 5102 512 5154 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6293 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3926 4039 4115 4178 4283 4365 4437 454 4544 4590 4663 4756 4812 4909 5007 5102 5154 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6293 6377 695 769 819 947 a 1023 1081 1147 118 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3926 4039 4115 4178 4283 4365 4416 454 4544 4590 4663 4756 4812 4909 5007 5102 5154 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6293 6377 695 769 819 947 a 1023 1081 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3926 4039 4115 4178 4283 4365 4416 454 4544 4590 4663 4756 4812 4909 5007 5102 5154 517 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6293 6377 695 769 819 947 a 1023 1081 1147 1208 1283 1412 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3926 4039 4115 4178 4283 4365 4416 4518 454 4590 4663 4756 4812 4909 5007 5102 5154 517 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6293 6377 695 769 819 947 a 1023 1081 1147 1208 1283 1412 144 1473 1545 1614 1687 1762 1844 1942 2017 2158 219 2235 2268 2344 2471 2556 2608 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3926 4039 4115 4178 4283 4365 4416 4518 454 4590 4663 4756 4812 4909 5007 5102 5154 517 5232 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6293 6377 695 769 819 947 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen080x080.col /BENCHMARKS/benchmark/queen/queen080x080_01_0297.dat" User time (seconds): 32.23 System time (seconds): 0.68 Percent of CPU this job got: 0% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:10:58 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): 276140 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 194225 Voluntary context switches: 367 Involuntary context switches: 5781 Swaps: 0 File system inputs: 0 File system outputs: 25376 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0