#BEGIN: [Mon Sep 4 12:43:12 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-banbaralab2-shortest2 #INSTANCE1: /benchmark/random_instance/random_instance023_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance023_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_instance023_graph002.col /benchmark/random_instance/random_instance023_graph002_01.dat c /benchmark/random_instance/random_instance023_graph002.col c /benchmark/random_instance/random_instance023_graph002_01.dat s 248 71 216 105 249 8 50 292 254 45 39 297 204 110 53 46 2 161 157 232 124 107 44 171 256 196 210 198 67 180 188 258 255 228 29 87 197 214 144 172 251 156 229 49 9 209 153 51 265 193 64 85 298 79 75 162 36 225 217 37 211 182 252 231 121 3 30 275 106 142 122 4 203 150 283 77 299 21 158 63 19 244 174 155 1 290 118 241 245 293 185 243 274 t 52 212 176 231 75 88 79 22 83 202 114 194 41 246 221 141 175 123 108 275 160 33 12 39 19 128 223 1 266 9 137 139 205 159 121 60 56 118 259 213 136 101 6 220 145 103 69 55 36 171 240 198 199 253 282 216 260 124 152 87 20 105 131 209 28 77 100 144 235 185 151 268 299 15 109 50 197 162 161 146 251 129 150 179 147 119 155 274 270 189 35 148 245 a YES a 1 2 3 4 8 9 19 21 29 30 36 37 39 44 45 46 49 50 51 53 63 64 67 71 75 77 79 85 87 105 106 107 110 118 121 122 124 142 144 150 153 155 156 157 158 161 162 171 172 174 180 182 185 188 193 196 197 198 203 204 209 210 211 214 216 217 225 228 229 231 232 241 243 244 245 248 249 251 252 254 255 256 258 265 274 275 283 290 292 293 297 298 299 a 1 2 3 4 8 9 19 21 29 30 36 37 39 45 46 49 50 51 53 63 64 67 71 75 77 79 85 87 105 106 107 110 118 121 122 124 139 142 144 150 153 155 156 157 158 161 162 171 172 174 180 182 185 188 193 196 197 198 203 204 209 210 211 214 216 217 225 228 229 231 232 241 243 244 245 248 249 251 252 254 255 256 258 265 274 275 283 290 292 293 297 298 299 a 1 2 3 4 8 9 19 21 29 30 36 37 39 45 46 49 50 51 53 63 64 67 71 75 77 79 85 87 105 106 107 110 118 121 122 124 128 139 142 144 150 153 155 156 157 158 161 162 171 172 174 180 182 185 188 193 196 197 198 203 204 209 210 211 214 216 217 225 228 229 231 232 241 243 244 245 248 249 251 252 254 255 256 265 274 275 283 290 292 293 297 298 299 a 1 2 3 4 8 9 19 21 29 30 36 37 39 45 46 49 50 51 53 63 64 67 71 75 77 79 85 87 105 106 107 110 118 121 122 124 128 129 139 142 144 150 153 155 156 157 158 161 162 171 172 174 180 182 185 188 193 196 197 198 203 204 209 210 211 214 216 217 225 228 229 231 232 241 243 244 245 248 249 251 252 254 255 256 265 274 275 283 290 292 297 298 299 a 1 2 3 4 8 9 19 21 29 30 36 37 39 45 46 49 50 51 53 63 64 67 71 75 77 79 85 87 105 106 107 110 118 121 122 124 128 129 139 142 144 146 150 153 155 156 157 158 161 162 171 172 174 180 182 185 188 193 196 197 198 203 204 209 210 211 214 216 217 225 228 229 231 232 241 243 244 245 248 249 251 252 254 255 256 274 275 283 290 292 297 298 299 a 1 2 3 4 8 9 19 21 29 30 36 37 39 45 46 49 50 51 53 63 64 67 71 75 77 79 85 87 105 106 107 110 118 121 122 124 128 129 139 142 144 146 150 153 155 156 157 158 161 162 171 172 174 175 180 182 185 188 193 196 197 198 203 204 209 210 211 214 216 217 225 228 229 231 232 241 243 244 245 248 249 251 252 254 255 256 274 275 283 290 292 297 299 a 1 2 3 4 8 9 19 21 29 30 36 37 39 46 49 50 51 53 63 64 67 71 75 77 79 85 87 105 106 107 109 110 118 121 122 124 128 129 139 142 144 146 150 153 155 156 157 158 161 162 171 172 174 175 180 182 185 188 193 196 197 198 203 204 209 210 211 214 216 217 225 228 229 231 232 241 243 244 245 248 249 251 252 254 255 256 274 275 283 290 292 297 299 a 1 2 3 4 8 9 19 21 29 30 36 37 39 46 50 51 53 63 64 67 71 75 77 79 85 87 105 106 107 109 110 118 121 122 124 128 129 139 142 144 146 150 153 155 156 157 158 161 162 171 172 174 175 180 182 185 188 193 196 197 198 203 204 209 210 211 214 216 217 225 228 229 231 232 241 243 244 245 248 249 251 252 254 255 256 274 275 282 283 290 292 297 299 a 1 2 3 4 8 9 19 21 29 30 36 37 39 46 50 51 53 63 64 67 71 75 77 79 85 87 105 106 107 109 110 118 121 122 124 128 129 139 142 144 146 150 153 155 157 158 161 162 171 172 174 175 180 182 185 188 193 196 197 198 203 204 209 210 211 214 216 217 225 228 229 231 232 241 243 244 245 246 248 249 251 252 254 255 256 274 275 282 283 290 292 297 299 a 1 2 3 4 8 9 19 21 29 30 36 37 39 46 50 51 52 53 63 64 67 71 75 77 79 85 87 105 106 107 109 110 118 121 122 124 128 129 139 142 144 146 150 153 155 157 158 161 162 171 172 174 175 180 182 185 188 193 196 197 198 203 204 209 210 211 214 216 225 228 229 231 232 241 243 244 245 246 248 249 251 252 254 255 256 274 275 282 283 290 292 297 299 a 1 2 3 4 8 9 19 21 29 30 36 37 39 46 50 51 52 53 63 64 67 71 75 77 79 85 87 105 106 107 109 110 118 121 122 124 128 129 139 142 144 146 150 153 155 157 158 161 162 171 172 174 175 180 185 188 193 196 197 198 203 204 209 210 211 214 216 225 228 229 231 232 240 241 243 244 245 246 248 249 251 252 254 255 256 274 275 282 283 290 292 297 299 a 1 2 3 4 8 9 19 21 29 30 36 37 39 46 50 51 52 53 63 64 67 71 75 77 79 85 87 105 106 107 109 110 118 121 122 124 128 129 131 139 142 144 146 150 153 155 157 158 161 162 171 172 174 175 180 185 188 193 196 197 198 203 204 209 210 214 216 225 228 229 231 232 240 241 243 244 245 246 248 249 251 252 254 255 256 274 275 282 283 290 292 297 299 a 1 2 3 4 8 9 15 19 21 29 30 36 37 39 46 50 51 52 53 63 64 67 71 75 77 79 85 87 105 106 107 109 110 118 121 122 124 128 129 131 139 142 144 146 150 153 155 157 158 161 162 171 172 174 175 180 185 193 196 197 198 203 204 209 210 214 216 225 228 229 231 232 240 241 243 244 245 246 248 249 251 252 254 255 256 274 275 282 283 290 292 297 299 a 1 2 3 8 9 15 19 21 29 30 36 37 39 46 50 51 52 53 56 63 64 67 71 75 77 79 85 87 105 106 107 109 110 118 121 122 124 128 129 131 139 142 144 146 150 153 155 157 158 161 162 171 172 174 175 180 185 193 196 197 198 203 204 209 210 214 216 225 228 229 231 232 240 241 243 244 245 246 248 249 251 252 254 255 256 274 275 282 283 290 292 297 299 a 1 2 3 8 9 15 19 21 29 30 35 36 37 39 46 50 51 52 53 56 63 64 67 71 75 77 79 85 87 105 106 107 109 110 118 121 122 124 128 129 131 139 142 144 146 150 153 155 157 158 161 162 171 172 174 175 180 185 193 196 197 198 203 204 209 210 214 216 225 228 229 231 232 240 241 243 244 245 246 248 249 251 252 254 255 256 274 275 282 283 292 297 299 a 1 2 3 8 9 15 19 21 29 30 35 36 37 39 50 51 52 53 56 63 64 67 71 75 77 79 85 87 105 106 107 109 110 118 121 122 124 128 129 131 139 142 144 146 150 153 155 157 158 161 162 171 172 174 175 176 180 185 193 196 197 198 203 204 209 210 214 216 225 228 229 231 232 240 241 243 244 245 246 248 249 251 252 254 255 256 274 275 282 283 292 297 299 a 1 2 3 8 9 15 19 21 29 30 35 36 37 39 50 51 52 53 56 63 64 67 71 75 77 79 87 100 105 106 107 109 110 118 121 122 124 128 129 131 139 142 144 146 150 153 155 157 158 161 162 171 172 174 175 176 180 185 193 196 197 198 203 204 209 210 214 216 225 228 229 231 232 240 241 243 244 245 246 248 249 251 252 254 255 256 274 275 282 283 292 297 299 a 1 2 3 8 9 15 19 21 30 35 36 37 39 50 51 52 53 56 63 64 67 71 75 77 79 87 100 105 106 107 109 110 118 121 122 124 128 129 131 139 142 144 146 150 153 155 157 158 161 162 171 172 174 175 176 179 180 185 193 196 197 198 203 204 209 210 214 216 225 228 229 231 232 240 241 243 244 245 246 248 249 251 252 254 255 256 274 275 282 283 292 297 299 a 1 2 3 8 9 15 19 21 30 35 36 37 39 50 51 52 53 56 63 64 67 71 75 77 79 87 100 103 105 106 107 109 110 118 121 122 124 128 129 131 139 142 144 146 150 153 155 157 158 161 162 171 172 174 175 176 179 180 185 193 196 197 198 203 204 209 210 216 225 228 229 231 232 240 241 243 244 245 246 248 249 251 252 254 255 256 274 275 282 283 292 297 299 a 1 2 3 8 9 15 19 21 30 35 36 37 39 50 51 52 53 56 63 64 67 71 75 77 79 87 100 103 105 106 107 109 110 118 121 122 124 128 129 131 139 142 144 146 150 151 153 155 157 158 161 162 171 172 174 175 176 179 180 185 193 196 197 198 203 204 209 210 216 225 228 229 231 232 240 241 243 244 245 246 248 249 251 252 254 255 274 275 282 283 292 297 299 a 1 2 3 8 9 15 19 21 30 35 36 37 39 50 51 52 53 56 63 64 67 71 75 77 79 87 100 103 105 107 108 109 110 118 121 122 124 128 129 131 139 142 144 146 150 151 153 155 157 158 161 162 171 172 174 175 176 179 180 185 193 196 197 198 203 204 209 210 216 225 228 229 231 232 240 241 243 244 245 246 248 249 251 252 254 255 274 275 282 283 292 297 299 a 1 2 3 8 9 15 19 30 35 36 37 39 50 51 52 53 56 63 64 67 71 75 77 79 87 100 103 105 107 108 109 110 118 121 122 124 128 129 131 139 142 144 146 150 151 153 155 157 158 161 162 171 172 174 175 176 179 180 185 193 196 197 198 203 204 209 210 216 225 228 229 231 232 240 241 243 244 245 246 248 249 251 252 254 255 260 274 275 282 283 292 297 299 a 1 2 3 8 9 15 19 30 35 36 37 39 50 51 52 53 56 63 64 67 71 75 77 79 87 100 103 105 107 108 109 110 118 121 122 124 128 129 131 139 142 144 146 150 151 153 155 157 158 161 162 171 172 174 175 176 179 180 185 193 196 197 198 203 204 209 210 216 220 225 228 231 232 240 241 243 244 245 246 248 249 251 252 254 255 260 274 275 282 283 292 297 299 a 1 2 3 8 9 15 19 30 35 36 37 39 50 51 52 53 56 63 64 67 71 75 77 79 87 100 103 105 107 108 109 110 118 121 122 124 128 129 131 139 141 144 146 150 151 153 155 157 158 161 162 171 172 174 175 176 179 180 185 193 196 197 198 203 204 209 210 216 220 225 228 231 232 240 241 243 244 245 246 248 249 251 252 254 255 260 274 275 282 283 292 297 299 a 1 2 3 8 9 15 19 30 35 36 37 39 50 51 52 53 56 63 64 67 71 75 77 79 87 100 103 105 107 108 109 110 118 119 121 122 124 128 129 131 139 141 144 146 150 151 153 155 157 161 162 171 172 174 175 176 179 180 185 193 196 197 198 203 204 209 210 216 220 225 228 231 232 240 241 243 244 245 246 248 249 251 252 254 255 260 274 275 282 283 292 297 299 a 1 2 3 8 9 15 19 30 35 36 37 39 50 51 52 53 56 63 64 67 71 75 77 79 87 100 103 105 107 108 109 110 118 119 121 122 124 128 129 131 139 141 144 146 150 151 153 155 157 161 162 171 172 174 175 176 179 180 185 193 196 197 198 203 204 209 210 216 220 225 231 232 240 241 243 244 245 246 248 249 251 252 253 254 255 260 274 275 282 283 292 297 299 a 1 2 3 8 9 15 19 20 30 35 36 37 39 50 51 52 53 56 63 64 67 71 75 77 79 87 100 103 105 107 108 109 110 118 119 121 122 124 128 129 131 139 141 144 146 150 151 153 155 157 161 162 171 172 174 175 176 179 180 185 193 196 197 198 203 204 209 210 216 220 225 231 232 240 241 243 244 245 246 248 249 251 252 253 254 255 260 274 275 282 283 292 299 a 1 2 3 8 9 15 19 20 28 30 35 36 37 39 50 51 52 53 56 63 64 67 71 75 77 79 87 100 103 105 107 108 109 110 118 119 121 122 124 128 129 131 139 141 144 146 150 151 153 155 157 161 162 171 172 174 175 176 179 180 185 193 196 197 198 203 204 209 210 216 220 225 231 232 240 241 243 244 245 246 248 251 252 253 254 255 260 274 275 282 283 292 299 a 1 2 3 8 9 15 19 20 28 30 35 36 37 39 41 50 51 52 53 56 63 64 67 71 75 77 79 87 100 103 105 107 108 109 110 118 119 121 122 124 128 129 131 139 141 144 146 150 151 153 155 157 161 162 171 172 174 175 176 179 180 185 193 196 197 198 203 204 209 210 216 220 225 231 232 240 241 243 245 246 248 251 252 253 254 255 260 274 275 282 283 292 299 a 1 2 3 8 9 15 19 20 28 30 33 35 36 37 39 41 50 51 52 53 56 63 64 67 71 75 77 79 87 100 103 105 107 108 109 110 118 119 121 122 124 128 129 131 139 141 144 146 150 151 155 157 161 162 171 172 174 175 176 179 180 185 193 196 197 198 203 204 209 210 216 220 225 231 232 240 241 243 245 246 248 251 252 253 254 255 260 274 275 282 283 292 299 a 1 2 3 8 9 15 19 20 28 30 33 35 36 37 39 41 50 51 52 53 56 63 64 67 71 75 77 79 87 100 103 105 107 108 109 110 118 119 121 122 124 128 129 131 139 141 144 146 150 151 155 157 161 162 171 172 174 175 176 179 180 185 193 196 197 198 199 203 204 209 210 216 220 225 231 232 240 241 245 246 248 251 252 253 254 255 260 274 275 282 283 292 299 a 1 2 3 8 9 15 19 20 28 30 33 35 36 37 39 41 50 51 52 53 56 63 64 67 71 75 77 79 83 87 100 103 105 107 108 109 110 118 119 121 122 124 128 129 131 139 141 144 146 150 151 155 157 161 162 171 172 174 175 176 179 180 185 193 196 197 198 199 203 204 209 210 216 220 225 231 232 240 241 245 246 248 251 252 253 254 255 260 274 275 282 292 299 a 1 2 3 8 9 15 19 20 28 30 33 35 36 37 39 41 50 51 52 53 56 63 64 67 71 75 77 79 83 87 100 103 105 107 108 109 110 118 119 121 122 124 128 129 131 139 141 144 146 147 150 151 155 157 161 162 171 174 175 176 179 180 185 193 196 197 198 199 203 204 209 210 216 220 225 231 232 240 241 245 246 248 251 252 253 254 255 260 274 275 282 292 299 a 1 2 3 8 9 15 19 20 28 30 33 35 36 37 39 41 50 51 52 53 56 63 64 67 71 75 77 79 83 87 100 103 105 107 108 109 110 118 119 121 122 124 128 129 131 139 141 144 146 147 150 151 155 157 161 162 171 174 175 176 179 180 185 193 196 197 198 199 203 205 209 210 216 220 225 231 232 240 241 245 246 248 251 252 253 254 255 260 274 275 282 292 299 a 1 2 3 8 9 15 19 20 28 30 33 35 36 37 39 41 50 51 52 53 56 63 64 67 71 75 77 79 83 87 100 103 105 107 108 109 118 119 121 122 124 128 129 131 139 141 144 146 147 150 151 152 155 157 161 162 171 174 175 176 179 180 185 193 196 197 198 199 203 205 209 210 216 220 225 231 232 240 241 245 246 248 251 252 253 254 255 260 274 275 282 292 299 a 1 2 8 9 15 19 20 28 30 33 35 36 37 39 41 50 51 52 53 56 63 64 67 71 75 77 79 83 87 100 103 105 107 108 109 118 119 121 122 124 128 129 131 139 141 144 146 147 150 151 152 155 157 161 162 171 174 175 176 179 180 185 193 196 197 198 199 203 205 209 210 216 220 225 231 232 240 241 245 246 248 251 252 253 254 255 259 260 274 275 282 292 299 a 1 2 8 9 15 19 20 28 30 33 35 36 37 39 41 50 51 52 53 56 63 64 67 75 77 79 83 87 100 103 105 107 108 109 118 119 121 122 124 128 129 131 139 141 144 146 147 150 151 152 155 157 161 162 171 174 175 176 179 180 185 193 196 197 198 199 203 205 209 210 216 220 223 225 231 232 240 241 245 246 248 251 252 253 254 255 259 260 274 275 282 292 299 a 1 2 8 9 15 19 20 28 30 33 35 36 37 39 41 50 51 52 53 56 64 67 75 77 79 83 87 100 103 105 107 108 109 114 118 119 121 122 124 128 129 131 139 141 144 146 147 150 151 152 155 157 161 162 171 174 175 176 179 180 185 193 196 197 198 199 203 205 209 210 216 220 223 225 231 232 240 241 245 246 248 251 252 253 254 255 259 260 274 275 282 292 299 a 1 2 8 9 15 19 20 28 33 35 36 37 39 41 50 51 52 53 56 64 67 75 77 79 83 87 100 103 105 107 108 109 114 118 119 121 122 124 128 129 131 139 141 144 146 147 150 151 152 155 157 161 162 171 174 175 176 179 180 185 193 196 197 198 199 203 205 209 210 216 220 223 225 231 232 235 240 241 245 246 248 251 252 253 254 255 259 260 274 275 282 292 299 a 1 2 8 9 15 19 20 28 33 35 36 37 39 41 50 51 52 53 56 64 67 75 77 79 83 87 100 103 105 108 109 114 118 119 121 122 124 128 129 131 139 141 144 146 147 150 151 152 155 157 161 162 171 174 175 176 179 180 185 193 196 197 198 199 203 205 209 210 213 216 220 223 225 231 232 235 240 241 245 246 248 251 252 253 254 255 259 260 274 275 282 292 299 a 1 2 8 9 15 19 20 28 33 35 36 37 39 41 50 51 52 56 64 67 75 77 79 83 87 100 103 105 108 109 114 118 119 121 122 124 128 129 131 139 141 144 146 147 150 151 152 155 157 161 162 171 174 175 176 179 180 185 193 196 197 198 199 203 205 209 210 213 216 220 223 225 231 232 235 240 241 245 246 248 251 252 253 254 255 259 260 268 274 275 282 292 299 a 1 2 8 9 15 19 20 28 33 35 36 39 41 50 51 52 56 64 67 69 75 77 79 83 87 100 103 105 108 109 114 118 119 121 122 124 128 129 131 139 141 144 146 147 150 151 152 155 157 161 162 171 174 175 176 179 180 185 193 196 197 198 199 203 205 209 210 213 216 220 223 225 231 232 235 240 241 245 246 248 251 252 253 254 255 259 260 268 274 275 282 292 299 a 1 2 8 9 15 19 20 28 33 35 36 39 41 50 51 52 56 64 67 69 75 77 79 83 87 100 103 105 108 109 114 118 119 121 122 124 128 129 131 136 139 141 144 146 147 150 151 152 155 161 162 171 174 175 176 179 180 185 193 196 197 198 199 203 205 209 210 213 216 220 223 225 231 232 235 240 241 245 246 248 251 252 253 254 255 259 260 268 274 275 282 292 299 a 1 2 8 9 15 19 20 28 33 35 36 39 41 50 51 52 56 64 67 69 75 77 79 83 87 100 103 105 108 109 114 118 119 121 122 124 128 129 131 136 139 141 144 146 147 150 151 152 155 161 162 171 174 175 176 179 180 185 193 196 197 198 199 203 205 209 210 213 216 220 223 225 231 232 235 240 241 245 246 248 251 252 253 255 259 260 268 270 274 275 282 292 299 a 1 8 9 15 19 20 28 33 35 36 39 41 50 51 52 56 64 67 69 75 77 79 83 87 100 103 105 108 109 114 118 119 121 122 124 128 129 131 136 139 141 144 146 147 150 151 152 155 161 162 171 174 175 176 179 180 185 189 193 196 197 198 199 203 205 209 210 213 216 220 223 225 231 232 235 240 241 245 246 248 251 252 253 255 259 260 268 270 274 275 282 292 299 a 1 8 9 15 19 20 28 33 35 36 39 41 50 51 52 56 64 67 69 75 77 79 83 87 100 103 105 108 109 114 118 119 121 122 124 128 129 131 136 139 141 144 146 147 150 151 152 155 159 161 162 171 174 175 176 179 180 185 189 193 196 197 198 199 203 205 209 210 213 216 220 223 225 231 232 235 240 241 245 246 248 251 252 253 259 260 268 270 274 275 282 292 299 a 1 8 9 15 19 20 28 33 35 36 39 41 50 51 52 56 64 69 75 77 79 83 87 100 103 105 108 109 114 118 119 121 122 123 124 128 129 131 136 139 141 144 146 147 150 151 152 155 159 161 162 171 174 175 176 179 180 185 189 193 196 197 198 199 203 205 209 210 213 216 220 223 225 231 232 235 240 241 245 246 248 251 252 253 259 260 268 270 274 275 282 292 299 a 1 8 9 15 19 20 28 33 35 36 39 41 50 51 52 56 60 64 69 75 77 79 83 87 100 103 105 108 109 114 118 119 121 122 123 124 128 129 131 136 139 141 144 146 147 150 151 152 155 159 161 162 171 175 176 179 180 185 189 193 196 197 198 199 203 205 209 210 213 216 220 223 225 231 232 235 240 241 245 246 248 251 252 253 259 260 268 270 274 275 282 292 299 a 1 6 8 9 15 19 20 28 33 35 36 39 41 50 51 52 56 60 64 69 75 77 79 83 87 100 103 105 108 109 114 118 119 121 123 124 128 129 131 136 139 141 144 146 147 150 151 152 155 159 161 162 171 175 176 179 180 185 189 193 196 197 198 199 203 205 209 210 213 216 220 223 225 231 232 235 240 241 245 246 248 251 252 253 259 260 268 270 274 275 282 292 299 a 1 6 8 9 15 19 20 28 33 35 36 39 41 50 51 52 56 60 64 69 75 77 79 83 87 100 103 105 108 109 114 118 119 121 123 124 128 129 131 136 139 141 144 145 146 147 150 151 152 155 159 161 162 171 175 176 179 180 185 189 193 196 197 198 199 203 205 209 213 216 220 223 225 231 232 235 240 241 245 246 248 251 252 253 259 260 268 270 274 275 282 292 299 a 1 6 8 9 15 19 20 28 33 35 36 39 41 50 51 52 56 60 64 69 75 77 79 83 87 100 103 105 108 109 114 118 119 121 123 124 128 129 131 136 139 141 144 145 146 147 150 151 152 155 159 161 162 171 175 176 179 180 185 189 193 196 197 198 199 203 205 209 212 213 216 220 223 225 231 232 235 240 241 245 246 248 251 253 259 260 268 270 274 275 282 292 299 a 1 6 8 9 15 19 20 28 33 35 36 39 41 50 51 52 56 60 64 69 75 77 79 83 87 88 100 103 105 108 109 114 118 119 121 123 124 128 129 131 136 139 141 144 145 146 147 150 151 152 155 159 161 162 171 175 176 179 180 185 189 193 197 198 199 203 205 209 212 213 216 220 223 225 231 232 235 240 241 245 246 248 251 253 259 260 268 270 274 275 282 292 299 a 1 6 8 9 15 19 20 28 33 35 36 39 41 50 51 52 55 56 60 64 69 75 77 79 83 87 88 100 103 105 108 109 114 118 119 121 123 124 128 129 131 136 139 141 144 145 146 147 150 151 152 155 159 161 162 171 175 176 179 180 185 189 193 197 198 199 205 209 212 213 216 220 223 225 231 232 235 240 241 245 246 248 251 253 259 260 268 270 274 275 282 292 299 a 1 6 8 9 12 15 19 20 28 33 35 36 39 41 50 51 52 55 56 60 64 69 75 77 79 83 87 88 100 103 105 108 109 114 118 119 121 123 124 128 129 131 136 139 141 144 145 146 147 150 151 152 155 159 161 162 171 175 176 179 180 185 189 193 197 198 199 205 209 212 213 216 220 223 225 231 235 240 241 245 246 248 251 253 259 260 268 270 274 275 282 292 299 a 1 6 8 9 12 15 19 20 28 33 35 36 39 41 50 51 52 55 56 60 64 69 75 77 79 83 87 88 100 103 105 108 109 114 118 119 121 123 124 128 129 131 136 139 141 144 145 146 147 150 151 152 155 159 161 162 171 175 176 179 180 185 189 194 197 198 199 205 209 212 213 216 220 223 225 231 235 240 241 245 246 248 251 253 259 260 268 270 274 275 282 292 299 a 1 6 8 9 12 15 19 20 28 33 35 36 39 41 50 51 52 55 56 60 64 69 75 77 79 83 87 88 100 103 105 108 109 114 118 119 121 123 124 128 129 131 136 139 141 144 145 146 147 150 151 152 155 159 161 162 171 175 176 179 180 185 189 194 197 198 199 205 209 212 213 216 220 223 225 231 235 240 241 245 246 251 253 259 260 266 268 270 274 275 282 292 299 a 1 6 8 9 12 15 19 20 22 28 33 35 36 39 41 50 51 52 55 56 60 64 69 75 77 79 83 87 88 100 103 105 108 109 114 118 119 121 123 124 128 129 131 136 139 141 144 145 146 147 150 151 152 155 159 161 162 171 175 176 179 180 185 189 194 197 198 199 205 209 212 213 216 220 223 225 231 235 240 245 246 251 253 259 260 266 268 270 274 275 282 292 299 a 1 6 8 9 12 15 19 20 22 28 33 35 36 39 41 50 51 52 55 56 60 64 69 75 77 79 83 87 88 100 101 103 105 108 109 114 118 119 121 123 124 128 129 131 136 139 141 144 145 146 147 150 151 152 155 159 161 162 171 175 176 179 185 189 194 197 198 199 205 209 212 213 216 220 223 225 231 235 240 245 246 251 253 259 260 266 268 270 274 275 282 292 299 a 1 6 8 9 12 15 19 20 22 28 33 35 36 39 41 50 52 55 56 60 64 69 75 77 79 83 87 88 100 101 103 105 108 109 114 118 119 121 123 124 128 129 131 136 139 141 144 145 146 147 150 151 152 155 159 161 162 171 175 176 179 185 189 194 197 198 199 205 209 212 213 216 220 221 223 225 231 235 240 245 246 251 253 259 260 266 268 270 274 275 282 292 299 a 1 6 9 12 15 19 20 22 28 33 35 36 39 41 50 52 55 56 60 64 69 75 77 79 83 87 88 100 101 103 105 108 109 114 118 119 121 123 124 128 129 131 136 139 141 144 145 146 147 150 151 152 155 159 160 161 162 171 175 176 179 185 189 194 197 198 199 205 209 212 213 216 220 221 223 225 231 235 240 245 246 251 253 259 260 266 268 270 274 275 282 292 299 a 1 6 9 12 15 19 20 22 28 33 35 36 39 41 50 52 55 56 60 64 69 75 77 79 83 87 88 100 101 103 105 108 109 114 118 119 121 123 124 128 129 131 136 139 141 144 145 146 147 150 151 152 155 159 160 161 162 171 175 176 179 185 189 194 197 198 199 202 205 209 212 213 216 220 221 223 225 231 235 240 245 246 251 253 259 260 266 268 270 274 275 282 299 a 1 6 9 12 15 19 20 22 28 33 35 36 39 41 50 52 55 56 60 69 75 77 79 83 87 88 100 101 103 105 108 109 114 118 119 121 123 124 128 129 131 136 139 141 144 145 146 147 148 150 151 152 155 159 160 161 162 171 175 176 179 185 189 194 197 198 199 202 205 209 212 213 216 220 221 223 225 231 235 240 245 246 251 253 259 260 266 268 270 274 275 282 299 a 1 6 9 12 15 19 20 22 28 33 35 36 39 41 50 52 55 56 60 69 75 77 79 83 87 88 100 101 103 105 108 109 114 118 119 121 123 124 128 129 131 136 137 139 141 144 145 146 147 148 150 151 152 155 159 160 161 162 171 175 176 179 185 189 194 197 198 199 202 205 209 212 213 216 220 221 223 231 235 240 245 246 251 253 259 260 266 268 270 274 275 282 299 c Step: 62 Command being timed: "python3 run_3.py --shortest -t4 /benchmark/random_instance/random_instance023_graph002.col /benchmark/random_instance/random_instance023_graph002_01.dat" User time (seconds): 3.47 System time (seconds): 0.11 Percent of CPU this job got: 207% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:01.73 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): 162632 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 102083 Voluntary context switches: 6075 Involuntary context switches: 27 Swaps: 0 File system inputs: 0 File system outputs: 320 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:43:14 2023]