{"attempts":[{"attempt_id":"seed-101","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.hard-1s-unbalanced-teams-40p-8g.v1/groupmixer_browser/seed-101","key":"internal.hard-1s-unbalanced-teams-40p-8g.v1__groupmixer__seed-101","physical_memory_peak_bytes":733978624,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.hard-1s-unbalanced-teams-40p-8g.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":255.0,"comparator":"groupmixer_browser","cp_sat_challenger":{"branches":2049967,"candidate_canonical_score":null,"candidate_status":"absent","candidate_validation_error":null,"completion_reason":"cp_no_incumbent","conflicts":1554407,"cp_best_bound":40,"cp_diagnostics":{"actualModelStatistics":{"bool_variables":374,"builder_operations_by_family":{"bool_variable":374,"exactly_one":40,"hint":40,"int_variable":208,"linear_constraint":202,"max_equality":56,"multiplication_equality":56,"objective":1,"reified_relation":77},"constraints_by_family":{"exactly_one":40,"linear":202,"max_equality":56,"multiplication":56,"reified_relation":77},"estimate_complete":true,"estimated_model_bytes":191620,"estimator_version":"cp-sat-model-estimator-v1","int_variables":208,"linear_terms":2182,"multiplication_terms":112,"table_rows":0,"total_constraints":431,"total_variables":582},"branches":2049967,"buildingMilliseconds":98.9250000026077,"conflicts":1554407,"cpBestBound":40,"cpObjective":264,"decodingMilliseconds":0.15499999932944775,"hardTargetRung":1,"hardTargetRungStatuses":["INFEASIBLE","UNKNOWN"],"loadingMilliseconds":39.55000000074506,"numSearchWorkers":1,"optimalityProof":"rung_not_optimal","planningMilliseconds":0,"solverStatus":"UNKNOWN","solvingMilliseconds":59888.984999999404,"totalWorkerMilliseconds":60028.419999999925},"cp_objective":264,"cp_status":"UNKNOWN","estimator_version":"cp-sat-model-estimator-v1","native_canonical_score":255,"optimality_proof":"rung_not_optimal","package_version":"1.0.0","policy_version":"native-first-auto-challenger-v1","resource_plan":{"admission_details":[],"admission_reason":null,"admission_status":"admitted","cp_search_workers":1,"deadline":{"absolute_deadline_milliseconds":65186.390000000596,"aggregate_wall_limit_milliseconds":65000,"clock":"monotonic","established_at_milliseconds":186.39000000059605},"model_estimate":{"bool_variables":362,"builder_operations_by_family":{"bool_variable":362,"exactly_one":40,"hint":40,"int_variable":96,"linear_constraint":204,"max_equality":0,"multiplication_equality":0,"objective":0,"reified_relation":77},"constraints_by_family":{"exactly_one":40,"linear":204,"max_equality":0,"multiplication":0,"reified_relation":77},"estimate_complete":true,"estimated_model_bytes":150968,"estimator_version":"cp-sat-model-estimator-v1","int_variables":96,"linear_terms":1950,"multiplication_terms":0,"table_rows":0,"total_constraints":321,"total_variables":458},"native_plan":{"claims":[{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"parallel_auto"},{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"extreme_polish_batch"},{"evidence":"single_native_worker","max_simultaneous_compute_workers":1,"phase":"native_candidate_evaluation"}],"incumbent_schedule_provided":false,"max_simultaneous_compute_workers":7,"mode":"parallel_auto","parallel_auto_plan":{"lane_count":7,"lane_ids":[0,1,2,3,4,5,6],"total_budget_seconds":60},"status":"complete","ultra_plan":null,"version":"browser-native-resource-plan-v1"},"native_workers_claimed":7,"reported_logical_workers":8,"rollout":{"policy_version":"cp-sat-browser-rollout-v2","production_chooser_enabled":true,"rollout_state":"hard_target_admitted"},"spare_workers_after_native":1,"threshold_version":"browser-resource-thresholds-v1","version":"browser-solve-resource-plan-v1"},"scaling_plan":{"all_positive_terms_preserved":true,"attribute_sum_scale":4503599627370496,"attribute_sum_scale_exponent":52,"binding_integer_limit":9007199254740991,"coefficient_error_max_abs":0,"coefficient_error_max_rel":0,"effective_weight_scale":4503599627370496,"effective_weight_scale_exponent":52,"objective_coefficient_gcd":"1","objective_domain_bound":0,"precision_reduced_for_overflow":false,"requested_precision":{"attribute_sum_scale_exponent":52,"weight_scale_exponent":52},"rounding_mode":"ties_to_even","terms":{},"version":"cp-sat-scaling-v2"},"solve_id":"cp-sat-ddd45d7d-bd5a-4bd3-99f7-139a3156c45c","status":"completed","threshold_version":"browser-resource-thresholds-v1","timings":{"adjudication_finished_after_milliseconds":null,"adjudication_started_after_milliseconds":null,"clock":"monotonic","cp_finished_after_milliseconds":60138.539999999106,"cp_started_after_milliseconds":93.99499999918044,"deadline_milliseconds":65186.390000000596,"established_at_milliseconds":186.39000000059605,"native_started_after_milliseconds":0.029999999329447746,"total_milliseconds":60138.55999999866},"translator_version":"universal-v1-phase3b","version":"cp-sat-challenger-telemetry-v1","winner":"native"},"cp_sat_polish_lane":{"adopted_improvements":0,"best_score":255,"failure":null,"first_solution_milliseconds":568.75,"last_build_milliseconds":15,"last_hint_milliseconds":204,"last_run_status":null,"relaxation_restarts":0,"runs":1,"shared_best_restarts":0,"solutions":1,"status":"running","takes_lane_slot":false,"version":"cp-sat-polish-lane-v1"},"invocation_seconds":60.1670700000003,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":733978624,"problem_hash":"sha256:399ba4897a76e652994490d9809b5449f37ad7646dd6990b91aa4fbd5697c3bf","process_seconds":60.82855006800128,"provenance":{"selection_reason":"cp_no_incumbent","solve_id":"cp-sat-ddd45d7d-bd5a-4bd3-99f7-139a3156c45c","source":"native","version":"runtime-result-provenance-v1"},"resource_verified":true,"scenario_id":"internal.hard-1s-unbalanced-teams-40p-8g.v1","seed":101,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:1bcb124033c5d76733cbea1b538c2abf7aaa89cd27bcb83a710bbc592c5b42ab","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-202","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.hard-1s-unbalanced-teams-40p-8g.v1/groupmixer_browser/seed-202","key":"internal.hard-1s-unbalanced-teams-40p-8g.v1__groupmixer__seed-202","physical_memory_peak_bytes":738066432,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.hard-1s-unbalanced-teams-40p-8g.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":255.0,"comparator":"groupmixer_browser","cp_sat_challenger":{"branches":1767216,"candidate_canonical_score":null,"candidate_status":"absent","candidate_validation_error":null,"completion_reason":"cp_no_incumbent","conflicts":1330903,"cp_best_bound":24,"cp_diagnostics":{"actualModelStatistics":{"bool_variables":373,"builder_operations_by_family":{"bool_variable":373,"exactly_one":40,"hint":40,"int_variable":208,"linear_constraint":198,"max_equality":56,"multiplication_equality":56,"objective":1,"reified_relation":77},"constraints_by_family":{"exactly_one":40,"linear":198,"max_equality":56,"multiplication":56,"reified_relation":77},"estimate_complete":true,"estimated_model_bytes":190797,"estimator_version":"cp-sat-model-estimator-v1","int_variables":208,"linear_terms":2180,"multiplication_terms":112,"table_rows":0,"total_constraints":427,"total_variables":581},"branches":1767216,"buildingMilliseconds":57.78500000014901,"conflicts":1330903,"cpBestBound":24,"cpObjective":269,"decodingMilliseconds":0.13000000081956387,"hardTargetRung":1,"hardTargetRungStatuses":["INFEASIBLE","UNKNOWN"],"loadingMilliseconds":48.22999999858439,"numSearchWorkers":1,"optimalityProof":"rung_not_optimal","planningMilliseconds":0,"solverStatus":"UNKNOWN","solvingMilliseconds":59872.58499999903,"totalWorkerMilliseconds":59979.955000000075},"cp_objective":269,"cp_status":"UNKNOWN","estimator_version":"cp-sat-model-estimator-v1","native_canonical_score":255,"optimality_proof":"rung_not_optimal","package_version":"1.0.0","policy_version":"native-first-auto-challenger-v1","resource_plan":{"admission_details":[],"admission_reason":null,"admission_status":"admitted","cp_search_workers":1,"deadline":{"absolute_deadline_milliseconds":65183.9299999997,"aggregate_wall_limit_milliseconds":65000,"clock":"monotonic","established_at_milliseconds":183.92999999970198},"model_estimate":{"bool_variables":362,"builder_operations_by_family":{"bool_variable":362,"exactly_one":40,"hint":40,"int_variable":96,"linear_constraint":204,"max_equality":0,"multiplication_equality":0,"objective":0,"reified_relation":77},"constraints_by_family":{"exactly_one":40,"linear":204,"max_equality":0,"multiplication":0,"reified_relation":77},"estimate_complete":true,"estimated_model_bytes":150959,"estimator_version":"cp-sat-model-estimator-v1","int_variables":96,"linear_terms":1950,"multiplication_terms":0,"table_rows":0,"total_constraints":321,"total_variables":458},"native_plan":{"claims":[{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"parallel_auto"},{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"extreme_polish_batch"},{"evidence":"single_native_worker","max_simultaneous_compute_workers":1,"phase":"native_candidate_evaluation"}],"incumbent_schedule_provided":false,"max_simultaneous_compute_workers":7,"mode":"parallel_auto","parallel_auto_plan":{"lane_count":7,"lane_ids":[0,1,2,3,4,5,6],"total_budget_seconds":60},"status":"complete","ultra_plan":null,"version":"browser-native-resource-plan-v1"},"native_workers_claimed":7,"reported_logical_workers":8,"rollout":{"policy_version":"cp-sat-browser-rollout-v2","production_chooser_enabled":true,"rollout_state":"hard_target_admitted"},"spare_workers_after_native":1,"threshold_version":"browser-resource-thresholds-v1","version":"browser-solve-resource-plan-v1"},"scaling_plan":{"all_positive_terms_preserved":true,"attribute_sum_scale":4503599627370496,"attribute_sum_scale_exponent":52,"binding_integer_limit":9007199254740991,"coefficient_error_max_abs":0,"coefficient_error_max_rel":0,"effective_weight_scale":4503599627370496,"effective_weight_scale_exponent":52,"objective_coefficient_gcd":"1","objective_domain_bound":0,"precision_reduced_for_overflow":false,"requested_precision":{"attribute_sum_scale_exponent":52,"weight_scale_exponent":52},"rounding_mode":"ties_to_even","terms":{},"version":"cp-sat-scaling-v2"},"solve_id":"cp-sat-65f45d47-91d4-46a8-bb71-4f992f543482","status":"completed","threshold_version":"browser-resource-thresholds-v1","timings":{"adjudication_finished_after_milliseconds":null,"adjudication_started_after_milliseconds":null,"clock":"monotonic","cp_finished_after_milliseconds":60106.26499999873,"cp_started_after_milliseconds":105.07000000029802,"deadline_milliseconds":65183.9299999997,"established_at_milliseconds":183.92999999970198,"native_started_after_milliseconds":0.03500000014901161,"total_milliseconds":60106.29999999888},"translator_version":"universal-v1-phase3b","version":"cp-sat-challenger-telemetry-v1","winner":"native"},"cp_sat_polish_lane":{"adopted_improvements":0,"best_score":255,"failure":null,"first_solution_milliseconds":638.7949999999255,"last_build_milliseconds":15,"last_hint_milliseconds":197,"last_run_status":null,"relaxation_restarts":0,"runs":1,"shared_best_restarts":0,"solutions":1,"status":"running","takes_lane_slot":false,"version":"cp-sat-polish-lane-v1"},"invocation_seconds":60.13458000000008,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":738066432,"problem_hash":"sha256:399ba4897a76e652994490d9809b5449f37ad7646dd6990b91aa4fbd5697c3bf","process_seconds":60.81182498899943,"provenance":{"selection_reason":"cp_no_incumbent","solve_id":"cp-sat-65f45d47-91d4-46a8-bb71-4f992f543482","source":"native","version":"runtime-result-provenance-v1"},"resource_verified":true,"scenario_id":"internal.hard-1s-unbalanced-teams-40p-8g.v1","seed":202,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:6771280ba9272e9eff4de51b43878da1b09c9665844e7043eba0981b32f12ea6","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-303","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.hard-1s-unbalanced-teams-40p-8g.v1/groupmixer_browser/seed-303","key":"internal.hard-1s-unbalanced-teams-40p-8g.v1__groupmixer__seed-303","physical_memory_peak_bytes":738783232,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.hard-1s-unbalanced-teams-40p-8g.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":255.0,"comparator":"groupmixer_browser","cp_sat_challenger":{"branches":1794466,"candidate_canonical_score":null,"candidate_status":"absent","candidate_validation_error":null,"completion_reason":"cp_no_incumbent","conflicts":1371291,"cp_best_bound":36,"cp_diagnostics":{"actualModelStatistics":{"bool_variables":373,"builder_operations_by_family":{"bool_variable":373,"exactly_one":40,"hint":40,"int_variable":208,"linear_constraint":199,"max_equality":56,"multiplication_equality":56,"objective":1,"reified_relation":77},"constraints_by_family":{"exactly_one":40,"linear":199,"max_equality":56,"multiplication":56,"reified_relation":77},"estimate_complete":true,"estimated_model_bytes":190968,"estimator_version":"cp-sat-model-estimator-v1","int_variables":208,"linear_terms":2180,"multiplication_terms":112,"table_rows":0,"total_constraints":428,"total_variables":581},"branches":1794466,"buildingMilliseconds":75.46499999985099,"conflicts":1371291,"cpBestBound":36,"cpObjective":267,"decodingMilliseconds":0.14000000059604645,"hardTargetRung":1,"hardTargetRungStatuses":["INFEASIBLE","UNKNOWN"],"loadingMilliseconds":41.23499999940395,"numSearchWorkers":1,"optimalityProof":"rung_not_optimal","planningMilliseconds":0.005000000819563866,"solverStatus":"UNKNOWN","solvingMilliseconds":59897.93500000052,"totalWorkerMilliseconds":60015.4299999997},"cp_objective":267,"cp_status":"UNKNOWN","estimator_version":"cp-sat-model-estimator-v1","native_canonical_score":255,"optimality_proof":"rung_not_optimal","package_version":"1.0.0","policy_version":"native-first-auto-challenger-v1","resource_plan":{"admission_details":[],"admission_reason":null,"admission_status":"admitted","cp_search_workers":1,"deadline":{"absolute_deadline_milliseconds":65192.09999999963,"aggregate_wall_limit_milliseconds":65000,"clock":"monotonic","established_at_milliseconds":192.09999999962747},"model_estimate":{"bool_variables":362,"builder_operations_by_family":{"bool_variable":362,"exactly_one":40,"hint":40,"int_variable":96,"linear_constraint":204,"max_equality":0,"multiplication_equality":0,"objective":0,"reified_relation":77},"constraints_by_family":{"exactly_one":40,"linear":204,"max_equality":0,"multiplication":0,"reified_relation":77},"estimate_complete":true,"estimated_model_bytes":150968,"estimator_version":"cp-sat-model-estimator-v1","int_variables":96,"linear_terms":1950,"multiplication_terms":0,"table_rows":0,"total_constraints":321,"total_variables":458},"native_plan":{"claims":[{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"parallel_auto"},{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"extreme_polish_batch"},{"evidence":"single_native_worker","max_simultaneous_compute_workers":1,"phase":"native_candidate_evaluation"}],"incumbent_schedule_provided":false,"max_simultaneous_compute_workers":7,"mode":"parallel_auto","parallel_auto_plan":{"lane_count":7,"lane_ids":[0,1,2,3,4,5,6],"total_budget_seconds":60},"status":"complete","ultra_plan":null,"version":"browser-native-resource-plan-v1"},"native_workers_claimed":7,"reported_logical_workers":8,"rollout":{"policy_version":"cp-sat-browser-rollout-v2","production_chooser_enabled":true,"rollout_state":"hard_target_admitted"},"spare_workers_after_native":1,"threshold_version":"browser-resource-thresholds-v1","version":"browser-solve-resource-plan-v1"},"scaling_plan":{"all_positive_terms_preserved":true,"attribute_sum_scale":4503599627370496,"attribute_sum_scale_exponent":52,"binding_integer_limit":9007199254740991,"coefficient_error_max_abs":0,"coefficient_error_max_rel":0,"effective_weight_scale":4503599627370496,"effective_weight_scale_exponent":52,"objective_coefficient_gcd":"1","objective_domain_bound":0,"precision_reduced_for_overflow":false,"requested_precision":{"attribute_sum_scale_exponent":52,"weight_scale_exponent":52},"rounding_mode":"ties_to_even","terms":{},"version":"cp-sat-scaling-v2"},"solve_id":"cp-sat-b6011fd3-96d3-4b0a-8555-647e216dacc9","status":"completed","threshold_version":"browser-resource-thresholds-v1","timings":{"adjudication_finished_after_milliseconds":null,"adjudication_started_after_milliseconds":null,"clock":"monotonic","cp_finished_after_milliseconds":60141.43999999948,"cp_started_after_milliseconds":110.8300000000745,"deadline_milliseconds":65192.09999999963,"established_at_milliseconds":192.09999999962747,"native_started_after_milliseconds":0.03500000014901161,"total_milliseconds":60141.46499999985},"translator_version":"universal-v1-phase3b","version":"cp-sat-challenger-telemetry-v1","winner":"native"},"cp_sat_polish_lane":{"adopted_improvements":0,"best_score":255,"failure":null,"first_solution_milliseconds":615.3999999985099,"last_build_milliseconds":18,"last_hint_milliseconds":186,"last_run_status":null,"relaxation_restarts":0,"runs":1,"shared_best_restarts":0,"solutions":1,"status":"running","takes_lane_slot":false,"version":"cp-sat-polish-lane-v1"},"invocation_seconds":60.17210500000045,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":738783232,"problem_hash":"sha256:399ba4897a76e652994490d9809b5449f37ad7646dd6990b91aa4fbd5697c3bf","process_seconds":60.853134050001245,"provenance":{"selection_reason":"cp_no_incumbent","solve_id":"cp-sat-b6011fd3-96d3-4b0a-8555-647e216dacc9","source":"native","version":"runtime-result-provenance-v1"},"resource_verified":true,"scenario_id":"internal.hard-1s-unbalanced-teams-40p-8g.v1","seed":303,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:cff7bc6d2034e1d73ed1974c118e3354634585fd285cac920622525388fd4d61","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-404","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.hard-1s-unbalanced-teams-40p-8g.v1/groupmixer_browser/seed-404","key":"internal.hard-1s-unbalanced-teams-40p-8g.v1__groupmixer__seed-404","physical_memory_peak_bytes":730804224,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.hard-1s-unbalanced-teams-40p-8g.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":255.0,"comparator":"groupmixer_browser","cp_sat_challenger":{"branches":1570747,"candidate_canonical_score":null,"candidate_status":"absent","candidate_validation_error":null,"completion_reason":"cp_no_incumbent","conflicts":1135209,"cp_best_bound":36,"cp_diagnostics":{"actualModelStatistics":{"bool_variables":372,"builder_operations_by_family":{"bool_variable":372,"exactly_one":40,"hint":40,"int_variable":208,"linear_constraint":199,"max_equality":56,"multiplication_equality":56,"objective":1,"reified_relation":77},"constraints_by_family":{"exactly_one":40,"linear":199,"max_equality":56,"multiplication":56,"reified_relation":77},"estimate_complete":true,"estimated_model_bytes":190792,"estimator_version":"cp-sat-model-estimator-v1","int_variables":208,"linear_terms":2178,"multiplication_terms":112,"table_rows":0,"total_constraints":428,"total_variables":580},"branches":1570747,"buildingMilliseconds":74.27500000037253,"conflicts":1135209,"cpBestBound":36,"cpObjective":264,"decodingMilliseconds":0.14000000059604645,"hardTargetRung":1,"hardTargetRungStatuses":["INFEASIBLE","UNKNOWN"],"loadingMilliseconds":41.71999999880791,"numSearchWorkers":1,"optimalityProof":"rung_not_optimal","planningMilliseconds":0.005000000819563866,"solverStatus":"UNKNOWN","solvingMilliseconds":59849.07500000112,"totalWorkerMilliseconds":59966.62999999896},"cp_objective":264,"cp_status":"UNKNOWN","estimator_version":"cp-sat-model-estimator-v1","native_canonical_score":255,"optimality_proof":"rung_not_optimal","package_version":"1.0.0","policy_version":"native-first-auto-challenger-v1","resource_plan":{"admission_details":[],"admission_reason":null,"admission_status":"admitted","cp_search_workers":1,"deadline":{"absolute_deadline_milliseconds":65188.86500000022,"aggregate_wall_limit_milliseconds":65000,"clock":"monotonic","established_at_milliseconds":188.86500000022352},"model_estimate":{"bool_variables":362,"builder_operations_by_family":{"bool_variable":362,"exactly_one":40,"hint":40,"int_variable":96,"linear_constraint":204,"max_equality":0,"multiplication_equality":0,"objective":0,"reified_relation":77},"constraints_by_family":{"exactly_one":40,"linear":204,"max_equality":0,"multiplication":0,"reified_relation":77},"estimate_complete":true,"estimated_model_bytes":150953,"estimator_version":"cp-sat-model-estimator-v1","int_variables":96,"linear_terms":1950,"multiplication_terms":0,"table_rows":0,"total_constraints":321,"total_variables":458},"native_plan":{"claims":[{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"parallel_auto"},{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"extreme_polish_batch"},{"evidence":"single_native_worker","max_simultaneous_compute_workers":1,"phase":"native_candidate_evaluation"}],"incumbent_schedule_provided":false,"max_simultaneous_compute_workers":7,"mode":"parallel_auto","parallel_auto_plan":{"lane_count":7,"lane_ids":[0,1,2,3,4,5,6],"total_budget_seconds":60},"status":"complete","ultra_plan":null,"version":"browser-native-resource-plan-v1"},"native_workers_claimed":7,"reported_logical_workers":8,"rollout":{"policy_version":"cp-sat-browser-rollout-v2","production_chooser_enabled":true,"rollout_state":"hard_target_admitted"},"spare_workers_after_native":1,"threshold_version":"browser-resource-thresholds-v1","version":"browser-solve-resource-plan-v1"},"scaling_plan":{"all_positive_terms_preserved":true,"attribute_sum_scale":4503599627370496,"attribute_sum_scale_exponent":52,"binding_integer_limit":9007199254740991,"coefficient_error_max_abs":0,"coefficient_error_max_rel":0,"effective_weight_scale":4503599627370496,"effective_weight_scale_exponent":52,"objective_coefficient_gcd":"1","objective_domain_bound":0,"precision_reduced_for_overflow":false,"requested_precision":{"attribute_sum_scale_exponent":52,"weight_scale_exponent":52},"rounding_mode":"ties_to_even","terms":{},"version":"cp-sat-scaling-v2"},"solve_id":"cp-sat-dec9a0ce-6836-4205-8b8b-1a5ae473a069","status":"completed","threshold_version":"browser-resource-thresholds-v1","timings":{"adjudication_finished_after_milliseconds":null,"adjudication_started_after_milliseconds":null,"clock":"monotonic","cp_finished_after_milliseconds":60094.669999999925,"cp_started_after_milliseconds":111.94999999925494,"deadline_milliseconds":65188.86500000022,"established_at_milliseconds":188.86500000022352,"native_started_after_milliseconds":0.029999999329447746,"total_milliseconds":60094.6950000003},"translator_version":"universal-v1-phase3b","version":"cp-sat-challenger-telemetry-v1","winner":"native"},"cp_sat_polish_lane":{"adopted_improvements":0,"best_score":255,"failure":null,"first_solution_milliseconds":579.1150000002235,"last_build_milliseconds":15,"last_hint_milliseconds":203,"last_run_status":null,"relaxation_restarts":0,"runs":1,"shared_best_restarts":0,"solutions":1,"status":"running","takes_lane_slot":false,"version":"cp-sat-polish-lane-v1"},"invocation_seconds":60.12556000000052,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":730804224,"problem_hash":"sha256:399ba4897a76e652994490d9809b5449f37ad7646dd6990b91aa4fbd5697c3bf","process_seconds":60.804470836999826,"provenance":{"selection_reason":"cp_no_incumbent","solve_id":"cp-sat-dec9a0ce-6836-4205-8b8b-1a5ae473a069","source":"native","version":"runtime-result-provenance-v1"},"resource_verified":true,"scenario_id":"internal.hard-1s-unbalanced-teams-40p-8g.v1","seed":404,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:850a7a5f1ddbe13941914f007c4700af099ddfb1c843343f8708d7bac3e0b58e","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-505","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.hard-1s-unbalanced-teams-40p-8g.v1/groupmixer_browser/seed-505","key":"internal.hard-1s-unbalanced-teams-40p-8g.v1__groupmixer__seed-505","physical_memory_peak_bytes":732577792,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.hard-1s-unbalanced-teams-40p-8g.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":255.0,"comparator":"groupmixer_browser","cp_sat_challenger":{"branches":1646153,"candidate_canonical_score":null,"candidate_status":"absent","candidate_validation_error":null,"completion_reason":"cp_no_incumbent","conflicts":1268356,"cp_best_bound":32,"cp_diagnostics":{"actualModelStatistics":{"bool_variables":372,"builder_operations_by_family":{"bool_variable":372,"exactly_one":40,"hint":40,"int_variable":208,"linear_constraint":203,"max_equality":56,"multiplication_equality":56,"objective":1,"reified_relation":77},"constraints_by_family":{"exactly_one":40,"linear":203,"max_equality":56,"multiplication":56,"reified_relation":77},"estimate_complete":true,"estimated_model_bytes":191432,"estimator_version":"cp-sat-model-estimator-v1","int_variables":208,"linear_terms":2178,"multiplication_terms":112,"table_rows":0,"total_constraints":432,"total_variables":580},"branches":1646153,"buildingMilliseconds":52.72499999962747,"conflicts":1268356,"cpBestBound":32,"cpObjective":256,"decodingMilliseconds":0.10499999858438969,"hardTargetRung":1,"hardTargetRungStatuses":["INFEASIBLE","UNKNOWN"],"loadingMilliseconds":34.81000000052154,"numSearchWorkers":1,"optimalityProof":"rung_not_optimal","planningMilliseconds":0,"solverStatus":"UNKNOWN","solvingMilliseconds":59858.52999999933,"totalWorkerMilliseconds":59947.164999999106},"cp_objective":256,"cp_status":"UNKNOWN","estimator_version":"cp-sat-model-estimator-v1","native_canonical_score":255,"optimality_proof":"rung_not_optimal","package_version":"1.0.0","policy_version":"native-first-auto-challenger-v1","resource_plan":{"admission_details":[],"admission_reason":null,"admission_status":"admitted","cp_search_workers":1,"deadline":{"absolute_deadline_milliseconds":65184.74000000022,"aggregate_wall_limit_milliseconds":65000,"clock":"monotonic","established_at_milliseconds":184.74000000022352},"model_estimate":{"bool_variables":362,"builder_operations_by_family":{"bool_variable":362,"exactly_one":40,"hint":40,"int_variable":96,"linear_constraint":204,"max_equality":0,"multiplication_equality":0,"objective":0,"reified_relation":77},"constraints_by_family":{"exactly_one":40,"linear":204,"max_equality":0,"multiplication":0,"reified_relation":77},"estimate_complete":true,"estimated_model_bytes":150941,"estimator_version":"cp-sat-model-estimator-v1","int_variables":96,"linear_terms":1950,"multiplication_terms":0,"table_rows":0,"total_constraints":321,"total_variables":458},"native_plan":{"claims":[{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"parallel_auto"},{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"extreme_polish_batch"},{"evidence":"single_native_worker","max_simultaneous_compute_workers":1,"phase":"native_candidate_evaluation"}],"incumbent_schedule_provided":false,"max_simultaneous_compute_workers":7,"mode":"parallel_auto","parallel_auto_plan":{"lane_count":7,"lane_ids":[0,1,2,3,4,5,6],"total_budget_seconds":60},"status":"complete","ultra_plan":null,"version":"browser-native-resource-plan-v1"},"native_workers_claimed":7,"reported_logical_workers":8,"rollout":{"policy_version":"cp-sat-browser-rollout-v2","production_chooser_enabled":true,"rollout_state":"hard_target_admitted"},"spare_workers_after_native":1,"threshold_version":"browser-resource-thresholds-v1","version":"browser-solve-resource-plan-v1"},"scaling_plan":{"all_positive_terms_preserved":true,"attribute_sum_scale":4503599627370496,"attribute_sum_scale_exponent":52,"binding_integer_limit":9007199254740991,"coefficient_error_max_abs":0,"coefficient_error_max_rel":0,"effective_weight_scale":4503599627370496,"effective_weight_scale_exponent":52,"objective_coefficient_gcd":"1","objective_domain_bound":0,"precision_reduced_for_overflow":false,"requested_precision":{"attribute_sum_scale_exponent":52,"weight_scale_exponent":52},"rounding_mode":"ties_to_even","terms":{},"version":"cp-sat-scaling-v2"},"solve_id":"cp-sat-8975fb27-ed90-4dfe-8982-477de26389dd","status":"completed","threshold_version":"browser-resource-thresholds-v1","timings":{"adjudication_finished_after_milliseconds":null,"adjudication_started_after_milliseconds":null,"clock":"monotonic","cp_finished_after_milliseconds":60084.70000000112,"cp_started_after_milliseconds":119.71499999985099,"deadline_milliseconds":65184.74000000022,"established_at_milliseconds":184.74000000022352,"native_started_after_milliseconds":0.04000000096857548,"total_milliseconds":60084.72499999963},"translator_version":"universal-v1-phase3b","version":"cp-sat-challenger-telemetry-v1","winner":"native"},"cp_sat_polish_lane":{"adopted_improvements":0,"best_score":255,"failure":null,"first_solution_milliseconds":602.1699999999255,"last_build_milliseconds":21,"last_hint_milliseconds":203,"last_run_status":null,"relaxation_restarts":0,"runs":1,"shared_best_restarts":0,"solutions":1,"status":"running","takes_lane_slot":false,"version":"cp-sat-polish-lane-v1"},"invocation_seconds":60.11386999999918,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":732577792,"problem_hash":"sha256:399ba4897a76e652994490d9809b5449f37ad7646dd6990b91aa4fbd5697c3bf","process_seconds":60.7904274829998,"provenance":{"selection_reason":"cp_no_incumbent","solve_id":"cp-sat-8975fb27-ed90-4dfe-8982-477de26389dd","source":"native","version":"runtime-result-provenance-v1"},"resource_verified":true,"scenario_id":"internal.hard-1s-unbalanced-teams-40p-8g.v1","seed":505,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:f3e9903264b5b71325b7d7d6664dbb464cccb528515f09e0574e31fff951298e","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-101","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.hard-1s-unbalanced-teams-40p-8g.v1/ortools_cpsat/seed-101","key":"internal.hard-1s-unbalanced-teams-40p-8g.v1__ortools_cpsat__seed-101","physical_memory_peak_bytes":106770432,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.hard-1s-unbalanced-teams-40p-8g.v1","stage":"additional"},"row":{"bound":255.0,"budget_seconds":60,"canonical_cost":255.0,"comparator":"ortools_cpsat","invocation_seconds":0.20300124200002756,"native_status":"optimal","objective_value":255.0,"peak_memory_bytes":106770432,"problem_hash":"sha256:399ba4897a76e652994490d9809b5449f37ad7646dd6990b91aa4fbd5697c3bf","process_seconds":0.6585436400000617,"resource_verified":true,"scenario_id":"internal.hard-1s-unbalanced-teams-40p-8g.v1","seed":101,"stage":"additional","status":"optimal_proven","unit_exit_code":0},"source_sha256":"sha256:2b86531e291e06424b34be433c6179a98fb89283668456dcd1a8b8413d9137a8","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-202","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.hard-1s-unbalanced-teams-40p-8g.v1/ortools_cpsat/seed-202","key":"internal.hard-1s-unbalanced-teams-40p-8g.v1__ortools_cpsat__seed-202","physical_memory_peak_bytes":107716608,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.hard-1s-unbalanced-teams-40p-8g.v1","stage":"additional"},"row":{"bound":255.0,"budget_seconds":60,"canonical_cost":255.0,"comparator":"ortools_cpsat","invocation_seconds":0.18840724100118678,"native_status":"optimal","objective_value":255.0,"peak_memory_bytes":107716608,"problem_hash":"sha256:399ba4897a76e652994490d9809b5449f37ad7646dd6990b91aa4fbd5697c3bf","process_seconds":0.6329357140002685,"resource_verified":true,"scenario_id":"internal.hard-1s-unbalanced-teams-40p-8g.v1","seed":202,"stage":"additional","status":"optimal_proven","unit_exit_code":0},"source_sha256":"sha256:e3f79c518ef03a30b80996bd7c0ad9f6722ffb9a2ad0a9a2ef7dab2189b4bbb9","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-303","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.hard-1s-unbalanced-teams-40p-8g.v1/ortools_cpsat/seed-303","key":"internal.hard-1s-unbalanced-teams-40p-8g.v1__ortools_cpsat__seed-303","physical_memory_peak_bytes":110960640,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.hard-1s-unbalanced-teams-40p-8g.v1","stage":"additional"},"row":{"bound":255.0,"budget_seconds":60,"canonical_cost":255.0,"comparator":"ortools_cpsat","invocation_seconds":0.24035513200033165,"native_status":"optimal","objective_value":255.0,"peak_memory_bytes":110960640,"problem_hash":"sha256:399ba4897a76e652994490d9809b5449f37ad7646dd6990b91aa4fbd5697c3bf","process_seconds":0.7089526710005885,"resource_verified":true,"scenario_id":"internal.hard-1s-unbalanced-teams-40p-8g.v1","seed":303,"stage":"additional","status":"optimal_proven","unit_exit_code":0},"source_sha256":"sha256:61bd78c914d4519ece8ec7f2a9f30c821376b1b44c9738e22e0d18d5ba85876c","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-404","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.hard-1s-unbalanced-teams-40p-8g.v1/ortools_cpsat/seed-404","key":"internal.hard-1s-unbalanced-teams-40p-8g.v1__ortools_cpsat__seed-404","physical_memory_peak_bytes":109629440,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.hard-1s-unbalanced-teams-40p-8g.v1","stage":"additional"},"row":{"bound":255.0,"budget_seconds":60,"canonical_cost":255.0,"comparator":"ortools_cpsat","invocation_seconds":0.2110050390001561,"native_status":"optimal","objective_value":255.0,"peak_memory_bytes":109629440,"problem_hash":"sha256:399ba4897a76e652994490d9809b5449f37ad7646dd6990b91aa4fbd5697c3bf","process_seconds":0.6523966620006831,"resource_verified":true,"scenario_id":"internal.hard-1s-unbalanced-teams-40p-8g.v1","seed":404,"stage":"additional","status":"optimal_proven","unit_exit_code":0},"source_sha256":"sha256:c7ba2d79fb46e41054f32aa640169cd16c564594f60ec3433500299ddcbd35f3","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-505","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.hard-1s-unbalanced-teams-40p-8g.v1/ortools_cpsat/seed-505","key":"internal.hard-1s-unbalanced-teams-40p-8g.v1__ortools_cpsat__seed-505","physical_memory_peak_bytes":110194688,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.hard-1s-unbalanced-teams-40p-8g.v1","stage":"additional"},"row":{"bound":255.0,"budget_seconds":60,"canonical_cost":255.0,"comparator":"ortools_cpsat","invocation_seconds":0.2113592610003252,"native_status":"optimal","objective_value":255.0,"peak_memory_bytes":110194688,"problem_hash":"sha256:399ba4897a76e652994490d9809b5449f37ad7646dd6990b91aa4fbd5697c3bf","process_seconds":0.6320282319993566,"resource_verified":true,"scenario_id":"internal.hard-1s-unbalanced-teams-40p-8g.v1","seed":505,"stage":"additional","status":"optimal_proven","unit_exit_code":0},"source_sha256":"sha256:abb08fce765d15471f7ec93c2ef3c7ec533f67be289321d15126aa9c8028a08e","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-101","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.large-gender-immovable-110p.v1/groupmixer_browser/seed-101","key":"internal.large-gender-immovable-110p.v1__groupmixer__seed-101","physical_memory_peak_bytes":393936896,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.large-gender-immovable-110p.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":297.0,"comparator":"groupmixer_browser","cp_sat_challenger":null,"cp_sat_polish_lane":{"admission_reason":"model_too_large","adopted_improvements":0,"best_score":null,"failure":null,"first_solution_milliseconds":null,"last_build_milliseconds":null,"last_hint_milliseconds":null,"last_run_status":null,"relaxation_restarts":0,"runs":0,"shared_best_restarts":0,"solutions":0,"status":"not_admitted","version":"cp-sat-polish-lane-v1"},"invocation_seconds":59.576155000001194,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":393936896,"problem_hash":"sha256:fa9f40431f29bf1ad44eb601eb2baba59c056d8f5da06e588af24dd46185a218","process_seconds":60.345241331999205,"provenance":null,"resource_verified":true,"scenario_id":"internal.large-gender-immovable-110p.v1","seed":101,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:77c618fc14244cf7808f63df4f4f507989ad072bc7a316e654bcdaea0f953196","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-202","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.large-gender-immovable-110p.v1/groupmixer_browser/seed-202","key":"internal.large-gender-immovable-110p.v1__groupmixer__seed-202","physical_memory_peak_bytes":428716032,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.large-gender-immovable-110p.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":286.0,"comparator":"groupmixer_browser","cp_sat_challenger":null,"cp_sat_polish_lane":{"admission_reason":"model_too_large","adopted_improvements":0,"best_score":null,"failure":null,"first_solution_milliseconds":null,"last_build_milliseconds":null,"last_hint_milliseconds":null,"last_run_status":null,"relaxation_restarts":0,"runs":0,"shared_best_restarts":0,"solutions":0,"status":"not_admitted","version":"cp-sat-polish-lane-v1"},"invocation_seconds":59.48484500000067,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":428716032,"problem_hash":"sha256:fa9f40431f29bf1ad44eb601eb2baba59c056d8f5da06e588af24dd46185a218","process_seconds":60.2507767399984,"provenance":null,"resource_verified":true,"scenario_id":"internal.large-gender-immovable-110p.v1","seed":202,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:a8d4e79c1eac9207e65ccc840e182583f10e75d6ace19a08db8348e594581457","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-303","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.large-gender-immovable-110p.v1/groupmixer_browser/seed-303","key":"internal.large-gender-immovable-110p.v1__groupmixer__seed-303","physical_memory_peak_bytes":395194368,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.large-gender-immovable-110p.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":297.0,"comparator":"groupmixer_browser","cp_sat_challenger":null,"cp_sat_polish_lane":{"admission_reason":"model_too_large","adopted_improvements":0,"best_score":null,"failure":null,"first_solution_milliseconds":null,"last_build_milliseconds":null,"last_hint_milliseconds":null,"last_run_status":null,"relaxation_restarts":0,"runs":0,"shared_best_restarts":0,"solutions":0,"status":"not_admitted","version":"cp-sat-polish-lane-v1"},"invocation_seconds":59.16473999999836,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":395194368,"problem_hash":"sha256:fa9f40431f29bf1ad44eb601eb2baba59c056d8f5da06e588af24dd46185a218","process_seconds":59.88390259100015,"provenance":null,"resource_verified":true,"scenario_id":"internal.large-gender-immovable-110p.v1","seed":303,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:899bbf78c844099933743bc6382c6831a9f5ab4c4a03cf7fba111dda63be52b6","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-404","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.large-gender-immovable-110p.v1/groupmixer_browser/seed-404","key":"internal.large-gender-immovable-110p.v1__groupmixer__seed-404","physical_memory_peak_bytes":384512000,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.large-gender-immovable-110p.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":286.0,"comparator":"groupmixer_browser","cp_sat_challenger":null,"cp_sat_polish_lane":{"admission_reason":"model_too_large","adopted_improvements":0,"best_score":null,"failure":null,"first_solution_milliseconds":null,"last_build_milliseconds":null,"last_hint_milliseconds":null,"last_run_status":null,"relaxation_restarts":0,"runs":0,"shared_best_restarts":0,"solutions":0,"status":"not_admitted","version":"cp-sat-polish-lane-v1"},"invocation_seconds":59.5555150000006,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":384512000,"problem_hash":"sha256:fa9f40431f29bf1ad44eb601eb2baba59c056d8f5da06e588af24dd46185a218","process_seconds":60.319829210000535,"provenance":null,"resource_verified":true,"scenario_id":"internal.large-gender-immovable-110p.v1","seed":404,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:f2007ae44542dc8ae4ec60ccd1692f246709ee4127e2dbff7aafc5e28f104167","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-505","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.large-gender-immovable-110p.v1/groupmixer_browser/seed-505","key":"internal.large-gender-immovable-110p.v1__groupmixer__seed-505","physical_memory_peak_bytes":395776000,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.large-gender-immovable-110p.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":286.0,"comparator":"groupmixer_browser","cp_sat_challenger":null,"cp_sat_polish_lane":{"admission_reason":"model_too_large","adopted_improvements":0,"best_score":null,"failure":null,"first_solution_milliseconds":null,"last_build_milliseconds":null,"last_hint_milliseconds":null,"last_run_status":null,"relaxation_restarts":0,"runs":0,"shared_best_restarts":0,"solutions":0,"status":"not_admitted","version":"cp-sat-polish-lane-v1"},"invocation_seconds":58.78930000000074,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":395776000,"problem_hash":"sha256:fa9f40431f29bf1ad44eb601eb2baba59c056d8f5da06e588af24dd46185a218","process_seconds":59.51590487800058,"provenance":null,"resource_verified":true,"scenario_id":"internal.large-gender-immovable-110p.v1","seed":505,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:177526cbde0c3953ea87db1fcbe767bafd210009f5785cdd161b63a9493b23a7","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-101","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.large-gender-immovable-110p.v1/ortools_cpsat/seed-101","key":"internal.large-gender-immovable-110p.v1__ortools_cpsat__seed-101","physical_memory_peak_bytes":5398704128,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.large-gender-immovable-110p.v1","stage":"additional"},"row":{"bound":-3741.0,"budget_seconds":60,"canonical_cost":6205.0,"comparator":"ortools_cpsat","invocation_seconds":58.56458306000059,"native_status":"feasible","objective_value":5370.0,"peak_memory_bytes":5398704128,"problem_hash":"sha256:fa9f40431f29bf1ad44eb601eb2baba59c056d8f5da06e588af24dd46185a218","process_seconds":59.1414740049986,"resource_verified":true,"scenario_id":"internal.large-gender-immovable-110p.v1","seed":101,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:ac664c735cee945c7908327455d73c354804220c5fd0f48ee60aaba4d5387296","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-202","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.large-gender-immovable-110p.v1/ortools_cpsat/seed-202","key":"internal.large-gender-immovable-110p.v1__ortools_cpsat__seed-202","physical_memory_peak_bytes":5219524608,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.large-gender-immovable-110p.v1","stage":"additional"},"row":{"bound":-3741.0,"budget_seconds":60,"canonical_cost":6550.0,"comparator":"ortools_cpsat","invocation_seconds":58.616141852999135,"native_status":"feasible","objective_value":5715.0,"peak_memory_bytes":5219524608,"problem_hash":"sha256:fa9f40431f29bf1ad44eb601eb2baba59c056d8f5da06e588af24dd46185a218","process_seconds":59.19007692199921,"resource_verified":true,"scenario_id":"internal.large-gender-immovable-110p.v1","seed":202,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:0a1cd46cd80cd13d6208952f53a4d7a1ca67d0d30faee407fe71a8376959070c","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-303","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.large-gender-immovable-110p.v1/ortools_cpsat/seed-303","key":"internal.large-gender-immovable-110p.v1__ortools_cpsat__seed-303","physical_memory_peak_bytes":5554839552,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.large-gender-immovable-110p.v1","stage":"additional"},"row":{"bound":-3741.0,"budget_seconds":60,"canonical_cost":3542.0,"comparator":"ortools_cpsat","invocation_seconds":58.679953834000116,"native_status":"feasible","objective_value":2707.0,"peak_memory_bytes":5554839552,"problem_hash":"sha256:fa9f40431f29bf1ad44eb601eb2baba59c056d8f5da06e588af24dd46185a218","process_seconds":59.25410207300047,"resource_verified":true,"scenario_id":"internal.large-gender-immovable-110p.v1","seed":303,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:d7d5510f79434e39cff684e62b3a9c58e02fae952da20ce7138e5c00b8a32b4d","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-404","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.large-gender-immovable-110p.v1/ortools_cpsat/seed-404","key":"internal.large-gender-immovable-110p.v1__ortools_cpsat__seed-404","physical_memory_peak_bytes":5129650176,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.large-gender-immovable-110p.v1","stage":"additional"},"row":{"bound":-3741.0,"budget_seconds":60,"canonical_cost":5698.0,"comparator":"ortools_cpsat","invocation_seconds":58.83884428300007,"native_status":"feasible","objective_value":4863.0,"peak_memory_bytes":5129650176,"problem_hash":"sha256:fa9f40431f29bf1ad44eb601eb2baba59c056d8f5da06e588af24dd46185a218","process_seconds":59.425339497000095,"resource_verified":true,"scenario_id":"internal.large-gender-immovable-110p.v1","seed":404,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:8537529322c491ff8d6d1a781fd66ddf6e768671f15dae960913059a7523ea06","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-505","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.large-gender-immovable-110p.v1/ortools_cpsat/seed-505","key":"internal.large-gender-immovable-110p.v1__ortools_cpsat__seed-505","physical_memory_peak_bytes":5403348992,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.large-gender-immovable-110p.v1","stage":"additional"},"row":{"bound":-3741.0,"budget_seconds":60,"canonical_cost":5599.0,"comparator":"ortools_cpsat","invocation_seconds":58.696258403000684,"native_status":"feasible","objective_value":4764.0,"peak_memory_bytes":5403348992,"problem_hash":"sha256:fa9f40431f29bf1ad44eb601eb2baba59c056d8f5da06e588af24dd46185a218","process_seconds":59.28038742299941,"resource_verified":true,"scenario_id":"internal.large-gender-immovable-110p.v1","seed":505,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:9d053e0938e2416cb09692fbf4032a6c470e882dce585e4b234f76455d8498d6","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-101","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.transfer-attribute-balance-111p.v1/groupmixer_browser/seed-101","key":"internal.transfer-attribute-balance-111p.v1__groupmixer__seed-101","physical_memory_peak_bytes":372142080,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.transfer-attribute-balance-111p.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":155.0,"comparator":"groupmixer_browser","cp_sat_challenger":null,"cp_sat_polish_lane":{"admission_reason":"model_too_large","adopted_improvements":0,"best_score":null,"failure":null,"first_solution_milliseconds":null,"last_build_milliseconds":null,"last_hint_milliseconds":null,"last_run_status":null,"relaxation_restarts":0,"runs":0,"shared_best_restarts":0,"solutions":0,"status":"not_admitted","version":"cp-sat-polish-lane-v1"},"invocation_seconds":59.575064999999476,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":372142080,"problem_hash":"sha256:c79781e1f7dd0c2fcd6e4aeff76bf318489e7d284cddb84e42de0b06649ab1c1","process_seconds":60.27642456800095,"provenance":null,"resource_verified":true,"scenario_id":"internal.transfer-attribute-balance-111p.v1","seed":101,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:85e89f589415b087f51632afda2ca3696820c2e03837420e76e07366f853a7d2","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-202","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.transfer-attribute-balance-111p.v1/groupmixer_browser/seed-202","key":"internal.transfer-attribute-balance-111p.v1__groupmixer__seed-202","physical_memory_peak_bytes":393150464,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.transfer-attribute-balance-111p.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":153.0,"comparator":"groupmixer_browser","cp_sat_challenger":null,"cp_sat_polish_lane":{"admission_reason":"model_too_large","adopted_improvements":0,"best_score":null,"failure":null,"first_solution_milliseconds":null,"last_build_milliseconds":null,"last_hint_milliseconds":null,"last_run_status":null,"relaxation_restarts":0,"runs":0,"shared_best_restarts":0,"solutions":0,"status":"not_admitted","version":"cp-sat-polish-lane-v1"},"invocation_seconds":58.734685000000525,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":393150464,"problem_hash":"sha256:c79781e1f7dd0c2fcd6e4aeff76bf318489e7d284cddb84e42de0b06649ab1c1","process_seconds":59.481357724998816,"provenance":null,"resource_verified":true,"scenario_id":"internal.transfer-attribute-balance-111p.v1","seed":202,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:8e98d5200d007ea90a51c2b41584126aca3642ba3d1163a001e246f902f545fe","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-303","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.transfer-attribute-balance-111p.v1/groupmixer_browser/seed-303","key":"internal.transfer-attribute-balance-111p.v1__groupmixer__seed-303","physical_memory_peak_bytes":394674176,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.transfer-attribute-balance-111p.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":152.0,"comparator":"groupmixer_browser","cp_sat_challenger":null,"cp_sat_polish_lane":{"admission_reason":"model_too_large","adopted_improvements":0,"best_score":null,"failure":null,"first_solution_milliseconds":null,"last_build_milliseconds":null,"last_hint_milliseconds":null,"last_run_status":null,"relaxation_restarts":0,"runs":0,"shared_best_restarts":0,"solutions":0,"status":"not_admitted","version":"cp-sat-polish-lane-v1"},"invocation_seconds":59.57126999999955,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":394674176,"problem_hash":"sha256:c79781e1f7dd0c2fcd6e4aeff76bf318489e7d284cddb84e42de0b06649ab1c1","process_seconds":60.26620770900081,"provenance":null,"resource_verified":true,"scenario_id":"internal.transfer-attribute-balance-111p.v1","seed":303,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:cca597c8e3d42511b5c9908f591896cf1c043ab250ff121e6b26a675223269e2","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-404","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.transfer-attribute-balance-111p.v1/groupmixer_browser/seed-404","key":"internal.transfer-attribute-balance-111p.v1__groupmixer__seed-404","physical_memory_peak_bytes":404840448,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.transfer-attribute-balance-111p.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":154.0,"comparator":"groupmixer_browser","cp_sat_challenger":null,"cp_sat_polish_lane":{"admission_reason":"model_too_large","adopted_improvements":0,"best_score":null,"failure":null,"first_solution_milliseconds":null,"last_build_milliseconds":null,"last_hint_milliseconds":null,"last_run_status":null,"relaxation_restarts":0,"runs":0,"shared_best_restarts":0,"solutions":0,"status":"not_admitted","version":"cp-sat-polish-lane-v1"},"invocation_seconds":59.42030999999866,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":404840448,"problem_hash":"sha256:c79781e1f7dd0c2fcd6e4aeff76bf318489e7d284cddb84e42de0b06649ab1c1","process_seconds":60.12222498600022,"provenance":null,"resource_verified":true,"scenario_id":"internal.transfer-attribute-balance-111p.v1","seed":404,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:d3b0d7e5850083dd6c9216fd6efb38e9de9af42bdaade316b77784367c0987a4","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-505","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.transfer-attribute-balance-111p.v1/groupmixer_browser/seed-505","key":"internal.transfer-attribute-balance-111p.v1__groupmixer__seed-505","physical_memory_peak_bytes":368074752,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.transfer-attribute-balance-111p.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":154.0,"comparator":"groupmixer_browser","cp_sat_challenger":null,"cp_sat_polish_lane":{"admission_reason":"model_too_large","adopted_improvements":0,"best_score":null,"failure":null,"first_solution_milliseconds":null,"last_build_milliseconds":null,"last_hint_milliseconds":null,"last_run_status":null,"relaxation_restarts":0,"runs":0,"shared_best_restarts":0,"solutions":0,"status":"not_admitted","version":"cp-sat-polish-lane-v1"},"invocation_seconds":59.566064999999476,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":368074752,"problem_hash":"sha256:c79781e1f7dd0c2fcd6e4aeff76bf318489e7d284cddb84e42de0b06649ab1c1","process_seconds":60.27325090500017,"provenance":null,"resource_verified":true,"scenario_id":"internal.transfer-attribute-balance-111p.v1","seed":505,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:159fc5afcea78a7e5de1f7855743b80f037cfae28d30ff06c2d33f3227a43640","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-101","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.transfer-attribute-balance-111p.v1/ortools_cpsat/seed-101","key":"internal.transfer-attribute-balance-111p.v1__ortools_cpsat__seed-101","physical_memory_peak_bytes":5207662592,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.transfer-attribute-balance-111p.v1","stage":"additional"},"row":{"bound":-6105.0,"budget_seconds":60,"canonical_cost":505.0,"comparator":"ortools_cpsat","invocation_seconds":58.62626756099962,"native_status":"feasible","objective_value":-2245.0,"peak_memory_bytes":5207662592,"problem_hash":"sha256:c79781e1f7dd0c2fcd6e4aeff76bf318489e7d284cddb84e42de0b06649ab1c1","process_seconds":59.218163482999444,"resource_verified":true,"scenario_id":"internal.transfer-attribute-balance-111p.v1","seed":101,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:c1050888b9e4c011624a9b117dede475ffb1099f93212cb7992e60f03d37c253","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-202","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.transfer-attribute-balance-111p.v1/ortools_cpsat/seed-202","key":"internal.transfer-attribute-balance-111p.v1__ortools_cpsat__seed-202","physical_memory_peak_bytes":5108789248,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.transfer-attribute-balance-111p.v1","stage":"additional"},"row":{"bound":-6105.0,"budget_seconds":60,"canonical_cost":532.0,"comparator":"ortools_cpsat","invocation_seconds":58.57567095500053,"native_status":"feasible","objective_value":-2218.0,"peak_memory_bytes":5108789248,"problem_hash":"sha256:c79781e1f7dd0c2fcd6e4aeff76bf318489e7d284cddb84e42de0b06649ab1c1","process_seconds":59.13894382400031,"resource_verified":true,"scenario_id":"internal.transfer-attribute-balance-111p.v1","seed":202,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:845b987d437a58a61b3d9e3a3102fedf8e8a3b2bee3b5db43b317678cca0079e","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-303","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.transfer-attribute-balance-111p.v1/ortools_cpsat/seed-303","key":"internal.transfer-attribute-balance-111p.v1__ortools_cpsat__seed-303","physical_memory_peak_bytes":5250461696,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.transfer-attribute-balance-111p.v1","stage":"additional"},"row":{"bound":-6105.0,"budget_seconds":60,"canonical_cost":512.0,"comparator":"ortools_cpsat","invocation_seconds":58.65928642000108,"native_status":"feasible","objective_value":-2238.0,"peak_memory_bytes":5250461696,"problem_hash":"sha256:c79781e1f7dd0c2fcd6e4aeff76bf318489e7d284cddb84e42de0b06649ab1c1","process_seconds":59.24233026900038,"resource_verified":true,"scenario_id":"internal.transfer-attribute-balance-111p.v1","seed":303,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:f564739c4bd163bfeb64ac14ad74a7464f827ef78668693abe14211d6b4fe270","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-404","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.transfer-attribute-balance-111p.v1/ortools_cpsat/seed-404","key":"internal.transfer-attribute-balance-111p.v1__ortools_cpsat__seed-404","physical_memory_peak_bytes":4984111104,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.transfer-attribute-balance-111p.v1","stage":"additional"},"row":{"bound":-6105.0,"budget_seconds":60,"canonical_cost":487.0,"comparator":"ortools_cpsat","invocation_seconds":58.62973046800107,"native_status":"feasible","objective_value":-2263.0,"peak_memory_bytes":4984111104,"problem_hash":"sha256:c79781e1f7dd0c2fcd6e4aeff76bf318489e7d284cddb84e42de0b06649ab1c1","process_seconds":59.18267615100012,"resource_verified":true,"scenario_id":"internal.transfer-attribute-balance-111p.v1","seed":404,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:2ac816f3a22976a1d668bfefc2899340c5706990babfd8390eb47f2d2448c143","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-505","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.transfer-attribute-balance-111p.v1/ortools_cpsat/seed-505","key":"internal.transfer-attribute-balance-111p.v1__ortools_cpsat__seed-505","physical_memory_peak_bytes":5260640256,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.transfer-attribute-balance-111p.v1","stage":"additional"},"row":{"bound":-6105.0,"budget_seconds":60,"canonical_cost":515.0,"comparator":"ortools_cpsat","invocation_seconds":58.60401811899828,"native_status":"feasible","objective_value":-2235.0,"peak_memory_bytes":5260640256,"problem_hash":"sha256:c79781e1f7dd0c2fcd6e4aeff76bf318489e7d284cddb84e42de0b06649ab1c1","process_seconds":59.18263129399929,"resource_verified":true,"scenario_id":"internal.transfer-attribute-balance-111p.v1","seed":505,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:20b9c622b3d863ed9a85a9bab782a078f720519bb9f8badf3ad20c1f7c1e0b2d","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-101","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.sailing-flotilla-stress-test.v1/groupmixer_browser/seed-101","key":"internal.sailing-flotilla-stress-test.v1__groupmixer__seed-101","physical_memory_peak_bytes":429314048,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.sailing-flotilla-stress-test.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":236.0,"comparator":"groupmixer_browser","cp_sat_challenger":null,"cp_sat_polish_lane":{"admission_reason":"model_too_large","adopted_improvements":0,"best_score":null,"failure":null,"first_solution_milliseconds":null,"last_build_milliseconds":null,"last_hint_milliseconds":null,"last_run_status":null,"relaxation_restarts":0,"runs":0,"shared_best_restarts":0,"solutions":0,"status":"not_admitted","version":"cp-sat-polish-lane-v1"},"invocation_seconds":59.19706999999843,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":429314048,"problem_hash":"sha256:a781b636bbb3c98d52392d37a7fce07e7ab07b0511b03f01f7beaeb86c9e7d25","process_seconds":60.08346556499964,"provenance":null,"resource_verified":true,"scenario_id":"internal.sailing-flotilla-stress-test.v1","seed":101,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:36e34df0415bdaf3732f3ae4eaa10727e5564dfd424df8fc7e707a254866bc2f","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-202","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.sailing-flotilla-stress-test.v1/groupmixer_browser/seed-202","key":"internal.sailing-flotilla-stress-test.v1__groupmixer__seed-202","physical_memory_peak_bytes":404807680,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.sailing-flotilla-stress-test.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":246.0,"comparator":"groupmixer_browser","cp_sat_challenger":null,"cp_sat_polish_lane":{"admission_reason":"model_too_large","adopted_improvements":0,"best_score":null,"failure":null,"first_solution_milliseconds":null,"last_build_milliseconds":null,"last_hint_milliseconds":null,"last_run_status":null,"relaxation_restarts":0,"runs":0,"shared_best_restarts":0,"solutions":0,"status":"not_admitted","version":"cp-sat-polish-lane-v1"},"invocation_seconds":58.65854999999888,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":404807680,"problem_hash":"sha256:a781b636bbb3c98d52392d37a7fce07e7ab07b0511b03f01f7beaeb86c9e7d25","process_seconds":59.628478554999674,"provenance":null,"resource_verified":true,"scenario_id":"internal.sailing-flotilla-stress-test.v1","seed":202,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:a04377ed3b0f07404f70dab9b0775df45c351664a79254ebc6ed072c9da47ae8","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-303","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.sailing-flotilla-stress-test.v1/groupmixer_browser/seed-303","key":"internal.sailing-flotilla-stress-test.v1__groupmixer__seed-303","physical_memory_peak_bytes":461910016,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.sailing-flotilla-stress-test.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":228.0,"comparator":"groupmixer_browser","cp_sat_challenger":null,"cp_sat_polish_lane":{"admission_reason":"model_too_large","adopted_improvements":0,"best_score":null,"failure":null,"first_solution_milliseconds":null,"last_build_milliseconds":null,"last_hint_milliseconds":null,"last_run_status":null,"relaxation_restarts":0,"runs":0,"shared_best_restarts":0,"solutions":0,"status":"not_admitted","version":"cp-sat-polish-lane-v1"},"invocation_seconds":58.9818599999994,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":461910016,"problem_hash":"sha256:a781b636bbb3c98d52392d37a7fce07e7ab07b0511b03f01f7beaeb86c9e7d25","process_seconds":60.027293298000586,"provenance":null,"resource_verified":true,"scenario_id":"internal.sailing-flotilla-stress-test.v1","seed":303,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:a82a43f405dffba66318962ceb3433477cfe7de274efa306e3230acebe5135f1","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-404","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.sailing-flotilla-stress-test.v1/groupmixer_browser/seed-404","key":"internal.sailing-flotilla-stress-test.v1__groupmixer__seed-404","physical_memory_peak_bytes":462651392,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.sailing-flotilla-stress-test.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":232.0,"comparator":"groupmixer_browser","cp_sat_challenger":null,"cp_sat_polish_lane":{"admission_reason":"model_too_large","adopted_improvements":0,"best_score":null,"failure":null,"first_solution_milliseconds":null,"last_build_milliseconds":null,"last_hint_milliseconds":null,"last_run_status":null,"relaxation_restarts":0,"runs":0,"shared_best_restarts":0,"solutions":0,"status":"not_admitted","version":"cp-sat-polish-lane-v1"},"invocation_seconds":59.380435000000524,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":462651392,"problem_hash":"sha256:a781b636bbb3c98d52392d37a7fce07e7ab07b0511b03f01f7beaeb86c9e7d25","process_seconds":60.32890125099948,"provenance":null,"resource_verified":true,"scenario_id":"internal.sailing-flotilla-stress-test.v1","seed":404,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:3d0dde04c43cebe9a357df2c7e596c29ae104ffec575455ef5c949119347a79a","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-505","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.sailing-flotilla-stress-test.v1/groupmixer_browser/seed-505","key":"internal.sailing-flotilla-stress-test.v1__groupmixer__seed-505","physical_memory_peak_bytes":423088128,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.sailing-flotilla-stress-test.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":250.0,"comparator":"groupmixer_browser","cp_sat_challenger":null,"cp_sat_polish_lane":{"admission_reason":"model_too_large","adopted_improvements":0,"best_score":null,"failure":null,"first_solution_milliseconds":null,"last_build_milliseconds":null,"last_hint_milliseconds":null,"last_run_status":null,"relaxation_restarts":0,"runs":0,"shared_best_restarts":0,"solutions":0,"status":"not_admitted","version":"cp-sat-polish-lane-v1"},"invocation_seconds":59.55031000000052,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":423088128,"problem_hash":"sha256:a781b636bbb3c98d52392d37a7fce07e7ab07b0511b03f01f7beaeb86c9e7d25","process_seconds":60.43199331799951,"provenance":null,"resource_verified":true,"scenario_id":"internal.sailing-flotilla-stress-test.v1","seed":505,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:a7c4313cc859f259ff77321717e3208ae3248426a2a345dc5914f87dd4c2ed3f","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-101","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.sailing-flotilla-stress-test.v1/ortools_cpsat/seed-101","key":"internal.sailing-flotilla-stress-test.v1__ortools_cpsat__seed-101","physical_memory_peak_bytes":7187165184,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.sailing-flotilla-stress-test.v1","stage":"additional"},"row":{"bound":-8193.0,"budget_seconds":60,"canonical_cost":15532.0,"comparator":"ortools_cpsat","invocation_seconds":58.74765987000137,"native_status":"feasible","objective_value":11396.0,"peak_memory_bytes":7187165184,"problem_hash":"sha256:a781b636bbb3c98d52392d37a7fce07e7ab07b0511b03f01f7beaeb86c9e7d25","process_seconds":59.45505444999981,"resource_verified":true,"scenario_id":"internal.sailing-flotilla-stress-test.v1","seed":101,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:ca696433744af66add76a3053021822a3777803336b750a04b84bb682fbfcefc","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-202","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.sailing-flotilla-stress-test.v1/ortools_cpsat/seed-202","key":"internal.sailing-flotilla-stress-test.v1__ortools_cpsat__seed-202","physical_memory_peak_bytes":6996041728,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.sailing-flotilla-stress-test.v1","stage":"additional"},"row":{"bound":-8194.0,"budget_seconds":60,"canonical_cost":13184.0,"comparator":"ortools_cpsat","invocation_seconds":58.75805077699988,"native_status":"feasible","objective_value":9048.0,"peak_memory_bytes":6996041728,"problem_hash":"sha256:a781b636bbb3c98d52392d37a7fce07e7ab07b0511b03f01f7beaeb86c9e7d25","process_seconds":59.43148293299964,"resource_verified":true,"scenario_id":"internal.sailing-flotilla-stress-test.v1","seed":202,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:a67cb025f5ec27f40900db5b048bff6a2381e84353989b9da13c2bf7a1be0d80","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-303","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.sailing-flotilla-stress-test.v1/ortools_cpsat/seed-303","key":"internal.sailing-flotilla-stress-test.v1__ortools_cpsat__seed-303","physical_memory_peak_bytes":6954528768,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.sailing-flotilla-stress-test.v1","stage":"additional"},"row":{"bound":-8323.0,"budget_seconds":60,"canonical_cost":9466.0,"comparator":"ortools_cpsat","invocation_seconds":58.733813323000504,"native_status":"feasible","objective_value":5330.0,"peak_memory_bytes":6954528768,"problem_hash":"sha256:a781b636bbb3c98d52392d37a7fce07e7ab07b0511b03f01f7beaeb86c9e7d25","process_seconds":59.40024997999899,"resource_verified":true,"scenario_id":"internal.sailing-flotilla-stress-test.v1","seed":303,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:d3c5ceb02e8df231111a29432da36b2dc363e6a4e9f9832b1fc60dab4ff080ae","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-404","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.sailing-flotilla-stress-test.v1/ortools_cpsat/seed-404","key":"internal.sailing-flotilla-stress-test.v1__ortools_cpsat__seed-404","physical_memory_peak_bytes":7144603648,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.sailing-flotilla-stress-test.v1","stage":"additional"},"row":{"bound":-8543.0,"budget_seconds":60,"canonical_cost":15492.0,"comparator":"ortools_cpsat","invocation_seconds":58.86133508700004,"native_status":"feasible","objective_value":11356.0,"peak_memory_bytes":7144603648,"problem_hash":"sha256:a781b636bbb3c98d52392d37a7fce07e7ab07b0511b03f01f7beaeb86c9e7d25","process_seconds":59.61553400500088,"resource_verified":true,"scenario_id":"internal.sailing-flotilla-stress-test.v1","seed":404,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:ef40e9081c79f789350fb2d30b7d6aad1c13170dff6cc6585c178ada3ae046b9","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-505","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.sailing-flotilla-stress-test.v1/ortools_cpsat/seed-505","key":"internal.sailing-flotilla-stress-test.v1__ortools_cpsat__seed-505","physical_memory_peak_bytes":7408611328,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.sailing-flotilla-stress-test.v1","stage":"additional"},"row":{"bound":-8280.0,"budget_seconds":60,"canonical_cost":9876.0,"comparator":"ortools_cpsat","invocation_seconds":58.776504563000344,"native_status":"feasible","objective_value":5740.0,"peak_memory_bytes":7408611328,"problem_hash":"sha256:a781b636bbb3c98d52392d37a7fce07e7ab07b0511b03f01f7beaeb86c9e7d25","process_seconds":59.438591201000236,"resource_verified":true,"scenario_id":"internal.sailing-flotilla-stress-test.v1","seed":505,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:31a7bdb6384192865061c5057b1699be20e5cfa314eec61e5d59a8026f06b929","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-101","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.minimum-occupancy-group-visit-50p.v1/groupmixer_browser/seed-101","key":"internal.minimum-occupancy-group-visit-50p.v1__groupmixer__seed-101","physical_memory_peak_bytes":1678684160,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.minimum-occupancy-group-visit-50p.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":171.0,"comparator":"groupmixer_browser","cp_sat_challenger":{"branches":2637445,"candidate_canonical_score":null,"candidate_status":"absent","candidate_validation_error":null,"completion_reason":"cp_no_incumbent","conflicts":595435,"cp_best_bound":0,"cp_diagnostics":{"actualModelStatistics":{"bool_variables":10381,"builder_operations_by_family":{"bool_variable":10381,"exactly_one":300,"hint":300,"int_variable":1825,"linear_constraint":2526,"max_equality":0,"multiplication_equality":0,"objective":0,"reified_relation":17150},"constraints_by_family":{"exactly_one":300,"linear":2526,"max_equality":0,"multiplication":0,"reified_relation":17150},"estimate_complete":true,"estimated_model_bytes":5594039,"estimator_version":"cp-sat-model-estimator-v1","int_variables":1825,"linear_terms":50772,"multiplication_terms":0,"table_rows":0,"total_constraints":19976,"total_variables":12206},"branches":2637445,"buildingMilliseconds":249.65000000037253,"conflicts":595435,"cpBestBound":0,"cpObjective":0,"decodingMilliseconds":0.08499999903142452,"hardTargetRung":0,"hardTargetRungStatuses":["UNKNOWN"],"loadingMilliseconds":69.97499999962747,"numSearchWorkers":1,"optimalityProof":"rung_not_optimal","planningMilliseconds":0,"solverStatus":"UNKNOWN","solvingMilliseconds":58736.33999999985,"totalWorkerMilliseconds":59056.48500000127},"cp_objective":0,"cp_status":"UNKNOWN","estimator_version":"cp-sat-model-estimator-v1","native_canonical_score":171,"optimality_proof":"rung_not_optimal","package_version":"1.0.0","policy_version":"native-first-auto-challenger-v1","resource_plan":{"admission_details":[],"admission_reason":null,"admission_status":"admitted","cp_search_workers":1,"deadline":{"absolute_deadline_milliseconds":65178.41000000015,"aggregate_wall_limit_milliseconds":65000,"clock":"monotonic","established_at_milliseconds":178.410000000149},"model_estimate":{"bool_variables":10381,"builder_operations_by_family":{"bool_variable":10381,"exactly_one":300,"hint":300,"int_variable":1825,"linear_constraint":2526,"max_equality":0,"multiplication_equality":0,"objective":0,"reified_relation":17150},"constraints_by_family":{"exactly_one":300,"linear":2526,"max_equality":0,"multiplication":0,"reified_relation":17150},"estimate_complete":true,"estimated_model_bytes":5594039,"estimator_version":"cp-sat-model-estimator-v1","int_variables":1825,"linear_terms":50772,"multiplication_terms":0,"table_rows":0,"total_constraints":19976,"total_variables":12206},"native_plan":{"claims":[{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"parallel_auto"},{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"extreme_polish_batch"},{"evidence":"single_native_worker","max_simultaneous_compute_workers":1,"phase":"native_candidate_evaluation"}],"incumbent_schedule_provided":false,"max_simultaneous_compute_workers":7,"mode":"parallel_auto","parallel_auto_plan":{"lane_count":7,"lane_ids":[0,1,2,3,4,5,6],"total_budget_seconds":60},"status":"complete","ultra_plan":null,"version":"browser-native-resource-plan-v1"},"native_workers_claimed":7,"reported_logical_workers":8,"rollout":{"policy_version":"cp-sat-browser-rollout-v2","production_chooser_enabled":true,"rollout_state":"hard_target_admitted"},"spare_workers_after_native":1,"threshold_version":"browser-resource-thresholds-v1","version":"browser-solve-resource-plan-v1"},"scaling_plan":{"all_positive_terms_preserved":true,"attribute_sum_scale":4503599627370496,"attribute_sum_scale_exponent":52,"binding_integer_limit":9007199254740991,"coefficient_error_max_abs":0,"coefficient_error_max_rel":0,"effective_weight_scale":4503599627370496,"effective_weight_scale_exponent":52,"objective_coefficient_gcd":"1","objective_domain_bound":0,"precision_reduced_for_overflow":false,"requested_precision":{"attribute_sum_scale_exponent":52,"weight_scale_exponent":52},"rounding_mode":"ties_to_even","terms":{},"version":"cp-sat-scaling-v2"},"solve_id":"cp-sat-def2869e-bf48-4ae7-91f9-0f9f4c725715","status":"completed","threshold_version":"browser-resource-thresholds-v1","timings":{"adjudication_finished_after_milliseconds":null,"adjudication_started_after_milliseconds":null,"clock":"monotonic","cp_finished_after_milliseconds":60386.46499999985,"cp_started_after_milliseconds":1315.1049999985844,"deadline_milliseconds":65178.41000000015,"established_at_milliseconds":178.410000000149,"native_started_after_milliseconds":0.029999999329447746,"total_milliseconds":60386.48999999836},"translator_version":"universal-v1-phase3b","version":"cp-sat-challenger-telemetry-v1","winner":"native"},"cp_sat_polish_lane":{"adopted_improvements":0,"best_score":184,"failure":null,"first_solution_milliseconds":3384.629999998957,"last_build_milliseconds":394,"last_hint_milliseconds":662,"last_run_status":"OPTIMAL","relaxation_restarts":8,"runs":12,"shared_best_restarts":3,"solutions":12,"status":"idle","takes_lane_slot":false,"version":"cp-sat-polish-lane-v1"},"invocation_seconds":60.41300500000082,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":1678684160,"problem_hash":"sha256:63b056533366aa2039ca75c6759cd07e2c08d73ccf6bf38180a091fd1b75a50f","process_seconds":61.111780885999906,"provenance":{"selection_reason":"cp_no_incumbent","solve_id":"cp-sat-def2869e-bf48-4ae7-91f9-0f9f4c725715","source":"native","version":"runtime-result-provenance-v1"},"resource_verified":true,"scenario_id":"internal.minimum-occupancy-group-visit-50p.v1","seed":101,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:dcd52c6d6ecff9e20b844a78b1c803d48a0059c15d95c84af1f242bc971a7bab","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-202","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.minimum-occupancy-group-visit-50p.v1/groupmixer_browser/seed-202","key":"internal.minimum-occupancy-group-visit-50p.v1__groupmixer__seed-202","physical_memory_peak_bytes":1949265920,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.minimum-occupancy-group-visit-50p.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":173.0,"comparator":"groupmixer_browser","cp_sat_challenger":{"branches":2487636,"candidate_canonical_score":null,"candidate_status":"absent","candidate_validation_error":null,"completion_reason":"cp_no_incumbent","conflicts":607631,"cp_best_bound":0,"cp_diagnostics":{"actualModelStatistics":{"bool_variables":10381,"builder_operations_by_family":{"bool_variable":10381,"exactly_one":300,"hint":300,"int_variable":1825,"linear_constraint":2526,"max_equality":0,"multiplication_equality":0,"objective":0,"reified_relation":17150},"constraints_by_family":{"exactly_one":300,"linear":2526,"max_equality":0,"multiplication":0,"reified_relation":17150},"estimate_complete":true,"estimated_model_bytes":5594039,"estimator_version":"cp-sat-model-estimator-v1","int_variables":1825,"linear_terms":50772,"multiplication_terms":0,"table_rows":0,"total_constraints":19976,"total_variables":12206},"branches":2487636,"buildingMilliseconds":238.26999999955297,"conflicts":607631,"cpBestBound":0,"cpObjective":0,"decodingMilliseconds":0.08500000089406967,"hardTargetRung":0,"hardTargetRungStatuses":["UNKNOWN"],"loadingMilliseconds":52.130000000819564,"numSearchWorkers":1,"optimalityProof":"rung_not_optimal","planningMilliseconds":0.005000000819563866,"solverStatus":"UNKNOWN","solvingMilliseconds":58715.4450000003,"totalWorkerMilliseconds":59006.24000000022},"cp_objective":0,"cp_status":"UNKNOWN","estimator_version":"cp-sat-model-estimator-v1","native_canonical_score":173,"optimality_proof":"rung_not_optimal","package_version":"1.0.0","policy_version":"native-first-auto-challenger-v1","resource_plan":{"admission_details":[],"admission_reason":null,"admission_status":"admitted","cp_search_workers":1,"deadline":{"absolute_deadline_milliseconds":65171.550000000745,"aggregate_wall_limit_milliseconds":65000,"clock":"monotonic","established_at_milliseconds":171.55000000074506},"model_estimate":{"bool_variables":10381,"builder_operations_by_family":{"bool_variable":10381,"exactly_one":300,"hint":300,"int_variable":1825,"linear_constraint":2526,"max_equality":0,"multiplication_equality":0,"objective":0,"reified_relation":17150},"constraints_by_family":{"exactly_one":300,"linear":2526,"max_equality":0,"multiplication":0,"reified_relation":17150},"estimate_complete":true,"estimated_model_bytes":5594039,"estimator_version":"cp-sat-model-estimator-v1","int_variables":1825,"linear_terms":50772,"multiplication_terms":0,"table_rows":0,"total_constraints":19976,"total_variables":12206},"native_plan":{"claims":[{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"parallel_auto"},{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"extreme_polish_batch"},{"evidence":"single_native_worker","max_simultaneous_compute_workers":1,"phase":"native_candidate_evaluation"}],"incumbent_schedule_provided":false,"max_simultaneous_compute_workers":7,"mode":"parallel_auto","parallel_auto_plan":{"lane_count":7,"lane_ids":[0,1,2,3,4,5,6],"total_budget_seconds":60},"status":"complete","ultra_plan":null,"version":"browser-native-resource-plan-v1"},"native_workers_claimed":7,"reported_logical_workers":8,"rollout":{"policy_version":"cp-sat-browser-rollout-v2","production_chooser_enabled":true,"rollout_state":"hard_target_admitted"},"spare_workers_after_native":1,"threshold_version":"browser-resource-thresholds-v1","version":"browser-solve-resource-plan-v1"},"scaling_plan":{"all_positive_terms_preserved":true,"attribute_sum_scale":4503599627370496,"attribute_sum_scale_exponent":52,"binding_integer_limit":9007199254740991,"coefficient_error_max_abs":0,"coefficient_error_max_rel":0,"effective_weight_scale":4503599627370496,"effective_weight_scale_exponent":52,"objective_coefficient_gcd":"1","objective_domain_bound":0,"precision_reduced_for_overflow":false,"requested_precision":{"attribute_sum_scale_exponent":52,"weight_scale_exponent":52},"rounding_mode":"ties_to_even","terms":{},"version":"cp-sat-scaling-v2"},"solve_id":"cp-sat-ee901961-905f-45c9-8df9-bd71c61dfa42","status":"completed","threshold_version":"browser-resource-thresholds-v1","timings":{"adjudication_finished_after_milliseconds":null,"adjudication_started_after_milliseconds":null,"clock":"monotonic","cp_finished_after_milliseconds":60375.61499999836,"cp_started_after_milliseconds":1326.9099999982864,"deadline_milliseconds":65171.550000000745,"established_at_milliseconds":171.55000000074506,"native_started_after_milliseconds":0.029999999329447746,"total_milliseconds":60375.64499999955},"translator_version":"universal-v1-phase3b","version":"cp-sat-challenger-telemetry-v1","winner":"native"},"cp_sat_polish_lane":{"adopted_improvements":0,"best_score":176,"failure":null,"first_solution_milliseconds":3296.0849999990314,"last_build_milliseconds":378,"last_hint_milliseconds":654,"last_run_status":"OPTIMAL","relaxation_restarts":8,"runs":12,"shared_best_restarts":3,"solutions":12,"status":"idle","takes_lane_slot":false,"version":"cp-sat-polish-lane-v1"},"invocation_seconds":60.4010850000009,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":1949265920,"problem_hash":"sha256:63b056533366aa2039ca75c6759cd07e2c08d73ccf6bf38180a091fd1b75a50f","process_seconds":61.12363823400119,"provenance":{"selection_reason":"cp_no_incumbent","solve_id":"cp-sat-ee901961-905f-45c9-8df9-bd71c61dfa42","source":"native","version":"runtime-result-provenance-v1"},"resource_verified":true,"scenario_id":"internal.minimum-occupancy-group-visit-50p.v1","seed":202,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:049bd48fe586224558f870209f8ea99b221cfb8618df41eb7130064af6f9d69f","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-303","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.minimum-occupancy-group-visit-50p.v1/groupmixer_browser/seed-303","key":"internal.minimum-occupancy-group-visit-50p.v1__groupmixer__seed-303","physical_memory_peak_bytes":2073612288,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.minimum-occupancy-group-visit-50p.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":179.0,"comparator":"groupmixer_browser","cp_sat_challenger":{"branches":2338432,"candidate_canonical_score":null,"candidate_status":"absent","candidate_validation_error":null,"completion_reason":"cp_no_incumbent","conflicts":602145,"cp_best_bound":0,"cp_diagnostics":{"actualModelStatistics":{"bool_variables":10381,"builder_operations_by_family":{"bool_variable":10381,"exactly_one":300,"hint":300,"int_variable":1825,"linear_constraint":2526,"max_equality":0,"multiplication_equality":0,"objective":0,"reified_relation":17150},"constraints_by_family":{"exactly_one":300,"linear":2526,"max_equality":0,"multiplication":0,"reified_relation":17150},"estimate_complete":true,"estimated_model_bytes":5594039,"estimator_version":"cp-sat-model-estimator-v1","int_variables":1825,"linear_terms":50772,"multiplication_terms":0,"table_rows":0,"total_constraints":19976,"total_variables":12206},"branches":2338432,"buildingMilliseconds":257.910000000149,"conflicts":602145,"cpBestBound":0,"cpObjective":0,"decodingMilliseconds":0.08500000089406967,"hardTargetRung":0,"hardTargetRungStatuses":["UNKNOWN"],"loadingMilliseconds":60.97000000067055,"numSearchWorkers":1,"optimalityProof":"rung_not_optimal","planningMilliseconds":0,"solverStatus":"UNKNOWN","solvingMilliseconds":58679.84500000067,"totalWorkerMilliseconds":58999.14499999955},"cp_objective":0,"cp_status":"UNKNOWN","estimator_version":"cp-sat-model-estimator-v1","native_canonical_score":179,"optimality_proof":"rung_not_optimal","package_version":"1.0.0","policy_version":"native-first-auto-challenger-v1","resource_plan":{"admission_details":[],"admission_reason":null,"admission_status":"admitted","cp_search_workers":1,"deadline":{"absolute_deadline_milliseconds":65173.25500000082,"aggregate_wall_limit_milliseconds":65000,"clock":"monotonic","established_at_milliseconds":173.25500000081956},"model_estimate":{"bool_variables":10381,"builder_operations_by_family":{"bool_variable":10381,"exactly_one":300,"hint":300,"int_variable":1825,"linear_constraint":2526,"max_equality":0,"multiplication_equality":0,"objective":0,"reified_relation":17150},"constraints_by_family":{"exactly_one":300,"linear":2526,"max_equality":0,"multiplication":0,"reified_relation":17150},"estimate_complete":true,"estimated_model_bytes":5594039,"estimator_version":"cp-sat-model-estimator-v1","int_variables":1825,"linear_terms":50772,"multiplication_terms":0,"table_rows":0,"total_constraints":19976,"total_variables":12206},"native_plan":{"claims":[{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"parallel_auto"},{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"extreme_polish_batch"},{"evidence":"single_native_worker","max_simultaneous_compute_workers":1,"phase":"native_candidate_evaluation"}],"incumbent_schedule_provided":false,"max_simultaneous_compute_workers":7,"mode":"parallel_auto","parallel_auto_plan":{"lane_count":7,"lane_ids":[0,1,2,3,4,5,6],"total_budget_seconds":60},"status":"complete","ultra_plan":null,"version":"browser-native-resource-plan-v1"},"native_workers_claimed":7,"reported_logical_workers":8,"rollout":{"policy_version":"cp-sat-browser-rollout-v2","production_chooser_enabled":true,"rollout_state":"hard_target_admitted"},"spare_workers_after_native":1,"threshold_version":"browser-resource-thresholds-v1","version":"browser-solve-resource-plan-v1"},"scaling_plan":{"all_positive_terms_preserved":true,"attribute_sum_scale":4503599627370496,"attribute_sum_scale_exponent":52,"binding_integer_limit":9007199254740991,"coefficient_error_max_abs":0,"coefficient_error_max_rel":0,"effective_weight_scale":4503599627370496,"effective_weight_scale_exponent":52,"objective_coefficient_gcd":"1","objective_domain_bound":0,"precision_reduced_for_overflow":false,"requested_precision":{"attribute_sum_scale_exponent":52,"weight_scale_exponent":52},"rounding_mode":"ties_to_even","terms":{},"version":"cp-sat-scaling-v2"},"solve_id":"cp-sat-51532c5a-f26c-4e80-8547-b7de64f182e7","status":"completed","threshold_version":"browser-resource-thresholds-v1","timings":{"adjudication_finished_after_milliseconds":null,"adjudication_started_after_milliseconds":null,"clock":"monotonic","cp_finished_after_milliseconds":60433.09999999963,"cp_started_after_milliseconds":1383.519999999553,"deadline_milliseconds":65173.25500000082,"established_at_milliseconds":173.25500000081956,"native_started_after_milliseconds":0.03999999910593033,"total_milliseconds":60433.125},"translator_version":"universal-v1-phase3b","version":"cp-sat-challenger-telemetry-v1","winner":"native"},"cp_sat_polish_lane":{"adopted_improvements":0,"best_score":180,"failure":null,"first_solution_milliseconds":3169.7449999991804,"last_build_milliseconds":334,"last_hint_milliseconds":877,"last_run_status":"OPTIMAL","relaxation_restarts":8,"runs":12,"shared_best_restarts":3,"solutions":12,"status":"idle","takes_lane_slot":false,"version":"cp-sat-polish-lane-v1"},"invocation_seconds":60.45906000000052,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":2073612288,"problem_hash":"sha256:63b056533366aa2039ca75c6759cd07e2c08d73ccf6bf38180a091fd1b75a50f","process_seconds":61.147708067001076,"provenance":{"selection_reason":"cp_no_incumbent","solve_id":"cp-sat-51532c5a-f26c-4e80-8547-b7de64f182e7","source":"native","version":"runtime-result-provenance-v1"},"resource_verified":true,"scenario_id":"internal.minimum-occupancy-group-visit-50p.v1","seed":303,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:fb4adaa7845877d17f1763de38468bbcc3f6c3109bc58a13e96714647934bddd","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-404","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.minimum-occupancy-group-visit-50p.v1/groupmixer_browser/seed-404","key":"internal.minimum-occupancy-group-visit-50p.v1__groupmixer__seed-404","physical_memory_peak_bytes":1701310464,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.minimum-occupancy-group-visit-50p.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":164.0,"comparator":"groupmixer_browser","cp_sat_challenger":{"branches":2567992,"candidate_canonical_score":null,"candidate_status":"absent","candidate_validation_error":null,"completion_reason":"cp_no_incumbent","conflicts":607359,"cp_best_bound":0,"cp_diagnostics":{"actualModelStatistics":{"bool_variables":10381,"builder_operations_by_family":{"bool_variable":10381,"exactly_one":300,"hint":300,"int_variable":1825,"linear_constraint":2526,"max_equality":0,"multiplication_equality":0,"objective":0,"reified_relation":17150},"constraints_by_family":{"exactly_one":300,"linear":2526,"max_equality":0,"multiplication":0,"reified_relation":17150},"estimate_complete":true,"estimated_model_bytes":5594039,"estimator_version":"cp-sat-model-estimator-v1","int_variables":1825,"linear_terms":50772,"multiplication_terms":0,"table_rows":0,"total_constraints":19976,"total_variables":12206},"branches":2567992,"buildingMilliseconds":210.660000000149,"conflicts":607359,"cpBestBound":0,"cpObjective":0,"decodingMilliseconds":0.09999999962747097,"hardTargetRung":0,"hardTargetRungStatuses":["UNKNOWN"],"loadingMilliseconds":63.22499999962747,"numSearchWorkers":1,"optimalityProof":"rung_not_optimal","planningMilliseconds":0,"solverStatus":"UNKNOWN","solvingMilliseconds":58693.42499999888,"totalWorkerMilliseconds":58967.74000000022},"cp_objective":0,"cp_status":"UNKNOWN","estimator_version":"cp-sat-model-estimator-v1","native_canonical_score":164,"optimality_proof":"rung_not_optimal","package_version":"1.0.0","policy_version":"native-first-auto-challenger-v1","resource_plan":{"admission_details":[],"admission_reason":null,"admission_status":"admitted","cp_search_workers":1,"deadline":{"absolute_deadline_milliseconds":65170.70000000112,"aggregate_wall_limit_milliseconds":65000,"clock":"monotonic","established_at_milliseconds":170.7000000011176},"model_estimate":{"bool_variables":10381,"builder_operations_by_family":{"bool_variable":10381,"exactly_one":300,"hint":300,"int_variable":1825,"linear_constraint":2526,"max_equality":0,"multiplication_equality":0,"objective":0,"reified_relation":17150},"constraints_by_family":{"exactly_one":300,"linear":2526,"max_equality":0,"multiplication":0,"reified_relation":17150},"estimate_complete":true,"estimated_model_bytes":5594039,"estimator_version":"cp-sat-model-estimator-v1","int_variables":1825,"linear_terms":50772,"multiplication_terms":0,"table_rows":0,"total_constraints":19976,"total_variables":12206},"native_plan":{"claims":[{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"parallel_auto"},{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"extreme_polish_batch"},{"evidence":"single_native_worker","max_simultaneous_compute_workers":1,"phase":"native_candidate_evaluation"}],"incumbent_schedule_provided":false,"max_simultaneous_compute_workers":7,"mode":"parallel_auto","parallel_auto_plan":{"lane_count":7,"lane_ids":[0,1,2,3,4,5,6],"total_budget_seconds":60},"status":"complete","ultra_plan":null,"version":"browser-native-resource-plan-v1"},"native_workers_claimed":7,"reported_logical_workers":8,"rollout":{"policy_version":"cp-sat-browser-rollout-v2","production_chooser_enabled":true,"rollout_state":"hard_target_admitted"},"spare_workers_after_native":1,"threshold_version":"browser-resource-thresholds-v1","version":"browser-solve-resource-plan-v1"},"scaling_plan":{"all_positive_terms_preserved":true,"attribute_sum_scale":4503599627370496,"attribute_sum_scale_exponent":52,"binding_integer_limit":9007199254740991,"coefficient_error_max_abs":0,"coefficient_error_max_rel":0,"effective_weight_scale":4503599627370496,"effective_weight_scale_exponent":52,"objective_coefficient_gcd":"1","objective_domain_bound":0,"precision_reduced_for_overflow":false,"requested_precision":{"attribute_sum_scale_exponent":52,"weight_scale_exponent":52},"rounding_mode":"ties_to_even","terms":{},"version":"cp-sat-scaling-v2"},"solve_id":"cp-sat-2457d8fc-acb3-4207-bea6-11c55c192638","status":"completed","threshold_version":"browser-resource-thresholds-v1","timings":{"adjudication_finished_after_milliseconds":null,"adjudication_started_after_milliseconds":null,"clock":"monotonic","cp_finished_after_milliseconds":60378.4299999997,"cp_started_after_milliseconds":1376.9599999990314,"deadline_milliseconds":65170.70000000112,"established_at_milliseconds":170.7000000011176,"native_started_after_milliseconds":0.04999999888241291,"total_milliseconds":60378.45999999903},"translator_version":"universal-v1-phase3b","version":"cp-sat-challenger-telemetry-v1","winner":"native"},"cp_sat_polish_lane":{"adopted_improvements":0,"best_score":166,"failure":null,"first_solution_milliseconds":3593.0600000005215,"last_build_milliseconds":406,"last_hint_milliseconds":779,"last_run_status":"OPTIMAL","relaxation_restarts":8,"runs":12,"shared_best_restarts":3,"solutions":12,"status":"idle","takes_lane_slot":false,"version":"cp-sat-polish-lane-v1"},"invocation_seconds":60.40418999999948,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":1701310464,"problem_hash":"sha256:63b056533366aa2039ca75c6759cd07e2c08d73ccf6bf38180a091fd1b75a50f","process_seconds":61.09057733000009,"provenance":{"selection_reason":"cp_no_incumbent","solve_id":"cp-sat-2457d8fc-acb3-4207-bea6-11c55c192638","source":"native","version":"runtime-result-provenance-v1"},"resource_verified":true,"scenario_id":"internal.minimum-occupancy-group-visit-50p.v1","seed":404,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:7fa5ed6282aa9917e069d268d9630732fce9a1a86c172096945913741802dee8","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-505","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.minimum-occupancy-group-visit-50p.v1/groupmixer_browser/seed-505","key":"internal.minimum-occupancy-group-visit-50p.v1__groupmixer__seed-505","physical_memory_peak_bytes":2103574528,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.minimum-occupancy-group-visit-50p.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":189.0,"comparator":"groupmixer_browser","cp_sat_challenger":{"branches":2145311,"candidate_canonical_score":null,"candidate_status":"absent","candidate_validation_error":null,"completion_reason":"cp_no_incumbent","conflicts":474079,"cp_best_bound":0,"cp_diagnostics":{"actualModelStatistics":{"bool_variables":10381,"builder_operations_by_family":{"bool_variable":10381,"exactly_one":300,"hint":300,"int_variable":1825,"linear_constraint":2526,"max_equality":0,"multiplication_equality":0,"objective":0,"reified_relation":17150},"constraints_by_family":{"exactly_one":300,"linear":2526,"max_equality":0,"multiplication":0,"reified_relation":17150},"estimate_complete":true,"estimated_model_bytes":5594039,"estimator_version":"cp-sat-model-estimator-v1","int_variables":1825,"linear_terms":50772,"multiplication_terms":0,"table_rows":0,"total_constraints":19976,"total_variables":12206},"branches":2145311,"buildingMilliseconds":235.625,"conflicts":474079,"cpBestBound":0,"cpObjective":0,"decodingMilliseconds":0.08999999985098839,"hardTargetRung":0,"hardTargetRungStatuses":["UNKNOWN"],"loadingMilliseconds":77.75,"numSearchWorkers":1,"optimalityProof":"rung_not_optimal","planningMilliseconds":0,"solverStatus":"UNKNOWN","solvingMilliseconds":58742.70999999903,"totalWorkerMilliseconds":59056.5549999997},"cp_objective":0,"cp_status":"UNKNOWN","estimator_version":"cp-sat-model-estimator-v1","native_canonical_score":189,"optimality_proof":"rung_not_optimal","package_version":"1.0.0","policy_version":"native-first-auto-challenger-v1","resource_plan":{"admission_details":[],"admission_reason":null,"admission_status":"admitted","cp_search_workers":1,"deadline":{"absolute_deadline_milliseconds":65169.955000000075,"aggregate_wall_limit_milliseconds":65000,"clock":"monotonic","established_at_milliseconds":169.9550000000745},"model_estimate":{"bool_variables":10381,"builder_operations_by_family":{"bool_variable":10381,"exactly_one":300,"hint":300,"int_variable":1825,"linear_constraint":2526,"max_equality":0,"multiplication_equality":0,"objective":0,"reified_relation":17150},"constraints_by_family":{"exactly_one":300,"linear":2526,"max_equality":0,"multiplication":0,"reified_relation":17150},"estimate_complete":true,"estimated_model_bytes":5594039,"estimator_version":"cp-sat-model-estimator-v1","int_variables":1825,"linear_terms":50772,"multiplication_terms":0,"table_rows":0,"total_constraints":19976,"total_variables":12206},"native_plan":{"claims":[{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"parallel_auto"},{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"extreme_polish_batch"},{"evidence":"single_native_worker","max_simultaneous_compute_workers":1,"phase":"native_candidate_evaluation"}],"incumbent_schedule_provided":false,"max_simultaneous_compute_workers":7,"mode":"parallel_auto","parallel_auto_plan":{"lane_count":7,"lane_ids":[0,1,2,3,4,5,6],"total_budget_seconds":60},"status":"complete","ultra_plan":null,"version":"browser-native-resource-plan-v1"},"native_workers_claimed":7,"reported_logical_workers":8,"rollout":{"policy_version":"cp-sat-browser-rollout-v2","production_chooser_enabled":true,"rollout_state":"hard_target_admitted"},"spare_workers_after_native":1,"threshold_version":"browser-resource-thresholds-v1","version":"browser-solve-resource-plan-v1"},"scaling_plan":{"all_positive_terms_preserved":true,"attribute_sum_scale":4503599627370496,"attribute_sum_scale_exponent":52,"binding_integer_limit":9007199254740991,"coefficient_error_max_abs":0,"coefficient_error_max_rel":0,"effective_weight_scale":4503599627370496,"effective_weight_scale_exponent":52,"objective_coefficient_gcd":"1","objective_domain_bound":0,"precision_reduced_for_overflow":false,"requested_precision":{"attribute_sum_scale_exponent":52,"weight_scale_exponent":52},"rounding_mode":"ties_to_even","terms":{},"version":"cp-sat-scaling-v2"},"solve_id":"cp-sat-755ca78f-92b1-4d02-8acc-921d573e9f1d","status":"completed","threshold_version":"browser-resource-thresholds-v1","timings":{"adjudication_finished_after_milliseconds":null,"adjudication_started_after_milliseconds":null,"clock":"monotonic","cp_finished_after_milliseconds":60414.08499999903,"cp_started_after_milliseconds":1337.1699999999255,"deadline_milliseconds":65169.955000000075,"established_at_milliseconds":169.9550000000745,"native_started_after_milliseconds":0.044999999925494194,"total_milliseconds":60414.11999999918},"translator_version":"universal-v1-phase3b","version":"cp-sat-challenger-telemetry-v1","winner":"native"},"cp_sat_polish_lane":{"adopted_improvements":0,"best_score":191,"failure":null,"first_solution_milliseconds":3328.054999999702,"last_build_milliseconds":377,"last_hint_milliseconds":812,"last_run_status":"OPTIMAL","relaxation_restarts":8,"runs":12,"shared_best_restarts":3,"solutions":11,"status":"running","takes_lane_slot":false,"version":"cp-sat-polish-lane-v1"},"invocation_seconds":60.43851499999873,"native_status":"time_limit_reached","optimality":null,"peak_memory_bytes":2103574528,"problem_hash":"sha256:63b056533366aa2039ca75c6759cd07e2c08d73ccf6bf38180a091fd1b75a50f","process_seconds":61.12508305800111,"provenance":{"selection_reason":"cp_no_incumbent","solve_id":"cp-sat-755ca78f-92b1-4d02-8acc-921d573e9f1d","source":"native","version":"runtime-result-provenance-v1"},"resource_verified":true,"scenario_id":"internal.minimum-occupancy-group-visit-50p.v1","seed":505,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:e655721855eaf8d753288629857f494b8e4df7f0884f4d5e77d2053e3843e3ad","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-101","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.minimum-occupancy-group-visit-50p.v1/ortools_cpsat/seed-101","key":"internal.minimum-occupancy-group-visit-50p.v1__ortools_cpsat__seed-101","physical_memory_peak_bytes":1604202496,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.minimum-occupancy-group-visit-50p.v1","stage":"additional"},"row":{"bound":-1225.0,"budget_seconds":60,"canonical_cost":263.0,"comparator":"ortools_cpsat","invocation_seconds":58.09203356699982,"native_status":"feasible","objective_value":-771.0,"peak_memory_bytes":1604202496,"problem_hash":"sha256:63b056533366aa2039ca75c6759cd07e2c08d73ccf6bf38180a091fd1b75a50f","process_seconds":58.57015568799943,"resource_verified":true,"scenario_id":"internal.minimum-occupancy-group-visit-50p.v1","seed":101,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:82f48a666a42cdd97b8d24a609a46bf5d0b068e3942a9d228adaaa6ed1c65d77","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-202","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.minimum-occupancy-group-visit-50p.v1/ortools_cpsat/seed-202","key":"internal.minimum-occupancy-group-visit-50p.v1__ortools_cpsat__seed-202","physical_memory_peak_bytes":1526640640,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.minimum-occupancy-group-visit-50p.v1","stage":"additional"},"row":{"bound":-1225.0,"budget_seconds":60,"canonical_cost":255.0,"comparator":"ortools_cpsat","invocation_seconds":58.10480800699952,"native_status":"feasible","objective_value":-779.0,"peak_memory_bytes":1526640640,"problem_hash":"sha256:63b056533366aa2039ca75c6759cd07e2c08d73ccf6bf38180a091fd1b75a50f","process_seconds":58.57147839699974,"resource_verified":true,"scenario_id":"internal.minimum-occupancy-group-visit-50p.v1","seed":202,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:a053a1bd1e2b5d45eef3987c992961127cc8f9ae56c3bbd005dcdc202d46ac74","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-303","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.minimum-occupancy-group-visit-50p.v1/ortools_cpsat/seed-303","key":"internal.minimum-occupancy-group-visit-50p.v1__ortools_cpsat__seed-303","physical_memory_peak_bytes":1615745024,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.minimum-occupancy-group-visit-50p.v1","stage":"additional"},"row":{"bound":-1225.0,"budget_seconds":60,"canonical_cost":262.0,"comparator":"ortools_cpsat","invocation_seconds":58.094541481001215,"native_status":"feasible","objective_value":-772.0,"peak_memory_bytes":1615745024,"problem_hash":"sha256:63b056533366aa2039ca75c6759cd07e2c08d73ccf6bf38180a091fd1b75a50f","process_seconds":58.58044589999918,"resource_verified":true,"scenario_id":"internal.minimum-occupancy-group-visit-50p.v1","seed":303,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:764fa3d5a6b7a420d07e0db6ced87b37cd8938d39827c8fe5a99f019b7b079bd","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-404","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.minimum-occupancy-group-visit-50p.v1/ortools_cpsat/seed-404","key":"internal.minimum-occupancy-group-visit-50p.v1__ortools_cpsat__seed-404","physical_memory_peak_bytes":1682931712,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.minimum-occupancy-group-visit-50p.v1","stage":"additional"},"row":{"bound":-1225.0,"budget_seconds":60,"canonical_cost":260.0,"comparator":"ortools_cpsat","invocation_seconds":58.10422096600087,"native_status":"feasible","objective_value":-774.0,"peak_memory_bytes":1682931712,"problem_hash":"sha256:63b056533366aa2039ca75c6759cd07e2c08d73ccf6bf38180a091fd1b75a50f","process_seconds":58.582000286998664,"resource_verified":true,"scenario_id":"internal.minimum-occupancy-group-visit-50p.v1","seed":404,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:34ab894978943d44081bf03ffcd636d9996c9204d67e009f22cb9ba3ff7494d8","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-505","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.minimum-occupancy-group-visit-50p.v1/ortools_cpsat/seed-505","key":"internal.minimum-occupancy-group-visit-50p.v1__ortools_cpsat__seed-505","physical_memory_peak_bytes":1568296960,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:generic-staged-v4","evidence_revision":20,"formulation_id":"generic-staged-v4","formulation_spec_sha256":"sha256:1c134c6559ea20f75ae493b95466c5f130f9ae04b809f2e54aa93bf39e88353b","scenario_id":"internal.minimum-occupancy-group-visit-50p.v1","stage":"additional"},"row":{"bound":-1225.0,"budget_seconds":60,"canonical_cost":269.0,"comparator":"ortools_cpsat","invocation_seconds":58.109165772999404,"native_status":"feasible","objective_value":-765.0,"peak_memory_bytes":1568296960,"problem_hash":"sha256:63b056533366aa2039ca75c6759cd07e2c08d73ccf6bf38180a091fd1b75a50f","process_seconds":58.60439791600038,"resource_verified":true,"scenario_id":"internal.minimum-occupancy-group-visit-50p.v1","seed":505,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:c13b016eb8cb77360f2ce2b57dc0ba70ba1ec5e64fa1c64d758cfc2ebaab680e","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-101","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.realworld-stack-math-3184175-40x4x6.v1/groupmixer_browser/seed-101","key":"internal.realworld-stack-math-3184175-40x4x6.v1__groupmixer__seed-101","physical_memory_peak_bytes":568299520,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.realworld-stack-math-3184175-40x4x6.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":0.0,"comparator":"groupmixer_browser","cp_sat_challenger":{"branches":null,"candidate_canonical_score":null,"candidate_status":"absent","candidate_validation_error":null,"completion_reason":"native_score_zero","conflicts":null,"cp_best_bound":null,"cp_diagnostics":null,"cp_objective":null,"cp_status":null,"estimator_version":"cp-sat-model-estimator-v1","native_canonical_score":0,"package_version":"1.0.0","policy_version":"native-first-auto-challenger-v1","resource_plan":{"admission_details":[],"admission_reason":null,"admission_status":"admitted","cp_search_workers":1,"deadline":{"absolute_deadline_milliseconds":65168.81000000052,"aggregate_wall_limit_milliseconds":65000,"clock":"monotonic","established_at_milliseconds":168.81000000052154},"model_estimate":{"bool_variables":7024,"builder_operations_by_family":{"bool_variable":7024,"exactly_one":240,"hint":240,"int_variable":1020,"linear_constraint":3640,"max_equality":0,"multiplication_equality":0,"objective":0,"reified_relation":10920},"constraints_by_family":{"exactly_one":240,"linear":3640,"max_equality":0,"multiplication":0,"reified_relation":10920},"estimate_complete":true,"estimated_model_bytes":4017988,"estimator_version":"cp-sat-model-estimator-v1","int_variables":1020,"linear_terms":35556,"multiplication_terms":0,"table_rows":0,"total_constraints":14800,"total_variables":8044},"native_plan":{"claims":[{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"parallel_auto"},{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"extreme_polish_batch"},{"evidence":"single_native_worker","max_simultaneous_compute_workers":1,"phase":"native_candidate_evaluation"}],"incumbent_schedule_provided":false,"max_simultaneous_compute_workers":7,"mode":"parallel_auto","parallel_auto_plan":{"lane_count":7,"lane_ids":[0,1,2,3,4,5,6],"total_budget_seconds":60},"status":"complete","ultra_plan":null,"version":"browser-native-resource-plan-v1"},"native_workers_claimed":7,"reported_logical_workers":8,"rollout":{"policy_version":"cp-sat-browser-rollout-v2","production_chooser_enabled":true,"rollout_state":"hard_target_admitted"},"spare_workers_after_native":1,"threshold_version":"browser-resource-thresholds-v1","version":"browser-solve-resource-plan-v1"},"scaling_plan":{"all_positive_terms_preserved":true,"attribute_sum_scale":4503599627370496,"attribute_sum_scale_exponent":52,"binding_integer_limit":9007199254740991,"coefficient_error_max_abs":0,"coefficient_error_max_rel":0,"effective_weight_scale":4503599627370496,"effective_weight_scale_exponent":52,"objective_coefficient_gcd":"1","objective_domain_bound":0,"precision_reduced_for_overflow":false,"requested_precision":{"attribute_sum_scale_exponent":52,"weight_scale_exponent":52},"rounding_mode":"ties_to_even","terms":{},"version":"cp-sat-scaling-v2"},"solve_id":"cp-sat-8c718c49-10a3-4147-a73b-e1d1a3c172f3","status":"completed","threshold_version":"browser-resource-thresholds-v1","timings":{"adjudication_finished_after_milliseconds":null,"adjudication_started_after_milliseconds":null,"clock":"monotonic","cp_finished_after_milliseconds":null,"cp_started_after_milliseconds":1299.5499999988824,"deadline_milliseconds":65168.81000000052,"established_at_milliseconds":168.81000000052154,"native_started_after_milliseconds":0.044999999925494194,"total_milliseconds":24866.054999999702},"translator_version":"universal-v1-phase3b","version":"cp-sat-challenger-telemetry-v1","winner":"native"},"cp_sat_polish_lane":null,"invocation_seconds":24.890254999998955,"native_status":"optimal_score_reached","optimality":null,"peak_memory_bytes":568299520,"problem_hash":"sha256:6fdeec67998f64bc9010dbf8a8f9593a2a3a2010822af906842693f86e6a8450","process_seconds":25.464704759000597,"provenance":{"selection_reason":"native_score_zero","solve_id":"cp-sat-8c718c49-10a3-4147-a73b-e1d1a3c172f3","source":"native","version":"runtime-result-provenance-v1"},"resource_verified":true,"scenario_id":"internal.realworld-stack-math-3184175-40x4x6.v1","seed":101,"stage":"additional","status":"optimal_zero","unit_exit_code":0},"source_sha256":"sha256:bb6e35291115ba501a2049d3211b19dad77fa8fa212ef83c715c37bd716e4d32","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-202","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.realworld-stack-math-3184175-40x4x6.v1/groupmixer_browser/seed-202","key":"internal.realworld-stack-math-3184175-40x4x6.v1__groupmixer__seed-202","physical_memory_peak_bytes":566054912,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.realworld-stack-math-3184175-40x4x6.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":0.0,"comparator":"groupmixer_browser","cp_sat_challenger":{"branches":null,"candidate_canonical_score":null,"candidate_status":"absent","candidate_validation_error":null,"completion_reason":"native_score_zero","conflicts":null,"cp_best_bound":null,"cp_diagnostics":null,"cp_objective":null,"cp_status":null,"estimator_version":"cp-sat-model-estimator-v1","native_canonical_score":0,"package_version":"1.0.0","policy_version":"native-first-auto-challenger-v1","resource_plan":{"admission_details":[],"admission_reason":null,"admission_status":"admitted","cp_search_workers":1,"deadline":{"absolute_deadline_milliseconds":65168.34999999963,"aggregate_wall_limit_milliseconds":65000,"clock":"monotonic","established_at_milliseconds":168.34999999962747},"model_estimate":{"bool_variables":7024,"builder_operations_by_family":{"bool_variable":7024,"exactly_one":240,"hint":240,"int_variable":1020,"linear_constraint":3640,"max_equality":0,"multiplication_equality":0,"objective":0,"reified_relation":10920},"constraints_by_family":{"exactly_one":240,"linear":3640,"max_equality":0,"multiplication":0,"reified_relation":10920},"estimate_complete":true,"estimated_model_bytes":4017988,"estimator_version":"cp-sat-model-estimator-v1","int_variables":1020,"linear_terms":35556,"multiplication_terms":0,"table_rows":0,"total_constraints":14800,"total_variables":8044},"native_plan":{"claims":[{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"parallel_auto"},{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"extreme_polish_batch"},{"evidence":"single_native_worker","max_simultaneous_compute_workers":1,"phase":"native_candidate_evaluation"}],"incumbent_schedule_provided":false,"max_simultaneous_compute_workers":7,"mode":"parallel_auto","parallel_auto_plan":{"lane_count":7,"lane_ids":[0,1,2,3,4,5,6],"total_budget_seconds":60},"status":"complete","ultra_plan":null,"version":"browser-native-resource-plan-v1"},"native_workers_claimed":7,"reported_logical_workers":8,"rollout":{"policy_version":"cp-sat-browser-rollout-v2","production_chooser_enabled":true,"rollout_state":"hard_target_admitted"},"spare_workers_after_native":1,"threshold_version":"browser-resource-thresholds-v1","version":"browser-solve-resource-plan-v1"},"scaling_plan":{"all_positive_terms_preserved":true,"attribute_sum_scale":4503599627370496,"attribute_sum_scale_exponent":52,"binding_integer_limit":9007199254740991,"coefficient_error_max_abs":0,"coefficient_error_max_rel":0,"effective_weight_scale":4503599627370496,"effective_weight_scale_exponent":52,"objective_coefficient_gcd":"1","objective_domain_bound":0,"precision_reduced_for_overflow":false,"requested_precision":{"attribute_sum_scale_exponent":52,"weight_scale_exponent":52},"rounding_mode":"ties_to_even","terms":{},"version":"cp-sat-scaling-v2"},"solve_id":"cp-sat-370f3cb5-8cc1-4710-866b-356738c69c07","status":"completed","threshold_version":"browser-resource-thresholds-v1","timings":{"adjudication_finished_after_milliseconds":null,"adjudication_started_after_milliseconds":null,"clock":"monotonic","cp_finished_after_milliseconds":null,"cp_started_after_milliseconds":1320.1349999997765,"deadline_milliseconds":65168.34999999963,"established_at_milliseconds":168.34999999962747,"native_started_after_milliseconds":0.03500000014901161,"total_milliseconds":6866.4000000003725},"translator_version":"universal-v1-phase3b","version":"cp-sat-challenger-telemetry-v1","winner":"native"},"cp_sat_polish_lane":null,"invocation_seconds":6.889050000000745,"native_status":"optimal_score_reached","optimality":null,"peak_memory_bytes":566054912,"problem_hash":"sha256:6fdeec67998f64bc9010dbf8a8f9593a2a3a2010822af906842693f86e6a8450","process_seconds":7.478150644999914,"provenance":{"selection_reason":"native_score_zero","solve_id":"cp-sat-370f3cb5-8cc1-4710-866b-356738c69c07","source":"native","version":"runtime-result-provenance-v1"},"resource_verified":true,"scenario_id":"internal.realworld-stack-math-3184175-40x4x6.v1","seed":202,"stage":"additional","status":"optimal_zero","unit_exit_code":0},"source_sha256":"sha256:23d09b365bf3886e368bd63dc006c6ff29f5f7be717c9128e849ad840384d55f","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-303","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.realworld-stack-math-3184175-40x4x6.v1/groupmixer_browser/seed-303","key":"internal.realworld-stack-math-3184175-40x4x6.v1__groupmixer__seed-303","physical_memory_peak_bytes":566075392,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.realworld-stack-math-3184175-40x4x6.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":0.0,"comparator":"groupmixer_browser","cp_sat_challenger":{"branches":null,"candidate_canonical_score":null,"candidate_status":"absent","candidate_validation_error":null,"completion_reason":"native_score_zero","conflicts":null,"cp_best_bound":null,"cp_diagnostics":null,"cp_objective":null,"cp_status":null,"estimator_version":"cp-sat-model-estimator-v1","native_canonical_score":0,"package_version":"1.0.0","policy_version":"native-first-auto-challenger-v1","resource_plan":{"admission_details":[],"admission_reason":null,"admission_status":"admitted","cp_search_workers":1,"deadline":{"absolute_deadline_milliseconds":65200.59999999963,"aggregate_wall_limit_milliseconds":65000,"clock":"monotonic","established_at_milliseconds":200.59999999962747},"model_estimate":{"bool_variables":7024,"builder_operations_by_family":{"bool_variable":7024,"exactly_one":240,"hint":240,"int_variable":1020,"linear_constraint":3640,"max_equality":0,"multiplication_equality":0,"objective":0,"reified_relation":10920},"constraints_by_family":{"exactly_one":240,"linear":3640,"max_equality":0,"multiplication":0,"reified_relation":10920},"estimate_complete":true,"estimated_model_bytes":4017988,"estimator_version":"cp-sat-model-estimator-v1","int_variables":1020,"linear_terms":35556,"multiplication_terms":0,"table_rows":0,"total_constraints":14800,"total_variables":8044},"native_plan":{"claims":[{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"parallel_auto"},{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"extreme_polish_batch"},{"evidence":"single_native_worker","max_simultaneous_compute_workers":1,"phase":"native_candidate_evaluation"}],"incumbent_schedule_provided":false,"max_simultaneous_compute_workers":7,"mode":"parallel_auto","parallel_auto_plan":{"lane_count":7,"lane_ids":[0,1,2,3,4,5,6],"total_budget_seconds":60},"status":"complete","ultra_plan":null,"version":"browser-native-resource-plan-v1"},"native_workers_claimed":7,"reported_logical_workers":8,"rollout":{"policy_version":"cp-sat-browser-rollout-v2","production_chooser_enabled":true,"rollout_state":"hard_target_admitted"},"spare_workers_after_native":1,"threshold_version":"browser-resource-thresholds-v1","version":"browser-solve-resource-plan-v1"},"scaling_plan":{"all_positive_terms_preserved":true,"attribute_sum_scale":4503599627370496,"attribute_sum_scale_exponent":52,"binding_integer_limit":9007199254740991,"coefficient_error_max_abs":0,"coefficient_error_max_rel":0,"effective_weight_scale":4503599627370496,"effective_weight_scale_exponent":52,"objective_coefficient_gcd":"1","objective_domain_bound":0,"precision_reduced_for_overflow":false,"requested_precision":{"attribute_sum_scale_exponent":52,"weight_scale_exponent":52},"rounding_mode":"ties_to_even","terms":{},"version":"cp-sat-scaling-v2"},"solve_id":"cp-sat-252927bd-2334-4067-a303-789cf98a9fba","status":"completed","threshold_version":"browser-resource-thresholds-v1","timings":{"adjudication_finished_after_milliseconds":null,"adjudication_started_after_milliseconds":null,"clock":"monotonic","cp_finished_after_milliseconds":null,"cp_started_after_milliseconds":1374.679999999702,"deadline_milliseconds":65200.59999999963,"established_at_milliseconds":200.59999999962747,"native_started_after_milliseconds":0.04999999888241291,"total_milliseconds":12913.080000000075},"translator_version":"universal-v1-phase3b","version":"cp-sat-challenger-telemetry-v1","winner":"native"},"cp_sat_polish_lane":null,"invocation_seconds":12.943764999998733,"native_status":"optimal_score_reached","optimality":null,"peak_memory_bytes":566075392,"problem_hash":"sha256:6fdeec67998f64bc9010dbf8a8f9593a2a3a2010822af906842693f86e6a8450","process_seconds":13.581239179000477,"provenance":{"selection_reason":"native_score_zero","solve_id":"cp-sat-252927bd-2334-4067-a303-789cf98a9fba","source":"native","version":"runtime-result-provenance-v1"},"resource_verified":true,"scenario_id":"internal.realworld-stack-math-3184175-40x4x6.v1","seed":303,"stage":"additional","status":"optimal_zero","unit_exit_code":0},"source_sha256":"sha256:470ae236dccedda61150ff9003928c223f450f4d4b68707fd004f9ff8a277715","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-404","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.realworld-stack-math-3184175-40x4x6.v1/groupmixer_browser/seed-404","key":"internal.realworld-stack-math-3184175-40x4x6.v1__groupmixer__seed-404","physical_memory_peak_bytes":568299520,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.realworld-stack-math-3184175-40x4x6.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":0.0,"comparator":"groupmixer_browser","cp_sat_challenger":{"branches":null,"candidate_canonical_score":null,"candidate_status":"absent","candidate_validation_error":null,"completion_reason":"native_score_zero","conflicts":null,"cp_best_bound":null,"cp_diagnostics":null,"cp_objective":null,"cp_status":null,"estimator_version":"cp-sat-model-estimator-v1","native_canonical_score":0,"package_version":"1.0.0","policy_version":"native-first-auto-challenger-v1","resource_plan":{"admission_details":[],"admission_reason":null,"admission_status":"admitted","cp_search_workers":1,"deadline":{"absolute_deadline_milliseconds":65166.50999999978,"aggregate_wall_limit_milliseconds":65000,"clock":"monotonic","established_at_milliseconds":166.50999999977648},"model_estimate":{"bool_variables":7024,"builder_operations_by_family":{"bool_variable":7024,"exactly_one":240,"hint":240,"int_variable":1020,"linear_constraint":3640,"max_equality":0,"multiplication_equality":0,"objective":0,"reified_relation":10920},"constraints_by_family":{"exactly_one":240,"linear":3640,"max_equality":0,"multiplication":0,"reified_relation":10920},"estimate_complete":true,"estimated_model_bytes":4017988,"estimator_version":"cp-sat-model-estimator-v1","int_variables":1020,"linear_terms":35556,"multiplication_terms":0,"table_rows":0,"total_constraints":14800,"total_variables":8044},"native_plan":{"claims":[{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"parallel_auto"},{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"extreme_polish_batch"},{"evidence":"single_native_worker","max_simultaneous_compute_workers":1,"phase":"native_candidate_evaluation"}],"incumbent_schedule_provided":false,"max_simultaneous_compute_workers":7,"mode":"parallel_auto","parallel_auto_plan":{"lane_count":7,"lane_ids":[0,1,2,3,4,5,6],"total_budget_seconds":60},"status":"complete","ultra_plan":null,"version":"browser-native-resource-plan-v1"},"native_workers_claimed":7,"reported_logical_workers":8,"rollout":{"policy_version":"cp-sat-browser-rollout-v2","production_chooser_enabled":true,"rollout_state":"hard_target_admitted"},"spare_workers_after_native":1,"threshold_version":"browser-resource-thresholds-v1","version":"browser-solve-resource-plan-v1"},"scaling_plan":{"all_positive_terms_preserved":true,"attribute_sum_scale":4503599627370496,"attribute_sum_scale_exponent":52,"binding_integer_limit":9007199254740991,"coefficient_error_max_abs":0,"coefficient_error_max_rel":0,"effective_weight_scale":4503599627370496,"effective_weight_scale_exponent":52,"objective_coefficient_gcd":"1","objective_domain_bound":0,"precision_reduced_for_overflow":false,"requested_precision":{"attribute_sum_scale_exponent":52,"weight_scale_exponent":52},"rounding_mode":"ties_to_even","terms":{},"version":"cp-sat-scaling-v2"},"solve_id":"cp-sat-652d350e-2dbb-4cba-8ecb-bac12071c3e9","status":"completed","threshold_version":"browser-resource-thresholds-v1","timings":{"adjudication_finished_after_milliseconds":null,"adjudication_started_after_milliseconds":null,"clock":"monotonic","cp_finished_after_milliseconds":null,"cp_started_after_milliseconds":1297.765000000596,"deadline_milliseconds":65166.50999999978,"established_at_milliseconds":166.50999999977648,"native_started_after_milliseconds":0.03999999910593033,"total_milliseconds":4894.515000000596},"translator_version":"universal-v1-phase3b","version":"cp-sat-challenger-telemetry-v1","winner":"native"},"cp_sat_polish_lane":null,"invocation_seconds":4.91777499999851,"native_status":"optimal_score_reached","optimality":null,"peak_memory_bytes":568299520,"problem_hash":"sha256:6fdeec67998f64bc9010dbf8a8f9593a2a3a2010822af906842693f86e6a8450","process_seconds":5.462025384000299,"provenance":{"selection_reason":"native_score_zero","solve_id":"cp-sat-652d350e-2dbb-4cba-8ecb-bac12071c3e9","source":"native","version":"runtime-result-provenance-v1"},"resource_verified":true,"scenario_id":"internal.realworld-stack-math-3184175-40x4x6.v1","seed":404,"stage":"additional","status":"optimal_zero","unit_exit_code":0},"source_sha256":"sha256:480a729cbd922c124a52f06cb21e3a7432c675e5136487ee4241fd19d7b9fdee","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-505","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.realworld-stack-math-3184175-40x4x6.v1/groupmixer_browser/seed-505","key":"internal.realworld-stack-math-3184175-40x4x6.v1__groupmixer__seed-505","physical_memory_peak_bytes":569229312,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"groupmixer","configuration_id":"browser-auto-8-defaults-v1","evidence_revision":20,"scenario_id":"internal.realworld-stack-math-3184175-40x4x6.v1","stage":"additional"},"row":{"budget_seconds":60,"canonical_cost":0.0,"comparator":"groupmixer_browser","cp_sat_challenger":{"branches":null,"candidate_canonical_score":null,"candidate_status":"absent","candidate_validation_error":null,"completion_reason":"native_score_zero","conflicts":null,"cp_best_bound":null,"cp_diagnostics":null,"cp_objective":null,"cp_status":null,"estimator_version":"cp-sat-model-estimator-v1","native_canonical_score":0,"package_version":"1.0.0","policy_version":"native-first-auto-challenger-v1","resource_plan":{"admission_details":[],"admission_reason":null,"admission_status":"admitted","cp_search_workers":1,"deadline":{"absolute_deadline_milliseconds":65168.800000000745,"aggregate_wall_limit_milliseconds":65000,"clock":"monotonic","established_at_milliseconds":168.80000000074506},"model_estimate":{"bool_variables":7024,"builder_operations_by_family":{"bool_variable":7024,"exactly_one":240,"hint":240,"int_variable":1020,"linear_constraint":3640,"max_equality":0,"multiplication_equality":0,"objective":0,"reified_relation":10920},"constraints_by_family":{"exactly_one":240,"linear":3640,"max_equality":0,"multiplication":0,"reified_relation":10920},"estimate_complete":true,"estimated_model_bytes":4017988,"estimator_version":"cp-sat-model-estimator-v1","int_variables":1020,"linear_terms":35556,"multiplication_terms":0,"table_rows":0,"total_constraints":14800,"total_variables":8044},"native_plan":{"claims":[{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"parallel_auto"},{"evidence":"parallel_auto_plan.lanes","max_simultaneous_compute_workers":7,"phase":"extreme_polish_batch"},{"evidence":"single_native_worker","max_simultaneous_compute_workers":1,"phase":"native_candidate_evaluation"}],"incumbent_schedule_provided":false,"max_simultaneous_compute_workers":7,"mode":"parallel_auto","parallel_auto_plan":{"lane_count":7,"lane_ids":[0,1,2,3,4,5,6],"total_budget_seconds":60},"status":"complete","ultra_plan":null,"version":"browser-native-resource-plan-v1"},"native_workers_claimed":7,"reported_logical_workers":8,"rollout":{"policy_version":"cp-sat-browser-rollout-v2","production_chooser_enabled":true,"rollout_state":"hard_target_admitted"},"spare_workers_after_native":1,"threshold_version":"browser-resource-thresholds-v1","version":"browser-solve-resource-plan-v1"},"scaling_plan":{"all_positive_terms_preserved":true,"attribute_sum_scale":4503599627370496,"attribute_sum_scale_exponent":52,"binding_integer_limit":9007199254740991,"coefficient_error_max_abs":0,"coefficient_error_max_rel":0,"effective_weight_scale":4503599627370496,"effective_weight_scale_exponent":52,"objective_coefficient_gcd":"1","objective_domain_bound":0,"precision_reduced_for_overflow":false,"requested_precision":{"attribute_sum_scale_exponent":52,"weight_scale_exponent":52},"rounding_mode":"ties_to_even","terms":{},"version":"cp-sat-scaling-v2"},"solve_id":"cp-sat-b5893e8f-db56-45e9-ba68-97d9f5999362","status":"completed","threshold_version":"browser-resource-thresholds-v1","timings":{"adjudication_finished_after_milliseconds":null,"adjudication_started_after_milliseconds":null,"clock":"monotonic","cp_finished_after_milliseconds":null,"cp_started_after_milliseconds":1325.394999999553,"deadline_milliseconds":65168.800000000745,"established_at_milliseconds":168.80000000074506,"native_started_after_milliseconds":0.03999999910593033,"total_milliseconds":15312.254999998957},"translator_version":"universal-v1-phase3b","version":"cp-sat-challenger-telemetry-v1","winner":"native"},"cp_sat_polish_lane":null,"invocation_seconds":15.337770000001415,"native_status":"optimal_score_reached","optimality":null,"peak_memory_bytes":569229312,"problem_hash":"sha256:6fdeec67998f64bc9010dbf8a8f9593a2a3a2010822af906842693f86e6a8450","process_seconds":15.8940216280007,"provenance":{"selection_reason":"native_score_zero","solve_id":"cp-sat-b5893e8f-db56-45e9-ba68-97d9f5999362","source":"native","version":"runtime-result-provenance-v1"},"resource_verified":true,"scenario_id":"internal.realworld-stack-math-3184175-40x4x6.v1","seed":505,"stage":"additional","status":"optimal_zero","unit_exit_code":0},"source_sha256":"sha256:3734fa130c19c9bdf9537deb643daddf974d6e668204383d57cf775761255d21","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-101","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.realworld-stack-math-3184175-40x4x6.v1/ortools_cpsat/seed-101","key":"internal.realworld-stack-math-3184175-40x4x6.v1__ortools_cpsat__seed-101","physical_memory_peak_bytes":836837376,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:pure-sgp-optimized-v4","evidence_revision":20,"formulation_id":"pure-sgp-optimized-v4","formulation_spec_sha256":"sha256:2ff4aa188f85491ec98f33e9ed3aba65d8569b11f70477a5e4dd9b0c3086d9a6","scenario_id":"internal.realworld-stack-math-3184175-40x4x6.v1","stage":"additional"},"row":{"bound":-780.0,"budget_seconds":60,"canonical_cost":21.0,"comparator":"ortools_cpsat","invocation_seconds":58.07758772899979,"native_status":"feasible","objective_value":-759.0,"peak_memory_bytes":836837376,"problem_hash":"sha256:6fdeec67998f64bc9010dbf8a8f9593a2a3a2010822af906842693f86e6a8450","process_seconds":58.54836038900066,"resource_verified":true,"scenario_id":"internal.realworld-stack-math-3184175-40x4x6.v1","seed":101,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:a45351332f5fe966c760fc372c650855f5db9f3e6aec801666468a335c8b9d5c","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-202","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.realworld-stack-math-3184175-40x4x6.v1/ortools_cpsat/seed-202","key":"internal.realworld-stack-math-3184175-40x4x6.v1__ortools_cpsat__seed-202","physical_memory_peak_bytes":788402176,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:pure-sgp-optimized-v4","evidence_revision":20,"formulation_id":"pure-sgp-optimized-v4","formulation_spec_sha256":"sha256:2ff4aa188f85491ec98f33e9ed3aba65d8569b11f70477a5e4dd9b0c3086d9a6","scenario_id":"internal.realworld-stack-math-3184175-40x4x6.v1","stage":"additional"},"row":{"bound":-780.0,"budget_seconds":60,"canonical_cost":27.0,"comparator":"ortools_cpsat","invocation_seconds":58.090547435998815,"native_status":"feasible","objective_value":-753.0,"peak_memory_bytes":788402176,"problem_hash":"sha256:6fdeec67998f64bc9010dbf8a8f9593a2a3a2010822af906842693f86e6a8450","process_seconds":58.56178426399856,"resource_verified":true,"scenario_id":"internal.realworld-stack-math-3184175-40x4x6.v1","seed":202,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:16870baed78c0a33a9679709044d0a8532fb351142ecd2c4e2fa3895968aced1","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-303","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.realworld-stack-math-3184175-40x4x6.v1/ortools_cpsat/seed-303","key":"internal.realworld-stack-math-3184175-40x4x6.v1__ortools_cpsat__seed-303","physical_memory_peak_bytes":813228032,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:pure-sgp-optimized-v4","evidence_revision":20,"formulation_id":"pure-sgp-optimized-v4","formulation_spec_sha256":"sha256:2ff4aa188f85491ec98f33e9ed3aba65d8569b11f70477a5e4dd9b0c3086d9a6","scenario_id":"internal.realworld-stack-math-3184175-40x4x6.v1","stage":"additional"},"row":{"bound":-780.0,"budget_seconds":60,"canonical_cost":15.0,"comparator":"ortools_cpsat","invocation_seconds":58.093484738999905,"native_status":"feasible","objective_value":-765.0,"peak_memory_bytes":813228032,"problem_hash":"sha256:6fdeec67998f64bc9010dbf8a8f9593a2a3a2010822af906842693f86e6a8450","process_seconds":58.55908575800095,"resource_verified":true,"scenario_id":"internal.realworld-stack-math-3184175-40x4x6.v1","seed":303,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:85c14e6f1a38861821ab44e3fd97ab33fb6d50f76b3b34a77b38ac99c22deb8a","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-404","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.realworld-stack-math-3184175-40x4x6.v1/ortools_cpsat/seed-404","key":"internal.realworld-stack-math-3184175-40x4x6.v1__ortools_cpsat__seed-404","physical_memory_peak_bytes":816553984,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:pure-sgp-optimized-v4","evidence_revision":20,"formulation_id":"pure-sgp-optimized-v4","formulation_spec_sha256":"sha256:2ff4aa188f85491ec98f33e9ed3aba65d8569b11f70477a5e4dd9b0c3086d9a6","scenario_id":"internal.realworld-stack-math-3184175-40x4x6.v1","stage":"additional"},"row":{"bound":-780.0,"budget_seconds":60,"canonical_cost":15.0,"comparator":"ortools_cpsat","invocation_seconds":58.07324739999967,"native_status":"feasible","objective_value":-765.0,"peak_memory_bytes":816553984,"problem_hash":"sha256:6fdeec67998f64bc9010dbf8a8f9593a2a3a2010822af906842693f86e6a8450","process_seconds":58.55312544199842,"resource_verified":true,"scenario_id":"internal.realworld-stack-math-3184175-40x4x6.v1","seed":404,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:3e37e99e5c16640c0f599093d2a385882519829bc82f993f57c50d556d01bf09","wall_seconds_source":"resource_wrapper"},{"attempt_id":"seed-505","directory":"groupmixer-refresh-20261011-9597e227-r2/completed/results/additional/internal.realworld-stack-math-3184175-40x4x6.v1/ortools_cpsat/seed-505","key":"internal.realworld-stack-math-3184175-40x4x6.v1__ortools_cpsat__seed-505","physical_memory_peak_bytes":810110976,"refresh":{"campaign_id":"groupmixer-refresh-20261011-9597e227-r2","comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-measured-20261011:pure-sgp-optimized-v4","evidence_revision":20,"formulation_id":"pure-sgp-optimized-v4","formulation_spec_sha256":"sha256:2ff4aa188f85491ec98f33e9ed3aba65d8569b11f70477a5e4dd9b0c3086d9a6","scenario_id":"internal.realworld-stack-math-3184175-40x4x6.v1","stage":"additional"},"row":{"bound":-780.0,"budget_seconds":60,"canonical_cost":15.0,"comparator":"ortools_cpsat","invocation_seconds":58.07298882299801,"native_status":"feasible","objective_value":-765.0,"peak_memory_bytes":810110976,"problem_hash":"sha256:6fdeec67998f64bc9010dbf8a8f9593a2a3a2010822af906842693f86e6a8450","process_seconds":58.54191564300163,"resource_verified":true,"scenario_id":"internal.realworld-stack-math-3184175-40x4x6.v1","seed":505,"stage":"additional","status":"feasible_timeout","unit_exit_code":0},"source_sha256":"sha256:9cd27a946cb702b0d2db8d88043f055dfa4d1a322150d54d797c182b677c47fa","wall_seconds_source":"resource_wrapper"}],"base_publication_revision":19,"candidate_projector_source_sha256":"sha256:6f801119fdc97d4e66defc2e015c7c1c978d2a47c49cde66d0cdb93bc5f74011","case_equivalence":[{"current_problem_hash":"sha256:9da10403c2d33270c43cf2daba779bbfac6f74e21e4842b4c9fd7d83048a299a","qualification":"unchanged published case","scenario_id":"public.kirkman-schoolgirls-15x5x7.v1"},{"current_problem_hash":"sha256:dbf6b3d7d9ed342eca99ef054c17d116b649cd073684aafaf511fbf484783eee","qualification":"unchanged published case","scenario_id":"internal.reddit-golfers-28p-7g-3s.v1"},{"current_problem_hash":"sha256:37322f59d69f72dab0bb969a60dc1800b9e400781a014d7ad1dd30d63365d34a","qualification":"unchanged published case","scenario_id":"public.social-golfer-32x8x10.v1"},{"current_problem_hash":"sha256:1a6ba3a0998c2f7cf8fec58cca3bfa1cf3f63ecf8b40b168d0186668f1305017","qualification":"unchanged published case","scenario_id":"internal.social-golfer-32x8x15.v1"},{"current_problem_hash":"sha256:c9765aeb29f840fe531cd77e5e568e12260c7a70ab8d6439d23214d44bd2a7f4","qualification":"unchanged published case","scenario_id":"public.social-golfer-45x9x10.v1"},{"current_problem_hash":"sha256:d28b00f858b2e15641ebdf60de3094faec550ec5fb1c36fcec9661b549e4587d","qualification":"unchanged published case","scenario_id":"internal.real-world-workshops-120x12x6.v1"},{"current_problem_hash":"sha256:c3e88b66614a28d59c63396fd507449ed8b83ab5008f605da188a9650647f33f","qualification":"unchanged published case","scenario_id":"example.small-workshop-constrained.v1"},{"current_problem_hash":"sha256:1e39f009b7ecd40bc44cbe7a609621b1a24e9f5b1ed01811b3d8fad924b04a2d","qualification":"unchanged published case","scenario_id":"internal.stack-scout-patrol-rota-8p-4g-7s.v1"},{"current_problem_hash":"sha256:ef66fce7b6013bba70255d619aa2ce7901a4be3cf93a2744a9f3689016f8b95b","qualification":"unchanged published case","scenario_id":"internal.station-rotation-18p-6g-6s.v1"},{"current_problem_hash":"sha256:3d6ee5e626b3315de770cacdafa1f2d1c669d9ad196b461592afb1d4aee6a971","qualification":"unchanged published case","scenario_id":"internal.sailing-trip-57p-5g-5s.v1"},{"current_problem_hash":"sha256:006ec1a6e84d64e996cc67232490509bac37e3a35a99e8aed54b6fdac1dcea95","qualification":"unchanged published case","scenario_id":"internal.partial-attendance-keep-apart-capacity-pressure-152p.v1"},{"current_problem_hash":"sha256:ee8bf6ced63c1330ed42b27c975edce57f42cb7618ee44137868aa9fb4a2e16b","qualification":"unchanged published case","scenario_id":"internal.social-golfer-196x14x14.v1"},{"current_problem_hash":"sha256:8cee5907c191d818536cf0f572eccfa9daac7b230c6b421230543f149c47fe6a","qualification":"unchanged published case","scenario_id":"internal.minimum-occupancy-rotation-280p-36g-41s.v1"},{"current_problem_hash":"sha256:c7a343baa770a26e36a822bf739e1e2ade26916bc8b2f0a6e73c47138328ad91","qualification":"unchanged published case","scenario_id":"public.hard-infeasible-apart-triangle-3p-2g-1s.v1"},{"current_problem_hash":"sha256:399ba4897a76e652994490d9809b5449f37ad7646dd6990b91aa4fbd5697c3bf","qualification":"new admission; all retained requests checked against canonical problem","scenario_id":"internal.hard-1s-unbalanced-teams-40p-8g.v1"},{"current_problem_hash":"sha256:fa9f40431f29bf1ad44eb601eb2baba59c056d8f5da06e588af24dd46185a218","qualification":"new admission; all retained requests checked against canonical problem","scenario_id":"internal.large-gender-immovable-110p.v1"},{"current_problem_hash":"sha256:c79781e1f7dd0c2fcd6e4aeff76bf318489e7d284cddb84e42de0b06649ab1c1","qualification":"new admission; all retained requests checked against canonical problem","scenario_id":"internal.transfer-attribute-balance-111p.v1"},{"current_problem_hash":"sha256:a781b636bbb3c98d52392d37a7fce07e7ab07b0511b03f01f7beaeb86c9e7d25","qualification":"new admission; all retained requests checked against canonical problem","scenario_id":"internal.sailing-flotilla-stress-test.v1"},{"current_problem_hash":"sha256:63b056533366aa2039ca75c6759cd07e2c08d73ccf6bf38180a091fd1b75a50f","qualification":"new admission; all retained requests checked against canonical problem","scenario_id":"internal.minimum-occupancy-group-visit-50p.v1"},{"current_problem_hash":"sha256:6fdeec67998f64bc9010dbf8a8f9593a2a3a2010822af906842693f86e6a8450","qualification":"new admission; all retained requests checked against canonical problem","scenario_id":"internal.realworld-stack-math-3184175-40x4x6.v1"}],"publication_revision":20,"publisher_source_sha256":"sha256:438dcd43b15e232a30b344781913dc3656268eef69168f61c9598f849cf5e271"}