c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen080x080_04_4954/sas_plan results/queen080x080_04_4954/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 2471 3621 6377 505 5102 60 144 2954 1076 2693 1762 695 2235 2158 3576 1687 5290 5512 610 947 6081 4600 1475 4812 3426 3193 2362 1534 1412 5386 5154 219 2268 3860 1844 2800 2030 5227 6291 5693 1128 6046 1023 3029 4283 3471 819 3804 4909 3117 2868 378 1937 2608 6201 769 3686 3350 3944 2556 4518 4742 4178 4677 3265 4039 454 5925 1623 301 5615 4096 1233 4432 5771 5007 4365 5849 5599 t 3926 2608 4439 2556 4680 3860 1634 4909 508 144 1064 1967 4742 4283 6046 695 3690 1687 4042 3804 4105 5615 2868 5849 2158 5693 4997 2259 1023 2800 3029 454 6192 3426 4497 2954 3576 1236 3265 378 4812 1844 219 1475 2027 610 2693 4178 5771 3621 6285 3117 5223 4361 1762 2358 5512 5331 2471 2235 301 5386 3471 5102 3350 5153 1412 1123 1534 947 4590 6377 5599 3193 769 1296 808 6081 60 a YES a 1023 1076 1128 1233 1412 144 1475 1534 1623 1687 1762 1844 1937 2030 2158 219 2235 2268 2362 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4096 4178 4283 4365 4432 4518 454 4600 4677 4742 4812 4909 5007 505 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6201 6291 6377 695 769 819 947 a 1023 1076 1128 1233 1283 1412 144 1475 1534 1623 1687 1762 1844 1937 2030 2158 219 2235 2268 2362 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4096 4178 4283 4365 4432 4518 454 4600 4677 4742 4812 4909 5007 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6201 6291 6377 695 769 819 947 a 1023 1076 1128 1233 1283 1412 144 1475 1534 1623 1687 1762 1844 1937 2030 2158 219 2235 2362 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4096 4178 4283 4365 4432 4518 454 4600 4677 4742 4812 4909 5007 508 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6201 6291 6377 695 769 819 947 a 1023 1076 1128 1233 1283 1412 144 1475 1534 1623 1687 1762 1844 1937 2030 2158 219 2235 2362 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4096 4178 4283 4365 4432 4518 454 4600 4677 4742 4812 4909 5007 508 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6201 6291 6377 695 769 825 947 a 1023 1076 1128 1233 1283 1412 144 1475 1534 1623 1687 1762 1844 1937 2030 2158 219 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4096 4178 4283 4432 4518 454 4600 4677 4742 4812 4909 5007 508 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6201 6291 6377 695 769 825 947 a 1023 1076 1128 1233 1283 1412 144 1475 1534 1623 1687 1762 1844 1937 2030 2158 219 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4096 4178 4283 4432 4518 454 4600 4677 4742 4812 4909 5007 508 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6201 6285 6377 695 769 825 947 a 1023 1076 1128 1233 1283 1412 144 1475 1534 1623 1687 1762 1844 1937 2030 2158 219 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4096 4178 4283 4432 4518 454 4600 4677 4742 4812 4909 5007 508 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6285 6377 695 769 825 947 a 1023 1081 1128 1233 1283 1412 144 1475 1534 1623 1687 1762 1844 1937 2030 2158 219 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4096 4178 4283 4432 4518 454 4600 4677 4742 4812 4909 5007 508 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6285 6377 695 769 825 947 a 1023 1081 1128 1236 1283 1412 144 1475 1534 1623 1687 1762 1844 1937 2030 2158 219 2235 2259 2362 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4096 4178 4283 4432 4518 454 4600 4677 4742 4812 4909 5007 508 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6285 6377 695 769 825 947 a 1023 1081 1128 1236 1283 1412 144 1475 1534 1623 1687 1762 1844 1937 2030 2158 219 2235 2259 2362 2471 2556 2608 2693 273 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4096 4178 4283 4432 4518 454 4600 4677 4742 4812 4909 5007 508 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6285 6377 695 769 825 947 a 1023 1081 1128 1236 1283 1412 144 1475 1534 1623 1687 1762 1844 1937 2030 2158 219 2235 2259 2362 2471 2556 2608 2693 273 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4096 4178 4283 4461 4518 454 4600 4677 4742 4812 4909 5007 508 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6285 6377 695 769 825 947 a 1023 1081 1152 1236 1283 1412 144 1475 1534 1623 1687 1762 1844 1937 2030 2158 219 2235 2259 2362 2471 2556 2608 2693 273 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4096 4178 4283 4461 4518 454 4600 4677 4742 4812 4909 5007 508 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6285 6377 695 769 825 947 a 1023 1081 1152 1236 1283 1412 144 1475 1534 1623 1687 1762 1844 1928 2030 2158 219 2235 2259 2362 2471 2556 2608 2693 273 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4096 4178 4283 4461 4518 454 4600 4677 4742 4812 4909 5007 508 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6285 6377 695 769 825 947 a 1023 1081 1152 1236 1283 1412 144 1475 1534 1623 1687 1762 1844 1928 2017 2158 219 2235 2259 2362 2471 2556 2608 2693 273 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4096 4178 4283 4461 4518 454 4600 4677 4742 4812 4909 5007 508 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6285 6377 695 769 825 947 a 1023 1081 1152 1236 1283 1412 144 1475 1534 1623 1687 1762 1844 1928 2017 2158 219 2235 2259 2362 2471 2556 2608 2693 273 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4096 4178 4283 4461 4518 454 4590 4677 4742 4812 4909 5007 508 5102 5154 5227 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6285 6377 695 769 825 947 a 1023 1081 1152 1236 1283 1412 144 1475 1534 1623 1687 1762 1844 1928 2017 2158 219 2235 2259 2362 2471 2556 2608 2693 273 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4096 4178 4283 4330 4461 4518 454 4590 4677 4742 4812 4909 5007 508 5102 5154 5227 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6211 6285 6377 695 769 825 947 a 1023 1081 1152 1236 1283 1412 144 1475 1534 1623 1687 1762 1844 1928 2017 2158 219 2235 2259 2362 2471 2556 2608 2693 273 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4096 4178 4283 4330 4461 4518 454 4590 4677 4742 4812 4909 5007 508 5102 5154 5227 5340 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6285 6377 695 769 825 947 a 1023 1081 1152 1236 1283 1412 144 1475 1534 1687 1762 1844 1928 2017 2158 219 2235 2259 23 2362 2471 2556 2608 2693 273 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4096 4178 4283 4330 4461 4518 454 4590 4677 4742 4812 4909 5007 508 5102 5154 5227 5340 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6285 6377 695 769 825 947 a 1023 1081 1152 1236 1283 1412 144 1475 1534 1687 1762 1844 1928 2017 2158 219 2235 2259 23 2362 2471 2556 2608 2693 280 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4096 4178 4283 4330 4461 4518 454 4590 4677 4742 4812 4909 5007 508 5102 5154 5227 5340 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6285 6377 695 769 825 947 a 1023 1081 1152 1236 1283 1412 144 1475 1534 1687 1762 1844 1928 2017 2158 219 2235 2259 23 2362 2471 2556 2608 2693 280 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4096 4178 4283 4330 4461 4518 454 4590 4677 4742 4812 4909 5007 508 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6285 6377 695 769 825 947 a 1023 1081 1152 1236 1283 1412 144 1475 1534 1616 1687 1762 1844 1928 2017 2158 219 2235 2259 23 2362 2471 2556 2608 2693 280 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4178 4283 4330 4461 4518 454 4590 4677 4742 4812 4909 5007 508 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6211 6285 6377 695 769 825 947 a 1023 1081 1152 1236 1283 1412 144 1475 1534 1616 1687 1762 1844 1928 2017 2158 219 2235 2259 23 2362 2471 2556 2608 2693 280 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 3944 4039 4085 4178 4283 4330 4461 4518 454 4590 4677 4742 4812 4909 5007 508 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 6046 6081 610 6211 6285 6377 695 769 825 947 a 1023 1081 1152 1236 1283 1412 144 1475 1534 1616 1687 1762 1844 1928 2017 2158 219 2235 2259 23 2362 2471 2556 2608 2693 280 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3686 378 3804 3860 4039 4085 4178 4283 4330 4461 4518 454 4590 4677 4742 4812 4909 5007 508 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 610 6211 6285 6377 695 769 825 947 a 1023 1081 1152 1236 1283 1412 144 1475 1534 1616 1687 1762 1844 1928 2017 2158 219 2235 2259 23 2362 2471 2556 2608 2693 280 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 378 3804 3860 3926 4039 4085 4178 4283 4330 4461 4518 454 4590 4677 4742 4812 4909 5007 508 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 610 6211 6285 6377 695 769 825 947 a 1023 1081 1152 1236 1283 1412 144 1475 1534 1616 1687 1762 1844 1928 2017 2158 219 2235 2259 23 2362 2471 2556 2608 2693 274 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 378 3804 3860 3926 4039 4085 4178 4283 4330 4461 4518 454 4590 4677 4742 4812 4909 5007 508 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 610 6211 6285 6377 695 769 825 947 a 1023 1081 1152 1236 1283 1412 144 1475 1534 1616 1687 1762 1844 1928 2017 2158 219 2235 2259 23 2362 2471 2556 2608 2693 274 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 378 3804 3860 3926 4039 4085 4178 4283 4330 4461 4518 454 4590 4677 4742 4812 4909 5007 508 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 610 6211 6285 6377 695 769 840 947 a 1023 1081 1152 1236 1283 1412 144 1475 1534 1625 1687 1762 1844 1928 2017 2158 219 2235 2259 23 2362 2471 2556 2608 2693 274 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 378 3804 3860 3926 4039 4085 4178 4283 4330 4461 4518 454 4590 4677 4742 4812 4909 5007 508 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 610 6211 6285 6377 695 769 840 947 a 1023 1081 1152 1236 1283 1412 144 1475 1534 1625 1687 1762 1844 1928 2017 2158 219 2235 2259 23 2471 2556 2608 2693 274 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3926 4039 4085 4178 4283 4330 4461 4518 454 4590 4677 4742 4812 4909 5007 508 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 610 6211 6285 6377 695 769 840 947 a 1023 1081 1152 1236 1283 1412 144 1475 1534 1625 1687 1762 1844 1928 2017 2158 219 2235 2259 23 2358 2471 2556 2608 2693 274 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3926 4039 4085 4178 4283 4330 4461 454 4590 4677 4742 4812 4909 5007 508 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 610 6211 6285 6377 695 769 840 947 a 1023 1081 1152 1236 1283 1412 144 1475 1534 1625 1687 1762 1844 1928 2158 219 2235 2259 23 2358 2471 2556 2608 2693 274 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3926 4039 4085 4178 4283 4330 4461 4497 454 4590 4677 4742 4812 4909 5007 508 5102 5153 5227 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 610 6211 6285 6377 695 769 840 947 a 1023 1081 1152 1236 1283 1412 144 1475 1534 1625 1687 1762 1844 1928 2027 2158 219 2235 2259 23 2358 2471 2556 2608 2693 274 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3926 4039 4085 4178 4283 4330 4461 4497 454 4590 4677 4742 4812 4909 5007 508 5102 5153 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 610 6211 6285 6377 695 769 840 947 a 1023 1056 1152 1236 1283 1412 144 1475 1534 1625 1687 1762 1844 1928 2027 2158 219 2235 2259 23 2358 2471 2556 2608 2693 274 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3926 4039 4085 4178 4283 4330 4461 4497 454 4590 4677 4742 4812 4909 5007 508 5102 5153 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 610 6211 6285 6377 695 769 840 947 a 1023 1056 1152 1236 1283 1412 144 1475 1534 1625 1687 1762 1844 1928 2027 2158 219 2235 2259 23 2358 2471 2556 2608 2693 274 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3926 4039 4085 4178 4283 4330 4461 4497 454 4590 4681 4742 4812 4909 5007 508 5102 5153 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 610 6211 6285 6377 695 769 840 947 a 1023 1056 1152 1236 1283 1412 144 1475 1534 1625 1687 1762 1844 1928 2027 2158 219 2235 2259 23 2358 2471 2556 2608 2693 274 2800 2868 2954 3029 3117 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3926 4039 4085 4178 4283 4330 4461 4497 454 4590 4681 4742 4812 4909 5007 508 5102 5153 5273 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 610 6211 6285 6377 695 769 840 947 a 1023 1056 1152 1236 1283 1412 144 1475 1534 1625 1687 1762 1844 1928 2027 2158 219 2235 2259 23 2358 2471 2556 2608 2693 274 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3722 378 3804 3860 3926 4085 4178 4283 4330 4461 4497 454 4590 4681 4742 4812 4909 5007 508 5102 5153 5273 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 610 6211 6285 6377 695 769 840 947 a 1023 1056 1152 1236 1283 1412 144 1475 1534 1625 1687 1762 1844 1928 2027 2158 219 2235 2259 23 2358 2471 2556 2608 2693 274 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 378 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 454 4590 4681 4742 4812 4909 5007 508 5102 5153 5273 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 610 6211 6285 6377 695 769 840 947 a 1023 1056 1152 1236 1283 1412 144 1475 1534 1625 1687 1762 1844 1928 2027 2158 219 2235 2259 23 2358 2471 2556 2608 2693 274 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 378 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 454 4590 4681 4742 4812 4909 5007 508 5102 5153 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 610 6211 6285 6377 695 769 840 947 a 1023 1056 1152 1236 1283 1412 144 1475 1534 1625 1687 1762 1844 1928 2027 2158 219 2235 2259 23 2358 2471 2556 2608 2693 274 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 378 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 454 4590 4681 4742 4812 4909 508 5102 5153 5247 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 610 6211 6285 6377 695 769 840 947 a 1023 1056 1152 1236 1283 1412 144 1475 1534 1625 1687 1762 1844 1928 2027 2158 219 2235 2259 23 2358 2471 2556 2608 2693 279 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 378 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 454 4590 4681 4742 4812 4909 508 5102 5153 5247 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 610 6211 6285 6377 695 769 840 947 a 1023 1056 1152 1236 1283 1412 144 1475 1534 1634 1687 1762 1844 1928 2027 2158 219 2235 2259 23 2358 2471 2556 2608 2693 279 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 378 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 454 4590 4681 4742 4812 4909 508 5102 5153 5247 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 610 6211 6285 6377 695 769 840 947 a 1023 1056 1145 1236 1283 1412 144 1475 1534 1634 1687 1762 1844 1928 2027 2158 219 2235 2259 23 2358 2471 2556 2608 2693 279 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 378 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 454 4590 4681 4742 4812 4909 508 5102 5153 5247 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 610 6211 6285 6377 695 769 840 947 a 1023 1056 1145 1236 1283 1412 144 1475 1534 1634 1687 1762 1844 1928 2027 2158 219 2235 2259 23 2358 2471 2556 2608 2693 279 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 378 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 454 4590 4681 4742 4812 4909 508 5102 5153 5247 5340 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 610 6192 6285 6377 695 769 840 947 a 1023 1056 1145 1236 1283 1412 144 1475 1534 1634 1687 1762 1844 1928 2027 2158 219 2235 2259 23 2358 2471 2556 2608 2693 279 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 378 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 454 4590 4681 4742 4812 4909 508 5102 5153 5247 5331 5386 5512 5599 5615 5693 5771 5849 5944 6046 6081 610 6192 6285 6377 695 769 840 947 a 1023 1056 1145 1236 1283 1412 144 1475 1534 1634 1687 1762 1844 1928 2027 2158 219 2235 2259 2358 2471 2556 2608 2693 279 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 378 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 454 4590 4681 4742 4812 4909 508 5102 5153 5247 5331 5386 5512 5599 5615 5693 5771 5849 5944 60 6046 6081 610 6192 6285 6377 695 769 840 947 a 1023 1056 1145 1236 1283 1412 144 1475 1534 1634 1687 1762 1844 1928 2027 2158 219 2235 2259 2358 2471 2556 2608 2693 279 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 378 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 454 4590 4681 4742 4812 4909 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5944 60 6046 6081 610 6192 6285 6377 695 769 840 947 a 1023 1056 1145 1236 1283 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 2556 2608 2693 279 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 378 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 454 4590 4681 4742 4812 4909 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5944 60 6046 6081 610 6192 6285 6377 695 769 840 947 a 1023 1056 1145 1236 1283 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 248 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 378 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 454 4590 4681 4742 4812 4909 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5944 60 6046 6081 610 6192 6285 6377 695 769 840 947 a 1023 1056 1145 1236 1283 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 248 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 378 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 454 4590 4681 4742 4812 4909 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 60 6046 6081 610 6192 6285 6377 695 769 840 947 a 1023 1056 1145 1236 1304 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 248 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 378 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 454 4590 4681 4742 4812 4909 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 60 6046 6081 610 6192 6285 6377 695 769 840 947 a 1023 1056 1123 1236 1304 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 248 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 378 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 454 4590 4681 4742 4812 4909 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 60 6046 6081 610 6192 6285 6377 695 769 840 947 a 1023 1056 1123 1236 1304 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 248 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 378 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 454 4590 4681 4742 4812 4909 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 60 6046 6081 610 6192 6285 6377 695 769 825 947 a 1023 1056 1123 1236 1304 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 248 2556 2608 2693 2800 2868 2954 3029 3117 3157 3265 3350 3426 3471 3576 3621 3753 378 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 454 4590 4680 4742 4812 4909 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 60 6046 6081 610 6192 6285 6377 695 769 825 947 a 1023 1056 1123 1236 1304 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 248 2556 2608 2693 2800 2868 2954 3029 3117 3265 3350 3426 3471 3576 3621 3753 378 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 60 6046 6081 610 6192 6285 6377 695 769 825 947 a 1023 1056 1123 1236 1304 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 248 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 378 3804 3860 3926 4042 4085 4178 4283 4330 4461 4497 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 60 6046 6081 610 6192 6285 6377 695 769 825 947 a 1023 1056 1123 1236 1304 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 248 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 378 3804 3860 3926 4042 4085 4178 4283 4361 4461 4497 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 60 6046 6081 610 6192 6285 6377 695 769 825 947 a 1023 1056 1123 1236 1304 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 248 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3804 3860 3926 4042 4178 4283 4361 4461 4497 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 60 6046 6081 610 6192 6285 6377 695 769 825 947 a 1023 1056 1123 1236 1304 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 248 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3804 3860 3926 4042 4105 4178 4283 4361 4461 4497 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 60 6046 6081 610 6192 6285 6377 695 769 947 a 1023 1056 1123 1236 1304 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3804 3860 3926 4042 4105 4178 4283 4361 4461 4497 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 60 6046 6081 610 6192 6285 6377 695 769 808 947 a 1023 1056 1123 1236 1304 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3804 3860 3926 4042 4105 4178 4283 4361 4497 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5959 60 6046 6081 610 6192 6285 6377 695 769 808 947 a 1023 1056 1123 1236 1304 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3804 3860 3926 4042 4105 4178 4283 4361 4439 4497 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 60 6046 6081 610 6192 6285 6377 695 769 808 947 a 1023 1123 1236 1304 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3804 3860 3926 4042 4105 4178 4283 4361 4439 4497 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6192 6285 6377 695 769 808 947 a 1023 1064 1123 1236 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3804 3860 3926 4042 4105 4178 4283 4361 4439 4497 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6192 6285 6377 695 769 808 947 a 1023 1064 1123 1236 1296 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 2556 2608 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3804 3860 3926 4042 4105 4178 4283 4361 4439 4497 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 60 6046 6081 610 6192 6285 6377 695 769 808 947 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen080x080.col /BENCHMARKS/benchmark/queen/queen080x080_04_4954.dat" User time (seconds): 18.92 System time (seconds): 0.21 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:19.14 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): 275996 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 131391 Voluntary context switches: 111 Involuntary context switches: 1922 Swaps: 0 File system inputs: 0 File system outputs: 25408 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0