#BEGIN: [Mon Sep 4 15:09:36 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-wallclock-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance027_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance027_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_instance027_graph004.col /benchmark/random_instance/random_instance027_graph004_01.dat c /benchmark/random_instance/random_instance027_graph004.col c /benchmark/random_instance/random_instance027_graph004_01.dat s 101 112 61 312 66 100 21 18 187 179 131 196 43 261 275 336 78 144 283 281 50 265 15 317 233 228 253 240 167 284 209 293 60 235 290 95 165 294 86 349 156 213 345 323 313 254 325 23 124 90 185 347 249 5 343 172 47 96 238 4 201 20 218 136 44 285 330 81 315 22 89 52 319 73 331 328 134 126 163 88 153 64 16 62 203 35 214 168 58 264 36 70 327 340 159 106 271 137 57 190 176 31 71 99 289 204 295 173 93 350 32 t 193 254 160 233 76 214 310 285 251 223 68 258 194 277 102 284 230 69 211 157 229 267 213 198 244 225 170 316 182 41 177 298 63 88 255 210 93 197 4 350 61 301 106 212 239 173 232 167 77 253 215 216 304 344 100 32 125 249 176 119 168 322 123 42 209 112 335 148 242 171 127 6 37 204 163 307 219 319 172 145 303 90 236 287 247 20 154 59 266 99 34 165 351 85 31 202 185 62 296 23 270 57 161 250 142 92 98 261 256 200 231 a YES a 4 5 15 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 99 100 101 106 112 124 126 131 134 136 137 144 153 156 159 163 165 167 168 172 173 176 179 185 187 190 196 201 203 204 209 213 214 218 228 233 235 238 240 249 253 254 261 264 265 271 275 281 283 284 285 289 290 293 294 295 312 313 315 317 319 323 325 327 328 330 331 336 340 343 345 347 349 350 a 4 5 15 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 99 100 101 106 112 124 126 131 134 136 137 144 153 156 159 163 165 167 168 172 173 176 179 185 187 190 196 201 203 204 209 213 214 218 228 233 235 236 238 240 249 253 254 261 264 265 271 275 281 283 284 285 289 290 293 295 312 313 315 317 319 323 325 327 328 330 331 336 340 343 345 347 349 350 a 4 5 15 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 99 100 101 106 112 124 126 131 134 136 137 144 153 156 159 163 165 167 168 172 173 176 179 185 187 190 196 201 203 204 209 213 214 218 228 233 235 236 238 240 249 253 254 261 264 265 271 275 281 283 284 285 289 290 293 295 312 313 315 316 317 319 323 325 327 328 330 331 336 343 345 347 349 350 a 4 5 15 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 99 100 101 106 112 124 126 131 134 136 137 144 153 156 159 163 165 167 168 172 173 176 179 185 187 190 196 203 204 209 211 213 214 218 228 233 235 236 238 240 249 253 254 261 264 265 271 275 281 283 284 285 289 290 293 295 312 313 315 316 317 319 323 325 327 328 330 331 336 343 345 347 349 350 a 4 5 15 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 99 100 101 106 112 124 126 131 134 136 137 144 153 156 159 163 165 167 168 172 173 176 179 182 185 187 190 196 203 204 209 211 213 214 218 228 233 235 236 238 240 249 253 254 261 264 265 271 275 281 283 284 285 289 290 293 295 312 313 315 316 317 319 323 325 327 330 331 336 343 345 347 349 350 a 4 5 15 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 99 100 101 106 112 124 126 131 136 137 144 153 156 159 163 165 167 168 172 173 176 179 182 185 187 190 196 203 204 209 211 213 214 218 225 228 233 235 236 238 240 249 253 254 261 264 265 271 275 281 283 284 285 289 290 293 295 312 313 315 316 317 319 323 325 327 330 331 336 343 345 347 349 350 a 4 5 15 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 99 100 101 106 112 124 126 131 136 137 144 153 156 159 163 165 167 168 172 173 176 182 185 187 190 196 203 204 209 211 213 214 218 225 228 233 235 236 238 240 249 253 254 261 264 265 271 275 281 283 284 285 289 290 293 295 304 312 313 315 316 317 319 323 325 327 330 331 336 343 345 347 349 350 a 4 5 15 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 99 100 101 106 112 124 126 131 136 137 144 153 156 159 163 165 167 168 172 173 176 182 185 187 190 196 203 204 209 211 213 214 218 225 228 233 235 236 238 240 249 253 254 261 264 265 271 275 281 283 284 285 289 290 293 295 296 304 312 313 315 316 317 319 323 325 327 330 331 343 345 347 349 350 a 4 5 15 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 99 100 101 106 112 124 126 131 136 137 144 153 156 159 163 165 167 168 172 173 176 182 185 187 190 196 203 204 209 211 213 214 218 225 228 233 235 236 238 240 249 253 254 261 264 265 271 275 281 283 284 285 287 289 290 293 295 296 304 312 313 315 316 317 319 325 327 330 331 343 345 347 349 350 a 4 5 15 16 18 20 21 22 23 31 32 35 36 43 44 47 50 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 99 100 101 106 112 124 126 131 136 137 144 153 156 159 163 165 167 168 172 173 176 182 185 187 190 196 203 204 209 211 213 214 218 225 228 233 235 236 238 249 253 254 261 264 265 266 271 275 281 283 284 285 287 289 290 293 295 296 304 312 313 315 316 317 319 325 327 330 331 343 345 347 349 350 a 4 5 15 16 18 20 21 22 23 31 32 35 36 43 44 47 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 99 100 101 106 112 124 126 131 136 137 144 153 156 159 163 165 167 168 172 173 176 182 185 187 190 196 203 204 209 211 213 214 218 225 228 233 235 236 238 249 253 254 255 261 264 265 266 271 275 281 283 284 285 287 289 290 293 295 296 304 312 313 315 316 317 319 325 327 330 331 343 345 347 349 350 a 4 5 16 18 20 21 22 23 31 32 35 36 42 43 44 47 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 99 100 101 106 112 124 126 131 136 137 144 153 156 159 163 165 167 168 172 173 176 182 185 187 190 196 203 204 209 211 213 214 218 225 228 233 235 236 238 249 253 254 255 261 264 265 266 271 275 281 283 284 285 287 289 290 293 295 296 304 312 313 315 316 317 319 325 327 330 331 343 345 347 349 350 a 4 5 16 18 20 21 22 23 31 32 35 36 42 43 44 47 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 99 100 101 106 112 123 124 126 131 136 137 144 153 156 159 163 165 167 168 172 173 176 182 185 187 190 196 203 204 209 211 213 214 218 225 228 233 235 236 238 249 253 254 255 261 264 265 266 271 275 281 283 284 285 287 289 290 293 295 296 304 312 313 315 316 317 319 325 327 331 343 345 347 349 350 a 4 5 16 18 20 21 22 23 31 32 35 36 42 43 44 47 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 99 100 101 106 112 123 124 126 131 136 137 153 156 159 163 165 167 168 172 173 176 182 185 187 190 196 202 203 204 209 211 213 214 218 225 228 233 235 236 238 249 253 254 255 261 264 265 266 271 275 281 283 284 285 287 289 290 293 295 296 304 312 313 315 316 317 319 325 327 331 343 345 347 349 350 a 4 5 16 18 20 21 22 23 31 32 35 36 42 43 44 47 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 99 100 101 106 112 123 124 126 131 136 137 153 156 159 163 165 167 168 172 173 176 182 185 187 190 196 202 203 204 209 211 213 214 218 225 228 233 235 236 238 249 253 254 255 261 265 266 267 271 275 281 283 284 285 287 289 290 293 295 296 304 312 313 315 316 317 319 325 327 331 343 345 347 349 350 a 4 16 18 20 21 22 23 31 32 35 36 42 43 44 47 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 89 90 93 95 96 99 100 101 106 112 123 124 126 131 136 137 153 156 159 163 165 167 168 172 173 176 182 185 187 190 196 202 203 204 209 211 213 214 218 225 228 233 235 236 238 247 249 253 254 255 261 265 266 267 271 275 281 283 284 285 287 289 290 293 295 296 304 312 313 315 316 317 319 325 327 331 343 345 347 349 350 a 4 16 18 20 21 22 23 31 32 34 35 36 42 43 44 47 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 90 93 95 96 99 100 101 106 112 123 124 126 131 136 137 153 156 159 163 165 167 168 172 173 176 182 185 187 190 196 202 203 204 209 211 213 214 218 225 228 233 235 236 238 247 249 253 254 255 261 265 266 267 271 275 281 283 284 285 287 289 290 293 295 296 304 312 313 315 316 317 319 325 327 331 343 345 347 349 350 a 4 16 18 20 21 22 23 31 32 34 36 42 43 44 47 52 57 58 60 61 62 64 66 70 71 73 78 81 86 88 90 93 95 96 99 100 101 106 112 123 124 126 131 136 137 153 156 159 163 165 167 168 172 173 176 182 185 187 190 196 202 203 204 209 211 213 214 218 225 228 233 235 236 238 247 249 253 254 255 261 265 266 267 271 275 281 283 284 285 287 289 290 293 295 296 303 304 312 313 315 316 317 319 325 327 331 343 345 347 349 350 a 4 16 18 20 21 22 23 31 32 34 36 42 43 44 47 52 57 58 60 61 62 64 66 70 71 73 78 81 88 90 93 95 96 99 100 101 106 112 123 124 126 131 136 137 153 156 159 163 165 167 168 172 173 176 182 185 187 190 196 202 203 204 209 211 213 214 218 225 228 231 233 235 236 238 247 249 253 254 255 261 265 266 267 271 275 281 283 284 285 287 289 290 293 295 296 303 304 312 313 315 316 317 319 325 327 331 343 345 347 349 350 a 4 16 18 20 21 22 23 31 32 34 36 42 43 44 47 52 57 58 60 61 62 64 66 70 71 73 78 81 88 90 93 95 96 99 100 101 106 112 123 124 126 131 136 137 153 156 159 163 165 167 168 172 173 176 182 185 187 190 196 202 203 204 209 211 213 214 218 223 225 228 231 233 235 236 238 247 249 253 254 255 261 265 266 267 271 275 281 283 284 285 287 289 290 295 296 303 304 312 313 315 316 317 319 325 327 331 343 345 347 349 350 a 4 16 18 20 21 22 23 31 32 34 36 42 43 44 47 52 57 58 60 61 62 64 66 70 71 73 78 81 88 90 93 95 96 99 100 106 112 123 124 126 131 136 137 153 156 159 163 165 167 168 172 173 176 182 185 187 190 196 202 203 204 209 211 213 214 218 223 225 228 231 233 235 236 238 247 249 253 254 255 261 265 266 267 271 275 281 283 284 285 287 289 290 295 296 303 304 312 313 315 316 317 319 325 327 331 343 345 347 349 350 351 a 4 16 18 20 21 22 23 31 32 34 36 42 43 44 47 52 57 58 60 61 62 64 66 70 71 73 78 88 90 92 93 95 96 99 100 106 112 123 124 126 131 136 137 153 156 159 163 165 167 168 172 173 176 182 185 187 190 196 202 203 204 209 211 213 214 218 223 225 228 231 233 235 236 238 247 249 253 254 255 261 265 266 267 271 275 281 283 284 285 287 289 290 295 296 303 304 312 313 315 316 317 319 325 327 331 343 345 347 349 350 351 a 4 16 18 20 21 22 23 31 32 34 36 42 43 44 47 52 57 58 60 61 62 64 66 70 71 73 78 88 90 92 93 95 96 99 100 106 112 123 124 126 131 136 137 153 156 159 163 165 167 168 172 173 176 177 182 185 187 190 196 202 203 204 209 211 213 214 218 223 225 228 231 233 235 236 238 247 249 253 254 255 261 265 266 267 271 275 283 284 285 287 289 290 295 296 303 304 312 313 315 316 317 319 325 327 331 343 345 347 349 350 351 a 4 16 18 20 21 22 23 31 32 34 36 42 44 47 52 57 58 60 61 62 64 66 70 71 73 78 88 90 92 93 95 96 99 100 106 112 119 123 124 126 131 136 137 153 156 159 163 165 167 168 172 173 176 177 182 185 187 190 196 202 203 204 209 211 213 214 218 223 225 228 231 233 235 236 238 247 249 253 254 255 261 265 266 267 271 275 283 284 285 287 289 290 295 296 303 304 312 313 315 316 317 319 325 327 331 343 345 347 349 350 351 a 4 16 18 20 21 22 23 31 32 34 36 42 44 47 52 57 58 60 61 62 64 66 70 71 73 78 88 90 92 93 95 96 99 100 106 112 119 123 124 126 131 136 137 156 159 163 165 167 168 172 173 176 177 182 185 187 190 196 200 202 203 204 209 211 213 214 218 223 225 228 231 233 235 236 238 247 249 253 254 255 261 265 266 267 271 275 283 284 285 287 289 290 295 296 303 304 312 313 315 316 317 319 325 327 331 343 345 347 349 350 351 a 4 16 18 20 21 22 23 31 32 34 36 42 44 47 52 57 58 60 61 62 64 66 70 71 73 78 88 90 92 93 95 96 99 100 106 112 119 123 124 126 131 136 137 142 156 159 163 165 167 168 172 173 176 177 182 185 190 196 200 202 203 204 209 211 213 214 218 223 225 228 231 233 235 236 238 247 249 253 254 255 261 265 266 267 271 275 283 284 285 287 289 290 295 296 303 304 312 313 315 316 317 319 325 327 331 343 345 347 349 350 351 a 4 16 18 20 21 22 23 31 32 34 36 42 44 47 52 57 58 60 61 62 64 66 70 71 73 78 88 90 92 93 95 96 99 100 106 112 119 123 124 126 131 136 137 142 156 159 163 165 167 168 172 173 176 177 182 185 190 196 200 202 203 204 209 211 213 214 218 223 225 228 231 233 235 236 247 249 253 254 255 258 261 265 266 267 271 275 283 284 285 287 289 290 295 296 303 304 312 313 315 316 317 319 325 327 331 343 345 347 349 350 351 a 4 16 18 20 21 22 23 31 32 34 36 42 44 52 57 58 60 61 62 64 66 70 71 73 78 88 90 92 93 95 96 99 100 106 112 119 123 124 126 127 131 136 137 142 156 159 163 165 167 168 172 173 176 177 182 185 190 196 200 202 203 204 209 211 213 214 218 223 225 228 231 233 235 236 247 249 253 254 255 258 261 265 266 267 271 275 283 284 285 287 289 290 295 296 303 304 312 313 315 316 317 319 325 327 331 343 345 347 349 350 351 a 4 16 18 20 21 22 23 31 32 34 36 42 44 52 57 60 61 62 64 66 70 71 73 78 88 90 92 93 95 96 99 100 106 112 119 123 124 126 127 131 136 137 142 156 159 163 165 167 168 172 173 176 177 182 185 190 196 200 202 203 204 209 211 213 214 218 223 225 228 231 233 235 236 247 249 253 254 255 258 261 265 266 267 271 275 283 284 285 287 289 290 295 296 303 304 312 313 315 316 317 319 322 325 327 331 343 345 347 349 350 351 a 4 16 18 20 21 22 23 31 32 34 36 42 44 52 57 60 61 62 64 66 70 71 73 78 88 90 92 93 95 96 99 100 106 112 119 123 124 126 127 131 136 137 142 156 159 163 165 167 168 172 173 176 177 182 185 190 194 196 200 202 203 204 209 211 213 214 223 225 228 231 233 235 236 247 249 253 254 255 258 261 265 266 267 271 275 283 284 285 287 289 290 295 296 303 304 312 313 315 316 317 319 322 325 327 331 343 345 347 349 350 351 a 4 16 18 20 21 22 23 31 32 34 36 42 44 52 57 60 61 62 64 66 71 73 78 88 90 92 93 95 96 99 100 106 112 119 123 124 126 127 131 136 137 142 156 159 163 165 167 168 172 173 176 177 182 185 190 194 196 200 202 203 204 209 211 213 214 223 225 228 231 233 235 236 247 249 253 254 255 258 261 265 266 267 271 275 283 284 285 287 289 290 295 296 303 304 312 313 315 316 317 319 322 325 327 331 335 343 345 347 349 350 351 a 4 16 18 20 21 22 23 31 32 34 36 42 44 52 57 61 62 64 66 71 73 78 88 90 92 93 95 96 99 100 106 112 119 123 124 126 127 131 136 137 142 156 159 163 165 167 168 172 173 176 177 182 185 190 194 196 197 200 202 203 204 209 211 213 214 223 225 228 231 233 235 236 247 249 253 254 255 258 261 265 266 267 271 275 283 284 285 287 289 290 295 296 303 304 312 313 315 316 317 319 322 325 327 331 335 343 345 347 349 350 351 a 4 16 18 20 21 22 23 31 32 34 36 42 44 52 57 61 62 64 66 71 73 78 88 90 92 93 95 96 99 100 106 112 119 123 124 126 127 131 136 142 156 159 163 165 167 168 172 173 176 177 182 185 190 194 196 197 200 202 203 204 209 211 213 214 223 225 228 231 233 235 236 247 249 253 254 255 256 258 261 265 266 267 271 275 283 284 285 287 289 290 295 296 303 304 312 313 315 316 317 319 322 325 327 331 335 343 345 347 349 350 351 a 4 16 18 20 21 22 23 31 32 34 36 42 44 52 57 61 62 64 66 71 73 78 88 90 92 93 95 96 99 100 106 112 119 123 124 126 127 131 136 142 156 159 160 163 165 167 168 172 173 176 177 182 185 190 194 196 197 200 202 203 204 209 211 213 214 223 225 228 231 233 235 236 247 249 253 254 255 256 258 261 265 266 267 271 275 283 284 285 287 290 295 296 303 304 312 313 315 316 317 319 322 325 327 331 335 343 345 347 349 350 351 a 4 16 18 20 21 23 31 32 34 36 42 44 52 57 61 62 64 66 71 73 78 88 90 92 93 95 96 99 100 106 112 119 123 124 126 127 131 136 142 156 159 160 163 165 167 168 172 173 176 177 182 185 190 194 196 197 200 202 203 204 209 211 213 214 223 225 228 231 233 235 236 247 249 253 254 255 256 258 261 265 266 267 271 275 283 284 285 287 290 295 296 303 304 312 313 315 316 317 319 322 325 327 331 335 343 344 345 347 349 350 351 a 4 16 18 20 21 23 31 32 34 36 42 44 52 57 61 62 63 64 66 71 73 78 88 90 92 93 95 96 99 100 106 112 119 123 124 126 127 131 136 142 156 159 160 163 165 167 168 172 173 176 177 182 185 190 194 196 197 200 202 203 204 209 211 213 214 223 225 228 231 233 235 236 247 249 253 254 255 256 258 261 265 266 267 271 275 283 284 285 287 290 295 296 303 304 312 313 315 316 317 319 322 325 327 331 335 343 344 347 349 350 351 a 4 6 16 18 20 21 23 31 32 34 36 42 44 52 57 61 62 63 64 66 71 73 78 88 90 92 93 95 96 99 100 106 112 119 123 126 127 131 136 142 156 159 160 163 165 167 168 172 173 176 177 182 185 190 194 196 197 200 202 203 204 209 211 213 214 223 225 228 231 233 235 236 247 249 253 254 255 256 258 261 265 266 267 271 275 283 284 285 287 290 295 296 303 304 312 313 315 316 317 319 322 325 327 331 335 343 344 347 349 350 351 a 4 6 16 18 20 21 23 31 32 34 36 42 44 52 57 61 62 63 64 66 71 73 78 88 90 92 93 95 96 99 100 106 112 119 123 126 127 131 136 142 156 159 160 163 165 167 168 172 173 176 177 182 185 194 196 197 200 202 203 204 209 211 213 214 223 225 228 231 233 235 236 247 249 253 254 255 256 258 261 265 266 267 271 275 277 283 284 285 287 290 295 296 303 304 312 313 315 316 317 319 322 325 327 331 335 343 344 347 349 350 351 a 4 6 16 18 20 21 23 31 32 34 36 42 44 52 57 61 62 63 64 66 71 73 78 88 90 92 93 95 96 99 100 106 112 119 123 126 127 131 136 142 159 160 163 165 167 168 172 173 176 177 182 185 194 196 197 200 202 203 204 209 211 213 214 223 225 228 231 233 235 236 247 249 253 254 255 256 258 261 265 266 267 270 271 275 277 283 284 285 287 290 295 296 303 304 312 313 315 316 317 319 322 325 327 331 335 343 344 347 349 350 351 a 4 6 16 18 20 21 23 31 32 34 36 42 44 52 57 61 62 63 64 66 71 73 78 88 90 92 93 95 96 99 100 106 112 119 123 126 127 131 136 142 159 160 163 165 167 168 172 173 176 177 182 185 194 196 197 200 202 203 204 209 211 213 214 223 225 228 231 233 235 236 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 277 283 284 285 287 290 295 296 303 304 312 313 315 316 317 319 322 325 327 331 335 343 344 349 350 351 a 4 6 16 18 20 21 23 31 32 34 36 42 44 52 57 61 62 63 64 66 71 73 78 88 90 92 93 95 96 99 100 106 112 119 123 126 127 131 136 142 159 160 163 165 167 168 172 173 176 177 182 185 194 196 197 200 202 203 204 209 211 213 214 223 225 228 231 233 235 236 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 277 283 284 285 287 290 295 296 303 304 307 312 315 316 317 319 322 325 327 331 335 343 344 349 350 351 a 4 6 16 18 20 21 23 31 32 34 36 42 44 52 57 61 62 63 64 66 71 73 78 88 90 92 93 95 96 99 100 106 112 119 123 126 127 131 136 142 159 160 163 165 167 168 172 173 176 177 182 185 193 194 196 197 200 202 203 204 209 211 213 214 223 225 231 233 235 236 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 277 283 284 285 287 290 295 296 303 304 307 312 315 316 317 319 322 325 327 331 335 343 344 349 350 351 a 4 6 16 18 20 21 23 31 32 34 36 42 44 52 57 61 62 63 64 66 71 73 78 88 90 92 93 95 96 99 100 102 106 112 119 123 126 127 131 136 142 159 160 163 165 167 168 172 173 176 177 182 185 193 194 196 197 200 202 203 204 209 211 213 214 223 225 231 233 235 236 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 277 283 284 285 287 290 295 296 303 304 307 312 315 316 319 322 325 327 331 335 343 344 349 350 351 a 4 6 18 20 21 23 31 32 34 36 42 44 52 57 59 61 62 63 64 66 71 73 78 88 90 92 93 95 96 99 100 102 106 112 119 123 126 127 131 136 142 159 160 163 165 167 168 172 173 176 177 182 185 193 194 196 197 200 202 203 204 209 211 213 214 223 225 231 233 235 236 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 277 283 284 285 287 290 295 296 303 304 307 312 315 316 319 322 325 327 331 335 343 344 349 350 351 a 4 6 18 20 21 23 31 32 34 36 42 44 52 57 59 61 62 63 64 66 71 73 78 88 90 92 93 95 96 99 100 102 106 112 119 123 126 127 131 136 142 159 160 163 165 167 168 172 173 176 177 182 185 193 194 196 197 200 202 203 204 209 211 213 214 223 225 229 231 233 235 236 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 277 283 284 285 287 290 295 296 303 304 307 312 316 319 322 325 327 331 335 343 344 349 350 351 a 4 6 18 20 21 23 31 32 34 36 42 44 52 57 59 61 62 63 64 66 71 73 77 78 88 90 92 93 95 96 99 100 102 106 112 119 123 126 127 131 136 142 159 160 163 165 167 168 172 173 176 177 182 185 193 194 197 200 202 203 204 209 211 213 214 223 225 229 231 233 235 236 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 277 283 284 285 287 290 295 296 303 304 307 312 316 319 322 325 327 331 335 343 344 349 350 351 a 4 6 18 20 21 23 31 32 34 36 42 44 52 57 59 61 62 63 64 66 71 73 77 78 88 90 92 93 95 96 99 100 102 106 112 119 123 127 131 136 142 157 159 160 163 165 167 168 172 173 176 177 182 185 193 194 197 200 202 203 204 209 211 213 214 223 225 229 231 233 235 236 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 277 283 284 285 287 290 295 296 303 304 307 312 316 319 322 325 327 331 335 343 344 349 350 351 a 4 6 18 20 21 23 31 32 34 36 42 44 52 57 59 61 62 63 64 66 71 73 77 78 88 90 92 93 96 99 100 102 106 112 119 123 127 131 136 142 157 159 160 163 165 167 168 172 173 176 177 182 185 193 194 197 200 202 203 204 209 211 213 214 223 225 229 231 233 235 236 239 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 277 283 284 285 287 290 295 296 303 304 307 312 316 319 322 325 327 331 335 343 344 349 350 351 a 4 6 18 20 21 23 31 32 34 36 42 44 52 57 59 61 62 63 64 66 71 73 76 77 78 88 90 92 93 96 99 100 102 106 112 119 123 127 131 136 142 157 159 160 163 165 167 168 172 173 176 177 182 185 193 194 197 200 202 203 204 209 211 213 214 223 225 229 231 233 235 236 239 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 277 283 284 285 287 290 295 296 303 304 307 312 316 319 322 325 331 335 343 344 349 350 351 a 4 6 18 20 21 23 31 32 34 36 42 44 52 57 59 61 62 63 64 66 68 71 73 76 77 78 88 90 92 93 96 99 100 102 106 112 119 123 127 131 136 142 157 159 160 163 165 167 168 172 173 176 177 182 185 193 194 197 200 202 203 204 209 211 213 214 223 225 229 231 233 235 236 239 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 277 283 284 285 287 290 296 303 304 307 312 316 319 322 325 331 335 343 344 349 350 351 a 4 6 18 20 21 23 31 32 34 36 42 44 52 57 59 61 62 63 64 66 68 71 73 76 77 78 88 90 92 93 96 99 100 102 106 112 119 123 127 131 136 142 157 159 160 163 165 167 168 172 173 176 177 182 185 193 194 197 200 202 203 204 209 210 211 213 214 223 225 229 231 233 235 236 239 247 249 251 253 254 255 256 258 261 265 266 267 270 275 277 283 284 285 287 290 296 303 304 307 312 316 319 322 325 331 335 343 344 349 350 351 a 4 6 18 20 21 23 31 32 34 36 42 44 52 57 59 61 62 63 64 66 68 73 76 77 78 88 90 92 93 96 99 100 102 106 112 119 123 127 131 136 142 157 159 160 163 165 167 168 172 173 176 177 182 185 193 194 197 200 202 203 204 209 210 211 212 213 214 223 225 229 231 233 235 236 239 247 249 251 253 254 255 256 258 261 265 266 267 270 275 277 283 284 285 287 290 296 303 304 307 312 316 319 322 325 331 335 343 344 349 350 351 a 4 6 18 20 21 23 31 32 34 36 42 44 52 57 59 61 62 63 64 66 68 73 76 77 78 88 90 92 93 99 100 102 106 112 119 123 127 131 136 142 157 159 160 163 165 167 168 172 173 176 177 182 185 193 194 197 200 202 203 204 209 210 211 212 213 214 223 225 229 231 233 235 236 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 275 277 283 284 285 287 290 296 303 304 307 312 316 319 322 325 331 335 343 344 349 350 351 a 4 6 18 20 21 23 31 32 34 36 42 44 52 57 59 61 62 63 64 68 73 76 77 78 88 90 92 93 99 100 102 106 112 119 123 127 131 136 142 157 159 160 163 165 167 168 172 173 176 177 182 185 193 194 197 200 202 203 204 209 210 211 212 213 214 223 225 229 231 232 233 235 236 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 275 277 283 284 285 287 290 296 303 304 307 312 316 319 322 325 331 335 343 344 349 350 351 a 4 6 18 20 21 23 31 32 34 36 42 44 52 57 59 61 62 63 64 68 73 76 77 78 88 90 92 93 99 100 102 106 112 119 123 127 131 136 142 157 159 160 163 165 167 168 171 172 173 176 177 182 185 193 194 197 200 202 203 204 209 210 211 212 213 214 223 225 229 231 232 233 235 236 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 275 277 283 284 285 287 296 303 304 307 312 316 319 322 325 331 335 343 344 349 350 351 a 4 6 18 20 21 23 31 32 34 36 42 44 52 57 59 61 62 63 68 73 76 77 78 85 88 90 92 93 99 100 102 106 112 119 123 127 131 136 142 157 159 160 163 165 167 168 171 172 173 176 177 182 185 193 194 197 200 202 203 204 209 210 211 212 213 214 223 225 229 231 232 233 235 236 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 275 277 283 284 285 287 296 303 304 307 312 316 319 322 325 331 335 343 344 349 350 351 a 4 6 18 20 21 23 31 32 34 36 41 42 44 57 59 61 62 63 68 73 76 77 78 85 88 90 92 93 99 100 102 106 112 119 123 127 131 136 142 157 159 160 163 165 167 168 171 172 173 176 177 182 185 193 194 197 200 202 203 204 209 210 211 212 213 214 223 225 229 231 232 233 235 236 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 275 277 283 284 285 287 296 303 304 307 312 316 319 322 325 331 335 343 344 349 350 351 a 4 6 18 20 21 23 31 32 34 36 41 42 44 57 59 61 62 63 68 73 76 77 78 85 88 90 92 93 99 100 102 106 112 119 123 127 131 136 142 157 159 160 163 165 167 168 171 172 173 176 177 182 185 193 194 197 200 202 203 204 209 210 211 212 213 214 223 225 229 231 232 233 235 236 239 242 244 247 249 251 253 254 255 256 258 261 265 266 267 270 275 277 283 284 285 287 296 303 304 307 312 316 319 322 325 331 335 344 349 350 351 a 4 6 18 20 21 23 31 32 34 36 41 42 44 57 59 61 62 63 68 73 76 77 78 85 88 90 92 93 99 100 102 106 112 119 123 127 131 136 142 157 159 160 163 165 167 168 171 172 173 176 177 182 185 193 194 197 200 202 203 204 209 210 211 212 213 214 223 225 229 231 232 233 235 236 239 242 244 247 249 251 253 254 255 256 258 261 265 266 267 270 275 277 283 284 285 287 296 301 303 304 307 312 316 319 322 325 335 344 349 350 351 a 4 6 18 20 21 23 31 32 34 41 42 44 57 59 61 62 63 68 73 76 77 78 85 88 90 92 93 99 100 102 106 112 119 123 127 131 136 142 148 157 159 160 163 165 167 168 171 172 173 176 177 182 185 193 194 197 200 202 203 204 209 210 211 212 213 214 223 225 229 231 232 233 235 236 239 242 244 247 249 251 253 254 255 256 258 261 265 266 267 270 275 277 283 284 285 287 296 301 303 304 307 312 316 319 322 325 335 344 349 350 351 a 4 6 18 20 21 23 31 32 34 41 42 44 57 59 61 62 63 68 73 76 77 78 85 88 90 92 93 99 100 102 106 112 119 123 127 136 142 148 157 159 160 163 165 167 168 171 172 173 176 177 182 185 193 194 197 200 202 203 204 209 210 211 212 213 214 219 223 225 229 231 232 233 235 236 239 242 244 247 249 251 253 254 255 256 258 261 265 266 267 270 275 277 283 284 285 287 296 301 303 304 307 312 316 319 322 325 335 344 349 350 351 a 4 6 18 20 21 23 31 32 34 41 42 44 57 59 61 62 63 68 73 76 77 78 85 88 90 92 93 99 100 102 106 112 119 123 127 136 142 148 157 159 160 163 165 167 168 171 172 173 176 177 182 185 193 194 197 200 202 203 204 209 210 211 212 213 214 215 219 223 225 229 231 232 233 236 239 242 244 247 249 251 253 254 255 256 258 261 265 266 267 270 275 277 283 284 285 287 296 301 303 304 307 312 316 319 322 325 335 344 349 350 351 a 4 6 18 20 21 23 31 32 34 41 42 44 57 59 61 62 63 68 73 76 77 78 85 88 90 92 93 99 100 102 106 112 119 123 127 136 142 148 157 159 160 163 165 167 168 171 172 173 176 177 182 185 193 194 197 200 202 203 204 209 210 211 212 213 214 215 219 223 225 229 231 232 233 236 239 242 244 247 249 251 253 254 255 256 258 261 265 266 267 270 275 277 283 284 285 287 296 298 301 303 304 307 312 316 319 322 325 335 344 350 351 a 4 6 18 20 21 23 31 32 34 41 42 44 57 59 61 62 63 68 73 76 77 78 85 88 90 92 93 99 100 102 106 112 119 123 127 136 142 148 157 159 160 163 165 167 168 171 172 173 176 177 182 185 193 194 197 198 200 202 204 209 210 211 212 213 214 215 219 223 225 229 231 232 233 236 239 242 244 247 249 251 253 254 255 256 258 261 265 266 267 270 275 277 283 284 285 287 296 298 301 303 304 307 312 316 319 322 325 335 344 350 351 a 4 6 18 20 21 23 31 32 34 41 42 44 57 59 61 62 63 68 73 76 77 78 85 88 90 92 93 99 100 102 106 112 119 123 127 136 142 148 157 159 160 163 165 167 168 171 172 173 176 177 182 185 193 194 197 198 200 202 204 209 210 211 212 213 214 215 216 219 223 225 229 231 232 233 236 239 242 244 247 249 251 253 254 255 256 258 261 265 266 267 270 275 277 284 285 287 296 298 301 303 304 307 312 316 319 322 325 335 344 350 351 a 4 6 18 20 21 23 31 32 34 41 42 44 57 59 61 62 63 68 69 73 76 77 78 85 88 90 92 93 99 100 102 106 112 119 123 127 136 142 148 157 159 160 163 165 167 168 171 172 173 176 177 182 185 193 194 197 198 200 202 204 209 210 211 212 213 214 215 216 219 223 225 229 231 232 233 236 239 242 244 247 249 251 253 254 255 256 258 261 265 266 267 270 277 284 285 287 296 298 301 303 304 307 312 316 319 322 325 335 344 350 351 a 4 6 18 20 21 23 31 32 34 37 41 42 44 57 59 61 62 63 68 69 73 76 77 78 85 88 90 92 93 99 100 102 106 112 119 123 127 136 142 148 157 159 160 163 165 167 168 171 172 173 176 177 182 185 193 194 197 198 200 202 204 209 210 211 212 213 214 215 216 219 223 225 229 231 232 233 236 239 242 244 247 249 251 253 254 255 256 258 261 266 267 270 277 284 285 287 296 298 301 303 304 307 312 316 319 322 325 335 344 350 351 a 4 6 18 20 21 23 31 32 34 37 41 42 57 59 61 62 63 68 69 73 76 77 78 85 88 90 92 93 99 100 102 106 112 119 123 125 127 136 142 148 157 159 160 163 165 167 168 171 172 173 176 177 182 185 193 194 197 198 200 202 204 209 210 211 212 213 214 215 216 219 223 225 229 231 232 233 236 239 242 244 247 249 251 253 254 255 256 258 261 266 267 270 277 284 285 287 296 298 301 303 304 307 312 316 319 322 325 335 344 350 351 a 4 6 18 20 21 23 31 32 34 37 41 42 57 59 61 62 63 68 69 73 76 77 78 85 88 90 92 93 99 100 102 106 112 119 123 125 127 142 148 157 159 160 163 165 167 168 170 171 172 173 176 177 182 185 193 194 197 198 200 202 204 209 210 211 212 213 214 215 216 219 223 225 229 231 232 233 236 239 242 244 247 249 251 253 254 255 256 258 261 266 267 270 277 284 285 287 296 298 301 303 304 307 312 316 319 322 325 335 344 350 351 a 4 6 18 20 21 23 31 32 34 37 41 42 57 59 61 62 63 68 69 73 76 77 78 85 88 90 92 93 99 100 102 106 112 119 123 125 127 142 148 157 159 160 163 165 167 168 170 171 172 173 176 177 182 185 193 194 197 198 200 202 204 209 210 211 212 213 214 215 216 219 223 225 229 231 232 233 236 239 242 244 247 249 250 251 253 254 255 256 258 261 266 267 270 277 284 285 287 296 298 301 303 304 307 312 316 319 322 335 344 350 351 a 4 6 18 20 21 23 31 32 34 37 41 42 57 59 61 62 63 68 69 73 76 77 78 85 88 90 92 93 99 100 102 106 112 119 123 125 127 142 145 148 157 160 163 165 167 168 170 171 172 173 176 177 182 185 193 194 197 198 200 202 204 209 210 211 212 213 214 215 216 219 223 225 229 231 232 233 236 239 242 244 247 249 250 251 253 254 255 256 258 261 266 267 270 277 284 285 287 296 298 301 303 304 307 312 316 319 322 335 344 350 351 a 4 6 20 21 23 31 32 34 37 41 42 57 59 61 62 63 68 69 73 76 77 78 85 88 90 92 93 98 99 100 102 106 112 119 123 125 127 142 145 148 157 160 163 165 167 168 170 171 172 173 176 177 182 185 193 194 197 198 200 202 204 209 210 211 212 213 214 215 216 219 223 225 229 231 232 233 236 239 242 244 247 249 250 251 253 254 255 256 258 261 266 267 270 277 284 285 287 296 298 301 303 304 307 312 316 319 322 335 344 350 351 a 4 6 20 21 23 31 32 34 37 41 42 57 59 61 62 63 68 69 73 76 77 85 88 90 92 93 98 99 100 102 106 112 119 123 125 127 142 145 148 157 160 163 165 167 168 170 171 172 173 176 177 182 185 193 194 197 198 200 202 204 209 210 211 212 213 214 215 216 219 223 225 229 231 232 233 236 239 242 244 247 249 250 251 253 254 255 256 258 261 266 267 270 277 284 285 287 296 298 301 303 304 307 310 312 316 319 322 335 344 350 351 a 4 6 20 23 31 32 34 37 41 42 57 59 61 62 63 68 69 73 76 77 85 88 90 92 93 98 99 100 102 106 112 119 123 125 127 142 145 148 154 157 160 163 165 167 168 170 171 172 173 176 177 182 185 193 194 197 198 200 202 204 209 210 211 212 213 214 215 216 219 223 225 229 231 232 233 236 239 242 244 247 249 250 251 253 254 255 256 258 261 266 267 270 277 284 285 287 296 298 301 303 304 307 310 312 316 319 322 335 344 350 351 a 4 6 20 23 31 32 34 37 41 42 57 59 61 62 63 68 69 76 77 85 88 90 92 93 98 99 100 102 106 112 119 123 125 127 142 145 148 154 157 160 161 163 165 167 168 170 171 172 173 176 177 182 185 193 194 197 198 200 202 204 209 210 211 212 213 214 215 216 219 223 225 229 231 232 233 236 239 242 244 247 249 250 251 253 254 255 256 258 261 266 267 270 277 284 285 287 296 298 301 303 304 307 310 312 316 319 322 335 344 350 351 a 4 6 20 23 31 32 34 37 41 42 57 59 61 62 63 68 69 76 77 85 88 90 92 93 98 99 100 102 106 112 119 123 125 127 142 145 148 154 157 160 161 163 165 167 168 170 171 172 173 176 177 182 185 193 194 197 198 200 202 204 209 210 211 212 213 214 215 216 219 223 225 229 230 231 232 233 236 239 242 244 247 249 250 251 253 254 255 256 258 261 266 267 270 277 284 285 287 296 298 301 303 304 307 310 316 319 322 335 344 350 351 c Step: 75 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance027_graph004.col /benchmark/random_instance/random_instance027_graph004_01.dat" User time (seconds): 8.60 System time (seconds): 0.24 Percent of CPU this job got: 245% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.59 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): 243376 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 158213 Voluntary context switches: 9036 Involuntary context switches: 39 Swaps: 0 File system inputs: 0 File system outputs: 432 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 15:09:40 2023]