files / problems / sidon-second-term / compute / q1 / search.jsonl
{"t": 1787798436.1073792, "tag": "q1-start", "phase": "replay"}
{"t": 1787798436.1345823, "tag": "replay-R1-L4", "R": 1, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9461473014450581, "a": 1.7733066036889458, "b": 0.5048166595497499, "feasible": true, "min_cover_left": 0.9999999999999997, "min_cover_right": 0.9999999999999997, "beats_0.9435": false, "beats_l6_plateau": false, "beats_hz_gamma0": false}
{"t": 1787798436.1373806, "tag": "replay-R2-L4", "R": 2, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.945051057656755, "a": 1.226927207526526, "b": 0.7279335694076554, "feasible": true, "min_cover_left": 0.9999999999999993, "min_cover_right": 0.9999999999999993, "beats_0.9435": false, "beats_l6_plateau": false, "beats_hz_gamma0": false}
{"t": 1787798436.145958, "tag": "replay-R3-L4", "R": 3, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9437979300977993, "a": 1.2657575340121527, "b": 0.7037323570442506, "feasible": true, "min_cover_left": 0.9999999999999998, "min_cover_right": 0.9999999999999998, "beats_0.9435": false, "beats_l6_plateau": false, "beats_hz_gamma0": false}
{"t": 1787798436.153174, "tag": "replay-R4-L4", "R": 4, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9436448861104898, "a": 1.2696806818322341, "b": 0.7013304083649423, "feasible": true, "min_cover_left": 0.9999999999999999, "min_cover_right": 0.9999999999999999, "beats_0.9435": false, "beats_l6_plateau": false, "beats_hz_gamma0": false}
{"t": 1787798436.1576712, "tag": "replay-R5-L4", "R": 5, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9435665925888534, "a": 1.2697740658588317, "b": 0.7011624655033089, "feasible": true, "min_cover_left": 0.9999999999999998, "min_cover_right": 0.9999999999999998, "beats_0.9435": false, "beats_l6_plateau": false, "beats_hz_gamma0": false}
{"t": 1787798436.1623237, "tag": "replay-R6-L4", "R": 6, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9435030630929337, "a": 1.274107955145629, "b": 0.6986833623246627, "feasible": true, "min_cover_left": 0.9999999999999998, "min_cover_right": 0.9999999999999998, "beats_0.9435": false, "beats_l6_plateau": false, "beats_hz_gamma0": false}
{"t": 1787798436.17038, "tag": "replay-R7-L4", "R": 7, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9434969529873997, "a": 1.275028123070603, "b": 0.6981700906743171, "feasible": true, "min_cover_left": 0.9999999999999996, "min_cover_right": 0.9999999999999996, "beats_0.9435": true, "beats_l6_plateau": false, "beats_hz_gamma0": false}
{"t": 1787798436.1780937, "tag": "replay-R8-L4", "R": 8, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9434925900612208, "a": 1.2731623817588364, "b": 0.6991867496671365, "feasible": true, "min_cover_left": 0.9999999999999991, "min_cover_right": 0.9999999999999991, "beats_0.9435": true, "beats_l6_plateau": false, "beats_hz_gamma0": true}
{"t": 1787798436.1896176, "tag": "replay-hz8-L5", "R": 8, "m": 32, "L": 5, "asymmetric": false, "gamma": 0.9434925097298842, "a": 1.2731623817588364, "b": 0.6991866306060981, "feasible": true, "min_cover_left": 0.9999999999999992, "min_cover_right": 0.9999999999999992, "beats_0.9435": true, "beats_l6_plateau": false, "beats_hz_gamma0": true}
{"t": 1787798436.2006798, "tag": "replay-hz8-L6", "R": 8, "m": 32, "L": 6, "asymmetric": false, "gamma": 0.9434925084844306, "a": 1.2731623817588364, "b": 0.6991866287601809, "feasible": true, "min_cover_left": 0.9999999999999991, "min_cover_right": 0.9999999999999991, "beats_0.9435": true, "beats_l6_plateau": false, "beats_hz_gamma0": true}
{"t": 1787798436.2219703, "tag": "replay-hz8-L8", "R": 8, "m": 32, "L": 8, "asymmetric": false, "gamma": 0.943492508466575, "a": 1.2731623817588364, "b": 0.6991866287337167, "feasible": true, "min_cover_left": 0.9999999999999993, "min_cover_right": 0.9999999999999993, "beats_0.9435": true, "beats_l6_plateau": false, "beats_hz_gamma0": true}
{"t": 1787798436.271627, "tag": "replay-hz8-L6-asym-weights", "R": 8, "m": 32, "L": 6, "asymmetric": true, "gamma": 0.9434925084844306, "a": 1.2731623817588364, "b": 0.6991866287601809, "feasible": true, "min_cover_left": 0.9999999999999991, "min_cover_right": 0.9999999999999991, "beats_0.9435": true, "beats_l6_plateau": false, "beats_hz_gamma0": true}
{"t": 1787798436.272167, "tag": "q1-done", "phase": "replay", "seconds": 0.16478705406188965}
{"t": 1787798448.543741, "tag": "q1-start", "phase": "all"}
{"t": 1787798448.5519133, "tag": "replay-R1-L4", "R": 1, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9461473014450581, "a": 1.7733066036889458, "b": 0.5048166595497499, "feasible": true, "min_cover_left": 0.9999999999999997, "min_cover_right": 0.9999999999999997, "beats_0.9435": false, "beats_l6_plateau": false, "beats_hz_gamma0": false}
{"t": 1787798448.5548337, "tag": "replay-R2-L4", "R": 2, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.945051057656755, "a": 1.226927207526526, "b": 0.7279335694076554, "feasible": true, "min_cover_left": 0.9999999999999993, "min_cover_right": 0.9999999999999993, "beats_0.9435": false, "beats_l6_plateau": false, "beats_hz_gamma0": false}
{"t": 1787798448.5580437, "tag": "replay-R3-L4", "R": 3, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9437979300977993, "a": 1.2657575340121527, "b": 0.7037323570442506, "feasible": true, "min_cover_left": 0.9999999999999998, "min_cover_right": 0.9999999999999998, "beats_0.9435": false, "beats_l6_plateau": false, "beats_hz_gamma0": false}
{"t": 1787798448.5615797, "tag": "replay-R4-L4", "R": 4, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9436448861104898, "a": 1.2696806818322341, "b": 0.7013304083649423, "feasible": true, "min_cover_left": 0.9999999999999999, "min_cover_right": 0.9999999999999999, "beats_0.9435": false, "beats_l6_plateau": false, "beats_hz_gamma0": false}
{"t": 1787798448.5655394, "tag": "replay-R5-L4", "R": 5, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9435665925888534, "a": 1.2697740658588317, "b": 0.7011624655033089, "feasible": true, "min_cover_left": 0.9999999999999998, "min_cover_right": 0.9999999999999998, "beats_0.9435": false, "beats_l6_plateau": false, "beats_hz_gamma0": false}
{"t": 1787798448.5697367, "tag": "replay-R6-L4", "R": 6, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9435030630929337, "a": 1.274107955145629, "b": 0.6986833623246627, "feasible": true, "min_cover_left": 0.9999999999999998, "min_cover_right": 0.9999999999999998, "beats_0.9435": false, "beats_l6_plateau": false, "beats_hz_gamma0": false}
{"t": 1787798448.5748484, "tag": "replay-R7-L4", "R": 7, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9434969529873997, "a": 1.275028123070603, "b": 0.6981700906743171, "feasible": true, "min_cover_left": 0.9999999999999996, "min_cover_right": 0.9999999999999996, "beats_0.9435": true, "beats_l6_plateau": false, "beats_hz_gamma0": false}
{"t": 1787798448.5799358, "tag": "replay-R8-L4", "R": 8, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9434925900612208, "a": 1.2731623817588364, "b": 0.6991867496671365, "feasible": true, "min_cover_left": 0.9999999999999991, "min_cover_right": 0.9999999999999991, "beats_0.9435": true, "beats_l6_plateau": false, "beats_hz_gamma0": true}
{"t": 1787798448.59025, "tag": "replay-hz8-L5", "R": 8, "m": 32, "L": 5, "asymmetric": false, "gamma": 0.9434925097298842, "a": 1.2731623817588364, "b": 0.6991866306060981, "feasible": true, "min_cover_left": 0.9999999999999992, "min_cover_right": 0.9999999999999992, "beats_0.9435": true, "beats_l6_plateau": false, "beats_hz_gamma0": true}
{"t": 1787798448.6009705, "tag": "replay-hz8-L6", "R": 8, "m": 32, "L": 6, "asymmetric": false, "gamma": 0.9434925084844306, "a": 1.2731623817588364, "b": 0.6991866287601809, "feasible": true, "min_cover_left": 0.9999999999999991, "min_cover_right": 0.9999999999999991, "beats_0.9435": true, "beats_l6_plateau": false, "beats_hz_gamma0": true}
{"t": 1787798448.6205099, "tag": "replay-hz8-L8", "R": 8, "m": 32, "L": 8, "asymmetric": false, "gamma": 0.943492508466575, "a": 1.2731623817588364, "b": 0.6991866287337167, "feasible": true, "min_cover_left": 0.9999999999999993, "min_cover_right": 0.9999999999999993, "beats_0.9435": true, "beats_l6_plateau": false, "beats_hz_gamma0": true}
{"t": 1787798448.6639125, "tag": "replay-hz8-L6-asym-weights", "R": 8, "m": 32, "L": 6, "asymmetric": true, "gamma": 0.9434925084844306, "a": 1.2731623817588364, "b": 0.6991866287601809, "feasible": true, "min_cover_left": 0.9999999999999991, "min_cover_right": 0.9999999999999991, "beats_0.9435": true, "beats_l6_plateau": false, "beats_hz_gamma0": true}
{"t": 1787798448.6757643, "tag": "joint-start-hz8-L6", "R": 8, "m": 32, "L": 6, "asymmetric": false, "gamma": 0.9434925084844306, "a": 1.2731623817588364, "b": 0.6991866287601809, "feasible": true, "min_cover_left": 0.9999999999999991, "min_cover_right": 0.9999999999999991, "beats_0.9435": true, "beats_l6_plateau": false, "beats_hz_gamma0": true}
{"t": 1787798500.9214673, "tag": "joint-lbfgs-hz8-L6", "R": 8, "m": 32, "L": 6, "asymmetric": false, "gamma": 0.9432425303235829, "a": 1.295003249088734, "b": 0.6870303002230322, "feasible": true, "min_cover_left": 0.9999999999999996, "min_cover_right": 0.9999999999999996, "beats_0.9435": true, "beats_l6_plateau": true, "beats_hz_gamma0": true}
{"t": 1787798500.9224744, "tag": "joint-lbfgs-meta", "success": false, "nfev": 5984, "nit": 40, "gamma0": 0.9434925084844306, "gamma": 0.9432425303235829, "delta": 0.0002499781608477081}
{"t": 1787798500.9385424, "tag": "cont-start-R8-L6", "R": 8, "m": 32, "L": 6, "asymmetric": false, "gamma": 0.9434925084844306, "a": 1.2731623817588364, "b": 0.6991866287601809, "feasible": true, "min_cover_left": 0.9999999999999991, "min_cover_right": 0.9999999999999991, "beats_0.9435": true, "beats_l6_plateau": false, "beats_hz_gamma0": true}
{"t": 1787798500.9473443, "tag": "cont-R9-seed0-start", "gamma": 0.9434953505180524}
{"t": 1787798508.329467, "tag": "cont-R9-seed0", "gamma": 0.9433355324942697, "nfev": 609, "success": false}
{"t": 1787798508.3386357, "tag": "cont-R9-seed1-start", "gamma": 0.9435515663065752}
{"t": 1787798515.3737314, "tag": "cont-R9-seed1", "gamma": 0.9433257313869767, "nfev": 588, "success": false}
{"t": 1787798515.3829625, "tag": "cont-R9-seed2-start", "gamma": 0.9446963873787996}
{"t": 1787798522.007301, "tag": "cont-R9-seed2", "gamma": 0.9433385687527263, "nfev": 567, "success": false}
{"t": 1787798522.016434, "tag": "cont-R9-seed3-start", "gamma": 0.9437543281713399}
{"t": 1787798528.4956834, "tag": "cont-R9-seed3", "gamma": 0.9433289716466088, "nfev": 567, "success": false}
{"t": 1787798528.5041046, "tag": "cont-R9-seed4-start", "gamma": 0.9445265933519881}
{"t": 1787798534.91921, "tag": "cont-R9-seed4", "gamma": 0.943335273062872, "nfev": 567, "success": false}
{"t": 1787798534.9279811, "tag": "cont-R9-L6", "R": 9, "m": 32, "L": 6, "asymmetric": false, "gamma": 0.9433257313869767, "a": 1.2883268365210825, "b": 0.6907124886878133, "feasible": true, "min_cover_left": 0.9999999999999994, "min_cover_right": 0.9999999999999994, "beats_0.9435": true, "beats_l6_plateau": true, "beats_hz_gamma0": true}
{"t": 1787798534.9406052, "tag": "cont-R10-seed0-start", "gamma": 0.9433271124688675}
{"t": 1787798543.5115106, "tag": "cont-R10-seed0", "gamma": 0.9432960036003551, "nfev": 770, "success": false}
{"t": 1787798543.5205138, "tag": "cont-R10-seed1-start", "gamma": 0.944235582181471}
{"t": 1787798550.8568, "tag": "cont-R10-seed1", "gamma": 0.9433071951266988, "nfev": 594, "success": false}
{"t": 1787798550.8659368, "tag": "cont-R10-seed2-start", "gamma": 0.9434382137222423}
{"t": 1787798558.3564613, "tag": "cont-R10-seed2", "gamma": 0.9433049241380792, "nfev": 638, "success": false}
{"t": 1787798558.365419, "tag": "cont-R10-seed3-start", "gamma": 0.943616485012461}
{"t": 1787798565.9313004, "tag": "cont-R10-seed3", "gamma": 0.9433114055194184, "nfev": 616, "success": false}
{"t": 1787798565.9408264, "tag": "cont-R10-seed4-start", "gamma": 0.9454686703005889}
{"t": 1787798573.1487994, "tag": "cont-R10-seed4", "gamma": 0.9433079950517231, "nfev": 572, "success": false}
{"t": 1787798573.1579597, "tag": "cont-R10-L6", "R": 10, "m": 32, "L": 6, "asymmetric": false, "gamma": 0.9432960036003517, "a": 1.282817686196652, "b": 0.6936350815730723, "feasible": true, "min_cover_left": 0.9999999999999996, "min_cover_right": 0.9999999999999996, "beats_0.9435": true, "beats_l6_plateau": true, "beats_hz_gamma0": true}
{"t": 1787798573.1705956, "tag": "cont-R11-seed0-start", "gamma": 0.9433006191364949}
{"t": 1787798581.6885862, "tag": "cont-R11-seed0", "gamma": 0.9432852623147757, "nfev": 690, "success": false}
{"t": 1787798581.7006958, "tag": "cont-R11-seed1-start", "gamma": 0.9438515659372365}
{"t": 1787798589.3396196, "tag": "cont-R11-seed1", "gamma": 0.9432842475012557, "nfev": 598, "success": false}
{"t": 1787798589.3491163, "tag": "cont-R11-seed2-start", "gamma": 0.9436387515924812}
{"t": 1787798597.2154596, "tag": "cont-R11-seed2", "gamma": 0.9432788345671063, "nfev": 621, "success": false}
{"t": 1787798597.224946, "tag": "cont-R11-seed3-start", "gamma": 0.9435268286870274}
{"t": 1787798605.6532266, "tag": "cont-R11-seed3", "gamma": 0.9432838695154901, "nfev": 690, "success": false}
{"t": 1787798605.6627376, "tag": "cont-R11-seed4-start", "gamma": 0.9483371634840013}
{"t": 1787798613.0018063, "tag": "cont-R11-seed4", "gamma": 0.9432859281074035, "nfev": 598, "success": false}
{"t": 1787798613.0114174, "tag": "cont-R11-L6", "R": 11, "m": 32, "L": 6, "asymmetric": false, "gamma": 0.9432788345671052, "a": 1.2854260705535867, "b": 0.6922023600774505, "feasible": true, "min_cover_left": 0.9999999999999994, "min_cover_right": 0.9999999999999994, "beats_0.9435": true, "beats_l6_plateau": true, "beats_hz_gamma0": true}
{"t": 1787798613.024982, "tag": "cont-R12-seed0-start", "gamma": 0.9432824601772624}
{"t": 1787798622.3038561, "tag": "cont-R12-seed0", "gamma": 0.9432710176848627, "nfev": 792, "success": false}
{"t": 1787798622.3137746, "tag": "cont-R12-seed1-start", "gamma": 0.9434586760996279}
{"t": 1787798630.738394, "tag": "cont-R12-seed1", "gamma": 0.9432645970408937, "nfev": 720, "success": false}
{"t": 1787798630.748273, "tag": "cont-R12-seed2-start", "gamma": 0.9449966859850887}
{"t": 1787798639.4990423, "tag": "cont-R12-seed2", "gamma": 0.9432711724291022, "nfev": 720, "success": false}
{"t": 1787798639.5087957, "tag": "cont-R12-seed3-start", "gamma": 0.9436884801519044}
{"t": 1787798647.4596741, "tag": "cont-R12-seed3", "gamma": 0.943275065344478, "nfev": 648, "success": false}
{"t": 1787798647.469457, "tag": "cont-R12-seed4-start", "gamma": 0.9444392433044696}
{"t": 1787798655.9473183, "tag": "cont-R12-seed4", "gamma": 0.9432740182892133, "nfev": 672, "success": false}
{"t": 1787798655.957301, "tag": "cont-R12-L6", "R": 12, "m": 32, "L": 6, "asymmetric": false, "gamma": 0.9432645970408925, "a": 1.2869320549890246, "b": 0.6913714648581859, "feasible": true, "min_cover_left": 0.9999999999999993, "min_cover_right": 0.9999999999999993, "beats_0.9435": true, "beats_l6_plateau": true, "beats_hz_gamma0": true}
{"t": 1787798656.011625, "tag": "nosym-start", "R": 8, "m": 32, "L": 6, "asymmetric": true, "gamma": 0.9434925084844306, "a": 1.2731623817588364, "b": 0.6991866287601809, "feasible": true, "min_cover_left": 0.9999999999999991, "min_cover_right": 0.9999999999999991, "beats_0.9435": true, "beats_l6_plateau": false, "beats_hz_gamma0": true}
{"t": 1787798810.8861995, "tag": "refine-start", "R": 8, "m": 32, "L": 6, "asymmetric": false, "gamma": 0.9432425303235829, "a": 1.295003249088734, "b": 0.6870303002230322, "feasible": true, "min_cover_left": 0.9999999999999996, "min_cover_right": 0.9999999999999996, "beats_0.9435": true, "beats_l6_plateau": true, "beats_hz_gamma0": true}