#BEGIN: [Mon Sep 4 12:53:41 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance023_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance023_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /benchmark/random_instance/random_instance023_graph003.col /benchmark/random_instance/random_instance023_graph003_01.dat c /benchmark/random_instance/random_instance023_graph003.col c /benchmark/random_instance/random_instance023_graph003_01.dat *** Info : (clingo): INTERRUPTED by signal! s 116 95 126 46 203 241 56 181 244 191 62 109 258 153 51 1 187 160 80 5 135 140 168 254 82 147 253 219 145 127 209 27 50 118 266 292 24 128 105 272 125 193 192 55 108 222 276 19 99 96 274 157 291 70 138 214 243 64 159 98 172 249 229 57 37 177 152 176 175 120 17 143 285 295 231 44 130 63 12 91 123 216 39 84 146 72 267 47 198 42 156 184 31 79 204 115 t 195 245 60 52 266 230 59 158 4 276 262 251 218 55 202 258 83 74 131 42 142 186 17 199 24 27 33 284 127 54 278 185 22 236 96 175 166 122 20 113 259 277 299 180 47 235 293 177 139 39 61 287 53 176 153 70 149 188 233 119 252 261 126 295 165 286 50 84 114 92 178 152 19 256 172 198 26 43 18 242 216 280 157 64 136 71 169 57 67 5 298 187 207 63 41 164 a YES a 1 5 12 17 19 24 27 31 37 39 42 44 46 47 50 51 55 56 57 62 63 64 70 72 79 80 82 84 91 95 96 98 99 105 108 109 115 116 118 120 123 125 126 127 128 130 135 138 140 143 145 146 147 152 153 156 157 159 160 168 172 175 176 177 181 184 187 191 192 193 198 203 204 209 214 216 219 222 229 231 241 243 244 249 253 254 258 266 267 272 274 276 285 291 292 295 a 1 5 12 17 19 24 27 31 37 39 42 44 46 47 50 51 55 56 57 62 63 64 70 72 79 80 82 84 91 96 98 99 105 108 109 115 116 118 120 122 123 125 126 127 128 130 135 138 140 143 145 146 147 152 153 156 157 159 160 168 172 175 176 177 181 184 187 191 192 193 198 203 204 209 214 216 219 222 229 231 241 243 244 249 253 254 258 266 267 272 274 276 285 291 292 295 a 1 5 12 17 19 24 27 31 37 39 42 44 46 47 50 51 55 56 57 62 63 64 70 79 80 82 84 91 96 98 99 105 108 109 115 116 118 120 122 123 125 126 127 128 130 135 138 140 143 145 146 147 152 153 156 157 159 160 168 172 175 176 177 181 184 187 191 192 193 198 203 204 209 214 216 219 222 229 231 241 243 244 249 253 254 258 266 267 272 274 276 285 291 292 295 298 a 1 5 12 17 19 24 27 31 37 39 42 44 46 47 50 51 55 56 57 62 63 64 70 79 80 82 84 91 96 98 99 105 108 109 115 116 120 122 123 125 126 127 128 130 135 136 138 140 143 145 146 147 152 153 156 157 159 160 168 172 175 176 177 181 184 187 191 192 193 198 203 204 209 214 216 219 222 229 231 241 243 244 249 253 254 258 266 267 272 274 276 285 291 292 295 298 a 1 5 12 17 19 24 27 31 37 39 42 44 46 47 50 51 55 57 59 62 63 64 70 79 80 82 84 91 96 98 99 105 108 109 115 116 120 122 123 125 126 127 128 130 135 136 138 140 143 145 146 147 152 153 156 157 159 160 168 172 175 176 177 181 184 187 191 192 193 198 203 204 209 214 216 219 222 229 231 241 243 244 249 253 254 258 266 267 272 274 276 285 291 292 295 298 a 1 5 12 17 19 24 27 31 37 39 42 43 44 46 47 50 51 55 57 59 62 63 64 70 79 80 82 84 91 96 98 99 105 108 109 115 116 120 122 123 125 126 127 128 130 135 136 138 140 143 145 146 147 152 153 156 157 159 160 168 172 175 176 177 181 184 187 192 193 198 203 204 209 214 216 219 222 229 231 241 243 244 249 253 254 258 266 267 272 274 276 285 291 292 295 298 a 1 5 12 17 19 24 27 31 37 39 42 43 44 46 47 50 51 55 57 59 62 63 64 70 79 80 82 84 91 96 98 99 108 109 115 116 120 122 123 125 126 127 128 130 135 136 138 140 143 145 146 147 152 153 156 157 159 160 168 172 175 176 177 181 184 187 192 193 198 202 203 204 209 214 216 219 222 229 231 241 243 244 249 253 254 258 266 267 272 274 276 285 291 292 295 298 a 1 5 12 17 19 24 27 31 37 39 42 43 44 46 47 50 51 55 57 59 62 63 64 70 74 79 80 82 84 91 96 98 99 108 109 115 116 120 122 123 125 126 127 128 130 135 136 138 140 143 145 146 152 153 156 157 159 160 168 172 175 176 177 181 184 187 192 193 198 202 203 204 209 214 216 219 222 229 231 241 243 244 249 253 254 258 266 267 272 274 276 285 291 292 295 298 a 1 5 12 17 19 24 27 31 37 39 42 43 44 46 47 50 51 55 57 59 62 63 64 70 74 79 80 82 84 91 96 98 99 108 109 115 116 120 122 123 125 126 127 128 130 135 136 138 140 143 145 146 152 153 156 157 159 160 168 172 175 176 177 181 184 187 192 193 198 202 203 204 209 214 216 219 222 229 241 243 244 249 252 253 254 258 266 267 272 274 276 285 291 292 295 298 a 1 5 12 17 19 24 27 31 37 39 42 43 44 46 47 50 51 55 57 59 62 63 64 70 74 79 80 82 84 91 96 98 99 108 109 115 116 120 122 123 125 126 127 128 130 135 136 138 140 145 146 152 153 156 157 159 160 168 172 175 176 177 181 184 187 192 193 198 202 203 204 209 214 216 219 222 229 241 243 244 249 252 253 254 258 266 267 272 274 276 285 286 291 292 295 298 a 1 5 12 17 19 24 27 31 37 39 42 43 44 46 47 50 51 55 57 59 62 63 64 70 74 79 80 82 84 91 96 98 99 108 109 115 116 120 122 123 125 126 127 128 130 135 136 138 140 145 146 152 153 156 157 159 160 172 175 176 177 180 181 184 187 192 193 198 202 203 204 209 214 216 219 222 229 241 243 244 249 252 253 254 258 266 267 272 274 276 285 286 291 292 295 298 a 1 5 12 17 19 24 27 31 37 39 42 43 44 46 47 50 51 54 55 57 59 62 63 64 70 74 79 80 82 84 91 96 98 99 108 109 115 116 120 122 123 126 127 128 130 135 136 138 140 145 146 152 153 156 157 159 160 172 175 176 177 180 181 184 187 192 193 198 202 203 204 209 214 216 219 222 229 241 243 244 249 252 253 254 258 266 267 272 274 276 285 286 291 292 295 298 a 1 5 12 17 19 24 27 31 37 39 42 43 44 46 47 50 51 54 55 57 59 62 63 64 70 74 79 80 82 84 91 96 98 99 108 109 115 116 120 122 123 126 127 128 130 135 136 138 140 145 146 152 153 156 157 159 160 169 172 175 176 177 180 181 184 187 192 193 198 202 203 204 209 216 219 222 229 241 243 244 249 252 253 254 258 266 267 272 274 276 285 286 291 292 295 298 a 1 5 12 17 19 24 27 31 37 39 42 43 44 46 47 50 51 54 55 57 59 62 63 64 70 74 79 80 82 84 91 96 98 99 108 109 116 120 122 123 126 127 128 130 135 136 138 140 142 145 146 152 153 156 157 159 160 169 172 175 176 177 180 181 184 187 192 193 198 202 203 204 209 216 219 222 229 241 243 244 249 252 253 254 258 266 267 272 274 276 285 286 291 292 295 298 a 1 5 12 17 19 24 27 31 37 39 42 43 44 46 47 50 51 54 55 57 59 62 63 64 70 74 79 80 82 84 91 96 98 108 109 116 120 122 123 126 127 128 130 135 136 138 140 142 145 146 152 153 156 157 159 160 169 172 175 176 177 180 181 184 187 192 193 198 202 203 204 209 216 219 222 229 230 241 243 244 249 252 253 254 258 266 267 272 274 276 285 286 291 292 295 298 a 1 5 12 17 19 24 27 31 37 39 42 43 44 46 47 50 51 54 55 57 59 63 64 70 74 79 80 82 84 91 96 98 108 109 116 120 122 123 126 127 128 130 135 136 138 140 142 145 146 152 153 156 157 159 160 169 172 175 176 177 180 181 184 187 192 193 198 202 203 204 209 216 219 222 229 230 241 243 244 249 252 253 254 258 259 266 267 272 274 276 285 286 291 292 295 298 a 1 5 12 17 19 24 27 31 37 39 42 43 44 46 47 50 51 54 55 57 59 63 64 70 74 79 80 82 84 91 96 98 108 109 116 120 122 123 126 127 128 130 135 136 138 142 145 146 152 153 156 157 159 160 169 172 175 176 177 180 181 184 187 192 193 198 202 203 204 209 216 219 222 229 230 241 242 243 244 249 252 253 254 258 259 266 267 272 274 276 285 286 291 292 295 298 a 5 12 17 19 24 27 31 37 39 42 43 44 46 47 50 51 54 55 57 59 63 64 70 74 79 80 82 84 91 96 98 108 109 116 120 122 123 126 127 128 130 135 136 138 142 145 146 152 153 156 157 159 160 169 172 175 176 177 180 181 184 187 188 192 193 198 202 203 204 209 216 219 222 229 230 241 242 243 244 249 252 253 254 258 259 266 267 272 274 276 285 286 291 292 295 298 a 5 12 17 19 24 27 31 37 39 42 43 44 46 47 50 51 54 55 57 59 63 64 70 74 79 80 82 84 91 96 98 108 109 116 120 122 123 126 127 128 130 135 136 138 142 145 146 152 153 156 157 159 169 172 175 176 177 180 181 184 187 188 192 193 198 202 203 204 209 216 219 222 229 230 241 242 243 244 249 252 253 254 258 259 266 267 272 274 276 285 286 291 292 293 295 298 a 5 12 17 19 24 27 31 37 39 42 43 44 46 47 50 51 54 55 57 59 63 64 70 74 79 80 82 84 91 96 98 108 109 116 120 122 123 126 127 128 130 135 136 142 145 146 152 153 156 157 159 169 172 175 176 177 178 180 181 184 187 188 192 193 198 202 203 204 209 216 219 222 229 230 241 242 243 244 249 252 253 254 258 259 266 267 272 274 276 285 286 291 292 293 295 298 a 5 12 17 19 24 27 31 37 39 42 43 44 46 47 50 51 54 55 57 59 63 64 70 74 79 80 82 84 91 92 96 98 108 109 116 120 122 123 126 127 128 130 135 136 142 145 146 152 153 156 157 159 169 172 175 176 177 178 180 184 187 188 192 193 198 202 203 204 209 216 219 222 229 230 241 242 243 244 249 252 253 254 258 259 266 267 272 274 276 285 286 291 292 293 295 298 a 5 12 17 19 24 27 31 37 39 42 43 44 46 47 50 51 54 55 57 59 63 64 70 74 79 80 82 84 91 92 96 98 109 116 120 122 123 126 127 128 130 135 136 142 145 146 152 153 156 157 159 169 172 175 176 177 178 180 184 187 188 192 193 198 202 203 204 209 216 219 222 229 230 241 242 243 244 249 252 253 254 258 259 266 267 272 274 276 278 285 286 291 292 293 295 298 a 5 12 17 19 24 27 31 37 39 42 43 44 46 47 50 51 54 55 57 59 63 64 70 71 74 79 80 82 84 91 92 96 98 109 116 120 122 123 126 127 128 130 135 136 142 146 152 153 156 157 159 169 172 175 176 177 178 180 184 187 188 192 193 198 202 203 204 209 216 219 222 229 230 241 242 243 244 249 252 253 254 258 259 266 267 272 274 276 278 285 286 291 292 293 295 298 a 5 12 17 19 22 24 27 31 37 39 42 43 44 46 47 50 51 54 55 57 59 63 64 70 71 74 79 80 82 84 91 92 96 98 109 116 120 122 123 126 127 128 130 135 136 142 146 152 153 156 157 159 169 172 175 176 177 178 180 184 187 188 192 193 198 202 203 204 209 216 219 229 230 241 242 243 244 249 252 253 254 258 259 266 267 272 274 276 278 285 286 291 292 293 295 298 a 5 12 17 19 22 24 27 31 37 39 42 43 44 46 47 50 51 54 55 57 59 63 64 70 71 74 79 80 82 84 91 92 96 98 109 116 120 122 123 126 127 128 130 135 136 142 146 152 153 156 157 159 169 172 175 176 177 178 180 184 187 188 192 193 198 202 203 204 209 216 219 229 230 241 242 243 244 249 252 253 254 256 258 259 266 267 274 276 278 285 286 291 292 293 295 298 a 5 12 17 19 22 24 27 31 37 39 42 43 44 46 47 50 51 54 55 57 59 63 64 70 71 74 79 80 82 84 91 92 96 98 109 116 120 122 123 126 127 128 130 135 136 142 146 152 153 156 157 159 169 172 175 176 177 178 180 184 185 187 188 192 193 198 202 203 204 209 216 219 229 230 241 242 243 244 249 252 254 256 258 259 266 267 274 276 278 285 286 291 292 293 295 298 a 5 12 17 19 22 24 27 31 37 39 42 43 44 46 47 50 51 54 55 57 59 63 64 70 71 74 79 80 82 84 91 92 96 98 109 113 116 120 122 123 126 127 128 130 135 136 142 146 152 153 156 157 159 169 172 175 176 177 178 180 184 185 187 188 192 193 198 202 203 204 209 216 219 229 230 241 242 244 249 252 254 256 258 259 266 267 274 276 278 285 286 291 292 293 295 298 a 5 12 17 19 22 24 27 31 37 39 42 43 44 46 47 50 51 54 55 57 59 63 64 70 71 74 79 80 82 84 91 92 96 98 109 113 116 120 122 123 126 127 128 130 135 136 142 146 152 153 156 157 159 169 172 175 176 177 178 180 184 185 187 188 192 193 198 202 203 209 216 219 229 230 241 242 244 249 252 254 256 258 259 266 267 274 276 278 285 286 287 291 292 293 295 298 a 5 12 17 19 22 24 27 31 37 39 42 43 44 46 47 50 51 54 55 57 59 63 64 70 71 74 79 80 83 84 91 92 96 98 109 113 116 120 122 123 126 127 128 130 135 136 142 146 152 153 156 157 159 169 172 175 176 177 178 180 184 185 187 188 192 193 198 202 203 209 216 219 229 230 241 242 244 249 252 254 256 258 259 266 267 274 276 278 285 286 287 291 292 293 295 298 a 4 5 12 17 19 22 24 27 31 39 42 43 44 46 47 50 51 54 55 57 59 63 64 70 71 74 79 80 83 84 91 92 96 98 109 113 116 120 122 123 126 127 128 130 135 136 142 146 152 153 156 157 159 169 172 175 176 177 178 180 184 185 187 188 192 193 198 202 203 209 216 219 229 230 241 242 244 249 252 254 256 258 259 266 267 274 276 278 285 286 287 291 292 293 295 298 a 4 5 12 17 19 22 24 27 31 39 42 43 46 47 50 51 54 55 57 59 63 64 67 70 71 74 79 80 83 84 91 92 96 98 109 113 116 120 122 123 126 127 128 130 135 136 142 146 152 153 156 157 159 169 172 175 176 177 178 180 184 185 187 188 192 193 198 202 203 209 216 219 229 230 241 242 244 249 252 254 256 258 259 266 267 274 276 278 285 286 287 291 292 293 295 298 a 4 5 12 17 19 22 24 27 31 39 42 43 46 47 50 51 54 55 57 59 63 64 67 70 71 74 80 83 84 91 92 96 98 109 113 116 119 120 122 123 126 127 128 130 135 136 142 146 152 153 156 157 159 169 172 175 176 177 178 180 184 185 187 188 192 193 198 202 203 209 216 219 229 230 241 242 244 249 252 254 256 258 259 266 267 274 276 278 285 286 287 291 292 293 295 298 a 4 5 12 17 19 22 24 27 31 39 42 43 46 47 50 51 54 55 57 59 63 64 67 70 71 74 80 83 84 91 92 96 98 109 113 116 119 120 122 123 126 127 128 130 135 136 142 146 152 153 156 157 159 169 172 175 176 177 178 180 184 185 187 188 192 193 198 202 203 209 216 219 229 230 241 242 244 249 252 254 256 258 259 266 267 274 276 277 278 285 286 287 292 293 295 298 a 4 5 12 17 19 22 24 26 27 31 39 42 43 46 47 50 51 54 55 57 59 63 64 67 70 71 74 80 83 84 91 92 96 98 109 113 116 119 120 122 123 126 127 130 135 136 142 146 152 153 156 157 159 169 172 175 176 177 178 180 184 185 187 188 192 193 198 202 203 209 216 219 229 230 241 242 244 249 252 254 256 258 259 266 267 274 276 277 278 285 286 287 292 293 295 298 a 4 5 12 17 19 22 24 26 27 31 39 42 43 46 47 50 51 54 55 57 59 63 64 67 70 71 74 83 84 91 92 96 98 109 113 116 119 120 122 123 126 127 130 135 136 142 146 149 152 153 156 157 159 169 172 175 176 177 178 180 184 185 187 188 192 193 198 202 203 209 216 219 229 230 241 242 244 249 252 254 256 258 259 266 267 274 276 277 278 285 286 287 292 293 295 298 a 4 5 12 17 19 22 24 26 27 31 39 42 43 46 47 50 51 52 54 55 57 59 63 64 67 70 71 74 83 84 91 92 96 98 109 113 116 119 120 122 123 126 127 130 135 136 142 146 149 152 153 156 157 159 169 172 175 176 177 178 180 184 185 187 188 193 198 202 203 209 216 219 229 230 241 242 244 249 252 254 256 258 259 266 267 274 276 277 278 285 286 287 292 293 295 298 a 4 5 12 17 19 22 24 26 27 31 39 41 42 43 46 47 50 51 52 54 55 57 59 63 64 67 70 71 74 83 84 91 92 96 98 109 113 116 119 120 122 123 126 127 130 135 136 142 146 149 152 153 156 157 159 169 172 175 176 177 178 180 184 185 187 188 193 198 202 203 209 216 219 229 230 241 242 244 249 252 254 256 258 259 266 267 274 276 277 278 286 287 292 293 295 298 a 4 5 12 17 19 22 24 26 27 31 39 41 42 43 46 47 50 51 52 54 55 57 59 63 64 67 70 71 74 83 84 91 92 96 98 109 113 116 119 120 122 123 126 127 130 136 142 146 149 152 153 156 157 159 164 169 172 175 176 177 178 180 184 185 187 188 193 198 202 203 209 216 219 229 230 241 242 244 249 252 254 256 258 259 266 267 274 276 277 278 286 287 292 293 295 298 a 4 5 12 17 19 22 24 26 27 31 39 41 42 43 46 47 50 51 52 54 55 57 59 63 64 67 70 71 74 83 84 91 92 96 98 109 113 116 119 120 122 123 126 127 130 136 142 146 149 152 153 156 157 159 164 169 172 175 176 177 178 180 184 185 187 188 193 195 198 202 203 216 219 229 230 241 242 244 249 252 254 256 258 259 266 267 274 276 277 278 286 287 292 293 295 298 a 4 5 12 17 19 22 24 26 27 31 39 41 42 43 46 47 50 51 52 54 55 57 59 63 64 67 70 71 74 83 84 91 92 96 98 109 113 116 119 120 122 123 126 127 130 136 139 142 146 149 152 153 157 159 164 169 172 175 176 177 178 180 184 185 187 188 193 195 198 202 203 216 219 229 230 241 242 244 249 252 254 256 258 259 266 267 274 276 277 278 286 287 292 293 295 298 a 4 5 12 17 19 22 24 26 27 31 39 41 42 43 46 47 50 52 54 55 57 59 61 63 64 67 70 71 74 83 84 91 92 96 98 109 113 116 119 120 122 123 126 127 130 136 139 142 146 149 152 153 157 159 164 169 172 175 176 177 178 180 184 185 187 188 193 195 198 202 203 216 219 229 230 241 242 244 249 252 254 256 258 259 266 267 274 276 277 278 286 287 292 293 295 298 a 4 5 12 17 19 22 24 26 27 31 39 41 42 43 46 47 50 52 54 55 57 59 61 63 64 67 70 71 74 83 84 91 92 96 98 113 116 119 120 122 123 126 127 130 136 139 142 146 149 152 153 157 159 164 169 172 175 176 177 178 180 184 185 187 188 193 195 198 202 203 216 219 229 230 241 242 244 245 249 252 254 256 258 259 266 267 274 276 277 278 286 287 292 293 295 298 a 4 5 12 17 19 22 24 26 27 31 39 41 42 43 46 47 50 52 54 55 57 59 61 63 64 67 70 71 74 83 84 91 92 96 98 113 116 119 120 122 123 126 127 130 136 139 142 146 149 152 153 157 159 164 169 172 175 176 177 178 180 184 185 187 188 193 195 198 202 203 216 219 229 230 241 242 244 245 249 252 254 256 258 259 266 267 274 276 277 278 280 286 287 293 295 298 a 4 5 12 17 19 22 24 26 27 31 39 41 42 43 46 47 50 52 53 54 55 57 59 61 63 64 67 70 71 74 83 84 91 92 96 98 113 116 119 120 122 123 126 127 130 136 139 142 146 149 152 153 157 159 164 169 172 175 176 177 178 180 184 185 187 188 193 195 198 202 203 216 219 229 230 241 242 244 245 249 252 256 258 259 266 267 274 276 277 278 280 286 287 293 295 298 a 4 5 12 17 19 22 24 26 27 31 39 41 42 43 46 47 50 52 53 54 55 57 59 61 63 64 67 70 71 74 83 84 91 92 96 98 113 116 119 120 122 123 126 127 130 136 139 142 146 149 152 153 157 159 164 169 172 175 176 177 178 180 184 185 187 188 193 195 198 202 203 216 219 230 241 242 244 245 249 251 252 256 258 259 266 267 274 276 277 278 280 286 287 293 295 298 a 4 5 17 19 22 24 26 27 31 39 41 42 43 46 47 50 52 53 54 55 57 59 61 63 64 67 70 71 74 83 84 91 92 96 98 113 116 119 120 122 123 126 127 130 136 139 142 146 149 152 153 157 159 164 169 172 175 176 177 178 180 184 185 187 188 193 195 198 202 203 216 219 230 233 241 242 244 245 249 251 252 256 258 259 266 267 274 276 277 278 280 286 287 293 295 298 a 4 5 17 19 20 22 24 26 27 31 39 41 42 43 46 47 50 52 53 54 55 57 59 61 63 64 67 70 71 74 83 84 91 92 96 98 113 116 119 120 122 123 126 127 130 136 139 142 146 149 152 153 157 159 164 169 172 175 176 177 178 180 184 185 187 188 193 195 198 202 203 216 219 230 233 241 242 245 249 251 252 256 258 259 266 267 274 276 277 278 280 286 287 293 295 298 a 4 5 17 19 20 22 24 26 27 31 39 41 42 43 46 47 50 52 53 54 55 57 59 61 63 64 67 70 71 74 83 84 92 96 98 113 116 119 120 122 123 126 127 130 136 139 142 146 149 152 153 157 159 164 169 172 175 176 177 178 180 184 185 187 188 193 195 198 202 203 216 219 230 233 241 242 245 249 251 252 256 258 259 266 267 274 276 277 278 280 284 286 287 293 295 298 a 4 5 17 19 20 22 24 26 27 31 33 39 41 42 43 46 47 50 52 53 54 55 57 59 61 63 64 67 70 71 74 83 84 92 96 98 113 116 119 120 122 123 126 127 130 136 139 142 146 149 152 153 157 159 164 169 172 175 176 177 178 180 184 185 187 188 193 195 198 202 216 219 230 233 241 242 245 249 251 252 256 258 259 266 267 274 276 277 278 280 284 286 287 293 295 298 a 4 5 17 19 20 22 24 26 27 31 33 39 41 42 43 46 47 50 52 53 54 55 57 59 61 63 64 67 70 71 74 83 84 92 96 98 113 116 119 120 122 123 126 127 130 136 139 142 146 149 152 153 157 159 164 166 169 172 175 176 177 178 180 184 185 187 188 193 195 198 202 216 219 230 233 241 242 245 251 252 256 258 259 266 267 274 276 277 278 280 284 286 287 293 295 298 a 4 5 17 19 20 22 24 26 27 31 33 39 41 42 43 46 47 50 52 53 54 55 57 59 61 63 64 67 70 71 74 83 84 92 96 113 116 119 120 122 123 126 127 130 136 139 142 146 149 152 153 157 159 164 166 169 172 175 176 177 178 180 184 185 187 188 193 195 198 199 202 216 219 230 233 241 242 245 251 252 256 258 259 266 267 274 276 277 278 280 284 286 287 293 295 298 a 4 5 17 19 20 22 24 26 27 31 33 39 41 42 43 46 47 50 52 53 54 55 57 59 60 61 63 64 67 70 71 74 83 84 92 96 113 116 119 120 122 123 126 127 130 136 139 142 149 152 153 157 159 164 166 169 172 175 176 177 178 180 184 185 187 188 193 195 198 199 202 216 219 230 233 241 242 245 251 252 256 258 259 266 267 274 276 277 278 280 284 286 287 293 295 298 a 4 5 17 19 20 22 24 26 27 31 33 39 41 42 43 47 50 52 53 54 55 57 59 60 61 63 64 67 70 71 74 83 84 92 96 113 116 119 120 122 123 126 127 130 136 139 142 149 152 153 157 159 164 166 169 172 175 176 177 178 180 184 185 187 188 193 195 198 199 202 216 218 219 230 233 241 242 245 251 252 256 258 259 266 267 274 276 277 278 280 284 286 287 293 295 298 a 4 5 17 19 20 22 24 26 27 31 33 39 41 42 43 47 50 52 53 54 55 57 59 60 61 63 64 67 70 71 74 83 84 92 96 113 116 119 120 122 123 126 127 130 131 136 139 142 149 152 153 157 159 164 166 169 172 175 176 177 178 180 184 185 187 188 193 195 198 199 202 216 218 219 230 233 241 242 245 251 252 256 258 259 266 274 276 277 278 280 284 286 287 293 295 298 a 4 5 17 19 20 22 24 26 27 31 33 39 41 42 43 47 50 52 53 54 55 57 59 60 61 63 64 67 70 71 74 83 84 92 96 113 114 116 119 120 122 123 126 127 130 131 136 139 142 149 152 153 157 164 166 169 172 175 176 177 178 180 184 185 187 188 193 195 198 199 202 216 218 219 230 233 241 242 245 251 252 256 258 259 266 274 276 277 278 280 284 286 287 293 295 298 a 4 5 17 19 20 22 24 26 27 31 33 39 41 42 43 47 50 52 53 54 55 57 59 60 61 63 64 67 70 71 74 83 84 92 96 113 114 116 119 120 122 126 127 130 131 136 139 142 149 152 153 157 164 166 169 172 175 176 177 178 180 184 185 187 188 193 195 198 199 202 216 218 219 230 233 236 241 242 245 251 252 256 258 259 266 274 276 277 278 280 284 286 287 293 295 298 a 4 5 17 19 20 22 24 26 27 31 33 39 41 42 43 47 50 52 53 54 55 57 59 60 61 63 64 67 70 71 74 83 84 92 96 113 114 116 119 120 122 126 127 130 131 136 139 142 149 152 153 157 164 166 169 172 175 176 177 178 180 184 185 187 188 193 195 198 199 202 216 218 219 230 233 236 241 242 245 251 252 256 258 259 261 266 276 277 278 280 284 286 287 293 295 298 a 4 5 17 19 20 22 24 26 27 31 33 39 41 42 43 47 50 52 53 54 55 57 59 60 61 63 64 67 70 71 74 83 84 92 96 113 114 119 120 122 126 127 130 131 136 139 142 149 152 153 157 158 164 166 169 172 175 176 177 178 180 184 185 187 188 193 195 198 199 202 216 218 219 230 233 236 241 242 245 251 252 256 258 259 261 266 276 277 278 280 284 286 287 293 295 298 a 4 5 17 19 20 22 24 26 27 31 33 39 41 42 43 47 50 52 53 54 55 57 59 60 61 63 64 67 70 71 74 83 84 92 96 113 114 119 120 122 126 127 130 131 136 139 142 149 152 153 157 158 164 166 169 172 175 176 177 178 180 184 185 187 188 193 195 198 199 202 216 218 230 233 236 241 242 245 251 252 256 258 259 261 262 266 276 277 278 280 284 286 287 293 295 298 a 4 5 17 19 20 22 24 26 27 31 33 39 41 42 43 47 50 52 53 54 55 57 59 60 61 63 64 67 70 71 74 83 84 92 96 113 114 119 120 122 126 127 130 131 136 139 142 149 152 153 157 158 164 166 169 172 175 176 177 178 180 184 185 187 188 195 198 199 202 216 218 230 233 236 241 242 245 251 252 256 258 259 261 262 266 276 277 278 280 284 286 287 293 295 298 299 a 4 5 17 19 20 22 24 26 27 31 33 39 41 42 43 47 50 52 53 54 55 57 59 60 61 63 64 67 70 71 74 83 84 92 96 113 114 119 122 126 127 130 131 136 139 142 149 152 153 157 158 164 166 169 172 175 176 177 178 180 184 185 187 188 195 198 199 202 207 216 218 230 233 236 241 242 245 251 252 256 258 259 261 262 266 276 277 278 280 284 286 287 293 295 298 299 a 4 5 17 18 19 20 22 24 26 27 31 33 39 41 42 43 47 50 52 53 54 55 57 59 60 61 63 64 67 70 71 74 83 84 92 96 113 114 119 122 126 127 130 131 136 139 142 149 152 153 157 158 164 166 169 172 175 176 177 178 180 184 185 187 188 195 198 199 202 207 216 218 230 233 236 242 245 251 252 256 258 259 261 262 266 276 277 278 280 284 286 287 293 295 298 299 a 4 5 17 18 19 20 22 24 26 27 31 33 39 41 42 43 47 50 52 53 54 55 57 59 60 61 63 64 67 70 71 74 83 84 92 96 113 114 119 122 126 127 131 136 139 142 149 152 153 157 158 164 166 169 172 175 176 177 178 180 184 185 186 187 188 195 198 199 202 207 216 218 230 233 236 242 245 251 252 256 258 259 261 262 266 276 277 278 280 284 286 287 293 295 298 299 a 4 5 17 18 19 20 22 24 26 27 33 39 41 42 43 47 50 52 53 54 55 57 59 60 61 63 64 67 70 71 74 83 84 92 96 113 114 119 122 126 127 131 136 139 142 149 152 153 157 158 164 166 169 172 175 176 177 178 180 184 185 186 187 188 195 198 199 202 207 216 218 230 233 235 236 242 245 251 252 256 258 259 261 262 266 276 277 278 280 284 286 287 293 295 298 299 a 4 5 17 18 19 20 22 24 26 27 33 39 41 42 43 47 50 52 53 54 55 57 59 60 61 63 64 67 70 71 74 83 84 92 96 113 114 119 122 126 127 131 136 139 142 149 152 153 157 158 164 165 166 169 172 175 176 177 178 180 185 186 187 188 195 198 199 202 207 216 218 230 233 235 236 242 245 251 252 256 258 259 261 262 266 276 277 278 280 284 286 287 293 295 298 299 c Step: 64 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance023_graph003.col /benchmark/random_instance/random_instance023_graph003_01.dat" User time (seconds): 61.61 System time (seconds): 0.05 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:01.67 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): 100392 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 48286 Voluntary context switches: 24 Involuntary context switches: 155 Swaps: 0 File system inputs: 0 File system outputs: 352 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:54:43 2023]