#BEGIN: [Mon Sep 4 12:41:19 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-banbaralab2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance030_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance030_graph001_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest /benchmark/random_instance/random_instance030_graph001.col /benchmark/random_instance/random_instance030_graph001_01.dat c /benchmark/random_instance/random_instance030_graph001.col c /benchmark/random_instance/random_instance030_graph001_01.dat s 220 84 142 358 270 364 271 37 167 124 277 375 79 85 31 368 122 5 377 373 298 308 379 350 243 367 203 326 234 97 336 177 363 149 102 64 323 349 128 337 344 291 183 283 164 258 3 46 57 90 225 24 123 74 334 232 380 34 268 193 36 248 75 104 266 45 306 35 49 141 87 320 261 299 23 54 293 99 62 133 275 175 180 51 78 274 100 151 342 176 222 341 2 108 178 59 269 333 286 295 140 383 237 160 152 340 211 157 227 292 163 70 182 287 68 382 335 19 91 76 204 129 188 252 357 66 t 154 359 302 30 108 99 45 240 380 179 307 170 221 349 198 230 146 31 85 57 173 242 89 243 2 368 160 128 260 381 171 382 220 22 316 80 369 292 87 358 193 245 168 103 218 138 327 65 256 101 91 86 379 389 362 51 314 192 88 234 361 337 185 353 227 73 43 344 351 254 319 352 340 83 211 188 282 141 176 1 96 163 41 206 326 115 59 76 291 295 111 23 209 44 355 34 77 386 342 40 140 280 270 35 311 98 102 46 38 190 313 11 9 10 323 149 384 104 20 151 37 348 147 315 318 71 a YES a 2 3 5 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 78 79 84 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 2 3 5 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 79 84 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 313 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 2 3 5 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 79 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 313 316 320 323 326 333 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 a 2 3 5 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 79 85 87 90 91 97 99 100 102 104 108 122 123 124 128 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 225 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 313 316 320 323 326 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 389 a 2 3 5 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 79 85 87 90 91 97 99 100 102 104 108 115 122 123 124 128 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 313 316 320 323 326 334 335 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 389 a 2 3 5 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 79 85 87 90 91 97 99 100 102 103 104 108 115 122 123 124 128 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 313 316 320 323 326 334 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 389 a 2 3 5 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 79 85 87 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 133 140 141 142 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 227 232 234 237 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 313 316 323 326 334 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 389 a 2 3 5 19 23 24 31 34 35 36 37 45 46 49 51 54 57 59 62 64 66 68 70 74 75 76 79 85 87 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 133 140 141 142 147 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 227 232 234 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 313 316 323 326 334 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 389 a 2 3 5 11 19 23 24 31 34 35 36 37 45 46 51 54 57 59 62 64 66 68 70 74 75 76 79 85 87 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 133 140 141 142 147 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 227 232 234 243 248 252 258 261 266 268 269 270 271 274 275 277 283 286 287 291 292 293 295 298 299 306 308 313 316 323 326 334 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 389 a 2 3 5 11 19 23 24 31 34 35 36 37 38 45 46 51 54 57 59 62 64 66 68 70 74 75 76 79 85 87 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 133 140 141 142 147 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 227 232 234 243 248 252 258 261 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 313 316 323 326 334 336 337 340 341 342 344 349 350 357 358 363 364 367 368 373 375 377 379 380 382 383 389 a 2 3 5 11 19 23 24 31 34 35 36 37 38 45 46 51 54 57 59 62 64 66 68 70 74 75 76 79 85 87 89 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 133 140 141 142 147 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 227 232 234 243 248 252 258 261 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 308 313 316 323 326 334 336 337 340 341 342 344 349 350 357 358 363 364 367 368 375 377 379 380 382 383 389 a 2 3 5 11 19 23 24 31 34 35 36 37 38 45 46 51 54 57 59 62 64 65 66 68 70 74 75 76 79 85 87 89 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 133 140 141 142 147 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 227 232 234 243 248 252 258 261 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 313 316 323 326 334 336 337 340 341 342 344 349 350 357 358 363 364 367 368 375 377 379 380 382 383 389 a 2 3 5 11 19 23 24 31 34 35 36 37 38 45 46 51 54 57 59 62 64 65 68 70 74 75 76 79 85 87 89 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 133 140 141 142 147 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 211 220 222 227 232 234 243 248 252 258 261 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 313 316 318 323 326 334 336 337 340 341 342 344 349 350 357 358 363 364 367 368 375 377 379 380 382 383 389 a 2 3 5 11 19 23 24 31 34 35 36 37 38 45 46 51 54 57 59 62 64 65 68 70 74 75 76 79 85 87 89 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 133 140 141 142 147 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 209 211 220 222 227 232 234 243 248 252 258 261 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 313 316 318 323 326 334 336 337 340 341 342 344 349 350 357 358 363 364 367 368 375 377 379 380 382 389 a 2 3 5 11 19 22 23 24 31 34 35 36 37 38 45 46 51 54 57 59 62 64 65 68 70 74 75 76 79 85 87 89 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 133 140 141 142 147 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 209 211 220 222 227 232 234 243 248 252 258 261 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 313 316 318 323 326 334 336 337 340 341 342 344 349 350 357 358 363 364 367 368 377 379 380 382 389 a 2 3 5 11 19 22 23 24 31 34 35 36 37 38 45 46 51 54 57 59 62 64 65 68 70 74 75 76 79 85 87 89 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 133 140 141 142 147 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 209 211 220 222 227 232 234 243 248 252 258 261 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 313 316 318 323 326 334 336 337 340 341 342 344 349 357 358 363 364 367 368 377 379 380 381 382 389 a 2 3 5 11 19 22 23 24 31 34 35 36 37 38 45 46 51 54 57 59 62 64 65 68 70 75 76 79 85 87 89 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 133 140 141 142 147 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 209 211 220 222 227 232 234 243 248 252 258 261 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 313 316 318 319 323 326 334 336 337 340 341 342 344 349 357 358 363 364 367 368 377 379 380 381 382 389 a 2 3 5 11 19 20 22 23 24 31 34 35 37 38 45 46 51 54 57 59 62 64 65 68 70 75 76 79 85 87 89 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 133 140 141 142 147 149 151 152 157 160 163 164 167 175 176 177 178 180 182 183 188 193 203 204 209 211 220 222 227 232 234 243 248 252 258 261 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 313 316 318 319 323 326 334 336 337 340 341 342 344 349 357 358 363 364 367 368 377 379 380 381 382 389 a 2 3 5 11 19 20 22 23 24 31 34 35 37 38 45 46 51 54 57 59 62 64 65 68 70 75 76 79 85 87 89 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 133 140 141 142 147 149 151 152 157 160 163 164 167 176 177 178 180 182 183 188 193 203 204 209 211 220 222 227 232 234 243 248 252 258 261 266 268 269 270 271 274 275 277 286 287 291 292 293 295 298 299 306 313 316 318 319 323 326 334 336 337 340 341 342 344 349 357 358 363 364 367 368 369 377 379 380 381 382 389 a 2 3 5 11 19 20 22 23 24 31 34 35 37 38 45 46 51 54 57 59 62 64 65 68 70 75 76 79 85 87 89 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 133 140 141 142 147 149 151 152 157 160 163 164 167 176 177 178 180 182 183 188 193 203 204 209 211 220 222 227 232 234 243 248 252 258 261 266 268 269 270 271 275 277 286 287 291 292 293 295 298 299 306 313 316 318 319 323 326 327 334 336 337 340 341 342 344 349 357 358 363 364 367 368 369 377 379 380 381 382 389 a 2 3 5 11 19 20 22 23 24 31 34 35 37 38 45 46 51 54 57 59 62 64 65 68 70 75 76 79 85 87 89 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 133 140 141 142 147 149 151 152 157 160 163 164 167 173 176 177 178 180 182 183 188 193 203 204 209 211 220 222 227 232 234 243 248 252 258 261 268 269 270 271 275 277 286 287 291 292 293 295 298 299 306 313 316 318 319 323 326 327 334 336 337 340 341 342 344 349 357 358 363 364 367 368 369 377 379 380 381 382 389 a 2 3 5 11 19 20 22 23 24 31 34 35 37 38 45 46 51 54 57 59 62 64 65 68 70 75 76 79 85 87 89 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 140 141 142 147 149 151 152 154 157 160 163 164 167 173 176 177 178 180 182 183 188 193 203 204 209 211 220 222 227 232 234 243 248 252 258 261 268 269 270 271 275 277 286 287 291 292 293 295 298 299 306 313 316 318 319 323 326 327 334 336 337 340 341 342 344 349 357 358 363 364 367 368 369 377 379 380 381 382 389 a 2 3 5 11 19 20 22 23 24 31 34 35 37 38 45 46 51 54 57 59 62 64 65 68 70 75 76 77 79 85 87 89 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 140 141 142 147 149 151 152 154 157 160 163 164 167 173 176 177 178 180 182 183 188 193 203 204 209 211 220 222 227 232 234 243 248 252 258 261 268 269 270 271 275 277 286 287 291 292 293 295 298 299 306 313 316 318 319 323 326 327 334 336 337 340 342 344 349 357 358 363 364 367 368 369 377 379 380 381 382 389 a 2 3 5 11 19 20 22 23 24 31 34 35 37 38 45 46 51 54 57 59 62 64 65 68 70 75 76 77 79 85 87 89 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 140 141 142 147 149 151 152 154 157 160 163 164 167 173 176 177 178 180 183 188 193 203 204 209 211 220 222 227 232 234 243 248 252 258 261 268 269 270 271 275 277 286 287 291 292 293 295 298 299 306 313 315 316 318 319 323 326 327 334 336 337 340 342 344 349 357 358 363 364 367 368 369 377 379 380 381 382 389 a 2 3 11 19 20 22 23 24 31 34 35 37 38 45 46 51 54 57 59 62 64 65 68 70 75 76 77 79 85 86 87 89 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 140 141 142 147 149 151 152 154 157 160 163 164 167 173 176 177 178 180 183 188 193 203 204 209 211 220 222 227 232 234 243 248 252 258 261 268 269 270 271 275 277 286 287 291 292 293 295 298 299 306 313 315 316 318 319 323 326 327 334 336 337 340 342 344 349 357 358 363 364 367 368 369 377 379 380 381 382 389 a 2 3 11 19 20 22 23 24 31 34 35 37 38 45 46 51 54 57 59 62 64 65 68 70 75 76 77 79 85 86 87 89 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 140 141 142 147 149 151 152 154 157 160 163 164 167 173 176 178 180 183 188 193 203 204 209 211 220 222 227 232 234 243 248 252 258 261 268 269 270 271 275 277 286 287 291 292 293 295 298 299 306 311 313 315 316 318 319 323 326 327 334 336 337 340 342 344 349 357 358 363 364 367 368 369 377 379 380 381 382 389 a 2 3 11 19 20 22 23 24 31 34 35 37 38 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 140 141 142 147 149 151 152 154 157 160 163 164 167 173 176 178 180 183 188 193 203 204 209 211 220 222 227 232 234 243 248 252 258 261 268 269 270 271 275 277 286 287 291 292 293 295 298 299 306 311 313 315 316 318 319 323 326 327 334 336 337 340 342 344 349 352 357 358 363 364 367 368 369 377 379 380 381 382 389 a 2 3 11 19 20 22 23 31 34 35 37 38 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 140 141 142 147 149 151 152 154 157 160 163 164 167 173 176 178 180 183 188 193 203 204 209 211 220 222 227 232 234 243 248 252 258 261 268 269 270 271 275 277 286 287 291 292 293 295 298 299 306 311 313 315 316 318 319 323 326 327 334 336 337 340 342 344 349 352 357 358 362 363 364 367 368 369 377 379 380 381 382 389 a 2 3 11 19 20 22 23 31 34 35 37 38 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 90 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 140 141 142 147 149 151 152 154 157 160 163 164 167 173 176 178 180 183 188 192 193 203 204 209 211 220 222 227 232 234 243 248 252 261 268 269 270 271 275 277 286 287 291 292 293 295 298 299 306 311 313 315 316 318 319 323 326 327 334 336 337 340 342 344 349 352 357 358 362 363 364 367 368 369 377 379 380 381 382 389 a 2 3 11 19 20 22 23 31 34 35 37 38 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 91 97 99 100 102 103 104 108 111 115 122 123 124 128 129 140 141 142 147 149 151 152 154 157 160 163 164 167 173 176 178 180 183 188 192 193 203 204 209 211 220 222 227 232 234 243 248 252 261 268 269 270 271 275 277 286 287 291 292 293 295 298 299 302 306 311 313 315 316 318 319 323 326 327 334 336 337 340 342 344 349 352 357 358 362 363 364 367 368 369 377 379 380 381 382 389 a 2 3 11 19 20 22 23 31 34 35 37 38 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 91 97 99 100 102 103 104 108 111 115 122 123 124 128 140 141 142 147 149 151 152 154 157 160 163 164 167 173 176 178 180 183 188 192 193 203 204 209 211 220 222 227 232 234 243 248 252 261 268 269 270 271 275 277 286 287 291 292 293 295 298 299 302 306 311 313 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 352 357 358 362 363 364 367 368 369 377 379 380 381 382 389 a 2 3 11 19 20 22 23 31 34 35 37 38 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 91 97 99 100 102 103 104 108 111 115 122 123 124 128 140 141 142 147 149 151 152 154 160 163 164 167 173 176 178 180 183 188 192 193 203 204 209 211 220 222 227 232 234 243 248 252 261 268 269 270 271 275 277 286 287 291 292 293 295 298 299 302 306 311 313 314 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 352 357 358 362 363 364 367 368 369 377 379 380 381 382 389 a 2 3 11 20 22 23 31 34 35 37 38 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 91 97 99 100 102 103 104 108 111 115 122 123 124 128 140 141 142 147 149 151 152 154 160 163 164 167 173 176 178 180 183 188 192 193 203 204 209 211 220 222 227 232 234 242 243 248 252 261 268 269 270 271 275 277 286 287 291 292 293 295 298 299 302 306 311 313 314 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 352 357 358 362 363 364 367 368 369 377 379 380 381 382 389 a 2 3 11 20 22 23 31 34 35 37 38 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 91 97 99 100 102 103 104 108 111 115 122 123 124 128 138 140 141 142 147 149 151 152 154 160 163 164 167 173 176 178 180 183 188 192 193 203 204 209 211 220 222 227 232 234 242 243 252 261 268 269 270 271 275 277 286 287 291 292 293 295 298 299 302 306 311 313 314 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 352 357 358 362 363 364 367 368 369 377 379 380 381 382 389 a 2 3 11 20 22 23 31 34 35 37 38 41 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 91 97 99 100 102 103 104 108 111 115 122 123 124 128 138 140 141 142 147 149 151 152 154 160 163 164 167 173 176 178 180 183 188 192 193 203 204 209 211 220 222 227 232 234 242 243 252 261 268 269 270 271 275 277 286 287 291 292 293 295 298 299 302 306 311 313 314 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 352 357 358 362 363 364 368 369 377 379 380 381 382 389 a 2 3 9 11 20 22 23 31 34 35 37 38 41 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 91 99 100 102 103 104 108 111 115 122 123 124 128 138 140 141 142 147 149 151 152 154 160 163 164 167 173 176 178 180 183 188 192 193 203 204 209 211 220 222 227 232 234 242 243 252 261 268 269 270 271 275 277 286 287 291 292 293 295 298 299 302 306 311 313 314 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 352 357 358 362 363 364 368 369 377 379 380 381 382 389 a 2 3 9 11 20 22 23 31 34 35 37 38 41 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 91 99 100 102 103 104 108 111 115 122 123 124 128 138 140 141 142 147 149 151 154 160 163 164 167 173 176 178 180 183 188 192 193 203 204 209 211 220 222 227 232 234 242 243 252 261 268 269 270 271 275 277 286 287 291 292 293 295 298 299 302 306 311 313 314 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 352 357 358 361 362 363 364 368 369 377 379 380 381 382 389 a 2 3 9 11 20 22 23 31 34 35 37 38 41 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 91 99 100 102 103 104 108 111 115 122 123 124 128 138 140 141 142 147 149 151 154 160 163 164 167 173 176 178 180 183 188 192 193 203 204 209 211 220 222 227 232 234 242 243 252 261 268 269 270 271 277 286 287 291 292 293 295 298 299 302 306 311 313 314 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 352 357 358 361 362 363 364 368 369 377 379 380 381 382 386 389 a 2 3 9 11 20 22 23 31 34 35 37 38 41 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 91 99 100 102 103 104 108 111 115 122 123 124 128 138 140 141 142 147 149 151 154 160 163 164 167 173 176 178 180 183 188 192 193 203 204 209 211 220 222 227 232 234 242 243 252 254 261 268 269 270 271 277 286 287 291 292 293 295 298 299 302 306 311 313 314 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 352 357 358 361 362 363 368 369 377 379 380 381 382 386 389 a 2 3 9 11 20 22 23 31 34 35 37 38 41 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 91 98 99 100 102 103 104 108 111 115 122 123 124 128 138 140 141 142 147 149 151 154 160 163 164 167 173 176 180 183 188 192 193 203 204 209 211 220 222 227 232 234 242 243 252 254 261 268 269 270 271 277 286 287 291 292 293 295 298 299 302 306 311 313 314 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 352 357 358 361 362 363 368 369 377 379 380 381 382 386 389 a 2 9 11 20 22 23 31 34 35 37 38 41 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 91 98 99 100 102 103 104 108 111 115 122 123 124 128 138 140 141 142 147 149 151 154 160 163 164 167 173 176 180 183 188 192 193 203 204 209 211 220 222 227 232 234 242 243 252 254 261 268 269 270 271 277 286 287 291 292 293 295 298 299 302 306 311 313 314 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 352 353 357 358 361 362 363 368 369 377 379 380 381 382 386 389 a 2 9 11 20 22 23 31 34 35 37 38 41 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 91 98 99 100 102 103 104 108 111 115 122 123 124 128 138 140 141 142 147 149 151 154 160 163 164 167 173 176 180 183 188 192 193 203 204 209 211 220 222 227 232 234 242 243 252 254 261 268 269 270 271 277 282 286 287 291 292 293 295 298 299 302 306 311 313 314 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 352 353 357 358 361 362 368 369 377 379 380 381 382 386 389 a 2 9 11 20 22 23 31 34 35 37 38 41 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 91 98 99 100 102 103 104 108 111 115 122 123 124 128 138 140 141 142 147 149 151 154 160 163 164 167 173 176 179 180 188 192 193 203 204 209 211 220 222 227 232 234 242 243 252 254 261 268 269 270 271 277 282 286 287 291 292 293 295 298 299 302 306 311 313 314 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 352 353 357 358 361 362 368 369 377 379 380 381 382 386 389 a 1 2 9 11 20 22 23 31 34 35 37 38 41 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 91 98 99 100 102 103 104 108 111 115 122 123 124 128 138 140 141 142 147 149 151 154 160 163 164 167 173 176 179 180 188 192 193 203 204 209 211 220 222 227 232 234 242 243 252 254 261 268 269 270 271 277 282 286 287 291 292 293 295 298 299 302 306 311 313 314 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 352 353 358 361 362 368 369 377 379 380 381 382 386 389 a 1 2 9 11 20 22 23 30 31 34 35 37 38 41 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 91 98 99 100 102 103 104 108 111 115 122 123 124 128 138 140 141 142 147 149 151 154 160 163 164 167 173 176 179 180 188 192 193 203 204 209 211 220 222 227 232 234 242 243 252 254 261 268 269 270 271 277 282 286 287 291 292 293 295 298 299 302 306 311 313 314 315 316 318 319 323 326 327 334 336 337 340 342 344 348 349 352 353 358 361 362 368 369 379 380 381 382 386 389 a 1 2 9 11 20 22 23 30 31 34 35 37 38 41 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 91 98 99 100 102 103 104 108 111 115 122 123 124 128 138 140 141 142 146 147 149 151 154 160 163 164 167 173 176 179 180 188 192 193 203 204 209 211 220 222 227 232 234 242 243 252 254 261 268 269 270 271 277 282 286 287 291 292 293 295 298 299 302 306 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 352 353 358 361 362 368 369 379 380 381 382 386 389 a 1 2 9 11 20 22 23 30 31 34 35 37 38 40 41 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 91 98 99 100 102 103 104 108 111 115 122 123 124 128 138 140 141 142 146 147 149 151 154 160 163 164 167 173 176 179 180 188 192 193 203 204 209 211 220 222 227 232 234 242 243 252 254 268 269 270 271 277 282 286 287 291 292 293 295 298 299 302 306 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 352 353 358 361 362 368 369 379 380 381 382 386 389 a 1 2 9 11 20 22 23 30 31 34 35 37 38 40 41 45 46 51 54 57 59 62 64 65 68 70 75 76 77 85 86 87 89 91 98 99 100 102 103 104 108 111 115 123 124 128 138 140 141 142 146 147 149 151 154 160 163 164 167 173 176 179 180 188 192 193 203 204 209 211 220 222 227 232 234 242 243 252 254 268 269 270 271 277 282 286 287 291 292 293 295 298 299 302 306 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 352 353 358 359 361 362 368 369 379 380 381 382 386 389 a 1 2 9 11 20 22 23 30 31 34 35 37 38 40 41 45 46 51 54 57 59 62 64 65 68 70 75 76 77 80 85 86 87 89 91 98 99 100 102 103 104 108 111 115 123 124 128 138 140 141 146 147 149 151 154 160 163 164 167 173 176 179 180 188 192 193 203 204 209 211 220 222 227 232 234 242 243 252 254 268 269 270 271 277 282 286 287 291 292 293 295 298 299 302 306 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 352 353 358 359 361 362 368 369 379 380 381 382 386 389 a 1 2 9 11 20 22 23 30 31 34 35 37 38 40 41 45 46 51 54 57 59 62 64 65 68 70 75 76 77 80 85 86 87 89 91 98 99 100 102 103 104 108 111 115 123 124 128 138 140 141 146 147 149 151 154 160 163 164 167 173 176 179 180 188 192 193 203 204 209 211 220 227 232 234 242 243 245 252 254 268 269 270 271 277 282 286 287 291 292 293 295 298 299 302 306 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 352 353 358 359 361 362 368 369 379 380 381 382 386 389 a 1 2 9 11 20 22 23 30 31 34 35 37 38 40 41 45 46 51 54 57 59 62 64 65 68 70 75 76 77 80 85 86 87 89 91 98 99 100 102 103 104 108 111 115 123 124 128 138 140 141 146 147 149 151 154 160 163 164 167 173 176 179 180 188 192 193 203 204 209 211 220 227 232 234 242 243 245 252 254 268 269 270 271 277 282 286 287 291 292 293 295 299 302 306 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 352 353 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 11 20 22 23 30 31 34 35 37 38 40 41 45 46 51 57 59 62 64 65 68 70 75 76 77 80 85 86 87 89 91 98 99 100 102 103 104 108 111 115 123 124 128 138 140 141 146 147 149 151 154 160 163 164 167 173 176 179 180 188 192 193 203 204 209 211 220 227 230 232 234 242 243 245 252 254 268 269 270 271 277 282 286 287 291 292 293 295 299 302 306 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 352 353 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 11 20 22 23 30 31 34 35 37 38 40 41 45 46 51 57 59 62 64 65 68 70 75 76 77 80 85 86 87 89 91 96 98 99 100 102 103 104 108 111 115 123 124 128 138 140 141 146 147 149 151 154 160 163 164 167 173 176 179 180 188 192 193 203 204 209 211 220 227 230 232 234 242 243 245 252 254 269 270 271 277 282 286 287 291 292 293 295 299 302 306 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 352 353 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 11 20 22 23 30 31 34 35 37 38 40 41 45 46 51 57 59 62 64 65 70 75 76 77 80 85 86 87 89 91 96 98 99 100 102 103 104 108 111 115 123 124 128 138 140 141 146 147 149 151 154 160 163 164 167 173 176 179 180 188 192 193 203 204 209 211 220 227 230 232 234 242 243 245 252 254 269 270 271 277 280 282 286 287 291 292 293 295 299 302 306 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 352 353 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 11 20 22 23 30 31 34 35 37 38 40 41 45 46 51 57 59 62 64 65 70 75 76 77 80 85 86 87 89 91 96 98 99 100 102 103 104 108 111 115 123 128 138 140 141 146 147 149 151 154 160 163 164 167 173 176 179 180 188 192 193 203 204 209 211 220 227 230 232 234 240 242 243 245 252 254 269 270 271 277 280 282 286 287 291 292 293 295 299 302 306 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 352 353 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 11 20 22 23 30 31 34 35 37 38 40 41 45 46 51 57 59 62 64 65 70 75 76 77 80 85 86 87 89 91 96 98 99 100 102 103 104 108 111 115 123 128 138 140 141 146 147 149 151 154 160 163 164 167 173 176 179 180 185 188 192 193 203 204 209 211 220 227 230 232 234 240 242 243 245 254 269 270 271 277 280 282 286 287 291 292 293 295 299 302 306 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 352 353 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 11 20 22 23 30 31 34 35 37 38 40 41 45 46 51 57 59 64 65 70 75 76 77 80 85 86 87 89 91 96 98 99 100 102 103 104 108 111 115 123 128 138 140 141 146 147 149 151 154 160 163 164 167 173 176 179 180 185 188 192 193 203 204 209 211 220 227 230 232 234 240 242 243 245 254 260 269 270 271 277 280 282 286 287 291 292 293 295 299 302 306 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 352 353 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 11 20 22 23 30 31 34 35 37 38 40 41 45 46 51 57 59 64 65 70 75 76 77 80 85 86 87 89 91 96 98 99 100 102 103 104 108 111 115 123 128 138 140 141 146 147 149 151 154 160 163 164 167 171 173 176 179 180 185 188 192 193 203 204 209 211 220 227 230 232 234 240 242 243 245 254 260 269 270 271 277 280 282 286 291 292 293 295 299 302 306 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 352 353 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 11 20 22 23 30 31 34 35 37 38 40 41 45 46 51 57 59 64 65 70 75 76 77 80 85 86 87 89 91 96 98 99 100 102 103 104 108 111 115 123 128 138 140 141 146 147 149 151 154 160 163 167 171 173 176 179 180 185 188 192 193 203 204 206 209 211 220 227 230 232 234 240 242 243 245 254 260 269 270 271 277 280 282 286 291 292 293 295 299 302 306 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 352 353 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 11 20 22 23 30 31 34 35 37 38 40 41 45 46 51 57 59 64 65 70 75 76 77 80 85 86 87 89 91 96 98 99 100 101 102 103 104 108 111 115 123 128 138 140 141 146 147 149 151 154 160 163 167 171 173 176 179 180 185 188 192 193 203 204 206 209 211 220 227 230 232 234 240 242 243 245 254 260 269 270 271 277 280 282 286 291 292 293 295 302 306 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 352 353 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 11 20 22 23 30 31 34 35 37 38 40 41 45 46 51 57 59 64 65 70 76 77 80 85 86 87 89 91 96 98 99 100 101 102 103 104 108 111 115 123 128 138 140 141 146 147 149 151 154 160 163 167 171 173 176 179 180 185 188 192 193 203 204 206 209 211 220 221 227 230 232 234 240 242 243 245 254 260 269 270 271 277 280 282 286 291 292 293 295 302 306 311 313 314 315 316 318 319 323 326 327 334 337 340 342 344 348 349 352 353 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 45 46 51 57 59 64 65 70 76 77 80 85 86 87 89 91 96 98 99 100 101 102 103 104 108 111 115 123 128 138 140 141 146 147 149 151 154 160 163 167 171 173 176 179 180 185 188 192 193 203 204 206 209 211 220 221 227 230 232 234 240 242 243 245 254 260 269 270 271 277 280 282 286 291 292 293 295 302 306 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 352 353 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 45 46 51 57 59 64 65 70 76 77 80 85 86 87 89 91 96 98 99 100 101 102 103 104 108 111 115 123 128 138 140 141 146 147 149 151 154 160 163 167 171 173 176 179 180 185 188 192 193 203 204 206 209 211 220 221 227 230 232 234 240 242 243 245 254 256 260 269 270 271 277 280 282 286 291 292 293 295 302 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 352 353 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 45 46 51 57 59 64 65 70 76 77 80 83 85 86 87 89 91 96 98 99 100 101 102 103 104 108 111 115 123 128 138 140 141 146 147 149 151 154 160 163 167 171 173 176 179 180 185 188 192 193 204 206 209 211 220 221 227 230 232 234 240 242 243 245 254 256 260 269 270 271 277 280 282 286 291 292 293 295 302 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 352 353 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 44 45 46 51 57 59 64 65 70 76 77 80 83 85 86 87 89 91 96 98 99 100 101 102 103 104 108 111 115 123 128 138 140 141 146 147 149 151 154 160 163 167 171 173 176 179 180 185 188 192 193 204 206 209 211 220 221 227 230 232 234 240 242 243 245 254 256 260 269 270 271 277 280 282 291 292 293 295 302 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 352 353 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 44 45 46 51 57 59 64 65 70 76 77 80 83 85 86 87 89 91 96 98 99 100 101 102 103 104 108 111 115 123 128 138 140 141 146 147 149 151 154 160 163 167 171 173 176 179 180 185 188 192 193 204 206 209 211 220 221 227 230 232 234 240 242 243 245 254 256 260 269 270 271 280 282 291 292 293 295 302 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 352 353 355 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 44 45 46 51 57 59 65 70 76 77 80 83 85 86 87 89 91 96 98 99 100 101 102 103 104 108 111 115 123 128 138 140 141 146 147 149 151 154 160 163 167 171 173 176 179 180 185 188 192 193 204 206 209 211 218 220 221 227 230 232 234 240 242 243 245 254 256 260 269 270 271 280 282 291 292 293 295 302 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 352 353 355 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 44 45 46 51 57 59 65 76 77 80 83 85 86 87 89 91 96 98 99 100 101 102 103 104 108 111 115 123 128 138 140 141 146 147 149 151 154 160 163 167 171 173 176 179 180 185 188 192 193 204 206 209 211 218 220 221 227 230 232 234 240 242 243 245 254 256 260 269 270 271 280 282 291 292 293 295 302 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 355 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 44 45 46 51 57 59 65 76 77 80 83 85 86 87 89 91 96 98 99 100 101 102 103 104 108 111 115 123 128 138 140 141 146 147 149 151 154 160 163 167 171 173 176 179 180 185 188 192 193 198 204 206 209 211 218 220 221 227 230 232 234 240 242 243 245 254 256 260 269 270 271 280 282 291 292 295 302 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 355 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 44 45 46 51 57 59 65 71 76 77 80 83 85 86 87 89 91 96 98 99 100 101 102 103 104 108 111 115 123 128 138 140 141 146 147 149 151 154 160 163 167 171 173 176 179 180 185 188 192 193 198 204 206 209 211 218 220 221 227 230 232 234 240 242 243 245 254 256 260 270 271 280 282 291 292 295 302 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 355 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 44 45 46 51 57 59 65 71 76 77 80 83 85 86 87 89 91 96 98 99 100 101 102 103 104 108 111 115 123 128 138 140 141 146 147 149 151 154 160 163 167 171 173 176 179 180 185 188 192 193 198 204 206 209 211 218 220 221 227 230 234 240 242 243 245 254 256 260 270 271 280 282 291 292 295 302 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 355 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 44 45 46 51 57 59 65 71 76 77 80 83 85 86 87 89 91 96 98 99 100 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 167 171 173 176 179 180 185 188 192 193 198 204 206 209 211 218 220 221 227 230 234 240 242 243 245 254 256 260 270 271 280 282 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 355 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 44 45 46 51 57 59 65 71 76 77 80 83 85 86 87 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 167 171 173 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 242 243 245 254 256 260 270 271 280 282 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 355 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 44 45 46 51 57 59 65 71 76 77 80 83 85 86 87 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 167 168 171 173 176 179 180 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 242 243 245 254 256 260 270 280 282 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 355 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 44 45 46 51 57 59 65 71 76 77 80 83 85 86 87 88 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 167 168 171 173 176 179 185 188 190 192 193 198 204 206 209 211 218 220 221 227 230 234 240 242 243 245 254 256 260 270 280 282 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 355 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 44 45 46 51 57 59 65 71 76 77 80 83 85 86 87 88 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 167 168 170 171 173 176 179 185 188 190 192 193 198 206 209 211 218 220 221 227 230 234 240 242 243 245 254 256 260 270 280 282 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 355 358 359 361 362 368 369 379 380 381 382 384 386 389 a 1 2 9 10 11 20 22 23 30 31 34 35 37 38 40 41 43 44 45 46 51 57 59 65 71 73 76 77 80 83 85 86 87 88 89 91 96 98 99 101 102 103 104 108 111 115 128 138 140 141 146 147 149 151 154 160 163 168 170 171 173 176 179 185 188 190 192 193 198 206 209 211 218 220 221 227 230 234 240 242 243 245 254 256 260 270 280 282 291 292 295 302 307 311 313 314 315 316 318 319 323 326 327 337 340 342 344 348 349 351 352 353 355 358 359 361 362 368 369 379 380 381 382 384 386 389 c Step: 76 Command being timed: "python3 run_3.py --shortest /benchmark/random_instance/random_instance030_graph001.col /benchmark/random_instance/random_instance030_graph001_01.dat" User time (seconds): 2.50 System time (seconds): 0.12 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:02.63 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): 128000 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 144265 Voluntary context switches: 19 Involuntary context switches: 17 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: [Mon Sep 4 12:41:22 2023]