#BEGIN: [Thu Sep 7 17:02:52 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-ai-planning2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance028_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance028_graph004_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance028_graph004.col /benchmark/random_instance/random_instance028_graph004_01.dat s 161 319 43 5 117 234 12 175 31 100 164 296 142 238 340 349 2 294 310 324 178 239 351 34 18 222 254 112 213 285 304 193 85 15 60 38 11 169 84 52 40 45 176 16 50 201 195 329 292 99 251 57 107 293 230 203 330 160 158 184 7 248 89 308 233 20 39 354 350 51 147 199 263 321 202 122 59 41 97 232 311 277 279 257 259 361 28 252 295 121 33 348 153 131 211 358 241 146 282 124 172 101 187 177 333 205 339 118 86 24 288 156 109 137 276 73 140 353 t 327 297 191 254 175 114 227 3 301 315 258 255 178 201 65 228 128 322 212 352 340 23 2 230 139 267 74 193 40 214 337 323 353 169 143 262 194 341 317 11 4 126 362 158 67 259 25 132 76 9 294 148 309 20 152 149 101 112 239 22 242 361 147 220 266 305 44 7 216 90 347 86 55 351 98 293 211 355 95 5 92 141 270 335 283 346 97 295 265 324 137 24 288 156 249 57 229 308 1 184 313 363 50 318 180 21 359 78 248 330 299 171 47 174 269 279 59 213 a YES a 2 5 7 11 12 15 16 18 20 24 28 31 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 222 230 232 233 234 238 239 241 248 251 252 254 257 259 263 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 319 321 324 329 330 333 339 340 348 349 350 351 353 354 358 361 a 2 3 5 7 11 15 16 18 20 24 28 31 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 222 230 232 233 234 238 239 241 248 251 252 254 257 259 263 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 319 321 324 329 330 333 339 340 348 349 350 351 353 354 358 361 a 2 3 5 7 11 15 18 20 24 28 31 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 222 230 232 233 234 238 239 241 248 251 252 254 257 259 263 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 329 330 333 339 340 348 349 350 351 353 354 358 361 a 2 3 5 7 11 15 18 20 24 28 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 222 230 232 233 234 238 239 241 248 251 252 254 257 259 263 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 329 330 333 339 340 348 349 350 351 353 354 358 361 a 2 3 5 7 11 18 20 24 28 33 34 38 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 222 230 232 233 234 238 239 241 248 251 252 254 257 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 329 330 333 339 340 348 349 350 351 353 354 358 361 a 2 3 5 7 11 18 20 24 28 33 34 39 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 95 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 222 230 232 233 234 238 239 241 248 251 252 254 257 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 329 330 333 339 340 348 349 350 351 353 354 358 361 a 2 3 5 7 11 18 20 24 28 33 34 40 41 43 45 50 51 52 57 59 60 73 84 85 86 89 95 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 222 230 232 233 234 238 239 241 248 251 252 254 257 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 327 329 330 333 339 340 348 349 350 351 353 354 358 361 a 2 3 5 7 11 18 20 24 28 33 34 40 43 45 50 51 52 57 59 60 73 84 85 86 89 95 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 222 230 232 233 234 238 239 241 248 251 252 254 257 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 327 329 330 333 339 340 346 348 349 350 351 353 354 358 361 a 2 3 5 7 11 18 20 24 28 33 34 40 45 50 51 52 57 59 60 73 84 85 86 89 95 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 220 222 230 232 233 234 238 239 241 248 251 252 254 257 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 327 329 330 333 339 340 346 348 349 350 351 353 354 358 361 a 2 3 5 7 11 18 20 24 28 34 40 45 50 51 52 57 59 60 73 84 85 86 89 95 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 220 222 230 232 233 234 238 239 241 248 251 252 254 257 258 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 327 329 330 333 339 340 346 348 349 350 351 353 354 358 361 a 2 3 5 7 9 11 18 20 24 28 34 40 50 51 52 57 59 60 73 84 85 86 89 95 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 220 222 230 232 233 234 238 239 241 248 251 252 254 257 258 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 327 329 330 333 339 340 346 348 349 350 351 353 354 358 361 a 2 3 5 7 9 11 18 20 24 28 34 40 50 51 57 59 60 73 76 84 85 86 89 95 97 99 100 101 107 109 112 117 118 121 122 124 131 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 220 222 230 232 233 234 238 239 241 248 251 252 254 257 258 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 327 329 330 333 339 340 346 348 349 350 351 353 354 358 361 a 2 3 5 7 9 11 18 20 24 28 34 40 50 51 57 59 73 76 84 85 86 89 95 97 99 100 101 107 109 112 117 118 121 122 124 131 132 137 140 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 220 222 230 232 233 234 238 239 241 248 251 252 254 257 258 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 327 329 330 333 339 340 346 348 349 350 351 353 354 358 361 a 2 3 5 7 9 11 18 20 24 28 34 40 50 51 57 59 73 76 84 86 89 95 97 99 100 101 107 109 112 117 118 121 122 124 131 132 137 140 141 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 220 222 230 232 233 234 238 239 241 248 251 252 254 257 258 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 327 329 330 333 339 340 346 348 349 350 351 353 354 358 361 a 2 3 5 7 9 11 18 20 24 28 34 40 50 51 57 59 73 76 84 86 89 95 97 100 101 107 109 112 117 118 121 122 124 131 132 137 140 141 142 146 147 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 220 222 230 232 233 234 238 239 241 248 251 252 254 257 258 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 327 329 330 333 339 340 346 348 349 350 351 353 354 358 359 361 a 2 3 5 7 9 11 18 20 24 28 34 40 50 51 57 59 73 76 84 86 89 95 97 100 101 107 112 117 118 121 122 124 131 132 137 140 141 142 146 147 149 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 220 222 230 232 233 234 238 239 241 248 251 252 254 257 258 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 327 329 330 333 339 340 346 348 349 350 351 353 354 358 359 361 a 2 3 5 7 9 11 18 20 21 24 28 34 40 50 51 57 59 73 76 84 86 89 95 97 100 101 107 112 118 121 122 124 131 132 137 140 141 142 146 147 149 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 220 222 230 232 233 234 238 239 241 248 251 252 254 257 258 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 327 329 330 333 339 340 346 348 349 350 351 353 354 358 359 361 a 2 3 5 7 9 11 20 21 24 28 34 40 50 51 57 59 73 76 84 86 89 95 97 100 101 107 112 118 121 122 124 131 132 137 140 141 142 146 147 149 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 220 222 230 232 233 234 238 239 241 248 249 251 252 254 257 258 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 327 329 330 333 339 340 346 348 349 350 351 353 354 358 359 361 a 2 3 5 7 9 11 20 21 24 28 34 40 50 51 57 59 73 76 84 86 89 95 97 100 101 107 112 118 121 122 131 132 137 140 141 142 146 147 149 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 220 222 230 232 233 234 238 239 241 248 249 251 252 254 257 258 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 327 329 330 333 339 340 346 348 349 350 351 353 354 358 359 361 362 a 2 3 5 7 9 11 20 21 24 28 34 40 50 51 55 57 59 73 76 84 86 89 95 97 100 101 107 112 118 121 122 132 137 140 141 142 146 147 149 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 220 222 230 232 233 234 238 239 241 248 249 251 252 254 257 258 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 327 329 330 333 339 340 346 348 349 350 351 353 354 358 359 361 362 a 2 3 5 7 9 11 20 21 22 24 34 40 50 51 55 57 59 73 76 84 86 89 95 97 100 101 107 112 118 121 122 132 137 140 141 142 146 147 149 153 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 220 222 230 232 233 234 238 239 241 248 249 251 252 254 257 258 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 327 329 330 333 339 340 346 348 349 350 351 353 354 358 359 361 362 a 2 3 5 7 9 11 20 21 22 24 34 40 50 51 55 57 59 73 76 84 86 89 95 97 100 101 107 112 118 121 122 132 137 140 141 142 146 147 149 156 158 160 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 220 222 230 232 233 234 238 239 241 248 249 251 252 254 257 258 259 262 263 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 327 329 330 333 339 340 341 346 348 349 350 351 353 354 358 359 361 362 a 2 3 5 7 9 11 20 21 22 24 34 40 50 51 55 57 59 73 76 84 86 89 95 97 100 101 107 112 118 121 122 132 137 140 141 142 146 147 149 156 158 161 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 220 222 230 232 233 234 238 239 241 248 249 251 252 254 257 258 259 262 263 267 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 327 329 330 333 339 340 341 346 348 349 350 351 353 354 358 359 361 362 a 2 3 5 7 9 11 20 21 22 24 34 40 50 51 55 57 59 73 76 84 86 89 95 97 100 101 107 112 118 121 122 132 137 140 141 142 146 147 149 156 158 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 220 222 230 232 233 234 238 239 241 248 249 251 252 254 255 257 258 259 262 263 267 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 327 329 330 333 339 340 341 346 348 349 350 351 353 354 358 359 361 362 a 2 3 5 7 9 11 20 21 22 24 34 40 50 51 55 57 59 76 84 86 89 95 97 100 101 107 112 118 121 122 132 137 140 141 142 146 147 149 156 158 164 169 172 175 176 177 178 184 187 193 195 199 201 202 203 205 211 213 220 222 230 232 233 234 238 239 241 248 249 251 252 254 255 257 258 259 262 263 267 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 327 329 330 333 339 340 341 346 347 348 349 350 351 353 354 358 359 361 362 a 2 3 5 7 9 11 20 21 22 24 34 40 50 51 55 57 59 76 84 86 89 95 97 100 101 107 112 118 121 122 132 137 140 141 142 146 147 149 156 158 169 172 175 176 177 178 180 184 187 193 195 199 201 202 203 205 211 213 220 222 230 232 233 234 238 239 241 248 249 251 252 254 255 257 258 259 262 263 267 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 317 319 321 324 327 329 330 333 339 340 341 346 347 348 349 350 351 353 354 358 359 361 362 a 2 3 5 7 9 11 20 21 22 24 34 40 50 51 55 57 59 76 84 86 89 95 97 100 101 107 112 118 121 122 132 137 140 141 146 147 149 156 158 169 172 175 176 177 178 180 184 187 193 195 199 201 202 203 205 211 213 220 222 230 232 233 234 238 239 241 248 249 251 252 254 255 257 258 259 262 263 267 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 313 317 319 321 324 327 329 330 333 339 340 341 346 347 348 349 350 351 353 354 358 359 361 362 a 2 3 5 7 9 11 20 21 22 24 34 40 50 51 55 57 59 76 84 86 89 95 97 100 101 107 112 118 121 122 132 137 140 141 146 147 149 156 158 169 172 175 177 178 180 184 187 193 195 199 201 202 203 205 211 213 220 222 228 230 232 233 234 238 239 241 248 249 251 252 254 255 257 258 259 262 263 267 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 313 317 319 321 324 327 329 330 333 339 340 341 346 347 348 349 350 351 353 354 358 359 361 362 a 2 3 5 7 9 11 20 21 22 24 34 40 50 51 55 57 59 74 76 84 86 89 95 97 100 101 107 112 118 121 122 132 137 140 141 146 147 149 156 158 169 172 175 178 180 184 187 193 195 199 201 202 203 205 211 213 220 222 228 230 232 233 234 238 239 241 248 249 251 252 254 255 257 258 259 262 263 267 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 313 317 319 321 324 327 329 330 333 339 340 341 346 347 348 349 350 351 353 354 358 359 361 362 a 2 3 5 7 9 11 20 21 22 24 34 40 50 51 55 57 59 74 76 84 86 89 95 97 100 101 107 112 118 121 122 132 137 140 141 143 146 147 149 156 158 169 172 175 178 180 184 187 193 199 201 202 203 205 211 213 220 222 228 230 232 233 234 238 239 241 248 249 251 252 254 255 257 258 259 262 263 267 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 313 317 319 321 324 327 329 330 333 339 340 341 346 347 348 349 350 351 353 354 358 359 361 362 a 2 3 5 7 9 11 20 21 22 24 34 40 50 51 55 57 59 74 76 84 86 89 95 97 100 101 107 112 118 121 122 126 132 137 140 141 143 146 147 149 156 158 169 172 175 178 180 184 187 193 199 201 202 205 211 213 220 222 228 230 232 233 234 238 239 241 248 249 251 252 254 255 257 258 259 262 263 267 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 313 317 319 321 324 327 329 330 333 339 340 341 346 347 348 349 350 351 353 354 358 359 361 362 a 2 3 5 7 9 11 20 21 22 24 34 40 50 51 55 57 59 67 74 76 84 86 89 95 97 100 101 107 112 118 121 122 126 132 137 140 141 143 146 147 149 156 158 169 172 175 178 180 184 187 193 199 201 202 205 211 213 220 228 230 232 233 234 238 239 241 248 249 251 252 254 255 257 258 259 262 263 267 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 313 317 319 321 324 327 329 330 333 339 340 341 346 347 348 349 350 351 353 354 358 359 361 362 a 2 3 5 7 9 11 20 21 22 24 34 40 50 51 55 57 59 65 67 74 76 84 86 89 95 97 100 101 107 112 118 121 122 126 132 137 140 141 143 146 147 149 156 158 169 172 175 178 180 184 187 193 199 201 202 205 211 213 220 228 230 233 234 238 239 241 248 249 251 252 254 255 257 258 259 262 263 267 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 313 317 319 321 324 327 329 330 333 339 340 341 346 347 348 349 350 351 353 354 358 359 361 362 a 2 3 5 7 9 11 20 21 22 24 34 40 50 51 55 57 59 65 67 74 76 84 86 89 95 97 100 101 107 112 118 121 122 126 132 137 140 141 143 146 147 149 156 158 169 171 172 175 178 180 184 187 193 199 201 202 205 211 213 220 228 230 233 238 239 241 248 249 251 252 254 255 257 258 259 262 263 267 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 313 317 319 321 324 327 329 330 333 339 340 341 346 347 348 349 350 351 353 354 358 359 361 362 a 2 3 5 7 9 11 20 21 22 24 34 40 50 51 55 57 59 65 67 74 76 84 86 89 95 97 100 101 107 112 118 121 122 126 132 137 140 141 143 146 147 149 156 158 169 171 172 175 178 180 184 187 193 199 201 202 205 211 213 220 228 230 233 238 239 241 248 249 251 252 254 255 258 259 262 263 267 269 270 276 277 279 282 285 288 292 293 294 295 296 304 308 310 311 313 317 319 321 324 327 329 330 333 339 340 341 346 347 348 349 350 351 353 354 358 359 361 362 a 1 2 3 5 7 9 11 20 21 22 24 34 40 50 51 55 57 59 65 67 74 76 84 86 89 95 97 100 101 107 112 118 121 122 126 132 137 140 141 143 146 147 149 156 158 169 171 172 175 178 180 184 187 193 199 201 202 205 211 213 220 228 230 233 238 239 241 248 249 251 252 254 255 258 259 262 263 267 269 270 276 277 279 282 285 288 293 294 295 296 304 308 310 311 313 317 319 321 324 327 329 330 333 339 340 341 346 347 348 349 350 351 353 354 358 359 361 362 a 1 2 3 5 7 9 11 20 21 22 24 34 40 50 51 55 57 59 65 67 74 76 84 86 89 95 97 100 101 107 112 118 121 122 126 132 137 140 141 143 146 147 149 156 158 169 171 172 175 178 180 184 187 193 199 201 202 205 211 213 220 228 230 233 238 239 241 248 249 251 252 254 255 258 259 262 263 265 267 269 270 276 277 279 282 285 288 293 294 295 304 308 310 311 313 317 319 321 324 327 329 330 333 339 340 341 346 347 348 349 350 351 353 354 358 359 361 362 a 1 2 3 5 7 9 11 20 21 22 24 40 50 51 55 57 59 65 67 74 76 84 86 89 95 97 100 101 107 112 118 121 122 126 132 137 140 141 143 146 147 149 156 158 169 171 172 175 178 180 184 187 193 199 201 202 205 211 213 220 228 230 233 238 239 241 248 249 251 252 254 255 258 259 262 263 265 267 269 270 276 277 279 282 285 288 293 294 295 304 308 310 311 313 317 319 321 324 327 329 330 333 339 340 341 346 347 348 349 350 351 353 354 355 358 359 361 362 a 1 2 3 5 7 9 11 20 21 22 24 40 50 55 57 59 65 67 74 76 84 86 89 95 97 100 101 107 112 118 121 122 126 132 137 140 141 143 146 147 149 156 158 169 171 172 175 178 180 184 187 193 199 201 202 205 211 213 220 228 230 233 238 239 241 248 249 251 252 254 255 258 259 262 263 265 267 269 270 276 277 279 282 285 288 293 294 295 297 304 308 310 311 313 317 319 321 324 327 329 330 333 339 340 341 346 347 348 349 350 351 353 354 355 358 359 361 362 a 1 2 3 5 7 9 11 20 21 22 24 40 50 55 57 59 65 67 74 76 84 86 89 95 97 100 101 107 112 118 121 122 126 132 137 140 141 143 146 147 149 156 158 169 171 172 175 178 180 184 187 193 194 199 201 202 205 211 213 220 228 230 233 238 239 241 248 249 251 252 254 255 258 259 262 263 265 267 269 270 276 277 279 285 288 293 294 295 297 304 308 310 311 313 317 319 321 324 327 329 330 333 339 340 341 346 347 348 349 350 351 353 354 355 358 359 361 362 a 1 2 3 5 7 9 11 20 21 22 24 40 50 55 57 59 65 67 74 76 84 86 89 95 97 100 101 107 112 118 121 122 126 132 137 140 141 143 146 147 149 156 158 169 171 172 175 178 180 184 187 193 194 199 201 202 205 211 213 220 227 228 230 233 238 239 241 248 249 251 252 254 255 258 259 262 263 265 267 269 270 276 277 279 285 288 293 294 295 297 308 310 311 313 317 319 321 324 327 329 330 333 339 340 341 346 347 348 349 350 351 353 354 355 358 359 361 362 a 1 2 3 5 7 9 11 20 21 22 24 40 50 55 57 59 65 67 74 76 84 86 89 95 97 100 101 107 112 118 121 122 126 132 137 140 141 143 146 147 149 156 158 169 171 172 175 178 180 184 187 193 194 199 201 202 205 211 213 220 227 228 230 233 238 239 241 248 249 251 252 254 255 258 259 262 263 265 267 269 270 276 277 279 285 288 293 294 295 297 308 311 313 317 319 321 324 327 329 330 333 339 340 341 346 347 348 349 350 351 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 24 40 50 55 57 59 65 67 74 76 86 89 95 97 100 101 107 112 118 121 122 126 132 137 140 141 143 146 147 149 156 158 169 171 172 175 178 180 184 187 193 194 199 201 202 205 211 213 220 227 228 230 233 238 239 241 248 249 251 252 254 255 258 259 262 263 265 267 269 270 276 277 279 285 288 293 294 295 297 308 311 313 317 319 321 324 327 329 330 333 335 339 340 341 346 347 348 349 350 351 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 50 55 57 59 65 67 74 76 86 89 95 97 100 101 107 112 118 121 126 132 137 140 141 143 146 147 149 156 158 169 171 172 175 178 180 184 187 193 194 199 201 202 205 211 213 220 227 228 230 233 238 239 241 248 249 251 252 254 255 258 259 262 263 265 267 269 270 276 277 279 285 288 293 294 295 297 308 311 313 317 319 321 324 327 329 330 333 335 339 340 341 346 347 348 349 350 351 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 50 55 57 59 65 67 74 76 86 89 95 97 100 101 107 112 118 121 126 132 137 140 141 143 146 147 149 156 158 169 171 172 175 178 180 184 187 193 194 199 201 202 205 211 213 220 227 228 230 238 239 241 248 249 251 252 254 255 258 259 262 263 265 267 269 270 276 277 279 285 288 293 294 295 297 308 311 313 317 318 319 321 324 327 329 330 333 335 339 340 341 346 347 348 349 350 351 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 50 55 57 59 65 67 74 76 86 89 95 97 100 101 107 112 118 121 126 132 137 140 141 143 146 147 149 156 158 169 171 172 175 178 180 184 187 193 194 199 201 202 205 211 213 214 220 227 228 230 238 239 241 248 249 251 252 254 255 258 259 262 263 265 267 269 270 276 277 279 285 288 293 294 295 297 308 313 317 318 319 321 324 327 329 330 333 335 339 340 341 346 347 348 349 350 351 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 50 55 57 59 65 67 74 76 86 95 97 100 101 107 112 118 121 126 132 137 140 141 143 146 147 149 152 156 158 169 171 172 175 178 180 184 187 193 194 199 201 202 205 211 213 214 220 227 228 230 238 239 241 248 249 251 252 254 255 258 259 262 263 265 267 269 270 276 277 279 285 288 293 294 295 297 308 313 317 318 319 321 324 327 329 330 333 335 339 340 341 346 347 348 349 350 351 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 50 55 57 59 65 67 74 76 86 95 97 100 101 107 112 118 121 126 132 137 140 141 143 146 147 149 152 156 158 169 171 172 174 175 178 180 184 187 193 194 199 201 202 205 211 213 214 220 227 228 230 238 239 241 248 249 251 252 254 255 258 259 262 263 265 267 269 270 276 277 279 285 288 293 294 295 297 308 313 317 318 321 324 327 329 330 333 335 339 340 341 346 347 348 349 350 351 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 50 55 57 59 65 67 74 76 86 95 97 101 107 112 118 121 126 132 137 140 141 143 146 147 149 152 156 158 169 171 172 174 175 178 180 184 187 193 194 199 201 202 205 211 213 214 220 227 228 230 238 239 241 248 249 251 252 254 255 258 259 262 263 265 267 269 270 276 277 279 285 288 293 294 295 297 299 308 313 317 318 321 324 327 329 330 333 335 339 340 341 346 347 348 349 350 351 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 50 55 57 59 65 67 74 76 86 95 97 101 107 112 118 121 126 128 132 137 140 141 143 146 147 149 152 156 158 169 171 172 174 175 178 180 184 187 193 194 199 201 202 211 213 214 220 227 228 230 238 239 241 248 249 251 252 254 255 258 259 262 263 265 267 269 270 276 277 279 285 288 293 294 295 297 299 308 313 317 318 321 324 327 329 330 333 335 339 340 341 346 347 348 349 350 351 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 50 55 57 59 65 67 74 76 86 95 97 101 107 112 114 118 121 126 128 132 137 140 141 143 146 147 149 152 156 158 169 171 172 174 175 178 180 184 193 194 199 201 202 211 213 214 220 227 228 230 238 239 241 248 249 251 252 254 255 258 259 262 263 265 267 269 270 276 277 279 285 288 293 294 295 297 299 308 313 317 318 321 324 327 329 330 333 335 339 340 341 346 347 348 349 350 351 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 50 55 57 59 65 67 74 76 86 95 97 101 107 112 114 118 121 126 128 132 137 140 141 143 146 147 149 152 156 158 169 171 172 174 175 178 180 184 193 194 199 201 211 213 214 220 227 228 230 238 239 241 248 249 251 252 254 255 258 259 262 263 265 267 269 270 276 277 279 285 288 293 294 295 297 299 308 313 317 318 321 322 324 327 329 330 333 335 339 340 341 346 347 348 349 350 351 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 50 55 57 59 65 67 74 76 86 95 97 101 107 112 114 118 121 126 128 132 137 140 141 143 146 147 149 152 156 158 169 171 172 174 175 178 180 184 193 194 199 201 211 213 214 216 220 227 228 230 238 239 241 248 249 251 252 254 255 258 259 262 263 265 267 269 270 276 279 285 288 293 294 295 297 299 308 313 317 318 321 322 324 327 329 330 333 335 339 340 341 346 347 348 349 350 351 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 50 55 57 59 65 67 74 76 86 95 97 101 107 112 114 118 121 126 128 132 137 140 141 143 146 147 149 152 156 158 169 171 172 174 175 178 180 184 193 194 199 201 211 213 214 216 220 227 228 230 238 239 241 248 249 251 252 254 255 258 259 262 263 265 267 269 270 276 279 285 288 293 294 295 297 299 308 313 315 317 318 321 322 324 327 330 333 335 339 340 341 346 347 348 349 350 351 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 47 50 55 57 59 65 67 74 76 86 95 97 101 107 112 114 118 121 126 128 132 137 140 141 143 146 147 149 152 156 158 169 171 172 174 175 178 180 184 193 194 199 201 211 213 214 216 220 227 228 230 238 239 241 248 249 251 252 254 255 258 259 262 263 265 267 269 270 276 279 285 288 293 294 295 297 299 308 313 315 317 318 321 322 324 327 330 335 339 340 341 346 347 348 349 350 351 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 47 50 55 57 59 65 67 74 76 78 86 95 97 101 112 114 118 121 126 128 132 137 140 141 143 146 147 149 152 156 158 169 171 172 174 175 178 180 184 193 194 199 201 211 213 214 216 220 227 228 230 238 239 241 248 249 251 252 254 255 258 259 262 263 265 267 269 270 276 279 285 288 293 294 295 297 299 308 313 315 317 318 321 322 324 327 330 335 339 340 341 346 347 348 349 350 351 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 47 50 55 57 59 65 67 74 76 78 86 95 97 101 112 114 118 121 126 128 132 137 140 141 143 146 147 148 149 152 156 158 169 171 172 174 175 178 180 184 193 194 199 201 211 213 214 216 220 227 228 230 239 241 248 249 251 252 254 255 258 259 262 263 265 267 269 270 276 279 285 288 293 294 295 297 299 308 313 315 317 318 321 322 324 327 330 335 339 340 341 346 347 348 349 350 351 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 47 50 55 57 59 65 67 74 76 78 86 92 95 97 101 112 114 118 121 126 128 132 137 140 141 143 146 147 148 149 152 156 158 169 171 172 174 175 178 180 184 193 194 199 201 211 213 214 216 220 227 228 230 239 241 248 249 251 254 255 258 259 262 263 265 267 269 270 276 279 285 288 293 294 295 297 299 308 313 315 317 318 321 322 324 327 330 335 339 340 341 346 347 348 349 350 351 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 47 50 55 57 59 65 67 74 76 78 86 92 95 97 101 112 114 121 126 128 132 137 140 141 143 146 147 148 149 152 156 158 169 171 172 174 175 178 180 184 193 194 199 201 211 213 214 216 220 227 228 230 239 241 248 249 251 254 255 258 259 262 263 265 267 269 270 276 279 285 288 293 294 295 297 299 308 313 315 317 318 321 322 324 327 330 335 339 340 341 346 347 348 349 350 351 352 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 47 50 55 57 59 65 67 74 76 78 86 92 95 97 98 101 112 114 121 126 128 132 137 141 143 146 147 148 149 152 156 158 169 171 172 174 175 178 180 184 193 194 199 201 211 213 214 216 220 227 228 230 239 241 248 249 251 254 255 258 259 262 263 265 267 269 270 276 279 285 288 293 294 295 297 299 308 313 315 317 318 321 322 324 327 330 335 339 340 341 346 347 348 349 350 351 352 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 47 50 55 57 59 65 67 74 76 78 86 92 95 97 98 101 112 114 121 126 128 132 137 141 143 146 147 148 149 152 156 158 169 171 172 174 175 178 180 184 191 193 194 199 201 211 213 214 216 220 227 228 230 239 241 248 249 251 254 255 258 259 262 265 267 269 270 276 279 285 288 293 294 295 297 299 308 313 315 317 318 321 322 324 327 330 335 339 340 341 346 347 348 349 350 351 352 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 44 47 50 55 57 59 65 67 74 76 78 86 92 95 97 98 101 112 114 121 126 128 132 137 141 143 146 147 148 149 152 156 158 169 171 172 174 175 178 180 184 191 193 194 199 201 211 213 214 216 220 227 228 230 239 241 248 249 251 254 255 258 259 262 265 267 269 270 279 285 288 293 294 295 297 299 308 313 315 317 318 321 322 324 327 330 335 339 340 341 346 347 348 349 350 351 352 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 44 47 50 55 57 59 65 67 74 76 78 86 92 95 97 98 101 112 114 121 126 128 132 137 141 143 146 147 148 149 152 156 158 169 171 172 174 175 178 180 184 191 193 194 199 201 211 213 214 216 220 227 228 230 239 241 242 248 249 251 254 255 258 259 262 265 267 269 270 279 288 293 294 295 297 299 308 313 315 317 318 321 322 324 327 330 335 339 340 341 346 347 348 349 350 351 352 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 44 47 50 55 57 59 65 67 74 76 78 86 92 95 97 98 101 112 114 121 126 128 132 137 141 143 146 147 148 149 152 156 158 169 171 172 174 175 178 180 184 191 193 194 199 201 211 213 214 216 220 227 228 230 239 241 242 248 249 251 254 255 258 259 262 265 267 269 270 279 288 293 294 295 297 299 308 313 315 317 318 322 324 327 330 335 337 339 340 341 346 347 348 349 350 351 352 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 44 47 50 55 57 59 65 67 74 76 78 86 92 95 97 98 101 112 114 121 126 128 132 137 141 143 146 147 148 149 152 156 158 169 171 172 174 175 178 180 184 191 193 194 199 201 211 213 214 216 220 227 228 230 239 241 242 248 249 251 254 255 258 259 262 265 267 269 270 279 288 293 294 295 297 299 305 308 313 315 317 318 322 324 327 330 335 337 340 341 346 347 348 349 350 351 352 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 44 47 50 55 57 59 65 67 74 76 78 86 92 95 97 98 101 112 114 121 126 128 132 137 139 141 143 146 147 148 149 152 156 158 169 171 172 174 175 178 180 184 191 193 194 199 201 211 213 214 216 220 227 228 230 239 241 242 248 249 251 254 255 258 259 262 265 267 269 270 279 288 293 294 295 297 299 305 308 313 315 317 318 322 324 327 330 335 337 340 341 346 347 349 350 351 352 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 44 47 50 55 57 59 65 67 74 76 78 86 92 95 97 98 101 112 114 121 126 128 132 137 139 141 143 146 147 148 149 152 156 158 169 171 172 174 175 178 180 184 191 193 194 199 201 211 213 214 216 220 227 228 230 239 241 242 248 249 251 254 255 258 259 262 265 267 269 270 279 288 293 294 295 297 299 301 305 308 313 315 317 318 322 324 327 330 335 337 340 341 346 347 349 351 352 353 354 355 358 359 361 362 363 a 1 2 3 5 7 9 11 20 21 22 23 24 40 44 47 50 55 57 59 65 67 74 76 78 86 92 95 97 98 101 112 114 126 128 132 137 139 141 143 146 147 148 149 152 156 158 169 171 172 174 175 178 180 184 191 193 194 199 201 211 213 214 216 220 227 228 230 239 241 242 248 249 251 254 255 258 259 262 265 267 269 270 279 288 293 294 295 297 299 301 305 308 313 315 317 318 322 323 324 327 330 335 337 340 341 346 347 349 351 352 353 354 355 358 359 361 362 363 a 1 2 3 4 5 7 9 11 20 21 22 23 24 40 44 47 50 55 57 59 65 67 74 76 78 86 92 95 97 98 101 112 114 126 128 132 137 139 141 143 146 147 148 149 152 156 158 169 171 172 174 175 178 180 184 191 193 194 199 201 211 213 214 216 220 227 228 230 239 241 242 248 249 251 254 255 258 259 262 265 267 269 270 279 288 293 294 295 297 299 301 305 308 313 315 317 318 322 323 324 327 330 335 337 340 341 346 347 349 351 352 353 355 358 359 361 362 363 a 1 2 3 4 5 7 9 11 20 21 22 23 24 40 44 47 50 55 57 59 65 67 74 76 78 86 92 95 97 98 101 112 114 126 128 132 137 139 141 143 147 148 149 152 156 158 169 171 172 174 175 178 180 184 191 193 194 199 201 211 213 214 216 220 227 228 230 239 241 242 248 249 251 254 255 258 259 262 265 267 269 270 279 288 293 294 295 297 299 301 305 308 309 313 315 317 318 322 323 324 327 330 335 337 340 341 346 347 349 351 352 353 355 358 359 361 362 363 a 1 2 3 4 5 7 9 11 20 21 22 23 24 40 44 47 50 55 57 59 65 67 74 76 78 86 92 95 97 98 101 112 114 126 128 132 137 139 141 143 147 148 149 152 156 158 169 171 172 174 175 178 180 184 191 193 194 201 211 213 214 216 220 227 228 229 230 239 241 242 248 249 251 254 255 258 259 262 265 267 269 270 279 288 293 294 295 297 299 301 305 308 309 313 315 317 318 322 323 324 327 330 335 337 340 341 346 347 349 351 352 353 355 358 359 361 362 363 a 1 2 3 4 5 7 9 11 20 21 22 23 24 40 44 47 50 55 57 59 65 67 74 76 78 86 92 95 97 98 101 112 114 126 128 132 137 139 141 143 147 148 149 152 156 158 169 171 172 174 175 178 180 184 191 193 194 201 211 212 213 214 216 220 227 228 229 230 239 241 242 248 249 251 254 255 258 259 262 265 267 269 270 279 288 293 294 295 297 299 301 305 308 309 313 315 317 318 322 323 324 327 330 335 337 340 341 346 347 349 351 352 353 355 359 361 362 363 a 1 2 3 4 5 7 9 11 20 21 22 23 24 40 44 47 50 55 57 59 65 67 74 76 78 86 92 95 97 98 101 112 114 126 128 132 137 139 141 143 147 148 149 152 156 158 169 171 174 175 178 180 184 191 193 194 201 211 212 213 214 216 220 227 228 229 230 239 241 242 248 249 251 254 255 258 259 262 265 267 269 270 279 283 288 293 294 295 297 299 301 305 308 309 313 315 317 318 322 323 324 327 330 335 337 340 341 346 347 349 351 352 353 355 359 361 362 363 a 1 2 3 4 5 7 9 11 20 21 22 23 24 25 40 44 47 50 55 57 59 65 67 74 76 78 86 92 95 97 98 101 112 114 126 128 132 137 139 141 143 147 148 149 152 156 158 169 171 174 175 178 180 184 191 193 194 201 211 212 213 214 216 220 227 228 229 230 239 241 242 248 249 254 255 258 259 262 265 267 269 270 279 283 288 293 294 295 297 299 301 305 308 309 313 315 317 318 322 323 324 327 330 335 337 340 341 346 347 349 351 352 353 355 359 361 362 363 a 1 2 3 4 5 7 9 11 20 21 22 23 24 25 40 44 47 50 55 57 59 65 67 74 76 78 86 90 92 95 97 98 101 112 114 126 128 132 137 139 141 143 147 148 149 152 156 158 169 171 174 175 178 180 184 191 193 194 201 211 212 213 214 216 220 227 228 229 230 239 242 248 249 254 255 258 259 262 265 267 269 270 279 283 288 293 294 295 297 299 301 305 308 309 313 315 317 318 322 323 324 327 330 335 337 340 341 346 347 349 351 352 353 355 359 361 362 363 a 1 2 3 4 5 7 9 11 20 21 22 23 24 25 40 44 47 50 55 57 59 65 67 74 76 78 86 90 92 95 97 98 101 112 114 126 128 132 137 139 141 143 147 148 149 152 156 158 169 171 174 175 178 180 184 191 193 194 201 211 212 213 214 216 220 227 228 229 230 239 242 248 249 254 255 258 259 262 265 266 267 269 270 279 283 288 293 294 295 297 299 301 305 308 309 313 315 317 318 322 323 324 327 330 335 337 340 341 346 347 351 352 353 355 359 361 362 363 Command being timed: "/solvers/driver/run.py --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/random_instance/random_instance028_graph004.col /benchmark/random_instance/random_instance028_graph004_01.dat" User time (seconds): 0.18 System time (seconds): 0.02 Percent of CPU this job got: 98% 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): 20540 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 12574 Voluntary context switches: 24 Involuntary context switches: 4 Swaps: 0 File system inputs: 0 File system outputs: 448 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Thu Sep 7 17:02:52 2023]