0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4544969-1753233476.opb>
1.88/2.00 c original problem has 7600 variables (7600 bin, 0 int, 0 impl, 0 cont) and 700360 constraints
1.88/2.00 c problem read in 1.99
1.99/2.01 c No objective function, only one solution is needed.
2.88/3.00 c presolving:
4.47/4.53 c (4.5s) running MILP presolver
7.45/7.55 c (7.5s) MILP presolver found nothing
8.84/8.92 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
9.43/9.59 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
10.63/10.72 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
11.52/11.62 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
12.62/12.76 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
83.94/84.35 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
117.69/118.23 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
138.69/139.34 c (139.3s) probing: 1000/7581 (13.2%) - 0 fixings, 65 aggregations, 160299 implications, 0 bound changes
146.06/146.71 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
166.86/167.63 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
185.77/186.69 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
204.89/205.85 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
221.41/222.45 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
239.22/240.36 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
257.34/258.57 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
272.17/273.48 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
277.96/279.20 c (279.2s) probing: 2000/7581 (26.4%) - 0 fixings, 254 aggregations, 299439 implications, 0 bound changes
285.32/286.62 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
295.08/296.45 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
306.75/308.20 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
316.88/318.36 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
326.25/327.70 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
337.51/339.07 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
337.80/339.30 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
346.96/348.53 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
347.16/348.76 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
355.23/356.80 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
355.44/357.03 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
365.79/367.49 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
366.09/367.73 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
378.03/379.70 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
378.23/379.93 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
389.30/391.04 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
389.49/391.27 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
401.03/402.81 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
401.25/403.04 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
410.40/412.21 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
410.60/412.44 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
418.57/420.42 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
418.77/420.65 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
428.24/430.13 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
428.43/430.36 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
430.33/432.29 c (432.3s) probing: 3000/7581 (39.6%) - 0 fixings, 627 aggregations, 417279 implications, 0 bound changes
436.21/438.14 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
436.40/438.38 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
444.97/446.99 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
445.27/447.22 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
454.83/456.87 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
455.04/457.10 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
463.70/465.76 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
463.90/465.99 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
474.75/476.86 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
474.96/477.09 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
484.21/486.36 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
484.41/486.59 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
491.79/493.93 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
492.00/494.17 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
500.24/502.46 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
500.44/502.69 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
507.83/510.10 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
508.12/510.34 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
517.69/520.00 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
517.99/520.24 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
526.05/528.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
526.35/528.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
533.02/535.30 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
533.22/535.53 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
541.20/543.53 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
541.40/543.76 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
549.86/552.28 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
550.16/552.51 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
557.64/560.09 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
557.93/560.33 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
564.72/567.13 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
564.91/567.37 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
571.38/573.87 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
571.59/574.10 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
579.15/581.60 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
579.35/581.83 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
586.42/588.94 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
586.64/589.17 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
592.31/594.81 c (594.8s) probing: 4000/7581 (52.8%) - 0 fixings, 1116 aggregations, 513748 implications, 0 bound changes
594.70/597.29 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
595.00/597.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
603.36/605.99 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
603.66/606.22 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
610.33/612.98 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
610.63/613.21 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
616.61/619.27 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
616.91/619.50 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
624.28/626.92 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
624.49/627.16 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
631.86/634.58 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
632.16/634.82 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
638.73/641.48 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
639.03/641.72 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
644.72/647.41 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
644.92/647.64 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
652.79/655.57 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
653.09/655.81 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
661.85/664.63 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
662.05/664.87 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
670.12/672.95 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
670.33/673.19 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
677.10/679.98 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
677.40/680.22 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
683.77/686.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
683.97/686.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
690.55/693.40 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
690.75/693.63 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
697.32/700.27 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
697.62/700.50 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
704.60/707.59 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
704.90/707.83 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
711.19/714.12 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
711.38/714.36 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
718.55/721.50 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
718.75/721.75 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
725.93/728.93 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
726.14/729.18 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
733.20/736.23 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
733.40/736.48 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
739.69/742.73 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
739.89/742.98 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
746.66/749.72 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
746.86/749.96 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
753.64/756.74 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
753.84/756.98 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
759.82/762.96 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
760.12/763.21 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
767.49/770.68 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
767.79/770.93 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
771.39/774.55 c (774.5s) probing: 5000/7581 (66.0%) - 0 fixings, 1736 aggregations, 589118 implications, 0 bound changes
773.48/776.67 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
773.78/776.92 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
780.15/783.33 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
780.35/783.58 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
786.73/789.95 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
787.03/790.20 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
793.61/796.86 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
793.82/797.11 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
800.98/804.24 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
801.18/804.49 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
807.66/810.90 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
807.88/811.15 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
814.85/818.12 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
815.03/818.37 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
821.73/825.05 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
822.02/825.30 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
828.00/831.33 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
828.20/831.58 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
835.18/838.50 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
835.37/838.76 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
841.15/844.55 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
841.45/844.81 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
847.94/851.33 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
848.13/851.59 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
855.31/858.76 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
855.62/859.02 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
862.19/865.61 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
862.39/865.87 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
868.47/871.90 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
868.68/872.16 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
875.74/879.24 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
875.94/879.50 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
881.64/885.19 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
881.93/885.45 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
887.71/891.29 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
888.01/891.54 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
894.28/897.89 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
894.59/898.15 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
900.67/904.22 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
900.87/904.48 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
908.24/911.80 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
908.45/912.05 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
914.53/918.15 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
914.82/918.40 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
920.91/924.50 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
921.10/924.75 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
927.39/931.04 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
927.58/931.29 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
933.66/937.34 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
933.96/937.60 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
940.14/943.88 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
940.45/944.14 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
946.12/949.87 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
946.43/950.12 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
952.11/955.82 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
952.32/956.07 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
957.79/961.56 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
958.08/961.81 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
964.57/968.35 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
964.87/968.60 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
970.35/974.18 c (974.2s) probing: 6000/7581 (79.1%) - 0 fixings, 2497 aggregations, 643094 implications, 0 bound changes
970.84/974.60 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
971.04/974.85 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
977.13/981.00 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
977.43/981.25 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
983.32/987.11 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
983.50/987.36 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
989.20/993.09 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
989.49/993.33 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
995.67/999.51 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
995.87/999.76 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
1001.45/1005.33 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
1001.65/1005.58 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
1007.53/1011.43 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
1007.73/1011.68 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
1013.41/1017.38 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
1013.71/1017.62 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
1018.89/1022.89 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
1019.21/1023.13 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
1024.67/1028.61 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
1024.88/1028.85 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
1030.36/1034.30 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
1030.56/1034.54 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
1035.75/1039.72 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
1035.95/1039.96 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
1041.73/1045.77 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
1042.04/1046.01 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
1047.31/1051.35 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
1047.51/1051.59 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
1052.69/1056.73 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
1052.89/1056.96 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
1058.18/1062.30 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
1058.48/1062.53 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
1063.56/1067.68 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
1063.86/1067.92 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
1069.06/1073.18 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
1069.34/1073.41 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
1074.72/1078.89 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
1075.03/1079.12 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
1080.11/1084.27 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
1080.41/1084.50 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
1085.20/1089.36 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
1085.39/1089.59 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
1090.57/1094.75 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
1090.77/1094.98 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
1095.98/1100.17 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
1096.26/1100.40 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
1101.14/1105.33 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
1101.34/1105.56 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
1106.33/1110.51 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
1106.53/1110.73 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
1111.52/1115.77 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
1111.71/1116.00 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
1116.69/1120.96 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
1116.91/1121.19 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
1121.68/1125.99 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
1121.98/1126.21 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
1126.57/1130.83 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
1126.78/1131.05 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
1131.66/1135.97 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
1131.87/1136.19 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
1136.54/1140.84 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
1136.75/1141.05 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
1141.32/1145.70 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
1141.62/1145.91 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
1146.12/1150.43 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
1146.31/1150.64 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
1151.09/1155.41 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
1151.29/1155.62 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
1155.98/1160.34 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
1156.18/1160.56 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
1160.68/1165.10 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
1160.97/1165.31 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
1165.25/1169.64 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
1165.45/1169.84 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
1168.04/1172.41 c (1172.4s) probing: 7000/7581 (92.3%) - 0 fixings, 3411 aggregations, 675740 implications, 0 bound changes
1169.84/1174.20 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
1170.04/1174.41 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
1174.23/1178.62 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
1174.43/1178.82 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
1178.52/1182.99 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
1178.73/1183.19 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
1183.00/1187.45 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
1183.20/1187.65 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
1187.28/1191.79 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
1187.48/1191.98 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
1191.77/1196.26 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
1191.97/1196.45 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
1195.96/1200.49 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
1196.16/1200.69 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
1242.81/1247.43 c (1247.4s) probing cycle finished: starting next cycle
1247.41/1252.03 c (1252.0s) probing: 44/3990 (1.1%) - 0 fixings, 3591 aggregations, 683335 implications, 0 bound changes
1247.41/1252.03 c (1252.0s) probing aborted: 50/50 successive totally useless probings
1247.41/1252.03 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
1247.59/1252.22 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
1249.29/1253.93 c (1253.9s) probing: 49/3990 (1.2%) - 0 fixings, 3591 aggregations, 683335 implications, 0 bound changes
1249.29/1253.93 c (1253.9s) probing aborted: 50/50 successive totally useless probings
1249.29/1253.93 c (1253.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1251.18/1255.83 c (1255.8s) symmetry computation finished: 17 generators found (max: 1500, log10 of symmetry group size: 10.0) (symcode time: 1.33)
1251.18/1255.87 c dynamic symmetry handling statistics:
1251.18/1255.87 c orbitopal reduction: 1 components: 210x18
1251.18/1255.87 c orbital reduction: no components
1251.18/1255.87 c lexicographic reduction: no permutations
1251.18/1255.87 c handled 1 out of 1 symmetry components
1251.40/1256.09 c presolving (279 rounds: 279 fast, 150 medium, 149 exhaustive):
1251.40/1256.09 c 3610 deleted vars, 376305 deleted constraints, 21352 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 7239 changed coefficients
1251.40/1256.09 c 0 implications, 351975 cliques
1251.40/1256.09 c presolved problem has 3990 variables (3990 bin, 0 int, 0 impl, 0 cont) and 345407 constraints
1251.40/1256.09 c 276514 constraints of type <setppc>
1251.40/1256.09 c 3568 constraints of type <and>
1251.40/1256.09 c 65325 constraints of type <logicor>
1251.40/1256.09 c transformed objective value is always integral (scale: 1)
1251.40/1256.09 c Presolving Time: 1253.09
1251.40/1256.09 c - non default parameters ----------------------------------------------------------------------
1251.40/1256.09 c # SCIP version 10.0.0
1251.40/1256.09 c
1251.40/1256.09 c # maximal time in seconds to run
1251.40/1256.09 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1251.40/1256.09 c limits/time = 3596.994042
1251.40/1256.09 c
1251.40/1256.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1251.40/1256.09 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1251.40/1256.09 c limits/memory = 27900
1251.40/1256.09 c
1251.40/1256.09 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
1251.40/1256.09 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
1251.40/1256.09 c limits/solutions = 1
1251.40/1256.09 c
1251.40/1256.09 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
1251.40/1256.09 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
1251.40/1256.09 c misc/usesymmetry = 3
1251.40/1256.09 c
1251.40/1256.09 c # belongs reading time to solving time?
1251.40/1256.09 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1251.40/1256.09 c timing/reading = TRUE
1251.40/1256.09 c
1251.40/1256.09 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
1251.40/1256.09 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
1251.40/1256.09 c propagating/symmetry/detectdoublelex = FALSE
1251.40/1256.09 c
1251.40/1256.09 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
1251.40/1256.09 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
1251.40/1256.09 c propagating/symmetry/detectsubgroups = FALSE
1251.40/1256.09 c
1251.40/1256.09 c # Type of symmetries that shall be computed?
1251.40/1256.09 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
1251.40/1256.09 c propagating/symmetry/symtype = 1
1251.40/1256.09 c
1251.40/1256.09 c # Should components consisting of a single full reflection be handled?
1251.40/1256.09 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
1251.40/1256.09 c propagating/symmetry/usesimplesgncomp = FALSE
1251.40/1256.09 c
1251.40/1256.09 c -----------------------------------------------------------------------------------------------
1251.40/1256.09 c start solving
1251.40/1256.10 c
1256.48/1261.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1256.48/1261.14 c 1261s| 1 | 0 | 4912 | - | 3479M | 0 |3990 | 345k| 348k| 0 | 0 | 92 | 0 | 0.000000e+00 | -- | Inf | unknown
1356.29/1361.23 c 1361s| 1 | 0 | 34934 | - | 3586M | 0 |3990 | 345k| 349k| 37 | 1 | 102 | 0 | 0.000000e+00 | -- | Inf | unknown
1422.02/1427.17 c 1427s| 1 | 0 | 36163 | - | 3640M | 0 |3990 | 345k| 349k| 98 | 2 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown
1481.06/1486.37 c 1486s| 1 | 0 | 38088 | - | 3678M | 0 |3990 | 345k| 349k| 191 | 3 | 104 | 0 | 0.000000e+00 | -- | Inf | unknown
1538.00/1543.43 c 1543s| 1 | 0 | 39237 | - | 3715M | 0 |3990 | 345k| 349k| 287 | 4 | 105 | 0 | 0.000000e+00 | -- | Inf | unknown
1587.17/1592.76 c 1593s| 1 | 0 | 40539 | - | 3753M | 0 |3990 | 345k| 349k| 371 | 5 | 106 | 0 | 0.000000e+00 | -- | Inf | unknown
1631.86/1637.53 c 1638s| 1 | 0 | 43205 | - | 3789M | 0 |3990 | 345k| 349k| 480 | 6 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
1675.35/1681.14 c 1681s| 1 | 0 | 45062 | - | 3828M | 0 |3990 | 345k| 349k| 598 | 7 | 108 | 0 | 0.000000e+00 | -- | Inf | unknown
1712.15/1718.05 c 1718s| 1 | 0 | 46933 | - | 3863M | 0 |3990 | 345k| 349k| 696 | 8 | 109 | 0 | 0.000000e+00 | -- | Inf | unknown
1748.44/1754.46 c 1754s| 1 | 0 | 48412 | - | 3899M | 0 |3990 | 345k| 349k| 768 | 9 | 109 | 0 | 0.000000e+00 | -- | Inf | unknown
1785.05/1791.13 c 1791s| 1 | 0 | 50688 | - | 3936M | 0 |3990 | 345k| 349k| 873 | 10 | 110 | 0 | 0.000000e+00 | -- | Inf | unknown
1786.95/1793.10 c 1793s| 1 | 0 | 52398 | - | 3970M | 0 |3990 | 345k| 349k| 955 | 11 | 110 | 0 | 0.000000e+00 | -- | Inf | unknown
1822.11/1828.33 c 1828s| 1 | 2 | 63764 | - | 3975M | 0 |3990 | 345k| 349k| 955 | 11 | 122 | 19 | 0.000000e+00 | -- | Inf | unknown
2327.42/2335.25 c 2335s| 100 | 10 |255535 |2051.9 | 4282M | 15 |3990 | 345k| 0 |3539 | 0 | 296 | 19 | 0.000000e+00 | -- | Inf | 14.84%
2671.45/2680.41 c 2680s| 200 | 13 |400204 |1747.8 | 4818M | 15 |3990 | 345k| 350k|7019 | 2 | 594 | 19 | 0.000000e+00 | -- | Inf | 25.10%
2919.87/2929.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2919.87/2929.70 c 2930s| 300 | 27 |488535 |1458.7 | 4948M | 21 |3990 | 346k| 0 |9552 | 0 | 900 | 19 | 0.000000e+00 | -- | Inf | 25.36%
3085.28/3095.79 c 3096s| 400 | 27 |555748 |1261.5 | 5129M | 21 |3990 | 346k| 350k| 11k| 2 |1163 | 19 | 0.000000e+00 | -- | Inf | 27.93%
3216.59/3227.55 c 3228s| 500 | 25 |610235 |1117.9 | 5165M | 23 |3990 | 346k| 350k| 12k| 1 |1464 | 19 | 0.000000e+00 | -- | Inf | 28.76%
3331.56/3342.93 c 3343s| 600 | 24 |656858 |1009.1 | 5203M | 27 |3990 | 346k| 350k| 13k| 2 |1693 | 19 | 0.000000e+00 | -- | Inf | 28.90%
3471.36/3483.28 c 3483s| 700 | 18 |715893 | 949.2 | 5206M | 29 |3990 | 346k| 350k| 15k| 0 |1990 | 19 | 0.000000e+00 | -- | Inf | 30.62%
3584.78/3597.03 c
3584.78/3597.03 c SCIP Status : solving was interrupted [time limit reached]
3584.78/3597.03 c Solving Time (sec) : 3597.00
3584.78/3597.03 c Solving Nodes : 761
3584.78/3597.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3584.78/3597.03 c Dual Bound : +0.00000000000000e+00
3584.78/3597.03 c Gap : infinite
3584.78/3597.03 s UNKNOWN
3584.78/3597.03 c SCIP Status : solving was interrupted [time limit reached]
3584.78/3597.03 c Total Time : 3597.00
3584.78/3597.03 c solving : 3597.00
3584.78/3597.03 c presolving : 1253.09 (included in solving)
3584.78/3597.03 c reading : 1.99 (included in solving)
3584.78/3597.03 c copying : 2.14 (4 #copies) (minimal 0.51, maximal 0.55, average 0.53)
3584.78/3597.03 c Original Problem :
3584.78/3597.03 c Problem name : HOME/instance-4544969-1753233476.opb
3584.78/3597.03 c Variables : 7600 (7600 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.78/3597.03 c Constraints : 700360 initial, 700360 maximal
3584.78/3597.03 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.78/3597.03 c Presolved Problem :
3584.78/3597.03 c Problem name : t_HOME/instance-4544969-1753233476.opb
3584.78/3597.03 c Variables : 3990 (3990 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.78/3597.03 c Constraints : 345407 initial, 346700 maximal
3584.78/3597.03 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.78/3597.03 c Nonzeros : 760047 constraint, 703950 clique table
3584.78/3597.03 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3584.78/3597.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c domcol : 0.00 0.00 145 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c gateextraction : 83.52 0.00 148 0 0 0 0 0 20676 6892 0 0
3584.78/3597.03 c implics : 0.01 0.00 150 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c milp : 3.75 0.00 1 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c trivial : 0.07 0.00 279 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c dualfix : 0.05 0.00 279 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c probing : 986.52 0.00 145 0 3591 0 0 0 0 0 0 0
3584.78/3597.03 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c symmetry : 1.94 0.00 1 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c vbounds : 0.38 0.00 4 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c knapsack : 0.05 0.00 2 0 0 0 0 0 7220 14440 0 0
3584.78/3597.03 c setppc : 80.47 0.03 574 0 0 0 0 0 276492 0 0 0
3584.78/3597.03 c and : 4.71 0.00 423 0 19 0 0 0 3324 20 0 0
3584.78/3597.03 c linear : 1.86 0.18 2 0 0 0 0 0 0 0 0 7220
3584.78/3597.03 c logicor : 87.74 0.06 573 0 0 0 0 0 68593 0 0 19
3584.78/3597.03 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c components : 0.11 0.00 1 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c root node : - - - 0 - - 0 - - - - -
3584.78/3597.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3584.78/3597.03 c benderslp : 0 0 0 0 399 0 0 40 0 0 0 0 0 0 0
3584.78/3597.03 c integral : 0 0 0 0 399 0 0 40 0 0 0 0 0 0 798
3584.78/3597.03 c knapsack : 0+ 15 0 3890 0 0 0 0 14 11 75 0 0 0 0
3584.78/3597.03 c setppc : 276514+ 276530 11 36910 0 0 0 36 41280 27 89303 0 0 0 0
3584.78/3597.03 c and : 3568 3568 825 36883 0 0 0 3 31898 23 18952 27606 12430 0 0
3584.78/3597.03 c linear : 0+ 91 0 4202 0 0 0 3 99 57 1658 0 0 0 0
3584.78/3597.03 c logicor : 65325+ 66502 11 19530 0 0 0 1 7480 35 33566 2 0 0 0
3584.78/3597.03 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3584.78/3597.03 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.78/3597.03 c integral : 11.43 0.00 0.00 0.00 11.43 0.00 0.00 0.00 0.00 0.00
3584.78/3597.03 c knapsack : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3584.78/3597.03 c setppc : 235.97 0.03 0.28 235.43 0.00 0.00 0.00 0.15 0.01 0.06
3584.78/3597.03 c and : 6.80 0.00 0.49 6.26 0.00 0.00 0.00 0.00 0.02 0.03
3584.78/3597.03 c linear : 0.26 0.18 0.00 0.08 0.00 0.00 0.00 0.00 0.00 0.00
3584.78/3597.03 c logicor : 14.42 0.06 0.20 14.13 0.00 0.00 0.00 0.00 0.00 0.03
3584.78/3597.03 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.78/3597.03 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.78/3597.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.78/3597.03 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.78/3597.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
3584.78/3597.03 c dualfix : 1 0 0 0
3584.78/3597.03 c genvbounds : 0 0 0 0
3584.78/3597.03 c nlobbt : 0 0 0 0
3584.78/3597.03 c obbt : 0 0 0 0
3584.78/3597.03 c probing : 0 0 0 0
3584.78/3597.03 c pseudoobj : 0 0 0 0
3584.78/3597.03 c redcost : 0 0 0 0
3584.78/3597.03 c rootredcost : 0 0 0 0
3584.78/3597.03 c symmetry : 2120 0 91 1294
3584.78/3597.03 c vbounds : 5902 0 0 0
3584.78/3597.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3584.78/3597.03 c dualfix : 0.05 0.00 0.05 0.00 0.00 0.00
3584.78/3597.03 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3584.78/3597.03 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.78/3597.03 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.78/3597.03 c probing : 986.52 0.00 986.52 0.00 0.00 0.00
3584.78/3597.03 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3584.78/3597.03 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3584.78/3597.03 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3584.78/3597.03 c symmetry : 2.00 0.00 1.94 0.06 0.00 0.00
3584.78/3597.03 c vbounds : 0.50 0.00 0.38 0.12 0.00 0.00
3584.78/3597.03 c Symmetry :
3584.78/3597.03 c orbitopal red. : 1294 reductions applied, 91 cutoffs
3584.78/3597.03 c orbital reduction: 0 reductions applied, 0 cutoffs
3584.78/3597.03 c lexicographic red: 0 reductions applied, 0 cutoffs
3584.78/3597.03 c shadow tree time : 0.00 s
3584.78/3597.03 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3584.78/3597.03 c propagation : 0.02 97 87 - 605 76.9 9 33.4 - - -
3584.78/3597.03 c infeasible LP : 1.45 206 206 - 1799 114.8 0 0.0 206 226.3 0
3584.78/3597.03 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3584.78/3597.03 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3584.78/3597.03 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3584.78/3597.03 c applied globally : 1.08 - - 0 1947 85.3 - - 206 - -
3584.78/3597.03 c applied locally : - - - 0 0 0.0 - - 0 - -
3584.78/3597.03 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3584.78/3597.03 c cut pool : 0.11 - 135 21 - - 5885 15154 - - - - - (maximal pool size: 5885)
3584.78/3597.03 c aggregation : 1.17 0.00 46 11 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c > cmir : - - - - - - - 0 0 0 0 0 -
3584.78/3597.03 c > flowcover : - - - - - - - 0 0 0 0 0 -
3584.78/3597.03 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3584.78/3597.03 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c clique : 2.92 0.00 11 11 0 0 96 944 0 98 98 0 0
3584.78/3597.03 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c gomory : 41.51 0.00 45 10 0 0 3771 8939 0 1717 1717 0 0
3584.78/3597.03 c > gomorymi : - - - - - - - 2175 0 55 55 0 -
3584.78/3597.03 c > strongcg : - - - - - - - 6764 0 1662 1662 0 -
3584.78/3597.03 c impliedbounds : 1.43 0.00 46 11 0 0 1705 2948 0 1395 1395 0 0
3584.78/3597.03 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c mcf : 0.26 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c multilinear : 0.00 0.00 77 11 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c rlt : 649.12 0.00 45 10 0 0 0 0 0 0 0 0 0
3584.78/3597.03 c zerohalf : 15.12 0.00 46 11 0 0 313 2323 0 1265 1265 0 0
3584.78/3597.03 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3584.78/3597.03 c hybrid : 0.04 0.00 767 11 16905 0 25857 955 0 4195
3584.78/3597.03 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.03 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.03 c Pricers : ExecTime SetupTime Calls Vars
3584.78/3597.03 c problem variables: 0.00 - 0 0
3584.78/3597.03 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3584.78/3597.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.03 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.03 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.03 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.03 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.03 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.03 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.03 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.03 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.03 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.03 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.03 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.03 c relpscost : 11.43 0.00 399 0 0 0 0 0 0 798
3584.78/3597.03 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.03 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3584.78/3597.03 c LP solutions : 0.00 - - 0 0
3584.78/3597.03 c relax solutions : 0.00 - - 0 0
3584.78/3597.03 c pseudo solutions : 0.00 - - 0 0
3584.78/3597.03 c strong branching : 0.00 - - 0 0
3584.78/3597.03 c actconsdiving : 0.00 0.00 0 0 0
3584.78/3597.03 c adaptivediving : 31.58 0.00 4 0 0
3584.78/3597.03 c alns : 7.92 0.00 4 0 0
3584.78/3597.03 c bound : 0.00 0.00 0 0 0
3584.78/3597.03 c clique : 0.92 0.00 1 0 0
3584.78/3597.03 c coefdiving : 0.00 0.00 0 0 0
3584.78/3597.03 c completesol : 0.00 0.00 0 0 0
3584.78/3597.03 c conflictdiving : 28.31 0.00 3 0 0
3584.78/3597.03 c crossover : 0.00 0.00 0 0 0
3584.78/3597.03 c dins : 0.00 0.00 0 0 0
3584.78/3597.03 c distributiondivin: 21.13 0.00 2 0 0
3584.78/3597.03 c dps : 0.00 0.00 0 0 0
3584.78/3597.03 c dualval : 0.00 0.00 0 0 0
3584.78/3597.03 c farkasdiving : 0.00 0.00 0 0 0
3584.78/3597.03 c feasjump : 0.37 0.00 1 0 0
3584.78/3597.03 c feaspump : 18.06 0.00 1 0 0
3584.78/3597.03 c fixandinfer : 0.00 0.00 0 0 0
3584.78/3597.03 c fracdiving : 16.63 0.00 2 0 0
3584.78/3597.03 c gins : 0.00 0.00 0 0 0
3584.78/3597.03 c guideddiving : 0.00 0.00 0 0 0
3584.78/3597.03 c indcoefdiving : 0.00 0.00 0 0 0
3584.78/3597.03 c indicator : 0.00 0.00 0 0 0
3584.78/3597.03 c indicatordiving : 0.00 0.00 0 0 0
3584.78/3597.03 c indoneopt : 0.00 0.00 0 0 0
3584.78/3597.03 c indrounding : 0.00 0.00 0 0 0
3584.78/3597.03 c indtwoopt : 0.00 0.00 0 0 0
3584.78/3597.03 c intdiving : 0.00 0.00 0 0 0
3584.78/3597.03 c intshifting : 0.00 0.00 0 0 0
3584.78/3597.03 c linesearchdiving : 10.29 0.00 2 0 0
3584.78/3597.03 c localbranching : 0.00 0.00 0 0 0
3584.78/3597.03 c locks : 0.20 0.00 1 0 0
3584.78/3597.03 c lpface : 0.01 0.00 0 0 0
3584.78/3597.03 c mpec : 0.00 0.00 0 0 0
3584.78/3597.03 c multistart : 0.00 0.00 0 0 0
3584.78/3597.03 c mutation : 0.00 0.00 0 0 0
3584.78/3597.03 c nlpdiving : 0.00 0.00 0 0 0
3584.78/3597.03 c objpscostdiving : 349.26 0.00 1 0 0
3584.78/3597.03 c octane : 0.00 0.00 0 0 0
3584.78/3597.03 c ofins : 0.00 0.00 0 0 0
3584.78/3597.03 c oneopt : 0.00 0.00 0 0 0
3584.78/3597.03 c padm : 0.00 0.00 0 0 0
3584.78/3597.03 c proximity : 0.00 0.00 0 0 0
3584.78/3597.03 c pscostdiving : 30.45 0.00 3 0 0
3584.78/3597.03 c randrounding : 2.00 0.00 43 0 0
3584.78/3597.03 c rens : 1.90 0.00 1 0 0
3584.78/3597.03 c reoptsols : 0.00 0.00 0 0 0
3584.78/3597.03 c repair : 0.00 0.00 0 0 0
3584.78/3597.03 c rins : 0.00 0.00 0 0 0
3584.78/3597.03 c rootsoldiving : 37.56 0.00 1 0 0
3584.78/3597.03 c rounding : 4.51 0.00 431 0 0
3584.78/3597.03 c scheduler : 0.00 0.00 0 0 0
3584.78/3597.03 c shiftandpropagate: 0.30 0.00 1 0 0
3584.78/3597.03 c shifting : 3.81 0.00 104 0 0
3584.78/3597.03 c simplerounding : 0.00 0.00 0 0 0
3584.78/3597.03 c smallcard : 0.00 0.00 0 0 0
3584.78/3597.03 c subnlp : 0.00 0.00 0 0 0
3584.78/3597.03 c trivial : 0.05 0.00 2 0 0
3584.78/3597.03 c trivialnegation : 0.00 0.00 0 0 0
3584.78/3597.03 c trustregion : 0.00 0.00 0 0 0
3584.78/3597.03 c trysol : 0.00 0.00 0 0 0
3584.78/3597.03 c twoopt : 0.00 0.00 0 0 0
3584.78/3597.03 c undercover : 0.00 0.00 1 0 0
3584.78/3597.03 c vbounds : 0.73 0.00 1 0 0
3584.78/3597.03 c veclendiving : 34.79 0.00 2 0 0
3584.78/3597.03 c zeroobj : 0.00 0.00 0 0 0
3584.78/3597.03 c zirounding : 6.08 0.00 399 0 0
3584.78/3597.03 c other solutions : - - - 0 -
3584.78/3597.03 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3584.78/3597.03 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.78/3597.03 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.78/3597.03 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.78/3597.03 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.78/3597.03 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.78/3597.03 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.78/3597.03 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.78/3597.03 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.78/3597.03 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.78/3597.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3584.78/3597.03 c primal LP : 1.88 51 0 0.00 0.00 1.88 51
3584.78/3597.03 c dual LP : 957.50 1352 540573 399.83 564.57 0.00 0
3584.78/3597.03 c lex dual LP : 0.00 0 0 0.00 -
3584.78/3597.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3584.78/3597.03 c resolve instable : 0.00 0 0 0.00 -
3584.78/3597.03 c diving/probing LP: 573.27 243 224311 923.09 391.28
3584.78/3597.03 c strong branching : 5.28 19 4107 216.16 778.41 - - 0
3584.78/3597.03 c (at root node) : - 19 4107 216.16 -
3584.78/3597.03 c conflict analysis: 0.00 0 0 0.00 -
3584.78/3597.03 c B&B Tree :
3584.78/3597.03 c number of runs : 1
3584.78/3597.03 c nodes : 761 (399 internal, 362 leaves)
3584.78/3597.03 c feasible leaves : 0
3584.78/3597.03 c infeas. leaves : 361
3584.78/3597.03 c objective leaves : 0
3584.78/3597.03 c nodes (total) : 761 (399 internal, 362 leaves)
3584.78/3597.03 c nodes left : 17
3584.78/3597.03 c max depth : 29
3584.78/3597.03 c max depth (total): 29
3584.78/3597.03 c backtracks : 183 (24.0%)
3584.78/3597.03 c early backtracks : 0 (0.0%)
3584.78/3597.03 c nodes exc. ref. : 0 (0.0%)
3584.78/3597.03 c delayed cutoffs : 22
3584.78/3597.03 c repropagations : 150 (8050 domain reductions, 20 cutoffs)
3584.78/3597.03 c avg switch length: 3.14
3584.78/3597.03 c switching time : 6.76
3584.78/3597.03 c Root Node :
3584.78/3597.03 c First LP value : +0.00000000000000e+00
3584.78/3597.03 c First LP Iters : 4912 (2023.55 Iter/sec)
3584.78/3597.03 c First LP Time : 2.43
3584.78/3597.03 c Final Dual Bound : +0.00000000000000e+00
3584.78/3597.03 c Final Root Iters : 52398
3584.78/3597.03 c Root LP Estimate : +3.76113043688006e-03
3584.78/3597.03 c Solution :
3584.78/3597.03 c Solutions found : 0 (0 improvements)
3584.78/3597.03 c Primal Bound : -
3584.78/3597.03 c Dual Bound : +0.00000000000000e+00
3584.78/3597.03 c Gap : infinite
3584.78/3597.03 c Integrals : Total Avg%
3584.78/3597.03 c primal-dual : 359700.11 100.00
3584.78/3597.03 c primal-ref : - - (not evaluated)
3584.78/3597.03 c dual-ref : - - (not evaluated)
3585.97/3598.27 c Time complete: 3586.05.