c array.sh: col: /home/froleyks/reconf/2022benchmark/benchmark/color04/wap06a.col c array.sh: dat: /home/froleyks/reconf/2022benchmark/benchmark/color04/wap06a_01.dat c array.sh: name: wap06a_01 c array.sh: task: 195 c array.sh: host: c3n05 c array.sh: uname: Linux c3n05 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:25 PM CET c array.sh: noturbo: 1 c array.sh: governor: 32 performance c array.sh: tmp: 1% c 0.0520: solving existent 21701617-195-wap06a_01 c 0.1090: Wrote /tmp/21701617-195-wap06a_01.aag c 0.1540: Wrote /tmp/21701617-195-wap06a_01.aig c 3.3780: Wrote /tmp/21701617-195-wap06a_01.trace c 3.3790: Found solution, Length: 33 s 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 334 364 370 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 t 19 31 41 45 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 102 109 110 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 217 220 225 228 229 231 233 234 237 242 243 248 253 256 258 334 370 482 485 907 914 915 916 918 920 922 925 928 934 935 944 945 947 a YES 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 334 364 370 914 915 916 918 919 920 922 925 928 929 934 940 942 944 945 947 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 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 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 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 935 940 944 945 947 a 31 45 49 58 61 79 80 81 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 935 944 945 947 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 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 913 914 915 916 918 919 920 922 925 928 929 934 935 944 945 947 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 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 910 913 914 915 916 918 920 922 925 928 929 934 935 944 945 947 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 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 911 913 914 915 916 918 920 922 925 928 929 934 935 944 945 947 a 31 45 49 57 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 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 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 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 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 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 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 334 364 370 485 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 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 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 253 256 258 334 364 370 485 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 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 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 233 237 239 242 243 248 253 256 258 334 370 485 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 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 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 209 220 225 228 229 233 237 239 242 243 248 253 256 258 334 370 485 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 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 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 223 225 228 229 233 237 239 242 243 248 253 256 258 334 370 485 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 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 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 210 220 225 228 229 233 237 239 242 243 248 253 256 258 334 370 485 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 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 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 215 220 225 228 229 233 237 239 242 243 248 253 256 258 334 370 485 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 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 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 212 220 225 228 229 233 237 239 242 243 248 253 256 258 334 370 485 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 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 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 213 220 225 228 229 233 237 239 242 243 248 253 256 258 334 370 485 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 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 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 208 220 225 228 229 233 237 239 242 243 248 253 256 258 334 370 485 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 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 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 188 189 190 192 193 194 199 200 207 217 220 225 228 229 233 237 239 242 243 248 253 256 258 334 370 485 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 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 147 148 159 160 161 165 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 217 220 225 228 229 233 237 239 242 243 248 253 256 258 334 370 485 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 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 147 148 159 160 161 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 217 220 225 228 229 233 237 239 242 243 248 253 256 258 288 334 370 485 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 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 147 148 159 160 161 162 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 217 220 225 228 229 233 237 239 242 243 248 253 256 258 334 370 485 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 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 147 148 159 160 161 164 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 217 220 225 228 229 233 237 239 242 243 248 253 256 258 334 370 485 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 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 147 148 159 160 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 217 220 225 228 229 233 237 239 242 243 248 253 256 258 334 370 485 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 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 147 148 159 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 217 220 225 228 229 233 234 237 239 242 243 248 253 256 258 334 370 485 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 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 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 217 220 225 228 229 233 234 237 239 242 243 248 253 256 258 334 370 482 485 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 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 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 217 220 225 228 229 233 234 237 239 242 243 248 253 256 258 334 370 482 485 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 a 31 45 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 101 102 109 110 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 217 220 225 228 229 233 234 237 239 242 243 248 253 256 258 334 370 482 485 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 a 31 45 49 58 61 79 80 82 83 84 85 86 89 90 94 99 100 102 109 110 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 217 220 225 228 229 231 233 234 237 239 242 243 248 253 256 258 334 370 482 485 907 911 913 914 915 916 918 920 922 925 928 934 935 944 945 947 a 31 45 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 102 109 110 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 217 220 225 228 229 231 233 234 237 239 242 243 248 253 256 258 334 370 482 485 907 913 914 915 916 918 920 922 925 928 934 935 944 945 947 a 31 41 45 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 102 109 110 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 217 220 225 228 229 231 233 234 237 239 242 243 248 253 256 258 334 370 482 485 907 914 915 916 918 920 922 925 928 934 935 944 945 947 a 19 31 41 45 49 58 61 79 80 82 83 84 85 86 89 90 91 94 99 100 102 109 110 121 127 128 131 132 133 135 147 159 161 163 166 167 168 170 171 173 174 183 185 187 189 190 192 193 194 199 200 207 217 220 225 228 229 231 233 234 237 242 243 248 253 256 258 334 370 482 485 907 914 915 916 918 920 922 925 928 934 935 944 945 947 c array.sh: end: Thu 24 Mar 2022 02:10:28 PM CET confaigeration /tmp/21701617-195-wap06a_01.col /tmp/21701617-195-wap06a_01.dat existent" User time (seconds): 11.07 System time (seconds): 0.98 Percent of CPU this job got: 352% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.41 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): 125720 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 173250 Voluntary context switches: 938 Involuntary context switches: 43 Swaps: 0 File system inputs: 16 File system outputs: 12440 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0