#BEGIN: [Mon Sep 4 12:43:24 2023] #HOST: s07 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-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 --ulimit cpu=1800 -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 6 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 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 6 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 126 131 134 136 137 144 153 156 159 163 165 167 168 172 173 176 179 182 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 330 331 336 340 343 345 347 349 350 a 4 5 6 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 126 131 134 136 137 144 153 156 159 163 165 167 168 172 173 176 179 182 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 330 331 336 340 343 345 347 349 350 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 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 126 131 134 136 137 144 153 156 159 163 165 167 168 172 173 176 179 182 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 330 331 336 340 343 345 347 349 350 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 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 126 131 134 136 137 144 153 156 159 163 165 167 168 172 173 176 179 182 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 330 331 336 343 345 347 349 350 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 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 126 131 134 136 137 144 153 156 159 163 165 167 168 172 173 176 179 182 185 187 190 196 201 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 313 315 316 317 319 323 325 327 330 331 336 343 345 347 349 350 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 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 126 131 134 136 137 153 156 159 163 165 167 168 172 173 176 179 182 185 187 190 196 201 202 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 313 315 316 317 319 323 325 327 330 331 336 343 345 347 349 350 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 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 126 131 134 136 137 153 156 159 163 165 167 168 172 173 176 179 182 185 187 190 196 201 202 203 204 209 211 213 214 218 228 233 235 236 238 240 249 253 254 261 265 267 271 275 281 283 284 285 289 290 293 295 313 315 316 317 319 323 325 327 330 331 336 343 345 347 349 350 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 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 126 131 134 136 137 153 156 159 163 165 167 168 172 173 176 179 182 185 187 190 196 201 202 203 204 209 211 213 214 218 223 228 233 235 236 238 240 249 253 254 261 265 267 271 275 281 283 284 285 289 290 295 313 315 316 317 319 323 325 327 330 331 336 343 345 347 349 350 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 43 44 47 50 52 57 58 60 61 62 64 66 70 71 73 78 86 88 89 90 92 93 95 96 99 100 101 106 112 126 131 134 136 137 153 156 159 163 165 167 168 172 173 176 179 182 185 187 190 196 201 202 203 204 209 211 213 214 218 223 228 233 235 236 238 240 249 253 254 261 265 267 271 275 281 283 284 285 289 290 295 313 315 316 317 319 323 325 327 330 331 336 343 345 347 349 350 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 43 44 47 50 52 57 58 60 61 62 64 66 70 71 73 78 86 88 89 90 92 93 95 96 99 100 101 106 112 126 131 134 136 137 142 156 159 163 165 167 168 172 173 176 179 182 185 187 190 196 201 202 203 204 209 211 213 214 218 223 228 233 235 236 238 240 249 253 254 261 265 267 271 275 281 283 284 285 289 290 295 313 315 316 317 319 323 325 327 330 331 336 343 345 347 349 350 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 43 44 47 50 52 57 58 60 61 62 64 66 70 71 73 78 86 88 89 90 92 93 95 96 99 100 101 106 112 126 131 134 136 137 142 156 159 163 165 167 168 172 173 176 179 182 185 187 190 196 201 202 203 204 209 211 213 214 218 223 228 233 235 236 238 240 249 251 253 254 261 265 267 271 275 281 283 284 285 289 290 295 313 315 316 317 319 323 325 327 330 331 336 343 345 349 350 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 70 71 73 78 86 88 89 90 92 93 95 96 99 100 101 106 112 126 131 134 136 137 142 156 159 163 165 167 168 172 173 176 179 182 185 187 190 196 201 202 203 204 209 211 213 214 218 223 228 233 235 236 238 240 249 251 253 254 261 265 267 271 275 281 283 284 285 289 290 295 313 315 316 317 319 322 323 325 327 330 331 336 343 345 349 350 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 70 71 73 78 86 88 89 90 92 93 95 96 99 100 101 106 112 123 126 131 134 136 137 142 156 159 163 165 167 168 172 173 176 179 182 185 187 190 196 201 202 203 204 209 211 213 214 218 223 228 233 235 236 238 240 249 251 253 254 261 265 267 271 275 281 283 284 285 289 290 295 313 315 316 317 319 322 323 325 327 331 336 343 345 349 350 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 70 71 73 78 86 88 89 90 92 93 95 96 99 100 101 106 112 123 126 131 134 136 137 142 156 159 163 165 167 168 172 173 176 182 185 187 190 196 201 202 203 204 209 211 213 214 218 223 228 233 235 236 238 240 249 251 253 254 261 265 267 271 275 281 283 284 285 289 290 295 313 315 316 317 319 322 323 325 327 331 336 343 345 349 350 351 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 70 71 73 78 86 88 89 90 92 93 95 96 99 100 101 106 112 123 126 131 134 136 137 142 156 159 163 165 167 168 172 173 176 182 185 187 190 196 201 202 203 204 209 211 213 214 218 223 228 233 235 236 238 240 249 251 253 254 261 265 267 271 275 281 283 284 285 289 290 295 304 313 315 316 317 319 322 325 327 331 336 343 345 349 350 351 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 70 71 73 78 86 88 89 90 92 93 95 99 100 101 106 112 123 126 131 134 136 137 142 156 159 163 165 167 168 172 173 176 182 185 187 190 196 201 202 203 204 209 211 213 214 218 223 228 233 235 236 238 240 249 251 253 254 261 265 267 271 275 281 283 284 285 287 289 290 295 304 313 315 316 317 319 322 325 327 331 336 343 345 349 350 351 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 43 44 50 52 57 58 60 61 62 64 66 70 71 73 78 86 88 89 90 92 93 95 99 100 101 106 112 123 126 131 134 136 137 142 156 159 163 165 167 168 172 173 176 182 185 187 190 196 201 202 203 204 209 211 213 214 218 223 228 233 235 236 238 249 251 253 254 261 265 266 267 271 275 281 283 284 285 287 289 290 295 304 313 315 316 317 319 322 325 327 331 336 343 345 349 350 351 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 43 44 50 52 57 58 61 62 64 66 70 71 73 78 86 88 89 90 92 93 95 99 100 101 106 112 123 126 131 134 136 137 142 156 159 163 165 167 168 172 173 176 182 185 187 190 196 197 201 202 203 204 209 211 213 214 218 223 228 233 235 236 238 249 251 253 254 261 265 266 267 271 275 281 283 284 285 287 289 290 295 304 313 315 316 317 319 322 325 327 331 336 343 345 349 350 351 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 43 44 52 57 58 61 62 64 66 70 71 73 78 85 86 88 89 90 92 93 95 99 100 101 106 112 123 126 131 134 136 137 142 156 159 163 165 167 168 172 173 176 182 185 187 190 196 197 201 202 203 204 209 211 213 214 218 223 228 233 235 236 238 249 251 253 254 261 265 266 267 271 275 281 283 284 285 287 289 290 295 304 313 315 316 317 319 322 325 327 331 336 343 345 349 350 351 a 4 5 6 16 18 20 21 22 23 31 32 35 36 42 43 44 52 57 58 61 62 64 66 70 71 73 78 85 86 88 89 90 92 93 95 99 100 101 106 112 123 126 134 136 137 142 156 159 163 165 167 168 172 173 176 182 185 187 190 196 197 201 202 203 204 209 211 213 214 218 219 223 228 233 235 236 238 249 251 253 254 261 265 266 267 271 275 281 283 284 285 287 289 290 295 304 313 315 316 317 319 322 325 327 331 336 343 345 349 350 351 a 4 5 6 16 18 20 21 22 23 31 32 36 42 43 44 52 57 58 61 62 64 66 70 71 73 78 85 86 88 89 90 92 93 95 99 100 101 106 112 123 126 134 136 137 142 156 159 163 165 167 168 172 173 176 182 185 187 190 196 197 201 202 203 204 209 211 213 214 218 219 223 228 233 235 236 238 249 251 253 254 261 265 266 267 271 275 281 283 284 285 287 289 290 295 303 304 313 315 316 317 319 322 325 327 331 336 343 345 349 350 351 a 4 5 6 16 18 20 21 22 23 31 32 36 42 43 44 52 57 58 61 62 64 66 70 71 73 78 85 86 88 89 90 92 93 95 99 100 101 106 112 123 126 134 136 137 142 156 159 163 165 167 168 172 173 176 182 185 187 190 196 197 201 202 203 204 209 211 213 214 218 219 223 228 233 235 236 238 249 251 253 254 255 261 265 266 267 271 275 281 283 284 285 287 289 290 295 303 304 313 315 316 317 319 322 325 327 331 343 345 349 350 351 a 4 5 6 16 20 21 22 23 31 32 36 42 43 44 52 57 58 61 62 64 66 70 71 73 78 85 86 88 89 90 92 93 95 98 99 100 101 106 112 123 126 134 136 137 142 156 159 163 165 167 168 172 173 176 182 185 187 190 196 197 201 202 203 204 209 211 213 214 218 219 223 228 233 235 236 238 249 251 253 254 255 261 265 266 267 271 275 281 283 284 285 287 289 290 295 303 304 313 315 316 317 319 322 325 327 331 343 345 349 350 351 a 4 5 6 16 20 21 22 23 31 32 36 42 43 44 52 57 58 61 62 64 66 70 71 73 85 86 88 89 90 92 93 95 98 99 100 101 106 112 123 126 134 136 137 142 156 159 161 163 165 167 168 172 173 176 182 185 187 190 196 197 201 202 203 204 209 211 213 214 218 219 223 228 233 235 236 238 249 251 253 254 255 261 265 266 267 271 275 281 283 284 285 287 289 290 295 303 304 313 315 316 317 319 322 325 327 331 343 345 349 350 351 a 4 5 6 16 20 21 22 23 31 32 36 42 43 44 52 57 58 61 62 64 66 70 71 73 85 86 88 89 90 92 93 95 98 99 100 101 106 112 123 126 134 136 137 142 156 159 161 163 165 167 168 172 173 176 182 185 187 190 197 201 202 203 204 209 211 213 214 218 219 223 228 233 235 236 238 244 249 251 253 254 255 261 265 266 267 271 275 281 283 284 285 287 289 290 295 303 304 313 315 316 317 319 322 325 327 331 343 345 349 350 351 a 4 5 6 16 20 21 22 23 31 32 36 42 43 44 52 57 58 61 62 64 66 70 71 73 76 85 86 88 89 90 92 93 95 98 99 100 101 106 112 123 126 134 136 137 142 156 159 161 163 165 167 168 172 173 176 182 185 187 190 197 201 202 203 204 209 211 213 214 218 219 223 228 233 235 236 238 244 249 251 253 254 255 261 265 266 267 271 275 281 283 284 285 287 289 290 295 303 304 313 315 316 317 319 322 325 331 343 345 349 350 351 a 4 5 6 16 20 21 22 23 31 32 36 42 43 44 52 57 58 61 62 64 66 70 71 73 76 85 86 88 89 90 92 93 95 98 99 100 101 106 112 123 126 134 136 137 142 156 161 163 165 167 168 172 173 176 182 185 187 190 197 201 202 203 204 209 211 213 214 218 219 223 228 233 235 236 238 244 249 251 253 254 255 261 265 266 267 271 275 281 283 284 285 287 289 290 295 303 304 310 313 315 316 317 319 322 325 331 343 345 349 350 351 a 4 6 16 20 21 22 23 31 32 36 42 43 44 52 57 58 61 62 64 66 70 71 73 76 85 86 88 89 90 92 93 95 98 99 100 101 106 112 123 126 134 136 137 142 156 161 163 165 167 168 172 173 176 182 185 187 190 197 201 202 203 204 209 211 213 214 218 219 223 228 233 235 236 238 244 247 249 251 253 254 255 261 265 266 267 271 275 281 283 284 285 287 289 290 295 303 304 310 313 315 316 317 319 322 325 331 343 345 349 350 351 a 4 6 16 20 21 22 23 31 32 36 42 43 44 52 57 58 61 62 64 66 70 71 73 76 77 85 86 88 89 90 92 93 95 98 99 100 101 106 112 123 126 134 136 137 142 156 161 163 165 167 168 172 173 176 182 185 187 190 197 201 202 203 204 209 211 213 214 218 219 223 233 235 236 238 244 247 249 251 253 254 255 261 265 266 267 271 275 281 283 284 285 287 289 290 295 303 304 310 313 315 316 317 319 322 325 331 343 345 349 350 351 a 4 6 16 20 21 22 23 31 32 36 42 43 44 52 57 58 61 62 64 66 70 71 73 76 77 85 86 88 89 90 92 93 95 98 99 100 101 106 112 123 126 134 136 137 142 156 161 163 165 167 168 172 173 176 182 185 187 190 197 200 201 202 203 204 209 211 213 214 218 219 223 233 235 236 238 244 247 249 251 253 254 255 261 265 266 267 271 275 281 283 284 285 287 289 290 295 303 304 310 315 316 317 319 322 325 331 343 345 349 350 351 a 4 6 16 20 21 22 23 31 32 36 42 43 44 52 57 58 61 62 64 66 70 71 73 76 77 85 86 88 89 90 92 93 95 98 99 100 101 106 112 123 126 134 136 137 142 156 161 163 165 167 168 172 173 176 182 185 190 197 200 201 202 203 204 209 211 213 214 218 219 223 233 235 236 238 244 247 249 251 253 254 255 261 265 266 267 271 275 281 283 284 285 287 289 290 295 303 304 307 310 315 316 317 319 322 325 331 343 345 349 350 351 a 4 6 16 20 21 22 23 31 32 36 42 44 52 57 58 61 62 64 66 70 71 73 76 77 85 86 88 89 90 92 93 95 98 99 100 101 106 112 123 126 134 136 137 142 156 161 163 165 167 168 172 173 176 182 185 190 197 200 201 202 203 204 209 211 213 214 218 219 223 233 235 236 238 244 247 249 251 253 254 255 258 261 265 266 267 271 275 281 283 284 285 287 289 290 295 303 304 307 310 315 316 317 319 322 325 331 343 345 349 350 351 a 4 6 16 20 21 22 23 31 32 36 42 44 52 57 58 61 62 64 66 71 73 76 77 85 86 88 89 90 92 93 95 98 99 100 101 106 112 123 126 134 136 137 142 156 161 163 165 167 168 172 173 176 182 185 190 197 200 201 202 203 204 209 211 213 214 218 219 223 233 235 236 238 244 247 249 251 253 254 255 258 261 265 266 267 271 275 281 283 284 285 287 289 290 295 303 304 307 310 315 316 317 319 322 325 331 335 343 345 349 350 351 a 4 6 16 20 21 22 23 31 32 36 42 44 52 57 58 61 62 64 66 71 73 76 77 85 86 88 89 90 92 93 95 98 99 100 101 106 112 123 126 134 136 137 142 161 163 165 167 168 172 173 176 182 185 190 197 200 201 202 203 204 209 211 213 214 218 219 223 233 235 236 238 244 247 249 251 253 254 255 258 261 265 266 267 270 271 275 281 283 284 285 287 289 290 295 303 304 307 310 315 316 317 319 322 325 331 335 343 345 349 350 351 a 4 6 16 20 21 22 23 31 32 36 42 44 52 57 58 61 62 64 66 71 73 76 77 85 88 89 90 92 93 95 98 99 100 101 106 112 123 126 134 136 137 142 161 163 165 167 168 172 173 176 182 185 190 193 197 200 201 202 203 204 209 211 213 214 218 219 223 233 235 236 238 244 247 249 251 253 254 255 258 261 265 266 267 270 271 275 281 283 284 285 287 289 290 295 303 304 307 310 315 316 317 319 322 325 331 335 343 345 349 350 351 a 4 6 16 20 21 22 23 31 32 36 42 44 52 57 58 61 62 64 66 71 76 77 85 88 89 90 92 93 95 98 99 100 101 106 112 123 126 134 136 137 142 161 163 165 167 168 172 173 176 182 185 190 193 197 200 201 202 203 204 209 211 213 214 218 219 223 230 233 235 236 238 244 247 249 251 253 254 255 258 261 265 266 267 270 271 275 281 283 284 285 287 289 290 295 303 304 307 310 315 316 317 319 322 325 331 335 343 345 349 350 351 a 4 6 16 20 21 22 23 31 32 36 42 44 52 57 58 61 62 64 66 71 76 77 85 88 89 90 92 93 95 98 99 100 101 106 112 123 126 134 136 137 142 160 161 163 165 167 168 172 173 176 182 185 190 193 197 200 201 202 203 204 209 211 213 214 218 219 223 230 233 235 236 238 244 247 249 251 253 254 255 258 261 265 266 267 270 271 275 281 283 284 285 287 290 295 303 304 307 310 315 316 317 319 322 325 331 335 343 345 349 350 351 a 4 6 16 20 21 22 23 31 32 42 44 52 57 58 61 62 64 66 71 76 77 85 88 89 90 92 93 95 98 99 100 101 106 112 123 126 134 136 137 142 160 161 163 165 167 168 172 173 176 182 185 190 193 197 200 201 202 203 204 209 211 213 214 218 219 223 230 233 235 236 238 244 247 249 251 253 254 255 258 261 265 266 267 270 271 275 281 283 284 285 287 290 295 296 303 304 307 310 315 316 317 319 322 325 331 335 343 345 349 350 351 a 4 6 16 20 21 22 23 31 32 42 44 52 57 58 61 62 64 66 71 76 77 85 88 90 92 93 95 98 99 100 101 106 112 119 123 126 134 136 137 142 160 161 163 165 167 168 172 173 176 182 185 190 193 197 200 201 202 203 204 209 211 213 214 218 219 223 230 233 235 236 238 244 247 249 251 253 254 255 258 261 265 266 267 270 271 275 281 283 284 285 287 290 295 296 303 304 307 310 315 316 317 319 322 325 331 335 343 345 349 350 351 a 4 6 16 20 21 22 23 31 32 42 44 52 57 58 61 62 64 66 71 76 77 85 88 90 92 93 95 98 99 100 101 106 112 119 123 126 134 136 137 142 160 161 163 165 167 168 172 173 176 182 185 190 193 197 200 201 202 203 204 209 211 213 214 219 223 230 233 235 236 238 244 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 281 283 284 285 287 290 295 296 303 304 307 310 315 316 317 319 322 325 331 335 343 345 349 350 351 a 4 6 16 20 21 22 23 31 32 42 44 52 57 58 61 62 64 66 71 76 77 85 88 90 92 93 95 98 99 100 101 106 112 119 123 126 127 134 136 137 142 160 161 163 165 167 168 172 173 176 182 185 190 193 197 200 201 202 203 204 209 211 213 214 219 223 230 233 235 236 238 244 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 281 283 284 285 287 290 295 296 303 304 307 310 315 316 317 319 322 325 331 335 343 349 350 351 a 4 6 16 20 21 22 23 31 32 42 44 52 57 58 61 62 64 66 71 76 77 85 88 90 92 93 95 98 99 100 101 102 106 112 119 123 126 127 134 136 137 142 160 161 163 165 167 168 172 173 176 182 185 190 193 197 200 201 202 203 204 209 211 213 214 219 223 230 233 235 236 238 244 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 281 283 284 285 287 290 295 296 303 304 307 310 315 316 319 322 325 331 335 343 349 350 351 a 4 6 16 20 21 22 23 31 32 34 42 44 52 57 58 61 62 64 66 71 76 77 85 88 90 92 93 95 98 99 100 101 102 106 112 119 123 126 127 136 137 142 160 161 163 165 167 168 172 173 176 182 185 190 193 197 200 201 202 203 204 209 211 213 214 219 223 230 233 235 236 238 244 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 281 283 284 285 287 290 295 296 303 304 307 310 315 316 319 322 325 331 335 343 349 350 351 a 4 6 16 20 21 22 23 31 32 34 42 44 52 57 58 61 62 64 66 71 76 77 85 88 90 92 93 95 98 99 100 101 102 106 112 119 123 126 127 136 137 142 160 161 163 165 167 168 172 173 176 182 185 190 193 197 200 202 203 204 209 211 213 214 219 223 225 230 233 235 236 238 244 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 281 283 284 285 287 290 295 296 303 304 307 310 315 316 319 322 325 331 335 343 349 350 351 a 4 6 20 21 22 23 31 32 34 42 44 52 57 58 59 61 62 64 66 71 76 77 85 88 90 92 93 95 98 99 100 101 102 106 112 119 123 126 127 136 137 142 160 161 163 165 167 168 172 173 176 182 185 190 193 197 200 202 203 204 209 211 213 214 219 223 225 230 233 235 236 238 244 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 281 283 284 285 287 290 295 296 303 304 307 310 315 316 319 322 325 331 335 343 349 350 351 a 4 6 20 21 22 23 31 32 34 42 44 52 57 58 59 61 62 64 66 71 76 77 85 88 90 92 93 95 98 99 100 101 102 106 112 119 123 127 136 137 142 160 161 163 165 167 168 172 173 176 182 185 190 193 197 200 202 203 204 209 211 213 214 219 223 225 230 233 235 236 238 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 281 283 284 285 287 290 295 296 303 304 307 310 315 316 319 322 325 331 335 343 349 350 351 a 4 6 20 21 22 23 31 32 34 42 44 52 57 58 59 61 62 64 66 71 76 77 85 88 90 92 93 95 98 99 100 101 102 106 112 119 123 127 136 137 142 160 161 163 165 167 168 172 173 176 182 185 190 193 197 200 202 203 204 209 211 213 214 219 223 225 229 230 233 235 236 238 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 281 283 284 285 287 290 295 296 303 304 307 310 316 319 322 325 331 335 343 349 350 351 a 4 6 20 21 22 23 31 32 34 42 44 52 57 58 59 61 62 64 66 71 76 77 85 88 90 92 93 95 98 99 100 101 102 106 112 119 123 127 136 137 142 157 160 161 163 165 167 168 172 173 176 182 185 193 197 200 202 203 204 209 211 213 214 219 223 225 229 230 233 235 236 238 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 281 283 284 285 287 290 295 296 303 304 307 310 316 319 322 325 331 335 343 349 350 351 a 4 6 20 21 23 31 32 34 42 44 52 57 58 59 61 62 63 64 66 71 76 77 85 88 90 92 93 95 98 99 100 101 102 106 112 119 123 127 136 137 142 157 160 161 163 165 167 168 172 173 176 182 185 193 197 200 202 203 204 209 211 213 214 219 223 225 229 230 233 235 236 238 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 281 283 284 285 287 290 295 296 303 304 307 310 316 319 322 325 331 335 343 349 350 351 a 4 6 20 21 23 31 32 34 42 44 52 57 58 59 61 62 63 64 66 71 76 77 85 88 90 92 93 98 99 100 101 102 106 112 119 123 127 136 137 142 157 160 161 163 165 167 168 172 173 176 182 185 193 197 200 202 203 204 209 211 213 214 219 223 225 229 230 233 235 236 238 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 277 281 283 284 285 287 290 295 296 303 304 307 310 316 319 322 325 331 335 343 349 350 351 a 4 6 20 21 23 31 32 34 42 44 52 57 58 59 61 62 63 64 66 71 76 77 85 88 90 92 93 98 99 100 101 102 106 112 119 123 127 136 137 142 157 160 161 163 165 167 168 172 173 176 182 185 193 197 200 202 203 204 209 211 213 214 219 223 225 229 230 231 233 235 236 238 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 277 281 283 284 285 287 290 295 296 303 304 307 310 316 319 322 331 335 343 349 350 351 a 4 6 20 23 31 32 34 42 44 52 57 58 59 61 62 63 64 66 71 76 77 85 88 90 92 93 98 99 100 101 102 106 112 119 123 127 136 137 142 154 157 160 161 163 165 167 168 172 173 176 182 185 193 197 200 202 203 204 209 211 213 214 219 223 225 229 230 231 233 235 236 238 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 277 281 283 284 285 287 290 295 296 303 304 307 310 316 319 322 331 335 343 349 350 351 a 4 6 20 23 31 32 34 42 44 52 57 58 59 61 62 63 64 66 68 71 76 77 85 88 90 92 93 98 99 100 101 102 106 112 119 123 127 136 137 142 154 157 160 161 163 165 167 168 172 173 176 182 185 193 197 200 202 203 204 209 211 213 214 219 223 225 229 230 231 233 235 236 238 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 277 281 283 284 285 287 290 296 303 304 307 310 316 319 322 331 335 343 349 350 351 a 4 6 20 23 31 32 34 42 44 52 57 58 59 61 62 63 64 66 68 71 76 77 85 88 90 92 93 98 99 100 101 102 106 112 119 123 127 136 142 154 157 160 161 163 165 167 168 172 173 176 182 185 193 197 200 202 203 204 209 211 213 214 219 223 225 229 230 231 233 235 236 238 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 277 281 283 284 285 287 290 296 303 304 307 310 316 319 322 331 335 343 344 349 350 351 a 4 6 20 23 31 32 34 42 44 52 57 58 59 61 62 63 64 66 68 71 76 77 85 88 90 92 93 98 99 100 101 102 106 112 119 123 127 136 142 154 157 160 161 163 165 167 168 172 173 176 182 185 193 197 200 202 203 204 209 211 213 214 215 219 223 225 229 230 231 233 236 238 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 277 281 283 284 285 287 290 296 303 304 307 310 316 319 322 331 335 343 344 349 350 351 a 4 6 20 23 31 32 34 42 44 52 57 58 59 61 62 63 64 68 71 76 77 85 88 90 92 93 98 99 100 101 102 106 112 119 123 127 136 142 145 154 157 160 161 163 165 167 168 172 173 176 182 185 193 197 200 202 203 204 209 211 213 214 215 219 223 225 229 230 231 233 236 238 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 271 275 277 281 283 284 285 287 290 296 303 304 307 310 316 319 322 331 335 343 344 349 350 351 a 4 6 20 23 31 32 34 42 44 52 57 58 59 61 62 63 64 68 71 76 77 85 88 90 92 93 98 99 100 101 102 106 112 119 123 127 136 142 145 154 157 160 161 163 165 167 168 172 173 176 182 185 193 197 200 202 203 204 209 211 213 214 215 219 223 225 229 230 231 232 233 236 238 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 275 277 281 283 284 285 287 290 296 303 304 307 310 316 319 322 331 335 343 344 349 350 351 a 4 6 20 23 31 32 34 42 44 57 58 59 61 62 63 64 68 71 76 77 85 88 90 92 93 98 99 100 101 102 106 112 119 123 127 136 142 145 154 157 160 161 163 165 167 168 172 173 176 182 185 193 197 200 202 203 204 209 210 211 213 214 215 219 223 225 229 230 231 232 233 236 238 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 275 277 281 283 284 285 287 290 296 303 304 307 310 316 319 322 331 335 343 344 349 350 351 a 4 6 20 23 31 32 34 42 44 57 58 59 61 62 63 64 68 71 76 77 85 88 90 92 93 98 99 100 101 102 106 112 119 123 127 136 142 145 154 157 160 161 163 165 167 168 172 173 176 182 185 193 197 198 200 202 203 204 209 210 211 213 214 215 219 223 225 229 230 231 232 233 236 238 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 275 277 281 283 284 285 287 290 296 303 304 307 310 316 319 322 331 335 343 344 350 351 a 4 6 20 23 31 32 34 42 44 57 58 59 61 62 63 64 68 76 77 85 88 90 92 93 98 99 100 101 102 106 112 119 123 127 136 142 145 154 157 160 161 163 165 167 168 172 173 176 182 185 193 197 198 200 202 203 204 209 210 211 212 213 214 215 219 223 225 229 230 231 232 233 236 238 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 275 277 281 283 284 285 287 290 296 303 304 307 310 316 319 322 331 335 343 344 350 351 a 4 6 20 23 31 32 34 42 44 57 58 59 61 62 63 64 68 76 77 85 88 90 92 93 98 99 100 101 102 106 112 119 123 127 136 142 145 154 157 160 161 163 165 167 168 171 172 173 176 182 185 193 197 198 200 202 203 204 209 210 211 212 213 214 215 219 223 225 229 230 231 232 233 236 238 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 275 277 281 283 284 285 287 296 303 304 307 310 316 319 322 331 335 343 344 350 351 a 4 6 20 23 31 32 34 42 44 57 58 59 61 62 63 64 68 76 77 85 88 90 92 93 98 99 100 101 102 106 112 119 123 127 136 142 145 154 157 160 161 163 165 167 168 171 172 173 176 182 185 193 197 198 200 202 203 204 209 210 211 212 213 214 215 219 223 225 229 230 231 232 233 236 238 239 244 247 249 251 253 254 255 256 258 261 265 266 267 270 275 277 281 283 284 285 287 296 301 303 304 307 310 316 319 322 335 343 344 350 351 a 4 6 20 23 31 32 34 42 44 57 58 59 61 62 63 64 68 76 77 85 88 90 92 93 98 99 100 101 102 106 112 119 123 127 136 142 145 148 154 157 160 161 163 165 167 168 171 172 173 176 182 185 193 197 198 200 202 203 204 209 210 211 212 213 214 215 219 223 225 229 230 231 232 233 236 238 239 244 247 249 251 253 254 255 256 258 261 266 267 270 275 277 281 283 284 285 287 296 301 303 304 307 310 316 319 322 335 343 344 350 351 a 4 6 20 23 31 32 34 37 42 44 57 58 59 61 62 63 64 68 76 77 85 88 90 92 93 98 99 100 102 106 112 119 123 127 136 142 145 148 154 157 160 161 163 165 167 168 171 172 173 176 182 185 193 197 198 200 202 203 204 209 210 211 212 213 214 215 219 223 225 229 230 231 232 233 236 238 239 244 247 249 251 253 254 255 256 258 261 266 267 270 275 277 281 283 284 285 287 296 301 303 304 307 310 316 319 322 335 343 344 350 351 a 4 6 20 23 31 32 34 37 42 44 57 58 59 61 62 63 64 68 76 77 85 88 90 92 93 98 99 100 102 106 112 119 123 127 136 142 145 148 154 157 160 161 163 165 167 168 171 172 173 176 177 182 185 193 197 198 200 202 203 204 209 210 211 212 213 214 215 219 223 225 229 230 231 232 233 236 238 239 244 247 249 251 253 254 255 256 258 261 266 267 270 275 277 281 284 285 287 296 301 303 304 307 310 316 319 322 335 343 344 350 351 a 4 6 20 23 31 32 34 37 42 44 57 58 59 61 62 63 64 68 69 76 77 85 88 90 92 93 98 99 100 102 106 112 119 123 127 136 142 145 148 154 157 160 161 163 165 167 168 171 172 173 176 177 182 185 193 197 198 200 202 203 204 209 210 211 212 213 214 215 219 223 225 229 230 231 232 233 236 238 239 244 247 249 251 253 254 255 256 258 261 266 267 270 277 281 284 285 287 296 301 303 304 307 310 316 319 322 335 343 344 350 351 a 4 6 20 23 31 32 34 37 42 44 57 58 59 61 62 63 64 68 69 76 77 85 88 90 92 93 98 99 100 102 106 112 119 123 127 136 142 145 148 154 157 160 161 163 165 167 168 171 172 173 176 177 182 185 193 197 198 200 202 203 204 209 210 211 212 213 214 215 216 219 223 225 229 230 231 232 233 236 238 239 244 247 249 251 253 254 255 256 258 261 266 267 270 277 284 285 287 296 301 303 304 307 310 316 319 322 335 343 344 350 351 a 4 6 20 23 31 32 34 37 41 42 44 57 58 59 61 62 63 68 69 76 77 85 88 90 92 93 98 99 100 102 106 112 119 123 127 136 142 145 148 154 157 160 161 163 165 167 168 171 172 173 176 177 182 185 193 197 198 200 202 203 204 209 210 211 212 213 214 215 216 219 223 225 229 230 231 232 233 236 238 239 244 247 249 251 253 254 255 256 258 261 266 267 270 277 284 285 287 296 301 303 304 307 310 316 319 322 335 343 344 350 351 a 4 6 20 23 31 32 34 37 41 42 44 57 58 59 61 62 63 68 69 76 77 85 88 90 92 93 98 99 100 102 106 112 119 123 127 136 142 145 148 154 157 160 161 163 165 167 168 171 172 173 176 177 182 185 193 197 198 200 202 203 204 209 210 211 212 213 214 215 216 219 223 225 229 230 231 232 233 236 238 239 244 247 249 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 a 4 6 20 23 31 32 34 37 41 42 44 57 58 59 61 62 63 68 69 76 77 85 88 90 92 93 98 99 100 102 106 112 119 123 127 136 142 145 148 154 157 160 161 163 165 167 168 171 172 173 176 177 182 185 193 197 198 200 202 203 204 209 210 211 212 213 214 215 216 219 223 225 229 230 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 310 316 319 322 335 344 350 351 a 4 6 20 23 31 32 34 37 41 42 44 57 59 61 62 63 68 69 76 77 85 88 90 92 93 98 99 100 102 106 112 119 123 127 136 142 145 148 154 157 160 161 163 165 167 168 171 172 173 176 177 182 185 193 194 197 198 200 202 203 204 209 210 211 212 213 214 215 216 219 223 225 229 230 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 310 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 136 142 145 148 154 157 160 161 163 165 167 168 171 172 173 176 177 182 185 193 194 197 198 200 202 203 204 209 210 211 212 213 214 215 216 219 223 225 229 230 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 310 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 171 172 173 176 177 182 185 193 194 197 198 200 202 203 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 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): 7.84 System time (seconds): 0.18 Percent of CPU this job got: 238% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.35 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): 250320 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 159986 Voluntary context switches: 9595 Involuntary context switches: 30 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 12:43:27 2023]