#BEGIN: [Fri Sep 8 17:39:56 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-ai-planning2-shortest2 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen090x090.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen090x090_02_0808.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/queen090x090.col /benchmark/2022benchmark/benchmark/queen/queen090x090_02_0808.dat s 4220 4304 2444 3322 5181 6949 4385 3107 1744 4127 2820 5889 989 1914 5440 3683 4642 866 5093 6595 7116 7303 663 4971 7922 6804 4828 7834 71 158 6847 2620 6184 1843 4041 6363 1379 6449 5602 5240 3417 7028 7741 3585 5971 1657 1036 2114 1278 7215 7565 4872 2273 5686 7479 3853 1225 8094 2786 4590 3769 7717 1476 342 3177 2357 7391 250 6542 1572 3946 2965 5535 5358 6065 519 2523 3019 2068 4740 568 758 4488 5801 6242 6717 1141 2186 426 t 682 4220 2620 3853 3014 5688 3082 5240 4385 1570 2820 6949 71 5889 2068 2523 7922 6542 989 2357 6242 6454 2786 7479 3470 1653 7028 3769 7565 4886 3683 5986 6065 6180 4488 2185 4971 1381 6847 1276 6629 3585 1026 4127 4637 6327 158 1141 6778 519 4692 3199 5618 7741 3417 8094 342 754 1773 5535 5801 5093 2965 1914 5358 594 7116 7215 250 5181 7717 4828 4304 4041 2444 2113 4529 3322 7303 6717 1842 866 3946 1225 5490 2273 7834 1477 7391 a YES a 71 158 250 342 426 519 568 663 758 866 989 1036 1141 1225 1278 1379 1476 1572 1657 1744 1843 1914 2068 2114 2186 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3177 3322 3417 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4590 4642 4740 4828 4872 4971 5093 5181 5240 5358 5440 5535 5602 5686 5801 5889 5971 6065 6184 6242 6363 6449 6542 6595 6717 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 663 758 866 989 1036 1141 1225 1278 1379 1476 1572 1657 1744 1843 1914 2068 2114 2186 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3177 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4590 4642 4740 4828 4872 4971 5093 5181 5240 5358 5440 5535 5602 5686 5801 5889 5971 6065 6184 6242 6363 6449 6542 6595 6717 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 663 758 866 989 1036 1141 1225 1278 1379 1476 1572 1657 1744 1843 1914 2068 2114 2186 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3177 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4590 4642 4740 4828 4872 4971 5093 5181 5240 5358 5440 5535 5602 5686 5801 5889 5971 6065 6184 6242 6363 6449 6542 6595 6717 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 663 758 866 989 1036 1141 1225 1278 1379 1476 1572 1657 1738 1843 1914 2068 2114 2186 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3177 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4590 4642 4740 4828 4872 4971 5093 5181 5240 5358 5440 5535 5602 5686 5801 5889 5971 6065 6184 6242 6363 6449 6542 6595 6717 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 663 758 866 989 1036 1141 1225 1278 1379 1476 1572 1657 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3177 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4590 4642 4740 4828 4872 4971 5093 5181 5240 5358 5440 5535 5602 5686 5801 5889 5971 6065 6184 6242 6363 6449 6542 6595 6717 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 663 758 866 989 1036 1141 1225 1278 1379 1476 1572 1657 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3177 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4590 4642 4740 4828 4886 4971 5093 5181 5240 5358 5440 5535 5602 5686 5801 5889 5971 6065 6184 6242 6363 6449 6542 6595 6717 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 663 758 866 989 1036 1141 1225 1278 1379 1476 1572 1657 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3177 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4590 4642 4828 4886 4971 5093 5181 5240 5358 5440 5535 5602 5686 5801 5889 5971 6065 6184 6242 6363 6449 6542 6595 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 663 758 866 989 1036 1141 1225 1278 1379 1476 1572 1657 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3177 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4590 4642 4692 4828 4886 4971 5093 5181 5240 5358 5440 5535 5686 5801 5889 5971 6065 6184 6242 6363 6449 6542 6595 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 663 758 866 989 1036 1141 1225 1278 1379 1462 1572 1657 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3177 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4590 4642 4692 4828 4886 4971 5093 5181 5240 5358 5440 5535 5686 5801 5889 5971 6065 6184 6242 6363 6449 6542 6595 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 663 758 866 989 1036 1141 1225 1296 1379 1462 1572 1657 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3177 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4590 4642 4692 4828 4886 4971 5093 5181 5240 5358 5440 5535 5686 5801 5889 5971 6065 6184 6242 6363 6449 6542 6595 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 648 758 866 989 1036 1141 1225 1296 1379 1462 1572 1657 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3177 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4590 4642 4692 4828 4886 4971 5093 5181 5240 5358 5440 5535 5686 5801 5889 5971 6065 6184 6242 6363 6449 6542 6595 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 648 758 866 989 1036 1141 1225 1296 1379 1462 1572 1653 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3177 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4590 4642 4692 4828 4886 4971 5093 5181 5240 5358 5440 5535 5686 5801 5889 5971 6065 6184 6242 6363 6449 6542 6595 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 648 758 866 989 1036 1141 1225 1296 1379 1462 1567 1653 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3177 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4590 4642 4692 4828 4886 4971 5093 5181 5240 5358 5440 5535 5686 5801 5889 5971 6065 6184 6242 6363 6449 6542 6595 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 648 758 866 989 1036 1141 1225 1296 1379 1462 1567 1653 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3192 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4590 4642 4692 4828 4886 4971 5093 5181 5240 5358 5440 5535 5686 5801 5889 5971 6065 6184 6242 6363 6449 6542 6595 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 648 747 866 989 1036 1141 1225 1296 1379 1462 1567 1653 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3192 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4590 4642 4692 4828 4886 4971 5093 5181 5240 5358 5440 5535 5686 5801 5889 5971 6065 6184 6242 6363 6449 6542 6595 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 648 747 866 989 1036 1141 1225 1296 1379 1462 1567 1653 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3192 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4590 4642 4692 4828 4886 4971 5093 5181 5240 5358 5535 5618 5686 5801 5889 5971 6065 6184 6242 6363 6449 6542 6595 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 648 747 866 989 1036 1141 1225 1296 1379 1462 1567 1653 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3192 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4642 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5686 5801 5889 5971 6065 6184 6242 6363 6449 6542 6595 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 648 747 866 989 1036 1141 1225 1296 1390 1462 1567 1653 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3192 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4642 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5686 5801 5889 5971 6065 6184 6242 6363 6449 6542 6595 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 648 747 866 989 1036 1141 1225 1296 1390 1462 1567 1653 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3192 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4642 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5801 5889 5971 6065 6184 6242 6363 6449 6542 6595 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 648 747 866 989 1036 1141 1225 1296 1390 1462 1567 1653 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3192 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4642 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5801 5889 5971 6065 6136 6242 6363 6449 6542 6595 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 648 747 866 989 1036 1141 1225 1296 1390 1462 1567 1653 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3192 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4642 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5824 5889 5971 6065 6136 6242 6363 6449 6542 6595 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 648 747 866 989 1036 1141 1225 1296 1390 1462 1567 1653 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3192 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4642 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5824 5889 5971 6065 6136 6242 6363 6431 6542 6595 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 648 747 866 989 1036 1141 1225 1296 1390 1462 1567 1653 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3192 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4642 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5824 5889 5971 6065 6136 6242 6363 6431 6542 6629 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 655 747 866 989 1036 1141 1225 1296 1390 1462 1567 1653 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3107 3192 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4642 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5824 5889 5971 6065 6136 6242 6363 6431 6542 6629 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 655 747 866 989 1036 1141 1225 1296 1390 1462 1567 1653 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3192 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4642 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5824 5889 5971 6065 6136 6242 6363 6431 6542 6629 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 655 747 866 989 1036 1141 1225 1296 1390 1462 1567 1653 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3192 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5824 5889 5971 6065 6136 6242 6363 6431 6542 6629 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 682 747 866 989 1036 1141 1225 1296 1390 1462 1567 1653 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3192 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5824 5889 5971 6065 6136 6242 6363 6431 6542 6629 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 682 747 866 989 1036 1141 1225 1296 1390 1567 1653 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3082 3192 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5824 5889 5971 6065 6136 6242 6363 6431 6542 6629 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 682 747 866 989 1036 1141 1225 1296 1390 1555 1653 1738 1843 1914 2068 2114 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3082 3192 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5824 5889 5971 6065 6136 6242 6363 6431 6542 6629 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 682 747 866 989 1036 1141 1225 1296 1390 1477 1555 1653 1738 1843 1914 2068 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3082 3192 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5824 5889 5971 6065 6136 6242 6363 6431 6542 6629 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 682 747 866 989 1036 1141 1225 1296 1390 1477 1555 1653 1738 1914 2068 2113 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3082 3192 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5824 5889 5971 6065 6136 6242 6363 6431 6542 6629 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 494 594 682 747 866 989 1036 1141 1225 1296 1390 1477 1555 1653 1738 1914 2068 2113 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3082 3192 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5824 5889 5971 6065 6136 6242 6363 6431 6542 6629 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 494 594 682 747 866 989 1036 1141 1225 1296 1390 1477 1555 1653 1738 1914 2068 2113 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3082 3192 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5824 5889 5971 6065 6189 6242 6363 6431 6542 6629 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 494 594 682 747 866 989 1036 1141 1225 1276 1390 1477 1555 1653 1738 1914 2068 2113 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3082 3192 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5824 5889 5971 6065 6189 6242 6363 6431 6542 6629 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 494 594 682 747 866 989 1036 1141 1225 1276 1390 1477 1555 1653 1738 1842 1914 2068 2113 2194 2273 2357 2444 2523 2620 2786 2820 2965 3019 3082 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5824 5889 5971 6065 6189 6242 6363 6431 6542 6629 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 494 594 682 747 866 989 1036 1141 1225 1276 1390 1477 1555 1653 1738 1842 1914 2068 2113 2194 2273 2357 2444 2523 2620 2786 2820 2965 3082 3199 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5824 5889 5971 6065 6189 6242 6363 6431 6542 6629 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 594 682 747 866 989 1036 1141 1225 1276 1390 1477 1555 1653 1738 1842 1914 2068 2113 2194 2273 2357 2444 2523 2620 2786 2820 2965 3014 3082 3199 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5824 5889 5971 6065 6189 6242 6363 6431 6542 6629 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 481 594 682 747 866 989 1036 1141 1225 1276 1390 1477 1555 1653 1738 1842 1914 2068 2113 2194 2273 2357 2444 2523 2620 2786 2820 2965 3014 3082 3199 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5824 5889 6065 6189 6242 6363 6431 6542 6629 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 481 594 682 756 866 989 1036 1141 1225 1276 1390 1477 1555 1653 1738 1842 1914 2068 2113 2194 2273 2357 2444 2523 2620 2786 2820 2965 3014 3082 3199 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5824 5889 6065 6189 6242 6363 6431 6542 6629 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 481 594 682 756 866 989 1036 1141 1225 1276 1390 1477 1555 1653 1738 1842 1914 2068 2113 2194 2273 2357 2444 2523 2620 2786 2820 2965 3014 3082 3199 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5824 5889 6065 6189 6242 6327 6431 6542 6629 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 481 594 682 756 866 989 1053 1141 1225 1276 1390 1477 1555 1653 1738 1842 1914 2068 2113 2194 2273 2357 2444 2523 2620 2786 2820 2965 3014 3082 3199 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5824 5889 6065 6189 6242 6327 6431 6542 6629 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 481 594 682 756 866 989 1053 1141 1225 1276 1390 1477 1555 1653 1738 1842 1914 2068 2113 2194 2273 2357 2444 2523 2620 2786 2820 2965 3014 3082 3199 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5824 5889 5986 6065 6189 6242 6327 6542 6629 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 481 594 682 756 866 989 1053 1141 1225 1276 1390 1477 1555 1653 1738 1842 1914 2068 2113 2194 2273 2357 2444 2523 2620 2786 2820 2965 3014 3082 3199 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5801 5889 5986 6065 6189 6242 6327 6542 6629 6717 6810 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 481 594 682 756 866 989 1053 1141 1225 1276 1390 1477 1555 1653 1738 1842 1914 2068 2113 2194 2273 2357 2444 2523 2620 2786 2820 2965 3014 3082 3199 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5801 5889 5986 6065 6189 6242 6327 6454 6542 6629 6717 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 481 594 682 756 866 989 1053 1141 1225 1276 1390 1477 1555 1653 1842 1914 2068 2113 2194 2273 2357 2444 2523 2620 2786 2820 2965 3014 3082 3199 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5801 5889 5986 6065 6189 6242 6327 6454 6542 6629 6717 6778 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 481 594 682 756 866 989 1141 1225 1276 1390 1477 1555 1653 1773 1842 1914 2068 2113 2194 2273 2357 2444 2523 2620 2786 2820 2965 3014 3082 3199 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5801 5889 5986 6065 6189 6242 6327 6454 6542 6629 6717 6778 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 481 594 682 756 866 989 1141 1225 1276 1390 1477 1555 1653 1773 1842 1914 2068 2113 2194 2273 2357 2444 2523 2620 2786 2820 2965 3014 3082 3199 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5801 5889 5986 6065 6180 6242 6327 6454 6542 6629 6717 6778 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 682 756 866 989 1141 1225 1276 1390 1477 1555 1653 1773 1842 1914 2068 2113 2194 2273 2357 2444 2523 2620 2786 2820 2965 3014 3082 3199 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5801 5889 5986 6065 6180 6242 6327 6454 6542 6629 6717 6778 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 682 756 866 989 1141 1225 1276 1381 1477 1555 1653 1773 1842 1914 2068 2113 2194 2273 2357 2444 2523 2620 2786 2820 2965 3014 3082 3199 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5801 5889 5986 6065 6180 6242 6327 6454 6542 6629 6717 6778 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 682 866 989 1026 1141 1225 1276 1381 1477 1555 1653 1773 1842 1914 2068 2113 2194 2273 2357 2444 2523 2620 2786 2820 2965 3014 3082 3199 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5801 5889 5986 6065 6180 6242 6327 6454 6542 6629 6717 6778 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 682 866 989 1026 1141 1225 1276 1381 1477 1570 1653 1773 1842 1914 2068 2113 2194 2273 2357 2444 2523 2620 2786 2820 2965 3014 3082 3199 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5801 5889 5986 6065 6180 6242 6327 6454 6542 6629 6717 6778 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 594 682 866 989 1026 1141 1225 1276 1381 1477 1570 1653 1773 1842 1914 2068 2113 2185 2273 2357 2444 2523 2620 2786 2820 2965 3014 3082 3199 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5801 5889 5986 6065 6180 6242 6327 6454 6542 6629 6717 6778 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 519 594 682 754 866 989 1026 1141 1225 1276 1381 1477 1570 1653 1773 1842 1914 2068 2113 2185 2273 2357 2444 2523 2620 2786 2820 2965 3014 3082 3199 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4637 4692 4828 4886 4971 5093 5181 5240 5358 5490 5535 5618 5688 5801 5889 5986 6065 6180 6242 6327 6454 6542 6629 6717 6778 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 Command being timed: "/solvers/driver/run.py --config=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen090x090.col /benchmark/2022benchmark/benchmark/queen/queen090x090_02_0808.dat" User time (seconds): 3475.27 System time (seconds): 8.34 Percent of CPU this job got: 200% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:01.65 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): 3647332 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 3000263 Voluntary context switches: 68439 Involuntary context switches: 12883 Swaps: 0 File system inputs: 0 File system outputs: 36520 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 18:08:58 2023]