#BEGIN: [Mon Sep 4 12:54:48 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance026_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance026_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /benchmark/random_instance/random_instance026_graph003.col /benchmark/random_instance/random_instance026_graph003_01.dat c /benchmark/random_instance/random_instance026_graph003.col c /benchmark/random_instance/random_instance026_graph003_01.dat *** Info : (clingo): INTERRUPTED by signal! s 131 319 126 182 53 120 257 245 192 123 22 136 157 101 78 154 66 153 49 20 173 194 307 77 48 141 56 16 174 139 118 183 80 211 292 248 90 36 92 98 309 177 14 156 283 74 112 46 45 39 152 132 109 272 313 59 163 175 147 164 327 99 127 178 331 288 226 215 69 94 52 130 271 5 255 19 233 145 47 37 335 113 67 310 168 281 318 63 278 26 221 32 187 12 82 304 150 70 329 165 95 301 244 314 302 179 193 181 129 227 t 39 3 268 167 316 280 180 69 147 101 152 192 210 335 177 221 311 5 139 184 151 75 123 55 143 22 53 77 33 54 271 324 102 158 252 197 285 109 24 105 332 23 138 263 46 214 183 266 60 300 20 90 309 128 48 243 233 267 166 326 244 304 10 56 238 26 135 82 61 34 288 196 43 36 227 207 330 86 296 28 136 98 70 312 245 108 153 297 18 299 130 12 111 179 262 226 181 178 239 222 329 157 172 129 93 175 206 32 301 127 a YES a 5 12 14 16 19 20 22 26 32 36 37 39 45 46 47 48 49 52 53 56 59 63 66 67 69 70 74 77 78 80 82 90 92 94 95 98 99 101 109 112 113 118 120 123 126 127 129 130 131 132 136 139 141 145 147 150 152 153 154 156 157 163 164 165 168 173 174 175 177 178 179 181 182 183 187 192 193 194 211 215 221 226 227 233 244 245 248 255 257 271 272 278 281 283 288 292 301 302 304 307 309 310 313 314 318 319 327 329 331 335 a 5 12 14 16 19 20 22 26 32 36 37 39 45 46 47 48 49 52 53 56 59 63 66 67 69 70 74 77 78 80 82 90 92 94 95 98 99 101 109 112 113 118 120 123 126 127 129 130 131 132 136 139 141 145 147 150 152 153 156 157 163 164 165 168 173 174 175 177 178 179 181 182 183 187 192 193 194 211 215 221 226 227 233 244 245 248 255 257 271 272 278 281 283 288 292 297 301 302 304 307 309 310 313 314 318 319 327 329 331 335 a 5 12 14 16 19 20 22 26 32 36 37 39 45 46 47 48 49 52 53 56 59 63 66 67 69 70 74 77 78 80 82 90 92 94 95 98 99 101 109 112 113 118 120 123 126 127 129 130 131 132 136 139 141 145 147 150 152 153 154 156 157 163 164 165 168 173 174 175 177 178 179 181 182 183 187 192 193 194 211 215 221 226 227 233 244 245 248 255 257 271 272 278 281 283 288 292 301 302 304 307 309 310 313 314 318 319 327 329 331 335 a 5 12 14 16 19 20 22 26 32 36 37 39 45 46 47 48 49 52 53 56 59 60 63 66 67 69 70 74 77 78 80 82 90 92 94 95 98 101 109 112 113 118 120 123 126 127 129 130 131 132 136 139 141 145 147 150 152 153 154 156 157 163 164 165 168 173 174 175 177 178 179 181 182 183 187 192 193 194 211 215 221 226 227 233 244 245 248 255 257 271 272 278 281 283 288 292 301 302 304 307 309 310 313 314 318 319 327 329 331 335 a 5 12 14 16 18 19 20 22 26 32 36 39 45 46 47 48 49 52 53 56 59 60 63 66 67 69 70 74 77 78 80 82 90 92 94 95 98 101 109 112 113 118 120 123 126 127 129 130 131 132 136 139 141 145 147 150 152 153 154 156 157 163 164 165 168 173 174 175 177 178 179 181 182 183 187 192 193 194 211 215 221 226 227 233 244 245 248 255 257 271 272 278 281 283 288 292 301 302 304 307 309 310 313 314 318 319 327 329 331 335 a 5 12 14 16 18 19 20 22 26 32 36 39 45 46 47 48 49 52 53 56 59 60 63 66 67 69 70 74 77 78 80 82 90 92 94 95 98 101 109 112 113 118 120 123 126 127 129 130 131 132 136 139 141 145 147 150 152 153 154 156 157 163 164 165 168 173 174 175 177 178 179 181 182 183 184 187 192 193 194 211 215 221 226 227 233 244 245 255 257 271 272 278 281 283 288 292 301 302 304 307 309 310 313 314 318 319 327 329 331 335 a 5 12 14 16 18 19 20 22 26 32 36 39 45 46 47 48 49 52 53 56 59 60 63 66 67 69 70 74 77 78 80 82 90 92 94 95 98 101 109 112 113 118 120 123 126 127 129 130 131 136 139 141 145 147 150 152 153 154 156 157 163 164 165 168 173 174 175 177 178 179 181 182 183 184 187 192 193 194 211 215 221 226 227 233 244 245 255 257 271 272 278 281 283 288 292 301 302 304 307 309 310 312 313 314 318 319 327 329 331 335 a 5 12 14 16 18 19 20 22 26 32 36 39 45 46 47 48 49 52 53 56 59 60 63 66 67 69 70 74 77 78 80 82 90 92 94 95 98 101 105 109 112 113 118 120 123 126 127 129 130 131 136 139 141 145 147 150 152 153 154 156 157 163 164 165 168 173 174 175 177 178 179 181 182 183 184 187 192 193 194 211 215 221 226 227 233 244 245 255 257 271 272 278 281 283 288 301 302 304 307 309 310 312 313 314 318 319 327 329 331 335 a 5 12 14 16 18 19 20 22 26 32 36 39 45 46 47 48 49 52 53 55 56 59 60 63 66 67 69 70 74 77 78 80 82 90 92 94 95 98 101 105 109 112 113 118 120 123 126 127 129 130 131 136 139 141 145 147 150 152 153 156 157 163 164 165 168 173 174 175 177 178 179 181 182 183 184 187 192 193 194 211 215 221 226 227 233 244 245 255 257 271 272 278 281 283 288 301 302 304 307 309 310 312 313 314 318 319 327 329 331 335 a 5 12 14 16 18 19 20 22 26 32 36 39 45 46 47 48 49 52 53 55 56 59 60 63 66 67 69 70 74 77 78 80 82 90 92 94 95 98 101 105 109 112 113 118 120 123 126 127 129 130 131 136 139 141 145 147 150 152 153 156 157 163 164 165 168 173 174 175 177 178 179 181 182 183 184 187 192 193 194 211 215 221 226 227 233 245 255 257 271 272 278 281 283 288 297 301 302 304 307 309 310 312 313 314 318 319 327 329 331 335 a 5 12 14 16 18 19 20 22 26 32 36 39 45 46 47 48 49 52 53 55 56 59 60 63 66 67 69 70 74 77 78 80 82 90 92 94 95 98 101 105 109 113 118 120 123 126 127 129 130 131 136 139 141 145 147 150 152 153 156 157 163 164 165 168 173 174 175 177 178 179 181 182 183 184 187 192 193 194 211 215 221 226 227 233 245 255 257 271 272 278 281 283 288 297 301 302 304 307 309 310 312 313 314 318 319 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 33 36 39 45 46 47 48 49 52 53 55 56 59 60 63 66 67 69 70 74 77 78 80 82 90 92 94 95 98 101 105 109 113 118 120 123 126 127 129 130 131 136 139 141 145 147 150 152 153 156 157 163 164 165 168 173 174 175 177 178 179 181 182 183 184 187 192 193 194 211 215 221 226 227 233 245 255 257 271 272 278 281 283 288 297 301 302 304 307 309 310 312 313 314 318 319 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 33 36 39 45 46 47 48 49 52 53 55 56 59 60 63 66 67 69 70 74 77 78 80 82 90 94 95 98 101 105 109 113 118 120 123 126 127 129 130 131 136 139 141 145 147 150 152 153 156 157 163 164 165 168 173 174 175 177 178 179 181 182 183 184 187 192 193 194 211 215 221 226 227 233 238 245 255 257 271 272 278 281 283 288 297 301 302 304 307 309 310 312 313 314 318 319 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 33 36 39 45 46 47 48 49 52 53 55 56 59 60 63 66 67 69 70 74 77 78 80 82 90 94 95 98 101 105 109 113 118 120 123 126 127 129 130 131 136 139 141 145 147 150 152 153 156 157 163 164 165 168 174 175 177 178 179 181 182 183 184 187 192 193 194 211 215 221 226 227 233 238 245 255 257 268 271 272 278 281 283 288 297 301 302 304 307 309 310 312 313 314 318 319 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 33 36 39 45 46 47 48 49 52 53 55 56 59 60 63 66 67 69 70 74 77 78 80 82 90 94 95 98 101 105 109 113 118 120 123 126 127 129 130 131 136 139 141 145 147 152 153 156 157 163 164 165 168 174 175 177 178 179 181 182 183 184 187 192 193 194 211 215 221 226 227 233 238 245 255 257 268 271 272 278 280 281 283 288 297 301 302 304 307 309 310 312 313 314 318 319 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 33 36 39 45 46 47 48 49 52 53 55 56 59 60 63 66 67 69 70 74 77 78 80 82 90 94 95 98 101 105 109 113 118 120 123 126 127 129 130 131 136 139 141 145 147 152 153 156 157 163 164 165 168 174 175 177 178 179 181 182 183 184 187 192 193 194 215 221 226 227 233 238 245 255 257 268 271 272 278 280 281 283 288 297 301 302 304 307 309 310 312 313 314 318 319 324 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 33 36 39 45 46 47 48 49 52 53 55 56 59 60 63 66 67 69 70 74 77 78 80 82 90 94 95 98 101 105 109 113 118 120 123 126 127 129 130 131 136 139 141 145 147 152 153 157 163 164 165 168 174 175 177 178 179 181 182 183 184 187 192 193 194 215 221 226 227 233 238 245 255 257 262 268 271 272 278 280 281 283 288 297 301 302 304 307 309 310 312 313 314 318 319 324 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 33 34 36 39 45 46 48 49 52 53 55 56 59 60 63 66 67 69 70 74 77 78 80 82 90 94 95 98 101 105 109 113 118 120 123 126 127 129 130 131 136 139 141 145 147 152 153 157 163 164 165 168 174 175 177 178 179 181 182 183 184 187 192 193 194 215 221 226 227 233 238 245 255 257 262 268 271 272 278 280 281 283 288 297 301 302 304 307 309 310 312 313 314 318 319 324 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 33 34 36 39 45 46 48 49 52 53 55 56 59 60 63 66 67 69 70 74 77 78 80 82 90 94 95 98 101 105 109 113 118 120 123 126 127 128 129 130 131 136 139 141 145 147 152 153 157 163 164 165 168 174 175 177 178 179 181 183 184 187 192 193 194 215 221 226 227 233 238 245 255 257 262 268 271 272 278 280 281 283 288 297 301 302 304 307 309 310 312 313 314 318 319 324 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 33 34 36 39 45 46 48 49 52 53 55 56 59 60 63 66 69 70 74 77 78 80 82 90 94 95 98 101 105 109 113 118 120 123 126 127 128 129 130 131 136 139 141 145 147 152 153 157 163 164 165 168 174 175 177 178 179 181 183 184 187 192 193 194 215 221 226 227 233 238 245 255 257 262 266 268 271 272 278 280 281 283 288 297 301 302 304 307 309 310 312 313 314 318 319 324 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 33 34 36 39 45 46 48 49 52 53 55 56 59 60 63 66 69 70 74 77 78 80 82 90 94 95 98 101 102 105 109 113 118 120 123 126 127 128 129 130 131 136 139 141 145 147 152 153 157 164 165 168 174 175 177 178 179 181 183 184 187 192 193 194 215 221 226 227 233 238 245 255 257 262 266 268 271 272 278 280 281 283 288 297 301 302 304 307 309 310 312 313 314 318 319 324 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 33 34 36 39 45 46 48 49 52 53 55 56 59 60 63 66 69 70 74 77 78 80 82 90 95 98 101 102 105 109 113 118 120 123 126 127 128 129 130 131 136 139 141 145 147 152 153 157 164 165 168 174 175 177 178 179 181 183 184 187 192 193 194 207 215 221 226 227 233 238 245 255 257 262 266 268 271 272 278 280 281 283 288 297 301 302 304 307 309 310 312 313 314 318 319 324 327 329 331 332 335 a 5 12 16 18 19 20 22 26 32 33 34 36 39 45 46 48 49 52 53 55 56 59 60 63 66 69 70 74 77 78 80 82 90 95 98 101 102 105 109 113 118 120 123 126 127 128 129 130 131 136 139 141 145 147 152 153 157 164 165 168 174 175 177 178 179 181 183 184 187 192 193 194 207 215 221 226 227 233 238 245 255 257 262 266 268 271 272 278 280 281 283 288 297 301 302 304 307 309 312 313 314 318 319 324 326 327 329 331 332 335 a 5 12 16 18 19 20 22 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 63 66 69 70 74 77 78 80 82 90 95 98 101 102 105 109 113 118 120 123 126 127 128 129 130 131 136 139 141 145 147 152 153 157 164 165 168 174 175 177 178 179 181 183 184 187 192 193 194 207 215 221 226 227 233 238 245 255 257 262 266 268 271 272 278 280 281 283 288 297 301 302 304 307 309 312 313 314 318 319 324 326 327 329 331 332 335 a 5 12 16 18 19 20 22 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 63 66 69 70 74 77 78 80 82 90 95 98 101 102 105 109 113 118 120 123 126 127 128 129 130 131 136 139 141 145 147 152 153 157 164 165 168 174 175 177 178 179 181 183 184 187 192 193 194 207 215 221 226 227 233 238 245 255 257 262 266 267 268 271 272 278 280 281 283 288 297 301 302 304 307 309 312 313 314 318 319 324 326 329 331 332 335 a 5 12 16 18 19 20 22 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 63 66 69 70 74 77 78 80 82 90 95 98 101 102 105 109 113 118 120 123 126 127 128 129 130 131 136 139 141 145 147 152 153 157 164 165 168 174 175 177 178 179 181 183 184 187 192 193 194 207 215 221 226 227 233 238 245 255 257 262 266 267 268 271 278 280 281 283 288 296 297 301 302 304 307 309 312 313 314 318 319 324 326 329 331 332 335 a 5 12 16 18 19 20 22 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 63 66 69 70 74 77 78 80 82 90 95 98 101 102 105 109 113 118 120 123 126 127 128 129 130 131 136 139 141 145 147 152 153 157 164 165 168 174 175 177 178 179 181 183 184 187 192 193 194 207 214 215 221 226 227 233 238 245 255 262 266 267 268 271 278 280 281 283 288 296 297 301 302 304 307 309 312 313 314 318 319 324 326 329 331 332 335 a 5 12 16 18 19 20 22 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 63 66 69 70 74 77 78 80 82 90 95 98 101 102 105 109 113 118 120 123 126 127 128 129 130 131 136 139 141 145 147 152 153 157 164 165 168 175 177 178 179 181 183 184 187 192 193 194 207 214 215 221 226 227 233 238 245 255 262 266 267 268 271 278 280 281 283 288 296 297 301 302 304 307 309 312 313 314 318 319 324 326 329 330 331 332 335 a 5 12 16 18 19 20 22 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 66 69 70 74 77 78 80 82 90 95 98 101 102 105 109 113 118 120 123 126 127 128 129 130 131 136 139 141 145 147 152 153 157 164 165 168 175 177 178 179 181 183 184 187 192 193 194 207 214 215 221 226 227 233 238 239 245 255 262 266 267 268 271 278 280 281 283 288 296 297 301 302 304 307 309 312 313 314 318 319 324 326 329 330 331 332 335 a 5 12 16 18 19 20 22 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 66 69 70 74 77 78 80 82 90 95 98 101 102 105 109 113 118 120 123 127 128 129 130 131 136 139 141 145 147 152 153 157 164 165 168 175 177 178 179 181 183 184 187 192 193 194 207 214 215 221 226 227 233 238 239 245 255 262 266 267 268 271 278 280 281 283 288 296 297 300 301 302 304 307 309 312 313 314 318 319 324 326 329 330 331 332 335 a 5 12 16 18 19 20 22 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 66 69 70 74 77 78 80 82 90 95 98 101 102 105 109 113 118 120 123 127 128 129 130 131 136 139 145 147 152 153 157 164 165 168 175 177 178 179 181 183 184 187 192 193 194 207 214 215 221 226 227 233 238 239 245 255 262 263 266 267 268 271 278 280 281 283 288 296 297 300 301 302 304 307 309 312 313 314 318 319 324 326 329 330 331 332 335 a 5 12 16 18 19 20 22 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 66 69 70 74 77 78 80 82 90 95 98 101 102 105 109 118 120 123 127 128 129 130 131 136 139 145 147 152 153 157 164 165 168 175 177 178 179 181 183 184 187 192 193 194 207 214 215 221 226 227 233 238 239 244 245 255 262 263 266 267 268 271 278 280 281 283 288 296 297 300 301 302 304 307 309 312 313 314 318 319 324 326 329 330 331 332 335 a 5 12 16 18 19 20 22 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 66 69 70 74 77 78 80 82 90 95 98 101 102 105 109 118 120 123 127 128 129 130 131 136 139 145 147 152 153 157 164 165 175 177 178 179 181 183 184 187 192 193 194 206 207 214 215 221 226 227 233 238 239 244 245 255 262 263 266 267 268 271 278 280 281 283 288 296 297 300 301 302 304 307 309 312 313 314 318 319 324 326 329 330 331 332 335 a 5 12 16 18 19 20 22 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 66 69 70 74 77 78 80 82 90 95 98 101 102 105 109 120 123 127 128 129 130 131 136 139 145 147 152 153 157 164 165 175 177 178 179 181 183 184 187 192 193 194 206 207 214 215 221 226 227 233 238 239 244 245 255 262 263 266 267 268 271 278 280 281 283 288 296 297 299 300 301 302 304 307 309 312 313 314 318 319 324 326 329 330 331 332 335 a 5 12 16 18 19 20 22 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 66 69 70 77 78 80 82 90 95 98 101 102 105 109 120 123 127 128 129 130 131 136 139 143 145 147 152 153 157 164 165 175 177 178 179 181 183 184 187 192 193 194 206 207 214 215 221 226 227 233 238 239 244 245 255 262 263 266 267 268 271 278 280 281 283 288 296 297 299 300 301 302 304 307 309 312 313 314 318 319 324 326 329 330 331 332 335 a 5 12 16 18 19 20 22 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 66 69 70 77 78 80 82 90 95 98 101 102 105 109 120 123 127 128 129 130 131 136 139 143 145 147 151 152 153 157 164 165 175 177 178 179 181 183 184 187 192 193 194 206 207 214 215 221 226 227 233 238 239 244 245 255 262 263 266 267 268 271 278 280 283 288 296 297 299 300 301 302 304 307 309 312 313 314 318 319 324 326 329 330 331 332 335 a 5 12 16 18 19 20 22 23 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 66 69 70 77 78 80 82 90 95 98 101 102 105 109 120 123 127 128 129 130 131 136 139 143 145 147 151 152 153 157 164 165 175 177 178 179 181 183 184 187 192 193 194 206 207 214 215 221 226 227 233 238 239 244 245 255 262 263 266 267 268 271 278 280 283 288 296 297 299 300 301 304 307 309 312 313 314 318 319 324 326 329 330 331 332 335 a 5 12 16 18 19 20 22 23 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 66 69 70 77 78 80 82 90 95 98 101 102 105 109 123 127 128 129 130 131 136 139 143 145 147 151 152 153 157 164 165 175 177 178 179 181 183 184 187 192 193 194 196 206 207 214 215 221 226 227 233 238 239 244 245 255 262 263 266 267 268 271 278 280 283 288 296 297 299 300 301 304 307 309 312 313 314 318 319 324 326 329 330 331 332 335 a 5 12 16 18 19 20 22 23 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 66 69 70 77 78 80 82 90 95 98 101 102 105 109 123 127 128 129 130 136 139 143 145 147 151 152 153 157 164 165 167 175 177 178 179 181 183 184 187 192 193 194 196 206 207 214 215 221 226 227 233 238 239 244 245 255 262 263 266 267 268 271 278 280 283 288 296 297 299 300 301 304 307 309 312 313 314 318 319 324 326 329 330 331 332 335 a 5 12 16 18 19 20 22 23 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 66 69 70 77 78 80 82 90 95 98 101 102 105 108 109 123 127 128 129 130 136 139 143 145 147 151 152 153 157 164 165 167 175 177 178 179 181 183 184 187 192 193 194 196 206 207 214 215 221 226 227 233 238 239 244 245 255 262 263 266 267 268 271 278 280 283 288 296 297 299 300 301 304 307 309 312 314 318 319 324 326 329 330 331 332 335 a 5 12 16 18 19 20 22 23 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 66 69 70 77 78 80 82 86 90 95 98 101 102 105 108 109 123 127 128 129 130 136 139 143 145 147 151 152 153 157 164 165 167 175 177 178 179 181 183 184 187 192 193 194 196 206 207 214 215 221 226 227 233 238 239 244 245 255 262 263 266 267 268 271 278 280 283 288 296 297 299 300 301 304 307 309 312 314 319 324 326 329 330 331 332 335 a 5 12 16 18 19 20 22 23 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 66 69 70 77 78 80 82 86 90 95 98 101 102 105 108 109 123 127 128 129 130 136 139 143 145 147 151 152 153 157 164 165 167 175 177 178 179 181 183 184 187 192 193 194 196 206 207 214 215 221 226 227 233 238 239 244 245 255 262 263 266 267 268 271 280 283 285 288 296 297 299 300 301 304 307 309 312 314 319 324 326 329 330 331 332 335 a 5 12 16 18 19 20 22 23 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 66 69 70 77 78 80 82 86 90 95 98 101 102 105 108 109 123 127 128 129 130 136 138 139 143 145 147 151 152 153 157 164 165 167 175 177 178 179 181 183 184 192 193 194 196 206 207 214 215 221 226 227 233 238 239 244 245 255 262 263 266 267 268 271 280 283 285 288 296 297 299 300 301 304 307 309 312 314 319 324 326 329 330 331 332 335 a 5 12 16 18 19 20 22 23 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 66 69 70 75 77 78 80 82 86 90 95 98 101 102 105 108 109 123 127 128 129 130 136 138 139 143 145 147 151 152 153 157 164 165 167 175 177 178 179 181 183 184 192 194 196 206 207 214 215 221 226 227 233 238 239 244 245 255 262 263 266 267 268 271 280 283 285 288 296 297 299 300 301 304 307 309 312 314 319 324 326 329 330 331 332 335 a 5 12 18 19 20 22 23 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 66 69 70 75 77 78 80 82 86 90 95 98 101 102 105 108 109 123 127 128 129 130 136 138 139 143 145 147 151 152 153 157 164 165 167 175 177 178 179 181 183 184 192 194 196 206 207 214 215 221 226 227 233 238 239 243 244 245 255 262 263 266 267 268 271 280 283 285 288 296 297 299 300 301 304 307 309 312 314 319 324 326 329 330 331 332 335 a 5 12 18 19 20 22 23 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 66 69 70 75 77 78 80 82 86 90 95 98 101 102 105 108 109 123 127 128 129 130 136 138 139 143 145 147 151 152 153 157 164 165 167 175 177 178 179 181 183 184 192 194 196 206 207 214 221 226 227 233 238 239 243 244 245 252 255 262 263 266 267 268 271 280 283 285 288 296 297 299 300 301 304 307 309 312 314 319 324 326 329 330 331 332 335 a 5 12 18 19 20 22 23 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 66 69 70 75 77 78 80 82 86 90 95 98 101 102 105 108 109 123 127 128 129 130 136 138 139 143 145 147 151 152 153 157 165 167 175 177 178 179 181 183 184 192 194 196 206 207 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 267 268 271 280 283 285 288 296 297 299 300 301 304 307 309 312 314 319 324 326 329 330 331 332 335 a 5 12 18 19 20 22 23 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 66 69 70 75 77 78 80 82 86 90 95 98 101 102 105 108 109 123 127 128 129 130 136 138 139 143 145 147 151 152 153 157 165 167 175 177 178 179 180 181 183 184 192 194 196 206 207 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 267 268 271 280 285 288 296 297 299 300 301 304 307 309 312 314 319 324 326 329 330 331 332 335 a 5 12 18 19 20 22 23 24 26 32 33 34 36 39 46 48 49 52 53 55 56 59 60 66 69 70 75 77 78 80 82 86 90 93 98 101 102 105 108 109 123 127 128 129 130 136 138 139 143 145 147 151 152 153 157 165 167 175 177 178 179 180 181 183 184 192 194 196 206 207 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 267 268 271 280 285 288 296 297 299 300 301 304 307 309 312 314 319 324 326 329 330 331 332 335 a 5 12 18 19 20 22 23 24 26 32 33 34 36 39 46 48 52 53 55 56 59 60 66 69 70 75 77 78 80 82 86 90 93 98 101 102 105 108 109 123 127 128 129 130 135 136 138 139 143 145 147 151 152 153 157 165 167 175 177 178 179 180 181 183 184 192 194 196 206 207 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 267 268 271 280 285 288 296 297 299 300 301 304 307 309 312 314 319 324 326 329 330 331 332 335 a 5 12 18 19 20 22 23 24 26 32 33 34 36 39 46 48 52 53 55 56 59 60 66 69 70 75 77 78 80 82 86 90 93 98 101 102 105 108 109 123 127 128 129 130 135 136 138 139 143 145 147 151 152 153 157 167 172 175 177 178 179 180 181 183 184 192 194 196 206 207 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 267 268 271 280 285 288 296 297 299 300 301 304 307 309 312 314 319 324 326 329 330 331 332 335 a 5 12 18 19 20 22 23 24 26 32 33 34 36 39 46 48 52 53 55 56 59 60 61 66 69 70 75 77 80 82 86 90 93 98 101 102 105 108 109 123 127 128 129 130 135 136 138 139 143 145 147 151 152 153 157 167 172 175 177 178 179 180 181 183 184 192 194 196 206 207 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 267 268 271 280 285 288 296 297 299 300 301 304 307 309 312 314 319 324 326 329 330 331 332 335 a 3 5 12 18 19 20 22 23 24 26 32 33 34 36 39 46 48 52 53 55 56 59 60 61 66 69 70 75 77 80 82 86 90 93 98 101 102 105 108 109 123 127 128 129 130 135 136 138 139 143 145 147 151 152 153 157 167 172 175 177 178 179 180 181 183 184 192 194 196 206 207 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 267 268 271 280 285 288 296 297 299 300 301 304 309 312 314 319 324 326 329 330 331 332 335 a 3 5 12 18 19 20 22 23 24 26 32 33 34 36 39 43 46 48 52 53 55 56 59 60 61 66 69 70 75 77 80 82 86 90 93 98 101 102 105 108 109 123 127 128 129 130 135 136 138 139 143 145 147 151 152 153 157 167 172 175 177 178 179 180 181 183 184 192 194 196 206 207 214 221 222 226 227 233 238 239 243 244 245 252 255 262 263 266 267 268 271 280 285 288 296 297 299 300 301 304 309 312 314 324 326 329 330 331 332 335 a 3 5 12 18 19 20 22 23 24 26 32 33 34 36 39 43 46 48 52 53 55 56 59 60 61 66 69 70 75 77 80 82 86 90 93 98 101 102 105 108 109 123 127 128 129 130 135 136 138 139 143 145 147 151 152 153 157 167 172 175 177 178 179 180 181 183 184 192 194 196 206 207 214 221 222 226 227 233 238 239 243 244 245 252 262 263 266 267 268 271 280 285 288 296 297 299 300 301 304 309 312 314 316 324 326 329 330 331 332 335 a 3 5 12 18 19 20 22 23 24 26 32 33 34 36 39 43 46 48 52 53 55 56 59 60 61 66 69 70 75 77 80 82 86 90 93 98 101 102 105 108 109 123 127 128 129 130 135 136 138 139 143 145 147 151 152 153 157 167 172 175 177 178 179 180 181 183 184 192 196 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 262 263 266 267 268 271 280 285 288 296 297 299 300 301 304 309 312 314 316 324 326 329 330 331 332 335 a 3 5 12 18 20 22 23 24 26 32 33 34 36 39 43 46 48 52 53 54 55 56 59 60 61 66 69 70 75 77 80 82 86 90 93 98 101 102 105 108 109 123 127 128 129 130 135 136 138 139 143 145 147 151 152 153 157 167 172 175 177 178 179 180 181 183 184 192 196 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 262 263 266 267 268 271 280 285 288 296 297 299 300 301 304 309 312 314 316 324 326 329 330 331 332 335 a 3 5 12 18 20 22 23 24 26 28 32 33 34 36 39 43 46 48 52 53 54 55 56 59 60 61 66 69 70 75 77 80 82 86 90 93 98 101 102 105 108 109 123 127 128 129 130 135 136 138 139 143 145 147 151 152 153 157 167 172 175 177 178 179 180 181 183 184 192 196 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 262 263 266 267 268 271 280 285 288 296 297 299 300 301 304 309 312 314 316 324 326 329 330 332 335 a 3 5 12 18 20 22 23 24 26 28 32 33 34 36 39 43 46 48 52 53 54 55 56 59 60 61 66 69 70 75 77 80 82 86 90 93 98 101 102 105 108 109 123 127 128 129 130 135 136 138 139 143 147 151 152 153 157 158 167 172 175 177 178 179 180 181 183 184 192 196 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 262 263 266 267 268 271 280 285 288 296 297 299 300 301 304 309 312 314 316 324 326 329 330 332 335 a 3 5 12 18 20 22 23 24 26 28 32 33 34 36 39 43 46 48 52 53 54 55 56 59 60 61 66 69 70 75 77 80 82 86 90 93 98 101 102 105 108 109 123 127 128 129 130 135 136 138 139 143 147 151 152 153 157 158 166 167 172 175 177 178 179 180 181 183 184 192 196 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 262 263 266 267 268 271 280 285 288 296 297 299 300 301 304 309 312 316 324 326 329 330 332 335 a 3 5 12 18 20 22 23 24 26 28 32 33 34 36 39 43 46 48 53 54 55 56 59 60 61 66 69 70 75 77 80 82 86 90 93 98 101 102 105 108 109 123 127 128 129 130 135 136 138 139 143 147 151 152 153 157 158 166 167 172 175 177 178 179 180 181 183 184 192 196 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 262 263 266 267 268 271 280 285 288 296 297 299 300 301 304 309 311 312 316 324 326 329 330 332 335 a 3 5 12 18 20 22 23 24 26 28 32 33 34 36 39 43 46 48 53 54 55 56 59 60 61 69 70 75 77 80 82 86 90 93 98 101 102 105 108 109 123 127 128 129 130 135 136 138 139 143 147 151 152 153 157 158 166 167 172 175 177 178 179 180 181 183 184 192 196 197 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 262 263 266 267 268 271 280 285 288 296 297 299 300 301 304 309 311 312 316 324 326 329 330 332 335 a 3 5 12 18 20 22 23 24 26 28 32 33 34 36 39 43 46 48 53 54 55 56 60 61 69 70 75 77 80 82 86 90 93 98 101 102 105 108 109 111 123 127 128 129 130 135 136 138 139 143 147 151 152 153 157 158 166 167 172 175 177 178 179 180 181 183 184 192 196 197 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 262 263 266 267 268 271 280 285 288 296 297 299 300 301 304 309 311 312 316 324 326 329 330 332 335 a 3 5 10 12 18 20 22 23 24 26 28 32 33 34 36 39 43 46 48 53 54 55 56 60 61 69 70 75 77 82 86 90 93 98 101 102 105 108 109 111 123 127 128 129 130 135 136 138 139 143 147 151 152 153 157 158 166 167 172 175 177 178 179 180 181 183 184 192 196 197 206 207 210 214 221 222 226 227 233 238 239 243 244 245 252 262 263 266 267 268 271 280 285 288 296 297 299 300 301 304 309 311 312 316 324 326 329 330 332 335 c Step: 63 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance026_graph003.col /benchmark/random_instance/random_instance026_graph003_01.dat" User time (seconds): 61.05 System time (seconds): 0.06 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:01.12 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): 108240 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 54183 Voluntary context switches: 24 Involuntary context switches: 336 Swaps: 0 File system inputs: 0 File system outputs: 392 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:55:49 2023]