#BEGIN: [Mon Sep 4 12:07:28 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance024_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance024_graph004_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 -t4 /benchmark/random_instance/random_instance024_graph004.col /benchmark/random_instance/random_instance024_graph004_01.dat c /benchmark/random_instance/random_instance024_graph004.col c /benchmark/random_instance/random_instance024_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.003 seconds s 165 112 255 51 251 68 57 188 261 180 89 98 249 198 237 92 96 158 286 303 137 65 227 222 147 293 64 207 90 20 102 109 156 94 281 32 108 122 238 86 95 213 242 206 103 186 78 235 45 182 100 61 265 74 302 194 60 15 226 267 16 41 148 231 216 248 163 215 43 28 11 284 181 285 1 166 294 152 87 169 38 311 3 97 279 155 10 197 127 297 66 118 44 54 58 140 62 111 288 247 121 t 138 59 277 2 84 263 147 189 159 38 164 148 92 187 96 43 303 244 168 103 140 237 122 202 47 15 6 195 113 141 207 41 201 193 300 214 143 17 210 285 281 163 191 10 61 98 310 86 293 179 11 239 205 305 49 107 94 190 57 101 97 169 269 160 54 215 149 276 116 246 229 200 311 309 66 87 180 52 144 154 302 192 216 308 167 18 24 129 60 228 95 194 185 120 297 28 81 220 284 221 14 a YES a 1 3 10 11 15 16 20 28 32 38 41 43 44 45 51 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 95 96 97 98 100 102 103 108 109 111 112 118 121 122 127 137 140 147 148 152 155 156 158 163 165 166 169 180 181 182 186 188 194 197 198 206 207 213 215 216 222 226 227 231 235 237 238 242 247 248 249 251 255 261 265 267 279 281 284 285 286 288 293 294 297 302 303 311 a 1 3 8 10 11 15 16 20 28 32 38 41 43 44 45 51 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 112 118 121 122 127 137 140 147 148 152 155 156 158 163 165 166 169 180 181 182 186 188 194 197 198 206 207 213 215 216 222 226 227 231 235 237 238 242 247 248 249 251 255 261 265 267 279 281 284 285 286 288 293 294 297 302 303 311 a 1 3 8 9 10 11 15 16 20 28 32 38 41 43 44 45 51 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 112 118 121 122 127 137 140 147 148 152 156 158 163 165 166 169 180 181 182 186 188 194 197 198 206 207 213 215 216 222 226 227 231 235 237 238 242 247 248 249 251 255 261 265 267 279 281 284 285 286 288 293 294 297 302 303 311 a 1 3 8 9 10 11 15 16 20 28 32 33 38 41 43 44 45 51 54 57 58 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 112 118 121 122 127 137 140 147 148 152 156 158 163 165 166 169 180 181 182 186 188 194 197 198 206 207 213 215 216 222 226 227 231 235 237 238 242 247 248 249 251 255 261 265 279 281 284 285 286 288 293 294 297 302 303 311 a 1 3 8 9 10 11 15 16 20 28 32 33 38 41 43 44 45 51 54 57 58 59 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 112 118 121 122 127 137 140 147 148 152 156 158 163 165 166 169 180 181 182 186 188 194 197 198 206 207 213 215 216 222 226 227 231 235 237 238 242 247 248 249 251 255 261 265 279 281 284 285 286 288 293 297 302 303 311 a 1 3 8 9 10 11 15 16 20 28 32 33 38 41 43 44 45 51 54 57 58 59 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 118 121 122 127 137 140 147 148 152 156 158 163 165 166 169 180 181 182 186 188 194 197 198 206 207 213 215 216 221 222 226 227 231 235 237 238 242 247 248 249 251 255 261 265 279 281 284 285 286 288 293 297 302 303 311 a 1 3 8 9 10 11 15 16 20 28 32 33 38 41 43 44 45 51 54 57 58 59 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 118 121 122 127 137 140 147 148 152 156 158 159 163 165 166 169 180 182 186 188 194 197 198 206 207 213 215 216 221 222 226 227 231 235 237 238 242 247 248 249 251 255 261 265 279 281 284 285 286 288 293 297 302 303 311 a 1 3 8 9 10 11 15 16 20 28 32 33 38 41 43 44 45 51 54 57 58 59 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 118 121 122 127 137 140 147 148 152 154 156 158 159 163 166 169 180 182 186 188 194 197 198 206 207 213 215 216 221 222 226 227 231 235 237 238 242 247 248 249 251 255 261 265 279 281 284 285 286 288 293 297 302 303 311 a 1 3 8 9 10 11 15 16 20 28 32 33 38 41 43 44 45 51 54 57 58 59 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 118 121 122 127 137 140 147 148 152 154 156 158 159 163 166 169 180 182 186 187 188 194 197 198 206 207 213 215 216 221 222 226 227 231 235 237 238 242 247 248 249 255 261 265 279 281 284 285 286 288 293 297 302 303 311 a 1 3 8 9 10 11 15 16 20 28 32 33 38 41 43 44 45 51 54 57 58 59 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 118 121 122 127 137 140 147 148 152 154 158 159 163 166 169 180 182 186 187 188 194 197 198 206 207 213 215 216 221 222 226 227 231 235 237 238 242 247 248 249 255 261 265 269 279 281 284 285 286 288 293 297 302 303 311 a 1 3 8 9 10 11 15 16 20 28 32 33 38 41 43 44 45 51 54 57 58 59 60 61 62 64 65 66 68 74 78 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 118 121 122 127 137 140 143 147 148 152 154 158 159 163 166 169 180 182 186 187 188 194 197 198 206 207 213 215 216 221 222 226 227 231 237 238 242 247 248 249 255 261 265 269 279 281 284 285 286 288 293 297 302 303 311 a 1 3 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 45 51 54 57 58 59 60 61 62 64 65 66 68 74 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 118 121 122 127 137 140 143 147 148 152 154 158 159 163 166 169 180 182 186 187 188 194 197 198 206 207 213 215 216 221 222 226 227 231 237 238 242 247 248 249 255 261 265 269 279 281 284 285 286 288 293 297 302 303 311 a 1 3 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 45 51 54 57 58 59 60 61 62 64 65 66 68 74 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 118 121 122 127 137 140 143 147 148 152 154 158 159 163 166 169 180 182 186 187 188 190 194 197 198 206 207 213 215 216 221 226 227 231 237 238 242 247 248 249 255 261 265 269 279 281 284 285 286 288 293 297 302 303 311 a 1 3 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 51 54 57 58 59 60 61 62 64 65 66 68 74 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 118 121 122 127 137 140 143 147 148 152 154 158 159 163 166 169 180 182 186 187 188 190 194 197 198 206 207 213 214 215 216 221 226 227 231 237 238 242 247 248 249 255 261 265 269 279 281 284 285 286 288 293 297 302 303 311 a 1 3 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 51 54 57 58 59 60 61 62 64 65 66 68 74 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 118 121 122 127 137 140 143 147 148 152 154 158 159 163 166 169 180 182 186 187 188 190 194 197 198 205 206 207 213 214 215 216 221 226 227 231 237 238 242 247 248 249 255 265 269 279 281 284 285 286 288 293 297 302 303 311 a 1 3 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 51 54 57 58 59 60 61 62 64 65 66 68 74 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 118 121 122 127 137 140 143 147 148 152 154 158 159 163 166 169 180 182 186 187 188 190 194 197 198 205 206 207 213 214 215 216 221 226 227 231 237 238 247 248 249 255 265 269 279 281 284 285 286 288 293 297 302 303 308 311 a 1 3 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 51 54 57 58 59 60 61 62 64 65 66 68 74 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 118 121 122 127 137 140 143 147 148 152 154 158 159 163 166 169 180 182 186 187 188 190 194 197 198 205 206 207 213 214 215 216 221 227 231 237 238 247 248 249 255 265 269 277 279 281 284 285 286 288 293 297 302 303 308 311 a 1 3 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 51 54 57 58 59 60 61 62 64 65 66 68 74 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 118 121 122 127 137 140 143 147 148 149 152 154 158 159 163 166 169 180 182 186 187 188 190 194 197 198 205 206 207 213 214 215 216 221 227 231 237 238 247 249 255 265 269 277 279 281 284 285 286 288 293 297 302 303 308 311 a 1 3 6 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 51 54 57 58 59 60 61 62 64 65 66 68 74 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 118 121 122 127 137 140 143 147 148 149 152 154 158 159 163 166 169 180 186 187 188 190 194 197 198 205 206 207 213 214 215 216 221 227 231 237 238 247 249 255 265 269 277 279 281 284 285 286 288 293 297 302 303 308 311 a 1 3 6 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 51 54 57 58 59 60 61 62 64 65 66 68 74 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 118 121 122 127 137 140 143 147 148 149 152 154 158 159 163 166 169 180 186 187 188 190 193 194 197 198 205 206 207 213 214 215 216 221 227 231 237 238 247 255 265 269 277 279 281 284 285 286 288 293 297 302 303 308 311 a 3 6 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 51 54 57 58 59 60 61 62 64 65 66 68 74 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 118 121 122 127 137 140 143 147 148 149 152 154 158 159 163 166 169 180 186 187 188 190 193 194 197 198 201 205 206 207 213 214 215 216 221 227 231 237 238 247 255 265 269 277 279 281 284 285 286 288 293 297 302 303 308 311 a 3 6 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 51 54 57 58 59 60 61 62 64 65 66 68 74 81 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 118 121 122 127 137 140 143 147 148 149 154 158 159 163 166 169 180 186 187 188 190 193 194 197 198 201 205 206 207 213 214 215 216 221 227 231 237 238 247 255 265 269 277 279 281 284 285 286 288 293 297 302 303 308 311 a 3 6 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 51 54 57 58 59 60 61 62 64 65 66 68 74 81 86 87 89 90 92 94 96 97 98 100 102 103 108 109 111 113 118 121 122 127 137 140 143 147 148 149 154 158 159 163 166 169 180 186 187 188 190 193 194 197 198 201 205 206 207 213 214 215 216 221 227 231 237 238 247 255 265 269 277 281 284 285 286 288 293 297 302 303 308 311 a 3 6 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 51 54 57 58 59 60 61 62 64 65 66 68 74 81 86 87 89 90 92 94 96 97 98 100 102 103 109 111 113 118 121 122 127 137 140 143 147 148 149 154 158 159 163 166 169 180 186 187 188 190 193 194 197 198 201 205 206 207 213 214 215 216 221 227 231 237 238 247 255 265 269 277 281 284 285 286 288 293 297 300 302 303 308 311 a 3 6 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 47 51 54 57 58 59 60 61 62 64 65 66 68 74 81 86 87 90 92 94 96 97 98 100 102 103 109 111 113 118 121 122 127 137 140 143 147 148 149 154 158 159 163 166 169 180 186 187 188 190 193 194 197 198 201 205 206 207 213 214 215 216 221 227 231 237 238 247 255 265 269 277 281 284 285 286 288 293 297 300 302 303 308 311 a 3 6 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 47 51 54 57 58 59 60 61 62 64 65 66 68 74 81 86 87 90 92 94 96 97 98 100 101 102 103 109 111 113 118 121 122 127 137 140 143 147 148 149 154 158 159 163 166 169 180 186 187 188 190 193 194 197 201 205 206 207 213 214 215 216 221 227 231 237 238 247 255 265 269 277 281 284 285 286 288 293 297 300 302 303 308 311 a 3 6 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 47 51 54 57 58 59 60 61 62 64 65 66 68 74 81 86 87 90 92 94 96 97 98 100 101 102 103 109 111 113 118 121 122 127 137 140 143 147 148 149 154 158 159 163 166 169 180 186 187 190 193 194 197 201 205 206 207 213 214 215 216 221 227 231 237 238 244 247 255 265 269 277 281 284 285 286 288 293 297 300 302 303 308 311 a 3 6 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 47 51 54 57 58 59 60 61 62 64 65 66 68 74 81 86 87 90 92 94 96 97 98 100 101 102 103 109 111 113 118 121 122 127 137 140 143 147 148 149 154 158 159 163 166 169 180 186 187 190 193 194 197 200 201 205 206 207 213 214 215 216 221 227 231 237 238 244 247 255 265 269 277 281 284 285 286 293 297 300 302 303 308 311 a 3 6 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 47 51 54 57 58 59 60 61 62 64 65 66 68 74 81 86 87 90 92 94 96 97 98 100 101 102 103 109 111 113 118 121 122 127 137 140 143 147 148 149 154 158 159 163 166 169 180 186 187 190 193 194 195 200 201 205 206 207 213 214 215 216 221 227 231 237 238 244 247 255 265 269 277 281 284 285 286 293 297 300 302 303 308 311 a 3 6 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 47 51 54 57 58 59 60 61 62 64 65 66 68 74 81 86 87 90 92 94 96 97 98 100 101 102 103 109 111 113 118 121 122 127 137 140 143 147 148 149 154 158 159 163 166 167 169 180 186 187 190 193 194 195 200 201 205 206 207 213 214 215 216 221 227 231 237 238 244 247 265 269 277 281 284 285 286 293 297 300 302 303 308 311 a 3 6 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 47 51 54 57 58 59 60 61 62 64 65 66 68 74 81 86 87 90 92 94 96 97 98 100 101 102 103 109 111 113 121 122 127 137 140 143 147 148 149 154 158 159 163 166 167 168 169 180 186 187 190 193 194 195 200 201 205 206 207 213 214 215 216 221 227 231 237 238 244 247 265 269 277 281 284 285 286 293 297 300 302 303 308 311 a 3 6 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 47 51 54 57 58 59 60 61 62 64 65 66 68 74 81 86 87 90 92 94 96 97 98 100 101 103 109 111 113 121 122 127 137 140 143 147 148 149 154 158 159 163 166 167 168 169 180 186 187 190 193 194 195 200 201 205 206 207 213 214 215 216 221 227 231 237 238 244 247 263 265 269 277 281 284 285 286 293 297 300 302 303 308 311 a 2 3 6 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 47 51 54 57 58 59 60 61 62 64 65 66 68 74 81 86 87 92 94 96 97 98 100 101 103 109 111 113 121 122 127 137 140 143 147 148 149 154 158 159 163 166 167 168 169 180 186 187 190 193 194 195 200 201 205 206 207 213 214 215 216 221 227 231 237 238 244 247 263 265 269 277 281 284 285 286 293 297 300 302 303 308 311 a 2 3 6 8 9 10 11 15 16 18 20 28 32 33 38 41 43 44 47 51 54 57 58 59 60 61 62 64 65 66 68 74 81 86 87 92 94 96 97 98 100 101 103 109 113 121 122 127 137 140 143 147 148 149 154 158 159 163 166 167 168 169 180 186 187 190 193 194 195 200 201 205 206 207 213 214 215 216 221 227 231 237 238 244 247 263 265 269 277 281 284 285 286 293 297 300 302 303 308 310 311 a 2 3 6 8 9 10 11 15 18 20 28 32 33 38 41 43 44 47 51 54 57 58 59 60 61 62 64 65 66 68 74 81 86 87 92 94 96 97 98 100 101 103 109 113 121 122 127 137 140 143 147 148 149 154 158 159 163 166 167 168 169 180 186 187 190 193 194 195 200 201 205 206 207 213 214 215 216 221 227 229 231 237 238 244 247 263 265 269 277 281 284 285 286 293 297 300 302 303 308 310 311 a 2 3 6 8 9 10 11 15 18 20 28 32 33 38 41 43 44 47 51 54 57 59 60 61 62 64 65 66 68 74 81 86 87 92 94 96 97 98 100 101 103 109 113 121 122 127 137 140 143 147 148 149 154 158 159 160 163 166 167 168 169 180 186 187 190 193 194 195 200 201 205 206 207 213 214 215 216 221 227 229 231 237 238 244 247 263 265 269 277 281 284 285 286 293 297 300 302 303 308 310 311 a 2 3 6 8 9 10 11 14 15 18 20 28 32 33 38 41 43 44 47 51 54 57 59 60 61 62 64 65 66 68 74 81 86 87 92 94 96 97 98 100 101 103 109 113 121 122 127 137 140 143 147 148 149 154 158 159 160 163 166 167 168 169 180 186 187 190 193 194 195 200 201 205 207 213 214 215 216 221 227 229 231 237 238 244 247 263 265 269 277 281 284 285 286 293 297 300 302 303 308 310 311 a 2 3 6 8 9 10 11 14 15 18 20 28 32 33 38 41 43 44 47 51 54 57 59 60 61 62 64 65 66 68 74 81 86 87 92 94 96 97 98 100 101 103 109 113 121 122 127 137 140 143 147 148 149 154 158 159 160 163 166 167 168 169 180 186 187 190 193 194 195 200 201 205 207 210 213 214 215 216 221 227 229 237 238 244 247 263 265 269 277 281 284 285 286 293 297 300 302 303 308 310 311 a 2 3 6 8 9 10 11 14 15 18 20 28 32 33 38 41 43 44 47 49 51 54 57 59 60 61 62 64 66 68 74 81 86 87 92 94 96 97 98 100 101 103 109 113 121 122 127 137 140 143 147 148 149 154 158 159 160 163 166 167 168 169 180 186 187 190 193 194 195 200 201 205 207 210 213 214 215 216 221 227 229 237 238 244 247 263 265 269 277 281 284 285 286 293 297 300 302 303 308 310 311 a 2 3 6 8 9 10 11 14 15 18 20 28 32 33 38 41 43 44 47 49 51 54 57 59 60 61 62 64 66 68 74 81 86 87 92 94 96 97 98 100 101 103 109 113 122 127 137 140 143 147 148 149 154 158 159 160 163 166 167 168 169 180 186 187 190 193 194 195 200 201 205 207 210 213 214 215 216 221 227 229 237 238 244 247 263 265 269 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 3 6 8 9 10 11 14 15 18 20 28 32 33 38 41 43 44 47 49 51 54 57 59 60 61 62 64 66 74 81 86 87 92 94 96 97 98 100 101 103 109 113 122 127 137 140 143 147 148 149 154 158 159 160 163 166 167 168 169 180 186 187 190 192 193 194 195 200 201 205 207 210 213 214 215 216 221 227 229 237 238 244 247 263 265 269 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 8 9 10 11 14 15 18 20 28 32 33 38 41 43 44 47 49 51 54 57 59 60 61 62 64 66 74 81 86 87 92 94 96 97 98 100 101 103 109 113 116 122 127 137 140 143 147 148 149 154 158 159 160 163 166 167 168 169 180 186 187 190 192 193 194 195 200 201 205 207 210 213 214 215 216 221 227 229 237 238 244 247 263 265 269 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 9 10 11 14 15 18 20 28 32 33 38 41 43 44 47 49 51 54 57 59 60 61 62 64 66 74 81 86 87 92 94 96 97 98 100 101 103 109 113 116 122 127 137 140 141 143 147 148 149 154 158 159 160 163 166 167 168 169 180 186 187 190 192 193 194 195 200 201 205 207 210 213 214 215 216 221 227 229 237 238 244 247 263 265 269 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 9 10 11 14 15 18 20 28 32 33 38 41 43 44 47 49 51 54 57 59 60 61 62 64 66 74 81 86 87 92 94 96 97 98 100 101 103 109 113 116 122 127 137 140 141 143 147 148 149 154 158 159 160 163 166 167 168 169 180 186 187 189 190 192 193 194 195 200 201 205 207 210 213 214 215 216 221 229 237 238 244 247 263 265 269 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 9 10 11 14 15 18 20 28 32 33 38 41 43 44 47 49 51 54 57 59 60 61 62 64 66 74 81 86 87 92 94 96 97 98 100 101 103 109 113 116 122 127 137 140 141 143 147 148 149 154 158 159 160 163 166 167 168 169 180 187 189 190 192 193 194 195 200 201 205 207 210 213 214 215 216 221 229 237 238 244 246 247 263 265 269 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 9 10 11 14 15 18 20 28 32 33 38 41 43 47 49 51 54 57 59 60 61 62 64 66 74 81 86 87 92 94 96 97 98 100 101 103 109 113 116 122 127 137 140 141 143 147 148 149 154 158 159 160 163 166 167 168 169 180 187 189 190 192 193 194 195 200 201 205 207 210 213 214 215 216 221 229 237 238 239 244 246 247 263 265 269 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 9 10 11 14 15 18 20 28 32 33 38 41 43 47 49 51 54 57 59 60 61 62 64 66 74 81 86 87 92 94 96 97 98 100 101 103 109 113 116 122 127 140 141 143 144 147 148 149 154 158 159 160 163 166 167 168 169 180 187 189 190 192 193 194 195 200 201 205 207 210 213 214 215 216 221 229 237 238 239 244 246 247 263 265 269 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 9 10 11 14 15 18 20 28 32 33 38 41 43 47 49 51 52 54 57 59 60 61 62 64 66 74 81 86 87 92 94 96 97 98 100 101 103 109 113 116 122 127 140 141 143 144 147 148 149 154 159 160 163 166 167 168 169 180 187 189 190 192 193 194 195 200 201 205 207 210 213 214 215 216 221 229 237 238 239 244 246 247 263 265 269 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 9 10 11 14 15 18 20 28 32 33 38 41 43 47 49 51 52 54 57 59 60 61 62 66 74 81 86 87 92 94 96 97 98 100 101 103 109 113 116 122 127 140 141 143 144 147 148 149 154 159 160 163 166 167 168 169 180 187 189 190 192 193 194 195 200 201 205 207 210 213 214 215 216 221 228 229 237 238 239 244 246 247 263 265 269 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 9 10 11 14 15 18 20 28 32 33 38 41 43 47 49 51 52 54 57 59 60 61 66 74 81 86 87 92 94 96 97 98 100 101 103 109 113 116 122 127 140 141 143 144 147 148 149 154 159 160 163 166 167 168 169 180 185 187 189 190 192 193 194 195 200 201 205 207 210 213 214 215 216 221 228 229 237 238 239 244 246 247 263 265 269 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 9 10 11 14 15 18 20 28 32 33 38 41 43 47 49 51 52 54 57 59 60 61 66 74 81 86 87 92 94 96 97 98 100 101 103 109 113 116 122 127 140 141 143 144 147 148 149 154 159 160 163 166 167 168 169 180 185 187 189 190 192 193 194 195 200 201 205 207 210 213 214 215 216 221 228 229 237 238 239 244 246 263 265 269 276 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 9 10 11 14 15 18 20 28 32 33 38 41 43 47 49 51 52 54 57 59 60 61 66 74 81 86 87 92 94 96 97 98 101 103 109 113 116 120 122 127 140 141 143 144 147 148 149 154 159 160 163 166 167 168 169 180 185 187 189 190 192 193 194 195 200 201 205 207 210 213 214 215 216 221 228 229 237 238 239 244 246 263 265 269 276 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 10 11 14 15 18 20 28 32 33 38 41 43 47 49 51 52 54 57 59 60 61 66 74 81 86 87 92 94 96 97 98 101 103 109 113 116 120 122 127 140 141 143 144 147 148 149 154 159 160 163 166 167 168 169 179 180 185 187 189 190 192 193 194 195 200 201 205 207 210 213 214 215 216 221 228 229 237 238 239 244 246 263 265 269 276 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 10 11 14 15 18 20 28 32 33 38 41 43 47 49 52 54 57 59 60 61 66 74 81 86 87 92 94 96 97 98 101 103 107 109 113 116 120 122 127 140 141 143 144 147 148 149 154 159 160 163 166 167 168 169 179 180 185 187 189 190 192 193 194 195 200 201 205 207 210 213 214 215 216 221 228 229 237 238 239 244 246 263 265 269 276 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 10 11 14 15 18 20 24 28 32 33 38 41 43 47 49 52 54 57 59 60 61 66 74 81 86 87 92 94 96 97 98 101 103 107 113 116 120 122 127 140 141 143 144 147 148 149 154 159 160 163 166 167 168 169 179 180 185 187 189 190 192 193 194 195 200 201 205 207 210 213 214 215 216 221 228 229 237 238 239 244 246 263 265 269 276 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 10 11 14 15 18 20 24 28 33 38 41 43 47 49 52 54 57 59 60 61 66 74 81 84 86 87 92 94 96 97 98 101 103 107 113 116 120 122 127 140 141 143 144 147 148 149 154 159 160 163 166 167 168 169 179 180 185 187 189 190 192 193 194 195 200 201 205 207 210 213 214 215 216 221 228 229 237 238 239 244 246 263 265 269 276 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 10 11 14 15 18 20 24 28 33 38 41 43 47 49 52 54 57 59 60 61 66 74 81 84 86 87 92 94 96 97 98 101 103 107 113 116 120 122 127 140 141 143 144 147 148 149 154 159 160 163 167 168 169 179 180 185 187 189 190 192 193 194 195 200 201 202 205 207 210 213 214 215 216 221 228 229 237 238 239 244 246 263 265 269 276 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 10 11 14 15 17 18 20 24 28 33 38 41 43 47 49 52 54 57 59 60 61 66 81 84 86 87 92 94 96 97 98 101 103 107 113 116 120 122 127 140 141 143 144 147 148 149 154 159 160 163 167 168 169 179 180 185 187 189 190 192 193 194 195 200 201 202 205 207 210 213 214 215 216 221 228 229 237 238 239 244 246 263 265 269 276 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 10 11 14 15 17 18 20 24 28 33 38 41 43 47 49 52 54 57 59 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 120 122 127 140 141 143 144 147 148 149 154 159 160 163 167 168 169 179 180 185 187 189 190 192 193 194 195 200 201 202 205 207 210 214 215 216 221 228 229 237 238 239 244 246 263 265 269 276 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 10 11 14 15 17 18 20 24 28 38 41 43 47 49 52 54 57 59 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 120 122 127 138 140 141 143 144 147 148 149 154 159 160 163 167 168 169 179 180 185 187 189 190 192 193 194 195 200 201 202 205 207 210 214 215 216 221 228 229 237 238 239 244 246 263 265 269 276 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 59 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 120 122 127 129 138 140 141 143 144 147 148 149 154 159 160 163 167 168 169 179 180 185 187 189 190 192 193 194 195 200 201 202 205 207 210 214 215 216 221 228 229 237 238 239 244 246 263 265 269 276 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 59 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 120 122 127 129 138 140 141 143 144 147 148 149 154 159 160 163 164 167 168 169 179 180 185 187 189 190 192 193 194 195 200 201 202 205 207 210 214 215 216 221 228 229 237 238 239 244 246 263 269 276 277 281 284 285 286 293 297 300 302 303 305 308 310 311 a 2 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 59 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 120 122 127 129 138 140 141 143 144 147 148 149 154 159 160 163 164 167 168 169 179 180 185 187 189 190 192 193 194 195 200 201 202 205 207 210 214 215 216 221 228 229 237 238 239 244 246 263 269 276 277 281 284 285 293 297 300 302 303 305 308 309 310 311 a 2 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 59 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 120 122 127 129 138 140 141 143 144 147 148 149 154 159 160 163 164 167 168 169 179 180 185 187 189 190 192 193 194 195 200 201 202 205 207 210 214 215 216 220 221 228 229 237 239 244 246 263 269 276 277 281 284 285 293 297 300 302 303 305 308 309 310 311 a 2 6 10 11 14 15 17 18 24 28 38 41 43 47 49 52 54 57 59 60 61 66 81 84 86 87 92 94 95 96 97 98 101 103 107 113 116 120 122 129 138 140 141 143 144 147 148 149 154 159 160 163 164 167 168 169 179 180 185 187 189 190 191 192 193 194 195 200 201 202 205 207 210 214 215 216 220 221 228 229 237 239 244 246 263 269 276 277 281 284 285 293 297 300 302 303 305 308 309 310 311 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance024_graph004.col /benchmark/random_instance/random_instance024_graph004_01.dat" User time (seconds): 536.90 System time (seconds): 7.36 Percent of CPU this job got: 150% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.95 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): 25277220 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8704790 Voluntary context switches: 937 Involuntary context switches: 1138 Swaps: 0 File system inputs: 0 File system outputs: 384 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:13:30 2023]