#BEGIN: [Fri Sep 8 17:59:23 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-ai-planning2-shortest2 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen100x100.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen100x100_04_0618.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/queen100x100.col /benchmark/2022benchmark/benchmark/queen/queen100x100_04_0618.dat s 944 6969 4991 9113 3753 8129 7017 6462 1459 8719 9015 7249 5728 5626 5360 8410 9309 6550 6257 5866 7861 4592 7347 8227 79 3412 3694 3848 1356 477 8031 278 1823 7682 6751 4888 4400 7198 7499 554 4483 1568 9405 1652 5435 2916 2696 1258 176 2342 4286 9704 7740 2546 9601 3514 5932 6820 9211 7597 8808 4687 5289 6695 5081 6155 8607 5570 3990 1973 3330 767 9802 2437 3018 5184 636 375 2824 4193 2739 6063 864 1065 6321 4785 2245 8522 8325 3280 3133 8906 9503 1143 2141 2038 4074 7972 9971 t 6820 79 5289 5570 7254 5957 7464 375 1242 2443 4193 2300 1045 4286 5184 7017 1773 7898 548 278 1161 176 7372 8906 5081 2037 4483 6751 3694 3746 2644 4888 8808 4074 6695 6455 3412 867 9601 6156 9309 477 2916 3514 5866 8719 5728 3330 1459 9953 2147 8607 8522 5435 8031 1349 6258 2536 9211 762 9704 9802 8410 3133 5360 9405 9113 2739 4592 1621 4785 2832 7199 2324 5626 3990 9015 6952 9503 3280 4991 668 8325 6063 1569 3838 7597 7965 3018 8227 1834 6323 941 6550 4687 1940 4396 7771 8129 a YES a 79 176 278 375 477 554 636 767 864 944 1065 1143 1258 1356 1459 1568 1652 1823 1973 2038 2141 2245 2342 2437 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6155 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7740 7861 7972 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9971 a 79 176 278 375 477 636 767 864 944 1065 1143 1258 1356 1459 1568 1652 1734 1823 1973 2038 2141 2245 2342 2437 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6155 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7740 7861 7972 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9971 a 79 176 278 375 477 555 636 767 864 944 1065 1143 1258 1356 1459 1568 1652 1734 1823 1973 2038 2141 2245 2342 2437 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7740 7861 7972 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9971 a 79 176 278 375 477 555 636 767 864 944 1065 1143 1258 1356 1459 1568 1652 1734 1823 1973 2038 2141 2245 2342 2437 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7740 7861 7972 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 864 944 1065 1143 1258 1356 1459 1568 1652 1734 1823 1973 2038 2141 2245 2342 2437 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 864 944 1065 1143 1258 1356 1459 1568 1640 1734 1823 1973 2038 2141 2245 2342 2437 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 864 944 1065 1143 1258 1356 1459 1568 1640 1734 1823 1973 2038 2141 2245 2342 2452 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 864 944 1065 1143 1258 1356 1459 1568 1640 1734 1823 1973 2038 2141 2245 2342 2452 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6107 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 864 944 1065 1143 1356 1459 1568 1640 1734 1823 1973 2038 2141 2245 2342 2452 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6107 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 864 944 1065 1143 1223 1356 1459 1568 1640 1734 1973 2038 2141 2245 2342 2452 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6107 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 864 944 1065 1143 1223 1356 1459 1568 1640 1734 1837 1973 2038 2141 2245 2452 2546 2696 2739 2824 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6107 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 864 944 1065 1143 1223 1356 1459 1568 1640 1734 1837 1973 2038 2141 2245 2324 2452 2546 2696 2739 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6107 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 944 1065 1143 1223 1356 1459 1568 1640 1734 1837 1973 2038 2141 2245 2324 2452 2546 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6107 6257 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 857 944 1065 1143 1223 1356 1459 1568 1640 1734 1837 1973 2038 2141 2245 2324 2452 2546 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6107 6321 6462 6550 6695 6751 6820 6969 7017 7198 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 857 944 1065 1143 1223 1356 1459 1568 1640 1734 1837 1973 2038 2141 2245 2324 2452 2546 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6107 6298 6321 6462 6550 6695 6751 6820 6969 7017 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 857 944 1065 1143 1223 1356 1459 1568 1640 1734 1837 1973 2038 2141 2245 2324 2452 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6107 6298 6321 6462 6550 6695 6751 6820 6969 7017 7146 7249 7347 7499 7597 7682 7771 7861 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 857 944 1065 1143 1223 1356 1459 1568 1640 1734 1837 1973 2038 2141 2245 2324 2452 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6107 6298 6321 6462 6550 6695 6751 6820 6969 7017 7146 7249 7347 7499 7597 7682 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 857 944 1065 1143 1223 1356 1459 1568 1640 1837 1973 2038 2141 2245 2324 2452 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6107 6298 6321 6462 6550 6695 6751 6820 6969 7017 7146 7249 7347 7499 7597 7682 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 857 944 1065 1143 1223 1356 1459 1568 1640 1799 1837 1973 2038 2141 2245 2324 2452 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6107 6298 6321 6462 6550 6695 6751 6820 6969 7017 7146 7249 7347 7597 7682 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 857 944 1065 1143 1223 1356 1459 1568 1640 1799 1837 2038 2141 2245 2324 2452 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6107 6298 6321 6462 6550 6695 6751 6820 6969 7017 7146 7249 7347 7473 7597 7682 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 857 944 1065 1143 1223 1356 1459 1568 1640 1799 1837 2000 2038 2141 2245 2324 2452 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6107 6298 6321 6462 6550 6695 6751 6820 6969 7017 7146 7249 7347 7473 7597 7682 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 767 857 944 1065 1143 1223 1356 1459 1568 1640 1799 1837 2000 2038 2141 2245 2324 2452 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4307 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6298 6321 6462 6550 6695 6751 6820 6969 7017 7146 7249 7347 7473 7597 7682 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 761 857 944 1065 1143 1223 1356 1459 1568 1640 1799 1837 2000 2038 2141 2245 2324 2452 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4307 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6298 6321 6462 6550 6695 6751 6820 6969 7017 7146 7249 7347 7473 7597 7682 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 761 857 944 1065 1143 1223 1356 1459 1568 1640 1799 1837 2000 2038 2141 2245 2324 2452 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4307 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6298 6321 6462 6550 6695 6751 6820 6969 7017 7146 7267 7347 7473 7597 7682 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 761 857 944 1065 1143 1223 1356 1459 1568 1640 1799 1837 2000 2038 2141 2249 2324 2452 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4307 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6298 6321 6462 6550 6695 6751 6820 6969 7017 7146 7267 7347 7473 7597 7682 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 636 761 857 944 1065 1143 1223 1356 1459 1568 1640 1799 1837 2000 2038 2141 2249 2324 2452 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4307 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6321 6462 6550 6695 6751 6820 6969 7017 7146 7267 7347 7473 7597 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 761 857 944 1065 1143 1223 1356 1459 1568 1640 1799 1837 2000 2038 2141 2249 2324 2452 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4307 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6321 6462 6550 6695 6751 6820 6969 7017 7146 7267 7347 7473 7597 7645 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 668 761 857 944 1065 1143 1223 1356 1459 1640 1799 1837 2000 2038 2141 2249 2324 2452 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4307 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6321 6462 6550 6695 6751 6820 6969 7017 7146 7267 7347 7473 7597 7645 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 668 761 857 944 1065 1143 1223 1356 1459 1521 1640 1799 1837 2000 2038 2141 2249 2324 2452 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4307 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6462 6550 6695 6751 6820 6969 7017 7146 7267 7347 7473 7597 7645 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 668 761 857 944 1065 1143 1223 1356 1459 1521 1640 1799 1837 2000 2038 2141 2249 2324 2452 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4307 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6462 6550 6695 6751 6820 6969 7017 7146 7267 7347 7473 7597 7645 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 668 761 857 944 1065 1143 1223 1459 1521 1640 1799 1837 2000 2038 2141 2249 2324 2452 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4307 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6462 6550 6695 6751 6820 6969 7017 7146 7267 7347 7473 7597 7645 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9356 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 668 761 857 944 1065 1143 1223 1338 1459 1521 1640 1799 1837 2000 2141 2249 2324 2452 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4307 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6462 6550 6695 6751 6820 6969 7017 7146 7267 7347 7473 7597 7645 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9356 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 668 761 857 944 1065 1143 1223 1338 1459 1521 1640 1799 2000 2037 2141 2249 2324 2452 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4307 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6462 6550 6695 6751 6820 6969 7017 7146 7267 7347 7473 7597 7645 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9356 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 668 761 857 944 1065 1223 1338 1459 1521 1640 1799 1836 2000 2037 2141 2249 2324 2452 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4307 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6462 6550 6695 6751 6820 6969 7017 7146 7267 7347 7473 7597 7645 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9356 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 668 761 857 944 1065 1141 1223 1338 1459 1521 1640 1799 1836 2000 2037 2249 2324 2452 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4307 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6462 6550 6695 6751 6820 6969 7017 7146 7267 7347 7473 7597 7645 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9356 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 668 761 857 944 1065 1141 1223 1338 1459 1521 1640 1799 1836 2000 2037 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4307 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6462 6550 6695 6751 6820 6969 7017 7146 7267 7347 7473 7597 7645 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9356 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 668 761 857 952 1065 1141 1223 1338 1459 1521 1640 1799 1836 2000 2037 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4307 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6462 6550 6695 6751 6820 6969 7017 7146 7267 7347 7473 7597 7645 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9356 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 668 761 952 1065 1141 1223 1338 1459 1521 1640 1799 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4307 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6462 6550 6695 6751 6820 6969 7017 7146 7267 7347 7473 7597 7645 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9356 9405 9503 9601 9704 9802 9954 a 79 176 278 375 477 555 668 761 854 952 1065 1141 1223 1338 1459 1521 1640 1799 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4307 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6462 6550 6695 6751 6820 6969 7017 7146 7267 7347 7473 7597 7645 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9356 9405 9503 9601 9704 9802 a 79 176 278 375 477 555 668 761 854 952 1141 1223 1338 1459 1521 1640 1799 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3753 3848 3990 4074 4193 4286 4307 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6462 6550 6695 6751 6820 6969 7017 7146 7267 7347 7473 7597 7645 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9356 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 555 668 761 854 952 1141 1223 1338 1459 1521 1640 1799 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3848 3990 4074 4193 4286 4307 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6462 6550 6695 6751 6820 6969 7017 7146 7267 7347 7473 7597 7645 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9356 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 555 668 761 854 952 1045 1141 1223 1338 1459 1521 1640 1799 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3848 3990 4074 4193 4286 4307 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6462 6550 6695 6751 6820 6969 7017 7146 7267 7347 7473 7597 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9356 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 555 668 761 854 952 1045 1141 1223 1338 1459 1521 1640 1799 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3848 3990 4074 4193 4286 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6462 6550 6695 6751 6820 6969 7017 7146 7267 7347 7473 7597 7607 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9356 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 555 668 761 854 952 1045 1141 1223 1338 1459 1521 1640 1799 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3848 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6462 6550 6695 6751 6820 6969 7017 7146 7267 7473 7597 7607 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9356 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 555 668 761 854 952 1045 1141 1223 1338 1459 1521 1640 1799 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3848 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6550 6695 6751 6820 6969 7017 7146 7267 7353 7473 7597 7607 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9356 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 555 668 762 854 952 1045 1141 1223 1338 1459 1521 1640 1799 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3848 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6550 6695 6751 6820 6969 7017 7146 7267 7353 7473 7597 7607 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9356 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 555 668 762 854 952 1045 1141 1223 1338 1459 1521 1640 1799 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3848 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6456 6550 6695 6751 6820 6969 7017 7146 7267 7353 7473 7597 7607 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 555 668 762 854 952 1045 1141 1223 1338 1459 1521 1640 1799 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3848 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6456 6550 6695 6751 6820 7017 7146 7267 7353 7473 7597 7607 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9361 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 555 668 762 854 1045 1141 1223 1338 1459 1521 1640 1799 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3848 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7267 7353 7473 7597 7607 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9361 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 555 668 762 854 941 1045 1223 1338 1459 1521 1640 1799 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3848 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7267 7353 7473 7597 7607 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9361 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 555 668 762 854 941 1045 1223 1338 1459 1569 1640 1799 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3848 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7267 7353 7473 7597 7607 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9361 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 555 668 762 854 941 1045 1121 1223 1338 1459 1569 1640 1799 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7267 7353 7473 7597 7607 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9361 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 548 668 762 854 941 1045 1121 1223 1338 1459 1569 1640 1799 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7267 7353 7473 7597 7607 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9361 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 548 668 762 854 941 1045 1121 1223 1459 1569 1640 1799 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7267 7353 7473 7597 7607 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9361 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 548 668 762 854 941 1045 1121 1223 1373 1459 1569 1640 1799 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7267 7353 7597 7607 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9361 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 548 668 762 854 941 1045 1121 1223 1373 1459 1569 1640 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7267 7353 7499 7597 7607 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9361 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 548 668 762 854 941 1045 1121 1373 1459 1569 1640 1723 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5932 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7267 7353 7499 7597 7607 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9361 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 548 668 762 854 941 1045 1121 1232 1373 1459 1569 1640 1723 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7267 7353 7499 7597 7607 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9361 9405 9503 9601 9704 9802 9957 a 79 176 278 375 477 548 668 762 854 941 1045 1121 1232 1373 1459 1569 1640 1723 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7267 7353 7499 7597 7607 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9361 9405 9503 9601 9704 9802 a 79 176 278 375 477 548 668 762 854 941 1045 1121 1232 1373 1459 1569 1640 1723 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7267 7499 7597 7607 7771 7864 7972 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 854 941 1045 1121 1232 1373 1459 1569 1640 1723 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7267 7372 7499 7597 7607 7771 7864 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9113 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 854 941 1045 1121 1232 1373 1459 1569 1640 1723 1836 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7267 7372 7499 7597 7607 7771 7864 7913 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 854 941 1045 1121 1232 1373 1459 1569 1640 1723 1836 2000 2037 2144 2249 2324 2443 2534 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7267 7372 7499 7597 7607 7771 7864 7913 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9155 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 896 941 1045 1121 1232 1373 1459 1569 1640 1723 1836 2000 2037 2144 2249 2324 2443 2534 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7267 7372 7499 7597 7607 7771 7864 7913 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9155 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 896 941 1045 1121 1232 1373 1459 1569 1640 1723 1836 2000 2037 2144 2249 2324 2443 2534 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7254 7372 7499 7597 7607 7771 7864 7913 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9155 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1232 1373 1459 1569 1640 1723 1836 2000 2037 2144 2249 2324 2443 2534 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7254 7372 7499 7597 7607 7771 7864 7913 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9155 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1232 1373 1459 1569 1640 1723 2000 2037 2144 2249 2324 2443 2534 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7254 7372 7499 7597 7607 7771 7864 7913 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9155 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1232 1373 1459 1569 1640 1723 2000 2037 2144 2249 2324 2443 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7254 7372 7499 7597 7607 7771 7864 7913 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9155 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1373 1459 1569 1640 1723 1834 2000 2037 2144 2249 2324 2443 2536 2696 2739 2842 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7254 7372 7499 7597 7607 7771 7864 7913 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9155 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1373 1459 1569 1640 1723 1834 2000 2037 2144 2249 2324 2443 2536 2696 2739 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4347 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7254 7372 7499 7597 7607 7771 7864 7913 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9155 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1373 1459 1569 1640 1723 1834 2000 2037 2144 2249 2324 2443 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7254 7372 7499 7597 7607 7771 7864 7913 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9155 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1373 1459 1569 1640 1723 1834 2000 2037 2147 2249 2324 2443 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7254 7372 7499 7597 7607 7771 7864 7913 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9155 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1373 1459 1569 1640 1723 1834 2000 2037 2147 2249 2324 2443 2536 2644 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7254 7372 7499 7597 7607 7771 7864 7913 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9155 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1459 1569 1640 1723 1834 2000 2037 2147 2249 2324 2443 2536 2644 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7254 7372 7499 7597 7607 7771 7864 7913 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9155 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1459 1569 1640 1773 1834 2000 2037 2147 2249 2324 2443 2536 2644 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6298 6309 6456 6550 6695 6751 6820 6952 7017 7146 7254 7372 7499 7597 7607 7771 7864 7913 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9155 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1459 1569 1640 1773 1834 2000 2037 2147 2249 2324 2443 2536 2644 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6298 6323 6456 6550 6695 6751 6820 6952 7017 7146 7254 7372 7499 7597 7607 7771 7864 7913 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9155 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1459 1569 1640 1773 1834 1909 2037 2147 2249 2324 2443 2536 2644 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6298 6323 6456 6550 6695 6751 6820 6952 7017 7146 7254 7372 7499 7597 7607 7771 7864 7913 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9155 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1459 1569 1640 1773 1834 1909 2037 2147 2300 2324 2443 2536 2644 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6298 6323 6456 6550 6695 6751 6820 6952 7017 7146 7254 7372 7499 7597 7607 7771 7864 7913 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9155 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1349 1459 1569 1640 1773 1834 1909 2037 2147 2300 2324 2443 2536 2644 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6323 6456 6550 6695 6751 6820 6952 7017 7146 7254 7372 7499 7597 7607 7771 7864 7913 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9155 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1349 1459 1569 1640 1773 1834 1909 2037 2147 2300 2324 2443 2536 2644 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6323 6456 6550 6695 6751 6820 6952 7017 7146 7254 7372 7499 7597 7607 7771 7898 7913 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9155 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1349 1459 1569 1640 1773 1834 1909 2037 2147 2300 2324 2443 2536 2644 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6323 6456 6550 6695 6751 6820 6952 7017 7146 7254 7372 7499 7597 7607 7771 7898 7913 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9164 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1349 1459 1569 1640 1773 1834 1909 2037 2147 2300 2324 2443 2536 2644 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6323 6455 6550 6695 6751 6820 6952 7017 7146 7254 7372 7499 7597 7607 7771 7898 7913 8031 8129 8227 8325 8410 8522 8658 8719 8808 8906 9015 9164 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1349 1459 1569 1640 1773 1834 1909 2037 2147 2300 2324 2443 2536 2644 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6258 6323 6455 6550 6695 6751 6820 6952 7017 7146 7254 7372 7499 7597 7607 7771 7898 7913 8031 8129 8227 8325 8410 8522 8719 8808 8906 9015 9164 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1349 1459 1569 1640 1773 1834 1909 2037 2147 2300 2324 2443 2536 2644 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3765 3838 3990 4074 4193 4286 4396 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5435 5570 5626 5728 5866 5957 6063 6182 6258 6323 6455 6550 6695 6751 6820 6952 7017 7146 7254 7372 7499 7597 7771 7898 7913 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9164 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1349 1459 1569 1640 1773 1834 1909 2037 2147 2300 2324 2443 2536 2644 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3765 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 6455 6550 6695 6751 6820 6952 7017 7146 7254 7372 7499 7597 7682 7771 7898 7913 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9164 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1349 1459 1569 1640 1773 1834 1909 2037 2147 2300 2324 2443 2536 2644 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3765 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 6455 6550 6695 6751 6820 6952 7017 7254 7372 7499 7597 7682 7771 7898 7913 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9164 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1349 1459 1569 1640 1773 1834 1909 2037 2147 2300 2324 2443 2536 2644 2739 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 6455 6550 6695 6751 6820 6952 7017 7254 7372 7499 7597 7682 7771 7898 7913 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9164 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1349 1459 1569 1640 1773 1834 1909 2037 2147 2300 2324 2443 2536 2644 2739 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 6455 6550 6695 6751 6820 6952 7017 7199 7254 7372 7597 7682 7771 7898 7913 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9164 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1349 1459 1569 1640 1773 1834 1909 2037 2147 2300 2324 2443 2536 2644 2739 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 6455 6550 6695 6751 6820 6952 7017 7199 7254 7372 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9164 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1349 1459 1569 1640 1773 1834 1909 2037 2147 2300 2324 2443 2536 2644 2739 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 6455 6550 6695 6751 6820 6952 7017 7199 7254 7372 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1349 1459 1569 1640 1773 1834 2037 2147 2300 2324 2443 2536 2644 2739 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 6455 6550 6695 6751 6820 6952 7017 7199 7254 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1121 1242 1349 1459 1569 1773 1834 1940 2037 2147 2300 2324 2443 2536 2644 2739 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 6455 6550 6695 6751 6820 6952 7017 7199 7254 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1242 1349 1459 1569 1621 1773 1834 1940 2037 2147 2300 2324 2443 2536 2644 2739 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 6455 6550 6695 6751 6820 6952 7017 7199 7254 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9361 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1242 1349 1459 1569 1621 1773 1834 1940 2037 2147 2300 2324 2443 2536 2644 2739 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 6455 6550 6695 6751 6820 6952 7017 7199 7254 7372 7464 7597 7682 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9953 a 79 176 278 375 477 548 668 762 867 941 1045 1161 1242 1349 1459 1569 1621 1773 1834 1940 2037 2147 2300 2324 2443 2536 2644 2739 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 6455 6550 6695 6751 6820 6952 7017 7199 7254 7372 7464 7597 7771 7898 7965 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9953 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_04_0618.dat" User time (seconds): 3474.96 System time (seconds): 9.51 Percent of CPU this job got: 199% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:02.64 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): 4411592 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 6101672 Voluntary context switches: 68449 Involuntary context switches: 12569 Swaps: 0 File system inputs: 0 File system outputs: 49800 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 18:28:26 2023]