#BEGIN: [Thu Aug 31 08:13:55 2023] #HOST: s12 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest2 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/queen15_15.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/queen15_15_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/queen15_15.col /benchmark/2022benchmark/benchmark/color04/queen15_15_01.dat c /benchmark/2022benchmark/benchmark/color04/queen15_15.col c /benchmark/2022benchmark/benchmark/color04/queen15_15_01.dat TIMEOUT 1800 c send SIGTERM to CID e874f13e33151926397502b3b1087d1039beff93ba39752da87e7963ff377e83 s 7 28 40 50 69 90 94 107 131 143 177 186 198 211 t 4 40 50 69 90 103 107 134 143 151 177 186 198 221 a YES a 7 28 40 50 69 90 94 107 131 143 177 186 198 211 a 7 28 40 50 69 90 94 107 131 143 151 177 186 198 a 28 40 50 69 90 94 107 131 143 151 177 186 198 217 a 6 28 40 50 69 90 94 107 131 143 151 177 198 217 a 6 28 40 50 69 90 94 107 131 143 164 177 198 217 a 28 40 50 69 90 94 107 131 143 164 177 186 198 217 a 28 40 50 61 90 94 107 131 143 164 177 186 198 217 a 9 28 40 50 61 90 94 131 143 164 177 186 198 217 a 9 28 40 50 61 90 94 131 143 164 167 186 198 217 a 9 28 40 50 61 90 94 117 143 164 167 186 198 217 a 9 28 40 50 71 90 94 117 143 164 167 186 198 217 a 9 28 40 50 71 76 94 117 143 164 167 186 198 217 a 9 28 40 50 76 94 117 135 143 164 167 186 198 217 a 9 28 40 50 67 76 94 117 135 143 164 167 186 198 a 9 28 40 50 67 76 94 117 135 143 167 186 198 224 a 9 40 50 67 76 94 117 135 143 161 167 186 198 224 a 9 28 40 50 67 76 94 117 135 161 167 186 198 224 a 9 28 40 50 67 76 94 117 150 161 167 186 198 224 a 9 28 40 50 76 94 117 127 150 161 167 186 198 224 a 9 28 50 68 76 94 117 127 150 161 167 186 198 224 a 9 28 35 68 76 94 117 127 150 161 167 186 198 224 a 9 28 35 68 76 94 117 127 150 161 167 186 205 224 a 9 35 58 68 76 94 117 127 150 161 167 186 205 224 a 9 35 58 68 76 94 117 123 150 161 167 186 205 224 a 9 28 35 68 76 94 117 123 150 161 167 186 205 224 a 9 28 35 59 68 76 94 117 123 150 161 167 186 205 a 9 28 35 59 68 76 94 117 123 150 161 167 205 216 a 9 28 35 59 68 76 94 117 127 150 161 167 205 216 a 9 28 35 59 68 76 94 117 127 150 161 167 198 216 a 9 28 35 59 68 76 117 127 150 161 167 190 198 216 a 9 28 35 59 68 76 109 127 150 161 167 190 198 216 a 9 28 35 59 68 76 102 109 127 161 167 190 198 216 a 9 28 35 59 68 76 102 109 127 165 167 190 198 216 a 9 28 35 59 68 76 102 109 127 146 165 167 190 198 a 9 28 35 59 68 76 102 109 127 146 167 190 198 225 a 9 28 35 59 68 76 102 109 127 146 167 190 201 225 a 9 28 35 59 68 76 102 109 127 146 165 167 190 201 a 28 35 59 68 76 102 109 127 146 165 167 190 201 219 a 28 33 59 68 76 102 109 127 146 165 167 190 201 219 a 9 28 33 59 68 76 102 109 127 146 165 167 190 201 a 9 28 33 68 76 102 109 127 146 165 167 190 201 224 a 9 28 33 50 68 76 102 109 127 165 167 190 201 224 a 9 28 33 50 68 102 109 127 136 165 167 190 201 224 a 9 28 33 50 68 90 102 109 127 136 167 190 201 224 a 9 28 33 50 68 90 102 109 127 136 156 167 190 224 a 9 28 33 50 68 90 101 109 127 136 156 167 190 224 a 9 28 33 50 68 90 101 109 136 156 167 190 207 224 a 9 28 33 50 68 90 109 131 136 156 167 190 207 224 a 9 28 33 50 68 90 91 109 131 156 167 190 207 224 a 9 28 33 50 68 90 91 109 131 149 156 167 190 207 a 9 28 33 68 90 91 109 131 149 156 167 190 207 217 a 9 28 48 68 90 91 109 131 149 156 167 190 207 217 a 9 43 48 68 90 91 109 131 149 156 167 190 207 217 a 9 17 43 48 68 90 91 109 131 149 156 190 207 217 a 9 17 43 48 68 90 91 109 131 149 156 190 200 217 a 9 17 48 68 90 91 109 131 149 156 178 190 200 217 a 9 17 48 68 90 91 109 131 149 156 178 190 207 217 a 9 17 38 48 90 91 109 131 149 156 178 190 207 217 a 9 17 38 48 71 90 91 109 149 156 178 190 207 217 a 9 17 38 48 71 90 91 125 149 156 178 190 207 217 a 9 17 38 48 71 90 91 115 125 149 156 178 207 217 a 9 17 38 48 71 90 91 115 125 149 178 184 207 217 a 9 17 38 48 71 90 91 115 126 149 178 184 207 217 a 9 17 38 48 71 90 115 126 149 151 178 184 207 217 a 9 17 38 48 71 90 115 125 149 151 178 184 207 217 a 9 17 36 48 71 90 115 125 149 151 178 184 207 217 a 9 17 36 48 71 90 115 125 149 151 178 184 207 218 a 9 17 36 48 71 90 102 115 125 149 151 178 184 218 a 9 17 36 48 71 90 102 115 125 149 178 184 196 218 a 17 36 48 71 90 102 115 125 149 159 178 184 196 218 a 11 17 36 48 90 102 115 125 149 159 178 184 196 218 a 11 17 36 48 90 102 115 125 149 159 178 184 196 217 a 11 23 36 48 90 102 115 125 149 159 178 184 196 217 a 11 23 36 62 90 102 115 125 149 159 178 184 196 217 a 11 23 36 62 90 102 115 125 138 159 178 184 196 217 a 11 29 36 62 90 102 115 125 138 159 178 184 196 217 a 29 36 53 62 90 102 115 125 138 159 178 184 196 217 a 1 29 36 53 62 90 102 115 125 138 159 178 184 217 a 1 29 36 56 62 90 102 115 125 138 159 178 184 217 a 1 29 36 56 62 90 102 115 125 138 159 178 184 203 a 7 29 36 56 62 90 102 115 125 138 159 178 184 203 a 7 29 36 56 62 90 102 115 125 138 151 178 184 203 a 7 29 36 56 62 90 102 115 125 138 151 184 203 223 a 9 29 36 56 62 90 102 115 125 138 151 184 203 223 a 9 29 36 56 62 90 102 115 125 138 151 178 184 203 a 9 36 56 62 90 102 115 125 138 151 178 184 203 224 a 9 36 56 62 90 102 115 127 138 151 178 184 203 224 a 9 27 36 56 62 90 115 127 138 151 178 184 203 224 a 9 27 36 56 62 90 103 115 127 138 151 184 203 224 a 9 36 56 62 90 103 115 127 138 151 177 184 203 224 a 9 21 56 62 90 103 115 127 138 151 177 184 203 224 a 9 21 50 62 90 103 115 127 138 151 177 184 203 224 a 9 21 50 62 90 103 115 127 138 151 177 184 203 221 a 9 21 50 62 90 103 115 134 138 151 177 184 203 221 a 9 21 50 62 90 103 112 134 138 151 177 184 203 221 a 9 21 40 50 62 90 103 112 134 151 177 184 203 221 a 9 21 40 50 62 90 103 112 134 143 151 177 184 221 a 9 21 40 50 62 90 103 112 134 143 151 177 198 221 a 9 40 50 62 90 103 112 134 143 151 177 186 198 221 a 4 40 50 62 90 103 112 134 143 151 177 186 198 221 a 4 40 50 69 90 103 112 134 143 151 177 186 198 221 a 4 40 50 69 90 103 107 134 143 151 177 186 198 221 c Step: 101 #END: [Thu Aug 31 08:43:56 2023]