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