#BEGIN: [Mon Sep 4 11:12:24 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance027_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance027_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/random_instance/random_instance027_graph002.col /benchmark/random_instance/random_instance027_graph002_01.dat c /benchmark/random_instance/random_instance027_graph002.col c /benchmark/random_instance/random_instance027_graph002_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 84 303 192 230 296 323 1 19 336 236 108 9 225 13 344 40 232 55 257 276 286 57 204 145 168 133 329 171 154 131 86 69 284 321 314 338 351 172 45 158 140 50 130 16 118 180 113 79 123 248 63 325 112 161 240 109 14 25 219 341 175 39 342 298 187 165 258 249 119 261 275 238 183 222 331 288 68 212 330 224 138 260 35 217 144 115 173 5 272 85 11 343 283 80 56 150 75 211 300 142 184 41 53 312 152 159 306 291 t 266 128 83 63 162 146 84 204 9 254 268 10 238 305 4 74 245 220 57 81 230 256 17 79 350 126 225 332 21 165 231 29 166 131 200 152 67 110 269 45 288 155 337 282 294 190 331 68 312 115 298 53 250 343 300 189 180 219 112 94 229 321 103 96 122 309 109 179 304 283 170 176 5 98 264 351 6 271 88 242 159 291 184 119 303 316 15 311 108 208 11 302 144 236 188 62 142 56 89 13 130 161 1 97 198 19 259 248 a YES a 1 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 79 80 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 158 159 161 165 168 171 172 173 175 180 183 184 187 192 204 211 212 217 219 222 224 225 230 232 236 238 240 248 249 257 258 260 261 272 275 276 283 284 286 288 291 296 298 300 303 306 312 314 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 2 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 79 80 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 158 159 161 165 168 171 172 173 180 183 184 187 192 204 211 212 217 219 222 224 225 230 232 236 238 240 248 249 257 258 260 261 272 275 276 283 284 286 288 291 296 298 300 303 306 312 314 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 2 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 77 79 80 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 158 159 161 165 168 171 172 173 180 183 184 187 192 204 211 212 217 219 222 224 225 230 232 236 238 240 249 257 258 260 261 272 275 276 283 284 286 288 291 296 298 300 303 306 312 314 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 2 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 77 79 80 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 180 183 184 187 192 204 211 212 217 219 222 224 225 230 232 236 238 240 257 258 260 261 272 275 276 283 284 286 288 291 296 298 300 303 306 312 314 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 2 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 77 79 80 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 180 183 184 192 204 211 212 217 219 222 224 225 230 232 236 238 240 245 257 258 260 261 272 275 276 283 284 286 288 291 296 298 300 303 306 312 314 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 2 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 77 79 80 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 180 183 184 192 204 212 217 219 222 224 225 230 232 236 238 240 245 257 258 260 261 272 275 276 283 284 286 288 291 296 298 300 303 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 2 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 77 79 80 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 180 183 184 192 204 212 217 219 222 224 225 230 232 236 238 245 257 258 260 261 272 275 276 283 284 286 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 2 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 77 79 80 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 180 183 184 192 204 212 219 222 224 225 230 232 236 238 245 250 257 258 260 261 272 275 276 283 284 286 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 2 5 9 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 77 79 80 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 180 183 184 192 204 212 219 222 224 225 230 232 236 238 245 248 250 257 258 260 261 272 276 283 284 286 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 2 5 9 10 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 77 79 80 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 171 172 173 180 183 184 192 204 212 219 222 224 225 230 232 236 238 245 248 250 257 258 260 261 272 276 283 284 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 2 5 6 9 10 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 77 79 80 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 172 173 180 183 184 192 204 212 219 222 224 225 230 232 236 238 245 248 250 257 258 260 261 272 276 283 284 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 2 5 6 9 10 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 77 79 80 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 172 173 180 183 184 192 204 212 219 222 224 225 230 232 236 238 242 245 248 250 258 260 261 272 276 283 284 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 2 5 6 9 10 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 77 79 80 84 85 86 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 172 173 180 183 184 188 192 204 212 219 222 224 225 230 232 236 238 242 245 248 250 258 260 261 272 283 284 288 291 296 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 2 5 6 9 10 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 77 79 80 84 85 86 96 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 172 173 180 183 184 188 192 204 212 219 222 224 225 230 232 236 238 242 245 248 250 258 260 261 272 283 284 288 291 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 2 5 6 9 10 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 77 79 80 84 85 86 96 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 172 173 180 183 184 188 192 204 208 212 219 222 224 225 230 232 236 238 242 245 248 250 258 261 272 283 284 288 291 298 300 303 304 306 312 314 316 321 323 325 329 330 331 336 338 341 342 343 344 351 a 1 2 5 6 9 10 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 77 79 80 84 85 86 94 96 108 109 112 113 115 118 119 123 130 131 133 138 140 142 144 145 150 152 154 155 158 159 161 165 168 172 173 180 183 184 188 192 204 208 212 219 222 224 225 230 232 236 238 242 245 248 250 258 261 272 283 284 288 291 298 300 303 304 306 312 314 316 321 325 329 330 331 336 338 341 342 343 344 351 a 1 2 5 6 9 10 11 13 14 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 77 79 80 84 85 86 94 96 98 108 109 112 113 115 118 119 123 130 131 138 140 142 144 145 150 152 154 155 158 159 161 165 168 172 173 180 183 184 188 192 204 208 212 219 222 224 225 230 232 236 238 242 245 248 250 258 261 272 283 284 288 291 298 300 303 304 306 312 314 316 321 325 329 330 331 336 338 341 342 343 344 351 a 1 2 5 6 9 10 11 13 14 15 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 75 77 79 80 84 85 86 94 96 98 108 109 112 113 115 118 119 123 130 131 138 140 142 144 145 150 152 154 155 158 159 161 165 168 172 173 180 183 184 188 192 204 208 212 219 222 224 225 230 232 236 238 242 245 248 250 258 261 272 283 288 291 298 300 303 304 306 312 314 316 321 325 329 330 331 336 338 341 342 343 344 351 a 1 2 5 6 9 10 11 13 14 15 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 74 75 77 79 80 84 85 86 94 96 98 108 109 112 113 115 118 119 123 130 131 138 140 142 144 145 150 152 154 155 158 159 161 165 168 172 173 180 183 184 188 192 204 208 212 219 222 224 225 230 232 236 238 242 245 248 250 258 261 272 283 288 291 298 300 303 304 306 312 314 316 321 325 330 331 336 338 341 342 343 344 351 a 1 2 5 6 9 10 11 13 14 15 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 74 75 77 79 80 84 85 86 94 96 98 108 109 112 113 115 118 119 123 130 131 138 140 142 144 145 150 152 154 155 158 159 161 165 168 172 173 179 180 183 184 188 192 204 208 212 219 222 224 225 230 232 236 238 242 245 248 250 258 261 272 283 288 291 298 300 303 304 306 312 314 316 321 325 331 336 338 341 342 343 344 351 a 1 2 5 6 9 10 11 13 14 15 16 19 25 35 39 40 41 45 50 53 55 56 57 63 68 69 74 75 77 79 80 84 85 86 94 96 98 108 109 112 113 115 118 119 123 130 131 138 140 142 144 145 150 152 154 155 158 159 161 165 166 168 172 173 179 180 183 184 188 192 204 208 212 219 222 224 225 230 232 236 238 242 245 248 250 258 272 283 288 291 298 300 303 304 306 312 314 316 321 325 331 336 338 341 342 343 344 351 a 1 2 5 6 9 10 11 13 14 15 16 19 25 35 40 41 45 50 53 55 56 57 63 68 69 74 75 77 79 80 84 85 86 94 96 98 108 109 112 113 115 118 119 123 130 131 138 140 142 144 145 150 152 154 155 158 159 161 165 166 168 172 173 179 180 183 184 188 192 204 208 212 219 222 224 225 230 232 236 238 242 245 248 250 258 264 272 283 288 291 298 300 303 304 306 312 314 316 321 325 331 336 338 341 342 343 344 351 a 1 2 5 6 9 10 11 13 14 15 19 25 35 40 41 45 50 53 55 56 57 63 68 69 74 75 77 79 80 84 85 86 94 96 98 108 109 112 113 115 118 119 123 130 131 138 140 142 144 145 150 152 154 155 158 159 161 165 166 168 172 173 179 180 183 184 188 192 204 208 212 219 222 224 225 230 232 236 238 242 245 248 250 258 264 268 272 283 288 291 298 300 303 304 306 312 314 316 321 325 331 336 338 341 342 343 344 351 a 1 2 5 6 9 10 11 13 14 15 19 25 35 40 41 45 50 53 55 56 57 63 68 74 75 77 79 80 81 84 85 86 94 96 98 108 109 112 113 115 118 119 123 130 131 138 140 142 144 145 150 152 154 155 158 159 161 165 166 168 172 173 179 180 183 184 188 192 204 208 212 219 222 224 225 230 232 236 238 242 245 248 250 258 264 268 272 283 288 291 298 300 303 304 306 312 314 316 321 325 331 336 338 341 342 343 344 351 a 1 2 5 6 9 10 11 13 14 15 19 25 35 40 41 45 50 53 55 56 57 63 68 74 75 77 79 80 81 84 85 86 94 96 98 108 109 112 113 115 118 119 123 130 131 138 140 142 144 145 150 152 154 155 158 159 161 165 166 168 172 173 179 180 183 184 188 192 204 208 212 219 222 224 225 230 232 236 238 242 245 248 250 258 264 268 269 272 283 288 291 298 300 303 304 306 312 314 316 321 325 331 336 338 341 342 343 351 a 1 2 5 6 9 10 11 13 14 15 19 25 35 40 41 45 50 53 55 56 57 63 68 74 75 77 79 80 81 84 85 86 94 96 98 108 109 112 113 115 118 119 123 130 131 138 140 142 144 145 150 152 154 155 158 159 161 165 166 168 172 173 179 180 184 188 192 204 208 212 219 222 224 225 230 232 236 238 242 245 248 250 258 264 268 269 272 283 288 291 298 300 303 304 306 312 314 316 321 325 331 336 338 341 342 343 350 351 a 1 2 5 6 9 10 11 13 14 15 19 25 35 40 41 45 50 53 55 56 57 63 68 74 75 77 79 80 81 84 85 86 94 96 98 108 109 112 113 115 118 119 123 130 131 138 140 142 144 145 150 152 154 155 158 159 161 165 166 168 172 173 179 180 184 188 192 204 208 212 219 222 224 225 230 232 236 238 242 245 248 250 258 264 268 269 272 283 288 291 294 298 300 303 304 306 312 316 321 325 331 336 338 341 342 343 350 351 a 1 2 5 6 9 10 11 13 14 15 19 25 35 40 41 45 50 53 55 56 57 63 68 74 75 77 79 80 81 84 85 86 94 96 98 108 109 112 113 115 118 119 123 130 131 138 140 142 144 145 150 152 154 155 158 159 161 165 166 168 172 179 180 184 188 192 198 204 208 212 219 222 224 225 230 232 236 238 242 245 248 250 258 264 268 269 272 283 288 291 294 298 300 303 304 306 312 316 321 325 331 336 338 341 342 343 350 351 a 1 2 5 6 9 10 11 13 14 15 19 25 35 40 41 45 50 53 55 56 57 63 68 74 75 77 79 80 81 84 85 86 94 96 98 108 109 112 113 115 118 119 123 130 131 140 142 144 145 150 152 154 155 158 159 161 165 166 168 172 179 180 184 188 190 192 198 204 208 212 219 222 224 225 230 232 236 238 242 245 248 250 258 264 268 269 272 283 288 291 294 298 300 303 304 306 312 316 321 325 331 336 338 341 342 343 350 351 a 1 2 5 6 9 10 11 13 14 15 19 25 35 40 41 45 50 53 55 56 57 63 68 74 75 77 79 80 81 84 85 86 94 96 98 108 109 112 113 115 118 119 123 130 131 140 142 144 145 150 152 154 155 158 159 161 165 166 172 179 180 184 188 190 192 198 204 208 212 219 222 224 225 230 231 232 236 238 242 245 248 250 258 264 268 269 272 283 288 291 294 298 300 303 304 306 312 316 321 325 331 336 338 341 342 343 350 351 a 1 2 5 6 9 10 11 13 14 15 19 25 35 40 41 45 50 53 55 56 57 63 68 74 75 77 79 80 81 84 85 86 94 96 98 108 109 112 113 115 118 119 123 130 131 140 142 144 145 150 152 154 155 158 159 161 165 166 172 179 180 184 188 190 192 198 204 208 212 219 222 224 225 230 231 232 236 238 242 245 248 250 258 259 264 268 269 272 283 288 291 294 298 300 303 304 306 312 316 321 325 331 338 341 342 343 350 351 a 1 2 5 6 9 10 11 13 14 15 19 25 35 40 41 45 50 53 55 56 57 63 68 74 75 77 79 81 83 84 85 86 94 96 98 108 109 112 113 115 118 119 123 130 131 140 142 144 145 150 152 154 155 158 159 161 165 166 172 179 180 184 188 190 192 198 204 208 212 219 222 224 225 230 231 232 236 238 242 245 248 250 258 259 264 268 269 272 283 288 291 294 298 300 303 304 306 312 316 321 325 331 338 341 342 343 350 351 a 1 2 5 6 9 10 11 13 14 15 19 25 35 41 45 50 53 55 56 57 63 68 74 75 77 79 81 83 84 85 86 94 96 98 108 109 112 113 115 118 119 123 130 131 140 142 144 145 150 152 154 155 158 159 161 165 166 172 179 180 184 188 190 192 198 204 208 212 219 222 224 225 230 231 232 236 238 242 245 248 250 254 258 259 264 268 269 272 283 288 291 294 298 300 303 304 306 312 316 321 325 331 338 341 342 343 350 351 a 1 2 5 6 9 10 11 13 15 19 25 35 41 45 50 53 55 56 57 63 68 74 75 77 79 81 83 84 85 86 94 96 98 108 109 112 113 115 118 119 123 130 131 140 142 144 145 150 152 154 155 158 159 161 162 165 166 172 179 180 184 188 190 192 198 204 208 212 219 222 224 225 230 231 232 236 238 242 245 248 250 254 258 259 264 268 269 272 283 288 291 294 298 300 303 304 306 312 316 321 325 331 338 341 342 343 350 351 a 1 2 5 6 9 10 11 13 15 19 35 41 45 50 53 55 56 57 63 68 74 75 77 79 81 83 84 85 86 89 94 96 98 108 109 112 113 115 118 119 123 130 131 140 142 144 145 150 152 154 155 158 159 161 162 165 166 172 179 180 184 188 190 192 198 204 208 212 219 222 224 225 230 231 232 236 238 242 245 248 250 254 258 259 264 268 269 272 283 288 291 294 298 300 303 304 306 312 316 321 325 331 338 341 342 343 350 351 a 1 2 5 6 9 10 11 13 15 19 35 41 45 50 53 55 56 57 63 68 74 75 77 79 81 83 84 85 86 89 94 96 98 108 109 112 113 115 118 119 123 130 131 140 142 144 145 150 152 154 155 158 159 161 162 165 166 172 179 180 184 188 190 198 204 208 212 219 222 224 225 230 231 232 236 238 242 245 248 250 254 258 259 264 268 269 272 283 288 291 294 298 300 303 304 305 306 312 316 321 325 331 338 341 342 343 350 351 a 1 2 5 6 9 10 11 13 15 19 35 41 45 53 55 56 57 63 68 74 75 77 79 81 83 84 85 86 89 94 96 98 108 109 112 113 115 118 119 123 130 131 140 142 144 145 146 150 152 154 155 158 159 161 162 165 166 172 179 180 184 188 190 198 204 208 212 219 222 224 225 230 231 232 236 238 242 245 248 250 254 258 259 264 268 269 272 283 288 291 294 298 300 303 304 305 306 312 316 321 325 331 338 341 342 343 350 351 a 1 2 5 6 9 10 11 13 15 19 35 41 45 53 55 56 57 63 68 74 75 77 79 81 83 84 85 86 88 89 94 96 98 108 109 112 115 118 119 123 130 131 140 142 144 145 146 150 152 154 155 158 159 161 162 165 166 172 179 180 184 188 190 198 204 208 212 219 222 224 225 230 231 232 236 238 242 245 248 250 254 258 259 264 268 269 272 283 288 291 294 298 300 303 304 305 306 312 316 321 325 331 338 341 342 343 350 351 a 1 2 5 6 9 10 11 13 15 19 35 41 45 53 55 56 57 63 68 74 75 79 81 83 84 85 86 88 89 94 96 98 108 109 112 115 118 119 123 130 131 140 142 144 145 146 150 152 154 155 158 159 161 162 165 166 172 179 180 184 188 190 198 204 208 212 219 222 224 225 230 231 232 236 238 242 245 248 250 254 258 259 264 268 269 272 283 288 291 294 298 300 303 304 305 306 312 316 321 325 331 337 338 341 342 343 350 351 a 1 2 5 6 9 10 11 13 15 19 35 41 45 53 55 56 57 63 68 74 75 79 81 83 84 85 86 88 89 94 96 97 98 108 109 112 115 118 119 123 130 131 140 142 144 145 146 150 152 154 155 158 159 161 162 165 166 172 179 180 184 188 190 198 204 208 212 219 222 225 230 231 232 236 238 242 245 248 250 254 258 259 264 268 269 272 283 288 291 294 298 300 303 304 305 306 312 316 321 325 331 337 338 341 342 343 350 351 a 1 2 5 6 9 10 11 13 15 19 35 41 45 53 55 56 57 63 68 74 75 79 81 83 84 85 86 88 89 94 96 97 98 108 109 112 115 118 119 123 130 131 140 142 144 145 146 150 152 154 155 158 159 161 162 165 166 172 179 180 184 188 189 190 198 204 208 212 219 222 225 230 231 232 236 238 242 245 248 250 254 259 264 268 269 272 283 288 291 294 298 300 303 304 305 306 312 316 321 325 331 337 338 341 342 343 350 351 a 1 2 5 6 9 10 11 13 15 19 35 41 45 53 55 56 57 63 68 74 75 79 81 83 84 85 86 88 89 94 96 97 98 108 109 112 115 118 119 123 130 131 142 144 145 146 150 152 154 155 158 159 161 162 165 166 172 179 180 184 188 189 190 198 204 208 212 219 222 225 230 231 232 236 238 242 245 248 250 254 259 264 268 269 272 283 288 291 294 298 300 303 304 305 306 309 312 316 321 325 331 337 338 341 342 343 350 351 a 1 2 5 6 9 10 11 13 15 19 35 41 45 53 55 56 57 63 68 74 75 79 81 83 84 85 86 88 89 94 96 97 98 108 109 112 115 118 119 123 130 131 142 144 145 146 150 152 154 155 158 159 161 162 165 166 179 180 184 188 189 190 198 204 208 212 219 222 225 229 230 231 232 236 238 242 245 248 250 254 259 264 268 269 272 283 288 291 294 298 300 303 304 305 306 309 312 316 321 325 331 337 338 341 342 343 350 351 a 1 2 5 6 9 10 11 13 15 19 35 41 45 53 55 56 57 63 67 68 74 75 79 81 83 84 85 86 88 89 94 96 97 98 108 109 112 115 118 119 123 130 131 142 144 145 146 150 152 154 155 158 159 161 162 165 166 179 180 184 188 189 190 198 204 208 212 219 222 225 229 230 231 232 236 238 242 245 248 250 254 259 264 268 269 283 288 291 294 298 300 303 304 305 306 309 312 316 321 325 331 337 338 341 342 343 350 351 a 1 2 5 6 9 10 11 13 15 19 35 41 45 53 55 56 57 63 67 68 74 79 81 83 84 85 86 88 89 94 96 97 98 108 109 112 115 118 119 123 130 131 142 144 145 146 150 152 154 155 158 159 161 162 165 166 179 180 184 188 189 190 198 204 208 212 219 222 225 229 230 231 232 236 238 242 245 248 250 254 259 264 268 269 271 283 288 291 294 298 300 303 304 305 306 309 312 316 321 325 331 337 338 341 342 343 350 351 a 1 2 5 6 9 10 11 13 15 19 35 41 45 53 55 56 57 63 67 68 74 79 81 83 84 85 86 88 89 94 96 97 98 108 109 112 115 118 119 123 130 131 142 144 145 146 150 152 154 155 158 159 161 162 165 166 179 180 184 188 189 190 198 204 208 212 219 222 225 229 230 231 232 236 238 242 245 248 250 254 259 264 268 269 271 283 288 291 294 298 300 303 304 305 306 309 311 312 316 321 325 331 337 338 341 343 350 351 a 1 2 5 6 9 10 11 13 15 19 35 41 45 53 55 56 57 63 67 68 74 79 81 83 84 85 86 88 89 94 96 97 98 108 109 112 115 118 119 130 131 142 144 145 146 150 152 154 155 158 159 161 162 165 166 179 180 184 188 189 190 198 204 208 212 219 222 225 229 230 231 232 236 238 242 245 248 250 254 259 264 268 269 271 282 283 288 291 294 298 300 303 304 305 306 309 311 312 316 321 325 331 337 338 341 343 350 351 a 1 4 5 6 9 10 11 13 15 19 35 41 45 53 55 56 57 63 67 68 74 79 81 83 84 85 86 88 89 94 96 97 98 108 109 112 115 118 119 130 131 142 144 145 146 150 152 154 155 158 159 161 162 165 166 179 180 184 188 189 190 198 204 208 212 219 222 225 229 230 231 232 236 238 242 245 248 250 254 259 264 268 269 271 282 283 288 291 294 298 300 303 304 305 306 309 311 312 316 321 325 331 337 338 341 343 350 351 a 1 4 5 6 9 10 11 13 15 19 35 41 45 53 55 56 57 63 67 68 74 79 81 83 84 85 86 88 89 94 96 97 98 108 109 112 115 119 122 130 131 142 144 145 146 150 152 154 155 158 159 161 162 165 166 179 180 184 188 189 190 198 204 208 212 219 222 225 229 230 231 232 236 238 242 245 248 250 254 259 264 268 269 271 282 283 288 291 294 298 300 303 304 305 306 309 311 312 316 321 325 331 337 338 341 343 350 351 a 1 4 5 6 9 10 11 13 15 19 35 41 45 53 55 56 57 62 63 67 68 74 79 81 83 84 85 86 88 89 94 96 97 98 108 109 112 115 119 122 130 131 142 144 145 146 150 152 154 155 158 159 161 162 165 166 179 180 184 188 189 190 198 204 208 219 222 225 229 230 231 232 236 238 242 245 248 250 254 259 264 268 269 271 282 283 288 291 294 298 300 303 304 305 306 309 311 312 316 321 325 331 337 338 341 343 350 351 a 1 4 5 6 9 10 11 13 15 19 35 41 45 53 55 56 57 62 63 67 68 74 79 81 83 84 85 88 89 94 96 97 98 108 109 112 115 119 122 130 131 142 144 145 146 150 152 154 155 158 159 161 162 165 166 170 179 180 184 188 189 190 198 204 208 219 222 225 229 230 231 232 236 238 242 245 248 250 254 259 264 268 269 271 282 283 288 291 294 298 300 303 304 305 306 309 311 312 316 321 325 331 337 338 341 343 350 351 a 1 4 5 6 9 10 11 13 15 19 35 45 53 55 56 57 62 63 67 68 74 79 81 83 84 85 88 89 94 96 97 98 108 109 112 115 119 122 130 131 142 144 145 146 150 152 154 155 158 159 161 162 165 166 170 179 180 184 188 189 190 198 204 208 219 220 222 225 229 230 231 232 236 238 242 245 248 250 254 259 264 268 269 271 282 283 288 291 294 298 300 303 304 305 306 309 311 312 316 321 325 331 337 338 341 343 350 351 a 1 4 5 6 9 10 11 13 15 19 35 45 53 55 56 57 62 63 67 68 74 79 81 83 84 85 88 89 94 96 97 98 108 109 112 115 119 122 130 131 142 144 145 146 152 154 155 158 159 161 162 165 166 170 176 179 180 184 188 189 190 198 204 208 219 220 222 225 229 230 231 232 236 238 242 245 248 250 254 259 264 268 269 271 282 283 288 291 294 298 300 303 304 305 306 309 311 312 316 321 325 331 337 338 341 343 350 351 a 1 4 5 6 9 10 11 13 15 19 29 35 45 53 55 56 57 62 63 67 68 74 79 81 83 84 85 88 89 94 96 97 98 108 109 112 115 119 122 130 131 142 144 145 146 152 154 155 158 159 161 162 165 166 170 176 179 180 184 188 189 190 198 204 208 219 220 222 225 229 230 231 232 236 238 242 245 248 250 254 259 264 268 269 271 282 283 288 291 294 298 300 303 304 305 309 311 312 316 321 325 331 337 338 341 343 350 351 a 1 4 5 6 9 10 11 13 15 19 29 35 45 53 55 56 57 62 63 67 68 74 79 81 83 84 85 88 89 94 96 97 98 108 109 112 115 119 122 130 131 142 144 145 146 152 154 155 158 159 161 162 165 166 170 176 179 180 184 188 189 190 198 200 204 208 219 220 222 225 229 230 231 236 238 242 245 248 250 254 259 264 268 269 271 282 283 288 291 294 298 300 303 304 305 309 311 312 316 321 325 331 337 338 341 343 350 351 a 1 4 5 6 9 10 11 13 15 17 19 29 35 45 53 55 56 57 62 63 67 68 74 79 81 83 84 85 88 89 94 96 97 98 108 109 112 115 119 122 130 131 142 144 145 146 152 154 155 158 159 161 162 165 166 170 176 179 180 184 188 189 190 198 200 204 208 219 220 222 225 229 230 231 236 238 242 245 248 250 254 259 264 268 269 271 282 283 288 291 294 298 300 303 304 305 309 311 312 316 321 325 331 337 338 343 350 351 a 1 4 5 6 9 10 11 13 15 17 19 29 35 45 53 55 56 57 62 63 67 68 74 79 81 83 84 85 88 89 94 96 97 98 108 109 112 115 119 122 130 131 142 144 145 146 152 154 155 158 159 161 162 165 166 170 176 179 180 184 188 189 190 198 200 204 208 219 220 222 225 229 230 231 236 238 242 245 248 250 254 259 264 268 269 271 282 283 288 291 294 298 300 303 304 305 309 311 312 316 321 331 332 337 338 343 350 351 a 1 4 5 6 9 10 11 13 15 17 19 29 35 45 53 55 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 108 109 112 115 119 122 128 130 131 142 144 145 146 152 154 155 158 159 161 162 165 166 170 176 179 180 184 188 189 190 198 200 204 208 219 220 222 225 229 230 231 236 238 242 245 248 250 254 259 264 268 269 271 282 283 288 291 294 298 300 303 304 305 309 311 312 316 321 331 332 337 338 343 350 351 a 1 4 5 6 9 10 11 13 15 17 19 29 35 45 53 55 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 108 109 112 115 119 122 128 130 131 142 144 145 146 152 155 158 159 161 162 165 166 170 176 179 180 184 188 189 190 198 200 204 208 219 220 222 225 229 230 231 236 238 242 245 248 250 254 259 264 266 268 269 271 282 283 288 291 294 298 300 303 304 305 309 311 312 316 321 331 332 337 338 343 350 351 a 1 4 5 6 9 10 11 13 15 17 19 29 35 45 53 55 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 108 109 112 115 119 122 128 130 131 142 144 145 146 152 155 158 159 161 162 165 166 170 176 179 180 184 188 189 190 198 200 204 208 219 220 225 229 230 231 236 238 242 245 248 250 254 256 259 264 266 268 269 271 282 283 288 291 294 298 300 303 304 305 309 311 312 316 321 331 332 337 338 343 350 351 a 1 4 5 6 9 10 11 13 15 17 19 29 35 45 53 55 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 108 109 110 112 115 119 122 128 130 131 142 144 146 152 155 158 159 161 162 165 166 170 176 179 180 184 188 189 190 198 200 204 208 219 220 225 229 230 231 236 238 242 245 248 250 254 256 259 264 266 268 269 271 282 283 288 291 294 298 300 303 304 305 309 311 312 316 321 331 332 337 338 343 350 351 a 1 4 5 6 9 10 11 13 15 17 19 29 35 45 53 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 103 108 109 110 112 115 119 122 128 130 131 142 144 146 152 155 158 159 161 162 165 166 170 176 179 180 184 188 189 190 198 200 204 208 219 220 225 229 230 231 236 238 242 245 248 250 254 256 259 264 266 268 269 271 282 283 288 291 294 298 300 303 304 305 309 311 312 316 321 331 332 337 338 343 350 351 a 1 4 5 6 9 10 11 13 15 17 19 29 35 45 53 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 103 108 109 110 112 115 119 122 128 130 131 142 144 146 152 155 158 159 161 162 165 166 170 176 179 180 184 188 189 190 198 200 204 208 219 220 225 229 230 231 236 238 242 245 248 250 254 256 259 264 266 268 269 271 282 283 288 291 294 298 300 302 303 304 305 309 311 312 316 321 331 332 337 343 350 351 a 1 4 5 6 9 10 11 13 15 17 19 21 29 45 53 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 103 108 109 110 112 115 119 122 128 130 131 142 144 146 152 155 158 159 161 162 165 166 170 176 179 180 184 188 189 190 198 200 204 208 219 220 225 229 230 231 236 238 242 245 248 250 254 256 259 264 266 268 269 271 282 283 288 291 294 298 300 302 303 304 305 309 311 312 316 321 331 332 337 343 350 351 a 1 4 5 6 9 10 11 13 15 17 19 21 29 45 53 56 57 62 63 67 68 74 79 81 83 84 88 89 94 96 97 98 103 108 109 110 112 115 119 122 126 128 130 131 142 144 146 152 155 159 161 162 165 166 170 176 179 180 184 188 189 190 198 200 204 208 219 220 225 229 230 231 236 238 242 245 248 250 254 256 259 264 266 268 269 271 282 283 288 291 294 298 300 302 303 304 305 309 311 312 316 321 331 332 337 343 350 351 c Step: 64 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance027_graph002.col /benchmark/random_instance/random_instance027_graph002_01.dat" User time (seconds): 353.36 System time (seconds): 7.99 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.38 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): 28711288 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 9985195 Voluntary context switches: 27 Involuntary context switches: 2405 Swaps: 0 File system inputs: 0 File system outputs: 400 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 11:18:26 2023]