#BEGIN: [Thu Sep 7 23:14:46 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-ai-planning2-existent1 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen070x070.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen070x070_01_1828.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen070x070.col /benchmark/2022benchmark/benchmark/queen/queen070x070_01_1828.dat 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 55 122 196 239 330 393 444 539 592 691 739 818 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3442 3554 3617 3674 3735 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894 a 55 122 196 239 330 393 444 539 592 691 739 818 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3617 3674 3735 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894 a 55 122 196 239 330 393 444 539 592 691 739 818 862 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3617 3674 3735 3792 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894 a 55 122 196 239 330 393 444 539 592 691 739 818 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3617 3674 3735 3792 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894 a 55 122 196 239 330 393 539 592 691 739 818 864 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3617 3674 3735 3792 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894 a 55 122 196 239 330 393 465 539 592 691 739 818 864 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3617 3674 3735 3792 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894 a 55 122 196 239 330 393 465 539 592 691 739 818 864 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3617 3674 3735 3792 3961 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894 a 55 122 196 239 330 393 465 539 592 691 739 818 864 943 1008 1073 1147 1210 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3617 3674 3735 3792 3961 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 239 330 393 465 539 592 691 739 818 864 943 1008 1073 1147 1234 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3617 3674 3735 3792 3961 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 239 330 393 465 539 592 691 739 790 864 943 1008 1073 1147 1234 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3617 3674 3735 3792 3961 4020 4079 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 239 330 393 465 539 592 691 739 790 864 943 1008 1073 1147 1234 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3617 3674 3735 3792 3961 4020 4108 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 229 330 393 465 539 592 691 739 790 864 943 1008 1073 1147 1234 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3617 3674 3735 3792 3961 4020 4108 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 229 330 393 465 539 589 691 739 790 864 943 1008 1073 1147 1234 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3181 3257 3306 3396 3438 3554 3617 3674 3735 3792 3961 4020 4108 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 229 330 393 465 539 589 691 739 790 864 943 1008 1073 1147 1234 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3031 3118 3182 3257 3306 3396 3438 3554 3617 3674 3735 3792 3961 4020 4108 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 229 330 393 465 539 589 691 739 790 864 943 1008 1073 1147 1234 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3118 3182 3257 3306 3396 3438 3554 3617 3674 3735 3792 3871 3961 4020 4108 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 229 330 393 465 539 589 691 739 790 864 943 1008 1073 1147 1234 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3118 3182 3257 3306 3396 3438 3554 3617 3674 3735 3792 3871 3961 4020 4108 4136 4215 4283 4351 4419 4485 4590 4621 4694 4791 4894 a 55 122 196 229 330 393 465 539 589 691 739 790 864 943 1008 1073 1147 1234 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3118 3182 3257 3306 3396 3438 3554 3617 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 4694 4791 4894 a 55 122 196 229 330 393 465 539 589 691 739 790 864 943 1008 1073 1168 1234 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3118 3182 3257 3306 3396 3438 3554 3617 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 4694 4791 4894 a 55 122 196 237 330 393 465 539 589 691 739 790 864 943 1008 1073 1168 1234 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2810 2873 2958 3118 3182 3257 3306 3396 3438 3554 3617 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 4694 4791 4894 a 55 122 196 237 330 393 465 539 589 691 739 790 864 943 1008 1073 1168 1234 1267 1392 1460 1472 1610 1677 1697 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2819 2873 2958 3118 3182 3257 3306 3396 3438 3554 3617 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 4694 4791 4894 a 55 122 196 237 330 393 465 539 589 691 739 790 864 943 1008 1073 1168 1234 1267 1392 1460 1472 1610 1677 1690 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2819 2873 2958 3118 3182 3257 3306 3396 3438 3554 3617 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 4694 4791 4894 a 55 122 196 237 330 393 465 539 589 691 739 787 864 943 1008 1073 1168 1234 1267 1392 1460 1472 1610 1677 1690 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2819 2873 2958 3118 3182 3257 3306 3396 3438 3554 3617 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 4694 4791 4894 a 55 122 196 237 330 393 465 539 589 691 739 787 864 943 1008 1073 1168 1234 1267 1392 1460 1472 1610 1677 1690 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2819 2873 2958 3030 3118 3182 3257 3396 3438 3554 3617 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 4694 4791 4894 a 55 122 196 237 330 366 465 539 589 691 739 787 864 943 1008 1073 1168 1234 1267 1392 1460 1472 1610 1677 1690 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2819 2873 2958 3030 3118 3182 3257 3396 3438 3554 3617 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 4694 4791 4894 a 55 122 196 237 330 366 465 533 589 691 739 787 864 943 1008 1073 1168 1234 1267 1392 1460 1472 1610 1677 1690 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2819 2873 2958 3030 3118 3182 3257 3396 3438 3554 3617 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 4694 4791 4894 a 55 122 196 237 330 366 465 533 589 691 739 787 864 943 1008 1073 1168 1234 1267 1392 1460 1472 1610 1677 1690 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2819 2873 2958 3030 3118 3182 3257 3396 3438 3554 3617 3674 3735 3792 3871 3961 4039 4102 4136 4215 4283 4351 4419 4485 4590 4621 4694 4791 4894 a 55 122 196 237 330 366 465 533 589 691 739 787 864 943 1008 1073 1168 1234 1267 1392 1472 1610 1677 1690 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2819 2873 2958 3030 3118 3182 3257 3350 3396 3438 3554 3617 3674 3735 3792 3871 3961 4039 4102 4136 4215 4283 4351 4419 4485 4590 4621 4694 4791 4894 a 55 122 196 237 330 366 465 533 589 691 739 787 864 943 1008 1073 1168 1234 1267 1392 1436 1472 1610 1677 1690 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2819 2873 2958 3030 3118 3182 3257 3350 3438 3554 3617 3674 3735 3792 3871 3961 4039 4102 4136 4215 4283 4351 4419 4485 4590 4621 4694 4791 4894 a 55 122 196 237 330 366 465 533 589 691 739 787 864 943 1008 1073 1168 1234 1267 1392 1436 1472 1610 1677 1690 1772 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2776 2819 2873 2958 3030 3118 3182 3257 3350 3438 3554 3617 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 4694 4791 4894 a 55 122 196 237 330 366 465 533 589 691 739 787 864 943 1008 1073 1168 1234 1267 1392 1436 1472 1610 1677 1690 1772 1846 1958 2011 2089 2163 2219 2297 2345 2449 2516 2578 2655 2713 2776 2819 2873 2958 3030 3118 3182 3257 3350 3438 3554 3617 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 4694 4791 4894 a 55 122 196 237 330 366 465 533 589 691 739 787 864 943 1008 1073 1168 1234 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 2011 2089 2163 2219 2297 2345 2449 2516 2578 2655 2713 2776 2819 2873 2958 3030 3118 3182 3257 3350 3438 3554 3617 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 4694 4791 4894 a 55 122 196 237 330 366 465 533 589 691 739 787 864 943 1008 1073 1234 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 2011 2089 2163 2219 2297 2345 2449 2516 2578 2655 2713 2776 2819 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3617 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 4694 4791 4894 a 55 122 196 237 330 366 465 533 589 691 739 787 864 943 1008 1073 1139 1234 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 2011 2089 2163 2219 2297 2345 2449 2516 2578 2655 2713 2776 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3617 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 4694 4791 4894 a 55 122 196 237 330 366 465 533 589 691 739 787 864 943 1008 1073 1139 1234 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 2011 2089 2163 2219 2297 2336 2449 2516 2578 2655 2713 2776 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3617 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4485 4590 4621 4694 4791 4894 a 55 122 196 237 330 366 465 533 589 691 739 787 864 943 1008 1073 1139 1234 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 2011 2089 2163 2219 2297 2336 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3617 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4590 4621 4694 4791 4894 a 55 122 196 237 330 366 465 533 589 691 739 787 864 943 1008 1073 1139 1234 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 2011 2089 2163 2219 2297 2336 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3617 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4515 4590 4621 4694 4894 a 55 122 196 237 330 366 465 533 589 691 739 787 864 943 1008 1073 1139 1234 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 2011 2089 2163 2219 2297 2336 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4515 4590 4621 4694 4807 4894 a 55 122 196 237 330 366 465 533 589 691 739 787 871 943 1008 1073 1139 1234 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 2011 2089 2163 2219 2297 2336 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4515 4590 4621 4694 4807 4894 a 55 122 196 237 330 366 465 514 589 691 739 787 871 943 1008 1073 1139 1234 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 2011 2089 2163 2219 2297 2336 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4515 4590 4621 4694 4807 4894 a 55 122 196 237 330 393 465 514 589 691 739 787 871 943 1008 1073 1139 1234 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 2011 2089 2163 2219 2297 2336 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4515 4590 4621 4694 4807 4894 a 55 122 196 237 330 393 465 514 589 691 739 787 871 943 1008 1073 1139 1206 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 2011 2089 2163 2219 2297 2336 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4515 4590 4621 4694 4807 4894 a 55 122 196 237 330 393 465 514 589 691 739 787 871 943 1008 1073 1139 1206 1267 1392 1436 1472 1610 1677 1690 1772 1834 1958 2011 2089 2163 2219 2297 2336 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 237 330 393 465 514 589 691 739 787 871 943 1008 1073 1139 1206 1267 1392 1436 1472 1610 1677 1690 1772 1855 1958 2011 2089 2163 2219 2297 2336 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 224 330 393 465 514 589 691 739 787 871 943 1008 1073 1139 1206 1267 1392 1436 1472 1610 1677 1690 1772 1855 1958 2011 2089 2163 2219 2297 2336 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3674 3735 3792 3871 3961 4020 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 224 330 393 465 514 589 691 739 787 871 943 1008 1073 1139 1206 1267 1392 1436 1472 1610 1677 1690 1772 1855 1958 2011 2089 2163 2219 2297 2336 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3674 3735 3792 3871 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 224 330 393 465 514 589 691 739 787 871 943 1008 1073 1139 1206 1267 1392 1430 1472 1610 1677 1690 1772 1855 1958 2011 2089 2163 2219 2297 2336 2449 2516 2578 2655 2713 2776 2805 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3674 3735 3792 3871 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 224 330 393 465 514 589 691 739 787 871 943 1008 1073 1139 1206 1267 1392 1430 1472 1610 1677 1690 1772 1855 1958 2011 2089 2163 2219 2297 2336 2449 2516 2578 2655 2713 2776 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3575 3674 3735 3792 3871 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 224 330 393 465 514 589 691 739 787 871 943 1008 1073 1139 1206 1267 1392 1430 1472 1610 1677 1690 1772 1855 1958 2011 2089 2163 2219 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3575 3674 3735 3792 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 224 330 393 465 514 589 691 739 787 871 943 1008 1073 1139 1206 1267 1392 1430 1472 1610 1677 1690 1772 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3575 3674 3735 3792 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 224 330 465 514 589 691 739 787 871 943 1008 1073 1139 1206 1267 1392 1430 1472 1610 1677 1690 1772 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3575 3674 3735 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 224 330 360 465 514 589 691 739 787 871 943 1008 1073 1139 1206 1267 1392 1430 1472 1610 1677 1772 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3575 3674 3735 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 224 330 360 465 514 589 691 739 787 871 943 1008 1073 1139 1267 1392 1430 1472 1610 1677 1696 1772 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3575 3674 3735 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 224 330 360 465 514 589 691 739 787 871 943 1008 1073 1209 1267 1392 1430 1472 1610 1677 1696 1772 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3182 3257 3350 3408 3438 3554 3575 3674 3735 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 224 330 360 465 514 589 691 739 787 871 943 1008 1073 1152 1209 1267 1392 1430 1472 1610 1677 1696 1772 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3257 3350 3408 3438 3554 3575 3674 3735 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 224 330 360 465 514 589 691 739 787 871 943 1008 1073 1152 1267 1392 1430 1472 1610 1677 1696 1772 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 3350 3408 3438 3554 3575 3674 3735 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 224 330 360 465 514 589 691 739 787 871 959 1008 1073 1152 1267 1392 1430 1472 1610 1677 1696 1772 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 3350 3408 3438 3554 3575 3674 3735 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 224 330 360 465 514 691 739 787 871 959 1008 1073 1152 1219 1267 1392 1430 1472 1610 1677 1696 1772 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 3350 3408 3438 3554 3575 3674 3735 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 224 330 465 514 570 691 739 787 871 959 1008 1073 1152 1219 1267 1392 1430 1472 1610 1677 1696 1772 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 3350 3408 3438 3554 3575 3674 3735 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 224 330 379 465 514 570 691 739 787 871 959 1008 1073 1152 1267 1392 1430 1472 1610 1677 1696 1772 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 3350 3408 3438 3554 3575 3674 3735 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 224 330 379 465 514 570 691 739 787 871 943 1008 1073 1152 1267 1392 1430 1472 1610 1677 1696 1772 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 3350 3408 3438 3554 3575 3674 3735 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 224 330 379 465 514 570 691 739 787 871 943 1008 1073 1152 1212 1267 1392 1430 1472 1610 1677 1696 1855 1958 2011 2089 2163 2191 2297 2336 2449 2516 2578 2655 2713 2776 2836 2873 2958 3030 3118 3169 3257 3350 3408 3438 3554 3575 3674 3735 3792 3893 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 224 330 379 465 514 570 691 739 787 871 943 1008 1073 1152 1212 1267 1392 1430 1472 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 3350 3408 3438 3554 3575 3674 3735 3792 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 224 330 379 465 514 570 691 739 787 871 943 1008 1073 1152 1212 1267 1392 1430 1472 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 3350 3408 3438 3554 3575 3674 3735 3792 3906 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 154 330 379 465 514 570 691 739 787 871 943 1008 1073 1152 1212 1267 1392 1430 1472 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 3350 3408 3438 3554 3575 3674 3735 3792 3906 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 154 234 330 379 465 570 691 739 787 871 943 1008 1073 1152 1212 1267 1392 1430 1472 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 3350 3408 3438 3554 3575 3674 3735 3792 3906 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 154 234 330 379 465 495 570 691 739 787 871 943 1008 1073 1152 1212 1267 1392 1430 1472 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 3350 3408 3438 3554 3674 3735 3792 3906 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 154 234 330 379 465 495 570 691 739 787 871 943 1008 1073 1152 1212 1267 1392 1430 1472 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 3350 3438 3554 3618 3674 3735 3792 3906 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 234 330 379 465 495 570 691 739 787 871 943 1008 1073 1152 1212 1267 1392 1430 1472 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 3350 3374 3438 3554 3618 3674 3735 3792 3906 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 234 330 379 465 495 570 691 739 787 871 943 1008 1073 1152 1212 1267 1392 1430 1472 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 3350 3374 3438 3554 3618 3674 3735 3792 3961 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 234 330 379 465 495 570 691 739 787 871 943 1008 1073 1152 1212 1267 1392 1430 1472 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 3350 3374 3438 3554 3618 3674 3735 3792 3891 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 234 330 379 465 539 570 691 739 787 871 943 1008 1073 1152 1212 1267 1392 1430 1472 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 3350 3374 3438 3554 3618 3674 3735 3792 3891 4017 4102 4136 4215 4283 4351 4419 4524 4590 4621 4694 4807 4894 a 55 122 196 234 330 379 465 539 570 691 739 787 871 943 1008 1073 1152 1212 1267 1392 1430 1472 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 3350 3374 3438 3554 3618 3674 3735 3792 3891 4017 4102 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 234 330 379 465 539 570 691 739 787 871 943 1008 1073 1152 1212 1267 1392 1430 1472 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 3350 3374 3438 3554 3618 3674 3735 3792 3891 3964 4017 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 234 330 465 539 570 691 739 787 871 943 1008 1073 1152 1212 1267 1392 1430 1472 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 3350 3374 3438 3554 3618 3674 3735 3792 3891 3964 4017 4089 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 234 330 392 465 570 691 739 787 871 943 1008 1073 1152 1212 1267 1392 1430 1472 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 3350 3374 3438 3554 3618 3674 3735 3792 3891 3964 4017 4089 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 234 330 392 465 539 570 691 739 787 871 943 1008 1073 1152 1212 1267 1392 1472 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 3350 3374 3438 3554 3618 3674 3735 3792 3891 3964 4017 4089 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 234 330 392 465 539 570 691 739 787 871 943 1008 1073 1152 1212 1267 1392 1472 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 3320 3374 3438 3554 3618 3674 3735 3792 3891 3964 4017 4089 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 234 330 392 465 570 691 739 787 871 943 1008 1073 1152 1212 1267 1392 1460 1472 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 3320 3374 3438 3554 3618 3674 3735 3792 3891 3964 4017 4089 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 Command being timed: "/solvers/driver/run.py --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen070x070.col /benchmark/2022benchmark/benchmark/queen/queen070x070_01_1828.dat" User time (seconds): 7.74 System time (seconds): 0.11 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:07.86 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): 197184 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 94423 Voluntary context switches: 25 Involuntary context switches: 41 Swaps: 0 File system inputs: 0 File system outputs: 17304 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Thu Sep 7 23:14:54 2023]