c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/queen/queen070x070.col /BENCHMARKS/benchmark/queen/queen070x070_03_1545.dat c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen070x070_03_1545/sas_plan results/queen070x070_03_1545/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/queen070x070_03_1545/sas_plan results/queen070x070_03_1545/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 1697 4590 1472 3376 736 1610 539 3554 3257 4215 691 2089 4283 4136 3088 2713 2449 196 2810 3674 3325 4098 4894 4419 1958 818 3735 3617 2958 1000 2297 4351 859 3189 1851 1267 3826 937 2011 2754 372 231 4485 4621 2578 3882 3442 3963 2163 2516 1220 589 55 3043 2354 2184 1677 330 1791 1073 4694 1146 2655 2873 122 4802 4018 1460 1392 t 4621 122 4694 3320 2163 3376 860 691 2345 1958 1472 1677 393 1064 4894 1839 3442 2516 2089 3257 4590 1392 1782 196 2191 2655 1147 2578 787 3735 4419 4215 3826 3674 3189 1610 330 4807 213 2836 465 3054 4098 2449 2297 589 1267 2958 1690 941 4136 3102 3892 4283 2011 3618 1460 1008 2878 723 3554 4351 3946 4031 4485 1223 55 2754 539 a YES a 1000 1073 1146 122 1220 1267 1392 1460 1472 1610 1677 1697 1791 1851 1958 196 2011 2089 2163 2184 2297 231 2354 2449 2516 2578 2655 2713 2754 2810 2873 2958 3043 3088 3189 3257 330 3325 3376 3442 3554 3617 3674 372 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 539 55 589 691 736 818 859 937 a 1000 1073 1146 122 1220 1267 1392 1460 1472 1610 1677 1697 1791 1851 1958 196 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2810 2873 2958 3043 3088 3189 3257 330 3325 3376 3442 3554 3617 3674 372 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4802 4894 539 55 589 691 736 818 859 937 a 1000 1073 1146 122 1220 1267 1392 1460 1472 1610 1677 1697 1791 1851 1958 196 2011 2089 213 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2810 2958 3043 3088 3189 3257 330 3325 3376 3442 3554 3617 3674 372 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4802 4894 539 55 589 691 736 818 859 937 a 1000 1073 1146 122 1220 1267 1392 1460 1472 1610 1677 1697 1791 1851 1958 196 2011 2089 213 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3189 3257 330 3325 3376 3442 3554 3617 3674 372 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4802 4894 539 55 589 691 736 818 859 937 a 1000 1073 1146 122 1220 1267 1392 1460 1472 1610 1677 1697 1791 1851 1958 196 2011 2089 213 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3189 3257 330 3325 3376 3442 3554 3617 3674 372 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4802 4894 539 55 589 691 736 818 861 937 a 1000 1073 1146 122 1220 1267 1392 1460 1472 1610 1677 1697 1791 1851 1958 196 2011 2089 213 2163 2184 2297 2329 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3189 3257 330 3325 3376 3442 3554 3617 3674 372 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4802 4894 539 55 589 691 736 818 861 937 a 1000 1073 1146 122 1220 1267 1392 1460 1472 1610 1677 1724 1791 1851 1958 196 2011 2089 213 2163 2184 2297 2329 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3189 3257 330 3325 3376 3442 3554 3617 3674 372 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4802 4894 539 55 589 691 736 818 861 937 a 1000 1073 1146 122 1220 1267 1392 1460 1472 1610 1677 1724 1791 1851 1958 196 2011 2089 213 2163 2184 2297 2329 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3189 3257 330 3325 3376 3442 3554 3617 367 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4802 4894 539 55 589 691 736 818 861 937 a 1000 1073 1146 122 1220 1267 1392 1460 1472 1610 1677 1724 1851 1958 196 2011 2089 213 2163 2184 2297 2329 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3102 3189 3257 330 3325 3376 3442 3554 3617 367 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4802 4894 539 55 589 691 736 818 861 937 a 1000 1146 122 1220 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 196 2011 2089 213 2163 2184 2297 2329 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3102 3189 3257 330 3325 3376 3442 3554 3617 367 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4802 4894 539 55 589 691 736 818 861 937 a 1000 1064 1146 122 1220 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 196 2011 2089 213 2163 2297 2329 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3102 3189 3257 330 3325 3376 3442 3554 3617 367 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4802 4894 539 55 589 691 736 818 861 937 a 1000 1064 1146 122 1220 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2878 2958 3043 3102 3189 3257 330 3325 3376 3442 3554 3617 367 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4802 4894 539 55 589 691 736 818 861 937 a 1000 1064 1146 122 1220 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2878 2958 3043 3102 3189 3257 330 3325 3376 3442 3554 3617 367 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4801 4894 539 55 589 691 736 818 861 937 a 1000 1064 1146 122 1220 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3043 3102 3189 3257 330 3376 3442 3554 3617 367 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4801 4894 539 55 589 691 736 818 861 937 a 1000 1064 1146 122 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3043 3102 3189 3257 330 3320 3376 3442 3554 3617 367 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4801 4894 539 55 589 691 736 818 861 937 a 1000 1064 1146 122 1223 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3102 3189 3257 330 3320 3376 3442 3554 3617 367 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4801 4894 539 55 589 691 736 818 861 937 a 1000 105 1064 1146 1223 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3102 3189 3257 330 3320 3376 3442 3554 3617 367 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4801 4894 539 55 589 691 736 818 861 937 a 1000 105 1064 1146 1223 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3102 3189 3257 330 3320 3376 3442 3554 3617 367 3674 3735 3826 3902 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4801 4894 539 55 589 691 736 818 861 937 a 1000 105 1064 1146 1223 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3102 3189 3257 330 3320 3376 3442 3554 3617 367 3674 3735 3826 3902 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4801 4894 539 55 589 691 736 818 861 942 a 1000 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3102 3189 3257 330 3320 3376 3442 3554 3617 367 3674 3735 3826 3902 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4801 4894 539 55 589 691 736 818 861 942 a 1000 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1773 1851 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3617 367 3674 3735 3826 3902 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4801 4894 539 55 589 691 736 818 861 942 a 1000 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1773 1851 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3617 367 3674 3735 3826 3902 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4801 4894 539 55 589 691 736 818 866 942 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1773 1851 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3617 367 3674 3735 3826 3902 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4801 4894 539 55 589 691 736 818 866 942 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1773 1851 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3617 367 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4801 4894 539 55 589 691 736 818 866 942 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1793 1851 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3617 367 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4801 4894 539 55 589 691 736 818 866 942 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1793 1851 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3617 367 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4801 4894 539 55 589 691 723 818 866 942 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1793 1856 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3617 367 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4801 4894 539 55 589 691 723 818 866 942 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1793 1856 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3617 367 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4801 4894 539 55 589 691 723 801 866 942 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1793 1856 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3617 367 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4485 4590 4621 465 4694 4801 4894 539 55 589 691 723 801 866 942 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1793 1856 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 367 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4457 4485 4590 4621 465 4694 4801 4894 539 55 589 691 723 801 866 942 a 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1793 1856 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 367 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4457 4485 4590 4621 465 4694 4801 4894 539 55 589 691 723 79 801 866 942 a 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1793 1856 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3617 367 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4485 4590 4621 465 4694 4801 4894 539 55 589 691 723 79 801 866 942 a 1001 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1793 1856 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2754 2842 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3617 367 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4463 4485 4590 4621 465 4694 4801 4894 539 55 589 691 723 79 801 866 942 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1793 1856 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2754 2842 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3617 367 3674 3735 3826 3902 3940 4018 4098 4136 4215 4283 4351 4463 4485 4590 4621 465 4694 4801 4894 539 55 589 691 723 801 866 942 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1793 1856 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2669 2754 2842 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3617 367 3674 3735 3826 3902 3940 4098 4136 4215 4283 4351 4463 4485 4590 4621 465 4694 4801 4894 539 55 589 691 723 801 866 942 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1778 1856 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2669 2754 2842 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3617 367 3674 3735 3826 3902 3940 4098 4136 4215 4283 4351 4463 4485 4590 4621 465 4694 4801 4894 539 55 589 691 723 801 866 942 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1778 1856 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2669 2754 2842 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3617 3674 3735 3826 3902 393 3940 4098 4136 4215 4283 4351 4463 4485 4590 4621 465 4694 4801 4894 539 55 589 691 723 801 866 942 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1778 1856 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2669 2754 2842 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3617 3674 3735 3826 3902 393 3940 4098 4136 4215 4283 4351 4463 4485 4590 4621 465 4694 4801 4894 539 55 589 691 723 787 866 942 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1778 1856 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2669 2754 2842 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3617 3674 3735 3826 3902 393 3940 4098 4136 4215 4283 4351 4463 4485 4590 4621 465 4694 4801 4894 539 55 589 691 723 787 866 941 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1778 1856 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2669 2754 2842 2878 2958 3054 3102 3189 32 3257 330 3320 3376 3442 3554 3617 3674 3735 3826 3902 393 3940 4098 4136 4215 4283 4351 4463 4485 4590 4621 465 4694 4801 4894 539 589 691 723 787 866 941 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1778 1958 196 2011 2089 213 2163 2180 2297 2329 2449 2516 2578 2655 2669 2754 2842 2878 2958 3054 3102 3189 32 3257 330 3320 3376 3442 3554 3617 3674 3735 3826 3902 393 3940 4045 4098 4136 4215 4283 4351 4463 4485 4590 4621 465 4694 4801 4894 539 589 691 723 787 866 941 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1778 1839 1958 196 2011 2089 213 2163 2180 2297 2449 2516 2578 2655 2669 2754 2842 2878 2958 3054 3102 3189 32 3257 330 3320 3376 3442 3554 3617 3674 3735 3826 3902 393 3940 4045 4098 4136 4215 4283 4351 4463 4485 4590 4621 465 4694 4801 4894 539 589 691 723 787 866 941 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1778 1839 1958 196 2011 2089 213 2163 2180 2297 2362 2449 2516 2578 2655 2669 2754 2842 2878 2958 3054 3102 3189 32 3257 330 3320 3376 3442 3554 3617 3674 3735 3826 393 3940 4045 4098 4136 4215 4283 4351 4463 4485 4590 4621 465 4694 4801 4894 539 589 691 723 787 866 941 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1778 1839 1958 196 2011 2089 213 2163 2180 2297 2362 2449 2516 2578 2655 2669 2754 2878 2958 3054 3102 3189 32 3257 330 3320 3376 3442 3554 3617 3674 3735 3826 3892 393 3940 4045 4098 4136 4215 4283 4351 4463 4485 4590 4621 465 4694 4801 4894 539 589 691 723 787 866 941 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1839 1958 196 2011 2089 213 2163 2180 2297 2362 2449 2516 2578 2655 2669 2754 2828 2878 2958 3054 3102 3189 32 3257 330 3320 3376 3442 3554 3617 3674 3735 3826 3892 393 3940 4045 4098 4136 4215 4283 4351 4463 4485 4590 4621 465 4694 4801 4894 539 589 691 723 787 866 941 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1759 1839 1958 196 2011 2089 213 2163 2180 2297 2362 2449 2516 2578 2655 2754 2828 2878 2958 3054 3102 3189 32 3257 330 3320 3376 3442 3554 3617 3674 3735 3826 3892 393 3940 4045 4098 4136 4215 4283 4351 4463 4485 4590 4621 465 4694 4801 4894 539 589 691 723 787 866 941 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1759 1839 1958 196 2011 2089 213 2163 2180 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 32 3257 330 3320 3376 3442 3554 3617 3674 3735 3826 3892 393 3940 4045 4098 4136 4215 4283 4351 4485 4590 4621 465 4694 4801 4894 539 589 691 723 787 866 941 a 1001 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1759 1839 1958 196 2011 2089 213 2163 2180 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 32 3257 330 3320 3376 3442 3554 3617 3674 3735 3826 3892 393 3940 4045 4098 4136 4215 4283 4351 4446 4485 4590 4621 465 4694 4894 539 589 691 723 787 866 941 a 1021 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1759 1839 1958 196 2011 2089 213 2163 2180 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 32 3257 330 3320 3376 3442 3554 3617 3674 3735 3826 3892 393 3940 4045 4098 4136 4215 4283 4351 4446 4485 4590 4621 465 4694 4894 539 589 691 723 787 866 941 a 1021 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1759 1839 1958 196 2011 2089 213 2163 2191 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 32 3257 330 3320 3376 3442 3554 3617 3674 3735 3826 3892 393 3940 4045 4098 4136 4215 4283 4351 4446 4485 4590 4621 465 4694 4894 539 589 691 723 787 866 941 a 1021 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1759 1839 1958 196 2011 2089 213 2163 2191 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 32 3257 330 3320 3376 3442 3554 3674 3735 3826 3892 393 3940 4045 4098 4136 4215 4283 4351 4446 4485 4590 4621 465 4694 4807 4894 539 589 691 723 787 866 941 a 10 1021 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1759 1839 1958 196 2011 2089 213 2163 2191 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3674 3735 3826 3892 393 3940 4045 4098 4136 4215 4283 4351 4446 4485 4590 4621 465 4694 4807 4894 539 589 691 723 787 866 941 a 10 1021 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1782 1839 1958 196 2011 2089 213 2163 2191 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3674 3735 3826 3892 393 3940 4045 4098 4136 4215 4283 4351 4446 4485 4590 4621 465 4694 4807 4894 539 589 691 723 787 866 941 a 1021 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1728 1782 1839 1958 196 2011 2089 213 2163 2191 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3674 3735 3826 3892 393 3940 4045 4098 4136 4215 4283 4351 4446 4485 4590 4621 465 4694 4807 4894 539 589 691 723 787 866 9 941 a 1021 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 196 2011 2089 213 2163 2191 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3674 3735 3826 3892 393 3940 4045 4098 4136 4215 4283 4351 4446 4485 4590 4621 465 4694 4807 4894 539 589 691 723 787 866 9 941 a 1021 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 196 2011 2089 213 2163 2191 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3618 3674 3735 3826 3892 393 3940 4045 4098 4136 4215 4283 4351 4485 4590 4621 465 4694 4807 4894 539 589 691 723 787 866 9 941 a 1021 105 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 196 2011 2089 213 2163 2191 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3618 3674 3735 3826 3892 393 3940 4045 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4807 4894 539 589 691 723 787 866 941 a 1021 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 196 2011 2089 213 2163 2191 2297 2362 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 36 3618 3674 3735 3826 3892 393 3940 4045 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4807 4894 539 589 691 723 787 866 941 a 1021 1064 1147 122 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 196 2011 2089 213 2163 2191 2297 2449 2516 2578 2655 2713 2754 2828 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 36 3618 3674 3735 3826 3892 393 3940 4045 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4807 4894 539 589 691 723 787 866 941 a 1021 1064 1147 122 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 196 2011 2089 213 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 36 3618 3674 3735 3826 3892 393 3940 4045 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4807 4894 539 589 691 723 787 866 941 a 1021 1064 1147 122 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 196 2011 2089 213 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2845 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 36 3618 3674 3735 3826 3892 393 3940 4045 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 539 589 691 723 787 866 941 a 1021 1064 1147 122 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 196 2011 2089 213 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2845 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 36 3618 3674 3735 3826 3892 393 3940 4045 4098 4136 4215 4283 4351 4419 446 4485 4590 4621 4694 4807 4894 539 589 691 723 787 941 a 1008 1064 1147 122 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 196 2011 2089 213 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2845 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 36 3618 3674 3735 3826 3892 393 3940 4045 4098 4136 4215 4283 4351 4419 446 4485 4590 4621 4694 4807 4894 539 589 691 723 787 941 a 1008 1064 1147 122 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 196 2011 2089 213 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2845 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 36 3618 3674 3735 3826 3892 393 3940 4031 4098 4136 4215 4283 4351 4419 446 4485 4590 4621 4694 4807 4894 539 589 691 723 787 941 a 1008 1064 1147 122 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 196 2011 2089 213 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2845 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3618 3674 3735 3826 3892 393 3940 4031 4098 4136 4215 4283 4351 4419 446 4485 4590 4621 4694 4807 4894 539 55 589 691 723 787 941 a 1008 1064 1147 122 1223 1267 1392 1460 1472 1610 1677 1690 176 1782 1839 1958 2011 2089 213 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2845 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3618 3674 3735 3826 3892 393 3940 4031 4098 4136 4215 4283 4351 4419 446 4485 4590 4621 4694 4807 4894 539 55 589 691 723 787 941 a 1008 1064 1147 122 1223 1267 1392 1460 1472 1610 1677 1690 176 1782 1839 1958 2011 2089 213 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2845 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3618 3674 3735 3826 3892 393 3940 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 476 4807 4894 539 55 589 691 723 787 941 a 1008 1064 1147 122 1223 1267 1392 1460 1472 1610 1677 1690 176 1782 1839 1958 2011 2089 213 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2845 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3618 3674 3735 3826 3892 393 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 476 4807 4894 539 55 589 691 723 787 860 941 a 1008 1064 1147 122 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 213 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2845 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3618 3674 3735 3826 3892 393 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 476 4807 4894 539 55 589 691 723 787 860 941 a 1008 1064 1147 122 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 196 2011 2089 213 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2845 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3618 3674 3735 3826 3892 393 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 539 55 589 691 723 787 860 941 a 1008 1064 1147 122 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 196 2011 2089 213 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3618 3674 3735 3826 3892 393 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 539 55 589 691 723 787 860 941 a 1008 1064 1147 122 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 196 2011 2089 213 2163 2191 2297 2345 2449 2516 2578 2655 2754 2836 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3618 3674 3735 3826 3892 393 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4807 4894 539 55 589 691 723 787 860 941 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen070x070.col /BENCHMARKS/benchmark/queen/queen070x070_03_1545.dat" User time (seconds): 28.30 System time (seconds): 0.48 Percent of CPU this job got: 0% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:10:55 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): 194240 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 148505 Voluntary context switches: 445 Involuntary context switches: 3746 Swaps: 0 File system inputs: 0 File system outputs: 17184 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0