#BEGIN: [Fri Sep 8 17:30:56 2023] #HOST: s12 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-ai-planning2-shortest2 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen070x070.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen070x070_04_7426.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen070x070.col /benchmark/2022benchmark/benchmark/queen/queen070x070_04_7426.dat 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 55 122 196 239 330 393 444 539 592 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 3788 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894 a 55 122 196 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 3788 3895 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4802 4894 a 55 122 196 218 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 218 330 393 444 539 592 691 729 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 218 330 393 444 539 592 691 729 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 4799 4894 a 55 122 196 218 330 393 444 539 592 691 729 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 3892 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 55 122 196 218 330 393 465 539 592 691 729 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 3892 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 55 122 196 218 330 393 465 539 592 691 729 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 2810 2873 2958 3031 3118 3181 3257 3306 3396 3442 3554 3617 3674 3735 3826 3892 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 55 122 196 218 330 393 465 539 592 691 729 818 864 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 2810 2873 2958 3031 3118 3181 3257 3306 3396 3442 3554 3617 3674 3735 3826 3892 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 55 122 196 218 330 393 465 539 592 691 729 818 864 932 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 2810 2873 2958 3031 3118 3181 3257 3306 3396 3442 3554 3617 3674 3735 3826 3892 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 55 122 196 218 330 393 465 539 592 691 729 818 864 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2810 2873 2958 3031 3118 3181 3257 3306 3396 3442 3554 3617 3674 3735 3826 3892 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 27 122 196 218 330 393 465 539 592 691 729 818 864 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2810 2873 2958 3031 3118 3181 3257 3306 3396 3442 3554 3617 3674 3735 3826 3892 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 27 122 196 218 330 393 465 539 592 691 729 818 864 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2810 2873 2958 3031 3135 3181 3257 3306 3396 3442 3554 3617 3674 3735 3826 3892 3960 4020 4079 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 27 122 196 218 330 393 465 539 592 691 729 818 864 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3031 3135 3181 3257 3306 3396 3442 3554 3617 3674 3735 3826 3892 3960 4020 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 27 122 196 218 330 393 465 539 592 691 729 818 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2184 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3031 3135 3181 3257 3306 3396 3442 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 27 122 196 218 330 393 465 539 592 691 729 818 859 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3031 3135 3181 3257 3306 3396 3442 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 27 122 196 218 330 393 465 539 592 691 729 818 859 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3031 3135 3181 3257 3396 3442 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 27 122 196 218 330 393 465 539 592 691 729 818 859 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3031 3135 3181 3257 3304 3396 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 27 122 196 218 330 393 465 539 592 691 729 818 859 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3022 3135 3181 3257 3304 3396 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 27 122 196 218 330 393 465 539 581 691 729 818 859 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2186 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3022 3135 3181 3257 3304 3396 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 27 122 196 218 330 393 465 539 581 691 729 818 859 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3022 3135 3181 3257 3304 3396 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 27 122 196 218 330 393 465 539 581 691 729 818 859 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3022 3135 3181 3257 3304 3376 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 36 122 196 218 330 393 465 539 581 691 729 818 859 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3022 3135 3181 3257 3304 3376 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 36 122 196 218 330 393 465 539 581 691 729 818 859 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3022 3135 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4799 4894 a 36 122 196 218 330 393 465 539 581 691 729 818 859 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3022 3135 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4894 a 36 122 196 218 330 393 465 539 581 691 729 818 859 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1791 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3022 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894 a 36 122 196 218 330 393 465 539 581 691 729 818 859 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3022 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894 a 36 122 196 218 330 393 465 539 581 691 729 818 859 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1697 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3022 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4745 4791 4894 a 36 122 196 218 330 393 465 539 581 691 729 818 859 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1684 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2768 2810 2873 2958 3022 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4745 4791 4894 a 36 122 196 218 330 393 465 539 581 691 729 818 859 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1684 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2768 2817 2873 2958 3022 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4745 4791 4894 a 36 122 196 218 330 393 465 539 581 691 729 818 850 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1684 1846 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2768 2817 2873 2958 3022 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4745 4791 4894 a 36 122 196 218 330 393 465 539 581 691 729 818 850 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1684 1839 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2768 2817 2873 2958 3022 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4745 4791 4894 a 36 122 196 218 330 393 465 539 581 691 729 818 850 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1684 1839 1958 2011 2089 2163 2202 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3022 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4745 4791 4894 a 36 122 196 218 330 393 465 539 581 691 729 818 850 932 1008 1073 1153 1210 1267 1392 1460 1472 1610 1677 1684 1782 1839 1958 2011 2089 2163 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3022 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4745 4791 4894 a 36 122 196 218 330 393 465 539 581 691 729 818 850 932 1008 1073 1137 1210 1267 1392 1460 1472 1610 1677 1684 1782 1839 1958 2011 2089 2163 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3022 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4745 4791 4894 a 36 122 196 218 330 393 465 539 581 691 729 818 850 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1677 1684 1782 1839 1958 2011 2089 2163 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3022 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4745 4791 4894 a 36 122 196 218 330 393 465 539 691 729 818 850 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1677 1684 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3022 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4745 4791 4894 a 36 122 196 218 330 393 465 539 589 691 818 850 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1677 1684 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3022 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4745 4791 4894 a 122 196 218 330 393 465 539 589 691 736 818 850 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1677 1684 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2768 2826 2873 2958 3022 3121 3189 3257 3304 3376 3457 3554 3617 3674 3735 3826 3892 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4745 4791 4894 a 122 196 218 330 393 465 539 589 691 736 818 850 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1677 1684 1782 1839 1958 2011 2089 2163 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 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4745 4791 4894 a 55 122 196 218 330 393 465 539 589 691 736 818 850 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1677 1684 1782 1839 1958 2011 2089 2163 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 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4791 4894 a 55 122 196 218 330 393 465 539 589 691 736 818 850 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1677 1782 1839 1958 2011 2089 2163 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 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894 a 55 122 196 218 393 465 539 589 691 736 818 850 932 1008 1073 1137 1223 1267 1392 1460 1472 1610 1677 1692 1782 1839 1958 2011 2089 2163 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 3960 4020 4084 4136 4215 4283 4351 4419 4485 4594 4621 4694 4791 4894 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen070x070.col /benchmark/2022benchmark/benchmark/queen/queen070x070_04_7426.dat" User time (seconds): 3470.39 System time (seconds): 11.60 Percent of CPU this job got: 200% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:00.32 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): 5082048 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 5464274 Voluntary context switches: 68452 Involuntary context switches: 14777 Swaps: 0 File system inputs: 0 File system outputs: 17704 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 17:59:57 2023]