#BEGIN: [Mon Sep 4 13:20:13 2023] #HOST: s16 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance019_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance019_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/random_instance/random_instance019_graph003.col /benchmark/random_instance/random_instance019_graph003_01.dat c /benchmark/random_instance/random_instance019_graph003.col c /benchmark/random_instance/random_instance019_graph003_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 219 164 104 31 207 107 228 28 91 192 231 67 134 37 59 213 19 50 172 149 179 32 112 106 16 205 150 81 218 180 43 187 5 168 233 142 153 58 120 119 240 111 229 133 23 113 78 193 74 118 68 71 97 230 162 212 173 175 116 165 14 200 30 26 9 183 190 123 234 167 152 166 99 217 185 210 238 15 76 t 160 79 71 32 211 14 1 65 77 212 27 244 118 9 189 28 178 243 25 119 51 207 196 195 114 10 182 214 93 95 36 80 174 217 154 64 218 156 41 88 62 239 247 235 203 157 53 229 23 21 20 48 127 134 124 26 164 150 147 99 86 171 105 121 104 199 208 240 12 221 42 202 37 112 216 38 200 89 57 a YES a 5 9 14 15 16 19 23 26 28 30 31 32 37 43 50 58 59 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 113 116 118 119 120 123 133 134 142 149 150 152 153 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 219 228 229 230 231 233 234 238 240 a 5 9 14 15 16 19 23 26 28 30 31 32 37 43 50 58 59 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 113 116 118 119 120 123 133 134 142 149 150 152 153 160 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 219 229 230 231 233 234 238 240 a 5 9 14 15 16 19 23 26 28 30 31 32 37 43 50 58 59 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 116 118 119 120 123 133 134 137 142 149 150 152 153 160 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 219 229 230 231 233 234 238 240 a 5 9 14 15 16 19 23 26 28 30 31 32 37 43 50 58 59 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 116 118 119 120 123 133 134 137 142 149 150 152 153 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 219 228 229 230 231 233 234 238 240 a 5 9 14 15 16 19 23 26 28 30 31 32 37 43 47 50 59 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 116 118 119 120 123 133 134 137 142 149 150 152 153 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 219 228 229 230 231 233 234 238 240 a 5 9 14 15 16 19 23 26 28 30 31 32 37 43 47 50 59 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 116 118 119 120 123 133 134 137 142 149 150 152 153 160 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 219 229 230 231 233 234 238 240 a 5 9 14 15 16 19 23 26 28 30 31 32 37 43 47 50 59 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 116 118 119 120 123 133 134 137 142 147 149 150 152 153 160 162 164 165 166 167 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 219 229 230 231 233 234 238 240 a 5 9 14 15 16 19 23 26 28 30 31 32 37 43 47 50 59 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 116 118 119 120 123 133 134 137 142 147 149 150 152 153 162 164 165 166 167 172 173 175 179 180 183 185 187 190 192 193 200 205 207 210 212 213 217 218 219 228 229 230 231 233 234 238 240 a 5 9 14 15 16 19 23 26 28 30 31 32 37 43 47 50 59 65 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 116 118 119 120 123 133 134 137 142 147 149 150 152 153 162 164 165 166 167 172 173 175 179 180 183 185 187 190 192 193 205 207 210 212 213 217 218 219 228 229 230 231 233 234 238 240 a 5 9 14 15 16 19 23 26 28 30 31 32 37 43 47 50 59 65 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 116 118 119 120 123 133 134 137 142 147 149 150 152 153 162 164 165 166 167 172 173 175 179 180 183 185 187 190 192 193 207 210 212 213 217 218 219 228 229 230 231 233 234 235 238 240 a 5 9 14 15 16 19 23 26 28 30 31 32 37 43 47 50 59 65 67 68 71 74 76 78 81 97 99 104 106 107 111 112 116 118 119 120 123 133 134 137 142 147 149 150 152 153 162 164 165 166 167 172 173 175 179 180 183 185 187 190 192 193 200 207 210 212 213 217 218 219 228 229 230 231 233 234 235 238 240 a 5 9 14 15 16 19 23 26 28 30 31 32 37 43 47 50 59 65 67 68 71 74 76 78 79 81 97 99 104 106 107 111 112 116 118 119 120 123 133 134 137 142 147 149 150 152 153 162 164 165 166 167 172 173 175 179 180 183 185 187 190 193 200 207 210 212 213 217 218 219 228 229 230 231 233 234 235 238 240 a 5 9 14 15 16 19 23 26 28 30 31 32 37 43 47 50 59 65 67 68 71 74 76 78 79 81 97 99 104 106 107 111 112 116 118 119 120 123 127 133 134 137 147 149 150 152 153 162 164 165 166 167 172 173 175 179 180 183 185 187 190 193 200 207 210 212 213 217 218 219 228 229 230 231 233 234 235 238 240 a 5 9 14 15 16 19 23 26 28 30 32 36 37 43 47 50 59 65 67 68 71 74 76 78 79 81 97 99 104 106 107 111 112 116 118 119 120 123 127 133 134 137 147 149 150 152 153 162 164 165 166 167 172 173 175 179 180 183 185 187 190 193 200 207 210 212 213 217 218 219 228 229 230 231 233 234 235 238 240 a 5 9 14 15 16 19 23 26 28 30 32 36 37 38 43 47 50 59 65 67 68 71 74 76 78 79 81 97 99 104 106 107 111 112 116 118 119 120 123 127 133 134 137 147 149 150 152 162 164 165 166 167 172 173 175 179 180 183 185 187 190 193 200 207 210 212 213 217 218 219 228 229 230 231 233 234 235 238 240 a 5 9 14 15 16 19 23 26 28 30 32 36 37 38 43 47 50 59 65 67 68 71 74 76 78 79 81 97 99 104 106 107 111 112 116 118 119 120 123 127 133 134 137 147 149 150 152 162 164 165 166 167 172 173 179 180 183 185 187 190 193 195 200 207 210 212 213 217 218 219 228 229 230 231 233 234 235 238 240 a 5 9 14 15 16 19 23 26 28 30 32 36 37 38 43 47 50 59 65 67 68 71 74 76 78 79 81 97 99 104 106 107 111 112 118 119 120 123 127 133 134 137 147 149 150 152 162 164 165 166 167 172 173 179 180 183 185 187 190 193 195 200 202 207 210 212 213 217 218 219 228 229 230 231 233 234 235 238 240 a 5 9 14 15 16 19 23 26 28 30 32 36 37 38 43 47 50 59 64 65 67 68 71 74 76 78 79 81 99 104 106 107 111 112 118 119 120 123 127 133 134 137 147 149 150 152 162 164 165 166 167 172 173 179 180 183 185 187 190 193 195 200 202 207 210 212 213 217 218 219 228 229 230 231 233 234 235 238 240 a 5 9 14 15 16 19 23 26 28 30 32 36 37 38 43 47 50 59 64 65 67 68 71 74 76 78 79 81 99 104 106 107 111 112 118 119 120 123 127 133 134 137 147 149 150 152 160 162 164 165 166 167 172 173 179 180 183 185 187 190 193 195 200 202 207 210 212 213 217 218 219 229 230 231 233 234 235 238 240 a 5 9 14 15 16 19 23 26 28 30 32 36 37 38 43 47 50 59 64 65 67 68 71 74 76 78 79 81 99 104 106 107 111 112 118 119 120 123 127 133 134 137 147 149 150 152 160 162 164 165 166 167 172 173 174 179 180 183 185 187 190 193 195 200 202 207 212 213 217 218 219 229 230 231 233 234 235 238 240 a 5 9 14 15 16 19 23 26 27 28 30 32 36 37 38 43 47 50 59 64 65 67 68 71 74 76 78 79 81 99 104 106 107 111 112 118 119 120 123 127 133 134 137 147 149 150 152 160 162 164 165 166 167 172 173 174 179 180 183 185 187 190 195 200 202 207 212 213 217 218 219 229 230 231 233 234 235 238 240 a 5 9 14 15 16 19 23 26 27 28 30 32 36 37 38 42 43 47 50 59 64 65 67 68 71 74 76 78 79 81 99 104 106 107 111 112 118 119 123 127 133 134 137 147 149 150 152 160 162 164 165 166 167 172 173 174 179 180 183 185 187 190 195 200 202 207 212 213 217 218 219 229 230 231 233 234 235 238 240 a 5 9 14 15 16 19 23 26 27 28 30 32 36 37 38 42 43 47 50 59 64 65 67 68 71 74 76 78 79 81 99 104 106 107 111 112 118 119 123 127 133 134 137 147 149 150 152 160 162 164 166 167 172 173 174 179 180 183 185 187 190 195 200 202 207 212 213 217 218 219 229 230 231 233 234 235 238 239 240 a 5 9 14 15 16 19 23 25 26 27 28 30 32 36 37 38 42 43 47 50 59 64 65 67 68 71 74 76 78 79 81 99 104 106 107 111 112 118 119 127 133 134 137 147 149 150 152 160 162 164 166 167 172 173 174 179 180 183 185 187 190 195 200 202 207 212 213 217 218 219 229 230 231 233 234 235 238 239 240 a 5 9 14 15 16 19 23 25 26 27 28 30 32 36 37 38 42 43 47 50 59 64 65 67 68 71 74 76 77 78 79 81 99 104 106 107 111 112 118 119 127 133 134 137 147 149 150 152 160 162 164 166 167 172 173 174 179 180 183 185 187 190 195 200 202 207 212 213 217 218 219 229 231 233 234 235 238 239 240 a 5 9 14 15 16 19 23 25 26 27 28 30 32 36 37 38 42 43 47 50 59 64 65 67 68 71 74 76 77 78 79 81 99 104 107 111 112 118 119 127 133 134 137 147 149 150 152 157 160 162 164 166 167 172 173 174 179 180 183 185 187 190 195 200 202 207 212 213 217 218 219 229 231 233 234 235 238 239 240 a 5 9 14 15 16 19 23 25 26 27 28 30 32 36 37 38 42 43 47 50 59 64 65 67 68 71 74 76 77 79 81 99 104 107 111 112 118 119 127 133 134 137 147 149 150 152 156 157 160 162 164 166 167 172 173 174 179 180 183 185 187 190 195 200 202 207 212 213 217 218 219 229 231 233 234 235 238 239 240 a 5 9 14 15 16 19 23 25 26 27 28 30 32 36 37 38 42 43 47 50 59 64 65 67 68 71 74 76 77 79 81 99 104 111 112 118 119 127 133 134 137 147 149 150 152 156 157 160 162 164 166 167 172 173 174 179 180 183 185 187 190 195 200 202 207 212 213 217 218 219 229 231 233 234 235 238 239 240 247 a 5 9 14 15 16 19 23 25 26 27 28 30 32 36 37 38 42 43 47 59 64 65 67 68 71 74 76 77 79 81 99 104 111 112 118 119 127 133 134 137 147 149 150 152 156 157 160 162 164 166 167 172 173 174 179 180 183 185 187 190 195 200 202 207 212 213 214 217 218 219 229 231 233 234 235 238 239 240 247 a 5 9 14 15 16 19 23 25 26 27 28 30 32 36 37 38 42 43 47 59 64 65 67 68 71 74 76 77 79 81 99 104 105 111 112 118 119 127 133 134 137 147 149 150 152 156 157 160 162 164 166 167 172 174 179 180 183 185 187 190 195 200 202 207 212 213 214 217 218 219 229 231 233 234 235 238 239 240 247 a 5 9 14 15 16 19 21 23 25 26 27 28 30 32 36 37 38 42 43 47 59 64 65 67 68 71 74 76 77 79 81 99 104 105 111 112 118 119 127 133 134 137 147 149 150 152 156 157 160 162 164 166 167 174 179 180 183 185 187 190 195 200 202 207 212 213 214 217 218 219 229 231 233 234 235 238 239 240 247 a 5 9 10 14 15 16 19 21 23 25 26 27 28 30 32 36 37 38 42 43 47 59 64 65 67 68 71 74 76 77 79 81 99 104 105 111 112 118 119 127 133 134 137 147 149 150 152 156 157 160 162 164 166 167 174 179 180 183 185 187 190 195 200 202 207 212 213 214 217 218 219 229 231 234 235 238 239 240 247 a 5 9 10 14 15 16 19 21 23 25 26 27 28 32 36 37 38 42 43 47 59 64 65 67 68 71 74 76 77 79 81 99 104 105 111 112 118 119 127 133 134 137 147 149 150 152 156 157 160 162 164 166 167 174 179 180 183 185 187 190 195 200 202 207 208 212 213 214 217 218 219 229 231 234 235 238 239 240 247 a 5 9 10 14 15 16 19 21 23 25 26 27 28 32 36 37 38 41 42 43 47 59 64 65 67 68 71 74 76 77 79 81 99 104 105 111 112 118 119 127 133 134 137 147 149 150 152 156 157 160 162 164 166 167 174 179 180 183 185 187 190 195 200 202 207 208 212 213 214 217 218 219 229 231 235 238 239 240 247 a 5 9 10 14 15 16 19 21 23 25 26 27 28 32 36 37 38 41 42 43 47 53 59 64 65 67 68 71 74 76 77 79 81 99 104 105 111 112 118 119 127 133 134 137 147 149 150 152 156 157 160 162 164 166 167 174 179 183 185 187 190 195 200 202 207 208 212 213 214 217 218 219 229 231 235 238 239 240 247 a 5 9 10 14 15 16 19 21 23 25 26 27 28 32 36 37 38 41 42 43 47 48 53 59 64 65 67 68 71 74 76 77 79 81 99 104 105 111 112 118 119 127 133 134 137 147 149 150 152 156 157 160 162 164 166 167 174 179 183 185 187 190 195 200 202 207 208 212 213 214 217 218 229 231 235 238 239 240 247 a 5 9 10 14 15 16 19 21 23 25 26 27 28 32 36 37 38 41 42 43 47 48 53 59 64 65 67 68 71 74 76 77 79 81 93 99 104 105 111 112 118 119 127 134 137 147 149 150 152 156 157 160 162 164 166 167 174 179 183 185 187 190 195 200 202 207 208 212 213 214 217 218 229 231 235 238 239 240 247 a 1 5 9 10 14 15 16 19 21 23 25 26 27 28 32 36 37 38 41 42 43 47 48 53 59 64 65 67 71 74 76 77 79 81 93 99 104 105 111 112 118 119 127 134 137 147 149 150 152 156 157 160 162 164 166 167 174 179 183 185 187 190 195 200 202 207 208 212 213 214 217 218 229 231 235 238 239 240 247 a 1 5 9 10 14 15 16 19 21 23 25 26 27 28 32 36 37 38 41 42 43 47 48 53 59 64 65 67 71 74 76 77 79 81 93 99 104 105 111 112 118 119 127 134 137 147 149 150 152 156 157 160 162 164 166 167 174 179 183 185 187 190 195 200 202 207 208 211 212 213 214 217 218 229 235 238 239 240 247 a 1 5 9 10 14 15 16 19 21 23 25 26 27 28 32 36 37 38 41 42 43 47 48 53 59 64 65 67 71 74 76 77 79 86 93 99 104 105 111 112 118 119 127 134 137 147 149 150 152 156 157 160 162 164 166 167 174 179 183 185 187 190 195 200 202 207 208 211 212 213 214 217 218 229 235 238 239 240 247 a 1 5 9 10 14 15 16 19 21 23 25 26 27 28 32 36 37 38 41 42 43 47 48 51 53 59 64 65 67 71 74 76 77 79 86 93 99 104 105 111 112 118 119 127 134 137 147 149 150 152 156 157 160 164 166 167 174 179 183 185 187 190 195 200 202 207 208 211 212 213 214 217 218 229 235 238 239 240 247 a 1 5 9 10 14 15 16 19 21 23 25 26 27 28 32 36 37 38 41 42 43 47 48 51 53 59 64 65 67 71 74 76 77 79 86 93 99 104 105 111 112 118 119 127 134 137 147 149 150 152 156 157 160 164 166 167 174 179 185 187 190 195 199 200 202 207 208 211 212 213 214 217 218 229 235 238 239 240 247 a 1 5 9 10 14 15 16 19 20 21 23 25 26 27 28 32 36 37 38 41 42 43 47 48 51 53 59 64 65 67 71 74 77 79 86 93 99 104 105 111 112 118 119 127 134 137 147 149 150 152 156 157 160 164 166 167 174 179 185 187 190 195 199 200 202 207 208 211 212 213 214 217 218 229 235 238 239 240 247 a 1 5 9 10 14 15 16 19 20 21 23 25 26 27 28 32 36 37 38 41 42 43 47 48 51 53 57 59 64 65 67 71 74 77 79 86 93 99 104 105 111 112 118 119 127 134 137 147 149 150 152 156 157 160 164 166 167 174 185 187 190 195 199 200 202 207 208 211 212 213 214 217 218 229 235 238 239 240 247 a 1 5 9 10 14 15 16 19 20 21 23 25 26 27 28 32 36 37 38 41 42 47 48 51 53 57 59 64 65 67 71 74 77 79 86 93 99 104 105 111 112 118 119 127 134 137 147 149 150 152 156 157 160 164 166 167 174 185 187 190 195 199 200 202 207 208 211 212 213 214 216 217 218 229 235 238 239 240 247 a 1 5 9 10 14 15 16 19 20 21 23 25 26 27 28 32 36 37 38 41 42 47 48 51 53 57 59 64 65 67 71 74 77 79 86 93 99 104 105 111 112 118 119 127 134 137 147 149 150 152 156 157 160 164 166 174 185 187 190 195 199 200 202 207 208 211 212 213 214 216 217 218 229 235 238 239 240 243 247 a 1 5 9 10 14 15 16 19 20 21 23 25 26 27 28 32 36 37 38 41 42 47 48 51 53 57 59 64 65 67 71 74 77 79 86 88 93 99 104 105 111 112 118 119 127 134 137 147 149 150 152 156 157 160 164 166 174 187 190 195 199 200 202 207 208 211 212 213 214 216 217 218 229 235 238 239 240 243 247 a 1 5 9 10 14 15 16 19 20 21 23 25 26 27 28 32 36 37 38 41 42 47 48 51 53 57 59 64 65 67 71 74 77 79 86 88 93 99 104 105 112 118 119 127 134 137 147 149 150 152 156 157 160 164 166 174 182 187 190 195 199 200 202 207 208 211 212 213 214 216 217 218 229 235 238 239 240 243 247 a 1 5 9 10 14 16 19 20 21 23 25 26 27 28 32 36 37 38 41 42 47 48 51 53 57 59 64 65 67 71 74 77 79 86 88 93 95 99 104 105 112 118 119 127 134 137 147 149 150 152 156 157 160 164 166 174 182 187 190 195 199 200 202 207 208 211 212 213 214 216 217 218 229 235 238 239 240 243 247 a 1 5 9 10 14 16 19 20 21 23 25 26 27 28 32 36 37 38 41 42 47 48 51 53 57 59 64 65 71 74 77 79 86 88 93 95 99 104 105 112 118 119 127 134 137 147 149 150 152 156 157 160 164 166 174 178 182 187 190 195 199 200 202 207 208 211 212 213 214 216 217 218 229 235 238 239 240 243 247 a 1 5 9 10 14 16 19 20 21 23 25 26 27 28 32 36 37 38 41 42 47 48 51 53 57 59 64 65 71 74 77 79 86 88 93 95 99 104 105 112 118 119 127 134 137 147 150 152 156 157 160 164 166 171 174 178 182 187 190 195 199 200 202 207 208 211 212 213 214 216 217 218 229 235 238 239 240 243 247 a 1 5 9 10 14 16 19 20 21 23 25 26 27 28 32 36 37 38 41 42 47 48 51 53 57 64 65 71 74 77 79 86 88 89 93 95 99 104 105 112 118 119 127 134 137 147 150 152 156 157 160 164 166 171 174 178 182 187 190 195 199 200 202 207 208 211 212 213 214 216 217 218 229 235 238 239 240 243 247 a 1 5 9 10 14 16 19 20 21 23 25 26 27 28 32 36 37 38 41 42 47 48 51 53 57 64 65 71 74 77 79 86 88 89 93 95 99 104 105 112 118 119 127 134 137 147 150 152 156 157 160 164 166 171 174 178 182 187 195 196 199 200 202 207 208 211 212 213 214 216 217 218 229 235 238 239 240 243 247 a 1 5 9 10 12 14 16 19 20 21 23 25 26 27 28 32 36 37 38 41 42 47 48 51 53 57 64 65 71 74 77 79 86 88 89 93 95 99 104 105 112 118 119 127 134 137 147 150 152 156 157 160 164 166 171 174 178 182 195 196 199 200 202 207 208 211 212 213 214 216 217 218 229 235 238 239 240 243 247 a 1 5 9 10 12 14 16 19 20 21 23 25 26 27 28 32 36 37 38 41 42 47 48 51 53 57 64 65 71 74 77 79 86 88 89 93 95 99 104 105 112 118 119 124 127 134 137 147 150 152 156 157 160 164 166 171 174 178 182 195 196 199 200 202 207 208 211 212 214 216 217 218 229 235 238 239 240 243 247 a 1 5 9 10 12 14 16 19 20 21 23 25 26 27 28 32 36 37 38 41 42 47 48 51 53 57 64 65 71 74 77 79 86 88 89 93 95 99 104 105 112 118 119 124 127 134 137 147 150 152 156 157 160 164 166 171 174 178 182 189 195 196 199 200 202 207 208 211 212 214 216 217 218 229 235 239 240 243 247 a 1 5 9 10 12 14 16 19 20 21 23 25 26 27 28 32 36 37 38 41 42 47 48 51 53 57 64 65 71 74 77 79 80 86 88 89 93 95 99 104 105 112 118 119 124 127 134 147 150 152 156 157 160 164 166 171 174 178 182 189 195 196 199 200 202 207 208 211 212 214 216 217 218 229 235 239 240 243 247 a 1 5 9 10 12 14 19 20 21 23 25 26 27 28 32 36 37 38 41 42 47 48 51 53 57 64 65 71 74 77 79 80 86 88 89 93 95 99 104 105 112 118 119 124 127 134 147 150 152 156 157 160 164 166 171 174 178 182 189 195 196 199 200 202 203 207 208 211 212 214 216 217 218 229 235 239 240 243 247 a 1 5 9 10 12 14 19 20 21 23 25 26 27 28 32 36 37 38 41 42 48 51 53 57 64 65 71 74 77 79 80 86 88 89 93 95 99 104 105 112 118 119 124 127 134 147 150 152 154 156 157 160 164 166 171 174 178 182 189 195 196 199 200 202 203 207 208 211 212 214 216 217 218 229 235 239 240 243 247 a 1 5 9 10 12 14 19 20 21 23 25 26 27 28 32 36 37 38 41 42 48 51 53 57 64 65 71 77 79 80 86 88 89 93 95 99 104 105 112 118 119 121 124 127 134 147 150 152 154 156 157 160 164 166 171 174 178 182 189 195 196 199 200 202 203 207 208 211 212 214 216 217 218 229 235 239 240 243 247 a 1 5 9 10 12 14 19 20 21 23 25 26 27 28 32 36 37 38 41 42 48 51 53 57 64 65 71 77 79 80 86 88 89 93 95 99 104 105 112 118 119 121 124 127 134 147 150 154 156 157 160 164 166 171 174 178 182 189 195 196 199 200 202 203 207 208 211 212 214 216 217 218 229 235 239 240 243 244 247 a 1 5 9 10 12 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 51 53 57 64 65 71 77 79 80 86 88 89 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 164 166 171 174 178 182 189 195 196 199 200 202 203 207 208 211 212 214 216 217 218 229 235 239 240 243 244 247 a 1 9 10 12 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 51 53 57 64 65 71 77 79 80 86 88 89 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 164 166 171 174 178 182 189 195 196 199 200 202 203 207 208 211 212 214 216 217 218 221 229 235 239 240 243 244 247 a 1 9 10 12 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 51 53 57 62 64 65 71 77 79 80 86 88 89 93 95 99 104 105 112 114 118 119 121 124 127 134 147 150 154 156 157 160 164 171 174 178 182 189 195 196 199 200 202 203 207 208 211 212 214 216 217 218 221 229 235 239 240 243 244 247 c Step: 63 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance019_graph003.col /benchmark/random_instance/random_instance019_graph003_01.dat" User time (seconds): 355.02 System time (seconds): 6.34 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.40 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): 18122108 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 6104774 Voluntary context switches: 27 Involuntary context switches: 1501 Swaps: 0 File system inputs: 0 File system outputs: 320 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 13:26:14 2023]