#BEGIN: [Fri Sep 8 17:40:01 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-ai-planning2-shortest2 #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 --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_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 676 756 866 989 1052 1108 1225 1309 1414 1469 1577 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 676 756 866 989 1052 1108 1225 1309 1414 1469 1577 1644 1750 1842 1915 2068 2107 2186 2273 2357 2444 2523 2620 2786 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 676 756 866 989 1052 1108 1225 1309 1414 1469 1577 1644 1750 1842 1915 2068 2107 2186 2273 2357 2444 2523 2620 2786 2820 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 676 756 866 989 1052 1108 1225 1309 1414 1469 1577 1644 1750 1842 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 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 676 756 866 989 1052 1108 1225 1309 1414 1469 1577 1644 1750 1842 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 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 676 756 866 989 1052 1108 1225 1309 1414 1469 1577 1644 1750 1842 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 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 158 250 342 426 519 572 676 756 866 989 1052 1108 1225 1309 1414 1469 1577 1644 1750 1842 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 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 5606 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 676 756 866 989 1052 1108 1225 1309 1414 1469 1577 1644 1750 1842 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3181 3322 3417 3438 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5606 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 756 866 989 1052 1108 1225 1309 1414 1469 1577 1644 1750 1842 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3181 3322 3417 3438 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5606 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 652 756 866 989 1052 1108 1225 1309 1414 1469 1577 1644 1750 1842 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3181 3322 3417 3438 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5606 5704 5801 5889 5956 6065 6153 6271 6390 6447 6492 6719 6804 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 572 652 756 866 989 1052 1108 1225 1309 1414 1469 1577 1644 1750 1842 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3181 3322 3417 3438 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5606 5704 5801 5889 5956 6065 6153 6271 6390 6447 6492 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 342 426 519 572 652 756 989 1052 1108 1225 1309 1414 1469 1577 1644 1750 1842 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3181 3322 3417 3438 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5606 5704 5801 5889 5956 6065 6153 6271 6390 6447 6492 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 652 756 864 989 1052 1108 1225 1414 1469 1577 1644 1750 1842 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3181 3322 3417 3438 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5606 5704 5801 5889 5956 6065 6153 6271 6390 6447 6492 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 652 756 864 989 1052 1108 1225 1276 1414 1469 1577 1644 1750 1842 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3181 3322 3417 3438 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5606 5704 5801 5889 6065 6153 6271 6390 6447 6492 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 652 769 864 989 1052 1108 1225 1276 1414 1469 1577 1644 1750 1842 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3181 3322 3417 3438 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5606 5704 5801 5889 6065 6153 6271 6390 6447 6492 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 652 769 864 989 1026 1108 1225 1276 1414 1469 1577 1644 1750 1842 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3181 3322 3417 3438 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5606 5704 5801 5889 6065 6153 6271 6390 6447 6492 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 652 769 864 989 1026 1108 1225 1276 1414 1469 1577 1644 1750 1842 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3181 3322 3417 3438 3585 3683 3769 3853 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5606 5704 5801 5889 6065 6153 6271 6390 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 652 769 864 989 1026 1108 1225 1276 1414 1469 1577 1644 1750 1842 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3181 3322 3417 3438 3585 3683 3769 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5606 5704 5801 5889 6013 6065 6153 6271 6390 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 652 769 864 989 1026 1108 1225 1276 1414 1577 1644 1750 1842 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3181 3322 3417 3438 3585 3683 3769 3792 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5606 5704 5801 5889 6013 6065 6153 6271 6390 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 652 769 864 989 1026 1108 1225 1276 1414 1474 1577 1644 1750 1842 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3181 3322 3417 3438 3585 3683 3769 3792 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5606 5801 5889 6013 6065 6153 6271 6390 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 652 769 864 989 1026 1108 1225 1276 1414 1474 1577 1644 1750 1842 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3181 3322 3417 3438 3585 3683 3769 3792 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5606 5801 5889 6013 6065 6149 6271 6390 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 652 769 864 989 1026 1108 1225 1276 1414 1474 1577 1644 1750 1833 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3181 3322 3417 3438 3585 3683 3769 3792 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5606 5801 5889 6013 6065 6149 6271 6390 6447 6542 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 426 519 572 652 769 864 989 1026 1108 1225 1276 1414 1474 1577 1644 1750 1833 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3181 3322 3417 3438 3585 3683 3769 3792 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5606 5742 5801 5889 6013 6065 6149 6271 6390 6447 6542 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 312 426 519 572 652 769 864 989 1026 1108 1225 1276 1414 1474 1644 1750 1833 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3181 3322 3417 3438 3585 3683 3769 3792 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4887 4971 5093 5181 5240 5358 5438 5535 5606 5742 5801 5889 6013 6065 6149 6271 6390 6447 6542 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 312 426 519 572 652 769 864 989 1026 1108 1225 1276 1414 1474 1557 1644 1750 1833 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3181 3322 3417 3438 3585 3683 3769 3792 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4971 5093 5181 5240 5358 5438 5535 5606 5742 5801 5889 6013 6065 6149 6271 6390 6447 6542 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 312 426 519 572 652 769 864 989 1026 1108 1225 1276 1474 1557 1644 1750 1833 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3181 3322 3417 3438 3585 3683 3769 3792 3946 4041 4127 4220 4304 4385 4488 4550 4642 4740 4828 4907 4971 5093 5181 5240 5358 5438 5535 5606 5742 5801 5889 6013 6065 6149 6271 6390 6447 6542 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 312 426 519 572 652 769 864 989 1026 1108 1225 1276 1400 1474 1557 1644 1750 1833 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3181 3322 3417 3438 3585 3683 3769 3792 3946 4041 4127 4220 4304 4385 4488 4642 4740 4828 4907 4971 5093 5181 5240 5358 5438 5535 5606 5742 5801 5889 6013 6065 6149 6271 6390 6447 6542 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 312 426 519 572 652 769 864 989 1026 1108 1225 1276 1400 1474 1557 1644 1750 1833 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3181 3322 3417 3438 3585 3683 3769 3792 3946 4041 4127 4220 4304 4385 4488 4529 4642 4740 4828 4907 4971 5093 5181 5240 5358 5438 5535 5606 5742 5801 5889 6013 6065 6271 6390 6447 6542 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 312 426 519 572 652 769 864 989 1026 1108 1225 1276 1400 1474 1557 1644 1750 1833 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3322 3417 3438 3585 3683 3769 3792 3946 4041 4127 4220 4304 4385 4488 4529 4642 4740 4828 4907 4971 5093 5181 5240 5358 5438 5535 5606 5742 5801 5889 6013 6065 6184 6271 6390 6447 6542 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 312 426 519 572 652 769 864 989 1026 1108 1225 1276 1400 1474 1557 1644 1750 1833 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3188 3322 3417 3438 3585 3683 3769 3792 3946 4041 4127 4220 4304 4385 4488 4529 4642 4740 4828 4907 4971 5093 5181 5240 5358 5535 5606 5742 5801 5889 6013 6065 6184 6271 6390 6447 6542 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 312 426 519 572 652 769 864 989 1026 1108 1225 1276 1400 1474 1557 1644 1750 1833 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3188 3322 3417 3438 3585 3683 3769 3792 3946 4041 4127 4220 4304 4385 4488 4529 4642 4740 4828 4907 4971 5093 5181 5240 5358 5490 5535 5606 5742 5801 5889 6013 6065 6184 6271 6447 6542 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 301 426 519 572 652 769 864 989 1026 1108 1225 1276 1400 1474 1557 1644 1750 1833 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3188 3322 3417 3438 3585 3683 3769 3792 3946 4041 4127 4220 4304 4385 4488 4529 4642 4740 4828 4907 4971 5093 5181 5240 5358 5490 5535 5606 5742 5801 5889 6013 6065 6184 6271 6447 6542 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 301 426 519 572 652 769 864 989 1026 1108 1225 1276 1400 1474 1557 1644 1750 1833 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3188 3322 3417 3438 3585 3683 3769 3792 3946 4041 4127 4220 4304 4385 4488 4529 4642 4828 4907 4971 5093 5181 5240 5358 5490 5535 5606 5742 5801 5889 6013 6065 6184 6271 6342 6447 6542 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 301 426 519 572 652 769 864 989 1026 1108 1225 1276 1400 1474 1557 1644 1750 1833 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3188 3322 3417 3480 3585 3683 3769 3792 3946 4041 4127 4220 4304 4385 4488 4529 4642 4828 4907 4971 5093 5181 5240 5358 5490 5535 5606 5742 5801 5889 6013 6065 6184 6271 6342 6447 6542 6626 6719 6813 6847 6949 7028 7116 7215 7303 7391 7479 7565 7717 7741 7834 7922 8094 a 71 158 250 301 426 519 572 652 769 864 989 1026 1108 1225 1276 1400 1474 1557 1644 1750 1833 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3188 3322 3417 3480 3585 3683 3769 3792 3946 4041 4127 4220 4304 4385 4488 4529 4642 4828 4907 4971 5093 5181 5240 5358 5490 5535 5606 5688 5801 5889 6013 6065 6184 6271 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 652 769 864 989 1026 1108 1225 1276 1400 1474 1557 1644 1750 1833 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3188 3322 3417 3480 3585 3683 3769 3792 3946 4041 4127 4220 4304 4385 4488 4529 4642 4828 4907 4971 5093 5181 5240 5358 5490 5535 5606 5688 5801 5889 6013 6065 6184 6271 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 652 769 864 989 1026 1108 1225 1276 1400 1474 1557 1644 1750 1833 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3188 3322 3417 3480 3585 3683 3769 3792 3946 4041 4127 4220 4304 4385 4488 4529 4621 4828 4907 4971 5093 5181 5240 5358 5490 5535 5606 5688 5801 5889 6013 6065 6184 6271 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 652 769 864 989 1026 1108 1225 1276 1400 1474 1557 1644 1750 1833 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3188 3322 3417 3480 3585 3683 3769 3946 4041 4127 4220 4304 4385 4488 4529 4621 4692 4828 4907 4971 5093 5181 5240 5358 5490 5535 5606 5688 5801 5889 6013 6065 6184 6271 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 652 769 864 989 1026 1108 1225 1276 1400 1474 1557 1644 1750 1833 1915 2068 2107 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3188 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 5606 5688 5801 5889 6065 6184 6271 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 652 769 864 989 1026 1108 1225 1276 1400 1474 1557 1644 1750 1833 1915 2068 2203 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3188 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 5606 5688 5801 5889 5977 6065 6184 6271 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 652 769 864 989 1026 1108 1225 1276 1400 1474 1557 1644 1750 1833 1915 2068 2113 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3188 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 5606 5688 5801 5889 5977 6065 6184 6271 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 652 769 864 989 1026 1108 1225 1276 1400 1474 1557 1644 1750 1833 2068 2113 2185 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3188 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 5606 5688 5801 5889 5977 6065 6184 6271 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 652 772 864 989 1026 1108 1225 1276 1400 1474 1557 1644 1750 1833 2068 2113 2185 2273 2357 2444 2523 2620 2786 2820 2965 3014 3106 3188 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 5606 5688 5801 5889 5977 6065 6184 6271 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 652 772 864 989 1026 1108 1225 1276 1400 1474 1557 1644 1750 1833 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 5606 5688 5801 5889 5977 6065 6184 6271 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 652 772 864 989 1026 1108 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 5606 5688 5801 5889 5977 6065 6184 6271 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 652 772 864 989 1026 1108 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 5977 6065 6184 6271 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 1108 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 5977 6065 6184 6271 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 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 5977 6065 6184 6271 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 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 5977 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=shortest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen090x090.col /benchmark/2022benchmark/benchmark/queen/queen090x090_03_9570.dat" User time (seconds): 3473.06 System time (seconds): 11.15 Percent of CPU this job got: 200% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:01.77 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): 3010596 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 6566617 Voluntary context switches: 68427 Involuntary context switches: 13163 Swaps: 0 File system inputs: 0 File system outputs: 36656 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 18:09:04 2023]