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-2664140-1276361808.opb>
0.00/0.01 c original problem has 787 variables (787 bin, 0 int, 0 impl, 0 cont) and 65 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.02 c presolving:
0.00/0.02 c (round 1) 2 del vars, 0 del conss, 2 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 48 clqs
0.00/0.02 c (round 2) 2 del vars, 1 del conss, 2 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 48 clqs
0.00/0.03 c (round 3) 2 del vars, 1 del conss, 2 chg bounds, 2 chg sides, 2 chg coeffs, 64 upgd conss, 0 impls, 48 clqs
0.00/0.05 c (0.0s) probing: 101/785 (12.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (4 rounds):
0.00/0.05 c 2 deleted vars, 1 deleted constraints, 2 tightened bounds, 0 added holes, 2 changed sides, 2 changed coefficients
0.00/0.05 c 0 implications, 48 cliques
0.00/0.05 c presolved problem has 785 variables (785 bin, 0 int, 0 impl, 0 cont) and 64 constraints
0.00/0.05 c 16 constraints of type <knapsack>
0.00/0.05 c 48 constraints of type <setppc>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.02
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.2
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1799.99
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 1620
0.00/0.05 c
0.00/0.05 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c lp/solvefreq = -1
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.05 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.05 c 0.0s| 1 | 2 | 0 | - |2409k| 0 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
2.20/2.24 c 2.1s| 10000 | 10001 | 0 | 0.0 |5396k| 141 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
4.49/4.52 c 4.2s| 20000 | 20001 | 0 | 0.0 |8510k| 141 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
6.69/6.77 c 6.3s| 30000 | 30001 | 0 | 0.0 | 11M| 141 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
9.19/9.23 c 8.6s| 40000 | 40001 | 0 | 0.0 | 14M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
11.69/11.78 c 11.0s| 50000 | 50001 | 0 | 0.0 | 17M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
14.29/14.34 c 13.4s| 60000 | 60001 | 0 | 0.0 | 20M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
16.89/16.92 c 15.8s| 70000 | 70001 | 0 | 0.0 | 22M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
19.39/19.49 c 18.2s| 80000 | 80001 | 0 | 0.0 | 25M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
21.99/22.07 c 20.6s| 90000 | 90001 | 0 | 0.0 | 28M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
24.58/24.67 c 23.1s|100000 |100001 | 0 | 0.0 | 31M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
27.18/27.27 c 25.5s|110000 |110001 | 0 | 0.0 | 34M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
29.78/29.88 c 27.9s|120000 |120001 | 0 | 0.0 | 37M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
32.37/32.49 c 30.4s|130000 |130001 | 0 | 0.0 | 40M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
34.98/35.09 c 32.8s|140000 |140001 | 0 | 0.0 | 43M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
37.68/37.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.68/37.70 c 35.3s|150000 |150001 | 0 | 0.0 | 46M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
40.28/40.31 c 37.7s|160000 |160001 | 0 | 0.0 | 49M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
42.88/42.92 c 40.2s|170000 |170001 | 0 | 0.0 | 52M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
45.38/45.49 c 42.6s|180000 |180001 | 0 | 0.0 | 56M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
47.98/48.08 c 45.0s|190000 |190001 | 0 | 0.0 | 59M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
50.59/50.67 c 47.4s|200000 |200001 | 0 | 0.0 | 62M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
53.17/53.24 c 49.8s|210000 |210001 | 0 | 0.0 | 65M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
55.78/55.83 c 52.2s|220000 |220001 | 0 | 0.0 | 68M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
58.37/58.42 c 54.7s|230000 |230001 | 0 | 0.0 | 71M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
60.87/60.99 c 57.1s|240000 |240001 | 0 | 0.0 | 74M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
63.47/63.56 c 59.5s|250000 |250001 | 0 | 0.0 | 77M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
66.07/66.14 c 61.9s|260000 |260001 | 0 | 0.0 | 79M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
68.67/68.72 c 64.3s|270000 |270001 | 0 | 0.0 | 82M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
71.27/71.31 c 66.8s|280000 |280001 | 0 | 0.0 | 85M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
73.77/73.89 c 69.2s|290000 |290001 | 0 | 0.0 | 88M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
76.37/76.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.37/76.47 c 71.6s|300000 |300001 | 0 | 0.0 | 91M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
78.96/79.04 c 74.0s|310000 |310001 | 0 | 0.0 | 94M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
81.46/81.57 c 76.4s|320000 |320001 | 0 | 0.0 | 97M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
84.06/84.14 c 78.8s|330000 |330001 | 0 | 0.0 | 100M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
86.65/86.71 c 81.2s|340000 |340001 | 0 | 0.0 | 103M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
89.15/89.27 c 83.7s|350000 |350001 | 0 | 0.0 | 106M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
91.76/91.83 c 86.1s|360000 |360001 | 0 | 0.0 | 109M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
94.26/94.40 c 88.5s|370000 |370001 | 0 | 0.0 | 112M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
96.86/96.95 c 90.9s|380000 |380001 | 0 | 0.0 | 115M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
99.45/99.50 c 93.2s|390000 |390001 | 0 | 0.0 | 118M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
101.96/102.05 c 95.6s|400000 |400001 | 0 | 0.0 | 121M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
104.55/104.60 c 98.0s|410000 |410001 | 0 | 0.0 | 124M| 143 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
107.05/107.13 c 100s|420000 |420001 | 0 | 0.0 | 127M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
109.55/109.67 c 103s|430000 |430001 | 0 | 0.0 | 130M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
112.16/112.22 c 105s|440000 |440001 | 0 | 0.0 | 132M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
114.65/114.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.65/114.78 c 108s|450000 |450001 | 0 | 0.0 | 135M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
117.25/117.33 c 110s|460000 |460001 | 0 | 0.0 | 138M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
119.76/119.88 c 112s|470000 |470001 | 0 | 0.0 | 141M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
122.35/122.45 c 115s|480000 |480001 | 0 | 0.0 | 144M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
124.95/125.01 c 117s|490000 |490001 | 0 | 0.0 | 147M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
127.45/127.58 c 120s|500000 |500001 | 0 | 0.0 | 150M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
130.04/130.14 c 122s|510000 |510001 | 0 | 0.0 | 153M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
132.64/132.70 c 124s|520000 |520001 | 0 | 0.0 | 155M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
135.15/135.28 c 127s|530000 |530001 | 0 | 0.0 | 158M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
137.75/137.85 c 129s|540000 |540001 | 0 | 0.0 | 161M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
140.34/140.43 c 132s|550000 |550001 | 0 | 0.0 | 164M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
142.95/143.02 c 134s|560000 |560001 | 0 | 0.0 | 167M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
145.54/145.60 c 137s|570000 |570001 | 0 | 0.0 | 170M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
148.04/148.19 c 139s|580000 |580001 | 0 | 0.0 | 173M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
150.65/150.77 c 141s|590000 |590001 | 0 | 0.0 | 176M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
153.24/153.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.24/153.35 c 144s|600000 |600001 | 0 | 0.0 | 179M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
155.84/155.94 c 146s|610000 |610001 | 0 | 0.0 | 182M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
158.44/158.52 c 149s|620000 |620001 | 0 | 0.0 | 185M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
161.03/161.11 c 151s|630000 |630001 | 0 | 0.0 | 188M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
163.64/163.70 c 154s|640000 |640001 | 0 | 0.0 | 191M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
166.13/166.29 c 156s|650000 |650001 | 0 | 0.0 | 194M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
168.74/168.90 c 158s|660000 |660001 | 0 | 0.0 | 197M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
171.33/171.49 c 161s|670000 |670001 | 0 | 0.0 | 200M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
173.93/174.09 c 163s|680000 |680001 | 0 | 0.0 | 203M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
176.53/176.68 c 166s|690000 |690001 | 0 | 0.0 | 206M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
179.14/179.28 c 168s|700000 |700001 | 0 | 0.0 | 209M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
181.73/181.89 c 171s|710000 |710001 | 0 | 0.0 | 212M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
184.33/184.49 c 173s|720000 |720001 | 0 | 0.0 | 215M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
186.94/187.09 c 175s|730000 |730001 | 0 | 0.0 | 218M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
189.53/189.69 c 178s|740000 |740001 | 0 | 0.0 | 221M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
192.13/192.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.13/192.29 c 180s|750000 |750001 | 0 | 0.0 | 224M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
194.73/194.89 c 183s|760000 |760001 | 0 | 0.0 | 227M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
197.42/197.50 c 185s|770000 |770001 | 0 | 0.0 | 230M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
200.03/200.11 c 188s|780000 |780001 | 0 | 0.0 | 233M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
202.52/202.68 c 190s|790000 |790001 | 0 | 0.0 | 236M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
205.12/205.28 c 193s|800000 |800001 | 0 | 0.0 | 239M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
207.72/207.90 c 195s|810000 |810001 | 0 | 0.0 | 242M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
210.42/210.51 c 197s|820000 |820001 | 0 | 0.0 | 245M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
213.01/213.13 c 200s|830000 |830001 | 0 | 0.0 | 248M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
215.62/215.73 c 202s|840000 |840001 | 0 | 0.0 | 251M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
218.22/218.33 c 205s|850000 |850001 | 0 | 0.0 | 254M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
220.82/220.95 c 207s|860000 |860001 | 0 | 0.0 | 257M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
223.41/223.56 c 210s|870000 |870001 | 0 | 0.0 | 260M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
226.01/226.18 c 212s|880000 |880001 | 0 | 0.0 | 263M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
228.62/228.80 c 215s|890000 |890001 | 0 | 0.0 | 266M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
231.31/231.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.31/231.41 c 217s|900000 |900001 | 0 | 0.0 | 269M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
233.91/234.01 c 219s|910000 |910001 | 0 | 0.0 | 272M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
236.51/236.62 c 222s|920000 |920001 | 0 | 0.0 | 275M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
239.11/239.25 c 224s|930000 |930001 | 0 | 0.0 | 278M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
241.71/241.87 c 227s|940000 |940001 | 0 | 0.0 | 281M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
244.31/244.49 c 229s|950000 |950001 | 0 | 0.0 | 284M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
246.91/247.10 c 232s|960000 |960001 | 0 | 0.0 | 287M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
249.51/249.70 c 234s|970000 |970001 | 0 | 0.0 | 290M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
252.21/252.31 c 237s|980000 |980001 | 0 | 0.0 | 293M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
254.79/254.94 c 239s|990000 |990001 | 0 | 0.0 | 296M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
257.38/257.56 c 242s| 1000k| 1000k| 0 | 0.0 | 299M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
259.98/260.17 c 244s| 1010k| 1010k| 0 | 0.0 | 302M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
262.59/262.78 c 246s| 1020k| 1020k| 0 | 0.0 | 305M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
265.19/265.39 c 249s| 1030k| 1030k| 0 | 0.0 | 308M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
267.79/267.99 c 251s| 1040k| 1040k| 0 | 0.0 | 311M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
270.40/270.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
270.40/270.60 c 254s| 1050k| 1050k| 0 | 0.0 | 314M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
273.09/273.22 c 256s| 1060k| 1060k| 0 | 0.0 | 317M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
275.69/275.84 c 259s| 1070k| 1070k| 0 | 0.0 | 320M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
278.28/278.45 c 261s| 1080k| 1080k| 0 | 0.0 | 323M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
280.88/281.05 c 264s| 1090k| 1090k| 0 | 0.0 | 326M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
283.48/283.65 c 266s| 1100k| 1100k| 0 | 0.0 | 329M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
286.08/286.28 c 268s| 1110k| 1110k| 0 | 0.0 | 332M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
288.68/288.89 c 271s| 1120k| 1120k| 0 | 0.0 | 335M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
291.28/291.49 c 273s| 1130k| 1130k| 0 | 0.0 | 338M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
293.98/294.10 c 276s| 1140k| 1140k| 0 | 0.0 | 341M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
296.58/296.70 c 278s| 1150k| 1150k| 0 | 0.0 | 344M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
299.18/299.31 c 281s| 1160k| 1160k| 0 | 0.0 | 347M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
301.77/301.92 c 283s| 1170k| 1170k| 0 | 0.0 | 350M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
304.38/304.53 c 286s| 1180k| 1180k| 0 | 0.0 | 353M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
306.97/307.13 c 288s| 1190k| 1190k| 0 | 0.0 | 356M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
309.57/309.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
309.57/309.73 c 290s| 1200k| 1200k| 0 | 0.0 | 359M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
312.18/312.33 c 293s| 1210k| 1210k| 0 | 0.0 | 362M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
314.77/314.94 c 295s| 1220k| 1220k| 0 | 0.0 | 365M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
317.37/317.55 c 298s| 1230k| 1230k| 0 | 0.0 | 368M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
319.98/320.14 c 300s| 1240k| 1240k| 0 | 0.0 | 371M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
322.57/322.74 c 303s| 1250k| 1250k| 0 | 0.0 | 374M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
325.16/325.34 c 305s| 1260k| 1260k| 0 | 0.0 | 377M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
327.77/327.95 c 308s| 1270k| 1270k| 0 | 0.0 | 380M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
330.37/330.55 c 310s| 1280k| 1280k| 0 | 0.0 | 383M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
332.97/333.15 c 312s| 1290k| 1290k| 0 | 0.0 | 386M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
335.56/335.74 c 315s| 1300k| 1300k| 0 | 0.0 | 389M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
338.17/338.35 c 317s| 1310k| 1310k| 0 | 0.0 | 392M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
340.77/340.96 c 320s| 1320k| 1320k| 0 | 0.0 | 395M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
343.37/343.55 c 322s| 1330k| 1330k| 0 | 0.0 | 398M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
345.96/346.14 c 325s| 1340k| 1340k| 0 | 0.0 | 401M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
348.57/348.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.57/348.72 c 327s| 1350k| 1350k| 0 | 0.0 | 404M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
351.16/351.34 c 330s| 1360k| 1360k| 0 | 0.0 | 407M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
353.76/353.95 c 332s| 1370k| 1370k| 0 | 0.0 | 410M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
356.36/356.55 c 334s| 1380k| 1380k| 0 | 0.0 | 413M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
358.96/359.14 c 337s| 1390k| 1390k| 0 | 0.0 | 416M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
361.56/361.74 c 339s| 1400k| 1400k| 0 | 0.0 | 418M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
364.16/364.36 c 342s| 1410k| 1410k| 0 | 0.0 | 421M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
366.76/366.96 c 344s| 1420k| 1420k| 0 | 0.0 | 424M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
369.36/369.54 c 347s| 1430k| 1430k| 0 | 0.0 | 427M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
371.96/372.12 c 349s| 1440k| 1440k| 0 | 0.0 | 430M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
374.56/374.74 c 352s| 1450k| 1450k| 0 | 0.0 | 433M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
377.17/377.34 c 354s| 1460k| 1460k| 0 | 0.0 | 436M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
379.75/379.94 c 356s| 1470k| 1470k| 0 | 0.0 | 439M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
382.36/382.52 c 359s| 1480k| 1480k| 0 | 0.0 | 442M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
384.95/385.12 c 361s| 1490k| 1490k| 0 | 0.0 | 445M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
387.55/387.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
387.55/387.73 c 364s| 1500k| 1500k| 0 | 0.0 | 448M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
390.15/390.33 c 366s| 1510k| 1510k| 0 | 0.0 | 451M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
392.75/392.91 c 369s| 1520k| 1520k| 0 | 0.0 | 454M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
395.25/395.49 c 371s| 1530k| 1530k| 0 | 0.0 | 457M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
397.96/398.11 c 373s| 1540k| 1540k| 0 | 0.0 | 460M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
400.55/400.70 c 376s| 1550k| 1550k| 0 | 0.0 | 463M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
403.05/403.29 c 378s| 1560k| 1560k| 0 | 0.0 | 466M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
405.65/405.87 c 381s| 1570k| 1570k| 0 | 0.0 | 469M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
408.25/408.48 c 383s| 1580k| 1580k| 0 | 0.0 | 472M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
410.85/411.08 c 386s| 1590k| 1590k| 0 | 0.0 | 475M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
413.45/413.67 c 388s| 1600k| 1600k| 0 | 0.0 | 478M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
416.04/416.26 c 390s| 1610k| 1610k| 0 | 0.0 | 481M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
418.64/418.87 c 393s| 1620k| 1620k| 0 | 0.0 | 484M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
421.24/421.47 c 395s| 1630k| 1630k| 0 | 0.0 | 487M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
423.84/424.07 c 398s| 1640k| 1640k| 0 | 0.0 | 490M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
426.44/426.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
426.44/426.65 c 400s| 1650k| 1650k| 0 | 0.0 | 493M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
429.04/429.25 c 403s| 1660k| 1660k| 0 | 0.0 | 496M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
431.64/431.86 c 405s| 1670k| 1670k| 0 | 0.0 | 499M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
434.25/434.46 c 407s| 1680k| 1680k| 0 | 0.0 | 502M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
436.84/437.05 c 410s| 1690k| 1690k| 0 | 0.0 | 505M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
439.43/439.63 c 412s| 1700k| 1700k| 0 | 0.0 | 508M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
442.03/442.23 c 415s| 1710k| 1710k| 0 | 0.0 | 511M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
444.63/444.83 c 417s| 1720k| 1720k| 0 | 0.0 | 514M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
447.22/447.42 c 420s| 1730k| 1730k| 0 | 0.0 | 517M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
449.73/449.99 c 422s| 1740k| 1740k| 0 | 0.0 | 520M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
452.43/452.60 c 424s| 1750k| 1750k| 0 | 0.0 | 523M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
455.03/455.20 c 427s| 1760k| 1760k| 0 | 0.0 | 526M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
457.52/457.79 c 429s| 1770k| 1770k| 0 | 0.0 | 529M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
460.13/460.37 c 432s| 1780k| 1780k| 0 | 0.0 | 532M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
462.73/462.98 c 434s| 1790k| 1790k| 0 | 0.0 | 535M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
465.33/465.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
465.33/465.58 c 437s| 1800k| 1800k| 0 | 0.0 | 538M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
467.92/468.17 c 439s| 1810k| 1810k| 0 | 0.0 | 541M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
470.53/470.75 c 442s| 1820k| 1820k| 0 | 0.0 | 544M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
473.12/473.36 c 444s| 1830k| 1830k| 0 | 0.0 | 547M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
475.72/475.96 c 446s| 1840k| 1840k| 0 | 0.0 | 550M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
478.33/478.55 c 449s| 1850k| 1850k| 0 | 0.0 | 553M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
480.92/481.14 c 451s| 1860k| 1860k| 0 | 0.0 | 556M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
483.52/483.75 c 454s| 1870k| 1870k| 0 | 0.0 | 559M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
486.12/486.35 c 456s| 1880k| 1880k| 0 | 0.0 | 562M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
488.72/488.93 c 459s| 1890k| 1890k| 0 | 0.0 | 565M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
491.31/491.51 c 461s| 1900k| 1900k| 0 | 0.0 | 568M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
493.92/494.10 c 463s| 1910k| 1910k| 0 | 0.0 | 571M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
496.51/496.71 c 466s| 1920k| 1920k| 0 | 0.0 | 574M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
499.12/499.30 c 468s| 1930k| 1930k| 0 | 0.0 | 577M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
501.62/501.88 c 471s| 1940k| 1940k| 0 | 0.0 | 580M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
504.21/504.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.21/504.48 c 473s| 1950k| 1950k| 0 | 0.0 | 583M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
506.82/507.08 c 476s| 1960k| 1960k| 0 | 0.0 | 586M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
509.42/509.67 c 478s| 1970k| 1970k| 0 | 0.0 | 589M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
512.01/512.26 c 480s| 1980k| 1980k| 0 | 0.0 | 592M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
514.61/514.85 c 483s| 1990k| 1990k| 0 | 0.0 | 595M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
517.21/517.45 c 485s| 2000k| 2000k| 0 | 0.0 | 598M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
519.81/520.04 c 488s| 2010k| 2010k| 0 | 0.0 | 601M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
522.41/522.63 c 490s| 2020k| 2020k| 0 | 0.0 | 604M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
525.01/525.22 c 493s| 2030k| 2030k| 0 | 0.0 | 607M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
527.61/527.84 c 495s| 2040k| 2040k| 0 | 0.0 | 610M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
530.20/530.43 c 498s| 2050k| 2050k| 0 | 0.0 | 613M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
532.81/533.01 c 500s| 2060k| 2060k| 0 | 0.0 | 616M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
535.30/535.58 c 502s| 2070k| 2070k| 0 | 0.0 | 618M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
537.91/538.18 c 505s| 2080k| 2080k| 0 | 0.0 | 621M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
540.50/540.77 c 507s| 2090k| 2090k| 0 | 0.0 | 624M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
543.11/543.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.11/543.35 c 510s| 2100k| 2100k| 0 | 0.0 | 627M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
545.70/545.93 c 512s| 2110k| 2110k| 0 | 0.0 | 630M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
548.30/548.54 c 515s| 2120k| 2120k| 0 | 0.0 | 633M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
550.90/551.14 c 517s| 2130k| 2130k| 0 | 0.0 | 636M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
553.50/553.72 c 519s| 2140k| 2140k| 0 | 0.0 | 639M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
556.09/556.31 c 522s| 2150k| 2150k| 0 | 0.0 | 642M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
558.70/558.92 c 524s| 2160k| 2160k| 0 | 0.0 | 645M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
561.29/561.51 c 527s| 2170k| 2170k| 0 | 0.0 | 648M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
563.79/564.10 c 529s| 2180k| 2180k| 0 | 0.0 | 651M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
566.39/566.68 c 532s| 2190k| 2190k| 0 | 0.0 | 654M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
568.99/569.28 c 534s| 2200k| 2200k| 0 | 0.0 | 657M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
571.59/571.88 c 536s| 2210k| 2210k| 0 | 0.0 | 660M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
574.19/574.46 c 539s| 2220k| 2220k| 0 | 0.0 | 663M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
576.79/577.05 c 541s| 2230k| 2230k| 0 | 0.0 | 666M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
579.40/579.65 c 544s| 2240k| 2240k| 0 | 0.0 | 669M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
581.98/582.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
581.98/582.24 c 546s| 2250k| 2250k| 0 | 0.0 | 672M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
584.58/584.81 c 549s| 2260k| 2260k| 0 | 0.0 | 675M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
587.19/587.42 c 551s| 2270k| 2270k| 0 | 0.0 | 678M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
589.78/590.02 c 553s| 2280k| 2280k| 0 | 0.0 | 681M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
592.29/592.59 c 556s| 2290k| 2290k| 0 | 0.0 | 684M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
594.89/595.19 c 558s| 2300k| 2300k| 0 | 0.0 | 687M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
597.48/597.79 c 561s| 2310k| 2310k| 0 | 0.0 | 690M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
600.08/600.36 c 563s| 2320k| 2320k| 0 | 0.0 | 693M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
602.68/602.93 c 566s| 2330k| 2330k| 0 | 0.0 | 696M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
605.28/605.54 c 568s| 2340k| 2340k| 0 | 0.0 | 699M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
607.88/608.11 c 570s| 2350k| 2350k| 0 | 0.0 | 702M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
610.38/610.68 c 573s| 2360k| 2360k| 0 | 0.0 | 705M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
612.98/613.27 c 575s| 2370k| 2370k| 0 | 0.0 | 708M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
615.57/615.86 c 578s| 2380k| 2380k| 0 | 0.0 | 711M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
618.18/618.43 c 580s| 2390k| 2390k| 0 | 0.0 | 714M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
620.78/621.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
620.78/621.02 c 583s| 2400k| 2400k| 0 | 0.0 | 717M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
623.39/623.61 c 585s| 2410k| 2410k| 0 | 0.0 | 720M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
625.88/626.18 c 587s| 2420k| 2420k| 0 | 0.0 | 723M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
628.47/628.76 c 590s| 2430k| 2430k| 0 | 0.0 | 726M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
631.08/631.36 c 592s| 2440k| 2440k| 0 | 0.0 | 729M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
633.67/633.95 c 595s| 2450k| 2450k| 0 | 0.0 | 732M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
636.27/636.52 c 597s| 2460k| 2460k| 0 | 0.0 | 735M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
638.88/639.13 c 600s| 2470k| 2470k| 0 | 0.0 | 738M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
641.47/641.71 c 602s| 2480k| 2480k| 0 | 0.0 | 741M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
643.97/644.28 c 604s| 2490k| 2490k| 0 | 0.0 | 744M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
646.57/646.88 c 607s| 2500k| 2500k| 0 | 0.0 | 747M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
649.16/649.46 c 609s| 2510k| 2510k| 0 | 0.0 | 750M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
651.76/652.03 c 612s| 2520k| 2520k| 0 | 0.0 | 753M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
654.36/654.63 c 614s| 2530k| 2530k| 0 | 0.0 | 756M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
656.97/657.20 c 617s| 2540k| 2540k| 0 | 0.0 | 759M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
659.46/659.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
659.46/659.79 c 619s| 2550k| 2550k| 0 | 0.0 | 762M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
662.06/662.39 c 621s| 2560k| 2560k| 0 | 0.0 | 765M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
664.66/664.96 c 624s| 2570k| 2570k| 0 | 0.0 | 768M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
667.25/667.54 c 626s| 2580k| 2580k| 0 | 0.0 | 771M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
669.86/670.11 c 629s| 2590k| 2590k| 0 | 0.0 | 774M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
672.36/672.67 c 631s| 2600k| 2600k| 0 | 0.0 | 777M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
674.96/675.25 c 634s| 2610k| 2610k| 0 | 0.0 | 780M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
677.56/677.82 c 636s| 2620k| 2620k| 0 | 0.0 | 783M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
680.05/680.38 c 638s| 2630k| 2630k| 0 | 0.0 | 786M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
682.65/682.96 c 641s| 2640k| 2640k| 0 | 0.0 | 789M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
685.25/685.52 c 643s| 2650k| 2650k| 0 | 0.0 | 792M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
687.75/688.10 c 646s| 2660k| 2660k| 0 | 0.0 | 795M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
690.35/690.67 c 648s| 2670k| 2670k| 0 | 0.0 | 798M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
692.96/693.23 c 650s| 2680k| 2680k| 0 | 0.0 | 801M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
695.55/695.81 c 653s| 2690k| 2690k| 0 | 0.0 | 804M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
698.05/698.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
698.05/698.37 c 655s| 2700k| 2700k| 0 | 0.0 | 807M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
700.65/700.95 c 658s| 2710k| 2710k| 0 | 0.0 | 810M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
703.25/703.53 c 660s| 2720k| 2720k| 0 | 0.0 | 813M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
705.85/706.10 c 662s| 2730k| 2730k| 0 | 0.0 | 816M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
708.35/708.68 c 665s| 2740k| 2740k| 0 | 0.0 | 819M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
710.95/711.24 c 667s| 2750k| 2750k| 0 | 0.0 | 822M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
713.56/713.82 c 670s| 2760k| 2760k| 0 | 0.0 | 825M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
716.05/716.38 c 672s| 2770k| 2770k| 0 | 0.0 | 828M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
718.64/718.95 c 674s| 2780k| 2780k| 0 | 0.0 | 831M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
721.25/721.52 c 677s| 2790k| 2790k| 0 | 0.0 | 833M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
723.75/724.10 c 679s| 2800k| 2800k| 0 | 0.0 | 836M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
726.34/726.67 c 682s| 2810k| 2810k| 0 | 0.0 | 839M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
728.95/729.23 c 684s| 2820k| 2820k| 0 | 0.0 | 842M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
731.54/731.81 c 687s| 2830k| 2830k| 0 | 0.0 | 845M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
734.04/734.37 c 689s| 2840k| 2840k| 0 | 0.0 | 848M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
736.65/736.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
736.65/736.95 c 691s| 2850k| 2850k| 0 | 0.0 | 851M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
739.24/739.52 c 694s| 2860k| 2860k| 0 | 0.0 | 854M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
741.74/742.09 c 696s| 2870k| 2870k| 0 | 0.0 | 857M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
744.34/744.65 c 699s| 2880k| 2880k| 0 | 0.0 | 860M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
746.94/747.24 c 701s| 2890k| 2890k| 0 | 0.0 | 863M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
749.54/749.80 c 704s| 2900k| 2900k| 0 | 0.0 | 866M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
752.05/752.37 c 706s| 2910k| 2910k| 0 | 0.0 | 869M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
754.64/754.92 c 708s| 2920k| 2920k| 0 | 0.0 | 872M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
757.14/757.49 c 711s| 2930k| 2930k| 0 | 0.0 | 875M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
759.74/760.04 c 713s| 2940k| 2940k| 0 | 0.0 | 878M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
762.33/762.60 c 716s| 2950k| 2950k| 0 | 0.0 | 882M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
764.83/765.16 c 718s| 2960k| 2960k| 0 | 0.0 | 885M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
767.44/767.71 c 720s| 2970k| 2970k| 0 | 0.0 | 888M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
769.93/770.27 c 723s| 2980k| 2980k| 0 | 0.0 | 891M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
772.53/772.81 c 725s| 2990k| 2990k| 0 | 0.0 | 894M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
775.03/775.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
775.03/775.37 c 728s| 3000k| 3000k| 0 | 0.0 | 897M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
777.63/777.92 c 730s| 3010k| 3010k| 0 | 0.0 | 900M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
780.13/780.46 c 732s| 3020k| 3020k| 0 | 0.0 | 903M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
782.73/783.02 c 735s| 3030k| 3030k| 0 | 0.0 | 906M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
785.22/785.56 c 737s| 3040k| 3040k| 0 | 0.0 | 909M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
787.82/788.12 c 739s| 3050k| 3050k| 0 | 0.0 | 912M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
790.32/790.69 c 742s| 3060k| 3060k| 0 | 0.0 | 915M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
792.92/793.24 c 744s| 3070k| 3070k| 0 | 0.0 | 917M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
795.53/795.80 c 747s| 3080k| 3080k| 0 | 0.0 | 920M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
798.02/798.37 c 749s| 3090k| 3090k| 0 | 0.0 | 923M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
800.62/800.93 c 751s| 3100k| 3100k| 0 | 0.0 | 926M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
803.12/803.49 c 754s| 3110k| 3110k| 0 | 0.0 | 929M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
805.72/806.05 c 756s| 3120k| 3120k| 0 | 0.0 | 932M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
808.32/808.60 c 759s| 3130k| 3130k| 0 | 0.0 | 935M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
810.81/811.17 c 761s| 3140k| 3140k| 0 | 0.0 | 938M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
813.42/813.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.42/813.72 c 763s| 3150k| 3150k| 0 | 0.0 | 941M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
815.92/816.28 c 766s| 3160k| 3160k| 0 | 0.0 | 944M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
818.52/818.85 c 768s| 3170k| 3170k| 0 | 0.0 | 947M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
821.12/821.41 c 771s| 3180k| 3180k| 0 | 0.0 | 950M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
823.62/823.97 c 773s| 3190k| 3190k| 0 | 0.0 | 953M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
826.21/826.52 c 776s| 3200k| 3200k| 0 | 0.0 | 956M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
828.81/829.10 c 778s| 3210k| 3210k| 0 | 0.0 | 959M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
831.32/831.66 c 780s| 3220k| 3220k| 0 | 0.0 | 962M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
833.91/834.22 c 783s| 3230k| 3230k| 0 | 0.0 | 965M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
836.41/836.79 c 785s| 3240k| 3240k| 0 | 0.0 | 968M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
839.01/839.34 c 788s| 3250k| 3250k| 0 | 0.0 | 971M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
841.61/841.91 c 790s| 3260k| 3260k| 0 | 0.0 | 974M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
844.11/844.47 c 792s| 3270k| 3270k| 0 | 0.0 | 977M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
846.72/847.02 c 795s| 3280k| 3280k| 0 | 0.0 | 980M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
849.20/849.55 c 797s| 3290k| 3290k| 0 | 0.0 | 983M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
851.70/852.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
851.70/852.07 c 800s| 3300k| 3300k| 0 | 0.0 | 986M| 144 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
854.20/854.57 c 802s| 3310k| 3310k| 0 | 0.0 | 989M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
856.71/857.09 c 804s| 3320k| 3320k| 0 | 0.0 | 992M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
859.31/859.62 c 807s| 3330k| 3330k| 0 | 0.0 | 995M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
861.80/862.15 c 809s| 3340k| 3340k| 0 | 0.0 | 998M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
864.31/864.68 c 811s| 3350k| 3350k| 0 | 0.0 |1000M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
866.90/867.21 c 814s| 3360k| 3360k| 0 | 0.0 |1003M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
869.40/869.74 c 816s| 3370k| 3370k| 0 | 0.0 |1006M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
871.91/872.29 c 818s| 3380k| 3380k| 0 | 0.0 |1009M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
874.50/874.82 c 821s| 3390k| 3390k| 0 | 0.0 |1012M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
876.99/877.36 c 823s| 3400k| 3400k| 0 | 0.0 |1015M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
879.61/879.90 c 826s| 3410k| 3410k| 0 | 0.0 |1018M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
882.10/882.46 c 828s| 3420k| 3420k| 0 | 0.0 |1020M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
884.69/885.01 c 830s| 3430k| 3430k| 0 | 0.0 |1023M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
887.19/887.55 c 833s| 3440k| 3440k| 0 | 0.0 |1026M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
889.70/890.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
889.70/890.10 c 835s| 3450k| 3450k| 0 | 0.0 |1029M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
892.29/892.64 c 838s| 3460k| 3460k| 0 | 0.0 |1032M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
894.79/895.19 c 840s| 3470k| 3470k| 0 | 0.0 |1035M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
897.39/897.74 c 842s| 3480k| 3480k| 0 | 0.0 |1038M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
899.90/900.29 c 845s| 3490k| 3490k| 0 | 0.0 |1041M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
902.49/902.83 c 847s| 3500k| 3500k| 0 | 0.0 |1044M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
905.00/905.39 c 850s| 3510k| 3510k| 0 | 0.0 |1046M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
907.60/907.95 c 852s| 3520k| 3520k| 0 | 0.0 |1049M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
910.19/910.51 c 854s| 3530k| 3530k| 0 | 0.0 |1052M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
912.70/913.06 c 857s| 3540k| 3540k| 0 | 0.0 |1055M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
915.29/915.60 c 859s| 3550k| 3550k| 0 | 0.0 |1058M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
917.79/918.15 c 862s| 3560k| 3560k| 0 | 0.0 |1061M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
920.40/920.71 c 864s| 3570k| 3570k| 0 | 0.0 |1064M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
922.88/923.27 c 866s| 3580k| 3580k| 0 | 0.0 |1067M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
925.48/925.83 c 869s| 3590k| 3590k| 0 | 0.0 |1070M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
927.99/928.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
927.99/928.40 c 871s| 3600k| 3600k| 0 | 0.0 |1073M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
930.59/930.96 c 874s| 3610k| 3610k| 0 | 0.0 |1075M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
933.18/933.51 c 876s| 3620k| 3620k| 0 | 0.0 |1078M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
935.69/936.07 c 878s| 3630k| 3630k| 0 | 0.0 |1081M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
938.28/938.62 c 881s| 3640k| 3640k| 0 | 0.0 |1084M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
940.78/941.18 c 883s| 3650k| 3650k| 0 | 0.0 |1087M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
943.39/943.73 c 886s| 3660k| 3660k| 0 | 0.0 |1090M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
945.89/946.29 c 888s| 3670k| 3670k| 0 | 0.0 |1093M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
948.48/948.87 c 890s| 3680k| 3680k| 0 | 0.0 |1096M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
951.08/951.44 c 893s| 3690k| 3690k| 0 | 0.0 |1099M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
953.68/954.01 c 895s| 3700k| 3700k| 0 | 0.0 |1102M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
956.18/956.57 c 898s| 3710k| 3710k| 0 | 0.0 |1104M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
958.78/959.13 c 900s| 3720k| 3720k| 0 | 0.0 |1107M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
961.38/961.70 c 903s| 3730k| 3730k| 0 | 0.0 |1110M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
963.87/964.26 c 905s| 3740k| 3740k| 0 | 0.0 |1113M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
966.48/966.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
966.48/966.82 c 907s| 3750k| 3750k| 0 | 0.0 |1116M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
968.97/969.38 c 910s| 3760k| 3760k| 0 | 0.0 |1119M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
971.57/971.95 c 912s| 3770k| 3770k| 0 | 0.0 |1122M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
974.17/974.51 c 915s| 3780k| 3780k| 0 | 0.0 |1125M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
976.67/977.08 c 917s| 3790k| 3790k| 0 | 0.0 |1128M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
979.27/979.66 c 919s| 3800k| 3800k| 0 | 0.0 |1131M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
981.88/982.24 c 922s| 3810k| 3810k| 0 | 0.0 |1134M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
984.47/984.81 c 924s| 3820k| 3820k| 0 | 0.0 |1137M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
986.97/987.39 c 927s| 3830k| 3830k| 0 | 0.0 |1139M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
989.57/989.96 c 929s| 3840k| 3840k| 0 | 0.0 |1142M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
992.16/992.54 c 932s| 3850k| 3850k| 0 | 0.0 |1145M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
994.76/995.11 c 934s| 3860k| 3860k| 0 | 0.0 |1148M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
997.27/997.68 c 936s| 3870k| 3870k| 0 | 0.0 |1151M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
999.86/1000.25 c 939s| 3880k| 3880k| 0 | 0.0 |1154M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1002.47/1002.83 c 941s| 3890k| 3890k| 0 | 0.0 |1157M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1005.06/1005.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1005.06/1005.41 c 944s| 3900k| 3900k| 0 | 0.0 |1160M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1007.56/1007.99 c 946s| 3910k| 3910k| 0 | 0.0 |1163M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1010.16/1010.56 c 949s| 3920k| 3920k| 0 | 0.0 |1166M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1012.77/1013.14 c 951s| 3930k| 3930k| 0 | 0.0 |1169M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1015.36/1015.71 c 953s| 3940k| 3940k| 0 | 0.0 |1172M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1017.96/1018.32 c 956s| 3950k| 3950k| 0 | 0.0 |1175M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1020.56/1020.90 c 958s| 3960k| 3960k| 0 | 0.0 |1177M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1023.15/1023.50 c 961s| 3970k| 3970k| 0 | 0.0 |1180M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1025.66/1026.09 c 963s| 3980k| 3980k| 0 | 0.0 |1183M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1028.26/1028.68 c 966s| 3990k| 3990k| 0 | 0.0 |1186M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1030.86/1031.26 c 968s| 4000k| 4000k| 0 | 0.0 |1189M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1033.45/1033.87 c 970s| 4010k| 4010k| 0 | 0.0 |1192M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1036.06/1036.44 c 973s| 4020k| 4020k| 0 | 0.0 |1195M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1038.66/1039.02 c 975s| 4030k| 4030k| 0 | 0.0 |1198M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1041.26/1041.60 c 978s| 4040k| 4040k| 0 | 0.0 |1201M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1043.75/1044.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1043.75/1044.18 c 980s| 4050k| 4050k| 0 | 0.0 |1204M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1046.35/1046.77 c 983s| 4060k| 4060k| 0 | 0.0 |1207M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1048.95/1049.36 c 985s| 4070k| 4070k| 0 | 0.0 |1210M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1051.55/1051.93 c 988s| 4080k| 4080k| 0 | 0.0 |1213M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1054.15/1054.52 c 990s| 4090k| 4090k| 0 | 0.0 |1216M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1056.66/1057.10 c 992s| 4100k| 4100k| 0 | 0.0 |1219M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1059.25/1059.69 c 995s| 4110k| 4110k| 0 | 0.0 |1221M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1061.84/1062.27 c 997s| 4120k| 4120k| 0 | 0.0 |1224M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1064.46/1064.87 c 1000s| 4130k| 4130k| 0 | 0.0 |1227M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1067.04/1067.46 c 1002s| 4140k| 4140k| 0 | 0.0 |1230M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1069.65/1070.07 c 1005s| 4150k| 4150k| 0 | 0.0 |1233M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1072.24/1072.66 c 1007s| 4160k| 4160k| 0 | 0.0 |1236M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1074.84/1075.25 c 1009s| 4170k| 4170k| 0 | 0.0 |1239M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1077.44/1077.84 c 1012s| 4180k| 4180k| 0 | 0.0 |1242M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1080.04/1080.44 c 1014s| 4190k| 4190k| 0 | 0.0 |1245M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1082.64/1083.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.64/1083.04 c 1017s| 4200k| 4200k| 0 | 0.0 |1248M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1085.24/1085.64 c 1019s| 4210k| 4210k| 0 | 0.0 |1251M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1087.83/1088.26 c 1022s| 4220k| 4220k| 0 | 0.0 |1254M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1090.44/1090.86 c 1024s| 4230k| 4230k| 0 | 0.0 |1257M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1093.05/1093.46 c 1026s| 4240k| 4240k| 0 | 0.0 |1260M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1095.63/1096.06 c 1029s| 4250k| 4250k| 0 | 0.0 |1263M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1098.23/1098.65 c 1031s| 4260k| 4260k| 0 | 0.0 |1266M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1100.83/1101.23 c 1034s| 4270k| 4270k| 0 | 0.0 |1269M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1103.43/1103.83 c 1036s| 4280k| 4280k| 0 | 0.0 |1272M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1106.04/1106.43 c 1039s| 4290k| 4290k| 0 | 0.0 |1275M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1108.63/1109.01 c 1041s| 4300k| 4300k| 0 | 0.0 |1278M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1111.23/1111.60 c 1044s| 4310k| 4310k| 0 | 0.0 |1281M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1113.84/1114.20 c 1046s| 4320k| 4320k| 0 | 0.0 |1284M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1116.33/1116.79 c 1048s| 4330k| 4330k| 0 | 0.0 |1287M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1118.93/1119.39 c 1051s| 4340k| 4340k| 0 | 0.0 |1290M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1121.53/1122.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1121.53/1122.00 c 1053s| 4350k| 4350k| 0 | 0.0 |1293M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1124.22/1124.60 c 1056s| 4360k| 4360k| 0 | 0.0 |1296M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1126.83/1127.21 c 1058s| 4370k| 4370k| 0 | 0.0 |1298M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1129.43/1129.81 c 1061s| 4380k| 4380k| 0 | 0.0 |1301M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1132.02/1132.42 c 1063s| 4390k| 4390k| 0 | 0.0 |1304M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1134.63/1135.02 c 1066s| 4400k| 4400k| 0 | 0.0 |1307M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1137.22/1137.63 c 1068s| 4410k| 4410k| 0 | 0.0 |1310M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1139.83/1140.23 c 1070s| 4420k| 4420k| 0 | 0.0 |1313M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1142.42/1142.85 c 1073s| 4430k| 4430k| 0 | 0.0 |1316M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1145.02/1145.44 c 1075s| 4440k| 4440k| 0 | 0.0 |1319M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1147.62/1148.05 c 1078s| 4450k| 4450k| 0 | 0.0 |1322M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1150.22/1150.65 c 1080s| 4460k| 4460k| 0 | 0.0 |1325M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1152.82/1153.24 c 1083s| 4470k| 4470k| 0 | 0.0 |1328M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1155.42/1155.85 c 1085s| 4480k| 4480k| 0 | 0.0 |1331M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1158.02/1158.45 c 1088s| 4490k| 4490k| 0 | 0.0 |1334M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1160.61/1161.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.61/1161.05 c 1090s| 4500k| 4500k| 0 | 0.0 |1337M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1163.21/1163.64 c 1093s| 4510k| 4510k| 0 | 0.0 |1340M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1165.82/1166.25 c 1095s| 4520k| 4520k| 0 | 0.0 |1343M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1168.41/1168.84 c 1097s| 4530k| 4530k| 0 | 0.0 |1346M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1171.02/1171.44 c 1100s| 4540k| 4540k| 0 | 0.0 |1349M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1173.62/1174.02 c 1102s| 4550k| 4550k| 0 | 0.0 |1352M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1176.21/1176.62 c 1105s| 4560k| 4560k| 0 | 0.0 |1355M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1178.82/1179.21 c 1107s| 4570k| 4570k| 0 | 0.0 |1358M| 145 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | -- | Inf
1179.42/1179.83 c (node 4572354) switching to memory saving mode (mem: 1296.0M/1620.0M)
1180.82/1181.24 o 0
1180.82/1181.24 c *1109s| 4572k| 4572k| 0 | 0.0 |1359M| 650 | - | 785 | 64 | 0 | 0 | 0 | 0 | 0 |-1.310710e+05 | 0.000000e+00 | 100.00%
1181.02/1181.41 o -2047
1181.02/1181.41 c *1109s| 4572k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 65 | 0 | 0 | 0 | 1 | 0 |-1.310710e+05 |-2.047000e+03 | 98.44%
1181.11/1181.59 o -2048
1181.11/1181.59 c *1109s| 4572k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 65 | 0 | 0 | 0 | 1 | 0 |-1.310710e+05 |-2.048000e+03 | 98.44%
1181.31/1181.76 o -4095
1181.31/1181.76 c *1110s| 4573k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 68 | 0 | 0 | 0 | 4 | 0 |-1.310710e+05 |-4.095000e+03 | 96.88%
1181.51/1181.93 o -4096
1181.51/1181.93 c *1110s| 4573k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 68 | 0 | 0 | 0 | 4 | 0 |-1.310710e+05 |-4.096000e+03 | 96.87%
1181.81/1182.28 o -5120
1181.81/1182.28 c *1110s| 4573k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 89 | 0 | 0 | 0 | 156 | 0 |-1.310710e+05 |-5.120000e+03 | 96.09%
1182.61/1183.01 o -6144
1182.61/1183.01 c *1111s| 4573k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 96 | 0 | 0 | 0 | 470 | 0 |-1.310710e+05 |-6.144000e+03 | 95.31%
1183.01/1183.42 o -8192
1183.01/1183.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1183.01/1183.42 c *1111s| 4574k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 107 | 0 | 0 | 0 | 662 | 0 |-1.310710e+05 |-8.192000e+03 | 93.75%
1189.81/1190.27 c 1118s| 4580k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 83 | 0 | 0 | 0 |4476 | 0 |-1.310710e+05 |-8.192000e+03 | 93.75%
1204.81/1205.26 c 1132s| 4590k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 94 | 0 | 0 | 0 | 11k| 0 |-1.310710e+05 |-8.192000e+03 | 93.75%
1218.31/1218.71 c 1145s| 4600k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 110 | 0 | 0 | 0 | 17k| 0 |-1.310710e+05 |-8.192000e+03 | 93.75%
1229.40/1229.89 o -10240
1229.40/1229.89 c *1156s| 4608k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 125 | 0 | 0 | 0 | 22k| 0 |-1.310710e+05 |-1.024000e+04 | 92.19%
1231.90/1232.39 c 1159s| 4610k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 115 | 0 | 0 | 0 | 23k| 0 |-1.310710e+05 |-1.024000e+04 | 92.19%
1247.70/1248.19 c 1174s| 4620k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 123 | 0 | 0 | 0 | 30k| 0 |-1.310710e+05 |-1.024000e+04 | 92.19%
1261.69/1262.12 c 1188s| 4630k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 101 | 0 | 0 | 0 | 36k| 0 |-1.310710e+05 |-1.024000e+04 | 92.19%
1267.90/1268.31 o -12288
1267.90/1268.31 c *1194s| 4634k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 94 | 0 | 0 | 0 | 39k| 0 |-1.310710e+05 |-1.228800e+04 | 90.62%
1269.58/1270.07 o -14336
1269.58/1270.07 c *1195s| 4635k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 96 | 0 | 0 | 0 | 40k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1273.19/1273.68 c 1199s| 4640k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 99 | 0 | 0 | 0 | 43k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1282.28/1282.79 c 1208s| 4650k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 135 | 0 | 0 | 0 | 49k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1291.78/1292.22 c 1217s| 4660k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 130 | 0 | 0 | 0 | 55k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1301.18/1301.63 c 1226s| 4670k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 145 | 0 | 0 | 0 | 61k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1311.47/1311.97 c 1235s| 4680k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 159 | 0 | 0 | 0 | 67k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1322.66/1323.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1322.66/1323.11 c 1246s| 4690k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 167 | 0 | 0 | 0 | 74k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1332.36/1332.90 c 1256s| 4700k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 123 | 0 | 0 | 0 | 80k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1342.46/1342.93 c 1265s| 4710k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 177 | 0 | 0 | 0 | 86k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1354.16/1354.68 c 1277s| 4720k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 218 | 0 | 0 | 0 | 92k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1364.56/1365.05 c 1287s| 4730k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 126 | 0 | 0 | 0 | 98k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1374.75/1375.26 c 1296s| 4740k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 145 | 0 | 0 | 0 | 104k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1384.95/1385.45 c 1306s| 4750k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 144 | 0 | 0 | 0 | 110k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1395.25/1395.71 c 1316s| 4760k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 116 | 0 | 0 | 0 | 116k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1405.25/1405.74 c 1326s| 4770k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 156 | 0 | 0 | 0 | 123k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1415.25/1415.71 c 1335s| 4780k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 198 | 0 | 0 | 0 | 128k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1426.14/1426.66 c 1346s| 4790k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 127 | 0 | 0 | 0 | 135k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1437.33/1437.83 c 1357s| 4800k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 133 | 0 | 0 | 0 | 141k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1447.52/1448.00 c 1366s| 4810k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 133 | 0 | 0 | 0 | 147k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1457.32/1457.89 c 1376s| 4820k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 166 | 0 | 0 | 0 | 153k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1467.02/1467.53 c 1385s| 4830k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 128 | 0 | 0 | 0 | 159k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1477.51/1478.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1477.51/1478.04 c 1395s| 4840k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 161 | 0 | 0 | 0 | 165k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1488.11/1488.65 c 1405s| 4850k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 186 | 0 | 0 | 0 | 171k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1498.71/1499.23 c 1416s| 4860k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 113 | 0 | 0 | 0 | 177k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1509.20/1509.79 c 1426s| 4870k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 148 | 0 | 0 | 0 | 183k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1519.80/1520.31 c 1436s| 4880k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 140 | 0 | 0 | 0 | 189k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1530.80/1531.30 c 1447s| 4890k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 143 | 0 | 0 | 0 | 196k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1541.30/1541.90 c 1457s| 4900k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 153 | 0 | 0 | 0 | 202k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1552.29/1552.82 c 1467s| 4910k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 143 | 0 | 0 | 0 | 208k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1562.68/1563.24 c 1477s| 4920k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 132 | 0 | 0 | 0 | 214k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1573.28/1573.88 c 1488s| 4930k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 150 | 0 | 0 | 0 | 220k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1583.58/1584.15 c 1497s| 4940k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 150 | 0 | 0 | 0 | 226k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1592.87/1593.40 c 1506s| 4950k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 179 | 0 | 0 | 0 | 232k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1602.78/1603.35 c 1516s| 4960k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 151 | 0 | 0 | 0 | 238k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1613.18/1613.72 c 1526s| 4970k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 230 | 0 | 0 | 0 | 244k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1623.87/1624.49 c 1536s| 4980k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 125 | 0 | 0 | 0 | 250k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1634.57/1635.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1634.57/1635.11 c 1546s| 4990k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 98 | 0 | 0 | 0 | 256k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1645.46/1646.03 c 1557s| 5000k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 119 | 0 | 0 | 0 | 263k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1657.26/1657.80 c 1568s| 5010k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 127 | 0 | 0 | 0 | 269k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1668.46/1669.02 c 1579s| 5020k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 91 | 0 | 0 | 0 | 275k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1677.75/1678.34 c 1588s| 5030k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 175 | 0 | 0 | 0 | 281k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1687.64/1688.22 c 1598s| 5040k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 215 | 0 | 0 | 0 | 287k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1720.34/1720.96 c 1630s| 5050k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 230 | 0 | 0 | 0 | 293k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1754.53/1755.10 c 1664s| 5060k| 4572k| 0 | 0.0 |1359M| 659 | - | 785 | 229 | 0 | 0 | 0 | 300k| 0 |-1.310710e+05 |-1.433600e+04 | 89.06%
1765.23/1765.85 o -16383
1765.23/1765.85 c *1674s| 5063k| 4564k| 0 | 0.0 |1357M| 659 | - | 785 | 229 | 0 | 0 | 0 | 302k| 0 |-1.310710e+05 |-1.638300e+04 | 87.50%
1773.82/1774.47 c 1683s| 5070k| 4564k| 0 | 0.0 |1357M| 659 | - | 785 | 142 | 0 | 0 | 0 | 306k| 0 |-1.310710e+05 |-1.638300e+04 | 87.50%
1786.82/1787.41 c 1695s| 5080k| 4564k| 0 | 0.0 |1357M| 659 | - | 785 | 140 | 0 | 0 | 0 | 312k| 0 |-1.310710e+05 |-1.638300e+04 | 87.50%
1799.41/1800.03 c 1708s| 5090k| 4564k| 0 | 0.0 |1357M| 659 | - | 785 | 140 | 0 | 0 | 0 | 318k| 0 |-1.310710e+05 |-1.638300e+04 | 87.50%
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) : 1708.11
1800.03/1800.61 c Solving Nodes : 5090457
1800.03/1800.61 c Primal Bound : -1.63830000000000e+04 (12 solutions)
1800.03/1800.61 c Dual Bound : -1.31071000000000e+05
1800.03/1800.61 c Gap : 87.50 %
1800.03/1800.61 s SATISFIABLE
1800.03/1800.61 v -x383 -x329 -x277 -x382 -x328 -x276 -x381 -x327 -x274 -x380 -x326 -x273 -x379 -x325 -x272 -x223 -x222 -x221 -x220 -x218 -x378 -x324
1800.03/1800.61 v -x271 -x217 -x377 -x323 -x270 -x216 -x762 -x376 -x322 -x269 -x215 -x374 -x321 -x268 -x214 -x373 -x320 -x267 -x213 -x372
1800.03/1800.61 v -x318 -x266 -x212 -x371 -x317 -x265 -x211 -x370 -x316 -x263 x210 -x369 -x315 -x262 -x209 -x368 -x314 -x261 -x207 -x174 -x173
1800.03/1800.61 v -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x163 -x162 -x161 -x160 -x159 -x367 -x313 x260 -x206 -x158 -x366 -x312 -x259
1800.03/1800.61 v x205 -x157 -x365 -x311 -x258 x204 -x156 -x363 -x310 x257 -x203 -x155 -x362 -x309 -x256 x202 -x154 -x761 -x361 -x307 -x255 -x201
1800.03/1800.61 v -x152 -x360 -x306 -x254 -x200 -x151 -x359 -x305 -x252 -x199 -x150 x358 -x304 -x251 -x198 -x149 x357 -x303 -x250 -x196 -x148
1800.03/1800.61 v -x121 -x120 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99
1800.03/1800.61 v -x98 x96 -x95 -x94 -x760 -x759 -x356 -x302 -x249 -x195 -x147 -x93 x355 -x301 -x248 -x194 -x146 -x92 -x354 -x300 -x247 -x193
1800.03/1800.61 v -x145 x91 -x351 -x299 -x246 -x192 -x144 -x90 -x350 -x298 x245 -x191 -x143 -x89 -x349 -x296 -x244 -x190 x141 -x88 -x758 -x348
1800.03/1800.61 v -x295 -x243 -x189 -x140 -x87 -x347 -x294 -x240 -x188 -x139 -x85 -x346 -x293 -x239 -x187 -x138 -x84 -x345 x292 -x238 -x185 -x137
1800.03/1800.61 v -x83 -x68 -x67 -x66 -x65 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43
1800.03/1800.61 v -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x757 -x344 -x291 -x237 -x136 -x82 -x30 -x756 -x343 x290 -x236 -x135 -x81
1800.03/1800.61 v -x29 -x755 -x342 -x289 -x235 x134 -x80 -x28 -x754 -x340 -x288 -x234 -x133 x79 -x27 -x339 -x287 -x233 -x184 x132 -x78 -x26 -x338
1800.03/1800.61 v -x285 -x232 -x183 -x129 x77 -x25 -x337 -x284 -x231 -x182 -x128 -x76 -x24 -x336 -x283 -x229 -x181 -x127 -x74 x23 -x335 -x282
1800.03/1800.61 v -x228 -x180 -x126 -x73 x22 -x334 -x281 -x227 -x179 -x125 -x72 -x21 -x784 -x783 -x782 -x781 -x780 x779 x778 x776 -x775 -x774
1800.03/1800.61 v -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x765 -x764 -x763 -x752 -x741 -x730 -x719 -x708 x697 -x686 -x674 -x663 -x652 -x641
1800.03/1800.61 v -x630 -x619 -x608 -x597 -x586 -x575 -x563 -x552 -x541 -x530 -x519 -x508 -x497 -x486 -x333 -x280 -x226 -x178 -x124 -x71 -x787
1800.03/1800.61 v x475 -x332 -x279 -x225 -x177 -x123 -x70 -x786 -x464 -x753 -x331 -x278 -x224 -x176 -x122 -x69 -x785 -x452 -x751 -x750 -x749
1800.03/1800.61 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 -x729 -x728 -x727 -x726
1800.03/1800.61 v -x725 -x724 -x723 -x722 -x721 -x720 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 -x709 -x707 -x706 -x705 -x704 -x703
1800.03/1800.61 v -x702 -x701 -x700 -x699 -x698 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x684 -x683 -x682 -x681 -x680 -x679
1800.03/1800.61 v -x678 -x677 -x676 -x675 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 x665 x664 -x662 -x661 x660 -x659 -x658 -x657 -x656
1800.03/1800.61 v -x655 -x654 -x653 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633
1800.03/1800.61 v -x632 -x631 -x629 -x628 -x627 -x626 -x625 x624 -x623 -x622 -x621 -x620 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610
1800.03/1800.61 v -x609 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x596 x595 -x594 -x593 -x592 -x591 x590 -x589 -x588 -x587
1800.03/1800.61 v -x585 -x584 -x583 x582 -x581 -x580 -x579 -x578 -x577 -x576 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x562
1800.03/1800.61 v -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 -x542 -x540 -x539
1800.03/1800.61 v -x538 -x537 x536 -x535 -x534 -x533 -x532 -x531 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x518 -x517 -x516
1800.03/1800.61 v -x515 -x514 -x513 -x512 -x511 x510 -x509 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x496 -x495 -x494 -x493
1800.03/1800.61 v x492 -x491 -x490 -x489 -x488 x487 x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x474 -x473 -x472 -x471 -x470 -x469
1800.03/1800.61 v -x468 -x467 -x466 -x465 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x451 -x450 -x449 -x448 -x447 -x446 -x445
1800.03/1800.61 v -x444 -x443 -x442 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422
1800.03/1800.61 v x421 -x420 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399
1800.03/1800.61 v -x398 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x385 -x384 -x441 -x430 -x419 -x408 -x397 -x386 -x375 -x364
1800.03/1800.61 v -x353 x341 -x330 -x319 -x308 -x297 -x286 -x275 -x264 -x253 -x242 -x230 -x219 x208 -x197 -x186 -x175 -x164 -x153 -x142 -x131
1800.03/1800.61 v -x119 -x108 -x97 -x86 -x75 -x64 -x53 -x42 -x31 -x20 -x777 -x766 -x685 -x574 -x463 -x352 -x241 x130 -x19 -x18 -x17 -x16 -x15
1800.03/1800.61 v x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
1800.03/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.61 c Solving Time : 1708.11
1800.03/1800.61 c Original Problem :
1800.03/1800.61 c Problem name : HOME/instance-2664140-1276361808.opb
1800.03/1800.61 c Variables : 787 (787 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.61 c Constraints : 65 initial, 65 maximal
1800.03/1800.61 c Presolved Problem :
1800.03/1800.61 c Problem name : t_HOME/instance-2664140-1276361808.opb
1800.03/1800.61 c Variables : 785 (785 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.61 c Constraints : 64 initial, 272 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 0 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 knapsack : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c linear : 0.00 2 0 0 2 0 1 2 2
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 knapsack : 16 0 7506564 0 4925913 80202 2892414 0 0 0
1800.03/1800.61 c setppc : 48 0 7426351 0 4925902 117247 16027036 0 0 0
1800.03/1800.61 c logicor : 0+ 0 1186185 0 0 57627 1073045 0 0 0
1800.03/1800.61 c countsols : 0 0 0 0 4925913 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 knapsack : 254.05 0.00 240.07 0.00 13.98
1800.03/1800.61 c setppc : 441.83 0.00 186.01 0.00 255.82
1800.03/1800.61 c logicor : 76.75 0.00 76.75 0.00 0.00
1800.03/1800.61 c countsols : 1.85 0.00 0.00 0.00 1.85
1800.03/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.61 c vbounds : 4.22 2 0 0
1800.03/1800.61 c rootredcost : 3.53 0 0 0
1800.03/1800.61 c pseudoobj : 73.59 7568796 62431 3575
1800.03/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.61 c propagation : 395.59 317505 317505 3480916 266.9 11583 175.1 -
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 2 2 2 5.5 1 218.0 -
1800.03/1800.61 c applied globally : - - - 29503 50.5 - - -
1800.03/1800.61 c applied locally : - - - 289291 174.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 : 614.66 4925901 0 0 0 0 9851802
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 : 2.07 - 12
1800.03/1800.61 c oneopt : 2.49 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 : 2.44 0 0
1800.03/1800.61 c trysol : 2.14 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 : 5090457
1800.03/1800.61 c nodes (total) : 5090457
1800.03/1800.61 c nodes left : 4564845
1800.03/1800.61 c max depth : 659
1800.03/1800.61 c max depth (total): 659
1800.03/1800.61 c backtracks : 379104 (7.4%)
1800.03/1800.61 c delayed cutoffs : 187020
1800.03/1800.61 c repropagations : 418315 (8305245 domain reductions, 152965 cutoffs)
1800.03/1800.61 c avg switch length: 5.40
1800.03/1800.61 c switching time : 92.47
1800.03/1800.61 c Solution :
1800.03/1800.61 c Solutions found : 12 (12 improvements)
1800.03/1800.61 c First Solution : +0.00000000000000e+00 (in run 1, after 4572965 nodes, 1108.89 seconds, depth 650, found by <relaxation>)
1800.03/1800.61 c Primal Bound : -1.63830000000000e+04 (in run 1, after 5063110 nodes, 1674.14 seconds, depth 444, found by <relaxation>)
1800.03/1800.61 c Dual Bound : -1.31071000000000e+05
1800.03/1800.61 c Gap : 87.50 %
1800.03/1800.61 c Root Dual Bound : -1.31071000000000e+05
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-2664140-1276361808/watcher-2664140-1276361808 -o /tmp/evaluation-result-2664140-1276361808/solver-2664140-1276361808 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664140-1276361808.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 13482
/proc/meminfo: memFree=1830164/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=6584 CPUtime=0
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 1056 0 0 0 0 0 0 0 20 0 1 0 11782129 6742016 979 1992294400 4194304 7136930 140733258994464 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13482/statm: 1646 989 254 719 0 925 0
[startup+0.086716 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 13482
/proc/meminfo: memFree=1830164/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=13904 CPUtime=0.08
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 4463 0 0 0 6 2 0 0 20 0 1 0 11782129 14237696 2746 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 3476 2746 391 719 0 2755 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13904
[startup+0.101717 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 13482
/proc/meminfo: memFree=1830164/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=14036 CPUtime=0.09
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 4496 0 0 0 7 2 0 0 20 0 1 0 11782129 14372864 2779 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 3509 2779 391 719 0 2788 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14036
[startup+0.301737 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 13482
/proc/meminfo: memFree=1830164/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=14168 CPUtime=0.29
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 4527 0 0 0 26 3 0 0 20 0 1 0 11782129 14508032 2810 1992294400 4194304 7136930 140733258994464 18446744073709551615 4643160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 3542 2810 391 719 0 2821 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14168
[startup+0.701773 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 13482
/proc/meminfo: memFree=1830164/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=14956 CPUtime=0.69
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 4759 0 0 0 64 5 0 0 20 0 1 0 11782129 15314944 3042 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 3739 3042 391 719 0 3018 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14956
[startup+1.50185 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 13483
/proc/meminfo: memFree=1818872/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=16276 CPUtime=1.49
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 5074 0 0 0 138 11 0 0 22 0 1 0 11782129 16666624 3357 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 4069 3357 391 719 0 3348 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16276
[startup+3.101 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 13483
/proc/meminfo: memFree=1817136/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=18804 CPUtime=3.09
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 5732 0 0 0 286 23 0 0 25 0 1 0 11782129 19255296 4015 1992294400 4194304 7136930 140733258994464 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 4701 4015 391 719 0 3980 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18804
[startup+6.3013 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 13483
/proc/meminfo: memFree=1811308/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=23604 CPUtime=6.28
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 7019 0 0 0 584 44 0 0 25 0 1 0 11782129 24170496 5302 1992294400 4194304 7136930 140733258994464 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 5901 5302 391 719 0 5180 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 23604
[startup+12.7009 s]
/proc/loadavg: 0.94 0.98 0.99 2/107 13483
/proc/meminfo: memFree=1803496/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=30576 CPUtime=12.68
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 8831 0 0 0 1182 86 0 0 25 0 1 0 11782129 31309824 7114 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 7644 7114 391 719 0 6923 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30576
[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 13485
/proc/meminfo: memFree=1786880/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=47612 CPUtime=25.48
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 12802 0 0 0 2383 165 0 0 25 0 1 0 11782129 48754688 11085 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 11903 11085 391 719 0 11182 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47612
[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 13485
/proc/meminfo: memFree=1755632/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=82248 CPUtime=51.08
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 20820 0 0 0 4784 324 0 0 25 0 1 0 11782129 84221952 19103 1992294400 4194304 7136930 140733258994464 18446744073709551615 4642966 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 20562 19103 391 719 0 19841 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 82248
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 13487
/proc/meminfo: memFree=1693880/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=140188 CPUtime=102.27
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 36085 0 0 0 9588 639 0 0 25 0 1 0 11782129 143552512 34368 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 35047 34368 391 719 0 34326 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 140188
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 13487
/proc/meminfo: memFree=1623324/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=215556 CPUtime=162.24
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 53791 0 0 0 15222 1002 0 0 25 0 1 0 11782129 220729344 52074 1992294400 4194304 7136930 140733258994464 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 53889 52074 391 719 0 53168 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 215556
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 13489
/proc/meminfo: memFree=1550660/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=283404 CPUtime=222.22
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 71653 0 0 0 20854 1368 0 0 25 0 1 0 11782129 290205696 69936 1992294400 4194304 7136930 140733258994464 18446744073709551615 5892230 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 70851 69936 391 719 0 70130 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 283404
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 13500
/proc/meminfo: memFree=1479112/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=367792 CPUtime=282.18
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 89554 0 0 0 26468 1750 0 0 25 0 1 0 11782129 376619008 87837 1992294400 4194304 7136930 140733258994464 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 91948 87837 391 719 0 91227 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 367792
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 13502
/proc/meminfo: memFree=1406324/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=435992 CPUtime=342.16
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 107504 0 0 0 32100 2116 0 0 25 0 1 0 11782129 446455808 105787 1992294400 4194304 7136930 140733258994464 18446744073709551615 4625294 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 108998 105787 391 719 0 108277 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 435992
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 13504
/proc/meminfo: memFree=1333908/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=505284 CPUtime=402.15
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 125728 0 0 0 37736 2479 0 0 25 0 1 0 11782129 517410816 124011 1992294400 4194304 7136930 140733258994464 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 126321 124011 391 719 0 125600 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 505284
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 13504
/proc/meminfo: memFree=1263724/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=571528 CPUtime=462.12
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 143192 0 0 0 43359 2853 0 0 25 0 1 0 11782129 585244672 141475 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 142882 141475 391 719 0 142161 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 571528
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 13506
/proc/meminfo: memFree=1191928/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=641116 CPUtime=522.1
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 161491 0 0 0 48991 3219 0 0 25 0 1 0 11782129 656502784 159774 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 160279 159774 391 719 0 159558 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 641116
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 13508
/proc/meminfo: memFree=1118892/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=741820 CPUtime=582.08
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 179346 0 0 0 54624 3584 0 0 25 0 1 0 11782129 759623680 177629 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 185455 177629 391 719 0 184734 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 741820
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 13510
/proc/meminfo: memFree=1044120/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=811764 CPUtime=642.07
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 197772 0 0 0 60262 3945 0 0 25 0 1 0 11782129 831246336 196055 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 202941 196055 391 719 0 202220 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 811764
[startup+702.301 s]
################
# More data... #
################
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 323139 0 0 0 99726 6469 0 0 25 0 1 0 11782129 1318547456 321422 1992294400 4194304 7136930 140733258994464 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 321911 321422 391 719 0 321190 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 1287644
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13525
/proc/meminfo: memFree=468636/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=1421344 CPUtime=1121.93
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 341081 0 0 0 105362 6831 0 0 25 0 1 0 11782129 1455456256 339364 1992294400 4194304 7136930 140733258994464 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 355336 339364 391 719 0 354615 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 1421344
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13527
/proc/meminfo: memFree=400064/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=1486304 CPUtime=1181.92
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 376032 0 0 0 111012 7180 0 0 25 0 1 0 11782129 1521975296 356452 1992294400 4194304 7136930 140733258994464 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 371576 356452 397 719 0 370855 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1486304
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13529
/proc/meminfo: memFree=396716/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=1489376 CPUtime=1241.89
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 376796 0 0 0 116836 7353 0 0 25 0 1 0 11782129 1525121024 357216 1992294400 4194304 7136930 140733258994464 18446744073709551615 4740567 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 372344 357216 398 719 0 371623 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1489376
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13531
/proc/meminfo: memFree=395972/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=1490036 CPUtime=1301.89
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 376977 0 0 0 122622 7567 0 0 25 0 1 0 11782129 1525796864 357397 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 372509 357397 398 719 0 371788 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1490036
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13531
/proc/meminfo: memFree=395600/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=1490440 CPUtime=1361.85
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377064 0 0 0 128392 7793 0 0 25 0 1 0 11782129 1526210560 357484 1992294400 4194304 7136930 140733258994464 18446744073709551615 4624923 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 372610 357484 398 719 0 371889 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1490440
[startup+1422.31 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 13533
/proc/meminfo: memFree=395476/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=1490572 CPUtime=1421.85
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377100 0 0 0 134160 8025 0 0 25 0 1 0 11782129 1526345728 357520 1992294400 4194304 7136930 140733258994464 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 372643 357520 398 719 0 371922 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1490572
[startup+1482.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 13535
/proc/meminfo: memFree=395352/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=1490708 CPUtime=1481.82
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377119 0 0 0 139934 8248 0 0 25 0 1 0 11782129 1526484992 357539 1992294400 4194304 7136930 140733258994464 18446744073709551615 5908943 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 372677 357539 398 719 0 371956 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1490708
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13537
/proc/meminfo: memFree=395228/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=1490708 CPUtime=1541.79
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377128 0 0 0 145711 8468 0 0 25 0 1 0 11782129 1526484992 357548 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 372677 357548 398 719 0 371956 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1490708
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13539
/proc/meminfo: memFree=395104/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=1490844 CPUtime=1601.77
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377158 0 0 0 151484 8693 0 0 25 0 1 0 11782129 1526624256 357578 1992294400 4194304 7136930 140733258994464 18446744073709551615 5909098 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 372711 357578 398 719 0 371990 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1490844
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13539
/proc/meminfo: memFree=394980/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=1490976 CPUtime=1661.75
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377192 0 0 0 157265 8910 0 0 25 0 1 0 11782129 1526759424 357612 1992294400 4194304 7136930 140733258994464 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 372744 357612 398 719 0 372023 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1490976
[startup+1722.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 13541
/proc/meminfo: memFree=394732/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=1491108 CPUtime=1721.73
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377239 0 0 0 163126 9047 0 0 25 0 1 0 11782129 1526894592 357659 1992294400 4194304 7136930 140733258994464 18446744073709551615 5909078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 372777 357659 398 719 0 372056 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1491108
[startup+1782.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 13543
/proc/meminfo: memFree=394360/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=1491248 CPUtime=1781.72
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377254 0 0 0 169032 9140 0 0 25 0 1 0 11782129 1527037952 357674 1992294400 4194304 7136930 140733258994464 18446744073709551615 4677335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 372812 357674 398 719 0 372091 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1491248
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 13543
/proc/meminfo: memFree=394360/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=1491248 CPUtime=1800.03
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377258 0 0 0 170812 9191 0 0 25 0 1 0 11782129 1527037952 357678 1992294400 4194304 7136930 140733258994464 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13482/statm: 372812 357678 398 719 0 372091 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1491248
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -13482
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 13543
/proc/meminfo: memFree=394360/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=1491248 CPUtime=1800.81
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377266 0 0 0 170890 9191 0 0 25 0 1 0 11782129 1527037952 357686 1992294400 4194304 7136930 140733258994464 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13482/statm: 372812 357686 403 719 0 372091 0
Current children cumulated CPU time (s) 1800.81
Current children cumulated vsize (KiB) 1491248
[startup+1802.2 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 13544
/proc/meminfo: memFree=394228/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=1491248 CPUtime=1801.61
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377266 0 0 0 170970 9191 0 0 25 0 1 0 11782129 1527037952 357686 1992294400 4194304 7136930 140733258994464 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13482/statm: 372812 357686 403 719 0 372091 0
Current children cumulated CPU time (s) 1801.61
Current children cumulated vsize (KiB) 1491248
[startup+1802.6 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 13544
/proc/meminfo: memFree=394228/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=1491248 CPUtime=1802.01
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4202496 377266 0 0 0 171010 9191 0 0 25 0 1 0 11782129 1527037952 357686 1992294400 4194304 7136930 140733258994464 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13482/statm: 372812 357686 403 719 0 372091 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 1491248
[startup+1802.7 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 13544
/proc/meminfo: memFree=394228/2059040 swapFree=4135796/4192956
[pid=13482] ppid=13480 vsize=0 CPUtime=1802.11
/proc/13482/stat : 13482 (pbscip.linux.x8) R 13480 13482 13457 0 -1 4203524 377266 0 0 0 171012 9199 0 0 25 0 1 0 11782129 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13482/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.11
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.75
CPU time (s): 1802.17
CPU user time (s): 1710.12
CPU system time (s): 92.047
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 1615300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1710.12
system time used= 92.047
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377266
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= 4
involuntary context switches= 6205
runsolver used 3.3045 second user time and 8.22275 second system time
The end