#BEGIN: [Mon Sep 4 13:22:21 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance020_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance020_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_instance020_graph003.col /benchmark/random_instance/random_instance020_graph003_01.dat c /benchmark/random_instance/random_instance020_graph003.col c /benchmark/random_instance/random_instance020_graph003_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 145 190 177 93 23 251 214 78 30 98 82 25 210 233 188 38 115 103 86 35 163 218 135 212 150 72 197 70 138 13 194 253 232 96 102 125 227 148 224 191 90 151 49 89 116 91 37 184 206 31 258 158 123 247 8 67 143 229 61 75 199 205 168 254 259 43 183 94 220 32 128 165 144 1 225 160 99 219 55 53 63 213 t 139 124 44 14 242 59 235 184 121 215 95 49 81 105 5 157 223 65 120 246 234 7 133 13 238 176 96 34 8 160 145 41 79 119 116 76 134 162 112 239 161 72 17 230 16 159 98 30 113 213 37 3 231 31 187 259 168 194 240 229 68 212 103 155 69 90 4 12 158 20 73 198 218 249 38 56 143 108 71 29 225 226 a YES a 1 8 13 23 25 30 31 32 35 37 38 43 49 53 55 61 63 67 70 72 75 78 82 86 89 90 91 93 94 96 98 99 102 103 115 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 218 219 220 224 225 227 229 232 233 247 251 253 254 258 259 a 1 8 13 21 23 25 30 31 32 35 37 38 43 49 53 55 61 63 67 70 72 75 78 82 86 89 90 91 93 94 96 98 99 102 103 115 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 218 219 220 224 225 229 232 233 247 251 253 254 258 259 a 1 8 13 21 23 25 30 31 32 35 37 38 43 49 55 61 63 67 70 72 73 75 78 82 86 89 90 91 93 94 96 98 99 102 103 115 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 218 219 220 224 225 229 232 233 247 251 253 254 258 259 a 1 8 13 21 23 25 30 31 32 35 37 38 43 49 55 61 63 67 70 72 73 75 78 82 86 89 90 91 93 94 96 98 100 102 103 115 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 218 219 220 224 225 229 232 233 247 251 253 254 258 259 a 1 8 13 21 23 25 30 31 32 35 37 38 43 49 55 61 63 67 70 72 73 75 78 82 86 89 90 91 93 94 96 98 100 102 103 115 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 219 220 224 225 229 232 233 247 251 253 254 256 258 259 a 1 8 13 21 23 25 30 31 32 35 37 38 43 49 53 55 61 63 67 70 72 73 75 78 82 86 89 90 91 93 94 96 98 100 102 103 115 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 219 220 224 225 229 232 233 247 251 253 254 256 258 a 1 8 13 21 23 25 30 31 32 35 37 38 43 49 53 55 61 63 67 70 72 73 75 78 82 86 89 90 91 93 94 96 98 100 102 103 115 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 206 210 212 213 214 218 219 220 224 225 229 232 233 247 251 253 254 258 a 1 8 13 21 23 25 30 31 32 35 37 38 43 49 53 55 61 63 67 70 72 73 75 78 82 86 89 90 91 93 94 96 98 100 102 103 115 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 210 212 213 214 217 218 219 220 224 225 229 232 233 247 251 253 254 258 a 1 8 13 21 23 25 30 32 35 37 38 43 49 53 55 61 63 67 70 72 73 75 78 82 86 89 90 91 93 94 96 98 100 102 103 115 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 210 212 213 214 217 218 219 220 224 225 229 232 233 247 251 253 254 258 259 a 1 8 12 13 21 23 25 30 32 35 37 38 43 49 53 55 61 63 67 70 72 73 75 78 82 86 89 90 91 93 94 96 98 100 102 103 115 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 205 210 212 213 214 217 218 219 220 225 229 232 233 247 251 253 254 258 259 a 1 8 12 13 21 23 25 30 32 35 37 38 43 49 53 55 61 63 67 70 72 73 75 78 82 86 89 90 91 93 94 96 98 100 102 103 115 116 123 125 128 135 138 143 144 145 148 150 151 158 160 163 165 168 177 183 184 188 190 191 194 197 199 210 212 213 214 217 218 219 220 225 229 232 233 238 247 251 253 254 258 259 a 1 8 12 13 21 23 25 30 32 35 37 38 43 49 53 55 61 63 67 70 72 73 75 78 82 86 89 90 91 93 94 96 98 100 102 103 115 116 123 125 128 135 138 143 144 145 148 150 151 158 160 162 163 165 168 177 183 184 188 190 191 194 197 199 210 212 213 214 217 218 219 220 225 229 232 233 238 247 251 253 254 259 a 1 8 12 13 21 23 25 30 32 35 37 38 43 49 53 55 61 63 67 70 72 73 75 78 82 86 89 90 91 93 94 96 98 100 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 160 162 163 165 168 177 183 184 188 190 191 194 197 199 210 212 213 214 217 218 219 220 225 229 232 233 238 247 249 251 253 254 259 a 1 8 12 13 21 23 25 30 32 35 37 38 41 43 49 53 55 61 63 67 70 72 73 78 82 86 89 90 91 93 94 96 98 100 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 160 162 163 165 168 177 183 184 188 190 191 194 197 199 210 212 213 214 217 218 219 220 225 229 232 233 238 247 249 251 253 254 259 a 1 8 12 13 21 23 25 30 32 35 37 38 41 43 49 53 55 61 63 67 70 72 73 78 82 86 89 90 91 94 96 98 100 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 159 160 162 163 165 168 177 183 184 188 190 191 194 197 199 210 212 213 214 217 218 219 220 225 229 232 233 238 247 249 251 253 254 259 a 1 8 12 13 21 23 25 30 32 35 37 38 41 43 49 53 55 61 63 65 67 70 72 73 78 82 86 89 90 91 94 96 98 100 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 159 160 162 163 165 168 177 183 184 188 190 191 194 197 199 210 212 213 214 217 218 219 220 225 229 232 233 238 249 251 253 254 259 a 1 8 12 13 21 23 25 30 32 35 37 38 41 43 49 55 61 63 65 67 70 72 73 78 82 86 89 90 91 94 96 98 100 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 159 160 162 163 165 168 177 183 184 188 190 191 194 197 199 210 212 213 214 217 218 219 220 225 229 232 233 235 238 249 251 253 254 259 a 1 8 12 13 21 23 25 30 32 35 37 38 41 49 55 61 63 65 67 70 72 73 78 82 86 89 90 91 94 96 98 100 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 159 160 162 163 165 168 177 183 184 188 190 191 194 197 199 210 212 213 214 217 218 219 220 225 229 232 233 235 238 240 249 251 253 254 259 a 1 8 12 13 21 23 25 30 32 35 37 38 41 49 55 61 63 65 67 70 72 73 76 78 82 86 89 90 91 94 96 98 100 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 159 160 162 163 165 168 183 184 188 190 191 194 197 199 210 212 213 214 217 218 219 220 225 229 232 233 235 238 240 249 251 253 254 259 a 1 8 12 13 21 23 25 30 31 32 35 37 38 41 49 55 61 63 65 67 70 72 73 76 78 82 86 89 90 91 96 98 100 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 159 160 162 163 165 168 183 184 188 190 191 194 197 199 210 212 213 214 217 218 219 220 225 229 232 233 235 238 240 249 251 253 254 259 a 1 8 12 13 21 23 25 30 31 32 35 37 38 41 49 55 61 63 65 67 69 70 72 73 76 78 82 86 89 90 91 96 98 100 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 159 160 162 163 165 168 183 184 188 190 191 194 199 210 212 213 214 217 218 219 220 225 229 232 233 235 238 240 249 251 253 254 259 a 1 8 12 13 21 23 25 30 31 32 37 38 41 49 55 61 63 65 67 69 70 71 72 73 76 78 82 86 89 90 91 96 98 100 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 159 160 162 163 165 168 183 184 188 190 191 194 199 210 212 213 214 217 218 219 220 225 229 232 233 235 238 240 249 251 253 254 259 a 1 8 12 13 21 23 25 29 30 31 32 37 38 41 49 55 61 63 65 67 69 70 71 72 73 76 78 82 86 89 90 91 96 98 100 102 103 116 123 125 128 135 138 143 144 145 148 150 151 158 159 160 162 163 165 168 183 184 190 191 194 199 210 212 213 214 217 218 219 220 225 229 232 233 235 238 240 249 251 253 254 259 a 1 8 12 13 21 23 25 29 30 31 32 37 38 41 49 55 61 63 65 67 69 70 71 72 73 76 78 82 86 89 90 91 96 98 100 102 103 116 123 125 128 135 138 143 144 145 148 150 158 159 160 162 163 165 168 183 184 190 191 194 199 210 212 213 214 217 218 219 220 225 229 232 233 235 238 240 242 249 251 253 254 259 a 1 8 12 13 21 23 25 29 30 31 32 37 38 41 49 55 61 63 65 69 70 71 72 73 76 78 82 86 89 90 91 96 98 100 102 103 116 123 125 128 135 138 143 144 145 148 150 158 159 160 162 163 165 168 183 184 190 191 194 198 199 210 212 213 214 217 218 219 220 225 229 232 233 235 238 240 242 249 251 253 254 259 a 1 8 12 13 21 23 25 29 30 31 32 37 38 41 49 55 61 63 65 69 71 72 73 76 78 82 86 89 90 91 96 98 100 102 103 116 123 125 128 135 138 143 144 145 148 150 158 159 160 162 163 165 168 183 184 190 191 194 198 199 210 212 213 214 217 218 219 220 225 229 231 232 233 235 238 240 242 249 251 253 254 259 a 1 8 12 13 21 25 29 30 31 32 37 38 41 49 55 61 63 65 69 71 72 73 76 78 82 86 89 90 91 96 98 100 102 103 112 116 123 125 128 135 138 143 144 145 148 150 158 159 160 162 163 165 168 183 184 190 191 194 198 199 210 212 213 214 217 218 219 220 225 229 231 232 233 235 238 240 242 249 251 253 254 259 a 1 8 12 13 21 25 29 30 31 32 37 38 41 49 55 61 63 65 69 71 72 73 76 78 82 86 89 90 91 96 98 100 102 103 112 116 123 125 128 135 138 143 144 145 148 150 158 159 160 162 163 165 168 183 184 190 191 194 198 199 210 212 213 214 217 218 219 220 225 229 231 232 233 235 238 239 240 242 249 253 254 259 a 1 8 12 13 17 25 29 30 31 32 37 38 41 49 55 61 63 65 69 71 72 73 76 78 82 86 89 90 91 96 98 100 102 103 112 116 123 125 128 135 138 143 144 145 148 150 158 159 160 162 163 165 168 183 184 190 191 194 198 199 210 212 213 214 217 218 219 220 225 229 231 232 233 235 238 239 240 242 249 253 254 259 a 1 8 12 13 17 25 29 30 31 32 37 38 41 49 55 61 63 65 69 71 72 73 76 78 82 86 89 90 91 96 98 100 102 103 108 112 116 123 125 128 135 138 143 144 145 148 150 158 159 160 162 163 165 168 183 184 190 191 194 198 199 212 213 214 217 218 219 220 225 229 231 232 233 235 238 239 240 242 249 253 254 259 a 1 8 12 13 17 25 29 30 31 37 38 41 49 55 61 63 65 69 71 72 73 76 78 82 86 89 90 91 96 98 100 102 103 108 112 116 123 125 128 135 138 143 144 145 148 150 158 159 160 162 163 165 168 183 184 190 191 194 198 199 212 213 214 217 218 219 220 225 229 231 232 233 234 235 238 239 240 242 249 253 254 259 a 1 8 12 13 17 25 29 30 31 37 38 41 49 55 61 63 65 69 71 72 73 76 78 82 86 89 90 91 96 98 100 102 103 108 112 116 123 125 128 134 135 138 143 144 145 148 150 158 159 160 162 163 165 168 183 184 190 191 194 198 199 212 213 214 217 218 219 220 225 229 231 232 233 234 235 238 239 240 242 249 254 259 a 1 8 12 13 17 25 29 30 31 37 38 41 49 55 61 63 65 69 71 72 73 76 78 82 86 89 90 91 96 98 100 102 103 108 112 116 123 125 128 134 135 138 143 144 145 148 150 158 159 160 162 163 165 168 176 184 190 191 194 198 199 212 213 214 217 218 219 220 225 229 231 232 233 234 235 238 239 240 242 249 254 259 a 1 8 12 13 16 17 25 29 30 31 37 38 41 49 55 61 63 65 69 71 72 73 76 78 82 86 89 90 91 96 98 100 102 103 108 112 116 123 125 128 134 135 138 143 144 145 148 150 158 159 160 162 163 165 168 176 184 190 191 194 198 199 212 213 214 217 218 219 220 225 229 231 232 234 235 238 239 240 242 249 254 259 a 1 8 12 13 16 17 25 29 30 31 37 38 41 49 55 61 63 65 69 71 72 73 76 78 82 86 89 90 91 96 98 100 102 103 108 112 116 123 125 128 134 135 138 143 144 145 148 150 158 159 160 162 163 165 168 176 184 190 191 194 198 212 213 214 217 218 219 220 225 229 231 232 234 235 238 239 240 242 246 249 254 259 a 1 8 12 13 16 17 25 29 30 31 37 38 41 49 55 61 63 65 69 71 72 73 76 82 86 89 90 91 96 98 100 102 103 105 108 112 116 123 125 128 134 135 138 143 144 145 148 150 158 159 160 162 163 165 168 176 184 190 191 194 198 212 213 214 217 218 219 220 225 229 231 232 234 235 238 239 240 242 246 249 254 259 a 1 8 12 13 16 17 25 29 30 31 37 38 41 49 55 61 63 65 69 71 72 73 76 82 86 89 90 91 96 98 100 102 103 105 108 112 116 121 123 125 128 134 135 138 143 144 145 148 150 158 159 160 162 163 165 168 176 184 190 191 194 198 212 213 214 217 218 220 225 229 231 232 234 235 238 239 240 242 246 249 254 259 a 1 8 12 13 16 17 25 29 30 31 37 38 41 49 55 61 63 65 69 71 72 73 76 79 82 86 89 90 91 96 98 100 102 103 105 108 112 116 121 123 125 128 134 135 138 143 144 145 148 158 159 160 162 163 165 168 176 184 190 191 194 198 212 213 214 217 218 220 225 229 231 232 234 235 238 239 240 242 246 249 254 259 a 1 4 8 12 13 16 17 25 29 30 31 37 38 41 49 55 61 63 65 69 71 72 73 76 79 82 86 89 90 91 96 98 100 102 103 105 108 112 116 121 123 125 128 134 135 143 144 145 148 158 159 160 162 163 165 168 176 184 190 191 194 198 212 213 214 217 218 220 225 229 231 232 234 235 238 239 240 242 246 249 254 259 a 1 4 8 12 13 16 17 25 29 30 31 37 38 41 49 55 61 63 65 69 71 72 73 76 79 82 86 89 90 91 96 98 100 102 103 105 108 112 116 120 121 123 125 128 134 135 143 144 145 148 158 159 160 162 163 165 168 176 184 190 194 198 212 213 214 217 218 220 225 229 231 232 234 235 238 239 240 242 246 249 254 259 a 1 4 8 12 13 16 17 20 25 29 30 31 37 38 41 49 55 61 63 65 69 71 72 73 76 79 86 89 90 91 96 98 100 102 103 105 108 112 116 120 121 123 125 128 134 135 143 144 145 148 158 159 160 162 163 165 168 176 184 190 194 198 212 213 214 217 218 220 225 229 231 232 234 235 238 239 240 242 246 249 254 259 a 1 3 4 8 12 13 16 17 20 25 29 30 31 37 38 41 49 55 61 63 65 69 71 72 73 76 79 86 89 90 91 96 98 100 102 103 105 108 112 116 120 121 123 125 128 134 135 143 144 145 148 158 159 160 162 163 165 168 176 184 190 194 198 212 213 214 217 218 220 225 229 231 232 234 235 238 239 240 242 246 249 259 a 1 3 4 5 8 12 13 16 17 20 25 29 30 31 37 38 41 49 55 61 63 65 69 71 72 73 76 79 86 89 90 91 96 98 102 103 105 108 112 116 120 121 123 125 128 134 135 143 144 145 148 158 159 160 162 163 165 168 176 184 190 194 198 212 213 214 217 218 220 225 229 231 232 234 235 238 239 240 242 246 249 259 a 1 3 4 5 8 12 13 16 17 20 25 29 30 31 34 37 38 41 49 55 61 63 65 69 71 72 73 76 79 86 89 90 91 96 98 102 103 105 108 112 116 120 121 123 125 128 134 135 143 144 145 148 158 159 160 162 165 168 176 184 190 194 198 212 213 214 217 218 220 225 229 231 232 234 235 238 239 240 242 246 249 259 a 1 3 4 5 8 12 13 16 17 20 25 29 30 31 34 37 38 41 49 55 61 63 65 69 71 72 73 76 79 86 89 90 96 98 102 103 105 108 112 116 119 120 121 123 125 128 134 135 143 144 145 148 158 159 160 162 165 168 176 184 190 194 198 212 213 214 217 218 220 225 229 231 232 234 235 238 239 240 242 246 249 259 a 1 3 4 5 8 12 13 16 17 20 25 29 30 31 34 37 38 41 49 55 61 63 65 69 71 72 73 76 79 86 89 90 96 98 102 103 105 108 112 116 119 120 121 123 124 125 128 134 135 143 144 145 148 158 159 160 162 168 176 184 190 194 198 212 213 214 217 218 220 225 229 231 232 234 235 238 239 240 242 246 249 259 a 1 3 4 5 8 12 13 16 17 20 29 30 31 34 37 38 41 49 55 61 63 65 69 71 72 73 76 79 86 89 90 96 98 102 103 105 108 112 113 116 119 120 121 123 124 125 128 134 135 143 144 145 148 158 159 160 162 168 176 184 190 194 198 212 213 214 217 218 220 225 229 231 232 234 235 238 239 240 242 246 249 259 a 1 3 4 5 8 12 13 16 17 20 29 30 31 34 37 38 41 49 55 61 63 65 69 71 72 73 76 79 86 89 90 96 98 102 103 105 108 112 113 116 119 120 121 123 124 125 128 134 135 143 144 145 148 158 159 160 162 168 176 184 190 194 198 212 213 217 218 220 225 229 230 231 232 234 235 238 239 240 242 246 249 259 a 1 3 4 5 8 12 13 16 17 20 29 30 31 34 37 38 41 49 55 61 63 65 69 71 72 73 76 79 86 90 96 98 102 103 105 108 112 113 116 119 120 121 123 124 125 128 134 135 143 144 145 148 158 159 160 162 168 176 184 187 190 194 198 212 213 217 218 220 225 229 230 231 232 234 235 238 239 240 242 246 249 259 a 1 3 4 5 8 12 13 16 17 20 29 30 31 34 37 38 41 49 55 61 63 65 69 71 72 73 76 79 86 90 96 98 102 103 105 108 112 113 116 119 120 121 123 124 125 128 134 135 143 144 145 148 158 159 160 162 168 176 184 187 190 194 198 212 213 217 218 220 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 1 3 4 5 8 12 13 16 17 20 29 30 31 34 37 38 41 49 55 61 63 65 69 71 72 73 76 79 86 90 95 96 98 102 103 105 108 112 113 116 119 120 121 123 124 125 128 134 135 143 144 145 148 158 159 160 162 168 176 184 187 190 194 198 212 213 217 218 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 8 12 13 16 17 20 29 30 31 34 37 38 41 49 55 61 63 65 69 71 72 73 76 79 86 90 95 96 98 102 103 105 108 112 113 116 119 120 121 123 124 125 128 134 135 143 144 145 148 158 159 160 162 168 176 184 187 190 194 198 212 213 217 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 8 12 13 16 17 20 29 30 31 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 79 86 90 95 96 98 102 103 105 108 112 113 116 119 120 121 123 124 125 128 134 135 143 144 145 148 158 159 160 162 168 176 184 187 194 198 212 213 217 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 16 17 20 29 30 31 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 79 86 90 95 96 98 102 103 105 108 112 113 116 119 120 121 123 124 125 128 134 135 143 145 148 158 159 160 162 168 176 184 187 194 198 212 213 217 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 16 17 20 29 30 31 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 79 86 90 95 96 98 103 105 108 112 113 116 119 120 121 123 124 125 128 134 135 143 145 148 157 158 159 160 162 168 176 184 187 194 198 212 213 217 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 16 17 20 29 30 31 34 37 38 41 49 55 59 61 63 65 69 71 72 73 76 79 86 90 95 96 98 103 105 108 112 113 116 119 120 121 123 124 125 128 133 134 143 145 148 157 158 159 160 162 168 176 184 187 194 198 212 213 217 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 16 17 20 29 30 31 34 37 38 41 49 55 56 59 63 65 69 71 72 73 76 79 86 90 95 96 98 103 105 108 112 113 116 119 120 121 123 124 125 128 133 134 143 145 148 157 158 159 160 162 168 176 184 187 194 198 212 213 217 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 16 17 20 29 30 31 34 37 38 41 49 55 56 59 63 65 69 71 72 73 76 79 81 86 90 95 96 98 103 105 108 112 113 116 119 120 121 123 124 125 128 133 134 143 145 148 157 158 159 160 162 168 176 184 187 194 198 212 213 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 16 17 20 29 30 31 34 37 38 41 49 55 56 59 63 65 69 71 72 73 76 79 81 90 95 96 98 103 105 108 112 113 116 119 120 121 123 124 125 128 133 134 143 145 148 155 157 158 159 160 162 168 176 184 187 194 198 212 213 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 16 17 20 29 30 31 34 37 38 41 49 56 59 63 65 69 71 72 73 76 79 81 90 95 96 98 103 105 108 112 113 116 119 120 121 123 124 125 128 133 134 143 145 148 155 157 158 159 160 161 162 168 176 184 187 194 198 212 213 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 16 17 20 29 30 31 34 37 38 41 49 56 59 65 68 69 71 72 73 76 79 81 90 95 96 98 103 105 108 112 113 116 119 120 121 123 124 125 128 133 134 143 145 148 155 157 158 159 160 161 162 168 176 184 187 194 198 212 213 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 14 16 17 20 29 30 31 34 37 38 41 49 56 59 65 68 69 71 72 73 76 79 81 90 95 96 98 103 105 108 112 113 116 119 120 121 123 124 125 128 133 134 143 145 155 157 158 159 160 161 162 168 176 184 187 194 198 212 213 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 14 16 17 20 29 30 31 34 37 38 41 49 56 59 65 68 69 71 72 73 76 79 81 90 95 96 98 103 105 108 112 113 116 119 120 121 124 125 128 133 134 139 143 145 155 157 158 159 160 161 162 168 176 184 187 194 198 212 213 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 14 16 17 20 29 30 31 34 37 38 41 44 49 56 59 65 68 69 71 72 73 76 79 81 90 95 96 98 103 105 108 112 113 116 119 120 121 124 125 133 134 139 143 145 155 157 158 159 160 161 162 168 176 184 187 194 198 212 213 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 a 3 4 5 7 8 12 13 14 16 17 20 29 30 31 34 37 38 41 44 49 56 59 65 68 69 71 72 73 76 79 81 90 95 96 98 103 105 108 112 113 116 119 120 121 124 133 134 139 143 145 155 157 158 159 160 161 162 168 176 184 187 194 198 212 213 215 218 223 225 226 229 230 231 234 235 238 239 240 242 246 249 259 c Step: 64 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance020_graph003.col /benchmark/random_instance/random_instance020_graph003_01.dat" User time (seconds): 355.10 System time (seconds): 6.36 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.51 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): 22403200 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 7358336 Voluntary context switches: 26 Involuntary context switches: 1990 Swaps: 0 File system inputs: 0 File system outputs: 328 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 13:28:23 2023]