#BEGIN: [Tue Sep 26 03:08:49 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance025_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance025_graph001_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest /benchmark/random_instance/random_instance025_graph001.col /benchmark/random_instance/random_instance025_graph001_01.dat c /benchmark/random_instance/random_instance025_graph001.col c /benchmark/random_instance/random_instance025_graph001_01.dat s 39 161 239 91 28 169 307 201 223 319 281 175 202 158 96 293 128 191 55 48 84 163 92 269 20 208 266 138 106 136 149 246 262 273 237 322 221 249 12 34 119 308 4 244 179 289 7 21 3 220 280 274 6 311 172 76 277 323 302 89 110 174 130 207 11 144 62 118 94 228 292 243 193 178 81 103 59 225 97 80 8 13 187 287 35 297 29 251 185 318 160 258 31 301 85 176 181 298 151 45 19 71 195 306 99 147 t 55 20 6 257 49 113 25 129 322 182 87 290 163 1 269 214 41 261 99 14 292 142 44 155 144 307 217 221 321 170 318 185 33 279 235 282 164 27 154 68 208 23 153 67 141 272 53 60 276 255 236 169 286 63 274 157 43 304 36 180 121 112 140 227 251 62 137 76 75 7 309 173 13 94 101 191 308 88 56 47 222 81 152 85 29 147 136 17 108 72 187 59 247 149 177 131 24 42 135 246 161 313 124 114 111 45 a YES a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 34 35 39 45 48 55 59 62 71 76 80 81 84 85 89 91 92 94 96 97 99 103 106 110 118 119 128 130 136 138 144 147 149 151 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 202 207 208 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 287 289 292 293 297 298 301 302 306 307 308 311 318 319 322 323 a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 34 35 39 45 48 55 59 62 71 76 80 81 85 89 91 92 94 96 97 99 103 106 110 118 119 128 130 136 138 144 147 149 151 158 160 161 163 169 172 174 175 176 178 179 181 185 187 191 193 195 201 202 207 208 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 286 287 289 292 293 297 298 301 302 306 307 308 311 318 319 322 323 a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 34 35 39 45 48 55 59 62 71 76 80 81 85 89 91 92 94 96 97 99 103 106 110 112 118 119 128 130 136 138 144 147 149 151 158 160 161 163 169 172 174 175 176 178 179 185 187 191 193 195 201 202 207 208 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 286 287 289 292 293 297 298 301 302 306 307 308 311 318 319 322 323 a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 34 35 39 45 48 55 59 62 71 76 80 81 85 89 91 92 94 96 97 99 103 106 110 112 118 119 124 128 130 136 138 144 147 149 151 158 160 161 163 169 172 174 175 176 178 179 185 187 191 193 195 201 202 207 208 220 221 223 225 228 237 239 243 244 246 249 251 258 262 266 269 273 274 277 280 281 286 287 289 292 293 297 298 301 302 306 307 308 311 318 322 323 a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 34 35 39 45 48 55 59 62 71 76 80 81 85 89 91 92 94 96 97 99 103 106 110 112 118 119 124 128 130 136 138 144 147 149 151 158 160 161 163 169 172 174 175 176 178 179 185 187 191 193 195 201 202 207 208 220 221 223 225 228 237 239 243 244 246 249 251 255 258 262 266 269 273 274 277 280 281 286 287 289 292 293 297 298 301 302 306 307 308 318 322 323 a 3 4 6 7 8 11 12 13 19 20 21 28 29 31 34 35 39 45 48 55 59 62 71 76 80 81 85 89 91 92 94 96 97 99 103 106 110 112 118 119 124 128 130 136 138 144 147 149 151 158 160 161 163 169 172 174 175 176 178 179 185 187 191 193 195 201 202 207 208 220 221 223 225 228 235 237 239 243 244 246 249 251 255 258 266 269 273 274 277 280 281 286 287 289 292 293 297 298 301 302 306 307 308 318 322 323 a 3 4 6 7 8 11 13 19 20 21 24 28 29 31 34 35 39 45 48 55 59 62 71 76 80 81 85 89 91 92 94 96 97 99 103 106 110 112 118 119 124 128 130 136 138 144 147 149 151 158 160 161 163 169 172 174 175 176 178 179 185 187 191 193 195 201 202 207 208 220 221 223 225 228 235 237 239 243 244 246 249 251 255 258 266 269 273 274 277 280 281 286 287 289 292 293 297 298 301 302 306 307 308 318 322 323 a 3 4 6 7 8 11 13 19 20 21 24 28 29 31 34 35 39 45 55 59 62 71 76 80 81 85 89 91 92 94 96 97 99 103 106 110 112 118 119 124 128 130 136 138 144 147 149 151 158 160 161 163 164 169 172 174 175 176 178 179 185 187 191 193 195 201 202 207 208 220 221 223 225 228 235 237 239 243 244 246 249 251 255 258 266 269 273 274 277 280 281 286 287 289 292 293 297 298 301 302 306 307 308 318 322 323 a 3 4 6 7 8 11 13 19 20 21 24 28 29 31 34 35 39 45 55 59 62 71 76 80 81 85 91 92 94 96 97 99 103 106 110 112 118 119 124 128 130 136 138 144 147 149 151 158 160 161 163 164 169 172 174 175 176 178 179 185 187 191 193 195 201 202 207 208 220 221 222 223 225 228 235 237 239 243 244 246 249 251 255 258 266 269 273 274 277 280 281 286 287 289 292 293 297 298 301 302 306 307 308 318 322 323 a 3 4 6 7 8 11 13 19 20 21 24 28 29 31 33 34 35 39 45 55 59 62 71 76 80 81 85 91 92 94 96 97 99 103 106 110 112 118 119 124 128 130 136 138 144 147 149 151 158 160 161 163 164 169 172 174 175 176 178 179 185 187 191 193 195 201 202 207 208 220 221 222 223 225 228 235 237 239 243 244 246 249 251 255 258 266 269 273 274 277 280 281 286 287 289 292 297 298 301 302 306 307 308 318 322 323 a 3 4 6 7 8 11 13 19 20 21 24 28 29 31 33 34 35 39 45 55 59 62 71 76 80 81 85 91 92 94 96 97 99 103 106 110 112 113 118 124 128 130 136 138 144 147 149 151 158 160 161 163 164 169 172 174 175 176 178 179 185 187 191 193 195 201 202 207 208 220 221 222 223 225 228 235 237 239 243 244 246 249 251 255 258 266 269 273 274 277 280 281 286 287 289 292 297 298 301 302 306 307 308 318 322 323 a 3 4 6 7 8 11 13 19 20 21 24 28 29 31 33 34 35 39 45 55 59 62 71 76 80 81 85 91 92 94 96 97 99 103 106 110 112 113 118 124 128 130 136 138 141 144 147 149 151 158 160 161 163 164 169 172 174 175 176 178 185 187 191 193 195 201 202 207 208 220 221 222 223 225 228 235 237 239 243 244 246 249 251 255 258 266 269 273 274 277 280 281 286 287 289 292 297 298 301 302 306 307 308 318 322 323 a 3 4 6 7 8 11 13 19 20 21 24 28 29 31 33 34 35 39 43 45 55 59 62 71 76 80 81 85 91 92 94 96 97 99 103 106 110 112 113 118 124 128 130 136 138 141 144 147 149 151 158 160 161 163 164 169 172 174 175 176 178 185 187 191 193 195 201 202 207 208 220 221 222 223 225 228 235 237 239 243 244 246 249 251 255 258 266 269 273 274 277 280 281 286 287 289 292 297 298 301 306 307 308 318 322 323 a 3 4 6 7 8 11 13 19 20 21 24 28 29 31 33 34 35 39 43 45 55 59 62 71 76 80 81 85 91 92 94 96 97 99 103 106 110 112 113 118 124 128 130 136 138 141 144 147 149 151 158 160 161 163 164 169 172 174 175 176 178 185 187 191 193 195 201 202 207 208 221 222 223 225 228 235 237 239 243 244 246 249 251 255 258 266 269 273 274 277 280 281 286 287 289 290 292 297 298 301 306 307 308 318 322 323 a 3 4 6 7 8 11 13 19 20 21 24 28 29 31 33 34 35 39 43 45 49 55 59 62 71 76 80 81 85 91 92 94 96 97 99 103 106 112 113 118 124 128 130 136 138 141 144 147 149 151 158 160 161 163 164 169 172 174 175 176 178 185 187 191 193 195 201 202 207 208 221 222 223 225 228 235 237 239 243 244 246 249 251 255 258 266 269 273 274 277 280 281 286 287 289 290 292 297 298 301 306 307 308 318 322 323 a 3 4 6 7 8 11 13 19 20 21 24 28 29 31 33 34 35 39 43 45 49 55 59 62 71 76 80 81 85 91 92 94 96 97 99 103 106 111 112 113 118 124 128 130 136 138 141 144 147 149 151 158 160 161 163 164 169 172 174 175 176 178 185 187 191 193 195 201 202 207 208 221 222 223 225 228 235 237 239 243 244 246 249 251 255 258 266 269 273 274 277 281 286 287 289 290 292 297 298 301 306 307 308 318 322 323 a 3 4 6 7 8 11 13 19 20 21 24 28 29 31 33 34 35 39 43 45 49 55 59 62 71 76 80 81 85 91 92 94 96 97 99 103 106 111 112 113 118 124 128 130 136 138 141 144 147 149 151 157 158 160 161 163 164 169 172 174 175 176 178 185 187 191 193 195 201 202 207 208 221 222 223 228 235 237 239 243 244 246 249 251 255 258 266 269 273 274 277 281 286 287 289 290 292 297 298 301 306 307 308 318 322 323 a 3 4 6 7 8 11 13 17 19 20 21 24 28 29 31 33 34 35 39 43 45 49 55 59 62 71 76 80 81 85 91 92 94 96 97 99 103 106 111 112 113 118 124 128 130 136 138 141 144 147 149 151 157 158 161 163 164 169 172 174 175 176 178 185 187 191 193 195 201 202 207 208 221 222 223 228 235 237 239 243 244 246 249 251 255 258 266 269 273 274 277 281 286 287 289 290 292 297 298 301 306 307 308 318 322 323 a 3 4 6 7 8 11 13 17 19 20 21 24 29 31 33 34 35 39 43 45 49 55 59 62 71 76 80 81 85 91 92 94 96 97 99 103 106 111 112 113 118 124 128 130 136 138 141 144 147 149 151 157 158 161 163 164 169 172 174 175 176 178 185 187 191 193 195 201 202 207 208 221 222 223 228 235 237 239 243 244 246 249 251 255 258 266 269 273 274 277 281 282 286 287 289 290 292 297 298 301 306 307 308 318 322 323 a 3 4 6 7 8 11 13 17 19 20 21 24 29 31 33 34 35 39 43 45 49 53 55 59 62 71 76 80 81 85 91 92 94 96 97 99 106 111 112 113 118 124 128 130 136 138 141 144 147 149 151 157 158 161 163 164 169 172 174 175 176 178 185 187 191 193 195 201 202 207 208 221 222 223 228 235 237 239 243 244 246 249 251 255 258 266 269 273 274 277 281 282 286 287 289 290 292 297 298 301 306 307 308 318 322 323 a 3 4 6 7 8 11 13 17 19 20 21 24 29 31 33 34 35 39 43 45 49 53 55 59 62 71 75 76 80 81 85 91 92 94 96 97 99 106 111 112 113 124 128 130 136 138 141 144 147 149 151 157 158 161 163 164 169 172 174 175 176 178 185 187 191 193 195 201 202 207 208 221 222 223 228 235 237 239 243 244 246 249 251 255 258 266 269 273 274 277 281 282 286 287 289 290 292 297 298 301 306 307 308 318 322 323 a 3 4 6 7 8 11 13 17 19 20 21 24 29 31 33 34 35 39 43 45 49 53 55 59 62 71 75 76 80 81 85 91 92 94 96 97 99 106 111 112 113 124 128 130 136 138 141 144 147 149 151 157 158 161 163 164 169 172 174 175 176 180 185 187 191 193 195 201 202 207 208 221 222 223 228 235 237 239 243 244 246 249 251 255 258 266 269 273 274 277 281 282 286 287 289 290 292 297 298 301 306 307 308 318 322 323 a 3 4 6 7 8 11 13 17 19 20 21 24 29 31 33 34 35 39 42 43 45 49 53 55 59 62 71 75 76 80 81 85 91 92 94 96 97 99 106 111 112 113 124 128 130 136 138 141 144 147 149 151 157 158 161 163 164 169 172 174 175 176 180 185 187 191 193 195 201 202 207 208 221 222 223 228 235 237 239 244 246 249 251 255 258 266 269 273 274 277 281 282 286 287 289 290 292 297 298 301 306 307 308 318 322 323 a 3 4 6 7 8 11 13 17 19 20 21 24 29 31 33 34 35 39 42 43 45 49 53 55 59 62 71 75 76 80 81 85 91 92 94 96 97 99 106 111 112 113 124 128 130 131 136 138 141 144 147 149 151 157 158 161 163 164 169 174 175 176 180 185 187 191 193 195 201 202 207 208 221 222 223 228 235 237 239 244 246 249 251 255 258 266 269 273 274 277 281 282 286 287 289 290 292 297 298 301 306 307 308 318 322 323 a 3 4 6 7 8 11 13 17 19 20 21 24 29 31 33 34 35 39 42 43 45 49 53 55 59 62 71 75 76 80 81 85 92 94 96 97 99 106 111 112 113 124 128 130 131 136 138 141 144 147 149 151 157 158 161 163 164 169 174 175 176 180 185 187 191 193 195 201 202 207 208 217 221 222 223 228 235 237 239 244 246 249 251 255 258 266 269 273 274 277 281 282 286 287 289 290 292 297 298 301 306 307 308 318 322 323 a 4 6 7 8 11 13 17 19 20 21 24 29 31 33 34 35 39 42 43 45 49 53 55 59 62 63 71 75 76 80 81 85 92 94 96 97 99 106 111 112 113 124 128 130 131 136 138 141 144 147 149 151 157 158 161 163 164 169 174 175 176 180 185 187 191 193 195 201 202 207 208 217 221 222 223 228 235 237 239 244 246 249 251 255 258 266 269 273 274 277 281 282 286 287 289 290 292 297 298 301 306 307 308 318 322 323 a 4 6 7 8 11 13 17 19 20 21 23 24 29 31 33 34 35 39 42 43 45 49 53 55 59 62 63 71 75 76 80 81 85 92 94 97 99 106 111 112 113 124 128 130 131 136 138 141 144 147 149 151 157 158 161 163 164 169 174 175 176 180 185 187 191 193 195 201 202 207 208 217 221 222 223 228 235 237 239 244 246 249 251 255 258 266 269 273 274 277 281 282 286 287 289 290 292 297 298 301 306 307 308 318 322 323 a 4 6 7 8 11 13 17 19 20 21 23 24 29 31 33 34 35 39 42 43 45 49 53 55 59 62 63 71 75 76 80 81 85 92 94 97 99 106 111 112 113 121 124 128 130 131 136 138 141 144 147 149 151 157 158 161 163 164 169 174 175 176 180 185 187 191 193 195 201 202 207 208 217 221 222 223 228 235 237 239 244 246 249 251 255 258 266 269 273 274 277 281 282 286 289 290 292 297 298 301 306 307 308 318 322 323 a 4 6 7 8 11 13 17 19 20 21 23 24 29 31 33 34 35 39 42 43 45 49 53 55 59 62 63 71 75 76 80 81 85 92 94 97 99 106 111 112 113 121 124 128 130 131 136 138 141 144 147 149 151 157 158 161 163 164 169 174 175 176 180 185 187 191 193 195 201 202 207 208 217 221 222 228 235 237 239 244 246 249 251 255 258 266 269 273 274 276 277 281 282 286 289 290 292 297 298 301 306 307 308 318 322 323 a 4 6 7 11 13 17 19 20 21 23 24 29 31 33 34 35 39 42 43 45 49 53 55 59 62 63 71 75 76 80 81 85 92 94 97 99 106 111 112 113 121 124 128 130 131 136 138 141 144 147 149 151 157 158 161 163 164 169 174 175 176 180 185 187 191 193 195 201 202 207 208 217 221 222 228 235 237 239 244 246 249 251 255 258 266 269 273 274 276 277 279 281 282 286 289 290 292 297 298 301 306 307 308 318 322 323 a 4 6 7 11 13 17 19 20 21 23 24 29 31 33 34 35 39 42 43 45 49 53 55 59 62 63 71 75 76 80 81 85 92 94 97 99 106 111 112 113 121 124 128 130 131 135 136 138 141 144 147 149 151 157 158 161 163 164 169 174 175 176 180 185 187 191 193 195 201 202 207 208 217 221 222 228 235 237 239 244 246 249 251 255 258 266 269 273 274 276 277 279 281 282 286 289 290 292 298 301 306 307 308 318 322 323 a 4 6 7 11 13 17 19 20 21 23 24 29 31 33 34 35 39 42 43 45 49 53 55 59 62 63 71 75 76 80 81 85 92 94 97 99 106 111 112 113 121 124 128 130 131 135 136 138 141 144 147 149 151 157 158 161 163 164 169 174 175 176 180 185 187 191 193 195 201 202 207 208 214 217 221 222 228 235 239 244 246 249 251 255 258 266 269 273 274 276 277 279 281 282 286 289 290 292 298 301 306 307 308 318 322 323 a 4 6 7 11 13 17 19 20 21 23 24 29 31 33 34 35 39 42 43 45 49 53 55 59 62 63 71 75 76 80 81 85 92 94 97 99 111 112 113 121 124 128 130 131 135 136 138 140 141 144 147 149 151 157 158 161 163 164 169 174 175 176 180 185 187 191 193 195 201 202 207 208 214 217 221 222 228 235 239 244 246 249 251 255 258 266 269 273 274 276 277 279 281 282 286 289 290 292 298 301 306 307 308 318 322 323 a 4 6 7 11 13 17 19 20 21 23 24 29 31 33 34 35 39 42 43 45 49 53 55 59 62 63 67 71 75 76 80 81 85 92 94 97 99 111 112 113 121 124 128 130 131 135 136 138 140 141 144 147 149 151 157 158 161 163 164 169 174 175 176 180 185 187 191 193 195 201 202 207 208 214 217 221 222 228 235 239 244 246 249 251 255 258 266 269 273 274 276 279 281 282 286 289 290 292 298 301 306 307 308 318 322 323 a 4 6 7 11 13 17 19 20 21 23 24 29 31 33 34 35 39 42 43 45 47 49 53 55 59 62 63 67 71 75 76 80 81 85 92 94 97 99 111 112 113 121 124 128 130 131 135 136 138 140 141 144 147 149 151 157 158 161 163 164 169 175 176 180 185 187 191 193 195 201 202 207 208 214 217 221 222 228 235 239 244 246 249 251 255 258 266 269 273 274 276 279 281 282 286 289 290 292 298 301 306 307 308 318 322 323 a 4 6 7 11 13 17 19 20 21 23 24 29 31 33 34 35 39 42 43 45 47 49 53 55 59 62 63 67 71 75 76 80 81 85 92 94 97 99 111 112 113 121 124 128 130 131 135 136 138 140 141 144 147 149 151 157 158 161 163 164 169 175 176 180 185 187 191 193 195 201 202 207 208 214 217 221 222 228 235 239 244 246 249 251 255 258 261 266 269 273 274 276 279 281 282 286 289 290 292 298 301 306 307 308 318 322 a 4 6 7 11 13 17 19 20 21 23 24 29 31 33 34 35 39 42 43 45 47 49 53 55 59 62 63 67 71 75 76 80 81 85 92 94 97 99 111 112 113 121 124 128 130 131 135 136 138 140 141 144 147 149 151 157 158 161 163 164 169 175 176 180 185 187 191 193 195 201 207 208 214 217 221 222 228 235 239 244 246 249 251 255 257 258 261 266 269 273 274 276 279 281 282 286 289 290 292 298 301 306 307 308 318 322 a 4 6 7 11 13 17 19 20 21 23 24 29 31 33 34 35 39 42 43 45 47 49 53 55 59 62 63 67 71 75 76 80 81 85 94 97 99 111 112 113 121 124 128 130 131 135 136 138 140 141 144 147 149 151 157 158 161 163 164 169 175 176 180 185 187 191 193 195 201 207 208 214 217 221 222 228 235 239 244 246 249 251 255 257 258 261 266 269 273 274 276 279 281 282 286 289 290 292 298 301 306 307 308 313 318 322 a 4 6 7 11 13 17 19 20 21 23 24 29 31 33 34 35 39 42 43 45 47 49 53 55 59 62 63 67 71 75 76 80 81 85 94 97 99 111 112 113 121 124 128 130 131 135 136 138 140 141 144 147 149 151 157 158 161 163 164 169 175 176 180 185 187 191 193 195 201 207 208 214 217 221 222 228 235 239 244 246 247 249 251 255 257 258 261 266 269 273 274 276 279 281 282 286 289 290 292 298 306 307 308 313 318 322 a 4 6 7 11 13 17 19 20 21 23 24 29 31 33 34 35 39 42 43 45 47 49 53 55 59 62 63 67 68 71 75 76 80 81 85 94 97 99 111 112 113 121 124 128 130 131 135 136 138 140 141 144 147 149 151 157 158 161 163 164 169 175 176 180 185 187 191 193 195 201 207 208 214 217 221 222 228 235 239 244 246 247 249 251 255 257 258 261 266 269 273 274 276 279 281 282 286 290 292 298 306 307 308 313 318 322 a 4 6 7 11 13 17 19 20 21 23 24 25 29 31 33 34 35 39 42 43 45 47 49 53 55 59 62 63 67 68 71 75 76 80 81 85 94 97 99 111 112 113 121 124 128 130 131 135 136 138 140 141 144 147 149 151 157 158 161 163 164 169 175 176 180 185 187 191 193 195 201 207 208 214 217 221 222 228 235 239 244 246 247 251 255 257 258 261 266 269 273 274 276 279 281 282 286 290 292 298 306 307 308 313 318 322 a 4 6 7 11 13 17 19 20 21 23 24 25 29 31 33 34 35 39 42 43 45 47 49 53 55 59 62 63 67 68 71 75 76 80 81 85 94 97 99 111 112 113 121 124 128 130 131 135 136 138 140 141 144 147 149 151 157 158 161 163 164 169 175 177 180 185 187 191 193 195 201 207 208 214 217 221 222 228 235 239 244 246 247 251 255 257 258 261 266 269 273 274 276 279 281 282 286 290 292 298 306 307 308 313 318 322 a 4 6 7 11 13 17 19 20 21 23 24 25 29 31 33 34 35 39 42 43 45 47 49 53 55 59 62 63 67 68 71 75 76 80 81 85 94 97 99 111 112 113 121 124 128 130 131 135 136 138 140 141 144 147 149 151 157 158 161 163 164 169 175 177 180 185 187 191 193 195 201 207 208 214 217 221 222 228 235 239 244 246 247 251 255 257 258 261 266 269 273 274 276 279 281 282 286 290 292 306 307 308 309 313 318 322 a 4 6 7 11 13 17 19 20 21 23 24 25 29 31 33 34 39 42 43 45 47 49 53 55 59 62 63 67 68 71 75 76 80 81 85 94 97 99 111 112 113 121 124 128 130 131 135 136 138 140 141 144 147 149 151 154 157 158 161 163 164 169 175 177 180 185 187 191 193 195 201 207 208 214 217 221 222 228 235 239 244 246 247 251 255 257 258 261 266 269 273 274 276 279 281 282 286 290 292 306 307 308 309 313 318 322 a 4 6 7 11 13 17 19 20 21 23 24 25 29 31 33 34 39 42 43 45 47 49 53 55 59 62 63 67 68 71 75 76 80 81 85 94 97 99 111 112 113 121 124 128 130 131 135 136 138 140 141 144 147 149 151 152 154 157 158 161 163 164 169 177 180 185 187 191 193 195 201 207 208 214 217 221 222 228 235 239 244 246 247 251 255 257 258 261 266 269 273 274 276 279 281 282 286 290 292 306 307 308 309 313 318 322 a 4 6 7 11 13 17 19 20 21 23 24 25 29 31 33 34 39 42 43 45 47 49 53 55 56 59 62 63 67 68 75 76 80 81 85 94 97 99 111 112 113 121 124 128 130 131 135 136 138 140 141 144 147 149 151 152 154 157 158 161 163 164 169 177 180 185 187 191 193 195 201 207 208 214 217 221 222 228 235 239 244 246 247 251 255 257 258 261 266 269 273 274 276 279 281 282 286 290 292 306 307 308 309 313 318 322 a 4 6 7 11 13 17 19 20 21 23 24 25 29 31 33 34 39 42 43 45 47 49 53 55 56 59 62 63 67 68 75 76 80 81 85 94 97 99 101 111 112 113 121 124 128 130 131 135 136 138 140 141 144 147 149 152 154 157 158 161 163 164 169 177 180 185 187 191 193 195 201 207 208 214 217 221 222 228 235 239 244 246 247 251 255 257 258 261 266 269 273 274 276 279 281 282 286 290 292 306 307 308 309 313 318 322 a 4 6 7 11 13 17 19 20 21 23 24 25 29 31 33 34 39 42 43 45 47 49 53 55 56 59 60 62 63 67 68 75 76 80 81 85 94 97 99 101 111 112 113 121 124 128 130 131 135 136 138 140 141 144 147 149 152 154 157 158 161 163 164 169 177 180 185 187 191 193 195 201 207 208 214 217 221 222 228 235 239 244 246 247 251 255 257 258 261 266 269 273 274 276 279 281 282 286 290 292 307 308 309 313 318 322 a 4 6 7 11 13 17 19 20 21 23 24 25 29 31 33 34 39 42 43 45 47 49 53 55 56 59 60 62 63 67 68 75 76 80 81 85 94 97 99 101 111 112 113 121 124 128 131 135 136 138 140 141 144 147 149 152 154 157 158 161 163 164 169 177 180 182 185 187 191 193 195 201 207 208 214 217 221 222 228 235 239 244 246 247 251 255 257 258 261 266 269 273 274 276 279 281 282 286 290 292 307 308 309 313 318 322 a 4 6 7 11 13 17 19 20 21 23 24 25 29 31 33 34 39 42 43 45 47 49 53 55 56 59 60 62 63 67 68 75 76 80 81 85 94 97 99 101 111 112 113 121 124 128 131 135 136 138 140 141 144 147 149 152 154 157 161 163 164 169 177 180 182 185 187 191 193 195 201 207 208 214 217 221 222 228 235 239 244 246 247 251 255 257 258 261 266 269 272 273 274 276 279 281 282 286 290 292 307 308 309 313 318 322 a 4 6 7 11 13 17 19 20 21 23 24 25 29 31 33 34 39 42 43 45 47 49 53 55 56 59 60 62 63 67 68 75 76 81 85 94 97 99 101 111 112 113 114 121 124 128 131 135 136 138 140 141 144 147 149 152 154 157 161 163 164 169 177 180 182 185 187 191 193 195 201 207 208 214 217 221 222 228 235 239 244 246 247 251 255 257 258 261 266 269 272 273 274 276 279 281 282 286 290 292 307 308 309 313 318 322 a 4 6 7 11 13 17 19 20 23 24 25 29 31 33 34 39 42 43 45 47 49 53 55 56 59 60 62 63 67 68 75 76 81 85 94 97 99 101 108 111 112 113 114 121 124 128 131 135 136 138 140 141 144 147 149 152 154 157 161 163 164 169 177 180 182 185 187 191 193 195 201 207 208 214 217 221 222 228 235 239 244 246 247 251 255 257 258 261 266 269 272 273 274 276 279 281 282 286 290 292 307 308 309 313 318 322 a 4 6 7 11 13 14 17 19 20 23 24 25 29 31 33 34 39 42 43 45 47 49 53 55 56 59 60 62 63 67 68 75 76 81 85 94 97 99 101 108 111 112 113 114 121 124 131 135 136 138 140 141 144 147 149 152 154 157 161 163 164 169 177 180 182 185 187 191 193 195 201 207 208 214 217 221 222 228 235 239 244 246 247 251 255 257 258 261 266 269 272 273 274 276 279 281 282 286 290 292 307 308 309 313 318 322 a 4 6 7 11 13 14 17 19 20 23 24 25 29 31 33 34 39 42 43 45 47 49 53 55 56 59 60 62 63 67 68 75 76 81 85 94 97 99 101 108 111 112 113 114 121 124 131 135 136 138 140 141 144 147 149 152 154 157 161 163 164 169 177 180 182 185 187 191 193 195 201 207 208 214 217 221 222 235 236 239 244 246 247 251 255 257 258 261 266 269 272 273 274 276 279 281 282 286 290 292 307 308 309 313 318 322 a 6 7 11 13 14 17 19 20 23 24 25 29 31 33 34 39 42 43 45 47 49 53 55 56 59 60 62 63 67 68 75 76 81 85 94 97 99 101 108 111 112 113 114 121 124 131 135 136 138 140 141 144 147 149 152 154 157 161 163 164 169 173 177 180 182 185 187 191 193 195 201 207 208 214 217 221 222 235 236 239 244 246 247 251 255 257 258 261 266 269 272 273 274 276 279 281 282 286 290 292 307 308 309 313 318 322 a 6 7 11 13 14 17 19 20 23 24 25 29 31 33 34 39 42 43 45 47 49 53 55 56 59 60 62 63 67 68 75 76 81 85 94 97 99 101 108 111 112 113 114 121 124 131 135 136 138 140 141 142 144 147 149 152 154 157 161 163 164 169 173 177 180 182 185 187 191 193 195 207 208 214 217 221 222 235 236 239 244 246 247 251 255 257 258 261 266 269 272 273 274 276 279 281 282 286 290 292 307 308 309 313 318 322 a 6 7 11 13 14 17 19 20 23 24 25 29 31 33 34 39 42 43 45 47 49 53 55 56 59 60 62 63 67 68 75 76 81 85 94 97 99 101 108 111 112 113 114 121 124 131 135 136 138 140 141 142 144 147 149 152 153 154 157 161 163 164 169 173 177 180 182 185 187 191 193 195 207 208 214 217 221 222 235 236 239 246 247 251 255 257 258 261 266 269 272 273 274 276 279 281 282 286 290 292 307 308 309 313 318 322 a 6 7 11 13 14 17 19 20 23 24 25 29 31 33 34 39 42 43 45 47 49 53 55 56 59 60 62 63 67 68 75 76 81 85 94 97 99 101 108 111 112 113 114 121 124 131 135 136 138 140 141 142 144 147 149 152 153 154 155 157 161 163 164 169 173 177 180 182 185 187 191 195 207 208 214 217 221 222 235 236 239 246 247 251 255 257 258 261 266 269 272 273 274 276 279 281 282 286 290 292 307 308 309 313 318 322 a 6 7 11 13 14 17 19 20 23 24 25 29 31 33 34 36 39 42 43 45 47 49 53 55 56 59 60 62 63 67 68 75 76 81 85 94 97 99 101 108 111 112 113 114 121 124 131 135 136 138 140 141 142 144 147 149 152 153 154 155 157 161 163 164 169 173 177 180 182 185 187 191 195 208 214 217 221 222 235 236 239 246 247 251 255 257 258 261 266 269 272 273 274 276 279 281 282 286 290 292 307 308 309 313 318 322 a 6 7 11 13 14 17 19 20 23 24 25 29 31 33 34 36 39 42 43 45 47 49 53 55 56 59 60 62 63 67 68 75 76 81 85 94 97 99 101 108 111 112 113 114 121 124 131 135 136 140 141 142 144 147 149 152 153 154 155 157 161 163 164 169 173 177 180 182 185 187 191 195 208 214 217 221 222 227 235 236 239 246 247 251 255 257 258 261 266 269 272 273 274 276 279 281 282 286 290 292 307 308 309 313 318 322 a 6 7 11 13 14 17 19 20 23 24 25 29 31 33 34 36 39 42 43 45 47 49 53 55 56 59 60 62 63 67 68 75 76 81 85 94 97 99 101 108 111 112 113 114 121 124 131 135 136 137 140 141 142 144 147 149 152 153 154 155 157 161 163 164 169 173 177 180 182 185 187 191 195 208 214 217 221 222 227 235 236 239 246 247 251 255 257 261 266 269 272 273 274 276 279 281 282 286 290 292 307 308 309 313 318 322 a 6 7 11 13 14 17 19 20 23 24 25 29 31 33 34 36 39 42 43 45 47 49 53 55 56 59 60 62 63 67 68 75 76 81 85 94 97 99 101 108 111 112 113 114 121 124 131 135 136 137 140 141 142 144 147 149 152 153 154 155 157 161 163 164 169 173 177 180 182 185 187 191 195 208 214 217 221 222 227 235 236 239 246 247 251 255 257 261 266 269 272 274 276 279 281 282 286 290 292 307 308 309 313 318 321 322 a 6 7 11 13 14 17 19 20 23 24 25 29 33 34 36 39 42 43 45 47 49 53 55 56 59 60 62 63 67 68 75 76 81 85 88 94 97 99 101 108 111 112 113 114 121 124 131 135 136 137 140 141 142 144 147 149 152 153 154 155 157 161 163 164 169 173 177 180 182 185 187 191 195 208 214 217 221 222 227 235 236 239 246 247 251 255 257 261 266 269 272 274 276 279 281 282 286 290 292 307 308 309 313 318 321 322 a 6 7 11 13 14 17 19 20 23 24 25 29 33 36 39 42 43 44 45 47 49 53 55 56 59 60 62 63 67 68 75 76 81 85 88 94 97 99 101 108 111 112 113 114 121 124 131 135 136 137 140 141 142 144 147 149 152 153 154 155 157 161 163 164 169 173 177 180 182 185 187 191 195 208 214 217 221 222 227 235 236 239 246 247 251 255 257 261 266 269 272 274 276 279 281 282 286 290 292 307 308 309 313 318 321 322 a 6 7 11 13 14 17 19 20 23 24 25 29 33 36 39 42 43 44 45 47 49 53 55 56 59 60 62 63 67 68 75 76 81 85 88 94 97 99 101 108 111 112 113 114 121 124 131 135 136 137 140 141 142 144 147 149 152 153 154 155 157 161 163 164 169 170 173 177 180 182 185 187 191 195 208 214 217 221 222 227 235 236 246 247 251 255 257 261 266 269 272 274 276 279 281 282 286 290 292 307 308 309 313 318 321 322 a 6 7 11 13 14 17 20 23 24 25 29 33 36 39 41 42 43 44 45 47 49 53 55 56 59 60 62 63 67 68 75 76 81 85 88 94 97 99 101 108 111 112 113 114 121 124 131 135 136 137 140 141 142 144 147 149 152 153 154 155 157 161 163 164 169 170 173 177 180 182 185 187 191 195 208 214 217 221 222 227 235 236 246 247 251 255 257 261 266 269 272 274 276 279 281 282 286 290 292 307 308 309 313 318 321 322 a 6 7 11 13 14 17 20 23 24 25 29 33 36 39 41 42 43 44 45 47 49 53 55 56 59 60 62 63 67 68 75 76 81 85 88 94 97 99 101 108 111 112 113 114 121 124 129 131 135 136 137 140 141 142 144 147 149 152 153 154 155 157 161 163 164 169 170 173 177 180 182 185 187 191 208 214 217 221 222 227 235 236 246 247 251 255 257 261 266 269 272 274 276 279 281 282 286 290 292 307 308 309 313 318 321 322 a 6 7 11 13 14 17 20 23 24 25 29 33 36 39 41 42 43 44 45 47 49 53 55 56 59 60 62 63 67 68 72 75 76 81 85 88 94 97 99 101 108 111 112 113 114 121 124 129 131 135 136 137 140 141 142 144 147 149 152 153 154 155 157 161 163 164 169 170 173 177 180 182 185 187 191 208 214 217 221 222 227 235 236 246 247 251 255 257 261 266 269 272 274 276 279 282 286 290 292 307 308 309 313 318 321 322 a 6 7 13 14 17 20 23 24 25 29 33 36 39 41 42 43 44 45 47 49 53 55 56 59 60 62 63 67 68 72 75 76 81 85 88 94 97 99 101 108 111 112 113 114 121 124 129 131 135 136 137 140 141 142 144 147 149 152 153 154 155 157 161 163 164 169 170 173 177 180 182 185 187 191 208 214 217 221 222 227 235 236 246 247 251 255 257 261 266 269 272 274 276 279 282 286 290 292 304 307 308 309 313 318 321 322 a 6 7 13 14 17 20 23 24 25 29 33 36 39 41 42 43 44 45 47 49 53 55 56 59 60 62 63 67 68 72 75 76 81 85 87 88 94 97 99 101 108 111 112 113 114 121 124 129 131 135 136 137 140 141 142 144 147 149 152 153 154 155 157 161 163 164 169 170 173 177 180 182 185 187 191 208 214 217 221 222 227 235 236 246 247 251 255 257 261 269 272 274 276 279 282 286 290 292 304 307 308 309 313 318 321 322 a 6 7 13 14 17 20 23 24 25 27 29 33 36 39 41 42 43 44 45 47 49 53 55 56 59 60 62 63 67 68 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 129 131 135 136 137 140 141 142 144 147 149 152 153 154 155 157 161 163 164 169 170 173 177 180 182 185 187 191 208 214 217 221 222 227 235 236 246 247 251 255 257 261 269 272 274 276 279 282 286 290 292 304 307 308 309 313 318 321 322 a 1 6 7 13 14 17 20 23 24 25 27 29 33 36 41 42 43 44 45 47 49 53 55 56 59 60 62 63 67 68 72 75 76 81 85 87 88 94 99 101 108 111 112 113 114 121 124 129 131 135 136 137 140 141 142 144 147 149 152 153 154 155 157 161 163 164 169 170 173 177 180 182 185 187 191 208 214 217 221 222 227 235 236 246 247 251 255 257 261 269 272 274 276 279 282 286 290 292 304 307 308 309 313 318 321 322 c Step: 71 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance025_graph001.col /benchmark/random_instance/random_instance025_graph001_01.dat" User time (seconds): 2.48 System time (seconds): 0.11 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:02.60 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): 99336 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 108475 Voluntary context switches: 17 Involuntary context switches: 10 Swaps: 0 File system inputs: 0 File system outputs: 400 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 03:08:52 2023]