#BEGIN: [Mon Sep 4 14:33:12 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance025_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance025_graph004_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance025_graph004.col /benchmark/random_instance/random_instance025_graph004_01.dat c /benchmark/random_instance/random_instance025_graph004.col c /benchmark/random_instance/random_instance025_graph004_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.015 seconds s 116 231 5 314 65 163 159 137 315 73 295 109 8 78 133 255 283 306 141 317 69 156 278 260 28 36 325 190 35 143 91 13 286 179 215 76 263 121 170 171 77 68 294 144 38 308 302 130 324 222 19 211 160 252 131 46 212 248 52 200 165 225 61 30 322 245 201 1 150 244 232 72 241 323 274 94 267 39 311 42 23 186 247 242 290 93 70 272 82 149 55 12 217 238 43 183 224 288 146 265 32 300 205 9 264 221 t 77 188 241 105 160 16 203 59 295 75 149 319 314 261 153 205 152 27 185 91 113 32 106 315 320 39 108 220 257 43 128 280 148 183 294 44 159 225 67 299 311 324 214 135 221 222 217 211 73 267 156 169 269 114 143 200 270 163 170 193 255 206 127 177 252 68 25 259 264 286 278 173 18 72 14 291 194 238 316 321 69 41 239 1 297 234 49 145 120 276 52 12 158 130 42 242 46 71 190 249 247 4 101 82 208 224 a YES a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 163 165 170 171 179 183 186 190 200 201 205 211 212 215 217 221 222 224 225 231 232 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 294 295 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 163 165 170 171 175 179 183 186 190 200 201 205 211 212 215 217 221 222 224 225 231 232 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 294 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 165 170 171 175 179 183 186 190 200 201 205 211 212 215 217 221 222 224 225 231 232 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 292 294 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 88 91 93 94 109 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 165 170 171 175 179 183 186 190 200 201 205 211 212 215 217 221 222 224 225 231 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 292 294 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 78 82 88 91 93 94 109 116 121 124 130 131 133 137 141 143 144 146 149 150 156 159 160 165 170 171 175 179 183 186 190 200 201 205 211 212 215 217 221 222 224 225 231 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 292 294 300 302 306 308 311 314 315 317 322 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 78 82 88 91 93 94 109 116 121 124 130 131 133 137 141 143 144 146 149 150 156 159 160 163 165 170 171 175 179 183 186 190 200 201 205 211 212 215 217 221 222 224 225 231 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 292 294 300 302 306 308 311 314 315 317 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 78 82 88 91 93 94 109 114 116 121 124 130 131 133 137 141 143 144 146 149 150 156 159 160 163 165 170 171 175 179 183 186 190 200 201 205 211 212 215 217 221 222 224 225 231 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 292 294 300 302 308 311 314 315 317 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 78 82 88 91 93 94 109 114 116 121 124 130 131 133 137 141 143 144 146 149 150 156 159 160 163 165 170 171 173 175 179 183 186 190 200 201 205 211 212 215 217 221 222 224 225 231 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 292 294 300 302 311 314 315 317 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 88 91 93 94 109 114 116 121 130 131 133 137 141 143 144 146 149 150 156 159 160 163 165 170 171 173 175 179 183 186 190 200 201 205 211 212 215 217 221 222 224 225 231 238 241 242 244 245 247 248 252 255 260 263 264 265 267 272 274 278 283 286 288 290 292 294 300 302 311 314 315 317 323 324 325 a 1 5 8 9 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 88 91 93 94 109 114 116 130 131 133 137 141 143 144 146 149 150 156 159 160 163 165 170 171 173 175 179 183 186 190 200 201 205 211 212 215 217 221 222 224 225 231 238 241 242 244 245 247 248 252 255 260 263 264 265 267 270 272 274 278 283 286 288 290 292 294 300 302 311 314 315 317 323 324 325 a 1 5 8 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 68 69 70 72 73 76 77 78 82 88 91 93 94 109 114 116 130 131 133 137 141 143 144 146 149 150 156 159 160 163 165 170 171 173 175 179 183 186 188 190 200 201 205 211 212 215 217 221 222 224 225 231 238 241 242 244 245 247 248 252 255 260 263 264 265 267 270 272 274 278 283 286 288 290 292 294 300 302 311 314 315 317 323 324 325 a 1 5 8 12 13 19 23 28 30 32 35 36 38 39 42 43 46 52 55 61 65 67 68 69 70 72 73 76 77 78 82 88 91 93 94 109 114 116 130 131 133 137 143 144 146 149 150 156 159 160 163 165 170 171 173 175 179 183 186 188 190 200 201 205 211 212 215 217 221 222 224 225 231 238 241 242 244 245 247 248 252 255 260 263 264 265 267 270 272 274 278 283 286 288 290 292 294 300 302 311 314 315 317 323 324 325 a 1 5 8 12 13 19 23 27 28 30 32 35 36 38 39 42 43 46 52 55 61 65 67 68 69 70 72 73 76 77 78 82 88 91 93 94 109 114 116 130 131 133 137 143 144 146 149 150 156 159 160 163 165 170 171 173 175 179 183 186 188 190 200 201 205 211 212 215 217 221 222 224 225 231 238 241 242 244 245 247 248 252 255 260 263 264 265 267 270 272 274 278 283 286 290 292 294 300 302 311 314 315 317 323 324 325 a 1 5 8 12 13 19 23 27 28 30 32 35 36 38 39 42 43 46 52 55 61 65 67 68 69 70 72 73 76 77 78 82 88 91 93 94 109 114 116 130 131 133 137 143 144 146 149 150 156 159 160 163 165 170 171 173 175 179 183 186 188 190 200 201 205 206 211 212 215 217 221 222 224 225 231 238 241 242 244 245 247 248 252 255 260 263 264 265 267 270 272 274 278 283 286 292 294 300 302 311 314 315 317 323 324 325 a 1 5 8 12 13 19 23 27 28 30 32 35 36 38 39 42 43 46 52 55 61 65 67 68 69 70 72 73 76 77 78 82 88 91 93 94 108 109 114 116 130 131 133 137 143 144 146 149 150 156 159 160 163 165 170 171 173 175 179 183 186 188 190 200 201 205 206 211 212 217 221 222 224 225 231 238 241 242 244 245 247 248 252 255 260 263 264 265 267 270 272 274 278 283 286 292 294 300 302 311 314 315 317 323 324 325 a 1 5 8 12 13 19 23 27 28 30 32 35 36 38 39 42 43 46 52 55 61 65 67 68 69 70 72 73 76 77 78 82 88 91 93 94 108 109 114 116 130 131 133 137 143 144 146 149 150 156 159 160 163 165 170 171 173 175 179 183 186 188 190 200 201 205 206 211 212 217 221 222 224 225 231 238 241 242 244 245 247 248 252 255 260 264 265 267 270 272 274 276 278 283 286 292 294 300 302 311 314 315 317 323 324 325 a 1 5 8 12 13 19 23 27 28 30 32 35 36 38 39 42 43 46 52 55 61 65 67 68 69 70 72 73 76 77 78 82 88 91 93 94 108 109 114 116 130 131 133 137 143 144 146 149 150 156 159 160 163 165 170 171 173 175 183 186 188 190 200 201 205 206 211 212 217 221 222 224 225 231 238 241 242 244 245 247 248 252 255 260 264 265 267 270 272 274 276 278 283 286 292 294 300 302 311 314 315 317 321 323 324 325 a 1 5 8 12 13 19 23 27 28 30 32 35 36 38 39 42 43 46 52 55 61 65 67 68 69 70 72 73 76 77 78 82 88 91 93 94 101 108 109 114 116 130 131 133 137 143 144 146 149 156 159 160 163 165 170 171 173 175 183 186 188 190 200 201 205 206 211 212 217 221 222 224 225 231 238 241 242 244 245 247 248 252 255 260 264 265 267 270 272 274 276 278 283 286 292 294 300 302 311 314 315 317 321 323 324 325 a 1 5 8 12 13 19 23 27 28 30 32 35 36 38 39 42 43 46 52 55 61 65 67 68 69 70 72 73 76 77 78 82 88 91 93 94 101 108 109 114 116 130 131 133 137 143 144 146 149 156 159 160 163 165 170 171 173 175 177 183 186 188 190 200 201 205 206 211 212 217 221 222 224 225 231 238 241 242 244 245 247 248 252 255 260 264 265 267 270 272 274 276 278 283 286 292 294 300 302 311 314 315 317 321 323 324 a 1 5 12 13 19 23 27 28 30 32 35 36 38 39 42 43 46 52 55 61 65 67 68 69 70 72 73 76 77 78 82 88 91 93 94 101 108 109 114 116 130 131 133 137 143 144 146 149 156 159 160 163 165 170 171 173 175 177 183 186 188 190 200 201 205 206 211 212 217 220 221 222 224 225 231 238 241 242 244 245 247 248 252 255 260 264 265 267 270 272 274 276 278 283 286 292 294 300 302 311 314 315 317 321 323 324 a 1 5 12 13 19 23 27 28 30 32 35 36 38 39 42 43 46 52 55 61 65 67 68 69 70 72 73 76 77 78 82 88 91 93 101 108 109 114 116 130 131 133 137 143 144 146 149 156 159 160 163 165 170 171 173 175 177 183 186 188 190 200 201 203 205 206 211 212 217 220 221 222 224 225 231 238 241 242 244 245 247 248 252 255 260 264 265 267 270 272 274 276 278 283 286 292 294 300 302 311 314 315 317 321 323 324 a 1 5 12 13 19 23 27 28 30 32 35 36 39 42 43 46 52 55 61 65 67 68 69 70 71 72 73 76 77 78 82 88 91 93 101 108 109 114 116 130 131 133 137 143 144 146 149 156 159 160 163 165 170 171 173 175 177 183 186 188 190 200 201 203 205 206 211 212 217 220 221 222 224 225 231 238 241 242 244 245 247 248 252 255 260 264 265 267 270 272 274 276 278 283 286 292 294 300 302 311 314 315 317 321 323 324 a 1 5 12 13 19 23 27 28 30 32 35 36 39 42 43 46 52 55 61 65 67 68 69 70 71 72 73 76 77 78 82 88 91 93 101 108 109 114 116 130 131 133 137 143 144 145 146 149 156 159 160 163 165 170 171 173 175 177 183 186 188 190 200 201 203 205 206 211 212 217 220 221 222 224 225 231 238 241 242 244 245 247 248 252 255 260 264 267 270 272 274 276 278 283 286 292 294 300 302 311 314 315 317 321 323 324 a 1 5 12 13 19 23 27 28 30 32 35 36 39 42 43 46 52 55 61 65 67 68 69 70 71 72 73 76 77 78 82 88 91 93 101 106 108 109 114 116 130 131 133 137 143 144 145 146 149 156 159 160 163 165 170 173 175 177 183 186 188 190 200 201 203 205 206 211 212 217 220 221 222 224 225 231 238 241 242 244 245 247 248 252 255 260 264 267 270 272 274 276 278 283 286 292 294 300 302 311 314 315 317 321 323 324 a 1 5 12 13 19 23 27 28 30 32 35 36 39 42 43 46 52 55 61 65 67 68 69 70 71 72 73 76 77 78 82 88 91 93 101 106 108 109 114 116 130 131 133 137 143 144 145 146 149 156 159 160 163 165 170 173 175 177 183 186 188 190 200 201 203 205 206 211 212 217 220 221 222 224 225 231 234 238 241 242 244 245 247 248 252 255 260 264 267 270 272 274 276 278 283 286 292 294 300 302 311 314 315 317 321 324 a 1 5 12 13 19 23 27 28 30 32 35 36 39 42 43 46 52 55 61 65 67 68 69 70 71 72 73 76 77 78 82 88 91 93 101 106 108 109 114 130 131 133 137 143 144 145 146 149 152 156 159 160 163 165 170 173 175 177 183 186 188 190 200 201 203 205 206 211 212 217 220 221 222 224 225 231 234 238 241 242 244 245 247 248 252 255 260 264 267 270 272 274 276 278 283 286 292 294 300 302 311 314 315 317 321 324 a 1 12 13 19 23 27 28 30 32 35 36 39 42 43 46 52 55 61 65 67 68 69 70 71 72 73 76 77 78 82 88 91 93 101 106 108 109 114 130 131 133 137 143 144 145 146 149 152 156 159 160 163 165 170 173 175 177 183 186 188 190 200 201 203 205 206 211 212 217 220 221 222 224 225 231 234 238 241 242 244 245 247 248 252 255 260 264 267 270 272 274 276 278 283 286 292 294 297 300 302 311 314 315 317 321 324 a 1 12 13 19 23 27 28 30 32 35 36 39 42 43 46 52 55 61 65 67 68 69 70 71 72 73 76 77 78 82 88 91 93 101 106 108 109 114 130 131 133 137 143 144 145 146 149 152 156 159 160 163 165 170 173 175 177 183 186 188 190 200 201 203 205 206 211 212 217 220 221 222 224 225 231 234 238 241 242 244 245 247 248 252 255 260 261 264 267 270 274 276 278 283 286 292 294 297 300 302 311 314 315 317 321 324 a 1 12 13 19 23 27 28 30 32 35 36 39 42 43 46 52 55 61 65 67 68 69 70 71 72 73 76 77 78 82 88 91 93 101 106 108 109 114 120 130 131 133 137 143 145 146 149 152 156 159 160 163 165 170 173 175 177 183 186 188 190 200 201 203 205 206 211 212 217 220 221 222 224 225 231 234 238 241 242 244 245 247 248 252 255 260 261 264 267 270 274 276 278 283 286 292 294 297 300 302 311 314 315 317 321 324 a 1 12 13 19 23 27 28 30 32 35 36 39 42 43 46 52 55 61 65 67 68 69 70 71 72 73 76 77 78 82 88 91 93 101 106 108 109 114 120 130 131 133 137 143 145 146 149 152 156 159 160 163 165 170 173 175 177 183 186 188 190 200 201 203 205 206 211 212 217 220 221 222 224 225 231 234 238 239 241 242 244 247 248 252 255 260 261 264 267 270 274 276 278 283 286 292 294 297 300 302 311 314 315 317 321 324 a 1 12 13 19 23 27 28 30 32 35 36 39 42 43 46 52 55 61 65 67 68 69 70 71 72 73 76 77 78 82 88 91 93 101 106 108 114 120 130 131 133 137 143 145 146 149 152 156 159 160 163 165 170 173 175 177 183 186 188 190 200 201 203 205 206 211 212 217 220 221 222 224 225 231 234 238 239 241 242 244 247 248 252 255 260 261 264 267 270 274 276 278 280 283 286 292 294 297 300 302 311 314 315 317 321 324 a 1 12 13 19 23 27 28 30 32 35 36 39 42 43 46 52 55 61 65 67 68 69 70 71 72 73 76 77 82 88 91 93 101 106 108 114 120 130 131 133 137 143 145 146 148 149 152 156 159 160 163 165 170 173 175 177 183 186 188 190 200 201 203 205 206 211 212 217 220 221 222 224 225 231 234 238 239 241 242 244 247 248 252 255 260 261 264 267 270 274 276 278 280 283 286 292 294 297 300 302 311 314 315 317 321 324 a 1 12 13 19 23 27 30 32 35 36 39 42 43 46 52 55 61 65 67 68 69 70 71 72 73 76 77 82 88 91 93 101 106 108 114 120 130 131 133 137 143 145 146 148 149 152 156 159 160 163 165 170 173 175 177 183 186 188 190 200 201 203 205 206 211 212 217 220 221 222 224 225 231 234 238 239 241 242 244 247 248 252 255 260 261 264 267 270 274 276 278 280 283 286 291 292 294 297 300 302 311 314 315 317 321 324 a 1 12 13 19 23 27 30 32 35 36 39 42 43 46 52 55 61 65 67 68 69 70 71 72 73 76 77 82 88 91 93 101 106 108 114 120 130 131 133 137 143 145 146 148 149 152 156 159 160 163 170 173 175 177 183 186 188 190 200 201 203 205 206 211 212 217 220 221 222 224 225 231 234 238 239 241 242 244 247 248 252 255 260 261 264 267 270 274 276 278 280 283 286 291 292 294 297 299 300 302 311 314 315 317 321 324 a 1 12 13 19 23 27 30 32 35 36 39 42 43 46 52 55 61 65 67 68 69 70 71 72 73 76 77 82 88 91 101 106 108 114 120 130 131 133 137 143 145 146 148 149 152 156 159 160 163 170 173 175 177 183 186 188 190 200 201 203 205 206 211 212 217 220 221 222 224 225 231 234 238 239 241 242 244 247 248 252 255 260 261 264 267 269 270 274 276 278 280 283 286 291 292 294 297 299 300 302 311 314 315 317 321 324 a 1 12 13 19 23 27 30 32 35 36 39 42 43 46 52 55 61 65 67 68 69 70 71 72 73 76 77 82 88 91 101 106 108 114 120 130 131 137 143 145 146 148 149 152 156 159 160 163 170 173 175 177 183 186 188 190 194 200 201 203 205 206 211 212 217 220 221 222 224 225 231 234 238 239 241 242 244 247 248 252 255 260 261 264 267 269 270 274 276 278 280 283 286 291 292 294 297 299 300 302 311 314 315 317 321 324 a 1 12 13 19 23 27 30 32 35 36 39 42 43 46 52 55 61 65 67 68 69 70 71 72 73 76 77 82 88 91 101 106 108 114 120 130 137 143 145 146 148 149 152 156 159 160 163 170 173 175 177 183 186 188 190 193 194 200 201 203 205 206 211 212 217 220 221 222 224 225 231 234 238 239 241 242 244 247 248 252 255 260 261 264 267 269 270 274 276 278 280 283 286 291 292 294 297 299 300 302 311 314 315 317 321 324 a 1 12 13 19 23 27 30 32 35 36 39 42 43 46 52 55 59 61 65 67 68 69 70 71 72 73 76 77 82 88 91 101 106 108 114 120 130 137 143 145 146 148 149 152 156 159 160 163 170 173 175 177 183 186 188 190 193 194 200 201 203 205 206 211 217 220 221 222 224 225 231 234 238 239 241 242 244 247 248 252 255 260 261 264 267 269 270 274 276 278 280 283 286 291 292 294 297 299 300 302 311 314 315 317 321 324 a 1 12 13 14 19 23 27 30 32 35 36 39 42 43 46 52 55 59 61 67 68 69 70 71 72 73 76 77 82 88 91 101 106 108 114 120 130 137 143 145 146 148 149 152 156 159 160 163 170 173 175 177 183 186 188 190 193 194 200 201 203 205 206 211 217 220 221 222 224 225 231 234 238 239 241 242 244 247 248 252 255 260 261 264 267 269 270 274 276 278 280 283 286 291 292 294 297 299 300 302 311 314 315 317 321 324 a 1 12 13 14 23 27 30 32 35 36 39 42 43 46 52 55 59 61 67 68 69 70 71 72 73 76 77 82 88 91 101 106 108 114 120 130 137 143 145 146 148 149 152 156 159 160 163 170 173 175 177 183 186 188 190 193 194 200 201 203 205 206 208 211 217 220 221 222 224 225 231 234 238 239 241 242 244 247 248 252 255 260 261 264 267 269 270 274 276 278 280 283 286 291 292 294 297 299 300 302 311 314 315 317 321 324 a 1 12 13 14 23 27 30 32 35 36 39 42 43 46 52 55 59 61 67 68 69 70 71 72 73 76 77 82 88 91 101 106 108 114 120 130 135 137 143 145 146 148 149 152 156 159 160 163 170 173 175 177 183 186 188 190 193 194 200 201 203 205 206 208 211 217 220 221 222 224 225 231 234 238 239 241 242 244 247 252 255 260 261 264 267 269 270 274 276 278 280 283 286 291 292 294 297 299 300 302 311 314 315 317 321 324 a 1 12 13 14 23 25 27 30 32 35 36 39 42 43 46 52 55 59 61 67 68 69 70 71 72 73 76 77 82 88 91 101 106 108 114 120 130 135 137 143 145 146 148 149 152 156 159 160 163 170 173 175 177 183 186 188 190 193 194 200 201 203 205 206 208 211 217 220 221 222 224 225 231 234 238 239 241 242 244 247 252 255 260 261 264 267 269 270 276 278 280 283 286 291 292 294 297 299 300 302 311 314 315 317 321 324 a 1 12 13 14 23 25 27 30 32 35 36 39 42 43 46 52 55 59 61 67 68 69 70 71 72 73 76 77 82 88 91 101 106 108 114 120 130 135 137 143 145 146 148 149 152 153 156 159 160 163 170 173 175 177 183 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 231 234 238 239 241 242 244 247 252 255 260 261 264 267 269 270 276 278 280 283 286 291 292 294 297 299 300 302 311 314 315 317 321 324 a 1 12 13 14 23 25 27 30 32 35 36 39 42 43 46 52 55 59 61 67 68 69 70 71 72 73 76 77 82 88 91 101 106 108 114 120 130 135 137 143 145 146 148 149 152 153 156 158 159 160 163 170 173 175 177 183 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 231 234 238 239 241 242 244 247 252 255 260 261 264 267 269 270 276 278 280 283 286 291 292 294 297 299 302 311 314 315 317 321 324 a 1 12 13 14 23 25 27 30 32 35 36 39 42 43 46 52 55 59 67 68 69 70 71 72 73 76 77 82 88 91 101 106 108 114 120 130 135 137 143 145 146 148 149 152 153 156 158 159 160 163 170 173 175 177 183 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 231 234 238 239 241 242 244 247 249 252 255 260 261 264 267 269 270 276 278 280 283 286 291 292 294 297 299 302 311 314 315 317 321 324 a 1 12 13 14 25 27 30 32 35 36 39 42 43 46 49 52 55 59 67 68 69 70 71 72 73 76 77 82 88 91 101 106 108 114 120 130 135 137 143 145 146 148 149 152 153 156 158 159 160 163 170 173 175 177 183 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 231 234 238 239 241 242 244 247 249 252 255 260 261 264 267 269 270 276 278 280 283 286 291 292 294 297 299 302 311 314 315 317 321 324 a 1 12 13 14 25 27 30 32 36 39 42 43 46 49 52 55 59 67 68 69 70 71 72 73 76 77 82 88 91 101 106 108 114 120 128 130 135 137 143 145 146 148 149 152 153 156 158 159 160 163 170 173 175 177 183 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 231 234 238 239 241 242 244 247 249 252 255 260 261 264 267 269 270 276 278 280 283 286 291 292 294 297 299 302 311 314 315 317 321 324 a 1 12 13 14 25 27 32 36 39 42 43 46 49 52 55 59 67 68 69 70 71 72 73 76 77 82 88 91 101 106 108 114 120 127 128 130 135 137 143 145 146 148 149 152 153 156 158 159 160 163 170 173 175 177 183 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 231 234 238 239 241 242 244 247 249 252 255 260 261 264 267 269 270 276 278 280 283 286 291 292 294 297 299 302 311 314 315 317 321 324 a 1 12 13 14 25 27 32 36 39 42 43 46 49 52 55 59 67 68 69 70 71 72 73 76 77 82 88 91 101 106 108 114 120 127 128 130 135 137 143 145 146 148 149 152 153 156 158 159 160 163 170 173 177 183 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 231 234 238 239 241 242 244 247 249 252 255 260 261 264 267 269 270 276 278 280 283 286 291 292 294 297 299 302 311 314 315 316 317 321 324 a 1 12 13 14 25 27 32 36 39 42 43 44 46 49 52 55 59 67 68 69 71 72 73 76 77 82 88 91 101 106 108 114 120 127 128 130 135 137 143 145 146 148 149 152 153 156 158 159 160 163 170 173 177 183 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 231 234 238 239 241 242 244 247 249 252 255 260 261 264 267 269 270 276 278 280 283 286 291 292 294 297 299 302 311 314 315 316 317 321 324 a 1 12 13 14 25 27 32 36 39 42 43 44 46 49 52 55 59 67 68 69 71 72 73 75 77 82 88 91 101 106 108 114 120 127 128 130 135 137 143 145 146 148 149 152 153 156 158 159 160 163 170 173 177 183 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 231 234 238 239 241 242 244 247 249 252 255 260 261 264 267 269 270 276 278 280 283 286 291 292 294 297 299 302 311 314 315 316 317 321 324 a 1 12 13 14 25 27 32 36 39 42 43 44 46 49 52 55 59 67 68 69 71 72 73 75 77 82 88 91 101 106 108 114 120 127 128 130 135 137 143 145 146 148 149 152 153 156 158 159 160 163 170 173 177 183 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 231 234 238 239 241 242 244 247 249 252 255 260 261 264 267 269 270 276 278 280 283 286 291 294 295 297 299 302 311 314 315 316 317 321 324 a 1 4 12 13 14 25 27 32 36 39 42 43 44 46 49 52 55 59 67 68 69 71 72 73 75 77 82 88 91 101 106 108 114 120 127 128 130 135 137 143 145 146 148 149 152 153 156 158 159 160 163 170 173 177 183 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 244 247 249 252 255 260 261 264 267 269 270 276 278 280 283 286 291 294 295 297 299 302 311 314 315 316 317 321 324 a 1 4 12 13 14 18 25 27 32 36 39 42 43 44 46 49 52 55 59 67 68 69 71 72 73 75 77 82 91 101 106 108 114 120 127 128 130 135 137 143 145 146 148 149 152 153 156 158 159 160 163 170 173 177 183 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 244 247 249 252 255 260 261 264 267 269 270 276 278 280 283 286 291 294 295 297 299 302 311 314 315 316 317 321 324 a 1 4 12 13 14 16 18 25 27 32 36 39 42 43 44 46 49 52 55 59 67 68 69 71 72 73 75 77 82 91 101 106 108 114 120 127 128 130 135 137 143 145 146 148 149 152 153 156 158 159 160 163 170 173 177 183 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 260 261 264 267 269 270 276 278 280 283 286 291 294 295 297 299 302 311 314 315 316 317 321 324 a 1 4 12 13 14 16 18 25 27 32 36 39 42 43 44 46 49 52 55 59 67 68 69 71 72 73 75 77 82 91 101 106 108 114 120 127 128 130 135 137 143 145 148 149 152 153 156 158 159 160 163 170 173 177 183 185 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 260 261 264 267 269 270 276 278 280 283 286 291 294 295 297 299 302 311 314 315 316 317 321 324 a 1 4 12 13 14 16 18 25 27 32 36 39 41 42 43 44 46 49 52 55 59 67 68 69 71 72 73 75 77 82 91 101 106 108 114 120 127 128 130 135 137 143 145 148 149 152 153 156 158 159 160 163 170 173 177 183 185 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 260 261 264 267 269 270 276 278 280 286 291 294 295 297 299 302 311 314 315 316 317 321 324 a 1 4 12 13 14 16 18 25 27 32 36 39 41 42 43 44 46 49 52 55 59 67 68 69 71 72 73 75 77 82 91 101 106 108 114 120 127 128 130 135 137 143 145 148 149 152 153 156 158 159 160 163 170 173 177 183 185 186 188 190 193 194 200 203 205 206 208 211 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 261 264 267 269 270 276 278 280 286 291 294 295 297 299 302 311 314 315 316 317 321 324 a 1 4 12 13 14 16 18 25 27 32 39 41 42 43 44 46 49 52 55 59 67 68 69 71 72 73 75 77 82 91 101 106 108 114 120 127 128 130 135 137 143 145 148 149 152 153 156 158 159 160 163 170 173 177 183 185 186 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 261 264 267 269 270 276 278 280 286 291 294 295 297 299 302 311 314 315 316 317 321 324 a 1 4 12 13 14 16 18 25 27 32 39 41 42 43 44 46 49 52 55 59 67 68 69 71 72 73 75 77 82 91 101 106 108 114 120 127 128 130 135 137 143 145 148 149 152 153 156 158 159 160 163 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 261 264 267 269 270 276 278 280 286 291 294 295 297 299 302 311 314 315 316 317 320 321 324 a 1 4 12 13 14 16 18 25 27 32 39 41 42 43 44 46 49 52 55 59 67 68 69 71 72 73 75 77 82 91 101 105 106 108 114 120 127 128 130 135 137 143 145 148 149 152 153 156 158 159 160 163 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 261 264 267 269 270 276 278 280 286 291 294 295 297 299 302 311 314 315 316 320 321 324 a 1 4 12 13 14 16 18 25 27 32 39 41 42 43 44 46 49 52 55 59 67 68 69 71 72 73 75 77 82 91 101 105 106 108 114 120 127 128 130 135 143 145 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 261 264 267 269 270 276 278 280 286 291 294 295 297 299 302 311 314 315 316 320 321 324 a 1 4 12 13 14 16 18 25 27 32 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 105 106 108 114 120 127 128 130 135 143 145 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 259 261 264 267 269 270 276 278 280 286 291 294 295 297 299 302 311 314 315 316 320 321 324 a 1 4 12 13 14 16 18 25 27 32 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 127 128 130 135 143 145 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 259 261 264 267 269 270 276 278 280 286 291 294 295 297 299 311 314 315 316 320 321 324 a 1 4 12 14 16 18 25 27 32 39 41 42 43 44 46 49 52 59 67 68 69 71 72 73 75 77 82 91 101 105 106 108 113 114 120 127 128 130 135 143 145 148 149 152 153 156 158 159 160 163 169 170 173 177 183 185 188 190 193 194 200 203 205 206 208 211 214 217 220 221 222 224 225 234 238 239 241 242 247 249 252 255 257 259 261 264 267 269 270 276 278 280 286 291 294 295 297 299 311 314 315 316 319 320 321 324 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance025_graph004.col /benchmark/random_instance/random_instance025_graph004_01.dat" User time (seconds): 536.32 System time (seconds): 8.85 Percent of CPU this job got: 150% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:02.42 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): 23203760 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7978227 Voluntary context switches: 441258 Involuntary context switches: 962 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 14:39:15 2023]