#BEGIN: [Tue Sep 26 02:07:27 2023] #HOST: s14 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance017_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance017_graph004_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /benchmark/random_instance/random_instance017_graph004.col /benchmark/random_instance/random_instance017_graph004_01.dat c /benchmark/random_instance/random_instance017_graph004.col c /benchmark/random_instance/random_instance017_graph004_01.dat *** Info : (clingo): INTERRUPTED by signal! s 207 45 89 35 46 109 197 56 25 128 162 163 147 23 122 31 146 215 60 196 203 173 65 209 59 220 180 187 130 22 157 66 170 214 67 117 12 151 108 7 96 73 149 21 91 17 134 80 92 166 5 97 44 29 69 40 54 53 55 213 83 1 119 123 127 81 3 216 164 26 33 152 169 t 57 147 206 82 35 23 212 199 15 40 168 60 20 156 205 190 103 110 119 162 25 79 54 104 136 159 77 111 115 27 87 143 96 219 116 95 48 146 167 68 102 108 43 154 26 158 5 135 2 209 90 180 10 7 13 47 107 124 185 142 217 56 64 188 41 113 51 151 112 198 179 129 203 a YES a 1 3 5 7 12 17 21 22 23 25 26 29 31 33 35 40 44 45 46 53 54 55 56 59 60 65 66 67 69 73 80 81 83 89 91 92 96 97 108 109 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 169 170 173 180 187 196 197 203 207 209 213 214 215 216 220 a 1 3 5 7 12 17 21 22 23 25 26 29 31 33 35 40 44 45 46 53 54 55 56 59 60 65 66 67 69 73 75 80 81 83 89 91 92 96 97 108 109 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 169 173 180 187 196 197 203 207 209 213 214 215 216 220 a 1 3 5 7 12 17 21 22 23 26 29 30 31 33 35 40 44 45 46 53 54 55 56 59 60 65 66 67 69 73 75 80 81 83 89 91 92 96 97 108 109 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 169 173 180 187 196 197 203 207 209 213 214 215 216 220 a 1 3 5 7 12 17 21 22 23 26 29 30 31 33 35 40 44 45 46 53 54 55 56 59 60 65 66 67 69 73 80 81 83 89 91 92 96 97 108 109 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 169 170 173 180 187 196 197 203 207 209 213 214 215 216 220 a 1 3 5 7 12 17 21 22 23 26 29 30 31 33 35 40 44 45 46 53 54 55 56 59 60 65 66 67 69 73 80 81 82 83 89 91 92 96 97 108 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 169 170 173 180 187 196 197 203 207 209 213 214 215 216 220 a 1 3 5 7 12 17 21 22 23 26 29 30 31 33 35 40 44 45 46 53 54 55 56 59 60 65 66 67 69 73 80 81 82 83 89 91 92 96 97 108 117 119 122 123 127 128 130 134 146 147 149 151 152 157 163 164 166 169 170 173 180 187 196 197 200 203 207 209 213 214 215 216 220 a 1 3 5 7 12 17 21 22 23 26 29 30 31 33 35 40 44 45 46 53 54 55 56 59 60 65 66 67 69 73 80 81 83 89 91 92 96 97 108 109 117 119 122 123 127 128 130 134 146 147 149 151 152 157 163 164 166 169 170 173 180 187 196 197 200 203 207 209 213 214 215 216 220 a 1 3 5 7 12 17 21 22 23 26 29 30 31 33 35 40 44 45 46 53 54 55 56 59 60 65 66 67 69 73 80 81 83 89 91 92 96 97 108 109 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 169 170 173 180 187 196 197 203 207 209 213 214 215 216 220 a 1 3 5 7 12 17 21 22 23 26 29 30 31 33 35 40 44 45 46 53 54 55 56 59 60 65 66 67 69 73 80 81 82 83 89 91 92 96 97 108 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 169 170 173 180 187 196 197 203 207 209 213 214 215 216 220 a 1 3 5 7 12 17 21 22 23 26 29 30 31 33 35 40 44 45 46 53 54 55 56 59 60 65 66 67 69 73 75 80 81 82 83 89 91 92 96 97 108 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 169 173 180 187 196 197 203 207 209 213 214 215 216 220 a 1 3 5 7 12 17 21 22 26 29 30 31 33 35 40 44 45 46 53 54 55 56 59 60 65 66 67 69 73 75 80 81 82 83 89 91 92 96 97 108 117 119 122 123 127 128 130 134 138 146 147 149 151 152 157 162 163 164 166 169 173 180 187 196 197 203 207 209 213 214 215 216 220 a 1 3 5 7 12 17 21 22 26 29 30 33 35 40 44 45 46 53 54 55 56 59 60 65 66 67 69 73 75 80 81 82 83 89 91 92 96 97 108 117 119 122 123 127 128 130 134 138 146 147 149 151 152 157 162 163 164 166 169 173 180 187 196 197 203 207 209 213 214 215 216 219 220 a 1 3 5 7 12 17 21 22 26 29 30 33 35 40 44 45 46 53 54 55 56 59 60 66 67 69 73 75 80 81 82 83 89 91 92 96 97 108 117 119 122 123 127 128 130 134 138 146 147 149 151 152 157 162 163 164 166 169 173 180 187 196 197 203 207 209 212 213 214 215 216 219 220 a 1 3 5 7 12 17 21 22 26 29 30 33 35 40 43 44 45 46 53 54 55 56 59 60 67 69 73 75 80 81 82 83 89 91 92 96 97 108 117 119 122 123 127 128 130 134 138 146 147 149 151 152 157 162 163 164 166 169 173 180 187 196 197 203 207 209 212 213 214 215 216 219 220 a 1 3 5 7 12 17 21 22 26 29 30 33 35 40 43 44 45 46 53 54 55 56 59 60 67 69 73 75 80 81 82 83 89 91 92 96 97 108 117 119 122 123 127 128 130 134 138 146 147 149 151 152 157 162 163 164 166 173 180 187 190 196 197 203 207 209 212 213 214 215 216 219 220 a 1 3 5 7 12 17 21 22 26 29 30 33 35 40 43 44 45 46 48 53 54 55 56 59 60 67 69 73 75 80 81 82 83 89 91 96 97 108 117 119 122 123 127 128 130 134 138 146 147 149 151 152 157 162 163 164 166 173 180 187 190 196 197 203 207 209 212 213 214 215 216 219 220 a 1 3 5 7 12 17 21 22 26 29 30 33 35 40 43 44 45 46 48 53 54 55 56 59 60 67 69 73 75 80 81 82 83 89 91 96 97 108 117 119 122 123 127 128 130 134 138 146 147 149 151 152 157 162 163 164 166 173 180 187 190 197 198 203 207 209 212 213 214 215 216 219 220 a 1 3 5 7 12 17 21 22 26 29 30 33 35 40 43 44 45 46 48 53 54 55 56 59 60 69 73 75 80 81 82 83 89 91 96 97 104 108 117 119 122 123 127 128 130 134 138 146 147 149 151 152 157 162 163 164 166 173 180 187 190 197 198 203 207 209 212 213 214 215 216 219 220 a 1 3 5 7 12 17 21 22 23 26 29 30 33 35 40 43 44 45 46 48 53 54 55 56 59 60 69 73 75 80 81 82 83 89 91 96 97 104 108 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 173 180 187 190 197 198 203 207 209 212 213 214 215 216 219 220 a 1 3 5 7 12 21 22 23 26 29 30 33 35 40 43 44 45 46 48 53 54 55 56 59 60 69 73 75 80 81 82 83 89 91 96 97 104 108 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 173 180 187 190 197 198 203 205 207 209 212 213 214 215 216 219 220 a 1 3 5 7 12 21 22 23 26 29 30 33 35 40 43 44 45 48 53 54 55 56 59 60 69 73 75 80 81 82 83 89 91 96 97 104 108 117 119 122 123 127 128 130 134 146 147 149 151 152 157 158 162 163 164 166 173 180 187 190 197 198 203 205 207 209 212 213 214 215 216 219 220 a 1 3 5 7 12 21 22 23 26 29 30 33 35 40 43 44 45 48 53 54 55 56 59 60 69 73 75 80 81 82 83 89 91 96 97 102 104 108 117 119 122 123 127 128 130 134 146 147 149 151 152 157 158 162 163 164 166 173 180 187 190 197 198 203 205 207 209 212 213 215 216 219 220 a 1 3 5 7 12 21 22 23 26 29 30 33 35 40 43 44 45 48 53 54 55 56 59 60 73 75 80 81 82 83 89 91 96 97 102 104 108 117 119 122 123 127 128 130 134 146 147 149 151 152 157 158 162 163 164 166 168 173 180 187 190 197 198 203 205 207 209 212 213 215 216 219 220 a 1 3 5 7 12 21 22 23 26 29 30 33 35 40 43 44 45 48 53 54 55 56 59 60 73 75 80 81 82 83 89 91 96 97 102 104 108 117 119 122 123 127 128 130 134 135 146 147 149 151 152 157 158 162 163 164 166 168 173 180 187 190 197 198 203 205 207 209 212 213 215 216 219 a 1 3 5 7 12 21 22 23 26 29 30 33 35 40 43 44 48 53 54 55 56 59 60 73 75 80 81 82 83 89 91 96 97 102 104 108 117 119 122 123 124 127 128 130 134 135 146 147 149 151 152 157 158 162 163 164 166 168 173 180 187 190 197 198 203 205 207 209 212 213 215 216 219 a 1 5 7 12 21 22 23 26 29 30 33 35 40 43 44 48 53 54 55 56 59 60 73 75 80 81 82 83 89 91 96 97 102 104 108 117 119 122 123 124 127 128 130 134 135 146 147 149 151 152 157 158 162 163 164 166 168 173 180 187 190 197 198 203 205 207 209 212 213 215 216 217 219 a 1 5 7 12 21 22 23 26 29 30 33 35 40 43 44 48 51 53 54 55 56 59 60 73 75 80 81 82 83 89 91 96 97 102 104 108 117 119 122 123 124 128 130 134 135 146 147 149 151 152 157 158 162 163 164 166 168 173 180 187 190 197 198 203 205 207 209 212 213 215 216 217 219 a 1 5 7 12 22 23 26 29 30 33 35 40 43 44 48 51 53 54 55 56 59 60 73 75 79 80 81 82 83 89 91 96 97 102 104 108 117 119 122 123 124 128 130 134 135 146 147 149 151 152 157 158 162 163 164 166 168 173 180 187 190 197 198 203 205 207 209 212 213 215 216 217 219 a 1 5 7 12 22 23 26 29 30 33 35 40 43 44 48 51 53 54 55 56 60 73 75 79 80 81 82 83 89 91 96 97 102 104 108 117 119 122 123 124 128 130 134 135 146 147 149 151 152 157 158 162 163 164 166 168 173 179 180 187 190 197 198 203 205 207 209 212 213 215 216 217 219 a 1 5 7 12 22 23 26 29 30 33 35 40 43 44 48 51 53 54 55 56 60 68 73 75 79 80 81 82 83 89 91 96 97 102 104 108 117 119 122 123 124 128 130 134 135 146 147 149 151 152 157 158 162 163 164 166 168 173 179 180 187 190 197 198 203 205 209 212 213 215 216 217 219 a 1 5 7 12 22 23 26 29 30 33 35 40 43 44 48 51 53 54 55 56 60 68 73 75 79 80 81 82 83 89 91 96 97 102 104 108 115 117 119 122 123 124 128 130 134 135 146 147 149 151 152 157 158 162 163 164 166 168 179 180 187 190 197 198 203 205 209 212 213 215 216 217 219 a 1 5 7 12 22 23 26 29 30 33 35 40 43 44 48 51 53 54 55 56 60 68 73 75 79 80 81 82 83 89 91 96 97 102 103 104 108 115 117 119 122 124 128 130 134 135 146 147 149 151 152 157 158 162 163 164 166 168 179 180 187 190 197 198 203 205 209 212 213 215 216 217 219 a 1 5 7 12 22 23 26 29 30 33 35 40 43 44 48 51 53 54 55 56 60 68 73 75 79 80 81 82 83 89 91 96 97 102 103 104 108 115 117 119 122 124 128 130 134 135 143 146 147 149 151 152 158 162 163 164 166 168 179 180 187 190 197 198 203 205 209 212 213 215 216 217 219 a 1 5 7 12 22 23 26 27 29 30 33 35 40 43 44 48 51 53 54 55 56 60 68 73 75 79 80 81 82 83 89 91 96 97 102 103 104 108 115 117 119 122 124 128 130 135 143 146 147 149 151 152 158 162 163 164 166 168 179 180 187 190 197 198 203 205 209 212 213 215 216 217 219 a 1 5 7 12 22 23 26 27 29 30 33 35 40 43 44 48 51 53 54 55 56 60 68 75 79 80 81 82 83 87 89 91 96 97 102 103 104 108 115 117 119 122 124 128 130 135 143 146 147 149 151 152 158 162 163 164 166 168 179 180 187 190 197 198 203 205 209 212 213 215 216 217 219 a 1 5 7 12 22 23 26 27 29 30 33 35 40 43 44 48 51 53 54 55 56 60 68 75 79 80 81 82 83 87 91 96 97 102 103 104 108 115 117 119 122 124 128 130 135 143 146 147 149 151 152 156 158 162 163 164 166 168 179 180 187 190 197 198 203 205 209 212 213 215 216 217 219 a 1 5 7 12 22 23 26 27 29 30 33 35 40 43 44 48 51 53 54 55 56 60 68 75 79 80 81 82 83 87 91 96 97 102 103 104 108 112 115 117 119 122 124 128 130 135 143 146 147 149 151 152 156 158 162 163 164 166 168 179 180 187 190 197 198 203 205 209 212 213 215 217 219 a 1 5 7 12 22 23 26 27 29 33 35 40 43 44 48 51 53 54 55 56 60 68 75 79 80 81 82 83 87 91 96 97 102 103 104 108 112 115 117 119 122 124 128 130 135 143 146 147 149 151 152 156 158 162 163 164 166 167 168 179 180 187 190 197 198 203 205 209 212 213 215 217 219 a 1 5 7 12 13 22 23 26 27 29 35 40 43 44 48 51 53 54 55 56 60 68 75 79 80 81 82 83 87 91 96 97 102 103 104 108 112 115 117 119 122 124 128 130 135 143 146 147 149 151 152 156 158 162 163 164 166 167 168 179 180 187 190 197 198 203 205 209 212 213 215 217 219 a 1 5 7 12 13 22 23 25 26 27 29 35 40 43 44 48 51 53 54 55 56 60 68 75 79 80 81 82 83 87 91 96 97 102 103 104 108 112 115 117 119 122 124 128 130 135 143 146 147 149 151 152 156 158 162 163 164 166 167 168 179 180 187 190 197 198 203 205 209 212 213 217 219 a 1 5 7 12 13 20 22 23 25 26 27 29 35 40 43 44 48 51 53 54 55 56 60 68 75 79 80 81 82 83 87 91 96 97 102 103 104 108 112 115 117 119 122 124 128 130 135 143 146 147 149 151 152 156 158 162 163 164 166 167 168 179 180 190 197 198 203 205 209 212 213 217 219 a 1 5 7 12 13 20 22 23 25 26 27 29 35 40 43 44 48 51 53 54 55 56 60 68 75 79 80 81 82 83 87 91 96 97 102 103 104 108 112 113 115 117 119 124 128 130 135 143 146 147 149 151 152 156 158 162 163 164 166 167 168 179 180 190 197 198 203 205 209 212 213 217 219 a 1 5 7 12 13 20 22 23 25 26 27 29 35 40 43 44 48 51 53 54 55 56 60 68 75 79 80 81 82 83 87 91 96 97 102 103 104 108 112 113 115 119 124 128 130 135 143 146 147 149 151 152 154 156 158 162 163 164 166 167 168 179 180 190 197 198 203 205 209 212 213 217 219 a 1 5 7 12 13 20 22 23 25 26 27 29 35 40 43 44 48 51 53 54 55 56 60 68 75 79 80 81 82 83 87 91 96 102 103 104 108 112 113 115 119 124 128 130 135 143 146 147 149 151 152 154 156 158 162 163 164 166 167 168 179 180 185 190 197 198 203 205 209 212 213 217 219 a 1 5 7 12 13 20 22 23 25 26 27 29 35 40 43 44 48 51 53 54 55 56 60 68 75 79 80 81 82 83 87 91 96 102 103 104 108 112 113 115 119 124 128 129 130 135 143 146 147 149 151 152 154 156 158 162 163 164 166 167 168 179 180 185 190 198 203 205 209 212 213 217 219 a 1 5 7 12 13 20 22 23 25 26 27 29 35 40 43 44 48 51 53 54 55 56 60 68 75 79 80 81 82 87 91 96 102 103 104 108 112 113 115 116 119 124 128 129 130 135 143 146 147 149 151 152 154 156 158 162 163 164 166 167 168 179 180 185 190 198 203 205 209 212 213 217 219 a 1 5 7 12 13 20 22 23 25 26 27 29 35 40 43 44 48 51 53 54 55 56 60 68 79 80 81 82 87 91 96 102 103 104 108 112 113 115 116 119 124 128 129 130 135 143 146 147 149 151 152 154 156 158 162 163 164 166 167 168 179 180 185 190 198 199 203 205 209 212 213 217 219 a 1 5 7 12 13 20 22 23 25 26 27 35 40 43 44 48 51 53 54 55 56 60 68 79 80 81 82 87 91 96 102 103 104 108 111 112 113 115 116 119 124 128 129 130 135 143 146 147 149 151 152 154 156 158 162 163 164 166 167 168 179 180 185 190 198 199 203 205 209 212 213 217 219 a 1 5 7 10 12 13 20 22 23 25 26 27 35 40 43 44 48 51 53 54 56 60 68 79 80 81 82 87 91 96 102 103 104 108 111 112 113 115 116 119 124 128 129 130 135 143 146 147 149 151 152 154 156 158 162 163 164 166 167 168 179 180 185 190 198 199 203 205 209 212 213 217 219 a 1 5 7 10 12 13 20 22 23 25 26 27 35 40 43 44 48 51 53 54 56 57 60 68 79 80 81 82 87 91 96 102 103 104 108 111 112 113 115 116 119 124 128 129 135 143 146 147 149 151 152 154 156 158 162 163 164 166 167 168 179 180 185 190 198 199 203 205 209 212 213 217 219 a 1 5 7 10 12 13 20 22 23 25 26 27 35 40 43 44 48 51 53 54 56 57 60 68 79 80 81 82 87 91 96 102 103 104 108 111 112 113 115 116 119 124 128 129 135 136 143 146 147 149 151 152 154 156 158 162 163 164 166 167 168 179 180 185 190 198 199 203 205 209 212 217 219 a 1 5 7 10 12 13 20 22 23 25 26 27 35 40 43 44 48 51 53 54 56 57 60 68 79 80 81 82 87 96 102 103 104 108 111 112 113 115 116 119 124 128 129 135 136 143 146 147 149 151 152 154 156 158 159 162 163 164 166 167 168 179 180 185 190 198 199 203 205 209 212 217 219 a 1 5 7 10 13 20 22 23 25 26 27 35 40 43 44 47 48 51 53 54 56 57 60 68 79 80 81 82 87 96 102 103 104 108 111 112 113 115 116 119 124 128 129 135 136 143 146 147 149 151 152 154 156 158 159 162 163 164 166 167 168 179 180 185 190 198 199 203 205 209 212 217 219 a 1 5 7 10 13 20 22 23 25 26 27 35 40 43 44 47 48 51 53 54 56 57 60 68 79 80 81 82 87 96 102 103 104 108 110 111 112 113 115 116 119 124 129 135 136 143 146 147 149 151 152 154 156 158 159 162 163 164 166 167 168 179 180 185 190 198 199 203 205 209 212 217 219 a 1 5 7 10 13 20 22 23 25 26 27 35 40 43 44 47 48 51 53 54 56 57 60 68 79 80 81 82 87 96 102 103 104 108 110 111 112 113 115 116 119 124 129 135 136 142 143 146 147 149 151 152 154 156 158 159 162 163 164 167 168 179 180 185 190 198 199 203 205 209 212 217 219 a 1 5 7 10 13 20 22 23 25 26 27 35 40 43 44 47 48 51 53 54 56 57 60 68 79 80 82 87 95 96 102 103 104 108 110 111 112 113 115 116 119 124 129 135 136 142 143 146 147 149 151 152 154 156 158 159 162 163 164 167 168 179 180 185 190 198 199 203 205 209 212 217 219 a 1 5 7 10 13 20 22 23 25 26 27 35 40 41 43 47 48 51 53 54 56 57 60 68 79 80 82 87 95 96 102 103 104 108 110 111 112 113 115 116 119 124 129 135 136 142 143 146 147 149 151 152 154 156 158 159 162 163 164 167 168 179 180 185 190 198 199 203 205 209 212 217 219 a 1 2 5 7 10 13 20 22 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 68 79 80 82 87 95 96 102 103 104 108 110 111 112 113 115 116 119 124 129 135 136 142 143 146 147 149 151 152 154 156 158 159 162 163 164 167 168 179 180 185 190 198 199 203 205 209 212 217 219 a 1 2 5 7 10 13 20 22 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 68 79 80 82 87 95 96 102 103 104 108 110 111 112 113 115 116 119 124 129 135 136 142 143 146 147 149 151 152 154 156 158 159 162 164 167 168 179 180 185 190 198 199 203 205 206 209 212 217 219 a 1 2 5 7 10 13 20 22 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 68 79 80 82 87 95 96 102 103 104 107 108 110 111 112 113 115 116 119 124 129 135 136 142 143 146 147 149 151 152 154 156 158 159 162 167 168 179 180 185 190 198 199 203 205 206 209 212 217 219 a 1 2 5 7 10 13 20 22 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 68 79 80 82 87 95 96 102 103 104 107 108 110 111 112 113 115 116 119 124 129 135 136 142 143 146 147 151 152 154 156 158 159 162 167 168 179 180 185 188 190 198 199 203 205 206 209 212 217 219 a 1 2 5 7 10 13 20 22 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 68 77 79 80 82 87 95 96 102 103 104 107 108 110 111 112 113 115 116 119 124 129 135 136 142 143 146 147 151 154 156 158 159 162 167 168 179 180 185 188 190 198 199 203 205 206 209 212 217 219 a 1 2 5 7 10 13 20 22 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 64 68 77 79 82 87 95 96 102 103 104 107 108 110 111 112 113 115 116 119 124 129 135 136 142 143 146 147 151 154 156 158 159 162 167 168 179 180 185 188 190 198 199 203 205 206 209 212 217 219 a 2 5 7 10 13 20 22 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 64 68 77 79 82 87 90 95 96 102 103 104 107 108 110 111 112 113 115 116 119 124 129 135 136 142 143 146 147 151 154 156 158 159 162 167 168 179 180 185 188 190 198 199 203 205 206 209 212 217 219 a 2 5 7 10 13 15 20 23 25 26 27 35 40 41 43 47 48 51 54 56 57 60 64 68 77 79 82 87 90 95 96 102 103 104 107 108 110 111 112 113 115 116 119 124 129 135 136 142 143 146 147 151 154 156 158 159 162 167 168 179 180 185 188 190 198 199 203 205 206 209 212 217 219 c Step: 64 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance017_graph004.col /benchmark/random_instance/random_instance017_graph004_01.dat" User time (seconds): 60.57 System time (seconds): 0.13 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:00.71 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): 274832 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 98752 Voluntary context switches: 24 Involuntary context switches: 333 Swaps: 0 File system inputs: 0 File system outputs: 280 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 02:08:28 2023]