#BEGIN: [Thu Aug 31 08:09:55 2023]
#HOST: s05
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/queen13_13.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/queen13_13_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/2022benchmark/benchmark/color04/queen13_13.col /benchmark/2022benchmark/benchmark/color04/queen13_13_01.dat
c /benchmark/2022benchmark/benchmark/color04/queen13_13.col
c /benchmark/2022benchmark/benchmark/color04/queen13_13_01.dat
TIMEOUT 1800
c send SIGTERM to CID 3da4ced8bd9a81a8c304dd5d5ea7c7b94e7683d27540591c6d88f8d0b7256747
s 25 30 45 62 78 79 94 112 119 137 152 167 
t 5 21 39 42 71 79 100 108 129 137 145 166
a YES
a 25 30 45 62 78 79 94 112 119 137 152 167
a 5 30 45 62 78 79 94 112 119 137 152 167
a 5 30 51 62 78 79 94 112 119 137 152 167
a 5 25 30 62 78 79 94 112 119 137 152 167
a 5 25 30 45 62 78 79 94 112 119 152 167
a 5 25 30 45 62 78 79 94 112 132 152 167
a 5 25 30 45 62 78 79 94 112 137 152 167
a 5 25 45 62 78 79 94 112 119 137 152 167
a 4 25 45 62 78 79 94 112 119 137 152 167
a 4 25 44 62 78 79 94 112 119 137 152 167
a 4 25 29 44 62 78 79 112 119 137 152 167
a 4 25 29 45 62 78 79 112 119 137 152 167
a 4 25 29 45 62 78 92 112 119 137 152 167
a 4 25 29 45 62 91 92 112 119 137 152 167
a 4 25 29 45 75 91 92 112 119 137 152 167
a 4 25 29 45 75 91 92 112 122 137 152 167
a 4 25 29 45 54 75 91 92 112 122 137 167
a 4 22 29 45 54 75 91 92 112 122 137 167
a 4 22 29 45 54 75 91 92 112 122 142 167
a 4 22 29 45 54 75 91 112 122 142 144 167
a 4 20 29 45 54 75 91 112 122 142 144 167
a 20 29 45 54 75 91 95 112 122 142 144 167
a 22 29 45 54 75 91 95 112 122 142 144 167
a 13 22 29 45 54 75 95 112 122 142 144 167
a 13 22 29 45 54 75 90 95 112 122 144 167
a 13 22 29 45 54 75 90 95 112 122 144 163
a 13 22 29 45 54 75 95 112 122 142 144 163
a 13 22 29 45 54 89 95 112 122 142 144 163
a 13 22 29 45 54 89 95 112 122 142 153 163
a 13 22 29 45 54 89 92 112 122 142 153 163
a 13 22 29 45 54 89 92 112 122 142 147 163
a 13 23 29 45 54 89 92 112 122 142 147 163
a 13 23 29 45 54 74 89 92 112 142 147 163
a 13 23 29 45 54 74 89 112 118 142 147 163
a 23 29 45 54 74 89 104 112 118 142 147 163
a 8 23 29 45 54 74 89 104 118 142 147 163
a 8 23 45 54 74 89 104 109 118 142 147 163
a 8 23 27 45 54 74 89 104 109 142 147 163
a 8 23 27 45 54 74 89 94 109 142 147 163
a 8 23 27 52 54 74 89 94 109 142 147 163
a 8 23 27 52 54 74 89 109 120 142 147 163
a 8 23 27 54 74 89 104 109 120 142 147 163
a 8 27 45 54 74 89 104 109 120 142 147 163
a 10 27 45 54 74 89 104 109 120 142 147 163
a 23 27 45 54 74 89 104 109 120 142 147 163
a 23 27 45 54 74 89 104 112 120 142 147 163
a 8 23 27 45 54 74 89 104 120 142 147 163
a 8 23 27 45 54 74 89 104 109 120 142 163
a 8 23 27 45 54 74 89 104 109 120 142 150
a 8 23 27 45 54 74 89 104 109 142 150 159
a 8 23 27 45 54 74 89 104 109 142 150 160
a 8 23 29 45 54 74 89 104 109 142 150 160
a 8 23 45 54 74 89 104 109 120 142 150 160
a 8 14 45 54 74 89 104 109 120 142 150 160
a 8 27 45 54 74 89 104 109 120 142 150 160
a 8 27 45 54 74 89 104 109 127 142 150 160
a 8 27 45 54 74 89 104 109 127 142 150 159
a 8 14 45 54 74 89 104 109 127 142 150 159
a 8 14 45 54 74 89 104 109 127 142 150 160
a 8 14 39 45 54 74 89 109 127 142 150 160
a 8 14 39 45 54 74 89 109 120 142 150 160
a 8 14 39 45 54 74 89 109 120 142 153 160
a 8 14 45 54 74 89 104 109 120 142 153 160
a 7 14 45 54 74 89 104 109 120 142 153 160
a 7 14 34 45 54 74 89 109 120 142 153 160
a 7 14 34 45 54 74 89 109 120 142 153 169
a 7 14 34 45 54 74 89 95 120 142 153 169
a 7 14 34 45 54 74 89 95 120 135 153 169
a 7 25 34 45 54 74 89 95 120 135 153 169
a 7 25 34 45 54 74 89 95 114 120 135 169
a 7 25 34 45 54 74 95 114 120 135 154 169
a 7 25 34 45 74 80 95 114 120 135 154 169
a 7 25 34 45 53 74 80 114 120 135 154 169
a 7 34 45 53 74 80 103 114 120 135 154 169
a 7 23 34 45 53 74 80 103 120 135 154 169
a 7 23 30 45 53 74 80 103 120 135 154 169
a 7 23 30 45 53 74 80 103 125 135 154 169
a 7 23 30 45 53 74 103 106 125 135 154 169
a 7 23 30 45 53 68 103 106 125 135 154 169
a 7 23 30 48 53 68 103 106 125 135 154 169
a 7 23 30 48 53 68 103 106 125 136 154 169
a 7 23 30 53 68 87 103 106 125 136 154 169
a 7 23 30 50 53 68 87 103 106 125 136 169
a 7 23 30 50 53 68 87 103 125 136 145 169
a 7 23 30 50 68 87 103 105 125 136 145 169
a 7 23 30 50 70 87 103 105 125 136 145 169
a 7 23 30 50 53 70 87 103 125 136 145 169
a 7 30 50 53 70 87 103 107 125 136 145 169
a 7 30 50 53 70 87 103 107 125 136 145 166
a 7 30 50 53 70 87 104 107 125 136 145 166
a 7 25 30 50 53 70 87 104 107 125 136 166
a 7 30 50 53 70 87 104 107 125 136 155 166
a 7 15 30 50 53 70 87 104 107 125 136 166
a 7 15 30 50 70 87 104 107 125 136 144 166
a 7 15 30 50 61 70 104 107 125 136 144 166
a 7 15 30 50 61 70 104 107 129 136 144 166
a 7 15 30 50 61 70 104 107 129 136 151 166
a 7 15 30 50 61 70 104 105 129 136 151 166
a 7 15 30 50 61 83 104 105 129 136 151 166
a 7 15 30 50 61 83 104 105 129 136 151 159
a 7 15 30 50 61 70 104 105 129 136 151 159
a 7 23 30 50 61 70 104 105 129 136 151 159
a 7 23 30 50 61 70 80 104 105 129 151 159
a 7 23 30 50 61 70 80 104 105 129 151 162
a 7 23 30 50 61 80 104 105 129 135 151 162
a 7 23 29 50 61 80 104 105 129 135 151 162
a 7 23 29 50 61 69 80 104 129 135 151 162
a 7 23 29 50 61 69 80 104 118 135 151 162
a 7 23 29 50 61 69 80 116 118 135 151 162
a 7 23 29 50 61 69 80 116 118 143 151 162
a 7 23 29 50 69 80 100 116 118 143 151 162
a 7 23 29 50 69 80 100 116 118 143 151 161
a 7 23 29 50 54 69 100 116 118 143 151 161
a 7 23 29 50 54 69 84 100 116 118 143 161
a 7 23 29 50 54 69 84 116 118 143 151 161
a 7 23 29 50 54 84 100 116 118 143 151 161
a 7 29 50 54 75 84 100 116 118 143 151 161
a 20 29 50 54 75 84 100 116 118 143 151 161
a 13 20 29 50 54 75 84 100 116 118 151 161
a 13 20 29 50 54 75 84 100 116 131 151 161
a 13 20 29 50 54 69 84 100 116 131 151 161
a 13 20 29 50 54 69 84 100 116 118 151 161
a 20 29 50 54 69 84 100 116 118 143 151 161
a 10 20 29 50 54 69 84 100 116 143 151 161
a 10 20 29 50 54 69 79 100 116 143 151 161
a 10 20 50 54 69 79 100 116 120 143 151 161
a 10 20 39 50 54 69 79 100 116 120 151 161
a 10 20 39 50 54 69 79 116 120 136 151 161
a 10 20 39 50 61 69 79 116 120 136 151 161
a 10 15 39 50 61 69 79 116 120 136 151 161
a 10 15 39 50 59 69 79 116 120 136 151 161
a 10 15 39 50 59 69 79 100 116 120 151 161
a 10 15 39 50 59 69 79 100 116 120 138 161
a 10 39 50 59 69 79 100 116 120 138 145 161
a 10 20 39 50 69 79 100 116 120 138 145 161
a 10 20 39 50 71 79 100 116 120 138 145 161
a 10 39 50 56 71 79 100 116 120 138 145 161
a 10 21 39 50 56 71 79 100 116 120 145 161
a 10 21 39 50 56 71 79 100 116 120 137 145
a 21 39 50 56 71 79 100 116 120 137 145 166
a 5 21 39 50 56 71 79 100 116 137 145 166
a 5 21 39 50 56 71 79 100 129 137 145 166
a 5 21 39 50 71 79 100 108 129 137 145 166
a 5 21 39 42 71 79 100 108 129 137 145 166
c Step: 143
#END: [Thu Aug 31 08:39:55 2023]