0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3692096-1338031824.opb>
0.00/0.05 c original problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17794 constraints
0.00/0.05 c problem read in 0.04
0.06/0.07 o 0
0.06/0.07 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.06/0.07 c presolving:
0.18/0.21 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 17794 upgd conss, 35588 impls, 0 clqs
0.18/0.29 c (0.3s) probing: 51/450 (11.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.18/0.29 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.18/0.30 c presolving (2 rounds):
0.18/0.30 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.18/0.30 c 35588 implications, 0 cliques
0.18/0.30 c presolved problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17794 constraints
0.18/0.30 c 17794 constraints of type <setppc>
0.18/0.30 c transformed objective value is always integral (scale: 1)
0.18/0.30 c Presolving Time: 0.23
0.18/0.30 c - non default parameters ----------------------------------------------------------------------
0.18/0.30 c # SCIP version 2.1.1.4
0.18/0.30 c
0.18/0.30 c # maximal time in seconds to run
0.18/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.30 c limits/time = 1797
0.18/0.30 c
0.18/0.30 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.18/0.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.18/0.30 c limits/memory = 13950
0.18/0.30 c
0.18/0.30 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.18/0.30 c # [type: int, range: [1,2], default: 1]
0.18/0.30 c timing/clocktype = 2
0.18/0.30 c
0.18/0.30 c # belongs reading time to solving time?
0.18/0.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.18/0.30 c timing/reading = TRUE
0.18/0.30 c
0.18/0.30 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.18/0.30 c # [type: int, range: [-1,2147483647], default: -1]
0.18/0.30 c separating/rapidlearning/freq = 0
0.18/0.30 c
0.18/0.30 c -----------------------------------------------------------------------------------------------
0.18/0.30 c start solving
0.28/0.30 c
0.38/0.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.38/0.44 c t 0.4s| 1 | 0 | 450 | - | 24M| 0 | 450 | 450 | 17k| 450 | 17k| 0 | 0 | 0 |-2.250000e+02 | 0.000000e+00 | Inf
0.38/0.45 o -1
0.38/0.45 c R 0.4s| 1 | 0 | 450 | - | 24M| 0 | 450 | 450 | 17k| 450 | 17k| 0 | 0 | 0 |-2.250000e+02 |-1.000000e+00 | Large
0.58/0.69 c 0.7s| 1 | 0 | 624 | - | 24M| 0 | 411 | 450 | 17k| 450 | 17k| 6 | 0 | 0 |-2.055000e+02 |-1.000000e+00 | Large
0.58/0.69 o -21
0.58/0.69 c b 0.7s| 1 | 0 | 624 | - | 24M| 0 | 411 | 450 | 17k| 450 | 17k| 6 | 0 | 0 |-2.055000e+02 |-2.100000e+01 | 878.57%
0.88/0.94 c 0.9s| 1 | 0 | 726 | - | 24M| 0 | 384 | 450 | 17k| 450 | 17k| 12 | 0 | 0 |-1.920000e+02 |-2.100000e+01 | 814.29%
1.18/1.24 c 1.2s| 1 | 0 | 818 | - | 24M| 0 | 354 | 450 | 17k| 450 | 17k| 21 | 0 | 0 |-1.762500e+02 |-2.100000e+01 | 739.29%
1.48/1.58 c 1.6s| 1 | 0 | 976 | - | 24M| 0 | 323 | 450 | 17k| 450 | 17k| 36 | 0 | 0 |-1.607500e+02 |-2.100000e+01 | 665.48%
1.89/1.94 c 1.9s| 1 | 0 | 1203 | - | 24M| 0 | 299 | 450 | 17k| 450 | 17k| 49 | 0 | 0 |-1.480000e+02 |-2.100000e+01 | 604.76%
2.19/2.25 c 2.2s| 1 | 0 | 1305 | - | 24M| 0 | 278 | 450 | 17k| 450 | 17k| 63 | 0 | 0 |-1.380000e+02 |-2.100000e+01 | 557.14%
2.58/2.61 c 2.6s| 1 | 0 | 1524 | - | 24M| 0 | 254 | 450 | 17k| 450 | 17k| 71 | 0 | 0 |-1.270000e+02 |-2.100000e+01 | 504.76%
2.99/3.08 c 3.1s| 1 | 0 | 2172 | - | 24M| 0 | 247 | 450 | 17k| 450 | 17k| 87 | 0 | 0 |-1.235000e+02 |-2.100000e+01 | 488.10%
3.48/3.52 c 3.5s| 1 | 0 | 2667 | - | 24M| 0 | 223 | 450 | 17k| 450 | 17k| 99 | 0 | 0 |-1.115000e+02 |-2.100000e+01 | 430.95%
3.88/3.91 c 3.9s| 1 | 0 | 3096 | - | 24M| 0 | 196 | 450 | 17k| 450 | 17k| 109 | 0 | 0 |-9.800000e+01 |-2.100000e+01 | 366.67%
4.08/4.15 c 4.1s| 1 | 0 | 3685 | - | 24M| 0 | 169 | 450 | 17k| 450 | 17k| 122 | 0 | 0 |-8.450000e+01 |-2.100000e+01 | 302.38%
4.48/4.54 c 4.5s| 1 | 0 | 4649 | - | 24M| 0 | 144 | 450 | 17k| 450 | 17k| 134 | 0 | 0 |-7.200000e+01 |-2.100000e+01 | 242.86%
4.68/4.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.68/4.71 c 4.7s| 1 | 0 | 4992 | - | 24M| 0 | 127 | 450 | 17k| 450 | 17k| 143 | 0 | 0 |-6.100000e+01 |-2.100000e+01 | 190.48%
4.79/4.85 c 4.8s| 1 | 0 | 5217 | - | 24M| 0 | 100 | 450 | 17k| 450 | 17k| 152 | 0 | 0 |-5.100000e+01 |-2.100000e+01 | 142.86%
4.89/4.94 c 4.9s| 1 | 0 | 5284 | - | 24M| 0 | 108 | 450 | 17k| 450 | 17k| 161 | 0 | 0 |-4.600000e+01 |-2.100000e+01 | 119.05%
4.98/5.03 c 5.0s| 1 | 0 | 5367 | - | 24M| 0 | 82 | 450 | 17k| 450 | 17k| 169 | 0 | 0 |-4.200000e+01 |-2.100000e+01 | 100.00%
5.09/5.15 c 5.1s| 1 | 0 | 5482 | - | 24M| 0 | 105 | 450 | 17k| 450 | 17k| 181 | 0 | 0 |-3.500000e+01 |-2.100000e+01 | 66.67%
5.18/5.27 c 5.3s| 1 | 0 | 5613 | - | 24M| 0 | 109 | 450 | 17k| 450 | 17k| 192 | 0 | 0 |-3.200000e+01 |-2.100000e+01 | 52.38%
5.28/5.36 c 5.4s| 1 | 0 | 5661 | - | 24M| 0 | 99 | 450 | 17k| 450 | 17k| 201 | 0 | 0 |-3.100000e+01 |-2.100000e+01 | 47.62%
5.39/5.47 c 5.5s| 1 | 0 | 5736 | - | 24M| 0 | 108 | 450 | 17k| 450 | 17k| 216 | 0 | 0 |-3.000000e+01 |-2.100000e+01 | 42.86%
5.39/5.49 c 5.5s| 1 | 0 | 5770 | - | 24M| 0 | 113 | 450 | 17k| 450 | 17k| 228 | 0 | 0 |-3.000000e+01 |-2.100000e+01 | 42.86%
5.49/5.53 c 5.5s| 1 | 0 | 5829 | - | 24M| 0 | 109 | 450 | 17k| 450 | 18k| 234 | 0 | 0 |-3.000000e+01 |-2.100000e+01 | 42.86%
5.49/5.58 c 5.6s| 1 | 0 | 5897 | - | 24M| 0 | 105 | 450 | 17k| 450 | 17k| 238 | 0 | 0 |-3.000000e+01 |-2.100000e+01 | 42.86%
5.59/5.60 c 5.6s| 1 | 0 | 5937 | - | 24M| 0 | 114 | 450 | 17k| 450 | 17k| 248 | 0 | 0 |-3.000000e+01 |-2.100000e+01 | 42.86%
5.59/5.65 c 5.6s| 1 | 0 | 6008 | - | 24M| 0 | 118 | 450 | 17k| 450 | 17k| 258 | 0 | 0 |-3.000000e+01 |-2.100000e+01 | 42.86%
8.49/8.58 c 8.6s| 1 | 2 | 6008 | - | 24M| 0 | 118 | 450 | 17k| 450 | 17k| 258 | 0 | 33 |-3.000000e+01 |-2.100000e+01 | 42.86%
18.79/18.82 o -22
18.79/18.82 c *18.8s| 15 | 11 | 6824 | 58.3 | 25M| 14 | - | 450 | 17k| 450 | 17k| 258 | 0 | 324 |-3.000000e+01 |-2.200000e+01 | 36.36%
21.89/21.95 o -23
21.89/21.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.89/21.95 c *21.9s| 24 | 17 | 7158 | 50.0 | 25M| 14 | - | 450 | 17k| 450 | 17k| 258 | 0 | 456 |-3.000000e+01 |-2.300000e+01 | 30.43%
22.38/22.42 o -24
22.38/22.42 c *22.4s| 26 | 15 | 7208 | 48.0 | 25M| 14 | - | 450 | 17k| 450 | 17k| 258 | 0 | 492 |-3.000000e+01 |-2.400000e+01 | 25.00%
37.58/37.69 o -25
37.58/37.69 c p37.7s| 54 | 27 | 8539 | 47.8 | 26M| 14 | - | 450 | 17k| 450 | 17k| 258 | 0 |1048 |-3.000000e+01 |-2.500000e+01 | 20.00%
48.77/48.80 c 48.8s| 100 | 55 | 10715 | 47.5 | 26M| 19 | 61 | 450 | 17k| 450 | 17k| 258 | 0 |1427 |-3.000000e+01 |-2.500000e+01 | 20.00%
51.17/51.26 c 51.3s| 200 | 113 | 13871 | 39.5 | 27M| 27 | - | 450 | 17k| 450 | 17k| 258 | 0 |1470 |-3.000000e+01 |-2.500000e+01 | 20.00%
52.87/52.92 c 52.9s| 300 | 173 | 17029 | 36.9 | 28M| 35 | 48 | 450 | 17k| 450 | 17k| 258 | 0 |1477 |-3.000000e+01 |-2.500000e+01 | 20.00%
54.27/54.39 o -26
54.27/54.39 c *54.4s| 390 | 170 | 20316 | 36.8 | 28M| 43 | - | 450 | 17k| 450 | 17k| 258 | 0 |1485 |-3.000000e+01 |-2.600000e+01 | 15.38%
55.66/55.72 c 55.7s| 400 | 178 | 20922 | 37.4 | 29M| 43 | 53 | 450 | 17k| 450 | 17k| 258 | 0 |1523 |-3.000000e+01 |-2.600000e+01 | 15.38%
57.67/57.72 c 57.7s| 500 | 212 | 23363 | 34.8 | 29M| 46 | 63 | 450 | 17k| 450 | 17k| 258 | 0 |1552 |-3.000000e+01 |-2.600000e+01 | 15.38%
58.76/58.83 c 58.8s| 600 | 252 | 25826 | 33.1 | 30M| 49 | 67 | 450 | 17k| 450 | 17k| 258 | 0 |1554 |-3.000000e+01 |-2.600000e+01 | 15.38%
59.67/59.78 c 59.8s| 700 | 282 | 27884 | 31.3 | 30M| 50 | 82 | 450 | 17k| 450 | 17k| 258 | 0 |1554 |-3.000000e+01 |-2.600000e+01 | 15.38%
60.76/60.86 c 60.9s| 800 | 306 | 29804 | 29.8 | 30M| 61 | - | 450 | 17k| 450 | 17k| 258 | 0 |1555 |-3.000000e+01 |-2.600000e+01 | 15.38%
61.67/61.71 c 61.7s| 900 | 324 | 31429 | 28.3 | 31M| 69 | - | 450 | 17k| 450 | 17k| 258 | 0 |1556 |-3.000000e+01 |-2.600000e+01 | 15.38%
62.96/63.08 c 63.1s| 1000 | 354 | 33739 | 27.8 | 31M| 69 | 42 | 450 | 17k| 450 | 17k| 258 | 0 |1573 |-3.000000e+01 |-2.600000e+01 | 15.38%
64.46/64.54 c 64.5s| 1100 | 380 | 36425 | 27.7 | 31M| 69 | - | 450 | 17k| 450 | 17k| 258 | 0 |1591 |-3.000000e+01 |-2.600000e+01 | 15.38%
65.56/65.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.56/65.65 c 65.6s| 1200 | 408 | 38448 | 27.1 | 32M| 72 | 67 | 450 | 17k| 450 | 17k| 258 | 0 |1599 |-3.000000e+01 |-2.600000e+01 | 15.38%
68.36/68.46 c 68.5s| 1300 | 444 | 41261 | 27.1 | 32M| 72 | 69 | 450 | 17k| 450 | 17k| 258 | 0 |1667 |-3.000000e+01 |-2.600000e+01 | 15.38%
68.56/68.63 o -27
68.56/68.63 c *68.6s| 1314 | 318 | 41506 | 27.0 | 31M| 72 | - | 450 | 17k| 450 | 17k| 258 | 0 |1668 |-3.000000e+01 |-2.700000e+01 | 11.11%
70.27/70.38 c 70.4s| 1400 | 354 | 44869 | 27.8 | 32M| 72 | 68 | 450 | 17k| 450 | 17k| 258 | 0 |1685 |-3.000000e+01 |-2.700000e+01 | 11.11%
71.76/71.81 c 71.8s| 1500 | 382 | 47913 | 28.0 | 32M| 72 | 30 | 450 | 17k| 450 | 17k| 258 | 0 |1688 |-3.000000e+01 |-2.700000e+01 | 11.11%
73.26/73.37 c 73.4s| 1600 | 410 | 50186 | 27.6 | 33M| 72 | - | 450 | 17k| 450 | 17k| 258 | 0 |1703 |-3.000000e+01 |-2.700000e+01 | 11.11%
74.86/74.98 c 75.0s| 1700 | 436 | 52936 | 27.6 | 33M| 72 | 42 | 450 | 17k| 450 | 17k| 258 | 0 |1721 |-3.000000e+01 |-2.700000e+01 | 11.11%
76.36/76.41 c 76.4s| 1800 | 462 | 55303 | 27.4 | 34M| 72 | 43 | 450 | 17k| 450 | 17k| 258 | 0 |1738 |-3.000000e+01 |-2.700000e+01 | 11.11%
77.76/77.82 c 77.8s| 1900 | 484 | 57780 | 27.3 | 34M| 72 | - | 450 | 17k| 450 | 17k| 258 | 0 |1753 |-3.000000e+01 |-2.700000e+01 | 11.11%
79.26/79.31 c 79.3s| 2000 | 516 | 60735 | 27.4 | 34M| 72 | - | 450 | 17k| 450 | 17k| 258 | 0 |1762 |-3.000000e+01 |-2.700000e+01 | 11.11%
80.36/80.49 c 80.5s| 2100 | 540 | 63317 | 27.3 | 35M| 72 | 61 | 450 | 17k| 450 | 17k| 258 | 0 |1766 |-3.000000e+01 |-2.700000e+01 | 11.11%
81.76/81.83 c 81.8s| 2200 | 572 | 66283 | 27.4 | 35M| 72 | 77 | 450 | 17k| 450 | 17k| 258 | 0 |1771 |-3.000000e+01 |-2.700000e+01 | 11.11%
83.26/83.32 c 83.3s| 2300 | 606 | 69109 | 27.4 | 35M| 72 | - | 450 | 17k| 450 | 17k| 258 | 0 |1778 |-3.000000e+01 |-2.700000e+01 | 11.11%
84.16/84.23 o -28
84.16/84.23 c c84.2s| 2361 | 337 | 71225 | 27.6 | 32M| 72 | - | 450 | 17k| 450 | 17k| 258 | 0 |1779 |-3.000000e+01 |-2.800000e+01 | 7.14%
84.56/84.60 c 84.6s| 2400 | 344 | 71924 | 27.5 | 32M| 72 | 43 | 450 | 17k| 450 | 17k| 258 | 0 |1780 |-3.000000e+01 |-2.800000e+01 | 7.14%
85.46/85.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.46/85.56 c 85.6s| 2500 | 358 | 73915 | 27.2 | 33M| 72 | - | 450 | 17k| 450 | 17k| 258 | 0 |1780 |-3.000000e+01 |-2.800000e+01 | 7.14%
86.55/86.66 c 86.7s| 2600 | 378 | 76467 | 27.1 | 33M| 72 | 46 | 450 | 17k| 450 | 17k| 258 | 0 |1780 |-3.000000e+01 |-2.800000e+01 | 7.14%
87.36/87.45 c 87.4s| 2700 | 388 | 77924 | 26.6 | 33M| 72 | - | 450 | 17k| 450 | 17k| 258 | 0 |1780 |-3.000000e+01 |-2.800000e+01 | 7.14%
88.26/88.34 c 88.3s| 2800 | 400 | 79740 | 26.3 | 33M| 72 | - | 450 | 17k| 450 | 17k| 258 | 0 |1780 |-3.000000e+01 |-2.800000e+01 | 7.14%
88.96/89.06 c 89.1s| 2900 | 412 | 80874 | 25.8 | 33M| 79 | 72 | 450 | 17k| 450 | 17k| 258 | 0 |1780 |-3.000000e+01 |-2.800000e+01 | 7.14%
89.86/89.96 c 90.0s| 3000 | 422 | 82792 | 25.6 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |1780 |-3.000000e+01 |-2.800000e+01 | 7.14%
91.05/91.18 c 91.2s| 3100 | 436 | 85181 | 25.5 | 34M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |1783 |-3.000000e+01 |-2.800000e+01 | 7.14%
92.46/92.55 c 92.5s| 3200 | 460 | 87629 | 25.5 | 34M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |1785 |-3.000000e+01 |-2.800000e+01 | 7.14%
93.36/93.42 c 93.4s| 3300 | 470 | 89293 | 25.2 | 34M| 84 | 53 | 450 | 17k| 450 | 17k| 258 | 0 |1785 |-3.000000e+01 |-2.800000e+01 | 7.14%
94.35/94.50 c 94.5s| 3400 | 480 | 91549 | 25.2 | 34M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |1785 |-3.000000e+01 |-2.800000e+01 | 7.14%
96.15/96.22 c 96.2s| 3500 | 504 | 95539 | 25.6 | 35M| 84 | 60 | 450 | 17k| 450 | 17k| 258 | 0 |1789 |-3.000000e+01 |-2.800000e+01 | 7.14%
97.56/97.63 c 97.6s| 3600 | 514 | 98091 | 25.6 | 35M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |1805 |-3.000000e+01 |-2.800000e+01 | 7.14%
98.65/98.76 c 98.8s| 3700 | 526 | 99884 | 25.4 | 35M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |1819 |-3.000000e+01 |-2.800000e+01 | 7.14%
100.35/100.40 c 100s| 3800 | 540 |102262 | 25.3 | 35M| 84 | 79 | 450 | 17k| 450 | 17k| 258 | 0 |1854 |-3.000000e+01 |-2.800000e+01 | 7.14%
102.17/102.29 c 102s| 3900 | 556 |105977 | 25.6 | 36M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |1878 |-3.000000e+01 |-2.800000e+01 | 7.14%
103.95/104.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.95/104.04 c 104s| 4000 | 578 |108916 | 25.7 | 36M| 84 | 44 | 450 | 17k| 450 | 17k| 258 | 0 |1905 |-3.000000e+01 |-2.800000e+01 | 7.14%
105.56/105.63 c 106s| 4100 | 598 |111524 | 25.7 | 36M| 84 | 54 | 450 | 17k| 450 | 17k| 258 | 0 |1929 |-3.000000e+01 |-2.800000e+01 | 7.14%
106.96/107.09 c 107s| 4200 | 610 |114030 | 25.7 | 37M| 84 | 101 | 450 | 17k| 450 | 17k| 258 | 0 |1951 |-3.000000e+01 |-2.800000e+01 | 7.14%
108.56/108.68 c 109s| 4300 | 622 |116086 | 25.6 | 37M| 84 | 95 | 450 | 17k| 450 | 17k| 258 | 0 |1978 |-3.000000e+01 |-2.800000e+01 | 7.14%
109.76/109.81 c 110s| 4400 | 640 |118213 | 25.5 | 37M| 84 | 81 | 450 | 17k| 450 | 17k| 258 | 0 |1987 |-3.000000e+01 |-2.800000e+01 | 7.14%
111.06/111.13 c 111s| 4500 | 654 |120247 | 25.4 | 37M| 84 | 69 | 450 | 17k| 450 | 17k| 258 | 0 |2006 |-3.000000e+01 |-2.800000e+01 | 7.14%
112.16/112.23 c 112s| 4600 | 660 |121832 | 25.2 | 37M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2017 |-3.000000e+01 |-2.800000e+01 | 7.14%
113.45/113.58 c 114s| 4700 | 668 |123995 | 25.1 | 37M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2037 |-3.000000e+01 |-2.800000e+01 | 7.14%
114.95/115.04 c 115s| 4800 | 680 |126792 | 25.2 | 38M| 84 | 80 | 450 | 17k| 450 | 17k| 258 | 0 |2047 |-3.000000e+01 |-2.800000e+01 | 7.14%
116.15/116.28 c 116s| 4900 | 692 |129089 | 25.1 | 38M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2058 |-3.000000e+01 |-2.800000e+01 | 7.14%
117.66/117.74 c 118s| 5000 | 712 |131995 | 25.2 | 38M| 84 | 42 | 450 | 17k| 450 | 17k| 258 | 0 |2067 |-3.000000e+01 |-2.800000e+01 | 7.14%
119.25/119.32 c 119s| 5100 | 730 |135187 | 25.3 | 38M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2075 |-3.000000e+01 |-2.800000e+01 | 7.14%
120.74/120.88 c 121s| 5200 | 756 |138517 | 25.5 | 39M| 84 | 101 | 450 | 17k| 450 | 17k| 258 | 0 |2090 |-3.000000e+01 |-2.800000e+01 | 7.14%
122.14/122.23 c 122s| 5300 | 772 |141639 | 25.6 | 39M| 84 | 38 | 450 | 17k| 450 | 17k| 258 | 0 |2095 |-3.000000e+01 |-2.800000e+01 | 7.14%
123.25/123.36 c 123s| 5400 | 780 |143848 | 25.5 | 39M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2097 |-3.000000e+01 |-2.800000e+01 | 7.14%
124.65/124.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.65/124.78 c 125s| 5500 | 786 |146680 | 25.6 | 40M| 84 | 99 | 450 | 17k| 450 | 17k| 258 | 0 |2104 |-3.000000e+01 |-2.800000e+01 | 7.14%
125.65/125.79 c 126s| 5600 | 800 |148821 | 25.5 | 40M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2104 |-3.000000e+01 |-2.800000e+01 | 7.14%
126.74/126.86 c 127s| 5700 | 812 |151336 | 25.5 | 40M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2106 |-3.000000e+01 |-2.800000e+01 | 7.14%
127.75/127.88 c 128s| 5800 | 826 |153437 | 25.4 | 40M| 84 | 54 | 450 | 17k| 450 | 17k| 258 | 0 |2107 |-3.000000e+01 |-2.800000e+01 | 7.14%
128.66/128.72 c 129s| 5900 | 834 |154993 | 25.3 | 40M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2108 |-3.000000e+01 |-2.800000e+01 | 7.14%
129.85/129.97 c 130s| 6000 | 842 |157578 | 25.3 | 40M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2115 |-3.000000e+01 |-2.800000e+01 | 7.14%
130.95/131.08 c 131s| 6100 | 858 |159740 | 25.2 | 41M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2117 |-3.000000e+01 |-2.800000e+01 | 7.14%
131.95/132.07 c 132s| 6200 | 868 |161747 | 25.1 | 41M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2118 |-3.000000e+01 |-2.800000e+01 | 7.14%
133.05/133.13 c 133s| 6300 | 894 |163898 | 25.1 | 41M| 84 | 60 | 450 | 17k| 450 | 17k| 258 | 0 |2118 |-3.000000e+01 |-2.800000e+01 | 7.14%
134.24/134.30 c 134s| 6400 | 920 |166661 | 25.1 | 42M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2119 |-3.000000e+01 |-2.800000e+01 | 7.14%
135.84/135.97 c 136s| 6500 | 938 |169654 | 25.2 | 42M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2139 |-3.000000e+01 |-2.800000e+01 | 7.14%
137.35/137.47 c 137s| 6600 | 954 |172381 | 25.2 | 42M| 84 | 55 | 450 | 17k| 450 | 17k| 258 | 0 |2154 |-3.000000e+01 |-2.800000e+01 | 7.14%
138.75/138.86 c 139s| 6700 | 968 |174531 | 25.2 | 42M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2166 |-3.000000e+01 |-2.800000e+01 | 7.14%
140.34/140.43 c 140s| 6800 | 982 |177262 | 25.2 | 43M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2186 |-3.000000e+01 |-2.800000e+01 | 7.14%
142.14/142.28 c 142s| 6900 | 996 |180150 | 25.2 | 43M| 84 | 46 | 450 | 17k| 450 | 17k| 258 | 0 |2221 |-3.000000e+01 |-2.800000e+01 | 7.14%
143.74/143.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.74/143.85 c 144s| 7000 | 1004 |183075 | 25.3 | 43M| 84 | 87 | 450 | 17k| 450 | 17k| 258 | 0 |2234 |-3.000000e+01 |-2.800000e+01 | 7.14%
145.15/145.25 c 145s| 7100 | 1018 |185336 | 25.3 | 43M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2248 |-3.000000e+01 |-2.800000e+01 | 7.14%
146.84/146.94 c 147s| 7200 | 1034 |187928 | 25.3 | 43M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2280 |-3.000000e+01 |-2.800000e+01 | 7.14%
148.55/148.68 c 149s| 7300 | 1052 |191652 | 25.4 | 44M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2297 |-3.000000e+01 |-2.800000e+01 | 7.14%
150.04/150.19 c 150s| 7400 | 1072 |194307 | 25.4 | 44M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2318 |-3.000000e+01 |-2.800000e+01 | 7.14%
151.54/151.64 c 152s| 7500 | 1082 |196910 | 25.5 | 44M| 84 | 74 | 450 | 17k| 450 | 17k| 258 | 0 |2341 |-3.000000e+01 |-2.800000e+01 | 7.14%
153.34/153.41 c 153s| 7600 | 1094 |199863 | 25.5 | 44M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2373 |-3.000000e+01 |-2.800000e+01 | 7.14%
154.74/154.81 c 155s| 7700 | 1106 |202230 | 25.5 | 44M| 84 | 58 | 450 | 17k| 450 | 17k| 258 | 0 |2388 |-3.000000e+01 |-2.800000e+01 | 7.14%
156.15/156.24 c 156s| 7800 | 1110 |204869 | 25.5 | 45M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2400 |-3.000000e+01 |-2.800000e+01 | 7.14%
157.64/157.78 c 158s| 7900 | 1126 |208013 | 25.6 | 45M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2410 |-3.000000e+01 |-2.800000e+01 | 7.14%
158.75/158.81 c 159s| 8000 | 1140 |210178 | 25.5 | 45M| 84 | 52 | 450 | 17k| 450 | 17k| 258 | 0 |2413 |-3.000000e+01 |-2.800000e+01 | 7.14%
159.74/159.85 c 160s| 8100 | 1150 |212582 | 25.5 | 45M| 84 | 63 | 450 | 17k| 450 | 17k| 258 | 0 |2414 |-3.000000e+01 |-2.800000e+01 | 7.14%
161.14/161.22 c 161s| 8200 | 1160 |214422 | 25.4 | 45M| 84 | 71 | 450 | 17k| 450 | 17k| 258 | 0 |2436 |-3.000000e+01 |-2.800000e+01 | 7.14%
162.54/162.67 c 163s| 8300 | 1180 |217173 | 25.4 | 46M| 84 | 73 | 450 | 17k| 450 | 17k| 258 | 0 |2447 |-3.000000e+01 |-2.800000e+01 | 7.14%
163.94/164.05 c 164s| 8400 | 1200 |220263 | 25.5 | 46M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2448 |-3.000000e+01 |-2.800000e+01 | 7.14%
165.34/165.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
165.34/165.45 c 165s| 8500 | 1214 |222982 | 25.5 | 46M| 84 | 66 | 450 | 17k| 450 | 17k| 258 | 0 |2456 |-3.000000e+01 |-2.800000e+01 | 7.14%
166.24/166.34 c 166s| 8600 | 1222 |224843 | 25.4 | 46M| 84 | 51 | 450 | 17k| 450 | 17k| 258 | 0 |2456 |-3.000000e+01 |-2.800000e+01 | 7.14%
167.74/167.89 c 168s| 8700 | 1244 |228245 | 25.5 | 47M| 84 | 78 | 450 | 17k| 450 | 17k| 258 | 0 |2463 |-3.000000e+01 |-2.800000e+01 | 7.14%
168.84/168.91 c 169s| 8800 | 1258 |230573 | 25.5 | 47M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2463 |-3.000000e+01 |-2.800000e+01 | 7.14%
169.94/170.02 c 170s| 8900 | 1276 |233069 | 25.5 | 47M| 84 | 50 | 450 | 17k| 450 | 17k| 258 | 0 |2464 |-3.000000e+01 |-2.800000e+01 | 7.14%
171.04/171.10 c 171s| 9000 | 1282 |235168 | 25.5 | 47M| 84 | 61 | 450 | 17k| 450 | 17k| 258 | 0 |2465 |-3.000000e+01 |-2.800000e+01 | 7.14%
171.94/172.08 c 172s| 9100 | 1294 |237069 | 25.4 | 47M| 84 | 42 | 450 | 17k| 450 | 17k| 258 | 0 |2467 |-3.000000e+01 |-2.800000e+01 | 7.14%
172.84/172.97 c 173s| 9200 | 1300 |238910 | 25.3 | 47M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2467 |-3.000000e+01 |-2.800000e+01 | 7.14%
174.24/174.39 c 174s| 9300 | 1314 |242163 | 25.4 | 48M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2472 |-3.000000e+01 |-2.800000e+01 | 7.14%
175.63/175.72 c 176s| 9400 | 1340 |245210 | 25.4 | 48M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2472 |-3.000000e+01 |-2.800000e+01 | 7.14%
176.83/177.00 c 177s| 9500 | 1358 |248262 | 25.5 | 49M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2476 |-3.000000e+01 |-2.800000e+01 | 7.14%
178.74/178.89 c 179s| 9600 | 1392 |253251 | 25.8 | 49M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2476 |-3.000000e+01 |-2.800000e+01 | 7.14%
180.35/180.41 c 180s| 9700 | 1418 |256910 | 25.9 | 50M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2476 |-3.000000e+01 |-2.800000e+01 | 7.14%
181.54/181.61 c 182s| 9800 | 1434 |259876 | 25.9 | 50M| 84 | 59 | 450 | 17k| 450 | 17k| 258 | 0 |2476 |-3.000000e+01 |-2.800000e+01 | 7.14%
183.14/183.23 c 183s| 9900 | 1450 |262243 | 25.9 | 50M| 84 | 48 | 450 | 17k| 450 | 17k| 258 | 0 |2498 |-3.000000e+01 |-2.800000e+01 | 7.14%
184.84/184.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.84/184.99 c 185s| 10000 | 1472 |265230 | 25.9 | 51M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2528 |-3.000000e+01 |-2.800000e+01 | 7.14%
186.34/186.45 c 186s| 10100 | 1490 |268001 | 25.9 | 51M| 84 | 40 | 450 | 17k| 450 | 17k| 258 | 0 |2541 |-3.000000e+01 |-2.800000e+01 | 7.14%
187.83/188.00 c 188s| 10200 | 1514 |271161 | 26.0 | 51M| 84 | 67 | 450 | 17k| 450 | 17k| 258 | 0 |2552 |-3.000000e+01 |-2.800000e+01 | 7.14%
189.44/189.52 c 190s| 10300 | 1524 |273744 | 26.0 | 51M| 84 | 61 | 450 | 17k| 450 | 17k| 258 | 0 |2578 |-3.000000e+01 |-2.800000e+01 | 7.14%
190.74/190.83 c 191s| 10400 | 1542 |275661 | 25.9 | 51M| 84 | 45 | 450 | 17k| 450 | 17k| 258 | 0 |2596 |-3.000000e+01 |-2.800000e+01 | 7.14%
192.63/192.74 c 193s| 10500 | 1562 |279173 | 26.0 | 52M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2624 |-3.000000e+01 |-2.800000e+01 | 7.14%
194.13/194.26 c 194s| 10600 | 1578 |281685 | 26.0 | 52M| 84 | 70 | 450 | 17k| 450 | 17k| 258 | 0 |2639 |-3.000000e+01 |-2.800000e+01 | 7.14%
195.74/195.86 c 196s| 10700 | 1588 |284240 | 26.0 | 52M| 84 | 61 | 450 | 17k| 450 | 17k| 258 | 0 |2666 |-3.000000e+01 |-2.800000e+01 | 7.14%
197.24/197.39 c 197s| 10800 | 1606 |287492 | 26.1 | 53M| 84 | 49 | 450 | 17k| 450 | 17k| 258 | 0 |2670 |-3.000000e+01 |-2.800000e+01 | 7.14%
198.74/198.86 c 199s| 10900 | 1622 |290647 | 26.1 | 53M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2682 |-3.000000e+01 |-2.800000e+01 | 7.14%
200.24/200.39 c 200s| 11000 | 1646 |293395 | 26.1 | 53M| 84 | 55 | 450 | 17k| 450 | 17k| 258 | 0 |2704 |-3.000000e+01 |-2.800000e+01 | 7.14%
201.84/201.91 c 202s| 11100 | 1664 |296067 | 26.1 | 53M| 84 | 74 | 450 | 17k| 450 | 17k| 258 | 0 |2721 |-3.000000e+01 |-2.800000e+01 | 7.14%
203.04/203.16 c 203s| 11200 | 1684 |298847 | 26.1 | 54M| 84 | 80 | 450 | 17k| 450 | 17k| 258 | 0 |2726 |-3.000000e+01 |-2.800000e+01 | 7.14%
204.13/204.29 c 204s| 11300 | 1698 |301616 | 26.2 | 54M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2727 |-3.000000e+01 |-2.800000e+01 | 7.14%
205.64/205.73 c 206s| 11400 | 1720 |304485 | 26.2 | 54M| 84 | 47 | 450 | 17k| 450 | 17k| 258 | 0 |2736 |-3.000000e+01 |-2.800000e+01 | 7.14%
206.74/206.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
206.74/206.87 c 207s| 11500 | 1732 |307085 | 26.2 | 55M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2739 |-3.000000e+01 |-2.800000e+01 | 7.14%
207.84/207.95 c 208s| 11600 | 1742 |309411 | 26.2 | 55M| 84 | 84 | 450 | 17k| 450 | 17k| 258 | 0 |2743 |-3.000000e+01 |-2.800000e+01 | 7.14%
208.94/209.02 c 209s| 11700 | 1748 |311655 | 26.1 | 55M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2746 |-3.000000e+01 |-2.800000e+01 | 7.14%
210.43/210.56 c 211s| 11800 | 1760 |315286 | 26.2 | 55M| 84 | 52 | 450 | 17k| 450 | 17k| 258 | 0 |2753 |-3.000000e+01 |-2.800000e+01 | 7.14%
211.53/211.61 c 212s| 11900 | 1772 |317600 | 26.2 | 55M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2754 |-3.000000e+01 |-2.800000e+01 | 7.14%
212.54/212.68 c 213s| 12000 | 1784 |320161 | 26.2 | 56M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2754 |-3.000000e+01 |-2.800000e+01 | 7.14%
213.63/213.76 c 214s| 12100 | 1800 |322437 | 26.2 | 56M| 84 | 51 | 450 | 17k| 450 | 17k| 258 | 0 |2756 |-3.000000e+01 |-2.800000e+01 | 7.14%
214.93/215.00 c 215s| 12200 | 1810 |324387 | 26.1 | 56M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2768 |-3.000000e+01 |-2.800000e+01 | 7.14%
216.03/216.17 c 216s| 12300 | 1822 |326204 | 26.0 | 56M| 84 | 59 | 450 | 17k| 450 | 17k| 258 | 0 |2780 |-3.000000e+01 |-2.800000e+01 | 7.14%
217.33/217.43 c 217s| 12400 | 1836 |328436 | 26.0 | 56M| 84 | 76 | 450 | 17k| 450 | 17k| 258 | 0 |2792 |-3.000000e+01 |-2.800000e+01 | 7.14%
218.43/218.58 c 219s| 12500 | 1842 |330641 | 26.0 | 56M| 84 | 72 | 450 | 17k| 450 | 17k| 258 | 0 |2797 |-3.000000e+01 |-2.800000e+01 | 7.14%
219.43/219.51 c 220s| 12600 | 1852 |332210 | 25.9 | 57M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2801 |-3.000000e+01 |-2.800000e+01 | 7.14%
220.83/220.95 c 221s| 12700 | 1862 |335333 | 25.9 | 57M| 84 | 76 | 450 | 17k| 450 | 17k| 258 | 0 |2806 |-3.000000e+01 |-2.800000e+01 | 7.14%
221.94/222.03 c 222s| 12800 | 1868 |337381 | 25.9 | 57M| 84 | 64 | 450 | 17k| 450 | 17k| 258 | 0 |2810 |-3.000000e+01 |-2.800000e+01 | 7.14%
223.33/223.41 c 223s| 12900 | 1872 |340089 | 25.9 | 57M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2818 |-3.000000e+01 |-2.800000e+01 | 7.14%
224.34/224.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.34/224.43 c 224s| 13000 | 1880 |341975 | 25.8 | 57M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2821 |-3.000000e+01 |-2.800000e+01 | 7.14%
225.23/225.39 c 225s| 13100 | 1888 |343902 | 25.8 | 57M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2822 |-3.000000e+01 |-2.800000e+01 | 7.14%
226.33/226.43 c 226s| 13200 | 1890 |346161 | 25.8 | 57M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2822 |-3.000000e+01 |-2.800000e+01 | 7.14%
227.64/227.71 c 228s| 13300 | 1902 |348803 | 25.8 | 57M| 84 | 91 | 450 | 17k| 450 | 17k| 258 | 0 |2826 |-3.000000e+01 |-2.800000e+01 | 7.14%
228.64/228.77 c 229s| 13400 | 1908 |351217 | 25.8 | 58M| 84 | 52 | 450 | 17k| 450 | 17k| 258 | 0 |2826 |-3.000000e+01 |-2.800000e+01 | 7.14%
229.83/229.92 c 230s| 13500 | 1922 |353876 | 25.8 | 58M| 84 | 62 | 450 | 17k| 450 | 17k| 258 | 0 |2827 |-3.000000e+01 |-2.800000e+01 | 7.14%
230.84/230.98 c 231s| 13600 | 1936 |356303 | 25.8 | 58M| 84 | 98 | 450 | 17k| 450 | 17k| 258 | 0 |2827 |-3.000000e+01 |-2.800000e+01 | 7.14%
231.94/232.06 c 232s| 13700 | 1948 |358573 | 25.7 | 58M| 84 | 60 | 450 | 17k| 450 | 17k| 258 | 0 |2829 |-3.000000e+01 |-2.800000e+01 | 7.14%
233.43/233.59 c 234s| 13800 | 1964 |361194 | 25.7 | 58M| 84 | 61 | 450 | 17k| 450 | 17k| 258 | 0 |2843 |-3.000000e+01 |-2.800000e+01 | 7.14%
234.73/234.87 c 235s| 13900 | 1982 |363239 | 25.7 | 59M| 84 | 40 | 450 | 17k| 450 | 17k| 258 | 0 |2856 |-3.000000e+01 |-2.800000e+01 | 7.14%
236.23/236.33 c 236s| 14000 | 1998 |366042 | 25.7 | 59M| 84 | 53 | 450 | 17k| 450 | 17k| 258 | 0 |2867 |-3.000000e+01 |-2.800000e+01 | 7.14%
237.93/238.01 c 238s| 14100 | 2018 |368284 | 25.7 | 59M| 84 | 76 | 450 | 17k| 450 | 17k| 258 | 0 |2895 |-3.000000e+01 |-2.800000e+01 | 7.14%
239.92/240.05 c 240s| 14200 | 2028 |372828 | 25.8 | 59M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2909 |-3.000000e+01 |-2.800000e+01 | 7.14%
241.23/241.36 c 241s| 14300 | 2044 |374920 | 25.8 | 60M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2919 |-3.000000e+01 |-2.800000e+01 | 7.14%
242.32/242.42 c 242s| 14400 | 2050 |376711 | 25.7 | 60M| 84 | 61 | 450 | 17k| 450 | 17k| 258 | 0 |2927 |-3.000000e+01 |-2.800000e+01 | 7.14%
243.83/243.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.83/243.94 c 244s| 14500 | 2084 |379534 | 25.8 | 60M| 84 | 69 | 450 | 17k| 450 | 17k| 258 | 0 |2945 |-3.000000e+01 |-2.800000e+01 | 7.14%
245.14/245.21 c 245s| 14600 | 2092 |381355 | 25.7 | 60M| 84 | 64 | 450 | 17k| 450 | 17k| 258 | 0 |2970 |-3.000000e+01 |-2.800000e+01 | 7.14%
246.23/246.34 c 246s| 14700 | 2100 |383221 | 25.7 | 61M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2980 |-3.000000e+01 |-2.800000e+01 | 7.14%
247.53/247.67 c 248s| 14800 | 2120 |385604 | 25.7 | 61M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |2994 |-3.000000e+01 |-2.800000e+01 | 7.14%
249.02/249.11 c 249s| 14900 | 2144 |388023 | 25.6 | 61M| 84 | 90 | 450 | 17k| 450 | 17k| 258 | 0 |3015 |-3.000000e+01 |-2.800000e+01 | 7.14%
250.64/250.73 c 251s| 15000 | 2158 |390679 | 25.6 | 61M| 84 | 44 | 450 | 17k| 450 | 17k| 258 | 0 |3032 |-3.000000e+01 |-2.800000e+01 | 7.14%
251.62/251.73 o -29
251.62/251.73 c * 252s| 15082 | 160 |392638 | 25.6 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3037 |-3.000000e+01 |-2.900000e+01 | 3.45%
251.92/252.07 c 252s| 15100 | 156 |393097 | 25.6 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3044 |-3.000000e+01 |-2.900000e+01 | 3.45%
253.72/253.82 c 254s| 15200 | 156 |396739 | 25.7 | 31M| 84 | 48 | 450 | 17k| 450 | 17k| 258 | 0 |3061 |-3.000000e+01 |-2.900000e+01 | 3.45%
255.82/255.92 c 256s| 15300 | 152 |400639 | 25.8 | 30M| 84 | 79 | 450 | 17k| 450 | 17k| 258 | 0 |3083 |-3.000000e+01 |-2.900000e+01 | 3.45%
256.92/257.09 c 257s| 15400 | 146 |402648 | 25.8 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3091 |-3.000000e+01 |-2.900000e+01 | 3.45%
258.52/258.64 c 259s| 15500 | 142 |405701 | 25.8 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3108 |-3.000000e+01 |-2.900000e+01 | 3.45%
260.12/260.23 c 260s| 15600 | 138 |408847 | 25.8 | 30M| 84 | 43 | 450 | 17k| 450 | 17k| 258 | 0 |3123 |-3.000000e+01 |-2.900000e+01 | 3.45%
261.92/262.03 c 262s| 15700 | 136 |412346 | 25.9 | 30M| 84 | 46 | 450 | 17k| 450 | 17k| 258 | 0 |3135 |-3.000000e+01 |-2.900000e+01 | 3.45%
263.32/263.40 c 263s| 15800 | 134 |415309 | 25.9 | 30M| 84 | 76 | 450 | 17k| 450 | 17k| 258 | 0 |3141 |-3.000000e+01 |-2.900000e+01 | 3.45%
264.42/264.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
264.42/264.58 c 265s| 15900 | 136 |417494 | 25.9 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3148 |-3.000000e+01 |-2.900000e+01 | 3.45%
265.32/265.43 c 265s| 16000 | 138 |419037 | 25.8 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3151 |-3.000000e+01 |-2.900000e+01 | 3.45%
266.22/266.39 c 266s| 16100 | 132 |421185 | 25.8 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3152 |-3.000000e+01 |-2.900000e+01 | 3.45%
267.32/267.47 c 267s| 16200 | 122 |423608 | 25.8 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3153 |-3.000000e+01 |-2.900000e+01 | 3.45%
268.62/268.78 c 269s| 16300 | 128 |426729 | 25.8 | 30M| 84 | 63 | 450 | 17k| 450 | 17k| 258 | 0 |3156 |-3.000000e+01 |-2.900000e+01 | 3.45%
270.02/270.11 c 270s| 16400 | 130 |430023 | 25.9 | 30M| 84 | 64 | 450 | 17k| 450 | 17k| 258 | 0 |3159 |-3.000000e+01 |-2.900000e+01 | 3.45%
271.63/271.76 c 272s| 16500 | 120 |434125 | 25.9 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3162 |-3.000000e+01 |-2.900000e+01 | 3.45%
273.52/273.68 c 274s| 16600 | 126 |439383 | 26.1 | 30M| 84 | 43 | 450 | 17k| 450 | 17k| 258 | 0 |3165 |-3.000000e+01 |-2.900000e+01 | 3.45%
275.12/275.22 c 275s| 16700 | 136 |442935 | 26.2 | 30M| 84 | 58 | 450 | 17k| 450 | 17k| 258 | 0 |3171 |-3.000000e+01 |-2.900000e+01 | 3.45%
276.52/276.65 c 277s| 16800 | 134 |446094 | 26.2 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3182 |-3.000000e+01 |-2.900000e+01 | 3.45%
277.62/277.76 c 278s| 16900 | 126 |448750 | 26.2 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3186 |-3.000000e+01 |-2.900000e+01 | 3.45%
279.32/279.44 c 279s| 17000 | 116 |452870 | 26.3 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3191 |-3.000000e+01 |-2.900000e+01 | 3.45%
280.43/280.52 c 281s| 17100 | 116 |455420 | 26.3 | 30M| 84 | 75 | 450 | 17k| 450 | 17k| 258 | 0 |3191 |-3.000000e+01 |-2.900000e+01 | 3.45%
281.52/281.68 c 282s| 17200 | 112 |458132 | 26.3 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3193 |-3.000000e+01 |-2.900000e+01 | 3.45%
282.92/283.00 c 283s| 17300 | 108 |461271 | 26.3 | 30M| 84 | 54 | 450 | 17k| 450 | 17k| 258 | 0 |3198 |-3.000000e+01 |-2.900000e+01 | 3.45%
284.32/284.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
284.32/284.42 c 284s| 17400 | 108 |464831 | 26.4 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3201 |-3.000000e+01 |-2.900000e+01 | 3.45%
285.92/286.01 c 286s| 17500 | 114 |468882 | 26.5 | 30M| 84 | 22 | 450 | 17k| 450 | 17k| 258 | 0 |3202 |-3.000000e+01 |-2.900000e+01 | 3.45%
287.81/287.97 c 288s| 17600 | 126 |473047 | 26.5 | 30M| 84 | 46 | 450 | 17k| 450 | 17k| 258 | 0 |3222 |-3.000000e+01 |-2.900000e+01 | 3.45%
289.02/289.10 c 289s| 17700 | 132 |475516 | 26.5 | 30M| 84 | 61 | 450 | 17k| 450 | 17k| 258 | 0 |3223 |-3.000000e+01 |-2.900000e+01 | 3.45%
291.11/291.28 c 291s| 17800 | 146 |478790 | 26.6 | 31M| 84 | 60 | 450 | 17k| 450 | 17k| 258 | 0 |3262 |-3.000000e+01 |-2.900000e+01 | 3.45%
292.21/292.35 c 292s| 17900 | 142 |480995 | 26.5 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3263 |-3.000000e+01 |-2.900000e+01 | 3.45%
293.42/293.53 c 294s| 18000 | 140 |483328 | 26.5 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3274 |-3.000000e+01 |-2.900000e+01 | 3.45%
295.02/295.14 c 295s| 18100 | 130 |485884 | 26.5 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3288 |-3.000000e+01 |-2.900000e+01 | 3.45%
296.42/296.56 c 297s| 18200 | 122 |488842 | 26.5 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3300 |-3.000000e+01 |-2.900000e+01 | 3.45%
297.71/297.88 c 298s| 18300 | 124 |490798 | 26.5 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3324 |-3.000000e+01 |-2.900000e+01 | 3.45%
299.02/299.18 c 299s| 18400 | 122 |493590 | 26.5 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3335 |-3.000000e+01 |-2.900000e+01 | 3.45%
300.41/300.55 c 301s| 18500 | 118 |495855 | 26.5 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3356 |-3.000000e+01 |-2.900000e+01 | 3.45%
302.02/302.15 c 302s| 18600 | 116 |499122 | 26.5 | 30M| 84 | 48 | 450 | 17k| 450 | 17k| 258 | 0 |3375 |-3.000000e+01 |-2.900000e+01 | 3.45%
303.32/303.47 c 303s| 18700 | 126 |501641 | 26.5 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3389 |-3.000000e+01 |-2.900000e+01 | 3.45%
304.52/304.69 c 305s| 18800 | 126 |503720 | 26.5 | 31M| 84 | 48 | 450 | 17k| 450 | 17k| 258 | 0 |3404 |-3.000000e+01 |-2.900000e+01 | 3.45%
306.11/306.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.11/306.23 c 306s| 18900 | 128 |506877 | 26.5 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3417 |-3.000000e+01 |-2.900000e+01 | 3.45%
307.82/307.97 c 308s| 19000 | 134 |510334 | 26.5 | 31M| 84 | 52 | 450 | 17k| 450 | 17k| 258 | 0 |3438 |-3.000000e+01 |-2.900000e+01 | 3.45%
308.92/309.04 c 309s| 19100 | 136 |512519 | 26.5 | 31M| 84 | 50 | 450 | 17k| 450 | 17k| 258 | 0 |3446 |-3.000000e+01 |-2.900000e+01 | 3.45%
311.22/311.33 c 311s| 19200 | 132 |517306 | 26.6 | 31M| 84 | 48 | 450 | 17k| 450 | 17k| 258 | 0 |3468 |-3.000000e+01 |-2.900000e+01 | 3.45%
312.32/312.47 c 312s| 19300 | 130 |519539 | 26.6 | 31M| 84 | 59 | 450 | 17k| 450 | 17k| 258 | 0 |3476 |-3.000000e+01 |-2.900000e+01 | 3.45%
313.71/313.83 c 314s| 19400 | 128 |522192 | 26.6 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3491 |-3.000000e+01 |-2.900000e+01 | 3.45%
315.01/315.16 c 315s| 19500 | 132 |524539 | 26.6 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3508 |-3.000000e+01 |-2.900000e+01 | 3.45%
317.21/317.33 c 317s| 19600 | 134 |528731 | 26.7 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3536 |-3.000000e+01 |-2.900000e+01 | 3.45%
320.31/320.41 c 320s| 19700 | 162 |535119 | 26.9 | 32M| 84 | 72 | 450 | 17k| 450 | 17k| 258 | 0 |3570 |-3.000000e+01 |-2.900000e+01 | 3.45%
321.82/321.96 c 322s| 19800 | 172 |538314 | 26.9 | 32M| 84 | 79 | 450 | 17k| 450 | 17k| 258 | 0 |3579 |-3.000000e+01 |-2.900000e+01 | 3.45%
323.51/323.62 c 324s| 19900 | 176 |541558 | 26.9 | 33M| 84 | 66 | 450 | 17k| 450 | 17k| 258 | 0 |3595 |-3.000000e+01 |-2.900000e+01 | 3.45%
325.01/325.16 c 325s| 20000 | 182 |545027 | 27.0 | 33M| 84 | 71 | 450 | 17k| 450 | 17k| 258 | 0 |3604 |-3.000000e+01 |-2.900000e+01 | 3.45%
326.11/326.20 c 326s| 20100 | 180 |547207 | 26.9 | 33M| 84 | 73 | 450 | 17k| 450 | 17k| 258 | 0 |3606 |-3.000000e+01 |-2.900000e+01 | 3.45%
327.21/327.32 c 327s| 20200 | 176 |549590 | 26.9 | 33M| 84 | 61 | 450 | 17k| 450 | 17k| 258 | 0 |3608 |-3.000000e+01 |-2.900000e+01 | 3.45%
328.41/328.59 c 329s| 20300 | 172 |552696 | 26.9 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3610 |-3.000000e+01 |-2.900000e+01 | 3.45%
329.61/329.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.61/329.73 c 330s| 20400 | 168 |555309 | 26.9 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3614 |-3.000000e+01 |-2.900000e+01 | 3.45%
331.81/331.97 c 332s| 20500 | 180 |561418 | 27.1 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3615 |-3.000000e+01 |-2.900000e+01 | 3.45%
333.81/333.97 c 334s| 20600 | 192 |566804 | 27.2 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3618 |-3.000000e+01 |-2.900000e+01 | 3.45%
335.11/335.25 c 335s| 20700 | 208 |569585 | 27.2 | 34M| 84 | 50 | 450 | 17k| 450 | 17k| 258 | 0 |3619 |-3.000000e+01 |-2.900000e+01 | 3.45%
336.41/336.51 c 337s| 20800 | 208 |572630 | 27.2 | 34M| 84 | 78 | 450 | 17k| 450 | 17k| 258 | 0 |3619 |-3.000000e+01 |-2.900000e+01 | 3.45%
337.62/337.74 c 338s| 20900 | 208 |575346 | 27.2 | 34M| 84 | 86 | 450 | 17k| 450 | 17k| 258 | 0 |3620 |-3.000000e+01 |-2.900000e+01 | 3.45%
338.62/338.72 c 339s| 21000 | 210 |577271 | 27.2 | 34M| 84 | 50 | 450 | 17k| 450 | 17k| 258 | 0 |3620 |-3.000000e+01 |-2.900000e+01 | 3.45%
339.40/339.55 c 340s| 21100 | 204 |578747 | 27.1 | 34M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3620 |-3.000000e+01 |-2.900000e+01 | 3.45%
340.41/340.58 c 341s| 21200 | 206 |580887 | 27.1 | 34M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3622 |-3.000000e+01 |-2.900000e+01 | 3.45%
341.71/341.82 c 342s| 21300 | 202 |583475 | 27.1 | 34M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3623 |-3.000000e+01 |-2.900000e+01 | 3.45%
342.91/343.01 c 343s| 21400 | 202 |586364 | 27.1 | 34M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3624 |-3.000000e+01 |-2.900000e+01 | 3.45%
343.91/344.03 c 344s| 21500 | 204 |588703 | 27.1 | 34M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3624 |-3.000000e+01 |-2.900000e+01 | 3.45%
345.21/345.33 c 345s| 21600 | 190 |591876 | 27.1 | 34M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3628 |-3.000000e+01 |-2.900000e+01 | 3.45%
346.01/346.16 c 346s| 21700 | 194 |593492 | 27.1 | 34M| 84 | 53 | 450 | 17k| 450 | 17k| 258 | 0 |3628 |-3.000000e+01 |-2.900000e+01 | 3.45%
347.11/347.20 c 347s| 21800 | 190 |596082 | 27.1 | 34M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3628 |-3.000000e+01 |-2.900000e+01 | 3.45%
348.00/348.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.00/348.10 c 348s| 21900 | 188 |598138 | 27.0 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3628 |-3.000000e+01 |-2.900000e+01 | 3.45%
349.51/349.68 c 350s| 22000 | 188 |602517 | 27.1 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3628 |-3.000000e+01 |-2.900000e+01 | 3.45%
350.60/350.74 c 351s| 22100 | 192 |604895 | 27.1 | 34M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3628 |-3.000000e+01 |-2.900000e+01 | 3.45%
351.60/351.76 c 352s| 22200 | 196 |607178 | 27.1 | 34M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3629 |-3.000000e+01 |-2.900000e+01 | 3.45%
352.40/352.56 c 353s| 22300 | 196 |608839 | 27.0 | 34M| 84 | 69 | 450 | 17k| 450 | 17k| 258 | 0 |3629 |-3.000000e+01 |-2.900000e+01 | 3.45%
353.21/353.36 c 353s| 22400 | 196 |610566 | 27.0 | 34M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3629 |-3.000000e+01 |-2.900000e+01 | 3.45%
354.01/354.12 c 354s| 22500 | 196 |612000 | 26.9 | 34M| 84 | 36 | 450 | 17k| 450 | 17k| 258 | 0 |3630 |-3.000000e+01 |-2.900000e+01 | 3.45%
354.90/355.09 c 355s| 22600 | 198 |614671 | 26.9 | 34M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3630 |-3.000000e+01 |-2.900000e+01 | 3.45%
355.91/356.05 c 356s| 22700 | 198 |617128 | 26.9 | 34M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3631 |-3.000000e+01 |-2.900000e+01 | 3.45%
357.11/357.25 c 357s| 22800 | 196 |620355 | 26.9 | 34M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3634 |-3.000000e+01 |-2.900000e+01 | 3.45%
357.90/358.07 c 358s| 22900 | 190 |622234 | 26.9 | 33M| 84 | 53 | 450 | 17k| 450 | 17k| 258 | 0 |3634 |-3.000000e+01 |-2.900000e+01 | 3.45%
359.41/359.53 c 360s| 23000 | 182 |626306 | 27.0 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3634 |-3.000000e+01 |-2.900000e+01 | 3.45%
360.40/360.52 c 361s| 23100 | 178 |628378 | 26.9 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3635 |-3.000000e+01 |-2.900000e+01 | 3.45%
361.11/361.29 c 361s| 23200 | 180 |629916 | 26.9 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3635 |-3.000000e+01 |-2.900000e+01 | 3.45%
362.41/362.50 c 362s| 23300 | 180 |632989 | 26.9 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3636 |-3.000000e+01 |-2.900000e+01 | 3.45%
363.31/363.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
363.31/363.40 c 363s| 23400 | 184 |635041 | 26.9 | 33M| 84 | 70 | 450 | 17k| 450 | 17k| 258 | 0 |3636 |-3.000000e+01 |-2.900000e+01 | 3.45%
364.20/364.39 c 364s| 23500 | 180 |637417 | 26.9 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3636 |-3.000000e+01 |-2.900000e+01 | 3.45%
365.20/365.34 c 365s| 23600 | 184 |639596 | 26.8 | 33M| 84 | 53 | 450 | 17k| 450 | 17k| 258 | 0 |3637 |-3.000000e+01 |-2.900000e+01 | 3.45%
366.01/366.15 c 366s| 23700 | 180 |641345 | 26.8 | 33M| 84 | 62 | 450 | 17k| 450 | 17k| 258 | 0 |3637 |-3.000000e+01 |-2.900000e+01 | 3.45%
367.31/367.41 c 367s| 23800 | 176 |644589 | 26.8 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3637 |-3.000000e+01 |-2.900000e+01 | 3.45%
368.31/368.44 c 368s| 23900 | 176 |646825 | 26.8 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3640 |-3.000000e+01 |-2.900000e+01 | 3.45%
369.20/369.35 c 369s| 24000 | 172 |649021 | 26.8 | 33M| 84 | 60 | 450 | 17k| 450 | 17k| 258 | 0 |3640 |-3.000000e+01 |-2.900000e+01 | 3.45%
370.41/370.58 c 371s| 24100 | 174 |652293 | 26.8 | 33M| 84 | 53 | 450 | 17k| 450 | 17k| 258 | 0 |3640 |-3.000000e+01 |-2.900000e+01 | 3.45%
371.71/371.85 c 372s| 24200 | 164 |655557 | 26.8 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3642 |-3.000000e+01 |-2.900000e+01 | 3.45%
372.81/372.99 c 373s| 24300 | 174 |658012 | 26.8 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3644 |-3.000000e+01 |-2.900000e+01 | 3.45%
374.00/374.18 c 374s| 24400 | 174 |661179 | 26.9 | 33M| 84 | 54 | 450 | 17k| 450 | 17k| 258 | 0 |3646 |-3.000000e+01 |-2.900000e+01 | 3.45%
375.11/375.25 c 375s| 24500 | 172 |663764 | 26.8 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3647 |-3.000000e+01 |-2.900000e+01 | 3.45%
376.50/376.63 c 377s| 24600 | 184 |667366 | 26.9 | 33M| 84 | 53 | 450 | 17k| 450 | 17k| 258 | 0 |3647 |-3.000000e+01 |-2.900000e+01 | 3.45%
377.50/377.60 c 378s| 24700 | 188 |669739 | 26.9 | 33M| 84 | 74 | 450 | 17k| 450 | 17k| 258 | 0 |3647 |-3.000000e+01 |-2.900000e+01 | 3.45%
378.31/378.48 c 378s| 24800 | 196 |671787 | 26.8 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3647 |-3.000000e+01 |-2.900000e+01 | 3.45%
379.20/379.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
379.20/379.32 c 379s| 24900 | 200 |673698 | 26.8 | 33M| 84 | 53 | 450 | 17k| 450 | 17k| 258 | 0 |3647 |-3.000000e+01 |-2.900000e+01 | 3.45%
379.90/380.08 c 380s| 25000 | 196 |675341 | 26.8 | 33M| 84 | 48 | 450 | 17k| 450 | 17k| 258 | 0 |3647 |-3.000000e+01 |-2.900000e+01 | 3.45%
380.90/381.07 c 381s| 25100 | 192 |677802 | 26.8 | 33M| 84 | 55 | 450 | 17k| 450 | 17k| 258 | 0 |3648 |-3.000000e+01 |-2.900000e+01 | 3.45%
381.80/381.96 c 382s| 25200 | 196 |679806 | 26.7 | 33M| 84 | 43 | 450 | 17k| 450 | 17k| 258 | 0 |3648 |-3.000000e+01 |-2.900000e+01 | 3.45%
382.60/382.80 c 383s| 25300 | 194 |681601 | 26.7 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3648 |-3.000000e+01 |-2.900000e+01 | 3.45%
383.60/383.70 c 384s| 25400 | 192 |683720 | 26.7 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3648 |-3.000000e+01 |-2.900000e+01 | 3.45%
384.70/384.90 c 385s| 25500 | 184 |686910 | 26.7 | 33M| 84 | 67 | 450 | 17k| 450 | 17k| 258 | 0 |3649 |-3.000000e+01 |-2.900000e+01 | 3.45%
385.70/385.82 c 386s| 25600 | 188 |689229 | 26.7 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3649 |-3.000000e+01 |-2.900000e+01 | 3.45%
386.70/386.80 c 387s| 25700 | 186 |691754 | 26.7 | 33M| 84 | 59 | 450 | 17k| 450 | 17k| 258 | 0 |3649 |-3.000000e+01 |-2.900000e+01 | 3.45%
387.70/387.84 c 388s| 25800 | 192 |694289 | 26.7 | 33M| 84 | 51 | 450 | 17k| 450 | 17k| 258 | 0 |3649 |-3.000000e+01 |-2.900000e+01 | 3.45%
388.60/388.71 c 389s| 25900 | 190 |696343 | 26.7 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3649 |-3.000000e+01 |-2.900000e+01 | 3.45%
389.50/389.68 c 390s| 26000 | 190 |698850 | 26.6 | 33M| 84 | 58 | 450 | 17k| 450 | 17k| 258 | 0 |3649 |-3.000000e+01 |-2.900000e+01 | 3.45%
390.70/390.82 c 391s| 26100 | 190 |701900 | 26.7 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3650 |-3.000000e+01 |-2.900000e+01 | 3.45%
391.80/391.91 c 392s| 26200 | 190 |704614 | 26.7 | 33M| 84 | 100 | 450 | 17k| 450 | 17k| 258 | 0 |3650 |-3.000000e+01 |-2.900000e+01 | 3.45%
392.70/392.87 c 393s| 26300 | 196 |706792 | 26.6 | 34M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3650 |-3.000000e+01 |-2.900000e+01 | 3.45%
393.80/393.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
393.80/393.93 c 394s| 26400 | 204 |709302 | 26.6 | 34M| 84 | 89 | 450 | 17k| 450 | 17k| 258 | 0 |3650 |-3.000000e+01 |-2.900000e+01 | 3.45%
394.70/394.81 c 395s| 26500 | 204 |711279 | 26.6 | 34M| 84 | 77 | 450 | 17k| 450 | 17k| 258 | 0 |3650 |-3.000000e+01 |-2.900000e+01 | 3.45%
395.49/395.68 c 396s| 26600 | 202 |713282 | 26.6 | 34M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3650 |-3.000000e+01 |-2.900000e+01 | 3.45%
396.40/396.59 c 397s| 26700 | 200 |715282 | 26.6 | 34M| 84 | 81 | 450 | 17k| 450 | 17k| 258 | 0 |3650 |-3.000000e+01 |-2.900000e+01 | 3.45%
397.30/397.44 c 397s| 26800 | 202 |717221 | 26.5 | 34M| 84 | 69 | 450 | 17k| 450 | 17k| 258 | 0 |3650 |-3.000000e+01 |-2.900000e+01 | 3.45%
398.40/398.52 c 399s| 26900 | 204 |720187 | 26.6 | 34M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3650 |-3.000000e+01 |-2.900000e+01 | 3.45%
399.50/399.64 c 400s| 27000 | 204 |723006 | 26.6 | 34M| 84 | 57 | 450 | 17k| 450 | 17k| 258 | 0 |3650 |-3.000000e+01 |-2.900000e+01 | 3.45%
400.70/400.80 c 401s| 27100 | 200 |726107 | 26.6 | 34M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3650 |-3.000000e+01 |-2.900000e+01 | 3.45%
402.00/402.19 c 402s| 27200 | 198 |730084 | 26.6 | 34M| 84 | 66 | 450 | 17k| 450 | 17k| 258 | 0 |3651 |-3.000000e+01 |-2.900000e+01 | 3.45%
403.09/403.24 c 403s| 27300 | 194 |732912 | 26.6 | 34M| 84 | 55 | 450 | 17k| 450 | 17k| 258 | 0 |3651 |-3.000000e+01 |-2.900000e+01 | 3.45%
404.09/404.27 c 404s| 27400 | 186 |735548 | 26.6 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3651 |-3.000000e+01 |-2.900000e+01 | 3.45%
405.00/405.11 c 405s| 27500 | 188 |737429 | 26.6 | 33M| 84 | 62 | 450 | 17k| 450 | 17k| 258 | 0 |3651 |-3.000000e+01 |-2.900000e+01 | 3.45%
405.89/406.01 c 406s| 27600 | 182 |739693 | 26.6 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3651 |-3.000000e+01 |-2.900000e+01 | 3.45%
406.91/407.08 c 407s| 27700 | 184 |741834 | 26.6 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3651 |-3.000000e+01 |-2.900000e+01 | 3.45%
408.20/408.34 c 408s| 27800 | 176 |745310 | 26.6 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3651 |-3.000000e+01 |-2.900000e+01 | 3.45%
409.29/409.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.29/409.45 c 409s| 27900 | 176 |748280 | 26.6 | 33M| 84 | 46 | 450 | 17k| 450 | 17k| 258 | 0 |3651 |-3.000000e+01 |-2.900000e+01 | 3.45%
410.30/410.42 c 410s| 28000 | 178 |750824 | 26.6 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3652 |-3.000000e+01 |-2.900000e+01 | 3.45%
411.40/411.53 c 412s| 28100 | 178 |753582 | 26.6 | 33M| 84 | 58 | 450 | 17k| 450 | 17k| 258 | 0 |3653 |-3.000000e+01 |-2.900000e+01 | 3.45%
412.20/412.35 c 412s| 28200 | 178 |755395 | 26.6 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3653 |-3.000000e+01 |-2.900000e+01 | 3.45%
413.50/413.69 c 414s| 28300 | 170 |759256 | 26.6 | 33M| 84 | 59 | 450 | 17k| 450 | 17k| 258 | 0 |3653 |-3.000000e+01 |-2.900000e+01 | 3.45%
414.39/414.57 c 415s| 28400 | 168 |761158 | 26.6 | 33M| 84 | 64 | 450 | 17k| 450 | 17k| 258 | 0 |3653 |-3.000000e+01 |-2.900000e+01 | 3.45%
415.71/415.89 c 416s| 28500 | 164 |764751 | 26.6 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3654 |-3.000000e+01 |-2.900000e+01 | 3.45%
416.70/416.82 c 417s| 28600 | 164 |767060 | 26.6 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3654 |-3.000000e+01 |-2.900000e+01 | 3.45%
417.80/417.95 c 418s| 28700 | 166 |770007 | 26.6 | 33M| 84 | 51 | 450 | 17k| 450 | 17k| 258 | 0 |3655 |-3.000000e+01 |-2.900000e+01 | 3.45%
418.90/419.05 c 419s| 28800 | 170 |772789 | 26.6 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3655 |-3.000000e+01 |-2.900000e+01 | 3.45%
419.90/420.08 c 420s| 28900 | 166 |775304 | 26.6 | 33M| 84 | 68 | 450 | 17k| 450 | 17k| 258 | 0 |3655 |-3.000000e+01 |-2.900000e+01 | 3.45%
421.21/421.36 c 421s| 29000 | 174 |778541 | 26.6 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3655 |-3.000000e+01 |-2.900000e+01 | 3.45%
422.30/422.46 c 422s| 29100 | 168 |781493 | 26.6 | 33M| 84 | 66 | 450 | 17k| 450 | 17k| 258 | 0 |3655 |-3.000000e+01 |-2.900000e+01 | 3.45%
423.50/423.64 c 424s| 29200 | 170 |784564 | 26.7 | 33M| 84 | 48 | 450 | 17k| 450 | 17k| 258 | 0 |3655 |-3.000000e+01 |-2.900000e+01 | 3.45%
424.50/424.68 c 425s| 29300 | 168 |787210 | 26.7 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3655 |-3.000000e+01 |-2.900000e+01 | 3.45%
425.99/426.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
425.99/426.11 c 426s| 29400 | 164 |791240 | 26.7 | 33M| 84 | 55 | 450 | 17k| 450 | 17k| 258 | 0 |3655 |-3.000000e+01 |-2.900000e+01 | 3.45%
426.70/426.89 c 427s| 29500 | 162 |792592 | 26.7 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3655 |-3.000000e+01 |-2.900000e+01 | 3.45%
427.80/427.97 c 428s| 29600 | 162 |795388 | 26.7 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3655 |-3.000000e+01 |-2.900000e+01 | 3.45%
429.09/429.26 c 429s| 29700 | 158 |798993 | 26.7 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3655 |-3.000000e+01 |-2.900000e+01 | 3.45%
430.39/430.59 c 431s| 29800 | 162 |802598 | 26.7 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3655 |-3.000000e+01 |-2.900000e+01 | 3.45%
431.59/431.72 c 432s| 29900 | 166 |805361 | 26.7 | 33M| 84 | 78 | 450 | 17k| 450 | 17k| 258 | 0 |3655 |-3.000000e+01 |-2.900000e+01 | 3.45%
432.59/432.79 c 433s| 30000 | 168 |807875 | 26.7 | 33M| 84 | 83 | 450 | 17k| 450 | 17k| 258 | 0 |3655 |-3.000000e+01 |-2.900000e+01 | 3.45%
433.59/433.74 c 434s| 30100 | 166 |809924 | 26.7 | 33M| 84 | 75 | 450 | 17k| 450 | 17k| 258 | 0 |3655 |-3.000000e+01 |-2.900000e+01 | 3.45%
434.59/434.74 c 435s| 30200 | 164 |812353 | 26.7 | 33M| 84 | 54 | 450 | 17k| 450 | 17k| 258 | 0 |3655 |-3.000000e+01 |-2.900000e+01 | 3.45%
435.69/435.83 c 436s| 30300 | 162 |815012 | 26.7 | 33M| 84 | 44 | 450 | 17k| 450 | 17k| 258 | 0 |3655 |-3.000000e+01 |-2.900000e+01 | 3.45%
437.49/437.63 c 438s| 30400 | 158 |818110 | 26.7 | 32M| 84 | 50 | 450 | 17k| 450 | 17k| 258 | 0 |3683 |-3.000000e+01 |-2.900000e+01 | 3.45%
438.69/438.84 c 439s| 30500 | 160 |821327 | 26.7 | 33M| 84 | 46 | 450 | 17k| 450 | 17k| 258 | 0 |3684 |-3.000000e+01 |-2.900000e+01 | 3.45%
440.19/440.30 c 440s| 30600 | 156 |824464 | 26.7 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3691 |-3.000000e+01 |-2.900000e+01 | 3.45%
442.00/442.18 c 442s| 30700 | 150 |827731 | 26.8 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3724 |-3.000000e+01 |-2.900000e+01 | 3.45%
443.09/443.23 c 443s| 30800 | 148 |830402 | 26.8 | 32M| 84 | 55 | 450 | 17k| 450 | 17k| 258 | 0 |3724 |-3.000000e+01 |-2.900000e+01 | 3.45%
444.20/444.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
444.20/444.39 c 444s| 30900 | 156 |832619 | 26.8 | 32M| 84 | 49 | 450 | 17k| 450 | 17k| 258 | 0 |3738 |-3.000000e+01 |-2.900000e+01 | 3.45%
445.39/445.56 c 446s| 31000 | 154 |834656 | 26.7 | 32M| 84 | 52 | 450 | 17k| 450 | 17k| 258 | 0 |3755 |-3.000000e+01 |-2.900000e+01 | 3.45%
446.69/446.80 c 447s| 31100 | 156 |837299 | 26.7 | 32M| 84 | 54 | 450 | 17k| 450 | 17k| 258 | 0 |3767 |-3.000000e+01 |-2.900000e+01 | 3.45%
447.99/448.10 c 448s| 31200 | 158 |839831 | 26.7 | 32M| 84 | 40 | 450 | 17k| 450 | 17k| 258 | 0 |3782 |-3.000000e+01 |-2.900000e+01 | 3.45%
449.09/449.29 c 449s| 31300 | 154 |841863 | 26.7 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3798 |-3.000000e+01 |-2.900000e+01 | 3.45%
449.99/450.18 c 450s| 31400 | 152 |843829 | 26.7 | 32M| 84 | 48 | 450 | 17k| 450 | 17k| 258 | 0 |3798 |-3.000000e+01 |-2.900000e+01 | 3.45%
451.29/451.48 c 451s| 31500 | 150 |846256 | 26.7 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3815 |-3.000000e+01 |-2.900000e+01 | 3.45%
453.10/453.21 c 453s| 31600 | 146 |849002 | 26.7 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3845 |-3.000000e+01 |-2.900000e+01 | 3.45%
453.89/454.06 c 454s| 31700 | 148 |850941 | 26.7 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3845 |-3.000000e+01 |-2.900000e+01 | 3.45%
455.09/455.27 c 455s| 31800 | 146 |853543 | 26.7 | 32M| 84 | 84 | 450 | 17k| 450 | 17k| 258 | 0 |3854 |-3.000000e+01 |-2.900000e+01 | 3.45%
457.28/457.44 c 457s| 31900 | 144 |858239 | 26.7 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3877 |-3.000000e+01 |-2.900000e+01 | 3.45%
459.29/459.45 c 459s| 32000 | 150 |862253 | 26.8 | 32M| 84 | 81 | 450 | 17k| 450 | 17k| 258 | 0 |3907 |-3.000000e+01 |-2.900000e+01 | 3.45%
460.49/460.69 c 461s| 32100 | 148 |865262 | 26.8 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3917 |-3.000000e+01 |-2.900000e+01 | 3.45%
461.80/461.98 c 462s| 32200 | 146 |867787 | 26.8 | 32M| 84 | 83 | 450 | 17k| 450 | 17k| 258 | 0 |3935 |-3.000000e+01 |-2.900000e+01 | 3.45%
463.09/463.23 c 463s| 32300 | 152 |870368 | 26.8 | 32M| 84 | 67 | 450 | 17k| 450 | 17k| 258 | 0 |3946 |-3.000000e+01 |-2.900000e+01 | 3.45%
464.09/464.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
464.09/464.24 c 464s| 32400 | 150 |872363 | 26.7 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3953 |-3.000000e+01 |-2.900000e+01 | 3.45%
465.68/465.82 c 466s| 32500 | 142 |874972 | 26.7 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |3979 |-3.000000e+01 |-2.900000e+01 | 3.45%
467.29/467.47 c 467s| 32600 | 144 |878719 | 26.8 | 32M| 84 | 48 | 450 | 17k| 450 | 17k| 258 | 0 |3991 |-3.000000e+01 |-2.900000e+01 | 3.45%
468.99/469.16 c 469s| 32700 | 144 |883044 | 26.8 | 32M| 84 | 81 | 450 | 17k| 450 | 17k| 258 | 0 |3998 |-3.000000e+01 |-2.900000e+01 | 3.45%
470.39/470.58 c 471s| 32800 | 154 |886014 | 26.8 | 32M| 84 | 46 | 450 | 17k| 450 | 17k| 258 | 0 |4012 |-3.000000e+01 |-2.900000e+01 | 3.45%
471.58/471.76 c 472s| 32900 | 154 |888695 | 26.8 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4020 |-3.000000e+01 |-2.900000e+01 | 3.45%
472.69/472.85 c 473s| 33000 | 152 |890594 | 26.8 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4032 |-3.000000e+01 |-2.900000e+01 | 3.45%
473.89/474.02 c 474s| 33100 | 158 |893360 | 26.8 | 32M| 84 | 56 | 450 | 17k| 450 | 17k| 258 | 0 |4041 |-3.000000e+01 |-2.900000e+01 | 3.45%
474.99/475.19 c 475s| 33200 | 158 |895914 | 26.8 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4051 |-3.000000e+01 |-2.900000e+01 | 3.45%
476.10/476.25 c 476s| 33300 | 160 |898119 | 26.8 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4059 |-3.000000e+01 |-2.900000e+01 | 3.45%
476.89/477.08 c 477s| 33400 | 158 |899572 | 26.8 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4064 |-3.000000e+01 |-2.900000e+01 | 3.45%
477.79/477.95 c 478s| 33500 | 160 |901453 | 26.7 | 32M| 84 | 50 | 450 | 17k| 450 | 17k| 258 | 0 |4067 |-3.000000e+01 |-2.900000e+01 | 3.45%
478.88/479.06 c 479s| 33600 | 156 |904458 | 26.7 | 32M| 84 | 55 | 450 | 17k| 450 | 17k| 258 | 0 |4067 |-3.000000e+01 |-2.900000e+01 | 3.45%
479.89/480.07 c 480s| 33700 | 164 |906918 | 26.7 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4070 |-3.000000e+01 |-2.900000e+01 | 3.45%
480.99/481.10 c 481s| 33800 | 152 |909595 | 26.7 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4071 |-3.000000e+01 |-2.900000e+01 | 3.45%
481.98/482.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
481.98/482.13 c 482s| 33900 | 156 |912216 | 26.7 | 32M| 84 | 56 | 450 | 17k| 450 | 17k| 258 | 0 |4072 |-3.000000e+01 |-2.900000e+01 | 3.45%
483.19/483.30 c 483s| 34000 | 158 |915097 | 26.7 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4074 |-3.000000e+01 |-2.900000e+01 | 3.45%
484.18/484.31 c 484s| 34100 | 156 |917797 | 26.7 | 32M| 84 | 77 | 450 | 17k| 450 | 17k| 258 | 0 |4074 |-3.000000e+01 |-2.900000e+01 | 3.45%
485.18/485.32 c 485s| 34200 | 162 |920290 | 26.7 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4075 |-3.000000e+01 |-2.900000e+01 | 3.45%
486.18/486.32 c 486s| 34300 | 164 |922678 | 26.7 | 33M| 84 | 68 | 450 | 17k| 450 | 17k| 258 | 0 |4076 |-3.000000e+01 |-2.900000e+01 | 3.45%
487.19/487.30 c 487s| 34400 | 170 |925158 | 26.7 | 33M| 84 | 46 | 450 | 17k| 450 | 17k| 258 | 0 |4077 |-3.000000e+01 |-2.900000e+01 | 3.45%
487.99/488.13 c 488s| 34500 | 166 |927073 | 26.7 | 33M| 84 | 79 | 450 | 17k| 450 | 17k| 258 | 0 |4077 |-3.000000e+01 |-2.900000e+01 | 3.45%
488.98/489.13 c 489s| 34600 | 170 |929603 | 26.7 | 33M| 84 | 54 | 450 | 17k| 450 | 17k| 258 | 0 |4077 |-3.000000e+01 |-2.900000e+01 | 3.45%
489.98/490.10 c 490s| 34700 | 168 |931793 | 26.7 | 33M| 84 | 71 | 450 | 17k| 450 | 17k| 258 | 0 |4077 |-3.000000e+01 |-2.900000e+01 | 3.45%
490.78/490.92 c 491s| 34800 | 170 |933419 | 26.7 | 33M| 84 | 52 | 450 | 17k| 450 | 17k| 258 | 0 |4078 |-3.000000e+01 |-2.900000e+01 | 3.45%
491.78/491.90 c 492s| 34900 | 164 |935751 | 26.6 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4082 |-3.000000e+01 |-2.900000e+01 | 3.45%
492.78/492.98 c 493s| 35000 | 160 |938338 | 26.6 | 33M| 84 | 49 | 450 | 17k| 450 | 17k| 258 | 0 |4083 |-3.000000e+01 |-2.900000e+01 | 3.45%
493.98/494.15 c 494s| 35100 | 156 |941302 | 26.6 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4086 |-3.000000e+01 |-2.900000e+01 | 3.45%
495.39/495.56 c 496s| 35200 | 156 |945169 | 26.7 | 33M| 84 | 42 | 450 | 17k| 450 | 17k| 258 | 0 |4087 |-3.000000e+01 |-2.900000e+01 | 3.45%
496.99/497.15 c 497s| 35300 | 156 |949795 | 26.7 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4087 |-3.000000e+01 |-2.900000e+01 | 3.45%
497.98/498.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.98/498.11 c 498s| 35400 | 152 |952140 | 26.7 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4087 |-3.000000e+01 |-2.900000e+01 | 3.45%
499.19/499.33 c 499s| 35500 | 148 |955272 | 26.7 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4092 |-3.000000e+01 |-2.900000e+01 | 3.45%
500.39/500.54 c 501s| 35600 | 146 |957510 | 26.7 | 32M| 84 | 52 | 450 | 17k| 450 | 17k| 258 | 0 |4109 |-3.000000e+01 |-2.900000e+01 | 3.45%
501.98/502.12 c 502s| 35700 | 144 |960826 | 26.7 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4129 |-3.000000e+01 |-2.900000e+01 | 3.45%
503.78/503.91 c 504s| 35800 | 146 |963499 | 26.7 | 32M| 84 | 75 | 450 | 17k| 450 | 17k| 258 | 0 |4163 |-3.000000e+01 |-2.900000e+01 | 3.45%
504.48/504.66 c 505s| 35900 | 148 |965015 | 26.7 | 32M| 84 | 76 | 450 | 17k| 450 | 17k| 258 | 0 |4163 |-3.000000e+01 |-2.900000e+01 | 3.45%
505.38/505.58 c 506s| 36000 | 158 |967233 | 26.7 | 33M| 84 | 63 | 450 | 17k| 450 | 17k| 258 | 0 |4163 |-3.000000e+01 |-2.900000e+01 | 3.45%
506.28/506.41 c 506s| 36100 | 160 |969080 | 26.7 | 33M| 84 | 60 | 450 | 17k| 450 | 17k| 258 | 0 |4163 |-3.000000e+01 |-2.900000e+01 | 3.45%
507.18/507.30 c 507s| 36200 | 152 |970712 | 26.7 | 32M| 84 | 72 | 450 | 17k| 450 | 17k| 258 | 0 |4170 |-3.000000e+01 |-2.900000e+01 | 3.45%
508.38/508.53 c 509s| 36300 | 154 |972673 | 26.6 | 33M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4194 |-3.000000e+01 |-2.900000e+01 | 3.45%
509.28/509.43 c 509s| 36400 | 158 |974761 | 26.6 | 33M| 84 | 62 | 450 | 17k| 450 | 17k| 258 | 0 |4194 |-3.000000e+01 |-2.900000e+01 | 3.45%
510.58/510.76 c 511s| 36500 | 152 |977357 | 26.6 | 32M| 84 | 48 | 450 | 17k| 450 | 17k| 258 | 0 |4213 |-3.000000e+01 |-2.900000e+01 | 3.45%
511.58/511.74 c 512s| 36600 | 150 |979303 | 26.6 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4222 |-3.000000e+01 |-2.900000e+01 | 3.45%
512.98/513.13 c 513s| 36700 | 146 |982068 | 26.6 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4237 |-3.000000e+01 |-2.900000e+01 | 3.45%
514.59/514.74 c 515s| 36800 | 146 |985505 | 26.6 | 32M| 84 | 60 | 450 | 17k| 450 | 17k| 258 | 0 |4258 |-3.000000e+01 |-2.900000e+01 | 3.45%
515.98/516.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
515.98/516.13 c 516s| 36900 | 144 |988222 | 26.6 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4276 |-3.000000e+01 |-2.900000e+01 | 3.45%
517.08/517.28 c 517s| 37000 | 144 |990373 | 26.6 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4288 |-3.000000e+01 |-2.900000e+01 | 3.45%
518.27/518.41 c 518s| 37100 | 142 |992894 | 26.6 | 32M| 84 | 50 | 450 | 17k| 450 | 17k| 258 | 0 |4296 |-3.000000e+01 |-2.900000e+01 | 3.45%
519.58/519.77 c 520s| 37200 | 146 |995542 | 26.6 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4317 |-3.000000e+01 |-2.900000e+01 | 3.45%
520.88/521.04 c 521s| 37300 | 134 |998150 | 26.6 | 32M| 84 | 57 | 450 | 17k| 450 | 17k| 258 | 0 |4333 |-3.000000e+01 |-2.900000e+01 | 3.45%
522.68/522.86 c 523s| 37400 | 136 | 1002k| 26.6 | 32M| 84 | 42 | 450 | 17k| 450 | 17k| 258 | 0 |4350 |-3.000000e+01 |-2.900000e+01 | 3.45%
524.18/524.34 c 524s| 37500 | 134 | 1005k| 26.6 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4367 |-3.000000e+01 |-2.900000e+01 | 3.45%
525.48/525.66 c 526s| 37600 | 134 | 1008k| 26.7 | 32M| 84 | 57 | 450 | 17k| 450 | 17k| 258 | 0 |4378 |-3.000000e+01 |-2.900000e+01 | 3.45%
526.88/527.04 c 527s| 37700 | 128 | 1010k| 26.7 | 32M| 84 | 53 | 450 | 17k| 450 | 17k| 258 | 0 |4396 |-3.000000e+01 |-2.900000e+01 | 3.45%
528.38/528.53 c 529s| 37800 | 128 | 1014k| 26.7 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4414 |-3.000000e+01 |-2.900000e+01 | 3.45%
529.48/529.68 c 530s| 37900 | 126 | 1015k| 26.6 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4426 |-3.000000e+01 |-2.900000e+01 | 3.45%
530.97/531.19 c 531s| 38000 | 128 | 1019k| 26.7 | 32M| 84 | 59 | 450 | 17k| 450 | 17k| 258 | 0 |4441 |-3.000000e+01 |-2.900000e+01 | 3.45%
532.88/533.08 c 533s| 38100 | 130 | 1023k| 26.7 | 32M| 84 | 50 | 450 | 17k| 450 | 17k| 258 | 0 |4458 |-3.000000e+01 |-2.900000e+01 | 3.45%
534.18/534.39 c 534s| 38200 | 124 | 1026k| 26.7 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4468 |-3.000000e+01 |-2.900000e+01 | 3.45%
536.48/536.63 c 537s| 38300 | 122 | 1030k| 26.8 | 31M| 84 | 72 | 450 | 17k| 450 | 17k| 258 | 0 |4487 |-3.000000e+01 |-2.900000e+01 | 3.45%
537.79/537.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
537.79/537.91 c 538s| 38400 | 130 | 1033k| 26.8 | 32M| 84 | 52 | 450 | 17k| 450 | 17k| 258 | 0 |4496 |-3.000000e+01 |-2.900000e+01 | 3.45%
538.78/538.91 c 539s| 38500 | 130 | 1035k| 26.7 | 32M| 84 | 52 | 450 | 17k| 450 | 17k| 258 | 0 |4506 |-3.000000e+01 |-2.900000e+01 | 3.45%
539.88/540.09 c 540s| 38600 | 126 | 1038k| 26.7 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4514 |-3.000000e+01 |-2.900000e+01 | 3.45%
540.87/541.05 c 541s| 38700 | 126 | 1040k| 26.7 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4517 |-3.000000e+01 |-2.900000e+01 | 3.45%
541.78/541.98 c 542s| 38800 | 124 | 1042k| 26.7 | 32M| 84 | 65 | 450 | 17k| 450 | 17k| 258 | 0 |4520 |-3.000000e+01 |-2.900000e+01 | 3.45%
542.88/543.01 c 543s| 38900 | 128 | 1044k| 26.7 | 32M| 84 | 48 | 450 | 17k| 450 | 17k| 258 | 0 |4521 |-3.000000e+01 |-2.900000e+01 | 3.45%
543.97/544.12 c 544s| 39000 | 134 | 1047k| 26.7 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4527 |-3.000000e+01 |-2.900000e+01 | 3.45%
544.88/545.09 c 545s| 39100 | 124 | 1049k| 26.7 | 32M| 84 | 55 | 450 | 17k| 450 | 17k| 258 | 0 |4530 |-3.000000e+01 |-2.900000e+01 | 3.45%
546.58/546.79 c 547s| 39200 | 122 | 1053k| 26.7 | 31M| 84 | 52 | 450 | 17k| 450 | 17k| 258 | 0 |4537 |-3.000000e+01 |-2.900000e+01 | 3.45%
548.47/548.62 c 549s| 39300 | 118 | 1058k| 26.8 | 31M| 84 | 70 | 450 | 17k| 450 | 17k| 258 | 0 |4547 |-3.000000e+01 |-2.900000e+01 | 3.45%
549.48/549.65 c 550s| 39400 | 118 | 1060k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4548 |-3.000000e+01 |-2.900000e+01 | 3.45%
550.68/550.85 c 551s| 39500 | 116 | 1063k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4548 |-3.000000e+01 |-2.900000e+01 | 3.45%
551.68/551.83 c 552s| 39600 | 122 | 1066k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4550 |-3.000000e+01 |-2.900000e+01 | 3.45%
552.58/552.78 c 553s| 39700 | 120 | 1068k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4550 |-3.000000e+01 |-2.900000e+01 | 3.45%
553.57/553.70 c 554s| 39800 | 112 | 1070k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4551 |-3.000000e+01 |-2.900000e+01 | 3.45%
554.67/554.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
554.67/554.87 c 555s| 39900 | 114 | 1073k| 26.8 | 31M| 84 | 48 | 450 | 17k| 450 | 17k| 258 | 0 |4553 |-3.000000e+01 |-2.900000e+01 | 3.45%
555.68/555.84 c 556s| 40000 | 112 | 1076k| 26.8 | 31M| 84 | 78 | 450 | 17k| 450 | 17k| 258 | 0 |4554 |-3.000000e+01 |-2.900000e+01 | 3.45%
556.87/557.00 c 557s| 40100 | 108 | 1079k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4554 |-3.000000e+01 |-2.900000e+01 | 3.45%
558.07/558.29 c 558s| 40200 | 98 | 1082k| 26.8 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4558 |-3.000000e+01 |-2.900000e+01 | 3.45%
559.57/559.78 c 560s| 40300 | 102 | 1086k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4559 |-3.000000e+01 |-2.900000e+01 | 3.45%
560.78/560.91 c 561s| 40400 | 102 | 1088k| 26.8 | 31M| 84 | 65 | 450 | 17k| 450 | 17k| 258 | 0 |4559 |-3.000000e+01 |-2.900000e+01 | 3.45%
561.77/561.91 c 562s| 40500 | 100 | 1090k| 26.8 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4559 |-3.000000e+01 |-2.900000e+01 | 3.45%
563.08/563.28 c 563s| 40600 | 96 | 1094k| 26.8 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4562 |-3.000000e+01 |-2.900000e+01 | 3.45%
564.47/564.63 c 565s| 40700 | 102 | 1098k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4562 |-3.000000e+01 |-2.900000e+01 | 3.45%
565.47/565.65 c 566s| 40800 | 104 | 1100k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4563 |-3.000000e+01 |-2.900000e+01 | 3.45%
566.58/566.70 c 567s| 40900 | 102 | 1103k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4564 |-3.000000e+01 |-2.900000e+01 | 3.45%
567.38/567.55 c 568s| 41000 | 104 | 1105k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4564 |-3.000000e+01 |-2.900000e+01 | 3.45%
568.48/568.63 c 569s| 41100 | 104 | 1107k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4564 |-3.000000e+01 |-2.900000e+01 | 3.45%
569.38/569.56 c 570s| 41200 | 100 | 1109k| 26.8 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4564 |-3.000000e+01 |-2.900000e+01 | 3.45%
570.87/571.05 c 571s| 41300 | 98 | 1113k| 26.8 | 30M| 84 | 53 | 450 | 17k| 450 | 17k| 258 | 0 |4574 |-3.000000e+01 |-2.900000e+01 | 3.45%
572.27/572.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
572.27/572.43 c 572s| 41400 | 102 | 1116k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4584 |-3.000000e+01 |-2.900000e+01 | 3.45%
573.87/574.08 c 574s| 41500 | 100 | 1119k| 26.8 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4614 |-3.000000e+01 |-2.900000e+01 | 3.45%
574.97/575.12 c 575s| 41600 | 102 | 1122k| 26.8 | 30M| 84 | 61 | 450 | 17k| 450 | 17k| 258 | 0 |4614 |-3.000000e+01 |-2.900000e+01 | 3.45%
576.47/576.62 c 577s| 41700 | 104 | 1125k| 26.8 | 31M| 84 | 59 | 450 | 17k| 450 | 17k| 258 | 0 |4634 |-3.000000e+01 |-2.900000e+01 | 3.45%
577.57/577.73 c 578s| 41800 | 104 | 1127k| 26.8 | 31M| 84 | 53 | 450 | 17k| 450 | 17k| 258 | 0 |4636 |-3.000000e+01 |-2.900000e+01 | 3.45%
579.07/579.28 c 579s| 41900 | 104 | 1130k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4660 |-3.000000e+01 |-2.900000e+01 | 3.45%
580.07/580.24 c 580s| 42000 | 102 | 1132k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4660 |-3.000000e+01 |-2.900000e+01 | 3.45%
581.47/581.69 c 582s| 42100 | 102 | 1135k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4683 |-3.000000e+01 |-2.900000e+01 | 3.45%
583.17/583.33 c 583s| 42200 | 102 | 1139k| 26.9 | 30M| 84 | 48 | 450 | 17k| 450 | 17k| 258 | 0 |4698 |-3.000000e+01 |-2.900000e+01 | 3.45%
584.67/584.84 c 585s| 42300 | 104 | 1142k| 26.9 | 31M| 84 | 49 | 450 | 17k| 450 | 17k| 258 | 0 |4711 |-3.000000e+01 |-2.900000e+01 | 3.45%
585.87/586.04 c 586s| 42400 | 104 | 1144k| 26.9 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4723 |-3.000000e+01 |-2.900000e+01 | 3.45%
586.77/586.99 c 587s| 42500 | 102 | 1147k| 26.9 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4723 |-3.000000e+01 |-2.900000e+01 | 3.45%
588.37/588.55 c 589s| 42600 | 106 | 1150k| 26.9 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4743 |-3.000000e+01 |-2.900000e+01 | 3.45%
589.56/589.78 c 590s| 42700 | 110 | 1152k| 26.9 | 31M| 84 | 42 | 450 | 17k| 450 | 17k| 258 | 0 |4752 |-3.000000e+01 |-2.900000e+01 | 3.45%
590.57/590.76 c 591s| 42800 | 104 | 1154k| 26.8 | 31M| 84 | 44 | 450 | 17k| 450 | 17k| 258 | 0 |4759 |-3.000000e+01 |-2.900000e+01 | 3.45%
592.17/592.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.17/592.30 c 592s| 42900 | 100 | 1158k| 26.9 | 30M| 84 | 46 | 450 | 17k| 450 | 17k| 258 | 0 |4776 |-3.000000e+01 |-2.900000e+01 | 3.45%
593.77/593.91 c 594s| 43000 | 100 | 1161k| 26.9 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4792 |-3.000000e+01 |-2.900000e+01 | 3.45%
595.17/595.40 c 595s| 43100 | 94 | 1164k| 26.9 | 30M| 84 | 73 | 450 | 17k| 450 | 17k| 258 | 0 |4805 |-3.000000e+01 |-2.900000e+01 | 3.45%
596.26/596.47 c 596s| 43200 | 96 | 1166k| 26.9 | 30M| 84 | 50 | 450 | 17k| 450 | 17k| 258 | 0 |4816 |-3.000000e+01 |-2.900000e+01 | 3.45%
597.87/598.07 c 598s| 43300 | 92 | 1170k| 26.9 | 30M| 84 | 58 | 450 | 17k| 450 | 17k| 258 | 0 |4831 |-3.000000e+01 |-2.900000e+01 | 3.45%
599.17/599.38 c 599s| 43400 | 98 | 1173k| 26.9 | 30M| 84 | 52 | 450 | 17k| 450 | 17k| 258 | 0 |4840 |-3.000000e+01 |-2.900000e+01 | 3.45%
600.38/600.57 c 601s| 43500 | 102 | 1175k| 26.9 | 31M| 84 | 61 | 450 | 17k| 450 | 17k| 258 | 0 |4849 |-3.000000e+01 |-2.900000e+01 | 3.45%
601.27/601.42 c 601s| 43600 | 96 | 1176k| 26.9 | 30M| 84 | 71 | 450 | 17k| 450 | 17k| 258 | 0 |4852 |-3.000000e+01 |-2.900000e+01 | 3.45%
602.26/602.40 c 602s| 43700 | 94 | 1178k| 26.8 | 30M| 84 | 38 | 450 | 17k| 450 | 17k| 258 | 0 |4856 |-3.000000e+01 |-2.900000e+01 | 3.45%
603.57/603.73 c 604s| 43800 | 98 | 1181k| 26.8 | 30M| 84 | 56 | 450 | 17k| 450 | 17k| 258 | 0 |4874 |-3.000000e+01 |-2.900000e+01 | 3.45%
604.87/605.00 c 605s| 43900 | 96 | 1183k| 26.8 | 30M| 84 | 61 | 450 | 17k| 450 | 17k| 258 | 0 |4886 |-3.000000e+01 |-2.900000e+01 | 3.45%
606.06/606.26 c 606s| 44000 | 102 | 1186k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4895 |-3.000000e+01 |-2.900000e+01 | 3.45%
607.27/607.47 c 607s| 44100 | 106 | 1188k| 26.8 | 31M| 84 | 36 | 450 | 17k| 450 | 17k| 258 | 0 |4903 |-3.000000e+01 |-2.900000e+01 | 3.45%
608.46/608.63 c 609s| 44200 | 106 | 1191k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4912 |-3.000000e+01 |-2.900000e+01 | 3.45%
609.27/609.42 c 609s| 44300 | 104 | 1192k| 26.8 | 31M| 84 | 60 | 450 | 17k| 450 | 17k| 258 | 0 |4915 |-3.000000e+01 |-2.900000e+01 | 3.45%
610.38/610.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
610.38/610.51 c 611s| 44400 | 102 | 1195k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4919 |-3.000000e+01 |-2.900000e+01 | 3.45%
611.57/611.70 c 612s| 44500 | 102 | 1197k| 26.8 | 31M| 84 | 75 | 450 | 17k| 450 | 17k| 258 | 0 |4928 |-3.000000e+01 |-2.900000e+01 | 3.45%
612.77/612.98 c 613s| 44600 | 102 | 1200k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4935 |-3.000000e+01 |-2.900000e+01 | 3.45%
613.97/614.12 c 614s| 44700 | 96 | 1203k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4942 |-3.000000e+01 |-2.900000e+01 | 3.45%
615.16/615.36 c 615s| 44800 | 96 | 1206k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4945 |-3.000000e+01 |-2.900000e+01 | 3.45%
616.56/616.72 c 617s| 44900 | 96 | 1209k| 26.8 | 31M| 84 | 66 | 450 | 17k| 450 | 17k| 258 | 0 |4949 |-3.000000e+01 |-2.900000e+01 | 3.45%
618.56/618.75 c 619s| 45000 | 96 | 1215k| 26.9 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4954 |-3.000000e+01 |-2.900000e+01 | 3.45%
619.66/619.86 c 620s| 45100 | 104 | 1217k| 26.9 | 31M| 84 | 57 | 450 | 17k| 450 | 17k| 258 | 0 |4954 |-3.000000e+01 |-2.900000e+01 | 3.45%
620.86/621.07 c 621s| 45200 | 102 | 1220k| 26.9 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4956 |-3.000000e+01 |-2.900000e+01 | 3.45%
621.97/622.15 c 622s| 45300 | 100 | 1223k| 26.9 | 31M| 84 | 52 | 450 | 17k| 450 | 17k| 258 | 0 |4957 |-3.000000e+01 |-2.900000e+01 | 3.45%
623.16/623.30 c 623s| 45400 | 106 | 1226k| 26.9 | 31M| 84 | 64 | 450 | 17k| 450 | 17k| 258 | 0 |4960 |-3.000000e+01 |-2.900000e+01 | 3.45%
624.06/624.23 c 624s| 45500 | 108 | 1228k| 26.9 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4961 |-3.000000e+01 |-2.900000e+01 | 3.45%
625.16/625.31 c 625s| 45600 | 114 | 1231k| 26.9 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4963 |-3.000000e+01 |-2.900000e+01 | 3.45%
626.16/626.34 c 626s| 45700 | 112 | 1233k| 26.9 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4965 |-3.000000e+01 |-2.900000e+01 | 3.45%
627.07/627.25 c 627s| 45800 | 112 | 1236k| 26.9 | 31M| 84 | 73 | 450 | 17k| 450 | 17k| 258 | 0 |4965 |-3.000000e+01 |-2.900000e+01 | 3.45%
628.27/628.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
628.27/628.42 c 628s| 45900 | 104 | 1239k| 26.9 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4967 |-3.000000e+01 |-2.900000e+01 | 3.45%
629.26/629.42 c 629s| 46000 | 100 | 1241k| 26.9 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4967 |-3.000000e+01 |-2.900000e+01 | 3.45%
630.07/630.22 c 630s| 46100 | 100 | 1243k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4968 |-3.000000e+01 |-2.900000e+01 | 3.45%
630.86/631.06 c 631s| 46200 | 98 | 1244k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4968 |-3.000000e+01 |-2.900000e+01 | 3.45%
632.07/632.22 c 632s| 46300 | 100 | 1247k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4969 |-3.000000e+01 |-2.900000e+01 | 3.45%
633.26/633.49 c 633s| 46400 | 102 | 1250k| 26.8 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4971 |-3.000000e+01 |-2.900000e+01 | 3.45%
634.76/634.98 c 635s| 46500 | 106 | 1254k| 26.9 | 31M| 84 | 63 | 450 | 17k| 450 | 17k| 258 | 0 |4973 |-3.000000e+01 |-2.900000e+01 | 3.45%
636.16/636.38 c 636s| 46600 | 118 | 1258k| 26.9 | 31M| 84 | 59 | 450 | 17k| 450 | 17k| 258 | 0 |4973 |-3.000000e+01 |-2.900000e+01 | 3.45%
637.26/637.44 c 637s| 46700 | 124 | 1261k| 26.9 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4973 |-3.000000e+01 |-2.900000e+01 | 3.45%
638.16/638.38 c 638s| 46800 | 120 | 1263k| 26.9 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4974 |-3.000000e+01 |-2.900000e+01 | 3.45%
639.66/639.87 c 640s| 46900 | 124 | 1267k| 26.9 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4974 |-3.000000e+01 |-2.900000e+01 | 3.45%
640.66/640.85 c 641s| 47000 | 120 | 1269k| 26.9 | 32M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4975 |-3.000000e+01 |-2.900000e+01 | 3.45%
642.46/642.64 c 643s| 47100 | 108 | 1274k| 26.9 | 31M| 84 | 67 | 450 | 17k| 450 | 17k| 258 | 0 |4988 |-3.000000e+01 |-2.900000e+01 | 3.45%
643.76/643.93 c 644s| 47200 | 102 | 1277k| 26.9 | 31M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |4996 |-3.000000e+01 |-2.900000e+01 | 3.45%
645.16/645.38 c 645s| 47300 | 102 | 1280k| 27.0 | 31M| 84 | 50 | 450 | 17k| 450 | 17k| 258 | 0 |5008 |-3.000000e+01 |-2.900000e+01 | 3.45%
646.86/647.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
646.86/647.01 c 647s| 47400 | 102 | 1283k| 27.0 | 31M| 84 | 49 | 450 | 17k| 450 | 17k| 258 | 0 |5030 |-3.000000e+01 |-2.900000e+01 | 3.45%
648.77/648.93 c 649s| 47500 | 94 | 1288k| 27.0 | 31M| 84 | 57 | 450 | 17k| 450 | 17k| 258 | 0 |5053 |-3.000000e+01 |-2.900000e+01 | 3.45%
650.46/650.67 c 651s| 47600 | 84 | 1292k| 27.0 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5066 |-3.000000e+01 |-2.900000e+01 | 3.45%
651.86/652.03 c 652s| 47700 | 80 | 1294k| 27.0 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5079 |-3.000000e+01 |-2.900000e+01 | 3.45%
652.96/653.17 c 653s| 47800 | 84 | 1297k| 27.0 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5080 |-3.000000e+01 |-2.900000e+01 | 3.45%
654.26/654.50 c 654s| 47900 | 84 | 1300k| 27.0 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5103 |-3.000000e+01 |-2.900000e+01 | 3.45%
655.26/655.47 c 655s| 48000 | 78 | 1302k| 27.0 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5103 |-3.000000e+01 |-2.900000e+01 | 3.45%
656.56/656.75 c 657s| 48100 | 80 | 1305k| 27.0 | 30M| 84 | 53 | 450 | 17k| 450 | 17k| 258 | 0 |5119 |-3.000000e+01 |-2.900000e+01 | 3.45%
658.26/658.43 c 658s| 48200 | 78 | 1308k| 27.0 | 30M| 84 | 52 | 450 | 17k| 450 | 17k| 258 | 0 |5138 |-3.000000e+01 |-2.900000e+01 | 3.45%
659.66/659.86 c 660s| 48300 | 80 | 1311k| 27.0 | 30M| 84 | 60 | 450 | 17k| 450 | 17k| 258 | 0 |5151 |-3.000000e+01 |-2.900000e+01 | 3.45%
660.86/661.03 c 661s| 48400 | 90 | 1314k| 27.0 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5167 |-3.000000e+01 |-2.900000e+01 | 3.45%
661.86/662.07 c 662s| 48500 | 86 | 1316k| 27.0 | 30M| 84 | 59 | 450 | 17k| 450 | 17k| 258 | 0 |5180 |-3.000000e+01 |-2.900000e+01 | 3.45%
663.36/663.50 c 663s| 48600 | 84 | 1319k| 27.0 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5198 |-3.000000e+01 |-2.900000e+01 | 3.45%
664.46/664.63 c 665s| 48700 | 86 | 1321k| 27.0 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5210 |-3.000000e+01 |-2.900000e+01 | 3.45%
665.65/665.85 c 666s| 48800 | 84 | 1323k| 27.0 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5229 |-3.000000e+01 |-2.900000e+01 | 3.45%
666.76/666.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
666.76/666.92 c 667s| 48900 | 86 | 1326k| 27.0 | 30M| 84 | 69 | 450 | 17k| 450 | 17k| 258 | 0 |5232 |-3.000000e+01 |-2.900000e+01 | 3.45%
667.76/667.97 c 668s| 49000 | 82 | 1328k| 27.0 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5247 |-3.000000e+01 |-2.900000e+01 | 3.45%
668.66/668.80 c 669s| 49100 | 86 | 1330k| 27.0 | 30M| 84 | 57 | 450 | 17k| 450 | 17k| 258 | 0 |5252 |-3.000000e+01 |-2.900000e+01 | 3.45%
669.85/670.04 c 670s| 49200 | 80 | 1332k| 27.0 | 30M| 84 | 63 | 450 | 17k| 450 | 17k| 258 | 0 |5268 |-3.000000e+01 |-2.900000e+01 | 3.45%
671.05/671.24 c 671s| 49300 | 80 | 1335k| 27.0 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5280 |-3.000000e+01 |-2.900000e+01 | 3.45%
672.56/672.70 c 673s| 49400 | 72 | 1338k| 27.0 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5301 |-3.000000e+01 |-2.900000e+01 | 3.45%
673.76/673.95 c 674s| 49500 | 74 | 1340k| 27.0 | 30M| 84 | 49 | 450 | 17k| 450 | 17k| 258 | 0 |5312 |-3.000000e+01 |-2.900000e+01 | 3.45%
675.16/675.32 c 675s| 49600 | 72 | 1343k| 27.0 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5328 |-3.000000e+01 |-2.900000e+01 | 3.45%
675.86/676.06 c 676s| 49700 | 72 | 1344k| 26.9 | 29M| 84 | 50 | 450 | 17k| 450 | 17k| 258 | 0 |5331 |-3.000000e+01 |-2.900000e+01 | 3.45%
676.66/676.82 c 677s| 49800 | 76 | 1345k| 26.9 | 30M| 84 | 62 | 450 | 17k| 450 | 17k| 258 | 0 |5336 |-3.000000e+01 |-2.900000e+01 | 3.45%
678.16/678.35 c 678s| 49900 | 74 | 1349k| 26.9 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5352 |-3.000000e+01 |-2.900000e+01 | 3.45%
679.46/679.69 c 680s| 50000 | 72 | 1351k| 26.9 | 29M| 84 | 69 | 450 | 17k| 450 | 17k| 258 | 0 |5367 |-3.000000e+01 |-2.900000e+01 | 3.45%
680.86/681.09 c 681s| 50100 | 70 | 1354k| 26.9 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5381 |-3.000000e+01 |-2.900000e+01 | 3.45%
682.16/682.38 c 682s| 50200 | 76 | 1357k| 26.9 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5402 |-3.000000e+01 |-2.900000e+01 | 3.45%
683.35/683.59 c 684s| 50300 | 72 | 1359k| 26.9 | 29M| 84 | 67 | 450 | 17k| 450 | 17k| 258 | 0 |5418 |-3.000000e+01 |-2.900000e+01 | 3.45%
684.75/684.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
684.75/684.96 c 685s| 50400 | 78 | 1361k| 26.9 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5438 |-3.000000e+01 |-2.900000e+01 | 3.45%
686.16/686.31 c 686s| 50500 | 76 | 1364k| 26.9 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5445 |-3.000000e+01 |-2.900000e+01 | 3.45%
687.36/687.56 c 688s| 50600 | 74 | 1367k| 26.9 | 30M| 84 | 50 | 450 | 17k| 450 | 17k| 258 | 0 |5455 |-3.000000e+01 |-2.900000e+01 | 3.45%
688.36/688.52 c 689s| 50700 | 74 | 1369k| 26.9 | 29M| 84 | 77 | 450 | 17k| 450 | 17k| 258 | 0 |5461 |-3.000000e+01 |-2.900000e+01 | 3.45%
689.46/689.63 c 690s| 50800 | 82 | 1371k| 26.9 | 30M| 84 | 65 | 450 | 17k| 450 | 17k| 258 | 0 |5471 |-3.000000e+01 |-2.900000e+01 | 3.45%
690.45/690.67 c 691s| 50900 | 78 | 1373k| 26.9 | 30M| 84 | 75 | 450 | 17k| 450 | 17k| 258 | 0 |5478 |-3.000000e+01 |-2.900000e+01 | 3.45%
691.66/691.85 c 692s| 51000 | 80 | 1376k| 26.9 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5484 |-3.000000e+01 |-2.900000e+01 | 3.45%
692.56/692.71 c 693s| 51100 | 76 | 1378k| 26.9 | 30M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5487 |-3.000000e+01 |-2.900000e+01 | 3.45%
693.55/693.76 c 694s| 51200 | 72 | 1380k| 26.8 | 29M| 84 | 57 | 450 | 17k| 450 | 17k| 258 | 0 |5494 |-3.000000e+01 |-2.900000e+01 | 3.45%
694.96/695.11 c 695s| 51300 | 68 | 1383k| 26.8 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5503 |-3.000000e+01 |-2.900000e+01 | 3.45%
696.25/696.41 c 696s| 51400 | 74 | 1386k| 26.9 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5513 |-3.000000e+01 |-2.900000e+01 | 3.45%
697.05/697.27 c 697s| 51500 | 78 | 1387k| 26.8 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5519 |-3.000000e+01 |-2.900000e+01 | 3.45%
697.95/698.19 c 698s| 51600 | 80 | 1389k| 26.8 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5525 |-3.000000e+01 |-2.900000e+01 | 3.45%
698.85/699.03 c 699s| 51700 | 76 | 1391k| 26.8 | 29M| 84 | 46 | 450 | 17k| 450 | 17k| 258 | 0 |5527 |-3.000000e+01 |-2.900000e+01 | 3.45%
699.95/700.11 c 700s| 51800 | 80 | 1394k| 26.8 | 29M| 84 | 58 | 450 | 17k| 450 | 17k| 258 | 0 |5527 |-3.000000e+01 |-2.900000e+01 | 3.45%
700.75/700.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
700.75/700.95 c 701s| 51900 | 76 | 1396k| 26.8 | 29M| 84 | 46 | 450 | 17k| 450 | 17k| 258 | 0 |5527 |-3.000000e+01 |-2.900000e+01 | 3.45%
701.75/701.98 c 702s| 52000 | 66 | 1399k| 26.8 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5528 |-3.000000e+01 |-2.900000e+01 | 3.45%
703.55/703.72 c 704s| 52100 | 66 | 1403k| 26.8 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5538 |-3.000000e+01 |-2.900000e+01 | 3.45%
705.15/705.31 c 705s| 52200 | 68 | 1407k| 26.8 | 29M| 84 | 48 | 450 | 17k| 450 | 17k| 258 | 0 |5545 |-3.000000e+01 |-2.900000e+01 | 3.45%
706.45/706.60 c 707s| 52300 | 70 | 1410k| 26.9 | 29M| 84 | 64 | 450 | 17k| 450 | 17k| 258 | 0 |5547 |-3.000000e+01 |-2.900000e+01 | 3.45%
707.35/707.58 c 708s| 52400 | 72 | 1412k| 26.8 | 29M| 84 | 48 | 450 | 17k| 450 | 17k| 258 | 0 |5551 |-3.000000e+01 |-2.900000e+01 | 3.45%
708.45/708.69 c 709s| 52500 | 70 | 1415k| 26.8 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5551 |-3.000000e+01 |-2.900000e+01 | 3.45%
709.65/709.87 c 710s| 52600 | 70 | 1418k| 26.9 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5553 |-3.000000e+01 |-2.900000e+01 | 3.45%
710.75/710.93 c 711s| 52700 | 70 | 1421k| 26.9 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5554 |-3.000000e+01 |-2.900000e+01 | 3.45%
711.85/712.08 c 712s| 52800 | 66 | 1424k| 26.9 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5555 |-3.000000e+01 |-2.900000e+01 | 3.45%
713.15/713.30 c 713s| 52900 | 72 | 1427k| 26.9 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5556 |-3.000000e+01 |-2.900000e+01 | 3.45%
713.95/714.11 c 714s| 53000 | 68 | 1428k| 26.8 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5557 |-3.000000e+01 |-2.900000e+01 | 3.45%
714.95/715.19 c 715s| 53100 | 68 | 1431k| 26.8 | 29M| 84 | 40 | 450 | 17k| 450 | 17k| 258 | 0 |5557 |-3.000000e+01 |-2.900000e+01 | 3.45%
716.54/716.72 c 717s| 53200 | 68 | 1436k| 26.9 | 29M| 84 | 85 | 450 | 17k| 450 | 17k| 258 | 0 |5558 |-3.000000e+01 |-2.900000e+01 | 3.45%
717.35/717.52 c 718s| 53300 | 72 | 1437k| 26.9 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5558 |-3.000000e+01 |-2.900000e+01 | 3.45%
718.15/718.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
718.15/718.31 c 718s| 53400 | 72 | 1439k| 26.8 | 29M| 84 | 61 | 450 | 17k| 450 | 17k| 258 | 0 |5559 |-3.000000e+01 |-2.900000e+01 | 3.45%
719.15/719.33 c 719s| 53500 | 74 | 1441k| 26.8 | 29M| 84 | 38 | 450 | 17k| 450 | 17k| 258 | 0 |5561 |-3.000000e+01 |-2.900000e+01 | 3.45%
720.25/720.42 c 720s| 53600 | 80 | 1444k| 26.8 | 29M| 84 | 56 | 450 | 17k| 450 | 17k| 258 | 0 |5563 |-3.000000e+01 |-2.900000e+01 | 3.45%
721.35/721.58 c 722s| 53700 | 80 | 1447k| 26.8 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5568 |-3.000000e+01 |-2.900000e+01 | 3.45%
722.45/722.64 c 723s| 53800 | 76 | 1449k| 26.8 | 29M| 84 | 72 | 450 | 17k| 450 | 17k| 258 | 0 |5568 |-3.000000e+01 |-2.900000e+01 | 3.45%
723.45/723.63 c 724s| 53900 | 76 | 1452k| 26.8 | 29M| 84 | 38 | 450 | 17k| 450 | 17k| 258 | 0 |5568 |-3.000000e+01 |-2.900000e+01 | 3.45%
724.45/724.61 c 725s| 54000 | 72 | 1454k| 26.8 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5568 |-3.000000e+01 |-2.900000e+01 | 3.45%
725.35/725.53 c 726s| 54100 | 76 | 1456k| 26.8 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5570 |-3.000000e+01 |-2.900000e+01 | 3.45%
726.05/726.25 c 726s| 54200 | 78 | 1457k| 26.8 | 29M| 84 | 57 | 450 | 17k| 450 | 17k| 258 | 0 |5570 |-3.000000e+01 |-2.900000e+01 | 3.45%
727.05/727.25 c 727s| 54300 | 66 | 1459k| 26.8 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5574 |-3.000000e+01 |-2.900000e+01 | 3.45%
728.14/728.30 c 728s| 54400 | 70 | 1462k| 26.8 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5574 |-3.000000e+01 |-2.900000e+01 | 3.45%
729.35/729.59 c 730s| 54500 | 72 | 1465k| 26.8 | 29M| 84 | 50 | 450 | 17k| 450 | 17k| 258 | 0 |5574 |-3.000000e+01 |-2.900000e+01 | 3.45%
731.55/731.75 c 732s| 54600 | 70 | 1470k| 26.8 | 29M| 84 | 52 | 450 | 17k| 450 | 17k| 258 | 0 |5600 |-3.000000e+01 |-2.900000e+01 | 3.45%
732.75/732.94 c 733s| 54700 | 76 | 1472k| 26.8 | 29M| 84 | 70 | 450 | 17k| 450 | 17k| 258 | 0 |5600 |-3.000000e+01 |-2.900000e+01 | 3.45%
733.84/734.00 c 734s| 54800 | 76 | 1475k| 26.8 | 29M| 84 | 64 | 450 | 17k| 450 | 17k| 258 | 0 |5601 |-3.000000e+01 |-2.900000e+01 | 3.45%
734.95/735.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.95/735.16 c 735s| 54900 | 72 | 1478k| 26.8 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5602 |-3.000000e+01 |-2.900000e+01 | 3.45%
736.54/736.77 c 737s| 55000 | 72 | 1481k| 26.8 | 29M| 84 | 73 | 450 | 17k| 450 | 17k| 258 | 0 |5623 |-3.000000e+01 |-2.900000e+01 | 3.45%
737.75/738.00 c 738s| 55100 | 68 | 1484k| 26.8 | 29M| 84 | 78 | 450 | 17k| 450 | 17k| 258 | 0 |5623 |-3.000000e+01 |-2.900000e+01 | 3.45%
739.05/739.23 c 739s| 55200 | 70 | 1486k| 26.8 | 29M| 84 | 46 | 450 | 17k| 450 | 17k| 258 | 0 |5638 |-3.000000e+01 |-2.900000e+01 | 3.45%
740.54/740.79 c 741s| 55300 | 70 | 1489k| 26.8 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5659 |-3.000000e+01 |-2.900000e+01 | 3.45%
741.54/741.70 c 742s| 55400 | 66 | 1491k| 26.8 | 29M| 84 | 53 | 450 | 17k| 450 | 17k| 258 | 0 |5659 |-3.000000e+01 |-2.900000e+01 | 3.45%
743.15/743.35 c 743s| 55500 | 62 | 1496k| 26.9 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5675 |-3.000000e+01 |-2.900000e+01 | 3.45%
744.05/744.25 c 744s| 55600 | 62 | 1498k| 26.8 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5676 |-3.000000e+01 |-2.900000e+01 | 3.45%
745.74/745.90 c 746s| 55700 | 58 | 1501k| 26.8 | 29M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5708 |-3.000000e+01 |-2.900000e+01 | 3.45%
746.85/747.01 c 747s| 55800 | 58 | 1504k| 26.8 | 29M| 84 | 48 | 450 | 17k| 450 | 17k| 258 | 0 |5709 |-3.000000e+01 |-2.900000e+01 | 3.45%
748.44/748.62 c 749s| 55900 | 52 | 1508k| 26.9 | 28M| 84 | 52 | 450 | 17k| 450 | 17k| 258 | 0 |5723 |-3.000000e+01 |-2.900000e+01 | 3.45%
750.34/750.53 c 751s| 56000 | 50 | 1512k| 26.9 | 28M| 84 | 88 | 450 | 17k| 450 | 17k| 258 | 0 |5739 |-3.000000e+01 |-2.900000e+01 | 3.45%
751.74/751.95 c 752s| 56100 | 50 | 1515k| 26.9 | 28M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5757 |-3.000000e+01 |-2.900000e+01 | 3.45%
752.75/752.94 c 753s| 56200 | 52 | 1517k| 26.9 | 28M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5759 |-3.000000e+01 |-2.900000e+01 | 3.45%
753.94/754.18 c 754s| 56300 | 56 | 1519k| 26.9 | 28M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5779 |-3.000000e+01 |-2.900000e+01 | 3.45%
755.04/755.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
755.04/755.21 c 755s| 56400 | 54 | 1522k| 26.9 | 28M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5782 |-3.000000e+01 |-2.900000e+01 | 3.45%
756.34/756.54 c 757s| 56500 | 52 | 1524k| 26.9 | 28M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5795 |-3.000000e+01 |-2.900000e+01 | 3.45%
757.54/757.71 c 758s| 56600 | 54 | 1527k| 26.9 | 28M| 84 | 55 | 450 | 17k| 450 | 17k| 258 | 0 |5813 |-3.000000e+01 |-2.900000e+01 | 3.45%
758.55/758.78 c 759s| 56700 | 48 | 1529k| 26.9 | 28M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5820 |-3.000000e+01 |-2.900000e+01 | 3.45%
759.85/760.02 c 760s| 56800 | 50 | 1531k| 26.9 | 28M| 84 | 71 | 450 | 17k| 450 | 17k| 258 | 0 |5832 |-3.000000e+01 |-2.900000e+01 | 3.45%
761.05/761.24 c 761s| 56900 | 60 | 1534k| 26.9 | 28M| 84 | 50 | 450 | 17k| 450 | 17k| 258 | 0 |5843 |-3.000000e+01 |-2.900000e+01 | 3.45%
762.05/762.25 c 762s| 57000 | 62 | 1536k| 26.9 | 28M| 84 | 48 | 450 | 17k| 450 | 17k| 258 | 0 |5852 |-3.000000e+01 |-2.900000e+01 | 3.45%
763.25/763.49 c 763s| 57100 | 60 | 1539k| 26.9 | 28M| 84 | 44 | 450 | 17k| 450 | 17k| 258 | 0 |5865 |-3.000000e+01 |-2.900000e+01 | 3.45%
764.64/764.88 c 765s| 57200 | 62 | 1542k| 26.9 | 28M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5879 |-3.000000e+01 |-2.900000e+01 | 3.45%
765.94/766.18 c 766s| 57300 | 66 | 1545k| 26.9 | 28M| 84 | 52 | 450 | 17k| 450 | 17k| 258 | 0 |5891 |-3.000000e+01 |-2.900000e+01 | 3.45%
767.14/767.30 c 767s| 57400 | 62 | 1547k| 26.9 | 28M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5903 |-3.000000e+01 |-2.900000e+01 | 3.45%
768.44/768.64 c 769s| 57500 | 62 | 1549k| 26.9 | 28M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5918 |-3.000000e+01 |-2.900000e+01 | 3.45%
769.64/769.86 c 770s| 57600 | 64 | 1552k| 26.9 | 28M| 84 | 50 | 450 | 17k| 450 | 17k| 258 | 0 |5928 |-3.000000e+01 |-2.900000e+01 | 3.45%
770.95/771.11 c 771s| 57700 | 70 | 1555k| 26.9 | 28M| 84 | 44 | 450 | 17k| 450 | 17k| 258 | 0 |5936 |-3.000000e+01 |-2.900000e+01 | 3.45%
771.74/771.99 c 772s| 57800 | 64 | 1556k| 26.8 | 28M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5944 |-3.000000e+01 |-2.900000e+01 | 3.45%
773.34/773.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
773.34/773.51 c 774s| 57900 | 64 | 1559k| 26.8 | 28M| 84 | 44 | 450 | 17k| 450 | 17k| 258 | 0 |5959 |-3.000000e+01 |-2.900000e+01 | 3.45%
774.64/774.87 c 775s| 58000 | 54 | 1563k| 26.8 | 28M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5968 |-3.000000e+01 |-2.900000e+01 | 3.45%
775.94/776.17 c 776s| 58100 | 58 | 1565k| 26.8 | 28M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5981 |-3.000000e+01 |-2.900000e+01 | 3.45%
777.14/777.39 c 777s| 58200 | 48 | 1568k| 26.9 | 28M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |5990 |-3.000000e+01 |-2.900000e+01 | 3.45%
778.74/778.99 c 779s| 58300 | 34 | 1572k| 26.9 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6005 |-3.000000e+01 |-2.900000e+01 | 3.45%
780.64/780.82 c 781s| 58400 | 34 | 1576k| 26.9 | 27M| 84 | 57 | 450 | 17k| 450 | 17k| 258 | 0 |6024 |-3.000000e+01 |-2.900000e+01 | 3.45%
781.54/781.77 c 782s| 58500 | 32 | 1578k| 26.9 | 27M| 84 | 48 | 450 | 17k| 450 | 17k| 258 | 0 |6027 |-3.000000e+01 |-2.900000e+01 | 3.45%
782.74/782.99 c 783s| 58600 | 28 | 1581k| 26.9 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6032 |-3.000000e+01 |-2.900000e+01 | 3.45%
784.15/784.37 c 784s| 58700 | 28 | 1584k| 26.9 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6040 |-3.000000e+01 |-2.900000e+01 | 3.45%
785.14/785.36 c 785s| 58800 | 32 | 1586k| 26.9 | 27M| 84 | 58 | 450 | 17k| 450 | 17k| 258 | 0 |6043 |-3.000000e+01 |-2.900000e+01 | 3.45%
786.24/786.44 c 786s| 58900 | 34 | 1588k| 26.9 | 27M| 84 | 46 | 450 | 17k| 450 | 17k| 258 | 0 |6050 |-3.000000e+01 |-2.900000e+01 | 3.45%
787.14/787.39 c 787s| 59000 | 34 | 1590k| 26.9 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6052 |-3.000000e+01 |-2.900000e+01 | 3.45%
788.45/788.64 c 789s| 59100 | 36 | 1593k| 26.9 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6057 |-3.000000e+01 |-2.900000e+01 | 3.45%
789.73/789.91 c 790s| 59200 | 36 | 1596k| 26.9 | 27M| 84 | 50 | 450 | 17k| 450 | 17k| 258 | 0 |6061 |-3.000000e+01 |-2.900000e+01 | 3.45%
790.93/791.17 c 791s| 59300 | 32 | 1599k| 26.9 | 27M| 84 | 77 | 450 | 17k| 450 | 17k| 258 | 0 |6066 |-3.000000e+01 |-2.900000e+01 | 3.45%
791.84/792.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
791.84/792.04 c 792s| 59400 | 36 | 1601k| 26.9 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6067 |-3.000000e+01 |-2.900000e+01 | 3.45%
792.85/793.01 c 793s| 59500 | 38 | 1603k| 26.9 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6069 |-3.000000e+01 |-2.900000e+01 | 3.45%
793.73/793.95 c 794s| 59600 | 34 | 1606k| 26.8 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6069 |-3.000000e+01 |-2.900000e+01 | 3.45%
795.04/795.26 c 795s| 59700 | 30 | 1609k| 26.9 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6072 |-3.000000e+01 |-2.900000e+01 | 3.45%
796.24/796.47 c 796s| 59800 | 36 | 1612k| 26.9 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6076 |-3.000000e+01 |-2.900000e+01 | 3.45%
797.44/797.62 c 798s| 59900 | 34 | 1615k| 26.9 | 27M| 84 | 55 | 450 | 17k| 450 | 17k| 258 | 0 |6077 |-3.000000e+01 |-2.900000e+01 | 3.45%
798.45/798.70 c 799s| 60000 | 34 | 1617k| 26.9 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6079 |-3.000000e+01 |-2.900000e+01 | 3.45%
799.33/799.57 c 800s| 60100 | 34 | 1619k| 26.9 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6079 |-3.000000e+01 |-2.900000e+01 | 3.45%
800.33/800.58 c 801s| 60200 | 34 | 1622k| 26.8 | 27M| 84 | 61 | 450 | 17k| 450 | 17k| 258 | 0 |6079 |-3.000000e+01 |-2.900000e+01 | 3.45%
801.44/801.67 c 802s| 60300 | 30 | 1625k| 26.9 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6080 |-3.000000e+01 |-2.900000e+01 | 3.45%
802.54/802.75 c 803s| 60400 | 30 | 1627k| 26.8 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6083 |-3.000000e+01 |-2.900000e+01 | 3.45%
803.73/804.00 c 804s| 60500 | 30 | 1630k| 26.9 | 27M| 84 | 69 | 450 | 17k| 450 | 17k| 258 | 0 |6084 |-3.000000e+01 |-2.900000e+01 | 3.45%
804.74/804.97 c 805s| 60600 | 34 | 1633k| 26.9 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6084 |-3.000000e+01 |-2.900000e+01 | 3.45%
805.63/805.89 c 806s| 60700 | 34 | 1635k| 26.8 | 27M| 84 | 58 | 450 | 17k| 450 | 17k| 258 | 0 |6084 |-3.000000e+01 |-2.900000e+01 | 3.45%
806.64/806.89 c 807s| 60800 | 30 | 1637k| 26.8 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6084 |-3.000000e+01 |-2.900000e+01 | 3.45%
807.64/807.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
807.64/807.87 c 808s| 60900 | 38 | 1640k| 26.8 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6084 |-3.000000e+01 |-2.900000e+01 | 3.45%
808.94/809.14 c 809s| 61000 | 40 | 1643k| 26.8 | 27M| 84 | 63 | 450 | 17k| 450 | 17k| 258 | 0 |6084 |-3.000000e+01 |-2.900000e+01 | 3.45%
809.93/810.16 c 810s| 61100 | 32 | 1645k| 26.8 | 27M| 84 | 66 | 450 | 17k| 450 | 17k| 258 | 0 |6084 |-3.000000e+01 |-2.900000e+01 | 3.45%
811.14/811.31 c 811s| 61200 | 32 | 1648k| 26.8 | 27M| 84 | 50 | 450 | 17k| 450 | 17k| 258 | 0 |6085 |-3.000000e+01 |-2.900000e+01 | 3.45%
812.34/812.54 c 813s| 61300 | 36 | 1651k| 26.8 | 27M| 84 | 50 | 450 | 17k| 450 | 17k| 258 | 0 |6085 |-3.000000e+01 |-2.900000e+01 | 3.45%
813.23/813.43 c 813s| 61400 | 30 | 1653k| 26.8 | 27M| 84 | 89 | 450 | 17k| 450 | 17k| 258 | 0 |6085 |-3.000000e+01 |-2.900000e+01 | 3.45%
814.43/814.63 c 815s| 61500 | 36 | 1655k| 26.8 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6085 |-3.000000e+01 |-2.900000e+01 | 3.45%
815.64/815.87 c 816s| 61600 | 28 | 1659k| 26.8 | 27M| 84 | 60 | 450 | 17k| 450 | 17k| 258 | 0 |6085 |-3.000000e+01 |-2.900000e+01 | 3.45%
816.83/817.04 c 817s| 61700 | 30 | 1662k| 26.8 | 27M| 84 | 73 | 450 | 17k| 450 | 17k| 258 | 0 |6085 |-3.000000e+01 |-2.900000e+01 | 3.45%
817.93/818.12 c 818s| 61800 | 30 | 1665k| 26.8 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6085 |-3.000000e+01 |-2.900000e+01 | 3.45%
818.84/819.09 c 819s| 61900 | 30 | 1667k| 26.8 | 27M| 84 | 54 | 450 | 17k| 450 | 17k| 258 | 0 |6086 |-3.000000e+01 |-2.900000e+01 | 3.45%
819.94/820.15 c 820s| 62000 | 26 | 1670k| 26.8 | 27M| 84 | 65 | 450 | 17k| 450 | 17k| 258 | 0 |6086 |-3.000000e+01 |-2.900000e+01 | 3.45%
821.04/821.26 c 821s| 62100 | 24 | 1673k| 26.8 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6086 |-3.000000e+01 |-2.900000e+01 | 3.45%
822.23/822.49 c 822s| 62200 | 26 | 1676k| 26.9 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6093 |-3.000000e+01 |-2.900000e+01 | 3.45%
823.64/823.87 c 824s| 62300 | 30 | 1678k| 26.9 | 27M| 84 | 55 | 450 | 17k| 450 | 17k| 258 | 0 |6110 |-3.000000e+01 |-2.900000e+01 | 3.45%
824.94/825.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
824.94/825.13 c 825s| 62400 | 22 | 1681k| 26.9 | 27M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6117 |-3.000000e+01 |-2.900000e+01 | 3.45%
827.04/827.25 c 827s| 62500 | 26 | 1685k| 26.9 | 27M| 84 | 53 | 450 | 17k| 450 | 17k| 258 | 0 |6149 |-3.000000e+01 |-2.900000e+01 | 3.45%
828.23/828.42 c 828s| 62600 | 22 | 1688k| 26.9 | 27M| 84 | 54 | 450 | 17k| 450 | 17k| 258 | 0 |6149 |-3.000000e+01 |-2.900000e+01 | 3.45%
829.03/829.25 o -30
829.03/829.25 c * 829s| 62676 | 0 | 1690k| 26.9 | 26M| 84 | - | 450 | 17k| 450 | 17k| 258 | 0 |6151 |-3.000000e+01 |-3.000000e+01 | 0.00%
829.03/829.25 c
829.03/829.25 c SCIP Status : problem is solved [optimal solution found]
829.03/829.25 c Solving Time (sec) : 829.24
829.03/829.25 c Solving Nodes : 62676
829.03/829.25 c Primal Bound : -3.00000000000000e+01 (439 solutions)
829.03/829.25 c Dual Bound : -3.00000000000000e+01
829.03/829.25 c Gap : 0.00 %
829.03/829.25 s OPTIMUM FOUND
829.03/829.25 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28
829.03/829.25 v -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53
829.03/829.25 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 x77 -x78 -x79
829.03/829.25 v -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103
829.03/829.25 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
829.03/829.25 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145
829.03/829.25 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
829.03/829.25 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
829.03/829.25 v -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
829.03/829.25 v x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230
829.03/829.25 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251
829.03/829.25 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
829.03/829.25 v -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293
829.03/829.25 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314
829.03/829.25 v -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
829.03/829.25 v -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
829.03/829.25 v -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
829.03/829.25 v -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
829.03/829.25 v -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
829.03/829.25 v -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440
829.03/829.25 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
829.03/829.25 c SCIP Status : problem is solved [optimal solution found]
829.03/829.25 c Total Time : 829.24
829.03/829.25 c solving : 829.24
829.03/829.25 c presolving : 0.23 (included in solving)
829.03/829.25 c reading : 0.04 (included in solving)
829.03/829.25 c copying : 0.51 (17 #copies) (minimal 0.03, maximal 0.03, average 0.03)
829.03/829.25 c Original Problem :
829.03/829.25 c Problem name : HOME/instance-3692096-1338031824.opb
829.03/829.25 c Variables : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
829.03/829.25 c Constraints : 17794 initial, 17794 maximal
829.03/829.25 c Objective sense : minimize
829.03/829.25 c Presolved Problem :
829.03/829.25 c Problem name : t_HOME/instance-3692096-1338031824.opb
829.03/829.25 c Variables : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
829.03/829.25 c Constraints : 17794 initial, 17794 maximal
829.03/829.25 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
829.03/829.25 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
829.03/829.25 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
829.03/829.25 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
829.03/829.25 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
829.03/829.25 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
829.03/829.25 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
829.03/829.25 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
829.03/829.25 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
829.03/829.25 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
829.03/829.25 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
829.03/829.25 c probing : 0.05 0.00 0 0 0 0 0 0 0 0 0
829.03/829.25 c setppc : 0.04 0.00 0 0 0 0 0 0 0 0 0
829.03/829.25 c linear : 0.13 0.01 0 0 0 0 0 0 0 0 0
829.03/829.25 c root node : - - 0 - - 0 - - - - -
829.03/829.25 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
829.03/829.25 c integral : 0 0 0 0 33750 0 437 0 204 1747 0 0 65194
829.03/829.25 c setppc : 17794 17794 25 98893 7 0 432 0 0 1017324 0 0 0
829.03/829.25 c countsols : 0 0 0 0 7 0 435 0 0 0 0 0 0
829.03/829.25 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
829.03/829.25 c integral : 122.90 0.00 0.00 0.00 122.89 0.00 0.01 0.00
829.03/829.25 c setppc : 21.42 0.00 0.03 21.20 0.00 0.00 0.19 0.00
829.03/829.25 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
829.03/829.25 c Propagators : #Propagate #ResProp Cutoffs DomReds
829.03/829.25 c rootredcost : 9 0 0 0
829.03/829.25 c pseudoobj : 132593 0 0 0
829.03/829.25 c vbounds : 0 0 0 0
829.03/829.25 c redcost : 33827 0 0 60
829.03/829.25 c probing : 0 0 0 0
829.03/829.25 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
829.03/829.25 c rootredcost : 0.13 0.00 0.00 0.13 0.00
829.03/829.25 c pseudoobj : 1.54 0.00 0.00 1.53 0.00
829.03/829.25 c vbounds : 0.11 0.00 0.00 0.11 0.00
829.03/829.25 c redcost : 0.30 0.00 0.00 0.30 0.00
829.03/829.25 c probing : 0.05 0.00 0.05 0.00 0.00
829.03/829.25 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
829.03/829.25 c propagation : 0.00 0 0 0 0.0 0 0.0 -
829.03/829.25 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
829.03/829.25 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
829.03/829.25 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
829.03/829.25 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
829.03/829.25 c applied globally : - - - 0 0.0 - - -
829.03/829.25 c applied locally : - - - 0 0.0 - - -
829.03/829.25 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
829.03/829.25 c cut pool : 0.00 24 - - 83 - (maximal pool size: 604)
829.03/829.25 c closecuts : 0.00 0.00 0 0 0 0 0
829.03/829.25 c impliedbounds : 0.01 0.00 25 0 0 0 0
829.03/829.25 c intobj : 0.00 0.00 0 0 0 0 0
829.03/829.25 c gomory : 0.08 0.00 10 0 0 500 0
829.03/829.25 c cgmip : 0.00 0.00 0 0 0 0 0
829.03/829.25 c strongcg : 1.22 0.00 20 0 0 9950 0
829.03/829.25 c cmir : 0.79 0.00 10 0 0 0 0
829.03/829.25 c flowcover : 0.81 0.00 10 0 0 0 0
829.03/829.25 c clique : 0.14 0.00 25 0 0 221 0
829.03/829.25 c zerohalf : 0.00 0.00 0 0 0 0 0
829.03/829.25 c mcf : 0.01 0.00 1 0 0 0 0
829.03/829.25 c oddcycle : 0.00 0.00 0 0 0 0 0
829.03/829.25 c rapidlearning : 0.00 0.00 0 0 0 0 0
829.03/829.25 c Pricers : ExecTime SetupTime Calls Vars
829.03/829.25 c problem variables: 0.00 - 0 0
829.03/829.25 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
829.03/829.25 c relpscost : 122.74 0.00 33743 204 1747 0 0 65194
829.03/829.25 c pscost : 0.00 0.00 0 0 0 0 0 0
829.03/829.25 c inference : 0.00 0.00 0 0 0 0 0 0
829.03/829.25 c mostinf : 0.00 0.00 0 0 0 0 0 0
829.03/829.25 c leastinf : 0.00 0.00 0 0 0 0 0 0
829.03/829.25 c fullstrong : 0.00 0.00 0 0 0 0 0 0
829.03/829.25 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
829.03/829.25 c random : 0.00 0.00 0 0 0 0 0 0
829.03/829.25 c Primal Heuristics : ExecTime SetupTime Calls Found
829.03/829.25 c LP solutions : 0.02 - - 7
829.03/829.25 c pseudo solutions : 0.00 - - 0
829.03/829.25 c feaspump : 0.01 0.00 0 0
829.03/829.25 c oneopt : 0.10 0.00 10 1
829.03/829.25 c coefdiving : 4.15 0.00 29 3
829.03/829.25 c pscostdiving : 1.47 0.00 29 7
829.03/829.25 c fracdiving : 3.25 0.00 29 0
829.03/829.25 c veclendiving : 1.18 0.00 29 0
829.03/829.25 c linesearchdiving : 1.44 0.00 29 0
829.03/829.25 c guideddiving : 3.45 0.00 29 0
829.03/829.25 c objpscostdiving : 2.80 0.00 15 41
829.03/829.25 c rootsoldiving : 1.47 0.00 15 19
829.03/829.25 c crossover : 2.36 0.00 16 5
829.03/829.25 c smallcard : 0.00 0.00 0 0
829.03/829.25 c trivial : 0.00 0.00 2 1
829.03/829.25 c shiftandpropagate: 0.00 0.00 0 0
829.03/829.25 c simplerounding : 0.55 0.00 33768 106
829.03/829.25 c zirounding : 10.80 0.00 12301 246
829.03/829.25 c rounding : 5.33 0.00 8421 1
829.03/829.25 c shifting : 0.76 0.00 1042 1
829.03/829.25 c intshifting : 0.00 0.00 0 0
829.03/829.25 c twoopt : 0.00 0.00 0 0
829.03/829.25 c indoneopt : 0.15 0.00 0 0
829.03/829.25 c indtwoopt : 0.00 0.00 0 0
829.03/829.25 c fixandinfer : 0.00 0.00 0 0
829.03/829.25 c clique : 0.00 0.00 0 0
829.03/829.25 c indrounding : 0.00 0.00 0 0
829.03/829.25 c indcoefdiving : 0.00 0.00 0 0
829.03/829.25 c nlpdiving : 0.00 0.00 0 0
829.03/829.25 c intdiving : 0.00 0.00 0 0
829.03/829.25 c actconsdiving : 0.00 0.00 0 0
829.03/829.25 c octane : 0.00 0.00 0 0
829.03/829.25 c rens : 0.97 0.00 1 1
829.03/829.25 c rins : 0.00 0.00 0 0
829.03/829.25 c localbranching : 0.00 0.00 0 0
829.03/829.25 c mutation : 0.00 0.00 0 0
829.03/829.25 c dins : 0.00 0.00 0 0
829.03/829.25 c vbounds : 0.00 0.00 0 0
829.03/829.25 c undercover : 0.00 0.00 0 0
829.03/829.25 c subnlp : 0.07 0.00 0 0
829.03/829.25 c trysol : 0.11 0.00 0 0
829.03/829.25 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
829.03/829.25 c primal LP : 0.02 4 0 0.00 0.00 0.02 4
829.03/829.25 c dual LP : 542.11 63725 1646249 25.87 3036.72 0.22 82
829.03/829.25 c lex dual LP : 0.00 0 0 0.00 -
829.03/829.25 c barrier LP : 0.00 0 0 0.00 - 0.00 0
829.03/829.25 c diving/probing LP: 15.72 2050 44617 21.76 2837.70
829.03/829.25 c strong branching : 120.49 6151 303380 49.32 2517.85
829.03/829.25 c (at root node) : - 33 3756 113.82 -
829.03/829.25 c conflict analysis: 0.00 0 0 0.00 -
829.03/829.25 c B&B Tree :
829.03/829.25 c number of runs : 1
829.03/829.25 c nodes : 62676
829.03/829.25 c nodes (total) : 62676
829.03/829.25 c nodes left : 0
829.03/829.25 c max depth : 84
829.03/829.25 c max depth (total): 84
829.03/829.25 c backtracks : 7915 (12.6%)
829.03/829.25 c delayed cutoffs : 0
829.03/829.25 c repropagations : 0 (0 domain reductions, 0 cutoffs)
829.03/829.25 c avg switch length: 3.24
829.03/829.25 c switching time : 19.85
829.03/829.25 c Solution :
829.03/829.25 c Solutions found : 439 (12 improvements)
829.03/829.25 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.06 seconds, depth 0, found by <trivial>)
829.03/829.25 c Primal Bound : -3.00000000000000e+01 (in run 1, after 62676 nodes, 829.24 seconds, depth 16, found by <relaxation>)
829.03/829.25 c Dual Bound : -3.00000000000000e+01
829.03/829.25 c Gap : 0.00 %
829.03/829.25 c Root Dual Bound : -3.00000000000000e+01
829.03/829.25 c Root Iterations : 6008
829.03/829.30 c Time complete: 829.13.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3692096-1338031824/watcher-3692096-1338031824 -o /tmp/evaluation-result-3692096-1338031824/solver-3692096-1338031824 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692096-1338031824.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 6951
/proc/meminfo: memFree=28666456/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=6244 CPUtime=0 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 252 0 0 0 0 0 0 0 20 0 1 0 269306771 6393856 206 33554432000 4194304 10219143 140734134907136 140733405042952 9094191 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 1561 213 172 1471 0 81 0
[startup+0.073896 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 6951
/proc/meminfo: memFree=28666456/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=36888 CPUtime=0.06 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 7723 0 0 0 5 1 0 0 20 0 1 0 269306771 37773312 7677 33554432000 4194304 10219143 140734134907136 140733405042952 8844210 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 9222 7686 525 1471 0 7742 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 36888
[startup+0.100326 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 6951
/proc/meminfo: memFree=28666456/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=36888 CPUtime=0.08 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 7774 0 0 0 6 2 0 0 20 0 1 0 269306771 37773312 7728 33554432000 4194304 10219143 140734134907136 140733405042952 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 9222 7728 550 1471 0 7742 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 36888
[startup+0.300283 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 6951
/proc/meminfo: memFree=28666456/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=46792 CPUtime=0.28 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 10753 0 0 0 19 9 0 0 20 0 1 0 269306771 47915008 10255 33554432000 4194304 10219143 140734134907136 140733405042952 8755586 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 11698 10255 599 1471 0 10218 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 46792
[startup+0.700232 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 6951
/proc/meminfo: memFree=28666456/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=75276 CPUtime=0.68 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 18461 0 0 0 54 14 0 0 20 0 1 0 269306771 77082624 17037 33554432000 4194304 10219143 140734134907136 140733405042952 6780435 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 18819 17037 775 1471 0 17339 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 75276
[startup+1.50021 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 6952
/proc/meminfo: memFree=28600456/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=75276 CPUtime=1.48 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 18772 0 0 0 133 15 0 0 20 0 1 0 269306771 77082624 17348 33554432000 4194304 10219143 140734134907136 140734134902024 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 18819 17348 777 1471 0 17339 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 75276
[startup+3.10027 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 6952
/proc/meminfo: memFree=28597976/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=76956 CPUtime=3.09 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 19199 0 0 0 292 17 0 0 20 0 1 0 269306771 78802944 17775 33554432000 4194304 10219143 140734134907136 140734134900392 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 19239 17775 780 1471 0 17759 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76956
[startup+6.30018 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 6952
/proc/meminfo: memFree=28578648/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=105824 CPUtime=6.29 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 26562 0 0 0 602 27 0 0 20 0 1 0 269306771 108363776 25123 33554432000 4194304 10219143 140734134907136 140734134897496 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 26456 25123 818 1471 0 24976 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 105824
[startup+12.7003 s]
/proc/loadavg: 1.94 1.98 1.99 3/178 6952
/proc/meminfo: memFree=28558292/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=77016 CPUtime=12.69 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 26637 0 0 0 1238 31 0 0 20 0 1 0 269306771 78864384 17969 33554432000 4194304 10219143 140734134907136 140734134900968 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 19254 17969 837 1471 0 17774 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 77016
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 6952
/proc/meminfo: memFree=28577708/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=77576 CPUtime=25.48 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 26694 0 0 0 2511 37 0 0 20 0 1 0 269306771 79437824 18026 33554432000 4194304 10219143 140734134907136 140734134900504 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 19394 18026 838 1471 0 17914 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 77576
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 6953
/proc/meminfo: memFree=28578236/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=77576 CPUtime=51.06 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 26800 0 0 0 5061 45 0 0 20 0 1 0 269306771 79437824 18155 33554432000 4194304 10219143 140734134907136 140734134900584 6850256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 19394 18155 838 1471 0 17914 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 77576
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 6991
/proc/meminfo: memFree=28535332/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=90192 CPUtime=102.27 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 67350 0 0 0 10122 105 0 0 20 0 1 0 269306771 92356608 21297 33554432000 4194304 10219143 140734134907136 140734134900776 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 22548 21297 842 1471 0 21068 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 90192
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 6991
/proc/meminfo: memFree=28524420/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=100356 CPUtime=162.25 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 92893 0 0 0 16061 164 0 0 20 0 1 0 269306771 102764544 23962 33554432000 4194304 10219143 140734134907136 140734134900776 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 25089 23962 842 1471 0 23609 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 100356
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 6991
/proc/meminfo: memFree=28509936/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=115892 CPUtime=222.23 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 103779 0 0 0 22017 206 0 0 20 0 1 0 269306771 118673408 27479 33554432000 4194304 10219143 140734134907136 140734134900072 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 28973 27479 843 1471 0 27493 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 115892
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 6991
/proc/meminfo: memFree=28493172/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=120576 CPUtime=282.22 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 126644 0 0 0 27962 260 0 0 20 0 1 0 269306771 123469824 28985 33554432000 4194304 10219143 140734134907136 140734134900392 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 30144 28985 843 1471 0 28664 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 120576
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 6993
/proc/meminfo: memFree=28488564/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=123864 CPUtime=342.21 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 144413 0 0 0 33908 313 0 0 20 0 1 0 269306771 126836736 29638 33554432000 4194304 10219143 140734134907136 140734134900392 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 30966 29638 843 1471 0 29486 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 123864
[startup+402.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 6993
/proc/meminfo: memFree=28480444/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=124000 CPUtime=402.2 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 145401 0 0 0 39865 355 0 0 20 0 1 0 269306771 126976000 29889 33554432000 4194304 10219143 140734134907136 140734134900776 5184867 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 31000 29889 843 1471 0 29520 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 124000
[startup+462.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 6993
/proc/meminfo: memFree=28477892/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=124232 CPUtime=462.19 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 152753 0 0 0 45813 406 0 0 20 0 1 0 269306771 127213568 29914 33554432000 4194304 10219143 140734134907136 140734134900072 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 31058 29914 843 1471 0 29578 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 124232
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 6993
/proc/meminfo: memFree=28477520/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=124304 CPUtime=522.18 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 153725 0 0 0 51768 450 0 0 20 0 1 0 269306771 127287296 29931 33554432000 4194304 10219143 140734134907136 140734134900392 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 31076 29931 843 1471 0 29596 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 124304
[startup+582.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/178 6996
/proc/meminfo: memFree=28477284/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=124008 CPUtime=582.17 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 160990 0 0 0 57718 499 0 0 20 0 1 0 269306771 126984192 29864 33554432000 4194304 10219143 140734134907136 140734134902504 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 31002 29864 843 1471 0 29522 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 124008
[startup+642.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 6997
/proc/meminfo: memFree=28475964/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=124324 CPUtime=642.17 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 162788 0 0 0 63675 542 0 0 20 0 1 0 269306771 127307776 29891 33554432000 4194304 10219143 140734134907136 140734134900312 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 31081 29891 843 1471 0 29601 0
Current children cumulated CPU time (s) 642.17
Current children cumulated vsize (KiB) 124324
[startup+702.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 6997
/proc/meminfo: memFree=28476580/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=123968 CPUtime=702.15 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 163734 0 0 0 69630 585 0 0 20 0 1 0 269306771 126943232 29875 33554432000 4194304 10219143 140734134907136 140734134900808 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 30992 29875 843 1471 0 29512 0
Current children cumulated CPU time (s) 702.15
Current children cumulated vsize (KiB) 123968
[startup+762.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 6997
/proc/meminfo: memFree=28475648/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=124124 CPUtime=762.15 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 163786 0 0 0 75593 622 0 0 20 0 1 0 269306771 127102976 29927 33554432000 4194304 10219143 140734134907136 140734134900776 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 31031 29927 843 1471 0 29551 0
Current children cumulated CPU time (s) 762.15
Current children cumulated vsize (KiB) 124124
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6997
/proc/meminfo: memFree=28475588/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=123708 CPUtime=822.14 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 165478 0 0 0 81548 666 0 0 20 0 1 0 269306771 126676992 29782 33554432000 4194304 10219143 140734134907136 140734134900264 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 30927 29782 843 1471 0 29447 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 123708
############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (829.03 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (829.03 s) to the 'lost time'.
[startup+829.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6997
/proc/meminfo: memFree=28475464/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=123904 CPUtime=829.03 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 165523 0 0 0 82232 671 0 0 20 0 1 0 269306771 126877696 29827 33554432000 4194304 10219143 140734134907136 140734134900072 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 30976 29827 843 1471 0 29496 0
Current children cumulated CPU time (s) 829.03
Current children cumulated vsize (KiB) 123904
[startup+829.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6997
/proc/meminfo: memFree=28493320/32873844 swapFree=7620/7620
[pid=6951] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/6951/stat : -- couldn't open stat file --/proc/6951/statm: 5729 424 157 304 0 5421 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+825.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6997
/proc/meminfo: memFree=28475464/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=123708 CPUtime=825.33 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 165479 0 0 0 81864 669 0 0 20 0 1 0 269306771 126676992 29783 33554432000 4194304 10219143 140734134907136 140734134900856 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 30927 29783 843 1471 0 29447 0
Current children cumulated CPU time (s) 825.33
Current children cumulated vsize (KiB) 123708
[startup+827.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6997
/proc/meminfo: memFree=28475588/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=123708 CPUtime=826.94 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 165487 0 0 0 82024 670 0 0 20 0 1 0 269306771 126676992 29791 33554432000 4194304 10219143 140734134907136 140734134900552 8056736 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 30927 29791 843 1471 0 29447 0
Current children cumulated CPU time (s) 826.94
Current children cumulated vsize (KiB) 123708
[startup+828.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6997
/proc/meminfo: memFree=28475464/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=123904 CPUtime=828.53 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 165523 0 0 0 82182 671 0 0 20 0 1 0 269306771 126877696 29827 33554432000 4194304 10219143 140734134907136 140734134900776 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 30976 29827 843 1471 0 29496 0
Current children cumulated CPU time (s) 828.53
Current children cumulated vsize (KiB) 123904
[startup+829.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6997
/proc/meminfo: memFree=28475464/32873844 swapFree=7620/7620
[pid=6951] ppid=6949 vsize=123904 CPUtime=828.93 cores=1,3,5,7
/proc/6951/stat : 6951 (scip-2.1.1.4exp) R 6949 6951 3948 0 -1 4202496 165523 0 0 0 82222 671 0 0 20 0 1 0 269306771 126877696 29827 33554432000 4194304 10219143 140734134907136 140734134900072 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6951/statm: 30976 29827 843 1471 0 29496 0
Current children cumulated CPU time (s) 828.93
Current children cumulated vsize (KiB) 123904
[startup+829.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6997
/proc/meminfo: memFree=28493320/32873844 swapFree=7620/7620
[pid=6951] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/6951/stat : -- couldn't open stat file --/proc/6951/statm: 5729 424 157 304 0 5421 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6951 and gives
# childrusage.ru_utime.tv_sec=822
# childrusage.ru_utime.tv_usec=425972
# childrusage.ru_stime.tv_sec=6
# childrusage.ru_stime.tv_usec=719978
# CPU time returned by wait4() is 829.146
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 829.03
# lost CPU user time (s): 822.32
# lost CPU system time (s): 6.71
Real time (s): 829.304
CPU time (s): 829.03
CPU user time (s): 822.32
CPU system time (s): 6.71
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 151240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 822.426
system time used= 6.71998
maximum resident set size= 145784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165527
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 853
runsolver used 1.42478 second user time and 4.05938 second system time
The end