#BEGIN: [Mon Sep 4 15:09:18 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance020_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance020_graph005_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/random_instance/random_instance020_graph005.col /benchmark/random_instance/random_instance020_graph005_01.dat c /benchmark/random_instance/random_instance020_graph005.col c /benchmark/random_instance/random_instance020_graph005_01.dat s 205 181 36 65 77 95 84 26 45 144 195 192 28 152 203 179 5 117 52 60 251 178 134 54 107 4 34 71 167 157 184 105 88 246 247 162 131 10 209 241 70 24 92 242 206 3 87 213 249 85 108 188 185 245 104 212 145 231 113 119 9 82 200 42 207 76 122 123 176 258 64 15 182 86 78 211 140 215 191 254 20 t 29 35 17 30 57 251 85 167 194 229 214 56 112 102 24 181 245 173 70 189 111 249 257 12 120 49 212 96 160 53 195 61 10 159 232 198 199 42 209 241 171 187 26 217 162 68 16 100 260 66 211 258 99 126 22 50 166 248 78 113 259 77 158 87 52 122 141 196 79 138 254 20 178 131 228 146 182 231 239 234 27 a YES a 3 4 5 9 10 15 20 24 26 28 34 36 42 45 52 54 60 64 65 70 71 76 77 78 82 84 85 86 87 88 92 95 104 105 107 108 113 117 119 122 123 131 134 140 144 145 152 157 162 167 176 178 179 181 182 184 185 188 191 192 195 200 203 205 206 207 209 211 212 213 215 231 241 242 245 246 247 249 251 254 258 a 3 4 5 9 10 15 20 24 26 28 34 35 36 42 45 52 54 60 65 70 71 76 77 78 82 84 85 86 87 88 92 95 104 105 107 108 113 117 119 122 123 131 134 140 144 145 152 157 162 167 176 178 179 181 182 184 185 188 191 192 195 200 203 205 206 207 209 211 212 213 215 231 241 242 245 246 247 249 251 254 258 a 3 4 5 9 10 15 20 24 26 28 34 35 36 42 45 52 54 60 65 70 71 76 77 78 82 84 85 86 87 88 92 95 104 105 107 108 113 117 119 122 123 131 134 140 144 145 152 162 167 176 178 179 181 182 184 185 188 191 192 195 200 203 205 206 207 209 211 212 213 215 231 241 242 245 246 247 249 251 254 258 260 a 3 4 5 9 10 15 20 24 26 28 34 35 36 42 45 52 54 60 70 71 76 77 78 82 84 85 86 87 88 92 95 104 105 107 108 113 117 119 122 123 126 131 134 140 144 145 152 162 167 176 178 179 181 182 184 185 188 191 192 195 200 203 205 206 207 209 211 212 213 215 231 241 242 245 246 247 249 251 254 258 260 a 3 4 5 9 10 15 20 24 26 27 28 34 35 36 42 45 52 54 60 70 71 76 77 78 82 84 85 86 87 88 92 95 104 105 107 108 113 117 119 122 123 126 131 134 140 144 145 152 162 167 176 178 179 181 182 184 185 188 191 192 195 200 203 205 206 207 209 211 212 213 215 231 241 242 245 246 249 251 254 258 260 a 3 4 5 9 10 15 20 24 26 27 28 34 35 36 42 45 52 54 70 71 76 77 78 82 84 85 86 87 88 92 95 104 105 107 108 113 117 119 122 123 126 131 134 140 144 145 152 162 167 176 178 179 181 182 184 185 187 188 191 192 195 200 203 205 206 207 209 211 212 213 215 231 241 242 245 246 249 251 254 258 260 a 3 4 5 9 10 15 20 24 26 27 28 34 35 36 42 45 52 54 70 76 77 78 82 84 85 86 87 88 92 95 104 105 107 108 113 117 119 122 123 126 131 134 140 144 145 152 162 167 176 178 179 181 182 184 185 187 188 191 192 195 200 203 205 206 207 209 211 212 213 214 215 231 241 242 245 246 249 251 254 258 260 a 3 4 5 9 10 15 20 24 26 27 28 34 35 36 42 45 52 54 70 76 77 78 82 84 85 86 87 88 92 95 104 105 107 108 113 117 119 122 123 126 131 134 140 144 145 146 152 162 167 176 178 179 181 182 184 187 188 191 192 195 200 203 205 206 207 209 211 212 213 214 215 231 241 242 245 246 249 251 254 258 260 a 3 4 5 9 10 15 20 24 26 27 28 34 35 36 42 45 52 54 70 76 77 78 82 84 85 86 87 88 92 95 104 105 107 108 113 117 119 122 123 126 131 134 138 140 144 145 146 152 162 167 176 178 179 181 182 184 187 188 191 192 195 200 205 206 207 209 211 212 213 214 215 231 241 242 245 246 249 251 254 258 260 a 3 4 5 9 10 15 17 20 24 26 27 28 34 35 36 42 45 52 54 70 76 77 78 82 84 85 86 87 88 92 95 104 105 107 108 113 117 119 122 123 126 131 134 138 140 144 146 152 162 167 176 178 179 181 182 184 187 188 191 192 195 200 205 206 207 209 211 212 213 214 215 231 241 242 245 246 249 251 254 258 260 a 3 4 5 9 10 15 17 20 24 26 27 28 34 35 36 42 45 52 54 68 70 76 77 78 82 84 85 86 87 92 95 104 105 107 108 113 117 119 122 123 126 131 134 138 140 144 146 152 162 167 176 178 179 181 182 184 187 188 191 192 195 200 205 206 207 209 211 212 213 214 215 231 241 242 245 246 249 251 254 258 260 a 3 4 5 9 10 15 17 20 24 26 27 28 34 35 36 42 45 52 54 68 70 76 77 78 82 84 85 86 87 95 104 105 107 108 113 117 119 122 123 126 131 134 138 140 144 146 152 162 167 176 178 179 181 182 184 187 188 191 192 194 195 200 205 206 207 209 211 212 213 214 215 231 241 242 245 246 249 251 254 258 260 a 3 4 5 9 10 15 17 20 24 26 27 34 35 36 42 45 52 54 68 70 76 77 78 82 84 85 86 87 95 104 105 107 108 113 117 119 122 123 126 131 134 138 140 144 146 152 162 167 176 178 179 181 182 184 187 188 191 192 194 195 200 205 206 207 209 211 212 213 214 215 217 231 241 242 245 246 249 251 254 258 260 a 3 4 5 9 10 15 17 20 24 26 27 34 35 36 42 45 52 54 68 70 76 77 78 82 84 85 86 87 95 104 105 107 108 113 117 119 122 123 126 131 134 138 140 144 146 152 162 167 176 178 179 181 182 184 187 188 191 192 194 195 196 205 206 207 209 211 212 213 214 215 217 231 241 242 245 246 249 251 254 258 260 a 3 4 5 9 10 15 17 20 24 26 27 34 35 42 45 52 54 61 68 70 76 77 78 82 84 85 86 87 95 104 105 107 108 113 117 119 122 123 126 131 134 138 140 144 146 152 162 167 176 178 179 181 182 184 187 188 191 192 194 195 196 205 206 207 209 211 212 213 214 215 217 231 241 242 245 246 249 251 254 258 260 a 3 4 5 9 10 15 17 20 24 26 27 34 35 42 45 52 54 61 68 70 76 77 78 82 84 85 86 87 95 104 105 107 108 113 117 119 122 123 126 131 134 138 140 141 144 146 152 162 167 176 178 179 181 182 184 187 188 191 192 194 195 196 206 207 209 211 212 213 214 215 217 231 241 242 245 246 249 251 254 258 260 a 3 4 5 9 10 15 17 20 24 26 27 34 35 42 45 52 54 61 68 70 76 77 78 82 84 85 86 87 95 104 105 107 108 113 117 119 122 123 126 131 134 138 140 141 144 146 152 162 166 167 176 178 179 181 182 184 187 188 191 192 194 195 196 206 209 211 212 213 214 215 217 231 241 242 245 246 249 251 254 258 260 a 3 4 5 9 10 12 15 17 20 24 26 27 34 35 42 45 52 54 61 68 70 76 77 78 82 84 85 86 87 95 104 105 107 108 113 117 119 122 123 126 131 134 138 140 141 144 146 152 162 166 167 176 178 181 182 184 187 188 191 192 194 195 196 206 209 211 212 213 214 215 217 231 241 242 245 246 249 251 254 258 260 a 3 4 5 9 10 12 15 17 20 24 26 27 34 35 42 45 52 54 61 68 70 76 77 78 82 84 85 86 87 95 104 105 107 108 113 117 122 123 126 131 134 138 140 141 144 146 152 162 166 167 176 178 181 182 184 187 188 191 192 194 195 196 199 206 209 211 212 213 214 215 217 231 241 242 245 246 249 251 254 258 260 a 3 4 5 9 10 12 15 17 20 22 24 26 27 34 35 42 45 52 54 61 68 70 76 77 78 82 84 85 86 87 95 104 105 107 113 117 122 123 126 131 134 138 140 141 144 146 152 162 166 167 176 178 181 182 184 187 188 191 192 194 195 196 199 206 209 211 212 213 214 215 217 231 241 242 245 246 249 251 254 258 260 a 3 4 5 9 10 12 15 17 20 22 24 26 27 34 35 42 45 52 54 61 68 70 76 77 78 82 84 85 86 87 95 104 105 107 113 117 122 123 126 131 134 138 140 141 146 152 162 166 167 176 178 181 182 184 187 188 191 192 194 195 196 199 206 209 211 212 213 214 215 217 231 232 241 242 245 246 249 251 254 258 260 a 3 4 5 9 10 12 15 16 17 20 22 24 26 27 34 35 42 45 52 54 61 68 70 76 77 78 82 84 85 86 87 95 104 105 113 117 122 123 126 131 134 138 140 141 146 152 162 166 167 176 178 181 182 184 187 188 191 192 194 195 196 199 206 209 211 212 213 214 215 217 231 232 241 242 245 246 249 251 254 258 260 a 3 4 5 9 10 12 16 17 20 22 24 26 27 34 35 42 45 52 54 61 68 70 76 77 78 82 84 85 86 87 95 104 105 113 117 122 123 126 131 134 138 140 141 146 152 160 162 166 167 176 178 181 182 184 187 188 191 192 194 195 196 199 206 209 211 212 213 214 215 217 231 232 241 242 245 246 249 251 254 258 260 a 3 4 5 10 12 16 17 20 22 24 26 27 34 35 42 45 52 54 61 68 70 76 77 78 82 84 85 86 87 95 104 105 113 117 122 123 126 131 134 138 140 141 146 152 159 160 162 166 167 176 178 181 182 184 187 188 191 192 194 195 196 199 206 209 211 212 213 214 215 217 231 232 241 242 245 246 249 251 254 258 260 a 3 4 5 10 12 16 17 20 22 24 26 27 34 35 42 45 52 54 61 68 70 76 77 78 82 84 85 86 87 95 104 105 113 117 122 123 126 131 134 138 141 146 152 159 160 162 166 167 176 178 181 182 184 187 188 191 192 194 195 196 199 206 209 211 212 213 214 215 217 231 232 241 242 245 246 249 251 254 257 258 260 a 3 4 5 10 12 16 17 20 22 24 26 27 34 35 42 45 52 54 61 68 70 76 77 78 82 84 85 86 87 95 99 104 113 117 122 123 126 131 134 138 141 146 152 159 160 162 166 167 176 178 181 182 184 187 188 191 192 194 195 196 199 206 209 211 212 213 214 215 217 231 232 241 242 245 246 249 251 254 257 258 260 a 3 4 5 10 12 16 17 20 22 24 26 27 34 35 42 45 52 54 61 68 70 76 77 78 82 84 85 86 87 95 99 104 113 117 122 123 126 131 134 138 141 146 152 159 160 162 166 167 176 178 181 182 184 187 188 189 191 192 194 195 196 199 206 209 211 212 214 215 217 231 232 241 242 245 246 249 251 254 257 258 260 a 3 4 5 10 12 16 17 20 22 24 26 27 34 35 42 45 52 54 61 68 70 76 77 78 82 84 85 86 87 95 99 104 113 117 122 123 126 131 134 138 141 146 152 159 160 162 166 167 176 178 181 182 184 187 188 189 191 194 195 196 199 206 209 211 212 214 215 217 231 232 241 242 245 246 248 249 251 254 257 258 260 a 3 4 5 10 12 16 17 20 22 24 26 27 34 35 42 45 49 52 54 61 68 70 76 77 78 82 84 85 86 87 95 99 104 113 117 122 123 126 131 134 138 141 146 152 159 160 162 166 167 176 178 181 182 184 187 189 191 194 195 196 199 206 209 211 212 214 215 217 231 232 241 242 245 246 248 249 251 254 257 258 260 a 3 4 5 10 12 16 17 20 22 24 26 27 34 35 42 45 49 52 61 68 70 76 77 78 82 84 85 86 87 95 99 104 113 117 122 123 126 131 134 138 141 146 152 158 159 160 162 166 167 176 178 181 182 184 187 189 191 194 195 196 199 206 209 211 212 214 215 217 231 232 241 242 245 246 248 249 251 254 257 258 260 a 3 4 5 10 12 16 17 20 22 24 26 27 34 35 42 45 49 52 61 66 68 70 76 77 78 82 85 86 87 95 99 104 113 117 122 123 126 131 134 138 141 146 152 158 159 160 162 166 167 176 178 181 182 184 187 189 191 194 195 196 199 206 209 211 212 214 215 217 231 232 241 242 245 246 248 249 251 254 257 258 260 a 3 4 5 10 12 16 17 20 22 24 26 27 35 42 45 49 52 61 66 68 70 76 77 78 82 85 86 87 95 99 104 111 113 117 122 123 126 131 134 138 141 146 152 158 159 160 162 166 167 176 178 181 182 184 187 189 191 194 195 196 199 206 209 211 212 214 215 217 231 232 241 242 245 246 248 249 251 254 257 258 260 a 3 4 5 10 12 16 17 20 22 24 26 27 35 42 45 49 52 61 66 68 70 76 77 78 85 86 87 95 99 104 111 113 117 122 123 126 131 134 138 141 146 152 158 159 160 162 166 167 176 178 181 182 184 187 189 191 194 195 196 199 206 209 211 212 214 215 217 231 232 239 241 242 245 246 248 249 251 254 257 258 260 a 3 4 5 10 12 16 17 20 22 24 26 27 35 42 45 49 52 61 66 68 70 76 77 78 85 87 95 99 104 111 113 117 122 123 126 131 134 138 141 146 152 158 159 160 162 166 167 176 178 181 182 184 187 189 191 194 195 196 199 206 209 211 212 214 215 217 231 232 234 239 241 242 245 246 248 249 251 254 257 258 260 a 3 4 5 10 12 16 17 20 22 24 26 27 29 35 42 45 49 52 61 66 68 70 76 77 78 85 87 95 99 104 111 113 117 122 126 131 134 138 141 146 152 158 159 160 162 166 167 176 178 181 182 184 187 189 191 194 195 196 199 206 209 211 212 214 215 217 231 232 234 239 241 242 245 246 248 249 251 254 257 258 260 a 3 4 5 10 12 16 17 20 22 24 26 27 29 35 42 45 49 52 61 66 68 70 77 78 85 87 95 99 104 111 113 117 122 126 131 134 138 141 146 152 158 159 160 162 166 167 176 178 181 182 184 187 189 191 194 195 196 198 199 206 209 211 212 214 215 217 231 232 234 239 241 242 245 246 248 249 251 254 257 258 260 a 3 4 5 10 12 16 17 20 22 24 26 27 29 35 42 45 49 52 61 66 68 70 77 78 85 87 95 99 104 111 113 117 122 126 131 134 138 141 146 152 158 159 160 162 166 167 171 176 178 181 182 184 187 189 191 194 195 196 198 199 206 209 211 212 214 215 217 231 232 234 239 241 245 246 248 249 251 254 257 258 260 a 3 4 5 10 12 16 17 20 22 24 26 27 29 35 42 45 49 52 61 66 68 70 77 78 85 87 95 99 104 111 112 113 117 122 126 131 134 138 141 146 152 158 159 160 162 166 167 171 176 178 181 182 184 187 189 191 194 195 196 198 199 206 209 211 212 214 217 231 232 234 239 241 245 246 248 249 251 254 257 258 260 a 4 5 10 12 16 17 20 22 24 26 27 29 35 42 45 49 52 53 61 66 68 70 77 78 85 87 95 99 104 111 112 113 117 122 126 131 134 138 141 146 152 158 159 160 162 166 167 171 176 178 181 182 184 187 189 191 194 195 196 198 199 206 209 211 212 214 217 231 232 234 239 241 245 246 248 249 251 254 257 258 260 a 4 5 10 12 16 17 20 22 24 26 27 29 35 42 45 49 52 53 57 61 66 68 70 77 78 85 87 95 99 104 111 112 113 117 122 126 131 134 138 141 146 152 158 159 160 162 166 167 171 178 181 182 184 187 189 191 194 195 196 198 199 206 209 211 212 214 217 231 232 234 239 241 245 246 248 249 251 254 257 258 260 a 4 5 10 12 16 17 20 22 24 26 27 29 35 42 49 52 53 57 61 66 68 70 77 78 79 85 87 95 99 104 111 112 113 117 122 126 131 134 138 141 146 152 158 159 160 162 166 167 171 178 181 182 184 187 189 191 194 195 196 198 199 206 209 211 212 214 217 231 232 234 239 241 245 246 248 249 251 254 257 258 260 a 4 5 10 12 16 17 20 22 24 26 27 29 35 42 49 52 53 56 57 61 66 68 70 77 78 79 85 87 95 99 104 111 112 113 117 122 126 131 134 138 141 146 158 159 160 162 166 167 171 178 181 182 184 187 189 191 194 195 196 198 199 206 209 211 212 214 217 231 232 234 239 241 245 246 248 249 251 254 257 258 260 a 4 10 12 16 17 20 22 24 26 27 29 35 42 49 52 53 56 57 61 66 68 70 77 78 79 85 87 95 99 100 104 111 112 113 117 122 126 131 134 138 141 146 158 159 160 162 166 167 171 178 181 182 184 187 189 191 194 195 196 198 199 206 209 211 212 214 217 231 232 234 239 241 245 246 248 249 251 254 257 258 260 a 4 10 12 16 17 20 22 24 26 27 29 35 42 49 52 53 56 57 61 66 68 70 77 78 79 85 87 95 96 99 100 104 111 112 113 122 126 131 134 138 141 146 158 159 160 162 166 167 171 178 181 182 184 187 189 191 194 195 196 198 199 206 209 211 212 214 217 231 232 234 239 241 245 246 248 249 251 254 257 258 260 a 4 10 12 16 17 20 22 24 26 27 29 35 42 49 52 53 56 57 61 66 68 70 77 78 79 85 87 96 99 100 104 111 112 113 120 122 126 131 134 138 141 146 158 159 160 162 166 167 171 178 181 182 184 187 189 191 194 195 196 198 199 206 209 211 212 214 217 231 232 234 239 241 245 246 248 249 251 254 257 258 260 a 4 10 12 16 17 20 22 24 26 27 29 35 42 49 52 53 56 57 61 66 68 70 77 78 79 85 87 96 99 100 104 111 112 113 120 122 126 131 134 138 141 146 158 159 160 162 166 167 171 178 181 182 187 189 191 194 195 196 198 199 206 209 211 212 214 217 231 232 234 239 241 245 246 248 249 251 254 257 258 259 260 a 10 12 16 17 20 22 24 26 27 29 35 42 49 52 53 56 57 61 66 68 70 77 78 79 85 87 96 99 100 104 111 112 113 120 122 126 131 134 138 141 146 158 159 160 162 166 167 171 178 181 182 187 189 191 194 195 196 198 199 206 209 211 212 214 217 228 231 232 234 239 241 245 246 248 249 251 254 257 258 259 260 a 10 12 16 17 20 22 24 26 27 29 35 42 49 50 52 53 56 57 61 66 68 70 77 78 79 85 87 96 99 100 104 111 112 113 120 122 126 131 134 138 141 146 158 159 160 162 166 167 171 178 181 182 187 189 194 195 196 198 199 206 209 211 212 214 217 228 231 232 234 239 241 245 246 248 249 251 254 257 258 259 260 a 10 12 16 17 20 22 24 26 27 29 35 42 49 50 52 53 56 57 61 66 68 70 77 78 79 85 87 96 99 100 102 104 111 112 113 120 122 126 131 134 138 141 146 158 159 160 162 166 167 171 178 181 182 187 189 194 195 196 198 199 206 209 211 212 214 217 228 231 232 234 239 241 245 248 249 251 254 257 258 259 260 a 10 12 16 17 20 22 24 26 27 29 35 42 49 50 52 53 56 57 61 66 68 70 77 78 79 85 87 96 99 100 102 111 112 113 120 122 126 131 134 138 141 146 158 159 160 162 166 167 171 178 181 182 187 189 194 195 196 198 199 206 209 211 212 214 217 228 229 231 232 234 239 241 245 248 249 251 254 257 258 259 260 a 10 12 16 17 20 22 24 26 27 29 30 35 42 49 50 52 53 56 57 61 66 68 70 77 78 79 85 87 96 99 100 102 111 112 113 120 122 126 131 134 138 141 146 158 159 160 162 166 167 171 178 181 182 187 189 194 195 196 198 199 209 211 212 214 217 228 229 231 232 234 239 241 245 248 249 251 254 257 258 259 260 a 10 12 16 17 20 22 24 26 27 29 30 35 42 49 50 52 53 56 57 61 66 68 70 77 78 79 85 87 96 99 100 102 111 112 113 120 122 126 131 138 141 146 158 159 160 162 166 167 171 173 178 181 182 187 189 194 195 196 198 199 209 211 212 214 217 228 229 231 232 234 239 241 245 248 249 251 254 257 258 259 260 c Step: 51 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance020_graph005.col /benchmark/random_instance/random_instance020_graph005_01.dat" User time (seconds): 2.36 System time (seconds): 0.05 Percent of CPU this job got: 207% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.17 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 111940 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 66368 Voluntary context switches: 3671 Involuntary context switches: 16 Swaps: 0 File system inputs: 0 File system outputs: 248 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:09:20 2023]