#BEGIN: [Thu Aug 31 19:23:19 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/queen6_6.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/queen6_6_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/color04/queen6_6.col /benchmark/2022benchmark/benchmark/color04/queen6_6_01.dat
c /benchmark/2022benchmark/benchmark/color04/queen6_6.col
c /benchmark/2022benchmark/benchmark/color04/queen6_6_01.dat
TIMEOUT 1800
c send SIGTERM to CID a73e9b88c0844dd5da58814d66cf2677da1222187eb31137b5f413851d0c80e8
s 5 9 24 28 32 
t 3 16 19 29 32
a YES
a 5 9 24 28 32
a 5 9 13 28 32
a 9 13 24 28 32
a 6 9 13 28 32
a 6 9 13 29 32
a 6 10 13 29 32
a 6 10 13 29 33
a 2 10 13 29 33
a 2 10 13 21 29
a 2 10 18 21 29
a 10 18 21 29 32
a 1 10 18 21 32
a 1 10 21 30 32
a 10 13 21 30 32
a 10 13 21 29 32
a 4 13 21 29 32
a 4 12 13 21 29
a 2 12 13 21 29
a 2 12 13 29 33
a 4 12 13 29 33
a 4 12 20 29 33
a 12 16 20 29 33
a 3 12 16 20 29
a 3 7 16 20 29
a 7 16 20 29 33
a 6 7 20 29 33
a 4 7 20 29 33
a 4 7 20 30 33
a 7 17 20 30 33
a 4 17 20 30 33
a 4 17 20 30 31
a 4 8 17 30 31
a 4 8 17 21 30
a 4 8 17 30 33
a 4 7 17 30 33
a 4 7 17 20 33
a 4 7 17 20 36
a 4 7 17 26 36
a 4 7 23 26 36
a 4 13 23 26 36
a 4 12 13 23 26
a 4 12 13 26 35
a 4 13 24 26 35
a 4 15 24 26 35
a 4 12 15 26 35
a 4 12 15 23 26
a 4 7 15 23 26
a 7 15 23 26 34
a 3 7 23 26 34
a 3 12 23 26 34
a 3 12 23 25 34
a 3 12 14 23 25
a 3 12 14 23 31
a 3 12 14 23 34
a 12 14 23 25 34
a 3 12 14 25 34
a 3 14 23 25 34
a 3 14 23 25 36
a 3 11 14 25 36
a 3 11 14 25 34
a 3 11 14 30 34
a 3 11 14 22 30
a 3 14 22 30 31
a 5 14 22 30 31
a 5 14 22 30 33
a 5 7 22 30 33
a 5 13 22 30 33
a 11 13 22 30 33
a 11 14 22 30 33
a 11 14 22 25 33
a 2 11 22 25 33
a 2 11 13 22 33
a 2 11 13 24 33
a 2 11 13 24 28
a 11 13 24 28 32
a 11 15 24 28 32
a 11 15 19 28 32
a 2 11 15 19 28
a 2 12 15 19 28
a 2 12 15 19 34
a 2 11 15 19 34
a 11 15 19 30 34
a 3 11 19 30 34
a 3 11 19 30 32
a 3 11 19 28 32
a 3 11 19 28 36
a 2 11 19 28 36
a 2 11 19 27 36
a 2 10 19 27 36
a 2 10 19 27 35
a 6 10 19 27 35
a 6 8 19 27 35
a 8 16 19 27 35
a 8 18 19 27 35
a 5 8 18 19 27
a 5 8 18 19 34
a 5 8 18 21 34
a 8 18 21 25 34
a 2 18 21 25 34
a 2 17 21 25 34
a 8 17 21 25 34
a 8 17 21 30 34
a 5 8 21 30 34
a 5 8 19 30 34
a 8 17 19 30 34
a 6 8 17 19 34
a 6 8 17 25 34
a 6 8 17 25 33
a 4 8 17 25 33
a 4 8 24 25 33
a 4 8 24 25 35
a 8 16 24 25 35
a 8 16 24 27 35
a 5 8 16 24 27
a 5 8 24 27 31
a 5 8 24 28 31
a 5 9 24 28 31
a 5 9 13 24 28
a 5 13 24 28 32
a 5 9 13 24 32
a 5 9 13 24 26
a 5 9 13 26 36
a 5 9 13 22 26
a 5 9 18 22 26
a 5 9 18 26 34
a 5 7 18 26 34
a 3 7 18 26 34
a 3 7 18 22 26
a 3 18 22 26 35
a 3 18 22 25 35
a 9 18 22 25 35
a 9 18 22 26 35
a 9 13 22 26 35
a 9 13 24 26 35
a 1 9 24 26 35
a 1 9 18 26 35
a 1 10 18 26 35
a 1 10 18 27 35
a 10 18 19 27 35
a 2 18 19 27 35
a 2 10 18 27 35
a 2 10 18 19 35
a 2 10 18 19 29
a 10 18 19 29 32
a 3 18 19 29 32
a 3 16 19 29 32
c Step: 145
#END: [Thu Aug 31 19:53:20 2023]