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-3489570-1307773042.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.00 c presolving:
0.00/0.00 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.00 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.00
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.01 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.01 c 0.0s| 1 | 0 | 39 | - | 341k| 0 | 7 | 60 | 17 | 60 | 7 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
0.02/0.03 c 0.0s| 1 | 0 | 134 | - | 384k| 0 | 14 | 60 | 17 | 60 | 14 | 7 | 10 | 0 | 0.000000e+00 | -- | Inf
0.02/0.03 c 0.0s| 1 | 0 | 142 | - | 411k| 0 | 14 | 60 | 17 | 60 | 17 | 10 | 10 | 0 | 0.000000e+00 | -- | Inf
0.02/0.04 c 0.0s| 1 | 0 | 145 | - | 421k| 0 | 17 | 60 | 17 | 60 | 20 | 13 | 10 | 0 | 0.000000e+00 | -- | Inf
0.02/0.04 c 0.0s| 1 | 0 | 153 | - | 428k| 0 | 18 | 60 | 17 | 60 | 22 | 15 | 10 | 0 | 0.000000e+00 | -- | Inf
0.02/0.05 c 0.0s| 1 | 0 | 164 | - | 432k| 0 | 19 | 60 | 17 | 60 | 23 | 16 | 10 | 0 | 0.000000e+00 | -- | Inf
0.02/0.06 c 0.1s| 1 | 0 | 172 | - | 443k| 0 | 21 | 60 | 17 | 60 | 27 | 20 | 10 | 0 | 0.000000e+00 | -- | Inf
0.02/0.09 c 0.1s| 1 | 2 | 172 | - | 443k| 0 | 21 | 60 | 17 | 60 | 27 | 20 | 10 | 9 | 0.000000e+00 | -- | Inf
1.49/1.55 c 1.5s| 10000 | 5477 | 27039 | 2.7 |4178k| 53 | 7 | 60 |2559 | 60 | 21 | 20 |2982 | 576 | 0.000000e+00 | -- | Inf
2.99/3.08 c 3.1s| 20000 | 10416 | 54561 | 2.7 |6781k| 53 | 7 | 60 |2114 | 60 | 21 | 20 |6268 | 795 | 0.000000e+00 | -- | Inf
4.59/4.62 c 4.6s| 30000 | 15034 | 81621 | 2.7 |9249k| 53 | 7 | 60 |1946 | 60 | 21 | 20 |9770 | 943 | 0.000000e+00 | -- | Inf
6.09/6.16 c 6.2s| 40000 | 19674 |108433 | 2.7 | 11M| 53 | 7 | 60 |1902 | 60 | 21 | 20 | 13k|1039 | 0.000000e+00 | -- | Inf
7.59/7.68 c 7.7s| 50000 | 24232 |135626 | 2.7 | 14M| 53 | 7 | 60 |1994 | 60 | 21 | 20 | 16k|1138 | 0.000000e+00 | -- | Inf
9.19/9.24 c 9.2s| 60000 | 28462 |163315 | 2.7 | 16M| 54 | 7 | 60 |2336 | 60 | 21 | 20 | 20k|1225 | 0.000000e+00 | -- | Inf
10.79/10.83 c 10.8s| 70000 | 32583 |190986 | 2.7 | 19M| 54 | 7 | 60 |2835 | 60 | 21 | 20 | 24k|1286 | 0.000000e+00 | -- | Inf
12.39/12.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.39/12.48 c 12.5s| 80000 | 36752 |218413 | 2.7 | 21M| 54 | - | 60 |2659 | 60 | 21 | 20 | 28k|1349 | 0.000000e+00 | -- | Inf
13.99/14.08 c 14.1s| 90000 | 40780 |245967 | 2.7 | 24M| 54 | 7 | 60 |2566 | 60 | 21 | 20 | 32k|1407 | 0.000000e+00 | -- | Inf
15.59/15.67 c 15.7s|100000 | 44754 |273475 | 2.7 | 26M| 54 | 7 | 60 |3084 | 60 | 21 | 20 | 35k|1453 | 0.000000e+00 | -- | Inf
17.29/17.32 c 17.3s|110000 | 48585 |301043 | 2.7 | 29M| 54 | 7 | 60 |2972 | 60 | 21 | 20 | 40k|1489 | 0.000000e+00 | -- | Inf
18.88/18.95 c 18.9s|120000 | 52620 |328049 | 2.7 | 31M| 54 | - | 60 |2998 | 60 | 21 | 20 | 43k|1538 | 0.000000e+00 | -- | Inf
20.49/20.55 c 20.5s|130000 | 56622 |355707 | 2.7 | 34M| 54 | 7 | 60 |3786 | 60 | 21 | 20 | 47k|1573 | 0.000000e+00 | -- | Inf
22.09/22.17 c 22.2s|140000 | 60544 |383944 | 2.7 | 36M| 54 | 7 | 60 |3886 | 60 | 21 | 20 | 51k|1631 | 0.000000e+00 | -- | Inf
23.79/23.80 c 23.8s|150000 | 64800 |411309 | 2.7 | 39M| 54 | - | 60 |3793 | 60 | 21 | 20 | 55k|1675 | 0.000000e+00 | -- | Inf
25.39/25.47 c 25.5s|160000 | 68633 |438903 | 2.7 | 41M| 54 | 7 | 60 |3724 | 60 | 21 | 20 | 59k|1711 | 0.000000e+00 | -- | Inf
27.09/27.14 c 27.1s|170000 | 72500 |466125 | 2.7 | 44M| 54 | - | 60 |3566 | 60 | 21 | 20 | 63k|1757 | 0.000000e+00 | -- | Inf
28.69/28.77 c 28.8s|180000 | 76565 |493724 | 2.7 | 46M| 54 | 7 | 60 |3754 | 60 | 21 | 20 | 67k|1799 | 0.000000e+00 | -- | Inf
30.39/30.47 c 30.5s|190000 | 80516 |521519 | 2.7 | 48M| 54 | - | 60 |3811 | 60 | 21 | 20 | 71k|1844 | 0.000000e+00 | -- | Inf
32.09/32.10 c 32.1s|200000 | 84751 |548433 | 2.7 | 51M| 54 | - | 60 |4121 | 60 | 21 | 20 | 74k|1886 | 0.000000e+00 | -- | Inf
33.69/33.78 c 33.8s|210000 | 88706 |575494 | 2.7 | 53M| 54 | 7 | 60 |3721 | 60 | 21 | 20 | 78k|1932 | 0.000000e+00 | -- | Inf
35.39/35.46 c 35.5s|220000 | 92573 |602725 | 2.7 | 56M| 54 | 7 | 60 |3829 | 60 | 21 | 20 | 82k|1978 | 0.000000e+00 | -- | Inf
37.08/37.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.08/37.12 c 37.1s|230000 | 96503 |629328 | 2.7 | 58M| 54 | - | 60 |4188 | 60 | 21 | 20 | 86k|2015 | 0.000000e+00 | -- | Inf
38.89/38.91 c 38.9s|240000 |100030 |656471 | 2.7 | 61M| 54 | - | 60 |3624 | 60 | 21 | 20 | 90k|2054 | 0.000000e+00 | -- | Inf
40.59/40.60 c 40.6s|250000 |103855 |683760 | 2.7 | 63M| 54 | 7 | 60 |3572 | 60 | 21 | 20 | 94k|2082 | 0.000000e+00 | -- | Inf
42.29/42.31 c 42.3s|260000 |107752 |711225 | 2.7 | 65M| 54 | 7 | 60 |3584 | 60 | 21 | 20 | 98k|2117 | 0.000000e+00 | -- | Inf
43.89/43.93 c 43.9s|270000 |111850 |739150 | 2.7 | 68M| 54 | - | 60 |4491 | 60 | 21 | 20 | 102k|2135 | 0.000000e+00 | -- | Inf
45.69/45.75 c 45.7s|280000 |115368 |766964 | 2.7 | 70M| 54 | - | 60 |3951 | 60 | 21 | 20 | 107k|2165 | 0.000000e+00 | -- | Inf
47.39/47.43 c 47.4s|290000 |119197 |794165 | 2.7 | 73M| 54 | 7 | 60 |3904 | 60 | 21 | 20 | 111k|2198 | 0.000000e+00 | -- | Inf
49.09/49.18 c 49.2s|300000 |122781 |821466 | 2.7 | 75M| 54 | 7 | 60 |3986 | 60 | 21 | 20 | 115k|2216 | 0.000000e+00 | -- | Inf
50.89/50.96 c 51.0s|310000 |126444 |848623 | 2.7 | 77M| 54 | 7 | 60 |3625 | 60 | 21 | 20 | 119k|2243 | 0.000000e+00 | -- | Inf
52.59/52.63 c 52.6s|320000 |130428 |875609 | 2.7 | 80M| 54 | - | 60 |3711 | 60 | 21 | 20 | 123k|2275 | 0.000000e+00 | -- | Inf
54.29/54.32 c 54.3s|330000 |134142 |902511 | 2.7 | 82M| 54 | 7 | 60 |3682 | 60 | 21 | 20 | 127k|2308 | 0.000000e+00 | -- | Inf
55.89/55.94 c 55.9s|340000 |138271 |929894 | 2.7 | 85M| 54 | - | 60 |4735 | 60 | 21 | 20 | 131k|2338 | 0.000000e+00 | -- | Inf
57.69/57.71 c 57.7s|350000 |142089 |957638 | 2.7 | 87M| 54 | 7 | 60 |4230 | 60 | 21 | 20 | 135k|2371 | 0.000000e+00 | -- | Inf
59.48/59.52 c 59.5s|360000 |145681 |984870 | 2.7 | 89M| 54 | 7 | 60 |3811 | 60 | 21 | 20 | 139k|2395 | 0.000000e+00 | -- | Inf
61.19/61.26 c 61.3s|370000 |149423 | 1011k| 2.7 | 92M| 54 | - | 60 |3752 | 60 | 21 | 20 | 143k|2420 | 0.000000e+00 | -- | Inf
62.88/62.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.88/62.93 c 62.9s|380000 |153367 | 1038k| 2.7 | 94M| 54 | 7 | 60 |4120 | 60 | 21 | 20 | 147k|2446 | 0.000000e+00 | -- | Inf
64.69/64.70 c 64.7s|390000 |157117 | 1066k| 2.7 | 96M| 54 | 7 | 60 |3707 | 60 | 21 | 20 | 151k|2470 | 0.000000e+00 | -- | Inf
66.29/66.35 c 66.3s|400000 |161087 | 1093k| 2.7 | 99M| 54 | 7 | 60 |4363 | 60 | 21 | 20 | 155k|2501 | 0.000000e+00 | -- | Inf
68.09/68.13 c 68.1s|410000 |164671 | 1119k| 2.7 | 101M| 54 | 7 | 60 |4072 | 60 | 21 | 20 | 159k|2526 | 0.000000e+00 | -- | Inf
69.88/69.91 c 69.9s|420000 |168441 | 1146k| 2.7 | 103M| 54 | 7 | 60 |4027 | 60 | 21 | 20 | 163k|2559 | 0.000000e+00 | -- | Inf
71.59/71.62 c 71.6s|430000 |172136 | 1173k| 2.7 | 106M| 54 | - | 60 |4325 | 60 | 21 | 20 | 167k|2577 | 0.000000e+00 | -- | Inf
73.29/73.37 c 73.4s|440000 |175683 | 1201k| 2.7 | 108M| 54 | - | 60 |4421 | 60 | 21 | 20 | 172k|2607 | 0.000000e+00 | -- | Inf
75.09/75.18 c 75.2s|450000 |179230 | 1228k| 2.7 | 110M| 54 | - | 60 |3986 | 60 | 21 | 20 | 176k|2641 | 0.000000e+00 | -- | Inf
76.89/76.98 c 77.0s|460000 |182815 | 1255k| 2.7 | 113M| 54 | 7 | 60 |4133 | 60 | 21 | 20 | 180k|2657 | 0.000000e+00 | -- | Inf
78.69/78.72 c 78.7s|470000 |186394 | 1282k| 2.7 | 115M| 54 | 7 | 60 |4057 | 60 | 21 | 20 | 184k|2674 | 0.000000e+00 | -- | Inf
80.39/80.41 c 80.4s|480000 |190103 | 1310k| 2.7 | 118M| 54 | 7 | 60 |4624 | 60 | 21 | 20 | 188k|2700 | 0.000000e+00 | -- | Inf
82.09/82.14 c 82.1s|490000 |193809 | 1337k| 2.7 | 120M| 54 | 7 | 60 |5005 | 60 | 21 | 20 | 192k|2712 | 0.000000e+00 | -- | Inf
83.89/83.90 c 83.9s|500000 |197328 | 1365k| 2.7 | 122M| 54 | - | 60 |4888 | 60 | 21 | 20 | 197k|2731 | 0.000000e+00 | -- | Inf
85.69/85.75 c 85.7s|510000 |200832 | 1392k| 2.7 | 124M| 54 | 7 | 60 |4280 | 60 | 21 | 20 | 201k|2747 | 0.000000e+00 | -- | Inf
87.39/87.47 c 87.5s|520000 |204515 | 1419k| 2.7 | 127M| 54 | - | 60 |4530 | 60 | 21 | 20 | 205k|2762 | 0.000000e+00 | -- | Inf
89.29/89.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.29/89.32 c 89.3s|530000 |207963 | 1446k| 2.7 | 129M| 54 | - | 60 |4480 | 60 | 21 | 20 | 209k|2780 | 0.000000e+00 | -- | Inf
91.09/91.12 c 91.1s|540000 |211449 | 1473k| 2.7 | 132M| 54 | - | 60 |4743 | 60 | 21 | 20 | 213k|2805 | 0.000000e+00 | -- | Inf
92.89/92.94 c 92.9s|550000 |214902 | 1500k| 2.7 | 134M| 54 | 7 | 60 |4972 | 60 | 21 | 20 | 218k|2819 | 0.000000e+00 | -- | Inf
94.69/94.73 c 94.7s|560000 |218570 | 1527k| 2.7 | 136M| 54 | 7 | 60 |4360 | 60 | 21 | 20 | 222k|2819 | 0.000000e+00 | -- | Inf
96.29/96.36 c 96.4s|570000 |222670 | 1553k| 2.7 | 139M| 54 | 7 | 60 |5573 | 60 | 21 | 20 | 226k|2822 | 0.000000e+00 | -- | Inf
98.19/98.26 c 98.3s|580000 |226073 | 1581k| 2.7 | 141M| 54 | 7 | 60 |4599 | 60 | 21 | 20 | 230k|2841 | 0.000000e+00 | -- | Inf
99.99/100.03 c 100s|590000 |229535 | 1608k| 2.7 | 143M| 54 | 7 | 60 |4583 | 60 | 21 | 20 | 234k|2855 | 0.000000e+00 | -- | Inf
101.79/101.84 c 102s|600000 |232926 | 1635k| 2.7 | 145M| 54 | 7 | 60 |4419 | 60 | 21 | 20 | 239k|2869 | 0.000000e+00 | -- | Inf
103.48/103.51 c 104s|610000 |236717 | 1662k| 2.7 | 148M| 54 | - | 60 |5108 | 60 | 21 | 20 | 243k|2886 | 0.000000e+00 | -- | Inf
105.29/105.37 c 105s|620000 |240236 | 1689k| 2.7 | 150M| 54 | 7 | 60 |3970 | 60 | 21 | 20 | 247k|2897 | 0.000000e+00 | -- | Inf
107.09/107.10 c 107s|630000 |243791 | 1716k| 2.7 | 152M| 54 | 7 | 60 |4113 | 60 | 21 | 20 | 251k|2915 | 0.000000e+00 | -- | Inf
108.90/108.97 c 109s|640000 |247113 | 1743k| 2.7 | 155M| 54 | 7 | 60 |4233 | 60 | 21 | 20 | 256k|2942 | 0.000000e+00 | -- | Inf
110.69/110.71 c 111s|650000 |250798 | 1769k| 2.7 | 157M| 54 | 7 | 60 |4354 | 60 | 21 | 20 | 260k|2965 | 0.000000e+00 | -- | Inf
112.39/112.45 c 112s|660000 |254501 | 1796k| 2.7 | 160M| 54 | 7 | 60 |4993 | 60 | 21 | 20 | 264k|2980 | 0.000000e+00 | -- | Inf
114.19/114.28 c 114s|670000 |257885 | 1824k| 2.7 | 162M| 54 | 7 | 60 |5306 | 60 | 21 | 20 | 268k|2995 | 0.000000e+00 | -- | Inf
115.99/116.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.99/116.01 c 116s|680000 |261600 | 1851k| 2.7 | 165M| 54 | - | 60 |6235 | 60 | 21 | 20 | 272k|3003 | 0.000000e+00 | -- | Inf
117.79/117.88 c 118s|690000 |265179 | 1878k| 2.7 | 167M| 54 | - | 60 |4848 | 60 | 21 | 20 | 276k|3009 | 0.000000e+00 | -- | Inf
119.69/119.72 c 120s|700000 |268646 | 1904k| 2.7 | 169M| 54 | 7 | 60 |4257 | 60 | 21 | 20 | 281k|3017 | 0.000000e+00 | -- | Inf
121.39/121.41 c 121s|710000 |272325 | 1932k| 2.7 | 171M| 54 | 7 | 60 |5399 | 60 | 21 | 20 | 285k|3035 | 0.000000e+00 | -- | Inf
123.19/123.21 c 123s|720000 |276033 | 1959k| 2.7 | 174M| 54 | 7 | 60 |5521 | 60 | 21 | 20 | 289k|3048 | 0.000000e+00 | -- | Inf
124.99/125.02 c 125s|730000 |279569 | 1986k| 2.7 | 176M| 54 | 7 | 60 |5595 | 60 | 21 | 20 | 293k|3048 | 0.000000e+00 | -- | Inf
126.79/126.86 c 127s|740000 |283104 | 2013k| 2.7 | 178M| 54 | - | 60 |4635 | 60 | 21 | 20 | 297k|3048 | 0.000000e+00 | -- | Inf
128.59/128.70 c 129s|750000 |286530 | 2040k| 2.7 | 180M| 54 | 7 | 60 |4743 | 60 | 21 | 20 | 302k|3048 | 0.000000e+00 | -- | Inf
130.49/130.54 c 131s|760000 |289928 | 2067k| 2.7 | 183M| 54 | 7 | 60 |5011 | 60 | 21 | 20 | 306k|3048 | 0.000000e+00 | -- | Inf
132.39/132.40 c 132s|770000 |293275 | 2094k| 2.7 | 185M| 54 | 7 | 60 |5316 | 60 | 21 | 20 | 310k|3048 | 0.000000e+00 | -- | Inf
134.19/134.27 c 134s|780000 |296615 | 2121k| 2.7 | 187M| 54 | 7 | 60 |4943 | 60 | 21 | 20 | 315k|3052 | 0.000000e+00 | -- | Inf
136.09/136.14 c 136s|790000 |299858 | 2149k| 2.7 | 190M| 54 | 7 | 60 |4914 | 60 | 21 | 20 | 319k|3064 | 0.000000e+00 | -- | Inf
137.99/138.05 c 138s|800000 |303338 | 2175k| 2.7 | 192M| 54 | 7 | 60 |4625 | 60 | 21 | 20 | 323k|3080 | 0.000000e+00 | -- | Inf
139.79/139.81 c 140s|810000 |306912 | 2202k| 2.7 | 194M| 54 | 7 | 60 |4920 | 60 | 21 | 20 | 328k|3089 | 0.000000e+00 | -- | Inf
141.59/141.67 c 142s|820000 |310075 | 2229k| 2.7 | 196M| 54 | 7 | 60 |4816 | 60 | 21 | 20 | 332k|3089 | 0.000000e+00 | -- | Inf
143.39/143.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.39/143.43 c 143s|830000 |313635 | 2257k| 2.7 | 199M| 54 | - | 60 |5403 | 60 | 21 | 20 | 336k|3097 | 0.000000e+00 | -- | Inf
145.29/145.33 c 145s|840000 |316636 | 2284k| 2.7 | 201M| 54 | - | 60 |5487 | 0 | 0 | 20 | 341k|3111 | 0.000000e+00 | -- | Inf
147.19/147.20 c 147s|850000 |319794 | 2311k| 2.7 | 204M| 54 | 7 | 60 |6042 | 60 | 21 | 20 | 346k|3121 | 0.000000e+00 | -- | Inf
149.19/149.20 c 149s|860000 |323093 | 2337k| 2.7 | 206M| 54 | 7 | 60 |5065 | 60 | 21 | 20 | 350k|3128 | 0.000000e+00 | -- | Inf
150.99/151.06 c 151s|870000 |326510 | 2365k| 2.7 | 208M| 54 | 7 | 60 |5339 | 60 | 21 | 20 | 355k|3132 | 0.000000e+00 | -- | Inf
152.89/152.92 c 153s|880000 |329912 | 2392k| 2.7 | 210M| 54 | - | 60 |4797 | 60 | 21 | 20 | 359k|3152 | 0.000000e+00 | -- | Inf
154.79/154.81 c 155s|890000 |333255 | 2419k| 2.7 | 212M| 54 | 7 | 60 |4894 | 60 | 21 | 20 | 363k|3164 | 0.000000e+00 | -- | Inf
156.69/156.74 c 157s|900000 |336467 | 2445k| 2.7 | 215M| 54 | - | 60 |5183 | 60 | 21 | 20 | 368k|3173 | 0.000000e+00 | -- | Inf
158.59/158.64 c 159s|910000 |339705 | 2473k| 2.7 | 217M| 54 | 7 | 60 |5145 | 60 | 21 | 20 | 372k|3179 | 0.000000e+00 | -- | Inf
160.39/160.43 c 160s|920000 |342969 | 2500k| 2.7 | 219M| 54 | 7 | 60 |5755 | 60 | 21 | 20 | 377k|3188 | 0.000000e+00 | -- | Inf
162.19/162.29 c 162s|930000 |346406 | 2527k| 2.7 | 221M| 54 | 7 | 60 |5323 | 60 | 21 | 20 | 381k|3195 | 0.000000e+00 | -- | Inf
163.99/164.01 c 164s|940000 |349637 | 2556k| 2.7 | 224M| 54 | 7 | 60 |7667 | 60 | 21 | 20 | 386k|3198 | 0.000000e+00 | -- | Inf
166.00/166.00 c 166s|950000 |352576 | 2583k| 2.7 | 226M| 54 | 7 | 60 |6753 | 60 | 21 | 20 | 391k|3201 | 0.000000e+00 | -- | Inf
167.89/167.98 c 168s|960000 |355937 | 2610k| 2.7 | 228M| 54 | 7 | 60 |6076 | 60 | 21 | 20 | 395k|3207 | 0.000000e+00 | -- | Inf
169.79/169.82 c 170s|970000 |359178 | 2638k| 2.7 | 231M| 54 | 7 | 60 |6178 | 60 | 21 | 20 | 400k|3207 | 0.000000e+00 | -- | Inf
171.60/171.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.60/171.68 c 172s|980000 |362160 | 2666k| 2.7 | 233M| 54 | 7 | 60 |6298 | 60 | 21 | 20 | 404k|3207 | 0.000000e+00 | -- | Inf
173.70/173.72 c 174s|990000 |365216 | 2693k| 2.7 | 235M| 54 | - | 60 |5355 | 60 | 21 | 20 | 409k|3215 | 0.000000e+00 | -- | Inf
175.49/175.59 c 176s| 1000k|368314 | 2721k| 2.7 | 237M| 54 | 7 | 60 |6201 | 60 | 21 | 20 | 413k|3218 | 0.000000e+00 | -- | Inf
177.29/177.38 c 177s| 1010k|371712 | 2749k| 2.7 | 240M| 54 | 7 | 60 |6286 | 60 | 21 | 20 | 418k|3232 | 0.000000e+00 | -- | Inf
179.20/179.27 c 179s| 1020k|374564 | 2777k| 2.7 | 242M| 54 | 7 | 60 |6290 | 60 | 21 | 20 | 423k|3237 | 0.000000e+00 | -- | Inf
181.09/181.19 c 181s| 1030k|377779 | 2804k| 2.7 | 244M| 54 | 7 | 60 |6413 | 60 | 21 | 20 | 427k|3237 | 0.000000e+00 | -- | Inf
183.09/183.18 c 183s| 1040k|381009 | 2831k| 2.7 | 246M| 54 | 7 | 60 |5710 | 60 | 21 | 20 | 432k|3245 | 0.000000e+00 | -- | Inf
185.09/185.13 c 185s| 1050k|384240 | 2858k| 2.7 | 249M| 54 | 7 | 60 |5538 | 60 | 21 | 20 | 436k|3245 | 0.000000e+00 | -- | Inf
186.90/186.98 c 187s| 1060k|387313 | 2886k| 2.7 | 251M| 54 | - | 60 |6395 | 60 | 21 | 20 | 441k|3247 | 0.000000e+00 | -- | Inf
188.89/188.95 c 189s| 1070k|390283 | 2914k| 2.7 | 253M| 54 | 7 | 60 |5861 | 60 | 21 | 20 | 445k|3251 | 0.000000e+00 | -- | Inf
190.89/190.93 c 191s| 1080k|393484 | 2941k| 2.7 | 255M| 54 | 7 | 60 |5616 | 60 | 21 | 20 | 450k|3253 | 0.000000e+00 | -- | Inf
192.79/192.84 c 193s| 1090k|396868 | 2967k| 2.7 | 257M| 54 | - | 60 |4929 | 60 | 21 | 20 | 454k|3254 | 0.000000e+00 | -- | Inf
194.70/194.73 c 195s| 1100k|400103 | 2994k| 2.7 | 260M| 54 | 7 | 60 |5557 | 60 | 21 | 20 | 459k|3256 | 0.000000e+00 | -- | Inf
196.59/196.63 c 197s| 1110k|403297 | 3020k| 2.7 | 262M| 54 | 7 | 60 |6134 | 60 | 21 | 20 | 463k|3256 | 0.000000e+00 | -- | Inf
198.59/198.65 c 199s| 1120k|406562 | 3047k| 2.7 | 264M| 54 | 7 | 60 |5407 | 60 | 21 | 20 | 467k|3259 | 0.000000e+00 | -- | Inf
200.40/200.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
200.40/200.48 c 200s| 1130k|409818 | 3074k| 2.7 | 267M| 54 | - | 60 |6357 | 60 | 21 | 20 | 472k|3261 | 0.000000e+00 | -- | Inf
202.40/202.44 c 202s| 1140k|413002 | 3102k| 2.7 | 269M| 54 | 7 | 60 |6211 | 60 | 21 | 20 | 477k|3271 | 0.000000e+00 | -- | Inf
204.39/204.44 c 204s| 1150k|416021 | 3128k| 2.7 | 271M| 54 | 7 | 60 |5702 | 60 | 21 | 20 | 481k|3277 | 0.000000e+00 | -- | Inf
206.29/206.31 c 206s| 1160k|419292 | 3155k| 2.7 | 273M| 54 | 7 | 60 |6060 | 60 | 21 | 20 | 486k|3278 | 0.000000e+00 | -- | Inf
208.30/208.33 c 208s| 1170k|422698 | 3182k| 2.7 | 275M| 54 | - | 60 |5531 | 60 | 21 | 20 | 490k|3282 | 0.000000e+00 | -- | Inf
210.29/210.33 c 210s| 1180k|425969 | 3209k| 2.7 | 278M| 54 | 7 | 60 |5299 | 60 | 21 | 20 | 494k|3284 | 0.000000e+00 | -- | Inf
212.20/212.29 c 212s| 1190k|429302 | 3235k| 2.7 | 280M| 54 | 7 | 60 |4385 | 60 | 21 | 20 | 499k|3285 | 0.000000e+00 | -- | Inf
214.09/214.15 c 214s| 1200k|432474 | 3262k| 2.7 | 282M| 54 | 7 | 60 |5659 | 60 | 21 | 20 | 503k|3287 | 0.000000e+00 | -- | Inf
215.99/216.05 c 216s| 1210k|435650 | 3290k| 2.7 | 284M| 54 | 7 | 60 |5611 | 60 | 21 | 20 | 508k|3288 | 0.000000e+00 | -- | Inf
217.90/217.96 c 218s| 1220k|438705 | 3316k| 2.7 | 287M| 54 | 7 | 60 |6350 | 60 | 21 | 20 | 512k|3288 | 0.000000e+00 | -- | Inf
219.90/219.96 c 220s| 1230k|441889 | 3344k| 2.7 | 289M| 54 | 7 | 60 |5589 | 60 | 21 | 20 | 517k|3292 | 0.000000e+00 | -- | Inf
221.79/221.90 c 222s| 1240k|445179 | 3370k| 2.7 | 291M| 54 | - | 60 |5152 | 60 | 21 | 20 | 521k|3293 | 0.000000e+00 | -- | Inf
223.59/223.65 c 224s| 1250k|449001 | 3397k| 2.7 | 294M| 54 | - | 60 |6146 | 60 | 21 | 20 | 525k|3293 | 0.000000e+00 | -- | Inf
225.39/225.46 c 225s| 1260k|452264 | 3423k| 2.7 | 296M| 54 | 7 | 60 |6944 | 60 | 21 | 20 | 530k|3295 | 0.000000e+00 | -- | Inf
227.50/227.53 c 228s| 1270k|455341 | 3450k| 2.7 | 298M| 54 | - | 60 |5344 | 60 | 21 | 20 | 534k|3299 | 0.000000e+00 | -- | Inf
229.50/229.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.50/229.50 c 229s| 1280k|458402 | 3477k| 2.7 | 300M| 54 | 7 | 60 |4938 | 60 | 21 | 20 | 539k|3303 | 0.000000e+00 | -- | Inf
231.29/231.30 c 231s| 1290k|461253 | 3505k| 2.7 | 303M| 54 | 7 | 60 |6050 | 60 | 21 | 20 | 544k|3305 | 0.000000e+00 | -- | Inf
232.99/233.05 c 233s| 1300k|464397 | 3533k| 2.7 | 305M| 54 | 7 | 60 |8164 | 60 | 21 | 20 | 548k|3305 | 0.000000e+00 | -- | Inf
234.89/234.92 c 235s| 1310k|467667 | 3561k| 2.7 | 307M| 54 | - | 60 |8010 | 60 | 21 | 20 | 553k|3306 | 0.000000e+00 | -- | Inf
236.79/236.83 c 237s| 1320k|471016 | 3587k| 2.7 | 310M| 54 | - | 60 |7169 | 60 | 21 | 20 | 557k|3325 | 0.000000e+00 | -- | Inf
238.79/238.84 c 239s| 1330k|474227 | 3613k| 2.7 | 312M| 54 | - | 60 |6011 | 60 | 21 | 20 | 562k|3326 | 0.000000e+00 | -- | Inf
240.69/240.73 c 241s| 1340k|477265 | 3642k| 2.7 | 314M| 54 | 7 | 60 |6364 | 60 | 21 | 20 | 566k|3335 | 0.000000e+00 | -- | Inf
242.50/242.59 c 243s| 1350k|480347 | 3670k| 2.7 | 316M| 54 | 7 | 60 |7363 | 60 | 21 | 20 | 571k|3342 | 0.000000e+00 | -- | Inf
244.39/244.47 c 244s| 1360k|483584 | 3699k| 2.7 | 319M| 54 | - | 60 |7768 | 60 | 21 | 20 | 576k|3343 | 0.000000e+00 | -- | Inf
246.30/246.37 c 246s| 1370k|486663 | 3727k| 2.7 | 321M| 54 | 7 | 60 |9100 | 60 | 21 | 20 | 580k|3343 | 0.000000e+00 | -- | Inf
248.49/248.56 c 249s| 1380k|489427 | 3755k| 2.7 | 323M| 54 | - | 60 |7520 | 60 | 21 | 20 | 585k|3343 | 0.000000e+00 | -- | Inf
250.69/250.75 c 251s| 1390k|492534 | 3782k| 2.7 | 325M| 54 | - | 60 |5256 | 60 | 21 | 20 | 589k|3351 | 0.000000e+00 | -- | Inf
252.60/252.61 c 253s| 1400k|495881 | 3809k| 2.7 | 327M| 54 | 7 | 60 |5879 | 60 | 21 | 20 | 594k|3353 | 0.000000e+00 | -- | Inf
254.69/254.75 c 255s| 1410k|498780 | 3836k| 2.7 | 329M| 54 | 7 | 60 |4568 | 60 | 21 | 20 | 599k|3361 | 0.000000e+00 | -- | Inf
256.49/256.59 c 257s| 1420k|502123 | 3863k| 2.7 | 332M| 54 | 7 | 60 |5393 | 60 | 21 | 20 | 603k|3380 | 0.000000e+00 | -- | Inf
258.39/258.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
258.39/258.50 c 259s| 1430k|505265 | 3889k| 2.7 | 334M| 54 | 7 | 60 |5093 | 60 | 21 | 20 | 607k|3381 | 0.000000e+00 | -- | Inf
260.49/260.58 c 261s| 1440k|508297 | 3916k| 2.7 | 336M| 54 | - | 60 |5007 | 60 | 21 | 20 | 612k|3383 | 0.000000e+00 | -- | Inf
262.49/262.59 c 263s| 1450k|511471 | 3943k| 2.7 | 338M| 54 | - | 60 |5304 | 60 | 21 | 20 | 616k|3388 | 0.000000e+00 | -- | Inf
264.49/264.54 c 265s| 1460k|514758 | 3970k| 2.7 | 340M| 54 | 7 | 60 |4851 | 60 | 21 | 20 | 621k|3389 | 0.000000e+00 | -- | Inf
266.39/266.44 c 266s| 1470k|517908 | 3997k| 2.7 | 343M| 54 | 7 | 60 |5570 | 60 | 21 | 20 | 625k|3394 | 0.000000e+00 | -- | Inf
268.30/268.32 c 268s| 1480k|521217 | 4023k| 2.7 | 345M| 54 | - | 60 |6597 | 60 | 21 | 20 | 630k|3394 | 0.000000e+00 | -- | Inf
270.19/270.25 c 270s| 1490k|524563 | 4050k| 2.7 | 347M| 54 | 7 | 60 |5373 | 60 | 21 | 20 | 634k|3400 | 0.000000e+00 | -- | Inf
271.99/272.08 c 272s| 1500k|527350 | 4081k| 2.7 | 350M| 54 | 7 | 60 |6445 | 60 | 21 | 20 | 639k|3400 | 0.000000e+00 | -- | Inf
273.99/274.01 c 274s| 1510k|529978 | 4112k| 2.7 | 352M| 54 | 7 | 60 |6680 | 60 | 21 | 20 | 644k|3400 | 0.000000e+00 | -- | Inf
275.79/275.88 c 276s| 1520k|532950 | 4142k| 2.7 | 354M| 54 | 7 | 60 |7900 | 60 | 21 | 20 | 649k|3411 | 0.000000e+00 | -- | Inf
277.89/277.91 c 278s| 1530k|536220 | 4169k| 2.7 | 356M| 54 | - | 60 |6288 | 60 | 21 | 20 | 654k|3411 | 0.000000e+00 | -- | Inf
279.89/279.95 c 280s| 1540k|539499 | 4195k| 2.7 | 358M| 54 | - | 60 |5143 | 60 | 21 | 20 | 658k|3411 | 0.000000e+00 | -- | Inf
281.79/281.87 c 282s| 1550k|542729 | 4222k| 2.7 | 360M| 54 | - | 60 |5090 | 60 | 21 | 20 | 662k|3411 | 0.000000e+00 | -- | Inf
283.80/283.81 c 284s| 1560k|545808 | 4249k| 2.7 | 363M| 54 | 7 | 60 |5438 | 60 | 21 | 20 | 667k|3411 | 0.000000e+00 | -- | Inf
285.79/285.86 c 286s| 1570k|548869 | 4276k| 2.7 | 365M| 54 | 7 | 60 |4901 | 60 | 21 | 20 | 672k|3411 | 0.000000e+00 | -- | Inf
287.69/287.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.69/287.72 c 288s| 1580k|551733 | 4305k| 2.7 | 368M| 54 | 7 | 60 |7004 | 60 | 21 | 20 | 677k|3411 | 0.000000e+00 | -- | Inf
289.79/289.85 c 290s| 1590k|554485 | 4332k| 2.7 | 369M| 54 | 7 | 60 |5669 | 60 | 21 | 20 | 681k|3422 | 0.000000e+00 | -- | Inf
291.79/291.81 c 292s| 1600k|557490 | 4359k| 2.7 | 372M| 54 | 7 | 60 |5743 | 60 | 21 | 20 | 686k|3429 | 0.000000e+00 | -- | Inf
293.70/293.76 c 294s| 1610k|560658 | 4386k| 2.7 | 374M| 54 | 7 | 60 |6572 | 60 | 21 | 20 | 690k|3437 | 0.000000e+00 | -- | Inf
295.69/295.80 c 296s| 1620k|563908 | 4413k| 2.7 | 376M| 54 | - | 60 |6210 | 60 | 21 | 20 | 695k|3440 | 0.000000e+00 | -- | Inf
297.79/297.80 c 298s| 1630k|567033 | 4440k| 2.7 | 378M| 54 | - | 60 |5821 | 60 | 21 | 20 | 699k|3445 | 0.000000e+00 | -- | Inf
299.78/299.85 c 300s| 1640k|570065 | 4466k| 2.7 | 380M| 54 | - | 60 |5565 | 60 | 21 | 20 | 704k|3448 | 0.000000e+00 | -- | Inf
301.69/301.73 c 302s| 1650k|573358 | 4494k| 2.7 | 383M| 54 | 7 | 60 |6219 | 60 | 21 | 20 | 709k|3450 | 0.000000e+00 | -- | Inf
303.59/303.70 c 304s| 1660k|576262 | 4522k| 2.7 | 385M| 54 | - | 60 |6623 | 60 | 21 | 20 | 713k|3457 | 0.000000e+00 | -- | Inf
305.59/305.64 c 306s| 1670k|579320 | 4549k| 2.7 | 387M| 54 | 7 | 60 |6920 | 60 | 21 | 20 | 718k|3460 | 0.000000e+00 | -- | Inf
307.69/307.77 c 308s| 1680k|582459 | 4575k| 2.7 | 389M| 54 | 7 | 60 |5309 | 60 | 21 | 20 | 722k|3465 | 0.000000e+00 | -- | Inf
309.59/309.69 c 310s| 1690k|585864 | 4602k| 2.7 | 392M| 54 | - | 60 |5797 | 60 | 21 | 20 | 727k|3473 | 0.000000e+00 | -- | Inf
311.69/311.74 c 312s| 1700k|588879 | 4629k| 2.7 | 394M| 54 | 7 | 60 |5568 | 60 | 21 | 20 | 732k|3484 | 0.000000e+00 | -- | Inf
313.69/313.74 c 314s| 1710k|591951 | 4656k| 2.7 | 396M| 54 | 7 | 60 |5957 | 60 | 21 | 20 | 736k|3491 | 0.000000e+00 | -- | Inf
315.70/315.78 c 316s| 1720k|594733 | 4684k| 2.7 | 398M| 54 | - | 60 |5845 | 60 | 21 | 20 | 741k|3498 | 0.000000e+00 | -- | Inf
317.79/317.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
317.79/317.85 c 318s| 1730k|597806 | 4711k| 2.7 | 400M| 54 | 7 | 60 |5175 | 60 | 21 | 20 | 746k|3498 | 0.000000e+00 | -- | Inf
319.59/319.67 c 320s| 1740k|600487 | 4739k| 2.7 | 403M| 54 | 7 | 60 |7104 | 60 | 21 | 20 | 751k|3498 | 0.000000e+00 | -- | Inf
321.59/321.62 c 322s| 1750k|603134 | 4767k| 2.7 | 405M| 54 | 7 | 60 |6723 | 60 | 21 | 20 | 756k|3501 | 0.000000e+00 | -- | Inf
323.58/323.60 c 324s| 1760k|605849 | 4794k| 2.7 | 407M| 54 | 7 | 60 |7247 | 60 | 21 | 20 | 761k|3506 | 0.000000e+00 | -- | Inf
325.60/325.65 c 326s| 1770k|608987 | 4820k| 2.7 | 409M| 54 | 7 | 60 |6403 | 60 | 21 | 20 | 765k|3506 | 0.000000e+00 | -- | Inf
327.59/327.68 c 328s| 1780k|612216 | 4847k| 2.7 | 411M| 54 | - | 60 |6221 | 60 | 21 | 20 | 770k|3507 | 0.000000e+00 | -- | Inf
329.68/329.72 c 330s| 1790k|615071 | 4874k| 2.7 | 413M| 54 | 7 | 60 |5739 | 60 | 21 | 20 | 774k|3507 | 0.000000e+00 | -- | Inf
331.69/331.75 c 332s| 1800k|618026 | 4901k| 2.7 | 416M| 54 | 7 | 60 |5508 | 60 | 21 | 20 | 779k|3508 | 0.000000e+00 | -- | Inf
333.49/333.53 c 334s| 1810k|621641 | 4930k| 2.7 | 418M| 54 | 7 | 60 |7290 | 60 | 21 | 20 | 783k|3509 | 0.000000e+00 | -- | Inf
335.28/335.40 c 335s| 1820k|625078 | 4958k| 2.7 | 421M| 54 | 7 | 60 |8164 | 60 | 21 | 20 | 788k|3509 | 0.000000e+00 | -- | Inf
337.29/337.32 c 337s| 1830k|628487 | 4985k| 2.7 | 423M| 54 | 7 | 60 |9119 | 60 | 21 | 20 | 792k|3509 | 0.000000e+00 | -- | Inf
339.59/339.60 c 340s| 1840k|631438 | 5012k| 2.7 | 425M| 54 | 7 | 60 |7127 | 60 | 21 | 20 | 797k|3515 | 0.000000e+00 | -- | Inf
341.69/341.74 c 342s| 1850k|634557 | 5038k| 2.7 | 427M| 54 | 7 | 60 |6617 | 60 | 21 | 20 | 801k|3521 | 0.000000e+00 | -- | Inf
343.69/343.72 c 344s| 1860k|637396 | 5069k| 2.7 | 429M| 54 | - | 60 |6937 | 60 | 21 | 20 | 806k|3531 | 0.000000e+00 | -- | Inf
345.79/345.84 c 346s| 1870k|639731 | 5098k| 2.7 | 431M| 54 | 7 | 60 |6945 | 60 | 21 | 20 | 812k|3531 | 0.000000e+00 | -- | Inf
347.89/347.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
347.89/347.98 c 348s| 1880k|642748 | 5125k| 2.7 | 433M| 54 | - | 60 |5550 | 60 | 21 | 20 | 816k|3531 | 0.000000e+00 | -- | Inf
349.80/349.89 c 350s| 1890k|645250 | 5153k| 2.7 | 435M| 54 | 7 | 60 |5377 | 60 | 21 | 20 | 821k|3531 | 0.000000e+00 | -- | Inf
351.89/351.98 c 352s| 1900k|648309 | 5180k| 2.7 | 437M| 54 | 7 | 60 |4952 | 60 | 21 | 20 | 826k|3531 | 0.000000e+00 | -- | Inf
353.79/353.84 c 354s| 1910k|651445 | 5207k| 2.7 | 440M| 54 | 7 | 60 |6221 | 60 | 21 | 20 | 831k|3531 | 0.000000e+00 | -- | Inf
355.89/355.92 c 356s| 1920k|654448 | 5234k| 2.7 | 442M| 54 | 7 | 60 |5447 | 60 | 21 | 20 | 835k|3531 | 0.000000e+00 | -- | Inf
357.89/357.96 c 358s| 1930k|657414 | 5260k| 2.7 | 444M| 54 | 7 | 60 |5465 | 60 | 21 | 20 | 840k|3531 | 0.000000e+00 | -- | Inf
359.89/359.92 c 360s| 1940k|660485 | 5287k| 2.7 | 447M| 54 | - | 60 |6183 | 60 | 21 | 20 | 844k|3531 | 0.000000e+00 | -- | Inf
361.79/361.84 c 362s| 1950k|663658 | 5314k| 2.7 | 449M| 54 | - | 60 |6654 | 60 | 21 | 20 | 849k|3531 | 0.000000e+00 | -- | Inf
363.69/363.80 c 364s| 1960k|666506 | 5342k| 2.7 | 451M| 54 | 7 | 60 |6753 | 60 | 21 | 20 | 854k|3531 | 0.000000e+00 | -- | Inf
365.79/365.89 c 366s| 1970k|669514 | 5369k| 2.7 | 453M| 54 | - | 60 |6375 | 60 | 21 | 20 | 859k|3531 | 0.000000e+00 | -- | Inf
367.79/367.80 c 368s| 1980k|673120 | 5395k| 2.7 | 456M| 54 | - | 60 |7079 | 60 | 21 | 20 | 863k|3531 | 0.000000e+00 | -- | Inf
369.60/369.69 c 370s| 1990k|676251 | 5422k| 2.7 | 458M| 54 | 7 | 60 |8062 | 60 | 21 | 20 | 868k|3531 | 0.000000e+00 | -- | Inf
371.89/371.93 c 372s| 2000k|679244 | 5449k| 2.7 | 460M| 54 | 7 | 60 |6529 | 60 | 21 | 20 | 872k|3531 | 0.000000e+00 | -- | Inf
374.00/374.06 c 374s| 2010k|682299 | 5475k| 2.7 | 462M| 54 | 7 | 60 |5903 | 60 | 21 | 20 | 877k|3531 | 0.000000e+00 | -- | Inf
375.99/376.02 c 376s| 2020k|685214 | 5503k| 2.7 | 465M| 54 | - | 60 |7306 | 60 | 21 | 20 | 882k|3531 | 0.000000e+00 | -- | Inf
378.09/378.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
378.09/378.11 c 378s| 2030k|688262 | 5530k| 2.7 | 467M| 54 | - | 60 |6512 | 60 | 21 | 20 | 886k|3531 | 0.000000e+00 | -- | Inf
379.99/380.01 c 380s| 2040k|691440 | 5559k| 2.7 | 469M| 54 | - | 60 |8520 | 60 | 21 | 20 | 891k|3531 | 0.000000e+00 | -- | Inf
382.09/382.17 c 382s| 2050k|694191 | 5586k| 2.7 | 471M| 54 | 7 | 60 |8629 | 60 | 21 | 20 | 896k|3531 | 0.000000e+00 | -- | Inf
384.39/384.40 c 384s| 2060k|696943 | 5614k| 2.7 | 474M| 54 | 7 | 60 |8604 | 60 | 21 | 20 | 901k|3531 | 0.000000e+00 | -- | Inf
386.59/386.61 c 387s| 2070k|699942 | 5640k| 2.7 | 475M| 54 | - | 60 |7265 | 60 | 21 | 20 | 906k|3531 | 0.000000e+00 | -- | Inf
388.59/388.66 c 389s| 2080k|703009 | 5668k| 2.7 | 478M| 54 | 7 | 60 |7098 | 60 | 21 | 20 | 910k|3531 | 0.000000e+00 | -- | Inf
390.79/390.89 c 391s| 2090k|706036 | 5694k| 2.7 | 480M| 54 | 7 | 60 |5751 | 60 | 21 | 20 | 915k|3531 | 0.000000e+00 | -- | Inf
392.89/392.91 c 393s| 2100k|709057 | 5721k| 2.7 | 482M| 54 | 7 | 60 |6076 | 60 | 21 | 20 | 919k|3531 | 0.000000e+00 | -- | Inf
394.99/395.01 c 395s| 2110k|711953 | 5748k| 2.7 | 484M| 54 | 7 | 60 |5532 | 60 | 21 | 20 | 924k|3531 | 0.000000e+00 | -- | Inf
396.89/396.96 c 397s| 2120k|714849 | 5775k| 2.7 | 486M| 54 | 7 | 60 |6004 | 60 | 21 | 20 | 929k|3531 | 0.000000e+00 | -- | Inf
398.89/398.99 c 399s| 2130k|717831 | 5802k| 2.7 | 488M| 54 | 7 | 60 |6417 | 60 | 21 | 20 | 934k|3531 | 0.000000e+00 | -- | Inf
401.19/401.20 c 401s| 2140k|720717 | 5828k| 2.7 | 490M| 54 | - | 60 |5599 | 60 | 21 | 20 | 938k|3531 | 0.000000e+00 | -- | Inf
403.29/403.35 c 403s| 2150k|723611 | 5855k| 2.7 | 493M| 54 | 7 | 60 |5059 | 60 | 21 | 20 | 943k|3531 | 0.000000e+00 | -- | Inf
405.39/405.49 c 405s| 2160k|726435 | 5882k| 2.7 | 495M| 54 | 7 | 60 |5399 | 60 | 21 | 20 | 948k|3531 | 0.000000e+00 | -- | Inf
407.39/407.43 c 407s| 2170k|729226 | 5909k| 2.7 | 497M| 54 | - | 60 |6621 | 60 | 21 | 20 | 953k|3531 | 0.000000e+00 | -- | Inf
409.49/409.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.49/409.57 c 410s| 2180k|731947 | 5936k| 2.7 | 499M| 54 | - | 60 |6511 | 60 | 21 | 20 | 957k|3531 | 0.000000e+00 | -- | Inf
411.69/411.73 c 412s| 2190k|734976 | 5962k| 2.7 | 501M| 54 | 7 | 60 |5860 | 60 | 21 | 20 | 962k|3531 | 0.000000e+00 | -- | Inf
413.79/413.89 c 414s| 2200k|737956 | 5988k| 2.7 | 503M| 54 | - | 60 |5191 | 60 | 21 | 20 | 967k|3531 | 0.000000e+00 | -- | Inf
415.90/415.96 c 416s| 2210k|740864 | 6015k| 2.7 | 506M| 54 | 7 | 60 |5372 | 60 | 21 | 20 | 971k|3531 | 0.000000e+00 | -- | Inf
417.90/417.90 c 418s| 2220k|743677 | 6043k| 2.7 | 508M| 54 | - | 60 |6453 | 60 | 21 | 20 | 976k|3531 | 0.000000e+00 | -- | Inf
419.89/419.94 c 420s| 2230k|746936 | 6069k| 2.7 | 510M| 54 | - | 60 |6091 | 60 | 21 | 20 | 981k|3531 | 0.000000e+00 | -- | Inf
421.89/421.92 c 422s| 2240k|750216 | 6095k| 2.7 | 512M| 54 | - | 60 |6083 | 60 | 21 | 20 | 985k|3531 | 0.000000e+00 | -- | Inf
423.90/423.91 c 424s| 2250k|753307 | 6122k| 2.7 | 515M| 54 | - | 60 |6310 | 60 | 21 | 20 | 990k|3531 | 0.000000e+00 | -- | Inf
425.89/425.99 c 426s| 2260k|756234 | 6149k| 2.7 | 517M| 54 | 7 | 60 |5393 | 60 | 21 | 20 | 994k|3533 | 0.000000e+00 | -- | Inf
428.00/428.04 c 428s| 2270k|759311 | 6176k| 2.7 | 519M| 54 | 7 | 60 |5228 | 60 | 21 | 20 | 999k|3536 | 0.000000e+00 | -- | Inf
430.10/430.11 c 430s| 2280k|762299 | 6203k| 2.7 | 521M| 54 | 7 | 60 |5466 | 60 | 21 | 20 |1004k|3541 | 0.000000e+00 | -- | Inf
432.09/432.18 c 432s| 2290k|765111 | 6229k| 2.7 | 523M| 54 | 7 | 60 |6016 | 60 | 21 | 20 |1008k|3552 | 0.000000e+00 | -- | Inf
434.30/434.38 c 434s| 2300k|768023 | 6256k| 2.7 | 525M| 54 | 7 | 60 |5004 | 60 | 21 | 20 |1013k|3559 | 0.000000e+00 | -- | Inf
436.29/436.39 c 436s| 2310k|771058 | 6282k| 2.7 | 528M| 54 | 7 | 60 |5262 | 60 | 21 | 20 |1018k|3565 | 0.000000e+00 | -- | Inf
438.20/438.23 c 438s| 2320k|774342 | 6309k| 2.7 | 530M| 54 | 7 | 60 |6514 | 60 | 21 | 20 |1022k|3570 | 0.000000e+00 | -- | Inf
440.29/440.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
440.29/440.34 c 440s| 2330k|777288 | 6335k| 2.7 | 532M| 54 | - | 60 |6033 | 60 | 21 | 20 |1027k|3583 | 0.000000e+00 | -- | Inf
442.49/442.50 c 442s| 2340k|779928 | 6362k| 2.7 | 534M| 54 | 7 | 60 |5670 | 60 | 21 | 20 |1032k|3591 | 0.000000e+00 | -- | Inf
444.49/444.50 c 444s| 2350k|782852 | 6390k| 2.7 | 537M| 54 | 7 | 60 |7118 | 60 | 21 | 20 |1037k|3597 | 0.000000e+00 | -- | Inf
446.60/446.65 c 447s| 2360k|785718 | 6417k| 2.7 | 539M| 54 | 7 | 60 |6405 | 60 | 21 | 20 |1041k|3599 | 0.000000e+00 | -- | Inf
448.70/448.78 c 449s| 2370k|788541 | 6444k| 2.7 | 541M| 54 | 7 | 60 |5784 | 60 | 21 | 20 |1046k|3603 | 0.000000e+00 | -- | Inf
450.80/450.90 c 451s| 2380k|791521 | 6471k| 2.7 | 543M| 54 | 7 | 60 |5564 | 60 | 21 | 20 |1051k|3607 | 0.000000e+00 | -- | Inf
452.79/452.90 c 453s| 2390k|794635 | 6498k| 2.7 | 545M| 54 | 7 | 60 |5764 | 60 | 21 | 20 |1055k|3612 | 0.000000e+00 | -- | Inf
454.79/454.86 c 455s| 2400k|797600 | 6525k| 2.7 | 547M| 54 | 7 | 60 |6249 | 60 | 21 | 20 |1060k|3612 | 0.000000e+00 | -- | Inf
456.90/456.97 c 457s| 2410k|800360 | 6553k| 2.7 | 549M| 54 | 7 | 60 |6162 | 60 | 21 | 20 |1065k|3612 | 0.000000e+00 | -- | Inf
459.09/459.10 c 459s| 2420k|803417 | 6580k| 2.7 | 552M| 54 | 7 | 60 |5516 | 60 | 21 | 20 |1069k|3612 | 0.000000e+00 | -- | Inf
461.09/461.13 c 461s| 2430k|806186 | 6607k| 2.7 | 554M| 54 | 7 | 60 |6094 | 60 | 21 | 20 |1074k|3612 | 0.000000e+00 | -- | Inf
462.99/463.07 c 463s| 2440k|809181 | 6634k| 2.7 | 556M| 54 | 7 | 60 |6741 | 60 | 21 | 20 |1079k|3612 | 0.000000e+00 | -- | Inf
465.20/465.22 c 465s| 2450k|812241 | 6661k| 2.7 | 558M| 54 | - | 60 |5607 | 60 | 21 | 20 |1083k|3612 | 0.000000e+00 | -- | Inf
466.99/467.08 c 467s| 2460k|815239 | 6688k| 2.7 | 561M| 54 | - | 60 |6725 | 60 | 21 | 20 |1088k|3612 | 0.000000e+00 | -- | Inf
469.00/469.10 c 469s| 2470k|817900 | 6715k| 2.7 | 563M| 54 | - | 60 |7608 | 60 | 21 | 20 |1093k|3613 | 0.000000e+00 | -- | Inf
471.29/471.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.29/471.34 c 471s| 2480k|820717 | 6741k| 2.7 | 565M| 54 | 7 | 60 |6339 | 60 | 21 | 20 |1098k|3619 | 0.000000e+00 | -- | Inf
473.30/473.31 c 473s| 2490k|823751 | 6769k| 2.7 | 567M| 54 | 7 | 60 |7161 | 60 | 21 | 20 |1103k|3619 | 0.000000e+00 | -- | Inf
475.49/475.53 c 476s| 2500k|826515 | 6796k| 2.7 | 569M| 54 | 7 | 60 |5745 | 60 | 21 | 20 |1107k|3623 | 0.000000e+00 | -- | Inf
477.39/477.48 c 477s| 2510k|829318 | 6824k| 2.7 | 572M| 54 | - | 60 |7528 | 60 | 21 | 20 |1112k|3623 | 0.000000e+00 | -- | Inf
479.60/479.68 c 480s| 2520k|832222 | 6850k| 2.7 | 574M| 54 | - | 60 |6793 | 60 | 21 | 20 |1117k|3629 | 0.000000e+00 | -- | Inf
481.89/481.90 c 482s| 2530k|835118 | 6877k| 2.7 | 576M| 54 | 7 | 60 |5841 | 60 | 21 | 20 |1121k|3637 | 0.000000e+00 | -- | Inf
483.90/483.97 c 484s| 2540k|838107 | 6904k| 2.7 | 578M| 54 | 7 | 60 |6014 | 60 | 21 | 20 |1126k|3637 | 0.000000e+00 | -- | Inf
486.20/486.26 c 486s| 2550k|840885 | 6930k| 2.7 | 580M| 54 | 7 | 60 |5389 | 60 | 21 | 20 |1131k|3640 | 0.000000e+00 | -- | Inf
488.29/488.37 c 488s| 2560k|843669 | 6957k| 2.7 | 582M| 54 | 7 | 60 |5259 | 60 | 21 | 20 |1136k|3643 | 0.000000e+00 | -- | Inf
490.39/490.45 c 490s| 2570k|846338 | 6985k| 2.7 | 584M| 54 | - | 60 |5550 | 60 | 21 | 20 |1141k|3649 | 0.000000e+00 | -- | Inf
492.39/492.48 c 492s| 2580k|849383 | 7011k| 2.7 | 586M| 54 | - | 60 |5890 | 60 | 21 | 20 |1145k|3651 | 0.000000e+00 | -- | Inf
494.29/494.33 c 494s| 2590k|852578 | 7040k| 2.7 | 589M| 54 | 7 | 60 |7193 | 60 | 21 | 20 |1150k|3652 | 0.000000e+00 | -- | Inf
496.30/496.35 c 496s| 2600k|855473 | 7069k| 2.7 | 591M| 54 | 7 | 60 |7284 | 60 | 21 | 20 |1155k|3652 | 0.000000e+00 | -- | Inf
498.49/498.52 c 499s| 2610k|858239 | 7098k| 2.7 | 593M| 54 | - | 60 |7044 | 60 | 21 | 20 |1160k|3653 | 0.000000e+00 | -- | Inf
500.59/500.66 c 501s| 2620k|861182 | 7124k| 2.7 | 595M| 54 | 7 | 60 |7017 | 60 | 21 | 20 |1165k|3663 | 0.000000e+00 | -- | Inf
502.89/502.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
502.89/502.97 c 503s| 2630k|864085 | 7151k| 2.7 | 597M| 54 | - | 60 |6659 | 60 | 21 | 20 |1169k|3665 | 0.000000e+00 | -- | Inf
505.09/505.18 c 505s| 2640k|866958 | 7177k| 2.7 | 599M| 54 | 7 | 60 |6120 | 60 | 21 | 20 |1174k|3669 | 0.000000e+00 | -- | Inf
507.29/507.33 c 507s| 2650k|869849 | 7204k| 2.7 | 601M| 54 | 7 | 60 |5363 | 60 | 21 | 20 |1179k|3669 | 0.000000e+00 | -- | Inf
509.40/509.42 c 509s| 2660k|872512 | 7232k| 2.7 | 604M| 54 | 7 | 60 |6359 | 60 | 21 | 20 |1184k|3669 | 0.000000e+00 | -- | Inf
511.39/511.45 c 511s| 2670k|875514 | 7258k| 2.7 | 606M| 54 | 7 | 60 |7219 | 60 | 21 | 20 |1188k|3669 | 0.000000e+00 | -- | Inf
513.40/513.44 c 513s| 2680k|878126 | 7285k| 2.7 | 609M| 54 | - | 60 |8602 | 60 | 21 | 20 |1193k|3670 | 0.000000e+00 | -- | Inf
515.59/515.61 c 516s| 2690k|880839 | 7313k| 2.7 | 610M| 54 | - | 60 |7554 | 60 | 21 | 20 |1198k|3670 | 0.000000e+00 | -- | Inf
517.70/517.79 c 518s| 2700k|883799 | 7340k| 2.7 | 612M| 54 | 7 | 60 |6996 | 60 | 21 | 20 |1203k|3676 | 0.000000e+00 | -- | Inf
519.60/519.66 c 520s| 2710k|887303 | 7367k| 2.7 | 615M| 54 | 7 | 60 |7818 | 60 | 21 | 20 |1207k|3683 | 0.000000e+00 | -- | Inf
521.89/521.90 c 522s| 2720k|890215 | 7394k| 2.7 | 617M| 54 | 7 | 60 |5918 | 60 | 21 | 20 |1211k|3690 | 0.000000e+00 | -- | Inf
523.99/524.08 c 524s| 2730k|893040 | 7420k| 2.7 | 619M| 54 | 7 | 60 |5826 | 60 | 21 | 20 |1216k|3703 | 0.000000e+00 | -- | Inf
526.19/526.21 c 526s| 2740k|895820 | 7447k| 2.7 | 621M| 54 | 7 | 60 |6033 | 60 | 21 | 20 |1221k|3714 | 0.000000e+00 | -- | Inf
528.29/528.39 c 528s| 2750k|898708 | 7474k| 2.7 | 623M| 54 | 7 | 60 |5679 | 60 | 21 | 20 |1226k|3721 | 0.000000e+00 | -- | Inf
530.39/530.41 c 530s| 2760k|901621 | 7502k| 2.7 | 625M| 54 | 7 | 60 |6462 | 60 | 21 | 20 |1231k|3727 | 0.000000e+00 | -- | Inf
532.40/532.42 c 532s| 2770k|904514 | 7529k| 2.7 | 628M| 54 | 7 | 60 |7033 | 60 | 21 | 20 |1235k|3729 | 0.000000e+00 | -- | Inf
534.49/534.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
534.49/534.53 c 535s| 2780k|907176 | 7556k| 2.7 | 630M| 54 | - | 60 |7245 | 60 | 21 | 20 |1240k|3734 | 0.000000e+00 | -- | Inf
536.59/536.61 c 537s| 2790k|909912 | 7584k| 2.7 | 632M| 54 | 7 | 60 |7550 | 60 | 21 | 20 |1245k|3735 | 0.000000e+00 | -- | Inf
539.00/539.01 c 539s| 2800k|912569 | 7611k| 2.7 | 634M| 54 | - | 60 |5737 | 60 | 21 | 20 |1250k|3744 | 0.000000e+00 | -- | Inf
541.09/541.17 c 541s| 2810k|915398 | 7637k| 2.7 | 636M| 54 | 7 | 60 |5355 | 60 | 21 | 20 |1255k|3745 | 0.000000e+00 | -- | Inf
543.09/543.20 c 543s| 2820k|918503 | 7665k| 2.7 | 638M| 54 | 7 | 60 |5660 | 60 | 21 | 20 |1259k|3750 | 0.000000e+00 | -- | Inf
544.99/545.02 c 545s| 2830k|921887 | 7692k| 2.7 | 641M| 54 | 7 | 60 |7014 | 60 | 21 | 20 |1264k|3751 | 0.000000e+00 | -- | Inf
546.99/547.05 c 547s| 2840k|924555 | 7719k| 2.7 | 643M| 54 | 7 | 60 |7439 | 60 | 21 | 20 |1268k|3751 | 0.000000e+00 | -- | Inf
549.09/549.19 c 549s| 2850k|927585 | 7747k| 2.7 | 645M| 54 | 7 | 60 |5925 | 60 | 21 | 20 |1273k|3751 | 0.000000e+00 | -- | Inf
551.19/551.27 c 551s| 2860k|930722 | 7773k| 2.7 | 647M| 54 | - | 60 |6397 | 60 | 21 | 20 |1277k|3751 | 0.000000e+00 | -- | Inf
553.19/553.28 c 553s| 2870k|933610 | 7801k| 2.7 | 650M| 54 | 7 | 60 |7573 | 60 | 21 | 20 |1282k|3751 | 0.000000e+00 | -- | Inf
555.29/555.37 c 555s| 2880k|936534 | 7827k| 2.7 | 652M| 54 | 7 | 60 |8390 | 60 | 21 | 20 |1287k|3751 | 0.000000e+00 | -- | Inf
557.59/557.61 c 558s| 2890k|939205 | 7854k| 2.7 | 654M| 54 | 7 | 60 |8016 | 60 | 21 | 20 |1292k|3752 | 0.000000e+00 | -- | Inf
559.69/559.79 c 560s| 2900k|941956 | 7880k| 2.7 | 656M| 54 | 7 | 60 |7137 | 60 | 21 | 20 |1297k|3757 | 0.000000e+00 | -- | Inf
561.89/562.00 c 562s| 2910k|944902 | 7907k| 2.7 | 658M| 54 | 7 | 60 |7373 | 60 | 21 | 20 |1301k|3761 | 0.000000e+00 | -- | Inf
564.19/564.21 c 564s| 2920k|947953 | 7934k| 2.7 | 660M| 54 | - | 60 |6361 | 60 | 21 | 20 |1306k|3761 | 0.000000e+00 | -- | Inf
566.50/566.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.50/566.54 c 567s| 2930k|950688 | 7960k| 2.7 | 662M| 54 | 7 | 60 |5432 | 60 | 21 | 20 |1311k|3766 | 0.000000e+00 | -- | Inf
568.49/568.53 c 569s| 2940k|953729 | 7987k| 2.7 | 665M| 54 | 7 | 60 |6686 | 60 | 21 | 20 |1315k|3773 | 0.000000e+00 | -- | Inf
570.69/570.75 c 571s| 2950k|956711 | 8013k| 2.7 | 667M| 54 | 7 | 60 |5954 | 60 | 21 | 20 |1320k|3776 | 0.000000e+00 | -- | Inf
572.69/572.78 c 573s| 2960k|959526 | 8040k| 2.7 | 669M| 54 | 7 | 60 |6174 | 60 | 21 | 20 |1325k|3785 | 0.000000e+00 | -- | Inf
574.89/574.95 c 575s| 2970k|962439 | 8066k| 2.7 | 671M| 54 | - | 60 |5824 | 60 | 21 | 20 |1329k|3785 | 0.000000e+00 | -- | Inf
576.89/576.97 c 577s| 2980k|965349 | 8093k| 2.7 | 673M| 54 | 7 | 60 |6211 | 60 | 21 | 20 |1334k|3791 | 0.000000e+00 | -- | Inf
578.99/579.01 c 579s| 2990k|968207 | 8120k| 2.7 | 676M| 54 | 7 | 60 |7351 | 60 | 21 | 20 |1339k|3799 | 0.000000e+00 | -- | Inf
581.19/581.25 c 581s| 3000k|970960 | 8147k| 2.7 | 678M| 54 | - | 60 |6351 | 60 | 21 | 20 |1344k|3802 | 0.000000e+00 | -- | Inf
583.39/583.42 c 583s| 3010k|973885 | 8174k| 2.7 | 680M| 54 | 7 | 60 |6765 | 60 | 21 | 20 |1348k|3811 | 0.000000e+00 | -- | Inf
585.49/585.56 c 586s| 3020k|976491 | 8201k| 2.7 | 682M| 54 | 7 | 60 |7377 | 60 | 21 | 20 |1353k|3818 | 0.000000e+00 | -- | Inf
587.59/587.65 c 588s| 3030k|979316 | 8229k| 2.7 | 685M| 54 | - | 60 |8143 | 60 | 21 | 20 |1358k|3823 | 0.000000e+00 | -- | Inf
589.99/590.02 c 590s| 3040k|982132 | 8256k| 2.7 | 686M| 54 | 7 | 60 |6385 | 60 | 21 | 20 |1363k|3829 | 0.000000e+00 | -- | Inf
591.89/591.94 c 592s| 3050k|985125 | 8285k| 2.7 | 689M| 54 | - | 60 |8320 | 60 | 21 | 20 |1368k|3829 | 0.000000e+00 | -- | Inf
594.19/594.27 c 594s| 3060k|987727 | 8314k| 2.7 | 691M| 54 | - | 60 |7609 | 60 | 21 | 20 |1373k|3836 | 0.000000e+00 | -- | Inf
596.49/596.55 c 597s| 3070k|990636 | 8341k| 2.7 | 693M| 54 | 7 | 60 |6515 | 60 | 21 | 20 |1378k|3845 | 0.000000e+00 | -- | Inf
598.69/598.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
598.69/598.73 c 599s| 3080k|993457 | 8368k| 2.7 | 695M| 54 | 7 | 60 |6623 | 60 | 21 | 20 |1382k|3858 | 0.000000e+00 | -- | Inf
600.99/601.03 c 601s| 3090k|996148 | 8395k| 2.7 | 697M| 54 | 7 | 60 |5757 | 60 | 21 | 20 |1387k|3865 | 0.000000e+00 | -- | Inf
603.19/603.24 c 603s| 3100k|998765 | 8421k| 2.7 | 699M| 54 | - | 60 |6349 | 60 | 21 | 20 |1392k|3869 | 0.000000e+00 | -- | Inf
605.29/605.39 c 605s| 3110k| 1001k| 8448k| 2.7 | 701M| 54 | 7 | 60 |5945 | 60 | 21 | 20 |1397k|3880 | 0.000000e+00 | -- | Inf
607.39/607.42 c 607s| 3120k| 1004k| 8475k| 2.7 | 704M| 54 | 7 | 60 |6459 | 60 | 21 | 20 |1402k|3881 | 0.000000e+00 | -- | Inf
609.59/609.62 c 610s| 3130k| 1007k| 8502k| 2.7 | 705M| 54 | - | 60 |5303 | 60 | 21 | 20 |1406k|3889 | 0.000000e+00 | -- | Inf
611.50/611.53 c 612s| 3140k| 1010k| 8531k| 2.7 | 708M| 54 | 7 | 60 |7624 | 60 | 21 | 20 |1411k|3889 | 0.000000e+00 | -- | Inf
613.69/613.78 c 614s| 3150k| 1012k| 8558k| 2.7 | 710M| 54 | 7 | 60 |7649 | 60 | 21 | 20 |1416k|3892 | 0.000000e+00 | -- | Inf
615.89/615.93 c 616s| 3160k| 1015k| 8585k| 2.7 | 713M| 54 | 7 | 60 |8252 | 60 | 21 | 20 |1421k|3895 | 0.000000e+00 | -- | Inf
618.20/618.28 c 618s| 3170k| 1018k| 8611k| 2.7 | 714M| 54 | 7 | 60 |6179 | 60 | 21 | 20 |1426k|3906 | 0.000000e+00 | -- | Inf
620.29/620.35 c 620s| 3180k| 1021k| 8638k| 2.7 | 717M| 54 | 7 | 60 |6801 | 60 | 21 | 20 |1431k|3911 | 0.000000e+00 | -- | Inf
622.60/622.62 c 623s| 3190k| 1024k| 8665k| 2.7 | 719M| 54 | 7 | 60 |6144 | 60 | 21 | 20 |1436k|3913 | 0.000000e+00 | -- | Inf
624.69/624.77 c 625s| 3200k| 1026k| 8692k| 2.7 | 721M| 54 | 7 | 60 |6533 | 60 | 21 | 20 |1440k|3914 | 0.000000e+00 | -- | Inf
626.89/626.97 c 627s| 3210k| 1029k| 8718k| 2.7 | 723M| 54 | - | 60 |6599 | 60 | 21 | 20 |1445k|3917 | 0.000000e+00 | -- | Inf
628.99/629.00 c 629s| 3220k| 1032k| 8747k| 2.7 | 725M| 54 | 7 | 60 |8364 | 60 | 21 | 20 |1451k|3919 | 0.000000e+00 | -- | Inf
631.29/631.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
631.29/631.37 c 631s| 3230k| 1034k| 8774k| 2.7 | 727M| 54 | 7 | 60 |6561 | 60 | 21 | 20 |1456k|3922 | 0.000000e+00 | -- | Inf
633.39/633.45 c 633s| 3240k| 1037k| 8802k| 2.7 | 729M| 54 | 7 | 60 |7447 | 60 | 21 | 20 |1460k|3922 | 0.000000e+00 | -- | Inf
635.80/635.81 c 636s| 3250k| 1040k| 8829k| 2.7 | 731M| 54 | 7 | 60 |6310 | 60 | 21 | 20 |1465k|3928 | 0.000000e+00 | -- | Inf
637.89/637.92 c 638s| 3260k| 1043k| 8857k| 2.7 | 734M| 54 | 7 | 60 |7275 | 60 | 21 | 20 |1470k|3933 | 0.000000e+00 | -- | Inf
639.99/640.08 c 640s| 3270k| 1046k| 8884k| 2.7 | 736M| 54 | - | 60 |8344 | 60 | 21 | 20 |1475k|3933 | 0.000000e+00 | -- | Inf
642.49/642.56 c 643s| 3280k| 1048k| 8911k| 2.7 | 738M| 54 | 7 | 60 |6628 | 60 | 21 | 20 |1480k|3933 | 0.000000e+00 | -- | Inf
644.49/644.55 c 645s| 3290k| 1051k| 8939k| 2.7 | 740M| 54 | 7 | 60 |8041 | 60 | 21 | 20 |1485k|3933 | 0.000000e+00 | -- | Inf
646.79/646.87 c 647s| 3300k| 1054k| 8967k| 2.7 | 742M| 54 | - | 60 |7856 | 60 | 21 | 20 |1490k|3933 | 0.000000e+00 | -- | Inf
649.09/649.15 c 649s| 3310k| 1056k| 8993k| 2.7 | 744M| 54 | 7 | 60 |6622 | 60 | 21 | 20 |1495k|3933 | 0.000000e+00 | -- | Inf
651.20/651.21 c 651s| 3320k| 1059k| 9021k| 2.7 | 746M| 54 | - | 60 |7044 | 60 | 21 | 20 |1499k|3933 | 0.000000e+00 | -- | Inf
653.09/653.18 c 653s| 3330k| 1062k| 9048k| 2.7 | 749M| 54 | - | 60 |8336 | 60 | 21 | 20 |1504k|3933 | 0.000000e+00 | -- | Inf
655.39/655.44 c 655s| 3340k| 1065k| 9075k| 2.7 | 751M| 54 | 7 | 60 |8867 | 60 | 21 | 20 |1509k|3933 | 0.000000e+00 | -- | Inf
657.59/657.62 c 658s| 3350k| 1068k| 9103k| 2.7 | 754M| 54 | 7 | 60 |9121 | 60 | 21 | 20 |1514k|3933 | 0.000000e+00 | -- | Inf
659.89/659.97 c 660s| 3360k| 1070k| 9131k| 2.7 | 756M| 54 | 7 | 60 |8505 | 60 | 21 | 20 |1519k|3933 | 0.000000e+00 | -- | Inf
662.09/662.14 c 662s| 3370k| 1073k| 9157k| 2.7 | 758M| 54 | - | 60 |9240 | 60 | 21 | 20 |1524k|3933 | 0.000000e+00 | -- | Inf
664.49/664.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
664.49/664.57 c 665s| 3380k| 1076k| 9183k| 2.7 | 760M| 54 | 7 | 60 |7357 | 60 | 21 | 20 |1528k|3933 | 0.000000e+00 | -- | Inf
666.79/666.84 c 667s| 3390k| 1079k| 9211k| 2.7 | 762M| 54 | - | 60 |6443 | 60 | 21 | 20 |1533k|3933 | 0.000000e+00 | -- | Inf
669.19/669.29 c 669s| 3400k| 1081k| 9237k| 2.7 | 764M| 54 | - | 60 |5750 | 60 | 21 | 20 |1538k|3933 | 0.000000e+00 | -- | Inf
671.40/671.40 c 671s| 3410k| 1084k| 9264k| 2.7 | 766M| 54 | - | 60 |7223 | 60 | 21 | 20 |1543k|3933 | 0.000000e+00 | -- | Inf
673.69/673.75 c 674s| 3420k| 1087k| 9291k| 2.7 | 768M| 54 | - | 60 |6457 | 60 | 21 | 20 |1548k|3933 | 0.000000e+00 | -- | Inf
675.99/676.02 c 676s| 3430k| 1090k| 9317k| 2.7 | 770M| 54 | 7 | 60 |6260 | 60 | 21 | 20 |1553k|3934 | 0.000000e+00 | -- | Inf
677.89/677.98 c 678s| 3440k| 1092k| 9344k| 2.7 | 773M| 54 | 7 | 60 |7886 | 60 | 21 | 20 |1557k|3938 | 0.000000e+00 | -- | Inf
680.20/680.29 c 680s| 3450k| 1095k| 9371k| 2.7 | 774M| 54 | - | 60 |6150 | 60 | 21 | 20 |1563k|3941 | 0.000000e+00 | -- | Inf
682.49/682.53 c 683s| 3460k| 1097k| 9399k| 2.7 | 776M| 54 | - | 60 |6316 | 60 | 21 | 20 |1568k|3942 | 0.000000e+00 | -- | Inf
684.59/684.67 c 685s| 3470k| 1100k| 9425k| 2.7 | 779M| 54 | 7 | 60 |6834 | 60 | 21 | 20 |1572k|3942 | 0.000000e+00 | -- | Inf
686.89/686.95 c 687s| 3480k| 1103k| 9451k| 2.7 | 781M| 54 | 7 | 60 |5868 | 60 | 21 | 20 |1577k|3948 | 0.000000e+00 | -- | Inf
688.89/688.97 c 689s| 3490k| 1106k| 9479k| 2.7 | 783M| 54 | - | 60 |5819 | 60 | 21 | 20 |1581k|3948 | 0.000000e+00 | -- | Inf
690.89/690.93 c 691s| 3500k| 1109k| 9507k| 2.7 | 785M| 54 | 7 | 60 |6368 | 60 | 21 | 20 |1586k|3948 | 0.000000e+00 | -- | Inf
692.79/692.88 c 693s| 3510k| 1113k| 9535k| 2.7 | 788M| 54 | 7 | 60 |7678 | 60 | 21 | 20 |1591k|3948 | 0.000000e+00 | -- | Inf
694.99/695.03 c 695s| 3520k| 1115k| 9562k| 2.7 | 790M| 54 | 7 | 60 |7960 | 60 | 21 | 20 |1595k|3948 | 0.000000e+00 | -- | Inf
696.99/697.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
696.99/697.09 c 697s| 3530k| 1118k| 9591k| 2.7 | 792M| 54 | 7 | 60 |8626 | 60 | 21 | 20 |1600k|3948 | 0.000000e+00 | -- | Inf
699.49/699.54 c 700s| 3540k| 1121k| 9620k| 2.7 | 794M| 54 | 7 | 60 |6258 | 60 | 21 | 20 |1606k|3966 | 0.000000e+00 | -- | Inf
701.59/701.66 c 702s| 3550k| 1123k| 9646k| 2.7 | 796M| 54 | 7 | 60 |7335 | 60 | 21 | 20 |1610k|3968 | 0.000000e+00 | -- | Inf
703.89/703.98 c 704s| 3560k| 1126k| 9673k| 2.7 | 798M| 54 | 7 | 60 |7037 | 60 | 21 | 20 |1615k|3968 | 0.000000e+00 | -- | Inf
706.29/706.30 c 706s| 3570k| 1129k| 9699k| 2.7 | 800M| 54 | 7 | 60 |6147 | 60 | 21 | 20 |1620k|3968 | 0.000000e+00 | -- | Inf
708.49/708.55 c 709s| 3580k| 1131k| 9726k| 2.7 | 802M| 54 | 7 | 60 |6269 | 60 | 21 | 20 |1625k|3968 | 0.000000e+00 | -- | Inf
710.39/710.45 c 710s| 3590k| 1135k| 9754k| 2.7 | 805M| 54 | 7 | 60 |8083 | 60 | 21 | 20 |1630k|3968 | 0.000000e+00 | -- | Inf
712.89/712.96 c 713s| 3600k| 1137k| 9781k| 2.7 | 806M| 54 | 7 | 60 |5553 | 60 | 21 | 20 |1635k|3968 | 0.000000e+00 | -- | Inf
715.00/715.04 c 715s| 3610k| 1140k| 9808k| 2.7 | 809M| 54 | 7 | 60 |6751 | 60 | 21 | 20 |1639k|3968 | 0.000000e+00 | -- | Inf
717.29/717.37 c 717s| 3620k| 1142k| 9835k| 2.7 | 811M| 54 | - | 60 |5922 | 60 | 21 | 20 |1644k|3972 | 0.000000e+00 | -- | Inf
719.69/719.74 c 720s| 3630k| 1145k| 9861k| 2.7 | 813M| 54 | 7 | 60 |5467 | 60 | 21 | 20 |1649k|3974 | 0.000000e+00 | -- | Inf
721.89/721.90 c 722s| 3640k| 1148k| 9888k| 2.7 | 815M| 54 | - | 60 |5467 | 60 | 21 | 20 |1654k|3974 | 0.000000e+00 | -- | Inf
724.09/724.13 c 724s| 3650k| 1151k| 9914k| 2.7 | 817M| 54 | 7 | 60 |5233 | 60 | 21 | 20 |1659k|3975 | 0.000000e+00 | -- | Inf
726.29/726.30 c 726s| 3660k| 1153k| 9940k| 2.7 | 819M| 54 | 7 | 60 |5947 | 60 | 21 | 20 |1664k|3980 | 0.000000e+00 | -- | Inf
728.49/728.52 c 729s| 3670k| 1156k| 9967k| 2.7 | 821M| 54 | 7 | 60 |5965 | 60 | 21 | 20 |1669k|3982 | 0.000000e+00 | -- | Inf
730.59/730.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
730.59/730.65 c 731s| 3680k| 1159k| 9994k| 2.7 | 824M| 54 | 7 | 60 |6316 | 60 | 21 | 20 |1673k|3990 | 0.000000e+00 | -- | Inf
732.78/732.81 c 733s| 3690k| 1162k| 10021k| 2.7 | 826M| 54 | 7 | 60 |7122 | 60 | 21 | 20 |1678k|3992 | 0.000000e+00 | -- | Inf
734.99/735.02 c 735s| 3700k| 1165k| 10048k| 2.7 | 828M| 54 | - | 60 |6900 | 60 | 21 | 20 |1683k|3994 | 0.000000e+00 | -- | Inf
737.29/737.33 c 737s| 3710k| 1167k| 10075k| 2.7 | 830M| 54 | - | 60 |6778 | 60 | 21 | 20 |1688k|3994 | 0.000000e+00 | -- | Inf
739.49/739.59 c 740s| 3720k| 1170k| 10102k| 2.7 | 832M| 54 | 7 | 60 |6867 | 60 | 21 | 20 |1693k|3994 | 0.000000e+00 | -- | Inf
741.89/741.98 c 742s| 3730k| 1172k| 10129k| 2.7 | 834M| 54 | 7 | 60 |6323 | 60 | 21 | 20 |1698k|4003 | 0.000000e+00 | -- | Inf
744.19/744.27 c 744s| 3740k| 1175k| 10155k| 2.7 | 836M| 54 | 7 | 60 |5964 | 60 | 21 | 20 |1703k|4011 | 0.000000e+00 | -- | Inf
746.48/746.54 c 747s| 3750k| 1178k| 10183k| 2.7 | 838M| 54 | 7 | 60 |6140 | 60 | 21 | 20 |1708k|4011 | 0.000000e+00 | -- | Inf
748.39/748.48 c 748s| 3760k| 1181k| 10210k| 2.7 | 841M| 54 | - | 60 |8486 | 60 | 21 | 20 |1712k|4011 | 0.000000e+00 | -- | Inf
750.79/750.89 c 751s| 3770k| 1183k| 10238k| 2.7 | 843M| 54 | 7 | 60 |8016 | 60 | 21 | 20 |1717k|4013 | 0.000000e+00 | -- | Inf
753.18/753.23 c 753s| 3780k| 1186k| 10265k| 2.7 | 845M| 54 | - | 60 |7843 | 60 | 21 | 20 |1722k|4013 | 0.000000e+00 | -- | Inf
755.60/755.65 c 756s| 3790k| 1189k| 10291k| 2.7 | 847M| 54 | 7 | 60 |6285 | 60 | 21 | 20 |1727k|4021 | 0.000000e+00 | -- | Inf
757.69/757.79 c 758s| 3800k| 1191k| 10318k| 2.7 | 849M| 54 | 7 | 60 |6757 | 60 | 21 | 20 |1732k|4026 | 0.000000e+00 | -- | Inf
759.59/759.67 c 760s| 3810k| 1195k| 10345k| 2.7 | 852M| 54 | 7 | 60 |7899 | 60 | 21 | 20 |1736k|4028 | 0.000000e+00 | -- | Inf
761.59/761.69 c 762s| 3820k| 1198k| 10373k| 2.7 | 854M| 54 | 7 | 60 |9300 | 60 | 21 | 20 |1741k|4030 | 0.000000e+00 | -- | Inf
763.68/763.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
763.68/763.74 c 764s| 3830k| 1201k| 10401k| 2.7 | 856M| 54 | 7 | 60 |9141 | 60 | 21 | 20 |1745k|4033 | 0.000000e+00 | -- | Inf
765.69/765.78 c 766s| 3840k| 1204k| 10429k| 2.7 | 859M| 54 | - | 60 | 10k| 60 | 21 | 20 |1750k|4034 | 0.000000e+00 | -- | Inf
767.89/767.96 c 768s| 3850k| 1207k| 10457k| 2.7 | 861M| 54 | 7 | 60 |9639 | 60 | 21 | 20 |1754k|4034 | 0.000000e+00 | -- | Inf
769.99/770.08 c 770s| 3860k| 1211k| 10484k| 2.7 | 863M| 54 | - | 60 | 10k| 60 | 21 | 20 |1759k|4034 | 0.000000e+00 | -- | Inf
772.29/772.39 c 772s| 3870k| 1213k| 10511k| 2.7 | 865M| 54 | 7 | 60 |9947 | 60 | 21 | 20 |1763k|4034 | 0.000000e+00 | -- | Inf
774.69/774.79 c 775s| 3880k| 1216k| 10538k| 2.7 | 867M| 54 | - | 60 |9389 | 60 | 21 | 20 |1768k|4034 | 0.000000e+00 | -- | Inf
777.09/777.12 c 777s| 3890k| 1219k| 10565k| 2.7 | 870M| 54 | - | 60 |9569 | 60 | 21 | 20 |1773k|4034 | 0.000000e+00 | -- | Inf
779.39/779.40 c 779s| 3900k| 1222k| 10592k| 2.7 | 872M| 54 | - | 60 |9746 | 60 | 21 | 20 |1778k|4034 | 0.000000e+00 | -- | Inf
781.29/781.40 c 781s| 3910k| 1225k| 10619k| 2.7 | 874M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1782k|4034 | 0.000000e+00 | -- | Inf
783.59/783.60 c 784s| 3920k| 1229k| 10648k| 2.7 | 877M| 54 | - | 60 | 10k| 60 | 21 | 20 |1786k|4034 | 0.000000e+00 | -- | Inf
785.79/785.83 c 786s| 3930k| 1232k| 10675k| 2.7 | 879M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1791k|4034 | 0.000000e+00 | -- | Inf
788.09/788.13 c 788s| 3940k| 1235k| 10703k| 2.7 | 881M| 54 | - | 60 | 10k| 60 | 21 | 20 |1796k|4038 | 0.000000e+00 | -- | Inf
790.39/790.42 c 790s| 3950k| 1238k| 10730k| 2.7 | 883M| 54 | 7 | 60 |9788 | 60 | 21 | 20 |1801k|4044 | 0.000000e+00 | -- | Inf
792.69/792.77 c 793s| 3960k| 1240k| 10757k| 2.7 | 885M| 54 | 7 | 60 |9651 | 60 | 21 | 20 |1805k|4048 | 0.000000e+00 | -- | Inf
794.79/794.87 c 795s| 3970k| 1243k| 10784k| 2.7 | 887M| 54 | - | 60 |9653 | 60 | 21 | 20 |1810k|4049 | 0.000000e+00 | -- | Inf
796.89/796.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
796.89/796.95 c 797s| 3980k| 1247k| 10812k| 2.7 | 890M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1814k|4049 | 0.000000e+00 | -- | Inf
799.09/799.14 c 799s| 3990k| 1250k| 10840k| 2.7 | 892M| 54 | - | 60 | 11k| 60 | 21 | 20 |1819k|4049 | 0.000000e+00 | -- | Inf
801.49/801.51 c 802s| 4000k| 1253k| 10867k| 2.7 | 894M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1824k|4049 | 0.000000e+00 | -- | Inf
803.79/803.81 c 804s| 4010k| 1256k| 10895k| 2.7 | 897M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |1828k|4049 | 0.000000e+00 | -- | Inf
806.30/806.36 c 806s| 4020k| 1259k| 10922k| 2.7 | 899M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |1833k|4049 | 0.000000e+00 | -- | Inf
808.69/808.72 c 809s| 4030k| 1262k| 10949k| 2.7 | 901M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |1838k|4049 | 0.000000e+00 | -- | Inf
810.99/811.09 c 811s| 4040k| 1265k| 10976k| 2.7 | 903M| 54 | 7 | 60 | 12k| 60 | 21 | 20 |1843k|4049 | 0.000000e+00 | -- | Inf
813.50/813.56 c 814s| 4050k| 1267k| 11003k| 2.7 | 906M| 54 | 7 | 60 | 13k| 60 | 21 | 20 |1848k|4049 | 0.000000e+00 | -- | Inf
816.10/816.19 c 816s| 4060k| 1270k| 11030k| 2.7 | 908M| 54 | - | 60 | 12k| 60 | 21 | 20 |1853k|4049 | 0.000000e+00 | -- | Inf
818.69/818.79 c 819s| 4070k| 1272k| 11057k| 2.7 | 909M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1858k|4049 | 0.000000e+00 | -- | Inf
820.79/820.87 c 821s| 4080k| 1276k| 11084k| 2.7 | 911M| 54 | 7 | 60 |8407 | 60 | 21 | 20 |1862k|4049 | 0.000000e+00 | -- | Inf
822.80/822.86 c 823s| 4090k| 1280k| 11112k| 2.7 | 914M| 54 | 7 | 60 |9227 | 60 | 21 | 20 |1866k|4049 | 0.000000e+00 | -- | Inf
824.89/824.95 c 825s| 4100k| 1284k| 11140k| 2.7 | 916M| 54 | - | 60 |9778 | 60 | 21 | 20 |1870k|4049 | 0.000000e+00 | -- | Inf
827.19/827.23 c 827s| 4110k| 1287k| 11167k| 2.7 | 918M| 54 | 7 | 60 |9585 | 60 | 21 | 20 |1874k|4049 | 0.000000e+00 | -- | Inf
829.40/829.43 c 829s| 4120k| 1290k| 11195k| 2.7 | 921M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1879k|4049 | 0.000000e+00 | -- | Inf
831.60/831.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
831.60/831.61 c 832s| 4130k| 1294k| 11222k| 2.7 | 923M| 54 | - | 60 | 11k| 60 | 21 | 20 |1883k|4049 | 0.000000e+00 | -- | Inf
833.89/833.97 c 834s| 4140k| 1297k| 11249k| 2.7 | 925M| 54 | - | 60 |9988 | 60 | 21 | 20 |1888k|4049 | 0.000000e+00 | -- | Inf
836.19/836.26 c 836s| 4150k| 1301k| 11277k| 2.7 | 928M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1892k|4049 | 0.000000e+00 | -- | Inf
838.49/838.59 c 839s| 4160k| 1304k| 11304k| 2.7 | 930M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1897k|4049 | 0.000000e+00 | -- | Inf
840.99/841.03 c 841s| 4170k| 1307k| 11331k| 2.7 | 932M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1902k|4049 | 0.000000e+00 | -- | Inf
843.39/843.48 c 843s| 4180k| 1310k| 11358k| 2.7 | 934M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1906k|4049 | 0.000000e+00 | -- | Inf
845.80/845.84 c 846s| 4190k| 1313k| 11385k| 2.7 | 937M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |1911k|4049 | 0.000000e+00 | -- | Inf
848.20/848.27 c 848s| 4200k| 1316k| 11411k| 2.7 | 939M| 54 | - | 60 | 11k| 60 | 21 | 20 |1915k|4049 | 0.000000e+00 | -- | Inf
850.40/850.47 c 850s| 4210k| 1320k| 11439k| 2.7 | 941M| 54 | 7 | 60 | 12k| 60 | 21 | 20 |1919k|4049 | 0.000000e+00 | -- | Inf
852.89/852.99 c 853s| 4220k| 1323k| 11465k| 2.7 | 943M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |1924k|4049 | 0.000000e+00 | -- | Inf
855.19/855.29 c 855s| 4230k| 1327k| 11492k| 2.7 | 946M| 54 | - | 60 | 12k| 60 | 21 | 20 |1928k|4049 | 0.000000e+00 | -- | Inf
857.89/857.92 c 858s| 4240k| 1330k| 11519k| 2.7 | 948M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |1933k|4049 | 0.000000e+00 | -- | Inf
860.49/860.52 c 861s| 4250k| 1332k| 11546k| 2.7 | 950M| 54 | - | 60 | 10k| 60 | 21 | 20 |1937k|4049 | 0.000000e+00 | -- | Inf
862.99/863.03 c 863s| 4260k| 1335k| 11573k| 2.7 | 952M| 54 | - | 60 | 10k| 60 | 21 | 20 |1942k|4049 | 0.000000e+00 | -- | Inf
865.29/865.37 c 865s| 4270k| 1338k| 11602k| 2.7 | 954M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |1947k|4049 | 0.000000e+00 | -- | Inf
867.49/867.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.49/867.57 c 868s| 4280k| 1342k| 11630k| 2.7 | 957M| 54 | 7 | 60 | 13k| 60 | 21 | 20 |1951k|4049 | 0.000000e+00 | -- | Inf
870.00/870.07 c 870s| 4290k| 1345k| 11658k| 2.7 | 959M| 54 | 7 | 60 | 12k| 60 | 21 | 20 |1956k|4049 | 0.000000e+00 | -- | Inf
872.49/872.53 c 873s| 4300k| 1348k| 11686k| 2.7 | 961M| 54 | 7 | 60 | 13k| 60 | 21 | 20 |1961k|4049 | 0.000000e+00 | -- | Inf
875.29/875.33 c 875s| 4310k| 1351k| 11713k| 2.7 | 963M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |1965k|4049 | 0.000000e+00 | -- | Inf
877.69/877.73 c 878s| 4320k| 1354k| 11741k| 2.7 | 965M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |1970k|4049 | 0.000000e+00 | -- | Inf
880.29/880.39 c 880s| 4330k| 1356k| 11768k| 2.7 | 967M| 54 | - | 60 | 11k| 60 | 21 | 20 |1975k|4049 | 0.000000e+00 | -- | Inf
882.99/883.07 c 883s| 4340k| 1359k| 11795k| 2.7 | 969M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |1980k|4049 | 0.000000e+00 | -- | Inf
885.59/885.65 c 886s| 4350k| 1362k| 11822k| 2.7 | 972M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |1984k|4049 | 0.000000e+00 | -- | Inf
887.99/888.04 c 888s| 4360k| 1365k| 11849k| 2.7 | 974M| 54 | 7 | 60 |9953 | 60 | 21 | 20 |1989k|4049 | 0.000000e+00 | -- | Inf
890.49/890.53 c 891s| 4370k| 1368k| 11875k| 2.7 | 975M| 54 | 7 | 60 |8822 | 60 | 21 | 20 |1994k|4049 | 0.000000e+00 | -- | Inf
892.89/892.91 c 893s| 4380k| 1371k| 11902k| 2.7 | 977M| 54 | 7 | 60 |8652 | 60 | 21 | 20 |1998k|4049 | 0.000000e+00 | -- | Inf
895.19/895.21 c 895s| 4390k| 1374k| 11928k| 2.7 | 979M| 54 | 7 | 60 |8132 | 60 | 21 | 20 |2003k|4049 | 0.000000e+00 | -- | Inf
897.50/897.55 c 898s| 4400k| 1376k| 11955k| 2.7 | 982M| 54 | 7 | 60 |8633 | 60 | 21 | 20 |2008k|4049 | 0.000000e+00 | -- | Inf
899.89/899.92 c 900s| 4410k| 1379k| 11982k| 2.7 | 984M| 54 | 7 | 60 |8149 | 60 | 21 | 20 |2013k|4049 | 0.000000e+00 | -- | Inf
901.99/902.08 c 902s| 4420k| 1382k| 12008k| 2.7 | 986M| 54 | 7 | 60 |9496 | 60 | 21 | 20 |2018k|4049 | 0.000000e+00 | -- | Inf
904.49/904.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
904.49/904.50 c 904s| 4430k| 1385k| 12035k| 2.7 | 988M| 54 | - | 60 |7799 | 60 | 21 | 20 |2022k|4049 | 0.000000e+00 | -- | Inf
906.59/906.63 c 907s| 4440k| 1388k| 12062k| 2.7 | 990M| 54 | - | 60 |9428 | 60 | 21 | 20 |2027k|4049 | 0.000000e+00 | -- | Inf
909.00/909.05 c 909s| 4450k| 1391k| 12088k| 2.7 | 992M| 54 | - | 60 |8098 | 60 | 21 | 20 |2032k|4049 | 0.000000e+00 | -- | Inf
911.39/911.45 c 911s| 4460k| 1394k| 12114k| 2.7 | 994M| 54 | - | 60 |7692 | 60 | 21 | 20 |2036k|4049 | 0.000000e+00 | -- | Inf
913.49/913.55 c 914s| 4470k| 1397k| 12141k| 2.7 | 997M| 54 | - | 60 |8733 | 60 | 21 | 20 |2041k|4049 | 0.000000e+00 | -- | Inf
915.99/916.05 c 916s| 4480k| 1399k| 12169k| 2.7 | 999M| 54 | - | 60 |8255 | 60 | 21 | 20 |2046k|4049 | 0.000000e+00 | -- | Inf
918.19/918.21 c 918s| 4490k| 1402k| 12196k| 2.7 |1001M| 54 | 7 | 60 |9235 | 60 | 21 | 20 |2051k|4049 | 0.000000e+00 | -- | Inf
920.29/920.39 c 920s| 4500k| 1406k| 12223k| 2.7 |1003M| 54 | 7 | 60 |9198 | 60 | 21 | 20 |2055k|4049 | 0.000000e+00 | -- | Inf
922.39/922.41 c 922s| 4510k| 1409k| 12250k| 2.7 |1006M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |2059k|4049 | 0.000000e+00 | -- | Inf
924.99/925.00 c 925s| 4520k| 1412k| 12277k| 2.7 |1008M| 54 | 7 | 60 |8950 | 60 | 21 | 20 |2064k|4049 | 0.000000e+00 | -- | Inf
927.49/927.59 c 928s| 4530k| 1415k| 12303k| 2.7 |1009M| 54 | 7 | 60 |6782 | 60 | 21 | 20 |2069k|4069 | 0.000000e+00 | -- | Inf
929.79/929.87 c 930s| 4540k| 1418k| 12330k| 2.7 |1011M| 54 | 7 | 60 |6337 | 60 | 21 | 20 |2073k|4073 | 0.000000e+00 | -- | Inf
932.09/932.13 c 932s| 4550k| 1420k| 12356k| 2.7 |1013M| 54 | - | 60 |5953 | 60 | 21 | 20 |2078k|4086 | 0.000000e+00 | -- | Inf
934.19/934.27 c 934s| 4560k| 1423k| 12383k| 2.7 |1015M| 54 | 7 | 60 |5789 | 60 | 21 | 20 |2083k|4090 | 0.000000e+00 | -- | Inf
936.59/936.60 c 937s| 4570k| 1426k| 12410k| 2.7 |1017M| 54 | - | 60 |5532 | 60 | 21 | 20 |2088k|4110 | 0.000000e+00 | -- | Inf
938.59/938.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
938.59/938.64 c 939s| 4580k| 1429k| 12438k| 2.7 |1020M| 54 | 7 | 60 |6683 | 60 | 21 | 20 |2092k|4110 | 0.000000e+00 | -- | Inf
940.79/940.84 c 941s| 4590k| 1432k| 12464k| 2.7 |1022M| 54 | - | 60 |7817 | 60 | 21 | 20 |2097k|4110 | 0.000000e+00 | -- | Inf
942.79/942.86 c 943s| 4600k| 1435k| 12492k| 2.7 |1025M| 54 | 7 | 60 |9742 | 60 | 21 | 20 |2102k|4110 | 0.000000e+00 | -- | Inf
945.29/945.32 c 945s| 4610k| 1438k| 12520k| 2.7 |1027M| 54 | 7 | 60 |7748 | 60 | 21 | 20 |2107k|4112 | 0.000000e+00 | -- | Inf
947.48/947.54 c 948s| 4620k| 1441k| 12547k| 2.7 |1029M| 54 | 7 | 60 |7556 | 60 | 21 | 20 |2111k|4136 | 0.000000e+00 | -- | Inf
949.68/949.70 c 950s| 4630k| 1444k| 12573k| 2.7 |1031M| 54 | 7 | 60 |8477 | 60 | 21 | 20 |2116k|4145 | 0.000000e+00 | -- | Inf
952.19/952.21 c 952s| 4640k| 1446k| 12600k| 2.7 |1033M| 54 | - | 60 |7325 | 60 | 21 | 20 |2121k|4150 | 0.000000e+00 | -- | Inf
954.49/954.53 c 955s| 4650k| 1449k| 12626k| 2.7 |1035M| 54 | - | 60 |6529 | 60 | 21 | 20 |2126k|4179 | 0.000000e+00 | -- | Inf
956.99/957.04 c 957s| 4660k| 1451k| 12653k| 2.7 |1037M| 54 | 7 | 60 |5827 | 60 | 21 | 20 |2131k|4189 | 0.000000e+00 | -- | Inf
959.10/959.20 c 959s| 4670k| 1454k| 12680k| 2.7 |1039M| 54 | 7 | 60 |5834 | 60 | 21 | 20 |2136k|4197 | 0.000000e+00 | -- | Inf
961.39/961.43 c 961s| 4680k| 1457k| 12706k| 2.7 |1041M| 54 | 7 | 60 |6294 | 60 | 21 | 20 |2141k|4210 | 0.000000e+00 | -- | Inf
963.69/963.78 c 964s| 4690k| 1459k| 12732k| 2.7 |1043M| 54 | 7 | 60 |5816 | 60 | 21 | 20 |2145k|4235 | 0.000000e+00 | -- | Inf
965.99/966.01 c 966s| 4700k| 1462k| 12759k| 2.7 |1046M| 54 | 7 | 60 |6432 | 60 | 21 | 20 |2150k|4272 | 0.000000e+00 | -- | Inf
968.29/968.30 c 968s| 4710k| 1465k| 12785k| 2.7 |1048M| 54 | - | 60 |6934 | 60 | 21 | 20 |2155k|4283 | 0.000000e+00 | -- | Inf
970.39/970.42 c 970s| 4720k| 1468k| 12813k| 2.7 |1050M| 54 | 7 | 60 |8273 | 60 | 21 | 20 |2160k|4283 | 0.000000e+00 | -- | Inf
972.79/972.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
972.79/972.84 c 973s| 4730k| 1470k| 12840k| 2.7 |1052M| 54 | 7 | 60 |7330 | 60 | 21 | 20 |2165k|4284 | 0.000000e+00 | -- | Inf
975.19/975.23 c 975s| 4740k| 1473k| 12866k| 2.7 |1054M| 54 | 7 | 60 |7135 | 60 | 21 | 20 |2170k|4311 | 0.000000e+00 | -- | Inf
977.69/977.72 c 978s| 4750k| 1475k| 12892k| 2.7 |1056M| 54 | - | 60 |6081 | 60 | 21 | 20 |2175k|4326 | 0.000000e+00 | -- | Inf
979.89/979.99 c 980s| 4760k| 1478k| 12918k| 2.7 |1058M| 54 | - | 60 |6418 | 60 | 21 | 20 |2179k|4332 | 0.000000e+00 | -- | Inf
982.30/982.38 c 982s| 4770k| 1481k| 12944k| 2.7 |1060M| 54 | 7 | 60 |5494 | 60 | 21 | 20 |2184k|4333 | 0.000000e+00 | -- | Inf
984.59/984.62 c 985s| 4780k| 1483k| 12972k| 2.7 |1062M| 54 | 7 | 60 |5500 | 60 | 21 | 20 |2189k|4333 | 0.000000e+00 | -- | Inf
986.69/986.75 c 987s| 4790k| 1486k| 12999k| 2.7 |1065M| 54 | - | 60 |6692 | 60 | 21 | 20 |2194k|4337 | 0.000000e+00 | -- | Inf
988.89/988.95 c 989s| 4800k| 1489k| 13027k| 2.7 |1067M| 54 | 7 | 60 |7484 | 60 | 21 | 20 |2199k|4341 | 0.000000e+00 | -- | Inf
991.29/991.30 c 991s| 4810k| 1492k| 13053k| 2.7 |1069M| 54 | 7 | 60 |5878 | 60 | 21 | 20 |2204k|4341 | 0.000000e+00 | -- | Inf
993.39/993.43 c 993s| 4820k| 1495k| 13080k| 2.7 |1071M| 54 | 7 | 60 |6813 | 60 | 21 | 20 |2208k|4343 | 0.000000e+00 | -- | Inf
995.49/995.57 c 996s| 4830k| 1498k| 13107k| 2.7 |1074M| 54 | - | 60 |8456 | 60 | 21 | 20 |2213k|4344 | 0.000000e+00 | -- | Inf
997.99/998.07 c 998s| 4840k| 1500k| 13133k| 2.7 |1076M| 54 | - | 60 |7384 | 60 | 21 | 20 |2218k|4344 | 0.000000e+00 | -- | Inf
1000.09/1000.15 c 1000s| 4850k| 1503k| 13160k| 2.7 |1078M| 54 | - | 60 |8085 | 60 | 21 | 20 |2223k|4345 | 0.000000e+00 | -- | Inf
1002.39/1002.43 c 1002s| 4860k| 1506k| 13187k| 2.7 |1080M| 54 | 7 | 60 |7721 | 60 | 21 | 20 |2228k|4345 | 0.000000e+00 | -- | Inf
1004.79/1004.80 c 1005s| 4870k| 1509k| 13214k| 2.7 |1082M| 54 | - | 60 |7579 | 60 | 21 | 20 |2232k|4348 | 0.000000e+00 | -- | Inf
1007.09/1007.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1007.09/1007.17 c 1007s| 4880k| 1511k| 13240k| 2.7 |1084M| 54 | 7 | 60 |7376 | 60 | 21 | 20 |2237k|4355 | 0.000000e+00 | -- | Inf
1009.09/1009.17 c 1009s| 4890k| 1514k| 13268k| 2.7 |1087M| 54 | 7 | 60 |9489 | 60 | 21 | 20 |2242k|4355 | 0.000000e+00 | -- | Inf
1011.49/1011.56 c 1012s| 4900k| 1517k| 13296k| 2.7 |1089M| 54 | - | 60 |8983 | 60 | 21 | 20 |2247k|4355 | 0.000000e+00 | -- | Inf
1014.10/1014.16 c 1014s| 4910k| 1520k| 13322k| 2.7 |1090M| 54 | - | 60 |6357 | 60 | 21 | 20 |2252k|4365 | 0.000000e+00 | -- | Inf
1016.50/1016.54 c 1017s| 4920k| 1522k| 13349k| 2.7 |1092M| 54 | 7 | 60 |5456 | 60 | 21 | 20 |2257k|4365 | 0.000000e+00 | -- | Inf
1018.70/1018.78 c 1019s| 4930k| 1525k| 13377k| 2.7 |1095M| 54 | 7 | 60 |6289 | 60 | 21 | 20 |2262k|4369 | 0.000000e+00 | -- | Inf
1020.99/1021.08 c 1021s| 4940k| 1528k| 13403k| 2.7 |1097M| 54 | 7 | 60 |6156 | 60 | 21 | 20 |2267k|4372 | 0.000000e+00 | -- | Inf
1023.29/1023.30 c 1023s| 4950k| 1530k| 13432k| 2.7 |1099M| 54 | 7 | 60 |7543 | 60 | 21 | 20 |2272k|4372 | 0.000000e+00 | -- | Inf
1025.70/1025.70 c 1026s| 4960k| 1532k| 13460k| 2.7 |1101M| 54 | 7 | 60 |7332 | 60 | 21 | 20 |2277k|4372 | 0.000000e+00 | -- | Inf
1028.09/1028.14 c 1028s| 4970k| 1535k| 13488k| 2.7 |1103M| 54 | - | 60 |7344 | 60 | 21 | 20 |2283k|4372 | 0.000000e+00 | -- | Inf
1030.50/1030.56 c 1031s| 4980k| 1538k| 13514k| 2.7 |1105M| 54 | 7 | 60 |6669 | 60 | 21 | 20 |2287k|4372 | 0.000000e+00 | -- | Inf
1032.59/1032.67 c 1033s| 4990k| 1541k| 13541k| 2.7 |1107M| 54 | 7 | 60 |7383 | 60 | 21 | 20 |2292k|4372 | 0.000000e+00 | -- | Inf
1034.79/1034.89 c 1035s| 5000k| 1543k| 13568k| 2.7 |1110M| 54 | - | 60 |7907 | 60 | 21 | 20 |2297k|4372 | 0.000000e+00 | -- | Inf
1036.89/1036.94 c 1037s| 5010k| 1547k| 13596k| 2.7 |1112M| 54 | 7 | 60 |8958 | 60 | 21 | 20 |2301k|4372 | 0.000000e+00 | -- | Inf
1038.99/1039.08 c 1039s| 5020k| 1550k| 13625k| 2.7 |1114M| 54 | 7 | 60 |9555 | 60 | 21 | 20 |2306k|4372 | 0.000000e+00 | -- | Inf
1041.39/1041.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1041.39/1041.44 c 1041s| 5030k| 1552k| 13653k| 2.7 |1116M| 54 | 7 | 60 |9280 | 60 | 21 | 20 |2310k|4372 | 0.000000e+00 | -- | Inf
1043.89/1043.98 c 1044s| 5040k| 1555k| 13681k| 2.7 |1118M| 54 | 7 | 60 |8563 | 60 | 21 | 20 |2315k|4372 | 0.000000e+00 | -- | Inf
1046.29/1046.33 c 1046s| 5050k| 1558k| 13708k| 2.7 |1120M| 54 | 7 | 60 |8752 | 60 | 21 | 20 |2320k|4377 | 0.000000e+00 | -- | Inf
1048.79/1048.80 c 1049s| 5060k| 1560k| 13736k| 2.7 |1122M| 54 | - | 60 |7626 | 60 | 21 | 20 |2325k|4380 | 0.000000e+00 | -- | Inf
1051.09/1051.13 c 1051s| 5070k| 1563k| 13764k| 2.7 |1125M| 54 | 7 | 60 |9462 | 60 | 21 | 20 |2330k|4380 | 0.000000e+00 | -- | Inf
1053.80/1053.88 c 1054s| 5080k| 1565k| 13791k| 2.7 |1126M| 54 | 7 | 60 |7341 | 60 | 21 | 20 |2336k|4394 | 0.000000e+00 | -- | Inf
1056.19/1056.22 c 1056s| 5090k| 1568k| 13818k| 2.7 |1128M| 54 | 7 | 60 |6897 | 60 | 21 | 20 |2340k|4396 | 0.000000e+00 | -- | Inf
1058.49/1058.58 c 1059s| 5100k| 1571k| 13845k| 2.7 |1130M| 54 | 7 | 60 |6671 | 60 | 21 | 20 |2345k|4398 | 0.000000e+00 | -- | Inf
1061.09/1061.11 c 1061s| 5110k| 1573k| 13871k| 2.7 |1132M| 54 | - | 60 |5722 | 60 | 21 | 20 |2350k|4400 | 0.000000e+00 | -- | Inf
1062.99/1063.09 c 1063s| 5120k| 1576k| 13899k| 2.7 |1135M| 54 | 7 | 60 |7964 | 60 | 21 | 20 |2355k|4400 | 0.000000e+00 | -- | Inf
1065.29/1065.39 c 1065s| 5130k| 1579k| 13926k| 2.7 |1137M| 54 | 7 | 60 |7307 | 60 | 21 | 20 |2360k|4401 | 0.000000e+00 | -- | Inf
1067.69/1067.72 c 1068s| 5140k| 1581k| 13953k| 2.7 |1139M| 54 | 7 | 60 |7442 | 60 | 21 | 20 |2365k|4421 | 0.000000e+00 | -- | Inf
1070.09/1070.16 c 1070s| 5150k| 1584k| 13979k| 2.7 |1141M| 54 | 7 | 60 |6629 | 60 | 21 | 20 |2369k|4423 | 0.000000e+00 | -- | Inf
1072.39/1072.46 c 1072s| 5160k| 1587k| 14005k| 2.7 |1143M| 54 | 7 | 60 |6437 | 60 | 21 | 20 |2374k|4425 | 0.000000e+00 | -- | Inf
1074.49/1074.57 c 1075s| 5170k| 1589k| 14031k| 2.7 |1145M| 54 | 7 | 60 |7666 | 60 | 21 | 20 |2379k|4426 | 0.000000e+00 | -- | Inf
1076.79/1076.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1076.79/1076.89 c 1077s| 5180k| 1592k| 14058k| 2.7 |1147M| 54 | 7 | 60 |7093 | 60 | 21 | 20 |2384k|4426 | 0.000000e+00 | -- | Inf
1078.89/1078.98 c 1079s| 5190k| 1595k| 14087k| 2.7 |1150M| 54 | 7 | 60 |8837 | 60 | 21 | 20 |2389k|4426 | 0.000000e+00 | -- | Inf
1081.49/1081.53 c 1082s| 5200k| 1598k| 14113k| 2.7 |1152M| 54 | 7 | 60 |7547 | 60 | 21 | 20 |2394k|4430 | 0.000000e+00 | -- | Inf
1083.69/1083.76 c 1084s| 5210k| 1600k| 14141k| 2.7 |1154M| 54 | - | 60 |8972 | 60 | 21 | 20 |2399k|4437 | 0.000000e+00 | -- | Inf
1086.29/1086.34 c 1086s| 5220k| 1603k| 14167k| 2.7 |1156M| 54 | - | 60 |7417 | 0 | 0 | 20 |2404k|4437 | 0.000000e+00 | -- | Inf
1088.70/1088.78 c 1089s| 5230k| 1606k| 14195k| 2.7 |1158M| 54 | 7 | 60 |6363 | 60 | 21 | 20 |2409k|4438 | 0.000000e+00 | -- | Inf
1091.29/1091.35 c 1091s| 5240k| 1608k| 14221k| 2.7 |1160M| 54 | 7 | 60 |6046 | 60 | 21 | 20 |2414k|4439 | 0.000000e+00 | -- | Inf
1093.49/1093.54 c 1094s| 5250k| 1611k| 14248k| 2.7 |1162M| 54 | 7 | 60 |7158 | 60 | 21 | 20 |2419k|4439 | 0.000000e+00 | -- | Inf
1095.69/1095.73 c 1096s| 5260k| 1614k| 14276k| 2.7 |1164M| 54 | 7 | 60 |8064 | 60 | 21 | 20 |2424k|4441 | 0.000000e+00 | -- | Inf
1097.99/1098.01 c 1098s| 5270k| 1616k| 14304k| 2.7 |1167M| 54 | 7 | 60 |8454 | 60 | 21 | 20 |2429k|4441 | 0.000000e+00 | -- | Inf
1100.19/1100.28 c 1100s| 5280k| 1618k| 14333k| 2.7 |1169M| 54 | 7 | 60 |9562 | 60 | 21 | 20 |2434k|4441 | 0.000000e+00 | -- | Inf
1102.69/1102.79 c 1103s| 5290k| 1621k| 14359k| 2.7 |1171M| 54 | 7 | 60 |7927 | 60 | 21 | 20 |2439k|4445 | 0.000000e+00 | -- | Inf
1104.99/1105.04 c 1105s| 5300k| 1624k| 14386k| 2.7 |1173M| 54 | - | 60 |9140 | 60 | 21 | 20 |2444k|4447 | 0.000000e+00 | -- | Inf
1107.39/1107.42 c 1107s| 5310k| 1626k| 14412k| 2.7 |1175M| 54 | 7 | 60 |9024 | 60 | 21 | 20 |2449k|4447 | 0.000000e+00 | -- | Inf
1109.79/1109.87 c 1110s| 5320k| 1629k| 14439k| 2.7 |1177M| 54 | 7 | 60 |8318 | 60 | 21 | 20 |2454k|4454 | 0.000000e+00 | -- | Inf
1111.99/1112.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1111.99/1112.08 c 1112s| 5330k| 1632k| 14466k| 2.7 |1179M| 54 | 7 | 60 |8973 | 60 | 21 | 20 |2458k|4459 | 0.000000e+00 | -- | Inf
1114.38/1114.44 c 1114s| 5340k| 1635k| 14493k| 2.7 |1182M| 54 | 7 | 60 |9071 | 60 | 21 | 20 |2463k|4460 | 0.000000e+00 | -- | Inf
1116.69/1116.76 c 1117s| 5350k| 1638k| 14520k| 2.7 |1184M| 54 | 7 | 60 |8280 | 60 | 21 | 20 |2468k|4461 | 0.000000e+00 | -- | Inf
1118.89/1118.95 c 1119s| 5360k| 1641k| 14547k| 2.7 |1186M| 54 | 7 | 60 |9434 | 60 | 21 | 20 |2472k|4461 | 0.000000e+00 | -- | Inf
1121.18/1121.28 c 1121s| 5370k| 1643k| 14574k| 2.7 |1188M| 54 | - | 60 | 10k| 60 | 21 | 20 |2477k|4461 | 0.000000e+00 | -- | Inf
1123.89/1123.99 c 1124s| 5380k| 1646k| 14602k| 2.7 |1190M| 54 | - | 60 |7294 | 60 | 21 | 20 |2482k|4475 | 0.000000e+00 | -- | Inf
1126.40/1126.43 c 1126s| 5390k| 1648k| 14628k| 2.7 |1192M| 54 | 7 | 60 |6767 | 60 | 21 | 20 |2487k|4475 | 0.000000e+00 | -- | Inf
1128.79/1128.88 c 1129s| 5400k| 1651k| 14655k| 2.7 |1194M| 54 | 7 | 60 |6321 | 60 | 21 | 20 |2492k|4475 | 0.000000e+00 | -- | Inf
1130.99/1131.00 c 1131s| 5410k| 1654k| 14682k| 2.7 |1196M| 54 | 7 | 60 |7530 | 60 | 21 | 20 |2497k|4475 | 0.000000e+00 | -- | Inf
1133.38/1133.40 c 1133s| 5420k| 1657k| 14708k| 2.7 |1198M| 54 | 7 | 60 |6538 | 60 | 21 | 20 |2502k|4478 | 0.000000e+00 | -- | Inf
1135.79/1135.88 c 1136s| 5430k| 1660k| 14735k| 2.7 |1200M| 54 | - | 60 |6283 | 60 | 21 | 20 |2507k|4478 | 0.000000e+00 | -- | Inf
1138.09/1138.15 c 1138s| 5440k| 1662k| 14761k| 2.7 |1202M| 54 | - | 60 |6755 | 60 | 21 | 20 |2511k|4482 | 0.000000e+00 | -- | Inf
1140.49/1140.59 c 1141s| 5450k| 1665k| 14787k| 2.7 |1204M| 54 | - | 60 |5792 | 60 | 21 | 20 |2516k|4483 | 0.000000e+00 | -- | Inf
1142.59/1142.67 c 1143s| 5460k| 1668k| 14815k| 2.7 |1207M| 54 | 7 | 60 |7347 | 60 | 21 | 20 |2521k|4484 | 0.000000e+00 | -- | Inf
1144.99/1145.01 c 1145s| 5470k| 1671k| 14842k| 2.7 |1209M| 54 | 7 | 60 |7074 | 60 | 21 | 20 |2526k|4485 | 0.000000e+00 | -- | Inf
1147.69/1147.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1147.69/1147.78 c 1148s| 5480k| 1673k| 14868k| 2.7 |1211M| 54 | 7 | 60 |5486 | 60 | 21 | 20 |2531k|4489 | 0.000000e+00 | -- | Inf
1150.09/1150.15 c 1150s| 5490k| 1676k| 14894k| 2.7 |1213M| 54 | - | 60 |5866 | 60 | 21 | 20 |2536k|4490 | 0.000000e+00 | -- | Inf
1152.59/1152.61 c 1153s| 5500k| 1678k| 14921k| 2.7 |1215M| 54 | 7 | 60 |5923 | 60 | 21 | 20 |2541k|4491 | 0.000000e+00 | -- | Inf
1154.79/1154.88 c 1155s| 5510k| 1681k| 14947k| 2.7 |1217M| 54 | - | 60 |6810 | 60 | 21 | 20 |2545k|4493 | 0.000000e+00 | -- | Inf
1157.09/1157.20 c 1157s| 5520k| 1684k| 14974k| 2.7 |1219M| 54 | 7 | 60 |6817 | 60 | 21 | 20 |2550k|4495 | 0.000000e+00 | -- | Inf
1159.49/1159.52 c 1160s| 5530k| 1687k| 15000k| 2.7 |1221M| 54 | 7 | 60 |6691 | 60 | 21 | 20 |2555k|4502 | 0.000000e+00 | -- | Inf
1161.69/1161.77 c 1162s| 5540k| 1689k| 15028k| 2.7 |1224M| 54 | 7 | 60 |7372 | 60 | 21 | 20 |2560k|4502 | 0.000000e+00 | -- | Inf
1164.19/1164.26 c 1164s| 5550k| 1692k| 15056k| 2.7 |1226M| 54 | 7 | 60 |6556 | 60 | 21 | 20 |2565k|4502 | 0.000000e+00 | -- | Inf
1166.59/1166.66 c 1167s| 5560k| 1695k| 15082k| 2.7 |1228M| 54 | - | 60 |6055 | 60 | 21 | 20 |2570k|4502 | 0.000000e+00 | -- | Inf
1168.99/1169.05 c 1169s| 5570k| 1697k| 15108k| 2.7 |1230M| 54 | - | 60 |6083 | 60 | 21 | 20 |2575k|4502 | 0.000000e+00 | -- | Inf
1171.19/1171.25 c 1171s| 5580k| 1700k| 15134k| 2.7 |1232M| 54 | 7 | 60 |6393 | 60 | 21 | 20 |2580k|4502 | 0.000000e+00 | -- | Inf
1173.29/1173.33 c 1173s| 5590k| 1703k| 15162k| 2.7 |1234M| 54 | - | 60 |7194 | 60 | 21 | 20 |2584k|4502 | 0.000000e+00 | -- | Inf
1175.69/1175.73 c 1176s| 5600k| 1706k| 15189k| 2.7 |1236M| 54 | - | 60 |7110 | 60 | 21 | 20 |2589k|4502 | 0.000000e+00 | -- | Inf
1177.59/1177.68 c 1178s| 5610k| 1709k| 15215k| 2.7 |1239M| 54 | 7 | 60 |9177 | 60 | 21 | 20 |2594k|4502 | 0.000000e+00 | -- | Inf
1179.89/1179.90 c 1180s| 5620k| 1712k| 15243k| 2.7 |1241M| 54 | 7 | 60 |9120 | 60 | 21 | 20 |2599k|4502 | 0.000000e+00 | -- | Inf
1181.89/1181.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1181.89/1181.90 c 1182s| 5630k| 1715k| 15270k| 2.7 |1244M| 54 | - | 60 | 10k| 60 | 21 | 20 |2603k|4502 | 0.000000e+00 | -- | Inf
1184.09/1184.19 c 1184s| 5640k| 1718k| 15296k| 2.7 |1246M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |2608k|4502 | 0.000000e+00 | -- | Inf
1186.38/1186.44 c 1186s| 5650k| 1722k| 15324k| 2.7 |1249M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |2612k|4502 | 0.000000e+00 | -- | Inf
1188.79/1188.89 c 1189s| 5660k| 1725k| 15351k| 2.7 |1251M| 54 | - | 60 | 11k| 60 | 21 | 20 |2617k|4502 | 0.000000e+00 | -- | Inf
1191.30/1191.39 c 1191s| 5670k| 1727k| 15378k| 2.7 |1253M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |2622k|4502 | 0.000000e+00 | -- | Inf
1193.89/1193.95 c 1194s| 5680k| 1730k| 15405k| 2.7 |1255M| 54 | - | 60 | 11k| 60 | 21 | 20 |2627k|4502 | 0.000000e+00 | -- | Inf
1196.49/1196.55 c 1197s| 5690k| 1733k| 15431k| 2.7 |1257M| 54 | - | 60 | 11k| 60 | 21 | 20 |2632k|4502 | 0.000000e+00 | -- | Inf
1199.00/1199.06 c 1199s| 5700k| 1735k| 15459k| 2.7 |1259M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |2636k|4502 | 0.000000e+00 | -- | Inf
1201.79/1201.89 c 1202s| 5710k| 1738k| 15485k| 2.7 |1260M| 54 | 7 | 60 |7589 | 60 | 21 | 20 |2641k|4502 | 0.000000e+00 | -- | Inf
1204.19/1204.29 c 1204s| 5720k| 1741k| 15512k| 2.7 |1262M| 54 | 7 | 60 |8307 | 60 | 21 | 20 |2646k|4502 | 0.000000e+00 | -- | Inf
1206.89/1206.96 c 1207s| 5730k| 1743k| 15538k| 2.7 |1264M| 54 | 7 | 60 |6752 | 60 | 21 | 20 |2651k|4502 | 0.000000e+00 | -- | Inf
1209.59/1209.61 c 1210s| 5740k| 1746k| 15564k| 2.7 |1266M| 54 | 7 | 60 |5538 | 60 | 21 | 20 |2656k|4502 | 0.000000e+00 | -- | Inf
1211.99/1212.00 c 1212s| 5750k| 1748k| 15590k| 2.7 |1268M| 54 | - | 60 |5790 | 0 | 0 | 20 |2661k|4502 | 0.000000e+00 | -- | Inf
1214.29/1214.37 c 1214s| 5760k| 1751k| 15616k| 2.7 |1270M| 54 | 7 | 60 |6488 | 60 | 21 | 20 |2666k|4502 | 0.000000e+00 | -- | Inf
1216.59/1216.67 c 1217s| 5770k| 1753k| 15644k| 2.7 |1272M| 54 | 7 | 60 |7462 | 60 | 21 | 20 |2672k|4502 | 0.000000e+00 | -- | Inf
1218.89/1218.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1218.89/1218.97 c 1219s| 5780k| 1756k| 15671k| 2.7 |1275M| 54 | - | 60 |7342 | 60 | 21 | 20 |2677k|4502 | 0.000000e+00 | -- | Inf
1221.49/1221.52 c 1222s| 5790k| 1758k| 15697k| 2.7 |1276M| 54 | - | 60 |5866 | 60 | 21 | 20 |2682k|4502 | 0.000000e+00 | -- | Inf
1223.79/1223.88 c 1224s| 5800k| 1761k| 15723k| 2.7 |1278M| 54 | - | 60 |6057 | 60 | 21 | 20 |2687k|4502 | 0.000000e+00 | -- | Inf
1226.19/1226.23 c 1226s| 5810k| 1764k| 15749k| 2.7 |1281M| 54 | - | 60 |6450 | 60 | 21 | 20 |2691k|4502 | 0.000000e+00 | -- | Inf
1228.49/1228.57 c 1229s| 5820k| 1766k| 15776k| 2.7 |1283M| 54 | - | 60 |6775 | 60 | 21 | 20 |2697k|4503 | 0.000000e+00 | -- | Inf
1231.09/1231.13 c 1231s| 5830k| 1769k| 15802k| 2.7 |1285M| 54 | 7 | 60 |5705 | 60 | 21 | 20 |2701k|4507 | 0.000000e+00 | -- | Inf
1233.29/1233.34 c 1233s| 5840k| 1772k| 15830k| 2.7 |1287M| 54 | - | 60 |6892 | 60 | 21 | 20 |2706k|4509 | 0.000000e+00 | -- | Inf
1235.49/1235.51 c 1236s| 5850k| 1774k| 15856k| 2.7 |1289M| 54 | - | 60 |7962 | 60 | 21 | 20 |2711k|4510 | 0.000000e+00 | -- | Inf
1237.59/1237.68 c 1238s| 5860k| 1777k| 15885k| 2.7 |1292M| 54 | 7 | 60 |9264 | 60 | 21 | 20 |2716k|4510 | 0.000000e+00 | -- | Inf
1240.19/1240.29 c 1240s| 5870k| 1779k| 15913k| 2.7 |1293M| 54 | - | 60 |7697 | 60 | 21 | 20 |2721k|4516 | 0.000000e+00 | -- | Inf
1242.79/1242.89 c 1243s| 5880k| 1782k| 15940k| 2.7 |1295M| 54 | 7 | 60 |6115 | 60 | 21 | 20 |2726k|4516 | 0.000000e+00 | -- | Inf
1245.09/1245.16 c 1245s| 5890k| 1784k| 15968k| 2.7 |1297M| 54 | 7 | 60 |7019 | 60 | 21 | 20 |2731k|4516 | 0.000000e+00 | -- | Inf
1247.29/1247.32 c 1247s| 5900k| 1787k| 15998k| 2.7 |1299M| 54 | 7 | 60 |7756 | 60 | 21 | 20 |2737k|4516 | 0.000000e+00 | -- | Inf
1249.49/1249.59 c 1250s| 5910k| 1789k| 16025k| 2.7 |1301M| 54 | 7 | 60 |7291 | 60 | 21 | 20 |2742k|4518 | 0.000000e+00 | -- | Inf
1251.99/1252.04 c 1252s| 5920k| 1791k| 16051k| 2.7 |1303M| 54 | 7 | 60 |7033 | 60 | 21 | 20 |2747k|4518 | 0.000000e+00 | -- | Inf
1254.39/1254.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.39/1254.48 c 1254s| 5930k| 1794k| 16078k| 2.7 |1305M| 54 | 7 | 60 |6114 | 60 | 21 | 20 |2752k|4520 | 0.000000e+00 | -- | Inf
1256.79/1256.89 c 1257s| 5940k| 1797k| 16104k| 2.7 |1307M| 54 | - | 60 |5934 | 60 | 21 | 20 |2757k|4528 | 0.000000e+00 | -- | Inf
1259.29/1259.35 c 1259s| 5950k| 1799k| 16130k| 2.7 |1309M| 54 | - | 60 |6490 | 60 | 21 | 20 |2762k|4531 | 0.000000e+00 | -- | Inf
1261.70/1261.76 c 1262s| 5960k| 1802k| 16157k| 2.7 |1312M| 54 | 7 | 60 |7187 | 60 | 21 | 20 |2767k|4531 | 0.000000e+00 | -- | Inf
1264.09/1264.14 c 1264s| 5970k| 1804k| 16185k| 2.7 |1314M| 54 | 7 | 60 |7245 | 60 | 21 | 20 |2772k|4531 | 0.000000e+00 | -- | Inf
1266.29/1266.30 c 1266s| 5980k| 1807k| 16213k| 2.7 |1316M| 54 | 7 | 60 |9017 | 60 | 21 | 20 |2777k|4531 | 0.000000e+00 | -- | Inf
1268.49/1268.50 c 1269s| 5990k| 1810k| 16240k| 2.7 |1319M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |2782k|4531 | 0.000000e+00 | -- | Inf
1270.79/1270.86 c 1271s| 6000k| 1813k| 16267k| 2.7 |1321M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |2786k|4531 | 0.000000e+00 | -- | Inf
1273.59/1273.60 c 1274s| 6010k| 1816k| 16294k| 2.7 |1323M| 54 | 7 | 60 |8961 | 60 | 21 | 20 |2791k|4531 | 0.000000e+00 | -- | Inf
1275.79/1275.80 c 1276s| 6020k| 1819k| 16321k| 2.7 |1325M| 54 | - | 60 | 10k| 60 | 21 | 20 |2795k|4531 | 0.000000e+00 | -- | Inf
1278.59/1278.62 c 1279s| 6030k| 1822k| 16347k| 2.7 |1327M| 54 | - | 60 |6927 | 60 | 21 | 20 |2800k|4531 | 0.000000e+00 | -- | Inf
1280.69/1280.79 c 1281s| 6040k| 1825k| 16373k| 2.7 |1329M| 54 | - | 60 |7472 | 60 | 21 | 20 |2805k|4531 | 0.000000e+00 | -- | Inf
1282.99/1283.07 c 1283s| 6050k| 1828k| 16400k| 2.7 |1331M| 54 | 7 | 60 |7568 | 60 | 21 | 20 |2810k|4531 | 0.000000e+00 | -- | Inf
1285.09/1285.16 c 1285s| 6060k| 1830k| 16427k| 2.7 |1334M| 54 | 7 | 60 |9126 | 60 | 21 | 20 |2815k|4531 | 0.000000e+00 | -- | Inf
1287.59/1287.68 c 1288s| 6070k| 1833k| 16454k| 2.7 |1335M| 54 | 7 | 60 |8394 | 60 | 21 | 20 |2820k|4531 | 0.000000e+00 | -- | Inf
1290.09/1290.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1290.09/1290.19 c 1290s| 6080k| 1836k| 16480k| 2.7 |1337M| 54 | 7 | 60 |7173 | 60 | 21 | 20 |2825k|4531 | 0.000000e+00 | -- | Inf
1292.50/1292.56 c 1293s| 6090k| 1838k| 16506k| 2.7 |1339M| 54 | 7 | 60 |6790 | 60 | 21 | 20 |2829k|4534 | 0.000000e+00 | -- | Inf
1294.60/1294.66 c 1295s| 6100k| 1842k| 16533k| 2.7 |1342M| 54 | 7 | 60 |7811 | 60 | 21 | 20 |2834k|4534 | 0.000000e+00 | -- | Inf
1296.90/1296.94 c 1297s| 6110k| 1845k| 16560k| 2.7 |1344M| 54 | 7 | 60 |8423 | 60 | 21 | 20 |2839k|4534 | 0.000000e+00 | -- | Inf
1299.19/1299.29 c 1299s| 6120k| 1847k| 16588k| 2.7 |1346M| 54 | - | 60 |8069 | 60 | 21 | 20 |2844k|4534 | 0.000000e+00 | -- | Inf
1301.59/1301.65 c 1302s| 6130k| 1850k| 16615k| 2.7 |1349M| 54 | 7 | 60 |8843 | 60 | 21 | 20 |2849k|4534 | 0.000000e+00 | -- | Inf
1304.09/1304.13 c 1304s| 6140k| 1852k| 16642k| 2.7 |1351M| 54 | 7 | 60 |8983 | 60 | 21 | 20 |2854k|4534 | 0.000000e+00 | -- | Inf
1306.49/1306.56 c 1307s| 6150k| 1855k| 16670k| 2.7 |1353M| 54 | 7 | 60 |9111 | 60 | 21 | 20 |2859k|4534 | 0.000000e+00 | -- | Inf
1309.00/1309.06 c 1309s| 6160k| 1857k| 16697k| 2.7 |1355M| 54 | 7 | 60 |8918 | 60 | 21 | 20 |2864k|4535 | 0.000000e+00 | -- | Inf
1311.29/1311.38 c 1311s| 6170k| 1860k| 16724k| 2.7 |1357M| 54 | - | 60 |8932 | 60 | 21 | 20 |2869k|4554 | 0.000000e+00 | -- | Inf
1313.99/1314.01 c 1314s| 6180k| 1863k| 16751k| 2.7 |1359M| 54 | 7 | 60 |7115 | 60 | 21 | 20 |2874k|4556 | 0.000000e+00 | -- | Inf
1316.39/1316.43 c 1316s| 6190k| 1866k| 16777k| 2.7 |1361M| 54 | - | 60 |8168 | 60 | 21 | 20 |2879k|4557 | 0.000000e+00 | -- | Inf
1319.09/1319.14 c 1319s| 6200k| 1868k| 16804k| 2.7 |1363M| 54 | 7 | 60 |6864 | 60 | 21 | 20 |2884k|4559 | 0.000000e+00 | -- | Inf
1321.49/1321.56 c 1322s| 6210k| 1871k| 16830k| 2.7 |1365M| 54 | - | 60 |6591 | 60 | 21 | 20 |2888k|4561 | 0.000000e+00 | -- | Inf
1323.99/1324.07 c 1324s| 6220k| 1873k| 16856k| 2.7 |1367M| 54 | - | 60 |6550 | 60 | 21 | 20 |2894k|4562 | 0.000000e+00 | -- | Inf
1326.09/1326.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1326.09/1326.17 c 1326s| 6230k| 1876k| 16884k| 2.7 |1369M| 54 | 7 | 60 |8178 | 60 | 21 | 20 |2898k|4562 | 0.000000e+00 | -- | Inf
1328.39/1328.47 c 1328s| 6240k| 1879k| 16910k| 2.7 |1371M| 54 | - | 60 |8461 | 60 | 21 | 20 |2903k|4563 | 0.000000e+00 | -- | Inf
1331.09/1331.11 c 1331s| 6250k| 1881k| 16937k| 2.7 |1373M| 54 | - | 60 |6576 | 60 | 21 | 20 |2908k|4570 | 0.000000e+00 | -- | Inf
1333.49/1333.55 c 1334s| 6260k| 1884k| 16963k| 2.7 |1375M| 54 | 7 | 60 |5838 | 60 | 21 | 20 |2913k|4571 | 0.000000e+00 | -- | Inf
1335.49/1335.54 c 1336s| 6270k| 1887k| 16992k| 2.7 |1377M| 54 | 7 | 60 |6988 | 60 | 21 | 20 |2918k|4574 | 0.000000e+00 | -- | Inf
1337.60/1337.68 c 1338s| 6280k| 1890k| 17021k| 2.7 |1380M| 54 | 7 | 60 |7904 | 60 | 21 | 20 |2923k|4580 | 0.000000e+00 | -- | Inf
1339.89/1339.97 c 1340s| 6290k| 1893k| 17050k| 2.7 |1382M| 54 | 7 | 60 |7869 | 60 | 21 | 20 |2928k|4580 | 0.000000e+00 | -- | Inf
1342.59/1342.67 c 1343s| 6300k| 1895k| 17076k| 2.7 |1383M| 54 | 7 | 60 |5700 | 60 | 21 | 20 |2932k|4580 | 0.000000e+00 | -- | Inf
1344.99/1345.02 c 1345s| 6310k| 1898k| 17102k| 2.7 |1386M| 54 | 7 | 60 |6134 | 60 | 21 | 20 |2937k|4580 | 0.000000e+00 | -- | Inf
1347.29/1347.31 c 1347s| 6320k| 1901k| 17129k| 2.7 |1388M| 54 | - | 60 |6483 | 60 | 21 | 20 |2942k|4580 | 0.000000e+00 | -- | Inf
1349.59/1349.65 c 1350s| 6330k| 1903k| 17156k| 2.7 |1390M| 54 | - | 60 |6648 | 60 | 21 | 20 |2947k|4580 | 0.000000e+00 | -- | Inf
1351.90/1351.93 c 1352s| 6340k| 1906k| 17182k| 2.7 |1392M| 54 | 7 | 60 |6657 | 60 | 21 | 20 |2952k|4580 | 0.000000e+00 | -- | Inf
1354.19/1354.29 c 1354s| 6350k| 1909k| 17208k| 2.7 |1394M| 54 | - | 60 |6597 | 60 | 21 | 20 |2957k|4580 | 0.000000e+00 | -- | Inf
1356.69/1356.70 c 1357s| 6360k| 1912k| 17235k| 2.7 |1396M| 54 | 7 | 60 |6810 | 60 | 21 | 20 |2962k|4580 | 0.000000e+00 | -- | Inf
1358.99/1359.00 c 1359s| 6370k| 1914k| 17263k| 2.7 |1399M| 54 | 7 | 60 |7675 | 60 | 21 | 20 |2966k|4580 | 0.000000e+00 | -- | Inf
1361.39/1361.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1361.39/1361.47 c 1361s| 6380k| 1917k| 17289k| 2.7 |1401M| 54 | 7 | 60 |7009 | 60 | 21 | 20 |2971k|4580 | 0.000000e+00 | -- | Inf
1364.10/1364.17 c 1364s| 6390k| 1919k| 17315k| 2.7 |1402M| 54 | - | 60 |5759 | 60 | 21 | 20 |2976k|4580 | 0.000000e+00 | -- | Inf
1366.29/1366.37 c 1366s| 6400k| 1923k| 17342k| 2.7 |1405M| 54 | - | 60 |6589 | 60 | 21 | 20 |2981k|4580 | 0.000000e+00 | -- | Inf
1368.69/1368.76 c 1369s| 6410k| 1925k| 17368k| 2.7 |1407M| 54 | 7 | 60 |5935 | 60 | 21 | 20 |2986k|4580 | 0.000000e+00 | -- | Inf
1370.99/1371.02 c 1371s| 6420k| 1928k| 17394k| 2.7 |1409M| 54 | 7 | 60 |6847 | 60 | 21 | 20 |2991k|4580 | 0.000000e+00 | -- | Inf
1373.49/1373.57 c 1374s| 6430k| 1931k| 17421k| 2.7 |1411M| 54 | 7 | 60 |6543 | 60 | 21 | 20 |2996k|4580 | 0.000000e+00 | -- | Inf
1375.80/1375.87 c 1376s| 6440k| 1933k| 17447k| 2.7 |1414M| 54 | 7 | 60 |7844 | 60 | 21 | 20 |3001k|4580 | 0.000000e+00 | -- | Inf
1378.39/1378.45 c 1378s| 6450k| 1936k| 17474k| 2.7 |1415M| 54 | - | 60 |5891 | 60 | 21 | 20 |3006k|4580 | 0.000000e+00 | -- | Inf
1380.70/1380.77 c 1381s| 6460k| 1938k| 17501k| 2.7 |1417M| 54 | 7 | 60 |6535 | 60 | 21 | 20 |3011k|4580 | 0.000000e+00 | -- | Inf
1383.09/1383.15 c 1383s| 6470k| 1941k| 17529k| 2.7 |1420M| 54 | - | 60 |7560 | 60 | 21 | 20 |3016k|4580 | 0.000000e+00 | -- | Inf
1385.69/1385.71 c 1386s| 6480k| 1943k| 17555k| 2.7 |1421M| 54 | 7 | 60 |5853 | 60 | 21 | 20 |3021k|4580 | 0.000000e+00 | -- | Inf
1387.89/1387.90 c 1388s| 6490k| 1946k| 17582k| 2.7 |1424M| 54 | 7 | 60 |6931 | 60 | 21 | 20 |3025k|4580 | 0.000000e+00 | -- | Inf
1390.19/1390.24 c 1390s| 6500k| 1949k| 17608k| 2.7 |1426M| 54 | 7 | 60 |7685 | 60 | 21 | 20 |3030k|4580 | 0.000000e+00 | -- | Inf
1392.70/1392.73 c 1393s| 6510k| 1951k| 17636k| 2.7 |1428M| 54 | 7 | 60 |7944 | 60 | 21 | 20 |3036k|4580 | 0.000000e+00 | -- | Inf
1395.19/1395.22 c 1395s| 6520k| 1954k| 17662k| 2.7 |1430M| 54 | 7 | 60 |6830 | 60 | 21 | 20 |3041k|4580 | 0.000000e+00 | -- | Inf
1397.59/1397.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1397.59/1397.62 c 1398s| 6530k| 1957k| 17689k| 2.7 |1432M| 54 | - | 60 |7493 | 60 | 21 | 20 |3046k|4580 | 0.000000e+00 | -- | Inf
1399.79/1399.86 c 1400s| 6540k| 1959k| 17716k| 2.7 |1435M| 54 | 7 | 60 |8423 | 60 | 21 | 20 |3050k|4580 | 0.000000e+00 | -- | Inf
1402.19/1402.22 c 1402s| 6550k| 1962k| 17743k| 2.7 |1437M| 54 | - | 60 |8556 | 60 | 21 | 20 |3055k|4580 | 0.000000e+00 | -- | Inf
1404.69/1404.77 c 1405s| 6560k| 1964k| 17770k| 2.7 |1439M| 54 | 7 | 60 |8896 | 60 | 21 | 20 |3060k|4580 | 0.000000e+00 | -- | Inf
1406.99/1407.09 c 1407s| 6570k| 1967k| 17797k| 2.7 |1441M| 54 | - | 60 |9441 | 60 | 21 | 20 |3065k|4580 | 0.000000e+00 | -- | Inf
1409.69/1409.79 c 1410s| 6580k| 1970k| 17824k| 2.7 |1443M| 54 | 7 | 60 |6873 | 60 | 21 | 20 |3070k|4580 | 0.000000e+00 | -- | Inf
1412.29/1412.35 c 1412s| 6590k| 1972k| 17850k| 2.7 |1444M| 54 | 7 | 60 |5624 | 60 | 21 | 20 |3075k|4580 | 0.000000e+00 | -- | Inf
1414.80/1414.82 c 1415s| 6600k| 1975k| 17876k| 2.7 |1447M| 54 | 7 | 60 |6046 | 60 | 21 | 20 |3080k|4580 | 0.000000e+00 | -- | Inf
1417.09/1417.12 c 1417s| 6610k| 1978k| 17903k| 2.7 |1449M| 54 | 7 | 60 |6817 | 60 | 21 | 20 |3085k|4580 | 0.000000e+00 | -- | Inf
1419.29/1419.35 c 1419s| 6620k| 1980k| 17930k| 2.7 |1451M| 54 | 7 | 60 |7979 | 60 | 21 | 20 |3090k|4580 | 0.000000e+00 | -- | Inf
1422.00/1422.01 c 1422s| 6630k| 1983k| 17956k| 2.7 |1453M| 54 | 7 | 60 |6447 | 60 | 21 | 20 |3095k|4580 | 0.000000e+00 | -- | Inf
1424.39/1424.46 c 1424s| 6640k| 1985k| 17983k| 2.7 |1455M| 54 | - | 60 |5963 | 60 | 21 | 20 |3100k|4581 | 0.000000e+00 | -- | Inf
1426.29/1426.39 c 1426s| 6650k| 1988k| 18010k| 2.7 |1458M| 54 | 7 | 60 |7757 | 60 | 21 | 20 |3104k|4581 | 0.000000e+00 | -- | Inf
1428.50/1428.52 c 1429s| 6660k| 1991k| 18037k| 2.7 |1460M| 54 | 7 | 60 |8538 | 60 | 21 | 20 |3109k|4581 | 0.000000e+00 | -- | Inf
1430.69/1430.77 c 1431s| 6670k| 1993k| 18065k| 2.7 |1462M| 54 | 7 | 60 |8764 | 60 | 21 | 20 |3114k|4581 | 0.000000e+00 | -- | Inf
1433.19/1433.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1433.19/1433.27 c 1433s| 6680k| 1995k| 18092k| 2.7 |1464M| 54 | 7 | 60 |8399 | 60 | 21 | 20 |3120k|4581 | 0.000000e+00 | -- | Inf
1435.80/1435.85 c 1436s| 6690k| 1998k| 18119k| 2.7 |1465M| 54 | - | 60 |6683 | 60 | 21 | 20 |3125k|4588 | 0.000000e+00 | -- | Inf
1438.10/1438.13 c 1438s| 6700k| 2001k| 18146k| 2.7 |1468M| 54 | - | 60 |7252 | 60 | 21 | 20 |3129k|4588 | 0.000000e+00 | -- | Inf
1440.50/1440.51 c 1441s| 6710k| 2003k| 18172k| 2.7 |1470M| 54 | - | 60 |6750 | 60 | 21 | 20 |3134k|4598 | 0.000000e+00 | -- | Inf
1442.90/1442.92 c 1443s| 6720k| 2006k| 18200k| 2.7 |1472M| 54 | 7 | 60 |7083 | 60 | 21 | 20 |3139k|4606 | 0.000000e+00 | -- | Inf
1445.19/1445.25 c 1445s| 6730k| 2008k| 18227k| 2.7 |1474M| 54 | 7 | 60 |6726 | 60 | 21 | 20 |3144k|4608 | 0.000000e+00 | -- | Inf
1447.49/1447.59 c 1448s| 6740k| 2011k| 18253k| 2.7 |1476M| 54 | - | 60 |7264 | 60 | 21 | 20 |3149k|4610 | 0.000000e+00 | -- | Inf
1450.29/1450.35 c 1450s| 6750k| 2013k| 18280k| 2.7 |1478M| 54 | 7 | 60 |5925 | 60 | 21 | 20 |3155k|4612 | 0.000000e+00 | -- | Inf
1452.39/1452.43 c 1452s| 6760k| 2016k| 18308k| 2.7 |1480M| 54 | 7 | 60 |7839 | 60 | 21 | 20 |3159k|4617 | 0.000000e+00 | -- | Inf
1454.79/1454.84 c 1455s| 6770k| 2018k| 18335k| 2.7 |1482M| 54 | 7 | 60 |8083 | 60 | 21 | 20 |3165k|4618 | 0.000000e+00 | -- | Inf
1457.29/1457.39 c 1457s| 6780k| 2021k| 18362k| 2.7 |1484M| 54 | 7 | 60 |7109 | 60 | 21 | 20 |3170k|4621 | 0.000000e+00 | -- | Inf
1459.70/1459.72 c 1460s| 6790k| 2023k| 18390k| 2.7 |1487M| 54 | 7 | 60 |8405 | 60 | 21 | 20 |3175k|4621 | 0.000000e+00 | -- | Inf
1462.29/1462.33 c 1462s| 6800k| 2026k| 18417k| 2.7 |1488M| 54 | - | 60 |7009 | 60 | 21 | 20 |3180k|4628 | 0.000000e+00 | -- | Inf
1464.69/1464.77 c 1465s| 6810k| 2028k| 18444k| 2.7 |1490M| 54 | - | 60 |6541 | 60 | 21 | 20 |3185k|4629 | 0.000000e+00 | -- | Inf
1466.99/1467.08 c 1467s| 6820k| 2031k| 18470k| 2.7 |1492M| 54 | 7 | 60 |6673 | 60 | 21 | 20 |3189k|4629 | 0.000000e+00 | -- | Inf
1469.19/1469.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1469.19/1469.26 c 1469s| 6830k| 2034k| 18497k| 2.7 |1495M| 54 | - | 60 |7530 | 60 | 21 | 20 |3194k|4629 | 0.000000e+00 | -- | Inf
1471.59/1471.62 c 1472s| 6840k| 2037k| 18524k| 2.7 |1497M| 54 | - | 60 |7379 | 60 | 21 | 20 |3199k|4632 | 0.000000e+00 | -- | Inf
1473.99/1474.03 c 1474s| 6850k| 2039k| 18551k| 2.7 |1499M| 54 | 7 | 60 |7987 | 60 | 21 | 20 |3204k|4632 | 0.000000e+00 | -- | Inf
1476.30/1476.36 c 1476s| 6860k| 2042k| 18579k| 2.7 |1501M| 54 | 7 | 60 |8369 | 60 | 21 | 20 |3209k|4632 | 0.000000e+00 | -- | Inf
1478.79/1478.88 c 1479s| 6870k| 2045k| 18606k| 2.7 |1503M| 54 | 7 | 60 |6682 | 60 | 21 | 20 |3214k|4632 | 0.000000e+00 | -- | Inf
1481.30/1481.36 c 1481s| 6880k| 2047k| 18632k| 2.7 |1505M| 54 | 7 | 60 |6476 | 60 | 21 | 20 |3219k|4632 | 0.000000e+00 | -- | Inf
1483.39/1483.47 c 1483s| 6890k| 2050k| 18660k| 2.7 |1508M| 54 | 7 | 60 |8341 | 60 | 21 | 20 |3223k|4632 | 0.000000e+00 | -- | Inf
1485.89/1485.96 c 1486s| 6900k| 2053k| 18686k| 2.7 |1510M| 54 | - | 60 |7695 | 60 | 21 | 20 |3228k|4632 | 0.000000e+00 | -- | Inf
1488.60/1488.64 c 1489s| 6910k| 2055k| 18713k| 2.7 |1512M| 54 | 7 | 60 |6517 | 60 | 21 | 20 |3233k|4632 | 0.000000e+00 | -- | Inf
1491.00/1491.05 c 1491s| 6920k| 2058k| 18739k| 2.7 |1514M| 54 | 7 | 60 |7119 | 60 | 21 | 20 |3238k|4632 | 0.000000e+00 | -- | Inf
1493.29/1493.36 c 1493s| 6930k| 2060k| 18768k| 2.7 |1516M| 54 | 7 | 60 |8802 | 60 | 21 | 20 |3244k|4632 | 0.000000e+00 | -- | Inf
1495.90/1495.92 c 1496s| 6940k| 2063k| 18795k| 2.7 |1518M| 54 | 7 | 60 |7499 | 60 | 21 | 20 |3249k|4635 | 0.000000e+00 | -- | Inf
1498.40/1498.45 c 1498s| 6950k| 2065k| 18821k| 2.7 |1520M| 54 | - | 60 |6339 | 60 | 21 | 20 |3253k|4635 | 0.000000e+00 | -- | Inf
1500.99/1501.03 c 1501s| 6960k| 2067k| 18848k| 2.7 |1522M| 54 | 7 | 60 |6022 | 60 | 21 | 20 |3259k|4636 | 0.000000e+00 | -- | Inf
1503.30/1503.37 c 1503s| 6970k| 2070k| 18875k| 2.7 |1524M| 54 | 7 | 60 |6544 | 60 | 21 | 20 |3263k|4638 | 0.000000e+00 | -- | Inf
1505.59/1505.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1505.59/1505.63 c 1506s| 6980k| 2072k| 18903k| 2.7 |1526M| 54 | - | 60 |7344 | 60 | 21 | 20 |3269k|4641 | 0.000000e+00 | -- | Inf
1508.00/1508.05 c 1508s| 6990k| 2075k| 18929k| 2.7 |1528M| 54 | 7 | 60 |7029 | 60 | 21 | 20 |3274k|4641 | 0.000000e+00 | -- | Inf
1510.59/1510.67 c 1511s| 7000k| 2077k| 18956k| 2.7 |1530M| 54 | - | 60 |5726 | 60 | 21 | 20 |3279k|4641 | 0.000000e+00 | -- | Inf
1513.00/1513.07 c 1513s| 7010k| 2080k| 18982k| 2.7 |1532M| 54 | - | 60 |6781 | 60 | 21 | 20 |3284k|4641 | 0.000000e+00 | -- | Inf
1515.50/1515.51 c 1516s| 7020k| 2082k| 19009k| 2.7 |1534M| 54 | 7 | 60 |6672 | 60 | 21 | 20 |3289k|4641 | 0.000000e+00 | -- | Inf
1518.00/1518.04 c 1518s| 7030k| 2085k| 19035k| 2.7 |1536M| 54 | 7 | 60 |5781 | 60 | 21 | 20 |3294k|4642 | 0.000000e+00 | -- | Inf
1520.39/1520.48 c 1520s| 7040k| 2087k| 19062k| 2.7 |1538M| 54 | 7 | 60 |5845 | 60 | 21 | 20 |3299k|4642 | 0.000000e+00 | -- | Inf
1522.69/1522.76 c 1523s| 7050k| 2090k| 19089k| 2.7 |1541M| 54 | 7 | 60 |6395 | 60 | 21 | 20 |3303k|4643 | 0.000000e+00 | -- | Inf
1525.09/1525.10 c 1525s| 7060k| 2093k| 19115k| 2.7 |1543M| 54 | - | 60 |6537 | 60 | 21 | 20 |3308k|4643 | 0.000000e+00 | -- | Inf
1527.50/1527.52 c 1528s| 7070k| 2095k| 19142k| 2.7 |1545M| 54 | 7 | 60 |6730 | 60 | 21 | 20 |3313k|4647 | 0.000000e+00 | -- | Inf
1529.90/1529.98 c 1530s| 7080k| 2098k| 19168k| 2.7 |1547M| 54 | - | 60 |6278 | 60 | 21 | 20 |3318k|4655 | 0.000000e+00 | -- | Inf
1532.09/1532.19 c 1532s| 7090k| 2101k| 19195k| 2.7 |1549M| 54 | 7 | 60 |7629 | 60 | 21 | 20 |3323k|4655 | 0.000000e+00 | -- | Inf
1534.50/1534.52 c 1535s| 7100k| 2103k| 19221k| 2.7 |1552M| 54 | - | 60 |8455 | 60 | 21 | 20 |3328k|4657 | 0.000000e+00 | -- | Inf
1536.89/1536.97 c 1537s| 7110k| 2106k| 19249k| 2.7 |1554M| 54 | - | 60 |8219 | 60 | 21 | 20 |3333k|4657 | 0.000000e+00 | -- | Inf
1539.59/1539.63 c 1540s| 7120k| 2108k| 19276k| 2.7 |1556M| 54 | 7 | 60 |7273 | 60 | 21 | 20 |3338k|4657 | 0.000000e+00 | -- | Inf
1542.20/1542.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1542.20/1542.25 c 1542s| 7130k| 2111k| 19302k| 2.7 |1557M| 54 | 7 | 60 |6158 | 60 | 21 | 20 |3343k|4657 | 0.000000e+00 | -- | Inf
1544.59/1544.63 c 1545s| 7140k| 2113k| 19329k| 2.7 |1560M| 54 | - | 60 |7456 | 60 | 21 | 20 |3348k|4657 | 0.000000e+00 | -- | Inf
1547.00/1547.04 c 1547s| 7150k| 2116k| 19357k| 2.7 |1562M| 54 | 7 | 60 |7582 | 60 | 21 | 20 |3353k|4657 | 0.000000e+00 | -- | Inf
1549.20/1549.25 c 1549s| 7160k| 2119k| 19384k| 2.7 |1564M| 54 | - | 60 |9010 | 60 | 21 | 20 |3358k|4657 | 0.000000e+00 | -- | Inf
1551.80/1551.88 c 1552s| 7170k| 2122k| 19410k| 2.7 |1566M| 54 | - | 60 |8079 | 60 | 21 | 20 |3363k|4658 | 0.000000e+00 | -- | Inf
1554.20/1554.22 c 1554s| 7180k| 2124k| 19436k| 2.7 |1569M| 54 | - | 60 |9081 | 60 | 21 | 20 |3368k|4660 | 0.000000e+00 | -- | Inf
1556.90/1556.97 c 1557s| 7190k| 2126k| 19463k| 2.7 |1570M| 54 | - | 60 |7883 | 60 | 21 | 20 |3373k|4664 | 0.000000e+00 | -- | Inf
1559.59/1559.62 c 1560s| 7200k| 2129k| 19490k| 2.7 |1572M| 54 | 7 | 60 |6832 | 60 | 21 | 20 |3378k|4666 | 0.000000e+00 | -- | Inf
1561.90/1561.90 c 1562s| 7210k| 2131k| 19518k| 2.7 |1574M| 54 | - | 60 |8126 | 60 | 21 | 20 |3384k|4666 | 0.000000e+00 | -- | Inf
1564.20/1564.21 c 1564s| 7220k| 2134k| 19546k| 2.7 |1577M| 54 | - | 60 |9121 | 60 | 21 | 20 |3388k|4666 | 0.000000e+00 | -- | Inf
1566.89/1566.98 c 1567s| 7230k| 2136k| 19573k| 2.7 |1578M| 54 | - | 60 |7513 | 60 | 21 | 20 |3394k|4667 | 0.000000e+00 | -- | Inf
1569.50/1569.58 c 1570s| 7240k| 2139k| 19599k| 2.7 |1580M| 54 | 7 | 60 |6891 | 60 | 21 | 20 |3398k|4670 | 0.000000e+00 | -- | Inf
1571.70/1571.80 c 1572s| 7250k| 2141k| 19626k| 2.7 |1583M| 54 | 7 | 60 |8175 | 60 | 21 | 20 |3403k|4672 | 0.000000e+00 | -- | Inf
1574.10/1574.14 c 1574s| 7260k| 2144k| 19652k| 2.7 |1585M| 54 | 7 | 60 |9128 | 60 | 21 | 20 |3408k|4673 | 0.000000e+00 | -- | Inf
1576.59/1576.69 c 1577s| 7270k| 2147k| 19680k| 2.7 |1587M| 54 | - | 60 |9370 | 60 | 21 | 20 |3413k|4673 | 0.000000e+00 | -- | Inf
1579.39/1579.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1579.39/1579.42 c 1579s| 7280k| 2149k| 19706k| 2.7 |1589M| 54 | 7 | 60 |8087 | 60 | 21 | 20 |3418k|4678 | 0.000000e+00 | -- | Inf
1581.99/1582.09 c 1582s| 7290k| 2152k| 19733k| 2.7 |1591M| 54 | - | 60 |6957 | 60 | 21 | 20 |3423k|4680 | 0.000000e+00 | -- | Inf
1584.50/1584.54 c 1585s| 7300k| 2154k| 19759k| 2.7 |1593M| 54 | 7 | 60 |7050 | 60 | 21 | 20 |3428k|4689 | 0.000000e+00 | -- | Inf
1586.90/1586.93 c 1587s| 7310k| 2157k| 19785k| 2.7 |1595M| 54 | - | 60 |7031 | 60 | 21 | 20 |3433k|4689 | 0.000000e+00 | -- | Inf
1589.19/1589.26 c 1589s| 7320k| 2160k| 19812k| 2.7 |1597M| 54 | - | 60 |7466 | 60 | 21 | 20 |3438k|4692 | 0.000000e+00 | -- | Inf
1591.39/1591.43 c 1591s| 7330k| 2163k| 19841k| 2.7 |1600M| 54 | 7 | 60 |8563 | 60 | 21 | 20 |3442k|4692 | 0.000000e+00 | -- | Inf
1593.60/1593.68 c 1594s| 7340k| 2165k| 19870k| 2.7 |1602M| 54 | - | 60 |8489 | 60 | 21 | 20 |3447k|4692 | 0.000000e+00 | -- | Inf
1595.90/1595.96 c 1596s| 7350k| 2168k| 19898k| 2.7 |1604M| 54 | 7 | 60 |9275 | 60 | 21 | 20 |3452k|4692 | 0.000000e+00 | -- | Inf
1598.30/1598.33 c 1598s| 7360k| 2171k| 19926k| 2.7 |1606M| 54 | 7 | 60 |9071 | 60 | 21 | 20 |3457k|4693 | 0.000000e+00 | -- | Inf
1600.69/1600.79 c 1601s| 7370k| 2173k| 19957k| 2.7 |1608M| 54 | 7 | 60 |9908 | 60 | 21 | 20 |3462k|4693 | 0.000000e+00 | -- | Inf
1603.30/1603.31 c 1603s| 7380k| 2175k| 19984k| 2.7 |1610M| 54 | - | 60 |9019 | 60 | 21 | 20 |3467k|4702 | 0.000000e+00 | -- | Inf
1605.89/1605.96 c 1606s| 7390k| 2178k| 20011k| 2.7 |1612M| 54 | - | 60 |7363 | 60 | 21 | 20 |3472k|4708 | 0.000000e+00 | -- | Inf
1608.30/1608.36 c 1608s| 7400k| 2181k| 20037k| 2.7 |1614M| 54 | 7 | 60 |7567 | 60 | 21 | 20 |3477k|4708 | 0.000000e+00 | -- | Inf
1610.89/1610.95 c 1611s| 7410k| 2184k| 20063k| 2.7 |1616M| 54 | 7 | 60 |7228 | 60 | 21 | 20 |3482k|4717 | 0.000000e+00 | -- | Inf
1613.19/1613.26 c 1613s| 7420k| 2187k| 20089k| 2.7 |1618M| 54 | 7 | 60 |8162 | 60 | 21 | 20 |3487k|4719 | 0.000000e+00 | -- | Inf
1615.60/1615.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1615.60/1615.62 c 1616s| 7430k| 2189k| 20117k| 2.7 |1620M| 54 | 7 | 60 |8589 | 60 | 21 | 20 |3492k|4719 | 0.000000e+00 | -- | Inf
1618.29/1618.34 c 1618s| 7440k| 2192k| 20143k| 2.7 |1622M| 54 | 7 | 60 |6967 | 60 | 21 | 20 |3497k|4724 | 0.000000e+00 | -- | Inf
1620.69/1620.73 c 1621s| 7450k| 2194k| 20169k| 2.7 |1624M| 54 | - | 60 |7403 | 60 | 21 | 20 |3502k|4725 | 0.000000e+00 | -- | Inf
1623.20/1623.22 c 1623s| 7460k| 2197k| 20196k| 2.7 |1626M| 54 | - | 60 |6977 | 60 | 21 | 20 |3506k|4726 | 0.000000e+00 | -- | Inf
1625.80/1625.88 c 1626s| 7470k| 2199k| 20222k| 2.7 |1628M| 54 | - | 60 |6011 | 60 | 21 | 20 |3511k|4726 | 0.000000e+00 | -- | Inf
1628.39/1628.42 c 1628s| 7480k| 2202k| 20249k| 2.7 |1630M| 54 | 7 | 60 |6060 | 60 | 21 | 20 |3517k|4726 | 0.000000e+00 | -- | Inf
1630.80/1630.86 c 1631s| 7490k| 2204k| 20276k| 2.7 |1632M| 54 | - | 60 |6649 | 60 | 21 | 20 |3521k|4728 | 0.000000e+00 | -- | Inf
1633.29/1633.35 c 1633s| 7500k| 2207k| 20303k| 2.7 |1635M| 54 | 7 | 60 |7608 | 60 | 21 | 20 |3527k|4729 | 0.000000e+00 | -- | Inf
1635.70/1635.70 c 1636s| 7510k| 2210k| 20330k| 2.7 |1637M| 54 | 7 | 60 |8482 | 60 | 21 | 20 |3531k|4732 | 0.000000e+00 | -- | Inf
1638.09/1638.11 c 1638s| 7520k| 2212k| 20356k| 2.7 |1639M| 54 | 7 | 60 |8292 | 60 | 21 | 20 |3536k|4732 | 0.000000e+00 | -- | Inf
1640.60/1640.61 c 1641s| 7530k| 2215k| 20383k| 2.7 |1641M| 54 | - | 60 |7388 | 60 | 21 | 20 |3541k|4732 | 0.000000e+00 | -- | Inf
1642.99/1643.01 c 1643s| 7540k| 2218k| 20409k| 2.7 |1643M| 54 | - | 60 |6985 | 60 | 21 | 20 |3546k|4733 | 0.000000e+00 | -- | Inf
1645.50/1645.55 c 1646s| 7550k| 2220k| 20435k| 2.7 |1645M| 54 | 7 | 60 |7076 | 60 | 21 | 20 |3551k|4736 | 0.000000e+00 | -- | Inf
1647.90/1647.92 c 1648s| 7560k| 2223k| 20461k| 2.7 |1647M| 54 | 7 | 60 |7255 | 60 | 21 | 20 |3556k|4737 | 0.000000e+00 | -- | Inf
1650.49/1650.50 c 1651s| 7570k| 2225k| 20488k| 2.7 |1649M| 54 | - | 60 |6020 | 60 | 21 | 20 |3561k|4737 | 0.000000e+00 | -- | Inf
1653.00/1653.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1653.00/1653.01 c 1653s| 7580k| 2228k| 20514k| 2.7 |1651M| 54 | - | 60 |6389 | 60 | 21 | 20 |3566k|4738 | 0.000000e+00 | -- | Inf
1655.29/1655.35 c 1655s| 7590k| 2230k| 20542k| 2.7 |1653M| 54 | 7 | 60 |7745 | 60 | 21 | 20 |3571k|4739 | 0.000000e+00 | -- | Inf
1657.80/1657.84 c 1658s| 7600k| 2233k| 20569k| 2.7 |1655M| 54 | 7 | 60 |8098 | 60 | 21 | 20 |3576k|4741 | 0.000000e+00 | -- | Inf
1660.50/1660.50 c 1661s| 7610k| 2235k| 20594k| 2.7 |1657M| 54 | 7 | 60 |6967 | 60 | 21 | 20 |3581k|4744 | 0.000000e+00 | -- | Inf
1662.90/1662.96 c 1663s| 7620k| 2238k| 20621k| 2.7 |1659M| 54 | - | 60 |7069 | 60 | 21 | 20 |3586k|4747 | 0.000000e+00 | -- | Inf
1665.40/1665.48 c 1665s| 7630k| 2240k| 20647k| 2.7 |1661M| 54 | 7 | 60 |7206 | 60 | 21 | 20 |3591k|4747 | 0.000000e+00 | -- | Inf
1667.79/1667.82 c 1668s| 7640k| 2243k| 20674k| 2.7 |1664M| 54 | 7 | 60 |7455 | 60 | 21 | 20 |3596k|4747 | 0.000000e+00 | -- | Inf
1670.00/1670.09 c 1670s| 7650k| 2246k| 20700k| 2.7 |1666M| 54 | 7 | 60 |7829 | 60 | 21 | 20 |3601k|4747 | 0.000000e+00 | -- | Inf
1672.49/1672.56 c 1673s| 7660k| 2249k| 20726k| 2.7 |1668M| 54 | - | 60 |6668 | 60 | 21 | 20 |3605k|4747 | 0.000000e+00 | -- | Inf
1674.80/1674.83 c 1675s| 7670k| 2251k| 20754k| 2.7 |1670M| 54 | 7 | 60 |7763 | 60 | 21 | 20 |3610k|4747 | 0.000000e+00 | -- | Inf
1677.40/1677.42 c 1677s| 7680k| 2254k| 20780k| 2.7 |1672M| 54 | - | 60 |6923 | 60 | 21 | 20 |3616k|4752 | 0.000000e+00 | -- | Inf
1679.80/1679.81 c 1680s| 7690k| 2256k| 20808k| 2.7 |1674M| 54 | 7 | 60 |6891 | 60 | 21 | 20 |3621k|4754 | 0.000000e+00 | -- | Inf
1682.09/1682.12 c 1682s| 7700k| 2259k| 20834k| 2.7 |1676M| 54 | - | 60 |7194 | 60 | 21 | 20 |3626k|4755 | 0.000000e+00 | -- | Inf
1684.30/1684.30 c 1684s| 7710k| 2262k| 20863k| 2.7 |1679M| 54 | 7 | 60 |8705 | 60 | 21 | 20 |3631k|4755 | 0.000000e+00 | -- | Inf
1686.59/1686.66 c 1687s| 7720k| 2264k| 20890k| 2.7 |1681M| 54 | 7 | 60 |9073 | 60 | 21 | 20 |3636k|4755 | 0.000000e+00 | -- | Inf
1689.10/1689.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1689.10/1689.12 c 1689s| 7730k| 2266k| 20918k| 2.7 |1683M| 54 | 7 | 60 |9511 | 60 | 21 | 20 |3641k|4755 | 0.000000e+00 | -- | Inf
1691.40/1691.42 c 1691s| 7740k| 2269k| 20945k| 2.7 |1685M| 54 | 7 | 60 | 11k| 60 | 21 | 20 |3646k|4755 | 0.000000e+00 | -- | Inf
1694.20/1694.25 c 1694s| 7750k| 2271k| 20973k| 2.7 |1687M| 54 | 7 | 60 |9404 | 60 | 21 | 20 |3651k|4755 | 0.000000e+00 | -- | Inf
1696.90/1696.91 c 1697s| 7760k| 2273k| 21001k| 2.7 |1689M| 54 | 7 | 60 |9868 | 60 | 21 | 20 |3657k|4755 | 0.000000e+00 | -- | Inf
1699.59/1699.61 c 1700s| 7770k| 2275k| 21029k| 2.7 |1691M| 54 | 7 | 60 |9889 | 60 | 21 | 20 |3663k|4755 | 0.000000e+00 | -- | Inf
1702.49/1702.59 c 1703s| 7780k| 2277k| 21055k| 2.7 |1692M| 54 | 7 | 60 |6775 | 60 | 21 | 20 |3668k|4763 | 0.000000e+00 | -- | Inf
1705.00/1705.03 c 1705s| 7790k| 2280k| 21082k| 2.7 |1694M| 54 | 7 | 60 |7109 | 60 | 21 | 20 |3673k|4775 | 0.000000e+00 | -- | Inf
1707.60/1707.62 c 1708s| 7800k| 2282k| 21108k| 2.7 |1696M| 54 | 7 | 60 |6085 | 60 | 21 | 20 |3678k|4775 | 0.000000e+00 | -- | Inf
1710.20/1710.29 c 1710s| 7810k| 2285k| 21134k| 2.7 |1698M| 54 | 7 | 60 |5486 | 60 | 21 | 20 |3683k|4780 | 0.000000e+00 | -- | Inf
1712.60/1712.67 c 1713s| 7820k| 2287k| 21160k| 2.7 |1700M| 54 | 7 | 60 |6703 | 60 | 21 | 20 |3688k|4783 | 0.000000e+00 | -- | Inf
1715.00/1715.05 c 1715s| 7830k| 2290k| 21187k| 2.7 |1702M| 54 | - | 60 |6954 | 60 | 21 | 20 |3693k|4788 | 0.000000e+00 | -- | Inf
1717.30/1717.38 c 1717s| 7840k| 2292k| 21215k| 2.7 |1705M| 54 | - | 60 |7895 | 60 | 21 | 20 |3698k|4788 | 0.000000e+00 | -- | Inf
1720.00/1720.06 c 1720s| 7850k| 2294k| 21241k| 2.7 |1706M| 54 | 7 | 60 |5652 | 60 | 21 | 20 |3703k|4799 | 0.000000e+00 | -- | Inf
1722.40/1722.50 c 1722s| 7860k| 2297k| 21267k| 2.7 |1708M| 54 | 7 | 60 |5584 | 60 | 21 | 20 |3708k|4801 | 0.000000e+00 | -- | Inf
1724.59/1724.69 c 1725s| 7870k| 2299k| 21295k| 2.7 |1711M| 54 | - | 60 |6974 | 60 | 21 | 20 |3713k|4801 | 0.000000e+00 | -- | Inf
1727.20/1727.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1727.20/1727.25 c 1727s| 7880k| 2302k| 21321k| 2.7 |1712M| 54 | 7 | 60 |5919 | 60 | 21 | 20 |3718k|4806 | 0.000000e+00 | -- | Inf
1729.60/1729.69 c 1730s| 7890k| 2304k| 21348k| 2.7 |1714M| 54 | - | 60 |6280 | 60 | 21 | 20 |3723k|4812 | 0.000000e+00 | -- | Inf
1731.90/1731.94 c 1732s| 7900k| 2307k| 21374k| 2.7 |1717M| 54 | 7 | 60 |6639 | 60 | 21 | 20 |3728k|4816 | 0.000000e+00 | -- | Inf
1734.00/1734.09 c 1734s| 7910k| 2309k| 21402k| 2.7 |1719M| 54 | - | 60 |8525 | 60 | 21 | 20 |3733k|4816 | 0.000000e+00 | -- | Inf
1736.49/1736.59 c 1737s| 7920k| 2312k| 21429k| 2.7 |1721M| 54 | 7 | 60 |6983 | 60 | 21 | 20 |3738k|4818 | 0.000000e+00 | -- | Inf
1738.70/1738.75 c 1739s| 7930k| 2315k| 21457k| 2.7 |1723M| 54 | 7 | 60 |8539 | 60 | 21 | 20 |3743k|4818 | 0.000000e+00 | -- | Inf
1741.10/1741.10 c 1741s| 7940k| 2317k| 21485k| 2.7 |1726M| 54 | 7 | 60 |9699 | 60 | 21 | 20 |3748k|4818 | 0.000000e+00 | -- | Inf
1743.60/1743.63 c 1744s| 7950k| 2319k| 21512k| 2.7 |1728M| 54 | 7 | 60 |9100 | 60 | 21 | 20 |3753k|4818 | 0.000000e+00 | -- | Inf
1745.80/1745.88 c 1746s| 7960k| 2322k| 21542k| 2.7 |1730M| 54 | - | 60 |9509 | 60 | 21 | 20 |3758k|4818 | 0.000000e+00 | -- | Inf
1748.00/1748.09 c 1748s| 7970k| 2325k| 21571k| 2.7 |1732M| 54 | - | 60 | 11k| 60 | 21 | 20 |3763k|4818 | 0.000000e+00 | -- | Inf
1750.70/1750.76 c 1751s| 7980k| 2327k| 21600k| 2.7 |1734M| 54 | - | 60 | 11k| 60 | 21 | 20 |3769k|4818 | 0.000000e+00 | -- | Inf
1753.40/1753.43 c 1753s| 7990k| 2329k| 21629k| 2.7 |1736M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |3774k|4818 | 0.000000e+00 | -- | Inf
1756.10/1756.19 c 1756s| 8000k| 2331k| 21657k| 2.7 |1738M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |3780k|4818 | 0.000000e+00 | -- | Inf
1758.70/1758.80 c 1759s| 8010k| 2334k| 21686k| 2.7 |1740M| 54 | - | 60 | 10k| 60 | 21 | 20 |3785k|4818 | 0.000000e+00 | -- | Inf
1761.30/1761.38 c 1761s| 8020k| 2336k| 21713k| 2.7 |1742M| 54 | 7 | 60 | 10k| 60 | 21 | 20 |3790k|4819 | 0.000000e+00 | -- | Inf
1764.20/1764.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1764.20/1764.25 c 1764s| 8030k| 2339k| 21740k| 2.7 |1744M| 54 | 7 | 60 |8322 | 60 | 21 | 20 |3795k|4821 | 0.000000e+00 | -- | Inf
1767.00/1767.06 c 1767s| 8040k| 2341k| 21766k| 2.7 |1745M| 54 | 7 | 60 |6143 | 60 | 21 | 20 |3800k|4830 | 0.000000e+00 | -- | Inf
1769.70/1769.70 c 1770s| 8050k| 2343k| 21792k| 2.7 |1747M| 54 | - | 60 |5814 | 60 | 21 | 20 |3805k|4834 | 0.000000e+00 | -- | Inf
1772.11/1772.16 c 1772s| 8060k| 2346k| 21819k| 2.7 |1749M| 54 | - | 60 |6635 | 60 | 21 | 20 |3810k|4836 | 0.000000e+00 | -- | Inf
1774.50/1774.59 c 1775s| 8070k| 2348k| 21846k| 2.7 |1751M| 54 | - | 60 |6785 | 60 | 21 | 20 |3815k|4836 | 0.000000e+00 | -- | Inf
1777.00/1777.01 c 1777s| 8080k| 2351k| 21872k| 2.7 |1753M| 54 | - | 60 |5970 | 60 | 21 | 20 |3820k|4856 | 0.000000e+00 | -- | Inf
1779.20/1779.21 c 1779s| 8090k| 2354k| 21898k| 2.7 |1756M| 54 | - | 60 |7131 | 60 | 21 | 20 |3825k|4856 | 0.000000e+00 | -- | Inf
1781.69/1781.72 c 1782s| 8100k| 2356k| 21924k| 2.7 |1758M| 54 | 7 | 60 |6718 | 60 | 21 | 20 |3830k|4856 | 0.000000e+00 | -- | Inf
1784.30/1784.38 c 1784s| 8110k| 2359k| 21950k| 2.7 |1759M| 54 | 7 | 60 |5888 | 60 | 21 | 20 |3835k|4856 | 0.000000e+00 | -- | Inf
1786.79/1786.82 c 1787s| 8120k| 2361k| 21976k| 2.7 |1762M| 54 | 7 | 60 |6238 | 60 | 21 | 20 |3840k|4856 | 0.000000e+00 | -- | Inf
1789.00/1789.08 c 1789s| 8130k| 2364k| 22003k| 2.7 |1764M| 54 | 7 | 60 |7756 | 60 | 21 | 20 |3845k|4856 | 0.000000e+00 | -- | Inf
1791.70/1791.71 c 1792s| 8140k| 2366k| 22028k| 2.7 |1766M| 54 | - | 60 |5983 | 60 | 21 | 20 |3850k|4856 | 0.000000e+00 | -- | Inf
1793.90/1793.99 c 1794s| 8150k| 2369k| 22055k| 2.7 |1768M| 54 | 7 | 60 |7339 | 60 | 21 | 20 |3855k|4856 | 0.000000e+00 | -- | Inf
1796.20/1796.28 c 1796s| 8160k| 2371k| 22082k| 2.7 |1771M| 54 | - | 60 |9412 | 60 | 21 | 20 |3860k|4856 | 0.000000e+00 | -- | Inf
1797.00/1797.00 c
1797.00/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.00/1797.00 c Solving Time (sec) : 1797.00
1797.00/1797.00 c Solving Nodes : 8162573
1797.00/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.00/1797.00 c Dual Bound : +0.00000000000000e+00
1797.00/1797.00 c Gap : infinite
1797.00/1797.00 s UNKNOWN
1797.00/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.00/1797.00 c Total Time : 1797.00
1797.00/1797.00 c solving : 1797.00
1797.00/1797.00 c presolving : 0.00 (included in solving)
1797.00/1797.00 c reading : 0.00 (included in solving)
1797.00/1797.00 c Original Problem :
1797.00/1797.00 c Problem name : HOME/instance-3489570-1307773042.opb
1797.00/1797.00 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.00/1797.00 c Constraints : 15 initial, 15 maximal
1797.00/1797.00 c Presolved Problem :
1797.00/1797.00 c Problem name : t_HOME/instance-3489570-1307773042.opb
1797.00/1797.00 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.00/1797.00 c Constraints : 7 initial, 13927 maximal
1797.00/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.00/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.00 c dualfix : 0.00 1 0 0 0 0 0 0 0 0
1797.00/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.00 c linear : 0.00 0 0 0 0 0 8 0 0 0
1797.00/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.00/1797.00 c root node : - 0 - - 0 - - - - -
1797.00/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.00/1797.00 c integral : 0 0 0 5301812 0 4 0 399 1801 0 0 10599356
1797.00/1797.00 c linear : 7 6 18028297 0 1 3 1892241 136446 2824889 0 0 0
1797.00/1797.00 c logicor : 0+ 6 8470318 0 0 0 5196887 10550 2872804 0 0 0
1797.00/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.00/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.00/1797.00 c integral : 34.04 0.00 0.00 34.04 0.00 0.00 0.00
1797.00/1797.00 c linear : 81.59 0.00 75.64 0.00 0.00 0.00 5.95
1797.00/1797.00 c logicor : 312.44 0.00 302.92 0.00 0.00 0.00 9.51
1797.00/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.00/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.00/1797.00 c vbounds : 0 0 0 0
1797.00/1797.00 c rootredcost : 0 0 0 0
1797.00/1797.00 c pseudoobj : 0 0 0 0
1797.00/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.00/1797.00 c vbounds : 2.92 2.92 0.00
1797.00/1797.00 c rootredcost : 2.98 2.98 0.00
1797.00/1797.00 c pseudoobj : 2.17 2.17 0.00
1797.00/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.00/1797.00 c propagation : 8.51 146996 136146 491312 44.8 87 35.0 -
1797.00/1797.00 c infeasible LP : 90.98 2766545 2766453 5287635 28.5 40937 33.2 0
1797.00/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.00/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.00/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.00/1797.00 c applied globally : - - - 3406649 23.5 - - -
1797.00/1797.00 c applied locally : - - - 455340 38.4 - - -
1797.00/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.00/1797.00 c cut pool : 0.00 5 - - 6 - (maximal pool size: 57)
1797.00/1797.00 c redcost : 7.52 5301817 0 0 0 0
1797.00/1797.00 c impliedbounds : 0.00 6 0 0 0 0
1797.00/1797.00 c intobj : 0.00 0 0 0 0 0
1797.00/1797.00 c gomory : 0.00 6 0 0 0 0
1797.00/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.00/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.00/1797.00 c strongcg : 0.00 6 0 0 15 0
1797.00/1797.00 c cmir : 0.01 6 0 0 21 0
1797.00/1797.00 c flowcover : 0.01 6 0 0 29 0
1797.00/1797.00 c clique : 0.00 1 0 0 0 0
1797.00/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.00/1797.00 c mcf : 0.00 1 0 0 0 0
1797.00/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.00/1797.00 c rapidlearning : 0.02 1 0 0 0 0
1797.00/1797.00 c Pricers : Time Calls Vars
1797.00/1797.00 c problem variables: 0.00 0 0
1797.00/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.00/1797.00 c relpscost : 31.02 5301812 399 1801 0 0 10599356
1797.00/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.00/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.00/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.00/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.00/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.00/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.00/1797.00 c random : 0.00 0 0 0 0 0 0
1797.00/1797.00 c Primal Heuristics : Time Calls Found
1797.00/1797.00 c LP solutions : 0.00 - 0
1797.00/1797.00 c pseudo solutions : 0.00 - 0
1797.00/1797.00 c oneopt : 2.34 0 0
1797.00/1797.00 c crossover : 1.59 0 0
1797.00/1797.00 c guideddiving : 0.18 0 0
1797.00/1797.00 c pscostdiving : 0.16 46 0
1797.00/1797.00 c fracdiving : 0.14 46 0
1797.00/1797.00 c feaspump : 0.14 23 0
1797.00/1797.00 c veclendiving : 0.15 47 0
1797.00/1797.00 c linesearchdiving : 0.16 47 0
1797.00/1797.00 c coefdiving : 0.15 47 0
1797.00/1797.00 c objpscostdiving : 0.14 24 0
1797.00/1797.00 c rootsoldiving : 0.15 24 0
1797.00/1797.00 c trivial : 0.00 2 0
1797.00/1797.00 c shiftandpropagate: 0.00 1 0
1797.00/1797.00 c simplerounding : 0.96 0 0
1797.00/1797.00 c zirounding : 17.39 0 0
1797.00/1797.00 c rounding : 2.36 32664 0
1797.00/1797.00 c shifting : 3.42 10168 0
1797.00/1797.00 c intshifting : 0.10 0 0
1797.00/1797.00 c twoopt : 0.00 0 0
1797.00/1797.00 c fixandinfer : 0.00 0 0
1797.00/1797.00 c clique : 0.00 0 0
1797.00/1797.00 c intdiving : 0.00 0 0
1797.00/1797.00 c actconsdiving : 0.00 0 0
1797.00/1797.00 c octane : 0.00 0 0
1797.00/1797.00 c rens : 0.02 1 0
1797.00/1797.00 c rins : 0.00 0 0
1797.00/1797.00 c localbranching : 0.00 0 0
1797.00/1797.00 c mutation : 0.00 0 0
1797.00/1797.00 c dins : 0.00 0 0
1797.00/1797.00 c vbounds : 0.00 0 0
1797.00/1797.00 c undercover : 0.00 0 0
1797.00/1797.00 c subnlp : 1.23 0 0
1797.00/1797.00 c trysol : 1.64 0 0
1797.00/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.00/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.00/1797.00 c dual LP : 515.41 7879940 22086019 2.80 42851.18
1797.00/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.00/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.00/1797.00 c diving/probing LP: 0.10 1613 3058 1.90 31954.02
1797.00/1797.00 c strong branching : 0.61 4856 26667 5.49 43401.77
1797.00/1797.00 c (at root node) : - 9 557 61.89 -
1797.00/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.00/1797.00 c B&B Tree :
1797.00/1797.00 c number of runs : 1
1797.00/1797.00 c nodes : 8162573
1797.00/1797.00 c nodes (total) : 8162573
1797.00/1797.00 c nodes left : 2372196
1797.00/1797.00 c max depth : 54
1797.00/1797.00 c max depth (total): 54
1797.00/1797.00 c backtracks : 954544 (11.7%)
1797.00/1797.00 c delayed cutoffs : 64590
1797.00/1797.00 c repropagations : 6623956 (3267652 domain reductions, 50444 cutoffs)
1797.00/1797.00 c avg switch length: 5.40
1797.00/1797.00 c switching time : 413.55
1797.00/1797.00 c Solution :
1797.00/1797.00 c Solutions found : 0 (0 improvements)
1797.00/1797.00 c Primal Bound : -
1797.00/1797.00 c Dual Bound : +0.00000000000000e+00
1797.00/1797.00 c Gap : infinite
1797.00/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.00/1797.00 c Root Iterations : 172
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3489570-1307773042/watcher-3489570-1307773042 -o /tmp/evaluation-result-3489570-1307773042/solver-3489570-1307773042 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489570-1307773042.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: 2.03 2.01 1.96 2/177 2624
/proc/meminfo: memFree=31054260/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=9448 CPUtime=0 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 1478 0 0 0 0 0 0 0 25 0 1 0 967534750 9674752 1432 33554432000 4194304 9016284 140734084154512 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/2624/statm: 2362 1434 311 1178 0 1180 0
[startup+0.0317451 s]
/proc/loadavg: 2.03 2.01 1.96 2/177 2624
/proc/meminfo: memFree=31054260/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=29224 CPUtime=0.02 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 6196 0 0 0 2 0 0 0 25 0 1 0 967534750 29925376 5893 33554432000 4194304 9016284 140734084154512 18446744073709551615 4445232 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2624/statm: 7306 5893 675 1178 0 6124 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29224
[startup+0.100736 s]
/proc/loadavg: 2.03 2.01 1.96 2/177 2624
/proc/meminfo: memFree=31054260/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=24208 CPUtime=0.09 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 7058 0 0 0 8 1 0 0 25 0 1 0 967534750 24788992 5024 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2624/statm: 6052 5024 681 1178 0 4870 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24208
[startup+0.300688 s]
/proc/loadavg: 2.03 2.01 1.96 2/177 2624
/proc/meminfo: memFree=31054260/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=24208 CPUtime=0.29 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 7062 0 0 0 27 2 0 0 25 0 1 0 967534750 24788992 5028 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2624/statm: 6052 5028 684 1178 0 4870 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24208
[startup+0.700612 s]
/proc/loadavg: 2.03 2.01 1.96 2/177 2624
/proc/meminfo: memFree=31054260/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=24208 CPUtime=0.69 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 7069 0 0 0 66 3 0 0 25 0 1 0 967534750 24788992 5035 33554432000 4194304 9016284 140734084154512 18446744073709551615 5881926 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2624/statm: 6052 5035 684 1178 0 4870 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24208
[startup+1.50044 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 2625
/proc/meminfo: memFree=31033940/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=24208 CPUtime=1.49 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 7081 0 0 0 143 6 0 0 25 0 1 0 967534750 24788992 5047 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2624/statm: 6052 5047 684 1178 0 4870 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24208
[startup+3.10017 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 2625
/proc/meminfo: memFree=31031336/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=25912 CPUtime=3.09 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 7424 0 0 0 297 12 0 0 25 0 1 0 967534750 26533888 5390 33554432000 4194304 9016284 140734084154512 18446744073709551615 4294325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2624/statm: 6478 5390 684 1178 0 5296 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25912
[startup+6.3006 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 2626
/proc/meminfo: memFree=31021292/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=31708 CPUtime=6.28 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 8889 0 0 0 606 22 0 0 25 0 1 0 967534750 32468992 6855 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 7927 6855 684 1178 0 6745 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 31708
[startup+12.7004 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 2626
/proc/meminfo: memFree=31003036/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=42884 CPUtime=12.69 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 11792 0 0 0 1229 40 0 0 25 0 1 0 967534750 43913216 9758 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 10721 9758 684 1178 0 9539 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42884
[startup+25.5011 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 2626
/proc/meminfo: memFree=30964084/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=66600 CPUtime=25.48 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 17282 0 0 0 2466 82 0 0 25 0 1 0 967534750 68198400 15248 33554432000 4194304 9016284 140734084154512 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 16650 15248 684 1178 0 15468 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 66600
[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 1.96 3/178 2627
/proc/meminfo: memFree=30893516/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=105144 CPUtime=51.09 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 27157 0 0 0 4952 157 0 0 25 0 1 0 967534750 107667456 25123 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 26286 25123 684 1178 0 25104 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 105144
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 2628
/proc/meminfo: memFree=30758148/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=178908 CPUtime=102.29 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 44992 0 0 0 9917 312 0 0 25 0 1 0 967534750 183201792 42958 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 44727 42958 684 1178 0 43545 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 178908
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 2630
/proc/meminfo: memFree=30608512/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=257372 CPUtime=162.29 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 64952 0 0 0 15746 483 0 0 25 0 1 0 967534750 263548928 62918 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 64343 62918 684 1178 0 63161 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 257372
[startup+222.301 s]
/proc/loadavg: 2.03 2.01 1.97 3/178 2631
/proc/meminfo: memFree=30472428/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=323356 CPUtime=222.29 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 81831 0 0 0 21580 649 0 0 25 0 1 0 967534750 331116544 79797 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 80839 79797 684 1178 0 79657 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 323356
[startup+282.301 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 2633
/proc/meminfo: memFree=30330512/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=406788 CPUtime=282.29 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 100973 0 0 0 27415 814 0 0 25 0 1 0 967534750 416550912 98939 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 101697 98939 684 1178 0 100515 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 406788
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 2635
/proc/meminfo: memFree=30193296/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=472916 CPUtime=342.29 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 117864 0 0 0 33253 976 0 0 25 0 1 0 967534750 484265984 115830 33554432000 4194304 9016284 140734084154512 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 118229 115830 684 1178 0 117047 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 472916
[startup+402.301 s]
/proc/loadavg: 2.04 2.01 1.97 3/178 2636
/proc/meminfo: memFree=30065148/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=537736 CPUtime=402.29 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 134326 0 0 0 39102 1127 0 0 25 0 1 0 967534750 550641664 132292 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 134434 132292 684 1178 0 133252 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 537736
[startup+462.301 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 2638
/proc/meminfo: memFree=29931040/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=598528 CPUtime=462.3 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 149968 0 0 0 44946 1284 0 0 25 0 1 0 967534750 612892672 147934 33554432000 4194304 9016284 140734084154512 18446744073709551615 5325519 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 149632 147934 684 1178 0 148450 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 598528
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 2639
/proc/meminfo: memFree=29805852/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=660468 CPUtime=522.3 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 165621 0 0 0 50794 1436 0 0 25 0 1 0 967534750 676319232 163587 33554432000 4194304 9016284 140734084154512 18446744073709551615 5325519 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 165117 163587 684 1178 0 163935 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 660468
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 2641
/proc/meminfo: memFree=29678940/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=721320 CPUtime=582.29 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 181264 0 0 0 56650 1579 0 0 25 0 1 0 967534750 738631680 179230 33554432000 4194304 9016284 140734084154512 18446744073709551615 5312768 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 180330 179230 684 1178 0 179148 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 721320
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 2647
/proc/meminfo: memFree=29188484/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=970872 CPUtime=822.29 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 240552 0 0 0 80070 2159 0 0 25 0 1 0 967534750 994172928 238518 33554432000 4194304 9016284 140734084154512 18446744073709551615 4330762 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 242718 238518 684 1178 0 241536 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 970872
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 2649
/proc/meminfo: memFree=29070984/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=1024732 CPUtime=882.29 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 254142 0 0 0 85942 2287 0 0 25 0 1 0 967534750 1049325568 252108 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 256183 252108 684 1178 0 255001 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 1024732
[startup+942.301 s]
/proc/loadavg: 2.06 2.01 1.98 3/178 2650
/proc/meminfo: memFree=28951408/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=1083752 CPUtime=942.29 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 269268 0 0 0 91806 2423 0 0 25 0 1 0 967534750 1109762048 267234 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 270938 267234 684 1178 0 269756 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 1083752
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 2652
/proc/meminfo: memFree=28829468/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=1137236 CPUtime=1002.29 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 283023 0 0 0 97660 2569 0 0 25 0 1 0 967534750 1164529664 280989 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 284309 280989 684 1178 0 283127 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 1137236
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 2654
/proc/meminfo: memFree=28720644/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=1187112 CPUtime=1062.29 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 295874 0 0 0 103517 2712 0 0 25 0 1 0 967534750 1215602688 293840 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 296778 293840 684 1178 0 295596 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 1187112
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 2655
/proc/meminfo: memFree=28604276/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=1243804 CPUtime=1122.29 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 310086 0 0 0 109384 2845 0 0 25 0 1 0 967534750 1273655296 308052 33554432000 4194304 9016284 140734084154512 18446744073709551615 6417573 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 310951 308052 684 1178 0 309769 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 1243804
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 2657
/proc/meminfo: memFree=28491240/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=1295416 CPUtime=1182.29 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 323368 0 0 0 115246 2983 0 0 25 0 1 0 967534750 1326505984 321334 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 323854 321334 684 1178 0 322672 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 1295416
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 2659
/proc/meminfo: memFree=28371288/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=1352608 CPUtime=1242.29 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 337980 0 0 0 121117 3112 0 0 25 0 1 0 967534750 1385070592 335946 33554432000 4194304 9016284 140734084154512 18446744073709551615 5325493 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 338152 335946 684 1178 0 336970 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 1352608
[startup+1302.3 s]
/proc/loadavg: 2.08 2.02 1.98 3/178 2663
/proc/meminfo: memFree=28256528/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=1403504 CPUtime=1302.3 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 351076 0 0 0 126987 3243 0 0 25 0 1 0 967534750 1437188096 349042 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 350876 349042 684 1178 0 349694 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 1403504
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/178 2665
/proc/meminfo: memFree=28151504/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=1451212 CPUtime=1362.29 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 362861 0 0 0 132863 3366 0 0 25 0 1 0 967534750 1486041088 360827 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 362803 360827 684 1178 0 361621 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 1451212
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 1.99 3/178 2705
/proc/meminfo: memFree=29868404/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=1503572 CPUtime=1422.3 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 376337 0 0 0 138731 3499 0 0 25 0 1 0 967534750 1539657728 374303 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 375893 374303 684 1178 0 374711 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 1503572
[startup+1482.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/178 2707
/proc/meminfo: memFree=29817708/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=1585756 CPUtime=1482.29 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 389010 0 0 0 144597 3632 0 0 25 0 1 0 967534750 1623814144 386976 33554432000 4194304 9016284 140734084154512 18446744073709551615 5325763 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 396439 386976 684 1178 0 395257 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 1585756
[startup+1542.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 2709
/proc/meminfo: memFree=29762492/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=1639080 CPUtime=1542.29 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 402681 0 0 0 150469 3760 0 0 25 0 1 0 967534750 1678417920 400647 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 409770 400647 684 1178 0 408588 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 1639080
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 2710
/proc/meminfo: memFree=29708872/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=1692076 CPUtime=1602.29 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 416294 0 0 0 156335 3894 0 0 25 0 1 0 967534750 1732685824 414260 33554432000 4194304 9016284 140734084154512 18446744073709551615 6679823 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 423019 414260 684 1178 0 421837 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 1692076
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2712
/proc/meminfo: memFree=29662056/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=1739288 CPUtime=1662.3 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 427836 0 0 0 162218 4012 0 0 25 0 1 0 967534750 1781030912 425802 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 434822 425802 684 1178 0 433640 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 1739288
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2713
/proc/meminfo: memFree=29614020/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=1787036 CPUtime=1722.3 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 440097 0 0 0 168091 4139 0 0 25 0 1 0 967534750 1829924864 438063 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 446759 438063 684 1178 0 445577 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 1787036
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2715
/proc/meminfo: memFree=29562632/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=1835620 CPUtime=1782.3 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 452592 0 0 0 173959 4271 0 0 25 0 1 0 967534750 1879674880 450558 33554432000 4194304 9016284 140734084154512 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2624/statm: 458905 450558 684 1178 0 457723 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 1835620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2715
/proc/meminfo: memFree=29546480/32951124 swapFree=67056304/67111528
[pid=2624] ppid=2622 vsize=1851172 CPUtime=1800 cores=0,2,4,6
/proc/2624/stat : 2624 (scip-2.0.1.4b_2) R 2622 2624 30098 0 -1 4202496 456567 0 0 0 175696 4304 0 0 25 0 1 0 967534750 1895600128 454533 33554432000 4194304 9016284 140734084154512 18446744073709551615 6812833 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2624/statm: 462793 454533 685 1178 0 461611 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1851172
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.09
CPU time (s): 1800.09
CPU user time (s): 1756.97
CPU system time (s): 43.1274
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 1851172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1756.97
system time used= 43.1274
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 456567
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= 5
involuntary context switches= 2966
runsolver used 2.87356 second user time and 5.72213 second system time
The end