0.00/0.01 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2664014-1276602408.opb>
0.00/0.01 c original problem has 61 variables (61 bin, 0 int, 0 impl, 0 cont) and 15 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, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 60 variables (60 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.02 c 7 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 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 | - | 284k| 0 | - | 60 | 7 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.69/1.75 c 1.6s| 10000 | 6452 | 0 | 0.0 |2745k| 35 | - | 60 | 317 | 0 | 0 | 0 | 412 | 0 | 0.000000e+00 | -- | Inf
3.49/3.52 c 3.2s| 20000 | 13298 | 0 | 0.0 |5078k| 35 | - | 60 | 347 | 0 | 0 | 0 | 738 | 0 | 0.000000e+00 | -- | Inf
5.40/5.45 c 5.0s| 30000 | 19147 | 0 | 0.0 |7329k| 36 | - | 60 | 449 | 0 | 0 | 0 |1215 | 0 | 0.000000e+00 | -- | Inf
7.60/7.61 c 7.0s| 40000 | 23770 | 0 | 0.0 |9437k| 36 | - | 60 | 477 | 0 | 0 | 0 |1830 | 0 | 0.000000e+00 | -- | Inf
9.99/10.06 c 9.3s| 50000 | 26543 | 0 | 0.0 | 11M| 36 | - | 60 | 510 | 0 | 0 | 0 |2583 | 0 | 0.000000e+00 | -- | Inf
11.69/11.74 c 10.8s| 60000 | 34020 | 0 | 0.0 | 13M| 36 | - | 60 | 322 | 0 | 0 | 0 |3034 | 0 | 0.000000e+00 | -- | Inf
13.39/13.42 c 12.4s| 70000 | 41276 | 0 | 0.0 | 16M| 36 | - | 60 | 270 | 0 | 0 | 0 |3439 | 0 | 0.000000e+00 | -- | Inf
15.09/15.13 c 14.0s| 80000 | 48280 | 0 | 0.0 | 18M| 36 | - | 60 | 223 | 0 | 0 | 0 |3871 | 0 | 0.000000e+00 | -- | Inf
16.79/16.84 c 15.6s| 90000 | 55173 | 0 | 0.0 | 20M| 36 | - | 60 | 149 | 0 | 0 | 0 |4261 | 0 | 0.000000e+00 | -- | Inf
18.48/18.58 c 17.2s|100000 | 61830 | 0 | 0.0 | 23M| 36 | - | 60 | 153 | 0 | 0 | 0 |4733 | 0 | 0.000000e+00 | -- | Inf
20.28/20.32 c 18.8s|110000 | 68311 | 0 | 0.0 | 25M| 37 | - | 60 | 129 | 0 | 0 | 0 |5134 | 0 | 0.000000e+00 | -- | Inf
21.99/22.08 c 20.4s|120000 | 74612 | 0 | 0.0 | 27M| 37 | - | 60 | 134 | 0 | 0 | 0 |5565 | 0 | 0.000000e+00 | -- | Inf
23.79/23.88 c 22.0s|130000 | 80704 | 0 | 0.0 | 29M| 37 | - | 60 | 157 | 0 | 0 | 0 |6067 | 0 | 0.000000e+00 | -- | Inf
25.68/25.70 c 23.7s|140000 | 86669 | 0 | 0.0 | 32M| 37 | - | 60 | 116 | 0 | 0 | 0 |6609 | 0 | 0.000000e+00 | -- | Inf
27.49/27.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.49/27.52 c 25.4s|150000 | 92419 | 0 | 0.0 | 34M| 37 | - | 60 | 114 | 0 | 0 | 0 |7185 | 0 | 0.000000e+00 | -- | Inf
29.28/29.37 c 27.1s|160000 | 98123 | 0 | 0.0 | 36M| 37 | - | 60 | 119 | 0 | 0 | 0 |7738 | 0 | 0.000000e+00 | -- | Inf
31.18/31.25 c 28.8s|170000 |103468 | 0 | 0.0 | 38M| 37 | - | 60 | 100 | 0 | 0 | 0 |8275 | 0 | 0.000000e+00 | -- | Inf
33.08/33.15 c 30.6s|180000 |108846 | 0 | 0.0 | 41M| 37 | - | 60 | 104 | 0 | 0 | 0 |8860 | 0 | 0.000000e+00 | -- | Inf
34.98/35.07 c 32.4s|190000 |113882 | 0 | 0.0 | 43M| 37 | - | 60 | 108 | 0 | 0 | 0 |9473 | 0 | 0.000000e+00 | -- | Inf
36.98/37.03 c 34.2s|200000 |118958 | 0 | 0.0 | 45M| 37 | - | 60 | 134 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
38.97/39.02 c 36.0s|210000 |123662 | 0 | 0.0 | 47M| 37 | - | 60 | 140 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
40.97/41.04 c 37.9s|220000 |128329 | 0 | 0.0 | 49M| 37 | - | 60 | 170 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
43.08/43.13 c 39.8s|230000 |132523 | 0 | 0.0 | 51M| 37 | - | 60 | 170 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
45.08/45.18 c 41.7s|240000 |136727 | 0 | 0.0 | 53M| 37 | - | 60 | 148 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
47.28/47.35 c 43.8s|250000 |140543 | 0 | 0.0 | 55M| 37 | - | 60 | 155 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
49.48/49.53 c 45.8s|260000 |144181 | 0 | 0.0 | 58M| 37 | - | 60 | 149 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
51.68/51.73 c 47.8s|270000 |147671 | 0 | 0.0 | 60M| 37 | - | 60 | 214 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
53.97/54.03 c 50.0s|280000 |150667 | 0 | 0.0 | 62M| 37 | - | 60 | 186 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
56.27/56.32 c 52.1s|290000 |153647 | 0 | 0.0 | 64M| 37 | - | 60 | 199 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
58.67/58.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.67/58.71 c 54.3s|300000 |156019 | 0 | 0.0 | 66M| 37 | - | 60 | 210 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
60.97/61.04 c 56.5s|310000 |158430 | 0 | 0.0 | 67M| 37 | - | 60 | 205 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
63.36/63.41 c 58.7s|320000 |160327 | 0 | 0.0 | 69M| 37 | - | 60 | 114 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
65.57/65.63 c 60.8s|330000 |162904 | 0 | 0.0 | 71M| 38 | - | 60 | 94 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
67.07/67.19 c 62.2s|340000 |170611 | 0 | 0.0 | 73M| 38 | - | 60 | 87 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
68.66/68.77 c 63.7s|350000 |178211 | 0 | 0.0 | 76M| 38 | - | 60 | 85 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
70.28/70.35 c 65.1s|360000 |185647 | 0 | 0.0 | 78M| 38 | - | 60 | 99 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
71.87/71.94 c 66.6s|370000 |192987 | 0 | 0.0 | 81M| 38 | - | 60 | 84 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
73.46/73.52 c 68.0s|380000 |200300 | 0 | 0.0 | 83M| 38 | - | 60 | 91 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
75.07/75.12 c 69.5s|390000 |207529 | 0 | 0.0 | 85M| 38 | - | 60 | 63 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
76.67/76.71 c 70.9s|400000 |214729 | 0 | 0.0 | 88M| 38 | - | 60 | 70 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
78.26/78.30 c 72.4s|410000 |221788 | 0 | 0.0 | 90M| 38 | - | 60 | 68 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
79.87/79.92 c 73.9s|420000 |228796 | 0 | 0.0 | 93M| 38 | - | 60 | 61 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
81.46/81.59 c 75.4s|430000 |235824 | 0 | 0.0 | 95M| 38 | - | 60 | 120 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
83.16/83.27 c 77.0s|440000 |242731 | 0 | 0.0 | 97M| 38 | - | 60 | 114 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
84.87/84.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.87/84.93 c 78.5s|450000 |249625 | 0 | 0.0 | 100M| 38 | - | 60 | 86 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
86.56/86.60 c 80.0s|460000 |256569 | 0 | 0.0 | 102M| 38 | - | 60 | 136 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
88.26/88.31 c 81.6s|470000 |263385 | 0 | 0.0 | 104M| 38 | - | 60 | 113 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
89.96/90.02 c 83.2s|480000 |270082 | 0 | 0.0 | 107M| 38 | - | 60 | 98 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
91.66/91.72 c 84.7s|490000 |276821 | 0 | 0.0 | 109M| 38 | - | 60 | 104 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
93.37/93.42 c 86.3s|500000 |283527 | 0 | 0.0 | 111M| 38 | - | 60 | 77 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
95.06/95.12 c 87.8s|510000 |290143 | 0 | 0.0 | 114M| 38 | - | 60 | 73 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
96.76/96.86 c 89.4s|520000 |296638 | 0 | 0.0 | 116M| 38 | - | 60 | 100 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
98.46/98.59 c 91.0s|530000 |303147 | 0 | 0.0 | 118M| 38 | - | 60 | 96 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
100.25/100.30 c 92.6s|540000 |309611 | 0 | 0.0 | 121M| 38 | - | 60 | 79 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
101.96/102.03 c 94.2s|550000 |316110 | 0 | 0.0 | 123M| 38 | - | 60 | 89 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
103.66/103.75 c 95.8s|560000 |322655 | 0 | 0.0 | 125M| 38 | - | 60 | 81 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
105.36/105.49 c 97.4s|570000 |329027 | 0 | 0.0 | 128M| 38 | - | 60 | 82 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
107.16/107.25 c 99.0s|580000 |335396 | 0 | 0.0 | 130M| 38 | - | 60 | 83 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
108.86/108.98 c 101s|590000 |341727 | 0 | 0.0 | 132M| 38 | - | 60 | 79 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
110.66/110.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.66/110.74 c 102s|600000 |348076 | 0 | 0.0 | 134M| 38 | - | 60 | 120 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
112.45/112.52 c 104s|610000 |354390 | 0 | 0.0 | 137M| 38 | - | 60 | 110 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
114.15/114.27 c 105s|620000 |360756 | 0 | 0.0 | 139M| 38 | - | 60 | 83 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
115.95/116.04 c 107s|630000 |367004 | 0 | 0.0 | 141M| 38 | - | 60 | 96 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
117.76/117.86 c 109s|640000 |373088 | 0 | 0.0 | 144M| 38 | - | 60 | 120 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
119.55/119.65 c 110s|650000 |379132 | 0 | 0.0 | 146M| 38 | - | 60 | 96 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
121.35/121.46 c 112s|660000 |385195 | 0 | 0.0 | 148M| 38 | - | 60 | 88 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
123.16/123.25 c 114s|670000 |391251 | 0 | 0.0 | 151M| 38 | - | 60 | 72 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
124.95/125.05 c 115s|680000 |397255 | 0 | 0.0 | 153M| 38 | - | 60 | 113 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
126.75/126.87 c 117s|690000 |403325 | 0 | 0.0 | 155M| 38 | - | 60 | 90 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
128.56/128.68 c 119s|700000 |409393 | 0 | 0.0 | 158M| 38 | - | 60 | 117 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
130.45/130.52 c 121s|710000 |415365 | 0 | 0.0 | 160M| 38 | - | 60 | 114 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
132.25/132.37 c 122s|720000 |421172 | 0 | 0.0 | 162M| 38 | - | 60 | 94 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
134.16/134.21 c 124s|730000 |426974 | 0 | 0.0 | 164M| 38 | - | 60 | 95 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
135.95/136.08 c 126s|740000 |432772 | 0 | 0.0 | 167M| 38 | - | 60 | 86 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
137.84/137.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.84/137.92 c 127s|750000 |438547 | 0 | 0.0 | 169M| 38 | - | 60 | 109 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
139.66/139.77 c 129s|760000 |444321 | 0 | 0.0 | 171M| 38 | - | 60 | 83 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
141.55/141.60 c 131s|770000 |450094 | 0 | 0.0 | 173M| 38 | - | 60 | 100 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
143.35/143.46 c 132s|780000 |455856 | 0 | 0.0 | 176M| 38 | - | 60 | 157 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
145.25/145.32 c 134s|790000 |461707 | 0 | 0.0 | 178M| 38 | - | 60 | 116 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
147.05/147.20 c 136s|800000 |467407 | 0 | 0.0 | 180M| 38 | - | 60 | 141 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
148.95/149.09 c 138s|810000 |472923 | 0 | 0.0 | 183M| 38 | - | 60 | 132 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
150.94/151.00 c 139s|820000 |478421 | 0 | 0.0 | 185M| 38 | - | 60 | 121 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
152.75/152.88 c 141s|830000 |483920 | 0 | 0.0 | 187M| 38 | - | 60 | 95 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
154.64/154.75 c 143s|840000 |489423 | 0 | 0.0 | 189M| 38 | - | 60 | 89 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
156.54/156.63 c 145s|850000 |494917 | 0 | 0.0 | 192M| 38 | - | 60 | 88 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
158.44/158.52 c 146s|860000 |500418 | 0 | 0.0 | 194M| 38 | - | 60 | 94 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
160.34/160.41 c 148s|870000 |505836 | 0 | 0.0 | 196M| 38 | - | 60 | 93 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
162.24/162.30 c 150s|880000 |511393 | 0 | 0.0 | 198M| 38 | - | 60 | 123 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
164.14/164.23 c 152s|890000 |516878 | 0 | 0.0 | 201M| 38 | - | 60 | 117 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
166.05/166.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.05/166.17 c 153s|900000 |522360 | 0 | 0.0 | 203M| 38 | - | 60 | 125 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
168.04/168.14 c 155s|910000 |527510 | 0 | 0.0 | 205M| 38 | - | 60 | 126 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
169.93/170.09 c 157s|920000 |532626 | 0 | 0.0 | 207M| 38 | - | 60 | 139 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
171.94/172.08 c 159s|930000 |537749 | 0 | 0.0 | 209M| 38 | - | 60 | 124 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
173.94/174.06 c 161s|940000 |542852 | 0 | 0.0 | 212M| 38 | - | 60 | 118 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
175.94/176.01 c 163s|950000 |548008 | 0 | 0.0 | 214M| 38 | - | 60 | 112 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
177.84/177.95 c 164s|960000 |553168 | 0 | 0.0 | 216M| 38 | - | 60 | 119 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
179.74/179.89 c 166s|970000 |558309 | 0 | 0.0 | 218M| 38 | - | 60 | 90 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
181.74/181.84 c 168s|980000 |563455 | 0 | 0.0 | 220M| 38 | - | 60 | 95 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
183.64/183.78 c 170s|990000 |568517 | 0 | 0.0 | 223M| 38 | - | 60 | 83 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
185.63/185.71 c 172s| 1000k|573671 | 0 | 0.0 | 225M| 38 | - | 60 | 104 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
187.53/187.67 c 173s| 1010k|578844 | 0 | 0.0 | 227M| 38 | - | 60 | 148 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
189.64/189.71 c 175s| 1020k|583730 | 0 | 0.0 | 229M| 38 | - | 60 | 123 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
191.63/191.74 c 177s| 1030k|588469 | 0 | 0.0 | 232M| 38 | - | 60 | 136 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
193.63/193.79 c 179s| 1040k|593192 | 0 | 0.0 | 234M| 38 | - | 60 | 151 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
195.74/195.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.74/195.83 c 181s| 1050k|597948 | 0 | 0.0 | 236M| 38 | - | 60 | 143 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
197.73/197.88 c 183s| 1060k|602644 | 0 | 0.0 | 238M| 38 | - | 60 | 126 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
199.73/199.87 c 185s| 1070k|607400 | 0 | 0.0 | 240M| 38 | - | 60 | 136 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
201.83/201.92 c 187s| 1080k|612126 | 0 | 0.0 | 242M| 38 | - | 60 | 123 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
203.83/203.96 c 188s| 1090k|616820 | 0 | 0.0 | 245M| 38 | - | 60 | 115 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
205.83/205.96 c 190s| 1100k|621507 | 0 | 0.0 | 247M| 38 | - | 60 | 111 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
207.84/207.99 c 192s| 1110k|626234 | 0 | 0.0 | 249M| 38 | - | 60 | 130 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
209.93/210.00 c 194s| 1120k|630929 | 0 | 0.0 | 251M| 38 | - | 60 | 94 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
211.93/212.02 c 196s| 1130k|635618 | 0 | 0.0 | 253M| 38 | - | 60 | 104 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
214.03/214.10 c 198s| 1140k|640319 | 0 | 0.0 | 255M| 38 | - | 60 | 118 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
216.02/216.16 c 200s| 1150k|644685 | 0 | 0.0 | 258M| 38 | - | 60 | 136 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
218.12/218.25 c 202s| 1160k|648943 | 0 | 0.0 | 260M| 38 | - | 60 | 139 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
220.33/220.41 c 204s| 1170k|653195 | 0 | 0.0 | 262M| 38 | - | 60 | 166 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
222.42/222.55 c 206s| 1180k|657404 | 0 | 0.0 | 264M| 38 | - | 60 | 190 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
224.52/224.67 c 208s| 1190k|661679 | 0 | 0.0 | 266M| 38 | - | 60 | 137 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
226.72/226.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.72/226.80 c 210s| 1200k|665952 | 0 | 0.0 | 268M| 38 | - | 60 | 157 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
228.82/228.94 c 212s| 1210k|670213 | 0 | 0.0 | 271M| 38 | - | 60 | 146 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
230.93/231.08 c 214s| 1220k|674432 | 0 | 0.0 | 273M| 38 | - | 60 | 119 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
233.03/233.17 c 216s| 1230k|678720 | 0 | 0.0 | 275M| 38 | - | 60 | 130 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
235.12/235.27 c 218s| 1240k|682945 | 0 | 0.0 | 277M| 38 | - | 60 | 125 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
237.22/237.35 c 220s| 1250k|687141 | 0 | 0.0 | 279M| 38 | - | 60 | 162 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
239.32/239.44 c 222s| 1260k|691368 | 0 | 0.0 | 281M| 38 | - | 60 | 140 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
241.42/241.55 c 224s| 1270k|695581 | 0 | 0.0 | 283M| 38 | - | 60 | 134 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
243.52/243.68 c 226s| 1280k|699875 | 0 | 0.0 | 286M| 38 | - | 60 | 131 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
245.71/245.85 c 228s| 1290k|703693 | 0 | 0.0 | 288M| 38 | - | 60 | 144 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
247.91/248.08 c 230s| 1300k|707369 | 0 | 0.0 | 290M| 38 | - | 60 | 196 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
250.12/250.27 c 232s| 1310k|711055 | 0 | 0.0 | 292M| 38 | - | 60 | 153 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
252.31/252.45 c 234s| 1320k|714792 | 0 | 0.0 | 294M| 38 | - | 60 | 149 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
254.51/254.65 c 236s| 1330k|718486 | 0 | 0.0 | 296M| 38 | - | 60 | 165 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
256.71/256.88 c 238s| 1340k|722252 | 0 | 0.0 | 298M| 38 | - | 60 | 189 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
259.01/259.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
259.01/259.15 c 240s| 1350k|725938 | 0 | 0.0 | 300M| 38 | - | 60 | 196 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
261.21/261.36 c 242s| 1360k|729639 | 0 | 0.0 | 303M| 38 | - | 60 | 150 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
263.41/263.58 c 244s| 1370k|733356 | 0 | 0.0 | 305M| 38 | - | 60 | 168 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
265.72/265.81 c 246s| 1380k|737014 | 0 | 0.0 | 307M| 38 | - | 60 | 144 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
267.91/268.03 c 248s| 1390k|740691 | 0 | 0.0 | 309M| 38 | - | 60 | 179 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
270.11/270.26 c 250s| 1400k|744384 | 0 | 0.0 | 311M| 38 | - | 60 | 178 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
272.31/272.46 c 252s| 1410k|748016 | 0 | 0.0 | 313M| 38 | - | 60 | 157 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
274.51/274.67 c 254s| 1420k|751735 | 0 | 0.0 | 315M| 38 | - | 60 | 161 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
276.71/276.87 c 256s| 1430k|755423 | 0 | 0.0 | 317M| 38 | - | 60 | 146 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
279.00/279.14 c 259s| 1440k|758648 | 0 | 0.0 | 319M| 38 | - | 60 | 162 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
281.31/281.46 c 261s| 1450k|761680 | 0 | 0.0 | 321M| 38 | - | 60 | 195 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
283.61/283.78 c 263s| 1460k|764706 | 0 | 0.0 | 323M| 38 | - | 60 | 187 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
285.92/286.06 c 265s| 1470k|767774 | 0 | 0.0 | 326M| 38 | - | 60 | 164 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
288.21/288.39 c 267s| 1480k|770785 | 0 | 0.0 | 328M| 38 | - | 60 | 167 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
290.51/290.67 c 269s| 1490k|773815 | 0 | 0.0 | 330M| 38 | - | 60 | 191 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
292.80/292.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
292.80/292.95 c 271s| 1500k|776856 | 0 | 0.0 | 332M| 38 | - | 60 | 144 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
295.20/295.30 c 274s| 1510k|779899 | 0 | 0.0 | 334M| 38 | - | 60 | 221 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
297.50/297.66 c 276s| 1520k|782913 | 0 | 0.0 | 336M| 38 | - | 60 | 184 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
299.90/300.02 c 278s| 1530k|785939 | 0 | 0.0 | 338M| 38 | - | 60 | 187 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
302.20/302.36 c 280s| 1540k|788974 | 0 | 0.0 | 340M| 38 | - | 60 | 155 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
304.51/304.68 c 282s| 1550k|791975 | 0 | 0.0 | 342M| 38 | - | 60 | 175 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
306.80/306.98 c 285s| 1560k|795009 | 0 | 0.0 | 344M| 38 | - | 60 | 187 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
309.20/309.31 c 287s| 1570k|798018 | 0 | 0.0 | 346M| 38 | - | 60 | 177 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
311.50/311.67 c 289s| 1580k|801086 | 0 | 0.0 | 348M| 38 | - | 60 | 188 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
313.90/314.02 c 291s| 1590k|803885 | 0 | 0.0 | 350M| 38 | - | 60 | 142 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
316.30/316.40 c 293s| 1600k|806333 | 0 | 0.0 | 352M| 38 | - | 60 | 186 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
318.70/318.80 c 296s| 1610k|808743 | 0 | 0.0 | 354M| 38 | - | 60 | 155 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
321.00/321.18 c 298s| 1620k|811215 | 0 | 0.0 | 356M| 38 | - | 60 | 165 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
323.39/323.53 c 300s| 1630k|813634 | 0 | 0.0 | 358M| 38 | - | 60 | 153 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
325.70/325.86 c 302s| 1640k|816127 | 0 | 0.0 | 360M| 38 | - | 60 | 145 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
328.09/328.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
328.09/328.20 c 304s| 1650k|818612 | 0 | 0.0 | 362M| 38 | - | 60 | 146 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
330.40/330.57 c 307s| 1660k|821093 | 0 | 0.0 | 364M| 38 | - | 60 | 180 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
332.89/333.03 c 309s| 1670k|823465 | 0 | 0.0 | 366M| 38 | - | 60 | 198 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
335.30/335.47 c 311s| 1680k|825795 | 0 | 0.0 | 368M| 38 | - | 60 | 187 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
337.80/337.94 c 314s| 1690k|828174 | 0 | 0.0 | 370M| 38 | - | 60 | 193 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
340.19/340.39 c 316s| 1700k|830546 | 0 | 0.0 | 372M| 38 | - | 60 | 182 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
342.69/342.80 c 318s| 1710k|832928 | 0 | 0.0 | 374M| 38 | - | 60 | 146 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
345.09/345.22 c 320s| 1720k|835193 | 0 | 0.0 | 376M| 38 | - | 60 | 141 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
347.49/347.64 c 323s| 1730k|837179 | 0 | 0.0 | 378M| 38 | - | 60 | 137 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
349.88/350.04 c 325s| 1740k|839168 | 0 | 0.0 | 380M| 39 | - | 60 | 113 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
352.29/352.42 c 327s| 1750k|841191 | 0 | 0.0 | 381M| 39 | - | 60 | 107 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
354.59/354.76 c 329s| 1760k|843342 | 0 | 0.0 | 383M| 39 | - | 60 | 98 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
357.09/357.25 c 332s| 1770k|845032 | 0 | 0.0 | 385M| 39 | - | 60 | 135 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
359.49/359.68 c 334s| 1780k|846862 | 0 | 0.0 | 387M| 39 | - | 60 | 128 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
361.99/362.14 c 336s| 1790k|848800 | 0 | 0.0 | 389M| 39 | - | 60 | 126 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
364.39/364.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.39/364.57 c 339s| 1800k|850361 | 0 | 0.0 | 390M| 39 | - | 60 | 86 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
366.78/366.96 c 341s| 1810k|852024 | 0 | 0.0 | 392M| 39 | - | 60 | 73 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
369.18/369.39 c 343s| 1820k|853331 | 0 | 0.0 | 394M| 39 | - | 60 | 69 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
371.38/371.55 c 345s| 1830k|856353 | 0 | 0.0 | 396M| 42 | - | 60 | 86 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
372.98/373.17 c 347s| 1840k|863805 | 0 | 0.0 | 398M| 42 | - | 60 | 76 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
374.58/374.79 c 348s| 1850k|871190 | 0 | 0.0 | 400M| 42 | - | 60 | 60 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
376.28/376.44 c 350s| 1860k|878428 | 0 | 0.0 | 403M| 42 | - | 60 | 98 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
377.88/378.07 c 351s| 1870k|885700 | 0 | 0.0 | 405M| 42 | - | 60 | 50 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
379.58/379.73 c 353s| 1880k|892901 | 0 | 0.0 | 407M| 42 | - | 60 | 85 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
381.17/381.37 c 354s| 1890k|900093 | 0 | 0.0 | 410M| 42 | - | 60 | 63 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
382.77/382.99 c 356s| 1900k|907247 | 0 | 0.0 | 412M| 42 | - | 60 | 87 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
384.48/384.66 c 357s| 1910k|914288 | 0 | 0.0 | 414M| 42 | - | 60 | 90 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
386.18/386.33 c 359s| 1920k|921404 | 0 | 0.0 | 417M| 42 | - | 60 | 86 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
387.88/388.00 c 360s| 1930k|928319 | 0 | 0.0 | 419M| 42 | - | 60 | 64 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
389.48/389.66 c 362s| 1940k|935272 | 0 | 0.0 | 421M| 42 | - | 60 | 69 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
391.17/391.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
391.17/391.30 c 363s| 1950k|942201 | 0 | 0.0 | 423M| 42 | - | 60 | 60 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
392.87/393.00 c 365s| 1960k|949095 | 0 | 0.0 | 426M| 42 | - | 60 | 101 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
394.48/394.68 c 366s| 1970k|955980 | 0 | 0.0 | 428M| 42 | - | 60 | 86 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
396.18/396.34 c 368s| 1980k|962878 | 0 | 0.0 | 430M| 42 | - | 60 | 78 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
397.78/397.96 c 369s| 1990k|969655 | 0 | 0.0 | 433M| 42 | - | 60 | 52 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
399.47/399.63 c 371s| 2000k|976426 | 0 | 0.0 | 435M| 42 | - | 60 | 56 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
401.07/401.28 c 372s| 2010k|983205 | 0 | 0.0 | 437M| 42 | - | 60 | 49 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
402.77/402.93 c 374s| 2020k|990039 | 0 | 0.0 | 439M| 42 | - | 60 | 68 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
404.47/404.64 c 375s| 2030k|996940 | 0 | 0.0 | 442M| 42 | - | 60 | 113 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
406.17/406.36 c 377s| 2040k| 1003k| 0 | 0.0 | 444M| 42 | - | 60 | 84 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
407.88/408.05 c 379s| 2050k| 1010k| 0 | 0.0 | 446M| 42 | - | 60 | 76 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
409.57/409.75 c 380s| 2060k| 1017k| 0 | 0.0 | 449M| 42 | - | 60 | 58 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
411.27/411.43 c 382s| 2070k| 1023k| 0 | 0.0 | 451M| 42 | - | 60 | 65 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
412.87/413.10 c 383s| 2080k| 1030k| 0 | 0.0 | 453M| 42 | - | 60 | 76 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
414.67/414.81 c 385s| 2090k| 1037k| 0 | 0.0 | 455M| 42 | - | 60 | 78 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
416.27/416.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
416.27/416.50 c 386s| 2100k| 1043k| 0 | 0.0 | 458M| 42 | - | 60 | 56 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
417.97/418.18 c 388s| 2110k| 1050k| 0 | 0.0 | 460M| 42 | - | 60 | 57 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
419.66/419.89 c 389s| 2120k| 1057k| 0 | 0.0 | 462M| 42 | - | 60 | 65 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
421.46/421.68 c 391s| 2130k| 1063k| 0 | 0.0 | 465M| 42 | - | 60 | 116 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
423.16/423.38 c 393s| 2140k| 1070k| 0 | 0.0 | 467M| 42 | - | 60 | 58 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
424.97/425.14 c 394s| 2150k| 1077k| 0 | 0.0 | 469M| 42 | - | 60 | 75 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
426.67/426.86 c 396s| 2160k| 1083k| 0 | 0.0 | 471M| 42 | - | 60 | 79 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
428.36/428.55 c 397s| 2170k| 1090k| 0 | 0.0 | 474M| 42 | - | 60 | 57 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
430.07/430.27 c 399s| 2180k| 1096k| 0 | 0.0 | 476M| 42 | - | 60 | 84 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
431.77/431.98 c 401s| 2190k| 1103k| 0 | 0.0 | 478M| 42 | - | 60 | 52 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
433.56/433.70 c 402s| 2200k| 1109k| 0 | 0.0 | 480M| 42 | - | 60 | 65 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
435.26/435.45 c 404s| 2210k| 1116k| 0 | 0.0 | 483M| 42 | - | 60 | 104 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
436.96/437.17 c 405s| 2220k| 1122k| 0 | 0.0 | 485M| 42 | - | 60 | 52 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
438.67/438.87 c 407s| 2230k| 1129k| 0 | 0.0 | 487M| 42 | - | 60 | 49 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
440.36/440.59 c 409s| 2240k| 1135k| 0 | 0.0 | 490M| 42 | - | 60 | 62 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
442.16/442.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.16/442.33 c 410s| 2250k| 1142k| 0 | 0.0 | 492M| 42 | - | 60 | 84 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
443.86/444.05 c 412s| 2260k| 1148k| 0 | 0.0 | 494M| 42 | - | 60 | 62 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
445.66/445.82 c 413s| 2270k| 1155k| 0 | 0.0 | 496M| 42 | - | 60 | 67 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
447.36/447.57 c 415s| 2280k| 1161k| 0 | 0.0 | 499M| 42 | - | 60 | 69 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
449.15/449.30 c 417s| 2290k| 1167k| 0 | 0.0 | 501M| 42 | - | 60 | 63 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
450.86/451.09 c 418s| 2300k| 1174k| 0 | 0.0 | 503M| 42 | - | 60 | 126 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
452.65/452.87 c 420s| 2310k| 1180k| 0 | 0.0 | 505M| 42 | - | 60 | 110 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
454.46/454.66 c 422s| 2320k| 1187k| 0 | 0.0 | 508M| 42 | - | 60 | 92 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
456.26/456.42 c 423s| 2330k| 1193k| 0 | 0.0 | 510M| 42 | - | 60 | 84 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
458.05/458.21 c 425s| 2340k| 1199k| 0 | 0.0 | 512M| 42 | - | 60 | 72 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
459.76/459.97 c 426s| 2350k| 1206k| 0 | 0.0 | 515M| 42 | - | 60 | 82 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
461.55/461.73 c 428s| 2360k| 1212k| 0 | 0.0 | 517M| 42 | - | 60 | 66 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
463.35/463.50 c 430s| 2370k| 1219k| 0 | 0.0 | 519M| 42 | - | 60 | 58 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
465.06/465.29 c 431s| 2380k| 1225k| 0 | 0.0 | 521M| 42 | - | 60 | 104 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
466.85/467.04 c 433s| 2390k| 1231k| 0 | 0.0 | 524M| 42 | - | 60 | 63 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
468.56/468.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
468.56/468.78 c 434s| 2400k| 1238k| 0 | 0.0 | 526M| 42 | - | 60 | 55 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
470.35/470.52 c 436s| 2410k| 1244k| 0 | 0.0 | 528M| 42 | - | 60 | 71 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
472.15/472.30 c 438s| 2420k| 1250k| 0 | 0.0 | 530M| 42 | - | 60 | 63 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
473.96/474.13 c 439s| 2430k| 1257k| 0 | 0.0 | 533M| 42 | - | 60 | 62 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
475.74/475.91 c 441s| 2440k| 1263k| 0 | 0.0 | 535M| 42 | - | 60 | 70 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
477.44/477.69 c 443s| 2450k| 1269k| 0 | 0.0 | 537M| 42 | - | 60 | 70 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
479.24/479.48 c 444s| 2460k| 1275k| 0 | 0.0 | 539M| 42 | - | 60 | 54 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
481.04/481.28 c 446s| 2470k| 1281k| 0 | 0.0 | 542M| 42 | - | 60 | 56 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
482.84/483.05 c 448s| 2480k| 1287k| 0 | 0.0 | 544M| 42 | - | 60 | 48 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
484.64/484.85 c 449s| 2490k| 1293k| 0 | 0.0 | 546M| 42 | - | 60 | 64 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
486.44/486.66 c 451s| 2500k| 1300k| 0 | 0.0 | 548M| 42 | - | 60 | 64 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
488.25/488.45 c 453s| 2510k| 1306k| 0 | 0.0 | 551M| 42 | - | 60 | 61 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
490.04/490.22 c 454s| 2520k| 1312k| 0 | 0.0 | 553M| 42 | - | 60 | 57 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
491.94/492.11 c 456s| 2530k| 1318k| 0 | 0.0 | 555M| 42 | - | 60 | 97 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
493.75/493.92 c 458s| 2540k| 1324k| 0 | 0.0 | 557M| 42 | - | 60 | 95 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
495.54/495.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
495.54/495.74 c 459s| 2550k| 1331k| 0 | 0.0 | 560M| 42 | - | 60 | 84 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
497.33/497.55 c 461s| 2560k| 1337k| 0 | 0.0 | 562M| 42 | - | 60 | 96 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
499.14/499.33 c 463s| 2570k| 1343k| 0 | 0.0 | 564M| 42 | - | 60 | 71 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
500.94/501.13 c 464s| 2580k| 1349k| 0 | 0.0 | 566M| 42 | - | 60 | 75 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
502.64/502.89 c 466s| 2590k| 1355k| 0 | 0.0 | 568M| 42 | - | 60 | 54 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
504.43/504.69 c 468s| 2600k| 1361k| 0 | 0.0 | 571M| 42 | - | 60 | 68 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
506.34/506.55 c 469s| 2610k| 1368k| 0 | 0.0 | 573M| 42 | - | 60 | 102 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
508.14/508.36 c 471s| 2620k| 1374k| 0 | 0.0 | 575M| 42 | - | 60 | 60 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
509.84/510.09 c 473s| 2630k| 1380k| 0 | 0.0 | 578M| 42 | - | 60 | 66 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
511.74/511.92 c 474s| 2640k| 1386k| 0 | 0.0 | 580M| 42 | - | 60 | 85 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
513.55/513.76 c 476s| 2650k| 1392k| 0 | 0.0 | 582M| 42 | - | 60 | 70 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
515.33/515.58 c 478s| 2660k| 1398k| 0 | 0.0 | 584M| 42 | - | 60 | 65 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
517.23/517.43 c 479s| 2670k| 1404k| 0 | 0.0 | 587M| 42 | - | 60 | 79 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
519.04/519.27 c 481s| 2680k| 1410k| 0 | 0.0 | 589M| 42 | - | 60 | 68 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
520.83/521.09 c 483s| 2690k| 1416k| 0 | 0.0 | 591M| 42 | - | 60 | 59 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
522.73/522.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.73/522.96 c 484s| 2700k| 1422k| 0 | 0.0 | 593M| 42 | - | 60 | 66 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
524.63/524.82 c 486s| 2710k| 1428k| 0 | 0.0 | 595M| 42 | - | 60 | 75 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
526.43/526.65 c 488s| 2720k| 1434k| 0 | 0.0 | 598M| 42 | - | 60 | 78 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
528.23/528.49 c 490s| 2730k| 1440k| 0 | 0.0 | 600M| 42 | - | 60 | 66 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
530.13/530.31 c 491s| 2740k| 1446k| 0 | 0.0 | 602M| 42 | - | 60 | 69 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
531.93/532.12 c 493s| 2750k| 1452k| 0 | 0.0 | 604M| 42 | - | 60 | 58 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
533.73/533.99 c 495s| 2760k| 1458k| 0 | 0.0 | 607M| 42 | - | 60 | 61 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
535.63/535.84 c 496s| 2770k| 1464k| 0 | 0.0 | 609M| 42 | - | 60 | 52 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
537.52/537.71 c 498s| 2780k| 1470k| 0 | 0.0 | 611M| 42 | - | 60 | 63 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
539.33/539.58 c 500s| 2790k| 1476k| 0 | 0.0 | 613M| 42 | - | 60 | 63 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
541.22/541.46 c 502s| 2800k| 1481k| 0 | 0.0 | 616M| 42 | - | 60 | 71 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
543.13/543.35 c 503s| 2810k| 1487k| 0 | 0.0 | 618M| 42 | - | 60 | 80 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
545.02/545.20 c 505s| 2820k| 1493k| 0 | 0.0 | 620M| 42 | - | 60 | 50 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
546.83/547.05 c 507s| 2830k| 1499k| 0 | 0.0 | 622M| 42 | - | 60 | 69 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
548.73/548.91 c 509s| 2840k| 1505k| 0 | 0.0 | 625M| 42 | - | 60 | 81 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
550.52/550.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
550.52/550.76 c 510s| 2850k| 1511k| 0 | 0.0 | 627M| 42 | - | 60 | 79 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
552.43/552.62 c 512s| 2860k| 1517k| 0 | 0.0 | 629M| 42 | - | 60 | 79 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
554.22/554.46 c 514s| 2870k| 1523k| 0 | 0.0 | 631M| 42 | - | 60 | 74 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
556.12/556.31 c 515s| 2880k| 1529k| 0 | 0.0 | 634M| 42 | - | 60 | 70 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
558.02/558.25 c 517s| 2890k| 1535k| 0 | 0.0 | 636M| 42 | - | 60 | 84 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
559.92/560.11 c 519s| 2900k| 1541k| 0 | 0.0 | 638M| 42 | - | 60 | 71 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
561.71/561.97 c 521s| 2910k| 1547k| 0 | 0.0 | 640M| 42 | - | 60 | 66 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
563.62/563.84 c 522s| 2920k| 1553k| 0 | 0.0 | 643M| 42 | - | 60 | 71 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
565.51/565.74 c 524s| 2930k| 1559k| 0 | 0.0 | 645M| 42 | - | 60 | 71 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
567.43/567.66 c 526s| 2940k| 1565k| 0 | 0.0 | 647M| 42 | - | 60 | 71 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
569.31/569.55 c 528s| 2950k| 1570k| 0 | 0.0 | 649M| 42 | - | 60 | 76 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
571.22/571.45 c 529s| 2960k| 1576k| 0 | 0.0 | 651M| 42 | - | 60 | 71 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
573.11/573.32 c 531s| 2970k| 1582k| 0 | 0.0 | 654M| 42 | - | 60 | 71 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
575.02/575.20 c 533s| 2980k| 1587k| 0 | 0.0 | 656M| 42 | - | 60 | 84 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
576.82/577.08 c 535s| 2990k| 1593k| 0 | 0.0 | 658M| 42 | - | 60 | 85 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
578.71/578.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
578.71/578.98 c 536s| 3000k| 1599k| 0 | 0.0 | 660M| 42 | - | 60 | 80 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
580.62/580.84 c 538s| 3010k| 1604k| 0 | 0.0 | 663M| 42 | - | 60 | 70 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
582.51/582.73 c 540s| 3020k| 1610k| 0 | 0.0 | 665M| 42 | - | 60 | 69 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
584.31/584.59 c 542s| 3030k| 1616k| 0 | 0.0 | 667M| 42 | - | 60 | 76 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
586.32/586.51 c 543s| 3040k| 1622k| 0 | 0.0 | 669M| 42 | - | 60 | 63 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
588.12/588.39 c 545s| 3050k| 1627k| 0 | 0.0 | 671M| 42 | - | 60 | 60 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
590.01/590.29 c 547s| 3060k| 1633k| 0 | 0.0 | 674M| 42 | - | 60 | 95 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
591.91/592.17 c 549s| 3070k| 1639k| 0 | 0.0 | 676M| 42 | - | 60 | 71 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
593.91/594.10 c 550s| 3080k| 1645k| 0 | 0.0 | 678M| 42 | - | 60 | 80 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
595.81/596.03 c 552s| 3090k| 1650k| 0 | 0.0 | 680M| 42 | - | 60 | 81 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
597.71/597.94 c 554s| 3100k| 1656k| 0 | 0.0 | 683M| 42 | - | 60 | 78 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
599.61/599.81 c 556s| 3110k| 1662k| 0 | 0.0 | 685M| 42 | - | 60 | 66 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
601.41/601.70 c 557s| 3120k| 1667k| 0 | 0.0 | 687M| 42 | - | 60 | 70 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
603.40/603.60 c 559s| 3130k| 1673k| 0 | 0.0 | 689M| 42 | - | 60 | 61 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
605.20/605.47 c 561s| 3140k| 1679k| 0 | 0.0 | 691M| 42 | - | 60 | 69 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
607.11/607.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
607.11/607.35 c 563s| 3150k| 1684k| 0 | 0.0 | 694M| 42 | - | 60 | 56 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
609.00/609.26 c 564s| 3160k| 1690k| 0 | 0.0 | 696M| 42 | - | 60 | 66 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
610.91/611.12 c 566s| 3170k| 1696k| 0 | 0.0 | 698M| 42 | - | 60 | 62 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
612.80/613.01 c 568s| 3180k| 1701k| 0 | 0.0 | 700M| 42 | - | 60 | 74 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
614.71/614.92 c 570s| 3190k| 1707k| 0 | 0.0 | 702M| 42 | - | 60 | 80 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
616.60/616.80 c 571s| 3200k| 1713k| 0 | 0.0 | 705M| 42 | - | 60 | 61 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
618.40/618.69 c 573s| 3210k| 1719k| 0 | 0.0 | 707M| 42 | - | 60 | 54 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
620.40/620.60 c 575s| 3220k| 1724k| 0 | 0.0 | 709M| 42 | - | 60 | 94 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
622.19/622.44 c 577s| 3230k| 1730k| 0 | 0.0 | 711M| 42 | - | 60 | 62 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
624.10/624.31 c 578s| 3240k| 1736k| 0 | 0.0 | 713M| 42 | - | 60 | 74 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
626.00/626.24 c 580s| 3250k| 1741k| 0 | 0.0 | 716M| 42 | - | 60 | 81 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
627.90/628.18 c 582s| 3260k| 1747k| 0 | 0.0 | 718M| 42 | - | 60 | 81 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
629.80/630.09 c 584s| 3270k| 1753k| 0 | 0.0 | 720M| 42 | - | 60 | 84 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
631.80/632.04 c 585s| 3280k| 1759k| 0 | 0.0 | 722M| 42 | - | 60 | 100 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
633.79/634.03 c 587s| 3290k| 1764k| 0 | 0.0 | 725M| 42 | - | 60 | 97 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
635.69/635.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
635.69/635.94 c 589s| 3300k| 1770k| 0 | 0.0 | 727M| 42 | - | 60 | 78 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
637.70/637.92 c 591s| 3310k| 1775k| 0 | 0.0 | 729M| 42 | - | 60 | 78 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
639.59/639.83 c 593s| 3320k| 1781k| 0 | 0.0 | 731M| 42 | - | 60 | 76 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
641.49/641.73 c 594s| 3330k| 1786k| 0 | 0.0 | 733M| 42 | - | 60 | 83 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
643.39/643.64 c 596s| 3340k| 1791k| 0 | 0.0 | 736M| 42 | - | 60 | 72 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
645.30/645.59 c 598s| 3350k| 1797k| 0 | 0.0 | 738M| 42 | - | 60 | 81 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
647.29/647.54 c 600s| 3360k| 1802k| 0 | 0.0 | 740M| 42 | - | 60 | 98 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
649.29/649.52 c 602s| 3370k| 1808k| 0 | 0.0 | 742M| 42 | - | 60 | 86 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
651.19/651.44 c 604s| 3380k| 1813k| 0 | 0.0 | 744M| 42 | - | 60 | 82 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
653.09/653.36 c 605s| 3390k| 1819k| 0 | 0.0 | 747M| 42 | - | 60 | 85 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
654.99/655.29 c 607s| 3400k| 1824k| 0 | 0.0 | 749M| 42 | - | 60 | 87 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
656.99/657.24 c 609s| 3410k| 1830k| 0 | 0.0 | 751M| 42 | - | 60 | 72 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
658.99/659.20 c 611s| 3420k| 1835k| 0 | 0.0 | 753M| 42 | - | 60 | 70 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
660.90/661.18 c 613s| 3430k| 1840k| 0 | 0.0 | 755M| 42 | - | 60 | 72 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
662.88/663.16 c 614s| 3440k| 1846k| 0 | 0.0 | 758M| 42 | - | 60 | 110 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
664.89/665.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
664.89/665.19 c 616s| 3450k| 1851k| 0 | 0.0 | 760M| 42 | - | 60 | 67 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
666.88/667.16 c 618s| 3460k| 1857k| 0 | 0.0 | 762M| 42 | - | 60 | 84 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
668.88/669.11 c 620s| 3470k| 1862k| 0 | 0.0 | 764M| 42 | - | 60 | 66 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
670.79/671.04 c 622s| 3480k| 1868k| 0 | 0.0 | 766M| 42 | - | 60 | 73 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
672.78/673.03 c 624s| 3490k| 1873k| 0 | 0.0 | 769M| 42 | - | 60 | 76 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
674.78/675.03 c 625s| 3500k| 1878k| 0 | 0.0 | 771M| 42 | - | 60 | 85 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
676.78/677.00 c 627s| 3510k| 1884k| 0 | 0.0 | 773M| 42 | - | 60 | 80 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
678.68/678.95 c 629s| 3520k| 1889k| 0 | 0.0 | 775M| 42 | - | 60 | 68 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
680.69/680.93 c 631s| 3530k| 1895k| 0 | 0.0 | 777M| 42 | - | 60 | 76 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
682.58/682.87 c 633s| 3540k| 1900k| 0 | 0.0 | 780M| 42 | - | 60 | 59 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
684.58/684.85 c 634s| 3550k| 1906k| 0 | 0.0 | 782M| 42 | - | 60 | 61 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
686.48/686.78 c 636s| 3560k| 1911k| 0 | 0.0 | 784M| 42 | - | 60 | 70 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
688.48/688.72 c 638s| 3570k| 1916k| 0 | 0.0 | 786M| 42 | - | 60 | 61 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
690.37/690.67 c 640s| 3580k| 1922k| 0 | 0.0 | 788M| 42 | - | 60 | 81 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
692.38/692.64 c 642s| 3590k| 1927k| 0 | 0.0 | 791M| 42 | - | 60 | 60 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
694.38/694.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
694.38/694.64 c 644s| 3600k| 1933k| 0 | 0.0 | 793M| 42 | - | 60 | 76 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
696.27/696.59 c 645s| 3610k| 1938k| 0 | 0.0 | 795M| 42 | - | 60 | 71 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
698.28/698.50 c 647s| 3620k| 1943k| 0 | 0.0 | 797M| 42 | - | 60 | 68 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
700.18/700.44 c 649s| 3630k| 1949k| 0 | 0.0 | 799M| 42 | - | 60 | 66 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
702.08/702.38 c 651s| 3640k| 1954k| 0 | 0.0 | 801M| 42 | - | 60 | 65 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
704.07/704.32 c 652s| 3650k| 1959k| 0 | 0.0 | 804M| 42 | - | 60 | 76 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
705.98/706.25 c 654s| 3660k| 1965k| 0 | 0.0 | 806M| 42 | - | 60 | 73 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
707.97/708.23 c 656s| 3670k| 1970k| 0 | 0.0 | 808M| 42 | - | 60 | 70 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
709.87/710.18 c 658s| 3680k| 1976k| 0 | 0.0 | 810M| 42 | - | 60 | 85 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
711.77/712.10 c 660s| 3690k| 1981k| 0 | 0.0 | 812M| 42 | - | 60 | 95 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
713.77/714.07 c 661s| 3700k| 1987k| 0 | 0.0 | 815M| 42 | - | 60 | 102 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
715.78/716.10 c 663s| 3710k| 1992k| 0 | 0.0 | 817M| 42 | - | 60 | 97 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
717.86/718.14 c 665s| 3720k| 1997k| 0 | 0.0 | 819M| 42 | - | 60 | 81 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
719.96/720.22 c 667s| 3730k| 2002k| 0 | 0.0 | 821M| 42 | - | 60 | 94 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
721.96/722.25 c 669s| 3740k| 2007k| 0 | 0.0 | 823M| 42 | - | 60 | 87 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
723.96/724.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
723.96/724.30 c 671s| 3750k| 2013k| 0 | 0.0 | 826M| 42 | - | 60 | 83 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
725.96/726.27 c 673s| 3760k| 2018k| 0 | 0.0 | 828M| 42 | - | 60 | 71 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
728.06/728.33 c 675s| 3770k| 2023k| 0 | 0.0 | 830M| 42 | - | 60 | 98 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
730.06/730.34 c 677s| 3780k| 2028k| 0 | 0.0 | 832M| 42 | - | 60 | 81 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
732.06/732.36 c 678s| 3790k| 2033k| 0 | 0.0 | 834M| 42 | - | 60 | 80 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
734.05/734.36 c 680s| 3800k| 2038k| 0 | 0.0 | 836M| 42 | - | 60 | 99 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
736.05/736.34 c 682s| 3810k| 2043k| 0 | 0.0 | 839M| 42 | - | 60 | 95 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
738.06/738.38 c 684s| 3820k| 2049k| 0 | 0.0 | 841M| 42 | - | 60 | 104 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
740.16/740.48 c 686s| 3830k| 2054k| 0 | 0.0 | 843M| 42 | - | 60 | 84 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
742.16/742.49 c 688s| 3840k| 2059k| 0 | 0.0 | 845M| 42 | - | 60 | 96 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
744.16/744.49 c 690s| 3850k| 2064k| 0 | 0.0 | 847M| 42 | - | 60 | 86 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
746.26/746.53 c 692s| 3860k| 2069k| 0 | 0.0 | 849M| 42 | - | 60 | 84 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
748.26/748.55 c 693s| 3870k| 2074k| 0 | 0.0 | 852M| 42 | - | 60 | 62 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
750.35/750.63 c 695s| 3880k| 2079k| 0 | 0.0 | 854M| 42 | - | 60 | 86 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
752.36/752.67 c 697s| 3890k| 2085k| 0 | 0.0 | 856M| 42 | - | 60 | 74 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
754.36/754.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
754.36/754.66 c 699s| 3900k| 2090k| 0 | 0.0 | 858M| 42 | - | 60 | 70 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
756.46/756.71 c 701s| 3910k| 2095k| 0 | 0.0 | 860M| 42 | - | 60 | 82 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
758.35/758.68 c 703s| 3920k| 2100k| 0 | 0.0 | 862M| 42 | - | 60 | 81 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
760.45/760.72 c 705s| 3930k| 2105k| 0 | 0.0 | 865M| 42 | - | 60 | 79 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
762.55/762.83 c 707s| 3940k| 2110k| 0 | 0.0 | 867M| 42 | - | 60 | 100 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
764.55/764.88 c 709s| 3950k| 2115k| 0 | 0.0 | 869M| 42 | - | 60 | 95 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
766.65/766.96 c 711s| 3960k| 2120k| 0 | 0.0 | 871M| 42 | - | 60 | 98 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
768.66/768.98 c 712s| 3970k| 2125k| 0 | 0.0 | 873M| 42 | - | 60 | 87 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
770.65/770.95 c 714s| 3980k| 2131k| 0 | 0.0 | 876M| 42 | - | 60 | 82 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
772.65/772.94 c 716s| 3990k| 2136k| 0 | 0.0 | 878M| 42 | - | 60 | 74 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
774.74/775.01 c 718s| 4000k| 2141k| 0 | 0.0 | 880M| 42 | - | 60 | 71 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
776.74/777.02 c 720s| 4010k| 2146k| 0 | 0.0 | 882M| 42 | - | 60 | 70 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
778.75/779.01 c 722s| 4020k| 2151k| 0 | 0.0 | 884M| 42 | - | 60 | 72 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
780.66/780.98 c 724s| 4030k| 2156k| 0 | 0.0 | 886M| 42 | - | 60 | 62 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
782.65/782.95 c 725s| 4040k| 2161k| 0 | 0.0 | 888M| 42 | - | 60 | 73 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
784.64/784.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
784.64/784.98 c 727s| 4050k| 2166k| 0 | 0.0 | 891M| 42 | - | 60 | 75 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
786.75/787.03 c 729s| 4060k| 2171k| 0 | 0.0 | 893M| 42 | - | 60 | 79 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
788.85/789.10 c 731s| 4070k| 2176k| 0 | 0.0 | 895M| 42 | - | 60 | 100 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
790.84/791.15 c 733s| 4080k| 2182k| 0 | 0.0 | 897M| 42 | - | 60 | 67 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
792.85/793.19 c 735s| 4090k| 2187k| 0 | 0.0 | 899M| 42 | - | 60 | 58 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
794.95/795.24 c 737s| 4100k| 2192k| 0 | 0.0 | 901M| 42 | - | 60 | 82 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
796.94/797.23 c 739s| 4110k| 2197k| 0 | 0.0 | 904M| 42 | - | 60 | 75 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
798.94/799.21 c 740s| 4120k| 2202k| 0 | 0.0 | 906M| 42 | - | 60 | 88 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
800.84/801.16 c 742s| 4130k| 2207k| 0 | 0.0 | 908M| 42 | - | 60 | 80 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
802.83/803.12 c 744s| 4140k| 2212k| 0 | 0.0 | 910M| 42 | - | 60 | 67 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
804.84/805.13 c 746s| 4150k| 2217k| 0 | 0.0 | 912M| 42 | - | 60 | 75 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
806.84/807.18 c 748s| 4160k| 2222k| 0 | 0.0 | 914M| 42 | - | 60 | 78 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
808.84/809.16 c 750s| 4170k| 2228k| 0 | 0.0 | 917M| 42 | - | 60 | 70 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
810.73/811.08 c 752s| 4180k| 2233k| 0 | 0.0 | 919M| 42 | - | 60 | 55 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
812.73/813.08 c 753s| 4190k| 2238k| 0 | 0.0 | 921M| 42 | - | 60 | 69 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
814.84/815.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
814.84/815.11 c 755s| 4200k| 2243k| 0 | 0.0 | 923M| 42 | - | 60 | 77 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
816.83/817.16 c 757s| 4210k| 2248k| 0 | 0.0 | 925M| 42 | - | 60 | 63 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
818.83/819.18 c 759s| 4220k| 2253k| 0 | 0.0 | 927M| 42 | - | 60 | 86 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
820.93/821.28 c 761s| 4230k| 2258k| 0 | 0.0 | 930M| 42 | - | 60 | 77 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
823.03/823.37 c 763s| 4240k| 2263k| 0 | 0.0 | 932M| 42 | - | 60 | 92 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
825.23/825.51 c 765s| 4250k| 2267k| 0 | 0.0 | 934M| 42 | - | 60 | 78 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
827.33/827.63 c 767s| 4260k| 2272k| 0 | 0.0 | 936M| 42 | - | 60 | 95 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
829.43/829.76 c 769s| 4270k| 2277k| 0 | 0.0 | 938M| 42 | - | 60 | 81 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
831.53/831.81 c 771s| 4280k| 2282k| 0 | 0.0 | 940M| 42 | - | 60 | 79 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
833.63/833.95 c 773s| 4290k| 2286k| 0 | 0.0 | 942M| 42 | - | 60 | 81 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
835.73/836.05 c 775s| 4300k| 2291k| 0 | 0.0 | 945M| 42 | - | 60 | 72 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
837.83/838.15 c 777s| 4310k| 2296k| 0 | 0.0 | 947M| 42 | - | 60 | 86 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
839.92/840.21 c 779s| 4320k| 2301k| 0 | 0.0 | 949M| 42 | - | 60 | 78 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
841.92/842.24 c 781s| 4330k| 2305k| 0 | 0.0 | 951M| 42 | - | 60 | 88 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
844.03/844.34 c 783s| 4340k| 2310k| 0 | 0.0 | 953M| 42 | - | 60 | 81 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
846.12/846.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
846.12/846.47 c 785s| 4350k| 2315k| 0 | 0.0 | 955M| 42 | - | 60 | 75 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
848.22/848.58 c 787s| 4360k| 2320k| 0 | 0.0 | 957M| 42 | - | 60 | 78 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
850.32/850.68 c 788s| 4370k| 2324k| 0 | 0.0 | 960M| 42 | - | 60 | 84 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
852.52/852.83 c 790s| 4380k| 2329k| 0 | 0.0 | 962M| 42 | - | 60 | 86 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
854.60/854.94 c 792s| 4390k| 2334k| 0 | 0.0 | 964M| 42 | - | 60 | 122 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
856.70/857.05 c 794s| 4400k| 2339k| 0 | 0.0 | 966M| 42 | - | 60 | 95 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
858.90/859.24 c 796s| 4410k| 2343k| 0 | 0.0 | 968M| 42 | - | 60 | 97 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
861.01/861.36 c 798s| 4420k| 2348k| 0 | 0.0 | 970M| 42 | - | 60 | 106 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
863.21/863.53 c 800s| 4430k| 2353k| 0 | 0.0 | 972M| 42 | - | 60 | 101 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
865.30/865.62 c 802s| 4440k| 2358k| 0 | 0.0 | 975M| 42 | - | 60 | 71 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
867.40/867.77 c 804s| 4450k| 2363k| 0 | 0.0 | 977M| 42 | - | 60 | 96 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
869.50/869.87 c 806s| 4460k| 2367k| 0 | 0.0 | 979M| 42 | - | 60 | 86 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
871.59/871.99 c 808s| 4470k| 2372k| 0 | 0.0 | 981M| 42 | - | 60 | 102 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
873.70/874.05 c 810s| 4480k| 2377k| 0 | 0.0 | 983M| 42 | - | 60 | 91 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
875.80/876.13 c 812s| 4490k| 2382k| 0 | 0.0 | 985M| 42 | - | 60 | 98 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
877.90/878.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
877.90/878.21 c 814s| 4500k| 2387k| 0 | 0.0 | 987M| 42 | - | 60 | 89 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
879.99/880.32 c 816s| 4510k| 2391k| 0 | 0.0 | 990M| 42 | - | 60 | 79 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
882.09/882.45 c 818s| 4520k| 2396k| 0 | 0.0 | 992M| 42 | - | 60 | 80 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
884.30/884.61 c 820s| 4530k| 2401k| 0 | 0.0 | 994M| 42 | - | 60 | 82 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
886.39/886.75 c 822s| 4540k| 2406k| 0 | 0.0 | 996M| 42 | - | 60 | 91 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
888.50/888.84 c 824s| 4550k| 2410k| 0 | 0.0 | 998M| 42 | - | 60 | 96 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
890.60/890.96 c 826s| 4560k| 2415k| 0 | 0.0 |1000M| 42 | - | 60 | 92 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
892.69/893.09 c 828s| 4570k| 2420k| 0 | 0.0 |1002M| 42 | - | 60 | 74 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
894.89/895.21 c 830s| 4580k| 2425k| 0 | 0.0 |1005M| 42 | - | 60 | 91 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
896.99/897.35 c 832s| 4590k| 2429k| 0 | 0.0 |1007M| 42 | - | 60 | 92 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
899.09/899.47 c 834s| 4600k| 2434k| 0 | 0.0 |1009M| 42 | - | 60 | 78 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
901.19/901.55 c 836s| 4610k| 2439k| 0 | 0.0 |1011M| 42 | - | 60 | 78 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
903.39/903.71 c 838s| 4620k| 2444k| 0 | 0.0 |1013M| 42 | - | 60 | 77 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
905.38/905.78 c 840s| 4630k| 2449k| 0 | 0.0 |1015M| 42 | - | 60 | 71 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
907.49/907.87 c 842s| 4640k| 2453k| 0 | 0.0 |1017M| 42 | - | 60 | 83 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
909.59/909.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
909.59/909.95 c 844s| 4650k| 2458k| 0 | 0.0 |1020M| 42 | - | 60 | 78 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
911.69/912.08 c 846s| 4660k| 2463k| 0 | 0.0 |1022M| 42 | - | 60 | 92 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
913.89/914.23 c 848s| 4670k| 2468k| 0 | 0.0 |1024M| 42 | - | 60 | 79 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
915.99/916.32 c 850s| 4680k| 2472k| 0 | 0.0 |1026M| 42 | - | 60 | 88 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
918.09/918.42 c 852s| 4690k| 2477k| 0 | 0.0 |1028M| 42 | - | 60 | 94 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
920.19/920.53 c 854s| 4700k| 2482k| 0 | 0.0 |1030M| 42 | - | 60 | 84 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
922.28/922.68 c 856s| 4710k| 2487k| 0 | 0.0 |1032M| 42 | - | 60 | 72 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
924.48/924.80 c 858s| 4720k| 2491k| 0 | 0.0 |1035M| 42 | - | 60 | 88 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | -- | Inf
926.58/926.93 c 860s| 4730k| 2496k| 0 | 0.0 |1037M| 42 | - | 60 | 87 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
928.58/928.99 c 861s| 4740k| 2501k| 0 | 0.0 |1039M| 42 | - | 60 | 73 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
930.68/931.06 c 863s| 4750k| 2506k| 0 | 0.0 |1041M| 42 | - | 60 | 86 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
932.78/933.16 c 865s| 4760k| 2510k| 0 | 0.0 |1043M| 42 | - | 60 | 96 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
934.88/935.27 c 867s| 4770k| 2515k| 0 | 0.0 |1045M| 42 | - | 60 | 72 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
936.97/937.37 c 869s| 4780k| 2520k| 0 | 0.0 |1047M| 42 | - | 60 | 67 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
939.17/939.50 c 871s| 4790k| 2525k| 0 | 0.0 |1050M| 42 | - | 60 | 62 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
941.28/941.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
941.28/941.66 c 873s| 4800k| 2529k| 0 | 0.0 |1052M| 42 | - | 60 | 74 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
943.48/943.81 c 875s| 4810k| 2534k| 0 | 0.0 |1054M| 42 | - | 60 | 98 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
945.59/945.95 c 877s| 4820k| 2539k| 0 | 0.0 |1056M| 42 | - | 60 | 102 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | -- | Inf
947.67/948.08 c 879s| 4830k| 2544k| 0 | 0.0 |1058M| 42 | - | 60 | 79 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | -- | Inf
949.87/950.28 c 881s| 4840k| 2548k| 0 | 0.0 |1060M| 42 | - | 60 | 97 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
952.18/952.53 c 883s| 4850k| 2552k| 0 | 0.0 |1062M| 42 | - | 60 | 89 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
954.38/954.72 c 885s| 4860k| 2557k| 0 | 0.0 |1064M| 42 | - | 60 | 91 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | -- | Inf
956.47/956.86 c 887s| 4870k| 2561k| 0 | 0.0 |1067M| 42 | - | 60 | 106 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
958.67/959.00 c 889s| 4880k| 2566k| 0 | 0.0 |1069M| 42 | - | 60 | 97 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
960.77/961.19 c 891s| 4890k| 2570k| 0 | 0.0 |1071M| 42 | - | 60 | 88 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | -- | Inf
962.97/963.34 c 893s| 4900k| 2574k| 0 | 0.0 |1073M| 42 | - | 60 | 81 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
965.06/965.46 c 895s| 4910k| 2579k| 0 | 0.0 |1075M| 42 | - | 60 | 88 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
967.17/967.54 c 897s| 4920k| 2583k| 0 | 0.0 |1077M| 42 | - | 60 | 84 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
969.27/969.66 c 899s| 4930k| 2587k| 0 | 0.0 |1079M| 42 | - | 60 | 95 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | -- | Inf
971.36/971.78 c 901s| 4940k| 2592k| 0 | 0.0 |1081M| 42 | - | 60 | 94 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
973.57/973.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
973.57/973.97 c 903s| 4950k| 2596k| 0 | 0.0 |1083M| 42 | - | 60 | 82 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
975.77/976.16 c 905s| 4960k| 2600k| 0 | 0.0 |1086M| 42 | - | 60 | 85 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | -- | Inf
977.97/978.34 c 907s| 4970k| 2605k| 0 | 0.0 |1088M| 42 | - | 60 | 112 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
980.17/980.50 c 909s| 4980k| 2609k| 0 | 0.0 |1090M| 42 | - | 60 | 98 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | -- | Inf
982.27/982.68 c 911s| 4990k| 2614k| 0 | 0.0 |1092M| 42 | - | 60 | 78 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
984.46/984.83 c 913s| 5000k| 2618k| 0 | 0.0 |1094M| 42 | - | 60 | 119 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
986.66/987.04 c 916s| 5010k| 2622k| 0 | 0.0 |1096M| 42 | - | 60 | 98 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
988.86/989.24 c 918s| 5020k| 2627k| 0 | 0.0 |1098M| 42 | - | 60 | 107 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | -- | Inf
990.96/991.36 c 920s| 5030k| 2631k| 0 | 0.0 |1101M| 42 | - | 60 | 81 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
993.16/993.58 c 922s| 5040k| 2635k| 0 | 0.0 |1103M| 42 | - | 60 | 82 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
995.35/995.75 c 924s| 5050k| 2640k| 0 | 0.0 |1105M| 42 | - | 60 | 93 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
997.66/998.00 c 926s| 5060k| 2644k| 0 | 0.0 |1107M| 42 | - | 60 | 89 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | -- | Inf
999.76/1000.19 c 928s| 5070k| 2648k| 0 | 0.0 |1109M| 42 | - | 60 | 83 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
1001.96/1002.39 c 930s| 5080k| 2653k| 0 | 0.0 |1111M| 42 | - | 60 | 99 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
1004.16/1004.58 c 932s| 5090k| 2657k| 0 | 0.0 |1113M| 42 | - | 60 | 98 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | -- | Inf
1006.35/1006.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1006.35/1006.79 c 934s| 5100k| 2662k| 0 | 0.0 |1115M| 42 | - | 60 | 92 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
1008.55/1008.95 c 936s| 5110k| 2666k| 0 | 0.0 |1117M| 42 | - | 60 | 93 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1010.75/1011.11 c 938s| 5120k| 2670k| 0 | 0.0 |1119M| 42 | - | 60 | 72 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
1012.85/1013.28 c 940s| 5130k| 2674k| 0 | 0.0 |1122M| 42 | - | 60 | 82 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
1015.06/1015.49 c 942s| 5140k| 2679k| 0 | 0.0 |1124M| 42 | - | 60 | 90 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
1017.25/1017.65 c 944s| 5150k| 2683k| 0 | 0.0 |1126M| 42 | - | 60 | 87 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | -- | Inf
1019.46/1019.84 c 946s| 5160k| 2687k| 0 | 0.0 |1128M| 42 | - | 60 | 107 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | -- | Inf
1021.65/1022.06 c 948s| 5170k| 2692k| 0 | 0.0 |1130M| 42 | - | 60 | 117 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
1023.76/1024.18 c 950s| 5180k| 2696k| 0 | 0.0 |1132M| 42 | - | 60 | 106 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
1026.05/1026.45 c 952s| 5190k| 2701k| 0 | 0.0 |1134M| 42 | - | 60 | 116 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | -- | Inf
1028.25/1028.63 c 954s| 5200k| 2705k| 0 | 0.0 |1136M| 42 | - | 60 | 129 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
1030.45/1030.88 c 956s| 5210k| 2709k| 0 | 0.0 |1138M| 42 | - | 60 | 118 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
1032.65/1033.05 c 959s| 5220k| 2714k| 0 | 0.0 |1141M| 42 | - | 60 | 121 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
1034.85/1035.24 c 961s| 5230k| 2718k| 0 | 0.0 |1143M| 42 | - | 60 | 103 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | -- | Inf
1037.05/1037.48 c 963s| 5240k| 2723k| 0 | 0.0 |1145M| 42 | - | 60 | 101 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
1039.35/1039.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.35/1039.75 c 965s| 5250k| 2727k| 0 | 0.0 |1147M| 42 | - | 60 | 96 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | -- | Inf
1041.44/1041.90 c 967s| 5260k| 2731k| 0 | 0.0 |1149M| 42 | - | 60 | 90 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
1043.64/1044.06 c 969s| 5270k| 2736k| 0 | 0.0 |1151M| 42 | - | 60 | 100 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | -- | Inf
1045.85/1046.28 c 971s| 5280k| 2740k| 0 | 0.0 |1153M| 42 | - | 60 | 109 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | -- | Inf
1048.14/1048.54 c 973s| 5290k| 2745k| 0 | 0.0 |1155M| 42 | - | 60 | 113 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | -- | Inf
1050.34/1050.70 c 975s| 5300k| 2749k| 0 | 0.0 |1157M| 42 | - | 60 | 92 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | -- | Inf
1052.54/1052.94 c 977s| 5310k| 2753k| 0 | 0.0 |1160M| 42 | - | 60 | 80 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | -- | Inf
1054.64/1055.06 c 979s| 5320k| 2758k| 0 | 0.0 |1162M| 42 | - | 60 | 82 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | -- | Inf
1056.84/1057.21 c 981s| 5330k| 2762k| 0 | 0.0 |1164M| 42 | - | 60 | 89 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | -- | Inf
1059.04/1059.40 c 983s| 5340k| 2766k| 0 | 0.0 |1166M| 42 | - | 60 | 84 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | -- | Inf
1061.15/1061.59 c 985s| 5350k| 2771k| 0 | 0.0 |1168M| 42 | - | 60 | 92 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | -- | Inf
1063.25/1063.70 c 987s| 5360k| 2775k| 0 | 0.0 |1170M| 42 | - | 60 | 88 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | -- | Inf
1065.45/1065.82 c 989s| 5370k| 2780k| 0 | 0.0 |1172M| 42 | - | 60 | 81 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | -- | Inf
1067.65/1068.00 c 991s| 5380k| 2784k| 0 | 0.0 |1174M| 42 | - | 60 | 92 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | -- | Inf
1069.74/1070.19 c 993s| 5390k| 2788k| 0 | 0.0 |1176M| 42 | - | 60 | 101 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | -- | Inf
1071.94/1072.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1071.94/1072.39 c 995s| 5400k| 2793k| 0 | 0.0 |1179M| 42 | - | 60 | 119 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | -- | Inf
1074.14/1074.54 c 997s| 5410k| 2797k| 0 | 0.0 |1181M| 42 | - | 60 | 109 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | -- | Inf
1076.34/1076.74 c 999s| 5420k| 2802k| 0 | 0.0 |1183M| 42 | - | 60 | 102 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | -- | Inf
1078.64/1079.01 c 1001s| 5430k| 2806k| 0 | 0.0 |1185M| 42 | - | 60 | 80 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | -- | Inf
1080.84/1081.26 c 1004s| 5440k| 2810k| 0 | 0.0 |1187M| 42 | - | 60 | 99 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | -- | Inf
1083.14/1083.56 c 1006s| 5450k| 2815k| 0 | 0.0 |1189M| 42 | - | 60 | 100 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | -- | Inf
1085.34/1085.72 c 1008s| 5460k| 2819k| 0 | 0.0 |1191M| 42 | - | 60 | 88 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | -- | Inf
1087.43/1087.89 c 1010s| 5470k| 2823k| 0 | 0.0 |1193M| 42 | - | 60 | 85 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | -- | Inf
1089.64/1090.05 c 1012s| 5480k| 2828k| 0 | 0.0 |1195M| 42 | - | 60 | 96 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | -- | Inf
1091.73/1092.17 c 1014s| 5490k| 2832k| 0 | 0.0 |1198M| 42 | - | 60 | 88 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | -- | Inf
1093.93/1094.35 c 1016s| 5500k| 2836k| 0 | 0.0 |1200M| 42 | - | 60 | 77 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | -- | Inf
1096.13/1096.53 c 1018s| 5510k| 2841k| 0 | 0.0 |1202M| 42 | - | 60 | 120 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | -- | Inf
1098.33/1098.75 c 1020s| 5520k| 2845k| 0 | 0.0 |1204M| 42 | - | 60 | 101 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | -- | Inf
1100.53/1100.96 c 1022s| 5530k| 2850k| 0 | 0.0 |1206M| 42 | - | 60 | 88 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | -- | Inf
1102.73/1103.14 c 1024s| 5540k| 2854k| 0 | 0.0 |1208M| 42 | - | 60 | 95 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | -- | Inf
1104.93/1105.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1104.93/1105.39 c 1026s| 5550k| 2858k| 0 | 0.0 |1210M| 42 | - | 60 | 102 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | -- | Inf
1107.23/1107.70 c 1028s| 5560k| 2862k| 0 | 0.0 |1212M| 42 | - | 60 | 117 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | -- | Inf
1109.53/1109.92 c 1030s| 5570k| 2866k| 0 | 0.0 |1214M| 42 | - | 60 | 101 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | -- | Inf
1111.83/1112.21 c 1032s| 5580k| 2870k| 0 | 0.0 |1216M| 42 | - | 60 | 112 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | -- | Inf
1114.02/1114.49 c 1034s| 5590k| 2873k| 0 | 0.0 |1218M| 42 | - | 60 | 95 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | -- | Inf
1116.32/1116.75 c 1037s| 5600k| 2877k| 0 | 0.0 |1221M| 42 | - | 60 | 106 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | -- | Inf
1118.62/1119.07 c 1039s| 5610k| 2881k| 0 | 0.0 |1223M| 42 | - | 60 | 83 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | -- | Inf
1120.92/1121.31 c 1041s| 5620k| 2885k| 0 | 0.0 |1225M| 42 | - | 60 | 93 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | -- | Inf
1123.22/1123.60 c 1043s| 5630k| 2889k| 0 | 0.0 |1227M| 42 | - | 60 | 105 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | -- | Inf
1125.52/1125.92 c 1045s| 5640k| 2893k| 0 | 0.0 |1229M| 42 | - | 60 | 106 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | -- | Inf
1127.82/1128.22 c 1047s| 5650k| 2897k| 0 | 0.0 |1231M| 42 | - | 60 | 93 | 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | -- | Inf
1130.02/1130.49 c 1049s| 5660k| 2901k| 0 | 0.0 |1233M| 42 | - | 60 | 90 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | -- | Inf
1132.42/1132.81 c 1052s| 5670k| 2905k| 0 | 0.0 |1235M| 42 | - | 60 | 110 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | -- | Inf
1134.73/1135.11 c 1054s| 5680k| 2909k| 0 | 0.0 |1237M| 42 | - | 60 | 105 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | -- | Inf
1136.92/1137.37 c 1056s| 5690k| 2912k| 0 | 0.0 |1239M| 42 | - | 60 | 108 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | -- | Inf
1139.23/1139.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1139.23/1139.67 c 1058s| 5700k| 2916k| 0 | 0.0 |1241M| 42 | - | 60 | 117 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | -- | Inf
1141.62/1142.03 c 1060s| 5710k| 2920k| 0 | 0.0 |1243M| 42 | - | 60 | 117 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | -- | Inf
1143.81/1144.25 c 1062s| 5720k| 2924k| 0 | 0.0 |1245M| 42 | - | 60 | 112 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | -- | Inf
1146.01/1146.49 c 1064s| 5730k| 2928k| 0 | 0.0 |1247M| 42 | - | 60 | 96 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | -- | Inf
1148.31/1148.75 c 1066s| 5740k| 2932k| 0 | 0.0 |1249M| 42 | - | 60 | 114 | 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | -- | Inf
1150.51/1150.99 c 1069s| 5750k| 2936k| 0 | 0.0 |1252M| 42 | - | 60 | 114 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | -- | Inf
1152.81/1153.20 c 1071s| 5760k| 2940k| 0 | 0.0 |1254M| 42 | - | 60 | 99 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | -- | Inf
1155.01/1155.47 c 1073s| 5770k| 2944k| 0 | 0.0 |1256M| 42 | - | 60 | 100 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | -- | Inf
1157.21/1157.68 c 1075s| 5780k| 2948k| 0 | 0.0 |1258M| 42 | - | 60 | 92 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | -- | Inf
1159.61/1160.01 c 1077s| 5790k| 2951k| 0 | 0.0 |1260M| 42 | - | 60 | 97 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | -- | Inf
1161.91/1162.31 c 1079s| 5800k| 2955k| 0 | 0.0 |1262M| 42 | - | 60 | 100 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | -- | Inf
1164.11/1164.58 c 1081s| 5810k| 2959k| 0 | 0.0 |1264M| 42 | - | 60 | 96 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | -- | Inf
1166.41/1166.87 c 1083s| 5820k| 2963k| 0 | 0.0 |1266M| 42 | - | 60 | 98 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | -- | Inf
1168.70/1169.13 c 1086s| 5830k| 2967k| 0 | 0.0 |1268M| 42 | - | 60 | 103 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | -- | Inf
1171.01/1171.50 c 1088s| 5840k| 2971k| 0 | 0.0 |1270M| 42 | - | 60 | 104 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | -- | Inf
1173.32/1173.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1173.32/1173.71 c 1090s| 5850k| 2975k| 0 | 0.0 |1272M| 42 | - | 60 | 88 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | -- | Inf
1175.61/1176.01 c 1092s| 5860k| 2978k| 0 | 0.0 |1274M| 42 | - | 60 | 123 | 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | -- | Inf
1177.91/1178.35 c 1094s| 5870k| 2982k| 0 | 0.0 |1276M| 42 | - | 60 | 125 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | -- | Inf
1180.21/1180.61 c 1096s| 5880k| 2986k| 0 | 0.0 |1278M| 42 | - | 60 | 124 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | -- | Inf
1182.40/1182.89 c 1098s| 5890k| 2990k| 0 | 0.0 |1280M| 42 | - | 60 | 110 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | -- | Inf
1184.70/1185.14 c 1101s| 5900k| 2994k| 0 | 0.0 |1283M| 42 | - | 60 | 106 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | -- | Inf
1187.01/1187.41 c 1103s| 5910k| 2998k| 0 | 0.0 |1285M| 42 | - | 60 | 105 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | -- | Inf
1189.31/1189.74 c 1105s| 5920k| 3002k| 0 | 0.0 |1287M| 42 | - | 60 | 108 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | -- | Inf
1191.60/1192.03 c 1107s| 5930k| 3006k| 0 | 0.0 |1289M| 42 | - | 60 | 96 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | -- | Inf
1193.81/1194.25 c 1109s| 5940k| 3010k| 0 | 0.0 |1291M| 42 | - | 60 | 95 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | -- | Inf
1196.10/1196.54 c 1111s| 5950k| 3014k| 0 | 0.0 |1293M| 42 | - | 60 | 88 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | -- | Inf
1198.40/1198.83 c 1113s| 5960k| 3018k| 0 | 0.0 |1295M| 42 | - | 60 | 87 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | -- | Inf
1200.60/1201.09 c 1115s| 5970k| 3021k| 0 | 0.0 |1297M| 42 | - | 60 | 85 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | -- | Inf
1202.91/1203.32 c 1118s| 5980k| 3025k| 0 | 0.0 |1299M| 42 | - | 60 | 105 | 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | -- | Inf
1205.20/1205.61 c 1120s| 5990k| 3029k| 0 | 0.0 |1301M| 42 | - | 60 | 101 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | -- | Inf
1207.49/1207.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1207.49/1207.90 c 1122s| 6000k| 3033k| 0 | 0.0 |1303M| 42 | - | 60 | 95 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | -- | Inf
1209.70/1210.10 c 1124s| 6010k| 3037k| 0 | 0.0 |1305M| 42 | - | 60 | 107 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | -- | Inf
1212.09/1212.52 c 1126s| 6020k| 3041k| 0 | 0.0 |1307M| 42 | - | 60 | 110 | 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | -- | Inf
1214.39/1214.83 c 1128s| 6030k| 3045k| 0 | 0.0 |1309M| 42 | - | 60 | 89 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | -- | Inf
1216.70/1217.14 c 1130s| 6040k| 3049k| 0 | 0.0 |1311M| 42 | - | 60 | 121 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | -- | Inf
1218.99/1219.46 c 1133s| 6050k| 3053k| 0 | 0.0 |1314M| 42 | - | 60 | 126 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | -- | Inf
1221.39/1221.84 c 1135s| 6060k| 3056k| 0 | 0.0 |1316M| 42 | - | 60 | 117 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | -- | Inf
1223.80/1224.24 c 1137s| 6070k| 3060k| 0 | 0.0 |1318M| 42 | - | 60 | 114 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | -- | Inf
1226.09/1226.52 c 1139s| 6080k| 3064k| 0 | 0.0 |1320M| 42 | - | 60 | 111 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | -- | Inf
1228.30/1228.80 c 1141s| 6090k| 3068k| 0 | 0.0 |1322M| 42 | - | 60 | 112 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | -- | Inf
1230.59/1231.05 c 1143s| 6100k| 3072k| 0 | 0.0 |1324M| 42 | - | 60 | 139 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | -- | Inf
1232.98/1233.42 c 1146s| 6110k| 3076k| 0 | 0.0 |1326M| 42 | - | 60 | 127 | 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | -- | Inf
1235.29/1235.77 c 1148s| 6120k| 3080k| 0 | 0.0 |1328M| 42 | - | 60 | 136 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | -- | Inf
1237.59/1238.08 c 1150s| 6130k| 3084k| 0 | 0.0 |1330M| 42 | - | 60 | 116 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | -- | Inf
1239.89/1240.37 c 1152s| 6140k| 3088k| 0 | 0.0 |1332M| 42 | - | 60 | 105 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | -- | Inf
1242.29/1242.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1242.29/1242.75 c 1154s| 6150k| 3092k| 0 | 0.0 |1334M| 42 | - | 60 | 113 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | -- | Inf
1244.59/1245.07 c 1157s| 6160k| 3096k| 0 | 0.0 |1336M| 42 | - | 60 | 127 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | -- | Inf
1246.99/1247.44 c 1159s| 6170k| 3100k| 0 | 0.0 |1338M| 42 | - | 60 | 106 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | -- | Inf
1249.29/1249.74 c 1161s| 6180k| 3103k| 0 | 0.0 |1341M| 42 | - | 60 | 82 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | -- | Inf
1251.58/1252.02 c 1163s| 6190k| 3107k| 0 | 0.0 |1343M| 42 | - | 60 | 86 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | -- | Inf
1253.78/1254.26 c 1165s| 6200k| 3111k| 0 | 0.0 |1345M| 42 | - | 60 | 98 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | -- | Inf
1256.08/1256.53 c 1167s| 6210k| 3115k| 0 | 0.0 |1347M| 42 | - | 60 | 117 | 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | -- | Inf
1258.48/1258.90 c 1169s| 6220k| 3119k| 0 | 0.0 |1349M| 42 | - | 60 | 123 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | -- | Inf
1260.69/1261.18 c 1172s| 6230k| 3123k| 0 | 0.0 |1351M| 42 | - | 60 | 112 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | -- | Inf
1262.98/1263.48 c 1174s| 6240k| 3127k| 0 | 0.0 |1353M| 42 | - | 60 | 120 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | -- | Inf
1265.28/1265.73 c 1176s| 6250k| 3131k| 0 | 0.0 |1355M| 42 | - | 60 | 103 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | -- | Inf
1267.68/1268.15 c 1178s| 6260k| 3135k| 0 | 0.0 |1357M| 42 | - | 60 | 129 | 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | -- | Inf
1268.99/1269.45 c (node 6265576) switching to memory saving mode (mem: 1296.0M/1620.0M)
1271.08/1271.51 c 1181s| 6270k| 3136k| 0 | 0.0 |1358M| 55 | - | 60 | 107 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | -- | Inf
1273.78/1274.26 c 1184s| 6280k| 3135k| 0 | 0.0 |1356M| 56 | - | 60 | 107 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | -- | Inf
1276.58/1277.02 c 1186s| 6290k| 3133k| 0 | 0.0 |1355M| 56 | - | 60 | 107 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | -- | Inf
1279.47/1279.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1279.47/1279.92 c 1189s| 6300k| 3132k| 0 | 0.0 |1353M| 56 | - | 60 | 107 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | -- | Inf
1282.27/1282.74 c 1192s| 6310k| 3130k| 0 | 0.0 |1351M| 56 | - | 60 | 107 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | -- | Inf
1285.08/1285.52 c 1194s| 6320k| 3129k| 0 | 0.0 |1350M| 56 | - | 60 | 107 | 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | -- | Inf
1287.88/1288.35 c 1197s| 6330k| 3128k| 0 | 0.0 |1348M| 56 | - | 60 | 106 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | -- | Inf
1290.67/1291.12 c 1199s| 6340k| 3126k| 0 | 0.0 |1347M| 56 | - | 60 | 106 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | -- | Inf
1293.37/1293.88 c 1202s| 6350k| 3125k| 0 | 0.0 |1346M| 56 | - | 60 | 106 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | -- | Inf
1296.17/1296.70 c 1204s| 6360k| 3124k| 0 | 0.0 |1345M| 56 | - | 60 | 105 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | -- | Inf
1299.07/1299.54 c 1207s| 6370k| 3123k| 0 | 0.0 |1344M| 56 | - | 60 | 105 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | -- | Inf
1301.88/1302.35 c 1209s| 6380k| 3121k| 0 | 0.0 |1343M| 56 | - | 60 | 103 | 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | -- | Inf
1304.67/1305.17 c 1212s| 6390k| 3120k| 0 | 0.0 |1342M| 56 | - | 60 | 102 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | -- | Inf
1307.47/1307.94 c 1215s| 6400k| 3119k| 0 | 0.0 |1341M| 56 | - | 60 | 101 | 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | -- | Inf
1310.27/1310.75 c 1217s| 6410k| 3118k| 0 | 0.0 |1339M| 56 | - | 60 | 101 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | -- | Inf
1313.07/1313.52 c 1220s| 6420k| 3116k| 0 | 0.0 |1339M| 56 | - | 60 | 101 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | -- | Inf
1315.86/1316.30 c 1222s| 6430k| 3115k| 0 | 0.0 |1338M| 56 | - | 60 | 101 | 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | -- | Inf
1318.66/1319.10 c 1225s| 6440k| 3114k| 0 | 0.0 |1336M| 56 | - | 60 | 101 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | -- | Inf
1321.47/1321.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1321.47/1321.94 c 1227s| 6450k| 3113k| 0 | 0.0 |1335M| 56 | - | 60 | 101 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | -- | Inf
1324.27/1324.76 c 1230s| 6460k| 3112k| 0 | 0.0 |1334M| 56 | - | 60 | 101 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | -- | Inf
1327.06/1327.59 c 1233s| 6470k| 3110k| 0 | 0.0 |1333M| 56 | - | 60 | 101 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | -- | Inf
1329.96/1330.40 c 1235s| 6480k| 3109k| 0 | 0.0 |1331M| 56 | - | 60 | 101 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | -- | Inf
1332.77/1333.21 c 1238s| 6490k| 3108k| 0 | 0.0 |1330M| 56 | - | 60 | 101 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | -- | Inf
1335.56/1336.09 c 1240s| 6500k| 3107k| 0 | 0.0 |1328M| 56 | - | 60 | 101 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | -- | Inf
1338.46/1338.97 c 1243s| 6510k| 3105k| 0 | 0.0 |1327M| 56 | - | 60 | 101 | 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | -- | Inf
1341.26/1341.77 c 1245s| 6520k| 3104k| 0 | 0.0 |1325M| 56 | - | 60 | 101 | 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | -- | Inf
1344.16/1344.61 c 1248s| 6530k| 3103k| 0 | 0.0 |1323M| 56 | - | 60 | 101 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | -- | Inf
1346.96/1347.48 c 1251s| 6540k| 3102k| 0 | 0.0 |1321M| 56 | - | 60 | 101 | 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | -- | Inf
1349.86/1350.35 c 1253s| 6550k| 3100k| 0 | 0.0 |1320M| 56 | - | 60 | 101 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | -- | Inf
1352.75/1353.21 c 1256s| 6560k| 3099k| 0 | 0.0 |1318M| 56 | - | 60 | 101 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | -- | Inf
1355.55/1356.10 c 1258s| 6570k| 3098k| 0 | 0.0 |1316M| 56 | - | 60 | 100 | 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | -- | Inf
1358.35/1358.84 c 1261s| 6580k| 3097k| 0 | 0.0 |1315M| 56 | - | 60 | 99 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | -- | Inf
1361.15/1361.64 c 1264s| 6590k| 3096k| 0 | 0.0 |1314M| 56 | - | 60 | 98 | 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | -- | Inf
1363.95/1364.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1363.95/1364.43 c 1266s| 6600k| 3095k| 0 | 0.0 |1314M| 56 | - | 60 | 97 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | -- | Inf
1366.76/1367.24 c 1269s| 6610k| 3094k| 0 | 0.0 |1313M| 56 | - | 60 | 96 | 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | -- | Inf
1369.55/1370.03 c 1271s| 6620k| 3093k| 0 | 0.0 |1312M| 56 | - | 60 | 95 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | -- | Inf
1372.36/1372.84 c 1274s| 6630k| 3092k| 0 | 0.0 |1311M| 56 | - | 60 | 95 | 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | -- | Inf
1375.14/1375.67 c 1276s| 6640k| 3091k| 0 | 0.0 |1310M| 56 | - | 60 | 93 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | -- | Inf
1377.95/1378.49 c 1279s| 6650k| 3090k| 0 | 0.0 |1309M| 56 | - | 60 | 93 | 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | -- | Inf
1380.75/1381.26 c 1282s| 6660k| 3089k| 0 | 0.0 |1308M| 56 | - | 60 | 93 | 0 | 0 | 0 | 653k| 0 | 0.000000e+00 | -- | Inf
1383.54/1384.07 c 1284s| 6670k| 3088k| 0 | 0.0 |1308M| 56 | - | 60 | 93 | 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | -- | Inf
1386.34/1386.86 c 1287s| 6680k| 3087k| 0 | 0.0 |1307M| 56 | - | 60 | 93 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | -- | Inf
1389.14/1389.62 c 1289s| 6690k| 3086k| 0 | 0.0 |1306M| 56 | - | 60 | 93 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | -- | Inf
1391.94/1392.43 c 1292s| 6700k| 3085k| 0 | 0.0 |1305M| 56 | - | 60 | 92 | 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | -- | Inf
1394.64/1395.19 c 1294s| 6710k| 3084k| 0 | 0.0 |1305M| 56 | - | 60 | 92 | 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | -- | Inf
1397.44/1397.94 c 1297s| 6720k| 3083k| 0 | 0.0 |1304M| 56 | - | 60 | 92 | 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | -- | Inf
1400.24/1400.74 c 1299s| 6730k| 3082k| 0 | 0.0 |1303M| 56 | - | 60 | 91 | 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | -- | Inf
1403.05/1403.50 c 1302s| 6740k| 3081k| 0 | 0.0 |1302M| 56 | - | 60 | 89 | 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | -- | Inf
1405.73/1406.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1405.73/1406.27 c 1304s| 6750k| 3080k| 0 | 0.0 |1301M| 56 | - | 60 | 88 | 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | -- | Inf
1408.44/1408.98 c 1307s| 6760k| 3079k| 0 | 0.0 |1300M| 56 | - | 60 | 89 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | -- | Inf
1411.14/1411.67 c 1309s| 6770k| 3078k| 0 | 0.0 |1300M| 56 | - | 60 | 89 | 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | -- | Inf
1413.93/1414.48 c 1312s| 6780k| 3077k| 0 | 0.0 |1299M| 56 | - | 60 | 89 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | -- | Inf
1416.74/1417.29 c 1314s| 6790k| 3076k| 0 | 0.0 |1298M| 56 | - | 60 | 89 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | -- | Inf
1419.64/1420.11 c 1317s| 6800k| 3075k| 0 | 0.0 |1297M| 56 | - | 60 | 89 | 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | -- | Inf
1422.33/1422.87 c 1320s| 6810k| 3074k| 0 | 0.0 |1296M| 56 | - | 60 | 89 | 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | -- | Inf
1425.14/1425.67 c 1322s| 6820k| 3073k| 0 | 0.0 |1295M| 56 | - | 60 | 89 | 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | -- | Inf
1428.03/1428.52 c 1325s| 6830k| 3072k| 0 | 0.0 |1294M| 56 | - | 60 | 89 | 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | -- | Inf
1430.83/1431.34 c 1327s| 6840k| 3071k| 0 | 0.0 |1294M| 56 | - | 60 | 88 | 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | -- | Inf
1433.53/1434.07 c 1330s| 6850k| 3070k| 0 | 0.0 |1293M| 56 | - | 60 | 88 | 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | -- | Inf
1436.43/1436.92 c 1332s| 6860k| 3069k| 0 | 0.0 |1292M| 56 | - | 60 | 88 | 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | -- | Inf
1439.12/1439.66 c 1335s| 6870k| 3069k| 0 | 0.0 |1292M| 56 | - | 60 | 88 | 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | -- | Inf
1441.93/1442.42 c 1337s| 6880k| 3068k| 0 | 0.0 |1291M| 56 | - | 60 | 88 | 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | -- | Inf
1444.62/1445.13 c 1340s| 6890k| 3067k| 0 | 0.0 |1290M| 56 | - | 60 | 86 | 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | -- | Inf
1447.33/1447.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1447.33/1447.83 c 1342s| 6900k| 3066k| 0 | 0.0 |1289M| 56 | - | 60 | 86 | 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | -- | Inf
1450.03/1450.57 c 1345s| 6910k| 3065k| 0 | 0.0 |1288M| 56 | - | 60 | 86 | 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | -- | Inf
1452.73/1453.26 c 1347s| 6920k| 3064k| 0 | 0.0 |1288M| 56 | - | 60 | 86 | 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | -- | Inf
1455.53/1456.00 c 1350s| 6930k| 3063k| 0 | 0.0 |1287M| 56 | - | 60 | 86 | 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | -- | Inf
1458.33/1458.80 c 1352s| 6940k| 3063k| 0 | 0.0 |1286M| 56 | - | 60 | 86 | 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | -- | Inf
1461.13/1461.60 c 1355s| 6950k| 3062k| 0 | 0.0 |1285M| 56 | - | 60 | 86 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | -- | Inf
1463.82/1464.36 c 1357s| 6960k| 3061k| 0 | 0.0 |1284M| 56 | - | 60 | 86 | 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | -- | Inf
1466.63/1467.14 c 1360s| 6970k| 3060k| 0 | 0.0 |1283M| 56 | - | 60 | 86 | 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | -- | Inf
1469.42/1469.94 c 1362s| 6980k| 3059k| 0 | 0.0 |1282M| 56 | - | 60 | 86 | 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | -- | Inf
1472.22/1472.73 c 1365s| 6990k| 3058k| 0 | 0.0 |1281M| 56 | - | 60 | 85 | 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | -- | Inf
1475.02/1475.52 c 1368s| 7000k| 3057k| 0 | 0.0 |1280M| 56 | - | 60 | 85 | 0 | 0 | 0 | 790k| 0 | 0.000000e+00 | -- | Inf
1477.83/1478.32 c 1370s| 7010k| 3056k| 0 | 0.0 |1279M| 56 | - | 60 | 85 | 0 | 0 | 0 | 794k| 0 | 0.000000e+00 | -- | Inf
1480.62/1481.16 c 1373s| 7020k| 3055k| 0 | 0.0 |1278M| 56 | - | 60 | 85 | 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | -- | Inf
1483.43/1483.93 c 1375s| 7030k| 3054k| 0 | 0.0 |1277M| 56 | - | 60 | 85 | 0 | 0 | 0 | 802k| 0 | 0.000000e+00 | -- | Inf
1486.22/1486.74 c 1378s| 7040k| 3053k| 0 | 0.0 |1276M| 56 | - | 60 | 84 | 0 | 0 | 0 | 806k| 0 | 0.000000e+00 | -- | Inf
1489.01/1489.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1489.01/1489.51 c 1380s| 7050k| 3052k| 0 | 0.0 |1275M| 56 | - | 60 | 83 | 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | -- | Inf
1491.81/1492.32 c 1383s| 7060k| 3051k| 0 | 0.0 |1274M| 56 | - | 60 | 81 | 0 | 0 | 0 | 814k| 0 | 0.000000e+00 | -- | Inf
1494.61/1495.18 c 1386s| 7070k| 3050k| 0 | 0.0 |1273M| 56 | - | 60 | 80 | 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | -- | Inf
1497.42/1497.94 c 1388s| 7080k| 3049k| 0 | 0.0 |1272M| 56 | - | 60 | 80 | 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | -- | Inf
1500.21/1500.75 c 1391s| 7090k| 3048k| 0 | 0.0 |1271M| 56 | - | 60 | 80 | 0 | 0 | 0 | 827k| 0 | 0.000000e+00 | -- | Inf
1503.12/1503.60 c 1393s| 7100k| 3047k| 0 | 0.0 |1270M| 56 | - | 60 | 80 | 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | -- | Inf
1505.91/1506.42 c 1396s| 7110k| 3046k| 0 | 0.0 |1269M| 56 | - | 60 | 79 | 0 | 0 | 0 | 835k| 0 | 0.000000e+00 | -- | Inf
1508.72/1509.29 c 1399s| 7120k| 3045k| 0 | 0.0 |1268M| 56 | - | 60 | 79 | 0 | 0 | 0 | 839k| 0 | 0.000000e+00 | -- | Inf
1511.61/1512.12 c 1401s| 7130k| 3044k| 0 | 0.0 |1267M| 56 | - | 60 | 79 | 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | -- | Inf
1514.41/1514.98 c 1404s| 7140k| 3042k| 0 | 0.0 |1266M| 56 | - | 60 | 79 | 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | -- | Inf
1517.41/1517.91 c 1406s| 7150k| 3041k| 0 | 0.0 |1264M| 56 | - | 60 | 80 | 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | -- | Inf
1520.31/1520.81 c 1409s| 7160k| 3040k| 0 | 0.0 |1263M| 56 | - | 60 | 78 | 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | -- | Inf
1523.11/1523.64 c 1412s| 7170k| 3039k| 0 | 0.0 |1261M| 56 | - | 60 | 78 | 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | -- | Inf
1526.00/1526.53 c 1414s| 7180k| 3038k| 0 | 0.0 |1260M| 56 | - | 60 | 78 | 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | -- | Inf
1528.80/1529.39 c 1417s| 7190k| 3037k| 0 | 0.0 |1259M| 56 | - | 60 | 78 | 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | -- | Inf
1531.71/1532.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1531.71/1532.21 c 1420s| 7200k| 3036k| 0 | 0.0 |1258M| 56 | - | 60 | 78 | 0 | 0 | 0 | 873k| 0 | 0.000000e+00 | -- | Inf
1534.51/1535.03 c 1422s| 7210k| 3034k| 0 | 0.0 |1256M| 56 | - | 60 | 78 | 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | -- | Inf
1537.31/1537.84 c 1425s| 7220k| 3033k| 0 | 0.0 |1255M| 56 | - | 60 | 78 | 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | -- | Inf
1540.20/1540.72 c 1427s| 7230k| 3032k| 0 | 0.0 |1254M| 56 | - | 60 | 78 | 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | -- | Inf
1543.00/1543.56 c 1430s| 7240k| 3031k| 0 | 0.0 |1253M| 56 | - | 60 | 77 | 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | -- | Inf
1545.90/1546.41 c 1433s| 7250k| 3030k| 0 | 0.0 |1251M| 56 | - | 60 | 78 | 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | -- | Inf
1548.70/1549.29 c 1435s| 7260k| 3029k| 0 | 0.0 |1250M| 56 | - | 60 | 78 | 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | -- | Inf
1551.50/1552.10 c 1438s| 7270k| 3028k| 0 | 0.0 |1249M| 56 | - | 60 | 78 | 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | -- | Inf
1554.39/1554.93 c 1440s| 7280k| 3027k| 0 | 0.0 |1248M| 56 | - | 60 | 78 | 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | -- | Inf
1557.19/1557.76 c 1443s| 7290k| 3026k| 0 | 0.0 |1246M| 56 | - | 60 | 78 | 0 | 0 | 0 | 910k| 0 | 0.000000e+00 | -- | Inf
1560.09/1560.64 c 1446s| 7300k| 3025k| 0 | 0.0 |1245M| 56 | - | 60 | 78 | 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | -- | Inf
1562.89/1563.46 c 1448s| 7310k| 3024k| 0 | 0.0 |1244M| 56 | - | 60 | 78 | 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | -- | Inf
1565.69/1566.25 c 1451s| 7320k| 3023k| 0 | 0.0 |1243M| 56 | - | 60 | 78 | 0 | 0 | 0 | 922k| 0 | 0.000000e+00 | -- | Inf
1568.49/1569.02 c 1453s| 7330k| 3022k| 0 | 0.0 |1241M| 56 | - | 60 | 78 | 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | -- | Inf
1571.29/1571.87 c 1456s| 7340k| 3021k| 0 | 0.0 |1240M| 56 | - | 60 | 78 | 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | -- | Inf
1574.19/1574.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1574.19/1574.73 c 1458s| 7350k| 3020k| 0 | 0.0 |1239M| 56 | - | 60 | 78 | 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | -- | Inf
1576.99/1577.56 c 1461s| 7360k| 3019k| 0 | 0.0 |1237M| 56 | - | 60 | 78 | 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | -- | Inf
1579.79/1580.35 c 1464s| 7370k| 3018k| 0 | 0.0 |1236M| 56 | - | 60 | 79 | 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | -- | Inf
1582.49/1583.09 c 1466s| 7380k| 3017k| 0 | 0.0 |1236M| 56 | - | 60 | 79 | 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | -- | Inf
1585.18/1585.78 c 1468s| 7390k| 3017k| 0 | 0.0 |1235M| 56 | - | 60 | 79 | 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | -- | Inf
1587.90/1588.47 c 1471s| 7400k| 3016k| 0 | 0.0 |1235M| 56 | - | 60 | 79 | 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | -- | Inf
1590.69/1591.24 c 1474s| 7410k| 3015k| 0 | 0.0 |1234M| 56 | - | 60 | 80 | 0 | 0 | 0 | 959k| 0 | 0.000000e+00 | -- | Inf
1593.39/1593.97 c 1476s| 7420k| 3015k| 0 | 0.0 |1233M| 56 | - | 60 | 78 | 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | -- | Inf
1596.18/1596.71 c 1479s| 7430k| 3014k| 0 | 0.0 |1233M| 56 | - | 60 | 78 | 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | -- | Inf
1598.79/1599.32 c 1481s| 7440k| 3013k| 0 | 0.0 |1232M| 56 | - | 60 | 78 | 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | -- | Inf
1601.48/1602.02 c 1483s| 7450k| 3013k| 0 | 0.0 |1232M| 56 | - | 60 | 78 | 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | -- | Inf
1604.18/1604.76 c 1486s| 7460k| 3012k| 0 | 0.0 |1231M| 56 | - | 60 | 77 | 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | -- | Inf
1606.88/1607.44 c 1488s| 7470k| 3011k| 0 | 0.0 |1230M| 56 | - | 60 | 77 | 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | -- | Inf
1609.68/1610.21 c 1491s| 7480k| 3011k| 0 | 0.0 |1230M| 56 | - | 60 | 77 | 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | -- | Inf
1612.37/1612.93 c 1493s| 7490k| 3010k| 0 | 0.0 |1229M| 56 | - | 60 | 77 | 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | -- | Inf
1614.97/1615.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1614.97/1615.57 c 1496s| 7500k| 3010k| 0 | 0.0 |1229M| 56 | - | 60 | 77 | 0 | 0 | 0 | 994k| 0 | 0.000000e+00 | -- | Inf
1617.78/1618.36 c 1498s| 7510k| 3009k| 0 | 0.0 |1228M| 56 | - | 60 | 77 | 0 | 0 | 0 | 998k| 0 | 0.000000e+00 | -- | Inf
1620.47/1621.06 c 1501s| 7520k| 3008k| 0 | 0.0 |1228M| 56 | - | 60 | 77 | 0 | 0 | 0 |1002k| 0 | 0.000000e+00 | -- | Inf
1623.18/1623.75 c 1503s| 7530k| 3008k| 0 | 0.0 |1227M| 56 | - | 60 | 76 | 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | -- | Inf
1625.88/1626.41 c 1506s| 7540k| 3007k| 0 | 0.0 |1227M| 56 | - | 60 | 76 | 0 | 0 | 0 |1010k| 0 | 0.000000e+00 | -- | Inf
1628.59/1629.10 c 1508s| 7550k| 3007k| 0 | 0.0 |1226M| 56 | - | 60 | 76 | 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | -- | Inf
1631.18/1631.80 c 1510s| 7560k| 3006k| 0 | 0.0 |1226M| 56 | - | 60 | 76 | 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | -- | Inf
1633.87/1634.44 c 1513s| 7570k| 3005k| 0 | 0.0 |1225M| 56 | - | 60 | 77 | 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | -- | Inf
1636.57/1637.10 c 1515s| 7580k| 3005k| 0 | 0.0 |1225M| 56 | - | 60 | 77 | 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | -- | Inf
1639.17/1639.73 c 1518s| 7590k| 3004k| 0 | 0.0 |1224M| 56 | - | 60 | 78 | 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | -- | Inf
1641.87/1642.45 c 1520s| 7600k| 3004k| 0 | 0.0 |1224M| 56 | - | 60 | 78 | 0 | 0 | 0 |1033k| 0 | 0.000000e+00 | -- | Inf
1644.57/1645.18 c 1523s| 7610k| 3003k| 0 | 0.0 |1223M| 56 | - | 60 | 78 | 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | -- | Inf
1647.27/1647.90 c 1525s| 7620k| 3003k| 0 | 0.0 |1223M| 56 | - | 60 | 78 | 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | -- | Inf
1650.07/1650.68 c 1528s| 7630k| 3002k| 0 | 0.0 |1222M| 56 | - | 60 | 78 | 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | -- | Inf
1652.87/1653.40 c 1530s| 7640k| 3001k| 0 | 0.0 |1221M| 56 | - | 60 | 78 | 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | -- | Inf
1655.46/1656.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1655.46/1656.05 c 1533s| 7650k| 3001k| 0 | 0.0 |1221M| 56 | - | 60 | 77 | 0 | 0 | 0 |1053k| 0 | 0.000000e+00 | -- | Inf
1658.06/1658.68 c 1535s| 7660k| 3000k| 0 | 0.0 |1220M| 56 | - | 60 | 77 | 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | -- | Inf
1660.77/1661.32 c 1537s| 7670k| 3000k| 0 | 0.0 |1220M| 56 | - | 60 | 78 | 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | -- | Inf
1663.46/1664.03 c 1540s| 7680k| 2999k| 0 | 0.0 |1219M| 56 | - | 60 | 78 | 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | -- | Inf
1666.17/1666.74 c 1542s| 7690k| 2998k| 0 | 0.0 |1219M| 56 | - | 60 | 78 | 0 | 0 | 0 |1068k| 0 | 0.000000e+00 | -- | Inf
1668.86/1669.44 c 1545s| 7700k| 2998k| 0 | 0.0 |1218M| 56 | - | 60 | 77 | 0 | 0 | 0 |1072k| 0 | 0.000000e+00 | -- | Inf
1671.47/1672.02 c 1547s| 7710k| 2997k| 0 | 0.0 |1218M| 56 | - | 60 | 78 | 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | -- | Inf
1674.06/1674.62 c 1550s| 7720k| 2997k| 0 | 0.0 |1217M| 56 | - | 60 | 78 | 0 | 0 | 0 |1079k| 0 | 0.000000e+00 | -- | Inf
1676.66/1677.27 c 1552s| 7730k| 2996k| 0 | 0.0 |1217M| 56 | - | 60 | 78 | 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | -- | Inf
1679.46/1680.02 c 1555s| 7740k| 2996k| 0 | 0.0 |1216M| 56 | - | 60 | 78 | 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | -- | Inf
1682.06/1682.69 c 1557s| 7750k| 2995k| 0 | 0.0 |1216M| 56 | - | 60 | 78 | 0 | 0 | 0 |1091k| 0 | 0.000000e+00 | -- | Inf
1684.86/1685.40 c 1559s| 7760k| 2995k| 0 | 0.0 |1215M| 56 | - | 60 | 78 | 0 | 0 | 0 |1095k| 0 | 0.000000e+00 | -- | Inf
1687.46/1688.07 c 1562s| 7770k| 2994k| 0 | 0.0 |1215M| 56 | - | 60 | 78 | 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | -- | Inf
1690.16/1690.73 c 1564s| 7780k| 2994k| 0 | 0.0 |1214M| 56 | - | 60 | 78 | 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | -- | Inf
1692.75/1693.38 c 1567s| 7790k| 2993k| 0 | 0.0 |1214M| 56 | - | 60 | 78 | 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | -- | Inf
1695.45/1696.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1695.45/1696.09 c 1569s| 7800k| 2992k| 0 | 0.0 |1213M| 56 | - | 60 | 77 | 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | -- | Inf
1698.15/1698.75 c 1572s| 7810k| 2992k| 0 | 0.0 |1213M| 56 | - | 60 | 77 | 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | -- | Inf
1700.85/1701.43 c 1574s| 7820k| 2991k| 0 | 0.0 |1212M| 56 | - | 60 | 76 | 0 | 0 | 0 |1118k| 0 | 0.000000e+00 | -- | Inf
1703.46/1704.09 c 1577s| 7830k| 2991k| 0 | 0.0 |1212M| 56 | - | 60 | 74 | 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | -- | Inf
1706.25/1706.83 c 1579s| 7840k| 2990k| 0 | 0.0 |1211M| 56 | - | 60 | 74 | 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | -- | Inf
1708.95/1709.59 c 1582s| 7850k| 2990k| 0 | 0.0 |1211M| 56 | - | 60 | 75 | 0 | 0 | 0 |1130k| 0 | 0.000000e+00 | -- | Inf
1711.65/1712.29 c 1584s| 7860k| 2989k| 0 | 0.0 |1210M| 56 | - | 60 | 76 | 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | -- | Inf
1714.45/1715.02 c 1587s| 7870k| 2988k| 0 | 0.0 |1210M| 56 | - | 60 | 76 | 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | -- | Inf
1717.15/1717.73 c 1589s| 7880k| 2988k| 0 | 0.0 |1209M| 56 | - | 60 | 76 | 0 | 0 | 0 |1142k| 0 | 0.000000e+00 | -- | Inf
1719.85/1720.44 c 1591s| 7890k| 2987k| 0 | 0.0 |1209M| 56 | - | 60 | 77 | 0 | 0 | 0 |1146k| 0 | 0.000000e+00 | -- | Inf
1722.45/1723.09 c 1594s| 7900k| 2987k| 0 | 0.0 |1208M| 56 | - | 60 | 77 | 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | -- | Inf
1725.25/1725.81 c 1596s| 7910k| 2986k| 0 | 0.0 |1208M| 56 | - | 60 | 77 | 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | -- | Inf
1727.94/1728.53 c 1599s| 7920k| 2986k| 0 | 0.0 |1207M| 56 | - | 60 | 77 | 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | -- | Inf
1730.54/1731.16 c 1601s| 7930k| 2985k| 0 | 0.0 |1207M| 56 | - | 60 | 77 | 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | -- | Inf
1733.24/1733.88 c 1604s| 7940k| 2984k| 0 | 0.0 |1206M| 56 | - | 60 | 77 | 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | -- | Inf
1735.94/1736.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.94/1736.57 c 1606s| 7950k| 2984k| 0 | 0.0 |1206M| 56 | - | 60 | 77 | 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | -- | Inf
1738.64/1739.22 c 1608s| 7960k| 2983k| 0 | 0.0 |1205M| 56 | - | 60 | 76 | 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | -- | Inf
1741.24/1741.85 c 1611s| 7970k| 2983k| 0 | 0.0 |1205M| 56 | - | 60 | 76 | 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | -- | Inf
1743.95/1744.54 c 1613s| 7980k| 2982k| 0 | 0.0 |1204M| 56 | - | 60 | 76 | 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | -- | Inf
1746.55/1747.18 c 1616s| 7990k| 2982k| 0 | 0.0 |1204M| 56 | - | 60 | 76 | 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | -- | Inf
1749.24/1749.86 c 1618s| 8000k| 2982k| 0 | 0.0 |1203M| 56 | - | 60 | 76 | 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | -- | Inf
1751.84/1752.49 c 1621s| 8010k| 2981k| 0 | 0.0 |1203M| 56 | - | 60 | 76 | 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | -- | Inf
1754.64/1755.20 c 1623s| 8020k| 2980k| 0 | 0.0 |1202M| 56 | - | 60 | 76 | 0 | 0 | 0 |1197k| 0 | 0.000000e+00 | -- | Inf
1757.14/1757.77 c 1625s| 8030k| 2980k| 0 | 0.0 |1202M| 56 | - | 60 | 76 | 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | -- | Inf
1759.83/1760.45 c 1628s| 8040k| 2979k| 0 | 0.0 |1202M| 56 | - | 60 | 76 | 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | -- | Inf
1762.53/1763.13 c 1630s| 8050k| 2979k| 0 | 0.0 |1201M| 56 | - | 60 | 76 | 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | -- | Inf
1765.14/1765.71 c 1633s| 8060k| 2979k| 0 | 0.0 |1201M| 56 | - | 60 | 76 | 0 | 0 | 0 |1212k| 0 | 0.000000e+00 | -- | Inf
1767.74/1768.37 c 1635s| 8070k| 2978k| 0 | 0.0 |1200M| 56 | - | 60 | 77 | 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | -- | Inf
1770.44/1771.07 c 1637s| 8080k| 2978k| 0 | 0.0 |1200M| 56 | - | 60 | 77 | 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | -- | Inf
1773.13/1773.70 c 1640s| 8090k| 2977k| 0 | 0.0 |1199M| 56 | - | 60 | 77 | 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | -- | Inf
1775.73/1776.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1775.73/1776.34 c 1642s| 8100k| 2977k| 0 | 0.0 |1199M| 56 | - | 60 | 77 | 0 | 0 | 0 |1227k| 0 | 0.000000e+00 | -- | Inf
1778.43/1779.02 c 1645s| 8110k| 2976k| 0 | 0.0 |1198M| 56 | - | 60 | 77 | 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | -- | Inf
1781.03/1781.66 c 1647s| 8120k| 2976k| 0 | 0.0 |1198M| 56 | - | 60 | 77 | 0 | 0 | 0 |1235k| 0 | 0.000000e+00 | -- | Inf
1783.73/1784.35 c 1650s| 8130k| 2975k| 0 | 0.0 |1197M| 56 | - | 60 | 77 | 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | -- | Inf
1786.33/1786.99 c 1652s| 8140k| 2974k| 0 | 0.0 |1197M| 56 | - | 60 | 77 | 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | -- | Inf
1789.13/1789.74 c 1655s| 8150k| 2974k| 0 | 0.0 |1196M| 56 | - | 60 | 78 | 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | -- | Inf
1791.83/1792.44 c 1657s| 8160k| 2973k| 0 | 0.0 |1196M| 56 | - | 60 | 78 | 0 | 0 | 0 |1251k| 0 | 0.000000e+00 | -- | Inf
1794.53/1795.12 c 1659s| 8170k| 2973k| 0 | 0.0 |1195M| 56 | - | 60 | 78 | 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | -- | Inf
1797.22/1797.82 c 1662s| 8180k| 2972k| 0 | 0.0 |1195M| 56 | - | 60 | 78 | 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | -- | Inf
1799.83/1800.48 c 1664s| 8190k| 2972k| 0 | 0.0 |1194M| 56 | - | 60 | 78 | 0 | 0 | 0 |1262k| 0 | 0.000000e+00 | -- | Inf
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1664.53
1800.04/1800.61 c Solving Nodes : 8190535
1800.04/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.61 c Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Gap : infinite
1800.04/1800.61 s UNKNOWN
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time : 1664.53
1800.04/1800.61 c Original Problem :
1800.04/1800.61 c Problem name : HOME/instance-2664014-1276602408.opb
1800.04/1800.61 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 15 initial, 15 maximal
1800.04/1800.61 c Presolved Problem :
1800.04/1800.61 c Problem name : t_HOME/instance-2664014-1276602408.opb
1800.04/1800.61 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 7 initial, 553 maximal
1800.04/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.04/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.61 c linear : 0.00 0 0 0 0 0 8 0 0
1800.04/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c root node : - 0 - - 0 - - - -
1800.04/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.61 c linear : 7 0 14497134 0 5689741 2717670 38053136 0 0 0
1800.04/1800.61 c logicor : 0+ 0 2952612 0 0 0 1112999 0 0 0
1800.04/1800.61 c countsols : 0 0 0 0 5689741 0 0 0 0 0
1800.04/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.61 c linear : 1119.12 0.00 1115.23 0.00 3.89
1800.04/1800.61 c logicor : 22.06 0.00 22.06 0.00 0.00
1800.04/1800.61 c countsols : 2.30 0.00 0.00 0.00 2.30
1800.04/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.61 c vbounds : 6.53 2 0 0
1800.04/1800.61 c rootredcost : 7.00 0 0 0
1800.04/1800.61 c pseudoobj : 6.30 0 0 0
1800.04/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.61 c propagation : 414.62 2717670 1262572 3535980 41.5 0 0.0 -
1800.04/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.61 c applied globally : - - - 70073 29.4 - - -
1800.04/1800.61 c applied locally : - - - 1193033 36.6 - - -
1800.04/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.61 c redcost : 0.00 0 0 0 0 0
1800.04/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.61 c intobj : 0.00 0 0 0 0 0
1800.04/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.61 c gomory : 0.00 0 0 0 0 0
1800.04/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.61 c cmir : 0.00 0 0 0 0 0
1800.04/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.61 c clique : 0.00 0 0 0 0 0
1800.04/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.61 c mcf : 0.00 0 0 0 0 0
1800.04/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.61 c Pricers : Time Calls Vars
1800.04/1800.61 c problem variables: 0.00 0 0
1800.04/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c inference : 44.13 5689741 0 0 0 0 11379482
1800.04/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c random : 0.00 0 0 0 0 0 0
1800.04/1800.61 c Primal Heuristics : Time Calls Found
1800.04/1800.61 c LP solutions : 0.00 - 0
1800.04/1800.61 c pseudo solutions : 0.00 - 0
1800.04/1800.61 c oneopt : 3.93 0 0
1800.04/1800.61 c trivial : 0.00 2 0
1800.04/1800.61 c simplerounding : 0.00 0 0
1800.04/1800.61 c zirounding : 0.00 0 0
1800.04/1800.61 c rounding : 0.00 0 0
1800.04/1800.61 c shifting : 0.00 0 0
1800.04/1800.61 c intshifting : 0.00 0 0
1800.04/1800.61 c twoopt : 0.00 0 0
1800.04/1800.61 c fixandinfer : 0.00 0 0
1800.04/1800.61 c feaspump : 0.00 0 0
1800.04/1800.61 c coefdiving : 0.00 0 0
1800.04/1800.61 c pscostdiving : 0.00 0 0
1800.04/1800.61 c fracdiving : 0.00 0 0
1800.04/1800.61 c veclendiving : 0.00 0 0
1800.04/1800.61 c intdiving : 0.00 0 0
1800.04/1800.61 c actconsdiving : 0.00 0 0
1800.04/1800.61 c objpscostdiving : 0.00 0 0
1800.04/1800.61 c rootsoldiving : 0.00 0 0
1800.04/1800.61 c linesearchdiving : 0.00 0 0
1800.04/1800.61 c guideddiving : 0.00 0 0
1800.04/1800.61 c octane : 0.00 0 0
1800.04/1800.61 c rens : 0.00 0 0
1800.04/1800.61 c rins : 0.00 0 0
1800.04/1800.61 c localbranching : 0.00 0 0
1800.04/1800.61 c mutation : 0.00 0 0
1800.04/1800.61 c crossover : 0.00 0 0
1800.04/1800.61 c dins : 0.00 0 0
1800.04/1800.61 c undercover : 0.00 0 0
1800.04/1800.61 c nlp : 4.43 0 0
1800.04/1800.61 c trysol : 3.80 0 0
1800.04/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.61 c (at root node) : - 0 0 0.00 -
1800.04/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.61 c B&B Tree :
1800.04/1800.61 c number of runs : 1
1800.04/1800.61 c nodes : 8190535
1800.04/1800.61 c nodes (total) : 8190535
1800.04/1800.61 c nodes left : 2972048
1800.04/1800.61 c max depth : 56
1800.04/1800.61 c max depth (total): 56
1800.04/1800.61 c backtracks : 699515 (8.5%)
1800.04/1800.61 c delayed cutoffs : 216900
1800.04/1800.61 c repropagations : 3821084 (2401458 domain reductions, 216876 cutoffs)
1800.04/1800.61 c avg switch length: 6.38
1800.04/1800.61 c switching time : 237.17
1800.04/1800.61 c Solution :
1800.04/1800.61 c Solutions found : 0 (0 improvements)
1800.04/1800.61 c Primal Bound : -
1800.04/1800.61 c Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Gap : infinite
1800.04/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664014-1276602408/watcher-2664014-1276602408 -o /tmp/evaluation-result-2664014-1276602408/solver-2664014-1276602408 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664014-1276602408.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.85 0.97 0.99 3/106 9327
/proc/meminfo: memFree=1784600/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=7612 CPUtime=0
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 1314 0 0 0 0 0 0 0 20 0 1 0 1533625 7794688 1236 1992294400 4194304 7136930 140735138012928 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9327/statm: 1903 1245 254 719 0 1182 0
[startup+0.099477 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 9327
/proc/meminfo: memFree=1784600/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=11024 CPUtime=0.08
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 2989 0 0 0 7 1 0 0 20 0 1 0 1533625 11288576 2044 1992294400 4194304 7136930 140735138012928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 2756 2044 387 719 0 2035 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11024
[startup+0.101478 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 9327
/proc/meminfo: memFree=1784600/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=11024 CPUtime=0.09
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 2990 0 0 0 8 1 0 0 20 0 1 0 1533625 11288576 2045 1992294400 4194304 7136930 140735138012928 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 2756 2045 387 719 0 2035 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11024
[startup+0.301497 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 9327
/proc/meminfo: memFree=1784600/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=11668 CPUtime=0.29
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 3124 0 0 0 26 3 0 0 20 0 1 0 1533625 11948032 2179 1992294400 4194304 7136930 140735138012928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 2917 2179 387 719 0 2196 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11668
[startup+0.701538 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 9327
/proc/meminfo: memFree=1784600/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=12448 CPUtime=0.69
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 3333 0 0 0 63 6 0 0 21 0 1 0 1533625 12746752 2388 1992294400 4194304 7136930 140735138012928 18446744073709551615 4981165 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 3112 2388 387 719 0 2391 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12448
[startup+1.50162 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 9328
/proc/meminfo: memFree=1776160/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=13896 CPUtime=1.49
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 3727 0 0 0 137 12 0 0 23 0 1 0 1533625 14229504 2782 1992294400 4194304 7136930 140735138012928 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 3474 2782 387 719 0 2753 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13896
[startup+3.10178 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 9328
/proc/meminfo: memFree=1773556/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=16280 CPUtime=3.09
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 4332 0 0 0 283 26 0 0 25 0 1 0 1533625 16670720 3387 1992294400 4194304 7136930 140735138012928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 4070 3387 387 719 0 3349 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16280
[startup+6.30111 s]
/proc/loadavg: 0.86 0.97 0.99 2/107 9328
/proc/meminfo: memFree=1769092/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=19980 CPUtime=6.29
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 5278 0 0 0 580 49 0 0 25 0 1 0 1533625 20459520 4333 1992294400 4194304 7136930 140735138012928 18446744073709551615 4652809 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 4995 4333 387 719 0 4274 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19980
[startup+12.7018 s]
/proc/loadavg: 0.87 0.97 0.99 2/107 9328
/proc/meminfo: memFree=1761652/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=27508 CPUtime=12.69
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 7259 0 0 0 1173 96 0 0 25 0 1 0 1533625 28168192 6314 1992294400 4194304 7136930 140735138012928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 6877 6314 387 719 0 6156 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27508
[startup+25.5011 s]
/proc/loadavg: 0.90 0.97 0.99 2/107 9330
/proc/meminfo: memFree=1742184/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=47036 CPUtime=25.48
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 11794 0 0 0 2351 197 0 0 25 0 1 0 1533625 48164864 10849 1992294400 4194304 7136930 140735138012928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 11759 10849 387 719 0 11038 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47036
[startup+51.1007 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 9330
/proc/meminfo: memFree=1710564/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=79504 CPUtime=51.07
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 20110 0 0 0 4724 383 0 0 25 0 1 0 1533625 81412096 19165 1992294400 4194304 7136930 140735138012928 18446744073709551615 5918837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 19876 19165 387 719 0 19155 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 79504
[startup+102.308 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 9332
/proc/meminfo: memFree=1640380/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=149396 CPUtime=102.26
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 37259 0 0 0 9442 784 0 0 25 0 1 0 1533625 152981504 36314 1992294400 4194304 7136930 140735138012928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 37349 36314 387 719 0 36628 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 149396
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9332
/proc/meminfo: memFree=1559160/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=236208 CPUtime=162.24
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 57676 0 0 0 14982 1242 0 0 25 0 1 0 1533625 241876992 56731 1992294400 4194304 7136930 140735138012928 18446744073709551615 4652794 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 59052 56731 387 719 0 58331 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 236208
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9334
/proc/meminfo: memFree=1493440/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=299280 CPUtime=222.23
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 74015 0 0 0 20562 1661 0 0 25 0 1 0 1533625 306462720 73070 1992294400 4194304 7136930 140735138012928 18446744073709551615 4976417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 74820 73070 387 719 0 74099 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 299280
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9336
/proc/meminfo: memFree=1432556/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=358360 CPUtime=282.21
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 89187 0 0 0 26152 2069 0 0 25 0 1 0 1533625 366960640 88242 1992294400 4194304 7136930 140735138012928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 89590 88242 387 719 0 88869 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 358360
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9338
/proc/meminfo: memFree=1378492/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=410248 CPUtime=342.19
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 102408 0 0 0 31766 2453 0 0 25 0 1 0 1533625 420093952 101463 1992294400 4194304 7136930 140735138012928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 102562 101463 387 719 0 101841 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 410248
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9340
/proc/meminfo: memFree=1312772/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=491748 CPUtime=402.18
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 119321 0 0 0 37334 2884 0 0 25 0 1 0 1533625 503549952 118376 1992294400 4194304 7136930 140735138012928 18446744073709551615 4947139 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 122937 118376 387 719 0 122216 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 491748
[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9340
/proc/meminfo: memFree=1227212/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=571544 CPUtime=462.15
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 140142 0 0 0 42852 3363 0 0 25 0 1 0 1533625 585261056 139197 1992294400 4194304 7136930 140735138012928 18446744073709551615 5901737 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 142886 139197 387 719 0 142165 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 571544
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9342
/proc/meminfo: memFree=1150828/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=646496 CPUtime=522.13
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 159663 0 0 0 48385 3828 0 0 25 0 1 0 1533625 662011904 158718 1992294400 4194304 7136930 140735138012928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 161624 158718 387 719 0 160903 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 646496
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9344
/proc/meminfo: memFree=1080272/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=712156 CPUtime=582.11
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 176847 0 0 0 53941 4270 0 0 25 0 1 0 1533625 729247744 175902 1992294400 4194304 7136930 140735138012928 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 178039 175902 387 719 0 177318 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 712156
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 9346
/proc/meminfo: memFree=1003516/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=785444 CPUtime=642.1
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 195836 0 0 0 59497 4713 0 0 25 0 1 0 1533625 804294656 194891 1992294400 4194304 7136930 140735138012928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 196361 194891 387 719 0 195640 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 785444
[startup+702.301 s]
################
# More data... #
################
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 305897 0 0 0 98581 7614 0 0 25 0 1 0 1533625 1273016320 304952 1992294400 4194304 7136930 140735138012928 18446744073709551615 4947385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 310795 304952 387 719 0 310074 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 1243180
[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9367
/proc/meminfo: memFree=501068/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=1301688 CPUtime=1121.92
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 321010 0 0 0 104173 8019 0 0 25 0 1 0 1533625 1332928512 320065 1992294400 4194304 7136930 140735138012928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 325422 320065 387 719 0 324701 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 1301688
[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9369
/proc/meminfo: memFree=445392/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=1356964 CPUtime=1181.91
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 335136 0 0 0 109784 8407 0 0 25 0 1 0 1533625 1389531136 334191 1992294400 4194304 7136930 140735138012928 18446744073709551615 6123181 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 339241 334191 387 719 0 338520 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 1356964
[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9371
/proc/meminfo: memFree=392196/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=1407440 CPUtime=1241.89
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 348189 0 0 0 115395 8794 0 0 25 0 1 0 1533625 1441218560 347244 1992294400 4194304 7136930 140735138012928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 351860 347244 387 719 0 351139 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1407440
[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9373
/proc/meminfo: memFree=363180/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=1434320 CPUtime=1301.88
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 367363 0 0 0 120940 9248 0 0 25 0 1 0 1533625 1468743680 354162 1992294400 4194304 7136930 140735138012928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 358580 354162 387 719 0 357859 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1434320
[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9373
/proc/meminfo: memFree=363180/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=1434320 CPUtime=1361.85
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 367363 0 0 0 126419 9766 0 0 25 0 1 0 1533625 1468743680 354162 1992294400 4194304 7136930 140735138012928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 358580 354162 387 719 0 357859 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1434320
[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9375
/proc/meminfo: memFree=363180/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=1434320 CPUtime=1421.85
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 367363 0 0 0 131901 10284 0 0 25 0 1 0 1533625 1468743680 354162 1992294400 4194304 7136930 140735138012928 18446744073709551615 4948367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 358580 354162 387 719 0 357859 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1434320
[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9377
/proc/meminfo: memFree=363056/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=1434320 CPUtime=1481.82
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 367363 0 0 0 137380 10802 0 0 25 0 1 0 1533625 1468743680 354162 1992294400 4194304 7136930 140735138012928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 358580 354162 387 719 0 357859 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1434320
[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9379
/proc/meminfo: memFree=363056/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=1434320 CPUtime=1541.8
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 367363 0 0 0 142877 11303 0 0 25 0 1 0 1533625 1468743680 354162 1992294400 4194304 7136930 140735138012928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 358580 354162 387 719 0 357859 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1434320
[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9381
/proc/meminfo: memFree=362932/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=1434320 CPUtime=1601.78
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 367363 0 0 0 148359 11819 0 0 25 0 1 0 1533625 1468743680 354162 1992294400 4194304 7136930 140735138012928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 358580 354162 387 719 0 357859 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1434320
[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9381
/proc/meminfo: memFree=362932/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=1434452 CPUtime=1661.76
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 367365 0 0 0 153832 12344 0 0 25 0 1 0 1533625 1468878848 354164 1992294400 4194304 7136930 140735138012928 18446744073709551615 4976417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 358613 354164 387 719 0 357892 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1434452
[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9383
/proc/meminfo: memFree=362684/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=1434452 CPUtime=1721.74
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 367365 0 0 0 159312 12862 0 0 25 0 1 0 1533625 1468878848 354164 1992294400 4194304 7136930 140735138012928 18446744073709551615 4948400 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 358613 354164 387 719 0 357892 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1434452
[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9385
/proc/meminfo: memFree=362436/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=1434452 CPUtime=1781.73
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 367365 0 0 0 164774 13399 0 0 25 0 1 0 1533625 1468878848 354164 1992294400 4194304 7136930 140735138012928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 358613 354164 387 719 0 357892 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1434452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9385
/proc/meminfo: memFree=362436/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=1434452 CPUtime=1800.04
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 367365 0 0 0 166453 13551 0 0 25 0 1 0 1533625 1468878848 354164 1992294400 4194304 7136930 140735138012928 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9327/statm: 358613 354164 387 719 0 357892 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1434452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9327
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 0.99 0.99 2/107 9385
/proc/meminfo: memFree=362436/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=1434452 CPUtime=1800.82
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 367371 0 0 0 166531 13551 0 0 25 0 1 0 1533625 1468878848 354170 1992294400 4194304 7136930 140735138012928 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9327/statm: 358613 354170 393 719 0 357892 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 1434452
[startup+1802.2 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 9386
/proc/meminfo: memFree=362304/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=1434452 CPUtime=1801.62
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 367371 0 0 0 166611 13551 0 0 25 0 1 0 1533625 1468878848 354170 1992294400 4194304 7136930 140735138012928 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9327/statm: 358613 354170 393 719 0 357892 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 1434452
[startup+1802.6 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 9386
/proc/meminfo: memFree=362304/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=1434452 CPUtime=1802.02
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4202496 367371 0 0 0 166651 13551 0 0 25 0 1 0 1533625 1468878848 354170 1992294400 4194304 7136930 140735138012928 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9327/statm: 358613 354170 393 719 0 357892 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 1434452
[startup+1802.7 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 9386
/proc/meminfo: memFree=362304/2059040 swapFree=4192956/4192956
[pid=9327] ppid=9325 vsize=0 CPUtime=1802.13
/proc/9327/stat : 9327 (pbscip.linux.x8) R 9325 9327 9302 0 -1 4203524 367371 0 0 0 166653 13560 0 0 25 0 1 0 1533625 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9327/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.75
CPU time (s): 1802.18
CPU user time (s): 1666.53
CPU system time (s): 135.645
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 1498844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1666.53
system time used= 135.645
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367371
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= 15642
runsolver used 2.72659 second user time and 8.80666 second system time
The end