#BEGIN: [Fri Sep 8 00:35:28 2023] #HOST: s05 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-ai-planning2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance028_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance028_graph005_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance028_graph005.col /benchmark/random_instance/random_instance028_graph005_01.dat s 112 351 155 213 200 2 363 238 151 231 224 256 302 303 278 334 1 196 307 358 293 323 27 236 175 308 78 243 7 198 97 116 45 149 129 335 251 75 212 14 128 177 38 55 36 11 339 63 172 142 5 287 266 277 239 205 273 102 168 105 136 44 276 315 264 237 260 346 352 89 13 220 332 240 59 289 301 50 139 274 311 261 255 132 270 245 26 138 324 269 317 154 186 19 228 167 119 65 159 176 66 322 106 169 326 145 343 10 305 48 130 291 69 364 286 279 184 56 320 t 105 65 220 58 354 210 196 338 5 251 78 71 361 92 258 125 188 104 77 267 14 199 287 69 263 284 241 242 7 30 54 225 46 181 3 201 102 290 48 50 326 17 132 352 283 107 278 198 36 134 277 39 113 62 215 343 298 234 141 261 25 79 229 319 169 140 270 231 56 279 218 144 246 126 118 254 276 315 332 139 18 10 204 317 291 138 148 150 136 310 63 182 335 35 186 175 19 214 90 273 89 325 119 286 324 303 348 59 130 133 143 16 85 174 212 47 1 330 145 a YES a 1 2 5 7 10 11 13 14 19 26 27 36 38 44 45 48 50 55 56 59 63 65 66 69 75 78 89 97 102 105 106 112 116 119 128 129 130 132 136 138 139 142 145 149 151 154 155 159 167 168 169 172 175 176 177 184 186 196 198 200 205 212 213 220 224 228 231 236 237 238 239 240 243 245 251 255 256 260 261 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 363 364 a 1 5 7 10 11 13 14 19 26 27 36 38 44 45 48 50 55 56 59 63 65 66 69 71 75 78 89 97 102 105 106 112 116 119 128 129 130 132 136 138 139 142 145 149 151 154 155 159 167 168 169 172 175 176 177 184 186 196 198 200 205 212 213 220 224 228 231 236 237 238 239 240 243 245 251 255 256 260 261 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 363 364 a 1 5 7 10 13 14 19 26 27 36 38 44 45 48 50 55 56 59 63 65 66 69 71 75 78 89 97 102 105 106 112 116 119 128 129 130 132 136 138 139 142 144 145 149 151 154 155 159 167 168 169 172 175 176 177 184 186 196 198 200 205 212 213 220 224 228 231 236 237 238 239 240 243 245 251 255 256 260 261 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 363 364 a 1 5 7 10 14 19 26 27 36 38 44 45 48 50 55 56 59 63 65 66 69 71 75 78 89 97 102 105 106 112 116 119 128 129 130 132 136 138 139 142 144 145 149 151 154 155 159 167 168 169 172 175 176 177 184 186 196 198 200 205 212 213 220 224 228 231 236 237 238 239 240 241 243 245 251 255 256 260 261 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 363 364 a 1 5 7 10 14 19 26 36 38 44 45 48 50 55 56 59 63 65 66 69 71 75 78 89 97 102 105 106 112 116 119 128 129 130 132 136 138 139 142 144 145 149 151 154 155 159 167 168 169 172 175 176 177 182 184 186 196 198 200 205 212 213 220 224 228 231 236 237 238 239 240 241 243 245 251 255 256 260 261 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 363 364 a 1 5 7 10 14 16 19 26 36 38 44 48 50 55 56 59 63 65 66 69 71 75 78 89 97 102 105 106 112 116 119 128 129 130 132 136 138 139 142 144 145 149 151 154 155 159 167 168 169 172 175 176 177 182 184 186 196 198 200 205 212 213 220 224 228 231 236 237 238 239 240 241 243 245 251 255 256 260 261 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 363 364 a 1 5 7 10 14 16 19 26 36 38 44 48 50 55 56 58 59 63 65 69 71 75 78 89 97 102 105 106 112 116 119 128 129 130 132 136 138 139 142 144 145 149 151 154 155 159 167 168 169 172 175 176 177 182 184 186 196 198 200 205 212 213 220 224 228 231 236 237 238 239 240 241 243 245 251 255 256 260 261 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 363 364 a 1 5 7 10 14 16 19 26 36 38 44 48 50 55 56 58 59 63 65 69 71 78 89 97 102 105 106 112 116 119 128 129 130 132 136 138 139 142 144 145 149 151 154 155 159 167 168 169 172 175 176 177 182 184 186 196 198 200 205 212 213 220 224 228 231 236 237 238 239 240 241 242 243 245 251 255 256 260 261 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 320 322 323 324 326 332 334 335 339 343 346 351 352 358 363 364 a 1 5 7 10 14 16 19 36 38 44 48 50 55 56 58 59 63 65 69 71 78 89 97 102 105 106 112 116 119 128 129 130 132 136 138 139 142 144 145 149 151 154 155 159 167 168 169 172 175 176 177 182 184 186 196 198 200 205 212 213 220 224 228 231 236 237 238 239 240 241 242 243 245 251 255 256 260 261 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 319 320 322 323 324 326 332 334 335 339 343 346 351 352 358 363 364 a 1 5 7 10 14 16 19 36 38 44 48 50 55 56 58 59 63 65 69 71 78 89 102 105 106 112 116 119 128 129 130 132 136 138 139 142 144 145 149 151 154 155 159 167 168 169 172 175 176 177 182 184 186 196 198 199 200 205 212 213 220 224 228 231 236 237 238 239 240 241 242 243 245 251 255 256 260 261 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 319 320 322 323 324 326 332 334 335 339 343 346 351 352 358 363 364 a 1 5 7 10 14 16 19 36 38 44 48 50 55 56 58 59 63 65 69 71 77 78 89 102 105 112 116 119 128 129 130 132 136 138 139 142 144 145 149 151 154 155 159 167 168 169 172 175 176 177 182 184 186 196 198 199 200 205 212 213 220 224 228 231 236 237 238 239 240 241 242 243 245 251 255 256 260 261 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 319 320 322 323 324 326 332 334 335 339 343 346 351 352 358 363 364 a 1 5 7 10 14 16 19 36 38 44 48 50 55 56 58 59 63 65 69 71 77 78 85 89 102 105 116 119 128 129 130 132 136 138 139 142 144 145 149 151 154 155 159 167 168 169 172 175 176 177 182 184 186 196 198 199 200 205 212 213 220 224 228 231 236 237 238 239 240 241 242 243 245 251 255 256 260 261 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 319 320 322 323 324 326 332 334 335 339 343 346 351 352 358 363 364 a 1 5 7 10 14 16 19 36 44 48 50 55 56 58 59 63 65 69 71 77 78 85 89 102 105 116 119 128 129 130 132 136 138 139 142 144 145 149 151 154 155 159 167 168 169 172 175 176 177 182 184 186 196 198 199 200 205 212 213 220 224 228 229 231 236 237 238 239 240 241 242 243 245 251 255 256 260 261 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 319 320 322 323 324 326 332 334 335 339 343 346 351 352 358 363 364 a 1 5 7 10 14 16 19 36 44 48 50 55 56 58 59 63 65 69 71 77 78 85 89 102 105 119 128 129 130 132 136 138 139 142 144 145 149 151 154 155 159 167 168 169 172 175 176 177 182 184 186 196 198 199 200 205 212 213 220 224 228 229 231 236 237 238 239 240 241 242 243 245 251 255 256 260 261 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 319 320 322 323 324 326 332 334 335 339 343 346 351 352 354 358 363 364 a 1 5 7 10 14 16 19 36 48 50 55 56 58 59 63 65 69 71 77 78 85 89 102 105 119 128 129 130 132 136 138 139 142 144 145 149 151 154 155 159 167 168 169 172 175 176 177 182 184 186 196 198 199 200 205 212 213 220 224 228 229 231 236 237 238 239 240 241 242 243 245 251 255 256 260 261 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 332 334 335 339 343 346 351 352 354 358 363 364 a 1 3 5 7 10 14 16 19 36 48 50 55 56 58 59 63 65 69 71 77 78 85 89 102 105 119 129 130 132 136 138 139 142 144 145 149 151 154 155 159 167 168 169 172 175 176 177 182 184 186 196 198 199 200 205 212 213 220 224 228 229 231 236 237 238 239 240 241 242 243 245 251 255 256 260 261 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 332 334 335 339 343 346 351 352 354 358 363 364 a 1 3 5 7 10 14 16 19 36 48 50 56 58 59 63 65 69 71 77 78 85 89 102 105 119 129 130 132 136 138 139 142 144 145 149 151 154 155 159 167 168 169 172 175 176 177 182 184 186 196 198 199 200 205 212 213 220 224 225 228 229 231 236 237 238 239 240 241 242 243 245 251 255 256 260 261 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 332 334 335 339 343 346 351 352 354 358 363 364 a 1 3 5 7 10 14 16 19 36 48 50 56 58 59 63 65 69 71 77 78 85 89 102 105 119 130 132 136 138 139 142 144 145 149 151 154 155 159 167 168 169 172 175 176 177 182 184 186 196 198 199 200 205 212 213 220 224 225 228 229 231 236 237 238 239 240 241 242 243 245 251 255 256 260 261 263 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 332 334 335 339 343 346 351 352 354 358 363 364 a 1 3 5 7 10 14 16 19 36 48 50 56 58 59 63 65 69 71 77 78 85 89 102 105 119 130 132 136 138 139 142 144 145 149 151 154 159 167 168 169 172 175 176 177 182 184 186 196 198 199 200 205 212 213 220 224 225 228 229 231 236 237 238 239 240 241 242 243 245 251 255 256 260 261 263 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 19 36 48 50 56 58 59 63 65 69 71 77 78 85 89 102 105 119 130 132 136 138 139 142 144 145 149 151 154 159 167 168 169 175 176 177 182 184 186 196 198 199 200 205 212 213 215 220 224 225 228 229 231 236 237 238 239 240 241 242 243 245 251 255 256 260 261 263 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 19 36 48 50 56 58 59 63 65 69 71 77 78 85 89 102 105 119 130 132 136 138 139 142 143 144 145 149 154 159 167 168 169 175 176 177 182 184 186 196 198 199 200 205 212 213 215 220 224 225 228 229 231 236 237 238 239 240 241 242 243 245 251 255 256 260 261 263 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 19 36 48 50 56 58 59 63 65 69 71 77 78 85 89 102 105 119 130 132 136 138 139 142 143 144 145 149 159 167 168 169 175 176 177 182 184 186 196 198 199 200 205 212 213 215 220 224 225 228 229 231 236 237 238 239 240 241 242 243 245 251 255 256 260 261 263 264 266 269 270 273 274 276 277 278 279 286 287 289 291 293 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 19 36 48 50 56 58 59 63 65 69 71 77 78 85 89 102 105 119 130 132 136 138 139 142 143 144 145 159 167 168 169 175 176 177 182 184 186 196 198 199 200 205 212 213 215 220 224 225 228 229 231 236 237 238 239 240 241 242 243 245 251 255 256 260 261 263 264 266 269 270 273 274 276 277 278 279 284 286 287 289 291 293 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 19 36 48 50 56 58 59 63 65 69 71 77 78 85 89 102 105 119 130 132 136 138 139 142 143 144 145 159 167 168 169 175 176 177 182 186 196 198 199 200 205 212 213 215 220 224 225 228 229 231 236 237 238 239 240 241 242 243 245 251 254 255 256 260 261 263 264 266 269 270 273 274 276 277 278 279 284 286 287 289 291 293 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 19 36 47 48 50 56 58 59 63 65 69 71 77 78 85 89 102 105 119 130 132 136 138 139 142 143 144 145 159 167 168 169 175 176 177 182 186 196 198 199 205 212 213 215 220 224 225 228 229 231 236 237 238 239 240 241 242 243 245 251 254 255 256 260 261 263 264 266 269 270 273 274 276 277 278 279 284 286 287 289 291 293 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 19 36 47 48 50 56 58 59 63 65 69 71 77 78 85 89 102 105 119 130 132 136 138 139 142 143 144 145 159 167 168 169 175 176 177 182 186 196 198 199 212 213 215 220 224 225 228 229 231 236 237 238 239 240 241 242 243 245 251 254 255 256 260 261 263 264 266 269 270 273 274 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 19 36 47 48 50 56 58 59 63 65 69 71 77 78 85 89 102 105 119 130 132 133 136 138 139 143 144 145 159 167 168 169 175 176 177 182 186 196 198 199 212 213 215 220 224 225 228 229 231 236 237 238 239 240 241 242 243 245 251 254 255 256 260 261 263 264 266 269 270 273 274 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 19 36 47 48 50 56 58 59 63 65 69 71 77 78 85 89 102 105 119 130 132 133 136 138 139 143 144 145 159 167 168 169 175 176 177 181 182 186 196 198 199 212 215 220 224 225 228 229 231 236 237 238 239 240 241 242 243 245 251 254 255 256 260 261 263 264 266 269 270 273 274 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 19 36 47 48 50 56 58 59 62 63 65 69 71 77 78 85 89 102 105 119 130 132 133 136 138 139 143 144 145 159 167 168 169 175 176 177 181 182 186 196 198 199 212 215 220 224 225 229 231 236 237 238 239 240 241 242 243 245 251 254 255 256 260 261 263 264 266 269 270 273 274 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 19 36 47 48 50 56 58 59 62 63 65 69 71 77 78 85 89 102 105 119 130 132 133 136 138 139 143 144 145 159 167 168 169 175 176 177 181 182 186 196 198 199 212 215 220 224 225 229 231 237 238 239 240 241 242 243 245 251 254 255 256 260 261 263 264 266 267 269 270 273 274 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 19 36 47 48 50 56 58 59 62 63 65 69 71 77 78 85 89 102 105 119 130 132 133 136 138 139 143 144 145 167 168 169 175 176 177 181 182 186 196 198 199 212 215 220 224 225 229 231 234 237 238 239 240 241 242 243 245 251 254 255 256 260 261 263 264 266 267 269 270 273 274 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 19 36 47 48 50 56 58 59 62 63 65 69 71 77 78 79 85 89 102 105 119 130 132 133 136 138 139 143 144 145 167 168 169 175 176 177 181 182 186 196 198 199 212 215 220 224 225 229 231 234 237 238 240 241 242 243 245 251 254 255 256 260 261 263 264 266 267 269 270 273 274 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 19 36 47 48 50 56 58 59 62 63 65 69 71 77 78 79 85 89 102 105 119 130 132 133 136 138 139 143 144 145 168 169 175 176 177 181 182 186 188 196 198 199 212 215 220 224 225 229 231 234 237 238 240 241 242 243 245 251 254 255 256 260 261 263 264 266 267 269 270 273 274 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 19 36 47 48 50 56 58 59 62 63 65 69 71 77 78 79 85 89 102 105 119 130 132 133 136 138 139 143 144 145 168 169 174 175 176 177 181 182 186 188 196 198 199 212 215 220 224 225 229 231 234 237 238 241 242 243 245 251 254 255 256 260 261 263 264 266 267 269 270 273 274 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 36 47 48 50 56 58 59 62 63 65 69 71 77 78 79 85 89 102 105 119 130 132 133 136 138 139 143 144 145 168 169 174 175 176 177 181 182 186 188 196 198 199 212 215 220 224 225 229 231 234 237 238 241 242 245 251 254 255 256 260 261 263 264 266 267 269 270 273 274 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 36 47 48 50 56 58 59 62 63 65 69 71 77 78 79 85 89 102 105 119 130 132 133 136 138 139 140 143 144 145 168 169 174 175 176 177 181 182 186 188 196 198 199 212 215 220 224 225 229 231 234 237 238 241 242 251 254 255 256 260 261 263 264 266 267 269 270 273 274 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 35 36 47 48 50 56 58 59 62 63 65 69 71 77 78 79 85 89 102 105 119 130 132 133 136 138 139 140 143 144 145 168 169 174 175 176 177 181 182 186 188 196 198 199 212 215 220 224 225 229 231 234 237 238 241 242 251 254 256 260 261 263 264 266 267 269 270 273 274 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 35 36 39 47 48 50 56 58 59 62 63 65 69 71 77 78 79 85 89 102 105 119 130 132 133 136 138 139 140 143 144 145 169 174 175 176 177 181 182 186 188 196 198 199 212 215 220 224 225 229 231 234 237 238 241 242 251 254 256 260 261 263 264 266 267 269 270 273 274 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 35 36 39 47 48 50 56 58 59 62 63 65 69 71 77 78 79 85 89 102 105 119 130 132 133 136 138 139 140 143 144 145 169 174 175 176 177 181 182 186 188 196 198 199 212 215 220 224 225 229 231 234 237 238 241 242 246 251 254 260 261 263 264 266 267 269 270 273 274 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 35 36 39 46 47 48 50 56 58 59 62 63 65 69 71 77 78 79 85 89 102 105 119 130 132 133 136 138 139 140 143 144 145 169 174 175 176 177 181 182 186 188 196 198 199 212 215 220 224 225 229 231 234 237 238 241 242 246 251 254 261 263 264 266 267 269 270 273 274 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 35 36 39 46 47 48 50 56 58 59 62 63 65 69 71 77 78 79 85 89 102 105 119 130 132 133 136 138 139 140 143 144 145 169 174 175 177 181 182 186 188 196 198 199 212 215 220 224 225 229 231 234 237 238 241 242 246 251 254 258 261 263 264 266 267 269 270 273 274 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 35 36 39 46 47 48 50 56 58 59 62 63 65 69 71 77 78 79 85 89 102 105 119 130 132 133 136 138 139 140 143 144 145 169 174 175 181 182 186 188 196 198 199 212 215 220 224 225 229 231 234 237 238 241 242 246 251 254 258 261 263 264 266 267 269 270 273 274 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 310 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 35 36 39 46 47 48 50 56 58 59 62 63 65 69 71 77 78 79 85 89 102 105 119 130 132 133 136 138 139 140 143 144 145 150 169 174 175 181 182 186 188 196 198 199 212 215 220 224 225 229 231 234 237 238 241 242 246 251 254 258 261 263 266 267 269 270 273 274 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 310 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 30 35 36 39 46 47 48 50 56 58 59 62 63 65 69 71 77 78 79 85 89 102 105 119 130 132 133 136 138 139 140 143 144 145 150 169 174 175 181 182 186 188 196 198 199 212 215 220 224 225 229 231 234 237 238 241 242 246 251 254 258 261 263 267 269 270 273 274 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 310 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 102 105 119 130 132 133 136 138 139 140 143 144 145 150 169 174 175 181 182 186 188 196 198 199 212 215 220 225 229 231 234 237 238 241 242 246 251 254 258 261 263 267 269 270 273 274 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 310 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 102 105 119 130 132 133 136 138 139 140 143 144 145 150 169 174 175 181 182 186 188 196 198 199 204 212 215 220 225 229 231 234 237 238 241 242 246 251 254 258 261 263 267 270 273 274 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 310 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 102 105 113 119 130 132 133 136 138 139 140 143 144 145 150 169 174 175 181 182 186 188 196 198 199 204 212 215 220 225 229 231 234 237 238 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 289 291 293 298 301 302 303 305 307 308 310 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 102 105 113 119 130 132 133 136 138 139 140 143 144 145 150 169 174 175 181 182 186 188 196 198 199 204 210 212 215 220 225 229 231 234 237 238 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 289 291 293 298 302 303 305 307 308 310 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 102 105 113 119 130 132 133 136 138 139 140 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 204 210 212 215 220 225 229 231 234 237 238 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 289 291 293 298 303 305 307 308 310 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 102 105 113 119 130 132 133 136 138 139 140 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 204 210 212 214 215 220 225 229 231 234 237 238 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 289 291 293 298 303 305 308 310 311 315 317 319 320 322 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 102 105 107 113 119 130 132 133 136 138 139 140 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 204 210 212 214 215 220 225 229 231 234 237 238 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 289 291 293 298 303 305 308 310 311 315 317 319 320 323 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 102 105 107 113 119 130 132 133 136 138 139 140 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 204 210 212 214 215 220 225 229 231 234 237 238 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 289 290 291 293 298 303 305 308 310 311 315 317 319 320 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 102 105 107 113 119 130 132 133 136 138 139 140 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 204 210 212 214 215 220 225 229 231 234 238 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 289 290 291 293 298 303 305 308 310 311 315 317 319 320 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 102 105 107 113 118 119 130 132 133 136 138 139 140 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 204 210 212 214 215 220 225 229 231 234 238 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 290 291 293 298 303 305 308 310 311 315 317 319 320 324 325 326 330 332 334 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 102 105 107 113 118 119 130 132 133 136 138 139 140 141 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 204 210 212 214 215 220 225 229 231 234 238 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 290 291 293 298 303 305 308 310 311 315 317 319 320 324 325 326 330 332 335 339 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 25 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 102 105 107 113 118 119 130 132 133 136 138 139 140 141 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 204 210 212 214 215 220 225 229 231 234 238 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 290 291 293 298 303 305 308 310 311 315 317 319 320 324 325 326 330 332 335 343 346 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 25 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 102 105 107 113 118 119 130 132 133 136 138 139 140 141 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 204 210 212 214 215 220 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 290 291 293 298 303 305 308 310 311 315 317 319 320 324 325 326 330 332 335 343 346 348 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 25 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 102 105 107 113 118 119 126 130 132 133 136 138 139 140 141 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 204 210 212 214 215 220 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 290 291 293 298 303 305 308 310 311 315 317 319 324 325 326 330 332 335 343 346 348 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 19 25 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 102 105 107 113 118 119 126 130 132 133 136 138 139 140 141 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 201 204 210 212 214 215 220 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 290 291 293 298 303 305 308 310 311 315 317 319 324 325 326 330 332 335 343 348 351 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 18 19 25 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 102 105 107 113 118 119 126 130 132 133 136 138 139 140 141 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 201 204 210 212 214 215 220 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 290 291 293 298 303 305 308 310 311 315 317 319 324 325 326 330 332 335 343 348 352 354 358 361 363 364 a 1 3 5 7 10 14 16 17 18 19 25 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 102 105 107 113 118 119 126 130 132 133 136 138 139 140 141 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 201 204 210 212 214 215 218 220 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 290 291 293 298 303 305 308 310 311 315 317 319 324 325 326 330 332 335 343 348 352 354 361 363 364 a 1 3 5 7 10 14 16 17 18 19 25 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 102 105 107 113 118 119 125 126 130 132 133 136 138 139 140 141 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 201 204 210 212 214 215 218 220 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 290 291 298 303 305 308 310 311 315 317 319 324 325 326 330 332 335 343 348 352 354 361 363 364 a 1 3 5 7 10 14 16 17 18 19 25 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 102 105 107 113 118 119 125 126 130 132 133 134 136 138 139 140 141 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 201 204 210 212 214 215 218 220 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 290 291 298 303 308 310 311 315 317 319 324 325 326 330 332 335 343 348 352 354 361 363 364 a 1 3 5 7 10 14 16 17 18 19 25 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 92 102 105 107 113 118 119 125 126 130 132 133 134 136 138 139 140 141 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 201 204 210 212 214 215 218 220 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 290 291 298 303 310 311 315 317 319 324 325 326 330 332 335 343 348 352 354 361 363 364 a 1 3 5 7 10 14 16 17 18 19 25 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 92 102 104 105 107 113 118 119 125 126 130 132 133 134 136 138 139 140 141 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 201 204 210 212 214 215 218 220 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 284 286 287 290 291 298 303 310 315 317 319 324 325 326 330 332 335 343 348 352 354 361 363 364 a 1 3 5 7 10 14 16 17 18 19 25 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 92 102 104 105 107 113 118 119 125 126 130 132 133 134 136 138 139 140 141 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 201 204 210 212 214 215 218 220 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 283 284 286 287 290 291 298 303 310 315 317 319 324 325 326 330 332 335 343 348 352 354 361 364 a 1 3 5 7 10 14 16 17 18 19 25 30 35 36 39 46 47 48 50 54 56 58 59 62 63 65 69 71 77 78 79 85 89 90 92 102 104 105 107 113 118 119 125 126 130 132 133 134 136 138 139 140 141 143 144 145 148 150 169 174 175 181 182 186 188 196 198 199 201 204 210 212 214 215 218 220 225 229 231 234 241 242 246 251 254 258 261 263 267 270 273 276 277 278 279 283 284 286 287 290 291 298 303 310 315 317 319 324 325 326 330 332 335 338 343 348 352 354 361 Command being timed: "/solvers/driver/run.py --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance028_graph005.col /benchmark/random_instance/random_instance028_graph005_01.dat" User time (seconds): 0.16 System time (seconds): 0.00 Percent of CPU this job got: 97% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.17 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): 20544 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 12498 Voluntary context switches: 24 Involuntary context switches: 3 Swaps: 0 File system inputs: 0 File system outputs: 440 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 00:35:28 2023]