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-2664021-1276618004.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.01
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c lp/solvefreq = -1
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 2 | 0 | - | 319k| 0 | - | 70 | 8 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.89/1.94 c 1.8s| 10000 | 6458 | 0 | 0.0 |2794k| 39 | - | 70 | 37 | 0 | 0 | 0 | 225 | 0 | 0.000000e+00 | -- | Inf
3.59/3.69 c 3.4s| 20000 | 13983 | 0 | 0.0 |5265k| 39 | - | 70 | 36 | 0 | 0 | 0 | 386 | 0 | 0.000000e+00 | -- | Inf
5.50/5.54 c 5.2s| 30000 | 20963 | 0 | 0.0 |7714k| 41 | - | 70 | 43 | 0 | 0 | 0 | 606 | 0 | 0.000000e+00 | -- | Inf
7.49/7.52 c 7.0s| 40000 | 27025 | 0 | 0.0 | 10M| 41 | - | 70 | 38 | 0 | 0 | 0 |1001 | 0 | 0.000000e+00 | -- | Inf
9.59/9.60 c 8.9s| 50000 | 32517 | 0 | 0.0 | 12M| 41 | - | 70 | 47 | 0 | 0 | 0 |1471 | 0 | 0.000000e+00 | -- | Inf
11.78/11.80 c 11.0s| 60000 | 37342 | 0 | 0.0 | 14M| 41 | - | 70 | 41 | 0 | 0 | 0 |1971 | 0 | 0.000000e+00 | -- | Inf
14.09/14.13 c 13.2s| 70000 | 41309 | 0 | 0.0 | 16M| 41 | - | 70 | 37 | 0 | 0 | 0 |2453 | 0 | 0.000000e+00 | -- | Inf
16.59/16.62 c 15.6s| 80000 | 44139 | 0 | 0.0 | 18M| 41 | - | 70 | 17 | 0 | 0 | 0 |3006 | 0 | 0.000000e+00 | -- | Inf
18.79/18.82 c 17.7s| 90000 | 48397 | 0 | 0.0 | 20M| 41 | - | 70 | 11 | 0 | 0 | 0 |3509 | 0 | 0.000000e+00 | -- | Inf
20.49/20.56 c 19.3s|100000 | 55711 | 0 | 0.0 | 22M| 41 | - | 70 | 11 | 0 | 0 | 0 |3757 | 0 | 0.000000e+00 | -- | Inf
22.28/22.34 c 20.9s|110000 | 62825 | 0 | 0.0 | 25M| 41 | - | 70 | 14 | 0 | 0 | 0 |4062 | 0 | 0.000000e+00 | -- | Inf
24.09/24.11 c 22.6s|120000 | 69884 | 0 | 0.0 | 27M| 41 | - | 70 | 10 | 0 | 0 | 0 |4317 | 0 | 0.000000e+00 | -- | Inf
25.89/25.91 c 24.3s|130000 | 76792 | 0 | 0.0 | 29M| 43 | - | 70 | 11 | 0 | 0 | 0 |4579 | 0 | 0.000000e+00 | -- | Inf
27.68/27.76 c 26.0s|140000 | 83634 | 0 | 0.0 | 32M| 43 | - | 70 | 13 | 0 | 0 | 0 |4965 | 0 | 0.000000e+00 | -- | Inf
29.59/29.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.59/29.65 c 27.8s|150000 | 90341 | 0 | 0.0 | 34M| 43 | - | 70 | 12 | 0 | 0 | 0 |5377 | 0 | 0.000000e+00 | -- | Inf
31.48/31.53 c 29.5s|160000 | 96927 | 0 | 0.0 | 37M| 43 | - | 70 | 12 | 0 | 0 | 0 |5757 | 0 | 0.000000e+00 | -- | Inf
33.38/33.45 c 31.3s|170000 |103487 | 0 | 0.0 | 39M| 43 | - | 70 | 15 | 0 | 0 | 0 |6167 | 0 | 0.000000e+00 | -- | Inf
35.28/35.35 c 33.1s|180000 |109931 | 0 | 0.0 | 41M| 43 | - | 70 | 11 | 0 | 0 | 0 |6582 | 0 | 0.000000e+00 | -- | Inf
37.17/37.30 c 34.9s|190000 |116246 | 0 | 0.0 | 44M| 43 | - | 70 | 15 | 0 | 0 | 0 |6983 | 0 | 0.000000e+00 | -- | Inf
39.18/39.25 c 36.7s|200000 |122484 | 0 | 0.0 | 46M| 43 | - | 70 | 10 | 0 | 0 | 0 |7382 | 0 | 0.000000e+00 | -- | Inf
41.18/41.21 c 38.6s|210000 |128677 | 0 | 0.0 | 48M| 43 | - | 70 | 12 | 0 | 0 | 0 |7818 | 0 | 0.000000e+00 | -- | Inf
43.08/43.19 c 40.4s|220000 |134712 | 0 | 0.0 | 50M| 43 | - | 70 | 16 | 0 | 0 | 0 |8270 | 0 | 0.000000e+00 | -- | Inf
45.08/45.17 c 42.2s|230000 |140721 | 0 | 0.0 | 53M| 43 | - | 70 | 14 | 0 | 0 | 0 |8691 | 0 | 0.000000e+00 | -- | Inf
47.08/47.17 c 44.1s|240000 |146595 | 0 | 0.0 | 55M| 43 | - | 70 | 11 | 0 | 0 | 0 |9103 | 0 | 0.000000e+00 | -- | Inf
49.08/49.16 c 46.0s|250000 |152512 | 0 | 0.0 | 57M| 43 | - | 70 | 10 | 0 | 0 | 0 |9486 | 0 | 0.000000e+00 | -- | Inf
51.07/51.19 c 47.9s|260000 |158308 | 0 | 0.0 | 60M| 43 | - | 70 | 12 | 0 | 0 | 0 |9996 | 0 | 0.000000e+00 | -- | Inf
53.18/53.23 c 49.8s|270000 |164006 | 0 | 0.0 | 62M| 43 | - | 70 | 11 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
55.17/55.26 c 51.7s|280000 |169693 | 0 | 0.0 | 64M| 43 | - | 70 | 11 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
57.27/57.34 c 53.6s|290000 |175176 | 0 | 0.0 | 67M| 43 | - | 70 | 13 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
59.28/59.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.28/59.40 c 55.6s|300000 |180662 | 0 | 0.0 | 69M| 43 | - | 70 | 14 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
61.37/61.48 c 57.5s|310000 |186092 | 0 | 0.0 | 71M| 43 | - | 70 | 17 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
63.47/63.58 c 59.5s|320000 |191414 | 0 | 0.0 | 73M| 43 | - | 70 | 16 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
65.57/65.69 c 61.5s|330000 |196625 | 0 | 0.0 | 75M| 43 | - | 70 | 14 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
67.77/67.81 c 63.5s|340000 |201783 | 0 | 0.0 | 78M| 43 | - | 70 | 13 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
69.87/69.92 c 65.5s|350000 |206887 | 0 | 0.0 | 80M| 43 | - | 70 | 13 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
71.97/72.09 c 67.5s|360000 |211805 | 0 | 0.0 | 82M| 43 | - | 70 | 15 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
74.17/74.26 c 69.5s|370000 |216668 | 0 | 0.0 | 84M| 43 | - | 70 | 11 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
76.37/76.44 c 71.5s|380000 |221593 | 0 | 0.0 | 87M| 43 | - | 70 | 12 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
78.56/78.64 c 73.6s|390000 |226301 | 0 | 0.0 | 89M| 43 | - | 70 | 16 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
80.77/80.88 c 75.7s|400000 |230866 | 0 | 0.0 | 91M| 44 | - | 70 | 15 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
83.07/83.11 c 77.8s|410000 |235419 | 0 | 0.0 | 93M| 44 | - | 70 | 15 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
85.27/85.33 c 79.9s|420000 |240014 | 0 | 0.0 | 95M| 44 | - | 70 | 15 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
87.56/87.62 c 82.1s|430000 |244257 | 0 | 0.0 | 97M| 44 | - | 70 | 12 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
89.86/89.93 c 84.2s|440000 |248430 | 0 | 0.0 | 100M| 44 | - | 70 | 16 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
92.17/92.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.17/92.24 c 86.4s|450000 |252533 | 0 | 0.0 | 102M| 44 | - | 70 | 11 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
94.47/94.56 c 88.6s|460000 |256706 | 0 | 0.0 | 104M| 44 | - | 70 | 17 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
96.86/96.92 c 90.8s|470000 |260578 | 0 | 0.0 | 106M| 44 | - | 70 | 15 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
99.16/99.29 c 93.1s|480000 |264318 | 0 | 0.0 | 108M| 44 | - | 70 | 11 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
101.56/101.68 c 95.3s|490000 |268014 | 0 | 0.0 | 110M| 44 | - | 70 | 16 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
103.95/104.06 c 97.6s|500000 |271764 | 0 | 0.0 | 112M| 44 | - | 70 | 12 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
106.46/106.51 c 99.9s|510000 |275178 | 0 | 0.0 | 115M| 44 | - | 70 | 13 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
108.87/108.96 c 102s|520000 |278440 | 0 | 0.0 | 117M| 44 | - | 70 | 13 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
111.36/111.41 c 105s|530000 |281696 | 0 | 0.0 | 119M| 44 | - | 70 | 15 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
113.76/113.89 c 107s|540000 |284833 | 0 | 0.0 | 121M| 44 | - | 70 | 12 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
116.35/116.40 c 109s|550000 |287846 | 0 | 0.0 | 123M| 44 | - | 70 | 12 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
118.86/118.95 c 112s|560000 |290500 | 0 | 0.0 | 125M| 44 | - | 70 | 12 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
121.36/121.44 c 114s|570000 |293319 | 0 | 0.0 | 127M| 44 | - | 70 | 11 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
123.85/123.98 c 116s|580000 |295976 | 0 | 0.0 | 129M| 44 | - | 70 | 12 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
126.46/126.54 c 119s|590000 |298457 | 0 | 0.0 | 131M| 44 | - | 70 | 11 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
129.05/129.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.05/129.10 c 121s|600000 |300646 | 0 | 0.0 | 133M| 44 | - | 70 | 11 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
131.56/131.68 c 124s|610000 |302840 | 0 | 0.0 | 135M| 44 | - | 70 | 11 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
134.25/134.30 c 126s|620000 |304894 | 0 | 0.0 | 137M| 44 | - | 70 | 11 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
136.84/136.93 c 129s|630000 |306633 | 0 | 0.0 | 138M| 44 | - | 70 | 11 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
139.45/139.52 c 131s|640000 |308319 | 0 | 0.0 | 140M| 44 | - | 70 | 11 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
142.05/142.13 c 134s|650000 |309648 | 0 | 0.0 | 142M| 44 | - | 70 | 11 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
144.25/144.39 c 136s|660000 |313142 | 0 | 0.0 | 144M| 44 | - | 70 | 11 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
146.04/146.11 c 137s|670000 |320679 | 0 | 0.0 | 146M| 44 | - | 70 | 11 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
147.74/147.83 c 139s|680000 |328022 | 0 | 0.0 | 148M| 44 | - | 70 | 11 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
149.46/149.56 c 141s|690000 |335320 | 0 | 0.0 | 151M| 44 | - | 70 | 11 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
151.15/151.29 c 142s|700000 |342584 | 0 | 0.0 | 153M| 44 | - | 70 | 11 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
152.94/153.04 c 144s|710000 |349758 | 0 | 0.0 | 155M| 44 | - | 70 | 12 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
154.64/154.79 c 145s|720000 |356891 | 0 | 0.0 | 157M| 44 | - | 70 | 11 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
156.44/156.59 c 147s|730000 |363912 | 0 | 0.0 | 160M| 44 | - | 70 | 12 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
158.25/158.37 c 149s|740000 |370984 | 0 | 0.0 | 162M| 44 | - | 70 | 12 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
160.04/160.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.04/160.19 c 150s|750000 |377991 | 0 | 0.0 | 164M| 44 | - | 70 | 11 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
161.95/162.01 c 152s|760000 |384911 | 0 | 0.0 | 167M| 44 | - | 70 | 11 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
163.75/163.83 c 154s|770000 |391856 | 0 | 0.0 | 169M| 44 | - | 70 | 11 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
165.54/165.66 c 155s|780000 |398846 | 0 | 0.0 | 171M| 44 | - | 70 | 12 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
167.44/167.50 c 157s|790000 |405713 | 0 | 0.0 | 174M| 44 | - | 70 | 12 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
169.24/169.35 c 159s|800000 |412592 | 0 | 0.0 | 176M| 44 | - | 70 | 12 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
171.14/171.20 c 161s|810000 |419391 | 0 | 0.0 | 178M| 44 | - | 70 | 13 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
172.94/173.06 c 162s|820000 |426184 | 0 | 0.0 | 181M| 44 | - | 70 | 11 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
174.85/174.91 c 164s|830000 |433019 | 0 | 0.0 | 183M| 44 | - | 70 | 11 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
176.63/176.78 c 166s|840000 |439724 | 0 | 0.0 | 185M| 44 | - | 70 | 12 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
178.54/178.65 c 168s|850000 |446454 | 0 | 0.0 | 188M| 44 | - | 70 | 11 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
180.43/180.52 c 169s|860000 |453205 | 0 | 0.0 | 190M| 44 | - | 70 | 12 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
182.34/182.42 c 171s|870000 |459881 | 0 | 0.0 | 192M| 44 | - | 70 | 12 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
184.24/184.30 c 173s|880000 |466546 | 0 | 0.0 | 195M| 44 | - | 70 | 12 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
186.03/186.17 c 175s|890000 |473202 | 0 | 0.0 | 197M| 44 | - | 70 | 13 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
187.94/188.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.94/188.07 c 176s|900000 |479814 | 0 | 0.0 | 199M| 44 | - | 70 | 13 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
189.83/189.97 c 178s|910000 |486411 | 0 | 0.0 | 202M| 44 | - | 70 | 12 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
191.73/191.85 c 180s|920000 |493032 | 0 | 0.0 | 204M| 44 | - | 70 | 11 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
193.63/193.74 c 182s|930000 |499631 | 0 | 0.0 | 206M| 44 | - | 70 | 12 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
195.53/195.63 c 183s|940000 |506251 | 0 | 0.0 | 208M| 44 | - | 70 | 12 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
197.43/197.55 c 185s|950000 |512765 | 0 | 0.0 | 211M| 44 | - | 70 | 12 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
199.33/199.46 c 187s|960000 |519297 | 0 | 0.0 | 213M| 44 | - | 70 | 11 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
201.24/201.33 c 189s|970000 |525801 | 0 | 0.0 | 215M| 44 | - | 70 | 11 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
203.13/203.23 c 191s|980000 |532280 | 0 | 0.0 | 218M| 44 | - | 70 | 11 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
205.03/205.12 c 192s|990000 |538777 | 0 | 0.0 | 220M| 44 | - | 70 | 12 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
206.93/207.04 c 194s| 1000k|545223 | 0 | 0.0 | 222M| 44 | - | 70 | 11 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
208.83/208.96 c 196s| 1010k|551626 | 0 | 0.0 | 224M| 44 | - | 70 | 11 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
210.73/210.87 c 198s| 1020k|558019 | 0 | 0.0 | 227M| 44 | - | 70 | 12 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
212.63/212.78 c 200s| 1030k|564461 | 0 | 0.0 | 229M| 44 | - | 70 | 11 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
214.53/214.68 c 201s| 1040k|570897 | 0 | 0.0 | 231M| 44 | - | 70 | 11 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
216.53/216.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.53/216.62 c 203s| 1050k|577255 | 0 | 0.0 | 234M| 44 | - | 70 | 12 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
218.42/218.55 c 205s| 1060k|583596 | 0 | 0.0 | 236M| 44 | - | 70 | 12 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
220.43/220.50 c 207s| 1070k|589932 | 0 | 0.0 | 238M| 44 | - | 70 | 11 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
222.32/222.49 c 209s| 1080k|596162 | 0 | 0.0 | 240M| 44 | - | 70 | 11 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
224.33/224.45 c 210s| 1090k|602422 | 0 | 0.0 | 243M| 44 | - | 70 | 11 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
226.22/226.39 c 212s| 1100k|608757 | 0 | 0.0 | 245M| 44 | - | 70 | 12 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
228.22/228.33 c 214s| 1110k|615053 | 0 | 0.0 | 247M| 44 | - | 70 | 11 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
230.12/230.28 c 216s| 1120k|621379 | 0 | 0.0 | 250M| 44 | - | 70 | 11 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
232.12/232.20 c 218s| 1130k|627695 | 0 | 0.0 | 252M| 44 | - | 70 | 11 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
234.02/234.16 c 219s| 1140k|633994 | 0 | 0.0 | 254M| 44 | - | 70 | 11 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
236.02/236.14 c 221s| 1150k|640300 | 0 | 0.0 | 257M| 44 | - | 70 | 12 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
238.02/238.11 c 223s| 1160k|646431 | 0 | 0.0 | 259M| 44 | - | 70 | 11 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
239.92/240.08 c 225s| 1170k|652547 | 0 | 0.0 | 261M| 44 | - | 70 | 11 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
241.93/242.06 c 227s| 1180k|658706 | 0 | 0.0 | 263M| 44 | - | 70 | 13 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
243.91/244.06 c 229s| 1190k|664810 | 0 | 0.0 | 266M| 44 | - | 70 | 13 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
245.92/246.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
245.92/246.04 c 231s| 1200k|670944 | 0 | 0.0 | 268M| 44 | - | 70 | 11 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
247.92/248.05 c 232s| 1210k|676977 | 0 | 0.0 | 270M| 44 | - | 70 | 12 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
249.92/250.03 c 234s| 1220k|683123 | 0 | 0.0 | 273M| 44 | - | 70 | 11 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
251.91/252.00 c 236s| 1230k|689248 | 0 | 0.0 | 275M| 44 | - | 70 | 12 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
253.92/254.00 c 238s| 1240k|695350 | 0 | 0.0 | 277M| 44 | - | 70 | 11 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
255.81/255.95 c 240s| 1250k|701468 | 0 | 0.0 | 279M| 44 | - | 70 | 11 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
257.81/257.92 c 242s| 1260k|707635 | 0 | 0.0 | 282M| 44 | - | 70 | 11 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
259.71/259.88 c 244s| 1270k|713738 | 0 | 0.0 | 284M| 44 | - | 70 | 12 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
261.72/261.89 c 245s| 1280k|719702 | 0 | 0.0 | 286M| 44 | - | 70 | 11 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
263.82/263.92 c 247s| 1290k|725611 | 0 | 0.0 | 288M| 44 | - | 70 | 11 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
265.81/265.95 c 249s| 1300k|731514 | 0 | 0.0 | 291M| 44 | - | 70 | 12 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
267.81/267.96 c 251s| 1310k|737426 | 0 | 0.0 | 293M| 44 | - | 70 | 13 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
269.81/269.96 c 253s| 1320k|743416 | 0 | 0.0 | 295M| 44 | - | 70 | 11 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
271.81/271.99 c 255s| 1330k|749347 | 0 | 0.0 | 297M| 44 | - | 70 | 12 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
273.90/274.02 c 257s| 1340k|755178 | 0 | 0.0 | 300M| 44 | - | 70 | 11 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
275.91/276.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.91/276.01 c 259s| 1350k|761103 | 0 | 0.0 | 302M| 44 | - | 70 | 11 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
277.91/278.04 c 261s| 1360k|767009 | 0 | 0.0 | 304M| 44 | - | 70 | 12 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
279.91/280.08 c 262s| 1370k|772926 | 0 | 0.0 | 306M| 44 | - | 70 | 11 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
282.01/282.11 c 264s| 1380k|778798 | 0 | 0.0 | 309M| 44 | - | 70 | 11 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
284.00/284.11 c 266s| 1390k|784806 | 0 | 0.0 | 311M| 44 | - | 70 | 11 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
286.01/286.12 c 268s| 1400k|790699 | 0 | 0.0 | 313M| 44 | - | 70 | 11 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
288.02/288.17 c 270s| 1410k|796554 | 0 | 0.0 | 316M| 44 | - | 70 | 11 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
290.01/290.18 c 272s| 1420k|802368 | 0 | 0.0 | 318M| 44 | - | 70 | 11 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
292.10/292.27 c 274s| 1430k|808019 | 0 | 0.0 | 320M| 44 | - | 70 | 11 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
294.20/294.34 c 276s| 1440k|813796 | 0 | 0.0 | 322M| 44 | - | 70 | 11 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
296.30/296.41 c 278s| 1450k|819468 | 0 | 0.0 | 324M| 44 | - | 70 | 12 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
298.30/298.45 c 280s| 1460k|825211 | 0 | 0.0 | 327M| 44 | - | 70 | 12 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
300.41/300.55 c 282s| 1470k|830877 | 0 | 0.0 | 329M| 44 | - | 70 | 12 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
302.50/302.61 c 284s| 1480k|836619 | 0 | 0.0 | 331M| 44 | - | 70 | 13 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
304.51/304.68 c 285s| 1490k|842350 | 0 | 0.0 | 334M| 44 | - | 70 | 11 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
306.60/306.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.60/306.74 c 287s| 1500k|848079 | 0 | 0.0 | 336M| 44 | - | 70 | 11 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
308.70/308.83 c 289s| 1510k|853742 | 0 | 0.0 | 338M| 44 | - | 70 | 14 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
310.80/310.90 c 291s| 1520k|859469 | 0 | 0.0 | 340M| 44 | - | 70 | 13 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
312.80/312.98 c 293s| 1530k|865167 | 0 | 0.0 | 343M| 44 | - | 70 | 12 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
314.90/315.05 c 295s| 1540k|870850 | 0 | 0.0 | 345M| 44 | - | 70 | 13 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
316.99/317.14 c 297s| 1550k|876534 | 0 | 0.0 | 347M| 44 | - | 70 | 13 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
319.10/319.24 c 299s| 1560k|882233 | 0 | 0.0 | 349M| 44 | - | 70 | 11 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
321.10/321.27 c 301s| 1570k|887961 | 0 | 0.0 | 352M| 44 | - | 70 | 12 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
323.20/323.34 c 303s| 1580k|893639 | 0 | 0.0 | 354M| 44 | - | 70 | 11 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
325.29/325.44 c 305s| 1590k|899096 | 0 | 0.0 | 356M| 44 | - | 70 | 13 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
327.40/327.57 c 307s| 1600k|904500 | 0 | 0.0 | 358M| 44 | - | 70 | 13 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
329.60/329.73 c 309s| 1610k|909933 | 0 | 0.0 | 361M| 44 | - | 70 | 12 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
331.69/331.85 c 311s| 1620k|915317 | 0 | 0.0 | 363M| 44 | - | 70 | 12 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
333.89/334.01 c 313s| 1630k|920755 | 0 | 0.0 | 365M| 44 | - | 70 | 15 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
335.98/336.17 c 315s| 1640k|926179 | 0 | 0.0 | 367M| 44 | - | 70 | 11 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
338.09/338.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
338.09/338.27 c 317s| 1650k|931693 | 0 | 0.0 | 370M| 44 | - | 70 | 11 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
340.29/340.42 c 319s| 1660k|937157 | 0 | 0.0 | 372M| 44 | - | 70 | 12 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
342.38/342.56 c 321s| 1670k|942563 | 0 | 0.0 | 374M| 44 | - | 70 | 11 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
344.59/344.70 c 323s| 1680k|948024 | 0 | 0.0 | 376M| 44 | - | 70 | 11 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
346.68/346.80 c 325s| 1690k|953475 | 0 | 0.0 | 379M| 44 | - | 70 | 14 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
348.79/348.94 c 327s| 1700k|958909 | 0 | 0.0 | 381M| 44 | - | 70 | 12 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
350.88/351.07 c 329s| 1710k|964370 | 0 | 0.0 | 383M| 44 | - | 70 | 12 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
353.08/353.20 c 331s| 1720k|969806 | 0 | 0.0 | 385M| 44 | - | 70 | 14 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
355.19/355.33 c 333s| 1730k|975281 | 0 | 0.0 | 387M| 44 | - | 70 | 11 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
357.29/357.46 c 335s| 1740k|980701 | 0 | 0.0 | 390M| 44 | - | 70 | 12 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
359.38/359.56 c 337s| 1750k|986092 | 0 | 0.0 | 392M| 44 | - | 70 | 12 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
361.48/361.68 c 339s| 1760k|991519 | 0 | 0.0 | 394M| 44 | - | 70 | 13 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
363.68/363.81 c 341s| 1770k|996880 | 0 | 0.0 | 396M| 44 | - | 70 | 12 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
365.88/366.02 c 343s| 1780k| 1001k| 0 | 0.0 | 399M| 44 | - | 70 | 11 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
367.98/368.19 c 345s| 1790k| 1007k| 0 | 0.0 | 401M| 44 | - | 70 | 11 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
370.18/370.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
370.18/370.36 c 347s| 1800k| 1012k| 0 | 0.0 | 403M| 44 | - | 70 | 11 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
372.38/372.53 c 349s| 1810k| 1017k| 0 | 0.0 | 405M| 44 | - | 70 | 11 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
374.58/374.72 c 351s| 1820k| 1022k| 0 | 0.0 | 407M| 44 | - | 70 | 14 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
376.78/376.94 c 353s| 1830k| 1027k| 0 | 0.0 | 410M| 44 | - | 70 | 11 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
378.97/379.13 c 356s| 1840k| 1033k| 0 | 0.0 | 412M| 44 | - | 70 | 12 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
381.17/381.32 c 358s| 1850k| 1038k| 0 | 0.0 | 414M| 44 | - | 70 | 12 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
383.27/383.46 c 360s| 1860k| 1043k| 0 | 0.0 | 416M| 44 | - | 70 | 12 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
385.47/385.62 c 362s| 1870k| 1048k| 0 | 0.0 | 419M| 44 | - | 70 | 15 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
387.68/387.80 c 364s| 1880k| 1053k| 0 | 0.0 | 421M| 44 | - | 70 | 12 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
389.77/389.98 c 366s| 1890k| 1058k| 0 | 0.0 | 423M| 44 | - | 70 | 17 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
391.97/392.16 c 368s| 1900k| 1064k| 0 | 0.0 | 425M| 44 | - | 70 | 11 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
394.07/394.29 c 370s| 1910k| 1069k| 0 | 0.0 | 427M| 44 | - | 70 | 11 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
396.27/396.45 c 372s| 1920k| 1074k| 0 | 0.0 | 430M| 44 | - | 70 | 11 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
398.47/398.64 c 374s| 1930k| 1079k| 0 | 0.0 | 432M| 44 | - | 70 | 11 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
400.67/400.82 c 376s| 1940k| 1084k| 0 | 0.0 | 434M| 44 | - | 70 | 12 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
402.77/402.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.77/402.99 c 378s| 1950k| 1090k| 0 | 0.0 | 436M| 44 | - | 70 | 13 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
404.97/405.18 c 380s| 1960k| 1095k| 0 | 0.0 | 438M| 44 | - | 70 | 11 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
407.27/407.41 c 382s| 1970k| 1100k| 0 | 0.0 | 441M| 44 | - | 70 | 11 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
409.47/409.61 c 384s| 1980k| 1105k| 0 | 0.0 | 443M| 44 | - | 70 | 11 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
411.67/411.86 c 386s| 1990k| 1110k| 0 | 0.0 | 445M| 44 | - | 70 | 11 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
413.97/414.13 c 388s| 2000k| 1115k| 0 | 0.0 | 447M| 44 | - | 70 | 12 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
416.17/416.35 c 390s| 2010k| 1120k| 0 | 0.0 | 449M| 44 | - | 70 | 11 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
418.36/418.59 c 393s| 2020k| 1124k| 0 | 0.0 | 452M| 44 | - | 70 | 12 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
420.67/420.87 c 395s| 2030k| 1129k| 0 | 0.0 | 454M| 44 | - | 70 | 16 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
422.96/423.15 c 397s| 2040k| 1134k| 0 | 0.0 | 456M| 44 | - | 70 | 12 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
425.16/425.35 c 399s| 2050k| 1139k| 0 | 0.0 | 458M| 44 | - | 70 | 12 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
427.46/427.61 c 401s| 2060k| 1144k| 0 | 0.0 | 461M| 44 | - | 70 | 11 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
429.66/429.83 c 403s| 2070k| 1149k| 0 | 0.0 | 463M| 44 | - | 70 | 12 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
431.86/432.05 c 405s| 2080k| 1154k| 0 | 0.0 | 465M| 44 | - | 70 | 11 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
434.06/434.27 c 407s| 2090k| 1159k| 0 | 0.0 | 467M| 44 | - | 70 | 12 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
436.36/436.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
436.36/436.53 c 409s| 2100k| 1163k| 0 | 0.0 | 469M| 44 | - | 70 | 14 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
438.56/438.77 c 412s| 2110k| 1168k| 0 | 0.0 | 472M| 44 | - | 70 | 13 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
440.76/440.98 c 414s| 2120k| 1173k| 0 | 0.0 | 474M| 44 | - | 70 | 14 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
443.07/443.23 c 416s| 2130k| 1178k| 0 | 0.0 | 476M| 44 | - | 70 | 14 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
445.26/445.48 c 418s| 2140k| 1183k| 0 | 0.0 | 478M| 44 | - | 70 | 11 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
447.46/447.66 c 420s| 2150k| 1188k| 0 | 0.0 | 480M| 44 | - | 70 | 12 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
449.76/449.93 c 422s| 2160k| 1193k| 0 | 0.0 | 482M| 44 | - | 70 | 11 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
451.96/452.16 c 424s| 2170k| 1198k| 0 | 0.0 | 485M| 44 | - | 70 | 11 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
454.16/454.40 c 426s| 2180k| 1203k| 0 | 0.0 | 487M| 44 | - | 70 | 12 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
456.45/456.63 c 428s| 2190k| 1207k| 0 | 0.0 | 489M| 44 | - | 70 | 13 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
458.65/458.89 c 431s| 2200k| 1212k| 0 | 0.0 | 491M| 44 | - | 70 | 13 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
460.95/461.18 c 433s| 2210k| 1217k| 0 | 0.0 | 494M| 44 | - | 70 | 15 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
463.35/463.50 c 435s| 2220k| 1222k| 0 | 0.0 | 496M| 44 | - | 70 | 11 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
465.65/465.86 c 437s| 2230k| 1226k| 0 | 0.0 | 498M| 44 | - | 70 | 15 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
467.95/468.15 c 439s| 2240k| 1231k| 0 | 0.0 | 500M| 44 | - | 70 | 14 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
470.25/470.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
470.25/470.49 c 441s| 2250k| 1235k| 0 | 0.0 | 502M| 44 | - | 70 | 16 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
472.54/472.79 c 444s| 2260k| 1240k| 0 | 0.0 | 505M| 44 | - | 70 | 11 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
474.95/475.13 c 446s| 2270k| 1244k| 0 | 0.0 | 507M| 44 | - | 70 | 12 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
477.25/477.45 c 448s| 2280k| 1249k| 0 | 0.0 | 509M| 44 | - | 70 | 13 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
479.65/479.83 c 450s| 2290k| 1253k| 0 | 0.0 | 511M| 44 | - | 70 | 15 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
481.95/482.12 c 452s| 2300k| 1258k| 0 | 0.0 | 513M| 44 | - | 70 | 13 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
484.24/484.42 c 455s| 2310k| 1263k| 0 | 0.0 | 515M| 44 | - | 70 | 12 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
486.54/486.79 c 457s| 2320k| 1267k| 0 | 0.0 | 517M| 44 | - | 70 | 15 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
488.94/489.11 c 459s| 2330k| 1271k| 0 | 0.0 | 520M| 44 | - | 70 | 12 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
491.24/491.41 c 461s| 2340k| 1276k| 0 | 0.0 | 522M| 44 | - | 70 | 13 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
493.44/493.69 c 463s| 2350k| 1281k| 0 | 0.0 | 524M| 44 | - | 70 | 13 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
495.74/495.99 c 465s| 2360k| 1285k| 0 | 0.0 | 526M| 44 | - | 70 | 11 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
498.05/498.27 c 468s| 2370k| 1290k| 0 | 0.0 | 528M| 44 | - | 70 | 12 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
500.35/500.53 c 470s| 2380k| 1294k| 0 | 0.0 | 531M| 44 | - | 70 | 11 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
502.64/502.84 c 472s| 2390k| 1299k| 0 | 0.0 | 533M| 44 | - | 70 | 15 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
504.93/505.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.93/505.14 c 474s| 2400k| 1303k| 0 | 0.0 | 535M| 44 | - | 70 | 12 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
507.24/507.44 c 476s| 2410k| 1308k| 0 | 0.0 | 537M| 44 | - | 70 | 13 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
509.44/509.69 c 478s| 2420k| 1312k| 0 | 0.0 | 539M| 44 | - | 70 | 16 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
511.74/511.99 c 480s| 2430k| 1317k| 0 | 0.0 | 541M| 44 | - | 70 | 11 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
514.04/514.29 c 483s| 2440k| 1322k| 0 | 0.0 | 544M| 44 | - | 70 | 14 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
516.44/516.61 c 485s| 2450k| 1326k| 0 | 0.0 | 546M| 44 | - | 70 | 14 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
518.74/518.94 c 487s| 2460k| 1331k| 0 | 0.0 | 548M| 44 | - | 70 | 14 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
521.04/521.28 c 489s| 2470k| 1335k| 0 | 0.0 | 550M| 44 | - | 70 | 13 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
523.44/523.67 c 491s| 2480k| 1339k| 0 | 0.0 | 552M| 44 | - | 70 | 12 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
525.84/526.02 c 494s| 2490k| 1343k| 0 | 0.0 | 554M| 44 | - | 70 | 11 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
528.13/528.38 c 496s| 2500k| 1348k| 0 | 0.0 | 557M| 44 | - | 70 | 12 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
530.54/530.75 c 498s| 2510k| 1352k| 0 | 0.0 | 559M| 44 | - | 70 | 15 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
533.03/533.20 c 500s| 2520k| 1356k| 0 | 0.0 | 561M| 44 | - | 70 | 14 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
535.44/535.60 c 503s| 2530k| 1360k| 0 | 0.0 | 563M| 44 | - | 70 | 11 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
537.83/538.02 c 505s| 2540k| 1364k| 0 | 0.0 | 565M| 44 | - | 70 | 11 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
540.22/540.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
540.22/540.41 c 507s| 2550k| 1368k| 0 | 0.0 | 567M| 44 | - | 70 | 12 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
542.53/542.79 c 510s| 2560k| 1372k| 0 | 0.0 | 569M| 44 | - | 70 | 11 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
545.03/545.21 c 512s| 2570k| 1376k| 0 | 0.0 | 572M| 44 | - | 70 | 11 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
547.43/547.62 c 514s| 2580k| 1380k| 0 | 0.0 | 574M| 44 | - | 70 | 11 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
549.83/550.02 c 516s| 2590k| 1385k| 0 | 0.0 | 576M| 44 | - | 70 | 11 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
552.23/552.40 c 519s| 2600k| 1389k| 0 | 0.0 | 578M| 44 | - | 70 | 12 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
554.52/554.76 c 521s| 2610k| 1393k| 0 | 0.0 | 580M| 44 | - | 70 | 11 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
556.93/557.14 c 523s| 2620k| 1397k| 0 | 0.0 | 582M| 44 | - | 70 | 11 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
559.22/559.47 c 525s| 2630k| 1401k| 0 | 0.0 | 584M| 44 | - | 70 | 11 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
561.62/561.86 c 527s| 2640k| 1405k| 0 | 0.0 | 587M| 44 | - | 70 | 11 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
564.03/564.26 c 530s| 2650k| 1409k| 0 | 0.0 | 589M| 44 | - | 70 | 16 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
566.42/566.60 c 532s| 2660k| 1414k| 0 | 0.0 | 591M| 44 | - | 70 | 11 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
568.82/569.03 c 534s| 2670k| 1418k| 0 | 0.0 | 593M| 44 | - | 70 | 13 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
571.22/571.41 c 537s| 2680k| 1422k| 0 | 0.0 | 595M| 44 | - | 70 | 12 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
573.51/573.76 c 539s| 2690k| 1426k| 0 | 0.0 | 597M| 44 | - | 70 | 15 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
575.92/576.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
575.92/576.12 c 541s| 2700k| 1430k| 0 | 0.0 | 599M| 44 | - | 70 | 12 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
578.32/578.50 c 543s| 2710k| 1434k| 0 | 0.0 | 602M| 44 | - | 70 | 11 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
580.62/580.88 c 545s| 2720k| 1439k| 0 | 0.0 | 604M| 44 | - | 70 | 11 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
583.02/583.27 c 548s| 2730k| 1443k| 0 | 0.0 | 606M| 44 | - | 70 | 16 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
585.41/585.62 c 550s| 2740k| 1447k| 0 | 0.0 | 608M| 44 | - | 70 | 13 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
587.82/588.04 c 552s| 2750k| 1451k| 0 | 0.0 | 610M| 44 | - | 70 | 11 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
590.22/590.43 c 554s| 2760k| 1455k| 0 | 0.0 | 612M| 44 | - | 70 | 13 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
592.62/592.85 c 557s| 2770k| 1458k| 0 | 0.0 | 614M| 44 | - | 70 | 12 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
595.02/595.28 c 559s| 2780k| 1462k| 0 | 0.0 | 616M| 44 | - | 70 | 11 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
597.51/597.79 c 561s| 2790k| 1466k| 0 | 0.0 | 619M| 44 | - | 70 | 13 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
600.01/600.25 c 564s| 2800k| 1469k| 0 | 0.0 | 621M| 44 | - | 70 | 11 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
602.52/602.76 c 566s| 2810k| 1473k| 0 | 0.0 | 623M| 44 | - | 70 | 13 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
605.01/605.29 c 569s| 2820k| 1477k| 0 | 0.0 | 625M| 44 | - | 70 | 17 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
607.51/607.79 c 571s| 2830k| 1480k| 0 | 0.0 | 627M| 44 | - | 70 | 11 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
610.01/610.27 c 573s| 2840k| 1484k| 0 | 0.0 | 629M| 44 | - | 70 | 12 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
612.51/612.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
612.51/612.78 c 576s| 2850k| 1487k| 0 | 0.0 | 631M| 44 | - | 70 | 12 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
615.01/615.27 c 578s| 2860k| 1491k| 0 | 0.0 | 633M| 44 | - | 70 | 12 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
617.51/617.76 c 580s| 2870k| 1495k| 0 | 0.0 | 635M| 44 | - | 70 | 12 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
620.01/620.27 c 583s| 2880k| 1499k| 0 | 0.0 | 637M| 44 | - | 70 | 11 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
622.51/622.74 c 585s| 2890k| 1502k| 0 | 0.0 | 640M| 44 | - | 70 | 14 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
625.00/625.21 c 587s| 2900k| 1506k| 0 | 0.0 | 642M| 44 | - | 70 | 13 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
627.41/627.66 c 590s| 2910k| 1510k| 0 | 0.0 | 644M| 44 | - | 70 | 11 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
629.80/630.08 c 592s| 2920k| 1513k| 0 | 0.0 | 646M| 44 | - | 70 | 12 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
632.31/632.57 c 594s| 2930k| 1517k| 0 | 0.0 | 648M| 44 | - | 70 | 11 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
634.80/635.05 c 597s| 2940k| 1521k| 0 | 0.0 | 650M| 44 | - | 70 | 14 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
637.30/637.52 c 599s| 2950k| 1524k| 0 | 0.0 | 652M| 44 | - | 70 | 14 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
639.80/640.03 c 601s| 2960k| 1528k| 0 | 0.0 | 654M| 44 | - | 70 | 15 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
642.30/642.52 c 604s| 2970k| 1532k| 0 | 0.0 | 657M| 44 | - | 70 | 12 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
644.80/645.02 c 606s| 2980k| 1536k| 0 | 0.0 | 659M| 44 | - | 70 | 11 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
647.19/647.49 c 608s| 2990k| 1539k| 0 | 0.0 | 661M| 44 | - | 70 | 13 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
649.70/649.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
649.70/649.96 c 611s| 3000k| 1543k| 0 | 0.0 | 663M| 44 | - | 70 | 11 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
652.19/652.42 c 613s| 3010k| 1547k| 0 | 0.0 | 665M| 44 | - | 70 | 14 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
654.60/654.87 c 615s| 3020k| 1550k| 0 | 0.0 | 667M| 44 | - | 70 | 12 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
656.99/657.29 c 618s| 3030k| 1554k| 0 | 0.0 | 669M| 44 | - | 70 | 12 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
659.49/659.73 c 620s| 3040k| 1558k| 0 | 0.0 | 671M| 44 | - | 70 | 14 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
662.00/662.25 c 622s| 3050k| 1561k| 0 | 0.0 | 673M| 44 | - | 70 | 14 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
664.59/664.83 c 625s| 3060k| 1565k| 0 | 0.0 | 676M| 44 | - | 70 | 11 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
667.09/667.38 c 627s| 3070k| 1568k| 0 | 0.0 | 678M| 44 | - | 70 | 11 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
669.69/669.91 c 630s| 3080k| 1571k| 0 | 0.0 | 680M| 44 | - | 70 | 13 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
672.19/672.44 c 632s| 3090k| 1574k| 0 | 0.0 | 682M| 44 | - | 70 | 11 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
674.69/674.98 c 634s| 3100k| 1578k| 0 | 0.0 | 684M| 44 | - | 70 | 14 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
677.18/677.48 c 637s| 3110k| 1581k| 0 | 0.0 | 686M| 44 | - | 70 | 11 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
679.79/680.06 c 639s| 3120k| 1584k| 0 | 0.0 | 688M| 44 | - | 70 | 11 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
682.39/682.63 c 642s| 3130k| 1587k| 0 | 0.0 | 690M| 44 | - | 70 | 12 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
684.88/685.18 c 644s| 3140k| 1591k| 0 | 0.0 | 692M| 44 | - | 70 | 13 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
687.49/687.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
687.49/687.76 c 647s| 3150k| 1594k| 0 | 0.0 | 694M| 45 | - | 70 | 12 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
690.09/690.32 c 649s| 3160k| 1597k| 0 | 0.0 | 696M| 45 | - | 70 | 12 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
692.69/692.90 c 651s| 3170k| 1600k| 0 | 0.0 | 698M| 45 | - | 70 | 11 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
695.28/695.50 c 654s| 3180k| 1603k| 0 | 0.0 | 700M| 45 | - | 70 | 11 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
697.88/698.11 c 656s| 3190k| 1606k| 0 | 0.0 | 702M| 45 | - | 70 | 11 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
700.38/700.69 c 659s| 3200k| 1609k| 0 | 0.0 | 704M| 45 | - | 70 | 11 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
702.97/703.25 c 661s| 3210k| 1612k| 0 | 0.0 | 706M| 45 | - | 70 | 11 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
705.58/705.87 c 664s| 3220k| 1616k| 0 | 0.0 | 708M| 45 | - | 70 | 12 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
708.19/708.43 c 666s| 3230k| 1619k| 0 | 0.0 | 711M| 45 | - | 70 | 12 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
710.68/710.96 c 668s| 3240k| 1622k| 0 | 0.0 | 713M| 45 | - | 70 | 11 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
713.27/713.51 c 671s| 3250k| 1625k| 0 | 0.0 | 715M| 45 | - | 70 | 11 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
715.78/716.06 c 673s| 3260k| 1628k| 0 | 0.0 | 717M| 45 | - | 70 | 12 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
718.38/718.68 c 676s| 3270k| 1632k| 0 | 0.0 | 719M| 45 | - | 70 | 13 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
720.97/721.27 c 678s| 3280k| 1635k| 0 | 0.0 | 721M| 45 | - | 70 | 11 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
723.58/723.87 c 681s| 3290k| 1638k| 0 | 0.0 | 723M| 45 | - | 70 | 11 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
726.17/726.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
726.17/726.45 c 683s| 3300k| 1641k| 0 | 0.0 | 725M| 45 | - | 70 | 12 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
728.67/728.97 c 686s| 3310k| 1644k| 0 | 0.0 | 727M| 45 | - | 70 | 12 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
731.28/731.54 c 688s| 3320k| 1647k| 0 | 0.0 | 729M| 45 | - | 70 | 11 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
733.87/734.12 c 690s| 3330k| 1651k| 0 | 0.0 | 731M| 45 | - | 70 | 11 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
736.47/736.71 c 693s| 3340k| 1654k| 0 | 0.0 | 733M| 45 | - | 70 | 12 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
738.97/739.27 c 695s| 3350k| 1657k| 0 | 0.0 | 735M| 45 | - | 70 | 12 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
741.56/741.82 c 698s| 3360k| 1660k| 0 | 0.0 | 737M| 45 | - | 70 | 11 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
744.16/744.46 c 700s| 3370k| 1663k| 0 | 0.0 | 739M| 45 | - | 70 | 11 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
746.86/747.15 c 703s| 3380k| 1665k| 0 | 0.0 | 741M| 45 | - | 70 | 11 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
749.57/749.80 c 705s| 3390k| 1668k| 0 | 0.0 | 743M| 45 | - | 70 | 12 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
752.17/752.42 c 708s| 3400k| 1671k| 0 | 0.0 | 745M| 45 | - | 70 | 11 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
754.76/755.02 c 710s| 3410k| 1674k| 0 | 0.0 | 747M| 45 | - | 70 | 11 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
757.36/757.65 c 713s| 3420k| 1676k| 0 | 0.0 | 749M| 45 | - | 70 | 11 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
759.96/760.25 c 715s| 3430k| 1679k| 0 | 0.0 | 751M| 45 | - | 70 | 11 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
762.56/762.88 c 718s| 3440k| 1682k| 0 | 0.0 | 753M| 45 | - | 70 | 11 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
765.16/765.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
765.16/765.48 c 720s| 3450k| 1684k| 0 | 0.0 | 755M| 45 | - | 70 | 11 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
767.87/768.12 c 723s| 3460k| 1687k| 0 | 0.0 | 757M| 45 | - | 70 | 11 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
770.45/770.75 c 725s| 3470k| 1690k| 0 | 0.0 | 759M| 45 | - | 70 | 12 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
773.07/773.38 c 728s| 3480k| 1692k| 0 | 0.0 | 761M| 45 | - | 70 | 11 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
775.76/776.09 c 730s| 3490k| 1695k| 0 | 0.0 | 763M| 45 | - | 70 | 11 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
778.46/778.79 c 733s| 3500k| 1698k| 0 | 0.0 | 765M| 45 | - | 70 | 11 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
781.16/781.48 c 735s| 3510k| 1700k| 0 | 0.0 | 767M| 45 | - | 70 | 11 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
783.85/784.13 c 738s| 3520k| 1703k| 0 | 0.0 | 769M| 45 | - | 70 | 11 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
786.45/786.77 c 740s| 3530k| 1705k| 0 | 0.0 | 771M| 45 | - | 70 | 11 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
789.16/789.40 c 743s| 3540k| 1708k| 0 | 0.0 | 773M| 45 | - | 70 | 11 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
791.76/792.01 c 745s| 3550k| 1711k| 0 | 0.0 | 775M| 45 | - | 70 | 11 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
794.36/794.67 c 748s| 3560k| 1713k| 0 | 0.0 | 777M| 45 | - | 70 | 11 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
797.05/797.31 c 750s| 3570k| 1716k| 0 | 0.0 | 779M| 45 | - | 70 | 11 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
799.75/800.02 c 753s| 3580k| 1718k| 0 | 0.0 | 781M| 45 | - | 70 | 11 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
802.45/802.70 c 755s| 3590k| 1721k| 0 | 0.0 | 783M| 45 | - | 70 | 11 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
805.05/805.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
805.05/805.34 c 758s| 3600k| 1724k| 0 | 0.0 | 785M| 45 | - | 70 | 12 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
807.65/807.99 c 760s| 3610k| 1726k| 0 | 0.0 | 787M| 45 | - | 70 | 11 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
810.36/810.63 c 763s| 3620k| 1729k| 0 | 0.0 | 789M| 45 | - | 70 | 11 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
812.94/813.25 c 765s| 3630k| 1732k| 0 | 0.0 | 791M| 45 | - | 70 | 11 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
815.54/815.89 c 768s| 3640k| 1735k| 0 | 0.0 | 793M| 45 | - | 70 | 11 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
818.25/818.55 c 770s| 3650k| 1737k| 0 | 0.0 | 795M| 45 | - | 70 | 11 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
820.94/821.20 c 773s| 3660k| 1740k| 0 | 0.0 | 797M| 45 | - | 70 | 12 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
823.55/823.89 c 776s| 3670k| 1742k| 0 | 0.0 | 799M| 45 | - | 70 | 11 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
826.35/826.62 c 778s| 3680k| 1744k| 0 | 0.0 | 800M| 45 | - | 70 | 11 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
829.05/829.31 c 781s| 3690k| 1746k| 0 | 0.0 | 802M| 45 | - | 70 | 11 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
831.74/832.04 c 783s| 3700k| 1748k| 0 | 0.0 | 804M| 45 | - | 70 | 11 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
834.44/834.77 c 786s| 3710k| 1750k| 0 | 0.0 | 806M| 45 | - | 70 | 11 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
837.14/837.49 c 788s| 3720k| 1753k| 0 | 0.0 | 808M| 45 | - | 70 | 11 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
839.84/840.17 c 791s| 3730k| 1755k| 0 | 0.0 | 810M| 45 | - | 70 | 11 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
842.54/842.89 c 794s| 3740k| 1757k| 0 | 0.0 | 812M| 45 | - | 70 | 11 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
845.24/845.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
845.24/845.57 c 796s| 3750k| 1759k| 0 | 0.0 | 814M| 45 | - | 70 | 11 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
847.93/848.26 c 799s| 3760k| 1762k| 0 | 0.0 | 816M| 45 | - | 70 | 11 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
850.64/850.96 c 801s| 3770k| 1764k| 0 | 0.0 | 817M| 45 | - | 70 | 11 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
853.35/853.65 c 804s| 3780k| 1766k| 0 | 0.0 | 819M| 45 | - | 70 | 11 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
856.03/856.39 c 806s| 3790k| 1768k| 0 | 0.0 | 821M| 45 | - | 70 | 11 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
858.74/859.10 c 809s| 3800k| 1770k| 0 | 0.0 | 823M| 45 | - | 70 | 11 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
861.53/861.81 c 812s| 3810k| 1772k| 0 | 0.0 | 825M| 45 | - | 70 | 11 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
864.24/864.56 c 814s| 3820k| 1774k| 0 | 0.0 | 827M| 45 | - | 70 | 11 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
866.93/867.23 c 817s| 3830k| 1776k| 0 | 0.0 | 828M| 45 | - | 70 | 11 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
869.63/869.96 c 819s| 3840k| 1778k| 0 | 0.0 | 830M| 45 | - | 70 | 11 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
872.33/872.67 c 822s| 3850k| 1780k| 0 | 0.0 | 832M| 45 | - | 70 | 11 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
875.03/875.33 c 824s| 3860k| 1782k| 0 | 0.0 | 834M| 45 | - | 70 | 11 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
877.73/878.02 c 827s| 3870k| 1785k| 0 | 0.0 | 836M| 45 | - | 70 | 11 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
880.43/880.71 c 829s| 3880k| 1787k| 0 | 0.0 | 838M| 45 | - | 70 | 11 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
883.04/883.36 c 832s| 3890k| 1789k| 0 | 0.0 | 840M| 45 | - | 70 | 11 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
885.73/886.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
885.73/886.06 c 835s| 3900k| 1791k| 0 | 0.0 | 841M| 45 | - | 70 | 11 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
888.43/888.78 c 837s| 3910k| 1793k| 0 | 0.0 | 843M| 45 | - | 70 | 11 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
891.23/891.51 c 840s| 3920k| 1795k| 0 | 0.0 | 845M| 45 | - | 70 | 11 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
893.93/894.30 c 842s| 3930k| 1797k| 0 | 0.0 | 847M| 45 | - | 70 | 11 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
896.72/897.03 c 845s| 3940k| 1798k| 0 | 0.0 | 849M| 45 | - | 70 | 11 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
899.42/899.78 c 848s| 3950k| 1800k| 0 | 0.0 | 850M| 45 | - | 70 | 11 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
902.12/902.49 c 850s| 3960k| 1802k| 0 | 0.0 | 852M| 45 | - | 70 | 11 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
904.93/905.26 c 853s| 3970k| 1803k| 0 | 0.0 | 854M| 45 | - | 70 | 11 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
907.61/907.95 c 855s| 3980k| 1805k| 0 | 0.0 | 856M| 45 | - | 70 | 11 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
910.31/910.67 c 858s| 3990k| 1807k| 0 | 0.0 | 857M| 45 | - | 70 | 11 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
913.02/913.38 c 861s| 4000k| 1809k| 0 | 0.0 | 859M| 45 | - | 70 | 11 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
915.71/916.06 c 863s| 4010k| 1810k| 0 | 0.0 | 861M| 45 | - | 70 | 11 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
918.51/918.87 c 866s| 4020k| 1812k| 0 | 0.0 | 862M| 45 | - | 70 | 11 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
921.31/921.63 c 868s| 4030k| 1813k| 0 | 0.0 | 864M| 45 | - | 70 | 11 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
924.01/924.36 c 871s| 4040k| 1815k| 0 | 0.0 | 866M| 45 | - | 70 | 11 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
926.71/927.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
926.71/927.09 c 874s| 4050k| 1817k| 0 | 0.0 | 867M| 45 | - | 70 | 11 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
929.51/929.85 c 876s| 4060k| 1818k| 0 | 0.0 | 869M| 45 | - | 70 | 11 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
932.31/932.61 c 879s| 4070k| 1820k| 0 | 0.0 | 871M| 45 | - | 70 | 11 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
935.01/935.37 c 881s| 4080k| 1821k| 0 | 0.0 | 872M| 45 | - | 70 | 11 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
937.80/938.11 c 884s| 4090k| 1823k| 0 | 0.0 | 874M| 45 | - | 70 | 11 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
940.50/940.83 c 887s| 4100k| 1824k| 0 | 0.0 | 876M| 45 | - | 70 | 11 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
943.30/943.60 c 889s| 4110k| 1826k| 0 | 0.0 | 877M| 45 | - | 70 | 11 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
946.00/946.38 c 892s| 4120k| 1827k| 0 | 0.0 | 879M| 45 | - | 70 | 11 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
948.80/949.11 c 895s| 4130k| 1828k| 0 | 0.0 | 880M| 45 | - | 70 | 11 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
951.50/951.84 c 897s| 4140k| 1829k| 0 | 0.0 | 882M| 45 | - | 70 | 11 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
954.30/954.61 c 900s| 4150k| 1831k| 0 | 0.0 | 883M| 45 | - | 70 | 11 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
957.10/957.40 c 902s| 4160k| 1832k| 0 | 0.0 | 885M| 45 | - | 70 | 11 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
959.80/960.16 c 905s| 4170k| 1833k| 0 | 0.0 | 886M| 45 | - | 70 | 11 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
962.60/962.92 c 908s| 4180k| 1834k| 0 | 0.0 | 888M| 45 | - | 70 | 11 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
965.29/965.68 c 910s| 4190k| 1835k| 0 | 0.0 | 889M| 45 | - | 70 | 11 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
968.10/968.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
968.10/968.43 c 913s| 4200k| 1836k| 0 | 0.0 | 891M| 45 | - | 70 | 11 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
970.79/971.18 c 916s| 4210k| 1836k| 0 | 0.0 | 892M| 45 | - | 70 | 11 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
972.79/973.11 c 917s| 4220k| 1843k| 0 | 0.0 | 894M| 45 | - | 70 | 11 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
974.49/974.84 c 919s| 4230k| 1850k| 0 | 0.0 | 896M| 45 | - | 70 | 11 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
976.19/976.58 c 921s| 4240k| 1858k| 0 | 0.0 | 898M| 45 | - | 70 | 11 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
978.09/978.40 c 922s| 4250k| 1865k| 0 | 0.0 | 901M| 45 | - | 70 | 11 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
979.80/980.19 c 924s| 4260k| 1873k| 0 | 0.0 | 903M| 45 | - | 70 | 11 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
981.59/981.98 c 926s| 4270k| 1880k| 0 | 0.0 | 905M| 45 | - | 70 | 11 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
983.39/983.77 c 927s| 4280k| 1888k| 0 | 0.0 | 908M| 45 | - | 70 | 11 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
985.19/985.53 c 929s| 4290k| 1895k| 0 | 0.0 | 910M| 45 | - | 70 | 11 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
986.99/987.35 c 931s| 4300k| 1902k| 0 | 0.0 | 912M| 45 | - | 70 | 11 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
988.89/989.21 c 932s| 4310k| 1910k| 0 | 0.0 | 915M| 45 | - | 70 | 12 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
990.69/991.02 c 934s| 4320k| 1917k| 0 | 0.0 | 917M| 45 | - | 70 | 13 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
992.59/992.91 c 936s| 4330k| 1924k| 0 | 0.0 | 919M| 45 | - | 70 | 11 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
994.39/994.76 c 938s| 4340k| 1931k| 0 | 0.0 | 922M| 45 | - | 70 | 11 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
996.30/996.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
996.30/996.61 c 939s| 4350k| 1939k| 0 | 0.0 | 924M| 45 | - | 70 | 11 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
998.09/998.40 c 941s| 4360k| 1946k| 0 | 0.0 | 926M| 45 | - | 70 | 11 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
999.99/1000.30 c 943s| 4370k| 1953k| 0 | 0.0 | 929M| 45 | - | 70 | 11 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
1001.79/1002.17 c 944s| 4380k| 1960k| 0 | 0.0 | 931M| 45 | - | 70 | 11 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1003.69/1004.01 c 946s| 4390k| 1967k| 0 | 0.0 | 933M| 45 | - | 70 | 11 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1005.48/1005.87 c 948s| 4400k| 1974k| 0 | 0.0 | 936M| 45 | - | 70 | 11 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1007.38/1007.72 c 950s| 4410k| 1981k| 0 | 0.0 | 938M| 45 | - | 70 | 11 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
1009.28/1009.61 c 951s| 4420k| 1989k| 0 | 0.0 | 940M| 45 | - | 70 | 11 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
1011.08/1011.44 c 953s| 4430k| 1996k| 0 | 0.0 | 943M| 45 | - | 70 | 11 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
1012.88/1013.25 c 955s| 4440k| 2003k| 0 | 0.0 | 945M| 45 | - | 70 | 11 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1014.77/1015.12 c 957s| 4450k| 2010k| 0 | 0.0 | 947M| 45 | - | 70 | 11 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1016.68/1017.00 c 958s| 4460k| 2017k| 0 | 0.0 | 950M| 45 | - | 70 | 12 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1018.48/1018.88 c 960s| 4470k| 2024k| 0 | 0.0 | 952M| 45 | - | 70 | 11 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1020.38/1020.76 c 962s| 4480k| 2031k| 0 | 0.0 | 954M| 45 | - | 70 | 11 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
1022.27/1022.69 c 964s| 4490k| 2038k| 0 | 0.0 | 956M| 45 | - | 70 | 11 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
1024.18/1024.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1024.18/1024.57 c 965s| 4500k| 2045k| 0 | 0.0 | 959M| 45 | - | 70 | 11 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
1026.07/1026.42 c 967s| 4510k| 2052k| 0 | 0.0 | 961M| 45 | - | 70 | 11 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
1027.98/1028.31 c 969s| 4520k| 2059k| 0 | 0.0 | 963M| 45 | - | 70 | 11 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
1029.87/1030.20 c 971s| 4530k| 2066k| 0 | 0.0 | 966M| 45 | - | 70 | 11 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
1031.67/1032.06 c 972s| 4540k| 2073k| 0 | 0.0 | 968M| 45 | - | 70 | 11 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1033.58/1033.91 c 974s| 4550k| 2080k| 0 | 0.0 | 970M| 45 | - | 70 | 11 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1035.38/1035.76 c 976s| 4560k| 2087k| 0 | 0.0 | 973M| 45 | - | 70 | 12 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1037.27/1037.64 c 978s| 4570k| 2093k| 0 | 0.0 | 975M| 45 | - | 70 | 12 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1039.18/1039.55 c 979s| 4580k| 2100k| 0 | 0.0 | 977M| 45 | - | 70 | 11 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1041.07/1041.48 c 981s| 4590k| 2107k| 0 | 0.0 | 979M| 45 | - | 70 | 11 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1043.07/1043.40 c 983s| 4600k| 2114k| 0 | 0.0 | 982M| 45 | - | 70 | 11 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
1044.97/1045.33 c 985s| 4610k| 2121k| 0 | 0.0 | 984M| 45 | - | 70 | 11 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
1046.88/1047.25 c 987s| 4620k| 2128k| 0 | 0.0 | 986M| 45 | - | 70 | 11 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
1048.76/1049.11 c 988s| 4630k| 2135k| 0 | 0.0 | 989M| 45 | - | 70 | 11 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
1050.67/1051.03 c 990s| 4640k| 2141k| 0 | 0.0 | 991M| 45 | - | 70 | 11 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
1052.47/1052.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.47/1052.89 c 992s| 4650k| 2148k| 0 | 0.0 | 993M| 45 | - | 70 | 11 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
1054.47/1054.81 c 994s| 4660k| 2155k| 0 | 0.0 | 996M| 45 | - | 70 | 11 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
1056.26/1056.67 c 995s| 4670k| 2162k| 0 | 0.0 | 998M| 45 | - | 70 | 11 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
1058.16/1058.58 c 997s| 4680k| 2169k| 0 | 0.0 |1000M| 45 | - | 70 | 11 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
1060.07/1060.47 c 999s| 4690k| 2176k| 0 | 0.0 |1003M| 45 | - | 70 | 11 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
1061.97/1062.36 c 1001s| 4700k| 2183k| 0 | 0.0 |1005M| 45 | - | 70 | 11 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
1063.96/1064.30 c 1002s| 4710k| 2190k| 0 | 0.0 |1007M| 45 | - | 70 | 11 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
1065.86/1066.21 c 1004s| 4720k| 2196k| 0 | 0.0 |1010M| 45 | - | 70 | 12 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
1067.77/1068.17 c 1006s| 4730k| 2203k| 0 | 0.0 |1012M| 45 | - | 70 | 12 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
1069.76/1070.19 c 1008s| 4740k| 2210k| 0 | 0.0 |1014M| 45 | - | 70 | 11 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
1071.76/1072.13 c 1010s| 4750k| 2216k| 0 | 0.0 |1016M| 45 | - | 70 | 11 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
1073.66/1074.04 c 1011s| 4760k| 2223k| 0 | 0.0 |1019M| 45 | - | 70 | 11 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
1075.56/1076.00 c 1013s| 4770k| 2230k| 0 | 0.0 |1021M| 45 | - | 70 | 11 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
1077.57/1077.92 c 1015s| 4780k| 2237k| 0 | 0.0 |1023M| 45 | - | 70 | 11 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
1079.46/1079.86 c 1017s| 4790k| 2243k| 0 | 0.0 |1026M| 45 | - | 70 | 11 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
1081.46/1081.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1081.46/1081.82 c 1019s| 4800k| 2250k| 0 | 0.0 |1028M| 45 | - | 70 | 11 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
1083.36/1083.76 c 1021s| 4810k| 2257k| 0 | 0.0 |1030M| 45 | - | 70 | 11 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
1085.26/1085.70 c 1022s| 4820k| 2263k| 0 | 0.0 |1033M| 45 | - | 70 | 11 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
1087.26/1087.62 c 1024s| 4830k| 2270k| 0 | 0.0 |1035M| 45 | - | 70 | 11 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
1089.16/1089.58 c 1026s| 4840k| 2277k| 0 | 0.0 |1037M| 45 | - | 70 | 11 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
1091.06/1091.49 c 1028s| 4850k| 2284k| 0 | 0.0 |1039M| 45 | - | 70 | 11 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
1093.07/1093.43 c 1030s| 4860k| 2291k| 0 | 0.0 |1042M| 45 | - | 70 | 11 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
1094.95/1095.36 c 1031s| 4870k| 2297k| 0 | 0.0 |1044M| 45 | - | 70 | 11 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
1096.95/1097.37 c 1033s| 4880k| 2304k| 0 | 0.0 |1046M| 45 | - | 70 | 11 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
1098.95/1099.33 c 1035s| 4890k| 2311k| 0 | 0.0 |1049M| 45 | - | 70 | 11 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
1100.85/1101.24 c 1037s| 4900k| 2318k| 0 | 0.0 |1051M| 45 | - | 70 | 12 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
1102.75/1103.19 c 1039s| 4910k| 2324k| 0 | 0.0 |1053M| 45 | - | 70 | 11 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
1104.75/1105.18 c 1041s| 4920k| 2331k| 0 | 0.0 |1056M| 45 | - | 70 | 11 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
1106.75/1107.12 c 1042s| 4930k| 2338k| 0 | 0.0 |1058M| 45 | - | 70 | 11 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
1108.75/1109.10 c 1044s| 4940k| 2344k| 0 | 0.0 |1060M| 45 | - | 70 | 11 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
1110.66/1111.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1110.66/1111.09 c 1046s| 4950k| 2351k| 0 | 0.0 |1062M| 45 | - | 70 | 11 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
1112.65/1113.05 c 1048s| 4960k| 2358k| 0 | 0.0 |1065M| 45 | - | 70 | 11 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
1114.65/1115.03 c 1050s| 4970k| 2364k| 0 | 0.0 |1067M| 45 | - | 70 | 11 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
1116.55/1116.95 c 1052s| 4980k| 2371k| 0 | 0.0 |1069M| 45 | - | 70 | 11 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
1118.55/1118.91 c 1053s| 4990k| 2377k| 0 | 0.0 |1072M| 45 | - | 70 | 11 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
1120.46/1120.87 c 1055s| 5000k| 2384k| 0 | 0.0 |1074M| 45 | - | 70 | 11 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
1122.45/1122.84 c 1057s| 5010k| 2391k| 0 | 0.0 |1076M| 45 | - | 70 | 11 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
1124.44/1124.82 c 1059s| 5020k| 2397k| 0 | 0.0 |1078M| 45 | - | 70 | 11 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
1126.35/1126.78 c 1061s| 5030k| 2404k| 0 | 0.0 |1081M| 45 | - | 70 | 11 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
1128.44/1128.80 c 1063s| 5040k| 2410k| 0 | 0.0 |1083M| 45 | - | 70 | 11 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
1130.35/1130.74 c 1064s| 5050k| 2417k| 0 | 0.0 |1085M| 45 | - | 70 | 11 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
1132.34/1132.71 c 1066s| 5060k| 2424k| 0 | 0.0 |1088M| 45 | - | 70 | 12 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
1134.24/1134.67 c 1068s| 5070k| 2430k| 0 | 0.0 |1090M| 45 | - | 70 | 11 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
1136.25/1136.70 c 1070s| 5080k| 2437k| 0 | 0.0 |1092M| 45 | - | 70 | 12 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
1138.34/1138.72 c 1072s| 5090k| 2444k| 0 | 0.0 |1095M| 45 | - | 70 | 11 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
1140.25/1140.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1140.25/1140.68 c 1074s| 5100k| 2450k| 0 | 0.0 |1097M| 45 | - | 70 | 11 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
1142.24/1142.65 c 1076s| 5110k| 2457k| 0 | 0.0 |1099M| 45 | - | 70 | 11 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
1144.24/1144.63 c 1078s| 5120k| 2463k| 0 | 0.0 |1101M| 45 | - | 70 | 11 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
1146.14/1146.56 c 1079s| 5130k| 2470k| 0 | 0.0 |1104M| 45 | - | 70 | 11 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
1148.13/1148.55 c 1081s| 5140k| 2477k| 0 | 0.0 |1106M| 45 | - | 70 | 11 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
1150.15/1150.55 c 1083s| 5150k| 2483k| 0 | 0.0 |1108M| 45 | - | 70 | 11 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
1152.14/1152.52 c 1085s| 5160k| 2490k| 0 | 0.0 |1111M| 45 | - | 70 | 11 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
1154.04/1154.47 c 1087s| 5170k| 2496k| 0 | 0.0 |1113M| 45 | - | 70 | 11 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
1156.03/1156.42 c 1089s| 5180k| 2503k| 0 | 0.0 |1115M| 45 | - | 70 | 11 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
1157.95/1158.38 c 1090s| 5190k| 2510k| 0 | 0.0 |1117M| 45 | - | 70 | 11 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
1159.93/1160.37 c 1092s| 5200k| 2516k| 0 | 0.0 |1120M| 45 | - | 70 | 11 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
1162.03/1162.44 c 1094s| 5210k| 2523k| 0 | 0.0 |1122M| 45 | - | 70 | 11 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
1164.03/1164.43 c 1096s| 5220k| 2529k| 0 | 0.0 |1124M| 45 | - | 70 | 11 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1165.93/1166.39 c 1098s| 5230k| 2535k| 0 | 0.0 |1127M| 45 | - | 70 | 11 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1168.03/1168.41 c 1100s| 5240k| 2542k| 0 | 0.0 |1129M| 45 | - | 70 | 11 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1169.94/1170.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1169.94/1170.38 c 1102s| 5250k| 2548k| 0 | 0.0 |1131M| 45 | - | 70 | 11 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1171.93/1172.35 c 1103s| 5260k| 2555k| 0 | 0.0 |1133M| 45 | - | 70 | 11 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1173.93/1174.38 c 1105s| 5270k| 2561k| 0 | 0.0 |1136M| 45 | - | 70 | 11 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
1175.93/1176.39 c 1107s| 5280k| 2568k| 0 | 0.0 |1138M| 45 | - | 70 | 11 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
1177.93/1178.39 c 1109s| 5290k| 2574k| 0 | 0.0 |1140M| 45 | - | 70 | 11 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
1179.94/1180.38 c 1111s| 5300k| 2581k| 0 | 0.0 |1142M| 45 | - | 70 | 12 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
1182.03/1182.40 c 1113s| 5310k| 2587k| 0 | 0.0 |1145M| 45 | - | 70 | 11 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
1184.03/1184.45 c 1115s| 5320k| 2594k| 0 | 0.0 |1147M| 45 | - | 70 | 11 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
1186.13/1186.54 c 1117s| 5330k| 2600k| 0 | 0.0 |1149M| 45 | - | 70 | 11 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
1188.13/1188.55 c 1119s| 5340k| 2606k| 0 | 0.0 |1152M| 45 | - | 70 | 11 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
1190.12/1190.54 c 1120s| 5350k| 2613k| 0 | 0.0 |1154M| 45 | - | 70 | 11 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
1192.12/1192.57 c 1122s| 5360k| 2619k| 0 | 0.0 |1156M| 45 | - | 70 | 12 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
1194.23/1194.62 c 1124s| 5370k| 2626k| 0 | 0.0 |1158M| 45 | - | 70 | 11 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
1196.23/1196.65 c 1126s| 5380k| 2632k| 0 | 0.0 |1161M| 45 | - | 70 | 12 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
1198.23/1198.65 c 1128s| 5390k| 2639k| 0 | 0.0 |1163M| 45 | - | 70 | 11 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
1200.13/1200.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1200.13/1200.59 c 1130s| 5400k| 2645k| 0 | 0.0 |1165M| 45 | - | 70 | 11 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
1202.22/1202.61 c 1132s| 5410k| 2652k| 0 | 0.0 |1168M| 45 | - | 70 | 12 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
1204.23/1204.61 c 1134s| 5420k| 2658k| 0 | 0.0 |1170M| 45 | - | 70 | 11 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
1206.23/1206.68 c 1136s| 5430k| 2665k| 0 | 0.0 |1172M| 45 | - | 70 | 11 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
1208.22/1208.64 c 1137s| 5440k| 2671k| 0 | 0.0 |1175M| 45 | - | 70 | 11 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
1210.22/1210.61 c 1139s| 5450k| 2678k| 0 | 0.0 |1177M| 45 | - | 70 | 11 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
1212.22/1212.65 c 1141s| 5460k| 2684k| 0 | 0.0 |1179M| 45 | - | 70 | 11 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
1214.32/1214.70 c 1143s| 5470k| 2690k| 0 | 0.0 |1181M| 45 | - | 70 | 11 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
1216.32/1216.75 c 1145s| 5480k| 2697k| 0 | 0.0 |1184M| 45 | - | 70 | 13 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
1218.32/1218.71 c 1147s| 5490k| 2703k| 0 | 0.0 |1186M| 45 | - | 70 | 11 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
1220.21/1220.68 c 1149s| 5500k| 2710k| 0 | 0.0 |1188M| 45 | - | 70 | 11 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
1222.22/1222.65 c 1151s| 5510k| 2716k| 0 | 0.0 |1191M| 45 | - | 70 | 12 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
1224.22/1224.67 c 1152s| 5520k| 2723k| 0 | 0.0 |1193M| 45 | - | 70 | 14 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
1226.32/1226.71 c 1154s| 5530k| 2729k| 0 | 0.0 |1195M| 45 | - | 70 | 12 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
1228.22/1228.68 c 1156s| 5540k| 2736k| 0 | 0.0 |1197M| 45 | - | 70 | 11 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
1230.21/1230.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1230.21/1230.64 c 1158s| 5550k| 2742k| 0 | 0.0 |1200M| 45 | - | 70 | 11 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
1232.22/1232.65 c 1160s| 5560k| 2748k| 0 | 0.0 |1202M| 45 | - | 70 | 11 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
1234.32/1234.71 c 1162s| 5570k| 2755k| 0 | 0.0 |1204M| 45 | - | 70 | 11 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
1236.31/1236.75 c 1164s| 5580k| 2761k| 0 | 0.0 |1207M| 45 | - | 70 | 12 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
1238.32/1238.74 c 1166s| 5590k| 2767k| 0 | 0.0 |1209M| 45 | - | 70 | 11 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
1240.32/1240.76 c 1168s| 5600k| 2774k| 0 | 0.0 |1211M| 45 | - | 70 | 11 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
1242.31/1242.79 c 1169s| 5610k| 2780k| 0 | 0.0 |1213M| 45 | - | 70 | 11 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
1244.41/1244.83 c 1171s| 5620k| 2786k| 0 | 0.0 |1216M| 45 | - | 70 | 11 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
1246.40/1246.83 c 1173s| 5630k| 2793k| 0 | 0.0 |1218M| 45 | - | 70 | 11 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
1248.41/1248.87 c 1175s| 5640k| 2799k| 0 | 0.0 |1220M| 45 | - | 70 | 11 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
1250.51/1250.93 c 1177s| 5650k| 2805k| 0 | 0.0 |1222M| 45 | - | 70 | 11 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
1252.52/1252.93 c 1179s| 5660k| 2812k| 0 | 0.0 |1225M| 45 | - | 70 | 12 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
1254.51/1254.92 c 1181s| 5670k| 2818k| 0 | 0.0 |1227M| 45 | - | 70 | 11 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
1256.50/1256.93 c 1183s| 5680k| 2824k| 0 | 0.0 |1229M| 45 | - | 70 | 11 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
1258.51/1258.93 c 1185s| 5690k| 2831k| 0 | 0.0 |1231M| 45 | - | 70 | 11 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
1260.50/1260.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1260.50/1260.96 c 1187s| 5700k| 2837k| 0 | 0.0 |1234M| 45 | - | 70 | 11 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
1262.60/1263.01 c 1188s| 5710k| 2843k| 0 | 0.0 |1236M| 45 | - | 70 | 11 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
1264.61/1265.05 c 1190s| 5720k| 2850k| 0 | 0.0 |1238M| 45 | - | 70 | 11 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
1266.61/1267.03 c 1192s| 5730k| 2856k| 0 | 0.0 |1241M| 45 | - | 70 | 11 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
1268.60/1269.08 c 1194s| 5740k| 2862k| 0 | 0.0 |1243M| 45 | - | 70 | 11 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
1270.70/1271.10 c 1196s| 5750k| 2869k| 0 | 0.0 |1245M| 45 | - | 70 | 11 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
1272.60/1273.08 c 1198s| 5760k| 2875k| 0 | 0.0 |1247M| 45 | - | 70 | 11 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
1274.60/1275.06 c 1200s| 5770k| 2881k| 0 | 0.0 |1250M| 45 | - | 70 | 11 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
1276.71/1277.11 c 1202s| 5780k| 2887k| 0 | 0.0 |1252M| 45 | - | 70 | 11 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
1278.70/1279.20 c 1204s| 5790k| 2894k| 0 | 0.0 |1254M| 45 | - | 70 | 11 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
1280.80/1281.28 c 1206s| 5800k| 2900k| 0 | 0.0 |1256M| 45 | - | 70 | 11 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
1282.89/1283.31 c 1207s| 5810k| 2906k| 0 | 0.0 |1259M| 45 | - | 70 | 12 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
1284.90/1285.33 c 1209s| 5820k| 2913k| 0 | 0.0 |1261M| 45 | - | 70 | 11 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
1286.99/1287.40 c 1211s| 5830k| 2919k| 0 | 0.0 |1263M| 45 | - | 70 | 12 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
1289.00/1289.46 c 1213s| 5840k| 2925k| 0 | 0.0 |1266M| 45 | - | 70 | 13 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
1291.01/1291.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1291.01/1291.46 c 1215s| 5850k| 2931k| 0 | 0.0 |1268M| 45 | - | 70 | 13 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
1292.99/1293.48 c 1217s| 5860k| 2938k| 0 | 0.0 |1270M| 45 | - | 70 | 11 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
1295.09/1295.55 c 1219s| 5870k| 2944k| 0 | 0.0 |1273M| 45 | - | 70 | 11 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
1297.19/1297.66 c 1221s| 5880k| 2950k| 0 | 0.0 |1275M| 45 | - | 70 | 12 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
1299.29/1299.72 c 1223s| 5890k| 2957k| 0 | 0.0 |1277M| 45 | - | 70 | 11 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
1301.29/1301.74 c 1225s| 5900k| 2963k| 0 | 0.0 |1279M| 45 | - | 70 | 11 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
1303.29/1303.79 c 1227s| 5910k| 2969k| 0 | 0.0 |1282M| 45 | - | 70 | 11 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
1305.39/1305.83 c 1229s| 5920k| 2976k| 0 | 0.0 |1284M| 45 | - | 70 | 12 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
1307.50/1307.94 c 1231s| 5930k| 2982k| 0 | 0.0 |1286M| 45 | - | 70 | 11 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
1309.60/1310.04 c 1233s| 5940k| 2988k| 0 | 0.0 |1289M| 45 | - | 70 | 11 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
1311.59/1312.07 c 1235s| 5950k| 2994k| 0 | 0.0 |1291M| 45 | - | 70 | 11 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
1313.58/1314.09 c 1236s| 5960k| 3001k| 0 | 0.0 |1293M| 45 | - | 70 | 11 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
1315.79/1316.28 c 1238s| 5970k| 3007k| 0 | 0.0 |1295M| 45 | - | 70 | 11 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
1317.88/1318.38 c 1240s| 5980k| 3013k| 0 | 0.0 |1298M| 45 | - | 70 | 11 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
1319.98/1320.40 c 1242s| 5990k| 3020k| 0 | 0.0 |1300M| 45 | - | 70 | 11 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
1322.09/1322.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1322.09/1322.53 c 1244s| 6000k| 3026k| 0 | 0.0 |1302M| 45 | - | 70 | 11 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
1324.18/1324.64 c 1246s| 6010k| 3032k| 0 | 0.0 |1304M| 45 | - | 70 | 11 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
1326.28/1326.70 c 1248s| 6020k| 3038k| 0 | 0.0 |1307M| 45 | - | 70 | 11 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
1328.39/1328.82 c 1250s| 6030k| 3044k| 0 | 0.0 |1309M| 45 | - | 70 | 13 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
1330.50/1330.90 c 1252s| 6040k| 3050k| 0 | 0.0 |1311M| 45 | - | 70 | 11 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1332.58/1333.03 c 1254s| 6050k| 3057k| 0 | 0.0 |1313M| 45 | - | 70 | 11 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1334.68/1335.13 c 1256s| 6060k| 3063k| 0 | 0.0 |1316M| 45 | - | 70 | 11 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1336.78/1337.20 c 1258s| 6070k| 3069k| 0 | 0.0 |1318M| 45 | - | 70 | 12 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
1338.78/1339.28 c 1260s| 6080k| 3075k| 0 | 0.0 |1320M| 45 | - | 70 | 13 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
1340.88/1341.35 c 1262s| 6090k| 3081k| 0 | 0.0 |1322M| 45 | - | 70 | 13 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
1342.98/1343.42 c 1264s| 6100k| 3087k| 0 | 0.0 |1325M| 45 | - | 70 | 11 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
1345.08/1345.53 c 1266s| 6110k| 3093k| 0 | 0.0 |1327M| 45 | - | 70 | 11 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
1347.09/1347.59 c 1268s| 6120k| 3100k| 0 | 0.0 |1329M| 45 | - | 70 | 11 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
1349.18/1349.68 c 1270s| 6130k| 3106k| 0 | 0.0 |1331M| 45 | - | 70 | 11 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
1351.28/1351.72 c 1272s| 6140k| 3112k| 0 | 0.0 |1334M| 45 | - | 70 | 11 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
1353.27/1353.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1353.27/1353.77 c 1274s| 6150k| 3118k| 0 | 0.0 |1336M| 45 | - | 70 | 11 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
1355.37/1355.89 c 1276s| 6160k| 3124k| 0 | 0.0 |1338M| 45 | - | 70 | 12 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
1357.47/1357.94 c 1278s| 6170k| 3130k| 0 | 0.0 |1340M| 45 | - | 70 | 11 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
1359.57/1360.01 c 1280s| 6180k| 3136k| 0 | 0.0 |1343M| 45 | - | 70 | 11 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
1361.67/1362.18 c 1282s| 6190k| 3142k| 0 | 0.0 |1345M| 45 | - | 70 | 11 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
1363.77/1364.22 c 1284s| 6200k| 3149k| 0 | 0.0 |1347M| 45 | - | 70 | 11 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
1365.78/1366.29 c 1285s| 6210k| 3155k| 0 | 0.0 |1349M| 45 | - | 70 | 11 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1367.98/1368.41 c 1287s| 6220k| 3161k| 0 | 0.0 |1352M| 45 | - | 70 | 11 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1370.08/1370.56 c 1289s| 6230k| 3167k| 0 | 0.0 |1354M| 45 | - | 70 | 11 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1372.28/1372.70 c 1291s| 6240k| 3173k| 0 | 0.0 |1356M| 45 | - | 70 | 11 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
1374.27/1374.78 c 1293s| 6250k| 3179k| 0 | 0.0 |1358M| 45 | - | 70 | 12 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
1374.48/1374.92 c (node 6250629) switching to memory saving mode (mem: 1296.0M/1620.0M)
1378.37/1378.89 c 1297s| 6260k| 3177k| 0 | 0.0 |1356M| 62 | - | 70 | 11 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
1381.87/1382.30 c 1300s| 6270k| 3174k| 0 | 0.0 |1353M| 62 | - | 70 | 11 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
1385.06/1385.51 c 1303s| 6280k| 3172k| 0 | 0.0 |1351M| 64 | - | 70 | 11 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
1388.17/1388.67 c 1306s| 6290k| 3170k| 0 | 0.0 |1349M| 64 | - | 70 | 11 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
1391.47/1391.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1391.47/1391.93 c 1310s| 6300k| 3168k| 0 | 0.0 |1347M| 64 | - | 70 | 11 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
1394.76/1395.21 c 1313s| 6310k| 3166k| 0 | 0.0 |1344M| 64 | - | 70 | 11 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
1398.07/1398.57 c 1316s| 6320k| 3163k| 0 | 0.0 |1341M| 64 | - | 70 | 11 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
1401.47/1401.94 c 1319s| 6330k| 3161k| 0 | 0.0 |1338M| 64 | - | 70 | 11 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
1405.06/1405.50 c 1322s| 6340k| 3158k| 0 | 0.0 |1335M| 64 | - | 70 | 11 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | -- | Inf
1408.36/1408.85 c 1325s| 6350k| 3155k| 0 | 0.0 |1332M| 64 | - | 70 | 11 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
1411.66/1412.13 c 1329s| 6360k| 3153k| 0 | 0.0 |1329M| 64 | - | 70 | 11 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
1414.86/1415.33 c 1332s| 6370k| 3151k| 0 | 0.0 |1327M| 64 | - | 70 | 11 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
1418.06/1418.56 c 1335s| 6380k| 3150k| 0 | 0.0 |1325M| 64 | - | 70 | 11 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1421.26/1421.79 c 1338s| 6390k| 3148k| 0 | 0.0 |1323M| 64 | - | 70 | 11 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
1424.46/1425.00 c 1341s| 6400k| 3146k| 0 | 0.0 |1321M| 64 | - | 70 | 11 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
1427.75/1428.23 c 1344s| 6410k| 3144k| 0 | 0.0 |1319M| 64 | - | 70 | 11 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
1430.96/1431.43 c 1347s| 6420k| 3142k| 0 | 0.0 |1317M| 64 | - | 70 | 11 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
1434.15/1434.64 c 1350s| 6430k| 3140k| 0 | 0.0 |1315M| 64 | - | 70 | 11 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | -- | Inf
1437.35/1437.84 c 1353s| 6440k| 3138k| 0 | 0.0 |1313M| 64 | - | 70 | 11 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | -- | Inf
1440.56/1441.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1440.56/1441.02 c 1356s| 6450k| 3137k| 0 | 0.0 |1311M| 64 | - | 70 | 11 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | -- | Inf
1443.75/1444.22 c 1359s| 6460k| 3135k| 0 | 0.0 |1309M| 64 | - | 70 | 11 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | -- | Inf
1446.95/1447.41 c 1362s| 6470k| 3133k| 0 | 0.0 |1307M| 64 | - | 70 | 11 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | -- | Inf
1450.15/1450.64 c 1365s| 6480k| 3131k| 0 | 0.0 |1305M| 64 | - | 70 | 11 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | -- | Inf
1453.35/1453.81 c 1368s| 6490k| 3129k| 0 | 0.0 |1303M| 64 | - | 70 | 11 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | -- | Inf
1456.44/1456.99 c 1371s| 6500k| 3127k| 0 | 0.0 |1301M| 64 | - | 70 | 11 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | -- | Inf
1459.75/1460.22 c 1374s| 6510k| 3125k| 0 | 0.0 |1299M| 64 | - | 70 | 11 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | -- | Inf
1462.85/1463.33 c 1377s| 6520k| 3124k| 0 | 0.0 |1297M| 64 | - | 70 | 11 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | -- | Inf
1466.04/1466.59 c 1380s| 6530k| 3122k| 0 | 0.0 |1295M| 64 | - | 70 | 11 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | -- | Inf
1469.35/1469.85 c 1383s| 6540k| 3120k| 0 | 0.0 |1292M| 64 | - | 70 | 11 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | -- | Inf
1472.64/1473.14 c 1386s| 6550k| 3118k| 0 | 0.0 |1290M| 64 | - | 70 | 11 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | -- | Inf
1475.94/1476.44 c 1389s| 6560k| 3116k| 0 | 0.0 |1287M| 65 | - | 70 | 11 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | -- | Inf
1479.24/1479.77 c 1392s| 6570k| 3114k| 0 | 0.0 |1284M| 65 | - | 70 | 11 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | -- | Inf
1482.54/1483.00 c 1395s| 6580k| 3112k| 0 | 0.0 |1282M| 65 | - | 70 | 11 | 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | -- | Inf
1485.54/1486.10 c 1398s| 6590k| 3111k| 0 | 0.0 |1281M| 65 | - | 70 | 11 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | -- | Inf
1488.73/1489.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1488.73/1489.21 c 1401s| 6600k| 3109k| 0 | 0.0 |1279M| 65 | - | 70 | 11 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | -- | Inf
1491.93/1492.46 c 1404s| 6610k| 3108k| 0 | 0.0 |1276M| 65 | - | 70 | 11 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | -- | Inf
1495.14/1495.66 c 1407s| 6620k| 3106k| 0 | 0.0 |1274M| 65 | - | 70 | 11 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | -- | Inf
1498.33/1498.84 c 1410s| 6630k| 3104k| 0 | 0.0 |1271M| 65 | - | 70 | 11 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | -- | Inf
1501.64/1502.12 c 1413s| 6640k| 3102k| 0 | 0.0 |1269M| 65 | - | 70 | 11 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | -- | Inf
1504.73/1505.27 c 1416s| 6650k| 3100k| 0 | 0.0 |1267M| 65 | - | 70 | 11 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | -- | Inf
1507.93/1508.42 c 1419s| 6660k| 3099k| 0 | 0.0 |1265M| 65 | - | 70 | 11 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | -- | Inf
1510.94/1511.49 c 1422s| 6670k| 3097k| 0 | 0.0 |1264M| 65 | - | 70 | 11 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | -- | Inf
1514.14/1514.65 c 1425s| 6680k| 3096k| 0 | 0.0 |1262M| 65 | - | 70 | 11 | 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | -- | Inf
1517.23/1517.74 c 1428s| 6690k| 3094k| 0 | 0.0 |1260M| 65 | - | 70 | 11 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | -- | Inf
1520.23/1520.78 c 1431s| 6700k| 3093k| 0 | 0.0 |1259M| 65 | - | 70 | 11 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | -- | Inf
1523.43/1523.91 c 1434s| 6710k| 3091k| 0 | 0.0 |1257M| 65 | - | 70 | 11 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | -- | Inf
1526.43/1526.99 c 1437s| 6720k| 3090k| 0 | 0.0 |1256M| 65 | - | 70 | 11 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | -- | Inf
1529.53/1530.02 c 1439s| 6730k| 3089k| 0 | 0.0 |1255M| 65 | - | 70 | 11 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | -- | Inf
1532.52/1533.06 c 1442s| 6740k| 3088k| 0 | 0.0 |1253M| 65 | - | 70 | 11 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | -- | Inf
1535.63/1536.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1535.63/1536.13 c 1445s| 6750k| 3086k| 0 | 0.0 |1252M| 65 | - | 70 | 11 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | -- | Inf
1538.62/1539.18 c 1448s| 6760k| 3085k| 0 | 0.0 |1250M| 65 | - | 70 | 11 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | -- | Inf
1541.73/1542.23 c 1451s| 6770k| 3084k| 0 | 0.0 |1249M| 65 | - | 70 | 11 | 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | -- | Inf
1544.72/1545.25 c 1454s| 6780k| 3082k| 0 | 0.0 |1248M| 65 | - | 70 | 11 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | -- | Inf
1547.72/1548.24 c 1457s| 6790k| 3081k| 0 | 0.0 |1247M| 65 | - | 70 | 11 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | -- | Inf
1550.72/1551.24 c 1459s| 6800k| 3080k| 0 | 0.0 |1245M| 65 | - | 70 | 11 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | -- | Inf
1553.73/1554.30 c 1462s| 6810k| 3079k| 0 | 0.0 |1244M| 65 | - | 70 | 11 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | -- | Inf
1556.81/1557.35 c 1465s| 6820k| 3078k| 0 | 0.0 |1243M| 65 | - | 70 | 11 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | -- | Inf
1559.81/1560.40 c 1468s| 6830k| 3077k| 0 | 0.0 |1242M| 65 | - | 70 | 11 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | -- | Inf
1562.92/1563.40 c 1471s| 6840k| 3075k| 0 | 0.0 |1241M| 65 | - | 70 | 11 | 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | -- | Inf
1566.01/1566.56 c 1474s| 6850k| 3074k| 0 | 0.0 |1239M| 65 | - | 70 | 11 | 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | -- | Inf
1569.01/1569.56 c 1477s| 6860k| 3073k| 0 | 0.0 |1238M| 65 | - | 70 | 11 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | -- | Inf
1572.01/1572.55 c 1479s| 6870k| 3072k| 0 | 0.0 |1237M| 65 | - | 70 | 11 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | -- | Inf
1575.01/1575.58 c 1482s| 6880k| 3070k| 0 | 0.0 |1235M| 65 | - | 70 | 11 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | -- | Inf
1578.11/1578.66 c 1485s| 6890k| 3069k| 0 | 0.0 |1234M| 65 | - | 70 | 11 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | -- | Inf
1581.11/1581.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1581.11/1581.69 c 1488s| 6900k| 3068k| 0 | 0.0 |1233M| 65 | - | 70 | 11 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | -- | Inf
1584.31/1584.82 c 1491s| 6910k| 3066k| 0 | 0.0 |1231M| 65 | - | 70 | 11 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | -- | Inf
1587.31/1587.80 c 1494s| 6920k| 3065k| 0 | 0.0 |1230M| 65 | - | 70 | 11 | 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | -- | Inf
1590.30/1590.87 c 1497s| 6930k| 3064k| 0 | 0.0 |1228M| 65 | - | 70 | 11 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | -- | Inf
1593.42/1593.94 c 1500s| 6940k| 3062k| 0 | 0.0 |1227M| 65 | - | 70 | 11 | 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | -- | Inf
1596.51/1597.00 c 1502s| 6950k| 3061k| 0 | 0.0 |1225M| 65 | - | 70 | 11 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | -- | Inf
1599.50/1600.09 c 1505s| 6960k| 3060k| 0 | 0.0 |1224M| 65 | - | 70 | 11 | 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | -- | Inf
1602.70/1603.26 c 1508s| 6970k| 3058k| 0 | 0.0 |1222M| 65 | - | 70 | 11 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | -- | Inf
1605.80/1606.32 c 1511s| 6980k| 3057k| 0 | 0.0 |1220M| 65 | - | 70 | 11 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | -- | Inf
1608.81/1609.38 c 1514s| 6990k| 3055k| 0 | 0.0 |1219M| 65 | - | 70 | 11 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | -- | Inf
1611.90/1612.47 c 1517s| 7000k| 3054k| 0 | 0.0 |1217M| 65 | - | 70 | 11 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | -- | Inf
1615.09/1615.63 c 1520s| 7010k| 3052k| 0 | 0.0 |1215M| 65 | - | 70 | 11 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | -- | Inf
1618.19/1618.74 c 1523s| 7020k| 3050k| 0 | 0.0 |1213M| 65 | - | 70 | 11 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | -- | Inf
1621.40/1621.91 c 1526s| 7030k| 3049k| 0 | 0.0 |1212M| 65 | - | 70 | 11 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | -- | Inf
1624.49/1625.06 c 1529s| 7040k| 3048k| 0 | 0.0 |1210M| 65 | - | 70 | 11 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | -- | Inf
1627.69/1628.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1627.69/1628.24 c 1532s| 7050k| 3046k| 0 | 0.0 |1208M| 65 | - | 70 | 11 | 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | -- | Inf
1630.80/1631.30 c 1535s| 7060k| 3045k| 0 | 0.0 |1207M| 65 | - | 70 | 11 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | -- | Inf
1633.79/1634.35 c 1538s| 7070k| 3044k| 0 | 0.0 |1205M| 65 | - | 70 | 11 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | -- | Inf
1636.79/1637.39 c 1541s| 7080k| 3042k| 0 | 0.0 |1204M| 65 | - | 70 | 11 | 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | -- | Inf
1639.99/1640.52 c 1543s| 7090k| 3041k| 0 | 0.0 |1202M| 65 | - | 70 | 11 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | -- | Inf
1642.80/1643.40 c 1546s| 7100k| 3040k| 0 | 0.0 |1201M| 65 | - | 70 | 11 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | -- | Inf
1645.88/1646.43 c 1549s| 7110k| 3039k| 0 | 0.0 |1200M| 65 | - | 70 | 11 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | -- | Inf
1648.79/1649.35 c 1552s| 7120k| 3038k| 0 | 0.0 |1199M| 65 | - | 70 | 11 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | -- | Inf
1651.69/1652.22 c 1554s| 7130k| 3038k| 0 | 0.0 |1199M| 65 | - | 70 | 11 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | -- | Inf
1654.49/1655.00 c 1557s| 7140k| 3037k| 0 | 0.0 |1198M| 65 | - | 70 | 11 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | -- | Inf
1657.48/1658.05 c 1560s| 7150k| 3036k| 0 | 0.0 |1197M| 65 | - | 70 | 11 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | -- | Inf
1660.68/1661.25 c 1563s| 7160k| 3034k| 0 | 0.0 |1194M| 65 | - | 70 | 11 | 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | -- | Inf
1663.88/1664.47 c 1566s| 7170k| 3033k| 0 | 0.0 |1192M| 65 | - | 70 | 11 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | -- | Inf
1667.09/1667.65 c 1569s| 7180k| 3031k| 0 | 0.0 |1190M| 65 | - | 70 | 11 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | -- | Inf
1670.18/1670.79 c 1572s| 7190k| 3029k| 0 | 0.0 |1188M| 65 | - | 70 | 11 | 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | -- | Inf
1673.28/1673.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1673.28/1673.89 c 1575s| 7200k| 3028k| 0 | 0.0 |1186M| 65 | - | 70 | 11 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | -- | Inf
1676.48/1677.03 c 1578s| 7210k| 3026k| 0 | 0.0 |1184M| 65 | - | 70 | 11 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | -- | Inf
1679.58/1680.16 c 1581s| 7220k| 3025k| 0 | 0.0 |1182M| 65 | - | 70 | 11 | 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | -- | Inf
1682.68/1683.21 c 1584s| 7230k| 3023k| 0 | 0.0 |1181M| 65 | - | 70 | 11 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | -- | Inf
1685.57/1686.14 c 1586s| 7240k| 3022k| 0 | 0.0 |1180M| 65 | - | 70 | 11 | 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | -- | Inf
1688.47/1689.09 c 1589s| 7250k| 3021k| 0 | 0.0 |1179M| 65 | - | 70 | 11 | 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | -- | Inf
1691.37/1691.91 c 1592s| 7260k| 3021k| 0 | 0.0 |1178M| 65 | - | 70 | 11 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | -- | Inf
1694.27/1694.87 c 1595s| 7270k| 3020k| 0 | 0.0 |1177M| 65 | - | 70 | 11 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | -- | Inf
1697.17/1697.74 c 1597s| 7280k| 3019k| 0 | 0.0 |1176M| 65 | - | 70 | 11 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | -- | Inf
1700.08/1700.64 c 1600s| 7290k| 3018k| 0 | 0.0 |1176M| 65 | - | 70 | 11 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | -- | Inf
1702.97/1703.58 c 1603s| 7300k| 3018k| 0 | 0.0 |1175M| 65 | - | 70 | 11 | 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | -- | Inf
1705.87/1706.49 c 1605s| 7310k| 3017k| 0 | 0.0 |1174M| 65 | - | 70 | 11 | 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | -- | Inf
1708.78/1709.34 c 1608s| 7320k| 3016k| 0 | 0.0 |1174M| 65 | - | 70 | 11 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | -- | Inf
1711.67/1712.26 c 1611s| 7330k| 3016k| 0 | 0.0 |1173M| 65 | - | 70 | 11 | 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | -- | Inf
1714.46/1715.09 c 1614s| 7340k| 3015k| 0 | 0.0 |1172M| 65 | - | 70 | 11 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | -- | Inf
1717.36/1717.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1717.36/1717.92 c 1616s| 7350k| 3014k| 0 | 0.0 |1171M| 65 | - | 70 | 11 | 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | -- | Inf
1720.16/1720.75 c 1619s| 7360k| 3013k| 0 | 0.0 |1171M| 65 | - | 70 | 11 | 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | -- | Inf
1722.96/1723.55 c 1622s| 7370k| 3013k| 0 | 0.0 |1170M| 65 | - | 70 | 11 | 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | -- | Inf
1725.86/1726.40 c 1624s| 7380k| 3012k| 0 | 0.0 |1169M| 65 | - | 70 | 11 | 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | -- | Inf
1728.57/1729.18 c 1627s| 7390k| 3012k| 0 | 0.0 |1169M| 65 | - | 70 | 11 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | -- | Inf
1731.36/1731.98 c 1629s| 7400k| 3011k| 0 | 0.0 |1168M| 65 | - | 70 | 11 | 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | -- | Inf
1734.26/1734.87 c 1632s| 7410k| 3010k| 0 | 0.0 |1168M| 65 | - | 70 | 11 | 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | -- | Inf
1737.26/1737.80 c 1635s| 7420k| 3010k| 0 | 0.0 |1167M| 65 | - | 70 | 11 | 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | -- | Inf
1739.96/1740.59 c 1638s| 7430k| 3009k| 0 | 0.0 |1166M| 65 | - | 70 | 11 | 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | -- | Inf
1742.86/1743.46 c 1640s| 7440k| 3008k| 0 | 0.0 |1165M| 65 | - | 70 | 11 | 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | -- | Inf
1745.66/1746.28 c 1643s| 7450k| 3008k| 0 | 0.0 |1165M| 65 | - | 70 | 11 | 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | -- | Inf
1748.46/1749.09 c 1646s| 7460k| 3007k| 0 | 0.0 |1164M| 65 | - | 70 | 11 | 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | -- | Inf
1751.36/1751.94 c 1648s| 7470k| 3006k| 0 | 0.0 |1163M| 65 | - | 70 | 11 | 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | -- | Inf
1754.26/1754.87 c 1651s| 7480k| 3006k| 0 | 0.0 |1163M| 65 | - | 70 | 11 | 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | -- | Inf
1757.16/1757.74 c 1654s| 7490k| 3005k| 0 | 0.0 |1162M| 65 | - | 70 | 11 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | -- | Inf
1759.96/1760.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1759.96/1760.59 c 1656s| 7500k| 3004k| 0 | 0.0 |1161M| 65 | - | 70 | 11 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | -- | Inf
1762.76/1763.39 c 1659s| 7510k| 3004k| 0 | 0.0 |1161M| 65 | - | 70 | 11 | 0 | 0 | 0 | 692k| 0 | 0.000000e+00 | -- | Inf
1765.65/1766.25 c 1662s| 7520k| 3003k| 0 | 0.0 |1160M| 65 | - | 70 | 11 | 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | -- | Inf
1768.45/1769.06 c 1664s| 7530k| 3002k| 0 | 0.0 |1159M| 65 | - | 70 | 11 | 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | -- | Inf
1771.35/1771.90 c 1667s| 7540k| 3002k| 0 | 0.0 |1159M| 65 | - | 70 | 11 | 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | -- | Inf
1774.15/1774.74 c 1670s| 7550k| 3001k| 0 | 0.0 |1158M| 65 | - | 70 | 11 | 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | -- | Inf
1777.06/1777.60 c 1672s| 7560k| 3001k| 0 | 0.0 |1158M| 65 | - | 70 | 11 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | -- | Inf
1779.85/1780.47 c 1675s| 7570k| 3000k| 0 | 0.0 |1157M| 65 | - | 70 | 11 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | -- | Inf
1782.75/1783.38 c 1678s| 7580k| 2999k| 0 | 0.0 |1156M| 65 | - | 70 | 11 | 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | -- | Inf
1785.55/1786.18 c 1680s| 7590k| 2999k| 0 | 0.0 |1156M| 65 | - | 70 | 11 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | -- | Inf
1788.34/1788.97 c 1683s| 7600k| 2998k| 0 | 0.0 |1155M| 65 | - | 70 | 11 | 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | -- | Inf
1791.04/1791.65 c 1685s| 7610k| 2998k| 0 | 0.0 |1155M| 65 | - | 70 | 11 | 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | -- | Inf
1793.84/1794.44 c 1688s| 7620k| 2997k| 0 | 0.0 |1154M| 65 | - | 70 | 11 | 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | -- | Inf
1796.64/1797.28 c 1691s| 7630k| 2997k| 0 | 0.0 |1154M| 65 | - | 70 | 11 | 0 | 0 | 0 | 723k| 0 | 0.000000e+00 | -- | Inf
1799.44/1800.08 c 1693s| 7640k| 2996k| 0 | 0.0 |1153M| 65 | - | 70 | 11 | 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | -- | Inf
1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.61 c
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time (sec) : 1693.87
1800.06/1800.61 c Solving Nodes : 7642022
1800.06/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.61 c Dual Bound : +0.00000000000000e+00
1800.06/1800.61 c Gap : infinite
1800.06/1800.61 s UNKNOWN
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time : 1693.87
1800.06/1800.61 c Original Problem :
1800.06/1800.61 c Problem name : HOME/instance-2664021-1276618004.opb
1800.06/1800.61 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 17 initial, 17 maximal
1800.06/1800.61 c Presolved Problem :
1800.06/1800.61 c Problem name : t_HOME/instance-2664021-1276618004.opb
1800.06/1800.61 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 8 initial, 50 maximal
1800.06/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.06/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.61 c linear : 0.00 0 0 0 0 0 9 0 0
1800.06/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c root node : - 0 - - 0 - - - -
1800.06/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.61 c linear : 8 0 11531528 0 5401236 2404609 33997583 0 0 0
1800.06/1800.61 c logicor : 0+ 0 1153164 0 0 0 619193 0 0 0
1800.06/1800.61 c countsols : 0 0 0 0 5401236 0 0 0 0 0
1800.06/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.61 c linear : 1258.45 0.00 1254.77 0.00 3.68
1800.06/1800.61 c logicor : 4.66 0.00 4.66 0.00 0.00
1800.06/1800.61 c countsols : 1.89 0.00 0.00 0.00 1.89
1800.06/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.61 c vbounds : 5.41 2 0 0
1800.06/1800.61 c rootredcost : 4.93 0 0 0
1800.06/1800.61 c pseudoobj : 4.94 0 0 0
1800.06/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.61 c propagation : 485.66 2404609 725772 2253812 48.3 0 0.0 -
1800.06/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.61 c applied globally : - - - 1232 29.7 - - -
1800.06/1800.61 c applied locally : - - - 724542 41.8 - - -
1800.06/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.61 c redcost : 0.00 0 0 0 0 0
1800.06/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.61 c intobj : 0.00 0 0 0 0 0
1800.06/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.61 c gomory : 0.00 0 0 0 0 0
1800.06/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.61 c cmir : 0.00 0 0 0 0 0
1800.06/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.61 c clique : 0.00 0 0 0 0 0
1800.06/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.61 c mcf : 0.00 0 0 0 0 0
1800.06/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.61 c Pricers : Time Calls Vars
1800.06/1800.61 c problem variables: 0.00 0 0
1800.06/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.61 c inference : 44.16 5401236 0 0 0 0 10802472
1800.06/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c random : 0.00 0 0 0 0 0 0
1800.06/1800.61 c Primal Heuristics : Time Calls Found
1800.06/1800.61 c LP solutions : 0.00 - 0
1800.06/1800.61 c pseudo solutions : 0.00 - 0
1800.06/1800.61 c oneopt : 3.57 0 0
1800.06/1800.61 c trivial : 0.00 2 0
1800.06/1800.61 c simplerounding : 0.00 0 0
1800.06/1800.61 c zirounding : 0.00 0 0
1800.06/1800.61 c rounding : 0.00 0 0
1800.06/1800.61 c shifting : 0.00 0 0
1800.06/1800.61 c intshifting : 0.00 0 0
1800.06/1800.61 c twoopt : 0.00 0 0
1800.06/1800.61 c fixandinfer : 0.00 0 0
1800.06/1800.61 c feaspump : 0.00 0 0
1800.06/1800.61 c coefdiving : 0.00 0 0
1800.06/1800.61 c pscostdiving : 0.00 0 0
1800.06/1800.61 c fracdiving : 0.00 0 0
1800.06/1800.61 c veclendiving : 0.00 0 0
1800.06/1800.62 c intdiving : 0.00 0 0
1800.06/1800.62 c actconsdiving : 0.00 0 0
1800.06/1800.62 c objpscostdiving : 0.00 0 0
1800.06/1800.62 c rootsoldiving : 0.00 0 0
1800.06/1800.62 c linesearchdiving : 0.00 0 0
1800.06/1800.62 c guideddiving : 0.00 0 0
1800.06/1800.62 c octane : 0.00 0 0
1800.06/1800.62 c rens : 0.00 0 0
1800.06/1800.62 c rins : 0.00 0 0
1800.06/1800.62 c localbranching : 0.00 0 0
1800.06/1800.62 c mutation : 0.00 0 0
1800.06/1800.62 c crossover : 0.00 0 0
1800.06/1800.62 c dins : 0.00 0 0
1800.06/1800.62 c undercover : 0.00 0 0
1800.06/1800.62 c nlp : 3.92 0 0
1800.06/1800.62 c trysol : 2.94 0 0
1800.06/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.62 c (at root node) : - 0 0 0.00 -
1800.06/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.62 c B&B Tree :
1800.06/1800.62 c number of runs : 1
1800.06/1800.62 c nodes : 7642022
1800.06/1800.62 c nodes (total) : 7642022
1800.06/1800.62 c nodes left : 2996405
1800.06/1800.62 c max depth : 65
1800.06/1800.62 c max depth (total): 65
1800.06/1800.62 c backtracks : 668890 (8.8%)
1800.06/1800.62 c delayed cutoffs : 164046
1800.06/1800.62 c repropagations : 1671352 (1742080 domain reductions, 163823 cutoffs)
1800.06/1800.62 c avg switch length: 6.46
1800.06/1800.62 c switching time : 193.91
1800.06/1800.62 c Solution :
1800.06/1800.62 c Solutions found : 0 (0 improvements)
1800.06/1800.62 c Primal Bound : -
1800.06/1800.62 c Dual Bound : +0.00000000000000e+00
1800.06/1800.62 c Gap : infinite
1800.06/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.62 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-2664021-1276618004/watcher-2664021-1276618004 -o /tmp/evaluation-result-2664021-1276618004/solver-2664021-1276618004 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664021-1276618004.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.97 0.98 3/105 10155
/proc/meminfo: memFree=1505180/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=6584 CPUtime=0
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 1087 0 0 0 0 0 0 0 25 0 1 0 3093955 6742016 1009 1992294400 4194304 7136930 140735387394512 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10155/statm: 1646 1018 254 719 0 925 0
[startup+0.0870241 s]
/proc/loadavg: 0.99 0.97 0.98 3/105 10155
/proc/meminfo: memFree=1505180/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=11152 CPUtime=0.07
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 3011 0 0 0 6 1 0 0 25 0 1 0 3093955 11419648 2066 1992294400 4194304 7136930 140735387394512 18446744073709551615 5918758 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 2788 2066 387 719 0 2067 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11152
[startup+0.101026 s]
/proc/loadavg: 0.99 0.97 0.98 3/105 10155
/proc/meminfo: memFree=1505180/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=11152 CPUtime=0.09
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 3021 0 0 0 7 2 0 0 25 0 1 0 3093955 11419648 2076 1992294400 4194304 7136930 140735387394512 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 2788 2076 387 719 0 2067 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11152
[startup+0.301049 s]
/proc/loadavg: 0.99 0.97 0.98 3/105 10155
/proc/meminfo: memFree=1505180/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=11636 CPUtime=0.29
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 3125 0 0 0 26 3 0 0 25 0 1 0 3093955 11915264 2180 1992294400 4194304 7136930 140735387394512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 2909 2180 387 719 0 2188 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11636
[startup+0.701094 s]
/proc/loadavg: 0.99 0.97 0.98 3/105 10155
/proc/meminfo: memFree=1505180/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=12500 CPUtime=0.69
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 3365 0 0 0 63 6 0 0 25 0 1 0 3093955 12800000 2420 1992294400 4194304 7136930 140735387394512 18446744073709551615 4648632 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 3125 2420 387 719 0 2404 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12500
[startup+1.50119 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10156
/proc/meminfo: memFree=1495996/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=13944 CPUtime=1.49
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 3725 0 0 0 138 11 0 0 25 0 1 0 3093955 14278656 2780 1992294400 4194304 7136930 140735387394512 18446744073709551615 4704988 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 3486 2780 387 719 0 2765 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13944
[startup+3.10137 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10156
/proc/meminfo: memFree=1494632/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=16224 CPUtime=3.09
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 4313 0 0 0 287 22 0 0 25 0 1 0 3093955 16613376 3368 1992294400 4194304 7136930 140735387394512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 4056 3368 387 719 0 3335 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16224
[startup+6.30173 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10156
/proc/meminfo: memFree=1489672/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=20604 CPUtime=6.29
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 5443 0 0 0 586 43 0 0 25 0 1 0 3093955 21098496 4498 1992294400 4194304 7136930 140735387394512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 5151 4498 387 719 0 4430 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20604
[startup+12.7015 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10156
/proc/meminfo: memFree=1480992/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=27944 CPUtime=12.69
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 7338 0 0 0 1188 81 0 0 25 0 1 0 3093955 28614656 6393 1992294400 4194304 7136930 140735387394512 18446744073709551615 4979353 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 6986 6393 387 719 0 6265 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27944
[startup+25.5009 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10156
/proc/meminfo: memFree=1464624/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=45492 CPUtime=25.48
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 11363 0 0 0 2388 160 0 0 25 0 1 0 3093955 46583808 10418 1992294400 4194304 7136930 140735387394512 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 11373 10418 387 719 0 10652 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45492
[startup+51.1008 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10158
/proc/meminfo: memFree=1431144/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=78560 CPUtime=51.07
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 19955 0 0 0 4779 328 0 0 25 0 1 0 3093955 80445440 19010 1992294400 4194304 7136930 140735387394512 18446744073709551615 4924711 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 19640 19010 387 719 0 18919 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 78560
[startup+102.308 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10158
/proc/meminfo: memFree=1371500/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=139168 CPUtime=102.27
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 34516 0 0 0 9594 633 0 0 25 0 1 0 3093955 142508032 33571 1992294400 4194304 7136930 140735387394512 18446744073709551615 4947638 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 34792 33571 387 719 0 34071 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 139168
[startup+162.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10160
/proc/meminfo: memFree=1311236/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=197664 CPUtime=162.24
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 49601 0 0 0 15236 988 0 0 25 0 1 0 3093955 202407936 48656 1992294400 4194304 7136930 140735387394512 18446744073709551615 4240452 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 49416 48656 387 719 0 48695 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 197664
[startup+222.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10162
/proc/meminfo: memFree=1238448/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=274792 CPUtime=222.23
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 67647 0 0 0 20840 1383 0 0 25 0 1 0 3093955 281387008 66702 1992294400 4194304 7136930 140735387394512 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 68698 66702 387 719 0 67977 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 274792
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10164
/proc/meminfo: memFree=1164048/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=346680 CPUtime=282.2
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 86308 0 0 0 26450 1770 0 0 25 0 1 0 3093955 355000320 85363 1992294400 4194304 7136930 140735387394512 18446744073709551615 4983364 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 86670 85363 387 719 0 85949 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 346680
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10166
/proc/meminfo: memFree=1098948/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=409560 CPUtime=342.18
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 102679 0 0 0 32086 2132 0 0 25 0 1 0 3093955 419389440 101734 1992294400 4194304 7136930 140735387394512 18446744073709551615 5918834 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 102390 101734 387 719 0 101669 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 409560
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10166
/proc/meminfo: memFree=1033228/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=489036 CPUtime=402.16
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 119037 0 0 0 37721 2495 0 0 25 0 1 0 3093955 500772864 118092 1992294400 4194304 7136930 140735387394512 18446744073709551615 4924673 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 122259 118092 387 719 0 121538 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 489036
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10168
/proc/meminfo: memFree=971724/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=547292 CPUtime=462.15
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 134111 0 0 0 43373 2842 0 0 25 0 1 0 3093955 560427008 133166 1992294400 4194304 7136930 140735387394512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 136823 133166 387 719 0 136102 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 547292
[startup+522.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10170
/proc/meminfo: memFree=914064/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=603512 CPUtime=522.14
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 148587 0 0 0 49019 3195 0 0 25 0 1 0 3093955 617996288 147642 1992294400 4194304 7136930 140735387394512 18446744073709551615 4947379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 150878 147642 387 719 0 150157 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 603512
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10172
/proc/meminfo: memFree=859876/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=655244 CPUtime=582.12
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 161975 0 0 0 54680 3532 0 0 25 0 1 0 3093955 670969856 161030 1992294400 4194304 7136930 140735387394512 18446744073709551615 4652815 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 163811 161030 387 719 0 163090 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 655244
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10174
/proc/meminfo: memFree=806184/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=707460 CPUtime=642.1
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 175367 0 0 0 60354 3856 0 0 25 0 1 0 3093955 724439040 174422 1992294400 4194304 7136930 140735387394512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 176865 174422 387 719 0 176144 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 707460
[startup+702.301 s]
################
# More data... #
################
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 264282 0 0 0 100056 6141 0 0 25 0 1 0 3093955 1111871488 263337 1992294400 4194304 7136930 140735387394512 18446744073709551615 4648638 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 271453 263337 387 719 0 270732 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 1085812
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10186
/proc/meminfo: memFree=375408/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=1156012 CPUtime=1121.95
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 282653 0 0 0 105660 6535 0 0 25 0 1 0 3093955 1183756288 281708 1992294400 4194304 7136930 140735387394512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 289003 281708 387 719 0 288282 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1156012
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10188
/proc/meminfo: memFree=303488/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=1224976 CPUtime=1181.92
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 300679 0 0 0 111276 6916 0 0 25 0 1 0 3093955 1254375424 299734 1992294400 4194304 7136930 140735387394512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 306244 299734 387 719 0 305523 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1224976
[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10190
/proc/meminfo: memFree=234544/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=1290220 CPUtime=1241.91
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 317677 0 0 0 116902 7289 0 0 25 0 1 0 3093955 1321185280 316732 1992294400 4194304 7136930 140735387394512 18446744073709551615 4981208 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 322555 316732 387 719 0 321834 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1290220
[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10190
/proc/meminfo: memFree=163492/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=1357848 CPUtime=1301.9
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 335328 0 0 0 122531 7659 0 0 25 0 1 0 3093955 1390436352 334383 1992294400 4194304 7136930 140735387394512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 339462 334383 387 719 0 338741 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1357848
[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10192
/proc/meminfo: memFree=98268/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=1421804 CPUtime=1361.87
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 352026 0 0 0 128170 8017 0 0 25 0 1 0 3093955 1455927296 351081 1992294400 4194304 7136930 140735387394512 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 355451 351081 387 719 0 354730 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1421804
[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10194
/proc/meminfo: memFree=83512/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=1433776 CPUtime=1421.86
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 367564 0 0 0 133817 8369 0 0 25 0 1 0 3093955 1468186624 354196 1992294400 4194304 7136930 140735387394512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 358444 354196 387 719 0 357723 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1433776
[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10196
/proc/meminfo: memFree=83388/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=1433776 CPUtime=1481.83
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 367564 0 0 0 139463 8720 0 0 25 0 1 0 3093955 1468186624 354196 1992294400 4194304 7136930 140735387394512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 358444 354196 387 719 0 357723 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1433776
[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 10201
/proc/meminfo: memFree=83016/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=1433776 CPUtime=1541.82
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 367564 0 0 0 145096 9086 0 0 25 0 1 0 3093955 1468186624 354196 1992294400 4194304 7136930 140735387394512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 358444 354196 387 719 0 357723 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1433776
[startup+1602.3 s]
/proc/loadavg: 1.03 0.99 0.99 2/106 10201
/proc/meminfo: memFree=83016/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=1433776 CPUtime=1601.8
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 367564 0 0 0 150750 9430 0 0 25 0 1 0 3093955 1468186624 354196 1992294400 4194304 7136930 140735387394512 18446744073709551615 4240424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 358444 354196 387 719 0 357723 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1433776
[startup+1662.3 s]
/proc/loadavg: 1.01 0.99 0.99 2/106 10203
/proc/meminfo: memFree=83016/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=1433776 CPUtime=1661.78
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 367564 0 0 0 156387 9791 0 0 25 0 1 0 3093955 1468186624 354196 1992294400 4194304 7136930 140735387394512 18446744073709551615 4704988 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 358444 354196 387 719 0 357723 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1433776
[startup+1722.3 s]
/proc/loadavg: 1.11 1.02 1.00 2/106 10205
/proc/meminfo: memFree=83016/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=1433776 CPUtime=1721.76
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 367564 0 0 0 162034 10142 0 0 25 0 1 0 3093955 1468186624 354196 1992294400 4194304 7136930 140735387394512 18446744073709551615 5918834 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 358444 354196 387 719 0 357723 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1433776
[startup+1782.3 s]
/proc/loadavg: 1.11 1.03 1.00 2/106 10207
/proc/meminfo: memFree=82768/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=1433776 CPUtime=1781.75
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 367564 0 0 0 167670 10505 0 0 25 0 1 0 3093955 1468186624 354196 1992294400 4194304 7136930 140735387394512 18446744073709551615 5917883 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 358444 354196 387 719 0 357723 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1433776
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.08 1.03 1.00 3/106 10207
/proc/meminfo: memFree=82768/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=1433776 CPUtime=1800.06
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 367564 0 0 0 169387 10619 0 0 25 0 1 0 3093955 1468186624 354196 1992294400 4194304 7136930 140735387394512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10155/statm: 358444 354196 387 719 0 357723 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1433776
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10155
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.08 1.03 1.00 3/106 10207
/proc/meminfo: memFree=82768/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=1433776 CPUtime=1800.84
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 367570 0 0 0 169465 10619 0 0 25 0 1 0 3093955 1468186624 354202 1992294400 4194304 7136930 140735387394512 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10155/statm: 358444 354202 393 719 0 357723 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 1433776
[startup+1802.2 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 10208
/proc/meminfo: memFree=82760/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=1433776 CPUtime=1801.64
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 367570 0 0 0 169545 10619 0 0 25 0 1 0 3093955 1468186624 354202 1992294400 4194304 7136930 140735387394512 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10155/statm: 358444 354202 393 719 0 357723 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 1433776
[startup+1802.6 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 10208
/proc/meminfo: memFree=82760/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=1433776 CPUtime=1802.04
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4202496 367570 0 0 0 169585 10619 0 0 25 0 1 0 3093955 1468186624 354202 1992294400 4194304 7136930 140735387394512 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10155/statm: 358444 354202 393 719 0 357723 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 1433776
[startup+1802.7 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 10208
/proc/meminfo: memFree=82760/2059040 swapFree=4192956/4192956
[pid=10155] ppid=10153 vsize=0 CPUtime=1802.14
/proc/10155/stat : 10155 (pbscip.linux.x8) R 10153 10155 10045 0 -1 4203524 367570 0 0 0 169587 10627 0 0 25 0 1 0 3093955 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/10155/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.74
CPU time (s): 1802.18
CPU user time (s): 1695.87
CPU system time (s): 106.312
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 1498160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1695.87
system time used= 106.312
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367570
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= 2128
runsolver used 3.19251 second user time and 8.35673 second system time
The end