#BEGIN: [Mon Sep 4 11:56:38 2023] #HOST: s04 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #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 --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /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): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds 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 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 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 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 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 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 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 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 246 a 5 9 14 15 16 19 23 26 28 30 31 32 43 50 58 59 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 116 118 119 120 123 132 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 207 210 212 213 217 218 219 229 230 231 233 234 238 240 246 a 5 9 14 15 16 19 23 26 27 28 30 31 32 43 50 58 59 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 116 118 119 120 123 132 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 200 207 210 212 213 217 218 219 229 230 231 233 234 238 240 246 a 5 9 14 15 16 19 23 26 27 28 30 31 32 43 50 59 67 68 71 74 76 78 81 91 97 99 104 106 107 111 112 116 118 119 120 123 132 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 200 207 210 212 213 217 218 219 229 230 231 233 234 235 238 240 246 a 5 9 14 15 16 19 23 26 27 28 30 31 32 43 50 59 67 68 71 74 76 78 81 91 97 99 104 107 111 112 116 118 119 120 123 132 133 134 137 142 149 150 152 153 157 160 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 200 207 210 212 213 217 218 219 229 230 231 233 234 235 238 240 246 a 5 9 14 15 16 19 23 25 26 27 28 30 31 32 43 50 59 67 68 71 74 76 78 81 91 97 99 104 107 111 112 116 118 119 120 132 133 134 137 142 149 150 152 153 157 160 162 164 165 166 167 168 172 173 175 179 180 183 185 187 190 192 200 207 210 212 213 217 218 219 229 230 231 233 234 235 238 240 246 a 5 9 14 15 16 19 23 25 26 27 28 30 31 32 43 50 59 67 68 71 74 76 78 81 91 97 99 104 107 111 112 116 118 119 120 132 133 134 137 142 149 150 152 153 157 160 162 164 165 166 167 168 172 173 174 175 179 180 183 185 187 190 192 200 207 212 213 217 218 219 229 230 231 233 234 235 238 240 246 a 5 9 14 15 16 19 23 25 26 27 28 30 31 32 37 43 50 59 67 68 71 74 76 78 81 91 97 99 104 107 111 112 116 118 119 120 132 133 134 137 142 149 150 152 153 157 160 162 164 165 166 167 168 172 173 174 175 179 180 183 185 187 190 192 200 207 212 213 217 218 219 229 230 231 233 234 235 238 240 a 5 9 14 15 16 19 23 25 26 27 28 30 31 32 37 43 48 50 59 67 68 71 74 76 78 81 91 97 99 104 107 111 112 116 118 119 120 132 133 134 137 142 149 150 152 153 157 160 162 164 165 166 167 168 172 173 174 175 179 180 183 185 187 190 192 200 207 212 213 217 218 229 230 231 233 234 235 238 240 a 5 9 14 15 16 19 23 25 26 27 28 30 31 32 37 43 48 59 67 68 71 74 76 78 81 91 97 99 104 107 111 112 116 118 119 120 132 133 134 137 142 149 150 152 153 157 160 162 164 165 166 167 168 172 173 174 175 179 180 183 185 187 190 192 200 207 212 213 214 217 218 229 230 231 233 234 235 238 240 a 5 9 14 15 16 19 23 25 26 27 28 30 31 32 37 43 48 59 67 68 71 74 76 78 81 91 93 97 99 104 107 111 112 116 118 119 120 132 134 137 142 149 150 152 153 157 160 162 164 165 166 167 168 172 173 174 175 179 180 183 185 187 190 192 200 207 212 213 214 217 218 229 230 231 233 234 235 238 240 a 5 9 14 15 16 19 23 25 26 27 28 30 31 32 37 43 48 59 67 68 71 74 76 78 81 91 93 97 99 104 111 112 116 118 119 120 132 134 137 142 149 150 152 153 157 160 162 164 165 166 167 168 172 173 174 175 179 180 183 185 187 190 192 200 207 212 213 214 217 218 229 230 231 233 234 235 238 240 247 a 5 9 14 15 16 19 23 25 26 27 28 30 31 32 37 38 43 48 59 67 68 71 74 76 78 81 91 93 97 99 104 111 112 116 118 119 120 132 134 137 142 149 150 152 157 160 162 164 165 166 167 168 172 173 174 175 179 180 183 185 187 190 192 200 207 212 213 214 217 218 229 230 231 233 234 235 238 240 247 a 5 9 14 15 16 19 23 25 26 27 28 30 31 32 37 38 43 48 59 67 68 71 74 76 77 78 81 91 93 97 99 104 111 112 116 118 119 120 132 134 137 142 149 150 152 157 160 162 164 165 166 167 168 172 173 174 175 179 180 183 185 187 190 192 200 207 212 213 214 217 218 229 231 233 234 235 238 240 247 a 5 9 10 14 15 16 19 23 25 26 27 28 30 31 32 37 38 43 48 59 67 68 71 74 76 77 81 91 93 97 99 104 111 112 116 118 119 120 132 134 137 142 149 150 152 157 160 162 164 165 166 167 168 172 173 174 175 179 180 183 185 187 190 192 200 207 212 213 214 217 218 229 231 233 234 235 238 240 247 a 5 9 10 14 15 16 19 23 25 26 27 28 30 31 32 37 38 43 48 59 67 68 71 74 76 77 81 91 93 97 99 104 111 112 116 118 119 120 132 134 137 142 147 149 150 152 157 160 162 164 165 166 167 172 173 174 175 179 180 183 185 187 190 192 200 207 212 213 214 217 218 229 231 233 234 235 238 240 247 a 5 9 10 14 15 16 19 23 25 26 27 28 30 31 32 37 38 43 48 59 65 67 68 71 74 76 77 81 91 93 97 99 104 111 112 116 118 119 132 134 137 142 147 149 150 152 157 160 162 164 165 166 167 172 173 174 175 179 180 183 185 187 190 192 200 207 212 213 214 217 218 229 231 233 234 235 238 240 247 a 5 9 10 14 15 16 19 23 25 26 27 28 30 31 32 37 38 42 43 48 59 65 67 68 71 74 76 77 81 91 93 97 99 104 111 112 116 118 119 132 134 142 147 149 150 152 157 160 162 164 165 166 167 172 173 174 175 179 180 183 185 187 190 192 200 207 212 213 214 217 218 229 231 233 234 235 238 240 247 a 5 9 10 14 15 16 19 23 25 26 27 28 30 31 32 37 38 41 42 43 48 59 65 67 68 71 74 77 81 91 93 97 99 104 111 112 116 118 119 132 134 142 147 149 150 152 157 160 162 164 165 166 167 172 173 174 175 179 180 183 185 187 190 192 200 207 212 213 214 217 218 229 231 233 234 235 238 240 247 a 5 9 10 14 15 16 19 23 25 26 27 28 30 31 32 37 38 41 42 43 48 59 65 67 68 71 74 77 81 91 93 97 99 104 111 112 116 118 119 127 132 134 147 149 150 152 157 160 162 164 165 166 167 172 173 174 175 179 180 183 185 187 190 192 200 207 212 213 214 217 218 229 231 233 234 235 238 240 247 a 5 9 10 14 15 16 19 23 25 26 27 28 30 31 32 37 38 41 42 43 48 59 65 67 68 71 74 77 79 81 91 93 97 99 104 111 112 116 118 119 127 132 134 147 149 150 152 157 160 162 164 165 166 167 172 173 174 175 179 180 183 185 187 190 200 207 212 213 214 217 218 229 231 233 234 235 238 240 247 a 5 9 10 14 15 16 19 23 25 26 27 28 31 32 37 38 41 42 43 48 53 59 65 67 68 71 74 77 79 81 91 93 97 99 104 111 112 116 118 119 127 132 134 147 149 150 152 157 160 162 164 165 166 167 172 173 174 175 179 180 183 185 187 190 200 207 212 213 214 217 218 229 231 233 234 235 238 240 247 a 5 9 10 14 15 16 19 23 25 26 27 28 31 32 37 38 41 42 43 48 53 59 65 67 68 71 74 77 79 81 91 93 97 99 104 111 112 116 118 119 127 132 134 147 149 150 152 154 157 160 162 164 165 166 167 172 173 174 175 180 183 185 187 190 200 207 212 213 214 217 218 229 231 233 234 235 238 240 247 a 5 9 10 14 15 16 19 23 25 26 27 28 31 32 37 38 41 42 43 48 53 59 65 67 68 71 74 77 79 81 91 93 97 99 104 111 112 116 118 119 127 132 134 147 149 150 152 154 157 160 162 164 165 166 167 172 173 174 180 183 185 187 190 195 200 207 212 213 214 217 218 229 231 233 234 235 238 240 247 a 5 9 10 14 15 16 19 23 25 26 27 28 31 32 37 38 41 42 43 48 53 59 64 65 67 68 71 74 77 79 81 91 93 99 104 111 112 116 118 119 127 132 134 147 149 150 152 154 157 160 162 164 165 166 167 172 173 174 180 183 185 187 190 195 200 207 212 213 214 217 218 229 231 233 234 235 238 240 247 a 1 5 9 10 14 15 16 19 23 25 26 27 28 31 32 37 38 41 42 43 48 53 59 64 65 67 71 74 77 79 81 91 93 99 104 111 112 116 118 119 127 132 134 147 149 150 152 154 157 160 162 164 165 166 167 172 173 174 180 183 185 187 190 195 200 207 212 213 214 217 218 229 231 233 234 235 238 240 247 a 1 5 9 10 14 15 19 23 25 26 27 28 31 32 37 38 41 42 43 48 53 59 64 65 67 71 74 77 79 81 91 93 99 104 111 112 116 118 119 127 132 134 147 149 150 152 154 157 160 162 164 165 166 167 172 173 174 180 183 185 187 190 195 200 207 212 213 214 217 218 221 229 231 233 234 235 238 240 247 a 1 5 9 10 14 15 19 23 25 26 27 28 31 32 37 38 41 42 43 48 53 59 64 65 67 71 74 77 79 81 91 93 99 104 111 112 118 119 127 132 134 147 149 150 152 154 157 160 162 164 165 166 167 172 173 174 180 183 185 187 190 195 200 202 207 212 213 214 217 218 221 229 231 233 234 235 238 240 247 a 1 5 9 10 14 15 19 23 25 26 27 28 31 32 37 38 41 42 43 48 53 59 64 65 67 71 74 77 79 81 91 93 99 104 111 112 118 119 127 132 134 147 149 150 152 154 157 160 162 164 166 167 172 173 174 180 183 185 187 190 195 200 202 207 212 213 214 217 218 221 229 231 233 234 235 238 239 240 247 a 1 5 9 10 14 15 19 23 25 26 27 28 31 32 37 38 41 42 43 48 53 59 64 65 67 71 74 77 79 81 91 93 99 104 105 111 112 118 119 127 132 134 147 149 150 152 154 157 160 162 164 166 167 172 174 180 183 185 187 190 195 200 202 207 212 213 214 217 218 221 229 231 233 234 235 238 239 240 247 a 1 5 9 10 14 15 19 23 25 26 27 28 31 32 37 38 41 42 43 48 53 59 64 65 67 71 74 77 79 81 91 93 99 104 105 111 112 118 119 127 132 134 147 149 150 152 154 157 160 162 164 166 167 172 174 180 183 185 187 190 195 200 202 207 211 212 213 214 217 218 221 229 233 234 235 238 239 240 247 a 1 5 9 10 14 15 19 23 25 26 27 28 32 37 38 41 42 43 48 53 59 64 65 67 71 74 77 79 81 91 93 99 104 105 111 112 118 119 127 132 134 147 149 150 152 154 157 160 162 164 166 167 172 174 180 183 185 187 190 195 200 202 207 208 211 212 213 214 217 218 221 229 233 234 235 238 239 240 247 a 1 5 9 10 14 15 19 23 25 26 27 28 32 37 38 41 42 43 48 53 57 59 64 65 67 71 74 77 79 81 91 93 99 104 105 111 112 118 119 127 132 134 147 149 150 152 154 157 160 162 164 166 167 172 174 180 185 187 190 195 200 202 207 208 211 212 213 214 217 218 221 229 233 234 235 238 239 240 247 a 1 5 9 10 14 15 19 23 25 26 27 28 32 37 38 41 42 43 48 53 57 59 64 65 67 71 74 77 79 81 91 93 99 104 105 111 112 118 119 127 134 147 149 150 152 154 156 157 160 162 164 166 167 172 174 180 185 187 190 195 200 202 207 208 211 212 213 214 217 218 221 229 233 234 235 238 239 240 247 a 1 5 9 10 14 15 19 20 23 25 26 27 28 32 37 38 41 42 43 48 53 57 59 64 65 67 71 74 77 79 81 91 93 99 104 105 111 112 118 119 127 134 147 149 150 152 154 156 157 160 162 164 166 167 174 180 185 187 190 195 200 202 207 208 211 212 213 214 217 218 221 229 233 234 235 238 239 240 247 a 1 5 9 10 14 15 19 20 23 25 26 27 28 32 37 38 41 42 48 53 57 59 64 65 67 71 74 77 79 81 91 93 99 104 105 111 112 118 119 127 134 147 149 150 152 154 156 157 160 162 164 166 167 174 180 185 187 190 195 200 202 207 208 211 212 213 214 216 217 218 221 229 233 234 235 238 239 240 247 a 1 5 9 10 14 15 19 20 23 25 26 27 28 32 37 38 41 42 48 53 57 59 64 65 67 71 74 77 79 81 91 93 99 104 105 112 118 119 127 134 147 149 150 152 154 156 157 160 162 164 166 167 174 180 182 185 187 190 195 200 202 207 208 211 212 213 214 216 217 218 221 229 233 234 235 238 239 240 247 a 1 5 9 10 14 15 19 20 23 25 26 27 28 32 37 38 41 42 48 53 57 59 64 65 67 71 74 77 79 81 88 91 93 99 104 105 112 118 119 127 134 147 149 150 152 154 156 157 160 162 164 166 167 174 180 182 187 190 195 200 202 207 208 211 212 213 214 216 217 218 221 229 233 234 235 238 239 240 247 a 1 5 9 10 14 15 19 20 23 25 26 27 28 32 36 37 38 41 42 48 53 57 59 64 65 67 71 74 77 79 81 88 91 93 99 104 105 112 118 119 127 134 147 149 150 152 154 156 157 160 162 164 167 174 180 182 187 190 195 200 202 207 208 211 212 213 214 216 217 218 221 229 233 234 235 238 239 240 247 a 1 5 9 10 14 19 20 23 25 26 27 28 32 36 37 38 41 42 48 53 57 59 64 65 67 71 74 77 79 81 88 91 93 95 99 104 105 112 118 119 127 134 147 149 150 152 154 156 157 160 162 164 167 174 180 182 187 190 195 200 202 207 208 211 212 213 214 216 217 218 221 229 233 234 235 238 239 240 247 a 1 5 9 10 14 19 20 23 25 26 27 28 32 36 37 38 41 42 48 53 57 59 64 65 67 71 74 77 79 80 81 88 91 93 95 99 104 105 112 118 119 127 134 147 149 150 152 154 156 157 160 162 164 167 174 180 182 187 190 195 200 202 207 208 211 212 214 216 217 218 221 229 233 234 235 238 239 240 247 a 1 5 9 10 14 19 20 23 25 26 27 28 32 36 37 38 41 42 48 53 57 64 65 67 71 74 77 79 80 81 88 89 91 93 95 99 104 105 112 118 119 127 134 147 149 150 152 154 156 157 160 162 164 167 174 180 182 187 190 195 200 202 207 208 211 212 214 216 217 218 221 229 233 234 235 238 239 240 247 a 1 5 9 10 14 19 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 64 65 67 71 74 77 79 80 81 88 89 93 95 99 104 105 112 118 119 127 134 147 149 150 152 154 156 157 160 162 164 167 174 180 182 187 190 195 200 202 207 208 211 212 214 216 217 218 221 229 233 234 235 238 239 240 247 a 1 5 9 10 14 19 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 64 65 71 74 77 79 80 81 88 89 93 95 99 104 105 112 118 119 127 134 147 149 150 152 154 156 157 160 162 164 167 174 178 180 182 187 190 195 200 202 207 208 211 212 214 216 217 218 221 229 233 234 235 238 239 240 247 a 1 5 9 10 14 19 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 64 65 71 74 77 79 80 81 88 89 93 95 99 104 105 112 118 119 127 134 147 149 150 152 154 156 157 160 162 164 167 174 178 180 182 187 189 190 195 200 202 207 208 211 212 214 216 217 218 221 229 233 234 235 239 240 247 a 1 5 9 10 14 19 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 64 65 71 74 77 79 80 81 88 89 93 95 99 104 105 112 118 119 127 134 147 150 152 154 156 157 160 162 164 167 171 174 178 180 182 187 189 190 195 200 202 207 208 211 212 214 216 217 218 221 229 233 234 235 239 240 247 a 1 5 9 10 14 19 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 64 65 71 74 77 79 80 81 88 89 93 95 99 104 105 112 118 119 124 127 134 147 150 152 154 156 157 160 162 164 167 171 174 178 180 182 187 189 190 195 200 202 207 208 211 212 214 216 217 218 221 229 233 235 239 240 247 a 1 5 9 10 14 19 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 64 65 71 74 77 79 80 81 88 89 93 95 99 104 105 112 118 119 124 127 134 147 150 152 154 156 157 160 162 164 167 171 174 178 182 187 189 190 195 200 202 203 207 208 211 212 214 216 217 218 221 229 233 235 239 240 247 a 1 5 9 10 14 19 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 64 65 71 74 77 79 80 81 88 89 93 95 99 104 105 112 118 119 124 127 134 147 150 154 156 157 160 162 164 167 171 174 178 182 187 189 190 195 200 202 203 207 208 211 212 214 216 217 218 221 229 233 235 239 240 244 247 a 1 5 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 64 65 71 74 77 79 80 81 88 89 93 95 99 104 105 112 114 118 119 124 127 134 147 150 154 156 157 160 162 164 167 171 174 178 182 187 189 190 195 200 202 203 207 208 211 212 214 216 217 218 221 229 233 235 239 240 244 247 a 1 5 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 53 57 64 65 71 74 77 79 80 81 88 89 93 95 99 104 105 112 114 118 119 124 127 134 147 150 154 156 157 160 162 164 171 174 178 182 187 189 190 195 200 202 203 207 208 211 212 214 216 217 218 221 229 233 235 239 240 243 244 247 a 1 5 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 51 53 57 64 65 71 74 77 79 80 88 89 93 95 99 104 105 112 114 118 119 124 127 134 147 150 154 156 157 160 162 164 171 174 178 182 187 189 190 195 200 202 203 207 208 211 212 214 216 217 218 221 229 233 235 239 240 243 244 247 a 1 5 9 10 14 20 21 23 25 26 27 28 32 36 37 38 41 42 48 51 53 57 64 65 71 74 77 79 80 88 89 93 95 99 104 105 112 114 118 119 124 127 134 147 150 154 156 157 160 162 164 171 174 178 182 187 189 195 196 200 202 203 207 208 211 212 214 216 217 218 221 229 233 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 74 77 79 80 88 89 93 95 99 104 105 112 114 118 119 124 127 134 147 150 154 156 157 160 162 164 171 174 178 182 189 195 196 200 202 203 207 208 211 212 214 216 217 218 221 229 233 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 74 77 79 80 88 89 93 95 99 104 105 112 114 118 119 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 233 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 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 233 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 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: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance019_graph003.col /benchmark/random_instance/random_instance019_graph003_01.dat" User time (seconds): 529.63 System time (seconds): 11.62 Percent of CPU this job got: 149% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.85 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): 17785268 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 2 Minor (reclaiming a frame) page faults: 6002302 Voluntary context switches: 1179226 Involuntary context switches: 1497 Swaps: 0 File system inputs: 0 File system outputs: 312 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:02:40 2023]