#BEGIN: [Mon Sep 4 12:43:21 2023] #HOST: s05 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance027_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance027_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/random_instance/random_instance027_graph002.col /benchmark/random_instance/random_instance027_graph002_01.dat c /benchmark/random_instance/random_instance027_graph002.col c /benchmark/random_instance/random_instance027_graph002_01.dat s 84 303 192 230 296 323 1 19 336 236 108 9 225 13 344 40 232 55 257 276 286 57 204 145 168 133 329 171 154 131 86 69 284 321 314 338 351 172 45 158 140 50 130 16 118 180 113 79 123 248 63 325 112 161 240 109 14 25 219 341 175 39 342 298 187 165 258 249 119 261 275 238 183 222 331 288 68 212 330 224 138 260 35 217 144 115 173 5 272 85 11 343 283 80 56 150 75 211 300 142 184 41 53 312 152 159 306 291 t 266 128 83 63 162 146 84 204 9 254 268 10 238 305 4 74 245 220 57 81 230 256 17 79 350 126 225 332 21 165 231 29 166 131 200 152 67 110 269 45 288 155 337 282 294 190 331 68 312 115 298 53 250 343 300 189 180 219 112 94 229 321 103 96 122 309 109 179 304 283 170 176 5 98 264 351 6 271 88 242 159 291 184 119 303 316 15 311 108 208 11 302 144 236 188 62 142 56 89 13 130 161 1 97 198 19 259 248 a YES a 1 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 79 80 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 158 159 161 165 168 171 172 173 175 180 183 184 187 192 204 211 212 217 219 222 224 225 230 232 236 238 240 248 249 257 258 260 261 272 275 276 283 284 286 288 291 296 298 300 303 306 312 314 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 79 80 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 175 180 183 184 187 192 204 211 212 217 219 222 224 225 230 232 236 238 240 248 257 258 260 261 272 275 276 283 284 286 288 291 296 298 300 303 306 312 314 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 79 80 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 175 180 183 184 187 192 204 211 212 217 219 222 224 225 230 232 236 238 248 257 258 260 261 272 275 276 283 284 286 288 291 296 298 300 303 304 306 312 314 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 79 80 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 175 180 183 184 187 192 204 212 217 219 222 224 225 230 232 236 238 248 257 258 260 261 272 275 276 283 284 286 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 79 80 84 85 86 98 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 175 180 183 184 187 192 204 212 217 219 222 224 225 230 232 236 238 248 257 258 260 261 272 275 283 284 286 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 75 79 80 81 84 85 86 98 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 175 180 183 184 187 192 204 212 217 219 222 224 225 230 232 236 238 248 257 258 260 261 272 275 283 284 286 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 75 79 80 81 84 85 86 98 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 175 180 183 184 187 192 204 212 217 219 222 224 225 230 232 236 238 248 257 258 259 260 261 275 283 284 286 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 75 79 80 81 84 85 86 98 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 175 180 183 184 187 188 192 204 212 217 219 222 224 225 230 232 236 238 248 257 258 259 260 261 275 283 284 286 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 341 342 343 344 351 a 1 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 56 57 63 68 75 79 80 81 84 85 86 98 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 175 180 183 184 187 188 192 204 212 217 219 222 224 225 230 232 236 238 248 257 258 259 260 261 275 283 284 286 288 291 296 298 300 302 303 304 306 312 314 316 321 323 325 329 330 331 336 341 342 343 344 351 a 1 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 56 57 63 68 75 79 80 81 84 85 86 98 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 175 180 183 184 187 188 192 204 212 217 219 222 224 225 230 232 236 238 248 257 258 259 260 261 275 283 284 288 291 296 298 300 302 303 304 306 312 314 316 321 323 325 329 330 331 336 341 342 343 344 350 351 a 1 5 9 11 13 14 16 19 25 35 39 40 41 45 53 56 57 63 68 75 79 80 81 84 85 86 98 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 175 180 183 184 187 188 192 204 212 217 219 222 224 225 230 232 236 238 242 248 257 258 259 260 261 275 283 284 288 291 296 298 300 302 303 304 306 312 314 316 321 323 325 329 330 331 336 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 25 35 39 40 41 45 53 56 57 63 68 75 79 80 81 84 85 86 98 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 175 180 183 184 187 188 192 204 212 217 219 222 224 225 230 232 236 238 242 248 257 258 259 260 261 275 283 284 288 291 296 298 300 302 303 304 306 312 314 316 321 323 325 329 330 331 336 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 25 35 39 40 41 45 53 56 57 63 68 75 79 80 81 84 85 86 96 98 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 175 180 183 184 187 188 192 204 212 217 219 222 224 225 230 232 236 238 242 248 257 258 259 260 261 275 283 284 288 291 298 300 302 303 304 306 312 314 316 321 323 325 329 330 331 336 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 25 35 40 41 45 53 56 57 63 68 75 79 80 81 84 85 86 96 98 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 175 180 183 184 187 188 192 204 212 217 219 222 224 225 230 232 236 238 242 248 257 258 259 260 261 264 275 283 284 288 291 298 300 302 303 304 306 312 314 316 321 323 325 329 330 331 336 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 25 35 40 41 45 53 56 57 63 68 75 79 80 81 84 85 86 96 98 108 109 112 113 115 118 119 123 130 131 133 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 175 180 183 184 187 188 190 192 204 212 217 219 222 224 225 230 232 236 238 242 248 257 258 259 260 261 264 275 283 284 288 291 298 300 302 303 304 306 312 314 316 321 323 325 329 330 331 336 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 25 35 40 41 45 53 56 57 63 68 75 79 80 81 84 85 86 96 98 108 109 112 113 115 118 119 123 130 131 133 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 180 183 184 187 188 190 192 204 212 217 219 222 224 225 230 232 236 238 242 245 248 257 258 259 260 261 264 275 283 284 288 291 298 300 302 303 304 306 312 314 316 321 323 325 329 330 331 336 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 25 35 40 41 45 53 56 57 63 68 75 79 80 81 84 85 86 96 98 108 109 112 113 115 118 119 123 130 131 133 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 180 183 184 187 188 190 192 204 212 217 219 222 224 225 230 232 236 238 242 245 248 257 258 259 260 261 264 268 275 283 284 288 291 298 300 302 303 304 306 312 314 316 321 323 325 330 331 336 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 25 35 40 41 45 53 56 57 63 68 75 79 80 81 84 85 86 96 98 108 109 112 113 115 118 119 123 130 131 133 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 179 180 183 184 187 188 190 192 204 212 217 219 222 224 225 230 232 236 238 242 245 248 257 258 259 260 261 264 268 275 283 284 288 291 298 300 302 303 304 306 312 314 316 321 323 325 331 336 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 25 35 41 45 53 56 57 63 68 75 79 80 81 84 85 86 89 96 98 108 109 112 113 115 118 119 123 130 131 133 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 179 180 183 184 187 188 190 192 204 212 217 219 222 224 225 230 232 236 238 242 245 248 257 258 259 260 261 264 268 275 283 284 288 291 298 300 302 303 304 306 312 314 316 321 323 325 331 336 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 25 35 41 45 53 56 57 63 68 75 79 80 81 84 85 86 89 96 98 108 109 112 113 115 118 119 123 130 131 133 140 142 144 145 150 152 154 155 158 159 161 165 171 172 173 179 180 183 184 187 188 190 192 204 212 217 219 222 224 225 230 231 232 236 238 242 245 248 257 258 259 260 261 264 268 275 283 284 288 291 298 300 302 303 304 306 312 314 316 321 323 325 331 336 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 25 35 41 45 53 56 57 63 68 75 79 80 81 84 85 86 89 96 98 108 109 112 113 115 118 119 123 130 131 133 140 142 144 145 150 152 154 155 158 159 161 165 171 172 173 179 180 183 184 187 188 190 192 204 208 212 217 219 222 224 225 230 231 232 236 238 242 245 248 257 258 259 261 264 268 275 283 284 288 291 298 300 302 303 304 306 312 314 316 321 323 325 331 336 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 25 35 41 45 53 56 57 63 68 75 79 80 81 84 85 86 89 94 96 98 108 109 112 113 115 118 119 123 130 131 133 140 142 144 145 150 152 154 155 158 159 161 165 171 172 173 179 180 183 184 187 188 190 192 204 208 212 217 219 222 224 225 230 231 232 236 238 242 245 248 257 258 259 261 264 268 275 283 284 288 291 298 300 302 303 304 306 312 314 316 321 325 331 336 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 25 35 41 45 53 56 57 63 68 75 79 80 81 84 85 86 89 94 96 98 108 109 112 113 115 118 119 123 130 131 133 140 142 144 145 150 152 154 155 158 159 161 165 171 173 179 180 183 184 187 188 190 192 204 208 212 217 219 222 224 225 229 230 231 232 236 238 242 245 248 257 258 259 261 264 268 275 283 284 288 291 298 300 302 303 304 306 312 314 316 321 325 331 336 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 25 35 41 45 53 56 57 63 68 75 79 80 81 84 85 86 89 94 96 98 108 109 112 113 115 118 119 123 130 131 133 140 142 144 145 150 152 154 155 158 159 161 165 171 179 180 183 184 187 188 190 192 198 204 208 212 217 219 222 224 225 229 230 231 232 236 238 242 245 248 257 258 259 261 264 268 275 283 284 288 291 298 300 302 303 304 306 312 314 316 321 325 331 336 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 25 35 41 45 53 56 57 63 68 75 79 80 81 84 85 86 89 94 96 98 108 109 112 113 115 118 119 123 130 131 133 140 142 144 145 150 152 154 155 158 159 161 165 171 179 180 183 184 187 188 190 192 198 204 208 212 217 219 222 224 225 229 230 231 232 236 238 242 245 248 254 257 258 259 261 264 268 275 283 284 288 291 298 300 302 303 304 306 312 316 321 325 331 336 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 35 41 45 53 56 57 63 68 75 79 80 81 84 85 86 89 94 96 98 108 109 112 113 115 118 119 123 130 131 133 140 142 144 145 150 152 154 155 158 159 161 165 171 179 180 183 184 187 188 190 192 198 204 208 212 217 219 222 224 225 229 230 231 232 236 238 242 245 248 254 257 258 259 261 264 268 275 283 284 288 291 298 300 302 303 304 306 312 316 321 325 331 336 337 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 35 41 45 53 56 57 63 68 75 79 81 83 84 85 86 89 94 96 98 108 109 112 113 115 118 119 123 130 131 133 140 142 144 145 150 152 154 155 158 159 161 165 171 179 180 183 184 187 188 190 192 198 204 208 212 217 219 222 224 225 229 230 231 232 236 238 242 245 248 254 257 258 259 261 264 268 275 283 284 288 291 298 300 302 303 304 306 312 316 321 325 331 336 337 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 35 41 45 53 56 57 63 68 75 79 81 83 84 85 86 88 89 94 96 98 108 109 112 115 118 119 123 130 131 133 140 142 144 145 150 152 154 155 158 159 161 165 171 179 180 183 184 187 188 190 192 198 204 208 212 217 219 222 224 225 229 230 231 232 236 238 242 245 248 254 257 258 259 261 264 268 275 283 284 288 291 298 300 302 303 304 306 312 316 321 325 331 336 337 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 35 41 45 53 56 57 63 68 75 79 81 83 84 85 86 88 89 94 96 98 108 109 112 115 118 119 122 130 131 133 140 142 144 145 150 152 154 155 158 159 161 165 171 179 180 183 184 187 188 190 192 198 204 208 212 217 219 222 224 225 229 230 231 232 236 238 242 245 248 254 257 258 259 261 264 268 275 283 284 288 291 298 300 302 303 304 306 312 316 321 325 331 336 337 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 35 41 45 53 56 57 63 68 74 75 79 81 83 84 85 86 88 89 94 96 98 108 109 112 115 118 119 122 130 131 140 142 144 145 150 152 154 155 158 159 161 165 171 179 180 183 184 187 188 190 192 198 204 208 212 217 219 222 224 225 229 230 231 232 236 238 242 245 248 254 257 258 259 261 264 268 275 283 284 288 291 298 300 302 303 304 306 312 316 321 325 331 336 337 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 35 41 45 53 56 57 63 68 74 75 79 81 83 84 85 86 88 89 94 96 98 108 109 112 115 118 119 122 130 131 140 142 144 145 150 152 154 155 158 159 161 165 171 179 180 183 184 188 190 192 198 204 208 212 217 219 222 224 225 229 230 231 232 236 238 242 245 248 254 257 258 259 261 264 268 275 283 284 288 291 294 298 300 302 303 304 306 312 316 321 325 331 336 337 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 21 35 41 45 53 56 57 63 68 74 75 79 81 83 84 86 88 89 94 96 98 108 109 112 115 118 119 122 130 131 140 142 144 145 150 152 154 155 158 159 161 165 171 179 180 183 184 188 190 192 198 204 208 212 217 219 222 224 225 229 230 231 232 236 238 242 245 248 254 257 258 259 261 264 268 275 283 284 288 291 294 298 300 302 303 304 306 312 316 321 325 331 336 337 341 342 343 344 350 351 a 1 5 9 10 11 13 14 19 21 35 41 45 53 56 57 63 68 74 75 79 81 83 84 86 88 89 94 96 98 108 109 112 115 118 119 122 130 131 140 142 144 145 150 152 154 155 158 159 161 165 171 179 180 183 184 188 190 192 198 204 208 212 217 219 222 224 225 229 230 231 232 236 238 242 245 248 254 257 258 259 261 264 268 275 283 284 288 291 294 298 300 302 303 304 306 311 312 316 321 325 331 336 337 341 343 344 350 351 a 1 5 9 10 11 13 14 19 21 35 41 45 53 56 57 63 68 74 75 79 81 83 84 86 88 89 94 96 98 108 109 112 115 118 119 122 130 131 142 144 145 150 152 154 155 158 159 161 165 171 179 180 183 184 188 190 192 198 204 208 212 217 219 222 224 225 229 230 231 232 236 238 242 245 248 254 257 258 259 261 264 268 275 283 284 288 291 294 298 300 302 303 304 306 309 311 312 316 321 325 331 336 337 341 343 344 350 351 a 1 5 9 10 11 13 14 19 21 35 41 45 53 56 57 63 68 74 75 79 81 83 84 86 88 89 94 96 98 108 109 112 115 118 119 122 130 131 142 144 145 150 152 154 155 158 159 161 165 171 179 180 183 184 188 190 192 198 204 208 212 217 219 222 224 225 229 230 231 232 236 238 242 245 248 254 257 258 259 261 264 268 282 283 284 288 291 294 298 300 302 303 304 306 309 311 312 316 321 325 331 336 337 341 343 344 350 351 a 1 5 9 10 11 13 14 15 19 21 35 41 45 53 56 57 63 68 74 75 79 81 83 84 86 88 89 94 96 98 108 109 112 115 118 119 122 130 131 142 144 145 150 152 154 155 158 159 161 165 171 179 180 183 184 188 190 192 198 204 208 212 217 219 222 224 225 229 230 231 232 236 238 242 245 248 254 257 258 259 261 264 268 282 283 288 291 294 298 300 302 303 304 306 309 311 312 316 321 325 331 336 337 341 343 344 350 351 a 1 5 9 10 11 13 14 15 19 21 35 41 45 53 56 57 63 68 74 75 79 81 83 84 86 88 89 94 96 98 108 109 112 115 118 119 122 130 131 142 144 145 150 152 154 155 158 159 161 165 166 171 179 180 183 184 188 190 192 198 204 208 212 217 219 222 224 225 229 230 231 232 236 238 242 245 248 254 257 258 259 264 268 282 283 288 291 294 298 300 302 303 304 306 309 311 312 316 321 325 331 336 337 341 343 344 350 351 a 1 5 6 9 10 11 13 14 15 19 21 35 41 45 53 56 57 63 68 74 75 79 81 83 84 86 88 89 94 96 98 108 109 112 115 118 119 122 130 131 142 144 145 150 152 154 155 158 159 161 165 166 179 180 183 184 188 190 192 198 204 208 212 217 219 222 224 225 229 230 231 232 236 238 242 245 248 254 257 258 259 264 268 282 283 288 291 294 298 300 302 303 304 306 309 311 312 316 321 325 331 336 337 341 343 344 350 351 a 1 4 5 6 9 10 11 13 14 15 19 21 35 41 45 53 56 57 63 68 74 75 79 81 83 84 86 88 89 94 96 98 108 109 112 115 118 119 122 130 131 142 144 145 150 152 154 155 158 159 161 165 166 179 180 183 184 188 190 192 198 204 208 212 217 219 222 224 225 229 230 231 232 236 238 242 245 248 254 258 259 264 268 282 283 288 291 294 298 300 302 303 304 306 309 311 312 316 321 325 331 336 337 341 343 344 350 351 a 1 4 5 6 9 10 11 13 14 15 19 21 35 41 45 53 56 57 63 68 74 79 81 83 84 86 88 89 94 96 98 108 109 112 115 118 119 122 130 131 142 144 145 150 152 154 155 158 159 161 165 166 179 180 183 184 188 190 192 198 204 208 212 217 219 222 224 225 229 230 231 232 236 238 242 245 248 254 258 259 264 268 271 282 283 288 291 294 298 300 302 303 304 306 309 311 312 316 321 325 331 336 337 341 343 344 350 351 a 1 4 5 6 9 10 11 13 14 15 19 21 35 41 45 53 56 57 63 68 74 79 81 83 84 86 88 89 94 96 98 103 108 109 112 115 118 119 122 130 131 142 144 150 152 154 155 158 159 161 165 166 179 180 183 184 188 190 192 198 204 208 212 217 219 222 224 225 229 230 231 232 236 238 242 245 248 254 258 259 264 268 271 282 283 288 291 294 298 300 302 303 304 306 309 311 312 316 321 325 331 336 337 341 343 344 350 351 a 1 4 5 6 9 10 11 13 14 15 19 21 35 41 45 53 56 57 62 63 68 74 79 81 83 84 86 88 89 94 96 98 103 108 109 112 115 118 119 122 130 131 142 144 150 152 154 155 158 159 161 165 166 179 180 183 184 188 190 192 198 204 208 217 219 222 224 225 229 230 231 232 236 238 242 245 248 254 258 259 264 268 271 282 283 288 291 294 298 300 302 303 304 306 309 311 312 316 321 325 331 336 337 341 343 344 350 351 a 1 4 5 6 9 10 11 13 14 15 19 21 35 41 45 53 56 57 62 63 68 74 79 81 83 84 86 88 89 94 96 98 103 108 109 112 115 118 119 122 130 131 142 144 150 152 154 155 158 159 161 165 166 179 180 183 184 188 190 192 198 204 208 219 222 224 225 229 230 231 232 236 238 242 245 248 250 254 258 259 264 268 271 282 283 288 291 294 298 300 302 303 304 306 309 311 312 316 321 325 331 336 337 341 343 344 350 351 a 1 4 5 6 9 10 11 13 14 15 19 21 35 41 45 53 56 57 62 63 68 74 79 81 83 84 86 88 89 94 96 97 98 103 108 109 112 115 118 119 122 130 131 142 144 150 152 154 155 158 159 161 165 166 179 180 183 184 188 190 192 198 204 208 219 222 224 225 229 230 231 232 236 238 242 245 248 250 254 258 259 264 268 271 282 283 288 291 294 298 300 302 303 304 306 309 311 312 316 321 325 331 337 341 343 344 350 351 a 1 4 5 6 9 10 11 13 14 15 19 21 35 41 45 53 56 57 62 63 68 74 79 81 83 84 86 88 89 94 96 97 98 103 108 109 112 115 118 119 122 130 131 142 144 150 152 154 155 158 159 161 165 166 179 180 183 184 188 189 190 192 198 204 208 219 222 224 225 229 230 231 232 236 238 242 245 248 250 254 259 264 268 271 282 283 288 291 294 298 300 302 303 304 306 309 311 312 316 321 325 331 337 341 343 344 350 351 a 1 4 5 6 9 10 11 13 15 19 21 35 41 45 53 56 57 62 63 68 74 79 81 83 84 86 88 89 94 96 97 98 103 108 109 112 115 118 119 122 130 131 142 144 146 150 152 154 155 158 159 161 165 166 179 180 183 184 188 189 190 192 198 204 208 219 222 224 225 229 230 231 232 236 238 242 245 248 250 254 259 264 268 271 282 283 288 291 294 298 300 302 303 304 306 309 311 312 316 321 325 331 337 341 343 344 350 351 a 1 4 5 6 9 10 11 13 15 19 21 35 41 45 53 56 57 62 63 68 74 79 81 83 84 86 88 89 94 96 97 98 103 108 109 112 115 118 119 122 130 131 142 144 146 150 152 154 155 158 159 161 165 166 179 180 183 184 188 189 190 198 204 208 219 222 224 225 229 230 231 232 236 238 242 245 248 250 254 259 264 268 271 282 283 288 291 294 298 300 302 303 304 305 306 309 311 312 316 321 325 331 337 341 343 344 350 351 a 1 4 5 6 9 10 11 13 15 19 21 35 41 45 53 56 57 62 63 68 74 79 81 83 84 86 88 89 94 96 97 98 103 108 109 112 115 118 119 122 130 131 142 144 146 152 154 155 158 159 161 165 166 176 179 180 183 184 188 189 190 198 204 208 219 222 224 225 229 230 231 232 236 238 242 245 248 250 254 259 264 268 271 282 283 288 291 294 298 300 302 303 304 305 306 309 311 312 316 321 325 331 337 341 343 344 350 351 a 1 4 5 6 9 10 11 13 15 19 21 35 41 45 53 56 57 62 63 68 74 79 81 83 84 86 88 89 94 96 97 98 103 108 109 112 115 118 119 122 130 131 142 144 146 152 154 155 158 159 161 162 165 166 176 179 180 184 188 189 190 198 204 208 219 222 224 225 229 230 231 232 236 238 242 245 248 250 254 259 264 268 271 282 283 288 291 294 298 300 302 303 304 305 306 309 311 312 316 321 325 331 337 341 343 344 350 351 a 1 4 5 6 9 10 11 13 15 19 21 35 41 45 53 56 57 62 63 67 68 74 79 81 83 84 86 88 89 94 96 97 98 103 108 109 112 115 118 119 122 130 131 142 144 146 152 155 158 159 161 162 165 166 176 179 180 184 188 189 190 198 204 208 219 222 224 225 229 230 231 232 236 238 242 245 248 250 254 259 264 268 271 282 283 288 291 294 298 300 302 303 304 305 306 309 311 312 316 321 325 331 337 341 343 344 350 351 a 1 4 5 6 9 10 11 13 15 19 21 35 41 45 53 56 57 62 63 67 68 74 79 81 83 84 86 88 89 94 96 97 98 103 108 109 112 115 118 119 122 130 131 142 144 146 152 155 158 159 161 162 165 166 176 179 180 184 188 189 190 198 204 208 219 224 225 229 230 231 232 236 238 242 245 248 250 254 256 259 264 268 271 282 283 288 291 294 298 300 302 303 304 305 306 309 311 312 316 321 325 331 337 341 343 344 350 351 a 1 4 5 6 9 10 11 13 15 19 21 35 45 53 56 57 62 63 67 68 74 79 81 83 84 86 88 89 94 96 97 98 103 108 109 112 115 118 119 122 130 131 142 144 146 152 155 158 159 161 162 165 166 176 179 180 184 188 189 190 198 204 208 219 220 224 225 229 230 231 232 236 238 242 245 248 250 254 256 259 264 268 271 282 283 288 291 294 298 300 302 303 304 305 306 309 311 312 316 321 325 331 337 341 343 344 350 351 a 1 4 5 6 9 10 11 13 15 19 21 35 45 53 56 57 62 63 67 68 74 79 81 83 84 86 88 89 94 96 97 98 103 108 109 110 112 115 118 119 122 130 131 142 144 146 152 155 158 159 161 162 165 166 176 179 180 184 188 189 190 198 204 208 219 220 225 229 230 231 232 236 238 242 245 248 250 254 256 259 264 268 271 282 283 288 291 294 298 300 302 303 304 305 306 309 311 312 316 321 325 331 337 341 343 344 350 351 a 1 4 5 6 9 10 11 13 15 19 21 35 45 53 56 57 62 63 67 68 74 79 81 83 84 86 88 89 94 96 97 98 103 108 109 110 112 115 118 119 122 130 131 142 144 146 152 155 158 159 161 162 165 166 176 179 180 184 188 189 190 198 204 208 219 220 225 229 230 231 232 236 238 242 245 248 250 254 256 259 264 266 268 271 282 283 288 291 294 298 300 302 303 304 305 306 309 311 312 316 321 325 331 337 343 344 350 351 a 1 4 5 6 9 10 11 13 15 19 21 35 45 53 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 103 108 109 110 112 115 118 119 122 128 130 131 142 144 146 152 155 158 159 161 162 165 166 176 179 180 184 188 189 190 198 204 208 219 220 225 229 230 231 232 236 238 242 245 248 250 254 256 259 264 266 268 271 282 283 288 291 294 298 300 302 303 304 305 306 309 311 312 316 321 325 331 337 343 344 350 351 a 1 4 5 6 9 10 11 13 15 19 21 35 45 53 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 103 108 109 110 112 115 118 119 122 128 130 131 142 144 146 152 155 158 159 161 162 165 166 170 176 179 180 184 188 189 190 198 204 208 219 220 225 229 230 231 232 236 238 242 245 248 250 254 256 259 264 266 268 271 282 283 288 291 294 298 300 302 303 304 305 306 309 311 312 316 321 325 331 337 343 350 351 a 1 4 5 6 9 10 11 13 15 17 19 21 35 45 53 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 103 108 109 110 112 115 118 119 122 128 130 131 142 144 146 152 155 158 159 161 162 165 166 170 176 179 180 184 188 189 190 198 204 208 219 220 225 229 230 231 236 238 242 245 248 250 254 256 259 264 266 268 271 282 283 288 291 294 298 300 302 303 304 305 306 309 311 312 316 321 325 331 337 343 350 351 a 1 4 5 6 9 10 11 13 15 17 19 21 35 45 53 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 103 108 109 110 112 115 119 122 128 130 131 142 144 146 152 155 158 159 161 162 165 166 170 176 179 180 184 188 189 190 198 200 204 208 219 220 225 229 230 231 236 238 242 245 248 250 254 256 259 264 266 268 271 282 283 288 291 294 298 300 302 303 304 305 306 309 311 312 316 321 325 331 337 343 350 351 a 1 4 5 6 9 10 11 13 15 17 19 21 35 45 53 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 103 108 109 110 112 115 119 122 128 130 131 142 144 146 152 155 158 159 161 162 165 166 170 176 179 180 184 188 189 190 198 200 204 208 219 220 225 229 230 231 236 238 242 245 248 250 254 256 259 264 266 268 271 282 283 288 291 294 298 300 302 303 304 305 306 309 311 312 316 321 331 332 337 343 350 351 a 1 4 5 6 9 10 11 13 15 17 19 21 29 35 45 53 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 103 108 109 110 112 115 119 122 128 130 131 142 144 146 152 155 158 159 161 162 165 166 170 176 179 180 184 188 189 190 198 200 204 208 219 220 225 229 230 231 236 238 242 245 248 250 254 256 259 264 266 268 271 282 283 288 291 294 298 300 302 303 304 305 309 311 312 316 321 331 332 337 343 350 351 a 1 4 5 6 9 10 11 13 15 17 19 21 29 35 45 53 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 103 108 109 110 112 115 119 122 128 130 131 142 144 146 152 155 159 161 162 165 166 170 176 179 180 184 188 189 190 198 200 204 208 219 220 225 229 230 231 236 238 242 245 248 250 254 256 259 264 266 268 269 271 282 283 288 291 294 298 300 302 303 304 305 309 311 312 316 321 331 332 337 343 350 351 a 1 4 5 6 9 10 11 13 15 17 19 21 29 45 53 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 103 108 109 110 112 115 119 122 126 128 130 131 142 144 146 152 155 159 161 162 165 166 170 176 179 180 184 188 189 190 198 200 204 208 219 220 225 229 230 231 236 238 242 245 248 250 254 256 259 264 266 268 269 271 282 283 288 291 294 298 300 302 303 304 305 309 311 312 316 321 331 332 337 343 350 351 c Step: 61 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance027_graph002.col /benchmark/random_instance/random_instance027_graph002_01.dat" User time (seconds): 2.76 System time (seconds): 0.13 Percent of CPU this job got: 174% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.66 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): 168720 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 106568 Voluntary context switches: 6493 Involuntary context switches: 13 Swaps: 0 File system inputs: 0 File system outputs: 360 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:43:23 2023]