Task 15150
| Name | batch_89__job_job-000121_1 |
| Workunit | 12049 |
| Created | 30 Apr 2025, 2:55:16 UTC |
| Sent | 30 Apr 2025, 23:51:56 UTC |
| Report deadline | 7 May 2025, 23:51:56 UTC |
| Received | 1 May 2025, 4:22:57 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 33110 |
| Run time | 3 hours 34 min 14 sec |
| CPU time | 3 hours 21 min 0 sec |
| Validate state | Valid |
| Credit | 51.06 |
| Device peak FLOPS | 5.48 GFLOPS |
| Application version | Universal Docker app v1.09 (docker) windows_x86_64 |
| Peak working set size | 12.22 MB |
| Peak swap size | 2.30 MB |
| Peak disk usage | 93.16 KB |
Stderr output
<core_client_version>8.2.1</core_client_version> <![CDATA[ <stderr_txt> no job.toml config file Using podman stderr from container: N = 16, MAX_LENGTH: 22, CAPTURE_STATS: 17 targets: 0100100000011100 0000011000011011 0010000000001011 0100100100100001 0101110101000000 0111000000001100 00111110111111118, 9, 30, 50 [best: 1000] 08, 9, 30, 50, 51, 52, 70, 84, 137, 142, 154, 185 [best: 1000] 42949672968, 9, 30, 50, 51, 53, 56, 110, 121, 145, 164, 183 [best: 1000] 85899345928, 9, 30, 50, 51, 53, 70, 114, 115, 133, 148, 185 [best: 1000] 128849018888, 9, 30, 50, 51, 54, 55, 72, 77, 107, 113, 114 [best: 1000] 171798691848, 9, 30, 50, 51, 54, 68, 95, 119, 139, 149, 250 [best: 1000] 214748364808, 9, 30, 50, 51, 54, 95, 98, 112, 171, 184 [best: 1000] 257698037768, 9, 30, 50, 51, 55, 67, 75, 104, 122, 156, 162 [best: 1000] 300647710728, 9, 30, 50, 51, 55, 90, 91, 118, 131, 157, 158 [best: 1000] 343597383688, 9, 30, 50, 51, 56, 63, 81, 110, 120, 132, 134 [best: 1000] 386547056648, 9, 30, 50, 51, 56, 73, 104, 115, 168, 191, 209, 210 [best: 1000] 429496729608, 9, 30, 50, 51, 56, 89, 102, 131, 140, 151, 176 [best: 1000] 472446402568, 9, 30, 50, 51, 57, 66, 81, 104, 133, 134, 190 [best: 1000] 515396075528, 9, 30, 50, 51, 58, 64, 84, 94, 120, 144, 163 [best: 1000] 558345748488, 9, 30, 50, 51, 59, 65, 68, 80, 121, 143, 151 [best: 1000] 601295421448, 9, 30, 50, 51, 59, 79, 128, 141, 160, 180, 220 [best: 1000] 644245094408, 9, 30, 50, 51, 60, 67, 110, 125, 164, 183, 200, 241 [best: 1000] 687194767368, 9, 30, 50, 51, 60, 95, 98, 118, 157, 160, 170, 173 [best: 1000] 730144440328, 9, 30, 50, 51, 62, 66, 96, 102, 115, 155, 184 [best: 1000] 773094113288, 9, 30, 50, 51, 63, 94, 99, 115, 138, 158, 172 [best: 1000] 816043786248, 9, 30, 50, 51, 66, 70, 88, 108, 110, 111, 147 [best: 1000] 858993459208, 9, 30, 50, 51, 67, 70, 92, 139, 144, 148, 188 [best: 1000] 901943132168, 9, 30, 50, 51, 67, 94, 103, 115, 141, 183, 229 [best: 1000] 944892805128, 9, 30, 50, 51, 68, 93, 96, 111, 160, 192, 224 [best: 1000] 987842478088, 9, 30, 50, 51, 69, 93, 95, 98, 144, 181, 201 [best: 1000] 1030792151048, 9, 30, 50, 51, 70, 93, 94, 108, 132, 184, 216 [best: 1000] 1073741824008, 9, 30, 50, 51, 72, 84, 103, 124, 143, 183, 207 [best: 1000] 1116691496968, 9, 30, 50, 51, 74, 91, 102, 126, 136, 158, 168 [best: 1000] 1159641169928, 9, 30, 50, 51, 76, 84, 101, 124, 136, 159, 214 [best: 1000] 1202590842888, 9, 30, 50, 51, 79, 82, 104, 116, 133, 155, 175 [best: 1000] 1245540515848, 9, 30, 50, 51, 80, 100, 101, 126, 150, 157, 193 [best: 1000] 1288490188808, 9, 30, 50, 51, 82, 87, 88, 102, 105, 113, 201 [best: 1000] 1331439861768, 9, 30, 50, 51, 85, 95, 103, 120, 134, 177, 181 [best: 1000] 1374389534728, 9, 30, 50, 52, 53, 60, 122, 148, 151, 155, 188 [best: 1000] 1417339207688, 9, 30, 50, 52, 53, 76, 105, 117, 136, 138, 182 [best: 1000] 1460288880648, 9, 30, 50, 52, 54, 55, 66, 140, 153, 172, 184, 233 [best: 1000] 1503238553608, 9, 30, 50, 52, 54, 68, 82, 100, 165, 185, 202 [best: 1000] 1546188226568, 9, 30, 50, 52, 54, 96, 114, 118, 156, 187, 200 [best: 1000] 1589137899528, 9, 30, 50, 52, 55, 63, 81, 84, 120, 131, 145 [best: 1000] 1632087572488, 9, 30, 50, 52, 55, 80, 101, 126, 141, 154, 164 [best: 1000] 1675037245448, 9, 30, 50, 52, 56, 58, 59, 87, 100, 111, 209 [best: 1000] 1717986918408, 9, 30, 50, 52, 56, 68, 94, 115, 121, 128, 189 [best: 1000] 1760936591368, 9, 30, 50, 52, 56, 83, 118, 123, 141, 179, 196, 274 [best: 1000] 1803886264328, 9, 30, 50, 52, 57, 59, 73, 112, 114, 168, 169 [best: 1000] 1846835937288, 9, 30, 50, 52, 57, 99, 105, 125, 165, 173, 223 [best: 1000] 1889785610248, 9, 30, 50, 52, 58, 99, 107, 114, 152, 154, 162 [best: 1000] 1932735283208, 9, 30, 50, 52, 59, 72, 114, 128, 137, 158, 160 [best: 1000] 1975684956168, 9, 30, 50, 52, 59, 102, 137, 142, 157, 173, 212 [best: 1000] 2018634629128, 9, 30, 50, 52, 60, 82, 98, 106, 136, 159, 163 [best: 1000] 2061584302088, 9, 30, 50, 52, 61, 75, 99, 115, 130, 142, 181 [best: 1000] 2104533975048, 9, 30, 50, 52, 63, 66, 68, 79, 97, 107, 162 [best: 1000] 2147483648008, 9, 30, 50, 52, 65, 66, 73, 119, 126, 133, 141 [best: 1000] 2190433320968, 9, 30, 50, 52, 66, 83, 116, 131, 141, 190, 204, 232 [best: 1000] 2233382993928, 9, 30, 50, 52, 67, 90, 96, 99, 112, 133, 151 [best: 1000] 2276332666888, 9, 30, 50, 52, 68, 95, 100, 102, 127, 163, 185 [best: 1000] 2319282339848, 9, 30, 50, 52, 69, 98, 105, 113, 117, 197, 206 [best: 1000] 2362232012808, 9, 30, 50, 52, 70, 96, 101, 123, 125, 150, 195, 203 [best: 1000] 2405181685768, 9, 30, 50, 52, 72, 81, 88, 96, 115, 155, 174 [best: 1000] 2448131358728, 9, 30, 50, 52, 74, 86, 87, 106, 118, 122, 140, 202 [best: 1000] 2491081031688, 9, 30, 50, 52, 76, 85, 111, 116, 134, 156, 166, 223 [best: 1000] 2534030704648, 9, 30, 50, 52, 80, 93, 107, 132, 135, 138, 187 [best: 1000] 2576980377608, 9, 30, 50, 52, 83, 85, 98, 100, 133, 148, 151 [best: 1000] 2619930050568, 9, 30, 50, 52, 85, 90, 112, 139, 161, 170, 187 [best: 1000] 2662879723528, 9, 30, 50, 52, 88, 94, 109, 115, 118, 153, 162, 219 [best: 1000] 2705829396488, 9, 30, 50, 53, 54, 56, 72, 91, 166, 167, 179 [best: 1000] 2748779069448, 9, 30, 50, 53, 54, 64, 68, 120, 136, 141, 187 [best: 1000] 2791728742408, 9, 30, 50, 53, 54, 72, 119, 127, 151, 182, 202 [best: 1000] 2834678415368, 9, 30, 50, 53, 54, 87, 93, 112, 148, 191, 221 [best: 1000] 2877628088328, 9, 30, 50, 53, 55, 56, 60, 75, 86, 106, 180 [best: 1000] 2920577761288, 9, 30, 50, 53, 55, 61, 85, 91, 123, 147, 176 [best: 1000] 2963527434248, 9, 30, 50, 53, 55, 69, 79, 87, 152, 173, 195 [best: 1000] 3006477107208, 9, 30, 50, 53, 55, 78, 111, 134, 153, 166, 196 [best: 1000] 3049426780168, 9, 30, 50, 53, 55, 92, 101, 107, 123, 197, 221 [best: 1000] 3092376453128, 9, 30, 50, 53, 56, 57, 79, 120, 140, 142, 144 [best: 1000] 3135326126088, 9, 30, 50, 53, 56, 64, 109, 132, 151, 196, 233 [best: 1000] 3178275799048, 9, 30, 50, 53, 56, 72, 99, 122, 123, 199 [best: 1000] 3221225472008, 9, 30, 50, 53, 56, 85, 123, 163, 166, 187, 232 [best: 1000] 3264175144968, 9, 30, 50, 53, 56, 106, 137, 141, 159, 180, 188 [best: 1000] 3307124817928, 9, 30, 50, 53, 57, 68, 69, 70, 76, 138, 163 [best: 1000] 3350074490888, 9, 30, 50, 53, 57, 89, 94, 110, 116, 159, 222 [best: 1000] 3393024163848, 9, 30, 50, 53, 58, 68, 69, 101, 116, 135, 188 [best: 1000] 3435973836808, 9, 30, 50, 53, 58, 90, 105, 106, 117, 161, 201 [best: 1000] 3478923509768, 9, 30, 50, 53, 59, 67, 81, 103, 135, 194, 214 [best: 1000] 3521873182728, 9, 30, 50, 53, 59, 78, 93, 100, 146, 164, 176 [best: 1000] 3564822855688, 9, 30, 50, 53, 59, 104, 121, 122, 140, 161, 171 [best: 1000] 3607772528648, 9, 30, 50, 53, 60, 68, 114, 117, 128, 176, 207 [best: 1000] 3650722201608, 9, 30, 50, 53, 60, 82, 102, 114, 116, 157, 213, 227 [best: 1000] 3693671874568, 9, 30, 50, 53, 60, 105, 117, 130, 177, 190, 212 [best: 1000] 3736621547528, 9, 30, 50, 53, 61, 75, 84, 116, 128, 142, 208 [best: 1000] 3779571220488, 9, 30, 50, 53, 62, 65, 81, 114, 128, 134, 136 [best: 1000] 3822520893448, 9, 30, 50, 53, 63, 64, 89, 97, 105, 140, 166 [best: 1000] 3865470566408, 9, 30, 50, 53, 63, 90, 103, 105, 119, 121, 160 [best: 1000] 3908420239368, 9, 30, 50, 53, 64, 95, 112, 129, 135, 158, 185 [best: 1000] 3951369912328, 9, 30, 50, 53, 65, 102, 114, 118, 126, 130, 135, 152 [best: 1000] 3994319585288, 9, 30, 50, 53, 66, 84, 92, 102, 113, 157, 178 [best: 1000] 4037269258248, 9, 30, 50, 53, 67, 69, 83, 137, 163, 178, 209 [best: 1000] 4080218931208, 9, 30, 50, 53, 67, 81, 129, 135, 162, 165, 169 [best: 1000] 4123168604168, 9, 30, 50, 53, 67, 97, 120, 133, 144, 145, 212 [best: 1000] 4166118277128, 9, 30, 50, 53, 68, 76, 111, 133, 146, 182, 216 [best: 1000] 4209067950088, 9, 30, 50, 53, 68, 97, 109, 138, 171, 186, 198 [best: 1000] 4252017623048, 9, 30, 50, 53, 69, 81, 88, 104, 132, 176, 183 [best: 1000] 4294967296008, 9, 30, 50, 53, 69, 105, 113, 122, 148, 227, 239 [best: 1000] 4337916968968, 9, 30, 50, 53, 70, 85, 88, 112, 123, 189, 265 [best: 1000] 4380866641928, 9, 30, 50, 53, 70, 107, 113, 121, 124, 139, 203 [best: 1000] 4423816314888, 9, 30, 50, 53, 71, 96, 105, 106, 142, 170, 185 [best: 1000] 4466765987848, 9, 30, 50, 53, 72, 92, 103, 118, 135, 168, 201 [best: 1000] 4509715660808, 9, 30, 50, 53, 73, 91, 96, 112, 123, 138, 176 [best: 1000] 4552665333768, 9, 30, 50, 53, 74, 100, 112, 116, 139, 198, 199 [best: 1000] 4595615006728, 9, 30, 50, 53, 75, 97, 112, 130, 160, 181, 191 [best: 1000] 4638564679688, 9, 30, 50, 53, 76, 97, 99, 117, 130, 144, 185 [best: 1000] 4681514352648, 9, 30, 50, 53, 78, 89, 98, 109, 118, 119, 188 [best: 1000] 4724464025608, 9, 30, 50, 53, 80, 89, 112, 125, 149, 182, 207 [best: 1000] 4767413698568, 9, 30, 50, 53, 82, 85, 104, 125, 154, 192, 205 [best: 1000] 4810363371528, 9, 30, 50, 53, 83, 97, 101, 108, 163, 207, 218 [best: 1000] 4853313044488, 9, 30, 50, 53, 85, 86, 113, 126, 136, 144, 225 [best: 1000] 4896262717448, 9, 30, 50, 53, 85, 108, 129, 134, 146, 200, 224 [best: 1000] 4939212390408, 9, 30, 50, 53, 86, 106, 109, 138, 180, 195, 225 [best: 1000] 4982162063368, 9, 30, 50, 53, 87, 102, 109, 144, 179, 189, 194 [best: 1000] 5025111736328, 9, 30, 50, 53, 88, 101, 106, 122, 127, 140, 225 [best: 1000] 5068061409288, 9, 30, 50, 53, 90, 93, 111, 125, 139, 214, 217 [best: 1000] 5111011082248, 9, 30, 50, 53, 95, 101, 122, 124, 128, 165, 199 [best: 1000] 5153960755208, 9, 30, 50, 53, 97, 111, 112, 114, 147, 158, 165 [best: 1000] 5196910428168, 9, 30, 50, 54, 55, 61, 71, 127, 149, 172, 174 [best: 1000] 5239860101128, 9, 30, 50, 54, 55, 70, 72, 106, 120, 154, 199 [best: 1000] 5282809774088, 9, 30, 50, 54, 55, 80, 118, 132, 144, 150, 225 [best: 1000] 5325759447048, 9, 30, 50, 54, 55, 94, 117, 132, 167, 190, 206 [best: 1000] 5368709120008, 9, 30, 50, 54, 56, 59, 93, 139, 183, 187, 215 [best: 1000] 5411658792968, 9, 30, 50, 54, 56, 67, 74, 98, 141, 167 [best: 1000] 5454608465928, 9, 30, 50, 54, 56, 73, 85, 134, 144, 210, 241 [best: 1000] 5497558138888, 9, 30, 50, 54, 56, 82, 86, 143, 167, 181, 203 [best: 1000] 5540507811848, 9, 30, 50, 54, 56, 93, 120, 126, 149, 163, 181 [best: 1000] 5583457484808, 9, 30, 50, 54, 57, 59, 78, 95, 113, 142, 169 [best: 1000] 5626407157768, 9, 30, 50, 54, 57, 78, 90, 106, 138, 155, 161 [best: 1000] 5669356830728, 9, 30, 50, 54, 58, 65, 81, 83, 88, 124, 132 [best: 1000] 5712306503688, 9, 30, 50, 54, 58, 84, 114, 121, 149, 168, 178 [best: 1000] 5755256176648, 9, 30, 50, 54, 59, 65, 81, 114, 166, 199, 208 [best: 1000] 5798205849608, 9, 30, 50, 54, 59, 72, 102, 146, 154, 167, 172 [best: 1000] 5841155522568, 9, 30, 50, 54, 59, 83, 113, 117, 144, 172, 216 [best: 1000] 5884105195528, 9, 30, 50, 54, 59, 102, 144, 147, 171, 189, 201 [best: 1000] 5927054868488, 9, 30, 50, 54, 60, 73, 81, 101, 109, 146, 182 [best: 1000] 5970004541448, 9, 30, 50, 54, 61, 63, 77, 105, 123, 156, 194 [best: 1000] 6012954214408, 9, 30, 50, 54, 61, 82, 97, 112, 118, 141, 190 [best: 1000] 6055903887368, 9, 30, 50, 54, 62, 75, 86, 87, 119, 165, 179 [best: 1000] 6098853560328, 9, 30, 50, 54, 63, 74, 84, 106, 134, 170, 212 [best: 1000] 6141803233288, 9, 30, 50, 54, 64, 70, 104, 125, 129, 198, 201 [best: 1000] 6184752906248, 9, 30, 50, 54, 65, 77, 94, 112, 126, 130, 214 [best: 1000] 6227702579208, 9, 30, 50, 54, 66, 76, 80, 84, 111, 160, 162 [best: 1000] 6270652252168, 9, 30, 50, 54, 67, 68, 106, 134, 162, 203 [best: 1000] 6313601925128, 9, 30, 50, 54, 67, 80, 108, 133, 148, 176, 193, 195 [best: 1000] 6356551598088, 9, 30, 50, 54, 67, 99, 110, 113, 134, 170, 186 [best: 1000] 6399501271048, 9, 30, 50, 54, 68, 77, 93, 96, 123, 172, 181 [best: 1000] 6442450944008, 9, 30, 50, 54, 68, 90, 95, 107, 123, 141, 221 [best: 1000] 6485400616968, 9, 30, 50, 54, 69, 77, 116, 154, 157, 197, 219 [best: 1000] 6528350289928, 9, 30, 50, 54, 70, 72, 75, 91, 132, 178, 192, 208 [best: 1000] 6571299962888, 9, 30, 50, 54, 70, 83, 87, 96, 107, 115, 126, 161 [best: 1000] 6614249635848, 9, 30, 50, 54, 70, 97, 109, 118, 167, 211, 249 [best: 1000] 6657199308808, 9, 30, 50, 54, 71, 85, 94, 103, 121, 179, 198 [best: 1000] 6700148981768, 9, 30, 50, 54, 72, 85, 90, 130, 155, 158, 196 [best: 1000] 6743098654728, 9, 30, 50, 54, 73, 83, 101, 106, 108, 111, 119, 213 [best: 1000] 6786048327688, 9, 30, 50, 54, 74, 84, 110, 137, 146, 164, 175 [best: 1000] 6828998000648, 9, 30, 50, 54, 75, 84, 116, 127, 143, 145, 175 [best: 1000] 6871947673608, 9, 30, 50, 54, 76, 83, 85, 119, 132, 171, 205, 252 [best: 1000] 6914897346568, 9, 30, 50, 54, 77, 85, 96, 121, 139, 210, 212 [best: 1000] 6957847019528, 9, 30, 50, 54, 78, 85, 107, 124, 158, 172, 173 [best: 1000] 7000796692488, 9, 30, 50, 54, 79, 98, 102, 129, 138, 153, 205 [best: 1000] 7043746365448, 9, 30, 50, 54, 81, 82, 110, 119, 148, 212, 246 [best: 1000] 7086696038408, 9, 30, 50, 54, 82, 83, 92, 127, 151, 157, 207 [best: 1000] 7129645711368, 9, 30, 50, 54, 82, 102, 103, 120, 135, 175, 190 [best: 1000] 7172595384328, 9, 30, 50, 54, 84, 85, 117, 131, 141, 203, 283 [best: 1000] 7215545057288, 9, 30, 50, 54, 84, 106, 129, 133, 159, 183, 195 [best: 1000] 7258494730248, 9, 30, 50, 54, 85, 96, 101, 119, 172, 206, 218 [best: 1000] 7301444403208, 9, 30, 50, 54, 85, 114, 118, 127, 131, 189, 225 [best: 1000] 7344394076168, 9, 30, 50, 54, 87, 98, 116, 123, 149, 182, 195 [best: 1000] 7387343749128, 9, 30, 50, 54, 89, 101, 103, 144, 155, 170, 217 [best: 1000] 7430293422088, 9, 30, 50, 55, 56, 58, 100, 125, 135, 159, 211 [best: 1000] 7473243095048, 9, 30, 50, 55, 56, 64, 67, 99, 124, 130, 139 [best: 1000] 7516192768008, 9, 30, 50, 55, 56, 69, 92, 106, 135, 176, 215 [best: 1000] 7559142440968, 9, 30, 50, 55, 56, 76, 83, 122, 166, 185, 224 [best: 1000] 7602092113928, 9, 30, 50, 55, 56, 83, 90, 100, 131, 169, 245 [best: 1000] 7645041786888, 9, 30, 50, 55, 56, 92, 114, 128, 174, 216, 242 [best: 1000] 7687991459848, 9, 30, 50, 55, 56, 112, 131, 155, 175, 178, 207 [best: 1000] 7730941132808, 9, 30, 50, 55, 57, 68, 81, 87, 169, 197 [best: 1000] 7773890805768, 9, 30, 50, 55, 57, 85, 102, 105, 120, 125, 139 [best: 1000] 7816840478728, 9, 30, 50, 55, 58, 66, 87, 92, 145, 188, 201 [best: 1000] 7859790151688, 9, 30, 50, 55, 58, 84, 114, 127, 137, 162, 163, 200 [best: 1000] 7902739824648, 9, 30, 50, 55, 59, 64, 66, 82, 139, 148, 205 [best: 1000] 7945689497608, 9, 30, 50, 55, 59, 70, 80, 112, 181, 186, 223 [best: 1000] 7988639170568, 9, 30, 50, 55, 59, 78, 102, 123, 128, 139, 237 [best: 1000] 8031588843528, 9, 30, 50, 55, 59, 88, 91, 144, 163, 178, 211, 262 [best: 1000] 8074538516488, 9, 30, 50, 55, 59, 115, 125, 155, 176, 186, 204 [best: 1000] 8117488189448, 9, 30, 50, 55, 60, 69, 91, 94, 149, 173, 182 [best: 1000] 8160437862408, 9, 30, 50, 55, 60, 79, 84, 138, 153, 184, 205, 208 [best: 1000] 8203387535368, 9, 30, 50, 55, 60, 94, 114, 116, 117, 206, 230 [best: 1000] 8246337208328, 9, 30, 50, 55, 61, 69, 107, 135, 165, 187, 251 [best: 1000] 8289286881288, 9, 30, 50, 55, 61, 85, 121, 142, 170, 180, 192 [best: 1000] 8332236554248, 9, 30, 50, 55, 62, 72, 82, 94, 121, 128, 186 [best: 1000] 8375186227208, 9, 30, 50, 55, 63, 66, 84, 90, 101, 158, 190 [best: 1000] 8418135900168, 9, 30, 50, 55, 63, 87, 108, 135, 139, 166, 218 [best: 1000] 8461085573128, 9, 30, 50, 55, 64, 83, 96, 97, 119, 133, 147 [best: 1000] 8504035246088, 9, 30, 50, 55, 65, 82, 101, 122, 123, 153, 162 [best: 1000] 8546984919048, 9, 30, 50, 55, 66, 73, 99, 115, 116, 182, 187 [best: 1000] 8589934592008, 9, 30, 50, 55, 66, 85, 102, 147, 148, 193, 235 [best: 1000] 8632884264968, 9, 30, 50, 55, 67, 68, 100, 104, 127, 170, 195 [best: 1000] 8675833937928, 9, 30, 50, 55, 67, 76, 112, 139, 150, 167, 220 [best: 1000] 8718783610888, 9, 30, 50, 55, 67, 85, 93, 163, 167, 179, 186 [best: 1000] 8761733283848, 9, 30, 50, 55, 67, 101, 103, 129, 141, 172, 235 [best: 1000] 8804682956808, 9, 30, 50, 55, 68, 74, 83, 84, 159, 168, 208 [best: 1000] 8847632629768, 9, 30, 50, 55, 68, 90, 91, 146, 160, 179, 211 [best: 1000] 8890582302728, 9, 30, 50, 55, 69, 76, 84, 87, 144, 177, 242 [best: 1000] 8933531975688, 9, 30, 50, 55, 69, 85, 107, 120, 139, 152, 257 [best: 1000] 8976481648648, 9, 30, 50, 55, 69, 103, 112, 113, 166, 191, 214 [best: 1000] 9019431321608, 9, 30, 50, 55, 70, 82, 92, 151, 152, 176, 203 [best: 1000] 9062380994568, 9, 30, 50, 55, 71, 72, 79, 89, 117, 137, 175 [best: 1000] 9105330667528, 9, 30, 50, 55, 71, 87, 112, 145, 174, 177, 211 [best: 1000] 9148280340488, 9, 30, 50, 55, 72, 82, 115, 138, 174, 199, 218 [best: 1000] 9191230013448, 9, 30, 50, 55, 73, 80, 95, 140, 159, 214, 240 [best: 1000] 9234179686408, 9, 30, 50, 55, 74, 75, 90, 100, 145, 168, 176 [best: 1000] 9277129359368, 9, 30, 50, 55, 75, 76, 79, 107, 110, 168, 189 [best: 1000] 9320079032328, 9, 30, 50, 55, 75, 87, 92, 119, 123, 196, 210 [best: 1000] 9363028705288, 9, 30, 50, 55, 76, 79, 86, 106, 128, 187, 210 [best: 1000] 9405978378248, 9, 30, 50, 55, 76, 97, 116, 134, 144, 156, 201 [best: 1000] 9448928051208, 9, 30, 50, 55, 77, 92, 101, 104, 154, 159, 203 [best: 1000] 9491877724168, 9, 30, 50, 55, 78, 88, 101, 106, 143, 163, 206 [best: 1000] 9534827397128, 9, 30, 50, 55, 79, 85, 93, 148, 169, 177, 195 [best: 1000] 9577777070088, 9, 30, 50, 55, 80, 83, 106, 126, 167, 170, 221 [best: 1000] 9620726743048, 9, 30, 50, 55, 80, 106, 110, 137, 162, 178, 180 [best: 1000] 9663676416008, 9, 30, 50, 55, 81, 98, 107, 132, 175, 198, 206 [best: 1000] 9706626088968, 9, 30, 50, 55, 82, 91, 94, 103, 141, 170, 231 [best: 1000] 9749575761928, 9, 30, 50, 55, 83, 85, 100, 115, 139, 181, 265 [best: 1000] 9792525434888, 9, 30, 50, 55, 83, 104, 129, 134, 146, 200 [best: 1000] 9835475107848, 9, 30, 50, 55, 84, 102, 105, 112, 134, 164, 196, 247 [best: 1000] 9878424780808, 9, 30, 50, 55, 85, 94, 98, 113, 133, 156, 219 [best: 1000] 9921374453768, 9, 30, 50, 55, 85, 104, 129, 164, 192, 232, 283 [best: 1000] 9964324126728, 9, 30, 50, 55, 86, 95, 98, 132, 143, 171, 181 [best: 1000] 10007273799688, 9, 30, 50, 55, 87, 103, 126, 130, 131, 204, 255 [best: 1000] 10050223472648, 9, 30, 50, 55, 89, 98, 121, 135, 155, 159, 166 [best: 1000] 10093173145608, 9, 30, 50, 55, 91, 97, 124, 132, 148, 175, 188, 219 [best: 1000] 10136122818568, 9, 30, 50, 55, 93, 104, 111, 121, 133, 169, 191, 238 [best: 1000] 10179072491528, 9, 30, 50, 56, 57, 66, 68, 110, 113, 176, 200 [best: 1000] 10222022164488, 9, 30, 50, 56, 57, 76, 78, 151, 152, 166, 200 [best: 1000] 10264971837448, 9, 30, 50, 56, 57, 89, 99, 111, 146, 198, 219 [best: 1000] 10307921510408, 9, 30, 50, 56, 58, 62, 85, 86, 150, 168, 172 [best: 1000] 10350871183368, 9, 30, 50, 56, 58, 73, 78, 99, 128, 148, 162 [best: 1000] 10393820856328, 9, 30, 50, 56, 58, 86, 109, 124, 141, 155, 156 [best: 1000] 10436770529288, 9, 30, 50, 56, 59, 61, 95, 96, 98, 110, 120 [best: 1000] 10479720202248, 9, 30, 50, 56, 59, 70, 80, 88, 136, 198, 215 [best: 1000] 10522669875208, 9, 30, 50, 56, 59, 80, 119, 124, 129, 188, 194 [best: 1000] 10565619548168, 9, 30, 50, 56, 59, 96, 134, 137, 173, 174, 182 [best: 1000] 10608569221128, 9, 30, 50, 56, 60, 66, 70, 86, 100, 121, 216 [best: 1000] 10651518894088, 9, 30, 50, 56, 60, 71, 119, 135, 146, 155, 174 [best: 1000] 10694468567048, 9, 30, 50, 56, 60, 81, 100, 116, 120, 138, 189 [best: 1000] 10737418240008, 9, 30, 50, 56, 60, 92, 134, 137, 177, 179, 189 [best: 1000] 10780367912968, 9, 30, 50, 56, 61, 66, 69, 90, 107, 110, 146 [best: 1000] 10823317585928, 9, 30, 50, 56, 61, 75, 96, 109, 111, 164, 171 [best: 1000] 10866267258888, 9, 30, 50, 56, 61, 87, 130, 151, 165, 183, 221 [best: 1000] 10909216931848, 9, 30, 50, 56, 62, 69, 72, 101, 106, 133, 211 [best: 1000] 10952166604808, 9, 30, 50, 56, 62, 88, 96, 114, 148, 167, 190 [best: 1000] 10995116277768, 9, 30, 50, 56, 63, 73, 87, 105, 126, 181, 193 [best: 1000] 11038065950728, 9, 30, 50, 56, 63, 95, 101, 117, 129, 134, 235 [best: 1000] 11081015623688, 9, 30, 50, 56, 64, 79, 84, 91, 138, 155, 188 [best: 1000] 11123965296648, 9, 30, 50, 56, 65, 70, 92, 141, 165, 187, 203 [best: 1000] 11166914969608, 9, 30, 50, 56, 65, 96, 98, 127, 149, 173, 202 [best: 1000] 11209864642568, 9, 30, 50, 56, 66, 75, 79, 142, 173, 197, 218 [best: 1000] 11252814315528, 9, 30, 50, 56, 66, 87, 93, 107, 122, 230, 277 [best: 1000] 11295763988488, 9, 30, 50, 56, 67, 68, 79, 82, 128, 133, 190 [best: 1000] 11338713661448, 9, 30, 50, 56, 67, 75, 80, 104, 120, 166, 236 [best: 1000] 11381663334408, 9, 30, 50, 56, 67, 84, 97, 98, 151, 186, 193 [best: 1000] 11424613007368, 9, 30, 50, 56, 67, 96, 105, 114, 146, 187, 225 [best: 1000] 11467562680328, 9, 30, 50, 56, 68, 70, 100, 104, 116, 151, 185 [best: 1000] 11510512353288, 9, 30, 50, 56, 68, 80, 123, 160, 163, 178, 247 [best: 1000] 11553462026248, 9, 30, 50, 56, 68, 93, 95, 126, 139, 174, 177 [best: 1000] 11596411699208, 9, 30, 50, 56, 69, 71, 96, 118, 131, 160, 183 [best: 1000] 11639361372168, 9, 30, 50, 56, 69, 81, 103, 145, 151, 166, 183 [best: 1000] 11682311045128, 9, 30, 50, 56, 69, 93, 98, 100, 130, 156, 199 [best: 1000] 11725260718088, 9, 30, 50, 56, 70, 72, 88, 89, 108, 158, 245 [best: 1000] 11768210391048, 9, 30, 50, 56, 70, 81, 82, 144, 178, 200, 210 [best: 1000] 11811160064008, 9, 30, 50, 56, 70, 90, 105, 136, 141, 155, 175 [best: 1000] 11854109736968, 9, 30, 50, 56, 70, 107, 111, 123, 125, 139, 198 [best: 1000] 11897059409928, 9, 30, 50, 56, 71, 82, 89, 92, 114, 149, 200 [best: 1000] 11940009082888, 9, 30, 50, 56, 71, 103, 128, 132, 136, 150, 175, 226 [best: 1000] 11982958755848, 9, 30, 50, 56, 72, 84, 98, 118, 156, 176, 191 [best: 1000] 12025908428808, 9, 30, 50, 56, 73, 74, 78, 89, 152, 172, 191 [best: 1000] 12068858101768, 9, 30, 50, 56, 73, 87, 96, 113, 126, 226, 248 [best: 1000] 12111807774728, 9, 30, 50, 56, 74, 78, 109, 115, 163, 201, 228 [best: 1000] 12154757447688, 9, 30, 50, 56, 74, 101, 129, 130, 142, 175, 218 [best: 1000] 12197707120648, 9, 30, 50, 56, 75, 85, 103, 111, 178, 182, 183 [best: 1000] 12240656793608, 9, 30, 50, 56, 75, 103, 122, 142, 188, 199, 224 [best: 1000] 12283606466568, 9, 30, 50, 56, 76, 86, 94, 128, 140, 141, 204 [best: 1000] 12326556139528, 9, 30, 50, 56, 77, 79, 86, 98, 157, 162, 219 [best: 1000] 12369505812488, 9, 30, 50, 56, 77, 94, 118, 122, 138, 170, 232 [best: 1000] 12412455485448, 9, 30, 50, 56, 78, 84, 94, 108, 160, 186, 191 [best: 1000] 12455405158408, 9, 30, 50, 56, 78, 99, 123, 133, 139, 172, 206 [best: 1000] 12498354831368, 9, 30, 50, 56, 79, 86, 102, 116, 122, 125, 227 [best: 1000] 12541304504328, 9, 30, 50, 56, 79, 110, 118, 141, 151, 186, 228 [best: 1000] 12584254177288, 9, 30, 50, 56, 80, 93, 104, 105, 152, 188, 252 [best: 1000] 12627203850248, 9, 30, 50, 56, 81, 85, 98, 140, 144, 191, 219 [best: 1000] 12670153523208, 9, 30, 50, 56, 81, 106, 113, 138, 171, 200 [best: 1000] 12713103196168, 9, 30, 50, 56, 82, 94, 105, 152, 168, 193, 202 [best: 1000] 12756052869128, 9, 30, 50, 56, 83, 90, 117, 130, 138, 171, 172 [best: 1000] 12799002542088, 9, 30, 50, 56, 84, 90, 102, 148, 150, 166, 194 [best: 1000] 12841952215048, 9, 30, 50, 56, 85, 87, 96, 137, 158, 174, 241 [best: 1000] 12884901888008, 9, 30, 50, 56, 85, 99, 101, 102, 142, 194, 257 [best: 1000] 12927851560968, 9, 30, 50, 56, 85, 116, 133, 164, 187, 230, 266 [best: 1000] 12970801233928, 9, 30, 50, 56, 86, 100, 113, 125, 141, 157, 169 [best: 1000] 13013750906888, 9, 30, 50, 56, 87, 93, 106, 109, 111, 184, 202 [best: 1000] 13056700579848, 9, 30, 50, 56, 87, 104, 109, 113, 143, 182, 239 [best: 1000] 13099650252808, 9, 30, 50, 56, 87, 122, 146, 169, 187, 234, 264 [best: 1000] 13142599925768, 9, 30, 50, 56, 88, 115, 120, 131, 150, 153, 163 [best: 1000] 13185549598728, 9, 30, 50, 56, 90, 91, 117, 121, 141, 185, 205 [best: 1000] 13228499271688, 9, 30, 50, 56, 92, 96, 116, 120, 133, 170, 217 [best: 1000] 13271448944648, 9, 30, 50, 56, 94, 96, 118, 150, 155, 176, 181 [best: 1000] 13314398617608, 9, 30, 50, 56, 96, 99, 131, 142, 146, 192, 198 [best: 1000] 13357348290568, 9, 30, 50, 56, 97, 101, 107, 108, 128, 162, 210 [best: 1000] 13400297963528, 9, 30, 50, 57, 58, 71, 79, 124, 146, 161, 194 [best: 1000] 13443247636488, 9, 30, 50, 57, 59, 65, 77, 86, 118, 122, 166 [best: 1000] 13486197309448, 9, 30, 50, 57, 59, 79, 81, 92, 120, 132, 174 [best: 1000] 13529146982408, 9, 30, 50, 57, 60, 64, 83, 118, 137, 151, 208 [best: 1000] 13572096655368, 9, 30, 50, 57, 60, 84, 97, 122, 129, 175, 177, 201 [best: 1000] 13615046328328, 9, 30, 50, 57, 61, 82, 97, 109, 120, 147, 186 [best: 1000] 13657996001288, 9, 30, 50, 57, 63, 69, 83, 113, 139, 170, 196 [best: 1000] 13700945674248, 9, 30, 50, 57, 65, 69, 70, 122, 140, 165, 175 [best: 1000] 13743895347208, 9, 30, 50, 57, 66, 86, 94, 96, 97, 146 [best: 1000] 13786845020168, 9, 30, 50, 57, 67, 81, 116, 145, 154, 170, 205 [best: 1000] 13829794693128, 9, 30, 50, 57, 68, 74, 107, 111, 139, 171, 193 [best: 1000] 13872744366088, 9, 30, 50, 57, 69, 75, 88, 95, 105, 121, 172 [best: 1000] 13915694039048, 9, 30, 50, 57, 70, 78, 100, 101, 107, 178, 200 [best: 1000] 13958643712008, 9, 30, 50, 57, 71, 79, 82, 84, 102, 108, 168 [best: 1000] 14001593384968, 9, 30, 50, 57, 73, 79, 82, 108, 159, 162, 207 [best: 1000] 14044543057928, 9, 30, 50, 57, 75, 82, 108, 109, 150, 175, 199 [best: 1000] 14087492730888, 9, 30, 50, 57, 77, 81, 110, 123, 125, 128, 166 [best: 1000] 14130442403848, 9, 30, 50, 57, 79, 83, 96, 97, 119, 144, 147 [best: 1000] 14173392076808, 9, 30, 50, 57, 81, 91, 104, 107, 109, 118, 166 [best: 1000] 14216341749768, 9, 30, 50, 57, 83, 88, 97, 154, 160, 192, 215 [best: 1000] 14259291422728, 9, 30, 50, 57, 84, 101, 121, 142, 144, 156, 164 [best: 1000] 14302241095688, 9, 30, 50, 58, 59, 67, 75, 86, 123, 140, 185 [best: 1000] 14345190768648, 9, 30, 50, 58, 59, 83, 95, 126, 151, 205, 230 [best: 1000] 14388140441608, 9, 30, 50, 58, 60, 68, 90, 97, 106, 179, 183 [best: 1000] 14431090114568, 9, 30, 50, 58, 61, 63, 100, 120, 125, 147, 155 [best: 1000] 14474039787528, 9, 30, 50, 58, 62, 71, 90, 92, 94, 96, 159 [best: 1000] 14516989460488, 9, 30, 50, 58, 64, 69, 70, 88, 89, 126, 130 [best: 1000] 14559939133448, 9, 30, 50, 58, 66, 72, 77, 114, 129, 151, 169 [best: 1000] 14602888806408, 9, 30, 50, 58, 67, 73, 75, 79, 89, 101, 115 [best: 1000] 14645838479368, 9, 30, 50, 58, 67, 105, 110, 118, 131, 171, 201 [best: 1000] 14688788152328, 9, 30, 50, 58, 69, 73, 83, 101, 118, 180, 183, 205 [best: 1000] 14731737825288, 9, 30, 50, 58, 70, 75, 76, 89, 147, 165, 188, 224 [best: 1000] 14774687498248, 9, 30, 50, 58, 71, 81, 97, 115, 143, 153, 181 [best: 1000] 14817637171208, 9, 30, 50, 58, 73, 84, 116, 121, 147, 160, 182 [best: 1000] 14860586844168, 9, 30, 50, 58, 75, 91, 114, 131, 138, 144, 204 [best: 1000] 14903536517128, 9, 30, 50, 58, 78, 79, 87, 113, 119, 158, 182 [best: 1000] 14946486190088, 9, 30, 50, 58, 81, 84, 89, 125, 129, 149, 181 [best: 1000] 14989435863048, 9, 30, 50, 58, 83, 94, 107, 134, 138, 170, 182 [best: 1000] 15032385536008, 9, 30, 50, 58, 84, 107, 113, 118, 166, 167, 237 [best: 1000] 15075335208968, 9, 30, 50, 59, 60, 67, 69, 86, 127, 154, 161 [best: 1000] 15118284881928, 9, 30, 50, 59, 60, 75, 81, 93, 105, 143, 192 [best: 1000] 15161234554888, 9, 30, 50, 59, 60, 88, 112, 142, 173, 189, 215 [best: 1000] 15204184227848, 9, 30, 50, 59, 61, 66, 102, 109, 151, 163, 212 [best: 1000] 15247133900808, 9, 30, 50, 59, 61, 80, 101, 138, 142, 148, 203 [best: 1000] 15290083573768, 9, 30, 50, 59, 62, 67, 94, 129, 144, 164, 194 [best: 1000] 15333033246728, 9, 30, 50, 59, 62, 96, 106, 119, 132, 164, 168 [best: 1000] 15375982919688, 9, 30, 50, 59, 63, 79, 109, 115, 147, 159, 166 [best: 1000] 15418932592648, 9, 30, 50, 59, 64, 71, 79, 97, 107, 109, 164 [best: 1000] 15461882265608, 9, 30, 50, 59, 65, 69, 113, 119, 129, 138, 208 [best: 1000] 15504831938568, 9, 30, 50, 59, 66, 67, 111, 159, 162, 174, 199, 225 [best: 1000] 15547781611528, 9, 30, 50, 59, 66, 79, 127, 131, 148, 177, 181 [best: 1000] 15590731284488, 9, 30, 50, 59, 66, 102, 118, 125, 163, 174, 181 [best: 1000] 15633680957448, 9, 30, 50, 59, 67, 73, 107, 111, 161, 163, 205 [best: 1000] 15676630630408, 9, 30, 50, 59, 67, 85, 96, 109, 137, 194, 229 [best: 1000] 15719580303368, 9, 30, 50, 59, 67, 107, 114, 116, 130, 162, 217 [best: 1000] 15762529976328, 9, 30, 50, 59, 68, 77, 80, 131, 173, 181, 221 [best: 1000] 15805479649288, 9, 30, 50, 59, 68, 91, 96, 115, 161, 172, 178 [best: 1000] 15848429322248, 9, 30, 50, 59, 69, 72, 76, 83, 94, 159, 161 [best: 1000] 15891378995208, 9, 30, 50, 59, 69, 85, 86, 112, 125, 207, 209 [best: 1000] 15934328668168, 9, 30, 50, 59, 69, 105, 113, 125, 141, 193, 234 [best: 1000] 15977278341128, 9, 30, 50, 59, 70, 78, 114, 130, 153, 167, 179 [best: 1000] 16020228014088, 9, 30, 50, 59, 70, 91, 113, 129, 170, 173, 199 [best: 1000] 16063177687048, 9, 30, 50, 59, 71, 72, 100, 112, 143, 173, 205 [best: 1000] 16106127360008, 9, 30, 50, 59, 71, 90, 104, 107, 134, 156, 158 [best: 1000] 16149077032968, 9, 30, 50, 59, 72, 80, 133, 143, 160, 161, 176 [best: 1000] 16192026705928, 9, 30, 50, 59, 73, 75, 86, 105, 143, 161, 180 [best: 1000] 16234976378888, 9, 30, 50, 59, 73, 96, 107, 109, 146, 168, 170 [best: 1000] 16277926051848, 9, 30, 50, 59, 74, 91, 105, 109, 129, 181, 222 [best: 1000] 16320875724808, 9, 30, 50, 59, 75, 85, 110, 136, 164, 186, 189 [best: 1000] 16363825397768, 9, 30, 50, 59, 76, 77, 85, 122, 171, 180, 197 [best: 1000] 16406775070728, 9, 30, 50, 59, 76, 99, 103, 124, 129, 138, 206 [best: 1000] 16449724743688, 9, 30, 50, 59, 77, 94, 103, 143, 144, 157, 197 [best: 1000] 16492674416648, 9, 30, 50, 59, 78, 95, 102, 114, 115, 147, 159 [best: 1000] 16535624089608, 9, 30, 50, 59, 79, 95, 120, 122, 130, 140, 183 [best: 1000] 16578573762568, 9, 30, 50, 59, 80, 89, 115, 127, 138, 158, 226 [best: 1000] 16621523435528, 9, 30, 50, 59, 81, 86, 88, 100, 155, 190, 235 [best: 1000] 16664473108488, 9, 30, 50, 59, 81, 114, 127, 157, 177, 205, 217 [best: 1000] 16707422781448, 9, 30, 50, 59, 84, 88, 92, 144, 148, 190, 197 [best: 1000] 16750372454408, 9, 30, 50, 59, 85, 98, 107, 160, 166, 180, 212 [best: 1000] 16793322127368, 9, 30, 50, 59, 86, 89, 104, 134, 152, 195, 227 [best: 1000] 16836271800328, 9, 30, 50, 59, 87, 88, 99, 105, 165, 185, 213 [best: 1000] 16879221473288, 9, 30, 50, 59, 87, 104, 137, 144, 147, 156, 171 [best: 1000] 16922171146248, 9, 30, 50, 59, 88, 102, 107, 108, 154, 186, 220 [best: 1000] 16965120819208, 9, 30, 50, 59, 92, 94, 99, 120, 156, 166, 190 [best: 1000] 17008070492168, 9, 30, 50, 59, 95, 101, 120, 122, 136, 162, 206 [best: 1000] 17051020165128, 9, 30, 50, 59, 97, 100, 120, 131, 135, 138, 179 [best: 1000] 17093969838088, 9, 30, 50, 60, 61, 81, 83, 148, 161, 180, 222 [best: 1000] 17136919511048, 9, 30, 50, 60, 62, 79, 115, 118, 119, 137, 154 [best: 1000] 17179869184008, 9, 30, 50, 60, 63, 77, 102, 106, 114, 136, 137 [best: 1000] 17222818856968, 9, 30, 50, 60, 64, 72, 79, 82, 136, 174, 179 [best: 1000] 17265768529928, 9, 30, 50, 60, 65, 82, 86, 111, 129, 150, 166 [best: 1000] 17308718202888, 9, 30, 50, 60, 66, 79, 110, 154, 160, 164, 233, 262 [best: 1000] 17351667875848, 9, 30, 50, 60, 67, 70, 76, 101, 132, 136, 174 [best: 1000] 17394617548808, 9, 30, 50, 60, 67, 81, 101, 102, 150, 162, 245, 251 [best: 1000] 17437567221768, 9, 30, 50, 60, 67, 98, 135, 138, 164, 205, 208, 291 [best: 1000] 17480516894728, 9, 30, 50, 60, 68, 77, 98, 104, 132, 189, 202 [best: 1000] 17523466567688, 9, 30, 50, 60, 68, 96, 97, 106, 109, 121, 191 [best: 1000] 17566416240648, 9, 30, 50, 60, 69, 81, 82, 111, 167, 174, 185 [best: 1000] 17609365913608, 9, 30, 50, 60, 69, 102, 117, 144, 145, 160, 174 [best: 1000] 17652315586568, 9, 30, 50, 60, 70, 82, 92, 106, 146, 199, 217, 264 [best: 1000] 17695265259528, 9, 30, 50, 60, 70, 95, 107, 108, 118, 213, 235 [best: 1000] 17738214932488, 9, 30, 50, 60, 71, 83, 111, 134, 158, 194, 239 [best: 1000] 17781164605448, 9, 30, 50, 60, 72, 84, 85, 137, 138, 176, 202 [best: 1000] 17824114278408, 9, 30, 50, 60, 73, 84, 120, 130, 169, 186, 199 [best: 1000] 17867063951368, 9, 30, 50, 60, 75, 77, 86, 116, 138, 148, 225 [best: 1000] 17910013624328, 9, 30, 50, 60, 76, 83, 88, 97, 102, 107, 122 [best: 1000] 17952963297288, 9, 30, 50, 60, 77, 87, 98, 143, 152, 219, 242 [best: 1000] 17995912970248, 9, 30, 50, 60, 78, 92, 97, 104, 110, 134, 160 [best: 1000] 18038862643208, 9, 30, 50, 60, 80, 81, 97, 138, 174, 185, 190 [best: 1000] 18081812316168, 9, 30, 50, 60, 81, 84, 98, 104, 150, 186, 226 [best: 1000] 18124761989128, 9, 30, 50, 60, 81, 114, 125, 148, 152, 157, 191 [best: 1000] 18167711662088, 9, 30, 50, 60, 83, 88, 100, 122, 147, 207, 217 [best: 1000] 18210661335048, 9, 30, 50, 60, 84, 87, 103, 156, 167, 210, 211 [best: 1000] 18253611008008, 9, 30, 50, 60, 84, 100, 106, 120, 149, 153, 164 [best: 1000] 18296560680968, 9, 30, 50, 60, 85, 98, 103, 112, 142, 171, 217 [best: 1000] 18339510353928, 9, 30, 50, 60, 87, 94, 108, 111, 131, 174, 192 [best: 1000] 18382460026888, 9, 30, 50, 61, 62, 68, 69, 101, 124, 157, 158 [best: 1000] 18425409699848, 9, 30, 50, 61, 63, 85, 120, 141, 142, 166, 197 [best: 1000] 18468359372808, 9, 30, 50, 61, 65, 85, 100, 110, 142, 165, 171 [best: 1000] 18511309045768, 9, 30, 50, 61, 66, 101, 103, 123, 131, 150, 152 [best: 1000] 18554258718728, 9, 30, 50, 61, 67, 85, 105, 122, 176, 196, 242 [best: 1000] 18597208391688, 9, 30, 50, 61, 68, 80, 87, 92, 98, 137, 142 [best: 1000] 18640158064648, 9, 30, 50, 61, 69, 79, 85, 86, 134, 139, 148 [best: 1000] 18683107737608, 9, 30, 50, 61, 70, 78, 95, 139, 155, 180, 217 [best: 1000] 18726057410568, 9, 30, 50, 61, 71, 74, 95, 108, 133, 175, 183 [best: 1000] 18769007083528, 9, 30, 50, 61, 72, 93, 107, 133, 134, 147, 169 [best: 1000] 18811956756488, 9, 30, 50, 61, 75, 76, 89, 96, 112, 157, 171 [best: 1000] 18854906429448, 9, 30, 50, 61, 77, 81, 107, 110, 151, 155, 159 [best: 1000] 18897856102408, 9, 30, 50, 61, 79, 91, 106, 110, 124, 160, 164 [best: 1000] 18940805775368, 9, 30, 50, 61, 82, 85, 89, 111, 115, 137, 237 [best: 1000] 18983755448328, 9, 30, 50, 61, 84, 94, 101, 115, 130, 134, 181 [best: 1000] 19026705121288, 9, 30, 50, 61, 85, 103, 114, 115, 137, 155, 182 [best: 1000] 19069654794248, 9, 30, 50, 62, 63, 86, 97, 109, 117, 143, 187 [best: 1000] 19112604467208, 9, 30, 50, 62, 67, 68, 81, 97, 118, 158, 166 [best: 1000] 19155554140168, 9, 30, 50, 62, 68, 74, 82, 87, 88, 103, 109 [best: 1000] 19198503813128, 9, 30, 50, 62, 70, 73, 81, 86, 104, 115, 174 [best: 1000] 19241453486088, 9, 30, 50, 62, 72, 75, 80, 115, 147, 187, 199 [best: 1000] 19284403159048, 9, 30, 50, 62, 75, 91, 114, 119, 142, 164, 200 [best: 1000] 19327352832008, 9, 30, 50, 62, 80, 83, 95, 98, 112, 157, 160 [best: 1000] 19370302504968, 9, 30, 50, 63, 64, 72, 83, 97, 124, 140, 174 [best: 1000] 19413252177928, 9, 30, 50, 63, 66, 93, 109, 110, 138, 203, 231 [best: 1000] 19456201850888, 9, 30, 50, 63, 67, 96, 115, 153, 169, 185, 217 [best: 1000] 19499151523848, 9, 30, 50, 63, 69, 79, 91, 134, 155, 163, 240 [best: 1000] 19542101196808, 9, 30, 50, 63, 70, 91, 94, 100, 110, 141, 188 [best: 1000] 19585050869768, 9, 30, 50, 63, 73, 79, 118, 125, 131, 162, 183 [best: 1000] 19628000542728, 9, 30, 50, 63, 76, 79, 92, 111, 112, 168, 192, 201 [best: 1000] 19670950215688, 9, 30, 50, 63, 79, 94, 111, 116, 171, 195, 202 [best: 1000] 19713899888648, 9, 30, 50, 63, 81, 93, 112, 124, 146, 152, 209 [best: 1000] 19756849561608, 9, 30, 50, 64, 66, 67, 109, 123, 140, 157, 201 [best: 1000] 19799799234568, 9, 30, 50, 64, 67, 88, 100, 114, 125, 165, 179 [best: 1000] 19842748907528, 9, 30, 50, 64, 69, 86, 110, 115, 130, 138, 157 [best: 1000] 19885698580488, 9, 30, 50, 64, 72, 80, 87, 89, 101, 147, 182, 197 [best: 1000] 19928648253448, 9, 30, 50, 64, 76, 93, 107, 121, 122, 127, 134 [best: 1000] 19971597926408, 9, 30, 50, 64, 80, 87, 107, 115, 134, 135, 146 [best: 1000] 20014547599368, 9, 30, 50, 65, 67, 75, 117, 128, 140, 193, 198, 231 [best: 1000] 20057497272328, 9, 30, 50, 65, 68, 91, 101, 131, 141, 168 [best: 1000] 20100446945288, 9, 30, 50, 65, 70, 87, 88, 138, 142, 143, 180 [best: 1000] 20143396618248, 9, 30, 50, 65, 74, 75, 99, 105, 115, 129, 179 [best: 1000] 20186346291208, 9, 30, 50, 65, 78, 79, 97, 116, 124, 163, 199 [best: 1000] 20229295964168, 9, 30, 50, 65, 82, 87, 106, 123, 136, 162, 201 [best: 1000] 20272245637128, 9, 30, 50, 66, 67, 84, 85, 94, 127, 131, 160 [best: 1000] 20315195310088, 9, 30, 50, 66, 68, 74, 79, 108, 122, 123, 159 [best: 1000] 20358144983048, 9, 30, 50, 66, 69, 72, 113, 130, 141, 159, 199 [best: 1000] 20401094656008, 9, 30, 50, 66, 70, 78, 86, 87, 92, 118, 139 [best: 1000] 20444044328968, 9, 30, 50, 66, 70, 99, 119, 131, 148, 237, 239 [best: 1000] 20486994001928, 9, 30, 50, 66, 72, 84, 90, 92, 120, 167, 177 [best: 1000] 20529943674888, 9, 30, 50, 66, 74, 84, 86, 134, 142, 161, 211 [best: 1000] 20572893347848, 9, 30, 50, 66, 76, 80, 88, 95, 139, 147, 187 [best: 1000] 20615843020808, 9, 30, 50, 66, 78, 90, 114, 127, 135, 138, 208 [best: 1000] 20658792693768, 9, 30, 50, 66, 80, 97, 114, 141, 159, 174, 190 [best: 1000] 20701742366728, 9, 30, 50, 66, 82, 96, 119, 121, 160, 204, 211 [best: 1000] 20744692039688, 9, 30, 50, 66, 84, 90, 120, 121, 130, 187, 196 [best: 1000] 20787641712648, 9, 30, 50, 66, 85, 98, 120, 132, 160, 188, 227 [best: 1000] 20830591385608, 9, 30, 50, 66, 86, 103, 120, 124, 145, 157, 158 [best: 1000] 20873541058568, 9, 30, 50, 67, 68, 69, 87, 157, 161, 177, 199 [best: 1000] 20916490731528, 9, 30, 50, 67, 68, 85, 91, 121, 132, 167, 184 [best: 1000] 20959440404488, 9, 30, 50, 67, 68, 109, 122, 123, 141, 218, 222 [best: 1000] 21002390077448, 9, 30, 50, 67, 69, 85, 116, 129, 148, 203, 219 [best: 1000] 21045339750408, 9, 30, 50, 67, 70, 72, 88, 95, 108, 148, 155, 173 [best: 1000] 21088289423368, 9, 30, 50, 67, 70, 86, 115, 139, 187, 200, 222 [best: 1000] 21131239096328, 9, 30, 50, 67, 70, 107, 126, 133, 154, 202, 210, 232 [best: 1000] 21174188769288, 9, 30, 50, 67, 71, 94, 97, 99, 104, 161, 183 [best: 1000] 21217138442248, 9, 30, 50, 67, 72, 88, 107, 138, 140, 154, 183, 225 [best: 1000] 21260088115208, 9, 30, 50, 67, 73, 86, 93, 113, 119, 141, 189 [best: 1000] 21303037788168, 9, 30, 50, 67, 74, 86, 104, 130, 177, 183, 190 [best: 1000] 21345987461128, 9, 30, 50, 67, 75, 85, 118, 124, 174, 178, 215 [best: 1000] 21388937134088, 9, 30, 50, 67, 76, 82, 83, 90, 115, 144, 154 [best: 1000] 21431886807048, 9, 30, 50, 67, 77, 86, 103, 130, 138, 206, 228 [best: 1000] 21474836480008, 9, 30, 50, 67, 79, 84, 118, 119, 151, 167, 211 [best: 1000] 21517786152968, 9, 30, 50, 67, 81, 83, 85, 127, 146, 158, 201 [best: 1000] 21560735825928, 9, 30, 50, 67, 82, 91, 123, 133, 163, 199, 222 [best: 1000] 21603685498888, 9, 30, 50, 67, 83, 99, 104, 107, 145, 192, 195 [best: 1000] 21646635171848, 9, 30, 50, 67, 84, 102, 126, 127, 163, 179, 205 [best: 1000] 21689584844808, 9, 30, 50, 67, 85, 104, 105, 137, 161, 183, 185 [best: 1000] 21732534517768, 9, 30, 50, 67, 86, 97, 112, 148, 149, 192, 231 [best: 1000] 21775484190728, 9, 30, 50, 67, 87, 88, 94, 116, 147, 173, 205 [best: 1000] 21818433863688, 9, 30, 50, 67, 87, 116, 131, 135, 140, 158, 183 [best: 1000] 21861383536648, 9, 30, 50, 67, 89, 95, 133, 139, 168, 169, 209 [best: 1000] 21904333209608, 9, 30, 50, 67, 91, 107, 115, 129, 137, 172, 194 [best: 1000] 21947282882568, 9, 30, 50, 67, 95, 100, 125, 134, 135, 139, 214 [best: 1000] 21990232555528, 9, 30, 50, 67, 97, 107, 109, 134, 150, 171, 202 [best: 1000] 22033182228488, 9, 30, 50, 68, 69, 85, 97, 133, 167, 168, 188 [best: 1000] 22076131901448, 9, 30, 50, 68, 70, 81, 84, 107, 132, 142, 156, 242 [best: 1000] 22119081574408, 9, 30, 50, 68, 71, 82, 87, 89, 103, 110, 191 [best: 1000] 22162031247368, 9, 30, 50, 68, 72, 96, 106, 111, 127, 168, 200 [best: 1000] 22204980920328, 9, 30, 50, 68, 74, 84, 117, 125, 138, 164, 202 [best: 1000] 22247930593288, 9, 30, 50, 68, 75, 97, 101, 114, 123, 164, 176 [best: 1000] 22290880266248, 9, 30, 50, 68, 77, 82, 87, 93, 96, 117, 136 [best: 1000] 22333829939208, 9, 30, 50, 68, 79, 80, 89, 97, 119, 150, 199 [best: 1000] 22376779612168, 9, 30, 50, 68, 80, 97, 118, 121, 141, 196, 204 [best: 1000] 22419729285128, 9, 30, 50, 68, 81, 99, 103, 124, 135, 152, 181, 208 [best: 1000] 22462678958088, 9, 30, 50, 68, 83, 84, 96, 114, 122, 162, 244 [best: 1000] 22505628631048, 9, 30, 50, 68, 84, 86, 98, 111, 143, 152, 172, 217 [best: 1000] 22548578304008, 9, 30, 50, 68, 85, 86, 99, 104, 108, 199, 213 [best: 1000] 22591527976968, 9, 30, 50, 68, 85, 107, 118, 141, 143, 149, 180 [best: 1000] 22634477649928, 9, 30, 50, 68, 88, 99, 105, 110, 122, 138, 178 [best: 1000] 22677427322888, 9, 30, 50, 68, 91, 98, 110, 119, 121, 150, 166 [best: 1000] 22720376995848, 9, 30, 50, 69, 70, 84, 108, 114, 165, 197, 233 [best: 1000] 22763326668808, 9, 30, 50, 69, 71, 76, 84, 108, 121, 157, 203, 221 [best: 1000] 22806276341768, 9, 30, 50, 69, 72, 83, 95, 109, 123, 139, 148 [best: 1000] 22849226014728, 9, 30, 50, 69, 73, 85, 94, 129, 133, 200, 216 [best: 1000] 22892175687688, 9, 30, 50, 69, 75, 81, 94, 101, 108, 109, 145 [best: 1000] 22935125360648, 9, 30, 50, 69, 76, 94, 115, 127, 144, 157, 209 [best: 1000] 22978075033608, 9, 30, 50, 69, 78, 81, 94, 143, 147, 153, 195 [best: 1000] 23021024706568, 9, 30, 50, 69, 78, 106, 135, 136, 161, 205, 235 [best: 1000] 23063974379528, 9, 30, 50, 69, 80, 83, 119, 129, 141, 163, 192 [best: 1000] 23106924052488, 9, 30, 50, 69, 81, 87, 103, 109, 134, 165, 177 [best: 1000] 23149873725448, 9, 30, 50, 69, 82, 89, 90, 105, 146, 149, 160 [best: 1000] 23192823398408, 9, 30, 50, 69, 83, 96, 121, 166, 175, 180, 190 [best: 1000] 23235773071368, 9, 30, 50, 69, 84, 93, 100, 176, 198, 206, 232 [best: 1000] 23278722744328, 9, 30, 50, 69, 85, 91, 97, 121, 184, 186, 209 [best: 1000] 23321672417288, 9, 30, 50, 69, 86, 91, 92, 130, 141, 196, 221 [best: 1000] 23364622090248, 9, 30, 50, 69, 87, 89, 107, 109, 144, 167, 173, 179 [best: 1000] 23407571763208, 9, 30, 50, 69, 90, 100, 103, 140, 153, 163, 189 [best: 1000] 23450521436168, 9, 30, 50, 70, 71, 101, 102, 108, 114, 137, 175 [best: 1000] 23493471109128, 9, 30, 50, 70, 73, 77, 95, 128, 140, 143, 172 [best: 1000] 23536420782088, 9, 30, 50, 70, 74, 82, 84, 145, 162, 179, 197, 206 [best: 1000] 23579370455048, 9, 30, 50, 70, 75, 84, 118, 154, 173, 186, 206 [best: 1000] 23622320128008, 9, 30, 50, 70, 76, 83, 85, 125, 144, 157, 183 [best: 1000] 23665269800968, 9, 30, 50, 70, 77, 84, 85, 107, 126, 189, 190 [best: 1000] 23708219473928, 9, 30, 50, 70, 78, 82, 104, 115, 120, 169, 178 [best: 1000] 23751169146888, 9, 30, 50, 70, 79, 84, 100, 138, 145, 174, 204 [best: 1000] 23794118819848, 9, 30, 50, 70, 80, 84, 98, 106, 114, 170, 185 [best: 1000] 23837068492808, 9, 30, 50, 70, 81, 82, 131, 133, 154, 171, 200 [best: 1000] 23880018165768, 9, 30, 50, 70, 81, 100, 104, 109, 121, 130, 187, 233 [best: 1000] 23922967838728, 9, 30, 50, 70, 82, 90, 96, 124, 143, 157, 220, 259 [best: 1000] 23965917511688, 9, 30, 50, 70, 83, 85, 123, 147, 176, 192, 208 [best: 1000] 24008867184648, 9, 30, 50, 70, 84, 85, 89, 130, 139, 178, 210 [best: 1000] 24051816857608, 9, 30, 50, 70, 84, 100, 118, 135, 151, 175, 206 [best: 1000] 24094766530568, 9, 30, 50, 70, 85, 91, 98, 99, 102, 159, 224 [best: 1000] 24137716203528, 9, 30, 50, 70, 85, 110, 117, 132, 137, 166, 183 [best: 1000] 24180665876488, 9, 30, 50, 70, 87, 103, 116, 138, 166, 204, 219 [best: 1000] 24223615549448, 9, 30, 50, 70, 90, 92, 109, 135, 161, 177, 218 [best: 1000] 24266565222408, 9, 30, 50, 71, 72, 81, 106, 120, 140, 160, 201 [best: 1000] 24309514895368, 9, 30, 50, 71, 74, 83, 89, 108, 126, 156, 185, 195 [best: 1000] 24352464568328, 9, 30, 50, 71, 76, 86, 99, 120, 126, 147, 191 [best: 1000] 24395414241288, 9, 30, 50, 71, 78, 94, 107, 136, 161, 172, 183 [best: 1000] 24438363914248, 9, 30, 50, 71, 80, 94, 107, 121, 143, 153, 168 [best: 1000] 24481313587208, 9, 30, 50, 71, 82, 92, 115, 134, 167, 190, 192 [best: 1000] 24524263260168, 9, 30, 50, 71, 83, 105, 114, 132, 155, 158, 169, 178 [best: 1000] 24567212933128, 9, 30, 50, 71, 85, 94, 99, 108, 115, 129, 136 [best: 1000] 24610162606088, 9, 30, 50, 72, 73, 91, 111, 125, 134, 153, 184 [best: 1000] 24653112279048, 9, 30, 50, 72, 75, 93, 106, 111, 120, 122, 128 [best: 1000] 24696061952008, 9, 30, 50, 72, 77, 95, 100, 108, 117, 179, 199 [best: 1000] 24739011624968, 9, 30, 50, 72, 80, 92, 113, 118, 132, 178, 198 [best: 1000] 24781961297928, 9, 30, 50, 72, 83, 89, 90, 124, 134, 173, 221 [best: 1000] 24824910970888, 9, 30, 50, 72, 84, 104, 110, 154, 179, 192, 230 [best: 1000] 24867860643848, 9, 30, 50, 72, 86, 87, 106, 113, 119, 125, 180 [best: 1000] 24910810316808, 9, 30, 50, 73, 75, 85, 95, 110, 138, 177, 196 [best: 1000] 24953759989768, 9, 30, 50, 73, 77, 87, 90, 110, 116, 147, 153, 202 [best: 1000] 24996709662728, 9, 30, 50, 73, 79, 88, 108, 110, 127, 161, 166, 177 [best: 1000] 25039659335688, 9, 30, 50, 73, 81, 88, 109, 143, 162, 190, 210 [best: 1000] 25082609008648, 9, 30, 50, 73, 82, 95, 101, 103, 116, 174, 194 [best: 1000] 25125558681608, 9, 30, 50, 73, 84, 86, 100, 110, 118, 143, 144 [best: 1000] 25168508354568, 9, 30, 50, 74, 75, 89, 92, 124, 139, 144, 208 [best: 1000] 25211458027528, 9, 30, 50, 74, 79, 88, 107, 110, 124, 126, 198, 205 [best: 1000] 25254407700488, 9, 30, 50, 74, 81, 85, 92, 141, 149, 166, 213 [best: 1000] 25297357373448, 9, 30, 50, 74, 83, 96, 110, 116, 127, 128, 174, 211 [best: 1000] 25340307046408, 9, 30, 50, 74, 86, 94, 103, 110, 130, 135, 161, 206 [best: 1000] 25383256719368, 9, 30, 50, 75, 77, 86, 95, 108, 149, 167, 204, 224 [best: 1000] 25426206392328, 9, 30, 50, 75, 79, 82, 96, 111, 128, 170, 185 [best: 1000] 25469156065288, 9, 30, 50, 75, 80, 88, 97, 149, 160, 189, 212 [best: 1000] 25512105738248, 9, 30, 50, 75, 81, 84, 93, 97, 106, 124, 174 [best: 1000] 25555055411208, 9, 30, 50, 75, 82, 86, 87, 99, 108, 184, 200 [best: 1000] 25598005084168, 9, 30, 50, 75, 83, 85, 116, 149, 164, 191, 223 [best: 1000] 25640954757128, 9, 30, 50, 75, 84, 85, 99, 117, 150, 184, 215 [best: 1000] 25683904430088, 9, 30, 50, 75, 85, 88, 111, 142, 160, 172, 237 [best: 1000] 25726854103048, 9, 30, 50, 75, 86, 91, 96, 115, 129, 199, 237 [best: 1000] 25769803776008, 9, 30, 50, 76, 77, 85, 94, 134, 150, 166, 200 [best: 1000] 25812753448968, 9, 30, 50, 76, 80, 84, 86, 131, 162, 170, 238 [best: 1000] 25855703121928, 9, 30, 50, 76, 82, 84, 88, 120, 131, 143, 161 [best: 1000] 25898652794888, 9, 30, 50, 76, 84, 90, 106, 123, 127, 171, 172 [best: 1000] 25941602467848, 9, 30, 50, 76, 85, 106, 116, 141, 147, 167, 200 [best: 1000] 25984552140808, 9, 30, 50, 76, 88, 92, 95, 96, 123, 152, 178 [best: 1000] 2602750181376total chains: 2603878666682new expressions at chain length: n sum avg min max 4: 0 15 0 14 15 5: 0 0 0 0 0 6: 0 0 0 0 0 7: 0 0 0 0 0 8: 1 15 15 15 15 9: 26 337 12 5 2110: 662 9742 14 5 2911: 19054 326619 17 3 3412: 626723 12058825 19 2 4113: 23345818 494787507 21 0 4614: 975529273 22588438271 23 0 5115: 45340888069 1140755452890 25 0 5616: 4672408009 112849106867 24 0 6117: 9523285 295304803 31 3 6418: 8142 294061 36 8 6119: 12 495 41 37 4320: 0 0 0 0 021: 0 0 0 0 0real 214m5.819suser 210m43.916ssys 0m9.763sEOMstderr end 2025-05-01 05:40:25 (2412): called boinc_finish(0) </stderr_txt> ]]>
