c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen070x070_04_7426/sas_plan results/queen070x070_04_7426/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 122 1073 3895 1008 2776 2655 1472 2578 4215 2089 4283 3554 4351 2297 539 2713 739 239 3617 1677 3674 2184 4485 2345 1210 592 196 393 444 1392 3306 1697 2163 4419 3031 330 4020 2958 2873 55 4894 1267 4802 3118 3257 818 3735 2011 3442 1846 4079 2449 1958 2516 4621 862 4694 3788 2810 4136 1147 943 1460 1791 4594 1610 3396 3181 3960 t 2089 1008 1392 1137 4084 3554 4894 2345 1610 2191 2958 691 2011 1472 4419 3257 122 1267 4694 539 1223 2826 4136 3826 1782 3674 393 3892 589 3457 932 4351 1073 4791 3617 1958 218 2578 3735 736 1692 4621 196 3960 2713 850 4485 1839 2516 4594 2297 2163 3304 4283 4020 1677 1460 55 3121 4215 818 3189 2655 2768 2449 3030 3376 2873 465 a YES a 1008 1073 1147 1210 122 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 196 2011 2089 2163 2184 2297 2345 239 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 330 3306 3396 3442 3554 3617 3674 3735 3788 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 444 4485 4594 4621 4694 4802 4894 539 55 592 739 818 862 943 a 1008 1073 1147 1210 122 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 196 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 330 3306 3396 3442 3554 3617 3674 3735 3788 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 444 4485 4594 4621 4694 4802 4894 539 55 592 691 739 818 862 943 a 1008 1073 1147 1210 122 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 196 2011 2089 2163 218 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 330 3306 3396 3442 3554 3617 3674 3735 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 444 4485 4594 4621 4694 4802 4894 539 55 592 691 739 818 862 943 a 1008 1073 1147 1210 122 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 196 2011 2089 2163 218 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 330 3306 3396 3442 3554 3617 3674 3735 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 444 4485 4594 4621 4694 4802 4894 539 55 592 691 729 818 862 943 a 1008 1073 1147 1210 122 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 196 2011 2089 2163 218 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 330 3306 3396 3442 3554 3617 3674 3735 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 444 4485 4594 4621 4694 4802 4894 539 55 592 691 729 818 879 943 a 1008 1073 1147 1210 122 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 196 2011 2089 2163 218 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 330 3306 3396 3442 3554 3617 3674 3735 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 444 4485 4594 4621 4694 4802 4894 539 55 592 691 729 818 879 932 a 1008 1073 1153 1210 122 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 196 2011 2089 2163 218 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 330 3306 3396 3442 3554 3617 3674 3735 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 444 4485 4594 4621 4694 4802 4894 539 55 592 691 729 818 879 932 a 1008 1073 1153 1210 122 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 196 2011 2089 2163 218 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 330 3306 3396 3442 3554 3617 3674 3735 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 592 691 729 818 879 932 a 1008 1073 1153 1210 122 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 196 2011 2089 2163 218 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 304 3118 3181 3257 3306 3396 3442 3554 3617 3674 3735 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 592 691 729 818 879 932 a 1008 1073 1153 1210 122 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 196 2011 2089 2163 218 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 304 3118 3181 3257 3306 3396 3480 3554 3617 3674 3735 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 592 691 729 818 879 932 a 1008 1073 1153 1210 122 1267 1392 1460 1472 1610 1677 1697 1846 1958 196 2011 2089 2163 218 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 304 3118 3181 3257 3306 3396 3480 3554 3617 3674 3735 3792 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 592 691 729 818 879 932 a 1008 1073 1153 1210 122 1267 1392 1460 1472 1610 1677 1697 1786 1846 1958 196 2011 2089 2163 218 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 304 3118 3181 3257 3306 3480 3554 3617 3674 3735 3792 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 592 691 729 818 879 932 a 1008 1073 1153 1210 122 1267 1392 1460 1472 1610 1677 1697 1786 1846 1958 196 2011 2089 2163 218 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 304 3118 3181 3257 3306 3374 3480 3554 3617 3674 3735 3792 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 592 691 729 818 879 932 a 1008 1073 1153 1210 122 1267 1392 1460 1472 1610 1677 1697 1786 1846 1958 196 2011 2089 2163 218 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 304 3051 3118 3181 3257 3306 3374 3480 3554 3617 3674 3735 3792 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 592 691 729 818 879 932 a 1008 1073 1153 1210 122 1267 1392 1460 1472 1610 1677 1697 1786 1846 1958 196 2011 2089 2163 218 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 304 3051 3118 3181 3257 3306 3374 3480 3554 3617 3674 3735 3792 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 581 691 729 818 879 932 a 1008 1073 1153 1210 122 1267 1392 1460 1472 1610 1677 1697 1786 1846 1958 196 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 304 3051 3118 3181 3257 3374 3480 3554 3617 3674 3735 3792 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 581 691 729 818 879 932 a 1008 1073 1153 1210 122 1267 1392 1460 1472 1610 1677 1697 1786 1846 1958 196 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2776 2873 2958 304 3051 3118 3181 3257 3300 3374 3480 3554 3617 3674 3735 3792 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 581 691 729 818 879 932 a 1008 1073 1153 1210 122 1267 1392 1460 1472 1610 1677 1697 1786 1846 1958 196 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2776 2873 2958 304 3051 3118 3181 3257 3300 3374 3480 3554 3617 3674 3735 3792 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 592 691 729 818 879 932 a 1008 1073 1153 1210 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2776 2873 2958 304 3051 3118 3181 3257 3300 3374 3480 3554 3617 3674 3735 3792 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 592 691 729 818 879 932 a 1008 1073 1153 1210 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 304 3051 3118 3181 3257 3374 3480 3554 3617 3674 3735 3792 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 592 691 729 818 879 932 a 1008 1073 1153 1200 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 304 3051 3118 3181 3257 3374 3480 3554 3617 3674 3735 3792 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 592 691 729 818 879 932 a 1008 1073 1153 1200 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 304 3051 3118 3181 3257 3306 3374 3480 3554 3617 3674 3735 3792 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 592 691 729 818 879 932 a 1008 1073 1153 1200 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 304 3051 3118 3181 3257 3306 3374 3480 3554 3617 3674 3735 3792 3895 393 3960 4020 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 592 691 729 818 879 932 a 1008 1073 1153 1200 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 304 3051 3118 3181 3257 3306 3374 3480 3554 3617 3674 3735 3792 3895 393 3960 4020 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 592 691 720 818 879 932 a 1008 1073 1153 1200 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 304 3051 3118 3181 3257 3306 3374 3480 3554 3617 3674 3735 3792 3895 393 3960 4020 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4789 4894 539 55 592 691 720 818 879 932 a 1008 1073 1153 1200 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 304 3051 3118 3181 3257 3306 3374 3554 3617 3674 3735 3792 3895 393 3960 4020 4110 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4789 4894 539 55 592 691 720 818 879 932 a 1008 1073 1153 1200 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 304 3051 3118 3181 3257 3306 3374 3554 3617 3674 3735 3792 3895 393 3960 4020 4110 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 592 691 720 818 879 932 a 1008 1073 1153 1219 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 304 3051 3118 3181 3257 3306 3374 3554 3617 3674 3735 3792 3895 393 3960 4020 4110 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 592 691 720 818 879 932 a 1008 1073 1153 1219 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 290 2958 3051 3118 3181 3257 3306 3374 3554 3617 3674 3735 3792 3895 393 3960 4020 4110 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 592 691 720 818 879 932 a 1008 1073 1153 1219 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 290 2958 3051 3118 3181 3257 3306 3374 3554 3617 3674 3735 3792 3895 393 3960 4020 4110 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 584 691 720 818 879 932 a 1008 1073 1153 1219 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 290 2958 3051 3118 3182 3257 3306 3374 3554 3617 3674 3735 3792 3895 393 3960 4020 4110 4136 4215 4283 4351 4419 447 4485 4594 4621 4694 4802 4894 539 55 584 691 720 818 879 932 a 1008 1073 1153 1219 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 290 2958 3051 3118 3182 3257 3306 3374 3457 3554 3617 3674 3735 3792 3895 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894 539 55 584 691 720 818 879 932 a 1008 1073 1153 1219 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 290 2958 3051 3118 3182 3257 3306 3374 3457 3554 3617 3674 3735 3792 3895 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894 539 55 584 691 720 818 871 932 a 1008 1073 1153 1219 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 290 2958 3051 3118 3182 3257 3306 3374 3457 3554 3617 3674 3735 3792 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4802 4894 539 55 584 691 720 818 871 932 a 1008 1073 1153 1219 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 290 2958 3051 3118 3182 3257 3306 3374 3457 3554 3617 3674 3735 3792 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4799 4894 539 55 584 691 720 818 871 932 a 1008 1073 1153 1219 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 290 2958 3051 3118 3257 3306 3374 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4799 4894 539 55 584 691 720 818 871 932 a 1008 1073 1153 1219 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 290 2958 3051 3118 3257 3306 3374 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4799 4894 539 55 592 691 720 818 871 932 a 1008 1073 1153 1219 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 304 3051 3118 3257 3306 3374 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4799 4894 539 55 592 691 720 818 871 932 a 1008 1073 1153 1200 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 304 3051 3118 3257 3306 3374 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4799 4894 539 55 592 691 720 818 871 932 a 1008 1073 1153 1200 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2189 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 304 3051 3118 3257 3306 3374 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4799 4894 539 55 589 691 720 818 871 932 a 1008 1073 1153 1200 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 304 3051 3118 3169 3257 3306 3374 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4799 4894 539 55 589 691 720 818 871 932 a 1008 1073 1153 1200 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 304 3051 3118 3169 3257 3374 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4799 4894 539 55 589 691 720 818 871 932 a 1008 1073 1153 1206 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 304 3051 3118 3169 3257 3374 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4799 4894 539 55 589 691 720 818 871 932 a 1008 1073 1153 1206 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 290 2958 3051 3118 3169 3257 3374 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4799 4894 539 55 589 691 720 818 871 932 a 1008 1073 1153 1206 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 290 2958 3051 3118 3169 3257 3374 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4799 4894 539 55 589 691 720 818 864 932 a 1008 1073 1153 1206 122 1267 1392 1460 1472 1610 1677 1701 1786 1846 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 290 2958 3051 3118 3169 3257 3374 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 720 818 864 932 a 1008 1073 1153 1206 122 1267 1392 1460 1472 1610 1701 1786 1846 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 290 2958 3051 3118 3169 3257 3357 3374 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 720 818 864 932 a 1008 1073 1153 1206 122 1267 1392 1460 1472 1610 1649 1701 1786 1846 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 290 2958 3051 3118 3169 3257 3357 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 720 818 864 932 a 1008 1073 1153 1206 122 1267 1392 1460 1472 1610 1649 1701 1786 1834 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 290 2958 3051 3118 3169 3257 3357 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 720 818 864 932 a 1008 1073 1153 1206 122 1267 1392 1460 1472 1610 1649 1701 1786 1834 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 290 2958 3051 3118 3169 3257 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 720 818 864 932 a 1008 1073 1153 1206 122 1267 1392 1460 1472 1610 1649 1701 1786 1846 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 290 2958 3051 3118 3169 3257 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 720 818 864 932 a 1008 1073 1153 1206 122 1267 1392 1460 1472 1610 1649 1701 1846 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 290 2958 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 720 818 864 932 a 1008 1073 1153 1206 122 1267 1392 1460 1472 1610 1649 1701 1846 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3118 316 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 720 818 864 932 a 1008 1073 1153 1206 122 1267 1392 1460 1472 1610 1649 1701 1846 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3090 316 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 720 818 864 932 a 1008 1073 1153 1206 1267 1392 1460 1472 1610 1649 1701 1802 1846 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2776 2817 2873 2958 3051 3090 316 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 720 818 864 932 a 1008 1073 1153 116 1206 1267 1392 1460 1472 1610 1649 1701 1802 1846 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2817 2873 2958 3051 3090 316 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 720 818 864 932 a 1008 1073 1153 116 1206 1267 1392 1460 1472 1610 1649 1701 1802 1846 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2817 2873 2958 3051 3118 316 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 720 818 864 932 a 1008 1073 1153 116 1206 1267 1392 1460 1472 1610 1649 1701 1802 1846 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2810 2873 2958 3051 3118 316 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 720 818 864 932 a 1008 1073 1153 116 1206 1267 1392 1460 1472 1610 1649 1701 1802 1846 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2810 2873 2958 297 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 720 818 864 932 a 1008 1073 1153 116 1206 1267 1392 1460 1472 1610 1649 1701 1802 1846 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2810 2873 2958 297 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 864 932 a 1008 1073 1153 1206 1267 1392 1460 1472 1610 1649 1701 1802 1846 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 297 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 864 932 a 1008 1073 1153 1206 122 1267 1392 1460 1472 1610 1649 1701 1846 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 297 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 864 932 a 1008 1073 1153 1206 122 1267 1392 1460 1610 1649 1701 1752 1846 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 297 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 864 932 a 1008 1073 1153 122 1267 1392 1460 1490 1610 1649 1701 1752 1846 1958 196 2011 2089 2163 218 2202 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 297 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 864 932 a 1008 1073 1153 122 1267 1392 1460 1490 1610 1649 1701 1752 1846 1958 196 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 297 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 864 932 a 1008 1073 1153 122 1236 1267 1392 1460 1490 1610 1649 1701 1752 1846 1958 196 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2810 2873 2958 297 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 864 932 a 1008 1073 1153 122 1236 1267 1392 1460 1490 1610 1649 1701 1782 1846 1958 196 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2810 2873 2958 297 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 864 932 a 1008 1073 1153 122 1236 1267 1392 1460 1472 1610 1649 1701 1782 1846 1958 196 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2810 2873 2958 297 3051 3118 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 864 932 a 1008 1073 1153 122 1236 1267 1392 1460 1472 1610 1649 1701 1782 1846 1958 196 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 297 3051 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 864 932 a 1008 1073 1153 122 1236 1267 1392 1460 1472 160 1610 1649 1701 1782 1846 1958 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 297 3051 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 864 932 a 1008 1073 1153 122 1236 1267 1392 1460 1472 160 1610 1649 1701 1782 1846 1958 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 297 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4110 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 932 a 1008 1073 1153 122 1236 1267 1392 1460 1472 160 1610 1649 1701 1782 1846 1958 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 297 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 932 a 1008 1073 1153 122 1236 1267 1392 1460 1472 160 1610 1649 1701 1782 1846 1958 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3051 3136 3169 3257 330 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 932 a 1008 1073 1137 122 1236 1267 1392 1460 1472 160 1610 1649 1701 1782 1846 1958 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3051 3136 3169 3257 330 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 932 a 1008 1073 1137 122 1267 1392 1460 1472 160 1610 1649 1701 1782 1846 1958 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3051 3136 3169 3257 330 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 886 932 a 1008 1073 1137 1200 122 1267 1392 1460 1472 160 1610 1649 1701 1782 1846 1958 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2768 2873 2958 3051 3136 3169 3257 330 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 886 932 a 1008 1073 1137 1200 122 1267 1392 1460 1472 160 1610 1649 1701 1782 1846 1958 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 886 932 a 1008 1073 1137 122 1267 1392 1460 1472 160 1610 1649 1701 1782 1846 1958 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 290 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 886 932 a 1008 1073 1137 122 1223 1267 1392 1460 1472 160 1610 1701 1782 1846 1958 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 290 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 886 932 a 1008 1073 1137 122 1223 1267 1392 1460 1472 160 1610 1701 1782 1846 1958 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 290 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3792 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4799 4894 539 55 589 691 736 818 886 932 a 1008 1073 1137 122 1223 1267 1392 1460 1472 160 1610 1701 1782 1846 1958 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 290 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3811 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4799 4894 539 55 589 691 736 818 886 932 a 1008 1073 1137 122 1223 1267 1392 1460 1472 160 1610 1692 1782 1846 1958 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 290 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3811 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4799 4894 539 55 589 691 736 818 886 932 a 1008 1073 1137 122 1223 1267 1392 1460 1472 160 1610 1636 1692 1782 1958 2011 2089 2163 218 2186 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 290 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3811 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4799 4894 539 55 589 691 736 818 886 932 a 1008 1073 1137 122 1223 1267 1392 1460 1472 160 1610 1636 1692 1782 1958 2011 2089 2163 218 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 290 2958 3051 3136 3169 3257 3304 3427 3457 3554 3617 3674 3735 3811 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4799 4894 539 55 589 691 736 818 886 932 a 1008 1073 1137 122 1223 1267 1392 1460 1472 160 1610 1636 1692 1782 1839 1958 2011 2089 2163 218 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 290 2958 3051 3136 3257 3304 3427 3457 3554 3617 3674 3735 3811 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4799 4894 539 55 589 691 736 818 886 932 a 1008 1073 1137 122 1223 1267 1392 1460 1472 160 1610 1636 1692 1782 1839 1958 2011 2089 2163 218 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 290 2958 3051 3136 3257 3304 3376 3457 3554 3617 3674 3735 3811 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4799 4894 539 55 589 691 736 818 886 932 a 1008 1073 1137 122 1223 1267 1392 1460 1472 160 1610 1636 1692 1782 1839 1958 2011 2089 2163 218 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 290 2958 3077 3136 3257 3304 3376 3457 3554 3617 3674 3735 3811 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4799 4894 539 55 589 691 736 818 886 932 a 1008 1073 1137 122 1223 1267 1392 1460 1472 160 1610 1636 1692 1782 1839 1958 2011 2089 2163 218 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 290 2958 3077 3136 3189 3257 3304 3376 3457 3554 3617 3674 3735 3811 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4894 539 55 589 691 736 818 886 932 a 1008 1073 1137 122 1223 1267 1392 1460 1472 160 1610 1636 1692 1782 1839 1958 2011 2089 2163 218 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 290 2958 3077 3136 3189 3257 3304 3376 3457 3554 3617 3674 3735 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 886 932 a 1008 1073 1137 122 1223 1267 1392 1460 1472 160 1610 1636 1692 1782 1839 1958 2011 2089 2163 218 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 290 2958 3077 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 886 932 a 1008 1073 1137 122 1223 1267 1392 1460 1472 160 1610 1636 1692 1782 1839 1958 2011 2089 2163 218 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 290 2958 3077 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 932 a 1008 1073 1137 122 1223 1267 1392 1460 1472 1610 1636 1692 1782 1839 1958 196 2011 2089 2163 218 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 290 2958 3077 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 932 a 1008 1073 1137 122 1223 1267 1392 1460 1472 1610 1636 1692 1782 1839 1958 196 2011 2089 2163 218 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 2958 3077 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 850 932 a 1008 1073 1137 122 1223 1267 1392 1460 1472 1610 1636 1692 1782 1839 1958 196 2011 2089 2163 218 2191 2297 2345 2449 2516 2578 2655 2713 2768 2850 2873 2958 3030 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 850 932 a 1008 1073 1137 122 1223 1267 1392 1460 1472 1610 1636 1692 1782 1839 1958 196 2011 2089 2163 218 2191 2297 2345 2449 2516 2578 2655 2713 2768 2873 2958 3030 3121 3189 3257 330 3304 3376 3457 3554 3617 3674 3735 3826 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 850 932 a 1008 1073 1137 122 1223 1267 1392 1460 1472 1610 1692 1782 1839 1958 196 2011 2089 2163 218 2191 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3030 3121 3189 3257 330 3304 3376 3457 3554 3617 3674 3735 3826 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 850 932 a 1008 1073 1137 122 1223 1267 1392 1460 1472 1610 1677 1692 1782 1839 1958 196 2011 2089 2163 218 2191 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3030 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 393 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4791 4894 539 55 589 691 736 818 850 932 Command being timed: "python3 /SOLVER/shortest/run.py submission sas split /BENCHMARKS/benchmark/queen/queen070x070.col /BENCHMARKS/benchmark/queen/queen070x070_04_7426.dat" User time (seconds): 43.46 System time (seconds): 0.26 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:43.75 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): 194104 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 99113 Voluntary context switches: 114 Involuntary context switches: 4327 Swaps: 0 File system inputs: 0 File system outputs: 17216 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0