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-4522331-1751582568.opb>
0.00/0.03 c original problem has 3772 variables (3772 bin, 0 int, 0 cont) and 5527 constraints
0.00/0.03 c problem read in 0.032 seconds
0.00/0.05 c presolving:
0.00/0.08 c (round 1, fast) 166 del vars, 10 del conss, 0 add conss, 146 chg bounds, 3362 chg sides, 3362 chg coeffs, 0 upgd conss, 0 impls, 2977 clqs
0.10/0.10 c (round 2, fast) 252 del vars, 150 del conss, 0 add conss, 196 chg bounds, 3571 chg sides, 3565 chg coeffs, 0 upgd conss, 0 impls, 2868 clqs
0.10/0.11 c (round 3, fast) 340 del vars, 290 del conss, 0 add conss, 262 chg bounds, 3730 chg sides, 3724 chg coeffs, 0 upgd conss, 0 impls, 2809 clqs
0.10/0.12 c (round 4, fast) 405 del vars, 391 del conss, 0 add conss, 315 chg bounds, 3878 chg sides, 3872 chg coeffs, 0 upgd conss, 0 impls, 2729 clqs
0.10/0.13 c (round 5, fast) 446 del vars, 461 del conss, 0 add conss, 352 chg bounds, 4020 chg sides, 4014 chg coeffs, 0 upgd conss, 0 impls, 2673 clqs
0.10/0.13 c (round 6, fast) 463 del vars, 489 del conss, 0 add conss, 369 chg bounds, 4145 chg sides, 4139 chg coeffs, 0 upgd conss, 0 impls, 2673 clqs
0.10/0.14 c (round 7, fast) 469 del vars, 496 del conss, 0 add conss, 375 chg bounds, 4244 chg sides, 4238 chg coeffs, 0 upgd conss, 0 impls, 2673 clqs
0.10/0.14 c (round 8, fast) 469 del vars, 496 del conss, 0 add conss, 375 chg bounds, 4250 chg sides, 4244 chg coeffs, 0 upgd conss, 0 impls, 2673 clqs
0.10/0.17 c (0.2s) running MILP presolver
0.40/0.41 c (0.4s) MILP presolver (27 rounds): 0 aggregations, 75 fixings, 0 bound changes
0.40/0.41 c (round 9, medium) 544 del vars, 496 del conss, 0 add conss, 375 chg bounds, 4250 chg sides, 4244 chg coeffs, 0 upgd conss, 0 impls, 2673 clqs
0.40/0.42 c (round 10, fast) 544 del vars, 571 del conss, 0 add conss, 375 chg bounds, 4331 chg sides, 4325 chg coeffs, 0 upgd conss, 0 impls, 2673 clqs
0.40/0.45 c (round 11, exhaustive) 544 del vars, 571 del conss, 0 add conss, 375 chg bounds, 4331 chg sides, 4325 chg coeffs, 4956 upgd conss, 0 impls, 2673 clqs
0.50/0.54 c (round 12, medium) 544 del vars, 2112 del conss, 4082 add conss, 375 chg bounds, 4547 chg sides, 8589 chg coeffs, 4956 upgd conss, 0 impls, 6727 clqs
0.50/0.54 c (round 13, fast) 544 del vars, 2121 del conss, 4085 add conss, 375 chg bounds, 4547 chg sides, 8589 chg coeffs, 4956 upgd conss, 0 impls, 6727 clqs
0.50/0.59 c (round 14, exhaustive) 674 del vars, 2311 del conss, 4085 add conss, 375 chg bounds, 4547 chg sides, 8778 chg coeffs, 4956 upgd conss, 0 impls, 6097 clqs
0.50/0.60 c (round 15, fast) 746 del vars, 2705 del conss, 4085 add conss, 375 chg bounds, 4548 chg sides, 8869 chg coeffs, 4956 upgd conss, 0 impls, 6100 clqs
0.59/0.61 c (round 16, medium) 746 del vars, 2817 del conss, 4420 add conss, 375 chg bounds, 4548 chg sides, 8869 chg coeffs, 4956 upgd conss, 0 impls, 6464 clqs
0.59/0.66 c (round 17, exhaustive) 772 del vars, 2863 del conss, 4420 add conss, 375 chg bounds, 4548 chg sides, 8933 chg coeffs, 4956 upgd conss, 0 impls, 6370 clqs
0.59/0.66 c (round 18, fast) 775 del vars, 2940 del conss, 4420 add conss, 375 chg bounds, 4548 chg sides, 8936 chg coeffs, 4956 upgd conss, 0 impls, 6371 clqs
0.69/0.70 c (round 19, exhaustive) 796 del vars, 2943 del conss, 4420 add conss, 375 chg bounds, 4548 chg sides, 8997 chg coeffs, 4956 upgd conss, 0 impls, 6304 clqs
0.69/0.70 c (round 20, fast) 796 del vars, 3007 del conss, 4421 add conss, 375 chg bounds, 4548 chg sides, 8997 chg coeffs, 4956 upgd conss, 0 impls, 6304 clqs
0.69/0.73 c (round 21, exhaustive) 807 del vars, 3009 del conss, 4421 add conss, 375 chg bounds, 4548 chg sides, 9054 chg coeffs, 4956 upgd conss, 0 impls, 6268 clqs
0.69/0.73 c (round 22, fast) 807 del vars, 3042 del conss, 4421 add conss, 375 chg bounds, 4548 chg sides, 9054 chg coeffs, 4956 upgd conss, 0 impls, 6268 clqs
0.69/0.76 c (round 23, exhaustive) 817 del vars, 3043 del conss, 4421 add conss, 375 chg bounds, 4548 chg sides, 9108 chg coeffs, 4956 upgd conss, 0 impls, 6236 clqs
0.69/0.76 c (round 24, fast) 817 del vars, 3074 del conss, 4421 add conss, 375 chg bounds, 4548 chg sides, 9108 chg coeffs, 4956 upgd conss, 0 impls, 6236 clqs
0.79/0.85 c (round 25, exhaustive) 821 del vars, 3074 del conss, 4421 add conss, 375 chg bounds, 4548 chg sides, 9164 chg coeffs, 4956 upgd conss, 0 impls, 6231 clqs
1.28/1.32 c (round 26, exhaustive) 896 del vars, 3076 del conss, 4421 add conss, 375 chg bounds, 4548 chg sides, 9212 chg coeffs, 4956 upgd conss, 0 impls, 60582 clqs
1.28/1.33 c (round 27, fast) 896 del vars, 3175 del conss, 4460 add conss, 375 chg bounds, 4548 chg sides, 9220 chg coeffs, 4956 upgd conss, 0 impls, 60622 clqs
1.28/1.34 c (round 28, medium) 897 del vars, 3498 del conss, 5432 add conss, 375 chg bounds, 4551 chg sides, 9232 chg coeffs, 4956 upgd conss, 0 impls, 61603 clqs
1.28/1.35 c (round 29, medium) 897 del vars, 3502 del conss, 5433 add conss, 375 chg bounds, 4552 chg sides, 9240 chg coeffs, 4956 upgd conss, 0 impls, 61604 clqs
1.38/1.41 c (round 30, exhaustive) 938 del vars, 3510 del conss, 5433 add conss, 375 chg bounds, 4552 chg sides, 9341 chg coeffs, 4956 upgd conss, 0 impls, 61206 clqs
1.38/1.41 c (round 31, fast) 938 del vars, 3633 del conss, 5433 add conss, 375 chg bounds, 4552 chg sides, 9341 chg coeffs, 4956 upgd conss, 0 impls, 61206 clqs
1.38/1.43 c (round 32, medium) 938 del vars, 3669 del conss, 5511 add conss, 375 chg bounds, 4638 chg sides, 9589 chg coeffs, 4956 upgd conss, 0 impls, 61278 clqs
1.38/1.43 c (round 33, fast) 938 del vars, 3705 del conss, 5511 add conss, 375 chg bounds, 4638 chg sides, 9589 chg coeffs, 4956 upgd conss, 0 impls, 61278 clqs
1.38/1.47 c (round 34, exhaustive) 942 del vars, 3712 del conss, 5511 add conss, 375 chg bounds, 4638 chg sides, 9622 chg coeffs, 4956 upgd conss, 0 impls, 61262 clqs
1.38/1.47 c (round 35, fast) 942 del vars, 3724 del conss, 5511 add conss, 375 chg bounds, 4638 chg sides, 9622 chg coeffs, 4956 upgd conss, 0 impls, 61262 clqs
1.48/1.51 c (round 36, exhaustive) 942 del vars, 3741 del conss, 5511 add conss, 375 chg bounds, 4638 chg sides, 9649 chg coeffs, 4956 upgd conss, 0 impls, 61262 clqs
1.48/1.54 c (round 37, exhaustive) 942 del vars, 3753 del conss, 5511 add conss, 375 chg bounds, 4638 chg sides, 9674 chg coeffs, 4956 upgd conss, 0 impls, 61262 clqs
1.48/1.58 c (round 38, exhaustive) 948 del vars, 3753 del conss, 5511 add conss, 375 chg bounds, 4638 chg sides, 9699 chg coeffs, 4956 upgd conss, 0 impls, 61254 clqs
1.89/1.96 c (round 39, exhaustive) 1029 del vars, 3753 del conss, 5511 add conss, 375 chg bounds, 4638 chg sides, 9729 chg coeffs, 4956 upgd conss, 0 impls, 89865 clqs
1.89/1.96 c (round 40, fast) 1029 del vars, 4047 del conss, 5559 add conss, 375 chg bounds, 4678 chg sides, 9905 chg coeffs, 4956 upgd conss, 0 impls, 89914 clqs
2.78/2.81 c (round 41, exhaustive) 1054 del vars, 4047 del conss, 5559 add conss, 375 chg bounds, 4678 chg sides, 9937 chg coeffs, 4956 upgd conss, 0 impls, 96160 clqs
2.78/2.81 c (round 42, fast) 1054 del vars, 4115 del conss, 5559 add conss, 375 chg bounds, 4678 chg sides, 9946 chg coeffs, 4956 upgd conss, 0 impls, 96160 clqs
2.78/2.88 c (round 43, exhaustive) 1088 del vars, 4137 del conss, 5559 add conss, 375 chg bounds, 4678 chg sides, 9978 chg coeffs, 4956 upgd conss, 0 impls, 94009 clqs
2.78/2.88 c (round 44, fast) 1088 del vars, 4241 del conss, 5559 add conss, 375 chg bounds, 4678 chg sides, 9978 chg coeffs, 4956 upgd conss, 0 impls, 94009 clqs
2.88/2.98 c (3.0s) sparsify aborted: 540/70377 (0.8%) nonzeros canceled - in total 540 canceled nonzeros, 1540 changed coefficients, 0 added nonzeros
2.88/2.98 c (round 45, exhaustive) 1090 del vars, 4241 del conss, 5559 add conss, 375 chg bounds, 4678 chg sides, 11550 chg coeffs, 4956 upgd conss, 0 impls, 94006 clqs
2.88/2.98 c (round 46, fast) 1108 del vars, 4243 del conss, 5559 add conss, 393 chg bounds, 4678 chg sides, 11550 chg coeffs, 4956 upgd conss, 0 impls, 93527 clqs
2.88/2.99 c (round 47, fast) 1108 del vars, 4297 del conss, 5559 add conss, 393 chg bounds, 4678 chg sides, 11550 chg coeffs, 4956 upgd conss, 0 impls, 93527 clqs
2.99/3.09 c (3.1s) sparsify aborted: 36/69591 (0.1%) nonzeros canceled - in total 576 canceled nonzeros, 2504 changed coefficients, 0 added nonzeros
2.99/3.09 c (round 48, exhaustive) 1109 del vars, 4297 del conss, 5559 add conss, 393 chg bounds, 4678 chg sides, 12546 chg coeffs, 4960 upgd conss, 0 impls, 93526 clqs
3.18/3.24 c (round 49, exhaustive) 1135 del vars, 4297 del conss, 5559 add conss, 393 chg bounds, 4678 chg sides, 12578 chg coeffs, 4964 upgd conss, 0 impls, 93197 clqs
3.18/3.24 c (round 50, fast) 1135 del vars, 4375 del conss, 5559 add conss, 393 chg bounds, 4678 chg sides, 12578 chg coeffs, 4964 upgd conss, 0 impls, 93197 clqs
3.18/3.26 c (3.3s) running MILP presolver
3.28/3.33 c (3.3s) MILP presolver (9 rounds): 2 aggregations, 52 fixings, 0 bound changes
3.28/3.35 c (round 51, medium) 1189 del vars, 4417 del conss, 5575 add conss, 393 chg bounds, 4686 chg sides, 12600 chg coeffs, 4964 upgd conss, 0 impls, 93041 clqs
3.38/3.41 c (round 52, exhaustive) 1217 del vars, 4429 del conss, 5575 add conss, 393 chg bounds, 4686 chg sides, 12636 chg coeffs, 4964 upgd conss, 0 impls, 91300 clqs
3.38/3.41 c (round 53, fast) 1217 del vars, 4514 del conss, 5575 add conss, 393 chg bounds, 4686 chg sides, 12636 chg coeffs, 4964 upgd conss, 0 impls, 91300 clqs
3.38/3.42 c (round 54, medium) 1217 del vars, 4516 del conss, 5577 add conss, 393 chg bounds, 4689 chg sides, 12641 chg coeffs, 4964 upgd conss, 0 impls, 91300 clqs
3.38/3.45 c (round 55, exhaustive) 1218 del vars, 4518 del conss, 5577 add conss, 393 chg bounds, 4689 chg sides, 12674 chg coeffs, 4968 upgd conss, 0 impls, 91290 clqs
3.48/3.50 c (round 56, exhaustive) 1227 del vars, 4522 del conss, 5577 add conss, 393 chg bounds, 4689 chg sides, 12706 chg coeffs, 4968 upgd conss, 0 impls, 91261 clqs
3.58/3.61 c (round 57, exhaustive) 1253 del vars, 4523 del conss, 5578 add conss, 393 chg bounds, 4689 chg sides, 12743 chg coeffs, 4968 upgd conss, 0 impls, 91425 clqs
3.58/3.61 c (round 58, fast) 1253 del vars, 4569 del conss, 5578 add conss, 393 chg bounds, 4689 chg sides, 12743 chg coeffs, 4968 upgd conss, 0 impls, 91425 clqs
3.58/3.67 c (round 59, exhaustive) 1264 del vars, 4573 del conss, 5578 add conss, 393 chg bounds, 4689 chg sides, 12780 chg coeffs, 4968 upgd conss, 0 impls, 90585 clqs
3.58/3.67 c (round 60, fast) 1264 del vars, 4607 del conss, 5578 add conss, 393 chg bounds, 4689 chg sides, 12780 chg coeffs, 4968 upgd conss, 0 impls, 90585 clqs
3.68/3.73 c (round 61, exhaustive) 1271 del vars, 4607 del conss, 5578 add conss, 393 chg bounds, 4689 chg sides, 12817 chg coeffs, 4968 upgd conss, 0 impls, 90555 clqs
3.78/3.82 c (round 62, exhaustive) 1297 del vars, 4607 del conss, 5578 add conss, 393 chg bounds, 4689 chg sides, 12854 chg coeffs, 4968 upgd conss, 0 impls, 90480 clqs
3.78/3.82 c (round 63, fast) 1297 del vars, 4641 del conss, 5579 add conss, 393 chg bounds, 4689 chg sides, 12854 chg coeffs, 4968 upgd conss, 0 impls, 90481 clqs
3.78/3.83 c (round 64, medium) 1297 del vars, 4642 del conss, 5585 add conss, 393 chg bounds, 4695 chg sides, 12961 chg coeffs, 4968 upgd conss, 0 impls, 90487 clqs
3.78/3.88 c (round 65, exhaustive) 1307 del vars, 4649 del conss, 5585 add conss, 393 chg bounds, 4695 chg sides, 13017 chg coeffs, 4968 upgd conss, 0 impls, 89644 clqs
3.78/3.88 c (round 66, fast) 1307 del vars, 4680 del conss, 5585 add conss, 393 chg bounds, 4695 chg sides, 13017 chg coeffs, 4968 upgd conss, 0 impls, 89644 clqs
3.78/3.89 c (round 67, medium) 1307 del vars, 4692 del conss, 5611 add conss, 393 chg bounds, 4721 chg sides, 13139 chg coeffs, 4968 upgd conss, 0 impls, 89669 clqs
3.78/3.89 c (round 68, fast) 1307 del vars, 4707 del conss, 5611 add conss, 393 chg bounds, 4721 chg sides, 13139 chg coeffs, 4968 upgd conss, 0 impls, 89669 clqs
3.88/3.94 c (round 69, exhaustive) 1312 del vars, 4707 del conss, 5611 add conss, 393 chg bounds, 4721 chg sides, 13170 chg coeffs, 4968 upgd conss, 0 impls, 89648 clqs
3.98/4.03 c (4.0s) sparsify aborted: 36/63304 (0.1%) nonzeros canceled - in total 612 canceled nonzeros, 3352 changed coefficients, 0 added nonzeros
3.98/4.04 c (round 70, exhaustive) 1312 del vars, 4707 del conss, 5611 add conss, 393 chg bounds, 4721 chg sides, 14056 chg coeffs, 4968 upgd conss, 0 impls, 89648 clqs
3.98/4.05 c (round 71, exhaustive) 1312 del vars, 4715 del conss, 5611 add conss, 393 chg bounds, 4721 chg sides, 14094 chg coeffs, 4968 upgd conss, 0 impls, 89648 clqs
3.98/4.08 c (round 72, exhaustive) 1320 del vars, 4715 del conss, 5611 add conss, 393 chg bounds, 4721 chg sides, 14132 chg coeffs, 4972 upgd conss, 0 impls, 89639 clqs
3.98/4.09 c (round 73, medium) 1320 del vars, 4719 del conss, 5619 add conss, 393 chg bounds, 4741 chg sides, 14160 chg coeffs, 4972 upgd conss, 0 impls, 89639 clqs
4.18/4.22 c (round 74, exhaustive) 1345 del vars, 4719 del conss, 5619 add conss, 393 chg bounds, 4741 chg sides, 14207 chg coeffs, 4972 upgd conss, 0 impls, 89232 clqs
4.18/4.22 c (round 75, fast) 1345 del vars, 4756 del conss, 5619 add conss, 393 chg bounds, 4741 chg sides, 14207 chg coeffs, 4972 upgd conss, 0 impls, 89232 clqs
4.28/4.31 c (round 76, exhaustive) 1413 del vars, 4757 del conss, 5619 add conss, 393 chg bounds, 4741 chg sides, 14250 chg coeffs, 4972 upgd conss, 0 impls, 88944 clqs
4.28/4.31 c (round 77, fast) 1413 del vars, 4817 del conss, 5619 add conss, 393 chg bounds, 4741 chg sides, 14250 chg coeffs, 4972 upgd conss, 0 impls, 88944 clqs
4.38/4.42 c (round 78, exhaustive) 1438 del vars, 4817 del conss, 5619 add conss, 393 chg bounds, 4741 chg sides, 14265 chg coeffs, 4972 upgd conss, 0 impls, 88347 clqs
4.38/4.42 c (round 79, fast) 1438 del vars, 4893 del conss, 5619 add conss, 393 chg bounds, 4741 chg sides, 14265 chg coeffs, 4972 upgd conss, 0 impls, 88347 clqs
4.48/4.57 c (4.6s) probing: 1000/3071 (32.6%) - 389 fixings, 0 aggregations, 194911 implications, 0 bound changes
4.48/4.58 c (round 80, exhaustive) 1463 del vars, 4895 del conss, 5619 add conss, 393 chg bounds, 4741 chg sides, 14280 chg coeffs, 4972 upgd conss, 0 impls, 88792 clqs
4.48/4.58 c (round 81, fast) 1463 del vars, 4957 del conss, 5620 add conss, 393 chg bounds, 4741 chg sides, 14280 chg coeffs, 4972 upgd conss, 0 impls, 88792 clqs
4.58/4.69 c (round 82, exhaustive) 1488 del vars, 4957 del conss, 5620 add conss, 393 chg bounds, 4741 chg sides, 14295 chg coeffs, 4972 upgd conss, 0 impls, 88979 clqs
4.58/4.69 c (round 83, fast) 1488 del vars, 4997 del conss, 5620 add conss, 393 chg bounds, 4741 chg sides, 14295 chg coeffs, 4972 upgd conss, 0 impls, 88979 clqs
4.67/4.71 c (round 84, medium) 1488 del vars, 4999 del conss, 5622 add conss, 393 chg bounds, 4745 chg sides, 14865 chg coeffs, 4972 upgd conss, 0 impls, 88981 clqs
4.77/4.83 c (round 85, exhaustive) 1514 del vars, 5001 del conss, 5622 add conss, 393 chg bounds, 4745 chg sides, 14887 chg coeffs, 4972 upgd conss, 0 impls, 89591 clqs
4.77/4.84 c (round 86, fast) 1514 del vars, 5059 del conss, 5622 add conss, 393 chg bounds, 4745 chg sides, 14887 chg coeffs, 4972 upgd conss, 0 impls, 89591 clqs
4.77/4.85 c (round 87, medium) 1514 del vars, 5076 del conss, 5640 add conss, 393 chg bounds, 4766 chg sides, 16331 chg coeffs, 4972 upgd conss, 0 impls, 89596 clqs
4.87/4.99 c (round 88, exhaustive) 1539 del vars, 5080 del conss, 5640 add conss, 393 chg bounds, 4766 chg sides, 16355 chg coeffs, 4972 upgd conss, 0 impls, 90185 clqs
4.87/4.99 c (round 89, fast) 1539 del vars, 5152 del conss, 5641 add conss, 393 chg bounds, 4766 chg sides, 16355 chg coeffs, 4972 upgd conss, 0 impls, 90186 clqs
5.08/5.11 c (round 90, exhaustive) 1564 del vars, 5156 del conss, 5641 add conss, 393 chg bounds, 4766 chg sides, 16373 chg coeffs, 4972 upgd conss, 0 impls, 90873 clqs
5.08/5.11 c (round 91, fast) 1564 del vars, 5203 del conss, 5641 add conss, 393 chg bounds, 4766 chg sides, 16373 chg coeffs, 4972 upgd conss, 0 impls, 90873 clqs
5.08/5.12 c (round 92, medium) 1564 del vars, 5212 del conss, 5652 add conss, 393 chg bounds, 4778 chg sides, 16861 chg coeffs, 4972 upgd conss, 0 impls, 90875 clqs
5.17/5.23 c (5.2s) sparsify finished: 36/56554 (0.1%) nonzeros canceled - in total 648 canceled nonzeros, 4092 changed coefficients, 0 added nonzeros
5.17/5.23 c (round 93, exhaustive) 1564 del vars, 5212 del conss, 5652 add conss, 393 chg bounds, 4778 chg sides, 17622 chg coeffs, 4972 upgd conss, 0 impls, 90875 clqs
5.27/5.34 c (round 94, exhaustive) 1589 del vars, 5212 del conss, 5652 add conss, 393 chg bounds, 4778 chg sides, 17638 chg coeffs, 4976 upgd conss, 0 impls, 91372 clqs
5.27/5.34 c (round 95, fast) 1589 del vars, 5262 del conss, 5652 add conss, 393 chg bounds, 4778 chg sides, 17638 chg coeffs, 4976 upgd conss, 0 impls, 91372 clqs
5.37/5.49 c (round 96, exhaustive) 1614 del vars, 5262 del conss, 5652 add conss, 393 chg bounds, 4778 chg sides, 17653 chg coeffs, 4976 upgd conss, 0 impls, 95923 clqs
5.47/5.50 c (round 97, fast) 1614 del vars, 5322 del conss, 5652 add conss, 393 chg bounds, 4778 chg sides, 17653 chg coeffs, 4976 upgd conss, 0 impls, 95923 clqs
5.47/5.52 c (5.5s) running MILP presolver
5.47/5.53 c (5.5s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
5.47/5.56 c (round 98, medium) 1614 del vars, 5342 del conss, 5672 add conss, 393 chg bounds, 4818 chg sides, 18171 chg coeffs, 4976 upgd conss, 0 impls, 95925 clqs
5.47/5.60 c (round 99, exhaustive) 1614 del vars, 5342 del conss, 5672 add conss, 393 chg bounds, 4818 chg sides, 18427 chg coeffs, 4976 upgd conss, 0 impls, 95925 clqs
5.58/5.63 c (round 100, exhaustive) 1614 del vars, 5342 del conss, 5673 add conss, 393 chg bounds, 4819 chg sides, 18677 chg coeffs, 4976 upgd conss, 0 impls, 95925 clqs
5.58/5.69 c (round 101, exhaustive) 1616 del vars, 5345 del conss, 5673 add conss, 393 chg bounds, 4819 chg sides, 18696 chg coeffs, 4976 upgd conss, 0 impls, 95898 clqs
5.58/5.69 c (round 102, fast) 1616 del vars, 5351 del conss, 5673 add conss, 393 chg bounds, 4819 chg sides, 18696 chg coeffs, 4976 upgd conss, 0 impls, 95898 clqs
5.78/5.81 c (round 103, exhaustive) 1641 del vars, 5354 del conss, 5673 add conss, 393 chg bounds, 4819 chg sides, 18715 chg coeffs, 4976 upgd conss, 0 impls, 99168 clqs
5.78/5.81 c (round 104, fast) 1641 del vars, 5385 del conss, 5673 add conss, 393 chg bounds, 4819 chg sides, 18715 chg coeffs, 4976 upgd conss, 0 impls, 99168 clqs
5.78/5.82 c (round 105, medium) 1641 del vars, 5403 del conss, 5693 add conss, 393 chg bounds, 4841 chg sides, 19220 chg coeffs, 4976 upgd conss, 0 impls, 99171 clqs
5.78/5.83 c (round 106, fast) 1641 del vars, 5411 del conss, 5693 add conss, 393 chg bounds, 4841 chg sides, 19220 chg coeffs, 4976 upgd conss, 0 impls, 99171 clqs
5.78/5.88 c (round 107, exhaustive) 1641 del vars, 5411 del conss, 5693 add conss, 393 chg bounds, 4841 chg sides, 19469 chg coeffs, 4976 upgd conss, 0 impls, 99171 clqs
5.98/6.06 c (round 108, exhaustive) 1666 del vars, 5411 del conss, 5693 add conss, 393 chg bounds, 4841 chg sides, 19488 chg coeffs, 4976 upgd conss, 0 impls, 102026 clqs
5.98/6.07 c (round 109, fast) 1666 del vars, 5448 del conss, 5693 add conss, 393 chg bounds, 4841 chg sides, 19494 chg coeffs, 4976 upgd conss, 0 impls, 102027 clqs
5.98/6.08 c (round 110, medium) 1666 del vars, 5464 del conss, 5710 add conss, 393 chg bounds, 4862 chg sides, 19753 chg coeffs, 4976 upgd conss, 0 impls, 102029 clqs
5.98/6.08 c (round 111, fast) 1666 del vars, 5471 del conss, 5710 add conss, 393 chg bounds, 4862 chg sides, 19753 chg coeffs, 4976 upgd conss, 0 impls, 102029 clqs
6.08/6.14 c (round 112, exhaustive) 1666 del vars, 5471 del conss, 5710 add conss, 393 chg bounds, 4862 chg sides, 19996 chg coeffs, 4976 upgd conss, 0 impls, 102029 clqs
6.08/6.15 c (round 113, medium) 1666 del vars, 5472 del conss, 5712 add conss, 393 chg bounds, 4864 chg sides, 20000 chg coeffs, 4976 upgd conss, 0 impls, 102030 clqs
6.27/6.34 c (round 114, exhaustive) 1691 del vars, 5472 del conss, 5712 add conss, 393 chg bounds, 4864 chg sides, 20023 chg coeffs, 4976 upgd conss, 0 impls, 100694 clqs
6.27/6.34 c (round 115, fast) 1691 del vars, 5540 del conss, 5712 add conss, 393 chg bounds, 4864 chg sides, 20026 chg coeffs, 4976 upgd conss, 0 impls, 100695 clqs
6.37/6.41 c (round 116, exhaustive) 1691 del vars, 5540 del conss, 5713 add conss, 393 chg bounds, 4865 chg sides, 20259 chg coeffs, 4976 upgd conss, 0 impls, 100695 clqs
6.37/6.46 c (round 117, exhaustive) 1691 del vars, 5540 del conss, 5713 add conss, 393 chg bounds, 4865 chg sides, 20364 chg coeffs, 4976 upgd conss, 0 impls, 100695 clqs
6.57/6.60 c (round 118, exhaustive) 1716 del vars, 5540 del conss, 5713 add conss, 393 chg bounds, 4865 chg sides, 20381 chg coeffs, 4976 upgd conss, 0 impls, 101733 clqs
6.57/6.60 c (round 119, fast) 1716 del vars, 5583 del conss, 5713 add conss, 393 chg bounds, 4865 chg sides, 20397 chg coeffs, 4976 upgd conss, 0 impls, 101733 clqs
6.57/6.61 c (round 120, medium) 1716 del vars, 5598 del conss, 5729 add conss, 393 chg bounds, 4887 chg sides, 20658 chg coeffs, 4976 upgd conss, 0 impls, 101736 clqs
6.57/6.62 c (round 121, fast) 1716 del vars, 5604 del conss, 5729 add conss, 393 chg bounds, 4887 chg sides, 20658 chg coeffs, 4976 upgd conss, 0 impls, 101736 clqs
6.77/6.80 c (round 122, exhaustive) 1741 del vars, 5605 del conss, 5729 add conss, 393 chg bounds, 4887 chg sides, 20683 chg coeffs, 4976 upgd conss, 0 impls, 101522 clqs
6.77/6.80 c (round 123, fast) 1741 del vars, 5649 del conss, 5729 add conss, 393 chg bounds, 4887 chg sides, 20683 chg coeffs, 4976 upgd conss, 0 impls, 101522 clqs
6.77/6.82 c (round 124, medium) 1741 del vars, 5667 del conss, 5746 add conss, 393 chg bounds, 4912 chg sides, 20943 chg coeffs, 4976 upgd conss, 0 impls, 101522 clqs
6.77/6.82 c (round 125, fast) 1741 del vars, 5674 del conss, 5746 add conss, 393 chg bounds, 4912 chg sides, 20943 chg coeffs, 4976 upgd conss, 0 impls, 101522 clqs
6.87/6.93 c (round 126, exhaustive) 1808 del vars, 5676 del conss, 5746 add conss, 393 chg bounds, 4912 chg sides, 20969 chg coeffs, 4976 upgd conss, 0 impls, 100974 clqs
6.87/6.93 c (round 127, fast) 1808 del vars, 5722 del conss, 5746 add conss, 393 chg bounds, 4912 chg sides, 20969 chg coeffs, 4976 upgd conss, 0 impls, 100974 clqs
7.08/7.13 c (round 128, exhaustive) 1833 del vars, 5723 del conss, 5747 add conss, 393 chg bounds, 4913 chg sides, 20989 chg coeffs, 4976 upgd conss, 0 impls, 101804 clqs
7.08/7.13 c (round 129, fast) 1833 del vars, 5785 del conss, 5747 add conss, 393 chg bounds, 4913 chg sides, 20989 chg coeffs, 4976 upgd conss, 0 impls, 101804 clqs
7.08/7.13 c (round 130, medium) 1833 del vars, 5787 del conss, 5750 add conss, 393 chg bounds, 4916 chg sides, 21010 chg coeffs, 4976 upgd conss, 0 impls, 101804 clqs
7.27/7.35 c (round 131, exhaustive) 1858 del vars, 5791 del conss, 5750 add conss, 393 chg bounds, 4916 chg sides, 21025 chg coeffs, 4976 upgd conss, 0 impls, 102934 clqs
7.27/7.35 c (round 132, fast) 1858 del vars, 5823 del conss, 5750 add conss, 393 chg bounds, 4916 chg sides, 21025 chg coeffs, 4976 upgd conss, 0 impls, 102934 clqs
7.27/7.36 c (round 133, medium) 1858 del vars, 5852 del conss, 5777 add conss, 393 chg bounds, 4955 chg sides, 21474 chg coeffs, 4976 upgd conss, 0 impls, 102934 clqs
7.27/7.36 c (round 134, fast) 1858 del vars, 5865 del conss, 5777 add conss, 393 chg bounds, 4955 chg sides, 21474 chg coeffs, 4976 upgd conss, 0 impls, 102934 clqs
7.57/7.64 c (round 135, exhaustive) 1883 del vars, 5866 del conss, 5777 add conss, 393 chg bounds, 4955 chg sides, 21495 chg coeffs, 4976 upgd conss, 0 impls, 102910 clqs
7.57/7.64 c (round 136, fast) 1883 del vars, 5900 del conss, 5777 add conss, 393 chg bounds, 4955 chg sides, 21495 chg coeffs, 4976 upgd conss, 0 impls, 102910 clqs
7.57/7.65 c (round 137, medium) 1883 del vars, 5925 del conss, 5802 add conss, 393 chg bounds, 4994 chg sides, 21774 chg coeffs, 4976 upgd conss, 0 impls, 102910 clqs
7.57/7.65 c (round 138, fast) 1883 del vars, 5938 del conss, 5802 add conss, 393 chg bounds, 4994 chg sides, 21774 chg coeffs, 4976 upgd conss, 0 impls, 102910 clqs
7.87/7.96 c (round 139, exhaustive) 1908 del vars, 5938 del conss, 5802 add conss, 393 chg bounds, 4994 chg sides, 21791 chg coeffs, 4976 upgd conss, 0 impls, 103733 clqs
7.87/7.96 c (round 140, fast) 1908 del vars, 5953 del conss, 5802 add conss, 393 chg bounds, 4994 chg sides, 21791 chg coeffs, 4976 upgd conss, 0 impls, 103733 clqs
7.87/7.97 c (round 141, medium) 1908 del vars, 5989 del conss, 5836 add conss, 393 chg bounds, 5052 chg sides, 22423 chg coeffs, 4976 upgd conss, 0 impls, 103734 clqs
7.87/7.97 c (round 142, fast) 1908 del vars, 6009 del conss, 5836 add conss, 393 chg bounds, 5052 chg sides, 22423 chg coeffs, 4976 upgd conss, 0 impls, 103734 clqs
8.17/8.23 c (round 143, exhaustive) 1933 del vars, 6009 del conss, 5836 add conss, 393 chg bounds, 5052 chg sides, 22441 chg coeffs, 4976 upgd conss, 0 impls, 103240 clqs
8.17/8.23 c (round 144, fast) 1933 del vars, 6057 del conss, 5836 add conss, 393 chg bounds, 5052 chg sides, 22441 chg coeffs, 4976 upgd conss, 0 impls, 103240 clqs
8.17/8.24 c (round 145, medium) 1933 del vars, 6077 del conss, 5856 add conss, 393 chg bounds, 5100 chg sides, 22683 chg coeffs, 4976 upgd conss, 0 impls, 103241 clqs
8.17/8.24 c (round 146, fast) 1933 del vars, 6086 del conss, 5856 add conss, 393 chg bounds, 5100 chg sides, 22683 chg coeffs, 4976 upgd conss, 0 impls, 103241 clqs
8.37/8.48 c (round 147, exhaustive) 1958 del vars, 6086 del conss, 5856 add conss, 393 chg bounds, 5100 chg sides, 22696 chg coeffs, 4976 upgd conss, 0 impls, 103790 clqs
8.37/8.48 c (round 148, fast) 1958 del vars, 6122 del conss, 5856 add conss, 393 chg bounds, 5100 chg sides, 22696 chg coeffs, 4976 upgd conss, 0 impls, 103790 clqs
8.47/8.50 c (8.5s) running MILP presolver
8.47/8.51 c (8.5s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
8.47/8.52 c (round 149, medium) 1958 del vars, 6134 del conss, 5869 add conss, 393 chg bounds, 5113 chg sides, 22779 chg coeffs, 4976 upgd conss, 0 impls, 103791 clqs
8.47/8.52 c (round 150, fast) 1958 del vars, 6147 del conss, 5869 add conss, 393 chg bounds, 5113 chg sides, 22779 chg coeffs, 4976 upgd conss, 0 impls, 103791 clqs
8.66/8.71 c (8.7s) probing: 2000/3071 (65.1%) - 912 fixings, 0 aggregations, 375131 implications, 0 bound changes
8.66/8.74 c (round 151, exhaustive) 1983 del vars, 6147 del conss, 5869 add conss, 393 chg bounds, 5113 chg sides, 22788 chg coeffs, 4976 upgd conss, 0 impls, 103780 clqs
8.66/8.75 c (round 152, fast) 1983 del vars, 6204 del conss, 5869 add conss, 393 chg bounds, 5113 chg sides, 22788 chg coeffs, 4976 upgd conss, 0 impls, 103780 clqs
8.66/8.75 c (round 153, medium) 1983 del vars, 6210 del conss, 5875 add conss, 393 chg bounds, 5119 chg sides, 22824 chg coeffs, 4976 upgd conss, 0 impls, 103780 clqs
8.66/8.75 c (round 154, fast) 1983 del vars, 6216 del conss, 5875 add conss, 393 chg bounds, 5119 chg sides, 22824 chg coeffs, 4976 upgd conss, 0 impls, 103780 clqs
8.76/8.82 c (round 155, exhaustive) 1983 del vars, 6229 del conss, 5875 add conss, 393 chg bounds, 5119 chg sides, 22833 chg coeffs, 4976 upgd conss, 0 impls, 103780 clqs
8.76/8.89 c (8.9s) sparsify aborted: 27/44897 (0.1%) nonzeros canceled - in total 675 canceled nonzeros, 4163 changed coefficients, 0 added nonzeros
8.76/8.89 c (round 156, exhaustive) 1983 del vars, 6229 del conss, 5876 add conss, 393 chg bounds, 5120 chg sides, 22915 chg coeffs, 4976 upgd conss, 0 impls, 103780 clqs
8.86/8.90 c (round 157, exhaustive) 1983 del vars, 6232 del conss, 5876 add conss, 393 chg bounds, 5120 chg sides, 22924 chg coeffs, 4979 upgd conss, 0 impls, 103780 clqs
8.86/8.91 c (round 158, medium) 1983 del vars, 6235 del conss, 5883 add conss, 393 chg bounds, 5124 chg sides, 22932 chg coeffs, 4979 upgd conss, 0 impls, 103780 clqs
9.07/9.12 c (round 159, exhaustive) 2008 del vars, 6237 del conss, 5883 add conss, 393 chg bounds, 5124 chg sides, 22943 chg coeffs, 4979 upgd conss, 0 impls, 104257 clqs
9.07/9.12 c (round 160, fast) 2008 del vars, 6295 del conss, 5883 add conss, 393 chg bounds, 5124 chg sides, 22943 chg coeffs, 4979 upgd conss, 0 impls, 104257 clqs
9.07/9.12 c (round 161, medium) 2008 del vars, 6301 del conss, 5889 add conss, 393 chg bounds, 5130 chg sides, 22979 chg coeffs, 4979 upgd conss, 0 impls, 104257 clqs
9.07/9.13 c (round 162, fast) 2008 del vars, 6307 del conss, 5889 add conss, 393 chg bounds, 5130 chg sides, 22979 chg coeffs, 4979 upgd conss, 0 impls, 104257 clqs
9.46/9.50 c (round 163, exhaustive) 2033 del vars, 6311 del conss, 5889 add conss, 393 chg bounds, 5130 chg sides, 22990 chg coeffs, 4979 upgd conss, 0 impls, 103783 clqs
9.46/9.50 c (round 164, fast) 2033 del vars, 6387 del conss, 5889 add conss, 393 chg bounds, 5130 chg sides, 22990 chg coeffs, 4979 upgd conss, 0 impls, 103783 clqs
9.46/9.51 c (round 165, medium) 2033 del vars, 6399 del conss, 5901 add conss, 393 chg bounds, 5142 chg sides, 23054 chg coeffs, 4979 upgd conss, 0 impls, 103787 clqs
9.66/9.76 c (round 166, exhaustive) 2058 del vars, 6403 del conss, 5901 add conss, 393 chg bounds, 5142 chg sides, 23064 chg coeffs, 4979 upgd conss, 0 impls, 104230 clqs
9.66/9.77 c (round 167, fast) 2058 del vars, 6450 del conss, 5901 add conss, 393 chg bounds, 5142 chg sides, 23064 chg coeffs, 4979 upgd conss, 0 impls, 104230 clqs
9.66/9.77 c (round 168, medium) 2058 del vars, 6455 del conss, 5906 add conss, 393 chg bounds, 5147 chg sides, 23094 chg coeffs, 4979 upgd conss, 0 impls, 104230 clqs
9.66/9.77 c (round 169, fast) 2058 del vars, 6460 del conss, 5906 add conss, 393 chg bounds, 5147 chg sides, 23094 chg coeffs, 4979 upgd conss, 0 impls, 104230 clqs
9.76/9.83 c (round 170, exhaustive) 2058 del vars, 6468 del conss, 5906 add conss, 393 chg bounds, 5147 chg sides, 23152 chg coeffs, 4979 upgd conss, 0 impls, 104230 clqs
9.76/9.83 c (round 171, medium) 2058 del vars, 6470 del conss, 5909 add conss, 393 chg bounds, 5150 chg sides, 23158 chg coeffs, 4979 upgd conss, 0 impls, 104231 clqs
9.86/9.90 c (9.9s) sparsify aborted: 50/42288 (0.1%) nonzeros canceled - in total 725 canceled nonzeros, 4213 changed coefficients, 0 added nonzeros
9.96/10.00 c (round 172, exhaustive) 2083 del vars, 6470 del conss, 5909 add conss, 393 chg bounds, 5150 chg sides, 23227 chg coeffs, 4979 upgd conss, 0 impls, 104564 clqs
9.96/10.01 c (round 173, fast) 2083 del vars, 6514 del conss, 5914 add conss, 393 chg bounds, 5150 chg sides, 23227 chg coeffs, 4979 upgd conss, 0 impls, 104564 clqs
9.96/10.01 c (round 174, medium) 2083 del vars, 6523 del conss, 5928 add conss, 393 chg bounds, 5164 chg sides, 23283 chg coeffs, 4979 upgd conss, 0 impls, 104564 clqs
9.96/10.01 c (round 175, fast) 2083 del vars, 6530 del conss, 5928 add conss, 393 chg bounds, 5164 chg sides, 23283 chg coeffs, 4979 upgd conss, 0 impls, 104564 clqs
9.96/10.07 c (round 176, exhaustive) 2083 del vars, 6530 del conss, 5928 add conss, 393 chg bounds, 5164 chg sides, 23333 chg coeffs, 4983 upgd conss, 0 impls, 104564 clqs
9.96/10.07 c (round 177, medium) 2083 del vars, 6538 del conss, 5944 add conss, 393 chg bounds, 5168 chg sides, 23351 chg coeffs, 4983 upgd conss, 0 impls, 104564 clqs
10.06/10.14 c (10.1s) sparsify aborted: 67/41272 (0.2%) nonzeros canceled - in total 792 canceled nonzeros, 4280 changed coefficients, 0 added nonzeros
10.06/10.14 c (round 178, exhaustive) 2083 del vars, 6538 del conss, 5944 add conss, 393 chg bounds, 5168 chg sides, 23455 chg coeffs, 4983 upgd conss, 0 impls, 104564 clqs
10.06/10.15 c (round 179, exhaustive) 2083 del vars, 6544 del conss, 5944 add conss, 393 chg bounds, 5168 chg sides, 23464 chg coeffs, 4983 upgd conss, 0 impls, 104564 clqs
10.06/10.16 c (round 180, exhaustive) 2083 del vars, 6544 del conss, 5944 add conss, 393 chg bounds, 5168 chg sides, 23471 chg coeffs, 4988 upgd conss, 0 impls, 104564 clqs
10.06/10.16 c (round 181, medium) 2083 del vars, 6548 del conss, 5958 add conss, 393 chg bounds, 5170 chg sides, 23476 chg coeffs, 4988 upgd conss, 0 impls, 104565 clqs
10.16/10.23 c (10.2s) sparsify aborted: 51/41214 (0.1%) nonzeros canceled - in total 843 canceled nonzeros, 4331 changed coefficients, 0 added nonzeros
10.16/10.29 c (round 182, exhaustive) 2108 del vars, 6550 del conss, 5959 add conss, 393 chg bounds, 5170 chg sides, 23534 chg coeffs, 4988 upgd conss, 0 impls, 104685 clqs
10.16/10.29 c (round 183, fast) 2108 del vars, 6606 del conss, 5959 add conss, 393 chg bounds, 5174 chg sides, 23538 chg coeffs, 4988 upgd conss, 0 impls, 104685 clqs
10.16/10.29 c (round 184, medium) 2108 del vars, 6615 del conss, 5971 add conss, 393 chg bounds, 5190 chg sides, 23590 chg coeffs, 4988 upgd conss, 0 impls, 104691 clqs
10.16/10.29 c (round 185, fast) 2108 del vars, 6619 del conss, 5971 add conss, 393 chg bounds, 5190 chg sides, 23590 chg coeffs, 4988 upgd conss, 0 impls, 104691 clqs
10.26/10.35 c (round 186, exhaustive) 2108 del vars, 6625 del conss, 5971 add conss, 393 chg bounds, 5190 chg sides, 23598 chg coeffs, 4988 upgd conss, 0 impls, 104691 clqs
10.26/10.35 c (round 187, medium) 2108 del vars, 6626 del conss, 5973 add conss, 393 chg bounds, 5192 chg sides, 23619 chg coeffs, 4988 upgd conss, 0 impls, 104692 clqs
10.26/10.36 c (round 188, exhaustive) 2108 del vars, 6627 del conss, 5973 add conss, 393 chg bounds, 5192 chg sides, 23625 chg coeffs, 4991 upgd conss, 0 impls, 104692 clqs
10.26/10.36 c (round 189, medium) 2108 del vars, 6630 del conss, 5982 add conss, 393 chg bounds, 5192 chg sides, 23625 chg coeffs, 4991 upgd conss, 0 impls, 104693 clqs
10.36/10.43 c (10.4s) sparsify aborted: 16/40053 (0.0%) nonzeros canceled - in total 859 canceled nonzeros, 4347 changed coefficients, 0 added nonzeros
10.46/10.50 c (round 190, exhaustive) 2133 del vars, 6630 del conss, 5982 add conss, 393 chg bounds, 5192 chg sides, 23647 chg coeffs, 4991 upgd conss, 0 impls, 104526 clqs
10.46/10.51 c (round 191, fast) 2133 del vars, 6705 del conss, 5982 add conss, 393 chg bounds, 5192 chg sides, 23647 chg coeffs, 4991 upgd conss, 0 impls, 104526 clqs
10.56/10.67 c (round 192, exhaustive) 2158 del vars, 6707 del conss, 5982 add conss, 393 chg bounds, 5192 chg sides, 23653 chg coeffs, 4992 upgd conss, 0 impls, 105314 clqs
10.56/10.67 c (round 193, fast) 2158 del vars, 6782 del conss, 5982 add conss, 393 chg bounds, 5192 chg sides, 23653 chg coeffs, 4992 upgd conss, 0 impls, 105314 clqs
10.56/10.67 c (round 194, medium) 2158 del vars, 6783 del conss, 5985 add conss, 393 chg bounds, 5192 chg sides, 23653 chg coeffs, 4992 upgd conss, 0 impls, 105314 clqs
10.66/10.77 c (round 195, exhaustive) 2183 del vars, 6786 del conss, 5985 add conss, 393 chg bounds, 5192 chg sides, 23660 chg coeffs, 4992 upgd conss, 0 impls, 104406 clqs
10.66/10.77 c (round 196, fast) 2183 del vars, 6869 del conss, 5985 add conss, 393 chg bounds, 5192 chg sides, 23660 chg coeffs, 4992 upgd conss, 0 impls, 104406 clqs
10.76/10.83 c (round 197, exhaustive) 2183 del vars, 6873 del conss, 5985 add conss, 393 chg bounds, 5192 chg sides, 23684 chg coeffs, 4992 upgd conss, 0 impls, 104406 clqs
10.76/10.89 c (round 198, exhaustive) 2208 del vars, 6873 del conss, 5985 add conss, 393 chg bounds, 5192 chg sides, 23690 chg coeffs, 4992 upgd conss, 0 impls, 102200 clqs
10.76/10.89 c (round 199, fast) 2208 del vars, 6949 del conss, 5985 add conss, 393 chg bounds, 5192 chg sides, 23690 chg coeffs, 4992 upgd conss, 0 impls, 102200 clqs
10.86/10.99 c (11.0s) sparsify finished: 48/34702 (0.1%) nonzeros canceled - in total 907 canceled nonzeros, 4395 changed coefficients, 0 added nonzeros
10.86/10.99 c (round 200, exhaustive) 2208 del vars, 6951 del conss, 5985 add conss, 393 chg bounds, 5192 chg sides, 23753 chg coeffs, 4992 upgd conss, 0 impls, 102200 clqs
10.96/11.06 c (round 201, exhaustive) 2233 del vars, 6951 del conss, 5985 add conss, 393 chg bounds, 5192 chg sides, 23765 chg coeffs, 4995 upgd conss, 0 impls, 100596 clqs
10.96/11.06 c (round 202, fast) 2233 del vars, 7025 del conss, 5985 add conss, 393 chg bounds, 5192 chg sides, 23765 chg coeffs, 4995 upgd conss, 0 impls, 100596 clqs
10.96/11.06 c (round 203, medium) 2234 del vars, 7030 del conss, 5994 add conss, 393 chg bounds, 5192 chg sides, 23765 chg coeffs, 4995 upgd conss, 0 impls, 100590 clqs
11.06/11.14 c (11.1s) probing: 3000/3071 (97.7%) - 1175 fixings, 0 aggregations, 497925 implications, 0 bound changes
11.06/11.14 c (11.1s) probing cycle finished: starting next cycle
11.55/11.68 c (round 204, exhaustive) 2262 del vars, 7033 del conss, 5994 add conss, 393 chg bounds, 5192 chg sides, 23779 chg coeffs, 4995 upgd conss, 0 impls, 105553 clqs
11.55/11.68 c (round 205, fast) 2265 del vars, 7130 del conss, 5994 add conss, 393 chg bounds, 5192 chg sides, 23779 chg coeffs, 4995 upgd conss, 0 impls, 105553 clqs
11.55/11.69 c (11.7s) running MILP presolver
11.65/11.71 c (11.7s) MILP presolver (4 rounds): 2 aggregations, 0 fixings, 0 bound changes
11.65/11.71 c (round 206, medium) 2267 del vars, 7155 del conss, 6020 add conss, 393 chg bounds, 5208 chg sides, 23879 chg coeffs, 4995 upgd conss, 0 impls, 105538 clqs
11.65/11.76 c (round 207, exhaustive) 2267 del vars, 7173 del conss, 6020 add conss, 393 chg bounds, 5208 chg sides, 23885 chg coeffs, 4995 upgd conss, 0 impls, 105541 clqs
11.65/11.77 c (round 208, medium) 2267 del vars, 7174 del conss, 6022 add conss, 393 chg bounds, 5210 chg sides, 24023 chg coeffs, 4995 upgd conss, 0 impls, 105542 clqs
11.65/11.78 c (round 209, exhaustive) 2267 del vars, 7179 del conss, 6022 add conss, 393 chg bounds, 5210 chg sides, 24028 chg coeffs, 4995 upgd conss, 0 impls, 105542 clqs
11.65/11.79 c (round 210, exhaustive) 2267 del vars, 7180 del conss, 6022 add conss, 393 chg bounds, 5210 chg sides, 24033 chg coeffs, 5003 upgd conss, 0 impls, 105542 clqs
11.75/11.89 c (round 211, exhaustive) 2292 del vars, 7182 del conss, 6022 add conss, 393 chg bounds, 5210 chg sides, 24037 chg coeffs, 5003 upgd conss, 0 impls, 106784 clqs
11.75/11.89 c (round 212, fast) 2292 del vars, 7264 del conss, 6022 add conss, 393 chg bounds, 5210 chg sides, 24037 chg coeffs, 5003 upgd conss, 0 impls, 106784 clqs
11.85/11.94 c (round 213, exhaustive) 2292 del vars, 7282 del conss, 6022 add conss, 393 chg bounds, 5210 chg sides, 24041 chg coeffs, 5003 upgd conss, 0 impls, 106784 clqs
11.85/11.99 c (12.0s) sparsify finished: 32/27452 (0.1%) nonzeros canceled - in total 939 canceled nonzeros, 4427 changed coefficients, 0 added nonzeros
12.15/12.23 c (round 214, exhaustive) 2317 del vars, 7282 del conss, 6022 add conss, 393 chg bounds, 5210 chg sides, 24077 chg coeffs, 5003 upgd conss, 0 impls, 106482 clqs
12.15/12.23 c (round 215, fast) 2317 del vars, 7356 del conss, 6022 add conss, 393 chg bounds, 5210 chg sides, 24087 chg coeffs, 5003 upgd conss, 0 impls, 106484 clqs
12.15/12.23 c (round 216, medium) 2317 del vars, 7359 del conss, 6030 add conss, 393 chg bounds, 5218 chg sides, 24103 chg coeffs, 5003 upgd conss, 0 impls, 106484 clqs
12.15/12.28 c (round 217, exhaustive) 2317 del vars, 7370 del conss, 6030 add conss, 393 chg bounds, 5218 chg sides, 24110 chg coeffs, 5003 upgd conss, 0 impls, 106484 clqs
12.15/12.29 c (round 218, exhaustive) 2317 del vars, 7376 del conss, 6030 add conss, 393 chg bounds, 5218 chg sides, 24112 chg coeffs, 5003 upgd conss, 0 impls, 106484 clqs
12.35/12.49 c (12.5s) probing: 1000/1649 (60.6%) - 1248 fixings, 0 aggregations, 580903 implications, 0 bound changes
12.75/12.81 c (round 219, exhaustive) 2342 del vars, 7376 del conss, 6030 add conss, 393 chg bounds, 5218 chg sides, 24114 chg coeffs, 5005 upgd conss, 0 impls, 107588 clqs
12.75/12.81 c (round 220, fast) 2342 del vars, 7416 del conss, 6030 add conss, 393 chg bounds, 5218 chg sides, 24120 chg coeffs, 5005 upgd conss, 0 impls, 107591 clqs
12.75/12.81 c (round 221, medium) 2342 del vars, 7433 del conss, 6057 add conss, 393 chg bounds, 5242 chg sides, 24297 chg coeffs, 5005 upgd conss, 0 impls, 107593 clqs
12.75/12.82 c (round 222, fast) 2342 del vars, 7446 del conss, 6058 add conss, 393 chg bounds, 5242 chg sides, 24297 chg coeffs, 5005 upgd conss, 0 impls, 107593 clqs
13.05/13.19 c (round 223, exhaustive) 2367 del vars, 7447 del conss, 6058 add conss, 393 chg bounds, 5242 chg sides, 24305 chg coeffs, 5005 upgd conss, 0 impls, 108064 clqs
13.05/13.19 c (round 224, fast) 2367 del vars, 7520 del conss, 6058 add conss, 393 chg bounds, 5242 chg sides, 24305 chg coeffs, 5005 upgd conss, 0 impls, 108064 clqs
13.15/13.24 c (round 225, exhaustive) 2367 del vars, 7525 del conss, 6058 add conss, 393 chg bounds, 5242 chg sides, 24310 chg coeffs, 5005 upgd conss, 0 impls, 108064 clqs
13.15/13.24 c (round 226, medium) 2367 del vars, 7527 del conss, 6061 add conss, 393 chg bounds, 5245 chg sides, 24316 chg coeffs, 5005 upgd conss, 0 impls, 108064 clqs
13.25/13.33 c (round 227, exhaustive) 2392 del vars, 7527 del conss, 6061 add conss, 393 chg bounds, 5245 chg sides, 24320 chg coeffs, 5005 upgd conss, 0 impls, 107737 clqs
13.25/13.33 c (round 228, fast) 2392 del vars, 7600 del conss, 6062 add conss, 393 chg bounds, 5245 chg sides, 24320 chg coeffs, 5005 upgd conss, 0 impls, 107737 clqs
13.25/13.37 c (round 229, exhaustive) 2392 del vars, 7605 del conss, 6062 add conss, 393 chg bounds, 5245 chg sides, 24347 chg coeffs, 5005 upgd conss, 0 impls, 107737 clqs
13.25/13.38 c (round 230, medium) 2392 del vars, 7607 del conss, 6065 add conss, 393 chg bounds, 5249 chg sides, 24356 chg coeffs, 5005 upgd conss, 0 impls, 107737 clqs
13.35/13.49 c (round 231, exhaustive) 2417 del vars, 7607 del conss, 6065 add conss, 393 chg bounds, 5249 chg sides, 24369 chg coeffs, 5005 upgd conss, 0 impls, 107393 clqs
13.35/13.49 c (round 232, fast) 2417 del vars, 7684 del conss, 6065 add conss, 393 chg bounds, 5249 chg sides, 24369 chg coeffs, 5005 upgd conss, 0 impls, 107393 clqs
13.35/13.49 c (round 233, medium) 2417 del vars, 7686 del conss, 6067 add conss, 393 chg bounds, 5251 chg sides, 24380 chg coeffs, 5005 upgd conss, 0 impls, 107394 clqs
13.45/13.53 c (round 234, exhaustive) 2417 del vars, 7702 del conss, 6067 add conss, 393 chg bounds, 5251 chg sides, 24410 chg coeffs, 5005 upgd conss, 0 impls, 107394 clqs
13.45/13.54 c (round 235, medium) 2417 del vars, 7707 del conss, 6074 add conss, 393 chg bounds, 5261 chg sides, 24429 chg coeffs, 5005 upgd conss, 0 impls, 107397 clqs
13.55/13.61 c (round 236, exhaustive) 2442 del vars, 7709 del conss, 6074 add conss, 393 chg bounds, 5261 chg sides, 24449 chg coeffs, 5005 upgd conss, 0 impls, 103803 clqs
13.55/13.61 c (round 237, fast) 2442 del vars, 7784 del conss, 6074 add conss, 393 chg bounds, 5261 chg sides, 24449 chg coeffs, 5005 upgd conss, 0 impls, 103803 clqs
13.65/13.70 c (round 238, exhaustive) 2467 del vars, 7784 del conss, 6074 add conss, 393 chg bounds, 5261 chg sides, 24468 chg coeffs, 5005 upgd conss, 0 impls, 101773 clqs
13.65/13.70 c (round 239, fast) 2467 del vars, 7862 del conss, 6074 add conss, 393 chg bounds, 5261 chg sides, 24468 chg coeffs, 5005 upgd conss, 0 impls, 101773 clqs
13.65/13.75 c (round 240, exhaustive) 2467 del vars, 7877 del conss, 6074 add conss, 393 chg bounds, 5261 chg sides, 24485 chg coeffs, 5005 upgd conss, 0 impls, 101773 clqs
13.75/13.80 c (round 241, exhaustive) 2492 del vars, 7879 del conss, 6074 add conss, 393 chg bounds, 5261 chg sides, 24501 chg coeffs, 5005 upgd conss, 0 impls, 97382 clqs
13.75/13.80 c (round 242, fast) 2492 del vars, 7955 del conss, 6074 add conss, 393 chg bounds, 5261 chg sides, 24501 chg coeffs, 5005 upgd conss, 0 impls, 97382 clqs
13.75/13.81 c (13.8s) running MILP presolver
13.75/13.82 c (13.8s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
13.85/13.90 c (round 243, exhaustive) 2517 del vars, 7957 del conss, 6074 add conss, 393 chg bounds, 5261 chg sides, 24517 chg coeffs, 5005 upgd conss, 0 impls, 91106 clqs
13.85/13.91 c (round 244, fast) 2517 del vars, 8033 del conss, 6074 add conss, 393 chg bounds, 5261 chg sides, 24517 chg coeffs, 5005 upgd conss, 0 impls, 91106 clqs
13.85/13.97 c (14.0s) sparsify finished: 44/19876 (0.2%) nonzeros canceled - in total 983 canceled nonzeros, 4472 changed coefficients, 0 added nonzeros
13.85/13.97 c (round 245, exhaustive) 2517 del vars, 8033 del conss, 6074 add conss, 393 chg bounds, 5261 chg sides, 24586 chg coeffs, 5005 upgd conss, 0 impls, 91106 clqs
13.85/13.99 c (round 246, exhaustive) 2517 del vars, 8050 del conss, 6074 add conss, 393 chg bounds, 5261 chg sides, 24608 chg coeffs, 5005 upgd conss, 0 impls, 91106 clqs
13.85/14.00 c (round 247, exhaustive) 2517 del vars, 8050 del conss, 6074 add conss, 393 chg bounds, 5261 chg sides, 24630 chg coeffs, 5010 upgd conss, 0 impls, 91106 clqs
13.85/14.00 c (round 248, medium) 2517 del vars, 8054 del conss, 6089 add conss, 393 chg bounds, 5264 chg sides, 24637 chg coeffs, 5010 upgd conss, 0 impls, 91107 clqs
13.95/14.04 c (14.0s) sparsify finished: 62/19643 (0.3%) nonzeros canceled - in total 1045 canceled nonzeros, 4535 changed coefficients, 0 added nonzeros
13.95/14.04 c (round 249, exhaustive) 2517 del vars, 8055 del conss, 6089 add conss, 393 chg bounds, 5264 chg sides, 24722 chg coeffs, 5010 upgd conss, 0 impls, 91107 clqs
13.95/14.05 c (round 250, exhaustive) 2517 del vars, 8055 del conss, 6089 add conss, 393 chg bounds, 5264 chg sides, 24736 chg coeffs, 5017 upgd conss, 0 impls, 91116 clqs
13.95/14.05 c (round 251, medium) 2517 del vars, 8056 del conss, 6094 add conss, 393 chg bounds, 5269 chg sides, 24751 chg coeffs, 5017 upgd conss, 0 impls, 91119 clqs
13.95/14.06 c (round 252, exhaustive) 2517 del vars, 8058 del conss, 6095 add conss, 393 chg bounds, 5269 chg sides, 24771 chg coeffs, 5017 upgd conss, 0 impls, 91120 clqs
13.95/14.06 c (round 253, fast) 2517 del vars, 8060 del conss, 6096 add conss, 393 chg bounds, 5269 chg sides, 24771 chg coeffs, 5017 upgd conss, 0 impls, 91120 clqs
13.95/14.09 c (14.1s) sparsify finished: 54/19626 (0.3%) nonzeros canceled - in total 1099 canceled nonzeros, 4589 changed coefficients, 0 added nonzeros
13.95/14.09 c (round 254, exhaustive) 2517 del vars, 8060 del conss, 6096 add conss, 393 chg bounds, 5269 chg sides, 24839 chg coeffs, 5017 upgd conss, 0 impls, 91124 clqs
14.05/14.10 c (round 255, exhaustive) 2517 del vars, 8060 del conss, 6096 add conss, 393 chg bounds, 5269 chg sides, 24847 chg coeffs, 5023 upgd conss, 0 impls, 91133 clqs
14.05/14.14 c (14.1s) sparsify finished: 72/19585 (0.4%) nonzeros canceled - in total 1171 canceled nonzeros, 4661 changed coefficients, 0 added nonzeros
14.05/14.14 c (round 256, exhaustive) 2517 del vars, 8060 del conss, 6096 add conss, 393 chg bounds, 5269 chg sides, 24924 chg coeffs, 5023 upgd conss, 0 impls, 91133 clqs
14.05/14.14 c (round 257, exhaustive) 2517 del vars, 8060 del conss, 6096 add conss, 393 chg bounds, 5269 chg sides, 24924 chg coeffs, 5031 upgd conss, 0 impls, 91141 clqs
14.05/14.19 c (14.2s) probing cycle finished: starting next cycle
14.14/14.27 c (round 258, exhaustive) 2559 del vars, 8060 del conss, 6096 add conss, 393 chg bounds, 5269 chg sides, 24924 chg coeffs, 5031 upgd conss, 0 impls, 86528 clqs
14.14/14.27 c (round 259, fast) 2559 del vars, 8202 del conss, 6101 add conss, 393 chg bounds, 5269 chg sides, 24928 chg coeffs, 5031 upgd conss, 0 impls, 86534 clqs
14.14/14.28 c (round 260, medium) 2559 del vars, 8324 del conss, 6486 add conss, 393 chg bounds, 5288 chg sides, 24983 chg coeffs, 5031 upgd conss, 0 impls, 86990 clqs
14.14/14.28 c (round 261, fast) 2559 del vars, 8333 del conss, 6495 add conss, 393 chg bounds, 5288 chg sides, 24983 chg coeffs, 5031 upgd conss, 0 impls, 86990 clqs
14.24/14.31 c (round 262, exhaustive) 2559 del vars, 8336 del conss, 6495 add conss, 393 chg bounds, 5288 chg sides, 24990 chg coeffs, 5031 upgd conss, 0 impls, 86990 clqs
14.24/14.37 c (round 263, exhaustive) 2586 del vars, 8336 del conss, 6496 add conss, 393 chg bounds, 5289 chg sides, 24999 chg coeffs, 5031 upgd conss, 0 impls, 85733 clqs
14.24/14.38 c (round 264, fast) 2586 del vars, 8414 del conss, 6497 add conss, 393 chg bounds, 5289 chg sides, 25005 chg coeffs, 5031 upgd conss, 0 impls, 85736 clqs
14.34/14.40 c (round 265, exhaustive) 2586 del vars, 8415 del conss, 6498 add conss, 393 chg bounds, 5290 chg sides, 25008 chg coeffs, 5031 upgd conss, 0 impls, 85737 clqs
14.44/14.56 c (round 266, exhaustive) 2614 del vars, 8416 del conss, 6498 add conss, 393 chg bounds, 5290 chg sides, 25016 chg coeffs, 5031 upgd conss, 0 impls, 93028 clqs
14.44/14.56 c (round 267, fast) 2617 del vars, 8502 del conss, 6502 add conss, 393 chg bounds, 5290 chg sides, 25039 chg coeffs, 5031 upgd conss, 0 impls, 93039 clqs
14.44/14.56 c (round 268, exhaustive) 2617 del vars, 8506 del conss, 6504 add conss, 393 chg bounds, 5290 chg sides, 25039 chg coeffs, 5031 upgd conss, 0 impls, 93039 clqs
14.44/14.59 c (round 269, exhaustive) 2617 del vars, 8509 del conss, 6504 add conss, 393 chg bounds, 5290 chg sides, 25041 chg coeffs, 5031 upgd conss, 0 impls, 93039 clqs
14.54/14.63 c (14.6s) sparsify finished: 28/17246 (0.2%) nonzeros canceled - in total 1199 canceled nonzeros, 5237 changed coefficients, 0 added nonzeros
14.54/14.63 c (round 270, exhaustive) 2617 del vars, 8509 del conss, 6504 add conss, 393 chg bounds, 5290 chg sides, 25621 chg coeffs, 5031 upgd conss, 0 impls, 93039 clqs
14.54/14.64 c (round 271, exhaustive) 2617 del vars, 8527 del conss, 6504 add conss, 393 chg bounds, 5290 chg sides, 25621 chg coeffs, 5031 upgd conss, 0 impls, 93039 clqs
14.54/14.64 c (round 272, exhaustive) 2617 del vars, 8527 del conss, 6504 add conss, 393 chg bounds, 5290 chg sides, 25621 chg coeffs, 5035 upgd conss, 0 impls, 93039 clqs
14.54/14.69 c (round 273, exhaustive) 2670 del vars, 8527 del conss, 6504 add conss, 393 chg bounds, 5290 chg sides, 25621 chg coeffs, 5035 upgd conss, 0 impls, 81333 clqs
14.54/14.69 c (round 274, fast) 2670 del vars, 8671 del conss, 6504 add conss, 393 chg bounds, 5290 chg sides, 25678 chg coeffs, 5035 upgd conss, 0 impls, 81343 clqs
14.64/14.72 c (round 275, exhaustive) 2670 del vars, 8691 del conss, 6504 add conss, 393 chg bounds, 5290 chg sides, 25678 chg coeffs, 5035 upgd conss, 0 impls, 81343 clqs
14.74/14.86 c (round 276, exhaustive) 2696 del vars, 8691 del conss, 6504 add conss, 393 chg bounds, 5290 chg sides, 25678 chg coeffs, 5035 upgd conss, 0 impls, 84441 clqs
14.74/14.86 c (round 277, fast) 2697 del vars, 8756 del conss, 6504 add conss, 393 chg bounds, 5290 chg sides, 25742 chg coeffs, 5035 upgd conss, 0 impls, 84445 clqs
14.84/14.90 c (round 278, exhaustive) 2697 del vars, 8770 del conss, 6504 add conss, 393 chg bounds, 5290 chg sides, 25749 chg coeffs, 5035 upgd conss, 0 impls, 84445 clqs
15.24/15.36 c (15.4s) probing: 1000/1366 (73.2%) - 1621 fixings, 0 aggregations, 761992 implications, 0 bound changes
15.44/15.52 c (round 279, exhaustive) 2722 del vars, 8770 del conss, 6504 add conss, 393 chg bounds, 5290 chg sides, 25750 chg coeffs, 5035 upgd conss, 0 impls, 108934 clqs
15.44/15.52 c (round 280, fast) 2722 del vars, 8851 del conss, 6508 add conss, 393 chg bounds, 5290 chg sides, 25757 chg coeffs, 5035 upgd conss, 0 impls, 108935 clqs
15.44/15.53 c (15.5s) running MILP presolver
15.44/15.59 c (15.6s) MILP presolver (20 rounds): 1 aggregations, 57 fixings, 0 bound changes
15.54/15.61 c (round 281, medium) 2780 del vars, 9014 del conss, 6512 add conss, 393 chg bounds, 5293 chg sides, 25785 chg coeffs, 5035 upgd conss, 0 impls, 95025 clqs
15.54/15.61 c (round 282, fast) 2780 del vars, 9018 del conss, 6513 add conss, 393 chg bounds, 5293 chg sides, 25785 chg coeffs, 5035 upgd conss, 0 impls, 95025 clqs
15.54/15.61 c (round 283, exhaustive) 2780 del vars, 9022 del conss, 6515 add conss, 393 chg bounds, 5293 chg sides, 25785 chg coeffs, 5035 upgd conss, 0 impls, 95025 clqs
15.54/15.64 c (round 284, exhaustive) 2780 del vars, 9022 del conss, 6515 add conss, 393 chg bounds, 5293 chg sides, 25867 chg coeffs, 5035 upgd conss, 0 impls, 95025 clqs
15.54/15.64 c (round 285, medium) 2780 del vars, 9069 del conss, 6564 add conss, 393 chg bounds, 5342 chg sides, 26221 chg coeffs, 5035 upgd conss, 0 impls, 95080 clqs
15.54/15.66 c (round 286, exhaustive) 2780 del vars, 9069 del conss, 6564 add conss, 393 chg bounds, 5342 chg sides, 26300 chg coeffs, 5035 upgd conss, 0 impls, 95080 clqs
15.54/15.68 c (round 287, exhaustive) 2780 del vars, 9069 del conss, 6564 add conss, 393 chg bounds, 5342 chg sides, 26374 chg coeffs, 5035 upgd conss, 0 impls, 95104 clqs
15.54/15.69 c (round 288, exhaustive) 2780 del vars, 9069 del conss, 6564 add conss, 393 chg bounds, 5342 chg sides, 26434 chg coeffs, 5035 upgd conss, 0 impls, 95118 clqs
15.64/15.71 c (round 289, exhaustive) 2780 del vars, 9080 del conss, 6564 add conss, 393 chg bounds, 5342 chg sides, 26457 chg coeffs, 5035 upgd conss, 0 impls, 95127 clqs
15.64/15.75 c (15.8s) sparsify finished: 504/14263 (3.5%) nonzeros canceled - in total 1703 canceled nonzeros, 5783 changed coefficients, 0 added nonzeros
15.64/15.75 c (round 290, exhaustive) 2780 del vars, 9082 del conss, 6564 add conss, 393 chg bounds, 5342 chg sides, 27015 chg coeffs, 5035 upgd conss, 0 impls, 95136 clqs
15.64/15.76 c (round 291, exhaustive) 2780 del vars, 9085 del conss, 6564 add conss, 393 chg bounds, 5342 chg sides, 27018 chg coeffs, 5035 upgd conss, 0 impls, 95199 clqs
15.64/15.77 c (round 292, exhaustive) 2780 del vars, 9085 del conss, 6564 add conss, 393 chg bounds, 5342 chg sides, 27021 chg coeffs, 5109 upgd conss, 0 impls, 95199 clqs
15.64/15.77 c (round 293, medium) 2780 del vars, 9105 del conss, 6654 add conss, 393 chg bounds, 5405 chg sides, 27364 chg coeffs, 5109 upgd conss, 0 impls, 95308 clqs
15.64/15.77 c (round 294, fast) 2780 del vars, 9131 del conss, 6680 add conss, 393 chg bounds, 5405 chg sides, 27364 chg coeffs, 5109 upgd conss, 0 impls, 95308 clqs
15.64/15.78 c (round 295, exhaustive) 2780 del vars, 9167 del conss, 6680 add conss, 393 chg bounds, 5405 chg sides, 27383 chg coeffs, 5109 upgd conss, 0 impls, 95308 clqs
15.74/15.86 c (15.9s) probing cycle finished: starting next cycle
15.94/16.08 c (round 296, exhaustive) 2805 del vars, 9167 del conss, 6680 add conss, 393 chg bounds, 5405 chg sides, 27393 chg coeffs, 5109 upgd conss, 0 impls, 100892 clqs
15.94/16.08 c (round 297, fast) 2805 del vars, 9239 del conss, 6682 add conss, 393 chg bounds, 5405 chg sides, 27415 chg coeffs, 5109 upgd conss, 0 impls, 100896 clqs
15.94/16.08 c (round 298, medium) 2805 del vars, 9241 del conss, 6687 add conss, 393 chg bounds, 5410 chg sides, 27450 chg coeffs, 5109 upgd conss, 0 impls, 100906 clqs
15.94/16.09 c (round 299, fast) 2805 del vars, 9244 del conss, 6688 add conss, 393 chg bounds, 5410 chg sides, 27450 chg coeffs, 5109 upgd conss, 0 impls, 100906 clqs
15.94/16.09 c (round 300, exhaustive) 2805 del vars, 9246 del conss, 6689 add conss, 393 chg bounds, 5410 chg sides, 27450 chg coeffs, 5109 upgd conss, 0 impls, 100906 clqs
16.04/16.11 c (round 301, exhaustive) 2805 del vars, 9252 del conss, 6689 add conss, 393 chg bounds, 5410 chg sides, 27457 chg coeffs, 5109 upgd conss, 0 impls, 100906 clqs
16.04/16.13 c (round 302, exhaustive) 2805 del vars, 9260 del conss, 6689 add conss, 393 chg bounds, 5410 chg sides, 27460 chg coeffs, 5109 upgd conss, 0 impls, 100908 clqs
16.14/16.23 c (round 303, exhaustive) 2830 del vars, 9261 del conss, 6689 add conss, 393 chg bounds, 5410 chg sides, 27476 chg coeffs, 5109 upgd conss, 0 impls, 97263 clqs
16.14/16.24 c (round 304, fast) 2830 del vars, 9322 del conss, 6689 add conss, 393 chg bounds, 5410 chg sides, 27521 chg coeffs, 5109 upgd conss, 0 impls, 97272 clqs
16.14/16.26 c (round 305, exhaustive) 2830 del vars, 9331 del conss, 6689 add conss, 393 chg bounds, 5410 chg sides, 27526 chg coeffs, 5109 upgd conss, 0 impls, 97272 clqs
16.14/16.27 c (round 306, exhaustive) 2830 del vars, 9336 del conss, 6689 add conss, 393 chg bounds, 5410 chg sides, 27527 chg coeffs, 5109 upgd conss, 0 impls, 97272 clqs
16.14/16.29 c (round 307, exhaustive) 2831 del vars, 9338 del conss, 6689 add conss, 393 chg bounds, 5410 chg sides, 27534 chg coeffs, 5109 upgd conss, 0 impls, 97094 clqs
16.14/16.29 c (round 308, fast) 2832 del vars, 9338 del conss, 6689 add conss, 393 chg bounds, 5410 chg sides, 27534 chg coeffs, 5109 upgd conss, 0 impls, 97097 clqs
16.54/16.69 c (16.7s) probing: 1000/1103 (90.7%) - 1706 fixings, 1 aggregations, 800027 implications, 0 bound changes
16.64/16.76 c (round 309, exhaustive) 2857 del vars, 9339 del conss, 6689 add conss, 393 chg bounds, 5410 chg sides, 27534 chg coeffs, 5109 upgd conss, 0 impls, 103523 clqs
16.64/16.76 c (round 310, fast) 2857 del vars, 9397 del conss, 6689 add conss, 393 chg bounds, 5410 chg sides, 27572 chg coeffs, 5109 upgd conss, 0 impls, 103525 clqs
16.64/16.79 c (round 311, exhaustive) 2857 del vars, 9410 del conss, 6689 add conss, 393 chg bounds, 5410 chg sides, 27593 chg coeffs, 5109 upgd conss, 0 impls, 103525 clqs
16.74/16.83 c (16.8s) sparsify finished: 4/12271 (0.0%) nonzeros canceled - in total 1707 canceled nonzeros, 5825 changed coefficients, 0 added nonzeros
16.74/16.83 c (round 312, exhaustive) 2857 del vars, 9412 del conss, 6689 add conss, 393 chg bounds, 5410 chg sides, 27639 chg coeffs, 5109 upgd conss, 0 impls, 103535 clqs
16.74/16.89 c (16.9s) probing cycle finished: starting next cycle
17.34/17.45 c (17.5s) probing: 926/1042 (88.9%) - 1728 fixings, 2 aggregations, 805376 implications, 0 bound changes
17.34/17.45 c (17.5s) probing aborted: 50/50 successive totally useless probings
17.34/17.45 c (round 313, exhaustive) 2876 del vars, 9412 del conss, 6689 add conss, 393 chg bounds, 5410 chg sides, 27640 chg coeffs, 5111 upgd conss, 0 impls, 103060 clqs
17.34/17.45 c (round 314, fast) 2876 del vars, 9449 del conss, 6689 add conss, 393 chg bounds, 5410 chg sides, 27690 chg coeffs, 5111 upgd conss, 0 impls, 103060 clqs
17.34/17.46 c (round 315, medium) 2876 del vars, 9449 del conss, 6694 add conss, 393 chg bounds, 5415 chg sides, 27702 chg coeffs, 5111 upgd conss, 0 impls, 103061 clqs
17.34/17.49 c (round 316, exhaustive) 2876 del vars, 9460 del conss, 6694 add conss, 393 chg bounds, 5415 chg sides, 27705 chg coeffs, 5111 upgd conss, 0 impls, 103061 clqs
17.43/17.50 c (round 317, exhaustive) 2876 del vars, 9470 del conss, 6694 add conss, 393 chg bounds, 5415 chg sides, 27706 chg coeffs, 5111 upgd conss, 0 impls, 103061 clqs
17.43/17.52 c (17.5s) probing: 931/1042 (89.3%) - 1728 fixings, 2 aggregations, 805376 implications, 0 bound changes
17.43/17.52 c (17.5s) probing aborted: 50/50 successive totally useless probings
17.43/17.53 c (17.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
17.43/17.54 c (17.5s) no symmetry present (symcode time: 0.00)
17.43/17.54 c presolving (318 rounds: 318 fast, 211 medium, 155 exhaustive):
17.43/17.54 c 2876 deleted vars, 9470 deleted constraints, 6694 added constraints, 393 tightened bounds, 0 added holes, 5415 changed sides, 27710 changed coefficients
17.43/17.54 c 0 implications, 103061 cliques
17.43/17.54 c presolved problem has 1025 variables (1025 bin, 0 int, 0 cont) and 2749 constraints
17.43/17.54 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
17.43/17.54 c 82 constraints of type <knapsack>
17.43/17.54 c 1506 constraints of type <setppc>
17.43/17.54 c 1161 constraints of type <logicor>
17.43/17.54 c transformed objective value is always integral (scale: 1)
17.43/17.54 c Presolving Time: 17.49
17.43/17.54 c
17.43/17.54 c - non default parameters ----------------------------------------------------------------------
17.43/17.54 c
17.43/17.54 c # SCIP version 10.0.0
17.43/17.54 c
17.43/17.54 c # maximal time in seconds to run
17.43/17.54 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
17.43/17.54 c limits/time = 3596.99801
17.43/17.54 c
17.43/17.54 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
17.43/17.54 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
17.43/17.54 c limits/memory = 27900
17.43/17.54 c
17.43/17.54 c # belongs reading time to solving time?
17.43/17.54 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
17.43/17.54 c timing/reading = TRUE
17.43/17.54 c
17.43/17.54 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
17.43/17.54 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
17.43/17.54 c reading/opbreader/maxintsize = 47
17.43/17.54 c
17.43/17.54 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
17.43/17.54 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
17.43/17.54 c propagating/genvbounds/timingmask = 0
17.43/17.54 c
17.43/17.54 c -----------------------------------------------------------------------------------------------
17.43/17.54 c
17.63/17.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.63/17.76 c 17.8s| 1 | 0 | 2170 | - | 92M | 0 |1025 |2829 |2749 | 0 | 0 | 79 | 0 | 3.100000e+01 | -- | Inf | unknown
18.82/18.94 c 18.9s| 1 | 0 | 10879 | - | 102M | 0 |1025 |3036 |2777 | 28 | 1 | 86 | 0 | 3.100000e+01 | -- | Inf | unknown
19.02/19.12 c 19.1s| 1 | 0 | 11803 | - | 111M | 0 |1025 |3045 |2811 | 62 | 2 | 95 | 0 | 3.100001e+01 | -- | Inf | unknown
19.12/19.25 c 19.3s| 1 | 0 | 12187 | - | 114M | 0 |1025 |3052 |2854 | 105 | 3 | 102 | 0 | 3.100003e+01 | -- | Inf | unknown
19.41/19.51 c 19.5s| 1 | 0 | 13609 | - | 122M | 0 |1025 |3060 |2879 | 130 | 4 | 110 | 0 | 3.100195e+01 | -- | Inf | unknown
19.52/19.63 c 19.6s| 1 | 0 | 13984 | - | 125M | 0 |1025 |3062 |2910 | 161 | 5 | 113 | 0 | 3.100316e+01 | -- | Inf | unknown
19.62/19.79 c 19.8s| 1 | 0 | 14939 | - | 128M | 0 |1025 |3072 |2934 | 185 | 6 | 123 | 0 | 3.100943e+01 | -- | Inf | unknown
19.92/20.01 c 20.0s| 1 | 0 | 16203 | - | 133M | 0 |1025 |3080 |2962 | 213 | 7 | 131 | 0 | 3.102688e+01 | -- | Inf | unknown
20.11/20.21 c 20.2s| 1 | 0 | 17175 | - | 139M | 0 |1025 |3089 |2976 | 227 | 8 | 141 | 0 | 3.104950e+01 | -- | Inf | unknown
20.21/20.36 c 20.4s| 1 | 0 | 17761 | - | 144M | 0 |1025 |3098 |2988 | 239 | 9 | 151 | 0 | 3.104950e+01 | -- | Inf | unknown
20.41/20.55 c 20.6s| 1 | 0 | 18613 | - | 147M | 0 |1025 |3108 |3003 | 254 | 10 | 161 | 0 | 3.105436e+01 | -- | Inf | unknown
20.51/20.61 c 20.6s| 1 | 0 | 18817 | - | 147M | 0 |1025 |3115 |3015 | 266 | 11 | 168 | 0 | 3.106338e+01 | -- | Inf | unknown
20.61/20.73 c 20.7s| 1 | 0 | 19509 | - | 147M | 0 |1025 |3122 |3028 | 279 | 12 | 175 | 0 | 3.107024e+01 | -- | Inf | unknown
20.61/20.80 c 20.8s| 1 | 0 | 19717 | - | 148M | 0 |1025 |3125 |3039 | 290 | 13 | 178 | 0 | 3.107274e+01 | -- | Inf | unknown
20.91/21.06 c 21.1s| 1 | 0 | 21418 | - | 148M | 0 |1025 |3135 |2967 | 302 | 14 | 188 | 0 | 3.111111e+01 | -- | Inf | unknown
21.11/21.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
21.11/21.22 c 21.2s| 1 | 0 | 22470 | - | 148M | 0 |1025 |3139 |2981 | 316 | 15 | 192 | 0 | 3.125000e+01 | -- | Inf | unknown
21.21/21.37 c 21.4s| 1 | 0 | 23296 | - | 149M | 0 |1025 |3146 |3001 | 336 | 16 | 200 | 0 | 3.125000e+01 | -- | Inf | unknown
21.41/21.57 c 21.6s| 1 | 0 | 24646 | - | 149M | 0 |1025 |3149 |3015 | 350 | 17 | 204 | 0 | 3.125000e+01 | -- | Inf | unknown
21.70/21.80 c 21.8s| 1 | 0 | 26218 | - | 149M | 0 |1025 |3153 |3026 | 361 | 18 | 208 | 0 | 3.125000e+01 | -- | Inf | unknown
21.91/22.06 c 22.1s| 1 | 0 | 28196 | - | 149M | 0 |1025 |3156 |3034 | 369 | 19 | 211 | 0 | 3.125000e+01 | -- | Inf | unknown
22.20/22.32 c 22.3s| 1 | 0 | 30208 | - | 149M | 0 |1025 |3165 |2939 | 376 | 20 | 221 | 0 | 3.125000e+01 | -- | Inf | unknown
22.50/22.67 c 22.7s| 1 | 0 | 32953 | - | 149M | 0 |1025 |3174 |2950 | 387 | 21 | 231 | 0 | 3.125000e+01 | -- | Inf | unknown
23.01/23.13 c 23.1s| 1 | 0 | 36898 | - | 149M | 0 |1025 |3184 |2963 | 400 | 22 | 241 | 0 | 3.125714e+01 | -- | Inf | unknown
23.20/23.34 c 23.3s| 1 | 0 | 38703 | - | 149M | 0 |1025 |3188 |2971 | 408 | 23 | 245 | 0 | 3.126154e+01 | -- | Inf | unknown
23.50/23.61 c 23.6s| 1 | 0 | 40860 | - | 149M | 0 |1025 |3196 |2992 | 429 | 24 | 255 | 0 | 3.126154e+01 | -- | Inf | unknown
23.80/23.94 c 23.9s| 1 | 0 | 43500 | - | 149M | 0 |1025 |3197 |3003 | 440 | 25 | 257 | 0 | 3.126724e+01 | -- | Inf | unknown
24.00/24.19 c 24.2s| 1 | 0 | 45685 | - | 149M | 0 |1025 |3198 |2912 | 446 | 26 | 258 | 0 | 3.126846e+01 | -- | Inf | unknown
24.20/24.30 c 24.3s| 1 | 0 | 46406 | - | 149M | 0 |1025 |3205 |2921 | 455 | 27 | 268 | 0 | 3.126846e+01 | -- | Inf | unknown
24.20/24.35 c 24.4s| 1 | 0 | 46593 | - | 149M | 0 |1025 |3209 |2934 | 468 | 28 | 272 | 0 | 3.126846e+01 | -- | Inf | unknown
24.30/24.48 c 24.5s| 1 | 0 | 47387 | - | 149M | 0 |1025 |3217 |2944 | 478 | 29 | 282 | 0 | 3.126846e+01 | -- | Inf | unknown
24.40/24.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.40/24.55 c 24.5s| 1 | 0 | 47768 | - | 149M | 0 |1025 |3227 |2949 | 483 | 30 | 292 | 0 | 3.127027e+01 | -- | Inf | unknown
24.50/24.67 c 24.7s| 1 | 0 | 48628 | - | 149M | 0 |1025 |3235 |2968 | 502 | 31 | 300 | 0 | 3.127027e+01 | -- | Inf | unknown
24.60/24.79 c 24.8s| 1 | 0 | 49450 | - | 150M | 0 |1025 |3241 |2938 | 512 | 32 | 306 | 0 | 3.127027e+01 | -- | Inf | unknown
24.70/24.88 c 24.9s| 1 | 0 | 50054 | - | 150M | 0 |1025 |3241 |2945 | 519 | 33 | 309 | 0 | 3.127273e+01 | -- | Inf | unknown
24.80/24.99 c 25.0s| 1 | 0 | 50843 | - | 150M | 0 |1025 |3247 |2959 | 533 | 34 | 318 | 0 | 3.127833e+01 | -- | Inf | unknown
24.90/25.07 c 25.1s| 1 | 0 | 51241 | - | 150M | 0 |1025 |3249 |2967 | 541 | 35 | 320 | 0 | 3.128920e+01 | -- | Inf | unknown
25.00/25.13 c 25.1s| 1 | 0 | 51580 | - | 150M | 0 |1025 |3247 |2972 | 546 | 36 | 321 | 0 | 3.129338e+01 | -- | Inf | unknown
25.10/25.29 c 25.3s| 1 | 0 | 52648 | - | 150M | 0 |1025 |3255 |2978 | 552 | 37 | 331 | 0 | 3.131392e+01 | -- | Inf | unknown
25.20/25.37 c 25.4s| 1 | 0 | 53098 | - | 150M | 0 |1025 |3261 |2950 | 562 | 38 | 337 | 0 | 3.131392e+01 | -- | Inf | unknown
25.29/25.45 c 25.5s| 1 | 0 | 53595 | - | 150M | 0 |1025 |3268 |2962 | 574 | 39 | 347 | 0 | 3.131392e+01 | -- | Inf | unknown
25.39/25.52 c 25.5s| 1 | 0 | 53939 | - | 150M | 0 |1025 |3272 |2969 | 581 | 40 | 354 | 0 | 3.131463e+01 | -- | Inf | unknown
25.49/25.64 c 25.6s| 1 | 0 | 54746 | - | 150M | 0 |1025 |3281 |2977 | 589 | 41 | 364 | 0 | 3.132401e+01 | -- | Inf | unknown
25.49/25.69 c 25.7s| 1 | 0 | 54983 | - | 150M | 0 |1025 |3283 |2986 | 598 | 42 | 366 | 0 | 3.132961e+01 | -- | Inf | unknown
25.59/25.73 c 25.7s| 1 | 0 | 55119 | - | 150M | 0 |1025 |3292 |2995 | 607 | 43 | 376 | 0 | 3.133013e+01 | -- | Inf | unknown
25.69/25.80 c 25.8s| 1 | 0 | 55443 | - | 150M | 0 |1025 |3300 |2952 | 615 | 44 | 386 | 0 | 3.133013e+01 | -- | Inf | unknown
25.69/25.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
25.69/25.84 c 25.8s| 1 | 0 | 55590 | - | 150M | 0 |1025 |3300 |2960 | 623 | 45 | 390 | 0 | 3.133013e+01 | -- | Inf | unknown
25.79/26.00 c 26.0s| 1 | 0 | 56642 | - | 150M | 0 |1025 |3301 |2964 | 627 | 46 | 392 | 0 | 3.135897e+01 | -- | Inf | unknown
26.09/26.22 c 26.2s| 1 | 0 | 58104 | - | 150M | 0 |1025 |3306 |2977 | 640 | 47 | 398 | 0 | 3.136364e+01 | -- | Inf | unknown
26.29/26.42 c 26.4s| 1 | 0 | 59332 | - | 150M | 0 |1025 |3309 |2993 | 656 | 48 | 408 | 0 | 3.136364e+01 | -- | Inf | unknown
26.49/26.64 c 26.6s| 1 | 0 | 60766 | - | 150M | 0 |1025 |3314 |3004 | 667 | 49 | 414 | 0 | 3.136364e+01 | -- | Inf | unknown
26.69/26.81 c 26.8s| 1 | 0 | 61796 | - | 150M | 0 |1025 |3316 |2993 | 681 | 50 | 420 | 0 | 3.136364e+01 | -- | Inf | unknown
27.00/27.11 c 27.1s| 1 | 0 | 64006 | - | 150M | 0 |1025 |3320 |3005 | 693 | 51 | 427 | 0 | 3.138514e+01 | -- | Inf | unknown
27.19/27.30 c 27.3s| 1 | 0 | 65332 | - | 150M | 0 |1025 |3328 |3022 | 710 | 52 | 437 | 0 | 3.139544e+01 | -- | Inf | unknown
27.69/27.83 c 27.8s| 1 | 0 | 69143 | - | 150M | 0 |1025 |3318 |3035 | 723 | 53 | 441 | 0 | 3.143333e+01 | -- | Inf | unknown
27.89/28.09 c 28.1s| 1 | 0 | 70998 | - | 150M | 0 |1025 |3320 |3048 | 736 | 54 | 445 | 0 | 3.143333e+01 | -- | Inf | unknown
28.29/28.46 c 28.5s| 1 | 0 | 73883 | - | 150M | 0 |1025 |3319 |3026 | 751 | 55 | 446 | 0 | 3.145666e+01 | -- | Inf | unknown
28.39/28.55 c 28.5s| 1 | 0 | 74430 | - | 150M | 0 |1025 |3313 |3046 | 771 | 56 | 450 | 0 | 3.146157e+01 | -- | Inf | unknown
28.49/28.66 c 28.7s| 1 | 0 | 75178 | - | 150M | 0 |1025 |3316 |3064 | 789 | 57 | 455 | 0 | 3.146237e+01 | -- | Inf | unknown
28.59/28.76 c 28.8s| 1 | 0 | 75768 | - | 150M | 0 |1025 |3326 |3076 | 801 | 58 | 465 | 0 | 3.146894e+01 | -- | Inf | unknown
28.69/28.83 c 28.8s| 1 | 0 | 76092 | - | 150M | 0 |1025 |3331 |3089 | 814 | 59 | 471 | 0 | 3.146957e+01 | -- | Inf | unknown
28.79/28.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
28.79/28.94 c 28.9s| 1 | 0 | 76819 | - | 150M | 0 |1025 |3331 |3099 | 824 | 60 | 474 | 0 | 3.147051e+01 | -- | Inf | unknown
29.18/29.31 c 29.3s| 1 | 0 | 79240 | - | 150M | 0 |1025 |3335 |3077 | 833 | 61 | 481 | 0 | 3.150000e+01 | -- | Inf | unknown
29.38/29.58 c 29.6s| 1 | 0 | 81039 | - | 150M | 0 |1025 |3345 |3087 | 843 | 62 | 491 | 0 | 3.150543e+01 | -- | Inf | unknown
29.58/29.76 c 29.8s| 1 | 0 | 82222 | - | 150M | 0 |1025 |3352 |3097 | 853 | 63 | 499 | 0 | 3.151064e+01 | -- | Inf | unknown
29.78/29.93 c 29.9s| 1 | 0 | 83324 | - | 150M | 0 |1025 |3356 |3113 | 869 | 64 | 506 | 0 | 3.152326e+01 | -- | Inf | unknown
29.89/30.07 c 30.1s| 1 | 0 | 84203 | - | 150M | 0 |1025 |3362 |3124 | 880 | 65 | 515 | 0 | 3.152326e+01 | -- | Inf | unknown
29.99/30.15 c 30.2s| 1 | 0 | 84604 | - | 150M | 0 |1025 |3365 |3132 | 888 | 66 | 525 | 0 | 3.152326e+01 | -- | Inf | unknown
30.18/30.39 c 30.4s| 1 | 0 | 86116 | - | 150M | 0 |1025 |3365 |3092 | 895 | 67 | 526 | 0 | 3.152326e+01 | -- | Inf | unknown
30.48/30.64 c 30.6s| 1 | 0 | 87829 | - | 150M | 0 |1025 |3373 |3098 | 901 | 68 | 534 | 0 | 3.152469e+01 | -- | Inf | unknown
30.78/30.93 c 30.9s| 1 | 0 | 89906 | - | 150M | 0 |1025 |3377 |3112 | 915 | 69 | 540 | 0 | 3.152469e+01 | -- | Inf | unknown
30.88/31.09 c 31.1s| 1 | 0 | 90985 | - | 150M | 0 |1025 |3386 |3120 | 923 | 70 | 550 | 0 | 3.152596e+01 | -- | Inf | unknown
31.08/31.23 c 31.2s| 1 | 0 | 91843 | - | 150M | 0 |1025 |3391 |3134 | 937 | 71 | 557 | 0 | 3.153140e+01 | -- | Inf | unknown
31.29/31.46 c 31.5s| 1 | 0 | 93209 | - | 150M | 0 |1025 |3396 |3149 | 952 | 72 | 567 | 0 | 3.153149e+01 | -- | Inf | unknown
31.49/31.61 c 31.6s| 1 | 0 | 94190 | - | 150M | 0 |1025 |3400 |3120 | 962 | 73 | 577 | 0 | 3.153155e+01 | -- | Inf | unknown
31.49/31.68 c 31.7s| 1 | 0 | 94539 | - | 150M | 0 |1025 |3402 |3137 | 979 | 74 | 580 | 0 | 3.153155e+01 | -- | Inf | unknown
31.59/31.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
31.59/31.78 c 31.8s| 1 | 0 | 95119 | - | 150M | 0 |1025 |3402 |3149 | 991 | 75 | 582 | 0 | 3.153155e+01 | -- | Inf | unknown
31.69/31.86 c 31.9s| 1 | 0 | 95448 | - | 150M | 0 |1025 |3406 |3158 |1000 | 76 | 592 | 0 | 3.153155e+01 | -- | Inf | unknown
31.79/31.98 c 32.0s| 1 | 0 | 96121 | - | 150M | 0 |1025 |3410 |3164 |1006 | 77 | 602 | 0 | 3.153155e+01 | -- | Inf | unknown
31.89/32.10 c 32.1s| 1 | 0 | 96766 | - | 150M | 0 |1025 |3411 |3171 |1013 | 78 | 604 | 0 | 3.154032e+01 | -- | Inf | unknown
32.18/32.33 c 32.3s| 1 | 0 | 98148 | - | 150M | 0 |1025 |3412 |3135 |1020 | 79 | 614 | 0 | 3.154145e+01 | -- | Inf | unknown
32.38/32.59 c 32.6s| 1 | 0 | 99834 | - | 150M | 0 |1025 |3414 |3142 |1027 | 80 | 624 | 0 | 3.159491e+01 | -- | Inf | unknown
32.48/32.69 c 32.7s| 1 | 0 |100380 | - | 150M | 0 |1025 |3416 |3153 |1038 | 81 | 629 | 0 | 3.159491e+01 | -- | Inf | unknown
32.78/32.92 c 32.9s| 1 | 0 |101662 | - | 150M | 0 |1025 |3402 |3164 |1049 | 82 | 630 | 0 | 3.162745e+01 | -- | Inf | unknown
32.99/33.16 c 33.2s| 1 | 0 |102970 | - | 150M | 0 |1025 |3397 |3177 |1062 | 83 | 632 | 0 | 3.163736e+01 | -- | Inf | unknown
33.18/33.32 c 33.3s| 1 | 0 |103759 | - | 150M | 0 |1025 |3393 |3184 |1069 | 84 | 635 | 0 | 3.163736e+01 | -- | Inf | unknown
33.28/33.46 c 33.5s| 1 | 0 |104287 | - | 150M | 0 |1025 |3398 |3142 |1078 | 85 | 645 | 0 | 3.163736e+01 | -- | Inf | unknown
33.48/33.63 c 33.6s| 1 | 0 |105147 | - | 150M | 0 |1025 |3400 |3151 |1087 | 86 | 655 | 0 | 3.163736e+01 | -- | Inf | unknown
33.78/33.96 c 34.0s| 1 | 0 |107083 | - | 150M | 0 |1025 |3398 |3160 |1096 | 87 | 662 | 0 | 3.167778e+01 | -- | Inf | unknown
33.98/34.16 c 34.2s| 1 | 0 |108375 | - | 150M | 0 |1025 |3398 |3175 |1111 | 88 | 672 | 0 | 3.168644e+01 | -- | Inf | unknown
34.18/34.30 c 34.3s| 1 | 0 |109112 | - | 150M | 0 |1025 |3404 |3186 |1122 | 89 | 682 | 0 | 3.168644e+01 | -- | Inf | unknown
34.28/34.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
34.28/34.43 c 34.4s| 1 | 0 |109797 | - | 150M | 0 |1025 |3402 |3193 |1129 | 90 | 684 | 0 | 3.169048e+01 | -- | Inf | unknown
34.48/34.69 c 34.7s| 1 | 0 |111383 | - | 150M | 0 |1025 |3407 |3167 |1135 | 91 | 694 | 0 | 3.169757e+01 | -- | Inf | unknown
34.68/34.85 c 34.8s| 1 | 0 |112222 | - | 150M | 0 |1025 |3408 |3178 |1146 | 92 | 697 | 0 | 3.169872e+01 | -- | Inf | unknown
34.98/35.17 c 35.2s| 1 | 0 |114233 | - | 150M | 0 |1025 |3404 |3186 |1154 | 93 | 701 | 0 | 3.173810e+01 | -- | Inf | unknown
35.17/35.34 c 35.3s| 1 | 0 |115252 | - | 150M | 0 |1025 |3408 |3198 |1166 | 94 | 711 | 0 | 3.174000e+01 | -- | Inf | unknown
35.27/35.46 c 35.5s| 1 | 0 |115805 | - | 150M | 0 |1025 |3408 |3204 |1172 | 95 | 721 | 0 | 3.174000e+01 | -- | Inf | unknown
35.57/35.73 c 35.7s| 1 | 0 |117419 | - | 150M | 0 |1025 |3413 |3211 |1179 | 96 | 731 | 0 | 3.177479e+01 | -- | Inf | unknown
35.67/35.86 c 35.9s| 1 | 0 |118162 | - | 150M | 0 |1025 |3413 |3182 |1184 | 97 | 739 | 0 | 3.177479e+01 | -- | Inf | unknown
35.77/35.98 c 36.0s| 1 | 0 |118813 | - | 150M | 0 |1025 |3411 |3190 |1192 | 98 | 742 | 0 | 3.177479e+01 | -- | Inf | unknown
35.88/36.09 c 36.1s| 1 | 0 |119436 | - | 150M | 0 |1025 |3407 |3200 |1202 | 99 | 743 | 0 | 3.177479e+01 | -- | Inf | unknown
36.07/36.21 c 36.2s| 1 | 0 |120128 | - | 150M | 0 |1025 |3411 |3208 |1210 |100 | 750 | 0 | 3.177479e+01 | -- | Inf | unknown
36.17/36.34 c 36.3s| 1 | 0 |120802 | - | 150M | 0 |1025 |3413 |3218 |1220 |101 | 753 | 0 | 3.177479e+01 | -- | Inf | unknown
36.27/36.45 c 36.5s| 1 | 0 |121417 | - | 150M | 0 |1025 |3420 |3224 |1226 |102 | 763 | 0 | 3.177479e+01 | -- | Inf | unknown
36.37/36.54 c 36.5s| 1 | 0 |121870 | - | 150M | 0 |1025 |3422 |3204 |1231 |103 | 773 | 0 | 3.177479e+01 | -- | Inf | unknown
36.47/36.61 c 36.6s| 1 | 0 |122113 | - | 150M | 0 |1025 |3427 |3209 |1236 |104 | 783 | 0 | 3.177479e+01 | -- | Inf | unknown
36.57/36.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
36.57/36.78 c 36.8s| 1 | 0 |123040 | - | 150M | 0 |1025 |3422 |3213 |1240 |105 | 784 | 0 | 3.177841e+01 | -- | Inf | unknown
36.97/37.19 c 37.2s| 1 | 0 |125441 | - | 150M | 0 |1025 |3413 |3219 |1246 |106 | 785 | 0 | 3.185597e+01 | -- | Inf | unknown
37.17/37.34 c 37.3s| 1 | 0 |126279 | - | 150M | 0 |1025 |3416 |3227 |1254 |107 | 795 | 0 | 3.185597e+01 | -- | Inf | unknown
37.37/37.52 c 37.5s| 1 | 0 |127337 | - | 150M | 0 |1025 |3415 |3233 |1260 |108 | 797 | 0 | 3.185597e+01 | -- | Inf | unknown
37.57/37.77 c 37.8s| 1 | 0 |128743 | - | 150M | 0 |1025 |3414 |3202 |1271 |109 | 801 | 0 | 3.188103e+01 | -- | Inf | unknown
37.76/37.96 c 38.0s| 1 | 0 |129836 | - | 150M | 0 |1025 |3412 |3210 |1279 |110 | 808 | 0 | 3.189335e+01 | -- | Inf | unknown
37.87/38.05 c 38.1s| 1 | 0 |130343 | - | 150M | 0 |1025 |3414 |3216 |1285 |111 | 817 | 0 | 3.189335e+01 | -- | Inf | unknown
38.06/38.26 c 38.3s| 1 | 0 |131519 | - | 150M | 0 |1025 |3415 |3225 |1294 |112 | 827 | 0 | 3.190517e+01 | -- | Inf | unknown
38.36/38.51 c 38.5s| 1 | 0 |132987 | - | 150M | 0 |1025 |3418 |3236 |1305 |113 | 837 | 0 | 3.190811e+01 | -- | Inf | unknown
38.46/38.64 c 38.6s| 1 | 0 |133663 | - | 150M | 0 |1025 |3414 |3246 |1315 |114 | 840 | 0 | 3.190811e+01 | -- | Inf | unknown
38.56/38.74 c 38.7s| 1 | 0 |134149 | - | 150M | 0 |1025 |3416 |3230 |1328 |115 | 850 | 0 | 3.190811e+01 | -- | Inf | unknown
38.66/38.86 c 38.9s| 1 | 0 |134728 | - | 150M | 0 |1025 |3413 |3240 |1338 |116 | 860 | 0 | 3.196774e+01 | -- | Inf | unknown
38.87/39.05 c 39.0s| 1 | 0 |135794 | - | 150M | 0 |1025 |3413 |3249 |1347 |117 | 870 | 0 | 3.197253e+01 | -- | Inf | unknown
38.97/39.14 c 39.1s| 1 | 0 |136293 | - | 150M | 0 |1025 |3416 |3260 |1358 |118 | 880 | 0 | 3.197253e+01 | -- | Inf | unknown
39.06/39.29 c 39.3s| 1 | 0 |137127 | - | 150M | 0 |1025 |3419 |3268 |1366 |119 | 885 | 0 | 3.197253e+01 | -- | Inf | unknown
39.26/39.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
39.26/39.44 c 39.4s| 1 | 0 |137934 | - | 150M | 0 |1025 |3421 |3274 |1372 |120 | 891 | 0 | 3.197253e+01 | -- | Inf | unknown
39.66/39.86 c 39.9s| 1 | 0 |140585 | - | 150M | 0 |1025 |3422 |3255 |1377 |121 | 892 | 0 | 3.200000e+01 | -- | Inf | unknown
39.86/40.02 c 40.0s| 1 | 0 |142170 | - | 150M | 0 |1025 |3420 |3262 |1384 |122 | 893 | 0 | 3.200216e+01 | -- | Inf | unknown
39.96/40.13 c 40.1s| 1 | 0 |142983 | - | 150M | 0 |1025 |3422 |3292 |1414 |123 | 897 | 0 | 3.200337e+01 | -- | Inf | unknown
40.06/40.29 c 40.3s| 1 | 0 |144141 | - | 150M | 0 |1025 |3421 |3313 |1435 |124 | 900 | 0 | 3.200634e+01 | -- | Inf | unknown
40.15/40.38 c 40.4s| 1 | 0 |144639 | - | 150M | 0 |1025 |3415 |3330 |1452 |125 | 902 | 0 | 3.200784e+01 | -- | Inf | unknown
40.25/40.49 c 40.5s| 1 | 0 |145274 | - | 150M | 0 |1025 |3417 |3340 |1462 |126 | 912 | 0 | 3.201000e+01 | -- | Inf | unknown
40.35/40.56 c 40.6s| 1 | 0 |145581 | - | 150M | 0 |1025 |3416 |3253 |1474 |127 | 919 | 0 | 3.201000e+01 | -- | Inf | unknown
40.55/40.70 c 40.7s| 1 | 0 |146526 | - | 150M | 0 |1025 |3420 |3266 |1487 |128 | 929 | 0 | 3.201144e+01 | -- | Inf | unknown
40.65/40.81 c 40.8s| 1 | 0 |147190 | - | 150M | 0 |1025 |3427 |3280 |1501 |129 | 937 | 0 | 3.201304e+01 | -- | Inf | unknown
40.65/40.85 c 40.9s| 1 | 0 |147356 | - | 150M | 0 |1025 |3428 |3288 |1509 |130 | 947 | 0 | 3.201333e+01 | -- | Inf | unknown
40.75/40.93 c 40.9s| 1 | 0 |147782 | - | 150M | 0 |1025 |3427 |3301 |1522 |131 | 957 | 0 | 3.201377e+01 | -- | Inf | unknown
46.43/46.66 c 46.7s| 1 | 2 |178519 | - | 150M | 0 |1025 |3428 |3301 |1522 |131 | 990 | 11 | 3.300000e+01 | -- | Inf | unknown
46.43/46.66 c (run 1, node 1) restarting after 34 global fixings of integer variables
46.43/46.66 c
46.43/46.66 c (restart) converted 432 cuts from the global cut pool into linear constraints
46.43/46.66 c
46.43/46.67 c presolving:
46.43/46.68 c (round 1, fast) 34 del vars, 190 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 59 chg coeffs, 0 upgd conss, 0 impls, 92232 clqs
46.43/46.68 c (round 2, medium) 34 del vars, 194 del conss, 9 add conss, 0 chg bounds, 5 chg sides, 75 chg coeffs, 0 upgd conss, 0 impls, 92232 clqs
46.43/46.68 c (round 3, fast) 34 del vars, 198 del conss, 11 add conss, 0 chg bounds, 5 chg sides, 75 chg coeffs, 0 upgd conss, 0 impls, 92232 clqs
46.53/46.71 c (round 4, exhaustive) 34 del vars, 209 del conss, 11 add conss, 0 chg bounds, 5 chg sides, 77 chg coeffs, 0 upgd conss, 0 impls, 92232 clqs
46.53/46.71 c (round 5, medium) 34 del vars, 211 del conss, 14 add conss, 0 chg bounds, 8 chg sides, 112 chg coeffs, 0 upgd conss, 0 impls, 92232 clqs
46.53/46.72 c (round 6, exhaustive) 34 del vars, 214 del conss, 14 add conss, 0 chg bounds, 8 chg sides, 112 chg coeffs, 0 upgd conss, 0 impls, 92232 clqs
46.53/46.72 c (round 7, exhaustive) 34 del vars, 219 del conss, 14 add conss, 0 chg bounds, 8 chg sides, 112 chg coeffs, 0 upgd conss, 0 impls, 92232 clqs
46.53/46.73 c (round 8, exhaustive) 34 del vars, 234 del conss, 14 add conss, 0 chg bounds, 16 chg sides, 112 chg coeffs, 0 upgd conss, 0 impls, 92232 clqs
46.53/46.73 c (round 9, exhaustive) 34 del vars, 234 del conss, 14 add conss, 0 chg bounds, 16 chg sides, 112 chg coeffs, 524 upgd conss, 0 impls, 92232 clqs
46.53/46.74 c (round 10, fast) 34 del vars, 238 del conss, 14 add conss, 0 chg bounds, 16 chg sides, 112 chg coeffs, 524 upgd conss, 0 impls, 92232 clqs
46.53/46.74 c (round 11, medium) 34 del vars, 242 del conss, 23 add conss, 0 chg bounds, 26 chg sides, 146 chg coeffs, 524 upgd conss, 0 impls, 92232 clqs
46.53/46.74 c (round 12, fast) 34 del vars, 244 del conss, 24 add conss, 0 chg bounds, 26 chg sides, 146 chg coeffs, 524 upgd conss, 0 impls, 92232 clqs
46.53/46.75 c (round 13, exhaustive) 34 del vars, 279 del conss, 24 add conss, 0 chg bounds, 26 chg sides, 152 chg coeffs, 524 upgd conss, 0 impls, 92232 clqs
46.53/46.76 c (round 14, exhaustive) 34 del vars, 323 del conss, 24 add conss, 0 chg bounds, 26 chg sides, 234 chg coeffs, 524 upgd conss, 0 impls, 92232 clqs
46.63/46.82 c (round 15, exhaustive) 34 del vars, 324 del conss, 24 add conss, 0 chg bounds, 26 chg sides, 1924 chg coeffs, 524 upgd conss, 0 impls, 92232 clqs
46.63/46.82 c (round 16, fast) 34 del vars, 328 del conss, 24 add conss, 0 chg bounds, 26 chg sides, 1924 chg coeffs, 524 upgd conss, 0 impls, 92232 clqs
46.63/46.85 c presolving (17 rounds: 17 fast, 12 medium, 9 exhaustive):
46.63/46.85 c 34 deleted vars, 329 deleted constraints, 24 added constraints, 0 tightened bounds, 0 added holes, 26 changed sides, 1936 changed coefficients
46.63/46.85 c 0 implications, 92232 cliques
46.63/46.85 c presolved problem has 991 variables (991 bin, 0 int, 0 cont) and 3555 constraints
46.63/46.85 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
46.63/46.85 c 105 constraints of type <knapsack>
46.63/46.85 c 1861 constraints of type <setppc>
46.63/46.85 c 1 constraints of type <linear>
46.63/46.85 c 1588 constraints of type <logicor>
46.63/46.85 c transformed objective value is always integral (scale: 1)
46.63/46.85 c Presolving Time: 17.66
46.63/46.85 c
47.13/47.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
47.13/47.36 c 47.4s| 1 | 0 |182557 | - | 150M | 0 | 991 |3566 |3047 | 0 | 0 |1001 | 11 | 3.300000e+01 | -- | Inf | unknown
47.62/47.89 c 47.9s| 1 | 0 |183402 | - | 151M | 0 | 991 |3776 |3058 | 14 | 1 |1011 | 11 | 3.300000e+01 | -- | Inf | unknown
47.93/48.10 c 48.1s| 1 | 0 |184305 | - | 151M | 0 | 991 |3783 |3068 | 24 | 2 |1021 | 11 | 3.300000e+01 | -- | Inf | unknown
48.12/48.39 c 48.4s| 1 | 0 |185663 | - | 158M | 0 | 991 |3793 |3080 | 36 | 3 |1031 | 11 | 3.300000e+01 | -- | Inf | unknown
48.42/48.62 c 48.6s| 1 | 0 |186521 | - | 163M | 0 | 991 |3797 |3093 | 49 | 4 |1035 | 11 | 3.300000e+01 | -- | Inf | unknown
48.53/48.78 c 48.8s| 1 | 0 |186949 | - | 172M | 0 | 991 |3806 |3101 | 57 | 5 |1044 | 11 | 3.300000e+01 | -- | Inf | unknown
48.72/48.98 c 49.0s| 1 | 0 |187609 | - | 180M | 0 | 991 |3807 |3111 | 67 | 6 |1047 | 11 | 3.300000e+01 | -- | Inf | unknown
49.02/49.23 c 49.2s| 1 | 0 |188431 | - | 188M | 0 | 991 |3815 |3117 | 73 | 7 |1056 | 11 | 3.300000e+01 | -- | Inf | unknown
49.23/49.44 c 49.4s| 1 | 0 |188800 | - | 195M | 0 | 991 |3824 |3125 | 81 | 8 |1066 | 11 | 3.300000e+01 | -- | Inf | unknown
49.42/49.63 c 49.6s| 1 | 0 |189182 | - | 208M | 0 | 991 |3824 |3132 | 88 | 9 |1068 | 11 | 3.300000e+01 | -- | Inf | unknown
49.63/49.83 c 49.8s| 1 | 0 |189577 | - | 217M | 0 | 991 |3827 |2922 | 99 | 10 |1071 | 11 | 3.300000e+01 | -- | Inf | unknown
49.83/50.00 c 50.0s| 1 | 0 |190547 | - | 219M | 0 | 991 |3837 |2926 | 103 | 11 |1081 | 11 | 3.300000e+01 | -- | Inf | unknown
52.12/52.38 c 52.4s| 1 | 2 |198934 | - | 219M | 0 | 991 |3859 |2926 | 103 | 11 |1112 | 22 | 3.300000e+01 | -- | Inf | unknown
58.80/59.08 c
58.80/59.08 c SCIP Status : problem is solved [infeasible]
58.80/59.08 c Solving Time (sec) : 59.08
58.80/59.08 c Solving Nodes : 11 (total of 12 nodes in 2 runs)
58.80/59.08 c Primal Bound : +1.00000000000000e+20 (0 solutions)
58.80/59.08 c Dual Bound : +1.00000000000000e+20
58.80/59.08 c Gap : 0.00 %
58.80/59.08 s UNSATISFIABLE
58.80/59.08 c SCIP Status : problem is solved [infeasible]
58.80/59.08 c Total Time : 59.08
58.80/59.08 c solving : 59.08
58.80/59.08 c presolving : 17.66 (included in solving)
58.80/59.08 c reading : 0.03 (included in solving)
58.80/59.08 c copying : 0.03 (5 #copies) (minimal 0.01, maximal 0.01, average 0.01)
58.80/59.08 c Original Problem :
58.80/59.08 c Problem name : HOME/instance-4522331-1751582568.opb
58.80/59.08 c Variables : 3772 (3772 binary, 0 integer, 0 continuous)
58.80/59.08 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
58.80/59.08 c Constraints : 5527 initial, 5527 maximal
58.80/59.08 c Objective : minimize, 39 non-zeros (abs.min = 1, abs.max = 39)
58.80/59.08 c Presolved Problem :
58.80/59.08 c Problem name : t_HOME/instance-4522331-1751582568.opb
58.80/59.08 c Variables : 991 (991 binary, 0 integer, 0 continuous)
58.80/59.08 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
58.80/59.08 c Constraints : 3555 initial, 3906 maximal
58.80/59.08 c Objective : minimize, 7 non-zeros (abs.min = 33, abs.max = 39)
58.80/59.08 c Nonzeros : 23852 constraint, 188455 clique table
58.80/59.08 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
58.80/59.08 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c domcol : 0.91 0.00 82 47 0 0 0 0 0 0 0 0
58.80/59.08 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
58.80/59.08 c gateextraction : 0.21 0.00 163 0 0 0 0 0 13 5 0 0
58.80/59.08 c implics : 0.00 0.00 223 0 0 0 0 0 0 0 0 0
58.80/59.08 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c milp : 0.54 0.00 7 184 5 0 0 0 0 0 0 0
58.80/59.08 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c sparsify : 0.87 0.00 34 0 0 0 0 0 0 0 0 5825
58.80/59.08 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c trivial : 0.01 0.00 335 163 0 0 0 0 0 0 0 0
58.80/59.08 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c dualfix : 0.01 0.00 335 1 0 0 0 0 0 0 0 0
58.80/59.08 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c probing : 8.60 0.00 61 1728 2 0 0 0 0 0 0 0
58.80/59.08 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
58.80/59.08 c vbounds : 0.13 0.00 14 1 1 0 0 0 0 0 0 0
58.80/59.08 c knapsack : 3.32 0.00 705 0 0 0 0 0 2760 6695 1101 17006
58.80/59.08 c setppc : 1.53 0.00 695 254 0 0 0 0 5932 7 1 0
58.80/59.08 c linear : 0.13 0.01 100 393 2 0 393 0 605 0 4339 4325
58.80/59.08 c logicor : 1.20 0.00 631 1 0 0 0 0 489 11 0 2490
58.80/59.08 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
58.80/59.08 c root node : - - - 565 - - 565 - - - - -
58.80/59.08 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
58.80/59.08 c integral : 0 0 0 0 44 0 0 14 0 0 301 0 0 76 14
58.80/59.08 c knapsack : 105+ 106 143 40964 0 0 0 9 42503 287 225 849 57 0 0
58.80/59.08 c setppc : 1861+ 1885 143 40677 0 0 0 3 24836 1132 800 34 12 0 0
58.80/59.08 c linear : 1+ 214 142 7411 0 0 0 3 208 35 42 72 22 0 0
58.80/59.08 c logicor : 1588+ 1718 143 33291 0 0 0 0 6379 65 245 487 153 0 0
58.80/59.08 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
58.80/59.08 c integral : 7.62 0.00 0.00 0.00 7.62 0.00 0.00 0.00 0.00 0.00
58.80/59.08 c knapsack : 1.91 0.00 0.28 1.54 0.00 0.00 0.00 0.00 0.02 0.06
58.80/59.08 c setppc : 1.78 0.00 0.01 1.65 0.00 0.00 0.00 0.00 0.01 0.11
58.80/59.08 c linear : 0.09 0.01 0.02 0.04 0.00 0.00 0.00 0.00 0.00 0.02
58.80/59.08 c logicor : 0.49 0.00 0.03 0.43 0.00 0.00 0.00 0.00 0.00 0.03
58.80/59.08 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
58.80/59.08 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
58.80/59.08 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
58.80/59.08 c Propagators : #Propagate #ResProp Cutoffs DomReds
58.80/59.08 c dualfix : 3 0 0 0
58.80/59.08 c genvbounds : 0 0 0 0
58.80/59.08 c nlobbt : 0 0 0 0
58.80/59.08 c obbt : 0 0 0 0
58.80/59.08 c probing : 0 0 0 0
58.80/59.08 c pseudoobj : 288 0 0 0
58.80/59.08 c redcost : 148 0 0 0
58.80/59.08 c rootredcost : 1 0 0 0
58.80/59.08 c symmetry : 0 0 0 0
58.80/59.08 c vbounds : 5684 0 0 0
58.80/59.08 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
58.80/59.08 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
58.80/59.08 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
58.80/59.08 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
58.80/59.08 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
58.80/59.08 c probing : 8.60 0.00 8.60 0.00 0.00 0.00
58.80/59.08 c pseudoobj : 0.06 0.00 0.00 0.06 0.00 0.00
58.80/59.08 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
58.80/59.08 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
58.80/59.08 c symmetry : 0.01 0.00 0.00 0.00 0.00 0.00
58.80/59.08 c vbounds : 0.14 0.00 0.13 0.01 0.00 0.00
58.80/59.08 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
58.80/59.08 c propagation : 0.07 1488 233 - 1664 47.0 44 22.0 - - -
58.80/59.08 c infeasible LP : 0.03 28 28 - 109 27.5 2 5.5 20 102.0 0
58.80/59.08 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
58.80/59.08 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
58.80/59.08 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
58.80/59.08 c applied globally : 0.30 - - 0 1251 15.8 - - 20 - -
58.80/59.08 c applied locally : - - - 0 0 0.0 - - 0 - -
58.80/59.08 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
58.80/59.08 c cut pool : 0.28 - 282 282 - - 7940 20381 - - - - - (maximal pool size: 4914)
58.80/59.08 c aggregation : 0.33 0.00 142 142 0 0 241 736 0 60 60 0 0
58.80/59.08 c > cmir : - - - - - - - 652 0 55 55 0 -
58.80/59.08 c > flowcover : - - - - - - - 24 0 4 4 0 -
58.80/59.08 c > knapsackcover : - - - - - - - 60 0 1 1 0 -
58.80/59.08 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c clique : 0.92 0.00 142 142 0 0 1316 10040 0 619 619 0 0
58.80/59.08 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c gomory : 1.41 0.00 20 20 0 0 4001 5433 0 16 16 0 0
58.80/59.08 c > gomorymi : - - - - - - - 2789 0 12 12 0 -
58.80/59.08 c > strongcg : - - - - - - - 2644 0 4 4 0 -
58.80/59.08 c impliedbounds : 0.90 0.00 142 142 0 0 2327 4078 0 643 643 0 0
58.80/59.08 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
58.80/59.08 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c multilinear : 0.00 0.00 149 142 0 0 0 0 0 0 0 0 0
58.80/59.08 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
58.80/59.08 c rapidlearning : 0.57 0.00 2 2 0 1 0 0 0 0 0 0 400
58.80/59.08 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
58.80/59.08 c zerohalf : 0.23 0.00 31 31 0 0 55 94 0 43 43 0 0
58.80/59.08 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
58.80/59.08 c hybrid : 0.05 0.00 142 142 1625 0 20198 1625 0 20198
58.80/59.08 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
58.80/59.08 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
58.80/59.08 c Pricers : ExecTime SetupTime Calls Vars
58.80/59.08 c problem variables: 0.00 - 0 0
58.80/59.08 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
58.80/59.08 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
58.80/59.08 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
58.80/59.08 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
58.80/59.08 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
58.80/59.08 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
58.80/59.08 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
58.80/59.08 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
58.80/59.08 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
58.80/59.08 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
58.80/59.08 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
58.80/59.08 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
58.80/59.08 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
58.80/59.08 c random : 0.00 0.00 0 0 0 0 0 0 0 0
58.80/59.08 c relpscost : 7.62 0.00 44 0 0 0 301 0 152 14
58.80/59.08 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
58.80/59.08 c Primal Heuristics : ExecTime SetupTime Calls Found Best
58.80/59.08 c LP solutions : 0.00 - - 0 0
58.80/59.08 c relax solutions : 0.00 - - 0 0
58.80/59.08 c pseudo solutions : 0.00 - - 0 0
58.80/59.08 c strong branching : 0.00 - - 0 0
58.80/59.08 c actconsdiving : 0.00 0.00 0 0 0
58.80/59.08 c adaptivediving : 0.00 0.00 0 0 0
58.80/59.08 c alns : 0.01 0.00 1 0 0
58.80/59.08 c bound : 0.00 0.00 0 0 0
58.80/59.08 c clique : 0.01 0.00 1 0 0
58.80/59.08 c coefdiving : 0.00 0.00 0 0 0
58.80/59.08 c completesol : 0.00 0.00 0 0 0
58.80/59.08 c conflictdiving : 0.18 0.00 2 0 0
58.80/59.08 c crossover : 0.00 0.00 0 0 0
58.80/59.08 c dins : 0.00 0.00 0 0 0
58.80/59.08 c distributiondivin: 0.00 0.00 0 0 0
58.80/59.08 c dks : 0.00 0.00 0 0 0
58.80/59.08 c dps : 0.00 0.00 0 0 0
58.80/59.08 c dualval : 0.00 0.00 0 0 0
58.80/59.08 c farkasdiving : 5.64 0.00 2 0 0
58.80/59.08 c feaspump : 0.63 0.00 1 0 0
58.80/59.08 c fixandinfer : 0.00 0.00 0 0 0
58.80/59.08 c fracdiving : 0.00 0.00 0 0 0
58.80/59.08 c gins : 0.00 0.00 0 0 0
58.80/59.08 c guideddiving : 0.00 0.00 0 0 0
58.80/59.08 c indicator : 0.00 0.00 0 0 0
58.80/59.08 c indicatordiving : 0.00 0.00 0 0 0
58.80/59.08 c intdiving : 0.00 0.00 0 0 0
58.80/59.08 c intshifting : 0.00 0.00 0 0 0
58.80/59.08 c linesearchdiving : 0.00 0.00 0 0 0
58.80/59.08 c localbranching : 0.00 0.00 0 0 0
58.80/59.08 c locks : 0.00 0.00 1 0 0
58.80/59.08 c lpface : 0.00 0.00 0 0 0
58.80/59.08 c mpec : 0.00 0.00 0 0 0
58.80/59.08 c multistart : 0.00 0.00 0 0 0
58.80/59.08 c mutation : 0.00 0.00 0 0 0
58.80/59.08 c nlpdiving : 0.00 0.00 0 0 0
58.80/59.08 c objpscostdiving : 0.00 0.00 0 0 0
58.80/59.08 c octane : 0.00 0.00 0 0 0
58.80/59.08 c ofins : 0.00 0.00 0 0 0
58.80/59.08 c oneopt : 0.00 0.00 0 0 0
58.80/59.08 c padm : 0.00 0.00 0 0 0
58.80/59.08 c proximity : 0.00 0.00 0 0 0
58.80/59.08 c pscostdiving : 0.00 0.00 0 0 0
58.80/59.08 c randrounding : 1.16 0.00 144 0 0
58.80/59.08 c rens : 0.05 0.00 2 0 0
58.80/59.08 c reoptsols : 0.00 0.00 0 0 0
58.80/59.08 c repair : 0.00 0.00 0 0 0
58.80/59.08 c rins : 0.00 0.00 0 0 0
58.80/59.08 c rootsoldiving : 0.00 0.00 0 0 0
58.80/59.08 c rounding : 0.02 0.00 110 0 0
58.80/59.08 c scheduler : 0.00 0.00 0 0 0
58.80/59.08 c shiftandpropagate: 0.02 0.00 2 0 0
58.80/59.08 c shifting : 0.08 0.00 100 0 0
58.80/59.08 c simplerounding : 0.00 0.00 0 0 0
58.80/59.08 c subnlp : 0.00 0.00 0 0 0
58.80/59.08 c trivial : 0.00 0.00 4 0 0
58.80/59.08 c trivialnegation : 0.00 0.00 0 0 0
58.80/59.08 c trustregion : 0.00 0.00 0 0 0
58.80/59.08 c trysol : 0.00 0.00 0 0 0
58.80/59.08 c twoopt : 0.00 0.00 0 0 0
58.80/59.08 c undercover : 0.00 0.00 0 0 0
58.80/59.08 c vbounds : 0.03 0.00 2 0 0
58.80/59.08 c veclendiving : 0.00 0.00 0 0 0
58.80/59.08 c zeroobj : 0.00 0.00 0 0 0
58.80/59.08 c zirounding : 0.00 0.00 6 0 0
58.80/59.08 c other solutions : - - - 0 -
58.80/59.08 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
58.80/59.08 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
58.80/59.08 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
58.80/59.08 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
58.80/59.08 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
58.80/59.08 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
58.80/59.08 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
58.80/59.08 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
58.80/59.08 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
58.80/59.08 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
58.80/59.08 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
58.80/59.08 c primal LP : 0.01 22 0 0.00 - 0.01 22
58.80/59.08 c dual LP : 19.59 187 163961 886.28 8369.39 0.00 2
58.80/59.08 c lex dual LP : 0.00 0 0 0.00 -
58.80/59.08 c barrier LP : 0.00 0 0 0.00 - 0.00 0
58.80/59.08 c resolve instable : 0.00 0 0 0.00 -
58.80/59.08 c diving/probing LP: 7.45 97 51476 530.68 6909.57
58.80/59.08 c strong branching : 6.45 176 67042 380.92 10398.46 - - 104
58.80/59.08 c (at root node) : - 22 17862 811.91 -
58.80/59.08 c conflict analysis: 0.00 0 0 0.00 -
58.80/59.08 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
58.80/59.08 c benders : 0.00 0 0 0 0.00 0 0 0
58.80/59.08 c B&B Tree :
58.80/59.08 c number of runs : 2
58.80/59.08 c nodes : 11 (6 internal, 5 leaves)
58.80/59.08 c feasible leaves : 0
58.80/59.08 c infeas. leaves : 5
58.80/59.08 c objective leaves : 0
58.80/59.08 c nodes (total) : 12 (7 internal, 5 leaves)
58.80/59.08 c nodes left : 0
58.80/59.08 c max depth : 5
58.80/59.08 c max depth (total): 5
58.80/59.08 c backtracks : 3 (27.3%)
58.80/59.08 c early backtracks : 0 (0.0%)
58.80/59.08 c nodes exc. ref. : 0 (0.0%)
58.80/59.08 c delayed cutoffs : 2
58.80/59.08 c repropagations : 3 (200 domain reductions, 1 cutoffs)
58.80/59.08 c avg switch length: 2.55
58.80/59.08 c switching time : 0.02
58.80/59.08 c Root Node :
58.80/59.08 c First LP value : +3.10000000000000e+01
58.80/59.08 c First LP Iters : 2170 (15899.88 Iter/sec)
58.80/59.08 c First LP Time : 0.14
58.80/59.08 c Final Dual Bound : +3.30000000000000e+01
58.80/59.08 c Final Root Iters : 159810
58.80/59.08 c Root LP Estimate : +3.31477226528246e+01
58.80/59.08 c Solution :
58.80/59.08 c Solutions found : 0 (0 improvements)
58.80/59.08 c Primal Bound : infeasible
58.80/59.08 c Dual Bound : -
58.80/59.08 c Gap : 0.00 %
58.80/59.08 c Integrals : Total Avg%
58.80/59.08 c primal-dual : - - (problem infeasible)
58.80/59.08 c primal-ref : - - (problem infeasible)
58.80/59.08 c dual-ref : - - (problem infeasible)
58.99/59.25 c Time complete (sec): 59.061