#BEGIN: [Tue Sep 26 00:59:56 2023] #HOST: s01 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance028_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance028_graph001_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /benchmark/random_instance/random_instance028_graph001.col /benchmark/random_instance/random_instance028_graph001_01.dat c /benchmark/random_instance/random_instance028_graph001.col c /benchmark/random_instance/random_instance028_graph001_01.dat *** Info : (clingo): INTERRUPTED by signal! s 149 83 106 6 119 18 101 240 273 269 216 214 75 158 154 138 77 285 233 170 319 55 35 176 72 94 243 188 85 126 15 353 65 9 268 111 27 213 215 185 321 205 324 7 137 44 36 306 174 143 63 110 354 91 102 40 64 262 340 328 275 232 344 265 86 187 121 161 247 339 172 5 88 89 358 291 164 263 71 69 207 312 192 209 30 274 97 218 256 107 79 21 212 282 278 169 24 252 168 302 3 150 62 33 338 76 341 296 239 31 183 279 57 241 112 90 180 t 276 158 193 62 64 199 6 204 222 270 307 40 228 299 216 194 246 26 88 121 55 213 348 226 248 122 24 258 56 59 328 95 289 51 74 71 323 277 35 240 207 315 302 215 161 249 47 17 100 124 93 296 308 341 331 319 234 282 116 141 358 224 69 112 262 281 247 274 155 152 169 154 20 76 63 279 275 176 298 340 57 350 361 9 150 191 27 144 312 126 73 90 119 33 42 174 30 101 125 18 220 19 265 201 149 168 13 159 223 146 45 338 138 334 29 21 99 a YES a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 36 40 44 55 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 91 94 97 101 102 106 107 110 111 112 119 121 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 205 207 209 212 213 214 215 216 218 232 233 239 240 241 243 247 252 256 262 263 265 268 269 273 274 275 278 279 282 285 291 296 302 306 312 319 321 324 328 338 339 340 341 344 353 354 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 36 40 44 55 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 91 94 97 101 102 106 107 110 111 112 119 121 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 193 205 207 209 212 213 214 215 216 218 232 233 239 240 241 243 247 252 256 262 263 265 269 273 274 275 278 279 282 285 291 296 302 306 312 319 321 324 328 338 339 340 341 344 353 354 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 36 40 44 45 55 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 91 94 97 101 102 106 107 110 111 112 119 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 193 205 207 209 212 213 214 215 216 218 232 233 239 240 241 243 247 252 256 262 263 265 269 273 274 275 278 279 282 285 291 296 302 306 312 319 321 324 328 338 339 340 341 344 353 354 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 36 40 44 45 55 57 62 63 64 65 69 71 72 75 76 77 79 83 85 86 88 89 90 91 94 97 101 102 106 107 110 111 112 119 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 193 205 207 209 212 213 214 215 216 218 232 233 236 239 240 241 243 247 252 256 262 263 265 269 273 274 275 278 279 282 285 291 296 302 306 312 319 321 324 328 339 340 341 344 353 354 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 36 40 44 45 55 57 62 63 64 65 69 71 72 75 76 77 79 85 86 88 89 90 91 94 97 101 102 106 107 110 111 112 119 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 193 205 207 209 212 213 214 215 216 218 232 233 236 239 240 241 243 247 252 256 258 262 263 265 269 273 274 275 278 279 282 285 291 296 302 306 312 319 321 324 328 339 340 341 344 353 354 358 a 3 5 6 7 9 15 18 21 24 27 30 31 33 35 36 40 44 45 55 57 62 63 64 65 69 71 72 75 76 77 79 85 86 88 89 90 91 94 97 101 102 106 107 110 111 112 119 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 193 205 207 209 212 213 214 215 216 218 233 236 239 240 241 243 247 252 256 258 262 263 265 269 273 274 275 278 279 282 285 291 296 302 306 307 312 319 321 324 328 339 340 341 344 353 354 358 a 3 6 7 9 15 18 21 24 27 30 31 33 35 36 40 44 45 55 57 62 63 64 65 69 71 72 75 76 77 79 85 86 88 89 90 91 94 97 100 101 102 106 107 110 111 112 119 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 193 205 207 209 212 213 214 215 216 218 233 236 239 240 241 243 247 252 256 258 262 263 265 269 273 274 275 278 279 282 285 291 296 302 306 307 312 319 321 324 328 339 340 341 344 353 354 358 a 3 6 7 9 15 18 21 24 27 29 30 31 33 35 36 40 44 45 55 57 62 63 64 65 69 71 72 75 76 77 79 85 86 88 89 90 91 94 97 100 101 102 106 107 110 111 112 119 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 193 205 207 209 212 213 214 215 216 218 233 236 239 240 241 243 247 252 256 258 262 265 269 273 274 275 278 279 282 285 291 296 302 306 307 312 319 321 324 328 339 340 341 344 353 354 358 a 3 6 7 9 15 18 21 24 27 29 30 31 33 35 36 40 44 45 55 57 62 63 64 65 69 71 72 75 76 77 79 85 86 88 89 90 94 97 100 101 102 106 107 110 111 112 119 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 193 205 207 209 212 213 214 215 216 218 233 236 239 240 241 243 247 252 256 258 262 265 269 273 274 275 278 279 282 285 291 296 302 306 307 312 319 321 324 328 339 340 341 344 350 353 354 358 a 3 6 7 9 15 18 19 21 24 27 29 30 31 33 35 36 40 45 55 57 62 63 64 65 69 71 72 75 76 77 79 85 86 88 89 90 94 97 100 101 102 106 107 110 111 112 119 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 193 205 207 209 212 213 214 215 216 218 233 236 239 240 241 243 247 252 256 258 262 265 269 273 274 275 278 279 282 285 291 296 302 306 307 312 319 321 324 328 339 340 341 344 350 353 354 358 a 3 6 7 9 15 18 19 21 24 27 29 30 31 33 35 36 40 45 55 57 62 63 64 65 69 71 72 75 76 77 79 85 86 88 89 90 94 97 100 101 102 106 107 110 111 112 119 121 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 185 187 188 192 193 205 207 209 212 213 214 215 216 218 233 236 240 241 243 247 252 256 258 262 265 269 273 274 275 278 279 282 285 291 296 302 306 307 312 319 321 324 328 339 340 341 344 350 353 354 358 a 3 6 7 9 15 18 19 21 24 27 29 30 31 33 35 36 40 45 55 57 62 63 64 65 69 71 72 75 76 77 79 85 86 88 89 90 94 97 99 100 101 102 106 107 110 111 112 119 121 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 187 188 192 193 205 207 209 212 213 214 215 216 218 233 236 240 241 243 247 252 256 258 262 265 269 273 274 275 278 279 282 285 291 296 302 306 307 312 319 321 324 328 339 340 341 344 350 353 354 358 a 3 6 7 9 15 18 19 21 24 27 29 30 31 33 35 36 40 45 55 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 94 97 99 100 101 102 106 107 110 111 112 119 121 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 187 188 192 193 205 207 209 212 213 214 215 216 218 233 236 240 241 243 247 252 256 258 262 265 269 273 274 275 278 279 282 285 291 296 302 306 307 312 319 321 324 328 339 340 341 344 348 350 353 354 358 a 3 6 7 9 15 18 19 21 24 27 29 30 31 33 35 36 40 45 55 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 94 99 100 101 102 106 107 110 111 112 119 121 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 187 188 192 193 205 207 209 212 213 214 215 216 218 233 236 240 241 243 246 247 252 256 258 262 265 269 273 274 275 278 279 282 285 291 296 302 306 307 312 319 321 324 328 339 340 341 344 348 350 353 354 358 a 3 6 7 9 15 18 19 21 24 27 29 30 31 33 35 40 45 55 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 94 99 100 101 102 106 107 110 111 112 119 121 126 137 138 143 149 150 154 158 161 164 168 169 170 172 174 176 180 183 187 188 192 193 201 205 207 209 212 213 214 215 216 218 233 236 240 241 243 246 247 252 256 258 262 265 269 273 274 275 278 279 282 285 291 296 302 306 307 312 319 321 324 328 339 340 341 344 348 350 353 354 358 a 3 6 7 9 15 18 19 21 24 27 29 30 31 33 35 40 45 55 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 94 99 100 101 102 106 107 110 111 112 119 121 126 137 138 149 150 154 158 161 164 168 169 170 172 174 176 180 183 187 188 192 193 201 205 207 209 212 213 214 215 216 218 233 236 240 241 243 246 247 248 252 256 258 262 265 269 273 274 275 278 279 282 285 291 296 302 306 307 312 319 321 324 328 339 340 341 344 348 350 353 354 358 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 55 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 94 99 100 101 102 106 107 110 111 112 119 121 126 137 138 149 150 154 158 161 164 168 169 172 174 176 180 183 187 188 192 193 201 205 207 209 212 213 214 215 216 218 233 236 240 241 243 246 247 248 252 256 258 262 265 269 273 274 275 278 279 282 285 291 296 302 306 307 312 319 321 324 328 339 340 341 344 348 350 353 354 358 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 55 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 94 99 100 101 102 106 107 110 111 112 119 121 126 137 138 149 150 154 158 161 164 168 169 172 174 176 180 183 187 188 193 201 205 207 209 212 213 214 215 216 218 233 236 240 241 243 246 247 248 252 256 258 262 265 269 273 274 275 278 279 282 285 291 296 302 306 307 312 319 321 324 328 339 340 341 344 348 350 353 354 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 55 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 94 99 100 101 102 106 107 110 111 112 119 121 126 137 138 144 149 150 154 158 161 164 168 169 172 174 176 180 183 187 188 193 201 205 207 209 212 213 214 215 216 218 233 236 240 241 243 246 247 248 252 256 258 262 265 269 273 274 275 278 279 282 285 291 296 302 307 312 319 321 324 328 339 340 341 344 348 350 353 354 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 55 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 94 99 100 101 102 106 107 110 111 112 119 121 126 137 138 144 149 150 154 158 161 164 168 169 172 174 176 180 183 187 188 193 201 205 207 209 212 213 214 215 216 218 233 236 240 241 246 247 248 249 252 256 258 262 265 269 273 274 275 278 279 282 285 291 296 302 307 312 319 321 324 328 339 340 341 344 348 350 353 354 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 55 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 94 99 100 101 102 106 107 110 111 112 119 121 126 137 138 144 149 150 154 158 161 164 168 169 172 174 176 180 183 187 188 193 199 201 205 207 209 212 213 214 215 216 218 233 236 240 241 246 247 248 249 252 256 258 262 265 269 273 274 275 278 279 282 285 291 296 302 307 312 319 321 324 328 339 340 341 348 350 353 354 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 55 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 99 100 101 102 106 107 110 111 112 119 121 126 137 138 144 149 150 154 158 161 164 168 169 172 174 176 180 183 187 188 193 199 201 205 207 209 212 213 214 215 216 218 228 233 236 240 241 246 247 248 249 252 256 258 262 265 269 273 274 275 278 279 282 285 291 296 302 307 312 319 321 324 328 339 340 341 348 350 353 354 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 55 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 99 100 101 102 106 107 110 111 112 119 121 126 137 138 144 149 150 154 158 161 164 168 169 172 174 176 180 183 187 188 193 199 201 205 207 209 212 213 214 215 216 228 233 236 240 241 246 247 248 249 252 256 258 262 265 269 273 274 275 278 279 282 285 291 296 299 302 307 312 319 321 324 328 339 340 341 348 350 353 354 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 55 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 99 100 101 102 106 107 110 111 112 119 121 126 137 138 144 146 149 150 154 158 161 164 168 169 172 174 176 180 183 187 188 193 199 201 205 207 209 212 213 214 215 216 228 233 240 241 246 247 248 249 252 256 258 262 265 269 273 274 275 278 279 282 285 291 296 299 302 307 312 319 321 324 328 339 340 341 348 350 353 354 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 55 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 99 100 101 102 106 107 110 111 112 119 121 126 137 138 144 146 149 150 154 158 161 164 168 169 172 174 176 180 183 187 188 193 199 201 205 207 209 212 213 214 215 216 226 228 233 240 241 246 247 248 249 252 256 258 262 265 269 273 274 275 279 282 285 291 296 299 302 307 312 319 321 324 328 339 340 341 348 350 353 354 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 55 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 99 100 101 102 106 107 110 111 112 119 121 126 137 138 144 146 149 150 154 158 161 164 168 169 172 174 176 180 183 187 188 193 199 201 205 207 209 212 213 214 215 216 226 228 233 240 241 246 247 248 249 252 256 258 262 265 269 273 274 275 279 282 285 291 296 299 302 307 308 312 319 321 324 328 339 340 341 348 350 353 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 55 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 95 99 100 101 102 106 107 110 111 112 119 121 126 137 138 144 146 149 150 154 158 161 168 169 172 174 176 180 183 187 188 193 199 201 205 207 209 212 213 214 215 216 226 228 233 240 241 246 247 248 249 252 256 258 262 265 269 273 274 275 279 282 285 291 296 299 302 307 308 312 319 321 324 328 339 340 341 348 350 353 358 361 a 3 6 7 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 95 99 100 101 106 107 110 111 112 119 121 126 137 138 144 146 149 150 154 158 161 168 169 172 174 176 180 183 187 188 193 199 201 205 207 209 212 213 214 215 216 226 228 233 240 241 246 247 248 249 252 256 258 262 265 269 273 274 275 279 282 285 291 296 299 302 307 308 312 319 321 324 328 339 340 341 348 350 353 358 361 a 3 6 9 15 17 18 19 21 24 27 29 30 31 33 35 40 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 95 99 100 101 106 107 110 111 112 119 121 126 137 138 144 146 149 150 154 158 161 168 169 172 174 176 180 183 187 188 193 199 201 205 207 209 212 213 214 215 216 220 226 228 233 240 241 246 247 248 249 252 256 258 262 265 269 273 274 275 279 282 285 291 296 299 302 307 308 312 319 321 324 328 339 340 341 348 350 353 358 361 a 3 6 9 15 17 18 19 21 24 27 29 30 31 33 35 40 42 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 95 99 100 101 106 107 110 111 112 119 121 126 137 138 144 146 149 150 154 158 161 168 169 172 174 176 180 183 187 188 193 199 201 205 207 209 212 213 214 215 216 220 226 228 233 240 241 246 247 248 249 252 256 258 262 265 269 274 275 279 282 285 291 296 299 302 307 308 312 319 321 324 328 339 340 341 348 350 353 358 361 a 3 6 9 15 17 18 19 21 24 27 29 30 31 33 35 40 42 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 95 99 100 101 106 107 110 111 112 119 121 126 137 138 144 146 149 150 154 158 161 168 169 172 174 176 180 183 187 188 193 199 201 205 207 212 213 214 215 216 220 226 228 233 240 241 246 247 248 249 252 256 258 262 265 269 274 275 279 282 285 291 296 299 302 307 308 312 319 321 324 328 334 339 340 341 348 350 353 358 361 a 3 6 9 15 17 18 19 21 24 27 29 30 31 33 35 40 42 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 95 99 100 101 106 107 110 111 112 119 121 126 137 138 144 146 149 150 154 158 161 168 169 172 174 176 183 187 188 193 199 201 205 207 212 213 214 215 216 220 223 226 228 233 240 241 246 247 248 249 252 256 258 262 265 269 274 275 279 282 285 291 296 299 302 307 308 312 319 321 324 328 334 339 340 341 348 350 353 358 361 a 3 6 9 15 17 18 19 21 24 27 29 30 31 33 35 40 42 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 95 99 100 101 106 107 110 111 112 119 121 126 137 138 144 146 149 150 154 158 161 168 169 172 174 176 183 187 188 193 199 201 205 207 212 213 214 215 216 220 223 226 228 233 240 241 246 247 248 249 252 256 258 262 265 269 270 274 275 279 282 285 291 296 299 302 307 308 312 319 321 324 328 334 340 341 348 350 353 358 361 a 3 6 9 15 17 18 19 21 24 27 29 30 31 33 35 40 42 45 55 56 57 62 63 64 65 69 71 72 75 76 77 79 86 88 89 90 95 99 100 101 106 107 110 111 112 119 121 126 137 138 144 146 149 150 154 155 158 161 168 169 172 174 176 183 187 188 193 199 201 205 207 212 213 214 215 216 220 223 226 228 233 240 241 246 247 248 249 252 256 258 262 265 269 270 274 275 279 282 285 291 296 299 302 307 308 312 319 321 328 334 340 341 348 350 353 358 361 a 3 6 9 15 17 18 19 21 24 27 29 30 31 33 35 40 42 45 47 55 56 57 62 63 64 65 69 71 72 75 76 77 79 86 88 90 95 99 100 101 106 107 110 111 112 119 121 126 137 138 144 146 149 150 154 155 158 161 168 169 172 174 176 183 187 188 193 199 201 205 207 212 213 214 215 216 220 223 226 228 233 240 241 246 247 248 249 252 256 258 262 265 269 270 274 275 279 282 285 291 296 299 302 307 308 312 319 321 328 334 340 341 348 350 353 358 361 a 3 6 9 15 17 18 19 21 24 27 29 30 31 33 35 40 42 45 47 55 56 57 62 63 64 65 69 71 72 75 76 77 86 88 90 95 99 100 101 106 107 110 111 112 119 121 126 137 138 144 146 149 150 154 155 158 161 168 169 172 174 176 183 187 188 193 199 201 205 207 212 213 214 215 216 220 223 226 228 233 234 240 241 246 247 248 249 252 256 258 262 265 269 270 274 275 279 282 285 291 296 299 302 307 308 312 319 321 328 334 340 341 348 350 353 358 361 a 3 6 9 15 17 18 19 21 24 27 29 30 31 33 35 40 42 45 47 55 56 57 62 63 64 65 69 71 72 74 75 76 77 86 88 90 95 99 100 101 106 107 110 111 112 119 121 126 137 138 144 146 149 150 154 155 158 161 168 169 172 174 176 183 187 188 193 199 201 205 207 212 213 214 215 216 220 223 226 228 233 234 240 241 246 247 248 249 252 256 258 262 265 270 274 275 279 282 285 291 296 299 302 307 308 312 319 321 328 334 340 341 348 350 353 358 361 a 3 6 9 15 17 18 19 21 24 27 29 30 31 33 35 40 42 45 47 55 56 57 62 63 64 65 69 71 72 74 75 76 77 86 88 90 95 99 100 101 106 107 110 111 112 119 121 126 137 138 144 146 149 150 154 155 158 161 168 169 172 174 176 183 187 188 193 194 199 201 205 207 212 213 214 215 216 220 223 226 228 233 234 240 241 246 247 248 249 252 256 258 262 265 270 274 275 279 282 285 291 296 299 302 307 308 312 319 328 334 340 341 348 350 353 358 361 a 3 6 9 15 17 18 19 21 24 27 29 30 31 33 35 40 42 45 47 51 55 56 57 62 63 64 65 69 71 72 74 75 76 77 86 88 90 95 99 100 101 106 110 111 112 119 121 126 137 138 144 146 149 150 154 155 158 161 168 169 172 174 176 183 187 188 193 194 199 201 205 207 212 213 214 215 216 220 223 226 228 233 234 240 241 246 247 248 249 252 256 258 262 265 270 274 275 279 282 285 291 296 299 302 307 308 312 319 328 334 340 341 348 350 353 358 361 a 3 6 9 15 17 18 19 21 24 27 29 30 31 33 35 40 42 45 47 51 55 56 57 62 63 64 65 69 71 74 75 76 77 86 88 90 95 99 100 101 106 110 111 112 119 121 126 137 138 141 144 146 149 150 154 155 158 161 168 169 172 174 176 183 187 188 193 194 199 201 205 207 212 213 214 215 216 220 223 226 228 233 234 240 241 246 247 248 249 252 256 258 262 265 270 274 275 279 282 285 291 296 299 302 307 308 312 319 328 334 340 341 348 350 353 358 361 a 3 6 9 17 18 19 21 24 27 29 30 31 33 35 40 42 45 47 51 55 56 57 62 63 64 65 69 71 74 75 76 77 86 88 90 95 99 100 101 106 110 111 112 119 121 126 137 138 141 144 146 149 150 154 155 158 161 168 169 172 174 176 183 187 188 193 194 199 201 205 207 212 213 214 215 216 220 223 226 228 233 234 240 241 246 247 248 249 252 256 258 262 265 270 274 275 279 282 285 291 296 299 302 307 308 312 319 328 334 338 340 341 348 350 353 358 361 a 6 9 17 18 19 21 24 27 29 30 31 33 35 40 42 45 47 51 55 56 57 62 63 64 65 69 71 74 75 76 77 86 88 90 95 99 100 101 106 110 111 112 119 121 126 137 138 141 144 146 149 150 154 155 158 161 168 169 172 174 176 183 187 188 193 194 199 201 205 207 212 213 214 215 216 220 223 224 226 228 233 234 240 241 246 247 248 249 252 256 258 262 265 270 274 275 279 282 285 291 296 299 302 307 308 312 319 328 334 338 340 341 348 350 353 358 361 a 6 9 17 18 19 21 24 27 29 30 31 33 35 40 42 45 47 51 55 56 57 62 63 64 65 69 71 74 75 76 86 88 90 95 99 100 101 106 110 111 112 119 121 126 137 138 141 144 146 149 150 154 155 158 161 168 169 172 174 176 183 187 188 193 194 199 201 205 207 212 213 214 215 216 220 223 224 226 228 233 234 240 241 246 247 248 249 252 256 258 262 265 270 274 275 279 282 285 291 296 299 302 307 308 312 319 328 331 334 338 340 341 348 350 353 358 361 a 6 9 17 18 19 21 24 27 29 30 31 33 35 40 42 45 47 51 55 56 57 62 63 64 65 69 71 74 76 86 88 90 95 99 100 101 106 110 111 112 119 121 126 137 138 141 144 146 149 150 154 155 158 161 168 169 172 174 176 183 187 188 193 194 199 201 205 207 212 213 214 215 216 220 223 224 226 228 233 234 240 241 246 247 248 249 252 256 258 262 265 270 274 275 279 282 285 291 296 299 302 307 308 312 319 323 328 331 334 338 340 341 348 350 353 358 361 a 6 9 17 18 19 21 24 27 29 30 31 33 35 40 42 45 47 51 55 56 57 62 63 64 65 69 71 74 76 86 88 90 95 99 100 101 110 111 112 116 119 121 126 137 138 141 144 146 149 150 154 155 158 161 168 169 172 174 176 183 187 188 193 194 199 201 205 207 212 213 214 215 216 220 223 224 226 228 233 234 240 241 246 247 248 249 252 256 258 262 265 270 274 275 279 282 285 291 296 299 302 307 308 312 319 323 328 331 334 338 340 341 348 350 353 358 361 a 6 9 17 18 19 21 24 27 29 30 31 33 35 40 42 45 47 51 55 56 57 62 63 64 65 69 71 74 76 86 88 90 95 99 100 101 111 112 116 119 121 126 137 138 141 144 146 149 150 154 155 158 161 168 169 172 174 176 183 187 188 193 194 199 201 205 207 212 213 214 215 216 220 223 224 226 228 233 234 240 241 246 247 248 249 252 256 258 262 265 270 274 275 276 279 282 285 291 296 299 302 307 308 312 319 323 328 331 334 338 340 341 348 350 353 358 361 a 6 9 17 18 19 21 24 27 29 30 31 33 35 40 42 45 47 51 55 56 57 62 63 64 69 71 74 76 86 88 90 95 99 100 101 111 112 116 119 121 126 137 138 141 144 146 149 150 154 155 158 161 168 169 172 174 176 183 187 188 193 194 199 201 204 205 207 212 213 214 215 216 220 223 224 226 228 233 234 240 241 246 247 248 249 252 256 258 262 265 270 274 275 276 279 282 285 291 296 299 302 307 308 312 319 323 328 331 334 338 340 341 348 350 353 358 361 a 6 9 17 18 19 21 24 27 29 30 31 33 35 40 42 45 47 51 55 56 57 62 63 64 69 71 74 76 88 90 95 99 100 101 111 112 116 119 121 126 137 138 141 144 146 149 150 154 155 158 161 168 169 172 174 176 183 187 188 193 194 199 201 204 205 207 212 213 214 215 216 220 223 224 226 228 233 234 240 241 246 247 248 249 252 256 258 262 265 270 274 275 276 277 279 282 285 291 296 299 302 307 308 312 319 323 328 331 334 338 340 341 348 350 353 358 361 a 6 9 17 18 19 21 24 27 29 30 31 33 35 40 42 45 47 51 55 56 57 62 63 64 69 71 74 76 88 90 95 99 100 101 111 112 116 119 121 126 137 138 141 144 146 149 150 154 155 158 161 168 169 172 174 176 183 187 188 193 194 199 201 204 205 207 212 213 215 216 220 223 224 226 228 233 234 240 241 246 247 248 249 252 256 258 262 265 270 274 275 276 277 279 282 285 289 291 296 299 302 307 308 312 319 323 328 331 334 338 340 341 348 350 353 358 361 a 6 9 13 17 18 19 21 24 27 29 30 33 35 40 42 45 47 51 55 56 57 62 63 64 69 71 74 76 88 90 95 99 100 101 111 112 116 119 121 126 137 138 141 144 146 149 150 154 155 158 161 168 169 172 174 176 183 187 188 193 194 199 201 204 205 207 212 213 215 216 220 223 224 226 228 233 234 240 241 246 247 248 249 252 256 258 262 265 270 274 275 276 277 279 282 285 289 291 296 299 302 307 308 312 319 323 328 331 334 338 340 341 348 350 353 358 361 a 6 9 13 17 18 19 21 24 27 29 30 33 35 40 42 45 47 51 55 56 57 62 63 64 69 71 74 76 88 90 95 99 100 101 111 112 116 119 121 126 138 141 144 146 149 150 154 155 158 161 168 169 172 174 176 183 187 188 191 193 194 199 201 204 205 207 212 213 215 216 220 223 224 226 228 233 234 240 241 246 247 248 249 252 256 258 262 265 270 274 275 276 277 279 282 285 289 291 296 299 302 307 308 312 319 323 328 331 334 338 340 341 348 350 353 358 361 a 6 9 13 17 18 19 21 24 27 29 30 33 35 40 42 45 47 51 55 56 57 62 63 64 69 71 74 76 88 90 95 99 100 101 111 112 116 119 121 125 126 138 141 144 146 149 150 154 155 158 161 168 169 174 176 183 187 188 191 193 194 199 201 204 205 207 212 213 215 216 220 223 224 226 228 233 234 240 241 246 247 248 249 252 256 258 262 265 270 274 275 276 277 279 282 285 289 291 296 299 302 307 308 312 319 323 328 331 334 338 340 341 348 350 353 358 361 a 6 9 13 17 18 19 21 24 27 29 30 33 35 40 42 45 47 51 55 56 57 62 63 64 69 71 74 76 88 90 95 99 100 101 111 112 116 119 121 125 126 138 141 144 146 149 150 154 155 158 161 168 169 174 176 183 187 188 191 193 194 199 201 204 205 207 212 213 215 216 220 223 224 226 228 233 234 240 241 246 247 248 249 256 258 262 265 270 274 275 276 277 279 282 285 289 291 296 299 302 307 308 312 315 319 323 328 331 334 338 340 341 348 350 353 358 361 a 6 9 13 17 18 19 21 24 27 29 30 33 35 40 42 45 47 51 55 56 57 62 63 64 69 71 74 76 88 90 95 99 100 101 112 116 119 121 125 126 138 141 144 146 149 150 154 155 158 161 168 169 174 176 183 187 188 191 193 194 199 201 204 205 207 212 213 215 216 220 222 223 224 226 228 233 234 240 241 246 247 248 249 256 258 262 265 270 274 275 276 277 279 282 285 289 291 296 299 302 307 308 312 315 319 323 328 331 334 338 340 341 348 350 353 358 361 a 6 9 13 17 18 19 21 24 27 29 30 33 35 40 42 45 47 51 55 56 57 62 63 64 69 71 74 76 88 90 93 95 99 100 101 112 116 119 121 125 126 138 141 144 146 149 150 154 155 158 161 168 169 174 176 183 187 188 191 193 194 199 201 204 205 207 212 213 215 216 220 222 223 224 226 228 234 240 241 246 247 248 249 256 258 262 265 270 274 275 276 277 279 282 285 289 291 296 299 302 307 308 312 315 319 323 328 331 334 338 340 341 348 350 353 358 361 a 6 9 13 17 18 19 21 24 27 29 30 33 35 40 42 45 47 51 55 56 57 62 63 64 69 71 74 76 88 90 93 95 99 100 101 112 116 119 121 125 126 138 141 144 146 149 150 152 154 155 158 161 168 169 174 176 183 187 188 191 193 194 199 201 204 205 207 212 213 215 216 220 222 223 224 226 228 234 240 241 246 247 248 249 256 258 262 265 270 274 275 276 277 279 282 285 289 296 299 302 307 308 312 315 319 323 328 331 334 338 340 341 348 350 353 358 361 a 6 9 13 17 18 19 20 21 24 27 29 30 33 35 40 42 45 47 51 55 56 57 62 63 64 69 71 74 76 88 90 93 95 99 100 101 112 116 119 121 125 126 138 141 144 146 149 150 152 154 155 158 161 168 169 174 176 183 187 188 191 193 194 199 201 204 205 207 212 213 215 216 220 222 223 224 226 228 234 240 241 246 247 248 249 258 262 265 270 274 275 276 277 279 282 285 289 296 299 302 307 308 312 315 319 323 328 331 334 338 340 341 348 350 353 358 361 a 6 9 13 17 18 19 20 21 24 27 29 30 33 35 40 42 45 47 51 55 56 57 59 62 63 64 69 71 74 76 88 90 93 95 99 100 101 112 116 119 121 125 126 138 141 144 146 149 150 152 154 155 158 161 168 169 174 176 183 187 188 191 193 194 199 201 204 207 212 213 215 216 220 222 223 224 226 228 234 240 241 246 247 248 249 258 262 265 270 274 275 276 277 279 282 285 289 296 299 302 307 308 312 315 319 323 328 331 334 338 340 341 348 350 353 358 361 a 6 9 13 17 18 19 20 21 24 27 29 30 33 35 40 42 45 47 51 55 56 57 59 62 63 64 69 71 73 74 76 88 90 93 95 99 100 101 112 116 119 121 125 126 138 141 144 146 149 150 152 154 155 158 161 168 169 174 176 183 187 188 191 193 194 199 201 204 207 212 213 215 216 220 222 223 224 226 228 234 240 241 246 247 248 249 258 262 265 270 274 275 276 277 279 282 289 296 299 302 307 308 312 315 319 323 328 331 334 338 340 341 348 350 353 358 361 a 6 9 13 17 18 19 20 21 24 26 27 29 30 33 35 40 42 45 47 51 55 56 57 59 62 63 64 69 71 73 74 76 88 90 93 95 99 100 101 112 116 119 121 125 126 138 141 144 146 149 150 152 154 155 158 161 168 169 174 176 183 187 188 191 193 194 199 201 204 207 212 213 215 216 220 222 223 224 226 228 234 240 246 247 248 249 258 262 265 270 274 275 276 277 279 282 289 296 299 302 307 308 312 315 319 323 328 331 334 338 340 341 348 350 353 358 361 a 6 9 13 17 18 19 20 21 24 26 27 29 30 33 35 40 42 45 47 51 55 56 57 59 62 63 64 69 71 73 74 76 88 90 93 95 99 100 101 112 116 119 121 125 126 138 141 144 146 149 150 152 154 155 158 161 168 169 174 176 187 188 191 193 194 199 201 204 207 212 213 215 216 220 222 223 224 226 228 234 240 246 247 248 249 258 262 265 270 274 275 276 277 279 281 282 289 296 299 302 307 308 312 315 319 323 328 331 334 338 340 341 348 350 353 358 361 a 6 9 13 17 18 19 20 21 24 26 27 29 30 33 35 40 42 45 47 51 55 56 57 59 62 63 64 69 71 73 74 76 88 90 93 95 99 100 101 112 116 119 121 125 126 138 141 144 146 149 150 152 154 155 158 159 161 168 169 174 176 188 191 193 194 199 201 204 207 212 213 215 216 220 222 223 224 226 228 234 240 246 247 248 249 258 262 265 270 274 275 276 277 279 281 282 289 296 299 302 307 308 312 315 319 323 328 331 334 338 340 341 348 350 353 358 361 a 6 9 13 17 18 19 20 21 24 26 27 29 30 33 35 40 42 45 47 51 55 56 57 59 62 63 64 69 71 73 74 76 88 90 93 95 99 100 101 112 116 119 121 122 125 126 138 141 144 146 149 150 152 154 155 158 159 161 168 169 174 176 191 193 194 199 201 204 207 212 213 215 216 220 222 223 224 226 228 234 240 246 247 248 249 258 262 265 270 274 275 276 277 279 281 282 289 296 299 302 307 308 312 315 319 323 328 331 334 338 340 341 348 350 353 358 361 a 6 9 13 17 18 19 20 21 24 26 27 29 30 33 35 40 42 45 47 51 55 56 57 59 62 63 64 69 71 73 74 76 88 90 93 95 99 100 101 112 116 119 121 122 124 125 126 138 141 144 146 149 150 152 154 155 158 159 161 168 169 174 176 191 193 194 199 201 204 207 213 215 216 220 222 223 224 226 228 234 240 246 247 248 249 258 262 265 270 274 275 276 277 279 281 282 289 296 299 302 307 308 312 315 319 323 328 331 334 338 340 341 348 350 353 358 361 a 6 9 13 17 18 19 20 21 24 26 27 29 30 33 35 40 42 45 47 51 55 56 57 59 62 63 64 69 71 73 74 76 88 90 93 95 99 100 101 112 116 119 121 122 124 125 126 138 141 144 146 149 150 152 154 155 158 159 161 168 169 174 176 191 193 194 199 201 204 207 213 215 216 220 222 223 224 226 228 234 240 246 247 248 249 258 262 265 270 274 275 276 277 279 281 282 289 296 298 299 302 307 308 312 315 319 323 328 331 334 338 340 341 348 350 358 361 c Step: 64 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance028_graph001.col /benchmark/random_instance/random_instance028_graph001_01.dat" User time (seconds): 61.48 System time (seconds): 0.06 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:01.56 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 116224 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 59295 Voluntary context switches: 20 Involuntary context switches: 363 Swaps: 0 File system inputs: 0 File system outputs: 416 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 01:00:58 2023]