#BEGIN: [Mon Sep 4 12:43:20 2023] #HOST: s12 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance026_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance026_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/random_instance/random_instance026_graph002.col /benchmark/random_instance/random_instance026_graph002_01.dat c /benchmark/random_instance/random_instance026_graph002.col c /benchmark/random_instance/random_instance026_graph002_01.dat s 193 254 333 280 135 164 24 248 60 298 208 299 336 244 163 286 77 23 160 241 168 215 205 50 55 318 176 266 149 251 113 61 274 199 322 272 142 221 143 326 267 87 271 13 335 228 154 110 227 66 277 117 288 16 179 204 304 2 178 97 82 140 11 181 186 104 219 217 332 211 8 265 281 297 52 134 291 338 124 232 182 157 150 319 294 58 53 194 209 305 302 195 321 287 72 130 237 126 307 133 273 118 220 112 127 315 317 22 309 t 228 129 322 51 91 140 36 181 85 141 111 306 158 260 121 87 164 166 62 127 109 330 224 107 310 229 219 89 46 332 279 61 261 31 180 318 187 115 263 60 149 182 291 248 184 157 298 142 43 252 125 304 77 35 116 218 289 337 179 325 227 274 237 277 321 202 272 82 247 296 255 79 8 275 113 50 198 94 144 305 7 220 117 297 81 197 28 265 171 236 133 193 137 195 153 45 302 307 41 206 112 143 23 58 118 56 186 300 259 a YES a 2 8 11 13 16 22 23 24 50 52 53 55 58 60 61 66 72 77 82 87 97 104 110 112 113 117 118 124 126 127 130 133 134 135 140 142 143 149 150 154 157 160 163 164 168 176 178 179 181 182 186 193 194 195 199 204 205 208 209 211 215 217 219 220 221 227 228 232 237 241 244 248 251 254 265 266 267 271 272 273 274 277 280 281 286 287 288 291 294 297 298 299 302 304 305 307 309 315 317 318 319 321 322 326 332 333 335 336 338 a 2 8 11 13 16 22 23 24 35 50 52 53 55 58 60 61 66 72 77 82 87 97 104 110 112 113 117 118 124 126 127 130 133 134 135 140 142 143 149 150 154 157 160 163 164 168 176 178 179 181 182 186 193 194 195 199 204 205 208 209 211 215 217 219 220 221 227 228 232 237 241 244 248 251 254 265 266 267 271 272 273 274 277 280 281 286 287 288 291 294 297 298 299 302 304 305 307 309 315 317 318 319 321 322 326 332 333 336 338 a 2 8 11 13 16 22 23 24 35 50 52 53 55 58 60 61 66 72 77 79 82 87 97 104 110 112 113 117 118 124 126 127 130 133 134 135 140 142 143 149 150 154 157 160 163 164 168 176 178 179 181 182 186 193 194 195 199 204 205 208 211 215 217 219 220 221 227 228 232 237 241 244 248 251 254 265 266 267 271 272 273 274 277 280 281 286 287 288 291 294 297 298 299 302 304 305 307 309 315 317 318 319 321 322 326 332 333 336 338 a 2 8 11 13 16 22 23 24 35 43 50 52 53 55 58 60 61 66 72 77 79 82 87 97 104 110 112 113 117 118 124 126 127 130 133 134 135 140 142 143 149 150 154 157 160 163 164 168 176 178 179 181 182 186 193 194 195 199 204 205 208 211 215 217 219 220 221 227 228 232 237 241 244 248 251 254 265 266 267 271 272 273 274 277 280 281 286 287 288 291 294 297 298 299 302 304 305 307 309 315 317 318 319 321 322 326 332 333 338 a 2 8 11 13 16 22 23 24 31 35 43 50 52 53 55 58 60 61 72 77 79 82 87 97 104 110 112 113 117 118 124 126 127 130 133 134 135 140 142 143 149 150 154 157 160 163 164 168 176 178 179 181 182 186 193 194 195 199 204 205 208 211 215 217 219 220 221 227 228 232 237 241 244 248 251 254 265 266 267 271 272 273 274 277 280 281 286 287 288 291 294 297 298 299 302 304 305 307 309 315 317 318 319 321 322 326 332 333 338 a 2 8 11 13 16 22 23 24 31 35 43 50 52 53 55 58 60 61 72 77 79 82 87 97 104 110 112 113 117 118 124 126 127 130 133 134 135 140 142 143 149 150 154 157 160 163 164 168 176 178 179 181 182 186 193 194 195 199 204 205 208 211 215 217 219 220 221 227 228 232 237 241 244 248 251 254 265 266 267 271 272 273 274 277 280 281 286 287 288 291 294 297 298 302 304 305 307 309 315 317 318 319 321 322 325 326 332 333 338 a 2 8 11 13 16 22 23 24 31 35 43 50 52 53 55 58 60 61 72 77 79 82 87 97 104 110 112 113 117 118 124 126 127 130 133 134 140 142 143 149 150 154 157 160 163 164 168 176 178 179 181 182 186 187 193 194 195 199 204 205 208 211 215 217 219 220 221 227 228 232 237 241 244 248 251 254 265 266 267 271 272 273 274 277 280 281 286 287 288 291 294 297 298 302 304 305 307 309 315 317 318 319 321 322 325 326 332 333 338 a 2 8 11 13 16 22 23 24 31 35 43 50 52 53 55 58 60 61 72 77 79 82 87 97 104 110 112 113 117 118 124 126 127 130 133 134 140 142 143 149 150 154 157 160 163 164 166 168 176 178 179 181 182 186 187 193 194 195 199 204 205 208 211 215 217 219 220 221 227 228 232 237 241 244 248 251 254 265 266 271 272 273 274 277 280 281 286 287 288 291 294 297 298 302 304 305 307 309 315 317 318 319 321 322 325 326 332 333 338 a 2 8 11 13 16 22 23 24 31 35 43 50 52 53 55 58 60 61 72 77 79 82 87 97 104 110 112 113 117 118 124 126 127 130 133 134 140 142 143 149 150 154 157 160 163 164 166 168 176 178 179 181 182 186 187 193 194 195 199 204 205 211 215 217 219 220 221 227 228 232 237 241 244 248 251 254 260 265 266 271 272 273 274 277 280 281 286 287 288 291 294 297 298 302 304 305 307 309 315 317 318 319 321 322 325 326 332 333 338 a 2 8 11 13 16 22 23 24 31 35 43 50 52 53 55 58 60 61 72 77 79 82 87 97 104 110 112 113 117 118 124 126 127 130 133 134 140 142 143 149 150 154 157 160 163 164 166 168 176 178 179 181 182 186 187 193 194 195 199 204 205 211 215 217 219 220 221 227 228 232 237 241 244 248 251 254 260 263 265 266 271 272 273 274 277 280 281 286 287 288 291 294 297 298 302 304 305 307 309 315 317 318 319 321 322 325 326 332 338 a 2 8 11 13 16 22 23 24 31 35 43 50 52 53 55 58 60 61 72 77 79 82 87 97 104 110 112 113 117 118 124 126 127 130 133 134 140 142 143 149 150 154 157 160 163 164 166 168 176 178 179 181 182 186 187 193 194 195 199 204 205 211 215 217 219 220 221 227 228 232 237 241 244 248 251 254 260 263 265 266 271 272 273 274 277 280 281 286 287 291 294 297 298 302 304 305 307 309 315 317 318 319 321 322 325 326 330 332 338 a 2 8 11 13 16 22 23 24 31 35 41 43 50 52 53 55 58 60 61 72 77 79 82 87 97 104 110 112 113 117 118 124 126 127 130 133 134 140 142 143 149 150 154 157 160 163 164 166 168 176 178 179 181 182 186 187 193 194 195 199 204 205 211 215 217 219 220 221 227 228 232 237 241 244 248 251 254 260 263 265 266 271 272 273 274 277 280 281 286 287 291 294 297 298 302 304 305 307 309 315 317 318 319 321 322 325 326 330 332 a 2 8 11 13 16 22 23 24 31 35 41 43 50 52 53 55 58 60 61 72 77 79 82 87 97 104 110 112 113 117 118 124 126 127 130 133 134 140 142 143 149 150 154 157 160 163 164 166 168 176 178 179 181 182 186 187 193 194 195 199 204 205 211 215 217 219 220 221 227 228 232 237 241 244 248 251 254 260 263 265 266 271 272 273 274 275 277 280 281 286 287 291 294 297 298 302 304 305 307 309 315 317 318 319 321 322 325 330 332 a 2 8 11 13 16 22 23 24 31 35 41 43 50 52 53 55 58 60 61 72 77 79 82 87 97 110 112 113 117 118 124 126 127 130 133 134 140 142 143 149 150 154 157 160 163 164 166 168 176 178 179 181 182 186 187 193 194 195 199 204 205 211 215 217 219 220 221 227 228 229 232 237 241 244 248 251 254 260 263 265 266 271 272 273 274 275 277 280 281 286 287 291 294 297 298 302 304 305 307 309 315 317 318 319 321 322 325 330 332 a 2 8 11 13 16 22 23 24 31 35 41 43 50 52 53 55 56 58 60 61 72 77 79 82 87 97 110 112 113 117 118 124 126 127 130 133 134 140 142 143 149 150 154 157 160 163 164 166 168 176 178 179 181 182 186 187 193 194 195 199 204 205 211 215 217 219 220 221 227 228 229 232 237 241 244 248 251 254 260 263 265 271 272 273 274 275 277 280 281 286 287 291 294 297 298 302 304 305 307 309 315 317 318 319 321 322 325 330 332 a 2 8 11 13 16 22 23 24 31 35 41 43 50 52 53 55 56 58 60 61 72 77 79 82 87 97 110 112 113 117 118 124 126 127 130 133 134 140 142 143 149 150 154 157 160 163 164 166 168 176 178 179 181 182 186 187 193 194 195 197 199 204 205 211 215 217 219 220 221 227 228 229 232 237 241 244 248 251 254 260 263 265 271 272 273 274 275 277 280 281 286 291 294 297 298 302 304 305 307 309 315 317 318 319 321 322 325 330 332 a 2 7 8 11 13 16 22 23 24 31 35 41 43 50 52 53 55 56 58 60 61 72 77 79 82 87 97 110 112 113 117 118 124 126 127 130 133 134 140 142 143 149 150 154 157 160 163 164 166 168 176 178 179 181 182 186 187 193 194 195 197 199 204 211 215 217 219 220 221 227 228 229 232 237 241 244 248 251 254 260 263 265 271 272 273 274 275 277 280 281 286 291 294 297 298 302 304 305 307 309 315 317 318 319 321 322 325 330 332 a 2 7 8 11 13 16 22 23 24 31 35 41 43 50 52 53 55 56 58 60 61 72 77 79 82 87 97 110 112 113 117 118 124 126 127 130 133 134 140 142 143 149 150 154 157 160 163 164 166 168 178 179 181 182 186 187 193 194 195 197 199 204 211 215 217 219 220 221 227 228 229 232 237 241 244 248 251 254 260 263 265 271 272 273 274 275 277 280 281 286 291 294 296 297 298 302 304 305 307 309 315 317 318 319 321 322 325 330 332 a 2 7 8 11 13 22 23 24 31 35 41 43 50 52 53 55 56 58 60 61 72 77 79 82 87 94 97 110 112 113 117 118 124 126 127 130 133 134 140 142 143 149 150 154 157 160 163 164 166 168 178 179 181 182 186 187 193 194 195 197 199 204 211 215 217 219 220 221 227 228 229 232 237 241 244 248 251 254 260 263 265 271 272 273 274 275 277 280 281 286 291 294 296 297 298 302 304 305 307 309 315 317 318 319 321 322 325 330 332 a 2 7 8 11 13 22 23 24 31 35 41 43 50 52 53 55 56 58 60 61 72 77 79 82 87 94 97 110 112 113 117 118 124 126 127 130 133 134 140 142 143 149 150 154 157 160 163 164 166 168 178 179 181 182 186 187 193 194 195 197 199 204 211 215 217 219 220 221 227 228 229 232 237 241 244 248 251 254 260 263 265 271 272 273 274 275 277 280 281 286 291 294 296 297 298 302 304 305 307 309 310 315 317 318 321 322 325 330 332 a 2 7 8 13 22 23 24 31 35 41 43 46 50 52 53 55 56 58 60 61 72 77 79 82 87 94 97 110 112 113 117 118 124 126 127 130 133 134 140 142 143 149 150 154 157 160 163 164 166 168 178 179 181 182 186 187 193 194 195 197 199 204 211 215 217 219 220 221 227 228 229 232 237 241 244 248 251 254 260 263 265 271 272 273 274 275 277 280 281 286 291 294 296 297 298 302 304 305 307 309 310 315 317 318 321 322 325 330 332 a 2 7 8 13 22 23 24 31 35 41 43 46 50 52 53 55 56 58 60 61 72 77 79 82 87 94 97 107 110 112 113 117 118 124 127 130 133 134 140 142 143 149 150 154 157 160 163 164 166 168 178 179 181 182 186 187 193 194 195 197 199 204 211 215 217 219 220 221 227 228 229 232 237 241 244 248 251 254 260 263 265 271 272 273 274 275 277 280 281 286 291 294 296 297 298 302 304 305 307 309 310 315 317 318 321 322 325 330 332 a 2 7 8 13 22 23 24 31 35 41 43 46 50 52 55 56 58 60 61 72 77 79 82 87 91 94 97 107 110 112 113 117 118 124 127 130 133 134 140 142 143 149 150 154 157 160 163 164 166 168 178 179 181 182 186 187 193 194 195 197 199 204 211 215 217 219 220 221 227 228 229 232 237 241 244 248 251 254 260 263 265 271 272 273 274 275 277 280 281 286 291 294 296 297 298 302 304 305 307 309 310 315 317 318 321 322 325 330 332 a 2 7 8 13 22 23 24 31 35 41 43 46 50 52 55 56 58 60 61 72 77 79 82 87 91 94 97 107 110 112 113 117 118 124 127 130 133 134 140 142 143 149 150 154 157 160 163 164 166 168 178 179 181 182 186 187 193 194 195 197 199 204 211 215 217 219 220 221 227 228 229 232 237 241 244 248 251 254 260 263 265 271 272 273 274 275 277 281 286 289 291 294 296 297 298 302 304 305 307 309 310 315 317 318 321 322 325 330 332 a 2 7 8 13 23 24 31 35 41 43 46 50 52 55 56 58 60 61 72 77 79 82 87 91 94 97 107 110 112 113 117 118 124 127 130 133 134 140 142 143 149 150 153 154 157 160 163 164 166 168 178 179 181 182 186 187 193 194 195 197 199 204 211 215 217 219 220 221 227 228 229 232 237 241 244 248 251 254 260 263 265 271 272 273 274 275 277 281 286 289 291 294 296 297 298 302 304 305 307 309 310 315 317 318 321 322 325 330 332 a 2 7 8 13 23 24 31 35 41 43 46 50 52 55 56 58 60 61 62 72 77 79 82 87 91 94 97 107 110 112 113 117 118 124 127 130 133 134 140 142 143 149 150 153 154 157 160 163 164 166 168 178 179 181 182 186 187 193 194 195 197 199 204 211 215 217 219 220 221 227 228 229 232 237 241 244 248 251 254 260 263 265 271 272 273 274 275 277 281 286 289 291 294 296 297 298 302 304 305 307 310 315 317 318 321 322 325 330 332 a 2 7 8 13 23 24 31 35 41 43 46 50 52 55 56 58 60 61 62 72 77 79 82 87 91 94 97 107 110 112 113 117 118 124 127 130 133 134 140 142 143 149 150 153 154 157 163 164 166 168 178 179 181 182 186 187 193 194 195 197 199 204 211 215 217 218 219 220 221 227 228 229 232 237 241 244 248 251 254 260 263 265 271 272 273 274 275 277 281 286 289 291 294 296 297 298 302 304 305 307 310 315 317 318 321 322 325 330 332 a 2 7 8 13 23 24 31 35 41 43 46 50 52 55 56 58 60 61 62 72 77 79 82 87 91 94 97 107 110 112 113 117 118 124 127 130 133 134 140 142 143 149 150 153 154 157 163 164 166 168 178 179 181 182 186 187 193 194 195 197 199 204 211 215 217 218 219 220 221 227 228 229 232 237 241 244 247 248 251 254 260 263 265 271 272 274 275 277 281 286 289 291 294 296 297 298 302 304 305 307 310 315 317 318 321 322 325 330 332 a 2 7 8 13 23 24 31 35 41 43 46 50 52 55 56 58 60 61 62 72 77 79 82 87 91 94 97 107 110 112 113 115 117 118 124 127 130 133 134 140 142 143 149 150 153 154 157 163 164 166 168 178 179 181 182 186 187 193 194 195 197 199 204 211 215 217 218 219 220 221 227 228 229 232 237 241 244 247 248 251 254 260 263 265 271 272 274 275 277 281 286 289 291 294 296 297 298 302 304 305 307 310 317 318 321 322 325 330 332 a 2 7 8 13 23 24 31 35 41 43 46 50 52 55 56 58 60 61 62 72 77 79 82 87 91 94 97 107 110 112 113 115 117 118 124 127 130 133 134 140 142 143 149 150 153 154 157 163 164 166 168 178 179 181 182 186 187 193 194 195 197 199 204 211 215 217 218 219 220 221 227 228 229 232 237 241 244 247 248 251 254 260 263 265 271 272 274 275 277 281 286 289 291 296 297 298 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 13 23 24 31 35 41 43 46 50 51 52 55 56 58 60 61 62 72 77 79 82 87 91 94 97 107 110 112 113 115 117 118 124 127 130 133 134 140 142 143 149 150 153 154 157 163 164 166 168 178 179 181 182 186 187 193 194 195 197 199 204 211 217 218 219 220 221 227 228 229 232 237 241 244 247 248 251 254 260 263 265 271 272 274 275 277 281 286 289 291 296 297 298 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 13 23 24 31 35 41 43 46 50 51 52 55 56 58 60 61 62 72 77 79 82 87 91 94 97 107 110 111 112 113 115 117 118 124 127 130 133 134 140 142 143 149 150 153 154 157 163 164 166 168 178 179 181 182 186 187 193 194 195 197 199 204 211 217 218 219 220 221 227 228 229 232 237 241 244 247 248 254 260 263 265 271 272 274 275 277 281 286 289 291 296 297 298 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 13 23 24 31 35 41 43 46 50 51 52 55 56 58 60 61 62 72 77 79 82 87 89 91 94 97 107 110 111 112 113 115 117 118 124 127 130 133 134 140 142 143 149 150 153 157 163 164 166 168 178 179 181 182 186 187 193 194 195 197 199 204 211 217 218 219 220 221 227 228 229 232 237 241 244 247 248 254 260 263 265 271 272 274 275 277 281 286 289 291 296 297 298 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 13 23 24 31 35 41 43 45 46 50 51 52 55 56 58 60 61 62 72 77 79 82 87 89 91 94 97 107 110 111 112 113 115 117 118 124 127 130 133 134 140 142 143 149 150 153 157 163 164 166 168 178 179 181 182 186 187 193 194 195 197 199 204 211 217 218 219 220 221 227 228 229 232 237 241 247 248 254 260 263 265 271 272 274 275 277 281 286 289 291 296 297 298 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 13 23 24 31 35 41 43 45 46 50 51 52 55 56 58 60 61 62 72 77 79 82 87 89 91 94 97 107 110 111 112 113 115 117 118 124 127 130 133 134 140 142 143 149 150 153 157 163 164 166 168 178 179 181 182 186 187 193 194 195 197 199 211 217 218 219 220 221 227 228 229 232 237 241 247 248 252 254 260 263 265 271 272 274 275 277 281 286 289 291 296 297 298 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 13 23 24 31 35 41 43 45 46 50 51 52 55 56 58 60 61 62 72 77 79 82 87 89 91 94 97 107 110 111 112 113 115 117 118 124 127 130 133 134 140 142 143 149 150 153 157 163 164 166 168 178 179 181 182 186 187 193 194 195 197 199 211 217 218 219 220 221 227 228 229 232 236 237 241 247 248 252 260 263 265 271 272 274 275 277 281 286 289 291 296 297 298 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 13 23 24 31 35 41 43 45 46 50 51 52 55 56 58 60 61 62 72 77 79 82 87 89 91 94 97 107 110 111 112 113 115 117 118 124 127 130 133 134 140 142 143 149 150 153 157 163 164 166 168 179 181 182 186 187 193 194 195 197 199 211 217 218 219 220 221 227 228 229 232 236 237 241 247 248 252 260 263 265 271 272 274 275 277 281 286 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 13 23 24 31 35 41 43 45 46 50 51 52 56 58 60 61 62 72 77 79 82 87 89 91 94 97 107 110 111 112 113 115 117 118 124 127 130 133 134 140 142 143 149 150 153 157 163 164 166 168 171 179 181 182 186 187 193 194 195 197 199 211 217 218 219 220 221 227 228 229 232 236 237 241 247 248 252 260 263 265 271 272 274 275 277 281 286 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 13 23 24 31 35 41 43 45 46 50 51 52 56 58 60 61 62 72 77 79 82 87 89 91 94 97 107 110 111 112 113 115 117 118 124 127 130 133 134 140 142 143 149 150 153 157 163 164 166 168 171 179 181 182 186 187 193 194 195 197 211 217 218 219 220 221 227 228 229 232 236 237 241 247 248 252 259 260 263 265 271 272 274 275 277 281 286 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 13 23 24 31 35 41 43 45 46 50 51 52 56 58 60 61 62 72 77 79 82 87 89 91 94 97 107 110 111 112 113 115 117 118 124 127 129 130 133 134 140 142 143 149 150 153 157 163 164 166 168 171 179 181 182 186 187 193 194 195 197 211 217 218 219 220 221 227 228 229 232 236 237 247 248 252 259 260 263 265 271 272 274 275 277 281 286 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 13 23 24 31 35 41 43 45 46 50 51 52 56 58 60 61 62 72 77 79 82 87 89 91 94 107 110 111 112 113 115 117 118 124 127 129 130 133 134 140 142 143 149 150 153 157 163 164 166 168 171 179 181 182 186 187 193 194 195 197 211 217 218 219 220 221 227 228 229 232 236 237 247 248 252 259 260 263 265 271 272 274 275 277 279 281 286 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 23 24 31 35 41 43 45 46 50 51 52 56 58 60 61 62 72 77 79 82 87 89 91 94 107 110 111 112 113 115 117 118 124 127 129 130 133 134 140 142 143 149 150 153 157 163 164 166 168 171 179 180 181 182 186 187 193 194 195 197 211 217 218 219 220 221 227 228 229 232 236 237 247 248 252 259 260 263 265 271 272 274 275 277 279 281 286 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 23 24 31 35 41 43 45 46 50 51 52 56 58 60 61 62 72 77 79 82 87 89 91 94 107 110 111 112 113 115 117 118 124 127 129 130 133 140 142 143 144 149 150 153 157 163 164 166 168 171 179 180 181 182 186 187 193 194 195 197 211 217 218 219 220 221 227 228 229 232 236 237 247 248 252 259 260 263 265 271 272 274 275 277 279 281 286 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 23 24 31 35 41 43 45 46 50 51 52 56 58 60 61 62 72 77 79 82 87 89 91 94 107 110 111 112 113 115 117 118 124 127 129 130 133 140 142 143 144 149 150 153 157 163 164 166 168 171 179 180 181 182 186 187 193 194 195 197 211 217 218 219 220 221 227 228 229 232 236 237 247 248 252 259 260 261 263 265 271 272 274 275 277 279 281 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 23 24 31 35 41 43 45 46 50 51 52 56 58 60 61 62 72 77 79 82 87 89 91 94 107 110 111 112 113 115 116 117 118 124 127 129 133 140 142 143 144 149 150 153 157 163 164 166 168 171 179 180 181 182 186 187 193 194 195 197 211 217 218 219 220 221 227 228 229 232 236 237 247 248 252 259 260 261 263 265 271 272 274 275 277 279 281 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 23 24 31 35 41 43 45 46 50 51 52 56 58 60 61 62 72 77 79 82 87 89 91 94 107 110 111 112 113 115 116 117 118 124 127 129 133 140 142 143 144 149 150 153 157 163 164 166 168 171 179 180 181 182 186 187 193 194 195 197 198 217 218 219 220 221 227 228 229 232 236 237 247 248 252 259 260 261 263 265 271 272 274 275 277 279 281 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 23 24 31 35 41 43 45 46 50 51 52 56 58 60 61 62 72 77 79 82 87 89 91 94 107 110 111 112 113 115 116 117 118 124 127 129 133 140 141 142 143 144 149 150 153 157 163 164 166 168 171 179 180 181 182 186 187 193 195 197 198 217 218 219 220 221 227 228 229 232 236 237 247 248 252 259 260 261 263 265 271 272 274 275 277 279 281 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 23 24 28 31 35 41 43 45 46 50 51 52 56 58 60 61 62 72 77 79 82 87 89 91 94 107 110 111 112 113 115 116 117 118 124 127 129 133 140 141 142 143 144 149 150 153 157 163 164 166 171 179 180 181 182 186 187 193 195 197 198 217 218 219 220 221 227 228 229 232 236 237 247 248 252 259 260 261 263 265 271 272 274 275 277 279 281 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 23 24 28 31 35 36 41 43 45 46 50 51 52 56 58 60 61 62 72 77 79 82 87 89 91 94 107 110 111 112 113 115 116 117 118 124 127 129 133 140 141 142 143 144 149 150 153 157 163 164 166 171 179 180 181 182 186 187 193 195 197 198 218 219 220 221 227 228 229 232 236 237 247 248 252 259 260 261 263 265 271 272 274 275 277 279 281 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 23 24 28 31 35 36 41 43 45 46 50 51 52 56 58 60 61 62 72 77 79 82 87 89 91 94 107 110 111 112 113 115 116 117 118 121 127 129 133 140 141 142 143 144 149 150 153 157 163 164 166 171 179 180 181 182 186 187 193 195 197 198 218 219 220 221 227 228 229 232 236 237 247 248 252 259 260 261 263 265 271 272 274 275 277 279 281 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 23 24 28 31 35 36 41 43 45 46 50 51 52 56 58 60 61 62 72 77 79 82 87 89 91 94 107 110 111 112 113 115 116 117 118 121 127 129 133 137 140 141 142 143 144 149 150 153 157 164 166 171 179 180 181 182 186 187 193 195 197 198 218 219 220 221 227 228 229 232 236 237 247 248 252 259 260 261 263 265 271 272 274 275 277 279 281 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 23 24 28 31 35 36 41 43 45 46 50 51 52 56 58 60 61 62 72 77 79 82 87 89 91 94 107 110 111 112 113 115 116 117 118 121 127 129 133 137 140 141 142 143 144 149 150 153 157 164 166 171 179 180 181 182 186 187 193 195 197 198 218 219 220 221 227 228 229 232 236 237 247 248 252 255 259 260 261 263 265 271 272 274 275 277 279 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 23 24 28 31 35 36 41 43 45 46 50 51 56 58 60 61 62 72 77 79 82 87 89 91 94 107 110 111 112 113 115 116 117 118 121 125 127 129 133 137 140 141 142 143 144 149 150 153 157 164 166 171 179 180 181 182 186 187 193 195 197 198 218 219 220 221 227 228 229 232 236 237 247 248 252 255 259 260 261 263 265 271 272 274 275 277 279 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 a 2 7 8 23 24 28 31 35 36 41 43 45 46 50 51 56 58 60 61 62 77 79 82 87 89 91 94 107 110 111 112 113 115 116 117 118 121 125 127 129 133 137 140 141 142 143 144 149 150 153 157 164 166 171 179 180 181 182 186 187 193 195 197 198 218 219 220 221 227 228 229 232 236 237 247 248 252 255 259 260 261 263 265 271 272 274 275 277 279 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 337 a 2 7 8 23 24 28 31 35 36 41 43 45 46 50 51 56 58 60 61 62 77 79 82 87 89 91 94 107 110 111 112 113 115 116 117 118 121 125 127 129 133 137 140 141 142 143 144 149 150 153 157 164 166 171 179 180 181 182 184 186 187 193 195 197 198 218 219 220 227 228 229 232 236 237 247 248 252 255 259 260 261 263 265 271 272 274 275 277 279 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 337 a 2 7 8 23 24 28 31 35 36 41 43 45 46 50 51 56 58 60 61 62 77 79 82 87 89 91 94 107 110 111 112 113 115 116 117 118 121 125 127 129 133 137 140 141 142 143 144 149 150 153 157 164 166 171 179 180 181 182 184 186 187 193 195 197 198 202 218 219 220 227 228 229 232 236 237 247 248 252 255 259 260 261 263 265 272 274 275 277 279 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 337 a 7 8 23 24 28 31 35 36 41 43 45 46 50 51 56 58 60 61 62 77 79 82 85 87 89 91 94 107 110 111 112 113 115 116 117 118 121 125 127 129 133 137 140 141 142 143 144 149 150 153 157 164 166 171 179 180 181 182 184 186 187 193 195 197 198 202 218 219 220 227 228 229 232 236 237 247 248 252 255 259 260 261 263 265 272 274 275 277 279 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 337 a 7 8 23 24 28 31 35 36 41 43 45 46 50 51 56 58 60 61 62 77 79 82 85 87 89 91 94 107 109 110 111 112 113 115 116 117 118 121 125 127 129 133 137 140 141 142 143 144 149 153 157 164 166 171 179 180 181 182 184 186 187 193 195 197 198 202 218 219 220 227 228 229 232 236 237 247 248 252 255 259 260 261 263 265 272 274 275 277 279 289 291 296 297 298 300 302 304 305 306 307 310 317 318 321 322 325 330 332 337 a 7 8 23 24 28 31 35 36 41 43 45 46 50 51 56 58 60 61 62 77 79 82 85 87 89 91 94 107 109 110 111 112 113 115 116 117 118 121 125 127 129 133 137 140 141 142 143 144 149 153 157 158 164 166 171 179 180 181 182 184 186 187 193 195 197 198 202 218 219 220 227 228 229 232 236 237 247 248 252 255 259 260 261 263 265 272 274 275 277 279 289 291 296 297 298 300 302 304 305 306 307 310 318 321 322 325 330 332 337 a 7 8 23 24 28 31 35 36 41 43 45 46 50 51 56 58 60 61 62 77 79 82 85 87 89 91 94 107 109 111 112 113 115 116 117 118 121 125 127 129 133 137 140 141 142 143 144 149 153 157 158 164 166 171 179 180 181 182 184 186 187 193 195 197 198 202 218 219 220 224 227 228 229 232 236 237 247 248 252 255 259 260 261 263 265 272 274 275 277 279 289 291 296 297 298 300 302 304 305 306 307 310 318 321 322 325 330 332 337 a 7 8 23 28 31 35 36 41 43 45 46 50 51 56 58 60 61 62 77 79 82 85 87 89 91 94 107 109 111 112 113 115 116 117 118 121 125 127 129 133 137 140 141 142 143 144 149 153 157 158 164 166 171 179 180 181 182 184 186 187 193 195 197 198 202 206 218 219 220 224 227 228 229 232 236 237 247 248 252 255 259 260 261 263 265 272 274 275 277 279 289 291 296 297 298 300 302 304 305 306 307 310 318 321 322 325 330 332 337 a 7 8 23 28 31 35 36 41 43 45 46 50 51 56 58 60 61 62 77 79 81 82 85 87 89 91 94 107 109 111 112 113 115 116 117 118 121 125 127 129 133 137 140 141 142 143 144 149 153 157 158 164 166 171 179 180 181 182 184 186 187 193 195 197 198 202 206 218 219 220 224 227 228 229 236 237 247 248 252 255 259 260 261 263 265 272 274 275 277 279 289 291 296 297 298 300 302 304 305 306 307 310 318 321 322 325 330 332 337 c Step: 61 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance026_graph002.col /benchmark/random_instance/random_instance026_graph002_01.dat" User time (seconds): 9.55 System time (seconds): 0.09 Percent of CPU this job got: 290% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.32 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): 211868 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 116405 Voluntary context switches: 6861 Involuntary context switches: 44 Swaps: 0 File system inputs: 0 File system outputs: 360 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:43:24 2023]