c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/queen/queen070x070.col /BENCHMARKS/benchmark/queen/queen070x070_02_8683.dat c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen070x070_02_8683/sas_plan results/queen070x070_02_8683/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_02_8683/sas_plan results/queen070x070_02_8683/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 3674 3102 539 1392 2163 2578 3946 723 55 4136 4351 2449 941 1460 4807 3189 3735 4894 2011 196 1677 2958 1064 2713 2191 4485 2345 589 4590 213 2878 465 1958 4098 122 4031 1472 2655 860 3054 1223 3376 4694 691 4283 393 3826 3892 1839 1610 4419 4215 3618 2089 2297 1690 4621 2836 787 330 1147 3257 2516 1782 1267 3442 1008 3320 2754 t 55 1839 4894 592 4020 2318 330 2768 4215 3102 4485 2449 739 3617 4136 3442 3891 1210 3674 4694 1146 4789 3554 1958 1472 787 1460 122 2578 2011 4594 2810 3735 196 2958 392 4419 2516 1777 2163 2089 1392 1677 4283 1610 2905 691 234 1267 4351 3257 2713 3024 1001 3153 3306 1073 4108 2655 3396 1720 4621 943 2297 871 2198 3826 3963 465 a YES 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 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 a 1008 1064 1147 122 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 196 2011 2089 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 465 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 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 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 392 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4807 4894 539 55 589 691 723 787 860 941 a 1008 1064 1163 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 392 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4807 4894 539 55 589 691 723 787 860 941 a 1008 1064 1163 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 392 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4807 4894 539 55 587 691 723 787 860 941 a 1008 1064 1163 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 392 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4789 4894 539 55 587 691 723 787 860 941 a 1008 1097 1163 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 392 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4789 4894 539 55 587 691 723 787 860 941 a 1008 1097 1163 122 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 196 2011 2089 2163 2191 224 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3618 3674 3735 3826 392 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4789 4894 539 55 587 691 723 787 860 941 a 1008 1097 1163 122 1223 1267 1392 1460 1472 1610 1677 1683 1782 1839 1958 196 2011 2089 2163 2191 224 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3618 3674 3735 3826 392 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4789 4894 539 55 587 691 723 787 860 941 a 1008 1097 1163 122 1223 1267 1392 1460 1472 1610 1677 1683 1782 1839 1958 196 2011 2089 2163 2191 224 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3618 3674 3735 3826 392 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4789 4894 539 55 587 691 710 787 860 941 a 1003 1097 1163 122 1223 1267 1392 1460 1472 1610 1677 1683 1782 1839 1958 196 2011 2089 2163 2191 224 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3618 3674 3735 3826 392 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4789 4894 539 55 587 691 710 787 860 941 a 1003 1097 1163 122 1223 1267 1392 1460 1472 1610 1677 1683 1782 1839 1958 196 2011 2089 2163 2191 224 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3618 3674 3735 3826 392 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4789 4894 539 55 587 691 710 787 860 941 a 1003 1097 1163 122 1223 1267 1392 1460 1472 1610 1677 1683 1782 1839 1958 196 2011 2089 2163 2191 224 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3618 3674 3735 3826 3891 392 3946 4018 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4789 4894 539 55 587 691 710 787 860 941 a 1003 1097 1163 122 1223 1267 1392 1460 1472 1610 1677 1683 1782 1839 1958 196 2011 2089 2163 2191 224 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3618 3674 3735 38 3826 3891 392 3946 4018 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4789 4894 539 587 691 710 787 860 941 a 1003 1097 1163 122 1223 1267 1392 1460 1472 1610 1677 1683 1782 1839 1958 196 2011 2089 2163 2191 224 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3618 3674 3735 38 3826 3891 392 3975 4018 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4789 4894 539 587 691 710 787 860 941 a 1003 1097 1163 122 1223 1267 1392 1460 1472 1610 1677 1683 1782 1839 1958 196 2011 2089 2163 2191 224 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3618 3674 3735 38 3826 3891 392 3975 4018 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4789 4894 539 587 691 710 787 860 936 a 1003 1097 1163 122 1221 1267 1392 1460 1472 1610 1677 1683 1782 1839 1958 196 2011 2089 2163 2191 224 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3618 3674 3735 38 3826 3891 392 3975 4018 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4789 4894 539 587 691 710 787 860 936 a 1003 1097 1163 122 1221 1267 1392 1460 1472 1610 1677 1683 1782 1839 1958 196 2011 2089 2163 2191 224 2297 2345 2449 2516 2578 2655 2713 2836 2878 2958 3054 3102 3189 3257 330 3320 3376 3442 3554 3618 3674 3735 38 3826 3891 392 3975 4018 4084 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4789 4894 539 587 691 710 787 860 936 a 1003 1097 1163 122 1221 1267 1392 1460 1472 1610 1677 1683 1782 1839 1958 196 2011 2089 2163 2191 224 2297 2345 2449 2516 2578 2655 2713 2746 2836 2878 2958 3054 3102 3189 3257 330 3320 3442 3554 3618 3674 3735 38 3826 3891 392 3975 4018 4084 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4789 4894 539 587 691 710 787 860 936 a 1003 1097 1163 122 1221 1267 1392 1460 1472 1610 1677 1683 1782 1839 1958 196 2011 2089 2163 2191 224 2297 2345 2449 2516 2578 2655 2713 2746 2836 2878 2958 3054 3102 3189 3257 330 3320 3442 3554 3618 3674 3735 38 3826 3891 392 3975 4018 4084 4136 4215 4283 4351 4419 4485 4583 4621 465 4694 4789 4894 539 587 691 710 787 860 936 a 1003 1097 1163 122 1221 1267 1392 1460 1472 1610 1677 1720 1782 1839 1958 196 2011 2089 2163 2191 224 2297 2345 2449 2516 2578 2655 2713 2746 2836 2878 2958 3054 3102 3189 3257 330 3320 3442 3554 3618 3674 3735 38 3826 3891 392 3975 4018 4084 4136 4215 4283 4351 4419 4485 4583 4621 465 4694 4789 4894 539 587 691 710 787 860 936 a 1003 1097 1163 122 1221 1267 1392 1460 1472 1610 1677 1720 1782 1839 1958 196 2011 2089 2163 2191 224 2297 2345 2449 2516 2578 2655 2713 2746 2836 2873 2958 3054 3102 3189 3257 330 3320 3442 3554 3618 3674 3735 38 3826 3891 392 3975 4018 4084 4136 4215 4283 4351 4419 4485 4583 4621 465 4694 4789 4894 539 587 691 710 787 860 936 a 1003 1097 1163 122 1221 1267 1392 1460 1472 1610 1677 1720 1782 1839 1958 196 2011 2089 2163 2191 224 2297 2318 2449 2516 2578 2655 2713 2746 2836 2873 2958 3054 3102 3189 3257 330 3320 3442 3554 3618 3674 3735 38 3826 3891 392 3975 4018 4084 4136 4215 4283 4351 4419 4485 4583 4621 465 4694 4789 4894 539 587 691 710 787 860 936 a 1015 1097 1163 122 1221 1267 1392 1460 1472 1610 1677 1720 1782 1839 1958 196 2011 2089 2163 2191 224 2297 2318 2449 2516 2578 2655 2713 2746 2836 2873 2958 3054 3102 3189 3257 330 3320 3442 3554 3618 3674 3735 38 3826 3891 392 3975 4018 4084 4136 4215 4283 4351 4419 4485 4583 4621 465 4694 4789 4894 539 587 691 710 787 860 936 a 1015 1097 1163 122 1221 1267 1392 1460 1472 1610 1677 1720 1782 1839 1958 196 2011 2089 2163 2191 2297 2318 233 2449 2516 2578 2655 2713 2746 2836 2873 2958 3054 3102 3189 3257 330 3320 3442 3554 3618 3674 3735 38 3826 3891 392 3975 4018 4084 4136 4215 4283 4351 4419 4485 4583 4621 465 4694 4789 4894 539 587 691 710 787 860 936 a 1015 1097 1134 122 1221 1267 1392 1460 1472 1610 1677 1720 1782 1839 1958 196 2011 2089 2163 2191 2297 2318 233 2449 2516 2578 2655 2713 2746 2836 2873 2958 3054 3102 3189 3257 330 3320 3442 3554 3618 3674 3735 38 3826 3891 392 3975 4018 4084 4136 4215 4283 4351 4419 4485 4583 4621 465 4694 4789 4894 539 587 691 710 787 860 936 a 1015 1097 1134 122 1221 1267 1392 1460 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2191 2297 2318 233 2449 2516 2578 2655 2713 2746 2836 2873 2958 3054 3102 3189 3257 330 3320 3442 3554 3618 3674 3735 38 3826 3891 392 3975 4018 4084 4136 4215 4283 4351 4419 4485 4583 4621 465 4694 4789 4894 539 587 691 710 787 860 936 a 1015 1097 1134 122 1221 1267 1392 1460 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2191 2297 2318 233 2449 2516 2578 2655 2713 2746 2836 2873 2958 3054 3102 3189 3257 330 3320 3442 3554 3618 3674 3735 38 3826 3891 392 3975 4018 4084 4136 4215 4283 4351 4419 4485 4583 4621 465 4694 4789 4894 539 592 691 710 787 860 936 a 1015 1097 1134 122 1221 1267 1392 1460 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2191 2297 2318 233 2449 2516 2578 2655 27 2713 2746 2836 2873 2958 3054 3102 3189 3257 330 3320 3442 3554 3618 3674 3735 3826 3891 392 3975 4018 4084 4136 4215 4283 4351 4419 4485 4583 4621 465 4694 4789 4894 539 592 691 710 787 860 936 a 1015 1097 1134 122 1221 1267 1392 1460 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2191 2297 2318 233 2449 2516 2578 2655 27 2713 2746 2836 2873 2958 3054 3102 3189 3257 330 3320 3442 3554 3618 3674 3735 3826 3891 392 3975 4018 4084 4136 4215 4283 4351 4419 4485 4583 4621 465 4694 4789 4894 539 592 691 710 787 878 936 a 1015 1097 1134 1210 122 1267 1392 1460 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2191 2297 2318 233 2449 2516 2578 2655 27 2713 2746 2836 2873 2958 3054 3102 3189 3257 330 3320 3442 3554 3618 3674 3735 3826 3891 392 3975 4018 4084 4136 4215 4283 4351 4419 4485 4583 4621 465 4694 4789 4894 539 592 691 710 787 878 936 a 1015 1097 1134 1210 122 1267 1392 1460 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2191 2297 2318 233 2449 2516 2578 2655 27 2713 2746 2836 2873 2958 3054 3102 3189 3257 330 3320 3442 3554 3618 3674 3735 3826 3891 392 3975 4018 4084 4136 4215 4283 4351 4419 4485 4583 4621 465 4694 4789 4894 539 592 691 710 787 871 936 a 1015 1097 1134 1210 122 1267 1392 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2191 2297 2318 233 2449 2516 2578 2655 27 2713 2746 2836 2873 2958 3054 3102 3189 3257 330 3320 3420 3442 3554 3618 3674 3735 3826 3891 392 3975 4018 4084 4136 4215 4283 4351 4419 4485 4583 4621 465 4694 4789 4894 539 592 691 710 787 871 936 a 1015 1097 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2191 2297 2318 233 2449 2516 2578 2655 27 2713 2746 2836 2873 2958 3054 3102 3189 3257 330 3420 3442 3554 3618 3674 3735 3826 3891 392 3975 4018 4084 4136 4215 4283 4351 4419 4485 4583 4621 465 4694 4789 4894 539 592 691 710 787 871 936 a 1015 1097 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2191 2297 2318 233 2449 2516 2578 2655 27 2713 2836 2873 2958 3054 3102 3189 3257 330 3306 3420 3442 3554 3618 3674 3735 3826 3891 392 3975 4018 4084 4136 4215 4283 4351 4419 4485 4583 4621 465 4694 4789 4894 539 592 691 710 787 871 936 a 1015 1097 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2191 2297 2318 233 2449 2516 2578 2655 27 2713 2768 2836 2873 2958 3054 3102 3189 3257 330 3306 3420 3442 3554 3618 3674 3735 3826 3891 392 4018 4084 4136 4215 4283 4351 4419 4485 4583 4621 465 4694 4789 4894 539 592 691 710 787 871 936 a 1015 1097 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2191 2297 2318 233 2449 2516 2578 2655 2713 2768 2836 2873 2958 3054 3102 3189 3257 330 3306 3420 3442 3554 3618 3674 3735 3826 3891 392 4018 4084 4136 4215 4283 4351 4419 4485 4583 4621 465 4694 4789 4894 539 55 592 691 710 787 871 936 a 1015 1097 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2191 2297 2318 233 2449 2516 2578 2655 2713 2768 2836 2873 2958 3054 3102 3189 3257 330 3306 3420 3442 3554 3618 3674 3735 3826 3891 392 3981 4018 4084 4136 4215 4283 4351 4419 4485 4583 4621 465 4694 4789 4894 539 55 592 710 787 871 936 a 1015 1097 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2191 2297 2318 233 2449 2516 2578 2655 2713 2768 2836 2873 2958 3037 3102 3189 3257 330 3306 3420 3442 3554 3618 3674 3735 3826 3891 392 3981 4018 4084 4136 4215 4283 4351 4419 4485 4583 4621 465 4694 4789 4894 539 55 592 710 787 871 936 a 1015 1097 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2191 2297 2318 233 2449 2516 2578 2655 2713 2768 2836 2873 2958 3037 3102 3189 3257 330 3306 3420 3442 3554 3618 3674 3735 3826 3891 392 3981 4018 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 710 787 871 936 a 1015 1097 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2191 2297 2318 2449 2516 2578 2655 2713 2768 2836 2873 2958 3037 3102 3189 3257 330 3306 3420 3442 3554 3618 3674 3735 3826 3891 392 3981 4018 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 653 710 787 871 936 a 1015 1097 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2191 2297 2318 2449 249 2516 2578 2655 2713 2768 2836 2873 2958 3037 3102 3257 330 3306 3420 3442 3554 3618 3674 3735 3826 3891 392 3981 4018 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 653 710 787 871 936 a 1015 1097 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2191 2297 2318 2449 249 2516 2578 2655 2713 2768 2836 2873 2958 3037 3102 3257 330 3306 3420 3442 3554 3618 3674 3735 3826 3891 392 3981 4018 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 653 710 787 871 943 a 1015 1097 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2191 2297 2318 2449 249 2516 2578 2655 2713 2768 2836 2958 3037 3102 3153 3257 330 3306 3420 3442 3554 3618 3674 3735 3826 3891 392 3981 4018 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 653 710 787 871 943 a 1015 1097 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2191 2297 2318 2449 249 2516 2578 2655 2713 2768 2836 2958 3037 3102 3153 3257 330 3306 3420 3442 3554 3618 3674 3735 3826 3891 392 3981 4018 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 656 710 787 871 943 a 1015 1073 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2191 2297 2318 2449 249 2516 2578 2655 2713 2768 2836 2958 3037 3102 3153 3257 330 3306 3420 3442 3554 3618 3674 3735 3826 3891 392 3981 4018 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 656 710 787 871 943 a 1015 1073 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2297 2318 2449 249 2516 2578 2655 2713 2768 2836 2891 2958 3037 3102 3153 3257 330 3306 3420 3442 3554 3618 3674 3735 3826 3891 392 3981 4018 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 656 710 787 871 943 a 1015 1073 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2297 2318 2449 249 2516 2578 2655 2713 2768 2847 2891 2958 3037 3102 3153 3257 330 3306 3420 3442 3554 3618 3674 3735 3826 3891 392 3981 4018 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 656 710 787 871 943 a 1015 1073 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2297 2318 2449 249 2516 2578 2655 2713 2768 2847 2891 2958 3037 3102 3153 3257 330 3306 3396 3442 3554 3618 3674 3735 3826 3891 392 3981 4018 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 656 710 787 871 943 a 1015 1073 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2297 2318 2449 249 2516 2578 2655 2713 2768 2847 2891 2958 3037 3102 3153 3257 330 3306 3396 3442 3554 3630 3674 3735 3826 3891 392 3981 4018 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 656 710 787 871 943 a 1015 1073 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2198 2297 2318 2449 249 2516 2578 2655 2713 2768 2847 2891 2958 3037 3102 3153 3257 330 3306 3396 3442 3554 3630 3674 3735 3826 3891 392 3981 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 656 710 787 871 943 a 1015 1073 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2198 2297 2318 2449 249 2516 2578 2655 2713 2768 2847 2891 2958 3037 3102 3153 3257 330 3306 3396 3442 3554 3630 3674 3735 3826 3891 392 3981 4108 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 656 710 787 871 943 a 1015 1073 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2198 2297 2318 2449 249 2516 2578 2655 2713 2768 2847 2891 2958 3037 3102 3153 3257 330 3306 3396 3442 3554 3630 3674 3735 3826 3891 392 3981 4108 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 656 724 787 871 943 a 1073 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2198 2297 2318 2449 249 2516 2578 2655 2713 2768 2847 2891 2958 3037 3102 3153 3257 330 3306 3396 3442 3554 3630 3674 3735 3826 3891 392 3981 4108 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 656 724 787 871 943 990 a 1073 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2198 2297 2318 2449 249 2516 2578 2655 2713 2768 2847 2905 2958 3037 3102 3153 3257 330 3306 3396 3442 3554 3630 3674 3735 3826 3891 392 3981 4108 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 656 724 787 871 943 990 a 1073 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2198 2297 2318 2449 249 2516 2578 2655 2713 2768 2847 2905 2958 3037 3102 3153 3257 330 3306 3396 3442 3554 3630 3674 3735 3826 3891 392 3981 4108 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 656 721 787 871 943 990 a 1073 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2198 2297 2318 234 2449 2516 2578 2655 2713 2768 2847 2905 2958 3037 3102 3153 3257 330 3306 3396 3442 3554 3630 3674 3735 3826 3891 392 3981 4108 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 656 721 787 871 943 990 a 1073 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2198 2297 2318 234 2449 2516 2578 2655 2713 2768 2847 2905 2958 3037 3102 3153 3257 330 3306 3396 3442 3554 3630 3674 3735 3826 3891 392 3981 4108 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 656 739 787 871 943 990 a 1073 1134 1210 122 1267 1392 1430 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2198 2297 2318 234 2449 2516 2578 2655 2713 2768 2847 2905 2958 3037 3102 3153 3257 330 3306 3396 3442 3554 3630 3674 3735 3826 3891 392 3981 4108 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 581 656 739 787 871 943 990 a 1073 1134 1210 122 1267 1392 1432 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2198 2297 2318 234 2449 2516 2578 2655 2713 2768 2847 2905 2958 3037 3102 3153 3257 330 3306 3396 3442 3554 3630 3674 3735 3826 3891 392 3981 4108 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 581 656 739 787 871 943 990 a 1073 1134 1210 122 1267 1392 1432 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2198 2297 2318 234 2449 2516 2578 2655 2713 2768 2905 2958 3037 3102 3153 3257 330 3306 3396 3442 3554 3630 3674 3735 3826 3891 392 3981 4020 4108 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 581 656 739 787 871 943 990 a 1073 1134 1210 122 1267 1392 1432 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2198 2297 2318 234 2449 2516 2578 2655 2713 2768 2810 2905 2958 3037 3102 3153 3257 330 3306 3396 3442 3554 3630 3674 3735 3826 3891 392 3981 4020 4108 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 581 656 739 787 871 943 a 1073 1134 1210 122 1267 1392 1432 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2198 2297 2318 234 2449 2516 2578 2655 2713 2768 2810 2905 2958 3037 3102 3153 3257 330 3306 3396 3442 3554 3617 3674 3735 3826 3891 392 3981 4020 4108 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 581 656 739 787 871 943 a 1073 1134 1210 122 1267 1392 1460 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2198 2297 2318 234 2449 2516 2578 2655 2713 2768 2810 2905 2958 3037 3102 3153 3257 330 3306 3396 3442 3554 3617 3674 3735 3826 3891 392 3981 4020 4108 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 581 656 739 787 871 943 a 1073 1134 1210 122 1267 1392 1460 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2198 2297 2318 234 2449 2516 2578 2655 2713 2768 2810 2905 2958 3037 3102 3153 3257 330 3306 3396 3442 3554 3617 3674 3735 3826 3891 392 3981 4020 4108 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 656 739 787 871 943 a 1001 1073 1134 1210 122 1267 1392 1460 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2198 2297 2318 234 2449 2516 2578 2655 2713 2768 2810 2905 2958 3037 3102 3153 3257 330 3306 3396 3442 3554 3617 3674 3735 3826 3891 392 3981 4020 4108 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 739 787 871 943 a 1001 1073 1146 1210 122 1267 1392 1460 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2198 2297 2318 234 2449 2516 2578 2655 2713 2768 2810 2905 2958 3037 3102 3153 3257 330 3306 3396 3442 3554 3617 3674 3735 3826 3891 392 3981 4020 4108 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 739 787 871 943 a 1001 1073 1146 1210 122 1267 1392 1460 1472 1610 1677 1720 1793 1839 1958 196 2011 2089 2163 2198 2297 2318 234 2449 2516 2578 2655 2713 2768 2810 2905 2958 3024 3102 3153 3257 330 3306 3396 3442 3554 3617 3674 3735 3826 3891 392 3981 4020 4108 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 739 787 871 943 a 1001 1073 1146 1210 122 1267 1392 1460 1472 1610 1677 1720 1777 1839 1958 196 2011 2089 2163 2198 2297 2318 234 2449 2516 2578 2655 2713 2768 2810 2905 2958 3024 3102 3153 3257 330 3306 3396 3442 3554 3617 3674 3735 3826 3891 392 3981 4020 4108 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 739 787 871 943 a 1001 1073 1146 1210 122 1267 1392 1460 1472 1610 1677 1720 1777 1839 1958 196 2011 2089 2163 2198 2297 2318 234 2449 2516 2578 2655 2713 2768 2810 2905 2958 3024 3102 3153 3257 330 3306 3396 3442 3554 3617 3674 3735 3826 3891 392 3963 4020 4108 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 539 55 592 739 787 871 943 a 1001 1073 1146 1210 122 1267 1392 1460 1472 1610 1677 1720 1777 1839 1958 196 2011 2089 2163 2198 2297 2318 234 2449 2516 2578 2655 2713 2768 2810 2905 2958 3024 3102 3153 3257 330 3306 3396 3442 3554 3617 3674 3735 3826 3891 392 3963 4020 4108 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4789 4894 55 592 691 739 787 871 943 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen070x070.col /BENCHMARKS/benchmark/queen/queen070x070_02_8683.dat" User time (seconds): 20.47 System time (seconds): 0.37 Percent of CPU this job got: 0% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:11:50 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): 194168 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 141172 Voluntary context switches: 448 Involuntary context switches: 3742 Swaps: 0 File system inputs: 12704 File system outputs: 17184 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0