#BEGIN: [Tue Sep 26 03:36:19 2023] #HOST: s03 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance030_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance030_graph004_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_instance030_graph004.col /benchmark/random_instance/random_instance030_graph004_01.dat c /benchmark/random_instance/random_instance030_graph004.col c /benchmark/random_instance/random_instance030_graph004_01.dat s 292 239 25 80 219 11 103 177 13 325 271 101 151 330 146 299 287 14 267 186 104 21 161 193 231 2 4 272 154 256 324 15 307 12 140 202 71 102 16 157 24 83 304 317 251 377 308 316 366 29 373 332 90 361 237 321 188 355 145 89 95 129 293 141 315 265 336 201 229 341 382 257 362 314 60 227 147 196 243 176 270 53 134 172 249 124 363 279 359 340 313 106 168 364 142 281 351 198 273 250 150 285 46 160 19 123 370 27 118 40 88 224 211 360 174 56 82 245 93 127 353 331 122 39 t 154 287 184 69 150 376 100 237 222 343 118 269 113 246 57 220 341 179 77 145 163 201 254 7 41 6 338 29 61 331 356 311 188 336 46 307 357 236 258 110 147 226 133 123 305 363 95 288 196 390 380 348 105 186 94 33 349 108 19 137 364 93 48 107 89 134 102 54 362 372 365 202 116 256 233 51 344 360 121 284 11 168 263 214 327 229 125 172 248 203 245 73 211 270 221 22 182 345 385 271 139 292 312 135 316 330 379 32 368 84 306 128 228 315 82 301 117 369 317 370 141 140 257 24 a YES a 2 4 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 285 287 292 293 299 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 351 353 355 359 360 361 362 363 364 366 370 373 377 382 a 2 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 124 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 285 287 292 293 299 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 351 353 355 359 360 361 362 363 364 366 370 373 377 382 a 2 11 12 13 14 15 16 19 21 24 25 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 285 287 292 293 299 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 351 353 355 357 359 360 361 362 363 364 366 370 373 377 382 a 2 11 12 13 14 15 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 351 353 355 357 359 360 361 362 363 364 366 370 373 377 382 a 2 11 12 13 14 15 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 95 101 102 103 104 106 118 122 123 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 351 353 355 357 359 360 361 362 363 364 365 366 370 377 382 a 2 11 12 13 14 15 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 95 101 102 104 106 118 122 123 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 351 353 355 357 359 360 361 362 363 364 365 366 370 377 382 a 2 11 12 13 14 15 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 95 101 102 104 106 118 122 123 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 351 353 355 357 359 360 361 362 363 364 365 366 370 377 390 a 2 11 12 13 14 15 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 95 101 102 104 106 118 121 122 123 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 325 330 331 332 336 340 341 351 353 355 357 359 360 361 362 363 364 365 366 370 390 a 2 11 12 13 14 15 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 83 88 89 90 93 95 101 102 104 106 118 121 122 123 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 345 351 353 355 357 359 360 361 362 363 364 365 366 370 390 a 2 11 12 13 14 15 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 83 89 90 93 95 101 102 104 106 118 121 122 123 127 129 134 140 141 142 145 146 147 150 151 154 157 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 345 351 353 355 357 359 360 361 362 363 364 365 366 370 390 a 2 11 12 13 14 15 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 83 89 90 93 95 101 102 104 106 107 118 121 122 123 127 129 134 140 141 142 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 219 224 227 228 229 231 237 239 243 245 249 250 251 256 257 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 345 351 353 355 357 359 360 361 362 363 364 365 366 370 390 a 2 11 12 13 14 15 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 83 89 90 93 95 101 102 104 106 107 118 121 122 123 127 129 134 140 141 142 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 219 224 227 228 229 231 237 239 243 245 250 251 256 257 265 267 270 271 272 273 279 281 284 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 345 351 353 355 357 359 360 361 362 363 364 365 366 370 385 390 a 2 11 12 13 14 15 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 83 89 90 93 95 101 102 104 106 107 117 118 121 122 123 127 129 134 140 141 142 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 219 224 227 228 229 231 237 239 243 245 250 251 256 257 265 267 270 271 272 279 281 284 285 287 292 293 299 301 304 307 308 313 314 315 316 317 321 324 330 331 332 336 340 341 345 351 353 355 357 359 360 361 362 363 364 365 366 370 385 390 a 2 11 12 13 14 15 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 83 89 90 93 95 101 102 104 106 107 117 118 121 122 123 125 127 129 134 140 141 142 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 219 224 227 228 229 231 237 239 243 245 250 251 256 257 265 267 270 271 272 279 281 284 285 287 292 293 299 301 304 307 308 313 315 316 317 321 324 330 331 332 336 340 341 345 351 353 355 357 359 360 361 362 363 364 365 366 370 385 390 a 2 11 12 13 14 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 83 89 90 93 95 101 102 104 106 107 117 118 121 122 123 125 127 129 134 140 141 142 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 219 224 227 228 229 231 237 239 243 245 250 251 256 257 263 265 267 270 271 272 279 281 284 285 287 292 293 299 301 304 307 308 313 315 316 317 321 324 330 331 332 336 340 341 345 351 353 355 357 359 360 361 362 363 364 365 366 370 385 390 a 2 11 12 13 14 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 83 89 90 93 95 101 102 106 107 117 118 121 122 123 125 127 129 134 140 141 142 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 219 224 227 228 229 231 237 239 243 245 250 251 256 257 263 265 267 270 271 272 279 281 284 285 287 292 293 299 301 304 307 308 313 315 316 317 321 324 330 331 332 336 340 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 370 385 390 a 2 11 12 13 14 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 83 89 90 93 95 101 102 106 107 117 118 121 122 123 125 127 129 134 140 141 142 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 219 220 224 227 228 229 231 237 239 243 245 250 251 256 257 263 265 267 270 271 272 279 281 284 285 287 292 293 299 301 304 307 308 313 315 316 317 321 324 330 331 332 336 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 370 385 390 a 2 11 12 13 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 83 89 90 93 95 101 102 106 107 117 118 121 122 123 125 127 129 134 140 141 142 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 219 220 224 227 228 229 231 237 239 243 245 250 251 256 257 263 265 267 270 271 272 279 281 284 285 287 292 293 299 301 304 307 308 313 315 316 317 321 324 330 331 332 336 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 370 379 385 390 a 2 11 12 13 16 19 21 24 27 29 39 40 46 53 56 60 71 80 82 83 89 90 93 95 101 102 106 107 117 118 121 122 123 125 127 129 134 140 141 142 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 219 220 224 227 228 229 231 237 239 243 245 250 251 256 257 263 265 267 270 271 272 279 284 285 287 292 293 299 301 304 306 307 308 313 315 316 317 321 324 330 331 332 336 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 370 379 385 390 a 2 11 12 13 16 19 21 24 27 29 39 46 53 56 60 71 80 82 83 89 90 93 95 101 102 106 107 117 118 121 122 123 125 127 129 134 140 141 142 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 219 220 224 227 228 229 231 237 239 243 245 248 250 251 256 257 263 265 267 270 271 272 279 284 285 287 292 293 299 301 304 306 307 308 313 315 316 317 321 324 330 331 332 336 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 370 379 385 390 a 2 11 12 13 16 19 21 24 27 29 39 46 53 56 60 71 80 82 83 89 90 93 95 101 102 106 107 117 118 121 122 123 125 127 129 134 140 141 142 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 219 220 224 227 228 229 237 239 243 245 248 250 251 256 257 263 265 267 270 271 272 279 284 285 287 292 293 299 301 304 306 307 308 313 315 316 317 321 324 327 330 331 332 336 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 370 379 385 390 a 2 11 12 13 16 19 21 24 27 29 39 46 53 56 60 71 80 82 83 89 90 93 95 101 102 106 107 117 118 121 122 123 125 127 129 134 140 141 142 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 219 220 224 227 228 229 237 239 243 245 248 250 251 256 257 263 265 267 270 271 279 284 285 287 292 293 299 301 304 306 307 308 312 313 315 316 317 321 324 327 330 331 332 336 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 370 379 385 390 a 2 11 12 13 16 19 21 24 27 29 39 46 53 56 60 71 80 82 83 89 90 93 95 101 102 106 107 117 118 121 122 123 125 127 129 134 140 141 142 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 211 214 219 220 224 226 227 228 229 237 239 243 245 248 251 256 257 263 265 267 270 271 279 284 285 287 292 293 299 301 304 306 307 308 312 313 315 316 317 321 324 327 330 331 332 336 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 370 379 385 390 a 2 11 12 13 16 19 21 24 27 29 39 46 53 56 60 71 80 82 83 89 90 93 95 101 102 106 107 117 118 121 122 123 125 127 129 134 140 141 142 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 203 211 214 219 220 224 226 227 228 229 237 239 243 245 248 256 257 263 265 267 270 271 279 284 285 287 292 293 299 301 304 306 307 308 312 313 315 316 317 321 324 327 330 331 332 336 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 370 379 385 390 a 2 11 12 13 16 19 21 24 29 39 46 51 53 56 60 71 80 82 83 89 90 93 95 101 102 106 107 117 118 121 122 123 125 127 129 134 140 141 142 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 203 211 214 219 220 224 226 227 228 229 237 239 243 245 248 256 257 263 265 267 270 271 279 284 285 287 292 293 299 301 304 306 307 308 312 313 315 316 317 321 324 327 330 331 332 336 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 370 379 385 390 a 2 11 12 13 16 19 21 24 29 39 46 51 53 56 60 61 71 80 82 83 89 90 93 95 101 102 106 107 117 118 121 122 123 125 127 129 134 140 141 142 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 203 211 214 219 220 224 226 227 228 229 237 239 243 245 248 256 257 263 265 267 270 271 279 284 285 287 292 293 299 301 304 306 307 312 313 315 316 317 321 324 327 330 331 332 336 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 370 379 385 390 a 2 11 12 13 16 19 21 24 29 39 46 51 53 56 60 61 71 80 82 83 89 90 93 95 101 102 106 107 117 118 121 122 123 125 127 129 134 140 141 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 203 211 214 219 220 224 226 227 228 229 233 237 239 243 245 248 256 257 263 265 267 270 271 279 284 285 287 292 293 299 301 304 306 307 312 313 315 316 317 321 324 327 330 331 332 336 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 370 379 385 390 a 2 7 11 12 13 16 19 21 24 29 39 46 51 53 56 60 61 71 80 82 83 89 90 93 95 101 102 106 107 117 118 121 122 123 125 127 129 134 140 141 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 203 211 214 219 220 224 226 227 228 229 233 237 239 243 245 248 256 257 263 265 270 271 279 284 285 287 292 293 299 301 304 306 307 312 313 315 316 317 321 324 327 330 331 332 336 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 370 379 385 390 a 2 7 11 12 13 16 19 21 24 29 39 46 51 53 56 60 61 71 80 82 83 89 90 93 95 101 102 106 107 117 118 121 122 123 125 127 129 134 140 141 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 203 211 214 219 220 224 226 227 228 229 233 237 239 243 245 248 256 257 263 265 270 271 279 284 285 287 292 293 299 301 306 307 312 313 315 316 317 321 324 327 330 331 332 336 338 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 370 379 385 390 a 2 7 11 12 13 16 19 21 24 29 39 46 51 53 56 60 61 71 80 82 83 89 90 93 95 102 106 107 110 117 118 121 122 123 125 127 129 134 140 141 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 203 211 214 219 220 224 226 227 228 229 233 237 239 243 245 248 256 257 263 265 270 271 279 284 285 287 292 293 299 301 306 307 312 313 315 316 317 321 324 327 330 331 332 336 338 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 370 379 385 390 a 2 7 11 12 13 16 19 21 24 29 39 46 51 53 56 60 61 71 73 80 82 83 89 90 93 95 102 106 107 110 117 118 121 122 123 125 127 129 134 140 141 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 203 211 214 219 220 224 226 227 228 229 233 237 239 243 245 248 256 257 263 265 270 271 284 285 287 292 293 299 301 306 307 312 313 315 316 317 321 324 327 330 331 332 336 338 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 370 379 385 390 a 2 7 11 12 13 16 19 21 24 29 39 46 51 53 56 60 61 71 73 80 82 89 90 93 95 102 106 107 110 113 117 118 121 122 123 125 127 129 134 140 141 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 203 211 214 219 220 224 226 227 228 229 233 237 239 243 245 248 256 257 263 265 270 271 284 285 287 292 293 299 301 306 307 312 313 315 316 317 321 324 327 330 331 332 336 338 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 370 379 385 390 a 2 7 11 12 13 16 19 21 24 29 39 46 51 53 56 60 61 71 73 80 82 89 90 93 95 102 106 107 110 113 117 118 121 122 123 125 127 129 134 140 141 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 203 211 214 219 220 224 226 227 228 229 233 237 239 243 245 248 256 257 263 265 270 271 284 285 287 292 293 299 301 306 307 312 313 315 316 317 321 324 327 330 331 336 338 341 345 349 351 353 355 357 359 360 361 362 363 364 365 366 370 379 380 385 390 a 2 7 11 12 13 16 19 21 24 29 39 46 51 53 56 60 61 71 73 80 82 89 90 93 95 102 106 107 110 113 117 118 121 122 123 125 127 129 134 140 141 145 146 147 150 151 154 160 161 168 172 174 176 177 186 188 193 196 198 201 202 203 211 214 219 220 224 226 227 228 229 233 237 239 243 245 248 256 257 263 265 270 271 284 285 287 292 293 299 301 306 307 312 313 315 316 317 321 324 327 330 331 336 338 341 345 349 351 353 355 357 360 361 362 363 364 365 366 370 376 379 380 385 390 a 2 7 11 12 13 16 19 21 24 29 39 46 51 53 56 60 61 71 73 80 82 89 90 93 95 102 106 107 110 113 117 118 121 122 123 125 127 129 134 135 140 141 145 146 147 150 151 154 160 168 172 174 176 177 186 188 193 196 198 201 202 203 211 214 219 220 224 226 227 228 229 233 237 239 243 245 248 256 257 263 265 270 271 284 285 287 292 293 299 301 306 307 312 313 315 316 317 321 324 327 330 331 336 338 341 345 349 351 353 355 357 360 361 362 363 364 365 366 370 376 379 380 385 390 a 2 7 11 12 13 16 19 21 24 29 39 46 51 53 56 60 61 73 80 82 89 90 93 95 102 106 107 110 113 117 118 121 122 123 125 127 129 134 135 140 141 145 146 147 150 151 154 160 168 172 174 176 177 186 188 193 196 198 201 202 203 211 214 219 220 222 224 226 227 228 229 233 237 239 243 245 248 256 257 263 265 270 271 284 285 287 292 293 299 301 306 307 312 313 315 316 317 321 324 327 330 331 336 338 341 345 349 351 353 355 357 360 361 362 363 364 365 366 370 376 379 380 385 390 a 2 7 11 12 13 16 19 21 24 29 39 46 51 53 56 60 61 73 80 82 89 90 93 95 100 102 106 107 110 113 117 118 121 122 123 125 127 129 134 135 140 141 145 146 147 150 151 154 160 168 172 174 176 186 188 193 196 198 201 202 203 211 214 219 220 222 224 226 227 228 229 233 237 239 243 245 248 256 257 263 265 270 271 284 285 287 292 293 299 301 306 307 312 313 315 316 317 321 324 327 330 331 336 338 341 345 349 351 353 355 357 360 361 362 363 364 365 366 370 376 379 380 385 390 a 2 7 11 12 16 19 21 24 29 39 46 51 53 56 60 61 73 80 82 89 90 93 95 100 102 106 107 110 113 117 118 121 122 123 125 127 129 134 135 140 141 145 146 147 150 151 154 160 168 172 174 176 186 188 193 196 198 201 202 203 211 214 219 220 222 224 226 227 228 229 233 237 239 243 245 248 256 257 263 265 270 271 284 285 287 292 293 299 301 306 307 312 313 315 316 317 321 324 327 330 331 336 338 341 344 345 349 351 353 355 357 360 361 362 363 364 365 366 370 376 379 380 385 390 a 2 7 11 12 16 19 24 29 39 46 51 53 56 60 61 73 80 82 89 90 93 95 100 102 106 107 110 113 117 118 121 122 123 125 127 129 134 135 140 141 145 146 147 150 151 154 160 168 172 174 176 186 188 193 196 198 201 202 203 211 214 219 220 222 224 226 227 228 229 233 237 239 243 245 248 256 257 263 265 270 271 284 285 287 292 293 299 301 305 306 307 312 313 315 316 317 321 324 327 330 331 336 338 341 344 345 349 351 353 355 357 360 361 362 363 364 365 366 370 376 379 380 385 390 a 2 7 11 12 16 19 24 29 39 46 51 53 56 60 61 73 80 82 89 90 93 95 100 102 106 107 110 113 117 118 121 122 123 125 129 134 135 140 141 145 146 147 150 151 154 160 168 172 174 176 186 188 193 196 198 201 202 203 211 214 219 220 222 224 226 227 228 229 233 237 239 243 245 248 256 257 263 265 270 271 284 285 287 288 292 293 299 301 305 306 307 312 313 315 316 317 321 324 327 330 331 336 338 341 344 345 349 351 353 355 357 360 361 362 363 364 365 366 370 376 379 380 385 390 a 2 7 11 12 16 19 24 29 33 39 46 51 53 60 61 73 80 82 89 90 93 95 100 102 106 107 110 113 117 118 121 122 123 125 129 134 135 140 141 145 146 147 150 151 154 160 168 172 174 176 186 188 193 196 198 201 202 203 211 214 219 220 222 224 226 227 228 229 233 237 239 243 245 248 256 257 263 265 270 271 284 285 287 288 292 293 299 301 305 306 307 312 313 315 316 317 321 324 327 330 331 336 338 341 344 345 349 351 353 355 357 360 361 362 363 364 365 366 370 376 379 380 385 390 a 2 7 11 12 16 19 24 29 33 39 46 51 53 60 61 73 80 82 89 90 93 95 100 102 106 107 110 113 117 118 121 122 123 125 129 134 135 139 140 141 145 146 147 150 151 154 160 168 172 174 176 186 188 193 196 198 201 202 203 211 214 219 220 222 224 226 227 228 229 233 237 239 243 245 248 256 257 263 265 270 271 284 285 287 288 292 293 299 301 305 306 307 312 313 315 316 317 324 327 330 331 336 338 341 344 345 349 351 353 355 357 360 361 362 363 364 365 366 370 376 379 380 385 390 a 2 7 11 12 16 19 24 29 33 39 46 51 53 60 61 73 80 82 89 90 93 95 100 102 106 107 110 113 117 118 121 122 123 125 129 134 135 139 140 141 145 146 147 150 151 154 168 172 174 176 186 188 193 196 198 201 202 203 211 214 219 220 222 224 226 227 228 229 233 237 239 243 245 248 256 257 263 265 270 271 284 285 287 288 292 293 299 301 305 306 307 311 312 313 315 316 317 324 327 330 331 336 338 341 344 345 349 351 353 355 357 360 361 362 363 364 365 366 370 376 379 380 385 390 a 2 7 11 12 16 19 24 29 33 39 46 51 53 60 61 73 80 82 89 90 93 95 100 102 106 107 110 113 117 118 121 122 123 125 129 134 135 139 140 141 145 146 147 150 151 154 168 172 174 176 182 186 188 196 198 201 202 203 211 214 219 220 222 224 226 227 228 229 233 237 239 243 245 248 256 257 263 265 270 271 284 285 287 288 292 293 299 301 305 306 307 311 312 313 315 316 317 324 327 330 331 336 338 341 344 345 349 351 353 355 357 360 361 362 363 364 365 366 370 376 379 380 385 390 a 2 7 11 12 16 19 22 24 29 33 39 46 51 53 60 61 73 82 89 90 93 95 100 102 106 107 110 113 117 118 121 122 123 125 129 134 135 139 140 141 145 146 147 150 151 154 168 172 174 176 182 186 188 196 198 201 202 203 211 214 219 220 222 224 226 227 228 229 233 237 239 243 245 248 256 257 263 265 270 271 284 285 287 288 292 293 299 301 305 306 307 311 312 313 315 316 317 324 327 330 331 336 338 341 344 345 349 351 353 355 357 360 361 362 363 364 365 366 370 376 379 380 385 390 a 2 7 11 12 16 19 22 24 29 33 39 46 51 53 60 61 73 82 89 90 93 95 100 102 106 107 110 113 117 118 121 122 123 125 129 134 135 139 140 141 145 146 147 150 151 154 168 172 174 176 182 186 188 196 198 201 202 203 211 214 219 220 222 224 226 227 228 229 233 237 239 243 245 248 254 256 257 263 265 270 271 284 285 287 288 292 293 299 301 305 306 307 311 312 313 315 316 317 324 327 330 331 336 338 341 344 345 349 351 353 355 357 360 362 363 364 365 366 370 376 379 380 385 390 a 2 7 11 12 16 19 22 24 29 33 39 46 51 53 60 61 73 82 89 90 93 95 100 102 106 107 110 113 117 118 121 122 123 125 129 134 135 139 140 141 145 146 147 150 151 154 168 172 174 176 182 186 188 196 198 201 202 203 211 214 219 220 221 222 224 226 227 228 229 233 237 239 243 245 248 254 256 257 263 265 270 271 284 285 287 288 292 299 301 305 306 307 311 312 313 315 316 317 324 327 330 331 336 338 341 344 345 349 351 353 355 357 360 362 363 364 365 366 370 376 379 380 385 390 a 2 7 11 12 16 19 22 24 29 33 39 46 51 53 60 61 73 82 89 90 93 95 100 102 106 107 110 113 117 118 121 122 123 125 129 134 135 139 140 141 145 146 147 150 151 154 168 172 174 176 182 186 188 196 198 201 202 203 211 214 219 220 221 222 224 226 227 228 229 233 237 239 243 245 248 254 256 257 263 265 270 271 284 285 287 288 292 299 301 305 306 307 311 312 313 315 316 317 327 330 331 336 338 341 344 345 349 351 353 355 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 2 7 11 12 16 19 22 24 29 33 39 46 51 53 60 61 73 82 89 90 93 95 100 102 106 107 110 113 117 118 121 122 123 125 129 134 135 139 140 141 145 146 147 150 151 154 168 172 174 176 182 186 188 196 198 201 202 203 211 214 219 220 221 222 224 226 227 228 229 233 237 239 243 245 248 254 256 257 263 265 270 271 284 285 287 288 292 301 305 306 307 311 312 313 315 316 317 327 330 331 336 338 341 343 344 345 349 351 353 355 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 2 7 11 12 16 19 22 24 29 32 33 39 46 51 53 60 61 73 82 89 90 93 95 100 102 106 107 110 113 117 118 121 122 123 125 134 135 139 140 141 145 146 147 150 151 154 168 172 174 176 182 186 188 196 198 201 202 203 211 214 219 220 221 222 224 226 227 228 229 233 237 239 243 245 248 254 256 257 263 265 270 271 284 285 287 288 292 301 305 306 307 311 312 313 315 316 317 327 330 331 336 338 341 343 344 345 349 351 353 355 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 7 11 12 16 19 22 24 29 32 33 39 46 51 53 60 61 73 82 89 90 93 95 100 102 106 107 110 113 117 118 121 122 123 125 134 135 139 140 141 145 146 147 150 151 154 163 168 172 174 176 182 186 188 196 198 201 202 203 211 214 219 220 221 222 224 226 227 228 229 233 237 239 243 245 248 254 256 257 263 265 270 271 284 285 287 288 292 301 305 306 307 311 312 313 315 316 317 327 330 331 336 338 341 343 344 345 349 351 353 355 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 7 11 12 16 19 22 24 29 32 33 39 46 51 53 60 61 73 82 89 93 95 100 102 106 107 108 110 113 117 118 121 122 123 125 134 135 139 140 141 145 146 147 150 151 154 163 168 172 174 176 182 186 188 196 198 201 202 203 211 214 219 220 221 222 224 226 227 228 229 233 237 239 243 245 248 254 256 257 263 265 270 271 284 285 287 288 292 301 305 306 307 311 312 313 315 316 317 327 330 331 336 338 341 343 344 345 349 351 353 355 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 7 11 12 16 19 22 24 29 32 33 39 46 51 53 60 61 73 82 84 89 93 95 100 102 106 107 108 110 113 117 118 121 122 123 125 134 135 139 140 141 145 146 147 150 151 154 163 168 172 174 176 182 186 188 196 198 201 202 203 211 214 219 220 221 222 224 226 227 228 229 233 237 239 243 245 248 254 256 257 263 270 271 284 285 287 288 292 301 305 306 307 311 312 313 315 316 317 327 330 331 336 338 341 343 344 345 349 351 353 355 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 7 11 16 19 22 24 29 32 33 39 46 51 53 60 61 73 82 84 89 93 94 95 100 102 106 107 108 110 113 117 118 121 122 123 125 134 135 139 140 141 145 146 147 150 151 154 163 168 172 174 176 182 186 188 196 198 201 202 203 211 214 219 220 221 222 224 226 227 228 229 233 237 239 243 245 248 254 256 257 263 270 271 284 285 287 288 292 301 305 306 307 311 312 313 315 316 317 327 330 331 336 338 341 343 344 345 349 351 353 355 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 7 11 16 19 22 24 29 32 33 39 41 46 51 60 61 73 82 84 89 93 94 95 100 102 106 107 108 110 113 117 118 121 122 123 125 134 135 139 140 141 145 146 147 150 151 154 163 168 172 174 176 182 186 188 196 198 201 202 203 211 214 219 220 221 222 224 226 227 228 229 233 237 239 243 245 248 254 256 257 263 270 271 284 285 287 288 292 301 305 306 307 311 312 313 315 316 317 327 330 331 336 338 341 343 344 345 349 351 353 355 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 7 11 16 19 22 24 29 32 33 39 41 46 51 60 61 73 77 82 84 89 93 94 95 100 102 106 107 108 110 113 117 118 121 122 123 125 134 135 139 140 141 145 146 147 150 151 154 163 168 172 174 176 182 186 188 196 198 201 202 203 211 214 220 221 222 224 226 227 228 229 233 237 239 243 245 248 254 256 257 263 270 271 284 285 287 288 292 301 305 306 307 311 312 313 315 316 317 327 330 331 336 338 341 343 344 345 349 351 353 355 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 7 11 16 19 22 24 29 32 33 39 41 46 51 60 61 73 77 82 84 89 93 94 95 100 102 106 107 108 110 113 117 118 121 123 125 134 135 139 140 141 145 146 147 150 151 154 163 168 172 174 176 182 186 188 196 198 201 202 203 211 214 220 221 222 224 226 227 228 229 233 236 237 239 243 245 248 254 256 257 263 270 271 284 285 287 288 292 301 305 306 307 311 312 313 315 316 317 327 330 331 336 338 341 343 344 345 349 351 353 355 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 7 11 16 19 22 24 29 32 33 39 41 46 51 60 61 73 77 82 84 89 93 94 95 100 102 106 107 108 110 113 117 118 121 123 125 133 134 135 139 140 141 145 146 147 150 151 154 163 168 172 174 176 182 186 188 196 198 201 202 203 211 214 220 221 222 224 226 227 228 229 233 236 237 239 243 245 248 254 256 257 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 349 351 353 355 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 7 11 16 19 22 24 29 32 33 39 41 46 51 60 61 69 73 77 82 84 89 93 94 95 100 102 106 107 108 110 113 117 118 121 123 125 133 134 135 139 140 141 145 146 147 150 151 154 163 168 172 174 176 182 186 188 196 198 201 202 203 211 214 220 221 222 224 226 227 228 229 233 236 237 239 243 245 248 254 256 257 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 349 353 355 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 7 11 19 22 24 29 32 33 39 41 46 51 60 61 69 73 77 82 84 89 93 94 95 100 102 106 107 108 110 113 117 118 121 123 125 133 134 135 139 140 141 145 146 147 150 151 154 163 168 172 174 176 182 186 188 196 198 201 202 203 211 214 220 221 222 224 226 227 228 229 233 236 237 239 243 245 248 254 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 349 353 355 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 7 11 19 22 24 29 32 33 39 41 46 51 60 61 69 73 77 82 84 89 93 94 95 100 102 106 107 108 110 113 117 118 121 123 125 133 134 135 137 139 140 141 145 147 150 151 154 163 168 172 174 176 182 186 188 196 198 201 202 203 211 214 220 221 222 224 226 227 228 229 233 236 237 239 243 245 248 254 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 349 353 355 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 7 11 19 22 24 29 32 33 39 41 46 51 60 61 69 73 77 82 84 89 93 94 95 100 102 106 107 108 110 113 116 117 118 121 123 125 133 134 135 137 139 140 141 145 147 150 151 154 163 168 172 174 176 182 186 188 196 198 201 202 203 211 214 220 221 222 224 226 227 228 229 233 236 237 239 243 245 248 254 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 349 353 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 7 11 19 22 24 29 32 33 39 41 46 51 60 61 69 73 77 82 84 89 93 94 95 100 102 106 107 108 110 113 116 117 118 121 123 125 133 134 135 137 139 140 141 145 147 150 151 154 163 168 172 174 176 182 186 188 196 198 201 202 203 211 214 220 221 222 224 226 227 228 229 233 236 237 239 243 245 248 254 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 348 349 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 7 11 19 22 24 29 32 33 39 41 46 51 60 61 69 73 77 82 84 89 93 94 95 100 102 106 107 108 110 113 116 117 118 121 123 125 133 134 135 137 139 140 141 145 147 150 151 154 163 168 172 174 176 182 184 186 188 196 198 201 202 203 211 214 220 221 222 224 226 227 228 229 233 236 237 239 245 248 254 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 348 349 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 7 11 19 22 24 29 32 33 39 41 46 51 57 60 61 69 73 77 82 84 89 93 94 95 100 102 106 107 108 110 113 116 117 118 121 123 125 133 134 135 137 139 140 141 145 147 150 151 154 163 168 172 174 176 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 239 245 248 254 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 348 349 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 7 11 19 22 24 29 32 33 39 41 46 51 54 57 60 61 69 73 77 82 84 89 93 94 95 100 102 106 107 108 110 113 116 117 118 121 123 125 133 134 135 137 139 140 141 145 147 150 151 154 163 168 172 176 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 239 245 248 254 256 257 258 263 270 271 284 285 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 348 349 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 7 11 19 22 24 29 32 33 39 41 46 51 54 57 60 61 69 73 77 82 84 89 93 94 95 100 102 106 107 108 110 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 151 154 163 168 172 176 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 227 228 229 233 236 237 239 245 248 254 256 257 258 263 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 348 349 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 7 11 19 22 24 29 32 33 39 41 46 51 54 57 60 61 69 73 77 82 84 89 93 94 95 100 102 106 107 108 110 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 151 154 163 168 172 176 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 228 229 233 236 237 239 245 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 348 349 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 7 11 19 22 24 29 32 33 39 41 46 51 54 57 60 61 69 73 77 82 84 89 93 94 95 100 102 106 107 108 110 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 151 154 163 168 172 176 182 184 186 188 196 198 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 348 349 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 6 7 11 19 22 24 29 32 33 39 41 46 51 54 57 60 61 69 73 77 82 84 89 93 94 95 100 102 106 107 108 110 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 151 154 163 168 172 176 182 184 186 188 196 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 348 349 357 360 362 363 364 365 366 368 370 376 379 380 385 390 a 6 7 11 19 22 24 29 32 33 39 41 46 51 54 57 60 61 69 73 77 82 84 89 93 94 95 100 102 107 108 110 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 151 154 163 168 172 176 182 184 186 188 196 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 348 349 357 360 362 363 364 365 366 368 370 372 376 379 380 385 390 a 6 7 11 19 22 24 29 32 33 41 46 51 54 57 60 61 69 73 77 82 84 89 93 94 95 100 102 107 108 110 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 151 154 163 168 172 176 179 182 184 186 188 196 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 348 349 357 360 362 363 364 365 366 368 370 372 376 379 380 385 390 a 6 7 11 19 22 24 29 32 33 41 46 51 54 57 60 61 69 73 77 82 84 89 93 94 95 100 102 107 108 110 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 151 154 163 168 172 176 179 182 184 186 188 196 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 348 349 356 357 360 362 363 364 365 368 370 372 376 379 380 385 390 a 6 7 11 19 22 24 29 32 33 41 46 51 54 57 60 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 151 154 163 168 172 179 182 184 186 188 196 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 348 349 356 357 360 362 363 364 365 368 370 372 376 379 380 385 390 a 6 7 11 19 22 24 29 32 33 41 46 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 151 154 163 168 172 179 182 184 186 188 196 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 348 349 356 357 360 362 363 364 365 368 369 370 372 376 379 380 385 390 a 6 7 11 19 22 24 29 32 33 41 46 48 51 54 57 61 69 73 77 82 84 89 93 94 95 100 102 105 107 108 110 113 116 117 118 121 123 125 128 133 134 135 137 139 140 141 145 147 150 154 163 168 172 179 182 184 186 188 196 201 202 203 211 214 220 221 222 226 228 229 233 236 237 245 246 248 254 256 257 258 263 269 270 271 284 287 288 292 301 305 306 307 311 312 315 316 317 327 330 331 336 338 341 343 344 345 348 349 356 357 360 362 363 364 365 368 369 370 372 376 379 380 385 390 c Step: 75 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance030_graph004.col /benchmark/random_instance/random_instance030_graph004_01.dat" User time (seconds): 15.05 System time (seconds): 0.19 Percent of CPU this job got: 285% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:05.33 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): 312240 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 187195 Voluntary context switches: 10204 Involuntary context switches: 31 Swaps: 0 File system inputs: 0 File system outputs: 496 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 03:36:25 2023]