#BEGIN: [Mon Sep 4 13:20:13 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance019_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance019_graph004_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_graph004.col /benchmark/random_instance/random_instance019_graph004_01.dat c /benchmark/random_instance/random_instance019_graph004.col c /benchmark/random_instance/random_instance019_graph004_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 145 209 65 225 147 69 88 110 101 150 224 53 35 175 218 94 67 70 13 195 167 173 124 73 60 76 10 62 23 186 149 201 1 129 226 229 33 230 196 6 116 14 32 245 144 46 5 154 119 68 163 207 155 191 179 137 77 100 3 99 172 231 142 183 243 45 213 22 98 57 7 55 211 166 234 66 52 105 238 148 t 204 161 70 219 40 231 71 78 83 66 1 164 155 89 106 141 23 217 61 5 35 31 151 145 84 191 242 20 225 39 38 169 116 135 127 87 4 144 171 91 216 220 166 118 211 194 153 236 239 53 230 46 105 90 101 201 24 8 52 17 157 97 174 76 130 149 69 48 131 50 238 112 25 199 175 12 72 159 138 207 a YES a 1 3 5 6 7 10 13 14 22 23 32 33 35 45 46 52 53 55 57 60 62 65 66 67 68 69 70 73 76 77 88 94 98 99 100 101 105 110 116 119 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 32 33 35 45 46 51 52 53 55 57 60 62 65 66 68 69 70 73 76 77 88 94 98 99 100 101 105 110 116 119 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 32 33 35 45 46 52 53 55 57 60 62 65 66 67 68 69 70 73 76 77 88 94 98 99 100 101 105 110 116 119 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 32 33 35 45 46 52 53 55 57 60 62 65 66 67 68 69 70 73 76 77 88 94 98 99 100 101 105 110 115 119 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 32 33 35 45 46 51 52 53 55 57 60 62 65 66 68 69 70 73 76 77 88 94 98 99 100 101 105 110 115 119 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 32 33 35 45 46 51 52 53 55 57 60 61 62 65 66 68 69 70 73 76 77 88 94 98 99 100 101 105 110 115 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 32 33 35 45 46 51 52 53 55 57 60 61 62 65 66 68 69 70 73 76 77 88 94 99 100 101 105 110 115 124 129 137 142 144 145 146 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 32 33 35 45 46 52 53 55 57 60 61 62 65 66 67 68 69 70 73 76 77 88 94 99 100 101 105 110 115 124 129 137 142 144 145 146 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 32 33 35 45 46 52 53 55 57 60 61 62 65 66 67 68 69 70 73 76 77 88 94 98 99 100 101 105 110 115 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 32 33 35 45 46 52 53 55 57 60 62 65 66 67 68 69 70 73 76 77 88 94 98 99 100 101 105 110 115 119 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 32 33 35 45 46 51 52 53 55 57 60 62 65 66 68 69 70 73 76 77 88 94 98 99 100 101 105 110 115 119 124 129 137 142 144 145 147 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 32 33 35 45 46 51 52 53 55 57 60 62 65 66 68 69 70 73 76 77 88 94 98 99 100 101 105 110 115 119 124 129 137 142 144 145 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 216 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 31 32 33 35 45 46 51 52 53 55 57 60 62 65 66 68 69 70 73 76 77 88 94 98 99 101 105 110 115 119 124 129 137 142 144 145 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 216 218 224 225 226 229 230 231 234 238 243 245 a 1 3 5 6 7 10 13 14 22 23 31 32 33 35 45 46 51 52 53 55 57 60 62 65 66 68 69 70 73 76 77 88 94 98 99 101 105 110 115 119 124 129 137 142 144 145 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 216 218 225 226 229 230 231 234 236 238 243 245 a 1 3 5 6 7 10 13 14 22 23 31 32 35 45 46 51 52 53 55 57 60 62 65 66 68 69 70 73 76 77 88 94 98 99 101 105 110 115 119 124 129 137 142 144 145 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 216 218 225 226 229 230 231 234 236 238 239 243 245 a 1 3 5 6 7 10 13 14 22 23 31 32 35 45 46 51 52 53 55 57 60 62 65 66 68 69 70 76 77 88 94 98 99 101 105 110 115 119 124 129 137 142 144 145 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 216 218 219 225 226 229 230 231 234 236 238 239 243 245 a 1 3 5 6 7 10 13 14 22 23 31 32 35 45 46 51 52 53 55 57 60 61 62 65 66 68 69 70 76 77 88 94 98 99 101 105 110 115 124 129 137 142 144 145 148 149 150 154 155 163 166 167 172 173 175 179 183 186 191 195 196 201 207 209 211 213 216 218 219 225 226 229 230 231 234 236 238 239 243 245 a 1 3 4 5 6 7 10 13 14 22 23 31 32 35 45 46 51 52 53 55 57 60 61 62 65 66 68 69 70 76 77 88 94 98 99 101 105 110 115 124 129 137 142 144 145 148 149 150 154 155 163 166 172 173 175 179 183 186 191 195 196 201 207 209 211 213 216 218 219 225 226 229 230 231 234 236 238 239 243 245 a 1 3 4 5 6 7 10 13 14 22 23 31 32 35 45 46 51 52 53 55 57 60 61 62 65 66 68 69 70 76 77 88 94 98 99 101 105 110 115 124 129 137 141 144 145 148 149 150 154 155 163 166 172 173 175 179 183 186 191 195 196 201 207 209 211 213 216 218 219 225 226 229 230 231 234 236 238 239 243 245 a 1 3 4 5 6 7 10 13 14 22 23 31 32 35 45 46 51 52 53 55 57 60 61 62 65 66 68 69 70 76 77 88 94 98 99 101 105 110 115 124 137 141 144 145 148 149 150 154 155 157 163 166 172 173 175 179 183 186 191 195 196 201 207 209 211 213 216 218 219 225 226 229 230 231 234 236 238 239 243 245 a 1 3 4 5 6 7 10 13 14 22 23 31 32 35 45 46 51 52 53 55 57 60 61 62 65 66 68 69 70 76 77 88 94 98 99 101 105 110 115 124 137 141 144 145 148 149 150 153 154 155 157 163 166 172 173 175 179 183 186 191 195 196 201 207 209 211 213 216 219 225 226 229 230 231 234 236 238 239 243 245 a 1 3 4 5 6 7 10 13 14 22 23 31 32 35 45 46 51 52 53 55 57 60 61 62 65 66 68 69 70 76 77 88 94 98 99 101 105 110 124 137 141 144 145 148 149 150 153 154 155 157 163 166 172 173 175 179 183 186 191 195 196 201 207 209 211 213 216 219 220 225 226 229 230 231 234 236 238 239 243 245 a 1 3 4 5 6 7 10 13 14 22 23 31 32 35 45 46 51 52 53 55 57 60 61 62 65 66 68 69 70 76 77 88 94 98 99 101 105 110 116 124 137 141 144 145 148 149 150 153 154 155 157 163 166 172 173 175 179 183 186 191 195 201 207 209 211 213 216 219 220 225 226 229 230 231 234 236 238 239 243 245 a 1 3 4 5 6 7 10 13 14 22 23 31 32 35 45 46 51 52 53 55 57 60 61 65 66 68 69 70 76 77 88 94 98 99 101 105 110 116 124 131 137 141 144 145 148 149 150 153 154 155 157 163 166 172 173 175 179 183 186 191 195 201 207 209 211 213 216 219 220 225 226 229 230 231 234 236 238 239 243 245 a 1 4 5 6 7 10 13 14 22 23 31 32 35 45 46 51 52 53 55 57 60 61 65 66 68 69 70 76 77 88 94 98 99 101 105 110 116 124 131 137 141 144 145 148 149 150 153 154 155 157 163 166 171 172 173 175 179 183 186 191 195 201 207 209 211 213 216 219 220 225 226 229 230 231 234 236 238 239 243 245 a 1 4 5 6 7 10 13 14 22 23 31 32 35 45 46 51 52 53 55 57 60 61 65 66 68 69 70 72 76 77 88 94 98 99 101 105 116 124 131 137 141 144 145 148 149 150 153 154 155 157 163 166 171 172 173 175 179 183 186 191 195 201 207 209 211 213 216 219 220 225 226 229 230 231 234 236 238 239 243 245 a 1 4 5 6 7 10 13 14 22 23 31 32 35 45 46 51 52 53 55 57 60 61 65 66 68 69 70 72 76 77 87 88 94 98 99 101 105 116 131 137 141 144 145 148 149 150 153 154 155 157 163 166 171 172 173 175 179 183 186 191 195 201 207 209 211 213 216 219 220 225 226 229 230 231 234 236 238 239 243 245 a 1 4 5 6 7 10 13 14 22 23 24 31 32 35 45 46 51 52 53 55 57 60 61 65 66 68 69 70 72 76 77 87 88 94 98 99 101 105 116 131 141 144 145 148 149 150 153 154 155 157 163 166 171 172 173 175 179 183 186 191 195 201 207 209 211 213 216 219 220 225 226 229 230 231 234 236 238 239 243 245 a 1 4 5 6 7 10 13 14 22 23 24 31 32 35 46 51 52 53 55 57 60 61 65 66 68 69 70 72 76 77 87 88 91 94 98 99 101 105 116 131 141 144 145 148 149 150 153 154 155 157 163 166 171 172 173 175 179 183 186 191 195 201 207 209 211 213 216 219 220 225 226 229 230 231 234 236 238 239 243 245 a 1 4 5 6 7 8 10 13 14 22 23 24 31 32 35 46 51 52 53 55 57 60 61 65 66 68 69 70 72 76 77 87 88 91 94 98 99 101 105 116 131 141 144 145 148 149 150 153 154 155 157 163 166 171 172 173 175 179 183 186 191 195 201 207 211 213 216 219 220 225 226 229 230 231 234 236 238 239 243 245 a 1 4 5 6 7 8 10 13 14 22 23 24 31 32 35 46 51 52 53 55 57 60 61 65 66 68 69 70 72 76 77 84 87 88 91 94 98 99 101 105 116 131 141 144 145 148 149 150 153 154 155 157 163 166 171 172 173 175 179 183 191 195 201 207 211 213 216 219 220 225 226 229 230 231 234 236 238 239 243 245 a 1 4 5 6 7 8 10 13 14 22 23 24 31 32 35 46 51 52 53 55 57 60 61 65 66 68 69 70 72 76 77 84 87 91 94 98 99 101 105 116 131 141 144 145 148 149 150 153 154 155 157 163 164 166 171 172 173 175 179 183 191 195 201 207 211 213 216 219 220 225 226 229 230 231 234 236 238 239 243 245 a 1 4 5 6 7 8 10 13 14 22 23 24 31 32 35 46 51 52 53 55 57 61 65 66 68 69 70 72 76 77 84 87 89 91 94 98 99 101 105 116 131 141 144 145 148 149 150 153 154 155 157 163 164 166 171 172 173 175 179 183 191 195 201 207 211 213 216 219 220 225 226 229 230 231 234 236 238 239 243 245 a 1 4 5 6 7 8 10 13 14 22 23 24 31 32 35 46 51 52 53 55 57 61 65 66 68 69 70 72 76 77 84 87 89 91 94 98 99 101 105 116 131 141 144 145 148 149 150 153 154 155 157 163 164 166 171 172 173 174 175 179 183 191 195 201 207 211 213 216 219 220 225 229 230 231 234 236 238 239 243 245 a 1 4 5 6 7 8 10 13 14 22 23 24 31 32 35 40 46 51 52 53 55 57 61 65 66 68 69 70 72 76 77 84 87 89 91 94 98 99 101 105 116 131 141 144 145 148 149 153 154 155 157 163 164 166 171 172 173 174 175 179 183 191 195 201 207 211 213 216 219 220 225 229 230 231 234 236 238 239 243 245 a 1 4 5 6 7 8 10 13 14 22 23 24 31 32 35 40 46 51 52 53 55 57 61 65 66 68 69 70 72 76 77 84 87 89 91 94 98 99 101 105 116 131 141 144 145 148 149 153 155 157 163 164 166 169 171 172 173 174 175 179 183 191 195 201 207 211 213 216 219 220 225 229 230 231 234 236 238 239 243 245 a 1 4 5 6 7 8 10 13 14 22 23 24 31 32 35 40 46 51 52 53 55 57 61 65 66 68 69 70 72 76 77 84 87 89 91 94 98 99 101 105 116 131 141 144 145 148 149 153 155 157 163 164 166 169 171 172 173 174 175 179 183 191 194 195 201 207 211 213 216 219 220 225 229 230 231 234 236 238 239 243 a 1 4 5 6 7 8 10 13 14 22 23 24 25 31 32 35 40 46 51 52 53 55 57 61 65 66 68 69 70 72 76 77 84 87 89 91 94 98 99 101 105 116 131 141 144 145 148 149 153 155 157 163 164 166 169 171 172 174 175 179 183 191 194 195 201 207 211 213 216 219 220 225 229 230 231 234 236 238 239 243 a 1 4 5 6 7 8 10 13 14 22 23 24 25 31 32 35 40 46 51 52 53 55 57 61 65 66 68 69 70 72 76 77 84 87 89 91 94 98 101 105 116 131 141 144 145 148 149 153 155 157 159 163 164 166 169 171 172 174 175 179 183 191 194 195 201 207 211 213 216 219 220 225 229 230 231 234 236 238 239 243 a 1 4 5 6 7 8 10 13 14 22 23 24 25 31 32 35 40 46 51 52 53 55 57 61 66 68 69 70 72 76 77 84 87 89 91 94 98 101 105 116 131 141 144 145 148 149 151 153 155 157 159 163 164 166 169 171 172 174 175 179 183 191 194 195 201 207 211 213 216 219 220 225 229 230 231 234 236 238 239 243 a 1 4 5 6 7 8 10 13 14 22 23 24 25 31 32 35 40 46 51 52 53 55 61 66 68 69 70 72 76 77 84 87 89 91 94 98 101 105 116 131 141 144 145 148 149 151 153 155 157 159 163 164 166 169 171 172 174 175 179 183 191 194 195 201 207 211 213 216 217 219 220 225 229 230 231 234 236 238 239 243 a 1 4 5 6 7 8 10 14 22 23 24 25 31 32 35 40 46 51 52 53 55 61 66 68 69 70 72 76 77 83 84 87 89 91 94 98 101 105 116 131 141 144 145 148 149 151 153 155 157 159 163 164 166 169 171 172 174 175 179 183 191 194 195 201 207 211 213 216 217 219 220 225 229 230 231 234 236 238 239 243 a 1 4 5 6 7 8 10 14 22 23 24 25 31 32 35 40 46 51 52 53 55 61 66 68 69 70 72 76 83 84 87 89 91 94 98 101 105 116 131 141 144 145 148 149 151 153 155 157 159 163 164 166 169 171 172 174 175 179 183 191 194 195 199 201 207 211 213 216 217 219 220 225 229 230 231 234 236 238 239 243 a 1 4 5 6 7 8 10 14 22 23 24 25 31 32 35 38 40 46 51 52 53 55 61 66 68 69 70 72 76 83 84 87 89 91 94 98 101 105 116 131 141 144 145 148 149 151 153 155 157 159 163 164 166 169 171 172 174 175 179 183 191 194 195 199 201 207 211 213 216 217 219 220 225 229 230 231 234 236 238 239 a 1 4 5 6 7 8 10 12 14 22 23 24 25 31 32 35 38 40 46 51 52 53 55 61 66 68 69 70 72 76 83 84 87 89 91 94 98 101 105 116 131 141 144 145 148 149 151 153 155 157 159 163 164 166 169 171 172 174 175 179 183 191 194 195 199 201 207 211 213 216 217 219 220 225 229 230 231 236 238 239 a 1 4 5 6 8 10 12 14 22 23 24 25 31 32 35 38 40 46 50 51 52 53 55 61 66 68 69 70 72 76 83 84 87 89 91 94 98 101 105 116 131 141 144 145 148 149 151 153 155 157 159 163 164 166 169 171 172 174 175 179 183 191 194 195 199 201 207 211 213 216 217 219 220 225 229 230 231 236 238 239 a 1 4 5 6 8 10 12 14 22 23 24 25 31 32 35 38 40 46 50 51 52 53 55 61 66 68 69 70 72 76 83 84 87 89 91 94 98 101 105 116 131 141 144 145 149 151 153 155 157 159 163 164 166 169 171 172 174 175 179 183 191 194 195 199 201 207 211 213 216 217 219 220 225 229 230 231 236 238 239 242 a 1 4 5 6 8 10 12 14 22 23 24 25 31 35 38 40 46 50 51 52 53 55 61 66 68 69 70 72 76 83 84 87 89 91 94 98 101 105 116 131 141 144 145 149 151 153 155 157 159 161 163 164 166 169 171 172 174 175 179 183 191 194 195 199 201 207 211 213 216 217 219 220 225 229 230 231 236 238 239 242 a 1 4 5 6 8 10 12 22 23 24 25 31 35 38 40 46 50 51 52 53 55 61 66 68 69 70 72 76 83 84 87 89 91 94 98 101 105 112 116 131 141 144 145 149 151 153 155 157 159 161 163 164 166 169 171 172 174 175 179 183 191 194 195 199 201 207 211 213 216 217 219 220 225 229 230 231 236 238 239 242 a 1 4 5 6 8 10 12 23 24 25 31 35 38 40 46 50 51 52 53 55 61 66 68 69 70 72 76 83 84 87 89 91 94 98 101 105 112 116 127 131 141 144 145 149 151 153 155 157 159 161 163 164 166 169 171 172 174 175 179 183 191 194 195 199 201 207 211 213 216 217 219 220 225 229 230 231 236 238 239 242 a 1 4 5 8 10 12 20 23 24 25 31 35 38 40 46 50 51 52 53 55 61 66 68 69 70 72 76 83 84 87 89 91 94 98 101 105 112 116 127 131 141 144 145 149 151 153 155 157 159 161 163 164 166 169 171 172 174 175 179 183 191 194 195 199 201 207 211 213 216 217 219 220 225 229 230 231 236 238 239 242 a 1 4 5 8 10 12 20 23 24 25 31 35 38 40 46 50 51 52 53 55 61 66 68 69 70 72 76 83 84 87 89 91 94 98 101 105 112 116 118 127 131 141 144 145 149 151 153 155 157 159 161 163 164 166 169 171 174 175 179 183 191 194 195 199 201 207 211 213 216 217 219 220 225 229 230 231 236 238 239 242 a 1 4 5 8 10 12 20 23 24 25 31 35 38 40 46 50 51 52 53 55 61 66 68 69 70 72 76 83 84 87 89 91 98 101 105 112 116 118 127 131 135 141 144 145 149 151 153 155 157 159 161 163 164 166 169 171 174 175 179 183 191 194 195 199 201 207 211 213 216 217 219 220 225 229 230 231 236 238 239 242 a 1 4 5 8 10 12 20 23 24 25 31 35 38 39 40 46 50 51 52 53 55 61 66 69 70 72 76 83 84 87 89 91 98 101 105 112 116 118 127 131 135 141 144 145 149 151 153 155 157 159 161 163 164 166 169 171 174 175 179 183 191 194 195 199 201 207 211 213 216 217 219 220 225 229 230 231 236 238 239 242 a 1 4 5 8 10 12 20 23 24 25 31 35 38 39 40 46 50 51 52 53 55 61 66 69 70 72 76 83 84 87 89 90 91 98 101 105 112 116 118 127 131 135 141 144 145 149 151 153 155 157 159 161 163 164 166 169 171 174 175 179 183 191 194 195 199 201 207 211 213 216 217 219 220 225 230 231 236 238 239 242 a 1 4 5 8 10 12 20 23 24 25 31 35 38 39 40 46 50 51 52 53 55 61 66 69 70 72 76 78 83 84 87 89 90 91 98 101 105 112 116 118 127 131 135 141 144 145 149 151 153 155 157 159 161 164 166 169 171 174 175 179 183 191 194 195 199 201 207 211 213 216 217 219 220 225 230 231 236 238 239 242 a 1 4 5 8 10 12 20 23 24 25 31 35 38 39 40 46 50 51 52 53 55 61 66 69 70 71 72 76 78 83 84 87 89 90 91 98 101 105 112 116 118 127 131 135 141 144 145 149 151 153 155 157 159 161 164 166 169 171 174 175 179 191 194 195 199 201 207 211 213 216 217 219 220 225 230 231 236 238 239 242 a 1 4 5 8 10 12 20 23 24 25 31 35 38 39 40 46 50 52 53 55 61 66 69 70 71 72 76 78 83 84 87 89 90 91 98 101 105 112 116 118 127 131 135 141 144 145 149 151 153 155 157 159 161 164 166 169 171 174 175 179 191 194 195 199 201 204 207 211 213 216 217 219 220 225 230 231 236 238 239 242 a 1 4 5 8 12 20 23 24 25 31 35 38 39 40 46 48 50 52 53 55 61 66 69 70 71 72 76 78 83 84 87 89 90 91 98 101 105 112 116 118 127 131 135 141 144 145 149 151 153 155 157 159 161 164 166 169 171 174 175 179 191 194 195 199 201 204 207 211 213 216 217 219 220 225 230 231 236 238 239 242 a 1 4 5 8 12 20 23 24 25 31 35 38 39 40 46 48 50 52 53 61 66 69 70 71 72 76 78 83 84 87 89 90 91 97 98 101 105 112 116 118 127 131 135 141 144 145 149 151 153 155 157 159 161 164 166 169 171 174 175 179 191 194 195 199 201 204 207 211 213 216 217 219 220 225 230 231 236 238 239 242 a 1 4 5 8 12 20 23 24 25 31 35 38 39 40 46 48 50 52 53 61 66 69 70 71 72 76 78 83 84 87 89 90 91 97 98 101 105 112 116 118 127 130 131 135 141 144 145 149 151 153 155 157 159 161 164 166 169 171 174 175 191 194 195 199 201 204 207 211 213 216 217 219 220 225 230 231 236 238 239 242 a 1 4 5 8 12 20 23 24 25 31 35 38 39 40 46 48 50 52 53 61 66 69 70 71 72 76 78 83 84 87 89 90 91 97 101 105 106 112 116 118 127 130 131 135 141 144 145 149 151 153 155 157 159 161 164 166 169 171 174 175 191 194 195 199 201 204 207 211 213 216 217 219 220 225 230 231 236 238 239 242 a 1 4 5 8 12 20 23 24 25 31 35 38 39 40 46 48 50 52 53 61 66 69 70 71 72 76 78 83 84 87 89 90 91 97 101 105 106 112 116 118 127 130 131 135 138 141 144 145 149 151 153 155 157 159 161 164 166 169 171 174 175 191 194 199 201 204 207 211 213 216 217 219 220 225 230 231 236 238 239 242 a 1 4 5 8 12 17 20 23 24 25 31 35 38 39 40 46 48 50 52 53 61 66 69 70 71 72 76 78 83 84 87 89 90 91 97 101 105 106 112 116 118 127 130 131 135 138 141 144 145 149 151 153 155 157 159 161 164 166 169 171 174 175 191 194 199 201 204 207 211 216 217 219 220 225 230 231 236 238 239 242 c Step: 63 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance019_graph004.col /benchmark/random_instance/random_instance019_graph004_01.dat" User time (seconds): 355.59 System time (seconds): 5.54 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:01.15 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): 20364860 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 6797281 Voluntary context switches: 25 Involuntary context switches: 2014 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]