0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3734912-1338715238.opb>
0.00/0.00 c original problem has 61 variables (61 bin, 0 int, 0 impl, 0 cont) and 15 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 8 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 1 deleted vars, 8 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 60 variables (60 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.01 c 7 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 2.0.1.5
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1797
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 39 | - | 341k| 0 | 7 | 60 | 17 | 60 | 7 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 134 | - | 384k| 0 | 14 | 60 | 17 | 60 | 14 | 7 | 10 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 142 | - | 411k| 0 | 14 | 60 | 17 | 60 | 17 | 10 | 10 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 145 | - | 421k| 0 | 17 | 60 | 17 | 60 | 20 | 13 | 10 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 153 | - | 428k| 0 | 18 | 60 | 17 | 60 | 22 | 15 | 10 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 164 | - | 432k| 0 | 19 | 60 | 17 | 60 | 23 | 16 | 10 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 c 0.1s| 1 | 0 | 172 | - | 443k| 0 | 21 | 60 | 17 | 60 | 27 | 20 | 10 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 2 | 172 | - | 443k| 0 | 21 | 60 | 17 | 60 | 27 | 20 | 10 | 9 | 0.000000e+00 | -- | Inf
1.89/1.91 c 1.9s| 10000 | 5477 | 27039 | 2.7 |4178k| 53 | 7 | 60 |2559 | 60 | 21 | 20 |2982 | 576 | 0.000000e+00 | -- | Inf
3.69/3.79 c 3.8s| 20000 | 10416 | 54561 | 2.7 |6781k| 53 | 7 | 60 |2114 | 60 | 21 | 20 |6268 | 795 | 0.000000e+00 | -- | Inf
5.50/5.55 c 5.5s| 30000 | 15034 | 81621 | 2.7 |9249k| 53 | 7 | 60 |1946 | 60 | 21 | 20 |9770 | 943 | 0.000000e+00 | -- | Inf
7.18/7.29 c 7.3s| 40000 | 19674 |108433 | 2.7 | 11M| 53 | 7 | 60 |1902 | 60 | 21 | 20 | 13k|1039 | 0.000000e+00 | -- | Inf
8.99/9.02 c 9.0s| 50000 | 24232 |135626 | 2.7 | 14M| 53 | 7 | 60 |1994 | 60 | 21 | 20 | 16k|1138 | 0.000000e+00 | -- | Inf
10.78/10.80 c 10.8s| 60000 | 28462 |163315 | 2.7 | 16M| 54 | 7 | 60 |2336 | 60 | 21 | 20 | 20k|1225 | 0.000000e+00 | -- | Inf
12.49/12.59 c 12.6s| 70000 | 32583 |190986 | 2.7 | 19M| 54 | 7 | 60 |2835 | 60 | 21 | 20 | 24k|1286 | 0.000000e+00 | -- | Inf
14.39/14.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.39/14.43 c 14.4s| 80000 | 36752 |218413 | 2.7 | 21M| 54 | - | 60 |2659 | 60 | 21 | 20 | 28k|1349 | 0.000000e+00 | -- | Inf
16.18/16.23 c 16.2s| 90000 | 40780 |245967 | 2.7 | 24M| 54 | 7 | 60 |2566 | 60 | 21 | 20 | 32k|1407 | 0.000000e+00 | -- | Inf
17.98/18.01 c 18.0s|100000 | 44754 |273475 | 2.7 | 26M| 54 | 7 | 60 |3084 | 60 | 21 | 20 | 35k|1453 | 0.000000e+00 | -- | Inf
19.78/19.83 c 19.8s|110000 | 48585 |301043 | 2.7 | 29M| 54 | 7 | 60 |2972 | 60 | 21 | 20 | 40k|1489 | 0.000000e+00 | -- | Inf
21.58/21.63 c 21.6s|120000 | 52620 |328049 | 2.7 | 31M| 54 | - | 60 |2998 | 60 | 21 | 20 | 43k|1538 | 0.000000e+00 | -- | Inf
23.39/23.41 c 23.4s|130000 | 56622 |355707 | 2.7 | 34M| 54 | 7 | 60 |3786 | 60 | 21 | 20 | 47k|1573 | 0.000000e+00 | -- | Inf
25.18/25.23 c 25.2s|140000 | 60544 |383944 | 2.7 | 36M| 54 | 7 | 60 |3886 | 60 | 21 | 20 | 51k|1631 | 0.000000e+00 | -- | Inf
26.98/27.02 c 27.0s|150000 | 64800 |411309 | 2.7 | 39M| 54 | - | 60 |3793 | 60 | 21 | 20 | 55k|1675 | 0.000000e+00 | -- | Inf
28.78/28.84 c 28.8s|160000 | 68633 |438903 | 2.7 | 41M| 54 | 7 | 60 |3724 | 60 | 21 | 20 | 59k|1711 | 0.000000e+00 | -- | Inf
30.57/30.68 c 30.7s|170000 | 72500 |466125 | 2.7 | 44M| 54 | - | 60 |3566 | 60 | 21 | 20 | 63k|1757 | 0.000000e+00 | -- | Inf
32.37/32.49 c 32.5s|180000 | 76565 |493724 | 2.7 | 46M| 54 | 7 | 60 |3754 | 60 | 21 | 20 | 67k|1799 | 0.000000e+00 | -- | Inf
34.28/34.35 c 34.3s|190000 | 80516 |521519 | 2.7 | 48M| 54 | - | 60 |3811 | 60 | 21 | 20 | 71k|1844 | 0.000000e+00 | -- | Inf
36.07/36.13 c 36.1s|200000 | 84751 |548433 | 2.7 | 51M| 54 | - | 60 |4121 | 60 | 21 | 20 | 74k|1886 | 0.000000e+00 | -- | Inf
37.87/37.96 c 38.0s|210000 | 88706 |575494 | 2.7 | 53M| 54 | 7 | 60 |3721 | 60 | 21 | 20 | 78k|1932 | 0.000000e+00 | -- | Inf
39.77/39.80 c 39.8s|220000 | 92573 |602725 | 2.7 | 56M| 54 | 7 | 60 |3829 | 60 | 21 | 20 | 82k|1978 | 0.000000e+00 | -- | Inf
41.57/41.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.57/41.61 c 41.6s|230000 | 96503 |629328 | 2.7 | 58M| 54 | - | 60 |4188 | 60 | 21 | 20 | 86k|2015 | 0.000000e+00 | -- | Inf
43.47/43.54 c 43.5s|240000 |100030 |656471 | 2.7 | 61M| 54 | - | 60 |3624 | 60 | 21 | 20 | 90k|2054 | 0.000000e+00 | -- | Inf
45.37/45.40 c 45.4s|250000 |103855 |683760 | 2.7 | 63M| 54 | 7 | 60 |3572 | 60 | 21 | 20 | 94k|2082 | 0.000000e+00 | -- | Inf
47.16/47.25 c 47.2s|260000 |107752 |711225 | 2.7 | 65M| 54 | 7 | 60 |3584 | 60 | 21 | 20 | 98k|2117 | 0.000000e+00 | -- | Inf
48.96/49.01 c 49.0s|270000 |111850 |739150 | 2.7 | 68M| 54 | - | 60 |4491 | 60 | 21 | 20 | 102k|2135 | 0.000000e+00 | -- | Inf
50.87/50.96 c 51.0s|280000 |115368 |766964 | 2.7 | 70M| 54 | - | 60 |3951 | 60 | 21 | 20 | 107k|2165 | 0.000000e+00 | -- | Inf
52.77/52.81 c 52.8s|290000 |119197 |794165 | 2.7 | 73M| 54 | 7 | 60 |3904 | 60 | 21 | 20 | 111k|2198 | 0.000000e+00 | -- | Inf
54.67/54.71 c 54.7s|300000 |122781 |821466 | 2.7 | 75M| 54 | 7 | 60 |3986 | 60 | 21 | 20 | 115k|2216 | 0.000000e+00 | -- | Inf
56.56/56.62 c 56.6s|310000 |126444 |848623 | 2.7 | 77M| 54 | 7 | 60 |3625 | 60 | 21 | 20 | 119k|2243 | 0.000000e+00 | -- | Inf
58.36/58.43 c 58.4s|320000 |130428 |875609 | 2.7 | 80M| 54 | - | 60 |3711 | 60 | 21 | 20 | 123k|2275 | 0.000000e+00 | -- | Inf
60.16/60.29 c 60.3s|330000 |134142 |902511 | 2.7 | 82M| 54 | 7 | 60 |3682 | 60 | 21 | 20 | 127k|2308 | 0.000000e+00 | -- | Inf
61.95/62.06 c 62.1s|340000 |138271 |929894 | 2.7 | 85M| 54 | - | 60 |4735 | 60 | 21 | 20 | 131k|2338 | 0.000000e+00 | -- | Inf
63.86/63.96 c 64.0s|350000 |142089 |957638 | 2.7 | 87M| 54 | 7 | 60 |4230 | 60 | 21 | 20 | 135k|2371 | 0.000000e+00 | -- | Inf
65.86/65.91 c 65.9s|360000 |145681 |984870 | 2.7 | 89M| 54 | 7 | 60 |3811 | 60 | 21 | 20 | 139k|2395 | 0.000000e+00 | -- | Inf
67.65/67.79 c 67.8s|370000 |149423 | 1011k| 2.7 | 92M| 54 | - | 60 |3752 | 60 | 21 | 20 | 143k|2420 | 0.000000e+00 | -- | Inf
69.45/69.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.45/69.58 c 69.6s|380000 |153367 | 1038k| 2.7 | 94M| 54 | 7 | 60 |4120 | 60 | 21 | 20 | 147k|2446 | 0.000000e+00 | -- | Inf
71.35/71.48 c 71.5s|390000 |157117 | 1066k| 2.7 | 96M| 54 | 7 | 60 |3707 | 60 | 21 | 20 | 151k|2470 | 0.000000e+00 | -- | Inf
73.15/73.27 c 73.3s|400000 |161087 | 1093k| 2.7 | 99M| 54 | 7 | 60 |4363 | 60 | 21 | 20 | 155k|2501 | 0.000000e+00 | -- | Inf
75.15/75.21 c 75.2s|410000 |164671 | 1119k| 2.7 | 101M| 54 | 7 | 60 |4072 | 60 | 21 | 20 | 159k|2526 | 0.000000e+00 | -- | Inf
76.95/77.10 c 77.1s|420000 |168441 | 1146k| 2.7 | 103M| 54 | 7 | 60 |4027 | 60 | 21 | 20 | 163k|2559 | 0.000000e+00 | -- | Inf
78.85/78.93 c 78.9s|430000 |172136 | 1173k| 2.7 | 106M| 54 | - | 60 |4325 | 60 | 21 | 20 | 167k|2577 | 0.000000e+00 | -- | Inf
80.75/80.83 c 80.8s|440000 |175683 | 1201k| 2.7 | 108M| 54 | - | 60 |4421 | 60 | 21 | 20 | 172k|2607 | 0.000000e+00 | -- | Inf
82.65/82.77 c 82.8s|450000 |179230 | 1228k| 2.7 | 110M| 54 | - | 60 |3986 | 60 | 21 | 20 | 176k|2641 | 0.000000e+00 | -- | Inf
84.54/84.70 c 84.7s|460000 |182815 | 1255k| 2.7 | 113M| 54 | 7 | 60 |4133 | 60 | 21 | 20 | 180k|2657 | 0.000000e+00 | -- | Inf
86.43/86.56 c 86.6s|470000 |186394 | 1282k| 2.7 | 115M| 54 | 7 | 60 |4057 | 60 | 21 | 20 | 184k|2674 | 0.000000e+00 | -- | Inf
88.34/88.41 c 88.4s|480000 |190103 | 1310k| 2.7 | 118M| 54 | 7 | 60 |4624 | 60 | 21 | 20 | 188k|2700 | 0.000000e+00 | -- | Inf
90.15/90.27 c 90.3s|490000 |193809 | 1337k| 2.7 | 120M| 54 | 7 | 60 |5005 | 60 | 21 | 20 | 192k|2712 | 0.000000e+00 | -- | Inf
92.04/92.16 c 92.2s|500000 |197328 | 1365k| 2.7 | 122M| 54 | - | 60 |4888 | 60 | 21 | 20 | 197k|2731 | 0.000000e+00 | -- | Inf
94.03/94.11 c 94.1s|510000 |200832 | 1392k| 2.7 | 124M| 54 | 7 | 60 |4280 | 60 | 21 | 20 | 201k|2747 | 0.000000e+00 | -- | Inf
95.94/96.00 c 96.0s|520000 |204515 | 1419k| 2.7 | 127M| 54 | - | 60 |4530 | 60 | 21 | 20 | 205k|2762 | 0.000000e+00 | -- | Inf
97.84/97.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.84/97.97 c 98.0s|530000 |207963 | 1446k| 2.7 | 129M| 54 | - | 60 |4480 | 60 | 21 | 20 | 209k|2780 | 0.000000e+00 | -- | Inf
99.83/99.90 c 99.9s|540000 |211449 | 1473k| 2.7 | 132M| 54 | - | 60 |4743 | 60 | 21 | 20 | 213k|2805 | 0.000000e+00 | -- | Inf
101.73/101.87 c 102s|550000 |214902 | 1500k| 2.7 | 134M| 54 | 7 | 60 |4972 | 60 | 21 | 20 | 218k|2819 | 0.000000e+00 | -- | Inf
103.73/103.81 c 104s|560000 |218570 | 1527k| 2.7 | 136M| 54 | 7 | 60 |4360 | 60 | 21 | 20 | 222k|2819 | 0.000000e+00 | -- | Inf
105.43/105.59 c 106s|570000 |222670 | 1553k| 2.7 | 139M| 54 | 7 | 60 |5573 | 60 | 21 | 20 | 226k|2822 | 0.000000e+00 | -- | Inf
107.53/107.61 c 108s|580000 |226073 | 1581k| 2.7 | 141M| 54 | 7 | 60 |4599 | 60 | 21 | 20 | 230k|2841 | 0.000000e+00 | -- | Inf
109.43/109.56 c 110s|590000 |229535 | 1608k| 2.7 | 143M| 54 | 7 | 60 |4583 | 60 | 21 | 20 | 234k|2855 | 0.000000e+00 | -- | Inf
111.43/111.52 c 112s|600000 |232926 | 1635k| 2.7 | 145M| 54 | 7 | 60 |4419 | 60 | 21 | 20 | 239k|2869 | 0.000000e+00 | -- | Inf
113.24/113.34 c 113s|610000 |236717 | 1662k| 2.7 | 148M| 54 | - | 60 |5108 | 60 | 21 | 20 | 243k|2886 | 0.000000e+00 | -- | Inf
115.23/115.34 c 115s|620000 |240236 | 1689k| 2.7 | 150M| 54 | 7 | 60 |3970 | 60 | 21 | 20 | 247k|2897 | 0.000000e+00 | -- | Inf
117.13/117.25 c 117s|630000 |243791 | 1716k| 2.7 | 152M| 54 | 7 | 60 |4113 | 60 | 21 | 20 | 251k|2915 | 0.000000e+00 | -- | Inf
119.13/119.27 c 119s|640000 |247113 | 1743k| 2.7 | 155M| 54 | 7 | 60 |4233 | 60 | 21 | 20 | 256k|2942 | 0.000000e+00 | -- | Inf
121.04/121.16 c 121s|650000 |250798 | 1769k| 2.7 | 157M| 54 | 7 | 60 |4354 | 60 | 21 | 20 | 260k|2965 | 0.000000e+00 | -- | Inf
122.93/123.06 c 123s|660000 |254501 | 1796k| 2.7 | 160M| 54 | 7 | 60 |4993 | 60 | 21 | 20 | 264k|2980 | 0.000000e+00 | -- | Inf
124.94/125.08 c 125s|670000 |257885 | 1824k| 2.7 | 162M| 54 | 7 | 60 |5306 | 60 | 21 | 20 | 268k|2995 | 0.000000e+00 | -- | Inf
126.84/126.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.84/126.97 c 127s|680000 |261600 | 1851k| 2.7 | 165M| 54 | - | 60 |6235 | 60 | 21 | 20 | 272k|3003 | 0.000000e+00 | -- | Inf
128.83/128.98 c 129s|690000 |265179 | 1878k| 2.7 | 167M| 54 | - | 60 |4848 | 60 | 21 | 20 | 276k|3009 | 0.000000e+00 | -- | Inf
130.84/130.99 c 131s|700000 |268646 | 1904k| 2.7 | 169M| 54 | 7 | 60 |4257 | 60 | 21 | 20 | 281k|3017 | 0.000000e+00 | -- | Inf
132.73/132.80 c 133s|710000 |272325 | 1932k| 2.7 | 171M| 54 | 7 | 60 |5399 | 60 | 21 | 20 | 285k|3035 | 0.000000e+00 | -- | Inf
134.63/134.70 c 135s|720000 |276033 | 1959k| 2.7 | 174M| 54 | 7 | 60 |5521 | 60 | 21 | 20 | 289k|3048 | 0.000000e+00 | -- | Inf
136.53/136.62 c 137s|730000 |279569 | 1986k| 2.7 | 176M| 54 | 7 | 60 |5595 | 60 | 21 | 20 | 293k|3048 | 0.000000e+00 | -- | Inf
138.43/138.58 c 139s|740000 |283104 | 2013k| 2.7 | 178M| 54 | - | 60 |4635 | 60 | 21 | 20 | 297k|3048 | 0.000000e+00 | -- | Inf
140.43/140.52 c 141s|750000 |286530 | 2040k| 2.7 | 180M| 54 | 7 | 60 |4743 | 60 | 21 | 20 | 302k|3048 | 0.000000e+00 | -- | Inf
142.32/142.46 c 142s|760000 |289928 | 2067k| 2.7 | 183M| 54 | 7 | 60 |5011 | 60 | 21 | 20 | 306k|3048 | 0.000000e+00 | -- | Inf
144.33/144.44 c 144s|770000 |293275 | 2094k| 2.7 | 185M| 54 | 7 | 60 |5316 | 60 | 21 | 20 | 310k|3048 | 0.000000e+00 | -- | Inf
146.33/146.42 c 146s|780000 |296615 | 2121k| 2.7 | 187M| 54 | 7 | 60 |4943 | 60 | 21 | 20 | 315k|3052 | 0.000000e+00 | -- | Inf
148.23/148.39 c 148s|790000 |299858 | 2149k| 2.7 | 190M| 54 | 7 | 60 |4914 | 60 | 21 | 20 | 319k|3064 | 0.000000e+00 | -- | Inf
150.33/150.40 c 150s|800000 |303338 | 2175k| 2.7 | 192M| 54 | 7 | 60 |4625 | 60 | 21 | 20 | 323k|3080 | 0.000000e+00 | -- | Inf
152.22/152.30 c 152s|810000 |306912 | 2202k| 2.7 | 194M| 54 | 7 | 60 |4920 | 60 | 21 | 20 | 328k|3089 | 0.000000e+00 | -- | Inf
154.12/154.27 c 154s|820000 |310075 | 2229k| 2.7 | 196M| 54 | 7 | 60 |4816 | 60 | 21 | 20 | 332k|3089 | 0.000000e+00 | -- | Inf
156.03/156.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.03/156.15 c 156s|830000 |313635 | 2257k| 2.7 | 199M| 54 | - | 60 |5403 | 60 | 21 | 20 | 336k|3097 | 0.000000e+00 | -- | Inf
158.03/158.16 c 158s|840000 |316636 | 2284k| 2.7 | 201M| 54 | - | 60 |5487 | 0 | 0 | 20 | 341k|3111 | 0.000000e+00 | -- | Inf
160.03/160.16 c 160s|850000 |319794 | 2311k| 2.7 | 204M| 54 | 7 | 60 |6042 | 60 | 21 | 20 | 346k|3121 | 0.000000e+00 | -- | Inf
162.13/162.25 c 162s|860000 |323093 | 2337k| 2.7 | 206M| 54 | 7 | 60 |5065 | 60 | 21 | 20 | 350k|3128 | 0.000000e+00 | -- | Inf
164.13/164.22 c 164s|870000 |326510 | 2365k| 2.7 | 208M| 54 | 7 | 60 |5339 | 60 | 21 | 20 | 355k|3132 | 0.000000e+00 | -- | Inf
166.13/166.22 c 166s|880000 |329912 | 2392k| 2.7 | 210M| 54 | - | 60 |4797 | 60 | 21 | 20 | 359k|3152 | 0.000000e+00 | -- | Inf
168.12/168.21 c 168s|890000 |333255 | 2419k| 2.7 | 212M| 54 | 7 | 60 |4894 | 60 | 21 | 20 | 363k|3164 | 0.000000e+00 | -- | Inf
170.12/170.23 c 170s|900000 |336467 | 2445k| 2.7 | 215M| 54 | - | 60 |5183 | 60 | 21 | 20 | 368k|3173 | 0.000000e+00 | -- | Inf
172.12/172.25 c 172s|910000 |339705 | 2473k| 2.7 | 217M| 54 | 7 | 60 |5145 | 60 | 21 | 20 | 372k|3179 | 0.000000e+00 | -- | Inf
174.02/174.17 c 174s|920000 |342969 | 2500k| 2.7 | 219M| 54 | 7 | 60 |5755 | 60 | 21 | 20 | 377k|3188 | 0.000000e+00 | -- | Inf
176.03/176.13 c 176s|930000 |346406 | 2527k| 2.7 | 221M| 54 | 7 | 60 |5323 | 60 | 21 | 20 | 381k|3195 | 0.000000e+00 | -- | Inf
177.82/177.97 c 178s|940000 |349637 | 2556k| 2.7 | 224M| 54 | 7 | 60 |7667 | 60 | 21 | 20 | 386k|3198 | 0.000000e+00 | -- | Inf
179.92/180.09 c 180s|950000 |352576 | 2583k| 2.7 | 226M| 54 | 7 | 60 |6753 | 60 | 21 | 20 | 391k|3201 | 0.000000e+00 | -- | Inf
182.03/182.16 c 182s|960000 |355937 | 2610k| 2.7 | 228M| 54 | 7 | 60 |6076 | 60 | 21 | 20 | 395k|3207 | 0.000000e+00 | -- | Inf
184.02/184.10 c 184s|970000 |359178 | 2638k| 2.7 | 231M| 54 | 7 | 60 |6178 | 60 | 21 | 20 | 400k|3207 | 0.000000e+00 | -- | Inf
185.93/186.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.93/186.09 c 186s|980000 |362160 | 2666k| 2.7 | 233M| 54 | 7 | 60 |6298 | 60 | 21 | 20 | 404k|3207 | 0.000000e+00 | -- | Inf
188.12/188.24 c 188s|990000 |365216 | 2693k| 2.7 | 235M| 54 | - | 60 |5355 | 60 | 21 | 20 | 409k|3215 | 0.000000e+00 | -- | Inf
190.12/190.22 c 190s| 1000k|368314 | 2721k| 2.7 | 237M| 54 | 7 | 60 |6201 | 60 | 21 | 20 | 413k|3218 | 0.000000e+00 | -- | Inf
192.02/192.12 c 192s| 1010k|371712 | 2749k| 2.7 | 240M| 54 | 7 | 60 |6286 | 60 | 21 | 20 | 418k|3232 | 0.000000e+00 | -- | Inf
194.02/194.15 c 194s| 1020k|374564 | 2777k| 2.7 | 242M| 54 | 7 | 60 |6290 | 60 | 21 | 20 | 423k|3237 | 0.000000e+00 | -- | Inf
196.02/196.18 c 196s| 1030k|377779 | 2804k| 2.7 | 244M| 54 | 7 | 60 |6413 | 60 | 21 | 20 | 427k|3237 | 0.000000e+00 | -- | Inf
198.12/198.26 c 198s| 1040k|381009 | 2831k| 2.7 | 246M| 54 | 7 | 60 |5710 | 60 | 21 | 20 | 432k|3245 | 0.000000e+00 | -- | Inf
200.22/200.33 c 200s| 1050k|384240 | 2858k| 2.7 | 249M| 54 | 7 | 60 |5538 | 60 | 21 | 20 | 436k|3245 | 0.000000e+00 | -- | Inf
202.22/202.31 c 202s| 1060k|387313 | 2886k| 2.7 | 251M| 54 | - | 60 |6395 | 60 | 21 | 20 | 441k|3247 | 0.000000e+00 | -- | Inf
204.22/204.38 c 204s| 1070k|390283 | 2914k| 2.7 | 253M| 54 | 7 | 60 |5861 | 60 | 21 | 20 | 445k|3251 | 0.000000e+00 | -- | Inf
206.32/206.45 c 206s| 1080k|393484 | 2941k| 2.7 | 255M| 54 | 7 | 60 |5616 | 60 | 21 | 20 | 450k|3253 | 0.000000e+00 | -- | Inf
208.32/208.49 c 208s| 1090k|396868 | 2967k| 2.7 | 257M| 54 | - | 60 |4929 | 60 | 21 | 20 | 454k|3254 | 0.000000e+00 | -- | Inf
210.31/210.48 c 210s| 1100k|400103 | 2994k| 2.7 | 260M| 54 | 7 | 60 |5557 | 60 | 21 | 20 | 459k|3256 | 0.000000e+00 | -- | Inf
212.32/212.48 c 212s| 1110k|403297 | 3020k| 2.7 | 262M| 54 | 7 | 60 |6134 | 60 | 21 | 20 | 463k|3256 | 0.000000e+00 | -- | Inf
214.52/214.62 c 215s| 1120k|406562 | 3047k| 2.7 | 264M| 54 | 7 | 60 |5407 | 60 | 21 | 20 | 467k|3259 | 0.000000e+00 | -- | Inf
216.41/216.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.41/216.57 c 217s| 1130k|409818 | 3074k| 2.7 | 267M| 54 | - | 60 |6357 | 60 | 21 | 20 | 472k|3261 | 0.000000e+00 | -- | Inf
218.51/218.62 c 219s| 1140k|413002 | 3102k| 2.7 | 269M| 54 | 7 | 60 |6211 | 60 | 21 | 20 | 477k|3271 | 0.000000e+00 | -- | Inf
220.61/220.73 c 221s| 1150k|416021 | 3128k| 2.7 | 271M| 54 | 7 | 60 |5702 | 60 | 21 | 20 | 481k|3277 | 0.000000e+00 | -- | Inf
222.61/222.72 c 223s| 1160k|419292 | 3155k| 2.7 | 273M| 54 | 7 | 60 |6060 | 60 | 21 | 20 | 486k|3278 | 0.000000e+00 | -- | Inf
224.71/224.82 c 225s| 1170k|422698 | 3182k| 2.7 | 275M| 54 | - | 60 |5531 | 60 | 21 | 20 | 490k|3282 | 0.000000e+00 | -- | Inf
226.80/226.91 c 227s| 1180k|425969 | 3209k| 2.7 | 278M| 54 | 7 | 60 |5299 | 60 | 21 | 20 | 494k|3284 | 0.000000e+00 | -- | Inf
228.91/229.00 c 229s| 1190k|429302 | 3235k| 2.7 | 280M| 54 | 7 | 60 |4385 | 60 | 21 | 20 | 499k|3285 | 0.000000e+00 | -- | Inf
230.81/230.96 c 231s| 1200k|432474 | 3262k| 2.7 | 282M| 54 | 7 | 60 |5659 | 60 | 21 | 20 | 503k|3287 | 0.000000e+00 | -- | Inf
232.81/232.96 c 233s| 1210k|435650 | 3290k| 2.7 | 284M| 54 | 7 | 60 |5611 | 60 | 21 | 20 | 508k|3288 | 0.000000e+00 | -- | Inf
234.80/234.99 c 235s| 1220k|438705 | 3316k| 2.7 | 287M| 54 | 7 | 60 |6350 | 60 | 21 | 20 | 512k|3288 | 0.000000e+00 | -- | Inf
236.90/237.09 c 237s| 1230k|441889 | 3344k| 2.7 | 289M| 54 | 7 | 60 |5589 | 60 | 21 | 20 | 517k|3292 | 0.000000e+00 | -- | Inf
239.00/239.12 c 239s| 1240k|445179 | 3370k| 2.7 | 291M| 54 | - | 60 |5152 | 60 | 21 | 20 | 521k|3293 | 0.000000e+00 | -- | Inf
240.81/240.98 c 241s| 1250k|449001 | 3397k| 2.7 | 294M| 54 | - | 60 |6146 | 60 | 21 | 20 | 525k|3293 | 0.000000e+00 | -- | Inf
242.80/242.94 c 243s| 1260k|452264 | 3423k| 2.7 | 296M| 54 | 7 | 60 |6944 | 60 | 21 | 20 | 530k|3295 | 0.000000e+00 | -- | Inf
244.90/245.09 c 245s| 1270k|455341 | 3450k| 2.7 | 298M| 54 | - | 60 |5344 | 60 | 21 | 20 | 534k|3299 | 0.000000e+00 | -- | Inf
247.00/247.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
247.00/247.14 c 247s| 1280k|458402 | 3477k| 2.7 | 300M| 54 | 7 | 60 |4938 | 60 | 21 | 20 | 539k|3303 | 0.000000e+00 | -- | Inf
248.90/249.09 c 249s| 1290k|461253 | 3505k| 2.7 | 303M| 54 | 7 | 60 |6050 | 60 | 21 | 20 | 544k|3305 | 0.000000e+00 | -- | Inf
250.80/250.96 c 251s| 1300k|464397 | 3533k| 2.7 | 305M| 54 | 7 | 60 |8164 | 60 | 21 | 20 | 548k|3305 | 0.000000e+00 | -- | Inf
252.79/252.94 c 253s| 1310k|467667 | 3561k| 2.7 | 307M| 54 | - | 60 |8010 | 60 | 21 | 20 | 553k|3306 | 0.000000e+00 | -- | Inf
254.79/254.94 c 255s| 1320k|471016 | 3587k| 2.7 | 310M| 54 | - | 60 |7169 | 60 | 21 | 20 | 557k|3325 | 0.000000e+00 | -- | Inf
256.89/257.07 c 257s| 1330k|474227 | 3613k| 2.7 | 312M| 54 | - | 60 |6011 | 60 | 21 | 20 | 562k|3326 | 0.000000e+00 | -- | Inf
258.89/259.06 c 259s| 1340k|477265 | 3642k| 2.7 | 314M| 54 | 7 | 60 |6364 | 60 | 21 | 20 | 566k|3335 | 0.000000e+00 | -- | Inf
260.89/261.02 c 261s| 1350k|480347 | 3670k| 2.7 | 316M| 54 | 7 | 60 |7363 | 60 | 21 | 20 | 571k|3342 | 0.000000e+00 | -- | Inf
262.89/263.03 c 263s| 1360k|483584 | 3699k| 2.7 | 319M| 54 | - | 60 |7768 | 60 | 21 | 20 | 576k|3343 | 0.000000e+00 | -- | Inf
264.89/265.04 c 265s| 1370k|486663 | 3727k| 2.7 | 321M| 54 | 7 | 60 |9100 | 60 | 21 | 20 | 580k|3343 | 0.000000e+00 | -- | Inf
267.20/267.31 c 267s| 1380k|489427 | 3755k| 2.7 | 323M| 54 | - | 60 |7520 | 60 | 21 | 20 | 585k|3343 | 0.000000e+00 | -- | Inf
269.39/269.57 c 270s| 1390k|492534 | 3782k| 2.7 | 325M| 54 | - | 60 |5256 | 60 | 21 | 20 | 589k|3351 | 0.000000e+00 | -- | Inf
271.39/271.54 c 272s| 1400k|495881 | 3809k| 2.7 | 327M| 54 | 7 | 60 |5879 | 60 | 21 | 20 | 594k|3353 | 0.000000e+00 | -- | Inf
273.59/273.75 c 274s| 1410k|498780 | 3836k| 2.7 | 329M| 54 | 7 | 60 |4568 | 60 | 21 | 20 | 599k|3361 | 0.000000e+00 | -- | Inf
275.58/275.70 c 276s| 1420k|502123 | 3863k| 2.7 | 332M| 54 | 7 | 60 |5393 | 60 | 21 | 20 | 603k|3380 | 0.000000e+00 | -- | Inf
277.59/277.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
277.59/277.73 c 278s| 1430k|505265 | 3889k| 2.7 | 334M| 54 | 7 | 60 |5093 | 60 | 21 | 20 | 607k|3381 | 0.000000e+00 | -- | Inf
279.69/279.88 c 280s| 1440k|508297 | 3916k| 2.7 | 336M| 54 | - | 60 |5007 | 60 | 21 | 20 | 612k|3383 | 0.000000e+00 | -- | Inf
281.79/281.98 c 282s| 1450k|511471 | 3943k| 2.7 | 338M| 54 | - | 60 |5304 | 60 | 21 | 20 | 616k|3388 | 0.000000e+00 | -- | Inf
283.88/284.07 c 284s| 1460k|514758 | 3970k| 2.7 | 340M| 54 | 7 | 60 |4851 | 60 | 21 | 20 | 621k|3389 | 0.000000e+00 | -- | Inf
285.98/286.12 c 286s| 1470k|517908 | 3997k| 2.7 | 343M| 54 | 7 | 60 |5570 | 60 | 21 | 20 | 625k|3394 | 0.000000e+00 | -- | Inf
287.97/288.11 c 288s| 1480k|521217 | 4023k| 2.7 | 345M| 54 | - | 60 |6597 | 60 | 21 | 20 | 630k|3394 | 0.000000e+00 | -- | Inf
289.97/290.15 c 290s| 1490k|524563 | 4050k| 2.7 | 347M| 54 | 7 | 60 |5373 | 60 | 21 | 20 | 634k|3400 | 0.000000e+00 | -- | Inf
291.98/292.11 c 292s| 1500k|527350 | 4081k| 2.7 | 350M| 54 | 7 | 60 |6445 | 60 | 21 | 20 | 639k|3400 | 0.000000e+00 | -- | Inf
293.98/294.15 c 294s| 1510k|529978 | 4112k| 2.7 | 352M| 54 | 7 | 60 |6680 | 60 | 21 | 20 | 644k|3400 | 0.000000e+00 | -- | Inf
295.98/296.13 c 296s| 1520k|532950 | 4142k| 2.7 | 354M| 54 | 7 | 60 |7900 | 60 | 21 | 20 | 649k|3411 | 0.000000e+00 | -- | Inf
298.08/298.27 c 298s| 1530k|536220 | 4169k| 2.7 | 356M| 54 | - | 60 |6288 | 60 | 21 | 20 | 654k|3411 | 0.000000e+00 | -- | Inf
300.28/300.41 c 300s| 1540k|539499 | 4195k| 2.7 | 358M| 54 | - | 60 |5143 | 60 | 21 | 20 | 658k|3411 | 0.000000e+00 | -- | Inf
302.27/302.43 c 302s| 1550k|542729 | 4222k| 2.7 | 360M| 54 | - | 60 |5090 | 60 | 21 | 20 | 662k|3411 | 0.000000e+00 | -- | Inf
304.37/304.50 c 304s| 1560k|545808 | 4249k| 2.7 | 363M| 54 | 7 | 60 |5438 | 60 | 21 | 20 | 667k|3411 | 0.000000e+00 | -- | Inf
306.47/306.64 c 307s| 1570k|548869 | 4276k| 2.7 | 365M| 54 | 7 | 60 |4901 | 60 | 21 | 20 | 672k|3411 | 0.000000e+00 | -- | Inf
308.47/308.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.47/308.62 c 309s| 1580k|551733 | 4305k| 2.7 | 368M| 54 | 7 | 60 |7004 | 60 | 21 | 20 | 677k|3411 | 0.000000e+00 | -- | Inf
310.67/310.88 c 311s| 1590k|554485 | 4332k| 2.7 | 369M| 54 | 7 | 60 |5669 | 60 | 21 | 20 | 681k|3422 | 0.000000e+00 | -- | Inf
312.77/312.96 c 313s| 1600k|557490 | 4359k| 2.7 | 372M| 54 | 7 | 60 |5743 | 60 | 21 | 20 | 686k|3429 | 0.000000e+00 | -- | Inf
314.87/315.01 c 315s| 1610k|560658 | 4386k| 2.7 | 374M| 54 | 7 | 60 |6572 | 60 | 21 | 20 | 690k|3437 | 0.000000e+00 | -- | Inf
316.96/317.14 c 317s| 1620k|563908 | 4413k| 2.7 | 376M| 54 | - | 60 |6210 | 60 | 21 | 20 | 695k|3440 | 0.000000e+00 | -- | Inf
319.06/319.26 c 319s| 1630k|567033 | 4440k| 2.7 | 378M| 54 | - | 60 |5821 | 60 | 21 | 20 | 699k|3445 | 0.000000e+00 | -- | Inf
321.26/321.40 c 321s| 1640k|570065 | 4466k| 2.7 | 380M| 54 | - | 60 |5565 | 60 | 21 | 20 | 704k|3448 | 0.000000e+00 | -- | Inf
323.16/323.37 c 323s| 1650k|573358 | 4494k| 2.7 | 383M| 54 | 7 | 60 |6219 | 60 | 21 | 20 | 709k|3450 | 0.000000e+00 | -- | Inf
325.25/325.47 c 325s| 1660k|576262 | 4522k| 2.7 | 385M| 54 | - | 60 |6623 | 60 | 21 | 20 | 713k|3457 | 0.000000e+00 | -- | Inf
327.36/327.52 c 328s| 1670k|579320 | 4549k| 2.7 | 387M| 54 | 7 | 60 |6920 | 60 | 21 | 20 | 718k|3460 | 0.000000e+00 | -- | Inf
329.56/329.72 c 330s| 1680k|582459 | 4575k| 2.7 | 389M| 54 | 7 | 60 |5309 | 60 | 21 | 20 | 722k|3465 | 0.000000e+00 | -- | Inf
331.55/331.76 c 332s| 1690k|585864 | 4602k| 2.7 | 392M| 54 | - | 60 |5797 | 60 | 21 | 20 | 727k|3473 | 0.000000e+00 | -- | Inf
333.75/333.92 c 334s| 1700k|588879 | 4629k| 2.7 | 394M| 54 | 7 | 60 |5568 | 60 | 21 | 20 | 732k|3484 | 0.000000e+00 | -- | Inf
335.85/336.01 c 336s| 1710k|591951 | 4656k| 2.7 | 396M| 54 | 7 | 60 |5957 | 60 | 21 | 20 | 736k|3491 | 0.000000e+00 | -- | Inf
337.95/338.15 c 338s| 1720k|594733 | 4684k| 2.7 | 398M| 54 | - | 60 |5845 | 60 | 21 | 20 | 741k|3498 | 0.000000e+00 | -- | Inf
340.15/340.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.15/340.32 c 340s| 1730k|597806 | 4711k| 2.7 | 400M| 54 | 7 | 60 |5175 | 60 | 21 | 20 | 746k|3498 | 0.000000e+00 | -- | Inf
342.05/342.27 c 342s| 1740k|600487 | 4739k| 2.7 | 403M| 54 | 7 | 60 |7104 | 60 | 21 | 20 | 751k|3498 | 0.000000e+00 | -- | Inf
344.15/344.33 c 344s| 1750k|603134 | 4767k| 2.7 | 405M| 54 | 7 | 60 |6723 | 60 | 21 | 20 | 756k|3501 | 0.000000e+00 | -- | Inf
346.24/346.44 c 346s| 1760k|605849 | 4794k| 2.7 | 407M| 54 | 7 | 60 |7247 | 60 | 21 | 20 | 761k|3506 | 0.000000e+00 | -- | Inf
348.34/348.59 c 349s| 1770k|608987 | 4820k| 2.7 | 409M| 54 | 7 | 60 |6403 | 60 | 21 | 20 | 765k|3506 | 0.000000e+00 | -- | Inf
350.54/350.70 c 351s| 1780k|612216 | 4847k| 2.7 | 411M| 54 | - | 60 |6221 | 60 | 21 | 20 | 770k|3507 | 0.000000e+00 | -- | Inf
352.65/352.86 c 353s| 1790k|615071 | 4874k| 2.7 | 413M| 54 | 7 | 60 |5739 | 60 | 21 | 20 | 774k|3507 | 0.000000e+00 | -- | Inf
354.75/354.97 c 355s| 1800k|618026 | 4901k| 2.7 | 416M| 54 | 7 | 60 |5508 | 60 | 21 | 20 | 779k|3508 | 0.000000e+00 | -- | Inf
356.63/356.87 c 357s| 1810k|621641 | 4930k| 2.7 | 418M| 54 | 7 | 60 |7290 | 60 | 21 | 20 | 783k|3509 | 0.000000e+00 | -- | Inf
358.63/358.84 c 359s| 1820k|625078 | 4958k| 2.7 | 421M| 54 | 7 | 60 |8164 | 60 | 21 | 20 | 788k|3509 | 0.000000e+00 | -- | Inf
360.64/360.88 c 361s| 1830k|628487 | 4985k| 2.7 | 423M| 54 | 7 | 60 |9119 | 60 | 21 | 20 | 792k|3509 | 0.000000e+00 | -- | Inf
363.04/363.21 c 363s| 1840k|631438 | 5012k| 2.7 | 425M| 54 | 7 | 60 |7127 | 60 | 21 | 20 | 797k|3515 | 0.000000e+00 | -- | Inf
365.23/365.42 c 365s| 1850k|634557 | 5038k| 2.7 | 427M| 54 | 7 | 60 |6617 | 60 | 21 | 20 | 801k|3521 | 0.000000e+00 | -- | Inf
367.33/367.52 c 368s| 1860k|637396 | 5069k| 2.7 | 429M| 54 | - | 60 |6937 | 60 | 21 | 20 | 806k|3531 | 0.000000e+00 | -- | Inf
369.54/369.72 c 370s| 1870k|639731 | 5098k| 2.7 | 431M| 54 | 7 | 60 |6945 | 60 | 21 | 20 | 812k|3531 | 0.000000e+00 | -- | Inf
371.74/371.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
371.74/371.92 c 372s| 1880k|642748 | 5125k| 2.7 | 433M| 54 | - | 60 |5550 | 60 | 21 | 20 | 816k|3531 | 0.000000e+00 | -- | Inf
373.73/373.96 c 374s| 1890k|645250 | 5153k| 2.7 | 435M| 54 | 7 | 60 |5377 | 60 | 21 | 20 | 821k|3531 | 0.000000e+00 | -- | Inf
375.92/376.13 c 376s| 1900k|648309 | 5180k| 2.7 | 437M| 54 | 7 | 60 |4952 | 60 | 21 | 20 | 826k|3531 | 0.000000e+00 | -- | Inf
377.82/378.08 c 378s| 1910k|651445 | 5207k| 2.7 | 440M| 54 | 7 | 60 |6221 | 60 | 21 | 20 | 831k|3531 | 0.000000e+00 | -- | Inf
380.02/380.26 c 380s| 1920k|654448 | 5234k| 2.7 | 442M| 54 | 7 | 60 |5447 | 60 | 21 | 20 | 835k|3531 | 0.000000e+00 | -- | Inf
382.12/382.39 c 382s| 1930k|657414 | 5260k| 2.7 | 444M| 54 | 7 | 60 |5465 | 60 | 21 | 20 | 840k|3531 | 0.000000e+00 | -- | Inf
384.23/384.44 c 384s| 1940k|660485 | 5287k| 2.7 | 447M| 54 | - | 60 |6183 | 60 | 21 | 20 | 844k|3531 | 0.000000e+00 | -- | Inf
386.21/386.47 c 386s| 1950k|663658 | 5314k| 2.7 | 449M| 54 | - | 60 |6654 | 60 | 21 | 20 | 849k|3531 | 0.000000e+00 | -- | Inf
388.31/388.54 c 389s| 1960k|666506 | 5342k| 2.7 | 451M| 54 | 7 | 60 |6753 | 60 | 21 | 20 | 854k|3531 | 0.000000e+00 | -- | Inf
390.52/390.71 c 391s| 1970k|669514 | 5369k| 2.7 | 453M| 54 | - | 60 |6375 | 60 | 21 | 20 | 859k|3531 | 0.000000e+00 | -- | Inf
392.52/392.71 c 393s| 1980k|673120 | 5395k| 2.7 | 456M| 54 | - | 60 |7079 | 60 | 21 | 20 | 863k|3531 | 0.000000e+00 | -- | Inf
394.52/394.73 c 395s| 1990k|676251 | 5422k| 2.7 | 458M| 54 | 7 | 60 |8062 | 60 | 21 | 20 | 868k|3531 | 0.000000e+00 | -- | Inf
396.81/397.01 c 397s| 2000k|679244 | 5449k| 2.7 | 460M| 54 | 7 | 60 |6529 | 60 | 21 | 20 | 872k|3531 | 0.000000e+00 | -- | Inf
398.91/399.18 c 399s| 2010k|682299 | 5475k| 2.7 | 462M| 54 | 7 | 60 |5903 | 60 | 21 | 20 | 877k|3531 | 0.000000e+00 | -- | Inf
401.00/401.24 c 401s| 2020k|685214 | 5503k| 2.7 | 465M| 54 | - | 60 |7306 | 60 | 21 | 20 | 882k|3531 | 0.000000e+00 | -- | Inf
403.20/403.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
403.20/403.40 c 403s| 2030k|688262 | 5530k| 2.7 | 467M| 54 | - | 60 |6512 | 60 | 21 | 20 | 886k|3531 | 0.000000e+00 | -- | Inf
405.20/405.40 c 405s| 2040k|691440 | 5559k| 2.7 | 469M| 54 | - | 60 |8520 | 60 | 21 | 20 | 891k|3531 | 0.000000e+00 | -- | Inf
407.40/407.62 c 408s| 2050k|694191 | 5586k| 2.7 | 471M| 54 | 7 | 60 |8629 | 60 | 21 | 20 | 896k|3531 | 0.000000e+00 | -- | Inf
409.60/409.87 c 410s| 2060k|696943 | 5614k| 2.7 | 474M| 54 | 7 | 60 |8604 | 60 | 21 | 20 | 901k|3531 | 0.000000e+00 | -- | Inf
411.80/412.10 c 412s| 2070k|699942 | 5640k| 2.7 | 475M| 54 | - | 60 |7265 | 60 | 21 | 20 | 906k|3531 | 0.000000e+00 | -- | Inf
414.00/414.21 c 414s| 2080k|703009 | 5668k| 2.7 | 478M| 54 | 7 | 60 |7098 | 60 | 21 | 20 | 910k|3531 | 0.000000e+00 | -- | Inf
416.19/416.45 c 416s| 2090k|706036 | 5694k| 2.7 | 480M| 54 | 7 | 60 |5751 | 60 | 21 | 20 | 915k|3531 | 0.000000e+00 | -- | Inf
418.29/418.51 c 419s| 2100k|709057 | 5721k| 2.7 | 482M| 54 | 7 | 60 |6076 | 60 | 21 | 20 | 919k|3531 | 0.000000e+00 | -- | Inf
420.38/420.64 c 421s| 2110k|711953 | 5748k| 2.7 | 484M| 54 | 7 | 60 |5532 | 60 | 21 | 20 | 924k|3531 | 0.000000e+00 | -- | Inf
422.38/422.66 c 423s| 2120k|714849 | 5775k| 2.7 | 486M| 54 | 7 | 60 |6004 | 60 | 21 | 20 | 929k|3531 | 0.000000e+00 | -- | Inf
424.49/424.73 c 425s| 2130k|717831 | 5802k| 2.7 | 488M| 54 | 7 | 60 |6417 | 60 | 21 | 20 | 934k|3531 | 0.000000e+00 | -- | Inf
426.69/426.95 c 427s| 2140k|720717 | 5828k| 2.7 | 490M| 54 | - | 60 |5599 | 60 | 21 | 20 | 938k|3531 | 0.000000e+00 | -- | Inf
428.89/429.13 c 429s| 2150k|723611 | 5855k| 2.7 | 493M| 54 | 7 | 60 |5059 | 60 | 21 | 20 | 943k|3531 | 0.000000e+00 | -- | Inf
430.99/431.28 c 431s| 2160k|726435 | 5882k| 2.7 | 495M| 54 | 7 | 60 |5399 | 60 | 21 | 20 | 948k|3531 | 0.000000e+00 | -- | Inf
432.98/433.29 c 433s| 2170k|729226 | 5909k| 2.7 | 497M| 54 | - | 60 |6621 | 60 | 21 | 20 | 953k|3531 | 0.000000e+00 | -- | Inf
435.18/435.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
435.18/435.50 c 435s| 2180k|731947 | 5936k| 2.7 | 499M| 54 | - | 60 |6511 | 60 | 21 | 20 | 957k|3531 | 0.000000e+00 | -- | Inf
437.38/437.69 c 438s| 2190k|734976 | 5962k| 2.7 | 501M| 54 | 7 | 60 |5860 | 60 | 21 | 20 | 962k|3531 | 0.000000e+00 | -- | Inf
439.58/439.88 c 440s| 2200k|737956 | 5988k| 2.7 | 503M| 54 | - | 60 |5191 | 60 | 21 | 20 | 967k|3531 | 0.000000e+00 | -- | Inf
441.77/442.03 c 442s| 2210k|740864 | 6015k| 2.7 | 506M| 54 | 7 | 60 |5372 | 60 | 21 | 20 | 971k|3531 | 0.000000e+00 | -- | Inf
443.77/444.04 c 444s| 2220k|743677 | 6043k| 2.7 | 508M| 54 | - | 60 |6453 | 60 | 21 | 20 | 976k|3531 | 0.000000e+00 | -- | Inf
445.88/446.13 c 446s| 2230k|746936 | 6069k| 2.7 | 510M| 54 | - | 60 |6091 | 60 | 21 | 20 | 981k|3531 | 0.000000e+00 | -- | Inf
447.98/448.21 c 448s| 2240k|750216 | 6095k| 2.7 | 512M| 54 | - | 60 |6083 | 60 | 21 | 20 | 985k|3531 | 0.000000e+00 | -- | Inf
449.97/450.27 c 450s| 2250k|753307 | 6122k| 2.7 | 515M| 54 | - | 60 |6310 | 60 | 21 | 20 | 990k|3531 | 0.000000e+00 | -- | Inf
452.17/452.42 c 452s| 2260k|756234 | 6149k| 2.7 | 517M| 54 | 7 | 60 |5393 | 60 | 21 | 20 | 994k|3533 | 0.000000e+00 | -- | Inf
454.28/454.56 c 455s| 2270k|759311 | 6176k| 2.7 | 519M| 54 | 7 | 60 |5228 | 60 | 21 | 20 | 999k|3536 | 0.000000e+00 | -- | Inf
456.38/456.69 c 457s| 2280k|762299 | 6203k| 2.7 | 521M| 54 | 7 | 60 |5466 | 60 | 21 | 20 |1004k|3541 | 0.000000e+00 | -- | Inf
458.58/458.84 c 459s| 2290k|765111 | 6229k| 2.7 | 523M| 54 | 7 | 60 |6016 | 60 | 21 | 20 |1008k|3552 | 0.000000e+00 | -- | Inf
460.87/461.10 c 461s| 2300k|768023 | 6256k| 2.7 | 525M| 54 | 7 | 60 |5004 | 60 | 21 | 20 |1013k|3559 | 0.000000e+00 | -- | Inf
462.88/463.20 c 463s| 2310k|771058 | 6282k| 2.7 | 528M| 54 | 7 | 60 |5262 | 60 | 21 | 20 |1018k|3565 | 0.000000e+00 | -- | Inf
464.88/465.14 c 465s| 2320k|774342 | 6309k| 2.7 | 530M| 54 | 7 | 60 |6514 | 60 | 21 | 20 |1022k|3570 | 0.000000e+00 | -- | Inf
467.08/467.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
467.08/467.33 c 467s| 2330k|777288 | 6335k| 2.7 | 532M| 54 | - | 60 |6033 | 60 | 21 | 20 |1027k|3583 | 0.000000e+00 | -- | Inf
469.27/469.58 c 470s| 2340k|779928 | 6362k| 2.7 | 534M| 54 | 7 | 60 |5670 | 60 | 21 | 20 |1032k|3591 | 0.000000e+00 | -- | Inf
471.37/471.67 c 472s| 2350k|782852 | 6390k| 2.7 | 537M| 54 | 7 | 60 |7118 | 60 | 21 | 20 |1037k|3597 | 0.000000e+00 | -- | Inf
473.57/473.88 c 474s| 2360k|785718 | 6417k| 2.7 | 539M| 54 | 7 | 60 |6405 | 60 | 21 | 20 |1041k|3599 | 0.000000e+00 | -- | Inf
475.87/476.12 c 476s| 2370k|788541 | 6444k| 2.7 | 541M| 54 | 7 | 60 |5784 | 60 | 21 | 20 |1046k|3603 | 0.000000e+00 | -- | Inf
478.07/478.32 c 478s| 2380k|791521 | 6471k| 2.7 | 543M| 54 | 7 | 60 |5564 | 60 | 21 | 20 |1051k|3607 | 0.000000e+00 | -- | Inf
480.07/480.39 c 480s| 2390k|794635 | 6498k| 2.7 | 545M| 54 | 7 | 60 |5764 | 60 | 21 | 20 |1055k|3612 | 0.000000e+00 | -- | Inf
482.18/482.48 c 482s| 2400k|797600 | 6525k| 2.7 | 547M| 54 | 7 | 60 |6249 | 60 | 21 | 20 |1060k|3612 | 0.000000e+00 | -- | Inf
484.37/484.68 c 485s| 2410k|800360 | 6553k| 2.7 | 549M| 54 | 7 | 60 |6162 | 60 | 21 | 20 |1065k|3612 | 0.000000e+00 | -- | Inf
486.57/486.88 c 487s| 2420k|803417 | 6580k| 2.7 | 552M| 54 | 7 | 60 |5516 | 60 | 21 | 20 |1069k|3612 | 0.000000e+00 | -- | Inf
488.77/489.02 c 489s| 2430k|806186 | 6607k| 2.7 | 554M| 54 | 7 | 60 |6094 | 60 | 21 | 20 |1074k|3612 | 0.000000e+00 | -- | Inf
490.77/491.07 c 491s| 2440k|809181 | 6634k| 2.7 | 556M| 54 | 7 | 60 |6741 | 60 | 21 | 20 |1079k|3612 | 0.000000e+00 | -- | Inf
492.97/493.29 c 493s| 2450k|812241 | 6661k| 2.7 | 558M| 54 | - | 60 |5607 | 60 | 21 | 20 |1083k|3612 | 0.000000e+00 | -- | Inf
494.97/495.29 c 495s| 2460k|815239 | 6688k| 2.7 | 561M| 54 | - | 60 |6725 | 60 | 21 | 20 |1088k|3612 | 0.000000e+00 | -- | Inf
497.17/497.42 c 497s| 2470k|817900 | 6715k| 2.7 | 563M| 54 | - | 60 |7608 | 60 | 21 | 20 |1093k|3613 | 0.000000e+00 | -- | Inf
499.47/499.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
499.47/499.74 c 500s| 2480k|820717 | 6741k| 2.7 | 565M| 54 | 7 | 60 |6339 | 60 | 21 | 20 |1098k|3619 | 0.000000e+00 | -- | Inf
501.57/501.81 c 502s| 2490k|823751 | 6769k| 2.7 | 567M| 54 | 7 | 60 |7161 | 60 | 21 | 20 |1103k|3619 | 0.000000e+00 | -- | Inf
503.87/504.12 c 504s| 2500k|826515 | 6796k| 2.7 | 569M| 54 | 7 | 60 |5745 | 60 | 21 | 20 |1107k|3623 | 0.000000e+00 | -- | Inf
505.87/506.18 c 506s| 2510k|829318 | 6824k| 2.7 | 572M| 54 | - | 60 |7528 | 60 | 21 | 20 |1112k|3623 | 0.000000e+00 | -- | Inf
508.17/508.46 c 508s| 2520k|832222 | 6850k| 2.7 | 574M| 54 | - | 60 |6793 | 60 | 21 | 20 |1117k|3629 | 0.000000e+00 | -- | Inf
510.47/510.78 c 511s| 2530k|835118 | 6877k| 2.7 | 576M| 54 | 7 | 60 |5841 | 60 | 21 | 20 |1121k|3637 | 0.000000e+00 | -- | Inf
512.67/512.93 c 513s| 2540k|838107 | 6904k| 2.7 | 578M| 54 | 7 | 60 |6014 | 60 | 21 | 20 |1126k|3637 | 0.000000e+00 | -- | Inf
514.96/515.28 c 515s| 2550k|840885 | 6930k| 2.7 | 580M| 54 | 7 | 60 |5389 | 60 | 21 | 20 |1131k|3640 | 0.000000e+00 | -- | Inf
517.27/517.51 c 518s| 2560k|843669 | 6957k| 2.7 | 582M| 54 | 7 | 60 |5259 | 60 | 21 | 20 |1136k|3643 | 0.000000e+00 | -- | Inf
519.37/519.68 c 520s| 2570k|846338 | 6985k| 2.7 | 584M| 54 | - | 60 |5550 | 60 | 21 | 20 |1141k|3649 | 0.000000e+00 | -- | Inf
521.56/521.80 c 522s| 2580k|849383 | 7011k| 2.7 | 586M| 54 | - | 60 |5890 | 60 | 21 | 20 |1145k|3651 | 0.000000e+00 | -- | Inf
523.47/523.79 c 524s| 2590k|852578 | 7040k| 2.7 | 589M| 54 | 7 | 60 |7193 | 60 | 21 | 20 |1150k|3652 | 0.000000e+00 | -- | Inf
525.67/525.91 c 526s| 2600k|855473 | 7069k| 2.7 | 591M| 54 | 7 | 60 |7284 | 60 | 21 | 20 |1155k|3652 | 0.000000e+00 | -- | Inf
527.87/528.15 c 528s| 2610k|858239 | 7098k| 2.7 | 593M| 54 | - | 60 |7044 | 60 | 21 | 20 |1160k|3653 | 0.000000e+00 | -- | Inf
530.16/530.40 c 530s| 2620k|861182 | 7124k| 2.7 | 595M| 54 | 7 | 60 |7017 | 60 | 21 | 20 |1165k|3663 | 0.000000e+00 | -- | Inf
532.46/532.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
532.46/532.78 c 533s| 2630k|864085 | 7151k| 2.7 | 597M| 54 | - | 60 |6659 | 60 | 21 | 20 |1169k|3665 | 0.000000e+00 | -- | Inf
534.77/535.06 c 535s| 2640k|866958 | 7177k| 2.7 | 599M| 54 | 7 | 60 |6120 | 60 | 21 | 20 |1174k|3669 | 0.000000e+00 | -- | Inf
537.06/537.31 c 537s| 2650k|869849 | 7204k| 2.7 | 601M| 54 | 7 | 60 |5363 | 60 | 21 | 20 |1179k|3669 | 0.000000e+00 | -- | Inf
539.16/539.49 c 539s| 2660k|872512 | 7232k| 2.7 | 604M| 54 | 7 | 60 |6359 | 60 | 21 | 20 |1184k|3669 | 0.000000e+00 | -- | Inf
541.36/541.61 c 542s| 2670k|875514 | 7258k| 2.7 | 606M| 54 | 7 | 60 |7219 | 60 | 21 | 20 |1188k|3669 | 0.000000e+00 | -- | Inf
543.46/543.73 c 544s| 2680k|878126 | 7285k| 2.7 | 609M| 54 | - | 60 |8602 | 60 | 21 | 20 |1193k|3670 | 0.000000e+00 | -- | Inf
545.66/545.99 c 546s| 2690k|880839 | 7313k| 2.7 | 610M| 54 | - | 60 |7554 | 60 | 21 | 20 |1198k|3670 | 0.000000e+00 | -- | Inf
547.97/548.25 c 548s| 2700k|883799 | 7340k| 2.7 | 612M| 54 | 7 | 60 |6996 | 60 | 21 | 20 |1203k|3676 | 0.000000e+00 | -- | Inf
549.96/550.24 c 550s| 2710k|887303 | 7367k| 2.7 | 615M| 54 | 7 | 60 |7818 | 60 | 21 | 20 |1207k|3683 | 0.000000e+00 | -- | Inf
552.26/552.57 c 553s| 2720k|890215 | 7394k| 2.7 | 617M| 54 | 7 | 60 |5918 | 60 | 21 | 20 |1211k|3690 | 0.000000e+00 | -- | Inf
554.56/554.83 c 555s| 2730k|893040 | 7420k| 2.7 | 619M| 54 | 7 | 60 |5826 | 60 | 21 | 20 |1216k|3703 | 0.000000e+00 | -- | Inf
556.76/557.07 c 557s| 2740k|895820 | 7447k| 2.7 | 621M| 54 | 7 | 60 |6033 | 60 | 21 | 20 |1221k|3714 | 0.000000e+00 | -- | Inf
559.06/559.35 c 559s| 2750k|898708 | 7474k| 2.7 | 623M| 54 | 7 | 60 |5679 | 60 | 21 | 20 |1226k|3721 | 0.000000e+00 | -- | Inf
561.16/561.46 c 561s| 2760k|901621 | 7502k| 2.7 | 625M| 54 | 7 | 60 |6462 | 60 | 21 | 20 |1231k|3727 | 0.000000e+00 | -- | Inf
563.25/563.58 c 564s| 2770k|904514 | 7529k| 2.7 | 628M| 54 | 7 | 60 |7033 | 60 | 21 | 20 |1235k|3729 | 0.000000e+00 | -- | Inf
565.55/565.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
565.55/565.80 c 566s| 2780k|907176 | 7556k| 2.7 | 630M| 54 | - | 60 |7245 | 60 | 21 | 20 |1240k|3734 | 0.000000e+00 | -- | Inf
567.66/567.98 c 568s| 2790k|909912 | 7584k| 2.7 | 632M| 54 | 7 | 60 |7550 | 60 | 21 | 20 |1245k|3735 | 0.000000e+00 | -- | Inf
570.16/570.44 c 570s| 2800k|912569 | 7611k| 2.7 | 634M| 54 | - | 60 |5737 | 60 | 21 | 20 |1250k|3744 | 0.000000e+00 | -- | Inf
572.46/572.71 c 573s| 2810k|915398 | 7637k| 2.7 | 636M| 54 | 7 | 60 |5355 | 60 | 21 | 20 |1255k|3745 | 0.000000e+00 | -- | Inf
574.56/574.83 c 575s| 2820k|918503 | 7665k| 2.7 | 638M| 54 | 7 | 60 |5660 | 60 | 21 | 20 |1259k|3750 | 0.000000e+00 | -- | Inf
576.46/576.78 c 577s| 2830k|921887 | 7692k| 2.7 | 641M| 54 | 7 | 60 |7014 | 60 | 21 | 20 |1264k|3751 | 0.000000e+00 | -- | Inf
578.65/578.94 c 579s| 2840k|924555 | 7719k| 2.7 | 643M| 54 | 7 | 60 |7439 | 60 | 21 | 20 |1268k|3751 | 0.000000e+00 | -- | Inf
580.85/581.16 c 581s| 2850k|927585 | 7747k| 2.7 | 645M| 54 | 7 | 60 |5925 | 60 | 21 | 20 |1273k|3751 | 0.000000e+00 | -- | Inf
583.05/583.33 c 583s| 2860k|930722 | 7773k| 2.7 | 647M| 54 | - | 60 |6397 | 60 | 21 | 20 |1277k|3751 | 0.000000e+00 | -- | Inf
585.16/585.47 c 585s| 2870k|933610 | 7801k| 2.7 | 650M| 54 | 7 | 60 |7573 | 60 | 21 | 20 |1282k|3751 | 0.000000e+00 | -- | Inf
587.36/587.65 c 588s| 2880k|936534 | 7827k| 2.7 | 652M| 54 | 7 | 60 |8390 | 60 | 21 | 20 |1287k|3751 | 0.000000e+00 | -- | Inf
589.66/589.98 c 590s| 2890k|939205 | 7854k| 2.7 | 654M| 54 | 7 | 60 |8016 | 60 | 21 | 20 |1292k|3752 | 0.000000e+00 | -- | Inf
591.95/592.27 c 592s| 2900k|941956 | 7880k| 2.7 | 656M| 54 | 7 | 60 |7137 | 60 | 21 | 20 |1297k|3757 | 0.000000e+00 | -- | Inf
594.26/594.55 c 595s| 2910k|944902 | 7907k| 2.7 | 658M| 54 | 7 | 60 |7373 | 60 | 21 | 20 |1301k|3761 | 0.000000e+00 | -- | Inf
596.56/596.83 c 597s| 2920k|947953 | 7934k| 2.7 | 660M| 54 | - | 60 |6361 | 60 | 21 | 20 |1306k|3761 | 0.000000e+00 | -- | Inf
598.95/599.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
598.95/599.25 c 599s| 2930k|950688 | 7960k| 2.7 | 662M| 54 | 7 | 60 |5432 | 60 | 21 | 20 |1311k|3766 | 0.000000e+00 | -- | Inf
601.06/601.34 c 601s| 2940k|953729 | 7987k| 2.7 | 665M| 54 | 7 | 60 |6686 | 60 | 21 | 20 |1315k|3773 | 0.000000e+00 | -- | Inf
603.36/603.63 c 604s| 2950k|956711 | 8013k| 2.7 | 667M| 54 | 7 | 60 |5954 | 60 | 21 | 20 |1320k|3776 | 0.000000e+00 | -- | Inf
605.45/605.79 c 606s| 2960k|959526 | 8040k| 2.7 | 669M| 54 | 7 | 60 |6174 | 60 | 21 | 20 |1325k|3785 | 0.000000e+00 | -- | Inf
607.76/608.04 c 608s| 2970k|962439 | 8066k| 2.7 | 671M| 54 | - | 60 |5824 | 60 | 21 | 20 |1329k|3785 | 0.000000e+00 | -- | Inf
609.86/610.16 c 610s| 2980k|965349 | 8093k| 2.7 | 673M| 54 | 7 | 60 |6211 | 60 | 21 | 20 |1334k|3791 | 0.000000e+00 | -- | Inf
612.05/612.33 c 612s| 2990k|968207 | 8120k| 2.7 | 676M| 54 | 7 | 60 |7351 | 60 | 21 | 20 |1339k|3799 | 0.000000e+00 | -- | Inf
614.35/614.64 c 615s| 3000k|970960 | 8147k| 2.7 | 678M| 54 | - | 60 |6351 | 60 | 21 | 20 |1344k|3802 | 0.000000e+00 | -- | Inf
616.55/616.89 c 617s| 3010k|973885 | 8174k| 2.7 | 680M| 54 | 7 | 60 |6765 | 60 | 21 | 20 |1348k|3811 | 0.000000e+00 | -- | Inf
618.85/619.14 c 619s| 3020k|976491 | 8201k| 2.7 | 682M| 54 | 7 | 60 |7377 | 60 | 21 | 20 |1353k|3818 | 0.000000e+00 | -- | Inf
621.05/621.33 c 621s| 3030k|979316 | 8229k| 2.7 | 685M| 54 | - | 60 |8143 | 60 | 21 | 20 |1358k|3823 | 0.000000e+00 | -- | Inf
623.46/623.77 c 624s| 3040k|982132 | 8256k| 2.7 | 686M| 54 | 7 | 60 |6385 | 60 | 21 | 20 |1363k|3829 | 0.000000e+00 | -- | Inf
625.55/625.82 c 626s| 3050k|985125 | 8285k| 2.7 | 689M| 54 | - | 60 |8320 | 60 | 21 | 20 |1368k|3829 | 0.000000e+00 | -- | Inf
627.96/628.22 c 628s| 3060k|987727 | 8314k| 2.7 | 691M| 54 | - | 60 |7609 | 60 | 21 | 20 |1373k|3836 | 0.000000e+00 | -- | Inf
630.25/630.56 c 631s| 3070k|990636 | 8341k| 2.7 | 693M| 54 | 7 | 60 |6515 | 60 | 21 | 20 |1378k|3845 | 0.000000e+00 | -- | Inf
632.55/632.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
632.55/632.84 c 633s| 3080k|993457 | 8368k| 2.7 | 695M| 54 | 7 | 60 |6623 | 60 | 21 | 20 |1382k|3858 | 0.000000e+00 | -- | Inf
634.95/635.21 c 635s| 3090k|996148 | 8395k| 2.7 | 697M| 54 | 7 | 60 |5757 | 60 | 21 | 20 |1387k|3865 | 0.000000e+00 | -- | Inf
637.25/637.50 c 637s| 3100k|998765 | 8421k| 2.7 | 699M| 54 | - | 60 |6349 | 60 | 21 | 20 |1392k|3869 | 0.000000e+00 | -- | Inf
639.45/639.75 c 640s| 3110k| 1001k| 8448k| 2.7 | 701M| 54 | 7 | 60 |5945 | 60 | 21 | 20 |1397k|3880 | 0.000000e+00 | -- | Inf
641.55/641.88 c 642s| 3120k| 1004k| 8475k| 2.7 | 704M| 54 | 7 | 60 |6459 | 60 | 21 | 20 |1402k|3881 | 0.000000e+00 | -- | Inf
643.84/644.15 c 644s| 3130k| 1007k| 8502k| 2.7 | 705M| 54 | - | 60 |5303 | 60 | 21 | 20 |1406k|3889 | 0.000000e+00 | -- | Inf
645.84/646.19 c 646s| 3140k| 1010k| 8531k| 2.7 | 708M| 54 | 7 | 60 |7624 | 60 | 21 | 20 |1411k|3889 | 0.000000e+00 | -- | Inf
648.25/648.52 c 649s| 3150k| 1012k| 8558k| 2.7 | 710M| 54 | 7 | 60 |7649 | 60 | 21 | 20 |1416k|3892 | 0.000000e+00 | -- | Inf
650.45/650.76 c 651s| 3160k| 1015k| 8585k| 2.7 | 713M| 54 | 7 | 60 |8252 | 60 | 21 | 20 |1421k|3895 | 0.000000e+00 | -- | Inf
652.85/653.19 c 653s| 3170k| 1018k| 8611k| 2.7 | 714M| 54 | 7 | 60 |6179 | 60 | 21 | 20 |1426k|3906 | 0.000000e+00 | -- | Inf
655.05/655.36 c 655s| 3180k| 1021k| 8638k| 2.7 | 717M| 54 | 7 | 60 |6801 | 60 | 21 | 20 |1431k|3911 | 0.000000e+00 | -- | Inf
657.45/657.72 c 658s| 3190k| 1024k| 8665k| 2.7 | 719M| 54 | 7 | 60 |6144 | 60 | 21 | 20 |1436k|3913 | 0.000000e+00 | -- | Inf
659.65/659.97 c 660s| 3200k| 1026k| 8692k| 2.7 | 721M| 54 | 7 | 60 |6533 | 60 | 21 | 20 |1440k|3914 | 0.000000e+00 | -- | Inf
661.95/662.26 c 662s| 3210k| 1029k| 8718k| 2.7 | 723M| 54 | - | 60 |6599 | 60 | 21 | 20 |1445k|3917 | 0.000000e+00 | -- | Inf
664.15/664.40 c 664s| 3220k| 1032k| 8747k| 2.7 | 725M| 54 | 7 | 60 |8364 | 60 | 21 | 20 |1451k|3919 | 0.000000e+00 | -- | Inf
666.55/666.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
666.55/666.85 c 667s| 3230k| 1034k| 8774k| 2.7 | 727M| 54 | 7 | 60 |6561 | 60 | 21 | 20 |1456k|3922 | 0.000000e+00 | -- | Inf
668.74/669.02 c 669s| 3240k| 1037k| 8802k| 2.7 | 729M| 54 | 7 | 60 |7447 | 60 | 21 | 20 |1460k|3922 | 0.000000e+00 | -- | Inf
671.15/671.45 c 671s| 3250k| 1040k| 8829k| 2.7 | 731M| 54 | 7 | 60 |6310 | 60 | 21 | 20 |1465k|3928 | 0.000000e+00 | -- | Inf
673.35/673.67 c 674s| 3260k| 1043k| 8857k| 2.7 | 734M| 54 | 7 | 60 |7275 | 60 | 21 | 20 |1470k|3933 | 0.000000e+00 | -- | Inf
675.65/675.93 c 676s| 3270k| 1046k| 8884k| 2.7 | 736M| 54 | - | 60 |8344 | 60 | 21 | 20 |1475k|3933 | 0.000000e+00 | -- | Inf
678.14/678.46 c 678s| 3280k| 1048k| 8911k| 2.7 | 738M| 54 | 7 | 60 |6628 | 60 | 21 | 20 |1480k|3933 | 0.000000e+00 | -- | Inf
680.24/680.57 c 681s| 3290k| 1051k| 8939k| 2.7 | 740M| 54 | 7 | 60 |8041 | 60 | 21 | 20 |1485k|3933 | 0.000000e+00 | -- | Inf
682.64/682.97 c 683s| 3300k| 1054k| 8967k| 2.7 | 742M| 54 | - | 60 |7856 | 60 | 21 | 20 |1490k|3933 | 0.000000e+00 | -- | Inf
685.05/685.32 c 685s| 3310k| 1056k| 8993k| 2.7 | 744M| 54 | 7 | 60 |6622 | 60 | 21 | 20 |1495k|3933 | 0.000000e+00 | -- | Inf
687.25/687.51 c 688s| 3320k| 1059k| 9021k| 2.7 | 746M| 54 | - | 60 |7044 | 60 | 21 | 20 |1499k|3933 | 0.000000e+00 | -- | Inf
689.24/689.59 c 690s| 3330k| 1062k| 9048k| 2.7 | 749M| 54 | - | 60 |8336 | 60 | 21 | 20 |1504k|3933 | 0.000000e+00 | -- | Inf
691.65/691.93 c 692s| 3340k| 1065k| 9075k| 2.7 | 751M| 54 | 7 | 60 |8867 | 60 | 21 | 20 |1509k|3933 | 0.000000e+00 | -- | Inf
693.94/694.22 c 694s| 3350k| 1068k| 9103k| 2.7 | 754M| 54 | 7 | 60 |9121 | 60 | 21 | 20 |1514k|3933 | 0.000000e+00 | -- | Inf
696.34/696.66 c 697s| 3360k| 1070k| 9131k| 2.7 | 756M| 54 | 7 | 60 |8505 | 60 | 21 | 20 |1519k|3933 | 0.000000e+00 | -- | Inf
698.64/698.92 c 699s| 3370k| 1073k| 9157k| 2.7 | 758M| 54 | - | 60 |9240 | 60 | 21 | 20 |1524k|3933 | 0.000000e+00 | -- | Inf
701.14/701.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.14/701.43 c 701s| 3380k| 1076k| 9183k| 2.7 | 760M| 54 | 7 | 60 |7357 | 60 | 21 | 20 |1528k|3933 | 0.000000e+00 | -- | Inf
703.44/703.78 c 704s| 3390k| 1079k| 9211k| 2.7 | 762M| 54 | - | 60 |6443 | 60 | 21 | 20 |1533k|3933 | 0.000000e+00 | -- | Inf
705.94/706.28 c 706s| 3400k| 1081k| 9237k| 2.7 | 764M| 54 | - | 60 |5750 | 60 | 21 | 20 |1538k|3933 | 0.000000e+00 | -- | Inf
708.25/708.51 c 709s| 3410k| 1084k| 9264k| 2.7 | 766M| 54 | - | 60 |7223 | 60 | 21 | 20 |1543k|3933 | 0.000000e+00 | -- | Inf
710.63/710.93 c 711s| 3420k| 1087k| 9291k| 2.7 | 768M| 54 | - | 60 |6457 | 60 | 21 | 20 |1548k|3933 | 0.000000e+00 | -- | Inf
712.94/713.27 c 713s| 3430k| 1090k| 9317k| 2.7 | 770M| 54 | 7 | 60 |6260 | 60 | 21 | 20 |1553k|3934 | 0.000000e+00 | -- | Inf
715.03/715.37 c 715s| 3440k| 1092k| 9344k| 2.7 | 773M| 54 | 7 | 60 |7886 | 60 | 21 | 20 |1557k|3938 | 0.000000e+00 | -- | Inf
717.43/717.75 c 718s| 3450k| 1095k| 9371k| 2.7 | 774M| 54 | - | 60 |6150 | 60 | 21 | 20 |1563k|3941 | 0.000000e+00 | -- | Inf
719.73/720.07 c 720s| 3460k| 1097k| 9399k| 2.7 | 776M| 54 | - | 60 |6316 | 60 | 21 | 20 |1568k|3942 | 0.000000e+00 | -- | Inf
722.03/722.32 c 722s| 3470k| 1100k| 9425k| 2.7 | 779M| 54 | 7 | 60 |6834 | 60 | 21 | 20 |1572k|3942 | 0.000000e+00 | -- | Inf
724.34/724.68 c 725s| 3480k| 1103k| 9451k| 2.7 | 781M| 54 | 7 | 60 |5868 | 60 | 21 | 20 |1577k|3948 | 0.000000e+00 | -- | Inf
726.43/726.78 c 727s| 3490k| 1106k| 9479k| 2.7 | 783M| 54 | - | 60 |5819 | 60 | 21 | 20 |1581k|3948 | 0.000000e+00 | -- | Inf
728.53/728.88 c 729s| 3500k| 1109k| 9507k| 2.7 | 785M| 54 | 7 | 60 |6368 | 60 | 21 | 20 |1586k|3948 | 0.000000e+00 | -- | Inf
730.64/730.93 c 731s| 3510k| 1113k| 9535k| 2.7 | 788M| 54 | 7 | 60 |7678 | 60 | 21 | 20 |1591k|3948 | 0.000000e+00 | -- | Inf
732.84/733.16 c 733s| 3520k| 1115k| 9562k| 2.7 | 790M| 54 | 7 | 60 |7960 | 60 | 21 | 20 |1595k|3948 | 0.000000e+00 | -- | Inf
735.03/735.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
735.03/735.34 c 735s| 3530k| 1118k| 9591k| 2.7 | 792M| 54 | 7 | 60 |8626 | 60 | 21 | 20 |1600k|3948 | 0.000000e+00 | -- | Inf
737.53/737.86 c 738s| 3540k| 1121k| 9620k| 2.7 | 794M| 54 | 7 | 60 |6258 | 60 | 21 | 20 |1606k|3966 | 0.000000e+00 | -- | Inf
739.73/740.07 c 740s| 3550k| 1123k| 9646k| 2.7 | 796M| 54 | 7 | 60 |7335 | 60 | 21 | 20 |1610k|3968 | 0.000000e+00 | -- | Inf
742.13/742.49 c 742s| 3560k| 1126k| 9673k| 2.7 | 798M| 54 | 7 | 60 |7037 | 60 | 21 | 20 |1615k|3968 | 0.000000e+00 | -- | Inf
744.54/744.88 c 745s| 3570k| 1129k| 9699k| 2.7 | 800M| 54 | 7 | 60 |6147 | 60 | 21 | 20 |1620k|3968 | 0.000000e+00 | -- | Inf
746.93/747.21 c 747s| 3580k| 1131k| 9726k| 2.7 | 802M| 54 | 7 | 60 |6269 | 60 | 21 | 20 |1625k|3968 | 0.000000e+00 | -- | Inf
748.94/749.25 c 749s| 3590k| 1135k| 9754k| 2.7 | 805M| 54 | 7 | 60 |8083 | 60 | 21 | 20 |1630k|3968 | 0.000000e+00 | -- | Inf
751.53/751.82 c 752s| 3600k| 1137k| 9781k| 2.7 | 806M| 54 | 7 | 60 |5553 | 60 | 21 | 20 |1635k|3968 | 0.000000e+00 | -- | Inf
753.73/754.00 c 754s| 3610k| 1140k| 9808k| 2.7 | 809M| 54 | 7 | 60 |6751 | 60 | 21 | 20 |1639k|3968 | 0.000000e+00 | -- | Inf
756.13/756.44 c 756s| 3620k| 1142k| 9835k| 2.7 | 811M| 54 | - | 60 |5922 | 60 | 21 | 20 |1644k|3972 | 0.000000e+00 | -- | Inf
758.53/758.87 c 759s| 3630k| 1145k| 9861k| 2.7 | 813M| 54 | 7 | 60 |5467 | 60 | 21 | 20 |1649k|3974 | 0.000000e+00 | -- | Inf
760.83/761.12 c 761s| 3640k| 1148k| 9888k| 2.7 | 815M| 54 | - | 60 |5467 | 60 | 21 | 20 |1654k|3974 | 0.000000e+00 | -- | Inf
763.13/763.45 c 763s| 3650k| 1151k| 9914k| 2.7 | 817M| 54 | 7 | 60 |5233 | 60 | 21 | 20 |1659k|3975 | 0.000000e+00 | -- | Inf
765.33/765.69 c 766s| 3660k| 1153k| 9940k| 2.7 | 819M| 54 | 7 | 60 |5947 | 60 | 21 | 20 |1664k|3980 | 0.000000e+00 | -- | Inf
767.64/767.99 c 768s| 3670k| 1156k| 9967k| 2.7 | 821M| 54 | 7 | 60 |5965 | 60 | 21 | 20 |1669k|3982 | 0.000000e+00 | -- | Inf
769.92/770.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.92/770.23 c 770s| 3680k| 1159k| 9994k| 2.7 | 824M| 54 | 7 | 60 |6316 | 60 | 21 | 20 |1673k|3990 | 0.000000e+00 | -- | Inf
772.13/772.47 c 772s| 3690k| 1162k| 10021k| 2.7 | 826M| 54 | 7 | 60 |7122 | 60 | 21 | 20 |1678k|3992 | 0.000000e+00 | -- | Inf
774.42/774.76 c 775s| 3700k| 1165k| 10048k| 2.7 | 828M| 54 | - | 60 |6900 | 60 | 21 | 20 |1683k|3994 | 0.000000e+00 | -- | Inf
776.83/777.19 c 777s| 3710k| 1167k| 10075k| 2.7 | 830M| 54 | - | 60 |6778 | 60 | 21 | 20 |1688k|3994 | 0.000000e+00 | -- | Inf
779.23/779.53 c 780s| 3720k| 1170k| 10102k| 2.7 | 832M| 54 | 7 | 60 |6867 | 60 | 21 | 20 |1693k|3994 | 0.000000e+00 | -- | Inf
781.63/781.99 c 782s| 3730k| 1172k| 10129k| 2.7 | 834M| 54 | 7 | 60 |6323 | 60 | 21 | 20 |1698k|4003 | 0.000000e+00 | -- | Inf
784.03/784.37 c 784s| 3740k| 1175k| 10155k| 2.7 | 836M| 54 | 7 | 60 |5964 | 60 | 21 | 20 |1703k|4011 | 0.000000e+00 | -- | Inf
786.43/786.72 c 787s| 3750k| 1178k| 10183k| 2.7 | 838M| 54 | 7 | 60 |6140 | 60 | 21 | 20 |1708k|4011 | 0.000000e+00 | -- | Inf
788.43/788.77 c 789s| 3760k| 1181k| 10210k| 2.7 | 841M| 54 | - | 60 |8486 | 60 | 21 | 20 |1712k|4011 | 0.000000e+00 | -- | Inf
790.92/791.27 c 791s| 3770k| 1183k| 10238k| 2.7 | 843M| 54 | 7 | 60 |8016 | 60 | 21 | 20 |1717k|4013 | 0.000000e+00 | -- | Inf
793.32/793.67 c 794s| 3780k| 1186k| 10265k| 2.7 | 845M| 54 | - | 60 |7843 | 60 | 21 | 20 |1722k|4013 | 0.000000e+00 | -- | Inf
795.82/796.16 c 796s| 3790k| 1189k| 10291k| 2.7 | 847M| 54 | 7 | 60 |6285 | 60 | 21 | 20 |1727k|4021 | 0.000000e+00 | -- | Inf
798.12/798.40 c 798s| 3800k| 1191k| 10318k| 2.7 | 849M| 54 | 7 | 60 |6757 | 60 | 21 | 20 |1732k|4026 | 0.000000e+00 | -- | Inf
800.02/800.39 c 800s| 3810k| 1195k| 10345k| 2.7 | 852M| 54 | 7 | 60 |7899 | 60 | 21 | 20 |1736k|4028 | 0.000000e+00 | -- | Inf
802.22/802.51 c 803s| 3820k| 1198k| 10373k| 2.7 | 854M| 54 | 7 | 60 |9300 | 60 | 21 | 20 |1741k|4030 | 0.000000e+00 | -- | Inf
804.32/804.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
804.32/804.69 c 805s| 3830k| 1201k| 10401k| 2.7 | 856M| 54 | 7 | 60 |9141 | 60 | 21 | 20 |1745k|4033 | 0.000000e+00 | -- | Inf
806.51/806.83 c 807s| 3840k| 1204k| 10429k| 2.7 | 859M| 54 | - | 60 | 10k| 60 | 21 | 20 |1750k|4034 | 0.000000e+00 | -- | Inf
808.72/809.09 c 809s| 3850k| 1207k| 10457k| 2.7 | 861M| 54 | 7 | 60 |9639 | 60 | 21 | 20 |1754k|4034 | 0.000000e+00 | -- | Inf
811.02/811.33 c 811s| 3860k| 1211k| 10484k| 2.7 | 863M| 54 | - | 60 | 10k| 60 | 21 | 20 |1759k|4034 | 0.000000e+00 | -- | Inf
813.42/813.71 c 814s| 3870k| 1213k| 10511k| 2.7 | 865M| 54 | 7 | 60 |9947 | 60 | 21 | 20 |1763k|4034 | 0.000000e+00 | -- | Inf
815.82/816.18 c 816s| 3880k| 1216k| 10538k| 2.7 | 867M| 54 | - | 60 |9389 | 60 | 21 | 20 |1768k|4034 | 0.000000e+00 | -- | Inf
818.32/818.61 c 819s| 3890k| 1219k| 10565k| 2.7 | 870M| 54 | - | 60 |9569 | 60 | 21 | 20 |1773k|4034 | 0.000000e+00 | -- | Inf
820.61/820.96 c 821s| 3900k| 1222k| 10592k| 2.7 | 872M| 54 | - | 60 |9746 | 60 | 21 | 20 |1778k|4034 | 0.000000e+00 | -- | Inf
822.72/823.05 c 823s| 3910k| 1225k| 10619k| 2.7 | 874M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1782k|4034 | 0.000000e+00 | -- | Inf
825.02/825.36 c 825s| 3920k| 1229k| 10648k| 2.7 | 877M| 54 | - | 60 | 10k| 60 | 21 | 20 |1786k|4034 | 0.000000e+00 | -- | Inf
827.32/827.67 c 828s| 3930k| 1232k| 10675k| 2.7 | 879M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1791k|4034 | 0.000000e+00 | -- | Inf
829.71/830.05 c 830s| 3940k| 1235k| 10703k| 2.7 | 881M| 54 | - | 60 | 10k| 60 | 21 | 20 |1796k|4038 | 0.000000e+00 | -- | Inf
832.11/832.43 c 832s| 3950k| 1238k| 10730k| 2.7 | 883M| 54 | 7 | 60 |9788 | 60 | 21 | 20 |1801k|4044 | 0.000000e+00 | -- | Inf
834.52/834.86 c 835s| 3960k| 1240k| 10757k| 2.7 | 885M| 54 | 7 | 60 |9651 | 60 | 21 | 20 |1805k|4048 | 0.000000e+00 | -- | Inf
836.71/837.06 c 837s| 3970k| 1243k| 10784k| 2.7 | 887M| 54 | - | 60 |9653 | 60 | 21 | 20 |1810k|4049 | 0.000000e+00 | -- | Inf
838.91/839.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
838.91/839.25 c 839s| 3980k| 1247k| 10812k| 2.7 | 890M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1814k|4049 | 0.000000e+00 | -- | Inf
841.22/841.53 c 842s| 3990k| 1250k| 10840k| 2.7 | 892M| 54 | - | 60 | 11k| 60 | 21 | 20 |1819k|4049 | 0.000000e+00 | -- | Inf
843.61/843.97 c 844s| 4000k| 1253k| 10867k| 2.7 | 894M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1824k|4049 | 0.000000e+00 | -- | Inf
846.01/846.37 c 846s| 4010k| 1256k| 10895k| 2.7 | 897M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |1828k|4049 | 0.000000e+00 | -- | Inf
848.60/848.97 c 849s| 4020k| 1259k| 10922k| 2.7 | 899M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |1833k|4049 | 0.000000e+00 | -- | Inf
851.12/851.43 c 851s| 4030k| 1262k| 10949k| 2.7 | 901M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |1838k|4049 | 0.000000e+00 | -- | Inf
853.51/853.88 c 854s| 4040k| 1265k| 10976k| 2.7 | 903M| 54 | 7 | 60 | 12k| 60 | 21 | 20 |1843k|4049 | 0.000000e+00 | -- | Inf
856.11/856.40 c 856s| 4050k| 1267k| 11003k| 2.7 | 906M| 54 | 7 | 60 | 13k| 60 | 21 | 20 |1848k|4049 | 0.000000e+00 | -- | Inf
858.81/859.11 c 859s| 4060k| 1270k| 11030k| 2.7 | 908M| 54 | - | 60 | 12k| 60 | 21 | 20 |1853k|4049 | 0.000000e+00 | -- | Inf
861.41/861.76 c 862s| 4070k| 1272k| 11057k| 2.7 | 909M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1858k|4049 | 0.000000e+00 | -- | Inf
863.61/863.92 c 864s| 4080k| 1276k| 11084k| 2.7 | 911M| 54 | 7 | 60 |8407 | 60 | 21 | 20 |1862k|4049 | 0.000000e+00 | -- | Inf
865.71/866.04 c 866s| 4090k| 1280k| 11112k| 2.7 | 914M| 54 | 7 | 60 |9227 | 60 | 21 | 20 |1866k|4049 | 0.000000e+00 | -- | Inf
867.91/868.21 c 868s| 4100k| 1284k| 11140k| 2.7 | 916M| 54 | - | 60 |9778 | 60 | 21 | 20 |1870k|4049 | 0.000000e+00 | -- | Inf
870.20/870.55 c 871s| 4110k| 1287k| 11167k| 2.7 | 918M| 54 | 7 | 60 |9585 | 60 | 21 | 20 |1874k|4049 | 0.000000e+00 | -- | Inf
872.51/872.86 c 873s| 4120k| 1290k| 11195k| 2.7 | 921M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1879k|4049 | 0.000000e+00 | -- | Inf
874.80/875.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
874.80/875.11 c 875s| 4130k| 1294k| 11222k| 2.7 | 923M| 54 | - | 60 | 11k| 60 | 21 | 20 |1883k|4049 | 0.000000e+00 | -- | Inf
877.20/877.53 c 878s| 4140k| 1297k| 11249k| 2.7 | 925M| 54 | - | 60 |9988 | 60 | 21 | 20 |1888k|4049 | 0.000000e+00 | -- | Inf
879.61/879.91 c 880s| 4150k| 1301k| 11277k| 2.7 | 928M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1892k|4049 | 0.000000e+00 | -- | Inf
882.01/882.31 c 882s| 4160k| 1304k| 11304k| 2.7 | 930M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1897k|4049 | 0.000000e+00 | -- | Inf
884.50/884.82 c 885s| 4170k| 1307k| 11331k| 2.7 | 932M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1902k|4049 | 0.000000e+00 | -- | Inf
887.00/887.33 c 887s| 4180k| 1310k| 11358k| 2.7 | 934M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1906k|4049 | 0.000000e+00 | -- | Inf
889.40/889.75 c 890s| 4190k| 1313k| 11385k| 2.7 | 937M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |1911k|4049 | 0.000000e+00 | -- | Inf
891.91/892.27 c 892s| 4200k| 1316k| 11411k| 2.7 | 939M| 54 | - | 60 | 11k| 60 | 21 | 20 |1915k|4049 | 0.000000e+00 | -- | Inf
894.20/894.55 c 895s| 4210k| 1320k| 11439k| 2.7 | 941M| 54 | 7 | 60 | 12k| 60 | 21 | 20 |1919k|4049 | 0.000000e+00 | -- | Inf
896.80/897.12 c 897s| 4220k| 1323k| 11465k| 2.7 | 943M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |1924k|4049 | 0.000000e+00 | -- | Inf
899.20/899.52 c 900s| 4230k| 1327k| 11492k| 2.7 | 946M| 54 | - | 60 | 12k| 60 | 21 | 20 |1928k|4049 | 0.000000e+00 | -- | Inf
901.90/902.22 c 902s| 4240k| 1330k| 11519k| 2.7 | 948M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1933k|4049 | 0.000000e+00 | -- | Inf
904.50/904.88 c 905s| 4250k| 1332k| 11546k| 2.7 | 950M| 54 | - | 60 | 10k| 60 | 21 | 20 |1937k|4049 | 0.000000e+00 | -- | Inf
907.10/907.47 c 907s| 4260k| 1335k| 11573k| 2.7 | 952M| 54 | - | 60 | 10k| 60 | 21 | 20 |1942k|4049 | 0.000000e+00 | -- | Inf
909.50/909.88 c 910s| 4270k| 1338k| 11602k| 2.7 | 954M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |1947k|4049 | 0.000000e+00 | -- | Inf
911.80/912.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
911.80/912.18 c 912s| 4280k| 1342k| 11630k| 2.7 | 957M| 54 | 7 | 60 | 13k| 60 | 21 | 20 |1951k|4049 | 0.000000e+00 | -- | Inf
914.40/914.74 c 915s| 4290k| 1345k| 11658k| 2.7 | 959M| 54 | 7 | 60 | 12k| 60 | 21 | 20 |1956k|4049 | 0.000000e+00 | -- | Inf
916.90/917.25 c 917s| 4300k| 1348k| 11686k| 2.7 | 961M| 54 | 7 | 60 | 13k| 60 | 21 | 20 |1961k|4049 | 0.000000e+00 | -- | Inf
919.80/920.10 c 920s| 4310k| 1351k| 11713k| 2.7 | 963M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |1965k|4049 | 0.000000e+00 | -- | Inf
922.19/922.56 c 923s| 4320k| 1354k| 11741k| 2.7 | 965M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |1970k|4049 | 0.000000e+00 | -- | Inf
924.90/925.28 c 925s| 4330k| 1356k| 11768k| 2.7 | 967M| 54 | - | 60 | 11k| 60 | 21 | 20 |1975k|4049 | 0.000000e+00 | -- | Inf
927.69/928.01 c 928s| 4340k| 1359k| 11795k| 2.7 | 969M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |1980k|4049 | 0.000000e+00 | -- | Inf
930.30/930.63 c 931s| 4350k| 1362k| 11822k| 2.7 | 972M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |1984k|4049 | 0.000000e+00 | -- | Inf
932.79/933.10 c 933s| 4360k| 1365k| 11849k| 2.7 | 974M| 54 | 7 | 60 |9953 | 60 | 21 | 20 |1989k|4049 | 0.000000e+00 | -- | Inf
935.29/935.65 c 936s| 4370k| 1368k| 11875k| 2.7 | 975M| 54 | 7 | 60 |8822 | 60 | 21 | 20 |1994k|4049 | 0.000000e+00 | -- | Inf
937.70/938.09 c 938s| 4380k| 1371k| 11902k| 2.7 | 977M| 54 | 7 | 60 |8652 | 60 | 21 | 20 |1998k|4049 | 0.000000e+00 | -- | Inf
940.09/940.48 c 940s| 4390k| 1374k| 11928k| 2.7 | 979M| 54 | 7 | 60 |8132 | 60 | 21 | 20 |2003k|4049 | 0.000000e+00 | -- | Inf
942.50/942.88 c 943s| 4400k| 1376k| 11955k| 2.7 | 982M| 54 | 7 | 60 |8633 | 60 | 21 | 20 |2008k|4049 | 0.000000e+00 | -- | Inf
944.99/945.32 c 945s| 4410k| 1379k| 11982k| 2.7 | 984M| 54 | 7 | 60 |8149 | 60 | 21 | 20 |2013k|4049 | 0.000000e+00 | -- | Inf
947.19/947.58 c 948s| 4420k| 1382k| 12008k| 2.7 | 986M| 54 | 7 | 60 |9496 | 60 | 21 | 20 |2018k|4049 | 0.000000e+00 | -- | Inf
949.69/950.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
949.69/950.05 c 950s| 4430k| 1385k| 12035k| 2.7 | 988M| 54 | - | 60 |7799 | 60 | 21 | 20 |2022k|4049 | 0.000000e+00 | -- | Inf
951.89/952.28 c 952s| 4440k| 1388k| 12062k| 2.7 | 990M| 54 | - | 60 |9428 | 60 | 21 | 20 |2027k|4049 | 0.000000e+00 | -- | Inf
954.39/954.77 c 955s| 4450k| 1391k| 12088k| 2.7 | 992M| 54 | - | 60 |8098 | 60 | 21 | 20 |2032k|4049 | 0.000000e+00 | -- | Inf
956.89/957.22 c 957s| 4460k| 1394k| 12114k| 2.7 | 994M| 54 | - | 60 |7692 | 60 | 21 | 20 |2036k|4049 | 0.000000e+00 | -- | Inf
959.08/959.42 c 959s| 4470k| 1397k| 12141k| 2.7 | 997M| 54 | - | 60 |8733 | 60 | 21 | 20 |2041k|4049 | 0.000000e+00 | -- | Inf
961.58/961.98 c 962s| 4480k| 1399k| 12169k| 2.7 | 999M| 54 | - | 60 |8255 | 60 | 21 | 20 |2046k|4049 | 0.000000e+00 | -- | Inf
963.89/964.22 c 964s| 4490k| 1402k| 12196k| 2.7 |1001M| 54 | 7 | 60 |9235 | 60 | 21 | 20 |2051k|4049 | 0.000000e+00 | -- | Inf
966.18/966.50 c 967s| 4500k| 1406k| 12223k| 2.7 |1003M| 54 | 7 | 60 |9198 | 60 | 21 | 20 |2055k|4049 | 0.000000e+00 | -- | Inf
968.28/968.61 c 969s| 4510k| 1409k| 12250k| 2.7 |1006M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |2059k|4049 | 0.000000e+00 | -- | Inf
970.88/971.24 c 971s| 4520k| 1412k| 12277k| 2.7 |1008M| 54 | 7 | 60 |8950 | 60 | 21 | 20 |2064k|4049 | 0.000000e+00 | -- | Inf
973.48/973.89 c 974s| 4530k| 1415k| 12303k| 2.7 |1009M| 54 | 7 | 60 |6782 | 60 | 21 | 20 |2069k|4069 | 0.000000e+00 | -- | Inf
975.97/976.30 c 976s| 4540k| 1418k| 12330k| 2.7 |1011M| 54 | 7 | 60 |6337 | 60 | 21 | 20 |2073k|4073 | 0.000000e+00 | -- | Inf
978.28/978.61 c 979s| 4550k| 1420k| 12356k| 2.7 |1013M| 54 | - | 60 |5953 | 60 | 21 | 20 |2078k|4086 | 0.000000e+00 | -- | Inf
980.48/980.86 c 981s| 4560k| 1423k| 12383k| 2.7 |1015M| 54 | 7 | 60 |5789 | 60 | 21 | 20 |2083k|4090 | 0.000000e+00 | -- | Inf
982.87/983.24 c 983s| 4570k| 1426k| 12410k| 2.7 |1017M| 54 | - | 60 |5532 | 60 | 21 | 20 |2088k|4110 | 0.000000e+00 | -- | Inf
984.98/985.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
984.98/985.38 c 985s| 4580k| 1429k| 12438k| 2.7 |1020M| 54 | 7 | 60 |6683 | 60 | 21 | 20 |2092k|4110 | 0.000000e+00 | -- | Inf
987.27/987.68 c 988s| 4590k| 1432k| 12464k| 2.7 |1022M| 54 | - | 60 |7817 | 60 | 21 | 20 |2097k|4110 | 0.000000e+00 | -- | Inf
989.47/989.81 c 990s| 4600k| 1435k| 12492k| 2.7 |1025M| 54 | 7 | 60 |9742 | 60 | 21 | 20 |2102k|4110 | 0.000000e+00 | -- | Inf
991.97/992.32 c 992s| 4610k| 1438k| 12520k| 2.7 |1027M| 54 | 7 | 60 |7748 | 60 | 21 | 20 |2107k|4112 | 0.000000e+00 | -- | Inf
994.27/994.64 c 995s| 4620k| 1441k| 12547k| 2.7 |1029M| 54 | 7 | 60 |7556 | 60 | 21 | 20 |2111k|4136 | 0.000000e+00 | -- | Inf
996.45/996.88 c 997s| 4630k| 1444k| 12573k| 2.7 |1031M| 54 | 7 | 60 |8477 | 60 | 21 | 20 |2116k|4145 | 0.000000e+00 | -- | Inf
999.06/999.44 c 999s| 4640k| 1446k| 12600k| 2.7 |1033M| 54 | - | 60 |7325 | 60 | 21 | 20 |2121k|4150 | 0.000000e+00 | -- | Inf
1001.45/1001.84 c 1002s| 4650k| 1449k| 12626k| 2.7 |1035M| 54 | - | 60 |6529 | 60 | 21 | 20 |2126k|4179 | 0.000000e+00 | -- | Inf
1003.96/1004.39 c 1004s| 4660k| 1451k| 12653k| 2.7 |1037M| 54 | 7 | 60 |5827 | 60 | 21 | 20 |2131k|4189 | 0.000000e+00 | -- | Inf
1006.26/1006.64 c 1007s| 4670k| 1454k| 12680k| 2.7 |1039M| 54 | 7 | 60 |5834 | 60 | 21 | 20 |2136k|4197 | 0.000000e+00 | -- | Inf
1008.55/1008.95 c 1009s| 4680k| 1457k| 12706k| 2.7 |1041M| 54 | 7 | 60 |6294 | 60 | 21 | 20 |2141k|4210 | 0.000000e+00 | -- | Inf
1010.95/1011.35 c 1011s| 4690k| 1459k| 12732k| 2.7 |1043M| 54 | 7 | 60 |5816 | 60 | 21 | 20 |2145k|4235 | 0.000000e+00 | -- | Inf
1013.25/1013.67 c 1014s| 4700k| 1462k| 12759k| 2.7 |1046M| 54 | 7 | 60 |6432 | 60 | 21 | 20 |2150k|4272 | 0.000000e+00 | -- | Inf
1015.65/1016.02 c 1016s| 4710k| 1465k| 12785k| 2.7 |1048M| 54 | - | 60 |6934 | 60 | 21 | 20 |2155k|4283 | 0.000000e+00 | -- | Inf
1017.85/1018.22 c 1018s| 4720k| 1468k| 12813k| 2.7 |1050M| 54 | 7 | 60 |8273 | 60 | 21 | 20 |2160k|4283 | 0.000000e+00 | -- | Inf
1020.35/1020.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1020.35/1020.72 c 1021s| 4730k| 1470k| 12840k| 2.7 |1052M| 54 | 7 | 60 |7330 | 60 | 21 | 20 |2165k|4284 | 0.000000e+00 | -- | Inf
1022.75/1023.17 c 1023s| 4740k| 1473k| 12866k| 2.7 |1054M| 54 | 7 | 60 |7135 | 60 | 21 | 20 |2170k|4311 | 0.000000e+00 | -- | Inf
1025.25/1025.69 c 1026s| 4750k| 1475k| 12892k| 2.7 |1056M| 54 | - | 60 |6081 | 60 | 21 | 20 |2175k|4326 | 0.000000e+00 | -- | Inf
1027.65/1028.05 c 1028s| 4760k| 1478k| 12918k| 2.7 |1058M| 54 | - | 60 |6418 | 60 | 21 | 20 |2179k|4332 | 0.000000e+00 | -- | Inf
1030.04/1030.48 c 1030s| 4770k| 1481k| 12944k| 2.7 |1060M| 54 | 7 | 60 |5494 | 60 | 21 | 20 |2184k|4333 | 0.000000e+00 | -- | Inf
1032.35/1032.78 c 1033s| 4780k| 1483k| 12972k| 2.7 |1062M| 54 | 7 | 60 |5500 | 60 | 21 | 20 |2189k|4333 | 0.000000e+00 | -- | Inf
1034.64/1035.02 c 1035s| 4790k| 1486k| 12999k| 2.7 |1065M| 54 | - | 60 |6692 | 60 | 21 | 20 |2194k|4337 | 0.000000e+00 | -- | Inf
1036.84/1037.29 c 1037s| 4800k| 1489k| 13027k| 2.7 |1067M| 54 | 7 | 60 |7484 | 60 | 21 | 20 |2199k|4341 | 0.000000e+00 | -- | Inf
1039.34/1039.70 c 1040s| 4810k| 1492k| 13053k| 2.7 |1069M| 54 | 7 | 60 |5878 | 60 | 21 | 20 |2204k|4341 | 0.000000e+00 | -- | Inf
1041.54/1041.94 c 1042s| 4820k| 1495k| 13080k| 2.7 |1071M| 54 | 7 | 60 |6813 | 60 | 21 | 20 |2208k|4343 | 0.000000e+00 | -- | Inf
1043.74/1044.16 c 1044s| 4830k| 1498k| 13107k| 2.7 |1074M| 54 | - | 60 |8456 | 60 | 21 | 20 |2213k|4344 | 0.000000e+00 | -- | Inf
1046.34/1046.71 c 1047s| 4840k| 1500k| 13133k| 2.7 |1076M| 54 | - | 60 |7384 | 60 | 21 | 20 |2218k|4344 | 0.000000e+00 | -- | Inf
1048.44/1048.89 c 1049s| 4850k| 1503k| 13160k| 2.7 |1078M| 54 | - | 60 |8085 | 60 | 21 | 20 |2223k|4345 | 0.000000e+00 | -- | Inf
1050.84/1051.25 c 1051s| 4860k| 1506k| 13187k| 2.7 |1080M| 54 | 7 | 60 |7721 | 60 | 21 | 20 |2228k|4345 | 0.000000e+00 | -- | Inf
1053.24/1053.69 c 1054s| 4870k| 1509k| 13214k| 2.7 |1082M| 54 | - | 60 |7579 | 60 | 21 | 20 |2232k|4348 | 0.000000e+00 | -- | Inf
1055.75/1056.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.75/1056.14 c 1056s| 4880k| 1511k| 13240k| 2.7 |1084M| 54 | 7 | 60 |7376 | 60 | 21 | 20 |2237k|4355 | 0.000000e+00 | -- | Inf
1057.85/1058.23 c 1058s| 4890k| 1514k| 13268k| 2.7 |1087M| 54 | 7 | 60 |9489 | 60 | 21 | 20 |2242k|4355 | 0.000000e+00 | -- | Inf
1060.24/1060.69 c 1061s| 4900k| 1517k| 13296k| 2.7 |1089M| 54 | - | 60 |8983 | 60 | 21 | 20 |2247k|4355 | 0.000000e+00 | -- | Inf
1062.94/1063.33 c 1063s| 4910k| 1520k| 13322k| 2.7 |1090M| 54 | - | 60 |6357 | 60 | 21 | 20 |2252k|4365 | 0.000000e+00 | -- | Inf
1065.34/1065.76 c 1066s| 4920k| 1522k| 13349k| 2.7 |1092M| 54 | 7 | 60 |5456 | 60 | 21 | 20 |2257k|4365 | 0.000000e+00 | -- | Inf
1067.74/1068.11 c 1068s| 4930k| 1525k| 13377k| 2.7 |1095M| 54 | 7 | 60 |6289 | 60 | 21 | 20 |2262k|4369 | 0.000000e+00 | -- | Inf
1070.04/1070.48 c 1070s| 4940k| 1528k| 13403k| 2.7 |1097M| 54 | 7 | 60 |6156 | 60 | 21 | 20 |2267k|4372 | 0.000000e+00 | -- | Inf
1072.33/1072.78 c 1073s| 4950k| 1530k| 13432k| 2.7 |1099M| 54 | 7 | 60 |7543 | 60 | 21 | 20 |2272k|4372 | 0.000000e+00 | -- | Inf
1074.84/1075.27 c 1075s| 4960k| 1532k| 13460k| 2.7 |1101M| 54 | 7 | 60 |7332 | 60 | 21 | 20 |2277k|4372 | 0.000000e+00 | -- | Inf
1077.34/1077.77 c 1078s| 4970k| 1535k| 13488k| 2.7 |1103M| 54 | - | 60 |7344 | 60 | 21 | 20 |2283k|4372 | 0.000000e+00 | -- | Inf
1079.84/1080.24 c 1080s| 4980k| 1538k| 13514k| 2.7 |1105M| 54 | 7 | 60 |6669 | 60 | 21 | 20 |2287k|4372 | 0.000000e+00 | -- | Inf
1082.04/1082.46 c 1082s| 4990k| 1541k| 13541k| 2.7 |1107M| 54 | 7 | 60 |7383 | 60 | 21 | 20 |2292k|4372 | 0.000000e+00 | -- | Inf
1084.34/1084.76 c 1085s| 5000k| 1543k| 13568k| 2.7 |1110M| 54 | - | 60 |7907 | 60 | 21 | 20 |2297k|4372 | 0.000000e+00 | -- | Inf
1086.44/1086.90 c 1087s| 5010k| 1547k| 13596k| 2.7 |1112M| 54 | 7 | 60 |8958 | 60 | 21 | 20 |2301k|4372 | 0.000000e+00 | -- | Inf
1088.73/1089.15 c 1089s| 5020k| 1550k| 13625k| 2.7 |1114M| 54 | 7 | 60 |9555 | 60 | 21 | 20 |2306k|4372 | 0.000000e+00 | -- | Inf
1091.12/1091.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.12/1091.57 c 1092s| 5030k| 1552k| 13653k| 2.7 |1116M| 54 | 7 | 60 |9280 | 60 | 21 | 20 |2310k|4372 | 0.000000e+00 | -- | Inf
1093.73/1094.16 c 1094s| 5040k| 1555k| 13681k| 2.7 |1118M| 54 | 7 | 60 |8563 | 60 | 21 | 20 |2315k|4372 | 0.000000e+00 | -- | Inf
1096.23/1096.61 c 1097s| 5050k| 1558k| 13708k| 2.7 |1120M| 54 | 7 | 60 |8752 | 60 | 21 | 20 |2320k|4377 | 0.000000e+00 | -- | Inf
1098.73/1099.12 c 1099s| 5060k| 1560k| 13736k| 2.7 |1122M| 54 | - | 60 |7626 | 60 | 21 | 20 |2325k|4380 | 0.000000e+00 | -- | Inf
1101.13/1101.53 c 1102s| 5070k| 1563k| 13764k| 2.7 |1125M| 54 | 7 | 60 |9462 | 60 | 21 | 20 |2330k|4380 | 0.000000e+00 | -- | Inf
1103.92/1104.32 c 1104s| 5080k| 1565k| 13791k| 2.7 |1126M| 54 | 7 | 60 |7341 | 60 | 21 | 20 |2336k|4394 | 0.000000e+00 | -- | Inf
1106.33/1106.72 c 1107s| 5090k| 1568k| 13818k| 2.7 |1128M| 54 | 7 | 60 |6897 | 60 | 21 | 20 |2340k|4396 | 0.000000e+00 | -- | Inf
1108.72/1109.16 c 1109s| 5100k| 1571k| 13845k| 2.7 |1130M| 54 | 7 | 60 |6671 | 60 | 21 | 20 |2345k|4398 | 0.000000e+00 | -- | Inf
1111.32/1111.73 c 1112s| 5110k| 1573k| 13871k| 2.7 |1132M| 54 | - | 60 |5722 | 60 | 21 | 20 |2350k|4400 | 0.000000e+00 | -- | Inf
1113.43/1113.81 c 1114s| 5120k| 1576k| 13899k| 2.7 |1135M| 54 | 7 | 60 |7964 | 60 | 21 | 20 |2355k|4400 | 0.000000e+00 | -- | Inf
1115.82/1116.21 c 1116s| 5130k| 1579k| 13926k| 2.7 |1137M| 54 | 7 | 60 |7307 | 60 | 21 | 20 |2360k|4401 | 0.000000e+00 | -- | Inf
1118.22/1118.60 c 1119s| 5140k| 1581k| 13953k| 2.7 |1139M| 54 | 7 | 60 |7442 | 60 | 21 | 20 |2365k|4421 | 0.000000e+00 | -- | Inf
1120.63/1121.09 c 1121s| 5150k| 1584k| 13979k| 2.7 |1141M| 54 | 7 | 60 |6629 | 60 | 21 | 20 |2369k|4423 | 0.000000e+00 | -- | Inf
1123.01/1123.47 c 1123s| 5160k| 1587k| 14005k| 2.7 |1143M| 54 | 7 | 60 |6437 | 60 | 21 | 20 |2374k|4425 | 0.000000e+00 | -- | Inf
1125.22/1125.67 c 1126s| 5170k| 1589k| 14031k| 2.7 |1145M| 54 | 7 | 60 |7666 | 60 | 21 | 20 |2379k|4426 | 0.000000e+00 | -- | Inf
1127.62/1128.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1127.62/1128.06 c 1128s| 5180k| 1592k| 14058k| 2.7 |1147M| 54 | 7 | 60 |7093 | 60 | 21 | 20 |2384k|4426 | 0.000000e+00 | -- | Inf
1129.82/1130.26 c 1130s| 5190k| 1595k| 14087k| 2.7 |1150M| 54 | 7 | 60 |8837 | 60 | 21 | 20 |2389k|4426 | 0.000000e+00 | -- | Inf
1132.41/1132.85 c 1133s| 5200k| 1598k| 14113k| 2.7 |1152M| 54 | 7 | 60 |7547 | 60 | 21 | 20 |2394k|4430 | 0.000000e+00 | -- | Inf
1134.72/1135.17 c 1135s| 5210k| 1600k| 14141k| 2.7 |1154M| 54 | - | 60 |8972 | 60 | 21 | 20 |2399k|4437 | 0.000000e+00 | -- | Inf
1137.31/1137.80 c 1138s| 5220k| 1603k| 14167k| 2.7 |1156M| 54 | - | 60 |7417 | 0 | 0 | 20 |2404k|4437 | 0.000000e+00 | -- | Inf
1139.81/1140.28 c 1140s| 5230k| 1606k| 14195k| 2.7 |1158M| 54 | 7 | 60 |6363 | 60 | 21 | 20 |2409k|4438 | 0.000000e+00 | -- | Inf
1142.51/1142.91 c 1143s| 5240k| 1608k| 14221k| 2.7 |1160M| 54 | 7 | 60 |6046 | 60 | 21 | 20 |2414k|4439 | 0.000000e+00 | -- | Inf
1144.71/1145.17 c 1145s| 5250k| 1611k| 14248k| 2.7 |1162M| 54 | 7 | 60 |7158 | 60 | 21 | 20 |2419k|4439 | 0.000000e+00 | -- | Inf
1147.01/1147.45 c 1147s| 5260k| 1614k| 14276k| 2.7 |1164M| 54 | 7 | 60 |8064 | 60 | 21 | 20 |2424k|4441 | 0.000000e+00 | -- | Inf
1149.40/1149.83 c 1150s| 5270k| 1616k| 14304k| 2.7 |1167M| 54 | 7 | 60 |8454 | 60 | 21 | 20 |2429k|4441 | 0.000000e+00 | -- | Inf
1151.70/1152.17 c 1152s| 5280k| 1618k| 14333k| 2.7 |1169M| 54 | 7 | 60 |9562 | 60 | 21 | 20 |2434k|4441 | 0.000000e+00 | -- | Inf
1154.30/1154.72 c 1155s| 5290k| 1621k| 14359k| 2.7 |1171M| 54 | 7 | 60 |7927 | 60 | 21 | 20 |2439k|4445 | 0.000000e+00 | -- | Inf
1156.60/1157.07 c 1157s| 5300k| 1624k| 14386k| 2.7 |1173M| 54 | - | 60 |9140 | 60 | 21 | 20 |2444k|4447 | 0.000000e+00 | -- | Inf
1159.00/1159.50 c 1159s| 5310k| 1626k| 14412k| 2.7 |1175M| 54 | 7 | 60 |9024 | 60 | 21 | 20 |2449k|4447 | 0.000000e+00 | -- | Inf
1161.60/1162.02 c 1162s| 5320k| 1629k| 14439k| 2.7 |1177M| 54 | 7 | 60 |8318 | 60 | 21 | 20 |2454k|4454 | 0.000000e+00 | -- | Inf
1163.90/1164.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1163.90/1164.32 c 1164s| 5330k| 1632k| 14466k| 2.7 |1179M| 54 | 7 | 60 |8973 | 60 | 21 | 20 |2458k|4459 | 0.000000e+00 | -- | Inf
1166.29/1166.74 c 1167s| 5340k| 1635k| 14493k| 2.7 |1182M| 54 | 7 | 60 |9071 | 60 | 21 | 20 |2463k|4460 | 0.000000e+00 | -- | Inf
1168.69/1169.13 c 1169s| 5350k| 1638k| 14520k| 2.7 |1184M| 54 | 7 | 60 |8280 | 60 | 21 | 20 |2468k|4461 | 0.000000e+00 | -- | Inf
1171.00/1171.40 c 1171s| 5360k| 1641k| 14547k| 2.7 |1186M| 54 | 7 | 60 |9434 | 60 | 21 | 20 |2472k|4461 | 0.000000e+00 | -- | Inf
1173.29/1173.80 c 1174s| 5370k| 1643k| 14574k| 2.7 |1188M| 54 | - | 60 | 10k| 60 | 21 | 20 |2477k|4461 | 0.000000e+00 | -- | Inf
1176.09/1176.55 c 1177s| 5380k| 1646k| 14602k| 2.7 |1190M| 54 | - | 60 |7294 | 60 | 21 | 20 |2482k|4475 | 0.000000e+00 | -- | Inf
1178.58/1179.03 c 1179s| 5390k| 1648k| 14628k| 2.7 |1192M| 54 | 7 | 60 |6767 | 60 | 21 | 20 |2487k|4475 | 0.000000e+00 | -- | Inf
1181.09/1181.51 c 1182s| 5400k| 1651k| 14655k| 2.7 |1194M| 54 | 7 | 60 |6321 | 60 | 21 | 20 |2492k|4475 | 0.000000e+00 | -- | Inf
1183.29/1183.74 c 1184s| 5410k| 1654k| 14682k| 2.7 |1196M| 54 | 7 | 60 |7530 | 60 | 21 | 20 |2497k|4475 | 0.000000e+00 | -- | Inf
1185.68/1186.19 c 1186s| 5420k| 1657k| 14708k| 2.7 |1198M| 54 | 7 | 60 |6538 | 60 | 21 | 20 |2502k|4478 | 0.000000e+00 | -- | Inf
1188.27/1188.70 c 1189s| 5430k| 1660k| 14735k| 2.7 |1200M| 54 | - | 60 |6283 | 60 | 21 | 20 |2507k|4478 | 0.000000e+00 | -- | Inf
1190.58/1191.03 c 1191s| 5440k| 1662k| 14761k| 2.7 |1202M| 54 | - | 60 |6755 | 60 | 21 | 20 |2511k|4482 | 0.000000e+00 | -- | Inf
1192.98/1193.50 c 1193s| 5450k| 1665k| 14787k| 2.7 |1204M| 54 | - | 60 |5792 | 60 | 21 | 20 |2516k|4483 | 0.000000e+00 | -- | Inf
1195.17/1195.67 c 1196s| 5460k| 1668k| 14815k| 2.7 |1207M| 54 | 7 | 60 |7347 | 60 | 21 | 20 |2521k|4484 | 0.000000e+00 | -- | Inf
1197.58/1198.07 c 1198s| 5470k| 1671k| 14842k| 2.7 |1209M| 54 | 7 | 60 |7074 | 60 | 21 | 20 |2526k|4485 | 0.000000e+00 | -- | Inf
1200.38/1200.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1200.38/1200.82 c 1201s| 5480k| 1673k| 14868k| 2.7 |1211M| 54 | 7 | 60 |5486 | 60 | 21 | 20 |2531k|4489 | 0.000000e+00 | -- | Inf
1202.77/1203.25 c 1203s| 5490k| 1676k| 14894k| 2.7 |1213M| 54 | - | 60 |5866 | 60 | 21 | 20 |2536k|4490 | 0.000000e+00 | -- | Inf
1205.28/1205.74 c 1206s| 5500k| 1678k| 14921k| 2.7 |1215M| 54 | 7 | 60 |5923 | 60 | 21 | 20 |2541k|4491 | 0.000000e+00 | -- | Inf
1207.56/1208.05 c 1208s| 5510k| 1681k| 14947k| 2.7 |1217M| 54 | - | 60 |6810 | 60 | 21 | 20 |2545k|4493 | 0.000000e+00 | -- | Inf
1209.97/1210.43 c 1210s| 5520k| 1684k| 14974k| 2.7 |1219M| 54 | 7 | 60 |6817 | 60 | 21 | 20 |2550k|4495 | 0.000000e+00 | -- | Inf
1212.27/1212.79 c 1213s| 5530k| 1687k| 15000k| 2.7 |1221M| 54 | 7 | 60 |6691 | 60 | 21 | 20 |2555k|4502 | 0.000000e+00 | -- | Inf
1214.66/1215.10 c 1215s| 5540k| 1689k| 15028k| 2.7 |1224M| 54 | 7 | 60 |7372 | 60 | 21 | 20 |2560k|4502 | 0.000000e+00 | -- | Inf
1217.16/1217.63 c 1218s| 5550k| 1692k| 15056k| 2.7 |1226M| 54 | 7 | 60 |6556 | 60 | 21 | 20 |2565k|4502 | 0.000000e+00 | -- | Inf
1219.57/1220.04 c 1220s| 5560k| 1695k| 15082k| 2.7 |1228M| 54 | - | 60 |6055 | 60 | 21 | 20 |2570k|4502 | 0.000000e+00 | -- | Inf
1221.95/1222.47 c 1222s| 5570k| 1697k| 15108k| 2.7 |1230M| 54 | - | 60 |6083 | 60 | 21 | 20 |2575k|4502 | 0.000000e+00 | -- | Inf
1224.26/1224.73 c 1225s| 5580k| 1700k| 15134k| 2.7 |1232M| 54 | 7 | 60 |6393 | 60 | 21 | 20 |2580k|4502 | 0.000000e+00 | -- | Inf
1226.35/1226.89 c 1227s| 5590k| 1703k| 15162k| 2.7 |1234M| 54 | - | 60 |7194 | 60 | 21 | 20 |2584k|4502 | 0.000000e+00 | -- | Inf
1228.85/1229.33 c 1229s| 5600k| 1706k| 15189k| 2.7 |1236M| 54 | - | 60 |7110 | 60 | 21 | 20 |2589k|4502 | 0.000000e+00 | -- | Inf
1230.85/1231.37 c 1231s| 5610k| 1709k| 15215k| 2.7 |1239M| 54 | 7 | 60 |9177 | 60 | 21 | 20 |2594k|4502 | 0.000000e+00 | -- | Inf
1233.15/1233.64 c 1234s| 5620k| 1712k| 15243k| 2.7 |1241M| 54 | 7 | 60 |9120 | 60 | 21 | 20 |2599k|4502 | 0.000000e+00 | -- | Inf
1235.24/1235.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1235.24/1235.72 c 1236s| 5630k| 1715k| 15270k| 2.7 |1244M| 54 | - | 60 | 10k| 60 | 21 | 20 |2603k|4502 | 0.000000e+00 | -- | Inf
1237.54/1238.04 c 1238s| 5640k| 1718k| 15296k| 2.7 |1246M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |2608k|4502 | 0.000000e+00 | -- | Inf
1239.84/1240.31 c 1240s| 5650k| 1722k| 15324k| 2.7 |1249M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |2612k|4502 | 0.000000e+00 | -- | Inf
1242.24/1242.76 c 1243s| 5660k| 1725k| 15351k| 2.7 |1251M| 54 | - | 60 | 11k| 60 | 21 | 20 |2617k|4502 | 0.000000e+00 | -- | Inf
1244.75/1245.26 c 1245s| 5670k| 1727k| 15378k| 2.7 |1253M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |2622k|4502 | 0.000000e+00 | -- | Inf
1247.23/1247.76 c 1248s| 5680k| 1730k| 15405k| 2.7 |1255M| 54 | - | 60 | 11k| 60 | 21 | 20 |2627k|4502 | 0.000000e+00 | -- | Inf
1249.83/1250.33 c 1250s| 5690k| 1733k| 15431k| 2.7 |1257M| 54 | - | 60 | 11k| 60 | 21 | 20 |2632k|4502 | 0.000000e+00 | -- | Inf
1252.23/1252.78 c 1253s| 5700k| 1735k| 15459k| 2.7 |1259M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |2636k|4502 | 0.000000e+00 | -- | Inf
1255.03/1255.51 c 1256s| 5710k| 1738k| 15485k| 2.7 |1260M| 54 | 7 | 60 |7589 | 60 | 21 | 20 |2641k|4502 | 0.000000e+00 | -- | Inf
1257.33/1257.89 c 1258s| 5720k| 1741k| 15512k| 2.7 |1262M| 54 | 7 | 60 |8307 | 60 | 21 | 20 |2646k|4502 | 0.000000e+00 | -- | Inf
1259.92/1260.49 c 1260s| 5730k| 1743k| 15538k| 2.7 |1264M| 54 | 7 | 60 |6752 | 60 | 21 | 20 |2651k|4502 | 0.000000e+00 | -- | Inf
1262.53/1263.09 c 1263s| 5740k| 1746k| 15564k| 2.7 |1266M| 54 | 7 | 60 |5538 | 60 | 21 | 20 |2656k|4502 | 0.000000e+00 | -- | Inf
1264.92/1265.46 c 1265s| 5750k| 1748k| 15590k| 2.7 |1268M| 54 | - | 60 |5790 | 0 | 0 | 20 |2661k|4502 | 0.000000e+00 | -- | Inf
1267.32/1267.81 c 1268s| 5760k| 1751k| 15616k| 2.7 |1270M| 54 | 7 | 60 |6488 | 60 | 21 | 20 |2666k|4502 | 0.000000e+00 | -- | Inf
1269.61/1270.14 c 1270s| 5770k| 1753k| 15644k| 2.7 |1272M| 54 | 7 | 60 |7462 | 60 | 21 | 20 |2672k|4502 | 0.000000e+00 | -- | Inf
1271.91/1272.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1271.91/1272.43 c 1272s| 5780k| 1756k| 15671k| 2.7 |1275M| 54 | - | 60 |7342 | 60 | 21 | 20 |2677k|4502 | 0.000000e+00 | -- | Inf
1274.42/1274.95 c 1275s| 5790k| 1758k| 15697k| 2.7 |1276M| 54 | - | 60 |5866 | 60 | 21 | 20 |2682k|4502 | 0.000000e+00 | -- | Inf
1276.81/1277.32 c 1277s| 5800k| 1761k| 15723k| 2.7 |1278M| 54 | - | 60 |6057 | 60 | 21 | 20 |2687k|4502 | 0.000000e+00 | -- | Inf
1279.12/1279.68 c 1280s| 5810k| 1764k| 15749k| 2.7 |1281M| 54 | - | 60 |6450 | 60 | 21 | 20 |2691k|4502 | 0.000000e+00 | -- | Inf
1281.51/1282.05 c 1282s| 5820k| 1766k| 15776k| 2.7 |1283M| 54 | - | 60 |6775 | 60 | 21 | 20 |2697k|4503 | 0.000000e+00 | -- | Inf
1284.11/1284.60 c 1285s| 5830k| 1769k| 15802k| 2.7 |1285M| 54 | 7 | 60 |5705 | 60 | 21 | 20 |2701k|4507 | 0.000000e+00 | -- | Inf
1286.31/1286.85 c 1287s| 5840k| 1772k| 15830k| 2.7 |1287M| 54 | - | 60 |6892 | 60 | 21 | 20 |2706k|4509 | 0.000000e+00 | -- | Inf
1288.61/1289.10 c 1289s| 5850k| 1774k| 15856k| 2.7 |1289M| 54 | - | 60 |7962 | 60 | 21 | 20 |2711k|4510 | 0.000000e+00 | -- | Inf
1290.81/1291.33 c 1291s| 5860k| 1777k| 15885k| 2.7 |1292M| 54 | 7 | 60 |9264 | 60 | 21 | 20 |2716k|4510 | 0.000000e+00 | -- | Inf
1293.42/1293.94 c 1294s| 5870k| 1779k| 15913k| 2.7 |1293M| 54 | - | 60 |7697 | 60 | 21 | 20 |2721k|4516 | 0.000000e+00 | -- | Inf
1296.01/1296.55 c 1297s| 5880k| 1782k| 15940k| 2.7 |1295M| 54 | 7 | 60 |6115 | 60 | 21 | 20 |2726k|4516 | 0.000000e+00 | -- | Inf
1298.31/1298.86 c 1299s| 5890k| 1784k| 15968k| 2.7 |1297M| 54 | 7 | 60 |7019 | 60 | 21 | 20 |2731k|4516 | 0.000000e+00 | -- | Inf
1300.51/1301.09 c 1301s| 5900k| 1787k| 15998k| 2.7 |1299M| 54 | 7 | 60 |7756 | 60 | 21 | 20 |2737k|4516 | 0.000000e+00 | -- | Inf
1302.91/1303.43 c 1303s| 5910k| 1789k| 16025k| 2.7 |1301M| 54 | 7 | 60 |7291 | 60 | 21 | 20 |2742k|4518 | 0.000000e+00 | -- | Inf
1305.41/1305.91 c 1306s| 5920k| 1791k| 16051k| 2.7 |1303M| 54 | 7 | 60 |7033 | 60 | 21 | 20 |2747k|4518 | 0.000000e+00 | -- | Inf
1307.81/1308.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1307.81/1308.39 c 1308s| 5930k| 1794k| 16078k| 2.7 |1305M| 54 | 7 | 60 |6114 | 60 | 21 | 20 |2752k|4520 | 0.000000e+00 | -- | Inf
1310.31/1310.84 c 1311s| 5940k| 1797k| 16104k| 2.7 |1307M| 54 | - | 60 |5934 | 60 | 21 | 20 |2757k|4528 | 0.000000e+00 | -- | Inf
1312.81/1313.33 c 1313s| 5950k| 1799k| 16130k| 2.7 |1309M| 54 | - | 60 |6490 | 60 | 21 | 20 |2762k|4531 | 0.000000e+00 | -- | Inf
1315.31/1315.81 c 1316s| 5960k| 1802k| 16157k| 2.7 |1312M| 54 | 7 | 60 |7187 | 60 | 21 | 20 |2767k|4531 | 0.000000e+00 | -- | Inf
1317.71/1318.23 c 1318s| 5970k| 1804k| 16185k| 2.7 |1314M| 54 | 7 | 60 |7245 | 60 | 21 | 20 |2772k|4531 | 0.000000e+00 | -- | Inf
1319.91/1320.48 c 1320s| 5980k| 1807k| 16213k| 2.7 |1316M| 54 | 7 | 60 |9017 | 60 | 21 | 20 |2777k|4531 | 0.000000e+00 | -- | Inf
1322.21/1322.77 c 1323s| 5990k| 1810k| 16240k| 2.7 |1319M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |2782k|4531 | 0.000000e+00 | -- | Inf
1324.61/1325.18 c 1325s| 6000k| 1813k| 16267k| 2.7 |1321M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |2786k|4531 | 0.000000e+00 | -- | Inf
1327.41/1327.94 c 1328s| 6010k| 1816k| 16294k| 2.7 |1323M| 54 | 7 | 60 |8961 | 60 | 21 | 20 |2791k|4531 | 0.000000e+00 | -- | Inf
1329.71/1330.23 c 1330s| 6020k| 1819k| 16321k| 2.7 |1325M| 54 | - | 60 | 10k| 60 | 21 | 20 |2795k|4531 | 0.000000e+00 | -- | Inf
1332.51/1333.05 c 1333s| 6030k| 1822k| 16347k| 2.7 |1327M| 54 | - | 60 |6927 | 60 | 21 | 20 |2800k|4531 | 0.000000e+00 | -- | Inf
1334.81/1335.31 c 1335s| 6040k| 1825k| 16373k| 2.7 |1329M| 54 | - | 60 |7472 | 60 | 21 | 20 |2805k|4531 | 0.000000e+00 | -- | Inf
1337.12/1337.67 c 1338s| 6050k| 1828k| 16400k| 2.7 |1331M| 54 | 7 | 60 |7568 | 60 | 21 | 20 |2810k|4531 | 0.000000e+00 | -- | Inf
1339.31/1339.84 c 1340s| 6060k| 1830k| 16427k| 2.7 |1334M| 54 | 7 | 60 |9126 | 60 | 21 | 20 |2815k|4531 | 0.000000e+00 | -- | Inf
1341.91/1342.43 c 1342s| 6070k| 1833k| 16454k| 2.7 |1335M| 54 | 7 | 60 |8394 | 60 | 21 | 20 |2820k|4531 | 0.000000e+00 | -- | Inf
1344.40/1344.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1344.40/1344.99 c 1345s| 6080k| 1836k| 16480k| 2.7 |1337M| 54 | 7 | 60 |7173 | 60 | 21 | 20 |2825k|4531 | 0.000000e+00 | -- | Inf
1346.90/1347.41 c 1347s| 6090k| 1838k| 16506k| 2.7 |1339M| 54 | 7 | 60 |6790 | 60 | 21 | 20 |2829k|4534 | 0.000000e+00 | -- | Inf
1349.10/1349.63 c 1350s| 6100k| 1842k| 16533k| 2.7 |1342M| 54 | 7 | 60 |7811 | 60 | 21 | 20 |2834k|4534 | 0.000000e+00 | -- | Inf
1351.41/1351.98 c 1352s| 6110k| 1845k| 16560k| 2.7 |1344M| 54 | 7 | 60 |8423 | 60 | 21 | 20 |2839k|4534 | 0.000000e+00 | -- | Inf
1353.80/1354.39 c 1354s| 6120k| 1847k| 16588k| 2.7 |1346M| 54 | - | 60 |8069 | 60 | 21 | 20 |2844k|4534 | 0.000000e+00 | -- | Inf
1356.31/1356.83 c 1357s| 6130k| 1850k| 16615k| 2.7 |1349M| 54 | 7 | 60 |8843 | 60 | 21 | 20 |2849k|4534 | 0.000000e+00 | -- | Inf
1358.80/1359.36 c 1359s| 6140k| 1852k| 16642k| 2.7 |1351M| 54 | 7 | 60 |8983 | 60 | 21 | 20 |2854k|4534 | 0.000000e+00 | -- | Inf
1361.31/1361.87 c 1362s| 6150k| 1855k| 16670k| 2.7 |1353M| 54 | 7 | 60 |9111 | 60 | 21 | 20 |2859k|4534 | 0.000000e+00 | -- | Inf
1363.90/1364.43 c 1364s| 6160k| 1857k| 16697k| 2.7 |1355M| 54 | 7 | 60 |8918 | 60 | 21 | 20 |2864k|4535 | 0.000000e+00 | -- | Inf
1366.30/1366.82 c 1367s| 6170k| 1860k| 16724k| 2.7 |1357M| 54 | - | 60 |8932 | 60 | 21 | 20 |2869k|4554 | 0.000000e+00 | -- | Inf
1368.90/1369.49 c 1369s| 6180k| 1863k| 16751k| 2.7 |1359M| 54 | 7 | 60 |7115 | 60 | 21 | 20 |2874k|4556 | 0.000000e+00 | -- | Inf
1371.40/1371.97 c 1372s| 6190k| 1866k| 16777k| 2.7 |1361M| 54 | - | 60 |8168 | 60 | 21 | 20 |2879k|4557 | 0.000000e+00 | -- | Inf
1374.10/1374.69 c 1375s| 6200k| 1868k| 16804k| 2.7 |1363M| 54 | 7 | 60 |6864 | 60 | 21 | 20 |2884k|4559 | 0.000000e+00 | -- | Inf
1376.60/1377.19 c 1377s| 6210k| 1871k| 16830k| 2.7 |1365M| 54 | - | 60 |6591 | 60 | 21 | 20 |2888k|4561 | 0.000000e+00 | -- | Inf
1379.20/1379.74 c 1380s| 6220k| 1873k| 16856k| 2.7 |1367M| 54 | - | 60 |6550 | 60 | 21 | 20 |2894k|4562 | 0.000000e+00 | -- | Inf
1381.40/1381.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1381.40/1381.94 c 1382s| 6230k| 1876k| 16884k| 2.7 |1369M| 54 | 7 | 60 |8178 | 60 | 21 | 20 |2898k|4562 | 0.000000e+00 | -- | Inf
1383.80/1384.32 c 1384s| 6240k| 1879k| 16910k| 2.7 |1371M| 54 | - | 60 |8461 | 60 | 21 | 20 |2903k|4563 | 0.000000e+00 | -- | Inf
1386.40/1386.99 c 1387s| 6250k| 1881k| 16937k| 2.7 |1373M| 54 | - | 60 |6576 | 60 | 21 | 20 |2908k|4570 | 0.000000e+00 | -- | Inf
1389.00/1389.51 c 1390s| 6260k| 1884k| 16963k| 2.7 |1375M| 54 | 7 | 60 |5838 | 60 | 21 | 20 |2913k|4571 | 0.000000e+00 | -- | Inf
1391.01/1391.59 c 1392s| 6270k| 1887k| 16992k| 2.7 |1377M| 54 | 7 | 60 |6988 | 60 | 21 | 20 |2918k|4574 | 0.000000e+00 | -- | Inf
1393.30/1393.81 c 1394s| 6280k| 1890k| 17021k| 2.7 |1380M| 54 | 7 | 60 |7904 | 60 | 21 | 20 |2923k|4580 | 0.000000e+00 | -- | Inf
1395.60/1396.19 c 1396s| 6290k| 1893k| 17050k| 2.7 |1382M| 54 | 7 | 60 |7869 | 60 | 21 | 20 |2928k|4580 | 0.000000e+00 | -- | Inf
1398.40/1398.90 c 1399s| 6300k| 1895k| 17076k| 2.7 |1383M| 54 | 7 | 60 |5700 | 60 | 21 | 20 |2932k|4580 | 0.000000e+00 | -- | Inf
1400.79/1401.31 c 1401s| 6310k| 1898k| 17102k| 2.7 |1386M| 54 | 7 | 60 |6134 | 60 | 21 | 20 |2937k|4580 | 0.000000e+00 | -- | Inf
1403.11/1403.69 c 1404s| 6320k| 1901k| 17129k| 2.7 |1388M| 54 | - | 60 |6483 | 60 | 21 | 20 |2942k|4580 | 0.000000e+00 | -- | Inf
1405.50/1406.09 c 1406s| 6330k| 1903k| 17156k| 2.7 |1390M| 54 | - | 60 |6648 | 60 | 21 | 20 |2947k|4580 | 0.000000e+00 | -- | Inf
1407.89/1408.42 c 1408s| 6340k| 1906k| 17182k| 2.7 |1392M| 54 | 7 | 60 |6657 | 60 | 21 | 20 |2952k|4580 | 0.000000e+00 | -- | Inf
1410.29/1410.86 c 1411s| 6350k| 1909k| 17208k| 2.7 |1394M| 54 | - | 60 |6597 | 60 | 21 | 20 |2957k|4580 | 0.000000e+00 | -- | Inf
1412.80/1413.32 c 1413s| 6360k| 1912k| 17235k| 2.7 |1396M| 54 | 7 | 60 |6810 | 60 | 21 | 20 |2962k|4580 | 0.000000e+00 | -- | Inf
1415.10/1415.69 c 1416s| 6370k| 1914k| 17263k| 2.7 |1399M| 54 | 7 | 60 |7675 | 60 | 21 | 20 |2966k|4580 | 0.000000e+00 | -- | Inf
1417.69/1418.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1417.69/1418.22 c 1418s| 6380k| 1917k| 17289k| 2.7 |1401M| 54 | 7 | 60 |7009 | 60 | 21 | 20 |2971k|4580 | 0.000000e+00 | -- | Inf
1420.39/1420.94 c 1421s| 6390k| 1919k| 17315k| 2.7 |1402M| 54 | - | 60 |5759 | 60 | 21 | 20 |2976k|4580 | 0.000000e+00 | -- | Inf
1422.70/1423.22 c 1423s| 6400k| 1923k| 17342k| 2.7 |1405M| 54 | - | 60 |6589 | 60 | 21 | 20 |2981k|4580 | 0.000000e+00 | -- | Inf
1425.10/1425.67 c 1426s| 6410k| 1925k| 17368k| 2.7 |1407M| 54 | 7 | 60 |5935 | 60 | 21 | 20 |2986k|4580 | 0.000000e+00 | -- | Inf
1427.49/1428.00 c 1428s| 6420k| 1928k| 17394k| 2.7 |1409M| 54 | 7 | 60 |6847 | 60 | 21 | 20 |2991k|4580 | 0.000000e+00 | -- | Inf
1430.09/1430.62 c 1431s| 6430k| 1931k| 17421k| 2.7 |1411M| 54 | 7 | 60 |6543 | 60 | 21 | 20 |2996k|4580 | 0.000000e+00 | -- | Inf
1432.39/1432.99 c 1433s| 6440k| 1933k| 17447k| 2.7 |1414M| 54 | 7 | 60 |7844 | 60 | 21 | 20 |3001k|4580 | 0.000000e+00 | -- | Inf
1435.10/1435.60 c 1436s| 6450k| 1936k| 17474k| 2.7 |1415M| 54 | - | 60 |5891 | 60 | 21 | 20 |3006k|4580 | 0.000000e+00 | -- | Inf
1437.49/1438.00 c 1438s| 6460k| 1938k| 17501k| 2.7 |1417M| 54 | 7 | 60 |6535 | 60 | 21 | 20 |3011k|4580 | 0.000000e+00 | -- | Inf
1439.89/1440.44 c 1440s| 6470k| 1941k| 17529k| 2.7 |1420M| 54 | - | 60 |7560 | 60 | 21 | 20 |3016k|4580 | 0.000000e+00 | -- | Inf
1442.49/1443.04 c 1443s| 6480k| 1943k| 17555k| 2.7 |1421M| 54 | 7 | 60 |5853 | 60 | 21 | 20 |3021k|4580 | 0.000000e+00 | -- | Inf
1444.79/1445.32 c 1445s| 6490k| 1946k| 17582k| 2.7 |1424M| 54 | 7 | 60 |6931 | 60 | 21 | 20 |3025k|4580 | 0.000000e+00 | -- | Inf
1447.20/1447.73 c 1448s| 6500k| 1949k| 17608k| 2.7 |1426M| 54 | 7 | 60 |7685 | 60 | 21 | 20 |3030k|4580 | 0.000000e+00 | -- | Inf
1449.79/1450.30 c 1450s| 6510k| 1951k| 17636k| 2.7 |1428M| 54 | 7 | 60 |7944 | 60 | 21 | 20 |3036k|4580 | 0.000000e+00 | -- | Inf
1452.29/1452.84 c 1453s| 6520k| 1954k| 17662k| 2.7 |1430M| 54 | 7 | 60 |6830 | 60 | 21 | 20 |3041k|4580 | 0.000000e+00 | -- | Inf
1454.69/1455.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1454.69/1455.30 c 1455s| 6530k| 1957k| 17689k| 2.7 |1432M| 54 | - | 60 |7493 | 60 | 21 | 20 |3046k|4580 | 0.000000e+00 | -- | Inf
1457.10/1457.64 c 1458s| 6540k| 1959k| 17716k| 2.7 |1435M| 54 | 7 | 60 |8423 | 60 | 21 | 20 |3050k|4580 | 0.000000e+00 | -- | Inf
1459.48/1460.06 c 1460s| 6550k| 1962k| 17743k| 2.7 |1437M| 54 | - | 60 |8556 | 60 | 21 | 20 |3055k|4580 | 0.000000e+00 | -- | Inf
1462.09/1462.66 c 1463s| 6560k| 1964k| 17770k| 2.7 |1439M| 54 | 7 | 60 |8896 | 60 | 21 | 20 |3060k|4580 | 0.000000e+00 | -- | Inf
1464.49/1465.07 c 1465s| 6570k| 1967k| 17797k| 2.7 |1441M| 54 | - | 60 |9441 | 60 | 21 | 20 |3065k|4580 | 0.000000e+00 | -- | Inf
1467.18/1467.80 c 1468s| 6580k| 1970k| 17824k| 2.7 |1443M| 54 | 7 | 60 |6873 | 60 | 21 | 20 |3070k|4580 | 0.000000e+00 | -- | Inf
1469.88/1470.41 c 1470s| 6590k| 1972k| 17850k| 2.7 |1444M| 54 | 7 | 60 |5624 | 60 | 21 | 20 |3075k|4580 | 0.000000e+00 | -- | Inf
1472.39/1472.92 c 1473s| 6600k| 1975k| 17876k| 2.7 |1447M| 54 | 7 | 60 |6046 | 60 | 21 | 20 |3080k|4580 | 0.000000e+00 | -- | Inf
1474.69/1475.29 c 1475s| 6610k| 1978k| 17903k| 2.7 |1449M| 54 | 7 | 60 |6817 | 60 | 21 | 20 |3085k|4580 | 0.000000e+00 | -- | Inf
1477.09/1477.63 c 1478s| 6620k| 1980k| 17930k| 2.7 |1451M| 54 | 7 | 60 |7979 | 60 | 21 | 20 |3090k|4580 | 0.000000e+00 | -- | Inf
1479.78/1480.32 c 1480s| 6630k| 1983k| 17956k| 2.7 |1453M| 54 | 7 | 60 |6447 | 60 | 21 | 20 |3095k|4580 | 0.000000e+00 | -- | Inf
1482.29/1482.83 c 1483s| 6640k| 1985k| 17983k| 2.7 |1455M| 54 | - | 60 |5963 | 60 | 21 | 20 |3100k|4581 | 0.000000e+00 | -- | Inf
1484.28/1484.88 c 1485s| 6650k| 1988k| 18010k| 2.7 |1458M| 54 | 7 | 60 |7757 | 60 | 21 | 20 |3104k|4581 | 0.000000e+00 | -- | Inf
1486.58/1487.10 c 1487s| 6660k| 1991k| 18037k| 2.7 |1460M| 54 | 7 | 60 |8538 | 60 | 21 | 20 |3109k|4581 | 0.000000e+00 | -- | Inf
1488.88/1489.44 c 1489s| 6670k| 1993k| 18065k| 2.7 |1462M| 54 | 7 | 60 |8764 | 60 | 21 | 20 |3114k|4581 | 0.000000e+00 | -- | Inf
1491.48/1492.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1491.48/1492.01 c 1492s| 6680k| 1995k| 18092k| 2.7 |1464M| 54 | 7 | 60 |8399 | 60 | 21 | 20 |3120k|4581 | 0.000000e+00 | -- | Inf
1494.08/1494.63 c 1495s| 6690k| 1998k| 18119k| 2.7 |1465M| 54 | - | 60 |6683 | 60 | 21 | 20 |3125k|4588 | 0.000000e+00 | -- | Inf
1496.38/1496.99 c 1497s| 6700k| 2001k| 18146k| 2.7 |1468M| 54 | - | 60 |7252 | 60 | 21 | 20 |3129k|4588 | 0.000000e+00 | -- | Inf
1498.89/1499.44 c 1499s| 6710k| 2003k| 18172k| 2.7 |1470M| 54 | - | 60 |6750 | 60 | 21 | 20 |3134k|4598 | 0.000000e+00 | -- | Inf
1501.38/1501.91 c 1502s| 6720k| 2006k| 18200k| 2.7 |1472M| 54 | 7 | 60 |7083 | 60 | 21 | 20 |3139k|4606 | 0.000000e+00 | -- | Inf
1503.78/1504.33 c 1504s| 6730k| 2008k| 18227k| 2.7 |1474M| 54 | 7 | 60 |6726 | 60 | 21 | 20 |3144k|4608 | 0.000000e+00 | -- | Inf
1506.18/1506.74 c 1507s| 6740k| 2011k| 18253k| 2.7 |1476M| 54 | - | 60 |7264 | 60 | 21 | 20 |3149k|4610 | 0.000000e+00 | -- | Inf
1508.97/1509.52 c 1510s| 6750k| 2013k| 18280k| 2.7 |1478M| 54 | 7 | 60 |5925 | 60 | 21 | 20 |3155k|4612 | 0.000000e+00 | -- | Inf
1511.18/1511.71 c 1512s| 6760k| 2016k| 18308k| 2.7 |1480M| 54 | 7 | 60 |7839 | 60 | 21 | 20 |3159k|4617 | 0.000000e+00 | -- | Inf
1513.58/1514.19 c 1514s| 6770k| 2018k| 18335k| 2.7 |1482M| 54 | 7 | 60 |8083 | 60 | 21 | 20 |3165k|4618 | 0.000000e+00 | -- | Inf
1516.18/1516.79 c 1517s| 6780k| 2021k| 18362k| 2.7 |1484M| 54 | 7 | 60 |7109 | 60 | 21 | 20 |3170k|4621 | 0.000000e+00 | -- | Inf
1518.68/1519.20 c 1519s| 6790k| 2023k| 18390k| 2.7 |1487M| 54 | 7 | 60 |8405 | 60 | 21 | 20 |3175k|4621 | 0.000000e+00 | -- | Inf
1521.28/1521.85 c 1522s| 6800k| 2026k| 18417k| 2.7 |1488M| 54 | - | 60 |7009 | 60 | 21 | 20 |3180k|4628 | 0.000000e+00 | -- | Inf
1523.77/1524.36 c 1524s| 6810k| 2028k| 18444k| 2.7 |1490M| 54 | - | 60 |6541 | 60 | 21 | 20 |3185k|4629 | 0.000000e+00 | -- | Inf
1526.18/1526.73 c 1527s| 6820k| 2031k| 18470k| 2.7 |1492M| 54 | 7 | 60 |6673 | 60 | 21 | 20 |3189k|4629 | 0.000000e+00 | -- | Inf
1528.38/1528.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1528.38/1528.99 c 1529s| 6830k| 2034k| 18497k| 2.7 |1495M| 54 | - | 60 |7530 | 60 | 21 | 20 |3194k|4629 | 0.000000e+00 | -- | Inf
1530.87/1531.43 c 1531s| 6840k| 2037k| 18524k| 2.7 |1497M| 54 | - | 60 |7379 | 60 | 21 | 20 |3199k|4632 | 0.000000e+00 | -- | Inf
1533.28/1533.89 c 1534s| 6850k| 2039k| 18551k| 2.7 |1499M| 54 | 7 | 60 |7987 | 60 | 21 | 20 |3204k|4632 | 0.000000e+00 | -- | Inf
1535.77/1536.30 c 1536s| 6860k| 2042k| 18579k| 2.7 |1501M| 54 | 7 | 60 |8369 | 60 | 21 | 20 |3209k|4632 | 0.000000e+00 | -- | Inf
1538.27/1538.88 c 1539s| 6870k| 2045k| 18606k| 2.7 |1503M| 54 | 7 | 60 |6682 | 60 | 21 | 20 |3214k|4632 | 0.000000e+00 | -- | Inf
1540.88/1541.42 c 1541s| 6880k| 2047k| 18632k| 2.7 |1505M| 54 | 7 | 60 |6476 | 60 | 21 | 20 |3219k|4632 | 0.000000e+00 | -- | Inf
1543.08/1543.62 c 1544s| 6890k| 2050k| 18660k| 2.7 |1508M| 54 | 7 | 60 |8341 | 60 | 21 | 20 |3223k|4632 | 0.000000e+00 | -- | Inf
1545.57/1546.19 c 1546s| 6900k| 2053k| 18686k| 2.7 |1510M| 54 | - | 60 |7695 | 60 | 21 | 20 |3228k|4632 | 0.000000e+00 | -- | Inf
1548.28/1548.89 c 1549s| 6910k| 2055k| 18713k| 2.7 |1512M| 54 | 7 | 60 |6517 | 60 | 21 | 20 |3233k|4632 | 0.000000e+00 | -- | Inf
1550.77/1551.38 c 1551s| 6920k| 2058k| 18739k| 2.7 |1514M| 54 | 7 | 60 |7119 | 60 | 21 | 20 |3238k|4632 | 0.000000e+00 | -- | Inf
1553.17/1553.78 c 1554s| 6930k| 2060k| 18768k| 2.7 |1516M| 54 | 7 | 60 |8802 | 60 | 21 | 20 |3244k|4632 | 0.000000e+00 | -- | Inf
1555.77/1556.38 c 1556s| 6940k| 2063k| 18795k| 2.7 |1518M| 54 | 7 | 60 |7499 | 60 | 21 | 20 |3249k|4635 | 0.000000e+00 | -- | Inf
1558.37/1558.99 c 1559s| 6950k| 2065k| 18821k| 2.7 |1520M| 54 | - | 60 |6339 | 60 | 21 | 20 |3253k|4635 | 0.000000e+00 | -- | Inf
1561.08/1561.60 c 1562s| 6960k| 2067k| 18848k| 2.7 |1522M| 54 | 7 | 60 |6022 | 60 | 21 | 20 |3259k|4636 | 0.000000e+00 | -- | Inf
1563.47/1564.02 c 1564s| 6970k| 2070k| 18875k| 2.7 |1524M| 54 | 7 | 60 |6544 | 60 | 21 | 20 |3263k|4638 | 0.000000e+00 | -- | Inf
1565.77/1566.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1565.77/1566.38 c 1566s| 6980k| 2072k| 18903k| 2.7 |1526M| 54 | - | 60 |7344 | 60 | 21 | 20 |3269k|4641 | 0.000000e+00 | -- | Inf
1568.27/1568.86 c 1569s| 6990k| 2075k| 18929k| 2.7 |1528M| 54 | 7 | 60 |7029 | 60 | 21 | 20 |3274k|4641 | 0.000000e+00 | -- | Inf
1570.97/1571.53 c 1572s| 7000k| 2077k| 18956k| 2.7 |1530M| 54 | - | 60 |5726 | 60 | 21 | 20 |3279k|4641 | 0.000000e+00 | -- | Inf
1573.37/1573.99 c 1574s| 7010k| 2080k| 18982k| 2.7 |1532M| 54 | - | 60 |6781 | 60 | 21 | 20 |3284k|4641 | 0.000000e+00 | -- | Inf
1575.88/1576.48 c 1576s| 7020k| 2082k| 19009k| 2.7 |1534M| 54 | 7 | 60 |6672 | 60 | 21 | 20 |3289k|4641 | 0.000000e+00 | -- | Inf
1578.47/1579.07 c 1579s| 7030k| 2085k| 19035k| 2.7 |1536M| 54 | 7 | 60 |5781 | 60 | 21 | 20 |3294k|4642 | 0.000000e+00 | -- | Inf
1580.97/1581.55 c 1582s| 7040k| 2087k| 19062k| 2.7 |1538M| 54 | 7 | 60 |5845 | 60 | 21 | 20 |3299k|4642 | 0.000000e+00 | -- | Inf
1583.37/1583.90 c 1584s| 7050k| 2090k| 19089k| 2.7 |1541M| 54 | 7 | 60 |6395 | 60 | 21 | 20 |3303k|4643 | 0.000000e+00 | -- | Inf
1585.77/1586.32 c 1586s| 7060k| 2093k| 19115k| 2.7 |1543M| 54 | - | 60 |6537 | 60 | 21 | 20 |3308k|4643 | 0.000000e+00 | -- | Inf
1588.26/1588.80 c 1589s| 7070k| 2095k| 19142k| 2.7 |1545M| 54 | 7 | 60 |6730 | 60 | 21 | 20 |3313k|4647 | 0.000000e+00 | -- | Inf
1590.76/1591.32 c 1591s| 7080k| 2098k| 19168k| 2.7 |1547M| 54 | - | 60 |6278 | 60 | 21 | 20 |3318k|4655 | 0.000000e+00 | -- | Inf
1593.06/1593.63 c 1594s| 7090k| 2101k| 19195k| 2.7 |1549M| 54 | 7 | 60 |7629 | 60 | 21 | 20 |3323k|4655 | 0.000000e+00 | -- | Inf
1595.47/1596.02 c 1596s| 7100k| 2103k| 19221k| 2.7 |1552M| 54 | - | 60 |8455 | 60 | 21 | 20 |3328k|4657 | 0.000000e+00 | -- | Inf
1597.97/1598.56 c 1599s| 7110k| 2106k| 19249k| 2.7 |1554M| 54 | - | 60 |8219 | 60 | 21 | 20 |3333k|4657 | 0.000000e+00 | -- | Inf
1600.66/1601.25 c 1601s| 7120k| 2108k| 19276k| 2.7 |1556M| 54 | 7 | 60 |7273 | 60 | 21 | 20 |3338k|4657 | 0.000000e+00 | -- | Inf
1603.37/1603.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1603.37/1603.91 c 1604s| 7130k| 2111k| 19302k| 2.7 |1557M| 54 | 7 | 60 |6158 | 60 | 21 | 20 |3343k|4657 | 0.000000e+00 | -- | Inf
1605.77/1606.37 c 1606s| 7140k| 2113k| 19329k| 2.7 |1560M| 54 | - | 60 |7456 | 60 | 21 | 20 |3348k|4657 | 0.000000e+00 | -- | Inf
1608.26/1608.85 c 1609s| 7150k| 2116k| 19357k| 2.7 |1562M| 54 | 7 | 60 |7582 | 60 | 21 | 20 |3353k|4657 | 0.000000e+00 | -- | Inf
1610.56/1611.13 c 1611s| 7160k| 2119k| 19384k| 2.7 |1564M| 54 | - | 60 |9010 | 60 | 21 | 20 |3358k|4657 | 0.000000e+00 | -- | Inf
1613.27/1613.83 c 1614s| 7170k| 2122k| 19410k| 2.7 |1566M| 54 | - | 60 |8079 | 60 | 21 | 20 |3363k|4658 | 0.000000e+00 | -- | Inf
1615.66/1616.23 c 1616s| 7180k| 2124k| 19436k| 2.7 |1569M| 54 | - | 60 |9081 | 60 | 21 | 20 |3368k|4660 | 0.000000e+00 | -- | Inf
1618.46/1619.02 c 1619s| 7190k| 2126k| 19463k| 2.7 |1570M| 54 | - | 60 |7883 | 60 | 21 | 20 |3373k|4664 | 0.000000e+00 | -- | Inf
1621.06/1621.69 c 1622s| 7200k| 2129k| 19490k| 2.7 |1572M| 54 | 7 | 60 |6832 | 60 | 21 | 20 |3378k|4666 | 0.000000e+00 | -- | Inf
1623.46/1624.06 c 1624s| 7210k| 2131k| 19518k| 2.7 |1574M| 54 | - | 60 |8126 | 60 | 21 | 20 |3384k|4666 | 0.000000e+00 | -- | Inf
1625.87/1626.46 c 1626s| 7220k| 2134k| 19546k| 2.7 |1577M| 54 | - | 60 |9121 | 60 | 21 | 20 |3388k|4666 | 0.000000e+00 | -- | Inf
1628.66/1629.26 c 1629s| 7230k| 2136k| 19573k| 2.7 |1578M| 54 | - | 60 |7513 | 60 | 21 | 20 |3394k|4667 | 0.000000e+00 | -- | Inf
1631.36/1631.91 c 1632s| 7240k| 2139k| 19599k| 2.7 |1580M| 54 | 7 | 60 |6891 | 60 | 21 | 20 |3398k|4670 | 0.000000e+00 | -- | Inf
1633.66/1634.21 c 1634s| 7250k| 2141k| 19626k| 2.7 |1583M| 54 | 7 | 60 |8175 | 60 | 21 | 20 |3403k|4672 | 0.000000e+00 | -- | Inf
1636.06/1636.62 c 1637s| 7260k| 2144k| 19652k| 2.7 |1585M| 54 | 7 | 60 |9128 | 60 | 21 | 20 |3408k|4673 | 0.000000e+00 | -- | Inf
1638.66/1639.24 c 1639s| 7270k| 2147k| 19680k| 2.7 |1587M| 54 | - | 60 |9370 | 60 | 21 | 20 |3413k|4673 | 0.000000e+00 | -- | Inf
1641.46/1642.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1641.46/1642.01 c 1642s| 7280k| 2149k| 19706k| 2.7 |1589M| 54 | 7 | 60 |8087 | 60 | 21 | 20 |3418k|4678 | 0.000000e+00 | -- | Inf
1644.16/1644.71 c 1645s| 7290k| 2152k| 19733k| 2.7 |1591M| 54 | - | 60 |6957 | 60 | 21 | 20 |3423k|4680 | 0.000000e+00 | -- | Inf
1646.66/1647.23 c 1647s| 7300k| 2154k| 19759k| 2.7 |1593M| 54 | 7 | 60 |7050 | 60 | 21 | 20 |3428k|4689 | 0.000000e+00 | -- | Inf
1649.06/1649.67 c 1650s| 7310k| 2157k| 19785k| 2.7 |1595M| 54 | - | 60 |7031 | 60 | 21 | 20 |3433k|4689 | 0.000000e+00 | -- | Inf
1651.46/1652.07 c 1652s| 7320k| 2160k| 19812k| 2.7 |1597M| 54 | - | 60 |7466 | 60 | 21 | 20 |3438k|4692 | 0.000000e+00 | -- | Inf
1653.76/1654.33 c 1654s| 7330k| 2163k| 19841k| 2.7 |1600M| 54 | 7 | 60 |8563 | 60 | 21 | 20 |3442k|4692 | 0.000000e+00 | -- | Inf
1656.06/1656.66 c 1657s| 7340k| 2165k| 19870k| 2.7 |1602M| 54 | - | 60 |8489 | 60 | 21 | 20 |3447k|4692 | 0.000000e+00 | -- | Inf
1658.46/1659.03 c 1659s| 7350k| 2168k| 19898k| 2.7 |1604M| 54 | 7 | 60 |9275 | 60 | 21 | 20 |3452k|4692 | 0.000000e+00 | -- | Inf
1660.86/1661.47 c 1661s| 7360k| 2171k| 19926k| 2.7 |1606M| 54 | 7 | 60 |9071 | 60 | 21 | 20 |3457k|4693 | 0.000000e+00 | -- | Inf
1663.36/1663.99 c 1664s| 7370k| 2173k| 19957k| 2.7 |1608M| 54 | 7 | 60 |9908 | 60 | 21 | 20 |3462k|4693 | 0.000000e+00 | -- | Inf
1665.96/1666.59 c 1667s| 7380k| 2175k| 19984k| 2.7 |1610M| 54 | - | 60 |9019 | 60 | 21 | 20 |3467k|4702 | 0.000000e+00 | -- | Inf
1668.66/1669.26 c 1669s| 7390k| 2178k| 20011k| 2.7 |1612M| 54 | - | 60 |7363 | 60 | 21 | 20 |3472k|4708 | 0.000000e+00 | -- | Inf
1671.15/1671.72 c 1672s| 7400k| 2181k| 20037k| 2.7 |1614M| 54 | 7 | 60 |7567 | 60 | 21 | 20 |3477k|4708 | 0.000000e+00 | -- | Inf
1673.76/1674.36 c 1674s| 7410k| 2184k| 20063k| 2.7 |1616M| 54 | 7 | 60 |7228 | 60 | 21 | 20 |3482k|4717 | 0.000000e+00 | -- | Inf
1676.16/1676.73 c 1677s| 7420k| 2187k| 20089k| 2.7 |1618M| 54 | 7 | 60 |8162 | 60 | 21 | 20 |3487k|4719 | 0.000000e+00 | -- | Inf
1678.56/1679.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1678.56/1679.18 c 1679s| 7430k| 2189k| 20117k| 2.7 |1620M| 54 | 7 | 60 |8589 | 60 | 21 | 20 |3492k|4719 | 0.000000e+00 | -- | Inf
1681.36/1681.93 c 1682s| 7440k| 2192k| 20143k| 2.7 |1622M| 54 | 7 | 60 |6967 | 60 | 21 | 20 |3497k|4724 | 0.000000e+00 | -- | Inf
1683.75/1684.38 c 1684s| 7450k| 2194k| 20169k| 2.7 |1624M| 54 | - | 60 |7403 | 60 | 21 | 20 |3502k|4725 | 0.000000e+00 | -- | Inf
1686.35/1686.94 c 1687s| 7460k| 2197k| 20196k| 2.7 |1626M| 54 | - | 60 |6977 | 60 | 21 | 20 |3506k|4726 | 0.000000e+00 | -- | Inf
1689.06/1689.63 c 1690s| 7470k| 2199k| 20222k| 2.7 |1628M| 54 | - | 60 |6011 | 60 | 21 | 20 |3511k|4726 | 0.000000e+00 | -- | Inf
1691.65/1692.23 c 1692s| 7480k| 2202k| 20249k| 2.7 |1630M| 54 | 7 | 60 |6060 | 60 | 21 | 20 |3517k|4726 | 0.000000e+00 | -- | Inf
1694.15/1694.74 c 1695s| 7490k| 2204k| 20276k| 2.7 |1632M| 54 | - | 60 |6649 | 60 | 21 | 20 |3521k|4728 | 0.000000e+00 | -- | Inf
1696.65/1697.27 c 1697s| 7500k| 2207k| 20303k| 2.7 |1635M| 54 | 7 | 60 |7608 | 60 | 21 | 20 |3527k|4729 | 0.000000e+00 | -- | Inf
1699.15/1699.72 c 1700s| 7510k| 2210k| 20330k| 2.7 |1637M| 54 | 7 | 60 |8482 | 60 | 21 | 20 |3531k|4732 | 0.000000e+00 | -- | Inf
1701.55/1702.19 c 1702s| 7520k| 2212k| 20356k| 2.7 |1639M| 54 | 7 | 60 |8292 | 60 | 21 | 20 |3536k|4732 | 0.000000e+00 | -- | Inf
1704.15/1704.75 c 1705s| 7530k| 2215k| 20383k| 2.7 |1641M| 54 | - | 60 |7388 | 60 | 21 | 20 |3541k|4732 | 0.000000e+00 | -- | Inf
1706.66/1707.24 c 1707s| 7540k| 2218k| 20409k| 2.7 |1643M| 54 | - | 60 |6985 | 60 | 21 | 20 |3546k|4733 | 0.000000e+00 | -- | Inf
1709.25/1709.82 c 1710s| 7550k| 2220k| 20435k| 2.7 |1645M| 54 | 7 | 60 |7076 | 60 | 21 | 20 |3551k|4736 | 0.000000e+00 | -- | Inf
1711.65/1712.27 c 1712s| 7560k| 2223k| 20461k| 2.7 |1647M| 54 | 7 | 60 |7255 | 60 | 21 | 20 |3556k|4737 | 0.000000e+00 | -- | Inf
1714.36/1714.91 c 1715s| 7570k| 2225k| 20488k| 2.7 |1649M| 54 | - | 60 |6020 | 60 | 21 | 20 |3561k|4737 | 0.000000e+00 | -- | Inf
1716.85/1717.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1716.85/1717.46 c 1717s| 7580k| 2228k| 20514k| 2.7 |1651M| 54 | - | 60 |6389 | 60 | 21 | 20 |3566k|4738 | 0.000000e+00 | -- | Inf
1719.24/1719.89 c 1720s| 7590k| 2230k| 20542k| 2.7 |1653M| 54 | 7 | 60 |7745 | 60 | 21 | 20 |3571k|4739 | 0.000000e+00 | -- | Inf
1721.85/1722.44 c 1722s| 7600k| 2233k| 20569k| 2.7 |1655M| 54 | 7 | 60 |8098 | 60 | 21 | 20 |3576k|4741 | 0.000000e+00 | -- | Inf
1724.55/1725.14 c 1725s| 7610k| 2235k| 20594k| 2.7 |1657M| 54 | 7 | 60 |6967 | 60 | 21 | 20 |3581k|4744 | 0.000000e+00 | -- | Inf
1727.04/1727.68 c 1728s| 7620k| 2238k| 20621k| 2.7 |1659M| 54 | - | 60 |7069 | 60 | 21 | 20 |3586k|4747 | 0.000000e+00 | -- | Inf
1729.65/1730.26 c 1730s| 7630k| 2240k| 20647k| 2.7 |1661M| 54 | 7 | 60 |7206 | 60 | 21 | 20 |3591k|4747 | 0.000000e+00 | -- | Inf
1732.05/1732.68 c 1733s| 7640k| 2243k| 20674k| 2.7 |1664M| 54 | 7 | 60 |7455 | 60 | 21 | 20 |3596k|4747 | 0.000000e+00 | -- | Inf
1734.44/1735.03 c 1735s| 7650k| 2246k| 20700k| 2.7 |1666M| 54 | 7 | 60 |7829 | 60 | 21 | 20 |3601k|4747 | 0.000000e+00 | -- | Inf
1736.95/1737.56 c 1738s| 7660k| 2249k| 20726k| 2.7 |1668M| 54 | - | 60 |6668 | 60 | 21 | 20 |3605k|4747 | 0.000000e+00 | -- | Inf
1739.35/1739.93 c 1740s| 7670k| 2251k| 20754k| 2.7 |1670M| 54 | 7 | 60 |7763 | 60 | 21 | 20 |3610k|4747 | 0.000000e+00 | -- | Inf
1741.95/1742.57 c 1743s| 7680k| 2254k| 20780k| 2.7 |1672M| 54 | - | 60 |6923 | 60 | 21 | 20 |3616k|4752 | 0.000000e+00 | -- | Inf
1744.44/1745.04 c 1745s| 7690k| 2256k| 20808k| 2.7 |1674M| 54 | 7 | 60 |6891 | 60 | 21 | 20 |3621k|4754 | 0.000000e+00 | -- | Inf
1746.84/1747.43 c 1747s| 7700k| 2259k| 20834k| 2.7 |1676M| 54 | - | 60 |7194 | 60 | 21 | 20 |3626k|4755 | 0.000000e+00 | -- | Inf
1749.15/1749.70 c 1750s| 7710k| 2262k| 20863k| 2.7 |1679M| 54 | 7 | 60 |8705 | 60 | 21 | 20 |3631k|4755 | 0.000000e+00 | -- | Inf
1751.54/1752.14 c 1752s| 7720k| 2264k| 20890k| 2.7 |1681M| 54 | 7 | 60 |9073 | 60 | 21 | 20 |3636k|4755 | 0.000000e+00 | -- | Inf
1754.05/1754.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1754.05/1754.69 c 1755s| 7730k| 2266k| 20918k| 2.7 |1683M| 54 | 7 | 60 |9511 | 60 | 21 | 20 |3641k|4755 | 0.000000e+00 | -- | Inf
1756.44/1757.06 c 1757s| 7740k| 2269k| 20945k| 2.7 |1685M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |3646k|4755 | 0.000000e+00 | -- | Inf
1759.34/1759.94 c 1760s| 7750k| 2271k| 20973k| 2.7 |1687M| 54 | 7 | 60 |9404 | 60 | 21 | 20 |3651k|4755 | 0.000000e+00 | -- | Inf
1762.05/1762.67 c 1763s| 7760k| 2273k| 21001k| 2.7 |1689M| 54 | 7 | 60 |9868 | 60 | 21 | 20 |3657k|4755 | 0.000000e+00 | -- | Inf
1764.84/1765.41 c 1765s| 7770k| 2275k| 21029k| 2.7 |1691M| 54 | 7 | 60 |9889 | 60 | 21 | 20 |3663k|4755 | 0.000000e+00 | -- | Inf
1767.84/1768.43 c 1768s| 7780k| 2277k| 21055k| 2.7 |1692M| 54 | 7 | 60 |6775 | 60 | 21 | 20 |3668k|4763 | 0.000000e+00 | -- | Inf
1770.34/1770.92 c 1771s| 7790k| 2280k| 21082k| 2.7 |1694M| 54 | 7 | 60 |7109 | 60 | 21 | 20 |3673k|4775 | 0.000000e+00 | -- | Inf
1772.94/1773.57 c 1774s| 7800k| 2282k| 21108k| 2.7 |1696M| 54 | 7 | 60 |6085 | 60 | 21 | 20 |3678k|4775 | 0.000000e+00 | -- | Inf
1775.63/1776.27 c 1776s| 7810k| 2285k| 21134k| 2.7 |1698M| 54 | 7 | 60 |5486 | 60 | 21 | 20 |3683k|4780 | 0.000000e+00 | -- | Inf
1778.14/1778.72 c 1779s| 7820k| 2287k| 21160k| 2.7 |1700M| 54 | 7 | 60 |6703 | 60 | 21 | 20 |3688k|4783 | 0.000000e+00 | -- | Inf
1780.53/1781.18 c 1781s| 7830k| 2290k| 21187k| 2.7 |1702M| 54 | - | 60 |6954 | 60 | 21 | 20 |3693k|4788 | 0.000000e+00 | -- | Inf
1783.03/1783.60 c 1784s| 7840k| 2292k| 21215k| 2.7 |1705M| 54 | - | 60 |7895 | 60 | 21 | 20 |3698k|4788 | 0.000000e+00 | -- | Inf
1785.74/1786.31 c 1786s| 7850k| 2294k| 21241k| 2.7 |1706M| 54 | 7 | 60 |5652 | 60 | 21 | 20 |3703k|4799 | 0.000000e+00 | -- | Inf
1788.23/1788.83 c 1789s| 7860k| 2297k| 21267k| 2.7 |1708M| 54 | 7 | 60 |5584 | 60 | 21 | 20 |3708k|4801 | 0.000000e+00 | -- | Inf
1790.54/1791.11 c 1791s| 7870k| 2299k| 21295k| 2.7 |1711M| 54 | - | 60 |6974 | 60 | 21 | 20 |3713k|4801 | 0.000000e+00 | -- | Inf
1793.14/1793.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1793.14/1793.73 c 1794s| 7880k| 2302k| 21321k| 2.7 |1712M| 54 | 7 | 60 |5919 | 60 | 21 | 20 |3718k|4806 | 0.000000e+00 | -- | Inf
1795.63/1796.24 c 1796s| 7890k| 2304k| 21348k| 2.7 |1714M| 54 | - | 60 |6280 | 60 | 21 | 20 |3723k|4812 | 0.000000e+00 | -- | Inf
1796.44/1797.00 c
1796.44/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.44/1797.00 c Solving Time (sec) : 1797.00
1796.44/1797.00 c Solving Nodes : 7893441
1796.44/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.44/1797.00 c Dual Bound : +0.00000000000000e+00
1796.44/1797.00 c Gap : infinite
1796.44/1797.00 s UNKNOWN
1796.44/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.44/1797.00 c Total Time : 1797.00
1796.44/1797.00 c solving : 1797.00
1796.44/1797.00 c presolving : 0.01 (included in solving)
1796.44/1797.00 c reading : 0.00 (included in solving)
1796.44/1797.00 c Original Problem :
1796.44/1797.00 c Problem name : HOME/instance-3734912-1338715238.opb
1796.44/1797.00 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.44/1797.00 c Constraints : 15 initial, 15 maximal
1796.44/1797.00 c Presolved Problem :
1796.44/1797.00 c Problem name : t_HOME/instance-3734912-1338715238.opb
1796.44/1797.00 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.44/1797.00 c Constraints : 7 initial, 13927 maximal
1796.44/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.44/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.44/1797.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1796.44/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.44/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.44/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.44/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.44/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1796.44/1797.00 c linear : 0.00 0 0 0 0 0 8 0 0 0
1796.44/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.44/1797.00 c root node : - 0 - - 0 - - - - -
1796.44/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.44/1797.00 c integral : 0 0 0 5132874 0 4 0 395 1789 0 0 10261512
1796.44/1797.00 c linear : 7 6 17413024 0 2 3 1831555 131939 2735797 0 0 0
1796.44/1797.00 c logicor : 0+ 6 8179668 0 0 0 5002905 10154 2766818 0 0 0
1796.44/1797.00 c countsols : 0 0 0 0 2 0 0 0 0 0 0 0
1796.44/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.44/1797.00 c integral : 40.17 0.00 0.00 40.17 0.00 0.00 0.00
1796.44/1797.00 c linear : 85.21 0.00 78.84 0.00 0.00 0.00 6.37
1796.44/1797.00 c logicor : 269.40 0.00 257.37 0.00 0.00 0.00 12.04
1796.44/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.44/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.44/1797.00 c vbounds : 0 0 0 0
1796.44/1797.00 c rootredcost : 0 0 0 0
1796.44/1797.00 c pseudoobj : 0 0 0 0
1796.44/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1796.44/1797.00 c vbounds : 12.28 12.28 0.00
1796.44/1797.00 c rootredcost : 12.15 12.15 0.00
1796.44/1797.00 c pseudoobj : 11.70 11.70 0.00
1796.44/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.44/1797.00 c propagation : 10.21 142093 131578 474616 44.8 83 35.0 -
1796.44/1797.00 c infeasible LP : 87.42 2669577 2669486 5096864 28.5 39366 33.2 0
1796.44/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.44/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.44/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.44/1797.00 c applied globally : - - - 3285895 23.5 - - -
1796.44/1797.00 c applied locally : - - - 439140 38.4 - - -
1796.44/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.44/1797.00 c cut pool : 0.00 5 - - 6 - (maximal pool size: 57)
1796.44/1797.00 c redcost : 9.50 5132879 0 0 0 0
1796.44/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1796.44/1797.00 c intobj : 0.00 0 0 0 0 0
1796.44/1797.00 c gomory : 0.00 6 0 0 0 0
1796.44/1797.00 c cgmip : 0.00 0 0 0 0 0
1796.44/1797.00 c closecuts : 0.00 0 0 0 0 0
1796.44/1797.00 c strongcg : 0.00 6 0 0 15 0
1796.44/1797.00 c cmir : 0.01 6 0 0 21 0
1796.44/1797.00 c flowcover : 0.01 6 0 0 29 0
1796.44/1797.00 c clique : 0.00 1 0 0 0 0
1796.44/1797.00 c zerohalf : 0.00 0 0 0 0 0
1796.44/1797.00 c mcf : 0.00 1 0 0 0 0
1796.44/1797.00 c oddcycle : 0.00 0 0 0 0 0
1796.44/1797.00 c rapidlearning : 0.02 1 0 0 0 0
1796.44/1797.00 c Pricers : Time Calls Vars
1796.44/1797.00 c problem variables: 0.00 0 0
1796.44/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.44/1797.00 c relpscost : 30.10 5132874 395 1789 0 0 10261512
1796.44/1797.00 c pscost : 0.00 0 0 0 0 0 0
1796.44/1797.00 c inference : 0.00 2 0 0 0 0 4
1796.44/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1796.44/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1796.44/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1796.44/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1796.44/1797.00 c random : 0.00 0 0 0 0 0 0
1796.44/1797.00 c Primal Heuristics : Time Calls Found
1796.44/1797.00 c LP solutions : 0.00 - 0
1796.44/1797.00 c pseudo solutions : 0.00 - 0
1796.44/1797.00 c oneopt : 11.34 0 0
1796.44/1797.00 c crossover : 6.33 0 0
1796.44/1797.00 c guideddiving : 0.62 0 0
1796.44/1797.00 c coefdiving : 0.62 46 0
1796.44/1797.00 c pscostdiving : 0.62 46 0
1796.44/1797.00 c fracdiving : 0.62 46 0
1796.44/1797.00 c feaspump : 0.61 23 0
1796.44/1797.00 c veclendiving : 0.61 47 0
1796.44/1797.00 c linesearchdiving : 0.61 47 0
1796.44/1797.00 c objpscostdiving : 0.60 24 0
1796.44/1797.00 c rootsoldiving : 0.60 24 0
1796.44/1797.00 c trivial : 0.00 2 0
1796.44/1797.00 c shiftandpropagate: 0.00 1 0
1796.44/1797.00 c simplerounding : 3.75 0 0
1796.44/1797.00 c zirounding : 22.02 0 0
1796.44/1797.00 c rounding : 4.92 32162 0
1796.44/1797.00 c shifting : 3.41 9999 0
1796.44/1797.00 c intshifting : 0.36 0 0
1796.44/1797.00 c twoopt : 0.00 0 0
1796.44/1797.00 c fixandinfer : 0.00 0 0
1796.44/1797.00 c clique : 0.00 0 0
1796.44/1797.00 c intdiving : 0.00 0 0
1796.44/1797.00 c actconsdiving : 0.00 0 0
1796.44/1797.00 c octane : 0.00 0 0
1796.44/1797.00 c rens : 0.03 1 0
1796.44/1797.00 c rins : 0.00 0 0
1796.44/1797.00 c localbranching : 0.00 0 0
1796.44/1797.00 c mutation : 0.00 0 0
1796.44/1797.00 c dins : 0.00 0 0
1796.44/1797.00 c vbounds : 0.00 0 0
1796.44/1797.00 c undercover : 0.00 0 0
1796.44/1797.00 c subnlp : 5.57 0 0
1796.44/1797.00 c trysol : 9.09 0 0
1796.44/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1796.44/1797.00 c primal LP : 0.00 0 0 0.00 -
1796.44/1797.00 c dual LP : 437.92 7620798 21353813 2.80 48761.64
1796.44/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.44/1797.00 c barrier LP : 0.00 0 0 0.00 -
1796.44/1797.00 c diving/probing LP: 0.09 1608 3052 1.90 34205.28
1796.44/1797.00 c strong branching : 0.56 4812 26360 5.48 46799.99
1796.44/1797.00 c (at root node) : - 9 557 61.89 -
1796.44/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.44/1797.00 c B&B Tree :
1796.44/1797.00 c number of runs : 1
1796.44/1797.00 c nodes : 7893441
1796.44/1797.00 c nodes (total) : 7893441
1796.44/1797.00 c nodes left : 2305649
1796.44/1797.00 c max depth : 54
1796.44/1797.00 c max depth (total): 54
1796.44/1797.00 c backtracks : 920170 (11.7%)
1796.44/1797.00 c delayed cutoffs : 62427
1796.44/1797.00 c repropagations : 6393778 (3153336 domain reductions, 48782 cutoffs)
1796.44/1797.00 c avg switch length: 5.40
1796.44/1797.00 c switching time : 360.78
1796.44/1797.00 c Solution :
1796.44/1797.00 c Solutions found : 0 (0 improvements)
1796.44/1797.00 c Primal Bound : -
1796.44/1797.00 c Dual Bound : +0.00000000000000e+00
1796.44/1797.00 c Gap : infinite
1796.44/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.44/1797.00 c Root Iterations : 172
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-3734912-1338715238/watcher-3734912-1338715238 -o /tmp/evaluation-result-3734912-1338715238/solver-3734912-1338715238 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3734912-1338715238.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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.99 2.00 2.00 3/177 12348
/proc/meminfo: memFree=28945276/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=9324 CPUtime=0 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 1471 0 0 0 0 0 0 0 20 0 1 0 337648253 9547776 1425 33554432000 4194304 9016284 140733589258512 140733267759368 7824814 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12348/statm: 2331 1425 311 1178 0 1149 0
[startup+0.100752 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 12348
/proc/meminfo: memFree=28945276/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=30044 CPUtime=0.09 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 7057 0 0 0 8 1 0 0 20 0 1 0 337648253 30765056 6048 33554432000 4194304 9016284 140733589258512 140733267759368 4445284 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12348/statm: 7511 6048 680 1178 0 6329 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30044
[startup+0.200289 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 12348
/proc/meminfo: memFree=28945276/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=24212 CPUtime=0.19 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 7061 0 0 0 17 2 0 0 20 0 1 0 337648253 24793088 5027 33554432000 4194304 9016284 140733589258512 140733589251880 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12348/statm: 6053 5027 684 1178 0 4871 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 24212
[startup+0.300238 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 12348
/proc/meminfo: memFree=28945276/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=24212 CPUtime=0.29 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 7061 0 0 0 27 2 0 0 20 0 1 0 337648253 24793088 5027 33554432000 4194304 9016284 140733589258512 140733589251880 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12348/statm: 6053 5027 684 1178 0 4871 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24212
[startup+0.700181 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 12348
/proc/meminfo: memFree=28945276/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=24212 CPUtime=0.69 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 7066 0 0 0 66 3 0 0 20 0 1 0 337648253 24793088 5032 33554432000 4194304 9016284 140733589258512 140733589251880 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12348/statm: 6053 5032 684 1178 0 4871 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24212
[startup+1.50018 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 12349
/proc/meminfo: memFree=28927280/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=24212 CPUtime=1.49 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 7077 0 0 0 144 5 0 0 20 0 1 0 337648253 24793088 5043 33554432000 4194304 9016284 140733589258512 140733589252840 6592496 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12348/statm: 6053 5043 684 1178 0 4871 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24212
[startup+3.10018 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 12349
/proc/meminfo: memFree=28926784/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=25580 CPUtime=3.09 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 7329 0 0 0 299 10 0 0 20 0 1 0 337648253 26193920 5295 33554432000 4194304 9016284 140733589258512 140733589252680 6798048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12348/statm: 6395 5295 684 1178 0 5213 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25580
[startup+6.30018 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 12349
/proc/meminfo: memFree=28921004/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=29996 CPUtime=6.29 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 8480 0 0 0 610 19 0 0 20 0 1 0 337648253 30715904 6446 33554432000 4194304 9016284 140733589258512 140733589252472 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12348/statm: 7499 6446 684 1178 0 6317 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29996
[startup+12.7002 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 12349
/proc/meminfo: memFree=28908248/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=40348 CPUtime=12.69 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 11115 0 0 0 1233 36 0 0 20 0 1 0 337648253 41316352 9081 33554432000 4194304 9016284 140733589258512 140733589252840 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12348/statm: 10087 9081 684 1178 0 8905 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40348
[startup+25.5002 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 12349
/proc/meminfo: memFree=28886284/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=60092 CPUtime=25.48 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 16153 0 0 0 2478 70 0 0 20 0 1 0 337648253 61534208 14293 33554432000 4194304 9016284 140733589258512 140733589252840 18446744073699066235 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12348/statm: 15023 14293 684 1178 0 13841 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60092
[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12349
/proc/meminfo: memFree=28843968/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=98352 CPUtime=51.06 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 25451 0 0 0 4964 142 0 0 20 0 1 0 337648253 100712448 23603 33554432000 4194304 9016284 140733589258512 140733589252840 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12348/statm: 24588 23603 684 1178 0 23406 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 98352
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12349
/proc/meminfo: memFree=28776260/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=166972 CPUtime=102.24 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 41912 0 0 0 9939 285 0 0 20 0 1 0 337648253 170979328 40122 33554432000 4194304 9016284 140733589258512 140733589252840 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12348/statm: 41743 40122 684 1178 0 40561 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 166972
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12349
/proc/meminfo: memFree=28697944/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=243844 CPUtime=162.22 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 61535 0 0 0 15780 442 0 0 20 0 1 0 337648253 249696256 59745 33554432000 4194304 9016284 140733589258512 140733589252680 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 60961 59745 684 1178 0 59779 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 243844
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12349
/proc/meminfo: memFree=28629648/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=307408 CPUtime=222.21 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 77735 0 0 0 21602 619 0 0 20 0 1 0 337648253 314785792 75940 33554432000 4194304 9016284 140733589258512 140733589252840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 76852 75940 684 1178 0 75670 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 307408
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12350
/proc/meminfo: memFree=28559988/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=383032 CPUtime=282.18 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 94991 0 0 0 27405 813 0 0 20 0 1 0 337648253 392224768 93234 33554432000 4194304 9016284 140733589258512 140733589252840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 95758 93234 684 1178 0 94576 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 383032
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12388
/proc/meminfo: memFree=28498284/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=452340 CPUtime=342.14 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 112596 0 0 0 33336 878 0 0 20 0 1 0 337648253 463196160 111337 33554432000 4194304 9016284 140733589258512 140733589252840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 113085 111337 684 1178 0 111903 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 452340
[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 12388
/proc/meminfo: memFree=28425400/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=510492 CPUtime=402.11 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 127314 0 0 0 39154 1057 0 0 20 0 1 0 337648253 522743808 126021 33554432000 4194304 9016284 140733589258512 140733589252840 6466192 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 127623 126021 684 1178 0 126441 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 510492
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12388
/proc/meminfo: memFree=28361488/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=567852 CPUtime=462.08 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 141724 0 0 0 44975 1233 0 0 20 0 1 0 337648253 581480448 140456 33554432000 4194304 9016284 140733589258512 140733589252840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 141963 140456 684 1178 0 140781 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 567852
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12388
/proc/meminfo: memFree=28295724/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=629704 CPUtime=522.06 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 157307 0 0 0 50785 1421 0 0 20 0 1 0 337648253 644816896 156039 33554432000 4194304 9016284 140733589258512 140733589252840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 157426 156039 684 1178 0 156244 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 629704
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12392
/proc/meminfo: memFree=28233344/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=688612 CPUtime=582.06 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 172429 0 0 0 56607 1599 0 0 20 0 1 0 337648253 705138688 171161 33554432000 4194304 9016284 140733589258512 140733589252792 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 172153 171161 684 1178 0 170971 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 688612
[startup+642.3 s]
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 12394
/proc/meminfo: memFree=27938396/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=986428 CPUtime=882.01 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 243933 0 0 0 85784 2417 0 0 20 0 1 0 337648253 1010102272 243252 33554432000 4194304 9016284 140733589258512 140733589252840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 246607 243252 684 1178 0 245425 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 986428
[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12394
/proc/meminfo: memFree=27883932/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=1039332 CPUtime=941.99 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 257002 0 0 0 91614 2585 0 0 20 0 1 0 337648253 1064275968 256882 33554432000 4194304 9016284 140733589258512 140733589252376 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 259833 256882 684 1178 0 258651 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 1039332
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12394
/proc/meminfo: memFree=27825432/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=1094896 CPUtime=1001.95 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 271090 0 0 0 97426 2769 0 0 20 0 1 0 337648253 1121173504 270972 33554432000 4194304 9016284 140733589258512 140733589252840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 273724 270972 684 1178 0 272542 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 1094896
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12394
/proc/meminfo: memFree=27766308/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=1148388 CPUtime=1061.94 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 284631 0 0 0 103249 2945 0 0 20 0 1 0 337648253 1175949312 285592 33554432000 4194304 9016284 140733589258512 140733589252840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 287097 285592 684 1178 0 285915 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 1148388
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12394
/proc/meminfo: memFree=27721572/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=1193816 CPUtime=1121.92 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 296098 0 0 0 109069 3123 0 0 20 0 1 0 337648253 1222467584 297044 33554432000 4194304 9016284 140733589258512 140733589252840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 298454 297044 684 1178 0 297272 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 1193816
[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 12397
/proc/meminfo: memFree=27663816/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=1249364 CPUtime=1181.88 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 309716 0 0 0 114886 3302 0 0 20 0 1 0 337648253 1279348736 310636 33554432000 4194304 9016284 140733589258512 140733589251880 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 312341 310636 684 1178 0 311159 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 1249364
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12398
/proc/meminfo: memFree=27604944/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=1302780 CPUtime=1241.84 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 323245 0 0 0 120735 3449 0 0 20 0 1 0 337648253 1334046720 324126 33554432000 4194304 9016284 140733589258512 140733589252840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 325695 324126 684 1178 0 324513 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1302780
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12398
/proc/meminfo: memFree=27537364/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=1359076 CPUtime=1301.81 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 337434 0 0 0 126581 3600 0 0 20 0 1 0 337648253 1391693824 338804 33554432000 4194304 9016284 140733589258512 140733589252840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 339769 338804 684 1178 0 338587 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1359076
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12398
/proc/meminfo: memFree=27481592/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=1408820 CPUtime=1361.8 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 349950 0 0 0 132419 3761 0 0 20 0 1 0 337648253 1442631680 351320 33554432000 4194304 9016284 140733589258512 140733589252840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 352205 351320 684 1178 0 351023 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1408820
[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12398
/proc/meminfo: memFree=27433852/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=1452432 CPUtime=1421.79 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 360528 0 0 0 138273 3906 0 0 20 0 1 0 337648253 1487290368 361898 33554432000 4194304 9016284 140733589258512 140733589252840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 363108 361898 684 1178 0 361926 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1452432
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12398
/proc/meminfo: memFree=27373960/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=1504856 CPUtime=1481.79 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 373757 0 0 0 144095 4084 0 0 20 0 1 0 337648253 1540972544 375127 33554432000 4194304 9016284 140733589258512 140733589252840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 376214 375127 684 1178 0 375032 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1504856
[startup+1542.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 12399
/proc/meminfo: memFree=27321880/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=1585760 CPUtime=1541.78 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 386064 0 0 0 149923 4255 0 0 20 0 1 0 337648253 1623818240 387434 33554432000 4194304 9016284 140733589258512 140733589252840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 396440 387434 684 1178 0 395258 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1585760
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12399
/proc/meminfo: memFree=27265832/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=1638572 CPUtime=1601.77 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 399601 0 0 0 155764 4413 0 0 20 0 1 0 337648253 1677897728 400971 33554432000 4194304 9016284 140733589258512 140733589252840 4347574 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 409643 400971 684 1178 0 408461 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1638572
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12399
/proc/meminfo: memFree=27207548/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=1689712 CPUtime=1661.76 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 412677 0 0 0 161595 4581 0 0 20 0 1 0 337648253 1730265088 415069 33554432000 4194304 9016284 140733589258512 140733589252840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 422428 415069 684 1178 0 421246 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1689712
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12399
/proc/meminfo: memFree=27160552/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=1736732 CPUtime=1721.75 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 424016 0 0 0 167453 4722 0 0 20 0 1 0 337648253 1778413568 426408 33554432000 4194304 9016284 140733589258512 140733589252840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 434183 426408 684 1178 0 433001 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1736732
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12402
/proc/meminfo: memFree=27113424/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=1782904 CPUtime=1781.74 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 435708 0 0 0 173311 4863 0 0 20 0 1 0 337648253 1825693696 438100 33554432000 4194304 9016284 140733589258512 140733589252840 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 445726 438100 684 1178 0 444544 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1782904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12403
/proc/meminfo: memFree=27100528/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=1795424 CPUtime=1800.04 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 438908 0 0 0 175102 4902 0 0 20 0 1 0 337648253 1838514176 441300 33554432000 4194304 9016284 140733589258512 140733589254312 6812808 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 448856 441300 685 1178 0 447674 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1795424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12403
/proc/meminfo: memFree=27100528/32873844 swapFree=7644/7644
[pid=12348] ppid=12346 vsize=1795424 CPUtime=1800.04 cores=0,2,4,6
/proc/12348/stat : 12348 (scip-2.0.1.4b_2) R 12346 12348 10351 0 -1 4202496 438908 0 0 0 175102 4902 0 0 20 0 1 0 337648253 1838514176 441300 33554432000 4194304 9016284 140733589258512 140733589254312 6812808 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12348/statm: 448856 441300 685 1178 0 447674 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1795424
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.64
CPU time (s): 1800.09
CPU user time (s): 1751.03
CPU system time (s): 49.0575
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 1795424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1751.03
system time used= 49.0575
maximum resident set size= 1765200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 438908
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= 340
involuntary context switches= 1885
runsolver used 3.07253 second user time and 9.04363 second system time
The end