c array.sh: col: /home/froleyks/reconf/2022benchmark/benchmark/color04/wap06a.col c array.sh: dat: /home/froleyks/reconf/2022benchmark/benchmark/color04/wap06a_02.dat c array.sh: name: wap06a_02 c array.sh: task: 196 c array.sh: host: c3n12 c array.sh: uname: Linux c3n12 5.4.0-104-generic #118-Ubuntu SMP Wed Mar 2 19:02:41 UTC 2022 x86_64 x86_64 x86_64 GNU/Linux c array.sh: start: Thu 24 Mar 2022 02:10:26 PM CET c array.sh: noturbo: 1 c array.sh: governor: 32 performance c array.sh: tmp: 1% c 0.0520: solving existent 21701617-196-wap06a_02 c 0.1090: Wrote /tmp/21701617-196-wap06a_02.aag c 0.1550: Wrote /tmp/21701617-196-wap06a_02.aig c 4.5850: Wrote /tmp/21701617-196-wap06a_02.trace c 4.5860: Found solution, Length: 94 s 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 t 24 31 33 37 49 50 57 60 64 72 81 82 83 84 85 86 89 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 934 941 945 a YES a 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 a 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 914 915 916 918 919 920 922 925 928 929 934 938 942 944 945 947 a 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 334 364 370 914 915 916 918 919 920 922 925 928 929 934 938 941 942 944 945 a 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 589 914 915 916 918 919 920 922 925 928 929 934 938 941 942 944 945 a 13 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 914 915 916 918 919 920 922 925 928 929 934 938 941 942 944 945 a 9 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 914 915 916 918 919 920 922 925 928 929 934 938 941 942 944 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 914 915 916 918 919 920 922 925 928 929 934 938 941 942 944 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 914 915 916 918 919 920 922 925 928 929 934 935 938 941 944 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 914 915 916 918 919 920 922 925 928 929 931 934 935 941 944 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 914 915 916 917 918 919 920 922 925 928 929 931 934 935 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 913 914 915 916 917 918 919 920 922 925 928 929 934 935 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 910 913 914 915 916 917 918 920 922 925 928 929 934 935 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 911 913 914 915 916 917 918 920 922 925 928 929 934 935 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 909 913 914 915 916 917 918 920 922 925 928 929 934 935 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 908 909 913 914 916 917 918 920 922 925 928 929 934 935 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 276 364 370 557 589 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 258 276 364 370 557 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 276 364 370 557 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 254 256 258 364 370 557 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 242 243 248 256 258 276 364 370 557 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 243 248 254 256 258 276 364 370 557 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 243 248 254 256 258 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 243 248 253 256 258 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 248 253 256 258 328 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 228 229 237 239 248 253 256 258 328 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 173 174 183 185 188 189 190 192 193 194 199 200 207 220 224 225 227 229 237 239 248 253 256 258 328 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 173 174 183 185 188 189 190 192 193 194 199 200 207 219 220 224 227 229 237 239 248 253 256 258 328 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 173 174 183 185 188 189 190 192 193 194 199 200 207 220 222 224 227 229 237 239 248 253 256 258 328 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 173 174 183 185 188 189 190 192 193 194 199 200 207 211 220 224 227 229 237 239 248 253 256 258 328 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 173 174 183 185 188 189 190 192 193 194 199 200 207 214 220 224 227 229 237 239 248 253 256 258 328 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 173 174 183 185 188 189 190 192 193 194 199 200 207 216 220 224 227 229 237 239 248 253 256 258 328 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 173 174 183 185 188 189 190 192 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 173 174 183 185 188 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 173 174 183 185 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 165 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 159 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 158 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 155 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 154 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 153 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 156 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 13 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 156 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 9 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 156 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 9 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 153 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 13 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 153 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 13 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 9 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 914 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 149 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 147 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 920 922 925 928 929 934 941 945 a 31 47 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 920 922 925 928 929 934 941 945 a 31 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 143 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 920 922 925 928 929 934 941 945 a 31 43 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 920 922 925 928 929 934 941 945 a 31 44 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 920 922 925 928 929 934 941 945 a 31 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 136 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 920 922 925 928 929 934 941 945 a 31 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 140 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 920 922 925 928 929 934 941 945 a 31 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 144 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 920 922 925 928 929 934 941 945 a 31 45 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 920 922 925 928 929 934 941 945 a 31 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 134 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 920 922 925 928 929 934 941 945 a 31 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 920 922 925 928 929 934 941 945 a 31 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 121 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 922 925 928 929 934 941 945 a 31 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 120 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 922 925 928 929 934 941 945 a 31 39 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 922 925 928 929 934 941 945 a 31 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 117 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 922 925 928 929 934 941 945 a 31 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 119 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 922 925 928 929 934 941 945 a 31 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 118 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 922 925 928 929 934 941 945 a 31 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 110 111 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 922 925 928 929 934 941 945 a 31 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 922 925 928 929 934 941 945 a 31 49 58 61 79 80 82 83 84 85 86 89 90 99 100 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 176 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 922 925 928 929 934 941 945 a 31 49 58 61 79 80 82 83 84 85 86 89 90 92 99 100 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 913 916 917 918 922 925 928 929 934 941 945 a 31 49 58 61 79 80 81 82 83 84 85 86 89 90 92 99 100 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 929 934 941 945 a 31 49 58 61 75 80 81 82 83 84 85 86 89 90 92 99 100 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 929 934 941 945 a 31 49 58 61 77 80 81 82 83 84 85 86 89 90 92 99 100 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 929 934 941 945 a 31 49 58 61 72 77 81 82 83 84 85 86 89 90 92 99 100 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 929 934 941 945 a 31 49 58 61 63 72 81 82 83 84 85 86 89 90 92 99 100 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 929 934 941 945 a 31 49 58 61 62 72 81 82 83 84 85 86 89 90 92 99 100 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 929 934 941 945 a 31 49 58 61 64 72 81 82 83 84 85 86 89 90 92 99 100 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 929 934 941 945 a 31 42 49 58 64 72 81 82 83 84 85 86 89 90 92 99 100 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 929 934 941 945 a 31 49 58 60 64 72 81 82 83 84 85 86 89 90 92 99 100 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 929 934 941 945 a 31 49 57 58 60 64 72 81 82 83 84 85 86 89 90 92 99 100 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 934 941 945 a 31 49 52 57 60 64 72 81 82 83 84 85 86 89 90 92 99 100 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 934 941 945 a 31 49 50 57 60 64 72 81 82 83 84 85 86 89 90 92 99 100 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 934 941 945 a 17 31 49 50 57 60 64 72 81 82 83 84 85 86 89 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 934 941 945 a 28 31 49 50 57 60 64 72 81 82 83 84 85 86 89 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 934 941 945 a 25 31 49 50 57 60 64 72 81 82 83 84 85 86 89 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 934 941 945 a 31 37 49 50 57 60 64 72 81 82 83 84 85 86 89 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 167 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 934 941 945 a 11 31 37 49 50 57 60 64 72 81 82 83 84 85 86 89 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 934 941 945 a 9 11 37 49 50 57 60 64 72 81 82 83 84 85 86 89 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 934 941 945 a 11 13 37 49 50 57 60 64 72 81 82 83 84 85 86 89 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 934 941 945 a 13 33 37 49 50 57 60 64 72 81 82 83 84 85 86 89 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 934 941 945 a 9 33 37 49 50 57 60 64 72 81 82 83 84 85 86 89 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 934 941 945 a 31 33 37 49 50 57 60 64 72 81 82 83 84 85 86 89 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 168 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 934 941 945 a 24 31 33 37 49 50 57 60 64 72 81 82 83 84 85 86 89 90 92 99 101 102 109 110 116 122 127 128 131 132 133 135 139 145 148 150 157 160 161 162 166 170 173 174 183 184 187 189 190 191 193 194 199 207 216 220 224 227 229 237 239 248 253 256 258 328 332 341 364 370 557 575 589 908 909 916 917 918 922 925 928 934 941 945 c array.sh: end: Thu 24 Mar 2022 02:10:30 PM CET confaigeration /tmp/21701617-196-wap06a_02.col /tmp/21701617-196-wap06a_02.dat existent" User time (seconds): 19.99 System time (seconds): 1.40 Percent of CPU this job got: 462% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:04.62 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): 125968 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 183185 Voluntary context switches: 935 Involuntary context switches: 55 Swaps: 0 File system inputs: 16 File system outputs: 13152 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0