#BEGIN: [Mon Sep 4 13:24:59 2023] #HOST: s12 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance021_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance021_graph002_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_instance021_graph002.col /benchmark/random_instance/random_instance021_graph002_01.dat c /benchmark/random_instance/random_instance021_graph002.col c /benchmark/random_instance/random_instance021_graph002_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 70 117 7 64 120 144 53 12 75 60 80 173 184 213 179 125 203 111 259 266 232 89 129 138 94 247 183 43 42 170 23 106 231 134 194 243 118 210 254 41 33 37 65 264 141 175 28 272 57 257 216 30 242 122 99 149 147 148 161 56 191 171 20 58 189 116 79 207 187 9 50 198 151 192 140 103 220 115 155 265 62 218 14 t 263 152 199 54 232 226 2 237 239 38 140 257 175 93 220 178 118 85 186 136 250 242 185 128 74 87 204 35 207 130 55 60 49 158 273 30 171 173 45 41 84 165 109 122 81 12 6 127 206 117 40 208 169 88 198 243 221 102 52 137 216 65 194 255 188 230 233 139 163 62 18 115 5 23 251 116 151 244 156 59 123 44 138 a YES a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 231 232 242 243 247 254 257 259 264 265 266 272 a 7 9 12 14 16 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 231 232 242 243 247 254 257 259 264 265 266 272 a 7 9 12 14 20 23 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 189 191 192 194 198 203 207 210 213 216 218 220 231 232 242 243 247 254 257 259 264 265 266 272 a 7 9 12 14 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 191 192 194 198 203 207 210 213 216 218 220 231 232 242 243 247 254 257 259 264 265 266 272 a 7 9 12 14 16 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 134 138 140 141 144 147 148 149 151 155 161 170 173 175 179 183 184 187 191 192 194 198 203 207 210 213 216 218 220 231 232 242 243 247 254 257 259 264 265 266 272 a 7 9 12 14 16 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 131 134 138 140 141 144 147 148 149 151 155 161 170 173 175 179 183 184 187 191 192 194 198 203 207 210 213 216 218 220 231 232 242 247 254 257 259 264 265 266 272 a 7 9 12 14 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 131 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 187 191 192 194 198 203 207 210 213 216 218 220 231 232 242 247 254 257 259 264 265 266 272 a 7 9 12 14 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 106 111 115 116 117 118 120 122 125 129 131 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 185 187 191 192 194 198 203 207 210 213 216 218 220 231 232 242 247 254 257 259 264 265 266 a 7 9 12 14 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 89 94 99 103 111 115 116 117 118 120 122 125 129 131 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 185 187 191 192 194 198 203 207 210 213 216 218 220 231 232 242 244 247 254 257 259 264 265 266 a 7 9 12 14 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 85 89 94 99 103 111 115 116 117 118 120 122 125 129 131 134 138 140 141 144 147 148 149 151 155 161 170 171 173 175 179 183 184 185 187 191 192 194 198 203 207 210 213 216 218 220 232 242 244 247 254 257 259 264 265 266 a 7 9 12 14 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 75 79 80 85 89 94 99 103 111 115 116 117 118 120 122 125 129 131 134 138 140 144 147 148 149 151 155 161 163 170 171 173 175 179 183 184 185 187 191 192 194 198 203 207 210 213 216 218 220 232 242 244 247 254 257 259 264 265 266 a 7 9 12 14 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 79 80 85 89 94 99 102 103 111 115 116 117 118 120 122 125 129 131 134 138 140 144 147 148 149 151 155 161 163 170 171 173 175 179 183 184 185 187 191 192 194 198 203 207 210 213 216 218 220 232 242 244 247 254 257 259 264 265 266 a 7 9 12 14 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 79 80 85 89 94 99 102 103 111 115 116 117 118 120 122 125 129 131 134 138 140 144 147 148 149 151 155 161 163 170 171 173 175 179 183 184 185 187 191 192 194 198 203 207 210 213 216 218 220 232 242 244 247 250 254 257 259 264 266 a 7 9 12 14 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 79 80 85 89 94 99 102 103 111 115 116 117 118 120 122 123 125 129 131 134 138 140 144 147 148 149 151 155 161 163 170 171 173 175 179 183 184 185 187 191 192 194 198 203 207 210 213 216 218 220 232 242 244 247 250 254 257 259 264 a 7 9 12 14 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 60 62 64 65 70 79 80 85 89 94 99 102 103 111 115 116 117 118 120 122 123 125 129 131 134 138 140 144 147 148 149 151 155 156 161 163 170 171 173 175 179 183 184 185 187 191 192 194 198 203 207 210 213 216 218 220 232 242 244 247 250 254 257 259 a 7 9 12 14 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 59 60 62 64 65 70 79 80 85 89 94 99 102 103 111 115 116 117 118 120 122 123 125 129 131 134 138 140 144 147 148 149 151 155 156 161 163 170 171 173 175 179 183 184 185 187 192 194 198 203 207 210 213 216 218 220 232 242 244 247 250 254 257 259 a 7 9 12 14 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 59 60 62 64 65 70 79 80 85 89 94 99 102 111 115 116 117 118 120 122 123 125 129 131 134 138 140 144 147 148 149 151 155 156 161 163 169 170 171 173 175 179 183 184 185 187 192 194 198 203 207 210 213 216 218 220 232 242 244 247 250 254 257 259 a 5 7 9 12 14 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 59 60 62 64 65 70 79 80 85 89 94 99 102 111 115 116 117 118 120 122 123 125 129 131 134 138 140 144 147 148 149 151 155 156 161 163 169 170 171 173 175 179 184 185 187 192 194 198 203 207 210 213 216 218 220 232 242 244 247 250 254 257 259 a 5 7 9 12 14 20 23 26 28 30 33 37 41 42 43 50 53 56 57 58 59 60 62 64 65 70 79 80 85 89 94 99 102 111 115 116 117 118 120 122 123 125 129 131 138 140 144 147 148 149 151 155 156 161 163 169 170 171 173 175 179 184 185 186 187 192 194 198 203 207 210 213 216 218 220 232 242 244 247 250 254 257 259 a 5 7 9 12 14 20 23 26 28 30 33 37 41 42 43 53 56 57 58 59 60 62 64 65 70 79 80 85 89 94 99 102 111 115 116 117 118 120 122 123 125 129 131 138 140 144 147 148 149 151 155 156 161 163 169 170 171 173 175 179 184 185 186 187 192 194 198 203 207 210 213 216 218 220 232 242 244 247 250 251 254 257 259 a 5 7 9 12 14 20 23 26 28 30 33 37 41 42 43 53 56 57 58 59 60 62 64 65 70 79 80 85 89 94 99 102 111 115 116 117 118 120 122 123 125 129 138 140 144 147 148 149 151 155 156 161 163 169 170 171 173 175 179 184 185 186 187 192 194 198 203 207 210 213 216 218 220 232 242 243 244 247 250 251 254 257 259 a 5 7 9 12 14 20 23 26 28 30 33 37 41 42 43 53 56 57 58 59 60 62 64 65 70 79 80 85 89 94 99 102 111 115 116 117 118 120 122 123 129 138 140 144 147 148 149 151 152 155 156 161 163 169 170 171 173 175 179 184 185 186 187 192 194 198 203 207 210 213 216 218 220 232 242 243 244 247 250 251 254 257 259 a 5 7 9 12 14 20 23 26 28 30 33 37 41 42 43 53 56 57 58 59 60 62 64 65 70 79 80 85 89 94 99 102 111 115 116 117 118 120 122 123 129 138 140 144 147 148 149 151 152 155 156 161 163 169 170 171 173 175 179 184 185 186 187 192 194 198 203 207 210 213 216 218 220 232 239 242 243 244 250 251 254 257 259 a 5 7 9 12 14 23 26 28 30 33 37 41 42 43 53 56 57 58 59 60 62 64 65 70 79 80 85 89 94 99 102 109 111 115 116 117 118 120 122 123 129 138 140 144 147 148 149 151 152 155 156 161 163 169 170 171 173 175 179 184 185 186 187 192 194 198 203 207 210 213 216 218 220 232 239 242 243 244 250 251 254 257 259 a 5 7 9 12 14 23 26 28 30 33 37 41 42 43 53 56 57 58 59 60 62 64 65 70 79 80 85 89 94 99 102 109 111 115 116 117 118 120 122 123 129 138 140 144 147 148 149 151 152 155 156 161 163 169 171 173 175 179 184 185 186 187 192 194 198 203 207 208 210 213 216 218 220 232 239 242 243 244 250 251 254 257 259 a 5 6 7 9 12 14 23 26 28 30 33 37 41 42 43 53 56 57 58 59 60 62 64 65 70 79 80 85 89 94 99 102 109 111 115 116 117 118 120 122 123 129 138 140 144 147 148 149 151 152 155 156 161 163 169 171 173 175 179 185 186 187 192 194 198 203 207 208 210 213 216 218 220 232 239 242 243 244 250 251 254 257 259 a 5 6 7 9 12 23 26 28 30 33 37 41 42 43 49 53 56 57 58 59 60 62 64 65 70 79 80 85 89 94 99 102 109 111 115 116 117 118 120 122 123 129 138 140 144 147 148 149 151 152 155 156 161 163 169 171 173 175 179 185 186 187 192 194 198 203 207 208 210 213 216 218 220 232 239 242 243 244 250 251 254 257 259 a 5 6 7 9 12 18 23 26 28 30 33 37 41 42 43 49 53 56 57 58 59 60 62 64 65 70 79 80 85 89 94 99 102 109 111 115 116 117 118 120 122 123 129 138 140 147 148 149 151 152 155 156 161 163 169 171 173 175 179 185 186 187 192 194 198 203 207 208 210 213 216 218 220 232 239 242 243 244 250 251 254 257 259 a 5 6 7 9 12 18 23 26 28 30 33 37 41 42 43 49 53 56 57 58 59 60 62 64 65 70 79 80 85 89 94 99 102 109 111 115 116 117 118 120 122 123 129 130 138 140 147 148 149 151 152 155 156 161 163 169 171 173 175 179 185 186 187 192 194 198 203 207 208 210 216 218 220 232 239 242 243 244 250 251 254 257 259 a 5 6 7 9 12 18 23 26 28 30 33 37 41 42 43 49 53 56 57 58 59 60 62 64 65 70 79 80 85 89 94 99 102 109 111 115 116 117 118 120 122 123 129 130 138 140 147 148 149 151 152 155 156 161 163 169 171 173 175 179 185 186 187 192 194 198 199 203 207 208 210 216 220 232 239 242 243 244 250 251 254 257 259 a 5 6 7 9 12 18 23 26 28 30 33 37 41 42 43 49 53 56 57 58 59 60 62 64 65 70 79 80 85 88 89 94 99 102 109 111 115 116 117 118 120 122 123 129 130 138 140 147 148 149 151 152 155 156 161 163 169 171 173 175 179 185 186 187 194 198 199 203 207 208 210 216 220 232 239 242 243 244 250 251 254 257 259 a 5 6 7 12 18 23 26 28 30 33 37 41 42 43 49 53 56 57 58 59 60 62 64 65 70 79 80 85 88 89 94 99 102 109 111 115 116 117 118 120 122 123 129 130 138 140 147 148 149 151 152 155 156 161 163 169 171 173 175 179 185 186 187 194 198 199 203 207 208 210 216 220 232 233 239 242 243 244 250 251 254 257 259 a 5 6 7 12 18 23 26 28 30 33 41 42 43 49 53 56 57 58 59 60 62 64 65 70 79 80 85 88 89 94 99 102 109 111 115 116 117 118 120 122 123 129 130 138 140 147 148 149 151 152 155 156 161 163 169 171 173 175 179 185 186 187 194 198 199 203 207 208 210 216 220 232 233 239 242 243 244 250 251 254 257 259 273 a 5 6 7 12 18 23 26 30 33 41 42 43 49 53 56 57 58 59 60 62 64 65 70 79 80 85 88 89 94 99 102 109 111 115 116 117 118 120 122 123 129 130 138 140 147 148 149 151 152 155 156 161 163 165 169 171 173 175 179 185 186 187 194 198 199 203 207 208 210 216 220 232 233 239 242 243 244 250 251 254 257 259 273 a 5 6 7 12 18 23 26 30 33 41 42 43 49 56 57 58 59 60 62 64 65 70 79 80 85 88 89 94 99 102 109 111 115 116 117 118 120 122 123 129 130 138 140 147 148 149 151 152 155 156 161 163 165 169 171 173 175 179 185 186 187 194 198 199 203 207 208 210 216 220 221 232 233 239 242 243 244 250 251 254 257 259 273 a 5 6 7 12 18 23 26 30 33 40 41 42 43 49 56 57 58 59 60 62 65 70 79 80 85 88 89 94 99 102 109 111 115 116 117 118 120 122 123 129 130 138 140 147 148 149 151 152 155 156 161 163 165 169 171 173 175 179 185 186 187 194 198 199 203 207 208 210 216 220 221 232 233 239 242 243 244 250 251 254 257 259 273 a 5 6 7 12 18 23 26 30 33 40 41 42 43 49 56 57 58 59 60 62 65 70 79 80 85 88 89 94 99 102 109 111 115 116 117 118 120 122 123 129 130 138 140 147 148 149 151 152 155 156 161 163 165 169 171 173 175 179 185 186 187 194 198 199 203 207 208 210 216 220 221 226 232 233 239 242 243 244 250 251 257 259 273 a 2 5 6 12 18 23 26 30 33 40 41 42 43 49 56 57 58 59 60 62 65 70 79 80 85 88 89 94 99 102 109 111 115 116 117 118 120 122 123 129 130 138 140 147 148 149 151 152 155 156 161 163 165 169 171 173 175 179 185 186 187 194 198 199 203 207 208 210 216 220 221 226 232 233 239 242 243 244 250 251 257 259 273 a 2 5 6 12 18 23 26 30 33 40 41 42 43 49 56 57 58 59 60 62 65 70 79 80 85 87 88 94 99 102 109 111 115 116 117 118 120 122 123 129 130 138 140 147 148 149 151 152 155 156 161 163 165 169 171 173 175 179 185 186 187 194 198 199 203 207 208 210 216 220 221 226 232 233 239 242 243 244 250 251 257 259 273 a 2 5 6 12 18 23 26 30 33 40 41 42 43 49 56 57 58 59 60 62 65 70 79 80 85 87 88 94 99 102 109 111 115 116 117 118 120 122 123 129 130 138 140 147 148 149 151 152 155 156 161 163 165 169 171 173 175 179 185 186 194 198 199 203 207 208 210 216 220 221 226 232 233 237 239 242 243 244 250 251 257 259 273 a 2 5 6 12 18 23 26 30 33 40 41 42 43 49 56 57 58 59 60 62 65 79 80 85 87 88 94 99 102 109 111 115 116 117 118 120 122 123 129 130 138 139 140 147 148 149 151 152 155 156 161 163 165 169 171 173 175 179 185 186 194 198 199 203 207 208 210 216 220 221 226 232 233 237 239 242 243 244 250 251 257 259 273 a 2 5 6 12 18 23 26 30 33 40 41 42 43 49 56 57 59 60 62 65 79 80 85 87 88 94 99 102 109 111 115 116 117 118 120 122 123 129 130 137 138 139 140 147 148 149 151 152 155 156 161 163 165 169 171 173 175 179 185 186 194 198 199 203 207 208 210 216 220 221 226 232 233 237 239 242 243 244 250 251 257 259 273 a 2 5 6 12 18 23 30 33 40 41 42 43 49 56 57 59 60 62 65 79 80 85 87 88 94 99 102 109 111 115 116 117 118 120 122 123 129 130 136 137 138 139 140 147 148 149 151 152 155 156 161 163 165 169 171 173 175 179 185 186 194 198 199 203 207 208 210 216 220 221 226 232 233 237 239 242 243 244 250 251 257 259 273 a 2 5 6 12 18 23 30 33 40 41 42 43 49 56 57 59 60 62 65 79 80 85 87 88 94 99 102 109 115 116 117 118 120 122 123 129 130 136 137 138 139 140 147 148 149 151 152 155 156 161 163 165 169 171 173 175 179 185 186 194 198 199 203 206 207 208 210 216 220 221 226 232 233 237 239 242 243 244 250 251 257 259 273 a 2 5 6 12 18 23 30 33 40 41 42 43 49 56 57 59 60 62 65 74 80 85 87 88 94 99 102 109 115 116 117 118 120 122 123 129 130 136 137 138 139 140 147 148 149 151 152 155 156 161 163 165 169 171 173 175 179 185 186 194 198 199 203 206 207 208 210 216 220 221 226 232 233 237 239 242 243 244 250 251 257 259 273 a 2 5 6 12 18 23 30 33 40 41 42 43 49 56 57 59 60 62 65 74 80 85 87 88 94 99 102 109 115 116 117 118 120 122 123 129 130 136 137 138 139 140 147 148 149 151 152 155 156 163 165 169 171 173 175 179 185 186 194 198 199 203 204 206 207 208 210 216 220 221 226 232 233 237 239 242 243 244 250 251 257 259 273 a 2 5 6 12 18 23 30 33 35 40 41 42 43 49 56 57 59 60 62 65 74 80 85 87 88 94 99 102 109 115 116 117 118 120 122 123 129 130 136 137 138 139 140 147 148 149 151 152 156 163 165 169 171 173 175 179 185 186 194 198 199 203 204 206 207 208 210 216 220 221 226 232 233 237 239 242 243 244 250 251 257 259 273 a 2 5 6 12 18 23 30 33 35 40 41 42 43 49 57 59 60 62 65 74 80 81 85 87 88 94 99 102 109 115 116 117 118 120 122 123 129 130 136 137 138 139 140 147 148 149 151 152 156 163 165 169 171 173 175 179 185 186 194 198 199 203 204 206 207 208 210 216 220 221 226 232 233 237 239 242 243 244 250 251 257 259 273 a 2 5 6 12 18 23 30 33 35 40 41 42 43 49 57 59 60 62 65 74 80 81 85 87 88 94 99 102 109 115 116 117 118 120 122 123 127 129 130 136 137 138 139 140 147 148 149 151 152 156 163 165 169 171 173 175 179 185 186 194 198 199 203 204 206 207 208 210 216 220 221 226 232 233 237 239 242 243 244 250 251 257 273 a 2 5 6 12 18 23 30 33 35 40 41 42 43 49 52 57 59 60 62 65 74 80 81 85 87 88 99 102 109 115 116 117 118 120 122 123 127 129 130 136 137 138 139 140 147 148 149 151 152 156 163 165 169 171 173 175 179 185 186 194 198 199 203 204 206 207 208 210 216 220 221 226 232 233 237 239 242 243 244 250 251 257 273 a 2 5 6 12 18 23 30 33 35 40 41 42 43 49 52 57 59 60 62 65 74 80 81 85 87 88 99 102 109 115 116 117 118 120 122 123 127 129 130 136 137 138 139 140 147 148 149 151 152 156 163 165 169 171 173 175 185 186 194 198 199 203 204 206 207 208 210 216 220 221 226 232 233 237 239 242 243 244 250 251 255 257 273 a 2 5 6 12 18 23 30 33 35 40 41 42 43 44 49 52 57 59 60 62 65 74 80 81 85 87 88 99 102 109 115 116 117 118 120 122 123 127 129 130 136 137 138 139 140 147 148 151 152 156 163 165 169 171 173 175 185 186 194 198 199 203 204 206 207 208 210 216 220 221 226 232 233 237 239 242 243 244 250 251 255 257 273 a 2 5 6 12 18 23 30 33 35 40 41 42 43 44 49 52 57 59 60 62 65 74 81 85 87 88 99 102 109 115 116 117 118 120 122 123 127 129 130 136 137 138 139 140 147 148 151 152 156 163 165 169 171 173 175 185 186 194 198 199 203 204 206 207 208 210 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 273 a 2 5 6 12 18 23 30 33 35 40 41 42 43 44 49 52 57 59 60 62 65 74 81 85 87 88 93 99 102 109 115 116 117 118 122 123 127 129 130 136 137 138 139 140 147 148 151 152 156 163 165 169 171 173 175 185 186 194 198 199 203 204 206 207 208 210 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 273 a 2 5 6 12 18 23 30 33 35 40 41 43 44 45 49 52 57 59 60 62 65 74 81 85 87 88 93 99 102 109 115 116 117 118 122 123 127 129 130 136 137 138 139 140 147 148 151 152 156 163 165 169 171 173 175 185 186 194 198 199 203 204 206 207 208 210 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 273 a 2 5 6 12 18 23 30 33 35 40 41 43 44 45 49 52 57 59 60 62 65 74 81 85 87 88 93 99 102 109 115 116 117 118 122 123 127 129 130 136 137 138 139 140 148 151 152 156 163 165 169 171 173 175 185 186 194 198 199 203 204 206 207 208 210 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273 a 2 5 6 12 18 23 30 35 40 41 43 44 45 49 52 54 57 59 60 62 65 74 81 85 87 88 93 99 102 109 115 116 117 118 122 123 127 129 130 136 137 138 139 140 148 151 152 156 163 165 169 171 173 175 185 186 194 198 199 203 204 206 207 208 210 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273 a 2 5 6 12 18 23 30 35 40 41 43 44 45 49 52 54 57 59 60 62 65 74 81 85 87 88 93 99 102 109 115 116 117 118 122 123 127 129 130 136 137 138 139 140 148 151 152 156 163 165 169 171 173 175 185 186 188 194 198 199 203 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273 a 2 5 6 12 18 23 30 35 40 41 43 44 45 49 52 54 55 57 59 60 62 65 74 81 85 87 88 93 99 102 109 115 116 117 118 122 123 127 130 136 137 138 139 140 148 151 152 156 163 165 169 171 173 175 185 186 188 194 198 199 203 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273 a 2 5 6 12 18 23 30 35 40 41 43 44 45 49 52 54 55 57 59 60 62 65 74 81 84 85 87 88 93 99 102 109 115 116 117 118 122 123 127 130 136 137 138 139 140 151 152 156 163 165 169 171 173 175 185 186 188 194 198 199 203 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273 a 2 5 6 12 18 23 30 35 38 40 41 43 44 45 49 52 54 55 57 59 60 62 65 74 81 84 85 87 88 93 99 102 109 115 116 117 118 122 123 127 130 136 137 138 139 140 151 152 156 163 165 169 171 173 175 185 186 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 52 54 55 57 59 60 62 65 74 81 84 85 87 88 93 99 102 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 151 152 156 163 165 169 171 173 175 185 186 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 52 54 55 59 60 62 65 74 81 84 85 87 88 93 99 102 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 151 152 156 158 163 165 169 171 173 175 185 186 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273 a 2 5 6 12 18 23 30 35 38 40 41 44 45 49 52 54 55 59 60 62 65 74 81 84 85 87 88 93 102 109 115 116 117 118 122 123 127 128 130 136 137 138 139 140 151 152 156 158 163 165 169 171 173 175 178 185 186 188 194 198 199 204 206 207 208 216 220 221 226 230 232 233 237 239 242 243 244 250 251 255 257 263 273 c Step: 63 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance021_graph002.col /benchmark/random_instance/random_instance021_graph002_01.dat" User time (seconds): 353.96 System time (seconds): 6.97 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:00.96 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): 24582736 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 8396544 Voluntary context switches: 28 Involuntary context switches: 2270 Swaps: 0 File system inputs: 0 File system outputs: 336 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 13:31:00 2023]