#BEGIN: [Mon Sep 4 11:55:35 2023] #HOST: s06 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance018_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance018_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_instance018_graph003.col /benchmark/random_instance/random_instance018_graph003_01.dat c /benchmark/random_instance/random_instance018_graph003.col c /benchmark/random_instance/random_instance018_graph003_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.077 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 32 22 172 126 133 139 23 93 220 14 216 198 204 186 4 42 15 199 217 29 11 120 9 152 40 46 131 74 25 221 60 113 141 200 115 108 124 67 86 101 65 157 193 33 155 175 102 184 41 104 1 195 61 105 224 90 137 135 223 188 177 149 79 98 2 156 187 63 176 122 27 225 170 181 t 100 183 127 179 89 71 111 130 32 151 229 136 46 14 141 39 79 84 140 174 45 77 113 102 4 6 195 200 148 115 212 154 161 65 28 61 166 40 227 198 228 3 105 223 96 207 58 149 186 95 30 157 87 74 47 142 176 41 101 219 124 19 168 131 218 159 143 167 88 187 2 213 38 119 a YES a 1 2 4 9 11 14 15 22 23 25 27 29 32 33 40 41 42 46 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 181 184 186 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225 a 1 2 4 7 9 11 14 15 22 23 25 27 29 32 33 40 41 42 46 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 181 184 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225 a 1 2 4 7 9 11 14 15 22 23 25 27 29 32 33 40 41 42 46 60 61 63 65 67 72 74 79 86 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 181 184 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225 a 1 2 4 9 11 14 15 22 23 25 27 29 32 33 40 41 42 46 60 61 63 65 67 72 74 79 86 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 181 184 186 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225 a 1 2 4 9 11 14 15 22 23 25 27 29 32 33 40 41 42 46 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 181 184 186 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225 a 1 2 4 7 9 11 14 15 22 23 25 27 29 32 33 40 41 42 46 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 181 184 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225 a 1 2 4 7 9 11 14 15 22 23 25 27 29 32 33 40 41 42 46 60 61 63 65 67 72 74 79 86 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 181 184 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225 a 1 2 4 7 9 11 14 15 22 23 25 27 29 32 40 41 42 46 60 61 63 65 67 72 74 79 86 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 139 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225 a 1 2 4 7 9 11 14 15 16 22 23 25 27 29 32 40 41 42 46 60 61 63 65 67 72 74 79 86 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225 a 1 2 4 7 9 11 14 15 16 22 23 25 27 29 32 40 41 42 46 60 61 63 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225 a 1 2 4 7 9 11 14 15 16 22 23 25 27 29 32 40 41 42 46 55 60 61 65 67 74 79 86 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225 a 1 2 4 7 9 11 14 15 16 20 22 23 25 27 29 32 40 41 42 46 55 60 61 65 67 74 79 86 90 93 98 101 102 104 105 108 115 120 122 124 126 131 133 135 137 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 216 217 220 221 223 224 225 a 1 2 4 7 9 11 14 15 16 20 22 23 25 27 29 32 40 41 42 46 55 60 61 65 67 74 79 85 86 90 93 98 101 102 104 105 108 115 120 122 124 126 131 133 135 137 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 216 217 220 221 223 224 a 1 2 4 7 9 11 14 15 16 20 22 23 27 29 32 40 41 42 46 55 60 61 65 67 74 79 85 86 87 90 93 98 101 102 104 105 108 115 120 122 124 126 131 133 135 137 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 216 217 220 221 223 224 a 1 2 4 7 9 11 14 15 16 22 23 27 29 32 40 41 42 46 55 60 61 65 67 74 79 85 86 87 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 216 217 220 221 223 224 a 1 2 4 7 9 11 14 15 16 22 23 27 29 32 40 41 42 46 55 60 61 63 65 67 74 79 85 86 87 90 93 98 101 102 104 105 108 113 115 120 122 124 126 131 133 135 137 141 149 155 156 157 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 216 217 220 221 223 224 a 1 2 4 7 9 11 14 15 16 20 22 23 27 29 32 40 41 42 46 55 60 61 63 65 67 74 79 85 86 87 90 93 98 101 102 104 105 108 115 120 122 124 126 131 133 135 137 141 149 155 156 157 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 216 217 220 221 223 224 a 1 2 4 7 9 11 14 15 16 20 23 27 29 32 40 41 42 46 55 60 61 63 65 67 74 79 85 86 87 90 93 98 101 102 104 105 108 115 120 122 124 126 131 133 135 137 141 149 155 156 157 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 216 217 220 221 223 224 226 a 1 2 4 7 9 11 14 15 16 20 23 27 29 32 40 41 42 46 55 60 61 63 65 67 74 79 85 86 87 90 93 98 101 102 105 108 115 120 122 124 126 131 133 135 137 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 193 195 198 199 200 204 216 217 220 221 223 224 226 a 1 2 3 4 7 9 11 14 15 16 20 23 27 29 32 40 41 42 46 55 60 61 63 65 67 74 79 85 86 87 90 93 98 101 102 105 108 115 120 122 124 126 131 133 135 137 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 216 217 220 221 223 224 226 a 1 2 3 4 7 9 11 14 15 16 20 23 27 29 32 40 41 42 46 55 60 61 65 67 74 79 85 86 87 90 93 98 101 102 105 108 115 120 122 124 126 131 133 135 137 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 216 217 219 220 221 223 224 226 a 1 2 3 4 7 9 11 14 15 16 20 23 27 29 32 40 41 42 46 55 60 61 65 67 74 79 85 86 87 90 93 98 101 102 105 108 115 120 122 124 126 131 133 135 137 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 216 217 219 220 223 224 226 227 a 1 2 3 4 7 9 11 14 15 16 20 23 27 29 32 40 41 42 46 55 60 61 65 67 71 74 79 85 86 87 90 93 98 101 102 105 108 115 120 122 124 126 131 133 135 137 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 217 219 220 223 224 226 227 a 1 2 3 4 7 9 11 14 15 16 20 23 29 30 32 40 41 42 46 55 60 61 65 67 71 74 79 85 86 87 90 93 98 101 102 105 108 115 120 122 124 126 131 133 135 137 141 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 217 219 220 223 224 226 227 a 1 2 3 4 7 9 11 14 15 16 20 23 29 30 32 40 41 46 55 60 61 65 67 71 74 79 85 86 87 90 93 98 101 102 105 108 115 120 122 124 126 131 133 135 137 141 142 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 217 219 220 223 224 226 227 a 1 2 3 4 9 11 14 15 16 20 23 29 30 32 40 41 46 55 60 61 65 67 71 74 79 84 85 86 87 90 93 98 101 102 105 108 115 120 122 124 126 131 133 135 137 141 142 149 152 155 156 157 170 172 175 176 177 179 181 184 187 188 195 198 199 200 204 217 219 220 223 224 226 227 a 1 2 3 4 9 11 14 15 16 20 23 29 30 32 40 41 46 60 61 65 67 71 74 79 84 85 86 87 90 93 98 101 102 105 108 115 120 122 124 126 131 133 135 137 141 142 149 152 155 156 157 170 172 175 176 177 179 181 184 186 187 188 195 198 199 200 204 217 219 220 223 224 226 227 a 1 2 3 4 9 11 14 15 16 20 23 29 30 32 40 41 46 58 60 61 65 67 71 74 79 84 85 86 87 90 93 98 101 102 105 108 115 120 122 124 126 131 133 135 137 141 142 149 152 155 156 157 170 172 175 176 177 179 181 186 187 188 195 198 199 200 204 217 219 220 223 224 226 227 a 1 2 3 4 9 11 14 15 16 23 29 30 32 40 41 46 58 60 61 65 67 71 74 79 84 85 86 87 90 93 98 101 102 105 108 113 115 120 122 124 126 131 133 135 137 141 142 149 152 155 156 157 170 172 175 176 177 179 181 186 187 188 195 198 199 200 204 217 219 220 223 224 226 227 a 1 2 3 4 9 11 14 15 16 23 29 30 32 40 41 46 58 61 65 67 71 74 79 84 85 86 87 90 93 98 101 102 105 108 113 115 120 122 124 126 131 133 135 137 141 142 148 149 152 155 156 157 170 172 175 176 177 179 181 186 187 188 195 198 199 200 204 217 219 220 223 224 226 227 a 1 2 3 4 9 11 14 15 16 23 29 30 32 40 41 46 58 61 65 67 71 74 79 84 85 86 87 90 93 98 101 102 105 108 113 115 122 124 126 131 133 135 137 141 142 148 149 152 155 156 157 170 172 175 176 177 179 181 186 187 188 195 198 199 200 204 217 218 219 220 223 224 226 227 a 1 2 3 4 9 11 14 15 16 23 29 30 32 38 40 41 46 58 61 65 67 71 74 79 84 85 86 87 90 93 98 101 102 105 108 113 115 122 124 126 131 133 135 137 141 142 148 149 152 155 156 157 170 172 175 176 177 179 181 186 187 188 195 198 199 200 217 218 219 220 223 224 226 227 a 1 2 3 4 9 11 14 15 16 23 29 30 32 38 40 41 46 58 61 65 67 71 74 79 84 85 86 87 90 93 98 101 102 105 108 113 115 122 124 126 131 133 135 137 141 142 148 149 152 155 156 157 161 170 172 175 176 179 181 186 187 188 195 198 199 200 217 218 219 220 223 224 226 227 a 1 2 3 4 9 11 14 15 16 23 29 30 32 38 40 41 46 58 61 65 71 74 79 84 85 86 87 90 93 98 101 102 105 108 111 113 115 122 124 126 131 133 135 137 141 142 148 149 152 155 156 157 161 170 172 175 176 179 181 186 187 188 195 198 199 200 217 218 219 220 223 224 226 227 a 1 2 3 4 9 11 14 15 16 23 29 30 32 38 40 41 46 58 61 65 71 74 79 84 85 86 87 88 90 93 98 101 102 105 108 111 113 115 124 126 131 133 135 137 141 142 148 149 152 155 156 157 161 170 172 175 176 179 181 186 187 188 195 198 199 200 217 218 219 220 223 224 226 227 a 1 2 3 4 9 11 14 15 16 23 29 30 32 38 40 41 46 47 58 61 65 71 74 79 84 85 86 87 88 90 93 98 101 102 105 108 111 113 115 124 126 131 133 135 137 141 142 148 149 152 155 156 157 161 170 172 175 176 179 181 186 187 188 195 198 199 200 217 218 219 223 224 226 227 a 1 2 3 4 9 11 14 15 16 23 29 30 32 38 40 41 46 47 58 61 65 71 74 79 84 85 86 87 88 90 93 98 101 102 105 108 111 113 115 124 126 131 133 135 137 141 142 148 149 151 152 155 156 157 161 172 175 176 179 181 186 187 188 195 198 199 200 217 218 219 223 224 226 227 a 1 2 3 4 9 11 14 15 16 23 29 30 32 38 40 41 46 47 58 61 65 71 74 79 84 85 86 87 88 90 93 98 101 102 105 108 111 113 115 124 126 131 133 135 137 140 141 142 148 149 151 152 155 156 157 161 175 176 179 181 186 187 188 195 198 199 200 217 218 219 223 224 226 227 a 1 2 3 4 9 11 14 15 16 23 29 30 32 38 40 41 46 47 58 61 65 71 74 79 84 85 86 87 88 90 93 98 101 102 105 111 113 115 124 126 131 133 135 137 140 141 142 148 149 151 152 155 156 157 159 161 175 176 179 181 186 187 188 195 198 199 200 217 218 219 223 224 226 227 a 1 2 3 4 9 11 14 15 16 23 29 30 32 38 40 41 46 47 58 61 65 71 74 77 79 84 85 86 87 88 90 93 101 102 105 111 113 115 124 126 131 133 135 137 140 141 142 148 149 151 152 155 156 157 159 161 175 176 179 181 186 187 188 195 198 199 200 217 218 219 223 224 226 227 a 1 2 3 4 9 11 14 15 16 23 29 30 32 38 40 41 46 47 58 61 65 71 74 77 79 84 85 86 87 88 90 93 101 102 105 111 113 115 119 124 126 131 133 135 137 140 141 142 148 149 151 152 156 157 159 161 175 176 179 181 186 187 188 195 198 199 200 217 218 219 223 224 226 227 a 1 2 3 4 9 11 14 15 16 23 29 30 32 38 40 41 46 47 58 61 65 71 74 77 79 84 85 86 87 88 90 93 101 102 105 111 113 115 119 124 126 131 133 135 137 140 141 142 148 149 151 152 156 157 159 161 168 175 176 179 181 186 187 188 195 198 200 217 218 219 223 224 226 227 a 1 2 3 4 9 11 14 15 16 23 29 30 32 38 40 41 46 47 58 61 65 71 74 77 79 84 85 86 87 88 93 101 102 105 111 113 115 119 124 126 131 133 135 137 140 141 142 148 149 151 152 156 157 159 161 168 174 175 176 179 181 186 187 188 195 198 200 217 218 219 223 224 226 227 a 1 2 3 4 9 11 14 15 16 23 29 30 32 38 40 41 46 47 58 61 65 71 74 77 79 84 85 86 87 88 93 101 102 105 111 113 115 119 124 126 131 133 135 137 140 141 142 143 148 149 151 152 156 157 159 161 168 174 175 176 179 181 186 187 188 195 198 200 217 218 219 223 226 227 a 2 3 4 9 11 14 15 16 23 29 30 32 38 40 41 46 47 58 61 65 71 74 77 79 84 85 86 87 88 93 101 102 105 111 113 115 119 124 126 127 131 133 135 137 140 141 142 143 148 149 151 152 156 157 159 161 168 174 175 176 179 181 186 187 188 195 198 200 217 218 219 223 226 227 a 2 3 4 9 11 14 15 16 23 30 32 38 40 41 46 47 58 61 65 71 74 77 79 84 85 86 87 88 93 101 102 105 111 113 115 119 124 126 127 131 133 135 137 140 141 142 143 148 149 151 152 154 156 157 159 161 168 174 175 176 179 181 186 187 188 195 198 200 217 218 219 223 226 227 a 2 3 4 9 14 15 16 23 30 32 38 40 41 46 47 58 61 65 71 74 77 79 84 85 86 87 88 93 100 101 102 105 111 113 115 119 124 126 127 131 133 135 137 140 141 142 143 148 149 151 152 154 156 157 159 161 168 174 175 176 179 181 186 187 188 195 198 200 217 218 219 223 226 227 a 2 3 4 6 9 14 15 16 23 30 32 38 40 41 46 47 58 61 65 71 74 77 79 84 85 86 87 88 93 100 101 102 105 111 113 115 119 124 126 127 131 133 135 137 140 141 142 143 148 149 151 152 154 156 157 159 161 168 174 176 179 181 186 187 188 195 198 200 217 218 219 223 226 227 a 2 3 4 6 9 14 15 16 23 30 32 38 40 41 46 47 58 61 65 71 74 77 79 84 85 86 87 88 93 96 100 101 102 105 111 113 115 119 124 126 127 131 135 137 140 141 142 143 148 149 151 152 154 156 157 159 161 168 174 176 179 181 186 187 188 195 198 200 217 218 219 223 226 227 a 2 3 4 6 9 14 15 16 23 30 32 38 40 41 46 47 58 61 65 71 74 77 79 84 85 86 87 88 96 100 101 102 105 111 113 115 119 124 126 127 131 135 137 140 141 142 143 148 149 151 152 154 156 157 159 161 168 174 176 179 181 186 187 188 195 198 200 212 217 218 219 223 226 227 a 2 3 4 6 9 14 15 16 30 32 38 40 41 45 46 47 58 61 65 71 74 77 79 84 85 86 87 88 96 100 101 102 105 111 113 115 119 124 126 127 131 135 137 140 141 142 143 148 149 151 152 154 156 157 159 161 168 174 176 179 181 186 187 188 195 198 200 212 217 218 219 223 226 227 a 2 3 4 6 9 14 15 30 32 38 40 41 45 46 47 58 61 65 71 74 77 79 84 85 86 87 88 96 100 101 102 105 111 113 115 119 124 126 127 131 135 137 140 141 142 143 148 149 151 152 154 156 157 159 161 168 174 176 179 181 186 187 188 195 198 200 212 217 218 219 223 226 227 228 a 2 3 4 6 9 14 15 30 32 38 40 41 45 46 47 58 61 65 71 74 77 79 84 85 86 87 88 96 100 101 102 105 111 113 115 119 124 126 127 131 135 136 137 140 141 142 143 148 149 151 152 154 157 159 161 168 174 176 179 181 186 187 188 195 198 200 212 217 218 219 223 226 227 228 a 2 3 4 6 9 14 15 30 32 38 40 41 45 46 47 58 61 65 71 74 77 79 84 85 86 87 88 96 100 101 102 105 111 113 115 119 124 126 127 130 131 136 137 140 141 142 143 148 149 151 152 154 157 159 161 168 174 176 179 181 186 187 188 195 198 200 212 217 218 219 223 226 227 228 a 2 3 4 6 9 14 15 30 32 38 40 41 45 46 47 58 61 65 71 74 77 79 84 85 86 87 88 95 96 100 101 102 105 111 113 115 119 124 126 127 130 131 136 137 140 141 142 143 148 149 151 152 154 157 159 161 168 174 176 179 181 186 187 188 195 198 200 212 218 219 223 226 227 228 a 2 3 4 6 9 14 15 30 32 38 40 41 45 46 47 58 61 65 71 74 77 79 84 85 86 87 88 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 137 140 141 142 143 148 149 151 152 154 157 159 161 168 174 176 179 181 186 187 188 195 198 200 212 213 218 219 223 226 227 228 a 2 3 4 6 9 14 15 30 32 38 40 41 45 46 47 58 61 65 71 74 77 79 84 85 86 87 88 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 137 140 141 142 143 148 149 151 152 154 157 159 161 168 174 176 179 181 186 187 188 195 198 200 212 213 218 219 223 227 228 229 a 2 3 4 6 9 14 30 32 38 40 41 45 46 47 58 61 65 71 74 77 79 84 85 86 87 88 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 137 140 141 142 143 148 149 151 152 154 157 159 161 168 174 176 179 181 186 187 188 195 198 200 207 212 213 218 219 223 227 228 229 a 2 3 4 6 9 14 30 32 38 40 41 45 46 47 58 61 65 71 74 77 79 84 85 86 87 88 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 137 140 141 142 143 148 149 151 154 157 159 161 166 168 174 176 179 181 186 187 188 195 198 200 207 212 213 218 219 223 227 228 229 a 2 3 4 6 9 14 30 32 38 40 41 45 46 47 58 61 65 71 74 77 79 84 85 86 87 88 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 137 140 141 142 143 148 149 151 154 157 159 161 166 167 168 174 176 179 186 187 188 195 198 200 207 212 213 218 219 223 227 228 229 a 2 3 4 6 14 30 32 38 40 41 45 46 47 58 61 65 71 74 77 79 84 85 86 87 88 89 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 137 140 141 142 143 148 149 151 154 157 159 161 166 167 168 174 176 179 186 187 188 195 198 200 207 212 213 218 219 223 227 228 229 a 2 3 4 6 14 30 32 38 39 40 41 45 46 47 58 61 65 71 74 77 79 84 85 86 87 88 89 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 137 140 141 142 143 148 149 151 154 157 159 161 166 167 168 174 176 179 186 187 195 198 200 207 212 213 218 219 223 227 228 229 a 2 3 4 6 14 28 30 32 38 39 40 41 45 46 47 58 61 65 71 74 77 79 84 85 86 87 88 89 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 140 141 142 143 148 149 151 154 157 159 161 166 167 168 174 176 179 186 187 195 198 200 207 212 213 218 219 223 227 228 229 a 2 3 4 6 14 19 28 30 32 38 39 40 41 45 46 47 58 61 65 71 74 77 79 84 85 87 88 89 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 140 141 142 143 148 149 151 154 157 159 161 166 167 168 174 176 179 186 187 195 198 200 207 212 213 218 219 223 227 228 229 a 2 3 4 6 14 19 28 30 32 38 39 40 41 45 46 47 58 61 65 71 74 77 79 84 87 88 89 95 96 100 101 102 105 111 113 115 119 124 127 130 131 136 140 141 142 143 148 149 151 154 157 159 161 166 167 168 174 176 179 183 186 187 195 198 200 207 212 213 218 219 223 227 228 229 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance018_graph003.col /benchmark/random_instance/random_instance018_graph003_01.dat" User time (seconds): 1023.61 System time (seconds): 29.90 Percent of CPU this job got: 288% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.79 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): 31195892 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 9356913 Voluntary context switches: 9948825 Involuntary context switches: 2616 Swaps: 0 File system inputs: 0 File system outputs: 304 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:01:40 2023]