#BEGIN: [Mon Sep 4 10:34:04 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance027_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance027_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_instance027_graph001.col /benchmark/random_instance/random_instance027_graph001_01.dat c /benchmark/random_instance/random_instance027_graph001.col c /benchmark/random_instance/random_instance027_graph001_01.dat *** Info : (clingo): INTERRUPTED by signal! s 118 328 278 227 217 320 253 70 294 119 222 261 221 301 57 160 4 51 178 100 117 322 79 267 247 235 88 331 137 245 248 264 185 61 306 113 75 231 300 189 97 157 177 345 280 43 259 93 134 276 244 340 316 148 53 107 232 164 224 166 287 334 64 23 302 123 109 229 121 183 343 44 22 191 333 66 13 128 242 122 120 240 32 170 39 132 138 71 87 252 52 187 9 275 2 239 111 36 72 3 161 76 200 112 59 28 258 196 63 305 135 46 337 146 180 223 127 341 27 266 103 t 288 51 37 79 345 142 113 81 266 22 10 94 259 205 83 305 263 196 294 89 334 177 76 316 243 306 29 264 283 8 75 178 117 295 229 333 304 252 144 226 90 326 261 257 190 223 59 30 11 49 21 66 135 253 189 291 132 184 309 256 181 187 84 287 123 3 64 191 311 281 341 169 63 44 133 300 183 119 339 276 207 12 217 331 185 162 240 244 267 328 343 111 65 248 335 9 1 134 118 161 121 43 285 17 160 2 342 39 124 54 52 292 102 32 239 337 4 27 97 296 108 a YES a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 146 148 157 160 161 164 166 170 177 178 180 183 185 187 189 191 196 200 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 328 331 333 334 337 340 341 343 345 a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 61 63 64 66 71 72 75 76 79 84 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 146 148 157 160 161 164 166 170 177 178 180 183 185 187 189 191 196 200 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 328 331 333 334 337 340 341 343 345 a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 63 64 66 71 72 75 76 79 84 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 146 148 157 160 161 164 166 170 177 178 180 183 185 187 189 191 196 200 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 326 328 331 333 334 337 340 341 343 345 a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 146 148 157 160 161 164 166 170 177 178 180 183 185 187 189 191 196 200 217 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 326 328 331 333 334 337 340 341 343 345 a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 146 148 157 160 161 164 166 170 177 178 180 183 185 187 189 190 191 196 200 217 221 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 326 328 331 333 334 337 340 341 343 345 a 2 3 4 9 13 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 146 148 157 160 161 164 166 170 177 178 180 183 185 187 189 190 191 196 200 202 221 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 326 328 331 333 334 337 340 341 343 345 a 2 3 4 9 13 22 27 28 32 36 39 43 44 46 51 52 53 57 59 63 64 66 70 71 72 75 76 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 135 137 138 146 148 157 160 161 162 164 166 170 177 178 180 183 185 187 189 190 191 196 200 202 221 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 326 328 331 333 334 337 340 341 343 345 a 2 3 4 9 13 22 27 28 32 36 39 43 44 46 51 52 53 57 59 63 64 66 70 71 72 75 76 78 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 148 157 160 161 162 164 166 170 177 178 180 183 185 187 189 190 191 196 200 202 221 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 326 328 331 333 334 337 340 341 343 345 a 2 3 4 9 13 22 27 28 32 36 39 43 44 46 51 52 53 57 59 63 64 66 70 71 72 75 76 78 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 148 157 160 161 162 164 166 170 175 177 178 180 183 185 187 189 190 191 196 200 202 221 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 326 331 333 334 337 340 341 343 345 a 2 3 4 9 13 22 27 28 32 36 39 43 44 46 51 52 53 57 59 63 64 66 70 71 72 75 76 78 79 87 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 148 157 160 161 162 164 166 170 175 177 178 180 183 185 187 189 191 196 200 202 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 326 331 333 334 337 340 341 343 345 a 2 3 4 9 13 21 22 27 28 32 36 39 43 44 46 51 52 53 57 59 63 64 66 70 71 72 75 76 78 79 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 148 157 160 161 162 164 166 170 175 177 178 180 183 185 187 189 191 196 200 202 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 326 331 333 334 337 340 341 343 345 a 2 3 4 9 13 21 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 63 64 66 70 71 72 75 76 78 79 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 148 157 160 161 164 166 170 175 177 178 180 183 185 187 189 191 196 200 202 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 280 287 294 300 301 302 305 306 316 320 322 326 331 333 334 337 340 341 343 345 a 2 3 4 9 13 21 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 63 64 66 70 71 72 75 76 78 79 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 148 157 160 161 164 166 170 175 177 178 180 183 185 187 189 191 196 200 202 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 278 287 294 300 301 302 305 306 316 320 322 326 331 333 334 337 340 341 342 343 345 a 2 3 4 9 13 21 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 63 64 66 70 71 72 75 76 78 79 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 148 157 160 161 164 166 170 175 177 178 180 181 183 185 187 189 191 196 200 202 221 222 223 224 227 229 231 232 235 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 287 294 300 301 302 305 306 316 320 322 326 331 333 334 337 340 341 342 343 345 a 2 3 4 9 13 21 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 63 64 66 70 71 72 75 76 78 79 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 148 157 160 161 164 166 170 175 177 178 180 181 183 185 187 189 191 196 200 202 221 222 223 224 227 229 231 232 239 240 242 244 245 247 248 252 253 258 259 261 264 266 267 275 276 287 294 300 301 302 305 306 309 316 320 322 326 331 333 334 337 340 341 342 343 345 a 2 3 4 9 13 21 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 63 64 66 70 71 72 75 76 78 79 88 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 148 157 160 161 164 166 170 175 177 178 180 181 183 184 185 187 189 191 196 200 202 221 222 223 224 227 229 231 232 239 240 244 245 247 248 252 253 258 259 261 264 266 267 275 276 287 294 300 301 302 305 306 309 316 320 322 326 331 333 334 337 340 341 342 343 345 a 2 3 4 9 13 21 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 63 64 66 70 71 72 75 76 78 79 88 89 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 148 157 160 161 164 166 170 175 177 178 180 181 183 184 185 187 189 191 196 202 221 222 223 224 227 229 231 232 239 240 244 245 247 248 252 253 258 259 261 264 266 267 275 276 287 294 300 301 302 305 306 309 316 320 322 326 331 333 334 337 340 341 342 343 345 a 2 3 4 9 21 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 63 64 66 70 71 72 75 76 78 79 88 89 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 137 138 146 148 157 160 161 164 166 170 175 177 178 180 181 183 184 185 187 189 191 196 202 221 222 223 224 227 229 231 232 239 240 243 244 245 247 248 252 253 258 259 261 264 266 267 275 276 287 294 300 301 302 305 306 309 316 320 322 326 331 333 334 337 340 341 342 343 345 a 2 3 4 9 21 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 63 64 66 70 71 72 75 76 78 79 88 89 93 97 100 103 107 109 111 112 113 117 118 119 120 121 122 123 127 128 132 134 138 146 148 157 160 161 164 166 170 175 177 178 180 181 183 184 185 187 189 191 196 202 221 222 223 224 227 229 231 232 239 240 243 244 245 247 248 252 253 258 259 261 264 266 267 275 276 285 287 294 300 301 302 305 306 309 316 320 322 326 331 333 334 337 340 341 342 343 345 a 2 3 4 9 21 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 63 64 66 70 71 72 75 76 78 79 88 89 93 97 100 103 107 109 111 112 113 117 118 119 120 121 123 127 128 132 134 138 146 148 157 160 161 164 166 170 175 177 178 180 181 183 184 185 187 189 191 196 202 221 222 223 224 227 229 231 232 239 240 243 244 245 247 248 252 253 258 259 261 264 266 267 275 276 283 285 287 294 300 301 302 305 306 309 316 320 322 326 331 333 334 337 340 341 342 343 345 a 2 3 4 9 21 22 23 27 28 32 36 39 43 44 46 51 52 53 57 59 63 64 66 70 71 72 75 76 78 79 88 89 93 97 100 103 107 109 111 112 113 117 118 119 120 121 123 127 128 132 134 138 146 148 157 160 161 164 166 170 175 177 178 180 181 183 184 185 187 189 190 191 196 202 221 223 224 227 229 231 232 239 240 243 244 245 247 248 252 253 258 259 261 264 266 267 275 276 283 285 287 294 300 301 302 305 306 309 316 320 322 326 331 333 334 337 340 341 342 343 345 a 2 3 4 9 21 22 23 27 28 32 36 39 43 44 46 51 52 53 59 63 64 66 70 71 72 75 76 78 79 88 89 93 97 100 103 107 108 109 111 112 113 117 118 119 120 121 123 127 128 132 134 138 146 148 157 160 161 164 166 170 175 177 178 180 181 183 184 185 187 189 190 191 196 202 221 223 224 227 229 231 232 239 240 243 244 245 247 248 252 253 258 259 261 264 266 267 275 276 283 285 287 294 300 301 302 305 306 309 316 320 322 326 331 333 334 337 340 341 342 343 345 a 1 2 3 4 9 21 22 23 27 28 32 36 39 43 44 46 51 52 53 59 63 64 66 70 71 72 75 76 78 79 88 89 93 97 100 103 107 108 109 111 112 113 117 118 119 120 121 123 127 128 132 134 138 146 148 157 160 161 164 166 170 175 177 178 180 181 183 184 185 187 189 190 191 196 202 221 223 224 227 229 231 232 239 240 243 244 245 247 248 252 253 258 259 261 264 266 267 276 283 285 287 294 300 301 302 305 306 309 316 320 322 326 331 333 334 337 340 341 342 343 345 a 1 2 3 4 9 21 22 23 27 28 32 36 39 43 44 46 51 52 53 59 63 64 66 70 71 72 75 76 78 79 88 89 93 97 100 103 107 108 109 111 112 113 117 118 119 120 121 123 127 128 132 134 138 146 148 157 160 161 164 166 170 175 177 178 180 181 183 184 185 187 189 190 191 196 202 221 223 224 229 231 232 239 240 243 244 245 247 248 252 253 257 258 259 261 264 266 267 276 283 285 287 294 300 301 302 305 306 309 316 320 322 326 331 333 334 337 340 341 342 343 345 a 1 2 3 4 9 21 22 23 27 28 32 36 39 43 44 46 51 52 53 54 59 63 64 66 70 71 72 75 76 78 79 88 89 93 97 100 103 107 108 109 111 112 113 117 118 119 120 121 123 127 128 132 134 138 146 148 157 160 161 164 166 170 175 177 178 180 181 183 184 185 187 189 190 191 196 202 221 223 224 229 231 232 239 240 243 244 245 247 248 252 253 257 258 259 261 264 266 267 276 283 285 287 294 300 301 302 305 306 309 316 320 322 326 331 333 334 337 341 342 343 345 a 1 2 3 4 9 21 22 23 27 28 32 36 39 43 44 46 51 52 53 54 59 63 64 65 66 71 72 75 76 78 79 88 89 93 97 100 103 107 108 109 111 112 113 117 118 119 120 121 123 127 128 132 134 138 146 148 157 160 161 164 166 170 175 177 178 180 181 183 184 185 187 189 190 191 196 202 221 223 224 229 231 232 239 240 243 244 245 247 248 252 253 257 258 259 261 264 266 267 276 283 285 287 294 300 301 302 305 306 309 316 320 322 326 331 333 334 337 341 342 343 345 a 1 2 3 4 9 21 22 23 27 28 32 36 39 43 44 46 51 52 53 54 59 63 64 65 66 71 72 75 76 78 79 88 89 93 97 100 103 107 108 109 111 112 113 117 118 119 121 123 127 128 132 134 138 146 148 157 160 161 164 166 170 175 177 178 180 181 183 184 185 187 189 190 191 196 202 221 223 224 229 231 232 239 240 243 244 245 247 248 252 253 257 258 259 261 264 266 267 276 283 285 287 294 300 301 302 304 305 306 309 316 320 322 326 331 333 334 337 341 342 343 345 a 1 2 3 4 9 21 22 23 27 28 32 36 39 43 44 46 51 52 53 54 59 63 64 65 66 71 72 75 76 78 79 84 88 89 93 97 100 103 107 108 109 111 112 113 117 118 119 121 123 127 128 132 134 138 146 157 160 161 164 166 170 175 177 178 180 181 183 184 185 187 189 190 191 196 202 221 223 224 229 231 232 239 240 243 244 245 247 248 252 253 257 258 259 261 264 266 267 276 283 285 287 294 300 301 302 304 305 306 309 316 320 322 326 331 333 334 337 341 342 343 345 a 1 2 3 4 9 11 21 22 23 27 28 32 36 39 43 44 46 51 52 53 54 59 63 64 65 66 71 72 75 76 78 79 84 88 89 93 97 100 103 107 108 111 112 113 117 118 119 121 123 127 128 132 134 138 146 157 160 161 164 166 170 175 177 178 180 181 183 184 185 187 189 190 191 196 202 221 223 224 229 231 232 239 240 243 244 245 247 248 252 253 257 258 259 261 264 266 267 276 283 285 287 294 300 301 302 304 305 306 309 316 320 322 326 331 333 334 337 341 342 343 345 a 1 2 3 4 9 11 21 22 27 28 32 36 39 43 44 46 51 52 53 54 59 63 64 65 66 71 72 75 76 78 79 84 88 89 93 97 100 103 107 108 111 112 113 117 118 119 121 123 127 128 132 134 138 146 157 160 161 164 166 169 170 175 177 178 180 181 183 184 185 187 189 190 191 196 202 221 223 224 229 231 232 239 240 243 244 245 247 248 252 253 257 258 259 261 264 266 267 276 283 285 287 294 300 301 302 304 305 306 309 316 320 322 326 331 333 334 337 341 342 343 345 a 1 2 3 4 9 11 21 22 27 28 32 36 39 43 44 46 51 52 53 54 59 63 64 65 66 72 75 76 78 79 84 88 89 93 97 100 103 107 108 111 112 113 117 118 119 121 123 127 128 132 134 138 146 157 160 161 164 166 169 170 175 177 178 180 181 183 184 185 187 189 190 191 196 202 221 223 224 229 231 232 239 240 243 244 245 247 248 252 253 256 257 258 259 261 264 266 267 276 283 285 287 294 300 301 302 304 305 306 309 316 320 322 326 331 333 334 337 341 342 343 345 a 1 2 3 4 9 10 11 21 22 27 32 36 39 43 44 46 51 52 53 54 59 63 64 65 66 72 75 76 78 79 84 88 89 93 97 100 103 107 108 111 112 113 117 118 119 121 123 127 128 132 134 138 146 157 160 161 164 166 169 170 175 177 178 180 181 183 184 185 187 189 190 191 196 202 221 223 224 229 231 232 239 240 243 244 245 247 248 252 253 256 257 258 259 261 264 266 267 276 283 285 287 294 300 301 302 304 305 306 309 316 320 322 326 331 333 334 337 341 342 343 345 a 1 2 3 4 9 10 11 17 21 22 27 32 36 39 43 44 46 51 52 53 54 59 63 64 65 66 72 75 76 78 79 84 88 89 93 97 100 103 107 108 111 112 113 117 118 119 121 123 127 128 132 134 138 157 160 161 164 166 169 170 175 177 178 180 181 183 184 185 187 189 190 191 196 202 221 223 224 229 231 232 239 240 243 244 245 247 248 252 253 256 257 258 259 261 264 266 267 276 283 285 287 294 300 301 302 304 305 306 309 316 320 322 326 331 333 334 337 341 342 343 345 a 1 2 3 4 9 10 11 17 21 22 27 32 36 39 43 44 46 51 52 53 54 59 63 64 65 66 72 75 76 78 79 84 88 89 93 97 100 103 107 108 111 112 113 117 118 119 121 123 127 128 132 133 134 138 157 160 161 164 166 169 170 175 177 178 180 181 183 184 185 187 189 190 191 196 202 223 224 229 231 232 239 240 243 244 245 247 248 252 253 256 257 258 259 261 264 266 267 276 283 285 287 294 300 301 302 304 305 306 309 316 320 322 326 331 333 334 337 341 342 343 345 a 1 2 3 4 9 10 11 17 21 22 27 32 36 39 43 44 46 51 52 53 54 59 63 64 65 66 72 75 76 78 79 84 88 89 93 97 100 103 107 108 111 112 113 117 118 119 121 123 127 128 132 133 134 138 157 160 161 164 166 169 170 175 177 178 180 181 183 184 185 187 189 190 191 196 202 223 224 229 231 239 240 243 244 245 247 248 252 253 256 257 258 259 261 264 266 267 276 283 285 287 294 296 300 301 302 304 305 306 309 316 320 322 326 331 333 334 337 341 342 343 345 a 1 2 3 4 9 10 11 17 21 22 27 32 36 39 43 44 46 51 52 53 54 59 63 64 65 66 72 75 76 78 79 84 88 89 93 97 100 103 107 108 111 112 113 117 118 119 121 123 127 128 132 133 134 138 142 157 160 161 164 166 169 170 175 177 178 180 181 183 184 185 187 189 190 191 196 223 224 229 231 239 240 243 244 245 247 248 252 253 256 257 258 259 261 264 266 267 276 283 285 287 294 296 300 301 302 304 305 306 309 316 320 322 326 331 333 334 337 341 342 343 345 a 1 2 3 4 9 10 11 17 21 22 27 32 36 39 43 44 51 52 53 54 59 63 64 65 66 72 75 76 78 79 84 88 89 93 97 100 103 107 108 111 112 113 117 118 119 121 123 127 128 132 133 134 138 142 157 160 161 164 166 169 170 175 177 178 180 181 183 184 185 187 189 190 191 196 223 224 229 231 239 240 243 244 245 247 248 252 253 256 257 258 259 261 264 266 267 276 283 285 287 294 296 300 301 302 304 305 306 309 311 316 320 322 326 331 333 334 337 341 342 343 345 a 1 2 3 4 9 10 11 17 21 22 27 32 36 39 43 44 51 52 53 54 59 63 64 65 66 72 75 76 78 79 84 89 93 97 100 102 103 107 108 111 112 113 117 118 119 121 123 127 128 132 133 134 138 142 157 160 161 164 166 169 170 175 177 178 180 181 183 184 185 187 189 190 191 196 223 224 229 231 239 240 243 244 245 247 248 252 253 256 257 258 259 261 264 266 267 276 283 285 287 294 296 300 301 302 304 305 306 309 311 316 320 322 326 331 333 334 337 341 342 343 345 a 1 2 3 4 9 10 11 17 21 22 27 32 36 39 43 44 51 52 53 54 59 63 64 65 66 72 75 76 79 84 89 93 97 100 102 103 107 108 111 112 113 117 118 119 121 123 127 128 132 133 134 138 142 157 160 161 164 166 169 170 175 177 178 180 181 183 184 185 187 189 190 191 196 223 224 229 231 239 240 243 244 245 247 248 252 253 256 257 258 259 261 264 266 267 276 283 285 287 291 294 296 300 301 302 304 305 306 309 311 316 320 322 326 331 333 334 337 341 342 343 345 a 1 2 3 4 9 10 11 17 21 22 27 32 36 39 43 44 51 52 53 54 59 63 64 65 66 72 75 76 79 84 89 93 97 100 102 103 107 108 111 112 113 117 118 119 121 123 127 128 132 133 134 138 142 157 160 161 162 164 166 169 170 175 177 178 180 181 183 184 185 187 189 190 191 196 223 224 229 231 239 240 243 244 247 248 252 253 256 257 258 259 261 264 266 267 276 283 285 287 291 294 296 300 301 302 304 305 306 309 311 316 320 322 326 331 333 334 337 341 342 343 345 a 1 2 3 4 9 10 11 17 21 22 27 32 39 43 44 49 51 52 53 54 59 63 64 65 66 72 75 76 79 84 89 93 97 100 102 103 107 108 111 112 113 117 118 119 121 123 127 128 132 133 134 138 142 157 160 161 162 164 166 169 170 175 177 178 180 181 183 184 185 187 189 190 191 196 223 224 229 231 239 240 243 244 247 248 252 253 256 257 258 259 261 264 266 267 276 283 285 287 291 294 296 300 301 302 304 305 306 309 311 316 320 322 326 331 333 334 337 341 342 343 345 a 1 2 3 4 9 10 11 17 21 22 27 32 39 43 44 49 51 52 53 54 59 63 64 65 66 72 75 76 79 84 89 93 97 100 102 103 107 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 157 160 161 162 164 166 169 170 175 177 178 181 183 184 185 187 189 190 191 196 223 224 229 231 239 240 243 244 247 248 252 253 256 257 258 259 261 264 266 267 276 283 285 287 291 294 296 300 301 302 304 305 306 309 311 316 320 322 326 331 333 334 337 341 342 343 345 a 1 2 3 4 9 10 11 17 21 22 27 32 39 43 44 49 51 52 53 54 59 63 64 65 66 72 75 76 79 81 84 89 93 97 100 102 103 107 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 157 160 161 162 164 166 169 170 175 177 178 181 183 184 185 187 189 190 191 196 223 224 229 231 239 240 243 244 248 252 253 256 257 258 259 261 264 266 267 276 283 285 287 291 294 296 300 301 302 304 305 306 309 311 316 320 322 326 331 333 334 337 341 342 343 345 a 1 2 3 4 9 10 11 17 21 22 27 32 39 43 44 49 51 52 53 54 59 63 64 65 66 72 75 76 79 81 84 89 93 97 100 102 103 107 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 157 160 161 162 164 166 169 170 175 177 178 181 183 184 185 187 189 190 191 196 223 229 231 239 240 243 244 248 252 253 256 257 258 259 261 264 266 267 276 283 285 287 291 294 296 300 301 302 304 305 306 309 311 316 320 322 326 331 333 334 335 337 341 342 343 345 a 1 2 3 4 9 10 11 17 21 22 27 32 39 43 44 49 51 52 53 54 59 63 64 65 66 72 75 76 79 81 84 89 93 97 100 102 103 107 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 157 160 161 162 164 166 169 170 175 177 178 181 183 184 185 187 189 190 191 196 223 229 231 239 240 243 244 248 252 253 256 257 259 261 264 266 267 276 283 285 287 291 292 294 296 300 301 302 304 305 306 309 311 316 320 322 326 331 333 334 335 337 341 342 343 345 a 1 2 3 4 9 10 11 17 21 22 27 32 39 43 44 49 51 52 53 54 59 63 64 65 66 72 75 76 79 81 84 89 93 97 100 102 103 107 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 157 160 161 162 164 166 169 170 175 177 178 181 183 184 185 187 189 190 191 196 223 226 229 239 240 243 244 248 252 253 256 257 259 261 264 266 267 276 283 285 287 291 292 294 296 300 301 302 304 305 306 309 311 316 320 322 326 331 333 334 335 337 341 342 343 345 a 1 2 3 4 9 10 11 17 21 22 27 32 39 43 44 49 51 52 53 54 59 63 64 65 66 72 75 76 79 81 84 89 93 97 100 102 103 107 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 157 160 161 162 166 169 170 175 177 178 181 183 184 185 187 189 190 191 196 223 226 229 239 240 243 244 248 252 253 256 257 259 261 264 266 267 276 283 285 287 288 291 292 294 296 300 301 302 304 305 306 309 311 316 320 322 326 331 333 334 335 337 341 342 343 345 a 1 2 3 4 9 10 11 17 21 22 27 32 39 43 44 49 51 52 54 59 63 64 65 66 72 75 76 79 81 84 89 93 94 97 100 102 103 107 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 157 160 161 162 166 169 170 175 177 178 181 183 184 185 187 189 190 191 196 223 226 229 239 240 243 244 248 252 253 256 257 259 261 264 266 267 276 283 285 287 288 291 292 294 296 300 301 302 304 305 306 309 311 316 320 322 326 331 333 334 335 337 341 342 343 345 a 1 2 3 4 9 10 11 17 21 22 27 32 39 43 44 49 51 52 54 59 63 64 65 66 72 75 76 79 81 84 89 93 94 97 100 102 103 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 157 160 161 162 166 169 170 175 177 178 181 183 184 185 187 189 190 191 196 205 223 226 229 239 240 243 244 248 252 253 256 257 259 261 264 266 267 276 283 285 287 288 291 292 294 296 300 301 302 304 305 306 309 311 316 320 322 326 331 333 334 335 337 341 342 343 345 a 1 2 3 4 9 10 11 12 17 21 22 27 32 39 43 44 49 51 52 54 59 63 64 65 66 72 75 76 79 81 84 89 93 94 97 102 103 108 111 112 113 117 118 119 121 123 124 127 128 132 133 134 138 142 157 160 161 162 166 169 170 175 177 178 181 183 184 185 187 189 190 191 196 205 223 226 229 239 240 243 244 248 252 253 256 257 259 261 264 266 267 276 283 285 287 288 291 292 294 296 300 301 302 304 305 306 309 311 316 320 322 326 331 333 334 335 337 341 342 343 345 a 1 2 3 4 9 10 11 12 17 21 22 27 32 39 43 44 49 51 52 54 59 63 64 65 66 72 75 76 79 81 84 89 93 94 97 102 103 108 111 112 113 117 118 119 121 123 124 127 132 133 134 138 142 157 160 161 162 166 169 170 175 177 178 181 183 184 185 187 189 190 191 196 205 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 283 285 287 288 291 292 294 296 300 301 302 304 305 306 309 311 316 320 322 326 331 333 334 335 337 341 342 343 345 a 1 2 3 4 9 10 11 12 17 21 22 27 32 39 43 44 49 51 52 54 59 63 64 65 66 72 75 76 79 81 84 89 93 94 97 102 103 108 111 112 113 117 118 119 121 123 124 127 132 133 134 138 142 157 160 161 162 166 169 170 175 177 178 181 183 184 185 187 189 190 191 196 205 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 302 304 305 306 309 311 316 320 322 326 331 333 334 335 337 341 342 343 345 a 1 2 3 4 9 10 11 12 17 21 22 27 32 39 43 44 49 51 52 54 59 63 64 65 66 72 75 76 79 81 84 89 94 97 102 103 108 111 112 113 117 118 119 121 123 124 127 132 133 134 138 142 157 160 161 162 166 169 170 175 177 178 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 302 304 305 306 309 311 316 320 322 326 331 333 334 335 337 341 342 343 345 a 1 2 3 4 9 10 11 12 17 21 22 27 32 39 43 44 49 51 52 54 59 63 64 65 66 72 75 76 79 81 84 89 90 94 97 102 103 108 111 112 113 117 118 119 121 123 124 132 133 134 138 142 157 160 161 162 166 169 170 175 177 178 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 302 304 305 306 309 311 316 320 322 326 331 333 334 335 337 341 342 343 345 a 1 2 3 4 9 10 11 12 17 21 22 27 32 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 84 89 90 94 97 102 103 108 111 112 113 117 118 119 121 123 124 132 133 134 138 142 157 160 161 162 166 169 170 175 177 178 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 302 304 305 306 309 311 316 320 322 326 331 333 334 335 337 339 341 342 343 345 a 1 2 3 4 9 10 11 12 17 21 22 27 32 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 90 94 97 102 108 111 112 113 117 118 119 121 123 124 132 133 134 138 142 157 160 161 162 166 169 170 175 177 178 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 302 304 305 306 309 311 316 320 322 326 331 333 334 335 337 339 341 342 343 345 a 1 2 3 4 9 10 11 12 17 21 22 27 30 32 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 90 94 97 102 108 111 113 117 118 119 121 123 124 132 133 134 138 142 157 160 161 162 166 169 170 175 177 178 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 296 300 302 304 305 306 309 311 316 320 322 326 331 333 334 335 337 339 341 342 343 345 a 1 2 3 4 9 10 11 12 17 21 22 27 30 32 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 90 94 97 102 108 111 113 117 118 119 121 123 124 132 133 134 138 142 160 161 162 166 169 170 175 177 178 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 295 296 300 302 304 305 306 309 311 316 320 322 326 331 333 334 335 337 339 341 342 343 345 a 1 2 3 4 9 10 11 12 17 21 22 27 29 30 32 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 90 94 97 102 108 111 113 117 118 119 121 123 124 132 133 134 138 142 160 161 162 166 169 170 175 177 178 181 183 184 185 187 189 190 191 196 205 207 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 295 296 300 304 305 306 309 311 316 320 322 326 331 333 334 335 337 339 341 342 343 345 a 1 2 3 4 9 10 11 12 17 21 22 27 29 30 32 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 90 94 97 102 108 111 113 117 118 119 121 123 124 132 133 134 138 142 160 161 162 166 169 175 177 178 181 183 184 185 187 189 190 191 196 205 207 217 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 295 296 300 304 305 306 309 311 316 320 322 326 331 333 334 335 337 339 341 342 343 345 a 1 2 3 4 9 10 11 12 17 21 22 27 29 30 32 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 90 94 97 102 108 111 113 117 118 119 121 123 124 132 133 134 135 138 142 160 161 162 166 169 175 177 178 181 183 184 185 187 189 190 191 196 205 207 217 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 295 296 300 304 305 306 309 311 316 322 326 331 333 334 335 337 339 341 342 343 345 a 1 2 3 4 8 9 10 11 12 17 21 22 27 29 30 32 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 90 94 97 102 108 111 113 117 118 119 121 123 124 132 133 134 135 138 142 160 161 162 166 169 177 178 181 183 184 185 187 189 190 191 196 205 207 217 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 295 296 300 304 305 306 309 311 316 322 326 331 333 334 335 337 339 341 342 343 345 a 1 2 3 4 8 9 10 11 12 17 21 22 27 29 30 32 37 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 90 94 97 102 108 111 113 117 118 119 121 123 124 132 133 134 135 138 142 160 161 162 169 177 178 181 183 184 185 187 189 190 191 196 205 207 217 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 295 296 300 304 305 306 309 311 316 322 326 331 333 334 335 337 339 341 342 343 345 a 1 2 3 4 8 9 10 11 12 17 21 22 27 29 30 32 37 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 90 94 97 102 108 111 113 117 118 119 121 123 124 132 133 134 135 142 160 161 162 169 177 178 181 183 184 185 187 189 190 191 196 205 207 217 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 295 296 300 304 305 306 309 311 316 322 326 328 331 333 334 335 337 339 341 342 343 345 a 1 2 3 4 8 9 10 11 12 17 21 22 27 29 30 32 37 39 43 44 49 51 52 54 59 63 64 65 66 75 76 79 81 83 84 89 90 94 97 102 108 111 113 117 118 119 121 123 124 132 133 134 135 142 144 160 161 162 169 177 178 181 183 184 185 187 189 190 191 196 205 207 217 223 226 229 239 240 243 244 248 252 253 256 257 259 261 263 264 266 267 276 281 283 285 287 288 291 292 294 295 296 300 304 305 306 309 311 316 326 328 331 333 334 335 337 339 341 342 343 345 c Step: 64 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance027_graph001.col /benchmark/random_instance/random_instance027_graph001_01.dat" User time (seconds): 61.85 System time (seconds): 0.06 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:01.91 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): 116092 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 56266 Voluntary context switches: 24 Involuntary context switches: 111 Swaps: 0 File system inputs: 0 File system outputs: 424 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 10:35:07 2023]