#BEGIN: [Mon Sep 4 11:52:58 2023] #HOST: s05 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance017_graph005.col #INSTANCE2: /benchmark/random_instance/random_instance017_graph005_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_graph005.col /benchmark/random_instance/random_instance017_graph005_01.dat c /benchmark/random_instance/random_instance017_graph005.col c /benchmark/random_instance/random_instance017_graph005_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.058 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 131 41 140 62 79 160 110 3 60 11 172 164 15 185 184 74 213 166 189 113 181 122 205 212 217 133 65 102 111 28 50 22 108 68 6 96 124 45 33 47 200 4 13 196 29 163 202 208 137 192 73 126 7 8 59 129 209 119 101 206 165 195 58 117 84 93 150 75 132 56 t 47 71 156 159 140 126 220 18 148 49 110 13 11 142 106 19 177 101 152 137 96 122 69 165 178 211 195 32 146 23 53 207 63 29 26 6 179 56 39 14 203 99 30 90 147 44 107 210 176 157 155 199 17 57 43 129 104 163 181 151 134 10 219 143 208 25 196 79 132 92 a YES a 3 4 6 7 8 11 13 15 22 28 29 33 41 45 47 50 56 58 59 60 62 65 68 73 74 75 79 84 93 96 101 102 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 150 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 206 208 209 212 213 217 a 3 4 6 7 8 11 13 15 18 22 28 29 33 41 45 47 50 56 58 59 60 62 65 68 73 74 75 79 84 93 96 101 102 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 150 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 208 209 212 213 217 a 3 4 6 7 8 11 13 15 18 22 28 29 33 41 45 47 50 56 58 59 60 62 65 68 74 75 79 84 93 96 101 102 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 150 155 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 208 209 212 213 217 a 3 4 6 7 8 11 13 15 18 22 28 29 33 41 45 47 50 56 58 59 60 62 65 68 74 75 79 84 93 95 96 101 102 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 150 155 160 163 164 165 166 172 181 184 185 189 192 195 200 202 205 208 209 212 213 217 a 3 4 6 7 8 11 13 15 18 22 28 29 33 41 45 47 50 56 58 59 60 62 65 68 74 75 79 84 93 95 96 97 101 102 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 150 160 163 164 165 166 172 181 184 185 189 192 195 200 202 205 208 209 212 213 217 a 3 4 6 7 8 11 13 15 18 22 28 29 33 41 45 47 50 56 58 59 60 62 65 68 73 74 75 79 84 93 96 97 101 102 108 110 111 113 117 119 122 124 126 129 131 132 133 137 140 150 160 163 164 165 166 172 181 184 185 189 192 195 200 202 205 208 209 212 213 217 a 3 4 6 7 8 11 13 15 18 22 28 29 33 41 45 47 50 56 58 59 60 62 65 68 73 74 75 79 84 93 96 97 101 102 108 110 111 113 116 119 122 124 126 129 131 132 133 137 140 150 160 163 164 165 166 172 181 184 185 189 192 195 200 202 205 208 209 212 213 217 a 4 6 7 8 11 13 15 18 22 28 29 33 41 45 47 50 56 58 59 60 62 65 68 73 74 75 79 84 93 96 97 101 102 108 110 111 113 116 119 122 124 126 129 131 132 133 137 140 146 150 160 163 164 165 166 172 181 184 185 189 192 195 200 202 205 208 209 212 213 217 a 4 6 7 8 11 13 15 18 22 28 29 33 41 45 47 50 56 58 59 60 62 65 68 72 73 75 79 84 93 96 97 101 102 108 110 111 113 116 119 122 124 126 129 131 132 133 137 140 146 150 160 163 164 165 166 172 181 184 185 189 192 195 200 202 205 208 209 212 213 217 a 4 6 7 8 11 13 15 18 22 28 29 33 41 45 47 50 56 58 59 60 62 65 68 72 73 75 79 84 93 96 97 101 102 108 110 111 113 116 119 122 124 129 131 132 133 137 140 146 150 160 163 164 165 166 172 181 184 185 189 192 195 200 201 202 205 208 209 212 213 217 a 4 6 7 8 11 13 15 18 22 28 29 32 33 41 45 47 50 56 58 59 60 62 65 68 72 73 75 79 84 93 96 97 101 102 108 110 111 113 116 119 122 124 129 131 132 137 140 146 150 160 163 164 165 166 172 181 184 185 189 192 195 200 201 202 205 208 209 212 213 217 a 4 6 7 8 11 13 15 18 22 28 29 31 32 33 41 45 47 50 56 58 59 60 62 65 68 72 73 75 79 84 93 96 97 101 102 108 110 111 113 116 119 124 129 131 132 137 140 146 150 160 163 164 165 166 172 181 184 185 189 192 195 200 201 202 205 208 209 212 213 217 a 4 6 7 8 11 13 15 18 22 28 29 31 33 41 45 47 50 56 58 59 60 62 65 68 72 73 75 79 84 93 96 97 101 102 108 110 111 113 116 119 121 124 129 131 132 137 140 146 150 160 163 164 165 166 172 181 184 185 189 192 195 200 201 202 205 208 209 212 213 217 a 4 7 8 11 13 15 18 22 28 29 31 33 41 45 47 50 56 58 59 60 62 65 68 72 73 75 79 84 91 93 96 97 101 102 108 110 111 113 116 119 121 124 129 131 132 137 140 146 150 160 163 164 165 166 172 181 184 185 189 192 195 200 201 202 205 208 209 212 213 217 a 4 7 8 11 13 15 18 22 28 29 31 33 41 45 47 50 56 58 59 60 62 65 68 72 73 75 79 84 91 93 96 97 101 102 108 110 111 113 116 119 121 124 126 129 131 132 137 140 146 150 160 163 164 165 166 172 181 184 185 189 192 195 200 202 205 208 209 212 213 217 a 4 7 8 11 13 15 18 22 28 29 31 32 33 41 45 47 50 56 58 59 60 62 65 68 72 73 75 79 84 91 93 96 97 101 102 108 110 111 113 116 119 124 126 129 131 132 137 140 146 150 160 163 164 165 166 172 181 184 185 189 192 195 200 202 205 208 209 212 213 217 a 4 7 8 11 13 15 18 22 28 29 30 31 32 33 41 45 47 50 56 58 59 60 62 65 68 72 73 75 79 84 91 93 96 97 101 102 110 111 113 116 119 124 126 129 131 132 137 140 146 150 160 163 164 165 166 172 181 184 185 189 192 195 200 202 205 208 209 212 213 217 a 4 7 8 11 13 15 18 22 28 29 30 32 33 41 45 47 50 56 58 59 60 62 65 68 72 73 75 79 84 91 93 96 97 101 102 110 111 113 116 119 122 124 126 129 131 132 137 140 146 150 160 163 164 165 166 172 181 184 185 189 192 195 200 202 205 208 209 212 213 217 a 4 7 8 11 13 15 18 22 28 29 30 32 33 41 45 47 50 56 58 59 60 62 65 68 72 73 75 79 84 91 93 96 97 101 102 110 111 113 119 122 124 126 129 131 132 137 140 146 150 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 208 209 212 213 217 a 4 7 8 11 13 15 18 22 28 29 30 32 33 41 45 47 50 56 59 60 62 65 68 72 73 75 79 84 91 93 96 97 101 102 110 111 113 119 122 124 126 129 131 132 137 140 146 150 159 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 208 209 212 213 217 a 4 7 8 11 13 15 18 22 28 29 30 32 33 41 47 50 56 59 60 62 65 68 72 73 75 79 84 91 93 96 97 101 102 110 111 113 119 122 124 126 129 131 132 137 140 146 147 150 159 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 208 209 212 213 217 a 4 7 8 11 13 15 18 22 28 29 30 32 33 41 47 50 56 59 60 62 65 68 73 75 79 84 91 93 96 97 101 102 110 111 113 119 122 124 126 129 131 132 137 140 146 147 148 150 159 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 208 209 212 213 217 a 4 7 8 11 13 15 17 18 22 28 29 30 32 33 41 47 50 56 59 60 62 65 68 73 75 79 84 91 93 96 97 101 102 110 111 113 119 122 124 126 129 131 132 137 140 146 147 148 150 159 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 208 209 212 213 a 4 6 7 8 11 13 15 17 18 22 28 29 30 32 33 41 47 50 56 59 60 62 65 68 73 75 79 84 93 96 97 101 102 110 111 113 119 122 124 126 129 131 132 137 140 146 147 148 150 159 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 208 209 212 213 a 4 6 7 10 11 13 15 17 18 22 28 29 30 32 33 41 47 50 56 59 60 62 65 68 73 75 79 84 93 96 97 101 102 110 111 113 119 122 124 126 129 131 132 137 140 146 147 148 150 159 160 163 164 165 166 172 181 184 185 189 192 195 196 200 202 205 208 209 212 213 a 4 6 7 10 11 13 15 17 18 22 28 29 30 32 33 41 47 50 56 59 60 62 65 68 73 75 79 84 90 93 96 97 101 102 110 111 113 119 122 124 126 129 131 132 137 140 146 147 148 150 159 160 163 164 165 166 181 184 185 189 192 195 196 200 202 205 208 209 212 213 a 4 6 7 10 11 13 15 17 18 22 28 29 30 32 33 41 47 50 56 59 60 62 68 73 75 79 84 90 93 96 97 101 102 110 111 113 119 122 124 126 129 131 132 137 140 146 147 148 150 159 160 163 164 165 166 181 184 185 189 192 195 196 200 202 203 205 208 209 212 213 a 4 6 7 10 11 13 15 17 18 22 28 29 30 32 33 41 47 50 56 59 60 62 68 73 75 79 84 90 93 96 97 101 102 110 111 113 119 122 124 126 129 132 137 140 146 147 148 150 159 160 163 164 165 166 177 181 184 185 189 192 195 196 200 202 203 205 208 209 212 213 a 4 6 7 10 11 13 15 17 18 22 28 29 30 32 33 41 47 50 56 59 60 62 68 73 75 79 84 90 93 96 97 101 102 110 111 113 119 122 124 126 129 132 134 137 140 146 147 148 150 159 160 163 164 165 166 177 181 184 185 189 192 195 196 200 202 203 205 208 212 213 a 4 6 7 10 11 13 15 17 18 28 29 30 32 33 41 47 50 56 59 60 62 68 73 75 79 84 90 93 96 97 101 102 110 111 113 119 122 124 126 129 132 134 137 140 146 147 148 150 156 159 160 163 164 165 166 177 181 184 185 189 192 195 196 200 202 203 205 208 212 213 a 4 6 7 10 11 13 15 17 18 28 29 30 32 33 41 47 50 56 59 60 62 68 73 75 79 84 90 93 96 97 101 102 104 110 111 113 119 122 124 126 129 132 134 137 140 146 147 148 150 156 159 160 163 165 166 177 181 184 185 189 192 195 196 200 202 203 205 208 212 213 a 4 6 7 10 11 13 15 17 18 28 29 30 32 33 41 47 50 56 59 60 62 68 73 75 79 84 90 93 96 97 101 102 104 110 111 113 119 122 124 126 129 132 134 137 140 146 147 148 150 156 159 160 163 165 166 177 181 184 185 189 192 195 196 200 202 203 205 208 213 220 a 4 6 7 10 11 13 15 17 18 28 29 30 32 33 41 47 50 56 59 60 62 68 73 75 79 84 90 93 96 101 102 104 110 111 113 119 122 124 126 129 132 134 137 140 146 147 148 150 156 159 160 163 165 166 177 181 184 185 189 192 195 196 199 200 202 203 205 208 213 220 a 4 6 7 10 11 13 15 17 18 28 29 30 32 33 41 47 50 56 59 60 62 68 73 75 79 84 90 93 96 101 102 104 110 111 113 119 122 124 126 129 132 134 137 140 146 147 148 150 156 159 160 163 165 176 177 181 184 185 189 192 195 196 199 200 202 203 205 208 213 220 a 4 6 7 10 11 13 15 17 18 28 29 30 32 33 41 47 50 56 59 60 62 68 73 75 79 84 90 93 96 101 102 104 110 111 119 122 124 126 129 132 134 137 140 146 147 148 150 156 159 160 163 165 176 177 181 184 185 189 192 195 196 199 200 202 203 205 207 208 213 220 a 4 6 7 10 11 13 15 17 18 28 29 30 32 33 41 47 50 56 59 60 62 68 75 79 84 90 93 96 101 102 104 110 111 119 122 124 126 129 132 134 137 140 146 147 148 150 155 156 159 160 163 165 176 177 181 184 185 189 192 195 196 199 200 202 203 205 207 208 213 220 a 4 6 7 10 11 13 15 17 18 25 29 30 32 33 41 47 50 56 59 60 62 68 75 79 84 90 93 96 101 102 104 110 111 119 122 124 126 129 132 134 137 140 146 147 148 150 155 156 159 160 163 165 176 177 181 184 185 189 192 195 196 199 200 202 203 205 207 208 213 220 a 4 6 7 10 11 13 15 17 18 25 29 30 32 33 41 47 49 50 56 59 60 62 68 75 79 84 90 93 96 101 102 104 110 111 119 122 124 126 129 132 134 137 140 146 147 148 155 156 159 160 163 165 176 177 181 184 185 189 192 195 196 199 200 202 203 205 207 208 213 220 a 4 6 7 10 11 13 15 17 18 25 29 30 32 33 39 41 47 49 50 56 59 60 62 68 75 79 90 93 96 101 102 104 110 111 119 122 124 126 129 132 134 137 140 146 147 148 155 156 159 160 163 165 176 177 181 184 185 189 192 195 196 199 200 202 203 205 207 208 213 220 a 4 6 7 10 11 13 15 17 18 25 29 30 32 33 39 41 47 49 50 56 60 62 68 75 79 90 93 96 101 102 104 110 111 119 122 124 126 129 132 134 137 140 146 147 148 151 155 156 159 160 163 165 176 177 181 184 185 189 192 195 196 199 200 202 203 205 207 208 213 220 a 4 6 7 10 11 13 15 17 18 25 29 30 32 33 39 41 47 49 50 56 60 62 68 75 79 90 93 96 101 102 104 110 111 119 122 124 126 129 132 134 137 140 146 147 148 151 155 156 159 160 163 165 176 177 179 181 184 185 192 195 196 199 200 202 203 205 207 208 213 220 a 4 6 7 10 11 13 15 17 18 25 29 30 32 33 39 41 43 47 49 50 56 60 68 75 79 90 93 96 101 102 104 110 111 119 122 124 126 129 132 134 137 140 146 147 148 151 155 156 159 160 163 165 176 177 179 181 184 185 192 195 196 199 200 202 203 205 207 208 213 220 a 4 6 7 10 11 13 15 17 18 25 29 30 32 33 39 41 43 47 49 50 56 60 68 75 79 90 93 96 101 102 104 107 110 111 122 124 126 129 132 134 137 140 146 147 148 151 155 156 159 160 163 165 176 177 179 181 184 185 192 195 196 199 200 202 203 205 207 208 213 220 a 4 6 7 10 11 13 15 17 18 25 29 30 32 33 39 41 43 47 49 50 56 60 68 75 79 90 93 96 101 102 104 107 110 111 122 126 129 132 134 137 140 146 147 148 151 155 156 157 159 160 163 165 176 177 179 181 184 185 192 195 196 199 200 202 203 205 207 208 213 220 a 4 6 7 10 11 13 17 18 25 26 29 30 32 33 39 41 43 47 49 50 56 60 68 75 79 90 93 96 101 102 104 107 110 111 122 126 129 132 134 137 140 146 147 148 151 155 156 157 159 160 163 165 176 177 179 181 184 185 192 195 196 199 200 202 203 205 207 208 213 220 a 4 6 7 10 11 13 17 18 25 26 29 30 32 33 39 41 43 47 49 50 56 60 68 71 75 79 90 93 96 101 102 104 107 110 111 122 126 129 132 134 137 140 146 147 148 151 155 156 157 159 160 163 165 176 177 179 181 185 192 195 196 199 200 202 203 205 207 208 213 220 a 4 6 7 10 11 13 17 18 25 26 29 30 32 33 39 41 43 47 49 56 60 68 69 71 75 79 90 93 96 101 102 104 107 110 111 122 126 129 132 134 137 140 146 147 148 151 155 156 157 159 160 163 165 176 177 179 181 185 192 195 196 199 200 202 203 205 207 208 213 220 a 4 6 7 10 11 13 14 17 18 25 26 29 30 32 33 39 41 43 47 49 56 60 68 69 71 75 79 90 96 101 102 104 107 110 111 122 126 129 132 134 137 140 146 147 148 151 155 156 157 159 160 163 165 176 177 179 181 185 192 195 196 199 200 202 203 205 207 208 213 220 a 4 6 7 10 11 13 14 17 18 25 26 29 30 32 33 39 41 43 44 47 49 56 60 68 69 71 75 79 90 96 101 102 104 107 110 111 122 126 129 132 134 137 140 146 147 148 151 155 156 157 159 163 165 176 177 179 181 185 192 195 196 199 200 202 203 205 207 208 213 220 a 4 6 7 10 11 13 14 17 18 23 25 26 29 30 32 33 39 41 43 44 47 49 56 60 68 69 71 75 79 90 96 101 102 104 107 110 111 122 126 129 132 134 137 140 146 147 148 151 155 156 157 159 163 165 176 177 179 181 185 195 196 199 200 202 203 205 207 208 213 220 a 4 6 7 10 11 13 14 17 18 19 23 25 26 29 30 32 33 39 41 43 44 47 49 56 60 68 69 71 75 79 90 96 101 102 104 107 110 111 122 126 129 132 134 137 140 146 147 148 151 155 156 157 159 163 165 176 177 179 181 185 195 196 199 200 202 203 205 207 208 220 a 4 6 7 10 11 13 14 17 18 19 23 25 26 29 30 32 33 39 41 43 44 47 49 56 60 63 68 69 71 75 79 90 96 101 102 104 107 110 122 126 129 132 134 137 140 146 147 148 151 155 156 157 159 163 165 176 177 179 181 185 195 196 199 200 202 203 205 207 208 220 a 4 6 7 10 11 13 14 17 18 19 23 25 26 29 30 32 33 39 43 44 47 49 56 60 63 68 69 71 75 79 90 96 101 102 104 107 110 122 126 129 132 134 137 140 146 147 148 151 155 156 157 159 163 165 176 177 179 181 185 195 196 199 200 202 203 205 207 208 219 220 a 4 6 7 10 11 13 14 17 18 19 23 25 26 29 30 32 33 39 43 44 47 49 56 60 63 68 69 71 75 79 90 96 101 102 104 107 110 122 126 129 132 134 137 140 146 147 148 151 155 156 157 159 163 165 176 177 178 179 181 185 195 196 199 200 203 205 207 208 219 220 a 6 7 10 11 13 14 17 18 19 23 25 26 29 30 32 33 39 43 44 47 49 56 60 63 68 69 71 75 79 90 96 101 102 104 107 110 122 126 129 132 134 137 140 142 146 147 148 151 155 156 157 159 163 165 176 177 178 179 181 185 195 196 199 200 203 205 207 208 219 220 a 6 7 10 11 13 14 17 18 19 23 25 26 29 30 32 33 39 43 44 47 49 56 60 63 68 69 71 75 79 90 96 101 102 104 107 110 122 126 129 132 134 137 140 142 146 147 148 151 155 156 157 159 163 165 176 177 178 179 181 185 195 196 199 203 205 207 208 211 219 220 a 6 7 10 11 13 14 17 18 19 23 25 26 29 30 32 33 39 43 44 47 49 53 56 63 68 69 71 75 79 90 96 101 102 104 107 110 122 126 129 132 134 137 140 142 146 147 148 151 155 156 157 159 163 165 176 177 178 179 181 185 195 196 199 203 205 207 208 211 219 220 a 6 7 10 11 13 14 17 18 19 23 25 26 29 30 32 33 39 43 44 47 49 53 56 63 68 69 71 75 79 90 92 96 101 102 104 107 110 122 126 129 132 134 137 140 142 146 147 148 151 155 156 157 159 163 165 176 177 178 179 181 185 195 196 199 203 207 208 211 219 220 a 6 10 11 13 14 17 18 19 23 25 26 29 30 32 33 39 43 44 47 49 53 56 63 68 69 71 75 79 90 92 96 99 101 102 104 107 110 122 126 129 132 134 137 140 142 146 147 148 151 155 156 157 159 163 165 176 177 178 179 181 185 195 196 199 203 207 208 211 219 220 a 6 10 11 13 14 17 18 19 23 25 26 29 30 32 33 39 43 44 47 49 53 56 63 68 69 71 75 79 90 92 96 99 101 102 104 107 110 122 126 129 132 134 137 140 142 143 146 147 148 151 155 156 157 159 163 165 176 177 178 179 181 195 196 199 203 207 208 211 219 220 a 6 10 11 13 14 17 18 19 23 25 26 29 30 32 33 39 43 44 47 49 53 56 57 63 68 69 71 75 79 90 92 96 99 101 104 107 110 122 126 129 132 134 137 140 142 143 146 147 148 151 155 156 157 159 163 165 176 177 178 179 181 195 196 199 203 207 208 211 219 220 a 6 10 11 13 14 17 18 19 23 25 26 29 30 32 33 39 43 44 47 49 53 56 57 63 69 71 75 79 90 92 96 99 101 104 106 107 110 122 126 129 132 134 137 140 142 143 146 147 148 151 155 156 157 159 163 165 176 177 178 179 181 195 196 199 203 207 208 211 219 220 a 6 10 11 13 14 17 18 19 23 25 26 29 30 32 39 43 44 47 49 53 56 57 63 69 71 75 79 90 92 96 99 101 104 106 107 110 122 126 129 132 134 137 140 142 143 146 147 148 151 152 155 156 157 159 163 165 176 177 178 179 181 195 196 199 203 207 208 211 219 220 a 6 10 11 13 14 17 18 19 23 25 26 29 30 32 39 43 44 47 49 53 56 57 63 69 71 79 90 92 96 99 101 104 106 107 110 122 126 129 132 134 137 140 142 143 146 147 148 151 152 155 156 157 159 163 165 176 177 178 179 181 195 196 199 203 207 208 210 211 219 220 c Step: 63 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance017_graph005.col /benchmark/random_instance/random_instance017_graph005_01.dat" User time (seconds): 1146.45 System time (seconds): 11.76 Percent of CPU this job got: 318% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:03.63 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): 18273436 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 5957178 Voluntary context switches: 2194718 Involuntary context switches: 2753 Swaps: 0 File system inputs: 0 File system outputs: 296 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 11:59:02 2023]