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-4544970-1753217627.opb>
1.07/1.10 c original problem has 7600 variables (7600 bin, 0 int, 0 cont) and 700360 constraints
1.07/1.10 c problem read in 1.105 seconds
1.07/1.10 c problem without objective
1.86/1.94 c presolving:
3.25/3.31 c (3.3s) running MILP presolver
5.05/5.19 c (5.2s) MILP presolver found nothing
6.35/6.49 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 7220 chg coeffs, 700360 upgd conss, 0 impls, 552330 clqs
7.06/7.13 c (round 2, medium) 0 del vars, 7220 del conss, 14440 add conss, 0 chg bounds, 0 chg sides, 7220 chg coeffs, 700360 upgd conss, 0 impls, 566770 clqs
7.95/8.09 c (round 3, exhaustive) 0 del vars, 27896 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7220 chg coeffs, 700360 upgd conss, 0 impls, 566770 clqs
8.75/8.86 c (round 4, exhaustive) 19 del vars, 27915 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7220 chg coeffs, 700360 upgd conss, 0 impls, 566732 clqs
9.74/9.83 c (round 5, exhaustive) 19 del vars, 31506 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 566732 clqs
75.03/75.30 c (round 6, exhaustive) 44 del vars, 31506 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 654911 clqs
105.24/105.69 c (round 7, exhaustive) 69 del vars, 31568 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 687405 clqs
123.69/124.11 c (124.1s) probing: 1000/7581 (13.2%) - 0 fixings, 65 aggregations, 160299 implications, 0 bound changes
130.16/130.62 c (round 8, exhaustive) 94 del vars, 31666 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 711323 clqs
148.31/148.81 c (round 9, exhaustive) 119 del vars, 31803 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 725474 clqs
165.16/165.72 c (round 10, exhaustive) 144 del vars, 31982 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 737371 clqs
182.41/183.09 c (round 11, exhaustive) 169 del vars, 32188 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 748898 clqs
197.36/198.04 c (round 12, exhaustive) 194 del vars, 32405 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 757220 clqs
213.20/213.92 c (round 13, exhaustive) 219 del vars, 32677 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 766439 clqs
229.65/230.43 c (round 14, exhaustive) 244 del vars, 32989 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 775849 clqs
243.10/244.00 c (round 15, exhaustive) 269 del vars, 33303 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 781667 clqs
248.29/249.17 c (249.2s) probing: 2000/7581 (26.4%) - 0 fixings, 254 aggregations, 299439 implications, 0 bound changes
255.17/256.04 c (round 16, exhaustive) 294 del vars, 33662 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 785642 clqs
264.03/264.97 c (round 17, exhaustive) 319 del vars, 34061 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 786033 clqs
274.70/275.60 c (round 18, exhaustive) 344 del vars, 34474 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 788042 clqs
283.77/284.78 c (round 19, exhaustive) 369 del vars, 34934 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 788500 clqs
292.14/293.17 c (round 20, exhaustive) 394 del vars, 35408 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 787978 clqs
302.51/303.57 c (round 21, exhaustive) 419 del vars, 35935 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 789522 clqs
302.81/303.80 c (round 22, fast) 419 del vars, 36494 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 789522 clqs
311.18/312.22 c (round 23, exhaustive) 444 del vars, 36501 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 789023 clqs
311.38/312.45 c (round 24, fast) 444 del vars, 37083 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 789023 clqs
318.76/319.81 c (round 25, exhaustive) 469 del vars, 37089 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 787331 clqs
318.96/320.04 c (round 26, fast) 469 del vars, 37689 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 787331 clqs
328.33/329.46 c (round 27, exhaustive) 494 del vars, 37692 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 787844 clqs
328.52/329.69 c (round 28, fast) 494 del vars, 38350 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 787844 clqs
339.30/340.42 c (round 29, exhaustive) 519 del vars, 38359 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 789605 clqs
339.49/340.64 c (round 30, fast) 519 del vars, 39061 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 789605 clqs
349.55/350.73 c (round 31, exhaustive) 544 del vars, 39065 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 790607 clqs
349.75/350.96 c (round 32, fast) 544 del vars, 39800 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 790607 clqs
360.32/361.51 c (round 33, exhaustive) 569 del vars, 39806 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 791705 clqs
360.52/361.73 c (round 34, fast) 569 del vars, 40563 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 791705 clqs
368.99/370.25 c (round 35, exhaustive) 594 del vars, 40572 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 790728 clqs
369.19/370.47 c (round 36, fast) 594 del vars, 41386 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 790728 clqs
376.57/377.80 c (round 37, exhaustive) 619 del vars, 41395 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 788744 clqs
376.78/378.03 c (round 38, fast) 619 del vars, 42144 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 788744 clqs
385.64/386.91 c (round 39, exhaustive) 644 del vars, 42150 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 788071 clqs
385.84/387.15 c (round 40, fast) 644 del vars, 42985 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 788071 clqs
387.54/388.87 c (388.9s) probing: 3000/7581 (39.6%) - 0 fixings, 627 aggregations, 417279 implications, 0 bound changes
393.02/394.37 c (round 41, exhaustive) 669 del vars, 42990 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 785820 clqs
393.22/394.59 c (round 42, fast) 669 del vars, 43852 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 785820 clqs
401.20/402.56 c (round 43, exhaustive) 694 del vars, 43863 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 784260 clqs
401.39/402.78 c (round 44, fast) 694 del vars, 44806 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 784260 clqs
410.27/411.61 c (round 45, exhaustive) 719 del vars, 44813 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 783472 clqs
410.47/411.84 c (round 46, fast) 719 del vars, 45773 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 783472 clqs
418.45/419.81 c (round 47, exhaustive) 744 del vars, 45783 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 781883 clqs
418.65/420.04 c (round 48, fast) 744 del vars, 46759 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 781883 clqs
428.72/430.14 c (round 49, exhaustive) 769 del vars, 46764 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 781815 clqs
428.91/430.37 c (round 50, fast) 769 del vars, 47744 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 781815 clqs
437.48/438.96 c (round 51, exhaustive) 794 del vars, 47752 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 780493 clqs
437.69/439.19 c (round 52, fast) 794 del vars, 48795 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 780493 clqs
444.47/445.97 c (round 53, exhaustive) 819 del vars, 48807 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 777604 clqs
444.77/446.20 c (round 54, fast) 819 del vars, 49846 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 777604 clqs
452.44/453.95 c (round 55, exhaustive) 844 del vars, 49858 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 775522 clqs
452.64/454.19 c (round 56, fast) 844 del vars, 50958 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 775522 clqs
459.61/461.14 c (round 57, exhaustive) 869 del vars, 50963 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 772789 clqs
459.81/461.37 c (round 58, fast) 869 del vars, 52092 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 772789 clqs
468.98/470.54 c (round 59, exhaustive) 894 del vars, 52106 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 771659 clqs
469.18/470.77 c (round 60, fast) 894 del vars, 53240 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 771659 clqs
476.75/478.37 c (round 61, exhaustive) 919 del vars, 53249 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 769251 clqs
477.05/478.60 c (round 62, fast) 919 del vars, 54431 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 769251 clqs
483.24/484.89 c (round 63, exhaustive) 944 del vars, 54446 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 765774 clqs
483.54/485.13 c (round 64, fast) 944 del vars, 55661 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 765774 clqs
491.11/492.79 c (round 65, exhaustive) 969 del vars, 55669 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 763170 clqs
491.41/493.02 c (round 66, fast) 969 del vars, 56897 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 763170 clqs
499.39/501.06 c (round 67, exhaustive) 994 del vars, 56910 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 760935 clqs
499.59/501.29 c (round 68, fast) 994 del vars, 58179 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 760935 clqs
506.57/508.23 c (round 69, exhaustive) 1019 del vars, 58197 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 758064 clqs
506.77/508.46 c (round 70, fast) 1019 del vars, 59537 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 758064 clqs
512.95/514.69 c (round 71, exhaustive) 1044 del vars, 59552 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 754563 clqs
513.25/514.92 c (round 72, fast) 1044 del vars, 60926 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 754563 clqs
519.03/520.79 c (round 73, exhaustive) 1069 del vars, 60942 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 750816 clqs
519.33/521.02 c (round 74, fast) 1069 del vars, 62380 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 750816 clqs
526.22/527.92 c (round 75, exhaustive) 1094 del vars, 62392 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 747902 clqs
526.42/528.15 c (round 76, fast) 1094 del vars, 63816 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 747902 clqs
532.89/534.63 c (round 77, exhaustive) 1119 del vars, 63829 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 744563 clqs
533.09/534.86 c (round 78, fast) 1119 del vars, 65290 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 744563 clqs
538.18/540.00 c (540.0s) probing: 4000/7581 (52.8%) - 0 fixings, 1116 aggregations, 513748 implications, 0 bound changes
540.57/542.30 c (round 79, exhaustive) 1144 del vars, 65309 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 741942 clqs
540.77/542.53 c (round 80, fast) 1144 del vars, 66811 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 741942 clqs
548.45/550.24 c (round 81, exhaustive) 1169 del vars, 66828 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 739466 clqs
548.65/550.47 c (round 82, fast) 1169 del vars, 68321 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 739466 clqs
554.93/556.73 c (round 83, exhaustive) 1194 del vars, 68335 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 735854 clqs
555.13/556.96 c (round 84, fast) 1194 del vars, 69904 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 735854 clqs
560.82/562.65 c (round 85, exhaustive) 1219 del vars, 69924 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 731785 clqs
561.02/562.89 c (round 86, fast) 1219 del vars, 71484 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 731785 clqs
568.10/570.00 c (round 87, exhaustive) 1244 del vars, 71499 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 728684 clqs
568.40/570.24 c (round 88, fast) 1244 del vars, 73128 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 728684 clqs
575.47/577.38 c (round 89, exhaustive) 1269 del vars, 73141 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 725456 clqs
575.77/577.61 c (round 90, fast) 1269 del vars, 74764 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 725456 clqs
582.16/584.05 c (round 91, exhaustive) 1294 del vars, 74776 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 721816 clqs
582.35/584.29 c (round 92, fast) 1294 del vars, 76520 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 721816 clqs
587.83/589.74 c (round 93, exhaustive) 1319 del vars, 76534 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 717451 clqs
588.03/589.98 c (round 94, fast) 1319 del vars, 78248 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 717451 clqs
595.71/597.62 c (round 95, exhaustive) 1344 del vars, 78265 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 714470 clqs
595.91/597.86 c (round 96, fast) 1344 del vars, 80025 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 714470 clqs
604.48/606.40 c (round 97, exhaustive) 1369 del vars, 80039 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 712004 clqs
604.68/606.63 c (round 98, fast) 1369 del vars, 81860 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 712004 clqs
612.46/614.47 c (round 99, exhaustive) 1394 del vars, 81876 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 709017 clqs
612.76/614.71 c (round 100, fast) 1394 del vars, 83710 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 709017 clqs
619.24/621.27 c (round 101, exhaustive) 1419 del vars, 83727 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 705366 clqs
619.54/621.51 c (round 102, fast) 1419 del vars, 85628 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 705366 clqs
625.62/627.64 c (round 103, exhaustive) 1444 del vars, 85649 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 701417 clqs
625.81/627.88 c (round 104, fast) 1444 del vars, 87532 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 701417 clqs
632.20/634.20 c (round 105, exhaustive) 1469 del vars, 87551 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 697529 clqs
632.40/634.44 c (round 106, fast) 1469 del vars, 89433 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 697529 clqs
638.78/640.86 c (round 107, exhaustive) 1494 del vars, 89454 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 693709 clqs
639.08/641.10 c (round 108, fast) 1494 del vars, 91354 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 693709 clqs
645.86/647.97 c (round 109, exhaustive) 1519 del vars, 91369 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 690132 clqs
646.16/648.21 c (round 110, fast) 1519 del vars, 93329 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 690132 clqs
652.14/654.29 c (round 111, exhaustive) 1544 del vars, 93348 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 686067 clqs
652.44/654.53 c (round 112, fast) 1544 del vars, 95387 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 686067 clqs
659.22/661.34 c (round 113, exhaustive) 1569 del vars, 95403 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 682462 clqs
659.42/661.59 c (round 114, fast) 1569 del vars, 97454 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 682462 clqs
666.40/668.52 c (round 115, exhaustive) 1594 del vars, 97475 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 678848 clqs
666.60/668.76 c (round 116, fast) 1594 del vars, 99533 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 678848 clqs
673.48/675.63 c (round 117, exhaustive) 1619 del vars, 99553 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 675147 clqs
673.68/675.88 c (round 118, fast) 1619 del vars, 101670 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 675147 clqs
679.66/681.87 c (round 119, exhaustive) 1644 del vars, 101691 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 670983 clqs
679.96/682.12 c (round 120, fast) 1644 del vars, 103784 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 670983 clqs
686.34/688.58 c (round 121, exhaustive) 1669 del vars, 103805 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 667102 clqs
686.64/688.82 c (round 122, fast) 1669 del vars, 106003 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 667102 clqs
693.12/695.39 c (round 123, exhaustive) 1694 del vars, 106024 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 663184 clqs
693.42/695.64 c (round 124, fast) 1694 del vars, 108238 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 663184 clqs
699.21/701.41 c (round 125, exhaustive) 1719 del vars, 108261 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 658824 clqs
699.41/701.65 c (round 126, fast) 1719 del vars, 110485 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 658824 clqs
706.68/708.91 c (round 127, exhaustive) 1744 del vars, 110505 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 655206 clqs
706.88/709.15 c (round 128, fast) 1744 del vars, 112791 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 655206 clqs
710.28/712.53 c (712.5s) probing: 5000/7581 (66.0%) - 0 fixings, 1736 aggregations, 589118 implications, 0 bound changes
712.27/714.57 c (round 129, exhaustive) 1769 del vars, 112813 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 650794 clqs
712.57/714.81 c (round 130, fast) 1769 del vars, 115084 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 650794 clqs
718.65/720.99 c (round 131, exhaustive) 1794 del vars, 115099 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 646730 clqs
718.95/721.23 c (round 132, fast) 1794 del vars, 117410 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 646730 clqs
725.03/727.38 c (round 133, exhaustive) 1819 del vars, 117436 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 642640 clqs
725.33/727.63 c (round 134, fast) 1819 del vars, 119807 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 642640 clqs
731.82/734.14 c (round 135, exhaustive) 1844 del vars, 119828 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 638609 clqs
732.02/734.38 c (round 136, fast) 1844 del vars, 122193 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 638609 clqs
738.89/741.28 c (round 137, exhaustive) 1869 del vars, 122218 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 634837 clqs
739.19/741.53 c (round 138, fast) 1869 del vars, 124681 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 634837 clqs
745.37/747.73 c (round 139, exhaustive) 1894 del vars, 124704 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 630756 clqs
745.57/747.98 c (round 140, fast) 1894 del vars, 127209 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 630756 clqs
752.35/754.77 c (round 141, exhaustive) 1919 del vars, 127230 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 626899 clqs
752.66/755.02 c (round 142, fast) 1919 del vars, 129693 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 626899 clqs
759.14/761.51 c (round 143, exhaustive) 1944 del vars, 129716 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 622890 clqs
759.34/761.76 c (round 144, fast) 1944 del vars, 132247 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 622890 clqs
765.12/767.57 c (round 145, exhaustive) 1969 del vars, 132275 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 618636 clqs
765.42/767.82 c (round 146, fast) 1969 del vars, 134868 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 618636 clqs
772.10/774.52 c (round 147, exhaustive) 1994 del vars, 134897 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 614722 clqs
772.30/774.78 c (round 148, fast) 1994 del vars, 137477 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 614722 clqs
777.88/780.38 c (round 149, exhaustive) 2019 del vars, 137503 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 610276 clqs
778.18/780.63 c (round 150, fast) 2019 del vars, 140040 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 610276 clqs
784.47/786.97 c (round 151, exhaustive) 2044 del vars, 140064 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 606182 clqs
784.77/787.22 c (round 152, fast) 2044 del vars, 142748 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 606182 clqs
791.65/794.15 c (round 153, exhaustive) 2069 del vars, 142774 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 602280 clqs
791.95/794.41 c (round 154, fast) 2069 del vars, 145439 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 602280 clqs
798.22/800.77 c (round 155, exhaustive) 2094 del vars, 145465 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 598185 clqs
798.53/801.03 c (round 156, fast) 2094 del vars, 148178 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 598185 clqs
804.21/806.79 c (round 157, exhaustive) 2119 del vars, 148205 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 593832 clqs
804.52/807.04 c (round 158, fast) 2119 del vars, 150953 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 593832 clqs
811.19/813.78 c (round 159, exhaustive) 2144 del vars, 150977 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 589893 clqs
811.50/814.03 c (round 160, fast) 2144 del vars, 153751 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 589893 clqs
816.87/819.42 c (round 161, exhaustive) 2169 del vars, 153781 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 585489 clqs
817.07/819.67 c (round 162, fast) 2169 del vars, 156587 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 585489 clqs
822.66/825.21 c (round 163, exhaustive) 2194 del vars, 156611 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 581138 clqs
822.86/825.45 c (round 164, fast) 2194 del vars, 159450 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 581138 clqs
828.94/831.53 c (round 165, exhaustive) 2219 del vars, 159476 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 576983 clqs
829.14/831.79 c (round 166, fast) 2219 del vars, 162322 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 576983 clqs
834.93/837.58 c (round 167, exhaustive) 2244 del vars, 162352 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 572769 clqs
835.22/837.82 c (round 168, fast) 2244 del vars, 165270 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 572769 clqs
842.21/844.83 c (round 169, exhaustive) 2269 del vars, 165295 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 569028 clqs
842.42/845.07 c (round 170, fast) 2269 del vars, 168235 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 569028 clqs
848.19/850.82 c (round 171, exhaustive) 2294 del vars, 168266 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 564785 clqs
848.40/851.07 c (round 172, fast) 2294 del vars, 171264 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 564785 clqs
854.18/856.85 c (round 173, exhaustive) 2319 del vars, 171295 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 560567 clqs
854.39/857.10 c (round 174, fast) 2319 del vars, 174331 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 560567 clqs
860.37/863.07 c (round 175, exhaustive) 2344 del vars, 174356 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 556383 clqs
860.66/863.31 c (round 176, fast) 2344 del vars, 177414 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 556383 clqs
866.35/869.02 c (round 177, exhaustive) 2369 del vars, 177444 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 552127 clqs
866.55/869.27 c (round 178, fast) 2369 del vars, 180551 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 552127 clqs
872.53/875.22 c (round 179, exhaustive) 2394 del vars, 180582 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 547960 clqs
872.73/875.47 c (round 180, fast) 2394 del vars, 183690 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 547960 clqs
878.22/880.90 c (round 181, exhaustive) 2419 del vars, 183724 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 543655 clqs
878.42/881.14 c (round 182, fast) 2419 del vars, 186906 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 543655 clqs
883.80/886.57 c (round 183, exhaustive) 2444 del vars, 186937 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 539319 clqs
884.10/886.81 c (round 184, fast) 2444 del vars, 190127 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 539319 clqs
889.29/892.03 c (round 185, exhaustive) 2469 del vars, 190156 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 534989 clqs
889.48/892.27 c (round 186, fast) 2469 del vars, 193377 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 534989 clqs
895.76/898.52 c (round 187, exhaustive) 2494 del vars, 193411 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 531004 clqs
895.96/898.76 c (round 188, fast) 2494 del vars, 196641 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 531004 clqs
901.24/904.08 c (904.1s) probing: 6000/7581 (79.1%) - 0 fixings, 2497 aggregations, 643094 implications, 0 bound changes
901.64/904.49 c (round 189, exhaustive) 2519 del vars, 196671 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 526817 clqs
901.93/904.73 c (round 190, fast) 2519 del vars, 199934 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 526817 clqs
907.72/910.57 c (round 191, exhaustive) 2544 del vars, 199965 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 522728 clqs
908.02/910.81 c (round 192, fast) 2544 del vars, 203287 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 522728 clqs
913.50/916.36 c (round 193, exhaustive) 2569 del vars, 203316 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 518581 clqs
913.80/916.60 c (round 194, fast) 2569 del vars, 206704 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 518581 clqs
919.18/922.03 c (round 195, exhaustive) 2594 del vars, 206736 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 514325 clqs
919.38/922.27 c (round 196, fast) 2594 del vars, 210121 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 514325 clqs
925.27/928.14 c (round 197, exhaustive) 2619 del vars, 210153 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 510188 clqs
925.46/928.38 c (round 198, fast) 2619 del vars, 213524 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 510188 clqs
930.74/933.65 c (round 199, exhaustive) 2644 del vars, 213555 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 505939 clqs
930.94/933.89 c (round 200, fast) 2644 del vars, 217009 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 505939 clqs
936.53/939.46 c (round 201, exhaustive) 2669 del vars, 217044 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 501783 clqs
936.73/939.69 c (round 202, fast) 2669 del vars, 220523 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 501783 clqs
942.21/945.12 c (round 203, exhaustive) 2694 del vars, 220549 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 497586 clqs
942.40/945.36 c (round 204, fast) 2694 del vars, 224071 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 497586 clqs
947.38/950.37 c (round 205, exhaustive) 2719 del vars, 224104 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 493308 clqs
947.68/950.60 c (round 206, fast) 2719 del vars, 227638 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 493308 clqs
952.87/955.81 c (round 207, exhaustive) 2744 del vars, 227672 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 489102 clqs
953.07/956.05 c (round 208, fast) 2744 del vars, 231232 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 489102 clqs
958.25/961.23 c (round 209, exhaustive) 2769 del vars, 231268 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 484938 clqs
958.45/961.47 c (round 210, fast) 2769 del vars, 234917 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 484938 clqs
963.53/966.53 c (round 211, exhaustive) 2794 del vars, 234953 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 480661 clqs
963.73/966.77 c (round 212, fast) 2794 del vars, 238594 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 480661 clqs
969.51/972.50 c (round 213, exhaustive) 2819 del vars, 238628 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 476555 clqs
969.71/972.74 c (round 214, fast) 2819 del vars, 242271 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 476555 clqs
975.00/978.05 c (round 215, exhaustive) 2844 del vars, 242311 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 472336 clqs
975.19/978.29 c (round 216, fast) 2844 del vars, 246028 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 472336 clqs
980.28/983.32 c (round 217, exhaustive) 2869 del vars, 246064 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 468092 clqs
980.48/983.55 c (round 218, fast) 2869 del vars, 249804 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 468092 clqs
985.66/988.74 c (round 219, exhaustive) 2894 del vars, 249839 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 463917 clqs
985.86/988.98 c (round 220, fast) 2894 del vars, 253612 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 463917 clqs
990.94/994.08 c (round 221, exhaustive) 2919 del vars, 253648 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 459707 clqs
991.23/994.32 c (round 222, fast) 2919 del vars, 257479 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 459707 clqs
996.41/999.54 c (round 223, exhaustive) 2944 del vars, 257517 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 455540 clqs
996.61/999.78 c (round 224, fast) 2944 del vars, 261344 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 455540 clqs
1002.00/1005.16 c (round 225, exhaustive) 2969 del vars, 261381 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 451434 clqs
1002.20/1005.39 c (round 226, fast) 2969 del vars, 265216 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 451434 clqs
1007.28/1010.47 c (round 227, exhaustive) 2994 del vars, 265250 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 447304 clqs
1007.58/1010.71 c (round 228, fast) 2994 del vars, 269167 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 447304 clqs
1012.36/1015.54 c (round 229, exhaustive) 3019 del vars, 269206 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 443058 clqs
1012.56/1015.77 c (round 230, fast) 3019 del vars, 273106 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 443058 clqs
1017.74/1020.92 c (round 231, exhaustive) 3044 del vars, 273144 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 438953 clqs
1017.95/1021.15 c (round 232, fast) 3044 del vars, 277095 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 438953 clqs
1023.02/1026.22 c (round 233, exhaustive) 3069 del vars, 277130 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 434865 clqs
1023.22/1026.45 c (round 234, fast) 3069 del vars, 281145 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 434865 clqs
1028.11/1031.32 c (round 235, exhaustive) 3094 del vars, 281183 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 430740 clqs
1028.31/1031.55 c (round 236, fast) 3094 del vars, 285196 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 430740 clqs
1033.19/1036.43 c (round 237, exhaustive) 3119 del vars, 285232 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 426594 clqs
1033.39/1036.66 c (round 238, fast) 3119 del vars, 289288 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 426594 clqs
1038.37/1041.63 c (round 239, exhaustive) 3144 del vars, 289323 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 422530 clqs
1038.57/1041.85 c (round 240, fast) 3144 del vars, 293403 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 422530 clqs
1043.46/1046.79 c (round 241, exhaustive) 3169 del vars, 293440 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 418474 clqs
1043.76/1047.01 c (round 242, fast) 3169 del vars, 297570 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 418474 clqs
1048.44/1051.79 c (round 243, exhaustive) 3194 del vars, 297611 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 414387 clqs
1048.74/1052.01 c (round 244, fast) 3194 del vars, 301760 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 414387 clqs
1053.33/1056.63 c (round 245, exhaustive) 3219 del vars, 301802 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 410276 clqs
1053.53/1056.85 c (round 246, fast) 3219 del vars, 305972 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 410276 clqs
1058.40/1061.78 c (round 247, exhaustive) 3244 del vars, 306016 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 406292 clqs
1058.71/1062.00 c (round 248, fast) 3244 del vars, 310273 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 406292 clqs
1063.29/1066.64 c (round 249, exhaustive) 3269 del vars, 310312 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 402231 clqs
1063.49/1066.85 c (round 250, fast) 3269 del vars, 314553 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 402231 clqs
1068.07/1071.47 c (round 251, exhaustive) 3294 del vars, 314593 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 398193 clqs
1068.27/1071.69 c (round 252, fast) 3294 del vars, 318885 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 398193 clqs
1072.85/1076.21 c (round 253, exhaustive) 3319 del vars, 318924 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 394130 clqs
1073.05/1076.42 c (round 254, fast) 3319 del vars, 323227 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 394130 clqs
1077.75/1081.17 c (round 255, exhaustive) 3344 del vars, 323270 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 390118 clqs
1077.94/1081.38 c (round 256, fast) 3344 del vars, 327588 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 390118 clqs
1082.62/1086.08 c (round 257, exhaustive) 3369 del vars, 327635 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 386122 clqs
1082.82/1086.29 c (round 258, fast) 3369 del vars, 331974 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 386122 clqs
1087.41/1090.86 c (round 259, exhaustive) 3394 del vars, 332018 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 382119 clqs
1087.61/1091.06 c (round 260, fast) 3394 del vars, 336401 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 382119 clqs
1091.99/1095.40 c (round 261, exhaustive) 3419 del vars, 336446 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 378120 clqs
1092.19/1095.61 c (round 262, fast) 3419 del vars, 340876 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 378120 clqs
1094.68/1098.18 c (1098.2s) probing: 7000/7581 (92.3%) - 0 fixings, 3411 aggregations, 675740 implications, 0 bound changes
1096.58/1100.03 c (round 263, exhaustive) 3444 del vars, 340922 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 374155 clqs
1096.77/1100.23 c (round 264, fast) 3444 del vars, 345387 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 374155 clqs
1100.96/1104.46 c (round 265, exhaustive) 3469 del vars, 345431 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 370180 clqs
1101.15/1104.66 c (round 266, fast) 3469 del vars, 349948 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 370180 clqs
1105.34/1108.83 c (round 267, exhaustive) 3494 del vars, 349995 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 366212 clqs
1105.54/1109.03 c (round 268, fast) 3494 del vars, 354549 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 366212 clqs
1109.72/1113.29 c (round 269, exhaustive) 3519 del vars, 354588 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 362283 clqs
1109.92/1113.49 c (round 270, fast) 3519 del vars, 359158 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 362283 clqs
1114.12/1117.63 c (round 271, exhaustive) 3544 del vars, 359201 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 358336 clqs
1114.32/1117.82 c (round 272, fast) 3544 del vars, 363798 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 358336 clqs
1118.50/1122.02 c (round 273, exhaustive) 3569 del vars, 363845 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 354429 clqs
1118.70/1122.21 c (round 274, fast) 3569 del vars, 368478 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 354429 clqs
1122.69/1126.25 c (round 275, exhaustive) 3594 del vars, 368527 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 350521 clqs
1122.89/1126.44 c (round 276, fast) 3594 del vars, 373211 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 350521 clqs
1170.82/1174.53 c (1174.5s) probing cycle finished: starting next cycle
1175.60/1179.32 c (1179.3s) probing: 44/3990 (1.1%) - 0 fixings, 3591 aggregations, 683335 implications, 0 bound changes
1175.60/1179.32 c (1179.3s) probing aborted: 50/50 successive totally useless probings
1175.60/1179.32 c (round 277, exhaustive) 3610 del vars, 373253 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 351975 clqs
1175.80/1179.51 c (round 278, fast) 3610 del vars, 376257 del conss, 21332 add conss, 0 chg bounds, 0 chg sides, 7239 chg coeffs, 700360 upgd conss, 0 impls, 351975 clqs
1177.49/1181.21 c (1181.2s) probing: 49/3990 (1.2%) - 0 fixings, 3591 aggregations, 683335 implications, 0 bound changes
1177.49/1181.21 c (1181.2s) probing aborted: 50/50 successive totally useless probings
1177.49/1181.21 c (1181.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1178.79/1182.52 c (1182.5s) symmetry computation finished: 17 generators found (max: 1500, log10 of symmetry group size: 1089.88) (symcode time: 0.98)
1178.79/1182.53 c dynamic symmetry handling statistics:
1178.79/1182.53 c orbitopal reduction: 1 components: 210x18
1178.79/1182.53 c orbital reduction: no components
1178.79/1182.53 c lexicographic reduction: no permutations
1178.79/1182.53 c handled 1 out of 1 symmetry components
1178.99/1182.74 c presolving (279 rounds: 279 fast, 150 medium, 149 exhaustive):
1178.99/1182.74 c 3610 deleted vars, 376305 deleted constraints, 21352 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 7239 changed coefficients
1178.99/1182.74 c 0 implications, 351975 cliques
1178.99/1182.74 c presolved problem has 3990 variables (3990 bin, 0 int, 0 cont) and 345407 constraints
1178.99/1182.74 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1178.99/1182.74 c 276514 constraints of type <setppc>
1178.99/1182.74 c 3568 constraints of type <and>
1178.99/1182.74 c 65325 constraints of type <logicor>
1178.99/1182.74 c transformed objective value is always integral (scale: 1)
1178.99/1182.74 c Presolving Time: 1180.80
1178.99/1182.74 c
1178.99/1182.74 c - non default parameters ----------------------------------------------------------------------
1178.99/1182.74 c
1178.99/1182.74 c # SCIP version 10.0.0
1178.99/1182.74 c
1178.99/1182.74 c # maximal time in seconds to run
1178.99/1182.74 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1178.99/1182.74 c limits/time = 3596.998013
1178.99/1182.74 c
1178.99/1182.74 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1178.99/1182.74 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1178.99/1182.74 c limits/memory = 27900
1178.99/1182.74 c
1178.99/1182.74 c # belongs reading time to solving time?
1178.99/1182.74 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1178.99/1182.74 c timing/reading = TRUE
1178.99/1182.74 c
1178.99/1182.74 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
1178.99/1182.74 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
1178.99/1182.74 c reading/opbreader/maxintsize = 47
1178.99/1182.74 c
1178.99/1182.74 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
1178.99/1182.74 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
1178.99/1182.74 c propagating/genvbounds/timingmask = 0
1178.99/1182.74 c
1178.99/1182.74 c -----------------------------------------------------------------------------------------------
1178.99/1182.76 c
1183.57/1187.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1183.57/1187.30 c 1187s| 1 | 0 | 4912 | - | 3418M | 0 |3990 | 345k| 348k| 0 | 0 | 92 | 0 | 0.000000e+00 | -- | Inf | unknown
1208.00/1211.80 c 1212s| 1 | 0 | 34934 | - | 3491M | 0 |3990 | 345k| 349k| 37 | 1 | 102 | 0 | 0.000000e+00 | -- | Inf | unknown
1211.58/1215.47 c 1215s| 1 | 0 | 36163 | - | 3527M | 0 |3990 | 345k| 349k| 98 | 2 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown
1215.57/1219.48 c 1219s| 1 | 0 | 38088 | - | 3564M | 0 |3990 | 345k| 349k| 191 | 3 | 104 | 0 | 0.000000e+00 | -- | Inf | unknown
1217.96/1221.87 c 1222s| 1 | 0 | 39237 | - | 3600M | 0 |3990 | 345k| 349k| 287 | 4 | 105 | 0 | 0.000000e+00 | -- | Inf | unknown
1220.26/1224.14 c 1224s| 1 | 0 | 40539 | - | 3636M | 0 |3990 | 345k| 349k| 371 | 5 | 106 | 0 | 0.000000e+00 | -- | Inf | unknown
1223.15/1227.09 c 1227s| 1 | 0 | 43205 | - | 3671M | 0 |3990 | 345k| 349k| 480 | 6 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
1225.73/1229.65 c 1230s| 1 | 0 | 45062 | - | 3708M | 0 |3990 | 345k| 349k| 598 | 7 | 108 | 0 | 0.000000e+00 | -- | Inf | unknown
1227.92/1231.83 c 1232s| 1 | 0 | 46933 | - | 3742M | 0 |3990 | 345k| 349k| 696 | 8 | 109 | 0 | 0.000000e+00 | -- | Inf | unknown
1229.72/1233.68 c 1234s| 1 | 0 | 48412 | - | 3775M | 0 |3990 | 345k| 349k| 768 | 9 | 109 | 0 | 0.000000e+00 | -- | Inf | unknown
1232.81/1236.71 c 1237s| 1 | 0 | 50688 | - | 3811M | 0 |3990 | 345k| 349k| 873 | 10 | 110 | 0 | 0.000000e+00 | -- | Inf | unknown
1234.60/1238.51 c 1239s| 1 | 0 | 52398 | - | 3844M | 0 |3990 | 345k| 349k| 955 | 11 | 110 | 0 | 0.000000e+00 | -- | Inf | unknown
1267.29/1271.33 c 1271s| 1 | 2 | 63764 | - | 3849M | 0 |3990 | 345k| 349k| 955 | 11 | 122 | 19 | 0.000000e+00 | -- | Inf | unknown
1577.28/1582.46 c 1582s| 100 | 20 |185479 |1344.3 | 4106M | 16 |3990 | 345k| 349k|4410 | 2 | 273 | 19 | 0.000000e+00 | -- | Inf | 1.43%
1754.11/1759.95 c 1760s| 200 | 16 |279178 |1139.6 | 4350M | 18 |3990 | 345k| 350k|6604 | 2 | 492 | 19 | 0.000000e+00 | -- | Inf | 6.59%
1951.14/1957.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1951.14/1957.71 c 1958s| 300 | 15 |376558 |1084.1 | 4453M | 20 |3990 | 345k| 0 |9361 | 0 | 626 | 19 | 0.000000e+00 | -- | Inf | 22.24%
2178.63/2186.12 c 2186s| 400 | 6 |485906 |1086.5 | 4765M | 20 |3990 | 345k| 350k| 12k| 2 | 769 | 19 | 0.000000e+00 | -- | Inf | 40.53%
2429.49/2437.93 c 2438s| 500 | 7 |621114 |1139.7 | 4835M | 20 |3990 | 346k| 349k| 15k| 0 | 944 | 19 | 0.000000e+00 | -- | Inf | 49.00%
2709.79/2719.18 c 2719s| 600 | 12 |753632 |1170.7 | 4911M | 20 |3990 | 346k| 0 | 18k| 0 |1137 | 19 | 0.000000e+00 | -- | Inf | 61.33%
2962.40/2972.57 c 2973s| 700 | 7 |876110 |1178.4 | 4946M | 20 |3990 | 346k| 350k| 22k| 2 |1326 | 19 | 0.000000e+00 | -- | Inf | 74.95%
3170.16/3181.01 c 3181s| 800 | 34 |984316 |1166.4 | 5126M | 20 |3990 | 346k| 0 | 25k| 0 |1560 | 19 | 0.000000e+00 | -- | Inf | 75.32%
3326.09/3337.51 c 3338s| 900 | 39 | 1063k|1124.9 | 5168M | 20 |3990 | 346k| 350k| 28k| 0 |1794 | 19 | 0.000000e+00 | -- | Inf | 76.41%
3451.79/3463.66 c 3464s| 1000 | 36 | 1134k|1082.8 | 5203M | 22 |3990 | 346k| 350k| 30k| 2 |2015 | 19 | 0.000000e+00 | -- | Inf | 76.93%
3520.40/3532.49 c 3532s| 1100 | 40 | 1171k|1017.9 | 5205M | 23 |3990 | 346k| 350k| 31k| 0 |2155 | 19 | 0.000000e+00 | -- | Inf | 76.97%
3584.82/3597.00 c
3584.82/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3584.82/3597.00 c Solving Time (sec) : 3597.00
3584.82/3597.00 c Solving Nodes : 1182
3584.82/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3584.82/3597.00 c Dual Bound : +0.00000000000000e+00
3584.82/3597.00 c Gap : infinite
3584.82/3597.00 s UNKNOWN
3584.82/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3584.82/3597.00 c Total Time : 3597.00
3584.82/3597.00 c solving : 3597.00
3584.82/3597.00 c presolving : 1180.80 (included in solving)
3584.82/3597.00 c reading : 1.11 (included in solving)
3584.82/3597.00 c copying : 1.61 (4 #copies) (minimal 0.38, maximal 0.43, average 0.40)
3584.82/3597.00 c Original Problem :
3584.82/3597.00 c Problem name : HOME/instance-4544970-1753217627.opb
3584.82/3597.00 c Variables : 7600 (7600 binary, 0 integer, 0 continuous)
3584.82/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3584.82/3597.00 c Constraints : 700360 initial, 700360 maximal
3584.82/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.82/3597.00 c Presolved Problem :
3584.82/3597.00 c Problem name : t_HOME/instance-4544970-1753217627.opb
3584.82/3597.00 c Variables : 3990 (3990 binary, 0 integer, 0 continuous)
3584.82/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3584.82/3597.00 c Constraints : 345407 initial, 346813 maximal
3584.82/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.82/3597.00 c Nonzeros : 760047 constraint, 703950 clique table
3584.82/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3584.82/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c domcol : 0.00 0.00 145 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c gateextraction : 55.46 0.00 148 0 0 0 0 0 20676 6892 0 0
3584.82/3597.00 c implics : 0.01 0.00 150 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c milp : 2.47 0.00 1 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c trivial : 0.06 0.00 279 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c dualfix : 0.04 0.00 279 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c probing : 938.92 0.00 145 0 3591 0 0 0 0 0 0 0
3584.82/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c symmetry : 1.32 0.00 1 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c vbounds : 0.39 0.00 4 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c knapsack : 0.05 0.00 2 0 0 0 0 0 7220 14440 0 0
3584.82/3597.00 c setppc : 78.89 0.03 574 0 0 0 0 0 276492 0 0 0
3584.82/3597.00 c and : 4.66 0.00 423 0 19 0 0 0 3324 20 0 0
3584.82/3597.00 c linear : 1.76 0.15 2 0 0 0 0 0 0 0 0 7220
3584.82/3597.00 c logicor : 94.78 0.06 573 0 0 0 0 0 68593 0 0 19
3584.82/3597.00 c components : 0.10 0.00 1 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c root node : - - - 0 - - 0 - - - - -
3584.82/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3584.82/3597.00 c integral : 0 0 0 0 617 0 0 38 0 0 0 0 0 0 1234
3584.82/3597.00 c knapsack : 0+ 10 0 3906 0 0 0 0 11 4 201 0 0 0 0
3584.82/3597.00 c setppc : 276514+ 276550 11 37261 0 0 0 34 52631 38 150521 0 0 0 0
3584.82/3597.00 c and : 3568 3568 1259 37223 0 0 0 3 33498 30 30649 50188 23292 0 0
3584.82/3597.00 c linear : 0+ 96 0 4535 0 0 0 3 109 66 1660 0 0 0 0
3584.82/3597.00 c logicor : 65325+ 66595 11 19883 0 0 0 1 23499 52 52566 2 0 0 0
3584.82/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3584.82/3597.00 c integral : 12.35 0.00 0.00 0.00 12.35 0.00 0.00 0.00 0.00 0.00
3584.82/3597.00 c knapsack : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3584.82/3597.00 c setppc : 231.95 0.03 0.28 231.42 0.00 0.00 0.00 0.14 0.02 0.05
3584.82/3597.00 c and : 6.39 0.00 0.61 5.74 0.00 0.00 0.00 0.00 0.02 0.03
3584.82/3597.00 c linear : 0.26 0.15 0.00 0.11 0.00 0.00 0.00 0.00 0.00 0.00
3584.82/3597.00 c logicor : 14.37 0.06 0.21 14.07 0.00 0.00 0.00 0.00 0.01 0.03
3584.82/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.82/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.82/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.82/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3584.82/3597.00 c dualfix : 1 0 0 0
3584.82/3597.00 c genvbounds : 0 0 0 0
3584.82/3597.00 c nlobbt : 0 0 0 0
3584.82/3597.00 c obbt : 0 0 0 0
3584.82/3597.00 c probing : 0 0 0 0
3584.82/3597.00 c pseudoobj : 0 0 0 0
3584.82/3597.00 c redcost : 0 0 0 0
3584.82/3597.00 c rootredcost : 0 0 0 0
3584.82/3597.00 c symmetry : 2992 0 178 3584
3584.82/3597.00 c vbounds : 6430 0 0 0
3584.82/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3584.82/3597.00 c dualfix : 0.04 0.00 0.04 0.00 0.00 0.00
3584.82/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3584.82/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.82/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.82/3597.00 c probing : 938.92 0.00 938.92 0.00 0.00 0.00
3584.82/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3584.82/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3584.82/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3584.82/3597.00 c symmetry : 1.43 0.00 1.32 0.11 0.00 0.00
3584.82/3597.00 c vbounds : 0.49 0.00 0.39 0.10 0.00 0.00
3584.82/3597.00 c Symmetry :
3584.82/3597.00 c #affected vars : 3780 (3780 bin, 0 int, 0 cont)
3584.82/3597.00 c orbitopal red. : 3584 reductions applied, 178 cutoffs
3584.82/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3584.82/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3584.82/3597.00 c shadow tree time : 0.00 s
3584.82/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3584.82/3597.00 c propagation : 0.02 122 118 - 607 58.6 14 36.5 - - -
3584.82/3597.00 c infeasible LP : 1.71 277 277 - 1888 127.8 1 19.0 277 242.7 0
3584.82/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3584.82/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3584.82/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3584.82/3597.00 c applied globally : 1.19 - - 0 2032 67.2 - - 277 - -
3584.82/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3584.82/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3584.82/3597.00 c cut pool : 0.17 - 195 21 - - 6533 28873 - - - - - (maximal pool size: 5651)
3584.82/3597.00 c aggregation : 1.28 0.00 50 11 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3584.82/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3584.82/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3584.82/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c clique : 2.64 0.00 11 11 0 0 96 1284 0 85 85 0 0
3584.82/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c gomory : 53.58 0.00 49 10 0 0 3972 13225 0 2946 2946 0 0
3584.82/3597.00 c > gomorymi : - - - - - - - 2515 0 72 72 0 -
3584.82/3597.00 c > strongcg : - - - - - - - 10710 0 2874 2874 0 -
3584.82/3597.00 c impliedbounds : 1.64 0.00 50 11 0 0 2006 5872 0 2758 2758 0 0
3584.82/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c mcf : 0.26 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c multilinear : 0.00 0.00 115 11 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3584.82/3597.00 c zerohalf : 13.25 0.00 50 11 0 0 458 8492 0 3763 3763 0 0
3584.82/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3584.82/3597.00 c hybrid : 0.07 0.00 1255 11 32844 0 46219 955 0 4195
3584.82/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3584.82/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3584.82/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3584.82/3597.00 c problem variables: 0.00 - 0 0
3584.82/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3584.82/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.82/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3584.82/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3584.82/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.82/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3584.82/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3584.82/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.82/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3584.82/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.82/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3584.82/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3584.82/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.82/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3584.82/3597.00 c relpscost : 12.34 0.00 617 0 0 0 0 0 0 1234
3584.82/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3584.82/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3584.82/3597.00 c LP solutions : 0.00 - - 0 0
3584.82/3597.00 c relax solutions : 0.00 - - 0 0
3584.82/3597.00 c pseudo solutions : 0.00 - - 0 0
3584.82/3597.00 c strong branching : 0.00 - - 0 0
3584.82/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3584.82/3597.00 c adaptivediving : 39.11 0.00 4 0 0
3584.82/3597.00 c alns : 6.29 0.00 4 0 0
3584.82/3597.00 c bound : 0.00 0.00 0 0 0
3584.82/3597.00 c clique : 0.92 0.00 1 0 0
3584.82/3597.00 c coefdiving : 0.00 0.00 0 0 0
3584.82/3597.00 c completesol : 0.00 0.00 0 0 0
3584.82/3597.00 c conflictdiving : 34.15 0.00 2 0 0
3584.82/3597.00 c crossover : 0.00 0.00 0 0 0
3584.82/3597.00 c dins : 0.00 0.00 0 0 0
3584.82/3597.00 c distributiondivin: 39.41 0.00 2 0 0
3584.82/3597.00 c dks : 0.00 0.00 0 0 0
3584.82/3597.00 c dps : 0.00 0.00 0 0 0
3584.82/3597.00 c dualval : 0.00 0.00 0 0 0
3584.82/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3584.82/3597.00 c feaspump : 17.48 0.00 1 0 0
3584.82/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3584.82/3597.00 c fracdiving : 19.90 0.00 2 0 0
3584.82/3597.00 c gins : 0.00 0.00 0 0 0
3584.82/3597.00 c guideddiving : 0.00 0.00 0 0 0
3584.82/3597.00 c indicator : 0.00 0.00 0 0 0
3584.82/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3584.82/3597.00 c intdiving : 0.00 0.00 0 0 0
3584.82/3597.00 c intshifting : 0.00 0.00 0 0 0
3584.82/3597.00 c linesearchdiving : 12.37 0.00 2 0 0
3584.82/3597.00 c localbranching : 0.00 0.00 0 0 0
3584.82/3597.00 c locks : 0.20 0.00 1 0 0
3584.82/3597.00 c lpface : 0.01 0.00 0 0 0
3584.82/3597.00 c mpec : 0.00 0.00 0 0 0
3584.82/3597.00 c multistart : 0.00 0.00 0 0 0
3584.82/3597.00 c mutation : 0.00 0.00 0 0 0
3584.82/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3584.82/3597.00 c objpscostdiving : 100.35 0.00 1 0 0
3584.82/3597.00 c octane : 0.00 0.00 0 0 0
3584.82/3597.00 c ofins : 0.00 0.00 0 0 0
3584.82/3597.00 c oneopt : 0.00 0.00 0 0 0
3584.82/3597.00 c padm : 0.00 0.00 0 0 0
3584.82/3597.00 c proximity : 0.00 0.00 0 0 0
3584.82/3597.00 c pscostdiving : 9.57 0.00 2 0 0
3584.82/3597.00 c randrounding : 1.90 0.00 41 0 0
3584.82/3597.00 c rens : 1.67 0.00 1 0 0
3584.82/3597.00 c reoptsols : 0.00 0.00 0 0 0
3584.82/3597.00 c repair : 0.00 0.00 0 0 0
3584.82/3597.00 c rins : 0.00 0.00 0 0 0
3584.82/3597.00 c rootsoldiving : 37.34 0.00 2 0 0
3584.82/3597.00 c rounding : 6.30 0.00 570 0 0
3584.82/3597.00 c scheduler : 0.00 0.00 0 0 0
3584.82/3597.00 c shiftandpropagate: 0.30 0.00 1 0 0
3584.82/3597.00 c shifting : 7.10 0.00 152 0 0
3584.82/3597.00 c simplerounding : 0.00 0.00 0 0 0
3584.82/3597.00 c subnlp : 0.00 0.00 0 0 0
3584.82/3597.00 c trivial : 0.05 0.00 2 0 0
3584.82/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3584.82/3597.00 c trustregion : 0.00 0.00 0 0 0
3584.82/3597.00 c trysol : 0.00 0.00 0 0 0
3584.82/3597.00 c twoopt : 0.00 0.00 0 0 0
3584.82/3597.00 c undercover : 0.00 0.00 1 0 0
3584.82/3597.00 c vbounds : 0.74 0.00 1 0 0
3584.82/3597.00 c veclendiving : 4.33 0.00 2 0 0
3584.82/3597.00 c zeroobj : 0.00 0.00 0 0 0
3584.82/3597.00 c zirounding : 8.80 0.00 617 0 0
3584.82/3597.00 c other solutions : - - - 0 -
3584.82/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3584.82/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.82/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.82/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.82/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.82/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.82/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.82/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3584.82/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3584.82/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3584.82/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3584.82/3597.00 c primal LP : 2.59 75 0 0.00 0.00 2.58 75
3584.82/3597.00 c dual LP : 1900.44 2126 1065410 501.13 560.61 0.00 0
3584.82/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3584.82/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3584.82/3597.00 c resolve instable : 0.00 0 0 0.00 -
3584.82/3597.00 c diving/probing LP: 310.97 130 140066 1077.43 450.41
3584.82/3597.00 c strong branching : 5.00 19 4107 216.16 820.65 - - 0
3584.82/3597.00 c (at root node) : - 19 4107 216.16 -
3584.82/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3584.82/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3584.82/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3584.82/3597.00 c B&B Tree :
3584.82/3597.00 c number of runs : 1
3584.82/3597.00 c nodes : 1182 (617 internal, 565 leaves)
3584.82/3597.00 c feasible leaves : 0
3584.82/3597.00 c infeas. leaves : 564
3584.82/3597.00 c objective leaves : 0
3584.82/3597.00 c nodes (total) : 1182 (617 internal, 565 leaves)
3584.82/3597.00 c nodes left : 38
3584.82/3597.00 c max depth : 23
3584.82/3597.00 c max depth (total): 23
3584.82/3597.00 c backtracks : 230 (19.5%)
3584.82/3597.00 c early backtracks : 0 (0.0%)
3584.82/3597.00 c nodes exc. ref. : 0 (0.0%)
3584.82/3597.00 c delayed cutoffs : 16
3584.82/3597.00 c repropagations : 84 (7846 domain reductions, 16 cutoffs)
3584.82/3597.00 c avg switch length: 2.90
3584.82/3597.00 c switching time : 9.34
3584.82/3597.00 c Root Node :
3584.82/3597.00 c First LP value : +0.00000000000000e+00
3584.82/3597.00 c First LP Iters : 4912 (2122.42 Iter/sec)
3584.82/3597.00 c First LP Time : 2.31
3584.82/3597.00 c Final Dual Bound : +0.00000000000000e+00
3584.82/3597.00 c Final Root Iters : 52398
3584.82/3597.00 c Root LP Estimate : +4.37849706211820e-03
3584.82/3597.00 c Solution :
3584.82/3597.00 c Solutions found : 0 (0 improvements)
3584.82/3597.00 c Primal Bound : -
3584.82/3597.00 c Dual Bound : +0.00000000000000e+00
3584.82/3597.00 c Gap : infinite
3584.82/3597.00 c Integrals : Total Avg%
3584.82/3597.00 c primal-dual : 359700.41 100.00
3584.82/3597.00 c primal-ref : - - (not evaluated)
3584.82/3597.00 c dual-ref : - - (not evaluated)
3585.82/3598.05 c Time complete (sec): 3585.883