#BEGIN: [Thu Aug 31 01:10:00 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen060x060.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen060x060_04_3799.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/queen/queen060x060.col /benchmark/2022benchmark/benchmark/queen/queen060x060_04_3799.dat
c /benchmark/2022benchmark/benchmark/queen/queen060x060.col
c /benchmark/2022benchmark/benchmark/queen/queen060x060_04_3799.dat
TIMEOUT 1800
c send SIGTERM to CID bec78bf38eda0cf686421f069ea0b03e24a13f7fe858ae0f45d32ff5fdd79977
s 1847 1440 3361 804 2946 1678 690 975 3285 2139 2650 1199 2547 3136 3508 1262 1551 1916 3595 2255 1084 50 2294 108 649 2071 2767 1337 3303 3073 156 2612 725 224 498 3223 2026 2352 2839 2722 565 1497 866 2888 1031 2420 1714 398 933 340 3461 429 1972 282 3021 1793 2489 2197 1223
t 1264 2722 1614 3508 2612 1847 398 1440 3461 498 564 2767 1199 2294 429 340 2255 2650 3595 3303 2547 690 866 1678 649 282 156 2420 224 2352 3021 1551 2139 2197 3131 2071 108 50 975 1972 3361 1793 1202 1085 1337 3285 2839 2946 3073 1916 2888 2026 1497 796 1045 1714 933 743 3223
a YES
a 50 108 156 224 282 340 398 429 498 565 649 690 725 804 866 933 975 1031 1084 1199 1223 1262 1337 1440 1497 1551 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3136 3223 3285 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 565 649 690 725 804 866 933 975 1031 1084 1199 1223 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3136 3223 3285 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 565 649 690 725 804 866 933 975 1031 1199 1223 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3136 3223 3285 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 565 649 690 725 804 866 933 975 1031 1199 1223 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1982 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3136 3223 3285 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 565 649 690 725 804 866 933 975 1031 1199 1223 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1982 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2806 2839 2888 2946 3021 3073 3136 3223 3285 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 565 649 690 804 866 933 975 1031 1085 1199 1223 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1982 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2806 2839 2888 2946 3021 3073 3136 3223 3285 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 565 649 690 804 866 933 975 1031 1085 1199 1223 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1982 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3136 3223 3285 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 565 649 690 804 866 933 975 1031 1085 1199 1223 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1982 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3136 3223 3286 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 565 649 690 804 866 933 975 1031 1085 1199 1223 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1982 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2745 2767 2839 2888 2946 3021 3073 3136 3223 3286 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 502 565 649 690 804 866 933 975 1031 1085 1199 1223 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1982 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2745 2767 2839 2888 2946 3021 3073 3136 3223 3286 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 502 558 649 690 804 866 933 975 1031 1085 1199 1223 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1982 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2745 2767 2839 2888 2946 3021 3073 3136 3223 3286 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 502 558 649 690 804 866 933 975 1045 1085 1199 1223 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1982 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2745 2767 2839 2888 2946 3021 3073 3136 3223 3286 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 502 558 649 690 804 866 933 975 1045 1085 1199 1223 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1982 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2745 2767 2839 2888 2946 3021 3073 3131 3223 3286 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 558 649 690 742 804 866 933 975 1045 1085 1199 1223 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1982 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2745 2767 2839 2888 2946 3021 3073 3131 3223 3286 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 504 558 649 690 742 866 933 975 1045 1085 1199 1223 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1982 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2745 2767 2839 2888 2946 3021 3073 3131 3223 3286 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 504 558 649 690 742 796 866 933 975 1045 1085 1199 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1982 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2745 2767 2839 2888 2946 3021 3073 3131 3223 3286 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 504 558 649 690 742 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2745 2767 2839 2888 2946 3021 3073 3131 3223 3286 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 504 558 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2745 2767 2839 2888 2946 3021 3073 3131 3223 3286 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 504 558 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2745 2767 2839 2888 2946 3021 3073 3131 3223 3286 3303 3361 3442 3508 3595
a 50 108 156 224 282 340 398 429 504 558 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1981 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2745 2767 2839 2888 2946 3021 3073 3131 3223 3286 3303 3442 3508 3595
a 50 108 156 224 282 340 398 429 504 558 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1981 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2745 2767 2839 2888 2946 3021 3073 3131 3223 3286 3303 3461 3508 3595
a 50 108 156 224 282 340 398 429 502 558 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1981 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2745 2767 2839 2888 2946 3021 3073 3131 3223 3286 3303 3461 3508 3595
a 50 108 156 224 282 340 398 429 502 564 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1981 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2745 2767 2839 2888 2946 3021 3073 3131 3223 3286 3303 3461 3508 3595
a 50 108 156 224 282 340 398 429 502 564 649 690 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1981 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2745 2767 2839 2888 2946 3021 3073 3131 3223 3286 3303 3383 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 564 649 690 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1981 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2745 2767 2839 2888 2946 3021 3073 3131 3223 3286 3303 3383 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 564 649 690 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1981 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3286 3303 3383 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 564 649 690 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1981 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3383 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 564 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 1981 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 564 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 564 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 564 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1654 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 498 564 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1654 1689 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 498 564 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1689 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 498 564 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1689 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3394 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 564 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3394 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 564 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 564 649 690 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 564 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3285 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 564 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 564 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2395 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 3461 3508
a 50 108 156 224 282 340 398 429 498 564 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 3461 3508
a 50 108 156 224 282 340 398 429 498 564 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 3461 3508 3595
a 14 108 156 224 282 340 398 429 498 564 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 3461 3508 3595
a 108 156 224 282 340 398 429 498 564 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 564 649 690 743 796 866 933 975 1045 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2489 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 3461 3508 3595
a 50 108 156 224 282 340 398 429 498 564 649 690 743 796 866 933 975 1045 1085 1199 1202 1264 1337 1440 1497 1551 1614 1678 1714 1793 1847 1916 1972 2026 2071 2139 2197 2255 2294 2352 2420 2547 2612 2650 2722 2767 2839 2888 2946 3021 3073 3131 3223 3285 3303 3361 3461 3508 3595
c Step: 45
#END: [Thu Aug 31 01:40:01 2023]