c Running for 10 seconds: python3 /SOLVER/mip/check-unsolvability.py /BENCHMARKS/benchmark/queen/queen070x070.col /BENCHMARKS/benchmark/queen/queen070x070_01_1828.dat c Running for 4200 seconds: python3 /SOLVER/fd/fast-downward.py --overall-memory-limit 16G --plan-file results/queen070x070_01_1828/sas_plan results/queen070x070_01_1828/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_01_1828/sas_plan results/queen070x070_01_1828/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 1472 3118 2345 943 393 1210 4894 739 3306 4079 4136 4594 1846 1610 1008 4694 55 330 3442 196 2449 1958 3554 4215 1791 4283 4020 3396 1073 1697 2958 2163 2810 239 3895 4802 2011 3181 1460 2516 4419 444 1267 1392 2089 2873 2184 2776 1147 4351 2655 3617 2578 3031 4485 862 2297 2713 818 539 3674 1677 4621 3960 691 592 122 3257 3735 t 2516 871 465 3169 2836 3438 4136 943 2578 2776 4215 2873 1212 4419 3735 330 1793 4017 1152 1472 1267 4485 4694 55 3964 3320 739 196 1008 570 4807 4621 787 4283 1392 1958 4590 3674 3118 691 2191 1855 3374 3792 2089 2713 3891 3257 122 1696 1610 2655 2297 2011 3030 1677 4351 1073 3554 234 1460 2958 4089 3618 4894 392 2163 2449 2336 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 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 2184 2297 2345 239 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 330 3306 3396 3438 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 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 3438 3554 3617 3674 3735 3792 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 1772 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 3438 3554 3617 3674 3735 3792 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 444 4485 4594 4621 4694 4802 4894 539 55 592 691 739 818 943 a 1008 1073 1147 1210 122 1267 1392 1460 1472 1610 1677 1697 1772 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 3438 3554 3617 3674 3735 3792 3895 393 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894 539 55 592 691 739 818 864 943 a 1008 1073 1147 1210 122 1267 1392 1460 1472 1610 1677 1697 1772 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 3438 3554 3617 3674 3735 3792 393 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4802 4894 539 55 592 691 739 818 864 943 a 1008 1073 1147 1210 122 1267 1392 1460 1472 1610 1677 1697 1772 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 3438 3554 3617 3674 3735 3792 393 3961 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 465 4694 4802 4894 539 55 592 691 739 818 864 943 a 1008 1073 1147 1210 122 1267 1392 1460 1472 1610 1677 1697 1772 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 3438 3554 3617 3674 3735 3792 393 3961 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4802 4894 539 55 592 691 739 818 864 943 a 1008 1073 1147 122 1234 1267 1392 1460 1472 1610 1677 1697 1772 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 3438 3554 3617 3674 3735 3792 393 3961 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4802 4894 539 55 592 691 739 818 864 943 a 1008 1073 1147 122 1234 1267 1392 1460 1472 1610 1677 1697 1772 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 3438 3554 3617 3674 3735 3792 393 3961 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4802 4894 539 55 592 691 739 790 864 943 a 1008 1073 1147 122 1234 1267 1392 1460 1472 1610 1677 1697 1772 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 3438 3554 3617 3674 3735 3792 393 3961 4020 4108 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4802 4894 539 55 592 691 739 790 864 943 a 1008 1073 1147 122 1234 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 196 2011 2089 2163 2184 229 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 330 3306 3396 3438 3554 3617 3674 3735 3792 393 3961 4020 4108 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4802 4894 539 55 592 691 739 790 864 943 a 1008 1073 1147 122 1234 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 196 2011 2089 2163 2184 229 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 330 3306 3396 3438 3554 3617 3674 3735 3792 393 3961 4020 4108 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4802 4894 539 55 589 691 739 790 864 943 a 1008 1073 1147 122 1234 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 196 2011 2089 2163 2184 229 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3182 3257 330 3306 3396 3438 3554 3617 3674 3735 3792 393 3961 4020 4108 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4802 4894 539 55 589 691 739 790 864 943 a 1008 1073 1147 122 1234 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 196 2011 2089 2163 2184 229 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3118 3182 3257 330 3306 3396 3438 3554 3617 3674 3735 3792 3871 393 3961 4020 4108 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4802 4894 539 55 589 691 739 790 864 943 a 1008 1073 1147 122 1234 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 196 2011 2089 2163 2184 229 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3118 3182 3257 330 3306 3396 3438 3554 3617 3674 3735 3792 3871 393 3961 4020 4108 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4791 4894 539 55 589 691 739 790 864 943 a 1008 1073 1147 122 1234 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 196 2011 2089 2163 2184 229 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3118 3182 3257 330 3306 3396 3438 3554 3617 3674 3735 3792 3871 393 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4791 4894 539 55 589 691 739 790 864 943 a 1008 1073 1168 122 1234 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 196 2011 2089 2163 2184 229 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3118 3182 3257 330 3306 3396 3438 3554 3617 3674 3735 3792 3871 393 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4791 4894 539 55 589 691 739 790 864 943 a 1008 1073 1168 122 1234 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 196 2011 2089 2163 2184 2297 2345 237 2449 2516 2578 2655 2713 2776 2810 2873 2958 3118 3182 3257 330 3306 3396 3438 3554 3617 3674 3735 3792 3871 393 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4791 4894 539 55 589 691 739 790 864 943 a 1008 1073 1168 122 1234 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 196 2011 2089 2163 2184 2297 2345 237 2449 2516 2578 2655 2713 2776 2819 2873 2958 3118 3182 3257 330 3306 3396 3438 3554 3617 3674 3735 3792 3871 393 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4791 4894 539 55 589 691 739 790 864 943 a 1008 1073 1168 122 1234 1267 1392 1460 1472 1610 1677 1690 1772 1846 1958 196 2011 2089 2163 2184 2297 2345 237 2449 2516 2578 2655 2713 2776 2819 2873 2958 3118 3182 3257 330 3306 3396 3438 3554 3617 3674 3735 3792 3871 393 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4791 4894 539 55 589 691 739 790 864 943 a 1008 1073 1168 122 1234 1267 1392 1460 1472 1610 1677 1690 1772 1846 1958 196 2011 2089 2163 2184 2297 2345 237 2449 2516 2578 2655 2713 2776 2819 2873 2958 3118 3182 3257 330 3306 3396 3438 3554 3617 3674 3735 3792 3871 393 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4791 4894 539 55 589 691 739 787 864 943 a 1008 1073 1168 122 1234 1267 1392 1460 1472 1610 1677 1690 1772 1846 1958 196 2011 2089 2163 2184 2297 2345 237 2449 2516 2578 2655 2713 2776 2819 2873 2958 3030 3118 3182 3257 330 3396 3438 3554 3617 3674 3735 3792 3871 393 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4791 4894 539 55 589 691 739 787 864 943 a 1008 1073 1168 122 1234 1267 1392 1460 1472 1610 1677 1690 1772 1846 1958 196 2011 2089 2163 2184 2297 2345 237 2449 2516 2578 2655 2713 2776 2819 2873 2958 3030 3118 3182 3257 330 3396 3438 3554 3617 366 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4791 4894 539 55 589 691 739 787 864 943 a 1008 1073 1168 122 1234 1267 1392 1460 1472 1610 1677 1690 1772 1846 1958 196 2011 2089 2163 2184 2297 2345 237 2449 2516 2578 2655 2713 2776 2819 2873 2958 3030 3118 3182 3257 330 3396 3438 3554 3617 366 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4791 4894 533 55 589 691 739 787 864 943 a 1008 1073 1168 122 1234 1267 1392 1460 1472 1610 1677 1690 1772 1846 1958 196 2011 2089 2163 2184 2297 2345 237 2449 2516 2578 2655 2713 2776 2819 2873 2958 3030 3118 3182 3257 330 3396 3438 3554 3617 366 3674 3735 3792 3871 3961 4039 4102 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4791 4894 533 55 589 691 739 787 864 943 a 1008 1073 1168 122 1234 1267 1392 1472 1610 1677 1690 1772 1846 1958 196 2011 2089 2163 2184 2297 2345 237 2449 2516 2578 2655 2713 2776 2819 2873 2958 3030 3118 3182 3257 330 3350 3396 3438 3554 3617 366 3674 3735 3792 3871 3961 4039 4102 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4791 4894 533 55 589 691 739 787 864 943 a 1008 1073 1168 122 1234 1267 1392 1436 1472 1610 1677 1690 1772 1846 1958 196 2011 2089 2163 2184 2297 2345 237 2449 2516 2578 2655 2713 2776 2819 2873 2958 3030 3118 3182 3257 330 3350 3438 3554 3617 366 3674 3735 3792 3871 3961 4039 4102 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4791 4894 533 55 589 691 739 787 864 943 a 1008 1073 1168 122 1234 1267 1392 1436 1472 1610 1677 1690 1772 1846 1958 196 2011 2089 2163 2184 2297 2345 237 2449 2516 2578 2655 2713 2776 2819 2873 2958 3030 3118 3182 3257 330 3350 3438 3554 3617 366 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4791 4894 533 55 589 691 739 787 864 943 a 1008 1073 1168 122 1234 1267 1392 1436 1472 1610 1677 1690 1772 1846 1958 196 2011 2089 2163 2219 2297 2345 237 2449 2516 2578 2655 2713 2776 2819 2873 2958 3030 3118 3182 3257 330 3350 3438 3554 3617 366 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4791 4894 533 55 589 691 739 787 864 943 a 1008 1073 1168 122 1234 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 196 2011 2089 2163 2219 2297 2345 237 2449 2516 2578 2655 2713 2776 2819 2873 2958 3030 3118 3182 3257 330 3350 3438 3554 3617 366 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4791 4894 533 55 589 691 739 787 864 943 a 1008 1073 122 1234 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 196 2011 2089 2163 2219 2297 2345 237 2449 2516 2578 2655 2713 2776 2819 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 3617 366 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4791 4894 533 55 589 691 739 787 864 943 a 1008 1073 1139 122 1234 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 196 2011 2089 2163 2219 2297 2345 237 2449 2516 2578 2655 2713 2776 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 3617 366 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4791 4894 533 55 589 691 739 787 864 943 a 1008 1073 1139 122 1234 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 196 2011 2089 2163 2219 2297 2336 237 2449 2516 2578 2655 2713 2776 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 3617 366 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4791 4894 533 55 589 691 739 787 864 943 a 1008 1073 1139 122 1234 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 196 2011 2089 2163 2219 2297 2336 237 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 3617 366 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4590 4621 465 4694 4791 4894 533 55 589 691 739 787 864 943 a 1008 1073 1139 122 1234 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 196 2011 2089 2163 2219 2297 2336 237 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 3617 366 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4515 4590 4621 465 4694 4894 533 55 589 691 739 787 864 943 a 1008 1073 1139 122 1234 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 196 2011 2089 2163 2219 2297 2336 237 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 366 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4515 4590 4621 465 4694 4807 4894 533 55 589 691 739 787 864 943 a 1008 1073 1139 122 1234 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 196 2011 2089 2163 2219 2297 2336 237 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 366 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4515 4590 4621 465 4694 4807 4894 533 55 589 691 739 787 871 943 a 1008 1073 1139 122 1234 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 196 2011 2089 2163 2219 2297 2336 237 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 366 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4515 4590 4621 465 4694 4807 4894 514 55 589 691 739 787 871 943 a 1008 1073 1139 122 1234 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 196 2011 2089 2163 2219 2297 2336 237 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 3674 3735 3792 3871 393 3961 4020 4102 4136 4215 4283 4351 4419 4515 4590 4621 465 4694 4807 4894 514 55 589 691 739 787 871 943 a 1008 1073 1139 1206 122 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 196 2011 2089 2163 2219 2297 2336 237 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 3674 3735 3792 3871 393 3961 4020 4102 4136 4215 4283 4351 4419 4515 4590 4621 465 4694 4807 4894 514 55 589 691 739 787 871 943 a 1008 1073 1139 1206 122 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 196 2011 2089 2163 2219 2297 2336 237 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 3674 3735 3792 3871 393 3961 4020 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 589 691 739 787 871 943 a 1008 1073 1139 1206 122 1267 1392 1436 1472 1610 1677 1690 1772 1855 1958 196 2011 2089 2163 2219 2297 2336 237 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 3674 3735 3792 3871 393 3961 4020 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 589 691 739 787 871 943 a 1008 1073 1139 1206 122 1267 1392 1436 1472 1610 1677 1690 1772 1855 1958 196 2011 2089 2163 2219 224 2297 2336 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 3674 3735 3792 3871 393 3961 4020 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 589 691 739 787 871 943 a 1008 1073 1139 1206 122 1267 1392 1436 1472 1610 1677 1690 1772 1855 1958 196 2011 2089 2163 2219 224 2297 2336 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 3674 3735 3792 3871 393 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 589 691 739 787 871 943 a 1008 1073 1139 1206 122 1267 1392 1430 1472 1610 1677 1690 1772 1855 1958 196 2011 2089 2163 2219 224 2297 2336 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 3674 3735 3792 3871 393 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 589 691 739 787 871 943 a 1008 1073 1139 1206 122 1267 1392 1430 1472 1610 1677 1690 1772 1855 1958 196 2011 2089 2163 2219 224 2297 2336 2449 2516 2578 2655 2713 2776 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 3575 3674 3735 3792 3871 393 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 589 691 739 787 871 943 a 1008 1073 1139 1206 122 1267 1392 1430 1472 1610 1677 1690 1772 1855 1958 196 2011 2089 2163 2219 224 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 3575 3674 3735 3792 393 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 589 691 739 787 871 943 a 1008 1073 1139 1206 122 1267 1392 1430 1472 1610 1677 1690 1772 1855 1958 196 2011 2089 2163 2191 224 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 3575 3674 3735 3792 393 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 589 691 739 787 871 943 a 1008 1073 1139 1206 122 1267 1392 1430 1472 1610 1677 1690 1772 1855 1958 196 2011 2089 2163 2191 224 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 3575 3674 3735 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 589 691 739 787 871 943 a 1008 1073 1139 1206 122 1267 1392 1430 1472 1610 1677 1772 1855 1958 196 2011 2089 2163 2191 224 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 3575 360 3674 3735 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 589 691 739 787 871 943 a 1008 1073 1139 122 1267 1392 1430 1472 1610 1677 1696 1772 1855 1958 196 2011 2089 2163 2191 224 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 3575 360 3674 3735 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 589 691 739 787 871 943 a 1008 1073 1209 122 1267 1392 1430 1472 1610 1677 1696 1772 1855 1958 196 2011 2089 2163 2191 224 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3182 3257 330 3350 3408 3438 3554 3575 360 3674 3735 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 589 691 739 787 871 943 a 1008 1073 1152 1209 122 1267 1392 1430 1472 1610 1677 1696 1772 1855 1958 196 2011 2089 2163 2191 224 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3257 330 3350 3408 3438 3554 3575 360 3674 3735 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 589 691 739 787 871 943 a 1008 1073 1152 122 1267 1392 1430 1472 1610 1677 1696 1772 1855 1958 196 2011 2089 2163 2191 224 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3408 3438 3554 3575 360 3674 3735 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 589 691 739 787 871 943 a 1008 1073 1152 122 1267 1392 1430 1472 1610 1677 1696 1772 1855 1958 196 2011 2089 2163 2191 224 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3408 3438 3554 3575 360 3674 3735 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 589 691 739 787 871 959 a 1008 1073 1152 1219 122 1267 1392 1430 1472 1610 1677 1696 1772 1855 1958 196 2011 2089 2163 2191 224 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3408 3438 3554 3575 360 3674 3735 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 691 739 787 871 959 a 1008 1073 1152 1219 122 1267 1392 1430 1472 1610 1677 1696 1772 1855 1958 196 2011 2089 2163 2191 224 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3408 3438 3554 3575 3674 3735 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 570 691 739 787 871 959 a 1008 1073 1152 122 1267 1392 1430 1472 1610 1677 1696 1772 1855 1958 196 2011 2089 2163 2191 224 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3408 3438 3554 3575 3674 3735 379 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 570 691 739 787 871 959 a 1008 1073 1152 122 1267 1392 1430 1472 1610 1677 1696 1772 1855 1958 196 2011 2089 2163 2191 224 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3408 3438 3554 3575 3674 3735 379 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 570 691 739 787 871 943 a 1008 1073 1152 1212 122 1267 1392 1430 1472 1610 1677 1696 1855 1958 196 2011 2089 2163 2191 224 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3408 3438 3554 3575 3674 3735 379 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 570 691 739 787 871 943 a 1008 1073 1152 1212 122 1267 1392 1430 1472 1610 1677 1696 1793 1855 1958 196 2011 2089 2163 2191 224 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3408 3438 3554 3575 3674 3735 379 3792 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 570 691 739 787 871 943 a 1008 1073 1152 1212 122 1267 1392 1430 1472 1610 1677 1696 1793 1855 1958 2011 2089 2163 2191 224 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3408 3438 3554 3575 3674 3735 379 3792 3906 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 570 691 739 787 871 943 a 1008 1073 1152 1212 122 1267 1392 1430 1472 154 1610 1677 1696 1793 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3408 3438 3554 3575 3674 3735 379 3792 3906 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 514 55 570 691 739 787 871 943 a 1008 1073 1152 1212 122 1267 1392 1430 1472 154 1610 1677 1696 1793 1855 1958 2011 2089 2163 2191 2297 2336 234 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3408 3438 3554 3575 3674 3735 379 3792 3906 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 55 570 691 739 787 871 943 a 1008 1073 1152 1212 122 1267 1392 1430 1472 154 1610 1677 1696 1793 1855 1958 2011 2089 2163 2191 2297 2336 234 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3408 3438 3554 3674 3735 379 3792 3906 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 495 55 570 691 739 787 871 943 a 1008 1073 1152 1212 122 1267 1392 1430 1472 154 1610 1677 1696 1793 1855 1958 2011 2089 2163 2191 2297 2336 234 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3438 3554 3618 3674 3735 379 3792 3906 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 495 55 570 691 739 787 871 943 a 1008 1073 1152 1212 122 1267 1392 1430 1472 1610 1677 1696 1793 1855 1958 2011 2089 2163 2191 2297 2336 234 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3374 3438 3554 3618 3674 3735 379 3792 3906 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 495 55 570 691 739 787 871 943 a 1008 1073 1152 1212 122 1267 1392 1430 1472 1610 1677 1696 1793 1855 1958 196 2011 2089 2163 2191 2297 2336 234 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3374 3438 3554 3618 3674 3735 379 3792 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 495 55 570 691 739 787 871 943 a 1008 1073 1152 1212 122 1267 1392 1430 1472 1610 1677 1696 1793 1855 1958 196 2011 2089 2163 2191 2297 2336 234 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3374 3438 3554 3618 3674 3735 379 3792 3891 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 495 55 570 691 739 787 871 943 a 1008 1073 1152 1212 122 1267 1392 1430 1472 1610 1677 1696 1793 1855 1958 196 2011 2089 2163 2191 2297 2336 234 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3374 3438 3554 3618 3674 3735 379 3792 3891 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 465 4694 4807 4894 539 55 570 691 739 787 871 943 a 1008 1073 1152 1212 122 1267 1392 1430 1472 1610 1677 1696 1793 1855 1958 196 2011 2089 2163 2191 2297 2336 234 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3374 3438 3554 3618 3674 3735 379 3792 3891 4017 4102 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4807 4894 539 55 570 691 739 787 871 943 a 1008 1073 1152 1212 122 1267 1392 1430 1472 1610 1677 1696 1793 1855 1958 196 2011 2089 2163 2191 2297 2336 234 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3374 3438 3554 3618 3674 3735 379 3792 3891 3964 4017 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4807 4894 539 55 570 691 739 787 871 943 a 1008 1073 1152 1212 122 1267 1392 1430 1472 1610 1677 1696 1793 1855 1958 196 2011 2089 2163 2191 2297 2336 234 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3374 3438 3554 3618 3674 3735 3792 3891 3964 4017 4089 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4807 4894 539 55 570 691 739 787 871 943 a 1008 1073 1152 1212 122 1267 1392 1430 1472 1610 1677 1696 1793 1855 1958 196 2011 2089 2163 2191 2297 2336 234 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3374 3438 3554 3618 3674 3735 3792 3891 392 3964 4017 4089 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4807 4894 55 570 691 739 787 871 943 a 1008 1073 1152 1212 122 1267 1392 1472 1610 1677 1696 1793 1855 1958 196 2011 2089 2163 2191 2297 2336 234 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3350 3374 3438 3554 3618 3674 3735 3792 3891 392 3964 4017 4089 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4807 4894 539 55 570 691 739 787 871 943 a 1008 1073 1152 1212 122 1267 1392 1472 1610 1677 1696 1793 1855 1958 196 2011 2089 2163 2191 2297 2336 234 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3320 3374 3438 3554 3618 3674 3735 3792 3891 392 3964 4017 4089 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4807 4894 539 55 570 691 739 787 871 943 a 1008 1073 1152 1212 122 1267 1392 1460 1472 1610 1677 1696 1793 1855 1958 196 2011 2089 2163 2191 2297 2336 234 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 330 3320 3374 3438 3554 3618 3674 3735 3792 3891 392 3964 4017 4089 4136 4215 4283 4351 4419 4485 4590 4621 465 4694 4807 4894 55 570 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_01_1828.dat" User time (seconds): 29.64 System time (seconds): 0.41 Percent of CPU this job got: 0% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:10:56 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): 194200 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 152215 Voluntary context switches: 467 Involuntary context switches: 3711 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