#BEGIN: [Sat Sep 9 11:06:58 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-ai-planning2-shortest2 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen100x100.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen100x100_03_6670.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-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen100x100.col /benchmark/2022benchmark/benchmark/queen/queen100x100_03_6670.dat s 2536 6358 278 5184 7749 2037 7017 3280 4074 3746 6751 5728 9802 9503 8129 9113 7372 1242 1338 9015 7443 6456 8031 5435 9211 79 5866 634 8906 9704 1823 8607 4592 1773 6063 9601 1550 9405 941 4286 6820 6554 3133 4991 2644 5289 6695 2740 6253 5932 4687 2339 7597 5360 7868 2447 1161 9309 2145 8325 4396 7682 571 5081 4888 1459 3694 9957 8227 7121 3412 6155 477 3330 3848 1064 3018 1652 8410 7999 4483 8808 4785 5626 3990 3514 2824 1965 4193 375 867 2300 5570 7298 2916 176 6969 8719 762 t 375 2050 3280 6554 762 6751 7464 2342 1349 6258 9802 176 7682 5360 8522 79 7298 8227 9015 9211 4286 2447 6063 5184 8031 867 6323 7869 941 4483 3330 2916 1773 9113 3838 8129 4400 6695 7597 4785 4592 2832 8906 5866 4074 3694 3746 8808 8607 3514 1834 668 5957 1536 1972 4193 4888 548 7965 4991 1459 5728 3018 6952 9309 7353 9503 9955 1161 8410 5081 5435 3133 6820 9601 6499 5570 2740 1621 9704 9405 6156 4687 8719 2145 477 5626 1037 2696 8325 3412 7144 2239 7017 5289 2543 3990 7771 1224 a YES a 79 176 278 375 477 571 634 762 867 941 1064 1161 1242 1338 1459 1550 1652 1773 1823 1965 2037 2145 2300 2339 2447 2536 2644 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 3848 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6155 6253 6358 6456 6554 6695 6751 6820 6969 7017 7121 7298 7372 7443 7597 7682 7749 7868 7999 8031 8129 8227 8325 8410 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 634 762 867 941 1064 1161 1242 1338 1459 1550 1652 1773 1823 1965 2037 2145 2300 2339 2447 2536 2644 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 3848 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6155 6253 6358 6456 6554 6695 6751 6820 6969 7017 7121 7298 7372 7443 7597 7682 7749 7868 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 548 634 762 867 941 1064 1161 1242 1338 1459 1550 1652 1773 1823 1965 2037 2145 2300 2339 2447 2536 2644 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6155 6253 6358 6456 6554 6695 6751 6820 6969 7017 7121 7298 7372 7443 7597 7682 7749 7868 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 548 634 762 867 941 1064 1161 1242 1338 1459 1550 1652 1773 1823 1965 2037 2145 2300 2339 2447 2536 2644 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 3821 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6155 6253 6358 6456 6554 6695 6751 6820 6969 7017 7298 7372 7443 7597 7682 7749 7868 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 548 634 762 867 941 1064 1161 1242 1338 1459 1550 1652 1773 1823 1965 2037 2145 2300 2339 2447 2536 2644 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 3821 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6155 6253 6358 6456 6554 6695 6751 6820 6969 7017 7172 7298 7443 7597 7682 7749 7868 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 548 634 762 867 941 1161 1242 1338 1459 1550 1652 1773 1823 1965 2037 2145 2300 2339 2447 2536 2644 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 3821 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6155 6253 6358 6456 6554 6695 6751 6820 6969 7017 7172 7298 7371 7443 7597 7682 7749 7868 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 548 634 762 867 941 1037 1161 1242 1338 1459 1550 1652 1773 1823 1965 2145 2300 2339 2447 2536 2644 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 3821 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6155 6253 6358 6456 6554 6695 6751 6820 6969 7017 7172 7298 7371 7443 7597 7682 7749 7868 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 548 634 762 867 941 1037 1161 1242 1338 1459 1550 1652 1773 1823 1965 2145 2300 2339 2447 2536 2644 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 3821 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6155 6253 6358 6456 6554 6695 6751 6820 6969 7017 7172 7298 7371 7443 7597 7682 7749 7864 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1242 1338 1459 1550 1652 1773 1823 1965 2145 2300 2339 2447 2536 2644 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 3821 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6155 6253 6358 6456 6554 6695 6751 6820 6969 7017 7172 7298 7371 7443 7597 7682 7749 7864 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1338 1459 1550 1652 1773 1823 1965 2034 2145 2300 2339 2447 2536 2644 2740 2824 2916 3018 3133 3280 3330 3412 3514 3694 3746 3821 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6155 6253 6358 6456 6554 6695 6751 6820 6969 7017 7172 7298 7371 7443 7597 7682 7749 7864 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1338 1459 1550 1652 1773 1823 1965 2034 2145 2300 2339 2447 2536 2644 2740 2916 3018 3133 3280 3330 3412 3514 3694 3746 3821 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6155 6253 6358 6456 6554 6695 6751 6820 6969 7017 7172 7298 7371 7443 7597 7682 7749 7864 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1338 1459 1550 1652 1773 1823 1965 2034 2145 2300 2339 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3821 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 6063 6155 6253 6358 6456 6554 6695 6751 6820 6969 7017 7172 7298 7371 7443 7597 7682 7749 7864 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1338 1459 1550 1652 1773 1823 1965 2034 2145 2300 2339 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3821 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4942 5081 5184 5289 5360 5435 5570 5626 5728 5866 6063 6155 6253 6358 6456 6554 6695 6751 6820 6969 7017 7172 7298 7371 7443 7597 7682 7749 7864 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1338 1459 1550 1652 1773 1823 1965 2034 2145 2300 2339 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3821 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4942 5081 5184 5289 5360 5435 5570 5626 5728 5866 6063 6191 6253 6358 6456 6554 6695 6751 6820 6969 7017 7172 7298 7371 7443 7597 7682 7749 7864 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1338 1459 1550 1652 1773 1823 1965 2034 2145 2300 2339 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3821 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4942 5081 5184 5289 5360 5435 5570 5626 5728 5866 6063 6191 6253 6358 6456 6554 6695 6751 6820 6969 7017 7172 7298 7371 7443 7597 7682 7749 7864 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1338 1459 1550 1652 1773 1823 1965 2034 2145 2300 2339 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3821 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4942 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6191 6253 6358 6456 6554 6695 6751 6820 6969 7017 7172 7298 7443 7597 7682 7749 7864 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1338 1459 1550 1652 1773 1823 1965 2034 2145 2300 2339 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3821 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4942 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6191 6253 6358 6456 6554 6695 6751 6820 6969 7017 7172 7298 7443 7597 7682 7771 7864 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1338 1459 1550 1652 1773 1823 1965 2034 2145 2300 2339 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3821 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4942 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6191 6358 6456 6554 6695 6751 6820 6969 7017 7172 7298 7353 7443 7597 7682 7771 7864 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1338 1459 1550 1652 1773 1823 1965 2034 2145 2300 2339 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3821 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4942 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6191 6358 6456 6554 6695 6751 6820 6969 7017 7172 7298 7353 7443 7597 7682 7771 7864 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9549 9601 9704 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1338 1459 1550 1652 1773 1803 1965 2034 2145 2300 2339 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3821 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4942 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6191 6358 6456 6554 6695 6751 6820 6969 7017 7172 7298 7353 7443 7597 7682 7771 7864 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9549 9601 9704 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1338 1459 1550 1652 1773 1803 1965 2034 2145 2300 2339 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3821 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4942 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6191 6323 6456 6554 6695 6751 6820 6969 7017 7172 7298 7353 7443 7597 7682 7771 7864 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9549 9601 9704 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1338 1459 1550 1652 1773 1803 1965 2034 2145 2300 2339 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3821 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4942 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6191 6258 6323 6554 6695 6751 6820 6969 7017 7172 7298 7353 7443 7597 7682 7771 7864 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9549 9601 9704 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1338 1459 1550 1652 1773 1803 1965 2034 2145 2300 2339 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3821 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4942 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6191 6258 6323 6554 6695 6751 6820 6969 7017 7172 7298 7353 7443 7597 7682 7771 7864 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9549 9601 9756 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1338 1459 1550 1773 1803 1965 2034 2145 2300 2339 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3821 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4942 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6191 6258 6323 6404 6554 6695 6751 6820 6969 7017 7172 7298 7353 7443 7597 7682 7771 7864 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9549 9601 9756 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1338 1459 1550 1621 1773 1803 1965 2034 2145 2300 2339 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4942 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6191 6258 6323 6404 6554 6695 6751 6820 6969 7017 7172 7298 7353 7443 7597 7682 7771 7864 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9549 9601 9756 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1338 1459 1550 1621 1773 1803 1965 2034 2145 2300 2339 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4942 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6191 6258 6323 6404 6554 6695 6751 6820 6952 7017 7172 7298 7353 7443 7597 7682 7771 7864 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9549 9601 9756 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1459 1550 1621 1773 1803 1965 2034 2145 2300 2339 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4942 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6191 6258 6323 6404 6554 6695 6751 6820 6952 7017 7172 7298 7353 7443 7597 7682 7771 7864 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9549 9601 9756 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1459 1550 1621 1773 1803 1965 2034 2145 2300 2339 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4942 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6191 6258 6323 6404 6554 6695 6751 6820 6952 7017 7172 7298 7353 7443 7597 7682 7771 7869 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9549 9601 9756 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1459 1550 1621 1773 1803 1965 2034 2145 2300 2339 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4942 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6191 6258 6323 6404 6554 6695 6751 6820 6952 7017 7172 7298 7353 7464 7597 7682 7771 7869 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9549 9601 9756 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1459 1543 1621 1773 1803 1965 2034 2145 2300 2339 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4942 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6191 6258 6323 6404 6554 6695 6751 6820 6952 7017 7172 7298 7353 7464 7597 7682 7771 7869 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9549 9601 9756 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1459 1543 1621 1773 1803 1965 2034 2145 2300 2339 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4942 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6191 6258 6323 6404 6554 6695 6751 6820 6952 7017 7172 7298 7353 7464 7597 7682 7771 7869 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9550 9601 9756 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1349 1459 1543 1621 1773 1803 1965 2034 2145 2300 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4942 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6191 6258 6323 6404 6554 6695 6751 6820 6952 7017 7172 7298 7353 7464 7597 7682 7771 7869 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9550 9601 9756 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1349 1459 1543 1621 1773 1803 1965 2034 2145 2300 2342 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6191 6258 6323 6404 6554 6695 6751 6820 6952 7017 7172 7298 7353 7464 7597 7682 7771 7869 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9550 9601 9756 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1349 1459 1543 1621 1773 1803 1965 2034 2145 2300 2342 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6258 6323 6404 6554 6695 6751 6820 6952 7017 7172 7298 7353 7464 7597 7682 7771 7869 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9550 9601 9756 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1349 1459 1543 1621 1773 1803 1965 2034 2145 2300 2342 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6404 6554 6695 6751 6820 6952 7017 7172 7298 7353 7464 7597 7682 7771 7869 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9550 9601 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1349 1459 1543 1621 1773 1803 1965 2034 2145 2300 2342 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6554 6695 6751 6820 6952 7017 7172 7298 7353 7464 7597 7682 7771 7869 7999 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9550 9601 9704 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1349 1459 1543 1621 1773 1803 1965 2034 2145 2300 2342 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 6695 6751 6820 6952 7017 7172 7298 7353 7464 7597 7682 7771 7869 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9550 9601 9704 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1349 1459 1543 1621 1773 1803 2034 2145 2300 2342 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 6695 6751 6820 6952 7017 7172 7298 7353 7464 7597 7682 7771 7869 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9550 9601 9704 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1349 1459 1621 1773 1803 1939 2034 2145 2300 2342 2447 2536 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 6695 6751 6820 6952 7017 7172 7298 7353 7464 7597 7682 7771 7869 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9550 9601 9704 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1349 1459 1536 1621 1773 1803 1939 2034 2145 2300 2342 2447 2644 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 6695 6751 6820 6952 7017 7172 7298 7353 7464 7597 7682 7771 7869 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9550 9601 9704 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1349 1459 1536 1621 1773 1803 1939 2034 2145 2300 2342 2447 2543 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 6695 6751 6820 6952 7017 7172 7298 7353 7464 7597 7682 7771 7869 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9550 9601 9704 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1349 1459 1536 1621 1773 1803 1939 2034 2145 2300 2342 2447 2543 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 6695 6751 6820 6952 7017 7144 7298 7353 7464 7597 7682 7771 7869 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9550 9601 9704 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1349 1459 1536 1621 1773 1803 1939 2034 2145 2342 2447 2543 2672 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 6695 6751 6820 6952 7017 7144 7298 7353 7464 7597 7682 7771 7869 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9550 9601 9704 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1349 1459 1536 1621 1773 1803 1939 2034 2145 2342 2447 2543 2672 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 6695 6751 6820 6952 7017 7144 7298 7353 7464 7597 7682 7771 7869 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9550 9601 9704 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1349 1459 1536 1621 1773 1803 2034 2145 2239 2342 2447 2543 2672 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 6695 6751 6820 6952 7017 7144 7298 7353 7464 7597 7682 7771 7869 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9550 9601 9704 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1349 1459 1536 1621 1773 1803 1972 2034 2145 2239 2342 2447 2543 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 6695 6751 6820 6952 7017 7144 7298 7353 7464 7597 7682 7771 7869 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9550 9601 9704 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1349 1459 1536 1621 1773 1972 2034 2145 2239 2342 2447 2543 2696 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 6695 6751 6820 6952 7017 7144 7298 7353 7464 7597 7682 7771 7869 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9550 9601 9704 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1349 1459 1536 1621 1773 1834 1972 2145 2239 2342 2447 2543 2696 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 6695 6751 6820 6952 7017 7144 7298 7353 7464 7597 7682 7771 7869 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9550 9601 9704 9802 9955 a 79 176 278 375 477 548 668 762 867 941 1037 1161 1224 1349 1459 1536 1621 1773 1834 1972 2145 2239 2342 2447 2543 2696 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 6695 6751 6820 6952 7017 7144 7298 7353 7464 7597 7682 7771 7869 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9955 a 79 176 375 477 548 668 762 867 941 1037 1161 1224 1349 1459 1536 1621 1773 1834 1972 2050 2145 2239 2342 2447 2543 2696 2740 2832 2916 3018 3133 3280 3330 3412 3514 3694 3746 3838 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6156 6258 6323 6499 6554 6695 6751 6820 6952 7017 7144 7298 7353 7464 7597 7682 7771 7869 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9955 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen100x100.col /benchmark/2022benchmark/benchmark/queen/queen100x100_03_6670.dat" User time (seconds): 3475.54 System time (seconds): 8.75 Percent of CPU this job got: 199% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:02.48 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): 3503984 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 6249456 Voluntary context switches: 68439 Involuntary context switches: 14406 Swaps: 0 File system inputs: 0 File system outputs: 49600 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Sat Sep 9 11:36:01 2023]