0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664225-1276614567.opb>
0.00/0.01 c original problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 14 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.02 c (round 1) 0 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/172 (58.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.03 c 7 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.01
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c lp/solvefreq = -1
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.02/0.03 c
0.02/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.02/0.03 c 0.0s| 1 | 2 | 0 | - | 485k| 0 | - | 172 | 7 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.52 c 1.4s| 10000 | 9979 | 0 | 0.0 |4187k| 142 | - | 172 | 7 | 0 | 0 | 0 | 12 | 0 | 0.000000e+00 | -- | Inf
3.09/3.17 c 2.9s| 20000 | 19382 | 0 | 0.0 |7643k| 155 | - | 172 | 8 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
4.69/4.71 c 4.3s| 30000 | 29380 | 0 | 0.0 | 11M| 155 | - | 172 | 8 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
6.19/6.21 c 5.6s| 40000 | 39380 | 0 | 0.0 | 14M| 155 | - | 172 | 8 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
7.60/7.69 c 7.0s| 50000 | 49380 | 0 | 0.0 | 18M| 155 | - | 172 | 8 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
9.09/9.16 c 8.3s| 60000 | 59378 | 0 | 0.0 | 21M| 155 | - | 172 | 8 | 0 | 0 | 0 | 336 | 0 | 0.000000e+00 | -- | Inf
10.59/10.61 c 9.6s| 70000 | 69378 | 0 | 0.0 | 25M| 155 | - | 172 | 8 | 0 | 0 | 0 | 336 | 0 | 0.000000e+00 | -- | Inf
12.00/12.05 c 10.9s| 80000 | 79378 | 0 | 0.0 | 29M| 155 | - | 172 | 8 | 0 | 0 | 0 | 336 | 0 | 0.000000e+00 | -- | Inf
13.39/13.46 c 12.2s| 90000 | 89365 | 0 | 0.0 | 33M| 155 | - | 172 | 8 | 0 | 0 | 0 | 343 | 0 | 0.000000e+00 | -- | Inf
14.79/14.85 c 13.4s|100000 | 99365 | 0 | 0.0 | 36M| 155 | - | 172 | 8 | 0 | 0 | 0 | 343 | 0 | 0.000000e+00 | -- | Inf
16.19/16.25 c 14.7s|110000 |109351 | 0 | 0.0 | 40M| 155 | - | 172 | 8 | 0 | 0 | 0 | 350 | 0 | 0.000000e+00 | -- | Inf
17.60/17.67 c 15.9s|120000 |119256 | 0 | 0.0 | 45M| 155 | - | 172 | 8 | 0 | 0 | 0 | 400 | 0 | 0.000000e+00 | -- | Inf
19.99/20.08 c 18.2s|130000 |125591 | 0 | 0.0 | 48M| 155 | - | 172 | 7 | 0 | 0 | 0 |2359 | 0 | 0.000000e+00 | -- | Inf
21.59/21.67 c 19.6s|140000 |135112 | 0 | 0.0 | 51M| 155 | - | 172 | 7 | 0 | 0 | 0 |2492 | 0 | 0.000000e+00 | -- | Inf
23.78/23.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.78/23.89 c 21.7s|150000 |142380 | 0 | 0.0 | 55M| 155 | - | 172 | 7 | 0 | 0 | 0 |3948 | 0 | 0.000000e+00 | -- | Inf
26.08/26.10 c 23.7s|160000 |149872 | 0 | 0.0 | 58M| 156 | - | 172 | 7 | 0 | 0 | 0 |5324 | 0 | 0.000000e+00 | -- | Inf
27.59/27.64 c 25.1s|170000 |159870 | 0 | 0.0 | 61M| 156 | - | 172 | 7 | 0 | 0 | 0 |5325 | 0 | 0.000000e+00 | -- | Inf
29.08/29.18 c 26.5s|180000 |169868 | 0 | 0.0 | 65M| 156 | - | 172 | 7 | 0 | 0 | 0 |5326 | 0 | 0.000000e+00 | -- | Inf
30.69/30.73 c 27.9s|190000 |179868 | 0 | 0.0 | 68M| 156 | - | 172 | 7 | 0 | 0 | 0 |5326 | 0 | 0.000000e+00 | -- | Inf
32.19/32.26 c 29.3s|200000 |189868 | 0 | 0.0 | 72M| 156 | - | 172 | 7 | 0 | 0 | 0 |5326 | 0 | 0.000000e+00 | -- | Inf
33.68/33.78 c 30.7s|210000 |199866 | 0 | 0.0 | 75M| 156 | - | 172 | 7 | 0 | 0 | 0 |5327 | 0 | 0.000000e+00 | -- | Inf
35.28/35.31 c 32.0s|220000 |209866 | 0 | 0.0 | 79M| 156 | - | 172 | 7 | 0 | 0 | 0 |5327 | 0 | 0.000000e+00 | -- | Inf
36.78/36.82 c 33.4s|230000 |219866 | 0 | 0.0 | 82M| 156 | - | 172 | 7 | 0 | 0 | 0 |5327 | 0 | 0.000000e+00 | -- | Inf
38.29/38.33 c 34.8s|240000 |229866 | 0 | 0.0 | 86M| 156 | - | 172 | 7 | 0 | 0 | 0 |5327 | 0 | 0.000000e+00 | -- | Inf
39.78/39.84 c 36.2s|250000 |239864 | 0 | 0.0 | 89M| 156 | - | 172 | 7 | 0 | 0 | 0 |5328 | 0 | 0.000000e+00 | -- | Inf
41.29/41.35 c 37.6s|260000 |249864 | 0 | 0.0 | 93M| 156 | - | 172 | 7 | 0 | 0 | 0 |5328 | 0 | 0.000000e+00 | -- | Inf
42.79/42.85 c 38.9s|270000 |259864 | 0 | 0.0 | 96M| 156 | - | 172 | 7 | 0 | 0 | 0 |5328 | 0 | 0.000000e+00 | -- | Inf
44.28/44.36 c 40.3s|280000 |269864 | 0 | 0.0 | 100M| 156 | - | 172 | 7 | 0 | 0 | 0 |5328 | 0 | 0.000000e+00 | -- | Inf
45.78/45.88 c 41.6s|290000 |279864 | 0 | 0.0 | 103M| 156 | - | 172 | 7 | 0 | 0 | 0 |5328 | 0 | 0.000000e+00 | -- | Inf
47.29/47.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.29/47.38 c 43.0s|300000 |289864 | 0 | 0.0 | 107M| 156 | - | 172 | 7 | 0 | 0 | 0 |5328 | 0 | 0.000000e+00 | -- | Inf
48.88/48.90 c 44.4s|310000 |299864 | 0 | 0.0 | 111M| 156 | - | 172 | 7 | 0 | 0 | 0 |5328 | 0 | 0.000000e+00 | -- | Inf
50.38/50.42 c 45.7s|320000 |309864 | 0 | 0.0 | 114M| 156 | - | 172 | 7 | 0 | 0 | 0 |5328 | 0 | 0.000000e+00 | -- | Inf
51.88/51.92 c 47.1s|330000 |319864 | 0 | 0.0 | 118M| 156 | - | 172 | 7 | 0 | 0 | 0 |5328 | 0 | 0.000000e+00 | -- | Inf
53.37/53.43 c 48.4s|340000 |329864 | 0 | 0.0 | 122M| 156 | - | 172 | 7 | 0 | 0 | 0 |5328 | 0 | 0.000000e+00 | -- | Inf
54.89/54.94 c 49.8s|350000 |339864 | 0 | 0.0 | 125M| 156 | - | 172 | 7 | 0 | 0 | 0 |5328 | 0 | 0.000000e+00 | -- | Inf
56.38/56.45 c 51.1s|360000 |349864 | 0 | 0.0 | 129M| 156 | - | 172 | 7 | 0 | 0 | 0 |5328 | 0 | 0.000000e+00 | -- | Inf
57.88/57.96 c 52.5s|370000 |359862 | 0 | 0.0 | 133M| 156 | - | 172 | 7 | 0 | 0 | 0 |5329 | 0 | 0.000000e+00 | -- | Inf
59.39/59.46 c 53.9s|380000 |369862 | 0 | 0.0 | 136M| 156 | - | 172 | 7 | 0 | 0 | 0 |5329 | 0 | 0.000000e+00 | -- | Inf
60.88/60.97 c 55.2s|390000 |379862 | 0 | 0.0 | 140M| 156 | - | 172 | 7 | 0 | 0 | 0 |5329 | 0 | 0.000000e+00 | -- | Inf
62.38/62.48 c 56.6s|400000 |389862 | 0 | 0.0 | 144M| 156 | - | 172 | 7 | 0 | 0 | 0 |5329 | 0 | 0.000000e+00 | -- | Inf
63.88/63.98 c 58.0s|410000 |399860 | 0 | 0.0 | 147M| 156 | - | 172 | 7 | 0 | 0 | 0 |5330 | 0 | 0.000000e+00 | -- | Inf
65.48/65.50 c 59.3s|420000 |409858 | 0 | 0.0 | 151M| 156 | - | 172 | 7 | 0 | 0 | 0 |5331 | 0 | 0.000000e+00 | -- | Inf
66.98/67.01 c 60.7s|430000 |419858 | 0 | 0.0 | 155M| 156 | - | 172 | 7 | 0 | 0 | 0 |5331 | 0 | 0.000000e+00 | -- | Inf
68.47/68.52 c 62.0s|440000 |429858 | 0 | 0.0 | 159M| 156 | - | 172 | 7 | 0 | 0 | 0 |5331 | 0 | 0.000000e+00 | -- | Inf
69.97/70.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.97/70.02 c 63.4s|450000 |439858 | 0 | 0.0 | 162M| 156 | - | 172 | 7 | 0 | 0 | 0 |5331 | 0 | 0.000000e+00 | -- | Inf
71.48/71.53 c 64.8s|460000 |449858 | 0 | 0.0 | 166M| 156 | - | 172 | 7 | 0 | 0 | 0 |5331 | 0 | 0.000000e+00 | -- | Inf
72.98/73.04 c 66.2s|470000 |459858 | 0 | 0.0 | 170M| 156 | - | 172 | 7 | 0 | 0 | 0 |5331 | 0 | 0.000000e+00 | -- | Inf
74.47/74.53 c 67.5s|480000 |469856 | 0 | 0.0 | 174M| 156 | - | 172 | 7 | 0 | 0 | 0 |5332 | 0 | 0.000000e+00 | -- | Inf
75.97/76.01 c 68.8s|490000 |479856 | 0 | 0.0 | 178M| 156 | - | 172 | 7 | 0 | 0 | 0 |5332 | 0 | 0.000000e+00 | -- | Inf
77.37/77.50 c 70.1s|500000 |489856 | 0 | 0.0 | 181M| 156 | - | 172 | 7 | 0 | 0 | 0 |5332 | 0 | 0.000000e+00 | -- | Inf
78.87/79.00 c 71.5s|510000 |499856 | 0 | 0.0 | 185M| 156 | - | 172 | 7 | 0 | 0 | 0 |5332 | 0 | 0.000000e+00 | -- | Inf
80.37/80.49 c 72.8s|520000 |509856 | 0 | 0.0 | 189M| 156 | - | 172 | 7 | 0 | 0 | 0 |5332 | 0 | 0.000000e+00 | -- | Inf
81.87/81.98 c 74.2s|530000 |519856 | 0 | 0.0 | 193M| 156 | - | 172 | 7 | 0 | 0 | 0 |5332 | 0 | 0.000000e+00 | -- | Inf
83.37/83.45 c 75.5s|540000 |529856 | 0 | 0.0 | 197M| 156 | - | 172 | 7 | 0 | 0 | 0 |5332 | 0 | 0.000000e+00 | -- | Inf
84.87/84.92 c 76.8s|550000 |539856 | 0 | 0.0 | 201M| 156 | - | 172 | 7 | 0 | 0 | 0 |5332 | 0 | 0.000000e+00 | -- | Inf
86.27/86.38 c 78.1s|560000 |549856 | 0 | 0.0 | 205M| 156 | - | 172 | 7 | 0 | 0 | 0 |5332 | 0 | 0.000000e+00 | -- | Inf
87.76/87.84 c 79.5s|570000 |559856 | 0 | 0.0 | 208M| 156 | - | 172 | 7 | 0 | 0 | 0 |5332 | 0 | 0.000000e+00 | -- | Inf
89.27/89.31 c 80.8s|580000 |569856 | 0 | 0.0 | 212M| 156 | - | 172 | 7 | 0 | 0 | 0 |5332 | 0 | 0.000000e+00 | -- | Inf
90.67/90.77 c 82.1s|590000 |579856 | 0 | 0.0 | 216M| 156 | - | 172 | 7 | 0 | 0 | 0 |5332 | 0 | 0.000000e+00 | -- | Inf
92.16/92.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.16/92.23 c 83.4s|600000 |589856 | 0 | 0.0 | 220M| 156 | - | 172 | 7 | 0 | 0 | 0 |5332 | 0 | 0.000000e+00 | -- | Inf
93.57/93.69 c 84.7s|610000 |599856 | 0 | 0.0 | 224M| 156 | - | 172 | 7 | 0 | 0 | 0 |5332 | 0 | 0.000000e+00 | -- | Inf
95.06/95.16 c 86.0s|620000 |609856 | 0 | 0.0 | 228M| 156 | - | 172 | 7 | 0 | 0 | 0 |5332 | 0 | 0.000000e+00 | -- | Inf
96.56/96.61 c 87.3s|630000 |619856 | 0 | 0.0 | 232M| 156 | - | 172 | 7 | 0 | 0 | 0 |5332 | 0 | 0.000000e+00 | -- | Inf
97.96/98.06 c 88.6s|640000 |629856 | 0 | 0.0 | 236M| 156 | - | 172 | 7 | 0 | 0 | 0 |5332 | 0 | 0.000000e+00 | -- | Inf
99.46/99.50 c 89.9s|650000 |639856 | 0 | 0.0 | 240M| 156 | - | 172 | 7 | 0 | 0 | 0 |5332 | 0 | 0.000000e+00 | -- | Inf
100.87/100.95 c 91.2s|660000 |649854 | 0 | 0.0 | 244M| 156 | - | 172 | 7 | 0 | 0 | 0 |5333 | 0 | 0.000000e+00 | -- | Inf
102.36/102.41 c 92.5s|670000 |659854 | 0 | 0.0 | 248M| 156 | - | 172 | 7 | 0 | 0 | 0 |5333 | 0 | 0.000000e+00 | -- | Inf
103.77/103.86 c 93.8s|680000 |669854 | 0 | 0.0 | 252M| 156 | - | 172 | 7 | 0 | 0 | 0 |5333 | 0 | 0.000000e+00 | -- | Inf
105.17/105.29 c 95.1s|690000 |679854 | 0 | 0.0 | 256M| 156 | - | 172 | 7 | 0 | 0 | 0 |5333 | 0 | 0.000000e+00 | -- | Inf
106.67/106.72 c 96.3s|700000 |689854 | 0 | 0.0 | 260M| 156 | - | 172 | 7 | 0 | 0 | 0 |5333 | 0 | 0.000000e+00 | -- | Inf
108.06/108.16 c 97.7s|710000 |699854 | 0 | 0.0 | 264M| 156 | - | 172 | 7 | 0 | 0 | 0 |5333 | 0 | 0.000000e+00 | -- | Inf
109.56/109.60 c 98.9s|720000 |709854 | 0 | 0.0 | 268M| 156 | - | 172 | 7 | 0 | 0 | 0 |5333 | 0 | 0.000000e+00 | -- | Inf
110.97/111.04 c 100s|730000 |719854 | 0 | 0.0 | 272M| 156 | - | 172 | 7 | 0 | 0 | 0 |5333 | 0 | 0.000000e+00 | -- | Inf
112.36/112.47 c 102s|740000 |729854 | 0 | 0.0 | 276M| 156 | - | 172 | 7 | 0 | 0 | 0 |5333 | 0 | 0.000000e+00 | -- | Inf
113.86/113.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.86/113.90 c 103s|750000 |739854 | 0 | 0.0 | 280M| 156 | - | 172 | 7 | 0 | 0 | 0 |5333 | 0 | 0.000000e+00 | -- | Inf
115.26/115.33 c 104s|760000 |749854 | 0 | 0.0 | 285M| 156 | - | 172 | 7 | 0 | 0 | 0 |5333 | 0 | 0.000000e+00 | -- | Inf
116.66/116.76 c 105s|770000 |759854 | 0 | 0.0 | 289M| 156 | - | 172 | 7 | 0 | 0 | 0 |5333 | 0 | 0.000000e+00 | -- | Inf
118.06/118.19 c 107s|780000 |769854 | 0 | 0.0 | 293M| 156 | - | 172 | 7 | 0 | 0 | 0 |5333 | 0 | 0.000000e+00 | -- | Inf
119.56/119.60 c 108s|790000 |779854 | 0 | 0.0 | 297M| 156 | - | 172 | 7 | 0 | 0 | 0 |5333 | 0 | 0.000000e+00 | -- | Inf
120.97/121.01 c 109s|800000 |789852 | 0 | 0.0 | 301M| 156 | - | 172 | 7 | 0 | 0 | 0 |5334 | 0 | 0.000000e+00 | -- | Inf
122.36/122.42 c 110s|810000 |799852 | 0 | 0.0 | 305M| 156 | - | 172 | 7 | 0 | 0 | 0 |5334 | 0 | 0.000000e+00 | -- | Inf
123.76/123.83 c 112s|820000 |809852 | 0 | 0.0 | 309M| 156 | - | 172 | 7 | 0 | 0 | 0 |5334 | 0 | 0.000000e+00 | -- | Inf
125.15/125.24 c 113s|830000 |819852 | 0 | 0.0 | 313M| 156 | - | 172 | 7 | 0 | 0 | 0 |5334 | 0 | 0.000000e+00 | -- | Inf
126.55/126.64 c 114s|840000 |829852 | 0 | 0.0 | 317M| 156 | - | 172 | 7 | 0 | 0 | 0 |5334 | 0 | 0.000000e+00 | -- | Inf
127.95/128.04 c 115s|850000 |839852 | 0 | 0.0 | 321M| 156 | - | 172 | 7 | 0 | 0 | 0 |5334 | 0 | 0.000000e+00 | -- | Inf
129.36/129.45 c 117s|860000 |849852 | 0 | 0.0 | 326M| 156 | - | 172 | 7 | 0 | 0 | 0 |5334 | 0 | 0.000000e+00 | -- | Inf
130.76/130.84 c 118s|870000 |859852 | 0 | 0.0 | 330M| 156 | - | 172 | 7 | 0 | 0 | 0 |5334 | 0 | 0.000000e+00 | -- | Inf
132.15/132.25 c 119s|880000 |869833 | 0 | 0.0 | 334M| 156 | - | 172 | 7 | 0 | 0 | 0 |5344 | 0 | 0.000000e+00 | -- | Inf
133.56/133.63 c 120s|890000 |879829 | 0 | 0.0 | 338M| 156 | - | 172 | 7 | 0 | 0 | 0 |5346 | 0 | 0.000000e+00 | -- | Inf
134.96/135.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.96/135.00 c 122s|900000 |889826 | 0 | 0.0 | 342M| 156 | - | 172 | 7 | 0 | 0 | 0 |5348 | 0 | 0.000000e+00 | -- | Inf
136.26/136.37 c 123s|910000 |899817 | 0 | 0.0 | 346M| 156 | - | 172 | 7 | 0 | 0 | 0 |5353 | 0 | 0.000000e+00 | -- | Inf
137.66/137.73 c 124s|920000 |909808 | 0 | 0.0 | 350M| 156 | - | 172 | 7 | 0 | 0 | 0 |5358 | 0 | 0.000000e+00 | -- | Inf
139.16/139.23 c 125s|930000 |919398 | 0 | 0.0 | 354M| 156 | - | 172 | 7 | 0 | 0 | 0 |5582 | 0 | 0.000000e+00 | -- | Inf
142.06/142.17 c 128s|940000 |924140 | 0 | 0.0 | 357M| 156 | - | 172 | 7 | 0 | 0 | 0 |8484 | 0 | 0.000000e+00 | -- | Inf
144.85/144.98 c 131s|950000 |928898 | 0 | 0.0 | 360M| 156 | - | 172 | 7 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
148.15/148.23 c 134s|960000 |932131 | 0 | 0.0 | 363M| 156 | - | 172 | 7 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
151.25/151.32 c 137s|970000 |936048 | 0 | 0.0 | 366M| 158 | - | 172 | 7 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
152.86/152.96 c 138s|980000 |945523 | 0 | 0.0 | 369M| 158 | - | 172 | 7 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
154.45/154.58 c 140s|990000 |955010 | 0 | 0.0 | 373M| 158 | - | 172 | 7 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
156.15/156.23 c 141s| 1000k|964346 | 0 | 0.0 | 376M| 158 | - | 172 | 7 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
157.75/157.85 c 143s| 1010k|973777 | 0 | 0.0 | 380M| 158 | - | 172 | 7 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
159.36/159.50 c 144s| 1020k|983043 | 0 | 0.0 | 383M| 158 | - | 172 | 7 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
161.05/161.13 c 146s| 1030k|992378 | 0 | 0.0 | 387M| 158 | - | 172 | 7 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
162.66/162.76 c 147s| 1040k| 1001k| 0 | 0.0 | 391M| 158 | - | 172 | 7 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
164.25/164.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.25/164.39 c 149s| 1050k| 1011k| 0 | 0.0 | 394M| 158 | - | 172 | 7 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
165.96/166.00 c 150s| 1060k| 1020k| 0 | 0.0 | 398M| 158 | - | 172 | 7 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
167.55/167.64 c 152s| 1070k| 1029k| 0 | 0.0 | 402M| 158 | - | 172 | 7 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
169.26/169.30 c 153s| 1080k| 1038k| 0 | 0.0 | 406M| 158 | - | 172 | 7 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
170.84/170.96 c 155s| 1090k| 1047k| 0 | 0.0 | 410M| 158 | - | 172 | 7 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
172.55/172.63 c 156s| 1100k| 1056k| 0 | 0.0 | 414M| 158 | - | 172 | 7 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
174.24/174.38 c 158s| 1110k| 1065k| 0 | 0.0 | 418M| 158 | - | 172 | 7 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
176.24/176.31 c 159s| 1120k| 1073k| 0 | 0.0 | 422M| 158 | - | 172 | 7 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
178.25/178.38 c 161s| 1130k| 1081k| 0 | 0.0 | 426M| 158 | - | 172 | 7 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
180.84/180.92 c 164s| 1140k| 1087k| 0 | 0.0 | 429M| 158 | - | 172 | 7 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
183.65/183.72 c 166s| 1150k| 1092k| 0 | 0.0 | 432M| 158 | - | 172 | 7 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
186.55/186.62 c 169s| 1160k| 1097k| 0 | 0.0 | 435M| 158 | - | 172 | 7 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
189.54/189.60 c 172s| 1170k| 1102k| 0 | 0.0 | 438M| 158 | - | 172 | 7 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
192.24/192.30 c 174s| 1180k| 1108k| 0 | 0.0 | 441M| 158 | - | 172 | 7 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
194.04/194.11 c 176s| 1190k| 1117k| 0 | 0.0 | 445M| 158 | - | 172 | 7 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
195.84/195.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.84/195.94 c 178s| 1200k| 1126k| 0 | 0.0 | 449M| 158 | - | 172 | 7 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
197.95/198.02 c 180s| 1210k| 1133k| 0 | 0.0 | 452M| 158 | - | 172 | 7 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
200.44/200.55 c 182s| 1220k| 1140k| 0 | 0.0 | 456M| 158 | - | 172 | 7 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
203.24/203.31 c 185s| 1230k| 1145k| 0 | 0.0 | 459M| 158 | - | 172 | 7 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
206.14/206.20 c 187s| 1240k| 1150k| 0 | 0.0 | 462M| 158 | - | 172 | 7 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
208.95/209.09 c 190s| 1250k| 1155k| 0 | 0.0 | 465M| 158 | - | 172 | 7 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
211.43/211.59 c 192s| 1260k| 1162k| 0 | 0.0 | 468M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
213.04/213.13 c 194s| 1270k| 1172k| 0 | 0.0 | 471M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
214.53/214.66 c 195s| 1280k| 1182k| 0 | 0.0 | 474M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
216.13/216.20 c 197s| 1290k| 1192k| 0 | 0.0 | 478M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
217.64/217.73 c 198s| 1300k| 1202k| 0 | 0.0 | 481M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
219.14/219.26 c 199s| 1310k| 1212k| 0 | 0.0 | 484M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
220.63/220.79 c 201s| 1320k| 1222k| 0 | 0.0 | 488M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
222.23/222.34 c 202s| 1330k| 1232k| 0 | 0.0 | 491M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
223.73/223.87 c 204s| 1340k| 1242k| 0 | 0.0 | 494M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
225.34/225.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
225.34/225.41 c 205s| 1350k| 1252k| 0 | 0.0 | 498M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
226.83/226.96 c 206s| 1360k| 1262k| 0 | 0.0 | 501M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
228.33/228.50 c 208s| 1370k| 1272k| 0 | 0.0 | 505M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
229.92/230.03 c 209s| 1380k| 1282k| 0 | 0.0 | 508M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
231.43/231.58 c 210s| 1390k| 1292k| 0 | 0.0 | 512M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
233.04/233.11 c 212s| 1400k| 1302k| 0 | 0.0 | 515M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
234.53/234.65 c 213s| 1410k| 1312k| 0 | 0.0 | 519M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
236.02/236.18 c 215s| 1420k| 1322k| 0 | 0.0 | 522M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
237.63/237.72 c 216s| 1430k| 1332k| 0 | 0.0 | 525M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
239.13/239.25 c 217s| 1440k| 1342k| 0 | 0.0 | 529M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
240.62/240.78 c 219s| 1450k| 1352k| 0 | 0.0 | 532M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
242.23/242.32 c 220s| 1460k| 1362k| 0 | 0.0 | 536M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
243.72/243.86 c 222s| 1470k| 1372k| 0 | 0.0 | 539M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
245.33/245.40 c 223s| 1480k| 1382k| 0 | 0.0 | 543M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
246.82/246.93 c 224s| 1490k| 1392k| 0 | 0.0 | 546M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
248.32/248.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
248.32/248.46 c 226s| 1500k| 1402k| 0 | 0.0 | 550M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
249.82/249.99 c 227s| 1510k| 1412k| 0 | 0.0 | 553M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
251.42/251.52 c 229s| 1520k| 1422k| 0 | 0.0 | 557M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
252.93/253.06 c 230s| 1530k| 1432k| 0 | 0.0 | 560M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
254.42/254.59 c 231s| 1540k| 1442k| 0 | 0.0 | 564M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
256.03/256.11 c 233s| 1550k| 1452k| 0 | 0.0 | 568M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
257.52/257.66 c 234s| 1560k| 1462k| 0 | 0.0 | 571M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
259.03/259.19 c 236s| 1570k| 1472k| 0 | 0.0 | 575M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
260.63/260.73 c 237s| 1580k| 1482k| 0 | 0.0 | 578M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
262.12/262.27 c 238s| 1590k| 1492k| 0 | 0.0 | 582M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
263.72/263.82 c 240s| 1600k| 1502k| 0 | 0.0 | 585M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
265.22/265.36 c 241s| 1610k| 1512k| 0 | 0.0 | 589M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
266.72/266.88 c 242s| 1620k| 1522k| 0 | 0.0 | 592M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
268.32/268.41 c 244s| 1630k| 1532k| 0 | 0.0 | 596M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
269.81/269.94 c 245s| 1640k| 1542k| 0 | 0.0 | 599M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
271.31/271.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.31/271.50 c 247s| 1650k| 1552k| 0 | 0.0 | 603M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
272.92/273.04 c 248s| 1660k| 1562k| 0 | 0.0 | 607M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
274.41/274.57 c 249s| 1670k| 1572k| 0 | 0.0 | 610M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
276.02/276.12 c 251s| 1680k| 1582k| 0 | 0.0 | 614M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
277.51/277.68 c 252s| 1690k| 1592k| 0 | 0.0 | 617M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
279.12/279.23 c 254s| 1700k| 1602k| 0 | 0.0 | 621M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
280.61/280.77 c 255s| 1710k| 1612k| 0 | 0.0 | 624M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
282.21/282.32 c 257s| 1720k| 1622k| 0 | 0.0 | 628M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
283.72/283.86 c 258s| 1730k| 1632k| 0 | 0.0 | 632M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
285.21/285.39 c 259s| 1740k| 1642k| 0 | 0.0 | 635M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
286.82/286.92 c 261s| 1750k| 1652k| 0 | 0.0 | 639M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
288.31/288.46 c 262s| 1760k| 1662k| 0 | 0.0 | 642M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
289.81/289.98 c 263s| 1770k| 1672k| 0 | 0.0 | 646M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
291.32/291.49 c 265s| 1780k| 1682k| 0 | 0.0 | 650M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
292.81/293.00 c 266s| 1790k| 1692k| 0 | 0.0 | 653M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
294.41/294.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
294.41/294.51 c 268s| 1800k| 1702k| 0 | 0.0 | 657M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
295.91/296.05 c 269s| 1810k| 1712k| 0 | 0.0 | 661M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
297.41/297.58 c 270s| 1820k| 1722k| 0 | 0.0 | 664M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
299.02/299.11 c 272s| 1830k| 1732k| 0 | 0.0 | 668M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
300.51/300.64 c 273s| 1840k| 1742k| 0 | 0.0 | 672M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
302.11/302.20 c 274s| 1850k| 1752k| 0 | 0.0 | 676M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
303.61/303.72 c 276s| 1860k| 1762k| 0 | 0.0 | 679M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
305.11/305.24 c 277s| 1870k| 1772k| 0 | 0.0 | 683M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
306.61/306.75 c 279s| 1880k| 1782k| 0 | 0.0 | 687M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
308.11/308.28 c 280s| 1890k| 1792k| 0 | 0.0 | 690M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
309.70/309.80 c 281s| 1900k| 1802k| 0 | 0.0 | 694M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
311.22/311.31 c 283s| 1910k| 1812k| 0 | 0.0 | 698M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
312.71/312.80 c 284s| 1920k| 1822k| 0 | 0.0 | 701M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
314.21/314.31 c 285s| 1930k| 1832k| 0 | 0.0 | 705M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
315.71/315.82 c 287s| 1940k| 1842k| 0 | 0.0 | 709M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
317.20/317.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
317.20/317.37 c 288s| 1950k| 1852k| 0 | 0.0 | 712M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
318.81/318.90 c 290s| 1960k| 1862k| 0 | 0.0 | 716M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
320.31/320.43 c 291s| 1970k| 1872k| 0 | 0.0 | 720M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
321.81/321.95 c 292s| 1980k| 1882k| 0 | 0.0 | 723M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
323.31/323.47 c 294s| 1990k| 1892k| 0 | 0.0 | 727M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
324.80/324.99 c 295s| 2000k| 1902k| 0 | 0.0 | 731M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
326.30/326.49 c 296s| 2010k| 1912k| 0 | 0.0 | 735M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
327.80/327.98 c 298s| 2020k| 1922k| 0 | 0.0 | 738M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
329.30/329.49 c 299s| 2030k| 1932k| 0 | 0.0 | 742M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
330.81/330.98 c 300s| 2040k| 1942k| 0 | 0.0 | 746M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
332.30/332.47 c 302s| 2050k| 1952k| 0 | 0.0 | 749M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
333.80/333.97 c 303s| 2060k| 1962k| 0 | 0.0 | 753M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
335.31/335.46 c 304s| 2070k| 1972k| 0 | 0.0 | 757M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
336.80/336.94 c 306s| 2080k| 1982k| 0 | 0.0 | 761M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
338.30/338.43 c 307s| 2090k| 1992k| 0 | 0.0 | 764M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
339.80/339.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.80/339.94 c 308s| 2100k| 2002k| 0 | 0.0 | 768M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
341.30/341.44 c 310s| 2110k| 2012k| 0 | 0.0 | 772M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
342.80/342.94 c 311s| 2120k| 2022k| 0 | 0.0 | 776M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
344.29/344.43 c 313s| 2130k| 2032k| 0 | 0.0 | 779M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
345.80/345.94 c 314s| 2140k| 2042k| 0 | 0.0 | 783M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
347.30/347.44 c 315s| 2150k| 2052k| 0 | 0.0 | 787M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
348.79/348.93 c 317s| 2160k| 2062k| 0 | 0.0 | 791M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
350.29/350.41 c 318s| 2170k| 2072k| 0 | 0.0 | 794M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
351.80/351.91 c 319s| 2180k| 2082k| 0 | 0.0 | 798M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
353.30/353.42 c 321s| 2190k| 2092k| 0 | 0.0 | 802M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
354.79/354.94 c 322s| 2200k| 2102k| 0 | 0.0 | 806M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
356.30/356.47 c 323s| 2210k| 2112k| 0 | 0.0 | 809M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
357.80/358.00 c 325s| 2220k| 2122k| 0 | 0.0 | 813M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
359.39/359.51 c 326s| 2230k| 2132k| 0 | 0.0 | 817M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
360.89/361.03 c 327s| 2240k| 2142k| 0 | 0.0 | 820M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
362.39/362.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
362.39/362.55 c 329s| 2250k| 2152k| 0 | 0.0 | 824M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
363.89/364.05 c 330s| 2260k| 2162k| 0 | 0.0 | 828M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
365.39/365.55 c 332s| 2270k| 2172k| 0 | 0.0 | 832M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
366.89/367.08 c 333s| 2280k| 2182k| 0 | 0.0 | 836M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
368.49/368.61 c 334s| 2290k| 2192k| 0 | 0.0 | 839M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
369.99/370.15 c 336s| 2300k| 2202k| 0 | 0.0 | 843M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
371.49/371.67 c 337s| 2310k| 2212k| 0 | 0.0 | 847M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
373.09/373.21 c 339s| 2320k| 2222k| 0 | 0.0 | 851M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
374.59/374.77 c 340s| 2330k| 2232k| 0 | 0.0 | 854M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
376.10/376.28 c 341s| 2340k| 2242k| 0 | 0.0 | 858M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
377.58/377.79 c 343s| 2350k| 2252k| 0 | 0.0 | 862M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
379.18/379.31 c 344s| 2360k| 2262k| 0 | 0.0 | 866M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
380.68/380.83 c 345s| 2370k| 2272k| 0 | 0.0 | 870M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
382.19/382.35 c 347s| 2380k| 2282k| 0 | 0.0 | 873M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
383.70/383.86 c 348s| 2390k| 2292k| 0 | 0.0 | 877M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
385.19/385.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.19/385.36 c 349s| 2400k| 2302k| 0 | 0.0 | 881M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
386.69/386.89 c 351s| 2410k| 2312k| 0 | 0.0 | 885M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
388.28/388.43 c 352s| 2420k| 2322k| 0 | 0.0 | 888M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
389.79/389.97 c 354s| 2430k| 2332k| 0 | 0.0 | 892M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
391.29/391.48 c 355s| 2440k| 2342k| 0 | 0.0 | 896M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
392.88/393.00 c 356s| 2450k| 2352k| 0 | 0.0 | 900M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
394.39/394.53 c 358s| 2460k| 2362k| 0 | 0.0 | 903M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
395.89/396.09 c 359s| 2470k| 2372k| 0 | 0.0 | 907M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
397.49/397.62 c 361s| 2480k| 2382k| 0 | 0.0 | 911M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
398.98/399.18 c 362s| 2490k| 2392k| 0 | 0.0 | 915M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
400.59/400.70 c 363s| 2500k| 2402k| 0 | 0.0 | 919M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
402.09/402.23 c 365s| 2510k| 2412k| 0 | 0.0 | 923M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
403.59/403.77 c 366s| 2520k| 2422k| 0 | 0.0 | 926M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
405.18/405.30 c 367s| 2530k| 2432k| 0 | 0.0 | 930M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
406.68/406.83 c 369s| 2540k| 2442k| 0 | 0.0 | 934M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
408.18/408.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
408.18/408.37 c 370s| 2550k| 2452k| 0 | 0.0 | 938M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
409.68/409.87 c 372s| 2560k| 2462k| 0 | 0.0 | 942M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
411.19/411.39 c 373s| 2570k| 2472k| 0 | 0.0 | 945M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
412.78/412.90 c 374s| 2580k| 2482k| 0 | 0.0 | 949M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
414.28/414.41 c 376s| 2590k| 2492k| 0 | 0.0 | 953M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
415.78/415.91 c 377s| 2600k| 2502k| 0 | 0.0 | 957M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
417.28/417.42 c 378s| 2610k| 2512k| 0 | 0.0 | 961M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
418.78/418.92 c 380s| 2620k| 2522k| 0 | 0.0 | 965M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
420.28/420.46 c 381s| 2630k| 2532k| 0 | 0.0 | 968M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
421.77/421.98 c 383s| 2640k| 2542k| 0 | 0.0 | 972M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
423.28/423.50 c 384s| 2650k| 2552k| 0 | 0.0 | 976M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
424.88/425.01 c 385s| 2660k| 2562k| 0 | 0.0 | 980M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
426.37/426.53 c 387s| 2670k| 2572k| 0 | 0.0 | 984M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
427.88/428.07 c 388s| 2680k| 2582k| 0 | 0.0 | 987M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
429.47/429.62 c 389s| 2690k| 2592k| 0 | 0.0 | 991M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
430.98/431.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
430.98/431.15 c 391s| 2700k| 2602k| 0 | 0.0 | 995M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
432.47/432.68 c 392s| 2710k| 2612k| 0 | 0.0 | 999M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
434.08/434.20 c 394s| 2720k| 2622k| 0 | 0.0 |1003M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
435.58/435.71 c 395s| 2730k| 2632k| 0 | 0.0 |1007M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
437.07/437.25 c 396s| 2740k| 2642k| 0 | 0.0 |1010M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
438.68/438.83 c 398s| 2750k| 2652k| 0 | 0.0 |1014M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
440.17/440.36 c 399s| 2760k| 2662k| 0 | 0.0 |1018M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
441.77/441.90 c 400s| 2770k| 2672k| 0 | 0.0 |1022M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
443.27/443.44 c 402s| 2780k| 2682k| 0 | 0.0 |1026M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
444.77/444.96 c 403s| 2790k| 2692k| 0 | 0.0 |1030M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
446.37/446.50 c 405s| 2800k| 2702k| 0 | 0.0 |1034M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
447.87/448.01 c 406s| 2810k| 2712k| 0 | 0.0 |1038M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
449.37/449.55 c 407s| 2820k| 2722k| 0 | 0.0 |1041M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
450.88/451.09 c 409s| 2830k| 2732k| 0 | 0.0 |1045M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
452.47/452.61 c 410s| 2840k| 2742k| 0 | 0.0 |1049M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
453.87/454.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
453.87/454.09 c 412s| 2850k| 2752k| 0 | 0.0 |1053M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
455.47/455.63 c 413s| 2860k| 2762k| 0 | 0.0 |1057M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
456.97/457.13 c 414s| 2870k| 2772k| 0 | 0.0 |1061M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
458.47/458.66 c 416s| 2880k| 2782k| 0 | 0.0 |1065M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
459.97/460.15 c 417s| 2890k| 2792k| 0 | 0.0 |1068M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
461.47/461.65 c 418s| 2900k| 2802k| 0 | 0.0 |1072M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
462.97/463.13 c 420s| 2910k| 2812k| 0 | 0.0 |1076M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
464.47/464.66 c 421s| 2920k| 2822k| 0 | 0.0 |1080M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
465.97/466.16 c 422s| 2930k| 2832k| 0 | 0.0 |1084M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
467.56/467.70 c 424s| 2940k| 2842k| 0 | 0.0 |1088M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
469.07/469.20 c 425s| 2950k| 2852k| 0 | 0.0 |1092M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
470.57/470.70 c 426s| 2960k| 2862k| 0 | 0.0 |1095M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
472.06/472.20 c 428s| 2970k| 2872k| 0 | 0.0 |1099M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
473.56/473.73 c 429s| 2980k| 2882k| 0 | 0.0 |1103M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
475.07/475.23 c 430s| 2990k| 2892k| 0 | 0.0 |1107M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
476.56/476.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
476.56/476.74 c 432s| 3000k| 2902k| 0 | 0.0 |1111M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
478.06/478.24 c 433s| 3010k| 2912k| 0 | 0.0 |1115M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
479.56/479.78 c 435s| 3020k| 2922k| 0 | 0.0 |1119M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
481.06/481.29 c 436s| 3030k| 2932k| 0 | 0.0 |1123M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
482.67/482.82 c 437s| 3040k| 2942k| 0 | 0.0 |1127M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
484.16/484.34 c 439s| 3050k| 2952k| 0 | 0.0 |1131M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
485.67/485.85 c 440s| 3060k| 2962k| 0 | 0.0 |1134M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
487.17/487.34 c 441s| 3070k| 2972k| 0 | 0.0 |1138M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
488.66/488.85 c 443s| 3080k| 2982k| 0 | 0.0 |1142M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
490.16/490.37 c 444s| 3090k| 2992k| 0 | 0.0 |1146M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
491.76/491.90 c 445s| 3100k| 3002k| 0 | 0.0 |1150M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
493.26/493.46 c 447s| 3110k| 3012k| 0 | 0.0 |1154M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
494.77/494.95 c 448s| 3120k| 3022k| 0 | 0.0 |1158M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
496.25/496.44 c 450s| 3130k| 3032k| 0 | 0.0 |1162M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
497.75/497.96 c 451s| 3140k| 3042k| 0 | 0.0 |1166M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
499.27/499.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
499.27/499.46 c 452s| 3150k| 3052k| 0 | 0.0 |1170M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
500.76/500.96 c 454s| 3160k| 3062k| 0 | 0.0 |1174M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
502.26/502.48 c 455s| 3170k| 3072k| 0 | 0.0 |1177M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
503.85/504.05 c 456s| 3180k| 3082k| 0 | 0.0 |1181M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
505.36/505.53 c 458s| 3190k| 3092k| 0 | 0.0 |1185M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
506.86/507.04 c 459s| 3200k| 3102k| 0 | 0.0 |1189M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
508.35/508.52 c 460s| 3210k| 3112k| 0 | 0.0 |1193M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
509.86/510.02 c 462s| 3220k| 3122k| 0 | 0.0 |1197M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
511.36/511.51 c 463s| 3230k| 3132k| 0 | 0.0 |1201M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
512.85/513.01 c 465s| 3240k| 3142k| 0 | 0.0 |1205M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
514.35/514.58 c 466s| 3250k| 3152k| 0 | 0.0 |1209M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
515.85/516.08 c 467s| 3260k| 3162k| 0 | 0.0 |1213M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
517.35/517.58 c 469s| 3270k| 3172k| 0 | 0.0 |1216M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
518.85/519.08 c 470s| 3280k| 3182k| 0 | 0.0 |1220M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
520.35/520.58 c 471s| 3290k| 3192k| 0 | 0.0 |1224M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
521.85/522.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
521.85/522.06 c 473s| 3300k| 3202k| 0 | 0.0 |1228M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
523.36/523.58 c 474s| 3310k| 3212k| 0 | 0.0 |1232M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
524.85/525.08 c 475s| 3320k| 3222k| 0 | 0.0 |1236M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
526.35/526.57 c 477s| 3330k| 3232k| 0 | 0.0 |1240M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
527.85/528.10 c 478s| 3340k| 3242k| 0 | 0.0 |1244M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
529.45/529.63 c 480s| 3350k| 3252k| 0 | 0.0 |1248M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
530.95/531.14 c 481s| 3360k| 3262k| 0 | 0.0 |1252M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
532.45/532.65 c 482s| 3370k| 3272k| 0 | 0.0 |1256M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
533.95/534.17 c 484s| 3380k| 3282k| 0 | 0.0 |1260M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
535.46/535.67 c 485s| 3390k| 3292k| 0 | 0.0 |1264M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
536.95/537.18 c 486s| 3400k| 3302k| 0 | 0.0 |1268M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
538.44/538.69 c 488s| 3410k| 3312k| 0 | 0.0 |1272M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
539.95/540.19 c 489s| 3420k| 3322k| 0 | 0.0 |1276M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
541.54/541.70 c 490s| 3430k| 3332k| 0 | 0.0 |1280M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
543.04/543.21 c 492s| 3440k| 3342k| 0 | 0.0 |1284M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
544.54/544.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
544.54/544.70 c 493s| 3450k| 3352k| 0 | 0.0 |1288M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
545.94/546.19 c 494s| 3460k| 3362k| 0 | 0.0 |1292M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
547.45/547.68 c 496s| 3470k| 3372k| 0 | 0.0 |1296M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
548.94/549.17 c 497s| 3480k| 3382k| 0 | 0.0 |1300M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
550.44/550.69 c 498s| 3490k| 3392k| 0 | 0.0 |1304M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
551.95/552.20 c 500s| 3500k| 3402k| 0 | 0.0 |1307M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
553.44/553.69 c 501s| 3510k| 3412k| 0 | 0.0 |1311M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
554.94/555.17 c 502s| 3520k| 3422k| 0 | 0.0 |1315M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
556.44/556.68 c 504s| 3530k| 3432k| 0 | 0.0 |1319M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
557.94/558.20 c 505s| 3540k| 3442k| 0 | 0.0 |1323M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
559.44/559.70 c 507s| 3550k| 3452k| 0 | 0.0 |1327M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
560.94/561.19 c 508s| 3560k| 3462k| 0 | 0.0 |1331M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
562.43/562.68 c 509s| 3570k| 3472k| 0 | 0.0 |1335M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
563.94/564.19 c 511s| 3580k| 3482k| 0 | 0.0 |1339M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
565.54/565.70 c 512s| 3590k| 3492k| 0 | 0.0 |1343M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
567.04/567.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.04/567.20 c 513s| 3600k| 3502k| 0 | 0.0 |1347M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
568.44/568.70 c 515s| 3610k| 3512k| 0 | 0.0 |1351M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
570.04/570.20 c 516s| 3620k| 3522k| 0 | 0.0 |1355M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
571.13/571.39 c (node 3627970) switching to memory saving mode (mem: 1296.0M/1620.0M)
572.74/572.98 o 1226
572.74/572.98 c * 519s| 3628k| 3418k| 0 | 0.0 |1321M| 158 | - | 172 | 7 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
573.74/573.99 c 520s| 3630k| 3418k| 0 | 0.0 |1321M| 163 | - | 172 | 7 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
578.63/578.89 c 524s| 3640k| 3418k| 0 | 0.0 |1320M| 164 | - | 172 | 7 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
583.23/583.46 c 529s| 3650k| 3418k| 0 | 0.0 |1320M| 165 | - | 172 | 7 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
588.13/588.33 c 533s| 3660k| 3418k| 0 | 0.0 |1319M| 165 | - | 172 | 7 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
592.93/593.10 c 538s| 3670k| 3417k| 0 | 0.0 |1319M| 165 | - | 172 | 7 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
597.63/597.83 c 542s| 3680k| 3417k| 0 | 0.0 |1318M| 165 | - | 172 | 7 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
602.43/602.67 c 547s| 3690k| 3417k| 0 | 0.0 |1318M| 165 | - | 172 | 7 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
607.43/607.61 c 551s| 3700k| 3417k| 0 | 0.0 |1318M| 165 | - | 172 | 7 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
612.33/612.56 c 556s| 3710k| 3417k| 0 | 0.0 |1318M| 165 | - | 172 | 7 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
617.22/617.49 c 561s| 3720k| 3417k| 0 | 0.0 |1318M| 165 | - | 172 | 7 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
622.12/622.30 c 565s| 3730k| 3417k| 0 | 0.0 |1318M| 165 | - | 172 | 7 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
626.92/627.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
626.92/627.11 c 570s| 3740k| 3417k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
631.72/631.98 c 574s| 3750k| 3417k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
636.51/636.78 c 579s| 3760k| 3417k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
641.42/641.66 c 583s| 3770k| 3417k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
646.22/646.42 c 588s| 3780k| 3417k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
650.92/651.15 c 592s| 3790k| 3417k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
655.81/656.04 c 597s| 3800k| 3417k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
660.61/660.85 c 601s| 3810k| 3417k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
665.61/665.83 c 606s| 3820k| 3417k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
670.51/670.71 c 611s| 3830k| 3416k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
675.51/675.72 c 615s| 3840k| 3416k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
680.41/680.68 c 620s| 3850k| 3416k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
685.30/685.56 c 624s| 3860k| 3416k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
690.20/690.48 c 629s| 3870k| 3416k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
695.20/695.41 c 634s| 3880k| 3416k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
699.70/699.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
699.70/699.95 c 638s| 3890k| 3416k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
704.40/704.61 c 642s| 3900k| 3416k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
709.21/709.43 c 647s| 3910k| 3416k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
713.89/714.12 c 651s| 3920k| 3416k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
718.80/719.01 c 656s| 3930k| 3416k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
723.30/723.58 c 660s| 3940k| 3416k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
727.90/728.12 c 665s| 3950k| 3416k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
732.60/732.85 c 669s| 3960k| 3416k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
737.59/737.85 c 674s| 3970k| 3416k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
742.09/742.33 c 678s| 3980k| 3416k| 0 | 0.0 |1317M| 165 | - | 172 | 7 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
746.79/747.04 c 682s| 3990k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
751.49/751.72 c 687s| 4000k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
756.29/756.50 c 691s| 4010k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
760.69/760.97 c 695s| 4020k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
765.68/765.92 c 700s| 4030k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
770.39/770.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
770.39/770.65 c 705s| 4040k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
774.98/775.25 c 709s| 4050k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
779.59/779.83 c 713s| 4060k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
784.38/784.65 c 718s| 4070k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
789.07/789.32 c 722s| 4080k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
793.48/793.71 c 726s| 4090k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
798.28/798.57 c 731s| 4100k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
803.08/803.35 c 735s| 4110k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
807.77/808.02 c 740s| 4120k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
812.58/812.82 c 744s| 4130k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
817.37/817.63 c 749s| 4140k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
822.27/822.50 c 753s| 4150k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
827.07/827.38 c 758s| 4160k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
831.56/831.87 c 762s| 4170k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
836.17/836.47 c 767s| 4180k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
840.96/841.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
840.96/841.23 c 771s| 4190k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
845.76/846.01 c 776s| 4200k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
850.36/850.66 c 780s| 4210k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
854.76/855.08 c 784s| 4220k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
859.26/859.59 c 788s| 4230k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
863.65/863.95 c 792s| 4240k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
868.26/868.50 c 797s| 4250k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
872.86/873.19 c 801s| 4260k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
877.35/877.67 c 805s| 4270k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
881.75/882.08 c 810s| 4280k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
886.65/886.95 c 814s| 4290k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
891.15/891.48 c 818s| 4300k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
895.85/896.12 c 823s| 4310k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
900.25/900.59 c 827s| 4320k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
904.84/905.19 c 831s| 4330k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
909.35/909.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
909.35/909.61 c 835s| 4340k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
913.94/914.25 c 840s| 4350k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
918.84/919.14 c 844s| 4360k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
923.24/923.55 c 848s| 4370k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
927.84/928.19 c 853s| 4380k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
932.74/933.01 c 857s| 4390k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
937.44/937.77 c 862s| 4400k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
942.03/942.32 c 866s| 4410k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
946.84/947.10 c 871s| 4420k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
951.63/951.96 c 875s| 4430k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
956.64/956.91 c 880s| 4440k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
961.23/961.50 c 884s| 4450k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
965.83/966.16 c 889s| 4460k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
970.93/971.29 c 893s| 4470k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
975.82/976.13 c 898s| 4480k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
980.63/980.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
980.63/980.95 c 902s| 4490k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
985.53/985.82 c 907s| 4500k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
990.23/990.53 c 912s| 4510k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
994.92/995.26 c 916s| 4520k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1000.02/1000.31 c 921s| 4530k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1004.72/1005.02 c 925s| 4540k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1009.53/1009.84 c 930s| 4550k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1014.22/1014.57 c 934s| 4560k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1019.01/1019.37 c 939s| 4570k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1023.82/1024.12 c 943s| 4580k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1028.31/1028.66 c 947s| 4590k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1033.21/1033.54 c 952s| 4600k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1038.21/1038.51 c 957s| 4610k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1042.71/1043.07 c 961s| 4620k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1047.01/1047.30 c 965s| 4630k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1051.71/1052.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1051.71/1052.08 c 969s| 4640k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1056.40/1056.72 c 974s| 4650k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1060.80/1061.18 c 978s| 4660k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1065.30/1065.68 c 982s| 4670k| 3416k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 622k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1069.60/1069.93 c 986s| 4680k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1073.89/1074.23 c 990s| 4690k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1078.19/1078.52 c 994s| 4700k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1082.60/1082.98 c 998s| 4710k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1087.29/1087.60 c 1003s| 4720k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1091.90/1092.25 c 1007s| 4730k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1096.30/1096.63 c 1011s| 4740k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1100.80/1101.12 c 1016s| 4750k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1105.59/1105.90 c 1020s| 4760k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1110.60/1110.92 c 1025s| 4770k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1115.10/1115.48 c 1029s| 4780k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1119.78/1120.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1119.78/1120.17 c 1033s| 4790k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1124.28/1124.69 c 1038s| 4800k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1128.78/1129.14 c 1042s| 4810k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1133.38/1133.71 c 1046s| 4820k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1137.88/1138.26 c 1050s| 4830k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1142.38/1142.74 c 1055s| 4840k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1146.68/1147.09 c 1059s| 4850k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1151.29/1151.61 c 1063s| 4860k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1155.79/1156.12 c 1067s| 4870k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1160.28/1160.63 c 1071s| 4880k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1164.97/1165.30 c 1076s| 4890k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1169.37/1169.80 c 1080s| 4900k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1173.77/1174.16 c 1084s| 4910k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1178.27/1178.61 c 1088s| 4920k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1182.76/1183.11 c 1093s| 4930k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1187.27/1187.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1187.27/1187.61 c 1097s| 4940k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1191.76/1192.19 c 1101s| 4950k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1196.56/1196.95 c 1106s| 4960k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1201.27/1201.69 c 1110s| 4970k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1206.07/1206.40 c 1114s| 4980k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1210.36/1210.79 c 1118s| 4990k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1214.96/1215.35 c 1123s| 5000k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1219.47/1219.85 c 1127s| 5010k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1224.36/1224.71 c 1132s| 5020k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 814k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1228.86/1229.22 c 1136s| 5030k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1233.15/1233.52 c 1140s| 5040k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1237.45/1237.89 c 1144s| 5050k| 3415k| 0 | 0.0 |1316M| 165 | - | 172 | 7 | 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1241.86/1242.27 c 1148s| 5060k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1246.25/1246.63 c 1152s| 5070k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1250.75/1251.16 c 1156s| 5080k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1255.25/1255.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1255.25/1255.67 c 1161s| 5090k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1259.64/1260.09 c 1165s| 5100k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1264.24/1264.68 c 1169s| 5110k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1268.85/1269.21 c 1173s| 5120k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1273.35/1273.78 c 1178s| 5130k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1277.75/1278.17 c 1182s| 5140k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1282.15/1282.60 c 1186s| 5150k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1286.65/1287.07 c 1190s| 5160k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1291.23/1291.63 c 1194s| 5170k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1295.94/1296.31 c 1199s| 5180k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 902k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1300.34/1300.76 c 1203s| 5190k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 907k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1304.73/1305.13 c 1207s| 5200k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1309.14/1309.53 c 1211s| 5210k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1313.43/1313.89 c 1215s| 5220k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1317.93/1318.31 c 1219s| 5230k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1322.23/1322.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1322.23/1322.67 c 1224s| 5240k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1326.73/1327.15 c 1228s| 5250k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1331.32/1331.74 c 1232s| 5260k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1335.93/1336.36 c 1236s| 5270k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1340.73/1341.15 c 1241s| 5280k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 957k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1345.52/1345.95 c 1245s| 5290k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 962k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1350.22/1350.64 c 1250s| 5300k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1354.72/1355.11 c 1254s| 5310k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 973k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1359.32/1359.72 c 1258s| 5320k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1363.92/1364.31 c 1263s| 5330k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1368.22/1368.64 c 1267s| 5340k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1372.61/1373.02 c 1271s| 5350k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1376.91/1377.39 c 1275s| 5360k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1381.42/1381.81 c 1279s| 5370k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1386.32/1386.78 c 1284s| 5380k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1391.13/1391.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1391.13/1391.52 c 1288s| 5390k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1395.52/1395.93 c 1292s| 5400k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1399.91/1400.31 c 1297s| 5410k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1404.61/1405.06 c 1301s| 5420k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1409.11/1409.58 c 1305s| 5430k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1413.81/1414.20 c 1310s| 5440k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1418.20/1418.61 c 1314s| 5450k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1422.61/1423.08 c 1318s| 5460k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1427.00/1427.47 c 1322s| 5470k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1431.40/1431.88 c 1326s| 5480k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1436.11/1436.50 c 1330s| 5490k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1072k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1440.61/1441.08 c 1335s| 5500k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1445.40/1445.90 c 1339s| 5510k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1449.90/1450.36 c 1344s| 5520k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1089k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1454.60/1455.02 c 1348s| 5530k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1458.99/1459.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1458.99/1459.44 c 1352s| 5540k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1463.50/1463.95 c 1356s| 5550k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1467.79/1468.27 c 1360s| 5560k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1472.29/1472.70 c 1365s| 5570k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1476.69/1477.13 c 1369s| 5580k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1481.19/1481.61 c 1373s| 5590k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1127k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1485.59/1486.01 c 1377s| 5600k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1490.18/1490.62 c 1381s| 5610k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1494.49/1494.99 c 1386s| 5620k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1498.79/1499.28 c 1390s| 5630k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1503.19/1503.68 c 1394s| 5640k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1155k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1507.59/1508.08 c 1398s| 5650k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1512.27/1512.70 c 1402s| 5660k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1516.97/1517.44 c 1407s| 5670k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1172k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1521.48/1521.98 c 1411s| 5680k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1525.87/1526.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1525.87/1526.37 c 1415s| 5690k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1530.38/1530.82 c 1419s| 5700k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1535.08/1535.58 c 1424s| 5710k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1539.87/1540.38 c 1428s| 5720k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1544.57/1545.08 c 1433s| 5730k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1549.17/1549.69 c 1437s| 5740k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1553.87/1554.35 c 1441s| 5750k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1558.27/1558.76 c 1445s| 5760k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1562.67/1563.11 c 1450s| 5770k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1227k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1566.97/1567.43 c 1454s| 5780k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1232k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1571.66/1572.10 c 1458s| 5790k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1576.06/1576.55 c 1462s| 5800k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1580.46/1580.96 c 1466s| 5810k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1585.06/1585.55 c 1471s| 5820k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1254k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1589.66/1590.14 c 1475s| 5830k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1594.15/1594.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1594.15/1594.68 c 1479s| 5840k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1266k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1598.75/1599.20 c 1483s| 5850k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1603.15/1603.67 c 1488s| 5860k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1607.55/1608.07 c 1492s| 5870k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1282k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1611.95/1612.46 c 1496s| 5880k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1616.46/1616.94 c 1500s| 5890k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1621.05/1621.56 c 1505s| 5900k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1625.55/1626.02 c 1509s| 5910k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1304k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1629.95/1630.46 c 1513s| 5920k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1634.55/1635.02 c 1517s| 5930k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1639.15/1639.65 c 1522s| 5940k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1643.64/1644.10 c 1526s| 5950k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1327k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1648.04/1648.56 c 1530s| 5960k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1332k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1652.64/1653.16 c 1534s| 5970k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1657.25/1657.79 c 1539s| 5980k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1343k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1661.64/1662.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1661.64/1662.19 c 1543s| 5990k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1666.05/1666.57 c 1547s| 6000k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1670.34/1670.83 c 1551s| 6010k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1360k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1674.54/1675.02 c 1555s| 6020k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1678.93/1679.48 c 1559s| 6030k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1683.54/1684.07 c 1563s| 6040k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1688.13/1688.68 c 1568s| 6050k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1692.73/1693.23 c 1572s| 6060k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1697.23/1697.76 c 1576s| 6070k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1701.62/1702.13 c 1580s| 6080k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1706.02/1706.54 c 1584s| 6090k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1404k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1710.32/1710.84 c 1588s| 6100k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1409k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1714.72/1715.23 c 1593s| 6110k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1719.13/1719.63 c 1597s| 6120k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1723.62/1724.20 c 1601s| 6130k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1426k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1728.12/1728.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1728.12/1728.64 c 1605s| 6140k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1732.72/1733.26 c 1609s| 6150k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1437k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1737.32/1737.84 c 1614s| 6160k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1442k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1741.92/1742.46 c 1618s| 6170k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1746.52/1747.02 c 1622s| 6180k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1751.11/1751.61 c 1627s| 6190k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1756.12/1756.61 c 1632s| 6200k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1465k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1760.81/1761.35 c 1636s| 6210k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1470k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1765.21/1765.78 c 1640s| 6220k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1769.80/1770.30 c 1644s| 6230k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1774.11/1774.69 c 1648s| 6240k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1778.60/1779.13 c 1653s| 6250k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1492k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1783.00/1783.60 c 1657s| 6260k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1787.50/1788.00 c 1661s| 6270k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1791.90/1792.49 c 1665s| 6280k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1509k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1796.51/1797.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1796.51/1797.08 c 1670s| 6290k| 3415k| 0 | 0.0 |1315M| 165 | - | 172 | 7 | 0 | 0 | 0 |1514k| 0 | 0.000000e+00 | 1.226000e+03 | Inf
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50 c
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time (sec) : 1672.71
1800.01/1800.50 c Solving Nodes : 6297787
1800.01/1800.50 c Primal Bound : +1.22600000000000e+03 (1 solutions)
1800.01/1800.50 c Dual Bound : +0.00000000000000e+00
1800.01/1800.50 c Gap : infinite
1800.01/1800.50 s SATISFIABLE
1800.01/1800.50 v -x127 -x172 -x171 -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 x160 -x159 x158 x157 x156 x155 x154 x153 x152 x151
1800.01/1800.50 v -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 x141 x140 -x139 x138 -x137 -x136 x135 -x134 x133 x132 x131 -x130 -x129 -x128
1800.01/1800.50 v -x126 x125 -x124 x123 -x122 x121 x120 x119 x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.01/1800.50 v x104 x103 -x102 x101 -x100 x99 x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 x84 -x83 -x82 -x81 -x80
1800.01/1800.50 v -x79 -x78 -x77 -x76 -x75 -x74 x73 x72 x71 x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 x55 x54 -x53
1800.01/1800.50 v -x52 x51 x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 x41 x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27
1800.01/1800.50 v -x26 -x25 -x24 -x23 x22 -x21 x20 x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 x7 x6 x5 x4 x3 x2 -x1
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time : 1672.71
1800.01/1800.50 c Original Problem :
1800.01/1800.50 c Problem name : HOME/instance-2664225-1276614567.opb
1800.01/1800.50 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 14 initial, 14 maximal
1800.01/1800.50 c Presolved Problem :
1800.01/1800.50 c Problem name : t_HOME/instance-2664225-1276614567.opb
1800.01/1800.50 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 7 initial, 8 maximal
1800.01/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.50 c linear : 0.00 0 0 0 0 0 7 0 0
1800.01/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c root node : - 0 - - 0 - - - -
1800.01/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.50 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.50 c linear : 7 0 15510917 0 5060499 1533246 25755763 0 0 0
1800.01/1800.50 c logicor : 0+ 0 1510790 0 0 0 1509029 0 0 0
1800.01/1800.50 c countsols : 0 0 0 0 5060500 0 0 0 0 0
1800.01/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.50 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.50 c linear : 1166.19 0.00 1162.75 0.00 3.44
1800.01/1800.50 c logicor : 8.60 0.00 8.60 0.00 0.00
1800.01/1800.50 c countsols : 1.97 0.00 0.00 0.00 1.97
1800.01/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.50 c vbounds : 7.07 2 0 0
1800.01/1800.50 c rootredcost : 7.68 0 0 0
1800.01/1800.50 c pseudoobj : 106.40 15510718 0 0
1800.01/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.51 c propagation : 534.11 1533246 1519071 4833344 106.3 33 100.2 -
1800.01/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.51 c applied globally : - - - 1 30.0 - - -
1800.01/1800.51 c applied locally : - - - 1519070 75.9 - - -
1800.01/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.51 c redcost : 0.00 0 0 0 0 0
1800.01/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.51 c intobj : 0.00 0 0 0 0 0
1800.01/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.51 c gomory : 0.00 0 0 0 0 0
1800.01/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.51 c cmir : 0.00 0 0 0 0 0
1800.01/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.51 c clique : 0.00 0 0 0 0 0
1800.01/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.51 c mcf : 0.00 0 0 0 0 0
1800.01/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.51 c Pricers : Time Calls Vars
1800.01/1800.51 c problem variables: 0.00 0 0
1800.01/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c inference : 90.10 5060499 0 0 0 0 10120998
1800.01/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c random : 0.00 0 0 0 0 0 0
1800.01/1800.51 c Primal Heuristics : Time Calls Found
1800.01/1800.51 c LP solutions : 0.00 - 0
1800.01/1800.51 c pseudo solutions : 0.71 - 1
1800.01/1800.51 c oneopt : 3.54 0 0
1800.01/1800.51 c trivial : 0.00 2 0
1800.01/1800.51 c simplerounding : 0.00 0 0
1800.01/1800.51 c zirounding : 0.00 0 0
1800.01/1800.51 c rounding : 0.00 0 0
1800.01/1800.51 c shifting : 0.00 0 0
1800.01/1800.51 c intshifting : 0.00 0 0
1800.01/1800.51 c twoopt : 0.00 0 0
1800.01/1800.51 c fixandinfer : 0.00 0 0
1800.01/1800.51 c feaspump : 0.00 0 0
1800.01/1800.51 c coefdiving : 0.00 0 0
1800.01/1800.51 c pscostdiving : 0.00 0 0
1800.01/1800.51 c fracdiving : 0.00 0 0
1800.01/1800.51 c veclendiving : 0.00 0 0
1800.01/1800.51 c intdiving : 0.00 0 0
1800.01/1800.51 c actconsdiving : 0.00 0 0
1800.01/1800.51 c objpscostdiving : 0.00 0 0
1800.01/1800.51 c rootsoldiving : 0.00 0 0
1800.01/1800.51 c linesearchdiving : 0.00 0 0
1800.01/1800.51 c guideddiving : 0.00 0 0
1800.01/1800.51 c octane : 0.00 0 0
1800.01/1800.51 c rens : 0.00 0 0
1800.01/1800.51 c rins : 0.00 0 0
1800.01/1800.51 c localbranching : 0.00 0 0
1800.01/1800.51 c mutation : 0.00 0 0
1800.01/1800.51 c crossover : 0.00 0 0
1800.01/1800.51 c dins : 0.00 0 0
1800.01/1800.51 c undercover : 0.00 0 0
1800.01/1800.51 c nlp : 3.00 0 0
1800.01/1800.51 c trysol : 2.86 0 0
1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.51 c (at root node) : - 0 0 0.00 -
1800.01/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.51 c B&B Tree :
1800.01/1800.51 c number of runs : 1
1800.01/1800.51 c nodes : 6297787
1800.01/1800.51 c nodes (total) : 6297787
1800.01/1800.51 c nodes left : 3415613
1800.01/1800.51 c max depth : 165
1800.01/1800.51 c max depth (total): 165
1800.01/1800.51 c backtracks : 440581 (7.0%)
1800.01/1800.51 c delayed cutoffs : 296237
1800.01/1800.51 c repropagations : 5666607 (3631534 domain reductions, 295959 cutoffs)
1800.01/1800.51 c avg switch length: 4.42
1800.01/1800.51 c switching time : 83.94
1800.01/1800.51 c Solution :
1800.01/1800.51 c Solutions found : 1 (1 improvements)
1800.01/1800.51 c First Solution : +1.22600000000000e+03 (in run 1, after 3628003 nodes, 517.96 seconds, depth 70, found by <relaxation>)
1800.01/1800.51 c Primal Bound : +1.22600000000000e+03 (in run 1, after 3628003 nodes, 517.96 seconds, depth 70, found by <relaxation>)
1800.01/1800.51 c Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Gap : infinite
1800.01/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.51 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-2664225-1276614567/watcher-2664225-1276614567 -o /tmp/evaluation-result-2664225-1276614567/solver-2664225-1276614567 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664225-1276614567.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9922
/proc/meminfo: memFree=1509152/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=6584 CPUtime=0
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 1002 0 0 0 0 0 0 0 20 0 1 0 2751801 6742016 925 1992294400 4194304 7136930 140734553869184 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9922/statm: 1646 935 254 719 0 925 0
[startup+0.0356809 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9922
/proc/meminfo: memFree=1509152/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=11168 CPUtime=0.02
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 2742 0 0 0 2 0 0 0 20 0 1 0 2751801 11436032 2055 1992294400 4194304 7136930 140734553869184 18446744073709551615 6346613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 2792 2057 364 719 0 2071 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11168
[startup+0.100687 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9922
/proc/meminfo: memFree=1509152/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=11488 CPUtime=0.09
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 2835 0 0 0 8 1 0 0 20 0 1 0 2751801 11763712 2148 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 2872 2148 383 719 0 2151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11488
[startup+0.30071 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9922
/proc/meminfo: memFree=1509152/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=12224 CPUtime=0.29
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 3007 0 0 0 26 3 0 0 20 0 1 0 2751801 12517376 2320 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 3056 2320 383 719 0 2335 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12224
[startup+0.700758 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9922
/proc/meminfo: memFree=1509152/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=13652 CPUtime=0.69
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 3384 0 0 0 63 6 0 0 20 0 1 0 2751801 13979648 2697 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 3413 2697 383 719 0 2692 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13652
[startup+1.50085 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9923
/proc/meminfo: memFree=1498852/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=15936 CPUtime=1.49
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 3965 0 0 0 136 13 0 0 22 0 1 0 2751801 16318464 3278 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 3984 3278 383 719 0 3263 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15936
[startup+3.10104 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9925
/proc/meminfo: memFree=1495256/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=19632 CPUtime=3.09
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 4942 0 0 0 282 27 0 0 25 0 1 0 2751801 20103168 4255 1992294400 4194304 7136930 140734553869184 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 4908 4255 383 719 0 4187 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19632
[startup+6.30142 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9925
/proc/meminfo: memFree=1487196/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=27756 CPUtime=6.29
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 7034 0 0 0 571 58 0 0 25 0 1 0 2751801 28422144 6347 1992294400 4194304 7136930 140734553869184 18446744073709551615 4981616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 6939 6347 383 719 0 6218 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27756
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9925
/proc/meminfo: memFree=1467612/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=48312 CPUtime=12.69
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 11814 0 0 0 1151 118 0 0 25 0 1 0 2751801 49471488 11127 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 12078 11127 383 719 0 11357 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48312
[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9925
/proc/meminfo: memFree=1433388/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=79336 CPUtime=25.48
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 19832 0 0 0 2316 232 0 0 25 0 1 0 2751801 81240064 19145 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 19834 19145 383 719 0 19113 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 79336
[startup+51.1007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9925
/proc/meminfo: memFree=1368784/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=147248 CPUtime=51.07
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 36452 0 0 0 4632 475 0 0 25 0 1 0 2751801 150781952 35765 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 36812 35765 383 719 0 36091 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 147248
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9927
/proc/meminfo: memFree=1227176/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=289104 CPUtime=102.27
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 71228 0 0 0 9240 987 0 0 25 0 1 0 2751801 296042496 70541 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 72276 70541 383 719 0 71555 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 289104
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9929
/proc/meminfo: memFree=1080360/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=447856 CPUtime=162.24
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 108148 0 0 0 14670 1554 0 0 25 0 1 0 2751801 458604544 107461 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 111964 107461 383 719 0 111243 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 447856
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9929
/proc/meminfo: memFree=972728/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=550472 CPUtime=222.23
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 134655 0 0 0 20208 2015 0 0 25 0 1 0 2751801 563683328 133968 1992294400 4194304 7136930 140734553869184 18446744073709551615 4978986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 137618 133968 383 719 0 136897 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 550472
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9931
/proc/meminfo: memFree=832484/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=686400 CPUtime=282.21
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 170161 0 0 0 25649 2572 0 0 25 0 1 0 2751801 702873600 169474 1992294400 4194304 7136930 140734553869184 18446744073709551615 4947379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 171600 169474 383 719 0 170879 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 686400
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9933
/proc/meminfo: memFree=683436/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=828300 CPUtime=342.2
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 207207 0 0 0 31060 3160 0 0 25 0 1 0 2751801 848179200 206520 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 207075 206520 383 719 0 206354 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 828300
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9935
/proc/meminfo: memFree=530668/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=1008088 CPUtime=402.18
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 245475 0 0 0 36476 3742 0 0 25 0 1 0 2751801 1032282112 244788 1992294400 4194304 7136930 140734553869184 18446744073709551615 4978243 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 252022 244788 383 719 0 251301 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1008088
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9937
/proc/meminfo: memFree=374676/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=1155484 CPUtime=462.16
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 283863 0 0 0 41889 4327 0 0 25 0 1 0 2751801 1183215616 283176 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 288871 283176 383 719 0 288150 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1155484
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9937
/proc/meminfo: memFree=214840/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=1309328 CPUtime=522.15
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 323902 0 0 0 47293 4922 0 0 25 0 1 0 2751801 1340751872 323215 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 327332 323215 383 719 0 326611 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1309328
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9939
/proc/meminfo: memFree=79308/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=1437920 CPUtime=582.13
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 371090 0 0 0 52742 5471 0 0 25 0 1 0 2751801 1472430080 356612 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 359480 356612 383 719 0 358759 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1437920
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9941
/proc/meminfo: memFree=79184/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=1438208 CPUtime=642.12
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 371168 0 0 0 58379 5833 0 0 25 0 1 0 2751801 1472724992 356690 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 359552 356690 383 719 0 358831 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1438208
[startup+702.301 s]
################
# More data... #
################
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 371205 0 0 0 92261 7941 0 0 25 0 1 0 2751801 1472868352 356727 1992294400 4194304 7136930 140734553869184 18446744073709551615 4947555 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 359587 356727 383 719 0 358866 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1438348
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9953
/proc/meminfo: memFree=78316/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=1438348 CPUtime=1062
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 371212 0 0 0 97905 8295 0 0 25 0 1 0 2751801 1472868352 356734 1992294400 4194304 7136930 140734553869184 18446744073709551615 5909095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 359587 356734 383 719 0 358866 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1438348
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9953
/proc/meminfo: memFree=78192/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=1438348 CPUtime=1121.99
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 371214 0 0 0 103541 8658 0 0 25 0 1 0 2751801 1472868352 356736 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 359587 356736 383 719 0 358866 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1438348
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9955
/proc/meminfo: memFree=78192/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=1438348 CPUtime=1181.96
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 371216 0 0 0 109177 9019 0 0 25 0 1 0 2751801 1472868352 356738 1992294400 4194304 7136930 140734553869184 18446744073709551615 5909185 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 359587 356738 383 719 0 358866 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1438348
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9957
/proc/meminfo: memFree=77944/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=1438348 CPUtime=1241.95
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 371216 0 0 0 114813 9382 0 0 25 0 1 0 2751801 1472868352 356738 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 359587 356738 383 719 0 358866 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1438348
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9959
/proc/meminfo: memFree=77820/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=1438348 CPUtime=1301.94
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 371216 0 0 0 120442 9752 0 0 25 0 1 0 2751801 1472868352 356738 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 359587 356738 383 719 0 358866 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1438348
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9964
/proc/meminfo: memFree=77200/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=1438348 CPUtime=1361.92
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 371226 0 0 0 126085 10107 0 0 25 0 1 0 2751801 1472868352 356748 1992294400 4194304 7136930 140734553869184 18446744073709551615 5918683 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 359587 356748 383 719 0 358866 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1438348
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9964
/proc/meminfo: memFree=77200/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=1438348 CPUtime=1421.91
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 371226 0 0 0 131718 10473 0 0 25 0 1 0 2751801 1472868352 356748 1992294400 4194304 7136930 140734553869184 18446744073709551615 4978413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 359587 356748 383 719 0 358866 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1438348
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9966
/proc/meminfo: memFree=77200/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=1438348 CPUtime=1481.88
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 371226 0 0 0 137363 10825 0 0 25 0 1 0 2751801 1472868352 356748 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 359587 356748 383 719 0 358866 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1438348
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9968
/proc/meminfo: memFree=77200/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=1438508 CPUtime=1541.87
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 371234 0 0 0 143001 11186 0 0 25 0 1 0 2751801 1473032192 356756 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 359627 356756 383 719 0 358906 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1438508
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9970
/proc/meminfo: memFree=77200/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=1438508 CPUtime=1601.85
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 371234 0 0 0 148635 11550 0 0 25 0 1 0 2751801 1473032192 356756 1992294400 4194304 7136930 140734553869184 18446744073709551615 4240496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 359627 356756 383 719 0 358906 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1438508
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9972
/proc/meminfo: memFree=77076/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=1438508 CPUtime=1661.84
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 371234 0 0 0 154284 11900 0 0 25 0 1 0 2751801 1473032192 356756 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 359627 356756 383 719 0 358906 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1438508
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9972
/proc/meminfo: memFree=77076/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=1438508 CPUtime=1721.83
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 371235 0 0 0 159918 12265 0 0 25 0 1 0 2751801 1473032192 356757 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 359627 356757 383 719 0 358906 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1438508
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9974
/proc/meminfo: memFree=76952/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=1438508 CPUtime=1781.8
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 371235 0 0 0 165563 12617 0 0 25 0 1 0 2751801 1473032192 356757 1992294400 4194304 7136930 140734553869184 18446744073709551615 5918697 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 359627 356757 383 719 0 358906 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1438508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9974
/proc/meminfo: memFree=76952/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=1438508 CPUtime=1800.01
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 371235 0 0 0 167271 12730 0 0 25 0 1 0 2751801 1473032192 356757 1992294400 4194304 7136930 140734553869184 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9922/statm: 359627 356757 383 719 0 358906 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1438508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9922
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9975
/proc/meminfo: memFree=76944/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=1438508 CPUtime=1800.9
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 371241 0 0 0 167360 12730 0 0 25 0 1 0 2751801 1473032192 356763 1992294400 4194304 7136930 140734553869184 18446744073709551615 6165646 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9922/statm: 359627 356763 389 719 0 358906 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 1438508
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9975
/proc/meminfo: memFree=76820/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=1438508 CPUtime=1801.7
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4202496 371241 0 0 0 167440 12730 0 0 25 0 1 0 2751801 1473032192 356763 1992294400 4194304 7136930 140734553869184 18446744073709551615 6165634 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9922/statm: 359627 356763 389 719 0 358906 0
Current children cumulated CPU time (s) 1801.7
Current children cumulated vsize (KiB) 1438508
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9975
/proc/meminfo: memFree=76820/2059040 swapFree=4192956/4192956
[pid=9922] ppid=9920 vsize=0 CPUtime=1802.1
/proc/9922/stat : 9922 (pbscip.linux.x8) R 9920 9922 9316 0 -1 4203524 371241 0 0 0 167471 12739 0 0 25 0 1 0 2751801 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9922/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.64
CPU time (s): 1802.15
CPU user time (s): 1674.71
CPU system time (s): 127.434
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 1502028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1674.71
system time used= 127.434
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371241
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= 3
involuntary context switches= 2650
runsolver used 3.2565 second user time and 8.26374 second system time
The end