#BEGIN: [Mon Sep 4 14:17:59 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance017_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance017_graph002_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/random_instance/random_instance017_graph002.col /benchmark/random_instance/random_instance017_graph002_01.dat c /benchmark/random_instance/random_instance017_graph002.col c /benchmark/random_instance/random_instance017_graph002_01.dat *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.013 seconds *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.000 seconds s 27 198 201 34 83 193 131 166 186 120 59 47 183 65 179 72 220 43 147 194 116 66 85 41 2 168 144 35 62 132 154 24 68 4 213 200 8 216 187 167 75 100 42 38 32 71 188 19 180 61 33 139 122 114 6 143 90 81 22 7 111 137 181 26 88 164 5 196 60 t 156 61 198 191 202 131 212 162 44 158 51 119 137 50 148 12 147 153 42 108 129 64 71 99 66 19 207 83 216 116 139 163 187 179 174 84 90 31 117 29 160 63 181 112 5 110 10 188 159 27 59 20 169 8 140 197 210 189 18 164 199 88 193 79 6 176 142 48 73 a YES a 2 4 5 6 7 8 19 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 139 143 144 147 154 164 166 167 168 179 180 181 183 186 187 188 193 194 196 198 200 201 213 216 220 a 2 4 5 6 7 8 19 22 24 26 27 32 33 34 35 41 42 43 47 59 60 61 62 65 66 68 71 72 75 78 81 83 85 88 90 100 111 114 116 120 122 131 132 137 139 143 144 147 154 164 166 167 168 179 180 181 183 186 187 188 193 194 196 198 200 201 213 216 220 a 2 4 5 6 7 8 17 19 22 24 26 27 32 33 34 35 41 42 43 47 59 60 61 62 65 66 68 71 72 75 78 81 83 85 88 90 100 111 114 116 120 122 131 132 137 139 143 144 147 154 164 166 167 168 179 180 181 183 186 187 193 194 196 198 200 201 213 216 220 a 2 4 5 6 7 8 17 19 22 24 26 27 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 139 143 144 147 154 164 166 167 168 179 180 181 183 186 187 193 194 196 198 200 201 213 216 220 a 2 4 5 6 7 8 17 19 22 24 26 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 100 111 114 116 120 122 131 132 137 139 143 144 147 154 155 164 166 167 168 179 180 181 183 186 187 193 194 196 198 200 201 213 216 220 a 2 4 5 6 7 17 19 22 24 26 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 98 100 111 114 116 120 122 131 132 137 139 143 144 147 154 155 164 166 167 168 179 180 181 183 186 187 193 194 196 198 200 201 213 216 220 a 2 4 5 6 7 19 22 24 26 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 98 100 111 114 116 120 122 131 132 137 139 143 144 147 154 155 164 166 167 168 179 180 181 183 186 187 188 193 194 196 198 200 201 213 216 220 a 2 4 5 6 7 19 22 24 26 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 98 100 111 114 116 120 122 131 132 137 139 143 144 147 154 155 157 164 166 167 168 179 180 181 183 186 187 188 193 194 196 198 200 201 216 220 a 2 4 5 6 7 19 22 26 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 98 100 111 114 116 120 122 131 132 137 139 143 144 147 154 155 157 164 165 166 167 168 179 180 181 183 186 187 188 193 194 196 198 200 201 216 220 a 2 4 5 6 7 17 19 22 26 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 98 100 111 114 116 120 122 131 132 137 139 143 144 147 154 155 157 164 165 166 167 168 179 180 181 183 186 187 193 194 196 198 200 201 216 220 a 2 4 5 6 7 17 19 22 26 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 98 100 111 114 116 120 122 131 132 137 139 141 143 144 147 154 155 157 164 165 167 168 179 180 181 183 186 187 193 194 196 198 200 201 216 220 a 2 4 5 6 7 17 19 22 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 98 100 111 114 116 120 122 128 131 132 137 139 141 143 144 147 154 155 157 164 165 167 168 179 180 181 183 186 187 193 194 196 198 200 201 216 220 a 2 4 5 6 7 17 19 22 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 68 71 72 75 81 83 85 88 90 98 100 111 114 116 120 122 128 131 132 137 139 141 143 144 147 154 155 164 165 167 168 179 180 181 183 186 187 193 194 196 198 200 201 213 216 220 a 2 4 5 6 7 17 19 22 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 71 72 75 81 83 85 88 90 98 100 111 114 116 120 122 128 131 132 137 139 141 143 144 147 154 155 164 165 167 168 179 180 181 183 186 187 193 194 196 197 198 200 201 213 216 220 a 2 4 5 6 7 17 19 22 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 71 72 75 81 83 85 88 90 98 100 111 114 116 120 122 128 131 132 137 139 141 143 144 147 154 155 157 164 165 167 168 179 180 181 183 186 187 193 194 196 197 198 200 201 216 220 a 2 4 5 6 7 17 19 22 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 71 72 75 81 83 88 90 98 100 111 114 116 120 122 128 131 132 137 139 141 143 144 147 154 155 157 164 165 166 167 168 179 180 181 183 186 187 193 194 196 197 198 200 201 216 220 a 2 4 5 6 7 17 19 22 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 71 72 74 75 81 83 88 90 98 100 111 114 116 120 122 128 131 132 137 139 141 143 144 147 154 155 157 164 165 166 167 168 179 180 181 183 186 187 193 194 196 197 198 201 216 220 a 2 4 5 6 7 17 19 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 71 72 74 75 81 83 88 90 98 100 111 114 116 120 122 128 131 132 137 139 141 143 144 147 154 155 157 164 165 166 167 168 179 180 181 183 186 187 193 194 196 197 198 201 209 216 220 a 2 4 5 6 7 17 19 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 71 72 74 75 81 83 85 88 90 100 111 114 116 120 122 128 131 132 137 139 141 143 144 147 154 155 157 164 165 166 167 168 179 180 181 183 186 187 193 194 196 197 198 201 209 216 220 a 2 4 5 6 7 17 19 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 71 72 74 75 81 83 85 88 90 100 111 114 116 120 128 131 132 137 139 140 141 143 144 147 154 155 157 164 165 166 167 168 179 180 181 183 186 187 193 194 196 197 198 201 209 216 220 a 2 4 5 6 7 17 19 32 33 34 35 38 41 42 43 47 59 60 61 62 65 66 71 72 74 75 81 83 85 88 90 98 100 111 114 116 120 128 131 132 137 139 140 141 143 144 147 154 155 157 164 165 166 167 168 179 180 181 183 186 187 193 194 197 198 201 209 216 220 a 2 4 5 6 7 17 19 32 33 34 35 38 41 42 43 47 59 61 62 65 66 71 72 74 75 81 83 84 85 88 90 98 100 111 114 116 120 128 131 132 137 139 140 141 143 144 147 154 155 157 164 165 166 167 168 179 180 181 183 186 187 193 194 197 198 201 209 216 220 a 2 4 5 6 7 8 17 19 32 33 34 35 38 41 42 43 47 59 61 62 65 66 71 72 74 75 81 83 84 85 88 90 100 111 114 116 120 128 131 132 137 139 140 141 143 144 147 154 155 157 164 165 166 167 168 179 180 181 183 186 187 193 194 197 198 201 209 216 220 a 2 4 5 6 7 8 17 19 29 32 33 34 35 38 41 42 43 47 59 61 62 65 66 71 72 74 75 81 83 84 85 88 90 100 111 114 116 120 128 131 132 137 139 140 141 143 144 147 154 157 164 165 166 167 168 179 180 181 183 186 187 193 194 197 198 201 209 216 220 a 2 4 5 6 7 8 17 19 29 32 33 34 35 38 41 42 43 47 59 61 62 65 66 71 72 74 75 81 83 84 85 88 90 100 111 114 116 120 128 131 132 137 139 140 141 143 144 147 154 157 163 164 165 166 167 168 179 180 181 183 186 187 193 194 197 198 209 216 220 a 2 4 5 6 7 8 17 19 29 32 33 34 35 38 41 42 43 47 59 61 62 65 66 71 72 74 75 81 83 84 85 88 90 100 111 114 116 120 128 131 132 137 139 140 141 143 144 147 154 157 163 164 165 166 167 168 179 180 181 186 187 193 194 197 198 199 209 216 220 a 2 4 5 6 7 8 17 19 29 32 33 34 35 38 41 42 43 47 59 61 62 65 66 71 72 74 75 81 83 84 85 88 90 100 111 114 116 119 128 131 132 137 139 140 141 143 144 147 154 157 163 164 165 166 167 168 179 180 181 186 187 193 194 197 198 199 209 216 220 a 2 4 5 6 7 8 17 19 29 32 33 34 35 38 41 42 43 47 59 61 62 65 66 71 72 74 75 81 83 84 88 90 100 111 114 116 119 128 131 132 137 139 140 141 143 144 147 154 157 163 164 165 166 167 168 179 180 181 186 187 189 193 194 197 198 199 209 216 220 a 2 4 5 6 7 8 17 19 29 32 33 34 35 38 41 42 43 59 61 62 65 66 71 72 74 75 81 83 84 88 90 100 111 114 116 119 128 131 132 137 139 140 141 143 144 147 154 156 157 163 164 165 166 167 168 179 180 181 186 187 189 193 194 197 198 199 209 216 220 a 2 4 5 6 7 8 17 19 27 29 32 33 34 35 38 41 42 43 59 61 62 65 66 71 72 74 75 81 83 84 88 90 100 111 114 116 119 131 132 137 139 140 141 143 144 147 154 156 157 163 164 165 166 167 168 179 180 181 186 187 189 193 194 197 198 199 209 216 220 a 2 4 5 6 8 17 19 27 29 32 33 34 35 38 41 42 43 59 61 62 65 66 71 72 74 75 81 83 84 88 90 100 111 114 116 119 131 132 137 139 140 141 143 144 147 154 156 157 158 163 164 165 166 167 168 179 180 181 186 187 189 193 194 197 198 199 209 216 220 a 4 5 6 8 17 19 27 29 32 33 34 35 38 41 42 43 59 61 62 65 66 71 72 74 75 81 83 84 88 90 100 111 114 116 119 131 132 137 139 140 141 143 144 147 153 154 156 157 158 163 164 165 166 167 168 179 180 181 186 187 189 193 194 197 198 199 209 216 220 a 4 5 6 8 17 19 27 29 32 33 34 35 38 41 42 43 59 61 62 65 66 71 72 74 75 81 83 84 88 90 100 111 114 116 119 131 132 137 139 140 141 142 143 147 153 154 156 157 158 163 164 165 166 167 168 179 180 181 186 187 189 193 194 197 198 199 209 216 220 a 4 5 6 8 17 19 27 29 32 33 34 35 38 41 42 59 61 62 65 66 71 72 74 75 81 83 84 88 90 100 111 112 114 116 119 131 132 137 139 140 141 142 143 147 153 154 156 157 158 163 164 165 166 167 168 179 180 181 186 187 189 193 194 197 198 199 209 216 220 a 4 5 6 8 17 19 27 29 32 33 34 35 38 41 42 48 59 61 62 66 71 72 74 75 81 83 84 88 90 100 111 112 114 116 119 131 132 137 139 140 141 142 143 147 153 154 156 157 158 163 164 165 166 167 168 179 180 181 186 187 189 193 194 197 198 199 209 216 220 a 4 5 6 8 17 19 27 29 32 33 34 35 38 41 42 48 59 61 62 63 66 71 72 74 75 81 83 84 88 90 100 111 112 114 116 119 131 132 137 139 140 141 142 143 147 153 154 156 157 158 163 164 165 166 167 168 179 180 181 187 189 193 194 197 198 199 209 216 220 a 4 5 6 8 17 19 27 29 32 33 34 35 38 41 42 48 59 61 62 63 64 66 71 72 74 75 81 83 84 88 90 100 112 114 116 119 131 132 137 139 140 141 142 143 147 153 154 156 157 158 163 164 165 166 167 168 179 180 181 187 189 193 194 197 198 199 209 216 220 a 4 5 6 8 17 19 27 29 32 33 34 35 38 41 42 48 51 59 61 62 63 64 66 71 72 74 75 81 83 84 88 90 100 112 114 116 119 131 132 137 139 140 141 142 143 147 153 154 156 157 158 163 164 165 166 167 168 179 180 181 187 189 193 194 197 198 199 216 220 a 4 5 6 8 19 27 29 32 33 34 35 38 41 42 48 51 59 61 62 63 64 66 71 72 74 75 81 83 84 88 90 100 112 114 116 119 131 132 137 139 140 141 142 143 147 153 154 156 157 158 163 164 165 166 167 168 179 180 181 187 189 193 194 197 198 199 207 216 220 a 4 5 6 8 19 20 27 29 32 33 34 35 38 41 42 48 51 59 61 62 63 64 66 71 72 74 75 81 83 84 88 90 100 112 114 116 119 131 132 137 139 140 141 142 143 147 153 154 156 157 158 163 164 165 166 167 179 180 181 187 189 193 194 197 198 199 207 216 220 a 4 5 6 8 10 19 20 27 29 32 33 34 35 38 41 42 48 51 59 61 62 63 64 66 71 72 74 75 81 83 84 88 90 112 114 116 119 131 132 137 139 140 141 142 143 147 153 154 156 157 158 163 164 165 166 167 179 180 181 187 189 193 194 197 198 199 207 216 220 a 4 5 6 8 10 19 20 27 29 33 34 35 38 41 42 48 51 59 61 62 63 64 66 71 72 74 75 81 83 84 88 90 99 112 114 116 119 131 132 137 139 140 141 142 143 147 153 154 156 157 158 163 164 165 166 167 179 180 181 187 189 193 194 197 198 199 207 216 220 a 4 5 6 8 10 19 20 27 29 34 35 38 41 42 48 51 59 61 62 63 64 66 71 72 74 75 81 83 84 88 90 99 112 114 116 117 119 131 132 137 139 140 141 142 143 147 153 154 156 157 158 163 164 165 166 167 179 180 181 187 189 193 194 197 198 199 207 216 220 a 4 5 6 8 10 18 19 20 27 29 34 35 38 41 42 48 51 59 61 62 63 64 66 71 72 74 75 81 83 84 88 90 99 112 114 116 117 119 131 132 137 139 140 141 142 143 147 153 154 156 157 158 163 164 165 166 167 179 180 181 187 189 193 194 197 198 199 207 216 a 4 5 6 8 10 18 19 20 27 29 34 35 38 41 42 48 50 51 59 61 62 63 64 66 71 72 74 75 81 83 84 88 90 99 112 114 116 117 119 131 132 137 139 140 141 142 143 147 153 154 156 157 158 163 164 165 166 179 180 181 187 189 193 194 197 198 199 207 216 a 4 5 6 8 10 18 19 20 27 29 34 35 38 41 42 48 50 51 59 61 62 63 64 66 71 72 74 75 81 83 84 88 90 99 112 114 116 117 119 131 132 137 139 140 141 142 143 147 153 154 156 157 158 163 164 165 166 176 179 180 181 187 189 193 197 198 199 207 216 a 4 5 6 8 10 18 19 20 27 29 34 35 38 41 42 48 50 51 59 61 62 63 64 66 71 72 74 75 81 83 84 88 90 99 112 114 116 117 119 131 132 137 139 140 141 142 143 147 153 154 156 157 158 163 164 165 169 176 179 180 181 187 189 193 197 198 199 207 216 a 4 5 6 8 10 18 19 20 27 29 35 38 41 42 44 48 50 51 59 61 62 63 64 66 71 72 74 75 81 83 84 88 90 99 112 114 116 117 119 131 132 137 139 140 141 142 143 147 153 154 156 157 158 163 164 165 169 176 179 180 181 187 189 193 197 198 199 207 216 a 4 5 6 8 10 18 19 20 27 29 35 38 41 42 44 48 50 51 59 61 62 63 64 66 71 72 74 75 81 83 84 88 90 99 108 112 114 116 117 119 131 132 137 139 140 141 142 147 153 154 156 157 158 163 164 165 169 176 179 180 181 187 189 193 197 198 199 207 216 a 4 5 6 8 10 18 19 20 27 29 38 41 42 44 48 50 51 59 61 62 63 64 66 71 72 74 75 81 83 84 88 90 99 108 112 114 116 117 119 131 132 137 139 140 141 142 147 153 154 156 157 158 163 164 165 169 176 179 180 181 187 189 193 197 198 199 202 207 216 a 4 5 6 8 10 18 19 20 27 29 38 41 42 44 48 50 51 59 61 62 63 64 66 71 74 75 81 83 84 88 90 99 108 112 114 116 117 119 131 132 137 139 140 141 142 147 148 153 154 156 157 158 163 164 165 169 176 179 180 181 187 189 193 197 198 199 202 207 216 a 4 5 6 8 10 18 19 20 27 29 38 41 42 44 48 50 51 59 61 63 64 66 71 74 75 81 83 84 88 90 99 108 112 114 116 117 119 131 132 137 139 140 141 142 147 148 153 154 156 157 158 160 163 164 165 169 176 179 180 181 187 189 193 197 198 199 202 207 216 a 4 5 6 8 10 18 19 20 27 29 38 42 44 48 50 51 59 61 63 64 66 71 74 75 81 83 84 88 90 99 108 110 112 114 116 117 119 131 132 137 139 140 141 142 147 148 153 154 156 157 158 160 163 164 165 169 176 179 180 181 187 189 193 197 198 199 202 207 216 a 4 5 6 8 10 18 19 20 27 29 38 42 44 48 50 51 59 61 63 64 66 71 74 75 79 81 83 84 88 90 99 108 110 112 114 116 117 119 131 132 137 139 140 142 147 148 153 154 156 157 158 160 163 164 165 169 176 179 180 181 187 189 193 197 198 199 202 207 216 a 4 5 6 8 10 18 19 20 27 29 38 42 44 48 50 51 59 61 63 64 66 71 75 79 81 83 84 88 90 99 108 110 112 114 116 117 119 131 132 137 139 140 142 147 148 153 154 156 157 158 160 163 164 165 169 176 179 180 181 187 188 189 193 197 198 199 202 207 216 a 4 5 6 8 10 18 19 20 27 29 42 44 48 50 51 59 61 63 64 66 71 75 79 81 83 84 88 90 99 108 110 112 114 116 117 119 131 132 137 139 140 142 147 148 153 154 156 157 158 160 163 164 165 169 176 179 180 181 187 188 189 193 197 198 199 202 207 212 216 a 4 5 6 8 10 18 19 20 27 29 42 44 48 50 51 59 61 63 64 66 71 75 79 83 84 88 90 99 108 110 112 114 116 117 119 131 132 137 139 140 142 147 148 153 154 156 157 158 160 163 164 165 169 174 176 179 180 181 187 188 189 193 197 198 199 202 207 212 216 a 4 5 6 8 10 18 19 20 27 29 42 44 48 50 51 59 61 63 64 66 71 79 83 84 88 90 99 108 110 112 114 116 117 119 131 132 137 139 140 142 147 148 153 154 156 157 158 159 160 163 164 165 169 174 176 179 180 181 187 188 189 193 197 198 199 202 207 212 216 a 4 5 6 8 10 18 19 20 27 29 42 44 48 50 51 59 61 63 64 66 71 73 79 83 84 88 90 99 108 110 112 114 116 117 119 131 132 137 139 140 142 147 148 153 154 156 157 158 159 160 163 164 169 174 176 179 180 181 187 188 189 193 197 198 199 202 207 212 216 a 4 5 6 8 10 18 19 20 27 29 31 42 44 48 50 51 59 61 63 64 66 71 73 79 83 84 88 90 99 108 110 112 114 116 117 119 131 137 139 140 142 147 148 153 154 156 157 158 159 160 163 164 169 174 176 179 180 181 187 188 189 193 197 198 199 202 207 212 216 a 5 6 8 10 18 19 20 27 29 31 42 44 48 50 51 59 61 63 64 66 71 73 79 83 84 88 90 99 108 110 112 114 116 117 119 131 137 139 140 142 147 148 153 154 156 157 158 159 160 162 163 164 169 174 176 179 180 181 187 188 189 193 197 198 199 202 207 212 216 a 5 6 8 10 18 19 20 27 29 31 42 44 48 50 51 59 61 63 64 66 71 73 79 83 84 88 90 99 108 110 112 114 116 117 119 131 137 139 140 142 147 148 153 154 156 157 158 159 160 162 163 164 169 174 176 179 181 187 188 189 193 197 198 199 202 207 210 212 216 a 5 6 8 10 12 18 19 20 27 29 31 42 44 48 50 51 59 61 63 64 66 71 73 79 83 84 88 90 99 108 110 112 114 116 117 119 131 137 139 140 142 147 148 153 154 156 158 159 160 162 163 164 169 174 176 179 181 187 188 189 193 197 198 199 202 207 210 212 216 a 5 6 8 10 12 18 19 20 27 29 31 42 44 48 50 51 59 61 63 64 66 71 73 79 83 84 88 90 99 108 110 112 116 117 119 131 137 139 140 142 147 148 153 154 156 158 159 160 162 163 164 169 174 176 179 181 187 188 189 191 193 197 198 199 202 207 210 212 216 a 5 6 8 10 12 18 19 20 27 29 31 42 44 48 50 51 59 61 63 64 66 71 73 79 83 84 88 90 99 108 110 112 116 117 119 129 131 137 139 140 142 147 148 153 156 158 159 160 162 163 164 169 174 176 179 181 187 188 189 191 193 197 198 199 202 207 210 212 216 c Step: 64 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance017_graph002.col /benchmark/random_instance/random_instance017_graph002_01.dat" User time (seconds): 1088.13 System time (seconds): 24.26 Percent of CPU this job got: 305% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.00 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): 18663056 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 6089551 Voluntary context switches: 8536284 Involuntary context switches: 2573 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 14:24:04 2023]