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-2664010-1276599857.opb>
0.00/0.01 c original problem has 71 variables (71 bin, 0 int, 0 impl, 0 cont) and 17 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 1 del vars, 9 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 1 deleted vars, 9 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 70 variables (70 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03 c 8 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c lp/solvefreq = -1
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 2 | 0 | - | 320k| 0 | - | 70 | 8 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.99/2.09 c 1.9s| 10000 | 6506 | 0 | 0.0 |2878k| 41 | - | 70 | 53 | 0 | 0 | 0 | 367 | 0 | 0.000000e+00 | -- | Inf
3.99/4.04 c 3.8s| 20000 | 13921 | 0 | 0.0 |5438k| 41 | - | 70 | 109 | 0 | 0 | 0 | 835 | 0 | 0.000000e+00 | -- | Inf
5.99/6.08 c 5.7s| 30000 | 20883 | 0 | 0.0 |7943k| 41 | - | 70 | 86 | 0 | 0 | 0 |1326 | 0 | 0.000000e+00 | -- | Inf
8.18/8.20 c 7.7s| 40000 | 27387 | 0 | 0.0 | 10M| 41 | - | 70 | 96 | 0 | 0 | 0 |1867 | 0 | 0.000000e+00 | -- | Inf
10.38/10.44 c 9.8s| 50000 | 33250 | 0 | 0.0 | 12M| 42 | - | 70 | 54 | 0 | 0 | 0 |2515 | 0 | 0.000000e+00 | -- | Inf
12.68/12.79 c 11.9s| 60000 | 38500 | 0 | 0.0 | 15M| 42 | - | 70 | 69 | 0 | 0 | 0 |3282 | 0 | 0.000000e+00 | -- | Inf
15.19/15.28 c 14.3s| 70000 | 42983 | 0 | 0.0 | 17M| 42 | - | 70 | 46 | 0 | 0 | 0 |4060 | 0 | 0.000000e+00 | -- | Inf
17.88/17.93 c 16.8s| 80000 | 46385 | 0 | 0.0 | 20M| 42 | - | 70 | 16 | 0 | 0 | 0 |4977 | 0 | 0.000000e+00 | -- | Inf
20.28/20.30 c 19.0s| 90000 | 50845 | 0 | 0.0 | 22M| 42 | - | 70 | 10 | 0 | 0 | 0 |5636 | 0 | 0.000000e+00 | -- | Inf
22.09/22.18 c 20.8s|100000 | 58416 | 0 | 0.0 | 24M| 42 | - | 70 | 17 | 0 | 0 | 0 |6007 | 0 | 0.000000e+00 | -- | Inf
24.09/24.11 c 22.6s|110000 | 65780 | 0 | 0.0 | 27M| 42 | - | 70 | 13 | 0 | 0 | 0 |6580 | 0 | 0.000000e+00 | -- | Inf
25.98/26.06 c 24.3s|120000 | 73002 | 0 | 0.0 | 29M| 42 | - | 70 | 14 | 0 | 0 | 0 |6978 | 0 | 0.000000e+00 | -- | Inf
27.98/28.02 c 26.2s|130000 | 80180 | 0 | 0.0 | 32M| 42 | - | 70 | 8 | 0 | 0 | 0 |7363 | 0 | 0.000000e+00 | -- | Inf
29.98/30.02 c 28.0s|140000 | 87219 | 0 | 0.0 | 34M| 42 | - | 70 | 17 | 0 | 0 | 0 |7858 | 0 | 0.000000e+00 | -- | Inf
31.98/32.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.98/32.03 c 29.9s|150000 | 94219 | 0 | 0.0 | 37M| 42 | - | 70 | 16 | 0 | 0 | 0 |8455 | 0 | 0.000000e+00 | -- | Inf
33.98/34.06 c 31.8s|160000 |101065 | 0 | 0.0 | 39M| 42 | - | 70 | 14 | 0 | 0 | 0 |9101 | 0 | 0.000000e+00 | -- | Inf
36.08/36.10 c 33.6s|170000 |107988 | 0 | 0.0 | 42M| 42 | - | 70 | 15 | 0 | 0 | 0 |9715 | 0 | 0.000000e+00 | -- | Inf
38.07/38.15 c 35.6s|180000 |114776 | 0 | 0.0 | 44M| 42 | - | 70 | 14 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
40.18/40.20 c 37.5s|190000 |121411 | 0 | 0.0 | 47M| 42 | - | 70 | 13 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
42.18/42.25 c 39.4s|200000 |128107 | 0 | 0.0 | 49M| 42 | - | 70 | 14 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
44.27/44.36 c 41.4s|210000 |134660 | 0 | 0.0 | 52M| 42 | - | 70 | 19 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
46.38/46.46 c 43.3s|220000 |141154 | 0 | 0.0 | 54M| 42 | - | 70 | 20 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
48.58/48.61 c 45.3s|230000 |147496 | 0 | 0.0 | 57M| 43 | - | 70 | 14 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
50.68/50.75 c 47.3s|240000 |153745 | 0 | 0.0 | 59M| 43 | - | 70 | 11 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
52.88/52.90 c 49.3s|250000 |159987 | 0 | 0.0 | 62M| 43 | - | 70 | 24 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
55.07/55.10 c 51.4s|260000 |166087 | 0 | 0.0 | 64M| 43 | - | 70 | 25 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
57.18/57.29 c 53.4s|270000 |172161 | 0 | 0.0 | 67M| 43 | - | 70 | 15 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
59.47/59.50 c 55.5s|280000 |178235 | 0 | 0.0 | 69M| 43 | - | 70 | 20 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
61.67/61.74 c 57.6s|290000 |184085 | 0 | 0.0 | 72M| 43 | - | 70 | 26 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
63.87/63.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.87/63.94 c 59.6s|300000 |190052 | 0 | 0.0 | 74M| 43 | - | 70 | 15 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
66.07/66.15 c 61.7s|310000 |195943 | 0 | 0.0 | 77M| 43 | - | 70 | 22 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
68.37/68.42 c 63.8s|320000 |201575 | 0 | 0.0 | 79M| 43 | - | 70 | 21 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
70.57/70.68 c 66.0s|330000 |207286 | 0 | 0.0 | 82M| 43 | - | 70 | 18 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
72.87/72.95 c 68.1s|340000 |212881 | 0 | 0.0 | 84M| 43 | - | 70 | 16 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
75.17/75.26 c 70.2s|350000 |218270 | 0 | 0.0 | 86M| 43 | - | 70 | 11 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
77.57/77.61 c 72.5s|360000 |223596 | 0 | 0.0 | 89M| 43 | - | 70 | 22 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
79.87/79.90 c 74.6s|370000 |229049 | 0 | 0.0 | 91M| 43 | - | 70 | 14 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
82.16/82.25 c 76.8s|380000 |234261 | 0 | 0.0 | 94M| 43 | - | 70 | 14 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
84.57/84.65 c 79.0s|390000 |239277 | 0 | 0.0 | 96M| 43 | - | 70 | 33 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
86.96/87.04 c 81.3s|400000 |244249 | 0 | 0.0 | 99M| 43 | - | 70 | 22 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
89.36/89.44 c 83.5s|410000 |249315 | 0 | 0.0 | 101M| 43 | - | 70 | 20 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
91.76/91.88 c 85.8s|420000 |254074 | 0 | 0.0 | 104M| 43 | - | 70 | 22 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
94.27/94.32 c 88.1s|430000 |258771 | 0 | 0.0 | 106M| 43 | - | 70 | 16 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
96.77/96.80 c 90.4s|440000 |263388 | 0 | 0.0 | 108M| 43 | - | 70 | 22 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
99.26/99.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.26/99.30 c 92.8s|450000 |267930 | 0 | 0.0 | 111M| 43 | - | 70 | 24 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
101.75/101.86 c 95.2s|460000 |272194 | 0 | 0.0 | 113M| 43 | - | 70 | 28 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
104.26/104.36 c 97.5s|470000 |276549 | 0 | 0.0 | 116M| 43 | - | 70 | 32 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
106.85/106.93 c 99.9s|480000 |280767 | 0 | 0.0 | 118M| 43 | - | 70 | 25 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
109.46/109.52 c 102s|490000 |284791 | 0 | 0.0 | 121M| 43 | - | 70 | 17 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
112.06/112.12 c 105s|500000 |288702 | 0 | 0.0 | 123M| 43 | - | 70 | 16 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
114.65/114.70 c 107s|510000 |292522 | 0 | 0.0 | 125M| 43 | - | 70 | 12 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
117.25/117.35 c 110s|520000 |296300 | 0 | 0.0 | 128M| 43 | - | 70 | 14 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
119.95/120.03 c 112s|530000 |299904 | 0 | 0.0 | 130M| 43 | - | 70 | 14 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
122.65/122.72 c 115s|540000 |303201 | 0 | 0.0 | 133M| 43 | - | 70 | 11 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
125.26/125.36 c 117s|550000 |306577 | 0 | 0.0 | 135M| 43 | - | 70 | 11 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
127.95/128.09 c 120s|560000 |309797 | 0 | 0.0 | 137M| 43 | - | 70 | 16 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
130.76/130.84 c 122s|570000 |312741 | 0 | 0.0 | 140M| 43 | - | 70 | 9 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
133.45/133.58 c 125s|580000 |315547 | 0 | 0.0 | 142M| 43 | - | 70 | 11 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
136.15/136.28 c 127s|590000 |318435 | 0 | 0.0 | 144M| 43 | - | 70 | 8 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
138.95/139.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.95/139.05 c 130s|600000 |320875 | 0 | 0.0 | 146M| 43 | - | 70 | 8 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
141.65/141.78 c 133s|610000 |323228 | 0 | 0.0 | 148M| 43 | - | 70 | 9 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
144.44/144.57 c 135s|620000 |325221 | 0 | 0.0 | 150M| 43 | - | 70 | 9 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
147.25/147.33 c 138s|630000 |326778 | 0 | 0.0 | 152M| 44 | - | 70 | 8 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
149.04/149.14 c 140s|640000 |334498 | 0 | 0.0 | 154M| 44 | - | 70 | 12 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
150.94/151.02 c 141s|650000 |342140 | 0 | 0.0 | 157M| 44 | - | 70 | 9 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
152.85/152.93 c 143s|660000 |349693 | 0 | 0.0 | 159M| 44 | - | 70 | 12 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
154.74/154.84 c 145s|670000 |357135 | 0 | 0.0 | 162M| 44 | - | 70 | 9 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
156.64/156.79 c 147s|680000 |364526 | 0 | 0.0 | 164M| 44 | - | 70 | 14 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
158.64/158.70 c 148s|690000 |371943 | 0 | 0.0 | 167M| 44 | - | 70 | 10 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
160.55/160.65 c 150s|700000 |379300 | 0 | 0.0 | 169M| 44 | - | 70 | 13 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
162.54/162.60 c 152s|710000 |386644 | 0 | 0.0 | 172M| 44 | - | 70 | 16 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
164.44/164.58 c 154s|720000 |393919 | 0 | 0.0 | 174M| 44 | - | 70 | 18 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
166.43/166.52 c 156s|730000 |401169 | 0 | 0.0 | 177M| 44 | - | 70 | 11 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
168.44/168.52 c 158s|740000 |408369 | 0 | 0.0 | 179M| 44 | - | 70 | 16 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
170.35/170.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.35/170.49 c 159s|750000 |415591 | 0 | 0.0 | 182M| 44 | - | 70 | 9 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
172.33/172.45 c 161s|760000 |422795 | 0 | 0.0 | 184M| 44 | - | 70 | 13 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
174.34/174.44 c 163s|770000 |429915 | 0 | 0.0 | 187M| 44 | - | 70 | 11 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
176.33/176.46 c 165s|780000 |436982 | 0 | 0.0 | 189M| 44 | - | 70 | 12 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
178.34/178.46 c 167s|790000 |444043 | 0 | 0.0 | 191M| 44 | - | 70 | 11 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
180.34/180.46 c 169s|800000 |451082 | 0 | 0.0 | 194M| 44 | - | 70 | 16 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
182.33/182.48 c 171s|810000 |458118 | 0 | 0.0 | 196M| 44 | - | 70 | 16 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
184.33/184.49 c 172s|820000 |465179 | 0 | 0.0 | 199M| 44 | - | 70 | 16 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
186.33/186.49 c 174s|830000 |472276 | 0 | 0.0 | 201M| 44 | - | 70 | 13 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
188.42/188.55 c 176s|840000 |479237 | 0 | 0.0 | 204M| 44 | - | 70 | 19 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
190.53/190.61 c 178s|850000 |486225 | 0 | 0.0 | 206M| 44 | - | 70 | 14 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
192.53/192.69 c 180s|860000 |493067 | 0 | 0.0 | 209M| 44 | - | 70 | 21 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
194.64/194.71 c 182s|870000 |500005 | 0 | 0.0 | 211M| 44 | - | 70 | 13 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
196.63/196.72 c 184s|880000 |506906 | 0 | 0.0 | 214M| 44 | - | 70 | 10 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
198.62/198.76 c 186s|890000 |513835 | 0 | 0.0 | 216M| 44 | - | 70 | 10 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
200.63/200.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
200.63/200.79 c 188s|900000 |520794 | 0 | 0.0 | 219M| 44 | - | 70 | 10 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
202.72/202.85 c 190s|910000 |527660 | 0 | 0.0 | 221M| 44 | - | 70 | 20 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
204.82/204.93 c 191s|920000 |534470 | 0 | 0.0 | 223M| 44 | - | 70 | 12 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
206.93/207.05 c 193s|930000 |541175 | 0 | 0.0 | 226M| 44 | - | 70 | 13 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
209.02/209.10 c 195s|940000 |548021 | 0 | 0.0 | 228M| 44 | - | 70 | 15 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
211.03/211.13 c 197s|950000 |554893 | 0 | 0.0 | 231M| 44 | - | 70 | 8 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
213.12/213.20 c 199s|960000 |561693 | 0 | 0.0 | 233M| 44 | - | 70 | 13 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
215.22/215.30 c 201s|970000 |568492 | 0 | 0.0 | 236M| 44 | - | 70 | 15 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
217.22/217.35 c 203s|980000 |575324 | 0 | 0.0 | 238M| 44 | - | 70 | 11 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
219.32/219.40 c 205s|990000 |582171 | 0 | 0.0 | 241M| 44 | - | 70 | 14 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
221.31/221.49 c 207s| 1000k|588909 | 0 | 0.0 | 243M| 44 | - | 70 | 11 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
223.51/223.62 c 209s| 1010k|595481 | 0 | 0.0 | 246M| 44 | - | 70 | 20 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
225.62/225.73 c 211s| 1020k|602170 | 0 | 0.0 | 248M| 44 | - | 70 | 13 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
227.72/227.82 c 213s| 1030k|608851 | 0 | 0.0 | 251M| 44 | - | 70 | 15 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
229.83/229.96 c 215s| 1040k|615461 | 0 | 0.0 | 253M| 44 | - | 70 | 12 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
231.93/232.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.93/232.04 c 217s| 1050k|622072 | 0 | 0.0 | 256M| 44 | - | 70 | 12 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
234.01/234.16 c 219s| 1060k|628730 | 0 | 0.0 | 258M| 44 | - | 70 | 15 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
236.22/236.30 c 221s| 1070k|635344 | 0 | 0.0 | 261M| 44 | - | 70 | 11 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
238.21/238.38 c 223s| 1080k|642075 | 0 | 0.0 | 263M| 44 | - | 70 | 10 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
240.31/240.47 c 225s| 1090k|648761 | 0 | 0.0 | 266M| 44 | - | 70 | 16 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
242.41/242.57 c 227s| 1100k|655391 | 0 | 0.0 | 268M| 44 | - | 70 | 14 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
244.61/244.71 c 229s| 1110k|661918 | 0 | 0.0 | 271M| 44 | - | 70 | 13 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
246.71/246.83 c 231s| 1120k|668421 | 0 | 0.0 | 273M| 44 | - | 70 | 8 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
248.81/248.97 c 233s| 1130k|674909 | 0 | 0.0 | 275M| 44 | - | 70 | 20 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
251.01/251.12 c 235s| 1140k|681396 | 0 | 0.0 | 278M| 44 | - | 70 | 25 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
253.11/253.24 c 237s| 1150k|687911 | 0 | 0.0 | 280M| 44 | - | 70 | 12 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
255.30/255.40 c 239s| 1160k|694326 | 0 | 0.0 | 283M| 44 | - | 70 | 12 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
257.41/257.54 c 241s| 1170k|700815 | 0 | 0.0 | 285M| 44 | - | 70 | 13 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
259.60/259.75 c 243s| 1180k|707203 | 0 | 0.0 | 288M| 44 | - | 70 | 16 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
261.71/261.89 c 245s| 1190k|713754 | 0 | 0.0 | 290M| 44 | - | 70 | 11 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
263.91/264.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.91/264.02 c 247s| 1200k|720317 | 0 | 0.0 | 293M| 44 | - | 70 | 18 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
266.01/266.19 c 249s| 1210k|726755 | 0 | 0.0 | 295M| 44 | - | 70 | 13 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
268.21/268.32 c 251s| 1220k|733269 | 0 | 0.0 | 298M| 44 | - | 70 | 13 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
270.30/270.48 c 253s| 1230k|739622 | 0 | 0.0 | 300M| 44 | - | 70 | 12 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
272.50/272.66 c 255s| 1240k|745940 | 0 | 0.0 | 303M| 44 | - | 70 | 15 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
274.69/274.84 c 257s| 1250k|752314 | 0 | 0.0 | 305M| 44 | - | 70 | 18 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
276.80/276.98 c 259s| 1260k|758607 | 0 | 0.0 | 308M| 44 | - | 70 | 10 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
279.00/279.13 c 261s| 1270k|765019 | 0 | 0.0 | 310M| 44 | - | 70 | 12 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
281.20/281.35 c 263s| 1280k|771348 | 0 | 0.0 | 312M| 44 | - | 70 | 20 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
283.40/283.55 c 265s| 1290k|777718 | 0 | 0.0 | 315M| 44 | - | 70 | 14 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
285.60/285.77 c 267s| 1300k|783872 | 0 | 0.0 | 317M| 44 | - | 70 | 14 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
287.80/287.98 c 269s| 1310k|790204 | 0 | 0.0 | 320M| 44 | - | 70 | 15 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
290.00/290.14 c 271s| 1320k|796461 | 0 | 0.0 | 322M| 44 | - | 70 | 15 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
292.19/292.30 c 273s| 1330k|802768 | 0 | 0.0 | 325M| 44 | - | 70 | 10 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
294.30/294.48 c 275s| 1340k|809089 | 0 | 0.0 | 327M| 44 | - | 70 | 8 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
296.49/296.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.49/296.63 c 277s| 1350k|815437 | 0 | 0.0 | 330M| 44 | - | 70 | 14 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
298.69/298.82 c 279s| 1360k|821611 | 0 | 0.0 | 332M| 44 | - | 70 | 11 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
300.89/301.04 c 281s| 1370k|827718 | 0 | 0.0 | 334M| 44 | - | 70 | 9 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
303.09/303.22 c 283s| 1380k|833855 | 0 | 0.0 | 337M| 44 | - | 70 | 13 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
305.29/305.40 c 285s| 1390k|840036 | 0 | 0.0 | 339M| 44 | - | 70 | 9 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
307.39/307.58 c 287s| 1400k|846198 | 0 | 0.0 | 342M| 44 | - | 70 | 14 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
309.69/309.83 c 289s| 1410k|852327 | 0 | 0.0 | 344M| 44 | - | 70 | 13 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
311.89/312.01 c 292s| 1420k|858489 | 0 | 0.0 | 347M| 44 | - | 70 | 11 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
313.98/314.17 c 294s| 1430k|864718 | 0 | 0.0 | 349M| 44 | - | 70 | 11 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
316.18/316.36 c 296s| 1440k|870883 | 0 | 0.0 | 352M| 44 | - | 70 | 10 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
318.39/318.57 c 298s| 1450k|877002 | 0 | 0.0 | 354M| 44 | - | 70 | 13 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
320.69/320.82 c 300s| 1460k|883039 | 0 | 0.0 | 356M| 44 | - | 70 | 15 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
322.88/323.06 c 302s| 1470k|889114 | 0 | 0.0 | 359M| 44 | - | 70 | 13 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
325.18/325.33 c 304s| 1480k|895194 | 0 | 0.0 | 361M| 44 | - | 70 | 13 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
327.39/327.57 c 306s| 1490k|901306 | 0 | 0.0 | 364M| 44 | - | 70 | 18 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
329.68/329.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.68/329.84 c 308s| 1500k|907360 | 0 | 0.0 | 366M| 44 | - | 70 | 26 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
331.88/332.08 c 310s| 1510k|913414 | 0 | 0.0 | 369M| 44 | - | 70 | 11 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
334.19/334.37 c 312s| 1520k|919286 | 0 | 0.0 | 371M| 44 | - | 70 | 22 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
336.48/336.64 c 315s| 1530k|925198 | 0 | 0.0 | 374M| 44 | - | 70 | 16 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
338.78/338.92 c 317s| 1540k|931070 | 0 | 0.0 | 376M| 44 | - | 70 | 15 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
341.07/341.21 c 319s| 1550k|936938 | 0 | 0.0 | 379M| 44 | - | 70 | 15 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
343.27/343.49 c 321s| 1560k|942816 | 0 | 0.0 | 381M| 44 | - | 70 | 16 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
345.57/345.75 c 323s| 1570k|948742 | 0 | 0.0 | 384M| 44 | - | 70 | 16 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
347.87/348.00 c 325s| 1580k|954654 | 0 | 0.0 | 386M| 44 | - | 70 | 13 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
350.07/350.26 c 327s| 1590k|960544 | 0 | 0.0 | 388M| 44 | - | 70 | 12 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
352.37/352.52 c 329s| 1600k|966466 | 0 | 0.0 | 391M| 44 | - | 70 | 14 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
354.58/354.76 c 332s| 1610k|972384 | 0 | 0.0 | 393M| 44 | - | 70 | 9 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
356.88/357.03 c 334s| 1620k|978316 | 0 | 0.0 | 396M| 44 | - | 70 | 10 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
359.17/359.31 c 336s| 1630k|984211 | 0 | 0.0 | 398M| 45 | - | 70 | 15 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
361.47/361.65 c 338s| 1640k|989971 | 0 | 0.0 | 401M| 45 | - | 70 | 15 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
363.77/363.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
363.77/363.96 c 340s| 1650k|995787 | 0 | 0.0 | 403M| 45 | - | 70 | 28 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
366.08/366.26 c 342s| 1660k| 1001k| 0 | 0.0 | 406M| 45 | - | 70 | 16 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
368.37/368.54 c 344s| 1670k| 1007k| 0 | 0.0 | 408M| 45 | - | 70 | 10 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
370.67/370.85 c 347s| 1680k| 1013k| 0 | 0.0 | 411M| 45 | - | 70 | 13 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
372.96/373.15 c 349s| 1690k| 1019k| 0 | 0.0 | 413M| 45 | - | 70 | 12 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
375.27/375.48 c 351s| 1700k| 1024k| 0 | 0.0 | 415M| 45 | - | 70 | 12 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
377.57/377.79 c 353s| 1710k| 1030k| 0 | 0.0 | 418M| 45 | - | 70 | 12 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
379.97/380.11 c 355s| 1720k| 1035k| 0 | 0.0 | 420M| 45 | - | 70 | 21 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
382.26/382.40 c 357s| 1730k| 1041k| 0 | 0.0 | 423M| 45 | - | 70 | 12 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
384.56/384.76 c 360s| 1740k| 1047k| 0 | 0.0 | 425M| 45 | - | 70 | 16 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
386.87/387.06 c 362s| 1750k| 1052k| 0 | 0.0 | 428M| 45 | - | 70 | 17 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
389.17/389.37 c 364s| 1760k| 1058k| 0 | 0.0 | 430M| 45 | - | 70 | 14 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
391.57/391.70 c 366s| 1770k| 1064k| 0 | 0.0 | 432M| 45 | - | 70 | 25 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
393.86/394.03 c 368s| 1780k| 1069k| 0 | 0.0 | 435M| 45 | - | 70 | 23 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
396.16/396.33 c 370s| 1790k| 1075k| 0 | 0.0 | 437M| 45 | - | 70 | 13 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
398.45/398.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
398.45/398.63 c 373s| 1800k| 1081k| 0 | 0.0 | 440M| 45 | - | 70 | 12 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
400.76/400.93 c 375s| 1810k| 1087k| 0 | 0.0 | 442M| 45 | - | 70 | 13 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
403.06/403.28 c 377s| 1820k| 1092k| 0 | 0.0 | 445M| 45 | - | 70 | 14 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
405.35/405.59 c 379s| 1830k| 1098k| 0 | 0.0 | 447M| 45 | - | 70 | 18 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
407.65/407.86 c 381s| 1840k| 1104k| 0 | 0.0 | 449M| 45 | - | 70 | 14 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
409.96/410.18 c 383s| 1850k| 1109k| 0 | 0.0 | 452M| 45 | - | 70 | 22 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
412.36/412.52 c 386s| 1860k| 1115k| 0 | 0.0 | 454M| 45 | - | 70 | 25 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
414.65/414.88 c 388s| 1870k| 1120k| 0 | 0.0 | 457M| 45 | - | 70 | 12 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
417.05/417.24 c 390s| 1880k| 1126k| 0 | 0.0 | 459M| 45 | - | 70 | 15 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
419.45/419.64 c 392s| 1890k| 1131k| 0 | 0.0 | 462M| 45 | - | 70 | 24 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
421.85/422.04 c 394s| 1900k| 1137k| 0 | 0.0 | 464M| 45 | - | 70 | 14 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
424.25/424.44 c 397s| 1910k| 1142k| 0 | 0.0 | 467M| 45 | - | 70 | 18 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
426.66/426.83 c 399s| 1920k| 1148k| 0 | 0.0 | 469M| 45 | - | 70 | 10 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
429.05/429.24 c 401s| 1930k| 1153k| 0 | 0.0 | 472M| 45 | - | 70 | 28 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
431.45/431.60 c 403s| 1940k| 1158k| 0 | 0.0 | 474M| 45 | - | 70 | 19 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
433.85/434.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
433.85/434.01 c 406s| 1950k| 1164k| 0 | 0.0 | 476M| 45 | - | 70 | 18 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
436.24/436.40 c 408s| 1960k| 1169k| 0 | 0.0 | 479M| 45 | - | 70 | 22 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
438.54/438.75 c 410s| 1970k| 1175k| 0 | 0.0 | 481M| 45 | - | 70 | 20 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
440.96/441.12 c 412s| 1980k| 1180k| 0 | 0.0 | 484M| 45 | - | 70 | 16 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
443.24/443.46 c 415s| 1990k| 1185k| 0 | 0.0 | 486M| 45 | - | 70 | 10 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
445.64/445.85 c 417s| 2000k| 1191k| 0 | 0.0 | 489M| 45 | - | 70 | 10 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
448.04/448.25 c 419s| 2010k| 1196k| 0 | 0.0 | 491M| 45 | - | 70 | 20 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
450.44/450.66 c 421s| 2020k| 1201k| 0 | 0.0 | 493M| 45 | - | 70 | 14 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
452.74/452.97 c 424s| 2030k| 1207k| 0 | 0.0 | 496M| 45 | - | 70 | 16 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
455.15/455.34 c 426s| 2040k| 1212k| 0 | 0.0 | 498M| 45 | - | 70 | 14 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
457.53/457.72 c 428s| 2050k| 1218k| 0 | 0.0 | 501M| 45 | - | 70 | 14 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
459.94/460.15 c 430s| 2060k| 1223k| 0 | 0.0 | 503M| 45 | - | 70 | 18 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
462.34/462.50 c 432s| 2070k| 1228k| 0 | 0.0 | 506M| 45 | - | 70 | 28 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
464.74/464.95 c 435s| 2080k| 1234k| 0 | 0.0 | 508M| 45 | - | 70 | 20 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
467.24/467.40 c 437s| 2090k| 1239k| 0 | 0.0 | 511M| 45 | - | 70 | 16 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
469.63/469.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.63/469.87 c 439s| 2100k| 1244k| 0 | 0.0 | 513M| 45 | - | 70 | 16 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
472.13/472.37 c 442s| 2110k| 1250k| 0 | 0.0 | 516M| 45 | - | 70 | 33 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
474.64/474.86 c 444s| 2120k| 1255k| 0 | 0.0 | 518M| 45 | - | 70 | 22 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
477.14/477.35 c 446s| 2130k| 1260k| 0 | 0.0 | 520M| 45 | - | 70 | 24 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
479.63/479.80 c 449s| 2140k| 1265k| 0 | 0.0 | 523M| 45 | - | 70 | 23 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
482.13/482.30 c 451s| 2150k| 1270k| 0 | 0.0 | 525M| 45 | - | 70 | 20 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
484.53/484.78 c 453s| 2160k| 1275k| 0 | 0.0 | 528M| 45 | - | 70 | 22 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
487.03/487.21 c 456s| 2170k| 1280k| 0 | 0.0 | 530M| 45 | - | 70 | 14 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
489.43/489.70 c 458s| 2180k| 1285k| 0 | 0.0 | 533M| 45 | - | 70 | 13 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
491.93/492.13 c 460s| 2190k| 1290k| 0 | 0.0 | 535M| 45 | - | 70 | 17 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
494.33/494.56 c 463s| 2200k| 1295k| 0 | 0.0 | 537M| 45 | - | 70 | 14 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
496.82/497.02 c 465s| 2210k| 1300k| 0 | 0.0 | 540M| 45 | - | 70 | 22 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
499.32/499.51 c 467s| 2220k| 1305k| 0 | 0.0 | 542M| 45 | - | 70 | 15 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
501.72/501.98 c 470s| 2230k| 1310k| 0 | 0.0 | 544M| 45 | - | 70 | 16 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
504.23/504.40 c 472s| 2240k| 1315k| 0 | 0.0 | 547M| 45 | - | 70 | 16 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
506.62/506.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
506.62/506.85 c 474s| 2250k| 1320k| 0 | 0.0 | 549M| 45 | - | 70 | 11 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
509.03/509.29 c 476s| 2260k| 1325k| 0 | 0.0 | 552M| 45 | - | 70 | 15 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
511.52/511.75 c 479s| 2270k| 1330k| 0 | 0.0 | 554M| 45 | - | 70 | 16 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
513.92/514.17 c 481s| 2280k| 1336k| 0 | 0.0 | 557M| 45 | - | 70 | 12 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
516.42/516.64 c 483s| 2290k| 1341k| 0 | 0.0 | 559M| 45 | - | 70 | 15 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
518.82/519.04 c 486s| 2300k| 1346k| 0 | 0.0 | 562M| 45 | - | 70 | 10 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
521.22/521.49 c 488s| 2310k| 1351k| 0 | 0.0 | 564M| 45 | - | 70 | 23 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
523.72/523.96 c 490s| 2320k| 1356k| 0 | 0.0 | 567M| 45 | - | 70 | 14 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
526.11/526.39 c 493s| 2330k| 1361k| 0 | 0.0 | 569M| 45 | - | 70 | 11 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
528.71/528.95 c 495s| 2340k| 1366k| 0 | 0.0 | 571M| 45 | - | 70 | 15 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
531.21/531.49 c 497s| 2350k| 1371k| 0 | 0.0 | 574M| 45 | - | 70 | 15 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
533.82/534.00 c 500s| 2360k| 1376k| 0 | 0.0 | 576M| 45 | - | 70 | 13 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
536.41/536.62 c 502s| 2370k| 1380k| 0 | 0.0 | 579M| 45 | - | 70 | 29 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
539.01/539.21 c 505s| 2380k| 1385k| 0 | 0.0 | 581M| 45 | - | 70 | 18 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
541.61/541.83 c 507s| 2390k| 1389k| 0 | 0.0 | 584M| 45 | - | 70 | 15 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
544.22/544.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
544.22/544.42 c 510s| 2400k| 1394k| 0 | 0.0 | 586M| 45 | - | 70 | 25 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
546.81/547.01 c 512s| 2410k| 1399k| 0 | 0.0 | 589M| 45 | - | 70 | 18 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
549.40/549.61 c 514s| 2420k| 1403k| 0 | 0.0 | 591M| 45 | - | 70 | 23 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
551.91/552.16 c 517s| 2430k| 1408k| 0 | 0.0 | 593M| 45 | - | 70 | 20 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
554.41/554.68 c 519s| 2440k| 1413k| 0 | 0.0 | 596M| 45 | - | 70 | 13 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
557.01/557.23 c 522s| 2450k| 1417k| 0 | 0.0 | 598M| 45 | - | 70 | 13 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
559.61/559.82 c 524s| 2460k| 1422k| 0 | 0.0 | 601M| 45 | - | 70 | 14 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
562.10/562.36 c 526s| 2470k| 1427k| 0 | 0.0 | 603M| 45 | - | 70 | 21 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
564.70/564.90 c 529s| 2480k| 1431k| 0 | 0.0 | 606M| 45 | - | 70 | 15 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
567.20/567.40 c 531s| 2490k| 1436k| 0 | 0.0 | 608M| 45 | - | 70 | 11 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
569.70/569.93 c 534s| 2500k| 1441k| 0 | 0.0 | 610M| 45 | - | 70 | 15 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
572.30/572.55 c 536s| 2510k| 1445k| 0 | 0.0 | 613M| 45 | - | 70 | 16 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
574.90/575.16 c 538s| 2520k| 1450k| 0 | 0.0 | 615M| 45 | - | 70 | 18 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
577.40/577.62 c 541s| 2530k| 1455k| 0 | 0.0 | 618M| 45 | - | 70 | 18 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
579.90/580.13 c 543s| 2540k| 1460k| 0 | 0.0 | 620M| 45 | - | 70 | 22 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
582.50/582.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
582.50/582.70 c 546s| 2550k| 1464k| 0 | 0.0 | 623M| 45 | - | 70 | 13 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
585.00/585.29 c 548s| 2560k| 1469k| 0 | 0.0 | 625M| 45 | - | 70 | 17 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
587.49/587.76 c 550s| 2570k| 1474k| 0 | 0.0 | 627M| 45 | - | 70 | 9 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
590.09/590.31 c 553s| 2580k| 1479k| 0 | 0.0 | 630M| 45 | - | 70 | 13 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
592.49/592.76 c 555s| 2590k| 1483k| 0 | 0.0 | 632M| 45 | - | 70 | 11 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
594.99/595.28 c 557s| 2600k| 1488k| 0 | 0.0 | 635M| 45 | - | 70 | 14 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
597.59/597.85 c 560s| 2610k| 1493k| 0 | 0.0 | 637M| 45 | - | 70 | 11 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
600.19/600.49 c 562s| 2620k| 1497k| 0 | 0.0 | 639M| 45 | - | 70 | 19 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
602.90/603.12 c 565s| 2630k| 1501k| 0 | 0.0 | 642M| 45 | - | 70 | 12 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
605.39/605.65 c 567s| 2640k| 1506k| 0 | 0.0 | 644M| 45 | - | 70 | 12 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
608.00/608.21 c 570s| 2650k| 1510k| 0 | 0.0 | 646M| 45 | - | 70 | 12 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
610.59/610.80 c 572s| 2660k| 1514k| 0 | 0.0 | 649M| 45 | - | 70 | 15 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
613.19/613.46 c 575s| 2670k| 1518k| 0 | 0.0 | 651M| 45 | - | 70 | 11 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
615.89/616.14 c 577s| 2680k| 1522k| 0 | 0.0 | 654M| 45 | - | 70 | 20 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
618.59/618.83 c 580s| 2690k| 1527k| 0 | 0.0 | 656M| 45 | - | 70 | 20 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
621.29/621.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
621.29/621.51 c 582s| 2700k| 1531k| 0 | 0.0 | 658M| 45 | - | 70 | 17 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
623.89/624.18 c 585s| 2710k| 1535k| 0 | 0.0 | 661M| 45 | - | 70 | 24 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
626.69/626.90 c 587s| 2720k| 1539k| 0 | 0.0 | 663M| 45 | - | 70 | 26 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
629.28/629.51 c 590s| 2730k| 1544k| 0 | 0.0 | 666M| 45 | - | 70 | 13 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
631.88/632.15 c 592s| 2740k| 1548k| 0 | 0.0 | 668M| 45 | - | 70 | 12 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
634.58/634.87 c 595s| 2750k| 1552k| 0 | 0.0 | 671M| 45 | - | 70 | 21 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
637.28/637.53 c 597s| 2760k| 1556k| 0 | 0.0 | 673M| 45 | - | 70 | 14 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
639.88/640.17 c 600s| 2770k| 1560k| 0 | 0.0 | 675M| 45 | - | 70 | 16 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
642.58/642.83 c 602s| 2780k| 1565k| 0 | 0.0 | 678M| 45 | - | 70 | 21 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
645.28/645.55 c 605s| 2790k| 1569k| 0 | 0.0 | 680M| 45 | - | 70 | 20 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
647.97/648.25 c 607s| 2800k| 1573k| 0 | 0.0 | 683M| 45 | - | 70 | 17 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
650.68/650.90 c 610s| 2810k| 1577k| 0 | 0.0 | 685M| 45 | - | 70 | 16 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
653.28/653.50 c 612s| 2820k| 1582k| 0 | 0.0 | 687M| 45 | - | 70 | 19 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
655.87/656.11 c 615s| 2830k| 1586k| 0 | 0.0 | 690M| 45 | - | 70 | 11 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
658.47/658.73 c 617s| 2840k| 1590k| 0 | 0.0 | 692M| 45 | - | 70 | 18 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
661.07/661.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
661.07/661.31 c 620s| 2850k| 1595k| 0 | 0.0 | 695M| 45 | - | 70 | 12 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
663.67/663.95 c 622s| 2860k| 1599k| 0 | 0.0 | 697M| 45 | - | 70 | 18 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
666.27/666.54 c 625s| 2870k| 1603k| 0 | 0.0 | 700M| 45 | - | 70 | 15 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
668.97/669.24 c 627s| 2880k| 1608k| 0 | 0.0 | 702M| 45 | - | 70 | 24 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
671.67/671.98 c 630s| 2890k| 1612k| 0 | 0.0 | 704M| 45 | - | 70 | 15 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
674.46/674.70 c 632s| 2900k| 1616k| 0 | 0.0 | 707M| 45 | - | 70 | 15 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
677.07/677.40 c 635s| 2910k| 1620k| 0 | 0.0 | 709M| 45 | - | 70 | 20 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
679.77/680.01 c 637s| 2920k| 1623k| 0 | 0.0 | 712M| 45 | - | 70 | 12 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
682.46/682.76 c 640s| 2930k| 1627k| 0 | 0.0 | 714M| 45 | - | 70 | 16 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
685.16/685.49 c 642s| 2940k| 1631k| 0 | 0.0 | 716M| 45 | - | 70 | 18 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
687.86/688.17 c 645s| 2950k| 1635k| 0 | 0.0 | 719M| 45 | - | 70 | 13 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
690.57/690.83 c 648s| 2960k| 1639k| 0 | 0.0 | 721M| 45 | - | 70 | 15 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
693.16/693.45 c 650s| 2970k| 1643k| 0 | 0.0 | 724M| 45 | - | 70 | 10 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
695.86/696.18 c 653s| 2980k| 1647k| 0 | 0.0 | 726M| 45 | - | 70 | 12 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
698.65/698.92 c 655s| 2990k| 1651k| 0 | 0.0 | 728M| 45 | - | 70 | 14 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
701.36/701.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.36/701.68 c 658s| 3000k| 1654k| 0 | 0.0 | 731M| 45 | - | 70 | 19 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
704.16/704.48 c 660s| 3010k| 1658k| 0 | 0.0 | 733M| 45 | - | 70 | 25 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
707.07/707.31 c 663s| 3020k| 1662k| 0 | 0.0 | 736M| 45 | - | 70 | 17 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
709.76/710.08 c 666s| 3030k| 1665k| 0 | 0.0 | 738M| 45 | - | 70 | 17 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
712.56/712.84 c 668s| 3040k| 1669k| 0 | 0.0 | 740M| 45 | - | 70 | 18 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
715.36/715.66 c 671s| 3050k| 1673k| 0 | 0.0 | 743M| 45 | - | 70 | 16 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
718.15/718.41 c 674s| 3060k| 1676k| 0 | 0.0 | 745M| 45 | - | 70 | 12 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
720.85/721.18 c 676s| 3070k| 1680k| 0 | 0.0 | 747M| 45 | - | 70 | 14 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
723.56/723.88 c 679s| 3080k| 1684k| 0 | 0.0 | 750M| 45 | - | 70 | 19 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
726.35/726.62 c 681s| 3090k| 1688k| 0 | 0.0 | 752M| 45 | - | 70 | 13 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
729.15/729.40 c 684s| 3100k| 1691k| 0 | 0.0 | 754M| 45 | - | 70 | 12 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
731.85/732.13 c 687s| 3110k| 1695k| 0 | 0.0 | 757M| 45 | - | 70 | 18 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
734.64/734.90 c 689s| 3120k| 1699k| 0 | 0.0 | 759M| 45 | - | 70 | 18 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
737.35/737.69 c 692s| 3130k| 1703k| 0 | 0.0 | 762M| 45 | - | 70 | 16 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
740.15/740.44 c 694s| 3140k| 1707k| 0 | 0.0 | 764M| 45 | - | 70 | 16 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
742.84/743.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
742.84/743.18 c 697s| 3150k| 1711k| 0 | 0.0 | 766M| 45 | - | 70 | 16 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
745.55/745.88 c 700s| 3160k| 1715k| 0 | 0.0 | 769M| 45 | - | 70 | 14 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
748.44/748.70 c 702s| 3170k| 1718k| 0 | 0.0 | 771M| 45 | - | 70 | 15 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
751.14/751.49 c 705s| 3180k| 1722k| 0 | 0.0 | 774M| 45 | - | 70 | 10 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
754.04/754.38 c 708s| 3190k| 1725k| 0 | 0.0 | 776M| 45 | - | 70 | 12 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
756.84/757.14 c 710s| 3200k| 1729k| 0 | 0.0 | 778M| 45 | - | 70 | 11 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
759.64/759.98 c 713s| 3210k| 1732k| 0 | 0.0 | 781M| 45 | - | 70 | 11 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
762.54/762.80 c 715s| 3220k| 1735k| 0 | 0.0 | 783M| 45 | - | 70 | 11 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
765.24/765.53 c 718s| 3230k| 1739k| 0 | 0.0 | 785M| 45 | - | 70 | 13 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
767.93/768.24 c 721s| 3240k| 1742k| 0 | 0.0 | 788M| 45 | - | 70 | 14 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
770.74/771.05 c 723s| 3250k| 1745k| 0 | 0.0 | 790M| 45 | - | 70 | 10 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
773.54/773.82 c 726s| 3260k| 1749k| 0 | 0.0 | 793M| 45 | - | 70 | 9 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
776.34/776.67 c 729s| 3270k| 1752k| 0 | 0.0 | 795M| 45 | - | 70 | 9 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
779.13/779.46 c 731s| 3280k| 1756k| 0 | 0.0 | 797M| 45 | - | 70 | 13 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
781.93/782.20 c 734s| 3290k| 1759k| 0 | 0.0 | 800M| 45 | - | 70 | 11 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
784.63/784.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
784.63/784.99 c 737s| 3300k| 1763k| 0 | 0.0 | 802M| 45 | - | 70 | 8 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
787.53/787.84 c 739s| 3310k| 1766k| 0 | 0.0 | 804M| 45 | - | 70 | 11 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
790.43/790.70 c 742s| 3320k| 1769k| 0 | 0.0 | 807M| 45 | - | 70 | 13 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
793.23/793.59 c 745s| 3330k| 1773k| 0 | 0.0 | 809M| 45 | - | 70 | 11 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
796.14/796.42 c 747s| 3340k| 1776k| 0 | 0.0 | 812M| 45 | - | 70 | 9 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
799.02/799.34 c 750s| 3350k| 1779k| 0 | 0.0 | 814M| 45 | - | 70 | 14 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
801.82/802.16 c 753s| 3360k| 1782k| 0 | 0.0 | 816M| 45 | - | 70 | 17 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
804.62/804.98 c 755s| 3370k| 1786k| 0 | 0.0 | 819M| 45 | - | 70 | 12 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
807.52/807.82 c 758s| 3380k| 1789k| 0 | 0.0 | 821M| 45 | - | 70 | 11 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
810.32/810.62 c 761s| 3390k| 1792k| 0 | 0.0 | 823M| 45 | - | 70 | 12 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
813.12/813.41 c 763s| 3400k| 1795k| 0 | 0.0 | 826M| 45 | - | 70 | 10 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
815.93/816.28 c 766s| 3410k| 1799k| 0 | 0.0 | 828M| 45 | - | 70 | 11 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
818.72/819.05 c 769s| 3420k| 1802k| 0 | 0.0 | 830M| 45 | - | 70 | 13 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
821.61/821.93 c 771s| 3430k| 1806k| 0 | 0.0 | 833M| 45 | - | 70 | 15 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
824.42/824.75 c 774s| 3440k| 1809k| 0 | 0.0 | 835M| 45 | - | 70 | 10 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
827.22/827.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
827.22/827.59 c 777s| 3450k| 1812k| 0 | 0.0 | 837M| 45 | - | 70 | 12 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
830.12/830.45 c 780s| 3460k| 1815k| 0 | 0.0 | 840M| 45 | - | 70 | 11 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
833.02/833.30 c 782s| 3470k| 1818k| 0 | 0.0 | 842M| 45 | - | 70 | 9 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
835.82/836.17 c 785s| 3480k| 1821k| 0 | 0.0 | 844M| 45 | - | 70 | 9 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
838.71/839.01 c 788s| 3490k| 1824k| 0 | 0.0 | 847M| 45 | - | 70 | 8 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
841.52/841.89 c 790s| 3500k| 1827k| 0 | 0.0 | 849M| 45 | - | 70 | 10 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
844.42/844.72 c 793s| 3510k| 1829k| 0 | 0.0 | 851M| 45 | - | 70 | 8 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
847.21/847.52 c 796s| 3520k| 1832k| 0 | 0.0 | 853M| 45 | - | 70 | 8 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
850.01/850.35 c 798s| 3530k| 1835k| 0 | 0.0 | 856M| 45 | - | 70 | 9 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
852.91/853.22 c 801s| 3540k| 1838k| 0 | 0.0 | 858M| 45 | - | 70 | 10 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
855.60/855.98 c 804s| 3550k| 1841k| 0 | 0.0 | 860M| 45 | - | 70 | 9 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
858.41/858.79 c 806s| 3560k| 1844k| 0 | 0.0 | 862M| 45 | - | 70 | 8 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
861.31/861.63 c 809s| 3570k| 1847k| 0 | 0.0 | 865M| 45 | - | 70 | 11 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
864.32/864.62 c 812s| 3580k| 1850k| 0 | 0.0 | 867M| 45 | - | 70 | 9 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
867.20/867.56 c 815s| 3590k| 1853k| 0 | 0.0 | 869M| 45 | - | 70 | 8 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
870.10/870.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.10/870.49 c 817s| 3600k| 1856k| 0 | 0.0 | 871M| 45 | - | 70 | 12 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
873.11/873.44 c 820s| 3610k| 1858k| 0 | 0.0 | 873M| 45 | - | 70 | 12 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
876.00/876.36 c 823s| 3620k| 1861k| 0 | 0.0 | 876M| 45 | - | 70 | 10 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
878.89/879.23 c 826s| 3630k| 1864k| 0 | 0.0 | 878M| 45 | - | 70 | 9 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
881.70/882.08 c 828s| 3640k| 1867k| 0 | 0.0 | 880M| 45 | - | 70 | 10 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
884.60/884.95 c 831s| 3650k| 1870k| 0 | 0.0 | 882M| 45 | - | 70 | 8 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
887.49/887.82 c 834s| 3660k| 1873k| 0 | 0.0 | 885M| 45 | - | 70 | 9 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
890.29/890.68 c 837s| 3670k| 1876k| 0 | 0.0 | 887M| 45 | - | 70 | 10 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
893.19/893.58 c 839s| 3680k| 1878k| 0 | 0.0 | 889M| 45 | - | 70 | 8 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
896.09/896.47 c 842s| 3690k| 1880k| 0 | 0.0 | 891M| 45 | - | 70 | 8 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
899.09/899.40 c 845s| 3700k| 1883k| 0 | 0.0 | 893M| 45 | - | 70 | 8 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
901.89/902.28 c 848s| 3710k| 1885k| 0 | 0.0 | 895M| 45 | - | 70 | 8 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
904.79/905.15 c 850s| 3720k| 1887k| 0 | 0.0 | 897M| 45 | - | 70 | 8 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
907.59/907.96 c 853s| 3730k| 1890k| 0 | 0.0 | 899M| 45 | - | 70 | 8 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
910.49/910.84 c 856s| 3740k| 1892k| 0 | 0.0 | 901M| 45 | - | 70 | 8 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
913.29/913.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
913.29/913.65 c 858s| 3750k| 1895k| 0 | 0.0 | 903M| 45 | - | 70 | 8 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
916.08/916.45 c 861s| 3760k| 1897k| 0 | 0.0 | 905M| 45 | - | 70 | 8 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
919.08/919.40 c 864s| 3770k| 1899k| 0 | 0.0 | 907M| 45 | - | 70 | 8 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
921.99/922.32 c 867s| 3780k| 1902k| 0 | 0.0 | 909M| 45 | - | 70 | 8 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
924.79/925.18 c 869s| 3790k| 1904k| 0 | 0.0 | 911M| 45 | - | 70 | 8 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
927.68/928.03 c 872s| 3800k| 1906k| 0 | 0.0 | 913M| 45 | - | 70 | 8 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
930.68/931.00 c 875s| 3810k| 1909k| 0 | 0.0 | 915M| 45 | - | 70 | 8 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
933.49/933.88 c 878s| 3820k| 1911k| 0 | 0.0 | 917M| 45 | - | 70 | 8 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
936.38/936.79 c 880s| 3830k| 1913k| 0 | 0.0 | 919M| 45 | - | 70 | 8 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
939.27/939.69 c 883s| 3840k| 1915k| 0 | 0.0 | 921M| 45 | - | 70 | 8 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
942.18/942.54 c 886s| 3850k| 1916k| 0 | 0.0 | 922M| 45 | - | 70 | 8 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
945.08/945.42 c 888s| 3860k| 1918k| 0 | 0.0 | 924M| 45 | - | 70 | 8 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
947.88/948.26 c 891s| 3870k| 1920k| 0 | 0.0 | 925M| 45 | - | 70 | 8 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
950.87/951.21 c 894s| 3880k| 1921k| 0 | 0.0 | 927M| 45 | - | 70 | 8 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
953.77/954.14 c 897s| 3890k| 1923k| 0 | 0.0 | 928M| 45 | - | 70 | 8 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
956.68/957.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
956.68/957.02 c 899s| 3900k| 1924k| 0 | 0.0 | 930M| 45 | - | 70 | 8 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
959.57/959.92 c 902s| 3910k| 1926k| 0 | 0.0 | 931M| 45 | - | 70 | 8 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
962.47/962.89 c 905s| 3920k| 1926k| 0 | 0.0 | 932M| 46 | - | 70 | 8 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
965.38/965.80 c 908s| 3930k| 1928k| 0 | 0.0 | 933M| 50 | - | 70 | 8 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
967.37/967.71 c 910s| 3940k| 1936k| 0 | 0.0 | 936M| 50 | - | 70 | 8 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
969.27/969.64 c 911s| 3950k| 1943k| 0 | 0.0 | 938M| 50 | - | 70 | 8 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
971.17/971.59 c 913s| 3960k| 1950k| 0 | 0.0 | 940M| 50 | - | 70 | 9 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
973.17/973.58 c 915s| 3970k| 1958k| 0 | 0.0 | 943M| 50 | - | 70 | 8 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
975.16/975.58 c 917s| 3980k| 1965k| 0 | 0.0 | 945M| 50 | - | 70 | 8 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
977.16/977.51 c 919s| 3990k| 1972k| 0 | 0.0 | 947M| 50 | - | 70 | 10 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
979.17/979.51 c 921s| 4000k| 1979k| 0 | 0.0 | 950M| 50 | - | 70 | 13 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
981.16/981.53 c 923s| 4010k| 1987k| 0 | 0.0 | 952M| 50 | - | 70 | 10 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
983.17/983.56 c 924s| 4020k| 1994k| 0 | 0.0 | 954M| 50 | - | 70 | 11 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
985.17/985.60 c 926s| 4030k| 2001k| 0 | 0.0 | 957M| 50 | - | 70 | 8 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
987.27/987.65 c 928s| 4040k| 2008k| 0 | 0.0 | 959M| 50 | - | 70 | 11 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
989.26/989.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
989.26/989.69 c 930s| 4050k| 2015k| 0 | 0.0 | 961M| 50 | - | 70 | 9 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
991.36/991.73 c 932s| 4060k| 2022k| 0 | 0.0 | 964M| 50 | - | 70 | 9 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
993.46/993.82 c 934s| 4070k| 2030k| 0 | 0.0 | 966M| 50 | - | 70 | 8 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
995.46/995.84 c 936s| 4080k| 2037k| 0 | 0.0 | 968M| 50 | - | 70 | 8 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
997.46/997.85 c 938s| 4090k| 2044k| 0 | 0.0 | 971M| 50 | - | 70 | 8 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
999.57/999.94 c 940s| 4100k| 2051k| 0 | 0.0 | 973M| 50 | - | 70 | 10 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
1001.66/1002.00 c 942s| 4110k| 2058k| 0 | 0.0 | 975M| 50 | - | 70 | 9 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
1003.66/1004.06 c 944s| 4120k| 2065k| 0 | 0.0 | 978M| 50 | - | 70 | 8 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
1005.75/1006.15 c 946s| 4130k| 2072k| 0 | 0.0 | 980M| 50 | - | 70 | 8 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
1007.76/1008.19 c 948s| 4140k| 2079k| 0 | 0.0 | 982M| 50 | - | 70 | 10 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
1009.95/1010.30 c 949s| 4150k| 2086k| 0 | 0.0 | 985M| 50 | - | 70 | 11 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
1011.95/1012.38 c 951s| 4160k| 2093k| 0 | 0.0 | 987M| 50 | - | 70 | 9 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
1014.06/1014.43 c 953s| 4170k| 2100k| 0 | 0.0 | 989M| 50 | - | 70 | 8 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
1016.15/1016.54 c 955s| 4180k| 2107k| 0 | 0.0 | 992M| 50 | - | 70 | 11 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
1018.26/1018.67 c 957s| 4190k| 2114k| 0 | 0.0 | 994M| 50 | - | 70 | 10 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
1020.35/1020.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1020.35/1020.79 c 959s| 4200k| 2121k| 0 | 0.0 | 996M| 50 | - | 70 | 8 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
1022.56/1022.92 c 961s| 4210k| 2128k| 0 | 0.0 | 999M| 50 | - | 70 | 9 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
1024.65/1025.03 c 963s| 4220k| 2135k| 0 | 0.0 |1001M| 50 | - | 70 | 9 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
1026.75/1027.14 c 965s| 4230k| 2142k| 0 | 0.0 |1003M| 50 | - | 70 | 10 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
1028.75/1029.19 c 967s| 4240k| 2149k| 0 | 0.0 |1006M| 50 | - | 70 | 10 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
1030.85/1031.28 c 969s| 4250k| 2156k| 0 | 0.0 |1008M| 50 | - | 70 | 8 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
1033.05/1033.40 c 971s| 4260k| 2163k| 0 | 0.0 |1010M| 50 | - | 70 | 8 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
1035.15/1035.53 c 973s| 4270k| 2170k| 0 | 0.0 |1013M| 50 | - | 70 | 8 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
1037.24/1037.64 c 975s| 4280k| 2177k| 0 | 0.0 |1015M| 50 | - | 70 | 9 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
1039.35/1039.73 c 977s| 4290k| 2184k| 0 | 0.0 |1017M| 50 | - | 70 | 8 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
1041.44/1041.86 c 979s| 4300k| 2190k| 0 | 0.0 |1020M| 50 | - | 70 | 9 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
1043.64/1044.05 c 981s| 4310k| 2197k| 0 | 0.0 |1022M| 50 | - | 70 | 11 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
1045.75/1046.17 c 983s| 4320k| 2204k| 0 | 0.0 |1025M| 50 | - | 70 | 11 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
1047.95/1048.34 c 985s| 4330k| 2211k| 0 | 0.0 |1027M| 50 | - | 70 | 10 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
1050.15/1050.56 c 987s| 4340k| 2218k| 0 | 0.0 |1029M| 50 | - | 70 | 9 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
1052.35/1052.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.35/1052.70 c 989s| 4350k| 2225k| 0 | 0.0 |1032M| 50 | - | 70 | 10 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
1054.34/1054.78 c 991s| 4360k| 2231k| 0 | 0.0 |1034M| 50 | - | 70 | 9 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
1056.44/1056.88 c 993s| 4370k| 2238k| 0 | 0.0 |1036M| 50 | - | 70 | 11 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
1058.64/1059.03 c 995s| 4380k| 2245k| 0 | 0.0 |1039M| 50 | - | 70 | 9 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
1060.74/1061.13 c 997s| 4390k| 2252k| 0 | 0.0 |1041M| 50 | - | 70 | 10 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
1062.84/1063.24 c 999s| 4400k| 2259k| 0 | 0.0 |1043M| 50 | - | 70 | 9 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
1064.84/1065.30 c 1001s| 4410k| 2266k| 0 | 0.0 |1046M| 50 | - | 70 | 8 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
1067.04/1067.40 c 1003s| 4420k| 2273k| 0 | 0.0 |1048M| 50 | - | 70 | 8 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
1069.23/1069.62 c 1005s| 4430k| 2280k| 0 | 0.0 |1050M| 50 | - | 70 | 11 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
1071.33/1071.77 c 1007s| 4440k| 2287k| 0 | 0.0 |1053M| 50 | - | 70 | 8 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
1073.53/1073.99 c 1009s| 4450k| 2293k| 0 | 0.0 |1055M| 50 | - | 70 | 13 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
1075.73/1076.18 c 1011s| 4460k| 2300k| 0 | 0.0 |1057M| 50 | - | 70 | 10 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
1077.93/1078.38 c 1013s| 4470k| 2307k| 0 | 0.0 |1060M| 50 | - | 70 | 9 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
1080.03/1080.49 c 1015s| 4480k| 2313k| 0 | 0.0 |1062M| 50 | - | 70 | 8 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
1082.23/1082.60 c 1017s| 4490k| 2320k| 0 | 0.0 |1064M| 50 | - | 70 | 8 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
1084.43/1084.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1084.43/1084.84 c 1019s| 4500k| 2327k| 0 | 0.0 |1067M| 50 | - | 70 | 9 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
1086.63/1087.06 c 1021s| 4510k| 2334k| 0 | 0.0 |1069M| 50 | - | 70 | 11 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1088.83/1089.23 c 1023s| 4520k| 2340k| 0 | 0.0 |1071M| 50 | - | 70 | 11 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1091.13/1091.53 c 1025s| 4530k| 2347k| 0 | 0.0 |1074M| 50 | - | 70 | 13 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
1093.32/1093.74 c 1028s| 4540k| 2354k| 0 | 0.0 |1076M| 50 | - | 70 | 11 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
1095.52/1095.94 c 1030s| 4550k| 2361k| 0 | 0.0 |1078M| 50 | - | 70 | 9 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
1097.63/1098.07 c 1032s| 4560k| 2367k| 0 | 0.0 |1081M| 50 | - | 70 | 8 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
1099.82/1100.20 c 1034s| 4570k| 2374k| 0 | 0.0 |1083M| 50 | - | 70 | 12 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
1101.93/1102.38 c 1036s| 4580k| 2381k| 0 | 0.0 |1085M| 50 | - | 70 | 11 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
1104.12/1104.58 c 1038s| 4590k| 2387k| 0 | 0.0 |1088M| 50 | - | 70 | 10 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
1106.32/1106.77 c 1040s| 4600k| 2394k| 0 | 0.0 |1090M| 50 | - | 70 | 11 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
1108.52/1108.93 c 1042s| 4610k| 2401k| 0 | 0.0 |1093M| 50 | - | 70 | 10 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
1110.62/1111.01 c 1044s| 4620k| 2408k| 0 | 0.0 |1095M| 50 | - | 70 | 9 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
1112.83/1113.24 c 1046s| 4630k| 2415k| 0 | 0.0 |1097M| 50 | - | 70 | 14 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1115.03/1115.43 c 1048s| 4640k| 2421k| 0 | 0.0 |1100M| 50 | - | 70 | 9 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1117.22/1117.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1117.22/1117.64 c 1050s| 4650k| 2428k| 0 | 0.0 |1102M| 50 | - | 70 | 9 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
1119.52/1119.94 c 1052s| 4660k| 2435k| 0 | 0.0 |1104M| 50 | - | 70 | 9 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
1121.72/1122.15 c 1054s| 4670k| 2441k| 0 | 0.0 |1106M| 50 | - | 70 | 9 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
1123.92/1124.36 c 1056s| 4680k| 2448k| 0 | 0.0 |1109M| 50 | - | 70 | 9 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
1126.12/1126.59 c 1058s| 4690k| 2454k| 0 | 0.0 |1111M| 50 | - | 70 | 13 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
1128.41/1128.86 c 1060s| 4700k| 2461k| 0 | 0.0 |1113M| 50 | - | 70 | 12 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
1130.52/1130.99 c 1062s| 4710k| 2468k| 0 | 0.0 |1116M| 50 | - | 70 | 8 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
1132.81/1133.22 c 1064s| 4720k| 2474k| 0 | 0.0 |1118M| 50 | - | 70 | 11 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
1135.02/1135.40 c 1066s| 4730k| 2481k| 0 | 0.0 |1121M| 50 | - | 70 | 11 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | -- | Inf
1137.22/1137.66 c 1069s| 4740k| 2487k| 0 | 0.0 |1123M| 50 | - | 70 | 8 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | -- | Inf
1139.51/1139.90 c 1071s| 4750k| 2494k| 0 | 0.0 |1125M| 50 | - | 70 | 10 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
1141.71/1142.14 c 1073s| 4760k| 2501k| 0 | 0.0 |1128M| 50 | - | 70 | 9 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
1144.01/1144.46 c 1075s| 4770k| 2507k| 0 | 0.0 |1130M| 50 | - | 70 | 10 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
1146.11/1146.59 c 1077s| 4780k| 2514k| 0 | 0.0 |1132M| 50 | - | 70 | 10 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
1148.41/1148.85 c 1079s| 4790k| 2520k| 0 | 0.0 |1135M| 50 | - | 70 | 10 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
1150.51/1150.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1150.51/1150.98 c 1081s| 4800k| 2527k| 0 | 0.0 |1137M| 50 | - | 70 | 10 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
1152.71/1153.17 c 1083s| 4810k| 2534k| 0 | 0.0 |1139M| 50 | - | 70 | 11 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
1154.90/1155.30 c 1085s| 4820k| 2540k| 0 | 0.0 |1142M| 50 | - | 70 | 11 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
1157.10/1157.50 c 1087s| 4830k| 2547k| 0 | 0.0 |1144M| 50 | - | 70 | 10 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
1159.30/1159.78 c 1089s| 4840k| 2554k| 0 | 0.0 |1146M| 50 | - | 70 | 10 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
1161.51/1161.99 c 1091s| 4850k| 2560k| 0 | 0.0 |1149M| 50 | - | 70 | 11 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
1163.80/1164.23 c 1093s| 4860k| 2567k| 0 | 0.0 |1151M| 50 | - | 70 | 9 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
1165.90/1166.37 c 1095s| 4870k| 2574k| 0 | 0.0 |1153M| 50 | - | 70 | 10 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
1168.20/1168.62 c 1098s| 4880k| 2580k| 0 | 0.0 |1156M| 50 | - | 70 | 9 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | -- | Inf
1170.30/1170.75 c 1100s| 4890k| 2587k| 0 | 0.0 |1158M| 50 | - | 70 | 9 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | -- | Inf
1172.50/1172.96 c 1102s| 4900k| 2594k| 0 | 0.0 |1161M| 50 | - | 70 | 8 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | -- | Inf
1174.70/1175.17 c 1104s| 4910k| 2600k| 0 | 0.0 |1163M| 50 | - | 70 | 10 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | -- | Inf
1176.90/1177.40 c 1106s| 4920k| 2607k| 0 | 0.0 |1165M| 50 | - | 70 | 10 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
1179.20/1179.68 c 1108s| 4930k| 2613k| 0 | 0.0 |1168M| 50 | - | 70 | 10 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
1181.60/1182.01 c 1110s| 4940k| 2620k| 0 | 0.0 |1170M| 50 | - | 70 | 10 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
1183.79/1184.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1183.79/1184.24 c 1112s| 4950k| 2626k| 0 | 0.0 |1172M| 50 | - | 70 | 15 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | -- | Inf
1186.00/1186.44 c 1114s| 4960k| 2633k| 0 | 0.0 |1175M| 50 | - | 70 | 11 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | -- | Inf
1188.20/1188.67 c 1116s| 4970k| 2639k| 0 | 0.0 |1177M| 50 | - | 70 | 8 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
1190.39/1190.88 c 1118s| 4980k| 2646k| 0 | 0.0 |1179M| 50 | - | 70 | 9 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
1192.59/1193.04 c 1120s| 4990k| 2653k| 0 | 0.0 |1182M| 50 | - | 70 | 8 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
1194.79/1195.21 c 1122s| 5000k| 2659k| 0 | 0.0 |1184M| 50 | - | 70 | 8 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | -- | Inf
1196.99/1197.47 c 1125s| 5010k| 2666k| 0 | 0.0 |1186M| 50 | - | 70 | 8 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | -- | Inf
1199.29/1199.72 c 1127s| 5020k| 2672k| 0 | 0.0 |1189M| 50 | - | 70 | 9 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1201.59/1202.07 c 1129s| 5030k| 2678k| 0 | 0.0 |1191M| 50 | - | 70 | 11 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1203.89/1204.35 c 1131s| 5040k| 2685k| 0 | 0.0 |1193M| 50 | - | 70 | 13 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
1206.08/1206.59 c 1133s| 5050k| 2691k| 0 | 0.0 |1196M| 50 | - | 70 | 10 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
1208.39/1208.82 c 1135s| 5060k| 2698k| 0 | 0.0 |1198M| 50 | - | 70 | 12 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
1210.69/1211.15 c 1137s| 5070k| 2704k| 0 | 0.0 |1200M| 50 | - | 70 | 15 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | -- | Inf
1212.89/1213.37 c 1139s| 5080k| 2711k| 0 | 0.0 |1202M| 50 | - | 70 | 13 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
1215.09/1215.57 c 1141s| 5090k| 2717k| 0 | 0.0 |1205M| 50 | - | 70 | 10 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
1217.38/1217.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1217.38/1217.82 c 1144s| 5100k| 2724k| 0 | 0.0 |1207M| 50 | - | 70 | 9 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | -- | Inf
1219.59/1220.07 c 1146s| 5110k| 2730k| 0 | 0.0 |1209M| 50 | - | 70 | 10 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
1221.88/1222.37 c 1148s| 5120k| 2736k| 0 | 0.0 |1212M| 50 | - | 70 | 13 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
1224.08/1224.55 c 1150s| 5130k| 2743k| 0 | 0.0 |1214M| 50 | - | 70 | 9 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | -- | Inf
1226.39/1226.84 c 1152s| 5140k| 2749k| 0 | 0.0 |1216M| 50 | - | 70 | 10 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | -- | Inf
1228.68/1229.10 c 1154s| 5150k| 2756k| 0 | 0.0 |1219M| 50 | - | 70 | 10 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
1230.88/1231.38 c 1156s| 5160k| 2762k| 0 | 0.0 |1221M| 50 | - | 70 | 13 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
1233.18/1233.67 c 1158s| 5170k| 2769k| 0 | 0.0 |1224M| 50 | - | 70 | 9 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
1235.48/1235.90 c 1161s| 5180k| 2775k| 0 | 0.0 |1226M| 50 | - | 70 | 12 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
1237.78/1238.20 c 1163s| 5190k| 2782k| 0 | 0.0 |1228M| 50 | - | 70 | 13 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | -- | Inf
1240.08/1240.50 c 1165s| 5200k| 2788k| 0 | 0.0 |1231M| 50 | - | 70 | 10 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | -- | Inf
1242.27/1242.75 c 1167s| 5210k| 2795k| 0 | 0.0 |1233M| 50 | - | 70 | 10 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
1244.57/1245.04 c 1169s| 5220k| 2801k| 0 | 0.0 |1235M| 50 | - | 70 | 9 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
1246.77/1247.28 c 1171s| 5230k| 2808k| 0 | 0.0 |1237M| 50 | - | 70 | 8 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
1248.97/1249.43 c 1173s| 5240k| 2814k| 0 | 0.0 |1240M| 50 | - | 70 | 11 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
1251.28/1251.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1251.28/1251.73 c 1175s| 5250k| 2821k| 0 | 0.0 |1242M| 50 | - | 70 | 9 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
1253.58/1254.04 c 1178s| 5260k| 2827k| 0 | 0.0 |1244M| 50 | - | 70 | 9 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | -- | Inf
1255.78/1256.29 c 1180s| 5270k| 2834k| 0 | 0.0 |1247M| 50 | - | 70 | 8 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | -- | Inf
1258.07/1258.58 c 1182s| 5280k| 2840k| 0 | 0.0 |1249M| 50 | - | 70 | 11 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
1260.37/1260.89 c 1184s| 5290k| 2846k| 0 | 0.0 |1252M| 50 | - | 70 | 15 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
1262.67/1263.19 c 1186s| 5300k| 2853k| 0 | 0.0 |1254M| 50 | - | 70 | 10 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
1264.96/1265.45 c 1188s| 5310k| 2859k| 0 | 0.0 |1256M| 50 | - | 70 | 8 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | -- | Inf
1267.17/1267.68 c 1190s| 5320k| 2865k| 0 | 0.0 |1258M| 50 | - | 70 | 8 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | -- | Inf
1269.57/1270.01 c 1192s| 5330k| 2872k| 0 | 0.0 |1261M| 50 | - | 70 | 9 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
1271.77/1272.27 c 1195s| 5340k| 2878k| 0 | 0.0 |1263M| 50 | - | 70 | 10 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1274.16/1274.63 c 1197s| 5350k| 2884k| 0 | 0.0 |1266M| 50 | - | 70 | 10 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1276.46/1276.95 c 1199s| 5360k| 2891k| 0 | 0.0 |1268M| 50 | - | 70 | 10 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
1278.77/1279.20 c 1201s| 5370k| 2897k| 0 | 0.0 |1270M| 50 | - | 70 | 11 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
1281.07/1281.53 c 1203s| 5380k| 2903k| 0 | 0.0 |1273M| 50 | - | 70 | 9 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
1283.27/1283.75 c 1205s| 5390k| 2910k| 0 | 0.0 |1275M| 50 | - | 70 | 8 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
1285.57/1286.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1285.57/1286.01 c 1208s| 5400k| 2916k| 0 | 0.0 |1277M| 50 | - | 70 | 9 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
1287.86/1288.32 c 1210s| 5410k| 2923k| 0 | 0.0 |1279M| 50 | - | 70 | 10 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | -- | Inf
1290.06/1290.54 c 1212s| 5420k| 2929k| 0 | 0.0 |1282M| 50 | - | 70 | 9 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | -- | Inf
1292.26/1292.78 c 1214s| 5430k| 2936k| 0 | 0.0 |1284M| 50 | - | 70 | 10 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | -- | Inf
1294.56/1295.00 c 1216s| 5440k| 2942k| 0 | 0.0 |1287M| 50 | - | 70 | 10 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
1296.76/1297.26 c 1218s| 5450k| 2948k| 0 | 0.0 |1289M| 50 | - | 70 | 10 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
1298.96/1299.46 c 1220s| 5460k| 2955k| 0 | 0.0 |1291M| 50 | - | 70 | 9 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | -- | Inf
1301.15/1301.69 c 1222s| 5470k| 2961k| 0 | 0.0 |1293M| 50 | - | 70 | 9 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | -- | Inf
1303.56/1304.05 c 1224s| 5480k| 2967k| 0 | 0.0 |1296M| 50 | - | 70 | 14 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | -- | Inf
1305.86/1306.38 c 1227s| 5490k| 2973k| 0 | 0.0 |1298M| 50 | - | 70 | 13 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
1308.15/1308.63 c 1229s| 5500k| 2980k| 0 | 0.0 |1301M| 50 | - | 70 | 9 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
1310.45/1310.99 c 1231s| 5510k| 2986k| 0 | 0.0 |1303M| 50 | - | 70 | 11 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
1312.86/1313.31 c 1233s| 5520k| 2992k| 0 | 0.0 |1305M| 50 | - | 70 | 12 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | -- | Inf
1315.06/1315.59 c 1235s| 5530k| 2999k| 0 | 0.0 |1307M| 50 | - | 70 | 12 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
1317.36/1317.87 c 1237s| 5540k| 3005k| 0 | 0.0 |1310M| 50 | - | 70 | 10 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
1319.65/1320.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1319.65/1320.17 c 1240s| 5550k| 3011k| 0 | 0.0 |1312M| 50 | - | 70 | 10 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | -- | Inf
1322.05/1322.51 c 1242s| 5560k| 3018k| 0 | 0.0 |1314M| 50 | - | 70 | 12 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
1324.35/1324.86 c 1244s| 5570k| 3024k| 0 | 0.0 |1317M| 50 | - | 70 | 11 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
1326.65/1327.10 c 1246s| 5580k| 3030k| 0 | 0.0 |1319M| 50 | - | 70 | 15 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | -- | Inf
1328.95/1329.40 c 1248s| 5590k| 3036k| 0 | 0.0 |1321M| 50 | - | 70 | 10 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | -- | Inf
1331.25/1331.78 c 1250s| 5600k| 3043k| 0 | 0.0 |1324M| 50 | - | 70 | 13 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | -- | Inf
1333.55/1334.06 c 1253s| 5610k| 3049k| 0 | 0.0 |1326M| 50 | - | 70 | 12 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | -- | Inf
1335.84/1336.38 c 1255s| 5620k| 3055k| 0 | 0.0 |1328M| 50 | - | 70 | 9 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | -- | Inf
1338.25/1338.74 c 1257s| 5630k| 3062k| 0 | 0.0 |1331M| 50 | - | 70 | 12 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | -- | Inf
1340.54/1341.04 c 1259s| 5640k| 3068k| 0 | 0.0 |1333M| 50 | - | 70 | 14 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | -- | Inf
1342.94/1343.46 c 1261s| 5650k| 3074k| 0 | 0.0 |1335M| 50 | - | 70 | 9 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | -- | Inf
1345.24/1345.77 c 1264s| 5660k| 3081k| 0 | 0.0 |1338M| 50 | - | 70 | 13 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | -- | Inf
1347.55/1348.09 c 1266s| 5670k| 3087k| 0 | 0.0 |1340M| 50 | - | 70 | 9 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | -- | Inf
1349.74/1350.28 c 1268s| 5680k| 3093k| 0 | 0.0 |1342M| 50 | - | 70 | 14 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | -- | Inf
1352.14/1352.61 c 1270s| 5690k| 3100k| 0 | 0.0 |1345M| 50 | - | 70 | 11 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | -- | Inf
1354.54/1355.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1354.54/1355.02 c 1272s| 5700k| 3106k| 0 | 0.0 |1347M| 50 | - | 70 | 15 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | -- | Inf
1356.95/1357.45 c 1274s| 5710k| 3112k| 0 | 0.0 |1349M| 50 | - | 70 | 10 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | -- | Inf
1359.34/1359.81 c 1277s| 5720k| 3118k| 0 | 0.0 |1352M| 50 | - | 70 | 13 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | -- | Inf
1361.73/1362.26 c 1279s| 5730k| 3124k| 0 | 0.0 |1354M| 50 | - | 70 | 11 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | -- | Inf
1364.04/1364.52 c 1281s| 5740k| 3131k| 0 | 0.0 |1356M| 50 | - | 70 | 8 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | -- | Inf
1366.03/1366.53 c (node 5748615) switching to memory saving mode (mem: 1296.0M/1620.0M)
1367.33/1367.81 c 1284s| 5750k| 3136k| 0 | 0.0 |1358M| 62 | - | 70 | 11 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | -- | Inf
1370.63/1371.12 c 1287s| 5760k| 3134k| 0 | 0.0 |1356M| 63 | - | 70 | 11 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | -- | Inf
1373.84/1374.36 c 1290s| 5770k| 3132k| 0 | 0.0 |1355M| 63 | - | 70 | 11 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | -- | Inf
1377.14/1377.68 c 1293s| 5780k| 3131k| 0 | 0.0 |1353M| 63 | - | 70 | 11 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | -- | Inf
1380.53/1381.06 c 1297s| 5790k| 3129k| 0 | 0.0 |1351M| 63 | - | 70 | 11 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | -- | Inf
1383.93/1384.40 c 1300s| 5800k| 3127k| 0 | 0.0 |1349M| 63 | - | 70 | 11 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | -- | Inf
1387.13/1387.66 c 1303s| 5810k| 3126k| 0 | 0.0 |1348M| 63 | - | 70 | 11 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | -- | Inf
1390.42/1390.95 c 1306s| 5820k| 3124k| 0 | 0.0 |1347M| 63 | - | 70 | 11 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | -- | Inf
1393.63/1394.16 c 1309s| 5830k| 3123k| 0 | 0.0 |1346M| 63 | - | 70 | 11 | 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | -- | Inf
1396.93/1397.43 c 1312s| 5840k| 3121k| 0 | 0.0 |1345M| 63 | - | 70 | 11 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | -- | Inf
1400.12/1400.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1400.12/1400.68 c 1315s| 5850k| 3120k| 0 | 0.0 |1344M| 63 | - | 70 | 11 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | -- | Inf
1403.42/1403.97 c 1318s| 5860k| 3118k| 0 | 0.0 |1342M| 63 | - | 70 | 11 | 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | -- | Inf
1406.72/1407.28 c 1321s| 5870k| 3117k| 0 | 0.0 |1341M| 63 | - | 70 | 11 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | -- | Inf
1410.12/1410.60 c 1324s| 5880k| 3115k| 0 | 0.0 |1339M| 63 | - | 70 | 11 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | -- | Inf
1413.52/1414.08 c 1328s| 5890k| 3113k| 0 | 0.0 |1338M| 63 | - | 70 | 11 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | -- | Inf
1417.02/1417.50 c 1331s| 5900k| 3112k| 0 | 0.0 |1336M| 64 | - | 70 | 11 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | -- | Inf
1420.42/1420.95 c 1334s| 5910k| 3110k| 0 | 0.0 |1334M| 64 | - | 70 | 11 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | -- | Inf
1423.72/1424.21 c 1337s| 5920k| 3108k| 0 | 0.0 |1332M| 64 | - | 70 | 11 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | -- | Inf
1427.01/1427.55 c 1340s| 5930k| 3107k| 0 | 0.0 |1331M| 64 | - | 70 | 11 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | -- | Inf
1430.32/1430.82 c 1343s| 5940k| 3106k| 0 | 0.0 |1330M| 64 | - | 70 | 10 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | -- | Inf
1433.62/1434.10 c 1347s| 5950k| 3104k| 0 | 0.0 |1330M| 64 | - | 70 | 10 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | -- | Inf
1436.81/1437.38 c 1350s| 5960k| 3103k| 0 | 0.0 |1329M| 64 | - | 70 | 10 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | -- | Inf
1440.21/1440.77 c 1353s| 5970k| 3102k| 0 | 0.0 |1328M| 64 | - | 70 | 10 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | -- | Inf
1443.61/1444.11 c 1356s| 5980k| 3101k| 0 | 0.0 |1327M| 64 | - | 70 | 10 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | -- | Inf
1446.81/1447.37 c 1359s| 5990k| 3099k| 0 | 0.0 |1326M| 64 | - | 70 | 10 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | -- | Inf
1450.11/1450.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1450.11/1450.66 c 1362s| 6000k| 3098k| 0 | 0.0 |1325M| 64 | - | 70 | 10 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | -- | Inf
1453.41/1453.94 c 1365s| 6010k| 3097k| 0 | 0.0 |1324M| 64 | - | 70 | 10 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | -- | Inf
1456.61/1457.15 c 1368s| 6020k| 3096k| 0 | 0.0 |1323M| 64 | - | 70 | 10 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | -- | Inf
1459.90/1460.48 c 1371s| 6030k| 3095k| 0 | 0.0 |1323M| 64 | - | 70 | 10 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | -- | Inf
1463.20/1463.77 c 1374s| 6040k| 3094k| 0 | 0.0 |1322M| 64 | - | 70 | 10 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | -- | Inf
1466.50/1467.03 c 1377s| 6050k| 3092k| 0 | 0.0 |1321M| 64 | - | 70 | 9 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | -- | Inf
1469.80/1470.31 c 1380s| 6060k| 3091k| 0 | 0.0 |1320M| 64 | - | 70 | 9 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | -- | Inf
1473.10/1473.60 c 1384s| 6070k| 3090k| 0 | 0.0 |1319M| 64 | - | 70 | 9 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | -- | Inf
1476.30/1476.87 c 1387s| 6080k| 3089k| 0 | 0.0 |1318M| 64 | - | 70 | 9 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | -- | Inf
1479.60/1480.14 c 1390s| 6090k| 3088k| 0 | 0.0 |1317M| 64 | - | 70 | 9 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | -- | Inf
1482.90/1483.45 c 1393s| 6100k| 3087k| 0 | 0.0 |1316M| 64 | - | 70 | 9 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | -- | Inf
1486.19/1486.74 c 1396s| 6110k| 3086k| 0 | 0.0 |1315M| 64 | - | 70 | 9 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | -- | Inf
1489.49/1490.00 c 1399s| 6120k| 3085k| 0 | 0.0 |1315M| 64 | - | 70 | 9 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | -- | Inf
1492.69/1493.29 c 1402s| 6130k| 3083k| 0 | 0.0 |1314M| 64 | - | 70 | 9 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | -- | Inf
1496.09/1496.65 c 1405s| 6140k| 3082k| 0 | 0.0 |1312M| 64 | - | 70 | 9 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | -- | Inf
1499.40/1499.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1499.40/1499.97 c 1408s| 6150k| 3081k| 0 | 0.0 |1311M| 64 | - | 70 | 9 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | -- | Inf
1502.79/1503.37 c 1412s| 6160k| 3079k| 0 | 0.0 |1310M| 64 | - | 70 | 9 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | -- | Inf
1506.19/1506.76 c 1415s| 6170k| 3078k| 0 | 0.0 |1309M| 64 | - | 70 | 9 | 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | -- | Inf
1509.59/1510.14 c 1418s| 6180k| 3076k| 0 | 0.0 |1308M| 64 | - | 70 | 9 | 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | -- | Inf
1512.99/1513.53 c 1421s| 6190k| 3075k| 0 | 0.0 |1307M| 64 | - | 70 | 9 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | -- | Inf
1516.39/1516.92 c 1424s| 6200k| 3074k| 0 | 0.0 |1305M| 64 | - | 70 | 9 | 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | -- | Inf
1519.79/1520.30 c 1427s| 6210k| 3072k| 0 | 0.0 |1304M| 64 | - | 70 | 9 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | -- | Inf
1523.08/1523.65 c 1430s| 6220k| 3071k| 0 | 0.0 |1303M| 64 | - | 70 | 9 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | -- | Inf
1526.48/1527.03 c 1434s| 6230k| 3069k| 0 | 0.0 |1302M| 64 | - | 70 | 9 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | -- | Inf
1529.78/1530.31 c 1437s| 6240k| 3068k| 0 | 0.0 |1301M| 64 | - | 70 | 9 | 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | -- | Inf
1532.98/1533.59 c 1440s| 6250k| 3066k| 0 | 0.0 |1299M| 64 | - | 70 | 9 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | -- | Inf
1536.08/1536.67 c 1443s| 6260k| 3066k| 0 | 0.0 |1299M| 64 | - | 70 | 9 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | -- | Inf
1539.18/1539.79 c 1446s| 6270k| 3065k| 0 | 0.0 |1298M| 64 | - | 70 | 9 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | -- | Inf
1542.48/1543.05 c 1449s| 6280k| 3064k| 0 | 0.0 |1297M| 64 | - | 70 | 9 | 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | -- | Inf
1545.87/1546.45 c 1452s| 6290k| 3062k| 0 | 0.0 |1295M| 64 | - | 70 | 9 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | -- | Inf
1549.17/1549.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1549.17/1549.79 c 1455s| 6300k| 3061k| 0 | 0.0 |1294M| 64 | - | 70 | 9 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | -- | Inf
1552.47/1553.08 c 1458s| 6310k| 3060k| 0 | 0.0 |1293M| 64 | - | 70 | 9 | 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | -- | Inf
1555.77/1556.34 c 1461s| 6320k| 3059k| 0 | 0.0 |1293M| 64 | - | 70 | 8 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | -- | Inf
1558.87/1559.44 c 1464s| 6330k| 3058k| 0 | 0.0 |1292M| 65 | - | 70 | 8 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | -- | Inf
1561.97/1562.53 c 1467s| 6340k| 3058k| 0 | 0.0 |1292M| 66 | - | 70 | 8 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | -- | Inf
1565.06/1565.63 c 1470s| 6350k| 3057k| 0 | 0.0 |1292M| 66 | - | 70 | 8 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | -- | Inf
1568.27/1568.84 c 1473s| 6360k| 3056k| 0 | 0.0 |1291M| 66 | - | 70 | 8 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | -- | Inf
1571.46/1572.01 c 1476s| 6370k| 3055k| 0 | 0.0 |1291M| 66 | - | 70 | 8 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | -- | Inf
1574.67/1575.23 c 1479s| 6380k| 3055k| 0 | 0.0 |1290M| 66 | - | 70 | 8 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | -- | Inf
1577.87/1578.46 c 1482s| 6390k| 3054k| 0 | 0.0 |1290M| 66 | - | 70 | 8 | 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | -- | Inf
1581.07/1581.69 c 1485s| 6400k| 3053k| 0 | 0.0 |1289M| 66 | - | 70 | 8 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | -- | Inf
1584.36/1584.91 c 1488s| 6410k| 3052k| 0 | 0.0 |1289M| 66 | - | 70 | 8 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | -- | Inf
1587.56/1588.16 c 1491s| 6420k| 3051k| 0 | 0.0 |1288M| 66 | - | 70 | 8 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | -- | Inf
1590.96/1591.52 c 1494s| 6430k| 3050k| 0 | 0.0 |1288M| 66 | - | 70 | 8 | 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | -- | Inf
1594.16/1594.78 c 1497s| 6440k| 3050k| 0 | 0.0 |1287M| 66 | - | 70 | 8 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | -- | Inf
1597.46/1598.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1597.46/1598.02 c 1500s| 6450k| 3049k| 0 | 0.0 |1287M| 66 | - | 70 | 8 | 0 | 0 | 0 | 622k| 0 | 0.000000e+00 | -- | Inf
1600.65/1601.27 c 1503s| 6460k| 3048k| 0 | 0.0 |1286M| 66 | - | 70 | 8 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | -- | Inf
1603.86/1604.40 c 1506s| 6470k| 3047k| 0 | 0.0 |1286M| 66 | - | 70 | 8 | 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | -- | Inf
1606.85/1607.48 c 1509s| 6480k| 3047k| 0 | 0.0 |1285M| 66 | - | 70 | 8 | 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | -- | Inf
1609.95/1610.58 c 1512s| 6490k| 3046k| 0 | 0.0 |1285M| 66 | - | 70 | 8 | 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | -- | Inf
1613.06/1613.67 c 1515s| 6500k| 3045k| 0 | 0.0 |1284M| 66 | - | 70 | 8 | 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | -- | Inf
1616.36/1616.91 c 1518s| 6510k| 3045k| 0 | 0.0 |1284M| 66 | - | 70 | 8 | 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | -- | Inf
1619.45/1620.09 c 1521s| 6520k| 3044k| 0 | 0.0 |1283M| 66 | - | 70 | 8 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | -- | Inf
1622.75/1623.38 c 1524s| 6530k| 3043k| 0 | 0.0 |1283M| 66 | - | 70 | 8 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | -- | Inf
1625.95/1626.57 c 1527s| 6540k| 3042k| 0 | 0.0 |1282M| 66 | - | 70 | 8 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | -- | Inf
1629.05/1629.64 c 1530s| 6550k| 3042k| 0 | 0.0 |1282M| 66 | - | 70 | 8 | 0 | 0 | 0 | 653k| 0 | 0.000000e+00 | -- | Inf
1632.25/1632.88 c 1533s| 6560k| 3041k| 0 | 0.0 |1282M| 66 | - | 70 | 8 | 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | -- | Inf
1635.44/1636.09 c 1536s| 6570k| 3040k| 0 | 0.0 |1281M| 66 | - | 70 | 8 | 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | -- | Inf
1638.64/1639.23 c 1539s| 6580k| 3040k| 0 | 0.0 |1281M| 66 | - | 70 | 8 | 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | -- | Inf
1641.85/1642.43 c 1542s| 6590k| 3039k| 0 | 0.0 |1280M| 66 | - | 70 | 8 | 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | -- | Inf
1645.14/1645.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1645.14/1645.71 c 1545s| 6600k| 3038k| 0 | 0.0 |1280M| 66 | - | 70 | 8 | 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | -- | Inf
1648.45/1649.01 c 1548s| 6610k| 3037k| 0 | 0.0 |1279M| 66 | - | 70 | 8 | 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | -- | Inf
1651.55/1652.15 c 1551s| 6620k| 3037k| 0 | 0.0 |1279M| 66 | - | 70 | 8 | 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | -- | Inf
1654.54/1655.19 c 1554s| 6630k| 3036k| 0 | 0.0 |1278M| 66 | - | 70 | 8 | 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | -- | Inf
1657.74/1658.35 c 1557s| 6640k| 3035k| 0 | 0.0 |1278M| 66 | - | 70 | 8 | 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | -- | Inf
1660.83/1661.43 c 1559s| 6650k| 3035k| 0 | 0.0 |1278M| 66 | - | 70 | 8 | 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | -- | Inf
1664.03/1664.69 c 1563s| 6660k| 3034k| 0 | 0.0 |1277M| 66 | - | 70 | 8 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | -- | Inf
1667.34/1667.90 c 1565s| 6670k| 3033k| 0 | 0.0 |1277M| 66 | - | 70 | 8 | 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | -- | Inf
1670.34/1671.00 c 1568s| 6680k| 3033k| 0 | 0.0 |1276M| 66 | - | 70 | 8 | 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | -- | Inf
1673.54/1674.19 c 1571s| 6690k| 3032k| 0 | 0.0 |1276M| 66 | - | 70 | 8 | 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | -- | Inf
1676.73/1677.40 c 1574s| 6700k| 3031k| 0 | 0.0 |1275M| 66 | - | 70 | 8 | 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | -- | Inf
1679.93/1680.57 c 1577s| 6710k| 3031k| 0 | 0.0 |1275M| 66 | - | 70 | 8 | 0 | 0 | 0 | 703k| 0 | 0.000000e+00 | -- | Inf
1683.13/1683.74 c 1580s| 6720k| 3030k| 0 | 0.0 |1274M| 66 | - | 70 | 8 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | -- | Inf
1686.23/1686.88 c 1583s| 6730k| 3029k| 0 | 0.0 |1274M| 66 | - | 70 | 8 | 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | -- | Inf
1689.43/1690.02 c 1586s| 6740k| 3029k| 0 | 0.0 |1273M| 66 | - | 70 | 8 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | -- | Inf
1692.62/1693.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1692.62/1693.21 c 1589s| 6750k| 3028k| 0 | 0.0 |1273M| 66 | - | 70 | 8 | 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | -- | Inf
1695.83/1696.40 c 1592s| 6760k| 3027k| 0 | 0.0 |1272M| 66 | - | 70 | 8 | 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | -- | Inf
1699.02/1699.61 c 1595s| 6770k| 3026k| 0 | 0.0 |1272M| 66 | - | 70 | 8 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | -- | Inf
1702.23/1702.88 c 1598s| 6780k| 3025k| 0 | 0.0 |1271M| 66 | - | 70 | 8 | 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | -- | Inf
1705.62/1706.21 c 1601s| 6790k| 3024k| 0 | 0.0 |1270M| 66 | - | 70 | 8 | 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | -- | Inf
1708.62/1709.28 c 1604s| 6800k| 3024k| 0 | 0.0 |1270M| 66 | - | 70 | 8 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | -- | Inf
1711.92/1712.51 c 1607s| 6810k| 3023k| 0 | 0.0 |1269M| 66 | - | 70 | 8 | 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | -- | Inf
1715.12/1715.76 c 1610s| 6820k| 3022k| 0 | 0.0 |1269M| 66 | - | 70 | 8 | 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | -- | Inf
1718.42/1719.00 c 1613s| 6830k| 3021k| 0 | 0.0 |1268M| 66 | - | 70 | 8 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | -- | Inf
1721.61/1722.22 c 1616s| 6840k| 3020k| 0 | 0.0 |1268M| 66 | - | 70 | 8 | 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | -- | Inf
1724.82/1725.48 c 1620s| 6850k| 3020k| 0 | 0.0 |1267M| 66 | - | 70 | 8 | 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | -- | Inf
1727.92/1728.56 c 1622s| 6860k| 3019k| 0 | 0.0 |1267M| 66 | - | 70 | 8 | 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | -- | Inf
1731.12/1731.72 c 1625s| 6870k| 3018k| 0 | 0.0 |1266M| 66 | - | 70 | 8 | 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | -- | Inf
1734.31/1734.94 c 1628s| 6880k| 3017k| 0 | 0.0 |1266M| 66 | - | 70 | 8 | 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | -- | Inf
1737.51/1738.17 c 1631s| 6890k| 3016k| 0 | 0.0 |1265M| 66 | - | 70 | 8 | 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | -- | Inf
1740.72/1741.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1740.72/1741.37 c 1634s| 6900k| 3016k| 0 | 0.0 |1265M| 66 | - | 70 | 8 | 0 | 0 | 0 | 763k| 0 | 0.000000e+00 | -- | Inf
1743.91/1744.53 c 1637s| 6910k| 3015k| 0 | 0.0 |1264M| 66 | - | 70 | 8 | 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | -- | Inf
1747.22/1747.88 c 1641s| 6920k| 3014k| 0 | 0.0 |1263M| 66 | - | 70 | 8 | 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | -- | Inf
1750.31/1751.00 c 1643s| 6930k| 3013k| 0 | 0.0 |1263M| 66 | - | 70 | 8 | 0 | 0 | 0 | 772k| 0 | 0.000000e+00 | -- | Inf
1753.51/1754.20 c 1646s| 6940k| 3012k| 0 | 0.0 |1262M| 66 | - | 70 | 8 | 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | -- | Inf
1756.81/1757.42 c 1650s| 6950k| 3011k| 0 | 0.0 |1261M| 66 | - | 70 | 8 | 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | -- | Inf
1759.91/1760.55 c 1652s| 6960k| 3010k| 0 | 0.0 |1261M| 66 | - | 70 | 8 | 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | -- | Inf
1763.20/1763.86 c 1656s| 6970k| 3009k| 0 | 0.0 |1260M| 66 | - | 70 | 8 | 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | -- | Inf
1766.51/1767.18 c 1659s| 6980k| 3008k| 0 | 0.0 |1259M| 66 | - | 70 | 8 | 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | -- | Inf
1769.91/1770.56 c 1662s| 6990k| 3007k| 0 | 0.0 |1258M| 66 | - | 70 | 8 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | -- | Inf
1773.20/1773.87 c 1665s| 7000k| 3006k| 0 | 0.0 |1258M| 66 | - | 70 | 8 | 0 | 0 | 0 | 794k| 0 | 0.000000e+00 | -- | Inf
1776.40/1777.04 c 1668s| 7010k| 3005k| 0 | 0.0 |1257M| 66 | - | 70 | 8 | 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | -- | Inf
1779.59/1780.27 c 1671s| 7020k| 3004k| 0 | 0.0 |1256M| 66 | - | 70 | 8 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | -- | Inf
1783.00/1783.61 c 1674s| 7030k| 3003k| 0 | 0.0 |1256M| 66 | - | 70 | 8 | 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | -- | Inf
1786.10/1786.78 c 1677s| 7040k| 3002k| 0 | 0.0 |1255M| 66 | - | 70 | 8 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | -- | Inf
1789.40/1790.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1789.40/1790.00 c 1680s| 7050k| 3001k| 0 | 0.0 |1254M| 66 | - | 70 | 8 | 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | -- | Inf
1792.59/1793.23 c 1683s| 7060k| 3000k| 0 | 0.0 |1253M| 66 | - | 70 | 8 | 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | -- | Inf
1795.89/1796.57 c 1686s| 7070k| 2999k| 0 | 0.0 |1253M| 66 | - | 70 | 8 | 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | -- | Inf
1799.19/1799.83 c 1689s| 7080k| 2998k| 0 | 0.0 |1252M| 66 | - | 70 | 8 | 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | -- | Inf
1800.01/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.61 c
1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time (sec) : 1690.00
1800.01/1800.61 c Solving Nodes : 7082381
1800.01/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.61 c Dual Bound : +0.00000000000000e+00
1800.01/1800.61 c Gap : infinite
1800.01/1800.61 s UNKNOWN
1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time : 1690.00
1800.01/1800.61 c Original Problem :
1800.01/1800.61 c Problem name : HOME/instance-2664010-1276599857.opb
1800.01/1800.61 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.61 c Constraints : 17 initial, 17 maximal
1800.01/1800.61 c Presolved Problem :
1800.01/1800.61 c Problem name : t_HOME/instance-2664010-1276599857.opb
1800.01/1800.61 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.61 c Constraints : 8 initial, 119 maximal
1800.01/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.01/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c probing : 0.02 0 0 0 0 0 0 0 0
1800.01/1800.61 c linear : 0.00 0 0 0 0 0 9 0 0
1800.01/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c root node : - 0 - - 0 - - - -
1800.01/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.61 c linear : 8 0 11371437 0 5125160 2127156 30857211 0 0 0
1800.01/1800.61 c logicor : 0+ 0 1262854 0 0 0 708219 0 0 0
1800.01/1800.61 c countsols : 0 0 0 0 5125160 0 0 0 0 0
1800.01/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.61 c linear : 1245.90 0.00 1242.39 0.00 3.51
1800.01/1800.61 c logicor : 4.90 0.00 4.90 0.00 0.00
1800.01/1800.61 c countsols : 1.95 0.00 0.00 0.00 1.95
1800.01/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.61 c vbounds : 5.48 2 0 0
1800.01/1800.61 c rootredcost : 5.07 0 0 0
1800.01/1800.61 c pseudoobj : 4.67 0 0 0
1800.01/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.61 c propagation : 458.26 2127156 819284 2756754 48.0 1 60.0 -
1800.01/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.61 c applied globally : - - - 5883 29.7 - - -
1800.01/1800.61 c applied locally : - - - 813407 39.4 - - -
1800.01/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.61 c redcost : 0.00 0 0 0 0 0
1800.01/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.61 c intobj : 0.00 0 0 0 0 0
1800.01/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.61 c gomory : 0.00 0 0 0 0 0
1800.01/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.61 c cmir : 0.00 0 0 0 0 0
1800.01/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.61 c clique : 0.00 0 0 0 0 0
1800.01/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.61 c mcf : 0.00 0 0 0 0 0
1800.01/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.61 c Pricers : Time Calls Vars
1800.01/1800.61 c problem variables: 0.00 0 0
1800.01/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.61 c inference : 44.82 5125160 0 0 0 0 10250320
1800.01/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.61 c random : 0.00 0 0 0 0 0 0
1800.01/1800.61 c Primal Heuristics : Time Calls Found
1800.01/1800.61 c LP solutions : 0.00 - 0
1800.01/1800.61 c pseudo solutions : 0.00 - 0
1800.01/1800.61 c oneopt : 3.56 0 0
1800.01/1800.61 c trivial : 0.00 2 0
1800.01/1800.61 c simplerounding : 0.00 0 0
1800.01/1800.61 c zirounding : 0.00 0 0
1800.01/1800.61 c rounding : 0.00 0 0
1800.01/1800.61 c shifting : 0.00 0 0
1800.01/1800.61 c intshifting : 0.00 0 0
1800.01/1800.61 c twoopt : 0.00 0 0
1800.01/1800.61 c fixandinfer : 0.00 0 0
1800.01/1800.61 c feaspump : 0.00 0 0
1800.01/1800.61 c coefdiving : 0.00 0 0
1800.01/1800.61 c pscostdiving : 0.00 0 0
1800.01/1800.61 c fracdiving : 0.00 0 0
1800.01/1800.61 c veclendiving : 0.00 0 0
1800.01/1800.61 c intdiving : 0.00 0 0
1800.01/1800.61 c actconsdiving : 0.00 0 0
1800.01/1800.61 c objpscostdiving : 0.00 0 0
1800.01/1800.61 c rootsoldiving : 0.00 0 0
1800.01/1800.61 c linesearchdiving : 0.00 0 0
1800.01/1800.61 c guideddiving : 0.00 0 0
1800.01/1800.61 c octane : 0.00 0 0
1800.01/1800.61 c rens : 0.00 0 0
1800.01/1800.61 c rins : 0.00 0 0
1800.01/1800.61 c localbranching : 0.00 0 0
1800.01/1800.61 c mutation : 0.00 0 0
1800.01/1800.61 c crossover : 0.00 0 0
1800.01/1800.61 c dins : 0.00 0 0
1800.01/1800.61 c undercover : 0.00 0 0
1800.01/1800.61 c nlp : 3.86 0 0
1800.01/1800.61 c trysol : 3.15 0 0
1800.01/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.61 c (at root node) : - 0 0 0.00 -
1800.01/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.61 c B&B Tree :
1800.01/1800.61 c number of runs : 1
1800.01/1800.61 c nodes : 7082381
1800.01/1800.61 c nodes (total) : 7082381
1800.01/1800.61 c nodes left : 2997992
1800.01/1800.61 c max depth : 66
1800.01/1800.61 c max depth (total): 66
1800.01/1800.61 c backtracks : 608702 (8.6%)
1800.01/1800.61 c delayed cutoffs : 169948
1800.01/1800.61 c repropagations : 1933881 (1836229 domain reductions, 169935 cutoffs)
1800.01/1800.61 c avg switch length: 6.31
1800.01/1800.61 c switching time : 197.44
1800.01/1800.61 c Solution :
1800.01/1800.61 c Solutions found : 0 (0 improvements)
1800.01/1800.61 c Primal Bound : -
1800.01/1800.61 c Dual Bound : +0.00000000000000e+00
1800.01/1800.61 c Gap : infinite
1800.01/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.01/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-2664010-1276599857/watcher-2664010-1276599857 -o /tmp/evaluation-result-2664010-1276599857/solver-2664010-1276599857 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664010-1276599857.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: 1.05 1.04 1.00 3/106 6051
/proc/meminfo: memFree=1814184/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=7612 CPUtime=0
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 1192 0 0 0 0 0 0 0 20 0 1 0 35587260 7794688 1115 1992294400 4194304 7136930 140733607896832 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6051/statm: 1903 1124 254 719 0 1182 0
[startup+0.0758321 s]
/proc/loadavg: 1.05 1.04 1.00 3/106 6051
/proc/meminfo: memFree=1814184/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=11148 CPUtime=0.07
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 2998 0 0 0 6 1 0 0 20 0 1 0 35587260 11415552 2054 1992294400 4194304 7136930 140733607896832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 2787 2054 387 719 0 2066 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11148
[startup+0.100836 s]
/proc/loadavg: 1.05 1.04 1.00 3/106 6051
/proc/meminfo: memFree=1814184/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=11148 CPUtime=0.09
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 3010 0 0 0 8 1 0 0 20 0 1 0 35587260 11415552 2066 1992294400 4194304 7136930 140733607896832 18446744073709551615 5918837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 2787 2066 387 719 0 2066 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11148
[startup+0.300872 s]
/proc/loadavg: 1.05 1.04 1.00 3/106 6051
/proc/meminfo: memFree=1814184/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=11600 CPUtime=0.29
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 3114 0 0 0 27 2 0 0 20 0 1 0 35587260 11878400 2170 1992294400 4194304 7136930 140733607896832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 2900 2170 387 719 0 2179 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11600
[startup+0.700943 s]
/proc/loadavg: 1.05 1.04 1.00 3/106 6051
/proc/meminfo: memFree=1814184/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=12580 CPUtime=0.69
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 3356 0 0 0 64 5 0 0 20 0 1 0 35587260 12881920 2412 1992294400 4194304 7136930 140733607896832 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 3145 2412 387 719 0 2424 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12580
[startup+1.50109 s]
/proc/loadavg: 1.04 1.04 1.00 2/107 6052
/proc/meminfo: memFree=1805124/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=13888 CPUtime=1.49
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 3722 0 0 0 139 10 0 0 23 0 1 0 35587260 14221312 2778 1992294400 4194304 7136930 140733607896832 18446744073709551615 4947385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 3472 2778 387 719 0 2751 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13888
[startup+3.10137 s]
/proc/loadavg: 1.04 1.04 1.00 2/107 6052
/proc/meminfo: memFree=1803760/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=15624 CPUtime=3.09
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 4158 0 0 0 288 21 0 0 25 0 1 0 35587260 15998976 3214 1992294400 4194304 7136930 140733607896832 18446744073709551615 4978081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 3906 3214 387 719 0 3185 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15624
[startup+6.30094 s]
/proc/loadavg: 1.04 1.04 1.00 2/107 6052
/proc/meminfo: memFree=1799048/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=20084 CPUtime=6.29
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 5334 0 0 0 587 42 0 0 25 0 1 0 35587260 20566016 4390 1992294400 4194304 7136930 140733607896832 18446744073709551615 5905979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 5021 4390 387 719 0 4300 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20084
[startup+12.7011 s]
/proc/loadavg: 1.04 1.04 1.00 2/107 6052
/proc/meminfo: memFree=1789252/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=28472 CPUtime=12.68
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 7463 0 0 0 1184 84 0 0 25 0 1 0 35587260 29155328 6519 1992294400 4194304 7136930 140733607896832 18446744073709551615 4652809 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 7118 6519 387 719 0 6397 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28472
[startup+25.5004 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 6052
/proc/meminfo: memFree=1772760/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=46332 CPUtime=25.48
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 11541 0 0 0 2383 165 0 0 25 0 1 0 35587260 47443968 10597 1992294400 4194304 7136930 140733607896832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 11583 10597 387 719 0 10862 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46332
[startup+51.101 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 6054
/proc/meminfo: memFree=1739032/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=79992 CPUtime=51.08
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 20297 0 0 0 4766 342 0 0 25 0 1 0 35587260 81911808 19353 1992294400 4194304 7136930 140733607896832 18446744073709551615 4978243 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 19998 19353 387 719 0 19277 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 79992
[startup+102.308 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 6054
/proc/meminfo: memFree=1677156/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=142388 CPUtime=102.27
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 35325 0 0 0 9559 668 0 0 25 0 1 0 35587260 145805312 34381 1992294400 4194304 7136930 140733607896832 18446744073709551615 4240461 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 35597 34381 387 719 0 34876 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 142388
[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 6056
/proc/meminfo: memFree=1614412/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=204212 CPUtime=162.23
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 51202 0 0 0 15179 1044 0 0 25 0 1 0 35587260 209113088 50258 1992294400 4194304 7136930 140733607896832 18446744073709551615 4704769 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 51053 50258 387 719 0 50332 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 204212
[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 6058
/proc/meminfo: memFree=1540508/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=281676 CPUtime=222.22
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 69341 0 0 0 20765 1457 0 0 25 0 1 0 35587260 288436224 68397 1992294400 4194304 7136930 140733607896832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 70419 68397 387 719 0 69698 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 281676
[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 6060
/proc/meminfo: memFree=1466728/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=352504 CPUtime=282.19
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 87771 0 0 0 26367 1852 0 0 25 0 1 0 35587260 360964096 86827 1992294400 4194304 7136930 140733607896832 18446744073709551615 4976533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 88126 86827 387 719 0 87405 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 352504
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6062
/proc/meminfo: memFree=1397784/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=419468 CPUtime=342.17
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 105145 0 0 0 31982 2235 0 0 25 0 1 0 35587260 429535232 104201 1992294400 4194304 7136930 140733607896832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 104867 104201 387 719 0 104146 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 419468
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6062
/proc/meminfo: memFree=1334296/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=497132 CPUtime=402.15
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 121030 0 0 0 37600 2615 0 0 25 0 1 0 35587260 509063168 120086 1992294400 4194304 7136930 140733607896832 18446744073709551615 4978095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 124283 120086 387 719 0 123562 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 497132
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6064
/proc/meminfo: memFree=1267956/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=559824 CPUtime=462.13
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 137266 0 0 0 43224 2989 0 0 25 0 1 0 35587260 573259776 136322 1992294400 4194304 7136930 140733607896832 18446744073709551615 4648313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 139956 136322 387 719 0 139235 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 559824
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6066
/proc/meminfo: memFree=1208684/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=617832 CPUtime=522.12
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 152282 0 0 0 48866 3346 0 0 25 0 1 0 35587260 632659968 151338 1992294400 4194304 7136930 140733607896832 18446744073709551615 4704988 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 154458 151338 387 719 0 153737 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 617832
[startup+582.301 s]
/proc/loadavg: 1.08 1.02 1.01 3/108 6071
/proc/meminfo: memFree=1117040/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=671624 CPUtime=582.1
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 166148 0 0 0 54516 3694 0 0 25 0 1 0 35587260 687742976 165204 1992294400 4194304 7136930 140733607896832 18446744073709551615 4979353 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 167906 165204 387 719 0 167185 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 671624
[startup+642.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 6073
/proc/meminfo: memFree=1092124/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=729184 CPUtime=642.08
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 180905 0 0 0 60183 4025 0 0 25 0 1 0 35587260 746684416 179961 1992294400 4194304 7136930 140733607896832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 182296 179961 387 719 0 181575 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 729184
[startup+702.301 s]
################
# More data... #
################
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 273343 0 0 0 99809 6385 0 0 25 0 1 0 35587260 1147641856 272399 1992294400 4194304 7136930 140733607896832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 280186 272399 387 719 0 279465 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 1120744
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6085
/proc/meminfo: memFree=653660/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=1185660 CPUtime=1121.92
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 290224 0 0 0 105420 6772 0 0 25 0 1 0 35587260 1214115840 289280 1992294400 4194304 7136930 140733607896832 18446744073709551615 5918632 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 296415 289280 387 719 0 295694 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 1185660
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6087
/proc/meminfo: memFree=585832/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=1252488 CPUtime=1181.9
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 307649 0 0 0 111030 7160 0 0 25 0 1 0 35587260 1282547712 306705 1992294400 4194304 7136930 140733607896832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 313122 306705 387 719 0 312401 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1252488
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6089
/proc/meminfo: memFree=523460/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=1309704 CPUtime=1241.88
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 322648 0 0 0 116650 7538 0 0 25 0 1 0 35587260 1341136896 321704 1992294400 4194304 7136930 140733607896832 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 327426 321704 387 719 0 326705 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1309704
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6089
/proc/meminfo: memFree=463320/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=1366920 CPUtime=1301.86
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 337630 0 0 0 122275 7911 0 0 25 0 1 0 35587260 1399726080 336686 1992294400 4194304 7136930 140733607896832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 341730 336686 387 719 0 341009 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1366920
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6091
/proc/meminfo: memFree=396856/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=1431388 CPUtime=1361.84
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 354288 0 0 0 127907 8277 0 0 25 0 1 0 35587260 1465741312 353344 1992294400 4194304 7136930 140733607896832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 357847 353344 387 719 0 357126 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1431388
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6093
/proc/meminfo: memFree=391400/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=1435660 CPUtime=1421.83
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 367627 0 0 0 133544 8639 0 0 25 0 1 0 35587260 1470115840 354431 1992294400 4194304 7136930 140733607896832 18446744073709551615 5917877 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 358915 354431 387 719 0 358194 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1435660
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6095
/proc/meminfo: memFree=391400/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=1435660 CPUtime=1481.8
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 367627 0 0 0 139173 9007 0 0 25 0 1 0 35587260 1470115840 354431 1992294400 4194304 7136930 140733607896832 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 358915 354431 387 719 0 358194 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1435660
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6097
/proc/meminfo: memFree=391276/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=1435660 CPUtime=1541.77
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 367627 0 0 0 144792 9385 0 0 25 0 1 0 35587260 1470115840 354431 1992294400 4194304 7136930 140733607896832 18446744073709551615 4976417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 358915 354431 387 719 0 358194 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1435660
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6097
/proc/meminfo: memFree=391276/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=1435660 CPUtime=1601.75
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 367627 0 0 0 150401 9774 0 0 25 0 1 0 35587260 1470115840 354431 1992294400 4194304 7136930 140733607896832 18446744073709551615 4976412 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 358915 354431 387 719 0 358194 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1435660
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6099
/proc/meminfo: memFree=391276/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=1435660 CPUtime=1661.73
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 367627 0 0 0 156026 10147 0 0 25 0 1 0 35587260 1470115840 354431 1992294400 4194304 7136930 140733607896832 18446744073709551615 4983294 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 358915 354431 387 719 0 358194 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1435660
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6101
/proc/meminfo: memFree=391152/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=1435660 CPUtime=1721.72
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 367627 0 0 0 161653 10519 0 0 25 0 1 0 35587260 1470115840 354431 1992294400 4194304 7136930 140733607896832 18446744073709551615 4978973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 358915 354431 387 719 0 358194 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1435660
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6103
/proc/meminfo: memFree=390904/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=1435660 CPUtime=1781.7
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 367627 0 0 0 167282 10888 0 0 25 0 1 0 35587260 1470115840 354431 1992294400 4194304 7136930 140733607896832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 358915 354431 387 719 0 358194 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1435660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6103
/proc/meminfo: memFree=390904/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=1435660 CPUtime=1800.01
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 367627 0 0 0 169000 11001 0 0 25 0 1 0 35587260 1470115840 354431 1992294400 4194304 7136930 140733607896832 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6051/statm: 358915 354431 387 719 0 358194 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1435660
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -6051
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6103
/proc/meminfo: memFree=390904/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=1435660 CPUtime=1800.79
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 367633 0 0 0 169078 11001 0 0 25 0 1 0 35587260 1470115840 354437 1992294400 4194304 7136930 140733607896832 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6051/statm: 358915 354437 393 719 0 358194 0
Current children cumulated CPU time (s) 1800.79
Current children cumulated vsize (KiB) 1435660
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 6104
/proc/meminfo: memFree=390772/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=1435660 CPUtime=1801.59
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 367633 0 0 0 169158 11001 0 0 25 0 1 0 35587260 1470115840 354437 1992294400 4194304 7136930 140733607896832 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6051/statm: 358915 354437 393 719 0 358194 0
Current children cumulated CPU time (s) 1801.59
Current children cumulated vsize (KiB) 1435660
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 6104
/proc/meminfo: memFree=390772/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=1435660 CPUtime=1801.99
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4202496 367633 0 0 0 169198 11001 0 0 25 0 1 0 35587260 1470115840 354437 1992294400 4194304 7136930 140733607896832 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6051/statm: 358915 354437 393 719 0 358194 0
Current children cumulated CPU time (s) 1801.99
Current children cumulated vsize (KiB) 1435660
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 6104
/proc/meminfo: memFree=390772/2059040 swapFree=4136752/4192956
[pid=6051] ppid=6049 vsize=0 CPUtime=1802.09
/proc/6051/stat : 6051 (pbscip.linux.x8) R 6049 6051 5841 0 -1 4203524 367633 0 0 0 169200 11009 0 0 25 0 1 0 35587260 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6051/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.75
CPU time (s): 1802.15
CPU user time (s): 1692.01
CPU system time (s): 110.142
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 1500044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1692.01
system time used= 110.142
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367633
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 21996
runsolver used 3.21651 second user time and 8.32273 second system time
The end