0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692053-1338029693.opb>
0.00/0.00 c original problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 473 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 o 473
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.730000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 43 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 43 chg coeffs, 473 upgd conss, 0 impls, 0 clqs
0.01/0.02 c (round 3) 0 del vars, 67 del conss, 171 add conss, 0 chg bounds, 214 chg sides, 571 chg coeffs, 473 upgd conss, 226 impls, 0 clqs
0.01/0.02 c (round 4) 0 del vars, 105 del conss, 192 add conss, 0 chg bounds, 274 chg sides, 666 chg coeffs, 473 upgd conss, 226 impls, 0 clqs
0.01/0.02 c (round 5) 0 del vars, 108 del conss, 195 add conss, 0 chg bounds, 288 chg sides, 693 chg coeffs, 473 upgd conss, 226 impls, 0 clqs
0.01/0.03 c (round 6) 0 del vars, 108 del conss, 195 add conss, 0 chg bounds, 293 chg sides, 708 chg coeffs, 473 upgd conss, 226 impls, 0 clqs
0.01/0.03 c (0.0s) probing: 51/473 (10.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.01/0.03 c presolving (7 rounds):
0.01/0.03 c 0 deleted vars, 108 deleted constraints, 195 added constraints, 0 tightened bounds, 0 added holes, 293 changed sides, 708 changed coefficients
0.01/0.03 c 226 implications, 0 cliques
0.01/0.03 c presolved problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 560 constraints
0.01/0.03 c 445 constraints of type <knapsack>
0.01/0.03 c 113 constraints of type <setppc>
0.01/0.03 c 2 constraints of type <logicor>
0.01/0.03 c transformed objective value is always integral (scale: 1)
0.01/0.03 c Presolving Time: 0.02
0.01/0.03 c - non default parameters ----------------------------------------------------------------------
0.01/0.03 c # SCIP version 2.1.1.4
0.01/0.03 c
0.01/0.03 c # maximal time in seconds to run
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/time = 1797
0.01/0.03 c
0.01/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/memory = 13950
0.01/0.03 c
0.01/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.03 c # [type: int, range: [1,2], default: 1]
0.01/0.03 c timing/clocktype = 2
0.01/0.03 c
0.01/0.03 c # belongs reading time to solving time?
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c timing/reading = TRUE
0.01/0.03 c
0.01/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c separating/rapidlearning/freq = 0
0.01/0.03 c
0.01/0.03 c -----------------------------------------------------------------------------------------------
0.01/0.03 c start solving
0.01/0.03 c
0.89/0.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.90 c t 0.9s| 1 | 0 | 10369 | - |2772k| 0 | 306 | 473 | 560 | 473 | 560 | 0 | 0 | 0 | 1.510371e+02 | 4.730000e+02 | 213.17%
0.89/0.90 o 326
0.89/0.90 c r 0.9s| 1 | 0 | 10369 | - |2785k| 0 | 306 | 473 | 560 | 473 | 560 | 0 | 0 | 0 | 1.510371e+02 | 3.260000e+02 | 115.84%
0.89/0.90 o 325
0.89/0.90 c R 0.9s| 1 | 0 | 10369 | - |2798k| 0 | 306 | 473 | 560 | 473 | 560 | 0 | 0 | 0 | 1.510371e+02 | 3.250000e+02 | 115.18%
0.89/0.90 o 324
0.89/0.90 c s 0.9s| 1 | 0 | 10369 | - |2812k| 0 | 306 | 473 | 560 | 473 | 560 | 0 | 0 | 0 | 1.510371e+02 | 3.240000e+02 | 114.52%
1.19/1.29 o 222
1.19/1.29 c y 1.3s| 1 | 0 | 10369 | - |3182k| 0 | 306 | 473 | 560 | 473 | 560 | 0 | 0 | 0 | 1.510371e+02 | 2.220000e+02 | 46.98%
1.78/1.81 c 1.8s| 1 | 0 | 14470 | - |3106k| 0 | 387 | 473 | 560 | 473 | 763 | 203 | 0 | 0 | 1.570185e+02 | 2.220000e+02 | 41.38%
2.59/2.61 c 2.6s| 1 | 0 | 18397 | - |3360k| 0 | 418 | 473 | 560 | 473 | 943 | 383 | 0 | 0 | 1.604754e+02 | 2.220000e+02 | 38.34%
3.19/3.24 c 3.2s| 1 | 0 | 20519 | - |3553k| 0 | 430 | 473 | 560 | 473 |1085 | 525 | 0 | 0 | 1.621553e+02 | 2.220000e+02 | 36.91%
3.88/3.92 c 3.9s| 1 | 0 | 22361 | - |3684k| 0 | 433 | 473 | 560 | 473 |1186 | 626 | 0 | 0 | 1.630606e+02 | 2.220000e+02 | 36.15%
4.49/4.52 c 4.5s| 1 | 0 | 23595 | - |3751k| 0 | 440 | 473 | 560 | 473 |1251 | 691 | 0 | 0 | 1.635887e+02 | 2.220000e+02 | 35.71%
4.99/5.05 c 5.0s| 1 | 0 | 24162 | - |3788k| 0 | 448 | 473 | 560 | 473 |1287 | 727 | 0 | 0 | 1.638306e+02 | 2.220000e+02 | 35.51%
5.49/5.59 c 5.6s| 1 | 0 | 24719 | - |3817k| 0 | 443 | 473 | 560 | 473 |1311 | 751 | 0 | 0 | 1.639278e+02 | 2.220000e+02 | 35.43%
5.88/5.98 c 6.0s| 1 | 0 | 24787 | - |3824k| 0 | 444 | 473 | 560 | 473 |1315 | 755 | 0 | 0 | 1.639394e+02 | 2.220000e+02 | 35.42%
6.29/6.36 c 6.4s| 1 | 0 | 24831 | - |3831k| 0 | 442 | 473 | 560 | 473 |1316 | 756 | 0 | 0 | 1.639447e+02 | 2.220000e+02 | 35.41%
6.69/6.74 c 6.7s| 1 | 0 | 24847 | - |3837k| 0 | 441 | 473 | 560 | 473 |1317 | 757 | 0 | 0 | 1.639455e+02 | 2.220000e+02 | 35.41%
6.89/6.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.89/6.91 c 6.9s| 1 | 0 | 24869 | - |3844k| 0 | 445 | 473 | 560 | 473 |1269 | 758 | 0 | 0 | 1.639463e+02 | 2.220000e+02 | 35.41%
9.98/10.01 c 10.0s| 1 | 2 | 24869 | - |3865k| 0 | 445 | 473 | 560 | 473 |1269 | 758 | 0 | 20 | 1.639463e+02 | 2.220000e+02 | 35.41%
32.28/32.32 o 221
32.28/32.32 c p32.3s| 27 | 28 | 55632 |1183.2 |4735k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.210000e+02 | 34.64%
32.28/32.32 o 220
32.28/32.32 c p32.3s| 27 | 28 | 55637 |1183.4 |4736k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.200000e+02 | 34.03%
32.28/32.32 o 219
32.28/32.32 c p32.3s| 27 | 28 | 55638 |1183.4 |4737k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.190000e+02 | 33.42%
32.28/32.33 o 217
32.28/32.33 c p32.3s| 27 | 28 | 55647 |1183.8 |4739k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.170000e+02 | 32.20%
32.28/32.33 o 216
32.28/32.33 c p32.3s| 27 | 28 | 55653 |1184.0 |4740k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.160000e+02 | 31.59%
32.28/32.33 o 215
32.28/32.33 c p32.3s| 27 | 28 | 55655 |1184.1 |4741k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.150000e+02 | 30.98%
32.28/32.33 o 215
32.28/32.33 c p32.3s| 27 | 28 | 55657 |1184.2 |4742k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.150000e+02 | 30.98%
32.28/32.33 o 214
32.28/32.33 c p32.3s| 27 | 28 | 55664 |1184.4 |4743k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.140000e+02 | 30.37%
32.28/32.33 o 213
32.28/32.33 c p32.3s| 27 | 28 | 55670 |1184.7 |4744k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.130000e+02 | 29.77%
32.28/32.33 o 213
32.28/32.33 c p32.3s| 27 | 28 | 55681 |1185.1 |4748k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.130000e+02 | 29.77%
32.28/32.33 o 211
32.28/32.33 c p32.3s| 27 | 28 | 55689 |1185.4 |4750k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.110000e+02 | 28.55%
32.28/32.33 o 210
32.28/32.33 c p32.3s| 27 | 28 | 55699 |1185.8 |4755k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.100000e+02 | 27.94%
32.28/32.33 o 209
32.28/32.33 c p32.3s| 27 | 28 | 55700 |1185.8 |4755k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.090000e+02 | 27.33%
32.28/32.33 o 208
32.28/32.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.28/32.33 c p32.3s| 27 | 28 | 55702 |1185.9 |4757k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.080000e+02 | 26.72%
32.28/32.34 o 206
32.28/32.34 c p32.3s| 27 | 28 | 55723 |1186.7 |4765k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.060000e+02 | 25.50%
32.28/32.35 o 205
32.28/32.35 c b32.3s| 28 | 27 | 55741 |1143.4 |4613k| 14 | - | 473 | 560 | 473 | 969 | 758 | 0 | 244 | 1.641428e+02 | 2.050000e+02 | 24.89%
54.78/54.80 c 54.8s| 100 | 101 |246435 |2238.0 |4785k| 18 | 404 | 473 | 560 | 473 | 969 | 758 | 0 | 270 | 1.641428e+02 | 2.050000e+02 | 24.89%
63.68/63.72 o 204
63.68/63.72 c l63.7s| 164 | 165 |306625 |1728.6 |4994k| 27 | - | 473 | 560 | 473 | 969 | 758 | 0 | 293 | 1.641428e+02 | 2.040000e+02 | 24.28%
63.68/63.79 o 200
63.68/63.79 c b63.8s| 165 | 166 |307098 |1720.9 |4856k| 27 | 381 | 473 | 560 | 473 | 969 | 758 | 0 | 293 | 1.641428e+02 | 2.000000e+02 | 21.85%
72.48/72.52 o 200
72.48/72.52 c v72.5s| 195 | 196 |374588 |1802.7 |4997k| 27 | - | 473 | 560 | 473 | 969 | 758 | 0 | 304 | 1.641428e+02 | 2.000000e+02 | 21.85%
72.48/72.58 o 199
72.48/72.58 c b72.6s| 196 | 197 |374963 |1795.4 |4880k| 27 | 406 | 473 | 560 | 473 | 969 | 758 | 0 | 304 | 1.641428e+02 | 1.990000e+02 | 21.24%
74.18/74.29 c 74.3s| 200 | 201 |384968 |1809.5 |4877k| 27 | 417 | 473 | 560 | 473 | 969 | 758 | 0 | 314 | 1.641428e+02 | 1.990000e+02 | 21.24%
78.37/78.40 o 198
78.37/78.40 c p78.4s| 213 | 214 |417654 |1852.8 |5048k| 27 | - | 473 | 560 | 473 | 969 | 758 | 0 | 314 | 1.642886e+02 | 1.980000e+02 | 20.52%
78.37/78.40 o 197
78.37/78.40 c p78.4s| 213 | 214 |417658 |1852.8 |5048k| 27 | - | 473 | 560 | 473 | 969 | 758 | 0 | 314 | 1.642886e+02 | 1.970000e+02 | 19.91%
78.37/78.40 o 196
78.37/78.40 c p78.4s| 213 | 214 |417659 |1852.8 |5049k| 27 | - | 473 | 560 | 473 | 969 | 758 | 0 | 314 | 1.642886e+02 | 1.960000e+02 | 19.30%
107.67/107.79 c 108s| 300 | 301 |630504 |2025.5 |4939k| 27 | 373 | 473 | 560 | 473 | 969 | 758 | 0 | 368 | 1.645675e+02 | 1.960000e+02 | 19.10%
128.57/128.69 c 129s| 400 | 401 |772444 |1873.6 |5003k| 27 | 395 | 473 | 560 | 473 | 969 | 758 | 0 | 434 | 1.646050e+02 | 1.960000e+02 | 19.07%
147.37/147.43 c 147s| 500 | 501 |914584 |1783.0 |5067k| 27 | 391 | 473 | 560 | 473 | 969 | 758 | 0 | 445 | 1.647006e+02 | 1.960000e+02 | 19.00%
171.66/171.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.66/171.72 c 172s| 600 | 601 | 1097k|1790.8 |5133k| 27 | 356 | 473 | 560 | 473 | 969 | 758 | 0 | 471 | 1.647494e+02 | 1.960000e+02 | 18.97%
184.86/184.92 c 185s| 700 | 701 | 1187k|1663.0 |5199k| 31 | 363 | 473 | 560 | 473 | 969 | 758 | 0 | 520 | 1.647694e+02 | 1.960000e+02 | 18.95%
202.36/202.44 c 202s| 800 | 801 | 1324k|1626.9 |5266k| 31 | 336 | 473 | 560 | 473 | 969 | 758 | 0 | 523 | 1.648410e+02 | 1.960000e+02 | 18.90%
213.45/213.52 c 214s| 900 | 901 | 1404k|1535.0 |5332k| 31 | 359 | 473 | 560 | 473 | 969 | 758 | 0 | 542 | 1.648662e+02 | 1.960000e+02 | 18.88%
231.05/231.15 c 231s| 1000 | 1001 | 1527k|1504.0 |5399k| 31 | 401 | 473 | 560 | 473 | 969 | 758 | 0 | 595 | 1.648856e+02 | 1.960000e+02 | 18.87%
238.05/238.15 o 196
238.05/238.15 c p 238s| 1040 | 1041 | 1581k|1498.5 |5592k| 33 | - | 473 | 560 | 473 | 969 | 758 | 0 | 599 | 1.648885e+02 | 1.960000e+02 | 18.87%
238.05/238.16 o 195
238.05/238.16 c p 238s| 1040 | 1041 | 1581k|1498.5 |5594k| 33 | - | 473 | 560 | 473 | 969 | 758 | 0 | 599 | 1.648885e+02 | 1.950000e+02 | 18.26%
243.06/243.10 c 243s| 1100 | 1101 | 1623k|1454.2 |5471k| 57 | 260 | 473 | 560 | 473 | 969 | 758 | 0 | 601 | 1.648904e+02 | 1.950000e+02 | 18.26%
245.65/245.74 c 246s| 1200 | 1199 | 1647k|1353.2 |5546k| 98 | 165 | 473 | 560 | 473 | 969 | 758 | 0 | 604 | 1.648904e+02 | 1.950000e+02 | 18.26%
246.55/246.64 c 247s| 1300 | 1297 | 1656k|1256.2 |5622k| 107 | 162 | 473 | 560 | 473 | 969 | 758 | 0 | 604 | 1.648904e+02 | 1.950000e+02 | 18.26%
248.75/248.81 c 249s| 1400 | 1383 | 1675k|1179.7 |5699k| 107 | 148 | 473 | 560 | 473 | 969 | 758 | 0 | 607 | 1.648924e+02 | 1.950000e+02 | 18.26%
249.55/249.61 c 250s| 1500 | 1445 | 1682k|1105.6 |5753k| 110 | 392 | 473 | 560 | 473 | 969 | 758 | 0 | 608 | 1.649030e+02 | 1.950000e+02 | 18.25%
255.05/255.17 c 255s| 1600 | 1479 | 1719k|1059.8 |5782k| 114 | 128 | 473 | 560 | 473 | 969 | 758 | 0 | 649 | 1.649101e+02 | 1.950000e+02 | 18.25%
256.74/256.80 c 257s| 1700 | 1537 | 1732k|1005.1 |5832k| 114 | 132 | 473 | 560 | 473 | 969 | 758 | 0 | 649 | 1.649418e+02 | 1.950000e+02 | 18.22%
259.25/259.36 c 259s| 1800 | 1587 | 1749k| 958.9 |5875k| 118 | 139 | 473 | 560 | 473 | 969 | 758 | 0 | 670 | 1.649440e+02 | 1.950000e+02 | 18.22%
261.25/261.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.25/261.34 c 261s| 1900 | 1631 | 1767k| 917.6 |5913k| 121 | - | 473 | 560 | 473 | 969 | 758 | 0 | 673 | 1.649470e+02 | 1.950000e+02 | 18.22%
263.24/263.30 c 263s| 2000 | 1683 | 1782k| 879.1 |5960k| 121 | 137 | 473 | 560 | 473 | 969 | 758 | 0 | 686 | 1.649470e+02 | 1.950000e+02 | 18.22%
264.65/264.76 c 265s| 2100 | 1723 | 1792k| 842.3 |5998k| 121 | 125 | 473 | 560 | 473 | 969 | 758 | 0 | 691 | 1.649525e+02 | 1.950000e+02 | 18.22%
269.64/269.77 c 270s| 2200 | 1765 | 1832k| 821.9 |6033k| 121 | 138 | 473 | 560 | 473 | 969 | 758 | 0 | 693 | 1.649561e+02 | 1.950000e+02 | 18.21%
269.95/270.03 c 270s| 2300 | 1795 | 1834k| 787.2 |6062k| 123 | 110 | 473 | 560 | 473 | 969 | 758 | 0 | 693 | 1.649561e+02 | 1.950000e+02 | 18.21%
271.65/271.72 c 272s| 2400 | 1823 | 1847k| 759.8 |6089k| 123 | 116 | 473 | 560 | 473 | 969 | 758 | 0 | 694 | 1.649662e+02 | 1.950000e+02 | 18.21%
273.45/273.55 c 274s| 2500 | 1835 | 1861k| 735.1 |6099k| 125 | 121 | 473 | 560 | 473 | 969 | 758 | 0 | 694 | 1.649662e+02 | 1.950000e+02 | 18.21%
275.24/275.31 c 275s| 2600 | 1865 | 1876k| 712.4 |6124k| 125 | 116 | 473 | 560 | 473 | 969 | 758 | 0 | 694 | 1.649678e+02 | 1.950000e+02 | 18.20%
278.65/278.72 c 279s| 2700 | 1915 | 1902k| 695.7 |6165k| 125 | 136 | 473 | 560 | 473 | 969 | 758 | 0 | 701 | 1.649693e+02 | 1.950000e+02 | 18.20%
281.74/281.88 c 282s| 2800 | 1961 | 1926k| 679.4 |6207k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 706 | 1.649699e+02 | 1.950000e+02 | 18.20%
283.65/283.72 c 284s| 2900 | 1997 | 1941k| 661.0 |6236k| 125 | 132 | 473 | 560 | 473 | 969 | 758 | 0 | 707 | 1.649723e+02 | 1.950000e+02 | 18.20%
287.24/287.34 c 287s| 3000 | 2039 | 1967k| 647.8 |6277k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 716 | 1.649803e+02 | 1.950000e+02 | 18.20%
292.04/292.14 c 292s| 3100 | 2079 | 1996k| 636.2 |6312k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 748 | 1.649927e+02 | 1.950000e+02 | 18.19%
293.74/293.81 c 294s| 3200 | 2115 | 2009k| 620.5 |6341k| 125 | 131 | 473 | 560 | 473 | 969 | 758 | 0 | 748 | 1.650064e+02 | 1.950000e+02 | 18.18%
297.14/297.23 c 297s| 3300 | 2177 | 2029k| 607.7 |6394k| 125 | 386 | 473 | 560 | 473 | 969 | 758 | 0 | 775 | 1.650133e+02 | 1.950000e+02 | 18.17%
303.94/304.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.94/304.05 c 304s| 3400 | 2231 | 2078k| 604.3 |6432k| 125 | 149 | 473 | 560 | 473 | 969 | 758 | 0 | 789 | 1.650248e+02 | 1.950000e+02 | 18.16%
305.83/305.90 c 306s| 3500 | 2269 | 2093k| 591.2 |6465k| 125 | 127 | 473 | 560 | 473 | 969 | 758 | 0 | 794 | 1.650260e+02 | 1.950000e+02 | 18.16%
308.04/308.19 c 308s| 3600 | 2309 | 2112k| 580.2 |6498k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 795 | 1.650314e+02 | 1.950000e+02 | 18.16%
309.83/309.93 c 310s| 3700 | 2343 | 2126k| 568.2 |6529k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 795 | 1.650422e+02 | 1.950000e+02 | 18.15%
311.73/311.87 c 312s| 3800 | 2357 | 2142k| 557.3 |6540k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 796 | 1.650452e+02 | 1.950000e+02 | 18.15%
313.84/313.96 c 314s| 3900 | 2403 | 2157k| 547.1 |6578k| 125 | 387 | 473 | 560 | 473 | 969 | 758 | 0 | 797 | 1.650515e+02 | 1.950000e+02 | 18.14%
316.64/316.73 c 317s| 4000 | 2443 | 2180k| 539.2 |6615k| 125 | 116 | 473 | 560 | 473 | 969 | 758 | 0 | 797 | 1.650522e+02 | 1.950000e+02 | 18.14%
317.85/317.94 c 318s| 4100 | 2471 | 2189k| 528.1 |6640k| 125 | 364 | 473 | 560 | 473 | 969 | 758 | 0 | 797 | 1.650640e+02 | 1.950000e+02 | 18.14%
319.64/319.79 c 320s| 4200 | 2511 | 2204k| 519.0 |6676k| 125 | 114 | 473 | 560 | 473 | 969 | 758 | 0 | 798 | 1.650650e+02 | 1.950000e+02 | 18.14%
319.94/320.08 c 320s| 4300 | 2545 | 2206k| 507.6 |6710k| 125 | 141 | 473 | 560 | 473 | 969 | 758 | 0 | 798 | 1.650650e+02 | 1.950000e+02 | 18.14%
322.14/322.23 c 322s| 4400 | 2573 | 2224k| 500.1 |6735k| 125 | 379 | 473 | 560 | 473 | 969 | 758 | 0 | 798 | 1.650689e+02 | 1.950000e+02 | 18.13%
326.44/326.57 c 327s| 4500 | 2611 | 2256k| 495.9 |6766k| 125 | 100 | 473 | 560 | 473 | 969 | 758 | 0 | 810 | 1.650718e+02 | 1.950000e+02 | 18.13%
326.64/326.79 c 327s| 4600 | 2619 | 2258k| 485.6 |6775k| 125 | 137 | 473 | 560 | 473 | 969 | 758 | 0 | 810 | 1.650718e+02 | 1.950000e+02 | 18.13%
327.84/327.93 c 328s| 4700 | 2661 | 2264k| 476.7 |6815k| 125 | 374 | 473 | 560 | 473 | 969 | 758 | 0 | 819 | 1.650773e+02 | 1.950000e+02 | 18.13%
330.63/330.72 c 331s| 4800 | 2679 | 2286k| 471.2 |6836k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 833 | 1.650779e+02 | 1.950000e+02 | 18.13%
334.35/334.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
334.35/334.45 c 334s| 4900 | 2713 | 2311k| 466.7 |6865k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 848 | 1.650844e+02 | 1.950000e+02 | 18.12%
336.03/336.13 c 336s| 5000 | 2753 | 2320k| 459.2 |6895k| 125 | 384 | 473 | 560 | 473 | 969 | 758 | 0 | 877 | 1.650850e+02 | 1.950000e+02 | 18.12%
338.03/338.13 c 338s| 5100 | 2785 | 2336k| 453.4 |6921k| 125 | 133 | 473 | 560 | 473 | 969 | 758 | 0 | 878 | 1.650860e+02 | 1.950000e+02 | 18.12%
339.84/339.95 c 340s| 5200 | 2809 | 2350k| 447.3 |6947k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 889 | 1.650881e+02 | 1.950000e+02 | 18.12%
343.03/343.19 c 343s| 5300 | 2853 | 2374k| 443.4 |6980k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 897 | 1.650916e+02 | 1.950000e+02 | 18.12%
346.13/346.20 c 346s| 5400 | 2915 | 2396k| 439.4 |7027k| 125 | 123 | 473 | 560 | 473 | 969 | 758 | 0 | 899 | 1.650935e+02 | 1.950000e+02 | 18.11%
347.33/347.46 c 347s| 5500 | 2957 | 2405k| 433.0 |7060k| 125 | 368 | 473 | 560 | 473 | 969 | 758 | 0 | 901 | 1.651008e+02 | 1.950000e+02 | 18.11%
351.73/351.81 c 352s| 5600 | 2989 | 2440k| 431.5 |7085k| 125 | 110 | 473 | 560 | 473 | 969 | 758 | 0 | 903 | 1.651021e+02 | 1.950000e+02 | 18.11%
355.43/355.53 c 356s| 5700 | 3015 | 2471k| 429.3 |7106k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 903 | 1.651091e+02 | 1.950000e+02 | 18.10%
355.73/355.89 c 356s| 5800 | 3041 | 2475k| 422.5 |7126k| 125 | 159 | 473 | 560 | 473 | 969 | 758 | 0 | 903 | 1.651091e+02 | 1.950000e+02 | 18.10%
357.34/357.43 c 357s| 5900 | 3057 | 2486k| 417.4 |7143k| 125 | 106 | 473 | 560 | 473 | 969 | 758 | 0 | 903 | 1.651096e+02 | 1.950000e+02 | 18.10%
362.03/362.15 c 362s| 6000 | 3093 | 2522k| 416.4 |7169k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 903 | 1.651138e+02 | 1.950000e+02 | 18.10%
365.43/365.55 c 366s| 6100 | 3129 | 2547k| 413.7 |7198k| 125 | 111 | 473 | 560 | 473 | 969 | 758 | 0 | 912 | 1.651145e+02 | 1.950000e+02 | 18.10%
369.23/369.31 c 369s| 6200 | 3157 | 2572k| 410.9 |7222k| 125 | 114 | 473 | 560 | 473 | 969 | 758 | 0 | 927 | 1.651186e+02 | 1.950000e+02 | 18.10%
370.64/370.75 c 371s| 6300 | 3193 | 2579k| 405.6 |7247k| 125 | 97 | 473 | 560 | 473 | 969 | 758 | 0 | 943 | 1.651233e+02 | 1.950000e+02 | 18.09%
373.13/373.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
373.13/373.27 c 373s| 6400 | 3243 | 2597k| 402.1 |7288k| 125 | 153 | 473 | 560 | 473 | 969 | 758 | 0 | 956 | 1.651283e+02 | 1.950000e+02 | 18.09%
374.23/374.35 c 374s| 6500 | 3289 | 2603k| 396.8 |7330k| 125 | 377 | 473 | 560 | 473 | 969 | 758 | 0 | 968 | 1.651299e+02 | 1.950000e+02 | 18.09%
377.03/377.11 c 377s| 6600 | 3305 | 2626k| 394.2 |7345k| 125 | 112 | 473 | 560 | 473 | 969 | 758 | 0 | 968 | 1.651350e+02 | 1.950000e+02 | 18.09%
380.23/380.39 c 380s| 6700 | 3331 | 2648k| 391.7 |7365k| 125 | 117 | 473 | 560 | 473 | 969 | 758 | 0 | 987 | 1.651352e+02 | 1.950000e+02 | 18.09%
382.33/382.40 c 382s| 6800 | 3375 | 2665k| 388.4 |7406k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 | 999 | 1.651362e+02 | 1.950000e+02 | 18.08%
382.53/382.69 c 383s| 6900 | 3407 | 2668k| 383.2 |7435k| 125 | 119 | 473 | 560 | 473 | 969 | 758 | 0 |1000 | 1.651362e+02 | 1.950000e+02 | 18.08%
382.83/382.99 c 383s| 7000 | 3429 | 2671k| 378.1 |7465k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1001 | 1.651362e+02 | 1.950000e+02 | 18.08%
384.83/384.91 c 385s| 7100 | 3445 | 2686k| 374.9 |7475k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1003 | 1.651365e+02 | 1.950000e+02 | 18.08%
387.03/387.12 c 387s| 7200 | 3473 | 2703k| 372.1 |7494k| 125 | 125 | 473 | 560 | 473 | 969 | 758 | 0 |1005 | 1.651377e+02 | 1.950000e+02 | 18.08%
387.83/387.90 c 388s| 7300 | 3495 | 2709k| 367.8 |7515k| 125 | 391 | 473 | 560 | 473 | 969 | 758 | 0 |1006 | 1.651377e+02 | 1.950000e+02 | 18.08%
391.43/391.50 c 392s| 7400 | 3527 | 2739k| 366.9 |7545k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1006 | 1.651427e+02 | 1.950000e+02 | 18.08%
391.62/391.73 c 392s| 7500 | 3541 | 2741k| 362.3 |7563k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1006 | 1.651427e+02 | 1.950000e+02 | 18.08%
394.83/394.99 c 395s| 7600 | 3563 | 2767k| 361.0 |7577k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1006 | 1.651448e+02 | 1.950000e+02 | 18.08%
398.13/398.22 c 398s| 7700 | 3603 | 2792k| 359.5 |7605k| 125 | 114 | 473 | 560 | 473 | 969 | 758 | 0 |1007 | 1.651537e+02 | 1.950000e+02 | 18.07%
401.33/401.41 c 401s| 7800 | 3631 | 2817k| 358.1 |7631k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1007 | 1.651637e+02 | 1.950000e+02 | 18.06%
404.63/404.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
404.63/404.74 c 405s| 7900 | 3673 | 2843k| 356.9 |7661k| 125 | 127 | 473 | 560 | 473 | 969 | 758 | 0 |1007 | 1.651657e+02 | 1.950000e+02 | 18.06%
408.73/408.87 c 409s| 8000 | 3715 | 2876k| 356.5 |7700k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1007 | 1.651703e+02 | 1.950000e+02 | 18.06%
409.53/409.62 c 410s| 8100 | 3739 | 2882k| 352.9 |7717k| 125 | 368 | 473 | 560 | 473 | 969 | 758 | 0 |1007 | 1.651741e+02 | 1.950000e+02 | 18.06%
411.42/411.54 c 412s| 8200 | 3775 | 2898k| 350.4 |7746k| 125 | 144 | 473 | 560 | 473 | 969 | 758 | 0 |1007 | 1.651746e+02 | 1.950000e+02 | 18.06%
413.82/413.91 c 414s| 8300 | 3805 | 2916k| 348.4 |7773k| 125 | 123 | 473 | 560 | 473 | 969 | 758 | 0 |1007 | 1.651795e+02 | 1.950000e+02 | 18.05%
415.02/415.16 c 415s| 8400 | 3821 | 2925k| 345.4 |7785k| 125 | 373 | 473 | 560 | 473 | 969 | 758 | 0 |1007 | 1.651825e+02 | 1.950000e+02 | 18.05%
417.93/418.09 c 418s| 8500 | 3859 | 2949k| 344.1 |7813k| 125 | 141 | 473 | 560 | 473 | 969 | 758 | 0 |1007 | 1.651842e+02 | 1.950000e+02 | 18.05%
418.72/418.86 c 419s| 8600 | 3877 | 2955k| 340.8 |7833k| 125 | 117 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.651882e+02 | 1.950000e+02 | 18.05%
419.03/419.11 c 419s| 8700 | 3889 | 2957k| 337.1 |7843k| 125 | 111 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.651882e+02 | 1.950000e+02 | 18.05%
420.62/420.75 c 421s| 8800 | 3899 | 2970k| 334.7 |7856k| 125 | 129 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.651930e+02 | 1.950000e+02 | 18.04%
423.62/423.73 c 424s| 8900 | 3945 | 2994k| 333.6 |7889k| 125 | 158 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.651933e+02 | 1.950000e+02 | 18.04%
423.92/424.00 c 424s| 9000 | 3963 | 2996k| 330.2 |7907k| 125 | - | 473 | 560 | 0 | 0 | 758 | 0 |1009 | 1.651933e+02 | 1.950000e+02 | 18.04%
425.42/425.52 c 426s| 9100 | 3997 | 3009k| 328.0 |7935k| 125 | 127 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.651952e+02 | 1.950000e+02 | 18.04%
430.92/431.06 c 431s| 9200 | 4039 | 3052k| 329.1 |7965k| 125 | 120 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.651996e+02 | 1.950000e+02 | 18.04%
431.22/431.37 c 431s| 9300 | 4065 | 3055k| 325.9 |7987k| 125 | 143 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.651996e+02 | 1.950000e+02 | 18.04%
434.42/434.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
434.42/434.57 c 435s| 9400 | 4107 | 3090k| 326.2 |8025k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.651996e+02 | 1.950000e+02 | 18.04%
436.52/436.70 c 437s| 9500 | 4135 | 3106k| 324.5 |8045k| 125 | 382 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.652005e+02 | 1.950000e+02 | 18.04%
439.32/439.45 c 439s| 9600 | 4179 | 3129k| 323.5 |8079k| 125 | 120 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.652059e+02 | 1.950000e+02 | 18.03%
439.61/439.70 c 440s| 9700 | 4193 | 3132k| 320.4 |8103k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.652059e+02 | 1.950000e+02 | 18.03%
441.92/442.07 c 442s| 9800 | 4243 | 3150k| 319.0 |8140k| 125 | 126 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.652078e+02 | 1.950000e+02 | 18.03%
445.02/445.19 c 445s| 9900 | 4279 | 3174k| 318.2 |8175k| 125 | 130 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.652079e+02 | 1.950000e+02 | 18.03%
446.71/446.83 c 447s| 10000 | 4311 | 3186k| 316.2 |8196k| 125 | 373 | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.652119e+02 | 1.950000e+02 | 18.03%
448.62/448.72 c 449s| 10100 | 4341 | 3201k| 314.6 |8222k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1009 | 1.652122e+02 | 1.950000e+02 | 18.03%
452.81/452.92 c 453s| 10200 | 4399 | 3233k| 314.6 |8265k| 125 | 397 | 473 | 560 | 473 | 969 | 758 | 0 |1010 | 1.652171e+02 | 1.950000e+02 | 18.03%
456.72/456.85 c 457s| 10300 | 4451 | 3263k| 314.5 |8305k| 125 | 142 | 473 | 560 | 473 | 969 | 758 | 0 |1011 | 1.652188e+02 | 1.950000e+02 | 18.03%
457.02/457.11 c 457s| 10400 | 4475 | 3265k| 311.7 |8329k| 125 | 132 | 473 | 560 | 473 | 969 | 758 | 0 |1011 | 1.652188e+02 | 1.950000e+02 | 18.03%
459.62/459.77 c 460s| 10500 | 4511 | 3288k| 310.8 |8362k| 125 | 136 | 473 | 560 | 473 | 969 | 758 | 0 |1011 | 1.652209e+02 | 1.950000e+02 | 18.02%
459.91/460.06 c 460s| 10600 | 4513 | 3290k| 308.1 |8371k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1011 | 1.652209e+02 | 1.950000e+02 | 18.02%
460.52/460.63 c 461s| 10700 | 4551 | 3296k| 305.8 |8403k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1011 | 1.652209e+02 | 1.950000e+02 | 18.02%
462.32/462.45 c 462s| 10800 | 4593 | 3311k| 304.4 |8437k| 125 | 139 | 473 | 560 | 473 | 969 | 758 | 0 |1011 | 1.652210e+02 | 1.950000e+02 | 18.02%
465.01/465.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
465.01/465.10 c 465s| 10900 | 4633 | 3329k| 303.2 |8465k| 125 | 381 | 473 | 560 | 473 | 969 | 758 | 0 |1024 | 1.652219e+02 | 1.950000e+02 | 18.02%
469.21/469.39 c 469s| 11000 | 4681 | 3358k| 303.0 |8503k| 125 | 138 | 473 | 560 | 473 | 969 | 758 | 0 |1042 | 1.652256e+02 | 1.950000e+02 | 18.02%
469.52/469.67 c 470s| 11100 | 4715 | 3360k| 300.6 |8535k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1042 | 1.652256e+02 | 1.950000e+02 | 18.02%
474.02/474.11 c 474s| 11200 | 4761 | 3395k| 300.9 |8572k| 125 | 138 | 473 | 560 | 473 | 969 | 758 | 0 |1052 | 1.652261e+02 | 1.950000e+02 | 18.02%
475.61/475.77 c 476s| 11300 | 4787 | 3407k| 299.4 |8593k| 125 | 141 | 473 | 560 | 473 | 969 | 758 | 0 |1059 | 1.652262e+02 | 1.950000e+02 | 18.02%
476.12/476.26 c 476s| 11400 | 4831 | 3412k| 297.2 |8634k| 125 | 134 | 473 | 560 | 473 | 969 | 758 | 0 |1062 | 1.652262e+02 | 1.950000e+02 | 18.02%
476.92/477.01 c 477s| 11500 | 4863 | 3417k| 295.1 |8663k| 125 | 393 | 473 | 560 | 473 | 969 | 758 | 0 |1065 | 1.652298e+02 | 1.950000e+02 | 18.02%
481.32/481.44 c 481s| 11600 | 4911 | 3451k| 295.4 |8703k| 125 | 376 | 473 | 560 | 473 | 969 | 758 | 0 |1066 | 1.652338e+02 | 1.950000e+02 | 18.01%
484.72/484.87 c 485s| 11700 | 4953 | 3478k| 295.2 |8740k| 125 | 377 | 473 | 560 | 473 | 969 | 758 | 0 |1069 | 1.652357e+02 | 1.950000e+02 | 18.01%
486.92/487.08 c 487s| 11800 | 4989 | 3495k| 294.1 |8769k| 125 | 117 | 473 | 560 | 473 | 969 | 758 | 0 |1072 | 1.652366e+02 | 1.950000e+02 | 18.01%
489.21/489.35 c 489s| 11900 | 5023 | 3513k| 293.2 |8789k| 125 | 376 | 473 | 560 | 473 | 969 | 758 | 0 |1072 | 1.652374e+02 | 1.950000e+02 | 18.01%
491.01/491.16 c 491s| 12000 | 5069 | 3527k| 291.9 |8822k| 125 | 148 | 473 | 560 | 473 | 969 | 758 | 0 |1072 | 1.652375e+02 | 1.950000e+02 | 18.01%
492.72/492.83 c 493s| 12100 | 5091 | 3541k| 290.6 |8851k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1072 | 1.652375e+02 | 1.950000e+02 | 18.01%
496.11/496.27 c 496s| 12200 | 5125 | 3570k| 290.6 |8878k| 125 | - | 473 | 560 | 0 | 0 | 758 | 0 |1072 | 1.652417e+02 | 1.950000e+02 | 18.01%
499.90/500.08 c 500s| 12300 | 5181 | 3597k| 290.4 |8920k| 125 | - | 473 | 560 | 473 | 969 | 758 | 0 |1081 | 1.652434e+02 | 1.950000e+02 | 18.01%
502.71/502.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
502.71/502.83 c 503s| 12400 | 5231 | 3615k| 289.6 |8956k| 125 | 135 | 473 | 560 | 473 | 969 | 758 | 0 |1093 | 1.652438e+02 | 1.950000e+02 | 18.01%
503.41/503.55 c 504s| 12500 | 5263 | 3622k| 287.9 |8990k| 125 | - | 473 | 565 | 473 | 969 | 758 | 5 |1102 | 1.652438e+02 | 1.950000e+02 | 18.01%
506.41/506.52 c 507s| 12600 | 5311 | 3641k| 287.1 |9028k| 125 | - | 473 | 565 | 473 | 969 | 758 | 5 |1121 | 1.652475e+02 | 1.950000e+02 | 18.00%
508.02/508.15 c 508s| 12700 | 5327 | 3655k| 285.9 |9048k| 125 | 113 | 473 | 565 | 473 | 969 | 758 | 5 |1121 | 1.652489e+02 | 1.950000e+02 | 18.00%
508.41/508.54 c 509s| 12800 | 5349 | 3658k| 283.9 |9069k| 125 | - | 473 | 565 | 473 | 969 | 758 | 5 |1121 | 1.652489e+02 | 1.950000e+02 | 18.00%
511.01/511.15 c 511s| 12900 | 5373 | 3675k| 283.0 |9085k| 125 | 103 | 473 | 565 | 473 | 969 | 758 | 5 |1136 | 1.652490e+02 | 1.950000e+02 | 18.00%
511.42/511.55 c 512s| 13000 | 5397 | 3678k| 281.1 |9104k| 125 | - | 473 | 565 | 473 | 969 | 758 | 5 |1143 | 1.652490e+02 | 1.950000e+02 | 18.00%
515.30/515.41 c 515s| 13100 | 5439 | 3707k| 281.2 |9143k| 125 | - | 473 | 565 | 473 | 969 | 758 | 5 |1150 | 1.652508e+02 | 1.950000e+02 | 18.00%
516.10/516.24 c 516s| 13200 | 5475 | 3714k| 279.5 |9169k| 125 | 131 | 473 | 565 | 473 | 969 | 758 | 5 |1154 | 1.652521e+02 | 1.950000e+02 | 18.00%
519.60/519.70 c 520s| 13300 | 5509 | 3742k| 279.5 |9197k| 125 | 133 | 473 | 565 | 473 | 969 | 758 | 5 |1154 | 1.652545e+02 | 1.950000e+02 | 18.00%
523.42/523.56 c 524s| 13400 | 5559 | 3772k| 279.7 |9236k| 125 | 378 | 473 | 565 | 473 | 969 | 758 | 5 |1154 | 1.652593e+02 | 1.950000e+02 | 18.00%
525.71/525.81 c 526s| 13500 | 5597 | 3789k| 278.9 |9267k| 125 | - | 473 | 565 | 473 | 969 | 758 | 5 |1154 | 1.652606e+02 | 1.950000e+02 | 18.00%
527.30/527.42 c 527s| 13600 | 5621 | 3802k| 277.8 |9291k| 125 | - | 473 | 565 | 473 | 969 | 758 | 5 |1154 | 1.652625e+02 | 1.950000e+02 | 17.99%
529.20/529.39 c 529s| 13700 | 5657 | 3818k| 276.9 |9319k| 125 | - | 473 | 565 | 473 | 969 | 758 | 5 |1154 | 1.652625e+02 | 1.950000e+02 | 17.99%
531.80/531.95 c 532s| 13800 | 5695 | 3839k| 276.4 |9348k| 125 | 131 | 473 | 565 | 473 | 969 | 758 | 5 |1154 | 1.652632e+02 | 1.950000e+02 | 17.99%
534.30/534.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
534.30/534.46 c 534s| 13900 | 5743 | 3859k| 275.9 |9397k| 125 | - | 473 | 565 | 473 | 969 | 758 | 5 |1154 | 1.652643e+02 | 1.950000e+02 | 17.99%
536.40/536.53 c 537s| 14000 | 5779 | 3873k| 274.9 |9429k| 125 | 129 | 473 | 565 | 473 | 969 | 758 | 5 |1164 | 1.652652e+02 | 1.950000e+02 | 17.99%
538.51/538.62 c 539s| 14100 | 5813 | 3889k| 274.1 |9456k| 125 | 144 | 473 | 565 | 473 | 969 | 758 | 5 |1178 | 1.652661e+02 | 1.950000e+02 | 17.99%
542.30/542.42 c 542s| 14200 | 5871 | 3914k| 273.9 |9503k| 125 | 377 | 473 | 565 | 473 | 969 | 758 | 5 |1200 | 1.652672e+02 | 1.950000e+02 | 17.99%
544.30/544.41 c 544s| 14300 | 5907 | 3930k| 273.1 |9536k| 125 | - | 473 | 565 | 0 | 0 | 758 | 5 |1200 | 1.652692e+02 | 1.950000e+02 | 17.99%
547.61/547.78 c 548s| 14400 | 5951 | 3950k| 272.6 |9570k| 125 | 385 | 473 | 565 | 473 | 969 | 758 | 5 |1224 | 1.652705e+02 | 1.950000e+02 | 17.99%
551.10/551.24 c 551s| 14500 | 6001 | 3976k| 272.5 |9609k| 125 | 116 | 473 | 565 | 473 | 969 | 758 | 5 |1230 | 1.652741e+02 | 1.950000e+02 | 17.99%
552.20/552.39 c 552s| 14600 | 6071 | 3985k| 271.3 |9661k| 125 | 185 | 473 | 565 | 473 | 969 | 758 | 5 |1235 | 1.652752e+02 | 1.950000e+02 | 17.99%
553.10/553.21 c 553s| 14700 | 6171 | 3993k| 270.0 |9734k| 125 | 165 | 473 | 565 | 473 | 969 | 758 | 5 |1238 | 1.652752e+02 | 1.950000e+02 | 17.99%
554.90/555.04 c 555s| 14800 | 6255 | 4009k| 269.3 |9809k| 125 | - | 473 | 565 | 473 | 969 | 758 | 5 |1239 | 1.652766e+02 | 1.950000e+02 | 17.98%
556.70/556.82 c 557s| 14900 | 6291 | 4023k| 268.4 |9841k| 126 | 118 | 473 | 565 | 473 | 969 | 758 | 5 |1240 | 1.652768e+02 | 1.950000e+02 | 17.98%
558.20/558.30 c 558s| 15000 | 6329 | 4035k| 267.4 |9878k| 126 | - | 473 | 565 | 473 | 969 | 758 | 5 |1241 | 1.652768e+02 | 1.950000e+02 | 17.98%
562.10/562.28 c 562s| 15100 | 6383 | 4066k| 267.7 |9921k| 126 | 109 | 473 | 565 | 473 | 969 | 758 | 5 |1241 | 1.652841e+02 | 1.950000e+02 | 17.98%
563.40/563.56 c 564s| 15200 | 6427 | 4076k| 266.6 |9962k| 126 | 127 | 473 | 565 | 473 | 969 | 758 | 5 |1241 | 1.652859e+02 | 1.950000e+02 | 17.98%
564.30/564.45 c 564s| 15300 | 6459 | 4083k| 265.3 |9991k| 126 | 147 | 473 | 565 | 473 | 969 | 758 | 5 |1243 | 1.652863e+02 | 1.950000e+02 | 17.98%
569.09/569.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
569.09/569.23 c 569s| 15400 | 6511 | 4122k| 266.1 | 10M| 126 | 123 | 473 | 569 | 473 | 969 | 758 | 9 |1244 | 1.652879e+02 | 1.950000e+02 | 17.98%
570.81/570.91 c 571s| 15500 | 6543 | 4136k| 265.3 | 10M| 126 | 107 | 473 | 569 | 473 | 969 | 758 | 9 |1244 | 1.652891e+02 | 1.950000e+02 | 17.98%
572.39/572.52 c 573s| 15600 | 6567 | 4149k| 264.4 | 10M| 126 | 119 | 473 | 569 | 473 | 969 | 758 | 9 |1244 | 1.652901e+02 | 1.950000e+02 | 17.97%
576.49/576.62 c 577s| 15700 | 6619 | 4178k| 264.6 | 10M| 126 | 381 | 473 | 569 | 473 | 969 | 758 | 9 |1257 | 1.652927e+02 | 1.950000e+02 | 17.97%
578.99/579.15 c 579s| 15800 | 6661 | 4199k| 264.2 | 10M| 126 | 106 | 473 | 569 | 473 | 969 | 758 | 9 |1257 | 1.652948e+02 | 1.950000e+02 | 17.97%
583.00/583.11 c 583s| 15900 | 6697 | 4226k| 264.3 | 10M| 126 | 367 | 473 | 569 | 473 | 969 | 758 | 9 |1270 | 1.652962e+02 | 1.950000e+02 | 17.97%
586.70/586.81 c 587s| 16000 | 6755 | 4248k| 264.0 | 10M| 126 | 378 | 473 | 569 | 473 | 969 | 758 | 9 |1297 | 1.652985e+02 | 1.950000e+02 | 17.97%
589.50/589.65 c 590s| 16100 | 6803 | 4270k| 263.7 | 10M| 126 | 110 | 473 | 569 | 473 | 969 | 758 | 9 |1297 | 1.653015e+02 | 1.950000e+02 | 17.97%
592.70/592.84 c 593s| 16200 | 6839 | 4291k| 263.4 | 10M| 126 | 107 | 473 | 569 | 473 | 969 | 758 | 9 |1312 | 1.653031e+02 | 1.950000e+02 | 17.97%
596.00/596.15 c 596s| 16300 | 6873 | 4313k| 263.1 | 10M| 126 | 118 | 473 | 569 | 473 | 969 | 758 | 9 |1334 | 1.653042e+02 | 1.950000e+02 | 17.96%
597.30/597.47 c 597s| 16400 | 6911 | 4322k| 262.1 | 10M| 126 | - | 473 | 569 | 473 | 969 | 758 | 9 |1338 | 1.653063e+02 | 1.950000e+02 | 17.96%
608.60/608.78 c 609s| 16500 | 6959 | 4441k| 267.7 | 10M| 126 | 118 | 473 | 569 | 473 | 969 | 758 | 9 |1346 | 1.653099e+02 | 1.950000e+02 | 17.96%
608.79/608.97 c 609s| 16600 | 6965 | 4443k| 266.2 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1349 | 1.653099e+02 | 1.950000e+02 | 17.96%
612.19/612.31 c 612s| 16700 | 6997 | 4470k| 266.2 | 10M| 128 | 99 | 473 | 569 | 473 | 969 | 758 | 9 |1353 | 1.653104e+02 | 1.950000e+02 | 17.96%
613.80/613.99 c 614s| 16800 | 7009 | 4483k| 265.4 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1354 | 1.653109e+02 | 1.950000e+02 | 17.96%
616.09/616.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
616.09/616.26 c 616s| 16900 | 7045 | 4500k| 264.8 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1359 | 1.653123e+02 | 1.950000e+02 | 17.96%
619.09/619.24 c 619s| 17000 | 7089 | 4522k| 264.6 | 10M| 128 | 121 | 473 | 569 | 473 | 969 | 758 | 9 |1359 | 1.653138e+02 | 1.950000e+02 | 17.96%
622.40/622.54 c 623s| 17100 | 7115 | 4549k| 264.6 | 10M| 128 | 112 | 473 | 569 | 473 | 969 | 758 | 9 |1360 | 1.653139e+02 | 1.950000e+02 | 17.96%
623.70/623.85 c 624s| 17200 | 7147 | 4559k| 263.6 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1360 | 1.653159e+02 | 1.950000e+02 | 17.96%
625.39/625.53 c 626s| 17300 | 7153 | 4572k| 262.9 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1360 | 1.653163e+02 | 1.950000e+02 | 17.96%
628.79/628.92 c 629s| 17400 | 7191 | 4600k| 263.0 | 10M| 128 | 137 | 473 | 569 | 473 | 969 | 758 | 9 |1361 | 1.653177e+02 | 1.950000e+02 | 17.95%
630.99/631.18 c 631s| 17500 | 7225 | 4617k| 262.5 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1362 | 1.653187e+02 | 1.950000e+02 | 17.95%
632.69/632.86 c 633s| 17600 | 7273 | 4630k| 261.7 | 10M| 128 | 371 | 473 | 569 | 473 | 969 | 758 | 9 |1362 | 1.653213e+02 | 1.950000e+02 | 17.95%
632.99/633.17 c 633s| 17700 | 7289 | 4632k| 260.3 | 10M| 128 | 133 | 473 | 569 | 473 | 969 | 758 | 9 |1362 | 1.653213e+02 | 1.950000e+02 | 17.95%
635.39/635.58 c 636s| 17800 | 7333 | 4649k| 259.8 | 10M| 128 | 118 | 473 | 569 | 473 | 969 | 758 | 9 |1372 | 1.653251e+02 | 1.950000e+02 | 17.95%
638.99/639.18 c 639s| 17900 | 7379 | 4673k| 259.7 | 10M| 128 | 370 | 473 | 569 | 473 | 969 | 758 | 9 |1384 | 1.653274e+02 | 1.950000e+02 | 17.95%
640.49/640.60 c 641s| 18000 | 7389 | 4682k| 258.8 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1394 | 1.653274e+02 | 1.950000e+02 | 17.95%
644.99/645.14 c 645s| 18100 | 7437 | 4714k| 259.1 | 10M| 128 | 382 | 473 | 569 | 473 | 969 | 758 | 9 |1409 | 1.653311e+02 | 1.950000e+02 | 17.95%
648.59/648.76 c 649s| 18200 | 7495 | 4738k| 259.0 | 10M| 128 | 365 | 473 | 569 | 473 | 969 | 758 | 9 |1426 | 1.653344e+02 | 1.950000e+02 | 17.94%
649.39/649.50 c 650s| 18300 | 7515 | 4744k| 257.9 | 10M| 128 | 116 | 473 | 569 | 473 | 969 | 758 | 9 |1426 | 1.653346e+02 | 1.950000e+02 | 17.94%
650.79/650.94 o 194
650.79/650.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
650.79/650.94 c p 651s| 18333 | 6843 | 4754k| 258.0 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1431 | 1.653349e+02 | 1.940000e+02 | 17.34%
652.89/653.03 c 653s| 18400 | 6874 | 4768k| 257.8 |9891k| 128 | 386 | 473 | 569 | 473 | 969 | 758 | 9 |1439 | 1.653350e+02 | 1.940000e+02 | 17.34%
654.58/654.77 c 655s| 18500 | 6934 | 4783k| 257.3 |9950k| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1442 | 1.653350e+02 | 1.940000e+02 | 17.34%
657.88/658.04 c 658s| 18600 | 6968 | 4810k| 257.3 |9978k| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1446 | 1.653361e+02 | 1.940000e+02 | 17.34%
662.79/662.98 c 663s| 18700 | 7016 | 4848k| 258.0 | 10M| 128 | 138 | 473 | 569 | 473 | 969 | 758 | 9 |1449 | 1.653377e+02 | 1.940000e+02 | 17.34%
667.39/667.50 c 668s| 18800 | 7054 | 4884k| 258.5 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1449 | 1.653383e+02 | 1.940000e+02 | 17.34%
670.79/670.94 c 671s| 18900 | 7106 | 4911k| 258.5 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1455 | 1.653415e+02 | 1.940000e+02 | 17.33%
673.79/673.91 c 674s| 19000 | 7130 | 4934k| 258.4 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1455 | 1.653422e+02 | 1.940000e+02 | 17.33%
674.58/674.76 c 675s| 19100 | 7142 | 4941k| 257.4 | 10M| 128 | 137 | 473 | 569 | 473 | 969 | 758 | 9 |1455 | 1.653429e+02 | 1.940000e+02 | 17.33%
676.29/676.41 c 676s| 19200 | 7180 | 4955k| 256.8 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1455 | 1.653433e+02 | 1.940000e+02 | 17.33%
679.69/679.89 c 680s| 19300 | 7206 | 4982k| 256.9 | 10M| 128 | 355 | 473 | 569 | 473 | 969 | 758 | 9 |1455 | 1.653460e+02 | 1.940000e+02 | 17.33%
681.79/681.99 c 682s| 19400 | 7252 | 4999k| 256.4 | 10M| 128 | 128 | 473 | 569 | 473 | 969 | 758 | 9 |1455 | 1.653496e+02 | 1.940000e+02 | 17.33%
685.28/685.47 c 685s| 19500 | 7286 | 5019k| 256.1 | 10M| 128 | 124 | 473 | 569 | 473 | 969 | 758 | 9 |1482 | 1.653515e+02 | 1.940000e+02 | 17.33%
685.49/685.69 c 686s| 19600 | 7286 | 5021k| 254.9 | 10M| 128 | 134 | 473 | 569 | 473 | 969 | 758 | 9 |1482 | 1.653515e+02 | 1.940000e+02 | 17.33%
686.98/687.16 c 687s| 19700 | 7320 | 5032k| 254.2 | 10M| 128 | 127 | 473 | 569 | 473 | 969 | 758 | 9 |1482 | 1.653523e+02 | 1.940000e+02 | 17.33%
690.78/690.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.78/690.91 c 691s| 19800 | 7354 | 5061k| 254.4 | 10M| 128 | 108 | 473 | 569 | 473 | 969 | 758 | 9 |1482 | 1.653538e+02 | 1.940000e+02 | 17.32%
691.08/691.25 c 691s| 19900 | 7364 | 5063k| 253.2 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1492 | 1.653538e+02 | 1.940000e+02 | 17.32%
693.48/693.64 c 694s| 20000 | 7392 | 5078k| 252.7 | 10M| 128 | 137 | 473 | 569 | 473 | 969 | 758 | 9 |1510 | 1.653547e+02 | 1.940000e+02 | 17.32%
695.18/695.30 c 695s| 20100 | 7412 | 5092k| 252.1 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1510 | 1.653548e+02 | 1.940000e+02 | 17.32%
696.78/696.93 c 697s| 20200 | 7432 | 5105k| 251.5 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1510 | 1.653564e+02 | 1.940000e+02 | 17.32%
700.18/700.37 c 700s| 20300 | 7474 | 5127k| 251.4 | 10M| 128 | 372 | 473 | 569 | 473 | 969 | 758 | 9 |1528 | 1.653581e+02 | 1.940000e+02 | 17.32%
700.49/700.66 c 701s| 20400 | 7474 | 5130k| 250.3 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1528 | 1.653581e+02 | 1.940000e+02 | 17.32%
705.58/705.76 c 706s| 20500 | 7528 | 5168k| 250.9 | 10M| 128 | 160 | 473 | 569 | 473 | 969 | 758 | 9 |1537 | 1.653588e+02 | 1.940000e+02 | 17.32%
706.38/706.55 c 707s| 20600 | 7566 | 5175k| 250.0 | 10M| 128 | 347 | 473 | 569 | 473 | 969 | 758 | 9 |1537 | 1.653589e+02 | 1.940000e+02 | 17.32%
709.38/709.55 c 710s| 20700 | 7608 | 5199k| 250.0 | 10M| 128 | 131 | 473 | 569 | 473 | 969 | 758 | 9 |1546 | 1.653589e+02 | 1.940000e+02 | 17.32%
711.67/711.89 c 712s| 20800 | 7638 | 5218k| 249.7 | 10M| 128 | 394 | 473 | 569 | 473 | 969 | 758 | 9 |1548 | 1.653598e+02 | 1.940000e+02 | 17.32%
714.58/714.76 c 715s| 20900 | 7690 | 5240k| 249.6 | 10M| 128 | - | 473 | 569 | 473 | 969 | 758 | 9 |1549 | 1.653616e+02 | 1.940000e+02 | 17.32%
717.77/717.95 c 718s| 21000 | 7748 | 5268k| 249.7 | 10M| 128 | 155 | 473 | 576 | 473 | 969 | 758 | 16 |1549 | 1.653626e+02 | 1.940000e+02 | 17.32%
720.07/720.25 c 720s| 21100 | 7808 | 5286k| 249.4 | 10M| 128 | 377 | 473 | 576 | 473 | 969 | 758 | 16 |1550 | 1.653645e+02 | 1.940000e+02 | 17.32%
720.98/721.19 c 721s| 21200 | 7846 | 5293k| 248.5 | 10M| 128 | 117 | 473 | 576 | 473 | 969 | 758 | 16 |1550 | 1.653670e+02 | 1.940000e+02 | 17.31%
723.28/723.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
723.28/723.44 c 723s| 21300 | 7874 | 5311k| 248.2 | 10M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1551 | 1.653674e+02 | 1.940000e+02 | 17.31%
726.08/726.27 c 726s| 21400 | 7924 | 5333k| 248.1 | 10M| 128 | 364 | 473 | 576 | 473 | 969 | 758 | 16 |1552 | 1.653679e+02 | 1.940000e+02 | 17.31%
729.67/729.86 c 730s| 21500 | 7980 | 5361k| 248.2 | 10M| 128 | 366 | 473 | 576 | 473 | 969 | 758 | 16 |1552 | 1.653699e+02 | 1.940000e+02 | 17.31%
732.08/732.24 c 732s| 21600 | 8010 | 5380k| 247.9 | 10M| 128 | 119 | 473 | 576 | 473 | 969 | 758 | 16 |1553 | 1.653722e+02 | 1.940000e+02 | 17.31%
732.88/733.01 c 733s| 21700 | 8020 | 5386k| 247.1 | 10M| 128 | 139 | 473 | 576 | 473 | 969 | 758 | 16 |1553 | 1.653723e+02 | 1.940000e+02 | 17.31%
736.88/737.04 c 737s| 21800 | 8052 | 5416k| 247.3 | 10M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1593 | 1.653740e+02 | 1.940000e+02 | 17.31%
737.78/737.96 c 738s| 21900 | 8072 | 5423k| 246.5 | 10M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1593 | 1.653742e+02 | 1.940000e+02 | 17.31%
741.57/741.72 c 742s| 22000 | 8100 | 5451k| 246.7 | 10M| 128 | 121 | 473 | 576 | 473 | 969 | 758 | 16 |1604 | 1.653750e+02 | 1.940000e+02 | 17.31%
743.18/743.39 c 743s| 22100 | 8144 | 5464k| 246.2 | 10M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1613 | 1.653755e+02 | 1.940000e+02 | 17.31%
747.27/747.49 c 747s| 22200 | 8176 | 5492k| 246.3 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1630 | 1.653790e+02 | 1.940000e+02 | 17.31%
750.77/750.96 c 751s| 22300 | 8228 | 5517k| 246.3 | 11M| 128 | 369 | 473 | 576 | 473 | 969 | 758 | 16 |1639 | 1.653812e+02 | 1.940000e+02 | 17.30%
754.07/754.27 c 754s| 22400 | 8260 | 5543k| 246.4 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1647 | 1.653821e+02 | 1.940000e+02 | 17.30%
756.47/756.64 c 757s| 22500 | 8292 | 5560k| 246.0 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1655 | 1.653824e+02 | 1.940000e+02 | 17.30%
759.67/759.80 c 760s| 22600 | 8342 | 5585k| 246.1 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1657 | 1.653857e+02 | 1.940000e+02 | 17.30%
761.87/762.08 c 762s| 22700 | 8366 | 5603k| 245.8 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1658 | 1.653866e+02 | 1.940000e+02 | 17.30%
762.18/762.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
762.18/762.34 c 762s| 22800 | 8382 | 5606k| 244.8 | 11M| 128 | 115 | 473 | 576 | 473 | 969 | 758 | 16 |1658 | 1.653866e+02 | 1.940000e+02 | 17.30%
764.28/764.46 c 764s| 22900 | 8406 | 5622k| 244.5 | 11M| 128 | 133 | 473 | 576 | 473 | 969 | 758 | 16 |1659 | 1.653868e+02 | 1.940000e+02 | 17.30%
766.96/767.17 c 767s| 23000 | 8442 | 5643k| 244.3 | 11M| 128 | 380 | 473 | 576 | 473 | 969 | 758 | 16 |1659 | 1.653895e+02 | 1.940000e+02 | 17.30%
767.87/768.04 c 768s| 23100 | 8482 | 5650k| 243.5 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1659 | 1.653900e+02 | 1.940000e+02 | 17.30%
769.47/769.60 c 770s| 23200 | 8504 | 5663k| 243.1 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1662 | 1.653903e+02 | 1.940000e+02 | 17.30%
769.67/769.85 c 770s| 23300 | 8504 | 5665k| 242.1 | 11M| 128 | 143 | 473 | 576 | 473 | 969 | 758 | 16 |1662 | 1.653903e+02 | 1.940000e+02 | 17.30%
773.66/773.84 c 774s| 23400 | 8546 | 5697k| 242.4 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1662 | 1.653922e+02 | 1.940000e+02 | 17.30%
774.67/774.81 c 775s| 23500 | 8558 | 5705k| 241.7 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1667 | 1.653940e+02 | 1.940000e+02 | 17.30%
777.77/777.93 c 778s| 23600 | 8584 | 5730k| 241.8 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1667 | 1.653952e+02 | 1.940000e+02 | 17.29%
777.97/778.15 c 778s| 23700 | 8596 | 5732k| 240.9 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1668 | 1.653952e+02 | 1.940000e+02 | 17.29%
781.56/781.76 c 782s| 23800 | 8622 | 5762k| 241.1 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1685 | 1.653985e+02 | 1.940000e+02 | 17.29%
783.57/783.76 c 784s| 23900 | 8648 | 5775k| 240.6 | 11M| 128 | 117 | 473 | 576 | 473 | 969 | 758 | 16 |1695 | 1.653985e+02 | 1.940000e+02 | 17.29%
784.96/785.17 c 785s| 24000 | 8678 | 5786k| 240.1 | 11M| 128 | 135 | 473 | 576 | 473 | 969 | 758 | 16 |1696 | 1.654009e+02 | 1.940000e+02 | 17.29%
786.16/786.38 c 786s| 24100 | 8694 | 5793k| 239.4 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1714 | 1.654033e+02 | 1.940000e+02 | 17.29%
789.07/789.27 c 789s| 24200 | 8724 | 5815k| 239.3 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1714 | 1.654044e+02 | 1.940000e+02 | 17.29%
790.07/790.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
790.07/790.21 c 790s| 24300 | 8740 | 5822k| 238.6 | 11M| 128 | - | 473 | 576 | 0 | 0 | 758 | 16 |1728 | 1.654049e+02 | 1.940000e+02 | 17.29%
792.27/792.42 c 792s| 24400 | 8760 | 5837k| 238.2 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1741 | 1.654070e+02 | 1.940000e+02 | 17.29%
794.56/794.72 c 795s| 24500 | 8798 | 5855k| 238.0 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1742 | 1.654076e+02 | 1.940000e+02 | 17.29%
797.37/797.56 c 798s| 24600 | 8836 | 5875k| 237.8 | 11M| 128 | 116 | 473 | 576 | 473 | 969 | 758 | 16 |1752 | 1.654078e+02 | 1.940000e+02 | 17.29%
799.87/800.08 c 800s| 24700 | 8862 | 5894k| 237.6 | 11M| 128 | 143 | 473 | 576 | 473 | 969 | 758 | 16 |1763 | 1.654088e+02 | 1.940000e+02 | 17.29%
803.57/803.75 c 804s| 24800 | 8910 | 5921k| 237.8 | 11M| 128 | 137 | 473 | 576 | 473 | 969 | 758 | 16 |1766 | 1.654107e+02 | 1.940000e+02 | 17.28%
804.66/804.85 c 805s| 24900 | 8936 | 5930k| 237.2 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1768 | 1.654121e+02 | 1.940000e+02 | 17.28%
807.46/807.66 c 808s| 25000 | 8986 | 5952k| 237.1 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1769 | 1.654137e+02 | 1.940000e+02 | 17.28%
809.47/809.67 c 810s| 25100 | 9010 | 5968k| 236.8 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1770 | 1.654150e+02 | 1.940000e+02 | 17.28%
810.26/810.48 c 810s| 25200 | 9044 | 5975k| 236.1 | 11M| 128 | 135 | 473 | 576 | 473 | 969 | 758 | 16 |1771 | 1.654155e+02 | 1.940000e+02 | 17.28%
813.66/813.84 c 814s| 25300 | 9082 | 6001k| 236.2 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1772 | 1.654175e+02 | 1.940000e+02 | 17.28%
815.16/815.32 c 815s| 25400 | 9096 | 6012k| 235.7 | 11M| 128 | 125 | 473 | 576 | 473 | 969 | 758 | 16 |1772 | 1.654177e+02 | 1.940000e+02 | 17.28%
815.36/815.55 c 816s| 25500 | 9098 | 6014k| 234.9 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1772 | 1.654177e+02 | 1.940000e+02 | 17.28%
821.06/821.29 c 821s| 25600 | 9152 | 6060k| 235.8 | 11M| 128 | 146 | 473 | 576 | 473 | 969 | 758 | 16 |1773 | 1.654214e+02 | 1.940000e+02 | 17.28%
821.96/822.13 c 822s| 25700 | 9166 | 6067k| 235.1 | 11M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1773 | 1.654214e+02 | 1.940000e+02 | 17.28%
822.67/822.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
822.67/822.82 c 823s| 25800 | 9184 | 6072k| 234.4 | 11M| 128 | 133 | 473 | 576 | 473 | 969 | 758 | 16 |1773 | 1.654221e+02 | 1.940000e+02 | 17.28%
824.36/824.50 c 825s| 25900 | 9200 | 6087k| 234.1 | 11M| 128 | 171 | 473 | 576 | 473 | 969 | 758 | 16 |1773 | 1.654223e+02 | 1.940000e+02 | 17.28%
824.56/824.75 c 825s| 26000 | 9202 | 6089k| 233.3 | 11M| 128 | 131 | 473 | 576 | 473 | 969 | 758 | 16 |1773 | 1.654223e+02 | 1.940000e+02 | 17.28%
827.96/828.17 c 828s| 26100 | 9248 | 6115k| 233.4 | 11M| 128 | 140 | 473 | 576 | 473 | 969 | 758 | 16 |1787 | 1.654249e+02 | 1.940000e+02 | 17.27%
829.26/829.42 c 829s| 26200 | 9286 | 6122k| 232.7 | 11M| 128 | 122 | 473 | 576 | 473 | 969 | 758 | 16 |1799 | 1.654250e+02 | 1.940000e+02 | 17.27%
832.35/832.53 c 833s| 26300 | 9340 | 6143k| 232.7 | 12M| 128 | 370 | 473 | 576 | 473 | 969 | 758 | 16 |1810 | 1.654274e+02 | 1.940000e+02 | 17.27%
835.76/836.00 c 836s| 26400 | 9400 | 6171k| 232.9 | 12M| 128 | 126 | 473 | 576 | 473 | 969 | 758 | 16 |1810 | 1.654294e+02 | 1.940000e+02 | 17.27%
837.26/837.47 c 837s| 26500 | 9428 | 6179k| 232.2 | 12M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1827 | 1.654298e+02 | 1.940000e+02 | 17.27%
839.95/840.12 c 840s| 26600 | 9488 | 6199k| 232.1 | 12M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1827 | 1.654316e+02 | 1.940000e+02 | 17.27%
841.56/841.76 c 842s| 26700 | 9510 | 6213k| 231.8 | 12M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1827 | 1.654319e+02 | 1.940000e+02 | 17.27%
845.06/845.26 c 845s| 26800 | 9550 | 6238k| 231.9 | 12M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1839 | 1.654337e+02 | 1.940000e+02 | 17.27%
846.66/846.89 c 847s| 26900 | 9580 | 6249k| 231.4 | 12M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1849 | 1.654342e+02 | 1.940000e+02 | 17.27%
848.15/848.34 c 848s| 27000 | 9612 | 6259k| 230.9 | 12M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1853 | 1.654350e+02 | 1.940000e+02 | 17.27%
851.66/851.80 c 852s| 27100 | 9634 | 6287k| 231.1 | 12M| 128 | - | 473 | 576 | 473 | 969 | 758 | 16 |1864 | 1.654359e+02 | 1.940000e+02 | 17.27%
861.16/861.36 c 861s| 27200 | 9676 | 6388k| 234.0 | 12M| 128 | 125 | 473 | 576 | 473 | 969 | 758 | 16 |1868 | 1.654403e+02 | 1.940000e+02 | 17.26%
866.15/866.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
866.15/866.32 c 866s| 27300 | 9724 | 6428k| 234.6 | 12M| 128 | 375 | 473 | 575 | 473 | 969 | 758 | 16 |1870 | 1.654453e+02 | 1.940000e+02 | 17.26%
869.25/869.44 c 869s| 27400 | 9746 | 6454k| 234.7 | 12M| 128 | 142 | 473 | 575 | 473 | 969 | 758 | 16 |1871 | 1.654453e+02 | 1.940000e+02 | 17.26%
870.96/871.11 c 871s| 27500 | 9764 | 6468k| 234.3 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1871 | 1.654455e+02 | 1.940000e+02 | 17.26%
872.16/872.33 c 872s| 27600 | 9788 | 6478k| 233.8 | 12M| 128 | 138 | 473 | 575 | 473 | 969 | 758 | 16 |1871 | 1.654460e+02 | 1.940000e+02 | 17.26%
874.26/874.41 c 874s| 27700 | 9812 | 6494k| 233.6 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1873 | 1.654464e+02 | 1.940000e+02 | 17.26%
877.26/877.49 c 877s| 27800 | 9862 | 6517k| 233.6 | 12M| 128 | 369 | 473 | 575 | 473 | 969 | 758 | 16 |1873 | 1.654493e+02 | 1.940000e+02 | 17.26%
879.55/879.79 c 880s| 27900 | 9886 | 6535k| 233.4 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1873 | 1.654497e+02 | 1.940000e+02 | 17.26%
879.86/880.02 c 880s| 28000 | 9882 | 6537k| 232.6 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1873 | 1.654497e+02 | 1.940000e+02 | 17.26%
880.05/880.28 c 880s| 28100 | 9894 | 6539k| 231.9 | 12M| 128 | 133 | 473 | 575 | 473 | 969 | 758 | 16 |1873 | 1.654497e+02 | 1.940000e+02 | 17.26%
882.55/882.73 c 883s| 28200 | 9926 | 6560k| 231.8 | 12M| 128 | 360 | 473 | 575 | 473 | 969 | 758 | 16 |1875 | 1.654502e+02 | 1.940000e+02 | 17.26%
886.05/886.22 c 886s| 28300 | 9964 | 6587k| 231.9 | 12M| 128 | 373 | 473 | 575 | 473 | 969 | 758 | 16 |1875 | 1.654516e+02 | 1.940000e+02 | 17.25%
887.35/887.60 c 888s| 28400 | 9996 | 6598k| 231.5 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1875 | 1.654524e+02 | 1.940000e+02 | 17.25%
890.65/890.85 c 891s| 28500 | 10020 | 6621k| 231.5 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1884 | 1.654532e+02 | 1.940000e+02 | 17.25%
894.75/894.99 c 895s| 28600 | 10072 | 6645k| 231.5 | 12M| 128 | 377 | 473 | 575 | 473 | 969 | 758 | 16 |1909 | 1.654558e+02 | 1.940000e+02 | 17.25%
896.26/896.44 c 896s| 28700 | 10114 | 6657k| 231.1 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1909 | 1.654570e+02 | 1.940000e+02 | 17.25%
897.95/898.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
897.95/898.13 c 898s| 28800 | 10134 | 6671k| 230.8 | 12M| 128 | 126 | 473 | 575 | 473 | 969 | 758 | 16 |1910 | 1.654573e+02 | 1.940000e+02 | 17.25%
900.85/901.05 c 901s| 28900 | 10176 | 6691k| 230.7 | 12M| 128 | 371 | 473 | 575 | 473 | 969 | 758 | 16 |1920 | 1.654583e+02 | 1.940000e+02 | 17.25%
901.75/901.92 c 902s| 29000 | 10196 | 6698k| 230.1 | 12M| 128 | 136 | 473 | 575 | 473 | 969 | 758 | 16 |1920 | 1.654588e+02 | 1.940000e+02 | 17.25%
907.05/907.24 c 907s| 29100 | 10240 | 6738k| 230.7 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1936 | 1.654617e+02 | 1.940000e+02 | 17.25%
909.24/909.44 c 909s| 29200 | 10264 | 6755k| 230.5 | 12M| 128 | 124 | 473 | 575 | 473 | 969 | 758 | 16 |1936 | 1.654635e+02 | 1.940000e+02 | 17.25%
909.55/909.79 c 910s| 29300 | 10300 | 6759k| 229.9 | 12M| 128 | 124 | 473 | 575 | 473 | 969 | 758 | 16 |1936 | 1.654635e+02 | 1.940000e+02 | 17.25%
909.84/910.08 c 910s| 29400 | 10316 | 6761k| 229.1 | 12M| 128 | 136 | 473 | 575 | 473 | 969 | 758 | 16 |1946 | 1.654635e+02 | 1.940000e+02 | 17.25%
911.85/912.05 c 912s| 29500 | 10330 | 6774k| 228.8 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1956 | 1.654636e+02 | 1.940000e+02 | 17.25%
913.15/913.34 c 913s| 29600 | 10352 | 6784k| 228.4 | 12M| 128 | 128 | 473 | 575 | 473 | 969 | 758 | 16 |1956 | 1.654642e+02 | 1.940000e+02 | 17.25%
913.54/913.70 c 914s| 29700 | 10372 | 6787k| 227.7 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1961 | 1.654642e+02 | 1.940000e+02 | 17.25%
915.35/915.56 c 916s| 29800 | 10396 | 6801k| 227.4 | 12M| 128 | 126 | 473 | 575 | 473 | 969 | 758 | 16 |1969 | 1.654666e+02 | 1.940000e+02 | 17.24%
919.45/919.64 c 920s| 29900 | 10442 | 6830k| 227.6 | 12M| 128 | 383 | 473 | 575 | 473 | 969 | 758 | 16 |1978 | 1.654678e+02 | 1.940000e+02 | 17.24%
920.34/920.59 c 921s| 30000 | 10470 | 6837k| 227.1 | 12M| 128 | 121 | 473 | 575 | 473 | 969 | 758 | 16 |1983 | 1.654680e+02 | 1.940000e+02 | 17.24%
920.55/920.78 c 921s| 30100 | 10476 | 6838k| 226.4 | 12M| 128 | 108 | 473 | 575 | 473 | 969 | 758 | 16 |1986 | 1.654680e+02 | 1.940000e+02 | 17.24%
922.15/922.39 c 922s| 30200 | 10476 | 6851k| 226.1 | 12M| 128 | 139 | 473 | 575 | 473 | 969 | 758 | 16 |1989 | 1.654680e+02 | 1.940000e+02 | 17.24%
924.74/924.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
924.74/924.94 c 925s| 30300 | 10502 | 6872k| 226.0 | 12M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1992 | 1.654690e+02 | 1.940000e+02 | 17.24%
925.65/925.82 c 926s| 30400 | 10524 | 6879k| 225.5 | 12M| 128 | 143 | 473 | 575 | 473 | 969 | 758 | 16 |1992 | 1.654690e+02 | 1.940000e+02 | 17.24%
927.84/928.05 c 928s| 30500 | 10552 | 6897k| 225.3 | 13M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1992 | 1.654697e+02 | 1.940000e+02 | 17.24%
929.35/929.52 c 930s| 30600 | 10590 | 6908k| 225.0 | 13M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1992 | 1.654703e+02 | 1.940000e+02 | 17.24%
931.55/931.70 c 932s| 30700 | 10646 | 6926k| 224.8 | 13M| 128 | 371 | 473 | 575 | 473 | 969 | 758 | 16 |1992 | 1.654712e+02 | 1.940000e+02 | 17.24%
932.65/932.85 c 933s| 30800 | 10668 | 6936k| 224.4 | 13M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1992 | 1.654712e+02 | 1.940000e+02 | 17.24%
935.74/935.98 c 936s| 30900 | 10702 | 6960k| 224.5 | 13M| 128 | - | 473 | 575 | 473 | 969 | 758 | 16 |1992 | 1.654718e+02 | 1.940000e+02 | 17.24%
937.14/937.30 c 937s| 31000 | 10734 | 6970k| 224.1 | 13M| 128 | 119 | 473 | 574 | 473 | 969 | 758 | 16 |1992 | 1.654719e+02 | 1.940000e+02 | 17.24%
937.35/937.55 c 938s| 31100 | 10736 | 6973k| 223.4 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |1992 | 1.654719e+02 | 1.940000e+02 | 17.24%
938.15/938.39 c 938s| 31200 | 10762 | 6980k| 222.9 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |1992 | 1.654727e+02 | 1.940000e+02 | 17.24%
942.04/942.29 c 942s| 31300 | 10800 | 7011k| 223.2 | 13M| 128 | 116 | 473 | 574 | 473 | 969 | 758 | 16 |1992 | 1.654740e+02 | 1.940000e+02 | 17.24%
942.35/942.51 c 943s| 31400 | 10802 | 7013k| 222.6 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |1993 | 1.654740e+02 | 1.940000e+02 | 17.24%
945.44/945.69 c 946s| 31500 | 10832 | 7039k| 222.7 | 13M| 128 | 138 | 473 | 574 | 473 | 969 | 758 | 16 |1993 | 1.654747e+02 | 1.940000e+02 | 17.24%
947.44/947.63 c 948s| 31600 | 10864 | 7054k| 222.5 | 13M| 128 | 142 | 473 | 574 | 473 | 969 | 758 | 16 |1993 | 1.654750e+02 | 1.940000e+02 | 17.24%
952.34/952.56 c 953s| 31700 | 10918 | 7087k| 222.8 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |2017 | 1.654776e+02 | 1.940000e+02 | 17.24%
954.54/954.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.54/954.77 c 955s| 31800 | 10936 | 7104k| 222.6 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |2017 | 1.654784e+02 | 1.940000e+02 | 17.24%
955.34/955.58 c 956s| 31900 | 10962 | 7111k| 222.2 | 13M| 128 | 142 | 473 | 574 | 473 | 969 | 758 | 16 |2017 | 1.654784e+02 | 1.940000e+02 | 17.24%
957.03/957.23 c 957s| 32000 | 10998 | 7123k| 221.8 | 13M| 128 | 384 | 473 | 574 | 473 | 969 | 758 | 16 |2017 | 1.654794e+02 | 1.940000e+02 | 17.24%
958.24/958.45 c 958s| 32100 | 10998 | 7133k| 221.5 | 13M| 128 | 134 | 473 | 574 | 473 | 969 | 758 | 16 |2029 | 1.654794e+02 | 1.940000e+02 | 17.24%
963.14/963.38 c 963s| 32200 | 11048 | 7167k| 221.8 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |2046 | 1.654838e+02 | 1.940000e+02 | 17.23%
964.04/964.20 c 964s| 32300 | 11056 | 7174k| 221.4 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |2046 | 1.654839e+02 | 1.940000e+02 | 17.23%
965.84/966.09 c 966s| 32400 | 11088 | 7187k| 221.1 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |2055 | 1.654844e+02 | 1.940000e+02 | 17.23%
966.54/966.79 c 967s| 32500 | 11100 | 7193k| 220.6 | 13M| 128 | 104 | 473 | 574 | 473 | 969 | 758 | 16 |2055 | 1.654855e+02 | 1.940000e+02 | 17.23%
967.43/967.61 c 968s| 32600 | 11126 | 7198k| 220.1 | 13M| 128 | 357 | 473 | 574 | 473 | 969 | 758 | 16 |2061 | 1.654861e+02 | 1.940000e+02 | 17.23%
971.44/971.61 c 972s| 32700 | 11160 | 7228k| 220.3 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |2071 | 1.654898e+02 | 1.940000e+02 | 17.23%
974.24/974.46 c 974s| 32800 | 11206 | 7249k| 220.3 | 13M| 128 | 379 | 473 | 574 | 473 | 969 | 758 | 16 |2076 | 1.654916e+02 | 1.940000e+02 | 17.23%
977.54/977.73 c 978s| 32900 | 11270 | 7273k| 220.3 | 13M| 128 | 146 | 473 | 574 | 473 | 969 | 758 | 16 |2077 | 1.654931e+02 | 1.940000e+02 | 17.23%
977.83/978.02 c 978s| 33000 | 11290 | 7276k| 219.8 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |2078 | 1.654931e+02 | 1.940000e+02 | 17.23%
982.33/982.55 c 983s| 33100 | 11342 | 7312k| 220.2 | 13M| 128 | 355 | 473 | 574 | 473 | 969 | 758 | 16 |2081 | 1.654944e+02 | 1.940000e+02 | 17.22%
985.34/985.56 c 986s| 33200 | 11386 | 7336k| 220.2 | 13M| 128 | 369 | 473 | 574 | 473 | 969 | 758 | 16 |2081 | 1.654963e+02 | 1.940000e+02 | 17.22%
989.23/989.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
989.23/989.46 c 989s| 33300 | 11432 | 7367k| 220.5 | 13M| 128 | 134 | 473 | 574 | 473 | 969 | 758 | 16 |2081 | 1.654966e+02 | 1.940000e+02 | 17.22%
990.84/991.04 c 991s| 33400 | 11476 | 7379k| 220.2 | 13M| 128 | 370 | 473 | 574 | 473 | 969 | 758 | 16 |2081 | 1.654976e+02 | 1.940000e+02 | 17.22%
992.93/993.14 c 993s| 33500 | 11506 | 7395k| 220.0 | 13M| 128 | 358 | 473 | 574 | 473 | 969 | 758 | 16 |2081 | 1.654984e+02 | 1.940000e+02 | 17.22%
993.83/994.06 c 994s| 33600 | 11550 | 7403k| 219.6 | 13M| 128 | 124 | 473 | 574 | 473 | 969 | 758 | 16 |2081 | 1.654988e+02 | 1.940000e+02 | 17.22%
996.54/996.71 c 997s| 33700 | 11598 | 7423k| 219.5 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |2081 | 1.655003e+02 | 1.940000e+02 | 17.22%
997.73/997.95 c 998s| 33800 | 11638 | 7433k| 219.2 | 13M| 128 | 373 | 473 | 574 | 473 | 969 | 758 | 16 |2081 | 1.655012e+02 | 1.940000e+02 | 17.22%
999.33/999.52 c 1000s| 33900 | 11652 | 7445k| 218.9 | 13M| 128 | - | 473 | 574 | 473 | 969 | 758 | 16 |2081 | 1.655014e+02 | 1.940000e+02 | 17.22%
1005.93/1006.17 c 1006s| 34000 | 11706 | 7496k| 219.8 | 13M| 128 | - | 473 | 582 | 473 | 969 | 758 | 24 |2095 | 1.655034e+02 | 1.940000e+02 | 17.22%
1008.54/1008.77 c 1009s| 34100 | 11756 | 7516k| 219.7 | 14M| 128 | 141 | 473 | 582 | 473 | 969 | 758 | 24 |2095 | 1.655059e+02 | 1.940000e+02 | 17.22%
1010.33/1010.59 c 1011s| 34200 | 11788 | 7527k| 219.4 | 14M| 128 | 370 | 473 | 582 | 473 | 969 | 758 | 24 |2106 | 1.655074e+02 | 1.940000e+02 | 17.22%
1011.13/1011.31 c 1011s| 34300 | 11814 | 7532k| 218.9 | 14M| 128 | 362 | 473 | 582 | 473 | 969 | 758 | 24 |2106 | 1.655077e+02 | 1.940000e+02 | 17.22%
1014.53/1014.76 c 1015s| 34400 | 11850 | 7557k| 219.0 | 14M| 128 | 131 | 473 | 582 | 473 | 969 | 758 | 24 |2115 | 1.655082e+02 | 1.940000e+02 | 17.21%
1016.33/1016.56 c 1017s| 34500 | 11870 | 7567k| 218.6 | 14M| 128 | - | 473 | 582 | 473 | 969 | 758 | 24 |2133 | 1.655085e+02 | 1.940000e+02 | 17.21%
1019.03/1019.21 c 1019s| 34600 | 11924 | 7588k| 218.6 | 14M| 128 | 136 | 473 | 582 | 473 | 969 | 758 | 24 |2133 | 1.655097e+02 | 1.940000e+02 | 17.21%
1022.93/1023.19 c 1023s| 34700 | 11966 | 7618k| 218.8 | 14M| 128 | - | 473 | 582 | 473 | 969 | 758 | 24 |2150 | 1.655101e+02 | 1.940000e+02 | 17.21%
1024.43/1024.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1024.43/1024.62 c 1025s| 34800 | 11994 | 7628k| 218.5 | 14M| 128 | 141 | 473 | 582 | 473 | 969 | 758 | 24 |2151 | 1.655131e+02 | 1.940000e+02 | 17.21%
1026.33/1026.57 c 1027s| 34900 | 12022 | 7643k| 218.3 | 14M| 128 | 385 | 473 | 582 | 473 | 969 | 758 | 24 |2152 | 1.655142e+02 | 1.940000e+02 | 17.21%
1030.03/1030.23 c 1030s| 35000 | 12052 | 7670k| 218.5 | 14M| 128 | - | 473 | 582 | 473 | 969 | 758 | 24 |2159 | 1.655150e+02 | 1.940000e+02 | 17.21%
1031.43/1031.64 c 1032s| 35100 | 12074 | 7680k| 218.1 | 14M| 128 | - | 473 | 582 | 473 | 969 | 758 | 24 |2170 | 1.655157e+02 | 1.940000e+02 | 17.21%
1032.13/1032.37 c 1032s| 35200 | 12104 | 7686k| 217.7 | 14M| 128 | 366 | 473 | 582 | 473 | 969 | 758 | 24 |2173 | 1.655160e+02 | 1.940000e+02 | 17.21%
1034.42/1034.62 c 1035s| 35300 | 12136 | 7703k| 217.5 | 14M| 128 | 371 | 473 | 582 | 473 | 969 | 758 | 24 |2176 | 1.655161e+02 | 1.940000e+02 | 17.21%
1035.23/1035.42 c 1035s| 35400 | 12150 | 7710k| 217.1 | 14M| 128 | 376 | 473 | 581 | 473 | 969 | 758 | 24 |2177 | 1.655165e+02 | 1.940000e+02 | 17.21%
1037.82/1038.05 c 1038s| 35500 | 12180 | 7730k| 217.1 | 14M| 128 | 128 | 473 | 581 | 473 | 969 | 758 | 24 |2179 | 1.655180e+02 | 1.940000e+02 | 17.21%
1038.03/1038.28 c 1038s| 35600 | 12182 | 7733k| 216.5 | 14M| 128 | - | 473 | 581 | 473 | 969 | 758 | 24 |2179 | 1.655180e+02 | 1.940000e+02 | 17.21%
1038.43/1038.60 c 1039s| 35700 | 12214 | 7736k| 216.0 | 14M| 128 | 143 | 473 | 581 | 473 | 969 | 758 | 24 |2179 | 1.655180e+02 | 1.940000e+02 | 17.21%
1039.82/1040.03 c 1040s| 35800 | 12234 | 7747k| 215.7 | 14M| 128 | - | 473 | 581 | 473 | 969 | 758 | 24 |2179 | 1.655190e+02 | 1.940000e+02 | 17.21%
1041.53/1041.78 c 1042s| 35900 | 12256 | 7761k| 215.5 | 14M| 128 | 136 | 473 | 581 | 473 | 969 | 758 | 24 |2180 | 1.655191e+02 | 1.940000e+02 | 17.21%
1043.32/1043.50 c 1044s| 36000 | 12290 | 7775k| 215.3 | 14M| 128 | 139 | 473 | 581 | 473 | 969 | 758 | 24 |2180 | 1.655192e+02 | 1.940000e+02 | 17.21%
1043.63/1043.89 c 1044s| 36100 | 12344 | 7779k| 214.8 | 14M| 128 | - | 473 | 581 | 473 | 969 | 758 | 24 |2180 | 1.655192e+02 | 1.940000e+02 | 17.21%
1046.93/1047.17 c 1047s| 36200 | 12398 | 7806k| 215.0 | 14M| 128 | - | 473 | 581 | 473 | 969 | 758 | 24 |2180 | 1.655195e+02 | 1.940000e+02 | 17.21%
1048.82/1049.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1048.82/1049.01 c 1049s| 36300 | 12460 | 7820k| 214.8 | 14M| 128 | 378 | 473 | 581 | 473 | 969 | 758 | 24 |2180 | 1.655211e+02 | 1.940000e+02 | 17.21%
1049.72/1049.90 c 1050s| 36400 | 12490 | 7828k| 214.4 | 14M| 128 | 369 | 473 | 581 | 473 | 969 | 758 | 24 |2180 | 1.655213e+02 | 1.940000e+02 | 17.21%
1051.23/1051.45 c 1051s| 36500 | 12502 | 7839k| 214.1 | 14M| 128 | 146 | 473 | 581 | 473 | 969 | 758 | 24 |2181 | 1.655213e+02 | 1.940000e+02 | 17.21%
1054.73/1054.96 c 1055s| 36600 | 12568 | 7868k| 214.3 | 14M| 128 | 129 | 473 | 581 | 473 | 969 | 758 | 24 |2182 | 1.655222e+02 | 1.940000e+02 | 17.20%
1056.73/1057.00 c 1057s| 36700 | 12600 | 7884k| 214.2 | 14M| 128 | - | 473 | 581 | 473 | 969 | 758 | 24 |2182 | 1.655231e+02 | 1.940000e+02 | 17.20%
1060.32/1060.52 c 1061s| 36800 | 12650 | 7912k| 214.3 | 14M| 128 | 375 | 473 | 581 | 473 | 969 | 758 | 24 |2183 | 1.655253e+02 | 1.940000e+02 | 17.20%
1063.62/1063.87 c 1064s| 36900 | 12690 | 7934k| 214.4 | 14M| 128 | 367 | 473 | 581 | 473 | 969 | 758 | 24 |2195 | 1.655258e+02 | 1.940000e+02 | 17.20%
1067.22/1067.46 c 1067s| 37000 | 12730 | 7959k| 214.5 | 14M| 128 | 355 | 473 | 581 | 473 | 969 | 758 | 24 |2206 | 1.655265e+02 | 1.940000e+02 | 17.20%
1069.92/1070.20 c 1070s| 37100 | 12756 | 7981k| 214.5 | 14M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2206 | 1.655280e+02 | 1.940000e+02 | 17.20%
1072.33/1072.59 c 1073s| 37200 | 12784 | 7995k| 214.3 | 14M| 128 | 374 | 473 | 580 | 473 | 969 | 758 | 24 |2222 | 1.655288e+02 | 1.940000e+02 | 17.20%
1076.02/1076.20 c 1076s| 37300 | 12824 | 8024k| 214.5 | 14M| 128 | 363 | 473 | 580 | 473 | 969 | 758 | 24 |2222 | 1.655300e+02 | 1.940000e+02 | 17.20%
1078.72/1078.98 c 1079s| 37400 | 12856 | 8042k| 214.4 | 14M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2240 | 1.655303e+02 | 1.940000e+02 | 17.20%
1082.92/1083.19 c 1083s| 37500 | 12922 | 8072k| 214.6 | 14M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2255 | 1.655304e+02 | 1.940000e+02 | 17.20%
1084.22/1084.41 c 1084s| 37600 | 12972 | 8082k| 214.3 | 15M| 128 | 365 | 473 | 580 | 473 | 969 | 758 | 24 |2255 | 1.655305e+02 | 1.940000e+02 | 17.20%
1085.42/1085.64 c 1086s| 37700 | 12998 | 8092k| 214.0 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2255 | 1.655305e+02 | 1.940000e+02 | 17.20%
1086.81/1087.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.81/1087.05 c 1087s| 37800 | 13036 | 8102k| 213.7 | 15M| 128 | 127 | 473 | 580 | 473 | 969 | 758 | 24 |2260 | 1.655311e+02 | 1.940000e+02 | 17.20%
1088.22/1088.42 c 1088s| 37900 | 13074 | 8112k| 213.4 | 15M| 128 | 133 | 473 | 580 | 473 | 969 | 758 | 24 |2266 | 1.655315e+02 | 1.940000e+02 | 17.20%
1089.83/1090.03 c 1090s| 38000 | 13080 | 8124k| 213.2 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2270 | 1.655315e+02 | 1.940000e+02 | 17.20%
1092.51/1092.78 c 1093s| 38100 | 13124 | 8146k| 213.2 | 15M| 128 | 143 | 473 | 580 | 473 | 969 | 758 | 24 |2275 | 1.655323e+02 | 1.940000e+02 | 17.20%
1096.32/1096.52 c 1097s| 38200 | 13174 | 8175k| 213.4 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2276 | 1.655336e+02 | 1.940000e+02 | 17.20%
1096.52/1096.78 c 1097s| 38300 | 13180 | 8177k| 212.9 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2278 | 1.655336e+02 | 1.940000e+02 | 17.20%
1098.02/1098.28 c 1098s| 38400 | 13224 | 8189k| 212.6 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2278 | 1.655345e+02 | 1.940000e+02 | 17.20%
1102.61/1102.89 c 1103s| 38500 | 13272 | 8225k| 213.0 | 15M| 128 | 364 | 473 | 580 | 473 | 969 | 758 | 24 |2279 | 1.655353e+02 | 1.940000e+02 | 17.20%
1104.01/1104.21 c 1104s| 38600 | 13308 | 8235k| 212.7 | 15M| 128 | 147 | 473 | 580 | 473 | 969 | 758 | 24 |2281 | 1.655360e+02 | 1.940000e+02 | 17.20%
1105.62/1105.83 c 1106s| 38700 | 13326 | 8248k| 212.5 | 15M| 128 | 135 | 473 | 580 | 473 | 969 | 758 | 24 |2281 | 1.655360e+02 | 1.940000e+02 | 17.20%
1107.32/1107.50 c 1108s| 38800 | 13344 | 8262k| 212.3 | 15M| 128 | 129 | 473 | 580 | 473 | 969 | 758 | 24 |2282 | 1.655361e+02 | 1.940000e+02 | 17.19%
1110.32/1110.57 c 1111s| 38900 | 13368 | 8286k| 212.4 | 15M| 128 | 133 | 473 | 580 | 473 | 969 | 758 | 24 |2282 | 1.655365e+02 | 1.940000e+02 | 17.19%
1112.82/1113.04 c 1113s| 39000 | 13390 | 8305k| 212.3 | 15M| 128 | 376 | 473 | 580 | 473 | 969 | 758 | 24 |2284 | 1.655372e+02 | 1.940000e+02 | 17.19%
1113.92/1114.11 c 1114s| 39100 | 13420 | 8313k| 212.0 | 15M| 128 | 144 | 473 | 580 | 473 | 969 | 758 | 24 |2286 | 1.655375e+02 | 1.940000e+02 | 17.19%
1115.71/1115.92 c 1116s| 39200 | 13460 | 8329k| 211.8 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2286 | 1.655381e+02 | 1.940000e+02 | 17.19%
1118.71/1118.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.71/1118.93 c 1119s| 39300 | 13502 | 8352k| 211.9 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2286 | 1.655392e+02 | 1.940000e+02 | 17.19%
1120.51/1120.79 c 1121s| 39400 | 13538 | 8366k| 211.7 | 15M| 128 | 377 | 473 | 580 | 473 | 969 | 758 | 24 |2286 | 1.655399e+02 | 1.940000e+02 | 17.19%
1122.12/1122.35 c 1122s| 39500 | 13568 | 8377k| 211.5 | 15M| 128 | 167 | 473 | 580 | 473 | 969 | 758 | 24 |2301 | 1.655402e+02 | 1.940000e+02 | 17.19%
1125.42/1125.62 c 1126s| 39600 | 13606 | 8400k| 211.5 | 15M| 128 | 139 | 473 | 580 | 473 | 969 | 758 | 24 |2316 | 1.655415e+02 | 1.940000e+02 | 17.19%
1126.71/1126.97 c 1127s| 39700 | 13622 | 8410k| 211.2 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2317 | 1.655419e+02 | 1.940000e+02 | 17.19%
1127.92/1128.19 c 1128s| 39800 | 13670 | 8420k| 210.9 | 15M| 128 | 354 | 473 | 580 | 473 | 969 | 758 | 24 |2317 | 1.655427e+02 | 1.940000e+02 | 17.19%
1129.72/1129.96 c 1130s| 39900 | 13692 | 8434k| 210.8 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2324 | 1.655430e+02 | 1.940000e+02 | 17.19%
1132.71/1132.98 c 1133s| 40000 | 13734 | 8452k| 210.7 | 15M| 128 | 123 | 473 | 580 | 473 | 969 | 758 | 24 |2343 | 1.655443e+02 | 1.940000e+02 | 17.19%
1135.11/1135.37 c 1135s| 40100 | 13766 | 8470k| 210.6 | 15M| 128 | 141 | 473 | 580 | 473 | 969 | 758 | 24 |2344 | 1.655444e+02 | 1.940000e+02 | 17.19%
1136.41/1136.65 c 1137s| 40200 | 13792 | 8480k| 210.3 | 15M| 128 | 365 | 473 | 580 | 473 | 969 | 758 | 24 |2344 | 1.655445e+02 | 1.940000e+02 | 17.19%
1136.81/1137.05 c 1137s| 40300 | 13796 | 8483k| 209.9 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2354 | 1.655445e+02 | 1.940000e+02 | 17.19%
1137.11/1137.34 c 1137s| 40400 | 13802 | 8486k| 209.5 | 15M| 128 | 163 | 473 | 580 | 473 | 969 | 758 | 24 |2354 | 1.655445e+02 | 1.940000e+02 | 17.19%
1141.01/1141.27 c 1141s| 40500 | 13866 | 8516k| 209.7 | 15M| 128 | 160 | 473 | 580 | 473 | 969 | 758 | 24 |2367 | 1.655446e+02 | 1.940000e+02 | 17.19%
1142.91/1143.12 c 1143s| 40600 | 13902 | 8531k| 209.5 | 15M| 128 | 150 | 473 | 580 | 473 | 969 | 758 | 24 |2367 | 1.655449e+02 | 1.940000e+02 | 17.19%
1145.51/1145.78 c 1146s| 40700 | 13946 | 8551k| 209.5 | 15M| 128 | 159 | 473 | 580 | 473 | 969 | 758 | 24 |2375 | 1.655455e+02 | 1.940000e+02 | 17.19%
1147.21/1147.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1147.21/1147.47 c 1147s| 40800 | 13984 | 8564k| 209.3 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2379 | 1.655461e+02 | 1.940000e+02 | 17.19%
1151.21/1151.43 c 1151s| 40900 | 14030 | 8596k| 209.6 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2381 | 1.655471e+02 | 1.940000e+02 | 17.19%
1153.11/1153.38 c 1153s| 41000 | 14052 | 8613k| 209.5 | 15M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2381 | 1.655481e+02 | 1.940000e+02 | 17.19%
1154.82/1155.02 c 1155s| 41100 | 14080 | 8626k| 209.3 | 15M| 128 | 144 | 473 | 580 | 473 | 969 | 758 | 24 |2381 | 1.655483e+02 | 1.940000e+02 | 17.19%
1155.71/1155.98 c 1156s| 41200 | 14112 | 8634k| 209.0 | 15M| 128 | 145 | 473 | 580 | 473 | 969 | 758 | 24 |2382 | 1.655488e+02 | 1.940000e+02 | 17.19%
1156.11/1156.30 c 1156s| 41300 | 14122 | 8637k| 208.5 | 16M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2382 | 1.655488e+02 | 1.940000e+02 | 17.19%
1157.91/1158.16 c 1158s| 41400 | 14156 | 8653k| 208.4 | 16M| 128 | 124 | 473 | 580 | 473 | 969 | 758 | 24 |2383 | 1.655490e+02 | 1.940000e+02 | 17.19%
1160.40/1160.69 c 1161s| 41500 | 14194 | 8673k| 208.4 | 16M| 128 | 131 | 473 | 580 | 473 | 969 | 758 | 24 |2383 | 1.655508e+02 | 1.940000e+02 | 17.18%
1162.11/1162.38 c 1162s| 41600 | 14228 | 8686k| 208.2 | 16M| 128 | - | 473 | 580 | 473 | 969 | 758 | 24 |2384 | 1.655515e+02 | 1.940000e+02 | 17.18%
1164.71/1164.90 c 1165s| 41700 | 14268 | 8706k| 208.2 | 16M| 128 | 123 | 473 | 580 | 473 | 969 | 758 | 24 |2385 | 1.655520e+02 | 1.940000e+02 | 17.18%
1165.30/1165.56 c 1166s| 41800 | 14278 | 8711k| 207.8 | 16M| 128 | 382 | 473 | 580 | 473 | 969 | 758 | 24 |2385 | 1.655524e+02 | 1.940000e+02 | 17.18%
1165.82/1166.09 c 1166s| 41900 | 14304 | 8717k| 207.5 | 16M| 128 | 140 | 473 | 580 | 473 | 969 | 758 | 24 |2385 | 1.655524e+02 | 1.940000e+02 | 17.18%
1167.21/1167.47 c 1167s| 42000 | 14332 | 8727k| 207.2 | 16M| 128 | 361 | 473 | 579 | 473 | 969 | 758 | 24 |2385 | 1.655538e+02 | 1.940000e+02 | 17.18%
1170.01/1170.23 c 1170s| 42100 | 14380 | 8749k| 207.2 | 16M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2385 | 1.655544e+02 | 1.940000e+02 | 17.18%
1170.71/1170.96 c 1171s| 42200 | 14406 | 8755k| 206.9 | 16M| 128 | 133 | 473 | 579 | 473 | 969 | 758 | 24 |2385 | 1.655547e+02 | 1.940000e+02 | 17.18%
1172.81/1173.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1172.81/1173.03 c 1173s| 42300 | 14426 | 8771k| 206.8 | 16M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2385 | 1.655554e+02 | 1.940000e+02 | 17.18%
1176.00/1176.22 c 1176s| 42400 | 14470 | 8798k| 206.9 | 16M| 128 | 147 | 473 | 579 | 473 | 969 | 758 | 24 |2385 | 1.655566e+02 | 1.940000e+02 | 17.18%
1179.40/1179.64 c 1180s| 42500 | 14494 | 8826k| 207.1 | 16M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2385 | 1.655581e+02 | 1.940000e+02 | 17.18%
1180.30/1180.58 c 1181s| 42600 | 14528 | 8833k| 206.8 | 16M| 128 | 144 | 473 | 579 | 473 | 969 | 758 | 24 |2394 | 1.655581e+02 | 1.940000e+02 | 17.18%
1181.50/1181.74 c 1182s| 42700 | 14552 | 8839k| 206.4 | 16M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2405 | 1.655587e+02 | 1.940000e+02 | 17.18%
1184.01/1184.24 c 1184s| 42800 | 14574 | 8859k| 206.4 | 16M| 128 | 138 | 473 | 579 | 473 | 969 | 758 | 24 |2405 | 1.655592e+02 | 1.940000e+02 | 17.18%
1186.71/1186.95 c 1187s| 42900 | 14608 | 8877k| 206.4 | 16M| 128 | 140 | 473 | 579 | 473 | 969 | 758 | 24 |2427 | 1.655598e+02 | 1.940000e+02 | 17.18%
1187.51/1187.74 c 1188s| 43000 | 14626 | 8883k| 206.0 | 16M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2427 | 1.655602e+02 | 1.940000e+02 | 17.18%
1190.80/1191.06 c 1191s| 43100 | 14672 | 8910k| 206.2 | 16M| 128 | 153 | 473 | 579 | 473 | 969 | 758 | 24 |2427 | 1.655613e+02 | 1.940000e+02 | 17.18%
1191.31/1191.53 c 1192s| 43200 | 14680 | 8914k| 205.8 | 16M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2442 | 1.655613e+02 | 1.940000e+02 | 17.18%
1195.80/1196.04 c 1196s| 43300 | 14716 | 8945k| 206.0 | 16M| 128 | 370 | 473 | 579 | 473 | 969 | 758 | 24 |2464 | 1.655633e+02 | 1.940000e+02 | 17.18%
1198.60/1198.81 c 1199s| 43400 | 14774 | 8966k| 206.0 | 16M| 128 | 152 | 473 | 579 | 473 | 969 | 758 | 24 |2464 | 1.655647e+02 | 1.940000e+02 | 17.17%
1199.40/1199.65 c 1200s| 43500 | 14808 | 8973k| 205.7 | 16M| 128 | 140 | 473 | 579 | 473 | 969 | 758 | 24 |2464 | 1.655657e+02 | 1.940000e+02 | 17.17%
1199.80/1200.04 c 1200s| 43600 | 14848 | 8977k| 205.3 | 16M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2464 | 1.655657e+02 | 1.940000e+02 | 17.17%
1204.00/1204.27 c 1204s| 43700 | 14916 | 9007k| 205.6 | 16M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2473 | 1.655675e+02 | 1.940000e+02 | 17.17%
1205.41/1205.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1205.41/1205.67 c 1206s| 43800 | 14942 | 9017k| 205.3 | 16M| 128 | 372 | 473 | 579 | 473 | 969 | 758 | 24 |2480 | 1.655691e+02 | 1.940000e+02 | 17.17%
1206.90/1207.17 c 1207s| 43900 | 14978 | 9028k| 205.1 | 16M| 128 | 139 | 473 | 579 | 473 | 969 | 758 | 24 |2482 | 1.655692e+02 | 1.940000e+02 | 17.17%
1207.30/1207.53 c 1208s| 44000 | 15004 | 9032k| 204.7 | 16M| 128 | 123 | 473 | 579 | 473 | 969 | 758 | 24 |2482 | 1.655692e+02 | 1.940000e+02 | 17.17%
1210.40/1210.65 c 1211s| 44100 | 15052 | 9056k| 204.8 | 16M| 128 | 367 | 473 | 579 | 473 | 969 | 758 | 24 |2483 | 1.655700e+02 | 1.940000e+02 | 17.17%
1212.40/1212.60 c 1213s| 44200 | 15072 | 9072k| 204.7 | 16M| 128 | 145 | 473 | 579 | 473 | 969 | 758 | 24 |2483 | 1.655701e+02 | 1.940000e+02 | 17.17%
1212.70/1212.94 c 1213s| 44300 | 15098 | 9076k| 204.3 | 16M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2483 | 1.655701e+02 | 1.940000e+02 | 17.17%
1217.51/1217.76 c 1218s| 44400 | 15138 | 9115k| 204.7 | 16M| 128 | 122 | 473 | 579 | 473 | 969 | 758 | 24 |2483 | 1.655705e+02 | 1.940000e+02 | 17.17%
1219.71/1220.00 c 1220s| 44500 | 15162 | 9132k| 204.7 | 16M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2484 | 1.655710e+02 | 1.940000e+02 | 17.17%
1220.50/1220.78 c 1221s| 44600 | 15198 | 9139k| 204.4 | 16M| 128 | 133 | 473 | 579 | 473 | 969 | 758 | 24 |2484 | 1.655710e+02 | 1.940000e+02 | 17.17%
1222.50/1222.77 c 1223s| 44700 | 15224 | 9156k| 204.3 | 16M| 128 | 125 | 473 | 579 | 473 | 969 | 758 | 24 |2484 | 1.655712e+02 | 1.940000e+02 | 17.17%
1223.20/1223.41 c 1223s| 44800 | 15234 | 9161k| 203.9 | 16M| 128 | 365 | 473 | 579 | 473 | 969 | 758 | 24 |2484 | 1.655721e+02 | 1.940000e+02 | 17.17%
1225.10/1225.38 c 1225s| 44900 | 15254 | 9177k| 203.8 | 16M| 128 | 132 | 473 | 579 | 473 | 969 | 758 | 24 |2484 | 1.655721e+02 | 1.940000e+02 | 17.17%
1226.30/1226.58 c 1227s| 45000 | 15274 | 9186k| 203.6 | 17M| 128 | 372 | 473 | 579 | 473 | 969 | 758 | 24 |2484 | 1.655722e+02 | 1.940000e+02 | 17.17%
1227.80/1228.07 c 1228s| 45100 | 15284 | 9198k| 203.4 | 17M| 128 | 132 | 473 | 579 | 473 | 969 | 758 | 24 |2484 | 1.655726e+02 | 1.940000e+02 | 17.17%
1231.10/1231.38 c 1231s| 45200 | 15314 | 9226k| 203.6 | 17M| 128 | 136 | 473 | 579 | 473 | 969 | 758 | 24 |2484 | 1.655731e+02 | 1.940000e+02 | 17.17%
1233.70/1233.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1233.70/1233.90 c 1234s| 45300 | 15336 | 9245k| 203.6 | 17M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2487 | 1.655749e+02 | 1.940000e+02 | 17.17%
1235.80/1236.03 c 1236s| 45400 | 15364 | 9262k| 203.5 | 17M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2487 | 1.655764e+02 | 1.940000e+02 | 17.17%
1237.60/1237.84 c 1238s| 45500 | 15406 | 9275k| 203.3 | 17M| 128 | 146 | 473 | 579 | 473 | 969 | 758 | 24 |2488 | 1.655774e+02 | 1.940000e+02 | 17.17%
1239.30/1239.57 c 1240s| 45600 | 15428 | 9285k| 203.1 | 17M| 128 | 132 | 473 | 579 | 473 | 969 | 758 | 24 |2501 | 1.655780e+02 | 1.940000e+02 | 17.17%
1240.90/1241.12 c 1241s| 45700 | 15440 | 9298k| 202.9 | 17M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2501 | 1.655782e+02 | 1.940000e+02 | 17.17%
1245.89/1246.18 c 1246s| 45800 | 15502 | 9331k| 203.2 | 17M| 128 | 390 | 473 | 579 | 473 | 969 | 758 | 24 |2519 | 1.655788e+02 | 1.940000e+02 | 17.16%
1246.80/1247.10 c 1247s| 45900 | 15528 | 9339k| 202.9 | 17M| 128 | 125 | 473 | 579 | 473 | 969 | 758 | 24 |2519 | 1.655792e+02 | 1.940000e+02 | 17.16%
1249.59/1249.82 c 1250s| 46000 | 15576 | 9361k| 203.0 | 17M| 128 | 386 | 473 | 579 | 473 | 969 | 758 | 24 |2519 | 1.655803e+02 | 1.940000e+02 | 17.16%
1250.99/1251.22 c 1251s| 46100 | 15612 | 9373k| 202.8 | 17M| 128 | 148 | 473 | 579 | 473 | 969 | 758 | 24 |2519 | 1.655803e+02 | 1.940000e+02 | 17.16%
1252.79/1253.00 c 1253s| 46200 | 15648 | 9382k| 202.6 | 17M| 128 | 365 | 473 | 579 | 473 | 969 | 758 | 24 |2534 | 1.655812e+02 | 1.940000e+02 | 17.16%
1256.19/1256.46 c 1256s| 46300 | 15690 | 9412k| 202.8 | 17M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2534 | 1.655823e+02 | 1.940000e+02 | 17.16%
1258.59/1258.83 c 1259s| 46400 | 15722 | 9428k| 202.7 | 17M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2545 | 1.655836e+02 | 1.940000e+02 | 17.16%
1270.49/1270.79 c 1271s| 46500 | 15778 | 9546k| 204.8 | 17M| 128 | - | 473 | 579 | 473 | 969 | 758 | 24 |2555 | 1.655844e+02 | 1.940000e+02 | 17.16%
1272.70/1272.90 c 1273s| 46600 | 15808 | 9563k| 204.7 | 17M| 128 | 137 | 473 | 579 | 473 | 969 | 758 | 24 |2555 | 1.655846e+02 | 1.940000e+02 | 17.16%
1275.39/1275.64 c 1276s| 46700 | 15838 | 9583k| 204.7 | 17M| 128 | 146 | 473 | 579 | 473 | 969 | 758 | 24 |2571 | 1.655857e+02 | 1.940000e+02 | 17.16%
1277.39/1277.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1277.39/1277.70 c 1278s| 46800 | 15864 | 9600k| 204.6 | 17M| 128 | 358 | 473 | 579 | 473 | 969 | 758 | 24 |2571 | 1.655862e+02 | 1.940000e+02 | 17.16%
1279.89/1280.10 c 1280s| 46900 | 15900 | 9618k| 204.6 | 17M| 128 | 367 | 473 | 578 | 473 | 969 | 758 | 24 |2578 | 1.655873e+02 | 1.940000e+02 | 17.16%
1281.49/1281.77 c 1282s| 47000 | 15936 | 9631k| 204.4 | 17M| 128 | 130 | 473 | 578 | 473 | 969 | 758 | 24 |2581 | 1.655876e+02 | 1.940000e+02 | 17.16%
1283.89/1284.11 c 1284s| 47100 | 15968 | 9650k| 204.4 | 17M| 128 | 375 | 473 | 578 | 473 | 969 | 758 | 24 |2581 | 1.655891e+02 | 1.940000e+02 | 17.16%
1285.78/1286.08 c 1286s| 47200 | 16008 | 9665k| 204.3 | 17M| 128 | 370 | 473 | 578 | 473 | 969 | 758 | 24 |2582 | 1.655908e+02 | 1.940000e+02 | 17.16%
1288.59/1288.87 c 1289s| 47300 | 16054 | 9686k| 204.3 | 17M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2583 | 1.655918e+02 | 1.940000e+02 | 17.16%
1289.89/1290.17 c 1290s| 47400 | 16078 | 9696k| 204.0 | 17M| 128 | 128 | 473 | 578 | 473 | 969 | 758 | 24 |2583 | 1.655925e+02 | 1.940000e+02 | 17.16%
1292.49/1292.76 c 1293s| 47500 | 16116 | 9716k| 204.0 | 17M| 128 | 373 | 473 | 578 | 473 | 969 | 758 | 24 |2584 | 1.655936e+02 | 1.940000e+02 | 17.15%
1294.19/1294.42 c 1294s| 47600 | 16152 | 9729k| 203.9 | 17M| 128 | 125 | 473 | 578 | 473 | 969 | 758 | 24 |2585 | 1.655937e+02 | 1.940000e+02 | 17.15%
1295.89/1296.11 c 1296s| 47700 | 16168 | 9744k| 203.8 | 17M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2585 | 1.655938e+02 | 1.940000e+02 | 17.15%
1299.09/1299.33 c 1299s| 47800 | 16194 | 9770k| 203.9 | 17M| 128 | 125 | 473 | 578 | 473 | 969 | 758 | 24 |2585 | 1.655941e+02 | 1.940000e+02 | 17.15%
1300.89/1301.14 c 1301s| 47900 | 16234 | 9784k| 203.8 | 17M| 128 | 142 | 473 | 578 | 473 | 969 | 758 | 24 |2585 | 1.655949e+02 | 1.940000e+02 | 17.15%
1302.09/1302.36 c 1302s| 48000 | 16262 | 9793k| 203.5 | 17M| 128 | 118 | 473 | 578 | 473 | 969 | 758 | 24 |2585 | 1.655962e+02 | 1.940000e+02 | 17.15%
1304.29/1304.54 c 1305s| 48100 | 16288 | 9811k| 203.5 | 17M| 128 | 128 | 473 | 578 | 473 | 969 | 758 | 24 |2585 | 1.655973e+02 | 1.940000e+02 | 17.15%
1305.79/1306.06 c 1306s| 48200 | 16302 | 9823k| 203.3 | 17M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2585 | 1.655980e+02 | 1.940000e+02 | 17.15%
1307.98/1308.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1307.98/1308.21 c 1308s| 48300 | 16326 | 9842k| 203.3 | 17M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2585 | 1.656004e+02 | 1.940000e+02 | 17.15%
1311.09/1311.31 c 1311s| 48400 | 16368 | 9869k| 203.4 | 17M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2585 | 1.656012e+02 | 1.940000e+02 | 17.15%
1314.19/1314.40 c 1314s| 48500 | 16402 | 9889k| 203.4 | 17M| 128 | 151 | 473 | 578 | 473 | 969 | 758 | 24 |2600 | 1.656017e+02 | 1.940000e+02 | 17.15%
1316.79/1317.00 c 1317s| 48600 | 16432 | 9910k| 203.4 | 17M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2600 | 1.656025e+02 | 1.940000e+02 | 17.15%
1319.58/1319.89 c 1320s| 48700 | 16494 | 9933k| 203.5 | 17M| 128 | 145 | 473 | 578 | 473 | 969 | 758 | 24 |2600 | 1.656028e+02 | 1.940000e+02 | 17.15%
1320.58/1320.83 c 1321s| 48800 | 16518 | 9937k| 203.1 | 18M| 128 | 376 | 473 | 578 | 473 | 969 | 758 | 24 |2610 | 1.656029e+02 | 1.940000e+02 | 17.15%
1322.88/1323.10 c 1323s| 48900 | 16556 | 9955k| 203.1 | 18M| 128 | 376 | 473 | 578 | 473 | 969 | 758 | 24 |2611 | 1.656030e+02 | 1.940000e+02 | 17.15%
1325.99/1326.26 c 1326s| 49000 | 16610 | 9979k| 203.2 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2621 | 1.656039e+02 | 1.940000e+02 | 17.15%
1329.48/1329.73 c 1330s| 49100 | 16656 | 10001k| 203.2 | 18M| 128 | 138 | 473 | 578 | 473 | 969 | 758 | 24 |2646 | 1.656048e+02 | 1.940000e+02 | 17.15%
1329.78/1330.03 c 1330s| 49200 | 16656 | 10004k| 202.8 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2646 | 1.656048e+02 | 1.940000e+02 | 17.15%
1332.28/1332.55 c 1333s| 49300 | 16694 | 10025k| 202.9 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2647 | 1.656060e+02 | 1.940000e+02 | 17.15%
1337.68/1337.92 c 1338s| 49400 | 16764 | 10066k| 203.3 | 18M| 128 | 147 | 473 | 578 | 473 | 969 | 758 | 24 |2661 | 1.656079e+02 | 1.940000e+02 | 17.14%
1339.09/1339.39 c 1339s| 49500 | 16788 | 10077k| 203.1 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2667 | 1.656099e+02 | 1.940000e+02 | 17.14%
1341.48/1341.74 c 1342s| 49600 | 16820 | 10096k| 203.1 | 18M| 128 | 141 | 473 | 578 | 473 | 969 | 758 | 24 |2670 | 1.656103e+02 | 1.940000e+02 | 17.14%
1343.38/1343.60 c 1344s| 49700 | 16858 | 10110k| 202.9 | 18M| 128 | 130 | 473 | 578 | 473 | 969 | 758 | 24 |2673 | 1.656110e+02 | 1.940000e+02 | 17.14%
1347.29/1347.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1347.29/1347.50 c 1348s| 49800 | 16892 | 10141k| 203.2 | 18M| 128 | 144 | 473 | 578 | 473 | 969 | 758 | 24 |2676 | 1.656115e+02 | 1.940000e+02 | 17.14%
1348.48/1348.75 c 1349s| 49900 | 16934 | 10151k| 203.0 | 18M| 128 | 381 | 473 | 578 | 473 | 969 | 758 | 24 |2676 | 1.656117e+02 | 1.940000e+02 | 17.14%
1353.08/1353.30 c 1353s| 50000 | 16990 | 10188k| 203.3 | 18M| 128 | 132 | 473 | 578 | 473 | 969 | 758 | 24 |2678 | 1.656129e+02 | 1.940000e+02 | 17.14%
1356.28/1356.59 c 1357s| 50100 | 17046 | 10213k| 203.4 | 18M| 128 | 369 | 473 | 578 | 473 | 969 | 758 | 24 |2680 | 1.656142e+02 | 1.940000e+02 | 17.14%
1358.29/1358.57 c 1359s| 50200 | 17096 | 10228k| 203.3 | 18M| 128 | 358 | 473 | 578 | 473 | 969 | 758 | 24 |2680 | 1.656152e+02 | 1.940000e+02 | 17.14%
1360.77/1361.03 c 1361s| 50300 | 17128 | 10248k| 203.2 | 18M| 128 | 136 | 473 | 578 | 473 | 969 | 758 | 24 |2680 | 1.656152e+02 | 1.940000e+02 | 17.14%
1362.87/1363.16 c 1363s| 50400 | 17158 | 10264k| 203.2 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2681 | 1.656166e+02 | 1.940000e+02 | 17.14%
1365.77/1366.05 c 1366s| 50500 | 17192 | 10287k| 203.2 | 18M| 128 | 136 | 473 | 578 | 473 | 969 | 758 | 24 |2681 | 1.656178e+02 | 1.940000e+02 | 17.14%
1368.37/1368.69 c 1369s| 50600 | 17240 | 10308k| 203.2 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2681 | 1.656197e+02 | 1.940000e+02 | 17.14%
1372.37/1372.69 c 1373s| 50700 | 17278 | 10341k| 203.5 | 18M| 128 | 155 | 473 | 578 | 473 | 969 | 758 | 24 |2681 | 1.656202e+02 | 1.940000e+02 | 17.14%
1374.58/1374.86 c 1375s| 50800 | 17324 | 10355k| 203.4 | 18M| 128 | 372 | 473 | 578 | 473 | 969 | 758 | 24 |2691 | 1.656220e+02 | 1.940000e+02 | 17.13%
1378.58/1378.89 c 1379s| 50900 | 17368 | 10382k| 203.5 | 18M| 128 | 366 | 473 | 578 | 473 | 969 | 758 | 24 |2713 | 1.656223e+02 | 1.940000e+02 | 17.13%
1380.08/1380.40 c 1380s| 51000 | 17404 | 10393k| 203.3 | 18M| 128 | 133 | 473 | 578 | 473 | 969 | 758 | 24 |2713 | 1.656228e+02 | 1.940000e+02 | 17.13%
1384.57/1384.84 c 1385s| 51100 | 17444 | 10429k| 203.6 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2713 | 1.656235e+02 | 1.940000e+02 | 17.13%
1387.57/1387.81 c 1388s| 51200 | 17468 | 10453k| 203.7 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2713 | 1.656241e+02 | 1.940000e+02 | 17.13%
1390.97/1391.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1390.97/1391.21 c 1391s| 51300 | 17526 | 10477k| 203.8 | 18M| 128 | 378 | 473 | 578 | 473 | 969 | 758 | 24 |2723 | 1.656255e+02 | 1.940000e+02 | 17.13%
1391.87/1392.10 c 1392s| 51400 | 17542 | 10484k| 203.5 | 18M| 128 | 136 | 473 | 578 | 473 | 969 | 758 | 24 |2723 | 1.656256e+02 | 1.940000e+02 | 17.13%
1392.97/1393.28 c 1393s| 51500 | 17558 | 10490k| 203.2 | 18M| 128 | 121 | 473 | 578 | 473 | 969 | 758 | 24 |2738 | 1.656256e+02 | 1.940000e+02 | 17.13%
1395.17/1395.41 c 1395s| 51600 | 17584 | 10507k| 203.2 | 18M| 128 | 122 | 473 | 578 | 473 | 969 | 758 | 24 |2738 | 1.656259e+02 | 1.940000e+02 | 17.13%
1396.78/1397.02 c 1397s| 51700 | 17602 | 10521k| 203.0 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2738 | 1.656264e+02 | 1.940000e+02 | 17.13%
1399.07/1399.35 c 1399s| 51800 | 17640 | 10536k| 202.9 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2748 | 1.656274e+02 | 1.940000e+02 | 17.13%
1401.67/1401.92 c 1402s| 51900 | 17656 | 10556k| 202.9 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2753 | 1.656275e+02 | 1.940000e+02 | 17.13%
1403.17/1403.49 c 1403s| 52000 | 17678 | 10566k| 202.7 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2761 | 1.656277e+02 | 1.940000e+02 | 17.13%
1406.17/1406.43 c 1406s| 52100 | 17714 | 10589k| 202.8 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2766 | 1.656279e+02 | 1.940000e+02 | 17.13%
1409.57/1409.80 c 1410s| 52200 | 17742 | 10617k| 202.9 | 18M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2767 | 1.656282e+02 | 1.940000e+02 | 17.13%
1411.67/1411.96 c 1412s| 52300 | 17774 | 10635k| 202.9 | 19M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2767 | 1.656288e+02 | 1.940000e+02 | 17.13%
1415.26/1415.59 c 1416s| 52400 | 17822 | 10663k| 203.0 | 19M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2770 | 1.656292e+02 | 1.940000e+02 | 17.13%
1417.68/1417.99 c 1418s| 52500 | 17880 | 10681k| 203.0 | 19M| 128 | 145 | 473 | 578 | 473 | 969 | 758 | 24 |2770 | 1.656295e+02 | 1.940000e+02 | 17.13%
1419.78/1420.04 c 1420s| 52600 | 17894 | 10697k| 202.9 | 19M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2771 | 1.656296e+02 | 1.940000e+02 | 17.13%
1422.77/1423.01 c 1423s| 52700 | 17926 | 10722k| 203.0 | 19M| 128 | 155 | 473 | 578 | 473 | 969 | 758 | 24 |2771 | 1.656307e+02 | 1.940000e+02 | 17.13%
1425.17/1425.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1425.17/1425.42 c 1425s| 52800 | 17962 | 10740k| 203.0 | 19M| 128 | 369 | 473 | 578 | 473 | 969 | 758 | 24 |2771 | 1.656314e+02 | 1.940000e+02 | 17.13%
1429.27/1429.58 c 1430s| 52900 | 17994 | 10773k| 203.2 | 19M| 128 | 377 | 473 | 578 | 473 | 969 | 758 | 24 |2773 | 1.656319e+02 | 1.940000e+02 | 17.13%
1430.77/1431.06 c 1431s| 53000 | 18042 | 10785k| 203.0 | 19M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2773 | 1.656329e+02 | 1.940000e+02 | 17.13%
1431.57/1431.85 c 1432s| 53100 | 18058 | 10791k| 202.8 | 19M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2773 | 1.656330e+02 | 1.940000e+02 | 17.13%
1433.56/1433.89 c 1434s| 53200 | 18086 | 10808k| 202.7 | 19M| 128 | 148 | 473 | 578 | 473 | 969 | 758 | 24 |2773 | 1.656342e+02 | 1.940000e+02 | 17.13%
1435.47/1435.79 c 1436s| 53300 | 18126 | 10822k| 202.6 | 19M| 128 | 118 | 473 | 578 | 473 | 969 | 758 | 24 |2773 | 1.656346e+02 | 1.940000e+02 | 17.13%
1437.16/1437.41 c 1437s| 53400 | 18140 | 10834k| 202.4 | 19M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2773 | 1.656353e+02 | 1.940000e+02 | 17.12%
1441.57/1441.89 c 1442s| 53500 | 18186 | 10867k| 202.7 | 19M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2784 | 1.656364e+02 | 1.940000e+02 | 17.12%
1442.87/1443.18 c 1443s| 53600 | 18208 | 10877k| 202.5 | 19M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2784 | 1.656367e+02 | 1.940000e+02 | 17.12%
1447.16/1447.45 c 1447s| 53700 | 18242 | 10907k| 202.7 | 19M| 128 | 379 | 473 | 578 | 473 | 969 | 758 | 24 |2796 | 1.656374e+02 | 1.940000e+02 | 17.12%
1448.06/1448.32 c 1448s| 53800 | 18274 | 10914k| 202.4 | 19M| 128 | 364 | 473 | 578 | 473 | 969 | 758 | 24 |2796 | 1.656376e+02 | 1.940000e+02 | 17.12%
1449.96/1450.23 c 1450s| 53900 | 18300 | 10930k| 202.3 | 19M| 128 | - | 473 | 578 | 473 | 969 | 758 | 24 |2796 | 1.656376e+02 | 1.940000e+02 | 17.12%
1452.46/1452.77 c 1453s| 54000 | 18332 | 10947k| 202.3 | 19M| 128 | 135 | 473 | 577 | 473 | 969 | 758 | 24 |2806 | 1.656382e+02 | 1.940000e+02 | 17.12%
1453.87/1454.12 c 1454s| 54100 | 18356 | 10957k| 202.1 | 19M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2806 | 1.656389e+02 | 1.940000e+02 | 17.12%
1457.46/1457.73 c 1458s| 54200 | 18384 | 10984k| 202.2 | 19M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2819 | 1.656395e+02 | 1.940000e+02 | 17.12%
1459.46/1459.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1459.46/1459.77 c 1460s| 54300 | 18414 | 11000k| 202.1 | 19M| 128 | 148 | 473 | 577 | 473 | 969 | 758 | 24 |2819 | 1.656399e+02 | 1.940000e+02 | 17.12%
1462.56/1462.81 c 1463s| 54400 | 18456 | 11025k| 202.2 | 19M| 128 | 133 | 473 | 577 | 473 | 969 | 758 | 24 |2820 | 1.656406e+02 | 1.940000e+02 | 17.12%
1465.16/1465.49 c 1465s| 54500 | 18504 | 11044k| 202.2 | 19M| 128 | 155 | 473 | 577 | 473 | 969 | 758 | 24 |2845 | 1.656412e+02 | 1.940000e+02 | 17.12%
1466.07/1466.37 c 1466s| 54600 | 18528 | 11051k| 202.0 | 19M| 128 | 138 | 473 | 577 | 473 | 969 | 758 | 24 |2845 | 1.656415e+02 | 1.940000e+02 | 17.12%
1468.06/1468.37 c 1468s| 54700 | 18554 | 11065k| 201.9 | 19M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2850 | 1.656429e+02 | 1.940000e+02 | 17.12%
1470.76/1471.03 c 1471s| 54800 | 18598 | 11085k| 201.8 | 19M| 128 | 122 | 473 | 577 | 473 | 969 | 758 | 24 |2854 | 1.656433e+02 | 1.940000e+02 | 17.12%
1472.06/1472.35 c 1472s| 54900 | 18622 | 11095k| 201.7 | 19M| 128 | 376 | 473 | 577 | 473 | 969 | 758 | 24 |2857 | 1.656440e+02 | 1.940000e+02 | 17.12%
1475.66/1475.90 c 1476s| 55000 | 18654 | 11124k| 201.8 | 19M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2861 | 1.656442e+02 | 1.940000e+02 | 17.12%
1478.76/1479.05 c 1479s| 55100 | 18704 | 11148k| 201.9 | 19M| 128 | 378 | 473 | 577 | 473 | 969 | 758 | 24 |2863 | 1.656449e+02 | 1.940000e+02 | 17.12%
1479.76/1480.06 c 1480s| 55200 | 18722 | 11157k| 201.7 | 19M| 128 | 144 | 473 | 577 | 473 | 969 | 758 | 24 |2863 | 1.656453e+02 | 1.940000e+02 | 17.12%
1480.56/1480.88 c 1481s| 55300 | 18744 | 11164k| 201.4 | 19M| 128 | 144 | 473 | 577 | 473 | 969 | 758 | 24 |2865 | 1.656457e+02 | 1.940000e+02 | 17.12%
1484.06/1484.33 c 1484s| 55400 | 18782 | 11192k| 201.6 | 19M| 128 | 144 | 473 | 577 | 473 | 969 | 758 | 24 |2866 | 1.656458e+02 | 1.940000e+02 | 17.12%
1484.26/1484.59 c 1485s| 55500 | 18788 | 11195k| 201.3 | 19M| 128 | 128 | 473 | 577 | 473 | 969 | 758 | 24 |2866 | 1.656458e+02 | 1.940000e+02 | 17.12%
1486.46/1486.72 c 1487s| 55600 | 18814 | 11212k| 201.2 | 19M| 128 | 132 | 473 | 577 | 473 | 969 | 758 | 24 |2866 | 1.656462e+02 | 1.940000e+02 | 17.12%
1488.56/1488.80 c 1489s| 55700 | 18846 | 11228k| 201.2 | 19M| 128 | 362 | 473 | 577 | 473 | 969 | 758 | 24 |2867 | 1.656467e+02 | 1.940000e+02 | 17.12%
1489.86/1490.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1489.86/1490.15 c 1490s| 55800 | 18876 | 11239k| 201.0 | 19M| 128 | 366 | 473 | 577 | 473 | 969 | 758 | 24 |2868 | 1.656471e+02 | 1.940000e+02 | 17.12%
1490.26/1490.54 c 1491s| 55900 | 18880 | 11242k| 200.7 | 19M| 128 | - | 473 | 577 | 0 | 0 | 758 | 24 |2868 | 1.656471e+02 | 1.940000e+02 | 17.12%
1491.06/1491.32 c 1491s| 56000 | 18900 | 11248k| 200.4 | 19M| 128 | 135 | 473 | 577 | 473 | 969 | 758 | 24 |2868 | 1.656472e+02 | 1.940000e+02 | 17.12%
1491.36/1491.64 c 1492s| 56100 | 18916 | 11252k| 200.1 | 19M| 128 | 127 | 473 | 577 | 473 | 969 | 758 | 24 |2868 | 1.656472e+02 | 1.940000e+02 | 17.12%
1494.46/1494.73 c 1495s| 56200 | 18956 | 11277k| 200.2 | 19M| 128 | 143 | 473 | 577 | 473 | 969 | 758 | 24 |2868 | 1.656474e+02 | 1.940000e+02 | 17.12%
1497.96/1498.27 c 1498s| 56300 | 19006 | 11306k| 200.4 | 20M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2868 | 1.656478e+02 | 1.940000e+02 | 17.12%
1499.26/1499.57 c 1500s| 56400 | 19058 | 11316k| 200.2 | 20M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2868 | 1.656481e+02 | 1.940000e+02 | 17.12%
1499.55/1499.82 c 1500s| 56500 | 19064 | 11319k| 199.9 | 20M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2868 | 1.656481e+02 | 1.940000e+02 | 17.12%
1502.55/1502.86 c 1503s| 56600 | 19104 | 11342k| 200.0 | 20M| 128 | 368 | 473 | 577 | 473 | 969 | 758 | 24 |2868 | 1.656487e+02 | 1.940000e+02 | 17.12%
1504.95/1505.29 c 1505s| 56700 | 19154 | 11360k| 199.9 | 20M| 128 | 379 | 473 | 577 | 473 | 969 | 758 | 24 |2868 | 1.656499e+02 | 1.940000e+02 | 17.11%
1509.85/1510.13 c 1510s| 56800 | 19194 | 11394k| 200.2 | 20M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2888 | 1.656501e+02 | 1.940000e+02 | 17.11%
1511.05/1511.38 c 1511s| 56900 | 19230 | 11404k| 200.0 | 20M| 128 | 134 | 473 | 577 | 473 | 969 | 758 | 24 |2888 | 1.656501e+02 | 1.940000e+02 | 17.11%
1513.85/1514.18 c 1514s| 57000 | 19266 | 11426k| 200.0 | 20M| 128 | 123 | 473 | 577 | 473 | 969 | 758 | 24 |2888 | 1.656509e+02 | 1.940000e+02 | 17.11%
1516.05/1516.30 c 1516s| 57100 | 19286 | 11444k| 200.0 | 20M| 128 | - | 473 | 577 | 0 | 0 | 758 | 24 |2888 | 1.656515e+02 | 1.940000e+02 | 17.11%
1516.96/1517.22 c 1517s| 57200 | 19324 | 11450k| 199.8 | 20M| 128 | 132 | 473 | 577 | 473 | 969 | 758 | 24 |2905 | 1.656518e+02 | 1.940000e+02 | 17.11%
1519.06/1519.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1519.06/1519.34 c 1519s| 57300 | 19360 | 11467k| 199.7 | 20M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2905 | 1.656520e+02 | 1.940000e+02 | 17.11%
1521.55/1521.80 c 1522s| 57400 | 19400 | 11482k| 199.6 | 20M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2922 | 1.656531e+02 | 1.940000e+02 | 17.11%
1522.85/1523.15 c 1523s| 57500 | 19420 | 11493k| 199.5 | 20M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2922 | 1.656534e+02 | 1.940000e+02 | 17.11%
1524.96/1525.23 c 1525s| 57600 | 19438 | 11511k| 199.4 | 20M| 128 | 135 | 473 | 577 | 473 | 969 | 758 | 24 |2922 | 1.656538e+02 | 1.940000e+02 | 17.11%
1526.75/1527.09 c 1527s| 57700 | 19458 | 11523k| 199.3 | 20M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2932 | 1.656539e+02 | 1.940000e+02 | 17.11%
1528.85/1529.15 c 1529s| 57800 | 19484 | 11540k| 199.2 | 20M| 128 | 362 | 473 | 577 | 473 | 969 | 758 | 24 |2932 | 1.656545e+02 | 1.940000e+02 | 17.11%
1531.55/1531.84 c 1532s| 57900 | 19510 | 11560k| 199.2 | 20M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2938 | 1.656545e+02 | 1.940000e+02 | 17.11%
1535.65/1535.99 c 1536s| 58000 | 19556 | 11592k| 199.4 | 20M| 128 | - | 473 | 577 | 473 | 969 | 758 | 24 |2945 | 1.656549e+02 | 1.940000e+02 | 17.11%
1537.75/1538.02 c 1538s| 58100 | 19594 | 11606k| 199.3 | 20M| 128 | 120 | 473 | 576 | 473 | 969 | 758 | 24 |2948 | 1.656549e+02 | 1.940000e+02 | 17.11%
1539.45/1539.75 c 1540s| 58200 | 19608 | 11620k| 199.2 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2950 | 1.656551e+02 | 1.940000e+02 | 17.11%
1542.15/1542.48 c 1542s| 58300 | 19644 | 11641k| 199.3 | 20M| 128 | 153 | 473 | 576 | 473 | 969 | 758 | 24 |2952 | 1.656557e+02 | 1.940000e+02 | 17.11%
1543.55/1543.87 c 1544s| 58400 | 19676 | 11652k| 199.1 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2952 | 1.656561e+02 | 1.940000e+02 | 17.11%
1546.55/1546.89 c 1547s| 58500 | 19714 | 11675k| 199.2 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2952 | 1.656568e+02 | 1.940000e+02 | 17.11%
1549.94/1550.21 c 1550s| 58600 | 19760 | 11702k| 199.3 | 20M| 128 | 371 | 473 | 576 | 473 | 969 | 758 | 24 |2952 | 1.656579e+02 | 1.940000e+02 | 17.11%
1550.65/1550.96 c 1551s| 58700 | 19776 | 11708k| 199.0 | 20M| 128 | 367 | 473 | 576 | 473 | 969 | 758 | 24 |2952 | 1.656583e+02 | 1.940000e+02 | 17.11%
1553.95/1554.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1553.95/1554.23 c 1554s| 58800 | 19804 | 11735k| 199.2 | 20M| 128 | 122 | 473 | 576 | 473 | 969 | 758 | 24 |2952 | 1.656585e+02 | 1.940000e+02 | 17.11%
1557.25/1557.53 c 1558s| 58900 | 19846 | 11760k| 199.2 | 20M| 128 | 146 | 473 | 576 | 473 | 969 | 758 | 24 |2952 | 1.656591e+02 | 1.940000e+02 | 17.11%
1557.95/1558.22 c 1558s| 59000 | 19860 | 11765k| 199.0 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2952 | 1.656594e+02 | 1.940000e+02 | 17.11%
1560.04/1560.34 c 1560s| 59100 | 19882 | 11783k| 199.0 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2952 | 1.656596e+02 | 1.940000e+02 | 17.11%
1561.65/1561.95 c 1562s| 59200 | 19914 | 11795k| 198.8 | 20M| 128 | 369 | 473 | 576 | 473 | 969 | 758 | 24 |2952 | 1.656605e+02 | 1.940000e+02 | 17.11%
1564.45/1564.70 c 1565s| 59300 | 19948 | 11818k| 198.9 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2953 | 1.656609e+02 | 1.940000e+02 | 17.11%
1566.05/1566.37 c 1566s| 59400 | 19962 | 11832k| 198.8 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2953 | 1.656610e+02 | 1.940000e+02 | 17.11%
1569.04/1569.32 c 1569s| 59500 | 20000 | 11855k| 198.8 | 20M| 128 | 151 | 473 | 576 | 473 | 969 | 758 | 24 |2954 | 1.656620e+02 | 1.940000e+02 | 17.11%
1571.84/1572.15 c 1572s| 59600 | 20032 | 11878k| 198.9 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2954 | 1.656627e+02 | 1.940000e+02 | 17.11%
1574.95/1575.21 c 1575s| 59700 | 20068 | 11897k| 198.9 | 20M| 128 | 374 | 473 | 576 | 473 | 969 | 758 | 24 |2970 | 1.656640e+02 | 1.940000e+02 | 17.10%
1576.44/1576.70 c 1577s| 59800 | 20094 | 11909k| 198.7 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2970 | 1.656649e+02 | 1.940000e+02 | 17.10%
1577.34/1577.62 c 1578s| 59900 | 20136 | 11917k| 198.6 | 20M| 128 | 177 | 473 | 576 | 473 | 969 | 758 | 24 |2970 | 1.656651e+02 | 1.940000e+02 | 17.10%
1577.64/1577.94 c 1578s| 60000 | 20152 | 11921k| 198.3 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2970 | 1.656651e+02 | 1.940000e+02 | 17.10%
1580.34/1580.68 c 1581s| 60100 | 20192 | 11939k| 198.2 | 20M| 128 | 371 | 473 | 576 | 473 | 969 | 758 | 24 |2986 | 1.656653e+02 | 1.940000e+02 | 17.10%
1581.85/1582.11 c 1582s| 60200 | 20232 | 11950k| 198.1 | 20M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2986 | 1.656654e+02 | 1.940000e+02 | 17.10%
1583.94/1584.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1583.94/1584.20 c 1584s| 60300 | 20266 | 11966k| 198.0 | 21M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2986 | 1.656658e+02 | 1.940000e+02 | 17.10%
1584.64/1584.95 c 1585s| 60400 | 20288 | 11972k| 197.8 | 21M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2986 | 1.656658e+02 | 1.940000e+02 | 17.10%
1588.34/1588.67 c 1589s| 60500 | 20322 | 12000k| 197.9 | 21M| 128 | 146 | 473 | 576 | 473 | 969 | 758 | 24 |2997 | 1.656659e+02 | 1.940000e+02 | 17.10%
1590.64/1590.93 c 1591s| 60600 | 20354 | 12019k| 197.9 | 21M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2997 | 1.656665e+02 | 1.940000e+02 | 17.10%
1592.83/1593.16 c 1593s| 60700 | 20388 | 12037k| 197.9 | 21M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |2997 | 1.656667e+02 | 1.940000e+02 | 17.10%
1594.44/1594.78 c 1595s| 60800 | 20420 | 12046k| 197.7 | 21M| 128 | 375 | 473 | 576 | 473 | 969 | 758 | 24 |3009 | 1.656681e+02 | 1.940000e+02 | 17.10%
1596.34/1596.68 c 1597s| 60900 | 20460 | 12060k| 197.6 | 21M| 128 | 142 | 473 | 576 | 473 | 969 | 758 | 24 |3009 | 1.656689e+02 | 1.940000e+02 | 17.10%
1597.74/1598.03 c 1598s| 61000 | 20484 | 12068k| 197.4 | 21M| 128 | 366 | 473 | 576 | 473 | 969 | 758 | 24 |3018 | 1.656694e+02 | 1.940000e+02 | 17.10%
1600.93/1601.20 c 1601s| 61100 | 20526 | 12093k| 197.5 | 21M| 128 | 150 | 473 | 576 | 473 | 969 | 758 | 24 |3018 | 1.656703e+02 | 1.940000e+02 | 17.10%
1602.24/1602.60 c 1603s| 61200 | 20558 | 12104k| 197.4 | 21M| 128 | 135 | 473 | 576 | 473 | 969 | 758 | 24 |3021 | 1.656708e+02 | 1.940000e+02 | 17.10%
1604.93/1605.22 c 1605s| 61300 | 20586 | 12124k| 197.4 | 21M| 128 | 127 | 473 | 576 | 473 | 969 | 758 | 24 |3029 | 1.656712e+02 | 1.940000e+02 | 17.10%
1606.94/1607.23 c 1607s| 61400 | 20604 | 12140k| 197.3 | 21M| 128 | 370 | 473 | 576 | 473 | 969 | 758 | 24 |3031 | 1.656713e+02 | 1.940000e+02 | 17.10%
1609.64/1609.99 c 1610s| 61500 | 20646 | 12162k| 197.4 | 21M| 128 | 171 | 473 | 576 | 473 | 969 | 758 | 24 |3033 | 1.656714e+02 | 1.940000e+02 | 17.10%
1611.63/1611.98 c 1612s| 61600 | 20720 | 12178k| 197.3 | 21M| 128 | 361 | 473 | 576 | 473 | 969 | 758 | 24 |3034 | 1.656722e+02 | 1.940000e+02 | 17.10%
1613.84/1614.13 c 1614s| 61700 | 20760 | 12195k| 197.3 | 21M| 128 | - | 473 | 576 | 473 | 969 | 758 | 24 |3034 | 1.656728e+02 | 1.940000e+02 | 17.10%
1615.73/1616.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1615.73/1616.03 c 1616s| 61800 | 20784 | 12213k| 197.2 | 21M| 128 | - | 473 | 580 | 473 | 969 | 758 | 28 |3035 | 1.656730e+02 | 1.940000e+02 | 17.10%
1617.94/1618.21 c 1618s| 61900 | 20798 | 12231k| 197.2 | 21M| 128 | 148 | 473 | 580 | 473 | 969 | 758 | 28 |3036 | 1.656731e+02 | 1.940000e+02 | 17.10%
1620.04/1620.35 c 1620s| 62000 | 20832 | 12247k| 197.1 | 21M| 128 | 133 | 473 | 579 | 473 | 969 | 758 | 28 |3038 | 1.656733e+02 | 1.940000e+02 | 17.10%
1622.03/1622.37 c 1622s| 62100 | 20872 | 12263k| 197.1 | 21M| 128 | 122 | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656736e+02 | 1.940000e+02 | 17.10%
1622.73/1623.09 c 1623s| 62200 | 20888 | 12269k| 196.9 | 21M| 128 | 146 | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656737e+02 | 1.940000e+02 | 17.10%
1623.73/1624.01 c 1624s| 62300 | 20914 | 12277k| 196.7 | 21M| 128 | 352 | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656748e+02 | 1.940000e+02 | 17.10%
1627.53/1627.84 c 1628s| 62400 | 20958 | 12308k| 196.9 | 21M| 128 | - | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656753e+02 | 1.940000e+02 | 17.10%
1629.34/1629.66 c 1630s| 62500 | 20990 | 12324k| 196.8 | 21M| 128 | 127 | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656757e+02 | 1.940000e+02 | 17.10%
1630.63/1630.99 c 1631s| 62600 | 21014 | 12334k| 196.6 | 21M| 128 | 129 | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656758e+02 | 1.940000e+02 | 17.10%
1633.33/1633.62 c 1634s| 62700 | 21036 | 12355k| 196.7 | 21M| 128 | 362 | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656761e+02 | 1.940000e+02 | 17.10%
1635.54/1635.87 c 1636s| 62800 | 21106 | 12373k| 196.6 | 21M| 128 | - | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656762e+02 | 1.940000e+02 | 17.10%
1636.44/1636.70 c 1637s| 62900 | 21148 | 12380k| 196.4 | 21M| 128 | 141 | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656763e+02 | 1.940000e+02 | 17.10%
1638.83/1639.17 c 1639s| 63000 | 21190 | 12400k| 196.4 | 21M| 128 | 357 | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656767e+02 | 1.940000e+02 | 17.10%
1639.63/1640.00 c 1640s| 63100 | 21226 | 12406k| 196.2 | 21M| 128 | 157 | 473 | 578 | 473 | 969 | 758 | 28 |3038 | 1.656772e+02 | 1.940000e+02 | 17.10%
1642.13/1642.49 c 1642s| 63200 | 21270 | 12425k| 196.2 | 21M| 128 | 139 | 473 | 578 | 473 | 969 | 758 | 28 |3050 | 1.656775e+02 | 1.940000e+02 | 17.09%
1643.74/1644.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1643.74/1644.03 c 1644s| 63300 | 21298 | 12438k| 196.1 | 21M| 128 | 138 | 473 | 577 | 473 | 969 | 758 | 28 |3050 | 1.656776e+02 | 1.940000e+02 | 17.09%
1645.93/1646.22 c 1646s| 63400 | 21334 | 12456k| 196.1 | 21M| 128 | 118 | 473 | 577 | 473 | 969 | 758 | 28 |3050 | 1.656777e+02 | 1.940000e+02 | 17.09%
1646.63/1646.98 c 1647s| 63500 | 21370 | 12462k| 195.9 | 21M| 128 | - | 473 | 577 | 473 | 969 | 758 | 28 |3050 | 1.656778e+02 | 1.940000e+02 | 17.09%
1648.84/1649.16 c 1649s| 63600 | 21388 | 12475k| 195.8 | 21M| 128 | 126 | 473 | 577 | 473 | 969 | 758 | 28 |3067 | 1.656781e+02 | 1.940000e+02 | 17.09%
1651.14/1651.44 c 1651s| 63700 | 21422 | 12494k| 195.8 | 21M| 128 | 137 | 473 | 577 | 473 | 969 | 758 | 28 |3067 | 1.656783e+02 | 1.940000e+02 | 17.09%
1652.13/1652.43 c 1652s| 63800 | 21488 | 12503k| 195.6 | 22M| 128 | 146 | 473 | 577 | 473 | 969 | 758 | 28 |3067 | 1.656784e+02 | 1.940000e+02 | 17.09%
1653.73/1654.01 c 1654s| 63900 | 21558 | 12516k| 195.5 | 22M| 128 | 362 | 473 | 577 | 473 | 969 | 758 | 28 |3067 | 1.656785e+02 | 1.940000e+02 | 17.09%
1658.03/1658.36 c 1658s| 64000 | 21614 | 12545k| 195.6 | 22M| 128 | 134 | 473 | 576 | 473 | 969 | 758 | 28 |3087 | 1.656788e+02 | 1.940000e+02 | 17.09%
1659.43/1659.77 c 1660s| 64100 | 21646 | 12556k| 195.5 | 22M| 128 | 132 | 473 | 576 | 473 | 969 | 758 | 28 |3087 | 1.656792e+02 | 1.940000e+02 | 17.09%
1660.53/1660.87 c 1661s| 64200 | 21672 | 12565k| 195.3 | 22M| 128 | 134 | 473 | 576 | 473 | 969 | 758 | 28 |3087 | 1.656796e+02 | 1.940000e+02 | 17.09%
1663.83/1664.15 c 1664s| 64300 | 21716 | 12593k| 195.5 | 22M| 128 | 119 | 473 | 576 | 473 | 969 | 758 | 28 |3088 | 1.656802e+02 | 1.940000e+02 | 17.09%
1666.93/1667.27 c 1667s| 64400 | 21744 | 12617k| 195.5 | 22M| 128 | 140 | 473 | 576 | 473 | 969 | 758 | 28 |3095 | 1.656806e+02 | 1.940000e+02 | 17.09%
1667.72/1668.08 c 1668s| 64500 | 21772 | 12624k| 195.3 | 22M| 128 | - | 473 | 576 | 473 | 969 | 758 | 28 |3095 | 1.656807e+02 | 1.940000e+02 | 17.09%
1670.33/1670.62 c 1671s| 64600 | 21834 | 12641k| 195.3 | 22M| 128 | - | 473 | 576 | 473 | 969 | 758 | 28 |3106 | 1.656809e+02 | 1.940000e+02 | 17.09%
1671.74/1672.06 c 1672s| 64700 | 21862 | 12653k| 195.2 | 22M| 128 | - | 473 | 576 | 473 | 969 | 758 | 28 |3106 | 1.656816e+02 | 1.940000e+02 | 17.09%
1673.23/1673.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1673.23/1673.53 c 1674s| 64800 | 21892 | 12663k| 195.0 | 22M| 128 | 133 | 473 | 576 | 473 | 969 | 758 | 28 |3111 | 1.656819e+02 | 1.940000e+02 | 17.09%
1674.53/1674.80 c 1675s| 64900 | 21940 | 12672k| 194.9 | 22M| 128 | 381 | 473 | 576 | 473 | 969 | 758 | 28 |3116 | 1.656821e+02 | 1.940000e+02 | 17.09%
1678.03/1678.39 c 1678s| 65000 | 21994 | 12700k| 195.0 | 22M| 128 | - | 473 | 576 | 473 | 969 | 758 | 28 |3117 | 1.656828e+02 | 1.940000e+02 | 17.09%
1683.73/1684.08 c 1684s| 65100 | 22054 | 12746k| 195.4 | 22M| 128 | 380 | 473 | 576 | 473 | 969 | 758 | 28 |3119 | 1.656839e+02 | 1.940000e+02 | 17.09%
1685.82/1686.10 c 1686s| 65200 | 22110 | 12762k| 195.4 | 22M| 128 | - | 473 | 575 | 0 | 0 | 758 | 28 |3120 | 1.656847e+02 | 1.940000e+02 | 17.09%
1687.03/1687.40 c 1687s| 65300 | 22144 | 12772k| 195.2 | 22M| 128 | 136 | 473 | 575 | 473 | 969 | 758 | 28 |3120 | 1.656850e+02 | 1.940000e+02 | 17.09%
1688.73/1689.07 c 1689s| 65400 | 22168 | 12786k| 195.1 | 22M| 128 | - | 473 | 575 | 473 | 969 | 758 | 28 |3120 | 1.656851e+02 | 1.940000e+02 | 17.09%
1690.02/1690.36 c 1690s| 65500 | 22216 | 12796k| 195.0 | 22M| 128 | - | 473 | 575 | 473 | 969 | 758 | 28 |3120 | 1.656860e+02 | 1.940000e+02 | 17.09%
1692.93/1693.25 c 1693s| 65600 | 22264 | 12818k| 195.0 | 22M| 128 | 379 | 473 | 575 | 473 | 969 | 758 | 28 |3120 | 1.656871e+02 | 1.940000e+02 | 17.09%
1696.32/1696.65 c 1697s| 65700 | 22302 | 12846k| 195.2 | 22M| 128 | 139 | 473 | 575 | 473 | 969 | 758 | 28 |3120 | 1.656876e+02 | 1.940000e+02 | 17.09%
1698.43/1698.78 c 1699s| 65800 | 22342 | 12864k| 195.1 | 22M| 128 | 153 | 473 | 575 | 473 | 969 | 758 | 28 |3120 | 1.656878e+02 | 1.940000e+02 | 17.09%
1699.23/1699.59 c 1700s| 65900 | 22372 | 12871k| 194.9 | 22M| 128 | 142 | 473 | 575 | 473 | 969 | 758 | 28 |3120 | 1.656879e+02 | 1.940000e+02 | 17.09%
1702.53/1702.88 c 1703s| 66000 | 22424 | 12896k| 195.0 | 22M| 128 | 123 | 473 | 575 | 473 | 969 | 758 | 28 |3120 | 1.656887e+02 | 1.940000e+02 | 17.09%
1704.52/1704.88 c 1705s| 66100 | 22454 | 12913k| 195.0 | 22M| 128 | 147 | 473 | 575 | 473 | 969 | 758 | 28 |3120 | 1.656892e+02 | 1.940000e+02 | 17.09%
1706.32/1706.69 c 1707s| 66200 | 22496 | 12928k| 194.9 | 22M| 128 | 174 | 473 | 575 | 473 | 969 | 758 | 28 |3121 | 1.656892e+02 | 1.940000e+02 | 17.09%
1706.83/1707.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1706.83/1707.17 c 1707s| 66300 | 22550 | 12933k| 194.7 | 22M| 128 | 153 | 473 | 575 | 473 | 969 | 758 | 28 |3121 | 1.656892e+02 | 1.940000e+02 | 17.09%
1708.62/1708.93 c 1709s| 66400 | 22606 | 12948k| 194.6 | 22M| 128 | 134 | 473 | 575 | 473 | 969 | 758 | 28 |3121 | 1.656894e+02 | 1.940000e+02 | 17.09%
1709.52/1709.82 c 1710s| 66500 | 22642 | 12955k| 194.4 | 22M| 128 | 142 | 473 | 575 | 473 | 969 | 758 | 28 |3121 | 1.656896e+02 | 1.940000e+02 | 17.09%
1710.32/1710.63 c 1711s| 66600 | 22664 | 12962k| 194.3 | 23M| 128 | - | 473 | 575 | 473 | 969 | 758 | 28 |3121 | 1.656898e+02 | 1.940000e+02 | 17.09%
1713.72/1714.03 c 1714s| 66700 | 22710 | 12985k| 194.3 | 23M| 128 | - | 473 | 575 | 473 | 969 | 758 | 28 |3135 | 1.656904e+02 | 1.940000e+02 | 17.09%
1714.42/1714.73 c 1715s| 66800 | 22710 | 12991k| 194.1 | 23M| 128 | 343 | 473 | 575 | 473 | 969 | 758 | 28 |3135 | 1.656907e+02 | 1.940000e+02 | 17.09%
1718.12/1718.46 c 1718s| 66900 | 22770 | 13022k| 194.3 | 23M| 128 | 153 | 473 | 575 | 473 | 969 | 758 | 28 |3136 | 1.656909e+02 | 1.940000e+02 | 17.09%
1720.82/1721.11 c 1721s| 67000 | 22806 | 13039k| 194.2 | 23M| 128 | - | 473 | 575 | 473 | 969 | 758 | 28 |3155 | 1.656912e+02 | 1.940000e+02 | 17.09%
1722.92/1723.25 c 1723s| 67100 | 22832 | 13056k| 194.2 | 23M| 128 | 140 | 473 | 575 | 473 | 969 | 758 | 28 |3155 | 1.656912e+02 | 1.940000e+02 | 17.09%
1732.82/1733.14 c 1733s| 67200 | 22870 | 13161k| 195.5 | 23M| 128 | 127 | 473 | 575 | 473 | 969 | 758 | 28 |3155 | 1.656923e+02 | 1.940000e+02 | 17.08%
1735.02/1735.37 c 1735s| 67300 | 22898 | 13178k| 195.5 | 23M| 128 | - | 473 | 575 | 473 | 969 | 758 | 28 |3155 | 1.656925e+02 | 1.940000e+02 | 17.08%
1738.42/1738.71 c 1739s| 67400 | 22950 | 13200k| 195.5 | 23M| 128 | 129 | 473 | 575 | 473 | 969 | 758 | 28 |3171 | 1.656940e+02 | 1.940000e+02 | 17.08%
1739.11/1739.47 c 1739s| 67500 | 22974 | 13206k| 195.3 | 23M| 128 | - | 473 | 575 | 473 | 969 | 758 | 28 |3171 | 1.656940e+02 | 1.940000e+02 | 17.08%
1746.12/1746.43 c 1746s| 67600 | 23032 | 13260k| 195.8 | 23M| 128 | - | 473 | 574 | 473 | 969 | 758 | 28 |3181 | 1.656948e+02 | 1.940000e+02 | 17.08%
1747.32/1747.68 c 1748s| 67700 | 23056 | 13269k| 195.6 | 23M| 128 | - | 473 | 574 | 473 | 969 | 758 | 28 |3181 | 1.656958e+02 | 1.940000e+02 | 17.08%
1750.41/1750.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1750.41/1750.73 c 1751s| 67800 | 23090 | 13292k| 195.7 | 23M| 128 | 143 | 473 | 574 | 473 | 969 | 758 | 28 |3193 | 1.656966e+02 | 1.940000e+02 | 17.08%
1752.61/1752.93 c 1753s| 67900 | 23124 | 13310k| 195.7 | 23M| 128 | 123 | 473 | 574 | 473 | 969 | 758 | 28 |3197 | 1.656971e+02 | 1.940000e+02 | 17.08%
1752.92/1753.23 c 1753s| 68000 | 23124 | 13313k| 195.4 | 23M| 128 | - | 473 | 574 | 473 | 969 | 758 | 28 |3197 | 1.656971e+02 | 1.940000e+02 | 17.08%
1755.32/1755.64 c 1756s| 68100 | 23178 | 13331k| 195.4 | 23M| 128 | 133 | 473 | 574 | 473 | 969 | 758 | 28 |3200 | 1.656978e+02 | 1.940000e+02 | 17.08%
1757.01/1757.37 c 1757s| 68200 | 23202 | 13345k| 195.3 | 23M| 128 | 186 | 473 | 573 | 473 | 969 | 758 | 28 |3201 | 1.656980e+02 | 1.940000e+02 | 17.08%
1760.32/1760.63 c 1761s| 68300 | 23230 | 13372k| 195.4 | 23M| 128 | - | 473 | 573 | 473 | 969 | 758 | 28 |3202 | 1.656983e+02 | 1.940000e+02 | 17.08%
1762.51/1762.84 c 1763s| 68400 | 23260 | 13391k| 195.4 | 23M| 128 | - | 473 | 573 | 473 | 969 | 758 | 28 |3202 | 1.656987e+02 | 1.940000e+02 | 17.08%
1765.22/1765.54 c 1766s| 68500 | 23290 | 13412k| 195.4 | 23M| 128 | 351 | 473 | 573 | 473 | 969 | 758 | 28 |3203 | 1.656993e+02 | 1.940000e+02 | 17.08%
1766.61/1766.96 c 1767s| 68600 | 23316 | 13423k| 195.3 | 23M| 128 | - | 473 | 573 | 473 | 969 | 758 | 28 |3203 | 1.656997e+02 | 1.940000e+02 | 17.08%
1768.31/1768.62 c 1769s| 68700 | 23362 | 13437k| 195.2 | 23M| 128 | - | 473 | 573 | 473 | 969 | 758 | 28 |3203 | 1.657006e+02 | 1.940000e+02 | 17.08%
1769.91/1770.20 c 1770s| 68800 | 23444 | 13450k| 195.1 | 23M| 128 | - | 473 | 573 | 473 | 969 | 758 | 28 |3203 | 1.657008e+02 | 1.940000e+02 | 17.08%
1774.31/1774.62 c 1775s| 68900 | 23486 | 13487k| 195.4 | 23M| 128 | 118 | 473 | 573 | 473 | 969 | 758 | 28 |3203 | 1.657011e+02 | 1.940000e+02 | 17.08%
1776.31/1776.65 c 1777s| 69000 | 23500 | 13503k| 195.4 | 23M| 128 | - | 473 | 573 | 473 | 969 | 758 | 28 |3203 | 1.657011e+02 | 1.940000e+02 | 17.08%
1777.81/1778.15 c 1778s| 69100 | 23558 | 13515k| 195.2 | 23M| 128 | - | 473 | 572 | 473 | 969 | 758 | 28 |3203 | 1.657012e+02 | 1.940000e+02 | 17.08%
1779.81/1780.18 c 1780s| 69200 | 23592 | 13532k| 195.2 | 23M| 128 | - | 473 | 572 | 473 | 969 | 758 | 28 |3203 | 1.657015e+02 | 1.940000e+02 | 17.08%
1780.11/1780.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.11/1780.47 c 1780s| 69300 | 23600 | 13535k| 195.0 | 23M| 128 | - | 473 | 572 | 473 | 969 | 758 | 28 |3203 | 1.657015e+02 | 1.940000e+02 | 17.08%
1782.01/1782.31 c 1782s| 69400 | 23626 | 13551k| 194.9 | 23M| 128 | 160 | 473 | 572 | 473 | 969 | 758 | 28 |3203 | 1.657019e+02 | 1.940000e+02 | 17.08%
1783.41/1783.77 c 1784s| 69500 | 23676 | 13563k| 194.8 | 23M| 128 | 137 | 473 | 572 | 473 | 969 | 758 | 28 |3203 | 1.657020e+02 | 1.940000e+02 | 17.08%
1786.12/1786.47 c 1786s| 69600 | 23712 | 13584k| 194.8 | 23M| 128 | 368 | 473 | 572 | 473 | 969 | 758 | 28 |3203 | 1.657031e+02 | 1.940000e+02 | 17.08%
1790.21/1790.58 c 1791s| 69700 | 23758 | 13613k| 195.0 | 23M| 128 | 378 | 473 | 572 | 473 | 969 | 758 | 28 |3216 | 1.657032e+02 | 1.940000e+02 | 17.08%
1793.00/1793.30 c 1793s| 69800 | 23806 | 13635k| 195.0 | 23M| 128 | 125 | 473 | 572 | 473 | 969 | 758 | 28 |3216 | 1.657035e+02 | 1.940000e+02 | 17.08%
1793.81/1794.15 c 1794s| 69900 | 23818 | 13642k| 194.8 | 23M| 128 | - | 473 | 572 | 473 | 969 | 758 | 28 |3216 | 1.657037e+02 | 1.940000e+02 | 17.08%
1796.71/1797.00 c
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Solving Time (sec) : 1797.00
1796.71/1797.00 c Solving Nodes : 69992
1796.71/1797.00 c Primal Bound : +1.94000000000000e+02 (832 solutions)
1796.71/1797.00 c Dual Bound : +1.65703752369721e+02
1796.71/1797.00 c Gap : 17.08 %
1796.71/1797.01 s SATISFIABLE
1796.71/1797.01 v -x473 x472 -x471 -x470 -x469 -x468 x467 -x466 x465 -x464 -x463 x462 x461 -x460 -x459 -x458 -x457 -x456 x455 x454 x453 -x452 -x451
1796.71/1797.01 v -x450 x449 -x448 x447 x446 x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 x434 x433 x432 -x431 x430 x429 -x428
1796.71/1797.01 v x427 -x426 x425 -x424 x423 x422 x421 x420 x419 -x418 x417 x416 x415 -x414 -x413 x412 -x411 x410 -x409 -x408 -x407 x406 x405
1796.71/1797.01 v x404 -x403 -x402 -x401 x400 x399 x398 -x397 -x396 x395 -x394 -x393 -x392 x391 x390 -x389 x388 -x387 x386 -x385 x384 x383
1796.71/1797.01 v x382 x381 x380 x379 -x378 -x377 -x376 x375 x374 -x373 -x372 x371 -x370 x369 -x368 -x367 x366 -x365 -x364 x363 -x362 x361 -x360
1796.71/1797.01 v x359 -x358 -x357 x356 x355 -x354 x353 -x352 -x351 x350 -x349 -x348 x347 -x346 -x345 -x344 -x343 -x342 x341 -x340 x339 -x338
1796.71/1797.01 v -x337 x336 -x335 x334 x333 -x332 x331 x330 -x329 x328 x327 -x326 x325 x324 -x323 -x322 x321 -x320 -x319 x318 x317 -x316 -x315
1796.71/1797.01 v -x314 x313 x312 x311 -x310 -x309 -x308 x307 x306 -x305 -x304 x303 x302 x301 x300 -x299 x298 -x297 -x296 x295 -x294 x293 -x292
1796.71/1797.01 v -x291 x290 -x289 -x288 -x287 x286 -x285 x284 x283 -x282 -x281 x280 x279 x278 -x277 x276 -x275 x274 -x273 -x272 x271 -x270
1796.71/1797.01 v x269 -x268 -x267 x266 x265 x264 -x263 x262 x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 x252 x251 -x250 x249 x248 -x247
1796.71/1797.01 v x246 -x245 -x244 -x243 -x242 x241 -x240 -x239 x238 -x237 -x236 x235 x234 x233 -x232 x231 -x230 -x229 x228 -x227 -x226 -x225
1796.71/1797.01 v -x224 x223 -x222 x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 x210 -x209 x208 -x207 x206 -x205 x204 -x203
1796.71/1797.01 v -x202 -x201 -x200 -x199 x198 x197 x196 x195 x194 x193 -x192 -x191 x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180
1796.71/1797.01 v x179 -x178 -x177 x176 x175 x174 -x173 x172 -x171 -x170 -x169 -x168 x167 -x166 x165 -x164 -x163 -x162 -x161 x160 -x159 x158
1796.71/1797.01 v -x157 -x156 -x155 -x154 -x153 x152 -x151 x150 -x149 -x148 x147 -x146 x145 -x144 -x143 x142 x141 x140 -x139 x138 x137 x136
1796.71/1797.01 v x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 x126 x125 -x124 x123 x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114
1796.71/1797.01 v -x113 x112 x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90
1796.71/1797.01 v -x89 -x88 x87 -x86 x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 x70 -x69 x68 -x67 x66 -x65 x64
1796.71/1797.01 v -x63 x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 x53 x52 -x51 x50 x49 -x48 -x47 -x46 x45 -x44 -x43 x42 x41 -x40 -x39 x38 x37
1796.71/1797.01 v x36 x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 x11 -x10
1796.71/1797.01 v -x9 x8 x7 -x6 x5 -x4 x3 -x2 x1
1796.71/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.01 c Total Time : 1797.00
1796.71/1797.01 c solving : 1797.00
1796.71/1797.01 c presolving : 0.02 (included in solving)
1796.71/1797.01 c reading : 0.00 (included in solving)
1796.71/1797.01 c copying : 0.10 (18 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.71/1797.01 c Original Problem :
1796.71/1797.01 c Problem name : HOME/instance-3692053-1338029693.opb
1796.71/1797.01 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.01 c Constraints : 473 initial, 473 maximal
1796.71/1797.01 c Objective sense : minimize
1796.71/1797.01 c Presolved Problem :
1796.71/1797.01 c Problem name : t_HOME/instance-3692053-1338029693.opb
1796.71/1797.01 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.01 c Constraints : 560 initial, 582 maximal
1796.71/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c knapsack : 0.01 0.00 0 0 0 0 0 26 195 292 665
1796.71/1797.01 c setppc : 0.00 0.00 0 0 0 0 0 82 0 0 0
1796.71/1797.01 c linear : 0.01 0.00 0 0 0 0 0 0 0 1 43
1796.71/1797.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c root node : - - 0 - - 0 - - - - -
1796.71/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.71/1797.01 c integral : 0 0 0 0 47363 0 837 0 9 128 0 0 94518
1796.71/1797.01 c knapsack : 445 445 12 295154 0 2 832 0 575 268984 782 0 0
1796.71/1797.01 c setppc : 113 113 12 294548 0 2 831 0 0 26684 0 0 0
1796.71/1797.01 c logicor : 2+ 24 12 21757 0 2 831 0 0 42 0 0 0
1796.71/1797.01 c countsols : 0 0 0 0 0 2 835 0 0 0 0 0 0
1796.71/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.71/1797.01 c integral : 104.77 0.00 0.00 0.00 104.77 0.00 0.00 0.00
1796.71/1797.01 c knapsack : 2.58 0.00 0.04 2.54 0.00 0.00 0.01 0.00
1796.71/1797.01 c setppc : 0.34 0.00 0.00 0.34 0.00 0.00 0.00 0.00
1796.71/1797.01 c logicor : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00
1796.71/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.71/1797.01 c rootredcost : 23 0 0 0
1796.71/1797.01 c pseudoobj : 342468 0 0 0
1796.71/1797.01 c vbounds : 0 0 0 0
1796.71/1797.01 c redcost : 65844 0 0 392133
1796.71/1797.01 c probing : 0 0 0 0
1796.71/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.71/1797.01 c rootredcost : 0.09 0.00 0.00 0.09 0.00
1796.71/1797.01 c pseudoobj : 0.32 0.00 0.00 0.32 0.00
1796.71/1797.01 c vbounds : 0.07 0.00 0.00 0.07 0.00
1796.71/1797.01 c redcost : 1.04 0.00 0.00 1.04 0.00
1796.71/1797.01 c probing : 0.00 0.00 0.00 0.00 0.00
1796.71/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.01 c propagation : 0.00 575 0 0 0.0 0 0.0 -
1796.71/1797.01 c infeasible LP : 0.00 28 28 28 4.2 0 0.0 0
1796.71/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.01 c applied globally : - - - 28 4.2 - - -
1796.71/1797.01 c applied locally : - - - 0 0.0 - - -
1796.71/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.01 c cut pool : 0.00 11 - - 291 - (maximal pool size: 1340)
1796.71/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c impliedbounds : 0.00 0.00 12 0 0 0 0
1796.71/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c gomory : 1.68 0.00 10 0 0 0 0
1796.71/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c strongcg : 1.57 0.00 12 0 0 0 0
1796.71/1797.01 c cmir : 0.19 0.00 10 0 0 800 0
1796.71/1797.01 c flowcover : 0.26 0.00 10 0 0 965 0
1796.71/1797.01 c clique : 0.00 0.00 1 0 0 0 0
1796.71/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c mcf : 0.00 0.00 1 0 0 0 0
1796.71/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c rapidlearning : 0.24 0.00 1 0 0 0 0
1796.71/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.71/1797.01 c problem variables: 0.00 - 0 0
1796.71/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.01 c relpscost : 104.73 0.00 47363 9 128 0 0 94518
1796.71/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c inference : 0.00 0.00 2 0 0 0 0 4
1796.71/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.71/1797.01 c LP solutions : 0.00 - - 0
1796.71/1797.01 c pseudo solutions : 0.00 - - 0
1796.71/1797.01 c crossover : 0.15 0.00 0 0
1796.71/1797.01 c oneopt : 0.02 0.00 10 3
1796.71/1797.01 c smallcard : 0.00 0.00 0 0
1796.71/1797.01 c trivial : 0.00 0.00 2 1
1796.71/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.71/1797.01 c simplerounding : 1.10 0.00 47370 26
1796.71/1797.01 c zirounding : 0.43 0.00 1101 22
1796.71/1797.01 c rounding : 11.82 0.00 9987 1
1796.71/1797.01 c shifting : 3.47 0.00 2883 1
1796.71/1797.01 c intshifting : 0.00 0.00 0 0
1796.71/1797.01 c twoopt : 0.00 0.00 0 0
1796.71/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.71/1797.01 c indoneopt : 0.04 0.00 0 0
1796.71/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.71/1797.01 c feaspump : 0.00 0.00 0 0
1796.71/1797.01 c clique : 0.00 0.00 0 0
1796.71/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.71/1797.01 c coefdiving : 57.27 0.00 49 168
1796.71/1797.01 c indrounding : 0.00 0.00 0 0
1796.71/1797.01 c pscostdiving : 332.88 0.00 388 351
1796.71/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.71/1797.01 c fracdiving : 52.36 0.00 44 0
1796.71/1797.01 c veclendiving : 101.64 0.00 113 57
1796.71/1797.01 c intdiving : 0.00 0.00 0 0
1796.71/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.71/1797.01 c objpscostdiving : 44.85 0.00 6 115
1796.71/1797.01 c rootsoldiving : 13.52 0.00 14 0
1796.71/1797.01 c linesearchdiving : 107.74 0.00 147 86
1796.71/1797.01 c guideddiving : 51.78 0.00 45 0
1796.71/1797.01 c octane : 0.00 0.00 0 0
1796.71/1797.01 c rens : 0.01 0.00 0 0
1796.71/1797.01 c rins : 0.00 0.00 0 0
1796.71/1797.01 c localbranching : 0.00 0.00 0 0
1796.71/1797.01 c mutation : 0.00 0.00 0 0
1796.71/1797.01 c dins : 0.00 0.00 0 0
1796.71/1797.01 c vbounds : 0.00 0.00 0 0
1796.71/1797.01 c undercover : 0.00 0.00 0 0
1796.71/1797.01 c subnlp : 0.02 0.00 0 0
1796.71/1797.01 c trysol : 0.03 0.00 0 0
1796.71/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.71/1797.01 c primal LP : 0.01 2 0 0.00 - 0.01 2
1796.71/1797.01 c dual LP : 893.30 88013 7151321 102.93 8005.52 4.48 18537
1796.71/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.01 c diving/probing LP: 738.12 131253 6511559 49.61 8821.87
1796.71/1797.01 c strong branching : 102.40 3226 678714 210.39 6628.03
1796.71/1797.01 c (at root node) : - 20 17952 897.60 -
1796.71/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.01 c B&B Tree :
1796.71/1797.01 c number of runs : 1
1796.71/1797.01 c nodes : 69992
1796.71/1797.01 c nodes (total) : 69992
1796.71/1797.01 c nodes left : 23846
1796.71/1797.01 c max depth : 128
1796.71/1797.01 c max depth (total): 128
1796.71/1797.01 c backtracks : 12821 (18.3%)
1796.71/1797.01 c delayed cutoffs : 0
1796.71/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.71/1797.01 c avg switch length: 7.78
1796.71/1797.01 c switching time : 2.59
1796.71/1797.01 c Solution :
1796.71/1797.01 c Solutions found : 832 (31 improvements)
1796.71/1797.01 c First Solution : +4.73000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.71/1797.01 c Primal Bound : +1.94000000000000e+02 (in run 1, after 18333 nodes, 650.93 seconds, depth 218, found by <pscostdiving>)
1796.71/1797.01 c Dual Bound : +1.65703752369721e+02
1796.71/1797.01 c Gap : 17.08 %
1796.71/1797.01 c Root Dual Bound : +1.63946282015523e+02
1796.71/1797.01 c Root Iterations : 24869
1796.71/1797.05 c Time complete: 1796.76.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3692053-1338029693/watcher-3692053-1338029693 -o /tmp/evaluation-result-3692053-1338029693/solver-3692053-1338029693 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692053-1338029693.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.25 3/174 745
/proc/meminfo: memFree=28922640/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=9596 CPUtime=0 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 1014 0 0 0 0 0 0 0 20 0 1 0 269096721 9826304 1244 33554432000 4194304 10219143 140735242861552 140735242860456 8762224 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 2400 1256 381 1471 0 920 0
[startup+0.0243049 s]
/proc/loadavg: 1.00 1.00 1.25 3/174 745
/proc/meminfo: memFree=28922640/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=20764 CPUtime=0.01 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 3741 0 0 0 1 0 0 0 20 0 1 0 269096721 21262336 3713 33554432000 4194304 10219143 140735242861552 140735242726728 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 5191 3713 584 1471 0 3711 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 20764
[startup+0.100298 s]
/proc/loadavg: 1.00 1.00 1.25 3/174 745
/proc/meminfo: memFree=28922640/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=25512 CPUtime=0.09 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 5137 0 0 0 8 1 0 0 20 0 1 0 269096721 26124288 5105 33554432000 4194304 10219143 140735242861552 140735242726728 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 6378 5105 757 1471 0 4898 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25512
[startup+0.300304 s]
/proc/loadavg: 1.00 1.00 1.25 3/174 745
/proc/meminfo: memFree=28922640/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=25824 CPUtime=0.29 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 5196 0 0 0 28 1 0 0 20 0 1 0 269096721 26443776 5164 33554432000 4194304 10219143 140735242861552 140735242726728 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 6456 5164 757 1471 0 4976 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25824
[startup+0.700272 s]
/proc/loadavg: 1.00 1.00 1.25 3/174 745
/proc/meminfo: memFree=28922640/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=26056 CPUtime=0.69 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 5258 0 0 0 68 1 0 0 20 0 1 0 269096721 26681344 5226 33554432000 4194304 10219143 140735242861552 140735242854856 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 6514 5226 757 1471 0 5034 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26056
[startup+1.50028 s]
/proc/loadavg: 1.08 1.02 1.25 3/177 751
/proc/meminfo: memFree=28888088/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=40964 CPUtime=1.49 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 9485 0 0 0 145 4 0 0 20 0 1 0 269096721 41947136 8747 33554432000 4194304 10219143 140735242861552 140735242854808 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 10241 8747 836 1471 0 8761 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40964
[startup+3.10028 s]
/proc/loadavg: 1.08 1.02 1.25 3/177 751
/proc/meminfo: memFree=28865008/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=41240 CPUtime=3.09 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 9544 0 0 0 303 6 0 0 20 0 1 0 269096721 42229760 8806 33554432000 4194304 10219143 140735242861552 140735242854808 8098738 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 10310 8806 837 1471 0 8830 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41240
[startup+6.30032 s]
/proc/loadavg: 1.08 1.02 1.25 3/177 751
/proc/meminfo: memFree=28864732/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=41576 CPUtime=6.29 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 9607 0 0 0 621 8 0 0 20 0 1 0 269096721 42573824 8869 33554432000 4194304 10219143 140735242861552 140735242856712 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 10394 8869 837 1471 0 8914 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41576
[startup+12.7003 s]
/proc/loadavg: 1.22 1.05 1.26 3/177 751
/proc/meminfo: memFree=28862408/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=41576 CPUtime=12.69 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 9951 0 0 0 1258 11 0 0 20 0 1 0 269096721 42573824 9209 33554432000 4194304 10219143 140735242861552 140735242854728 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 10394 9209 843 1471 0 8914 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41576
[startup+25.5002 s]
/proc/loadavg: 1.34 1.08 1.27 3/177 751
/proc/meminfo: memFree=28862164/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=41576 CPUtime=25.48 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 9951 0 0 0 2530 18 0 0 20 0 1 0 269096721 42573824 9440 33554432000 4194304 10219143 140735242861552 140735242855000 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 10394 9440 843 1471 0 8914 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41576
[startup+51.1002 s]
/proc/loadavg: 1.56 1.16 1.29 3/177 751
/proc/meminfo: memFree=28862580/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=41576 CPUtime=51.08 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 9952 0 0 0 5067 41 0 0 20 0 1 0 269096721 42573824 9441 33554432000 4194304 10219143 140735242861552 140735242855096 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 10394 9441 844 1471 0 8914 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 41576
[startup+102.306 s]
/proc/loadavg: 1.82 1.30 1.32 3/177 751
/proc/meminfo: memFree=28862532/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=41576 CPUtime=102.28 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 9952 0 0 0 10146 82 0 0 20 0 1 0 269096721 42573824 9441 33554432000 4194304 10219143 140735242861552 140735242854520 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 10394 9441 844 1471 0 8914 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 41576
[startup+162.3 s]
/proc/loadavg: 1.97 1.43 1.37 3/177 751
/proc/meminfo: memFree=28862408/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=41576 CPUtime=162.26 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 9952 0 0 0 16093 133 0 0 20 0 1 0 269096721 42573824 9441 33554432000 4194304 10219143 140735242861552 140735242854520 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 10394 9441 844 1471 0 8914 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 41576
[startup+222.3 s]
/proc/loadavg: 1.99 1.54 1.40 3/177 751
/proc/meminfo: memFree=28864024/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=41576 CPUtime=222.25 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 9952 0 0 0 22041 184 0 0 20 0 1 0 269096721 42573824 9441 33554432000 4194304 10219143 140735242861552 140735242855384 7940579 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 10394 9441 844 1471 0 8914 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 41576
[startup+282.3 s]
/proc/loadavg: 1.99 1.62 1.44 3/177 751
/proc/meminfo: memFree=28863964/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=41576 CPUtime=282.24 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 9954 0 0 0 27983 241 0 0 20 0 1 0 269096721 42573824 9443 33554432000 4194304 10219143 140735242861552 140735242854216 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 10394 9443 845 1471 0 8914 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 41576
[startup+342.3 s]
/proc/loadavg: 1.99 1.68 1.47 3/178 755
/proc/meminfo: memFree=28864096/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=41576 CPUtime=342.24 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 9955 0 0 0 33931 293 0 0 20 0 1 0 269096721 42573824 9444 33554432000 4194304 10219143 140735242861552 140735242854488 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 10394 9444 845 1471 0 8914 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 41576
[startup+402.3 s]
/proc/loadavg: 1.99 1.74 1.50 3/178 778
/proc/meminfo: memFree=28864084/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=41576 CPUtime=402.23 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 9956 0 0 0 39876 347 0 0 20 0 1 0 269096721 42573824 9445 33554432000 4194304 10219143 140735242861552 140735242854808 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 10394 9445 845 1471 0 8914 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 41576
[startup+462.3 s]
/proc/loadavg: 1.99 1.78 1.53 3/177 778
/proc/meminfo: memFree=28864060/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=41576 CPUtime=462.22 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 9957 0 0 0 45820 402 0 0 20 0 1 0 269096721 42573824 9446 33554432000 4194304 10219143 140735242861552 140735242854584 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 10394 9446 845 1471 0 8914 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 41576
[startup+522.3 s]
/proc/loadavg: 1.99 1.82 1.56 3/177 778
/proc/meminfo: memFree=28862636/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=41576 CPUtime=522.21 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 9958 0 0 0 51762 459 0 0 20 0 1 0 269096721 42573824 9447 33554432000 4194304 10219143 140735242861552 140735242854840 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 10394 9447 845 1471 0 8914 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 41576
[startup+582.3 s]
/proc/loadavg: 1.99 1.85 1.58 3/177 778
/proc/meminfo: memFree=28862520/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=41576 CPUtime=582.19 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 9966 0 0 0 57710 509 0 0 20 0 1 0 269096721 42573824 9455 33554432000 4194304 10219143 140735242861552 140735242854808 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 10394 9455 845 1471 0 8914 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 41576
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28854336/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=43948 CPUtime=1122.12 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 12370 0 0 0 111226 986 0 0 20 0 1 0 269096721 45002752 10054 33554432000 4194304 10219143 140735242861552 140735242854808 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 10987 10054 845 1471 0 9507 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 43948
[startup+1182.3 s]
/proc/loadavg: 2.04 1.99 1.77 3/177 783
/proc/meminfo: memFree=28853596/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=44308 CPUtime=1182.1 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 12459 0 0 0 117172 1038 0 0 20 0 1 0 269096721 45371392 10143 33554432000 4194304 10219143 140735242861552 140735242854856 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 11077 10143 845 1471 0 9597 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 44308
[startup+1242.3 s]
/proc/loadavg: 2.01 1.99 1.78 3/177 784
/proc/meminfo: memFree=28850432/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=44948 CPUtime=1242.1 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 15207 0 0 0 123117 1093 0 0 20 0 1 0 269096721 46026752 10285 33554432000 4194304 10219143 140735242861552 140735242854856 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 11237 10285 845 1471 0 9757 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 44948
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/177 784
/proc/meminfo: memFree=28850192/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=44948 CPUtime=1302.09 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 15245 0 0 0 129064 1145 0 0 20 0 1 0 269096721 46026752 10323 33554432000 4194304 10219143 140735242861552 140735242855192 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 11237 10323 845 1471 0 9757 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 44948
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/177 784
/proc/meminfo: memFree=28849204/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=46576 CPUtime=1362.07 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 15635 0 0 0 135008 1199 0 0 20 0 1 0 269096721 47693824 10713 33554432000 4194304 10219143 140735242861552 140735242854904 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 11644 10713 845 1471 0 10164 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 46576
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.81 3/177 784
/proc/meminfo: memFree=28847844/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=47780 CPUtime=1422.08 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 15933 0 0 0 140955 1253 0 0 20 0 1 0 269096721 48926720 11010 33554432000 4194304 10219143 140735242861552 140735242854424 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 11945 11010 845 1471 0 10465 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 47780
[startup+1482.3 s]
/proc/loadavg: 2.04 2.00 1.83 3/177 784
/proc/meminfo: memFree=28847356/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=47780 CPUtime=1482.06 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 15935 0 0 0 146900 1306 0 0 20 0 1 0 269096721 48926720 11012 33554432000 4194304 10219143 140735242861552 140735242854488 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 11945 11012 845 1471 0 10465 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 47780
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.83 3/178 788
/proc/meminfo: memFree=28846652/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=48656 CPUtime=1542.05 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 16151 0 0 0 152842 1363 0 0 20 0 1 0 269096721 49823744 11228 33554432000 4194304 10219143 140735242861552 140735242854584 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 12164 11228 845 1471 0 10684 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 48656
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 788
/proc/meminfo: memFree=28843168/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=49184 CPUtime=1602.04 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 16292 0 0 0 158784 1420 0 0 20 0 1 0 269096721 50364416 11368 33554432000 4194304 10219143 140735242861552 140735242854856 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 12296 11368 845 1471 0 10816 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 49184
[startup+1662.3 s]
/proc/loadavg: 2.10 2.03 1.85 3/177 788
/proc/meminfo: memFree=28842552/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=49368 CPUtime=1662.03 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 16350 0 0 0 164725 1478 0 0 20 0 1 0 269096721 50552832 11426 33554432000 4194304 10219143 140735242861552 140735242854472 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 12342 11426 845 1471 0 10862 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 49368
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 1.86 3/177 788
/proc/meminfo: memFree=28839584/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=51920 CPUtime=1722.02 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 16970 0 0 0 170673 1529 0 0 20 0 1 0 269096721 53166080 12046 33554432000 4194304 10219143 140735242861552 140735242854808 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 12980 12046 845 1471 0 11500 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 51920
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.87 3/177 788
/proc/meminfo: memFree=28838220/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=51920 CPUtime=1782.01 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 16974 0 0 0 176615 1586 0 0 20 0 1 0 269096721 53166080 12049 33554432000 4194304 10219143 140735242861552 140735242854200 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 12980 12049 845 1471 0 11500 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 51920
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.02 1.87 3/177 788
/proc/meminfo: memFree=28838468/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=51920 CPUtime=1785.21 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 16974 0 0 0 176933 1588 0 0 20 0 1 0 269096721 53166080 12049 33554432000 4194304 10219143 140735242861552 140735242854808 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 12980 12049 845 1471 0 11500 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 51920
[startup+1791.91 s]
/proc/loadavg: 2.01 2.02 1.87 3/177 788
/proc/meminfo: memFree=28838472/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=51920 CPUtime=1791.62 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 16979 0 0 0 177569 1593 0 0 20 0 1 0 269096721 53166080 12054 33554432000 4194304 10219143 140735242861552 140735242855192 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 12980 12054 845 1471 0 11500 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 51920
[startup+1795.1 s]
/proc/loadavg: 2.01 2.02 1.87 3/177 788
/proc/meminfo: memFree=28838472/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=51920 CPUtime=1794.81 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 16979 0 0 0 177885 1596 0 0 20 0 1 0 269096721 53166080 12054 33554432000 4194304 10219143 140735242861552 140735242854808 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 12980 12054 845 1471 0 11500 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 51920
[startup+1795.9 s]
/proc/loadavg: 2.01 2.02 1.87 3/177 788
/proc/meminfo: memFree=28838472/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=51920 CPUtime=1795.61 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 16979 0 0 0 177964 1597 0 0 20 0 1 0 269096721 53166080 12054 33554432000 4194304 10219143 140735242861552 140735242854360 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 12980 12054 845 1471 0 11500 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 51920
[startup+1796.7 s]
/proc/loadavg: 2.01 2.02 1.87 3/177 788
/proc/meminfo: memFree=28838472/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=51920 CPUtime=1796.41 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 16979 0 0 0 178044 1597 0 0 20 0 1 0 269096721 53166080 12054 33554432000 4194304 10219143 140735242861552 140735242855096 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 12980 12054 845 1471 0 11500 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 51920
[startup+1796.9 s]
/proc/loadavg: 2.01 2.02 1.87 3/177 788
/proc/meminfo: memFree=28838472/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=51920 CPUtime=1796.61 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 16979 0 0 0 178064 1597 0 0 20 0 1 0 269096721 53166080 12054 33554432000 4194304 10219143 140735242861552 140735242855096 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 12980 12054 845 1471 0 11500 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 51920
[startup+1797 s]
/proc/loadavg: 2.01 2.02 1.87 3/177 788
/proc/meminfo: memFree=28838472/32873648 swapFree=7108/7108
[pid=745] ppid=743 vsize=51920 CPUtime=1796.71 cores=1,3,5,7
/proc/745/stat : 745 (scip-2.1.1.4exp) R 743 745 32297 0 -1 4202496 16979 0 0 0 178074 1597 0 0 20 0 1 0 269096721 53166080 12054 33554432000 4194304 10219143 140735242861552 140735242855096 8091518 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/745/statm: 12980 12054 845 1471 0 11500 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 51920
Child status: 0
Real time (s): 1797.06
CPU time (s): 1796.77
CPU user time (s): 1780.79
CPU system time (s): 15.9806
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 51920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.79
system time used= 15.9806
maximum resident set size= 48228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16984
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= 13
involuntary context switches= 1850
runsolver used 2.90656 second user time and 8.99763 second system time
The end