#BEGIN: [Thu Aug 31 00:19:35 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen010x010.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen010x010_01_0612.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/queen/queen010x010.col /benchmark/2022benchmark/benchmark/queen/queen010x010_01_0612.dat
c /benchmark/2022benchmark/benchmark/queen/queen010x010.col
c /benchmark/2022benchmark/benchmark/queen/queen010x010_01_0612.dat
TIMEOUT 1800
c send SIGTERM to CID 2ddd8e979531bcb017beb345d0af20f1edd5e31e71a60bb28ca33d3eb1c2462e
s 82 1 97 29 48 60 14 63 35
t 18 76 4 35 97 23 51 82 69
a YES
a 1 14 29 35 48 60 63 82 97
a 1 14 29 35 48 60 63 76 82
a 1 14 35 48 60 63 76 82 97
a 1 14 35 48 60 63 76 82 99
a 7 14 35 48 60 63 76 82 99
a 7 14 35 48 51 63 76 82 99
a 7 20 35 48 51 63 76 82 99
a 7 20 23 35 48 51 76 82 99
a 7 20 23 35 48 51 69 76 82
a 20 23 35 48 51 69 76 82 97
a 4 20 23 35 51 69 76 82 97
a 4 23 35 50 51 69 76 82 97
a 4 11 23 35 50 69 76 82 97
a 4 11 23 38 50 69 76 82 97
a 4 23 38 50 51 69 76 82 97
a 4 18 23 50 51 69 76 82 97
a 4 18 23 35 50 51 69 76 82
a 18 23 35 50 51 69 76 82 97
a 18 23 35 50 51 69 74 82 97
a 18 23 35 50 51 66 74 82 97
a 18 23 35 49 51 66 74 82 97
a 4 18 23 35 49 51 66 82 97
a 4 18 23 35 49 51 66 80 97
a 4 18 23 35 49 52 66 80 97
a 4 18 23 35 49 52 66 80 87
a 4 18 23 49 52 66 80 87 91
a 18 23 35 49 52 66 80 87 91
a 4 18 23 35 49 52 66 87 91
a 4 18 35 49 52 66 80 87 91
a 4 23 35 49 52 66 80 87 91
a 4 18 23 35 52 66 80 87 91
a 4 18 23 35 49 66 80 87 91
a 4 18 23 35 49 51 66 80 87
a 4 18 23 35 49 51 80 87 92
a 4 18 35 49 51 66 80 87 92
a 4 28 35 49 51 66 80 87 92
a 4 23 35 49 51 66 80 87 92
a 4 18 23 35 49 66 80 87 92
a 4 18 23 49 51 66 80 87 92
a 4 18 23 35 49 51 66 80 92
a 4 18 23 35 49 51 66 80 82
a 4 18 23 35 49 51 80 82 96
a 4 18 23 35 49 51 80 82 97
a 4 18 23 35 49 66 80 82 97
a 4 23 35 49 51 66 80 82 97
a 4 18 23 35 51 66 80 82 97
a 4 18 23 35 50 51 66 82 97
a 4 18 23 35 50 51 69 82 97
a 4 18 23 35 50 51 76 82 97
a 4 18 23 35 50 61 76 82 97
a 4 18 23 35 50 69 76 82 97
a 4 18 23 35 50 51 69 76 97
a 4 18 23 35 50 52 69 76 97
a 4 18 35 50 52 69 76 83 97
a 4 18 30 35 52 69 76 83 97
a 4 18 30 35 51 69 76 83 97
a 4 18 30 35 41 69 76 83 97
a 4 12 30 35 41 69 76 83 97
a 4 12 30 41 55 69 76 83 97
a 4 18 30 41 55 69 76 83 97
a 18 30 34 41 55 69 76 83 97
a 2 18 30 34 41 55 69 76 83
a 2 18 30 41 55 69 76 83 97
a 2 18 34 41 55 69 76 83 97
a 2 18 30 34 41 69 76 83 97
a 2 18 30 34 41 55 76 83 97
a 2 18 30 34 55 69 76 83 97
a 2 18 30 34 51 69 76 83 97
a 5 18 30 34 51 69 76 83 97
a 5 18 22 34 51 69 76 83 97
a 5 18 22 34 50 51 69 76 97
a 5 18 22 34 50 51 69 76 93
a 5 18 22 34 50 51 69 76 83
a 5 18 22 34 50 51 69 83 97
a 18 22 34 50 51 69 76 83 97
a 5 18 22 50 51 69 76 83 97
a 5 22 34 50 51 69 76 83 97
a 5 22 34 48 51 69 76 83 97
a 10 22 34 48 51 69 76 83 97
a 10 18 22 34 51 69 76 83 97
a 10 18 22 34 41 69 76 83 97
a 10 18 22 34 41 59 76 83 97
a 10 18 22 35 41 59 76 83 97
a 10 18 22 35 41 59 76 84 97
a 10 18 22 35 41 69 76 84 97
a 10 18 22 35 41 69 76 83 97
a 10 18 22 35 51 69 76 83 97
a 18 22 35 50 51 69 76 83 97
a 4 18 35 50 51 69 76 83 97
a 4 18 35 50 51 69 76 82 97
a 4 18 30 35 51 69 76 82 97
a 4 18 23 35 51 69 76 82 97
c Step: 91
#END: [Thu Aug 31 00:49:35 2023]