#BEGIN: [Fri Sep 8 00:35:33 2023] #HOST: s05 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-ai-planning2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance029_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance029_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_instance029_graph005.col /benchmark/random_instance/random_instance029_graph005_01.dat s 21 370 185 213 214 266 252 285 25 179 330 263 320 156 352 308 218 172 121 360 139 248 78 132 233 302 70 129 99 326 137 318 59 301 124 43 236 127 221 77 90 175 227 323 27 93 42 103 91 169 55 201 223 337 170 17 122 112 296 356 230 261 141 107 240 80 52 354 11 174 102 163 288 351 269 366 270 289 239 231 143 331 234 19 279 118 50 111 168 162 125 189 374 338 319 300 20 340 262 307 355 341 255 7 198 342 253 182 272 335 181 215 192 10 119 209 t 62 74 45 220 146 255 193 357 30 294 54 50 333 371 362 151 240 263 316 244 166 219 174 352 217 55 117 163 340 191 356 94 11 342 353 78 128 160 223 19 288 249 301 214 320 103 345 34 364 169 202 1 246 26 98 375 248 104 79 317 314 77 56 262 68 63 107 347 83 53 326 84 59 372 112 329 234 73 221 76 106 187 172 284 198 136 296 171 178 143 231 134 269 243 129 324 199 233 16 25 216 302 12 254 334 156 15 211 20 354 358 114 95 118 180 258 a YES a 7 10 11 17 19 20 21 25 27 42 43 50 52 55 59 70 77 78 80 90 91 93 99 102 103 107 111 112 118 119 121 122 124 125 127 129 132 137 139 141 143 156 162 163 168 169 170 172 174 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 262 263 266 269 270 272 279 285 288 289 296 300 301 302 307 308 318 319 320 323 326 330 331 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 7 10 11 19 20 21 25 27 30 42 43 50 52 55 59 70 77 78 80 90 91 93 99 102 103 107 111 112 118 119 121 122 124 125 127 129 132 137 139 141 143 156 162 163 168 169 170 172 174 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 262 263 266 269 270 272 279 285 288 289 296 300 301 302 307 308 318 319 320 323 326 330 331 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 7 10 11 19 20 25 27 30 42 43 50 52 55 59 70 77 78 80 90 91 93 99 102 103 107 111 112 118 119 121 122 124 125 127 129 132 137 139 141 143 156 160 162 163 168 169 170 172 174 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 262 263 266 269 270 272 279 285 288 289 296 300 301 302 307 308 318 319 320 323 326 330 331 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 7 10 11 19 20 25 27 30 43 50 52 55 59 70 77 78 80 90 91 93 99 102 103 107 111 112 118 119 121 122 124 125 127 129 132 136 137 139 141 143 156 160 162 163 168 169 170 172 174 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 262 263 266 269 270 272 279 285 288 289 296 300 301 302 307 308 318 319 320 323 326 330 331 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 7 10 11 19 20 25 27 30 43 50 52 55 59 70 77 78 80 90 93 99 102 103 107 111 112 118 119 121 122 124 125 127 129 132 136 137 139 141 143 156 160 162 163 168 169 170 172 174 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 248 252 253 255 261 262 263 266 269 270 272 279 285 288 289 296 300 301 302 307 308 318 319 320 323 324 326 330 331 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 7 10 11 19 20 25 27 30 43 50 52 55 59 70 77 78 80 90 93 102 103 107 111 112 118 119 121 122 124 125 127 129 132 136 137 139 141 143 156 160 162 163 168 169 170 172 174 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 244 248 252 253 255 261 262 263 266 269 270 272 279 285 288 289 296 300 301 302 307 308 318 319 320 323 324 326 330 331 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 10 11 19 20 25 27 30 43 50 52 55 59 70 77 78 80 90 93 102 103 107 111 112 118 119 121 122 124 125 127 129 132 136 137 139 141 143 156 160 162 163 168 169 170 172 174 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 244 248 252 253 255 261 262 263 266 269 270 272 279 285 288 289 296 300 301 302 307 308 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 11 19 20 25 27 30 43 50 52 55 59 70 77 78 80 90 93 102 103 107 111 112 118 119 121 122 124 125 127 129 132 136 137 139 141 143 156 160 162 163 168 169 170 172 174 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 244 248 252 253 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 11 19 20 25 27 30 43 50 52 55 59 70 74 77 78 80 90 93 102 103 107 111 112 118 119 122 124 125 127 129 132 136 137 139 141 143 156 160 162 163 168 169 170 172 174 175 179 181 182 185 189 192 198 201 209 213 214 215 218 221 223 227 230 231 233 234 236 239 240 244 248 252 253 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 11 19 20 25 27 30 43 50 52 55 59 70 74 77 78 80 90 93 102 103 107 111 112 118 119 122 125 127 129 132 136 137 139 141 143 156 160 162 163 168 169 170 172 174 175 179 181 182 185 189 192 198 201 209 213 214 215 218 219 221 223 227 230 231 233 234 236 239 240 244 248 252 253 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 11 19 20 25 27 30 43 50 52 55 59 70 74 77 78 80 90 93 102 103 107 111 112 118 119 122 125 129 132 136 137 139 141 143 156 160 162 163 166 168 169 170 172 174 175 179 181 182 185 189 192 198 201 209 213 214 215 218 219 221 223 227 230 231 233 234 236 239 240 244 248 252 253 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 11 19 20 25 27 30 43 50 52 55 59 70 73 74 77 78 80 90 93 102 103 107 111 112 118 119 122 125 129 132 136 137 139 143 156 160 162 163 166 168 169 170 172 174 175 179 181 182 185 189 192 198 201 209 213 214 215 218 219 221 223 227 230 231 233 234 236 239 240 244 248 252 253 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 11 19 20 25 27 30 43 50 52 55 59 70 73 74 77 78 80 90 93 102 103 107 111 112 118 119 122 125 129 132 136 137 139 143 156 160 163 166 168 169 170 172 174 175 179 180 181 182 185 189 192 198 201 209 213 214 215 218 219 221 223 227 230 231 233 234 236 239 240 244 248 252 253 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 11 19 20 25 27 30 43 50 52 55 59 70 73 74 77 78 80 90 93 102 103 107 111 112 118 119 122 125 129 132 136 137 139 143 156 160 163 166 168 169 172 174 175 179 180 181 182 185 189 191 192 198 201 209 213 214 215 218 219 221 223 227 230 231 233 234 236 239 240 244 248 252 253 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 11 19 20 25 27 30 43 50 52 55 59 70 73 74 77 78 80 90 93 102 103 107 111 112 118 119 122 125 129 132 136 137 139 143 156 160 163 166 168 169 172 174 179 180 181 182 185 189 191 192 198 201 209 213 214 215 218 219 221 223 227 230 231 233 234 236 239 240 244 248 252 253 254 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 11 19 20 25 27 30 43 50 55 59 70 73 74 77 78 79 80 90 93 102 103 107 111 112 118 119 122 125 129 132 136 137 139 143 156 160 163 166 168 169 172 174 179 180 181 182 185 189 191 192 198 201 209 213 214 215 218 219 221 223 227 230 231 233 234 236 239 240 244 248 252 253 254 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 11 19 20 25 27 30 43 50 55 59 70 73 74 77 78 79 80 90 93 102 103 107 111 112 118 119 122 125 129 132 136 137 139 143 156 160 163 166 168 169 172 174 180 181 182 185 189 191 192 198 201 209 213 214 215 216 218 219 221 223 227 230 231 233 234 236 239 240 244 248 252 253 254 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 11 19 20 25 27 30 43 50 55 59 70 73 74 77 78 79 80 83 90 93 102 103 107 111 112 118 119 122 125 129 132 136 137 139 143 156 160 163 166 168 169 172 174 180 181 185 189 191 192 198 201 209 213 214 215 216 218 219 221 223 227 230 231 233 234 236 239 240 244 248 252 253 254 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 11 19 20 25 27 30 43 50 55 59 70 73 74 77 78 79 80 83 90 93 102 103 107 111 112 118 119 122 125 129 132 136 137 139 143 151 156 160 163 166 168 169 172 174 180 181 185 189 191 192 198 209 213 214 215 216 218 219 221 223 227 230 231 233 234 236 239 240 244 248 252 253 254 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 11 19 20 25 27 30 43 50 55 59 70 73 74 77 78 79 80 83 90 93 102 103 107 111 112 118 119 122 125 129 132 136 137 139 143 151 156 160 163 166 168 169 172 174 180 181 185 189 191 192 198 209 214 215 216 218 219 221 223 227 230 231 233 234 236 239 240 244 248 252 253 254 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 314 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 11 19 20 25 27 30 43 50 55 59 70 73 74 77 78 79 80 83 90 93 94 102 103 107 111 112 118 119 122 125 129 132 136 137 139 143 151 156 160 163 166 168 169 172 174 180 181 185 189 191 192 198 209 214 216 218 219 221 223 227 230 231 233 234 236 239 240 244 248 252 253 254 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 314 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 374 a 11 19 20 25 27 30 43 50 55 59 70 73 74 77 78 79 80 83 90 93 94 102 103 107 111 112 118 119 122 125 129 132 136 137 139 143 151 156 160 163 166 168 169 172 174 180 181 185 189 191 192 198 209 214 216 218 219 221 223 227 231 233 234 236 239 240 244 248 252 253 254 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 314 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 372 374 a 11 19 20 25 30 43 50 55 59 70 73 74 77 78 79 80 83 90 93 94 102 103 107 111 112 114 118 119 122 125 129 132 136 137 139 143 151 156 160 163 166 168 169 172 174 180 181 185 189 191 192 198 209 214 216 218 219 221 223 227 231 233 234 236 239 240 244 248 252 253 254 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 314 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 372 374 a 11 19 20 25 30 43 50 53 55 59 70 73 74 77 78 79 80 83 90 93 94 102 103 107 111 112 114 118 119 122 125 129 132 136 137 139 143 151 156 160 163 166 168 169 172 174 180 181 185 189 191 192 198 209 214 216 218 219 221 223 227 231 233 234 239 240 244 248 252 253 254 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 314 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 372 374 a 11 19 20 25 30 50 53 55 59 70 73 74 77 78 79 80 83 90 93 94 102 103 107 111 112 114 118 119 122 125 129 132 136 137 139 143 151 156 160 163 166 168 169 172 174 180 181 185 189 191 192 198 209 214 216 218 219 220 221 223 227 231 233 234 239 240 244 248 252 253 254 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 314 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 372 374 a 11 19 20 25 30 50 53 55 59 70 73 74 77 78 79 80 83 90 93 94 103 107 111 112 114 118 119 122 125 129 132 136 137 139 143 151 156 160 163 166 168 169 172 174 180 181 185 189 191 192 198 209 214 216 218 219 220 221 223 227 231 233 234 239 240 244 248 252 253 254 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 314 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 371 372 374 a 11 19 20 25 30 50 53 55 59 68 70 73 74 77 78 79 80 83 90 93 94 103 107 111 112 114 118 119 122 125 129 132 136 139 143 151 156 160 163 166 168 169 172 174 180 181 185 189 191 192 198 209 214 216 218 219 220 221 223 227 231 233 234 239 240 244 248 252 253 254 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 314 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 371 372 374 a 11 19 20 25 30 50 53 55 59 68 70 73 74 77 78 79 80 83 90 93 94 103 107 111 112 114 118 119 122 125 129 132 136 139 143 151 156 160 163 166 168 169 172 174 180 181 189 191 192 198 209 211 214 216 218 219 220 221 223 227 231 233 234 239 240 244 248 252 253 254 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 314 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 371 372 374 a 11 19 20 25 26 30 50 53 55 59 68 70 73 74 77 78 79 80 83 90 93 94 103 107 111 112 114 118 119 122 125 129 132 136 139 143 151 156 160 163 166 168 169 172 174 180 181 189 191 192 198 209 211 214 216 218 219 220 221 223 227 231 233 234 240 244 248 252 253 254 255 261 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 314 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 371 372 374 a 11 19 20 25 26 30 50 53 55 56 59 68 70 73 74 77 78 79 80 83 90 93 94 103 107 111 112 114 118 119 122 125 129 132 136 139 143 151 156 160 163 166 168 169 172 174 180 181 189 191 192 198 209 211 214 216 218 219 220 221 223 227 231 233 234 240 244 248 252 253 254 255 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 314 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 371 372 374 a 11 19 20 25 26 30 50 53 55 56 59 62 68 73 74 77 78 79 80 83 90 93 94 103 107 111 112 114 118 119 122 125 129 132 136 139 143 151 156 160 163 166 168 169 172 174 180 181 189 191 192 198 209 211 214 216 218 219 220 221 223 227 231 233 234 240 244 248 252 253 254 255 262 263 266 269 270 272 279 285 288 289 294 296 300 301 302 307 308 314 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 371 372 374 a 11 19 20 25 26 30 50 53 55 56 59 62 68 73 74 77 78 79 80 83 90 93 94 95 103 107 111 112 114 118 119 122 125 129 132 136 139 143 151 156 160 163 166 168 169 172 174 180 181 189 191 192 198 209 211 214 216 218 219 220 221 223 227 231 233 234 240 244 248 252 253 254 255 262 263 269 270 272 279 285 288 289 294 296 300 301 302 307 308 314 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 371 372 374 a 11 19 20 25 26 30 50 53 55 56 59 62 68 73 74 77 78 79 83 90 93 94 95 103 107 111 112 114 117 118 119 122 125 129 132 136 139 143 151 156 160 163 166 168 169 172 174 180 181 189 191 192 198 209 211 214 216 218 219 220 221 223 227 231 233 234 240 244 248 252 253 254 255 262 263 269 270 272 279 285 288 289 294 296 300 301 302 307 308 314 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 371 372 374 a 11 19 20 25 26 30 50 53 55 56 59 62 68 73 74 77 78 79 83 90 93 94 95 103 107 111 112 114 117 118 119 122 125 129 132 136 139 143 151 156 160 163 166 168 169 172 174 180 181 189 191 192 198 209 211 214 216 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 254 255 262 263 269 270 279 285 288 289 294 296 300 301 302 307 308 314 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 371 372 374 a 11 19 20 25 26 30 34 50 53 55 56 59 62 68 73 74 77 78 79 83 90 93 94 95 103 107 111 112 114 117 118 119 122 125 129 132 136 139 143 151 156 160 163 166 168 169 172 174 180 181 189 191 192 198 209 211 214 216 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 254 255 262 263 269 270 279 285 288 294 296 300 301 302 307 308 314 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 371 372 374 a 11 19 20 25 26 30 34 50 53 55 56 59 62 68 73 74 77 78 79 83 90 93 94 95 103 107 111 112 114 117 118 119 122 125 129 132 136 139 143 151 156 160 163 166 168 169 172 174 180 181 189 191 192 198 209 211 214 216 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 254 255 258 262 263 269 270 285 288 294 296 300 301 302 307 308 314 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 351 352 354 355 356 360 366 370 371 372 374 a 11 19 20 25 26 30 34 50 53 55 56 59 62 68 73 74 77 78 79 83 90 93 94 95 103 107 111 112 114 117 118 119 122 125 129 132 136 139 143 151 156 160 163 166 168 169 172 174 180 181 189 191 192 198 209 211 214 216 218 219 220 221 223 227 231 233 234 240 244 246 248 252 253 254 255 258 262 263 269 270 285 288 294 296 301 302 307 308 314 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 347 351 352 354 355 356 360 366 370 371 372 374 a 11 19 20 25 26 30 34 50 53 55 56 59 62 68 73 74 77 78 79 83 93 94 95 103 107 111 112 114 117 118 119 122 125 129 132 136 139 143 151 156 160 163 166 168 169 172 174 180 181 189 191 192 198 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 285 288 294 296 301 302 307 308 314 318 319 320 323 324 326 330 331 334 335 337 338 340 341 342 347 351 352 354 355 356 360 366 370 371 372 374 a 11 19 20 25 26 30 34 50 53 55 56 59 62 68 73 74 77 78 79 83 93 94 95 103 107 111 112 114 117 118 119 122 125 128 129 132 136 139 143 151 156 160 163 166 168 169 172 174 180 181 189 191 192 198 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 285 288 294 296 301 302 307 308 314 319 320 323 324 326 330 331 334 335 337 338 340 341 342 347 351 352 354 355 356 360 366 370 371 372 374 a 11 19 20 25 26 30 34 50 53 55 56 59 62 63 68 73 74 77 78 79 83 93 94 95 103 107 111 112 114 117 118 119 122 125 128 129 132 136 139 143 151 156 160 163 166 168 169 172 174 180 181 189 191 192 198 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 285 288 294 296 301 302 307 308 314 320 323 324 326 330 331 334 335 337 338 340 341 342 347 351 352 354 355 356 360 366 370 371 372 374 a 11 19 20 25 26 30 34 50 53 55 56 59 62 63 68 73 74 77 78 79 83 84 93 94 95 103 107 111 112 114 117 118 119 122 125 128 129 132 136 139 143 151 156 160 163 166 168 169 172 174 180 181 189 191 192 198 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 285 288 294 296 301 302 307 308 314 320 324 326 330 331 334 335 337 338 340 341 342 347 351 352 354 355 356 360 366 370 371 372 374 a 11 19 20 25 26 30 34 50 53 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 103 107 111 112 114 117 118 119 122 125 128 129 132 136 139 143 151 156 160 163 166 168 169 172 174 180 181 189 191 192 198 199 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 285 288 294 296 301 302 307 308 314 320 324 326 330 331 334 335 337 338 340 341 342 347 351 352 354 355 356 360 366 370 371 372 374 a 11 19 20 25 26 30 34 50 53 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 103 107 112 114 117 118 119 122 125 128 129 132 136 139 143 151 156 160 163 166 168 169 172 174 180 181 189 191 192 198 199 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 285 288 294 296 301 302 307 308 314 320 324 326 329 330 331 334 335 337 338 340 341 342 347 351 352 354 355 356 360 366 370 371 372 374 a 11 19 20 25 26 30 34 50 53 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 103 107 112 114 117 118 119 122 125 128 129 132 136 139 143 151 156 160 163 166 168 169 172 174 180 181 189 191 198 199 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 285 288 294 296 301 302 307 308 314 320 324 326 329 330 331 334 335 337 338 340 341 342 347 351 352 354 355 356 360 362 366 370 371 372 374 a 11 19 20 25 26 30 34 50 53 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 103 107 112 114 117 118 119 122 125 128 129 132 136 139 143 151 156 160 163 166 168 169 172 174 180 181 187 189 191 198 199 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 285 288 294 296 301 302 307 308 314 320 324 326 329 330 331 334 335 338 340 341 342 347 351 352 354 355 356 360 362 366 370 371 372 374 a 11 19 20 25 26 30 34 50 53 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 103 107 112 114 117 118 119 122 125 128 129 136 139 143 151 156 160 163 166 168 169 172 174 180 181 187 189 191 198 199 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 285 288 294 296 301 302 307 308 314 320 324 326 329 330 331 334 335 338 340 341 342 347 351 352 353 354 355 356 360 362 366 370 371 372 374 a 11 15 19 20 25 26 30 34 50 53 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 103 107 112 114 117 118 119 122 125 128 129 136 139 143 151 156 160 163 166 169 172 174 180 181 187 189 191 198 199 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 285 288 294 296 301 302 307 308 314 320 324 326 329 330 331 334 335 338 340 341 342 347 351 352 353 354 355 356 360 362 366 370 371 372 374 a 11 15 19 20 25 26 30 34 50 53 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 103 107 112 114 117 118 119 122 125 128 129 136 139 143 151 156 160 163 166 169 172 174 180 181 187 189 191 198 199 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 285 288 294 296 301 302 308 314 320 324 326 329 330 331 334 335 338 340 341 342 347 351 352 353 354 355 356 360 362 366 370 371 372 374 375 a 11 15 19 20 25 26 30 34 50 53 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 103 107 112 114 117 118 119 122 125 128 129 136 139 143 151 156 160 163 166 169 172 174 180 181 187 189 191 198 199 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 285 288 294 296 301 302 308 314 320 324 326 329 330 331 333 334 338 340 341 342 347 351 352 353 354 355 356 360 362 366 370 371 372 374 375 a 11 15 19 20 25 26 30 34 50 53 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 103 107 112 114 117 118 119 122 125 128 129 136 139 143 151 156 160 163 166 169 172 174 180 181 187 189 191 198 199 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 285 288 294 296 301 302 308 314 316 320 324 326 329 330 331 333 334 340 341 342 347 351 352 353 354 355 356 360 362 366 370 371 372 374 375 a 1 11 15 19 20 25 26 30 34 50 53 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 103 107 112 114 117 118 119 122 125 128 129 136 139 143 151 156 160 163 166 169 172 174 180 181 187 189 191 198 199 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 285 288 294 296 301 302 308 314 316 320 324 326 329 330 331 333 334 340 342 347 351 352 353 354 355 356 360 362 366 370 371 372 374 375 a 1 11 15 19 20 25 26 30 34 50 53 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 103 107 112 114 117 118 122 125 128 129 136 139 143 151 156 160 163 166 169 172 174 180 181 187 189 191 198 199 202 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 285 288 294 296 301 302 308 314 316 320 324 326 329 330 331 333 334 340 342 347 351 352 353 354 355 356 360 362 366 370 371 372 374 375 a 1 11 15 19 20 25 26 30 34 50 53 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 103 107 112 114 117 118 125 128 129 136 139 143 151 156 160 163 166 169 172 174 180 181 187 189 191 198 199 202 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 284 285 288 294 296 301 302 308 314 316 320 324 326 329 330 331 333 334 340 342 347 351 352 353 354 355 356 360 362 366 370 371 372 374 375 a 1 11 15 19 20 25 26 30 34 50 53 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 103 107 112 114 117 118 125 128 129 136 139 143 151 156 160 163 166 169 172 174 180 181 187 189 191 198 199 202 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 284 285 288 294 296 301 302 308 314 316 320 324 326 329 330 331 333 334 340 342 347 352 353 354 355 356 357 360 362 366 370 371 372 374 375 a 1 11 15 19 20 25 26 30 34 50 53 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 103 104 107 112 114 117 118 125 128 129 136 139 143 151 156 160 163 166 169 172 174 180 181 187 189 191 198 199 202 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 284 285 288 294 296 301 302 308 314 316 320 324 326 329 330 331 333 334 340 342 347 352 353 354 355 356 357 362 366 370 371 372 374 375 a 1 11 15 19 20 25 26 30 34 50 53 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 98 103 104 107 112 114 117 118 125 128 129 136 139 143 151 156 160 163 166 169 172 174 180 181 187 189 191 198 199 202 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 284 285 288 294 296 301 302 308 314 316 320 324 326 329 330 331 333 334 340 342 347 352 353 354 355 356 357 362 370 371 372 374 375 a 1 11 15 19 20 25 26 30 34 50 53 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 98 103 104 107 112 114 117 118 128 129 136 139 143 151 156 160 163 166 169 172 174 180 181 187 189 191 198 199 202 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 284 285 288 294 296 301 302 308 314 316 320 324 326 329 330 331 333 334 340 342 345 347 352 353 354 355 356 357 362 370 371 372 374 375 a 1 11 15 19 20 25 26 30 34 50 53 54 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 98 103 104 107 112 114 117 118 128 129 136 139 143 151 156 160 163 166 169 172 174 180 181 187 189 191 198 199 202 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 284 285 288 294 296 301 302 308 314 316 320 324 326 329 330 331 333 334 340 342 345 347 352 353 354 355 356 357 362 371 372 374 375 a 1 11 15 19 20 25 26 30 34 50 53 54 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 98 103 104 107 112 114 117 118 128 129 136 143 151 156 160 163 166 169 171 172 174 180 181 187 189 191 198 199 202 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 284 285 288 294 296 301 302 308 314 316 320 324 326 329 330 331 333 334 340 342 345 347 352 353 354 355 356 357 362 371 372 374 375 a 1 11 15 19 20 25 26 30 34 50 53 54 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 98 103 104 107 112 114 117 118 128 129 136 143 151 156 160 163 166 169 171 172 174 178 180 181 187 191 198 199 202 209 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 284 285 288 294 296 301 302 308 314 316 320 324 326 329 330 331 333 334 340 342 345 347 352 353 354 355 356 357 362 371 372 374 375 a 1 11 15 19 20 25 26 30 34 50 53 54 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 98 103 104 107 112 114 117 118 128 129 136 143 146 151 156 160 163 166 169 171 172 174 178 180 181 187 191 198 199 202 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 284 285 288 294 296 301 302 308 314 316 320 324 326 329 330 331 333 334 340 342 345 347 352 353 354 355 356 357 362 371 372 374 375 a 1 11 15 19 20 25 26 30 34 50 53 54 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 98 103 104 107 112 114 117 118 128 129 136 143 146 151 156 160 163 166 169 171 172 174 178 180 181 187 191 198 199 202 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 284 285 288 294 296 301 302 308 314 316 320 324 326 329 330 331 333 334 340 342 345 347 352 353 354 356 357 358 362 371 372 374 375 a 1 11 15 19 20 25 26 30 34 50 53 54 55 56 59 62 63 68 73 74 77 78 79 83 84 94 95 98 103 104 107 112 114 117 118 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 178 180 187 191 198 199 202 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 284 285 288 294 296 301 302 308 314 316 320 324 326 329 330 331 333 334 340 342 345 347 352 353 354 356 357 358 362 371 372 374 375 a 1 11 15 19 20 25 26 30 34 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 98 103 104 107 112 114 117 118 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 178 180 187 191 198 199 202 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 253 254 255 258 262 263 269 270 284 285 288 294 296 301 302 314 316 320 324 326 329 330 331 333 334 340 342 345 347 352 353 354 356 357 358 362 371 372 374 375 a 1 11 15 19 20 25 26 30 34 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 98 103 104 107 112 114 117 118 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 178 180 187 191 193 198 199 202 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 254 255 258 262 263 269 270 284 285 288 294 296 301 302 314 316 320 324 326 329 330 331 333 334 340 342 345 347 352 353 354 356 357 358 362 371 372 374 375 a 1 11 15 16 19 20 25 26 30 34 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 98 103 104 107 112 114 117 118 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 178 180 187 191 193 198 199 202 211 214 216 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 254 255 258 262 263 269 270 284 285 288 294 296 301 302 314 316 320 324 326 329 330 333 334 340 342 345 347 352 353 354 356 357 358 362 371 372 374 375 a 1 11 15 16 19 20 25 26 30 34 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 98 103 104 107 112 114 117 118 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 178 180 187 191 193 198 199 202 211 214 216 217 218 219 220 221 223 227 231 233 234 240 243 244 246 248 252 254 255 258 262 263 269 270 284 285 288 294 296 301 302 314 316 320 324 326 329 330 333 334 340 342 345 347 352 353 354 356 357 358 362 371 372 375 a 1 11 12 15 16 19 20 25 26 30 34 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 98 103 104 107 112 114 117 118 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 178 180 187 191 193 198 199 202 211 214 216 217 219 220 221 223 227 231 233 234 240 243 244 246 248 252 254 255 258 262 263 269 270 284 285 288 294 296 301 302 314 316 320 324 326 329 330 333 334 340 342 345 347 352 353 354 356 357 358 362 371 372 375 a 1 11 12 15 16 19 20 25 26 30 34 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 98 103 104 107 112 114 117 118 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 178 180 187 191 193 198 199 202 211 214 216 217 219 220 221 223 231 233 234 240 243 244 246 248 252 254 255 258 262 263 269 270 284 285 288 294 296 301 302 314 316 317 320 324 326 329 330 333 334 340 342 345 347 352 353 354 356 357 358 362 371 372 375 a 1 11 12 15 16 19 20 25 26 30 34 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 98 103 104 107 112 114 117 118 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 178 180 187 191 193 198 199 202 211 214 216 217 219 220 221 223 231 233 234 240 243 244 246 248 254 255 258 262 263 269 270 284 285 288 294 296 301 302 314 316 317 320 324 326 329 330 333 334 340 342 345 347 352 353 354 356 357 358 362 364 371 372 375 a 1 11 12 15 16 19 20 25 26 30 34 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 98 103 104 106 107 112 114 117 118 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 178 180 187 191 193 198 199 202 211 214 216 217 219 220 221 223 231 233 234 240 243 244 246 248 254 255 258 262 263 269 284 285 288 294 296 301 302 314 316 317 320 324 326 329 330 333 334 340 342 345 347 352 353 354 356 357 358 362 364 371 372 375 a 1 11 12 15 16 19 20 25 26 30 34 45 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 98 103 104 106 107 112 114 117 118 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 178 180 187 191 193 198 199 202 211 214 216 217 219 220 221 223 231 233 234 240 243 244 246 248 254 255 258 262 263 269 284 288 294 296 301 302 314 316 317 320 324 326 329 330 333 334 340 342 345 347 352 353 354 356 357 358 362 364 371 372 375 a 1 11 12 15 16 19 20 25 26 30 34 45 50 53 54 55 56 59 62 63 68 73 74 76 77 78 79 83 84 94 95 98 103 104 106 107 112 114 117 118 128 129 134 136 143 146 151 156 160 163 166 169 171 172 174 178 180 187 191 193 198 199 202 211 214 216 217 219 220 221 223 231 233 234 240 243 244 246 248 249 254 255 258 262 263 269 284 288 294 296 301 302 314 316 317 320 324 326 329 333 334 340 342 345 347 352 353 354 356 357 358 362 364 371 372 375 Command being timed: "/solvers/driver/run.py --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance029_graph005.col /benchmark/random_instance/random_instance029_graph005_01.dat" User time (seconds): 0.18 System time (seconds): 0.01 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.20 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): 20668 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 12749 Voluntary context switches: 27 Involuntary context switches: 7 Swaps: 0 File system inputs: 0 File system outputs: 456 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Fri Sep 8 00:35:34 2023]