2025-11-19 15:43:33,509 …          Beginning sampling...
2025-11-19 15:43:33,513 ℹ          Creating analysis with 5 priors, 0 EOS-wide constraints, 2 global options, 1 manually-entered constraints and 1 fixed parameters.
2025-11-19 15:43:33,513 DEBUG      priors:
2025-11-19 15:43:33,513 DEBUG       - B_s->D_s::alpha^f+_0@BSZ2015 (uniform)
2025-11-19 15:43:33,513 DEBUG       - B_s->D_s::alpha^f+_1@BSZ2015 (uniform)
2025-11-19 15:43:33,514 DEBUG       - B_s->D_s::alpha^f+_2@BSZ2015 (uniform)
2025-11-19 15:43:33,514 DEBUG       - B_s->D_s::alpha^f0_1@BSZ2015 (uniform)
2025-11-19 15:43:33,514 DEBUG       - B_s->D_s::alpha^f0_2@BSZ2015 (uniform)
2025-11-19 15:43:33,514 DEBUG      constraints:
2025-11-19 15:43:33,514 DEBUG      manual_constraints:
2025-11-19 15:43:33,515 DEBUG       - B_s^0->D_s^+mu^-nu::KinematicalDistribution[kperp,response]@Projection
2025-11-19 15:43:33,515 DEBUG      fixed_parameters:
2025-11-19 15:43:33,515 DEBUG       - CKM::abs(V_cb)
2025-11-19 15:43:33,555 ℹ          likelihood probably depends on 57 parameter(s) that do not appear in the prior; check prior?
2025-11-19 15:43:33,555 DEBUG      used, but not included in any prior: 'sbcu::mu'
2025-11-19 15:43:33,555 DEBUG      used, but not included in any prior: 'cbmunumu::mu'
2025-11-19 15:43:33,556 DEBUG      used, but not included in any prior: 'WET::G_Fermi'
2025-11-19 15:43:33,556 DEBUG      used, but not included in any prior: 'mass::u(2GeV)'
2025-11-19 15:43:33,556 DEBUG      used, but not included in any prior: 'CKM::arg(V_ud)'
2025-11-19 15:43:33,556 DEBUG      used, but not included in any prior: 'CKM::abs(V_us)'
2025-11-19 15:43:33,556 DEBUG      used, but not included in any prior: 'mass::Z'
2025-11-19 15:43:33,556 DEBUG      used, but not included in any prior: 'CKM::abs(V_ud)'
2025-11-19 15:43:33,557 DEBUG      used, but not included in any prior: 'QM::hbar'
2025-11-19 15:43:33,557 DEBUG      used, but not included in any prior: 'mass::d(2GeV)'
2025-11-19 15:43:33,557 DEBUG      used, but not included in any prior: 'b->s::mu_0c'
2025-11-19 15:43:33,557 DEBUG      used, but not included in any prior: 'CKM::arg(V_td)'
2025-11-19 15:43:33,557 DEBUG      used, but not included in any prior: 'life_time::B_s'
2025-11-19 15:43:33,557 DEBUG      used, but not included in any prior: 'CKM::abs(V_ts)'
2025-11-19 15:43:33,558 DEBUG      used, but not included in any prior: 'CKM::arg(V_us)'
2025-11-19 15:43:33,558 DEBUG      used, but not included in any prior: 'mass::b(MSbar)'
2025-11-19 15:43:33,558 DEBUG      used, but not included in any prior: 'sbsb::mu_0'
2025-11-19 15:43:33,558 DEBUG      used, but not included in any prior: 'QCD::Lambda'
2025-11-19 15:43:33,558 DEBUG      used, but not included in any prior: 'CKM::abs(V_cd)'
2025-11-19 15:43:33,558 DEBUG      used, but not included in any prior: 'mass::s(2GeV)'
2025-11-19 15:43:33,558 DEBUG      used, but not included in any prior: 'mass::mu'
2025-11-19 15:43:33,559 DEBUG      used, but not included in any prior: 'b->s::mu_0t'
2025-11-19 15:43:33,559 DEBUG      used, but not included in any prior: 'CKM::abs(V_td)'
2025-11-19 15:43:33,559 DEBUG      used, but not included in any prior: 'CKM::abs(V_tb)'
2025-11-19 15:43:33,559 DEBUG      used, but not included in any prior: 'mass::D_s'
2025-11-19 15:43:33,559 DEBUG      used, but not included in any prior: 'sbcu::mu_0'
2025-11-19 15:43:33,559 DEBUG      used, but not included in any prior: 'dcnuee::mu'
2025-11-19 15:43:33,560 DEBUG      used, but not included in any prior: 'dbcu::mu_0'
2025-11-19 15:43:33,560 DEBUG      used, but not included in any prior: 'QCD::mu_c'
2025-11-19 15:43:33,560 DEBUG      used, but not included in any prior: 'dbcu::mu'
2025-11-19 15:43:33,560 DEBUG      used, but not included in any prior: 'B_s->D_s::alpha^fT_0@BSZ2015'
2025-11-19 15:43:33,560 DEBUG      used, but not included in any prior: 'QED::alpha_e(m_c)'
2025-11-19 15:43:33,560 DEBUG      used, but not included in any prior: 'B_s->D_s::alpha^fT_2@BSZ2015'
2025-11-19 15:43:33,561 DEBUG      used, but not included in any prior: 'mass::B_s'
2025-11-19 15:43:33,561 DEBUG      used, but not included in any prior: 'CKM::arg(V_cs)'
2025-11-19 15:43:33,561 DEBUG      used, but not included in any prior: 'CKM::arg(V_tb)'
2025-11-19 15:43:33,561 DEBUG      used, but not included in any prior: 'B_s->D_s::alpha^fT_1@BSZ2015'
2025-11-19 15:43:33,561 DEBUG      used, but not included in any prior: 'CKM::arg(V_ts)'
2025-11-19 15:43:33,561 DEBUG      used, but not included in any prior: 'sbnunu::mu_0'
2025-11-19 15:43:33,562 DEBUG      used, but not included in any prior: 'QCD::mu_b'
2025-11-19 15:43:33,562 DEBUG      used, but not included in any prior: 'scnutautau::mu'
2025-11-19 15:43:33,562 DEBUG      used, but not included in any prior: 'CKM::arg(V_ub)'
2025-11-19 15:43:33,562 DEBUG      used, but not included in any prior: 'CKM::abs(V_cs)'
2025-11-19 15:43:33,562 DEBUG      used, but not included in any prior: 'mass::W'
2025-11-19 15:43:33,562 DEBUG      used, but not included in any prior: 'dcnumumu::mu'
2025-11-19 15:43:33,563 DEBUG      used, but not included in any prior: 'QCD::alpha_s(MZ)'
2025-11-19 15:43:33,563 DEBUG      used, but not included in any prior: 'QCD::mu_t'
2025-11-19 15:43:33,563 DEBUG      used, but not included in any prior: 'mass::c'
2025-11-19 15:43:33,563 DEBUG      used, but not included in any prior: 'scnuee::mu'
2025-11-19 15:43:33,563 DEBUG      used, but not included in any prior: 'CKM::arg(V_cd)'
2025-11-19 15:43:33,563 DEBUG      used, but not included in any prior: 'CKM::abs(V_ub)'
2025-11-19 15:43:33,563 DEBUG      used, but not included in any prior: 'GSW::sin^2(theta)'
2025-11-19 15:43:33,564 DEBUG      used, but not included in any prior: 'CKM::arg(V_cb)'
2025-11-19 15:43:33,564 DEBUG      used, but not included in any prior: 'mass::t(pole)'
2025-11-19 15:43:33,564 DEBUG      used, but not included in any prior: 'scnumumu::mu'
2025-11-19 15:43:33,564 DEBUG      used, but not included in any prior: 'dcnutautau::mu'
2025-11-19 15:43:33,564 DEBUG      used, but not included in any prior: 'sbsb::mu'
2025-11-19 15:44:03,207 ℹ          iteration 1 | batch: 0 | bound: 0 | nc: 1 | ncall: 1 | eff(%):  0.498 | loglstar:   -inf < -2922.208 <    inf | logz: -2928.205 +/-  0.173 | dlogz:    inf >  1.000
2025-11-19 15:44:18,340 ℹ          iteration 74 | batch: 0 | bound: 0 | nc: 1 | ncall: 104 | eff(%): 24.342 | loglstar:   -inf < -633.948 <    inf | logz: -640.308 +/-  0.178 | dlogz: 798.825 >  1.000
2025-11-19 15:44:33,500 ℹ          iteration 136 | batch: 0 | bound: 0 | nc: 3 | ncall: 210 | eff(%): 33.171 | loglstar:   -inf < -241.855 <    inf | logz: -248.524 +/-  0.182 | dlogz: 406.779 >  1.000
2025-11-19 15:44:48,808 ℹ          iteration 178 | batch: 0 | bound: 0 | nc: 5 | ncall: 317 | eff(%): 34.429 | loglstar:   -inf < -125.756 <    inf | logz: -132.496 +/-  0.177 | dlogz: 284.465 >  1.000
2025-11-19 15:45:03,862 ℹ          iteration 218 | batch: 0 | bound: 0 | nc: 3 | ncall: 421 | eff(%): 35.105 | loglstar:   -inf < -52.721 <    inf | logz: -58.443 +/-  0.156 | dlogz: 208.420 >  1.000
2025-11-19 15:45:19,092 ℹ          iteration 260 | batch: 0 | bound: 0 | nc: 5 | ncall: 525 | eff(%): 35.862 | loglstar:   -inf < -6.356 <    inf | logz: -12.771 +/-  0.175 | dlogz: 163.441 >  1.000
2025-11-19 15:45:35,358 ℹ          iteration 287 | batch: 0 | bound: 0 | nc: 18 | ncall: 636 | eff(%): 34.330 | loglstar:   -inf < 19.349 <    inf | logz: 13.306 +/-  0.157 | dlogz: 136.447 >  1.000
2025-11-19 15:45:50,721 ℹ          iteration 312 | batch: 0 | bound: 0 | nc: 6 | ncall: 743 | eff(%): 33.086 | loglstar:   -inf < 49.795 <    inf | logz: 43.259 +/-  0.173 | dlogz: 106.870 >  1.000
2025-11-19 15:46:06,455 ℹ          iteration 327 | batch: 0 | bound: 0 | nc: 7 | ncall: 853 | eff(%): 31.054 | loglstar:   -inf < 57.303 <    inf | logz: 51.209 +/-  0.166 | dlogz: 98.398 >  1.000
2025-11-19 15:46:22,699 ℹ          iteration 349 | batch: 0 | bound: 0 | nc: 20 | ncall: 967 | eff(%): 29.906 | loglstar:   -inf < 66.919 <    inf | logz: 61.053 +/-  0.157 | dlogz: 88.290 >  1.000
2025-11-19 15:46:37,813 ℹ          iteration 363 | batch: 0 | bound: 0 | nc: 13 | ncall: 1070 | eff(%): 28.583 | loglstar:   -inf < 72.248 <    inf | logz: 66.507 +/-  0.155 | dlogz: 82.657 >  1.000
2025-11-19 15:46:53,063 ℹ          iteration 380 | batch: 0 | bound: 0 | nc: 2 | ncall: 1177 | eff(%): 27.596 | loglstar:   -inf < 79.937 <    inf | logz: 73.869 +/-  0.161 | dlogz: 75.337 >  1.000
2025-11-19 15:47:08,676 ℹ          iteration 399 | batch: 0 | bound: 0 | nc: 14 | ncall: 1285 | eff(%): 26.869 | loglstar:   -inf < 88.427 <    inf | logz: 82.298 +/-  0.164 | dlogz: 66.806 >  1.000
2025-11-19 15:47:23,795 ℹ          iteration 412 | batch: 0 | bound: 0 | nc: 2 | ncall: 1388 | eff(%): 25.945 | loglstar:   -inf < 94.530 <    inf | logz: 88.463 +/-  0.162 | dlogz: 60.501 >  1.000
2025-11-19 15:47:38,964 ℹ          iteration 424 | batch: 0 | bound: 0 | nc: 12 | ncall: 1491 | eff(%): 25.074 | loglstar:   -inf < 96.177 <    inf | logz: 90.600 +/-  0.153 | dlogz: 58.203 >  1.000
2025-11-19 15:47:54,184 ℹ          iteration 438 | batch: 0 | bound: 0 | nc: 11 | ncall: 1597 | eff(%): 24.374 | loglstar:   -inf < 99.548 <    inf | logz: 93.841 +/-  0.157 | dlogz: 54.902 >  1.000
2025-11-19 15:48:09,885 ℹ          iteration 449 | batch: 0 | bound: 0 | nc: 14 | ncall: 1705 | eff(%): 23.570 | loglstar:   -inf < 103.447 <    inf | logz: 97.308 +/-  0.164 | dlogz: 51.465 >  1.000
2025-11-19 15:48:25,372 ℹ          iteration 462 | batch: 0 | bound: 0 | nc: 9 | ncall: 1811 | eff(%): 22.974 | loglstar:   -inf < 106.906 <    inf | logz: 100.738 +/-  0.161 | dlogz: 47.929 >  1.000
2025-11-19 15:48:41,869 ℹ          iteration 483 | batch: 0 | bound: 0 | nc: 10 | ncall: 1925 | eff(%): 22.729 | loglstar:   -inf < 109.907 <    inf | logz: 104.134 +/-  0.154 | dlogz: 44.353 >  1.000
2025-11-19 15:48:57,548 ℹ          iteration 493 | batch: 0 | bound: 0 | nc: 8 | ncall: 2035 | eff(%): 22.058 | loglstar:   -inf < 112.385 <    inf | logz: 106.316 +/-  0.160 | dlogz: 42.169 >  1.000
2025-11-19 15:49:12,984 ℹ          iteration 504 | batch: 0 | bound: 0 | nc: 16 | ncall: 2141 | eff(%): 21.529 | loglstar:   -inf < 115.055 <    inf | logz: 108.549 +/-  0.161 | dlogz: 40.555 >  1.000
2025-11-19 15:49:28,414 ℹ          iteration 516 | batch: 0 | bound: 0 | nc: 5 | ncall: 2247 | eff(%): 21.087 | loglstar:   -inf < 116.540 <    inf | logz: 110.552 +/-  0.158 | dlogz: 38.405 >  1.000
2025-11-19 15:49:44,225 ℹ          iteration 530 | batch: 0 | bound: 0 | nc: 6 | ncall: 2356 | eff(%): 20.736 | loglstar:   -inf < 119.701 <    inf | logz: 113.578 +/-  0.162 | dlogz: 35.336 >  1.000
2025-11-19 15:49:59,533 ℹ          iteration 538 | batch: 0 | bound: 0 | nc: 25 | ncall: 2462 | eff(%): 20.210 | loglstar:   -inf < 121.087 <    inf | logz: 114.911 +/-  0.161 | dlogz: 33.949 >  1.000
2025-11-19 15:50:15,870 ℹ          iteration 544 | batch: 0 | bound: 0 | nc: 13 | ncall: 2574 | eff(%): 19.611 | loglstar:   -inf < 121.611 <    inf | logz: 115.691 +/-  0.159 | dlogz: 33.104 >  1.000
2025-11-19 15:50:31,748 ℹ          iteration 555 | batch: 0 | bound: 0 | nc: 12 | ncall: 2684 | eff(%): 19.244 | loglstar:   -inf < 123.762 <    inf | logz: 117.593 +/-  0.162 | dlogz: 31.184 >  1.000
2025-11-19 15:50:49,591 ℹ          iteration 560 | batch: 0 | bound: 0 | nc: 21 | ncall: 2807 | eff(%): 18.623 | loglstar:   -inf < 124.143 <    inf | logz: 118.259 +/-  0.161 | dlogz: 30.449 >  1.000
2025-11-19 15:51:07,945 ℹ          iteration 566 | batch: 0 | bound: 0 | nc: 29 | ncall: 2934 | eff(%): 18.060 | loglstar:   -inf < 125.382 <    inf | logz: 119.039 +/-  0.160 | dlogz: 29.685 >  1.000
2025-11-19 15:51:24,006 ℹ          iteration 574 | batch: 0 | bound: 0 | nc: 10 | ncall: 3044 | eff(%): 17.694 | loglstar:   -inf < 126.365 <    inf | logz: 120.189 +/-  0.161 | dlogz: 28.462 >  1.000
2025-11-19 15:51:39,829 ℹ          iteration 583 | batch: 0 | bound: 0 | nc: 8 | ncall: 3154 | eff(%): 17.382 | loglstar:   -inf < 128.251 <    inf | logz: 121.665 +/-  0.164 | dlogz: 27.022 >  1.000
2025-11-19 15:51:56,620 ℹ          iteration 590 | batch: 0 | bound: 0 | nc: 68 | ncall: 3270 | eff(%): 17.003 | loglstar:   -inf < 128.659 <    inf | logz: 122.633 +/-  0.162 | dlogz: 25.918 >  1.000
2025-11-19 15:52:12,577 ℹ          iteration 597 | batch: 0 | bound: 0 | nc: 44 | ncall: 3381 | eff(%): 16.671 | loglstar:   -inf < 130.112 <    inf | logz: 123.639 +/-  0.163 | dlogz: 24.929 >  1.000
2025-11-19 15:52:32,955 ℹ          iteration 606 | batch: 0 | bound: 0 | nc: 48 | ncall: 3521 | eff(%): 16.286 | loglstar:   -inf < 130.734 <    inf | logz: 124.753 +/-  0.162 | dlogz: 23.711 >  1.000
2025-11-19 15:52:52,860 ℹ          iteration 611 | batch: 0 | bound: 0 | nc: 39 | ncall: 3657 | eff(%): 15.841 | loglstar:   -inf < 131.227 <    inf | logz: 125.255 +/-  0.160 | dlogz: 23.179 >  1.000
2025-11-19 15:53:10,032 ℹ          iteration 624 | batch: 0 | bound: 0 | nc: 16 | ncall: 3777 | eff(%): 15.690 | loglstar:   -inf < 132.178 <    inf | logz: 126.289 +/-  0.157 | dlogz: 22.067 >  1.000
2025-11-19 15:53:27,678 ℹ          iteration 631 | batch: 0 | bound: 0 | nc: 25 | ncall: 3899 | eff(%): 15.394 | loglstar:   -inf < 132.925 <    inf | logz: 126.848 +/-  0.157 | dlogz: 21.483 >  1.000
2025-11-19 15:53:42,997 ℹ          iteration 639 | batch: 0 | bound: 0 | nc: 5 | ncall: 4003 | eff(%): 15.203 | loglstar:   -inf < 133.874 <    inf | logz: 127.594 +/-  0.159 | dlogz: 20.718 >  1.000
2025-11-19 15:54:02,792 ℹ          iteration 644 | batch: 0 | bound: 0 | nc: 38 | ncall: 4141 | eff(%): 14.835 | loglstar:   -inf < 134.650 <    inf | logz: 128.157 +/-  0.161 | dlogz: 20.152 >  1.000
2025-11-19 15:54:21,628 ℹ          iteration 649 | batch: 0 | bound: 0 | nc: 29 | ncall: 4268 | eff(%): 14.526 | loglstar:   -inf < 135.872 <    inf | logz: 129.007 +/-  0.166 | dlogz: 19.824 >  1.000
2025-11-19 15:54:43,781 ℹ          iteration 657 | batch: 0 | bound: 0 | nc: 54 | ncall: 4421 | eff(%): 14.218 | loglstar:   -inf < 136.913 <    inf | logz: 130.333 +/-  0.168 | dlogz: 18.384 >  1.000
2025-11-19 15:54:59,710 ℹ          iteration 660 | batch: 0 | bound: 0 | nc: 28 | ncall: 4533 | eff(%): 13.945 | loglstar:   -inf < 137.250 <    inf | logz: 130.717 +/-  0.168 | dlogz: 17.973 >  1.000
2025-11-19 15:55:15,464 ℹ          iteration 670 | batch: 0 | bound: 0 | nc: 15 | ncall: 4643 | eff(%): 13.834 | loglstar:   -inf < 137.892 <    inf | logz: 131.773 +/-  0.165 | dlogz: 16.828 >  1.000
2025-11-19 15:55:35,440 ℹ          iteration 678 | batch: 0 | bound: 0 | nc: 45 | ncall: 4781 | eff(%): 13.612 | loglstar:   -inf < 138.305 <    inf | logz: 132.329 +/-  0.162 | dlogz: 16.215 >  1.000
2025-11-19 15:55:50,579 ℹ          iteration 681 | batch: 0 | bound: 0 | nc: 82 | ncall: 4884 | eff(%): 13.395 | loglstar:   -inf < 138.697 <    inf | logz: 132.549 +/-  0.161 | dlogz: 15.993 >  1.000
2025-11-19 15:56:08,345 ℹ          iteration 690 | batch: 0 | bound: 0 | nc: 20 | ncall: 5007 | eff(%): 13.251 | loglstar:   -inf < 139.492 <    inf | logz: 133.291 +/-  0.161 | dlogz: 15.209 >  1.000
2025-11-19 15:56:30,339 ℹ          iteration 693 | batch: 0 | bound: 0 | nc: 59 | ncall: 5158 | eff(%): 12.934 | loglstar:   -inf < 139.638 <    inf | logz: 133.521 +/-  0.161 | dlogz: 14.955 >  1.000
2025-11-19 15:56:48,103 ℹ          iteration 697 | batch: 0 | bound: 0 | nc: 70 | ncall: 5282 | eff(%): 12.714 | loglstar:   -inf < 139.796 <    inf | logz: 133.781 +/-  0.161 | dlogz: 14.665 >  1.000
2025-11-19 15:57:16,989 ℹ          iteration 702 | batch: 0 | bound: 0 | nc: 115 | ncall: 5483 | eff(%): 12.353 | loglstar:   -inf < 140.122 <    inf | logz: 134.109 +/-  0.160 | dlogz: 14.312 >  1.000
2025-11-19 15:57:32,193 ℹ          iteration 706 | batch: 0 | bound: 0 | nc: 20 | ncall: 5589 | eff(%): 12.196 | loglstar:   -inf < 140.230 <    inf | logz: 134.332 +/-  0.159 | dlogz: 14.059 >  1.000
2025-11-19 15:57:50,666 ℹ          iteration 709 | batch: 0 | bound: 0 | nc: 46 | ncall: 5716 | eff(%): 11.984 | loglstar:   -inf < 140.513 <    inf | logz: 134.503 +/-  0.159 | dlogz: 13.882 >  1.000
2025-11-19 15:58:13,686 ℹ          iteration 712 | batch: 0 | bound: 0 | nc: 62 | ncall: 5876 | eff(%): 11.718 | loglstar:   -inf < 140.595 <    inf | logz: 134.672 +/-  0.159 | dlogz: 13.691 >  1.000
2025-11-19 15:58:28,911 ℹ          iteration 716 | batch: 0 | bound: 0 | nc: 4 | ncall: 5981 | eff(%): 11.584 | loglstar:   -inf < 141.009 <    inf | logz: 134.898 +/-  0.159 | dlogz: 13.448 >  1.000
2025-11-19 15:58:45,613 ℹ          iteration 719 | batch: 0 | bound: 0 | nc: 16 | ncall: 6095 | eff(%): 11.422 | loglstar:   -inf < 141.232 <    inf | logz: 135.093 +/-  0.159 | dlogz: 13.245 >  1.000
2025-11-19 15:59:01,986 ℹ          iteration 722 | batch: 0 | bound: 0 | nc: 16 | ncall: 6208 | eff(%): 11.267 | loglstar:   -inf < 141.442 <    inf | logz: 135.286 +/-  0.159 | dlogz: 13.038 >  1.000
2025-11-19 15:59:20,980 ℹ          iteration 726 | batch: 0 | bound: 0 | nc: 72 | ncall: 6338 | eff(%): 11.104 | loglstar:   -inf < 141.572 <    inf | logz: 135.520 +/-  0.159 | dlogz: 12.775 >  1.000
2025-11-19 15:59:41,093 ℹ          iteration 730 | batch: 0 | bound: 0 | nc: 40 | ncall: 6479 | eff(%): 10.930 | loglstar:   -inf < 141.667 <    inf | logz: 135.729 +/-  0.159 | dlogz: 12.539 >  1.000
2025-11-19 15:59:58,412 ℹ          iteration 731 | batch: 0 | bound: 0 | nc: 121 | ncall: 6600 | eff(%): 10.750 | loglstar:   -inf < 141.729 <    inf | logz: 135.779 +/-  0.159 | dlogz: 12.484 >  1.000
2025-11-19 16:00:20,103 ℹ          iteration 735 | batch: 0 | bound: 0 | nc: 102 | ncall: 6751 | eff(%): 10.574 | loglstar:   -inf < 141.794 <    inf | logz: 135.964 +/-  0.158 | dlogz: 12.529 >  1.000
2025-11-19 16:00:36,970 ℹ          iteration 743 | batch: 0 | bound: 0 | nc: 42 | ncall: 6868 | eff(%): 10.512 | loglstar:   -inf < 142.118 <    inf | logz: 136.312 +/-  0.158 | dlogz: 12.138 >  1.000
2025-11-19 16:00:54,296 ℹ          iteration 748 | batch: 0 | bound: 0 | nc: 38 | ncall: 6988 | eff(%): 10.406 | loglstar:   -inf < 142.314 <    inf | logz: 136.505 +/-  0.157 | dlogz: 11.917 >  1.000
2025-11-19 16:01:36,975 ℹ          iteration 751 | batch: 0 | bound: 0 | nc: 254 | ncall: 7278 | eff(%): 10.043 | loglstar:   -inf < 142.464 <    inf | logz: 136.629 +/-  0.157 | dlogz: 11.780 >  1.000
2025-11-19 16:01:52,308 ℹ          iteration 755 | batch: 0 | bound: 1 | nc: 3 | ncall: 7383 | eff(%):  9.956 | loglstar:   -inf < 142.659 <    inf | logz: 136.789 +/-  0.157 | dlogz: 11.600 >  1.000
2025-11-19 16:02:08,742 ℹ          iteration 772 | batch: 0 | bound: 1 | nc: 15 | ncall: 7496 | eff(%): 10.031 | loglstar:   -inf < 143.357 <    inf | logz: 137.443 +/-  0.156 | dlogz: 10.858 >  1.000
2025-11-19 16:02:24,467 ℹ          iteration 790 | batch: 0 | bound: 1 | nc: 9 | ncall: 7602 | eff(%): 10.126 | loglstar:   -inf < 143.999 <    inf | logz: 138.088 +/-  0.156 | dlogz: 10.121 >  1.000
2025-11-19 16:02:40,205 ℹ          iteration 802 | batch: 0 | bound: 2 | nc: 10 | ncall: 7709 | eff(%): 10.140 | loglstar:   -inf < 144.312 <    inf | logz: 138.482 +/-  0.156 | dlogz:  9.664 >  1.000
2025-11-19 16:02:55,254 ℹ          iteration 838 | batch: 0 | bound: 2 | nc: 3 | ncall: 7813 | eff(%): 10.458 | loglstar:   -inf < 145.360 <    inf | logz: 139.547 +/-  0.156 | dlogz:  8.413 >  1.000
2025-11-19 16:03:10,373 ℹ          iteration 863 | batch: 0 | bound: 2 | nc: 3 | ncall: 7916 | eff(%): 10.633 | loglstar:   -inf < 146.119 <    inf | logz: 140.198 +/-  0.156 | dlogz:  7.637 >  1.000
2025-11-19 16:03:25,472 ℹ          iteration 896 | batch: 0 | bound: 3 | nc: 1 | ncall: 8019 | eff(%): 10.902 | loglstar:   -inf < 146.967 <    inf | logz: 141.010 +/-  0.157 | dlogz:  6.659 >  1.000
2025-11-19 16:03:40,502 ℹ          iteration 943 | batch: 0 | bound: 3 | nc: 4 | ncall: 8122 | eff(%): 11.331 | loglstar:   -inf < 148.161 <    inf | logz: 142.104 +/-  0.159 | dlogz:  5.331 >  1.000
2025-11-19 16:03:55,794 ℹ          iteration 977 | batch: 0 | bound: 3 | nc: 5 | ncall: 8226 | eff(%): 11.595 | loglstar:   -inf < 148.809 <    inf | logz: 142.716 +/-  0.159 | dlogz:  4.553 >  1.000
2025-11-19 16:04:11,957 ℹ          iteration 1017 | batch: 0 | bound: 4 | nc: 13 | ncall: 8336 | eff(%): 11.914 | loglstar:   -inf < 149.358 <    inf | logz: 143.318 +/-  0.159 | dlogz:  3.760 >  1.000
2025-11-19 16:04:27,280 ℹ          iteration 1056 | batch: 0 | bound: 4 | nc: 4 | ncall: 8440 | eff(%): 12.222 | loglstar:   -inf < 149.760 <    inf | logz: 143.776 +/-  0.159 | dlogz:  3.126 >  1.000
2025-11-19 16:04:42,520 ℹ          iteration 1086 | batch: 0 | bound: 4 | nc: 4 | ncall: 8544 | eff(%): 12.420 | loglstar:   -inf < 149.981 <    inf | logz: 144.049 +/-  0.158 | dlogz:  2.725 >  1.000
2025-11-19 16:04:57,584 ℹ          iteration 1131 | batch: 0 | bound: 5 | nc: 3 | ncall: 8646 | eff(%): 12.785 | loglstar:   -inf < 150.236 <    inf | logz: 144.373 +/-  0.158 | dlogz:  2.221 >  1.000
2025-11-19 16:05:12,659 ℹ          iteration 1179 | batch: 0 | bound: 5 | nc: 6 | ncall: 8749 | eff(%): 13.175 | loglstar:   -inf < 150.521 <    inf | logz: 144.642 +/-  0.157 | dlogz:  1.782 >  1.000
2025-11-19 16:05:27,703 ℹ          iteration 1216 | batch: 0 | bound: 5 | nc: 7 | ncall: 8852 | eff(%): 13.433 | loglstar:   -inf < 150.677 <    inf | logz: 144.809 +/-  0.157 | dlogz:  1.498 >  1.000
2025-11-19 16:05:43,277 ℹ          iteration 1243 | batch: 0 | bound: 6 | nc: 11 | ncall: 8957 | eff(%): 13.574 | loglstar:   -inf < 150.817 <    inf | logz: 144.915 +/-  0.157 | dlogz:  1.316 >  1.000
2025-11-19 16:05:58,536 ℹ          iteration 1269 | batch: 0 | bound: 6 | nc: 2 | ncall: 9061 | eff(%): 13.703 | loglstar:   -inf < 150.904 <    inf | logz: 145.004 +/-  0.157 | dlogz:  1.192 >  1.000
2025-11-19 16:06:13,808 ℹ          iteration 1301 | batch: 0 | bound: 6 | nc: 4 | ncall: 9165 | eff(%): 13.892 | loglstar:   -inf < 151.012 <    inf | logz: 145.101 +/-  0.157 | dlogz:  1.020 >  1.000
2025-11-19 16:08:42,804 ℹ          iteration 1505 | batch: 1 | bound: 0 | nc: 3 | ncall: 9398 | eff(%): 16.014 | loglstar: 151.907 < 151.952 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:08:57,951 ℹ          iteration 1521 | batch: 1 | bound: 1 | nc: 4 | ncall: 9501 | eff(%): 14.511 | loglstar: 151.907 < 151.067 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:09:13,223 ℹ          iteration 1533 | batch: 1 | bound: 1 | nc: 17 | ncall: 9605 | eff(%): 14.481 | loglstar: 151.907 < 151.089 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:09:28,867 ℹ          iteration 1552 | batch: 1 | bound: 2 | nc: 5 | ncall: 9711 | eff(%): 14.516 | loglstar: 151.907 < 151.150 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:09:45,003 ℹ          iteration 1588 | batch: 1 | bound: 2 | nc: 8 | ncall: 9821 | eff(%): 14.701 | loglstar: 151.907 < 151.243 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:10:01,757 ℹ          iteration 1615 | batch: 1 | bound: 2 | nc: 13 | ncall: 9935 | eff(%): 14.795 | loglstar: 151.907 < 151.341 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:10:17,767 ℹ          iteration 1649 | batch: 1 | bound: 3 | nc: 8 | ncall: 10044 | eff(%): 14.957 | loglstar: 151.907 < 151.415 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:10:32,978 ℹ          iteration 1677 | batch: 1 | bound: 3 | nc: 4 | ncall: 10148 | eff(%): 15.069 | loglstar: 151.907 < 151.463 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:10:48,833 ℹ          iteration 1702 | batch: 1 | bound: 3 | nc: 6 | ncall: 10256 | eff(%): 15.146 | loglstar: 151.907 < 151.514 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:11:03,982 ℹ          iteration 1720 | batch: 1 | bound: 4 | nc: 4 | ncall: 10359 | eff(%): 15.168 | loglstar: 151.907 < 151.565 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:11:19,078 ℹ          iteration 1744 | batch: 1 | bound: 4 | nc: 3 | ncall: 10462 | eff(%): 15.241 | loglstar: 151.907 < 151.599 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:11:34,241 ℹ          iteration 1771 | batch: 1 | bound: 4 | nc: 11 | ncall: 10565 | eff(%): 15.339 | loglstar: 151.907 < 151.632 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:11:50,692 ℹ          iteration 1784 | batch: 1 | bound: 5 | nc: 11 | ncall: 10677 | eff(%): 15.303 | loglstar: 151.907 < 151.651 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:12:08,099 ℹ          iteration 1792 | batch: 1 | bound: 5 | nc: 31 | ncall: 10795 | eff(%): 15.217 | loglstar: 151.907 < 151.660 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:12:23,115 ℹ          iteration 1797 | batch: 1 | bound: 5 | nc: 26 | ncall: 10897 | eff(%): 15.129 | loglstar: 151.907 < 151.668 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:12:38,643 ℹ          iteration 1804 | batch: 1 | bound: 6 | nc: 8 | ncall: 11003 | eff(%): 15.053 | loglstar: 151.907 < 151.678 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:12:58,348 ℹ          iteration 1814 | batch: 1 | bound: 6 | nc: 37 | ncall: 11137 | eff(%): 14.969 | loglstar: 151.907 < 151.696 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:13:25,254 ℹ          iteration 1817 | batch: 1 | bound: 7 | nc: 169 | ncall: 11320 | eff(%): 14.771 | loglstar: 151.907 < 151.700 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:13:42,389 ℹ          iteration 1822 | batch: 1 | bound: 7 | nc: 53 | ncall: 11437 | eff(%): 14.672 | loglstar: 151.907 < 151.705 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:13:57,910 ℹ          iteration 1831 | batch: 1 | bound: 8 | nc: 6 | ncall: 11542 | eff(%): 14.621 | loglstar: 151.907 < 151.716 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:14:14,047 ℹ          iteration 1839 | batch: 1 | bound: 8 | nc: 36 | ncall: 11651 | eff(%): 14.558 | loglstar: 151.907 < 151.722 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:14:31,318 ℹ          iteration 1847 | batch: 1 | bound: 8 | nc: 43 | ncall: 11768 | eff(%): 14.487 | loglstar: 151.907 < 151.731 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:14:46,955 ℹ          iteration 1861 | batch: 1 | bound: 9 | nc: 6 | ncall: 11874 | eff(%): 14.477 | loglstar: 151.907 < 151.746 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:15:04,060 ℹ          iteration 1873 | batch: 1 | bound: 9 | nc: 15 | ncall: 11990 | eff(%): 14.440 | loglstar: 151.907 < 151.768 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:15:21,944 ℹ          iteration 1885 | batch: 1 | bound: 10 | nc: 22 | ncall: 12111 | eff(%): 14.398 | loglstar: 151.907 < 151.779 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:15:46,105 ℹ          iteration 1897 | batch: 1 | bound: 10 | nc: 83 | ncall: 12275 | eff(%): 14.311 | loglstar: 151.907 < 151.785 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:16:02,937 ℹ          iteration 1906 | batch: 1 | bound: 10 | nc: 31 | ncall: 12389 | eff(%): 14.256 | loglstar: 151.907 < 151.791 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:16:21,309 ℹ          iteration 1916 | batch: 1 | bound: 11 | nc: 37 | ncall: 12514 | eff(%): 14.198 | loglstar: 151.907 < 151.795 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:16:37,500 ℹ          iteration 1928 | batch: 1 | bound: 11 | nc: 12 | ncall: 12624 | eff(%): 14.171 | loglstar: 151.907 < 151.805 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:16:52,637 ℹ          iteration 1943 | batch: 1 | bound: 12 | nc: 4 | ncall: 12727 | eff(%): 14.174 | loglstar: 151.907 < 151.827 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:17:11,441 ℹ          iteration 1948 | batch: 1 | bound: 12 | nc: 56 | ncall: 12855 | eff(%): 14.079 | loglstar: 151.907 < 151.835 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:17:27,102 ℹ          iteration 1957 | batch: 1 | bound: 12 | nc: 6 | ncall: 12962 | eff(%): 14.036 | loglstar: 151.907 < 151.841 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:17:43,163 ℹ          iteration 1962 | batch: 1 | bound: 13 | nc: 12 | ncall: 13071 | eff(%): 13.962 | loglstar: 151.907 < 151.844 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:17:58,884 ℹ          iteration 1966 | batch: 1 | bound: 13 | nc: 46 | ncall: 13178 | eff(%): 13.885 | loglstar: 151.907 < 151.846 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:18:22,543 ℹ          iteration 1975 | batch: 1 | bound: 14 | nc: 67 | ncall: 13339 | eff(%): 13.792 | loglstar: 151.907 < 151.856 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:18:52,596 ℹ          iteration 1983 | batch: 1 | bound: 14 | nc: 105 | ncall: 13544 | eff(%): 13.652 | loglstar: 151.907 < 151.859 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:19:14,020 ℹ          iteration 1990 | batch: 1 | bound: 15 | nc: 78 | ncall: 13690 | eff(%): 13.564 | loglstar: 151.907 < 151.863 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:19:32,873 ℹ          iteration 1997 | batch: 1 | bound: 15 | nc: 46 | ncall: 13819 | eff(%): 13.493 | loglstar: 151.907 < 151.868 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:19:49,395 ℹ          iteration 2003 | batch: 1 | bound: 16 | nc: 25 | ncall: 13931 | eff(%): 13.432 | loglstar: 151.907 < 151.872 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:20:05,286 ℹ          iteration 2008 | batch: 1 | bound: 16 | nc: 13 | ncall: 14039 | eff(%): 13.369 | loglstar: 151.907 < 151.876 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:20:21,402 ℹ          iteration 2013 | batch: 1 | bound: 16 | nc: 13 | ncall: 14149 | eff(%): 13.305 | loglstar: 151.907 < 151.879 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:20:36,703 ℹ          iteration 2022 | batch: 1 | bound: 17 | nc: 4 | ncall: 14253 | eff(%): 13.273 | loglstar: 151.907 < 151.885 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:20:52,893 ℹ          iteration 2035 | batch: 1 | bound: 17 | nc: 11 | ncall: 14363 | eff(%): 13.263 | loglstar: 151.907 < 151.899 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:21:08,490 ℹ          iteration 2045 | batch: 1 | bound: 17 | nc: 7 | ncall: 14469 | eff(%): 13.236 | loglstar: 151.907 < 151.906 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:21:24,392 ℹ          iteration 2059 | batch: 1 | bound: 18 | nc: 14 | ncall: 14577 | eff(%): 13.234 | loglstar: 151.907 < 151.912 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:21:41,158 ℹ          iteration 2074 | batch: 1 | bound: 18 | nc: 14 | ncall: 14691 | eff(%): 13.234 | loglstar: 151.907 < 151.920 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:21:56,512 ℹ          iteration 2092 | batch: 1 | bound: 18 | nc: 10 | ncall: 14795 | eff(%): 13.261 | loglstar: 151.907 < 151.928 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:22:11,822 ℹ          iteration 2111 | batch: 1 | bound: 19 | nc: 11 | ncall: 14898 | eff(%): 13.294 | loglstar: 151.907 < 151.942 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:22:27,335 ℹ          iteration 2127 | batch: 1 | bound: 19 | nc: 14 | ncall: 15003 | eff(%): 13.307 | loglstar: 151.907 < 151.950 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:22:43,112 ℹ          iteration 2143 | batch: 1 | bound: 20 | nc: 7 | ncall: 15110 | eff(%): 13.318 | loglstar: 151.907 < 151.959 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:22:58,115 ℹ          iteration 2155 | batch: 1 | bound: 20 | nc: 20 | ncall: 15212 | eff(%): 13.308 | loglstar: 151.907 < 151.964 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:23:13,158 ℹ          iteration 2170 | batch: 1 | bound: 20 | nc: 4 | ncall: 15314 | eff(%): 13.317 | loglstar: 151.907 < 151.973 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:23:28,346 ℹ          iteration 2185 | batch: 1 | bound: 21 | nc: 5 | ncall: 15417 | eff(%): 13.325 | loglstar: 151.907 < 151.981 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:23:45,266 ℹ          iteration 2215 | batch: 1 | bound: 21 | nc: 21 | ncall: 15532 | eff(%): 13.414 | loglstar: 151.907 < 151.996 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:24:00,735 ℹ          iteration 2231 | batch: 1 | bound: 21 | nc: 9 | ncall: 15637 | eff(%): 13.425 | loglstar: 151.907 < 152.003 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:24:16,256 ℹ          iteration 2247 | batch: 1 | bound: 22 | nc: 4 | ncall: 15742 | eff(%): 13.437 | loglstar: 151.907 < 152.010 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:24:31,851 ℹ          iteration 2259 | batch: 1 | bound: 22 | nc: 10 | ncall: 15848 | eff(%): 13.423 | loglstar: 151.907 < 152.016 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:24:47,107 ℹ          iteration 2271 | batch: 1 | bound: 22 | nc: 2 | ncall: 15952 | eff(%): 13.412 | loglstar: 151.907 < 152.019 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:25:02,174 ℹ          iteration 2277 | batch: 1 | bound: 23 | nc: 1 | ncall: 16054 | eff(%): 13.367 | loglstar: 151.907 < 152.021 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:25:18,086 ℹ          iteration 2294 | batch: 1 | bound: 23 | nc: 10 | ncall: 16162 | eff(%): 13.382 | loglstar: 151.907 < 152.026 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:25:34,250 ℹ          iteration 2304 | batch: 1 | bound: 23 | nc: 16 | ncall: 16272 | eff(%): 13.354 | loglstar: 151.907 < 152.030 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:25:52,210 ℹ          iteration 2320 | batch: 1 | bound: 24 | nc: 22 | ncall: 16393 | eff(%): 13.353 | loglstar: 151.907 < 152.035 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:26:07,575 ℹ          iteration 2336 | batch: 1 | bound: 24 | nc: 28 | ncall: 16497 | eff(%): 13.365 | loglstar: 151.907 < 152.042 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:26:23,869 ℹ          iteration 2349 | batch: 1 | bound: 25 | nc: 11 | ncall: 16606 | eff(%): 13.356 | loglstar: 151.907 < 152.045 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:26:39,293 ℹ          iteration 2366 | batch: 1 | bound: 25 | nc: 3 | ncall: 16711 | eff(%): 13.373 | loglstar: 151.907 < 152.050 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:26:55,641 ℹ          iteration 2384 | batch: 1 | bound: 25 | nc: 28 | ncall: 16822 | eff(%): 13.391 | loglstar: 151.907 < 152.055 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:27:10,845 ℹ          iteration 2396 | batch: 1 | bound: 26 | nc: 16 | ncall: 16925 | eff(%): 13.381 | loglstar: 151.907 < 152.057 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:27:26,058 ℹ          iteration 2406 | batch: 1 | bound: 26 | nc: 5 | ncall: 17028 | eff(%): 13.360 | loglstar: 151.907 < 152.060 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:27:41,069 ℹ          iteration 2412 | batch: 1 | bound: 26 | nc: 2 | ncall: 17130 | eff(%): 13.318 | loglstar: 151.907 < 152.062 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:27:56,747 ℹ          iteration 2422 | batch: 1 | bound: 27 | nc: 14 | ncall: 17236 | eff(%): 13.295 | loglstar: 151.907 < 152.065 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:28:13,591 ℹ          iteration 2433 | batch: 1 | bound: 27 | nc: 44 | ncall: 17350 | eff(%): 13.273 | loglstar: 151.907 < 152.069 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:28:28,746 ℹ          iteration 2441 | batch: 1 | bound: 27 | nc: 8 | ncall: 17453 | eff(%): 13.242 | loglstar: 151.907 < 152.071 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:28:46,879 ℹ          iteration 2449 | batch: 1 | bound: 28 | nc: 55 | ncall: 17576 | eff(%): 13.197 | loglstar: 151.907 < 152.072 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:29:02,288 ℹ          iteration 2459 | batch: 1 | bound: 28 | nc: 5 | ncall: 17681 | eff(%): 13.177 | loglstar: 151.907 < 152.075 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:29:18,961 ℹ          iteration 2469 | batch: 1 | bound: 28 | nc: 16 | ncall: 17794 | eff(%): 13.150 | loglstar: 151.907 < 152.077 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:29:34,391 ℹ          iteration 2475 | batch: 1 | bound: 29 | nc: 10 | ncall: 17898 | eff(%): 13.110 | loglstar: 151.907 < 152.078 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:29:49,453 ℹ          iteration 2489 | batch: 1 | bound: 29 | nc: 7 | ncall: 18000 | eff(%): 13.113 | loglstar: 151.907 < 152.081 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:30:06,170 ℹ          iteration 2499 | batch: 1 | bound: 30 | nc: 13 | ncall: 18113 | eff(%): 13.088 | loglstar: 151.907 < 152.084 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:30:25,193 ℹ          iteration 2504 | batch: 1 | bound: 30 | nc: 38 | ncall: 18242 | eff(%): 13.026 | loglstar: 151.907 < 152.086 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:30:40,569 ℹ          iteration 2511 | batch: 1 | bound: 30 | nc: 8 | ncall: 18346 | eff(%): 12.992 | loglstar: 151.907 < 152.088 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:31:00,246 ℹ          iteration 2518 | batch: 1 | bound: 31 | nc: 33 | ncall: 18479 | eff(%): 12.939 | loglstar: 151.907 < 152.090 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:31:17,268 ℹ          iteration 2523 | batch: 1 | bound: 31 | nc: 40 | ncall: 18594 | eff(%): 12.889 | loglstar: 151.907 < 152.091 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:32:26,090 ℹ          iteration 2528 | batch: 1 | bound: 33 | nc: 385 | ncall: 19061 | eff(%): 12.614 | loglstar: 151.907 < 152.093 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:32:47,765 ℹ          iteration 2532 | batch: 1 | bound: 33 | nc: 53 | ncall: 19208 | eff(%): 12.541 | loglstar: 151.907 < 152.094 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:33:17,551 ℹ          iteration 2535 | batch: 1 | bound: 34 | nc: 189 | ncall: 19410 | eff(%): 12.432 | loglstar: 151.907 < 152.095 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:33:34,197 ℹ          iteration 2537 | batch: 1 | bound: 34 | nc: 12 | ncall: 19523 | eff(%): 12.373 | loglstar: 151.907 < 152.095 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:34:02,290 ℹ          iteration 2539 | batch: 1 | bound: 35 | nc: 156 | ncall: 19713 | eff(%): 12.269 | loglstar: 151.907 < 152.096 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:34:27,467 ℹ          iteration 2540 | batch: 1 | bound: 35 | nc: 170 | ncall: 19883 | eff(%): 12.174 | loglstar: 151.907 < 152.096 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:34:54,214 ℹ          iteration 2546 | batch: 1 | bound: 36 | nc: 109 | ncall: 20064 | eff(%): 12.098 | loglstar: 151.907 < 152.097 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:35:21,243 ℹ          iteration 2547 | batch: 1 | bound: 37 | nc: 183 | ncall: 20247 | eff(%): 11.998 | loglstar: 151.907 < 152.097 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:35:39,061 ℹ          iteration 2551 | batch: 1 | bound: 37 | nc: 24 | ncall: 20368 | eff(%): 11.949 | loglstar: 151.907 < 152.099 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:35:54,394 ℹ          iteration 2552 | batch: 1 | bound: 37 | nc: 104 | ncall: 20472 | eff(%): 11.896 | loglstar: 151.907 < 152.099 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:36:17,103 ℹ          iteration 2554 | batch: 1 | bound: 38 | nc: 87 | ncall: 20626 | eff(%): 11.820 | loglstar: 151.907 < 152.100 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:36:33,185 ℹ          iteration 2561 | batch: 1 | bound: 38 | nc: 27 | ncall: 20735 | eff(%): 11.793 | loglstar: 151.907 < 152.102 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:36:49,029 ℹ          iteration 2564 | batch: 1 | bound: 39 | nc: 44 | ncall: 20842 | eff(%): 11.749 | loglstar: 151.907 < 152.103 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:37:10,364 ℹ          iteration 2571 | batch: 1 | bound: 39 | nc: 46 | ncall: 20986 | eff(%): 11.704 | loglstar: 151.907 < 152.106 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:37:27,074 ℹ          iteration 2575 | batch: 1 | bound: 40 | nc: 13 | ncall: 21099 | eff(%): 11.662 | loglstar: 151.907 < 152.109 <    inf | logz: 145.751 +/-  0.353 | stop: 19.630
2025-11-19 16:38:38,553 ℹ          iteration 2796 | batch: 2 | bound: 0 | nc: 3 | ncall: 22160 | eff(%): 12.617 | loglstar: 149.498 < 151.396 < 151.030 | logz: 145.742 +/-  0.148 | stop: 10.114
2025-11-19 16:38:53,575 ℹ          iteration 2842 | batch: 2 | bound: 1 | nc: 2 | ncall: 22262 | eff(%): 12.538 | loglstar: 149.498 < 149.752 < 151.030 | logz: 145.742 +/-  0.148 | stop: 10.114
2025-11-19 16:39:09,399 ℹ          iteration 2883 | batch: 2 | bound: 1 | nc: 8 | ncall: 22370 | eff(%): 12.659 | loglstar: 149.498 < 150.047 < 151.030 | logz: 145.742 +/-  0.148 | stop: 10.114
2025-11-19 16:39:24,473 ℹ          iteration 2918 | batch: 2 | bound: 2 | nc: 3 | ncall: 22472 | eff(%): 12.755 | loglstar: 149.498 < 150.355 < 151.030 | logz: 145.742 +/-  0.148 | stop: 10.114
2025-11-19 16:39:39,631 ℹ          iteration 2972 | batch: 2 | bound: 2 | nc: 2 | ncall: 22575 | eff(%): 12.933 | loglstar: 149.498 < 150.737 < 151.030 | logz: 145.742 +/-  0.148 | stop: 10.114
2025-11-19 16:39:54,902 ℹ          iteration 3010 | batch: 2 | bound: 2 | nc: 3 | ncall: 22679 | eff(%): 13.039 | loglstar: 149.498 < 150.923 < 151.030 | logz: 145.742 +/-  0.148 | stop: 10.114
2025-11-19 16:40:59,372 ℹ          iteration 3236 | batch: 3 | bound: 0 | nc: 1 | ncall: 23169 | eff(%): 13.967 | loglstar: 149.061 < 150.852 < 149.498 | logz: 145.774 +/-  0.124 | stop:  6.098
2025-11-19 16:42:04,402 ℹ          iteration 3472 | batch: 4 | bound: 0 | nc: 1 | ncall: 23590 | eff(%): 14.718 | loglstar: 148.655 < 148.775 < 149.067 | logz: 145.778 +/-  0.117 | stop:  5.145
2025-11-19 16:43:15,664 ℹ          iteration 3699 | batch: 5 | bound: 0 | nc: 1 | ncall: 24031 | eff(%): 15.393 | loglstar: 148.269 < 149.218 < 148.656 | logz: 145.792 +/-  0.112 | stop:  4.539
2025-11-19 16:44:20,167 ℹ          iteration 3922 | batch: 6 | bound: 0 | nc: 1 | ncall: 24508 | eff(%): 16.003 | loglstar: 147.822 < 150.127 < 151.030 | logz: 145.748 +/-  0.109 | stop:  4.137
2025-11-19 16:44:35,278 ℹ          iteration 3971 | batch: 6 | bound: 1 | nc: 1 | ncall: 24611 | eff(%): 15.887 | loglstar: 147.822 < 148.598 < 151.030 | logz: 145.748 +/-  0.109 | stop:  4.137
2025-11-19 16:44:51,139 ℹ          iteration 4008 | batch: 6 | bound: 1 | nc: 6 | ncall: 24719 | eff(%): 15.966 | loglstar: 147.822 < 149.101 < 151.030 | logz: 145.748 +/-  0.109 | stop:  4.137
2025-11-19 16:45:06,247 ℹ          iteration 4044 | batch: 6 | bound: 2 | nc: 1 | ncall: 24822 | eff(%): 16.044 | loglstar: 147.822 < 149.518 < 151.030 | logz: 145.748 +/-  0.109 | stop:  4.137
2025-11-19 16:45:21,406 ℹ          iteration 4086 | batch: 6 | bound: 2 | nc: 7 | ncall: 24925 | eff(%): 16.144 | loglstar: 147.822 < 149.920 < 151.030 | logz: 145.748 +/-  0.109 | stop:  4.137
2025-11-19 16:45:36,708 ℹ          iteration 4124 | batch: 6 | bound: 2 | nc: 4 | ncall: 25029 | eff(%): 16.228 | loglstar: 147.822 < 150.171 < 151.030 | logz: 145.748 +/-  0.109 | stop:  4.137
2025-11-19 16:45:51,781 ℹ          iteration 4158 | batch: 6 | bound: 3 | nc: 2 | ncall: 25132 | eff(%): 16.296 | loglstar: 147.822 < 150.320 < 151.030 | logz: 145.748 +/-  0.109 | stop:  4.137
2025-11-19 16:46:07,093 ℹ          iteration 4190 | batch: 6 | bound: 3 | nc: 8 | ncall: 25237 | eff(%): 16.354 | loglstar: 147.822 < 150.508 < 151.030 | logz: 145.748 +/-  0.109 | stop:  4.137
2025-11-19 16:46:22,254 ℹ          iteration 4220 | batch: 6 | bound: 3 | nc: 9 | ncall: 25340 | eff(%): 16.405 | loglstar: 147.822 < 150.651 < 151.030 | logz: 145.748 +/-  0.109 | stop:  4.137
2025-11-19 16:46:37,774 ℹ          iteration 4253 | batch: 6 | bound: 4 | nc: 6 | ncall: 25446 | eff(%): 16.465 | loglstar: 147.822 < 150.812 < 151.030 | logz: 145.748 +/-  0.109 | stop:  4.137
2025-11-19 16:46:53,172 ℹ          iteration 4290 | batch: 6 | bound: 4 | nc: 4 | ncall: 25551 | eff(%): 16.541 | loglstar: 147.822 < 150.929 < 151.030 | logz: 145.748 +/-  0.109 | stop:  4.137
2025-11-19 16:47:09,703 ℹ          iteration 4315 | batch: 6 | bound: 4 | nc: 12 | ncall: 25664 | eff(%): 16.566 | loglstar: 147.822 < 151.030 < 151.030 | logz: 145.748 +/-  0.109 | stop:  4.137
2025-11-19 16:47:57,603 ℹ          iteration 4515 | batch: 7 | bound: 0 | nc: 3 | ncall: 26048 | eff(%): 17.333 | loglstar: 147.368 < 150.803 < 147.826 | logz: 145.734 +/-  0.101 | stop:  3.282
2025-11-19 16:49:22,546 ℹ          iteration 4738 | batch: 8 | bound: 0 | nc: 8 | ncall: 26413 | eff(%): 17.938 | loglstar: 146.880 < 150.283 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:49:39,839 ℹ          iteration 4777 | batch: 8 | bound: 1 | nc: 20 | ncall: 26532 | eff(%): 17.643 | loglstar: 146.880 < 147.797 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:49:55,703 ℹ          iteration 4810 | batch: 8 | bound: 1 | nc: 6 | ncall: 26640 | eff(%): 17.694 | loglstar: 146.880 < 148.244 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:50:10,921 ℹ          iteration 4839 | batch: 8 | bound: 2 | nc: 3 | ncall: 26744 | eff(%): 17.733 | loglstar: 146.880 < 148.555 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:50:26,025 ℹ          iteration 4875 | batch: 8 | bound: 2 | nc: 2 | ncall: 26847 | eff(%): 17.798 | loglstar: 146.880 < 149.094 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:50:41,284 ℹ          iteration 4911 | batch: 8 | bound: 2 | nc: 3 | ncall: 26952 | eff(%): 17.861 | loglstar: 146.880 < 149.466 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:50:56,665 ℹ          iteration 4948 | batch: 8 | bound: 3 | nc: 3 | ncall: 27057 | eff(%): 17.927 | loglstar: 146.880 < 149.744 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:51:12,042 ℹ          iteration 4977 | batch: 8 | bound: 3 | nc: 3 | ncall: 27162 | eff(%): 17.964 | loglstar: 146.880 < 149.952 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:51:27,608 ℹ          iteration 5005 | batch: 8 | bound: 3 | nc: 4 | ncall: 27268 | eff(%): 17.996 | loglstar: 146.880 < 150.205 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:51:42,647 ℹ          iteration 5040 | batch: 8 | bound: 4 | nc: 7 | ncall: 27370 | eff(%): 18.055 | loglstar: 146.880 < 150.424 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:51:58,200 ℹ          iteration 5073 | batch: 8 | bound: 4 | nc: 7 | ncall: 27476 | eff(%): 18.105 | loglstar: 146.880 < 150.666 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:52:13,362 ℹ          iteration 5105 | batch: 8 | bound: 4 | nc: 5 | ncall: 27579 | eff(%): 18.152 | loglstar: 146.880 < 150.807 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:52:28,637 ℹ          iteration 5136 | batch: 8 | bound: 5 | nc: 3 | ncall: 27683 | eff(%): 18.195 | loglstar: 146.880 < 150.954 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:52:44,315 ℹ          iteration 5177 | batch: 8 | bound: 5 | nc: 6 | ncall: 27790 | eff(%): 18.271 | loglstar: 146.880 < 151.098 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:52:59,616 ℹ          iteration 5193 | batch: 8 | bound: 5 | nc: 20 | ncall: 27894 | eff(%): 18.261 | loglstar: 146.880 < 151.159 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:53:15,775 ℹ          iteration 5224 | batch: 8 | bound: 6 | nc: 8 | ncall: 28004 | eff(%): 18.299 | loglstar: 146.880 < 151.238 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:53:31,084 ℹ          iteration 5242 | batch: 8 | bound: 6 | nc: 20 | ncall: 28108 | eff(%): 18.295 | loglstar: 146.880 < 151.300 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:53:47,438 ℹ          iteration 5258 | batch: 8 | bound: 7 | nc: 10 | ncall: 28219 | eff(%): 18.280 | loglstar: 146.880 < 151.363 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:54:02,980 ℹ          iteration 5285 | batch: 8 | bound: 7 | nc: 5 | ncall: 28325 | eff(%): 18.307 | loglstar: 146.880 < 151.432 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:54:18,423 ℹ          iteration 5308 | batch: 8 | bound: 7 | nc: 5 | ncall: 28430 | eff(%): 18.320 | loglstar: 146.880 < 151.481 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:54:34,150 ℹ          iteration 5331 | batch: 8 | bound: 8 | nc: 5 | ncall: 28530 | eff(%): 18.336 | loglstar: 146.880 < 151.525 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:54:50,817 ℹ          iteration 5347 | batch: 8 | bound: 8 | nc: 19 | ncall: 28636 | eff(%): 18.324 | loglstar: 146.880 < 151.560 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:55:06,343 ℹ          iteration 5363 | batch: 8 | bound: 8 | nc: 4 | ncall: 28735 | eff(%): 18.317 | loglstar: 146.880 < 151.589 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:55:22,502 ℹ          iteration 5382 | batch: 8 | bound: 9 | nc: 16 | ncall: 28837 | eff(%): 18.318 | loglstar: 146.880 < 151.615 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:55:37,575 ℹ          iteration 5388 | batch: 8 | bound: 9 | nc: 7 | ncall: 28934 | eff(%): 18.278 | loglstar: 146.880 < 151.632 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:55:54,517 ℹ          iteration 5394 | batch: 8 | bound: 9 | nc: 14 | ncall: 29045 | eff(%): 18.230 | loglstar: 146.880 < 151.638 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:56:10,761 ℹ          iteration 5404 | batch: 8 | bound: 10 | nc: 21 | ncall: 29150 | eff(%): 18.199 | loglstar: 146.880 < 151.661 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:56:25,971 ℹ          iteration 5415 | batch: 8 | bound: 10 | nc: 6 | ncall: 29250 | eff(%): 18.175 | loglstar: 146.880 < 151.677 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:56:41,797 ℹ          iteration 5425 | batch: 8 | bound: 10 | nc: 12 | ncall: 29354 | eff(%): 18.145 | loglstar: 146.880 < 151.694 < 151.705 | logz: 145.721 +/-  0.099 | stop:  3.110
2025-11-19 16:57:53,687 ℹ          iteration 5630 | batch: 9 | bound: 0 | nc: 2 | ncall: 29956 | eff(%): 18.794 | loglstar: 146.241 < 148.441 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 16:58:08,727 ℹ          iteration 5667 | batch: 9 | bound: 1 | nc: 8 | ncall: 30054 | eff(%): 18.602 | loglstar: 146.241 < 147.044 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 16:58:24,237 ℹ          iteration 5699 | batch: 9 | bound: 1 | nc: 5 | ncall: 30156 | eff(%): 18.644 | loglstar: 146.241 < 147.802 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 16:58:39,388 ℹ          iteration 5730 | batch: 9 | bound: 1 | nc: 2 | ncall: 30255 | eff(%): 18.685 | loglstar: 146.241 < 148.208 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 16:58:54,424 ℹ          iteration 5758 | batch: 9 | bound: 2 | nc: 1 | ncall: 30354 | eff(%): 18.716 | loglstar: 146.241 < 148.589 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 16:59:09,597 ℹ          iteration 5789 | batch: 9 | bound: 2 | nc: 2 | ncall: 30454 | eff(%): 18.756 | loglstar: 146.241 < 149.013 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 16:59:24,704 ℹ          iteration 5818 | batch: 9 | bound: 2 | nc: 13 | ncall: 30553 | eff(%): 18.790 | loglstar: 146.241 < 149.305 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 16:59:39,797 ℹ          iteration 5855 | batch: 9 | bound: 3 | nc: 2 | ncall: 30652 | eff(%): 18.849 | loglstar: 146.241 < 149.568 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 16:59:55,792 ℹ          iteration 5895 | batch: 9 | bound: 3 | nc: 7 | ncall: 30757 | eff(%): 18.914 | loglstar: 146.241 < 149.885 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 17:00:10,975 ℹ          iteration 5916 | batch: 9 | bound: 4 | nc: 8 | ncall: 30857 | eff(%): 18.920 | loglstar: 146.241 < 150.039 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 17:00:26,004 ℹ          iteration 5954 | batch: 9 | bound: 4 | nc: 8 | ncall: 30956 | eff(%): 18.982 | loglstar: 146.241 < 150.280 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 17:00:41,500 ℹ          iteration 5997 | batch: 9 | bound: 4 | nc: 4 | ncall: 31057 | eff(%): 19.057 | loglstar: 146.241 < 150.562 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 17:00:56,916 ℹ          iteration 6029 | batch: 9 | bound: 5 | nc: 8 | ncall: 31158 | eff(%): 19.098 | loglstar: 146.241 < 150.729 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 17:01:12,042 ℹ          iteration 6059 | batch: 9 | bound: 5 | nc: 1 | ncall: 31257 | eff(%): 19.133 | loglstar: 146.241 < 150.897 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 17:01:27,174 ℹ          iteration 6086 | batch: 9 | bound: 5 | nc: 3 | ncall: 31356 | eff(%): 19.158 | loglstar: 146.241 < 150.995 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 17:01:42,175 ℹ          iteration 6109 | batch: 9 | bound: 5 | nc: 8 | ncall: 31453 | eff(%): 19.172 | loglstar: 146.241 < 151.086 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 17:01:57,483 ℹ          iteration 6123 | batch: 9 | bound: 6 | nc: 3 | ncall: 31551 | eff(%): 19.157 | loglstar: 146.241 < 151.154 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 17:02:12,630 ℹ          iteration 6139 | batch: 9 | bound: 6 | nc: 19 | ncall: 31649 | eff(%): 19.148 | loglstar: 146.241 < 151.208 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 17:02:28,176 ℹ          iteration 6152 | batch: 9 | bound: 6 | nc: 11 | ncall: 31750 | eff(%): 19.129 | loglstar: 146.241 < 151.251 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 17:02:43,186 ℹ          iteration 6171 | batch: 9 | bound: 7 | nc: 6 | ncall: 31850 | eff(%): 19.128 | loglstar: 146.241 < 151.298 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 17:02:58,255 ℹ          iteration 6197 | batch: 9 | bound: 7 | nc: 4 | ncall: 31951 | eff(%): 19.149 | loglstar: 146.241 < 151.357 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 17:03:14,898 ℹ          iteration 6227 | batch: 9 | bound: 8 | nc: 14 | ncall: 32062 | eff(%): 19.176 | loglstar: 146.241 < 151.434 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 17:03:32,372 ℹ          iteration 6243 | batch: 9 | bound: 8 | nc: 24 | ncall: 32180 | eff(%): 19.156 | loglstar: 146.241 < 151.455 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 17:03:51,089 ℹ          iteration 6256 | batch: 9 | bound: 8 | nc: 28 | ncall: 32306 | eff(%): 19.122 | loglstar: 146.241 < 151.476 < 151.487 | logz: 145.702 +/-  0.089 | stop:  2.443
2025-11-19 17:04:50,427 ℹ          iteration 6464 | batch: 10 | bound: 0 | nc: 1 | ncall: 32801 | eff(%): 19.707 | loglstar: 145.343 < 145.866 < 151.468 | logz: 145.669 +/-  0.084 | stop:  2.038
2025-11-19 17:05:05,628 ℹ          iteration 6518 | batch: 10 | bound: 1 | nc: 4 | ncall: 32901 | eff(%): 19.622 | loglstar: 145.343 < 146.804 < 151.468 | logz: 145.669 +/-  0.084 | stop:  2.038
2025-11-19 17:05:20,690 ℹ          iteration 6560 | batch: 10 | bound: 1 | nc: 1 | ncall: 32998 | eff(%): 19.691 | loglstar: 145.343 < 147.831 < 151.468 | logz: 145.669 +/-  0.084 | stop:  2.038
2025-11-19 17:05:36,100 ℹ          iteration 6593 | batch: 10 | bound: 1 | nc: 7 | ncall: 33099 | eff(%): 19.730 | loglstar: 145.343 < 148.380 < 151.468 | logz: 145.669 +/-  0.084 | stop:  2.038
2025-11-19 17:05:51,540 ℹ          iteration 6633 | batch: 10 | bound: 2 | nc: 4 | ncall: 33198 | eff(%): 19.791 | loglstar: 145.343 < 148.801 < 151.468 | logz: 145.669 +/-  0.084 | stop:  2.038
2025-11-19 17:06:06,623 ℹ          iteration 6668 | batch: 10 | bound: 2 | nc: 1 | ncall: 33296 | eff(%): 19.838 | loglstar: 145.343 < 149.094 < 151.468 | logz: 145.669 +/-  0.084 | stop:  2.038
2025-11-19 17:06:21,654 ℹ          iteration 6696 | batch: 10 | bound: 2 | nc: 1 | ncall: 33395 | eff(%): 19.862 | loglstar: 145.343 < 149.389 < 151.468 | logz: 145.669 +/-  0.084 | stop:  2.038
2025-11-19 17:06:36,912 ℹ          iteration 6746 | batch: 10 | bound: 3 | nc: 3 | ncall: 33498 | eff(%): 19.950 | loglstar: 145.343 < 149.867 < 151.468 | logz: 145.669 +/-  0.084 | stop:  2.038
2025-11-19 17:06:52,272 ℹ          iteration 6794 | batch: 10 | bound: 3 | nc: 5 | ncall: 33602 | eff(%): 20.030 | loglstar: 145.343 < 150.144 < 151.468 | logz: 145.669 +/-  0.084 | stop:  2.038
2025-11-19 17:07:07,959 ℹ          iteration 6828 | batch: 10 | bound: 4 | nc: 13 | ncall: 33708 | eff(%): 20.068 | loglstar: 145.343 < 150.315 < 151.468 | logz: 145.669 +/-  0.084 | stop:  2.038
2025-11-19 17:07:24,025 ℹ          iteration 6868 | batch: 10 | bound: 4 | nc: 15 | ncall: 33816 | eff(%): 20.121 | loglstar: 145.343 < 150.551 < 151.468 | logz: 145.669 +/-  0.084 | stop:  2.038
2025-11-19 17:07:40,295 ℹ          iteration 6910 | batch: 10 | bound: 4 | nc: 11 | ncall: 33925 | eff(%): 20.180 | loglstar: 145.343 < 150.760 < 151.468 | logz: 145.669 +/-  0.084 | stop:  2.038
2025-11-19 17:07:55,371 ℹ          iteration 6939 | batch: 10 | bound: 5 | nc: 1 | ncall: 34026 | eff(%): 20.205 | loglstar: 145.343 < 150.875 < 151.468 | logz: 145.669 +/-  0.084 | stop:  2.038
2025-11-19 17:08:10,631 ℹ          iteration 6981 | batch: 10 | bound: 5 | nc: 4 | ncall: 34127 | eff(%): 20.268 | loglstar: 145.343 < 151.015 < 151.468 | logz: 145.669 +/-  0.084 | stop:  2.038
2025-11-19 17:08:25,713 ℹ          iteration 7012 | batch: 10 | bound: 5 | nc: 1 | ncall: 34228 | eff(%): 20.298 | loglstar: 145.343 < 151.165 < 151.468 | logz: 145.669 +/-  0.084 | stop:  2.038
2025-11-19 17:08:41,634 ℹ          iteration 7030 | batch: 10 | bound: 6 | nc: 28 | ncall: 34335 | eff(%): 20.287 | loglstar: 145.343 < 151.235 < 151.468 | logz: 145.669 +/-  0.084 | stop:  2.038
2025-11-19 17:08:58,811 ℹ          iteration 7045 | batch: 10 | bound: 6 | nc: 20 | ncall: 34450 | eff(%): 20.263 | loglstar: 145.343 < 151.280 < 151.468 | logz: 145.669 +/-  0.084 | stop:  2.038
2025-11-19 17:09:14,113 ℹ          iteration 7056 | batch: 10 | bound: 6 | nc: 3 | ncall: 34554 | eff(%): 20.235 | loglstar: 145.343 < 151.318 < 151.468 | logz: 145.669 +/-  0.084 | stop:  2.038
2025-11-19 17:09:29,154 ℹ          iteration 7082 | batch: 10 | bound: 7 | nc: 1 | ncall: 34656 | eff(%): 20.250 | loglstar: 145.343 < 151.376 < 151.468 | logz: 145.669 +/-  0.084 | stop:  2.038
2025-11-19 17:09:44,456 ℹ          iteration 7111 | batch: 10 | bound: 7 | nc: 5 | ncall: 34760 | eff(%): 20.273 | loglstar: 145.343 < 151.456 < 151.468 | logz: 145.669 +/-  0.084 | stop:  2.038
2025-11-19 17:10:37,050 ℹ          iteration 7320 | batch: 11 | bound: 0 | nc: 3 | ncall: 35103 | eff(%): 20.853 | loglstar: 143.200 < 147.778 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:10:52,368 ℹ          iteration 7378 | batch: 11 | bound: 1 | nc: 3 | ncall: 35207 | eff(%): 20.760 | loglstar: 143.200 < 145.064 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:11:07,569 ℹ          iteration 7416 | batch: 11 | bound: 1 | nc: 2 | ncall: 35311 | eff(%): 20.806 | loglstar: 143.200 < 146.403 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:11:22,735 ℹ          iteration 7447 | batch: 11 | bound: 2 | nc: 4 | ncall: 35415 | eff(%): 20.832 | loglstar: 143.200 < 147.194 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:11:38,007 ℹ          iteration 7488 | batch: 11 | bound: 2 | nc: 5 | ncall: 35519 | eff(%): 20.886 | loglstar: 143.200 < 148.036 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:11:53,193 ℹ          iteration 7521 | batch: 11 | bound: 2 | nc: 9 | ncall: 35623 | eff(%): 20.917 | loglstar: 143.200 < 148.561 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:12:08,305 ℹ          iteration 7552 | batch: 11 | bound: 3 | nc: 5 | ncall: 35726 | eff(%): 20.943 | loglstar: 143.200 < 148.820 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:12:23,674 ℹ          iteration 7588 | batch: 11 | bound: 3 | nc: 3 | ncall: 35831 | eff(%): 20.982 | loglstar: 143.200 < 149.184 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:12:39,012 ℹ          iteration 7616 | batch: 11 | bound: 3 | nc: 8 | ncall: 35935 | eff(%): 20.999 | loglstar: 143.200 < 149.532 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:12:54,492 ℹ          iteration 7650 | batch: 11 | bound: 4 | nc: 4 | ncall: 36040 | eff(%): 21.032 | loglstar: 143.200 < 149.864 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:13:10,035 ℹ          iteration 7663 | batch: 11 | bound: 4 | nc: 12 | ncall: 36146 | eff(%): 21.007 | loglstar: 143.200 < 149.962 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:13:26,437 ℹ          iteration 7680 | batch: 11 | bound: 4 | nc: 19 | ncall: 36258 | eff(%): 20.989 | loglstar: 143.200 < 150.084 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:13:41,559 ℹ          iteration 7703 | batch: 11 | bound: 5 | nc: 3 | ncall: 36361 | eff(%): 20.993 | loglstar: 143.200 < 150.214 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:13:56,921 ℹ          iteration 7738 | batch: 11 | bound: 5 | nc: 3 | ncall: 36466 | eff(%): 21.028 | loglstar: 143.200 < 150.411 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:14:11,965 ℹ          iteration 7759 | batch: 11 | bound: 5 | nc: 11 | ncall: 36568 | eff(%): 21.027 | loglstar: 143.200 < 150.492 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:14:27,119 ℹ          iteration 7797 | batch: 11 | bound: 6 | nc: 8 | ncall: 36671 | eff(%): 21.071 | loglstar: 143.200 < 150.709 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:14:42,362 ℹ          iteration 7830 | batch: 11 | bound: 6 | nc: 3 | ncall: 36774 | eff(%): 21.101 | loglstar: 143.200 < 150.886 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:14:57,566 ℹ          iteration 7865 | batch: 11 | bound: 6 | nc: 2 | ncall: 36878 | eff(%): 21.136 | loglstar: 143.200 < 151.030 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:15:12,905 ℹ          iteration 7905 | batch: 11 | bound: 7 | nc: 6 | ncall: 36982 | eff(%): 21.185 | loglstar: 143.200 < 151.152 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:15:28,081 ℹ          iteration 7945 | batch: 11 | bound: 7 | nc: 2 | ncall: 37085 | eff(%): 21.233 | loglstar: 143.200 < 151.262 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:15:44,682 ℹ          iteration 7981 | batch: 11 | bound: 7 | nc: 20 | ncall: 37198 | eff(%): 21.265 | loglstar: 143.200 < 151.355 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:16:00,077 ℹ          iteration 8011 | batch: 11 | bound: 8 | nc: 8 | ncall: 37302 | eff(%): 21.286 | loglstar: 143.200 < 151.425 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:16:17,213 ℹ          iteration 8034 | batch: 11 | bound: 8 | nc: 22 | ncall: 37419 | eff(%): 21.281 | loglstar: 143.200 < 151.474 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:16:33,385 ℹ          iteration 8064 | batch: 11 | bound: 9 | nc: 11 | ncall: 37529 | eff(%): 21.298 | loglstar: 143.200 < 151.538 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:16:48,636 ℹ          iteration 8084 | batch: 11 | bound: 9 | nc: 4 | ncall: 37633 | eff(%): 21.293 | loglstar: 143.200 < 151.582 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:17:03,755 ℹ          iteration 8096 | batch: 11 | bound: 9 | nc: 2 | ncall: 37736 | eff(%): 21.267 | loglstar: 143.200 < 151.602 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:17:21,177 ℹ          iteration 8105 | batch: 11 | bound: 10 | nc: 20 | ncall: 37854 | eff(%): 21.225 | loglstar: 143.200 < 151.617 < 151.617 | logz: 145.647 +/-  0.080 | stop:  1.751
2025-11-19 17:17:49,931 ℹ          iteration 8305 | batch: 12 | bound: 0 | nc: 1 | ncall: 38187 | eff(%): 21.748 | loglstar:   -inf < -1325.514 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:18:05,109 ℹ          iteration 8386 | batch: 12 | bound: 0 | nc: 2 | ncall: 38292 | eff(%): 21.786 | loglstar:   -inf < -572.463 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:18:20,611 ℹ          iteration 8445 | batch: 12 | bound: 0 | nc: 4 | ncall: 38399 | eff(%): 21.879 | loglstar:   -inf < -256.357 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:18:35,862 ℹ          iteration 8494 | batch: 12 | bound: 0 | nc: 3 | ncall: 38505 | eff(%): 21.945 | loglstar:   -inf < -106.369 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:18:51,184 ℹ          iteration 8528 | batch: 12 | bound: 0 | nc: 5 | ncall: 38610 | eff(%): 21.974 | loglstar:   -inf < -22.410 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:19:06,827 ℹ          iteration 8564 | batch: 12 | bound: 0 | nc: 5 | ncall: 38720 | eff(%): 22.004 | loglstar:   -inf < 17.514 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:19:22,059 ℹ          iteration 8597 | batch: 12 | bound: 0 | nc: 7 | ncall: 38824 | eff(%): 22.030 | loglstar:   -inf < 40.451 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:19:38,153 ℹ          iteration 8618 | batch: 12 | bound: 0 | nc: 10 | ncall: 38933 | eff(%): 22.022 | loglstar:   -inf < 53.008 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:19:53,412 ℹ          iteration 8643 | batch: 12 | bound: 0 | nc: 3 | ncall: 39041 | eff(%): 22.025 | loglstar:   -inf < 68.519 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:20:09,760 ℹ          iteration 8665 | batch: 12 | bound: 0 | nc: 10 | ncall: 39153 | eff(%): 22.019 | loglstar:   -inf < 79.951 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:20:24,905 ℹ          iteration 8680 | batch: 12 | bound: 0 | nc: 5 | ncall: 39256 | eff(%): 21.999 | loglstar:   -inf < 84.345 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:20:40,469 ℹ          iteration 8695 | batch: 12 | bound: 0 | nc: 13 | ncall: 39364 | eff(%): 21.977 | loglstar:   -inf < 89.446 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:20:56,317 ℹ          iteration 8707 | batch: 12 | bound: 0 | nc: 7 | ncall: 39473 | eff(%): 21.947 | loglstar:   -inf < 92.678 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:21:11,686 ℹ          iteration 8717 | batch: 12 | bound: 0 | nc: 25 | ncall: 39580 | eff(%): 21.913 | loglstar:   -inf < 97.433 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:21:27,150 ℹ          iteration 8727 | batch: 12 | bound: 0 | nc: 4 | ncall: 39687 | eff(%): 21.879 | loglstar:   -inf < 101.931 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:21:42,864 ℹ          iteration 8744 | batch: 12 | bound: 0 | nc: 14 | ncall: 39797 | eff(%): 21.862 | loglstar:   -inf < 104.530 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:21:58,130 ℹ          iteration 8758 | batch: 12 | bound: 0 | nc: 11 | ncall: 39903 | eff(%): 21.839 | loglstar:   -inf < 109.012 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:22:13,289 ℹ          iteration 8763 | batch: 12 | bound: 0 | nc: 3 | ncall: 40008 | eff(%): 21.794 | loglstar:   -inf < 110.444 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:22:29,642 ℹ          iteration 8777 | batch: 12 | bound: 0 | nc: 15 | ncall: 40119 | eff(%): 21.769 | loglstar:   -inf < 113.304 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:22:47,586 ℹ          iteration 8786 | batch: 12 | bound: 0 | nc: 27 | ncall: 40243 | eff(%): 21.724 | loglstar:   -inf < 115.587 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:23:02,705 ℹ          iteration 8798 | batch: 12 | bound: 0 | nc: 30 | ncall: 40346 | eff(%): 21.699 | loglstar:   -inf < 116.938 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:23:17,887 ℹ          iteration 8808 | batch: 12 | bound: 0 | nc: 10 | ncall: 40451 | eff(%): 21.667 | loglstar:   -inf < 118.088 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:23:34,719 ℹ          iteration 8818 | batch: 12 | bound: 0 | nc: 28 | ncall: 40566 | eff(%): 21.631 | loglstar:   -inf < 119.695 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:23:51,597 ℹ          iteration 8826 | batch: 12 | bound: 0 | nc: 39 | ncall: 40683 | eff(%): 21.588 | loglstar:   -inf < 121.871 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:24:09,029 ℹ          iteration 8834 | batch: 12 | bound: 0 | nc: 59 | ncall: 40803 | eff(%): 21.545 | loglstar:   -inf < 123.094 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:24:24,196 ℹ          iteration 8842 | batch: 12 | bound: 0 | nc: 14 | ncall: 40907 | eff(%): 21.510 | loglstar:   -inf < 124.036 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:24:44,218 ℹ          iteration 8853 | batch: 12 | bound: 0 | nc: 45 | ncall: 41046 | eff(%): 21.464 | loglstar:   -inf < 125.751 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:25:00,214 ℹ          iteration 8866 | batch: 12 | bound: 0 | nc: 18 | ncall: 41159 | eff(%): 21.437 | loglstar:   -inf < 127.852 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:25:15,248 ℹ          iteration 8871 | batch: 12 | bound: 0 | nc: 2 | ncall: 41263 | eff(%): 21.395 | loglstar:   -inf < 128.997 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:25:31,441 ℹ          iteration 8879 | batch: 12 | bound: 0 | nc: 9 | ncall: 41374 | eff(%): 21.357 | loglstar:   -inf < 129.814 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:25:49,121 ℹ          iteration 8887 | batch: 12 | bound: 0 | nc: 30 | ncall: 41497 | eff(%): 21.313 | loglstar:   -inf < 130.740 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:26:05,038 ℹ          iteration 8897 | batch: 12 | bound: 0 | nc: 18 | ncall: 41607 | eff(%): 21.281 | loglstar:   -inf < 131.304 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:26:26,101 ℹ          iteration 8903 | batch: 12 | bound: 0 | nc: 48 | ncall: 41754 | eff(%): 21.221 | loglstar:   -inf < 132.020 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:26:42,940 ℹ          iteration 8912 | batch: 12 | bound: 0 | nc: 24 | ncall: 41869 | eff(%): 21.184 | loglstar:   -inf < 132.851 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:27:03,330 ℹ          iteration 8917 | batch: 12 | bound: 0 | nc: 38 | ncall: 42010 | eff(%): 21.125 | loglstar:   -inf < 133.239 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:27:18,383 ℹ          iteration 8927 | batch: 12 | bound: 0 | nc: 2 | ncall: 42112 | eff(%): 21.098 | loglstar:   -inf < 134.402 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:27:35,482 ℹ          iteration 8934 | batch: 12 | bound: 0 | nc: 26 | ncall: 42232 | eff(%): 21.055 | loglstar:   -inf < 135.151 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:27:52,797 ℹ          iteration 8940 | batch: 12 | bound: 0 | nc: 23 | ncall: 42352 | eff(%): 21.010 | loglstar:   -inf < 135.366 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:28:09,275 ℹ          iteration 8947 | batch: 12 | bound: 0 | nc: 26 | ncall: 42465 | eff(%): 20.970 | loglstar:   -inf < 136.551 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:28:26,618 ℹ          iteration 8956 | batch: 12 | bound: 0 | nc: 36 | ncall: 42586 | eff(%): 20.932 | loglstar:   -inf < 137.544 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:28:44,899 ℹ          iteration 8960 | batch: 12 | bound: 0 | nc: 47 | ncall: 42712 | eff(%): 20.880 | loglstar:   -inf < 137.722 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:29:03,012 ℹ          iteration 8966 | batch: 12 | bound: 0 | nc: 24 | ncall: 42837 | eff(%): 20.833 | loglstar:   -inf < 138.369 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:29:19,195 ℹ          iteration 8968 | batch: 12 | bound: 0 | nc: 62 | ncall: 42950 | eff(%): 20.783 | loglstar:   -inf < 138.446 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:29:37,289 ℹ          iteration 8970 | batch: 12 | bound: 0 | nc: 99 | ncall: 43076 | eff(%): 20.727 | loglstar:   -inf < 138.558 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:29:55,885 ℹ          iteration 8974 | batch: 12 | bound: 0 | nc: 33 | ncall: 43205 | eff(%): 20.675 | loglstar:   -inf < 138.881 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:30:32,333 ℹ          iteration 8978 | batch: 12 | bound: 0 | nc: 158 | ncall: 43458 | eff(%): 20.564 | loglstar:   -inf < 139.199 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:30:59,808 ℹ          iteration 8982 | batch: 12 | bound: 0 | nc: 119 | ncall: 43647 | eff(%): 20.485 | loglstar:   -inf < 139.505 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:31:21,338 ℹ          iteration 8987 | batch: 12 | bound: 0 | nc: 49 | ncall: 43796 | eff(%): 20.427 | loglstar:   -inf < 139.764 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:31:41,130 ℹ          iteration 8992 | batch: 12 | bound: 0 | nc: 36 | ncall: 43932 | eff(%): 20.375 | loglstar:   -inf < 139.892 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:31:57,345 ℹ          iteration 8995 | batch: 12 | bound: 0 | nc: 18 | ncall: 44045 | eff(%): 20.330 | loglstar:   -inf < 140.032 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:32:16,215 ℹ          iteration 8998 | batch: 12 | bound: 0 | nc: 101 | ncall: 44175 | eff(%): 20.277 | loglstar:   -inf < 140.091 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:32:42,045 ℹ          iteration 9004 | batch: 12 | bound: 0 | nc: 86 | ncall: 44354 | eff(%): 20.209 | loglstar:   -inf < 140.264 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:32:57,144 ℹ          iteration 9006 | batch: 12 | bound: 0 | nc: 48 | ncall: 44459 | eff(%): 20.166 | loglstar:   -inf < 140.472 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:33:21,281 ℹ          iteration 9007 | batch: 12 | bound: 0 | nc: 167 | ncall: 44626 | eff(%): 20.093 | loglstar:   -inf < 140.547 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:33:46,066 ℹ          iteration 9012 | batch: 12 | bound: 0 | nc: 72 | ncall: 44798 | eff(%): 20.028 | loglstar:   -inf < 140.680 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:34:02,164 ℹ          iteration 9015 | batch: 12 | bound: 0 | nc: 38 | ncall: 44908 | eff(%): 19.985 | loglstar:   -inf < 140.766 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:34:23,897 ℹ          iteration 9022 | batch: 12 | bound: 0 | nc: 53 | ncall: 45058 | eff(%): 19.935 | loglstar:   -inf < 141.029 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:34:41,979 ℹ          iteration 9027 | batch: 12 | bound: 0 | nc: 74 | ncall: 45184 | eff(%): 19.890 | loglstar:   -inf < 141.325 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:34:57,214 ℹ          iteration 9054 | batch: 12 | bound: 1 | nc: 2 | ncall: 45290 | eff(%): 19.903 | loglstar:   -inf < 143.088 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:35:12,319 ℹ          iteration 9097 | batch: 12 | bound: 1 | nc: 5 | ncall: 45393 | eff(%): 19.953 | loglstar:   -inf < 144.671 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:35:27,805 ℹ          iteration 9132 | batch: 12 | bound: 1 | nc: 4 | ncall: 45499 | eff(%): 19.983 | loglstar:   -inf < 145.673 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:35:43,202 ℹ          iteration 9165 | batch: 12 | bound: 2 | nc: 4 | ncall: 45604 | eff(%): 20.009 | loglstar:   -inf < 146.394 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:35:58,342 ℹ          iteration 9194 | batch: 12 | bound: 2 | nc: 1 | ncall: 45707 | eff(%): 20.027 | loglstar:   -inf < 147.046 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:36:13,485 ℹ          iteration 9228 | batch: 12 | bound: 2 | nc: 3 | ncall: 45811 | eff(%): 20.056 | loglstar:   -inf < 147.584 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:36:28,823 ℹ          iteration 9259 | batch: 12 | bound: 3 | nc: 5 | ncall: 45916 | eff(%): 20.078 | loglstar:   -inf < 148.078 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:36:44,088 ℹ          iteration 9281 | batch: 12 | bound: 3 | nc: 2 | ncall: 46020 | eff(%): 20.080 | loglstar:   -inf < 148.441 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:36:59,223 ℹ          iteration 9309 | batch: 12 | bound: 3 | nc: 1 | ncall: 46124 | eff(%): 20.095 | loglstar:   -inf < 148.796 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:37:14,386 ℹ          iteration 9347 | batch: 12 | bound: 4 | nc: 2 | ncall: 46228 | eff(%): 20.132 | loglstar:   -inf < 149.162 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:37:30,250 ℹ          iteration 9385 | batch: 12 | bound: 4 | nc: 6 | ncall: 46336 | eff(%): 20.167 | loglstar:   -inf < 149.505 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:37:46,347 ℹ          iteration 9410 | batch: 12 | bound: 4 | nc: 22 | ncall: 46446 | eff(%): 20.173 | loglstar:   -inf < 149.702 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:38:01,461 ℹ          iteration 9452 | batch: 12 | bound: 5 | nc: 1 | ncall: 46549 | eff(%): 20.219 | loglstar:   -inf < 149.977 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:38:16,484 ℹ          iteration 9491 | batch: 12 | bound: 5 | nc: 3 | ncall: 46651 | eff(%): 20.258 | loglstar:   -inf < 150.235 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:38:31,583 ℹ          iteration 9529 | batch: 12 | bound: 6 | nc: 2 | ncall: 46753 | eff(%): 20.295 | loglstar:   -inf < 150.461 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:38:46,957 ℹ          iteration 9571 | batch: 12 | bound: 6 | nc: 4 | ncall: 46858 | eff(%): 20.339 | loglstar:   -inf < 150.629 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:39:02,630 ℹ          iteration 9603 | batch: 12 | bound: 6 | nc: 12 | ncall: 46965 | eff(%): 20.360 | loglstar:   -inf < 150.791 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:39:18,174 ℹ          iteration 9638 | batch: 12 | bound: 7 | nc: 4 | ncall: 47071 | eff(%): 20.389 | loglstar:   -inf < 150.912 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:39:34,280 ℹ          iteration 9674 | batch: 12 | bound: 7 | nc: 9 | ncall: 47181 | eff(%): 20.417 | loglstar:   -inf < 151.044 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:39:50,071 ℹ          iteration 9706 | batch: 12 | bound: 7 | nc: 16 | ncall: 47289 | eff(%): 20.438 | loglstar:   -inf < 151.181 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:40:05,336 ℹ          iteration 9732 | batch: 12 | bound: 8 | nc: 6 | ncall: 47393 | eff(%): 20.448 | loglstar:   -inf < 151.291 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:40:20,483 ℹ          iteration 9749 | batch: 12 | bound: 8 | nc: 2 | ncall: 47496 | eff(%): 20.440 | loglstar:   -inf < 151.318 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:40:35,609 ℹ          iteration 9758 | batch: 12 | bound: 8 | nc: 7 | ncall: 47599 | eff(%): 20.415 | loglstar:   -inf < 151.334 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:40:50,651 ℹ          iteration 9775 | batch: 12 | bound: 9 | nc: 2 | ncall: 47701 | eff(%): 20.407 | loglstar:   -inf < 151.376 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:41:06,202 ℹ          iteration 9788 | batch: 12 | bound: 9 | nc: 28 | ncall: 47807 | eff(%): 20.389 | loglstar:   -inf < 151.403 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:41:21,761 ℹ          iteration 9808 | batch: 12 | bound: 9 | nc: 5 | ncall: 47913 | eff(%): 20.385 | loglstar:   -inf < 151.444 < 151.463 | logz: 145.655 +/-  0.075 | stop:  1.525
2025-11-19 17:42:42,073 ℹ          iteration 10020 | batch: 13 | bound: 0 | nc: 4 | ncall: 48177 | eff(%): 20.798 | loglstar: 149.915 < 150.857 < 151.430 | logz: 145.671 +/-  0.072 | stop:  1.354
2025-11-19 17:42:57,655 ℹ          iteration 10073 | batch: 13 | bound: 1 | nc: 4 | ncall: 48283 | eff(%): 20.657 | loglstar: 149.915 < 150.208 < 151.430 | logz: 145.671 +/-  0.072 | stop:  1.354
2025-11-19 17:43:13,326 ℹ          iteration 10111 | batch: 13 | bound: 1 | nc: 6 | ncall: 48390 | eff(%): 20.689 | loglstar: 149.915 < 150.451 < 151.430 | logz: 145.671 +/-  0.072 | stop:  1.354
2025-11-19 17:43:28,504 ℹ          iteration 10151 | batch: 13 | bound: 2 | nc: 3 | ncall: 48493 | eff(%): 20.727 | loglstar: 149.915 < 150.698 < 151.430 | logz: 145.671 +/-  0.072 | stop:  1.354
2025-11-19 17:43:43,994 ℹ          iteration 10179 | batch: 13 | bound: 2 | nc: 4 | ncall: 48598 | eff(%): 20.740 | loglstar: 149.915 < 150.800 < 151.430 | logz: 145.671 +/-  0.072 | stop:  1.354
2025-11-19 17:43:59,289 ℹ          iteration 10209 | batch: 13 | bound: 2 | nc: 5 | ncall: 48702 | eff(%): 20.757 | loglstar: 149.915 < 150.942 < 151.430 | logz: 145.671 +/-  0.072 | stop:  1.354
2025-11-19 17:44:14,841 ℹ          iteration 10236 | batch: 13 | bound: 3 | nc: 4 | ncall: 48808 | eff(%): 20.767 | loglstar: 149.915 < 151.078 < 151.430 | logz: 145.671 +/-  0.072 | stop:  1.354
2025-11-19 17:44:30,220 ℹ          iteration 10261 | batch: 13 | bound: 3 | nc: 3 | ncall: 48913 | eff(%): 20.774 | loglstar: 149.915 < 151.190 < 151.430 | logz: 145.671 +/-  0.072 | stop:  1.354
2025-11-19 17:44:45,341 ℹ          iteration 10284 | batch: 13 | bound: 3 | nc: 1 | ncall: 49016 | eff(%): 20.777 | loglstar: 149.915 < 151.249 < 151.430 | logz: 145.671 +/-  0.072 | stop:  1.354
2025-11-19 17:45:01,563 ℹ          iteration 10307 | batch: 13 | bound: 4 | nc: 14 | ncall: 49126 | eff(%): 20.777 | loglstar: 149.915 < 151.313 < 151.430 | logz: 145.671 +/-  0.072 | stop:  1.354
2025-11-19 17:45:21,523 ℹ          iteration 10318 | batch: 13 | bound: 4 | nc: 46 | ncall: 49262 | eff(%): 20.743 | loglstar: 149.915 < 151.349 < 151.430 | logz: 145.671 +/-  0.072 | stop:  1.354
2025-11-19 17:45:37,034 ℹ          iteration 10331 | batch: 13 | bound: 4 | nc: 13 | ncall: 49368 | eff(%): 20.725 | loglstar: 149.915 < 151.370 < 151.430 | logz: 145.671 +/-  0.072 | stop:  1.354
2025-11-19 17:45:52,420 ℹ          iteration 10347 | batch: 13 | bound: 5 | nc: 14 | ncall: 49473 | eff(%): 20.713 | loglstar: 149.915 < 151.414 < 151.430 | logz: 145.671 +/-  0.072 | stop:  1.354
2025-11-19 17:47:38,013 ℹ          iteration 10556 | batch: 14 | bound: 0 | nc: 3 | ncall: 50016 | eff(%): 21.105 | loglstar: 149.497 < 149.841 < 151.418 | logz: 145.671 +/-  0.070 | stop:  1.247
2025-11-19 17:47:55,170 ℹ          iteration 10584 | batch: 14 | bound: 1 | nc: 17 | ncall: 50134 | eff(%): 20.838 | loglstar: 149.497 < 149.734 < 151.418 | logz: 145.671 +/-  0.070 | stop:  1.247
2025-11-19 17:48:11,821 ℹ          iteration 10615 | batch: 14 | bound: 1 | nc: 13 | ncall: 50248 | eff(%): 20.852 | loglstar: 149.497 < 149.960 < 151.418 | logz: 145.671 +/-  0.070 | stop:  1.247
2025-11-19 17:48:27,175 ℹ          iteration 10642 | batch: 14 | bound: 2 | nc: 4 | ncall: 50353 | eff(%): 20.862 | loglstar: 149.497 < 150.181 < 151.418 | logz: 145.671 +/-  0.070 | stop:  1.247
2025-11-19 17:48:42,996 ℹ          iteration 10672 | batch: 14 | bound: 2 | nc: 9 | ncall: 50461 | eff(%): 20.876 | loglstar: 149.497 < 150.372 < 151.418 | logz: 145.671 +/-  0.070 | stop:  1.247
2025-11-19 17:48:58,886 ℹ          iteration 10706 | batch: 14 | bound: 2 | nc: 7 | ncall: 50569 | eff(%): 20.899 | loglstar: 149.497 < 150.581 < 151.418 | logz: 145.671 +/-  0.070 | stop:  1.247
2025-11-19 17:49:14,179 ℹ          iteration 10735 | batch: 14 | bound: 3 | nc: 2 | ncall: 50673 | eff(%): 20.913 | loglstar: 149.497 < 150.721 < 151.418 | logz: 145.671 +/-  0.070 | stop:  1.247
2025-11-19 17:49:29,230 ℹ          iteration 10759 | batch: 14 | bound: 3 | nc: 2 | ncall: 50776 | eff(%): 20.918 | loglstar: 149.497 < 150.833 < 151.418 | logz: 145.671 +/-  0.070 | stop:  1.247
2025-11-19 17:49:44,300 ℹ          iteration 10790 | batch: 14 | bound: 3 | nc: 1 | ncall: 50879 | eff(%): 20.936 | loglstar: 149.497 < 150.982 < 151.418 | logz: 145.671 +/-  0.070 | stop:  1.247
2025-11-19 17:49:59,912 ℹ          iteration 10819 | batch: 14 | bound: 4 | nc: 5 | ncall: 50985 | eff(%): 20.949 | loglstar: 149.497 < 151.088 < 151.418 | logz: 145.671 +/-  0.070 | stop:  1.247
2025-11-19 17:50:15,455 ℹ          iteration 10843 | batch: 14 | bound: 4 | nc: 10 | ncall: 51091 | eff(%): 20.953 | loglstar: 149.497 < 151.190 < 151.418 | logz: 145.671 +/-  0.070 | stop:  1.247
2025-11-19 17:50:31,478 ℹ          iteration 10861 | batch: 14 | bound: 4 | nc: 8 | ncall: 51200 | eff(%): 20.943 | loglstar: 149.497 < 151.241 < 151.418 | logz: 145.671 +/-  0.070 | stop:  1.247
2025-11-19 17:50:46,821 ℹ          iteration 10878 | batch: 14 | bound: 5 | nc: 5 | ncall: 51304 | eff(%): 20.934 | loglstar: 149.497 < 151.278 < 151.418 | logz: 145.671 +/-  0.070 | stop:  1.247
2025-11-19 17:51:02,025 ℹ          iteration 10892 | batch: 14 | bound: 5 | nc: 3 | ncall: 51407 | eff(%): 20.920 | loglstar: 149.497 < 151.310 < 151.418 | logz: 145.671 +/-  0.070 | stop:  1.247
2025-11-19 17:51:17,558 ℹ          iteration 10915 | batch: 14 | bound: 5 | nc: 7 | ncall: 51513 | eff(%): 20.921 | loglstar: 149.497 < 151.360 < 151.418 | logz: 145.671 +/-  0.070 | stop:  1.247
2025-11-19 17:52:35,513 ℹ          iteration 11145 | batch: 15 | bound: 0 | nc: 2 | ncall: 52267 | eff(%): 21.323 | loglstar: 149.328 < 151.353 < 151.406 | logz: 145.673 +/-  0.068 | stop:  1.151
2025-11-19 17:52:50,572 ℹ          iteration 11185 | batch: 15 | bound: 1 | nc: 2 | ncall: 52370 | eff(%): 21.182 | loglstar: 149.328 < 149.687 < 151.406 | logz: 145.673 +/-  0.068 | stop:  1.151
2025-11-19 17:53:05,632 ℹ          iteration 11219 | batch: 15 | bound: 1 | nc: 6 | ncall: 52473 | eff(%): 21.205 | loglstar: 149.328 < 149.990 < 151.406 | logz: 145.673 +/-  0.068 | stop:  1.151
2025-11-19 17:53:20,642 ℹ          iteration 11253 | batch: 15 | bound: 2 | nc: 1 | ncall: 52575 | eff(%): 21.228 | loglstar: 149.328 < 150.253 < 151.406 | logz: 145.673 +/-  0.068 | stop:  1.151
2025-11-19 17:53:36,323 ℹ          iteration 11294 | batch: 15 | bound: 2 | nc: 7 | ncall: 52682 | eff(%): 21.262 | loglstar: 149.328 < 150.528 < 151.406 | logz: 145.673 +/-  0.068 | stop:  1.151
2025-11-19 17:53:51,607 ℹ          iteration 11320 | batch: 15 | bound: 2 | nc: 4 | ncall: 52786 | eff(%): 21.270 | loglstar: 149.328 < 150.681 < 151.406 | logz: 145.673 +/-  0.068 | stop:  1.151
2025-11-19 17:54:07,110 ℹ          iteration 11344 | batch: 15 | bound: 3 | nc: 17 | ncall: 52892 | eff(%): 21.273 | loglstar: 149.328 < 150.748 < 151.406 | logz: 145.673 +/-  0.068 | stop:  1.151
2025-11-19 17:54:23,906 ℹ          iteration 11360 | batch: 15 | bound: 3 | nc: 16 | ncall: 53007 | eff(%): 21.257 | loglstar: 149.328 < 150.824 < 151.406 | logz: 145.673 +/-  0.068 | stop:  1.151
2025-11-19 17:54:39,145 ℹ          iteration 11376 | batch: 15 | bound: 3 | nc: 24 | ncall: 53111 | eff(%): 21.245 | loglstar: 149.328 < 150.891 < 151.406 | logz: 145.673 +/-  0.068 | stop:  1.151
2025-11-19 17:54:54,368 ℹ          iteration 11394 | batch: 15 | bound: 4 | nc: 8 | ncall: 53214 | eff(%): 21.238 | loglstar: 149.328 < 150.949 < 151.406 | logz: 145.673 +/-  0.068 | stop:  1.151
2025-11-19 17:55:09,467 ℹ          iteration 11421 | batch: 15 | bound: 4 | nc: 2 | ncall: 53317 | eff(%): 21.248 | loglstar: 149.328 < 151.073 < 151.406 | logz: 145.673 +/-  0.068 | stop:  1.151
2025-11-19 17:55:25,327 ℹ          iteration 11446 | batch: 15 | bound: 4 | nc: 14 | ncall: 53425 | eff(%): 21.251 | loglstar: 149.328 < 151.172 < 151.406 | logz: 145.673 +/-  0.068 | stop:  1.151
2025-11-19 17:55:40,917 ℹ          iteration 11483 | batch: 15 | bound: 5 | nc: 5 | ncall: 53531 | eff(%): 21.278 | loglstar: 149.328 < 151.293 < 151.406 | logz: 145.673 +/-  0.068 | stop:  1.151
2025-11-19 17:55:56,123 ℹ          iteration 11515 | batch: 15 | bound: 5 | nc: 3 | ncall: 53634 | eff(%): 21.297 | loglstar: 149.328 < 151.390 < 151.406 | logz: 145.673 +/-  0.068 | stop:  1.151
2025-11-19 17:57:25,315 ℹ          iteration 11726 | batch: 16 | bound: 0 | nc: 6 | ncall: 54106 | eff(%): 21.672 | loglstar: 149.002 < 149.955 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 17:57:40,905 ℹ          iteration 11757 | batch: 16 | bound: 1 | nc: 4 | ncall: 54213 | eff(%): 21.461 | loglstar: 149.002 < 149.375 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 17:57:56,299 ℹ          iteration 11786 | batch: 16 | bound: 1 | nc: 3 | ncall: 54317 | eff(%): 21.474 | loglstar: 149.002 < 149.673 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 17:58:11,777 ℹ          iteration 11817 | batch: 16 | bound: 2 | nc: 4 | ncall: 54422 | eff(%): 21.489 | loglstar: 149.002 < 149.912 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 17:58:27,273 ℹ          iteration 11851 | batch: 16 | bound: 2 | nc: 5 | ncall: 54527 | eff(%): 21.510 | loglstar: 149.002 < 150.164 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 17:58:42,617 ℹ          iteration 11884 | batch: 16 | bound: 2 | nc: 6 | ncall: 54631 | eff(%): 21.529 | loglstar: 149.002 < 150.397 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 17:58:57,745 ℹ          iteration 11917 | batch: 16 | bound: 3 | nc: 6 | ncall: 54734 | eff(%): 21.549 | loglstar: 149.002 < 150.614 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 17:59:12,859 ℹ          iteration 11948 | batch: 16 | bound: 3 | nc: 1 | ncall: 54836 | eff(%): 21.565 | loglstar: 149.002 < 150.758 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 17:59:29,257 ℹ          iteration 11971 | batch: 16 | bound: 3 | nc: 12 | ncall: 54947 | eff(%): 21.563 | loglstar: 149.002 < 150.864 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 17:59:44,329 ℹ          iteration 12006 | batch: 16 | bound: 4 | nc: 2 | ncall: 55049 | eff(%): 21.587 | loglstar: 149.002 < 151.008 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 17:59:59,604 ℹ          iteration 12038 | batch: 16 | bound: 4 | nc: 3 | ncall: 55153 | eff(%): 21.604 | loglstar: 149.002 < 151.108 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 18:00:14,723 ℹ          iteration 12062 | batch: 16 | bound: 4 | nc: 4 | ncall: 55256 | eff(%): 21.607 | loglstar: 149.002 < 151.162 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 18:00:30,847 ℹ          iteration 12089 | batch: 16 | bound: 5 | nc: 9 | ncall: 55366 | eff(%): 21.613 | loglstar: 149.002 < 151.249 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 18:00:46,251 ℹ          iteration 12118 | batch: 16 | bound: 5 | nc: 5 | ncall: 55471 | eff(%): 21.624 | loglstar: 149.002 < 151.334 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 18:01:02,115 ℹ          iteration 12139 | batch: 16 | bound: 5 | nc: 7 | ncall: 55579 | eff(%): 21.620 | loglstar: 149.002 < 151.369 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 18:01:17,215 ℹ          iteration 12161 | batch: 16 | bound: 6 | nc: 4 | ncall: 55682 | eff(%): 21.619 | loglstar: 149.002 < 151.426 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 18:01:33,090 ℹ          iteration 12183 | batch: 16 | bound: 6 | nc: 7 | ncall: 55790 | eff(%): 21.617 | loglstar: 149.002 < 151.474 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 18:01:48,457 ℹ          iteration 12200 | batch: 16 | bound: 6 | nc: 7 | ncall: 55895 | eff(%): 21.607 | loglstar: 149.002 < 151.519 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 18:02:03,486 ℹ          iteration 12218 | batch: 16 | bound: 7 | nc: 1 | ncall: 55997 | eff(%): 21.600 | loglstar: 149.002 < 151.549 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 18:02:22,274 ℹ          iteration 12233 | batch: 16 | bound: 7 | nc: 30 | ncall: 56125 | eff(%): 21.577 | loglstar: 149.002 < 151.580 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 18:02:39,969 ℹ          iteration 12243 | batch: 16 | bound: 8 | nc: 22 | ncall: 56245 | eff(%): 21.549 | loglstar: 149.002 < 151.593 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 18:02:57,765 ℹ          iteration 12258 | batch: 16 | bound: 8 | nc: 20 | ncall: 56366 | eff(%): 21.530 | loglstar: 149.002 < 151.619 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 18:03:12,829 ℹ          iteration 12274 | batch: 16 | bound: 8 | nc: 13 | ncall: 56469 | eff(%): 21.519 | loglstar: 149.002 < 151.635 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 18:03:28,189 ℹ          iteration 12290 | batch: 16 | bound: 9 | nc: 9 | ncall: 56573 | eff(%): 21.508 | loglstar: 149.002 < 151.651 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 18:03:43,262 ℹ          iteration 12300 | batch: 16 | bound: 9 | nc: 7 | ncall: 56676 | eff(%): 21.487 | loglstar: 149.002 < 151.672 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 18:04:01,414 ℹ          iteration 12322 | batch: 16 | bound: 9 | nc: 25 | ncall: 56800 | eff(%): 21.478 | loglstar: 149.002 < 151.708 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 18:04:16,925 ℹ          iteration 12342 | batch: 16 | bound: 10 | nc: 6 | ncall: 56905 | eff(%): 21.474 | loglstar: 149.002 < 151.731 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 18:04:33,991 ℹ          iteration 12352 | batch: 16 | bound: 10 | nc: 20 | ncall: 57021 | eff(%): 21.448 | loglstar: 149.002 < 151.746 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 18:04:49,011 ℹ          iteration 12368 | batch: 16 | bound: 11 | nc: 4 | ncall: 57123 | eff(%): 21.438 | loglstar: 149.002 < 151.764 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 18:05:04,087 ℹ          iteration 12384 | batch: 16 | bound: 11 | nc: 7 | ncall: 57226 | eff(%): 21.427 | loglstar: 149.002 < 151.781 < 151.781 | logz: 145.677 +/-  0.067 | stop:  1.071
2025-11-19 18:05:04,216 🗸          ...finished!
2025-11-19 18:05:04,216 ℹ          Finished sampling with 12584 samples and evidence estimate 145.68 +/- 0.06
