#BEGIN: [Mon Sep 25 14:38:43 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-ai-planning2-shortest1 #INSTANCE1: /benchmark/random_instance/random_instance028_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance028_graph002_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=shortest-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance028_graph002.col /benchmark/random_instance/random_instance028_graph002_01.dat s 198 185 12 335 342 274 122 139 102 320 229 232 65 108 187 165 69 282 148 120 25 233 83 247 179 43 222 160 276 72 279 134 45 253 241 54 85 147 137 113 172 313 191 197 340 44 90 309 341 207 175 92 52 146 355 286 354 292 1 194 37 119 33 271 273 53 9 166 358 26 28 325 103 156 96 346 49 132 153 277 168 70 23 189 244 40 267 319 235 318 133 275 268 118 328 283 226 89 17 351 19 284 361 204 314 195 73 170 135 224 110 237 123 127 145 293 68 177 3 206 t 75 97 241 121 277 268 105 316 311 220 294 337 128 113 339 29 284 190 199 67 348 172 137 7 124 119 171 118 86 96 227 4 46 177 39 142 33 186 45 320 12 216 355 76 108 147 275 153 285 197 325 93 334 8 111 18 352 173 224 81 232 318 16 40 249 70 64 253 68 341 26 194 281 297 92 208 159 244 354 74 314 20 24 178 274 106 65 151 235 31 27 335 293 206 239 181 23 351 85 61 44 292 170 304 213 254 261 358 141 19 231 53 263 270 333 175 148 22 362 272 a YES a 1 3 9 12 17 19 23 25 26 28 33 37 40 43 44 45 49 52 53 54 65 68 69 70 72 73 83 85 89 90 92 96 102 103 108 110 113 118 119 120 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 313 314 318 319 320 325 328 335 340 341 342 346 351 354 355 358 361 a 1 3 8 9 12 17 19 23 26 28 33 37 40 43 44 45 49 52 53 54 65 68 69 70 72 73 83 85 89 90 92 96 102 103 108 110 113 118 119 120 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 313 314 318 319 320 325 328 335 340 341 342 346 351 354 355 358 361 a 1 3 8 9 12 17 19 23 26 28 33 37 40 43 44 45 49 52 53 54 65 68 69 70 72 83 85 89 90 92 96 102 103 108 110 113 118 119 120 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 313 314 318 319 320 325 328 334 335 340 341 342 346 351 354 355 358 361 a 1 3 8 9 12 17 18 19 23 26 28 33 40 43 44 45 49 52 53 54 65 68 69 70 72 83 85 89 90 92 96 102 103 108 110 113 118 119 120 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 309 313 314 318 319 320 325 328 334 335 340 341 342 346 351 354 355 358 361 a 1 3 8 9 12 17 18 19 23 26 28 33 40 43 44 45 49 52 53 54 65 68 69 70 72 83 85 89 92 96 102 103 108 110 113 118 119 120 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 304 309 313 314 318 319 320 325 328 334 335 340 341 342 346 351 354 355 358 361 a 3 8 9 12 17 18 19 23 26 28 33 40 43 44 45 49 52 53 54 65 68 69 70 72 83 85 89 92 96 102 103 108 110 113 118 119 120 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 304 309 313 314 316 318 319 320 325 328 334 335 340 341 342 346 351 354 355 358 361 a 3 8 9 12 17 18 19 23 26 28 33 40 43 44 45 49 52 53 54 65 68 69 70 72 83 85 89 92 96 102 103 108 110 113 118 119 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 159 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 304 309 313 314 316 318 319 320 325 328 334 335 340 341 342 346 351 354 355 358 361 a 8 9 12 17 18 19 23 26 28 33 40 43 44 45 49 52 53 54 65 68 69 70 72 83 85 89 92 96 102 103 108 110 113 118 119 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 159 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 297 304 309 313 314 316 318 319 320 325 328 334 335 340 341 342 346 351 354 355 358 361 a 4 8 9 12 17 18 19 23 26 28 33 40 43 44 45 49 52 53 54 65 68 69 70 72 83 85 89 92 96 102 108 110 113 118 119 122 123 127 132 133 134 135 137 139 145 146 147 148 153 156 159 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 297 304 309 313 314 316 318 319 320 325 328 334 335 340 341 342 346 351 354 355 358 361 a 4 8 9 12 17 18 19 23 26 28 33 40 43 44 45 49 52 53 54 65 67 68 69 70 72 83 85 89 92 96 102 108 110 113 118 119 122 123 132 133 134 135 137 139 145 146 147 148 153 156 159 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 297 304 309 313 314 316 318 319 320 325 328 334 335 340 341 342 346 351 354 355 358 361 a 4 8 9 12 17 18 19 23 24 26 28 33 40 43 44 45 49 52 53 54 65 67 68 69 70 72 83 85 89 92 96 102 108 110 113 118 119 122 123 132 133 134 137 139 145 146 147 148 153 156 159 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 297 304 309 313 314 316 318 319 320 325 328 334 335 340 341 342 346 351 354 355 358 361 a 4 8 9 12 17 18 19 23 24 26 28 33 40 43 44 45 49 52 53 54 65 67 68 69 70 72 75 83 85 89 92 96 102 108 110 113 118 119 122 123 132 133 134 137 145 146 147 148 153 156 159 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 197 198 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 297 304 309 313 314 316 318 319 320 325 328 334 335 340 341 342 346 351 354 355 358 361 a 4 8 9 12 17 18 19 23 24 26 28 33 40 43 44 45 49 52 53 54 65 67 68 69 70 72 75 83 85 89 92 96 102 108 110 113 118 119 122 123 132 133 134 137 145 147 148 153 156 159 160 165 166 168 170 172 175 177 179 185 187 189 191 194 195 197 198 199 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 297 304 309 313 314 316 318 319 320 325 328 334 335 340 341 342 346 351 354 355 358 361 a 4 8 9 12 17 18 19 23 24 26 28 33 40 43 44 45 49 52 53 54 65 67 68 69 70 72 75 83 85 89 92 96 102 106 108 110 113 118 119 122 123 132 133 134 137 145 147 148 153 156 159 165 166 168 170 172 175 177 179 185 187 189 191 194 195 197 198 199 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 297 304 309 313 314 316 318 319 320 325 328 334 335 340 341 342 346 351 354 355 358 361 a 4 8 9 12 18 19 23 24 26 28 33 40 43 44 45 49 52 53 54 65 67 68 69 70 72 75 83 85 89 92 96 102 106 108 110 113 118 119 122 123 132 133 134 137 145 147 148 153 156 159 165 166 168 170 172 175 177 178 179 185 187 189 191 194 195 197 198 199 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 297 304 309 313 314 316 318 319 320 325 328 334 335 340 341 342 346 351 354 355 358 361 a 4 8 9 12 18 19 23 24 26 28 33 40 43 44 45 49 52 53 54 65 67 68 69 70 72 75 83 85 89 92 96 102 105 106 108 110 113 118 119 122 123 132 133 134 137 145 147 148 153 156 159 165 168 170 172 175 177 178 179 185 187 189 191 194 195 197 198 199 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 297 304 309 313 314 316 318 319 320 325 328 334 335 340 341 342 346 351 354 355 358 361 a 4 8 12 18 19 23 24 26 28 33 40 43 44 45 49 52 53 54 61 65 67 68 69 70 72 75 83 85 89 92 96 102 105 106 108 110 113 118 119 122 123 132 133 134 137 145 147 148 153 156 159 165 168 170 172 175 177 178 179 185 187 189 191 194 195 197 198 199 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 273 274 275 276 277 279 282 283 284 286 292 293 297 304 309 313 314 316 318 319 320 325 328 334 335 340 341 342 346 351 354 355 358 361 a 4 8 12 18 19 23 24 26 33 40 43 44 45 49 52 53 54 61 65 67 68 69 70 72 75 83 85 89 92 96 102 105 106 108 110 113 118 119 122 123 132 133 134 137 145 147 148 153 156 159 165 168 170 172 175 177 178 179 185 187 189 191 194 195 197 198 199 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 272 273 274 275 276 277 279 282 283 284 286 292 293 297 304 309 313 314 316 318 319 320 325 328 334 335 340 341 342 346 351 354 355 358 361 a 4 8 12 16 18 19 23 24 26 33 40 43 44 45 49 52 53 54 61 65 67 68 69 70 72 75 83 85 89 92 96 102 105 106 108 113 118 119 122 123 132 133 134 137 145 147 148 153 156 159 165 168 170 172 175 177 178 179 185 187 189 191 194 195 197 198 199 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 267 268 271 272 273 274 275 276 277 279 282 283 284 286 292 293 297 304 309 313 314 316 318 319 320 325 328 334 335 340 341 342 346 351 354 355 358 361 a 4 8 12 16 18 19 23 24 26 33 40 43 44 45 49 52 53 54 61 65 67 68 69 70 72 75 83 85 89 92 96 102 105 106 108 113 118 119 122 123 132 133 134 137 145 147 148 153 156 159 165 168 170 172 175 177 178 185 187 189 191 194 195 197 198 199 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 261 267 268 271 272 273 274 275 276 277 279 282 283 284 286 292 293 297 304 309 313 314 316 318 319 320 325 328 334 335 340 341 342 346 351 354 355 358 361 a 4 8 12 16 18 19 23 24 26 31 33 40 43 44 45 49 52 53 54 61 65 67 68 69 70 72 75 83 85 89 92 96 102 105 106 108 113 118 119 122 123 132 133 134 137 145 147 148 153 156 159 165 168 170 172 175 177 178 187 189 191 194 195 197 198 199 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 261 267 268 271 272 273 274 275 276 277 279 282 283 284 286 292 293 297 304 309 313 314 316 318 319 320 325 328 334 335 340 341 342 346 351 354 355 358 361 a 4 8 12 16 18 19 23 24 26 31 33 40 43 44 45 49 52 53 54 61 65 67 68 69 70 72 75 83 85 89 92 96 102 105 106 108 113 118 119 122 123 132 133 134 137 145 147 148 153 156 159 165 168 170 172 175 177 178 187 191 194 195 197 198 199 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 261 267 268 271 272 273 274 275 276 277 279 282 283 284 286 292 293 297 304 309 313 314 316 318 319 320 325 328 334 335 339 340 341 342 346 351 354 355 358 361 a 4 8 12 16 18 19 23 24 26 31 33 40 43 44 45 49 52 53 54 61 65 67 68 69 70 72 75 83 85 89 92 96 102 105 106 108 113 118 119 122 123 132 133 134 137 145 147 148 153 156 159 165 168 170 171 172 175 177 178 187 191 194 197 198 199 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 261 267 268 271 272 273 274 275 276 277 279 282 283 284 286 292 293 297 304 309 313 314 316 318 319 320 325 328 334 335 339 340 341 342 346 351 354 355 358 361 a 4 8 12 16 18 19 23 24 26 31 33 40 44 45 49 52 53 54 61 65 67 68 69 70 72 75 83 85 89 92 96 102 105 106 108 113 118 119 122 123 132 133 134 137 145 147 148 153 156 159 165 168 170 171 172 175 177 178 187 191 194 197 198 199 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 261 267 268 271 272 273 274 275 276 277 279 282 283 284 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 334 335 339 340 341 342 346 351 354 355 358 361 a 4 8 12 16 18 19 23 24 26 31 33 40 44 45 49 52 53 54 61 65 67 68 69 70 72 74 75 83 85 89 92 96 102 105 106 108 113 118 119 122 123 132 134 137 145 147 148 153 156 159 165 168 170 171 172 175 177 178 187 191 194 197 198 199 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 261 267 268 271 272 273 274 275 276 277 279 282 283 284 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 334 335 339 340 341 342 346 351 354 355 358 361 a 4 8 12 16 18 19 23 24 26 31 33 40 44 45 49 52 53 54 61 65 67 68 69 70 72 74 75 83 85 89 92 96 102 105 106 108 113 118 119 122 123 132 134 137 145 147 148 153 156 159 165 168 170 171 172 175 177 178 187 191 194 197 199 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 261 263 267 268 271 272 273 274 275 276 277 279 282 283 284 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 334 335 339 340 341 342 346 351 354 355 358 361 a 4 8 12 16 18 19 23 24 26 31 33 39 40 44 45 49 52 53 54 61 65 67 68 69 70 72 74 75 83 85 89 92 96 102 105 106 108 113 118 119 122 132 134 137 145 147 148 153 156 159 165 168 170 171 172 175 177 178 187 191 194 197 199 204 206 207 222 224 226 229 232 233 235 237 241 244 247 253 261 263 267 268 271 272 273 274 275 276 277 279 282 283 284 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 334 335 339 340 341 342 346 351 354 355 358 361 a 4 8 12 16 18 19 23 24 26 31 33 39 40 44 45 49 52 53 54 61 65 67 68 69 70 72 74 75 83 85 89 92 96 102 105 106 108 113 118 119 122 132 134 137 145 147 148 153 156 159 165 168 170 171 172 175 177 178 187 191 194 197 199 206 207 222 224 226 229 232 233 235 237 241 244 247 253 261 263 267 268 271 272 273 274 275 276 277 279 281 282 283 284 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 334 335 339 340 341 342 346 351 354 355 358 361 a 4 8 12 16 18 19 22 23 24 26 31 33 39 40 44 45 49 52 53 54 61 65 67 68 69 70 72 74 75 83 85 89 92 96 102 105 106 108 113 118 119 122 132 134 137 145 147 148 153 159 165 168 170 171 172 175 177 178 187 191 194 197 199 206 207 222 224 226 229 232 233 235 237 241 244 247 253 261 263 267 268 271 272 273 274 275 276 277 279 281 282 283 284 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 334 335 339 340 341 342 346 351 354 355 358 361 a 4 8 12 16 18 19 22 23 24 26 31 33 39 40 44 45 49 52 53 54 61 65 67 68 69 70 72 74 75 83 85 89 92 96 102 105 106 108 113 118 119 122 132 134 137 145 147 148 153 159 165 168 170 171 172 175 177 178 187 191 194 197 199 206 207 222 224 226 232 233 235 237 241 244 247 253 261 263 267 268 271 272 273 274 275 276 277 279 281 282 283 284 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 334 335 339 340 341 342 346 351 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 31 33 39 40 44 45 49 52 53 54 61 65 67 68 69 70 72 74 75 83 85 89 92 96 102 105 106 108 113 118 119 122 132 134 137 145 147 148 153 159 165 168 170 171 172 175 177 178 187 191 194 197 199 206 207 222 224 226 232 235 237 241 244 247 253 261 263 267 268 271 272 273 274 275 276 277 279 281 282 283 284 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 334 335 339 340 341 342 346 351 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 31 33 39 40 44 45 49 52 53 54 61 65 67 68 69 70 72 74 75 81 83 85 89 92 96 102 105 106 108 113 118 119 122 132 134 137 145 147 148 153 159 165 168 170 171 172 175 177 178 187 191 194 197 199 206 207 222 224 226 232 235 241 244 247 253 261 263 267 268 271 272 273 274 275 276 277 279 281 282 283 284 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 334 335 339 340 341 342 346 351 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 31 33 39 40 44 45 49 52 53 54 61 65 67 68 69 70 72 74 75 81 83 85 89 92 96 102 105 106 108 113 118 119 122 128 132 134 137 145 147 148 153 159 165 168 170 171 172 175 177 178 187 191 194 197 199 206 207 222 224 226 232 235 241 244 253 261 263 267 268 271 272 273 274 275 276 277 279 281 282 283 284 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 334 335 339 340 341 342 346 351 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 31 33 39 40 44 45 52 53 54 61 65 67 68 69 70 72 74 75 81 83 85 89 92 93 96 102 105 106 108 113 118 119 122 128 132 134 137 145 147 148 153 159 165 168 170 171 172 175 177 178 187 191 194 197 199 206 207 222 224 226 232 235 241 244 253 261 263 267 268 271 272 273 274 275 276 277 279 281 282 283 284 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 334 335 339 340 341 342 346 351 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 31 33 39 40 44 45 52 53 54 61 65 67 68 69 70 72 74 75 81 83 85 89 92 93 96 102 105 106 108 113 118 119 122 128 132 134 137 145 147 148 153 159 165 168 170 171 172 175 177 178 181 187 191 194 197 199 206 207 224 226 232 235 241 244 253 261 263 267 268 271 272 273 274 275 276 277 279 281 282 283 284 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 334 335 339 340 341 342 346 351 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 31 33 39 40 44 45 52 53 54 61 65 67 68 70 72 74 75 81 83 85 89 92 93 96 102 105 106 108 113 118 119 122 128 132 134 137 145 147 148 153 159 165 168 170 171 172 175 177 178 181 187 191 194 197 199 206 207 224 226 232 235 241 244 253 261 263 267 268 271 272 273 274 275 276 277 279 281 282 283 284 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 334 335 339 340 341 342 346 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 31 33 39 40 44 45 52 53 54 61 65 67 68 70 72 74 75 81 83 85 89 92 93 96 105 106 108 113 118 119 122 128 132 134 137 145 147 148 153 159 165 168 170 171 172 175 177 178 181 187 191 194 197 199 206 207 224 226 232 235 241 244 253 261 263 267 268 271 272 273 274 275 276 277 279 281 282 283 284 285 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 334 335 339 340 341 342 346 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 54 61 65 67 68 70 72 74 75 81 83 85 89 92 93 96 105 106 108 113 118 119 122 128 132 134 137 145 147 148 153 159 165 168 170 171 172 175 177 178 181 187 191 194 197 199 206 207 224 226 232 235 241 244 253 261 263 267 268 271 272 273 274 275 276 277 279 281 282 283 284 285 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 334 335 339 340 341 342 346 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 54 61 65 67 68 70 72 74 75 81 83 85 89 92 93 96 105 106 108 113 118 119 122 128 132 134 137 145 147 148 153 159 165 168 170 171 172 175 177 178 181 187 190 191 194 197 199 206 207 224 226 232 235 241 244 253 261 263 267 268 271 272 274 275 276 277 279 281 282 283 284 285 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 334 335 339 340 341 342 346 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 72 74 75 81 83 85 89 92 93 96 105 106 108 113 118 119 122 128 132 134 137 145 147 148 153 159 165 168 170 171 172 175 177 178 181 187 190 191 194 197 199 206 207 224 226 232 235 241 244 253 261 263 267 268 271 272 274 275 276 277 279 281 282 283 284 285 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 333 334 335 339 340 341 342 346 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 72 74 75 76 81 83 85 89 92 93 96 105 106 108 113 118 119 122 128 132 134 137 145 147 148 153 159 165 168 170 171 172 175 177 178 181 187 190 191 194 197 199 206 207 224 226 232 235 241 244 253 261 263 267 268 271 272 274 275 277 279 281 282 283 284 285 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 333 334 335 339 340 341 342 346 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 72 74 75 76 81 83 85 89 92 93 96 105 106 108 113 118 119 122 128 132 134 137 145 147 148 153 159 165 168 170 171 172 175 177 178 181 187 190 191 194 197 199 206 207 224 226 232 235 241 244 253 261 263 267 268 271 272 274 275 277 281 282 283 284 285 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 333 334 335 339 340 341 342 346 348 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 72 74 75 76 81 83 85 89 92 93 96 105 106 108 113 118 119 122 128 134 137 145 147 148 153 159 165 168 170 171 172 175 177 178 181 187 190 191 194 197 199 206 207 220 224 226 232 235 241 244 253 261 263 267 268 271 272 274 275 277 281 282 283 284 285 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 333 334 335 339 340 341 342 346 348 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 72 74 75 76 81 83 85 89 92 93 96 105 106 108 113 118 119 122 128 134 137 145 147 148 153 159 165 168 170 171 172 175 177 178 181 187 190 191 194 197 199 206 207 220 224 226 231 232 235 241 244 253 261 263 267 268 271 272 274 275 277 281 283 284 285 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 333 334 335 339 340 341 342 346 348 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 72 74 75 76 81 83 85 89 92 93 96 105 106 108 111 113 118 119 122 128 134 137 145 147 148 153 159 165 168 170 171 172 175 177 178 181 187 190 191 194 197 199 206 207 220 224 226 231 232 235 241 244 253 261 263 267 268 271 272 274 275 277 281 284 285 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 333 334 335 339 340 341 342 346 348 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 72 74 75 76 81 83 85 89 92 93 96 105 106 108 111 113 118 119 122 128 134 137 142 145 147 148 153 159 165 168 170 171 172 175 177 178 181 187 190 191 194 197 199 206 207 220 224 231 232 235 241 244 253 261 263 267 268 271 272 274 275 277 281 284 285 286 292 293 294 297 304 309 313 314 316 318 319 320 325 328 333 334 335 339 340 341 342 346 348 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 72 74 75 76 81 83 85 89 92 93 96 105 106 108 111 113 118 119 122 128 134 137 142 145 147 148 153 159 165 168 170 171 172 175 177 178 181 187 190 191 194 197 199 206 207 220 224 227 231 232 235 241 244 253 261 263 267 268 271 272 274 275 277 281 284 285 292 293 294 297 304 309 313 314 316 318 319 320 325 328 333 334 335 339 340 341 342 346 348 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 74 75 76 81 83 85 89 92 93 96 105 106 108 111 113 118 119 122 124 128 134 137 142 145 147 148 153 159 165 168 170 171 172 175 177 178 181 187 190 191 194 197 199 206 207 220 224 227 231 232 235 241 244 253 261 263 267 268 271 272 274 275 277 281 284 285 292 293 294 297 304 309 313 314 316 318 319 320 325 328 333 334 335 339 340 341 342 346 348 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 74 75 76 81 83 85 89 92 93 96 105 106 108 111 113 118 119 122 124 128 134 137 142 145 147 148 153 159 165 168 170 171 172 175 177 178 181 187 190 191 194 197 199 206 207 220 224 227 231 232 235 241 244 253 261 263 267 268 271 272 274 275 277 281 284 285 292 293 294 297 304 313 314 316 318 319 320 325 328 333 334 335 337 339 340 341 342 346 348 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 74 75 76 81 83 85 92 93 96 105 106 108 111 113 118 119 122 124 128 134 137 142 145 147 148 153 159 165 168 170 171 172 175 177 178 181 187 190 191 194 197 199 206 207 213 220 224 227 231 232 235 241 244 253 261 263 267 268 271 272 274 275 277 281 284 285 292 293 294 297 304 313 314 316 318 319 320 325 328 333 334 335 337 339 340 341 342 346 348 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 74 75 76 81 85 92 93 96 97 105 106 108 111 113 118 119 122 124 128 134 137 142 145 147 148 153 159 165 168 170 171 172 175 177 178 181 187 190 191 194 197 199 206 207 213 220 224 227 231 232 235 241 244 253 261 263 267 268 271 272 274 275 277 281 284 285 292 293 294 297 304 313 314 316 318 319 320 325 328 333 334 335 337 339 340 341 342 346 348 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 74 75 76 81 85 92 93 96 97 105 106 108 111 113 118 119 122 124 128 134 137 142 145 147 148 153 159 165 168 170 171 172 175 177 178 181 187 190 191 194 197 199 206 207 213 220 224 227 231 232 235 241 244 249 253 261 263 267 268 271 272 274 275 277 281 284 285 292 293 294 297 304 314 316 318 319 320 325 328 333 334 335 337 339 340 341 342 346 348 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 74 75 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 122 124 128 134 137 142 145 147 148 153 159 165 168 170 171 172 175 177 178 181 187 190 191 194 197 199 206 207 213 220 224 227 231 232 235 241 244 249 253 261 263 267 268 271 272 274 275 277 281 284 285 292 293 294 297 304 314 316 318 320 325 328 333 334 335 337 339 340 341 342 346 348 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 74 75 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 124 128 134 137 142 145 147 148 153 159 165 168 170 171 172 175 177 178 181 187 190 191 194 197 199 206 207 213 220 224 227 231 232 235 241 244 249 253 254 261 263 267 268 271 272 274 275 277 281 284 285 292 293 294 297 304 314 316 318 320 325 328 333 334 335 337 339 340 341 342 346 348 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 74 75 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 137 142 145 147 148 153 159 165 168 170 171 172 175 177 178 181 187 190 191 194 197 199 206 207 213 220 224 227 231 232 235 241 244 249 253 254 261 263 267 268 271 272 274 275 277 281 284 285 292 293 294 297 304 314 316 318 320 325 328 333 334 335 337 339 340 341 342 346 348 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 74 75 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 137 142 145 147 148 153 159 165 168 170 171 172 175 177 178 181 190 191 194 197 199 206 207 213 220 224 227 231 232 235 241 244 249 253 254 261 263 267 268 270 271 272 274 275 277 281 284 285 292 293 294 297 304 314 316 318 320 325 328 333 334 335 337 339 340 341 342 346 348 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 74 75 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 137 142 145 147 148 153 159 165 168 170 171 172 175 177 178 181 190 191 194 197 199 206 208 213 220 224 227 231 232 235 241 244 249 253 254 261 263 267 268 270 271 272 274 275 277 281 284 285 292 293 294 297 304 314 316 318 320 325 328 333 334 335 337 339 340 341 342 346 348 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 74 75 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 137 141 142 145 147 148 153 159 165 168 170 171 172 175 177 178 181 190 191 194 197 199 206 208 213 220 224 227 231 232 235 241 244 249 253 254 261 263 268 270 271 272 274 275 277 281 284 285 292 293 294 297 304 314 316 318 320 325 328 333 334 335 337 339 340 341 342 346 348 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 74 75 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 137 141 142 147 148 151 153 159 165 168 170 171 172 175 177 178 181 190 191 194 197 199 206 208 213 220 224 227 231 232 235 241 244 249 253 254 261 263 268 270 271 272 274 275 277 281 284 285 292 293 294 297 304 314 316 318 320 325 328 333 334 335 337 339 340 341 342 346 348 351 352 354 355 358 361 362 a 4 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 74 75 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 137 141 142 147 148 151 153 159 165 168 170 171 172 175 177 178 181 186 190 191 194 197 199 206 208 213 220 224 227 231 232 235 241 244 249 253 254 261 263 268 270 271 272 274 275 277 281 284 285 292 293 294 297 304 314 316 318 320 325 333 334 335 337 339 340 341 342 346 348 351 352 354 355 358 361 362 a 4 7 8 12 16 18 19 20 22 23 24 26 29 31 33 39 40 44 45 53 61 65 67 68 70 74 75 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 137 141 142 147 148 151 153 159 165 168 170 171 172 175 177 178 181 186 190 191 194 197 199 206 208 213 220 224 227 231 232 235 241 244 249 253 254 261 263 268 270 271 272 274 275 277 281 284 285 292 293 294 297 304 314 316 318 320 325 333 334 335 337 339 340 341 346 348 351 352 354 355 358 361 362 a 4 7 8 12 16 18 19 20 22 23 24 26 27 29 31 33 39 40 44 45 53 61 65 67 68 70 74 75 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 137 141 142 147 148 151 153 159 168 170 171 172 175 177 178 181 186 190 191 194 197 199 206 208 213 220 224 227 231 232 235 241 244 249 253 254 261 263 268 270 271 272 274 275 277 281 284 285 292 293 294 297 304 314 316 318 320 325 333 334 335 337 339 340 341 346 348 351 352 354 355 358 361 362 a 4 7 8 12 16 18 19 20 22 23 24 26 27 29 31 33 39 40 44 45 53 61 64 65 67 68 70 74 75 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 137 141 142 147 148 151 153 159 170 171 172 175 177 178 181 186 190 191 194 197 199 206 208 213 220 224 227 231 232 235 241 244 249 253 254 261 263 268 270 271 272 274 275 277 281 284 285 292 293 294 297 304 314 316 318 320 325 333 334 335 337 339 340 341 346 348 351 352 354 355 358 361 362 a 4 7 8 12 16 18 19 20 22 23 24 26 27 29 31 33 39 40 44 45 53 61 64 65 67 68 70 74 75 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 137 141 142 147 148 151 153 159 170 171 172 175 177 178 181 186 190 194 197 199 206 208 213 220 224 227 231 232 235 239 241 244 249 253 254 261 263 268 270 271 272 274 275 277 281 284 285 292 293 294 297 304 314 316 318 320 325 333 334 335 337 339 340 341 346 348 351 352 354 355 358 361 362 a 4 7 8 12 16 18 19 20 22 23 24 26 27 29 31 33 39 40 44 45 46 53 61 64 65 67 68 70 74 75 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 137 141 142 147 148 151 153 159 170 171 172 175 177 178 181 186 190 194 197 199 206 208 213 220 224 227 231 232 235 239 241 244 249 253 254 261 263 268 270 272 274 275 277 281 284 285 292 293 294 297 304 314 316 318 320 325 333 334 335 337 339 340 341 346 348 351 352 354 355 358 361 362 a 4 7 8 12 16 18 19 20 22 23 24 26 27 29 31 33 39 40 44 45 46 53 61 64 65 67 68 70 74 75 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 137 141 142 147 148 151 153 159 170 171 172 175 177 178 181 186 190 194 197 199 206 208 213 216 220 224 227 231 232 235 239 241 244 249 253 254 261 263 268 270 272 274 275 277 281 284 285 292 293 294 297 304 314 316 318 320 325 333 334 335 337 339 340 341 348 351 352 354 355 358 361 362 a 4 7 8 12 16 18 19 20 22 23 24 26 27 29 31 33 39 40 44 45 46 53 61 64 65 67 68 70 74 75 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 137 141 142 147 148 151 153 159 170 171 172 175 177 178 181 186 190 194 197 199 206 208 213 216 220 224 227 231 232 235 239 241 244 249 253 254 261 263 268 270 272 274 275 277 281 284 285 292 293 294 297 304 311 314 316 318 320 325 333 334 335 337 339 341 348 351 352 354 355 358 361 362 a 4 7 8 12 16 18 19 20 22 23 24 26 27 29 31 33 39 40 44 45 46 53 61 64 65 67 68 70 74 75 76 81 85 86 92 93 96 97 105 106 108 111 113 118 119 121 124 128 137 141 142 147 148 151 153 159 170 171 172 173 175 177 178 181 186 190 194 197 199 206 208 213 216 220 224 227 231 232 235 239 241 244 249 253 254 261 263 268 270 272 274 275 277 281 284 285 292 293 294 297 304 311 314 316 318 320 325 333 334 335 337 339 341 348 351 352 354 355 358 362 Command being timed: "/solvers/driver/run.py --config=shortest-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance028_graph002.col /benchmark/random_instance/random_instance028_graph002_01.dat" User time (seconds): 1734.30 System time (seconds): 6.19 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 29:00.56 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): 26854736 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7051644 Voluntary context switches: 23 Involuntary context switches: 2987 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 25 15:07:44 2023]