#BEGIN: [Sat Sep 9 01:41:08 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-ai-planning2-shortest1 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen070x070.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen070x070_03_1545.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=shortest-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen070x070.col /benchmark/2022benchmark/benchmark/queen/queen070x070_03_1545.dat s 1697 4590 1472 3376 736 1610 539 3554 3257 4215 691 2089 4283 4136 3088 2713 2449 196 2810 3674 3325 4098 4894 4419 1958 818 3735 3617 2958 1000 2297 4351 859 3189 1851 1267 3826 937 2011 2754 372 231 4485 4621 2578 3882 3442 3963 2163 2516 1220 589 55 3043 2354 2184 1677 330 1791 1073 4694 1146 2655 2873 122 4802 4018 1460 1392 t 4621 122 4694 3320 2163 3376 860 691 2345 1958 1472 1677 393 1064 4894 1839 3442 2516 2089 3257 4590 1392 1782 196 2191 2655 1147 2578 787 3735 4419 4215 3826 3674 3189 1610 330 4807 213 2836 465 3054 4098 2449 2297 589 1267 2958 1690 941 4136 3102 3892 4283 2011 3618 1460 1008 2878 723 3554 4351 3946 4031 4485 1223 55 2754 539 a YES a 55 122 196 231 330 372 539 589 691 736 818 859 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1791 1851 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2810 2873 2958 3043 3088 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 330 372 465 539 589 691 736 818 859 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1791 1851 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2810 2873 2958 3043 3088 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 372 465 539 589 691 736 818 859 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1791 1851 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2810 2958 3043 3088 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 372 465 539 589 691 736 818 859 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1791 1851 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 372 465 539 589 691 736 818 861 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1791 1851 1958 2011 2089 2163 2184 2297 2354 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 372 465 539 589 691 736 818 861 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1697 1791 1851 1958 2011 2089 2163 2184 2297 2329 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 372 465 539 589 691 736 818 861 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1724 1791 1851 1958 2011 2089 2163 2184 2297 2329 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1724 1791 1851 1958 2011 2089 2163 2184 2297 2329 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 937 1000 1073 1146 1220 1267 1392 1460 1472 1610 1677 1724 1851 1958 2011 2089 2163 2184 2297 2329 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3102 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 937 1000 1146 1220 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 2011 2089 2163 2184 2297 2329 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3102 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 937 1000 1064 1146 1220 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 2011 2089 2163 2297 2329 2449 2516 2578 2655 2713 2754 2810 2878 2958 3043 3102 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 937 1000 1064 1146 1220 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2878 2958 3043 3102 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4802 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 937 1000 1064 1146 1220 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2878 2958 3043 3102 3189 3257 3325 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 937 1000 1064 1146 1220 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3043 3102 3189 3257 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 937 1000 1064 1146 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3043 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 937 1000 1064 1146 1223 1267 1392 1460 1472 1610 1677 1724 1773 1851 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 937 1000 1064 1146 1223 1267 1392 1460 1472 1677 1724 1773 1851 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3080 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 937 1000 1064 1146 1223 1267 1392 1460 1472 1575 1677 1724 1773 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3080 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 941 1000 1064 1146 1223 1267 1392 1460 1472 1575 1677 1724 1773 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3080 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 941 1000 1064 1147 1223 1267 1392 1460 1472 1575 1677 1724 1773 1958 2011 2089 2163 2180 2297 2329 2449 2516 2578 2655 2713 2754 2842 2878 2958 3080 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 941 1000 1064 1147 1223 1267 1392 1460 1472 1575 1677 1724 1773 1839 1958 2011 2089 2163 2180 2297 2449 2516 2578 2655 2713 2754 2842 2878 2958 3080 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3882 3963 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 941 1000 1064 1147 1223 1267 1392 1460 1472 1575 1677 1724 1773 1839 1958 2011 2089 2163 2180 2297 2353 2449 2516 2578 2655 2713 2754 2842 2878 2958 3080 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3882 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 941 1000 1064 1147 1223 1267 1392 1460 1472 1575 1677 1724 1773 1839 1958 2011 2089 2163 2180 2297 2353 2449 2516 2578 2655 2713 2754 2878 2958 3080 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3882 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 941 1000 1064 1147 1223 1267 1392 1460 1472 1575 1677 1724 1773 1839 1958 2011 2089 2163 2180 2297 2353 2449 2516 2578 2655 2713 2754 2878 2958 3080 3102 3189 3257 3320 3376 3442 3554 3617 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 818 861 941 1000 1064 1147 1223 1267 1392 1460 1472 1575 1677 1724 1773 1839 1958 2011 2089 2163 2180 2297 2353 2449 2516 2578 2655 2713 2754 2847 2878 2958 3080 3102 3189 3257 3320 3376 3442 3554 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 861 941 1000 1064 1147 1223 1267 1392 1460 1472 1575 1677 1724 1773 1839 1958 2011 2089 2163 2180 2297 2353 2449 2516 2578 2655 2713 2754 2847 2878 2958 3080 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 861 941 1000 1082 1147 1223 1267 1392 1460 1472 1575 1677 1724 1773 1839 1958 2011 2089 2163 2180 2297 2353 2449 2516 2578 2655 2713 2754 2847 2878 2958 3080 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 780 861 941 1000 1082 1147 1223 1267 1392 1460 1472 1575 1677 1724 1773 1839 1958 2011 2089 2163 2297 2353 2449 2516 2578 2655 2713 2754 2847 2878 2958 3080 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 780 941 1000 1082 1147 1223 1267 1392 1460 1472 1575 1677 1724 1773 1839 1958 2011 2089 2163 2191 2297 2353 2449 2516 2578 2655 2713 2754 2847 2878 2958 3080 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 780 860 941 1082 1147 1223 1267 1392 1460 1472 1575 1677 1724 1773 1839 1958 2011 2089 2163 2191 2297 2353 2449 2516 2578 2655 2713 2754 2847 2878 2958 3080 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4018 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 780 860 941 1008 1082 1147 1223 1267 1392 1460 1472 1575 1677 1724 1773 1839 1958 2011 2089 2163 2191 2297 2353 2449 2516 2578 2655 2713 2754 2847 2878 2958 3080 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4801 4894 a 55 122 196 213 330 367 465 539 589 691 736 780 860 941 1008 1082 1147 1223 1267 1392 1460 1472 1575 1677 1724 1773 1839 1958 2011 2089 2163 2191 2297 2353 2449 2516 2578 2655 2713 2754 2847 2878 2958 3080 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4894 a 55 122 196 213 330 367 465 539 589 691 736 780 860 941 1008 1082 1147 1223 1267 1392 1460 1472 1575 1677 1724 1773 1839 1958 2011 2089 2163 2191 2297 2353 2449 2516 2578 2655 2713 2754 2878 2958 3080 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 213 330 364 465 539 589 691 736 780 860 941 1008 1082 1147 1223 1267 1392 1460 1472 1575 1677 1724 1773 1839 1958 2011 2089 2163 2191 2297 2353 2449 2516 2578 2655 2713 2754 2878 2958 3080 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 213 330 364 465 539 589 691 736 787 860 941 1008 1082 1147 1223 1267 1392 1460 1472 1575 1677 1724 1773 1839 1958 2011 2089 2163 2191 2297 2353 2449 2516 2578 2655 2713 2754 2878 2958 3080 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 213 330 364 465 539 589 691 736 787 860 941 1008 1082 1147 1223 1267 1392 1460 1472 1575 1677 1690 1773 1839 1958 2011 2089 2163 2191 2297 2353 2449 2516 2578 2655 2713 2754 2878 2958 3080 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 213 330 364 465 539 589 691 736 787 860 941 1008 1082 1147 1223 1267 1392 1460 1472 1575 1677 1690 1773 1839 1958 2011 2089 2163 2191 2297 2353 2449 2516 2578 2655 2713 2754 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 213 330 364 465 539 589 691 736 787 860 941 1008 1082 1147 1223 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2191 2297 2353 2449 2516 2578 2655 2713 2754 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 213 330 364 465 539 589 691 736 787 860 941 1008 1082 1147 1223 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 213 330 364 465 539 589 691 787 860 941 1008 1082 1147 1223 1267 1392 1460 1472 1610 1677 1690 1773 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 213 330 364 465 539 589 691 723 787 860 941 1008 1082 1147 1223 1267 1392 1460 1472 1610 1677 1690 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 213 330 393 465 539 589 691 723 787 860 941 1008 1082 1147 1223 1267 1392 1460 1472 1610 1677 1690 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 213 330 393 465 539 589 691 723 787 860 941 1008 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2713 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 a 55 122 196 213 330 393 465 539 589 691 723 787 860 941 1008 1064 1147 1223 1267 1392 1460 1472 1610 1677 1690 1782 1839 1958 2011 2089 2163 2191 2297 2345 2449 2516 2578 2655 2754 2836 2878 2958 3054 3102 3189 3257 3320 3376 3442 3554 3618 3674 3735 3826 3892 3946 4031 4098 4136 4215 4283 4351 4419 4485 4590 4621 4694 4807 4894 Command being timed: "/solvers/driver/run.py --config=shortest-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen070x070.col /benchmark/2022benchmark/benchmark/queen/queen070x070_03_1545.dat" User time (seconds): 1738.66 System time (seconds): 2.69 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:01.47 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): 6262708 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 1655078 Voluntary context switches: 29 Involuntary context switches: 10981 Swaps: 0 File system inputs: 0 File system outputs: 17464 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Sat Sep 9 02:10:10 2023]