#BEGIN: [Mon Sep 4 11:05:25 2023] #HOST: s12 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance023_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance023_graph005_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_instance023_graph005.col /benchmark/random_instance/random_instance023_graph005_01.dat c /benchmark/random_instance/random_instance023_graph005.col c /benchmark/random_instance/random_instance023_graph005_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 210 232 262 166 84 238 6 66 14 101 90 182 285 294 186 3 121 168 263 81 201 253 217 59 268 170 49 279 249 228 223 290 18 114 69 129 4 117 199 244 52 272 178 250 280 257 248 33 261 240 237 239 125 71 88 277 286 119 230 251 85 20 127 133 28 21 227 10 297 45 165 150 112 296 207 245 259 153 265 156 270 27 141 32 215 202 2 138 158 292 1 78 214 77 271 157 126 t 19 24 79 214 181 12 122 91 136 224 11 61 274 169 1 113 218 62 192 108 286 23 228 239 21 45 272 186 134 129 188 171 40 198 247 57 28 84 85 118 200 30 25 59 78 67 251 206 8 238 49 152 226 87 52 80 51 60 68 295 164 162 187 96 103 123 105 236 133 269 261 254 88 178 63 235 244 39 93 74 255 101 165 158 83 243 3 159 77 16 119 259 248 42 157 141 76 a YES a 1 2 3 4 6 10 14 18 20 21 27 28 32 33 45 49 52 59 66 69 71 77 78 81 84 85 88 90 101 112 114 117 119 121 125 126 127 129 133 138 141 150 153 156 157 158 165 166 168 170 178 182 186 199 201 202 207 210 214 215 217 223 227 228 230 232 237 238 239 240 244 245 248 249 250 251 253 257 259 261 262 263 265 268 270 271 272 277 279 280 285 286 290 292 294 296 297 a 1 2 3 4 6 10 14 18 20 21 27 28 32 33 45 49 52 59 66 69 71 77 78 81 84 85 88 90 101 112 114 117 119 121 125 126 127 129 133 134 138 141 150 153 156 157 158 165 166 168 170 178 182 186 199 201 202 210 214 215 217 223 227 228 230 232 237 238 239 240 244 245 248 249 250 251 253 257 259 261 262 263 265 268 270 271 272 277 279 280 285 286 290 292 294 296 297 a 1 2 3 4 6 10 14 18 20 21 27 28 32 33 45 49 52 59 66 69 71 77 78 81 84 85 88 90 101 112 114 117 119 121 125 126 127 129 133 134 138 141 150 153 156 157 158 165 168 170 178 182 186 199 201 202 210 214 215 217 223 226 227 228 230 232 237 238 239 240 244 245 248 249 250 251 253 257 259 261 262 263 265 268 270 271 272 277 279 280 285 286 290 292 294 296 297 a 1 2 3 4 6 10 14 18 20 21 27 28 32 33 45 49 52 59 66 68 69 71 77 78 81 84 85 88 90 101 112 114 117 119 121 125 126 127 129 133 134 138 141 150 153 156 157 158 165 168 170 178 182 186 199 201 202 210 214 215 217 223 226 227 228 230 232 237 238 239 240 244 245 248 249 250 251 253 257 259 261 262 263 265 268 270 271 272 277 279 280 286 290 292 294 296 297 a 1 2 3 4 6 10 14 18 20 21 27 28 32 33 45 49 52 59 66 68 69 71 77 78 81 84 85 88 90 101 112 114 117 119 121 125 126 127 129 133 134 138 141 150 153 156 157 158 165 168 170 178 182 186 199 201 202 210 214 215 217 223 226 227 228 230 236 237 238 239 240 244 245 248 249 250 251 253 257 259 261 262 263 265 268 270 271 272 277 279 280 286 290 292 294 296 297 a 1 2 3 4 6 10 14 18 20 21 27 28 32 33 45 49 52 59 66 68 69 71 77 78 81 84 85 88 90 101 112 114 117 119 121 125 126 127 129 133 134 138 141 150 153 156 157 158 165 168 170 171 178 182 186 199 201 202 210 214 215 217 223 226 227 228 230 236 237 238 239 240 244 245 248 249 250 251 253 257 259 261 262 263 265 268 270 271 272 277 279 280 286 290 294 296 297 a 1 2 3 4 6 10 14 18 20 21 27 28 32 33 45 49 52 59 66 68 69 71 77 78 81 84 85 88 90 101 103 112 114 117 119 121 125 126 127 129 133 134 138 141 150 153 156 157 158 165 168 170 171 178 182 186 199 201 202 210 214 215 217 223 226 227 228 230 236 237 238 239 240 244 245 248 249 250 251 253 257 259 261 262 263 265 268 270 271 272 277 279 280 286 290 294 297 a 1 2 3 4 6 10 14 18 20 21 27 28 32 33 45 49 52 59 66 68 69 71 77 78 81 84 85 88 90 101 103 112 114 117 119 121 125 126 127 129 133 134 138 141 150 156 157 158 165 168 170 171 178 182 186 199 201 202 210 214 215 217 223 226 227 228 230 236 237 238 239 240 244 245 248 249 250 251 253 257 259 261 262 263 265 268 269 270 271 272 277 279 280 286 290 294 297 a 1 2 3 4 6 10 14 18 20 21 27 28 32 33 45 49 52 59 66 68 69 71 77 78 81 84 85 88 90 101 103 112 114 117 119 121 125 126 127 129 133 134 138 141 150 156 157 158 164 165 168 170 171 178 182 186 199 201 202 210 214 215 217 223 226 227 228 236 237 238 239 240 244 245 248 249 250 251 253 257 259 261 262 263 265 268 269 270 271 272 277 279 280 286 290 294 297 a 1 2 3 4 6 10 14 16 18 20 21 27 28 32 33 45 49 52 59 66 68 69 71 77 78 81 84 85 88 90 101 103 112 114 117 119 121 126 127 129 133 134 138 141 150 156 157 158 164 165 168 170 171 178 182 186 199 201 202 210 214 215 217 223 226 227 228 236 237 238 239 240 244 245 248 249 250 251 253 257 259 261 262 263 265 268 269 270 271 272 277 279 280 286 290 294 297 a 1 2 3 4 6 10 14 16 18 20 21 27 28 32 33 45 49 52 59 66 68 69 71 77 78 81 83 84 85 88 90 101 103 112 114 117 119 121 126 127 129 133 134 138 141 150 156 157 158 164 165 168 170 171 178 182 186 199 201 202 210 214 215 217 223 226 227 228 236 237 238 239 240 244 245 248 250 251 253 257 259 261 262 263 265 268 269 270 271 272 277 279 280 286 290 294 297 a 1 2 3 4 6 10 14 16 18 20 21 27 28 32 33 45 49 52 59 66 68 69 71 77 78 81 83 84 85 88 90 101 103 112 114 117 119 121 126 127 129 133 134 138 141 150 156 157 158 164 165 168 170 171 178 182 186 199 201 202 210 214 215 217 223 226 227 228 236 237 238 239 240 243 244 245 248 250 251 253 257 259 261 262 263 265 268 269 270 271 272 277 279 286 290 294 297 a 1 2 3 4 6 10 14 16 18 21 27 28 32 33 45 49 52 59 66 68 69 71 77 78 81 83 84 85 88 90 101 103 112 114 117 119 121 126 127 129 133 134 138 141 150 156 157 158 164 165 168 170 171 178 182 186 188 199 201 202 210 214 215 217 223 226 227 228 236 237 238 239 240 243 244 245 248 250 251 253 257 259 261 262 263 265 268 269 270 271 272 277 279 286 290 294 297 a 1 2 3 4 6 10 14 16 18 21 27 28 32 33 40 45 49 52 59 66 68 69 71 77 78 81 83 84 85 88 90 101 103 112 114 117 119 121 126 127 129 133 134 138 141 150 156 157 158 164 165 168 170 171 178 182 186 188 199 201 202 210 214 215 217 223 226 227 228 236 237 238 239 240 243 244 245 248 250 251 253 257 259 261 262 263 265 268 269 271 272 277 279 286 290 294 297 a 1 2 3 4 6 10 14 16 18 21 27 28 32 33 40 45 49 52 59 66 68 69 71 76 77 78 81 83 84 85 88 90 101 103 112 114 117 119 121 126 127 129 133 134 138 141 150 156 157 158 164 165 168 170 171 178 182 186 188 199 201 202 210 214 215 217 223 226 227 228 236 237 238 239 240 243 244 245 248 250 251 257 259 261 262 263 265 268 269 271 272 277 279 286 290 294 297 a 1 2 3 4 6 10 14 16 18 21 28 32 33 40 45 49 52 59 66 68 69 71 76 77 78 81 83 84 85 88 90 96 101 103 112 114 117 119 121 126 127 129 133 134 138 141 150 156 157 158 164 165 168 170 171 178 182 186 188 199 201 202 210 214 215 217 223 226 227 228 236 237 238 239 240 243 244 245 248 250 251 257 259 261 262 263 265 268 269 271 272 277 279 286 290 294 297 a 1 2 3 4 6 10 14 16 18 21 24 28 32 33 40 45 49 52 59 66 68 69 71 76 77 78 81 83 84 85 88 90 96 101 103 112 114 117 119 121 126 127 129 133 134 138 141 150 156 157 158 164 165 168 170 171 178 182 186 188 199 201 202 210 214 215 217 223 226 228 236 237 238 239 240 243 244 245 248 250 251 257 259 261 262 263 265 268 269 271 272 277 279 286 290 294 297 a 1 2 3 4 6 10 14 16 18 21 24 28 32 33 40 45 49 52 59 68 69 71 76 77 78 81 83 84 85 88 90 96 101 103 112 114 117 119 121 126 127 129 133 134 138 141 150 156 157 158 162 164 165 168 170 171 178 182 186 188 199 201 202 210 214 215 217 223 226 228 236 237 238 239 240 243 244 245 248 250 251 257 259 261 262 263 265 268 269 271 272 277 279 286 290 294 297 a 1 2 3 4 6 10 14 16 18 21 24 28 32 33 40 45 49 52 59 68 69 71 76 77 78 81 83 84 85 88 90 96 101 103 112 114 117 119 121 126 127 129 133 134 138 141 150 156 157 158 159 162 164 165 168 170 171 178 182 186 188 199 201 202 210 214 215 217 223 226 228 236 237 238 239 240 243 244 245 248 250 251 257 259 261 262 263 265 268 269 271 272 277 279 286 290 294 a 1 2 3 4 6 14 16 18 21 24 28 32 33 40 45 49 52 59 63 68 69 71 76 77 78 81 83 84 85 88 90 96 101 103 112 114 117 119 121 126 127 129 133 134 138 141 150 156 157 158 159 162 164 165 168 170 171 178 182 186 188 199 201 202 210 214 215 217 223 226 228 236 237 238 239 240 243 244 245 248 250 251 257 259 261 262 263 265 268 269 271 272 277 279 286 290 294 a 1 2 3 4 6 14 16 18 21 24 28 32 33 40 45 49 52 59 60 63 68 69 71 76 77 78 81 83 84 85 88 90 96 101 103 114 117 119 121 126 127 129 133 134 138 141 150 156 157 158 159 162 164 165 168 170 171 178 182 186 188 199 201 202 210 214 215 217 223 226 228 236 237 238 239 240 243 244 245 248 250 251 257 259 261 262 263 265 268 269 271 272 277 279 286 290 294 a 1 2 3 4 6 14 16 18 21 24 28 32 33 40 45 49 52 57 59 60 63 68 71 76 77 78 81 83 84 85 88 90 96 101 103 114 117 119 121 126 127 129 133 134 138 141 150 156 157 158 159 162 164 165 168 170 171 178 182 186 188 199 201 202 210 214 215 217 223 226 228 236 237 238 239 240 243 244 245 248 250 251 257 259 261 262 263 265 268 269 271 272 277 279 286 290 294 a 1 2 3 4 6 14 16 18 21 24 28 32 33 40 45 49 52 57 59 60 63 68 71 76 77 78 81 83 84 85 88 90 96 101 103 114 117 119 121 126 127 129 133 134 138 141 150 156 157 158 159 162 164 165 168 169 170 171 178 186 188 199 201 202 210 214 215 217 223 226 228 236 237 238 239 240 243 244 245 248 250 251 257 259 261 262 263 265 268 269 271 272 277 279 286 290 294 a 1 2 3 4 6 14 16 18 21 24 28 32 33 40 45 49 52 57 59 60 63 68 71 76 77 78 81 83 84 85 88 90 96 101 103 114 117 119 121 126 127 129 133 134 136 138 141 150 156 157 158 159 162 164 165 168 169 170 171 178 186 188 201 202 210 214 215 217 223 226 228 236 237 238 239 240 243 244 245 248 250 251 257 259 261 262 263 265 268 269 271 272 277 279 286 290 294 a 1 2 3 4 6 14 16 21 24 28 32 33 40 45 49 52 57 59 60 63 68 71 76 77 78 81 83 84 85 88 90 96 101 103 114 117 119 121 126 127 129 133 134 136 138 141 150 156 157 158 159 162 164 165 168 169 170 171 178 186 188 201 202 210 214 215 217 223 226 228 236 237 238 239 240 243 244 245 248 250 251 257 259 261 262 263 265 268 269 271 272 274 277 279 286 290 294 a 1 2 3 4 6 14 16 21 24 28 32 33 40 45 49 52 57 59 60 62 63 68 71 76 77 78 81 83 84 85 88 90 96 101 103 114 117 119 121 127 129 133 134 136 138 141 150 156 157 158 159 162 164 165 168 169 170 171 178 186 188 201 202 210 214 215 217 223 226 228 236 237 238 239 240 243 244 245 248 250 251 257 259 261 262 263 265 268 269 271 272 274 277 279 286 290 294 a 1 2 3 4 6 14 16 21 24 28 32 33 40 45 49 52 57 59 60 62 63 68 71 76 77 78 81 83 84 85 88 90 96 101 103 114 117 119 121 127 129 133 134 136 138 141 150 156 157 158 159 162 164 165 168 169 170 171 178 186 188 192 201 202 210 214 215 217 226 228 236 237 238 239 240 243 244 245 248 250 251 257 259 261 262 263 265 268 269 271 272 274 277 279 286 290 294 a 1 2 3 4 6 14 16 19 21 24 28 32 33 40 45 49 52 57 59 60 62 63 68 71 76 77 78 81 83 84 85 88 90 96 101 103 114 117 119 121 127 129 133 134 136 138 141 150 156 157 158 159 162 164 165 168 169 170 171 178 186 188 192 201 202 210 214 215 217 226 228 236 237 238 239 240 243 244 245 248 250 251 257 259 261 262 263 265 268 269 271 272 274 277 279 286 290 a 1 2 3 4 6 16 19 21 24 28 32 33 40 45 49 52 57 59 60 62 63 68 71 76 77 78 80 81 83 84 85 88 90 96 101 103 114 117 119 121 127 129 133 134 136 138 141 150 156 157 158 159 162 164 165 168 169 170 171 178 186 188 192 201 202 210 214 215 217 226 228 236 237 238 239 240 243 244 245 248 250 251 257 259 261 262 263 265 268 269 271 272 274 277 279 286 290 a 1 2 3 4 6 16 19 21 24 28 32 33 40 45 49 52 57 59 60 62 63 68 71 76 77 78 80 81 83 84 85 88 90 96 101 103 114 117 119 121 127 129 133 134 136 141 150 156 157 158 159 162 164 165 168 169 170 171 178 186 188 192 201 202 210 214 215 217 224 226 228 236 237 238 239 240 243 244 245 248 250 251 257 259 261 262 263 265 268 269 271 272 274 277 279 286 290 a 1 2 3 4 6 16 19 21 24 28 32 33 40 45 49 52 57 59 60 62 63 68 71 76 77 78 80 81 83 84 85 88 90 96 101 103 114 117 119 121 127 129 133 134 136 141 150 156 157 158 159 162 164 165 168 169 170 171 178 186 188 192 201 202 210 214 215 217 218 224 226 228 236 237 238 239 243 244 245 248 250 251 257 259 261 262 263 265 268 269 271 272 274 277 279 286 290 a 1 2 3 4 6 16 19 21 24 25 28 32 33 40 45 49 52 57 59 60 62 63 68 71 76 77 78 80 81 83 84 85 88 96 101 103 114 117 119 121 127 129 133 134 136 141 150 156 157 158 159 162 164 165 168 169 170 171 178 186 188 192 201 202 210 214 215 217 218 224 226 228 236 237 238 239 243 244 245 248 250 251 257 259 261 262 263 265 268 269 271 272 274 277 279 286 290 a 1 2 3 6 16 19 21 24 25 28 32 33 40 45 49 52 57 59 60 62 63 68 71 76 77 78 80 81 83 84 85 87 88 96 101 103 114 117 119 121 127 129 133 134 136 141 150 156 157 158 159 162 164 165 168 169 170 171 178 186 188 192 201 202 210 214 215 217 218 224 226 228 236 237 238 239 243 244 245 248 250 251 257 259 261 262 263 265 268 269 271 272 274 277 279 286 290 a 1 2 3 6 16 19 21 24 25 28 32 33 39 40 45 49 52 57 59 60 62 63 68 71 76 77 78 80 83 84 85 87 88 96 101 103 114 117 119 121 127 129 133 134 136 141 150 156 157 158 159 162 164 165 168 169 170 171 178 186 188 192 201 202 210 214 215 217 218 224 226 228 236 237 238 239 243 244 245 248 250 251 257 259 261 262 263 265 268 269 271 272 274 277 279 286 290 a 1 2 3 6 16 19 21 24 25 28 32 33 39 40 45 49 52 57 59 60 62 63 68 71 76 77 78 80 83 84 85 87 88 96 101 103 105 114 117 119 121 127 129 133 134 136 141 150 156 157 158 159 162 164 165 168 169 170 171 178 186 188 192 201 202 210 214 215 217 218 224 226 228 236 237 238 239 243 244 245 248 250 251 257 259 261 262 263 265 269 271 272 274 277 279 286 290 a 1 2 3 6 16 19 21 24 25 28 32 33 39 40 45 49 52 57 59 60 62 63 68 71 76 77 78 80 83 84 85 87 88 96 101 103 105 114 117 119 121 127 129 133 134 136 141 150 156 157 158 159 162 164 165 168 169 170 171 178 186 188 192 200 201 202 210 214 215 217 218 224 226 228 236 237 238 239 243 244 245 248 250 251 257 259 261 262 263 265 269 271 272 274 277 279 286 a 1 2 3 6 11 16 19 21 24 25 28 32 33 39 40 45 49 52 57 59 60 62 63 68 71 76 77 78 80 83 84 85 87 88 96 101 103 105 114 117 119 121 127 129 133 134 136 141 150 156 157 158 159 162 164 165 168 169 170 171 178 186 188 192 200 201 202 210 214 215 217 218 224 226 228 236 237 238 239 243 244 245 248 250 251 257 259 261 262 265 269 271 272 274 277 279 286 a 1 2 3 6 11 12 16 19 21 24 25 28 32 33 39 40 45 49 52 57 59 60 62 63 68 71 76 77 78 80 83 84 85 87 88 96 101 103 105 114 117 119 121 127 129 133 134 136 141 150 156 157 158 159 162 164 165 168 169 170 171 178 186 188 192 200 201 202 210 214 215 217 218 224 226 228 236 237 238 239 243 244 245 248 250 251 257 259 261 262 265 269 271 272 274 277 286 a 1 2 3 6 11 12 16 19 21 24 25 28 32 33 39 40 45 49 52 57 59 60 62 63 68 71 76 77 78 80 83 84 85 87 88 96 101 103 105 114 117 119 121 127 129 133 134 136 141 150 156 157 158 159 162 164 165 168 169 170 171 178 186 188 192 200 201 202 210 214 215 217 218 224 226 228 236 237 238 239 243 244 245 248 251 254 257 259 261 262 265 269 271 272 274 277 286 a 1 2 3 6 11 12 16 19 21 24 25 28 32 33 39 40 45 49 52 57 59 60 62 63 68 71 76 77 78 80 83 84 85 87 88 91 96 101 103 105 114 117 119 121 127 129 133 134 136 141 150 156 157 158 159 162 164 165 168 169 170 171 178 186 188 192 200 201 202 210 214 215 217 218 224 226 228 236 238 239 243 244 245 248 251 254 257 259 261 262 265 269 271 272 274 277 286 a 1 2 3 6 11 12 16 19 21 24 25 28 32 33 39 40 45 49 52 57 59 60 62 63 68 71 76 77 78 80 83 84 85 87 88 91 96 101 103 105 108 114 117 119 121 127 129 133 134 136 141 150 156 157 158 159 162 164 165 168 169 171 178 186 188 192 200 201 202 210 214 215 217 218 224 226 228 236 238 239 243 244 245 248 251 254 257 259 261 262 265 269 271 272 274 277 286 a 1 2 3 6 11 12 16 19 21 24 25 28 32 33 39 40 45 49 52 57 59 60 62 63 68 71 74 76 77 78 80 83 84 85 87 88 91 96 101 103 105 108 114 117 119 121 127 129 133 134 136 141 150 156 157 158 159 162 164 165 168 169 171 178 186 188 192 200 201 210 214 215 217 218 224 226 228 236 238 239 243 244 245 248 251 254 257 259 261 262 265 269 271 272 274 277 286 a 1 2 3 6 11 12 16 19 21 24 25 28 32 33 39 40 45 49 51 52 57 59 60 62 63 68 71 74 76 77 78 80 83 84 85 87 88 91 96 101 103 105 108 114 117 119 127 129 133 134 136 141 150 156 157 158 159 162 164 165 168 169 171 178 186 188 192 200 201 210 214 215 217 218 224 226 228 236 238 239 243 244 245 248 251 254 257 259 261 262 265 269 271 272 274 277 286 a 1 2 3 6 11 12 16 19 21 24 25 28 32 33 39 40 42 45 49 51 52 57 59 60 62 63 68 71 74 76 77 78 80 83 84 85 87 88 91 96 101 103 105 108 114 117 119 127 129 133 134 136 141 150 156 157 158 159 162 164 165 168 169 171 178 186 188 192 200 201 210 214 215 218 224 226 228 236 238 239 243 244 245 248 251 254 257 259 261 262 265 269 271 272 274 277 286 a 1 2 3 6 11 12 16 19 21 24 25 28 32 33 39 40 42 45 49 51 52 57 59 60 62 63 68 71 74 76 77 78 80 83 84 85 87 88 91 96 101 103 105 108 114 117 119 127 129 133 134 136 141 150 156 157 158 159 162 164 165 168 169 171 178 186 188 192 200 210 214 215 218 224 226 228 236 238 239 243 244 245 248 251 254 255 257 259 261 262 265 269 271 272 274 277 286 a 1 2 3 11 12 16 19 21 24 25 28 32 33 39 40 42 45 49 51 52 57 59 60 62 63 68 71 74 76 77 78 80 83 84 85 87 88 91 96 101 103 105 108 114 117 119 127 129 133 134 136 141 150 156 157 158 159 162 164 165 168 169 171 178 186 188 192 200 210 214 215 218 224 226 228 235 236 238 239 243 244 245 248 251 254 255 257 259 261 262 265 269 271 272 274 277 286 a 1 2 3 11 12 16 19 21 24 25 28 32 33 39 40 42 45 49 51 52 57 59 60 62 63 67 68 71 74 76 77 78 80 83 84 85 87 88 91 96 101 103 105 108 114 117 119 127 129 133 134 136 141 150 156 157 158 159 162 164 165 168 169 171 178 186 188 192 200 214 215 218 224 226 228 235 236 238 239 243 244 245 248 251 254 255 257 259 261 262 265 269 271 272 274 277 286 a 1 2 3 11 12 16 19 21 24 25 28 32 33 39 40 42 45 49 51 52 57 59 60 62 63 67 68 71 74 76 77 78 80 83 84 85 87 88 91 96 101 103 105 108 114 117 119 127 129 133 134 136 141 150 157 158 159 162 164 165 168 169 171 178 186 187 188 192 200 214 215 218 224 226 228 235 236 238 239 243 244 245 248 251 254 255 257 259 261 262 265 269 271 272 274 277 286 a 1 2 3 11 12 16 19 21 24 25 28 33 39 40 42 45 49 51 52 57 59 60 62 63 67 68 71 74 76 77 78 80 83 84 85 87 88 91 96 101 103 105 108 114 117 119 127 129 133 134 136 141 150 157 158 159 162 164 165 168 169 171 178 186 187 188 192 198 200 214 215 218 224 226 228 235 236 238 239 243 244 245 248 251 254 255 257 259 261 262 265 269 271 272 274 277 286 a 1 3 11 12 16 19 21 24 25 28 33 39 40 42 45 49 51 52 57 59 60 62 63 67 68 71 74 76 77 78 80 83 84 85 87 88 91 96 101 103 105 108 114 117 119 127 129 133 134 136 141 150 157 158 159 162 164 165 168 169 171 178 186 187 188 192 198 200 214 215 218 224 226 228 235 236 238 239 243 244 245 248 251 254 255 257 259 261 262 265 269 271 272 274 277 286 295 a 1 3 11 12 16 19 21 24 25 28 33 39 40 42 45 49 51 52 57 59 60 61 62 63 67 68 71 74 76 77 78 80 83 84 85 87 88 91 96 101 103 105 108 114 117 119 127 129 133 134 136 141 150 157 158 159 162 164 165 168 169 171 178 186 187 188 192 198 200 214 215 218 224 226 228 235 236 238 239 243 244 248 251 254 255 257 259 261 262 265 269 271 272 274 277 286 295 a 1 3 8 11 12 16 19 21 24 25 28 33 39 40 42 45 49 51 52 57 59 60 61 62 63 67 68 71 74 76 77 78 80 83 84 85 87 88 91 96 101 103 105 108 114 119 127 129 133 134 136 141 150 157 158 159 162 164 165 168 169 171 178 186 187 188 192 198 200 214 215 218 224 226 228 235 236 238 239 243 244 248 251 254 255 257 259 261 262 265 269 271 272 274 277 286 295 a 1 3 8 11 12 16 19 21 24 25 28 33 39 40 42 45 49 51 52 57 59 60 61 62 63 67 68 74 76 77 78 80 83 84 85 87 88 91 96 101 103 105 108 114 119 127 129 133 134 136 141 150 157 158 159 162 164 165 168 169 171 178 181 186 187 188 192 198 200 214 215 218 224 226 228 235 236 238 239 243 244 248 251 254 255 257 259 261 262 265 269 271 272 274 277 286 295 a 1 3 8 11 12 16 19 21 24 25 28 33 39 40 42 45 49 51 52 57 59 60 61 62 63 67 68 74 76 77 78 80 83 84 85 87 88 91 96 101 103 105 108 114 119 127 129 133 134 136 141 150 157 158 159 162 164 165 169 171 178 181 186 187 188 192 198 200 206 214 215 218 224 226 228 235 236 238 239 243 244 248 251 254 255 257 259 261 262 265 269 271 272 274 277 286 295 a 1 3 8 11 12 16 19 21 24 25 28 33 39 40 42 45 49 51 52 57 59 60 61 62 63 67 68 74 76 77 78 80 83 84 85 87 88 91 96 101 103 105 108 114 119 123 127 129 133 134 136 141 150 157 158 159 162 164 165 169 171 178 181 186 187 188 192 198 200 206 214 215 218 224 226 228 235 236 238 239 243 244 248 251 254 255 257 259 261 262 269 271 272 274 277 286 295 a 1 3 8 11 12 16 19 21 23 24 25 28 33 39 40 42 45 49 51 52 57 59 60 61 62 63 67 68 74 76 77 78 80 83 84 85 87 88 91 96 101 103 105 108 114 119 123 127 129 133 134 136 141 150 157 158 159 162 164 165 169 171 178 181 186 187 188 192 198 200 206 214 215 218 224 226 228 235 236 238 239 243 244 248 251 254 255 257 259 261 262 269 271 272 274 286 295 a 1 3 8 11 12 16 19 21 23 24 25 28 33 39 40 42 45 49 51 52 57 59 60 61 62 63 67 68 74 76 77 78 80 83 84 85 87 88 91 96 101 103 105 108 114 119 123 129 133 134 136 141 150 152 157 158 159 162 164 165 169 171 178 181 186 187 188 192 198 200 206 214 215 218 224 226 228 235 236 238 239 243 244 248 251 254 255 257 259 261 262 269 271 272 274 286 295 a 1 3 8 11 12 16 19 21 23 24 25 28 33 39 40 42 45 49 51 52 57 59 60 61 62 63 67 68 74 76 77 78 79 80 83 84 85 87 88 91 96 101 103 105 108 114 119 123 129 133 134 136 141 150 152 157 158 159 162 164 165 169 171 178 181 186 187 188 192 198 200 206 214 218 224 226 228 235 236 238 239 243 244 248 251 254 255 257 259 261 262 269 271 272 274 286 295 a 1 3 8 11 12 16 19 21 23 24 25 28 33 39 40 42 45 49 51 52 57 59 60 61 62 63 67 68 74 76 77 78 79 80 83 84 85 87 88 91 93 96 101 103 105 108 114 119 123 129 133 134 136 141 150 152 157 158 159 162 164 165 169 171 178 181 186 187 188 192 198 200 206 214 218 224 226 228 235 236 238 239 243 244 248 251 254 255 259 261 262 269 271 272 274 286 295 a 1 3 8 11 12 16 19 21 23 24 25 28 30 39 40 42 45 49 51 52 57 59 60 61 62 63 67 68 74 76 77 78 79 80 83 84 85 87 88 91 93 96 101 103 105 108 114 119 123 129 133 134 136 141 150 152 157 158 159 162 164 165 169 171 178 181 186 187 188 192 198 200 206 214 218 224 226 228 235 236 238 239 243 244 248 251 254 255 259 261 262 269 271 272 274 286 295 a 1 3 8 11 12 16 19 21 23 24 25 28 30 39 40 42 45 49 51 52 57 59 60 61 62 63 67 68 74 76 77 78 79 80 83 84 85 87 88 91 93 96 101 103 105 108 113 114 119 123 129 133 134 136 141 150 152 157 158 159 162 164 165 169 171 178 181 186 187 188 192 198 200 206 214 218 224 226 228 235 236 238 239 243 244 248 251 254 255 259 261 262 269 272 274 286 295 a 1 3 8 11 12 16 19 21 23 24 25 28 30 39 40 42 45 49 51 52 57 59 60 61 62 63 67 68 74 76 77 78 79 80 83 84 85 87 88 91 93 96 101 103 105 108 113 114 119 122 123 129 133 134 136 141 150 152 157 158 159 162 164 165 169 171 178 181 186 187 188 192 198 200 206 214 218 224 226 228 235 236 238 239 243 244 248 251 254 255 259 261 269 272 274 286 295 a 1 3 8 11 12 16 19 21 23 24 25 28 30 39 40 42 45 49 51 52 57 59 60 61 62 63 67 68 74 76 77 78 79 80 83 84 85 87 88 91 93 96 101 103 105 108 113 118 119 122 123 129 133 134 136 141 150 152 157 158 159 162 164 165 169 171 178 181 186 187 188 192 198 200 206 214 218 224 226 228 235 236 238 239 243 244 248 251 254 255 259 261 269 272 274 286 295 a 1 3 8 11 12 16 19 21 23 24 25 28 30 39 40 42 45 49 51 52 57 59 60 61 62 63 67 68 74 76 77 78 79 80 83 84 85 87 88 91 93 96 101 103 105 108 113 118 119 122 123 129 133 134 136 141 152 157 158 159 162 164 165 169 171 178 181 186 187 188 192 198 200 206 214 218 224 226 228 235 236 238 239 243 244 247 248 251 254 255 259 261 269 272 274 286 295 c Step: 63 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance023_graph005.col /benchmark/random_instance/random_instance023_graph005_01.dat" User time (seconds): 353.12 System time (seconds): 8.54 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.69 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): 30161016 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 10104510 Voluntary context switches: 28 Involuntary context switches: 2315 Swaps: 0 File system inputs: 0 File system outputs: 368 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 11:11:28 2023]