0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2664019-1276615725.opb>
0.00/0.01 c original problem has 71 variables (71 bin, 0 int, 0 impl, 0 cont) and 17 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 1 del vars, 9 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 1 deleted vars, 9 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 70 variables (70 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03 c 8 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c lp/solvefreq = -1
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 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.03 c 0.0s| 1 | 2 | 0 | - | 319k| 0 | - | 70 | 8 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.99/2.07 c 1.9s| 10000 | 6590 | 0 | 0.0 |2882k| 41 | - | 70 | 40 | 0 | 0 | 0 | 315 | 0 | 0.000000e+00 | -- | Inf
3.89/3.96 c 3.7s| 20000 | 14300 | 0 | 0.0 |5419k| 41 | - | 70 | 69 | 0 | 0 | 0 | 607 | 0 | 0.000000e+00 | -- | Inf
5.89/5.95 c 5.5s| 30000 | 21441 | 0 | 0.0 |7869k| 41 | - | 70 | 46 | 0 | 0 | 0 | 948 | 0 | 0.000000e+00 | -- | Inf
7.99/8.05 c 7.5s| 40000 | 28096 | 0 | 0.0 | 10M| 42 | - | 70 | 73 | 0 | 0 | 0 |1349 | 0 | 0.000000e+00 | -- | Inf
10.18/10.24 c 9.5s| 50000 | 34247 | 0 | 0.0 | 12M| 42 | - | 70 | 65 | 0 | 0 | 0 |1799 | 0 | 0.000000e+00 | -- | Inf
12.49/12.57 c 11.7s| 60000 | 39708 | 0 | 0.0 | 15M| 42 | - | 70 | 66 | 0 | 0 | 0 |2335 | 0 | 0.000000e+00 | -- | Inf
14.98/15.04 c 14.1s| 70000 | 44406 | 0 | 0.0 | 17M| 42 | - | 70 | 63 | 0 | 0 | 0 |2915 | 0 | 0.000000e+00 | -- | Inf
17.59/17.66 c 16.5s| 80000 | 48132 | 0 | 0.0 | 19M| 43 | - | 70 | 57 | 0 | 0 | 0 |3541 | 0 | 0.000000e+00 | -- | Inf
20.08/20.18 c 18.9s| 90000 | 51516 | 0 | 0.0 | 21M| 44 | - | 70 | 33 | 0 | 0 | 0 |4150 | 0 | 0.000000e+00 | -- | Inf
21.89/21.96 c 20.6s|100000 | 59213 | 0 | 0.0 | 24M| 44 | - | 70 | 16 | 0 | 0 | 0 |4410 | 0 | 0.000000e+00 | -- | Inf
23.79/23.82 c 22.3s|110000 | 66829 | 0 | 0.0 | 26M| 44 | - | 70 | 16 | 0 | 0 | 0 |4737 | 0 | 0.000000e+00 | -- | Inf
25.68/25.70 c 24.0s|120000 | 74431 | 0 | 0.0 | 28M| 44 | - | 70 | 15 | 0 | 0 | 0 |5039 | 0 | 0.000000e+00 | -- | Inf
27.49/27.59 c 25.8s|130000 | 81840 | 0 | 0.0 | 31M| 44 | - | 70 | 23 | 0 | 0 | 0 |5312 | 0 | 0.000000e+00 | -- | Inf
29.48/29.53 c 27.6s|140000 | 89162 | 0 | 0.0 | 33M| 44 | - | 70 | 16 | 0 | 0 | 0 |5680 | 0 | 0.000000e+00 | -- | Inf
31.38/31.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.38/31.46 c 29.4s|150000 | 96445 | 0 | 0.0 | 36M| 44 | - | 70 | 16 | 0 | 0 | 0 |6005 | 0 | 0.000000e+00 | -- | Inf
33.28/33.34 c 31.1s|160000 |103636 | 0 | 0.0 | 38M| 44 | - | 70 | 12 | 0 | 0 | 0 |6307 | 0 | 0.000000e+00 | -- | Inf
35.27/35.31 c 32.9s|170000 |110710 | 0 | 0.0 | 41M| 44 | - | 70 | 9 | 0 | 0 | 0 |6625 | 0 | 0.000000e+00 | -- | Inf
37.17/37.29 c 34.8s|180000 |117778 | 0 | 0.0 | 43M| 44 | - | 70 | 10 | 0 | 0 | 0 |6969 | 0 | 0.000000e+00 | -- | Inf
39.17/39.26 c 36.6s|190000 |124751 | 0 | 0.0 | 46M| 44 | - | 70 | 11 | 0 | 0 | 0 |7304 | 0 | 0.000000e+00 | -- | Inf
41.17/41.26 c 38.5s|200000 |131595 | 0 | 0.0 | 48M| 44 | - | 70 | 9 | 0 | 0 | 0 |7690 | 0 | 0.000000e+00 | -- | Inf
43.18/43.28 c 40.4s|210000 |138451 | 0 | 0.0 | 51M| 44 | - | 70 | 16 | 0 | 0 | 0 |8074 | 0 | 0.000000e+00 | -- | Inf
45.27/45.33 c 42.3s|220000 |145172 | 0 | 0.0 | 53M| 44 | - | 70 | 10 | 0 | 0 | 0 |8460 | 0 | 0.000000e+00 | -- | Inf
47.28/47.35 c 44.2s|230000 |151901 | 0 | 0.0 | 55M| 44 | - | 70 | 15 | 0 | 0 | 0 |8763 | 0 | 0.000000e+00 | -- | Inf
49.38/49.42 c 46.1s|240000 |158476 | 0 | 0.0 | 58M| 44 | - | 70 | 16 | 0 | 0 | 0 |9166 | 0 | 0.000000e+00 | -- | Inf
51.36/51.47 c 48.0s|250000 |165093 | 0 | 0.0 | 60M| 44 | - | 70 | 11 | 0 | 0 | 0 |9492 | 0 | 0.000000e+00 | -- | Inf
53.47/53.55 c 49.9s|260000 |171567 | 0 | 0.0 | 63M| 44 | - | 70 | 11 | 0 | 0 | 0 |9919 | 0 | 0.000000e+00 | -- | Inf
55.56/55.67 c 51.9s|270000 |177908 | 0 | 0.0 | 65M| 44 | - | 70 | 12 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
57.67/57.77 c 53.9s|280000 |184288 | 0 | 0.0 | 67M| 44 | - | 70 | 12 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
59.87/59.91 c 55.9s|290000 |190513 | 0 | 0.0 | 70M| 44 | - | 70 | 16 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
61.96/62.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.96/62.07 c 57.9s|300000 |196693 | 0 | 0.0 | 72M| 44 | - | 70 | 9 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
64.16/64.21 c 59.9s|310000 |202935 | 0 | 0.0 | 75M| 44 | - | 70 | 13 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
66.26/66.38 c 61.9s|320000 |208942 | 0 | 0.0 | 77M| 44 | - | 70 | 11 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
68.56/68.60 c 64.0s|330000 |214841 | 0 | 0.0 | 79M| 44 | - | 70 | 19 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
70.76/70.81 c 66.1s|340000 |220752 | 0 | 0.0 | 82M| 44 | - | 70 | 14 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
72.96/73.00 c 68.1s|350000 |226664 | 0 | 0.0 | 84M| 44 | - | 70 | 10 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
75.17/75.27 c 70.2s|360000 |232273 | 0 | 0.0 | 86M| 44 | - | 70 | 10 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
77.47/77.54 c 72.4s|370000 |237907 | 0 | 0.0 | 89M| 44 | - | 70 | 16 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
79.76/79.83 c 74.5s|380000 |243538 | 0 | 0.0 | 91M| 44 | - | 70 | 17 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
82.06/82.13 c 76.7s|390000 |249001 | 0 | 0.0 | 94M| 44 | - | 70 | 11 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
84.36/84.42 c 78.8s|400000 |254367 | 0 | 0.0 | 96M| 44 | - | 70 | 17 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
86.66/86.77 c 81.0s|410000 |259700 | 0 | 0.0 | 98M| 44 | - | 70 | 24 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
89.06/89.11 c 83.2s|420000 |265024 | 0 | 0.0 | 101M| 44 | - | 70 | 16 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
91.36/91.49 c 85.5s|430000 |270106 | 0 | 0.0 | 103M| 44 | - | 70 | 18 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
93.76/93.89 c 87.7s|440000 |275153 | 0 | 0.0 | 105M| 44 | - | 70 | 19 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
96.15/96.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.15/96.26 c 90.0s|450000 |280098 | 0 | 0.0 | 108M| 44 | - | 70 | 17 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
98.56/98.65 c 92.2s|460000 |285052 | 0 | 0.0 | 110M| 44 | - | 70 | 23 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
101.06/101.11 c 94.5s|470000 |289755 | 0 | 0.0 | 112M| 44 | - | 70 | 26 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
103.45/103.59 c 96.8s|480000 |294334 | 0 | 0.0 | 115M| 44 | - | 70 | 22 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
105.95/106.07 c 99.2s|490000 |298876 | 0 | 0.0 | 117M| 44 | - | 70 | 26 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
108.45/108.58 c 102s|500000 |303482 | 0 | 0.0 | 119M| 44 | - | 70 | 22 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
111.05/111.11 c 104s|510000 |307818 | 0 | 0.0 | 122M| 44 | - | 70 | 25 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
113.65/113.71 c 106s|520000 |311882 | 0 | 0.0 | 124M| 44 | - | 70 | 25 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
116.15/116.25 c 109s|530000 |316029 | 0 | 0.0 | 126M| 44 | - | 70 | 16 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
118.76/118.84 c 111s|540000 |320136 | 0 | 0.0 | 128M| 44 | - | 70 | 21 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
121.35/121.47 c 114s|550000 |323982 | 0 | 0.0 | 131M| 45 | - | 70 | 22 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
124.05/124.15 c 116s|560000 |327579 | 0 | 0.0 | 133M| 45 | - | 70 | 26 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
126.65/126.76 c 119s|570000 |331310 | 0 | 0.0 | 135M| 45 | - | 70 | 20 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
129.24/129.35 c 121s|580000 |334966 | 0 | 0.0 | 137M| 45 | - | 70 | 18 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
131.95/132.04 c 124s|590000 |338227 | 0 | 0.0 | 139M| 45 | - | 70 | 22 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
134.64/134.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.64/134.74 c 126s|600000 |341341 | 0 | 0.0 | 141M| 45 | - | 70 | 18 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
137.24/137.39 c 129s|610000 |344568 | 0 | 0.0 | 143M| 45 | - | 70 | 17 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
140.04/140.11 c 131s|620000 |347457 | 0 | 0.0 | 145M| 45 | - | 70 | 15 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
142.74/142.86 c 134s|630000 |349830 | 0 | 0.0 | 147M| 45 | - | 70 | 13 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
145.44/145.55 c 136s|640000 |352396 | 0 | 0.0 | 149M| 45 | - | 70 | 12 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
148.24/148.34 c 139s|650000 |354318 | 0 | 0.0 | 150M| 45 | - | 70 | 11 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
151.04/151.11 c 142s|660000 |356241 | 0 | 0.0 | 152M| 45 | - | 70 | 10 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
153.85/153.92 c 144s|670000 |357555 | 0 | 0.0 | 153M| 45 | - | 70 | 10 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
156.54/156.67 c 147s|680000 |359017 | 0 | 0.0 | 154M| 45 | - | 70 | 9 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
158.34/158.43 c 149s|690000 |366735 | 0 | 0.0 | 157M| 46 | - | 70 | 8 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
160.13/160.20 c 150s|700000 |374354 | 0 | 0.0 | 159M| 46 | - | 70 | 8 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
161.83/162.00 c 152s|710000 |381930 | 0 | 0.0 | 161M| 46 | - | 70 | 8 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
163.75/163.81 c 154s|720000 |389417 | 0 | 0.0 | 164M| 46 | - | 70 | 8 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
165.53/165.61 c 155s|730000 |396862 | 0 | 0.0 | 166M| 46 | - | 70 | 8 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
167.34/167.44 c 157s|740000 |404273 | 0 | 0.0 | 169M| 46 | - | 70 | 8 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
169.13/169.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.13/169.29 c 159s|750000 |411619 | 0 | 0.0 | 171M| 46 | - | 70 | 8 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
171.03/171.14 c 160s|760000 |418954 | 0 | 0.0 | 173M| 46 | - | 70 | 8 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
172.83/172.99 c 162s|770000 |426301 | 0 | 0.0 | 176M| 46 | - | 70 | 8 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
174.74/174.85 c 164s|780000 |433593 | 0 | 0.0 | 178M| 46 | - | 70 | 8 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
176.63/176.73 c 166s|790000 |440820 | 0 | 0.0 | 181M| 46 | - | 70 | 8 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
178.43/178.60 c 167s|800000 |448100 | 0 | 0.0 | 183M| 46 | - | 70 | 8 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
180.34/180.49 c 169s|810000 |455366 | 0 | 0.0 | 185M| 46 | - | 70 | 8 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
182.22/182.39 c 171s|820000 |462560 | 0 | 0.0 | 188M| 46 | - | 70 | 8 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
184.13/184.29 c 173s|830000 |469832 | 0 | 0.0 | 190M| 46 | - | 70 | 8 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
186.13/186.20 c 174s|840000 |477097 | 0 | 0.0 | 192M| 46 | - | 70 | 8 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
187.93/188.07 c 176s|850000 |484330 | 0 | 0.0 | 195M| 46 | - | 70 | 8 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
189.83/189.97 c 178s|860000 |491556 | 0 | 0.0 | 197M| 46 | - | 70 | 8 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
191.72/191.86 c 180s|870000 |498637 | 0 | 0.0 | 200M| 46 | - | 70 | 8 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
193.72/193.80 c 181s|880000 |505782 | 0 | 0.0 | 202M| 46 | - | 70 | 8 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
195.63/195.73 c 183s|890000 |512972 | 0 | 0.0 | 204M| 46 | - | 70 | 8 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
197.52/197.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.52/197.62 c 185s|900000 |520082 | 0 | 0.0 | 207M| 46 | - | 70 | 8 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
199.42/199.52 c 187s|910000 |527177 | 0 | 0.0 | 209M| 46 | - | 70 | 10 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
201.32/201.45 c 189s|920000 |534196 | 0 | 0.0 | 211M| 46 | - | 70 | 10 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
203.33/203.40 c 190s|930000 |541260 | 0 | 0.0 | 214M| 46 | - | 70 | 8 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
205.23/205.35 c 192s|940000 |548367 | 0 | 0.0 | 216M| 46 | - | 70 | 9 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
207.22/207.30 c 194s|950000 |555381 | 0 | 0.0 | 219M| 46 | - | 70 | 8 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
209.12/209.28 c 196s|960000 |562396 | 0 | 0.0 | 221M| 46 | - | 70 | 8 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
211.12/211.23 c 198s|970000 |569387 | 0 | 0.0 | 223M| 46 | - | 70 | 8 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
213.02/213.18 c 200s|980000 |576336 | 0 | 0.0 | 226M| 46 | - | 70 | 9 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
215.02/215.12 c 201s|990000 |583352 | 0 | 0.0 | 228M| 46 | - | 70 | 9 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
216.91/217.06 c 203s| 1000k|590347 | 0 | 0.0 | 231M| 46 | - | 70 | 9 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
218.92/219.07 c 205s| 1010k|597339 | 0 | 0.0 | 233M| 46 | - | 70 | 11 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
220.92/221.06 c 207s| 1020k|604298 | 0 | 0.0 | 235M| 46 | - | 70 | 10 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
222.92/223.04 c 209s| 1030k|611285 | 0 | 0.0 | 238M| 46 | - | 70 | 10 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
224.92/225.05 c 211s| 1040k|618110 | 0 | 0.0 | 240M| 46 | - | 70 | 8 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
226.91/227.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.91/227.00 c 212s| 1050k|625036 | 0 | 0.0 | 243M| 46 | - | 70 | 8 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
228.81/228.96 c 214s| 1060k|631903 | 0 | 0.0 | 245M| 46 | - | 70 | 8 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
230.82/230.94 c 216s| 1070k|638721 | 0 | 0.0 | 247M| 46 | - | 70 | 8 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
232.82/232.92 c 218s| 1080k|645519 | 0 | 0.0 | 250M| 46 | - | 70 | 8 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
234.81/234.93 c 220s| 1090k|652389 | 0 | 0.0 | 252M| 46 | - | 70 | 8 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
236.81/236.93 c 222s| 1100k|659280 | 0 | 0.0 | 255M| 46 | - | 70 | 9 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
238.81/238.97 c 224s| 1110k|666149 | 0 | 0.0 | 257M| 46 | - | 70 | 11 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
240.91/241.00 c 225s| 1120k|672909 | 0 | 0.0 | 259M| 46 | - | 70 | 10 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
242.81/243.00 c 227s| 1130k|679697 | 0 | 0.0 | 262M| 46 | - | 70 | 8 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
244.91/245.01 c 229s| 1140k|686507 | 0 | 0.0 | 264M| 46 | - | 70 | 8 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
246.91/247.05 c 231s| 1150k|693280 | 0 | 0.0 | 267M| 46 | - | 70 | 8 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
248.91/249.06 c 233s| 1160k|700034 | 0 | 0.0 | 269M| 46 | - | 70 | 8 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
250.90/251.07 c 235s| 1170k|706721 | 0 | 0.0 | 271M| 46 | - | 70 | 9 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
252.91/253.08 c 237s| 1180k|713471 | 0 | 0.0 | 274M| 46 | - | 70 | 9 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
255.02/255.10 c 239s| 1190k|720178 | 0 | 0.0 | 276M| 46 | - | 70 | 11 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
256.90/257.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
256.90/257.09 c 240s| 1200k|726931 | 0 | 0.0 | 278M| 46 | - | 70 | 8 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
259.00/259.15 c 242s| 1210k|733537 | 0 | 0.0 | 281M| 46 | - | 70 | 8 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
261.10/261.22 c 244s| 1220k|740166 | 0 | 0.0 | 283M| 46 | - | 70 | 9 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
263.11/263.28 c 246s| 1230k|746744 | 0 | 0.0 | 286M| 46 | - | 70 | 10 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
265.20/265.31 c 248s| 1240k|753435 | 0 | 0.0 | 288M| 46 | - | 70 | 10 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
267.21/267.39 c 250s| 1250k|760028 | 0 | 0.0 | 290M| 46 | - | 70 | 9 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
269.31/269.46 c 252s| 1260k|766674 | 0 | 0.0 | 293M| 46 | - | 70 | 9 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
271.40/271.50 c 254s| 1270k|773234 | 0 | 0.0 | 295M| 46 | - | 70 | 10 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
273.40/273.56 c 256s| 1280k|779870 | 0 | 0.0 | 298M| 46 | - | 70 | 10 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
275.51/275.60 c 258s| 1290k|786438 | 0 | 0.0 | 300M| 46 | - | 70 | 8 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
277.50/277.66 c 260s| 1300k|793079 | 0 | 0.0 | 302M| 46 | - | 70 | 8 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
279.60/279.71 c 262s| 1310k|799695 | 0 | 0.0 | 305M| 46 | - | 70 | 8 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
281.60/281.76 c 263s| 1320k|806323 | 0 | 0.0 | 307M| 46 | - | 70 | 8 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
283.61/283.80 c 265s| 1330k|812872 | 0 | 0.0 | 309M| 46 | - | 70 | 8 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
285.70/285.88 c 267s| 1340k|819379 | 0 | 0.0 | 312M| 46 | - | 70 | 9 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
287.79/287.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.79/287.96 c 269s| 1350k|825865 | 0 | 0.0 | 314M| 46 | - | 70 | 9 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
289.90/290.05 c 271s| 1360k|832303 | 0 | 0.0 | 317M| 46 | - | 70 | 8 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
292.00/292.11 c 273s| 1370k|838757 | 0 | 0.0 | 319M| 46 | - | 70 | 9 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
294.10/294.21 c 275s| 1380k|845224 | 0 | 0.0 | 321M| 46 | - | 70 | 11 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
296.10/296.29 c 277s| 1390k|851725 | 0 | 0.0 | 324M| 46 | - | 70 | 10 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
298.20/298.35 c 279s| 1400k|858210 | 0 | 0.0 | 326M| 46 | - | 70 | 10 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
300.30/300.44 c 281s| 1410k|864686 | 0 | 0.0 | 328M| 46 | - | 70 | 10 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
302.40/302.53 c 283s| 1420k|871235 | 0 | 0.0 | 331M| 46 | - | 70 | 10 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
304.50/304.62 c 285s| 1430k|877654 | 0 | 0.0 | 333M| 46 | - | 70 | 10 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
306.59/306.70 c 287s| 1440k|884132 | 0 | 0.0 | 336M| 46 | - | 70 | 10 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
308.59/308.78 c 289s| 1450k|890640 | 0 | 0.0 | 338M| 46 | - | 70 | 11 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
310.69/310.87 c 291s| 1460k|897082 | 0 | 0.0 | 340M| 46 | - | 70 | 8 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
312.79/312.96 c 293s| 1470k|903564 | 0 | 0.0 | 343M| 46 | - | 70 | 11 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
314.88/315.04 c 294s| 1480k|909958 | 0 | 0.0 | 345M| 46 | - | 70 | 10 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
316.99/317.20 c 296s| 1490k|916235 | 0 | 0.0 | 348M| 46 | - | 70 | 11 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
319.18/319.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.18/319.31 c 298s| 1500k|922569 | 0 | 0.0 | 350M| 46 | - | 70 | 8 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
321.29/321.45 c 300s| 1510k|928920 | 0 | 0.0 | 352M| 46 | - | 70 | 10 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
323.39/323.58 c 302s| 1520k|935189 | 0 | 0.0 | 355M| 46 | - | 70 | 12 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
325.58/325.72 c 304s| 1530k|941478 | 0 | 0.0 | 357M| 46 | - | 70 | 10 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
327.69/327.82 c 306s| 1540k|947818 | 0 | 0.0 | 359M| 46 | - | 70 | 9 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
329.79/329.96 c 308s| 1550k|954137 | 0 | 0.0 | 362M| 46 | - | 70 | 9 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
331.88/332.09 c 310s| 1560k|960381 | 0 | 0.0 | 364M| 46 | - | 70 | 11 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
334.08/334.20 c 312s| 1570k|966661 | 0 | 0.0 | 367M| 46 | - | 70 | 12 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
336.18/336.32 c 314s| 1580k|972964 | 0 | 0.0 | 369M| 46 | - | 70 | 9 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
338.28/338.41 c 316s| 1590k|979243 | 0 | 0.0 | 371M| 46 | - | 70 | 13 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
340.38/340.51 c 318s| 1600k|985553 | 0 | 0.0 | 374M| 46 | - | 70 | 10 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
342.48/342.65 c 320s| 1610k|991819 | 0 | 0.0 | 376M| 46 | - | 70 | 10 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
344.68/344.80 c 322s| 1620k|998049 | 0 | 0.0 | 378M| 46 | - | 70 | 9 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
346.77/346.95 c 324s| 1630k| 1004k| 0 | 0.0 | 381M| 46 | - | 70 | 10 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
348.97/349.11 c 326s| 1640k| 1010k| 0 | 0.0 | 383M| 46 | - | 70 | 11 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
351.08/351.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
351.08/351.24 c 328s| 1650k| 1016k| 0 | 0.0 | 385M| 46 | - | 70 | 8 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
353.28/353.44 c 330s| 1660k| 1022k| 0 | 0.0 | 388M| 46 | - | 70 | 11 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
355.48/355.62 c 332s| 1670k| 1029k| 0 | 0.0 | 390M| 46 | - | 70 | 8 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
357.58/357.79 c 334s| 1680k| 1035k| 0 | 0.0 | 393M| 46 | - | 70 | 8 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
359.77/359.98 c 336s| 1690k| 1041k| 0 | 0.0 | 395M| 46 | - | 70 | 10 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
361.97/362.16 c 338s| 1700k| 1047k| 0 | 0.0 | 397M| 46 | - | 70 | 9 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
364.17/364.33 c 341s| 1710k| 1053k| 0 | 0.0 | 400M| 46 | - | 70 | 8 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
366.37/366.50 c 343s| 1720k| 1059k| 0 | 0.0 | 402M| 46 | - | 70 | 8 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
368.57/368.73 c 345s| 1730k| 1065k| 0 | 0.0 | 404M| 46 | - | 70 | 13 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
370.77/370.93 c 347s| 1740k| 1071k| 0 | 0.0 | 407M| 46 | - | 70 | 10 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
372.97/373.11 c 349s| 1750k| 1077k| 0 | 0.0 | 409M| 46 | - | 70 | 9 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
375.17/375.32 c 351s| 1760k| 1083k| 0 | 0.0 | 412M| 46 | - | 70 | 9 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
377.27/377.49 c 353s| 1770k| 1089k| 0 | 0.0 | 414M| 46 | - | 70 | 12 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
379.47/379.66 c 355s| 1780k| 1096k| 0 | 0.0 | 416M| 46 | - | 70 | 9 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
381.67/381.84 c 357s| 1790k| 1102k| 0 | 0.0 | 419M| 46 | - | 70 | 8 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
383.86/384.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
383.86/384.01 c 359s| 1800k| 1108k| 0 | 0.0 | 421M| 46 | - | 70 | 8 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
385.97/386.19 c 361s| 1810k| 1114k| 0 | 0.0 | 423M| 46 | - | 70 | 11 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
388.17/388.39 c 363s| 1820k| 1120k| 0 | 0.0 | 426M| 46 | - | 70 | 11 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
390.37/390.56 c 365s| 1830k| 1126k| 0 | 0.0 | 428M| 46 | - | 70 | 12 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
392.57/392.75 c 367s| 1840k| 1132k| 0 | 0.0 | 430M| 46 | - | 70 | 10 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
394.77/394.95 c 369s| 1850k| 1138k| 0 | 0.0 | 433M| 46 | - | 70 | 10 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
397.06/397.22 c 371s| 1860k| 1144k| 0 | 0.0 | 435M| 46 | - | 70 | 13 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
399.26/399.47 c 373s| 1870k| 1150k| 0 | 0.0 | 438M| 46 | - | 70 | 9 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
401.56/401.73 c 376s| 1880k| 1155k| 0 | 0.0 | 440M| 46 | - | 70 | 10 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
403.76/403.97 c 378s| 1890k| 1161k| 0 | 0.0 | 442M| 46 | - | 70 | 17 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
406.06/406.24 c 380s| 1900k| 1167k| 0 | 0.0 | 445M| 46 | - | 70 | 10 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
408.26/408.46 c 382s| 1910k| 1173k| 0 | 0.0 | 447M| 46 | - | 70 | 9 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
410.55/410.71 c 384s| 1920k| 1179k| 0 | 0.0 | 449M| 46 | - | 70 | 12 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
412.65/412.89 c 386s| 1930k| 1185k| 0 | 0.0 | 452M| 46 | - | 70 | 10 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
414.95/415.15 c 388s| 1940k| 1191k| 0 | 0.0 | 454M| 46 | - | 70 | 9 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
417.25/417.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
417.25/417.43 c 390s| 1950k| 1196k| 0 | 0.0 | 456M| 46 | - | 70 | 12 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
419.46/419.66 c 392s| 1960k| 1202k| 0 | 0.0 | 459M| 46 | - | 70 | 13 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
421.65/421.87 c 394s| 1970k| 1208k| 0 | 0.0 | 461M| 46 | - | 70 | 9 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
423.96/424.12 c 396s| 1980k| 1214k| 0 | 0.0 | 464M| 46 | - | 70 | 10 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
426.16/426.33 c 399s| 1990k| 1220k| 0 | 0.0 | 466M| 46 | - | 70 | 11 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
428.36/428.57 c 401s| 2000k| 1226k| 0 | 0.0 | 468M| 46 | - | 70 | 10 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
430.65/430.85 c 403s| 2010k| 1232k| 0 | 0.0 | 471M| 46 | - | 70 | 8 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
432.85/433.07 c 405s| 2020k| 1237k| 0 | 0.0 | 473M| 46 | - | 70 | 9 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
435.05/435.29 c 407s| 2030k| 1243k| 0 | 0.0 | 475M| 46 | - | 70 | 10 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
437.35/437.52 c 409s| 2040k| 1249k| 0 | 0.0 | 478M| 46 | - | 70 | 9 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
439.55/439.79 c 411s| 2050k| 1255k| 0 | 0.0 | 480M| 46 | - | 70 | 14 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
441.85/442.03 c 413s| 2060k| 1261k| 0 | 0.0 | 482M| 46 | - | 70 | 10 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
444.16/444.34 c 415s| 2070k| 1267k| 0 | 0.0 | 485M| 46 | - | 70 | 15 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
446.46/446.66 c 418s| 2080k| 1272k| 0 | 0.0 | 487M| 46 | - | 70 | 10 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
448.85/449.01 c 420s| 2090k| 1278k| 0 | 0.0 | 489M| 46 | - | 70 | 13 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
451.15/451.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
451.15/451.35 c 422s| 2100k| 1283k| 0 | 0.0 | 492M| 46 | - | 70 | 10 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
453.45/453.65 c 424s| 2110k| 1289k| 0 | 0.0 | 494M| 46 | - | 70 | 10 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
455.75/455.99 c 426s| 2120k| 1295k| 0 | 0.0 | 496M| 46 | - | 70 | 9 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
458.04/458.28 c 429s| 2130k| 1300k| 0 | 0.0 | 499M| 46 | - | 70 | 9 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
460.44/460.60 c 431s| 2140k| 1306k| 0 | 0.0 | 501M| 46 | - | 70 | 15 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
462.73/462.93 c 433s| 2150k| 1311k| 0 | 0.0 | 503M| 46 | - | 70 | 11 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
465.05/465.22 c 435s| 2160k| 1317k| 0 | 0.0 | 506M| 46 | - | 70 | 12 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
467.34/467.54 c 437s| 2170k| 1323k| 0 | 0.0 | 508M| 46 | - | 70 | 11 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
469.64/469.84 c 439s| 2180k| 1328k| 0 | 0.0 | 510M| 46 | - | 70 | 10 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
471.94/472.14 c 442s| 2190k| 1334k| 0 | 0.0 | 513M| 46 | - | 70 | 9 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
474.23/474.48 c 444s| 2200k| 1339k| 0 | 0.0 | 515M| 46 | - | 70 | 10 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
476.63/476.82 c 446s| 2210k| 1345k| 0 | 0.0 | 518M| 46 | - | 70 | 10 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
478.93/479.14 c 448s| 2220k| 1351k| 0 | 0.0 | 520M| 46 | - | 70 | 9 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
481.24/481.41 c 450s| 2230k| 1356k| 0 | 0.0 | 522M| 46 | - | 70 | 12 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
483.44/483.68 c 452s| 2240k| 1362k| 0 | 0.0 | 525M| 46 | - | 70 | 10 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
485.83/486.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
485.83/486.02 c 455s| 2250k| 1368k| 0 | 0.0 | 527M| 46 | - | 70 | 11 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
488.13/488.31 c 457s| 2260k| 1373k| 0 | 0.0 | 529M| 46 | - | 70 | 13 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
490.43/490.62 c 459s| 2270k| 1379k| 0 | 0.0 | 532M| 46 | - | 70 | 10 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
492.72/492.99 c 461s| 2280k| 1384k| 0 | 0.0 | 534M| 46 | - | 70 | 10 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
495.03/495.27 c 463s| 2290k| 1390k| 0 | 0.0 | 536M| 46 | - | 70 | 9 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
497.42/497.66 c 465s| 2300k| 1396k| 0 | 0.0 | 539M| 46 | - | 70 | 9 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
499.73/499.99 c 468s| 2310k| 1401k| 0 | 0.0 | 541M| 46 | - | 70 | 13 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
502.12/502.37 c 470s| 2320k| 1406k| 0 | 0.0 | 543M| 46 | - | 70 | 14 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
504.52/504.75 c 472s| 2330k| 1412k| 0 | 0.0 | 546M| 46 | - | 70 | 17 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
506.93/507.12 c 474s| 2340k| 1417k| 0 | 0.0 | 548M| 46 | - | 70 | 14 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
509.33/509.52 c 477s| 2350k| 1422k| 0 | 0.0 | 551M| 46 | - | 70 | 17 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
511.72/511.92 c 479s| 2360k| 1428k| 0 | 0.0 | 553M| 46 | - | 70 | 11 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
514.12/514.34 c 481s| 2370k| 1433k| 0 | 0.0 | 555M| 46 | - | 70 | 10 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
516.52/516.70 c 483s| 2380k| 1438k| 0 | 0.0 | 558M| 46 | - | 70 | 15 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
518.92/519.10 c 486s| 2390k| 1444k| 0 | 0.0 | 560M| 46 | - | 70 | 11 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
521.22/521.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
521.22/521.48 c 488s| 2400k| 1449k| 0 | 0.0 | 562M| 46 | - | 70 | 16 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
523.62/523.87 c 490s| 2410k| 1454k| 0 | 0.0 | 565M| 46 | - | 70 | 13 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
526.12/526.31 c 492s| 2420k| 1460k| 0 | 0.0 | 567M| 46 | - | 70 | 15 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
528.52/528.71 c 495s| 2430k| 1465k| 0 | 0.0 | 569M| 46 | - | 70 | 11 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
530.91/531.12 c 497s| 2440k| 1470k| 0 | 0.0 | 572M| 46 | - | 70 | 9 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
533.22/533.47 c 499s| 2450k| 1476k| 0 | 0.0 | 574M| 46 | - | 70 | 13 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
535.61/535.88 c 501s| 2460k| 1481k| 0 | 0.0 | 576M| 46 | - | 70 | 12 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
538.01/538.25 c 504s| 2470k| 1486k| 0 | 0.0 | 579M| 46 | - | 70 | 13 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
540.41/540.62 c 506s| 2480k| 1492k| 0 | 0.0 | 581M| 46 | - | 70 | 9 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
542.81/543.02 c 508s| 2490k| 1497k| 0 | 0.0 | 583M| 46 | - | 70 | 10 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
545.21/545.41 c 510s| 2500k| 1502k| 0 | 0.0 | 585M| 46 | - | 70 | 13 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
547.62/547.81 c 513s| 2510k| 1507k| 0 | 0.0 | 588M| 46 | - | 70 | 12 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
550.01/550.24 c 515s| 2520k| 1513k| 0 | 0.0 | 590M| 46 | - | 70 | 12 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
552.41/552.60 c 517s| 2530k| 1518k| 0 | 0.0 | 593M| 46 | - | 70 | 13 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
554.71/554.98 c 519s| 2540k| 1523k| 0 | 0.0 | 595M| 46 | - | 70 | 13 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
557.11/557.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.11/557.32 c 522s| 2550k| 1529k| 0 | 0.0 | 597M| 46 | - | 70 | 11 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
559.41/559.68 c 524s| 2560k| 1534k| 0 | 0.0 | 600M| 46 | - | 70 | 12 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
561.82/562.05 c 526s| 2570k| 1539k| 0 | 0.0 | 602M| 46 | - | 70 | 15 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
564.21/564.49 c 528s| 2580k| 1544k| 0 | 0.0 | 604M| 46 | - | 70 | 10 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
566.70/566.97 c 531s| 2590k| 1549k| 0 | 0.0 | 606M| 46 | - | 70 | 13 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
569.20/569.44 c 533s| 2600k| 1554k| 0 | 0.0 | 609M| 46 | - | 70 | 15 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
571.61/571.86 c 535s| 2610k| 1559k| 0 | 0.0 | 611M| 46 | - | 70 | 15 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
574.11/574.34 c 538s| 2620k| 1564k| 0 | 0.0 | 613M| 46 | - | 70 | 12 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
576.60/576.83 c 540s| 2630k| 1569k| 0 | 0.0 | 616M| 46 | - | 70 | 12 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
579.11/579.32 c 542s| 2640k| 1574k| 0 | 0.0 | 618M| 46 | - | 70 | 15 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
581.50/581.78 c 545s| 2650k| 1579k| 0 | 0.0 | 620M| 46 | - | 70 | 12 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
584.00/584.27 c 547s| 2660k| 1584k| 0 | 0.0 | 623M| 46 | - | 70 | 13 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
586.60/586.80 c 549s| 2670k| 1589k| 0 | 0.0 | 625M| 46 | - | 70 | 13 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
589.00/589.26 c 552s| 2680k| 1594k| 0 | 0.0 | 627M| 46 | - | 70 | 17 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
591.40/591.67 c 554s| 2690k| 1599k| 0 | 0.0 | 630M| 46 | - | 70 | 15 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
593.90/594.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
593.90/594.16 c 556s| 2700k| 1604k| 0 | 0.0 | 632M| 46 | - | 70 | 15 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
596.40/596.66 c 559s| 2710k| 1609k| 0 | 0.0 | 634M| 46 | - | 70 | 16 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
598.89/599.16 c 561s| 2720k| 1614k| 0 | 0.0 | 637M| 46 | - | 70 | 12 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
601.30/601.58 c 563s| 2730k| 1619k| 0 | 0.0 | 639M| 46 | - | 70 | 10 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
603.70/603.95 c 565s| 2740k| 1625k| 0 | 0.0 | 641M| 46 | - | 70 | 9 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
606.09/606.39 c 568s| 2750k| 1630k| 0 | 0.0 | 644M| 46 | - | 70 | 8 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
608.69/608.92 c 570s| 2760k| 1635k| 0 | 0.0 | 646M| 46 | - | 70 | 16 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
611.19/611.42 c 572s| 2770k| 1640k| 0 | 0.0 | 648M| 46 | - | 70 | 10 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
613.60/613.89 c 575s| 2780k| 1645k| 0 | 0.0 | 651M| 46 | - | 70 | 11 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
616.09/616.31 c 577s| 2790k| 1650k| 0 | 0.0 | 653M| 46 | - | 70 | 14 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
618.59/618.80 c 579s| 2800k| 1654k| 0 | 0.0 | 655M| 46 | - | 70 | 16 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
621.09/621.32 c 582s| 2810k| 1660k| 0 | 0.0 | 658M| 46 | - | 70 | 17 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
623.59/623.84 c 584s| 2820k| 1664k| 0 | 0.0 | 660M| 46 | - | 70 | 11 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
626.09/626.31 c 586s| 2830k| 1669k| 0 | 0.0 | 662M| 46 | - | 70 | 11 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
628.48/628.75 c 589s| 2840k| 1674k| 0 | 0.0 | 665M| 46 | - | 70 | 10 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
630.98/631.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
630.98/631.26 c 591s| 2850k| 1679k| 0 | 0.0 | 667M| 46 | - | 70 | 14 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
633.49/633.77 c 594s| 2860k| 1684k| 0 | 0.0 | 669M| 46 | - | 70 | 19 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
636.08/636.31 c 596s| 2870k| 1689k| 0 | 0.0 | 672M| 46 | - | 70 | 18 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
638.68/638.94 c 598s| 2880k| 1694k| 0 | 0.0 | 674M| 46 | - | 70 | 17 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
641.18/641.46 c 601s| 2890k| 1698k| 0 | 0.0 | 676M| 46 | - | 70 | 10 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
643.79/644.01 c 603s| 2900k| 1703k| 0 | 0.0 | 678M| 46 | - | 70 | 10 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
646.28/646.57 c 606s| 2910k| 1708k| 0 | 0.0 | 681M| 46 | - | 70 | 11 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
648.79/649.06 c 608s| 2920k| 1712k| 0 | 0.0 | 683M| 46 | - | 70 | 16 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
651.38/651.65 c 610s| 2930k| 1717k| 0 | 0.0 | 685M| 46 | - | 70 | 12 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
653.88/654.15 c 613s| 2940k| 1722k| 0 | 0.0 | 688M| 46 | - | 70 | 17 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
656.49/656.70 c 615s| 2950k| 1726k| 0 | 0.0 | 690M| 46 | - | 70 | 10 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
659.07/659.31 c 618s| 2960k| 1731k| 0 | 0.0 | 692M| 46 | - | 70 | 16 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
661.68/661.91 c 620s| 2970k| 1735k| 0 | 0.0 | 695M| 46 | - | 70 | 15 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
664.18/664.47 c 622s| 2980k| 1740k| 0 | 0.0 | 697M| 46 | - | 70 | 13 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
666.78/667.09 c 625s| 2990k| 1745k| 0 | 0.0 | 699M| 46 | - | 70 | 15 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
669.37/669.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
669.37/669.67 c 627s| 3000k| 1749k| 0 | 0.0 | 701M| 46 | - | 70 | 13 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
671.97/672.25 c 630s| 3010k| 1754k| 0 | 0.0 | 704M| 46 | - | 70 | 20 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
674.58/674.81 c 632s| 3020k| 1758k| 0 | 0.0 | 706M| 46 | - | 70 | 16 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
677.17/677.41 c 635s| 3030k| 1763k| 0 | 0.0 | 708M| 46 | - | 70 | 18 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
679.67/679.97 c 637s| 3040k| 1768k| 0 | 0.0 | 711M| 46 | - | 70 | 20 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
682.27/682.56 c 640s| 3050k| 1772k| 0 | 0.0 | 713M| 46 | - | 70 | 14 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
684.87/685.11 c 642s| 3060k| 1777k| 0 | 0.0 | 715M| 46 | - | 70 | 15 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
687.47/687.71 c 644s| 3070k| 1782k| 0 | 0.0 | 718M| 46 | - | 70 | 15 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
689.97/690.26 c 647s| 3080k| 1786k| 0 | 0.0 | 720M| 46 | - | 70 | 15 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
692.57/692.82 c 649s| 3090k| 1791k| 0 | 0.0 | 722M| 46 | - | 70 | 11 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
695.16/695.49 c 652s| 3100k| 1795k| 0 | 0.0 | 725M| 46 | - | 70 | 11 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
697.76/698.09 c 654s| 3110k| 1800k| 0 | 0.0 | 727M| 46 | - | 70 | 11 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
700.37/700.70 c 657s| 3120k| 1805k| 0 | 0.0 | 729M| 46 | - | 70 | 15 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
702.96/703.26 c 659s| 3130k| 1809k| 0 | 0.0 | 731M| 46 | - | 70 | 12 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
705.57/705.82 c 662s| 3140k| 1814k| 0 | 0.0 | 734M| 46 | - | 70 | 13 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
708.07/708.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
708.07/708.35 c 664s| 3150k| 1818k| 0 | 0.0 | 736M| 46 | - | 70 | 13 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
710.66/710.90 c 666s| 3160k| 1823k| 0 | 0.0 | 738M| 46 | - | 70 | 14 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
713.25/713.53 c 669s| 3170k| 1828k| 0 | 0.0 | 741M| 46 | - | 70 | 11 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
715.87/716.16 c 671s| 3180k| 1832k| 0 | 0.0 | 743M| 46 | - | 70 | 14 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
718.56/718.84 c 674s| 3190k| 1836k| 0 | 0.0 | 745M| 46 | - | 70 | 14 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
721.27/721.52 c 676s| 3200k| 1840k| 0 | 0.0 | 747M| 46 | - | 70 | 12 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
723.95/724.21 c 679s| 3210k| 1844k| 0 | 0.0 | 750M| 46 | - | 70 | 14 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
726.55/726.84 c 681s| 3220k| 1848k| 0 | 0.0 | 752M| 46 | - | 70 | 13 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
729.15/729.49 c 684s| 3230k| 1853k| 0 | 0.0 | 754M| 46 | - | 70 | 13 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
731.86/732.12 c 686s| 3240k| 1857k| 0 | 0.0 | 756M| 46 | - | 70 | 14 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
734.46/734.73 c 689s| 3250k| 1861k| 0 | 0.0 | 759M| 46 | - | 70 | 12 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
737.05/737.37 c 691s| 3260k| 1865k| 0 | 0.0 | 761M| 46 | - | 70 | 10 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
739.75/740.08 c 694s| 3270k| 1869k| 0 | 0.0 | 763M| 46 | - | 70 | 13 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
742.35/742.68 c 696s| 3280k| 1873k| 0 | 0.0 | 765M| 46 | - | 70 | 15 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
745.04/745.31 c 699s| 3290k| 1878k| 0 | 0.0 | 768M| 46 | - | 70 | 18 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
747.66/748.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
747.66/748.00 c 701s| 3300k| 1882k| 0 | 0.0 | 770M| 46 | - | 70 | 14 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
750.35/750.68 c 704s| 3310k| 1886k| 0 | 0.0 | 772M| 46 | - | 70 | 11 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
753.05/753.34 c 706s| 3320k| 1890k| 0 | 0.0 | 774M| 46 | - | 70 | 12 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
755.65/755.97 c 709s| 3330k| 1894k| 0 | 0.0 | 777M| 46 | - | 70 | 11 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
758.35/758.60 c 711s| 3340k| 1899k| 0 | 0.0 | 779M| 46 | - | 70 | 13 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
761.05/761.30 c 714s| 3350k| 1903k| 0 | 0.0 | 781M| 46 | - | 70 | 14 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
763.65/763.98 c 716s| 3360k| 1907k| 0 | 0.0 | 783M| 46 | - | 70 | 19 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
766.35/766.64 c 719s| 3370k| 1911k| 0 | 0.0 | 786M| 46 | - | 70 | 17 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
769.05/769.30 c 721s| 3380k| 1915k| 0 | 0.0 | 788M| 46 | - | 70 | 12 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
771.54/771.87 c 724s| 3390k| 1919k| 0 | 0.0 | 790M| 46 | - | 70 | 12 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
774.24/774.50 c 726s| 3400k| 1924k| 0 | 0.0 | 793M| 46 | - | 70 | 12 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
776.94/777.24 c 729s| 3410k| 1928k| 0 | 0.0 | 795M| 46 | - | 70 | 12 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
779.65/779.91 c 732s| 3420k| 1932k| 0 | 0.0 | 797M| 46 | - | 70 | 11 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
782.24/782.58 c 734s| 3430k| 1936k| 0 | 0.0 | 799M| 46 | - | 70 | 13 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
784.94/785.22 c 737s| 3440k| 1940k| 0 | 0.0 | 802M| 46 | - | 70 | 12 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
787.53/787.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
787.53/787.88 c 739s| 3450k| 1944k| 0 | 0.0 | 804M| 46 | - | 70 | 13 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
790.24/790.58 c 742s| 3460k| 1949k| 0 | 0.0 | 806M| 46 | - | 70 | 13 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
792.93/793.26 c 744s| 3470k| 1953k| 0 | 0.0 | 808M| 46 | - | 70 | 12 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
795.53/795.89 c 747s| 3480k| 1957k| 0 | 0.0 | 811M| 46 | - | 70 | 13 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
798.24/798.58 c 749s| 3490k| 1961k| 0 | 0.0 | 813M| 46 | - | 70 | 13 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
800.93/801.26 c 752s| 3500k| 1965k| 0 | 0.0 | 815M| 46 | - | 70 | 10 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
803.74/804.08 c 754s| 3510k| 1969k| 0 | 0.0 | 817M| 46 | - | 70 | 10 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
806.43/806.79 c 757s| 3520k| 1972k| 0 | 0.0 | 820M| 46 | - | 70 | 9 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
809.23/809.59 c 760s| 3530k| 1976k| 0 | 0.0 | 822M| 46 | - | 70 | 11 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
812.03/812.34 c 762s| 3540k| 1980k| 0 | 0.0 | 824M| 46 | - | 70 | 11 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
814.73/815.06 c 765s| 3550k| 1984k| 0 | 0.0 | 826M| 46 | - | 70 | 11 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
817.53/817.86 c 767s| 3560k| 1987k| 0 | 0.0 | 828M| 46 | - | 70 | 11 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
820.33/820.61 c 770s| 3570k| 1991k| 0 | 0.0 | 831M| 46 | - | 70 | 10 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
823.12/823.42 c 773s| 3580k| 1995k| 0 | 0.0 | 833M| 46 | - | 70 | 11 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
825.83/826.17 c 775s| 3590k| 1998k| 0 | 0.0 | 835M| 46 | - | 70 | 9 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
828.62/828.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
828.62/828.91 c 778s| 3600k| 2002k| 0 | 0.0 | 837M| 46 | - | 70 | 11 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
831.33/831.64 c 781s| 3610k| 2006k| 0 | 0.0 | 839M| 46 | - | 70 | 14 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
834.12/834.48 c 783s| 3620k| 2009k| 0 | 0.0 | 842M| 46 | - | 70 | 12 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
836.93/837.25 c 786s| 3630k| 2013k| 0 | 0.0 | 844M| 46 | - | 70 | 11 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
839.62/839.95 c 788s| 3640k| 2017k| 0 | 0.0 | 846M| 46 | - | 70 | 11 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
842.42/842.70 c 791s| 3650k| 2020k| 0 | 0.0 | 848M| 46 | - | 70 | 13 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
845.02/845.38 c 793s| 3660k| 2024k| 0 | 0.0 | 850M| 46 | - | 70 | 11 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
847.82/848.13 c 796s| 3670k| 2028k| 0 | 0.0 | 852M| 46 | - | 70 | 10 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
850.51/850.88 c 799s| 3680k| 2031k| 0 | 0.0 | 855M| 46 | - | 70 | 11 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
853.22/853.57 c 801s| 3690k| 2035k| 0 | 0.0 | 857M| 46 | - | 70 | 10 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
855.92/856.29 c 804s| 3700k| 2039k| 0 | 0.0 | 859M| 46 | - | 70 | 9 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
858.73/859.09 c 806s| 3710k| 2042k| 0 | 0.0 | 861M| 46 | - | 70 | 10 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
861.62/861.92 c 809s| 3720k| 2046k| 0 | 0.0 | 863M| 46 | - | 70 | 13 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
864.32/864.61 c 812s| 3730k| 2050k| 0 | 0.0 | 866M| 46 | - | 70 | 13 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
867.01/867.38 c 814s| 3740k| 2054k| 0 | 0.0 | 868M| 46 | - | 70 | 11 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
869.91/870.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
869.91/870.20 c 817s| 3750k| 2057k| 0 | 0.0 | 870M| 46 | - | 70 | 11 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
872.51/872.89 c 820s| 3760k| 2061k| 0 | 0.0 | 872M| 46 | - | 70 | 11 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
875.31/875.69 c 822s| 3770k| 2065k| 0 | 0.0 | 874M| 46 | - | 70 | 11 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
878.11/878.45 c 825s| 3780k| 2068k| 0 | 0.0 | 877M| 46 | - | 70 | 11 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
880.91/881.24 c 827s| 3790k| 2072k| 0 | 0.0 | 879M| 46 | - | 70 | 12 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
883.71/884.07 c 830s| 3800k| 2076k| 0 | 0.0 | 881M| 46 | - | 70 | 12 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
886.60/886.91 c 833s| 3810k| 2079k| 0 | 0.0 | 883M| 46 | - | 70 | 13 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
889.41/889.76 c 836s| 3820k| 2083k| 0 | 0.0 | 885M| 46 | - | 70 | 13 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
892.20/892.56 c 838s| 3830k| 2086k| 0 | 0.0 | 887M| 46 | - | 70 | 11 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
895.11/895.43 c 841s| 3840k| 2089k| 0 | 0.0 | 890M| 46 | - | 70 | 10 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
897.91/898.27 c 844s| 3850k| 2092k| 0 | 0.0 | 892M| 46 | - | 70 | 9 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
900.90/901.23 c 846s| 3860k| 2095k| 0 | 0.0 | 894M| 46 | - | 70 | 9 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
903.81/904.12 c 849s| 3870k| 2099k| 0 | 0.0 | 896M| 46 | - | 70 | 10 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
906.70/907.01 c 852s| 3880k| 2102k| 0 | 0.0 | 898M| 46 | - | 70 | 9 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
909.50/909.80 c 855s| 3890k| 2105k| 0 | 0.0 | 900M| 46 | - | 70 | 9 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
912.29/912.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
912.29/912.67 c 857s| 3900k| 2108k| 0 | 0.0 | 902M| 46 | - | 70 | 9 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
915.20/915.51 c 860s| 3910k| 2111k| 0 | 0.0 | 904M| 46 | - | 70 | 8 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
918.10/918.40 c 863s| 3920k| 2114k| 0 | 0.0 | 906M| 46 | - | 70 | 8 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
920.90/921.27 c 865s| 3930k| 2118k| 0 | 0.0 | 908M| 46 | - | 70 | 9 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
923.80/924.11 c 868s| 3940k| 2121k| 0 | 0.0 | 910M| 46 | - | 70 | 9 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
926.49/926.89 c 871s| 3950k| 2124k| 0 | 0.0 | 912M| 46 | - | 70 | 9 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
929.39/929.77 c 873s| 3960k| 2127k| 0 | 0.0 | 914M| 46 | - | 70 | 10 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
932.30/932.62 c 876s| 3970k| 2130k| 0 | 0.0 | 916M| 46 | - | 70 | 9 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
935.09/935.46 c 879s| 3980k| 2133k| 0 | 0.0 | 918M| 46 | - | 70 | 9 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
937.89/938.27 c 882s| 3990k| 2136k| 0 | 0.0 | 921M| 46 | - | 70 | 9 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
940.79/941.15 c 884s| 4000k| 2139k| 0 | 0.0 | 923M| 46 | - | 70 | 9 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
943.69/944.05 c 887s| 4010k| 2142k| 0 | 0.0 | 925M| 46 | - | 70 | 9 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
946.58/946.93 c 890s| 4020k| 2145k| 0 | 0.0 | 927M| 46 | - | 70 | 9 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
949.39/949.76 c 892s| 4030k| 2149k| 0 | 0.0 | 929M| 46 | - | 70 | 10 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
952.20/952.56 c 895s| 4040k| 2152k| 0 | 0.0 | 931M| 46 | - | 70 | 11 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
955.08/955.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
955.08/955.44 c 898s| 4050k| 2155k| 0 | 0.0 | 933M| 46 | - | 70 | 10 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
957.88/958.28 c 901s| 4060k| 2158k| 0 | 0.0 | 935M| 46 | - | 70 | 11 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
960.79/961.15 c 903s| 4070k| 2161k| 0 | 0.0 | 937M| 46 | - | 70 | 11 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
963.68/964.00 c 906s| 4080k| 2164k| 0 | 0.0 | 939M| 46 | - | 70 | 10 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
966.49/966.84 c 909s| 4090k| 2168k| 0 | 0.0 | 941M| 46 | - | 70 | 10 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
969.38/969.76 c 911s| 4100k| 2171k| 0 | 0.0 | 943M| 46 | - | 70 | 10 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
972.28/972.60 c 914s| 4110k| 2174k| 0 | 0.0 | 945M| 46 | - | 70 | 8 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
975.29/975.61 c 917s| 4120k| 2176k| 0 | 0.0 | 947M| 46 | - | 70 | 9 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
978.18/978.57 c 920s| 4130k| 2179k| 0 | 0.0 | 949M| 46 | - | 70 | 9 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
981.18/981.52 c 923s| 4140k| 2182k| 0 | 0.0 | 951M| 46 | - | 70 | 9 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
984.19/984.52 c 925s| 4150k| 2184k| 0 | 0.0 | 953M| 46 | - | 70 | 9 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
987.07/987.45 c 928s| 4160k| 2187k| 0 | 0.0 | 955M| 46 | - | 70 | 9 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
989.98/990.35 c 931s| 4170k| 2189k| 0 | 0.0 | 957M| 46 | - | 70 | 9 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
992.88/993.29 c 934s| 4180k| 2192k| 0 | 0.0 | 958M| 46 | - | 70 | 9 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
995.77/996.17 c 936s| 4190k| 2194k| 0 | 0.0 | 960M| 46 | - | 70 | 9 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
998.57/998.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
998.57/998.97 c 939s| 4200k| 2197k| 0 | 0.0 | 962M| 46 | - | 70 | 8 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
1001.48/1001.83 c 942s| 4210k| 2200k| 0 | 0.0 | 964M| 46 | - | 70 | 8 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1004.47/1004.81 c 945s| 4220k| 2202k| 0 | 0.0 | 966M| 46 | - | 70 | 8 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
1007.37/1007.71 c 947s| 4230k| 2205k| 0 | 0.0 | 967M| 46 | - | 70 | 8 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
1010.27/1010.66 c 950s| 4240k| 2207k| 0 | 0.0 | 969M| 46 | - | 70 | 8 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
1013.27/1013.60 c 953s| 4250k| 2210k| 0 | 0.0 | 971M| 46 | - | 70 | 8 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1016.16/1016.55 c 956s| 4260k| 2212k| 0 | 0.0 | 973M| 46 | - | 70 | 8 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1018.97/1019.39 c 959s| 4270k| 2215k| 0 | 0.0 | 974M| 46 | - | 70 | 8 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1021.97/1022.30 c 961s| 4280k| 2217k| 0 | 0.0 | 976M| 46 | - | 70 | 8 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
1024.87/1025.27 c 964s| 4290k| 2220k| 0 | 0.0 | 978M| 46 | - | 70 | 8 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
1027.86/1028.20 c 967s| 4300k| 2222k| 0 | 0.0 | 979M| 46 | - | 70 | 8 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
1030.76/1031.10 c 970s| 4310k| 2225k| 0 | 0.0 | 981M| 46 | - | 70 | 8 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
1033.67/1034.04 c 972s| 4320k| 2227k| 0 | 0.0 | 983M| 46 | - | 70 | 8 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
1036.56/1036.98 c 975s| 4330k| 2230k| 0 | 0.0 | 985M| 46 | - | 70 | 8 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
1039.46/1039.83 c 978s| 4340k| 2232k| 0 | 0.0 | 986M| 46 | - | 70 | 8 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
1042.37/1042.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1042.37/1042.73 c 981s| 4350k| 2235k| 0 | 0.0 | 988M| 46 | - | 70 | 8 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
1045.26/1045.61 c 983s| 4360k| 2237k| 0 | 0.0 | 990M| 46 | - | 70 | 8 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
1048.16/1048.53 c 986s| 4370k| 2240k| 0 | 0.0 | 992M| 46 | - | 70 | 8 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
1051.16/1051.58 c 989s| 4380k| 2242k| 0 | 0.0 | 993M| 46 | - | 70 | 8 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
1054.15/1054.57 c 992s| 4390k| 2243k| 0 | 0.0 | 995M| 46 | - | 70 | 8 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
1057.25/1057.63 c 995s| 4400k| 2245k| 0 | 0.0 | 996M| 46 | - | 70 | 8 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
1060.25/1060.61 c 998s| 4410k| 2247k| 0 | 0.0 | 998M| 46 | - | 70 | 8 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
1063.15/1063.56 c 1001s| 4420k| 2249k| 0 | 0.0 | 999M| 46 | - | 70 | 8 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1066.05/1066.48 c 1003s| 4430k| 2251k| 0 | 0.0 |1001M| 46 | - | 70 | 8 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1069.05/1069.43 c 1006s| 4440k| 2253k| 0 | 0.0 |1002M| 46 | - | 70 | 8 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
1072.05/1072.48 c 1009s| 4450k| 2255k| 0 | 0.0 |1004M| 46 | - | 70 | 8 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1075.05/1075.44 c 1012s| 4460k| 2256k| 0 | 0.0 |1005M| 46 | - | 70 | 8 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
1077.95/1078.37 c 1015s| 4470k| 2258k| 0 | 0.0 |1007M| 46 | - | 70 | 8 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
1080.95/1081.37 c 1017s| 4480k| 2260k| 0 | 0.0 |1008M| 46 | - | 70 | 8 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1083.94/1084.39 c 1020s| 4490k| 2262k| 0 | 0.0 |1010M| 46 | - | 70 | 8 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1086.84/1087.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.84/1087.29 c 1023s| 4500k| 2264k| 0 | 0.0 |1011M| 46 | - | 70 | 8 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1090.05/1090.44 c 1026s| 4510k| 2265k| 0 | 0.0 |1012M| 46 | - | 70 | 8 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
1093.05/1093.47 c 1029s| 4520k| 2267k| 0 | 0.0 |1014M| 46 | - | 70 | 8 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
1096.04/1096.41 c 1032s| 4530k| 2269k| 0 | 0.0 |1015M| 46 | - | 70 | 8 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
1099.04/1099.43 c 1035s| 4540k| 2271k| 0 | 0.0 |1017M| 46 | - | 70 | 8 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
1102.04/1102.49 c 1038s| 4550k| 2272k| 0 | 0.0 |1018M| 46 | - | 70 | 8 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
1105.14/1105.56 c 1041s| 4560k| 2274k| 0 | 0.0 |1020M| 46 | - | 70 | 8 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
1108.24/1108.63 c 1043s| 4570k| 2276k| 0 | 0.0 |1021M| 46 | - | 70 | 8 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
1111.24/1111.69 c 1046s| 4580k| 2277k| 0 | 0.0 |1022M| 46 | - | 70 | 8 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
1114.34/1114.78 c 1049s| 4590k| 2278k| 0 | 0.0 |1023M| 46 | - | 70 | 8 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
1117.33/1117.79 c 1052s| 4600k| 2279k| 0 | 0.0 |1025M| 46 | - | 70 | 8 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
1120.34/1120.79 c 1055s| 4610k| 2280k| 0 | 0.0 |1026M| 46 | - | 70 | 8 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
1123.43/1123.84 c 1058s| 4620k| 2281k| 0 | 0.0 |1027M| 46 | - | 70 | 8 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
1126.54/1126.92 c 1061s| 4630k| 2283k| 0 | 0.0 |1029M| 46 | - | 70 | 8 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
1129.53/1129.92 c 1064s| 4640k| 2284k| 0 | 0.0 |1030M| 46 | - | 70 | 8 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
1132.63/1133.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1132.63/1133.02 c 1067s| 4650k| 2285k| 0 | 0.0 |1031M| 46 | - | 70 | 8 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
1135.73/1136.14 c 1070s| 4660k| 2286k| 0 | 0.0 |1032M| 46 | - | 70 | 8 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
1138.93/1139.31 c 1073s| 4670k| 2287k| 0 | 0.0 |1034M| 46 | - | 70 | 8 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
1142.03/1142.40 c 1076s| 4680k| 2288k| 0 | 0.0 |1035M| 46 | - | 70 | 8 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
1145.03/1145.48 c 1079s| 4690k| 2289k| 0 | 0.0 |1036M| 46 | - | 70 | 8 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
1148.12/1148.52 c 1082s| 4700k| 2290k| 0 | 0.0 |1037M| 46 | - | 70 | 8 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
1151.12/1151.55 c 1084s| 4710k| 2291k| 0 | 0.0 |1038M| 46 | - | 70 | 8 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
1154.32/1154.76 c 1087s| 4720k| 2291k| 0 | 0.0 |1039M| 46 | - | 70 | 8 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
1157.73/1158.19 c 1091s| 4730k| 2291k| 0 | 0.0 |1040M| 49 | - | 70 | 8 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
1160.03/1160.46 c 1093s| 4740k| 2297k| 0 | 0.0 |1043M| 49 | - | 70 | 8 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
1161.82/1162.28 c 1095s| 4750k| 2305k| 0 | 0.0 |1045M| 49 | - | 70 | 8 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
1163.72/1164.11 c 1096s| 4760k| 2313k| 0 | 0.0 |1047M| 49 | - | 70 | 8 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
1165.53/1165.90 c 1098s| 4770k| 2320k| 0 | 0.0 |1050M| 49 | - | 70 | 8 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1167.32/1167.74 c 1100s| 4780k| 2328k| 0 | 0.0 |1052M| 49 | - | 70 | 8 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1169.12/1169.56 c 1101s| 4790k| 2335k| 0 | 0.0 |1054M| 49 | - | 70 | 8 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1170.92/1171.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1170.92/1171.38 c 1103s| 4800k| 2343k| 0 | 0.0 |1057M| 49 | - | 70 | 8 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1172.82/1173.26 c 1105s| 4810k| 2350k| 0 | 0.0 |1059M| 49 | - | 70 | 8 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1174.72/1175.10 c 1106s| 4820k| 2358k| 0 | 0.0 |1062M| 49 | - | 70 | 8 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1176.52/1176.95 c 1108s| 4830k| 2365k| 0 | 0.0 |1064M| 49 | - | 70 | 8 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1178.42/1178.82 c 1110s| 4840k| 2373k| 0 | 0.0 |1066M| 49 | - | 70 | 8 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
1180.21/1180.68 c 1112s| 4850k| 2380k| 0 | 0.0 |1069M| 49 | - | 70 | 8 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
1182.12/1182.57 c 1113s| 4860k| 2388k| 0 | 0.0 |1071M| 49 | - | 70 | 8 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
1184.01/1184.42 c 1115s| 4870k| 2395k| 0 | 0.0 |1073M| 49 | - | 70 | 8 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
1185.82/1186.29 c 1117s| 4880k| 2403k| 0 | 0.0 |1076M| 49 | - | 70 | 8 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
1187.71/1188.15 c 1119s| 4890k| 2410k| 0 | 0.0 |1078M| 49 | - | 70 | 8 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
1189.61/1190.00 c 1120s| 4900k| 2417k| 0 | 0.0 |1081M| 49 | - | 70 | 8 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
1191.41/1191.87 c 1122s| 4910k| 2425k| 0 | 0.0 |1083M| 49 | - | 70 | 8 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
1193.31/1193.75 c 1124s| 4920k| 2432k| 0 | 0.0 |1085M| 49 | - | 70 | 8 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
1195.21/1195.65 c 1126s| 4930k| 2439k| 0 | 0.0 |1088M| 49 | - | 70 | 8 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
1197.11/1197.51 c 1127s| 4940k| 2447k| 0 | 0.0 |1090M| 49 | - | 70 | 8 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
1198.91/1199.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1198.91/1199.38 c 1129s| 4950k| 2454k| 0 | 0.0 |1092M| 49 | - | 70 | 8 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
1200.81/1201.24 c 1131s| 4960k| 2462k| 0 | 0.0 |1095M| 49 | - | 70 | 8 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
1202.61/1203.08 c 1133s| 4970k| 2469k| 0 | 0.0 |1097M| 49 | - | 70 | 8 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
1204.51/1204.96 c 1134s| 4980k| 2476k| 0 | 0.0 |1100M| 49 | - | 70 | 8 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
1206.40/1206.87 c 1136s| 4990k| 2484k| 0 | 0.0 |1102M| 49 | - | 70 | 8 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
1208.42/1208.82 c 1138s| 5000k| 2491k| 0 | 0.0 |1104M| 49 | - | 70 | 8 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
1210.30/1210.71 c 1140s| 5010k| 2498k| 0 | 0.0 |1107M| 49 | - | 70 | 8 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
1212.21/1212.62 c 1142s| 5020k| 2505k| 0 | 0.0 |1109M| 49 | - | 70 | 8 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
1214.11/1214.52 c 1143s| 5030k| 2513k| 0 | 0.0 |1111M| 49 | - | 70 | 8 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
1216.00/1216.42 c 1145s| 5040k| 2520k| 0 | 0.0 |1114M| 49 | - | 70 | 8 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
1217.90/1218.31 c 1147s| 5050k| 2527k| 0 | 0.0 |1116M| 49 | - | 70 | 8 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
1219.70/1220.19 c 1149s| 5060k| 2534k| 0 | 0.0 |1118M| 49 | - | 70 | 8 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
1221.61/1222.10 c 1150s| 5070k| 2542k| 0 | 0.0 |1121M| 49 | - | 70 | 8 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
1223.60/1224.02 c 1152s| 5080k| 2549k| 0 | 0.0 |1123M| 49 | - | 70 | 8 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
1225.50/1225.90 c 1154s| 5090k| 2556k| 0 | 0.0 |1126M| 49 | - | 70 | 8 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
1227.40/1227.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1227.40/1227.85 c 1156s| 5100k| 2564k| 0 | 0.0 |1128M| 49 | - | 70 | 8 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
1229.30/1229.74 c 1158s| 5110k| 2571k| 0 | 0.0 |1130M| 49 | - | 70 | 8 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
1231.30/1231.71 c 1159s| 5120k| 2578k| 0 | 0.0 |1133M| 49 | - | 70 | 8 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
1233.20/1233.65 c 1161s| 5130k| 2585k| 0 | 0.0 |1135M| 49 | - | 70 | 8 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
1235.10/1235.56 c 1163s| 5140k| 2592k| 0 | 0.0 |1137M| 49 | - | 70 | 8 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
1237.00/1237.47 c 1165s| 5150k| 2600k| 0 | 0.0 |1140M| 49 | - | 70 | 8 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
1238.90/1239.39 c 1166s| 5160k| 2607k| 0 | 0.0 |1142M| 49 | - | 70 | 8 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
1240.89/1241.31 c 1168s| 5170k| 2614k| 0 | 0.0 |1145M| 49 | - | 70 | 8 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
1242.79/1243.23 c 1170s| 5180k| 2621k| 0 | 0.0 |1147M| 49 | - | 70 | 8 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
1244.70/1245.18 c 1172s| 5190k| 2628k| 0 | 0.0 |1149M| 49 | - | 70 | 8 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
1246.69/1247.10 c 1174s| 5200k| 2635k| 0 | 0.0 |1152M| 49 | - | 70 | 8 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
1248.60/1249.02 c 1175s| 5210k| 2642k| 0 | 0.0 |1154M| 49 | - | 70 | 8 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
1250.50/1250.95 c 1177s| 5220k| 2650k| 0 | 0.0 |1156M| 49 | - | 70 | 8 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
1252.40/1252.84 c 1179s| 5230k| 2657k| 0 | 0.0 |1159M| 49 | - | 70 | 8 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
1254.29/1254.75 c 1181s| 5240k| 2664k| 0 | 0.0 |1161M| 49 | - | 70 | 8 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
1256.19/1256.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1256.19/1256.68 c 1183s| 5250k| 2671k| 0 | 0.0 |1163M| 49 | - | 70 | 8 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
1258.19/1258.65 c 1184s| 5260k| 2678k| 0 | 0.0 |1166M| 49 | - | 70 | 8 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
1260.19/1260.65 c 1186s| 5270k| 2686k| 0 | 0.0 |1168M| 49 | - | 70 | 8 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
1262.09/1262.58 c 1188s| 5280k| 2693k| 0 | 0.0 |1171M| 49 | - | 70 | 8 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
1264.09/1264.51 c 1190s| 5290k| 2700k| 0 | 0.0 |1173M| 49 | - | 70 | 8 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
1265.99/1266.48 c 1192s| 5300k| 2707k| 0 | 0.0 |1175M| 49 | - | 70 | 8 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
1267.99/1268.46 c 1194s| 5310k| 2714k| 0 | 0.0 |1178M| 49 | - | 70 | 8 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
1269.99/1270.45 c 1195s| 5320k| 2721k| 0 | 0.0 |1180M| 49 | - | 70 | 8 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
1271.99/1272.48 c 1197s| 5330k| 2728k| 0 | 0.0 |1182M| 49 | - | 70 | 8 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
1273.99/1274.47 c 1199s| 5340k| 2735k| 0 | 0.0 |1185M| 49 | - | 70 | 8 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
1275.98/1276.45 c 1201s| 5350k| 2742k| 0 | 0.0 |1187M| 49 | - | 70 | 8 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
1277.98/1278.41 c 1203s| 5360k| 2749k| 0 | 0.0 |1189M| 49 | - | 70 | 8 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
1279.89/1280.36 c 1205s| 5370k| 2756k| 0 | 0.0 |1192M| 49 | - | 70 | 8 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
1281.88/1282.32 c 1206s| 5380k| 2764k| 0 | 0.0 |1194M| 49 | - | 70 | 8 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
1283.89/1284.35 c 1208s| 5390k| 2771k| 0 | 0.0 |1196M| 49 | - | 70 | 8 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
1285.88/1286.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1285.88/1286.35 c 1210s| 5400k| 2778k| 0 | 0.0 |1199M| 49 | - | 70 | 8 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
1287.88/1288.31 c 1212s| 5410k| 2785k| 0 | 0.0 |1201M| 49 | - | 70 | 8 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
1289.79/1290.29 c 1214s| 5420k| 2792k| 0 | 0.0 |1204M| 49 | - | 70 | 8 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
1291.88/1292.32 c 1216s| 5430k| 2799k| 0 | 0.0 |1206M| 49 | - | 70 | 8 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
1293.88/1294.32 c 1218s| 5440k| 2806k| 0 | 0.0 |1208M| 49 | - | 70 | 8 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
1295.87/1296.34 c 1220s| 5450k| 2813k| 0 | 0.0 |1211M| 49 | - | 70 | 8 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
1297.87/1298.33 c 1221s| 5460k| 2820k| 0 | 0.0 |1213M| 49 | - | 70 | 8 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
1299.87/1300.33 c 1223s| 5470k| 2827k| 0 | 0.0 |1215M| 49 | - | 70 | 8 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
1301.88/1302.37 c 1225s| 5480k| 2834k| 0 | 0.0 |1218M| 49 | - | 70 | 9 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
1303.88/1304.39 c 1227s| 5490k| 2841k| 0 | 0.0 |1220M| 49 | - | 70 | 9 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
1305.98/1306.40 c 1229s| 5500k| 2848k| 0 | 0.0 |1222M| 49 | - | 70 | 8 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
1307.97/1308.41 c 1231s| 5510k| 2855k| 0 | 0.0 |1225M| 49 | - | 70 | 8 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
1309.98/1310.43 c 1233s| 5520k| 2862k| 0 | 0.0 |1227M| 49 | - | 70 | 8 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
1311.97/1312.45 c 1235s| 5530k| 2869k| 0 | 0.0 |1229M| 49 | - | 70 | 8 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
1313.98/1314.46 c 1236s| 5540k| 2876k| 0 | 0.0 |1232M| 49 | - | 70 | 8 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
1315.97/1316.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1315.97/1316.45 c 1238s| 5550k| 2883k| 0 | 0.0 |1234M| 49 | - | 70 | 8 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
1317.97/1318.47 c 1240s| 5560k| 2890k| 0 | 0.0 |1237M| 49 | - | 70 | 8 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
1320.07/1320.55 c 1242s| 5570k| 2897k| 0 | 0.0 |1239M| 49 | - | 70 | 8 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
1322.07/1322.54 c 1244s| 5580k| 2904k| 0 | 0.0 |1241M| 49 | - | 70 | 8 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
1324.17/1324.64 c 1246s| 5590k| 2911k| 0 | 0.0 |1244M| 49 | - | 70 | 8 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
1326.27/1326.71 c 1248s| 5600k| 2918k| 0 | 0.0 |1246M| 49 | - | 70 | 9 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
1328.28/1328.70 c 1250s| 5610k| 2925k| 0 | 0.0 |1248M| 49 | - | 70 | 8 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
1330.17/1330.69 c 1252s| 5620k| 2931k| 0 | 0.0 |1251M| 49 | - | 70 | 8 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
1332.17/1332.68 c 1254s| 5630k| 2938k| 0 | 0.0 |1253M| 49 | - | 70 | 8 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
1334.17/1334.67 c 1255s| 5640k| 2945k| 0 | 0.0 |1255M| 49 | - | 70 | 8 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
1336.27/1336.71 c 1257s| 5650k| 2952k| 0 | 0.0 |1258M| 49 | - | 70 | 9 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
1338.27/1338.70 c 1259s| 5660k| 2959k| 0 | 0.0 |1260M| 49 | - | 70 | 8 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
1340.16/1340.68 c 1261s| 5670k| 2966k| 0 | 0.0 |1262M| 49 | - | 70 | 8 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
1342.16/1342.68 c 1263s| 5680k| 2973k| 0 | 0.0 |1265M| 49 | - | 70 | 8 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
1344.17/1344.69 c 1265s| 5690k| 2980k| 0 | 0.0 |1267M| 49 | - | 70 | 8 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
1346.26/1346.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1346.26/1346.71 c 1267s| 5700k| 2986k| 0 | 0.0 |1269M| 49 | - | 70 | 8 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
1348.16/1348.69 c 1268s| 5710k| 2993k| 0 | 0.0 |1272M| 49 | - | 70 | 8 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
1350.16/1350.69 c 1270s| 5720k| 3000k| 0 | 0.0 |1274M| 49 | - | 70 | 8 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
1352.16/1352.64 c 1272s| 5730k| 3007k| 0 | 0.0 |1276M| 49 | - | 70 | 8 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
1354.15/1354.68 c 1274s| 5740k| 3014k| 0 | 0.0 |1279M| 49 | - | 70 | 8 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
1356.16/1356.68 c 1276s| 5750k| 3021k| 0 | 0.0 |1281M| 49 | - | 70 | 8 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
1358.16/1358.69 c 1278s| 5760k| 3028k| 0 | 0.0 |1283M| 49 | - | 70 | 8 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
1360.16/1360.68 c 1280s| 5770k| 3035k| 0 | 0.0 |1286M| 49 | - | 70 | 8 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1362.25/1362.73 c 1282s| 5780k| 3042k| 0 | 0.0 |1288M| 49 | - | 70 | 8 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1364.26/1364.72 c 1283s| 5790k| 3049k| 0 | 0.0 |1290M| 49 | - | 70 | 8 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1366.26/1366.74 c 1285s| 5800k| 3056k| 0 | 0.0 |1293M| 49 | - | 70 | 8 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
1368.25/1368.78 c 1287s| 5810k| 3063k| 0 | 0.0 |1295M| 49 | - | 70 | 8 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
1370.25/1370.79 c 1289s| 5820k| 3069k| 0 | 0.0 |1297M| 49 | - | 70 | 8 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
1372.26/1372.77 c 1291s| 5830k| 3076k| 0 | 0.0 |1300M| 49 | - | 70 | 8 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
1374.35/1374.80 c 1293s| 5840k| 3083k| 0 | 0.0 |1302M| 49 | - | 70 | 8 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
1376.35/1376.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1376.35/1376.86 c 1295s| 5850k| 3090k| 0 | 0.0 |1304M| 49 | - | 70 | 9 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
1378.45/1378.94 c 1297s| 5860k| 3097k| 0 | 0.0 |1307M| 49 | - | 70 | 8 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
1380.55/1381.05 c 1299s| 5870k| 3104k| 0 | 0.0 |1309M| 49 | - | 70 | 8 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
1382.65/1383.11 c 1301s| 5880k| 3110k| 0 | 0.0 |1311M| 49 | - | 70 | 8 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
1384.65/1385.17 c 1303s| 5890k| 3117k| 0 | 0.0 |1314M| 49 | - | 70 | 8 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
1386.66/1387.16 c 1304s| 5900k| 3124k| 0 | 0.0 |1316M| 49 | - | 70 | 8 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
1388.64/1389.16 c 1306s| 5910k| 3131k| 0 | 0.0 |1318M| 49 | - | 70 | 8 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
1390.64/1391.19 c 1308s| 5920k| 3137k| 0 | 0.0 |1321M| 49 | - | 70 | 8 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
1392.75/1393.23 c 1310s| 5930k| 3144k| 0 | 0.0 |1323M| 49 | - | 70 | 8 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
1394.75/1395.28 c 1312s| 5940k| 3151k| 0 | 0.0 |1326M| 49 | - | 70 | 8 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
1396.84/1397.36 c 1314s| 5950k| 3158k| 0 | 0.0 |1328M| 49 | - | 70 | 8 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1398.95/1399.42 c 1316s| 5960k| 3165k| 0 | 0.0 |1330M| 49 | - | 70 | 8 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1400.95/1401.45 c 1318s| 5970k| 3172k| 0 | 0.0 |1333M| 49 | - | 70 | 8 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
1403.05/1403.53 c 1320s| 5980k| 3178k| 0 | 0.0 |1335M| 49 | - | 70 | 9 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
1405.04/1405.55 c 1322s| 5990k| 3185k| 0 | 0.0 |1337M| 49 | - | 70 | 8 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
1407.14/1407.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1407.14/1407.60 c 1323s| 6000k| 3192k| 0 | 0.0 |1340M| 49 | - | 70 | 8 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
1409.14/1409.64 c 1325s| 6010k| 3199k| 0 | 0.0 |1342M| 49 | - | 70 | 8 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
1411.15/1411.64 c 1327s| 6020k| 3205k| 0 | 0.0 |1344M| 49 | - | 70 | 8 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
1413.15/1413.67 c 1329s| 6030k| 3212k| 0 | 0.0 |1347M| 49 | - | 70 | 8 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
1415.15/1415.68 c 1331s| 6040k| 3219k| 0 | 0.0 |1349M| 49 | - | 70 | 8 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
1417.14/1417.66 c 1333s| 6050k| 3226k| 0 | 0.0 |1351M| 49 | - | 70 | 8 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
1419.23/1419.79 c 1335s| 6060k| 3232k| 0 | 0.0 |1354M| 49 | - | 70 | 8 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
1421.23/1421.77 c 1337s| 6070k| 3239k| 0 | 0.0 |1356M| 49 | - | 70 | 8 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
1423.24/1423.77 c 1339s| 6080k| 3246k| 0 | 0.0 |1358M| 49 | - | 70 | 8 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
1423.34/1423.84 c (node 6080353) switching to memory saving mode (mem: 1296.0M/1620.0M)
1427.44/1427.90 c 1342s| 6090k| 3244k| 0 | 0.0 |1356M| 63 | - | 70 | 8 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
1430.64/1431.16 c 1345s| 6100k| 3243k| 0 | 0.0 |1354M| 64 | - | 70 | 8 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
1433.94/1434.41 c 1349s| 6110k| 3241k| 0 | 0.0 |1353M| 65 | - | 70 | 8 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | -- | Inf
1437.14/1437.68 c 1352s| 6120k| 3239k| 0 | 0.0 |1351M| 65 | - | 70 | 8 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | -- | Inf
1440.44/1440.91 c 1355s| 6130k| 3238k| 0 | 0.0 |1349M| 66 | - | 70 | 8 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1443.63/1444.13 c 1358s| 6140k| 3237k| 0 | 0.0 |1347M| 66 | - | 70 | 8 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | -- | Inf
1446.83/1447.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1446.83/1447.35 c 1361s| 6150k| 3235k| 0 | 0.0 |1345M| 66 | - | 70 | 8 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
1450.03/1450.53 c 1364s| 6160k| 3234k| 0 | 0.0 |1343M| 66 | - | 70 | 8 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
1453.23/1453.71 c 1366s| 6170k| 3232k| 0 | 0.0 |1341M| 66 | - | 70 | 8 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
1456.53/1457.02 c 1370s| 6180k| 3231k| 0 | 0.0 |1339M| 66 | - | 70 | 8 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
1459.72/1460.27 c 1373s| 6190k| 3229k| 0 | 0.0 |1336M| 66 | - | 70 | 8 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1463.02/1463.59 c 1376s| 6200k| 3228k| 0 | 0.0 |1335M| 66 | - | 70 | 8 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
1466.43/1466.99 c 1379s| 6210k| 3226k| 0 | 0.0 |1333M| 66 | - | 70 | 8 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
1469.73/1470.27 c 1382s| 6220k| 3224k| 0 | 0.0 |1332M| 66 | - | 70 | 8 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
1472.92/1473.49 c 1385s| 6230k| 3223k| 0 | 0.0 |1330M| 66 | - | 70 | 8 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | -- | Inf
1476.12/1476.70 c 1388s| 6240k| 3222k| 0 | 0.0 |1329M| 66 | - | 70 | 8 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | -- | Inf
1479.43/1479.94 c 1391s| 6250k| 3220k| 0 | 0.0 |1327M| 66 | - | 70 | 8 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | -- | Inf
1482.62/1483.12 c 1394s| 6260k| 3219k| 0 | 0.0 |1326M| 66 | - | 70 | 8 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | -- | Inf
1485.72/1486.29 c 1397s| 6270k| 3218k| 0 | 0.0 |1324M| 66 | - | 70 | 8 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | -- | Inf
1488.92/1489.47 c 1400s| 6280k| 3217k| 0 | 0.0 |1322M| 66 | - | 70 | 8 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | -- | Inf
1492.23/1492.71 c 1403s| 6290k| 3216k| 0 | 0.0 |1321M| 66 | - | 70 | 8 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | -- | Inf
1495.42/1495.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.42/1495.97 c 1406s| 6300k| 3214k| 0 | 0.0 |1319M| 66 | - | 70 | 8 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | -- | Inf
1498.62/1499.13 c 1409s| 6310k| 3213k| 0 | 0.0 |1317M| 66 | - | 70 | 8 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | -- | Inf
1501.81/1502.31 c 1412s| 6320k| 3212k| 0 | 0.0 |1316M| 66 | - | 70 | 8 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | -- | Inf
1505.01/1505.54 c 1415s| 6330k| 3210k| 0 | 0.0 |1314M| 66 | - | 70 | 8 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | -- | Inf
1508.21/1508.77 c 1418s| 6340k| 3209k| 0 | 0.0 |1313M| 66 | - | 70 | 8 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | -- | Inf
1511.41/1511.99 c 1421s| 6350k| 3208k| 0 | 0.0 |1311M| 66 | - | 70 | 8 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | -- | Inf
1514.61/1515.20 c 1424s| 6360k| 3207k| 0 | 0.0 |1309M| 66 | - | 70 | 8 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | -- | Inf
1517.91/1518.44 c 1427s| 6370k| 3205k| 0 | 0.0 |1307M| 66 | - | 70 | 8 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | -- | Inf
1521.21/1521.70 c 1430s| 6380k| 3204k| 0 | 0.0 |1305M| 66 | - | 70 | 8 | 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | -- | Inf
1524.41/1524.95 c 1433s| 6390k| 3202k| 0 | 0.0 |1303M| 66 | - | 70 | 8 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | -- | Inf
1527.70/1528.21 c 1436s| 6400k| 3201k| 0 | 0.0 |1301M| 66 | - | 70 | 8 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | -- | Inf
1530.90/1531.47 c 1439s| 6410k| 3200k| 0 | 0.0 |1299M| 66 | - | 70 | 8 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | -- | Inf
1534.20/1534.75 c 1442s| 6420k| 3198k| 0 | 0.0 |1297M| 66 | - | 70 | 8 | 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | -- | Inf
1537.50/1538.09 c 1445s| 6430k| 3197k| 0 | 0.0 |1295M| 66 | - | 70 | 8 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | -- | Inf
1540.90/1541.42 c 1448s| 6440k| 3195k| 0 | 0.0 |1293M| 66 | - | 70 | 8 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | -- | Inf
1544.20/1544.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.20/1544.71 c 1452s| 6450k| 3193k| 0 | 0.0 |1291M| 66 | - | 70 | 8 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | -- | Inf
1547.50/1548.02 c 1455s| 6460k| 3192k| 0 | 0.0 |1289M| 66 | - | 70 | 8 | 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | -- | Inf
1550.70/1551.26 c 1458s| 6470k| 3191k| 0 | 0.0 |1287M| 66 | - | 70 | 8 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | -- | Inf
1553.90/1554.45 c 1461s| 6480k| 3189k| 0 | 0.0 |1286M| 66 | - | 70 | 8 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | -- | Inf
1557.10/1557.66 c 1464s| 6490k| 3188k| 0 | 0.0 |1285M| 66 | - | 70 | 8 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | -- | Inf
1560.30/1560.84 c 1467s| 6500k| 3187k| 0 | 0.0 |1284M| 66 | - | 70 | 8 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | -- | Inf
1563.39/1563.97 c 1470s| 6510k| 3186k| 0 | 0.0 |1283M| 66 | - | 70 | 8 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | -- | Inf
1566.60/1567.14 c 1473s| 6520k| 3185k| 0 | 0.0 |1282M| 66 | - | 70 | 8 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | -- | Inf
1569.79/1570.33 c 1476s| 6530k| 3184k| 0 | 0.0 |1280M| 66 | - | 70 | 8 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | -- | Inf
1572.99/1573.53 c 1479s| 6540k| 3183k| 0 | 0.0 |1279M| 66 | - | 70 | 8 | 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | -- | Inf
1576.09/1576.70 c 1481s| 6550k| 3181k| 0 | 0.0 |1278M| 66 | - | 70 | 8 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | -- | Inf
1579.29/1579.86 c 1484s| 6560k| 3181k| 0 | 0.0 |1277M| 66 | - | 70 | 8 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | -- | Inf
1582.39/1582.98 c 1487s| 6570k| 3179k| 0 | 0.0 |1275M| 66 | - | 70 | 8 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | -- | Inf
1585.60/1586.15 c 1490s| 6580k| 3178k| 0 | 0.0 |1274M| 66 | - | 70 | 8 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | -- | Inf
1588.78/1589.32 c 1493s| 6590k| 3177k| 0 | 0.0 |1273M| 66 | - | 70 | 8 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | -- | Inf
1591.99/1592.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1591.99/1592.53 c 1496s| 6600k| 3176k| 0 | 0.0 |1271M| 66 | - | 70 | 8 | 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | -- | Inf
1595.08/1595.66 c 1499s| 6610k| 3175k| 0 | 0.0 |1270M| 66 | - | 70 | 8 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | -- | Inf
1598.29/1598.80 c 1502s| 6620k| 3174k| 0 | 0.0 |1269M| 66 | - | 70 | 8 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | -- | Inf
1601.38/1601.92 c 1505s| 6630k| 3173k| 0 | 0.0 |1268M| 66 | - | 70 | 8 | 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | -- | Inf
1604.48/1605.04 c 1508s| 6640k| 3172k| 0 | 0.0 |1266M| 66 | - | 70 | 8 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | -- | Inf
1607.69/1608.23 c 1511s| 6650k| 3171k| 0 | 0.0 |1265M| 66 | - | 70 | 8 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | -- | Inf
1610.89/1611.44 c 1514s| 6660k| 3169k| 0 | 0.0 |1263M| 66 | - | 70 | 8 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | -- | Inf
1614.18/1614.72 c 1517s| 6670k| 3168k| 0 | 0.0 |1262M| 66 | - | 70 | 8 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | -- | Inf
1617.28/1617.83 c 1520s| 6680k| 3167k| 0 | 0.0 |1261M| 66 | - | 70 | 8 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | -- | Inf
1620.38/1620.98 c 1523s| 6690k| 3166k| 0 | 0.0 |1259M| 66 | - | 70 | 8 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | -- | Inf
1623.47/1624.09 c 1526s| 6700k| 3165k| 0 | 0.0 |1258M| 66 | - | 70 | 8 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | -- | Inf
1626.58/1627.19 c 1529s| 6710k| 3164k| 0 | 0.0 |1257M| 66 | - | 70 | 8 | 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | -- | Inf
1629.77/1630.34 c 1532s| 6720k| 3163k| 0 | 0.0 |1256M| 66 | - | 70 | 8 | 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | -- | Inf
1632.88/1633.50 c 1535s| 6730k| 3162k| 0 | 0.0 |1255M| 66 | - | 70 | 8 | 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | -- | Inf
1636.18/1636.71 c 1538s| 6740k| 3161k| 0 | 0.0 |1254M| 66 | - | 70 | 8 | 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | -- | Inf
1639.27/1639.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1639.27/1639.87 c 1541s| 6750k| 3160k| 0 | 0.0 |1252M| 66 | - | 70 | 8 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | -- | Inf
1642.47/1643.04 c 1544s| 6760k| 3159k| 0 | 0.0 |1251M| 66 | - | 70 | 8 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | -- | Inf
1645.57/1646.19 c 1546s| 6770k| 3158k| 0 | 0.0 |1250M| 66 | - | 70 | 8 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | -- | Inf
1648.77/1649.30 c 1549s| 6780k| 3157k| 0 | 0.0 |1248M| 66 | - | 70 | 8 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | -- | Inf
1651.97/1652.50 c 1552s| 6790k| 3156k| 0 | 0.0 |1247M| 66 | - | 70 | 8 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | -- | Inf
1655.17/1655.70 c 1555s| 6800k| 3154k| 0 | 0.0 |1245M| 66 | - | 70 | 8 | 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | -- | Inf
1658.27/1658.89 c 1558s| 6810k| 3153k| 0 | 0.0 |1244M| 66 | - | 70 | 8 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | -- | Inf
1661.48/1662.08 c 1561s| 6820k| 3152k| 0 | 0.0 |1243M| 66 | - | 70 | 8 | 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | -- | Inf
1664.77/1665.39 c 1564s| 6830k| 3151k| 0 | 0.0 |1241M| 66 | - | 70 | 8 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | -- | Inf
1668.07/1668.70 c 1567s| 6840k| 3150k| 0 | 0.0 |1239M| 66 | - | 70 | 8 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | -- | Inf
1671.37/1671.98 c 1571s| 6850k| 3148k| 0 | 0.0 |1238M| 66 | - | 70 | 8 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | -- | Inf
1674.66/1675.25 c 1574s| 6860k| 3147k| 0 | 0.0 |1236M| 66 | - | 70 | 8 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | -- | Inf
1677.97/1678.57 c 1577s| 6870k| 3145k| 0 | 0.0 |1234M| 66 | - | 70 | 8 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | -- | Inf
1681.27/1681.82 c 1580s| 6880k| 3144k| 0 | 0.0 |1233M| 66 | - | 70 | 8 | 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | -- | Inf
1684.57/1685.11 c 1583s| 6890k| 3143k| 0 | 0.0 |1231M| 66 | - | 70 | 8 | 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | -- | Inf
1687.86/1688.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.86/1688.46 c 1586s| 6900k| 3141k| 0 | 0.0 |1229M| 66 | - | 70 | 8 | 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | -- | Inf
1691.16/1691.77 c 1589s| 6910k| 3140k| 0 | 0.0 |1227M| 66 | - | 70 | 8 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | -- | Inf
1694.46/1695.03 c 1592s| 6920k| 3138k| 0 | 0.0 |1225M| 66 | - | 70 | 8 | 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | -- | Inf
1697.76/1698.33 c 1595s| 6930k| 3137k| 0 | 0.0 |1223M| 66 | - | 70 | 8 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | -- | Inf
1701.06/1701.61 c 1598s| 6940k| 3135k| 0 | 0.0 |1221M| 66 | - | 70 | 8 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | -- | Inf
1704.25/1704.83 c 1601s| 6950k| 3134k| 0 | 0.0 |1220M| 66 | - | 70 | 8 | 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | -- | Inf
1707.45/1708.07 c 1604s| 6960k| 3133k| 0 | 0.0 |1218M| 66 | - | 70 | 8 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | -- | Inf
1710.65/1711.21 c 1607s| 6970k| 3132k| 0 | 0.0 |1217M| 66 | - | 70 | 8 | 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | -- | Inf
1713.85/1714.41 c 1610s| 6980k| 3131k| 0 | 0.0 |1216M| 66 | - | 70 | 8 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | -- | Inf
1716.95/1717.51 c 1613s| 6990k| 3130k| 0 | 0.0 |1215M| 66 | - | 70 | 8 | 0 | 0 | 0 | 622k| 0 | 0.000000e+00 | -- | Inf
1720.05/1720.62 c 1616s| 7000k| 3129k| 0 | 0.0 |1215M| 66 | - | 70 | 8 | 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | -- | Inf
1723.05/1723.66 c 1619s| 7010k| 3128k| 0 | 0.0 |1214M| 66 | - | 70 | 8 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | -- | Inf
1726.05/1726.65 c 1622s| 7020k| 3127k| 0 | 0.0 |1213M| 66 | - | 70 | 8 | 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | -- | Inf
1729.05/1729.63 c 1625s| 7030k| 3127k| 0 | 0.0 |1213M| 66 | - | 70 | 8 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | -- | Inf
1732.04/1732.64 c 1627s| 7040k| 3126k| 0 | 0.0 |1212M| 66 | - | 70 | 8 | 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | -- | Inf
1735.15/1735.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.15/1735.75 c 1630s| 7050k| 3125k| 0 | 0.0 |1211M| 66 | - | 70 | 8 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | -- | Inf
1738.14/1738.79 c 1633s| 7060k| 3125k| 0 | 0.0 |1211M| 66 | - | 70 | 8 | 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | -- | Inf
1741.24/1741.89 c 1636s| 7070k| 3124k| 0 | 0.0 |1210M| 66 | - | 70 | 8 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | -- | Inf
1744.34/1744.99 c 1639s| 7080k| 3123k| 0 | 0.0 |1209M| 66 | - | 70 | 8 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | -- | Inf
1747.43/1748.04 c 1642s| 7090k| 3122k| 0 | 0.0 |1208M| 66 | - | 70 | 8 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | -- | Inf
1750.44/1751.07 c 1645s| 7100k| 3122k| 0 | 0.0 |1208M| 66 | - | 70 | 8 | 0 | 0 | 0 | 653k| 0 | 0.000000e+00 | -- | Inf
1753.64/1754.20 c 1647s| 7110k| 3121k| 0 | 0.0 |1207M| 66 | - | 70 | 8 | 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | -- | Inf
1756.63/1757.25 c 1650s| 7120k| 3120k| 0 | 0.0 |1206M| 66 | - | 70 | 8 | 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | -- | Inf
1759.74/1760.31 c 1653s| 7130k| 3119k| 0 | 0.0 |1205M| 66 | - | 70 | 8 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | -- | Inf
1762.75/1763.34 c 1656s| 7140k| 3119k| 0 | 0.0 |1205M| 66 | - | 70 | 8 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | -- | Inf
1765.73/1766.37 c 1659s| 7150k| 3118k| 0 | 0.0 |1204M| 66 | - | 70 | 8 | 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | -- | Inf
1768.84/1769.40 c 1662s| 7160k| 3117k| 0 | 0.0 |1203M| 66 | - | 70 | 8 | 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | -- | Inf
1771.93/1772.51 c 1665s| 7170k| 3116k| 0 | 0.0 |1202M| 66 | - | 70 | 8 | 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | -- | Inf
1774.93/1775.59 c 1667s| 7180k| 3116k| 0 | 0.0 |1202M| 66 | - | 70 | 8 | 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | -- | Inf
1778.04/1778.62 c 1670s| 7190k| 3115k| 0 | 0.0 |1201M| 66 | - | 70 | 8 | 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | -- | Inf
1781.13/1781.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1781.13/1781.71 c 1673s| 7200k| 3114k| 0 | 0.0 |1200M| 66 | - | 70 | 8 | 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | -- | Inf
1784.23/1784.82 c 1676s| 7210k| 3113k| 0 | 0.0 |1199M| 66 | - | 70 | 8 | 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | -- | Inf
1787.32/1787.90 c 1679s| 7220k| 3112k| 0 | 0.0 |1198M| 66 | - | 70 | 8 | 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | -- | Inf
1790.32/1790.96 c 1682s| 7230k| 3112k| 0 | 0.0 |1198M| 66 | - | 70 | 8 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | -- | Inf
1793.43/1794.01 c 1685s| 7240k| 3111k| 0 | 0.0 |1197M| 66 | - | 70 | 8 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | -- | Inf
1796.42/1797.05 c 1687s| 7250k| 3110k| 0 | 0.0 |1196M| 66 | - | 70 | 8 | 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | -- | Inf
1799.52/1800.13 c 1690s| 7260k| 3109k| 0 | 0.0 |1195M| 66 | - | 70 | 8 | 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | -- | Inf
1800.03/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.61 c
1800.03/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.61 c Solving Time (sec) : 1690.73
1800.03/1800.61 c Solving Nodes : 7261480
1800.03/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.61 c Dual Bound : +0.00000000000000e+00
1800.03/1800.61 c Gap : infinite
1800.03/1800.61 s UNKNOWN
1800.03/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.61 c Solving Time : 1690.73
1800.03/1800.61 c Original Problem :
1800.03/1800.61 c Problem name : HOME/instance-2664019-1276615725.opb
1800.03/1800.61 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.61 c Constraints : 17 initial, 17 maximal
1800.03/1800.61 c Presolved Problem :
1800.03/1800.61 c Problem name : t_HOME/instance-2664019-1276615725.opb
1800.03/1800.61 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.61 c Constraints : 8 initial, 80 maximal
1800.03/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.03/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.61 c linear : 0.01 0 0 0 0 0 9 0 0
1800.03/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c root node : - 0 - - 0 - - - -
1800.03/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.61 c linear : 8 0 11244870 0 5258408 2148578 28067631 0 0 0
1800.03/1800.61 c logicor : 0+ 0 946765 0 0 0 611193 0 0 0
1800.03/1800.61 c countsols : 0 0 0 0 5258408 0 0 0 0 0
1800.03/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.61 c linear : 1243.78 0.00 1240.14 0.00 3.64
1800.03/1800.61 c logicor : 4.24 0.00 4.24 0.00 0.00
1800.03/1800.61 c countsols : 1.95 0.00 0.00 0.00 1.95
1800.03/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.61 c vbounds : 5.31 2 0 0
1800.03/1800.61 c rootredcost : 5.34 0 0 0
1800.03/1800.61 c pseudoobj : 5.12 0 0 0
1800.03/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.61 c propagation : 479.28 2148578 699993 2450980 50.4 0 0.0 -
1800.03/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.61 c applied globally : - - - 1982 29.6 - - -
1800.03/1800.61 c applied locally : - - - 698011 42.7 - - -
1800.03/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.61 c redcost : 0.00 0 0 0 0 0
1800.03/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.61 c intobj : 0.00 0 0 0 0 0
1800.03/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.61 c gomory : 0.00 0 0 0 0 0
1800.03/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.61 c cmir : 0.00 0 0 0 0 0
1800.03/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.61 c clique : 0.00 0 0 0 0 0
1800.03/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.61 c mcf : 0.00 0 0 0 0 0
1800.03/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.61 c Pricers : Time Calls Vars
1800.03/1800.61 c problem variables: 0.00 0 0
1800.03/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.61 c inference : 44.07 5258408 0 0 0 0 10516816
1800.03/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.61 c random : 0.00 0 0 0 0 0 0
1800.03/1800.61 c Primal Heuristics : Time Calls Found
1800.03/1800.61 c LP solutions : 0.00 - 0
1800.03/1800.61 c pseudo solutions : 0.00 - 0
1800.03/1800.61 c oneopt : 3.58 0 0
1800.03/1800.61 c trivial : 0.00 2 0
1800.03/1800.61 c simplerounding : 0.00 0 0
1800.03/1800.61 c zirounding : 0.00 0 0
1800.03/1800.61 c rounding : 0.00 0 0
1800.03/1800.61 c shifting : 0.00 0 0
1800.03/1800.61 c intshifting : 0.00 0 0
1800.03/1800.61 c twoopt : 0.00 0 0
1800.03/1800.61 c fixandinfer : 0.00 0 0
1800.03/1800.61 c feaspump : 0.00 0 0
1800.03/1800.61 c coefdiving : 0.00 0 0
1800.03/1800.61 c pscostdiving : 0.00 0 0
1800.03/1800.61 c fracdiving : 0.00 0 0
1800.03/1800.61 c veclendiving : 0.00 0 0
1800.03/1800.61 c intdiving : 0.00 0 0
1800.03/1800.61 c actconsdiving : 0.00 0 0
1800.03/1800.61 c objpscostdiving : 0.00 0 0
1800.03/1800.61 c rootsoldiving : 0.00 0 0
1800.03/1800.61 c linesearchdiving : 0.00 0 0
1800.03/1800.61 c guideddiving : 0.00 0 0
1800.03/1800.61 c octane : 0.00 0 0
1800.03/1800.61 c rens : 0.00 0 0
1800.03/1800.61 c rins : 0.00 0 0
1800.03/1800.61 c localbranching : 0.00 0 0
1800.03/1800.61 c mutation : 0.00 0 0
1800.03/1800.61 c crossover : 0.00 0 0
1800.03/1800.61 c dins : 0.00 0 0
1800.03/1800.61 c undercover : 0.00 0 0
1800.03/1800.61 c nlp : 3.69 0 0
1800.03/1800.61 c trysol : 2.92 0 0
1800.03/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.61 c (at root node) : - 0 0 0.00 -
1800.03/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.61 c B&B Tree :
1800.03/1800.61 c number of runs : 1
1800.03/1800.61 c nodes : 7261480
1800.03/1800.61 c nodes (total) : 7261480
1800.03/1800.61 c nodes left : 3109827
1800.03/1800.61 c max depth : 66
1800.03/1800.61 c max depth (total): 66
1800.03/1800.61 c backtracks : 576060 (7.9%)
1800.03/1800.61 c delayed cutoffs : 145510
1800.03/1800.61 c repropagations : 1876518 (1421897 domain reductions, 145506 cutoffs)
1800.03/1800.61 c avg switch length: 6.54
1800.03/1800.61 c switching time : 200.08
1800.03/1800.61 c Solution :
1800.03/1800.61 c Solutions found : 0 (0 improvements)
1800.03/1800.61 c Primal Bound : -
1800.03/1800.61 c Dual Bound : +0.00000000000000e+00
1800.03/1800.61 c Gap : infinite
1800.03/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.61 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664019-1276615725/watcher-2664019-1276615725 -o /tmp/evaluation-result-2664019-1276615725/solver-2664019-1276615725 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664019-1276615725.opb -t 1800 -m 1800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 4665
/proc/meminfo: memFree=1664852/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=6584 CPUtime=0
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 1036 0 0 0 0 0 0 0 17 0 1 0 37176151 6742016 960 1992294400 4194304 7136930 140734971909872 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4665/statm: 1646 969 254 719 0 925 0
[startup+0.086771 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 4665
/proc/meminfo: memFree=1664852/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=11144 CPUtime=0.08
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 3008 0 0 0 7 1 0 0 17 0 1 0 37176151 11411456 2064 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 2786 2064 387 719 0 2065 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11144
[startup+0.101772 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 4665
/proc/meminfo: memFree=1664852/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=11144 CPUtime=0.09
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 3010 0 0 0 8 1 0 0 17 0 1 0 37176151 11411456 2066 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 2786 2074 387 719 0 2065 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11144
[startup+0.301798 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 4665
/proc/meminfo: memFree=1664852/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=11540 CPUtime=0.29
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 3122 0 0 0 27 2 0 0 17 0 1 0 37176151 11816960 2178 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 2885 2178 387 719 0 2164 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11540
[startup+0.701841 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 4665
/proc/meminfo: memFree=1664852/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=12484 CPUtime=0.69
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 3354 0 0 0 65 4 0 0 17 0 1 0 37176151 12783616 2410 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 3121 2410 387 719 0 2400 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12484
[startup+1.50193 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 4666
/proc/meminfo: memFree=1655792/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=14052 CPUtime=1.49
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 3735 0 0 0 139 10 0 0 18 0 1 0 37176151 14389248 2791 1992294400 4194304 7136930 140734971909872 18446744073709551615 4983941 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 3513 2791 387 719 0 2792 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14052
[startup+3.10112 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 4666
/proc/meminfo: memFree=1654552/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=15812 CPUtime=3.09
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 4221 0 0 0 289 20 0 0 21 0 1 0 37176151 16191488 3277 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 3953 3277 387 719 0 3232 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15812
[startup+6.30149 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 4666
/proc/meminfo: memFree=1649220/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=20224 CPUtime=6.29
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 5365 0 0 0 587 42 0 0 25 0 1 0 37176151 20709376 4421 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 5056 4421 387 719 0 4335 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20224
[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 4666
/proc/meminfo: memFree=1640540/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=28276 CPUtime=12.68
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 7434 0 0 0 1184 84 0 0 25 0 1 0 37176151 28954624 6490 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 7069 6490 387 719 0 6348 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28276
[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 4666
/proc/meminfo: memFree=1624916/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=45636 CPUtime=25.48
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 11398 0 0 0 2385 163 0 0 25 0 1 0 37176151 46731264 10454 1992294400 4194304 7136930 140734971909872 18446744073709551615 4976324 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 11409 10454 387 719 0 10688 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45636
[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 4666
/proc/meminfo: memFree=1589204/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=79636 CPUtime=51.07
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 20246 0 0 0 4764 343 0 0 25 0 1 0 37176151 81547264 19302 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 19909 19302 387 719 0 19188 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 79636
[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 4668
/proc/meminfo: memFree=1528568/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=141640 CPUtime=102.26
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 35189 0 0 0 9564 662 0 0 25 0 1 0 37176151 145039360 34245 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 35410 34245 387 719 0 34689 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 141640
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4670
/proc/meminfo: memFree=1477852/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=191084 CPUtime=162.24
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 47934 0 0 0 15216 1008 0 0 25 0 1 0 37176151 195670016 46990 1992294400 4194304 7136930 140734971909872 18446744073709551615 4947664 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 47771 46990 387 719 0 47050 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 191084
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4670
/proc/meminfo: memFree=1396012/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=277260 CPUtime=222.22
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 68318 0 0 0 20799 1423 0 0 25 0 1 0 37176151 283914240 67374 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 69315 67374 387 719 0 68594 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 277260
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4672
/proc/meminfo: memFree=1325580/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=344904 CPUtime=282.2
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 86013 0 0 0 26394 1826 0 0 25 0 1 0 37176151 353181696 85069 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 86226 85069 387 719 0 85505 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 344904
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4674
/proc/meminfo: memFree=1252916/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=430228 CPUtime=342.18
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 103961 0 0 0 31986 2232 0 0 25 0 1 0 37176151 440553472 103017 1992294400 4194304 7136930 140734971909872 18446744073709551615 4675276 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 107557 103017 387 719 0 106836 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 430228
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4676
/proc/meminfo: memFree=1185832/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=494788 CPUtime=402.16
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 120723 0 0 0 37606 2610 0 0 25 0 1 0 37176151 506662912 119779 1992294400 4194304 7136930 140734971909872 18446744073709551615 4947435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 123697 119779 387 719 0 122976 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 494788
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4678
/proc/meminfo: memFree=1123460/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=554312 CPUtime=462.14
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 136224 0 0 0 43232 2982 0 0 25 0 1 0 37176151 567615488 135280 1992294400 4194304 7136930 140734971909872 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 138578 135280 387 719 0 137857 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 554312
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4678
/proc/meminfo: memFree=1060096/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=615348 CPUtime=522.12
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 152027 0 0 0 48860 3352 0 0 25 0 1 0 37176151 630116352 151083 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 153837 151083 387 719 0 153116 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 615348
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4680
/proc/meminfo: memFree=999584/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=673176 CPUtime=582.1
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 166978 0 0 0 54505 3705 0 0 25 0 1 0 37176151 689332224 166034 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 168294 166034 387 719 0 167573 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 673176
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4682
/proc/meminfo: memFree=941676/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=728792 CPUtime=642.09
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 181369 0 0 0 60157 4052 0 0 25 0 1 0 37176151 746283008 180425 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 182198 180425 387 719 0 181477 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 728792
[startup+702.301 s]
################
# More data... #
################
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 263010 0 0 0 99936 6259 0 0 25 0 1 0 37176151 1105702912 262066 1992294400 4194304 7136930 140734971909872 18446744073709551615 5924216 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 269947 262066 387 719 0 269226 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 1079788
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4694
/proc/meminfo: memFree=581952/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=1110612 CPUtime=1121.94
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 270862 0 0 0 105650 6544 0 0 25 0 1 0 37176151 1137266688 269918 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 277653 269918 387 719 0 276932 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 1110612
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4696
/proc/meminfo: memFree=540288/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=1151404 CPUtime=1181.91
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 281495 0 0 0 111316 6875 0 0 25 0 1 0 37176151 1179037696 280551 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 287851 280551 387 719 0 287130 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 1151404
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4698
/proc/meminfo: memFree=458944/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=1228336 CPUtime=1241.9
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 301642 0 0 0 116917 7273 0 0 25 0 1 0 37176151 1257816064 300698 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 307084 300698 387 719 0 306363 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1228336
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4700
/proc/meminfo: memFree=383924/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=1299292 CPUtime=1301.88
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 320163 0 0 0 122515 7673 0 0 25 0 1 0 37176151 1330475008 319219 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 324823 319219 387 719 0 324102 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1299292
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4702
/proc/meminfo: memFree=315104/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=1364752 CPUtime=1361.86
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 337352 0 0 0 128122 8064 0 0 25 0 1 0 37176151 1397506048 336408 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 341188 336408 387 719 0 340467 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1364752
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4702
/proc/meminfo: memFree=240208/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=1436152 CPUtime=1421.84
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 356000 0 0 0 133721 8463 0 0 25 0 1 0 37176151 1470619648 355056 1992294400 4194304 7136930 140734971909872 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 359038 355056 387 719 0 358317 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1436152
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4704
/proc/meminfo: memFree=238348/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=1437340 CPUtime=1481.82
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 368982 0 0 0 139323 8859 0 0 25 0 1 0 37176151 1471836160 355354 1992294400 4194304 7136930 140734971909872 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 359335 355354 387 719 0 358614 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1437340
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4706
/proc/meminfo: memFree=238224/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=1437340 CPUtime=1541.8
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 368982 0 0 0 144931 9249 0 0 25 0 1 0 37176151 1471836160 355354 1992294400 4194304 7136930 140734971909872 18446744073709551615 4975960 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 359335 355354 387 719 0 358614 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1437340
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4708
/proc/meminfo: memFree=238224/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=1437340 CPUtime=1601.78
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 368982 0 0 0 150544 9634 0 0 25 0 1 0 37176151 1471836160 355354 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 359335 355354 387 719 0 358614 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1437340
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4710
/proc/meminfo: memFree=238100/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=1437340 CPUtime=1661.77
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 368982 0 0 0 156152 10025 0 0 25 0 1 0 37176151 1471836160 355354 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 359335 355354 387 719 0 358614 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1437340
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4710
/proc/meminfo: memFree=237976/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=1437340 CPUtime=1721.75
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 368982 0 0 0 161773 10402 0 0 25 0 1 0 37176151 1471836160 355354 1992294400 4194304 7136930 140734971909872 18446744073709551615 5918837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 359335 355354 387 719 0 358614 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1437340
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4712
/proc/meminfo: memFree=237728/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=1437340 CPUtime=1781.72
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 368982 0 0 0 167365 10807 0 0 25 0 1 0 37176151 1471836160 355354 1992294400 4194304 7136930 140734971909872 18446744073709551615 4976330 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 359335 355354 387 719 0 358614 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1437340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4714
/proc/meminfo: memFree=237728/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=1437340 CPUtime=1800.03
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 368982 0 0 0 169073 10930 0 0 25 0 1 0 37176151 1471836160 355354 1992294400 4194304 7136930 140734971909872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4665/statm: 359335 355354 387 719 0 358614 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1437340
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4665
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4714
/proc/meminfo: memFree=237728/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=1437340 CPUtime=1800.82
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 368988 0 0 0 169152 10930 0 0 25 0 1 0 37176151 1471836160 355360 1992294400 4194304 7136930 140734971909872 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4665/statm: 359335 355360 393 719 0 358614 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 1437340
[startup+1802.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 4715
/proc/meminfo: memFree=237596/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=1437340 CPUtime=1801.62
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 368988 0 0 0 169232 10930 0 0 25 0 1 0 37176151 1471836160 355360 1992294400 4194304 7136930 140734971909872 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4665/statm: 359335 355360 393 719 0 358614 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 1437340
[startup+1802.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 4715
/proc/meminfo: memFree=237596/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=1437340 CPUtime=1802.02
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4202496 368988 0 0 0 169272 10930 0 0 25 0 1 0 37176151 1471836160 355360 1992294400 4194304 7136930 140734971909872 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4665/statm: 359335 355360 393 719 0 358614 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 1437340
[startup+1802.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 4715
/proc/meminfo: memFree=237596/2059040 swapFree=4140048/4192956
[pid=4665] ppid=4663 vsize=0 CPUtime=1802.13
/proc/4665/stat : 4665 (pbscip.linux.x8) R 4663 4665 4640 0 -1 4203524 368988 0 0 0 169274 10939 0 0 25 0 1 0 37176151 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/4665/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.75
CPU time (s): 1802.18
CPU user time (s): 1692.74
CPU system time (s): 109.443
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 1501712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1692.74
system time used= 109.443
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 368988
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= 2
involuntary context switches= 3347
runsolver used 3.03854 second user time and 8.48971 second system time
The end