#BEGIN: [Mon Sep 4 12:43:24 2023] #HOST: s05 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance027_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance027_graph005_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_graph005.col /benchmark/random_instance/random_instance027_graph005_01.dat c /benchmark/random_instance/random_instance027_graph005.col c /benchmark/random_instance/random_instance027_graph005_01.dat s 259 182 72 215 57 118 239 66 154 74 30 183 196 133 176 212 314 209 10 332 162 272 202 17 321 155 275 86 343 226 70 323 173 251 347 205 198 134 103 276 61 56 54 320 110 351 90 149 262 184 55 9 115 94 37 47 237 288 204 200 150 109 76 5 168 121 124 309 22 350 318 153 148 141 156 41 301 229 185 171 67 24 341 89 299 189 253 2 295 113 265 286 304 240 327 32 344 15 223 328 130 333 126 145 243 73 163 296 25 348 337 170 218 120 t 286 85 312 346 22 8 38 261 114 154 234 16 245 220 267 198 343 241 195 139 6 209 73 208 83 176 221 250 206 308 175 120 44 31 152 66 105 17 316 77 127 122 258 84 243 91 81 57 287 150 55 185 194 262 203 192 298 300 15 117 186 142 160 200 109 40 116 251 128 126 72 295 1 45 320 318 23 174 56 213 13 225 219 341 48 223 67 89 68 141 75 163 299 242 103 235 58 140 188 190 224 161 334 36 178 193 315 25 307 135 79 94 132 9 a YES a 2 5 9 10 15 17 22 24 25 30 32 37 41 47 54 55 56 57 61 66 67 70 72 73 74 76 86 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 176 182 183 184 185 189 196 198 200 202 204 205 209 212 215 218 223 226 229 237 239 240 243 251 253 259 262 265 272 275 276 286 288 295 296 299 301 304 309 314 318 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 24 25 30 32 37 41 47 54 55 56 57 61 66 67 70 72 73 74 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 176 182 183 184 185 189 196 198 200 202 204 205 209 212 215 218 223 226 229 237 239 240 243 251 253 259 261 262 265 272 275 276 286 288 295 296 299 301 304 309 314 318 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 24 25 30 32 37 41 44 47 54 55 56 57 61 66 67 70 72 73 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 176 182 183 184 185 189 196 198 200 202 204 205 209 212 215 218 223 226 229 237 239 240 243 251 253 259 261 262 265 272 275 276 286 288 295 296 299 301 304 309 314 318 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 24 25 30 32 37 41 44 47 54 55 56 57 61 66 67 70 72 73 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 140 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 176 182 183 184 185 189 196 198 200 202 204 205 209 212 215 218 223 226 229 237 239 240 243 251 253 259 261 262 265 272 275 276 286 288 295 296 299 301 304 309 318 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 24 25 30 32 37 41 44 47 54 55 56 57 61 66 67 70 72 73 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 140 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 176 182 183 184 185 189 190 196 198 200 202 204 205 209 212 215 218 223 226 229 237 240 243 251 253 259 261 262 265 272 275 276 286 288 295 296 299 301 304 309 318 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 24 25 30 32 37 41 44 47 54 55 56 57 61 66 67 70 72 73 76 89 90 94 103 109 110 113 115 118 120 121 124 126 130 133 134 140 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 176 182 183 184 185 189 190 194 196 198 200 202 204 205 209 212 215 218 223 226 229 237 240 243 251 253 259 261 262 265 272 275 286 288 295 296 299 301 304 309 318 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 5 9 10 15 17 22 24 25 30 32 37 41 44 47 54 55 56 57 61 66 67 70 72 73 76 89 90 94 103 109 110 113 115 118 120 121 124 126 128 130 133 134 140 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 176 182 183 184 185 189 190 194 196 198 200 202 204 209 212 215 218 223 226 229 237 240 243 251 253 259 261 262 265 272 275 286 288 295 296 299 301 304 309 318 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 9 10 15 17 22 24 25 30 32 37 41 44 47 54 55 56 57 61 66 67 70 72 73 75 76 89 90 94 103 109 110 113 115 118 120 121 124 126 128 130 133 134 140 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 176 182 183 184 185 189 190 194 196 198 200 202 204 209 212 215 218 223 226 229 237 240 243 251 253 259 261 262 265 272 275 286 288 295 296 299 301 304 309 318 320 321 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 9 10 15 17 22 23 24 25 30 32 37 41 44 47 54 55 56 57 61 66 67 70 72 73 75 76 89 90 94 103 109 110 113 115 118 120 121 124 126 128 130 133 134 140 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 176 182 183 184 185 189 190 194 196 198 200 202 204 209 212 215 218 223 226 229 237 240 243 251 253 259 261 262 265 272 275 286 288 295 296 299 301 304 309 318 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 9 10 15 17 22 23 24 25 30 32 37 41 44 47 54 55 56 57 61 66 67 70 72 73 75 76 84 89 90 94 103 109 110 113 115 118 120 121 124 126 128 130 133 134 140 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 176 182 183 184 185 189 190 194 196 198 200 202 204 209 212 215 218 223 226 229 237 240 243 251 259 261 262 265 272 275 286 288 295 296 299 301 304 309 318 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 9 10 15 17 22 23 24 25 30 32 37 41 44 47 54 55 56 57 61 66 67 70 72 73 75 76 84 89 90 94 103 109 110 113 115 118 120 121 124 126 128 130 133 134 140 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 176 182 183 185 189 190 194 196 198 200 202 204 209 212 215 218 223 226 229 237 240 243 251 259 261 262 265 267 272 275 286 288 295 296 299 301 304 309 318 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 9 10 15 17 22 23 24 25 30 32 37 41 44 47 54 55 56 57 61 66 67 70 72 73 75 76 84 89 90 94 103 109 110 115 118 120 121 124 126 128 130 133 134 140 141 145 148 149 150 153 154 155 156 162 163 168 170 171 173 176 182 183 185 189 190 194 196 198 200 202 204 209 212 215 218 223 225 226 229 237 240 243 251 259 261 262 265 267 272 275 286 288 295 296 299 301 304 309 318 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 9 10 15 17 22 23 24 25 30 32 37 41 44 47 54 55 56 57 61 66 67 70 72 73 75 76 84 89 90 94 103 109 110 115 118 120 121 124 126 128 130 133 134 140 141 145 148 149 150 153 154 155 156 163 168 170 171 173 176 182 183 185 189 190 194 196 198 200 202 203 204 209 212 215 218 223 225 226 229 237 240 243 251 259 261 262 265 267 272 275 286 288 295 296 299 301 304 309 318 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 9 10 15 17 22 23 24 25 30 37 41 44 47 54 55 56 57 61 66 67 70 72 73 75 76 84 89 90 94 103 109 110 115 118 120 121 124 126 128 130 133 134 140 141 145 148 149 150 153 154 155 156 163 168 170 171 173 176 182 183 185 189 190 194 196 198 200 202 203 204 209 212 215 218 223 225 226 229 237 240 241 243 251 259 261 262 265 267 272 275 286 288 295 296 299 301 304 309 318 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 9 10 15 17 22 23 24 25 30 37 41 44 47 54 55 56 57 61 66 67 70 72 73 75 76 84 89 90 94 103 109 110 115 118 120 121 124 126 128 130 133 134 140 141 148 149 150 153 154 155 156 161 163 168 170 171 173 176 182 183 185 189 190 194 196 198 200 202 203 204 209 212 215 218 223 225 226 229 237 240 241 243 251 259 261 262 265 267 272 275 286 288 295 296 299 301 304 309 318 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 9 10 15 17 22 23 24 25 30 37 41 44 47 54 55 56 57 61 66 67 70 72 73 75 76 84 89 90 94 103 109 110 115 118 120 121 124 126 128 130 133 134 140 141 148 149 150 153 154 155 156 161 163 168 170 171 173 176 182 183 185 186 189 190 194 196 198 200 202 203 204 209 212 215 218 223 225 226 229 237 240 241 243 251 259 261 262 265 267 272 286 288 295 296 299 301 304 309 318 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 9 10 15 17 22 23 24 25 30 37 41 44 47 54 55 56 57 61 66 67 70 72 73 75 76 84 89 90 94 103 109 110 115 118 120 121 124 126 128 130 133 134 140 141 148 149 150 153 154 155 156 161 163 168 170 171 173 176 182 183 185 186 189 190 194 198 200 202 203 204 209 212 213 215 218 223 225 226 229 237 240 241 243 251 259 261 262 265 267 272 286 288 295 296 299 301 304 309 318 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 9 10 15 17 22 23 24 25 30 31 37 41 44 47 54 55 56 57 61 66 67 70 72 73 75 76 84 89 90 94 103 109 110 115 118 120 121 124 126 128 130 133 134 140 141 148 149 150 153 154 155 156 161 163 168 170 171 173 176 183 185 186 189 190 194 198 200 202 203 204 209 212 213 215 218 223 225 226 229 237 240 241 243 251 259 261 262 265 267 272 286 288 295 296 299 301 304 309 318 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 9 10 15 17 22 23 24 25 30 31 37 41 44 47 54 55 56 57 61 66 67 70 72 73 75 76 84 89 90 94 103 109 115 118 120 121 124 126 128 130 132 133 134 140 141 148 149 150 153 154 155 156 161 163 168 170 171 173 176 183 185 186 189 190 194 198 200 202 203 204 209 212 213 215 218 223 225 226 229 237 240 241 243 251 259 261 262 265 267 272 286 288 295 296 299 301 304 309 318 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 8 9 10 15 17 22 23 24 25 30 31 37 41 44 47 54 55 56 57 61 66 67 70 72 73 75 76 84 89 90 94 103 109 115 120 121 124 126 128 130 132 133 134 140 141 148 149 150 153 154 155 156 161 163 168 170 171 173 176 183 185 186 189 190 194 198 200 202 203 204 209 212 213 215 218 223 225 226 229 237 240 241 243 251 259 261 262 265 267 272 286 288 295 296 299 301 304 309 318 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 8 9 10 13 15 17 22 23 24 25 30 31 37 41 44 47 54 55 56 57 61 66 67 70 72 73 75 76 84 89 90 94 103 109 115 120 121 124 126 128 130 132 133 134 140 141 148 149 150 153 154 155 156 161 163 168 170 171 173 176 185 186 189 190 194 198 200 202 203 204 209 212 213 215 218 223 225 226 229 237 240 241 243 251 259 261 262 265 267 272 286 288 295 296 299 301 304 309 318 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 8 9 10 13 15 17 22 23 24 25 30 31 37 41 44 47 54 55 56 57 61 66 67 70 72 73 75 76 84 89 90 94 103 109 115 120 121 124 126 128 130 132 133 134 140 141 148 149 150 153 154 155 156 161 163 168 170 171 173 176 185 186 188 189 190 194 198 200 203 204 209 212 213 215 218 223 225 226 229 237 240 241 243 251 259 261 262 265 267 272 286 288 295 296 299 301 304 309 318 320 323 327 328 332 333 337 341 343 344 347 348 350 351 a 2 8 9 10 13 15 17 22 23 24 25 30 31 37 41 44 47 48 54 55 56 57 61 66 67 70 72 73 75 76 84 89 90 94 103 109 115 120 121 124 126 128 130 132 133 134 140 141 148 149 150 153 154 155 156 161 163 168 170 171 173 176 185 186 188 189 190 194 198 200 203 204 209 212 213 215 218 223 225 226 229 237 240 241 243 251 259 261 262 265 267 272 286 288 295 296 299 301 304 309 318 320 323 327 328 333 337 341 343 344 347 348 350 351 a 2 8 9 10 13 15 17 22 23 24 25 30 31 37 41 44 47 48 54 55 56 57 61 66 67 70 72 73 75 76 84 89 90 94 103 109 115 120 121 124 126 128 130 132 133 134 140 141 149 150 153 154 155 156 161 163 168 170 171 173 175 176 185 186 188 189 190 194 198 200 203 204 209 212 213 215 218 223 225 226 229 237 240 241 243 251 259 261 262 265 267 272 286 288 295 296 299 301 304 309 318 320 323 327 328 333 337 341 343 344 347 348 350 351 a 2 8 9 10 13 15 17 22 23 24 25 30 31 37 44 47 48 54 55 56 57 61 66 67 70 72 73 75 76 84 89 90 94 103 109 115 120 121 124 126 128 130 132 133 134 140 141 149 150 153 154 155 156 161 163 168 170 171 173 175 176 185 186 188 189 190 194 198 200 203 204 209 212 213 215 218 223 225 226 229 237 240 241 243 250 251 259 261 262 265 267 272 286 288 295 296 299 301 304 309 318 320 323 327 328 333 337 341 343 344 347 348 350 351 a 2 8 9 10 13 15 17 22 23 24 25 30 31 37 44 47 48 54 55 56 57 61 66 67 70 72 73 75 76 84 89 90 94 103 109 115 120 121 124 126 127 128 130 132 133 134 140 141 149 150 153 154 155 156 161 163 168 170 171 173 175 176 185 186 188 189 190 194 198 200 203 209 212 213 215 218 223 225 226 229 237 240 241 243 250 251 259 261 262 265 267 272 286 288 295 296 299 301 304 309 318 320 323 327 328 333 337 341 343 344 347 348 350 351 a 2 8 9 10 13 15 17 22 23 24 25 30 31 37 38 44 47 48 54 55 56 57 61 66 67 70 72 73 75 76 84 89 90 94 103 109 115 120 121 124 126 127 128 130 132 133 134 140 141 149 150 153 154 155 156 161 163 168 170 171 173 175 176 185 186 188 189 190 194 198 200 203 209 212 213 215 218 223 225 226 229 237 240 241 243 250 251 259 261 262 265 267 272 286 288 295 296 299 301 304 309 318 320 323 327 333 337 341 343 344 347 348 350 351 a 2 8 9 10 13 15 17 22 23 24 25 30 31 37 38 44 47 48 54 55 56 57 61 66 67 70 72 73 75 76 84 89 90 94 103 109 115 120 121 124 126 127 128 130 132 133 134 140 141 149 150 153 154 155 156 161 163 168 170 171 173 175 176 185 186 188 189 190 194 198 200 203 209 212 213 215 218 223 225 226 229 237 240 241 243 250 251 259 261 262 265 267 272 286 288 295 296 299 301 304 309 316 318 320 323 333 337 341 343 344 347 348 350 351 a 2 8 9 10 13 15 17 22 23 24 25 30 31 37 38 44 47 48 54 55 56 57 66 67 70 72 73 75 76 84 89 90 94 103 105 109 115 120 121 124 126 127 128 130 132 133 134 140 141 149 150 153 154 155 156 161 163 168 170 171 173 175 176 185 186 188 189 190 194 198 200 203 209 212 213 215 218 223 225 226 229 237 240 241 243 250 251 259 261 262 265 267 272 286 288 295 296 299 301 304 309 316 318 320 323 333 337 341 343 344 347 348 350 351 a 2 8 9 10 13 15 17 22 23 24 25 30 31 37 38 44 47 48 54 55 56 57 66 67 70 72 73 75 84 89 90 94 103 105 109 115 120 121 124 126 127 128 130 132 133 134 140 141 149 150 153 154 155 156 161 163 168 170 171 173 175 176 178 185 186 188 189 190 194 198 200 203 209 212 213 215 218 223 225 226 229 237 240 241 243 250 251 259 261 262 265 267 272 286 288 295 296 299 301 304 309 316 318 320 323 333 337 341 343 344 347 348 350 351 a 2 8 9 10 13 15 17 22 23 24 25 30 31 37 38 44 47 48 54 55 56 57 66 67 70 72 73 75 84 89 90 94 103 105 109 115 120 121 124 126 127 128 130 132 133 134 140 141 149 150 153 154 155 156 161 163 168 170 171 173 175 176 178 185 186 188 189 190 194 198 200 203 209 212 213 218 223 225 226 229 237 240 241 243 250 251 259 261 262 265 267 272 286 288 295 296 299 301 304 309 316 318 320 323 333 337 341 343 344 346 347 348 350 351 a 2 8 9 10 13 15 17 22 23 24 25 30 31 37 38 44 47 48 54 55 56 57 66 67 70 72 73 75 84 89 90 94 103 105 109 115 120 121 124 126 127 128 130 132 133 134 135 140 141 149 150 153 154 155 156 161 163 168 170 171 173 175 176 178 185 186 188 189 190 194 198 200 203 209 212 213 218 223 225 226 229 237 240 241 243 250 251 261 262 265 267 272 286 288 295 296 299 301 304 309 316 318 320 323 333 337 341 343 344 346 347 348 350 351 a 2 8 9 10 13 15 17 22 23 24 25 30 31 37 38 44 47 48 54 55 56 57 66 67 70 72 73 75 84 89 90 94 103 105 109 115 120 121 124 126 127 128 130 132 133 134 135 140 141 149 150 153 154 155 156 161 163 168 170 171 173 175 176 178 185 186 188 189 190 194 198 200 203 209 213 218 223 225 226 229 237 240 241 243 250 251 261 262 265 267 272 286 288 295 296 299 301 304 308 309 316 318 320 323 333 337 341 343 344 346 347 348 350 351 a 1 2 8 9 10 13 15 17 22 23 24 25 30 31 37 38 44 47 48 54 55 56 57 66 67 70 72 73 75 84 89 90 94 103 105 109 115 120 121 124 126 127 128 132 133 134 135 140 141 149 150 153 154 155 156 161 163 168 170 171 173 175 176 178 185 186 188 189 190 194 198 200 203 209 213 218 223 225 226 229 237 240 241 243 250 251 261 262 265 267 272 286 288 295 296 299 301 304 308 309 316 318 320 323 333 337 341 343 344 346 347 348 350 351 a 1 2 8 9 10 13 15 17 22 23 24 25 30 31 37 38 40 44 47 48 54 55 56 57 66 67 70 72 73 75 84 89 90 94 103 105 109 115 120 121 124 126 127 128 132 133 134 135 140 141 149 150 153 154 156 161 163 168 170 171 173 175 176 178 185 186 188 189 190 194 198 200 203 209 213 218 223 225 226 229 237 240 241 243 250 251 261 262 265 267 272 286 288 295 296 299 301 304 308 309 316 318 320 323 333 337 341 343 344 346 347 348 350 351 a 1 2 8 9 10 13 15 17 22 23 24 25 30 31 37 38 40 44 47 48 54 55 56 57 66 67 70 72 73 75 84 89 90 94 103 105 109 115 120 121 124 126 127 128 132 133 134 135 140 141 149 150 153 154 156 160 161 163 168 170 171 173 175 176 178 185 186 188 189 190 194 198 200 203 209 213 218 223 225 226 237 240 241 243 250 251 261 262 265 267 272 286 288 295 296 299 301 304 308 309 316 318 320 323 333 337 341 343 344 346 347 348 350 351 a 1 2 8 9 13 15 17 22 23 24 25 30 31 37 38 40 44 47 48 54 55 56 57 66 67 70 72 73 75 84 89 90 91 94 103 105 109 115 120 121 124 126 127 128 132 133 134 135 140 141 149 150 153 154 156 160 161 163 168 170 171 173 175 176 178 185 186 188 189 190 194 198 200 203 209 213 218 223 225 226 237 240 241 243 250 251 261 262 265 267 272 286 288 295 296 299 301 304 308 309 316 318 320 323 333 337 341 343 344 346 347 348 350 351 a 1 2 8 9 13 15 17 22 23 24 25 30 31 37 38 40 44 47 48 54 55 56 57 58 66 67 70 72 73 75 84 89 90 91 94 103 105 109 115 120 121 124 126 127 128 132 133 134 135 140 141 149 150 153 154 156 160 161 163 168 170 171 173 175 176 178 185 186 188 189 190 194 198 200 203 209 213 218 223 225 226 237 240 241 243 250 251 261 262 265 267 272 286 288 295 296 299 301 304 308 309 316 318 320 323 333 337 341 343 344 346 347 348 351 a 1 2 8 9 13 15 17 22 23 24 25 30 31 37 38 40 44 47 48 54 55 56 57 58 66 67 70 72 73 75 84 89 90 91 94 103 105 109 115 120 121 124 126 127 128 132 133 134 135 140 141 149 150 153 154 156 160 161 163 168 170 171 173 175 176 178 185 186 188 189 190 194 198 200 203 209 213 218 223 224 225 226 237 241 243 250 251 261 262 265 267 272 286 288 295 296 299 301 304 308 309 316 318 320 323 333 337 341 343 344 346 347 348 351 a 1 2 8 9 13 15 17 22 23 24 25 30 31 37 38 40 44 47 48 54 55 56 57 58 66 67 70 72 73 75 84 89 90 91 94 103 105 109 115 120 121 124 126 127 128 132 133 134 135 140 141 149 150 152 153 154 156 160 161 163 168 170 171 173 175 176 178 185 186 188 189 190 194 198 200 203 209 213 218 223 224 225 226 237 241 243 250 251 261 262 265 267 272 286 288 295 299 301 304 308 309 316 318 320 323 333 337 341 343 344 346 347 348 351 a 1 8 9 13 15 17 22 23 24 25 30 31 37 38 40 44 47 48 54 55 56 57 58 66 67 70 72 73 75 84 89 90 91 94 103 105 109 115 120 121 124 126 127 128 132 133 134 135 140 141 149 150 152 153 154 156 160 161 163 168 170 171 173 175 176 178 185 186 188 189 190 194 198 200 203 209 213 218 223 224 225 226 234 237 241 243 250 251 261 262 265 267 272 286 288 295 299 301 304 308 309 316 318 320 323 333 337 341 343 344 346 347 348 351 a 1 8 9 13 15 17 22 23 24 25 30 31 37 38 40 44 47 48 54 55 56 57 58 66 67 70 72 73 75 84 89 90 91 94 103 105 109 115 120 121 124 126 127 128 132 133 135 140 141 149 150 152 153 154 156 160 161 163 168 170 171 173 175 176 178 185 186 188 189 190 194 198 200 203 209 213 218 223 224 225 226 234 237 241 243 245 250 251 261 262 265 267 272 286 288 295 299 301 304 308 309 316 318 320 323 333 337 341 343 344 346 347 348 351 a 1 8 9 13 15 17 22 23 24 25 30 31 37 38 40 44 47 48 54 55 56 57 58 66 67 70 72 73 75 84 89 90 91 94 103 105 109 115 120 121 126 127 128 132 133 135 140 141 149 150 152 153 154 156 160 161 163 168 170 171 173 175 176 178 185 186 188 189 190 194 198 200 203 209 213 218 219 223 224 225 226 234 237 241 243 245 250 251 261 262 265 267 272 286 288 295 299 301 304 308 309 316 318 320 323 333 337 341 343 344 346 347 348 351 a 1 8 9 13 15 17 22 23 24 25 30 31 37 38 40 44 47 48 54 55 56 57 58 66 67 68 70 72 73 75 84 89 90 91 94 103 105 109 115 120 121 126 127 128 132 133 135 140 141 149 150 152 153 154 156 160 161 163 168 170 171 173 175 176 178 185 186 188 189 190 194 198 200 203 209 213 218 219 223 224 225 226 234 237 241 243 245 250 251 261 262 265 267 272 286 288 295 299 301 304 308 309 316 318 320 323 333 337 341 343 344 346 347 348 a 1 8 9 13 15 17 22 23 24 25 30 31 37 38 40 44 47 48 54 55 56 57 58 66 67 68 70 72 73 75 84 89 90 91 94 103 105 109 115 120 121 126 127 128 132 133 135 140 141 149 150 152 154 156 160 161 163 168 170 171 173 175 176 178 185 186 188 189 190 194 198 200 203 209 213 218 219 223 224 225 226 234 237 241 243 245 250 251 261 262 265 267 272 286 288 295 299 301 304 307 308 309 316 318 320 323 333 337 341 343 344 346 347 348 a 1 8 9 13 15 17 22 23 24 25 30 31 37 38 40 44 47 48 54 55 56 57 58 66 67 68 70 72 73 75 84 89 90 91 94 103 105 109 115 120 121 126 127 128 132 133 135 140 141 149 150 152 154 156 160 161 163 168 170 171 173 175 176 178 185 186 188 189 190 194 198 200 203 209 213 218 219 220 223 224 225 226 234 237 241 243 245 250 251 261 262 265 267 272 286 288 295 299 301 304 307 308 309 316 318 320 323 333 337 341 343 344 346 347 a 1 8 9 13 15 16 17 22 23 24 25 30 31 37 38 40 44 47 48 54 55 56 57 58 66 67 68 72 73 75 84 89 90 91 94 103 105 109 115 120 121 126 127 128 132 133 135 140 141 149 150 152 154 156 160 161 163 168 170 171 173 175 176 178 185 186 188 189 190 194 198 200 203 209 213 218 219 220 223 224 225 226 234 237 241 243 245 250 251 261 262 265 267 272 286 288 295 299 301 304 307 308 309 316 318 320 323 333 337 341 343 344 346 347 a 1 8 9 13 15 16 17 22 23 24 25 30 31 37 38 40 44 47 48 54 55 56 57 58 66 67 68 72 73 75 84 89 90 91 94 103 105 109 115 120 121 126 127 128 132 133 135 140 141 149 150 152 154 156 160 161 163 168 170 171 173 175 176 178 185 186 188 189 190 194 198 200 203 209 213 218 219 220 223 224 225 226 234 237 241 243 245 250 251 258 261 262 265 267 286 288 295 299 301 304 307 308 309 316 318 320 323 333 337 341 343 344 346 347 a 1 8 9 13 15 16 17 22 23 24 25 30 31 37 38 40 44 47 48 54 55 56 57 58 66 67 68 72 73 75 77 84 89 90 91 94 103 105 109 115 120 126 127 128 132 133 135 140 141 149 150 152 154 156 160 161 163 168 170 171 173 175 176 178 185 186 188 189 190 194 198 200 203 209 213 218 219 220 223 224 225 226 234 237 241 243 245 250 251 258 261 262 265 267 286 288 295 299 301 304 307 308 309 316 318 320 323 333 337 341 343 344 346 347 a 1 8 9 13 15 16 17 22 23 24 25 30 31 37 38 40 44 47 48 54 55 56 57 58 66 67 68 72 73 75 77 84 89 90 91 94 103 105 109 115 120 126 127 128 132 133 135 140 141 149 150 152 154 156 160 161 163 168 170 171 173 175 176 178 185 186 188 189 190 194 198 200 203 209 213 218 219 220 223 224 225 226 234 237 241 243 245 250 251 258 261 262 265 267 286 288 295 299 300 301 304 307 308 316 318 320 323 333 337 341 343 344 346 347 a 1 8 9 13 15 16 17 22 23 24 25 30 31 37 38 40 44 47 48 54 55 56 57 58 66 67 68 72 73 75 77 84 89 90 91 94 103 105 109 120 126 127 128 132 133 135 140 141 149 150 152 154 156 160 161 163 168 170 171 173 174 175 176 178 185 186 188 189 190 194 198 200 203 209 213 218 219 220 223 224 225 226 234 237 241 243 245 250 251 258 261 262 265 267 286 288 295 299 300 301 304 307 308 316 318 320 323 333 337 341 343 344 346 347 a 1 8 9 13 15 16 17 22 23 24 25 30 31 37 38 40 44 47 48 54 55 56 57 58 66 67 68 72 73 75 77 84 89 90 91 94 103 105 109 120 126 127 128 132 133 135 140 141 149 150 152 154 156 160 161 163 168 171 173 174 175 176 178 185 186 188 189 190 194 198 200 203 209 213 218 219 220 223 224 225 226 234 237 241 243 245 250 251 258 261 262 265 267 286 288 295 299 300 301 304 307 308 316 318 320 323 333 334 337 341 343 344 346 347 a 1 8 9 13 15 16 17 22 23 24 25 30 31 37 38 40 44 47 48 54 55 56 57 58 66 67 68 72 73 75 77 84 89 90 91 94 103 105 109 120 126 127 128 132 133 135 139 140 141 149 150 152 154 156 160 161 163 168 171 173 174 175 176 178 185 186 188 189 190 194 198 200 203 209 213 218 219 220 223 224 225 226 234 237 241 243 245 250 251 258 261 262 265 267 286 288 295 299 300 301 304 307 308 316 318 320 323 334 337 341 343 344 346 347 a 1 8 9 13 15 16 17 22 23 24 25 30 31 37 38 40 44 47 48 54 55 56 57 58 66 67 68 72 73 75 77 84 89 90 91 94 103 105 109 120 126 127 128 132 133 135 139 140 141 149 150 152 154 156 160 161 163 168 171 173 174 175 176 178 185 186 188 189 190 194 195 198 200 203 209 213 218 219 220 223 224 225 226 234 237 241 243 245 250 251 258 261 262 265 267 286 288 295 299 300 301 304 307 308 316 318 320 323 334 337 341 343 344 346 a 1 8 9 13 15 16 17 22 23 25 30 31 37 38 40 44 47 48 54 55 56 57 58 66 67 68 72 73 75 77 84 89 90 91 94 103 105 109 120 126 127 128 132 133 135 139 140 141 149 150 152 154 156 160 161 163 168 171 173 174 175 176 178 185 186 188 189 190 194 195 198 200 203 209 213 218 219 220 223 224 225 226 234 237 241 243 245 250 251 258 261 262 265 267 286 288 295 298 299 300 301 304 307 308 316 318 320 323 334 337 341 343 344 346 a 1 8 9 13 15 16 17 22 23 25 30 31 37 38 40 44 47 48 54 55 56 57 58 66 67 68 72 73 75 77 84 89 90 91 94 103 105 109 114 120 126 127 128 132 133 135 139 140 141 149 150 152 154 156 160 161 163 168 171 173 174 175 176 178 185 186 188 189 190 194 195 198 200 203 209 213 218 219 220 223 224 225 226 234 237 241 243 245 250 251 258 261 262 265 267 286 288 295 298 299 300 301 304 307 308 316 318 320 334 337 341 343 344 346 a 1 8 9 13 15 16 17 22 23 25 31 37 38 40 44 47 48 54 55 56 57 58 66 67 68 72 73 75 77 84 89 90 91 94 103 105 109 114 120 122 126 127 128 132 133 135 139 140 141 149 150 152 154 156 160 161 163 168 171 173 174 175 176 178 185 186 188 189 190 194 195 198 200 203 209 213 218 219 220 223 224 225 226 234 237 241 243 245 250 251 258 261 262 265 267 286 288 295 298 299 300 301 304 307 308 316 318 320 334 337 341 343 344 346 a 1 8 9 13 15 16 17 22 23 25 31 37 38 40 44 47 48 54 55 56 57 58 66 67 68 72 73 75 77 84 89 90 91 94 103 105 109 114 120 122 126 127 128 132 133 135 139 140 141 150 152 154 156 160 161 163 168 171 173 174 175 176 178 185 186 188 189 190 194 195 198 200 203 209 213 218 219 220 223 224 225 226 234 235 237 241 243 245 250 251 258 261 262 265 267 286 288 295 298 299 300 301 304 307 308 316 318 320 334 337 341 343 344 346 a 1 8 9 13 15 16 17 22 23 25 31 37 38 40 44 47 48 54 55 56 57 58 66 67 68 72 73 75 77 84 89 90 91 94 103 105 109 114 117 120 122 126 127 128 132 133 135 139 140 141 150 152 154 156 160 161 163 168 171 173 174 175 176 178 185 186 188 189 190 194 195 198 200 203 209 213 218 219 220 223 224 225 226 234 235 241 243 245 250 251 258 261 262 265 267 286 288 295 298 299 300 301 304 307 308 316 318 320 334 337 341 343 344 346 a 1 6 8 9 13 15 16 17 22 23 25 31 37 38 40 44 47 48 54 55 56 57 58 66 67 68 72 73 75 77 84 89 90 91 94 103 105 109 114 117 120 122 126 127 128 132 133 135 139 140 141 150 152 154 156 160 161 163 168 171 173 174 175 176 178 185 186 188 189 190 194 195 198 200 203 209 213 218 219 220 223 224 225 234 235 241 243 245 250 251 258 261 262 265 267 286 288 295 298 299 300 301 304 307 308 316 318 320 334 337 341 343 344 346 a 1 6 8 9 13 15 16 17 22 23 25 31 37 38 40 44 47 48 54 55 56 57 58 66 67 68 72 73 75 77 84 89 90 91 94 103 105 109 114 116 117 120 122 126 127 128 132 133 135 139 140 141 150 152 154 160 161 163 168 171 173 174 175 176 178 185 186 188 189 190 194 195 198 200 203 209 213 218 219 220 223 224 225 234 235 241 243 245 250 251 258 261 262 265 267 286 288 295 298 299 300 301 304 307 308 316 318 320 334 337 341 343 344 346 a 1 6 8 9 13 15 16 17 22 23 25 31 38 40 44 47 48 54 55 56 57 58 66 67 68 72 73 75 77 84 89 90 91 94 103 105 109 114 116 117 120 122 126 127 128 132 133 135 139 140 141 150 152 154 160 161 163 168 171 173 174 175 176 178 185 186 188 189 190 192 194 195 198 200 203 209 213 218 219 220 223 224 225 234 235 241 243 245 250 251 258 261 262 265 267 286 288 295 298 299 300 301 304 307 308 316 318 320 334 337 341 343 344 346 a 1 6 8 9 13 15 16 17 22 23 25 31 38 40 44 47 48 54 55 56 57 58 66 67 68 72 73 75 77 79 84 89 90 91 94 103 105 109 114 116 117 120 122 126 127 128 132 133 135 139 140 141 150 152 154 160 161 163 171 173 174 175 176 178 185 186 188 189 190 192 194 195 198 200 203 209 213 218 219 220 223 224 225 234 235 241 243 245 250 251 258 261 262 265 267 286 288 295 298 299 300 301 304 307 308 316 318 320 334 337 341 343 344 346 a 1 6 8 9 13 15 16 17 22 23 25 31 38 40 44 47 48 54 55 56 57 58 66 67 68 72 73 75 77 79 81 84 89 90 91 94 103 105 109 114 116 117 120 122 126 127 128 132 133 135 139 140 141 150 152 154 160 161 163 171 173 174 175 176 178 185 186 188 189 190 192 194 195 198 200 203 209 213 218 219 220 223 224 225 234 235 241 243 245 250 251 258 261 262 265 267 286 288 295 298 299 300 301 304 307 308 316 318 320 334 341 343 344 346 a 1 6 8 9 13 15 16 17 22 23 25 31 38 40 44 47 48 54 55 56 57 58 66 67 68 72 73 75 77 79 81 84 89 90 91 94 103 105 109 114 116 117 120 122 126 127 128 132 133 135 139 140 141 150 152 154 160 161 163 171 173 174 175 176 178 185 186 188 189 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 234 235 241 243 245 250 251 258 261 262 265 267 286 288 295 298 299 300 304 307 308 316 318 320 334 341 343 344 346 a 1 6 8 9 13 15 16 17 22 23 25 31 38 40 44 48 54 55 56 57 58 66 67 68 72 73 75 77 79 81 84 89 90 91 94 103 105 109 114 116 117 120 122 126 127 128 132 133 135 139 140 141 150 152 154 160 161 163 171 173 174 175 176 178 185 186 188 189 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 234 235 241 243 245 250 251 258 261 262 265 267 286 287 288 295 298 299 300 304 307 308 316 318 320 334 341 343 344 346 a 1 6 8 9 13 15 16 17 22 23 25 31 38 40 44 45 48 54 55 56 57 58 66 67 68 72 73 75 77 79 81 84 89 90 91 94 103 105 109 114 116 117 120 122 126 127 128 132 133 135 139 140 141 150 152 154 160 161 163 171 174 175 176 178 185 186 188 189 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 234 235 241 243 245 250 251 258 261 262 265 267 286 287 288 295 298 299 300 304 307 308 316 318 320 334 341 343 344 346 a 1 6 8 9 13 15 16 17 22 23 25 31 38 40 44 45 48 54 55 56 57 58 66 67 68 72 73 75 77 79 81 84 89 90 91 94 103 105 109 114 116 117 120 122 126 127 128 132 133 135 139 140 141 150 152 154 160 161 163 171 174 175 176 178 185 186 188 189 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 234 235 241 243 245 250 251 258 261 262 265 267 286 287 288 295 298 299 300 304 307 308 312 316 318 320 334 341 343 346 a 1 6 8 9 13 15 16 17 22 23 25 31 36 38 40 44 45 48 55 56 57 58 66 67 68 72 73 75 77 79 81 84 89 90 91 94 103 105 109 114 116 117 120 122 126 127 128 132 133 135 139 140 141 150 152 154 160 161 163 171 174 175 176 178 185 186 188 189 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 234 235 241 243 245 250 251 258 261 262 265 267 286 287 288 295 298 299 300 304 307 308 312 316 318 320 334 341 343 346 a 1 6 8 9 13 15 16 17 22 23 25 31 36 38 40 44 45 48 55 56 57 58 66 67 68 72 73 75 77 79 81 84 85 89 90 91 94 103 105 109 114 116 117 120 122 126 127 128 132 133 135 139 140 141 150 152 154 160 161 163 171 174 175 176 178 185 186 188 189 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 234 235 241 243 245 250 251 258 261 262 265 267 286 287 295 298 299 300 304 307 308 312 316 318 320 334 341 343 346 a 1 6 8 9 13 15 16 17 22 23 25 31 36 38 40 44 45 48 55 56 57 58 66 67 68 72 73 75 77 79 81 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 132 133 135 139 140 141 150 152 154 160 161 163 171 174 175 176 178 185 186 188 189 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 298 299 300 304 307 308 312 316 318 320 334 341 343 346 a 1 6 8 9 13 15 16 17 22 23 25 31 36 38 40 44 45 48 55 56 57 58 66 67 68 72 73 75 77 79 81 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 132 133 135 139 140 141 142 150 152 154 160 161 163 171 174 175 176 178 185 186 188 189 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 298 299 300 307 308 312 316 318 320 334 341 343 346 a 1 6 8 9 13 15 16 17 22 23 25 31 36 38 40 44 45 48 55 56 57 58 66 67 68 72 73 75 77 79 81 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 132 135 139 140 141 142 150 152 154 160 161 163 171 174 175 176 178 185 186 188 189 190 192 194 195 198 200 203 209 213 218 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 298 299 300 307 308 312 315 316 318 320 334 341 343 346 a 1 6 8 9 13 15 16 17 22 23 25 31 36 38 40 44 45 48 55 56 57 58 66 67 68 72 73 75 77 79 81 83 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 132 135 139 140 141 142 150 152 154 160 161 163 171 174 175 176 178 185 186 188 189 190 192 194 195 198 200 203 209 213 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 298 299 300 307 308 312 315 316 318 320 334 341 343 346 a 1 6 8 9 13 15 16 17 22 23 25 31 36 38 40 44 45 48 55 56 57 58 66 67 68 72 73 75 77 79 81 83 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 132 135 139 140 141 142 150 152 154 160 161 163 171 174 175 176 178 185 186 188 190 192 193 194 195 198 200 203 209 213 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 265 267 286 287 295 298 299 300 307 308 312 315 316 318 320 334 341 343 346 a 1 6 8 9 13 15 16 17 22 23 25 31 36 38 40 44 45 48 55 56 57 58 66 67 68 72 73 75 77 79 81 83 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 132 135 139 140 141 142 150 152 154 160 161 163 171 174 175 176 178 185 186 188 190 192 193 194 195 198 200 203 208 209 213 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 267 286 287 295 298 299 300 307 308 312 315 316 318 320 334 341 343 346 a 1 6 8 9 13 15 16 17 22 23 25 31 36 38 40 44 45 48 55 56 57 58 66 67 68 72 73 75 77 79 81 83 84 85 89 91 94 103 105 109 114 116 117 120 122 126 127 128 132 135 139 140 141 142 150 152 154 160 161 163 174 175 176 178 185 186 188 190 192 193 194 195 198 200 203 206 208 209 213 219 220 221 223 224 225 234 235 241 242 243 245 250 251 258 261 262 267 286 287 295 298 299 300 307 308 312 315 316 318 320 334 341 343 346 c Step: 76 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance027_graph005.col /benchmark/random_instance/random_instance027_graph005_01.dat" User time (seconds): 7.23 System time (seconds): 0.19 Percent of CPU this job got: 228% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.25 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): 238612 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 159645 Voluntary context switches: 10400 Involuntary context switches: 41 Swaps: 0 File system inputs: 0 File system outputs: 448 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:43:28 2023]