Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Infrequent incorrect fractional solution with very low accuracy #9

Open
PetterS opened this issue Jan 2, 2020 · 0 comments
Open

Infrequent incorrect fractional solution with very low accuracy #9

PetterS opened this issue Jan 2, 2020 · 0 comments
Labels
bug Something isn't working

Comments

@PetterS
Copy link
Owner

PetterS commented Jan 2, 2020

When running the largest instance (24) from http://www.schedulingbenchmarks.org/nurse.html and --objective_change_before_fixing=100 the following happens after a few solutions (many hours):

Error: Assumption failed: abs(fixes_for_member(p)[c] - fractional_solution(p, c)) <= 1e-3 in compute_fractional_solution (set_partitioning_problem.cpp:539). Fix state does not correspond to fractional solution. A column violating the fix state may have been added.

Stack trace:
12: ??? + 0
10: minimum::linear::colgen::ColumnPool::size + 9484
9: minimum::linear::colgen::SetPartitioningProblem::compute_fractional_solution + 455
8: minimum::linear::colgen::SetPartitioningProblem::fix_using_columns + 121
7: minimum::linear::colgen::SetPartitioningProblem::fix + 74
6: minimum::linear::colgen::Problem::solve + 396
5: ??? + 0
4: main_runner + 141
3: ??? + 0
2: ??? + 0
1: BaseThreadInitThunk + 20
0: RtlUserThreadStart + 33

Everything works well with --objective_change_before_fixing=10 for which 10 solutions can be computed.

@PetterS PetterS added the bug Something isn't working label Jan 2, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

1 participant