0.00/0.04 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.04 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.04 c
0.00/0.04 c user parameter file <scip.set> not found - using default parameters
0.00/0.04 c reading problem <HOME/instance-4491762-1751144686.opb>
0.06/0.19 c original problem has 23621 variables (23621 bin, 0 int, 0 impl, 0 cont) and 67526 constraints
0.06/0.19 c problem read in 0.15
0.06/0.19 c No objective function, only one solution is needed.
0.25/0.31 c presolving:
0.36/0.41 c (round 1, fast) 44 del vars, 12 del conss, 0 add conss, 1 chg bounds, 1200 chg sides, 2400 chg coeffs, 0 upgd conss, 0 impls, 43852 clqs
0.36/0.41 c (round 2, fast) 81 del vars, 108 del conss, 0 add conss, 1 chg bounds, 1200 chg sides, 2400 chg coeffs, 0 upgd conss, 0 impls, 43870 clqs
0.36/0.50 c (0.5s) running MILP presolver
27.23/27.43 c (27.4s) MILP presolver (45 rounds): 3305 aggregations, 5428 fixings, 0 bound changes
27.23/27.46 c (round 3, medium) 8815 del vars, 67526 del conss, 43208 add conss, 1 chg bounds, 1200 chg sides, 2400 chg coeffs, 0 upgd conss, 0 impls, 27027 clqs
27.33/27.55 c (round 4, exhaustive) 8816 del vars, 67574 del conss, 43208 add conss, 1 chg bounds, 1200 chg sides, 2400 chg coeffs, 0 upgd conss, 0 impls, 27580 clqs
27.43/27.67 c (round 5, exhaustive) 8821 del vars, 67580 del conss, 43208 add conss, 1 chg bounds, 1200 chg sides, 2400 chg coeffs, 43154 upgd conss, 0 impls, 27570 clqs
27.63/27.86 c (round 6, exhaustive) 8821 del vars, 107142 del conss, 56390 add conss, 1 chg bounds, 1200 chg sides, 2400 chg coeffs, 43154 upgd conss, 0 impls, 27570 clqs
27.74/27.91 c (round 7, exhaustive) 8827 del vars, 107163 del conss, 56411 add conss, 1 chg bounds, 1200 chg sides, 2400 chg coeffs, 43154 upgd conss, 0 impls, 27558 clqs
27.74/27.94 c (round 8, exhaustive) 9587 del vars, 107941 del conss, 56417 add conss, 1 chg bounds, 1200 chg sides, 2400 chg coeffs, 43154 upgd conss, 0 impls, 26042 clqs
27.74/27.95 c (round 9, fast) 9587 del vars, 107960 del conss, 56417 add conss, 1 chg bounds, 1200 chg sides, 2400 chg coeffs, 43154 upgd conss, 0 impls, 26043 clqs
27.74/27.96 c (round 10, exhaustive) 9587 del vars, 107972 del conss, 56421 add conss, 1 chg bounds, 1200 chg sides, 2400 chg coeffs, 43154 upgd conss, 0 impls, 26043 clqs
27.74/27.99 c (round 11, exhaustive) 9928 del vars, 108313 del conss, 56421 add conss, 1 chg bounds, 1200 chg sides, 2400 chg coeffs, 43154 upgd conss, 0 impls, 25345 clqs
27.74/28.00 c (round 12, fast) 9961 del vars, 108332 del conss, 56421 add conss, 1 chg bounds, 1200 chg sides, 2406 chg coeffs, 43154 upgd conss, 0 impls, 25265 clqs
27.84/28.00 c (round 13, fast) 9961 del vars, 108349 del conss, 56421 add conss, 1 chg bounds, 1200 chg sides, 2406 chg coeffs, 43154 upgd conss, 0 impls, 25265 clqs
28.13/28.38 c (round 14, exhaustive) 9993 del vars, 108349 del conss, 56421 add conss, 1 chg bounds, 1200 chg sides, 2406 chg coeffs, 43154 upgd conss, 0 impls, 73801 clqs
28.13/28.38 c (round 15, fast) 9996 del vars, 108371 del conss, 56421 add conss, 1 chg bounds, 1200 chg sides, 2409 chg coeffs, 43161 upgd conss, 0 impls, 73781 clqs
28.23/28.43 c (round 16, exhaustive) 10067 del vars, 108422 del conss, 56469 add conss, 1 chg bounds, 1200 chg sides, 2409 chg coeffs, 43161 upgd conss, 0 impls, 73209 clqs
28.23/28.47 c (round 17, exhaustive) 10228 del vars, 108664 del conss, 56540 add conss, 1 chg bounds, 1200 chg sides, 2409 chg coeffs, 43161 upgd conss, 0 impls, 71693 clqs
28.23/28.48 c (round 18, fast) 10244 del vars, 108668 del conss, 56540 add conss, 1 chg bounds, 1200 chg sides, 2409 chg coeffs, 43161 upgd conss, 0 impls, 71570 clqs
28.53/28.74 c (round 19, exhaustive) 10276 del vars, 108673 del conss, 56540 add conss, 1 chg bounds, 1200 chg sides, 2409 chg coeffs, 43161 upgd conss, 0 impls, 91780 clqs
28.53/28.75 c (round 20, fast) 10281 del vars, 108698 del conss, 56540 add conss, 1 chg bounds, 1200 chg sides, 2414 chg coeffs, 43170 upgd conss, 0 impls, 91775 clqs
28.63/28.80 c (round 21, exhaustive) 10296 del vars, 108714 del conss, 56553 add conss, 1 chg bounds, 1200 chg sides, 2414 chg coeffs, 43170 upgd conss, 0 impls, 91598 clqs
28.63/28.83 c (round 22, exhaustive) 10378 del vars, 108813 del conss, 56568 add conss, 1 chg bounds, 1200 chg sides, 2414 chg coeffs, 43170 upgd conss, 0 impls, 90444 clqs
28.63/28.84 c (round 23, fast) 10395 del vars, 108816 del conss, 56568 add conss, 1 chg bounds, 1200 chg sides, 2415 chg coeffs, 43170 upgd conss, 0 impls, 90230 clqs
30.33/30.60 c (round 24, exhaustive) 10430 del vars, 108826 del conss, 56568 add conss, 1 chg bounds, 1200 chg sides, 2415 chg coeffs, 43170 upgd conss, 0 impls, 175363 clqs
30.43/30.60 c (round 25, fast) 10449 del vars, 108864 del conss, 56568 add conss, 1 chg bounds, 1200 chg sides, 2435 chg coeffs, 43177 upgd conss, 0 impls, 175197 clqs
30.43/30.68 c (round 26, exhaustive) 10455 del vars, 108886 del conss, 56589 add conss, 1 chg bounds, 1200 chg sides, 2435 chg coeffs, 43177 upgd conss, 0 impls, 175089 clqs
30.53/30.71 c (round 27, exhaustive) 10499 del vars, 108943 del conss, 56595 add conss, 1 chg bounds, 1200 chg sides, 2435 chg coeffs, 43177 upgd conss, 0 impls, 173675 clqs
30.53/30.75 c (round 28, exhaustive) 10519 del vars, 108965 del conss, 56595 add conss, 1 chg bounds, 1200 chg sides, 2435 chg coeffs, 43177 upgd conss, 0 impls, 173000 clqs
30.53/30.79 c (round 29, exhaustive) 10539 del vars, 108996 del conss, 56595 add conss, 1 chg bounds, 1200 chg sides, 2435 chg coeffs, 43177 upgd conss, 0 impls, 172339 clqs
30.63/30.82 c (round 30, exhaustive) 10559 del vars, 109016 del conss, 56595 add conss, 1 chg bounds, 1200 chg sides, 2435 chg coeffs, 43177 upgd conss, 0 impls, 171693 clqs
30.63/30.86 c (round 31, exhaustive) 10578 del vars, 109036 del conss, 56595 add conss, 1 chg bounds, 1200 chg sides, 2435 chg coeffs, 43177 upgd conss, 0 impls, 171146 clqs
32.02/32.25 c (round 32, exhaustive) 10610 del vars, 109043 del conss, 56595 add conss, 1 chg bounds, 1200 chg sides, 2435 chg coeffs, 43177 upgd conss, 0 impls, 176262 clqs
32.02/32.26 c (round 33, fast) 10617 del vars, 109065 del conss, 56595 add conss, 1 chg bounds, 1200 chg sides, 2442 chg coeffs, 43180 upgd conss, 0 impls, 176189 clqs
35.71/35.98 c (35.9s) probing: 1000/13690 (7.3%) - 49 fixings, 69 aggregations, 993722 implications, 0 bound changes
42.48/42.75 c (42.7s) probing: 2000/13690 (14.6%) - 50 fixings, 72 aggregations, 1900415 implications, 0 bound changes
46.27/46.52 c (round 34, exhaustive) 10651 del vars, 109068 del conss, 56597 add conss, 1 chg bounds, 1200 chg sides, 2442 chg coeffs, 43180 upgd conss, 0 impls, 181097 clqs
46.27/46.53 c (round 35, fast) 10660 del vars, 109081 del conss, 56597 add conss, 1 chg bounds, 1200 chg sides, 2447 chg coeffs, 43186 upgd conss, 0 impls, 181069 clqs
46.27/46.56 c (round 36, exhaustive) 10664 del vars, 109100 del conss, 56610 add conss, 1 chg bounds, 1200 chg sides, 2447 chg coeffs, 43186 upgd conss, 0 impls, 180989 clqs
47.57/47.81 c (round 37, exhaustive) 10691 del vars, 109102 del conss, 56610 add conss, 1 chg bounds, 1200 chg sides, 2447 chg coeffs, 43186 upgd conss, 0 impls, 181396 clqs
47.57/47.81 c (round 38, fast) 10691 del vars, 109113 del conss, 56610 add conss, 1 chg bounds, 1200 chg sides, 2447 chg coeffs, 43189 upgd conss, 0 impls, 181396 clqs
50.16/50.46 c (50.4s) probing: 3000/13690 (21.9%) - 88 fixings, 85 aggregations, 3034908 implications, 0 bound changes
51.15/51.43 c (round 39, exhaustive) 10716 del vars, 109115 del conss, 56612 add conss, 1 chg bounds, 1200 chg sides, 2447 chg coeffs, 43189 upgd conss, 0 impls, 181330 clqs
51.15/51.43 c (round 40, fast) 10717 del vars, 109128 del conss, 56612 add conss, 1 chg bounds, 1200 chg sides, 2448 chg coeffs, 43191 upgd conss, 0 impls, 181317 clqs
51.15/51.47 c (round 41, exhaustive) 10718 del vars, 109140 del conss, 56623 add conss, 1 chg bounds, 1200 chg sides, 2448 chg coeffs, 43191 upgd conss, 0 impls, 181280 clqs
52.95/53.27 c (round 42, exhaustive) 10743 del vars, 109140 del conss, 56623 add conss, 1 chg bounds, 1200 chg sides, 2448 chg coeffs, 43191 upgd conss, 0 impls, 181416 clqs
53.05/53.31 c (round 43, exhaustive) 10743 del vars, 109161 del conss, 56641 add conss, 1 chg bounds, 1200 chg sides, 2448 chg coeffs, 43194 upgd conss, 0 impls, 181419 clqs
54.94/55.21 c (round 44, exhaustive) 10769 del vars, 109162 del conss, 56641 add conss, 1 chg bounds, 1200 chg sides, 2448 chg coeffs, 43194 upgd conss, 0 impls, 181370 clqs
54.94/55.25 c (round 45, exhaustive) 10771 del vars, 109182 del conss, 56656 add conss, 1 chg bounds, 1200 chg sides, 2449 chg coeffs, 43198 upgd conss, 0 impls, 181354 clqs
57.33/57.69 c (57.6s) probing: 4000/13690 (29.2%) - 107 fixings, 132 aggregations, 4145476 implications, 0 bound changes
58.43/58.79 c (round 46, exhaustive) 10796 del vars, 109183 del conss, 56656 add conss, 1 chg bounds, 1200 chg sides, 2449 chg coeffs, 43198 upgd conss, 0 impls, 181358 clqs
58.43/58.79 c (round 47, fast) 10797 del vars, 109189 del conss, 56656 add conss, 1 chg bounds, 1200 chg sides, 2450 chg coeffs, 43204 upgd conss, 0 impls, 181345 clqs
58.53/58.83 c (round 48, exhaustive) 10797 del vars, 109203 del conss, 56670 add conss, 1 chg bounds, 1200 chg sides, 2450 chg coeffs, 43204 upgd conss, 0 impls, 181350 clqs
61.42/61.73 c (round 49, exhaustive) 10822 del vars, 109204 del conss, 56670 add conss, 1 chg bounds, 1200 chg sides, 2450 chg coeffs, 43204 upgd conss, 0 impls, 181381 clqs
61.42/61.76 c (round 50, exhaustive) 10822 del vars, 109227 del conss, 56692 add conss, 1 chg bounds, 1200 chg sides, 2450 chg coeffs, 43205 upgd conss, 0 impls, 181381 clqs
65.40/65.77 c (65.7s) probing: 5000/13690 (36.5%) - 131 fixings, 169 aggregations, 5373243 implications, 0 bound changes
65.70/66.07 c (round 51, exhaustive) 10848 del vars, 109227 del conss, 56692 add conss, 1 chg bounds, 1200 chg sides, 2450 chg coeffs, 43205 upgd conss, 0 impls, 181327 clqs
65.81/66.15 c (round 52, exhaustive) 10852 del vars, 109245 del conss, 56705 add conss, 1 chg bounds, 1200 chg sides, 2453 chg coeffs, 43210 upgd conss, 0 impls, 181263 clqs
67.80/68.15 c (round 53, exhaustive) 10877 del vars, 109246 del conss, 56705 add conss, 1 chg bounds, 1200 chg sides, 2453 chg coeffs, 43210 upgd conss, 0 impls, 181335 clqs
67.80/68.16 c (round 54, fast) 10879 del vars, 109252 del conss, 56705 add conss, 1 chg bounds, 1200 chg sides, 2455 chg coeffs, 43216 upgd conss, 0 impls, 181285 clqs
67.80/68.19 c (round 55, exhaustive) 10879 del vars, 109266 del conss, 56719 add conss, 1 chg bounds, 1200 chg sides, 2455 chg coeffs, 43216 upgd conss, 0 impls, 181291 clqs
70.19/70.53 c (round 56, exhaustive) 10904 del vars, 109268 del conss, 56719 add conss, 1 chg bounds, 1200 chg sides, 2455 chg coeffs, 43216 upgd conss, 0 impls, 181391 clqs
70.19/70.54 c (round 57, fast) 10905 del vars, 109276 del conss, 56719 add conss, 1 chg bounds, 1200 chg sides, 2456 chg coeffs, 43220 upgd conss, 0 impls, 181378 clqs
70.19/70.58 c (round 58, exhaustive) 10905 del vars, 109290 del conss, 56733 add conss, 1 chg bounds, 1200 chg sides, 2456 chg coeffs, 43220 upgd conss, 0 impls, 181381 clqs
71.98/72.31 c (72.3s) probing: 5958/13690 (43.5%) - 157 fixings, 217 aggregations, 6207486 implications, 0 bound changes
71.98/72.31 c (72.3s) probing aborted: 50/50 successive totally useless probings
71.98/72.32 c (round 59, exhaustive) 10928 del vars, 109291 del conss, 56734 add conss, 1 chg bounds, 1200 chg sides, 2456 chg coeffs, 43220 upgd conss, 0 impls, 181436 clqs
71.98/72.36 c (round 60, exhaustive) 10928 del vars, 109314 del conss, 56755 add conss, 1 chg bounds, 1200 chg sides, 2456 chg coeffs, 43221 upgd conss, 0 impls, 181437 clqs
72.18/72.55 c (72.5s) probing: 6000/13690 (43.8%) - 157 fixings, 217 aggregations, 6215976 implications, 0 bound changes
78.36/78.78 c (78.7s) probing: 7000/13690 (51.1%) - 165 fixings, 217 aggregations, 7207861 implications, 0 bound changes
83.24/83.64 c (round 61, exhaustive) 10954 del vars, 109317 del conss, 56755 add conss, 1 chg bounds, 1200 chg sides, 2456 chg coeffs, 43221 upgd conss, 0 impls, 181318 clqs
83.24/83.65 c (round 62, fast) 10968 del vars, 109338 del conss, 56755 add conss, 1 chg bounds, 1200 chg sides, 2472 chg coeffs, 43241 upgd conss, 0 impls, 181084 clqs
84.14/84.59 c (84.6s) probing: 8000/13690 (58.4%) - 180 fixings, 222 aggregations, 8300734 implications, 0 bound changes
89.43/89.82 c (89.8s) probing: 9000/13690 (65.7%) - 190 fixings, 223 aggregations, 9381164 implications, 0 bound changes
92.62/93.06 c (round 63, exhaustive) 10994 del vars, 109342 del conss, 56759 add conss, 1 chg bounds, 1200 chg sides, 2472 chg coeffs, 43241 upgd conss, 0 impls, 181323 clqs
92.62/93.07 c (round 64, fast) 11009 del vars, 109363 del conss, 56759 add conss, 1 chg bounds, 1200 chg sides, 2490 chg coeffs, 43261 upgd conss, 0 impls, 181165 clqs
95.51/95.92 c (95.9s) probing: 10000/13690 (73.0%) - 204 fixings, 228 aggregations, 10433947 implications, 0 bound changes
100.49/100.98 c (100.9s) probing: 11000/13690 (80.4%) - 212 fixings, 229 aggregations, 11487828 implications, 0 bound changes
105.28/105.73 c (105.7s) probing: 12000/13690 (87.7%) - 217 fixings, 229 aggregations, 12513663 implications, 0 bound changes
106.27/106.70 c (round 65, exhaustive) 11035 del vars, 109366 del conss, 56762 add conss, 1 chg bounds, 1200 chg sides, 2490 chg coeffs, 43261 upgd conss, 0 impls, 181274 clqs
106.27/106.70 c (round 66, fast) 11050 del vars, 109393 del conss, 56762 add conss, 1 chg bounds, 1200 chg sides, 2506 chg coeffs, 43280 upgd conss, 0 impls, 180828 clqs
106.27/106.74 c (round 67, exhaustive) 11052 del vars, 109404 del conss, 56767 add conss, 1 chg bounds, 1200 chg sides, 2506 chg coeffs, 43280 upgd conss, 0 impls, 180819 clqs
109.67/110.12 c (110.1s) probing: 12722/13690 (92.9%) - 223 fixings, 232 aggregations, 13471431 implications, 0 bound changes
109.67/110.12 c (110.1s) probing aborted: 50/50 successive totally useless probings
109.67/110.12 c (110.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
109.76/110.20 c (110.2s) symmetry computation finished: 31 generators found (max: 1500, log10 of symmetry group size: 20.0) (symcode time: 0.03)
109.76/110.20 c dynamic symmetry handling statistics:
109.76/110.20 c orbitopal reduction: 3 components: 14x10, 21x10, 27x10
109.76/110.20 c orbital reduction: no components
109.76/110.20 c lexicographic reduction: no permutations
109.76/110.20 c handled 6 out of 6 symmetry components
109.76/110.22 c presolving (68 rounds: 68 fast, 48 medium, 47 exhaustive):
109.76/110.22 c 11059 deleted vars, 109408 deleted constraints, 56773 added constraints, 1 tightened bounds, 0 added holes, 1200 changed sides, 2506 changed coefficients
109.76/110.22 c 0 implications, 181834 cliques
109.76/110.22 c presolved problem has 12607 variables (12607 bin, 0 int, 0 impl, 0 cont) and 14730 constraints
109.76/110.22 c 2388 constraints of type <knapsack>
109.76/110.22 c 1418 constraints of type <setppc>
109.76/110.22 c 10918 constraints of type <and>
109.76/110.22 c 3 constraints of type <linear>
109.76/110.22 c 3 constraints of type <logicor>
109.76/110.22 c transformed objective value is always integral (scale: 1)
109.76/110.22 c Presolving Time: 109.91
109.76/110.22 c - non default parameters ----------------------------------------------------------------------
109.76/110.22 c # SCIP version 10.0.0
109.76/110.22 c
109.76/110.22 c # maximal time in seconds to run
109.76/110.22 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
109.76/110.22 c limits/time = 3596.998119
109.76/110.22 c
109.76/110.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
109.76/110.22 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
109.76/110.22 c limits/memory = 27900
109.76/110.22 c
109.76/110.22 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
109.76/110.22 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
109.76/110.22 c limits/solutions = 1
109.76/110.22 c
109.76/110.22 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.
109.76/110.22 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
109.76/110.22 c misc/usesymmetry = 3
109.76/110.22 c
109.76/110.22 c # belongs reading time to solving time?
109.76/110.22 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
109.76/110.22 c timing/reading = TRUE
109.76/110.22 c
109.76/110.22 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
109.76/110.22 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
109.76/110.22 c propagating/symmetry/detectdoublelex = FALSE
109.76/110.22 c
109.76/110.22 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
109.76/110.22 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
109.76/110.22 c propagating/symmetry/detectsubgroups = FALSE
109.76/110.22 c
109.76/110.22 c # Type of symmetries that shall be computed?
109.76/110.22 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
109.76/110.22 c propagating/symmetry/symtype = 1
109.76/110.22 c
109.76/110.22 c # Should components consisting of a single full reflection be handled?
109.76/110.22 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
109.76/110.22 c propagating/symmetry/usesimplesgncomp = FALSE
109.76/110.22 c
109.76/110.22 c -----------------------------------------------------------------------------------------------
109.76/110.22 c start solving
109.76/110.22 c
110.76/111.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
110.76/111.23 c 111s| 1 | 0 | 4159 | - | 266M | 0 | 12k| 14k| 25k| 0 | 0 | 81 | 0 | 0.000000e+00 | -- | Inf | unknown
115.14/115.63 c 116s| 1 | 0 | 15121 | - | 281M | 0 | 12k| 14k| 26k| 578 | 1 | 82 | 0 | 0.000000e+00 | -- | Inf | unknown
117.73/118.28 c 118s| 1 | 0 | 18715 | - | 292M | 0 | 12k| 14k| 26k|1168 | 2 | 85 | 0 | 0.000000e+00 | -- | Inf | unknown
121.42/121.94 c 122s| 1 | 0 | 22550 | - | 302M | 0 | 12k| 14k| 27k|1764 | 3 | 86 | 0 | 0.000000e+00 | -- | Inf | unknown
124.82/125.39 c 125s| 1 | 0 | 25603 | - | 314M | 0 | 12k| 14k| 28k|2382 | 4 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown
128.52/129.06 c 129s| 1 | 0 | 28954 | - | 324M | 0 | 12k| 14k| 28k|2883 | 5 | 88 | 0 | 0.000000e+00 | -- | Inf | unknown
132.40/132.95 c 133s| 1 | 0 | 32585 | - | 329M | 0 | 12k| 14k| 28k|3293 | 6 | 89 | 0 | 0.000000e+00 | -- | Inf | unknown
136.99/137.52 c 137s| 1 | 0 | 36515 | - | 340M | 0 | 12k| 14k| 29k|3670 | 7 | 90 | 0 | 0.000000e+00 | -- | Inf | unknown
141.48/142.09 c 142s| 1 | 0 | 39940 | - | 353M | 0 | 12k| 14k| 29k|4052 | 8 | 91 | 0 | 0.000000e+00 | -- | Inf | unknown
146.06/146.60 c 147s| 1 | 0 | 43625 | - | 362M | 0 | 12k| 14k| 30k|4408 | 9 | 92 | 0 | 0.000000e+00 | -- | Inf | unknown
150.75/151.39 c 151s| 1 | 0 | 47448 | - | 372M | 0 | 12k| 14k| 30k|4757 | 10 | 93 | 0 | 0.000000e+00 | -- | Inf | unknown
153.05/153.63 c 154s| 1 | 0 | 50560 | - | 375M | 0 | 12k| 14k| 30k|5065 | 11 | 94 | 0 | 0.000000e+00 | -- | Inf | unknown
172.09/172.71 c 173s| 1 | 2 | 63116 | - | 375M | 0 | 12k| 14k| 30k|5065 | 11 | 102 | 19 | 0.000000e+00 | -- | Inf | unknown
187.14/187.85 c 188s| 100 | 79 |115750 | 658.5 | 444M | 49 | 12k| 14k| 29k|7785 | 1 | 256 | 19 | 0.000000e+00 | -- | Inf | unknown
196.81/197.57 c 198s| 200 | 24 |157387 | 536.8 | 460M | 49 | 12k| 15k| 29k|9024 | 2 | 493 | 19 | 0.000000e+00 | -- | Inf | 1.57%
208.68/209.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
208.68/209.48 c 209s| 300 | 55 |200487 | 501.4 | 468M | 49 | 12k| 15k| 29k| 11k| 2 | 727 | 19 | 0.000000e+00 | -- | Inf | 14.07%
215.65/216.46 c 216s| 400 | 44 |219355 | 423.0 | 492M | 49 | 12k| 15k| 0 | 13k| 0 |1066 | 19 | 0.000000e+00 | -- | Inf | 14.07%
233.90/234.77 c 235s| 500 | 67 |260288 | 420.3 | 514M | 49 | 12k| 15k| 29k| 16k| 2 |1228 | 19 | 0.000000e+00 | -- | Inf | 15.75%
240.29/241.14 c 241s| 600 | 107 |291531 | 402.3 | 520M | 49 | 12k| 16k| 29k| 17k| 1 |1625 | 19 | 0.000000e+00 | -- | Inf | 15.78%
245.76/246.61 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
245.76/246.61 c (run 1, node 693) performing user restart
245.76/246.61 c
245.76/246.64 c (restart) converted 1927 cuts from the global cut pool into linear constraints
245.76/246.64 c
245.76/246.68 c presolving:
245.86/246.70 c (round 1, fast) 3 del vars, 137 del conss, 0 add conss, 0 chg bounds, 79 chg sides, 115 chg coeffs, 0 upgd conss, 0 impls, 181822 clqs
245.86/246.77 c (round 2, exhaustive) 35 del vars, 171 del conss, 2 add conss, 0 chg bounds, 79 chg sides, 115 chg coeffs, 0 upgd conss, 0 impls, 181054 clqs
245.86/246.78 c (round 3, fast) 35 del vars, 186 del conss, 2 add conss, 0 chg bounds, 79 chg sides, 115 chg coeffs, 0 upgd conss, 0 impls, 181054 clqs
245.96/246.83 c (round 4, exhaustive) 60 del vars, 213 del conss, 2 add conss, 0 chg bounds, 79 chg sides, 115 chg coeffs, 0 upgd conss, 0 impls, 179329 clqs
245.96/246.89 c (round 5, exhaustive) 64 del vars, 224 del conss, 2 add conss, 0 chg bounds, 79 chg sides, 115 chg coeffs, 1945 upgd conss, 0 impls, 179274 clqs
245.96/246.89 c (round 6, fast) 64 del vars, 259 del conss, 2 add conss, 0 chg bounds, 79 chg sides, 115 chg coeffs, 1945 upgd conss, 0 impls, 179274 clqs
246.06/246.90 c (round 7, medium) 64 del vars, 298 del conss, 67 add conss, 0 chg bounds, 106 chg sides, 169 chg coeffs, 1945 upgd conss, 0 impls, 179274 clqs
246.06/246.97 c (round 8, exhaustive) 65 del vars, 562 del conss, 68 add conss, 0 chg bounds, 106 chg sides, 349 chg coeffs, 1946 upgd conss, 0 impls, 179243 clqs
246.17/247.09 c presolving (9 rounds: 9 fast, 6 medium, 5 exhaustive):
246.17/247.09 c 66 deleted vars, 570 deleted constraints, 68 added constraints, 0 tightened bounds, 0 added holes, 106 changed sides, 359 changed coefficients
246.17/247.09 c 0 implications, 179214 cliques
246.17/247.09 c presolved problem has 12541 variables (12541 bin, 0 int, 0 impl, 0 cont) and 17928 constraints
246.17/247.09 c 2552 constraints of type <knapsack>
246.17/247.09 c 3152 constraints of type <setppc>
246.17/247.09 c 10844 constraints of type <and>
246.17/247.09 c 2 constraints of type <linear>
246.17/247.09 c 1378 constraints of type <logicor>
246.17/247.09 c transformed objective value is always integral (scale: 1)
246.17/247.09 c Presolving Time: 110.33
246.17/247.10 c
246.97/247.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
246.97/247.85 c 248s| 1 | 0 |312440 | - | 515M | 0 | 12k| 17k| 27k| 0 | 0 |1782 | 19 | 0.000000e+00 | -- | Inf | unknown
249.56/250.44 c 250s| 1 | 0 |315454 | - | 520M | 0 | 12k| 17k| 27k| 468 | 1 |1783 | 19 | 0.000000e+00 | -- | Inf | unknown
252.45/253.37 c 253s| 1 | 0 |318815 | - | 526M | 0 | 12k| 17k| 28k| 906 | 2 |1784 | 19 | 0.000000e+00 | -- | Inf | unknown
255.84/256.77 c 257s| 1 | 0 |322191 | - | 531M | 0 | 12k| 17k| 28k|1353 | 3 |1785 | 19 | 0.000000e+00 | -- | Inf | unknown
259.73/260.62 c 261s| 1 | 0 |325161 | - | 535M | 0 | 12k| 17k| 29k|1803 | 4 |1786 | 19 | 0.000000e+00 | -- | Inf | unknown
264.03/264.92 c 265s| 1 | 0 |328306 | - | 541M | 0 | 12k| 17k| 29k|2181 | 5 |1788 | 19 | 0.000000e+00 | -- | Inf | unknown
268.32/269.24 c 269s| 1 | 0 |331962 | - | 545M | 0 | 12k| 17k| 29k|2563 | 6 |1790 | 19 | 0.000000e+00 | -- | Inf | unknown
272.70/273.62 c 274s| 1 | 0 |334769 | - | 555M | 0 | 12k| 17k| 30k|2900 | 7 |1793 | 19 | 0.000000e+00 | -- | Inf | unknown
278.09/279.10 c 279s| 1 | 0 |338809 | - | 561M | 0 | 12k| 17k| 30k|3234 | 8 |1795 | 19 | 0.000000e+00 | -- | Inf | unknown
282.67/283.60 c 284s| 1 | 0 |341865 | - | 570M | 0 | 12k| 17k| 30k|3561 | 9 |1797 | 19 | 0.000000e+00 | -- | Inf | unknown
287.76/288.77 c 289s| 1 | 0 |344962 | - | 580M | 0 | 12k| 17k| 31k|3871 | 10 |1799 | 19 | 0.000000e+00 | -- | Inf | unknown
289.96/290.90 c 291s| 1 | 0 |347620 | - | 583M | 0 | 12k| 17k| 31k|4142 | 11 |1800 | 19 | 0.000000e+00 | -- | Inf | unknown
317.78/318.80 c 319s| 1 | 2 |359801 | - | 584M | 0 | 12k| 17k| 31k|4142 | 11 |1807 | 38 | 0.000000e+00 | -- | Inf | unknown
350.19/351.33 c 351s| 100 | 77 |442726 | 444.3 | 664M | 59 | 12k| 18k| 0 |8079 | 0 |2009 | 38 | 0.000000e+00 | -- | Inf | 3.15%
360.36/361.50 c 361s| 200 | 70 |467920 | 422.7 | 674M | 59 | 12k| 18k| 29k|9838 | 2 |2233 | 38 | 0.000000e+00 | -- | Inf | 3.34%
363.36/364.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
363.36/364.59 c 365s| 300 | 60 |471396 | 383.6 | 681M | 62 | 12k| 18k| 0 | 10k| 0 |2382 | 38 | 0.000000e+00 | -- | Inf | 3.39%
367.85/369.04 c 369s| 400 | 55 |475165 | 351.9 | 704M | 62 | 12k| 18k| 30k| 10k| 2 |2735 | 38 | 0.000000e+00 | -- | Inf | 3.39%
382.71/383.92 c 384s| 500 | 81 |513760 | 354.8 | 735M | 62 | 12k| 19k| 30k| 13k| 1 |3007 | 38 | 0.000000e+00 | -- | Inf | 3.53%
392.08/393.31 c 393s| 600 | 84 |548580 | 354.3 | 762M | 62 | 12k| 19k| 0 | 14k| 0 |3221 | 38 | 0.000000e+00 | -- | Inf | 3.54%
395.67/396.90 c 397s| 700 | 116 |553265 | 332.2 | 763M | 62 | 12k| 19k| 0 | 15k| 0 |3338 | 38 | 0.000000e+00 | -- | Inf | 3.54%
398.36/399.62 c 400s| 800 | 93 |564211 | 317.3 | 768M | 62 | 12k| 19k| 30k| 15k| 2 |3629 | 38 | 0.000000e+00 | -- | Inf | 3.54%
403.35/404.68 c 405s| 900 | 85 |578375 | 306.2 | 779M | 62 | 12k| 19k| 0 | 16k| 0 |3811 | 38 | 0.000000e+00 | -- | Inf | 3.54%
414.31/415.62 c 416s| 1000 | 130 |604970 | 303.8 | 795M | 62 | 12k| 19k| 29k| 19k| 2 |4128 | 38 | 0.000000e+00 | -- | Inf | 3.97%
420.10/421.45 c 421s| 1100 | 149 |614701 | 292.3 | 805M | 62 | 12k| 19k| 29k| 20k| 2 |4343 | 38 | 0.000000e+00 | -- | Inf | 3.98%
425.28/426.66 c 427s| 1200 | 105 |627116 | 283.4 | 816M | 62 | 12k| 19k| 29k| 22k| 2 |4548 | 38 | 0.000000e+00 | -- | Inf | 4.15%
432.56/433.93 c 434s| 1300 | 80 |640509 | 275.9 | 826M | 62 | 12k| 19k| 29k| 24k| 2 |4655 | 38 | 0.000000e+00 | -- | Inf | 4.82%
445.52/446.98 c 447s| 1400 | 71 |684121 | 283.6 | 829M | 62 | 12k| 19k| 30k| 27k| 2 |4865 | 38 | 0.000000e+00 | -- | Inf | 5.00%
468.07/469.52 c 469s| 1500 | 98 |795950 | 321.7 | 846M | 62 | 12k| 19k| 30k| 35k| 1 |5012 | 38 | 0.000000e+00 | -- | Inf | 5.08%
487.81/489.31 c 489s| 1600 | 51 |894900 | 350.8 | 855M | 62 | 12k| 19k| 29k| 42k| 2 |5179 | 38 | 0.000000e+00 | -- | Inf | 5.54%
506.16/507.75 c 508s| 1700 | 70 |965418 | 365.6 | 888M | 62 | 12k| 19k| 31k| 47k| 2 |5465 | 38 | 0.000000e+00 | -- | Inf | 5.56%
515.44/517.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
515.44/517.06 c 517s| 1800 | 69 | 1003k| 366.3 | 906M | 62 | 12k| 20k| 0 | 49k| 0 |5887 | 38 | 0.000000e+00 | -- | Inf | 5.59%
524.01/525.61 c 526s| 1900 | 66 | 1037k| 365.3 | 913M | 62 | 12k| 20k| 31k| 52k| 2 |6354 | 38 | 0.000000e+00 | -- | Inf | 5.65%
529.59/531.29 c 531s| 2000 | 59 | 1055k| 358.5 | 915M | 62 | 12k| 20k| 31k| 53k| 2 |6924 | 38 | 0.000000e+00 | -- | Inf | 5.65%
537.57/539.21 c 539s| 2100 | 63 | 1085k| 356.2 | 924M | 62 | 12k| 21k| 31k| 56k| 2 |7507 | 38 | 0.000000e+00 | -- | Inf | 5.65%
545.65/547.39 c 547s| 2200 | 60 | 1113k| 353.7 | 943M | 62 | 12k| 21k| 31k| 58k| 2 |8072 | 38 | 0.000000e+00 | -- | Inf | 5.65%
559.41/561.14 c 561s| 2300 | 87 | 1182k| 365.0 | 971M | 62 | 12k| 21k| 31k| 62k| 2 |8338 | 38 | 0.000000e+00 | -- | Inf | 5.76%
574.57/576.32 c 576s| 2400 | 62 | 1244k| 373.2 | 973M | 62 | 12k| 21k| 31k| 66k| 2 |8611 | 38 | 0.000000e+00 | -- | Inf | 5.76%
582.54/584.36 c 584s| 2500 | 99 | 1287k| 374.8 | 995M | 62 | 12k| 21k| 31k| 68k| 2 |8905 | 38 | 0.000000e+00 | -- | Inf | 5.76%
614.57/616.49 c 616s| 2600 | 75 | 1347k| 381.7 | 997M | 62 | 12k| 21k| 32k| 71k| 2 |9158 | 38 | 0.000000e+00 | -- | Inf | 5.76%
623.34/625.21 c 625s| 2700 | 94 | 1382k| 380.6 | 999M | 62 | 12k| 22k| 31k| 74k| 2 |9466 | 38 | 0.000000e+00 | -- | Inf | 5.76%
633.42/635.38 c 635s| 2800 | 120 | 1422k| 381.2 | 1005M | 62 | 12k| 22k| 0 | 76k| 0 |9771 | 38 | 0.000000e+00 | -- | Inf | 5.76%
641.69/643.69 c 644s| 2900 | 114 | 1454k| 379.7 | 1007M | 62 | 12k| 22k| 0 | 78k| 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 5.76%
653.85/655.88 c 656s| 3000 | 111 | 1511k| 384.9 | 1010M | 62 | 12k| 22k| 31k| 81k| 2 | 10k| 38 | 0.000000e+00 | -- | Inf | 5.76%
662.84/664.82 c 665s| 3100 | 84 | 1548k| 384.5 | 1012M | 62 | 12k| 22k| 0 | 84k| 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 5.76%
687.07/689.10 c 689s| 3200 | 64 | 1673k| 406.6 | 1015M | 62 | 12k| 21k| 31k| 91k| 2 | 10k| 38 | 0.000000e+00 | -- | Inf | 5.83%
696.05/698.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
696.05/698.14 c 698s| 3300 | 62 | 1706k| 404.8 | 1022M | 62 | 12k| 22k| 31k| 94k| 1 | 11k| 38 | 0.000000e+00 | -- | Inf | 6.74%
703.72/705.87 c 706s| 3400 | 64 | 1737k| 402.5 | 1024M | 62 | 12k| 22k| 0 | 97k| 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 6.74%
713.10/715.26 c 715s| 3500 | 73 | 1786k| 404.5 | 1034M | 62 | 12k| 22k| 31k| 101k| 2 | 11k| 38 | 0.000000e+00 | -- | Inf | 6.74%
720.68/722.85 c 723s| 3600 | 78 | 1815k| 401.8 | 1052M | 62 | 12k| 22k| 0 | 102k| 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 6.74%
727.86/730.04 c 730s| 3700 | 89 | 1843k| 399.2 | 1053M | 62 | 12k| 23k| 0 | 105k| 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 6.74%
737.93/740.13 c 740s| 3800 | 64 | 1885k| 399.5 | 1054M | 62 | 12k| 23k| 31k| 108k| 2 | 12k| 38 | 0.000000e+00 | -- | Inf | 6.74%
744.81/747.04 c 747s| 3900 | 75 | 1909k| 396.0 | 1055M | 62 | 12k| 23k| 0 | 110k| 0 | 13k| 38 | 0.000000e+00 | -- | Inf | 6.74%
751.00/753.22 c 753s| 4000 | 53 | 1935k| 393.2 | 1056M | 62 | 12k| 23k| 0 | 111k| 0 | 13k| 38 | 0.000000e+00 | -- | Inf | 6.74%
758.88/761.19 c 761s| 4100 | 56 | 1969k| 392.0 | 1057M | 62 | 12k| 23k| 31k| 114k| 2 | 13k| 38 | 0.000000e+00 | -- | Inf | 6.74%
765.86/768.16 c 768s| 4200 | 67 | 1994k| 389.1 | 1059M | 62 | 12k| 24k| 31k| 117k| 2 | 14k| 38 | 0.000000e+00 | -- | Inf | 6.74%
773.33/775.65 c 776s| 4300 | 66 | 2021k| 386.7 | 1061M | 62 | 12k| 24k| 0 | 119k| 0 | 14k| 38 | 0.000000e+00 | -- | Inf | 6.74%
783.01/785.32 c 785s| 4400 | 56 | 2061k| 386.9 | 1062M | 62 | 12k| 24k| 0 | 122k| 0 | 15k| 38 | 0.000000e+00 | -- | Inf | 6.74%
788.89/791.21 c 791s| 4500 | 45 | 2083k| 383.7 | 1063M | 62 | 12k| 24k| 31k| 124k| 2 | 15k| 38 | 0.000000e+00 | -- | Inf | 6.74%
803.55/805.96 c 806s| 4600 | 84 | 2147k| 388.7 | 1068M | 62 | 12k| 24k| 31k| 129k| 2 | 15k| 38 | 0.000000e+00 | -- | Inf | 6.74%
814.12/816.50 c 816s| 4700 | 98 | 2201k| 391.4 | 1072M | 62 | 12k| 24k| 31k| 132k| 2 | 16k| 38 | 0.000000e+00 | -- | Inf | 6.74%
821.40/823.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
821.40/823.82 c 824s| 4800 | 103 | 2232k| 389.9 | 1074M | 62 | 12k| 24k| 31k| 135k| 2 | 16k| 38 | 0.000000e+00 | -- | Inf | 6.74%
827.59/830.10 c 830s| 4900 | 73 | 2259k| 387.8 | 1076M | 62 | 12k| 25k| 31k| 137k| 2 | 17k| 38 | 0.000000e+00 | -- | Inf | 6.74%
841.05/843.59 c 844s| 5000 | 99 | 2314k| 390.7 | 1084M | 62 | 12k| 24k| 31k| 140k| 1 | 17k| 38 | 0.000000e+00 | -- | Inf | 6.74%
852.53/855.02 c 855s| 5100 | 113 | 2366k| 392.9 | 1084M | 62 | 12k| 25k| 31k| 144k| 2 | 17k| 38 | 0.000000e+00 | -- | Inf | 6.74%
858.11/860.63 c 861s| 5200 | 108 | 2385k| 389.5 | 1089M | 62 | 12k| 25k| 32k| 146k| 2 | 17k| 38 | 0.000000e+00 | -- | Inf | 6.74%
873.86/876.43 c 876s| 5300 | 116 | 2411k| 387.3 | 1091M | 62 | 12k| 25k| 31k| 148k| 2 | 18k| 38 | 0.000000e+00 | -- | Inf | 6.74%
880.74/883.35 c 883s| 5400 | 131 | 2436k| 385.1 | 1092M | 62 | 12k| 25k| 32k| 150k| 2 | 18k| 38 | 0.000000e+00 | -- | Inf | 6.74%
888.42/891.01 c 891s| 5500 | 127 | 2470k| 384.2 | 1093M | 62 | 12k| 25k| 31k| 152k| 2 | 18k| 38 | 0.000000e+00 | -- | Inf | 6.74%
898.60/901.26 c 901s| 5600 | 137 | 2515k| 385.4 | 1094M | 62 | 12k| 25k| 0 | 155k| 0 | 18k| 38 | 0.000000e+00 | -- | Inf | 6.74%
905.38/908.04 c 908s| 5700 | 131 | 2538k| 382.9 | 1098M | 62 | 12k| 25k| 0 | 156k| 0 | 19k| 38 | 0.000000e+00 | -- | Inf | 6.74%
911.46/914.18 c 914s| 5800 | 129 | 2558k| 380.1 | 1103M | 62 | 12k| 25k| 31k| 158k| 1 | 19k| 38 | 0.000000e+00 | -- | Inf | 6.74%
919.24/921.94 c 922s| 5900 | 137 | 2590k| 379.2 | 1108M | 62 | 12k| 25k| 30k| 160k| 2 | 19k| 38 | 0.000000e+00 | -- | Inf | 6.74%
932.90/935.62 c 936s| 6000 | 131 | 2653k| 383.0 | 1134M | 62 | 12k| 24k| 30k| 164k| 2 | 19k| 38 | 0.000000e+00 | -- | Inf | 6.74%
940.08/942.87 c 943s| 6100 | 126 | 2681k| 381.4 | 1138M | 62 | 12k| 23k| 31k| 167k| 2 | 20k| 38 | 0.000000e+00 | -- | Inf | 6.74%
946.86/949.63 c 950s| 6200 | 121 | 2706k| 379.5 | 1139M | 62 | 12k| 23k| 0 | 169k| 0 | 20k| 38 | 0.000000e+00 | -- | Inf | 6.74%
955.04/957.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
955.04/957.81 c 958s| 6300 | 135 | 2746k| 379.8 | 1141M | 62 | 12k| 24k| 31k| 173k| 2 | 20k| 38 | 0.000000e+00 | -- | Inf | 6.74%
964.01/966.84 c 967s| 6400 | 132 | 2787k| 380.3 | 1142M | 62 | 12k| 24k| 31k| 175k| 2 | 21k| 38 | 0.000000e+00 | -- | Inf | 6.74%
971.89/974.74 c 975s| 6500 | 133 | 2817k| 379.1 | 1145M | 62 | 12k| 24k| 31k| 178k| 2 | 21k| 38 | 0.000000e+00 | -- | Inf | 6.74%
980.06/982.98 c 983s| 6600 | 125 | 2846k| 377.9 | 1162M | 62 | 12k| 25k| 0 | 181k| 0 | 21k| 38 | 0.000000e+00 | -- | Inf | 6.74%
990.33/993.25 c 993s| 6700 | 132 | 2896k| 379.5 | 1166M | 62 | 12k| 25k| 0 | 185k| 0 | 22k| 38 | 0.000000e+00 | -- | Inf | 6.74%
1000.21/1003.18 c 1003s| 6800 | 121 | 2942k| 380.6 | 1168M | 62 | 12k| 25k| 0 | 189k| 0 | 22k| 38 | 0.000000e+00 | -- | Inf | 6.74%
1006.69/1009.68 c 1010s| 6900 | 121 | 2968k| 379.1 | 1171M | 62 | 12k| 25k| 0 | 191k| 0 | 22k| 38 | 0.000000e+00 | -- | Inf | 6.74%
1013.18/1016.17 c 1016s| 7000 | 115 | 2991k| 377.1 | 1172M | 62 | 12k| 25k| 31k| 193k| 1 | 22k| 38 | 0.000000e+00 | -- | Inf | 6.74%
1021.16/1024.11 c 1024s| 7100 | 110 | 3021k| 376.1 | 1177M | 62 | 12k| 25k| 31k| 196k| 2 | 23k| 38 | 0.000000e+00 | -- | Inf | 6.74%
1027.53/1030.59 c 1031s| 7200 | 120 | 3043k| 374.1 | 1184M | 62 | 12k| 25k| 0 | 197k| 0 | 23k| 38 | 0.000000e+00 | -- | Inf | 6.74%
1041.10/1044.15 c 1044s| 7300 | 123 | 3104k| 377.1 | 1186M | 62 | 12k| 25k| 31k| 202k| 2 | 23k| 38 | 0.000000e+00 | -- | Inf | 6.74%
1049.18/1052.28 c 1052s| 7400 | 120 | 3139k| 376.7 | 1187M | 62 | 12k| 25k| 32k| 204k| 2 | 23k| 38 | 0.000000e+00 | -- | Inf | 6.74%
1056.75/1059.86 c 1060s| 7500 | 122 | 3170k| 375.9 | 1195M | 62 | 12k| 25k| 32k| 207k| 2 | 24k| 38 | 0.000000e+00 | -- | Inf | 6.74%
1064.14/1067.22 c 1067s| 7600 | 108 | 3200k| 375.0 | 1195M | 62 | 12k| 25k| 31k| 209k| 2 | 24k| 38 | 0.000000e+00 | -- | Inf | 6.74%
1071.22/1074.35 c 1074s| 7700 | 131 | 3228k| 373.9 | 1196M | 62 | 12k| 25k| 32k| 211k| 2 | 24k| 38 | 0.000000e+00 | -- | Inf | 6.74%
1078.40/1081.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1078.40/1081.51 c 1081s| 7800 | 101 | 3256k| 372.8 | 1198M | 62 | 12k| 25k| 31k| 213k| 2 | 24k| 38 | 0.000000e+00 | -- | Inf | 6.74%
1101.94/1105.18 c 1105s| 7900 | 105 | 3361k| 380.7 | 1200M | 62 | 12k| 24k| 31k| 219k| 2 | 24k| 38 | 0.000000e+00 | -- | Inf | 6.76%
1112.60/1115.86 c 1116s| 8000 | 43 | 3408k| 381.7 | 1201M | 62 | 12k| 23k| 30k| 223k| 2 | 24k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1146.61/1149.90 c 1150s| 8100 | 143 | 3591k| 398.2 | 1205M | 62 | 12k| 23k| 31k| 231k| 2 | 25k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1153.30/1156.68 c 1157s| 8200 | 156 | 3619k| 396.9 | 1205M | 62 | 12k| 23k| 31k| 233k| 2 | 25k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1160.28/1163.66 c 1164s| 8300 | 170 | 3648k| 395.6 | 1206M | 62 | 12k| 23k| 31k| 235k| 2 | 26k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1168.35/1171.70 c 1172s| 8400 | 204 | 3688k| 395.7 | 1208M | 62 | 12k| 24k| 32k| 237k| 2 | 26k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1174.03/1177.44 c 1177s| 8500 | 204 | 3703k| 393.0 | 1219M | 62 | 12k| 24k| 32k| 238k| 2 | 26k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1180.22/1183.60 c 1184s| 8600 | 209 | 3725k| 391.1 | 1220M | 62 | 12k| 24k| 0 | 240k| 0 | 26k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1185.81/1189.25 c 1189s| 8700 | 214 | 3744k| 389.0 | 1220M | 62 | 12k| 24k| 0 | 241k| 0 | 27k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1192.09/1195.57 c 1196s| 8800 | 211 | 3767k| 387.3 | 1221M | 62 | 12k| 24k| 0 | 243k| 0 | 27k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1198.87/1202.30 c 1202s| 8900 | 222 | 3792k| 385.9 | 1221M | 62 | 12k| 24k| 32k| 245k| 2 | 27k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1203.75/1207.29 c 1207s| 9000 | 221 | 3811k| 383.8 | 1222M | 62 | 12k| 24k| 32k| 246k| 2 | 27k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1208.84/1212.37 c 1212s| 9100 | 209 | 3827k| 381.6 | 1223M | 62 | 12k| 25k| 32k| 248k| 2 | 27k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1217.31/1220.80 c 1221s| 9200 | 227 | 3863k| 381.4 | 1224M | 62 | 12k| 24k| 31k| 250k| 2 | 28k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1226.98/1230.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1226.98/1230.58 c 1231s| 9300 | 240 | 3907k| 382.0 | 1225M | 62 | 12k| 24k| 32k| 253k| 1 | 28k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1239.95/1243.58 c 1244s| 9400 | 272 | 3963k| 383.7 | 1238M | 62 | 12k| 25k| 31k| 257k| 2 | 28k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1248.53/1252.17 c 1252s| 9500 | 297 | 3999k| 383.5 | 1247M | 62 | 12k| 25k| 0 | 259k| 0 | 28k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1261.59/1265.29 c 1265s| 9600 | 305 | 4067k| 386.3 | 1248M | 62 | 12k| 25k| 0 | 264k| 0 | 29k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1279.94/1283.65 c 1284s| 9700 | 331 | 4144k| 390.0 | 1249M | 62 | 12k| 25k| 32k| 268k| 2 | 29k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1288.81/1292.54 c 1293s| 9800 | 363 | 4186k| 390.3 | 1253M | 62 | 12k| 25k| 32k| 271k| 2 | 29k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1295.70/1299.49 c 1299s| 9900 | 353 | 4217k| 389.6 | 1255M | 62 | 12k| 25k| 31k| 272k| 1 | 29k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1303.18/1306.91 c 1307s| 10000 | 361 | 4257k| 389.7 | 1257M | 62 | 12k| 25k| 32k| 274k| 2 | 30k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1312.85/1316.65 c 1317s| 10100 | 387 | 4301k| 390.1 | 1259M | 62 | 12k| 25k| 31k| 277k| 2 | 30k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1322.33/1326.14 c 1326s| 10200 | 395 | 4344k| 390.5 | 1260M | 62 | 12k| 25k| 32k| 280k| 1 | 30k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1334.29/1338.14 c 1338s| 10300 | 408 | 4400k| 392.0 | 1261M | 62 | 12k| 25k| 32k| 284k| 2 | 30k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1342.06/1345.94 c 1346s| 10400 | 417 | 4431k| 391.3 | 1262M | 62 | 12k| 26k| 32k| 286k| 2 | 31k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1347.75/1351.60 c 1352s| 10500 | 421 | 4450k| 389.5 | 1263M | 62 | 12k| 26k| 0 | 288k| 0 | 31k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1362.22/1366.13 c 1366s| 10600 | 425 | 4519k| 392.2 | 1264M | 62 | 12k| 26k| 32k| 292k| 2 | 31k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1373.28/1377.22 c 1377s| 10700 | 434 | 4568k| 393.0 | 1264M | 62 | 12k| 26k| 32k| 296k| 2 | 31k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1384.05/1388.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1384.05/1388.08 c 1388s| 10800 | 419 | 4617k| 393.9 | 1265M | 62 | 12k| 26k| 32k| 298k| 2 | 32k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1391.33/1395.34 c 1395s| 10900 | 424 | 4644k| 392.8 | 1267M | 62 | 12k| 26k| 32k| 300k| 2 | 32k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1397.52/1401.51 c 1401s| 11000 | 427 | 4665k| 391.3 | 1268M | 62 | 12k| 25k| 32k| 302k| 2 | 32k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1406.39/1410.46 c 1410s| 11100 | 420 | 4703k| 391.2 | 1269M | 62 | 12k| 26k| 31k| 305k| 2 | 32k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1412.97/1417.01 c 1417s| 11200 | 412 | 4726k| 389.8 | 1273M | 62 | 12k| 26k| 0 | 307k| 0 | 33k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1420.45/1424.51 c 1424s| 11300 | 371 | 4754k| 388.9 | 1275M | 62 | 12k| 26k| 32k| 309k| 2 | 33k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1428.92/1433.04 c 1433s| 11400 | 326 | 4789k| 388.6 | 1282M | 62 | 12k| 26k| 32k| 312k| 2 | 33k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1437.70/1441.81 c 1442s| 11500 | 289 | 4829k| 388.7 | 1283M | 62 | 12k| 26k| 0 | 315k| 0 | 33k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1454.46/1458.60 c 1459s| 11600 | 325 | 4899k| 391.2 | 1284M | 62 | 12k| 26k| 32k| 317k| 2 | 34k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1460.74/1464.95 c 1465s| 11700 | 348 | 4923k| 389.9 | 1286M | 62 | 12k| 26k| 0 | 318k| 0 | 34k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1470.01/1474.21 c 1474s| 11800 | 336 | 4962k| 390.0 | 1287M | 62 | 12k| 26k| 0 | 321k| 0 | 34k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1476.99/1481.22 c 1481s| 11900 | 330 | 4989k| 389.0 | 1288M | 62 | 12k| 26k| 31k| 323k| 2 | 34k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1488.76/1493.05 c 1493s| 12000 | 335 | 5043k| 390.2 | 1289M | 62 | 12k| 26k| 31k| 327k| 2 | 35k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1494.63/1498.99 c 1499s| 12100 | 341 | 5060k| 388.5 | 1290M | 62 | 12k| 26k| 32k| 328k| 2 | 35k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1501.92/1506.23 c 1506s| 12200 | 338 | 5090k| 387.8 | 1291M | 62 | 12k| 26k| 32k| 331k| 2 | 35k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1508.60/1512.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1508.60/1512.94 c 1513s| 12300 | 301 | 5112k| 386.5 | 1292M | 62 | 12k| 26k| 32k| 333k| 2 | 35k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1513.08/1517.43 c 1517s| 12400 | 290 | 5124k| 384.5 | 1293M | 62 | 12k| 26k| 32k| 334k| 2 | 36k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1520.67/1525.10 c 1525s| 12500 | 262 | 5152k| 383.7 | 1297M | 62 | 12k| 26k| 32k| 336k| 2 | 36k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1534.33/1538.76 c 1539s| 12600 | 304 | 5221k| 386.0 | 1298M | 62 | 12k| 26k| 31k| 341k| 2 | 36k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1543.60/1548.10 c 1548s| 12700 | 336 | 5261k| 386.1 | 1299M | 62 | 12k| 26k| 0 | 344k| 0 | 36k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1553.57/1558.01 c 1558s| 12800 | 352 | 5307k| 386.7 | 1300M | 62 | 12k| 26k| 31k| 347k| 2 | 37k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1563.44/1567.90 c 1568s| 12900 | 354 | 5359k| 387.6 | 1302M | 62 | 12k| 26k| 0 | 351k| 0 | 37k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1572.52/1577.00 c 1577s| 13000 | 375 | 5398k| 387.7 | 1303M | 62 | 12k| 26k| 31k| 354k| 2 | 37k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1579.00/1583.58 c 1584s| 13100 | 368 | 5422k| 386.6 | 1304M | 62 | 12k| 26k| 31k| 356k| 2 | 37k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1586.58/1591.19 c 1591s| 13200 | 321 | 5452k| 386.0 | 1305M | 62 | 12k| 26k| 31k| 359k| 2 | 38k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1594.55/1599.12 c 1599s| 13300 | 312 | 5487k| 385.7 | 1305M | 62 | 12k| 26k| 0 | 362k| 0 | 38k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1602.03/1606.64 c 1607s| 13400 | 302 | 5515k| 384.9 | 1306M | 62 | 12k| 26k| 31k| 364k| 2 | 39k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1609.42/1614.07 c 1614s| 13500 | 294 | 5541k| 384.1 | 1307M | 62 | 12k| 26k| 31k| 366k| 2 | 39k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1618.49/1623.16 c 1623s| 13600 | 276 | 5578k| 383.9 | 1309M | 62 | 12k| 26k| 0 | 370k| 0 | 39k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1627.96/1632.65 c 1633s| 13700 | 264 | 5619k| 384.2 | 1311M | 62 | 12k| 26k| 32k| 372k| 2 | 40k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1634.35/1639.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1634.35/1639.01 c 1639s| 13800 | 271 | 5650k| 383.6 | 1311M | 62 | 12k| 26k| 0 | 373k| 0 | 40k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1641.33/1646.03 c 1646s| 13900 | 223 | 5674k| 382.6 | 1312M | 62 | 12k| 26k| 31k| 375k| 2 | 40k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1652.09/1656.83 c 1657s| 14000 | 199 | 5721k| 383.2 | 1313M | 62 | 12k| 26k| 31k| 378k| 2 | 41k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1660.16/1664.90 c 1665s| 14100 | 155 | 5753k| 382.9 | 1313M | 62 | 12k| 26k| 0 | 381k| 0 | 41k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1669.34/1674.18 c 1674s| 14200 | 80 | 5793k| 382.9 | 1314M | 62 | 12k| 25k| 31k| 384k| 2 | 41k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1690.19/1695.08 c 1695s| 14300 | 83 | 5892k| 387.0 | 1316M | 62 | 12k| 25k| 30k| 390k| 1 | 41k| 38 | 0.000000e+00 | -- | Inf | 6.84%
1718.31/1723.29 c 1723s| 14400 | 117 | 6001k| 391.6 | 1318M | 62 | 12k| 24k| 31k| 396k| 2 | 42k| 38 | 0.000000e+00 | -- | Inf | 7.27%
1741.15/1746.13 c 1746s| 14500 | 71 | 6100k| 395.6 | 1323M | 62 | 12k| 24k| 0 | 403k| 0 | 42k| 38 | 0.000000e+00 | -- | Inf | 21.37%
1764.88/1769.94 c 1770s| 14600 | 67 | 6207k| 400.0 | 1328M | 62 | 12k| 24k| 29k| 409k| 2 | 42k| 38 | 0.000000e+00 | -- | Inf | 28.80%
1782.53/1787.60 c 1788s| 14700 | 101 | 6295k| 403.1 | 1330M | 62 | 12k| 24k| 30k| 417k| 2 | 42k| 38 | 0.000000e+00 | -- | Inf | 29.01%
1801.58/1806.74 c 1807s| 14800 | 124 | 6372k| 405.4 | 1331M | 62 | 12k| 24k| 30k| 423k| 2 | 43k| 38 | 0.000000e+00 | -- | Inf | 29.02%
1815.15/1820.38 c 1820s| 14900 | 83 | 6438k| 407.1 | 1333M | 62 | 12k| 24k| 30k| 429k| 2 | 43k| 38 | 0.000000e+00 | -- | Inf | 31.71%
1831.30/1836.55 c 1837s| 15000 | 105 | 6518k| 409.6 | 1336M | 62 | 12k| 24k| 0 | 436k| 0 | 43k| 38 | 0.000000e+00 | -- | Inf | 31.82%
1860.02/1865.36 c 1865s| 15100 | 71 | 6663k| 416.2 | 1338M | 62 | 12k| 24k| 32k| 447k| 2 | 43k| 38 | 0.000000e+00 | -- | Inf | 33.40%
1878.18/1883.54 c 1883s| 15200 | 97 | 6718k| 417.0 | 1340M | 62 | 12k| 24k| 32k| 449k| 1 | 43k| 38 | 0.000000e+00 | -- | Inf | 36.52%
1889.95/1895.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1889.95/1895.39 c 1895s| 15300 | 194 | 6790k| 418.9 | 1356M | 62 | 12k| 24k| 32k| 450k| 1 | 44k| 38 | 0.000000e+00 | -- | Inf | 36.52%
1894.94/1900.32 c 1900s| 15400 | 255 | 6830k| 418.8 | 1358M | 63 | 12k| 24k| 32k| 450k| 2 | 44k| 38 | 0.000000e+00 | -- | Inf | 36.52%
1897.43/1902.89 c 1903s| 15500 | 236 | 6835k| 416.5 | 1358M | 63 | 12k| 24k| 32k| 451k| 1 | 44k| 38 | 0.000000e+00 | -- | Inf | 36.52%
1902.62/1908.08 c 1908s| 15600 | 224 | 6879k| 416.7 | 1359M | 63 | 12k| 25k| 32k| 451k| 2 | 45k| 38 | 0.000000e+00 | -- | Inf | 36.52%
1906.50/1911.97 c 1912s| 15700 | 256 | 6890k| 414.8 | 1360M | 78 | 12k| 25k| 32k| 452k| 2 | 45k| 38 | 0.000000e+00 | -- | Inf | 36.52%
1910.99/1916.49 c 1916s| 15800 | 259 | 6905k| 413.2 | 1361M | 78 | 12k| 25k| 32k| 453k| 2 | 45k| 38 | 0.000000e+00 | -- | Inf | 36.52%
1919.96/1925.47 c 1925s| 15900 | 297 | 6969k| 414.6 | 1373M | 78 | 12k| 25k| 32k| 454k| 2 | 46k| 38 | 0.000000e+00 | -- | Inf | 36.52%
1926.15/1931.60 c 1932s| 16000 | 359 | 7007k| 414.4 | 1378M | 78 | 12k| 26k| 0 | 455k| 0 | 46k| 38 | 0.000000e+00 | -- | Inf | 36.52%
1931.33/1936.85 c 1937s| 16100 | 381 | 7027k| 413.1 | 1386M | 78 | 12k| 26k| 32k| 455k| 1 | 46k| 38 | 0.000000e+00 | -- | Inf | 36.52%
1936.22/1941.71 c 1942s| 16200 | 387 | 7051k| 412.1 | 1386M | 78 | 12k| 26k| 32k| 456k| 2 | 47k| 38 | 0.000000e+00 | -- | Inf | 36.52%
1941.01/1946.59 c 1947s| 16300 | 398 | 7065k| 410.5 | 1387M | 78 | 12k| 26k| 0 | 457k| 0 | 47k| 38 | 0.000000e+00 | -- | Inf | 36.52%
1947.19/1952.72 c 1953s| 16400 | 406 | 7091k| 409.6 | 1387M | 78 | 12k| 26k| 32k| 458k| 2 | 47k| 38 | 0.000000e+00 | -- | Inf | 36.52%
1954.96/1960.59 c 1961s| 16500 | 455 | 7130k| 409.5 | 1389M | 78 | 12k| 26k| 32k| 459k| 2 | 47k| 38 | 0.000000e+00 | -- | Inf | 36.52%
1960.94/1966.51 c 1966s| 16600 | 436 | 7148k| 408.2 | 1393M | 78 | 12k| 26k| 32k| 460k| 2 | 48k| 38 | 0.000000e+00 | -- | Inf | 36.52%
1966.83/1972.44 c 1972s| 16700 | 457 | 7168k| 406.9 | 1393M | 78 | 12k| 26k| 32k| 461k| 2 | 48k| 38 | 0.000000e+00 | -- | Inf | 36.52%
1973.52/1979.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1973.52/1979.12 c 1979s| 16800 | 453 | 7193k| 406.0 | 1394M | 78 | 12k| 26k| 32k| 462k| 2 | 48k| 38 | 0.000000e+00 | -- | Inf | 36.52%
1979.20/1984.84 c 1985s| 16900 | 471 | 7213k| 404.9 | 1394M | 78 | 12k| 26k| 0 | 463k| 0 | 48k| 38 | 0.000000e+00 | -- | Inf | 36.52%
1985.28/1990.90 c 1991s| 17000 | 508 | 7241k| 404.2 | 1396M | 78 | 12k| 26k| 32k| 464k| 1 | 49k| 38 | 0.000000e+00 | -- | Inf | 36.52%
1992.66/1998.36 c 1998s| 17100 | 501 | 7275k| 403.8 | 1396M | 78 | 12k| 26k| 32k| 465k| 1 | 49k| 38 | 0.000000e+00 | -- | Inf | 36.52%
1998.64/2004.31 c 2004s| 17200 | 447 | 7297k| 402.8 | 1397M | 78 | 12k| 26k| 32k| 467k| 2 | 49k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2007.82/2013.57 c 2014s| 17300 | 416 | 7340k| 402.9 | 1397M | 78 | 12k| 26k| 32k| 469k| 2 | 49k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2015.10/2020.89 c 2021s| 17400 | 341 | 7369k| 402.3 | 1398M | 78 | 12k| 26k| 32k| 470k| 1 | 50k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2023.07/2028.80 c 2029s| 17500 | 302 | 7402k| 401.9 | 1398M | 78 | 12k| 26k| 0 | 471k| 0 | 50k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2029.75/2035.54 c 2035s| 17600 | 262 | 7425k| 401.0 | 1399M | 78 | 12k| 26k| 32k| 472k| 2 | 50k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2038.44/2044.25 c 2044s| 17700 | 237 | 7463k| 400.8 | 1399M | 78 | 12k| 26k| 0 | 474k| 0 | 51k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2047.61/2053.45 c 2053s| 17800 | 239 | 7503k| 400.9 | 1399M | 78 | 12k| 26k| 32k| 476k| 1 | 51k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2054.49/2060.30 c 2060s| 17900 | 243 | 7526k| 399.9 | 1400M | 78 | 12k| 26k| 0 | 477k| 0 | 51k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2061.97/2067.86 c 2068s| 18000 | 217 | 7554k| 399.3 | 1400M | 78 | 12k| 26k| 31k| 479k| 2 | 51k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2069.15/2075.01 c 2075s| 18100 | 218 | 7577k| 398.4 | 1400M | 78 | 12k| 26k| 31k| 481k| 2 | 52k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2074.93/2080.82 c 2081s| 18200 | 223 | 7594k| 397.2 | 1408M | 78 | 12k| 26k| 0 | 482k| 0 | 52k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2080.62/2086.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2080.62/2086.51 c 2086s| 18300 | 216 | 7608k| 395.8 | 1414M | 78 | 12k| 26k| 32k| 483k| 2 | 52k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2088.10/2094.02 c 2094s| 18400 | 250 | 7643k| 395.6 | 1429M | 78 | 12k| 26k| 32k| 484k| 2 | 52k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2097.17/2103.18 c 2103s| 18500 | 288 | 7687k| 395.8 | 1446M | 78 | 12k| 26k| 32k| 486k| 2 | 53k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2106.14/2112.10 c 2112s| 18600 | 204 | 7733k| 396.1 | 1472M | 78 | 12k| 26k| 31k| 488k| 2 | 53k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2112.93/2118.94 c 2119s| 18700 | 208 | 7758k| 395.4 | 1473M | 78 | 12k| 26k| 32k| 489k| 2 | 53k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2120.90/2126.91 c 2127s| 18800 | 239 | 7793k| 395.2 | 1473M | 78 | 12k| 26k| 0 | 491k| 0 | 53k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2128.08/2134.13 c 2134s| 18900 | 277 | 7821k| 394.6 | 1474M | 78 | 12k| 26k| 0 | 492k| 0 | 54k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2136.16/2142.24 c 2142s| 19000 | 290 | 7853k| 394.2 | 1475M | 78 | 12k| 26k| 32k| 494k| 2 | 54k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2142.95/2149.06 c 2149s| 19100 | 309 | 7876k| 393.4 | 1475M | 78 | 12k| 26k| 32k| 495k| 2 | 54k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2156.01/2162.12 c 2162s| 19200 | 309 | 7921k| 393.7 | 1475M | 78 | 12k| 26k| 32k| 497k| 2 | 55k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2163.08/2169.24 c 2169s| 19300 | 297 | 7946k| 393.0 | 1476M | 78 | 12k| 26k| 32k| 499k| 2 | 55k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2171.56/2177.78 c 2178s| 19400 | 300 | 7981k| 392.7 | 1476M | 78 | 12k| 26k| 32k| 500k| 2 | 55k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2179.04/2185.29 c 2185s| 19500 | 313 | 8009k| 392.2 | 1477M | 78 | 12k| 26k| 0 | 502k| 0 | 55k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2186.12/2192.34 c 2192s| 19600 | 277 | 8033k| 391.4 | 1477M | 78 | 12k| 26k| 31k| 503k| 2 | 56k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2195.39/2201.67 c 2202s| 19700 | 359 | 8102k| 392.9 | 1480M | 78 | 12k| 26k| 32k| 505k| 1 | 56k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2198.48/2204.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2198.48/2204.79 c 2205s| 19800 | 374 | 8108k| 391.3 | 1480M | 78 | 12k| 26k| 0 | 505k| 0 | 56k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2203.97/2210.24 c 2210s| 19900 | 407 | 8138k| 390.8 | 1487M | 78 | 12k| 26k| 32k| 506k| 2 | 57k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2210.55/2216.81 c 2217s| 20000 | 437 | 8160k| 390.0 | 1491M | 78 | 12k| 26k| 0 | 507k| 0 | 57k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2217.33/2223.65 c 2224s| 20100 | 445 | 8184k| 389.3 | 1498M | 78 | 12k| 26k| 32k| 508k| 2 | 57k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2224.41/2230.75 c 2231s| 20200 | 440 | 8211k| 388.7 | 1504M | 78 | 12k| 26k| 31k| 509k| 2 | 58k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2232.58/2238.96 c 2239s| 20300 | 495 | 8257k| 389.0 | 1506M | 78 | 12k| 26k| 0 | 511k| 0 | 58k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2240.06/2246.47 c 2246s| 20400 | 370 | 8281k| 388.3 | 1506M | 78 | 12k| 26k| 0 | 512k| 0 | 59k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2248.44/2254.86 c 2255s| 20500 | 301 | 8314k| 388.0 | 1506M | 78 | 12k| 26k| 31k| 515k| 2 | 59k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2256.41/2262.81 c 2263s| 20600 | 262 | 8351k| 388.0 | 1506M | 78 | 12k| 26k| 32k| 517k| 2 | 59k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2265.29/2271.76 c 2272s| 20700 | 282 | 8390k| 388.0 | 1506M | 78 | 12k| 26k| 32k| 519k| 2 | 59k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2274.07/2280.57 c 2281s| 20800 | 308 | 8423k| 387.7 | 1507M | 78 | 12k| 26k| 32k| 521k| 2 | 60k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2282.35/2288.80 c 2289s| 20900 | 353 | 8459k| 387.6 | 1512M | 78 | 12k| 26k| 32k| 523k| 2 | 60k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2291.92/2298.44 c 2298s| 21000 | 393 | 8497k| 387.6 | 1516M | 78 | 12k| 26k| 32k| 525k| 2 | 60k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2301.79/2308.31 c 2308s| 21100 | 449 | 8546k| 388.0 | 1518M | 78 | 12k| 26k| 0 | 527k| 0 | 61k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2310.86/2317.48 c 2317s| 21200 | 470 | 8587k| 388.1 | 1519M | 78 | 12k| 26k| 32k| 529k| 2 | 61k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2321.74/2328.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2321.74/2328.39 c 2328s| 21300 | 494 | 8636k| 388.6 | 1520M | 78 | 12k| 26k| 32k| 531k| 2 | 61k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2332.70/2339.37 c 2339s| 21400 | 557 | 8709k| 390.1 | 1524M | 78 | 12k| 26k| 32k| 532k| 2 | 62k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2346.66/2353.35 c 2353s| 21500 | 576 | 8752k| 390.3 | 1528M | 78 | 12k| 26k| 32k| 534k| 2 | 62k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2356.14/2362.80 c 2363s| 21600 | 565 | 8789k| 390.2 | 1530M | 78 | 12k| 26k| 32k| 537k| 2 | 62k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2366.01/2372.77 c 2373s| 21700 | 537 | 8822k| 389.9 | 1530M | 78 | 12k| 26k| 32k| 538k| 2 | 63k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2375.98/2382.78 c 2383s| 21800 | 537 | 8866k| 390.1 | 1530M | 78 | 12k| 26k| 32k| 540k| 2 | 63k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2390.34/2397.15 c 2397s| 21900 | 588 | 8936k| 391.5 | 1531M | 78 | 12k| 26k| 32k| 544k| 2 | 63k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2403.01/2409.89 c 2410s| 22000 | 647 | 8998k| 392.5 | 1532M | 78 | 12k| 26k| 32k| 547k| 1 | 63k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2414.87/2421.73 c 2422s| 22100 | 684 | 9058k| 393.5 | 1535M | 78 | 12k| 26k| 32k| 549k| 2 | 64k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2424.54/2431.41 c 2431s| 22200 | 652 | 9095k| 393.4 | 1542M | 78 | 12k| 26k| 32k| 551k| 2 | 64k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2432.83/2439.70 c 2440s| 22300 | 683 | 9122k| 392.8 | 1550M | 78 | 12k| 26k| 0 | 553k| 0 | 64k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2442.50/2449.42 c 2449s| 22400 | 687 | 9163k| 392.9 | 1550M | 78 | 12k| 26k| 32k| 555k| 2 | 65k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2451.18/2458.12 c 2458s| 22500 | 657 | 9198k| 392.7 | 1550M | 78 | 12k| 26k| 32k| 557k| 2 | 65k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2461.64/2468.66 c 2469s| 22600 | 609 | 9252k| 393.3 | 1551M | 78 | 12k| 26k| 0 | 559k| 0 | 65k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2469.62/2476.66 c 2477s| 22700 | 654 | 9288k| 393.2 | 1551M | 78 | 12k| 26k| 32k| 562k| 2 | 65k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2476.70/2483.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2476.70/2483.71 c 2484s| 22800 | 642 | 9315k| 392.7 | 1552M | 78 | 12k| 26k| 32k| 563k| 2 | 66k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2484.98/2492.06 c 2492s| 22900 | 618 | 9350k| 392.5 | 1552M | 78 | 12k| 26k| 32k| 566k| 2 | 66k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2491.76/2498.82 c 2499s| 23000 | 636 | 9373k| 391.8 | 1552M | 78 | 12k| 26k| 32k| 567k| 1 | 66k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2495.85/2502.99 c 2503s| 23100 | 629 | 9383k| 390.6 | 1552M | 78 | 12k| 26k| 32k| 568k| 2 | 66k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2500.54/2507.62 c 2508s| 23200 | 626 | 9397k| 389.5 | 1552M | 78 | 12k| 26k| 32k| 569k| 2 | 66k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2510.81/2518.00 c 2518s| 23300 | 606 | 9438k| 389.6 | 1553M | 78 | 12k| 26k| 0 | 570k| 0 | 67k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2519.89/2527.01 c 2527s| 23400 | 612 | 9475k| 389.5 | 1557M | 78 | 12k| 26k| 32k| 572k| 2 | 67k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2529.65/2536.88 c 2537s| 23500 | 568 | 9517k| 389.7 | 1557M | 78 | 12k| 26k| 31k| 575k| 2 | 67k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2540.42/2547.64 c 2548s| 23600 | 616 | 9566k| 390.1 | 1559M | 78 | 12k| 26k| 32k| 577k| 2 | 67k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2546.50/2553.76 c 2554s| 23700 | 627 | 9593k| 389.6 | 1560M | 78 | 12k| 26k| 32k| 578k| 2 | 68k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2557.47/2564.70 c 2565s| 23800 | 669 | 9638k| 389.8 | 1563M | 78 | 12k| 26k| 32k| 580k| 2 | 68k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2569.95/2577.27 c 2577s| 23900 | 717 | 9703k| 390.9 | 1564M | 78 | 12k| 26k| 32k| 583k| 2 | 68k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2580.22/2587.58 c 2588s| 24000 | 765 | 9753k| 391.3 | 1566M | 78 | 12k| 26k| 0 | 584k| 0 | 68k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2586.50/2593.84 c 2594s| 24100 | 770 | 9771k| 390.5 | 1567M | 78 | 12k| 26k| 0 | 585k| 0 | 69k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2594.47/2601.84 c 2602s| 24200 | 764 | 9802k| 390.2 | 1568M | 78 | 12k| 26k| 32k| 586k| 1 | 69k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2602.25/2609.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2602.25/2609.60 c 2610s| 24300 | 777 | 9834k| 389.9 | 1568M | 78 | 12k| 26k| 32k| 587k| 1 | 69k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2612.32/2619.73 c 2620s| 24400 | 744 | 9878k| 390.1 | 1569M | 78 | 12k| 26k| 32k| 588k| 2 | 70k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2622.70/2630.13 c 2630s| 24500 | 773 | 9931k| 390.6 | 1570M | 78 | 12k| 26k| 0 | 590k| 0 | 70k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2632.47/2639.94 c 2640s| 24600 | 833 | 9980k| 391.0 | 1571M | 78 | 12k| 26k| 32k| 591k| 2 | 70k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2641.24/2648.75 c 2649s| 24700 | 817 | 10019k| 391.0 | 1571M | 78 | 12k| 26k| 32k| 593k| 2 | 71k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2650.42/2657.96 c 2658s| 24800 | 830 | 10056k| 390.9 | 1572M | 78 | 12k| 26k| 0 | 594k| 0 | 71k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2661.99/2669.59 c 2670s| 24900 | 816 | 10116k| 391.7 | 1573M | 78 | 12k| 26k| 32k| 596k| 2 | 71k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2676.85/2684.45 c 2684s| 25000 | 820 | 10184k| 392.9 | 1578M | 78 | 12k| 26k| 32k| 598k| 2 | 71k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2684.12/2691.78 c 2692s| 25100 | 864 | 10209k| 392.3 | 1578M | 78 | 12k| 26k| 32k| 600k| 2 | 72k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2692.10/2699.74 c 2700s| 25200 | 861 | 10240k| 392.0 | 1579M | 78 | 12k| 26k| 32k| 601k| 1 | 72k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2701.48/2709.17 c 2709s| 25300 | 863 | 10282k| 392.1 | 1579M | 78 | 12k| 26k| 32k| 603k| 1 | 72k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2708.46/2716.11 c 2716s| 25400 | 875 | 10310k| 391.7 | 1580M | 78 | 12k| 26k| 32k| 605k| 2 | 72k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2714.73/2722.46 c 2722s| 25500 | 906 | 10335k| 391.1 | 1581M | 78 | 12k| 26k| 32k| 606k| 2 | 73k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2721.62/2729.35 c 2729s| 25600 | 892 | 10368k| 390.9 | 1582M | 78 | 12k| 26k| 32k| 607k| 2 | 73k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2728.50/2736.29 c 2736s| 25700 | 866 | 10396k| 390.5 | 1582M | 78 | 12k| 26k| 0 | 608k| 0 | 73k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2736.38/2744.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2736.38/2744.18 c 2744s| 25800 | 882 | 10431k| 390.3 | 1582M | 78 | 12k| 26k| 32k| 609k| 2 | 73k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2744.85/2752.65 c 2753s| 25900 | 883 | 10462k| 390.0 | 1583M | 78 | 12k| 26k| 32k| 611k| 2 | 73k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2752.03/2759.83 c 2760s| 26000 | 884 | 10488k| 389.5 | 1583M | 78 | 12k| 26k| 0 | 612k| 0 | 74k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2759.91/2767.75 c 2768s| 26100 | 849 | 10516k| 389.1 | 1583M | 78 | 12k| 26k| 32k| 613k| 2 | 74k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2772.48/2780.33 c 2780s| 26200 | 835 | 10572k| 389.8 | 1583M | 78 | 12k| 26k| 32k| 616k| 2 | 74k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2781.95/2789.86 c 2790s| 26300 | 790 | 10619k| 390.1 | 1584M | 78 | 12k| 26k| 32k| 618k| 2 | 74k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2792.02/2799.91 c 2800s| 26400 | 827 | 10669k| 390.5 | 1585M | 78 | 12k| 26k| 0 | 620k| 0 | 75k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2800.00/2807.92 c 2808s| 26500 | 791 | 10710k| 390.5 | 1585M | 78 | 12k| 26k| 32k| 621k| 2 | 75k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2808.18/2816.15 c 2816s| 26600 | 808 | 10741k| 390.3 | 1586M | 78 | 12k| 26k| 32k| 622k| 2 | 75k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2817.35/2825.35 c 2825s| 26700 | 805 | 10779k| 390.2 | 1586M | 78 | 12k| 26k| 32k| 624k| 2 | 76k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2826.82/2834.88 c 2835s| 26800 | 828 | 10837k| 390.9 | 1587M | 78 | 12k| 26k| 32k| 626k| 2 | 76k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2832.71/2840.72 c 2841s| 26900 | 845 | 10857k| 390.2 | 1587M | 78 | 12k| 26k| 32k| 627k| 2 | 76k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2839.88/2847.99 c 2848s| 27000 | 871 | 10890k| 390.0 | 1591M | 78 | 12k| 26k| 32k| 628k| 2 | 77k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2846.47/2854.54 c 2855s| 27100 | 855 | 10922k| 389.7 | 1591M | 78 | 12k| 26k| 0 | 629k| 0 | 77k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2857.34/2865.40 c 2865s| 27200 | 876 | 10965k| 389.9 | 1595M | 78 | 12k| 26k| 32k| 631k| 1 | 77k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2868.11/2876.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2868.11/2876.20 c 2876s| 27300 | 930 | 11014k| 390.2 | 1596M | 78 | 12k| 26k| 32k| 633k| 2 | 77k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2873.50/2881.66 c 2882s| 27400 | 972 | 11031k| 389.4 | 1596M | 78 | 12k| 26k| 32k| 634k| 2 | 78k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2881.58/2889.71 c 2890s| 27500 | 967 | 11066k| 389.3 | 1597M | 78 | 12k| 26k| 32k| 635k| 2 | 78k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2888.36/2896.57 c 2897s| 27600 | 994 | 11090k| 388.8 | 1597M | 78 | 12k| 26k| 32k| 637k| 1 | 78k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2897.23/2905.49 c 2905s| 27700 | 994 | 11127k| 388.7 | 1598M | 78 | 12k| 26k| 32k| 638k| 2 | 79k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2905.91/2914.16 c 2914s| 27800 | 972 | 11165k| 388.7 | 1598M | 78 | 12k| 26k| 32k| 641k| 2 | 79k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2913.28/2921.52 c 2921s| 27900 | 1009 | 11198k| 388.5 | 1599M | 78 | 12k| 26k| 32k| 642k| 1 | 79k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2920.26/2928.57 c 2929s| 28000 | 999 | 11233k| 388.4 | 1599M | 78 | 12k| 26k| 32k| 643k| 2 | 79k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2926.55/2934.86 c 2935s| 28100 | 964 | 11255k| 387.8 | 1600M | 78 | 12k| 26k| 32k| 644k| 1 | 80k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2935.42/2943.71 c 2944s| 28200 | 938 | 11292k| 387.7 | 1604M | 78 | 12k| 26k| 32k| 645k| 2 | 80k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2944.70/2953.03 c 2953s| 28300 | 935 | 11329k| 387.7 | 1605M | 78 | 12k| 26k| 32k| 647k| 1 | 80k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2952.68/2961.04 c 2961s| 28400 | 923 | 11360k| 387.4 | 1605M | 78 | 12k| 26k| 32k| 649k| 2 | 81k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2960.95/2969.37 c 2969s| 28500 | 891 | 11395k| 387.3 | 1605M | 78 | 12k| 26k| 0 | 650k| 0 | 81k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2971.32/2979.76 c 2980s| 28600 | 871 | 11440k| 387.5 | 1606M | 78 | 12k| 26k| 32k| 653k| 2 | 81k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2978.70/2987.16 c 2987s| 28700 | 873 | 11465k| 387.0 | 1607M | 78 | 12k| 26k| 0 | 654k| 0 | 81k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2989.47/2997.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2989.47/2997.97 c 2998s| 28800 | 848 | 11515k| 387.4 | 1607M | 78 | 12k| 26k| 32k| 656k| 2 | 82k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2994.06/3002.53 c 3002s| 28900 | 858 | 11544k| 387.0 | 1608M | 78 | 12k| 26k| 0 | 657k| 0 | 82k| 38 | 0.000000e+00 | -- | Inf | 36.52%
2999.14/3007.60 c 3008s| 29000 | 861 | 11561k| 386.3 | 1609M | 78 | 12k| 26k| 32k| 658k| 2 | 82k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3007.03/3015.55 c 3016s| 29100 | 859 | 11594k| 386.1 | 1609M | 78 | 12k| 26k| 32k| 659k| 2 | 82k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3013.62/3022.18 c 3022s| 29200 | 840 | 11619k| 385.7 | 1609M | 78 | 12k| 26k| 32k| 660k| 2 | 82k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3021.79/3030.39 c 3030s| 29300 | 836 | 11653k| 385.5 | 1609M | 78 | 12k| 26k| 32k| 661k| 2 | 83k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3029.47/3038.05 c 3038s| 29400 | 838 | 11685k| 385.3 | 1609M | 78 | 12k| 26k| 32k| 663k| 2 | 83k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3035.85/3044.41 c 3044s| 29500 | 842 | 11715k| 385.0 | 1610M | 78 | 12k| 26k| 32k| 664k| 2 | 83k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3041.63/3050.22 c 3050s| 29600 | 844 | 11738k| 384.5 | 1610M | 78 | 12k| 26k| 32k| 665k| 2 | 83k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3052.10/3060.73 c 3061s| 29700 | 829 | 11782k| 384.7 | 1610M | 78 | 12k| 26k| 32k| 668k| 2 | 83k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3060.88/3069.53 c 3069s| 29800 | 859 | 11816k| 384.6 | 1611M | 78 | 12k| 26k| 32k| 669k| 2 | 84k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3069.85/3078.54 c 3078s| 29900 | 846 | 11852k| 384.5 | 1611M | 78 | 12k| 26k| 32k| 671k| 2 | 84k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3076.73/3085.44 c 3085s| 30000 | 848 | 11878k| 384.1 | 1612M | 78 | 12k| 26k| 32k| 672k| 2 | 84k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3082.42/3091.14 c 3091s| 30100 | 839 | 11900k| 383.5 | 1612M | 78 | 12k| 26k| 0 | 673k| 0 | 84k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3087.90/3096.60 c 3097s| 30200 | 839 | 11919k| 382.9 | 1612M | 78 | 12k| 26k| 32k| 674k| 2 | 84k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3093.49/3102.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3093.49/3102.29 c 3102s| 30300 | 836 | 11940k| 382.4 | 1612M | 78 | 12k| 26k| 32k| 674k| 2 | 85k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3100.17/3108.95 c 3109s| 30400 | 835 | 11963k| 381.9 | 1612M | 78 | 12k| 26k| 32k| 675k| 2 | 85k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3108.14/3116.91 c 3117s| 30500 | 843 | 11991k| 381.5 | 1613M | 78 | 12k| 26k| 32k| 677k| 2 | 85k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3128.79/3137.62 c 3138s| 30600 | 841 | 12062k| 382.6 | 1614M | 78 | 12k| 26k| 31k| 680k| 2 | 85k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3140.96/3149.82 c 3150s| 30700 | 891 | 12121k| 383.2 | 1625M | 78 | 12k| 26k| 32k| 683k| 2 | 86k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3147.64/3156.50 c 3156s| 30800 | 905 | 12143k| 382.7 | 1629M | 78 | 12k| 26k| 32k| 684k| 2 | 86k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3157.72/3166.66 c 3167s| 30900 | 912 | 12188k| 382.9 | 1630M | 78 | 12k| 26k| 0 | 687k| 0 | 87k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3168.99/3177.96 c 3178s| 31000 | 980 | 12248k| 383.6 | 1631M | 78 | 12k| 26k| 31k| 690k| 2 | 87k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3178.26/3187.24 c 3187s| 31100 | 1031 | 12285k| 383.6 | 1635M | 78 | 12k| 26k| 32k| 692k| 2 | 88k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3187.93/3196.90 c 3197s| 31200 | 1062 | 12332k| 383.9 | 1636M | 78 | 12k| 26k| 32k| 694k| 2 | 88k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3195.41/3204.49 c 3204s| 31300 | 1105 | 12364k| 383.6 | 1638M | 78 | 12k| 26k| 32k| 695k| 1 | 88k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3201.79/3210.81 c 3211s| 31400 | 1042 | 12381k| 383.0 | 1638M | 78 | 12k| 26k| 0 | 696k| 0 | 88k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3210.66/3219.73 c 3220s| 31500 | 1032 | 12415k| 382.9 | 1639M | 78 | 12k| 26k| 0 | 699k| 0 | 89k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3222.23/3231.33 c 3231s| 31600 | 1072 | 12465k| 383.2 | 1640M | 78 | 12k| 26k| 32k| 701k| 1 | 89k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3230.71/3239.80 c 3240s| 31700 | 1113 | 12500k| 383.1 | 1648M | 78 | 12k| 26k| 32k| 702k| 2 | 89k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3238.79/3247.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3238.79/3247.95 c 3248s| 31800 | 1107 | 12532k| 382.9 | 1652M | 78 | 12k| 26k| 32k| 704k| 2 | 89k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3244.97/3254.15 c 3254s| 31900 | 1133 | 12558k| 382.5 | 1656M | 78 | 12k| 26k| 32k| 705k| 1 | 90k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3258.13/3267.38 c 3267s| 32000 | 1161 | 12629k| 383.5 | 1656M | 78 | 12k| 26k| 32k| 707k| 2 | 90k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3267.61/3276.84 c 3277s| 32100 | 1181 | 12666k| 383.5 | 1663M | 78 | 12k| 26k| 32k| 708k| 2 | 90k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3277.58/3286.84 c 3287s| 32200 | 1161 | 12711k| 383.7 | 1668M | 78 | 12k| 26k| 32k| 710k| 2 | 91k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3285.66/3294.93 c 3295s| 32300 | 1167 | 12742k| 383.5 | 1668M | 78 | 12k| 26k| 32k| 712k| 2 | 91k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3292.44/3301.74 c 3302s| 32400 | 1172 | 12767k| 383.1 | 1668M | 78 | 12k| 26k| 32k| 714k| 2 | 91k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3302.02/3311.31 c 3311s| 32500 | 1203 | 12807k| 383.1 | 1669M | 78 | 12k| 26k| 32k| 716k| 2 | 92k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3312.59/3321.91 c 3322s| 32600 | 1234 | 12874k| 384.0 | 1669M | 78 | 12k| 26k| 32k| 718k| 1 | 92k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3318.47/3327.88 c 3328s| 32700 | 1208 | 12898k| 383.6 | 1679M | 78 | 12k| 26k| 32k| 719k| 2 | 92k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3327.45/3336.88 c 3337s| 32800 | 1193 | 12940k| 383.7 | 1683M | 78 | 12k| 26k| 32k| 722k| 2 | 93k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3334.63/3344.06 c 3344s| 32900 | 1212 | 12964k| 383.2 | 1687M | 78 | 12k| 26k| 32k| 723k| 2 | 93k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3346.69/3356.14 c 3356s| 33000 | 1199 | 13020k| 383.8 | 1688M | 78 | 12k| 26k| 0 | 726k| 0 | 93k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3357.36/3366.82 c 3367s| 33100 | 1246 | 13071k| 384.1 | 1690M | 78 | 12k| 26k| 32k| 728k| 2 | 94k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3374.11/3383.68 c 3384s| 33200 | 1291 | 13138k| 385.0 | 1690M | 78 | 12k| 26k| 32k| 731k| 2 | 94k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3382.59/3392.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3382.59/3392.17 c 3392s| 33300 | 1347 | 13183k| 385.2 | 1692M | 78 | 12k| 26k| 32k| 732k| 2 | 95k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3392.85/3402.48 c 3402s| 33400 | 1325 | 13241k| 385.7 | 1693M | 78 | 12k| 26k| 32k| 734k| 2 | 95k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3402.54/3412.13 c 3412s| 33500 | 1362 | 13293k| 386.1 | 1694M | 78 | 12k| 26k| 32k| 736k| 2 | 95k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3413.90/3423.50 c 3423s| 33600 | 1378 | 13341k| 386.4 | 1696M | 78 | 12k| 26k| 32k| 738k| 2 | 96k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3418.59/3428.26 c 3428s| 33700 | 1393 | 13353k| 385.6 | 1701M | 78 | 12k| 26k| 32k| 739k| 1 | 96k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3427.47/3437.18 c 3437s| 33800 | 1380 | 13387k| 385.5 | 1702M | 78 | 12k| 26k| 32k| 741k| 2 | 97k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3438.23/3447.90 c 3448s| 33900 | 1436 | 13439k| 385.9 | 1703M | 78 | 12k| 26k| 32k| 743k| 2 | 97k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3449.30/3459.10 c 3459s| 34000 | 1495 | 13485k| 386.1 | 1705M | 78 | 12k| 26k| 32k| 745k| 2 | 97k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3458.47/3468.25 c 3468s| 34100 | 1515 | 13525k| 386.2 | 1706M | 78 | 12k| 26k| 32k| 747k| 2 | 98k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3466.35/3476.13 c 3476s| 34200 | 1524 | 13562k| 386.1 | 1706M | 78 | 12k| 26k| 32k| 748k| 2 | 98k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3476.03/3485.83 c 3486s| 34300 | 1570 | 13604k| 386.2 | 1707M | 78 | 12k| 26k| 0 | 749k| 0 | 98k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3485.50/3495.33 c 3495s| 34400 | 1579 | 13641k| 386.1 | 1708M | 78 | 12k| 26k| 32k| 751k| 2 | 99k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3498.16/3508.02 c 3508s| 34500 | 1630 | 13704k| 386.9 | 1710M | 78 | 12k| 26k| 32k| 753k| 2 | 99k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3510.12/3520.08 c 3520s| 34600 | 1647 | 13759k| 387.3 | 1711M | 78 | 12k| 26k| 32k| 755k| 2 | 99k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3524.49/3534.41 c 3534s| 34700 | 1652 | 13829k| 388.2 | 1712M | 78 | 12k| 26k| 32k| 758k| 2 | 100k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3537.45/3547.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3537.45/3547.43 c 3547s| 34800 | 1703 | 13893k| 388.9 | 1715M | 78 | 12k| 26k| 32k| 761k| 2 | 100k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3549.61/3559.64 c 3560s| 34900 | 1784 | 13954k| 389.5 | 1716M | 78 | 12k| 26k| 32k| 763k| 2 | 101k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3561.88/3571.96 c 3572s| 35000 | 1828 | 13999k| 389.7 | 1719M | 78 | 12k| 26k| 32k| 765k| 2 | 101k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3574.15/3584.25 c 3584s| 35100 | 1811 | 14059k| 390.3 | 1720M | 78 | 12k| 26k| 0 | 767k| 0 | 102k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3583.12/3593.28 c 3593s| 35200 | 1736 | 14095k| 390.2 | 1722M | 78 | 12k| 26k| 0 | 769k| 0 | 102k| 38 | 0.000000e+00 | -- | Inf | 36.52%
3586.92/3597.05 c
3586.92/3597.05 c SCIP Status : solving was interrupted [time limit reached]
3586.92/3597.05 c Solving Time (sec) : 3597.00
3586.92/3597.05 c Solving Nodes : 35243 (total of 35936 nodes in 2 runs)
3586.92/3597.05 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.92/3597.05 c Dual Bound : +0.00000000000000e+00
3586.92/3597.05 c Gap : infinite
3586.92/3597.05 s UNKNOWN
3586.92/3597.05 c SCIP Status : solving was interrupted [time limit reached]
3586.92/3597.05 c Total Time : 3597.00
3586.92/3597.05 c solving : 3597.00
3586.92/3597.05 c presolving : 110.33 (included in solving)
3586.92/3597.05 c reading : 0.15 (included in solving)
3586.92/3597.05 c copying : 0.33 (8 #copies) (minimal 0.03, maximal 0.08, average 0.04)
3586.92/3597.05 c Original Problem :
3586.92/3597.05 c Problem name : HOME/instance-4491762-1751144686.opb
3586.92/3597.05 c Variables : 23621 (23621 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.92/3597.05 c Constraints : 67526 initial, 67526 maximal
3586.92/3597.05 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.92/3597.05 c Presolved Problem :
3586.92/3597.05 c Problem name : t_HOME/instance-4491762-1751144686.opb
3586.92/3597.05 c Variables : 12541 (12541 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.92/3597.05 c Constraints : 17928 initial, 26676 maximal
3586.92/3597.05 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.92/3597.05 c Nonzeros : 88996 constraint, 358480 clique table
3586.92/3597.05 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.92/3597.05 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c domcol : 0.00 0.00 20 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c gateextraction : 0.18 0.00 50 0 0 0 0 0 39576 13186 0 0
3586.92/3597.05 c implics : 0.01 0.00 54 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c milp : 27.01 0.00 1 5428 3305 0 0 0 67418 43208 0 0
3586.92/3597.05 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c trivial : 0.04 0.00 77 45 0 0 0 0 0 0 0 0
3586.92/3597.05 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c dualfix : 0.03 0.00 77 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c probing : 80.37 0.00 19 223 232 0 0 0 0 0 0 0
3586.92/3597.05 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c symmetry : 0.08 0.00 1 0 0 0 0 0 0 3 0 0
3586.92/3597.05 c vbounds : 0.17 0.00 6 0 1 0 0 0 0 0 0 0
3586.92/3597.05 c knapsack : 0.13 0.00 171 0 0 0 0 0 33 66 27 87
3586.92/3597.05 c setppc : 0.21 0.00 171 0 1 0 0 0 316 0 0 0
3586.92/3597.05 c and : 1.39 0.01 119 60 1772 0 0 0 2035 378 0 110
3586.92/3597.05 c linear : 0.29 0.02 19 1 12 0 1 0 180 0 1279 2511
3586.92/3597.05 c logicor : 0.18 0.01 144 0 0 0 0 0 420 0 0 157
3586.92/3597.05 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c components : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c root node : - - - 0 - - 0 - - - - -
3586.92/3597.05 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.92/3597.05 c benderslp : 0 0 0 0 28071 0 0 4036 0 0 0 0 0 0 0
3586.92/3597.05 c integral : 0 0 0 0 28071 0 0 4036 0 0 0 0 0 0 56142
3586.92/3597.05 c knapsack : 2552+ 2559 22 866967 0 0 0 4031 470273 8728 1017556 4409 323 0 0
3586.92/3597.05 c setppc : 3152+ 3285 22 857921 0 0 0 0 520411 268 305640 47 16 0 0
3586.92/3597.05 c and : 10844 10844 47850 857971 0 0 0 0 3686963 9212 5220876 910109 649099 0 0
3586.92/3597.05 c linear : 2+ 26 22 694960 0 0 0 3 10148 37 3641 0 0 0 0
3586.92/3597.05 c logicor : 1378+ 9991 22 252364 0 0 0 0 368136 5409 159791 75 9 0 0
3586.92/3597.05 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.92/3597.05 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3586.92/3597.05 c integral : 66.28 0.00 0.00 0.00 66.28 0.00 0.00 0.00 0.00 0.00
3586.92/3597.05 c knapsack : 11.84 0.00 0.04 11.49 0.00 0.00 0.00 0.01 0.29 0.00
3586.92/3597.05 c setppc : 3.55 0.00 0.01 3.35 0.00 0.00 0.00 0.00 0.19 0.01
3586.92/3597.05 c and : 124.17 0.01 50.49 71.75 0.00 0.00 0.00 0.00 1.70 0.22
3586.92/3597.05 c linear : 0.18 0.02 0.00 0.15 0.00 0.00 0.00 0.00 0.01 0.00
3586.92/3597.05 c logicor : 5.56 0.01 0.00 5.06 0.00 0.00 0.00 0.00 0.49 0.00
3586.92/3597.05 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.92/3597.05 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.92/3597.05 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.92/3597.05 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3586.92/3597.05 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.92/3597.05 c dualfix : 3 0 0 0
3586.92/3597.05 c genvbounds : 0 0 0 0
3586.92/3597.05 c nlobbt : 0 0 0 0
3586.92/3597.05 c obbt : 0 0 0 0
3586.92/3597.05 c probing : 0 0 0 0
3586.92/3597.05 c pseudoobj : 0 0 0 0
3586.92/3597.05 c redcost : 0 0 0 0
3586.92/3597.05 c rootredcost : 0 0 0 0
3586.92/3597.05 c symmetry : 7184 0 0 0
3586.92/3597.05 c vbounds : 596903 0 0 0
3586.92/3597.05 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.92/3597.05 c dualfix : 0.03 0.00 0.03 0.00 0.00 0.00
3586.92/3597.05 c genvbounds : 0.11 0.00 0.00 0.11 0.00 0.00
3586.92/3597.05 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.92/3597.05 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.92/3597.05 c probing : 80.37 0.00 80.37 0.00 0.00 0.00
3586.92/3597.05 c pseudoobj : 0.11 0.00 0.00 0.11 0.00 0.00
3586.92/3597.05 c redcost : 0.05 0.00 0.00 0.05 0.00 0.00
3586.92/3597.05 c rootredcost : 0.05 0.00 0.00 0.05 0.00 0.00
3586.92/3597.05 c symmetry : 0.20 0.00 0.08 0.12 0.00 0.00
3586.92/3597.05 c vbounds : 97.68 0.00 0.17 97.51 0.00 0.00
3586.92/3597.05 c Symmetry :
3586.92/3597.05 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.92/3597.05 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.92/3597.05 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.92/3597.05 c shadow tree time : 0.00 s
3586.92/3597.05 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.92/3597.05 c propagation : 5.24 23649 23242 - 291988 65.4 3941 23.1 - - -
3586.92/3597.05 c infeasible LP : 0.61 273 272 - 619 23.3 44 13.4 272 5.2 0
3586.92/3597.05 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.92/3597.05 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.92/3597.05 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.92/3597.05 c applied globally : 15.28 - - 0 102754 33.1 - - 263 - -
3586.92/3597.05 c applied locally : - - - 0 4 5.2 - - 9 - -
3586.92/3597.05 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.92/3597.05 c cut pool : 2.75 - 5992 42 - - 36743 1882063 - - - - - (maximal pool size: 12096)
3586.92/3597.05 c aggregation : 1.95 0.00 268 22 0 0 2189 817703 117 38485 38462 23 0
3586.92/3597.05 c > cmir : - - - - - - - 553642 0 26356 26356 0 -
3586.92/3597.05 c > flowcover : - - - - - - - 259933 0 11576 11576 0 -
3586.92/3597.05 c > knapsackcover : - - - - - - - 4128 117 553 530 23 -
3586.92/3597.05 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c clique : 12.17 0.00 22 22 0 0 148 347 0 31 31 0 0
3586.92/3597.05 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c gomory : 20.31 0.00 287 20 0 0 17485 975812 2558 49870 49752 118 0
3586.92/3597.05 c > gomorymi : - - - - - - - 483304 1291 23124 23046 78 -
3586.92/3597.05 c > strongcg : - - - - - - - 492508 1267 26746 26706 40 -
3586.92/3597.05 c impliedbounds : 3.03 0.00 289 22 0 0 18075 33220 0 16557 16557 0 0
3586.92/3597.05 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c mcf : 0.03 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c multilinear : 0.04 0.00 296 22 0 0 25 19 6 18 16 2 0
3586.92/3597.05 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.92/3597.05 c rlt : 53.36 0.00 304 20 0 0 3647 967 2875 2781 662 2119 0
3586.92/3597.05 c zerohalf : 4.80 0.00 266 22 0 0 1476 53995 746 31881 31368 513 0
3586.92/3597.05 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.92/3597.05 c hybrid : 2.40 0.00 44356 22 789086 7 2013919 9207 0 36334
3586.92/3597.05 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.92/3597.05 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.92/3597.05 c Pricers : ExecTime SetupTime Calls Vars
3586.92/3597.05 c problem variables: 0.00 - 0 0
3586.92/3597.05 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.92/3597.05 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.92/3597.05 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.92/3597.05 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.92/3597.05 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.92/3597.05 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.92/3597.05 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.92/3597.05 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.92/3597.05 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.92/3597.05 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.92/3597.05 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.92/3597.05 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.92/3597.05 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.92/3597.05 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.92/3597.05 c relpscost : 66.23 0.00 28071 0 0 0 0 0 0 56142
3586.92/3597.05 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.92/3597.05 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.92/3597.05 c LP solutions : 0.00 - - 0 0
3586.92/3597.05 c relax solutions : 0.00 - - 0 0
3586.92/3597.05 c pseudo solutions : 0.00 - - 0 0
3586.92/3597.05 c strong branching : 0.00 - - 0 0
3586.92/3597.05 c actconsdiving : 0.00 0.00 0 0 0
3586.92/3597.05 c adaptivediving : 15.51 0.00 43 0 0
3586.92/3597.05 c alns : 1.55 0.00 6 0 0
3586.92/3597.05 c bound : 0.00 0.00 0 0 0
3586.92/3597.05 c clique : 0.17 0.00 1 0 0
3586.92/3597.05 c coefdiving : 0.00 0.00 0 0 0
3586.92/3597.05 c completesol : 0.00 0.00 0 0 0
3586.92/3597.05 c conflictdiving : 34.64 0.00 450 0 0
3586.92/3597.05 c crossover : 0.01 0.00 0 0 0
3586.92/3597.05 c dins : 0.00 0.00 0 0 0
3586.92/3597.05 c distributiondivin: 61.71 0.00 452 0 0
3586.92/3597.05 c dps : 0.00 0.00 0 0 0
3586.92/3597.05 c dualval : 0.00 0.00 0 0 0
3586.92/3597.05 c farkasdiving : 0.00 0.00 0 0 0
3586.92/3597.05 c feasjump : 0.07 0.00 2 0 0
3586.92/3597.05 c feaspump : 17.21 0.00 34 0 0
3586.92/3597.05 c fixandinfer : 0.00 0.00 0 0 0
3586.92/3597.05 c fracdiving : 29.90 0.00 452 0 0
3586.92/3597.05 c gins : 0.01 0.00 0 0 0
3586.92/3597.05 c guideddiving : 0.00 0.00 0 0 0
3586.92/3597.05 c indcoefdiving : 0.00 0.00 0 0 0
3586.92/3597.05 c indicator : 0.04 0.00 0 0 0
3586.92/3597.05 c indicatordiving : 0.00 0.00 0 0 0
3586.92/3597.05 c indoneopt : 0.03 0.00 0 0 0
3586.92/3597.05 c indrounding : 0.00 0.00 0 0 0
3586.92/3597.05 c indtwoopt : 0.00 0.00 0 0 0
3586.92/3597.05 c intdiving : 0.00 0.00 0 0 0
3586.92/3597.05 c intshifting : 0.00 0.00 0 0 0
3586.92/3597.05 c linesearchdiving : 18.29 0.00 451 0 0
3586.92/3597.05 c localbranching : 0.00 0.00 0 0 0
3586.92/3597.05 c locks : 0.05 0.00 1 0 0
3586.92/3597.05 c lpface : 1.02 0.00 0 0 0
3586.92/3597.05 c mpec : 0.00 0.00 0 0 0
3586.92/3597.05 c multistart : 0.00 0.00 0 0 0
3586.92/3597.05 c mutation : 0.00 0.00 0 0 0
3586.92/3597.05 c nlpdiving : 0.00 0.00 0 0 0
3586.92/3597.05 c objpscostdiving : 95.66 0.00 27 0 0
3586.92/3597.05 c octane : 0.00 0.00 0 0 0
3586.92/3597.05 c ofins : 0.01 0.00 0 0 0
3586.92/3597.05 c oneopt : 0.04 0.00 0 0 0
3586.92/3597.05 c padm : 0.00 0.00 0 0 0
3586.92/3597.05 c proximity : 0.00 0.00 0 0 0
3586.92/3597.05 c pscostdiving : 47.54 0.00 451 0 0
3586.92/3597.05 c randrounding : 3.35 0.00 4046 0 0
3586.92/3597.05 c rens : 0.30 0.00 2 0 0
3586.92/3597.05 c reoptsols : 0.00 0.00 0 0 0
3586.92/3597.05 c repair : 0.00 0.00 0 0 0
3586.92/3597.05 c rins : 0.01 0.00 0 0 0
3586.92/3597.05 c rootsoldiving : 17.60 0.00 20 0 0
3586.92/3597.05 c rounding : 4.98 0.00 3703 0 0
3586.92/3597.05 c scheduler : 0.00 0.00 0 0 0
3586.92/3597.05 c shiftandpropagate: 0.23 0.00 2 0 0
3586.92/3597.05 c shifting : 26.94 0.00 1262 0 0
3586.92/3597.05 c simplerounding : 0.04 0.00 0 0 0
3586.92/3597.05 c smallcard : 0.00 0.00 0 0 0
3586.92/3597.05 c subnlp : 0.04 0.00 0 0 0
3586.92/3597.05 c trivial : 0.02 0.00 4 0 0
3586.92/3597.05 c trivialnegation : 0.00 0.00 0 0 0
3586.92/3597.05 c trustregion : 0.00 0.00 0 0 0
3586.92/3597.05 c trysol : 0.02 0.00 0 0 0
3586.92/3597.05 c twoopt : 0.00 0.00 0 0 0
3586.92/3597.05 c undercover : 0.16 0.00 1 0 0
3586.92/3597.05 c vbounds : 0.27 0.00 2 0 0
3586.92/3597.05 c veclendiving : 27.41 0.00 451 0 0
3586.92/3597.05 c zeroobj : 0.00 0.00 0 0 0
3586.92/3597.05 c zirounding : 0.63 0.00 1000 0 0
3586.92/3597.05 c other solutions : - - - 0 -
3586.92/3597.05 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.92/3597.05 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.92/3597.05 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.92/3597.05 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.92/3597.05 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.92/3597.05 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.92/3597.05 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.92/3597.05 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.92/3597.05 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.92/3597.05 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.92/3597.05 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.92/3597.05 c primal LP : 9.36 2685 0 0.00 0.00 9.36 2685
3586.92/3597.05 c dual LP : 2253.00 72497 11846939 163.45 5258.28 0.07 18
3586.92/3597.05 c lex dual LP : 0.00 0 0 0.00 -
3586.92/3597.05 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.92/3597.05 c resolve instable : 0.00 0 0 0.00 -
3586.92/3597.05 c diving/probing LP: 292.82 3663 2263106 617.83 7728.76
3586.92/3597.05 c strong branching : 19.62 38 37271 980.82 1899.27 - - 73
3586.92/3597.05 c (at root node) : - 38 37271 980.82 -
3586.92/3597.05 c conflict analysis: 0.00 0 0 0.00 -
3586.92/3597.05 c B&B Tree :
3586.92/3597.05 c number of runs : 2
3586.92/3597.05 c nodes : 35243 (27468 internal, 7775 leaves)
3586.92/3597.05 c feasible leaves : 0
3586.92/3597.05 c infeas. leaves : 7774
3586.92/3597.05 c objective leaves : 0
3586.92/3597.05 c nodes (total) : 35936 (28071 internal, 7865 leaves)
3586.92/3597.05 c nodes left : 1743
3586.92/3597.05 c max depth : 78
3586.92/3597.05 c max depth (total): 78
3586.92/3597.05 c backtracks : 7996 (22.7%)
3586.92/3597.05 c early backtracks : 0 (0.0%)
3586.92/3597.05 c nodes exc. ref. : 0 (0.0%)
3586.92/3597.05 c delayed cutoffs : 17952
3586.92/3597.05 c repropagations : 31387 (2226483 domain reductions, 6631 cutoffs)
3586.92/3597.05 c avg switch length: 3.76
3586.92/3597.05 c switching time : 38.43
3586.92/3597.05 c Root Node :
3586.92/3597.05 c First LP value : +0.00000000000000e+00
3586.92/3597.05 c First LP Iters : 4159 (10295.80 Iter/sec)
3586.92/3597.05 c First LP Time : 0.40
3586.92/3597.05 c Final Dual Bound : +0.00000000000000e+00
3586.92/3597.05 c Final Root Iters : 90862
3586.92/3597.05 c Root LP Estimate : +3.22843848717856e-02
3586.92/3597.05 c Solution :
3586.92/3597.05 c Solutions found : 0 (0 improvements)
3586.92/3597.05 c Primal Bound : -
3586.92/3597.05 c Dual Bound : +0.00000000000000e+00
3586.92/3597.05 c Gap : infinite
3586.92/3597.05 c Integrals : Total Avg%
3586.92/3597.05 c primal-dual : 359700.49 100.00
3586.92/3597.05 c primal-ref : - - (not evaluated)
3586.92/3597.05 c dual-ref : - - (not evaluated)
3587.11/3597.21 c Transformed variable <t_x13936> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x13008> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x10148> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x10106> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x9208> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x9137> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x8803> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x8787> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x8771> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x8755> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x8739> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x8723> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x8707> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x8691> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x8675> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x8659> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x8643> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x8627> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x8612> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x8590> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x8422> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x8420> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x8418> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x8416> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.21 c Transformed variable <t_x8358> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.22 c Transformed variable <t_x6709> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.22 c Transformed variable <t_x3438> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.22 c Transformed variable <t_x3307> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.22 c Transformed variable <t_x3305> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.22 c Transformed variable <t_x3303> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.22 c Transformed variable <t_x3301> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.22 c Transformed variable <t_x3082> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x3084> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x3131> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x6727> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x6735> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x6758> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x3293> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x3295> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x6832> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x3297> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x3299> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x7438> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x7476> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x3158> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x8190> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x8204> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x8218> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x8232> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x8246> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x8260> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x8274> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x8288> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x8302> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x8316> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x8330> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x8344> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x8424> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x8426> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x8428> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x8430> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x3436> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x12999> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x13925> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x11837> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.23 c Transformed variable <t_x11849> not released when freeing SCIP problem <t_HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x13936> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x13925> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x13008> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x12999> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x11849> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x11837> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x10148> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x10106> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x9208> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x9137> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8803> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8787> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8771> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8755> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8739> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8723> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8707> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8691> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8675> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8659> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8643> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8627> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8612> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8590> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8430> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8428> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8426> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8424> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8422> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8420> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8418> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8416> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8358> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8344> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8330> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8316> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8302> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8288> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8274> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8260> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8246> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8232> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8218> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8204> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x8190> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x7476> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x7438> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x6832> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x6758> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x6735> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x6727> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x6709> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x3438> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x3436> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x3307> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x3305> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x3303> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x3301> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x3299> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x3297> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x3295> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x3293> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x3158> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x3131> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x3084> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.28 c Original variable <x3082> not released when freeing SCIP problem <HOME/instance-4491762-1751144686.opb>.
3587.11/3597.29 c Time complete: 3587.21.