#BEGIN: [Fri Sep 8 03:24:18 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-ai-planning2-existent2 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen090x090.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen090x090_03_9570.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=existent-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen090x090.col /benchmark/2022benchmark/benchmark/queen/queen090x090_03_9570.dat s 6804 4041 3470 3181 8094 6633 3683 1915 7741 3585 6153 519 5704 6447 2814 1469 2107 6271 3014 2068 5598 5240 5438 3853 250 426 2965 5956 7303 1414 866 7391 4828 7717 6949 1225 5093 5801 2786 3322 6492 342 756 3417 2357 4971 7215 1663 2523 4127 676 7028 158 5889 1108 3769 1052 5358 4220 1577 1842 5181 2273 572 1309 989 7922 4590 6065 6847 6719 7565 4740 5535 7834 6330 4304 2444 4488 1750 71 3082 7116 4887 4642 4385 2186 7479 2620 t 2444 6847 5618 1141 342 7717 1276 572 772 7741 3322 6542 2273 5535 5240 7215 1750 7565 6065 5358 7922 3769 7116 3480 4041 1833 4621 6813 989 3014 6238 6447 519 864 5977 5688 4692 4529 2965 656 2357 5801 3199 4304 1642 1400 5093 5889 1474 2820 2620 4828 2523 6184 1914 2185 71 2113 4385 3106 8094 5181 7303 5490 426 7834 4127 250 3585 6342 1225 3417 4971 3853 2786 7391 158 1026 4220 6626 4488 2068 6949 3683 7028 3946 1557 6719 7479 a YES a 71 158 250 342 426 519 572 676 756 866 989 1052 1108 1225 1309 1414 1469 1577 1663 1750 1842 1915 2068 2107 2186 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 3470 3585 3683 3769 3853 4041 4127 4220 4304 4385 4488 4590 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 5956 6065 6153 6271 6330 6447 6492 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 572 756 866 989 1052 1108 1225 1309 1414 1469 1577 1663 1750 1842 1915 2068 2107 2186 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4590 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 5956 6065 6153 6271 6330 6447 6492 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 572 656 756 866 989 1052 1108 1225 1309 1414 1469 1577 1663 1750 1842 1915 2068 2107 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4590 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 5956 6065 6153 6271 6330 6447 6492 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 572 656 756 866 989 1052 1108 1225 1309 1414 1469 1577 1663 1750 1842 1915 2068 2107 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4590 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 5956 6065 6153 6271 6447 6492 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 572 656 756 866 989 1052 1108 1225 1309 1414 1469 1577 1663 1750 1842 1915 2068 2107 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 3470 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 5956 6065 6153 6271 6390 6447 6492 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 572 656 756 866 989 1052 1108 1225 1309 1414 1469 1577 1663 1750 1842 1915 2068 2107 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 5956 6065 6153 6271 6390 6447 6492 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 136 250 342 426 519 572 656 756 866 989 1052 1108 1225 1309 1414 1469 1577 1663 1750 1842 1915 2068 2107 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 5956 6065 6153 6271 6390 6447 6492 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 136 250 342 426 519 572 656 756 866 989 1052 1108 1225 1309 1414 1469 1577 1663 1750 1842 1915 2068 2107 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6153 6271 6390 6447 6492 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 136 250 342 426 519 572 656 756 866 989 1052 1108 1225 1309 1414 1469 1577 1663 1750 1842 1915 2068 2107 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6153 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 136 250 342 426 519 572 656 756 822 989 1052 1108 1225 1309 1414 1469 1577 1663 1750 1842 1915 2068 2107 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6153 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 342 426 519 572 656 756 822 989 1052 1108 1225 1309 1414 1469 1577 1663 1750 1842 1915 2068 2107 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6153 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 342 426 519 572 656 756 822 989 1052 1108 1225 1309 1414 1469 1577 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6153 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 426 519 572 656 756 822 989 1052 1108 1225 1309 1414 1469 1577 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6153 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 332 426 519 572 656 756 822 989 1108 1225 1309 1414 1469 1577 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6153 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 332 426 519 572 656 756 822 989 1152 1225 1309 1414 1469 1577 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6153 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 332 426 519 572 656 756 822 989 1152 1225 1288 1414 1469 1577 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6153 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 332 426 519 572 656 756 822 989 1019 1152 1225 1288 1414 1577 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3181 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6153 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 332 426 519 572 656 756 822 989 1019 1152 1225 1288 1414 1471 1577 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6153 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 332 426 519 572 656 756 822 989 1019 1152 1225 1288 1414 1471 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6153 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 332 426 519 572 656 756 822 989 1019 1152 1225 1288 1414 1471 1563 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 332 426 519 572 656 756 822 989 1019 1152 1225 1288 1471 1563 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6184 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 332 426 519 572 656 756 822 989 1019 1152 1225 1288 1372 1471 1563 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6184 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 332 426 519 572 656 756 859 989 1019 1152 1225 1288 1372 1471 1563 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6184 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 332 426 519 572 656 756 859 989 1019 1152 1225 1288 1372 1471 1563 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6184 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 330 426 519 572 656 756 859 989 1019 1152 1225 1288 1372 1471 1563 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6184 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 330 426 519 572 656 756 859 989 1052 1152 1225 1288 1372 1471 1563 1663 1750 1842 1915 2068 2116 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6184 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 330 426 519 572 656 756 859 989 1052 1152 1225 1288 1372 1471 1563 1663 1750 1829 1915 2068 2116 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6184 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 330 426 519 572 656 756 859 989 1052 1152 1225 1288 1372 1471 1563 1662 1750 1829 1915 2068 2116 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6184 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 330 426 519 572 656 763 859 989 1052 1152 1225 1288 1372 1471 1563 1662 1750 1829 1915 2068 2116 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6184 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 330 426 519 572 656 763 859 989 1052 1152 1225 1288 1471 1563 1662 1750 1829 1915 2068 2116 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6184 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 330 426 519 572 656 763 859 989 1052 1152 1225 1288 1375 1471 1563 1662 1750 1829 2068 2116 2190 2273 2357 2444 2523 2620 2786 2814 2965 3014 3082 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6184 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 330 426 519 572 656 763 859 989 1052 1152 1225 1288 1375 1471 1563 1662 1750 1829 1914 2068 2116 2190 2273 2357 2444 2523 2620 2786 2965 3014 3082 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6184 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 330 426 519 572 656 756 859 989 1052 1152 1225 1288 1375 1471 1563 1662 1750 1829 1914 2068 2116 2190 2273 2357 2444 2523 2620 2786 2965 3014 3082 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6184 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 330 426 519 572 656 756 859 989 1052 1152 1225 1288 1375 1471 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 2523 2620 2786 2965 3014 3082 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6184 6271 6390 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 330 426 519 572 656 756 859 989 1052 1152 1225 1288 1375 1471 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 2523 2620 2786 2965 3014 3082 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 5240 5358 5438 5535 5598 5704 5801 5889 6008 6065 6184 6271 6342 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 330 426 519 572 656 756 859 989 1052 1152 1225 1288 1375 1471 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 2523 2620 2786 2965 3014 3082 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5598 5704 5801 5889 6008 6065 6184 6271 6342 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 330 426 519 572 656 756 859 989 1052 1152 1225 1298 1375 1471 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 2523 2620 2786 2965 3014 3082 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5598 5704 5801 5889 6008 6065 6184 6271 6342 6447 6496 6633 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 330 426 519 572 656 756 859 989 1052 1152 1225 1298 1375 1471 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 2523 2620 2786 2965 3014 3082 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5598 5704 5801 5889 6008 6065 6184 6271 6342 6447 6496 6598 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 330 426 519 572 656 756 859 989 1052 1152 1225 1298 1375 1503 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 2523 2620 2786 2965 3014 3082 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5598 5704 5801 5889 6008 6065 6184 6271 6342 6447 6496 6598 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 330 426 519 572 656 756 859 989 1021 1152 1225 1298 1375 1503 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 2523 2620 2786 2965 3014 3082 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5598 5704 5801 5889 6008 6065 6184 6271 6342 6447 6496 6598 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 330 426 519 572 656 756 859 989 1021 1152 1225 1298 1375 1503 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 2523 2620 2786 2965 3014 3082 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5598 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6598 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 330 426 519 572 656 756 859 989 1021 1141 1225 1298 1375 1503 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 2523 2620 2786 2965 3014 3082 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5598 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6598 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 330 426 519 572 656 756 859 989 1021 1141 1225 1298 1375 1503 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 2523 2620 2786 2862 2965 3014 3082 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5598 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6598 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 146 250 330 426 519 572 656 772 859 989 1021 1141 1225 1298 1375 1503 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 2523 2620 2786 2862 2965 3014 3082 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5598 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6598 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 126 250 330 426 519 572 656 772 859 989 1021 1141 1225 1298 1375 1503 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 2523 2620 2786 2862 2965 3014 3082 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5598 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6598 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 126 250 330 426 519 572 656 772 859 989 1046 1141 1225 1298 1375 1503 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 2523 2620 2786 2862 2965 3014 3082 3197 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5598 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6598 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 126 250 330 426 519 572 656 772 859 989 1046 1141 1225 1298 1375 1503 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 2523 2620 2786 2862 2965 3014 3082 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5598 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6598 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 126 250 330 426 519 572 656 772 859 989 1046 1141 1225 1298 1375 1503 1563 1663 1750 1829 1914 2068 2116 2190 2273 2357 2444 2523 2620 2786 2862 2965 3014 3082 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4971 5093 5181 5240 5358 5490 5535 5598 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6598 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 126 250 330 426 519 572 656 772 859 989 1046 1141 1225 1298 1375 1503 1563 1663 1750 1829 1914 2068 2116 2273 2357 2444 2523 2620 2786 2862 2965 3014 3082 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5598 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6598 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 126 250 330 426 519 572 656 772 859 989 1046 1141 1225 1298 1375 1503 1563 1663 1750 1829 1914 2068 2116 2273 2357 2444 2523 2620 2786 2862 2965 3014 3107 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5598 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6598 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 126 250 330 426 519 572 656 772 859 989 1046 1141 1225 1282 1375 1503 1563 1663 1750 1829 1914 2068 2116 2273 2357 2444 2523 2620 2786 2862 2965 3014 3107 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5598 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6598 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 126 250 330 426 519 572 656 772 859 989 1046 1141 1225 1282 1375 1478 1563 1663 1750 1829 1914 2068 2116 2273 2357 2444 2523 2620 2786 2862 2965 3014 3107 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5598 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6598 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 126 250 330 426 519 572 656 772 859 989 1046 1141 1225 1282 1375 1478 1563 1663 1750 1829 1914 2068 2116 2273 2357 2444 2523 2620 2786 2862 2965 3014 3107 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5598 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6598 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 126 250 330 426 519 572 656 772 859 989 1046 1141 1225 1282 1375 1478 1563 1663 1750 1829 1914 2068 2116 2188 2273 2357 2444 2523 2620 2786 2862 2965 3014 3107 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5598 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 126 250 330 426 519 572 656 772 859 989 1141 1225 1282 1375 1478 1563 1663 1750 1829 1914 2068 2116 2188 2273 2357 2444 2523 2620 2786 2862 2965 3014 3107 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5598 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 126 250 330 426 519 572 656 772 859 989 1008 1141 1225 1282 1375 1478 1563 1663 1750 1829 1914 2068 2116 2188 2273 2357 2444 2523 2620 2786 2862 2965 3014 3107 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 126 250 330 426 519 572 656 772 859 989 1008 1141 1225 1282 1375 1478 1563 1663 1750 1829 1914 2068 2116 2188 2273 2444 2523 2620 2786 2862 2965 3014 3107 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5597 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 126 250 330 426 519 572 656 772 859 989 1008 1141 1225 1282 1375 1478 1563 1663 1750 1829 1914 2068 2116 2188 2273 2394 2444 2523 2620 2786 2862 2965 3014 3107 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5597 5801 5889 6008 6065 6184 6272 6342 6447 6496 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 126 250 330 426 519 572 656 772 859 989 1008 1141 1225 1282 1375 1478 1563 1750 1829 1914 2068 2116 2188 2273 2394 2444 2523 2620 2786 2862 2965 3014 3107 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5597 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 126 250 330 426 519 572 656 772 859 989 1008 1141 1225 1282 1375 1478 1563 1750 1829 1914 2068 2113 2188 2273 2394 2444 2523 2620 2786 2862 2965 3014 3107 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5597 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 126 250 330 426 519 572 656 772 859 989 1008 1141 1225 1282 1375 1478 1653 1750 1829 1914 2068 2113 2188 2273 2394 2444 2523 2620 2786 2862 2965 3014 3107 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5597 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 126 250 330 426 519 572 656 772 859 989 1141 1225 1282 1375 1478 1548 1653 1750 1829 1914 2068 2113 2188 2273 2394 2444 2523 2620 2786 2862 2965 3014 3107 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5597 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 250 330 426 519 572 656 772 859 989 1026 1141 1225 1282 1375 1478 1548 1653 1750 1829 1914 2068 2113 2188 2273 2394 2444 2523 2620 2786 2862 2965 3014 3107 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5597 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 150 250 426 519 572 656 772 859 989 1026 1141 1225 1282 1375 1478 1548 1653 1750 1829 1914 2068 2113 2188 2273 2394 2444 2523 2620 2786 2862 2965 3014 3107 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5597 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 150 250 324 426 519 572 656 772 859 989 1026 1141 1225 1282 1375 1478 1548 1653 1750 1829 1914 2068 2113 2188 2273 2444 2523 2620 2786 2862 2965 3014 3107 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5597 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 150 250 324 426 519 572 656 772 859 989 1026 1141 1225 1282 1375 1478 1548 1653 1750 1829 1914 2068 2113 2188 2273 2444 2523 2620 2786 2862 2965 3014 3106 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5597 5704 5801 5889 6008 6065 6184 6272 6342 6447 6496 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 150 250 324 426 519 572 656 772 859 989 1026 1141 1225 1282 1375 1478 1548 1653 1750 1829 1914 2068 2113 2188 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5597 5704 5801 5889 6008 6065 6184 6272 6342 6447 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 150 250 324 426 519 572 656 772 859 989 1026 1141 1225 1282 1375 1478 1548 1653 1750 1914 2068 2113 2188 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5597 5704 5801 5889 6008 6065 6184 6272 6342 6447 6509 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 150 250 324 426 519 572 656 772 859 989 1026 1141 1225 1282 1375 1478 1548 1750 1833 1914 2068 2113 2188 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5597 5704 5801 5889 6008 6065 6184 6272 6342 6447 6509 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 150 250 324 426 519 572 656 772 859 989 1026 1141 1225 1282 1478 1548 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5597 5704 5801 5889 6008 6065 6184 6272 6342 6447 6509 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 150 250 324 426 519 572 656 772 859 989 1026 1141 1225 1282 1400 1478 1548 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5597 5704 5801 5889 6008 6065 6184 6272 6342 6447 6509 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 150 250 324 426 519 572 656 772 859 989 1026 1141 1225 1282 1400 1478 1548 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4517 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5704 5801 5889 6008 6065 6184 6272 6342 6447 6509 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 150 250 324 426 519 572 656 772 859 989 1026 1141 1225 1282 1400 1478 1548 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4517 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5648 5704 5801 5889 6065 6184 6272 6342 6447 6509 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 150 250 324 426 519 572 656 772 859 989 1026 1141 1225 1400 1478 1548 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4517 4621 4692 4828 4890 4971 5093 5181 5240 5358 5490 5535 5648 5704 5801 5889 5962 6065 6184 6272 6342 6447 6509 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 150 250 324 426 519 572 656 772 859 989 1026 1141 1225 1290 1400 1478 1548 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3177 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4517 4621 4692 4828 4971 5093 5181 5240 5358 5490 5535 5648 5704 5801 5889 5962 6065 6184 6272 6342 6447 6509 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 150 250 324 426 519 572 656 772 859 989 1026 1141 1225 1290 1400 1478 1548 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4517 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5648 5704 5801 5889 5962 6065 6184 6272 6342 6447 6509 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 150 250 324 426 519 572 656 772 989 1026 1141 1225 1290 1400 1478 1548 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4517 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5648 5704 5801 5889 5962 6065 6184 6272 6342 6447 6509 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 150 250 426 519 572 656 772 864 989 1026 1141 1225 1290 1400 1478 1548 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4517 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5648 5704 5801 5889 5962 6065 6184 6272 6342 6447 6509 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 150 250 288 426 519 572 656 772 864 989 1026 1141 1225 1290 1400 1478 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4517 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5648 5704 5801 5889 5962 6065 6184 6272 6342 6447 6509 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 150 250 288 426 519 572 656 772 864 989 1026 1141 1225 1290 1400 1478 1547 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5648 5704 5801 5889 5962 6065 6184 6272 6342 6447 6509 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 150 250 288 426 519 572 656 772 864 989 1026 1141 1225 1290 1400 1478 1547 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5648 5704 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 150 250 288 426 519 572 772 864 989 1026 1141 1225 1290 1400 1478 1547 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5648 5704 5801 5889 5962 6065 6184 6272 6342 6447 6506 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 150 250 288 426 519 572 677 772 864 989 1026 1141 1225 1290 1400 1547 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5648 5704 5801 5889 5962 6065 6184 6272 6342 6447 6506 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 150 250 288 426 519 572 677 772 864 989 1026 1141 1225 1290 1400 1547 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5618 5704 5801 5889 5962 6065 6184 6272 6342 6447 6506 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 288 426 519 572 677 772 864 989 1026 1141 1225 1290 1400 1547 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5618 5704 5801 5889 5962 6065 6184 6272 6342 6447 6506 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 288 426 519 572 677 772 864 989 1026 1141 1225 1290 1400 1474 1547 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5618 5801 5889 5962 6065 6184 6272 6342 6447 6506 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 158 250 288 426 519 572 677 772 864 989 1026 1141 1225 1290 1400 1474 1547 1645 1750 1833 1914 2068 2113 2188 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5618 5741 5801 5889 5962 6065 6184 6272 6342 6447 6506 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 28 158 250 288 426 519 572 677 772 864 989 1026 1141 1225 1290 1400 1474 1547 1645 1750 1833 1914 2068 2113 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5618 5741 5801 5889 5962 6065 6184 6272 6342 6447 6506 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 28 158 250 288 426 519 572 677 772 864 989 1026 1141 1225 1290 1400 1474 1547 1750 1833 1914 2068 2113 2185 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3199 3322 3417 3457 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5618 5741 5801 5889 5962 6065 6184 6272 6342 6447 6506 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 28 158 250 288 426 519 572 677 772 864 989 1026 1141 1225 1290 1400 1474 1547 1657 1750 1833 1914 2068 2113 2185 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3199 3322 3417 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5618 5741 5801 5889 5962 6065 6184 6272 6342 6447 6506 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 28 158 250 288 426 519 572 677 772 864 989 1026 1141 1225 1290 1400 1474 1547 1657 1750 1833 1914 2068 2113 2185 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5618 5741 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 28 158 250 296 426 519 572 677 772 864 989 1026 1141 1225 1290 1400 1474 1547 1657 1750 1833 1914 2068 2113 2185 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5618 5741 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 28 158 250 296 426 519 572 677 772 864 989 1026 1141 1225 1278 1400 1474 1547 1657 1750 1833 1914 2068 2113 2185 2273 2356 2444 2523 2620 2786 2862 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5618 5741 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 28 158 250 296 426 519 572 677 772 864 989 1026 1141 1225 1278 1400 1474 1547 1657 1750 1833 1914 2068 2113 2185 2273 2356 2444 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5618 5741 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 28 158 250 342 426 519 572 677 772 864 989 1026 1141 1225 1278 1400 1474 1547 1657 1750 1833 1914 2068 2113 2185 2273 2356 2444 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5618 5741 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 28 158 250 342 426 519 572 677 772 864 989 1026 1141 1225 1278 1400 1474 1556 1657 1750 1833 1914 2068 2113 2185 2273 2356 2444 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4887 4971 5093 5181 5240 5358 5490 5535 5618 5741 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 28 158 250 342 426 519 572 677 772 864 989 1026 1141 1225 1278 1400 1474 1556 1657 1750 1833 1914 2068 2113 2185 2273 2356 2444 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4877 4971 5093 5181 5240 5358 5490 5535 5618 5741 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 28 158 250 342 426 519 572 677 772 864 989 1026 1141 1225 1278 1400 1474 1557 1657 1750 1833 1914 2068 2113 2185 2273 2356 2444 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4877 4971 5093 5181 5240 5358 5490 5535 5618 5741 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 28 158 250 342 426 519 572 677 772 864 989 1026 1141 1225 1278 1400 1474 1557 1657 1750 1833 1914 2068 2113 2185 2273 2366 2444 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4877 4971 5093 5181 5240 5358 5490 5535 5618 5741 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 28 158 250 342 426 519 572 677 772 864 989 1026 1141 1225 1276 1400 1474 1557 1657 1750 1833 1914 2068 2113 2185 2273 2366 2444 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4877 4971 5093 5181 5240 5358 5490 5535 5618 5741 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 28 158 250 342 426 519 572 677 772 864 989 1026 1141 1225 1276 1400 1474 1557 1657 1750 1833 1914 2068 2113 2185 2273 2366 2444 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4877 4971 5093 5181 5240 5358 5490 5535 5618 5688 5801 5889 5962 6065 6184 6272 6342 6447 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 28 158 250 342 426 519 572 677 772 864 989 1026 1141 1225 1276 1400 1474 1557 1657 1750 1833 1914 2068 2113 2185 2273 2366 2444 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4877 4971 5093 5181 5240 5358 5490 5535 5618 5688 5801 5889 5962 6065 6184 6342 6447 6542 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 158 250 342 426 519 572 677 772 864 989 1026 1141 1225 1276 1400 1474 1557 1657 1750 1833 1914 2068 2113 2185 2273 2366 2444 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4877 4971 5093 5181 5240 5358 5490 5535 5618 5688 5801 5889 5962 6065 6184 6238 6342 6447 6542 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 572 677 772 864 989 1026 1141 1225 1276 1400 1474 1557 1657 1750 1833 1914 2068 2113 2185 2273 2366 2444 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4971 5093 5181 5240 5358 5490 5535 5618 5688 5801 5889 5962 6065 6184 6238 6342 6447 6542 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 572 677 772 864 989 1026 1141 1225 1276 1400 1474 1557 1657 1750 1833 1914 2068 2113 2185 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4971 5093 5181 5240 5358 5490 5535 5618 5688 5801 5889 5962 6065 6184 6238 6342 6447 6542 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 572 772 864 989 1026 1141 1225 1276 1400 1474 1557 1657 1750 1833 1914 2068 2113 2185 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4907 4971 5093 5181 5240 5358 5490 5535 5618 5688 5801 5889 5962 6065 6184 6238 6342 6447 6542 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 572 656 772 864 989 1026 1141 1225 1276 1400 1474 1557 1750 1833 1914 2068 2113 2185 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4907 4971 5093 5181 5240 5358 5490 5535 5618 5688 5801 5889 5962 6065 6184 6238 6342 6447 6542 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 572 656 772 864 989 1026 1141 1225 1276 1400 1474 1557 1642 1750 1833 1914 2068 2113 2185 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4907 4971 5093 5181 5240 5358 5490 5535 5618 5688 5801 5889 6065 6184 6238 6342 6447 6542 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 572 656 772 864 989 1026 1141 1225 1276 1400 1474 1557 1642 1750 1833 1914 2068 2113 2185 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3199 3322 3417 3480 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4971 5093 5181 5240 5358 5490 5535 5618 5688 5801 5889 5977 6065 6184 6238 6342 6447 6542 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 Command being timed: "/solvers/driver/run.py --config=existent-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen090x090.col /benchmark/2022benchmark/benchmark/queen/queen090x090_03_9570.dat" User time (seconds): 68.18 System time (seconds): 1.17 Percent of CPU this job got: 191% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:36.24 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): 1788908 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 119 Minor (reclaiming a frame) page faults: 765093 Voluntary context switches: 1906 Involuntary context switches: 173 Swaps: 0 File system inputs: 30552 File system outputs: 36224 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 03:24:55 2023]