Task 5186
| Name | batch_88__job_job-003035_0 |
| Workunit | 5163 |
| Created | 26 Apr 2025, 21:27:01 UTC |
| Sent | 27 Apr 2025, 0:47:39 UTC |
| Report deadline | 4 May 2025, 0:47:39 UTC |
| Received | 27 Apr 2025, 2:35:37 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 32895 |
| Run time | 1 hours 46 min 14 sec |
| CPU time | 0 sec |
| Validate state | Valid |
| Credit | 106.68 |
| Device peak FLOPS | 6.19 GFLOPS |
| Application version | Universal Docker app v1.09 (docker) windows_x86_64 |
| Peak working set size | 13.31 MB |
| Peak swap size | 6.64 MB |
| Peak disk usage | 380.64 KB |
Stderr output
<core_client_version>8.2.1</core_client_version> <![CDATA[ <stderr_txt> 14, 36, 37, 40, 53, 55, 71, 81, 142, 159, 162 [best: 1000] 21045339750414, 36, 37, 40, 53, 78, 99, 119, 139, 154, 180 [best: 1000] 21474836480014, 36, 37, 40, 55, 60, 64, 69, 114, 117, 170 [best: 1000] 21904333209614, 36, 37, 40, 56, 86, 89, 106, 122, 125, 166 [best: 1000] 22333829939214, 36, 37, 40, 60, 61, 65, 78, 91, 115, 162 [best: 1000] 22763326668814, 36, 37, 40, 64, 73, 101, 109, 117, 120, 199 [best: 1000] 23192823398414, 36, 37, 41, 42, 45, 48, 76, 86, 90, 104 [best: 1000] 23622320128014, 36, 37, 41, 42, 55, 63, 72, 103, 152, 181 [best: 1000] 24051816857614, 36, 37, 41, 42, 66, 94, 103, 116, 121, 157 [best: 1000] 24481313587214, 36, 37, 41, 43, 45, 100, 106, 164, 185, 214, 229 [best: 1000] 24910810316814, 36, 37, 41, 43, 59, 81, 103, 116, 186, 193 [best: 1000] 25340307046414, 36, 37, 41, 44, 46, 58, 64, 91, 131, 209 [best: 1000] 25769803776014, 36, 37, 41, 44, 67, 94, 116, 119, 164, 204 [best: 1000] 26199300505614, 36, 37, 41, 45, 53, 101, 104, 118, 124, 187 [best: 1000] 26628797235214, 36, 37, 41, 45, 67, 82, 132, 153, 154, 157 [best: 1000] 27058293964814, 36, 37, 41, 46, 50, 69, 88, 103, 129, 160 [best: 1000] 27487790694414, 36, 37, 41, 46, 72, 79, 84, 101, 107, 129 [best: 1000] 27917287424014, 36, 37, 41, 47, 65, 90, 110, 141, 161, 165 [best: 1000] 28346784153614, 36, 37, 41, 48, 80, 87, 94, 109, 116, 166 [best: 1000] 28776280883214, 36, 37, 41, 49, 72, 86, 93, 124, 160, 198 [best: 1000] 29205777612814, 36, 37, 41, 50, 60, 94, 98, 121, 126, 151 [best: 1000] 29635274342414, 36, 37, 41, 51, 52, 56, 78, 114, 118, 141 [best: 1000] 30064771072014, 36, 37, 41, 51, 70, 78, 83, 114, 138, 146 [best: 1000] 30494267801614, 36, 37, 41, 52, 68, 77, 100, 130, 133 [best: 1000] 30923764531214, 36, 37, 41, 53, 61, 75, 86, 118, 181, 189 [best: 1000] 31353261260814, 36, 37, 41, 53, 79, 88, 95, 126, 145, 209 [best: 1000] 31782757990414, 36, 37, 41, 54, 63, 87, 89, 121, 135, 159 [best: 1000] 32212254720014, 36, 37, 41, 55, 60, 80, 84, 122, 128, 196 [best: 1000] 32641751449614, 36, 37, 41, 56, 57, 80, 85, 87, 151, 178 [best: 1000] 33071248179214, 36, 37, 41, 56, 72, 73, 84, 135, 176, 178, 183 [best: 1000] 33500744908814, 36, 37, 41, 57, 61, 82, 89, 95, 141, 190 [best: 1000] 33930241638414, 36, 37, 41, 58, 61, 75, 108, 112, 157, 198 [best: 1000] 34359738368014, 36, 37, 41, 59, 64, 71, 82, 89, 118, 175 [best: 1000] 34789235097614, 36, 37, 41, 60, 68, 77, 83, 105, 110, 183 [best: 1000] 35218731827214, 36, 37, 41, 61, 73, 76, 77, 125, 130, 160, 196 [best: 1000] 35648228556814, 36, 37, 41, 63, 68, 76, 110, 116, 124, 144 [best: 1000] 36077725286414, 36, 37, 41, 64, 74, 76, 100, 125, 146, 199 [best: 1000] 36507222016014, 36, 37, 41, 65, 67, 73, 81, 114, 176, 199 [best: 1000] 36936718745614, 36, 37, 41, 66, 73, 98, 102, 143, 144, 187 [best: 1000] 37366215475214, 36, 37, 41, 67, 88, 108, 120, 152, 155, 174 [best: 1000] 37795712204814, 36, 37, 41, 72, 74, 87, 117, 138, 140, 154 [best: 1000] 38225208934414, 36, 37, 41, 77, 78, 103, 109, 114, 135 [best: 1000] 38654705664014, 36, 37, 42, 43, 49, 78, 87, 101, 155, 182 [best: 1000] 39084202393614, 36, 37, 42, 43, 60, 64, 66, 83, 89, 159 [best: 1000] 39513699123214, 36, 37, 42, 43, 77, 95, 103, 140, 162, 164 [best: 1000] 39943195852814, 36, 37, 42, 44, 53, 96, 99, 105, 111, 115 [best: 1000] 40372692582414, 36, 37, 42, 44, 71, 81, 109, 123, 154, 177 [best: 1000] 40802189312014, 36, 37, 42, 45, 51, 97, 115, 116, 171, 205 [best: 1000] 41231686041614, 36, 37, 42, 45, 59, 89, 116, 142, 179, 193 [best: 1000] 41661182771214, 36, 37, 42, 45, 69, 73, 97, 137, 150, 234 [best: 1000] 42090679500814, 36, 37, 42, 45, 87, 90, 124, 130, 184, 199 [best: 1000] 42520176230414, 36, 37, 42, 46, 54, 79, 95, 104, 123, 147 [best: 1000] 42949672960014, 36, 37, 42, 46, 66, 93, 124, 137, 176, 194 [best: 1000] 43379169689614, 36, 37, 42, 47, 50, 81, 93, 130, 153, 177 [best: 1000] 43808666419214, 36, 37, 42, 47, 64, 68, 73, 163, 178, 195 [best: 1000] 44238163148814, 36, 37, 42, 48, 51, 69, 89, 155, 168, 199 [best: 1000] 44667659878414, 36, 37, 42, 48, 76, 77, 90, 135, 166, 193 [best: 1000] 45097156608014, 36, 37, 42, 49, 62, 64, 71, 124, 129, 135 [best: 1000] 45526653337614, 36, 37, 42, 50, 52, 53, 66, 85, 91, 195 [best: 1000] 45956150067214, 36, 37, 42, 50, 61, 66, 67, 127, 164, 204 [best: 1000] 46385646796814, 36, 37, 42, 50, 73, 75, 118, 134, 190, 200 [best: 1000] 46815143526414, 36, 37, 42, 51, 56, 58, 110, 120, 123, 129 [best: 1000] 47244640256014, 36, 37, 42, 51, 66, 101, 113, 129, 140, 173 [best: 1000] 47674136985614, 36, 37, 42, 52, 55, 68, 78, 108, 112, 125 [best: 1000] 48103633715214, 36, 37, 42, 52, 65, 114, 147, 152, 160, 164 [best: 1000] 48533130444814, 36, 37, 42, 53, 55, 57, 80, 98, 100, 101 [best: 1000] 48962627174414, 36, 37, 42, 53, 64, 116, 136, 153, 174, 218, 228 [best: 1000] 49392123904014, 36, 37, 42, 53, 85, 89, 97, 119, 124, 171 [best: 1000] 49821620633614, 36, 37, 42, 54, 64, 69, 154, 185, 212, 253 [best: 1000] 50251117363214, 36, 37, 42, 54, 85, 119, 129, 137, 156, 186, 187 [best: 1000] 50680614092814, 36, 37, 42, 55, 64, 89, 116, 152, 196, 223 [best: 1000] 51110110822414, 36, 37, 42, 55, 87, 108, 136, 144, 171, 191 [best: 1000] 51539607552014, 36, 37, 42, 56, 64, 71, 91, 98, 122, 172, 264 [best: 1000] 51969104281614, 36, 37, 42, 56, 72, 86, 98, 132, 173, 178 [best: 1000] 52398601011214, 36, 37, 42, 56, 89, 99, 114, 140, 148, 218 [best: 1000] 52828097740814, 36, 37, 42, 57, 66, 74, 97, 110, 172, 202 [best: 1000] 53257594470414, 36, 37, 42, 57, 93, 103, 143, 153, 157, 183 [best: 1000] 53687091200014, 36, 37, 42, 58, 68, 95, 96, 97, 113, 128 [best: 1000] 54116587929614, 36, 37, 42, 58, 94, 103, 124, 131, 171, 194 [best: 1000] 54546084659214, 36, 37, 42, 59, 72, 84, 126, 150, 202, 210 [best: 1000] 54975581388814, 36, 37, 42, 60, 65, 89, 136, 140, 175, 205 [best: 1000] 55405078118414, 36, 37, 42, 60, 94, 115, 128, 133, 154, 163 [best: 1000] 55834574848014, 36, 37, 42, 61, 71, 74, 81, 106, 124, 201 [best: 1000] 56264071577614, 36, 37, 42, 62, 63, 71, 75, 94, 120, 178 [best: 1000] 56693568307214, 36, 37, 42, 62, 79, 96, 119, 147, 150, 154, 156 [best: 1000] 57123065036814, 36, 37, 42, 63, 72, 75, 94, 144, 152, 153 [best: 1000] 57552561766414, 36, 37, 42, 64, 67, 85, 101, 119, 169, 218 [best: 1000] 57982058496014, 36, 37, 42, 64, 75, 99, 108, 121, 175, 224 [best: 1000] 58411555225614, 36, 37, 42, 64, 88, 93, 134, 142, 191, 210 [best: 1000] 58841051955214, 36, 37, 42, 65, 69, 98, 139, 159, 203, 253 [best: 1000] 59270548684814, 36, 37, 42, 65, 92, 95, 116, 117, 170, 194 [best: 1000] 59700045414414, 36, 37, 42, 66, 78, 81, 91, 104, 115, 170 [best: 1000] 60129542144014, 36, 37, 42, 67, 72, 93, 106, 127, 151, 188 [best: 1000] 60559038873614, 36, 37, 42, 68, 72, 104, 123, 152, 165, 217 [best: 1000] 60988535603214, 36, 37, 42, 69, 77, 86, 122, 123, 147, 185 [best: 1000] 61418032332814, 36, 37, 42, 69, 96, 109, 120, 138, 167, 199 [best: 1000] 61847529062414, 36, 37, 42, 71, 78, 80, 90, 125, 133, 186 [best: 1000] 62277025792014, 36, 37, 42, 72, 99, 103, 112, 129, 131, 199 [best: 1000] 62706522521614, 36, 37, 42, 75, 76, 100, 130, 145, 164, 197, 232 [best: 1000] 63136019251214, 36, 37, 42, 77, 86, 89, 111, 129, 150, 163 [best: 1000] 63565515980814, 36, 37, 42, 80, 90, 104, 135, 142, 215, 260 [best: 1000] 63995012710414, 36, 37, 43, 44, 61, 69, 114, 121, 125, 153 [best: 1000] 64424509440014, 36, 37, 43, 45, 50, 115, 126, 147, 164, 200 [best: 1000] 64854006169614, 36, 37, 43, 45, 60, 80, 97, 168, 182, 205, 210 [best: 1000] 65283502899214, 36, 37, 43, 45, 77, 83, 85, 155, 176, 204 [best: 1000] 65712999628814, 36, 37, 43, 46, 53, 77, 99, 100, 127, 135 [best: 1000] 66142496358414, 36, 37, 43, 46, 75, 89, 101, 125, 142, 174, 180 [best: 1000] 66571993088014, 36, 37, 43, 47, 63, 65, 82, 106, 118, 121 [best: 1000] 67001489817614, 36, 37, 43, 48, 62, 71, 107, 125, 137, 166 [best: 1000] 67430986547214, 36, 37, 43, 49, 61, 62, 118, 133, 147, 193 [best: 1000] 67860483276814, 36, 37, 43, 50, 54, 64, 67, 74, 185, 223 [best: 1000] 68289980006414, 36, 37, 43, 50, 66, 103, 110, 117, 148, 211 [best: 1000] 68719476736014, 36, 37, 43, 51, 54, 89, 105, 108, 131, 158 [best: 1000] 69148973465614, 36, 37, 43, 51, 69, 100, 121, 127, 137, 209, 262 [best: 1000] 69578470195214, 36, 37, 43, 52, 60, 64, 97, 116, 151, 160 [best: 1000] 70007966924814, 36, 37, 43, 53, 54, 64, 139, 152, 160, 190, 201 [best: 1000] 70437463654414, 36, 37, 43, 53, 63, 89, 106, 111, 145, 158 [best: 1000] 70866960384014, 36, 37, 43, 53, 80, 91, 103, 139, 153, 165 [best: 1000] 71296457113614, 36, 37, 43, 54, 64, 76, 83, 92, 108, 143 [best: 1000] 71725953843214, 36, 37, 43, 55, 62, 66, 119, 135, 166, 173, 211 [best: 1000] 72155450572814, 36, 37, 43, 56, 57, 64, 67, 112, 126, 133, 194 [best: 1000] 72584947302414, 36, 37, 43, 56, 67, 71, 81, 124, 145, 216 [best: 1000] 73014444032014, 36, 37, 43, 56, 85, 112, 119, 124, 152, 192 [best: 1000] 73443940761614, 36, 37, 43, 57, 69, 92, 140, 141, 161, 167, 223 [best: 1000] 73873437491214, 36, 37, 43, 58, 65, 83, 89, 97, 101, 158 [best: 1000] 74302934220814, 36, 37, 43, 59, 64, 82, 91, 107, 110, 132 [best: 1000] 74732430950414, 36, 37, 43, 60, 65, 81, 93, 107, 134, 186 [best: 1000] 75161927680014, 36, 37, 43, 61, 65, 74, 109, 117, 118, 150 [best: 1000] 75591424409614, 36, 37, 43, 61, 94, 122, 135, 148, 150, 159 [best: 1000] 76020921139214, 36, 37, 43, 63, 66, 95, 110, 139, 191, 200 [best: 1000] 76450417868814, 36, 37, 43, 64, 73, 101, 132, 155, 160, 168, 182 [best: 1000] 76879914598414, 36, 37, 43, 64, 93, 97, 119, 120, 138, 169 [best: 1000] 77309411328014, 36, 37, 43, 66, 71, 74, 114, 163, 165, 206 [best: 1000] 77738908057614, 36, 37, 43, 67, 70, 75, 78, 80, 115, 161 [best: 1000] 78168404787214, 36, 37, 43, 68, 85, 92, 125, 133, 152, 198 [best: 1000] 78597901516814, 36, 37, 43, 69, 90, 92, 125, 143, 186, 195, 230 [best: 1000] 79027398246414, 36, 37, 43, 72, 86, 99, 131, 150, 155, 163 [best: 1000] 79456894976014, 36, 37, 43, 77, 78, 99, 103, 122, 142, 162 [best: 1000] 79886391705614, 36, 37, 44, 45, 52, 59, 77, 107, 141, 162 [best: 1000] 80315888435214, 36, 37, 44, 45, 77, 102, 110, 117, 129, 161 [best: 1000] 80745385164814, 36, 37, 44, 47, 52, 53, 56, 73, 148, 176 [best: 1000] 81174881894414, 36, 37, 44, 49, 53, 79, 87, 107, 112, 115 [best: 1000] 81604378624014, 36, 37, 44, 50, 65, 77, 92, 131, 138, 202 [best: 1000] 82033875353614, 36, 37, 44, 52, 53, 55, 60, 72, 133, 150 [best: 1000] 82463372083214, 36, 37, 44, 53, 54, 66, 75, 79, 124, 149 [best: 1000] 82892868812814, 36, 37, 44, 53, 74, 89, 110, 117, 140, 145 [best: 1000] 83322365542414, 36, 37, 44, 54, 73, 97, 116, 126, 157, 166 [best: 1000] 83751862272014, 36, 37, 44, 56, 68, 98, 110, 115, 187, 188 [best: 1000] 84181359001614, 36, 37, 44, 58, 67, 77, 91, 148, 155, 170 [best: 1000] 84610855731214, 36, 37, 44, 61, 64, 76, 92, 110, 140, 214 [best: 1000] 85040352460814, 36, 37, 44, 64, 74, 92, 118, 144, 172, 214 [best: 1000] 85469849190414, 36, 37, 44, 70, 77, 94, 101, 121, 156, 164 [best: 1000] 85899345920014, 36, 37, 45, 46, 59, 79, 83, 98, 129, 155 [best: 1000] 86328842649614, 36, 37, 45, 47, 55, 56, 57, 84, 96, 111 [best: 1000] 86758339379214, 36, 37, 45, 48, 59, 60, 76, 83, 110, 132 [best: 1000] 87187836108814, 36, 37, 45, 49, 61, 80, 107, 120, 161, 181, 196 [best: 1000] 87617332838414, 36, 37, 45, 50, 54, 77, 97, 107, 154, 220 [best: 1000] 88046829568014, 36, 37, 45, 50, 71, 79, 97, 136, 174, 223 [best: 1000] 88476326297614, 36, 37, 45, 51, 57, 84, 134, 140, 151, 185 [best: 1000] 88905823027214, 36, 37, 45, 51, 76, 77, 83, 121, 130, 170 [best: 1000] 89335319756814, 36, 37, 45, 52, 60, 93, 94, 110, 162, 164 [best: 1000] 89764816486414, 36, 37, 45, 52, 79, 100, 124, 154, 171, 221 [best: 1000] 90194313216014, 36, 37, 45, 53, 58, 113, 128, 143, 153, 187, 195 [best: 1000] 90623809945614, 36, 37, 45, 53, 65, 87, 90, 97, 126, 204 [best: 1000] 91053306675214, 36, 37, 45, 53, 76, 92, 94, 102, 110, 182 [best: 1000] 91482803404814, 36, 37, 45, 53, 98, 101, 130, 137, 176, 230 [best: 1000] 91912300134414, 36, 37, 45, 54, 65, 75, 82, 147, 172, 193 [best: 1000] 92341796864014, 36, 37, 45, 55, 57, 84, 88, 129, 163, 192 [best: 1000] 92771293593614, 36, 37, 45, 55, 73, 80, 99, 113, 160, 163 [best: 1000] 93200790323214, 36, 37, 45, 56, 72, 85, 91, 125, 131, 149 [best: 1000] 93630287052814, 36, 37, 45, 58, 59, 63, 78, 111, 177, 192 [best: 1000] 94059783782414, 36, 37, 45, 59, 64, 66, 83, 94, 117, 157 [best: 1000] 94489280512014, 36, 37, 45, 60, 75, 79, 95, 119, 126, 201 [best: 1000] 94918777241614, 36, 37, 45, 61, 78, 91, 106, 132, 176, 187 [best: 1000] 95348273971214, 36, 37, 45, 62, 90, 93, 98, 109, 138, 180 [best: 1000] 95777770700814, 36, 37, 45, 63, 83, 112, 133, 141, 175, 234 [best: 1000] 96207267430414, 36, 37, 45, 64, 72, 83, 85, 122, 144, 154 [best: 1000] 96636764160014, 36, 37, 45, 64, 86, 111, 144, 166, 175, 225 [best: 1000] 97066260889614, 36, 37, 45, 65, 76, 91, 98, 103, 127, 140 [best: 1000] 97495757619214, 36, 37, 45, 66, 85, 95, 124, 132, 148, 150 [best: 1000] 97925254348814, 36, 37, 45, 69, 81, 100, 110, 116, 156, 196 [best: 1000] 98354751078414, 36, 37, 45, 71, 88, 97, 99, 105, 106, 187, 219 [best: 1000] 98784247808014, 36, 37, 45, 76, 83, 88, 101, 133, 138, 183 [best: 1000] 99213744537614, 36, 37, 46, 48, 59, 60, 83, 91, 93, 135 [best: 1000] 99643241267214, 36, 37, 46, 50, 51, 52, 72, 114, 158, 186 [best: 1000] 100072737996814, 36, 37, 46, 50, 74, 81, 113, 129, 139, 145 [best: 1000] 100502234726414, 36, 37, 46, 51, 73, 74, 102, 109, 143, 167 [best: 1000] 100931731456014, 36, 37, 46, 52, 67, 94, 114, 135, 183, 220 [best: 1000] 101361228185614, 36, 37, 46, 53, 59, 85, 97, 146, 159, 174 [best: 1000] 101790724915214, 36, 37, 46, 53, 70, 72, 75, 101, 103, 210 [best: 1000] 102220221644814, 36, 37, 46, 53, 96, 112, 113, 120, 165, 224 [best: 1000] 102649718374414, 36, 37, 46, 54, 81, 94, 121, 133, 138, 139 [best: 1000] 103079215104014, 36, 37, 46, 56, 59, 79, 86, 119, 173, 179 [best: 1000] 103508711833614, 36, 37, 46, 57, 74, 83, 85, 133, 160, 174 [best: 1000] 103938208563214, 36, 37, 46, 59, 74, 114, 142, 175, 184, 191, 233 [best: 1000] 104367705292814, 36, 37, 46, 61, 74, 117, 124, 139, 178, 230 [best: 1000] 104797202022414, 36, 37, 46, 64, 66, 81, 95, 115, 159, 192 [best: 1000] 105226698752014, 36, 37, 46, 64, 86, 93, 95, 106, 145, 158 [best: 1000] 105656195481614, 36, 37, 46, 67, 78, 89, 91, 130, 133, 165 [best: 1000] 106085692211214, 36, 37, 47, 48, 71, 72, 105, 121, 127, 174 [best: 1000] 106515188940814, 36, 37, 47, 50, 57, 88, 99, 134, 190, 193 [best: 1000] 106944685670414, 36, 37, 47, 51, 64, 75, 108, 116, 133, 182 [best: 1000] 107374182400014, 36, 37, 47, 52, 73, 95, 106, 118, 130, 183 [best: 1000] 107803679129614, 36, 37, 47, 53, 65, 95, 110, 141, 166, 196, 233 [best: 1000] 108233175859214, 36, 37, 47, 54, 57, 58, 64, 94, 123, 183 [best: 1000] 108662672588814, 36, 37, 47, 55, 67, 100, 122, 138, 147, 176 [best: 1000] 109092169318414, 36, 37, 47, 57, 64, 75, 86, 113, 203, 223 [best: 1000] 109521666048014, 36, 37, 47, 60, 65, 83, 100, 135, 164, 180, 191 [best: 1000] 109951162777614, 36, 37, 47, 63, 74, 91, 106, 127, 152, 204 [best: 1000] 110380659507214, 36, 37, 47, 65, 74, 75, 126, 136, 172, 197 [best: 1000] 110810156236814, 36, 37, 48, 49, 55, 77, 111, 123, 134, 150 [best: 1000] 111239652966414, 36, 37, 48, 51, 62, 93, 122, 131, 140, 157 [best: 1000] 111669149696014, 36, 37, 48, 53, 57, 77, 81, 90, 145, 180 [best: 1000] 112098646425614, 36, 37, 48, 54, 60, 62, 74, 117, 120, 172 [best: 1000] 112528143155214, 36, 37, 48, 56, 69, 74, 88, 89, 91, 210 [best: 1000] 112957639884814, 36, 37, 48, 61, 63, 82, 86, 92, 98, 115, 130 [best: 1000] 113387136614414, 36, 37, 49, 50, 52, 68, 72, 75, 103, 162 [best: 1000] 113816633344014, 36, 37, 49, 51, 56, 62, 68, 127, 135, 190 [best: 1000] 114246130073614, 36, 37, 49, 52, 59, 72, 128, 134, 178, 191 [best: 1000] 114675626803214, 36, 37, 49, 53, 57, 82, 89, 137, 181, 184 [best: 1000] 115105123532814, 36, 37, 49, 53, 73, 90, 92, 109, 164, 205 [best: 1000] 115534620262414, 36, 37, 49, 54, 67, 80, 119, 134, 140, 141 [best: 1000] 115964116992014, 36, 37, 49, 56, 58, 62, 114, 143, 152, 203 [best: 1000] 116393613721614, 36, 37, 49, 57, 72, 82, 83, 95, 190, 193 [best: 1000] 116823110451214, 36, 37, 49, 60, 66, 83, 94, 99, 103, 105, 124 [best: 1000] 117252607180814, 36, 37, 49, 62, 72, 102, 111, 127, 173, 182 [best: 1000] 117682103910414, 36, 37, 49, 64, 77, 82, 89, 113, 155, 185 [best: 1000] 118111600640014, 36, 37, 50, 51, 52, 72, 88, 116, 158, 187 [best: 1000] 118541097369614, 36, 37, 50, 51, 72, 97, 107, 129, 145, 158 [best: 1000] 118970594099214, 36, 37, 50, 52, 64, 66, 140, 165, 168, 188 [best: 1000] 119400090828814, 36, 37, 50, 53, 55, 64, 80, 90, 168, 205 [best: 1000] 119829587558414, 36, 37, 50, 53, 64, 75, 98, 109, 151, 208 [best: 1000] 120259084288014, 36, 37, 50, 53, 76, 103, 118, 125, 151, 156 [best: 1000] 120688581017614, 36, 37, 50, 54, 56, 61, 86, 95, 131, 169 [best: 1000] 121118077747214, 36, 37, 50, 54, 73, 102, 128, 147, 153, 193 [best: 1000] 121547574476814, 36, 37, 50, 55, 66, 79, 125, 129, 136, 235 [best: 1000] 121977071206414, 36, 37, 50, 56, 64, 75, 90, 153, 189, 211 [best: 1000] 122406567936014, 36, 37, 50, 57, 60, 72, 79, 87, 131, 154 [best: 1000] 122836064665614, 36, 37, 50, 58, 68, 94, 108, 113, 118, 126 [best: 1000] 123265561395214, 36, 37, 50, 60, 65, 68, 79, 82, 124, 175 [best: 1000] 123695058124814, 36, 37, 50, 62, 66, 84, 90, 108, 110, 175 [best: 1000] 124124554854414, 36, 37, 50, 63, 83, 97, 109, 130, 150, 155 [best: 1000] 124554051584014, 36, 37, 50, 64, 79, 105, 155, 157, 212, 216 [best: 1000] 124983548313614, 36, 37, 50, 65, 86, 100, 112, 128, 154, 203 [best: 1000] 125413045043214, 36, 37, 50, 66, 90, 105, 128, 129, 177, 187 [best: 1000] 125842541772814, 36, 37, 50, 69, 73, 90, 99, 106, 114, 160 [best: 1000] 126272038502414, 36, 37, 50, 73, 78, 105, 125, 130, 151, 165 [best: 1000] 126701535232014, 36, 37, 51, 52, 61, 74, 97, 115, 116, 159 [best: 1000] 127131031961614, 36, 37, 51, 53, 56, 92, 132, 134, 141, 170, 218 [best: 1000] 127560528691214, 36, 37, 51, 53, 71, 85, 95, 113, 164, 173 [best: 1000] 127990025420814, 36, 37, 51, 54, 59, 79, 89, 103, 175, 199 [best: 1000] 128419522150414, 36, 37, 51, 55, 56, 59, 89, 103, 111, 151 [best: 1000] 128849018880014, 36, 37, 51, 56, 63, 75, 81, 136, 137, 175 [best: 1000] 129278515609614, 36, 37, 51, 57, 59, 90, 98, 100, 136, 159 [best: 1000] 129708012339214, 36, 37, 51, 58, 71, 81, 90, 114, 164, 196 [best: 1000] 130137509068814, 36, 37, 51, 60, 64, 73, 77, 99, 139, 155 [best: 1000] 130567005798414, 36, 37, 51, 61, 81, 86, 95, 101, 161, 177 [best: 1000] 130996502528014, 36, 37, 51, 64, 69, 83, 115, 138, 140 [best: 1000] 131425999257614, 36, 37, 51, 65, 74, 81, 93, 103, 129, 148 [best: 1000] 131855495987214, 36, 37, 51, 68, 88, 108, 113, 161, 170, 191 [best: 1000] 132284992716814, 36, 37, 51, 71, 80, 86, 97, 116, 147, 156 [best: 1000] 132714489446414, 36, 37, 51, 78, 79, 101, 115, 160, 161, 194 [best: 1000] 133143986176014, 36, 37, 52, 53, 64, 77, 113, 126, 138, 159, 212 [best: 1000] 133573482905614, 36, 37, 52, 53, 85, 104, 107, 133, 142, 160 [best: 1000] 134002979635214, 36, 37, 52, 54, 78, 79, 93, 106, 117, 152 [best: 1000] 134432476364814, 36, 37, 52, 55, 69, 82, 112, 116, 171, 202 [best: 1000] 134861973094414, 36, 37, 52, 56, 64, 86, 106, 169, 180, 188 [best: 1000] 135291469824014, 36, 37, 52, 56, 95, 97, 110, 134, 135, 153 [best: 1000] 135720966553614, 36, 37, 52, 58, 61, 67, 93, 108, 116, 139 [best: 1000] 136150463283214, 36, 37, 52, 59, 69, 75, 83, 101, 122, 170 [best: 1000] 136579960012814, 36, 37, 52, 60, 87, 90, 95, 135, 145, 176 [best: 1000] 137009456742414, 36, 37, 52, 61, 88, 106, 132, 140, 148, 203 [best: 1000] 137438953472014, 36, 37, 52, 63, 90, 101, 108, 131, 134, 208, 213 [best: 1000] 137868450201614, 36, 37, 52, 64, 86, 125, 133, 150, 161, 189 [best: 1000] 138297946931214, 36, 37, 52, 65, 98, 119, 125, 173, 188, 194 [best: 1000] 138727443660814, 36, 37, 52, 68, 91, 106, 117, 141, 159, 168 [best: 1000] 139156940390414, 36, 37, 52, 70, 81, 99, 102, 108, 117, 182 [best: 1000] 139586437120014, 36, 37, 52, 75, 93, 113, 118, 120, 147, 219 [best: 1000] 140015933849614, 36, 37, 53, 54, 58, 64, 108, 143, 174, 193 [best: 1000] 140445430579214, 36, 37, 53, 54, 69, 98, 108, 148, 201, 235 [best: 1000] 140874927308814, 36, 37, 53, 55, 58, 78, 85, 137, 166, 169 [best: 1000] 141304424038414, 36, 37, 53, 55, 69, 112, 121, 153, 176, 183 [best: 1000] 141733920768014, 36, 37, 53, 56, 59, 84, 101, 127, 145, 166 [best: 1000] 142163417497614, 36, 37, 53, 56, 67, 70, 103, 132, 148, 211 [best: 1000] 142592914227214, 36, 37, 53, 56, 76, 88, 98, 136, 157, 215 [best: 1000] 143022410956814, 36, 37, 53, 56, 98, 100, 109, 150, 175, 180 [best: 1000] 143451907686414, 36, 37, 53, 57, 67, 78, 86, 96, 177, 184 [best: 1000] 143881404416014, 36, 37, 53, 57, 83, 97, 112, 146, 178, 220 [best: 1000] 144310901145614, 36, 37, 53, 58, 65, 96, 105, 145, 187, 191 [best: 1000] 144740397875214, 36, 37, 53, 58, 84, 98, 106, 137, 141, 190 [best: 1000] 145169894604814, 36, 37, 53, 59, 68, 90, 117, 145, 147, 183 [best: 1000] 145599391334414, 36, 37, 53, 60, 63, 91, 105, 142, 155, 169 [best: 1000] 146028888064014, 36, 37, 53, 60, 79, 90, 99, 124, 129, 158 [best: 1000] 146458384793614, 36, 37, 53, 61, 66, 87, 104, 136, 187, 198 [best: 1000] 146887881523214, 36, 37, 53, 61, 85, 103, 119, 131, 149, 159 [best: 1000] 147317378252814, 36, 37, 53, 62, 70, 81, 109, 152, 174, 178 [best: 1000] 147746874982414, 36, 37, 53, 63, 64, 94, 98, 116, 140, 195 [best: 1000] 148176371712014, 36, 37, 53, 63, 82, 85, 101, 137, 143, 188 [best: 1000] 148605868441614, 36, 37, 53, 64, 69, 79, 82, 117, 140, 207 [best: 1000] 149035365171214, 36, 37, 53, 64, 77, 95, 143, 148, 180, 213 [best: 1000] 149464861900814, 36, 37, 53, 64, 89, 119, 146, 188, 203, 206 [best: 1000] 149894358630414, 36, 37, 53, 65, 68, 88, 130, 167, 189, 192 [best: 1000] 150323855360014, 36, 37, 53, 65, 85, 94, 109, 131, 143, 162 [best: 1000] 150753352089614, 36, 37, 53, 66, 71, 93, 103, 110, 124, 133 [best: 1000] 151182848819214, 36, 37, 53, 66, 90, 116, 125, 146, 158, 195 [best: 1000] 151612345548814, 36, 37, 53, 67, 80, 84, 116, 137, 145, 166 [best: 1000] 152041842278414, 36, 37, 53, 68, 75, 89, 119, 125, 130 [best: 1000] 152471339008014, 36, 37, 53, 69, 75, 87, 88, 187, 191, 214 [best: 1000] 152900835737614, 36, 37, 53, 69, 89, 136, 154, 174, 193, 213, 242 [best: 1000] 153330332467214, 36, 37, 53, 70, 85, 107, 116, 120, 147, 187 [best: 1000] 153759829196814, 36, 37, 53, 71, 100, 105, 106, 136, 167, 172 [best: 1000] 154189325926414, 36, 37, 53, 73, 89, 101, 111, 148, 185, 209 [best: 1000] 154618822656014, 36, 37, 53, 75, 86, 97, 112, 141, 159, 176 [best: 1000] 155048319385614, 36, 37, 53, 78, 94, 103, 112, 123, 174, 177 [best: 1000] 155477816115214, 36, 37, 53, 82, 83, 90, 121, 126, 133, 152 [best: 1000] 155907312844814, 36, 37, 54, 55, 66, 99, 103, 134, 174, 184 [best: 1000] 156336809574414, 36, 37, 54, 56, 63, 77, 83, 145, 155, 170 [best: 1000] 156766306304014, 36, 37, 54, 56, 87, 99, 106, 115, 139, 174 [best: 1000] 157195803033614, 36, 37, 54, 57, 88, 92, 116, 127, 135, 151 [best: 1000] 157625299763214, 36, 37, 54, 59, 64, 69, 72, 119, 127, 187 [best: 1000] 158054796492814, 36, 37, 54, 60, 74, 97, 114, 150, 164, 176 [best: 1000] 158484293222414, 36, 37, 54, 61, 79, 85, 119, 121, 140, 171 [best: 1000] 158913789952014, 36, 37, 54, 62, 88, 100, 111, 130, 173, 180 [best: 1000] 159343286681614, 36, 37, 54, 64, 76, 86, 97, 152, 189, 207 [best: 1000] 159772783411214, 36, 37, 54, 65, 83, 93, 95, 150, 180, 204 [best: 1000] 160202280140814, 36, 37, 54, 67, 71, 82, 94, 135, 139, 147, 201 [best: 1000] 160631776870414, 36, 37, 54, 69, 76, 103, 108, 128, 179, 196 [best: 1000] 161061273600014, 36, 37, 54, 71, 83, 96, 110, 116, 120, 121 [best: 1000] 161490770329614, 36, 37, 54, 77, 79, 80, 84, 123, 152, 170 [best: 1000] 161920267059214, 36, 37, 55, 56, 64, 97, 133, 167, 185, 201, 219 [best: 1000] 162349763788814, 36, 37, 55, 57, 59, 91, 96, 126, 158, 199 [best: 1000] 162779260518414, 36, 37, 55, 58, 68, 81, 104, 120, 149, 153 [best: 1000] 163208757248014, 36, 37, 55, 59, 84, 88, 96, 116, 136, 162 [best: 1000] 163638253977614, 36, 37, 55, 61, 69, 83, 84, 132, 141, 147 [best: 1000] 164067750707214, 36, 37, 55, 63, 69, 118, 139, 149, 163, 218 [best: 1000] 164497247436814, 36, 37, 55, 64, 80, 102, 118, 130, 137, 181 [best: 1000] 164926744166414, 36, 37, 55, 65, 83, 104, 125, 136, 141, 181 [best: 1000] 165356240896014, 36, 37, 55, 68, 87, 99, 101, 117, 127, 178 [best: 1000] 165785737625614, 36, 37, 55, 71, 72, 92, 109, 118, 127, 175 [best: 1000] 166215234355214, 36, 37, 55, 78, 82, 96, 105, 111, 118, 162 [best: 1000] 166644731084814, 36, 37, 56, 58, 59, 89, 94, 100, 102, 151 [best: 1000] 167074227814414, 36, 37, 56, 59, 64, 100, 111, 132, 156, 214, 250 [best: 1000] 167503724544014, 36, 37, 56, 60, 70, 78, 111, 126, 169, 172 [best: 1000] 167933221273614, 36, 37, 56, 61, 74, 75, 100, 149, 178, 208 [best: 1000] 168362718003214, 36, 37, 56, 62, 70, 96, 112, 122, 139, 187 [best: 1000] 168792214732814, 36, 37, 56, 63, 66, 67, 95, 105, 174, 181 [best: 1000] 169221711462414, 36, 37, 56, 64, 66, 100, 123, 143, 170, 177 [best: 1000] 169651208192014, 36, 37, 56, 64, 78, 89, 90, 99, 126, 178 [best: 1000] 170080704921614, 36, 37, 56, 64, 98, 111, 119, 120, 133, 218 [best: 1000] 170510201651214, 36, 37, 56, 66, 67, 107, 125, 150, 153, 244 [best: 1000] 170939698380814, 36, 37, 56, 67, 70, 74, 79, 94, 166, 176 [best: 1000] 171369195110414, 36, 37, 56, 68, 85, 96, 112, 119, 140, 150, 166 [best: 1000] 171798691840014, 36, 37, 56, 72, 79, 100, 105, 121, 154, 163 [best: 1000] 172228188569614, 36, 37, 57, 59, 61, 68, 77, 102, 128, 142 [best: 1000] 172657685299214, 36, 37, 57, 61, 62, 68, 75, 102, 165, 177 [best: 1000] 173087182028814, 36, 37, 57, 62, 70, 74, 88, 122, 143, 175, 185 [best: 1000] 173516678758414, 36, 37, 57, 64, 66, 95, 110, 136, 140, 176 [best: 1000] 173946175488014, 36, 37, 57, 64, 84, 106, 116, 151, 164, 173 [best: 1000] 174375672217614, 36, 37, 57, 66, 83, 92, 112, 125, 163, 165 [best: 1000] 174805168947214, 36, 37, 57, 71, 73, 84, 97, 111, 129, 148 [best: 1000] 175234665676814, 36, 37, 58, 60, 65, 76, 91, 144, 201, 219 [best: 1000] 175664162406414, 36, 37, 58, 62, 63, 78, 111, 142, 169, 178 [best: 1000] 176093659136014, 36, 37, 58, 63, 79, 100, 128, 141, 194, 209 [best: 1000] 176523155865614, 36, 37, 58, 64, 76, 77, 98, 158, 169, 177 [best: 1000] 176952652595214, 36, 37, 58, 65, 71, 74, 102, 135, 143, 196 [best: 1000] 177382149324814, 36, 37, 58, 68, 69, 97, 104, 118, 139, 143 [best: 1000] 177811646054414, 36, 37, 58, 71, 80, 88, 96, 115, 117, 132, 197 [best: 1000] 178241142784014, 36, 37, 59, 61, 76, 85, 122, 131, 166, 189 [best: 1000] 178670639513614, 36, 37, 59, 64, 68, 109, 111, 130, 133, 141, 154, 203 [best: 1000] 179100136243214, 36, 37, 59, 65, 67, 70, 83, 128, 148, 163 [best: 1000] 179529632972814, 36, 37, 59, 67, 75, 95, 99, 113, 116, 119, 218 [best: 1000] 179959129702414, 36, 37, 59, 71, 78, 91, 122, 147, 173, 206 [best: 1000] 180388626432014, 36, 37, 60, 63, 64, 97, 111, 155, 171, 230 [best: 1000] 180818123161614, 36, 37, 60, 64, 72, 78, 94, 98, 115, 181 [best: 1000] 181247619891214, 36, 37, 60, 65, 69, 96, 108, 143, 172, 197 [best: 1000] 181677116620814, 36, 37, 60, 68, 78, 89, 90, 147, 179, 191, 201 [best: 1000] 182106613350414, 36, 37, 61, 62, 64, 72, 113, 131, 150, 182 [best: 1000] 182536110080014, 36, 37, 61, 63, 67, 77, 89, 109, 134, 173 [best: 1000] 182965606809614, 36, 37, 61, 64, 73, 77, 103, 121, 178, 216 [best: 1000] 183395103539214, 36, 37, 61, 64, 91, 120, 139, 154, 192, 218 [best: 1000] 183824600268814, 36, 37, 61, 66, 69, 98, 132, 141, 176, 188 [best: 1000] 184254096998414, 36, 37, 61, 67, 85, 93, 110, 130, 147, 200 [best: 1000] 184683593728014, 36, 37, 61, 70, 76, 77, 84, 87, 139 [best: 1000] 1851130904576total chains: 1853568609522new 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: 1 11 11 11 11 8: 24 322 13 5 21 9: 598 8871 14 3 2810: 16730 272234 16 1 3311: 532783 9606599 18 1 3812: 19196575 381237812 19 0 4313: 773833866 16792008277 21 0 4814: 34543026904 813847486111 23 0 5315: 2500885117 60284208347 24 0 5616: 15732732 459965491 29 1 5917: 26136 950400 36 8 5718: 41 1656 40 26 5319: 0 0 0 0 020: 0 0 0 0 0real 106m4.975suser 106m4.962ssys 0m0.000sEOMstderr from container: time="2025-04-27T02:35:21Z" level=warning msg="Using cgroups-v1 which is deprecated in favor of cgroups-v2 with Podman v5 and will be removed in a future version. Set environment variable `PODMAN_IGNORE_CGROUPSV1_WARNING` to hide this warning."N = 15, MAX_LENGTH: 21, CAPTURE_STATS: 17 targets: 010010000001110 000001100001101 001000000000101 010010010010000 010111010100000 011100000000110 00111110111111114, 36, 37 [best: 1000] 014, 36, 37, 38, 40, 45, 53, 93, 139, 156, 165 [best: 1000] 429496729614, 36, 37, 38, 41, 46, 67, 82, 115, 116, 151 [best: 1000] 858993459214, 36, 37, 38, 41, 69, 70, 108, 119, 154, 169, 179 [best: 1000] 1288490188814, 36, 37, 38, 42, 51, 60, 67, 84, 112, 134 [best: 1000] 1717986918414, 36, 37, 38, 42, 67, 69, 72, 76, 103, 127 [best: 1000] 2147483648014, 36, 37, 38, 43, 47, 90, 94, 131, 167, 173 [best: 1000] 2576980377614, 36, 37, 38, 43, 66, 75, 107, 124, 183, 205 [best: 1000] 3006477107214, 36, 37, 38, 44, 60, 77, 90, 99, 116, 123 [best: 1000] 3435973836814, 36, 37, 38, 45, 61, 66, 105, 130, 175, 213 [best: 1000] 3865470566414, 36, 37, 38, 46, 57, 71, 83, 86, 128, 147 [best: 1000] 4294967296014, 36, 37, 38, 47, 74, 77, 82, 83, 104 [best: 1000] 4724464025614, 36, 37, 38, 49, 71, 79, 83, 105, 106, 151 [best: 1000] 5153960755214, 36, 37, 38, 51, 52, 82, 92, 137, 164, 165 [best: 1000] 5583457484814, 36, 37, 38, 52, 56, 90, 99, 100, 128, 129 [best: 1000] 6012954214414, 36, 37, 38, 53, 57, 67, 76, 108, 148, 171, 208 [best: 1000] 6442450944014, 36, 37, 38, 53, 75, 76, 101, 146, 159, 234 [best: 1000] 6871947673614, 36, 37, 38, 54, 66, 82, 90, 110, 150, 174 [best: 1000] 7301444403214, 36, 37, 38, 56, 57, 62, 74, 86, 98, 187 [best: 1000] 7730941132814, 36, 37, 38, 57, 67, 81, 86, 109, 130, 195 [best: 1000] 8160437862414, 36, 37, 38, 60, 62, 92, 109, 144, 191, 216 [best: 1000] 8589934592014, 36, 37, 38, 62, 72, 80, 96, 143, 171, 173 [best: 1000] 9019431321614, 36, 37, 38, 64, 77, 96, 105, 128, 135, 143 [best: 1000] 9448928051214, 36, 37, 38, 67, 75, 93, 103, 144, 146, 212 [best: 1000] 9878424780814, 36, 37, 39, 40, 49, 55, 97, 100, 105, 135 [best: 1000] 10307921510414, 36, 37, 39, 41, 55, 70, 73, 129, 156, 206 [best: 1000] 10737418240014, 36, 37, 39, 42, 49, 52, 68, 83, 123, 150 [best: 1000] 11166914969614, 36, 37, 39, 42, 71, 78, 84, 93, 162, 184 [best: 1000] 11596411699214, 36, 37, 39, 43, 56, 91, 112, 136, 145, 174 [best: 1000] 12025908428814, 36, 37, 39, 44, 60, 68, 87, 99, 125, 132 [best: 1000] 12455405158414, 36, 37, 39, 45, 71, 99, 106, 109, 120, 189 [best: 1000] 12884901888014, 36, 37, 39, 47, 61, 75, 94, 112, 132, 169 [best: 1000] 13314398617614, 36, 37, 39, 50, 54, 65, 70, 113, 129, 151 [best: 1000] 13743895347214, 36, 37, 39, 51, 75, 106, 109, 111, 142, 193 [best: 1000] 14173392076814, 36, 37, 39, 53, 60, 76, 78, 111, 130, 160 [best: 1000] 14602888806414, 36, 37, 39, 54, 62, 71, 84, 86, 100, 121 [best: 1000] 15032385536014, 36, 37, 39, 56, 67, 81, 107, 123, 132, 136, 144 [best: 1000] 15461882265614, 36, 37, 39, 60, 64, 98, 110, 111, 131, 141 [best: 1000] 15891378995214, 36, 37, 39, 64, 74, 86, 93, 107, 165, 192 [best: 1000] 16320875724814, 36, 37, 40, 41, 47, 74, 95, 106, 120, 127 [best: 1000] 16750372454414, 36, 37, 40, 42, 44, 64, 90, 114, 149, 150 [best: 1000] 17179869184014, 36, 37, 40, 42, 60, 62, 109, 110, 127, 143 [best: 1000] 17609365913614, 36, 37, 40, 43, 48, 73, 107, 148, 182, 194 [best: 1000] 18038862643214, 36, 37, 40, 43, 74, 97, 99, 110, 114, 169 [best: 1000] 18468359372814, 36, 37, 40, 45, 52, 68, 83, 110, 132, 190 [best: 1000] 18897856102414, 36, 37, 40, 46, 48, 54, 58, 64, 78, 136 [best: 1000] 19327352832014, 36, 37, 40, 47, 65, 70, 92, 116, 128, 136 [best: 1000] 19756849561614, 36, 37, 40, 50, 52, 78, 126, 127, 143, 166 [best: 1000] 20186346291214, 36, 37, 40, 51, 64, 67, 73, 79, 87, 112 [best: 1000] 20615843020814, 36, 37, 40, 53, 55, 71, 81, 142, 159, 162 [best: 1000] 21045339750414, 36, 37, 40, 53, 78, 99, 119, 139, 154, 180 [best: 1000] 21474836480014, 36, 37, 40, 55, 60, 64, 69, 114, 117, 170 [best: 1000] 21904333209614, 36, 37, 40, 56, 86, 89, 106, 122, 125, 166 [best: 1000] 22333829939214, 36, 37, 40, 60, 61, 65, 78, 91, 115, 162 [best: 1000] 22763326668814, 36, 37, 40, 64, 73, 101, 109, 117, 120, 199 [best: 1000] 23192823398414, 36, 37, 41, 42, 45, 48, 76, 86, 90, 104 [best: 1000] 23622320128014, 36, 37, 41, 42, 55, 63, 72, 103, 152, 181 [best: 1000] 24051816857614, 36, 37, 41, 42, 66, 94, 103, 116, 121, 157 [best: 1000] 24481313587214, 36, 37, 41, 43, 45, 100, 106, 164, 185, 214, 229 [best: 1000] 24910810316814, 36, 37, 41, 43, 59, 81, 103, 116, 186, 193 [best: 1000] 25340307046414, 36, 37, 41, 44, 46, 58, 64, 91, 131, 209 [best: 1000] 25769803776014, 36, 37, 41, 44, 67, 94, 116, 119, 164, 204 [best: 1000] 26199300505614, 36, 37, 41, 45, 53, 101, 104, 118, 124, 187 [best: 1000] 26628797235214, 36, 37, 41, 45, 67, 82, 132, 153, 154, 157 [best: 1000] 27058293964814, 36, 37, 41, 46, 50, 69, 88, 103, 129, 160 [best: 1000] 27487790694414, 36, 37, 41, 46, 72, 79, 84, 101, 107, 129 [best: 1000] 27917287424014, 36, 37, 41, 47, 65, 90, 110, 141, 161, 165 [best: 1000] 28346784153614, 36, 37, 41, 48, 80, 87, 94, 109, 116, 166 [best: 1000] 28776280883214, 36, 37, 41, 49, 72, 86, 93, 124, 160, 198 [best: 1000] 29205777612814, 36, 37, 41, 50, 60, 94, 98, 121, 126, 151 [best: 1000] 29635274342414, 36, 37, 41, 51, 52, 56, 78, 114, 118, 141 [best: 1000] 30064771072014, 36, 37, 41, 51, 70, 78, 83, 114, 138, 146 [best: 1000] 30494267801614, 36, 37, 41, 52, 68, 77, 100, 130, 133 [best: 1000] 30923764531214, 36, 37, 41, 53, 61, 75, 86, 118, 181, 189 [best: 1000] 31353261260814, 36, 37, 41, 53, 79, 88, 95, 126, 145, 209 [best: 1000] 31782757990414, 36, 37, 41, 54, 63, 87, 89, 121, 135, 159 [best: 1000] 32212254720014, 36, 37, 41, 55, 60, 80, 84, 122, 128, 196 [best: 1000] 32641751449614, 36, 37, 41, 56, 57, 80, 85, 87, 151, 178 [best: 1000] 33071248179214, 36, 37, 41, 56, 72, 73, 84, 135, 176, 178, 183 [best: 1000] 33500744908814, 36, 37, 41, 57, 61, 82, 89, 95, 141, 190 [best: 1000] 33930241638414, 36, 37, 41, 58, 61, 75, 108, 112, 157, 198 [best: 1000] 34359738368014, 36, 37, 41, 59, 64, 71, 82, 89, 118, 175 [best: 1000] 34789235097614, 36, 37, 41, 60, 68, 77, 83, 105, 110, 183 [best: 1000] 35218731827214, 36, 37, 41, 61, 73, 76, 77, 125, 130, 160, 196 [best: 1000] 35648228556814, 36, 37, 41, 63, 68, 76, 110, 116, 124, 144 [best: 1000] 36077725286414, 36, 37, 41, 64, 74, 76, 100, 125, 146, 199 [best: 1000] 36507222016014, 36, 37, 41, 65, 67, 73, 81, 114, 176, 199 [best: 1000] 36936718745614, 36, 37, 41, 66, 73, 98, 102, 143, 144, 187 [best: 1000] 37366215475214, 36, 37, 41, 67, 88, 108, 120, 152, 155, 174 [best: 1000] 37795712204814, 36, 37, 41, 72, 74, 87, 117, 138, 140, 154 [best: 1000] 38225208934414, 36, 37, 41, 77, 78, 103, 109, 114, 135 [best: 1000] 38654705664014, 36, 37, 42, 43, 49, 78, 87, 101, 155, 182 [best: 1000] 39084202393614, 36, 37, 42, 43, 60, 64, 66, 83, 89, 159 [best: 1000] 39513699123214, 36, 37, 42, 43, 77, 95, 103, 140, 162, 164 [best: 1000] 39943195852814, 36, 37, 42, 44, 53, 96, 99, 105, 111, 115 [best: 1000] 40372692582414, 36, 37, 42, 44, 71, 81, 109, 123, 154, 177 [best: 1000] 40802189312014, 36, 37, 42, 45, 51, 97, 115, 116, 171, 205 [best: 1000] 41231686041614, 36, 37, 42, 45, 59, 89, 116, 142, 179, 193 [best: 1000] 41661182771214, 36, 37, 42, 45, 69, 73, 97, 137, 150, 234 [best: 1000] 42090679500814, 36, 37, 42, 45, 87, 90, 124, 130, 184, 199 [best: 1000] 42520176230414, 36, 37, 42, 46, 54, 79, 95, 104, 123, 147 [best: 1000] 42949672960014, 36, 37, 42, 46, 66, 93, 124, 137, 176, 194 [best: 1000] 43379169689614, 36, 37, 42, 47, 50, 81, 93, 130, 153, 177 [best: 1000] 43808666419214, 36, 37, 42, 47, 64, 68, 73, 163, 178, 195 [best: 1000] 44238163148814, 36, 37, 42, 48, 51, 69, 89, 155, 168, 199 [best: 1000] 44667659878414, 36, 37, 42, 48, 76, 77, 90, 135, 166, 193 [best: 1000] 45097156608014, 36, 37, 42, 49, 62, 64, 71, 124, 129, 135 [best: 1000] 45526653337614, 36, 37, 42, 50, 52, 53, 66, 85, 91, 195 [best: 1000] 45956150067214, 36, 37, 42, 50, 61, 66, 67, 127, 164, 204 [best: 1000] 46385646796814, 36, 37, 42, 50, 73, 75, 118, 134, 190, 200 [best: 1000] 46815143526414, 36, 37, 42, 51, 56, 58, 110, 120, 123, 129 [best: 1000] 47244640256014, 36, 37, 42, 51, 66, 101, 113, 129, 140, 173 [best: 1000] 47674136985614, 36, 37, 42, 52, 55, 68, 78, 108, 112, 125 [best: 1000] 48103633715214, 36, 37, 42, 52, 65, 114, 147, 152, 160, 164 [best: 1000] 48533130444814, 36, 37, 42, 53, 55, 57, 80, 98, 100, 101 [best: 1000] 48962627174414, 36, 37, 42, 53, 64, 116, 136, 153, 174, 218, 228 [best: 1000] 49392123904014, 36, 37, 42, 53, 85, 89, 97, 119, 124, 171 [best: 1000] 49821620633614, 36, 37, 42, 54, 64, 69, 154, 185, 212, 253 [best: 1000] 50251117363214, 36, 37, 42, 54, 85, 119, 129, 137, 156, 186, 187 [best: 1000] 50680614092814, 36, 37, 42, 55, 64, 89, 116, 152, 196, 223 [best: 1000] 51110110822414, 36, 37, 42, 55, 87, 108, 136, 144, 171, 191 [best: 1000] 51539607552014, 36, 37, 42, 56, 64, 71, 91, 98, 122, 172, 264 [best: 1000] 51969104281614, 36, 37, 42, 56, 72, 86, 98, 132, 173, 178 [best: 1000] 52398601011214, 36, 37, 42, 56, 89, 99, 114, 140, 148, 218 [best: 1000] 52828097740814, 36, 37, 42, 57, 66, 74, 97, 110, 172, 202 [best: 1000] 53257594470414, 36, 37, 42, 57, 93, 103, 143, 153, 157, 183 [best: 1000] 53687091200014, 36, 37, 42, 58, 68, 95, 96, 97, 113, 128 [best: 1000] 54116587929614, 36, 37, 42, 58, 94, 103, 124, 131, 171, 194 [best: 1000] 54546084659214, 36, 37, 42, 59, 72, 84, 126, 150, 202, 210 [best: 1000] 54975581388814, 36, 37, 42, 60, 65, 89, 136, 140, 175, 205 [best: 1000] 55405078118414, 36, 37, 42, 60, 94, 115, 128, 133, 154, 163 [best: 1000] 55834574848014, 36, 37, 42, 61, 71, 74, 81, 106, 124, 201 [best: 1000] 56264071577614, 36, 37, 42, 62, 63, 71, 75, 94, 120, 178 [best: 1000] 56693568307214, 36, 37, 42, 62, 79, 96, 119, 147, 150, 154, 156 [best: 1000] 57123065036814, 36, 37, 42, 63, 72, 75, 94, 144, 152, 153 [best: 1000] 57552561766414, 36, 37, 42, 64, 67, 85, 101, 119, 169, 218 [best: 1000] 57982058496014, 36, 37, 42, 64, 75, 99, 108, 121, 175, 224 [best: 1000] 58411555225614, 36, 37, 42, 64, 88, 93, 134, 142, 191, 210 [best: 1000] 58841051955214, 36, 37, 42, 65, 69, 98, 139, 159, 203, 253 [best: 1000] 59270548684814, 36, 37, 42, 65, 92, 95, 116, 117, 170, 194 [best: 1000] 59700045414414, 36, 37, 42, 66, 78, 81, 91, 104, 115, 170 [best: 1000] 60129542144014, 36, 37, 42, 67, 72, 93, 106, 127, 151, 188 [best: 1000] 60559038873614, 36, 37, 42, 68, 72, 104, 123, 152, 165, 217 [best: 1000] 60988535603214, 36, 37, 42, 69, 77, 86, 122, 123, 147, 185 [best: 1000] 61418032332814, 36, 37, 42, 69, 96, 109, 120, 138, 167, 199 [best: 1000] 61847529062414, 36, 37, 42, 71, 78, 80, 90, 125, 133, 186 [best: 1000] 62277025792014, 36, 37, 42, 72, 99, 103, 112, 129, 131, 199 [best: 1000] 62706522521614, 36, 37, 42, 75, 76, 100, 130, 145, 164, 197, 232 [best: 1000] 63136019251214, 36, 37, 42, 77, 86, 89, 111, 129, 150, 163 [best: 1000] 63565515980814, 36, 37, 42, 80, 90, 104, 135, 142, 215, 260 [best: 1000] 63995012710414, 36, 37, 43, 44, 61, 69, 114, 121, 125, 153 [best: 1000] 64424509440014, 36, 37, 43, 45, 50, 115, 126, 147, 164, 200 [best: 1000] 64854006169614, 36, 37, 43, 45, 60, 80, 97, 168, 182, 205, 210 [best: 1000] 65283502899214, 36, 37, 43, 45, 77, 83, 85, 155, 176, 204 [best: 1000] 65712999628814, 36, 37, 43, 46, 53, 77, 99, 100, 127, 135 [best: 1000] 66142496358414, 36, 37, 43, 46, 75, 89, 101, 125, 142, 174, 180 [best: 1000] 66571993088014, 36, 37, 43, 47, 63, 65, 82, 106, 118, 121 [best: 1000] 67001489817614, 36, 37, 43, 48, 62, 71, 107, 125, 137, 166 [best: 1000] 67430986547214, 36, 37, 43, 49, 61, 62, 118, 133, 147, 193 [best: 1000] 67860483276814, 36, 37, 43, 50, 54, 64, 67, 74, 185, 223 [best: 1000] 68289980006414, 36, 37, 43, 50, 66, 103, 110, 117, 148, 211 [best: 1000] 68719476736014, 36, 37, 43, 51, 54, 89, 105, 108, 131, 158 [best: 1000] 69148973465614, 36, 37, 43, 51, 69, 100, 121, 127, 137, 209, 262 [best: 1000] 69578470195214, 36, 37, 43, 52, 60, 64, 97, 116, 151, 160 [best: 1000] 70007966924814, 36, 37, 43, 53, 54, 64, 139, 152, 160, 190, 201 [best: 1000] 70437463654414, 36, 37, 43, 53, 63, 89, 106, 111, 145, 158 [best: 1000] 70866960384014, 36, 37, 43, 53, 80, 91, 103, 139, 153, 165 [best: 1000] 71296457113614, 36, 37, 43, 54, 64, 76, 83, 92, 108, 143 [best: 1000] 71725953843214, 36, 37, 43, 55, 62, 66, 119, 135, 166, 173, 211 [best: 1000] 72155450572814, 36, 37, 43, 56, 57, 64, 67, 112, 126, 133, 194 [best: 1000] 72584947302414, 36, 37, 43, 56, 67, 71, 81, 124, 145, 216 [best: 1000] 73014444032014, 36, 37, 43, 56, 85, 112, 119, 124, 152, 192 [best: 1000] 73443940761614, 36, 37, 43, 57, 69, 92, 140, 141, 161, 167, 223 [best: 1000] 73873437491214, 36, 37, 43, 58, 65, 83, 89, 97, 101, 158 [best: 1000] 74302934220814, 36, 37, 43, 59, 64, 82, 91, 107, 110, 132 [best: 1000] 74732430950414, 36, 37, 43, 60, 65, 81, 93, 107, 134, 186 [best: 1000] 75161927680014, 36, 37, 43, 61, 65, 74, 109, 117, 118, 150 [best: 1000] 75591424409614, 36, 37, 43, 61, 94, 122, 135, 148, 150, 159 [best: 1000] 76020921139214, 36, 37, 43, 63, 66, 95, 110, 139, 191, 200 [best: 1000] 76450417868814, 36, 37, 43, 64, 73, 101, 132, 155, 160, 168, 182 [best: 1000] 76879914598414, 36, 37, 43, 64, 93, 97, 119, 120, 138, 169 [best: 1000] 77309411328014, 36, 37, 43, 66, 71, 74, 114, 163, 165, 206 [best: 1000] 77738908057614, 36, 37, 43, 67, 70, 75, 78, 80, 115, 161 [best: 1000] 78168404787214, 36, 37, 43, 68, 85, 92, 125, 133, 152, 198 [best: 1000] 78597901516814, 36, 37, 43, 69, 90, 92, 125, 143, 186, 195, 230 [best: 1000] 79027398246414, 36, 37, 43, 72, 86, 99, 131, 150, 155, 163 [best: 1000] 79456894976014, 36, 37, 43, 77, 78, 99, 103, 122, 142, 162 [best: 1000] 79886391705614, 36, 37, 44, 45, 52, 59, 77, 107, 141, 162 [best: 1000] 80315888435214, 36, 37, 44, 45, 77, 102, 110, 117, 129, 161 [best: 1000] 80745385164814, 36, 37, 44, 47, 52, 53, 56, 73, 148, 176 [best: 1000] 81174881894414, 36, 37, 44, 49, 53, 79, 87, 107, 112, 115 [best: 1000] 81604378624014, 36, 37, 44, 50, 65, 77, 92, 131, 138, 202 [best: 1000] 82033875353614, 36, 37, 44, 52, 53, 55, 60, 72, 133, 150 [best: 1000] 82463372083214, 36, 37, 44, 53, 54, 66, 75, 79, 124, 149 [best: 1000] 82892868812814, 36, 37, 44, 53, 74, 89, 110, 117, 140, 145 [best: 1000] 83322365542414, 36, 37, 44, 54, 73, 97, 116, 126, 157, 166 [best: 1000] 83751862272014, 36, 37, 44, 56, 68, 98, 110, 115, 187, 188 [best: 1000] 84181359001614, 36, 37, 44, 58, 67, 77, 91, 148, 155, 170 [best: 1000] 84610855731214, 36, 37, 44, 61, 64, 76, 92, 110, 140, 214 [best: 1000] 85040352460814, 36, 37, 44, 64, 74, 92, 118, 144, 172, 214 [best: 1000] 85469849190414, 36, 37, 44, 70, 77, 94, 101, 121, 156, 164 [best: 1000] 85899345920014, 36, 37, 45, 46, 59, 79, 83, 98, 129, 155 [best: 1000] 86328842649614, 36, 37, 45, 47, 55, 56, 57, 84, 96, 111 [best: 1000] 86758339379214, 36, 37, 45, 48, 59, 60, 76, 83, 110, 132 [best: 1000] 87187836108814, 36, 37, 45, 49, 61, 80, 107, 120, 161, 181, 196 [best: 1000] 87617332838414, 36, 37, 45, 50, 54, 77, 97, 107, 154, 220 [best: 1000] 88046829568014, 36, 37, 45, 50, 71, 79, 97, 136, 174, 223 [best: 1000] 88476326297614, 36, 37, 45, 51, 57, 84, 134, 140, 151, 185 [best: 1000] 88905823027214, 36, 37, 45, 51, 76, 77, 83, 121, 130, 170 [best: 1000] 89335319756814, 36, 37, 45, 52, 60, 93, 94, 110, 162, 164 [best: 1000] 89764816486414, 36, 37, 45, 52, 79, 100, 124, 154, 171, 221 [best: 1000] 90194313216014, 36, 37, 45, 53, 58, 113, 128, 143, 153, 187, 195 [best: 1000] 90623809945614, 36, 37, 45, 53, 65, 87, 90, 97, 126, 204 [best: 1000] 91053306675214, 36, 37, 45, 53, 76, 92, 94, 102, 110, 182 [best: 1000] 91482803404814, 36, 37, 45, 53, 98, 101, 130, 137, 176, 230 [best: 1000] 91912300134414, 36, 37, 45, 54, 65, 75, 82, 147, 172, 193 [best: 1000] 92341796864014, 36, 37, 45, 55, 57, 84, 88, 129, 163, 192 [best: 1000] 92771293593614, 36, 37, 45, 55, 73, 80, 99, 113, 160, 163 [best: 1000] 93200790323214, 36, 37, 45, 56, 72, 85, 91, 125, 131, 149 [best: 1000] 93630287052814, 36, 37, 45, 58, 59, 63, 78, 111, 177, 192 [best: 1000] 94059783782414, 36, 37, 45, 59, 64, 66, 83, 94, 117, 157 [best: 1000] 94489280512014, 36, 37, 45, 60, 75, 79, 95, 119, 126, 201 [best: 1000] 94918777241614, 36, 37, 45, 61, 78, 91, 106, 132, 176, 187 [best: 1000] 95348273971214, 36, 37, 45, 62, 90, 93, 98, 109, 138, 180 [best: 1000] 95777770700814, 36, 37, 45, 63, 83, 112, 133, 141, 175, 234 [best: 1000] 96207267430414, 36, 37, 45, 64, 72, 83, 85, 122, 144, 154 [best: 1000] 96636764160014, 36, 37, 45, 64, 86, 111, 144, 166, 175, 225 [best: 1000] 97066260889614, 36, 37, 45, 65, 76, 91, 98, 103, 127, 140 [best: 1000] 97495757619214, 36, 37, 45, 66, 85, 95, 124, 132, 148, 150 [best: 1000] 97925254348814, 36, 37, 45, 69, 81, 100, 110, 116, 156, 196 [best: 1000] 98354751078414, 36, 37, 45, 71, 88, 97, 99, 105, 106, 187, 219 [best: 1000] 98784247808014, 36, 37, 45, 76, 83, 88, 101, 133, 138, 183 [best: 1000] 99213744537614, 36, 37, 46, 48, 59, 60, 83, 91, 93, 135 [best: 1000] 99643241267214, 36, 37, 46, 50, 51, 52, 72, 114, 158, 186 [best: 1000] 100072737996814, 36, 37, 46, 50, 74, 81, 113, 129, 139, 145 [best: 1000] 100502234726414, 36, 37, 46, 51, 73, 74, 102, 109, 143, 167 [best: 1000] 100931731456014, 36, 37, 46, 52, 67, 94, 114, 135, 183, 220 [best: 1000] 101361228185614, 36, 37, 46, 53, 59, 85, 97, 146, 159, 174 [best: 1000] 101790724915214, 36, 37, 46, 53, 70, 72, 75, 101, 103, 210 [best: 1000] 102220221644814, 36, 37, 46, 53, 96, 112, 113, 120, 165, 224 [best: 1000] 102649718374414, 36, 37, 46, 54, 81, 94, 121, 133, 138, 139 [best: 1000] 103079215104014, 36, 37, 46, 56, 59, 79, 86, 119, 173, 179 [best: 1000] 103508711833614, 36, 37, 46, 57, 74, 83, 85, 133, 160, 174 [best: 1000] 103938208563214, 36, 37, 46, 59, 74, 114, 142, 175, 184, 191, 233 [best: 1000] 104367705292814, 36, 37, 46, 61, 74, 117, 124, 139, 178, 230 [best: 1000] 104797202022414, 36, 37, 46, 64, 66, 81, 95, 115, 159, 192 [best: 1000] 105226698752014, 36, 37, 46, 64, 86, 93, 95, 106, 145, 158 [best: 1000] 105656195481614, 36, 37, 46, 67, 78, 89, 91, 130, 133, 165 [best: 1000] 106085692211214, 36, 37, 47, 48, 71, 72, 105, 121, 127, 174 [best: 1000] 106515188940814, 36, 37, 47, 50, 57, 88, 99, 134, 190, 193 [best: 1000] 106944685670414, 36, 37, 47, 51, 64, 75, 108, 116, 133, 182 [best: 1000] 107374182400014, 36, 37, 47, 52, 73, 95, 106, 118, 130, 183 [best: 1000] 107803679129614, 36, 37, 47, 53, 65, 95, 110, 141, 166, 196, 233 [best: 1000] 108233175859214, 36, 37, 47, 54, 57, 58, 64, 94, 123, 183 [best: 1000] 108662672588814, 36, 37, 47, 55, 67, 100, 122, 138, 147, 176 [best: 1000] 109092169318414, 36, 37, 47, 57, 64, 75, 86, 113, 203, 223 [best: 1000] 109521666048014, 36, 37, 47, 60, 65, 83, 100, 135, 164, 180, 191 [best: 1000] 109951162777614, 36, 37, 47, 63, 74, 91, 106, 127, 152, 204 [best: 1000] 110380659507214, 36, 37, 47, 65, 74, 75, 126, 136, 172, 197 [best: 1000] 110810156236814, 36, 37, 48, 49, 55, 77, 111, 123, 134, 150 [best: 1000] 111239652966414, 36, 37, 48, 51, 62, 93, 122, 131, 140, 157 [best: 1000] 111669149696014, 36, 37, 48, 53, 57, 77, 81, 90, 145, 180 [best: 1000] 112098646425614, 36, 37, 48, 54, 60, 62, 74, 117, 120, 172 [best: 1000] 112528143155214, 36, 37, 48, 56, 69, 74, 88, 89, 91, 210 [best: 1000] 112957639884814, 36, 37, 48, 61, 63, 82, 86, 92, 98, 115, 130 [best: 1000] 113387136614414, 36, 37, 49, 50, 52, 68, 72, 75, 103, 162 [best: 1000] 113816633344014, 36, 37, 49, 51, 56, 62, 68, 127, 135, 190 [best: 1000] 114246130073614, 36, 37, 49, 52, 59, 72, 128, 134, 178, 191 [best: 1000] 114675626803214, 36, 37, 49, 53, 57, 82, 89, 137, 181, 184 [best: 1000] 115105123532814, 36, 37, 49, 53, 73, 90, 92, 109, 164, 205 [best: 1000] 115534620262414, 36, 37, 49, 54, 67, 80, 119, 134, 140, 141 [best: 1000] 115964116992014, 36, 37, 49, 56, 58, 62, 114, 143, 152, 203 [best: 1000] 116393613721614, 36, 37, 49, 57, 72, 82, 83, 95, 190, 193 [best: 1000] 116823110451214, 36, 37, 49, 60, 66, 83, 94, 99, 103, 105, 124 [best: 1000] 117252607180814, 36, 37, 49, 62, 72, 102, 111, 127, 173, 182 [best: 1000] 117682103910414, 36, 37, 49, 64, 77, 82, 89, 113, 155, 185 [best: 1000] 118111600640014, 36, 37, 50, 51, 52, 72, 88, 116, 158, 187 [best: 1000] 118541097369614, 36, 37, 50, 51, 72, 97, 107, 129, 145, 158 [best: 1000] 118970594099214, 36, 37, 50, 52, 64, 66, 140, 165, 168, 188 [best: 1000] 119400090828814, 36, 37, 50, 53, 55, 64, 80, 90, 168, 205 [best: 1000] 119829587558414, 36, 37, 50, 53, 64, 75, 98, 109, 151, 208 [best: 1000] 120259084288014, 36, 37, 50, 53, 76, 103, 118, 125, 151, 156 [best: 1000] 120688581017614, 36, 37, 50, 54, 56, 61, 86, 95, 131, 169 [best: 1000] 121118077747214, 36, 37, 50, 54, 73, 102, 128, 147, 153, 193 [best: 1000] 121547574476814, 36, 37, 50, 55, 66, 79, 125, 129, 136, 235 [best: 1000] 121977071206414, 36, 37, 50, 56, 64, 75, 90, 153, 189, 211 [best: 1000] 122406567936014, 36, 37, 50, 57, 60, 72, 79, 87, 131, 154 [best: 1000] 122836064665614, 36, 37, 50, 58, 68, 94, 108, 113, 118, 126 [best: 1000] 123265561395214, 36, 37, 50, 60, 65, 68, 79, 82, 124, 175 [best: 1000] 123695058124814, 36, 37, 50, 62, 66, 84, 90, 108, 110, 175 [best: 1000] 124124554854414, 36, 37, 50, 63, 83, 97, 109, 130, 150, 155 [best: 1000] 124554051584014, 36, 37, 50, 64, 79, 105, 155, 157, 212, 216 [best: 1000] 124983548313614, 36, 37, 50, 65, 86, 100, 112, 128, 154, 203 [best: 1000] 125413045043214, 36, 37, 50, 66, 90, 105, 128, 129, 177, 187 [best: 1000] 125842541772814, 36, 37, 50, 69, 73, 90, 99, 106, 114, 160 [best: 1000] 126272038502414, 36, 37, 50, 73, 78, 105, 125, 130, 151, 165 [best: 1000] 126701535232014, 36, 37, 51, 52, 61, 74, 97, 115, 116, 159 [best: 1000] 127131031961614, 36, 37, 51, 53, 56, 92, 132, 134, 141, 170, 218 [best: 1000] 127560528691214, 36, 37, 51, 53, 71, 85, 95, 113, 164, 173 [best: 1000] 127990025420814, 36, 37, 51, 54, 59, 79, 89, 103, 175, 199 [best: 1000] 128419522150414, 36, 37, 51, 55, 56, 59, 89, 103, 111, 151 [best: 1000] 128849018880014, 36, 37, 51, 56, 63, 75, 81, 136, 137, 175 [best: 1000] 129278515609614, 36, 37, 51, 57, 59, 90, 98, 100, 136, 159 [best: 1000] 129708012339214, 36, 37, 51, 58, 71, 81, 90, 114, 164, 196 [best: 1000] 130137509068814, 36, 37, 51, 60, 64, 73, 77, 99, 139, 155 [best: 1000] 130567005798414, 36, 37, 51, 61, 81, 86, 95, 101, 161, 177 [best: 1000] 130996502528014, 36, 37, 51, 64, 69, 83, 115, 138, 140 [best: 1000] 131425999257614, 36, 37, 51, 65, 74, 81, 93, 103, 129, 148 [best: 1000] 131855495987214, 36, 37, 51, 68, 88, 108, 113, 161, 170, 191 [best: 1000] 132284992716814, 36, 37, 51, 71, 80, 86, 97, 116, 147, 156 [best: 1000] 132714489446414, 36, 37, 51, 78, 79, 101, 115, 160, 161, 194 [best: 1000] 133143986176014, 36, 37, 52, 53, 64, 77, 113, 126, 138, 159, 212 [best: 1000] 133573482905614, 36, 37, 52, 53, 85, 104, 107, 133, 142, 160 [best: 1000] 134002979635214, 36, 37, 52, 54, 78, 79, 93, 106, 117, 152 [best: 1000] 134432476364814, 36, 37, 52, 55, 69, 82, 112, 116, 171, 202 [best: 1000] 134861973094414, 36, 37, 52, 56, 64, 86, 106, 169, 180, 188 [best: 1000] 135291469824014, 36, 37, 52, 56, 95, 97, 110, 134, 135, 153 [best: 1000] 135720966553614, 36, 37, 52, 58, 61, 67, 93, 108, 116, 139 [best: 1000] 136150463283214, 36, 37, 52, 59, 69, 75, 83, 101, 122, 170 [best: 1000] 136579960012814, 36, 37, 52, 60, 87, 90, 95, 135, 145, 176 [best: 1000] 137009456742414, 36, 37, 52, 61, 88, 106, 132, 140, 148, 203 [best: 1000] 137438953472014, 36, 37, 52, 63, 90, 101, 108, 131, 134, 208, 213 [best: 1000] 137868450201614, 36, 37, 52, 64, 86, 125, 133, 150, 161, 189 [best: 1000] 138297946931214, 36, 37, 52, 65, 98, 119, 125, 173, 188, 194 [best: 1000] 138727443660814, 36, 37, 52, 68, 91, 106, 117, 141, 159, 168 [best: 1000] 139156940390414, 36, 37, 52, 70, 81, 99, 102, 108, 117, 182 [best: 1000] 139586437120014, 36, 37, 52, 75, 93, 113, 118, 120, 147, 219 [best: 1000] 140015933849614, 36, 37, 53, 54, 58, 64, 108, 143, 174, 193 [best: 1000] 140445430579214, 36, 37, 53, 54, 69, 98, 108, 148, 201, 235 [best: 1000] 140874927308814, 36, 37, 53, 55, 58, 78, 85, 137, 166, 169 [best: 1000] 141304424038414, 36, 37, 53, 55, 69, 112, 121, 153, 176, 183 [best: 1000] 141733920768014, 36, 37, 53, 56, 59, 84, 101, 127, 145, 166 [best: 1000] 142163417497614, 36, 37, 53, 56, 67, 70, 103, 132, 148, 211 [best: 1000] 142592914227214, 36, 37, 53, 56, 76, 88, 98, 136, 157, 215 [best: 1000] 143022410956814, 36, 37, 53, 56, 98, 100, 109, 150, 175, 180 [best: 1000] 143451907686414, 36, 37, 53, 57, 67, 78, 86, 96, 177, 184 [best: 1000] 143881404416014, 36, 37, 53, 57, 83, 97, 112, 146, 178, 220 [best: 1000] 144310901145614, 36, 37, 53, 58, 65, 96, 105, 145, 187, 191 [best: 1000] 144740397875214, 36, 37, 53, 58, 84, 98, 106, 137, 141, 190 [best: 1000] 145169894604814, 36, 37, 53, 59, 68, 90, 117, 145, 147, 183 [best: 1000] 145599391334414, 36, 37, 53, 60, 63, 91, 105, 142, 155, 169 [best: 1000] 146028888064014, 36, 37, 53, 60, 79, 90, 99, 124, 129, 158 [best: 1000] 146458384793614, 36, 37, 53, 61, 66, 87, 104, 136, 187, 198 [best: 1000] 146887881523214, 36, 37, 53, 61, 85, 103, 119, 131, 149, 159 [best: 1000] 147317378252814, 36, 37, 53, 62, 70, 81, 109, 152, 174, 178 [best: 1000] 147746874982414, 36, 37, 53, 63, 64, 94, 98, 116, 140, 195 [best: 1000] 148176371712014, 36, 37, 53, 63, 82, 85, 101, 137, 143, 188 [best: 1000] 148605868441614, 36, 37, 53, 64, 69, 79, 82, 117, 140, 207 [best: 1000] 149035365171214, 36, 37, 53, 64, 77, 95, 143, 148, 180, 213 [best: 1000] 149464861900814, 36, 37, 53, 64, 89, 119, 146, 188, 203, 206 [best: 1000] 149894358630414, 36, 37, 53, 65, 68, 88, 130, 167, 189, 192 [best: 1000] 150323855360014, 36, 37, 53, 65, 85, 94, 109, 131, 143, 162 [best: 1000] 150753352089614, 36, 37, 53, 66, 71, 93, 103, 110, 124, 133 [best: 1000] 151182848819214, 36, 37, 53, 66, 90, 116, 125, 146, 158, 195 [best: 1000] 151612345548814, 36, 37, 53, 67, 80, 84, 116, 137, 145, 166 [best: 1000] 152041842278414, 36, 37, 53, 68, 75, 89, 119, 125, 130 [best: 1000] 152471339008014, 36, 37, 53, 69, 75, 87, 88, 187, 191, 214 [best: 1000] 152900835737614, 36, 37, 53, 69, 89, 136, 154, 174, 193, 213, 242 [best: 1000] 153330332467214, 36, 37, 53, 70, 85, 107, 116, 120, 147, 187 [best: 1000] 153759829196814, 36, 37, 53, 71, 100, 105, 106, 136, 167, 172 [best: 1000] 154189325926414, 36, 37, 53, 73, 89, 101, 111, 148, 185, 209 [best: 1000] 154618822656014, 36, 37, 53, 75, 86, 97, 112, 141, 159, 176 [best: 1000] 155048319385614, 36, 37, 53, 78, 94, 103, 112, 123, 174, 177 [best: 1000] 155477816115214, 36, 37, 53, 82, 83, 90, 121, 126, 133, 152 [best: 1000] 155907312844814, 36, 37, 54, 55, 66, 99, 103, 134, 174, 184 [best: 1000] 156336809574414, 36, 37, 54, 56, 63, 77, 83, 145, 155, 170 [best: 1000] 156766306304014, 36, 37, 54, 56, 87, 99, 106, 115, 139, 174 [best: 1000] 157195803033614, 36, 37, 54, 57, 88, 92, 116, 127, 135, 151 [best: 1000] 157625299763214, 36, 37, 54, 59, 64, 69, 72, 119, 127, 187 [best: 1000] 158054796492814, 36, 37, 54, 60, 74, 97, 114, 150, 164, 176 [best: 1000] 158484293222414, 36, 37, 54, 61, 79, 85, 119, 121, 140, 171 [best: 1000] 158913789952014, 36, 37, 54, 62, 88, 100, 111, 130, 173, 180 [best: 1000] 159343286681614, 36, 37, 54, 64, 76, 86, 97, 152, 189, 207 [best: 1000] 159772783411214, 36, 37, 54, 65, 83, 93, 95, 150, 180, 204 [best: 1000] 160202280140814, 36, 37, 54, 67, 71, 82, 94, 135, 139, 147, 201 [best: 1000] 160631776870414, 36, 37, 54, 69, 76, 103, 108, 128, 179, 196 [best: 1000] 161061273600014, 36, 37, 54, 71, 83, 96, 110, 116, 120, 121 [best: 1000] 161490770329614, 36, 37, 54, 77, 79, 80, 84, 123, 152, 170 [best: 1000] 161920267059214, 36, 37, 55, 56, 64, 97, 133, 167, 185, 201, 219 [best: 1000] 162349763788814, 36, 37, 55, 57, 59, 91, 96, 126, 158, 199 [best: 1000] 162779260518414, 36, 37, 55, 58, 68, 81, 104, 120, 149, 153 [best: 1000] 163208757248014, 36, 37, 55, 59, 84, 88, 96, 116, 136, 162 [best: 1000] 163638253977614, 36, 37, 55, 61, 69, 83, 84, 132, 141, 147 [best: 1000] 164067750707214, 36, 37, 55, 63, 69, 118, 139, 149, 163, 218 [best: 1000] 164497247436814, 36, 37, 55, 64, 80, 102, 118, 130, 137, 181 [best: 1000] 164926744166414, 36, 37, 55, 65, 83, 104, 125, 136, 141, 181 [best: 1000] 165356240896014, 36, 37, 55, 68, 87, 99, 101, 117, 127, 178 [best: 1000] 165785737625614, 36, 37, 55, 71, 72, 92, 109, 118, 127, 175 [best: 1000] 166215234355214, 36, 37, 55, 78, 82, 96, 105, 111, 118, 162 [best: 1000] 166644731084814, 36, 37, 56, 58, 59, 89, 94, 100, 102, 151 [best: 1000] 167074227814414, 36, 37, 56, 59, 64, 100, 111, 132, 156, 214, 250 [best: 1000] 167503724544014, 36, 37, 56, 60, 70, 78, 111, 126, 169, 172 [best: 1000] 167933221273614, 36, 37, 56, 61, 74, 75, 100, 149, 178, 208 [best: 1000] 168362718003214, 36, 37, 56, 62, 70, 96, 112, 122, 139, 187 [best: 1000] 168792214732814, 36, 37, 56, 63, 66, 67, 95, 105, 174, 181 [best: 1000] 169221711462414, 36, 37, 56, 64, 66, 100, 123, 143, 170, 177 [best: 1000] 169651208192014, 36, 37, 56, 64, 78, 89, 90, 99, 126, 178 [best: 1000] 170080704921614, 36, 37, 56, 64, 98, 111, 119, 120, 133, 218 [best: 1000] 170510201651214, 36, 37, 56, 66, 67, 107, 125, 150, 153, 244 [best: 1000] 170939698380814, 36, 37, 56, 67, 70, 74, 79, 94, 166, 176 [best: 1000] 171369195110414, 36, 37, 56, 68, 85, 96, 112, 119, 140, 150, 166 [best: 1000] 171798691840014, 36, 37, 56, 72, 79, 100, 105, 121, 154, 163 [best: 1000] 172228188569614, 36, 37, 57, 59, 61, 68, 77, 102, 128, 142 [best: 1000] 172657685299214, 36, 37, 57, 61, 62, 68, 75, 102, 165, 177 [best: 1000] 173087182028814, 36, 37, 57, 62, 70, 74, 88, 122, 143, 175, 185 [best: 1000] 173516678758414, 36, 37, 57, 64, 66, 95, 110, 136, 140, 176 [best: 1000] 173946175488014, 36, 37, 57, 64, 84, 106, 116, 151, 164, 173 [best: 1000] 174375672217614, 36, 37, 57, 66, 83, 92, 112, 125, 163, 165 [best: 1000] 174805168947214, 36, 37, 57, 71, 73, 84, 97, 111, 129, 148 [best: 1000] 175234665676814, 36, 37, 58, 60, 65, 76, 91, 144, 201, 219 [best: 1000] 175664162406414, 36, 37, 58, 62, 63, 78, 111, 142, 169, 178 [best: 1000] 176093659136014, 36, 37, 58, 63, 79, 100, 128, 141, 194, 209 [best: 1000] 176523155865614, 36, 37, 58, 64, 76, 77, 98, 158, 169, 177 [best: 1000] 176952652595214, 36, 37, 58, 65, 71, 74, 102, 135, 143, 196 [best: 1000] 177382149324814, 36, 37, 58, 68, 69, 97, 104, 118, 139, 143 [best: 1000] 177811646054414, 36, 37, 58, 71, 80, 88, 96, 115, 117, 132, 197 [best: 1000] 178241142784014, 36, 37, 59, 61, 76, 85, 122, 131, 166, 189 [best: 1000] 178670639513614, 36, 37, 59, 64, 68, 109, 111, 130, 133, 141, 154, 203 [best: 1000] 179100136243214, 36, 37, 59, 65, 67, 70, 83, 128, 148, 163 [best: 1000] 179529632972814, 36, 37, 59, 67, 75, 95, 99, 113, 116, 119, 218 [best: 1000] 179959129702414, 36, 37, 59, 71, 78, 91, 122, 147, 173, 206 [best: 1000] 180388626432014, 36, 37, 60, 63, 64, 97, 111, 155, 171, 230 [best: 1000] 180818123161614, 36, 37, 60, 64, 72, 78, 94, 98, 115, 181 [best: 1000] 181247619891214, 36, 37, 60, 65, 69, 96, 108, 143, 172, 197 [best: 1000] 181677116620814, 36, 37, 60, 68, 78, 89, 90, 147, 179, 191, 201 [best: 1000] 182106613350414, 36, 37, 61, 62, 64, 72, 113, 131, 150, 182 [best: 1000] 182536110080014, 36, 37, 61, 63, 67, 77, 89, 109, 134, 173 [best: 1000] 182965606809614, 36, 37, 61, 64, 73, 77, 103, 121, 178, 216 [best: 1000] 183395103539214, 36, 37, 61, 64, 91, 120, 139, 154, 192, 218 [best: 1000] 183824600268814, 36, 37, 61, 66, 69, 98, 132, 141, 176, 188 [best: 1000] 184254096998414, 36, 37, 61, 67, 85, 93, 110, 130, 147, 200 [best: 1000] 184683593728014, 36, 37, 61, 70, 76, 77, 84, 87, 139 [best: 1000] 1851130904576total chains: 1853568609522new 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: 1 11 11 11 11 8: 24 322 13 5 21 9: 598 8871 14 3 2810: 16730 272234 16 1 3311: 532783 9606599 18 1 3812: 19196575 381237812 19 0 4313: 773833866 16792008277 21 0 4814: 34543026904 813847486111 23 0 5315: 2500885117 60284208347 24 0 5616: 15732732 459965491 29 1 5917: 26136 950400 36 8 5718: 41 1656 40 26 5319: 0 0 0 0 020: 0 0 0 0 0real 106m4.975suser 106m4.962ssys 0m0.000sEOMstderr end running docker command: stop boinc__boinc.berkeley.edu_central__batch_88__job_job-003035_0 command output: time="2025-04-27T02:35:22Z" level=warning msg="Using cgroups-v1 which is deprecated in favor of cgroups-v2 with Podman v5 and will be removed in a future version. Set environment variable `PODMAN_IGNORE_CGROUPSV1_WARNING` to hide this warning."boinc__boinc.berkeley.edu_central__batch_88__job_job-003035_0EOMrunning docker command: container rm boinc__boinc.berkeley.edu_central__batch_88__job_job-003035_0 command output: time="2025-04-27T02:35:23Z" level=warning msg="Using cgroups-v1 which is deprecated in favor of cgroups-v2 with Podman v5 and will be removed in a future version. Set environment variable `PODMAN_IGNORE_CGROUPSV1_WARNING` to hide this warning."boinc__boinc.berkeley.edu_central__batch_88__job_job-003035_0EOMrunning docker command: image rm boinc__boinc.berkeley.edu_central__batch_88__job_job-003035 command output: time="2025-04-27T02:35:23Z" level=warning msg="Using cgroups-v1 which is deprecated in favor of cgroups-v2 with Podman v5 and will be removed in a future version. Set environment variable `PODMAN_IGNORE_CGROUPSV1_WARNING` to hide this warning."Untagged: localhost/boinc__boinc.berkeley.edu_central__batch_88__job_job-003035:latestEOM2025-04-26 22:35:23 (9668): called boinc_finish(0) </stderr_txt> ]]>
©2025 UC Berkeley