#BEGIN: [Fri Sep 1 04:41:41 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest2 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen060x060.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen060x060_03_1394.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/2022benchmark/benchmark/queen/queen060x060.col /benchmark/2022benchmark/benchmark/queen/queen060x060_03_1394.dat c /benchmark/2022benchmark/benchmark/queen/queen060x060.col c /benchmark/2022benchmark/benchmark/queen/queen060x060_03_1394.dat s 1440 3073 50 2197 3424 798 649 1199 1337 2294 933 2352 3595 108 1847 3021 2139 1793 2489 1030 1614 965 1551 3285 866 1235 565 1497 1678 3154 1262 2081 2251 1972 3223 690 224 740 429 2423 3303 486 2956 2839 2888 2767 1104 3512 2026 2668 2591 1916 2547 3361 398 1695 282 2722 156 t 563 3154 1199 156 1270 866 3424 2668 3073 1497 1614 2294 224 50 2547 2352 2251 2197 2139 398 282 3303 3223 2839 1847 1793 2956 2026 2489 429 2767 1678 690 1440 1098 3512 486 3285 1235 725 1916 1045 1337 804 2591 933 3361 2888 962 340 3021 1972 3595 649 2722 108 2420 1551 2081 a YES a 50 108 156 224 282 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 a 50 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 962 1030 1104 1199 1235 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 182 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 29 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3285 3303 3361 3424 3512 3595 a 29 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3595 a 29 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 a 29 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 29 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3512 3595 a 29 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 29 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 29 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 962 1030 1104 1199 1235 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 29 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 29 108 156 224 282 340 398 429 486 565 649 690 740 785 866 933 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 29 108 156 224 282 340 398 429 486 565 649 690 740 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 29 108 156 224 282 340 398 429 486 565 649 690 740 866 933 965 1030 1098 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 29 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 29 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 29 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 29 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 29 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 29 108 156 224 282 340 398 429 486 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 29 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 29 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3303 3361 3424 3512 3595 a 29 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 29 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2510 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 29 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 108 156 224 282 340 398 429 486 565 649 690 740 798 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 565 649 690 740 866 933 965 1030 1104 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 565 649 690 740 866 933 965 1030 1098 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2423 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 565 649 690 740 804 866 933 965 1030 1098 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 565 649 690 804 866 933 965 1030 1098 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2420 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 563 649 690 804 866 933 965 1030 1098 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2420 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 563 649 690 804 866 933 965 1045 1098 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2420 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 563 649 690 725 804 866 933 1045 1098 1199 1235 1262 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2420 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 563 649 690 725 804 866 933 1045 1098 1199 1235 1270 1337 1440 1497 1551 1614 1678 1695 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2420 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 a 50 108 156 224 282 340 398 429 486 563 649 690 725 804 866 933 962 1045 1098 1199 1235 1270 1337 1440 1497 1551 1614 1678 1793 1847 1916 1972 2026 2081 2139 2197 2251 2294 2352 2420 2489 2547 2591 2668 2722 2767 2839 2888 2956 3021 3073 3154 3223 3285 3303 3361 3424 3512 3595 c Step: 46 #END: [Fri Sep 1 04:53:12 2023]