{"benchmark_id":"public-group-generator-v1","benchmark_revision":9,"rows":[{"attempt_id":"seed-101","common_metrics":{"contact_incidences":105,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":14,"mean_unique_contacts_per_participant":14.0,"minimum_unique_contacts_per_participant":14,"pair_frequency_histogram":{"1":105},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":105},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":11632640,"problem_hash":"sha256:7c7e3042b5ee62bb2c5de2f4ebe75f010dfb976bdf5ebf00ff6cfeddb8abf0de","proof_claim":null,"scenario_id":"public.kirkman-schoolgirls-15x5x7.v1","score":{"attribute_penalty":0.0,"baseline_score":105.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":105,"weighted_unique_contacts_reward":105.0},"seed":101,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.003962503},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":105,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":14,"mean_unique_contacts_per_participant":14.0,"minimum_unique_contacts_per_participant":14,"pair_frequency_histogram":{"1":105},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":105},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":11304960,"problem_hash":"sha256:7c7e3042b5ee62bb2c5de2f4ebe75f010dfb976bdf5ebf00ff6cfeddb8abf0de","proof_claim":null,"scenario_id":"public.kirkman-schoolgirls-15x5x7.v1","score":{"attribute_penalty":0.0,"baseline_score":105.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":105,"weighted_unique_contacts_reward":105.0},"seed":202,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.021891992},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":105,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":14,"mean_unique_contacts_per_participant":14.0,"minimum_unique_contacts_per_participant":14,"pair_frequency_histogram":{"1":105},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":105},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":11141120,"problem_hash":"sha256:7c7e3042b5ee62bb2c5de2f4ebe75f010dfb976bdf5ebf00ff6cfeddb8abf0de","proof_claim":null,"scenario_id":"public.kirkman-schoolgirls-15x5x7.v1","score":{"attribute_penalty":0.0,"baseline_score":105.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":105,"weighted_unique_contacts_reward":105.0},"seed":303,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.005908367},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":105,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":14,"mean_unique_contacts_per_participant":14.0,"minimum_unique_contacts_per_participant":14,"pair_frequency_histogram":{"1":105},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":105},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":11304960,"problem_hash":"sha256:7c7e3042b5ee62bb2c5de2f4ebe75f010dfb976bdf5ebf00ff6cfeddb8abf0de","proof_claim":null,"scenario_id":"public.kirkman-schoolgirls-15x5x7.v1","score":{"attribute_penalty":0.0,"baseline_score":105.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":105,"weighted_unique_contacts_reward":105.0},"seed":404,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.007680409},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":105,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":14,"mean_unique_contacts_per_participant":14.0,"minimum_unique_contacts_per_participant":14,"pair_frequency_histogram":{"1":105},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":105},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":11632640,"problem_hash":"sha256:7c7e3042b5ee62bb2c5de2f4ebe75f010dfb976bdf5ebf00ff6cfeddb8abf0de","proof_claim":null,"scenario_id":"public.kirkman-schoolgirls-15x5x7.v1","score":{"attribute_penalty":0.0,"baseline_score":105.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":105,"weighted_unique_contacts_reward":105.0},"seed":505,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.007675364},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":105,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":14,"mean_unique_contacts_per_participant":14.0,"minimum_unique_contacts_per_participant":14,"pair_frequency_histogram":{"1":105},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":105},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-zero-target-v3","peak_rss_bytes":216727552,"problem_hash":"sha256:7c7e3042b5ee62bb2c5de2f4ebe75f010dfb976bdf5ebf00ff6cfeddb8abf0de","proof_claim":"optimality","scenario_id":"public.kirkman-schoolgirls-15x5x7.v1","score":{"attribute_penalty":0.0,"baseline_score":105.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":105,"weighted_unique_contacts_reward":105.0},"seed":101,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":2.722997910983395},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":105,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":14,"mean_unique_contacts_per_participant":14.0,"minimum_unique_contacts_per_participant":14,"pair_frequency_histogram":{"1":105},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":105},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-zero-target-v3","peak_rss_bytes":212291584,"problem_hash":"sha256:7c7e3042b5ee62bb2c5de2f4ebe75f010dfb976bdf5ebf00ff6cfeddb8abf0de","proof_claim":"optimality","scenario_id":"public.kirkman-schoolgirls-15x5x7.v1","score":{"attribute_penalty":0.0,"baseline_score":105.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":105,"weighted_unique_contacts_reward":105.0},"seed":202,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":2.9077118239947595},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":105,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":14,"mean_unique_contacts_per_participant":14.0,"minimum_unique_contacts_per_participant":14,"pair_frequency_histogram":{"1":105},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":105},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-zero-target-v3","peak_rss_bytes":217772032,"problem_hash":"sha256:7c7e3042b5ee62bb2c5de2f4ebe75f010dfb976bdf5ebf00ff6cfeddb8abf0de","proof_claim":"optimality","scenario_id":"public.kirkman-schoolgirls-15x5x7.v1","score":{"attribute_penalty":0.0,"baseline_score":105.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":105,"weighted_unique_contacts_reward":105.0},"seed":303,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":2.6039294649963267},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":105,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":14,"mean_unique_contacts_per_participant":14.0,"minimum_unique_contacts_per_participant":14,"pair_frequency_histogram":{"1":105},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":105},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-zero-target-v3","peak_rss_bytes":211918848,"problem_hash":"sha256:7c7e3042b5ee62bb2c5de2f4ebe75f010dfb976bdf5ebf00ff6cfeddb8abf0de","proof_claim":"optimality","scenario_id":"public.kirkman-schoolgirls-15x5x7.v1","score":{"attribute_penalty":0.0,"baseline_score":105.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":105,"weighted_unique_contacts_reward":105.0},"seed":404,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":2.8021510260296054},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":105,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":14,"mean_unique_contacts_per_participant":14.0,"minimum_unique_contacts_per_participant":14,"pair_frequency_histogram":{"1":105},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":105},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-zero-target-v3","peak_rss_bytes":216367104,"problem_hash":"sha256:7c7e3042b5ee62bb2c5de2f4ebe75f010dfb976bdf5ebf00ff6cfeddb8abf0de","proof_claim":"optimality","scenario_id":"public.kirkman-schoolgirls-15x5x7.v1","score":{"attribute_penalty":0.0,"baseline_score":105.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":105,"weighted_unique_contacts_reward":105.0},"seed":505,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":4.0633311059791595},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":126,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":9,"mean_unique_contacts_per_participant":9.0,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":126},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":126},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":11796480,"problem_hash":"sha256:efeef808827cf02e75e471bcff56bcda37d32b0e27998ac147a57658e53b5cc7","proof_claim":null,"scenario_id":"internal.reddit-golfers-28p-7g-3s.v1","score":{"attribute_penalty":0.0,"baseline_score":126.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":126,"weighted_unique_contacts_reward":126.0},"seed":101,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.0035392},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":126,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":9,"mean_unique_contacts_per_participant":9.0,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":126},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":126},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":11468800,"problem_hash":"sha256:efeef808827cf02e75e471bcff56bcda37d32b0e27998ac147a57658e53b5cc7","proof_claim":null,"scenario_id":"internal.reddit-golfers-28p-7g-3s.v1","score":{"attribute_penalty":0.0,"baseline_score":126.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":126,"weighted_unique_contacts_reward":126.0},"seed":202,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.006455744},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":126,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":9,"mean_unique_contacts_per_participant":9.0,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":126},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":126},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":11304960,"problem_hash":"sha256:efeef808827cf02e75e471bcff56bcda37d32b0e27998ac147a57658e53b5cc7","proof_claim":null,"scenario_id":"internal.reddit-golfers-28p-7g-3s.v1","score":{"attribute_penalty":0.0,"baseline_score":126.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":126,"weighted_unique_contacts_reward":126.0},"seed":303,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.004820929},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":126,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":9,"mean_unique_contacts_per_participant":9.0,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":126},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":126},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":11796480,"problem_hash":"sha256:efeef808827cf02e75e471bcff56bcda37d32b0e27998ac147a57658e53b5cc7","proof_claim":null,"scenario_id":"internal.reddit-golfers-28p-7g-3s.v1","score":{"attribute_penalty":0.0,"baseline_score":126.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":126,"weighted_unique_contacts_reward":126.0},"seed":404,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.003797529},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":126,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":9,"mean_unique_contacts_per_participant":9.0,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":126},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":126},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":11796480,"problem_hash":"sha256:efeef808827cf02e75e471bcff56bcda37d32b0e27998ac147a57658e53b5cc7","proof_claim":null,"scenario_id":"internal.reddit-golfers-28p-7g-3s.v1","score":{"attribute_penalty":0.0,"baseline_score":126.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":126,"weighted_unique_contacts_reward":126.0},"seed":505,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.002004849},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":126,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":9,"mean_unique_contacts_per_participant":9.0,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":126},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":126},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-zero-target-v3","peak_rss_bytes":220262400,"problem_hash":"sha256:efeef808827cf02e75e471bcff56bcda37d32b0e27998ac147a57658e53b5cc7","proof_claim":"optimality","scenario_id":"internal.reddit-golfers-28p-7g-3s.v1","score":{"attribute_penalty":0.0,"baseline_score":126.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":126,"weighted_unique_contacts_reward":126.0},"seed":101,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":4.099764456041157},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":126,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":9,"mean_unique_contacts_per_participant":9.0,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":126},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":126},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-zero-target-v3","peak_rss_bytes":221999104,"problem_hash":"sha256:efeef808827cf02e75e471bcff56bcda37d32b0e27998ac147a57658e53b5cc7","proof_claim":"optimality","scenario_id":"internal.reddit-golfers-28p-7g-3s.v1","score":{"attribute_penalty":0.0,"baseline_score":126.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":126,"weighted_unique_contacts_reward":126.0},"seed":202,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":3.789127809985075},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":126,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":9,"mean_unique_contacts_per_participant":9.0,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":126},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":126},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-zero-target-v3","peak_rss_bytes":225710080,"problem_hash":"sha256:efeef808827cf02e75e471bcff56bcda37d32b0e27998ac147a57658e53b5cc7","proof_claim":"optimality","scenario_id":"internal.reddit-golfers-28p-7g-3s.v1","score":{"attribute_penalty":0.0,"baseline_score":126.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":126,"weighted_unique_contacts_reward":126.0},"seed":303,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":4.14674116903916},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":126,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":9,"mean_unique_contacts_per_participant":9.0,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":126},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":126},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-zero-target-v3","peak_rss_bytes":220110848,"problem_hash":"sha256:efeef808827cf02e75e471bcff56bcda37d32b0e27998ac147a57658e53b5cc7","proof_claim":"optimality","scenario_id":"internal.reddit-golfers-28p-7g-3s.v1","score":{"attribute_penalty":0.0,"baseline_score":126.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":126,"weighted_unique_contacts_reward":126.0},"seed":404,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":4.565491782035679},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":126,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":9,"mean_unique_contacts_per_participant":9.0,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":126},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":126},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-zero-target-v3","peak_rss_bytes":225148928,"problem_hash":"sha256:efeef808827cf02e75e471bcff56bcda37d32b0e27998ac147a57658e53b5cc7","proof_claim":"optimality","scenario_id":"internal.reddit-golfers-28p-7g-3s.v1","score":{"attribute_penalty":0.0,"baseline_score":126.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":126,"weighted_unique_contacts_reward":126.0},"seed":505,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":3.091896286001429},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":480,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":30,"mean_unique_contacts_per_participant":30.0,"minimum_unique_contacts_per_participant":30,"pair_frequency_histogram":{"1":480},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":480},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":12124160,"problem_hash":"sha256:89fe91b4aac9819600337d2ec8eff248c61ff18c40e2d55caff6c622a62bebe3","proof_claim":null,"scenario_id":"public.social-golfer-32x8x10.v1","score":{"attribute_penalty":0.0,"baseline_score":480.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":480,"weighted_unique_contacts_reward":480.0},"seed":101,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.003911929},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":480,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":30,"mean_unique_contacts_per_participant":30.0,"minimum_unique_contacts_per_participant":30,"pair_frequency_histogram":{"1":480},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":480},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":12124160,"problem_hash":"sha256:89fe91b4aac9819600337d2ec8eff248c61ff18c40e2d55caff6c622a62bebe3","proof_claim":null,"scenario_id":"public.social-golfer-32x8x10.v1","score":{"attribute_penalty":0.0,"baseline_score":480.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":480,"weighted_unique_contacts_reward":480.0},"seed":202,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.00734721},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":480,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":30,"mean_unique_contacts_per_participant":30.0,"minimum_unique_contacts_per_participant":30,"pair_frequency_histogram":{"1":480},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":480},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":12124160,"problem_hash":"sha256:89fe91b4aac9819600337d2ec8eff248c61ff18c40e2d55caff6c622a62bebe3","proof_claim":null,"scenario_id":"public.social-golfer-32x8x10.v1","score":{"attribute_penalty":0.0,"baseline_score":480.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":480,"weighted_unique_contacts_reward":480.0},"seed":303,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.004266124},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":480,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":30,"mean_unique_contacts_per_participant":30.0,"minimum_unique_contacts_per_participant":30,"pair_frequency_histogram":{"1":480},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":480},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":12288000,"problem_hash":"sha256:89fe91b4aac9819600337d2ec8eff248c61ff18c40e2d55caff6c622a62bebe3","proof_claim":null,"scenario_id":"public.social-golfer-32x8x10.v1","score":{"attribute_penalty":0.0,"baseline_score":480.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":480,"weighted_unique_contacts_reward":480.0},"seed":404,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.003678424},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":480,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":30,"mean_unique_contacts_per_participant":30.0,"minimum_unique_contacts_per_participant":30,"pair_frequency_histogram":{"1":480},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":480},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":12124160,"problem_hash":"sha256:89fe91b4aac9819600337d2ec8eff248c61ff18c40e2d55caff6c622a62bebe3","proof_claim":null,"scenario_id":"public.social-golfer-32x8x10.v1","score":{"attribute_penalty":0.0,"baseline_score":480.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":480,"weighted_unique_contacts_reward":480.0},"seed":505,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.005682739},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":480,"linear_repeat_penalty":144,"maximum_pair_count":2,"maximum_unique_contacts_per_participant":24,"mean_unique_contacts_per_participant":21.0,"minimum_unique_contacts_per_participant":18,"pair_frequency_histogram":{"1":192,"2":144},"pairs_repeated":144,"squared_repeat_concentration":144,"total_repeat_excess":144,"unique_contacts":336},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-optimized-v4","peak_rss_bytes":975327232,"problem_hash":"sha256:89fe91b4aac9819600337d2ec8eff248c61ff18c40e2d55caff6c622a62bebe3","proof_claim":null,"scenario_id":"public.social-golfer-32x8x10.v1","score":{"attribute_penalty":0.0,"baseline_score":480.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":1440.0,"repeat_penalty_units":144,"total_cost":1584.0,"unique_contacts":336,"weighted_unique_contacts_reward":336.0},"seed":101,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.85693447600352},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":480,"linear_repeat_penalty":100,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":27,"mean_unique_contacts_per_participant":23.75,"minimum_unique_contacts_per_participant":21,"pair_frequency_histogram":{"1":293,"2":76,"3":9,"4":2},"pairs_repeated":87,"squared_repeat_concentration":130,"total_repeat_excess":100,"unique_contacts":380},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-optimized-v4","peak_rss_bytes":982892544,"problem_hash":"sha256:89fe91b4aac9819600337d2ec8eff248c61ff18c40e2d55caff6c622a62bebe3","proof_claim":null,"scenario_id":"public.social-golfer-32x8x10.v1","score":{"attribute_penalty":0.0,"baseline_score":480.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":1300.0,"repeat_penalty_units":130,"total_cost":1400.0,"unique_contacts":380,"weighted_unique_contacts_reward":380.0},"seed":202,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":58.53652137896279},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":480,"linear_repeat_penalty":143,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":25,"mean_unique_contacts_per_participant":21.0625,"minimum_unique_contacts_per_participant":18,"pair_frequency_histogram":{"1":195,"2":141,"3":1},"pairs_repeated":142,"squared_repeat_concentration":145,"total_repeat_excess":143,"unique_contacts":337},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-optimized-v4","peak_rss_bytes":1025662976,"problem_hash":"sha256:89fe91b4aac9819600337d2ec8eff248c61ff18c40e2d55caff6c622a62bebe3","proof_claim":null,"scenario_id":"public.social-golfer-32x8x10.v1","score":{"attribute_penalty":0.0,"baseline_score":480.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":1450.0,"repeat_penalty_units":145,"total_cost":1593.0,"unique_contacts":337,"weighted_unique_contacts_reward":337.0},"seed":303,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":58.42029082996305},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":480,"linear_repeat_penalty":136,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":25,"mean_unique_contacts_per_participant":21.5,"minimum_unique_contacts_per_participant":18,"pair_frequency_histogram":{"1":210,"2":132,"3":2},"pairs_repeated":134,"squared_repeat_concentration":140,"total_repeat_excess":136,"unique_contacts":344},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-optimized-v4","peak_rss_bytes":1017036800,"problem_hash":"sha256:89fe91b4aac9819600337d2ec8eff248c61ff18c40e2d55caff6c622a62bebe3","proof_claim":null,"scenario_id":"public.social-golfer-32x8x10.v1","score":{"attribute_penalty":0.0,"baseline_score":480.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":1400.0,"repeat_penalty_units":140,"total_cost":1536.0,"unique_contacts":344,"weighted_unique_contacts_reward":344.0},"seed":404,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":58.750311629031785},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":480,"linear_repeat_penalty":116,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":25,"mean_unique_contacts_per_participant":22.75,"minimum_unique_contacts_per_participant":18,"pair_frequency_histogram":{"1":258,"2":97,"3":8,"4":1},"pairs_repeated":106,"squared_repeat_concentration":138,"total_repeat_excess":116,"unique_contacts":364},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-optimized-v4","peak_rss_bytes":1019138048,"problem_hash":"sha256:89fe91b4aac9819600337d2ec8eff248c61ff18c40e2d55caff6c622a62bebe3","proof_claim":null,"scenario_id":"public.social-golfer-32x8x10.v1","score":{"attribute_penalty":0.0,"baseline_score":480.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":1380.0,"repeat_penalty_units":138,"total_cost":1496.0,"unique_contacts":364,"weighted_unique_contacts_reward":364.0},"seed":505,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.450284915976226},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":720,"linear_repeat_penalty":224,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":31.0,"minimum_unique_contacts_per_participant":31,"pair_frequency_histogram":{"1":277,"2":214,"3":5},"pairs_repeated":219,"squared_repeat_concentration":234,"total_repeat_excess":224,"unique_contacts":496},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":17821696,"problem_hash":"sha256:1a6ba3a0998c2f7cf8fec58cca3bfa1cf3f63ecf8b40b168d0186668f1305017","proof_claim":null,"scenario_id":"internal.social-golfer-32x8x15.v1","score":{"attribute_penalty":0.0,"baseline_score":496.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":496,"weighted_unique_contacts_reward":496.0},"seed":101,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.26365523},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":720,"linear_repeat_penalty":224,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":31.0,"minimum_unique_contacts_per_participant":31,"pair_frequency_histogram":{"1":278,"2":212,"3":6},"pairs_repeated":218,"squared_repeat_concentration":236,"total_repeat_excess":224,"unique_contacts":496},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":17530880,"problem_hash":"sha256:1a6ba3a0998c2f7cf8fec58cca3bfa1cf3f63ecf8b40b168d0186668f1305017","proof_claim":null,"scenario_id":"internal.social-golfer-32x8x15.v1","score":{"attribute_penalty":0.0,"baseline_score":496.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":496,"weighted_unique_contacts_reward":496.0},"seed":202,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.239404193},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":720,"linear_repeat_penalty":224,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":31.0,"minimum_unique_contacts_per_participant":31,"pair_frequency_histogram":{"1":279,"2":210,"3":7},"pairs_repeated":217,"squared_repeat_concentration":238,"total_repeat_excess":224,"unique_contacts":496},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":17510400,"problem_hash":"sha256:1a6ba3a0998c2f7cf8fec58cca3bfa1cf3f63ecf8b40b168d0186668f1305017","proof_claim":null,"scenario_id":"internal.social-golfer-32x8x15.v1","score":{"attribute_penalty":0.0,"baseline_score":496.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":496,"weighted_unique_contacts_reward":496.0},"seed":303,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.250303467},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":720,"linear_repeat_penalty":224,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":31.0,"minimum_unique_contacts_per_participant":31,"pair_frequency_histogram":{"1":279,"2":210,"3":7},"pairs_repeated":217,"squared_repeat_concentration":238,"total_repeat_excess":224,"unique_contacts":496},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":17694720,"problem_hash":"sha256:1a6ba3a0998c2f7cf8fec58cca3bfa1cf3f63ecf8b40b168d0186668f1305017","proof_claim":null,"scenario_id":"internal.social-golfer-32x8x15.v1","score":{"attribute_penalty":0.0,"baseline_score":496.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":496,"weighted_unique_contacts_reward":496.0},"seed":404,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.228985104},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":720,"linear_repeat_penalty":224,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":31.0,"minimum_unique_contacts_per_participant":31,"pair_frequency_histogram":{"1":281,"2":206,"3":9},"pairs_repeated":215,"squared_repeat_concentration":242,"total_repeat_excess":224,"unique_contacts":496},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":17678336,"problem_hash":"sha256:1a6ba3a0998c2f7cf8fec58cca3bfa1cf3f63ecf8b40b168d0186668f1305017","proof_claim":null,"scenario_id":"internal.social-golfer-32x8x15.v1","score":{"attribute_penalty":0.0,"baseline_score":496.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":496,"weighted_unique_contacts_reward":496.0},"seed":505,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.297132994},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":720,"linear_repeat_penalty":257,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":28.9375,"minimum_unique_contacts_per_participant":26,"pair_frequency_histogram":{"1":286,"2":116,"3":45,"4":13,"5":3},"pairs_repeated":177,"squared_repeat_concentration":461,"total_repeat_excess":257,"unique_contacts":463},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-unique-v4","peak_rss_bytes":1144328192,"problem_hash":"sha256:1a6ba3a0998c2f7cf8fec58cca3bfa1cf3f63ecf8b40b168d0186668f1305017","proof_claim":null,"scenario_id":"internal.social-golfer-32x8x15.v1","score":{"attribute_penalty":0.0,"baseline_score":496.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":33.0,"unique_contacts":463,"weighted_unique_contacts_reward":463.0},"seed":101,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":58.74783266894519},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":720,"linear_repeat_penalty":262,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":28.625,"minimum_unique_contacts_per_participant":26,"pair_frequency_histogram":{"1":275,"2":120,"3":48,"4":14,"5":1},"pairs_repeated":183,"squared_repeat_concentration":454,"total_repeat_excess":262,"unique_contacts":458},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-unique-v4","peak_rss_bytes":1156014080,"problem_hash":"sha256:1a6ba3a0998c2f7cf8fec58cca3bfa1cf3f63ecf8b40b168d0186668f1305017","proof_claim":null,"scenario_id":"internal.social-golfer-32x8x15.v1","score":{"attribute_penalty":0.0,"baseline_score":496.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":38.0,"unique_contacts":458,"weighted_unique_contacts_reward":458.0},"seed":202,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":58.931255016999785},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":720,"linear_repeat_penalty":303,"maximum_pair_count":6,"maximum_unique_contacts_per_participant":29,"mean_unique_contacts_per_participant":26.0625,"minimum_unique_contacts_per_participant":21,"pair_frequency_histogram":{"1":227,"2":115,"3":46,"4":21,"5":7,"6":1},"pairs_repeated":190,"squared_repeat_concentration":625,"total_repeat_excess":303,"unique_contacts":417},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-unique-v4","peak_rss_bytes":1116708864,"problem_hash":"sha256:1a6ba3a0998c2f7cf8fec58cca3bfa1cf3f63ecf8b40b168d0186668f1305017","proof_claim":null,"scenario_id":"internal.social-golfer-32x8x15.v1","score":{"attribute_penalty":0.0,"baseline_score":496.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":79.0,"unique_contacts":417,"weighted_unique_contacts_reward":417.0},"seed":303,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.972922421002295},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":720,"linear_repeat_penalty":297,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":30,"mean_unique_contacts_per_participant":26.4375,"minimum_unique_contacts_per_participant":24,"pair_frequency_histogram":{"1":217,"2":138,"3":49,"4":15,"5":4},"pairs_repeated":206,"squared_repeat_concentration":533,"total_repeat_excess":297,"unique_contacts":423},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-unique-v4","peak_rss_bytes":1123336192,"problem_hash":"sha256:1a6ba3a0998c2f7cf8fec58cca3bfa1cf3f63ecf8b40b168d0186668f1305017","proof_claim":null,"scenario_id":"internal.social-golfer-32x8x15.v1","score":{"attribute_penalty":0.0,"baseline_score":496.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":73.0,"unique_contacts":423,"weighted_unique_contacts_reward":423.0},"seed":404,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":58.57547798199812},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":720,"linear_repeat_penalty":314,"maximum_pair_count":9,"maximum_unique_contacts_per_participant":29,"mean_unique_contacts_per_participant":25.375,"minimum_unique_contacts_per_participant":22,"pair_frequency_histogram":{"1":211,"2":111,"3":59,"4":19,"5":5,"9":1},"pairs_repeated":195,"squared_repeat_concentration":662,"total_repeat_excess":314,"unique_contacts":406},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-unique-v4","peak_rss_bytes":1080516608,"problem_hash":"sha256:1a6ba3a0998c2f7cf8fec58cca3bfa1cf3f63ecf8b40b168d0186668f1305017","proof_claim":null,"scenario_id":"internal.social-golfer-32x8x15.v1","score":{"attribute_penalty":0.0,"baseline_score":496.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":90.0,"unique_contacts":406,"weighted_unique_contacts_reward":406.0},"seed":505,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":58.81711638602428},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":900,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":40,"mean_unique_contacts_per_participant":40.0,"minimum_unique_contacts_per_participant":40,"pair_frequency_histogram":{"1":900},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":900},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":12779520,"problem_hash":"sha256:315f2a0003dadf74496d7f8a8d513479fa22fc2d508898a7bdb7ce4e371e40d9","proof_claim":null,"scenario_id":"public.social-golfer-45x9x10.v1","score":{"attribute_penalty":0.0,"baseline_score":900.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":900,"weighted_unique_contacts_reward":900.0},"seed":101,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.00776761},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":900,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":40,"mean_unique_contacts_per_participant":40.0,"minimum_unique_contacts_per_participant":40,"pair_frequency_histogram":{"1":900},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":900},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":12943360,"problem_hash":"sha256:315f2a0003dadf74496d7f8a8d513479fa22fc2d508898a7bdb7ce4e371e40d9","proof_claim":null,"scenario_id":"public.social-golfer-45x9x10.v1","score":{"attribute_penalty":0.0,"baseline_score":900.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":900,"weighted_unique_contacts_reward":900.0},"seed":202,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.003350435},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":900,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":40,"mean_unique_contacts_per_participant":40.0,"minimum_unique_contacts_per_participant":40,"pair_frequency_histogram":{"1":900},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":900},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":12451840,"problem_hash":"sha256:315f2a0003dadf74496d7f8a8d513479fa22fc2d508898a7bdb7ce4e371e40d9","proof_claim":null,"scenario_id":"public.social-golfer-45x9x10.v1","score":{"attribute_penalty":0.0,"baseline_score":900.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":900,"weighted_unique_contacts_reward":900.0},"seed":303,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.003181779},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":900,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":40,"mean_unique_contacts_per_participant":40.0,"minimum_unique_contacts_per_participant":40,"pair_frequency_histogram":{"1":900},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":900},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":12779520,"problem_hash":"sha256:315f2a0003dadf74496d7f8a8d513479fa22fc2d508898a7bdb7ce4e371e40d9","proof_claim":null,"scenario_id":"public.social-golfer-45x9x10.v1","score":{"attribute_penalty":0.0,"baseline_score":900.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":900,"weighted_unique_contacts_reward":900.0},"seed":404,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.004493074},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":900,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":40,"mean_unique_contacts_per_participant":40.0,"minimum_unique_contacts_per_participant":40,"pair_frequency_histogram":{"1":900},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":900},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":12779520,"problem_hash":"sha256:315f2a0003dadf74496d7f8a8d513479fa22fc2d508898a7bdb7ce4e371e40d9","proof_claim":null,"scenario_id":"public.social-golfer-45x9x10.v1","score":{"attribute_penalty":0.0,"baseline_score":900.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":900,"weighted_unique_contacts_reward":900.0},"seed":505,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.004486978},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":900,"linear_repeat_penalty":265,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":32,"mean_unique_contacts_per_participant":28.22222222222222,"minimum_unique_contacts_per_participant":25,"pair_frequency_histogram":{"1":371,"2":263,"3":1},"pairs_repeated":264,"squared_repeat_concentration":267,"total_repeat_excess":265,"unique_contacts":635},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-optimized-v4","peak_rss_bytes":1578098688,"problem_hash":"sha256:315f2a0003dadf74496d7f8a8d513479fa22fc2d508898a7bdb7ce4e371e40d9","proof_claim":null,"scenario_id":"public.social-golfer-45x9x10.v1","score":{"attribute_penalty":0.0,"baseline_score":900.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":2670.0,"repeat_penalty_units":267,"total_cost":2935.0,"unique_contacts":635,"weighted_unique_contacts_reward":635.0},"seed":101,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.02693888096837},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":900,"linear_repeat_penalty":310,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":26.22222222222222,"minimum_unique_contacts_per_participant":22,"pair_frequency_histogram":{"1":359,"2":152,"3":79},"pairs_repeated":231,"squared_repeat_concentration":468,"total_repeat_excess":310,"unique_contacts":590},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-optimized-v4","peak_rss_bytes":1577402368,"problem_hash":"sha256:315f2a0003dadf74496d7f8a8d513479fa22fc2d508898a7bdb7ce4e371e40d9","proof_claim":null,"scenario_id":"public.social-golfer-45x9x10.v1","score":{"attribute_penalty":0.0,"baseline_score":900.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":4680.0,"repeat_penalty_units":468,"total_cost":4990.0,"unique_contacts":590,"weighted_unique_contacts_reward":590.0},"seed":202,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.292654308024794},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":900,"linear_repeat_penalty":310,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":26.22222222222222,"minimum_unique_contacts_per_participant":22,"pair_frequency_histogram":{"1":359,"2":152,"3":79},"pairs_repeated":231,"squared_repeat_concentration":468,"total_repeat_excess":310,"unique_contacts":590},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-optimized-v4","peak_rss_bytes":1568911360,"problem_hash":"sha256:315f2a0003dadf74496d7f8a8d513479fa22fc2d508898a7bdb7ce4e371e40d9","proof_claim":null,"scenario_id":"public.social-golfer-45x9x10.v1","score":{"attribute_penalty":0.0,"baseline_score":900.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":4680.0,"repeat_penalty_units":468,"total_cost":4990.0,"unique_contacts":590,"weighted_unique_contacts_reward":590.0},"seed":303,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.120179040997755},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":900,"linear_repeat_penalty":350,"maximum_pair_count":6,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":24.444444444444443,"minimum_unique_contacts_per_participant":19,"pair_frequency_histogram":{"1":319,"2":163,"3":34,"4":22,"5":7,"6":5},"pairs_repeated":231,"squared_repeat_concentration":734,"total_repeat_excess":350,"unique_contacts":550},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-optimized-v4","peak_rss_bytes":1549025280,"problem_hash":"sha256:315f2a0003dadf74496d7f8a8d513479fa22fc2d508898a7bdb7ce4e371e40d9","proof_claim":null,"scenario_id":"public.social-golfer-45x9x10.v1","score":{"attribute_penalty":0.0,"baseline_score":900.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":7340.0,"repeat_penalty_units":734,"total_cost":7690.0,"unique_contacts":550,"weighted_unique_contacts_reward":550.0},"seed":404,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.19821355002932},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":900,"linear_repeat_penalty":332,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":25.244444444444444,"minimum_unique_contacts_per_participant":19,"pair_frequency_histogram":{"1":331,"2":165,"3":49,"4":23},"pairs_repeated":237,"squared_repeat_concentration":568,"total_repeat_excess":332,"unique_contacts":568},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-optimized-v4","peak_rss_bytes":1542320128,"problem_hash":"sha256:315f2a0003dadf74496d7f8a8d513479fa22fc2d508898a7bdb7ce4e371e40d9","proof_claim":null,"scenario_id":"public.social-golfer-45x9x10.v1","score":{"attribute_penalty":0.0,"baseline_score":900.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":5680.0,"repeat_penalty_units":568,"total_cost":6012.0,"unique_contacts":568,"weighted_unique_contacts_reward":568.0},"seed":505,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.47476450901013},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":3240,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":54,"mean_unique_contacts_per_participant":54.0,"minimum_unique_contacts_per_participant":54,"pair_frequency_histogram":{"1":3240},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":3240},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":15720448,"problem_hash":"sha256:ebdd3b1e2fd50cacc4c122d3723c06a5bfab47b8dcf48bdeae3cda7bbaf50f66","proof_claim":null,"scenario_id":"internal.real-world-workshops-120x12x6.v1","score":{"attribute_penalty":0.0,"baseline_score":3240.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":3240,"weighted_unique_contacts_reward":3240.0},"seed":101,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.008160151},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":3240,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":54,"mean_unique_contacts_per_participant":54.0,"minimum_unique_contacts_per_participant":54,"pair_frequency_histogram":{"1":3240},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":3240},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":16060416,"problem_hash":"sha256:ebdd3b1e2fd50cacc4c122d3723c06a5bfab47b8dcf48bdeae3cda7bbaf50f66","proof_claim":null,"scenario_id":"internal.real-world-workshops-120x12x6.v1","score":{"attribute_penalty":0.0,"baseline_score":3240.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":3240,"weighted_unique_contacts_reward":3240.0},"seed":202,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.009347905},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":3240,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":54,"mean_unique_contacts_per_participant":54.0,"minimum_unique_contacts_per_participant":54,"pair_frequency_histogram":{"1":3240},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":3240},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":16371712,"problem_hash":"sha256:ebdd3b1e2fd50cacc4c122d3723c06a5bfab47b8dcf48bdeae3cda7bbaf50f66","proof_claim":null,"scenario_id":"internal.real-world-workshops-120x12x6.v1","score":{"attribute_penalty":0.0,"baseline_score":3240.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":3240,"weighted_unique_contacts_reward":3240.0},"seed":303,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.013307089},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":3240,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":54,"mean_unique_contacts_per_participant":54.0,"minimum_unique_contacts_per_participant":54,"pair_frequency_histogram":{"1":3240},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":3240},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":16457728,"problem_hash":"sha256:ebdd3b1e2fd50cacc4c122d3723c06a5bfab47b8dcf48bdeae3cda7bbaf50f66","proof_claim":null,"scenario_id":"internal.real-world-workshops-120x12x6.v1","score":{"attribute_penalty":0.0,"baseline_score":3240.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":3240,"weighted_unique_contacts_reward":3240.0},"seed":404,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.007265796},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":3240,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":54,"mean_unique_contacts_per_participant":54.0,"minimum_unique_contacts_per_participant":54,"pair_frequency_histogram":{"1":3240},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":3240},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":15220736,"problem_hash":"sha256:ebdd3b1e2fd50cacc4c122d3723c06a5bfab47b8dcf48bdeae3cda7bbaf50f66","proof_claim":null,"scenario_id":"internal.real-world-workshops-120x12x6.v1","score":{"attribute_penalty":0.0,"baseline_score":3240.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":3240,"weighted_unique_contacts_reward":3240.0},"seed":505,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.016775142},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":3240,"linear_repeat_penalty":672,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":45,"mean_unique_contacts_per_participant":42.8,"minimum_unique_contacts_per_participant":40,"pair_frequency_histogram":{"1":1992,"2":480,"3":96},"pairs_repeated":576,"squared_repeat_concentration":864,"total_repeat_excess":672,"unique_contacts":2568},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-staged-constructor-v3","peak_rss_bytes":870481920,"problem_hash":"sha256:ebdd3b1e2fd50cacc4c122d3723c06a5bfab47b8dcf48bdeae3cda7bbaf50f66","proof_claim":null,"scenario_id":"internal.real-world-workshops-120x12x6.v1","score":{"attribute_penalty":0.0,"baseline_score":3240.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":672000.0,"repeat_penalty_units":672,"total_cost":672672.0,"unique_contacts":2568,"weighted_unique_contacts_reward":2568.0},"seed":101,"status":"feasible","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":40.7487403510022},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":3240,"linear_repeat_penalty":666,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":47,"mean_unique_contacts_per_participant":42.9,"minimum_unique_contacts_per_participant":38,"pair_frequency_histogram":{"1":1988,"2":511,"3":70,"4":5},"pairs_repeated":586,"squared_repeat_concentration":836,"total_repeat_excess":666,"unique_contacts":2574},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-staged-constructor-v3","peak_rss_bytes":932806656,"problem_hash":"sha256:ebdd3b1e2fd50cacc4c122d3723c06a5bfab47b8dcf48bdeae3cda7bbaf50f66","proof_claim":null,"scenario_id":"internal.real-world-workshops-120x12x6.v1","score":{"attribute_penalty":0.0,"baseline_score":3240.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":666000.0,"repeat_penalty_units":666,"total_cost":666666.0,"unique_contacts":2574,"weighted_unique_contacts_reward":2574.0},"seed":202,"status":"feasible","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":43.70163495698944},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":3240,"linear_repeat_penalty":576,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":51,"mean_unique_contacts_per_participant":44.4,"minimum_unique_contacts_per_participant":39,"pair_frequency_histogram":{"1":2157,"2":444,"3":57,"4":6},"pairs_repeated":507,"squared_repeat_concentration":726,"total_repeat_excess":576,"unique_contacts":2664},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-staged-constructor-v3","peak_rss_bytes":874291200,"problem_hash":"sha256:ebdd3b1e2fd50cacc4c122d3723c06a5bfab47b8dcf48bdeae3cda7bbaf50f66","proof_claim":null,"scenario_id":"internal.real-world-workshops-120x12x6.v1","score":{"attribute_penalty":0.0,"baseline_score":3240.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":576000.0,"repeat_penalty_units":576,"total_cost":576576.0,"unique_contacts":2664,"weighted_unique_contacts_reward":2664.0},"seed":303,"status":"feasible","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":39.78267832403071},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":3240,"linear_repeat_penalty":592,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":48,"mean_unique_contacts_per_participant":44.13333333333333,"minimum_unique_contacts_per_participant":40,"pair_frequency_histogram":{"1":2136,"2":437,"3":70,"4":5},"pairs_repeated":512,"squared_repeat_concentration":762,"total_repeat_excess":592,"unique_contacts":2648},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-staged-constructor-v3","peak_rss_bytes":944934912,"problem_hash":"sha256:ebdd3b1e2fd50cacc4c122d3723c06a5bfab47b8dcf48bdeae3cda7bbaf50f66","proof_claim":null,"scenario_id":"internal.real-world-workshops-120x12x6.v1","score":{"attribute_penalty":0.0,"baseline_score":3240.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":592000.0,"repeat_penalty_units":592,"total_cost":592592.0,"unique_contacts":2648,"weighted_unique_contacts_reward":2648.0},"seed":404,"status":"feasible","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":46.062022223020904},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":3240,"linear_repeat_penalty":680,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":47,"mean_unique_contacts_per_participant":42.666666666666664,"minimum_unique_contacts_per_participant":39,"pair_frequency_histogram":{"1":1959,"2":526,"3":71,"4":4},"pairs_repeated":601,"squared_repeat_concentration":846,"total_repeat_excess":680,"unique_contacts":2560},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-staged-constructor-v3","peak_rss_bytes":848515072,"problem_hash":"sha256:ebdd3b1e2fd50cacc4c122d3723c06a5bfab47b8dcf48bdeae3cda7bbaf50f66","proof_claim":null,"scenario_id":"internal.real-world-workshops-120x12x6.v1","score":{"attribute_penalty":0.0,"baseline_score":3240.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":680000.0,"repeat_penalty_units":680,"total_cost":680680.0,"unique_contacts":2560,"weighted_unique_contacts_reward":2560.0},"seed":505,"status":"feasible","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":42.36986135999905},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":36,"linear_repeat_penalty":12,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":6.0,"minimum_unique_contacts_per_participant":5,"pair_frequency_histogram":{"1":14,"2":8,"3":2},"pairs_repeated":10,"squared_repeat_concentration":16,"total_repeat_excess":12,"unique_contacts":24},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":12779520,"problem_hash":"sha256:c3e88b66614a28d59c63396fd507449ed8b83ab5008f605da188a9650647f33f","proof_claim":null,"scenario_id":"example.small-workshop-constrained.v1","score":{"attribute_penalty":0.0,"baseline_score":28.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":4.0,"unique_contacts":24,"weighted_unique_contacts_reward":24.0},"seed":101,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.523593628},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":36,"linear_repeat_penalty":12,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":6.0,"minimum_unique_contacts_per_participant":5,"pair_frequency_histogram":{"1":14,"2":8,"3":2},"pairs_repeated":10,"squared_repeat_concentration":16,"total_repeat_excess":12,"unique_contacts":24},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":12288000,"problem_hash":"sha256:c3e88b66614a28d59c63396fd507449ed8b83ab5008f605da188a9650647f33f","proof_claim":null,"scenario_id":"example.small-workshop-constrained.v1","score":{"attribute_penalty":0.0,"baseline_score":28.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":4.0,"unique_contacts":24,"weighted_unique_contacts_reward":24.0},"seed":202,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.510647435},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":36,"linear_repeat_penalty":12,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":6.0,"minimum_unique_contacts_per_participant":5,"pair_frequency_histogram":{"1":14,"2":8,"3":2},"pairs_repeated":10,"squared_repeat_concentration":16,"total_repeat_excess":12,"unique_contacts":24},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":11960320,"problem_hash":"sha256:c3e88b66614a28d59c63396fd507449ed8b83ab5008f605da188a9650647f33f","proof_claim":null,"scenario_id":"example.small-workshop-constrained.v1","score":{"attribute_penalty":0.0,"baseline_score":28.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":4.0,"unique_contacts":24,"weighted_unique_contacts_reward":24.0},"seed":303,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.590218231},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":36,"linear_repeat_penalty":12,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":6.0,"minimum_unique_contacts_per_participant":5,"pair_frequency_histogram":{"1":14,"2":8,"3":2},"pairs_repeated":10,"squared_repeat_concentration":16,"total_repeat_excess":12,"unique_contacts":24},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":12124160,"problem_hash":"sha256:c3e88b66614a28d59c63396fd507449ed8b83ab5008f605da188a9650647f33f","proof_claim":null,"scenario_id":"example.small-workshop-constrained.v1","score":{"attribute_penalty":0.0,"baseline_score":28.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":4.0,"unique_contacts":24,"weighted_unique_contacts_reward":24.0},"seed":404,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.482927427},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":36,"linear_repeat_penalty":12,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":6.0,"minimum_unique_contacts_per_participant":5,"pair_frequency_histogram":{"1":14,"2":8,"3":2},"pairs_repeated":10,"squared_repeat_concentration":16,"total_repeat_excess":12,"unique_contacts":24},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":12124160,"problem_hash":"sha256:c3e88b66614a28d59c63396fd507449ed8b83ab5008f605da188a9650647f33f","proof_claim":null,"scenario_id":"example.small-workshop-constrained.v1","score":{"attribute_penalty":0.0,"baseline_score":28.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":4.0,"unique_contacts":24,"weighted_unique_contacts_reward":24.0},"seed":505,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.481534229},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":36,"linear_repeat_penalty":12,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":6.0,"minimum_unique_contacts_per_participant":5,"pair_frequency_histogram":{"1":14,"2":8,"3":2},"pairs_repeated":10,"squared_repeat_concentration":16,"total_repeat_excess":12,"unique_contacts":24},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:generic-v2","peak_rss_bytes":190570496,"problem_hash":"sha256:c3e88b66614a28d59c63396fd507449ed8b83ab5008f605da188a9650647f33f","proof_claim":"optimality","scenario_id":"example.small-workshop-constrained.v1","score":{"attribute_penalty":0.0,"baseline_score":28.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":4.0,"unique_contacts":24,"weighted_unique_contacts_reward":24.0},"seed":101,"status":"optimal_proven","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.11192898696754128},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":36,"linear_repeat_penalty":12,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":6.0,"minimum_unique_contacts_per_participant":5,"pair_frequency_histogram":{"1":14,"2":8,"3":2},"pairs_repeated":10,"squared_repeat_concentration":16,"total_repeat_excess":12,"unique_contacts":24},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:generic-v2","peak_rss_bytes":190914560,"problem_hash":"sha256:c3e88b66614a28d59c63396fd507449ed8b83ab5008f605da188a9650647f33f","proof_claim":"optimality","scenario_id":"example.small-workshop-constrained.v1","score":{"attribute_penalty":0.0,"baseline_score":28.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":4.0,"unique_contacts":24,"weighted_unique_contacts_reward":24.0},"seed":202,"status":"optimal_proven","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.0805285350070335},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":36,"linear_repeat_penalty":12,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":6.0,"minimum_unique_contacts_per_participant":5,"pair_frequency_histogram":{"1":14,"2":8,"3":2},"pairs_repeated":10,"squared_repeat_concentration":16,"total_repeat_excess":12,"unique_contacts":24},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:generic-v2","peak_rss_bytes":190136320,"problem_hash":"sha256:c3e88b66614a28d59c63396fd507449ed8b83ab5008f605da188a9650647f33f","proof_claim":"optimality","scenario_id":"example.small-workshop-constrained.v1","score":{"attribute_penalty":0.0,"baseline_score":28.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":4.0,"unique_contacts":24,"weighted_unique_contacts_reward":24.0},"seed":303,"status":"optimal_proven","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.05918439995730296},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":36,"linear_repeat_penalty":12,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":6.0,"minimum_unique_contacts_per_participant":5,"pair_frequency_histogram":{"1":14,"2":8,"3":2},"pairs_repeated":10,"squared_repeat_concentration":16,"total_repeat_excess":12,"unique_contacts":24},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:generic-v2","peak_rss_bytes":191057920,"problem_hash":"sha256:c3e88b66614a28d59c63396fd507449ed8b83ab5008f605da188a9650647f33f","proof_claim":"optimality","scenario_id":"example.small-workshop-constrained.v1","score":{"attribute_penalty":0.0,"baseline_score":28.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":4.0,"unique_contacts":24,"weighted_unique_contacts_reward":24.0},"seed":404,"status":"optimal_proven","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.07162919000256807},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":36,"linear_repeat_penalty":12,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":6.0,"minimum_unique_contacts_per_participant":5,"pair_frequency_histogram":{"1":14,"2":8,"3":2},"pairs_repeated":10,"squared_repeat_concentration":16,"total_repeat_excess":12,"unique_contacts":24},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:generic-v2","peak_rss_bytes":190705664,"problem_hash":"sha256:c3e88b66614a28d59c63396fd507449ed8b83ab5008f605da188a9650647f33f","proof_claim":"optimality","scenario_id":"example.small-workshop-constrained.v1","score":{"attribute_penalty":0.0,"baseline_score":28.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":4.0,"unique_contacts":24,"weighted_unique_contacts_reward":24.0},"seed":505,"status":"optimal_proven","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.06157546199392527},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":28,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":7.0,"minimum_unique_contacts_per_participant":7,"pair_frequency_histogram":{"1":28},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":28},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":12615680,"problem_hash":"sha256:c877da0c8c152c931d57be0f3e7157d9d3ad44513dccb6c3abff315aa78f5202","proof_claim":null,"scenario_id":"internal.stack-scout-patrol-rota-8p-4g-7s.v1","score":{"attribute_penalty":0.0,"baseline_score":28.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":2000.0,"other_preference_penalty_units":2,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":2000.0,"unique_contacts":28,"weighted_unique_contacts_reward":28.0},"seed":101,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.017776791},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":28,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":7.0,"minimum_unique_contacts_per_participant":7,"pair_frequency_histogram":{"1":28},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":28},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":12615680,"problem_hash":"sha256:c877da0c8c152c931d57be0f3e7157d9d3ad44513dccb6c3abff315aa78f5202","proof_claim":null,"scenario_id":"internal.stack-scout-patrol-rota-8p-4g-7s.v1","score":{"attribute_penalty":0.0,"baseline_score":28.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":2000.0,"other_preference_penalty_units":2,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":2000.0,"unique_contacts":28,"weighted_unique_contacts_reward":28.0},"seed":202,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":60.001869192},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":28,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":7.0,"minimum_unique_contacts_per_participant":7,"pair_frequency_histogram":{"1":28},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":28},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":12943360,"problem_hash":"sha256:c877da0c8c152c931d57be0f3e7157d9d3ad44513dccb6c3abff315aa78f5202","proof_claim":null,"scenario_id":"internal.stack-scout-patrol-rota-8p-4g-7s.v1","score":{"attribute_penalty":0.0,"baseline_score":28.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":2000.0,"other_preference_penalty_units":2,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":2000.0,"unique_contacts":28,"weighted_unique_contacts_reward":28.0},"seed":303,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.022456783},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":28,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":7.0,"minimum_unique_contacts_per_participant":7,"pair_frequency_histogram":{"1":28},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":28},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":12943360,"problem_hash":"sha256:c877da0c8c152c931d57be0f3e7157d9d3ad44513dccb6c3abff315aa78f5202","proof_claim":null,"scenario_id":"internal.stack-scout-patrol-rota-8p-4g-7s.v1","score":{"attribute_penalty":0.0,"baseline_score":28.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":2000.0,"other_preference_penalty_units":2,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":2000.0,"unique_contacts":28,"weighted_unique_contacts_reward":28.0},"seed":404,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":60.002890317},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":28,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":7.0,"minimum_unique_contacts_per_participant":7,"pair_frequency_histogram":{"1":28},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":28},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":12288000,"problem_hash":"sha256:c877da0c8c152c931d57be0f3e7157d9d3ad44513dccb6c3abff315aa78f5202","proof_claim":null,"scenario_id":"internal.stack-scout-patrol-rota-8p-4g-7s.v1","score":{"attribute_penalty":0.0,"baseline_score":28.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":2000.0,"other_preference_penalty_units":2,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":2000.0,"unique_contacts":28,"weighted_unique_contacts_reward":28.0},"seed":505,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.020417629},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":28,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":7.0,"minimum_unique_contacts_per_participant":7,"pair_frequency_histogram":{"1":28},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":28},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:station-rotation-v2","peak_rss_bytes":300343296,"problem_hash":"sha256:c877da0c8c152c931d57be0f3e7157d9d3ad44513dccb6c3abff315aa78f5202","proof_claim":null,"scenario_id":"internal.stack-scout-patrol-rota-8p-4g-7s.v1","score":{"attribute_penalty":0.0,"baseline_score":28.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":2000.0,"other_preference_penalty_units":2,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":2000.0,"unique_contacts":28,"weighted_unique_contacts_reward":28.0},"seed":101,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.832810425024945},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":28,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":7.0,"minimum_unique_contacts_per_participant":7,"pair_frequency_histogram":{"1":28},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":28},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:station-rotation-v2","peak_rss_bytes":300171264,"problem_hash":"sha256:c877da0c8c152c931d57be0f3e7157d9d3ad44513dccb6c3abff315aa78f5202","proof_claim":null,"scenario_id":"internal.stack-scout-patrol-rota-8p-4g-7s.v1","score":{"attribute_penalty":0.0,"baseline_score":28.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":2000.0,"other_preference_penalty_units":2,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":2000.0,"unique_contacts":28,"weighted_unique_contacts_reward":28.0},"seed":202,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.775107391993515},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":28,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":7.0,"minimum_unique_contacts_per_participant":7,"pair_frequency_histogram":{"1":28},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":28},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:station-rotation-v2","peak_rss_bytes":300830720,"problem_hash":"sha256:c877da0c8c152c931d57be0f3e7157d9d3ad44513dccb6c3abff315aa78f5202","proof_claim":null,"scenario_id":"internal.stack-scout-patrol-rota-8p-4g-7s.v1","score":{"attribute_penalty":0.0,"baseline_score":28.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":2000.0,"other_preference_penalty_units":2,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":2000.0,"unique_contacts":28,"weighted_unique_contacts_reward":28.0},"seed":303,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.80213772400748},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":28,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":7.0,"minimum_unique_contacts_per_participant":7,"pair_frequency_histogram":{"1":28},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":28},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:station-rotation-v2","peak_rss_bytes":300511232,"problem_hash":"sha256:c877da0c8c152c931d57be0f3e7157d9d3ad44513dccb6c3abff315aa78f5202","proof_claim":null,"scenario_id":"internal.stack-scout-patrol-rota-8p-4g-7s.v1","score":{"attribute_penalty":0.0,"baseline_score":28.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":2000.0,"other_preference_penalty_units":2,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":2000.0,"unique_contacts":28,"weighted_unique_contacts_reward":28.0},"seed":404,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.78530668001622},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":28,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":7.0,"minimum_unique_contacts_per_participant":7,"pair_frequency_histogram":{"1":28},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":28},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:station-rotation-v2","peak_rss_bytes":302968832,"problem_hash":"sha256:c877da0c8c152c931d57be0f3e7157d9d3ad44513dccb6c3abff315aa78f5202","proof_claim":null,"scenario_id":"internal.stack-scout-patrol-rota-8p-4g-7s.v1","score":{"attribute_penalty":0.0,"baseline_score":28.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":2000.0,"other_preference_penalty_units":2,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":2000.0,"unique_contacts":28,"weighted_unique_contacts_reward":28.0},"seed":505,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.80367352202302},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":108,"linear_repeat_penalty":8,"maximum_pair_count":2,"maximum_unique_contacts_per_participant":12,"mean_unique_contacts_per_participant":11.11111111111111,"minimum_unique_contacts_per_participant":10,"pair_frequency_histogram":{"1":92,"2":8},"pairs_repeated":8,"squared_repeat_concentration":8,"total_repeat_excess":8,"unique_contacts":100},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":13598720,"problem_hash":"sha256:52f92bd7df24c5f62e9f80b3bbdd20cf33e6e6a6e021e6eb33a878ba07a80ac4","proof_claim":null,"scenario_id":"internal.station-rotation-18p-6g-6s.v1","score":{"attribute_penalty":0.0,"baseline_score":0.0,"maximize_unique_contacts_weight":0.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":80.0,"repeat_penalty_units":8,"total_cost":80.0,"unique_contacts":100,"weighted_unique_contacts_reward":0.0},"seed":101,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.058685509},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":108,"linear_repeat_penalty":9,"maximum_pair_count":2,"maximum_unique_contacts_per_participant":12,"mean_unique_contacts_per_participant":11.0,"minimum_unique_contacts_per_participant":10,"pair_frequency_histogram":{"1":90,"2":9},"pairs_repeated":9,"squared_repeat_concentration":9,"total_repeat_excess":9,"unique_contacts":99},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":13598720,"problem_hash":"sha256:52f92bd7df24c5f62e9f80b3bbdd20cf33e6e6a6e021e6eb33a878ba07a80ac4","proof_claim":null,"scenario_id":"internal.station-rotation-18p-6g-6s.v1","score":{"attribute_penalty":0.0,"baseline_score":0.0,"maximize_unique_contacts_weight":0.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":90.0,"repeat_penalty_units":9,"total_cost":90.0,"unique_contacts":99,"weighted_unique_contacts_reward":0.0},"seed":202,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.157074139},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":108,"linear_repeat_penalty":3,"maximum_pair_count":2,"maximum_unique_contacts_per_participant":12,"mean_unique_contacts_per_participant":11.666666666666666,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":102,"2":3},"pairs_repeated":3,"squared_repeat_concentration":3,"total_repeat_excess":3,"unique_contacts":105},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":13926400,"problem_hash":"sha256:52f92bd7df24c5f62e9f80b3bbdd20cf33e6e6a6e021e6eb33a878ba07a80ac4","proof_claim":null,"scenario_id":"internal.station-rotation-18p-6g-6s.v1","score":{"attribute_penalty":0.0,"baseline_score":0.0,"maximize_unique_contacts_weight":0.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":30.0,"repeat_penalty_units":3,"total_cost":30.0,"unique_contacts":105,"weighted_unique_contacts_reward":0.0},"seed":303,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.253604077},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":108,"linear_repeat_penalty":11,"maximum_pair_count":2,"maximum_unique_contacts_per_participant":12,"mean_unique_contacts_per_participant":10.77777777777778,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":86,"2":11},"pairs_repeated":11,"squared_repeat_concentration":11,"total_repeat_excess":11,"unique_contacts":97},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":13271040,"problem_hash":"sha256:52f92bd7df24c5f62e9f80b3bbdd20cf33e6e6a6e021e6eb33a878ba07a80ac4","proof_claim":null,"scenario_id":"internal.station-rotation-18p-6g-6s.v1","score":{"attribute_penalty":0.0,"baseline_score":0.0,"maximize_unique_contacts_weight":0.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":110.0,"repeat_penalty_units":11,"total_cost":110.0,"unique_contacts":97,"weighted_unique_contacts_reward":0.0},"seed":404,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.034033362},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":108,"linear_repeat_penalty":7,"maximum_pair_count":2,"maximum_unique_contacts_per_participant":12,"mean_unique_contacts_per_participant":11.22222222222222,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":94,"2":7},"pairs_repeated":7,"squared_repeat_concentration":7,"total_repeat_excess":7,"unique_contacts":101},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":13271040,"problem_hash":"sha256:52f92bd7df24c5f62e9f80b3bbdd20cf33e6e6a6e021e6eb33a878ba07a80ac4","proof_claim":null,"scenario_id":"internal.station-rotation-18p-6g-6s.v1","score":{"attribute_penalty":0.0,"baseline_score":0.0,"maximize_unique_contacts_weight":0.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":70.0,"repeat_penalty_units":7,"total_cost":70.0,"unique_contacts":101,"weighted_unique_contacts_reward":0.0},"seed":505,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.083022082},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":108,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":12,"mean_unique_contacts_per_participant":12.0,"minimum_unique_contacts_per_participant":12,"pair_frequency_histogram":{"1":108},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":108},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:station-rotation-zero-target-v3","peak_rss_bytes":2487676928,"problem_hash":"sha256:52f92bd7df24c5f62e9f80b3bbdd20cf33e6e6a6e021e6eb33a878ba07a80ac4","proof_claim":"optimality","scenario_id":"internal.station-rotation-18p-6g-6s.v1","score":{"attribute_penalty":0.0,"baseline_score":0.0,"maximize_unique_contacts_weight":0.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":108,"weighted_unique_contacts_reward":0.0},"seed":101,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":9.887928603973704},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":108,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":12,"mean_unique_contacts_per_participant":12.0,"minimum_unique_contacts_per_participant":12,"pair_frequency_histogram":{"1":108},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":108},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:station-rotation-zero-target-v3","peak_rss_bytes":191799296,"problem_hash":"sha256:52f92bd7df24c5f62e9f80b3bbdd20cf33e6e6a6e021e6eb33a878ba07a80ac4","proof_claim":"optimality","scenario_id":"internal.station-rotation-18p-6g-6s.v1","score":{"attribute_penalty":0.0,"baseline_score":0.0,"maximize_unique_contacts_weight":0.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":108,"weighted_unique_contacts_reward":0.0},"seed":202,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":4.518244776001666},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":108,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":12,"mean_unique_contacts_per_participant":12.0,"minimum_unique_contacts_per_participant":12,"pair_frequency_histogram":{"1":108},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":108},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:station-rotation-zero-target-v3","peak_rss_bytes":190722048,"problem_hash":"sha256:52f92bd7df24c5f62e9f80b3bbdd20cf33e6e6a6e021e6eb33a878ba07a80ac4","proof_claim":"optimality","scenario_id":"internal.station-rotation-18p-6g-6s.v1","score":{"attribute_penalty":0.0,"baseline_score":0.0,"maximize_unique_contacts_weight":0.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":108,"weighted_unique_contacts_reward":0.0},"seed":303,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":4.404981642961502},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":108,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":12,"mean_unique_contacts_per_participant":12.0,"minimum_unique_contacts_per_participant":12,"pair_frequency_histogram":{"1":108},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":108},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:station-rotation-zero-target-v3","peak_rss_bytes":191414272,"problem_hash":"sha256:52f92bd7df24c5f62e9f80b3bbdd20cf33e6e6a6e021e6eb33a878ba07a80ac4","proof_claim":"optimality","scenario_id":"internal.station-rotation-18p-6g-6s.v1","score":{"attribute_penalty":0.0,"baseline_score":0.0,"maximize_unique_contacts_weight":0.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":108,"weighted_unique_contacts_reward":0.0},"seed":404,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":6.18463673099177},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":108,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":12,"mean_unique_contacts_per_participant":12.0,"minimum_unique_contacts_per_participant":12,"pair_frequency_histogram":{"1":108},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":108},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:station-rotation-zero-target-v3","peak_rss_bytes":190816256,"problem_hash":"sha256:52f92bd7df24c5f62e9f80b3bbdd20cf33e6e6a6e021e6eb33a878ba07a80ac4","proof_claim":"optimality","scenario_id":"internal.station-rotation-18p-6g-6s.v1","score":{"attribute_penalty":0.0,"baseline_score":0.0,"maximize_unique_contacts_weight":0.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":108,"weighted_unique_contacts_reward":0.0},"seed":505,"status":"optimal_zero","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":4.724383538996335},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":1486,"linear_repeat_penalty":373,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":48,"mean_unique_contacts_per_participant":39.05263157894737,"minimum_unique_contacts_per_participant":35,"pair_frequency_histogram":{"1":798,"2":270,"3":37,"4":3,"5":5},"pairs_repeated":315,"squared_repeat_concentration":525,"total_repeat_excess":373,"unique_contacts":1113},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":19496960,"problem_hash":"sha256:8b091cd34b39069824fe28818cbd8b4957082cd9c0e05b54265e5f10834777cd","proof_claim":null,"scenario_id":"internal.sailing-trip-57p-5g-5s.v1","score":{"attribute_penalty":30.0,"baseline_score":944.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":940.0,"other_preference_penalty_units":94,"repeat_penalty":525.0,"repeat_penalty_units":525,"total_cost":1326.0,"unique_contacts":1113,"weighted_unique_contacts_reward":1113.0},"seed":101,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.201943271},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":1486,"linear_repeat_penalty":383,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":50,"mean_unique_contacts_per_participant":38.70175438596491,"minimum_unique_contacts_per_participant":34,"pair_frequency_histogram":{"1":770,"2":294,"3":33,"4":1,"5":5},"pairs_repeated":333,"squared_repeat_concentration":515,"total_repeat_excess":383,"unique_contacts":1103},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":19660800,"problem_hash":"sha256:8b091cd34b39069824fe28818cbd8b4957082cd9c0e05b54265e5f10834777cd","proof_claim":null,"scenario_id":"internal.sailing-trip-57p-5g-5s.v1","score":{"attribute_penalty":40.0,"baseline_score":944.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":920.0,"other_preference_penalty_units":92,"repeat_penalty":515.0,"repeat_penalty_units":515,"total_cost":1316.0,"unique_contacts":1103,"weighted_unique_contacts_reward":1103.0},"seed":202,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.234594352},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":1486,"linear_repeat_penalty":370,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":47,"mean_unique_contacts_per_participant":39.1578947368421,"minimum_unique_contacts_per_participant":34,"pair_frequency_histogram":{"1":802,"2":273,"3":32,"4":3,"5":6},"pairs_repeated":314,"squared_repeat_concentration":524,"total_repeat_excess":370,"unique_contacts":1116},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":19169280,"problem_hash":"sha256:8b091cd34b39069824fe28818cbd8b4957082cd9c0e05b54265e5f10834777cd","proof_claim":null,"scenario_id":"internal.sailing-trip-57p-5g-5s.v1","score":{"attribute_penalty":40.0,"baseline_score":944.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":940.0,"other_preference_penalty_units":94,"repeat_penalty":524.0,"repeat_penalty_units":524,"total_cost":1332.0,"unique_contacts":1116,"weighted_unique_contacts_reward":1116.0},"seed":303,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.573443439},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":1486,"linear_repeat_penalty":372,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":49,"mean_unique_contacts_per_participant":39.08771929824562,"minimum_unique_contacts_per_participant":35,"pair_frequency_histogram":{"1":792,"2":283,"3":33,"4":1,"5":5},"pairs_repeated":322,"squared_repeat_concentration":504,"total_repeat_excess":372,"unique_contacts":1114},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":19345408,"problem_hash":"sha256:8b091cd34b39069824fe28818cbd8b4957082cd9c0e05b54265e5f10834777cd","proof_claim":null,"scenario_id":"internal.sailing-trip-57p-5g-5s.v1","score":{"attribute_penalty":30.0,"baseline_score":944.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":950.0,"other_preference_penalty_units":95,"repeat_penalty":504.0,"repeat_penalty_units":504,"total_cost":1314.0,"unique_contacts":1114,"weighted_unique_contacts_reward":1114.0},"seed":404,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.273262021},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":1486,"linear_repeat_penalty":360,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":49,"mean_unique_contacts_per_participant":39.50877192982456,"minimum_unique_contacts_per_participant":35,"pair_frequency_histogram":{"1":824,"2":261,"3":30,"4":5,"5":6},"pairs_repeated":302,"squared_repeat_concentration":522,"total_repeat_excess":360,"unique_contacts":1126},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":19607552,"problem_hash":"sha256:8b091cd34b39069824fe28818cbd8b4957082cd9c0e05b54265e5f10834777cd","proof_claim":null,"scenario_id":"internal.sailing-trip-57p-5g-5s.v1","score":{"attribute_penalty":30.0,"baseline_score":944.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":940.0,"other_preference_penalty_units":94,"repeat_penalty":522.0,"repeat_penalty_units":522,"total_cost":1310.0,"unique_contacts":1126,"weighted_unique_contacts_reward":1126.0},"seed":505,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":59.254398993},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":1486,"linear_repeat_penalty":464,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":41,"mean_unique_contacts_per_participant":35.85964912280702,"minimum_unique_contacts_per_participant":31,"pair_frequency_histogram":{"1":656,"2":283,"3":73,"4":5,"5":5},"pairs_repeated":366,"squared_repeat_concentration":700,"total_repeat_excess":464,"unique_contacts":1022},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:generic-staged-v4","peak_rss_bytes":1186975744,"problem_hash":"sha256:8b091cd34b39069824fe28818cbd8b4957082cd9c0e05b54265e5f10834777cd","proof_claim":null,"scenario_id":"internal.sailing-trip-57p-5g-5s.v1","score":{"attribute_penalty":560.0,"baseline_score":944.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":2060.0,"other_preference_penalty_units":182,"repeat_penalty":700.0,"repeat_penalty_units":700,"total_cost":3242.0,"unique_contacts":1022,"weighted_unique_contacts_reward":1022.0},"seed":101,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":58.790700324985664},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":1489,"linear_repeat_penalty":479,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":41,"mean_unique_contacts_per_participant":35.43859649122807,"minimum_unique_contacts_per_participant":29,"pair_frequency_histogram":{"1":652,"2":264,"3":73,"4":15,"5":6},"pairs_repeated":358,"squared_repeat_concentration":787,"total_repeat_excess":479,"unique_contacts":1010},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:generic-staged-v4","peak_rss_bytes":1192726528,"problem_hash":"sha256:8b091cd34b39069824fe28818cbd8b4957082cd9c0e05b54265e5f10834777cd","proof_claim":null,"scenario_id":"internal.sailing-trip-57p-5g-5s.v1","score":{"attribute_penalty":300.0,"baseline_score":944.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":2010.0,"other_preference_penalty_units":164,"repeat_penalty":787.0,"repeat_penalty_units":787,"total_cost":3031.0,"unique_contacts":1010,"weighted_unique_contacts_reward":1010.0},"seed":202,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":58.6706701220246},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":1487,"linear_repeat_penalty":413,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":42,"mean_unique_contacts_per_participant":37.68421052631579,"minimum_unique_contacts_per_participant":34,"pair_frequency_histogram":{"1":701,"2":343,"3":25,"5":5},"pairs_repeated":373,"squared_repeat_concentration":523,"total_repeat_excess":413,"unique_contacts":1074},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:generic-staged-v4","peak_rss_bytes":1184800768,"problem_hash":"sha256:8b091cd34b39069824fe28818cbd8b4957082cd9c0e05b54265e5f10834777cd","proof_claim":null,"scenario_id":"internal.sailing-trip-57p-5g-5s.v1","score":{"attribute_penalty":2430.0,"baseline_score":944.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":2200.0,"other_preference_penalty_units":162,"repeat_penalty":523.0,"repeat_penalty_units":523,"total_cost":5023.0,"unique_contacts":1074,"weighted_unique_contacts_reward":1074.0},"seed":303,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":58.408078345994},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":1487,"linear_repeat_penalty":462,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":40,"mean_unique_contacts_per_participant":35.96491228070175,"minimum_unique_contacts_per_participant":30,"pair_frequency_histogram":{"1":659,"2":288,"3":65,"4":8,"5":5},"pairs_repeated":366,"squared_repeat_concentration":700,"total_repeat_excess":462,"unique_contacts":1025},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:generic-staged-v4","peak_rss_bytes":1209688064,"problem_hash":"sha256:8b091cd34b39069824fe28818cbd8b4957082cd9c0e05b54265e5f10834777cd","proof_claim":null,"scenario_id":"internal.sailing-trip-57p-5g-5s.v1","score":{"attribute_penalty":580.0,"baseline_score":944.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":2070.0,"other_preference_penalty_units":191,"repeat_penalty":700.0,"repeat_penalty_units":700,"total_cost":3269.0,"unique_contacts":1025,"weighted_unique_contacts_reward":1025.0},"seed":404,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":58.53774973197142},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":1487,"linear_repeat_penalty":467,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":41,"mean_unique_contacts_per_participant":35.78947368421053,"minimum_unique_contacts_per_participant":30,"pair_frequency_histogram":{"1":647,"2":296,"3":66,"4":5,"5":6},"pairs_repeated":373,"squared_repeat_concentration":701,"total_repeat_excess":467,"unique_contacts":1020},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:generic-staged-v4","peak_rss_bytes":1169506304,"problem_hash":"sha256:8b091cd34b39069824fe28818cbd8b4957082cd9c0e05b54265e5f10834777cd","proof_claim":null,"scenario_id":"internal.sailing-trip-57p-5g-5s.v1","score":{"attribute_penalty":40.0,"baseline_score":944.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":1940.0,"other_preference_penalty_units":183,"repeat_penalty":701.0,"repeat_penalty_units":701,"total_cost":2605.0,"unique_contacts":1020,"weighted_unique_contacts_reward":1020.0},"seed":505,"status":"feasible_timeout","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":58.58830519899493},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":2188,"linear_repeat_penalty":169,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":45,"mean_unique_contacts_per_participant":26.56578947368421,"minimum_unique_contacts_per_participant":18,"pair_frequency_histogram":{"1":1896,"2":88,"3":24,"4":11},"pairs_repeated":123,"squared_repeat_concentration":283,"total_repeat_excess":169,"unique_contacts":2019},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":29425664,"problem_hash":"sha256:ea0b135ec480fdc43ca7a335343b0aa93854dc1c4fe9d92391b42a127bb6431d","proof_claim":null,"scenario_id":"internal.partial-attendance-keep-apart-capacity-pressure-152p.v1","score":{"attribute_penalty":0.0,"baseline_score":-246.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":1278.0,"other_preference_penalty_units":39,"repeat_penalty":3396.0,"repeat_penalty_units":283,"total_cost":2409.0,"unique_contacts":2019,"weighted_unique_contacts_reward":2019.0},"seed":101,"status":"feasible_timeout","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":299.76443967},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":2188,"linear_repeat_penalty":169,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":46,"mean_unique_contacts_per_participant":26.56578947368421,"minimum_unique_contacts_per_participant":18,"pair_frequency_histogram":{"1":1896,"2":88,"3":24,"4":11},"pairs_repeated":123,"squared_repeat_concentration":283,"total_repeat_excess":169,"unique_contacts":2019},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":29679616,"problem_hash":"sha256:ea0b135ec480fdc43ca7a335343b0aa93854dc1c4fe9d92391b42a127bb6431d","proof_claim":null,"scenario_id":"internal.partial-attendance-keep-apart-capacity-pressure-152p.v1","score":{"attribute_penalty":0.0,"baseline_score":-246.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":1278.0,"other_preference_penalty_units":39,"repeat_penalty":3396.0,"repeat_penalty_units":283,"total_cost":2409.0,"unique_contacts":2019,"weighted_unique_contacts_reward":2019.0},"seed":202,"status":"feasible_timeout","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":299.801918507},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":2188,"linear_repeat_penalty":169,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":45,"mean_unique_contacts_per_participant":26.56578947368421,"minimum_unique_contacts_per_participant":18,"pair_frequency_histogram":{"1":1896,"2":88,"3":24,"4":11},"pairs_repeated":123,"squared_repeat_concentration":283,"total_repeat_excess":169,"unique_contacts":2019},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":30740480,"problem_hash":"sha256:ea0b135ec480fdc43ca7a335343b0aa93854dc1c4fe9d92391b42a127bb6431d","proof_claim":null,"scenario_id":"internal.partial-attendance-keep-apart-capacity-pressure-152p.v1","score":{"attribute_penalty":0.0,"baseline_score":-246.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":1306.0,"other_preference_penalty_units":40,"repeat_penalty":3396.0,"repeat_penalty_units":283,"total_cost":2437.0,"unique_contacts":2019,"weighted_unique_contacts_reward":2019.0},"seed":303,"status":"feasible_timeout","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":300.060559552},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":2188,"linear_repeat_penalty":169,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":46,"mean_unique_contacts_per_participant":26.56578947368421,"minimum_unique_contacts_per_participant":18,"pair_frequency_histogram":{"1":1897,"2":86,"3":25,"4":11},"pairs_repeated":122,"squared_repeat_concentration":285,"total_repeat_excess":169,"unique_contacts":2019},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":29536256,"problem_hash":"sha256:ea0b135ec480fdc43ca7a335343b0aa93854dc1c4fe9d92391b42a127bb6431d","proof_claim":null,"scenario_id":"internal.partial-attendance-keep-apart-capacity-pressure-152p.v1","score":{"attribute_penalty":0.0,"baseline_score":-246.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":1302.0,"other_preference_penalty_units":40,"repeat_penalty":3420.0,"repeat_penalty_units":285,"total_cost":2457.0,"unique_contacts":2019,"weighted_unique_contacts_reward":2019.0},"seed":404,"status":"feasible_timeout","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":299.724567139},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":2188,"linear_repeat_penalty":170,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":45,"mean_unique_contacts_per_participant":26.55263157894737,"minimum_unique_contacts_per_participant":18,"pair_frequency_histogram":{"1":1894,"2":89,"3":24,"4":11},"pairs_repeated":124,"squared_repeat_concentration":284,"total_repeat_excess":170,"unique_contacts":2018},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":29552640,"problem_hash":"sha256:ea0b135ec480fdc43ca7a335343b0aa93854dc1c4fe9d92391b42a127bb6431d","proof_claim":null,"scenario_id":"internal.partial-attendance-keep-apart-capacity-pressure-152p.v1","score":{"attribute_penalty":0.0,"baseline_score":-246.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":1278.0,"other_preference_penalty_units":39,"repeat_penalty":3408.0,"repeat_penalty_units":284,"total_cost":2422.0,"unique_contacts":2018,"weighted_unique_contacts_reward":2018.0},"seed":505,"status":"feasible_timeout","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":299.74755551},{"attempt_id":"seed-101","common_metrics":null,"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:generic-staged-heavy-v4","peak_rss_bytes":4436729856,"problem_hash":"sha256:ea0b135ec480fdc43ca7a335343b0aa93854dc1c4fe9d92391b42a127bb6431d","proof_claim":null,"scenario_id":"internal.partial-attendance-keep-apart-capacity-pressure-152p.v1","score":null,"seed":101,"status":"no_solution_timeout","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":300.021241588},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":2188,"linear_repeat_penalty":138,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":47,"mean_unique_contacts_per_participant":26.973684210526315,"minimum_unique_contacts_per_participant":18,"pair_frequency_histogram":{"1":1960,"2":53,"3":26,"4":11},"pairs_repeated":90,"squared_repeat_concentration":256,"total_repeat_excess":138,"unique_contacts":2050},"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:generic-staged-heavy-v4","peak_rss_bytes":4441387008,"problem_hash":"sha256:ea0b135ec480fdc43ca7a335343b0aa93854dc1c4fe9d92391b42a127bb6431d","proof_claim":null,"scenario_id":"internal.partial-attendance-keep-apart-capacity-pressure-152p.v1","score":{"attribute_penalty":2584.0,"baseline_score":-246.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":4677.0,"other_preference_penalty_units":121,"repeat_penalty":3072.0,"repeat_penalty_units":256,"total_cost":8037.0,"unique_contacts":2050,"weighted_unique_contacts_reward":2050.0},"seed":202,"status":"feasible_timeout","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":299.4418967909878},{"attempt_id":"seed-303","common_metrics":null,"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:generic-staged-heavy-v4","peak_rss_bytes":4317478912,"problem_hash":"sha256:ea0b135ec480fdc43ca7a335343b0aa93854dc1c4fe9d92391b42a127bb6431d","proof_claim":null,"scenario_id":"internal.partial-attendance-keep-apart-capacity-pressure-152p.v1","score":null,"seed":303,"status":"no_solution_timeout","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":300.06267477},{"attempt_id":"seed-404","common_metrics":null,"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:generic-staged-heavy-v4","peak_rss_bytes":4177031168,"problem_hash":"sha256:ea0b135ec480fdc43ca7a335343b0aa93854dc1c4fe9d92391b42a127bb6431d","proof_claim":null,"scenario_id":"internal.partial-attendance-keep-apart-capacity-pressure-152p.v1","score":null,"seed":404,"status":"no_solution_timeout","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":300.017521819},{"attempt_id":"seed-505","common_metrics":null,"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:generic-staged-heavy-v4","peak_rss_bytes":4442480640,"problem_hash":"sha256:ea0b135ec480fdc43ca7a335343b0aa93854dc1c4fe9d92391b42a127bb6431d","proof_claim":null,"scenario_id":"internal.partial-attendance-keep-apart-capacity-pressure-152p.v1","score":null,"seed":505,"status":"no_solution_timeout","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":300.008228881},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":17836,"linear_repeat_penalty":2442,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":171,"mean_unique_contacts_per_participant":157.08163265306123,"minimum_unique_contacts_per_participant":143,"pair_frequency_histogram":{"1":13175,"2":2015,"3":187,"4":15,"5":2},"pairs_repeated":2219,"squared_repeat_concentration":2930,"total_repeat_excess":2442,"unique_contacts":15394},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":52834304,"problem_hash":"sha256:ee8bf6ced63c1330ed42b27c975edce57f42cb7618ee44137868aa9fb4a2e16b","proof_claim":null,"scenario_id":"internal.social-golfer-196x14x14.v1","score":{"attribute_penalty":0.0,"baseline_score":17836.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":2442.0,"unique_contacts":15394,"weighted_unique_contacts_reward":15394.0},"seed":101,"status":"feasible_timeout","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":299.731120051},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":17836,"linear_repeat_penalty":2425,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":172,"mean_unique_contacts_per_participant":157.25510204081633,"minimum_unique_contacts_per_participant":145,"pair_frequency_histogram":{"1":13221,"2":1980,"3":186,"4":23,"5":1},"pairs_repeated":2190,"squared_repeat_concentration":2947,"total_repeat_excess":2425,"unique_contacts":15411},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":53153792,"problem_hash":"sha256:ee8bf6ced63c1330ed42b27c975edce57f42cb7618ee44137868aa9fb4a2e16b","proof_claim":null,"scenario_id":"internal.social-golfer-196x14x14.v1","score":{"attribute_penalty":0.0,"baseline_score":17836.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":2425.0,"unique_contacts":15411,"weighted_unique_contacts_reward":15411.0},"seed":202,"status":"feasible_timeout","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":299.359669372},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":17836,"linear_repeat_penalty":2450,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":170,"mean_unique_contacts_per_participant":157.0,"minimum_unique_contacts_per_participant":142,"pair_frequency_histogram":{"1":13135,"2":2070,"3":166,"4":12,"5":3},"pairs_repeated":2251,"squared_repeat_concentration":2890,"total_repeat_excess":2450,"unique_contacts":15386},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":52842496,"problem_hash":"sha256:ee8bf6ced63c1330ed42b27c975edce57f42cb7618ee44137868aa9fb4a2e16b","proof_claim":null,"scenario_id":"internal.social-golfer-196x14x14.v1","score":{"attribute_penalty":0.0,"baseline_score":17836.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":2450.0,"unique_contacts":15386,"weighted_unique_contacts_reward":15386.0},"seed":303,"status":"feasible_timeout","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":299.213030888},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":17836,"linear_repeat_penalty":2456,"maximum_pair_count":6,"maximum_unique_contacts_per_participant":169,"mean_unique_contacts_per_participant":156.9387755102041,"minimum_unique_contacts_per_participant":143,"pair_frequency_histogram":{"1":13165,"2":2006,"3":180,"4":27,"5":1,"6":1},"pairs_repeated":2215,"squared_repeat_concentration":3010,"total_repeat_excess":2456,"unique_contacts":15380},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":53182464,"problem_hash":"sha256:ee8bf6ced63c1330ed42b27c975edce57f42cb7618ee44137868aa9fb4a2e16b","proof_claim":null,"scenario_id":"internal.social-golfer-196x14x14.v1","score":{"attribute_penalty":0.0,"baseline_score":17836.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":2456.0,"unique_contacts":15380,"weighted_unique_contacts_reward":15380.0},"seed":404,"status":"feasible_timeout","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":299.439824212},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":17836,"linear_repeat_penalty":2447,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":169,"mean_unique_contacts_per_participant":157.03061224489795,"minimum_unique_contacts_per_participant":144,"pair_frequency_histogram":{"1":13170,"2":2008,"3":195,"4":15,"5":1},"pairs_repeated":2219,"squared_repeat_concentration":2939,"total_repeat_excess":2447,"unique_contacts":15389},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":52822016,"problem_hash":"sha256:ee8bf6ced63c1330ed42b27c975edce57f42cb7618ee44137868aa9fb4a2e16b","proof_claim":null,"scenario_id":"internal.social-golfer-196x14x14.v1","score":{"attribute_penalty":0.0,"baseline_score":17836.0,"maximize_unique_contacts_weight":1.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":2447.0,"unique_contacts":15389,"weighted_unique_contacts_reward":15389.0},"seed":505,"status":"feasible_timeout","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":299.713356045},{"attempt_id":"seed-101","common_metrics":null,"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-no-hint-v3","peak_rss_bytes":6442958848,"problem_hash":"sha256:ee8bf6ced63c1330ed42b27c975edce57f42cb7618ee44137868aa9fb4a2e16b","proof_claim":null,"scenario_id":"internal.social-golfer-196x14x14.v1","score":null,"seed":101,"status":"error","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":305.017949614},{"attempt_id":"seed-202","common_metrics":null,"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-no-hint-v3","peak_rss_bytes":6494007296,"problem_hash":"sha256:ee8bf6ced63c1330ed42b27c975edce57f42cb7618ee44137868aa9fb4a2e16b","proof_claim":null,"scenario_id":"internal.social-golfer-196x14x14.v1","score":null,"seed":202,"status":"error","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":305.056424},{"attempt_id":"seed-303","common_metrics":null,"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-no-hint-v3","peak_rss_bytes":6547664896,"problem_hash":"sha256:ee8bf6ced63c1330ed42b27c975edce57f42cb7618ee44137868aa9fb4a2e16b","proof_claim":null,"scenario_id":"internal.social-golfer-196x14x14.v1","score":null,"seed":303,"status":"error","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":305.067236416},{"attempt_id":"seed-404","common_metrics":null,"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-no-hint-v3","peak_rss_bytes":6440546304,"problem_hash":"sha256:ee8bf6ced63c1330ed42b27c975edce57f42cb7618ee44137868aa9fb4a2e16b","proof_claim":null,"scenario_id":"internal.social-golfer-196x14x14.v1","score":null,"seed":404,"status":"error","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":305.016287506},{"attempt_id":"seed-505","common_metrics":null,"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:pure-sgp-no-hint-v3","peak_rss_bytes":6366375936,"problem_hash":"sha256:ee8bf6ced63c1330ed42b27c975edce57f42cb7618ee44137868aa9fb4a2e16b","proof_claim":null,"scenario_id":"internal.social-golfer-196x14x14.v1","score":null,"seed":505,"status":"error","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":244.587903428},{"attempt_id":"seed-101","common_metrics":{"contact_incidences":39060,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":279,"mean_unique_contacts_per_participant":279.0,"minimum_unique_contacts_per_participant":279,"pair_frequency_histogram":{"1":39060},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":39060},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":267603968,"problem_hash":"sha256:af59e8e0872e1ef2dbd347c8397191e0da6898689fd69a6ede36e13960770fde","proof_claim":null,"scenario_id":"internal.minimum-occupancy-rotation-280p-36g-41s.v1","score":{"attribute_penalty":0.0,"baseline_score":390600.0,"maximize_unique_contacts_weight":10.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":39060,"weighted_unique_contacts_reward":390600.0},"seed":101,"status":"optimal_zero","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":2.453729453},{"attempt_id":"seed-202","common_metrics":{"contact_incidences":39060,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":279,"mean_unique_contacts_per_participant":279.0,"minimum_unique_contacts_per_participant":279,"pair_frequency_histogram":{"1":39060},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":39060},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":270204928,"problem_hash":"sha256:af59e8e0872e1ef2dbd347c8397191e0da6898689fd69a6ede36e13960770fde","proof_claim":null,"scenario_id":"internal.minimum-occupancy-rotation-280p-36g-41s.v1","score":{"attribute_penalty":0.0,"baseline_score":390600.0,"maximize_unique_contacts_weight":10.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":39060,"weighted_unique_contacts_reward":390600.0},"seed":202,"status":"optimal_zero","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":2.686999534},{"attempt_id":"seed-303","common_metrics":{"contact_incidences":39060,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":279,"mean_unique_contacts_per_participant":279.0,"minimum_unique_contacts_per_participant":279,"pair_frequency_histogram":{"1":39060},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":39060},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":270598144,"problem_hash":"sha256:af59e8e0872e1ef2dbd347c8397191e0da6898689fd69a6ede36e13960770fde","proof_claim":null,"scenario_id":"internal.minimum-occupancy-rotation-280p-36g-41s.v1","score":{"attribute_penalty":0.0,"baseline_score":390600.0,"maximize_unique_contacts_weight":10.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":39060,"weighted_unique_contacts_reward":390600.0},"seed":303,"status":"optimal_zero","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":2.6067838610000003},{"attempt_id":"seed-404","common_metrics":{"contact_incidences":39060,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":279,"mean_unique_contacts_per_participant":279.0,"minimum_unique_contacts_per_participant":279,"pair_frequency_histogram":{"1":39060},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":39060},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":269742080,"problem_hash":"sha256:af59e8e0872e1ef2dbd347c8397191e0da6898689fd69a6ede36e13960770fde","proof_claim":null,"scenario_id":"internal.minimum-occupancy-rotation-280p-36g-41s.v1","score":{"attribute_penalty":0.0,"baseline_score":390600.0,"maximize_unique_contacts_weight":10.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":39060,"weighted_unique_contacts_reward":390600.0},"seed":404,"status":"optimal_zero","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":2.626108935},{"attempt_id":"seed-505","common_metrics":{"contact_incidences":39060,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":279,"mean_unique_contacts_per_participant":279.0,"minimum_unique_contacts_per_participant":279,"pair_frequency_histogram":{"1":39060},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":39060},"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":271081472,"problem_hash":"sha256:af59e8e0872e1ef2dbd347c8397191e0da6898689fd69a6ede36e13960770fde","proof_claim":null,"scenario_id":"internal.minimum-occupancy-rotation-280p-36g-41s.v1","score":{"attribute_penalty":0.0,"baseline_score":390600.0,"maximize_unique_contacts_weight":10.0,"other_preference_penalty":0.0,"other_preference_penalty_units":0,"repeat_penalty":0.0,"repeat_penalty_units":0,"total_cost":0.0,"unique_contacts":39060,"weighted_unique_contacts_reward":390600.0},"seed":505,"status":"optimal_zero","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":2.19131472},{"attempt_id":"seed-101","common_metrics":null,"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:generic-v2","peak_rss_bytes":7406338048,"problem_hash":"sha256:af59e8e0872e1ef2dbd347c8397191e0da6898689fd69a6ede36e13960770fde","proof_claim":null,"scenario_id":"internal.minimum-occupancy-rotation-280p-36g-41s.v1","score":null,"seed":101,"status":"error","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":169.045968616},{"attempt_id":"seed-202","common_metrics":null,"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:generic-v2","peak_rss_bytes":7393734656,"problem_hash":"sha256:af59e8e0872e1ef2dbd347c8397191e0da6898689fd69a6ede36e13960770fde","proof_claim":null,"scenario_id":"internal.minimum-occupancy-rotation-280p-36g-41s.v1","score":null,"seed":202,"status":"error","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":129.232198187},{"attempt_id":"seed-303","common_metrics":null,"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:generic-v2","peak_rss_bytes":7391244288,"problem_hash":"sha256:af59e8e0872e1ef2dbd347c8397191e0da6898689fd69a6ede36e13960770fde","proof_claim":null,"scenario_id":"internal.minimum-occupancy-rotation-280p-36g-41s.v1","score":null,"seed":303,"status":"error","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":126.187408077},{"attempt_id":"seed-404","common_metrics":null,"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:generic-v2","peak_rss_bytes":7397068800,"problem_hash":"sha256:af59e8e0872e1ef2dbd347c8397191e0da6898689fd69a6ede36e13960770fde","proof_claim":null,"scenario_id":"internal.minimum-occupancy-rotation-280p-36g-41s.v1","score":null,"seed":404,"status":"error","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":117.652816601},{"attempt_id":"seed-505","common_metrics":null,"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:generic-v2","peak_rss_bytes":7408230400,"problem_hash":"sha256:af59e8e0872e1ef2dbd347c8397191e0da6898689fd69a6ede36e13960770fde","proof_claim":null,"scenario_id":"internal.minimum-occupancy-rotation-280p-36g-41s.v1","score":null,"seed":505,"status":"error","timeout_seconds":300,"timing_class":"same_machine_native","wall_seconds":97.910356542},{"attempt_id":"deterministic","common_metrics":null,"comparator_id":"groupmixer","configuration_id":"auto-extreme-8-defaults","peak_rss_bytes":10158080,"problem_hash":"sha256:c7a343baa770a26e36a822bf739e1e2ade26916bc8b2f0a6e73c47138328ad91","proof_claim":"hard_infeasibility","scenario_id":"public.hard-infeasible-apart-triangle-3p-2g-1s.v1","score":null,"seed":null,"status":"infeasible_proven","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.002872817},{"attempt_id":"deterministic","common_metrics":null,"comparator_id":"ortools_cpsat","configuration_id":"ortools-cpsat-case-formulations-v1:generic-v2","peak_rss_bytes":190160896,"problem_hash":"sha256:c7a343baa770a26e36a822bf739e1e2ade26916bc8b2f0a6e73c47138328ad91","proof_claim":"hard_infeasibility","scenario_id":"public.hard-infeasible-apart-triangle-3p-2g-1s.v1","score":null,"seed":null,"status":"infeasible_proven","timeout_seconds":60,"timing_class":"same_machine_native","wall_seconds":0.0110234510502778}],"schema_version":1,"summaries":[{"attempt_count":5,"best_valid_canonical_cost":4.0,"comparator_id":"groupmixer","median_valid_canonical_cost":4.0,"proof_count":0,"scenario_id":"example.small-workshop-constrained.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":5,"best_valid_canonical_cost":4.0,"comparator_id":"ortools_cpsat","median_valid_canonical_cost":4.0,"proof_count":5,"scenario_id":"example.small-workshop-constrained.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":5,"best_valid_canonical_cost":0.0,"comparator_id":"groupmixer","median_valid_canonical_cost":0.0,"proof_count":0,"scenario_id":"internal.minimum-occupancy-rotation-280p-36g-41s.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":5,"best_valid_canonical_cost":null,"comparator_id":"ortools_cpsat","median_valid_canonical_cost":null,"proof_count":0,"scenario_id":"internal.minimum-occupancy-rotation-280p-36g-41s.v1","success_count":0,"valid_candidate_count":0},{"attempt_count":5,"best_valid_canonical_cost":2409.0,"comparator_id":"groupmixer","median_valid_canonical_cost":2422.0,"proof_count":0,"scenario_id":"internal.partial-attendance-keep-apart-capacity-pressure-152p.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":5,"best_valid_canonical_cost":8037.0,"comparator_id":"ortools_cpsat","median_valid_canonical_cost":8037.0,"proof_count":0,"scenario_id":"internal.partial-attendance-keep-apart-capacity-pressure-152p.v1","success_count":1,"valid_candidate_count":1},{"attempt_count":5,"best_valid_canonical_cost":0.0,"comparator_id":"groupmixer","median_valid_canonical_cost":0.0,"proof_count":0,"scenario_id":"internal.real-world-workshops-120x12x6.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":5,"best_valid_canonical_cost":576576.0,"comparator_id":"ortools_cpsat","median_valid_canonical_cost":666666.0,"proof_count":0,"scenario_id":"internal.real-world-workshops-120x12x6.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":5,"best_valid_canonical_cost":0.0,"comparator_id":"groupmixer","median_valid_canonical_cost":0.0,"proof_count":0,"scenario_id":"internal.reddit-golfers-28p-7g-3s.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":5,"best_valid_canonical_cost":0.0,"comparator_id":"ortools_cpsat","median_valid_canonical_cost":0.0,"proof_count":5,"scenario_id":"internal.reddit-golfers-28p-7g-3s.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":5,"best_valid_canonical_cost":1310.0,"comparator_id":"groupmixer","median_valid_canonical_cost":1316.0,"proof_count":0,"scenario_id":"internal.sailing-trip-57p-5g-5s.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":5,"best_valid_canonical_cost":2605.0,"comparator_id":"ortools_cpsat","median_valid_canonical_cost":3242.0,"proof_count":0,"scenario_id":"internal.sailing-trip-57p-5g-5s.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":5,"best_valid_canonical_cost":2425.0,"comparator_id":"groupmixer","median_valid_canonical_cost":2447.0,"proof_count":0,"scenario_id":"internal.social-golfer-196x14x14.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":5,"best_valid_canonical_cost":null,"comparator_id":"ortools_cpsat","median_valid_canonical_cost":null,"proof_count":0,"scenario_id":"internal.social-golfer-196x14x14.v1","success_count":0,"valid_candidate_count":0},{"attempt_count":5,"best_valid_canonical_cost":0.0,"comparator_id":"groupmixer","median_valid_canonical_cost":0.0,"proof_count":0,"scenario_id":"internal.social-golfer-32x8x15.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":5,"best_valid_canonical_cost":33.0,"comparator_id":"ortools_cpsat","median_valid_canonical_cost":73.0,"proof_count":0,"scenario_id":"internal.social-golfer-32x8x15.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":5,"best_valid_canonical_cost":2000.0,"comparator_id":"groupmixer","median_valid_canonical_cost":2000.0,"proof_count":0,"scenario_id":"internal.stack-scout-patrol-rota-8p-4g-7s.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":5,"best_valid_canonical_cost":2000.0,"comparator_id":"ortools_cpsat","median_valid_canonical_cost":2000.0,"proof_count":0,"scenario_id":"internal.stack-scout-patrol-rota-8p-4g-7s.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":5,"best_valid_canonical_cost":30.0,"comparator_id":"groupmixer","median_valid_canonical_cost":80.0,"proof_count":0,"scenario_id":"internal.station-rotation-18p-6g-6s.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":5,"best_valid_canonical_cost":0.0,"comparator_id":"ortools_cpsat","median_valid_canonical_cost":0.0,"proof_count":5,"scenario_id":"internal.station-rotation-18p-6g-6s.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":1,"best_valid_canonical_cost":null,"comparator_id":"groupmixer","median_valid_canonical_cost":null,"proof_count":1,"scenario_id":"public.hard-infeasible-apart-triangle-3p-2g-1s.v1","success_count":1,"valid_candidate_count":0},{"attempt_count":1,"best_valid_canonical_cost":null,"comparator_id":"ortools_cpsat","median_valid_canonical_cost":null,"proof_count":1,"scenario_id":"public.hard-infeasible-apart-triangle-3p-2g-1s.v1","success_count":1,"valid_candidate_count":0},{"attempt_count":5,"best_valid_canonical_cost":0.0,"comparator_id":"groupmixer","median_valid_canonical_cost":0.0,"proof_count":0,"scenario_id":"public.kirkman-schoolgirls-15x5x7.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":5,"best_valid_canonical_cost":0.0,"comparator_id":"ortools_cpsat","median_valid_canonical_cost":0.0,"proof_count":5,"scenario_id":"public.kirkman-schoolgirls-15x5x7.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":5,"best_valid_canonical_cost":0.0,"comparator_id":"groupmixer","median_valid_canonical_cost":0.0,"proof_count":0,"scenario_id":"public.social-golfer-32x8x10.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":5,"best_valid_canonical_cost":1400.0,"comparator_id":"ortools_cpsat","median_valid_canonical_cost":1536.0,"proof_count":0,"scenario_id":"public.social-golfer-32x8x10.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":5,"best_valid_canonical_cost":0.0,"comparator_id":"groupmixer","median_valid_canonical_cost":0.0,"proof_count":0,"scenario_id":"public.social-golfer-45x9x10.v1","success_count":5,"valid_candidate_count":5},{"attempt_count":5,"best_valid_canonical_cost":2935.0,"comparator_id":"ortools_cpsat","median_valid_canonical_cost":4990.0,"proof_count":0,"scenario_id":"public.social-golfer-45x9x10.v1","success_count":5,"valid_candidate_count":5}]}