0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4545555-1753237434.opb>
0.00/0.08 c original problem has 17343 variables (17343 bin, 0 int, 0 cont) and 32542 constraints
0.00/0.08 c problem read in 0.086 seconds
0.00/0.08 c problem without objective
0.09/0.16 c presolving:
0.20/0.21 c (round 1, fast) 348 del vars, 144 del conss, 252 add conss, 347 chg bounds, 504 chg sides, 252 chg coeffs, 0 upgd conss, 0 impls, 1937 clqs
0.20/0.27 c (round 2, fast) 6837 del vars, 10739 del conss, 252 add conss, 6459 chg bounds, 10214 chg sides, 7314 chg coeffs, 0 upgd conss, 0 impls, 3235 clqs
0.20/0.27 c (round 3, fast) 6969 del vars, 11847 del conss, 377 add conss, 6459 chg bounds, 10214 chg sides, 7314 chg coeffs, 0 upgd conss, 0 impls, 4035 clqs
0.20/0.28 c (round 4, fast) 6969 del vars, 11847 del conss, 377 add conss, 6459 chg bounds, 10314 chg sides, 7514 chg coeffs, 0 upgd conss, 0 impls, 4035 clqs
0.30/0.32 c (0.3s) running MILP presolver
0.79/0.85 c (0.8s) MILP presolver (24 rounds): 771 aggregations, 574 fixings, 0 bound changes
0.79/0.85 c (round 5, medium) 8314 del vars, 11847 del conss, 377 add conss, 6459 chg bounds, 10314 chg sides, 7514 chg coeffs, 0 upgd conss, 0 impls, 2715 clqs
0.79/0.89 c (round 6, fast) 8320 del vars, 14094 del conss, 517 add conss, 6459 chg bounds, 11173 chg sides, 9129 chg coeffs, 0 upgd conss, 0 impls, 3441 clqs
0.89/0.90 c (round 7, fast) 8320 del vars, 14102 del conss, 517 add conss, 6459 chg bounds, 11283 chg sides, 9345 chg coeffs, 0 upgd conss, 0 impls, 3441 clqs
0.89/0.90 c (round 8, medium) 8354 del vars, 14102 del conss, 517 add conss, 6459 chg bounds, 11283 chg sides, 9345 chg coeffs, 0 upgd conss, 0 impls, 3373 clqs
0.89/0.90 c (round 9, fast) 8354 del vars, 14170 del conss, 517 add conss, 6459 chg bounds, 11301 chg sides, 9363 chg coeffs, 0 upgd conss, 0 impls, 3377 clqs
0.89/0.91 c (round 10, exhaustive) 8354 del vars, 14751 del conss, 517 add conss, 6459 chg bounds, 11301 chg sides, 9363 chg coeffs, 0 upgd conss, 0 impls, 3377 clqs
0.89/0.99 c (round 11, exhaustive) 8354 del vars, 14751 del conss, 517 add conss, 6459 chg bounds, 11301 chg sides, 9363 chg coeffs, 17550 upgd conss, 0 impls, 3377 clqs
0.99/1.01 c (round 12, fast) 8354 del vars, 14761 del conss, 531 add conss, 6459 chg bounds, 11717 chg sides, 13232 chg coeffs, 17550 upgd conss, 0 impls, 3382 clqs
0.99/1.08 c (round 13, medium) 8364 del vars, 18096 del conss, 6617 add conss, 6459 chg bounds, 21781 chg sides, 24559 chg coeffs, 17550 upgd conss, 0 impls, 9155 clqs
0.99/1.10 c (round 14, fast) 8366 del vars, 18676 del conss, 7054 add conss, 6459 chg bounds, 21781 chg sides, 24560 chg coeffs, 17550 upgd conss, 0 impls, 9152 clqs
1.09/1.13 c (round 15, exhaustive) 8366 del vars, 25388 del conss, 9485 add conss, 6459 chg bounds, 21781 chg sides, 24560 chg coeffs, 17550 upgd conss, 0 impls, 9152 clqs
1.09/1.18 c (round 16, exhaustive) 8379 del vars, 25399 del conss, 9493 add conss, 6459 chg bounds, 21781 chg sides, 25581 chg coeffs, 17550 upgd conss, 0 impls, 9120 clqs
1.09/1.18 c (round 17, fast) 8383 del vars, 25411 del conss, 9496 add conss, 6459 chg bounds, 21785 chg sides, 25593 chg coeffs, 17550 upgd conss, 0 impls, 9118 clqs
1.19/1.22 c (round 18, exhaustive) 8495 del vars, 25528 del conss, 9504 add conss, 6459 chg bounds, 21789 chg sides, 25613 chg coeffs, 17550 upgd conss, 0 impls, 8900 clqs
1.19/1.25 c (round 19, exhaustive) 8495 del vars, 25530 del conss, 9504 add conss, 6459 chg bounds, 21791 chg sides, 25622 chg coeffs, 18079 upgd conss, 0 impls, 8900 clqs
1.19/1.26 c (round 20, medium) 8495 del vars, 25612 del conss, 9669 add conss, 6459 chg bounds, 22047 chg sides, 25922 chg coeffs, 18079 upgd conss, 0 impls, 9076 clqs
1.19/1.28 c (round 21, exhaustive) 8495 del vars, 26395 del conss, 9934 add conss, 6459 chg bounds, 22047 chg sides, 25922 chg coeffs, 18079 upgd conss, 0 impls, 9076 clqs
1.29/1.30 c (round 22, exhaustive) 8501 del vars, 26405 del conss, 9934 add conss, 6459 chg bounds, 22053 chg sides, 26022 chg coeffs, 18079 upgd conss, 0 impls, 9058 clqs
1.29/1.31 c (round 23, medium) 8501 del vars, 26405 del conss, 9940 add conss, 6459 chg bounds, 22061 chg sides, 26040 chg coeffs, 18079 upgd conss, 0 impls, 9068 clqs
2.38/2.47 c (round 24, exhaustive) 8526 del vars, 26406 del conss, 9940 add conss, 6459 chg bounds, 22061 chg sides, 26105 chg coeffs, 18079 upgd conss, 0 impls, 9918 clqs
2.38/2.48 c (round 25, fast) 8526 del vars, 26444 del conss, 10060 add conss, 6459 chg bounds, 22129 chg sides, 26381 chg coeffs, 18079 upgd conss, 0 impls, 9972 clqs
2.38/2.48 c (round 26, fast) 8526 del vars, 26444 del conss, 10060 add conss, 6459 chg bounds, 22209 chg sides, 26558 chg coeffs, 18079 upgd conss, 0 impls, 9972 clqs
2.48/2.50 c (round 27, exhaustive) 8526 del vars, 26464 del conss, 10068 add conss, 6459 chg bounds, 22212 chg sides, 26563 chg coeffs, 18079 upgd conss, 0 impls, 9973 clqs
2.48/2.53 c (round 28, exhaustive) 8530 del vars, 26509 del conss, 10073 add conss, 6459 chg bounds, 22212 chg sides, 26730 chg coeffs, 18079 upgd conss, 0 impls, 9958 clqs
2.48/2.55 c (round 29, medium) 8530 del vars, 26509 del conss, 10142 add conss, 6459 chg bounds, 22281 chg sides, 26876 chg coeffs, 18079 upgd conss, 0 impls, 10015 clqs
2.48/2.57 c (round 30, exhaustive) 8532 del vars, 26517 del conss, 10147 add conss, 6459 chg bounds, 22281 chg sides, 26886 chg coeffs, 18079 upgd conss, 0 impls, 10011 clqs
2.58/2.63 c (round 31, exhaustive) 8533 del vars, 26796 del conss, 10147 add conss, 6459 chg bounds, 22281 chg sides, 26886 chg coeffs, 18079 upgd conss, 0 impls, 10006 clqs
2.58/2.64 c (round 32, exhaustive) 8533 del vars, 26796 del conss, 10147 add conss, 6459 chg bounds, 22281 chg sides, 26886 chg coeffs, 18157 upgd conss, 0 impls, 10007 clqs
2.58/2.65 c (round 33, fast) 8533 del vars, 26873 del conss, 10147 add conss, 6459 chg bounds, 22281 chg sides, 26886 chg coeffs, 18157 upgd conss, 0 impls, 10007 clqs
2.58/2.66 c (round 34, exhaustive) 8533 del vars, 26907 del conss, 10147 add conss, 6459 chg bounds, 22281 chg sides, 26886 chg coeffs, 18157 upgd conss, 0 impls, 10007 clqs
3.09/3.15 c (round 35, exhaustive) 8562 del vars, 26911 del conss, 10147 add conss, 6459 chg bounds, 22281 chg sides, 26893 chg coeffs, 18157 upgd conss, 0 impls, 10193 clqs
3.09/3.16 c (round 36, fast) 8562 del vars, 26945 del conss, 10195 add conss, 6459 chg bounds, 22281 chg sides, 26893 chg coeffs, 18157 upgd conss, 0 impls, 10194 clqs
3.09/3.16 c (round 37, fast) 8562 del vars, 26945 del conss, 10195 add conss, 6459 chg bounds, 22318 chg sides, 26954 chg coeffs, 18157 upgd conss, 0 impls, 10194 clqs
3.09/3.17 c (round 38, medium) 8562 del vars, 26950 del conss, 10203 add conss, 6459 chg bounds, 22334 chg sides, 26978 chg coeffs, 18157 upgd conss, 0 impls, 10194 clqs
3.09/3.20 c (round 39, exhaustive) 8562 del vars, 26961 del conss, 10214 add conss, 6459 chg bounds, 22334 chg sides, 26999 chg coeffs, 18157 upgd conss, 0 impls, 10194 clqs
3.18/3.21 c (round 40, exhaustive) 8562 del vars, 26979 del conss, 10220 add conss, 6459 chg bounds, 22340 chg sides, 27011 chg coeffs, 18157 upgd conss, 0 impls, 10211 clqs
3.18/3.23 c (round 41, exhaustive) 8562 del vars, 26979 del conss, 10220 add conss, 6459 chg bounds, 22340 chg sides, 27011 chg coeffs, 18182 upgd conss, 0 impls, 10211 clqs
3.18/3.24 c (round 42, fast) 8562 del vars, 27004 del conss, 10220 add conss, 6459 chg bounds, 22340 chg sides, 27011 chg coeffs, 18182 upgd conss, 0 impls, 10211 clqs
3.78/3.87 c (round 43, exhaustive) 8587 del vars, 27004 del conss, 10220 add conss, 6459 chg bounds, 22340 chg sides, 27011 chg coeffs, 18182 upgd conss, 0 impls, 10450 clqs
3.78/3.88 c (round 44, fast) 8587 del vars, 27031 del conss, 10280 add conss, 6459 chg bounds, 22340 chg sides, 27011 chg coeffs, 18182 upgd conss, 0 impls, 10450 clqs
3.78/3.89 c (round 45, fast) 8587 del vars, 27031 del conss, 10280 add conss, 6459 chg bounds, 22379 chg sides, 27089 chg coeffs, 18182 upgd conss, 0 impls, 10450 clqs
3.88/3.90 c (round 46, medium) 8587 del vars, 27046 del conss, 10343 add conss, 6459 chg bounds, 22492 chg sides, 27265 chg coeffs, 18182 upgd conss, 0 impls, 10452 clqs
3.88/3.93 c (round 47, exhaustive) 8587 del vars, 27063 del conss, 10360 add conss, 6459 chg bounds, 22492 chg sides, 27321 chg coeffs, 18182 upgd conss, 0 impls, 10452 clqs
3.88/3.93 c (round 48, medium) 8587 del vars, 27063 del conss, 10368 add conss, 6459 chg bounds, 22500 chg sides, 27337 chg coeffs, 18182 upgd conss, 0 impls, 10477 clqs
3.88/3.95 c (round 49, exhaustive) 8587 del vars, 27086 del conss, 10370 add conss, 6459 chg bounds, 22500 chg sides, 27337 chg coeffs, 18182 upgd conss, 0 impls, 10477 clqs
3.88/3.97 c (round 50, exhaustive) 8589 del vars, 27089 del conss, 10370 add conss, 6459 chg bounds, 22500 chg sides, 27337 chg coeffs, 18221 upgd conss, 0 impls, 10468 clqs
3.88/3.98 c (round 51, fast) 8589 del vars, 27128 del conss, 10370 add conss, 6459 chg bounds, 22500 chg sides, 27337 chg coeffs, 18221 upgd conss, 0 impls, 10468 clqs
4.38/4.43 c (round 52, exhaustive) 8614 del vars, 27129 del conss, 10370 add conss, 6459 chg bounds, 22500 chg sides, 27340 chg coeffs, 18221 upgd conss, 0 impls, 10515 clqs
4.38/4.44 c (round 53, fast) 8614 del vars, 27157 del conss, 10407 add conss, 6459 chg bounds, 22500 chg sides, 27340 chg coeffs, 18221 upgd conss, 0 impls, 10516 clqs
4.38/4.44 c (round 54, fast) 8614 del vars, 27157 del conss, 10407 add conss, 6459 chg bounds, 22530 chg sides, 27389 chg coeffs, 18221 upgd conss, 0 impls, 10516 clqs
4.38/4.47 c (round 55, exhaustive) 8614 del vars, 27173 del conss, 10422 add conss, 6459 chg bounds, 22530 chg sides, 27395 chg coeffs, 18221 upgd conss, 0 impls, 10516 clqs
4.38/4.48 c (round 56, exhaustive) 8614 del vars, 27189 del conss, 10423 add conss, 6459 chg bounds, 22531 chg sides, 27399 chg coeffs, 18221 upgd conss, 0 impls, 10531 clqs
4.48/4.50 c (round 57, exhaustive) 8614 del vars, 27189 del conss, 10423 add conss, 6459 chg bounds, 22531 chg sides, 27399 chg coeffs, 18243 upgd conss, 0 impls, 10531 clqs
4.48/4.50 c (round 58, fast) 8614 del vars, 27211 del conss, 10423 add conss, 6459 chg bounds, 22531 chg sides, 27399 chg coeffs, 18243 upgd conss, 0 impls, 10531 clqs
5.08/5.14 c (round 59, exhaustive) 8639 del vars, 27212 del conss, 10423 add conss, 6459 chg bounds, 22531 chg sides, 27399 chg coeffs, 18243 upgd conss, 0 impls, 10667 clqs
5.08/5.15 c (round 60, fast) 8639 del vars, 27236 del conss, 10479 add conss, 6459 chg bounds, 22531 chg sides, 27399 chg coeffs, 18243 upgd conss, 0 impls, 10667 clqs
5.08/5.15 c (round 61, fast) 8639 del vars, 27236 del conss, 10479 add conss, 6459 chg bounds, 22581 chg sides, 27479 chg coeffs, 18243 upgd conss, 0 impls, 10667 clqs
5.08/5.18 c (round 62, exhaustive) 8639 del vars, 27258 del conss, 10497 add conss, 6459 chg bounds, 22581 chg sides, 27506 chg coeffs, 18243 upgd conss, 0 impls, 10667 clqs
5.08/5.19 c (round 63, medium) 8639 del vars, 27259 del conss, 10504 add conss, 6459 chg bounds, 22588 chg sides, 27521 chg coeffs, 18243 upgd conss, 0 impls, 10691 clqs
5.17/5.20 c (round 64, exhaustive) 8639 del vars, 27286 del conss, 10505 add conss, 6459 chg bounds, 22588 chg sides, 27521 chg coeffs, 18243 upgd conss, 0 impls, 10691 clqs
5.17/5.21 c (round 65, exhaustive) 8639 del vars, 27286 del conss, 10505 add conss, 6459 chg bounds, 22588 chg sides, 27521 chg coeffs, 18274 upgd conss, 0 impls, 10691 clqs
5.17/5.22 c (round 66, fast) 8639 del vars, 27317 del conss, 10505 add conss, 6459 chg bounds, 22588 chg sides, 27521 chg coeffs, 18274 upgd conss, 0 impls, 10691 clqs
5.47/5.59 c (round 67, exhaustive) 8664 del vars, 27317 del conss, 10505 add conss, 6459 chg bounds, 22588 chg sides, 27521 chg coeffs, 18274 upgd conss, 0 impls, 10659 clqs
5.57/5.60 c (round 68, fast) 8664 del vars, 27342 del conss, 10534 add conss, 6459 chg bounds, 22588 chg sides, 27521 chg coeffs, 18274 upgd conss, 0 impls, 10659 clqs
5.57/5.60 c (round 69, fast) 8664 del vars, 27342 del conss, 10534 add conss, 6459 chg bounds, 22622 chg sides, 27565 chg coeffs, 18274 upgd conss, 0 impls, 10659 clqs
5.57/5.63 c (round 70, exhaustive) 8664 del vars, 27359 del conss, 10550 add conss, 6459 chg bounds, 22622 chg sides, 27568 chg coeffs, 18274 upgd conss, 0 impls, 10659 clqs
5.57/5.64 c (round 71, exhaustive) 8664 del vars, 27376 del conss, 10550 add conss, 6459 chg bounds, 22622 chg sides, 27568 chg coeffs, 18274 upgd conss, 0 impls, 10674 clqs
5.57/5.65 c (round 72, exhaustive) 8664 del vars, 27388 del conss, 10550 add conss, 6459 chg bounds, 22622 chg sides, 27568 chg coeffs, 18286 upgd conss, 0 impls, 10674 clqs
8.56/8.66 c (8.7s) probing: 1000/8974 (11.1%) - 7 fixings, 149 aggregations, 5046 implications, 0 bound changes
15.24/15.33 c (15.3s) probing: 2000/8974 (22.3%) - 7 fixings, 152 aggregations, 7182 implications, 0 bound changes
22.12/22.29 c (22.3s) probing: 3000/8974 (33.4%) - 7 fixings, 165 aggregations, 10185 implications, 0 bound changes
23.92/24.01 c (round 73, exhaustive) 8689 del vars, 27388 del conss, 10550 add conss, 6459 chg bounds, 22622 chg sides, 27568 chg coeffs, 18286 upgd conss, 0 impls, 16834 clqs
23.92/24.03 c (round 74, fast) 8689 del vars, 27410 del conss, 10691 add conss, 6459 chg bounds, 22622 chg sides, 27568 chg coeffs, 18286 upgd conss, 0 impls, 16834 clqs
23.92/24.03 c (round 75, fast) 8689 del vars, 27410 del conss, 10691 add conss, 6459 chg bounds, 22734 chg sides, 27784 chg coeffs, 18286 upgd conss, 0 impls, 16834 clqs
23.92/24.05 c (round 76, medium) 8689 del vars, 27413 del conss, 10769 add conss, 6459 chg bounds, 22820 chg sides, 27948 chg coeffs, 18286 upgd conss, 0 impls, 16839 clqs
23.92/24.05 c (round 77, fast) 8689 del vars, 27415 del conss, 10771 add conss, 6459 chg bounds, 22849 chg sides, 28044 chg coeffs, 18286 upgd conss, 0 impls, 16839 clqs
23.92/24.09 c (round 78, exhaustive) 8689 del vars, 27434 del conss, 10789 add conss, 6459 chg bounds, 22849 chg sides, 28500 chg coeffs, 18286 upgd conss, 0 impls, 16839 clqs
24.02/24.10 c (round 79, medium) 8689 del vars, 27446 del conss, 10870 add conss, 6459 chg bounds, 22961 chg sides, 28755 chg coeffs, 18286 upgd conss, 0 impls, 16899 clqs
24.02/24.10 c (round 80, fast) 8689 del vars, 27461 del conss, 10885 add conss, 6459 chg bounds, 22963 chg sides, 28760 chg coeffs, 18286 upgd conss, 0 impls, 16899 clqs
24.02/24.12 c (round 81, exhaustive) 8689 del vars, 27523 del conss, 10887 add conss, 6459 chg bounds, 22963 chg sides, 28791 chg coeffs, 18286 upgd conss, 0 impls, 16899 clqs
24.02/24.14 c (round 82, exhaustive) 8690 del vars, 27527 del conss, 10887 add conss, 6459 chg bounds, 22965 chg sides, 28791 chg coeffs, 18370 upgd conss, 0 impls, 16895 clqs
24.02/24.14 c (round 83, fast) 8690 del vars, 27611 del conss, 10887 add conss, 6459 chg bounds, 22965 chg sides, 28791 chg coeffs, 18370 upgd conss, 0 impls, 16895 clqs
25.11/25.26 c (round 84, exhaustive) 8715 del vars, 27611 del conss, 10887 add conss, 6459 chg bounds, 22965 chg sides, 28869 chg coeffs, 18370 upgd conss, 0 impls, 16916 clqs
25.11/25.27 c (round 85, fast) 8715 del vars, 27642 del conss, 10973 add conss, 6459 chg bounds, 22965 chg sides, 28869 chg coeffs, 18370 upgd conss, 0 impls, 16942 clqs
25.11/25.27 c (round 86, fast) 8715 del vars, 27642 del conss, 10973 add conss, 6459 chg bounds, 23041 chg sides, 29011 chg coeffs, 18370 upgd conss, 0 impls, 16942 clqs
25.11/25.28 c (round 87, medium) 8715 del vars, 27645 del conss, 10979 add conss, 6459 chg bounds, 23047 chg sides, 29025 chg coeffs, 18370 upgd conss, 0 impls, 16942 clqs
25.21/25.31 c (round 88, exhaustive) 8715 del vars, 27653 del conss, 10985 add conss, 6459 chg bounds, 23047 chg sides, 29025 chg coeffs, 18370 upgd conss, 0 impls, 16942 clqs
25.21/25.33 c (round 89, exhaustive) 8716 del vars, 27693 del conss, 10985 add conss, 6459 chg bounds, 23047 chg sides, 29025 chg coeffs, 18370 upgd conss, 0 impls, 16942 clqs
25.21/25.34 c (round 90, exhaustive) 8716 del vars, 27693 del conss, 10985 add conss, 6459 chg bounds, 23047 chg sides, 29025 chg coeffs, 18418 upgd conss, 0 impls, 16942 clqs
25.21/25.35 c (round 91, fast) 8716 del vars, 27741 del conss, 10985 add conss, 6459 chg bounds, 23047 chg sides, 29025 chg coeffs, 18418 upgd conss, 0 impls, 16942 clqs
26.11/26.24 c (round 92, exhaustive) 8741 del vars, 27741 del conss, 10985 add conss, 6459 chg bounds, 23047 chg sides, 29026 chg coeffs, 18418 upgd conss, 0 impls, 16858 clqs
26.11/26.25 c (round 93, fast) 8741 del vars, 27762 del conss, 11081 add conss, 6459 chg bounds, 23047 chg sides, 29026 chg coeffs, 18418 upgd conss, 0 impls, 16858 clqs
26.11/26.25 c (round 94, fast) 8741 del vars, 27762 del conss, 11081 add conss, 6459 chg bounds, 23135 chg sides, 29185 chg coeffs, 18418 upgd conss, 0 impls, 16858 clqs
26.11/26.29 c (round 95, exhaustive) 8741 del vars, 27769 del conss, 11088 add conss, 6459 chg bounds, 23135 chg sides, 29185 chg coeffs, 18418 upgd conss, 0 impls, 16858 clqs
26.21/26.30 c (round 96, exhaustive) 8741 del vars, 27813 del conss, 11088 add conss, 6459 chg bounds, 23135 chg sides, 29185 chg coeffs, 18418 upgd conss, 0 impls, 16864 clqs
26.21/26.31 c (round 97, exhaustive) 8741 del vars, 27813 del conss, 11088 add conss, 6459 chg bounds, 23135 chg sides, 29185 chg coeffs, 18470 upgd conss, 0 impls, 16864 clqs
26.21/26.32 c (round 98, fast) 8741 del vars, 27865 del conss, 11088 add conss, 6459 chg bounds, 23135 chg sides, 29185 chg coeffs, 18470 upgd conss, 0 impls, 16864 clqs
26.91/27.01 c (round 99, exhaustive) 8766 del vars, 27865 del conss, 11088 add conss, 6459 chg bounds, 23135 chg sides, 29185 chg coeffs, 18470 upgd conss, 0 impls, 16789 clqs
26.91/27.02 c (round 100, fast) 8766 del vars, 27899 del conss, 11160 add conss, 6459 chg bounds, 23137 chg sides, 29185 chg coeffs, 18470 upgd conss, 0 impls, 16789 clqs
26.91/27.03 c (round 101, fast) 8766 del vars, 27899 del conss, 11160 add conss, 6459 chg bounds, 23201 chg sides, 29303 chg coeffs, 18470 upgd conss, 0 impls, 16789 clqs
26.91/27.06 c (round 102, exhaustive) 8766 del vars, 27938 del conss, 11165 add conss, 6459 chg bounds, 23201 chg sides, 29303 chg coeffs, 18470 upgd conss, 0 impls, 16789 clqs
26.91/27.07 c (round 103, exhaustive) 8766 del vars, 27938 del conss, 11165 add conss, 6459 chg bounds, 23201 chg sides, 29303 chg coeffs, 18510 upgd conss, 0 impls, 16794 clqs
26.91/27.08 c (round 104, fast) 8766 del vars, 27978 del conss, 11165 add conss, 6459 chg bounds, 23201 chg sides, 29303 chg coeffs, 18510 upgd conss, 0 impls, 16794 clqs
27.31/27.40 c (round 105, exhaustive) 8791 del vars, 27978 del conss, 11165 add conss, 6459 chg bounds, 23201 chg sides, 29303 chg coeffs, 18510 upgd conss, 0 impls, 16670 clqs
27.31/27.41 c (round 106, fast) 8791 del vars, 28015 del conss, 11205 add conss, 6459 chg bounds, 23207 chg sides, 29303 chg coeffs, 18510 upgd conss, 0 impls, 16670 clqs
27.31/27.41 c (round 107, fast) 8791 del vars, 28015 del conss, 11205 add conss, 6459 chg bounds, 23235 chg sides, 29370 chg coeffs, 18510 upgd conss, 0 impls, 16670 clqs
27.31/27.45 c (round 108, exhaustive) 8791 del vars, 28030 del conss, 11205 add conss, 6459 chg bounds, 23235 chg sides, 29371 chg coeffs, 18510 upgd conss, 0 impls, 16670 clqs
27.31/27.47 c (round 109, exhaustive) 8791 del vars, 28032 del conss, 11205 add conss, 6459 chg bounds, 23235 chg sides, 29371 chg coeffs, 18536 upgd conss, 0 impls, 16670 clqs
27.31/27.47 c (round 110, fast) 8791 del vars, 28058 del conss, 11205 add conss, 6459 chg bounds, 23235 chg sides, 29371 chg coeffs, 18536 upgd conss, 0 impls, 16670 clqs
27.50/27.68 c (round 111, exhaustive) 8816 del vars, 28058 del conss, 11205 add conss, 6459 chg bounds, 23235 chg sides, 29372 chg coeffs, 18536 upgd conss, 0 impls, 16591 clqs
27.50/27.69 c (round 112, fast) 8816 del vars, 28059 del conss, 11284 add conss, 6459 chg bounds, 23235 chg sides, 29372 chg coeffs, 18536 upgd conss, 0 impls, 16592 clqs
27.50/27.69 c (round 113, fast) 8816 del vars, 28059 del conss, 11284 add conss, 6459 chg bounds, 23297 chg sides, 29494 chg coeffs, 18536 upgd conss, 0 impls, 16592 clqs
27.60/27.71 c (round 114, exhaustive) 8816 del vars, 28090 del conss, 11284 add conss, 6459 chg bounds, 23297 chg sides, 29494 chg coeffs, 18536 upgd conss, 0 impls, 16592 clqs
27.60/27.73 c (round 115, exhaustive) 8816 del vars, 28090 del conss, 11284 add conss, 6459 chg bounds, 23297 chg sides, 29494 chg coeffs, 18584 upgd conss, 0 impls, 16592 clqs
27.60/27.73 c (round 116, fast) 8816 del vars, 28138 del conss, 11284 add conss, 6459 chg bounds, 23297 chg sides, 29494 chg coeffs, 18584 upgd conss, 0 impls, 16592 clqs
27.80/27.95 c (round 117, exhaustive) 8841 del vars, 28140 del conss, 11284 add conss, 6459 chg bounds, 23297 chg sides, 29494 chg coeffs, 18584 upgd conss, 0 impls, 16559 clqs
27.80/27.96 c (round 118, fast) 8841 del vars, 28140 del conss, 11398 add conss, 6459 chg bounds, 23297 chg sides, 29494 chg coeffs, 18584 upgd conss, 0 impls, 16559 clqs
27.80/27.96 c (round 119, fast) 8841 del vars, 28140 del conss, 11398 add conss, 6459 chg bounds, 23389 chg sides, 29671 chg coeffs, 18584 upgd conss, 0 impls, 16559 clqs
27.80/27.99 c (round 120, exhaustive) 8841 del vars, 28187 del conss, 11398 add conss, 6459 chg bounds, 23389 chg sides, 29671 chg coeffs, 18584 upgd conss, 0 impls, 16559 clqs
27.80/28.00 c (round 121, exhaustive) 8841 del vars, 28187 del conss, 11398 add conss, 6459 chg bounds, 23389 chg sides, 29671 chg coeffs, 18651 upgd conss, 0 impls, 16559 clqs
27.91/28.01 c (round 122, fast) 8841 del vars, 28254 del conss, 11398 add conss, 6459 chg bounds, 23389 chg sides, 29671 chg coeffs, 18651 upgd conss, 0 impls, 16559 clqs
28.11/28.21 c (round 123, exhaustive) 8866 del vars, 28254 del conss, 11398 add conss, 6459 chg bounds, 23389 chg sides, 29671 chg coeffs, 18651 upgd conss, 0 impls, 16502 clqs
28.11/28.21 c (round 124, fast) 8866 del vars, 28254 del conss, 11509 add conss, 6459 chg bounds, 23389 chg sides, 29671 chg coeffs, 18651 upgd conss, 0 impls, 16502 clqs
28.11/28.22 c (round 125, fast) 8866 del vars, 28254 del conss, 11509 add conss, 6459 chg bounds, 23457 chg sides, 29833 chg coeffs, 18651 upgd conss, 0 impls, 16502 clqs
28.11/28.24 c (round 126, exhaustive) 8866 del vars, 28289 del conss, 11509 add conss, 6459 chg bounds, 23457 chg sides, 29833 chg coeffs, 18651 upgd conss, 0 impls, 16502 clqs
28.11/28.26 c (round 127, exhaustive) 8866 del vars, 28289 del conss, 11509 add conss, 6459 chg bounds, 23457 chg sides, 29833 chg coeffs, 18727 upgd conss, 0 impls, 16502 clqs
28.11/28.26 c (round 128, fast) 8866 del vars, 28365 del conss, 11509 add conss, 6459 chg bounds, 23457 chg sides, 29833 chg coeffs, 18727 upgd conss, 0 impls, 16502 clqs
28.31/28.46 c (round 129, exhaustive) 8891 del vars, 28365 del conss, 11509 add conss, 6459 chg bounds, 23457 chg sides, 29833 chg coeffs, 18727 upgd conss, 0 impls, 16428 clqs
28.31/28.47 c (round 130, fast) 8891 del vars, 28365 del conss, 11618 add conss, 6459 chg bounds, 23457 chg sides, 29833 chg coeffs, 18727 upgd conss, 0 impls, 16428 clqs
28.31/28.47 c (round 131, fast) 8891 del vars, 28365 del conss, 11618 add conss, 6459 chg bounds, 23543 chg sides, 29998 chg coeffs, 18727 upgd conss, 0 impls, 16428 clqs
28.41/28.50 c (round 132, exhaustive) 8891 del vars, 28409 del conss, 11618 add conss, 6459 chg bounds, 23543 chg sides, 29998 chg coeffs, 18727 upgd conss, 0 impls, 16428 clqs
28.41/28.51 c (round 133, exhaustive) 8891 del vars, 28409 del conss, 11618 add conss, 6459 chg bounds, 23543 chg sides, 29998 chg coeffs, 18792 upgd conss, 0 impls, 16428 clqs
28.41/28.52 c (round 134, fast) 8891 del vars, 28474 del conss, 11618 add conss, 6459 chg bounds, 23543 chg sides, 29998 chg coeffs, 18792 upgd conss, 0 impls, 16428 clqs
28.61/28.72 c (round 135, exhaustive) 8916 del vars, 28474 del conss, 11618 add conss, 6459 chg bounds, 23543 chg sides, 29998 chg coeffs, 18792 upgd conss, 0 impls, 16322 clqs
28.61/28.73 c (round 136, fast) 8916 del vars, 28479 del conss, 11728 add conss, 6459 chg bounds, 23543 chg sides, 29998 chg coeffs, 18792 upgd conss, 0 impls, 16322 clqs
28.61/28.73 c (round 137, fast) 8916 del vars, 28479 del conss, 11728 add conss, 6459 chg bounds, 23633 chg sides, 30171 chg coeffs, 18792 upgd conss, 0 impls, 16322 clqs
28.61/28.76 c (round 138, exhaustive) 8916 del vars, 28524 del conss, 11728 add conss, 6459 chg bounds, 23633 chg sides, 30171 chg coeffs, 18792 upgd conss, 0 impls, 16322 clqs
28.61/28.77 c (round 139, exhaustive) 8916 del vars, 28524 del conss, 11728 add conss, 6459 chg bounds, 23633 chg sides, 30171 chg coeffs, 18857 upgd conss, 0 impls, 16322 clqs
28.61/28.78 c (round 140, fast) 8916 del vars, 28589 del conss, 11728 add conss, 6459 chg bounds, 23633 chg sides, 30171 chg coeffs, 18857 upgd conss, 0 impls, 16322 clqs
29.01/29.15 c (round 141, exhaustive) 8941 del vars, 28589 del conss, 11728 add conss, 6459 chg bounds, 23633 chg sides, 30171 chg coeffs, 18857 upgd conss, 0 impls, 16207 clqs
29.01/29.16 c (round 142, fast) 8941 del vars, 28619 del conss, 11844 add conss, 6459 chg bounds, 23649 chg sides, 30223 chg coeffs, 18857 upgd conss, 0 impls, 16225 clqs
29.01/29.17 c (round 143, fast) 8941 del vars, 28619 del conss, 11844 add conss, 6459 chg bounds, 23732 chg sides, 30379 chg coeffs, 18857 upgd conss, 0 impls, 16225 clqs
29.01/29.18 c (round 144, medium) 8948 del vars, 28619 del conss, 11854 add conss, 6459 chg bounds, 23742 chg sides, 30399 chg coeffs, 18857 upgd conss, 0 impls, 16170 clqs
29.01/29.19 c (round 145, fast) 8948 del vars, 28642 del conss, 11856 add conss, 6459 chg bounds, 23742 chg sides, 30399 chg coeffs, 18857 upgd conss, 0 impls, 16170 clqs
29.11/29.22 c (round 146, exhaustive) 8948 del vars, 28678 del conss, 11856 add conss, 6459 chg bounds, 23742 chg sides, 30407 chg coeffs, 18857 upgd conss, 0 impls, 16170 clqs
29.11/29.23 c (round 147, exhaustive) 8948 del vars, 28678 del conss, 11856 add conss, 6459 chg bounds, 23742 chg sides, 30407 chg coeffs, 18914 upgd conss, 0 impls, 16170 clqs
29.11/29.24 c (round 148, fast) 8948 del vars, 28735 del conss, 11856 add conss, 6459 chg bounds, 23742 chg sides, 30407 chg coeffs, 18914 upgd conss, 0 impls, 16170 clqs
30.11/30.21 c (30.2s) probing: 4000/8974 (44.6%) - 7 fixings, 431 aggregations, 19946 implications, 0 bound changes
36.29/36.47 c (36.5s) probing: 5000/8974 (55.7%) - 7 fixings, 437 aggregations, 21988 implications, 0 bound changes
41.77/41.99 c (round 149, exhaustive) 8973 del vars, 28737 del conss, 11856 add conss, 6459 chg bounds, 23742 chg sides, 30408 chg coeffs, 18914 upgd conss, 0 impls, 18907 clqs
41.88/42.00 c (round 150, fast) 8973 del vars, 28757 del conss, 12007 add conss, 6459 chg bounds, 23758 chg sides, 30456 chg coeffs, 18914 upgd conss, 0 impls, 18924 clqs
41.88/42.01 c (round 151, fast) 8973 del vars, 28757 del conss, 12007 add conss, 6459 chg bounds, 23869 chg sides, 30656 chg coeffs, 18914 upgd conss, 0 impls, 18924 clqs
41.88/42.02 c (round 152, medium) 8981 del vars, 28758 del conss, 12008 add conss, 6459 chg bounds, 23870 chg sides, 30659 chg coeffs, 18914 upgd conss, 0 impls, 18857 clqs
41.88/42.03 c (round 153, fast) 8981 del vars, 28782 del conss, 12009 add conss, 6459 chg bounds, 23870 chg sides, 30659 chg coeffs, 18914 upgd conss, 0 impls, 18857 clqs
41.88/42.07 c (round 154, exhaustive) 8981 del vars, 28792 del conss, 12018 add conss, 6459 chg bounds, 23870 chg sides, 30936 chg coeffs, 18914 upgd conss, 0 impls, 18857 clqs
41.88/42.08 c (round 155, medium) 8981 del vars, 28802 del conss, 12053 add conss, 6459 chg bounds, 23907 chg sides, 31028 chg coeffs, 18914 upgd conss, 0 impls, 18897 clqs
41.88/42.08 c (round 156, fast) 8981 del vars, 28816 del conss, 12067 add conss, 6459 chg bounds, 23909 chg sides, 31033 chg coeffs, 18914 upgd conss, 0 impls, 18897 clqs
41.88/42.09 c (round 157, exhaustive) 8981 del vars, 28870 del conss, 12067 add conss, 6459 chg bounds, 23923 chg sides, 31048 chg coeffs, 18914 upgd conss, 0 impls, 18897 clqs
41.98/42.11 c (round 158, exhaustive) 8981 del vars, 28870 del conss, 12067 add conss, 6459 chg bounds, 23923 chg sides, 31048 chg coeffs, 18997 upgd conss, 0 impls, 18899 clqs
41.98/42.11 c (round 159, fast) 8981 del vars, 28938 del conss, 12067 add conss, 6459 chg bounds, 23923 chg sides, 31048 chg coeffs, 18997 upgd conss, 0 impls, 18899 clqs
41.98/42.12 c (round 160, medium) 8981 del vars, 28945 del conss, 12079 add conss, 6459 chg bounds, 23923 chg sides, 31048 chg coeffs, 18997 upgd conss, 0 impls, 18906 clqs
42.37/42.54 c (round 161, exhaustive) 9006 del vars, 28950 del conss, 12081 add conss, 6459 chg bounds, 23923 chg sides, 31050 chg coeffs, 18997 upgd conss, 0 impls, 18713 clqs
42.37/42.55 c (round 162, fast) 9006 del vars, 28973 del conss, 12163 add conss, 6459 chg bounds, 23924 chg sides, 31050 chg coeffs, 18997 upgd conss, 0 impls, 18714 clqs
42.37/42.55 c (round 163, fast) 9006 del vars, 28973 del conss, 12163 add conss, 6459 chg bounds, 23991 chg sides, 31172 chg coeffs, 18997 upgd conss, 0 impls, 18714 clqs
42.37/42.58 c (round 164, exhaustive) 9006 del vars, 29011 del conss, 12166 add conss, 6459 chg bounds, 23995 chg sides, 31172 chg coeffs, 18997 upgd conss, 0 impls, 18714 clqs
42.37/42.59 c (round 165, exhaustive) 9006 del vars, 29011 del conss, 12166 add conss, 6459 chg bounds, 23995 chg sides, 31172 chg coeffs, 19041 upgd conss, 0 impls, 18716 clqs
42.47/42.60 c (round 166, fast) 9006 del vars, 29051 del conss, 12166 add conss, 6459 chg bounds, 23995 chg sides, 31172 chg coeffs, 19041 upgd conss, 0 impls, 18716 clqs
42.57/42.78 c (round 167, exhaustive) 9031 del vars, 29053 del conss, 12170 add conss, 6459 chg bounds, 23995 chg sides, 31172 chg coeffs, 19041 upgd conss, 0 impls, 18556 clqs
42.57/42.78 c (round 168, fast) 9031 del vars, 29071 del conss, 12249 add conss, 6459 chg bounds, 23997 chg sides, 31172 chg coeffs, 19041 upgd conss, 0 impls, 18556 clqs
42.57/42.79 c (round 169, fast) 9031 del vars, 29071 del conss, 12249 add conss, 6459 chg bounds, 24062 chg sides, 31294 chg coeffs, 19041 upgd conss, 0 impls, 18556 clqs
42.67/42.81 c (round 170, exhaustive) 9031 del vars, 29106 del conss, 12249 add conss, 6459 chg bounds, 24064 chg sides, 31294 chg coeffs, 19041 upgd conss, 0 impls, 18556 clqs
42.67/42.82 c (round 171, exhaustive) 9031 del vars, 29106 del conss, 12249 add conss, 6459 chg bounds, 24064 chg sides, 31294 chg coeffs, 19083 upgd conss, 0 impls, 18556 clqs
42.67/42.83 c (round 172, fast) 9031 del vars, 29146 del conss, 12249 add conss, 6459 chg bounds, 24064 chg sides, 31294 chg coeffs, 19083 upgd conss, 0 impls, 18556 clqs
42.77/42.91 c (42.9s) probing: 6000/8974 (66.9%) - 7 fixings, 502 aggregations, 25349 implications, 0 bound changes
42.87/43.01 c (round 173, exhaustive) 9056 del vars, 29147 del conss, 12251 add conss, 6459 chg bounds, 24064 chg sides, 31294 chg coeffs, 19083 upgd conss, 0 impls, 18420 clqs
42.87/43.02 c (round 174, fast) 9056 del vars, 29147 del conss, 12348 add conss, 6459 chg bounds, 24064 chg sides, 31294 chg coeffs, 19083 upgd conss, 0 impls, 18420 clqs
42.87/43.02 c (round 175, fast) 9056 del vars, 29147 del conss, 12348 add conss, 6459 chg bounds, 24148 chg sides, 31438 chg coeffs, 19083 upgd conss, 0 impls, 18420 clqs
42.87/43.05 c (round 176, exhaustive) 9056 del vars, 29196 del conss, 12348 add conss, 6459 chg bounds, 24148 chg sides, 31438 chg coeffs, 19083 upgd conss, 0 impls, 18420 clqs
42.87/43.06 c (round 177, exhaustive) 9056 del vars, 29196 del conss, 12348 add conss, 6459 chg bounds, 24148 chg sides, 31438 chg coeffs, 19129 upgd conss, 0 impls, 18420 clqs
42.87/43.06 c (round 178, fast) 9056 del vars, 29242 del conss, 12348 add conss, 6459 chg bounds, 24148 chg sides, 31438 chg coeffs, 19129 upgd conss, 0 impls, 18420 clqs
43.07/43.24 c (round 179, exhaustive) 9081 del vars, 29242 del conss, 12348 add conss, 6459 chg bounds, 24148 chg sides, 31438 chg coeffs, 19129 upgd conss, 0 impls, 18304 clqs
43.07/43.25 c (round 180, fast) 9081 del vars, 29244 del conss, 12460 add conss, 6459 chg bounds, 24148 chg sides, 31438 chg coeffs, 19129 upgd conss, 0 impls, 18304 clqs
43.07/43.25 c (round 181, fast) 9081 del vars, 29244 del conss, 12460 add conss, 6459 chg bounds, 24244 chg sides, 31596 chg coeffs, 19129 upgd conss, 0 impls, 18304 clqs
43.07/43.28 c (round 182, exhaustive) 9081 del vars, 29302 del conss, 12460 add conss, 6459 chg bounds, 24246 chg sides, 31596 chg coeffs, 19129 upgd conss, 0 impls, 18304 clqs
43.07/43.29 c (round 183, exhaustive) 9081 del vars, 29302 del conss, 12460 add conss, 6459 chg bounds, 24246 chg sides, 31596 chg coeffs, 19184 upgd conss, 0 impls, 18304 clqs
43.07/43.30 c (round 184, fast) 9081 del vars, 29355 del conss, 12460 add conss, 6459 chg bounds, 24246 chg sides, 31596 chg coeffs, 19184 upgd conss, 0 impls, 18304 clqs
43.27/43.48 c (round 185, exhaustive) 9106 del vars, 29358 del conss, 12462 add conss, 6459 chg bounds, 24246 chg sides, 31596 chg coeffs, 19184 upgd conss, 0 impls, 18168 clqs
43.27/43.49 c (round 186, fast) 9106 del vars, 29360 del conss, 12566 add conss, 6459 chg bounds, 24246 chg sides, 31596 chg coeffs, 19184 upgd conss, 0 impls, 18168 clqs
43.27/43.49 c (round 187, fast) 9106 del vars, 29360 del conss, 12566 add conss, 6459 chg bounds, 24343 chg sides, 31753 chg coeffs, 19184 upgd conss, 0 impls, 18168 clqs
43.37/43.52 c (round 188, exhaustive) 9106 del vars, 29418 del conss, 12566 add conss, 6459 chg bounds, 24343 chg sides, 31753 chg coeffs, 19184 upgd conss, 0 impls, 18168 clqs
43.37/43.53 c (round 189, exhaustive) 9106 del vars, 29418 del conss, 12566 add conss, 6459 chg bounds, 24343 chg sides, 31753 chg coeffs, 19230 upgd conss, 0 impls, 18168 clqs
43.37/43.53 c (round 190, fast) 9106 del vars, 29464 del conss, 12566 add conss, 6459 chg bounds, 24343 chg sides, 31753 chg coeffs, 19230 upgd conss, 0 impls, 18168 clqs
43.57/43.73 c (round 191, exhaustive) 9131 del vars, 29464 del conss, 12566 add conss, 6459 chg bounds, 24343 chg sides, 31753 chg coeffs, 19230 upgd conss, 0 impls, 17990 clqs
43.57/43.74 c (round 192, fast) 9131 del vars, 29474 del conss, 12671 add conss, 6459 chg bounds, 24343 chg sides, 31753 chg coeffs, 19230 upgd conss, 0 impls, 17993 clqs
43.57/43.74 c (round 193, fast) 9131 del vars, 29474 del conss, 12671 add conss, 6459 chg bounds, 24430 chg sides, 31906 chg coeffs, 19230 upgd conss, 0 impls, 17993 clqs
43.57/43.75 c (round 194, medium) 9131 del vars, 29474 del conss, 12673 add conss, 6459 chg bounds, 24501 chg sides, 31979 chg coeffs, 19230 upgd conss, 0 impls, 17994 clqs
43.57/43.78 c (round 195, exhaustive) 9131 del vars, 29526 del conss, 12673 add conss, 6459 chg bounds, 24501 chg sides, 32007 chg coeffs, 19230 upgd conss, 0 impls, 17994 clqs
43.57/43.79 c (round 196, exhaustive) 9131 del vars, 29526 del conss, 12673 add conss, 6459 chg bounds, 24502 chg sides, 32014 chg coeffs, 19282 upgd conss, 0 impls, 17994 clqs
43.57/43.79 c (round 197, fast) 9131 del vars, 29578 del conss, 12673 add conss, 6459 chg bounds, 24502 chg sides, 32014 chg coeffs, 19282 upgd conss, 0 impls, 17994 clqs
49.15/49.34 c (49.3s) probing: 7000/8974 (78.0%) - 7 fixings, 616 aggregations, 28281 implications, 0 bound changes
49.45/49.60 c (round 198, exhaustive) 9156 del vars, 29578 del conss, 12673 add conss, 6459 chg bounds, 24502 chg sides, 32017 chg coeffs, 19282 upgd conss, 0 impls, 18910 clqs
49.45/49.61 c (round 199, fast) 9156 del vars, 29596 del conss, 12823 add conss, 6459 chg bounds, 24522 chg sides, 32093 chg coeffs, 19282 upgd conss, 0 impls, 18930 clqs
49.45/49.61 c (round 200, fast) 9156 del vars, 29596 del conss, 12823 add conss, 6459 chg bounds, 24628 chg sides, 32278 chg coeffs, 19282 upgd conss, 0 impls, 18930 clqs
49.45/49.63 c (round 201, medium) 9166 del vars, 29596 del conss, 12825 add conss, 6459 chg bounds, 24630 chg sides, 32282 chg coeffs, 19282 upgd conss, 0 impls, 18839 clqs
49.45/49.63 c (round 202, fast) 9166 del vars, 29626 del conss, 12825 add conss, 6459 chg bounds, 24630 chg sides, 32282 chg coeffs, 19282 upgd conss, 0 impls, 18839 clqs
49.45/49.68 c (round 203, exhaustive) 9166 del vars, 29693 del conss, 12828 add conss, 6459 chg bounds, 24632 chg sides, 32376 chg coeffs, 19282 upgd conss, 0 impls, 18839 clqs
49.45/49.69 c (round 204, medium) 9166 del vars, 29695 del conss, 12842 add conss, 6459 chg bounds, 24646 chg sides, 32411 chg coeffs, 19282 upgd conss, 0 impls, 18851 clqs
49.55/49.70 c (round 205, exhaustive) 9166 del vars, 29704 del conss, 12848 add conss, 6459 chg bounds, 24646 chg sides, 32411 chg coeffs, 19282 upgd conss, 0 impls, 18851 clqs
49.55/49.71 c (round 206, exhaustive) 9167 del vars, 29707 del conss, 12849 add conss, 6459 chg bounds, 24646 chg sides, 32412 chg coeffs, 19343 upgd conss, 0 impls, 18847 clqs
49.55/49.72 c (round 207, fast) 9167 del vars, 29767 del conss, 12849 add conss, 6459 chg bounds, 24647 chg sides, 32412 chg coeffs, 19343 upgd conss, 0 impls, 18848 clqs
49.75/49.93 c (round 208, exhaustive) 9192 del vars, 29770 del conss, 12851 add conss, 6459 chg bounds, 24647 chg sides, 32420 chg coeffs, 19343 upgd conss, 0 impls, 18655 clqs
49.75/49.94 c (round 209, fast) 9192 del vars, 29774 del conss, 12953 add conss, 6459 chg bounds, 24647 chg sides, 32420 chg coeffs, 19343 upgd conss, 0 impls, 18657 clqs
49.75/49.94 c (round 210, fast) 9192 del vars, 29774 del conss, 12953 add conss, 6459 chg bounds, 24726 chg sides, 32563 chg coeffs, 19343 upgd conss, 0 impls, 18657 clqs
49.75/49.97 c (round 211, exhaustive) 9192 del vars, 29828 del conss, 12956 add conss, 6459 chg bounds, 24734 chg sides, 32563 chg coeffs, 19343 upgd conss, 0 impls, 18657 clqs
49.75/49.98 c (round 212, exhaustive) 9192 del vars, 29828 del conss, 12956 add conss, 6459 chg bounds, 24734 chg sides, 32563 chg coeffs, 19400 upgd conss, 0 impls, 18658 clqs
49.75/49.99 c (round 213, fast) 9192 del vars, 29877 del conss, 12956 add conss, 6459 chg bounds, 24734 chg sides, 32563 chg coeffs, 19400 upgd conss, 0 impls, 18658 clqs
49.75/50.00 c (round 214, exhaustive) 9192 del vars, 29887 del conss, 12964 add conss, 6459 chg bounds, 24734 chg sides, 32563 chg coeffs, 19400 upgd conss, 0 impls, 18663 clqs
49.95/50.17 c (round 215, exhaustive) 9217 del vars, 29887 del conss, 12964 add conss, 6459 chg bounds, 24734 chg sides, 32563 chg coeffs, 19400 upgd conss, 0 impls, 18462 clqs
49.95/50.18 c (round 216, fast) 9217 del vars, 29894 del conss, 13068 add conss, 6459 chg bounds, 24734 chg sides, 32563 chg coeffs, 19400 upgd conss, 0 impls, 18462 clqs
49.95/50.18 c (round 217, fast) 9217 del vars, 29894 del conss, 13068 add conss, 6459 chg bounds, 24820 chg sides, 32712 chg coeffs, 19400 upgd conss, 0 impls, 18462 clqs
50.05/50.22 c (round 218, exhaustive) 9217 del vars, 29946 del conss, 13068 add conss, 6459 chg bounds, 24826 chg sides, 32712 chg coeffs, 19400 upgd conss, 0 impls, 18462 clqs
50.05/50.23 c (round 219, exhaustive) 9217 del vars, 29946 del conss, 13068 add conss, 6459 chg bounds, 24826 chg sides, 32712 chg coeffs, 19452 upgd conss, 0 impls, 18462 clqs
50.05/50.23 c (round 220, fast) 9217 del vars, 29992 del conss, 13068 add conss, 6459 chg bounds, 24826 chg sides, 32712 chg coeffs, 19452 upgd conss, 0 impls, 18462 clqs
50.05/50.24 c (round 221, exhaustive) 9217 del vars, 30001 del conss, 13074 add conss, 6459 chg bounds, 24826 chg sides, 32712 chg coeffs, 19452 upgd conss, 0 impls, 18465 clqs
50.25/50.42 c (round 222, exhaustive) 9242 del vars, 30002 del conss, 13074 add conss, 6459 chg bounds, 24826 chg sides, 32712 chg coeffs, 19452 upgd conss, 0 impls, 18271 clqs
50.25/50.43 c (round 223, fast) 9242 del vars, 30010 del conss, 13180 add conss, 6459 chg bounds, 24828 chg sides, 32720 chg coeffs, 19452 upgd conss, 0 impls, 18273 clqs
50.25/50.44 c (round 224, fast) 9242 del vars, 30010 del conss, 13180 add conss, 6459 chg bounds, 24908 chg sides, 32862 chg coeffs, 19452 upgd conss, 0 impls, 18273 clqs
50.25/50.47 c (round 225, exhaustive) 9242 del vars, 30064 del conss, 13185 add conss, 6459 chg bounds, 24916 chg sides, 32880 chg coeffs, 19452 upgd conss, 0 impls, 18279 clqs
50.25/50.48 c (round 226, exhaustive) 9242 del vars, 30064 del conss, 13188 add conss, 6459 chg bounds, 24919 chg sides, 32888 chg coeffs, 19501 upgd conss, 0 impls, 18281 clqs
50.25/50.48 c (round 227, fast) 9242 del vars, 30111 del conss, 13188 add conss, 6459 chg bounds, 24919 chg sides, 32888 chg coeffs, 19501 upgd conss, 0 impls, 18282 clqs
55.63/55.82 c (55.8s) probing: 8000/8974 (89.1%) - 7 fixings, 697 aggregations, 30429 implications, 0 bound changes
57.13/57.30 c (round 228, exhaustive) 9267 del vars, 30114 del conss, 13190 add conss, 6459 chg bounds, 24919 chg sides, 32889 chg coeffs, 19501 upgd conss, 0 impls, 23498 clqs
57.13/57.31 c (round 229, fast) 9267 del vars, 30176 del conss, 13329 add conss, 6459 chg bounds, 24921 chg sides, 32897 chg coeffs, 19501 upgd conss, 0 impls, 23501 clqs
57.13/57.31 c (round 230, fast) 9267 del vars, 30176 del conss, 13329 add conss, 6459 chg bounds, 25034 chg sides, 33087 chg coeffs, 19501 upgd conss, 0 impls, 23501 clqs
57.13/57.37 c (round 231, exhaustive) 9268 del vars, 30221 del conss, 13371 add conss, 6459 chg bounds, 25034 chg sides, 33159 chg coeffs, 19501 upgd conss, 0 impls, 23490 clqs
57.13/57.38 c (round 232, exhaustive) 9268 del vars, 30299 del conss, 13373 add conss, 6459 chg bounds, 25036 chg sides, 33169 chg coeffs, 19501 upgd conss, 0 impls, 23538 clqs
57.13/57.39 c (round 233, exhaustive) 9268 del vars, 30299 del conss, 13373 add conss, 6459 chg bounds, 25036 chg sides, 33169 chg coeffs, 19558 upgd conss, 0 impls, 23539 clqs
57.23/57.40 c (round 234, fast) 9268 del vars, 30356 del conss, 13373 add conss, 6459 chg bounds, 25036 chg sides, 33169 chg coeffs, 19558 upgd conss, 0 impls, 23539 clqs
57.43/57.65 c (round 235, exhaustive) 9293 del vars, 30357 del conss, 13373 add conss, 6459 chg bounds, 25036 chg sides, 33172 chg coeffs, 19558 upgd conss, 0 impls, 23357 clqs
57.43/57.66 c (round 236, fast) 9293 del vars, 30432 del conss, 13403 add conss, 6459 chg bounds, 25036 chg sides, 33172 chg coeffs, 19558 upgd conss, 0 impls, 23358 clqs
57.43/57.66 c (round 237, fast) 9293 del vars, 30432 del conss, 13403 add conss, 6459 chg bounds, 25067 chg sides, 33210 chg coeffs, 19558 upgd conss, 0 impls, 23358 clqs
57.43/57.69 c (round 238, exhaustive) 9293 del vars, 30443 del conss, 13413 add conss, 6459 chg bounds, 25067 chg sides, 33210 chg coeffs, 19558 upgd conss, 0 impls, 23358 clqs
57.53/57.70 c (round 239, exhaustive) 9293 del vars, 30465 del conss, 13413 add conss, 6459 chg bounds, 25067 chg sides, 33210 chg coeffs, 19558 upgd conss, 0 impls, 23367 clqs
57.53/57.72 c (round 240, exhaustive) 9293 del vars, 30473 del conss, 13413 add conss, 6459 chg bounds, 25067 chg sides, 33210 chg coeffs, 19566 upgd conss, 0 impls, 23367 clqs
57.53/57.74 c (round 241, exhaustive) 9293 del vars, 30488 del conss, 13413 add conss, 6459 chg bounds, 25067 chg sides, 33210 chg coeffs, 19566 upgd conss, 0 impls, 23367 clqs
57.73/57.97 c (round 242, exhaustive) 9318 del vars, 30488 del conss, 13413 add conss, 6459 chg bounds, 25067 chg sides, 33210 chg coeffs, 19566 upgd conss, 0 impls, 23184 clqs
57.73/57.98 c (round 243, fast) 9318 del vars, 30530 del conss, 13440 add conss, 6459 chg bounds, 25067 chg sides, 33210 chg coeffs, 19566 upgd conss, 0 impls, 23184 clqs
57.73/57.98 c (round 244, fast) 9318 del vars, 30530 del conss, 13440 add conss, 6459 chg bounds, 25092 chg sides, 33244 chg coeffs, 19566 upgd conss, 0 impls, 23184 clqs
57.83/58.01 c (round 245, exhaustive) 9318 del vars, 30538 del conss, 13448 add conss, 6459 chg bounds, 25092 chg sides, 33244 chg coeffs, 19566 upgd conss, 0 impls, 23184 clqs
57.83/58.02 c (round 246, exhaustive) 9318 del vars, 30555 del conss, 13448 add conss, 6459 chg bounds, 25092 chg sides, 33244 chg coeffs, 19566 upgd conss, 0 impls, 23192 clqs
57.83/58.03 c (round 247, exhaustive) 9318 del vars, 30565 del conss, 13448 add conss, 6459 chg bounds, 25092 chg sides, 33244 chg coeffs, 19576 upgd conss, 0 impls, 23192 clqs
58.03/58.22 c (round 248, exhaustive) 9343 del vars, 30565 del conss, 13448 add conss, 6459 chg bounds, 25092 chg sides, 33244 chg coeffs, 19576 upgd conss, 0 impls, 22976 clqs
58.03/58.23 c (round 249, fast) 9343 del vars, 30578 del conss, 13476 add conss, 6459 chg bounds, 25092 chg sides, 33244 chg coeffs, 19576 upgd conss, 0 impls, 22976 clqs
58.03/58.23 c (round 250, fast) 9343 del vars, 30578 del conss, 13476 add conss, 6459 chg bounds, 25126 chg sides, 33285 chg coeffs, 19576 upgd conss, 0 impls, 22976 clqs
58.03/58.25 c (round 251, exhaustive) 9343 del vars, 30601 del conss, 13479 add conss, 6459 chg bounds, 25126 chg sides, 33285 chg coeffs, 19576 upgd conss, 0 impls, 22976 clqs
58.03/58.26 c (round 252, exhaustive) 9343 del vars, 30609 del conss, 13479 add conss, 6459 chg bounds, 25126 chg sides, 33285 chg coeffs, 19584 upgd conss, 0 impls, 22979 clqs
58.22/58.45 c (round 253, exhaustive) 9368 del vars, 30609 del conss, 13479 add conss, 6459 chg bounds, 25126 chg sides, 33285 chg coeffs, 19584 upgd conss, 0 impls, 22752 clqs
58.22/58.46 c (round 254, fast) 9368 del vars, 30613 del conss, 13505 add conss, 6459 chg bounds, 25126 chg sides, 33285 chg coeffs, 19584 upgd conss, 0 impls, 22752 clqs
58.22/58.46 c (round 255, fast) 9368 del vars, 30613 del conss, 13505 add conss, 6459 chg bounds, 25150 chg sides, 33316 chg coeffs, 19584 upgd conss, 0 impls, 22752 clqs
58.22/58.49 c (round 256, exhaustive) 9369 del vars, 30636 del conss, 13506 add conss, 6459 chg bounds, 25150 chg sides, 33316 chg coeffs, 19584 upgd conss, 0 impls, 22743 clqs
58.32/58.50 c (round 257, exhaustive) 9369 del vars, 30643 del conss, 13506 add conss, 6459 chg bounds, 25150 chg sides, 33316 chg coeffs, 19591 upgd conss, 0 impls, 22744 clqs
58.42/58.69 c (round 258, exhaustive) 9394 del vars, 30643 del conss, 13506 add conss, 6459 chg bounds, 25150 chg sides, 33316 chg coeffs, 19591 upgd conss, 0 impls, 22509 clqs
58.52/58.70 c (round 259, fast) 9394 del vars, 30662 del conss, 13574 add conss, 6459 chg bounds, 25150 chg sides, 33316 chg coeffs, 19591 upgd conss, 0 impls, 22509 clqs
58.52/58.70 c (round 260, fast) 9394 del vars, 30662 del conss, 13574 add conss, 6459 chg bounds, 25209 chg sides, 33409 chg coeffs, 19591 upgd conss, 0 impls, 22509 clqs
58.52/58.72 c (round 261, exhaustive) 9394 del vars, 30706 del conss, 13578 add conss, 6459 chg bounds, 25211 chg sides, 33409 chg coeffs, 19591 upgd conss, 0 impls, 22509 clqs
58.52/58.74 c (round 262, exhaustive) 9394 del vars, 30706 del conss, 13578 add conss, 6459 chg bounds, 25211 chg sides, 33409 chg coeffs, 19620 upgd conss, 0 impls, 22513 clqs
58.52/58.74 c (round 263, fast) 9394 del vars, 30733 del conss, 13578 add conss, 6459 chg bounds, 25211 chg sides, 33409 chg coeffs, 19620 upgd conss, 0 impls, 22513 clqs
58.72/58.92 c (round 264, exhaustive) 9419 del vars, 30737 del conss, 13580 add conss, 6459 chg bounds, 25211 chg sides, 33409 chg coeffs, 19620 upgd conss, 0 impls, 22265 clqs
58.72/58.93 c (round 265, fast) 9419 del vars, 30750 del conss, 13684 add conss, 6459 chg bounds, 25211 chg sides, 33409 chg coeffs, 19620 upgd conss, 0 impls, 22266 clqs
58.72/58.93 c (round 266, fast) 9419 del vars, 30750 del conss, 13684 add conss, 6459 chg bounds, 25296 chg sides, 33559 chg coeffs, 19620 upgd conss, 0 impls, 22266 clqs
58.72/58.96 c (round 267, exhaustive) 9419 del vars, 30808 del conss, 13684 add conss, 6459 chg bounds, 25296 chg sides, 33559 chg coeffs, 19620 upgd conss, 0 impls, 22266 clqs
58.72/58.97 c (round 268, exhaustive) 9419 del vars, 30808 del conss, 13684 add conss, 6459 chg bounds, 25296 chg sides, 33559 chg coeffs, 19665 upgd conss, 0 impls, 22266 clqs
58.72/58.98 c (round 269, fast) 9419 del vars, 30853 del conss, 13684 add conss, 6459 chg bounds, 25296 chg sides, 33559 chg coeffs, 19665 upgd conss, 0 impls, 22266 clqs
58.93/59.15 c (round 270, exhaustive) 9444 del vars, 30853 del conss, 13684 add conss, 6459 chg bounds, 25296 chg sides, 33559 chg coeffs, 19665 upgd conss, 0 impls, 21987 clqs
58.93/59.16 c (round 271, fast) 9444 del vars, 30867 del conss, 13790 add conss, 6459 chg bounds, 25296 chg sides, 33559 chg coeffs, 19665 upgd conss, 0 impls, 21987 clqs
58.93/59.16 c (round 272, fast) 9444 del vars, 30867 del conss, 13790 add conss, 6459 chg bounds, 25392 chg sides, 33706 chg coeffs, 19665 upgd conss, 0 impls, 21987 clqs
58.93/59.19 c (round 273, exhaustive) 9444 del vars, 30935 del conss, 13790 add conss, 6459 chg bounds, 25392 chg sides, 33706 chg coeffs, 19665 upgd conss, 0 impls, 21987 clqs
59.02/59.20 c (round 274, exhaustive) 9444 del vars, 30935 del conss, 13790 add conss, 6459 chg bounds, 25392 chg sides, 33706 chg coeffs, 19703 upgd conss, 0 impls, 21987 clqs
59.02/59.21 c (round 275, fast) 9444 del vars, 30973 del conss, 13790 add conss, 6459 chg bounds, 25392 chg sides, 33706 chg coeffs, 19703 upgd conss, 0 impls, 21987 clqs
59.12/59.39 c (round 276, exhaustive) 9469 del vars, 30973 del conss, 13790 add conss, 6459 chg bounds, 25392 chg sides, 33706 chg coeffs, 19703 upgd conss, 0 impls, 21767 clqs
59.22/59.40 c (round 277, fast) 9469 del vars, 31027 del conss, 13847 add conss, 6459 chg bounds, 25395 chg sides, 33715 chg coeffs, 19703 upgd conss, 0 impls, 21769 clqs
59.22/59.40 c (round 278, fast) 9469 del vars, 31027 del conss, 13847 add conss, 6459 chg bounds, 25436 chg sides, 33786 chg coeffs, 19703 upgd conss, 0 impls, 21770 clqs
59.22/59.42 c (round 279, exhaustive) 9469 del vars, 31042 del conss, 13862 add conss, 6459 chg bounds, 25436 chg sides, 33789 chg coeffs, 19703 upgd conss, 0 impls, 21770 clqs
59.22/59.43 c (round 280, fast) 9469 del vars, 31057 del conss, 13862 add conss, 6459 chg bounds, 25436 chg sides, 33789 chg coeffs, 19703 upgd conss, 0 impls, 21771 clqs
59.22/59.44 c (round 281, exhaustive) 9469 del vars, 31086 del conss, 13865 add conss, 6459 chg bounds, 25439 chg sides, 33797 chg coeffs, 19703 upgd conss, 0 impls, 21773 clqs
59.22/59.45 c (round 282, exhaustive) 9469 del vars, 31086 del conss, 13865 add conss, 6459 chg bounds, 25439 chg sides, 33797 chg coeffs, 19729 upgd conss, 0 impls, 21773 clqs
59.22/59.46 c (round 283, fast) 9469 del vars, 31109 del conss, 13865 add conss, 6459 chg bounds, 25439 chg sides, 33797 chg coeffs, 19729 upgd conss, 0 impls, 21774 clqs
60.12/60.35 c (round 284, exhaustive) 9494 del vars, 31111 del conss, 13865 add conss, 6459 chg bounds, 25439 chg sides, 33798 chg coeffs, 19729 upgd conss, 0 impls, 23157 clqs
60.12/60.36 c (round 285, fast) 9494 del vars, 31150 del conss, 13961 add conss, 6459 chg bounds, 25443 chg sides, 33812 chg coeffs, 19729 upgd conss, 0 impls, 23160 clqs
60.12/60.36 c (round 286, fast) 9494 del vars, 31150 del conss, 13961 add conss, 6459 chg bounds, 25519 chg sides, 33934 chg coeffs, 19729 upgd conss, 0 impls, 23161 clqs
60.22/60.40 c (round 287, exhaustive) 9494 del vars, 31162 del conss, 13973 add conss, 6459 chg bounds, 25519 chg sides, 33946 chg coeffs, 19729 upgd conss, 0 impls, 23161 clqs
60.22/60.42 c (round 288, exhaustive) 9494 del vars, 31217 del conss, 13974 add conss, 6459 chg bounds, 25520 chg sides, 33949 chg coeffs, 19729 upgd conss, 0 impls, 23174 clqs
60.22/60.43 c (round 289, exhaustive) 9494 del vars, 31218 del conss, 13974 add conss, 6459 chg bounds, 25520 chg sides, 33949 chg coeffs, 19767 upgd conss, 0 impls, 23174 clqs
60.22/60.44 c (round 290, fast) 9494 del vars, 31252 del conss, 13974 add conss, 6459 chg bounds, 25520 chg sides, 33949 chg coeffs, 19767 upgd conss, 0 impls, 23174 clqs
60.42/60.62 c (round 291, exhaustive) 9519 del vars, 31256 del conss, 13974 add conss, 6459 chg bounds, 25520 chg sides, 33951 chg coeffs, 19767 upgd conss, 0 impls, 22927 clqs
60.42/60.63 c (round 292, fast) 9519 del vars, 31289 del conss, 13998 add conss, 6459 chg bounds, 25520 chg sides, 33951 chg coeffs, 19767 upgd conss, 0 impls, 22927 clqs
60.42/60.63 c (round 293, fast) 9519 del vars, 31289 del conss, 13998 add conss, 6459 chg bounds, 25541 chg sides, 33980 chg coeffs, 19767 upgd conss, 0 impls, 22927 clqs
60.42/60.66 c (round 294, exhaustive) 9522 del vars, 31306 del conss, 14005 add conss, 6459 chg bounds, 25541 chg sides, 33980 chg coeffs, 19767 upgd conss, 0 impls, 22899 clqs
60.42/60.67 c (round 295, exhaustive) 9522 del vars, 31321 del conss, 14005 add conss, 6459 chg bounds, 25543 chg sides, 33980 chg coeffs, 19767 upgd conss, 0 impls, 22905 clqs
60.42/60.68 c (round 296, exhaustive) 9522 del vars, 31327 del conss, 14005 add conss, 6459 chg bounds, 25543 chg sides, 33980 chg coeffs, 19777 upgd conss, 0 impls, 22905 clqs
61.61/61.86 c (round 297, exhaustive) 9547 del vars, 31334 del conss, 14007 add conss, 6459 chg bounds, 25543 chg sides, 33980 chg coeffs, 19777 upgd conss, 0 impls, 26943 clqs
61.61/61.88 c (round 298, fast) 9547 del vars, 31341 del conss, 14140 add conss, 6459 chg bounds, 25547 chg sides, 33980 chg coeffs, 19777 upgd conss, 0 impls, 26944 clqs
61.61/61.88 c (round 299, fast) 9547 del vars, 31341 del conss, 14140 add conss, 6459 chg bounds, 25648 chg sides, 34163 chg coeffs, 19777 upgd conss, 0 impls, 26944 clqs
61.61/61.89 c (round 300, medium) 9547 del vars, 31341 del conss, 14189 add conss, 6459 chg bounds, 25714 chg sides, 34280 chg coeffs, 19777 upgd conss, 0 impls, 26946 clqs
61.71/61.93 c (round 301, exhaustive) 9547 del vars, 31351 del conss, 14195 add conss, 6459 chg bounds, 25714 chg sides, 34425 chg coeffs, 19777 upgd conss, 0 impls, 26946 clqs
61.71/61.95 c (round 302, exhaustive) 9547 del vars, 31430 del conss, 14195 add conss, 6459 chg bounds, 25721 chg sides, 34453 chg coeffs, 19777 upgd conss, 0 impls, 26946 clqs
61.71/61.96 c (round 303, exhaustive) 9547 del vars, 31431 del conss, 14195 add conss, 6459 chg bounds, 25721 chg sides, 34453 chg coeffs, 19840 upgd conss, 0 impls, 26946 clqs
61.71/61.97 c (round 304, fast) 9547 del vars, 31484 del conss, 14195 add conss, 6459 chg bounds, 25721 chg sides, 34453 chg coeffs, 19840 upgd conss, 0 impls, 26947 clqs
61.92/62.14 c (round 305, exhaustive) 9572 del vars, 31492 del conss, 14199 add conss, 6459 chg bounds, 25721 chg sides, 34453 chg coeffs, 19840 upgd conss, 0 impls, 26717 clqs
61.92/62.15 c (round 306, fast) 9572 del vars, 31493 del conss, 14291 add conss, 6459 chg bounds, 25721 chg sides, 34453 chg coeffs, 19840 upgd conss, 0 impls, 26719 clqs
61.92/62.15 c (round 307, fast) 9572 del vars, 31493 del conss, 14291 add conss, 6459 chg bounds, 25811 chg sides, 34591 chg coeffs, 19840 upgd conss, 0 impls, 26719 clqs
61.92/62.18 c (round 308, exhaustive) 9572 del vars, 31559 del conss, 14293 add conss, 6459 chg bounds, 25811 chg sides, 34591 chg coeffs, 19840 upgd conss, 0 impls, 26720 clqs
62.01/62.20 c (round 309, exhaustive) 9572 del vars, 31559 del conss, 14293 add conss, 6459 chg bounds, 25811 chg sides, 34591 chg coeffs, 19868 upgd conss, 0 impls, 26720 clqs
62.01/62.20 c (round 310, fast) 9572 del vars, 31585 del conss, 14293 add conss, 6459 chg bounds, 25811 chg sides, 34591 chg coeffs, 19868 upgd conss, 0 impls, 26720 clqs
62.11/62.38 c (round 311, exhaustive) 9597 del vars, 31587 del conss, 14293 add conss, 6459 chg bounds, 25811 chg sides, 34591 chg coeffs, 19868 upgd conss, 0 impls, 26399 clqs
62.11/62.39 c (round 312, fast) 9597 del vars, 31597 del conss, 14384 add conss, 6459 chg bounds, 25811 chg sides, 34591 chg coeffs, 19868 upgd conss, 0 impls, 26403 clqs
62.21/62.40 c (round 313, fast) 9597 del vars, 31597 del conss, 14384 add conss, 6459 chg bounds, 25889 chg sides, 34721 chg coeffs, 19868 upgd conss, 0 impls, 26403 clqs
62.21/62.41 c (round 314, exhaustive) 9597 del vars, 31601 del conss, 14392 add conss, 6459 chg bounds, 25895 chg sides, 34733 chg coeffs, 19868 upgd conss, 0 impls, 26403 clqs
62.21/62.44 c (round 315, exhaustive) 9597 del vars, 31652 del conss, 14392 add conss, 6459 chg bounds, 25895 chg sides, 34741 chg coeffs, 19868 upgd conss, 0 impls, 26403 clqs
62.21/62.46 c (round 316, exhaustive) 9597 del vars, 31654 del conss, 14392 add conss, 6459 chg bounds, 25895 chg sides, 34741 chg coeffs, 19908 upgd conss, 0 impls, 26403 clqs
62.21/62.46 c (round 317, fast) 9597 del vars, 31693 del conss, 14392 add conss, 6459 chg bounds, 25895 chg sides, 34741 chg coeffs, 19908 upgd conss, 0 impls, 26403 clqs
62.41/62.64 c (round 318, exhaustive) 9622 del vars, 31694 del conss, 14392 add conss, 6459 chg bounds, 25895 chg sides, 34741 chg coeffs, 19908 upgd conss, 0 impls, 26040 clqs
62.41/62.65 c (round 319, fast) 9622 del vars, 31695 del conss, 14483 add conss, 6459 chg bounds, 25895 chg sides, 34741 chg coeffs, 19908 upgd conss, 0 impls, 26041 clqs
62.41/62.66 c (round 320, fast) 9622 del vars, 31695 del conss, 14483 add conss, 6459 chg bounds, 25958 chg sides, 34857 chg coeffs, 19908 upgd conss, 0 impls, 26041 clqs
62.41/62.67 c (round 321, medium) 9622 del vars, 31695 del conss, 14530 add conss, 6459 chg bounds, 26006 chg sides, 34960 chg coeffs, 19908 upgd conss, 0 impls, 26049 clqs
62.51/62.70 c (round 322, exhaustive) 9622 del vars, 31742 del conss, 14530 add conss, 6459 chg bounds, 26006 chg sides, 35136 chg coeffs, 19908 upgd conss, 0 impls, 26049 clqs
62.51/62.71 c (round 323, medium) 9622 del vars, 31751 del conss, 14701 add conss, 6459 chg bounds, 26183 chg sides, 35501 chg coeffs, 19908 upgd conss, 0 impls, 26051 clqs
62.51/62.72 c (round 324, exhaustive) 9622 del vars, 31751 del conss, 14701 add conss, 6459 chg bounds, 26187 chg sides, 35524 chg coeffs, 19953 upgd conss, 0 impls, 26051 clqs
62.51/62.73 c (round 325, fast) 9622 del vars, 31793 del conss, 14701 add conss, 6459 chg bounds, 26189 chg sides, 35530 chg coeffs, 19953 upgd conss, 0 impls, 26051 clqs
62.81/63.06 c (63.1s) probing cycle finished: starting next cycle
63.11/63.36 c (round 326, exhaustive) 9647 del vars, 31796 del conss, 14701 add conss, 6459 chg bounds, 26189 chg sides, 35533 chg coeffs, 19953 upgd conss, 0 impls, 26589 clqs
63.11/63.37 c (round 327, fast) 9647 del vars, 31827 del conss, 14807 add conss, 6459 chg bounds, 26189 chg sides, 35533 chg coeffs, 19953 upgd conss, 0 impls, 26593 clqs
63.11/63.37 c (round 328, fast) 9647 del vars, 31827 del conss, 14807 add conss, 6459 chg bounds, 26274 chg sides, 35678 chg coeffs, 19953 upgd conss, 0 impls, 26593 clqs
63.11/63.38 c (round 329, medium) 9647 del vars, 31836 del conss, 14809 add conss, 6459 chg bounds, 26276 chg sides, 35683 chg coeffs, 19953 upgd conss, 0 impls, 26593 clqs
63.21/63.42 c (round 330, exhaustive) 9647 del vars, 31899 del conss, 14813 add conss, 6459 chg bounds, 26276 chg sides, 35713 chg coeffs, 19953 upgd conss, 0 impls, 26593 clqs
63.21/63.43 c (round 331, medium) 9647 del vars, 31899 del conss, 14824 add conss, 6459 chg bounds, 26291 chg sides, 35741 chg coeffs, 19953 upgd conss, 0 impls, 26595 clqs
63.21/63.44 c (round 332, exhaustive) 9647 del vars, 31899 del conss, 14824 add conss, 6459 chg bounds, 26291 chg sides, 35746 chg coeffs, 20005 upgd conss, 0 impls, 26595 clqs
63.21/63.45 c (round 333, fast) 9647 del vars, 31948 del conss, 14824 add conss, 6459 chg bounds, 26291 chg sides, 35746 chg coeffs, 20005 upgd conss, 0 impls, 26596 clqs
64.11/64.39 c (round 334, exhaustive) 9672 del vars, 31951 del conss, 14824 add conss, 6459 chg bounds, 26291 chg sides, 35746 chg coeffs, 20005 upgd conss, 0 impls, 26437 clqs
64.21/64.40 c (round 335, fast) 9672 del vars, 31982 del conss, 14904 add conss, 6459 chg bounds, 26291 chg sides, 35746 chg coeffs, 20005 upgd conss, 0 impls, 26437 clqs
64.21/64.41 c (round 336, fast) 9672 del vars, 31982 del conss, 14904 add conss, 6459 chg bounds, 26359 chg sides, 35862 chg coeffs, 20005 upgd conss, 0 impls, 26437 clqs
64.21/64.42 c (round 337, medium) 9672 del vars, 32005 del conss, 15002 add conss, 6459 chg bounds, 26481 chg sides, 36084 chg coeffs, 20005 upgd conss, 0 impls, 26439 clqs
64.21/64.46 c (round 338, exhaustive) 9672 del vars, 32045 del conss, 15002 add conss, 6459 chg bounds, 26481 chg sides, 36162 chg coeffs, 20005 upgd conss, 0 impls, 26439 clqs
64.21/64.49 c (round 339, exhaustive) 9672 del vars, 32101 del conss, 15002 add conss, 6459 chg bounds, 26481 chg sides, 36162 chg coeffs, 20005 upgd conss, 0 impls, 26439 clqs
64.31/64.50 c (round 340, exhaustive) 9672 del vars, 32101 del conss, 15002 add conss, 6459 chg bounds, 26481 chg sides, 36162 chg coeffs, 20045 upgd conss, 0 impls, 26439 clqs
64.31/64.50 c (round 341, fast) 9672 del vars, 32141 del conss, 15002 add conss, 6459 chg bounds, 26481 chg sides, 36162 chg coeffs, 20045 upgd conss, 0 impls, 26439 clqs
65.00/65.28 c (round 342, exhaustive) 9697 del vars, 32141 del conss, 15002 add conss, 6459 chg bounds, 26481 chg sides, 36162 chg coeffs, 20045 upgd conss, 0 impls, 26261 clqs
65.00/65.29 c (round 343, fast) 9697 del vars, 32185 del conss, 15080 add conss, 6459 chg bounds, 26481 chg sides, 36162 chg coeffs, 20045 upgd conss, 0 impls, 26261 clqs
65.00/65.29 c (round 344, fast) 9697 del vars, 32185 del conss, 15080 add conss, 6459 chg bounds, 26548 chg sides, 36271 chg coeffs, 20045 upgd conss, 0 impls, 26261 clqs
65.10/65.30 c (round 345, medium) 9697 del vars, 32209 del conss, 15080 add conss, 6459 chg bounds, 26548 chg sides, 36271 chg coeffs, 20045 upgd conss, 0 impls, 26261 clqs
65.10/65.34 c (round 346, exhaustive) 9697 del vars, 32250 del conss, 15080 add conss, 6459 chg bounds, 26548 chg sides, 36271 chg coeffs, 20045 upgd conss, 0 impls, 26261 clqs
65.10/65.36 c (round 347, exhaustive) 9697 del vars, 32258 del conss, 15080 add conss, 6459 chg bounds, 26548 chg sides, 36271 chg coeffs, 20082 upgd conss, 0 impls, 26261 clqs
65.10/65.36 c (round 348, fast) 9697 del vars, 32295 del conss, 15080 add conss, 6459 chg bounds, 26548 chg sides, 36271 chg coeffs, 20082 upgd conss, 0 impls, 26261 clqs
65.70/65.98 c (66.0s) probing: 450/7839 (5.7%) - 11 fixings, 1147 aggregations, 60036 implications, 0 bound changes
65.70/65.98 c (66.0s) probing aborted: 50/50 successive totally useless probings
65.70/65.98 c (round 349, exhaustive) 9705 del vars, 32295 del conss, 15080 add conss, 6459 chg bounds, 26548 chg sides, 36271 chg coeffs, 20082 upgd conss, 0 impls, 26248 clqs
65.70/65.99 c (round 350, fast) 9705 del vars, 32309 del conss, 15149 add conss, 6459 chg bounds, 26548 chg sides, 36271 chg coeffs, 20082 upgd conss, 0 impls, 26248 clqs
65.70/66.00 c (round 351, fast) 9705 del vars, 32309 del conss, 15149 add conss, 6459 chg bounds, 26592 chg sides, 36358 chg coeffs, 20082 upgd conss, 0 impls, 26248 clqs
65.81/66.04 c (round 352, exhaustive) 9705 del vars, 32351 del conss, 15149 add conss, 6459 chg bounds, 26592 chg sides, 36358 chg coeffs, 20082 upgd conss, 0 impls, 26248 clqs
65.81/66.05 c (round 353, exhaustive) 9705 del vars, 32356 del conss, 15149 add conss, 6459 chg bounds, 26592 chg sides, 36358 chg coeffs, 20118 upgd conss, 0 impls, 26248 clqs
65.81/66.06 c (round 354, fast) 9705 del vars, 32390 del conss, 15149 add conss, 6459 chg bounds, 26592 chg sides, 36358 chg coeffs, 20118 upgd conss, 0 impls, 26248 clqs
66.20/66.43 c (66.4s) probing: 510/7839 (6.5%) - 11 fixings, 1156 aggregations, 60079 implications, 0 bound changes
66.20/66.43 c (66.4s) probing aborted: 50/50 successive totally useless probings
66.20/66.43 c (round 355, exhaustive) 9714 del vars, 32392 del conss, 15149 add conss, 6459 chg bounds, 26592 chg sides, 36358 chg coeffs, 20118 upgd conss, 0 impls, 26180 clqs
66.20/66.44 c (round 356, fast) 9714 del vars, 32406 del conss, 15197 add conss, 6459 chg bounds, 26592 chg sides, 36358 chg coeffs, 20118 upgd conss, 0 impls, 26180 clqs
66.20/66.44 c (round 357, fast) 9714 del vars, 32406 del conss, 15197 add conss, 6459 chg bounds, 26635 chg sides, 36422 chg coeffs, 20118 upgd conss, 0 impls, 26180 clqs
66.20/66.47 c (round 358, exhaustive) 9714 del vars, 32445 del conss, 15197 add conss, 6459 chg bounds, 26635 chg sides, 36422 chg coeffs, 20118 upgd conss, 0 impls, 26180 clqs
66.20/66.48 c (round 359, exhaustive) 9714 del vars, 32450 del conss, 15197 add conss, 6459 chg bounds, 26635 chg sides, 36422 chg coeffs, 20135 upgd conss, 0 impls, 26180 clqs
66.20/66.49 c (round 360, fast) 9714 del vars, 32466 del conss, 15197 add conss, 6459 chg bounds, 26635 chg sides, 36422 chg coeffs, 20135 upgd conss, 0 impls, 26180 clqs
66.30/66.54 c (66.5s) probing: 515/7839 (6.6%) - 11 fixings, 1156 aggregations, 60079 implications, 0 bound changes
66.30/66.54 c (66.5s) probing aborted: 50/50 successive totally useless probings
66.30/66.54 c (66.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
66.30/66.58 c (66.6s) no symmetry present (symcode time: 0.01)
66.30/66.59 c presolving (361 rounds: 361 fast, 206 medium, 179 exhaustive):
66.30/66.59 c 9714 deleted vars, 32467 deleted constraints, 15197 added constraints, 6459 tightened bounds, 0 added holes, 26635 changed sides, 36422 changed coefficients
66.30/66.59 c 0 implications, 26180 cliques
66.30/66.59 c presolved problem has 7761 variables (7761 bin, 0 int, 0 cont) and 15274 constraints
66.30/66.59 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
66.30/66.59 c 9779 constraints of type <knapsack>
66.30/66.59 c 3061 constraints of type <setppc>
66.30/66.59 c 1745 constraints of type <and>
66.30/66.59 c 247 constraints of type <linear>
66.30/66.59 c 442 constraints of type <logicor>
66.30/66.59 c transformed objective value is always integral (scale: 1)
66.30/66.59 c Presolving Time: 66.44
66.30/66.59 c
66.30/66.59 c - non default parameters ----------------------------------------------------------------------
66.30/66.59 c
66.30/66.59 c # SCIP version 10.0.0
66.30/66.59 c
66.30/66.59 c # maximal time in seconds to run
66.30/66.59 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
66.30/66.59 c limits/time = 3596.998004
66.30/66.59 c
66.30/66.59 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
66.30/66.59 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
66.30/66.59 c limits/memory = 27900
66.30/66.59 c
66.30/66.59 c # belongs reading time to solving time?
66.30/66.59 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
66.30/66.59 c timing/reading = TRUE
66.30/66.59 c
66.30/66.59 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
66.30/66.59 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
66.30/66.59 c reading/opbreader/maxintsize = 47
66.30/66.59 c
66.30/66.59 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
66.30/66.59 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
66.30/66.59 c propagating/genvbounds/timingmask = 0
66.30/66.59 c
66.30/66.59 c -----------------------------------------------------------------------------------------------
66.30/66.59 c
72.38/72.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
72.38/72.69 c 72.7s| 1 | 0 | 13202 | - | 181M | 0 |7761 | 15k| 17k| 0 | 0 | 97 | 0 | 0.000000e+00 | -- | Inf | unknown
102.71/103.09 c 103s| 1 | 0 | 62627 | - | 202M | 0 |7761 | 15k| 17k| 342 | 1 | 98 | 0 | 0.000000e+00 | -- | Inf | unknown
107.98/108.31 c 108s| 1 | 0 | 69953 | - | 222M | 0 |7761 | 15k| 17k| 718 | 2 | 99 | 0 | 0.000000e+00 | -- | Inf | unknown
113.67/114.04 c 114s| 1 | 0 | 77788 | - | 239M | 0 |7761 | 15k| 18k|1045 | 3 | 100 | 0 | 0.000000e+00 | -- | Inf | unknown
119.35/119.74 c 120s| 1 | 0 | 86583 | - | 239M | 0 |7761 | 15k| 18k|1335 | 4 | 101 | 0 | 0.000000e+00 | -- | Inf | unknown
125.94/126.31 c 126s| 1 | 0 | 95538 | - | 260M | 0 |7761 | 15k| 18k|1686 | 5 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown
133.02/133.49 c 133s| 1 | 0 |104996 | - | 277M | 0 |7761 | 15k| 19k|2003 | 6 | 105 | 0 | 0.000000e+00 | -- | Inf | unknown
140.60/141.08 c 141s| 1 | 0 |114782 | - | 297M | 0 |7761 | 15k| 19k|2323 | 7 | 106 | 0 | 0.000000e+00 | -- | Inf | unknown
149.28/149.76 c 150s| 1 | 0 |125667 | - | 297M | 0 |7761 | 15k| 19k|2621 | 8 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
161.44/161.90 c 162s| 1 | 0 |138117 | - | 316M | 0 |7761 | 15k| 19k|2936 | 9 | 110 | 0 | 0.000000e+00 | -- | Inf | unknown
173.81/174.35 c 174s| 1 | 0 |150488 | - | 330M | 0 |7761 | 15k| 20k|3249 | 10 | 112 | 0 | 0.000000e+00 | -- | Inf | unknown
186.57/187.10 c 187s| 1 | 0 |162980 | - | 347M | 0 |7761 | 15k| 20k|3554 | 11 | 113 | 0 | 0.000000e+00 | -- | Inf | unknown
213.50/214.18 c 214s| 1 | 2 |177861 | - | 348M | 0 |7761 | 15k| 20k|3554 | 11 | 136 | 19 | 0.000000e+00 | -- | Inf | unknown
1434.09/1437.91 c 1438s| 100 | 93 | 2203k|20611.3 | 352M | 22 |7761 | 15k| 0 | 11k| 0 | 636 | 19 | 0.000000e+00 | -- | Inf | unknown
2386.42/2393.41 c 2393s| 200 | 140 | 3855k|18553.7 | 354M | 23 |7761 | 16k| 18k| 17k| 2 |1347 | 19 | 0.000000e+00 | -- | Inf | unknown
3056.18/3065.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3056.18/3065.19 c 3065s| 300 | 163 | 5086k|16465.5 | 342M | 23 |7761 | 17k| 18k| 23k| 2 |1828 | 19 | 0.000000e+00 | -- | Inf | unknown
3586.18/3597.00 c
3586.18/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.18/3597.00 c Solving Time (sec) : 3597.00
3586.18/3597.00 c Solving Nodes : 377
3586.18/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.18/3597.00 c Dual Bound : +0.00000000000000e+00
3586.18/3597.00 c Gap : infinite
3586.18/3597.00 s UNKNOWN
3586.18/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.18/3597.00 c Total Time : 3597.00
3586.18/3597.00 c solving : 3597.00
3586.18/3597.00 c presolving : 66.44 (included in solving)
3586.18/3597.00 c reading : 0.09 (included in solving)
3586.18/3597.00 c copying : 0.11 (4 #copies) (minimal 0.03, maximal 0.03, average 0.03)
3586.18/3597.00 c Original Problem :
3586.18/3597.00 c Problem name : HOME/instance-4545555-1753237434.opb
3586.18/3597.00 c Variables : 17343 (17343 binary, 0 integer, 0 continuous)
3586.18/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.18/3597.00 c Constraints : 32542 initial, 32542 maximal
3586.18/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.18/3597.00 c Presolved Problem :
3586.18/3597.00 c Problem name : t_HOME/instance-4545555-1753237434.opb
3586.18/3597.00 c Variables : 7761 (7761 binary, 0 integer, 0 continuous)
3586.18/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.18/3597.00 c Constraints : 15274 initial, 17328 maximal
3586.18/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.18/3597.00 c Nonzeros : 85473 constraint, 55324 clique table
3586.18/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.18/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c domcol : 0.00 0.00 49 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c gateextraction : 0.28 0.00 177 0 0 0 0 0 7600 2729 0 0
3586.18/3597.00 c implics : 0.01 0.00 206 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c milp : 0.57 0.00 1 574 771 0 0 0 0 0 0 0
3586.18/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c trivial : 0.06 0.00 361 132 0 0 0 0 0 0 0 0
3586.18/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c dualfix : 0.06 0.00 361 3 0 0 0 0 0 0 0 0
3586.18/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c probing : 60.76 0.00 49 11 1156 0 0 0 0 0 0 0
3586.18/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c symmetry : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c vbounds : 0.06 0.00 15 1 64 0 0 0 0 0 0 0
3586.18/3597.00 c knapsack : 2.34 0.00 722 0 0 0 0 0 3724 7658 11939 20960
3586.18/3597.00 c setppc : 1.21 0.00 722 0 31 0 0 0 1811 0 20 6
3586.18/3597.00 c and : 0.41 0.00 513 8 121 0 0 0 366 253 0 0
3586.18/3597.00 c linear : 0.30 0.02 511 6476 234 0 6459 0 16719 4557 14676 15220
3586.18/3597.00 c logicor : 0.21 0.00 609 0 0 0 0 0 2247 0 0 236
3586.18/3597.00 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.18/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.18/3597.00 c integral : 0 0 0 0 319 0 0 95 0 0 0 0 0 0 638
3586.18/3597.00 c knapsack : 9779+ 9782 11 46525 0 0 0 91 7978 210 17433 2205 189 0 0
3586.18/3597.00 c setppc : 3061+ 3113 11 46315 0 0 0 0 13046 216 7909 22 0 0 0
3586.18/3597.00 c and : 1745 1745 537 46099 0 0 0 0 1434 80 3608 13086 13039 0 0
3586.18/3597.00 c linear : 247+ 257 9 46019 0 0 0 3 2150 20 912 0 0 0 0
3586.18/3597.00 c logicor : 442+ 2435 9 13606 0 0 0 0 1805 58 926 16 7 0 0
3586.18/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.18/3597.00 c integral : 13.61 0.00 0.00 0.00 13.61 0.00 0.00 0.00 0.00 0.00
3586.18/3597.00 c knapsack : 42.90 0.00 0.05 42.84 0.00 0.00 0.00 0.00 0.00 0.00
3586.18/3597.00 c setppc : 2.32 0.00 0.00 2.31 0.00 0.00 0.00 0.00 0.00 0.00
3586.18/3597.00 c and : 1.29 0.00 0.28 1.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.18/3597.00 c linear : 0.11 0.02 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.00
3586.18/3597.00 c logicor : 0.08 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.00
3586.18/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.18/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.18/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.18/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.18/3597.00 c dualfix : 1 0 0 0
3586.18/3597.00 c genvbounds : 0 0 0 0
3586.18/3597.00 c nlobbt : 0 0 0 0
3586.18/3597.00 c obbt : 0 0 0 0
3586.18/3597.00 c probing : 0 0 0 0
3586.18/3597.00 c pseudoobj : 0 0 0 0
3586.18/3597.00 c redcost : 0 0 0 0
3586.18/3597.00 c rootredcost : 0 0 0 0
3586.18/3597.00 c symmetry : 0 0 0 0
3586.18/3597.00 c vbounds : 13821 0 0 0
3586.18/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.18/3597.00 c dualfix : 0.07 0.00 0.06 0.00 0.00 0.00
3586.18/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.18/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.18/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.18/3597.00 c probing : 60.76 0.00 60.76 0.00 0.00 0.00
3586.18/3597.00 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3586.18/3597.00 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3586.18/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.18/3597.00 c symmetry : 0.04 0.00 0.04 0.01 0.00 0.00
3586.18/3597.00 c vbounds : 0.13 0.00 0.06 0.07 0.00 0.00
3586.18/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.18/3597.00 c propagation : 0.02 565 558 - 2712 18.6 334 5.2 - - -
3586.18/3597.00 c infeasible LP : 0.02 18 18 - 159 25.0 10 4.4 18 27.7 0
3586.18/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.18/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.18/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.18/3597.00 c applied globally : 0.02 - - 0 2163 11.4 - - 18 - -
3586.18/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.18/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.18/3597.00 c cut pool : 0.63 - 133 19 - - 13642 356140 - - - - - (maximal pool size: 13642)
3586.18/3597.00 c aggregation : 0.99 0.00 9 9 0 0 3500 116776 0 1509 1509 0 0
3586.18/3597.00 c > cmir : - - - - - - - 98767 0 490 490 0 -
3586.18/3597.00 c > flowcover : - - - - - - - 15449 0 830 830 0 -
3586.18/3597.00 c > knapsackcover : - - - - - - - 2560 0 189 189 0 -
3586.18/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c clique : 2.57 0.00 9 9 0 0 7 423 0 13 13 0 0
3586.18/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c gomory : 1.73 0.00 9 9 0 0 1804 2155 0 149 149 0 0
3586.18/3597.00 c > gomorymi : - - - - - - - 944 0 26 26 0 -
3586.18/3597.00 c > strongcg : - - - - - - - 1211 0 123 123 0 -
3586.18/3597.00 c impliedbounds : 0.05 0.00 9 9 0 0 8100 235784 0 12307 12307 0 0
3586.18/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c multilinear : 0.00 0.00 53 11 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3586.18/3597.00 c zerohalf : 0.42 0.00 9 9 0 0 231 1002 0 770 770 0 0
3586.18/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.18/3597.00 c hybrid : 1.17 0.00 650 11 27983 0 343486 3554 0 46525
3586.18/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.18/3597.00 c problem variables: 0.00 - 0 0
3586.18/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.18/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.00 c relpscost : 13.60 0.00 319 0 0 0 0 0 0 638
3586.18/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.18/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.18/3597.00 c LP solutions : 0.00 - - 0 0
3586.18/3597.00 c relax solutions : 0.00 - - 0 0
3586.18/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.18/3597.00 c strong branching : 0.00 - - 0 0
3586.18/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.18/3597.00 c adaptivediving : 18.20 0.00 32 0 0
3586.18/3597.00 c alns : 0.32 0.00 4 0 0
3586.18/3597.00 c bound : 0.00 0.00 0 0 0
3586.18/3597.00 c clique : 0.06 0.00 1 0 0
3586.18/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.18/3597.00 c completesol : 0.00 0.00 0 0 0
3586.18/3597.00 c conflictdiving : 78.03 0.00 38 0 0
3586.18/3597.00 c crossover : 0.00 0.00 0 0 0
3586.18/3597.00 c dins : 0.00 0.00 0 0 0
3586.18/3597.00 c distributiondivin: 6.72 0.00 11 0 0
3586.18/3597.00 c dks : 0.00 0.00 0 0 0
3586.18/3597.00 c dps : 0.00 0.00 0 0 0
3586.18/3597.00 c dualval : 0.00 0.00 0 0 0
3586.18/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.18/3597.00 c feaspump : 113.25 0.00 6 0 0
3586.18/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.18/3597.00 c fracdiving : 0.60 0.00 12 0 0
3586.18/3597.00 c gins : 0.00 0.00 0 0 0
3586.18/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.18/3597.00 c indicator : 0.00 0.00 0 0 0
3586.18/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.18/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.18/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.18/3597.00 c linesearchdiving : 0.58 0.00 16 0 0
3586.18/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.18/3597.00 c locks : 0.01 0.00 1 0 0
3586.18/3597.00 c lpface : 0.00 0.00 0 0 0
3586.18/3597.00 c mpec : 0.00 0.00 0 0 0
3586.18/3597.00 c multistart : 0.00 0.00 0 0 0
3586.18/3597.00 c mutation : 0.00 0.00 0 0 0
3586.18/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.18/3597.00 c objpscostdiving : 237.67 0.00 2 0 0
3586.18/3597.00 c octane : 0.00 0.00 0 0 0
3586.18/3597.00 c ofins : 0.00 0.00 0 0 0
3586.18/3597.00 c oneopt : 0.00 0.00 0 0 0
3586.18/3597.00 c padm : 0.00 0.00 0 0 0
3586.18/3597.00 c proximity : 0.00 0.00 0 0 0
3586.18/3597.00 c pscostdiving : 0.27 0.00 21 0 0
3586.18/3597.00 c randrounding : 0.16 0.00 100 0 0
3586.18/3597.00 c rens : 0.00 0.00 0 0 0
3586.18/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.18/3597.00 c repair : 0.00 0.00 0 0 0
3586.18/3597.00 c rins : 0.00 0.00 0 0 0
3586.18/3597.00 c rootsoldiving : 66.18 0.00 4 0 0
3586.18/3597.00 c rounding : 0.47 0.00 399 0 0
3586.18/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.18/3597.00 c shiftandpropagate: 0.02 0.00 1 0 0
3586.18/3597.00 c shifting : 7.59 0.00 146 0 0
3586.18/3597.00 c simplerounding : 0.00 0.00 0 0 0
3586.18/3597.00 c subnlp : 0.00 0.00 0 0 0
3586.18/3597.00 c trivial : 0.01 0.00 2 0 0
3586.18/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.18/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.18/3597.00 c trysol : 0.00 0.00 0 0 0
3586.18/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.18/3597.00 c undercover : 0.00 0.00 1 0 0
3586.18/3597.00 c vbounds : 0.04 0.00 1 0 0
3586.18/3597.00 c veclendiving : 31.75 0.00 12 0 0
3586.18/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.18/3597.00 c zirounding : 0.38 0.00 319 0 0
3586.18/3597.00 c other solutions : - - - 0 -
3586.18/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.18/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.18/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.18/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.18/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.18/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.18/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.18/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.18/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.18/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.18/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.18/3597.00 c primal LP : 1.20 60 0 0.00 0.00 1.20 60
3586.18/3597.00 c dual LP : 2941.71 978 5216143 5333.48 1773.17 0.00 0
3586.18/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.18/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.18/3597.00 c resolve instable : 0.00 0 0 0.00 -
3586.18/3597.00 c diving/probing LP: 546.02 606 828384 1366.97 1517.13
3586.18/3597.00 c strong branching : 12.50 19 19000 1000.00 1519.90 - - 38
3586.18/3597.00 c (at root node) : - 19 19000 1000.00 -
3586.18/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3586.18/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.18/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3586.18/3597.00 c B&B Tree :
3586.18/3597.00 c number of runs : 1
3586.18/3597.00 c nodes : 377 (319 internal, 58 leaves)
3586.18/3597.00 c feasible leaves : 0
3586.18/3597.00 c infeas. leaves : 57
3586.18/3597.00 c objective leaves : 0
3586.18/3597.00 c nodes (total) : 377 (319 internal, 58 leaves)
3586.18/3597.00 c nodes left : 194
3586.18/3597.00 c max depth : 26
3586.18/3597.00 c max depth (total): 26
3586.18/3597.00 c backtracks : 125 (33.2%)
3586.18/3597.00 c early backtracks : 0 (0.0%)
3586.18/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.18/3597.00 c delayed cutoffs : 69
3586.18/3597.00 c repropagations : 194 (9070 domain reductions, 33 cutoffs)
3586.18/3597.00 c avg switch length: 3.60
3586.18/3597.00 c switching time : 0.87
3586.18/3597.00 c Root Node :
3586.18/3597.00 c First LP value : +0.00000000000000e+00
3586.18/3597.00 c First LP Iters : 13202 (2217.01 Iter/sec)
3586.18/3597.00 c First LP Time : 5.95
3586.18/3597.00 c Final Dual Bound : +0.00000000000000e+00
3586.18/3597.00 c Final Root Iters : 162980
3586.18/3597.00 c Root LP Estimate : +4.01619956995021e-03
3586.18/3597.00 c Solution :
3586.18/3597.00 c Solutions found : 0 (0 improvements)
3586.18/3597.00 c Primal Bound : -
3586.18/3597.00 c Dual Bound : +0.00000000000000e+00
3586.18/3597.00 c Gap : infinite
3586.18/3597.00 c Integrals : Total Avg%
3586.18/3597.00 c primal-dual : 359699.86 100.00
3586.18/3597.00 c primal-ref : - - (not evaluated)
3586.18/3597.00 c dual-ref : - - (not evaluated)
3586.28/3597.10 c Time complete (sec): 3586.388