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-2664157-1276351112.opb>
0.00/0.02 c original problem has 163 variables (163 bin, 0 int, 0 impl, 0 cont) and 73 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.02 c presolving:
0.00/0.03 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 10 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.02/0.03 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 10 chg sides, 10 chg coeffs, 73 upgd conss, 0 impls, 0 clqs
0.02/0.08 c (0.1s) probing: 101/163 (62.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.02/0.08 c presolving (3 rounds):
0.02/0.08 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 10 changed sides, 10 changed coefficients
0.02/0.08 c 200 implications, 0 cliques
0.02/0.08 c presolved problem has 163 variables (163 bin, 0 int, 0 impl, 0 cont) and 73 constraints
0.02/0.08 c 73 constraints of type <knapsack>
0.02/0.08 c transformed objective value is always integral (scale: 1)
0.02/0.08 c Presolving Time: 0.05
0.02/0.08 c - non default parameters ----------------------------------------------------------------------
0.02/0.08 c # SCIP version 1.2.1.2
0.02/0.08 c
0.02/0.08 c # frequency for displaying node information lines
0.02/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.08 c display/freq = 10000
0.02/0.08 c
0.02/0.08 c # maximal time in seconds to run
0.02/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.08 c limits/time = 1799.99
0.02/0.08 c
0.02/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.08 c limits/memory = 1620
0.02/0.08 c
0.02/0.08 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.02/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.08 c lp/solvefreq = -1
0.02/0.08 c
0.02/0.08 c # should presolving try to simplify inequalities
0.02/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.08 c constraints/linear/simplifyinequalities = TRUE
0.02/0.08 c
0.02/0.08 c # should presolving try to simplify knapsacks
0.02/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.08 c
0.02/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.08 c separating/rapidlearning/freq = 0
0.02/0.08 c
0.02/0.08 c -----------------------------------------------------------------------------------------------
0.02/0.08 c start solving
0.02/0.08 c
0.02/0.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.08 c 0.1s| 1 | 2 | 0 | - |1234k| 0 | - | 163 | 73 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.37 o 18432
0.29/0.37 c * 0.3s| 1390 | 1388 | 0 | 0.0 |1649k| 136 | - | 163 | 73 | 0 | 0 | 0 | 0 | 0 | 2.048000e+03 | 1.843200e+04 | 800.00%
2.69/2.72 c 2.5s| 10000 | 9655 | 0 | 0.0 |4063k| 138 | - | 163 | 88 | 0 | 0 | 0 | 174 | 0 | 2.048000e+03 | 1.843200e+04 | 800.00%
5.49/5.57 c 5.2s| 20000 | 19178 | 0 | 0.0 |7003k| 138 | - | 163 | 86 | 0 | 0 | 0 | 400 | 0 | 2.048000e+03 | 1.843200e+04 | 800.00%
9.99/10.00 c 9.5s| 30000 | 27032 | 0 | 0.0 | 10M| 140 | - | 163 | 136 | 0 | 0 | 0 |1571 | 0 | 2.320000e+03 | 1.843200e+04 | 694.48%
14.58/14.62 c 14.0s| 40000 | 34950 | 0 | 0.0 | 13M| 140 | - | 163 | 147 | 0 | 0 | 0 |2716 | 0 | 3.072000e+03 | 1.843200e+04 | 500.00%
17.50/17.53 c 16.8s| 50000 | 44639 | 0 | 0.0 | 16M| 140 | - | 163 | 93 | 0 | 0 | 0 |2869 | 0 | 3.072000e+03 | 1.843200e+04 | 500.00%
20.49/20.59 c 19.7s| 60000 | 53820 | 0 | 0.0 | 18M| 140 | - | 163 | 86 | 0 | 0 | 0 |3302 | 0 | 3.072000e+03 | 1.843200e+04 | 500.00%
23.68/23.78 c 22.7s| 70000 | 62092 | 0 | 0.0 | 21M| 140 | - | 163 | 80 | 0 | 0 | 0 |4160 | 0 | 3.072000e+03 | 1.843200e+04 | 500.00%
26.68/26.70 c 25.5s| 80000 | 71389 | 0 | 0.0 | 24M| 140 | - | 163 | 76 | 0 | 0 | 0 |4522 | 0 | 3.072000e+03 | 1.843200e+04 | 500.00%
29.38/29.48 c 28.2s| 90000 | 81155 | 0 | 0.0 | 26M| 140 | - | 163 | 82 | 0 | 0 | 0 |4629 | 0 | 3.072000e+03 | 1.843200e+04 | 500.00%
32.19/32.27 c 30.8s|100000 | 90897 | 0 | 0.0 | 29M| 140 | - | 163 | 83 | 0 | 0 | 0 |4741 | 0 | 3.072000e+03 | 1.843200e+04 | 500.00%
34.98/35.10 c 33.5s|110000 |100566 | 0 | 0.0 | 32M| 140 | - | 163 | 80 | 0 | 0 | 0 |4894 | 0 | 3.072000e+03 | 1.843200e+04 | 500.00%
37.98/38.03 c 36.3s|120000 |110082 | 0 | 0.0 | 35M| 140 | - | 163 | 81 | 0 | 0 | 0 |5120 | 0 | 3.072000e+03 | 1.843200e+04 | 500.00%
40.88/40.96 c 39.1s|130000 |119565 | 0 | 0.0 | 38M| 140 | - | 163 | 84 | 0 | 0 | 0 |5356 | 0 | 3.072000e+03 | 1.843200e+04 | 500.00%
43.98/44.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.98/44.02 c 42.0s|140000 |128891 | 0 | 0.0 | 41M| 140 | - | 163 | 80 | 0 | 0 | 0 |5669 | 0 | 3.072000e+03 | 1.843200e+04 | 500.00%
47.18/47.28 c 45.1s|150000 |137822 | 0 | 0.0 | 43M| 140 | - | 163 | 81 | 0 | 0 | 0 |6197 | 0 | 3.072000e+03 | 1.843200e+04 | 500.00%
50.58/50.62 c 48.3s|160000 |146563 | 0 | 0.0 | 46M| 140 | - | 163 | 90 | 0 | 0 | 0 |6827 | 0 | 3.072000e+03 | 1.843200e+04 | 500.00%
53.67/53.75 c 51.3s|170000 |155728 | 0 | 0.0 | 49M| 140 | - | 163 | 80 | 0 | 0 | 0 |7230 | 0 | 3.072000e+03 | 1.843200e+04 | 500.00%
56.87/56.90 c 54.3s|180000 |164894 | 0 | 0.0 | 52M| 140 | - | 163 | 80 | 0 | 0 | 0 |7608 | 0 | 3.072000e+03 | 1.843200e+04 | 500.00%
59.77/59.83 o 17408
59.77/59.83 c *57.1s|188943 |165751 | 0 | 0.0 | 51M| 140 | - | 163 | 75 | 0 | 0 | 0 |8072 | 0 | 3.072000e+03 | 1.740800e+04 | 466.67%
60.07/60.17 c 57.4s|190000 |166639 | 0 | 0.0 | 51M| 140 | - | 163 | 77 | 0 | 0 | 0 |8149 | 0 | 3.072000e+03 | 1.740800e+04 | 466.67%
63.27/63.37 c 60.5s|200000 |175202 | 0 | 0.0 | 54M| 140 | - | 163 | 83 | 0 | 0 | 0 |8867 | 0 | 3.072000e+03 | 1.740800e+04 | 466.67%
66.57/66.65 c 63.6s|210000 |183562 | 0 | 0.0 | 57M| 140 | - | 163 | 83 | 0 | 0 | 0 |9638 | 0 | 3.072000e+03 | 1.740800e+04 | 466.67%
69.87/70.00 c 66.8s|220000 |191904 | 0 | 0.0 | 60M| 140 | - | 163 | 84 | 0 | 0 | 0 | 10k| 0 | 3.072000e+03 | 1.740800e+04 | 466.67%
73.27/73.36 c 70.0s|230000 |200193 | 0 | 0.0 | 62M| 140 | - | 163 | 79 | 0 | 0 | 0 | 11k| 0 | 3.072000e+03 | 1.740800e+04 | 466.67%
76.66/76.79 c 73.3s|240000 |208352 | 0 | 0.0 | 65M| 140 | - | 163 | 81 | 0 | 0 | 0 | 12k| 0 | 3.072000e+03 | 1.740800e+04 | 466.67%
80.28/80.34 c 76.7s|250000 |216327 | 0 | 0.0 | 68M| 140 | - | 163 | 82 | 0 | 0 | 0 | 13k| 0 | 3.072000e+03 | 1.740800e+04 | 466.67%
84.07/84.13 c 80.3s|260000 |223859 | 0 | 0.0 | 71M| 140 | - | 163 | 79 | 0 | 0 | 0 | 14k| 0 | 3.072000e+03 | 1.740800e+04 | 466.67%
87.97/88.05 c 84.1s|270000 |231175 | 0 | 0.0 | 74M| 140 | - | 163 | 83 | 0 | 0 | 0 | 15k| 0 | 3.072000e+03 | 1.740800e+04 | 466.67%
92.16/92.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.16/92.29 c 88.1s|280000 |238057 | 0 | 0.0 | 77M| 140 | - | 163 | 85 | 0 | 0 | 0 | 17k| 0 | 3.072000e+03 | 1.740800e+04 | 466.67%
97.06/97.15 c 92.8s|290000 |244620 | 0 | 0.0 | 80M| 141 | - | 163 | 87 | 0 | 0 | 0 | 19k| 0 | 3.080000e+03 | 1.740800e+04 | 465.19%
101.76/101.83 c 97.4s|300000 |251742 | 0 | 0.0 | 83M| 141 | - | 163 | 106 | 0 | 0 | 0 | 20k| 0 | 3.136000e+03 | 1.740800e+04 | 455.10%
106.57/106.64 c 102s|310000 |258901 | 0 | 0.0 | 86M| 141 | - | 163 | 81 | 0 | 0 | 0 | 22k| 0 | 3.328000e+03 | 1.740800e+04 | 423.08%
110.46/110.59 c 106s|320000 |267579 | 0 | 0.0 | 88M| 141 | - | 163 | 74 | 0 | 0 | 0 | 23k| 0 | 3.328000e+03 | 1.740800e+04 | 423.08%
115.56/115.64 c 111s|330000 |274140 | 0 | 0.0 | 91M| 141 | - | 163 | 88 | 0 | 0 | 0 | 24k| 0 | 3.360000e+03 | 1.740800e+04 | 418.10%
120.35/120.40 c 115s|340000 |281501 | 0 | 0.0 | 94M| 141 | - | 163 | 83 | 0 | 0 | 0 | 26k| 0 | 3.584000e+03 | 1.740800e+04 | 385.71%
123.55/123.67 c 118s|350000 |291276 | 0 | 0.0 | 97M| 141 | - | 163 | 75 | 0 | 0 | 0 | 26k| 0 | 3.584000e+03 | 1.740800e+04 | 385.71%
127.26/127.30 c 122s|360000 |300189 | 0 | 0.0 | 100M| 141 | - | 163 | 73 | 0 | 0 | 0 | 27k| 0 | 3.584000e+03 | 1.740800e+04 | 385.71%
131.25/131.33 c 126s|370000 |308104 | 0 | 0.0 | 103M| 141 | - | 163 | 81 | 0 | 0 | 0 | 28k| 0 | 3.584000e+03 | 1.740800e+04 | 385.71%
136.35/136.49 c 131s|380000 |314212 | 0 | 0.0 | 106M| 141 | - | 163 | 109 | 0 | 0 | 0 | 30k| 0 | 3.588000e+03 | 1.740800e+04 | 385.17%
141.65/141.75 c 136s|390000 |320453 | 0 | 0.0 | 109M| 141 | - | 163 | 163 | 0 | 0 | 0 | 32k| 0 | 3.648000e+03 | 1.740800e+04 | 377.19%
146.26/146.36 c 140s|400000 |328291 | 0 | 0.0 | 112M| 141 | - | 163 | 77 | 0 | 0 | 0 | 33k| 0 | 3.840000e+03 | 1.740800e+04 | 353.33%
150.64/150.73 c 145s|410000 |336565 | 0 | 0.0 | 115M| 141 | - | 163 | 78 | 0 | 0 | 0 | 34k| 0 | 3.840000e+03 | 1.740800e+04 | 353.33%
155.93/156.05 c 150s|420000 |342859 | 0 | 0.0 | 117M| 141 | - | 163 | 95 | 0 | 0 | 0 | 36k| 0 | 3.844000e+03 | 1.740800e+04 | 352.86%
159.34/159.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
159.34/159.49 c 153s|430000 |351912 | 0 | 0.0 | 120M| 141 | - | 163 | 77 | 0 | 0 | 0 | 37k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
162.43/162.50 c 156s|440000 |361449 | 0 | 0.0 | 123M| 141 | - | 163 | 78 | 0 | 0 | 0 | 37k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
165.53/165.64 c 159s|450000 |370818 | 0 | 0.0 | 126M| 141 | - | 163 | 77 | 0 | 0 | 0 | 37k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
168.73/168.84 c 162s|460000 |380050 | 0 | 0.0 | 129M| 141 | - | 163 | 74 | 0 | 0 | 0 | 38k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
171.93/172.04 c 165s|470000 |389292 | 0 | 0.0 | 131M| 141 | - | 163 | 73 | 0 | 0 | 0 | 38k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
175.22/175.37 c 168s|480000 |398218 | 0 | 0.0 | 134M| 141 | - | 163 | 79 | 0 | 0 | 0 | 39k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
178.62/178.70 c 171s|490000 |407108 | 0 | 0.0 | 137M| 141 | - | 163 | 79 | 0 | 0 | 0 | 39k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
181.63/181.74 c 174s|500000 |416570 | 0 | 0.0 | 140M| 141 | - | 163 | 73 | 0 | 0 | 0 | 39k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
184.64/184.73 c 177s|510000 |425931 | 0 | 0.0 | 143M| 141 | - | 163 | 74 | 0 | 0 | 0 | 40k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
187.73/187.81 c 180s|520000 |435069 | 0 | 0.0 | 145M| 141 | - | 163 | 75 | 0 | 0 | 0 | 40k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
190.62/190.77 c 183s|530000 |444464 | 0 | 0.0 | 148M| 141 | - | 163 | 75 | 0 | 0 | 0 | 40k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
193.62/193.71 c 186s|540000 |453858 | 0 | 0.0 | 151M| 141 | - | 163 | 79 | 0 | 0 | 0 | 41k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
196.62/196.74 c 189s|550000 |463152 | 0 | 0.0 | 154M| 141 | - | 163 | 73 | 0 | 0 | 0 | 41k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
199.53/199.69 c 191s|560000 |472467 | 0 | 0.0 | 156M| 141 | - | 163 | 73 | 0 | 0 | 0 | 41k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
202.43/202.52 c 194s|570000 |481914 | 0 | 0.0 | 159M| 141 | - | 163 | 77 | 0 | 0 | 0 | 42k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
205.53/205.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.53/205.66 c 197s|580000 |490976 | 0 | 0.0 | 162M| 141 | - | 163 | 77 | 0 | 0 | 0 | 42k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
208.52/208.65 c 200s|590000 |500352 | 0 | 0.0 | 164M| 141 | - | 163 | 77 | 0 | 0 | 0 | 42k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
211.52/211.63 c 203s|600000 |509608 | 0 | 0.0 | 167M| 141 | - | 163 | 76 | 0 | 0 | 0 | 43k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
214.52/214.61 c 206s|610000 |518808 | 0 | 0.0 | 170M| 141 | - | 163 | 77 | 0 | 0 | 0 | 43k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
217.62/217.73 c 209s|620000 |527851 | 0 | 0.0 | 173M| 141 | - | 163 | 73 | 0 | 0 | 0 | 43k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
220.52/220.64 c 211s|630000 |537472 | 0 | 0.0 | 175M| 141 | - | 163 | 79 | 0 | 0 | 0 | 44k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
223.42/223.57 c 214s|640000 |546871 | 0 | 0.0 | 178M| 141 | - | 163 | 92 | 0 | 0 | 0 | 44k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
226.53/226.61 c 217s|650000 |556057 | 0 | 0.0 | 181M| 141 | - | 163 | 75 | 0 | 0 | 0 | 44k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
229.52/229.69 c 220s|660000 |565044 | 0 | 0.0 | 184M| 141 | - | 163 | 87 | 0 | 0 | 0 | 45k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
232.61/232.71 c 223s|670000 |574270 | 0 | 0.0 | 186M| 141 | - | 163 | 75 | 0 | 0 | 0 | 45k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
235.51/235.66 c 226s|680000 |583639 | 0 | 0.0 | 189M| 141 | - | 163 | 76 | 0 | 0 | 0 | 45k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
238.52/238.68 c 228s|690000 |592827 | 0 | 0.0 | 192M| 141 | - | 163 | 76 | 0 | 0 | 0 | 46k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
241.51/241.69 c 231s|700000 |602071 | 0 | 0.0 | 194M| 141 | - | 163 | 75 | 0 | 0 | 0 | 46k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
244.51/244.67 c 234s|710000 |611413 | 0 | 0.0 | 197M| 141 | - | 163 | 76 | 0 | 0 | 0 | 46k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
247.61/247.75 c 237s|720000 |620442 | 0 | 0.0 | 200M| 141 | - | 163 | 76 | 0 | 0 | 0 | 47k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
250.61/250.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
250.61/250.73 c 240s|730000 |629715 | 0 | 0.0 | 203M| 141 | - | 163 | 80 | 0 | 0 | 0 | 47k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
253.61/253.76 c 243s|740000 |638872 | 0 | 0.0 | 205M| 141 | - | 163 | 73 | 0 | 0 | 0 | 47k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
256.60/256.76 c 246s|750000 |648152 | 0 | 0.0 | 208M| 141 | - | 163 | 76 | 0 | 0 | 0 | 47k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
259.61/259.72 c 249s|760000 |657399 | 0 | 0.0 | 211M| 141 | - | 163 | 74 | 0 | 0 | 0 | 48k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
262.60/262.77 c 251s|770000 |666469 | 0 | 0.0 | 213M| 141 | - | 163 | 75 | 0 | 0 | 0 | 48k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
265.60/265.77 c 254s|780000 |675591 | 0 | 0.0 | 216M| 141 | - | 163 | 79 | 0 | 0 | 0 | 48k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
268.71/268.83 c 257s|790000 |684742 | 0 | 0.0 | 219M| 141 | - | 163 | 75 | 0 | 0 | 0 | 49k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
271.70/271.89 c 260s|800000 |693786 | 0 | 0.0 | 222M| 141 | - | 163 | 76 | 0 | 0 | 0 | 49k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
274.70/274.88 c 263s|810000 |703197 | 0 | 0.0 | 224M| 141 | - | 163 | 79 | 0 | 0 | 0 | 49k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
277.80/277.93 c 266s|820000 |712310 | 0 | 0.0 | 227M| 141 | - | 163 | 83 | 0 | 0 | 0 | 50k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
280.80/280.94 c 269s|830000 |721576 | 0 | 0.0 | 230M| 141 | - | 163 | 80 | 0 | 0 | 0 | 50k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
283.80/283.99 c 272s|840000 |730886 | 0 | 0.0 | 233M| 141 | - | 163 | 81 | 0 | 0 | 0 | 50k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
286.91/287.05 c 275s|850000 |740111 | 0 | 0.0 | 235M| 141 | - | 163 | 76 | 0 | 0 | 0 | 51k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
289.99/290.16 c 278s|860000 |749101 | 0 | 0.0 | 238M| 141 | - | 163 | 77 | 0 | 0 | 0 | 51k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
293.10/293.28 c 281s|870000 |757928 | 0 | 0.0 | 241M| 141 | - | 163 | 76 | 0 | 0 | 0 | 52k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
296.19/296.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.19/296.38 c 284s|880000 |766827 | 0 | 0.0 | 244M| 141 | - | 163 | 78 | 0 | 0 | 0 | 52k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
299.20/299.38 c 286s|890000 |776114 | 0 | 0.0 | 246M| 141 | - | 163 | 75 | 0 | 0 | 0 | 53k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
302.40/302.52 c 289s|900000 |785054 | 0 | 0.0 | 249M| 141 | - | 163 | 84 | 0 | 0 | 0 | 53k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
305.49/305.65 c 292s|910000 |794053 | 0 | 0.0 | 252M| 141 | - | 163 | 85 | 0 | 0 | 0 | 53k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
308.69/308.86 c 295s|920000 |802957 | 0 | 0.0 | 255M| 141 | - | 163 | 83 | 0 | 0 | 0 | 54k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
311.99/312.15 c 299s|930000 |811809 | 0 | 0.0 | 257M| 141 | - | 163 | 83 | 0 | 0 | 0 | 55k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
315.09/315.23 c 302s|940000 |820902 | 0 | 0.0 | 260M| 141 | - | 163 | 80 | 0 | 0 | 0 | 55k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
318.09/318.29 c 304s|950000 |829908 | 0 | 0.0 | 263M| 141 | - | 163 | 81 | 0 | 0 | 0 | 55k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
321.29/321.41 c 307s|960000 |838720 | 0 | 0.0 | 266M| 141 | - | 163 | 81 | 0 | 0 | 0 | 56k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
324.30/324.45 c 310s|970000 |847909 | 0 | 0.0 | 268M| 141 | - | 163 | 82 | 0 | 0 | 0 | 56k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
327.49/327.66 c 313s|980000 |856830 | 0 | 0.0 | 271M| 141 | - | 163 | 89 | 0 | 0 | 0 | 57k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
330.90/331.03 c 317s|990000 |865503 | 0 | 0.0 | 274M| 141 | - | 163 | 73 | 0 | 0 | 0 | 57k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
334.19/334.33 c 320s| 1000k|874487 | 0 | 0.0 | 277M| 141 | - | 163 | 73 | 0 | 0 | 0 | 58k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
337.49/337.64 c 323s| 1010k|883493 | 0 | 0.0 | 279M| 141 | - | 163 | 77 | 0 | 0 | 0 | 59k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
340.69/340.88 c 326s| 1020k|892237 | 0 | 0.0 | 282M| 141 | - | 163 | 80 | 0 | 0 | 0 | 59k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
343.78/343.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
343.78/343.98 c 329s| 1030k|901330 | 0 | 0.0 | 285M| 141 | - | 163 | 76 | 0 | 0 | 0 | 60k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
346.99/347.14 c 332s| 1040k|910206 | 0 | 0.0 | 288M| 141 | - | 163 | 77 | 0 | 0 | 0 | 60k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
350.18/350.30 c 335s| 1050k|919157 | 0 | 0.0 | 290M| 141 | - | 163 | 79 | 0 | 0 | 0 | 61k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
353.28/353.40 c 338s| 1060k|928094 | 0 | 0.0 | 293M| 141 | - | 163 | 82 | 0 | 0 | 0 | 61k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
356.38/356.53 c 341s| 1070k|937042 | 0 | 0.0 | 296M| 141 | - | 163 | 75 | 0 | 0 | 0 | 62k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
359.77/359.98 c 344s| 1080k|945708 | 0 | 0.0 | 299M| 141 | - | 163 | 87 | 0 | 0 | 0 | 62k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
363.18/363.35 c 347s| 1090k|954271 | 0 | 0.0 | 301M| 141 | - | 163 | 77 | 0 | 0 | 0 | 63k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
366.38/366.54 c 350s| 1100k|963055 | 0 | 0.0 | 304M| 141 | - | 163 | 82 | 0 | 0 | 0 | 63k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
369.58/369.73 c 353s| 1110k|972047 | 0 | 0.0 | 307M| 141 | - | 163 | 80 | 0 | 0 | 0 | 64k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
372.79/372.94 c 357s| 1120k|981075 | 0 | 0.0 | 310M| 141 | - | 163 | 77 | 0 | 0 | 0 | 64k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
375.98/376.16 c 360s| 1130k|990233 | 0 | 0.0 | 312M| 141 | - | 163 | 83 | 0 | 0 | 0 | 65k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
379.07/379.29 c 363s| 1140k|999389 | 0 | 0.0 | 315M| 141 | - | 163 | 79 | 0 | 0 | 0 | 65k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
382.28/382.49 c 366s| 1150k| 1008k| 0 | 0.0 | 318M| 141 | - | 163 | 80 | 0 | 0 | 0 | 66k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
385.57/385.73 c 369s| 1160k| 1017k| 0 | 0.0 | 321M| 141 | - | 163 | 80 | 0 | 0 | 0 | 66k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
388.87/389.02 c 372s| 1170k| 1026k| 0 | 0.0 | 324M| 141 | - | 163 | 78 | 0 | 0 | 0 | 67k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
392.37/392.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.37/392.54 c 375s| 1180k| 1034k| 0 | 0.0 | 326M| 141 | - | 163 | 78 | 0 | 0 | 0 | 67k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
395.78/395.92 c 378s| 1190k| 1043k| 0 | 0.0 | 329M| 141 | - | 163 | 78 | 0 | 0 | 0 | 68k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
399.07/399.20 c 382s| 1200k| 1051k| 0 | 0.0 | 332M| 141 | - | 163 | 79 | 0 | 0 | 0 | 69k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
402.16/402.39 c 385s| 1210k| 1060k| 0 | 0.0 | 335M| 141 | - | 163 | 83 | 0 | 0 | 0 | 69k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
405.37/405.59 c 388s| 1220k| 1069k| 0 | 0.0 | 337M| 141 | - | 163 | 79 | 0 | 0 | 0 | 70k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
408.77/408.93 c 391s| 1230k| 1077k| 0 | 0.0 | 340M| 141 | - | 163 | 80 | 0 | 0 | 0 | 71k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
411.96/412.13 c 394s| 1240k| 1086k| 0 | 0.0 | 343M| 141 | - | 163 | 77 | 0 | 0 | 0 | 71k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
415.16/415.35 c 397s| 1250k| 1095k| 0 | 0.0 | 346M| 141 | - | 163 | 77 | 0 | 0 | 0 | 72k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
418.57/418.72 c 400s| 1260k| 1104k| 0 | 0.0 | 348M| 141 | - | 163 | 82 | 0 | 0 | 0 | 72k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
421.76/421.96 c 403s| 1270k| 1113k| 0 | 0.0 | 351M| 141 | - | 163 | 76 | 0 | 0 | 0 | 73k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
425.26/425.41 c 407s| 1280k| 1121k| 0 | 0.0 | 354M| 141 | - | 163 | 81 | 0 | 0 | 0 | 74k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
428.56/428.75 c 410s| 1290k| 1130k| 0 | 0.0 | 357M| 141 | - | 163 | 75 | 0 | 0 | 0 | 74k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
431.96/432.11 c 413s| 1300k| 1139k| 0 | 0.0 | 359M| 141 | - | 163 | 79 | 0 | 0 | 0 | 75k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
435.36/435.55 c 416s| 1310k| 1147k| 0 | 0.0 | 362M| 141 | - | 163 | 81 | 0 | 0 | 0 | 76k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
438.77/438.92 c 420s| 1320k| 1156k| 0 | 0.0 | 365M| 141 | - | 163 | 77 | 0 | 0 | 0 | 76k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
442.07/442.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.07/442.28 c 423s| 1330k| 1165k| 0 | 0.0 | 368M| 141 | - | 163 | 76 | 0 | 0 | 0 | 77k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
445.46/445.61 c 426s| 1340k| 1174k| 0 | 0.0 | 371M| 141 | - | 163 | 81 | 0 | 0 | 0 | 77k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
448.76/448.92 c 429s| 1350k| 1183k| 0 | 0.0 | 373M| 141 | - | 163 | 83 | 0 | 0 | 0 | 78k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
452.15/452.33 c 432s| 1360k| 1191k| 0 | 0.0 | 376M| 141 | - | 163 | 77 | 0 | 0 | 0 | 79k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
455.35/455.59 c 435s| 1370k| 1200k| 0 | 0.0 | 379M| 141 | - | 163 | 83 | 0 | 0 | 0 | 79k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
458.75/458.99 c 439s| 1380k| 1208k| 0 | 0.0 | 382M| 141 | - | 163 | 75 | 0 | 0 | 0 | 80k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
462.25/462.40 c 442s| 1390k| 1217k| 0 | 0.0 | 385M| 141 | - | 163 | 78 | 0 | 0 | 0 | 80k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
465.65/465.81 c 445s| 1400k| 1225k| 0 | 0.0 | 387M| 141 | - | 163 | 82 | 0 | 0 | 0 | 81k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
468.95/469.18 c 448s| 1410k| 1234k| 0 | 0.0 | 390M| 141 | - | 163 | 81 | 0 | 0 | 0 | 82k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
472.34/472.53 c 452s| 1420k| 1243k| 0 | 0.0 | 393M| 141 | - | 163 | 86 | 0 | 0 | 0 | 83k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
475.75/475.96 c 455s| 1430k| 1251k| 0 | 0.0 | 395M| 141 | - | 163 | 86 | 0 | 0 | 0 | 83k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
479.05/479.30 c 458s| 1440k| 1259k| 0 | 0.0 | 398M| 141 | - | 163 | 87 | 0 | 0 | 0 | 84k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
482.54/482.78 c 461s| 1450k| 1268k| 0 | 0.0 | 401M| 141 | - | 163 | 86 | 0 | 0 | 0 | 85k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
486.05/486.27 c 465s| 1460k| 1276k| 0 | 0.0 | 404M| 141 | - | 163 | 85 | 0 | 0 | 0 | 86k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
489.35/489.59 c 468s| 1470k| 1285k| 0 | 0.0 | 407M| 141 | - | 163 | 81 | 0 | 0 | 0 | 86k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
492.74/492.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
492.74/492.98 c 471s| 1480k| 1293k| 0 | 0.0 | 409M| 141 | - | 163 | 77 | 0 | 0 | 0 | 87k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
496.14/496.33 c 474s| 1490k| 1302k| 0 | 0.0 | 412M| 141 | - | 163 | 81 | 0 | 0 | 0 | 88k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
499.44/499.63 c 478s| 1500k| 1310k| 0 | 0.0 | 415M| 141 | - | 163 | 75 | 0 | 0 | 0 | 89k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
502.74/502.97 c 481s| 1510k| 1319k| 0 | 0.0 | 418M| 141 | - | 163 | 77 | 0 | 0 | 0 | 89k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
506.23/506.44 c 484s| 1520k| 1328k| 0 | 0.0 | 421M| 141 | - | 163 | 82 | 0 | 0 | 0 | 90k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
509.53/509.77 c 487s| 1530k| 1336k| 0 | 0.0 | 423M| 141 | - | 163 | 78 | 0 | 0 | 0 | 91k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
512.94/513.17 c 491s| 1540k| 1345k| 0 | 0.0 | 426M| 141 | - | 163 | 78 | 0 | 0 | 0 | 91k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
516.34/516.54 c 494s| 1550k| 1353k| 0 | 0.0 | 429M| 141 | - | 163 | 78 | 0 | 0 | 0 | 92k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
519.74/519.95 c 497s| 1560k| 1362k| 0 | 0.0 | 432M| 141 | - | 163 | 81 | 0 | 0 | 0 | 93k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
523.23/523.42 c 500s| 1570k| 1370k| 0 | 0.0 | 434M| 141 | - | 163 | 84 | 0 | 0 | 0 | 93k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
526.53/526.78 c 504s| 1580k| 1379k| 0 | 0.0 | 437M| 141 | - | 163 | 94 | 0 | 0 | 0 | 94k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
529.94/530.16 c 507s| 1590k| 1388k| 0 | 0.0 | 440M| 141 | - | 163 | 77 | 0 | 0 | 0 | 95k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
533.34/533.54 c 510s| 1600k| 1396k| 0 | 0.0 | 443M| 141 | - | 163 | 75 | 0 | 0 | 0 | 95k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
536.63/536.89 c 513s| 1610k| 1405k| 0 | 0.0 | 445M| 141 | - | 163 | 81 | 0 | 0 | 0 | 96k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
539.94/540.17 c 516s| 1620k| 1413k| 0 | 0.0 | 448M| 141 | - | 163 | 83 | 0 | 0 | 0 | 97k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
543.43/543.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.43/543.62 c 520s| 1630k| 1422k| 0 | 0.0 | 451M| 141 | - | 163 | 83 | 0 | 0 | 0 | 98k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
546.93/547.15 c 523s| 1640k| 1430k| 0 | 0.0 | 454M| 141 | - | 163 | 79 | 0 | 0 | 0 | 98k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
550.43/550.61 c 526s| 1650k| 1438k| 0 | 0.0 | 457M| 141 | - | 163 | 85 | 0 | 0 | 0 | 99k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
553.92/554.14 c 530s| 1660k| 1446k| 0 | 0.0 | 459M| 141 | - | 163 | 82 | 0 | 0 | 0 | 100k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
557.32/557.57 c 533s| 1670k| 1455k| 0 | 0.0 | 462M| 141 | - | 163 | 82 | 0 | 0 | 0 | 101k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
560.83/561.03 c 536s| 1680k| 1463k| 0 | 0.0 | 465M| 141 | - | 163 | 77 | 0 | 0 | 0 | 102k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
564.33/564.53 c 540s| 1690k| 1472k| 0 | 0.0 | 468M| 141 | - | 163 | 82 | 0 | 0 | 0 | 102k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
567.83/568.00 c 543s| 1700k| 1480k| 0 | 0.0 | 470M| 141 | - | 163 | 79 | 0 | 0 | 0 | 103k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
571.23/571.44 c 546s| 1710k| 1489k| 0 | 0.0 | 473M| 141 | - | 163 | 74 | 0 | 0 | 0 | 104k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
574.52/574.78 c 549s| 1720k| 1497k| 0 | 0.0 | 476M| 141 | - | 163 | 80 | 0 | 0 | 0 | 105k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
577.92/578.12 c 553s| 1730k| 1506k| 0 | 0.0 | 479M| 141 | - | 163 | 81 | 0 | 0 | 0 | 105k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
581.22/581.48 c 556s| 1740k| 1514k| 0 | 0.0 | 482M| 141 | - | 163 | 89 | 0 | 0 | 0 | 106k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
584.71/584.91 c 559s| 1750k| 1522k| 0 | 0.0 | 484M| 141 | - | 163 | 80 | 0 | 0 | 0 | 107k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
588.22/588.45 c 563s| 1760k| 1531k| 0 | 0.0 | 487M| 141 | - | 163 | 81 | 0 | 0 | 0 | 108k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
591.72/591.91 c 566s| 1770k| 1539k| 0 | 0.0 | 490M| 141 | - | 163 | 79 | 0 | 0 | 0 | 108k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
595.22/595.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
595.22/595.44 c 569s| 1780k| 1547k| 0 | 0.0 | 493M| 141 | - | 163 | 81 | 0 | 0 | 0 | 109k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
598.71/598.91 c 573s| 1790k| 1556k| 0 | 0.0 | 495M| 141 | - | 163 | 91 | 0 | 0 | 0 | 110k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
602.21/602.49 c 576s| 1800k| 1564k| 0 | 0.0 | 498M| 141 | - | 163 | 78 | 0 | 0 | 0 | 111k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
605.71/605.98 c 579s| 1810k| 1572k| 0 | 0.0 | 501M| 141 | - | 163 | 83 | 0 | 0 | 0 | 112k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
609.22/609.47 c 583s| 1820k| 1581k| 0 | 0.0 | 504M| 141 | - | 163 | 79 | 0 | 0 | 0 | 112k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
612.61/612.86 c 586s| 1830k| 1589k| 0 | 0.0 | 507M| 141 | - | 163 | 85 | 0 | 0 | 0 | 113k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
616.01/616.29 c 589s| 1840k| 1597k| 0 | 0.0 | 510M| 141 | - | 163 | 81 | 0 | 0 | 0 | 114k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
619.51/619.72 c 592s| 1850k| 1606k| 0 | 0.0 | 512M| 141 | - | 163 | 85 | 0 | 0 | 0 | 115k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
623.00/623.20 c 596s| 1860k| 1614k| 0 | 0.0 | 515M| 141 | - | 163 | 83 | 0 | 0 | 0 | 116k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
626.30/626.59 c 599s| 1870k| 1622k| 0 | 0.0 | 518M| 141 | - | 163 | 81 | 0 | 0 | 0 | 116k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
629.91/630.18 c 603s| 1880k| 1631k| 0 | 0.0 | 521M| 141 | - | 163 | 82 | 0 | 0 | 0 | 117k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
633.50/633.70 c 606s| 1890k| 1639k| 0 | 0.0 | 524M| 141 | - | 163 | 84 | 0 | 0 | 0 | 118k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
637.00/637.28 c 609s| 1900k| 1647k| 0 | 0.0 | 526M| 141 | - | 163 | 88 | 0 | 0 | 0 | 119k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
640.60/640.88 c 613s| 1910k| 1655k| 0 | 0.0 | 529M| 141 | - | 163 | 78 | 0 | 0 | 0 | 120k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
644.20/644.49 c 616s| 1920k| 1663k| 0 | 0.0 | 532M| 141 | - | 163 | 81 | 0 | 0 | 0 | 121k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
647.90/648.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
647.90/648.11 c 620s| 1930k| 1672k| 0 | 0.0 | 535M| 141 | - | 163 | 76 | 0 | 0 | 0 | 122k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
651.40/651.69 c 623s| 1940k| 1680k| 0 | 0.0 | 538M| 141 | - | 163 | 77 | 0 | 0 | 0 | 123k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
655.00/655.24 c 627s| 1950k| 1688k| 0 | 0.0 | 540M| 141 | - | 163 | 77 | 0 | 0 | 0 | 124k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
658.49/658.73 c 630s| 1960k| 1696k| 0 | 0.0 | 543M| 141 | - | 163 | 81 | 0 | 0 | 0 | 124k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
662.00/662.24 c 633s| 1970k| 1705k| 0 | 0.0 | 546M| 141 | - | 163 | 81 | 0 | 0 | 0 | 125k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
665.49/665.70 c 636s| 1980k| 1713k| 0 | 0.0 | 549M| 141 | - | 163 | 79 | 0 | 0 | 0 | 126k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
668.89/669.15 c 640s| 1990k| 1721k| 0 | 0.0 | 552M| 141 | - | 163 | 77 | 0 | 0 | 0 | 127k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
672.40/672.64 c 643s| 2000k| 1730k| 0 | 0.0 | 554M| 141 | - | 163 | 78 | 0 | 0 | 0 | 128k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
676.00/676.29 c 647s| 2010k| 1738k| 0 | 0.0 | 557M| 141 | - | 163 | 80 | 0 | 0 | 0 | 129k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
679.69/679.97 c 650s| 2020k| 1745k| 0 | 0.0 | 560M| 141 | - | 163 | 90 | 0 | 0 | 0 | 130k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
683.29/683.52 c 654s| 2030k| 1754k| 0 | 0.0 | 563M| 141 | - | 163 | 80 | 0 | 0 | 0 | 131k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
687.09/687.32 c 657s| 2040k| 1761k| 0 | 0.0 | 565M| 141 | - | 163 | 80 | 0 | 0 | 0 | 132k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
690.79/691.01 c 661s| 2050k| 1770k| 0 | 0.0 | 568M| 141 | - | 163 | 81 | 0 | 0 | 0 | 133k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
694.49/694.75 c 664s| 2060k| 1778k| 0 | 0.0 | 571M| 141 | - | 163 | 80 | 0 | 0 | 0 | 134k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
698.09/698.36 c 668s| 2070k| 1786k| 0 | 0.0 | 574M| 141 | - | 163 | 80 | 0 | 0 | 0 | 135k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
701.79/702.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.79/702.00 c 671s| 2080k| 1794k| 0 | 0.0 | 577M| 141 | - | 163 | 84 | 0 | 0 | 0 | 135k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
705.28/705.59 c 675s| 2090k| 1802k| 0 | 0.0 | 580M| 141 | - | 163 | 76 | 0 | 0 | 0 | 136k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
708.89/709.16 c 678s| 2100k| 1810k| 0 | 0.0 | 582M| 141 | - | 163 | 83 | 0 | 0 | 0 | 137k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
712.49/712.78 c 682s| 2110k| 1818k| 0 | 0.0 | 585M| 141 | - | 163 | 84 | 0 | 0 | 0 | 138k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
716.18/716.48 c 685s| 2120k| 1826k| 0 | 0.0 | 588M| 141 | - | 163 | 81 | 0 | 0 | 0 | 139k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
719.98/720.23 c 689s| 2130k| 1833k| 0 | 0.0 | 591M| 141 | - | 163 | 84 | 0 | 0 | 0 | 141k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
723.68/723.95 c 692s| 2140k| 1841k| 0 | 0.0 | 594M| 141 | - | 163 | 87 | 0 | 0 | 0 | 142k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
727.48/727.74 c 696s| 2150k| 1849k| 0 | 0.0 | 596M| 141 | - | 163 | 80 | 0 | 0 | 0 | 143k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
731.29/731.56 c 700s| 2160k| 1857k| 0 | 0.0 | 599M| 141 | - | 163 | 85 | 0 | 0 | 0 | 144k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
734.97/735.29 c 703s| 2170k| 1865k| 0 | 0.0 | 602M| 141 | - | 163 | 80 | 0 | 0 | 0 | 145k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
738.78/739.00 c 707s| 2180k| 1873k| 0 | 0.0 | 605M| 141 | - | 163 | 80 | 0 | 0 | 0 | 146k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
742.38/742.67 c 710s| 2190k| 1881k| 0 | 0.0 | 608M| 141 | - | 163 | 83 | 0 | 0 | 0 | 147k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
746.08/746.34 c 714s| 2200k| 1889k| 0 | 0.0 | 611M| 141 | - | 163 | 88 | 0 | 0 | 0 | 148k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
749.77/750.03 c 717s| 2210k| 1897k| 0 | 0.0 | 613M| 141 | - | 163 | 82 | 0 | 0 | 0 | 149k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
753.57/753.82 c 721s| 2220k| 1905k| 0 | 0.0 | 616M| 141 | - | 163 | 89 | 0 | 0 | 0 | 150k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
757.37/757.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
757.37/757.61 c 724s| 2230k| 1912k| 0 | 0.0 | 619M| 141 | - | 163 | 90 | 0 | 0 | 0 | 151k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
761.27/761.58 c 728s| 2240k| 1920k| 0 | 0.0 | 622M| 141 | - | 163 | 78 | 0 | 0 | 0 | 152k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
765.28/765.55 c 732s| 2250k| 1927k| 0 | 0.0 | 625M| 141 | - | 163 | 80 | 0 | 0 | 0 | 154k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
769.27/769.55 c 736s| 2260k| 1935k| 0 | 0.0 | 627M| 141 | - | 163 | 83 | 0 | 0 | 0 | 155k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
773.17/773.45 c 740s| 2270k| 1942k| 0 | 0.0 | 630M| 141 | - | 163 | 82 | 0 | 0 | 0 | 156k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
777.06/777.36 c 743s| 2280k| 1950k| 0 | 0.0 | 633M| 141 | - | 163 | 89 | 0 | 0 | 0 | 157k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
780.86/781.19 c 747s| 2290k| 1957k| 0 | 0.0 | 636M| 141 | - | 163 | 83 | 0 | 0 | 0 | 158k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
784.76/785.08 c 751s| 2300k| 1965k| 0 | 0.0 | 639M| 141 | - | 163 | 82 | 0 | 0 | 0 | 160k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
788.87/789.11 c 755s| 2310k| 1972k| 0 | 0.0 | 642M| 141 | - | 163 | 78 | 0 | 0 | 0 | 161k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
793.06/793.32 c 759s| 2320k| 1979k| 0 | 0.0 | 644M| 141 | - | 163 | 79 | 0 | 0 | 0 | 162k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
797.17/797.41 c 763s| 2330k| 1987k| 0 | 0.0 | 647M| 141 | - | 163 | 99 | 0 | 0 | 0 | 164k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
801.15/801.40 c 766s| 2340k| 1994k| 0 | 0.0 | 650M| 141 | - | 163 | 86 | 0 | 0 | 0 | 165k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
805.15/805.42 c 770s| 2350k| 2002k| 0 | 0.0 | 653M| 141 | - | 163 | 78 | 0 | 0 | 0 | 166k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
809.05/809.34 c 774s| 2360k| 2009k| 0 | 0.0 | 656M| 141 | - | 163 | 76 | 0 | 0 | 0 | 168k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
813.25/813.56 c 778s| 2370k| 2016k| 0 | 0.0 | 658M| 141 | - | 163 | 84 | 0 | 0 | 0 | 169k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
817.56/817.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.56/817.83 c 782s| 2380k| 2023k| 0 | 0.0 | 661M| 141 | - | 163 | 83 | 0 | 0 | 0 | 171k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
821.76/822.08 c 786s| 2390k| 2031k| 0 | 0.0 | 664M| 141 | - | 163 | 85 | 0 | 0 | 0 | 172k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
825.86/826.16 c 790s| 2400k| 2038k| 0 | 0.0 | 667M| 141 | - | 163 | 79 | 0 | 0 | 0 | 173k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
829.95/830.24 c 794s| 2410k| 2045k| 0 | 0.0 | 670M| 141 | - | 163 | 81 | 0 | 0 | 0 | 175k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
834.15/834.42 c 798s| 2420k| 2052k| 0 | 0.0 | 673M| 141 | - | 163 | 81 | 0 | 0 | 0 | 176k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
838.45/838.75 c 802s| 2430k| 2059k| 0 | 0.0 | 676M| 141 | - | 163 | 83 | 0 | 0 | 0 | 178k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
842.75/843.06 c 806s| 2440k| 2066k| 0 | 0.0 | 678M| 141 | - | 163 | 81 | 0 | 0 | 0 | 179k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
847.05/847.31 c 811s| 2450k| 2073k| 0 | 0.0 | 681M| 141 | - | 163 | 79 | 0 | 0 | 0 | 181k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
851.34/851.60 c 815s| 2460k| 2080k| 0 | 0.0 | 684M| 141 | - | 163 | 83 | 0 | 0 | 0 | 183k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
855.75/856.05 c 819s| 2470k| 2087k| 0 | 0.0 | 687M| 141 | - | 163 | 79 | 0 | 0 | 0 | 184k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
860.15/860.44 c 823s| 2480k| 2093k| 0 | 0.0 | 690M| 141 | - | 163 | 80 | 0 | 0 | 0 | 186k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
864.44/864.74 c 827s| 2490k| 2100k| 0 | 0.0 | 693M| 141 | - | 163 | 81 | 0 | 0 | 0 | 188k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
868.94/869.26 c 832s| 2500k| 2107k| 0 | 0.0 | 695M| 141 | - | 163 | 82 | 0 | 0 | 0 | 189k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
873.54/873.81 c 836s| 2510k| 2114k| 0 | 0.0 | 698M| 141 | - | 163 | 73 | 0 | 0 | 0 | 191k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
878.13/878.40 c 840s| 2520k| 2120k| 0 | 0.0 | 701M| 141 | - | 163 | 89 | 0 | 0 | 0 | 193k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
882.74/883.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
882.74/883.02 c 845s| 2530k| 2127k| 0 | 0.0 | 704M| 141 | - | 163 | 80 | 0 | 0 | 0 | 194k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
887.34/887.63 c 849s| 2540k| 2133k| 0 | 0.0 | 707M| 141 | - | 163 | 92 | 0 | 0 | 0 | 196k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
892.43/892.71 c 854s| 2550k| 2139k| 0 | 0.0 | 710M| 146 | - | 163 | 76 | 0 | 0 | 0 | 198k| 0 | 4.096000e+03 | 1.740800e+04 | 325.00%
896.94/897.26 c 859s| 2560k| 2147k| 0 | 0.0 | 713M| 146 | - | 163 | 84 | 0 | 0 | 0 | 199k| 0 | 4.100000e+03 | 1.740800e+04 | 324.59%
902.23/902.54 c 864s| 2570k| 2153k| 0 | 0.0 | 716M| 146 | - | 163 | 138 | 0 | 0 | 0 | 201k| 0 | 4.108000e+03 | 1.740800e+04 | 323.76%
906.82/907.17 c 868s| 2580k| 2159k| 0 | 0.0 | 718M| 146 | - | 163 | 140 | 0 | 0 | 0 | 203k| 0 | 4.128000e+03 | 1.740800e+04 | 321.71%
911.82/912.17 c 873s| 2590k| 2165k| 0 | 0.0 | 721M| 146 | - | 163 | 174 | 0 | 0 | 0 | 205k| 0 | 4.128000e+03 | 1.740800e+04 | 321.71%
917.13/917.46 c 878s| 2600k| 2170k| 0 | 0.0 | 723M| 146 | - | 163 | 138 | 0 | 0 | 0 | 208k| 0 | 4.160000e+03 | 1.740800e+04 | 318.46%
922.63/922.96 c 883s| 2610k| 2175k| 0 | 0.0 | 726M| 146 | - | 163 | 154 | 0 | 0 | 0 | 210k| 0 | 4.160000e+03 | 1.740800e+04 | 318.46%
928.52/928.88 c 889s| 2620k| 2180k| 0 | 0.0 | 729M| 146 | - | 163 | 119 | 0 | 0 | 0 | 213k| 0 | 4.160000e+03 | 1.740800e+04 | 318.46%
934.42/934.75 c 895s| 2630k| 2186k| 0 | 0.0 | 732M| 146 | - | 163 | 90 | 0 | 0 | 0 | 215k| 0 | 4.224000e+03 | 1.740800e+04 | 312.12%
940.41/940.73 c 901s| 2640k| 2192k| 0 | 0.0 | 734M| 146 | - | 163 | 147 | 0 | 0 | 0 | 218k| 0 | 4.224000e+03 | 1.740800e+04 | 312.12%
946.41/946.80 c 907s| 2650k| 2196k| 0 | 0.0 | 737M| 146 | - | 163 | 104 | 0 | 0 | 0 | 221k| 0 | 4.352000e+03 | 1.740800e+04 | 300.00%
950.01/950.34 c 910s| 2660k| 2206k| 0 | 0.0 | 740M| 146 | - | 163 | 81 | 0 | 0 | 0 | 221k| 0 | 4.352000e+03 | 1.740800e+04 | 300.00%
953.80/954.17 c 914s| 2670k| 2214k| 0 | 0.0 | 743M| 146 | - | 163 | 85 | 0 | 0 | 0 | 222k| 0 | 4.352000e+03 | 1.740800e+04 | 300.00%
958.01/958.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
958.01/958.35 c 918s| 2680k| 2222k| 0 | 0.0 | 745M| 146 | - | 163 | 78 | 0 | 0 | 0 | 224k| 0 | 4.352000e+03 | 1.740800e+04 | 300.00%
962.22/962.55 c 922s| 2690k| 2230k| 0 | 0.0 | 748M| 146 | - | 163 | 78 | 0 | 0 | 0 | 225k| 0 | 4.352000e+03 | 1.740800e+04 | 300.00%
966.30/966.62 c 926s| 2700k| 2238k| 0 | 0.0 | 751M| 146 | - | 163 | 83 | 0 | 0 | 0 | 226k| 0 | 4.352000e+03 | 1.740800e+04 | 300.00%
970.51/970.82 c 930s| 2710k| 2245k| 0 | 0.0 | 754M| 146 | - | 163 | 79 | 0 | 0 | 0 | 227k| 0 | 4.352000e+03 | 1.740800e+04 | 300.00%
974.80/975.12 c 934s| 2720k| 2253k| 0 | 0.0 | 757M| 146 | - | 163 | 75 | 0 | 0 | 0 | 228k| 0 | 4.352000e+03 | 1.740800e+04 | 300.00%
979.40/979.73 c 938s| 2730k| 2260k| 0 | 0.0 | 760M| 146 | - | 163 | 78 | 0 | 0 | 0 | 229k| 0 | 4.352000e+03 | 1.740800e+04 | 300.00%
984.00/984.30 c 943s| 2740k| 2268k| 0 | 0.0 | 763M| 146 | - | 163 | 77 | 0 | 0 | 0 | 231k| 0 | 4.352000e+03 | 1.740800e+04 | 300.00%
988.80/989.13 c 947s| 2750k| 2275k| 0 | 0.0 | 765M| 146 | - | 163 | 77 | 0 | 0 | 0 | 233k| 0 | 4.352000e+03 | 1.740800e+04 | 300.00%
993.90/994.21 c 952s| 2760k| 2282k| 0 | 0.0 | 768M| 146 | - | 163 | 82 | 0 | 0 | 0 | 234k| 0 | 4.352000e+03 | 1.740800e+04 | 300.00%
999.20/999.50 c 957s| 2770k| 2288k| 0 | 0.0 | 771M| 146 | - | 163 | 85 | 0 | 0 | 0 | 236k| 0 | 4.352000e+03 | 1.740800e+04 | 300.00%
1004.79/1005.12 c 963s| 2780k| 2294k| 0 | 0.0 | 774M| 146 | - | 163 | 106 | 0 | 0 | 0 | 238k| 0 | 4.352000e+03 | 1.740800e+04 | 300.00%
1011.00/1011.30 c 969s| 2790k| 2299k| 0 | 0.0 | 777M| 146 | - | 163 | 125 | 0 | 0 | 0 | 241k| 0 | 4.352000e+03 | 1.740800e+04 | 300.00%
1017.10/1017.49 c 975s| 2800k| 2304k| 0 | 0.0 | 780M| 146 | - | 163 | 93 | 0 | 0 | 0 | 244k| 0 | 4.384000e+03 | 1.740800e+04 | 297.08%
1023.09/1023.44 c 980s| 2810k| 2309k| 0 | 0.0 | 782M| 146 | - | 163 | 115 | 0 | 0 | 0 | 247k| 0 | 4.416000e+03 | 1.740800e+04 | 294.20%
1029.09/1029.45 c 986s| 2820k| 2314k| 0 | 0.0 | 785M| 146 | - | 163 | 103 | 0 | 0 | 0 | 250k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1032.18/1032.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.18/1032.53 c 989s| 2830k| 2324k| 0 | 0.0 | 788M| 146 | - | 163 | 84 | 0 | 0 | 0 | 250k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1035.39/1035.72 c 992s| 2840k| 2333k| 0 | 0.0 | 791M| 146 | - | 163 | 84 | 0 | 0 | 0 | 250k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1038.68/1039.08 c 996s| 2850k| 2342k| 0 | 0.0 | 793M| 146 | - | 163 | 91 | 0 | 0 | 0 | 251k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1042.09/1042.43 c 999s| 2860k| 2351k| 0 | 0.0 | 796M| 146 | - | 163 | 86 | 0 | 0 | 0 | 251k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1045.48/1045.83 c 1002s| 2870k| 2360k| 0 | 0.0 | 799M| 146 | - | 163 | 77 | 0 | 0 | 0 | 252k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1048.99/1049.34 c 1005s| 2880k| 2369k| 0 | 0.0 | 801M| 146 | - | 163 | 94 | 0 | 0 | 0 | 253k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1052.58/1052.90 c 1009s| 2890k| 2377k| 0 | 0.0 | 804M| 146 | - | 163 | 94 | 0 | 0 | 0 | 253k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1056.18/1056.55 c 1012s| 2900k| 2386k| 0 | 0.0 | 807M| 146 | - | 163 | 83 | 0 | 0 | 0 | 254k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1059.88/1060.26 c 1016s| 2910k| 2394k| 0 | 0.0 | 810M| 146 | - | 163 | 88 | 0 | 0 | 0 | 255k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1063.78/1064.16 c 1020s| 2920k| 2402k| 0 | 0.0 | 812M| 146 | - | 163 | 76 | 0 | 0 | 0 | 256k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1067.47/1067.82 c 1023s| 2930k| 2411k| 0 | 0.0 | 815M| 146 | - | 163 | 75 | 0 | 0 | 0 | 257k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1071.08/1071.48 c 1027s| 2940k| 2420k| 0 | 0.0 | 818M| 146 | - | 163 | 93 | 0 | 0 | 0 | 257k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1074.97/1075.31 c 1030s| 2950k| 2428k| 0 | 0.0 | 821M| 146 | - | 163 | 83 | 0 | 0 | 0 | 258k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1078.68/1079.08 c 1034s| 2960k| 2437k| 0 | 0.0 | 824M| 146 | - | 163 | 79 | 0 | 0 | 0 | 259k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1082.68/1083.04 c 1038s| 2970k| 2444k| 0 | 0.0 | 827M| 146 | - | 163 | 89 | 0 | 0 | 0 | 260k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1086.48/1086.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.48/1086.89 c 1041s| 2980k| 2453k| 0 | 0.0 | 829M| 146 | - | 163 | 83 | 0 | 0 | 0 | 261k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1090.48/1090.81 c 1045s| 2990k| 2461k| 0 | 0.0 | 832M| 146 | - | 163 | 76 | 0 | 0 | 0 | 262k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1094.67/1095.00 c 1049s| 3000k| 2468k| 0 | 0.0 | 835M| 146 | - | 163 | 84 | 0 | 0 | 0 | 263k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1098.58/1098.93 c 1053s| 3010k| 2476k| 0 | 0.0 | 838M| 146 | - | 163 | 75 | 0 | 0 | 0 | 264k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1102.67/1103.06 c 1057s| 3020k| 2484k| 0 | 0.0 | 840M| 146 | - | 163 | 89 | 0 | 0 | 0 | 266k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1106.67/1107.02 c 1061s| 3030k| 2492k| 0 | 0.0 | 843M| 146 | - | 163 | 76 | 0 | 0 | 0 | 267k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1110.87/1111.24 c 1065s| 3040k| 2499k| 0 | 0.0 | 846M| 146 | - | 163 | 87 | 0 | 0 | 0 | 268k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1114.86/1115.27 c 1069s| 3050k| 2507k| 0 | 0.0 | 848M| 146 | - | 163 | 79 | 0 | 0 | 0 | 269k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1119.06/1119.48 c 1073s| 3060k| 2514k| 0 | 0.0 | 851M| 146 | - | 163 | 94 | 0 | 0 | 0 | 271k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1123.16/1123.54 c 1077s| 3070k| 2522k| 0 | 0.0 | 854M| 146 | - | 163 | 77 | 0 | 0 | 0 | 272k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1127.36/1127.73 c 1081s| 3080k| 2529k| 0 | 0.0 | 857M| 146 | - | 163 | 91 | 0 | 0 | 0 | 273k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1131.56/1131.91 c 1085s| 3090k| 2537k| 0 | 0.0 | 859M| 146 | - | 163 | 81 | 0 | 0 | 0 | 275k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1135.76/1136.12 c 1089s| 3100k| 2544k| 0 | 0.0 | 862M| 146 | - | 163 | 89 | 0 | 0 | 0 | 276k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1140.06/1140.45 c 1093s| 3110k| 2552k| 0 | 0.0 | 865M| 146 | - | 163 | 78 | 0 | 0 | 0 | 277k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1144.35/1144.76 c 1097s| 3120k| 2559k| 0 | 0.0 | 868M| 146 | - | 163 | 77 | 0 | 0 | 0 | 279k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1148.75/1149.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1148.75/1149.18 c 1101s| 3130k| 2566k| 0 | 0.0 | 870M| 146 | - | 163 | 87 | 0 | 0 | 0 | 281k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1153.25/1153.64 c 1106s| 3140k| 2573k| 0 | 0.0 | 873M| 146 | - | 163 | 81 | 0 | 0 | 0 | 282k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1157.76/1158.13 c 1110s| 3150k| 2580k| 0 | 0.0 | 876M| 146 | - | 163 | 83 | 0 | 0 | 0 | 284k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1162.36/1162.73 c 1114s| 3160k| 2586k| 0 | 0.0 | 879M| 146 | - | 163 | 78 | 0 | 0 | 0 | 286k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1166.95/1167.39 c 1119s| 3170k| 2593k| 0 | 0.0 | 881M| 146 | - | 163 | 75 | 0 | 0 | 0 | 287k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1171.75/1172.18 c 1124s| 3180k| 2600k| 0 | 0.0 | 884M| 146 | - | 163 | 85 | 0 | 0 | 0 | 289k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1176.75/1177.15 c 1128s| 3190k| 2606k| 0 | 0.0 | 887M| 146 | - | 163 | 84 | 0 | 0 | 0 | 291k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1181.94/1182.37 c 1133s| 3200k| 2612k| 0 | 0.0 | 890M| 146 | - | 163 | 104 | 0 | 0 | 0 | 294k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1187.65/1188.02 c 1139s| 3210k| 2617k| 0 | 0.0 | 892M| 146 | - | 163 | 111 | 0 | 0 | 0 | 296k| 0 | 4.608000e+03 | 1.740800e+04 | 277.78%
1193.64/1194.05 c 1145s| 3220k| 2622k| 0 | 0.0 | 895M| 146 | - | 163 | 82 | 0 | 0 | 0 | 299k| 0 | 4.640000e+03 | 1.740800e+04 | 275.17%
1198.84/1199.23 c 1150s| 3230k| 2628k| 0 | 0.0 | 898M| 146 | - | 163 | 79 | 0 | 0 | 0 | 301k| 0 | 4.640000e+03 | 1.740800e+04 | 275.17%
1204.74/1205.13 c 1156s| 3240k| 2633k| 0 | 0.0 | 900M| 146 | - | 163 | 106 | 0 | 0 | 0 | 304k| 0 | 4.672000e+03 | 1.740800e+04 | 272.60%
1210.54/1210.99 c 1161s| 3250k| 2638k| 0 | 0.0 | 903M| 146 | - | 163 | 142 | 0 | 0 | 0 | 307k| 0 | 4.672000e+03 | 1.740800e+04 | 272.60%
1216.83/1217.26 c 1167s| 3260k| 2642k| 0 | 0.0 | 906M| 146 | - | 163 | 206 | 0 | 0 | 0 | 310k| 0 | 4.672000e+03 | 1.740800e+04 | 272.60%
1222.34/1222.74 c 1173s| 3270k| 2648k| 0 | 0.0 | 909M| 146 | - | 163 | 86 | 0 | 0 | 0 | 312k| 0 | 4.768000e+03 | 1.740800e+04 | 265.10%
1226.54/1226.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1226.54/1226.96 c 1177s| 3280k| 2656k| 0 | 0.0 | 911M| 146 | - | 163 | 102 | 0 | 0 | 0 | 313k| 0 | 4.864000e+03 | 1.740800e+04 | 257.89%
1230.63/1231.08 c 1181s| 3290k| 2664k| 0 | 0.0 | 914M| 146 | - | 163 | 98 | 0 | 0 | 0 | 314k| 0 | 4.864000e+03 | 1.740800e+04 | 257.89%
1234.94/1235.35 c 1185s| 3300k| 2672k| 0 | 0.0 | 917M| 146 | - | 163 | 84 | 0 | 0 | 0 | 316k| 0 | 4.864000e+03 | 1.740800e+04 | 257.89%
1239.43/1239.80 c 1189s| 3310k| 2680k| 0 | 0.0 | 920M| 146 | - | 163 | 88 | 0 | 0 | 0 | 317k| 0 | 4.864000e+03 | 1.740800e+04 | 257.89%
1243.83/1244.27 c 1193s| 3320k| 2687k| 0 | 0.0 | 923M| 146 | - | 163 | 87 | 0 | 0 | 0 | 318k| 0 | 4.864000e+03 | 1.740800e+04 | 257.89%
1248.52/1248.94 c 1198s| 3330k| 2694k| 0 | 0.0 | 926M| 146 | - | 163 | 79 | 0 | 0 | 0 | 320k| 0 | 4.864000e+03 | 1.740800e+04 | 257.89%
1253.23/1253.63 c 1202s| 3340k| 2701k| 0 | 0.0 | 929M| 146 | - | 163 | 77 | 0 | 0 | 0 | 321k| 0 | 4.864000e+03 | 1.740800e+04 | 257.89%
1258.03/1258.41 c 1207s| 3350k| 2708k| 0 | 0.0 | 932M| 146 | - | 163 | 75 | 0 | 0 | 0 | 323k| 0 | 4.864000e+03 | 1.740800e+04 | 257.89%
1262.83/1263.25 c 1212s| 3360k| 2715k| 0 | 0.0 | 935M| 146 | - | 163 | 77 | 0 | 0 | 0 | 325k| 0 | 4.864000e+03 | 1.740800e+04 | 257.89%
1267.83/1268.28 c 1217s| 3370k| 2722k| 0 | 0.0 | 938M| 146 | - | 163 | 77 | 0 | 0 | 0 | 327k| 0 | 4.864000e+03 | 1.740800e+04 | 257.89%
1273.12/1273.54 c 1222s| 3380k| 2728k| 0 | 0.0 | 940M| 146 | - | 163 | 78 | 0 | 0 | 0 | 329k| 0 | 4.864000e+03 | 1.740800e+04 | 257.89%
1278.92/1279.31 c 1227s| 3390k| 2734k| 0 | 0.0 | 943M| 146 | - | 163 | 93 | 0 | 0 | 0 | 331k| 0 | 4.868000e+03 | 1.740800e+04 | 257.60%
1283.82/1284.21 c 1232s| 3400k| 2741k| 0 | 0.0 | 946M| 146 | - | 163 | 94 | 0 | 0 | 0 | 333k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1286.92/1287.36 c 1235s| 3410k| 2751k| 0 | 0.0 | 949M| 146 | - | 163 | 78 | 0 | 0 | 0 | 333k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1290.01/1290.47 c 1238s| 3420k| 2760k| 0 | 0.0 | 952M| 146 | - | 163 | 74 | 0 | 0 | 0 | 333k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1293.23/1293.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1293.23/1293.62 c 1241s| 3430k| 2769k| 0 | 0.0 | 954M| 146 | - | 163 | 74 | 0 | 0 | 0 | 333k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1296.21/1296.62 c 1244s| 3440k| 2779k| 0 | 0.0 | 957M| 146 | - | 163 | 73 | 0 | 0 | 0 | 333k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1299.21/1299.68 c 1247s| 3450k| 2788k| 0 | 0.0 | 960M| 146 | - | 163 | 73 | 0 | 0 | 0 | 334k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1302.21/1302.69 c 1250s| 3460k| 2798k| 0 | 0.0 | 962M| 146 | - | 163 | 74 | 0 | 0 | 0 | 334k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1305.41/1305.86 c 1253s| 3470k| 2807k| 0 | 0.0 | 965M| 146 | - | 163 | 73 | 0 | 0 | 0 | 334k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1308.52/1308.98 c 1256s| 3480k| 2817k| 0 | 0.0 | 968M| 146 | - | 163 | 76 | 0 | 0 | 0 | 334k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1311.71/1312.18 c 1259s| 3490k| 2826k| 0 | 0.0 | 970M| 146 | - | 163 | 74 | 0 | 0 | 0 | 335k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1315.01/1315.40 c 1262s| 3500k| 2835k| 0 | 0.0 | 973M| 146 | - | 163 | 77 | 0 | 0 | 0 | 335k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1318.10/1318.59 c 1265s| 3510k| 2844k| 0 | 0.0 | 976M| 146 | - | 163 | 74 | 0 | 0 | 0 | 335k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1321.30/1321.71 c 1268s| 3520k| 2853k| 0 | 0.0 | 978M| 146 | - | 163 | 73 | 0 | 0 | 0 | 336k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1324.31/1324.78 c 1271s| 3530k| 2862k| 0 | 0.0 | 981M| 146 | - | 163 | 75 | 0 | 0 | 0 | 336k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1327.51/1327.96 c 1274s| 3540k| 2872k| 0 | 0.0 | 984M| 146 | - | 163 | 73 | 0 | 0 | 0 | 336k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1330.70/1331.14 c 1277s| 3550k| 2881k| 0 | 0.0 | 986M| 146 | - | 163 | 73 | 0 | 0 | 0 | 337k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1333.81/1334.22 c 1280s| 3560k| 2890k| 0 | 0.0 | 989M| 146 | - | 163 | 74 | 0 | 0 | 0 | 337k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1336.91/1337.33 c 1283s| 3570k| 2899k| 0 | 0.0 | 992M| 146 | - | 163 | 75 | 0 | 0 | 0 | 337k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1340.00/1340.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1340.00/1340.42 c 1286s| 3580k| 2909k| 0 | 0.0 | 995M| 146 | - | 163 | 73 | 0 | 0 | 0 | 337k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1343.20/1343.62 c 1289s| 3590k| 2918k| 0 | 0.0 | 997M| 146 | - | 163 | 80 | 0 | 0 | 0 | 338k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1346.30/1346.76 c 1292s| 3600k| 2927k| 0 | 0.0 |1000M| 146 | - | 163 | 73 | 0 | 0 | 0 | 338k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1349.50/1349.91 c 1295s| 3610k| 2936k| 0 | 0.0 |1003M| 146 | - | 163 | 74 | 0 | 0 | 0 | 338k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1352.70/1353.12 c 1298s| 3620k| 2946k| 0 | 0.0 |1005M| 146 | - | 163 | 82 | 0 | 0 | 0 | 339k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1355.81/1356.30 c 1301s| 3630k| 2955k| 0 | 0.0 |1008M| 146 | - | 163 | 73 | 0 | 0 | 0 | 339k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1358.99/1359.47 c 1304s| 3640k| 2964k| 0 | 0.0 |1011M| 146 | - | 163 | 77 | 0 | 0 | 0 | 339k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1362.10/1362.59 c 1307s| 3650k| 2973k| 0 | 0.0 |1013M| 146 | - | 163 | 75 | 0 | 0 | 0 | 340k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1365.30/1365.72 c 1310s| 3660k| 2982k| 0 | 0.0 |1016M| 146 | - | 163 | 75 | 0 | 0 | 0 | 340k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1368.50/1368.93 c 1313s| 3670k| 2991k| 0 | 0.0 |1019M| 146 | - | 163 | 74 | 0 | 0 | 0 | 340k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1371.59/1372.07 c 1316s| 3680k| 3000k| 0 | 0.0 |1021M| 146 | - | 163 | 73 | 0 | 0 | 0 | 341k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1374.61/1375.09 c 1319s| 3690k| 3010k| 0 | 0.0 |1024M| 146 | - | 163 | 77 | 0 | 0 | 0 | 341k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1377.80/1378.22 c 1322s| 3700k| 3019k| 0 | 0.0 |1027M| 146 | - | 163 | 73 | 0 | 0 | 0 | 341k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1380.99/1381.45 c 1325s| 3710k| 3028k| 0 | 0.0 |1029M| 146 | - | 163 | 74 | 0 | 0 | 0 | 341k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1384.19/1384.65 c 1328s| 3720k| 3037k| 0 | 0.0 |1032M| 146 | - | 163 | 79 | 0 | 0 | 0 | 342k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1387.39/1387.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1387.39/1387.82 c 1331s| 3730k| 3047k| 0 | 0.0 |1035M| 146 | - | 163 | 74 | 0 | 0 | 0 | 342k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1390.49/1390.97 c 1334s| 3740k| 3056k| 0 | 0.0 |1037M| 146 | - | 163 | 74 | 0 | 0 | 0 | 342k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1393.69/1394.13 c 1337s| 3750k| 3065k| 0 | 0.0 |1040M| 146 | - | 163 | 73 | 0 | 0 | 0 | 343k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1396.89/1397.30 c 1340s| 3760k| 3074k| 0 | 0.0 |1043M| 146 | - | 163 | 73 | 0 | 0 | 0 | 343k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1399.90/1400.39 c 1343s| 3770k| 3084k| 0 | 0.0 |1045M| 146 | - | 163 | 73 | 0 | 0 | 0 | 343k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1403.20/1403.62 c 1346s| 3780k| 3093k| 0 | 0.0 |1048M| 146 | - | 163 | 76 | 0 | 0 | 0 | 343k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1406.28/1406.72 c 1349s| 3790k| 3102k| 0 | 0.0 |1051M| 146 | - | 163 | 75 | 0 | 0 | 0 | 344k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1409.38/1409.81 c 1352s| 3800k| 3112k| 0 | 0.0 |1053M| 146 | - | 163 | 78 | 0 | 0 | 0 | 344k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1412.58/1413.04 c 1355s| 3810k| 3121k| 0 | 0.0 |1056M| 146 | - | 163 | 74 | 0 | 0 | 0 | 344k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1415.88/1416.31 c 1358s| 3820k| 3129k| 0 | 0.0 |1059M| 146 | - | 163 | 78 | 0 | 0 | 0 | 345k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1419.08/1419.52 c 1361s| 3830k| 3138k| 0 | 0.0 |1061M| 146 | - | 163 | 77 | 0 | 0 | 0 | 345k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1422.38/1422.80 c 1364s| 3840k| 3147k| 0 | 0.0 |1064M| 146 | - | 163 | 73 | 0 | 0 | 0 | 346k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1425.58/1426.00 c 1367s| 3850k| 3156k| 0 | 0.0 |1067M| 146 | - | 163 | 78 | 0 | 0 | 0 | 346k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1428.67/1429.13 c 1370s| 3860k| 3165k| 0 | 0.0 |1069M| 146 | - | 163 | 88 | 0 | 0 | 0 | 347k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1431.69/1432.20 c 1373s| 3870k| 3174k| 0 | 0.0 |1072M| 146 | - | 163 | 75 | 0 | 0 | 0 | 347k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1434.88/1435.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1434.88/1435.37 c 1376s| 3880k| 3183k| 0 | 0.0 |1075M| 146 | - | 163 | 79 | 0 | 0 | 0 | 347k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1437.98/1438.48 c 1379s| 3890k| 3192k| 0 | 0.0 |1077M| 146 | - | 163 | 76 | 0 | 0 | 0 | 348k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1441.08/1441.52 c 1382s| 3900k| 3201k| 0 | 0.0 |1080M| 146 | - | 163 | 77 | 0 | 0 | 0 | 348k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1444.28/1444.76 c 1385s| 3910k| 3210k| 0 | 0.0 |1082M| 146 | - | 163 | 77 | 0 | 0 | 0 | 349k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1447.27/1447.74 c 1388s| 3920k| 3219k| 0 | 0.0 |1085M| 146 | - | 163 | 74 | 0 | 0 | 0 | 349k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1450.27/1450.75 c 1391s| 3930k| 3229k| 0 | 0.0 |1088M| 146 | - | 163 | 79 | 0 | 0 | 0 | 349k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1453.57/1454.01 c 1394s| 3940k| 3237k| 0 | 0.0 |1090M| 146 | - | 163 | 75 | 0 | 0 | 0 | 350k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1456.77/1457.22 c 1397s| 3950k| 3247k| 0 | 0.0 |1093M| 146 | - | 163 | 79 | 0 | 0 | 0 | 350k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1460.07/1460.50 c 1400s| 3960k| 3255k| 0 | 0.0 |1096M| 146 | - | 163 | 74 | 0 | 0 | 0 | 351k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1463.27/1463.75 c 1404s| 3970k| 3264k| 0 | 0.0 |1098M| 146 | - | 163 | 78 | 0 | 0 | 0 | 351k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1466.57/1467.00 c 1407s| 3980k| 3273k| 0 | 0.0 |1101M| 146 | - | 163 | 74 | 0 | 0 | 0 | 352k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1469.77/1470.26 c 1410s| 3990k| 3282k| 0 | 0.0 |1104M| 146 | - | 163 | 80 | 0 | 0 | 0 | 352k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1472.96/1473.45 c 1413s| 4000k| 3291k| 0 | 0.0 |1106M| 146 | - | 163 | 74 | 0 | 0 | 0 | 353k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1476.26/1476.77 c 1416s| 4010k| 3299k| 0 | 0.0 |1109M| 146 | - | 163 | 78 | 0 | 0 | 0 | 353k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1479.57/1480.07 c 1419s| 4020k| 3308k| 0 | 0.0 |1111M| 146 | - | 163 | 73 | 0 | 0 | 0 | 354k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1482.76/1483.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1482.76/1483.23 c 1422s| 4030k| 3317k| 0 | 0.0 |1114M| 146 | - | 163 | 75 | 0 | 0 | 0 | 354k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1486.06/1486.54 c 1425s| 4040k| 3325k| 0 | 0.0 |1117M| 146 | - | 163 | 78 | 0 | 0 | 0 | 355k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1489.16/1489.68 c 1428s| 4050k| 3334k| 0 | 0.0 |1119M| 146 | - | 163 | 74 | 0 | 0 | 0 | 355k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1492.27/1492.74 c 1431s| 4060k| 3343k| 0 | 0.0 |1122M| 146 | - | 163 | 77 | 0 | 0 | 0 | 356k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1495.46/1495.92 c 1434s| 4070k| 3352k| 0 | 0.0 |1125M| 146 | - | 163 | 75 | 0 | 0 | 0 | 356k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1498.46/1498.99 c 1437s| 4080k| 3362k| 0 | 0.0 |1127M| 146 | - | 163 | 81 | 0 | 0 | 0 | 356k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1501.46/1501.94 c 1440s| 4090k| 3371k| 0 | 0.0 |1130M| 146 | - | 163 | 83 | 0 | 0 | 0 | 357k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1504.55/1505.09 c 1443s| 4100k| 3380k| 0 | 0.0 |1133M| 146 | - | 163 | 76 | 0 | 0 | 0 | 357k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1507.57/1508.10 c 1446s| 4110k| 3390k| 0 | 0.0 |1135M| 146 | - | 163 | 76 | 0 | 0 | 0 | 357k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1510.86/1511.40 c 1449s| 4120k| 3399k| 0 | 0.0 |1138M| 146 | - | 163 | 81 | 0 | 0 | 0 | 358k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1514.16/1514.67 c 1452s| 4130k| 3408k| 0 | 0.0 |1141M| 146 | - | 163 | 78 | 0 | 0 | 0 | 358k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1517.46/1517.97 c 1455s| 4140k| 3416k| 0 | 0.0 |1144M| 146 | - | 163 | 74 | 0 | 0 | 0 | 359k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1520.76/1521.25 c 1458s| 4150k| 3425k| 0 | 0.0 |1146M| 146 | - | 163 | 75 | 0 | 0 | 0 | 359k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1523.85/1524.38 c 1461s| 4160k| 3434k| 0 | 0.0 |1149M| 146 | - | 163 | 75 | 0 | 0 | 0 | 359k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1527.05/1527.52 c 1464s| 4170k| 3443k| 0 | 0.0 |1151M| 146 | - | 163 | 75 | 0 | 0 | 0 | 360k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1530.05/1530.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1530.05/1530.56 c 1467s| 4180k| 3453k| 0 | 0.0 |1154M| 146 | - | 163 | 75 | 0 | 0 | 0 | 360k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1533.26/1533.73 c 1470s| 4190k| 3462k| 0 | 0.0 |1157M| 146 | - | 163 | 83 | 0 | 0 | 0 | 360k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1536.35/1536.81 c 1473s| 4200k| 3471k| 0 | 0.0 |1160M| 146 | - | 163 | 75 | 0 | 0 | 0 | 361k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1539.45/1539.92 c 1476s| 4210k| 3480k| 0 | 0.0 |1162M| 146 | - | 163 | 79 | 0 | 0 | 0 | 361k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1542.55/1543.00 c 1479s| 4220k| 3489k| 0 | 0.0 |1165M| 146 | - | 163 | 75 | 0 | 0 | 0 | 361k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1545.55/1546.02 c 1482s| 4230k| 3499k| 0 | 0.0 |1168M| 146 | - | 163 | 75 | 0 | 0 | 0 | 362k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1548.54/1549.04 c 1485s| 4240k| 3508k| 0 | 0.0 |1170M| 146 | - | 163 | 79 | 0 | 0 | 0 | 362k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1551.65/1552.19 c 1488s| 4250k| 3517k| 0 | 0.0 |1173M| 146 | - | 163 | 76 | 0 | 0 | 0 | 362k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1554.75/1555.23 c 1491s| 4260k| 3527k| 0 | 0.0 |1176M| 146 | - | 163 | 74 | 0 | 0 | 0 | 362k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1557.75/1558.24 c 1494s| 4270k| 3536k| 0 | 0.0 |1179M| 146 | - | 163 | 78 | 0 | 0 | 0 | 363k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1560.84/1561.37 c 1497s| 4280k| 3545k| 0 | 0.0 |1181M| 146 | - | 163 | 75 | 0 | 0 | 0 | 363k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1563.94/1564.45 c 1500s| 4290k| 3554k| 0 | 0.0 |1184M| 146 | - | 163 | 75 | 0 | 0 | 0 | 363k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1566.94/1567.49 c 1503s| 4300k| 3564k| 0 | 0.0 |1187M| 146 | - | 163 | 80 | 0 | 0 | 0 | 364k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1570.14/1570.66 c 1506s| 4310k| 3573k| 0 | 0.0 |1189M| 146 | - | 163 | 82 | 0 | 0 | 0 | 364k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1573.24/1573.79 c 1509s| 4320k| 3582k| 0 | 0.0 |1192M| 146 | - | 163 | 74 | 0 | 0 | 0 | 364k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1576.44/1576.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1576.44/1576.94 c 1512s| 4330k| 3591k| 0 | 0.0 |1195M| 146 | - | 163 | 74 | 0 | 0 | 0 | 365k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1579.44/1579.99 c 1514s| 4340k| 3600k| 0 | 0.0 |1197M| 146 | - | 163 | 76 | 0 | 0 | 0 | 365k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1582.73/1583.24 c 1518s| 4350k| 3609k| 0 | 0.0 |1200M| 146 | - | 163 | 80 | 0 | 0 | 0 | 366k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1586.04/1586.59 c 1521s| 4360k| 3617k| 0 | 0.0 |1203M| 146 | - | 163 | 83 | 0 | 0 | 0 | 366k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1589.34/1589.88 c 1524s| 4370k| 3626k| 0 | 0.0 |1205M| 146 | - | 163 | 81 | 0 | 0 | 0 | 367k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1592.63/1593.19 c 1527s| 4380k| 3635k| 0 | 0.0 |1208M| 146 | - | 163 | 77 | 0 | 0 | 0 | 367k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1596.03/1596.52 c 1530s| 4390k| 3643k| 0 | 0.0 |1211M| 146 | - | 163 | 76 | 0 | 0 | 0 | 368k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1599.23/1599.72 c 1533s| 4400k| 3652k| 0 | 0.0 |1214M| 146 | - | 163 | 78 | 0 | 0 | 0 | 368k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1602.33/1602.84 c 1536s| 4410k| 3662k| 0 | 0.0 |1216M| 146 | - | 163 | 77 | 0 | 0 | 0 | 369k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1605.44/1605.94 c 1539s| 4420k| 3671k| 0 | 0.0 |1219M| 146 | - | 163 | 80 | 0 | 0 | 0 | 369k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1608.43/1608.99 c 1542s| 4430k| 3681k| 0 | 0.0 |1222M| 146 | - | 163 | 75 | 0 | 0 | 0 | 369k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1611.63/1612.16 c 1545s| 4440k| 3690k| 0 | 0.0 |1224M| 146 | - | 163 | 76 | 0 | 0 | 0 | 369k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1614.63/1615.17 c 1548s| 4450k| 3699k| 0 | 0.0 |1227M| 146 | - | 163 | 73 | 0 | 0 | 0 | 370k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1617.63/1618.16 c 1551s| 4460k| 3709k| 0 | 0.0 |1230M| 146 | - | 163 | 76 | 0 | 0 | 0 | 370k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1620.84/1621.32 c 1554s| 4470k| 3718k| 0 | 0.0 |1233M| 146 | - | 163 | 81 | 0 | 0 | 0 | 370k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1623.82/1624.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1623.82/1624.37 c 1557s| 4480k| 3728k| 0 | 0.0 |1235M| 146 | - | 163 | 84 | 0 | 0 | 0 | 370k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1626.83/1627.38 c 1560s| 4490k| 3737k| 0 | 0.0 |1238M| 146 | - | 163 | 77 | 0 | 0 | 0 | 371k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1629.92/1630.46 c 1563s| 4500k| 3746k| 0 | 0.0 |1241M| 146 | - | 163 | 74 | 0 | 0 | 0 | 371k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1633.23/1633.76 c 1566s| 4510k| 3755k| 0 | 0.0 |1243M| 146 | - | 163 | 73 | 0 | 0 | 0 | 372k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1636.43/1636.93 c 1569s| 4520k| 3764k| 0 | 0.0 |1246M| 146 | - | 163 | 85 | 0 | 0 | 0 | 372k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1639.53/1640.01 c 1572s| 4530k| 3773k| 0 | 0.0 |1249M| 146 | - | 163 | 79 | 0 | 0 | 0 | 372k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1642.52/1643.09 c 1575s| 4540k| 3782k| 0 | 0.0 |1251M| 146 | - | 163 | 76 | 0 | 0 | 0 | 373k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1645.72/1646.26 c 1578s| 4550k| 3791k| 0 | 0.0 |1254M| 146 | - | 163 | 77 | 0 | 0 | 0 | 373k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1648.92/1649.41 c 1581s| 4560k| 3800k| 0 | 0.0 |1257M| 146 | - | 163 | 82 | 0 | 0 | 0 | 374k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1652.02/1652.51 c 1584s| 4570k| 3809k| 0 | 0.0 |1259M| 146 | - | 163 | 78 | 0 | 0 | 0 | 374k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1655.03/1655.57 c 1587s| 4580k| 3818k| 0 | 0.0 |1262M| 146 | - | 163 | 79 | 0 | 0 | 0 | 374k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1658.11/1658.65 c 1590s| 4590k| 3827k| 0 | 0.0 |1265M| 146 | - | 163 | 79 | 0 | 0 | 0 | 375k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1661.32/1661.83 c 1593s| 4600k| 3836k| 0 | 0.0 |1267M| 146 | - | 163 | 76 | 0 | 0 | 0 | 375k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1664.41/1664.99 c 1596s| 4610k| 3845k| 0 | 0.0 |1270M| 146 | - | 163 | 82 | 0 | 0 | 0 | 376k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1667.82/1668.32 c 1599s| 4620k| 3854k| 0 | 0.0 |1273M| 146 | - | 163 | 83 | 0 | 0 | 0 | 376k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1671.21/1671.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1671.21/1671.79 c 1602s| 4630k| 3862k| 0 | 0.0 |1276M| 146 | - | 163 | 79 | 0 | 0 | 0 | 377k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1674.62/1675.13 c 1605s| 4640k| 3871k| 0 | 0.0 |1278M| 146 | - | 163 | 73 | 0 | 0 | 0 | 377k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1677.91/1678.50 c 1609s| 4650k| 3880k| 0 | 0.0 |1281M| 146 | - | 163 | 75 | 0 | 0 | 0 | 378k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1681.32/1681.81 c 1612s| 4660k| 3888k| 0 | 0.0 |1284M| 146 | - | 163 | 77 | 0 | 0 | 0 | 379k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1684.51/1685.03 c 1615s| 4670k| 3897k| 0 | 0.0 |1286M| 146 | - | 163 | 74 | 0 | 0 | 0 | 379k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1687.61/1688.14 c 1618s| 4680k| 3907k| 0 | 0.0 |1289M| 146 | - | 163 | 73 | 0 | 0 | 0 | 379k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1690.71/1691.25 c 1621s| 4690k| 3916k| 0 | 0.0 |1292M| 146 | - | 163 | 76 | 0 | 0 | 0 | 380k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1693.81/1694.31 c 1624s| 4700k| 3925k| 0 | 0.0 |1294M| 146 | - | 163 | 75 | 0 | 0 | 0 | 380k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1696.90/1697.44 c 1627s| 4710k| 3934k| 0 | 0.0 |1297M| 146 | - | 163 | 75 | 0 | 0 | 0 | 380k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1699.90/1700.49 c 1630s| 4720k| 3944k| 0 | 0.0 |1300M| 146 | - | 163 | 74 | 0 | 0 | 0 | 380k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1702.90/1703.49 c 1632s| 4730k| 3953k| 0 | 0.0 |1302M| 146 | - | 163 | 75 | 0 | 0 | 0 | 381k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1706.10/1706.65 c 1635s| 4740k| 3962k| 0 | 0.0 |1305M| 146 | - | 163 | 73 | 0 | 0 | 0 | 381k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1709.11/1709.69 c 1638s| 4750k| 3972k| 0 | 0.0 |1308M| 146 | - | 163 | 75 | 0 | 0 | 0 | 381k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1712.11/1712.66 c 1641s| 4760k| 3981k| 0 | 0.0 |1311M| 146 | - | 163 | 76 | 0 | 0 | 0 | 381k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1715.21/1715.75 c 1644s| 4770k| 3991k| 0 | 0.0 |1313M| 146 | - | 163 | 82 | 0 | 0 | 0 | 382k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1718.40/1718.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1718.40/1718.92 c 1647s| 4780k| 4000k| 0 | 0.0 |1316M| 146 | - | 163 | 78 | 0 | 0 | 0 | 382k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1721.40/1721.93 c 1650s| 4790k| 4009k| 0 | 0.0 |1319M| 146 | - | 163 | 78 | 0 | 0 | 0 | 382k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1724.40/1724.98 c 1653s| 4800k| 4018k| 0 | 0.0 |1321M| 146 | - | 163 | 78 | 0 | 0 | 0 | 383k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1727.61/1728.13 c 1656s| 4810k| 4027k| 0 | 0.0 |1324M| 146 | - | 163 | 78 | 0 | 0 | 0 | 383k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1730.69/1731.28 c 1659s| 4820k| 4036k| 0 | 0.0 |1327M| 146 | - | 163 | 74 | 0 | 0 | 0 | 383k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1733.79/1734.33 c 1662s| 4830k| 4045k| 0 | 0.0 |1330M| 146 | - | 163 | 78 | 0 | 0 | 0 | 384k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1736.99/1737.53 c 1665s| 4840k| 4054k| 0 | 0.0 |1332M| 146 | - | 163 | 76 | 0 | 0 | 0 | 384k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1740.10/1740.68 c 1668s| 4850k| 4063k| 0 | 0.0 |1335M| 146 | - | 163 | 83 | 0 | 0 | 0 | 385k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1743.19/1743.75 c 1671s| 4860k| 4072k| 0 | 0.0 |1338M| 146 | - | 163 | 79 | 0 | 0 | 0 | 385k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1746.30/1746.83 c 1674s| 4870k| 4082k| 0 | 0.0 |1340M| 146 | - | 163 | 87 | 0 | 0 | 0 | 385k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1749.39/1749.93 c 1677s| 4880k| 4091k| 0 | 0.0 |1343M| 146 | - | 163 | 79 | 0 | 0 | 0 | 386k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1752.59/1753.15 c 1680s| 4890k| 4100k| 0 | 0.0 |1346M| 146 | - | 163 | 79 | 0 | 0 | 0 | 386k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1755.89/1756.48 c 1683s| 4900k| 4109k| 0 | 0.0 |1349M| 146 | - | 163 | 84 | 0 | 0 | 0 | 387k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1759.19/1759.75 c 1686s| 4910k| 4117k| 0 | 0.0 |1351M| 146 | - | 163 | 81 | 0 | 0 | 0 | 387k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1762.59/1763.16 c 1690s| 4920k| 4126k| 0 | 0.0 |1354M| 146 | - | 163 | 83 | 0 | 0 | 0 | 388k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1765.88/1766.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.88/1766.40 c 1693s| 4930k| 4135k| 0 | 0.0 |1357M| 146 | - | 163 | 92 | 0 | 0 | 0 | 389k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1768.29/1768.85 c (node 4937037) switching to memory saving mode (mem: 1296.0M/1620.0M)
1770.79/1771.38 c 1697s| 4940k| 4141k| 0 | 0.0 |1358M| 150 | - | 163 | 81 | 0 | 0 | 0 | 391k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1775.89/1776.48 c 1702s| 4950k| 4141k| 0 | 0.0 |1358M| 150 | - | 163 | 83 | 0 | 0 | 0 | 397k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1780.98/1781.53 c 1707s| 4960k| 4141k| 0 | 0.0 |1358M| 150 | - | 163 | 80 | 0 | 0 | 0 | 403k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1786.08/1786.68 c 1712s| 4970k| 4141k| 0 | 0.0 |1358M| 150 | - | 163 | 83 | 0 | 0 | 0 | 408k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1791.39/1791.98 c 1717s| 4980k| 4141k| 0 | 0.0 |1358M| 150 | - | 163 | 84 | 0 | 0 | 0 | 414k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1796.89/1797.43 c 1722s| 4990k| 4141k| 0 | 0.0 |1358M| 150 | - | 163 | 93 | 0 | 0 | 0 | 420k| 0 | 5.120000e+03 | 1.740800e+04 | 240.00%
1800.10/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.61 c
1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.61 c Solving Time (sec) : 1725.36
1800.10/1800.61 c Solving Nodes : 4995773
1800.10/1800.61 c Primal Bound : +1.74080000000000e+04 (2 solutions)
1800.10/1800.61 c Dual Bound : +5.12000000000000e+03
1800.10/1800.61 c Gap : 240.00 %
1800.10/1800.61 s SATISFIABLE
1800.10/1800.61 v -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
1800.10/1800.61 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119
1800.10/1800.61 v -x118 -x117 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96
1800.10/1800.61 v -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1800.10/1800.61 v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46
1800.10/1800.61 v -x44 -x43 x42 -x41 -x40 -x39 x38 x37 x36 x35 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 x22 -x21 -x20 x19 -x18 -x17 x16
1800.10/1800.61 v -x15 -x14 x13 -x11 x10 x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 -x163 -x162 -x161 -x116 -x45 -x34 x23 -x12 -x1
1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.61 c Solving Time : 1725.36
1800.10/1800.61 c Original Problem :
1800.10/1800.61 c Problem name : HOME/instance-2664157-1276351112.opb
1800.10/1800.61 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61 c Constraints : 73 initial, 73 maximal
1800.10/1800.61 c Presolved Problem :
1800.10/1800.61 c Problem name : t_HOME/instance-2664157-1276351112.opb
1800.10/1800.61 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61 c Constraints : 73 initial, 239 maximal
1800.10/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c probing : 0.02 0 0 0 0 0 0 0 0
1800.10/1800.61 c knapsack : 0.02 0 0 0 0 0 0 0 0
1800.10/1800.61 c linear : 0.01 0 0 0 0 0 0 10 10
1800.10/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c root node : - 0 - - 0 - - - -
1800.10/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.61 c knapsack : 73 0 6574629 0 4674091 83000 4196019 0 0 0
1800.10/1800.61 c logicor : 0+ 0 658485 0 0 417 299588 0 0 0
1800.10/1800.61 c countsols : 0 0 0 0 4674091 0 0 0 0 0
1800.10/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.61 c knapsack : 1296.57 0.00 1243.99 0.00 52.58
1800.10/1800.61 c logicor : 2.68 0.00 2.68 0.00 0.00
1800.10/1800.61 c countsols : 1.79 0.00 0.00 0.00 1.79
1800.10/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.61 c vbounds : 3.60 2 0 0
1800.10/1800.61 c rootredcost : 2.84 0 0 0
1800.10/1800.61 c pseudoobj : 115.54 6918526 344097 543471
1800.10/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.61 c propagation : 56.19 427454 423619 1819271 56.1 43 52.0 -
1800.10/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.61 c pseudo solution : 0.00 58 58 213 58.8 2 74.5 -
1800.10/1800.61 c applied globally : - - - 11897 28.1 - - -
1800.10/1800.61 c applied locally : - - - 411780 47.6 - - -
1800.10/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.10/1800.61 c redcost : 0.00 0 0 0 0 0
1800.10/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.10/1800.61 c intobj : 0.00 0 0 0 0 0
1800.10/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.61 c gomory : 0.00 0 0 0 0 0
1800.10/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.10/1800.61 c cmir : 0.00 0 0 0 0 0
1800.10/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.10/1800.61 c clique : 0.00 0 0 0 0 0
1800.10/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.61 c mcf : 0.00 0 0 0 0 0
1800.10/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.61 c Pricers : Time Calls Vars
1800.10/1800.61 c problem variables: 0.00 0 0
1800.10/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.10/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.61 c inference : 102.86 4674089 0 0 0 0 9348178
1800.10/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.62 c random : 0.00 0 0 0 0 0 0
1800.10/1800.62 c Primal Heuristics : Time Calls Found
1800.10/1800.62 c LP solutions : 0.00 - 0
1800.10/1800.62 c pseudo solutions : 0.02 - 2
1800.10/1800.62 c oneopt : 3.26 0 0
1800.10/1800.62 c trivial : 0.00 2 0
1800.10/1800.62 c simplerounding : 0.00 0 0
1800.10/1800.62 c zirounding : 0.00 0 0
1800.10/1800.62 c rounding : 0.00 0 0
1800.10/1800.62 c shifting : 0.00 0 0
1800.10/1800.62 c intshifting : 0.00 0 0
1800.10/1800.62 c twoopt : 0.00 0 0
1800.10/1800.62 c fixandinfer : 0.00 0 0
1800.10/1800.62 c feaspump : 0.00 0 0
1800.10/1800.62 c coefdiving : 0.00 0 0
1800.10/1800.62 c pscostdiving : 0.00 0 0
1800.10/1800.62 c fracdiving : 0.00 0 0
1800.10/1800.62 c veclendiving : 0.00 0 0
1800.10/1800.62 c intdiving : 0.00 0 0
1800.10/1800.62 c actconsdiving : 0.00 0 0
1800.10/1800.62 c objpscostdiving : 0.00 0 0
1800.10/1800.62 c rootsoldiving : 0.00 0 0
1800.10/1800.62 c linesearchdiving : 0.00 0 0
1800.10/1800.62 c guideddiving : 0.00 0 0
1800.10/1800.62 c octane : 0.00 0 0
1800.10/1800.62 c rens : 0.00 0 0
1800.10/1800.62 c rins : 0.00 0 0
1800.10/1800.62 c localbranching : 0.00 0 0
1800.10/1800.62 c mutation : 0.00 0 0
1800.10/1800.62 c crossover : 0.00 0 0
1800.10/1800.62 c dins : 0.00 0 0
1800.10/1800.62 c undercover : 0.00 0 0
1800.10/1800.62 c nlp : 2.17 0 0
1800.10/1800.62 c trysol : 2.45 0 0
1800.10/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.10/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.10/1800.62 c (at root node) : - 0 0 0.00 -
1800.10/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.62 c B&B Tree :
1800.10/1800.62 c number of runs : 1
1800.10/1800.62 c nodes : 4995773
1800.10/1800.62 c nodes (total) : 4995773
1800.10/1800.62 c nodes left : 4141101
1800.10/1800.62 c max depth : 150
1800.10/1800.62 c max depth (total): 150
1800.10/1800.62 c backtracks : 226229 (4.5%)
1800.10/1800.62 c delayed cutoffs : 106227
1800.10/1800.62 c repropagations : 480141 (678335 domain reductions, 105890 cutoffs)
1800.10/1800.62 c avg switch length: 4.45
1800.10/1800.62 c switching time : 69.19
1800.10/1800.62 c Solution :
1800.10/1800.62 c Solutions found : 2 (2 improvements)
1800.10/1800.62 c First Solution : +1.84320000000000e+04 (in run 1, after 1390 nodes, 0.33 seconds, depth 136, found by <relaxation>)
1800.10/1800.62 c Primal Bound : +1.74080000000000e+04 (in run 1, after 188943 nodes, 57.09 seconds, depth 46, found by <relaxation>)
1800.10/1800.62 c Dual Bound : +5.12000000000000e+03
1800.10/1800.62 c Gap : 240.00 %
1800.10/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.10/1800.62 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664157-1276351112/watcher-2664157-1276351112 -o /tmp/evaluation-result-2664157-1276351112/solver-2664157-1276351112 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664157-1276351112.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 1.13 3/106 11502
/proc/meminfo: memFree=1830712/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=6584 CPUtime=0
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 1084 0 0 0 0 0 0 0 20 0 1 0 10715235 6742016 1007 1992294400 4194304 7136930 140734698121296 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11502/statm: 1646 1017 254 719 0 925 0
[startup+0.031665 s]
/proc/loadavg: 0.92 0.98 1.13 3/106 11502
/proc/meminfo: memFree=1830712/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=11956 CPUtime=0.02
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 2634 0 0 0 2 0 0 0 20 0 1 0 10715235 12242944 2203 1992294400 4194304 7136930 140734698121296 18446744073709551615 4333578 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 2989 2203 336 719 0 2268 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11956
[startup+0.100674 s]
/proc/loadavg: 0.92 0.98 1.13 3/106 11502
/proc/meminfo: memFree=1830712/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=12920 CPUtime=0.09
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 3435 0 0 0 8 1 0 0 20 0 1 0 10715235 13230080 2490 1992294400 4194304 7136930 140734698121296 18446744073709551615 4855305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 3230 2490 386 719 0 2509 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12920
[startup+0.300696 s]
/proc/loadavg: 0.92 0.98 1.13 3/106 11502
/proc/meminfo: memFree=1830712/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=13188 CPUtime=0.29
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 3524 0 0 0 26 3 0 0 20 0 1 0 10715235 13504512 2579 1992294400 4194304 7136930 140734698121296 18446744073709551615 4854994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 3297 2579 386 719 0 2576 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13188
[startup+0.700744 s]
/proc/loadavg: 0.92 0.98 1.13 3/106 11502
/proc/meminfo: memFree=1830712/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=13656 CPUtime=0.69
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 3645 0 0 0 64 5 0 0 20 0 1 0 10715235 13983744 2700 1992294400 4194304 7136930 140734698121296 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 3414 2700 393 719 0 2693 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13656
[startup+1.50184 s]
/proc/loadavg: 0.92 0.98 1.13 2/107 11503
/proc/meminfo: memFree=1821032/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=14692 CPUtime=1.49
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 3921 0 0 0 140 9 0 0 23 0 1 0 10715235 15044608 2976 1992294400 4194304 7136930 140734698121296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 3673 2976 393 719 0 2952 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14692
[startup+3.10103 s]
/proc/loadavg: 0.92 0.98 1.13 2/107 11503
/proc/meminfo: memFree=1819420/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=16396 CPUtime=3.09
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 4377 0 0 0 292 17 0 0 25 0 1 0 10715235 16789504 3432 1992294400 4194304 7136930 140734698121296 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 4099 3432 393 719 0 3378 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16396
[startup+6.3004 s]
/proc/loadavg: 0.93 0.98 1.13 2/107 11505
/proc/meminfo: memFree=1815328/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=20224 CPUtime=6.29
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 5346 0 0 0 595 34 0 0 25 0 1 0 10715235 20709376 4401 1992294400 4194304 7136930 140734698121296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 5056 4401 393 719 0 4335 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20224
[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 1.13 2/107 11505
/proc/meminfo: memFree=1809500/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=24780 CPUtime=12.69
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 6535 0 0 0 1213 56 0 0 25 0 1 0 10715235 25374720 5590 1992294400 4194304 7136930 140734698121296 18446744073709551615 4854036 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 6195 5590 393 719 0 5474 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24780
[startup+25.5007 s]
/proc/loadavg: 0.95 0.98 1.13 2/107 11505
/proc/meminfo: memFree=1797224/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=38424 CPUtime=25.49
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 9590 0 0 0 2438 111 0 0 25 0 1 0 10715235 39346176 8645 1992294400 4194304 7136930 140734698121296 18446744073709551615 4854257 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 9606 8645 393 719 0 8885 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38424
[startup+51.1007 s]
/proc/loadavg: 0.96 0.98 1.12 2/107 11505
/proc/meminfo: memFree=1771432/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=62932 CPUtime=51.07
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 16031 0 0 0 4876 231 0 0 25 0 1 0 10715235 64442368 15086 1992294400 4194304 7136930 140734698121296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 15733 15086 393 719 0 15012 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 62932
[startup+102.309 s]
/proc/loadavg: 0.98 0.98 1.11 2/107 11507
/proc/meminfo: memFree=1732620/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=104000 CPUtime=102.26
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 25678 0 0 0 9783 443 0 0 25 0 1 0 10715235 106496000 24733 1992294400 4194304 7136930 140734698121296 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 26000 24733 393 719 0 25279 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 104000
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 1.10 2/107 11518
/proc/meminfo: memFree=1687112/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=148072 CPUtime=162.23
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 37109 0 0 0 15569 654 0 0 25 0 1 0 10715235 151625728 36164 1992294400 4194304 7136930 140734698121296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 37018 36164 393 719 0 36297 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 148072
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 1.09 2/107 11518
/proc/meminfo: memFree=1628584/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=210752 CPUtime=222.21
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 51446 0 0 0 21289 932 0 0 25 0 1 0 10715235 215810048 50501 1992294400 4194304 7136930 140734698121296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 52688 50501 393 719 0 51967 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 210752
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 1.08 2/107 11520
/proc/meminfo: memFree=1572164/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=264776 CPUtime=282.2
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 65662 0 0 0 27012 1208 0 0 25 0 1 0 10715235 271130624 64717 1992294400 4194304 7136930 140734698121296 18446744073709551615 4855354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 66194 64717 393 719 0 65473 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 264776
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 1.08 2/107 11522
/proc/meminfo: memFree=1518844/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=315376 CPUtime=342.18
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 78977 0 0 0 32734 1484 0 0 25 0 1 0 10715235 322945024 78032 1992294400 4194304 7136930 140734698121296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 78844 78032 393 719 0 78123 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 315376
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 1.07 2/107 11524
/proc/meminfo: memFree=1466268/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=382280 CPUtime=402.16
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 92243 0 0 0 38456 1760 0 0 25 0 1 0 10715235 391454720 91298 1992294400 4194304 7136930 140734698121296 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 95570 91298 393 719 0 94849 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 382280
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 1.07 2/107 11526
/proc/meminfo: memFree=1413816/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=432248 CPUtime=462.15
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 105343 0 0 0 44189 2026 0 0 25 0 1 0 10715235 442621952 104398 1992294400 4194304 7136930 140734698121296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 108062 104398 393 719 0 107341 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 432248
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 1.06 2/107 11526
/proc/meminfo: memFree=1357768/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=485484 CPUtime=522.14
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 119218 0 0 0 49928 2286 0 0 25 0 1 0 10715235 497135616 118273 1992294400 4194304 7136930 140734698121296 18446744073709551615 4854137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 121371 118273 393 719 0 120650 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 485484
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 1.05 2/107 11528
/proc/meminfo: memFree=1306680/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=533420 CPUtime=582.12
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 131811 0 0 0 55672 2540 0 0 25 0 1 0 10715235 546222080 130866 1992294400 4194304 7136930 140734698121296 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 133355 130866 393 719 0 132634 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 533420
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 1.05 2/107 11530
/proc/meminfo: memFree=1255716/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=581616 CPUtime=642.11
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 144401 0 0 0 61413 2798 0 0 25 0 1 0 10715235 595574784 143456 1992294400 4194304 7136930 140734698121296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 145404 143456 393 719 0 144683 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 581616
[startup+702.301 s]
################
# More data... #
################
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 217810 0 0 0 101775 4423 0 0 25 0 1 0 10715235 918020096 216865 1992294400 4194304 7136930 140734698121296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 224126 216865 394 719 0 223405 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 896504
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 11545
/proc/meminfo: memFree=919428/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=936532 CPUtime=1121.96
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 228308 0 0 0 107551 4645 0 0 25 0 1 0 10715235 959008768 227363 1992294400 4194304 7136930 140734698121296 18446744073709551615 4854179 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 234133 227363 394 719 0 233412 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 936532
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 11547
/proc/meminfo: memFree=880368/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=974088 CPUtime=1181.94
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 237988 0 0 0 113337 4857 0 0 25 0 1 0 10715235 997466112 237043 1992294400 4194304 7136930 140734698121296 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 243522 237043 394 719 0 242801 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 974088
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 11549
/proc/meminfo: memFree=850484/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=1001724 CPUtime=1241.93
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 245234 0 0 0 119144 5049 0 0 25 0 1 0 10715235 1025765376 244289 1992294400 4194304 7136930 140734698121296 18446744073709551615 4853848 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 250431 244289 394 719 0 249710 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1001724
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 11551
/proc/meminfo: memFree=804232/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=1046084 CPUtime=1301.92
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 256719 0 0 0 124929 5263 0 0 25 0 1 0 10715235 1071190016 255774 1992294400 4194304 7136930 140734698121296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 261521 255774 394 719 0 260800 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1046084
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 11553
/proc/meminfo: memFree=748680/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=1098992 CPUtime=1361.9
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 270634 0 0 0 130650 5540 0 0 25 0 1 0 10715235 1125367808 269689 1992294400 4194304 7136930 140734698121296 18446744073709551615 4854160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 274748 269689 394 719 0 274027 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1098992
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 11553
/proc/meminfo: memFree=697096/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=1147420 CPUtime=1421.89
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 283425 0 0 0 136393 5796 0 0 25 0 1 0 10715235 1174958080 282480 1992294400 4194304 7136930 140734698121296 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 286855 282480 394 719 0 286134 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1147420
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 11555
/proc/meminfo: memFree=646008/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=1195728 CPUtime=1481.87
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 296166 0 0 0 142123 6064 0 0 25 0 1 0 10715235 1224425472 295221 1992294400 4194304 7136930 140734698121296 18446744073709551615 6346714 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 298932 295221 394 719 0 298211 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1195728
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 11557
/proc/meminfo: memFree=592068/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=1246772 CPUtime=1541.84
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 309613 0 0 0 147848 6336 0 0 25 0 1 0 10715235 1276694528 308668 1992294400 4194304 7136930 140734698121296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 311693 308668 394 719 0 310972 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1246772
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 11559
/proc/meminfo: memFree=541104/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=1296464 CPUtime=1601.83
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 322715 0 0 0 153580 6603 0 0 25 0 1 0 10715235 1327579136 321770 1992294400 4194304 7136930 140734698121296 18446744073709551615 4854121 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 324116 321770 394 719 0 323395 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1296464
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 11561
/proc/meminfo: memFree=485676/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=1347848 CPUtime=1661.82
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 336260 0 0 0 159309 6873 0 0 25 0 1 0 10715235 1380196352 335315 1992294400 4194304 7136930 140734698121296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 336962 335315 394 719 0 336241 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1347848
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 11561
/proc/meminfo: memFree=430620/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=1400232 CPUtime=1721.8
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 350038 0 0 0 165047 7133 0 0 25 0 1 0 10715235 1433837568 349093 1992294400 4194304 7136930 140734698121296 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 350058 349093 394 719 0 349337 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1400232
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 11563
/proc/meminfo: memFree=389080/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=1503440 CPUtime=1781.79
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 376125 0 0 0 170790 7389 0 0 25 0 1 0 10715235 1539522560 359001 1992294400 4194304 7136930 140734698121296 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 375860 359001 394 719 0 375139 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1503440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 11563
/proc/meminfo: memFree=389204/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=1503440 CPUtime=1800.1
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 376143 0 0 0 172537 7473 0 0 25 0 1 0 10715235 1539522560 359019 1992294400 4194304 7136930 140734698121296 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11502/statm: 375860 359019 394 719 0 375139 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1503440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11502
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 11563
/proc/meminfo: memFree=389204/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=1503440 CPUtime=1800.88
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 376149 0 0 0 172615 7473 0 0 25 0 1 0 10715235 1539522560 359025 1992294400 4194304 7136930 140734698121296 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11502/statm: 375860 359025 400 719 0 375139 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 1503440
[startup+1802.2 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 11564
/proc/meminfo: memFree=389072/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=1503440 CPUtime=1801.68
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 376149 0 0 0 172695 7473 0 0 25 0 1 0 10715235 1539522560 359025 1992294400 4194304 7136930 140734698121296 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11502/statm: 375860 359025 400 719 0 375139 0
Current children cumulated CPU time (s) 1801.68
Current children cumulated vsize (KiB) 1503440
[startup+1802.6 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 11564
/proc/meminfo: memFree=389072/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=1503440 CPUtime=1802.08
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4202496 376149 0 0 0 172735 7473 0 0 25 0 1 0 10715235 1539522560 359025 1992294400 4194304 7136930 140734698121296 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11502/statm: 375860 359025 400 719 0 375139 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 1503440
[startup+1802.7 s]
/proc/loadavg: 0.99 0.98 1.00 2/108 11564
/proc/meminfo: memFree=389072/2059040 swapFree=4136460/4192956
[pid=11502] ppid=11500 vsize=0 CPUtime=1802.17
/proc/11502/stat : 11502 (pbscip.linux.x8) R 11500 11502 11471 0 -1 4203524 376149 0 0 0 172736 7481 0 0 25 0 1 0 10715235 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/11502/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.17
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.75
CPU time (s): 1802.23
CPU user time (s): 1727.37
CPU system time (s): 74.8636
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 1633500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1727.37
system time used= 74.8636
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376149
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1662
runsolver used 3.16852 second user time and 8.35673 second system time
The end