c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/queen/queen080x080.col /BENCHMARKS/benchmark/queen/queen080x080_03_0355.dat c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen080x080_03_0355/sas_plan results/queen080x080_03_0355/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_03_0355/sas_plan results/queen080x080_03_0355/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 2800 5849 2028 5512 1687 695 4437 5102 3029 6081 610 2158 4515 3926 6201 2556 4987 2235 2954 144 2284 454 60 301 4691 5771 5693 5925 2471 1318 2334 3860 3576 3265 1123 808 219 3426 4756 4365 3799 4909 1233 1762 3350 3722 6023 4126 2680 5386 3117 1064 5615 2579 4178 4283 1545 4017 3471 2868 947 5136 769 512 6377 3193 4834 1844 1023 378 3621 1622 6293 5599 1412 5248 4590 1967 5290 t 6377 808 1762 769 1687 6046 3690 5599 1475 5849 378 4680 4590 2800 3804 5153 4283 3350 2608 2693 5925 301 4042 2868 4742 144 2027 1967 5331 695 1023 5223 6081 3265 219 2471 6285 1296 1534 3576 4997 2259 3029 454 3193 508 1064 5386 5512 4909 2556 4361 1412 4439 1634 3426 3117 5102 4812 5615 610 3471 3621 2954 4105 4178 5771 2235 947 1844 1236 1123 4497 5693 2158 3860 3926 6192 60 a YES a 1023 1064 1123 1233 1318 1412 144 1545 1622 1687 1762 1844 1967 2028 2158 219 2235 2284 2334 2471 2556 2579 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4017 4126 4178 4283 4365 4437 4515 454 4590 4691 4756 4834 4909 4987 5102 512 5136 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1233 1318 1412 144 1452 1545 1622 1687 1762 1844 1967 2028 2158 219 2235 2284 2334 2471 2556 2579 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4017 4126 4178 4283 4365 4437 4515 454 4590 4691 4756 4834 4909 4987 5102 5136 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1232 1318 1412 144 1452 1545 1622 1687 1762 1844 1967 2028 2158 219 2235 2284 2334 2471 2556 2579 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4017 4126 4178 4283 4365 4437 4515 454 4590 4691 4756 4834 4909 4987 5102 5136 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1232 1412 144 1452 1545 1622 1687 1762 1844 1967 2028 2158 219 2235 2284 2334 2471 2556 2579 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4017 4126 4178 4283 4365 4437 4515 454 4590 4691 4756 4834 4909 4987 5102 513 5136 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1232 1296 1412 144 1452 1545 1622 1687 1762 1844 1967 2028 2158 219 2235 2284 2334 2471 2556 2579 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4017 4126 4178 4283 4365 4437 4515 454 4590 4691 4756 4834 4909 4987 5102 513 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1232 1296 1412 144 1452 1545 1622 1687 1762 1844 1967 2028 2158 219 2235 2284 2334 2471 2556 2579 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4437 4515 454 4590 4691 4756 4834 4909 4987 5102 513 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1232 1296 1412 144 1452 1545 1622 1687 1762 1844 1967 2028 2158 219 2235 2284 2358 2471 2556 2579 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4437 4515 454 4590 4691 4756 4834 4909 4987 5102 513 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1232 1296 1412 144 1452 1545 1622 1687 1762 1844 1967 2028 2158 219 2235 2284 2358 2471 2556 2579 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4437 4515 454 4590 4691 4756 4834 4909 494 4987 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1232 1296 1412 144 1452 1553 1622 1687 1762 1844 1967 2028 2158 219 2235 2284 2358 2471 2556 2579 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4437 4515 454 4590 4691 4756 4834 4909 494 4987 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1232 1296 1412 144 1452 1553 1622 1687 1762 1844 1967 2028 2158 219 2235 2284 2358 2471 2556 2579 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4425 4515 454 4590 4691 4756 4834 4909 494 4987 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1232 1296 1412 144 1452 1553 1622 1687 1762 1844 1967 2028 2158 219 2235 2284 2358 2471 2556 2579 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4425 4515 454 4590 4691 4756 4834 4909 4987 5102 5137 517 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1232 1296 1412 144 1452 1553 1622 1687 1762 1844 1967 2028 2158 219 2235 2284 2358 2471 2556 2574 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4425 4515 454 4590 4691 4756 4834 4909 4987 5102 5137 517 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1232 1296 1412 144 1452 1553 1622 1687 1762 1844 1967 2028 2158 219 2235 2284 2358 2471 2556 2574 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4425 4515 454 4590 4691 4756 4834 4909 4987 499 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1232 1296 1412 144 1452 1557 1622 1687 1762 1844 1967 2028 2158 219 2235 2284 2358 2471 2556 2574 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4425 4515 454 4590 4691 4756 4834 4909 4987 499 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1232 1296 1412 144 1473 1557 1622 1687 1762 1844 1967 2028 2158 219 2235 2284 2358 2471 2556 2574 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4425 4515 454 4590 4691 4756 4834 4909 4987 499 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1232 1296 1412 144 1473 1557 1622 1687 1762 1844 1967 2028 2158 219 2235 2252 2358 2471 2556 2574 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4425 4515 454 4590 4691 4756 4834 4909 4987 499 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1232 1296 1412 144 1473 1557 1622 1687 1762 1844 1967 2028 2158 219 2235 2252 2358 2471 2556 2574 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4044 4126 4178 4283 4365 4425 4515 454 4590 4691 4756 4909 4987 499 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1232 1296 1412 144 1473 1557 1634 1687 1762 1844 1967 2028 2158 219 2235 2252 2358 2471 2556 2574 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4044 4126 4178 4283 4365 4425 4515 454 4590 4691 4756 4909 4987 499 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1232 1296 1412 144 1473 1557 1634 1687 1762 1844 1967 2028 2158 219 2235 2358 2471 2556 2574 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4044 4126 4178 4283 4365 4425 4515 454 4590 4691 4756 4812 4909 4987 499 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1232 1296 1412 144 1473 1557 1634 1687 1762 1844 1967 2028 2158 219 2235 2262 2358 2471 2556 2574 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4425 4515 454 4590 4691 4756 4812 4909 4987 499 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1232 1296 1412 144 1473 1557 1634 1687 1762 1844 1967 2028 2158 219 2235 2262 2358 2471 2556 2574 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4425 4515 454 4590 4691 4756 4812 4909 4987 499 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6044 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1232 1296 1412 144 1463 1557 1634 1687 1762 1844 1967 2028 2158 219 2235 2262 2358 2471 2556 2574 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4425 4515 454 4590 4691 4756 4812 4909 4987 499 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6044 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1232 1296 1412 144 1463 1557 1634 1687 1762 1844 1967 2028 2158 219 2235 2262 2358 2471 2556 2574 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4425 4515 454 4590 4691 4753 4812 4909 4987 499 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6044 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 1123 1236 1296 1412 144 1463 1557 1634 1687 1762 1844 1967 2028 2158 219 2235 2262 2358 2471 2556 2574 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4425 4515 454 4590 4691 4753 4812 4909 4987 499 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6044 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 112 1123 1236 1296 1412 1463 1557 1634 1687 1762 1844 1967 2028 2158 219 2235 2262 2358 2471 2556 2574 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4425 4515 454 4590 4691 4753 4812 4909 4987 499 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6044 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 112 1123 1236 1296 1412 1463 1557 1634 1687 1762 1844 1967 2028 2158 219 2235 2262 2358 2471 2556 2574 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4425 4515 454 4590 4704 4753 4812 4909 4987 499 5102 5137 5248 5290 5386 5512 5599 5615 5693 5771 5849 5925 60 6044 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 112 1123 1236 1296 1412 1463 1557 1634 1687 1762 1844 1967 2028 2158 219 2235 2262 2358 2471 2556 2574 2680 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4425 4515 454 4590 4704 4753 4812 4909 4987 499 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6044 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 112 1123 1236 1296 1412 1463 1557 1634 1687 1762 1844 1967 2028 2158 219 2235 2262 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4425 4515 454 4590 4704 4753 4812 4909 4987 499 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6044 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 112 1123 1236 1296 1412 1463 1557 1634 1687 1762 1844 1967 2040 2158 219 2235 2262 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4425 4515 454 4590 4704 4753 4812 4909 4987 499 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6044 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 112 1123 1236 1296 1412 1463 1557 1634 1687 1762 1844 1967 2040 2158 219 2235 2262 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4425 4515 454 4590 4704 4753 4812 4909 4987 508 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6044 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 112 1123 1236 1296 1412 1463 1557 1634 1687 1762 1844 1967 2040 2158 219 2235 2262 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4126 4178 4283 4365 4425 4515 454 4590 4704 4753 4812 4909 4987 508 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6019 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 112 1123 1236 1296 1412 1463 1557 1634 1687 1762 1844 1967 2040 2158 219 2235 2262 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4124 4178 4283 4365 4425 4515 454 4590 4704 4753 4812 4909 4987 508 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6019 6081 610 6201 6293 6377 695 769 808 947 a 1023 1064 112 1123 1236 1296 1412 1463 1557 1634 1687 1762 1844 1967 2040 2158 219 2235 2262 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4124 4178 4283 4365 4425 4515 454 4590 4704 4753 4812 4909 4987 508 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6019 6081 610 6206 6293 6377 695 769 808 947 a 1023 1064 112 1123 1236 1296 1412 1463 1557 1634 1687 1762 1844 1967 2040 2158 219 2235 2262 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4124 4178 4283 4365 4425 4515 454 4590 4704 4753 4812 4909 4987 508 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6019 6081 610 6206 6281 6377 695 769 808 947 a 1023 1064 112 1123 1236 1296 1412 1463 1557 1634 1687 1762 1844 1967 2040 2158 219 2235 2262 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4124 4178 4283 4365 4425 4533 454 4590 4704 4753 4812 4909 4987 508 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6019 6081 610 6206 6281 6377 695 769 808 947 a 1023 1064 112 1123 1236 1296 1412 1475 1557 1634 1687 1762 1844 1967 2040 2158 219 2235 2262 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4124 4178 4283 4365 4425 4533 454 4590 4704 4753 4812 4909 4987 508 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6019 6081 610 6206 6281 6377 695 769 808 947 a 1023 1064 112 1123 1236 1296 1412 1475 1557 1634 1687 1762 1844 1967 2040 2158 219 2235 2262 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4124 4178 4283 4365 4425 4533 454 4590 4704 4753 4812 4909 4987 508 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6206 6281 6377 695 769 808 947 a 1023 1064 112 1123 1236 1296 1412 1475 1557 1634 1687 1762 1844 1967 2040 2158 219 2235 2262 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4124 4178 4283 4365 4425 4533 454 4590 4704 4753 4812 4909 4987 508 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6206 6259 6377 695 769 808 947 a 1023 1064 112 1123 1236 1296 1412 1475 1557 1634 1687 1762 1844 1967 2040 2158 219 2235 2262 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4041 4124 4178 4283 4425 4533 454 4590 4704 4753 4812 4909 4987 508 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6206 6259 6377 695 769 808 947 a 1023 1064 112 1123 1236 1296 1412 1475 1557 1634 1687 1762 1844 1967 2040 2158 219 2235 2262 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4041 4124 4178 4283 4387 4425 4533 454 4590 4704 4753 4812 4909 4987 508 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6206 6259 6377 695 769 808 a 1023 1064 112 1123 1236 1296 1412 1475 1557 1634 1687 1762 1844 1967 2040 2158 219 2235 2262 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4041 4124 4178 4283 4387 4425 4533 454 4590 4704 4753 4812 4909 508 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6206 6259 6377 695 769 808 907 a 1023 1064 112 1123 1236 1296 1412 1475 1634 1687 1762 1844 1967 2040 2158 219 2235 2262 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4041 4124 4178 4283 4387 4425 4533 454 4590 4704 4753 4812 4909 4997 508 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6206 6259 6377 695 769 808 907 a 1023 1064 112 1123 1236 1296 1412 1475 1542 1634 1687 1762 1844 1967 2040 2158 219 2235 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4041 4124 4178 4283 4387 4425 4533 454 4590 4704 4753 4812 4909 4997 508 5102 5137 5248 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6206 6259 6377 695 769 808 907 a 1023 1064 112 1123 1236 1296 1412 1475 1542 1634 1687 1762 1844 1967 2040 2158 219 2235 2288 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4041 4124 4178 4283 4387 4425 4533 454 4590 4704 4753 4812 4909 4997 508 5102 5137 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6206 6259 6377 695 769 808 907 a 1023 1064 112 1123 1236 1296 1412 1475 1542 1634 1687 1762 1844 1967 2040 2158 219 2235 2288 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4041 4124 4178 4283 4425 4533 454 4590 4704 4753 4812 4909 4997 508 5102 5137 5267 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6206 6259 6377 695 769 808 907 a 1023 1064 112 1123 1236 1296 1412 1475 1542 1634 1687 1762 1844 1967 2040 2158 219 2235 2288 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4041 4124 4178 4283 4339 4425 4533 454 4590 4704 4753 4812 4909 4997 508 5102 5137 5267 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6206 6377 695 769 808 907 a 1023 1064 112 1123 1236 1296 1412 1475 1542 1634 1687 1762 1844 1967 2040 2158 219 2235 2288 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3799 3860 3926 4041 4124 4178 4283 4339 4425 4533 454 4590 4704 4753 4812 4909 4997 508 5102 5137 5267 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6285 6377 695 769 808 907 a 1023 1064 112 1123 1236 1296 1412 1475 1542 1634 1687 1762 1844 1967 2040 2158 219 2235 2288 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3722 378 3860 3926 4041 4124 4178 4283 4339 4425 4533 454 4590 4704 4753 4812 4909 4997 508 5102 5137 5267 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6199 6285 6377 695 769 808 907 a 1023 1064 112 1123 1236 1296 1412 1475 1542 1634 1687 1762 1844 1967 2040 2158 219 2235 2288 2358 2471 2556 2574 2650 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 378 3802 3860 3926 4041 4124 4178 4283 4339 4425 4533 454 4590 4704 4753 4812 4909 4997 508 5102 5137 5267 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6199 6285 6377 695 769 808 907 a 1023 1064 112 1123 1236 1296 1412 1475 1542 1634 1687 1762 1844 1967 2040 2158 219 2235 2288 2358 2471 2556 2574 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3802 3860 3926 4041 4124 4178 4283 4339 4425 4533 454 4590 4704 4753 4812 4909 4997 508 5102 5137 5267 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6023 6081 610 6199 6285 6377 695 769 808 907 a 1023 1064 112 1123 1236 1296 1412 1475 1542 1634 1687 1762 1844 1967 2040 2158 219 2235 2288 2358 2471 2556 2574 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3802 3860 3926 4041 4124 4178 4283 4339 4425 4533 454 4590 4704 4753 4812 4909 4997 508 5102 5137 5267 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6199 6285 6377 695 769 808 907 a 1023 1064 112 1123 1236 1296 1412 1475 1542 1634 1687 1762 1844 1967 2040 2158 219 2235 2288 2358 2471 2556 2574 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3802 3860 3926 4041 4124 4178 4283 4339 4425 4533 454 4590 4704 4753 4812 4909 4997 508 5102 5137 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6199 6285 6377 695 769 808 907 a 1023 1064 112 1123 1236 1296 1412 1475 1542 1634 1687 1762 1844 1967 2040 2158 219 2235 2288 2358 2471 2556 2574 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3802 3860 3926 4041 4124 4178 4283 4339 4425 4533 454 4590 4704 4753 4812 4909 4997 508 5102 5137 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6199 6285 6377 695 769 808 947 a 1023 1064 112 1123 1236 1296 1412 1475 1542 1634 1687 1762 1844 1967 2027 2158 219 2235 2288 2358 2471 2556 2574 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3802 3860 3926 4041 4124 4178 4283 4339 4425 4533 454 4590 4704 4753 4812 4909 4997 508 5102 5137 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6199 6285 6377 695 769 808 947 a 1023 1064 112 1123 1236 1296 1412 1475 1542 1634 1687 1762 1844 1967 2027 2158 219 2235 2288 2358 2471 2556 2574 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3802 3860 3926 4041 4124 4178 4283 4339 4425 4533 454 4590 4704 4753 4812 4909 4997 508 5102 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6199 6285 6377 695 769 808 947 a 1023 1064 112 1123 1236 1296 1412 1475 1542 1634 1687 1762 1844 1967 2027 2158 219 2235 2288 2358 2471 2556 2574 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3802 3860 3926 4041 4124 4178 4283 4339 4425 4533 454 4590 4704 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6199 6285 6377 695 769 808 947 a 1023 1064 112 1123 1236 1296 1412 1475 1634 1687 1762 1844 1967 2027 2158 219 2235 2288 2358 2471 2556 2574 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3802 3860 3926 4041 4124 4178 4283 4339 4425 4533 454 4590 4704 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6199 6285 6377 695 769 808 947 a 1023 112 1123 1236 1296 1412 1475 1544 1634 1687 1762 1844 1967 2027 2158 219 2235 2288 2358 2471 2556 2574 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3802 3860 3926 4041 4124 4178 4283 4339 4425 4533 454 4590 4704 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6199 6285 6377 695 769 808 947 a 1023 1072 1123 1236 1296 1412 1475 1544 1634 1687 1762 1844 1967 2027 2158 219 2235 2288 2358 2471 2556 2574 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3802 3860 3926 4041 4124 4178 4283 4339 4425 4533 454 4590 4704 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6199 6285 6377 695 769 808 947 a 1023 1072 1123 1236 1296 1412 144 1475 1544 1634 1687 1762 1844 1967 2027 2158 219 2235 2288 2358 2471 2556 2574 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3802 3860 3926 4041 4124 4178 4283 4339 4425 4533 454 4590 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6199 6285 6377 695 769 808 947 a 1023 1072 1123 1236 1296 1412 144 1475 1544 1634 1687 1762 1844 1967 2027 2158 219 2235 2288 2358 2471 2556 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3802 3860 3926 4041 4124 4178 4283 4339 4425 4533 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 60 6046 6081 610 6199 6285 6377 695 769 808 947 a 1023 1072 1123 1236 1296 1412 144 1475 1544 1634 1687 1762 1844 1967 2027 2158 219 2235 2288 2358 2471 2556 2620 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3802 3860 3926 4041 4124 4178 4283 4339 4425 4533 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6199 6285 6377 695 769 808 947 a 1023 1072 1123 1236 1296 1412 144 1475 1544 1634 1687 1762 1844 1967 2027 2158 219 2235 2288 2358 2471 2556 2620 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3860 3926 4041 4124 4178 42 4283 4339 4425 4533 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6199 6285 6377 695 769 808 947 a 1023 1072 1123 1236 1296 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2288 2358 2471 2556 2620 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3860 3926 4041 4124 4178 42 4283 4339 4425 4533 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6199 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 2288 2358 2471 2556 2620 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3860 3926 4041 4124 4178 42 4283 4339 4425 4533 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6199 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 2288 2358 2471 2556 2620 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3799 3860 3926 4041 4124 4178 42 4283 4339 4425 4533 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 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 2288 2358 2471 2556 2620 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3799 3860 3926 4041 4124 4178 42 4283 4339 4425 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 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 2288 2358 2471 2556 2620 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3799 3860 3926 4041 4124 4178 42 4283 4339 4425 4537 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6192 6285 695 769 808 947 a 1023 1064 1123 1236 1296 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2288 2358 2471 2556 2620 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3799 3860 3926 4124 4178 42 4283 4339 4425 4537 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6192 6285 6373 695 769 808 947 a 1023 1064 1123 1236 1296 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2288 2358 2471 2556 2620 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3799 3860 3926 4044 4178 42 4283 4339 4425 4537 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6192 6285 6373 695 769 808 947 a 1023 1064 1123 1236 1296 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2288 2358 2471 2556 2620 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3799 3860 3926 4044 4178 42 4283 4361 4425 4537 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6192 6285 6373 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 2620 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3799 3860 3926 4044 4178 42 4283 4361 4425 4537 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6192 6285 6373 695 769 808 947 a 1008 1064 1123 1236 1296 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 2556 2620 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3799 3860 3926 4044 4178 42 4283 4361 4425 4537 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6192 6285 6373 695 769 808 947 a 1008 1064 1123 1236 1296 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 2556 2620 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3799 3860 3926 4044 4178 42 4283 4361 4463 4537 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6192 6285 6373 695 769 808 947 a 1008 1064 1123 1236 1296 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 2556 2620 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3799 3860 3926 4044 4105 4178 42 4283 4361 4463 4537 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6192 6285 695 769 808 947 a 1008 1064 1123 1236 1296 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 2556 2620 2657 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3799 3860 3926 4044 4105 4178 42 4283 4361 4463 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6192 6285 6377 695 769 808 947 a 1008 1064 1123 1236 1296 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 2556 2620 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3799 3860 3926 4044 4105 4178 42 4283 4361 4463 4497 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6192 6285 6377 695 769 808 947 a 1008 1064 1123 1236 1296 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 2556 2620 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3860 3926 4044 4105 4178 42 4283 4361 4463 4497 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6192 6285 6377 695 769 808 947 a 1008 1064 1123 1236 1296 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 2556 2620 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3804 3860 3926 4105 4178 42 4283 4361 4463 4497 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 6046 6081 610 6192 6285 6377 695 769 808 947 a 1008 1064 1123 1236 1296 1412 144 1475 1534 1634 1687 1762 1844 1967 2027 2158 219 2235 2259 2358 2471 2556 2620 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3804 3860 3926 4105 4178 42 4283 4361 4439 4497 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 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 2620 2693 2800 2868 2954 301 3029 3117 3193 3265 3350 3426 3471 3576 3621 3690 378 3804 3860 3926 4105 4178 42 4283 4361 4439 4497 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 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 4105 4178 42 4283 4361 4439 4497 454 4590 4680 4742 4812 4909 4997 508 5102 5153 5223 5331 5386 5512 5599 5615 5693 5771 5849 5925 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 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 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 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen080x080.col /BENCHMARKS/benchmark/queen/queen080x080_03_0355.dat" User time (seconds): 51.25 System time (seconds): 0.74 Percent of CPU this job got: 1% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:11:30 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): 276108 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 196761 Voluntary context switches: 467 Involuntary context switches: 7718 Swaps: 0 File system inputs: 0 File system outputs: 25440 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0