#BEGIN: [Tue Sep 26 01:41:34 2023] #HOST: s02 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #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 --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /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): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.103 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds 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 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 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 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 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 138 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 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 138 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 162 163 164 166 169 170 173 180 187 196 197 199 203 207 209 213 214 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 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 170 173 180 187 196 197 199 203 207 209 213 214 216 220 a 1 3 5 7 12 17 21 22 26 29 30 31 33 40 44 45 46 53 54 55 56 59 60 65 66 67 69 70 73 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 170 173 180 187 196 197 199 203 207 209 213 214 216 220 a 1 3 5 7 12 17 21 22 26 29 30 31 40 44 45 46 53 54 55 56 59 60 65 66 67 69 70 73 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 170 173 180 187 196 197 199 203 207 209 213 214 216 218 220 a 1 3 5 7 12 17 21 22 26 29 30 40 44 45 46 53 54 55 56 59 60 65 66 67 69 70 73 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 170 173 180 187 196 197 199 203 207 209 213 214 216 218 219 220 a 1 3 5 7 12 17 21 22 26 29 30 40 44 45 46 53 54 55 56 59 60 65 66 67 70 73 80 81 82 83 89 91 92 96 97 103 108 117 119 122 123 127 128 130 134 138 146 147 149 151 152 157 162 163 164 166 169 170 173 180 187 196 197 199 203 207 209 213 214 216 218 219 220 a 1 3 5 7 12 17 21 22 23 26 29 30 40 44 45 46 53 54 55 56 59 60 65 66 67 70 73 80 81 82 83 89 91 92 96 97 103 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 199 203 207 209 213 214 216 218 219 220 a 1 3 5 7 12 17 21 22 23 26 29 30 40 44 45 46 53 54 55 56 59 60 66 67 70 73 80 81 82 83 89 91 92 96 97 103 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 199 203 207 209 212 213 214 216 218 219 220 a 1 3 5 7 12 17 21 22 23 26 29 30 40 44 45 46 53 54 55 56 59 60 66 67 70 73 80 81 82 83 89 91 92 96 97 103 108 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 169 170 173 180 187 197 198 199 203 207 209 212 213 214 216 218 219 220 a 1 3 5 7 12 17 21 22 23 26 29 30 40 44 45 46 53 54 56 57 59 60 66 67 70 73 80 81 82 83 89 91 92 96 97 103 108 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 169 170 173 180 187 197 198 199 203 207 209 212 213 214 216 218 219 220 a 1 3 5 7 12 17 21 22 23 26 29 30 40 44 45 46 53 54 56 57 59 60 66 67 70 73 80 81 82 83 89 91 92 96 97 102 103 108 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 169 170 173 180 187 197 198 199 203 207 209 212 213 216 218 219 220 a 1 3 5 7 12 17 21 22 23 26 29 30 40 44 45 46 53 54 56 57 59 60 66 67 70 80 81 82 83 87 89 91 92 96 97 102 103 108 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 169 170 173 180 187 197 198 199 203 207 209 212 213 216 218 219 220 a 1 3 5 7 12 17 21 22 23 26 29 30 40 44 45 46 53 54 56 57 60 66 67 70 80 81 82 83 87 89 91 92 96 97 102 103 108 117 119 122 123 127 128 130 134 146 147 149 151 152 157 162 163 164 166 169 170 173 179 180 187 197 198 199 203 207 209 212 213 216 218 219 220 a 1 3 5 7 12 17 21 22 23 26 29 30 40 44 45 46 53 54 56 57 60 66 67 70 80 81 82 83 87 89 91 92 96 97 102 103 108 117 119 122 123 127 128 130 134 143 146 147 149 151 157 162 163 164 166 169 170 173 179 180 187 197 198 199 203 207 209 212 213 216 218 219 220 a 1 3 5 7 12 17 21 22 23 26 29 30 40 44 45 46 48 53 54 56 57 60 66 67 70 80 81 82 83 87 89 91 96 97 102 103 108 117 119 122 123 127 128 130 134 143 146 147 149 151 157 162 163 164 166 169 170 173 179 180 187 197 198 199 203 207 209 212 213 216 218 219 220 a 1 3 5 7 12 17 21 22 23 26 29 30 40 43 44 45 46 48 53 54 56 57 60 67 70 80 81 82 83 87 89 91 96 97 102 103 108 117 119 122 123 127 128 130 134 143 146 147 149 151 157 162 163 164 166 169 170 173 179 180 187 197 198 199 203 207 209 212 213 216 218 219 220 a 1 3 5 7 12 17 21 22 23 26 29 30 40 43 44 45 48 53 54 56 57 60 67 70 80 81 82 83 87 89 91 96 97 102 103 108 117 119 122 123 127 128 130 134 143 146 147 149 151 157 158 162 163 164 166 169 170 173 179 180 187 197 198 199 203 207 209 212 213 216 218 219 220 a 1 3 5 7 12 17 21 22 23 26 29 30 40 43 44 45 48 53 54 56 57 60 67 70 80 81 82 83 87 91 96 97 102 103 108 117 119 122 123 127 128 130 134 143 146 147 149 151 156 157 158 162 163 164 166 169 170 173 179 180 187 197 198 199 203 207 209 212 213 216 218 219 220 a 1 3 5 7 12 17 21 22 23 26 29 30 40 43 44 45 48 53 54 56 57 60 67 70 80 81 82 83 87 91 96 97 102 103 108 117 119 122 123 127 128 130 134 143 146 147 149 151 156 157 158 162 163 164 166 170 173 179 180 187 190 197 198 199 203 207 209 212 213 216 218 219 220 a 1 3 5 7 12 17 21 22 23 26 29 30 40 43 44 45 48 51 53 54 56 57 60 67 70 80 81 82 83 87 91 96 97 102 103 108 117 119 122 123 128 130 134 143 146 147 149 151 156 157 158 162 163 164 166 170 173 179 180 187 190 197 198 199 203 207 209 212 213 216 218 219 220 a 1 3 5 7 12 13 17 21 22 23 26 29 30 40 43 44 45 48 51 53 54 56 57 60 67 70 80 81 82 83 87 91 96 97 102 103 108 117 119 122 123 128 130 143 146 147 149 151 156 157 158 162 163 164 166 170 173 179 180 187 190 197 198 199 203 207 209 212 213 216 218 219 220 a 1 3 5 7 12 13 17 21 22 23 26 29 30 40 43 44 45 48 51 53 54 56 57 60 70 80 81 82 83 87 91 96 97 102 103 108 117 119 122 123 128 130 135 143 146 147 149 151 156 157 158 162 163 164 166 170 173 179 180 187 190 197 198 199 203 207 209 212 213 216 218 219 220 a 1 3 5 7 12 13 17 21 22 23 26 29 30 40 43 44 45 48 51 53 54 56 57 60 70 80 81 82 83 87 91 96 97 102 103 108 117 119 122 123 128 130 135 143 146 147 149 151 156 157 158 162 163 166 168 170 173 179 180 187 190 197 198 199 203 207 209 212 213 216 218 219 220 a 1 3 5 7 12 13 21 22 23 26 29 30 40 43 44 45 48 51 53 54 56 57 60 70 80 81 82 83 87 91 96 97 102 103 108 117 119 122 123 128 130 135 143 146 147 149 151 156 157 158 162 163 166 168 170 173 179 180 187 190 197 198 199 203 205 207 209 212 213 216 218 219 220 a 1 3 5 7 12 13 21 22 23 26 29 40 43 44 45 48 51 53 54 56 57 60 70 80 81 82 83 87 91 96 97 102 103 108 117 119 122 123 128 130 135 143 146 147 149 151 156 157 158 162 163 166 167 168 170 173 179 180 187 190 197 198 199 203 205 207 209 212 213 216 218 219 220 a 1 3 5 7 12 13 20 21 22 23 26 29 40 43 44 45 48 51 53 54 56 57 60 70 80 81 82 83 87 91 96 97 102 103 108 117 119 122 123 128 130 135 143 146 147 149 151 156 157 158 162 163 166 167 168 170 173 179 180 190 197 198 199 203 205 207 209 212 213 216 218 219 220 a 1 3 5 7 12 13 20 21 22 23 25 26 29 40 43 44 45 48 51 53 54 56 57 60 70 80 81 82 83 87 96 97 102 103 108 117 119 122 123 128 130 135 143 146 147 149 151 156 157 158 162 163 166 167 168 170 173 179 180 190 197 198 199 203 205 207 209 212 213 216 218 219 220 a 1 3 5 7 12 13 20 21 22 23 25 26 29 35 40 43 44 45 48 51 53 54 56 57 60 80 81 82 83 87 96 97 102 103 108 117 119 122 123 128 130 135 143 146 147 149 151 156 157 158 162 163 166 167 168 170 173 179 180 190 197 198 199 203 205 207 209 212 213 216 218 219 220 a 1 3 5 7 12 13 20 21 22 23 25 26 29 35 40 43 44 45 48 51 53 54 56 57 60 80 81 82 83 87 96 97 102 103 104 108 117 119 122 123 128 130 135 143 146 147 149 151 156 157 158 162 163 166 167 168 170 173 179 180 190 197 198 199 203 205 207 209 212 213 216 218 219 a 1 3 5 7 10 12 13 20 21 22 23 25 26 29 35 40 43 44 45 48 51 53 54 56 57 60 80 81 82 83 87 96 97 102 103 104 108 117 119 122 123 128 130 135 143 146 147 149 151 156 157 158 162 163 166 167 168 173 179 180 190 197 198 199 203 205 207 209 212 213 216 218 219 a 1 3 5 7 10 12 13 20 21 22 23 25 26 29 35 40 43 44 45 48 51 53 54 56 57 60 80 81 82 83 87 96 97 102 103 104 108 117 119 122 123 128 130 135 143 146 147 149 151 156 157 158 162 163 166 167 168 173 179 180 190 197 198 199 203 205 207 209 212 213 216 217 219 a 1 3 5 7 10 12 13 20 21 22 23 25 26 29 35 40 43 44 48 51 53 54 56 57 60 80 81 82 83 87 96 97 102 103 104 108 117 119 122 123 124 128 130 135 143 146 147 149 151 156 157 158 162 163 166 167 168 173 179 180 190 197 198 199 203 205 207 209 212 213 216 217 219 a 1 3 5 7 10 12 13 20 21 22 23 25 26 29 35 40 43 44 48 51 53 54 56 57 60 68 80 81 82 83 87 96 97 102 103 104 108 117 119 122 123 124 128 130 135 143 146 147 149 151 156 157 158 162 163 166 167 168 173 179 180 190 198 199 203 205 207 209 212 213 216 217 219 a 1 3 5 7 10 12 13 20 21 22 23 25 26 27 29 35 40 43 44 48 51 53 54 56 57 60 68 80 81 82 83 87 96 97 102 103 104 108 117 119 122 123 124 128 130 135 143 146 147 149 151 156 158 162 163 166 167 168 173 179 180 190 198 199 203 205 207 209 212 213 216 217 219 a 1 3 5 7 10 12 13 20 21 22 23 25 26 27 29 35 40 43 44 48 51 53 54 56 57 60 68 80 81 82 83 87 96 97 102 103 104 108 112 117 119 122 124 128 130 135 143 146 147 149 151 156 158 162 163 166 167 168 173 179 180 190 198 199 203 205 207 209 212 213 216 217 219 a 1 3 5 7 10 12 13 20 21 22 23 25 26 27 29 35 40 43 44 48 51 53 54 56 57 60 68 80 81 82 83 87 96 97 102 103 104 108 112 117 119 122 124 128 129 130 135 143 146 147 149 151 156 158 162 163 166 167 168 173 179 180 190 198 199 203 205 207 209 212 213 217 219 a 1 3 5 7 10 12 13 20 21 22 23 25 26 27 29 35 40 43 44 48 51 53 54 56 57 60 68 80 82 83 87 96 97 102 103 104 107 108 112 117 119 122 124 128 129 130 135 143 146 147 149 151 156 158 162 163 166 167 168 173 179 180 190 198 199 203 205 207 209 212 213 217 219 a 1 3 5 7 10 12 13 20 21 22 23 25 26 27 35 40 43 44 48 51 53 54 56 57 60 68 80 82 83 87 95 96 97 102 103 104 107 108 112 117 119 122 124 128 129 130 135 143 146 147 149 151 156 158 162 163 166 167 168 173 179 180 190 198 199 203 205 207 209 212 213 217 219 a 1 3 5 7 10 12 13 20 21 22 23 25 26 27 35 40 43 44 48 51 53 54 56 57 60 68 80 82 83 87 95 96 97 102 103 104 107 108 112 119 122 124 128 129 130 135 143 146 147 149 151 154 156 158 162 163 166 167 168 173 179 180 190 198 199 203 205 207 209 212 213 217 219 a 1 3 5 7 10 12 13 20 21 22 23 25 26 27 35 40 43 44 48 51 53 54 56 57 60 68 80 82 83 87 95 96 102 103 104 107 108 112 119 122 124 128 129 130 135 143 146 147 149 151 154 156 158 162 163 166 167 168 173 179 180 185 190 198 199 203 205 207 209 212 213 217 219 a 1 3 5 7 10 12 13 20 21 22 23 25 26 27 35 40 43 44 48 51 53 54 56 57 60 68 80 82 87 95 96 102 103 104 107 108 112 116 119 122 124 128 129 130 135 143 146 147 149 151 154 156 158 162 163 166 167 168 173 179 180 185 190 198 199 203 205 207 209 212 213 217 219 a 1 3 5 7 10 12 13 20 21 22 23 25 26 27 35 40 43 44 48 51 53 54 56 57 60 68 80 82 87 95 96 102 103 104 107 108 111 112 116 119 124 128 129 130 135 143 146 147 149 151 154 156 158 162 163 166 167 168 173 179 180 185 190 198 199 203 205 207 209 212 213 217 219 a 1 3 5 7 10 13 20 21 22 23 25 26 27 35 40 43 44 47 48 51 53 54 56 57 60 68 80 82 87 95 96 102 103 104 107 108 111 112 116 119 124 128 129 130 135 143 146 147 149 151 154 156 158 162 163 166 167 168 173 179 180 185 190 198 199 203 205 207 209 212 213 217 219 a 1 3 5 7 10 13 20 22 23 25 26 27 35 40 43 44 47 48 51 53 54 56 57 60 68 80 82 87 95 96 102 103 104 107 108 111 112 116 119 124 128 129 130 135 143 146 147 149 151 154 156 158 159 162 163 166 167 168 173 179 180 185 190 198 199 203 205 207 209 212 213 217 219 a 1 3 5 7 10 13 20 22 23 25 26 27 35 40 41 43 47 48 51 53 54 56 57 60 68 80 82 87 95 96 102 103 104 107 108 111 112 116 119 124 128 129 130 135 143 146 147 149 151 154 156 158 159 162 163 166 167 168 173 179 180 185 190 198 199 203 205 207 209 212 213 217 219 a 1 3 5 7 10 13 20 22 23 25 26 27 35 40 41 43 47 48 51 53 54 56 57 60 68 77 80 82 87 95 96 102 103 104 107 108 111 112 116 119 124 128 129 130 135 143 146 147 151 154 156 158 159 162 163 166 167 168 173 179 180 185 190 198 199 203 205 207 209 212 213 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 77 80 82 87 95 96 102 103 104 107 108 111 112 113 116 119 124 128 129 130 135 143 146 147 151 154 156 158 159 162 163 166 167 168 173 179 180 185 190 198 199 203 205 207 209 212 213 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 80 82 87 95 96 102 103 104 107 108 111 112 113 116 119 124 128 129 130 135 143 146 147 151 154 156 158 159 162 163 166 167 168 173 179 180 185 190 198 199 203 205 207 209 212 213 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 68 77 79 80 82 87 95 96 102 103 104 107 108 111 112 113 116 119 124 128 129 130 135 143 146 147 151 154 156 158 159 162 163 166 167 168 173 179 180 185 190 198 199 203 205 207 209 212 213 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 68 77 79 80 82 87 95 96 102 103 104 107 108 110 111 112 113 116 119 124 129 130 135 143 146 147 151 154 156 158 159 162 163 166 167 168 173 179 180 185 190 198 199 203 205 207 209 212 213 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 68 77 79 82 87 90 95 96 102 103 104 107 108 110 111 112 113 116 119 124 129 130 135 143 146 147 151 154 156 158 159 162 163 166 167 168 173 179 180 185 190 198 199 203 205 207 209 212 213 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 68 77 79 82 87 90 95 96 102 103 104 107 108 110 111 112 113 116 119 124 129 135 143 146 147 151 154 156 158 159 162 163 166 167 168 173 179 180 185 188 190 198 199 203 205 207 209 212 213 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 116 119 124 129 135 143 146 147 151 154 156 158 159 162 166 167 168 173 179 180 185 188 190 198 199 203 205 207 209 212 213 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 116 119 124 129 135 143 146 147 151 154 156 158 159 162 166 167 168 173 179 180 185 188 190 198 199 203 205 207 209 212 213 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 116 119 124 129 135 136 143 146 147 151 154 156 158 159 162 166 167 168 173 179 180 185 188 190 198 199 203 205 207 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 116 119 124 129 135 136 143 146 147 151 154 156 158 159 162 167 168 173 179 180 185 188 190 198 199 203 205 206 207 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 116 119 124 129 135 136 142 143 146 147 151 154 156 158 159 162 167 168 173 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 --na -t4 /benchmark/random_instance/random_instance017_graph004.col /benchmark/random_instance/random_instance017_graph004_01.dat" User time (seconds): 1074.15 System time (seconds): 7.45 Percent of CPU this job got: 296% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.25 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): 19202368 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 3 Minor (reclaiming a frame) page faults: 6303120 Voluntary context switches: 359475 Involuntary context switches: 2252 Swaps: 0 File system inputs: 256 File system outputs: 304 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 01:47:38 2023]