#BEGIN: [Mon Sep 25 12:30:37 2023] #HOST: s05 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-ai-planning2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance027_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance027_graph003_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_instance027_graph003.col /benchmark/random_instance/random_instance027_graph003_01.dat s 23 317 283 65 287 16 274 1 326 18 286 167 333 197 111 74 342 84 215 213 273 299 231 349 20 247 211 304 88 310 224 294 113 42 25 191 154 330 138 340 124 49 263 156 219 314 265 29 146 129 207 281 322 189 64 54 97 271 192 159 339 14 341 248 180 323 276 46 30 45 135 336 182 288 239 27 348 99 344 267 91 306 270 90 144 251 28 321 307 61 168 223 183 85 252 300 346 200 245 3 134 241 208 331 260 198 147 81 338 298 100 318 58 5 t 202 190 92 349 123 336 200 34 56 58 59 143 329 43 125 201 121 133 341 2 318 273 230 135 97 29 150 351 275 227 173 18 315 74 71 265 295 33 31 118 148 242 196 338 271 215 172 15 100 345 317 343 147 348 245 216 126 65 249 316 268 321 48 291 188 91 310 218 266 239 219 94 111 68 170 62 328 339 17 253 89 288 195 221 208 217 246 149 325 113 284 52 305 163 298 278 164 80 178 3 35 306 16 280 9 191 129 85 234 319 238 243 116 344 a YES a 1 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 74 81 84 85 88 90 91 97 99 100 111 113 124 129 134 135 138 144 146 147 154 156 159 167 168 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 3 5 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 74 81 84 85 88 90 91 97 99 100 111 113 123 124 129 134 135 138 144 146 147 154 156 159 167 168 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 231 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 3 14 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 74 81 84 85 88 90 91 97 99 100 111 113 123 124 129 134 135 138 144 146 147 154 156 159 167 168 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 231 234 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 3 16 18 20 23 25 27 28 29 30 42 45 46 49 54 58 61 64 65 74 81 84 85 88 90 91 97 99 100 111 113 123 124 129 134 135 138 144 146 147 154 156 159 167 168 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 230 231 234 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 3 16 18 20 23 25 27 28 29 30 42 45 49 54 58 61 64 65 74 81 84 85 88 90 91 97 99 100 111 113 123 124 129 134 135 138 144 146 147 154 156 159 167 168 178 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 230 231 234 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 3 16 18 20 23 25 27 28 29 30 42 43 45 54 58 61 64 65 74 81 84 85 88 90 91 97 99 100 111 113 123 124 129 134 135 138 144 146 147 154 156 159 167 168 178 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 230 231 234 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 3 16 18 23 25 27 28 29 30 42 43 45 54 58 61 64 65 74 81 84 85 88 89 90 91 97 99 100 111 113 123 124 129 134 135 138 144 146 147 154 156 159 167 168 178 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 230 231 234 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 3 16 18 25 27 28 29 30 42 43 45 54 58 61 64 65 74 81 84 85 88 89 90 91 97 99 100 111 113 123 124 129 134 135 138 144 146 147 154 156 159 167 168 178 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 230 231 234 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 3 16 18 25 27 28 29 30 42 43 45 54 56 58 61 64 65 74 81 85 88 89 90 91 97 99 100 111 113 123 124 129 134 135 138 144 146 147 154 156 159 167 168 178 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 230 231 234 239 241 245 247 248 251 252 260 263 265 267 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 3 16 18 25 27 28 29 30 42 43 45 54 56 58 61 64 65 74 81 85 88 89 91 97 99 100 111 113 123 124 129 134 135 138 144 146 147 154 156 159 167 168 178 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 230 231 234 239 241 245 247 248 251 252 260 263 265 267 268 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 3 16 18 25 27 28 29 30 42 43 45 54 56 58 61 64 65 74 81 85 88 89 91 97 99 100 111 113 123 129 134 135 138 144 146 147 154 156 159 167 168 178 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 230 231 234 239 241 243 245 247 248 251 252 260 263 265 267 268 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 3 16 18 25 27 28 29 30 42 43 45 54 56 58 61 64 65 74 81 85 88 89 91 97 99 100 111 113 123 129 134 135 144 146 147 154 156 159 167 168 172 178 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 230 231 234 239 241 243 245 247 248 251 252 260 263 265 267 268 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 3 16 18 25 27 28 29 30 42 43 45 54 56 58 61 64 65 74 81 85 88 89 91 97 99 100 111 113 123 129 134 135 144 146 147 149 154 159 167 168 172 178 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 230 231 234 239 241 243 245 247 248 251 252 260 263 265 267 268 270 271 273 274 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 3 16 18 27 28 29 30 42 43 45 54 56 58 61 64 65 74 81 85 88 89 91 97 99 100 111 113 123 129 134 135 144 146 147 149 154 159 167 168 172 178 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 230 231 234 239 241 243 245 247 248 251 252 260 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 3 16 18 28 29 30 42 43 45 54 56 58 61 64 65 74 81 85 88 89 91 97 99 100 111 113 123 129 134 135 144 146 147 149 154 159 167 168 172 178 180 182 183 189 191 192 197 198 200 207 208 211 213 215 219 223 224 227 230 231 234 239 241 243 245 247 248 251 252 260 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 3 16 18 28 29 30 42 43 45 54 56 58 61 64 65 74 81 85 88 89 91 97 99 100 111 113 123 129 134 135 144 146 147 149 154 159 168 172 178 180 182 183 189 191 192 195 197 198 200 207 208 211 213 215 219 223 224 227 230 231 234 239 241 243 245 247 248 251 252 260 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 3 16 18 29 30 42 43 45 54 56 58 61 64 65 74 81 85 88 89 91 97 99 100 111 113 123 129 134 135 144 146 147 149 154 159 168 170 172 178 180 182 183 189 191 192 195 197 198 200 207 208 211 213 215 219 223 224 227 230 231 234 239 241 243 245 247 248 251 252 260 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 3 16 18 29 30 42 43 45 54 56 58 61 64 65 74 81 85 88 89 91 97 99 100 111 113 123 129 134 135 144 146 147 149 154 159 170 172 178 180 182 183 189 191 192 195 197 198 200 207 208 211 213 215 219 223 224 227 230 231 234 239 241 243 245 247 248 251 252 260 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 2 3 16 18 29 30 42 43 45 54 56 58 61 64 65 74 81 85 88 89 91 97 99 100 111 113 123 129 134 135 144 146 147 149 154 159 170 172 178 180 182 183 189 191 192 195 198 200 207 208 211 213 215 219 223 224 227 230 231 234 239 241 243 245 247 248 251 252 260 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 2 3 16 18 29 30 42 43 45 54 56 58 61 62 64 65 74 81 85 88 89 91 97 99 100 111 113 123 129 134 135 144 146 147 149 154 159 170 172 178 180 182 183 189 191 192 195 198 200 207 208 211 215 219 223 224 227 230 231 234 239 241 243 245 247 248 251 252 260 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 2 3 16 18 29 30 42 43 45 54 56 58 61 62 64 65 74 81 85 88 89 91 92 97 99 100 111 113 123 129 134 135 144 146 147 149 154 159 170 172 178 180 182 183 191 192 195 198 200 207 208 211 215 219 223 224 227 230 231 234 239 241 243 245 247 248 251 252 260 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 2 3 16 18 29 30 42 43 45 54 56 58 61 62 64 65 74 81 85 88 89 91 92 97 99 100 111 113 123 129 134 135 144 146 147 149 154 159 170 172 178 180 182 183 191 192 195 198 200 202 207 208 211 215 219 223 224 227 230 234 239 241 243 245 247 248 251 252 260 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 2 3 16 18 29 30 42 43 45 54 56 58 59 61 62 64 65 74 81 85 88 89 91 92 97 99 100 111 113 123 129 134 135 144 146 147 149 154 170 172 178 180 182 183 191 192 195 198 200 202 207 208 211 215 219 223 224 227 230 234 239 241 243 245 247 248 251 252 260 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 2 3 16 18 29 30 42 43 45 54 56 58 59 61 62 64 65 74 81 85 88 89 91 92 97 99 100 111 113 123 129 134 135 144 146 147 148 149 154 170 172 178 180 182 183 191 192 195 198 200 202 207 208 211 215 219 223 224 227 230 234 239 241 243 245 248 251 252 260 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 2 3 16 18 29 30 34 42 43 45 54 56 58 59 61 62 64 65 74 81 85 88 89 91 92 97 99 100 111 113 123 129 134 135 144 147 148 149 154 170 172 178 180 182 183 191 192 195 198 200 202 207 208 211 215 219 223 224 227 230 234 239 241 243 245 248 251 252 260 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 2 3 16 18 29 30 34 42 43 45 54 56 58 59 61 62 64 65 74 81 85 88 89 91 92 97 99 100 111 113 123 129 133 134 135 144 147 148 149 154 170 172 178 180 182 183 191 192 195 198 200 202 207 208 211 215 219 223 224 227 230 234 239 241 243 245 251 252 260 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 2 3 16 18 29 30 34 42 43 45 54 56 58 59 61 62 64 65 74 81 85 88 89 91 92 97 99 100 111 113 123 129 133 134 135 144 147 148 149 154 170 172 178 180 182 183 191 192 195 198 200 202 207 208 211 215 219 223 224 227 230 234 239 241 243 245 246 252 260 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 346 348 349 a 2 3 16 18 29 30 34 42 43 45 54 56 58 59 61 62 64 65 74 81 85 88 89 91 92 97 99 100 111 113 123 129 133 134 135 144 147 148 149 154 170 172 178 180 182 183 191 192 195 198 200 202 207 208 211 215 219 223 224 227 230 234 239 241 243 245 246 260 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 345 346 348 349 a 2 3 16 18 29 30 34 42 43 45 54 56 58 59 61 62 64 65 74 81 85 88 89 91 92 97 99 100 111 113 123 129 133 134 135 144 147 148 149 154 170 172 178 182 183 191 192 195 198 200 202 207 208 211 215 219 223 224 227 230 234 239 241 243 245 246 260 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 30 33 34 42 43 45 54 56 58 59 61 62 64 65 74 81 85 88 89 91 92 97 99 100 111 113 123 129 133 134 135 147 148 149 154 170 172 178 182 183 191 192 195 198 200 202 207 208 211 215 219 223 224 227 230 234 239 241 243 245 246 260 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 30 33 34 42 43 45 54 56 58 59 61 62 64 65 74 81 85 88 89 91 92 97 99 100 111 113 123 129 133 134 135 147 148 149 154 170 172 178 182 183 191 192 195 198 200 202 207 208 211 215 219 223 224 227 230 234 239 241 243 245 246 253 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 30 33 34 42 43 45 52 54 56 58 59 61 62 64 65 74 81 85 88 89 91 92 97 99 100 111 113 123 129 133 134 135 147 148 149 170 172 178 182 183 191 192 195 198 200 202 207 208 211 215 219 223 224 227 230 234 239 241 243 245 246 253 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 30 33 34 42 43 45 48 52 54 56 58 59 61 62 64 65 74 81 85 88 89 91 92 97 99 100 111 113 123 129 133 134 135 147 148 149 170 172 178 182 183 191 192 195 198 200 202 207 208 211 215 219 223 227 230 234 239 241 243 245 246 253 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 30 33 34 42 43 45 48 52 54 56 58 59 61 62 64 65 74 81 85 88 89 91 92 97 99 100 111 113 123 125 129 133 134 135 147 148 149 170 172 178 182 183 191 192 195 200 202 207 208 211 215 219 223 227 230 234 239 241 243 245 246 253 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 30 33 34 42 43 45 48 52 54 56 58 59 61 62 65 74 81 85 88 89 91 92 97 99 100 111 113 123 125 126 129 133 134 135 147 148 149 170 172 178 182 183 191 192 195 200 202 207 208 211 215 219 223 227 230 234 239 241 243 245 246 253 263 265 267 268 270 271 273 274 275 276 281 283 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 30 33 34 42 43 45 48 52 54 56 58 59 61 62 65 74 81 85 88 89 91 92 97 99 100 111 113 118 123 125 126 129 133 134 135 147 148 149 170 172 178 182 183 191 192 195 200 202 207 208 211 215 219 223 227 230 234 239 241 243 245 246 253 263 265 268 270 271 273 274 275 276 281 283 286 287 288 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 30 33 34 42 43 45 48 52 54 56 58 59 61 62 65 74 81 85 88 89 91 92 97 99 100 111 113 118 123 125 126 129 133 134 135 147 148 149 170 172 178 182 183 191 192 195 200 202 207 208 211 215 219 223 227 230 234 239 241 243 245 246 253 263 265 268 270 271 273 275 276 281 283 286 287 288 291 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 33 34 42 43 45 48 52 54 56 58 59 61 62 65 74 81 85 88 89 91 92 97 99 100 111 113 118 123 125 126 129 133 134 135 147 148 149 170 172 178 182 183 191 192 195 196 200 202 207 208 211 215 219 223 227 230 234 239 241 243 245 246 253 263 265 268 270 271 273 275 276 281 283 286 287 288 291 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 33 34 42 43 45 48 52 54 56 58 59 61 62 65 74 81 85 88 89 91 92 97 99 100 111 113 118 123 125 126 129 133 134 135 147 148 149 170 172 178 182 183 191 192 195 196 200 202 207 208 211 215 219 223 227 230 234 239 243 245 246 253 263 265 268 270 271 273 275 276 281 283 286 287 288 291 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 328 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 33 34 42 43 45 48 52 54 56 58 59 61 62 65 74 81 85 88 89 91 92 97 99 100 111 113 118 123 125 126 129 133 134 135 147 148 149 170 172 178 182 183 191 195 196 200 202 207 208 211 215 219 221 223 227 230 234 239 243 245 246 253 263 265 268 270 271 273 275 276 281 283 286 287 288 291 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 328 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 33 34 42 43 45 48 52 54 56 58 59 61 62 65 74 81 85 88 89 91 92 97 99 100 111 113 118 123 125 126 129 133 134 135 147 148 149 170 172 178 182 183 191 195 196 200 202 207 208 211 215 217 219 221 223 227 230 234 239 243 245 246 253 263 265 268 270 271 273 275 276 283 286 287 288 291 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 328 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 33 34 42 43 45 48 52 54 56 58 59 61 62 65 71 74 81 85 88 89 91 92 97 99 100 111 113 118 123 125 126 129 133 134 135 147 148 149 170 172 178 182 183 191 195 196 200 202 207 208 211 215 217 219 221 223 227 230 234 239 243 245 246 253 263 265 268 270 271 273 275 276 286 287 288 291 294 295 298 299 300 304 306 307 310 314 317 318 321 322 323 325 326 328 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 33 34 43 45 48 52 54 56 58 59 61 62 65 71 74 81 85 88 89 91 92 97 99 100 111 113 118 123 125 126 129 133 134 135 147 148 149 170 172 178 182 183 191 195 196 200 202 207 208 211 215 217 219 221 223 227 230 234 239 243 245 246 253 263 265 268 270 271 273 275 276 286 287 288 291 294 295 298 299 300 304 306 307 310 314 317 318 319 321 322 323 325 326 328 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 33 34 43 48 52 54 56 58 59 61 62 65 71 74 81 85 88 89 91 92 97 99 100 111 113 118 123 125 126 129 133 134 135 147 148 149 170 172 178 182 183 191 195 196 200 202 207 208 211 215 217 219 221 223 227 230 234 239 243 245 246 253 263 265 268 270 271 273 275 276 286 287 288 291 294 295 298 299 300 304 305 306 307 310 314 317 318 319 321 322 323 325 326 328 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 31 33 34 43 48 52 54 56 58 59 61 62 65 71 74 81 85 88 89 91 92 97 99 100 111 113 118 123 125 126 129 133 134 135 147 148 149 170 172 178 182 183 191 195 196 200 202 207 208 211 215 217 219 221 223 227 230 234 239 243 245 246 253 263 265 268 270 271 273 275 276 287 288 291 294 295 298 299 300 304 305 306 307 310 314 317 318 319 321 322 323 325 326 328 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 31 33 34 43 48 52 54 56 58 59 61 62 65 71 74 81 85 88 89 91 92 97 99 100 111 113 118 123 125 126 129 133 135 147 148 149 170 172 178 182 183 190 191 195 196 200 202 207 208 211 215 217 219 221 223 227 230 234 239 243 245 246 253 263 265 268 270 271 273 275 276 287 288 291 294 295 298 299 300 304 305 306 307 310 314 317 318 319 321 322 323 325 326 328 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 31 33 34 43 48 52 54 56 58 59 61 62 65 71 74 81 85 88 89 91 92 97 99 100 111 113 118 123 125 126 129 133 135 147 148 149 170 172 173 178 182 183 190 191 195 196 200 202 207 208 211 215 217 219 221 223 227 230 234 239 243 245 246 253 263 265 268 270 271 273 275 276 288 291 294 295 298 299 300 304 305 306 307 310 314 317 318 319 321 322 323 325 326 328 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 31 33 34 35 43 48 52 56 58 59 61 62 65 71 74 81 85 88 89 91 92 97 99 100 111 113 118 123 125 126 129 133 135 147 148 149 170 172 173 178 182 183 190 191 195 196 200 202 207 208 211 215 217 219 221 223 227 230 234 239 243 245 246 253 263 265 268 270 271 273 275 276 288 291 294 295 298 299 300 304 305 306 307 310 314 317 318 319 321 322 323 325 326 328 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 31 33 34 35 43 48 52 56 58 59 61 62 65 71 74 81 85 88 89 91 92 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 170 172 173 178 182 183 190 191 195 196 200 202 207 208 211 215 217 219 221 223 227 230 234 239 243 245 246 253 263 265 268 270 271 273 275 276 288 291 294 295 298 299 300 304 305 306 307 310 314 317 318 319 321 322 323 325 326 328 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 31 33 34 35 43 48 52 56 58 59 61 62 65 71 74 81 85 88 89 91 92 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 170 172 173 178 182 183 188 190 191 195 196 200 202 207 208 211 215 217 219 221 223 227 230 234 239 243 245 246 253 263 265 268 271 273 275 276 288 291 294 295 298 299 300 304 305 306 307 310 314 317 318 319 321 322 323 325 326 328 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 18 29 31 33 34 35 43 48 52 56 58 59 61 62 65 71 74 81 85 88 89 91 92 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 150 170 172 173 178 182 183 188 190 191 195 196 200 202 207 208 211 215 217 219 221 223 227 230 234 239 243 245 246 253 263 265 268 271 273 275 276 288 291 294 295 298 300 304 305 306 307 310 314 317 318 319 321 322 323 325 326 328 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 71 74 81 85 88 89 91 92 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 150 170 172 173 178 182 183 188 190 191 195 196 200 202 207 208 211 215 217 219 221 223 227 230 234 239 243 245 246 253 263 265 268 271 273 275 276 288 291 294 295 298 300 304 305 306 307 310 314 317 318 319 321 322 323 325 326 328 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 71 74 85 88 89 91 92 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 150 164 170 172 173 178 182 183 188 190 191 195 196 200 202 207 208 211 215 217 219 221 223 227 230 234 239 243 245 246 253 263 265 268 271 273 275 276 288 291 294 295 298 300 304 305 306 307 310 314 317 318 319 321 322 323 325 326 328 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 71 74 85 88 89 91 92 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 150 164 170 172 173 178 182 183 188 190 191 195 196 200 202 207 208 211 215 217 219 221 223 227 230 234 239 243 245 246 253 263 265 266 268 271 273 275 288 291 294 295 298 300 304 305 306 307 310 314 317 318 319 321 322 323 325 326 328 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 71 74 85 88 89 91 92 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 150 164 170 172 173 178 182 183 188 190 191 195 196 200 201 202 207 208 211 215 217 219 221 223 227 230 234 239 243 245 246 253 263 265 266 268 271 273 275 288 291 294 295 298 304 305 306 307 310 314 317 318 319 321 322 323 325 326 328 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 71 74 85 88 89 91 92 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 150 164 170 172 173 178 182 183 188 190 191 195 196 200 201 202 207 208 211 215 217 219 221 223 227 230 234 239 243 245 246 253 265 266 268 271 273 275 288 291 294 295 298 304 305 306 307 310 314 317 318 319 321 322 323 325 326 328 329 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 71 74 85 88 89 91 92 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 150 164 170 172 173 178 182 183 188 190 191 195 196 200 201 202 207 208 211 215 217 219 221 223 227 230 234 239 242 243 245 246 253 265 266 268 271 273 275 288 291 294 295 298 304 305 306 310 314 317 318 319 321 322 323 325 326 328 329 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 71 74 85 88 89 91 92 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 150 164 170 172 173 178 182 183 188 190 191 195 196 200 201 202 207 208 211 215 217 219 221 223 227 230 234 238 239 242 243 245 246 253 265 266 268 271 273 275 288 291 294 295 298 304 305 306 310 317 318 319 321 322 323 325 326 328 329 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 71 74 85 89 91 92 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 150 164 170 172 173 178 182 183 188 190 191 195 196 200 201 202 207 208 211 215 217 219 221 223 227 230 234 238 239 242 243 245 246 253 265 266 268 271 273 275 288 291 294 295 298 304 305 306 310 316 317 318 319 321 322 323 325 326 328 329 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 9 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 71 74 85 89 91 92 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 150 164 170 172 173 178 182 183 188 190 191 195 196 200 201 202 207 208 211 215 217 219 221 223 227 230 234 238 239 242 243 245 246 253 265 266 268 271 273 275 288 291 294 295 298 304 305 306 310 316 317 318 319 321 323 325 326 328 329 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 9 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 71 74 85 89 91 92 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 150 164 170 172 173 178 183 188 190 191 195 196 200 201 202 207 208 211 215 217 219 221 223 227 230 234 238 239 242 243 245 246 253 265 266 268 271 273 275 284 288 291 294 295 298 304 305 306 310 316 317 318 319 321 323 325 326 328 329 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 9 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 68 71 74 85 89 91 92 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 150 164 170 172 173 178 183 188 190 191 195 196 200 201 202 207 208 215 217 219 221 223 227 230 234 238 239 242 243 245 246 253 265 266 268 271 273 275 284 288 291 294 295 298 304 305 306 310 316 317 318 319 321 323 325 326 328 329 330 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 9 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 68 71 74 85 89 91 92 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 150 164 170 172 173 178 183 188 190 191 195 196 200 201 202 207 208 215 217 219 221 223 227 230 234 238 239 242 243 245 246 253 265 266 268 271 273 275 284 288 291 294 295 298 304 305 306 310 315 316 317 318 319 321 323 325 326 328 329 331 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 9 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 68 71 74 85 89 91 92 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 150 164 170 172 173 178 183 188 190 191 195 196 200 201 202 207 208 215 217 219 221 223 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 284 288 291 294 295 298 304 305 306 310 315 316 317 318 319 321 323 325 326 328 329 333 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 9 15 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 68 71 74 85 89 91 92 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 150 164 170 172 173 178 183 188 190 191 195 196 200 201 202 207 208 215 217 219 221 223 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 284 288 291 294 295 298 304 305 306 310 315 316 317 318 319 321 323 325 326 328 329 336 338 339 340 341 342 344 345 346 348 349 351 a 2 3 9 15 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 68 71 74 85 89 91 92 94 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 150 164 170 172 173 178 183 188 190 191 195 196 200 201 202 207 208 215 217 219 221 223 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 284 288 291 294 295 298 304 305 306 310 315 316 317 318 319 321 323 325 326 328 329 336 338 339 340 341 344 345 346 348 349 351 a 2 3 9 15 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 68 71 74 85 89 91 92 94 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 150 164 170 172 173 178 183 188 190 191 195 196 200 201 202 207 208 215 217 218 219 221 223 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 284 288 291 294 295 298 304 305 306 310 315 316 317 318 319 321 323 325 326 328 329 336 338 339 340 341 344 345 348 349 351 a 2 3 9 15 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 68 71 74 85 89 91 92 94 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 150 163 164 170 172 173 178 188 190 191 195 196 200 201 202 207 208 215 217 218 219 221 223 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 284 288 291 294 295 298 304 305 306 310 315 316 317 318 319 321 323 325 326 328 329 336 338 339 340 341 344 345 348 349 351 a 2 3 9 15 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 68 71 74 85 89 91 92 94 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 150 163 164 170 172 173 178 188 190 191 195 196 200 201 202 208 215 217 218 219 221 223 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 280 284 288 291 294 295 298 304 305 306 310 315 316 317 318 319 321 323 325 326 328 329 336 338 339 340 341 344 345 348 349 351 a 2 3 9 15 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 68 71 74 80 85 89 91 92 94 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 150 163 164 170 172 173 178 188 190 191 195 196 200 201 202 208 215 217 218 219 221 223 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 280 284 288 291 294 295 298 305 306 310 315 316 317 318 319 321 323 325 326 328 329 336 338 339 340 341 344 345 348 349 351 a 2 3 9 15 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 68 71 74 80 85 89 91 92 94 97 100 111 113 118 121 123 125 126 129 133 135 147 148 149 150 163 164 170 172 173 178 188 190 191 195 196 200 201 202 208 215 217 218 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 280 284 288 291 294 295 298 305 306 310 315 316 317 318 319 321 323 325 326 328 329 336 338 339 340 341 343 344 345 348 349 351 a 2 3 9 15 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 68 71 74 80 85 89 91 92 94 97 100 111 113 118 121 123 125 126 129 133 135 143 147 148 149 150 163 164 170 172 173 178 188 190 191 195 196 200 201 202 208 215 217 218 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 280 284 288 291 294 295 298 305 306 310 315 316 317 318 319 321 325 326 328 329 336 338 339 340 341 343 344 345 348 349 351 a 2 3 9 15 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 68 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 133 135 143 147 148 149 150 163 164 170 172 173 178 188 190 191 195 196 200 201 202 208 215 217 218 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 280 284 288 291 294 295 298 305 306 310 315 316 317 318 319 321 325 326 328 329 336 338 339 341 343 344 345 348 349 351 a 2 3 9 15 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 68 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 133 135 143 147 148 149 150 163 164 170 172 173 178 188 190 191 195 196 200 201 202 208 215 217 218 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 326 328 329 336 338 339 341 343 344 345 348 349 351 a 2 3 9 15 16 17 18 29 31 33 34 35 43 48 52 56 58 59 62 65 68 71 74 80 85 89 91 92 94 97 100 111 113 116 118 121 123 125 126 129 133 135 143 147 148 149 150 163 164 170 172 173 178 188 190 191 195 196 200 201 202 208 215 216 217 218 219 221 227 230 234 238 239 242 243 245 246 249 253 265 266 268 271 273 275 278 280 284 288 291 295 298 305 306 310 315 316 317 318 319 321 325 328 329 336 338 339 341 343 344 345 348 349 351 Command being timed: "/solvers/driver/run.py --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance027_graph003.col /benchmark/random_instance/random_instance027_graph003_01.dat" User time (seconds): 0.18 System time (seconds): 0.00 Percent of CPU this job got: 97% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.19 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): 20804 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 12636 Voluntary context switches: 25 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: [Mon Sep 25 12:30:38 2023]