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-2664224-1276615390.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.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c lp/solvefreq = -1
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 2 | 0 | - | 486k| 0 | - | 172 | 7 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.59/1.67 c 1.5s| 10000 | 9980 | 0 | 0.0 |4310k| 67 | - | 172 | 7 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
3.30/3.33 c 3.0s| 20000 | 19960 | 0 | 0.0 |7873k| 67 | - | 172 | 7 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
4.89/4.97 c 4.6s| 30000 | 29958 | 0 | 0.0 | 11M| 80 | - | 172 | 7 | 0 | 0 | 0 | 21 | 0 | 0.000000e+00 | -- | Inf
6.49/6.60 c 6.0s| 40000 | 39942 | 0 | 0.0 | 15M| 80 | - | 172 | 7 | 0 | 0 | 0 | 29 | 0 | 0.000000e+00 | -- | Inf
8.19/8.22 c 7.5s| 50000 | 49942 | 0 | 0.0 | 18M| 80 | - | 172 | 7 | 0 | 0 | 0 | 29 | 0 | 0.000000e+00 | -- | Inf
9.80/9.85 c 9.0s| 60000 | 59942 | 0 | 0.0 | 22M| 80 | - | 172 | 7 | 0 | 0 | 0 | 29 | 0 | 0.000000e+00 | -- | Inf
11.38/11.49 c 10.5s| 70000 | 69938 | 0 | 0.0 | 26M| 80 | - | 172 | 7 | 0 | 0 | 0 | 31 | 0 | 0.000000e+00 | -- | Inf
13.10/13.11 c 12.0s| 80000 | 79938 | 0 | 0.0 | 31M| 80 | - | 172 | 7 | 0 | 0 | 0 | 31 | 0 | 0.000000e+00 | -- | Inf
14.69/14.75 c 13.5s| 90000 | 89928 | 0 | 0.0 | 35M| 80 | - | 172 | 7 | 0 | 0 | 0 | 36 | 0 | 0.000000e+00 | -- | Inf
16.29/16.38 c 14.9s|100000 | 99918 | 0 | 0.0 | 39M| 80 | - | 172 | 7 | 0 | 0 | 0 | 41 | 0 | 0.000000e+00 | -- | Inf
17.99/18.00 c 16.4s|110000 |109889 | 0 | 0.0 | 44M| 80 | - | 172 | 7 | 0 | 0 | 0 | 57 | 0 | 0.000000e+00 | -- | Inf
19.58/19.61 c 17.9s|120000 |119853 | 0 | 0.0 | 48M| 80 | - | 172 | 7 | 0 | 0 | 0 | 76 | 0 | 0.000000e+00 | -- | Inf
21.19/21.21 c 19.3s|130000 |129849 | 0 | 0.0 | 52M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
22.79/22.83 c 20.8s|140000 |139849 | 0 | 0.0 | 56M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
24.38/24.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.38/24.44 c 22.3s|150000 |149849 | 0 | 0.0 | 59M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
25.98/26.06 c 23.8s|160000 |159849 | 0 | 0.0 | 63M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
27.59/27.68 c 25.3s|170000 |169849 | 0 | 0.0 | 66M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
29.28/29.32 c 26.8s|180000 |179849 | 0 | 0.0 | 70M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
30.89/30.97 c 28.3s|190000 |189849 | 0 | 0.0 | 73M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
32.58/32.60 c 29.8s|200000 |199849 | 0 | 0.0 | 77M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
34.18/34.26 c 31.4s|210000 |209849 | 0 | 0.0 | 81M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
35.88/35.90 c 32.9s|220000 |219849 | 0 | 0.0 | 84M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
37.48/37.54 c 34.4s|230000 |229849 | 0 | 0.0 | 88M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
39.08/39.19 c 35.9s|240000 |239849 | 0 | 0.0 | 92M| 80 | - | 172 | 7 | 0 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf
40.77/40.83 c 37.4s|250000 |249847 | 0 | 0.0 | 95M| 80 | - | 172 | 7 | 0 | 0 | 0 | 79 | 0 | 0.000000e+00 | -- | Inf
42.37/42.48 c 38.8s|260000 |259843 | 0 | 0.0 | 99M| 80 | - | 172 | 7 | 0 | 0 | 0 | 81 | 0 | 0.000000e+00 | -- | Inf
44.07/44.11 c 40.3s|270000 |269839 | 0 | 0.0 | 103M| 80 | - | 172 | 7 | 0 | 0 | 0 | 83 | 0 | 0.000000e+00 | -- | Inf
45.67/45.75 c 41.8s|280000 |279831 | 0 | 0.0 | 107M| 80 | - | 172 | 7 | 0 | 0 | 0 | 87 | 0 | 0.000000e+00 | -- | Inf
47.29/47.39 c 43.3s|290000 |289831 | 0 | 0.0 | 110M| 80 | - | 172 | 7 | 0 | 0 | 0 | 87 | 0 | 0.000000e+00 | -- | Inf
48.97/49.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.97/49.04 c 44.8s|300000 |299823 | 0 | 0.0 | 114M| 80 | - | 172 | 7 | 0 | 0 | 0 | 91 | 0 | 0.000000e+00 | -- | Inf
50.58/50.69 c 46.3s|310000 |309811 | 0 | 0.0 | 118M| 80 | - | 172 | 7 | 0 | 0 | 0 | 97 | 0 | 0.000000e+00 | -- | Inf
52.27/52.33 c 47.8s|320000 |319800 | 0 | 0.0 | 122M| 80 | - | 172 | 7 | 0 | 0 | 0 | 103 | 0 | 0.000000e+00 | -- | Inf
53.88/53.97 c 49.3s|330000 |329798 | 0 | 0.0 | 126M| 80 | - | 172 | 7 | 0 | 0 | 0 | 104 | 0 | 0.000000e+00 | -- | Inf
55.58/55.60 c 50.8s|340000 |339798 | 0 | 0.0 | 130M| 80 | - | 172 | 7 | 0 | 0 | 0 | 104 | 0 | 0.000000e+00 | -- | Inf
57.18/57.23 c 52.3s|350000 |349790 | 0 | 0.0 | 134M| 80 | - | 172 | 7 | 0 | 0 | 0 | 108 | 0 | 0.000000e+00 | -- | Inf
58.78/58.87 c 53.8s|360000 |359788 | 0 | 0.0 | 138M| 80 | - | 172 | 7 | 0 | 0 | 0 | 109 | 0 | 0.000000e+00 | -- | Inf
60.47/60.51 c 55.3s|370000 |369788 | 0 | 0.0 | 142M| 80 | - | 172 | 7 | 0 | 0 | 0 | 109 | 0 | 0.000000e+00 | -- | Inf
62.07/62.15 c 56.8s|380000 |379784 | 0 | 0.0 | 146M| 80 | - | 172 | 7 | 0 | 0 | 0 | 111 | 0 | 0.000000e+00 | -- | Inf
63.67/63.79 c 58.3s|390000 |389763 | 0 | 0.0 | 150M| 80 | - | 172 | 7 | 0 | 0 | 0 | 122 | 0 | 0.000000e+00 | -- | Inf
65.37/65.44 c 59.8s|400000 |399761 | 0 | 0.0 | 154M| 80 | - | 172 | 7 | 0 | 0 | 0 | 123 | 0 | 0.000000e+00 | -- | Inf
66.98/67.09 c 61.3s|410000 |409761 | 0 | 0.0 | 158M| 80 | - | 172 | 7 | 0 | 0 | 0 | 123 | 0 | 0.000000e+00 | -- | Inf
68.67/68.74 c 62.8s|420000 |419757 | 0 | 0.0 | 162M| 80 | - | 172 | 7 | 0 | 0 | 0 | 125 | 0 | 0.000000e+00 | -- | Inf
70.27/70.38 c 64.3s|430000 |429741 | 0 | 0.0 | 166M| 80 | - | 172 | 7 | 0 | 0 | 0 | 133 | 0 | 0.000000e+00 | -- | Inf
71.96/72.03 c 65.8s|440000 |439737 | 0 | 0.0 | 170M| 80 | - | 172 | 7 | 0 | 0 | 0 | 135 | 0 | 0.000000e+00 | -- | Inf
73.57/73.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.57/73.68 c 67.3s|450000 |449737 | 0 | 0.0 | 174M| 80 | - | 172 | 7 | 0 | 0 | 0 | 135 | 0 | 0.000000e+00 | -- | Inf
75.27/75.33 c 68.8s|460000 |459737 | 0 | 0.0 | 178M| 80 | - | 172 | 7 | 0 | 0 | 0 | 135 | 0 | 0.000000e+00 | -- | Inf
76.87/76.98 c 70.3s|470000 |469737 | 0 | 0.0 | 182M| 80 | - | 172 | 7 | 0 | 0 | 0 | 135 | 0 | 0.000000e+00 | -- | Inf
78.56/78.62 c 71.8s|480000 |479733 | 0 | 0.0 | 187M| 80 | - | 172 | 7 | 0 | 0 | 0 | 137 | 0 | 0.000000e+00 | -- | Inf
80.17/80.28 c 73.2s|490000 |489725 | 0 | 0.0 | 191M| 80 | - | 172 | 7 | 0 | 0 | 0 | 141 | 0 | 0.000000e+00 | -- | Inf
81.86/81.93 c 74.7s|500000 |499721 | 0 | 0.0 | 195M| 80 | - | 172 | 7 | 0 | 0 | 0 | 143 | 0 | 0.000000e+00 | -- | Inf
83.47/83.59 c 76.2s|510000 |509711 | 0 | 0.0 | 199M| 80 | - | 172 | 7 | 0 | 0 | 0 | 148 | 0 | 0.000000e+00 | -- | Inf
85.16/85.23 c 77.7s|520000 |519705 | 0 | 0.0 | 204M| 80 | - | 172 | 7 | 0 | 0 | 0 | 151 | 0 | 0.000000e+00 | -- | Inf
86.77/86.87 c 79.2s|530000 |529701 | 0 | 0.0 | 208M| 80 | - | 172 | 7 | 0 | 0 | 0 | 153 | 0 | 0.000000e+00 | -- | Inf
88.46/88.50 c 80.7s|540000 |539691 | 0 | 0.0 | 212M| 80 | - | 172 | 7 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
90.06/90.15 c 82.2s|550000 |549691 | 0 | 0.0 | 217M| 80 | - | 172 | 7 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
91.76/91.80 c 83.7s|560000 |559691 | 0 | 0.0 | 221M| 80 | - | 172 | 7 | 0 | 0 | 0 | 158 | 0 | 0.000000e+00 | -- | Inf
93.37/93.45 c 85.2s|570000 |569683 | 0 | 0.0 | 225M| 80 | - | 172 | 7 | 0 | 0 | 0 | 162 | 0 | 0.000000e+00 | -- | Inf
95.06/95.11 c 86.7s|580000 |579677 | 0 | 0.0 | 230M| 80 | - | 172 | 7 | 0 | 0 | 0 | 165 | 0 | 0.000000e+00 | -- | Inf
96.66/96.77 c 88.1s|590000 |589663 | 0 | 0.0 | 234M| 80 | - | 172 | 7 | 0 | 0 | 0 | 172 | 0 | 0.000000e+00 | -- | Inf
98.36/98.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.36/98.43 c 89.7s|600000 |599655 | 0 | 0.0 | 239M| 80 | - | 172 | 7 | 0 | 0 | 0 | 176 | 0 | 0.000000e+00 | -- | Inf
100.07/100.10 c 91.2s|610000 |609655 | 0 | 0.0 | 243M| 80 | - | 172 | 7 | 0 | 0 | 0 | 176 | 0 | 0.000000e+00 | -- | Inf
101.66/101.76 c 92.7s|620000 |619645 | 0 | 0.0 | 248M| 80 | - | 172 | 7 | 0 | 0 | 0 | 181 | 0 | 0.000000e+00 | -- | Inf
103.36/103.40 c 94.1s|630000 |629635 | 0 | 0.0 | 252M| 80 | - | 172 | 7 | 0 | 0 | 0 | 186 | 0 | 0.000000e+00 | -- | Inf
104.95/105.04 c 95.6s|640000 |639616 | 0 | 0.0 | 257M| 80 | - | 172 | 7 | 0 | 0 | 0 | 196 | 0 | 0.000000e+00 | -- | Inf
106.56/106.66 c 97.1s|650000 |649594 | 0 | 0.0 | 261M| 80 | - | 172 | 7 | 0 | 0 | 0 | 206 | 0 | 0.000000e+00 | -- | Inf
108.25/108.31 c 98.6s|660000 |659594 | 0 | 0.0 | 266M| 83 | - | 172 | 7 | 0 | 0 | 0 | 206 | 0 | 0.000000e+00 | -- | Inf
109.86/109.97 c 100s|670000 |669590 | 0 | 0.0 | 270M| 83 | - | 172 | 7 | 0 | 0 | 0 | 208 | 0 | 0.000000e+00 | -- | Inf
111.56/111.62 c 102s|680000 |679588 | 0 | 0.0 | 275M| 83 | - | 172 | 7 | 0 | 0 | 0 | 209 | 0 | 0.000000e+00 | -- | Inf
113.16/113.28 c 103s|690000 |689562 | 0 | 0.0 | 280M| 83 | - | 172 | 7 | 0 | 0 | 0 | 222 | 0 | 0.000000e+00 | -- | Inf
114.85/114.92 c 105s|700000 |699551 | 0 | 0.0 | 284M| 83 | - | 172 | 7 | 0 | 0 | 0 | 228 | 0 | 0.000000e+00 | -- | Inf
116.46/116.57 c 106s|710000 |709534 | 0 | 0.0 | 289M| 83 | - | 172 | 7 | 0 | 0 | 0 | 237 | 0 | 0.000000e+00 | -- | Inf
118.15/118.22 c 108s|720000 |719521 | 0 | 0.0 | 293M| 83 | - | 172 | 7 | 0 | 0 | 0 | 244 | 0 | 0.000000e+00 | -- | Inf
119.76/119.88 c 109s|730000 |729515 | 0 | 0.0 | 298M| 83 | - | 172 | 7 | 0 | 0 | 0 | 247 | 0 | 0.000000e+00 | -- | Inf
121.45/121.51 c 111s|740000 |739505 | 0 | 0.0 | 303M| 83 | - | 172 | 7 | 0 | 0 | 0 | 252 | 0 | 0.000000e+00 | -- | Inf
123.06/123.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.06/123.15 c 112s|750000 |749495 | 0 | 0.0 | 307M| 83 | - | 172 | 7 | 0 | 0 | 0 | 257 | 0 | 0.000000e+00 | -- | Inf
124.75/124.80 c 113s|760000 |759479 | 0 | 0.0 | 312M| 83 | - | 172 | 7 | 0 | 0 | 0 | 265 | 0 | 0.000000e+00 | -- | Inf
126.35/126.44 c 115s|770000 |769471 | 0 | 0.0 | 317M| 83 | - | 172 | 7 | 0 | 0 | 0 | 269 | 0 | 0.000000e+00 | -- | Inf
127.95/128.08 c 116s|780000 |779471 | 0 | 0.0 | 321M| 83 | - | 172 | 7 | 0 | 0 | 0 | 269 | 0 | 0.000000e+00 | -- | Inf
129.65/129.72 c 118s|790000 |789469 | 0 | 0.0 | 326M| 83 | - | 172 | 7 | 0 | 0 | 0 | 270 | 0 | 0.000000e+00 | -- | Inf
131.25/131.38 c 119s|800000 |799461 | 0 | 0.0 | 331M| 83 | - | 172 | 7 | 0 | 0 | 0 | 274 | 0 | 0.000000e+00 | -- | Inf
132.95/133.02 c 121s|810000 |809461 | 0 | 0.0 | 336M| 83 | - | 172 | 7 | 0 | 0 | 0 | 274 | 0 | 0.000000e+00 | -- | Inf
134.55/134.66 c 122s|820000 |819440 | 0 | 0.0 | 340M| 83 | - | 172 | 7 | 0 | 0 | 0 | 284 | 0 | 0.000000e+00 | -- | Inf
136.15/136.29 c 124s|830000 |829436 | 0 | 0.0 | 345M| 83 | - | 172 | 7 | 0 | 0 | 0 | 286 | 0 | 0.000000e+00 | -- | Inf
137.84/137.96 c 125s|840000 |839417 | 0 | 0.0 | 350M| 83 | - | 172 | 7 | 0 | 0 | 0 | 296 | 0 | 0.000000e+00 | -- | Inf
139.55/139.62 c 127s|850000 |849417 | 0 | 0.0 | 355M| 83 | - | 172 | 7 | 0 | 0 | 0 | 296 | 0 | 0.000000e+00 | -- | Inf
141.14/141.26 c 128s|860000 |859417 | 0 | 0.0 | 360M| 83 | - | 172 | 7 | 0 | 0 | 0 | 296 | 0 | 0.000000e+00 | -- | Inf
142.85/142.90 c 130s|870000 |869415 | 0 | 0.0 | 365M| 83 | - | 172 | 7 | 0 | 0 | 0 | 297 | 0 | 0.000000e+00 | -- | Inf
144.44/144.55 c 131s|880000 |879405 | 0 | 0.0 | 369M| 83 | - | 172 | 7 | 0 | 0 | 0 | 302 | 0 | 0.000000e+00 | -- | Inf
146.15/146.21 c 133s|890000 |889405 | 0 | 0.0 | 374M| 83 | - | 172 | 7 | 0 | 0 | 0 | 302 | 0 | 0.000000e+00 | -- | Inf
147.74/147.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
147.74/147.87 c 134s|900000 |899395 | 0 | 0.0 | 379M| 83 | - | 172 | 7 | 0 | 0 | 0 | 307 | 0 | 0.000000e+00 | -- | Inf
149.44/149.51 c 136s|910000 |909393 | 0 | 0.0 | 384M| 83 | - | 172 | 7 | 0 | 0 | 0 | 308 | 0 | 0.000000e+00 | -- | Inf
151.04/151.16 c 137s|920000 |919391 | 0 | 0.0 | 389M| 83 | - | 172 | 7 | 0 | 0 | 0 | 309 | 0 | 0.000000e+00 | -- | Inf
152.74/152.81 c 139s|930000 |929377 | 0 | 0.0 | 394M| 83 | - | 172 | 7 | 0 | 0 | 0 | 316 | 0 | 0.000000e+00 | -- | Inf
154.34/154.49 c 140s|940000 |939375 | 0 | 0.0 | 398M| 83 | - | 172 | 7 | 0 | 0 | 0 | 317 | 0 | 0.000000e+00 | -- | Inf
156.04/156.13 c 142s|950000 |949370 | 0 | 0.0 | 403M| 87 | - | 172 | 7 | 0 | 0 | 0 | 320 | 0 | 0.000000e+00 | -- | Inf
157.64/157.78 c 143s|960000 |959366 | 0 | 0.0 | 408M| 87 | - | 172 | 7 | 0 | 0 | 0 | 322 | 0 | 0.000000e+00 | -- | Inf
159.24/159.38 c 145s|970000 |969364 | 0 | 0.0 | 413M| 87 | - | 172 | 7 | 0 | 0 | 0 | 323 | 0 | 0.000000e+00 | -- | Inf
160.83/160.97 c 146s|980000 |979362 | 0 | 0.0 | 418M| 87 | - | 172 | 7 | 0 | 0 | 0 | 324 | 0 | 0.000000e+00 | -- | Inf
162.53/162.64 c 148s|990000 |989362 | 0 | 0.0 | 421M| 87 | - | 172 | 7 | 0 | 0 | 0 | 324 | 0 | 0.000000e+00 | -- | Inf
164.23/164.30 c 149s| 1000k|999362 | 0 | 0.0 | 425M| 87 | - | 172 | 7 | 0 | 0 | 0 | 324 | 0 | 0.000000e+00 | -- | Inf
165.83/165.96 c 151s| 1010k| 1009k| 0 | 0.0 | 429M| 87 | - | 172 | 7 | 0 | 0 | 0 | 324 | 0 | 0.000000e+00 | -- | Inf
167.54/167.64 c 152s| 1020k| 1019k| 0 | 0.0 | 433M| 87 | - | 172 | 7 | 0 | 0 | 0 | 324 | 0 | 0.000000e+00 | -- | Inf
169.24/169.33 c 154s| 1030k| 1029k| 0 | 0.0 | 437M| 87 | - | 172 | 7 | 0 | 0 | 0 | 324 | 0 | 0.000000e+00 | -- | Inf
170.94/171.01 c 155s| 1040k| 1039k| 0 | 0.0 | 441M| 87 | - | 172 | 7 | 0 | 0 | 0 | 332 | 0 | 0.000000e+00 | -- | Inf
172.54/172.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.54/172.69 c 157s| 1050k| 1049k| 0 | 0.0 | 446M| 87 | - | 172 | 7 | 0 | 0 | 0 | 332 | 0 | 0.000000e+00 | -- | Inf
174.23/174.38 c 158s| 1060k| 1059k| 0 | 0.0 | 450M| 87 | - | 172 | 7 | 0 | 0 | 0 | 332 | 0 | 0.000000e+00 | -- | Inf
175.94/176.07 c 160s| 1070k| 1069k| 0 | 0.0 | 455M| 87 | - | 172 | 7 | 0 | 0 | 0 | 332 | 0 | 0.000000e+00 | -- | Inf
177.63/177.78 c 161s| 1080k| 1079k| 0 | 0.0 | 460M| 87 | - | 172 | 7 | 0 | 0 | 0 | 332 | 0 | 0.000000e+00 | -- | Inf
179.33/179.48 c 163s| 1090k| 1089k| 0 | 0.0 | 465M| 87 | - | 172 | 7 | 0 | 0 | 0 | 332 | 0 | 0.000000e+00 | -- | Inf
181.02/181.11 c 164s| 1100k| 1099k| 0 | 0.0 | 469M| 87 | - | 172 | 7 | 0 | 0 | 0 | 332 | 0 | 0.000000e+00 | -- | Inf
182.63/182.74 c 166s| 1110k| 1109k| 0 | 0.0 | 472M| 87 | - | 172 | 7 | 0 | 0 | 0 | 332 | 0 | 0.000000e+00 | -- | Inf
184.23/184.37 c 167s| 1120k| 1119k| 0 | 0.0 | 476M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
185.93/186.00 c 169s| 1130k| 1129k| 0 | 0.0 | 479M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
187.53/187.64 c 170s| 1140k| 1139k| 0 | 0.0 | 483M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
189.13/189.27 c 172s| 1150k| 1149k| 0 | 0.0 | 486M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
190.83/190.92 c 173s| 1160k| 1159k| 0 | 0.0 | 490M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
192.43/192.55 c 175s| 1170k| 1169k| 0 | 0.0 | 493M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
194.12/194.20 c 176s| 1180k| 1179k| 0 | 0.0 | 497M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
195.73/195.83 c 178s| 1190k| 1189k| 0 | 0.0 | 501M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
197.32/197.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.32/197.46 c 179s| 1200k| 1199k| 0 | 0.0 | 504M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
199.03/199.11 c 181s| 1210k| 1209k| 0 | 0.0 | 508M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
200.62/200.73 c 182s| 1220k| 1219k| 0 | 0.0 | 511M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
202.23/202.36 c 184s| 1230k| 1229k| 0 | 0.0 | 515M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
203.82/203.99 c 185s| 1240k| 1239k| 0 | 0.0 | 519M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
205.52/205.63 c 187s| 1250k| 1249k| 0 | 0.0 | 522M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
207.12/207.26 c 188s| 1260k| 1259k| 0 | 0.0 | 526M| 87 | - | 172 | 7 | 0 | 0 | 0 | 334 | 0 | 0.000000e+00 | -- | Inf
208.72/208.88 c 190s| 1270k| 1269k| 0 | 0.0 | 529M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
210.42/210.51 c 191s| 1280k| 1279k| 0 | 0.0 | 533M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
212.02/212.14 c 193s| 1290k| 1289k| 0 | 0.0 | 537M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
213.62/213.77 c 194s| 1300k| 1299k| 0 | 0.0 | 540M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
215.22/215.40 c 196s| 1310k| 1309k| 0 | 0.0 | 544M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
216.92/217.02 c 197s| 1320k| 1319k| 0 | 0.0 | 548M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
218.51/218.64 c 199s| 1330k| 1329k| 0 | 0.0 | 551M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
220.11/220.28 c 200s| 1340k| 1339k| 0 | 0.0 | 555M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
221.82/221.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
221.82/221.93 c 202s| 1350k| 1349k| 0 | 0.0 | 559M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
223.41/223.56 c 203s| 1360k| 1359k| 0 | 0.0 | 562M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
225.01/225.18 c 205s| 1370k| 1369k| 0 | 0.0 | 566M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
226.72/226.81 c 206s| 1380k| 1379k| 0 | 0.0 | 570M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
228.31/228.43 c 208s| 1390k| 1389k| 0 | 0.0 | 573M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
229.91/230.05 c 209s| 1400k| 1399k| 0 | 0.0 | 577M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
231.51/231.69 c 211s| 1410k| 1409k| 0 | 0.0 | 581M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
233.21/233.33 c 212s| 1420k| 1419k| 0 | 0.0 | 585M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
234.81/234.98 c 214s| 1430k| 1429k| 0 | 0.0 | 588M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
236.51/236.61 c 215s| 1440k| 1439k| 0 | 0.0 | 592M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
238.11/238.25 c 217s| 1450k| 1449k| 0 | 0.0 | 596M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
239.72/239.88 c 218s| 1460k| 1459k| 0 | 0.0 | 599M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
241.40/241.50 c 220s| 1470k| 1469k| 0 | 0.0 | 603M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
243.01/243.12 c 221s| 1480k| 1479k| 0 | 0.0 | 607M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
244.60/244.76 c 223s| 1490k| 1489k| 0 | 0.0 | 611M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
246.21/246.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
246.21/246.39 c 224s| 1500k| 1499k| 0 | 0.0 | 614M| 87 | - | 172 | 7 | 0 | 0 | 0 | 335 | 0 | 0.000000e+00 | -- | Inf
247.91/248.04 c 226s| 1510k| 1509k| 0 | 0.0 | 618M| 87 | - | 172 | 7 | 0 | 0 | 0 | 336 | 0 | 0.000000e+00 | -- | Inf
249.51/249.69 c 227s| 1520k| 1519k| 0 | 0.0 | 622M| 87 | - | 172 | 7 | 0 | 0 | 0 | 340 | 0 | 0.000000e+00 | -- | Inf
251.20/251.33 c 229s| 1530k| 1529k| 0 | 0.0 | 626M| 87 | - | 172 | 7 | 0 | 0 | 0 | 341 | 0 | 0.000000e+00 | -- | Inf
252.81/252.95 c 230s| 1540k| 1539k| 0 | 0.0 | 629M| 87 | - | 172 | 7 | 0 | 0 | 0 | 341 | 0 | 0.000000e+00 | -- | Inf
254.50/254.60 c 232s| 1550k| 1549k| 0 | 0.0 | 633M| 87 | - | 172 | 7 | 0 | 0 | 0 | 341 | 0 | 0.000000e+00 | -- | Inf
256.11/256.24 c 233s| 1560k| 1559k| 0 | 0.0 | 637M| 87 | - | 172 | 7 | 0 | 0 | 0 | 341 | 0 | 0.000000e+00 | -- | Inf
257.70/257.87 c 235s| 1570k| 1569k| 0 | 0.0 | 641M| 87 | - | 172 | 7 | 0 | 0 | 0 | 342 | 0 | 0.000000e+00 | -- | Inf
259.41/259.50 c 236s| 1580k| 1579k| 0 | 0.0 | 644M| 87 | - | 172 | 7 | 0 | 0 | 0 | 342 | 0 | 0.000000e+00 | -- | Inf
261.00/261.14 c 238s| 1590k| 1589k| 0 | 0.0 | 648M| 87 | - | 172 | 7 | 0 | 0 | 0 | 343 | 0 | 0.000000e+00 | -- | Inf
262.59/262.79 c 239s| 1600k| 1599k| 0 | 0.0 | 652M| 87 | - | 172 | 7 | 0 | 0 | 0 | 343 | 0 | 0.000000e+00 | -- | Inf
264.29/264.43 c 241s| 1610k| 1609k| 0 | 0.0 | 656M| 87 | - | 172 | 7 | 0 | 0 | 0 | 343 | 0 | 0.000000e+00 | -- | Inf
265.89/266.08 c 242s| 1620k| 1619k| 0 | 0.0 | 660M| 87 | - | 172 | 7 | 0 | 0 | 0 | 343 | 0 | 0.000000e+00 | -- | Inf
267.59/267.73 c 244s| 1630k| 1629k| 0 | 0.0 | 663M| 87 | - | 172 | 7 | 0 | 0 | 0 | 343 | 0 | 0.000000e+00 | -- | Inf
269.20/269.36 c 245s| 1640k| 1639k| 0 | 0.0 | 667M| 87 | - | 172 | 7 | 0 | 0 | 0 | 346 | 0 | 0.000000e+00 | -- | Inf
270.80/270.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
270.80/270.98 c 247s| 1650k| 1649k| 0 | 0.0 | 671M| 87 | - | 172 | 7 | 0 | 0 | 0 | 347 | 0 | 0.000000e+00 | -- | Inf
272.49/272.61 c 248s| 1660k| 1659k| 0 | 0.0 | 675M| 87 | - | 172 | 7 | 0 | 0 | 0 | 347 | 0 | 0.000000e+00 | -- | Inf
274.09/274.24 c 250s| 1670k| 1669k| 0 | 0.0 | 678M| 87 | - | 172 | 7 | 0 | 0 | 0 | 347 | 0 | 0.000000e+00 | -- | Inf
275.69/275.87 c 251s| 1680k| 1679k| 0 | 0.0 | 682M| 87 | - | 172 | 7 | 0 | 0 | 0 | 347 | 0 | 0.000000e+00 | -- | Inf
277.29/277.49 c 252s| 1690k| 1689k| 0 | 0.0 | 686M| 87 | - | 172 | 7 | 0 | 0 | 0 | 349 | 0 | 0.000000e+00 | -- | Inf
278.99/279.11 c 254s| 1700k| 1699k| 0 | 0.0 | 690M| 87 | - | 172 | 7 | 0 | 0 | 0 | 349 | 0 | 0.000000e+00 | -- | Inf
280.59/280.74 c 255s| 1710k| 1709k| 0 | 0.0 | 693M| 87 | - | 172 | 7 | 0 | 0 | 0 | 350 | 0 | 0.000000e+00 | -- | Inf
282.19/282.37 c 257s| 1720k| 1719k| 0 | 0.0 | 697M| 87 | - | 172 | 7 | 0 | 0 | 0 | 350 | 0 | 0.000000e+00 | -- | Inf
283.79/283.99 c 258s| 1730k| 1729k| 0 | 0.0 | 701M| 87 | - | 172 | 7 | 0 | 0 | 0 | 350 | 0 | 0.000000e+00 | -- | Inf
285.49/285.62 c 260s| 1740k| 1739k| 0 | 0.0 | 705M| 87 | - | 172 | 7 | 0 | 0 | 0 | 351 | 0 | 0.000000e+00 | -- | Inf
287.09/287.27 c 261s| 1750k| 1749k| 0 | 0.0 | 709M| 87 | - | 172 | 7 | 0 | 0 | 0 | 351 | 0 | 0.000000e+00 | -- | Inf
288.79/288.91 c 263s| 1760k| 1759k| 0 | 0.0 | 713M| 87 | - | 172 | 7 | 0 | 0 | 0 | 351 | 0 | 0.000000e+00 | -- | Inf
290.38/290.55 c 264s| 1770k| 1769k| 0 | 0.0 | 716M| 87 | - | 172 | 7 | 0 | 0 | 0 | 351 | 0 | 0.000000e+00 | -- | Inf
291.99/292.18 c 266s| 1780k| 1779k| 0 | 0.0 | 720M| 87 | - | 172 | 7 | 0 | 0 | 0 | 352 | 0 | 0.000000e+00 | -- | Inf
293.69/293.84 c 267s| 1790k| 1789k| 0 | 0.0 | 724M| 87 | - | 172 | 7 | 0 | 0 | 0 | 352 | 0 | 0.000000e+00 | -- | Inf
295.29/295.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
295.29/295.48 c 269s| 1800k| 1799k| 0 | 0.0 | 728M| 87 | - | 172 | 7 | 0 | 0 | 0 | 355 | 0 | 0.000000e+00 | -- | Inf
296.99/297.10 c 270s| 1810k| 1809k| 0 | 0.0 | 732M| 87 | - | 172 | 7 | 0 | 0 | 0 | 355 | 0 | 0.000000e+00 | -- | Inf
298.59/298.73 c 272s| 1820k| 1819k| 0 | 0.0 | 735M| 87 | - | 172 | 7 | 0 | 0 | 0 | 356 | 0 | 0.000000e+00 | -- | Inf
300.19/300.37 c 273s| 1830k| 1829k| 0 | 0.0 | 739M| 87 | - | 172 | 7 | 0 | 0 | 0 | 356 | 0 | 0.000000e+00 | -- | Inf
301.88/302.01 c 275s| 1840k| 1839k| 0 | 0.0 | 743M| 87 | - | 172 | 7 | 0 | 0 | 0 | 356 | 0 | 0.000000e+00 | -- | Inf
303.49/303.65 c 276s| 1850k| 1849k| 0 | 0.0 | 747M| 87 | - | 172 | 7 | 0 | 0 | 0 | 356 | 0 | 0.000000e+00 | -- | Inf
305.09/305.28 c 278s| 1860k| 1859k| 0 | 0.0 | 751M| 87 | - | 172 | 7 | 0 | 0 | 0 | 356 | 0 | 0.000000e+00 | -- | Inf
306.79/306.91 c 279s| 1870k| 1869k| 0 | 0.0 | 755M| 87 | - | 172 | 7 | 0 | 0 | 0 | 356 | 0 | 0.000000e+00 | -- | Inf
308.38/308.54 c 281s| 1880k| 1879k| 0 | 0.0 | 759M| 87 | - | 172 | 7 | 0 | 0 | 0 | 357 | 0 | 0.000000e+00 | -- | Inf
309.99/310.18 c 282s| 1890k| 1889k| 0 | 0.0 | 763M| 87 | - | 172 | 7 | 0 | 0 | 0 | 358 | 0 | 0.000000e+00 | -- | Inf
311.68/311.80 c 284s| 1900k| 1899k| 0 | 0.0 | 766M| 87 | - | 172 | 7 | 0 | 0 | 0 | 359 | 0 | 0.000000e+00 | -- | Inf
313.29/313.44 c 285s| 1910k| 1909k| 0 | 0.0 | 770M| 87 | - | 172 | 7 | 0 | 0 | 0 | 359 | 0 | 0.000000e+00 | -- | Inf
314.88/315.09 c 287s| 1920k| 1919k| 0 | 0.0 | 774M| 87 | - | 172 | 7 | 0 | 0 | 0 | 359 | 0 | 0.000000e+00 | -- | Inf
316.58/316.73 c 288s| 1930k| 1929k| 0 | 0.0 | 778M| 87 | - | 172 | 7 | 0 | 0 | 0 | 359 | 0 | 0.000000e+00 | -- | Inf
318.18/318.35 c 290s| 1940k| 1939k| 0 | 0.0 | 782M| 87 | - | 172 | 7 | 0 | 0 | 0 | 359 | 0 | 0.000000e+00 | -- | Inf
319.78/319.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.78/319.98 c 291s| 1950k| 1949k| 0 | 0.0 | 786M| 87 | - | 172 | 7 | 0 | 0 | 0 | 360 | 0 | 0.000000e+00 | -- | Inf
321.48/321.62 c 293s| 1960k| 1959k| 0 | 0.0 | 790M| 87 | - | 172 | 7 | 0 | 0 | 0 | 360 | 0 | 0.000000e+00 | -- | Inf
323.07/323.24 c 294s| 1970k| 1969k| 0 | 0.0 | 793M| 87 | - | 172 | 7 | 0 | 0 | 0 | 362 | 0 | 0.000000e+00 | -- | Inf
324.67/324.87 c 296s| 1980k| 1979k| 0 | 0.0 | 797M| 87 | - | 172 | 7 | 0 | 0 | 0 | 362 | 0 | 0.000000e+00 | -- | Inf
326.37/326.50 c 297s| 1990k| 1989k| 0 | 0.0 | 801M| 87 | - | 172 | 7 | 0 | 0 | 0 | 362 | 0 | 0.000000e+00 | -- | Inf
327.97/328.13 c 299s| 2000k| 1999k| 0 | 0.0 | 805M| 87 | - | 172 | 7 | 0 | 0 | 0 | 362 | 0 | 0.000000e+00 | -- | Inf
329.58/329.78 c 300s| 2010k| 2009k| 0 | 0.0 | 809M| 87 | - | 172 | 7 | 0 | 0 | 0 | 362 | 0 | 0.000000e+00 | -- | Inf
331.28/331.41 c 302s| 2020k| 2019k| 0 | 0.0 | 813M| 87 | - | 172 | 7 | 0 | 0 | 0 | 362 | 0 | 0.000000e+00 | -- | Inf
332.87/333.04 c 303s| 2030k| 2029k| 0 | 0.0 | 817M| 87 | - | 172 | 7 | 0 | 0 | 0 | 362 | 0 | 0.000000e+00 | -- | Inf
334.47/334.67 c 304s| 2040k| 2039k| 0 | 0.0 | 821M| 87 | - | 172 | 7 | 0 | 0 | 0 | 362 | 0 | 0.000000e+00 | -- | Inf
336.17/336.30 c 306s| 2050k| 2049k| 0 | 0.0 | 825M| 87 | - | 172 | 7 | 0 | 0 | 0 | 362 | 0 | 0.000000e+00 | -- | Inf
337.77/337.93 c 307s| 2060k| 2059k| 0 | 0.0 | 829M| 87 | - | 172 | 7 | 0 | 0 | 0 | 362 | 0 | 0.000000e+00 | -- | Inf
339.37/339.56 c 309s| 2070k| 2069k| 0 | 0.0 | 833M| 87 | - | 172 | 7 | 0 | 0 | 0 | 363 | 0 | 0.000000e+00 | -- | Inf
340.97/341.18 c 310s| 2080k| 2079k| 0 | 0.0 | 837M| 87 | - | 172 | 7 | 0 | 0 | 0 | 365 | 0 | 0.000000e+00 | -- | Inf
342.67/342.80 c 312s| 2090k| 2089k| 0 | 0.0 | 840M| 87 | - | 172 | 7 | 0 | 0 | 0 | 366 | 0 | 0.000000e+00 | -- | Inf
344.27/344.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
344.27/344.44 c 313s| 2100k| 2099k| 0 | 0.0 | 844M| 87 | - | 172 | 7 | 0 | 0 | 0 | 366 | 0 | 0.000000e+00 | -- | Inf
345.97/346.11 c 315s| 2110k| 2109k| 0 | 0.0 | 848M| 87 | - | 172 | 7 | 0 | 0 | 0 | 368 | 0 | 0.000000e+00 | -- | Inf
347.67/347.82 c 316s| 2120k| 2119k| 0 | 0.0 | 852M| 87 | - | 172 | 7 | 0 | 0 | 0 | 368 | 0 | 0.000000e+00 | -- | Inf
349.37/349.54 c 318s| 2130k| 2129k| 0 | 0.0 | 856M| 87 | - | 172 | 7 | 0 | 0 | 0 | 369 | 0 | 0.000000e+00 | -- | Inf
351.06/351.24 c 320s| 2140k| 2139k| 0 | 0.0 | 860M| 87 | - | 172 | 7 | 0 | 0 | 0 | 370 | 0 | 0.000000e+00 | -- | Inf
352.77/352.93 c 321s| 2150k| 2149k| 0 | 0.0 | 864M| 87 | - | 172 | 7 | 0 | 0 | 0 | 373 | 0 | 0.000000e+00 | -- | Inf
354.47/354.60 c 323s| 2160k| 2159k| 0 | 0.0 | 868M| 87 | - | 172 | 7 | 0 | 0 | 0 | 375 | 0 | 0.000000e+00 | -- | Inf
356.06/356.28 c 324s| 2170k| 2169k| 0 | 0.0 | 872M| 87 | - | 172 | 7 | 0 | 0 | 0 | 380 | 0 | 0.000000e+00 | -- | Inf
357.87/358.01 c 326s| 2180k| 2179k| 0 | 0.0 | 876M| 87 | - | 172 | 7 | 0 | 0 | 0 | 382 | 0 | 0.000000e+00 | -- | Inf
359.57/359.74 c 327s| 2190k| 2189k| 0 | 0.0 | 880M| 87 | - | 172 | 7 | 0 | 0 | 0 | 383 | 0 | 0.000000e+00 | -- | Inf
361.26/361.44 c 329s| 2200k| 2199k| 0 | 0.0 | 884M| 88 | - | 172 | 7 | 0 | 0 | 0 | 387 | 0 | 0.000000e+00 | -- | Inf
362.96/363.15 c 330s| 2210k| 2209k| 0 | 0.0 | 888M| 88 | - | 172 | 7 | 0 | 0 | 0 | 392 | 0 | 0.000000e+00 | -- | Inf
364.66/364.89 c 332s| 2220k| 2219k| 0 | 0.0 | 892M| 88 | - | 172 | 7 | 0 | 0 | 0 | 392 | 0 | 0.000000e+00 | -- | Inf
366.46/366.61 c 334s| 2230k| 2229k| 0 | 0.0 | 896M| 88 | - | 172 | 7 | 0 | 0 | 0 | 394 | 0 | 0.000000e+00 | -- | Inf
368.16/368.32 c 335s| 2240k| 2239k| 0 | 0.0 | 900M| 88 | - | 172 | 7 | 0 | 0 | 0 | 396 | 0 | 0.000000e+00 | -- | Inf
369.86/370.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.86/370.03 c 337s| 2250k| 2249k| 0 | 0.0 | 904M| 88 | - | 172 | 7 | 0 | 0 | 0 | 400 | 0 | 0.000000e+00 | -- | Inf
371.57/371.72 c 338s| 2260k| 2259k| 0 | 0.0 | 908M| 88 | - | 172 | 7 | 0 | 0 | 0 | 403 | 0 | 0.000000e+00 | -- | Inf
373.26/373.42 c 340s| 2270k| 2269k| 0 | 0.0 | 912M| 88 | - | 172 | 7 | 0 | 0 | 0 | 403 | 0 | 0.000000e+00 | -- | Inf
374.96/375.10 c 341s| 2280k| 2279k| 0 | 0.0 | 916M| 88 | - | 172 | 7 | 0 | 0 | 0 | 403 | 0 | 0.000000e+00 | -- | Inf
376.66/376.83 c 343s| 2290k| 2289k| 0 | 0.0 | 920M| 88 | - | 172 | 7 | 0 | 0 | 0 | 403 | 0 | 0.000000e+00 | -- | Inf
378.35/378.50 c 344s| 2300k| 2299k| 0 | 0.0 | 924M| 88 | - | 172 | 7 | 0 | 0 | 0 | 405 | 0 | 0.000000e+00 | -- | Inf
380.06/380.21 c 346s| 2310k| 2309k| 0 | 0.0 | 928M| 88 | - | 172 | 7 | 0 | 0 | 0 | 408 | 0 | 0.000000e+00 | -- | Inf
381.76/381.94 c 348s| 2320k| 2319k| 0 | 0.0 | 932M| 88 | - | 172 | 7 | 0 | 0 | 0 | 408 | 0 | 0.000000e+00 | -- | Inf
383.46/383.66 c 349s| 2330k| 2329k| 0 | 0.0 | 936M| 88 | - | 172 | 7 | 0 | 0 | 0 | 408 | 0 | 0.000000e+00 | -- | Inf
385.16/385.38 c 351s| 2340k| 2339k| 0 | 0.0 | 940M| 88 | - | 172 | 7 | 0 | 0 | 0 | 408 | 0 | 0.000000e+00 | -- | Inf
386.85/387.09 c 352s| 2350k| 2349k| 0 | 0.0 | 944M| 88 | - | 172 | 7 | 0 | 0 | 0 | 409 | 0 | 0.000000e+00 | -- | Inf
388.55/388.79 c 354s| 2360k| 2359k| 0 | 0.0 | 948M| 88 | - | 172 | 7 | 0 | 0 | 0 | 409 | 0 | 0.000000e+00 | -- | Inf
390.36/390.51 c 355s| 2370k| 2369k| 0 | 0.0 | 953M| 88 | - | 172 | 7 | 0 | 0 | 0 | 409 | 0 | 0.000000e+00 | -- | Inf
392.05/392.25 c 357s| 2380k| 2379k| 0 | 0.0 | 957M| 88 | - | 172 | 7 | 0 | 0 | 0 | 409 | 0 | 0.000000e+00 | -- | Inf
393.76/393.98 c 359s| 2390k| 2389k| 0 | 0.0 | 961M| 88 | - | 172 | 7 | 0 | 0 | 0 | 409 | 0 | 0.000000e+00 | -- | Inf
395.45/395.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
395.45/395.68 c 360s| 2400k| 2399k| 0 | 0.0 | 965M| 88 | - | 172 | 7 | 0 | 0 | 0 | 410 | 0 | 0.000000e+00 | -- | Inf
397.15/397.37 c 362s| 2410k| 2409k| 0 | 0.0 | 969M| 88 | - | 172 | 7 | 0 | 0 | 0 | 411 | 0 | 0.000000e+00 | -- | Inf
398.85/399.05 c 363s| 2420k| 2419k| 0 | 0.0 | 973M| 88 | - | 172 | 7 | 0 | 0 | 0 | 411 | 0 | 0.000000e+00 | -- | Inf
400.54/400.74 c 365s| 2430k| 2429k| 0 | 0.0 | 977M| 88 | - | 172 | 7 | 0 | 0 | 0 | 412 | 0 | 0.000000e+00 | -- | Inf
402.25/402.45 c 366s| 2440k| 2439k| 0 | 0.0 | 981M| 88 | - | 172 | 7 | 0 | 0 | 0 | 412 | 0 | 0.000000e+00 | -- | Inf
403.95/404.15 c 368s| 2450k| 2449k| 0 | 0.0 | 985M| 88 | - | 172 | 7 | 0 | 0 | 0 | 416 | 0 | 0.000000e+00 | -- | Inf
405.65/405.85 c 369s| 2460k| 2459k| 0 | 0.0 | 990M| 88 | - | 172 | 7 | 0 | 0 | 0 | 416 | 0 | 0.000000e+00 | -- | Inf
407.34/407.56 c 371s| 2470k| 2469k| 0 | 0.0 | 994M| 88 | - | 172 | 7 | 0 | 0 | 0 | 417 | 0 | 0.000000e+00 | -- | Inf
409.05/409.26 c 373s| 2480k| 2479k| 0 | 0.0 | 998M| 88 | - | 172 | 7 | 0 | 0 | 0 | 420 | 0 | 0.000000e+00 | -- | Inf
410.75/410.98 c 374s| 2490k| 2489k| 0 | 0.0 |1002M| 88 | - | 172 | 7 | 0 | 0 | 0 | 422 | 0 | 0.000000e+00 | -- | Inf
412.44/412.64 c 376s| 2500k| 2499k| 0 | 0.0 |1006M| 88 | - | 172 | 7 | 0 | 0 | 0 | 431 | 0 | 0.000000e+00 | -- | Inf
414.14/414.35 c 377s| 2510k| 2509k| 0 | 0.0 |1010M| 88 | - | 172 | 7 | 0 | 0 | 0 | 431 | 0 | 0.000000e+00 | -- | Inf
415.85/416.07 c 379s| 2520k| 2519k| 0 | 0.0 |1014M| 88 | - | 172 | 7 | 0 | 0 | 0 | 432 | 0 | 0.000000e+00 | -- | Inf
417.55/417.79 c 380s| 2530k| 2529k| 0 | 0.0 |1018M| 88 | - | 172 | 7 | 0 | 0 | 0 | 432 | 0 | 0.000000e+00 | -- | Inf
419.24/419.49 c 382s| 2540k| 2539k| 0 | 0.0 |1022M| 88 | - | 172 | 7 | 0 | 0 | 0 | 433 | 0 | 0.000000e+00 | -- | Inf
420.94/421.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
420.94/421.20 c 383s| 2550k| 2549k| 0 | 0.0 |1026M| 88 | - | 172 | 7 | 0 | 0 | 0 | 434 | 0 | 0.000000e+00 | -- | Inf
422.74/422.90 c 385s| 2560k| 2559k| 0 | 0.0 |1030M| 88 | - | 172 | 7 | 0 | 0 | 0 | 435 | 0 | 0.000000e+00 | -- | Inf
424.44/424.63 c 387s| 2570k| 2569k| 0 | 0.0 |1034M| 88 | - | 172 | 7 | 0 | 0 | 0 | 436 | 0 | 0.000000e+00 | -- | Inf
426.14/426.33 c 388s| 2580k| 2579k| 0 | 0.0 |1038M| 88 | - | 172 | 7 | 0 | 0 | 0 | 437 | 0 | 0.000000e+00 | -- | Inf
427.83/428.05 c 390s| 2590k| 2589k| 0 | 0.0 |1042M| 88 | - | 172 | 7 | 0 | 0 | 0 | 437 | 0 | 0.000000e+00 | -- | Inf
429.54/429.78 c 391s| 2600k| 2599k| 0 | 0.0 |1047M| 88 | - | 172 | 7 | 0 | 0 | 0 | 438 | 0 | 0.000000e+00 | -- | Inf
431.34/431.51 c 393s| 2610k| 2609k| 0 | 0.0 |1051M| 88 | - | 172 | 7 | 0 | 0 | 0 | 438 | 0 | 0.000000e+00 | -- | Inf
433.04/433.22 c 394s| 2620k| 2619k| 0 | 0.0 |1055M| 88 | - | 172 | 7 | 0 | 0 | 0 | 438 | 0 | 0.000000e+00 | -- | Inf
434.74/434.96 c 396s| 2630k| 2629k| 0 | 0.0 |1059M| 88 | - | 172 | 7 | 0 | 0 | 0 | 438 | 0 | 0.000000e+00 | -- | Inf
436.45/436.66 c 398s| 2640k| 2639k| 0 | 0.0 |1064M| 88 | - | 172 | 7 | 0 | 0 | 0 | 439 | 0 | 0.000000e+00 | -- | Inf
438.14/438.35 c 399s| 2650k| 2649k| 0 | 0.0 |1068M| 88 | - | 172 | 7 | 0 | 0 | 0 | 439 | 0 | 0.000000e+00 | -- | Inf
439.85/440.06 c 401s| 2660k| 2659k| 0 | 0.0 |1072M| 88 | - | 172 | 7 | 0 | 0 | 0 | 439 | 0 | 0.000000e+00 | -- | Inf
441.54/441.80 c 402s| 2670k| 2669k| 0 | 0.0 |1076M| 88 | - | 172 | 7 | 0 | 0 | 0 | 439 | 0 | 0.000000e+00 | -- | Inf
443.34/443.51 c 404s| 2680k| 2679k| 0 | 0.0 |1080M| 88 | - | 172 | 7 | 0 | 0 | 0 | 442 | 0 | 0.000000e+00 | -- | Inf
445.03/445.23 c 405s| 2690k| 2689k| 0 | 0.0 |1085M| 88 | - | 172 | 7 | 0 | 0 | 0 | 442 | 0 | 0.000000e+00 | -- | Inf
446.73/446.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.73/446.94 c 407s| 2700k| 2699k| 0 | 0.0 |1089M| 88 | - | 172 | 7 | 0 | 0 | 0 | 449 | 0 | 0.000000e+00 | -- | Inf
453.83/454.09 o 221
453.83/454.09 c * 414s| 2708k| 1423k| 0 | 0.0 | 462M| 88 | - | 172 | 7 | 0 | 0 | 0 | 449 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
454.43/454.60 c 414s| 2710k| 1424k| 0 | 0.0 | 462M| 88 | - | 172 | 13 | 0 | 0 | 0 | 921 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
457.03/457.27 c 417s| 2720k| 1430k| 0 | 0.0 | 466M| 88 | - | 172 | 43 | 0 | 0 | 0 |3087 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
459.73/459.99 c 419s| 2730k| 1436k| 0 | 0.0 | 469M| 88 | - | 172 | 46 | 0 | 0 | 0 |5260 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
462.43/462.65 c 422s| 2740k| 1442k| 0 | 0.0 | 472M| 88 | - | 172 | 31 | 0 | 0 | 0 |7459 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
465.13/465.34 c 424s| 2750k| 1447k| 0 | 0.0 | 475M| 88 | - | 172 | 36 | 0 | 0 | 0 |9631 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
467.73/467.96 c 427s| 2760k| 1453k| 0 | 0.0 | 478M| 88 | - | 172 | 28 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
470.53/470.71 c 429s| 2770k| 1459k| 0 | 0.0 | 481M| 88 | - | 172 | 49 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
473.13/473.40 c 432s| 2780k| 1465k| 0 | 0.0 | 485M| 88 | - | 172 | 51 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
475.73/475.96 c 434s| 2790k| 1471k| 0 | 0.0 | 488M| 88 | - | 172 | 36 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
478.33/478.57 c 437s| 2800k| 1477k| 0 | 0.0 | 491M| 88 | - | 172 | 40 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
480.92/481.16 c 439s| 2810k| 1484k| 0 | 0.0 | 495M| 88 | - | 172 | 32 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
483.62/483.82 c 442s| 2820k| 1490k| 0 | 0.0 | 498M| 88 | - | 172 | 37 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
486.22/486.48 c 444s| 2830k| 1496k| 0 | 0.0 | 501M| 88 | - | 172 | 31 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
489.02/489.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
489.02/489.21 c 447s| 2840k| 1501k| 0 | 0.0 | 504M| 88 | - | 172 | 24 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
491.71/491.93 c 449s| 2850k| 1507k| 0 | 0.0 | 508M| 88 | - | 172 | 30 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
494.51/494.75 c 452s| 2860k| 1513k| 0 | 0.0 | 511M| 88 | - | 172 | 59 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
497.32/497.50 c 455s| 2870k| 1518k| 0 | 0.0 | 514M| 88 | - | 172 | 68 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
500.01/500.26 c 457s| 2880k| 1524k| 0 | 0.0 | 517M| 88 | - | 172 | 37 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
502.81/503.01 c 460s| 2890k| 1530k| 0 | 0.0 | 520M| 88 | - | 172 | 37 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
505.51/505.76 c 462s| 2900k| 1535k| 0 | 0.0 | 524M| 88 | - | 172 | 48 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
508.32/508.50 c 465s| 2910k| 1541k| 0 | 0.0 | 527M| 88 | - | 172 | 36 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
511.11/511.32 c 467s| 2920k| 1546k| 0 | 0.0 | 530M| 88 | - | 172 | 50 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
513.81/514.06 c 470s| 2930k| 1552k| 0 | 0.0 | 533M| 88 | - | 172 | 44 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
516.51/516.77 c 473s| 2940k| 1557k| 0 | 0.0 | 537M| 88 | - | 172 | 51 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
519.31/519.55 c 475s| 2950k| 1563k| 0 | 0.0 | 540M| 88 | - | 172 | 55 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
522.10/522.33 c 478s| 2960k| 1568k| 0 | 0.0 | 543M| 88 | - | 172 | 43 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
524.90/525.10 c 480s| 2970k| 1574k| 0 | 0.0 | 546M| 88 | - | 172 | 53 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
527.60/527.87 c 483s| 2980k| 1579k| 0 | 0.0 | 549M| 88 | - | 172 | 68 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
530.40/530.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
530.40/530.63 c 486s| 2990k| 1585k| 0 | 0.0 | 553M| 88 | - | 172 | 44 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
533.10/533.34 c 488s| 3000k| 1590k| 0 | 0.0 | 556M| 88 | - | 172 | 42 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
535.90/536.13 c 491s| 3010k| 1596k| 0 | 0.0 | 559M| 88 | - | 172 | 49 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
538.70/538.96 c 493s| 3020k| 1601k| 0 | 0.0 | 562M| 88 | - | 172 | 59 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
541.40/541.63 c 496s| 3030k| 1607k| 0 | 0.0 | 565M| 88 | - | 172 | 41 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
544.10/544.33 c 498s| 3040k| 1613k| 0 | 0.0 | 568M| 88 | - | 172 | 51 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
546.80/547.09 c 501s| 3050k| 1618k| 0 | 0.0 | 572M| 88 | - | 172 | 58 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
549.60/549.82 c 503s| 3060k| 1624k| 0 | 0.0 | 575M| 88 | - | 172 | 47 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
552.29/552.51 c 506s| 3070k| 1630k| 0 | 0.0 | 578M| 88 | - | 172 | 43 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
554.98/555.22 c 508s| 3080k| 1635k| 0 | 0.0 | 581M| 88 | - | 172 | 52 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
557.69/557.96 c 511s| 3090k| 1641k| 0 | 0.0 | 585M| 88 | - | 172 | 40 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
560.39/560.62 c 513s| 3100k| 1647k| 0 | 0.0 | 588M| 88 | - | 172 | 33 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
563.09/563.30 c 516s| 3110k| 1653k| 0 | 0.0 | 591M| 88 | - | 172 | 50 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
565.68/565.99 c 518s| 3120k| 1659k| 0 | 0.0 | 595M| 88 | - | 172 | 40 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
568.39/568.68 c 521s| 3130k| 1664k| 0 | 0.0 | 598M| 88 | - | 172 | 40 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
571.08/571.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
571.08/571.39 c 524s| 3140k| 1670k| 0 | 0.0 | 601M| 88 | - | 172 | 48 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
573.78/574.09 c 526s| 3150k| 1676k| 0 | 0.0 | 604M| 88 | - | 172 | 45 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
576.58/576.84 c 529s| 3160k| 1682k| 0 | 0.0 | 608M| 88 | - | 172 | 48 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
579.39/579.60 c 531s| 3170k| 1687k| 0 | 0.0 | 611M| 88 | - | 172 | 45 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
582.08/582.34 c 534s| 3180k| 1693k| 0 | 0.0 | 614M| 88 | - | 172 | 42 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
584.89/585.16 c 536s| 3190k| 1698k| 0 | 0.0 | 618M| 88 | - | 172 | 44 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
587.68/587.95 c 539s| 3200k| 1703k| 0 | 0.0 | 621M| 88 | - | 172 | 56 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
590.48/590.72 c 542s| 3210k| 1709k| 0 | 0.0 | 624M| 88 | - | 172 | 71 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
593.17/593.43 c 544s| 3220k| 1714k| 0 | 0.0 | 628M| 88 | - | 172 | 56 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
595.88/596.19 c 547s| 3230k| 1720k| 0 | 0.0 | 631M| 88 | - | 172 | 66 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
598.77/599.03 c 549s| 3240k| 1725k| 0 | 0.0 | 634M| 88 | - | 172 | 55 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
601.47/601.78 c 552s| 3250k| 1730k| 0 | 0.0 | 637M| 88 | - | 172 | 68 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
604.27/604.50 c 555s| 3260k| 1736k| 0 | 0.0 | 641M| 88 | - | 172 | 58 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
606.98/607.21 c 557s| 3270k| 1741k| 0 | 0.0 | 644M| 88 | - | 172 | 59 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
609.67/609.97 c 560s| 3280k| 1747k| 0 | 0.0 | 647M| 88 | - | 172 | 54 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
612.38/612.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
612.38/612.69 c 562s| 3290k| 1752k| 0 | 0.0 | 650M| 88 | - | 172 | 64 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
615.17/615.47 c 565s| 3300k| 1757k| 0 | 0.0 | 654M| 88 | - | 172 | 63 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
617.97/618.28 c 567s| 3310k| 1763k| 0 | 0.0 | 657M| 88 | - | 172 | 69 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
620.86/621.10 c 570s| 3320k| 1768k| 0 | 0.0 | 660M| 88 | - | 172 | 64 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
623.67/623.92 c 573s| 3330k| 1773k| 0 | 0.0 | 663M| 88 | - | 172 | 71 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
626.26/626.59 c 575s| 3340k| 1778k| 0 | 0.0 | 666M| 88 | - | 172 | 56 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
629.07/629.35 c 578s| 3350k| 1784k| 0 | 0.0 | 670M| 88 | - | 172 | 74 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
631.76/632.07 c 580s| 3360k| 1789k| 0 | 0.0 | 673M| 88 | - | 172 | 63 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
634.56/634.82 c 583s| 3370k| 1794k| 0 | 0.0 | 676M| 88 | - | 172 | 47 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
637.36/637.60 c 585s| 3380k| 1800k| 0 | 0.0 | 679M| 88 | - | 172 | 52 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
640.06/640.37 c 588s| 3390k| 1805k| 0 | 0.0 | 682M| 88 | - | 172 | 50 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
642.86/643.15 c 591s| 3400k| 1811k| 0 | 0.0 | 686M| 88 | - | 172 | 44 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
645.55/645.89 c 593s| 3410k| 1816k| 0 | 0.0 | 689M| 88 | - | 172 | 51 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
648.36/648.63 c 596s| 3420k| 1822k| 0 | 0.0 | 692M| 88 | - | 172 | 62 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
651.05/651.35 c 598s| 3430k| 1827k| 0 | 0.0 | 695M| 88 | - | 172 | 48 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
653.75/654.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
653.75/654.09 c 601s| 3440k| 1833k| 0 | 0.0 | 699M| 88 | - | 172 | 63 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
656.56/656.84 c 603s| 3450k| 1838k| 0 | 0.0 | 702M| 88 | - | 172 | 53 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
659.25/659.56 c 606s| 3460k| 1844k| 0 | 0.0 | 705M| 88 | - | 172 | 55 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
662.05/662.31 c 608s| 3470k| 1849k| 0 | 0.0 | 709M| 88 | - | 172 | 71 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
664.85/665.13 c 611s| 3480k| 1854k| 0 | 0.0 | 712M| 88 | - | 172 | 69 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
667.65/667.90 c 614s| 3490k| 1859k| 0 | 0.0 | 715M| 88 | - | 172 | 65 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
670.35/670.68 c 616s| 3500k| 1865k| 0 | 0.0 | 719M| 88 | - | 172 | 57 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
673.15/673.45 c 619s| 3510k| 1870k| 0 | 0.0 | 722M| 88 | - | 172 | 55 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
676.04/676.30 c 621s| 3520k| 1875k| 0 | 0.0 | 725M| 88 | - | 172 | 60 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
678.84/679.10 c 624s| 3530k| 1881k| 0 | 0.0 | 728M| 88 | - | 172 | 58 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
681.55/681.86 c 627s| 3540k| 1886k| 0 | 0.0 | 732M| 88 | - | 172 | 84 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
684.24/684.58 c 629s| 3550k| 1891k| 0 | 0.0 | 735M| 88 | - | 172 | 75 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
687.04/687.36 c 632s| 3560k| 1897k| 0 | 0.0 | 739M| 88 | - | 172 | 58 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
689.84/690.16 c 634s| 3570k| 1902k| 0 | 0.0 | 742M| 88 | - | 172 | 82 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
692.65/692.97 c 637s| 3580k| 1907k| 0 | 0.0 | 745M| 88 | - | 172 | 73 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
695.54/695.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
695.54/695.80 c 640s| 3590k| 1912k| 0 | 0.0 | 748M| 88 | - | 172 | 63 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
698.34/698.62 c 642s| 3600k| 1917k| 0 | 0.0 | 752M| 88 | - | 172 | 66 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
701.23/701.52 c 645s| 3610k| 1922k| 0 | 0.0 | 755M| 88 | - | 172 | 71 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
703.93/704.29 c 648s| 3620k| 1927k| 0 | 0.0 | 759M| 88 | - | 172 | 63 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
706.84/707.13 c 650s| 3630k| 1932k| 0 | 0.0 | 762M| 88 | - | 172 | 73 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
709.74/710.00 c 653s| 3640k| 1937k| 0 | 0.0 | 765M| 88 | - | 172 | 73 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
712.44/712.76 c 656s| 3650k| 1942k| 0 | 0.0 | 768M| 88 | - | 172 | 62 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
715.23/715.53 c 658s| 3660k| 1948k| 0 | 0.0 | 772M| 88 | - | 172 | 61 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
718.03/718.33 c 661s| 3670k| 1953k| 0 | 0.0 | 775M| 88 | - | 172 | 72 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
720.83/721.18 c 663s| 3680k| 1958k| 0 | 0.0 | 778M| 88 | - | 172 | 82 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
723.73/724.07 c 666s| 3690k| 1963k| 0 | 0.0 | 781M| 88 | - | 172 | 81 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
726.63/726.90 c 669s| 3700k| 1969k| 0 | 0.0 | 785M| 88 | - | 172 | 64 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
729.42/729.71 c 671s| 3710k| 1974k| 0 | 0.0 | 788M| 88 | - | 172 | 74 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
732.23/732.51 c 674s| 3720k| 1979k| 0 | 0.0 | 791M| 88 | - | 172 | 77 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
735.02/735.37 c 677s| 3730k| 1984k| 0 | 0.0 | 794M| 88 | - | 172 | 70 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
737.93/738.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
737.93/738.29 c 679s| 3740k| 1989k| 0 | 0.0 | 798M| 88 | - | 172 | 80 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
740.72/741.09 c 682s| 3750k| 1994k| 0 | 0.0 | 801M| 88 | - | 172 | 76 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
743.52/743.86 c 685s| 3760k| 1999k| 0 | 0.0 | 804M| 88 | - | 172 | 77 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
746.42/746.74 c 687s| 3770k| 2005k| 0 | 0.0 | 808M| 88 | - | 172 | 62 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
749.31/749.60 c 690s| 3780k| 2010k| 0 | 0.0 | 811M| 88 | - | 172 | 80 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
752.12/752.42 c 693s| 3790k| 2015k| 0 | 0.0 | 814M| 88 | - | 172 | 59 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
754.92/755.28 c 695s| 3800k| 2020k| 0 | 0.0 | 817M| 88 | - | 172 | 74 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
757.81/758.13 c 698s| 3810k| 2025k| 0 | 0.0 | 821M| 88 | - | 172 | 71 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
760.71/761.02 c 701s| 3820k| 2030k| 0 | 0.0 | 824M| 88 | - | 172 | 67 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
763.62/763.92 c 703s| 3830k| 2034k| 0 | 0.0 | 827M| 88 | - | 172 | 67 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
766.42/766.74 c 706s| 3840k| 2040k| 0 | 0.0 | 831M| 88 | - | 172 | 57 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
769.21/769.50 c 709s| 3850k| 2045k| 0 | 0.0 | 834M| 88 | - | 172 | 56 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
772.01/772.36 c 711s| 3860k| 2050k| 0 | 0.0 | 837M| 88 | - | 172 | 51 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
774.81/775.15 c 714s| 3870k| 2055k| 0 | 0.0 | 841M| 88 | - | 172 | 52 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
777.51/777.88 c 716s| 3880k| 2061k| 0 | 0.0 | 844M| 88 | - | 172 | 58 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
780.30/780.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
780.30/780.63 c 719s| 3890k| 2066k| 0 | 0.0 | 847M| 88 | - | 172 | 58 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
783.10/783.42 c 722s| 3900k| 2071k| 0 | 0.0 | 851M| 88 | - | 172 | 58 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
785.91/786.29 c 724s| 3910k| 2076k| 0 | 0.0 | 854M| 88 | - | 172 | 70 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
788.81/789.15 c 727s| 3920k| 2081k| 0 | 0.0 | 857M| 88 | - | 172 | 73 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
791.61/791.98 c 730s| 3930k| 2086k| 0 | 0.0 | 861M| 88 | - | 172 | 64 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
794.50/794.84 c 732s| 3940k| 2091k| 0 | 0.0 | 864M| 88 | - | 172 | 59 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
797.30/797.69 c 735s| 3950k| 2096k| 0 | 0.0 | 868M| 88 | - | 172 | 71 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
800.20/800.53 c 738s| 3960k| 2101k| 0 | 0.0 | 871M| 88 | - | 172 | 88 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
803.10/803.41 c 740s| 3970k| 2106k| 0 | 0.0 | 874M| 88 | - | 172 | 74 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
806.00/806.37 c 743s| 3980k| 2111k| 0 | 0.0 | 878M| 88 | - | 172 | 78 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
809.00/809.33 c 746s| 3990k| 2116k| 0 | 0.0 | 881M| 88 | - | 172 | 76 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
811.80/812.18 c 749s| 4000k| 2121k| 0 | 0.0 | 885M| 88 | - | 172 | 93 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
814.81/815.17 c 751s| 4010k| 2125k| 0 | 0.0 | 888M| 88 | - | 172 | 95 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
817.80/818.17 c 754s| 4020k| 2130k| 0 | 0.0 | 891M| 88 | - | 172 | 92 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
820.80/821.13 c 757s| 4030k| 2135k| 0 | 0.0 | 895M| 88 | - | 172 | 74 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
823.69/824.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
823.69/824.05 c 760s| 4040k| 2140k| 0 | 0.0 | 898M| 88 | - | 172 | 72 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
826.69/827.06 c 763s| 4050k| 2145k| 0 | 0.0 | 901M| 88 | - | 172 | 58 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
829.79/830.11 c 765s| 4060k| 2149k| 0 | 0.0 | 905M| 88 | - | 172 | 60 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
832.79/833.14 c 768s| 4070k| 2154k| 0 | 0.0 | 908M| 88 | - | 172 | 65 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
835.79/836.17 c 771s| 4080k| 2159k| 0 | 0.0 | 911M| 88 | - | 172 | 57 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
838.89/839.30 c 774s| 4090k| 2163k| 0 | 0.0 | 914M| 88 | - | 172 | 54 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
841.89/842.28 c 777s| 4100k| 2168k| 0 | 0.0 | 918M| 88 | - | 172 | 57 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
844.99/845.35 c 780s| 4110k| 2172k| 0 | 0.0 | 921M| 88 | - | 172 | 95 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
848.08/848.46 c 783s| 4120k| 2177k| 0 | 0.0 | 924M| 88 | - | 172 | 73 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
851.09/851.48 c 785s| 4130k| 2182k| 0 | 0.0 | 927M| 88 | - | 172 | 87 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
854.08/854.41 c 788s| 4140k| 2186k| 0 | 0.0 | 931M| 88 | - | 172 | 93 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
857.08/857.42 c 791s| 4150k| 2191k| 0 | 0.0 | 934M| 88 | - | 172 | 95 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
860.18/860.51 c 794s| 4160k| 2196k| 0 | 0.0 | 937M| 88 | - | 172 | 81 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
863.18/863.54 c 797s| 4170k| 2200k| 0 | 0.0 | 940M| 88 | - | 172 | 88 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
866.17/866.58 c 800s| 4180k| 2204k| 0 | 0.0 | 943M| 88 | - | 172 | 80 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
869.17/869.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
869.17/869.54 c 802s| 4190k| 2209k| 0 | 0.0 | 947M| 88 | - | 172 | 74 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
872.28/872.64 c 805s| 4200k| 2213k| 0 | 0.0 | 950M| 88 | - | 172 | 78 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
875.27/875.63 c 808s| 4210k| 2218k| 0 | 0.0 | 953M| 88 | - | 172 | 80 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
878.27/878.60 c 811s| 4220k| 2222k| 0 | 0.0 | 957M| 88 | - | 172 | 72 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
881.27/881.65 c 814s| 4230k| 2227k| 0 | 0.0 | 960M| 88 | - | 172 | 74 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
884.26/884.64 c 816s| 4240k| 2231k| 0 | 0.0 | 963M| 88 | - | 172 | 69 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
887.17/887.57 c 819s| 4250k| 2236k| 0 | 0.0 | 967M| 88 | - | 172 | 90 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
890.17/890.53 c 822s| 4260k| 2241k| 0 | 0.0 | 970M| 88 | - | 172 | 86 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
893.06/893.47 c 825s| 4270k| 2246k| 0 | 0.0 | 974M| 88 | - | 172 | 73 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
896.07/896.47 c 828s| 4280k| 2250k| 0 | 0.0 | 977M| 88 | - | 172 | 65 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
899.06/899.43 c 830s| 4290k| 2255k| 0 | 0.0 | 981M| 88 | - | 172 | 66 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
901.96/902.37 c 833s| 4300k| 2260k| 0 | 0.0 | 984M| 88 | - | 172 | 63 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
905.06/905.43 c 836s| 4310k| 2264k| 0 | 0.0 | 987M| 88 | - | 172 | 71 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
907.95/908.39 c 839s| 4320k| 2269k| 0 | 0.0 | 991M| 88 | - | 172 | 82 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
910.96/911.38 c 842s| 4330k| 2274k| 0 | 0.0 | 994M| 88 | - | 172 | 92 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
913.95/914.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
913.95/914.38 c 844s| 4340k| 2278k| 0 | 0.0 | 998M| 88 | - | 172 | 89 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
917.06/917.48 c 847s| 4350k| 2283k| 0 | 0.0 |1001M| 88 | - | 172 | 89 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
920.05/920.49 c 850s| 4360k| 2287k| 0 | 0.0 |1004M| 88 | - | 172 | 79 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
923.06/923.45 c 853s| 4370k| 2292k| 0 | 0.0 |1008M| 88 | - | 172 | 85 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
926.05/926.49 c 856s| 4380k| 2296k| 0 | 0.0 |1011M| 88 | - | 172 | 77 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
929.06/929.48 c 858s| 4390k| 2301k| 0 | 0.0 |1014M| 88 | - | 172 | 76 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
932.15/932.54 c 861s| 4400k| 2305k| 0 | 0.0 |1018M| 88 | - | 172 | 75 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
935.15/935.50 c 864s| 4410k| 2310k| 0 | 0.0 |1021M| 88 | - | 172 | 77 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
938.15/938.53 c 867s| 4420k| 2315k| 0 | 0.0 |1025M| 88 | - | 172 | 81 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
941.25/941.61 c 870s| 4430k| 2319k| 0 | 0.0 |1028M| 88 | - | 172 | 95 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
944.34/944.77 c 873s| 4440k| 2323k| 0 | 0.0 |1031M| 88 | - | 172 | 103 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
947.44/947.89 c 876s| 4450k| 2328k| 0 | 0.0 |1035M| 88 | - | 172 | 102 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
950.54/950.99 c 879s| 4460k| 2332k| 0 | 0.0 |1038M| 88 | - | 172 | 109 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
953.64/954.09 c 882s| 4470k| 2336k| 0 | 0.0 |1042M| 88 | - | 172 | 91 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
956.74/957.16 c 884s| 4480k| 2340k| 0 | 0.0 |1045M| 88 | - | 172 | 94 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
959.85/960.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
959.85/960.24 c 887s| 4490k| 2345k| 0 | 0.0 |1048M| 88 | - | 172 | 83 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
962.94/963.32 c 890s| 4500k| 2349k| 0 | 0.0 |1052M| 88 | - | 172 | 94 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
965.93/966.37 c 893s| 4510k| 2354k| 0 | 0.0 |1055M| 88 | - | 172 | 79 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
969.04/969.47 c 896s| 4520k| 2358k| 0 | 0.0 |1058M| 88 | - | 172 | 75 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
972.23/972.60 c 899s| 4530k| 2363k| 0 | 0.0 |1062M| 88 | - | 172 | 93 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
975.24/975.64 c 902s| 4540k| 2367k| 0 | 0.0 |1065M| 88 | - | 172 | 83 | 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
978.23/978.63 c 904s| 4550k| 2372k| 0 | 0.0 |1068M| 88 | - | 172 | 84 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
981.34/981.71 c 907s| 4560k| 2376k| 0 | 0.0 |1071M| 88 | - | 172 | 90 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
984.33/984.78 c 910s| 4570k| 2380k| 0 | 0.0 |1075M| 88 | - | 172 | 86 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
987.43/987.89 c 913s| 4580k| 2384k| 0 | 0.0 |1078M| 88 | - | 172 | 81 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
990.63/991.04 c 916s| 4590k| 2388k| 0 | 0.0 |1081M| 88 | - | 172 | 94 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
993.83/994.25 c 919s| 4600k| 2392k| 0 | 0.0 |1084M| 88 | - | 172 | 82 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
997.03/997.45 c 922s| 4610k| 2396k| 0 | 0.0 |1088M| 88 | - | 172 | 75 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1000.22/1000.61 c 925s| 4620k| 2400k| 0 | 0.0 |1091M| 88 | - | 172 | 88 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1003.22/1003.68 c 928s| 4630k| 2404k| 0 | 0.0 |1095M| 88 | - | 172 | 92 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1006.32/1006.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1006.32/1006.71 c 931s| 4640k| 2409k| 0 | 0.0 |1098M| 88 | - | 172 | 95 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1009.43/1009.82 c 934s| 4650k| 2413k| 0 | 0.0 |1101M| 88 | - | 172 | 98 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1012.52/1012.91 c 937s| 4660k| 2417k| 0 | 0.0 |1105M| 88 | - | 172 | 87 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1015.62/1016.03 c 940s| 4670k| 2422k| 0 | 0.0 |1108M| 88 | - | 172 | 92 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1018.62/1019.08 c 942s| 4680k| 2426k| 0 | 0.0 |1112M| 88 | - | 172 | 95 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1021.72/1022.19 c 945s| 4690k| 2430k| 0 | 0.0 |1115M| 88 | - | 172 | 93 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1024.83/1025.29 c 948s| 4700k| 2434k| 0 | 0.0 |1119M| 88 | - | 172 | 106 | 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1028.02/1028.49 c 951s| 4710k| 2439k| 0 | 0.0 |1122M| 88 | - | 172 | 97 | 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1031.11/1031.59 c 954s| 4720k| 2443k| 0 | 0.0 |1126M| 88 | - | 172 | 99 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1034.41/1034.80 c 957s| 4730k| 2447k| 0 | 0.0 |1129M| 88 | - | 172 | 94 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1037.51/1037.91 c 960s| 4740k| 2452k| 0 | 0.0 |1133M| 88 | - | 172 | 89 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1040.61/1041.01 c 963s| 4750k| 2456k| 0 | 0.0 |1136M| 88 | - | 172 | 81 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1043.71/1044.13 c 966s| 4760k| 2460k| 0 | 0.0 |1140M| 88 | - | 172 | 78 | 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1046.71/1047.14 c 969s| 4770k| 2465k| 0 | 0.0 |1143M| 88 | - | 172 | 82 | 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1049.81/1050.22 c 971s| 4780k| 2469k| 0 | 0.0 |1146M| 88 | - | 172 | 86 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1052.80/1053.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.80/1053.26 c 974s| 4790k| 2474k| 0 | 0.0 |1150M| 88 | - | 172 | 88 | 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1055.90/1056.33 c 977s| 4800k| 2478k| 0 | 0.0 |1153M| 88 | - | 172 | 81 | 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1059.10/1059.54 c 980s| 4810k| 2482k| 0 | 0.0 |1157M| 88 | - | 172 | 87 | 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1062.21/1062.66 c 983s| 4820k| 2487k| 0 | 0.0 |1160M| 88 | - | 172 | 79 | 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1065.41/1065.80 c 986s| 4830k| 2491k| 0 | 0.0 |1163M| 88 | - | 172 | 104 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1068.50/1068.99 c 989s| 4840k| 2495k| 0 | 0.0 |1167M| 88 | - | 172 | 87 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1071.60/1072.06 c 992s| 4850k| 2499k| 0 | 0.0 |1170M| 88 | - | 172 | 102 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1074.69/1075.16 c 995s| 4860k| 2504k| 0 | 0.0 |1174M| 88 | - | 172 | 89 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1077.80/1078.29 c 998s| 4870k| 2508k| 0 | 0.0 |1177M| 88 | - | 172 | 104 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1081.00/1081.40 c 1001s| 4880k| 2512k| 0 | 0.0 |1181M| 88 | - | 172 | 94 | 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1084.11/1084.58 c 1004s| 4890k| 2516k| 0 | 0.0 |1184M| 88 | - | 172 | 81 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1087.29/1087.71 c 1007s| 4900k| 2520k| 0 | 0.0 |1187M| 88 | - | 172 | 90 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1090.49/1090.91 c 1010s| 4910k| 2524k| 0 | 0.0 |1191M| 88 | - | 172 | 86 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1093.69/1094.12 c 1013s| 4920k| 2528k| 0 | 0.0 |1194M| 88 | - | 172 | 90 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1096.89/1097.37 c 1016s| 4930k| 2532k| 0 | 0.0 |1197M| 88 | - | 172 | 90 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1100.09/1100.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1100.09/1100.54 c 1019s| 4940k| 2536k| 0 | 0.0 |1201M| 88 | - | 172 | 96 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1103.29/1103.77 c 1022s| 4950k| 2540k| 0 | 0.0 |1204M| 88 | - | 172 | 96 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1106.49/1106.99 c 1025s| 4960k| 2544k| 0 | 0.0 |1207M| 88 | - | 172 | 83 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1109.79/1110.27 c 1028s| 4970k| 2548k| 0 | 0.0 |1211M| 88 | - | 172 | 94 | 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1113.09/1113.50 c 1031s| 4980k| 2552k| 0 | 0.0 |1214M| 88 | - | 172 | 87 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1116.38/1116.84 c 1034s| 4990k| 2556k| 0 | 0.0 |1218M| 88 | - | 172 | 88 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1119.59/1120.07 c 1037s| 5000k| 2560k| 0 | 0.0 |1221M| 88 | - | 172 | 98 | 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1122.88/1123.31 c 1040s| 5010k| 2564k| 0 | 0.0 |1225M| 88 | - | 172 | 99 | 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1125.88/1126.37 c 1043s| 5020k| 2568k| 0 | 0.0 |1228M| 88 | - | 172 | 108 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1129.18/1129.62 c 1046s| 5030k| 2572k| 0 | 0.0 |1232M| 88 | - | 172 | 101 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1132.37/1132.85 c 1049s| 5040k| 2576k| 0 | 0.0 |1235M| 88 | - | 172 | 93 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1135.48/1136.00 c 1052s| 5050k| 2580k| 0 | 0.0 |1239M| 88 | - | 172 | 80 | 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1138.67/1139.12 c 1055s| 5060k| 2584k| 0 | 0.0 |1242M| 88 | - | 172 | 87 | 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1141.78/1142.28 c 1058s| 5070k| 2588k| 0 | 0.0 |1246M| 88 | - | 172 | 89 | 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1145.08/1145.51 c 1061s| 5080k| 2592k| 0 | 0.0 |1249M| 88 | - | 172 | 101 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1148.18/1148.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1148.18/1148.69 c 1064s| 5090k| 2597k| 0 | 0.0 |1253M| 88 | - | 172 | 91 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1151.37/1151.88 c 1067s| 5100k| 2601k| 0 | 0.0 |1256M| 88 | - | 172 | 96 | 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1154.67/1155.12 c 1070s| 5110k| 2605k| 0 | 0.0 |1260M| 88 | - | 172 | 93 | 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1157.78/1158.24 c 1073s| 5120k| 2609k| 0 | 0.0 |1263M| 88 | - | 172 | 95 | 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1160.76/1161.26 c 1075s| 5130k| 2613k| 0 | 0.0 |1267M| 88 | - | 172 | 88 | 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1163.87/1164.33 c 1078s| 5140k| 2618k| 0 | 0.0 |1270M| 88 | - | 172 | 96 | 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1167.07/1167.57 c 1081s| 5150k| 2622k| 0 | 0.0 |1274M| 88 | - | 172 | 98 | 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1170.27/1170.77 c 1084s| 5160k| 2626k| 0 | 0.0 |1277M| 88 | - | 172 | 92 | 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1173.47/1173.99 c 1087s| 5170k| 2630k| 0 | 0.0 |1281M| 88 | - | 172 | 88 | 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1176.57/1177.07 c 1090s| 5180k| 2634k| 0 | 0.0 |1284M| 88 | - | 172 | 91 | 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1179.77/1180.22 c 1093s| 5190k| 2638k| 0 | 0.0 |1288M| 88 | - | 172 | 101 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1182.86/1183.39 c 1096s| 5200k| 2643k| 0 | 0.0 |1291M| 88 | - | 172 | 102 | 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1186.16/1186.61 c 1099s| 5210k| 2647k| 0 | 0.0 |1295M| 88 | - | 172 | 99 | 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1189.36/1189.85 c 1102s| 5220k| 2651k| 0 | 0.0 |1298M| 88 | - | 172 | 84 | 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1192.65/1193.11 c 1105s| 5230k| 2655k| 0 | 0.0 |1302M| 88 | - | 172 | 91 | 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1195.86/1196.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1195.86/1196.32 c 1108s| 5240k| 2659k| 0 | 0.0 |1305M| 88 | - | 172 | 77 | 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1199.05/1199.53 c 1111s| 5250k| 2663k| 0 | 0.0 |1308M| 88 | - | 172 | 87 | 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1202.25/1202.77 c 1114s| 5260k| 2667k| 0 | 0.0 |1312M| 88 | - | 172 | 85 | 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1205.55/1206.08 c 1117s| 5270k| 2671k| 0 | 0.0 |1315M| 88 | - | 172 | 111 | 0 | 0 | 0 | 687k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1208.75/1209.26 c 1120s| 5280k| 2675k| 0 | 0.0 |1319M| 88 | - | 172 | 89 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1212.04/1212.57 c 1123s| 5290k| 2679k| 0 | 0.0 |1322M| 88 | - | 172 | 89 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1215.34/1215.85 c 1126s| 5300k| 2683k| 0 | 0.0 |1325M| 88 | - | 172 | 102 | 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1218.55/1219.05 c 1129s| 5310k| 2687k| 0 | 0.0 |1329M| 88 | - | 172 | 98 | 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1221.74/1222.25 c 1132s| 5320k| 2691k| 0 | 0.0 |1332M| 88 | - | 172 | 95 | 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1225.15/1225.62 c 1136s| 5330k| 2695k| 0 | 0.0 |1336M| 88 | - | 172 | 99 | 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1228.54/1229.09 c 1139s| 5340k| 2699k| 0 | 0.0 |1339M| 88 | - | 172 | 114 | 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1231.84/1232.39 c 1142s| 5350k| 2702k| 0 | 0.0 |1342M| 88 | - | 172 | 92 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1235.14/1235.65 c 1145s| 5360k| 2706k| 0 | 0.0 |1346M| 88 | - | 172 | 116 | 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1238.44/1238.90 c 1148s| 5370k| 2710k| 0 | 0.0 |1350M| 88 | - | 172 | 104 | 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1241.64/1242.11 c 1151s| 5380k| 2714k| 0 | 0.0 |1353M| 88 | - | 172 | 85 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1244.74/1245.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1244.74/1245.29 c 1154s| 5390k| 2719k| 0 | 0.0 |1357M| 88 | - | 172 | 80 | 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 2.210000e+02 | Inf
1246.23/1246.75 c (node 5394574) switching to memory saving mode (mem: 1296.0M/1620.0M)
1248.04/1248.53 o 186
1248.04/1248.53 c *1157s| 5394k| 2599k| 0 | 0.0 |1281M| 89 | - | 172 | 97 | 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
1248.43/1248.91 o 185
1248.43/1248.91 c *1158s| 5394k| 2599k| 0 | 0.0 |1281M| 104 | - | 172 | 97 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 1.850000e+02 | Inf
1250.03/1250.58 o 135
1250.03/1250.58 c *1159s| 5395k| 2445k| 0 | 0.0 |1164M| 104 | - | 172 | 99 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
1250.24/1250.71 o 131
1250.24/1250.71 c *1159s| 5395k| 2444k| 0 | 0.0 |1163M| 104 | - | 172 | 99 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 1.310000e+02 | Inf
1252.44/1252.97 o 127
1252.44/1252.97 c *1162s| 5395k| 2196k| 0 | 0.0 |1008M| 104 | - | 172 | 99 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 1.270000e+02 | Inf
1252.63/1253.10 o 123
1252.63/1253.10 c *1162s| 5395k| 2194k| 0 | 0.0 |1006M| 104 | - | 172 | 99 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 1.230000e+02 | Inf
1253.03/1253.55 o 120
1253.03/1253.55 c *1162s| 5395k| 2191k| 0 | 0.0 |1003M| 104 | - | 172 | 103 | 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 1.200000e+02 | Inf
1253.83/1254.30 o 107
1253.83/1254.30 c *1163s| 5395k| 2164k| 0 | 0.0 | 979M| 104 | - | 172 | 104 | 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
1256.53/1257.02 o 106
1256.53/1257.02 c *1165s| 5397k| 2160k| 0 | 0.0 | 978M| 104 | - | 172 | 217 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 1.060000e+02 | Inf
1256.63/1257.13 o 102
1256.63/1257.13 c *1166s| 5397k| 2159k| 0 | 0.0 | 977M| 104 | - | 172 | 217 | 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
1261.33/1261.83 c 1170s| 5400k| 2152k| 0 | 0.0 | 975M| 104 | - | 172 | 478 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
1275.62/1276.17 c 1184s| 5410k| 2138k| 0 | 0.0 | 967M| 104 | - | 172 |1034 | 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 1.020000e+02 | Inf
1279.12/1279.67 o 79
1279.12/1279.67 c *1187s| 5415k| 2077k| 0 | 0.0 | 863M| 104 | - | 172 |1036 | 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
1285.12/1285.63 c 1193s| 5420k| 2072k| 0 | 0.0 | 858M| 104 | - | 172 |1498 | 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
1289.73/1290.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1289.73/1290.23 c 1197s| 5430k| 2072k| 0 | 0.0 | 857M| 104 | - | 172 |1509 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
1293.12/1293.70 o 77
1293.12/1293.70 c *1201s| 5437k| 2072k| 0 | 0.0 | 857M| 104 | - | 172 |1508 | 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
1294.22/1294.72 c 1202s| 5440k| 2072k| 0 | 0.0 | 857M| 104 | - | 172 |1507 | 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
1296.43/1296.93 o 75
1296.43/1296.93 c *1204s| 5444k| 2072k| 0 | 0.0 | 857M| 104 | - | 172 |1508 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 7.500000e+01 | Inf
1296.52/1297.03 o 71
1296.52/1297.03 c *1204s| 5444k| 2072k| 0 | 0.0 | 857M| 104 | - | 172 |1508 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1298.82/1299.31 c 1206s| 5450k| 2072k| 0 | 0.0 | 856M| 104 | - | 172 |1513 | 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1303.82/1304.31 c 1211s| 5460k| 2071k| 0 | 0.0 | 856M| 104 | - | 172 |1531 | 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1315.31/1315.89 c 1222s| 5470k| 2065k| 0 | 0.0 | 848M| 104 | - | 172 |1895 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1320.31/1320.88 c 1227s| 5480k| 2064k| 0 | 0.0 | 848M| 104 | - | 172 |1869 | 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1325.10/1325.65 c 1231s| 5490k| 2064k| 0 | 0.0 | 848M| 104 | - | 172 |1840 | 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
1326.21/1326.72 o 66
1326.21/1326.72 c *1232s| 5492k| 2064k| 0 | 0.0 | 847M| 104 | - | 172 |1844 | 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
1329.70/1330.25 c 1235s| 5500k| 2064k| 0 | 0.0 | 847M| 104 | - | 172 |1844 | 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
1334.20/1334.72 c 1240s| 5510k| 2064k| 0 | 0.0 | 847M| 104 | - | 172 |1844 | 0 | 0 | 0 | 814k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
1338.60/1339.11 c 1244s| 5520k| 2064k| 0 | 0.0 | 847M| 104 | - | 172 |1845 | 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
1342.70/1343.29 c 1248s| 5530k| 2064k| 0 | 0.0 | 847M| 104 | - | 172 |1838 | 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
1348.20/1348.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1348.20/1348.71 c 1253s| 5540k| 2063k| 0 | 0.0 | 846M| 104 | - | 172 |1814 | 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
1353.50/1354.05 c 1258s| 5550k| 2063k| 0 | 0.0 | 846M| 104 | - | 172 |1692 | 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
1357.80/1358.40 c 1262s| 5560k| 2063k| 0 | 0.0 | 846M| 104 | - | 172 |1670 | 0 | 0 | 0 | 842k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
1362.19/1362.72 c 1266s| 5570k| 2063k| 0 | 0.0 | 846M| 104 | - | 172 |1670 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
1366.29/1366.88 o 63
1366.29/1366.88 c *1270s| 5575k| 1886k| 0 | 0.0 | 726M| 104 | - | 172 |1669 | 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1367.99/1368.57 c 1271s| 5580k| 1886k| 0 | 0.0 | 726M| 104 | - | 172 |1504 | 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1372.09/1372.61 c 1275s| 5590k| 1886k| 0 | 0.0 | 726M| 104 | - | 172 |1297 | 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1376.38/1376.97 c 1279s| 5600k| 1886k| 0 | 0.0 | 726M| 104 | - | 172 | 185 | 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1386.39/1386.97 c 1289s| 5610k| 1883k| 0 | 0.0 | 719M| 104 | - | 172 | 61 | 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1390.89/1391.44 c 1293s| 5620k| 1882k| 0 | 0.0 | 719M| 104 | - | 172 | 60 | 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1395.08/1395.64 c 1297s| 5630k| 1882k| 0 | 0.0 | 719M| 104 | - | 172 | 83 | 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1399.48/1400.01 c 1301s| 5640k| 1882k| 0 | 0.0 | 719M| 104 | - | 172 | 106 | 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1403.68/1404.28 c 1305s| 5650k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 84 | 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1407.98/1408.58 c 1309s| 5660k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 104 | 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1412.08/1412.63 c 1313s| 5670k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 164 | 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1416.28/1416.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1416.28/1416.82 c 1316s| 5680k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 157 | 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1420.47/1421.03 c 1320s| 5690k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 193 | 0 | 0 | 0 | 916k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1424.48/1425.09 c 1324s| 5700k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 262 | 0 | 0 | 0 | 922k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
1427.47/1428.04 o 62
1427.47/1428.04 c *1327s| 5707k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 359 | 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1428.57/1429.16 c 1328s| 5710k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 388 | 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1432.67/1433.21 c 1332s| 5720k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 360 | 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1436.77/1437.34 c 1335s| 5730k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 390 | 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1440.86/1441.50 c 1339s| 5740k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 427 | 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1445.06/1445.61 c 1343s| 5750k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 226 | 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1449.17/1449.74 c 1347s| 5760k| 1881k| 0 | 0.0 | 718M| 104 | - | 172 | 165 | 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1453.56/1454.17 c 1351s| 5770k| 1881k| 0 | 0.0 | 717M| 104 | - | 172 | 91 | 0 | 0 | 0 | 961k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1457.97/1458.56 c 1355s| 5780k| 1880k| 0 | 0.0 | 717M| 104 | - | 172 | 122 | 0 | 0 | 0 | 967k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1461.76/1462.37 c 1359s| 5790k| 1880k| 0 | 0.0 | 717M| 104 | - | 172 | 111 | 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1466.16/1466.76 c 1363s| 5800k| 1880k| 0 | 0.0 | 717M| 104 | - | 172 | 84 | 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1470.25/1470.85 c 1367s| 5810k| 1880k| 0 | 0.0 | 717M| 104 | - | 172 | 92 | 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1475.05/1475.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1475.05/1475.67 c 1371s| 5820k| 1879k| 0 | 0.0 | 716M| 104 | - | 172 | 37 | 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1480.06/1480.68 c 1376s| 5830k| 1879k| 0 | 0.0 | 716M| 104 | - | 172 | 43 | 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1484.36/1485.00 c 1380s| 5840k| 1879k| 0 | 0.0 | 716M| 104 | - | 172 | 72 | 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1488.55/1489.10 c 1384s| 5850k| 1879k| 0 | 0.0 | 716M| 104 | - | 172 | 69 | 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1492.65/1493.27 c 1387s| 5860k| 1879k| 0 | 0.0 | 716M| 104 | - | 172 | 59 | 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1496.85/1497.44 c 1391s| 5870k| 1879k| 0 | 0.0 | 716M| 104 | - | 172 | 54 | 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1500.95/1501.58 c 1395s| 5880k| 1879k| 0 | 0.0 | 715M| 104 | - | 172 | 69 | 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1505.65/1506.26 c 1400s| 5890k| 1878k| 0 | 0.0 | 715M| 104 | - | 172 | 90 | 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 6.200000e+01 | Inf
1508.24/1508.84 o 61
1508.24/1508.84 c *1402s| 5895k| 1878k| 0 | 0.0 | 715M| 104 | - | 172 | 29 | 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1510.44/1511.05 c 1404s| 5900k| 1878k| 0 | 0.0 | 715M| 104 | - | 172 | 37 | 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1515.63/1516.28 c 1409s| 5910k| 1877k| 0 | 0.0 | 714M| 104 | - | 172 | 23 | 0 | 0 | 0 |1040k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1519.93/1520.56 c 1413s| 5920k| 1877k| 0 | 0.0 | 714M| 104 | - | 172 | 22 | 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1531.23/1531.89 c 1424s| 5930k| 1873k| 0 | 0.0 | 708M| 104 | - | 172 | 26 | 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1535.63/1536.20 c 1428s| 5940k| 1872k| 0 | 0.0 | 708M| 104 | - | 172 | 29 | 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1539.83/1540.46 c 1431s| 5950k| 1872k| 0 | 0.0 | 708M| 104 | - | 172 | 29 | 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
1544.02/1544.66 o 53
1544.02/1544.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.02/1544.66 c *1435s| 5959k| 1872k| 0 | 0.0 | 707M| 104 | - | 172 | 63 | 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 5.300000e+01 | Inf
1544.12/1544.75 o 51
1544.12/1544.75 c *1435s| 5959k| 1872k| 0 | 0.0 | 707M| 104 | - | 172 | 63 | 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
1544.32/1544.92 o 45
1544.32/1544.92 c *1436s| 5959k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 63 | 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
1544.42/1545.01 o 41
1544.42/1545.01 c *1436s| 5959k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 63 | 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
1544.42/1545.07 c 1436s| 5960k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 63 | 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
1548.62/1549.23 c 1440s| 5970k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 113 | 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
1552.82/1553.40 c 1444s| 5980k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 136 | 0 | 0 | 0 |1082k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
1556.93/1557.50 c 1447s| 5990k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 204 | 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
1561.02/1561.64 c 1451s| 6000k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 284 | 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 4.100000e+01 | Inf
1562.32/1562.92 o 38
1562.32/1562.92 c *1452s| 6002k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 303 | 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 3.800000e+01 | Inf
1562.42/1563.01 o 36
1562.42/1563.01 c *1452s| 6002k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 303 | 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1565.31/1565.92 c 1455s| 6010k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 263 | 0 | 0 | 0 |1098k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1569.51/1570.15 c 1459s| 6020k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 381 | 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1573.82/1574.42 c 1463s| 6030k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 413 | 0 | 0 | 0 |1109k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1578.01/1578.66 c 1467s| 6040k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 499 | 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1582.31/1582.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1582.31/1582.95 c 1471s| 6050k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 597 | 0 | 0 | 0 |1121k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1586.61/1587.20 c 1475s| 6060k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 93 | 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1590.71/1591.31 c 1479s| 6070k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 135 | 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1594.80/1595.49 c 1483s| 6080k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 132 | 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1599.21/1599.84 c 1487s| 6090k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 73 | 0 | 0 | 0 |1143k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1603.50/1604.19 c 1491s| 6100k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 171 | 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1607.80/1608.43 c 1495s| 6110k| 1867k| 0 | 0.0 | 700M| 104 | - | 172 | 150 | 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1612.01/1612.64 c 1499s| 6120k| 1866k| 0 | 0.0 | 699M| 104 | - | 172 | 92 | 0 | 0 | 0 |1160k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1616.20/1616.88 c 1503s| 6130k| 1866k| 0 | 0.0 | 699M| 104 | - | 172 | 71 | 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1620.60/1621.20 c 1507s| 6140k| 1866k| 0 | 0.0 | 699M| 104 | - | 172 | 74 | 0 | 0 | 0 |1171k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1624.80/1625.49 c 1511s| 6150k| 1866k| 0 | 0.0 | 699M| 104 | - | 172 | 52 | 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1629.39/1630.00 c 1515s| 6160k| 1866k| 0 | 0.0 | 699M| 104 | - | 172 | 52 | 0 | 0 | 0 |1182k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1633.89/1634.55 c 1519s| 6170k| 1865k| 0 | 0.0 | 699M| 104 | - | 172 | 63 | 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1638.49/1639.11 c 1523s| 6180k| 1865k| 0 | 0.0 | 699M| 104 | - | 172 | 65 | 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1642.99/1643.63 c 1527s| 6190k| 1865k| 0 | 0.0 | 699M| 104 | - | 172 | 98 | 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1647.78/1648.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1647.78/1648.40 c 1532s| 6200k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 54 | 0 | 0 | 0 |1205k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1651.78/1652.44 c 1536s| 6210k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 62 | 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1655.90/1656.58 c 1540s| 6220k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 142 | 0 | 0 | 0 |1216k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1659.98/1660.62 c 1543s| 6230k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 207 | 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1664.18/1664.84 c 1547s| 6240k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 135 | 0 | 0 | 0 |1227k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1668.38/1669.01 c 1551s| 6250k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 222 | 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1672.49/1673.13 c 1555s| 6260k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 253 | 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1676.67/1677.31 c 1559s| 6270k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 129 | 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1680.98/1681.62 c 1563s| 6280k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 128 | 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1685.37/1686.01 c 1567s| 6290k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 104 | 0 | 0 | 0 |1255k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1689.77/1690.42 c 1571s| 6300k| 1864k| 0 | 0.0 | 698M| 104 | - | 172 | 102 | 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1694.07/1694.79 c 1575s| 6310k| 1863k| 0 | 0.0 | 698M| 104 | - | 172 | 89 | 0 | 0 | 0 |1267k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1698.57/1699.29 c 1579s| 6320k| 1863k| 0 | 0.0 | 698M| 104 | - | 172 | 95 | 0 | 0 | 0 |1272k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1702.97/1703.61 c 1583s| 6330k| 1863k| 0 | 0.0 | 697M| 104 | - | 172 | 84 | 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1707.16/1707.84 c 1587s| 6340k| 1863k| 0 | 0.0 | 697M| 104 | - | 172 | 121 | 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1711.26/1711.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1711.26/1711.90 c 1591s| 6350k| 1863k| 0 | 0.0 | 697M| 104 | - | 172 | 121 | 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1715.77/1716.48 c 1595s| 6360k| 1862k| 0 | 0.0 | 697M| 104 | - | 172 | 101 | 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1720.56/1721.28 c 1600s| 6370k| 1862k| 0 | 0.0 | 697M| 104 | - | 172 | 74 | 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1725.27/1725.96 c 1604s| 6380k| 1862k| 0 | 0.0 | 697M| 104 | - | 172 | 70 | 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1730.25/1730.99 c 1609s| 6390k| 1861k| 0 | 0.0 | 697M| 104 | - | 172 | 75 | 0 | 0 | 0 |1312k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1735.16/1735.89 c 1613s| 6400k| 1860k| 0 | 0.0 | 696M| 104 | - | 172 | 68 | 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1740.06/1740.77 c 1618s| 6410k| 1860k| 0 | 0.0 | 696M| 104 | - | 172 | 47 | 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1744.56/1745.20 c 1622s| 6420k| 1860k| 0 | 0.0 | 696M| 104 | - | 172 | 74 | 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1748.65/1749.36 c 1626s| 6430k| 1860k| 0 | 0.0 | 696M| 104 | - | 172 | 64 | 0 | 0 | 0 |1335k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1752.76/1753.47 c 1630s| 6440k| 1860k| 0 | 0.0 | 696M| 104 | - | 172 | 80 | 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1757.25/1757.94 c 1634s| 6450k| 1859k| 0 | 0.0 | 696M| 104 | - | 172 | 61 | 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1761.75/1762.48 c 1638s| 6460k| 1859k| 0 | 0.0 | 695M| 104 | - | 172 | 55 | 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1766.15/1766.80 c 1642s| 6470k| 1859k| 0 | 0.0 | 695M| 104 | - | 172 | 79 | 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1770.54/1771.20 c 1646s| 6480k| 1859k| 0 | 0.0 | 695M| 104 | - | 172 | 126 | 0 | 0 | 0 |1363k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1774.84/1775.54 c 1650s| 6490k| 1858k| 0 | 0.0 | 695M| 104 | - | 172 | 81 | 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1779.05/1779.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1779.05/1779.77 c 1654s| 6500k| 1858k| 0 | 0.0 | 695M| 104 | - | 172 | 75 | 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1783.34/1784.01 c 1658s| 6510k| 1858k| 0 | 0.0 | 695M| 104 | - | 172 | 60 | 0 | 0 | 0 |1380k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1787.44/1788.18 c 1662s| 6520k| 1858k| 0 | 0.0 | 695M| 104 | - | 172 | 98 | 0 | 0 | 0 |1385k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1791.64/1792.34 c 1666s| 6530k| 1858k| 0 | 0.0 | 695M| 104 | - | 172 | 141 | 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1796.14/1796.82 c 1670s| 6540k| 1858k| 0 | 0.0 | 695M| 104 | - | 172 | 87 | 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
1800.04/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.71 c
1800.04/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.71 c Solving Time (sec) : 1673.68
1800.04/1800.71 c Solving Nodes : 6549124
1800.04/1800.71 c Primal Bound : +3.60000000000000e+01 (25 solutions)
1800.04/1800.71 c Dual Bound : +0.00000000000000e+00
1800.04/1800.71 c Gap : infinite
1800.04/1800.71 s SATISFIABLE
1800.04/1800.71 v -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 x164 x163 -x162 -x161 x160 x159 -x158 x157 x156 -x155 -x154 -x153 x152 -x151 x150
1800.04/1800.71 v x149 -x148 -x147 x146 -x145 x144 x143 -x142 -x141 x140 -x139 -x138 x137 x136 x135 x134 -x133 -x132 x131 -x130 x129 x128 -x127
1800.04/1800.71 v -x126 x125 x124 x123 x122 x121 x120 -x119 -x118 x117 x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 x106 x105 -x104
1800.04/1800.71 v -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.04/1800.71 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
1800.04/1800.71 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
1800.04/1800.71 v -x29 x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3
1800.04/1800.71 v -x2 -x1
1800.04/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.71 c Solving Time : 1673.68
1800.04/1800.71 c Original Problem :
1800.04/1800.71 c Problem name : HOME/instance-2664224-1276615390.opb
1800.04/1800.71 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71 c Constraints : 14 initial, 14 maximal
1800.04/1800.71 c Presolved Problem :
1800.04/1800.71 c Problem name : t_HOME/instance-2664224-1276615390.opb
1800.04/1800.71 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71 c Constraints : 7 initial, 2091 maximal
1800.04/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c probing : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.71 c linear : 0.00 0 0 0 0 0 7 0 0
1800.04/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c root node : - 18 - - 18 - - - -
1800.04/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.71 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.71 c linear : 7 0 14196487 0 5428199 804261 33581613 0 0 0
1800.04/1800.71 c logicor : 0+ 0 1832403 0 0 13335 1284392 0 0 0
1800.04/1800.71 c countsols : 0 0 0 0 5428208 0 0 0 0 0
1800.04/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.71 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.71 c linear : 872.94 0.00 869.18 0.00 3.76
1800.04/1800.71 c logicor : 24.37 0.00 24.37 0.00 0.00
1800.04/1800.71 c countsols : 2.18 0.00 0.00 0.00 2.18
1800.04/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.71 c vbounds : 7.16 2 0 0
1800.04/1800.71 c rootredcost : 7.11 0 0 0
1800.04/1800.71 c pseudoobj : 225.10 14799746 603449 12288352
1800.04/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.71 c propagation : 234.85 1421041 1401998 4460946 48.5 2753 60.7 -
1800.04/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.71 c pseudo solution : 0.00 27 27 71 39.6 4 63.2 -
1800.04/1800.71 c applied globally : - - - 26948 29.6 - - -
1800.04/1800.71 c applied locally : - - - 1375092 41.0 - - -
1800.04/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.71 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.71 c redcost : 0.00 0 0 0 0 0
1800.04/1800.71 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.71 c intobj : 0.00 0 0 0 0 0
1800.04/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.71 c gomory : 0.00 0 0 0 0 0
1800.04/1800.71 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.71 c cmir : 0.00 0 0 0 0 0
1800.04/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.71 c clique : 0.00 0 0 0 0 0
1800.04/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.71 c mcf : 0.00 0 0 0 0 0
1800.04/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.71 c Pricers : Time Calls Vars
1800.04/1800.71 c problem variables: 0.00 0 0
1800.04/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.71 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.71 c inference : 129.99 5428183 0 0 0 0 10856366
1800.04/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.71 c random : 0.00 0 0 0 0 0 0
1800.04/1800.71 c Primal Heuristics : Time Calls Found
1800.04/1800.71 c LP solutions : 0.00 - 0
1800.04/1800.71 c pseudo solutions : 15.66 - 25
1800.04/1800.71 c oneopt : 3.87 0 0
1800.04/1800.71 c trivial : 0.00 2 0
1800.04/1800.71 c simplerounding : 0.00 0 0
1800.04/1800.71 c zirounding : 0.00 0 0
1800.04/1800.71 c rounding : 0.00 0 0
1800.04/1800.72 c shifting : 0.00 0 0
1800.04/1800.72 c intshifting : 0.00 0 0
1800.04/1800.72 c twoopt : 0.00 0 0
1800.04/1800.72 c fixandinfer : 0.00 0 0
1800.04/1800.72 c feaspump : 0.00 0 0
1800.04/1800.72 c coefdiving : 0.00 0 0
1800.04/1800.72 c pscostdiving : 0.00 0 0
1800.04/1800.72 c fracdiving : 0.00 0 0
1800.04/1800.72 c veclendiving : 0.00 0 0
1800.04/1800.72 c intdiving : 0.00 0 0
1800.04/1800.72 c actconsdiving : 0.00 0 0
1800.04/1800.72 c objpscostdiving : 0.00 0 0
1800.04/1800.72 c rootsoldiving : 0.00 0 0
1800.04/1800.72 c linesearchdiving : 0.00 0 0
1800.04/1800.72 c guideddiving : 0.00 0 0
1800.04/1800.72 c octane : 0.00 0 0
1800.04/1800.72 c rens : 0.00 0 0
1800.04/1800.72 c rins : 0.00 0 0
1800.04/1800.72 c localbranching : 0.00 0 0
1800.04/1800.72 c mutation : 0.00 0 0
1800.04/1800.72 c crossover : 0.00 0 0
1800.04/1800.72 c dins : 0.00 0 0
1800.04/1800.72 c undercover : 0.00 0 0
1800.04/1800.72 c nlp : 2.81 0 0
1800.04/1800.72 c trysol : 2.66 0 0
1800.04/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.72 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.72 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.72 c (at root node) : - 0 0 0.00 -
1800.04/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.72 c B&B Tree :
1800.04/1800.72 c number of runs : 1
1800.04/1800.72 c nodes : 6549124
1800.04/1800.72 c nodes (total) : 6549124
1800.04/1800.72 c nodes left : 1858205
1800.04/1800.72 c max depth : 104
1800.04/1800.72 c max depth (total): 104
1800.04/1800.72 c backtracks : 514477 (7.9%)
1800.04/1800.72 c delayed cutoffs : 323472
1800.04/1800.72 c repropagations : 3788734 (8085711 domain reductions, 300156 cutoffs)
1800.04/1800.72 c avg switch length: 6.17
1800.04/1800.72 c switching time : 181.50
1800.04/1800.72 c Solution :
1800.04/1800.72 c Solutions found : 25 (25 improvements)
1800.04/1800.72 c First Solution : +2.21000000000000e+02 (in run 1, after 2708050 nodes, 408.11 seconds, depth 79, found by <relaxation>)
1800.04/1800.72 c Primal Bound : +3.60000000000000e+01 (in run 1, after 6002966 nodes, 1452.38 seconds, depth 93, found by <relaxation>)
1800.04/1800.72 c Dual Bound : +0.00000000000000e+00
1800.04/1800.72 c Gap : infinite
1800.04/1800.72 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.72 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-2664224-1276615390/watcher-2664224-1276615390 -o /tmp/evaluation-result-2664224-1276615390/solver-2664224-1276615390 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664224-1276615390.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 10072
/proc/meminfo: memFree=1505212/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=6584 CPUtime=0
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 968 0 0 0 0 0 0 0 20 0 1 0 2829943 6742016 890 1992294400 4194304 7136930 140737382702720 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10072/statm: 1646 900 254 719 0 925 0
[startup+0.0426581 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10072
/proc/meminfo: memFree=1505212/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=11160 CPUtime=0.03
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 2756 0 0 0 2 1 0 0 20 0 1 0 2829943 11427840 2068 1992294400 4194304 7136930 140737382702720 18446744073709551615 4978047 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 2790 2074 381 719 0 2069 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11160
[startup+0.100666 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10072
/proc/meminfo: memFree=1505212/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=11440 CPUtime=0.09
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 2833 0 0 0 8 1 0 0 20 0 1 0 2829943 11714560 2145 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 2860 2145 383 719 0 2139 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11440
[startup+0.3007 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10072
/proc/meminfo: memFree=1505212/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=12064 CPUtime=0.29
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 2984 0 0 0 26 3 0 0 20 0 1 0 2829943 12353536 2296 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 3016 2296 383 719 0 2295 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12064
[startup+0.700767 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10072
/proc/meminfo: memFree=1505212/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=13500 CPUtime=0.69
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 3351 0 0 0 63 6 0 0 21 0 1 0 2829943 13824000 2663 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 3375 2663 383 719 0 2654 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13500
[startup+1.5009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10073
/proc/meminfo: memFree=1495160/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=15588 CPUtime=1.49
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 3900 0 0 0 137 12 0 0 23 0 1 0 2829943 15962112 3212 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 3897 3212 383 719 0 3176 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15588
[startup+3.10117 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10073
/proc/meminfo: memFree=1491564/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=19456 CPUtime=3.09
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 4910 0 0 0 283 26 0 0 25 0 1 0 2829943 19922944 4222 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 4864 4222 383 719 0 4143 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19456
[startup+6.30071 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10073
/proc/meminfo: memFree=1483752/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=27168 CPUtime=6.29
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 6884 0 0 0 577 52 0 0 25 0 1 0 2829943 27820032 6196 1992294400 4194304 7136930 140737382702720 18446744073709551615 4979703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 6792 6196 383 719 0 6071 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27168
[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10073
/proc/meminfo: memFree=1465648/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=46824 CPUtime=12.69
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 11425 0 0 0 1160 109 0 0 25 0 1 0 2829943 47947776 10737 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 11706 10737 383 719 0 10985 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46824
[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10073
/proc/meminfo: memFree=1423240/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=86076 CPUtime=25.49
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 21560 0 0 0 2329 220 0 0 25 0 1 0 2829943 88141824 20872 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 21519 20872 383 719 0 20798 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86076
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10073
/proc/meminfo: memFree=1359752/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=152536 CPUtime=51.08
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 37767 0 0 0 4670 438 0 0 25 0 1 0 2829943 156196864 37079 1992294400 4194304 7136930 140737382702720 18446744073709551615 4979073 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 38134 37079 383 719 0 37413 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 152536
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10075
/proc/meminfo: memFree=1227816/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=286680 CPUtime=102.26
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 70484 0 0 0 9315 911 0 0 25 0 1 0 2829943 293560320 69796 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 71670 69796 383 719 0 70949 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 286680
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10077
/proc/meminfo: memFree=1047892/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=476344 CPUtime=162.23
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 115229 0 0 0 14740 1483 0 0 25 0 1 0 2829943 487776256 114541 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 119086 114541 383 719 0 118365 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 476344
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10079
/proc/meminfo: memFree=904548/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=613240 CPUtime=222.21
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 150873 0 0 0 20205 2016 0 0 25 0 1 0 2829943 627957760 150185 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 153310 150185 383 719 0 152589 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 613240
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10079
/proc/meminfo: memFree=766908/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=747288 CPUtime=282.19
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 185822 0 0 0 25683 2536 0 0 25 0 1 0 2829943 765222912 185134 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 186822 185134 383 719 0 186101 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 747288
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10081
/proc/meminfo: memFree=619596/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=919000 CPUtime=342.17
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 221993 0 0 0 31143 3074 0 0 25 0 1 0 2829943 941056000 221305 1992294400 4194304 7136930 140737382702720 18446744073709551615 4978478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 229750 221305 383 719 0 229029 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 919000
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10083
/proc/meminfo: memFree=471416/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=1061496 CPUtime=402.14
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 258994 0 0 0 36611 3603 0 0 25 0 1 0 2829943 1086971904 258306 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 265374 258306 383 719 0 264653 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 1061496
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10085
/proc/meminfo: memFree=354484/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=1173032 CPUtime=462.12
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 287891 0 0 0 42159 4053 0 0 25 0 1 0 2829943 1201184768 287203 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 293258 287203 383 719 0 292537 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 1173032
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10087
/proc/meminfo: memFree=336256/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=1190908 CPUtime=522.1
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 292354 0 0 0 47771 4439 0 0 25 0 1 0 2829943 1219489792 291666 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 297727 291666 383 719 0 297006 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 1190908
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10090
/proc/meminfo: memFree=317656/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=1208760 CPUtime=582.08
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 296808 0 0 0 53371 4837 0 0 25 0 1 0 2829943 1237770240 296120 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 302190 296120 383 719 0 301469 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 1208760
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10092
/proc/meminfo: memFree=301908/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=1224560 CPUtime=642.07
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 300718 0 0 0 58976 5231 0 0 25 0 1 0 2829943 1253949440 300030 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 306140 300030 383 719 0 305419 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 1224560
[startup+702.301 s]
################
# More data... #
################
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 349315 0 0 0 98278 7912 0 0 25 0 1 0 2829943 1452838912 348627 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 354697 348627 384 719 0 353976 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 1418788
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10106
/proc/meminfo: memFree=62092/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=1464332 CPUtime=1121.88
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 360588 0 0 0 103896 8292 0 0 25 0 1 0 2829943 1499475968 359900 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 366083 359900 384 719 0 365362 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 1464332
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10106
/proc/meminfo: memFree=16584/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=1509416 CPUtime=1181.86
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 371941 0 0 0 109507 8679 0 0 25 0 1 0 2829943 1545641984 371253 1992294400 4194304 7136930 140737382702720 18446744073709551615 4978949 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 377354 371253 384 719 0 376633 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 1509416
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10108
/proc/meminfo: memFree=9560/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=1559016 CPUtime=1241.84
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 384297 0 0 0 115127 9057 0 0 25 0 1 0 2829943 1596432384 383609 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 389754 383609 384 719 0 389033 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1559016
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10110
/proc/meminfo: memFree=45904/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=1570776 CPUtime=1301.82
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 397819 0 0 0 120875 9307 0 0 25 0 1 0 2829943 1608474624 386500 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 392694 386500 384 719 0 391973 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1570776
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10112
/proc/meminfo: memFree=43796/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=1572896 CPUtime=1361.8
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398340 0 0 0 126533 9647 0 0 25 0 1 0 2829943 1610645504 387021 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 393224 387021 384 719 0 392503 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1572896
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10114
/proc/meminfo: memFree=43796/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=1572896 CPUtime=1421.78
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398342 0 0 0 132150 10028 0 0 25 0 1 0 2829943 1610645504 387023 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 393224 387023 386 719 0 392503 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1572896
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10114
/proc/meminfo: memFree=43672/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=1572896 CPUtime=1481.75
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398342 0 0 0 137726 10449 0 0 25 0 1 0 2829943 1610645504 387023 1992294400 4194304 7136930 140737382702720 18446744073709551615 5908951 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 393224 387023 386 719 0 392503 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1572896
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10116
/proc/meminfo: memFree=43672/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=1572896 CPUtime=1541.73
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398342 0 0 0 143317 10856 0 0 25 0 1 0 2829943 1610645504 387023 1992294400 4194304 7136930 140737382702720 18446744073709551615 4947435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 393224 387023 386 719 0 392503 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 1572896
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10118
/proc/meminfo: memFree=43672/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=1572896 CPUtime=1601.7
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398342 0 0 0 148903 11267 0 0 25 0 1 0 2829943 1610645504 387023 1992294400 4194304 7136930 140737382702720 18446744073709551615 4924424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 393224 387023 386 719 0 392503 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 1572896
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10120
/proc/meminfo: memFree=43548/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=1572896 CPUtime=1661.69
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398342 0 0 0 154489 11680 0 0 25 0 1 0 2829943 1610645504 387023 1992294400 4194304 7136930 140737382702720 18446744073709551615 4648367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 393224 387023 386 719 0 392503 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 1572896
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10122
/proc/meminfo: memFree=43424/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=1572896 CPUtime=1721.66
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398342 0 0 0 160066 12100 0 0 25 0 1 0 2829943 1610645504 387023 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 393224 387023 386 719 0 392503 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 1572896
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10122
/proc/meminfo: memFree=42680/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=1573316 CPUtime=1781.64
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398445 0 0 0 165652 12512 0 0 25 0 1 0 2829943 1611075584 387126 1992294400 4194304 7136930 140737382702720 18446744073709551615 4981233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 393329 387126 386 719 0 392608 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 1573316
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10124
/proc/meminfo: memFree=42432/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=1573536 CPUtime=1800.04
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398499 0 0 0 167368 12636 0 0 25 0 1 0 2829943 1611300864 387180 1992294400 4194304 7136930 140737382702720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10072/statm: 393384 387180 386 719 0 392663 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1573536
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10072
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10124
/proc/meminfo: memFree=42432/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=1573536 CPUtime=1800.72
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398505 0 0 0 167436 12636 0 0 25 0 1 0 2829943 1611300864 387186 1992294400 4194304 7136930 140737382702720 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10072/statm: 393384 387186 392 719 0 392663 0
Current children cumulated CPU time (s) 1800.72
Current children cumulated vsize (KiB) 1573536
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10125
/proc/meminfo: memFree=42424/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=1573536 CPUtime=1801.52
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398505 0 0 0 167516 12636 0 0 25 0 1 0 2829943 1611300864 387186 1992294400 4194304 7136930 140737382702720 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10072/statm: 393384 387186 392 719 0 392663 0
Current children cumulated CPU time (s) 1801.52
Current children cumulated vsize (KiB) 1573536
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10125
/proc/meminfo: memFree=42424/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=1572512 CPUtime=1801.92
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4202496 398505 0 0 0 167556 12636 0 0 25 0 1 0 2829943 1610252288 386930 1992294400 4194304 7136930 140737382702720 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10072/statm: 393128 386930 392 719 0 392407 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 1572512
[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10125
/proc/meminfo: memFree=977268/2059040 swapFree=4192956/4192956
[pid=10072] ppid=10070 vsize=0 CPUtime=1802.13
/proc/10072/stat : 10072 (pbscip.linux.x8) R 10070 10072 9422 0 -1 4203524 398505 0 0 0 167568 12645 0 0 25 0 1 0 2829943 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/10072/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.86
CPU time (s): 1802.19
CPU user time (s): 1675.69
CPU system time (s): 126.509
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 1627648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1675.69
system time used= 126.509
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 398505
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= 1
involuntary context switches= 19606
runsolver used 3.04454 second user time and 8.47571 second system time
The end