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: a3bf3a4-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-3693220-1338029393.opb>
0.00/0.00 c original problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 476 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 o 476
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.760000e+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, 0 chg sides, 22 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 22 chg coeffs, 476 upgd conss, 2 impls, 0 clqs
0.00/0.03 c (round 3) 0 del vars, 64 del conss, 166 add conss, 0 chg bounds, 223 chg sides, 567 chg coeffs, 476 upgd conss, 216 impls, 0 clqs
0.00/0.03 c (round 4) 0 del vars, 104 del conss, 187 add conss, 0 chg bounds, 288 chg sides, 696 chg coeffs, 476 upgd conss, 216 impls, 0 clqs
0.00/0.03 c (round 5) 0 del vars, 112 del conss, 195 add conss, 0 chg bounds, 306 chg sides, 733 chg coeffs, 476 upgd conss, 216 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 114 del conss, 197 add conss, 0 chg bounds, 313 chg sides, 756 chg coeffs, 476 upgd conss, 216 impls, 0 clqs
0.00/0.04 c (round 7) 0 del vars, 114 del conss, 197 add conss, 0 chg bounds, 317 chg sides, 774 chg coeffs, 476 upgd conss, 216 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 51/476 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.04 c presolving (8 rounds):
0.00/0.04 c 0 deleted vars, 114 deleted constraints, 197 added constraints, 0 tightened bounds, 0 added holes, 317 changed sides, 774 changed coefficients
0.00/0.04 c 216 implications, 0 cliques
0.00/0.04 c presolved problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 559 constraints
0.00/0.04 c 449 constraints of type <knapsack>
0.00/0.04 c 108 constraints of type <setppc>
0.00/0.04 c 2 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.04
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.1.1.4
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1797
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.89/0.99 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.99 c t 1.0s| 1 | 0 | 10550 | - |2717k| 0 | 335 | 476 | 559 | 476 | 559 | 0 | 0 | 0 | 1.489396e+02 | 4.760000e+02 | 219.59%
0.89/0.99 o 346
0.89/0.99 c r 1.0s| 1 | 0 | 10550 | - |2731k| 0 | 335 | 476 | 559 | 476 | 559 | 0 | 0 | 0 | 1.489396e+02 | 3.460000e+02 | 132.31%
0.89/1.00 o 345
0.89/1.00 c R 1.0s| 1 | 0 | 10550 | - |2744k| 0 | 335 | 476 | 559 | 476 | 559 | 0 | 0 | 0 | 1.489396e+02 | 3.450000e+02 | 131.64%
0.89/1.00 o 344
0.89/1.00 c s 1.0s| 1 | 0 | 10550 | - |2757k| 0 | 335 | 476 | 559 | 476 | 559 | 0 | 0 | 0 | 1.489396e+02 | 3.440000e+02 | 130.97%
1.68/1.71 c 1.7s| 1 | 0 | 14184 | - |3065k| 0 | 382 | 476 | 559 | 476 | 781 | 222 | 0 | 0 | 1.545952e+02 | 3.440000e+02 | 122.52%
1.68/1.71 o 216
1.68/1.71 c b 1.7s| 1 | 0 | 14184 | - |3078k| 0 | 382 | 476 | 559 | 476 | 781 | 222 | 0 | 0 | 1.545952e+02 | 2.160000e+02 | 39.72%
2.69/2.71 c 2.7s| 1 | 0 | 18994 | - |3324k| 0 | 416 | 476 | 559 | 476 | 966 | 407 | 0 | 0 | 1.578876e+02 | 2.160000e+02 | 36.81%
3.30/3.37 c 3.4s| 1 | 0 | 21159 | - |3535k| 0 | 427 | 476 | 559 | 476 |1114 | 555 | 0 | 0 | 1.599065e+02 | 2.160000e+02 | 35.08%
4.08/4.13 c 4.1s| 1 | 0 | 23292 | - |3655k| 0 | 431 | 476 | 559 | 476 |1213 | 654 | 0 | 0 | 1.609796e+02 | 2.160000e+02 | 34.18%
4.68/4.74 c 4.7s| 1 | 0 | 24267 | - |3712k| 0 | 430 | 476 | 559 | 476 |1267 | 708 | 0 | 0 | 1.614330e+02 | 2.160000e+02 | 33.80%
5.29/5.33 c 5.3s| 1 | 0 | 25151 | - |3769k| 0 | 436 | 476 | 559 | 476 |1311 | 752 | 0 | 0 | 1.616385e+02 | 2.160000e+02 | 33.63%
5.78/5.86 c 5.9s| 1 | 0 | 25536 | - |3796k| 0 | 436 | 476 | 559 | 476 |1334 | 775 | 0 | 0 | 1.617382e+02 | 2.160000e+02 | 33.55%
6.19/6.28 c 6.3s| 1 | 0 | 25692 | - |3805k| 0 | 435 | 476 | 559 | 476 |1338 | 779 | 0 | 0 | 1.617651e+02 | 2.160000e+02 | 33.53%
6.59/6.69 c 6.7s| 1 | 0 | 25747 | - |3812k| 0 | 437 | 476 | 559 | 476 |1341 | 782 | 0 | 0 | 1.617726e+02 | 2.160000e+02 | 33.52%
6.99/7.09 c 7.1s| 1 | 0 | 25752 | - |3819k| 0 | 436 | 476 | 559 | 476 |1342 | 783 | 0 | 0 | 1.617726e+02 | 2.160000e+02 | 33.52%
7.19/7.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.19/7.27 c 7.3s| 1 | 0 | 25772 | - |3826k| 0 | 438 | 476 | 559 | 476 |1281 | 784 | 0 | 0 | 1.617738e+02 | 2.160000e+02 | 33.52%
11.48/11.52 c 11.5s| 1 | 2 | 25772 | - |3847k| 0 | 438 | 476 | 559 | 476 |1281 | 784 | 0 | 27 | 1.617738e+02 | 2.160000e+02 | 33.52%
33.88/33.95 o 211
33.88/33.95 c p34.0s| 38 | 39 | 55252 | 796.8 |4730k| 24 | - | 476 | 559 | 476 | 961 | 784 | 0 | 224 | 1.619657e+02 | 2.110000e+02 | 30.27%
33.88/33.95 o 210
33.88/33.95 c p34.0s| 38 | 39 | 55258 | 796.9 |4732k| 24 | - | 476 | 559 | 476 | 961 | 784 | 0 | 224 | 1.619657e+02 | 2.100000e+02 | 29.66%
33.88/33.96 o 210
33.88/33.96 c p34.0s| 38 | 39 | 55265 | 797.1 |4733k| 24 | - | 476 | 559 | 476 | 961 | 784 | 0 | 224 | 1.619657e+02 | 2.100000e+02 | 29.66%
33.88/33.96 o 208
33.88/33.96 c p34.0s| 38 | 39 | 55276 | 797.4 |4734k| 24 | - | 476 | 559 | 476 | 961 | 784 | 0 | 224 | 1.619657e+02 | 2.080000e+02 | 28.42%
33.88/33.96 o 207
33.88/33.96 c p34.0s| 38 | 39 | 55277 | 797.4 |4735k| 24 | - | 476 | 559 | 476 | 961 | 784 | 0 | 224 | 1.619657e+02 | 2.070000e+02 | 27.80%
33.88/33.96 o 207
33.88/33.96 c p34.0s| 38 | 39 | 55280 | 797.5 |4737k| 24 | - | 476 | 559 | 476 | 961 | 784 | 0 | 224 | 1.619657e+02 | 2.070000e+02 | 27.80%
33.88/33.96 o 205
33.88/33.96 c p34.0s| 38 | 39 | 55291 | 797.8 |4738k| 24 | - | 476 | 559 | 476 | 961 | 784 | 0 | 224 | 1.619657e+02 | 2.050000e+02 | 26.57%
33.88/33.96 o 204
33.88/33.96 c p34.0s| 38 | 39 | 55305 | 798.2 |4740k| 24 | - | 476 | 559 | 476 | 961 | 784 | 0 | 224 | 1.619657e+02 | 2.040000e+02 | 25.95%
33.88/33.96 o 204
33.88/33.96 c p34.0s| 38 | 39 | 55308 | 798.3 |4741k| 24 | - | 476 | 559 | 476 | 961 | 784 | 0 | 224 | 1.619657e+02 | 2.040000e+02 | 25.95%
33.88/33.97 o 201
33.88/33.97 c b34.0s| 39 | 38 | 55339 | 778.1 |4596k| 24 | - | 476 | 559 | 476 | 961 | 784 | 0 | 224 | 1.619657e+02 | 2.010000e+02 | 24.10%
45.88/45.96 c 46.0s| 100 | 101 |171891 |1475.9 |4717k| 38 | 327 | 476 | 559 | 476 | 961 | 784 | 0 | 237 | 1.621359e+02 | 2.010000e+02 | 23.97%
57.97/58.06 c 58.1s| 200 | 201 |254540 |1149.6 |4845k| 38 | 328 | 476 | 559 | 476 | 961 | 784 | 0 | 272 | 1.623222e+02 | 2.010000e+02 | 23.83%
62.87/62.96 o 200
62.87/62.96 c p63.0s| 234 | 235 |289234 |1130.7 |5036k| 38 | - | 476 | 559 | 476 | 961 | 784 | 0 | 283 | 1.623500e+02 | 2.000000e+02 | 23.19%
62.87/62.97 o 200
62.87/62.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.87/62.97 c p63.0s| 234 | 235 |289236 |1130.7 |5037k| 38 | - | 476 | 559 | 476 | 961 | 784 | 0 | 283 | 1.623500e+02 | 2.000000e+02 | 23.19%
62.87/62.97 o 199
62.87/62.97 c p63.0s| 234 | 235 |289239 |1130.8 |5038k| 38 | - | 476 | 559 | 476 | 961 | 784 | 0 | 283 | 1.623500e+02 | 1.990000e+02 | 22.57%
62.87/62.97 o 198
62.87/62.97 c p63.0s| 234 | 235 |289246 |1130.8 |5039k| 38 | - | 476 | 559 | 476 | 961 | 784 | 0 | 283 | 1.623500e+02 | 1.980000e+02 | 21.96%
62.87/62.97 o 197
62.87/62.97 c p63.0s| 234 | 235 |289250 |1130.8 |5041k| 38 | - | 476 | 559 | 476 | 961 | 784 | 0 | 283 | 1.623500e+02 | 1.970000e+02 | 21.34%
62.87/62.97 o 196
62.87/62.97 c p63.0s| 234 | 235 |289253 |1130.8 |5042k| 38 | - | 476 | 559 | 476 | 961 | 784 | 0 | 283 | 1.623500e+02 | 1.960000e+02 | 20.73%
79.37/79.47 c 79.5s| 300 | 301 |408070 |1278.6 |4929k| 43 | 333 | 476 | 559 | 476 | 961 | 784 | 0 | 323 | 1.623531e+02 | 1.960000e+02 | 20.72%
92.28/92.40 c 92.4s| 400 | 401 |495025 |1176.1 |4999k| 43 | 338 | 476 | 559 | 476 | 961 | 784 | 0 | 381 | 1.623531e+02 | 1.960000e+02 | 20.72%
103.77/103.82 o 195
103.77/103.82 c p 104s| 466 | 467 |576061 |1183.4 |5187k| 43 | - | 476 | 559 | 476 | 961 | 784 | 0 | 426 | 1.623531e+02 | 1.950000e+02 | 20.11%
107.86/107.90 c 108s| 500 | 501 |604196 |1159.2 |5070k| 43 | 347 | 476 | 559 | 476 | 961 | 784 | 0 | 444 | 1.623531e+02 | 1.950000e+02 | 20.11%
122.96/123.00 c 123s| 600 | 601 |712713 |1146.8 |5138k| 43 | 364 | 476 | 559 | 476 | 961 | 784 | 0 | 520 | 1.623531e+02 | 1.950000e+02 | 20.11%
131.26/131.33 o 192
131.26/131.33 c C 131s| 666 | 667 |766316 |1113.6 |5183k| 43 | 334 | 476 | 559 | 476 | 961 | 784 | 0 | 569 | 1.623531e+02 | 1.920000e+02 | 18.26%
135.36/135.49 c 135s| 700 | 701 |796043 |1102.0 |5207k| 43 | 371 | 476 | 559 | 476 | 961 | 784 | 0 | 586 | 1.623531e+02 | 1.920000e+02 | 18.26%
148.26/148.37 c 148s| 800 | 801 |900224 |1094.4 |5276k| 43 | 337 | 476 | 559 | 476 | 961 | 784 | 0 | 591 | 1.623531e+02 | 1.920000e+02 | 18.26%
161.06/161.17 c 161s| 900 | 901 | 1003k|1088.1 |5343k| 43 | 332 | 476 | 559 | 476 | 961 | 784 | 0 | 593 | 1.623531e+02 | 1.920000e+02 | 18.26%
173.55/173.68 c 174s| 1000 | 1001 | 1094k|1069.8 |5411k| 43 | 327 | 476 | 559 | 476 | 961 | 784 | 0 | 637 | 1.623531e+02 | 1.920000e+02 | 18.26%
183.56/183.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.56/183.66 c 184s| 1100 | 1101 | 1156k|1028.6 |5478k| 43 | 335 | 476 | 559 | 476 | 961 | 784 | 0 | 712 | 1.623531e+02 | 1.920000e+02 | 18.26%
193.56/193.67 c 194s| 1200 | 1201 | 1226k|1001.6 |5548k| 48 | 325 | 476 | 559 | 476 | 961 | 784 | 0 | 761 | 1.623531e+02 | 1.920000e+02 | 18.26%
201.06/201.14 c 201s| 1300 | 1301 | 1284k| 969.3 |5616k| 48 | 328 | 476 | 559 | 476 | 961 | 784 | 0 | 761 | 1.623531e+02 | 1.920000e+02 | 18.26%
207.05/207.12 c 207s| 1400 | 1401 | 1336k| 936.8 |5690k| 71 | 199 | 476 | 559 | 476 | 961 | 784 | 0 | 763 | 1.623531e+02 | 1.920000e+02 | 18.26%
210.26/210.36 c 210s| 1500 | 1501 | 1361k| 891.0 |5765k| 91 | 166 | 476 | 559 | 476 | 961 | 784 | 0 | 776 | 1.624092e+02 | 1.920000e+02 | 18.22%
210.85/210.98 c 211s| 1600 | 1601 | 1367k| 838.9 |5840k| 109 | 110 | 476 | 559 | 476 | 961 | 784 | 0 | 790 | 1.624092e+02 | 1.920000e+02 | 18.22%
211.55/211.61 c 212s| 1700 | 1687 | 1372k| 792.5 |5915k| 117 | 123 | 476 | 559 | 476 | 961 | 784 | 0 | 813 | 1.624092e+02 | 1.920000e+02 | 18.22%
212.06/212.10 c 212s| 1800 | 1747 | 1376k| 750.6 |5977k| 122 | - | 476 | 559 | 476 | 961 | 784 | 0 | 839 | 1.624092e+02 | 1.920000e+02 | 18.22%
214.36/214.47 c 214s| 1900 | 1817 | 1393k| 720.3 |6038k| 122 | 110 | 476 | 559 | 476 | 961 | 784 | 0 | 865 | 1.624434e+02 | 1.920000e+02 | 18.19%
214.85/214.92 c 215s| 2000 | 1883 | 1397k| 686.1 |6096k| 122 | 96 | 476 | 559 | 476 | 961 | 784 | 0 | 882 | 1.624434e+02 | 1.920000e+02 | 18.19%
215.25/215.34 c 215s| 2100 | 1939 | 1401k| 655.3 |6146k| 122 | 102 | 476 | 559 | 476 | 961 | 784 | 0 | 889 | 1.624434e+02 | 1.920000e+02 | 18.19%
215.55/215.68 c 216s| 2200 | 2007 | 1404k| 627.1 |6214k| 122 | - | 476 | 559 | 476 | 961 | 784 | 0 | 895 | 1.624434e+02 | 1.920000e+02 | 18.19%
215.95/216.02 c 216s| 2300 | 2079 | 1408k| 601.4 |6272k| 122 | 107 | 476 | 559 | 476 | 961 | 784 | 0 | 895 | 1.624434e+02 | 1.920000e+02 | 18.19%
217.95/218.09 c 218s| 2400 | 2147 | 1414k| 578.8 |6333k| 122 | 384 | 476 | 559 | 476 | 961 | 784 | 0 | 941 | 1.625211e+02 | 1.920000e+02 | 18.14%
223.35/223.42 c 223s| 2500 | 2233 | 1454k| 571.9 |6405k| 122 | 123 | 476 | 559 | 476 | 961 | 784 | 0 | 952 | 1.625498e+02 | 1.920000e+02 | 18.12%
225.25/225.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
225.25/225.38 c 225s| 2600 | 2297 | 1469k| 555.6 |6469k| 126 | 89 | 476 | 559 | 476 | 961 | 784 | 0 | 955 | 1.625608e+02 | 1.920000e+02 | 18.11%
228.15/228.22 o 188
228.15/228.22 c C 228s| 2660 | 1732 | 1487k| 549.8 |5956k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 | 956 | 1.625841e+02 | 1.880000e+02 | 15.63%
229.75/229.88 c 230s| 2700 | 1752 | 1500k| 546.3 |5968k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 | 957 | 1.626220e+02 | 1.880000e+02 | 15.61%
230.75/230.84 c 231s| 2800 | 1780 | 1507k| 529.5 |5997k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 | 957 | 1.626362e+02 | 1.880000e+02 | 15.60%
234.74/234.82 c 235s| 2900 | 1822 | 1539k| 522.3 |6032k| 126 | 112 | 476 | 559 | 476 | 961 | 784 | 0 | 957 | 1.626528e+02 | 1.880000e+02 | 15.58%
238.74/238.89 c 239s| 3000 | 1876 | 1572k| 515.6 |6080k| 126 | 129 | 476 | 559 | 476 | 961 | 784 | 0 | 957 | 1.626851e+02 | 1.880000e+02 | 15.56%
240.75/240.88 c 241s| 3100 | 1922 | 1588k| 504.2 |6125k| 126 | 128 | 476 | 559 | 476 | 961 | 784 | 0 | 957 | 1.626902e+02 | 1.880000e+02 | 15.56%
243.14/243.26 c 243s| 3200 | 1972 | 1606k| 494.2 |6166k| 126 | 377 | 476 | 559 | 476 | 961 | 784 | 0 | 957 | 1.627179e+02 | 1.880000e+02 | 15.54%
245.65/245.74 c 246s| 3300 | 2040 | 1626k| 485.2 |6221k| 126 | 118 | 476 | 559 | 476 | 961 | 784 | 0 | 957 | 1.627262e+02 | 1.880000e+02 | 15.53%
247.25/247.40 c 247s| 3400 | 2110 | 1636k| 473.9 |6287k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 | 985 | 1.627443e+02 | 1.880000e+02 | 15.52%
250.14/250.23 c 250s| 3500 | 2164 | 1653k| 465.3 |6336k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1003 | 1.627642e+02 | 1.880000e+02 | 15.50%
252.14/252.25 c 252s| 3600 | 2236 | 1664k| 455.5 |6391k| 126 | 122 | 476 | 559 | 476 | 961 | 784 | 0 |1019 | 1.627705e+02 | 1.880000e+02 | 15.50%
254.24/254.38 c 254s| 3700 | 2298 | 1682k| 447.8 |6455k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1030 | 1.627830e+02 | 1.880000e+02 | 15.49%
256.64/256.72 c 257s| 3800 | 2324 | 1694k| 439.4 |6481k| 126 | 110 | 476 | 559 | 476 | 961 | 784 | 0 |1052 | 1.627873e+02 | 1.880000e+02 | 15.49%
256.94/257.03 c 257s| 3900 | 2346 | 1698k| 428.9 |6506k| 126 | 131 | 476 | 559 | 476 | 961 | 784 | 0 |1052 | 1.627873e+02 | 1.880000e+02 | 15.49%
261.54/261.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.54/261.64 c 262s| 4000 | 2402 | 1727k| 425.7 |6554k| 126 | 119 | 476 | 559 | 476 | 961 | 784 | 0 |1082 | 1.627944e+02 | 1.880000e+02 | 15.48%
264.95/265.06 c 265s| 4100 | 2444 | 1752k| 421.4 |6591k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1091 | 1.628091e+02 | 1.880000e+02 | 15.47%
269.14/269.29 c 269s| 4200 | 2480 | 1784k| 418.8 |6622k| 126 | 106 | 476 | 559 | 476 | 961 | 784 | 0 |1103 | 1.628157e+02 | 1.880000e+02 | 15.47%
271.74/271.89 c 272s| 4300 | 2506 | 1804k| 413.6 |6642k| 126 | 116 | 476 | 559 | 476 | 961 | 784 | 0 |1107 | 1.628268e+02 | 1.880000e+02 | 15.46%
273.04/273.11 c 273s| 4400 | 2546 | 1813k| 406.3 |6675k| 126 | 115 | 476 | 559 | 476 | 961 | 784 | 0 |1107 | 1.628562e+02 | 1.880000e+02 | 15.44%
273.25/273.39 c 273s| 4500 | 2548 | 1815k| 397.9 |6678k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1108 | 1.628562e+02 | 1.880000e+02 | 15.44%
277.05/277.19 c 277s| 4600 | 2574 | 1845k| 395.6 |6700k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1109 | 1.628677e+02 | 1.880000e+02 | 15.43%
280.94/281.03 c 281s| 4700 | 2622 | 1874k| 393.5 |6734k| 126 | 118 | 476 | 559 | 476 | 961 | 784 | 0 |1109 | 1.628826e+02 | 1.880000e+02 | 15.42%
283.24/283.34 c 283s| 4800 | 2658 | 1892k| 389.0 |6763k| 126 | 127 | 476 | 559 | 476 | 961 | 784 | 0 |1109 | 1.628854e+02 | 1.880000e+02 | 15.42%
285.24/285.32 c 285s| 4900 | 2672 | 1908k| 384.4 |6786k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1109 | 1.628921e+02 | 1.880000e+02 | 15.41%
297.94/298.09 c 298s| 5000 | 2710 | 2031k| 401.2 |6816k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1109 | 1.628996e+02 | 1.880000e+02 | 15.41%
301.04/301.15 c 301s| 5100 | 2750 | 2050k| 397.1 |6852k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1138 | 1.629080e+02 | 1.880000e+02 | 15.40%
306.04/306.17 c 306s| 5200 | 2810 | 2079k| 395.0 |6899k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1172 | 1.629137e+02 | 1.880000e+02 | 15.40%
309.94/310.04 c 310s| 5300 | 2840 | 2109k| 393.1 |6922k| 126 | 131 | 476 | 559 | 476 | 961 | 784 | 0 |1172 | 1.629165e+02 | 1.880000e+02 | 15.40%
310.23/310.35 c 310s| 5400 | 2878 | 2112k| 386.4 |6956k| 126 | 121 | 476 | 559 | 476 | 961 | 784 | 0 |1172 | 1.629165e+02 | 1.880000e+02 | 15.40%
315.55/315.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
315.55/315.62 c 316s| 5500 | 2926 | 2144k| 385.4 |6994k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1203 | 1.629418e+02 | 1.880000e+02 | 15.38%
318.33/318.48 c 318s| 5600 | 2960 | 2163k| 381.9 |7022k| 126 | 171 | 476 | 559 | 476 | 961 | 784 | 0 |1214 | 1.629547e+02 | 1.880000e+02 | 15.37%
319.83/319.91 c 320s| 5700 | 3018 | 2172k| 376.7 |7075k| 126 | 126 | 476 | 559 | 476 | 961 | 784 | 0 |1226 | 1.629562e+02 | 1.880000e+02 | 15.37%
322.43/322.54 c 323s| 5800 | 3066 | 2189k| 373.2 |7118k| 126 | 371 | 476 | 559 | 476 | 961 | 784 | 0 |1235 | 1.629597e+02 | 1.880000e+02 | 15.37%
325.23/325.36 c 325s| 5900 | 3084 | 2209k| 370.3 |7135k| 126 | - | 476 | 559 | 0 | 0 | 784 | 0 |1252 | 1.629608e+02 | 1.880000e+02 | 15.37%
330.73/330.89 c 331s| 6000 | 3146 | 2249k| 370.6 |7181k| 126 | 144 | 476 | 559 | 476 | 961 | 784 | 0 |1273 | 1.629735e+02 | 1.880000e+02 | 15.36%
332.73/332.81 c 333s| 6100 | 3182 | 2264k| 367.1 |7213k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1275 | 1.629767e+02 | 1.880000e+02 | 15.35%
333.03/333.11 c 333s| 6200 | 3208 | 2267k| 361.7 |7239k| 126 | 119 | 476 | 559 | 476 | 961 | 784 | 0 |1276 | 1.629767e+02 | 1.880000e+02 | 15.35%
337.13/337.21 c 337s| 6300 | 3276 | 2300k| 361.1 |7294k| 126 | 115 | 476 | 559 | 476 | 961 | 784 | 0 |1276 | 1.629809e+02 | 1.880000e+02 | 15.35%
338.34/338.45 c 338s| 6400 | 3308 | 2309k| 356.9 |7328k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1276 | 1.629888e+02 | 1.880000e+02 | 15.35%
341.33/341.40 c 341s| 6500 | 3358 | 2331k| 354.8 |7365k| 126 | 386 | 476 | 559 | 476 | 961 | 784 | 0 |1277 | 1.629997e+02 | 1.880000e+02 | 15.34%
343.33/343.44 c 343s| 6600 | 3398 | 2347k| 351.9 |7399k| 126 | 128 | 476 | 559 | 476 | 961 | 784 | 0 |1278 | 1.630004e+02 | 1.880000e+02 | 15.34%
347.44/347.58 c 348s| 6700 | 3442 | 2380k| 351.5 |7438k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1278 | 1.630132e+02 | 1.880000e+02 | 15.33%
349.64/349.75 c 350s| 6800 | 3500 | 2398k| 349.0 |7484k| 126 | 120 | 476 | 559 | 476 | 961 | 784 | 0 |1278 | 1.630159e+02 | 1.880000e+02 | 15.33%
349.93/350.07 c 350s| 6900 | 3526 | 2402k| 344.4 |7514k| 126 | 117 | 476 | 559 | 476 | 961 | 784 | 0 |1279 | 1.630159e+02 | 1.880000e+02 | 15.33%
352.03/352.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
352.03/352.13 c 352s| 7000 | 3564 | 2418k| 341.9 |7545k| 126 | 111 | 476 | 559 | 476 | 961 | 784 | 0 |1279 | 1.630206e+02 | 1.880000e+02 | 15.32%
353.93/354.08 c 354s| 7100 | 3608 | 2434k| 339.3 |7592k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1279 | 1.630216e+02 | 1.880000e+02 | 15.32%
356.83/356.97 c 357s| 7200 | 3648 | 2452k| 337.1 |7625k| 126 | 112 | 476 | 559 | 476 | 961 | 784 | 0 |1304 | 1.630273e+02 | 1.880000e+02 | 15.32%
360.03/360.18 c 360s| 7300 | 3686 | 2473k| 335.3 |7666k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1329 | 1.630284e+02 | 1.880000e+02 | 15.32%
362.53/362.67 c 363s| 7400 | 3728 | 2485k| 332.5 |7700k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1348 | 1.630358e+02 | 1.880000e+02 | 15.31%
362.83/362.91 c 363s| 7500 | 3730 | 2488k| 328.4 |7698k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1348 | 1.630358e+02 | 1.880000e+02 | 15.31%
366.93/367.08 c 367s| 7600 | 3772 | 2515k| 327.7 |7729k| 126 | 125 | 476 | 559 | 476 | 961 | 784 | 0 |1372 | 1.630420e+02 | 1.880000e+02 | 15.31%
368.03/368.10 c 368s| 7700 | 3816 | 2521k| 324.1 |7769k| 126 | 365 | 476 | 559 | 476 | 961 | 784 | 0 |1393 | 1.630445e+02 | 1.880000e+02 | 15.31%
369.32/369.49 c 369s| 7800 | 3866 | 2532k| 321.4 |7819k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1393 | 1.630445e+02 | 1.880000e+02 | 15.31%
369.63/369.77 c 370s| 7900 | 3908 | 2535k| 317.7 |7857k| 126 | 130 | 476 | 559 | 476 | 961 | 784 | 0 |1393 | 1.630445e+02 | 1.880000e+02 | 15.31%
370.03/370.15 c 370s| 8000 | 3952 | 2538k| 314.1 |7905k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1405 | 1.630445e+02 | 1.880000e+02 | 15.31%
374.83/374.92 c 375s| 8100 | 4006 | 2570k| 314.1 |7948k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1427 | 1.630511e+02 | 1.880000e+02 | 15.30%
377.23/377.38 c 377s| 8200 | 4052 | 2587k| 312.4 |7988k| 126 | 120 | 476 | 559 | 476 | 961 | 784 | 0 |1436 | 1.630580e+02 | 1.880000e+02 | 15.30%
378.23/378.34 c 378s| 8300 | 4074 | 2594k| 309.5 |8017k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1439 | 1.630596e+02 | 1.880000e+02 | 15.30%
381.13/381.27 c 381s| 8400 | 4112 | 2616k| 308.5 |8053k| 126 | 363 | 476 | 559 | 476 | 961 | 784 | 0 |1439 | 1.630650e+02 | 1.880000e+02 | 15.29%
385.23/385.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.23/385.32 c 385s| 8500 | 4138 | 2649k| 308.7 |8078k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1439 | 1.630710e+02 | 1.880000e+02 | 15.29%
389.33/389.42 c 389s| 8600 | 4186 | 2681k| 308.8 |8111k| 126 | 368 | 476 | 559 | 476 | 961 | 784 | 0 |1439 | 1.630775e+02 | 1.880000e+02 | 15.28%
392.82/392.94 c 393s| 8700 | 4202 | 2708k| 308.4 |8120k| 126 | 359 | 476 | 559 | 476 | 961 | 784 | 0 |1439 | 1.630827e+02 | 1.880000e+02 | 15.28%
393.92/394.03 c 394s| 8800 | 4222 | 2716k| 305.8 |8137k| 126 | 128 | 476 | 559 | 476 | 961 | 784 | 0 |1439 | 1.630842e+02 | 1.880000e+02 | 15.28%
396.82/396.99 c 397s| 8900 | 4262 | 2738k| 304.8 |8178k| 126 | 356 | 476 | 559 | 476 | 961 | 784 | 0 |1439 | 1.630870e+02 | 1.880000e+02 | 15.28%
398.22/398.32 c 398s| 9000 | 4310 | 2748k| 302.5 |8221k| 126 | 366 | 476 | 559 | 476 | 961 | 784 | 0 |1439 | 1.630892e+02 | 1.880000e+02 | 15.27%
399.92/400.06 c 400s| 9100 | 4342 | 2762k| 300.8 |8235k| 126 | 125 | 476 | 559 | 476 | 961 | 784 | 0 |1440 | 1.630906e+02 | 1.880000e+02 | 15.27%
402.92/403.04 c 403s| 9200 | 4388 | 2780k| 299.4 |8277k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1458 | 1.630927e+02 | 1.880000e+02 | 15.27%
408.42/408.54 c 409s| 9300 | 4442 | 2817k| 300.2 |8318k| 126 | 383 | 476 | 559 | 476 | 961 | 784 | 0 |1476 | 1.631055e+02 | 1.880000e+02 | 15.26%
411.11/411.23 c 411s| 9400 | 4468 | 2834k| 298.8 |8355k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1492 | 1.631065e+02 | 1.880000e+02 | 15.26%
415.11/415.27 c 415s| 9500 | 4528 | 2863k| 298.7 |8398k| 126 | 124 | 476 | 559 | 476 | 961 | 784 | 0 |1501 | 1.631107e+02 | 1.880000e+02 | 15.26%
416.73/416.81 c 417s| 9600 | 4558 | 2869k| 296.3 |8434k| 126 | 123 | 476 | 559 | 476 | 961 | 784 | 0 |1520 | 1.631108e+02 | 1.880000e+02 | 15.26%
419.21/419.30 c 419s| 9700 | 4616 | 2888k| 295.1 |8485k| 126 | 109 | 476 | 559 | 476 | 961 | 784 | 0 |1521 | 1.631115e+02 | 1.880000e+02 | 15.26%
419.92/420.09 c 420s| 9800 | 4638 | 2893k| 292.7 |8506k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1531 | 1.631125e+02 | 1.880000e+02 | 15.26%
424.52/424.67 c 425s| 9900 | 4680 | 2926k| 293.0 |8538k| 126 | 97 | 476 | 559 | 476 | 961 | 784 | 0 |1546 | 1.631195e+02 | 1.880000e+02 | 15.25%
427.72/427.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
427.72/427.85 c 428s| 10000 | 4714 | 2944k| 291.9 |8562k| 126 | 153 | 476 | 559 | 476 | 961 | 784 | 0 |1567 | 1.631227e+02 | 1.880000e+02 | 15.25%
430.92/431.01 c 431s| 10100 | 4748 | 2964k| 291.0 |8599k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1585 | 1.631261e+02 | 1.880000e+02 | 15.25%
434.82/434.97 c 435s| 10200 | 4808 | 2991k| 290.8 |8641k| 126 | 375 | 476 | 559 | 476 | 961 | 784 | 0 |1599 | 1.631373e+02 | 1.880000e+02 | 15.24%
439.51/439.61 c 440s| 10300 | 4874 | 3024k| 291.2 |8694k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1607 | 1.631390e+02 | 1.880000e+02 | 15.24%
441.71/441.80 c 442s| 10400 | 4912 | 3041k| 290.0 |8723k| 126 | 137 | 476 | 559 | 476 | 961 | 784 | 0 |1608 | 1.631417e+02 | 1.880000e+02 | 15.24%
444.02/444.12 c 444s| 10500 | 4954 | 3059k| 289.0 |8756k| 126 | 126 | 476 | 559 | 476 | 961 | 784 | 0 |1608 | 1.631449e+02 | 1.880000e+02 | 15.24%
450.02/450.17 c 450s| 10600 | 5018 | 3106k| 290.7 |8807k| 126 | 138 | 476 | 559 | 476 | 961 | 784 | 0 |1608 | 1.631489e+02 | 1.880000e+02 | 15.23%
450.82/450.93 c 451s| 10700 | 5052 | 3112k| 288.5 |8844k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1608 | 1.631523e+02 | 1.880000e+02 | 15.23%
454.12/454.26 c 454s| 10800 | 5134 | 3139k| 288.3 |8903k| 126 | 142 | 476 | 559 | 476 | 961 | 784 | 0 |1609 | 1.631538e+02 | 1.880000e+02 | 15.23%
457.12/457.27 c 457s| 10900 | 5196 | 3162k| 287.8 |8957k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1609 | 1.631586e+02 | 1.880000e+02 | 15.23%
459.01/459.13 c 459s| 11000 | 5232 | 3177k| 286.5 |9000k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1609 | 1.631605e+02 | 1.880000e+02 | 15.22%
460.82/460.91 c 461s| 11100 | 5254 | 3190k| 285.1 |9012k| 126 | 100 | 476 | 559 | 476 | 961 | 784 | 0 |1609 | 1.631635e+02 | 1.880000e+02 | 15.22%
461.01/461.14 c 461s| 11200 | 5248 | 3192k| 282.8 |9013k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1609 | 1.631635e+02 | 1.880000e+02 | 15.22%
463.21/463.31 c 463s| 11300 | 5254 | 3210k| 281.9 |9006k| 126 | 138 | 476 | 559 | 476 | 961 | 784 | 0 |1609 | 1.631645e+02 | 1.880000e+02 | 15.22%
466.52/466.66 c 467s| 11400 | 5286 | 3237k| 281.8 |9039k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1610 | 1.631654e+02 | 1.880000e+02 | 15.22%
468.31/468.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
468.31/468.43 c 468s| 11500 | 5326 | 3250k| 280.4 |9070k| 126 | 362 | 476 | 559 | 476 | 961 | 784 | 0 |1610 | 1.631709e+02 | 1.880000e+02 | 15.22%
472.01/472.13 c 472s| 11600 | 5360 | 3279k| 280.5 |9092k| 126 | 354 | 476 | 559 | 476 | 961 | 784 | 0 |1610 | 1.631784e+02 | 1.880000e+02 | 15.21%
473.91/474.07 c 474s| 11700 | 5386 | 3295k| 279.5 |9110k| 126 | 130 | 476 | 559 | 476 | 961 | 784 | 0 |1610 | 1.631801e+02 | 1.880000e+02 | 15.21%
477.51/477.66 c 478s| 11800 | 5438 | 3322k| 279.4 |9157k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1610 | 1.631839e+02 | 1.880000e+02 | 15.21%
480.31/480.47 c 480s| 11900 | 5484 | 3343k| 278.8 |9188k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1610 | 1.631873e+02 | 1.880000e+02 | 15.21%
482.61/482.79 c 483s| 12000 | 5514 | 3360k| 277.9 |9209k| 126 | 378 | 476 | 559 | 476 | 961 | 784 | 0 |1610 | 1.631881e+02 | 1.880000e+02 | 15.20%
485.41/485.55 c 486s| 12100 | 5548 | 3382k| 277.4 |9239k| 126 | 391 | 476 | 559 | 476 | 961 | 784 | 0 |1610 | 1.631897e+02 | 1.880000e+02 | 15.20%
487.81/487.94 c 488s| 12200 | 5576 | 3400k| 276.7 |9271k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1610 | 1.631935e+02 | 1.880000e+02 | 15.20%
491.31/491.41 c 491s| 12300 | 5622 | 3426k| 276.5 |9285k| 126 | 129 | 476 | 559 | 476 | 961 | 784 | 0 |1611 | 1.631971e+02 | 1.880000e+02 | 15.20%
493.72/493.86 c 494s| 12400 | 5654 | 3446k| 275.9 |9315k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1611 | 1.632000e+02 | 1.880000e+02 | 15.20%
494.51/494.66 c 495s| 12500 | 5676 | 3452k| 274.2 |9342k| 126 | 371 | 476 | 559 | 476 | 961 | 784 | 0 |1611 | 1.632016e+02 | 1.880000e+02 | 15.19%
499.91/500.09 c 500s| 12600 | 5724 | 3495k| 275.4 |9381k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1611 | 1.632026e+02 | 1.880000e+02 | 15.19%
500.71/500.86 c 501s| 12700 | 5740 | 3501k| 273.7 |9400k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1611 | 1.632033e+02 | 1.880000e+02 | 15.19%
503.00/503.11 c 503s| 12800 | 5752 | 3519k| 273.0 |9413k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1611 | 1.632049e+02 | 1.880000e+02 | 15.19%
505.20/505.36 c 505s| 12900 | 5778 | 3536k| 272.2 |9420k| 126 | 125 | 476 | 559 | 476 | 961 | 784 | 0 |1611 | 1.632072e+02 | 1.880000e+02 | 15.19%
507.61/507.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.61/507.71 c 508s| 13000 | 5802 | 3554k| 271.5 |9432k| 126 | 130 | 476 | 559 | 476 | 961 | 784 | 0 |1611 | 1.632153e+02 | 1.880000e+02 | 15.19%
508.40/508.58 c 509s| 13100 | 5812 | 3561k| 269.9 |9440k| 126 | 116 | 476 | 559 | 476 | 961 | 784 | 0 |1611 | 1.632157e+02 | 1.880000e+02 | 15.18%
509.30/509.45 c 509s| 13200 | 5836 | 3568k| 268.4 |9471k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1611 | 1.632181e+02 | 1.880000e+02 | 15.18%
512.61/512.74 c 513s| 13300 | 5886 | 3592k| 268.2 |9504k| 126 | 356 | 476 | 559 | 476 | 961 | 784 | 0 |1612 | 1.632261e+02 | 1.880000e+02 | 15.18%
516.60/516.71 c 517s| 13400 | 5926 | 3621k| 268.4 |9532k| 126 | 119 | 476 | 559 | 476 | 961 | 784 | 0 |1612 | 1.632305e+02 | 1.880000e+02 | 15.17%
518.90/519.09 c 519s| 13500 | 5950 | 3640k| 267.8 |9550k| 126 | - | 476 | 559 | 0 | 0 | 784 | 0 |1612 | 1.632318e+02 | 1.880000e+02 | 15.17%
520.11/520.27 c 520s| 13600 | 5968 | 3646k| 266.3 |9567k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1621 | 1.632324e+02 | 1.880000e+02 | 15.17%
524.30/524.40 c 524s| 13700 | 5998 | 3675k| 266.4 |9587k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1650 | 1.632347e+02 | 1.880000e+02 | 15.17%
527.41/527.51 c 528s| 13800 | 6042 | 3696k| 266.0 |9616k| 126 | 387 | 476 | 559 | 476 | 961 | 784 | 0 |1659 | 1.632362e+02 | 1.880000e+02 | 15.17%
531.21/531.33 c 531s| 13900 | 6076 | 3719k| 265.8 |9633k| 126 | 359 | 476 | 559 | 476 | 961 | 784 | 0 |1677 | 1.632413e+02 | 1.880000e+02 | 15.17%
531.60/531.74 c 532s| 14000 | 6088 | 3723k| 264.2 |9649k| 126 | 117 | 476 | 559 | 476 | 961 | 784 | 0 |1677 | 1.632413e+02 | 1.880000e+02 | 15.17%
532.90/533.09 c 533s| 14100 | 6130 | 3730k| 262.8 |9684k| 126 | 93 | 476 | 559 | 476 | 961 | 784 | 0 |1690 | 1.632425e+02 | 1.880000e+02 | 15.17%
535.40/535.58 c 536s| 14200 | 6172 | 3749k| 262.3 |9727k| 126 | 99 | 476 | 559 | 476 | 961 | 784 | 0 |1697 | 1.632444e+02 | 1.880000e+02 | 15.16%
539.90/540.05 c 540s| 14300 | 6204 | 3780k| 262.6 |9749k| 126 | 126 | 476 | 559 | 476 | 961 | 784 | 0 |1713 | 1.632447e+02 | 1.880000e+02 | 15.16%
541.01/541.15 c 541s| 14400 | 6238 | 3787k| 261.3 |9780k| 126 | 122 | 476 | 559 | 476 | 961 | 784 | 0 |1722 | 1.632493e+02 | 1.880000e+02 | 15.16%
543.60/543.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.60/543.72 c 544s| 14500 | 6280 | 3806k| 260.7 |9815k| 126 | 132 | 476 | 559 | 476 | 961 | 784 | 0 |1738 | 1.632506e+02 | 1.880000e+02 | 15.16%
544.50/544.67 c 545s| 14600 | 6300 | 3813k| 259.4 |9844k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1743 | 1.632507e+02 | 1.880000e+02 | 15.16%
548.00/548.19 c 548s| 14700 | 6328 | 3840k| 259.5 |9861k| 126 | 145 | 476 | 559 | 476 | 961 | 784 | 0 |1744 | 1.632554e+02 | 1.880000e+02 | 15.16%
550.50/550.65 c 551s| 14800 | 6358 | 3859k| 259.1 |9888k| 126 | 97 | 476 | 559 | 476 | 961 | 784 | 0 |1744 | 1.632569e+02 | 1.880000e+02 | 15.16%
552.80/552.94 c 553s| 14900 | 6382 | 3877k| 258.5 |9909k| 126 | 106 | 476 | 559 | 476 | 961 | 784 | 0 |1744 | 1.632574e+02 | 1.880000e+02 | 15.16%
553.50/553.65 c 554s| 15000 | 6392 | 3882k| 257.1 |9916k| 126 | 357 | 476 | 559 | 476 | 961 | 784 | 0 |1744 | 1.632598e+02 | 1.880000e+02 | 15.15%
553.89/554.00 c 554s| 15100 | 6406 | 3885k| 255.7 |9932k| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1744 | 1.632598e+02 | 1.880000e+02 | 15.15%
555.10/555.24 c 555s| 15200 | 6432 | 3895k| 254.6 |9956k| 126 | 377 | 476 | 559 | 476 | 961 | 784 | 0 |1744 | 1.632617e+02 | 1.880000e+02 | 15.15%
558.00/558.18 c 558s| 15300 | 6472 | 3917k| 254.4 |9981k| 126 | 360 | 476 | 559 | 476 | 961 | 784 | 0 |1744 | 1.632638e+02 | 1.880000e+02 | 15.15%
560.30/560.49 c 560s| 15400 | 6506 | 3935k| 253.9 | 10M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1744 | 1.632656e+02 | 1.880000e+02 | 15.15%
564.50/564.69 c 565s| 15500 | 6552 | 3967k| 254.4 | 10M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1744 | 1.632673e+02 | 1.880000e+02 | 15.15%
567.50/567.63 c 568s| 15600 | 6600 | 3990k| 254.2 | 10M| 126 | 143 | 476 | 559 | 476 | 961 | 784 | 0 |1744 | 1.632683e+02 | 1.880000e+02 | 15.15%
569.71/569.86 c 570s| 15700 | 6628 | 4000k| 253.2 | 10M| 126 | 371 | 476 | 559 | 476 | 961 | 784 | 0 |1767 | 1.632712e+02 | 1.880000e+02 | 15.15%
570.70/570.88 c 571s| 15800 | 6648 | 4008k| 252.1 | 10M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1767 | 1.632718e+02 | 1.880000e+02 | 15.15%
572.50/572.61 c 573s| 15900 | 6654 | 4022k| 251.4 | 10M| 126 | 102 | 476 | 559 | 476 | 961 | 784 | 0 |1767 | 1.632718e+02 | 1.880000e+02 | 15.15%
574.29/574.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
574.29/574.46 c 574s| 16000 | 6678 | 4032k| 250.5 | 10M| 126 | 148 | 476 | 559 | 476 | 961 | 784 | 0 |1776 | 1.632724e+02 | 1.880000e+02 | 15.15%
578.59/578.77 c 579s| 16100 | 6700 | 4064k| 250.9 | 10M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1788 | 1.632733e+02 | 1.880000e+02 | 15.14%
584.79/584.93 c 585s| 16200 | 6740 | 4105k| 251.8 | 10M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1815 | 1.632750e+02 | 1.880000e+02 | 15.14%
589.00/589.17 c 589s| 16300 | 6784 | 4137k| 252.2 | 10M| 126 | 367 | 476 | 559 | 476 | 961 | 784 | 0 |1816 | 1.632802e+02 | 1.880000e+02 | 15.14%
593.69/593.81 c 594s| 16400 | 6836 | 4164k| 252.4 | 10M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1840 | 1.632853e+02 | 1.880000e+02 | 15.14%
595.69/595.85 c 596s| 16500 | 6866 | 4175k| 251.5 | 10M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1853 | 1.632869e+02 | 1.880000e+02 | 15.13%
597.39/597.51 c 598s| 16600 | 6872 | 4188k| 250.8 | 10M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1853 | 1.632890e+02 | 1.880000e+02 | 15.13%
598.89/599.00 c 599s| 16700 | 6890 | 4197k| 249.8 | 10M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1865 | 1.632912e+02 | 1.880000e+02 | 15.13%
602.89/603.04 c 603s| 16800 | 6938 | 4224k| 250.0 | 10M| 126 | 366 | 476 | 559 | 476 | 961 | 784 | 0 |1879 | 1.632934e+02 | 1.880000e+02 | 15.13%
604.69/604.83 c 605s| 16900 | 6948 | 4238k| 249.3 | 10M| 126 | 364 | 476 | 559 | 476 | 961 | 784 | 0 |1879 | 1.632942e+02 | 1.880000e+02 | 15.13%
608.79/608.97 c 609s| 17000 | 6992 | 4269k| 249.6 | 10M| 126 | 127 | 476 | 559 | 476 | 961 | 784 | 0 |1880 | 1.633000e+02 | 1.880000e+02 | 15.13%
610.09/610.27 c 610s| 17100 | 7018 | 4279k| 248.7 | 10M| 126 | 135 | 476 | 559 | 476 | 961 | 784 | 0 |1880 | 1.633007e+02 | 1.880000e+02 | 15.13%
613.49/613.67 c 614s| 17200 | 7044 | 4305k| 248.8 | 10M| 126 | 97 | 476 | 559 | 476 | 961 | 784 | 0 |1881 | 1.633018e+02 | 1.880000e+02 | 15.12%
614.99/615.16 c 615s| 17300 | 7066 | 4316k| 248.1 | 10M| 126 | 125 | 476 | 559 | 476 | 961 | 784 | 0 |1881 | 1.633041e+02 | 1.880000e+02 | 15.12%
619.19/619.32 c 619s| 17400 | 7102 | 4349k| 248.5 | 10M| 126 | 128 | 476 | 559 | 476 | 961 | 784 | 0 |1881 | 1.633145e+02 | 1.880000e+02 | 15.12%
620.89/621.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
620.89/621.05 c 621s| 17500 | 7126 | 4362k| 247.8 | 10M| 126 | 362 | 476 | 559 | 476 | 961 | 784 | 0 |1881 | 1.633163e+02 | 1.880000e+02 | 15.11%
626.19/626.37 c 626s| 17600 | 7164 | 4404k| 248.8 | 10M| 126 | 124 | 476 | 559 | 476 | 961 | 784 | 0 |1881 | 1.633181e+02 | 1.880000e+02 | 15.11%
627.69/627.81 c 628s| 17700 | 7186 | 4414k| 248.0 | 10M| 126 | 141 | 476 | 559 | 476 | 961 | 784 | 0 |1883 | 1.633222e+02 | 1.880000e+02 | 15.11%
629.49/629.62 c 630s| 17800 | 7214 | 4429k| 247.4 | 10M| 126 | 123 | 476 | 559 | 476 | 961 | 784 | 0 |1883 | 1.633232e+02 | 1.880000e+02 | 15.11%
629.78/629.92 c 630s| 17900 | 7232 | 4432k| 246.2 | 10M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1883 | 1.633232e+02 | 1.880000e+02 | 15.11%
632.40/632.59 c 633s| 18000 | 7270 | 4446k| 245.6 | 10M| 126 | 131 | 476 | 559 | 476 | 961 | 784 | 0 |1902 | 1.633273e+02 | 1.880000e+02 | 15.11%
634.19/634.34 c 634s| 18100 | 7282 | 4460k| 245.0 | 10M| 126 | 127 | 476 | 559 | 476 | 961 | 784 | 0 |1902 | 1.633275e+02 | 1.880000e+02 | 15.11%
637.19/637.39 c 637s| 18200 | 7314 | 4481k| 244.8 | 10M| 126 | 136 | 476 | 559 | 476 | 961 | 784 | 0 |1911 | 1.633295e+02 | 1.880000e+02 | 15.10%
639.78/639.98 c 640s| 18300 | 7348 | 4495k| 244.3 | 10M| 126 | 383 | 476 | 559 | 476 | 961 | 784 | 0 |1926 | 1.633306e+02 | 1.880000e+02 | 15.10%
644.88/645.00 c 645s| 18400 | 7400 | 4528k| 244.7 | 10M| 126 | 378 | 476 | 559 | 476 | 961 | 784 | 0 |1946 | 1.633355e+02 | 1.880000e+02 | 15.10%
647.28/647.49 c 647s| 18500 | 7452 | 4547k| 244.4 | 10M| 126 | 133 | 476 | 559 | 476 | 961 | 784 | 0 |1946 | 1.633400e+02 | 1.880000e+02 | 15.10%
649.78/649.92 c 650s| 18600 | 7502 | 4561k| 243.9 | 10M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1966 | 1.633406e+02 | 1.880000e+02 | 15.10%
650.58/650.77 c 651s| 18700 | 7544 | 4568k| 243.0 | 10M| 126 | - | 476 | 559 | 0 | 0 | 784 | 0 |1966 | 1.633411e+02 | 1.880000e+02 | 15.10%
654.98/655.13 c 655s| 18800 | 7578 | 4598k| 243.2 | 10M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |1986 | 1.633424e+02 | 1.880000e+02 | 15.10%
656.18/656.33 c 656s| 18900 | 7608 | 4607k| 242.4 | 10M| 126 | 143 | 476 | 559 | 476 | 961 | 784 | 0 |1986 | 1.633454e+02 | 1.880000e+02 | 15.09%
659.29/659.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
659.29/659.45 c 659s| 19000 | 7644 | 4628k| 242.3 | 10M| 126 | 385 | 476 | 559 | 476 | 961 | 784 | 0 |1995 | 1.633463e+02 | 1.880000e+02 | 15.09%
659.68/659.89 c 660s| 19100 | 7660 | 4632k| 241.2 | 10M| 126 | 135 | 476 | 559 | 476 | 961 | 784 | 0 |2000 | 1.633463e+02 | 1.880000e+02 | 15.09%
661.28/661.44 c 661s| 19200 | 7696 | 4641k| 240.4 | 10M| 126 | 375 | 476 | 559 | 476 | 961 | 784 | 0 |2015 | 1.633471e+02 | 1.880000e+02 | 15.09%
662.58/662.70 c 663s| 19300 | 7712 | 4650k| 239.6 | 10M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2026 | 1.633475e+02 | 1.880000e+02 | 15.09%
667.38/667.55 c 668s| 19400 | 7764 | 4686k| 240.2 | 10M| 126 | 368 | 476 | 559 | 476 | 961 | 784 | 0 |2030 | 1.633492e+02 | 1.880000e+02 | 15.09%
669.38/669.56 c 670s| 19500 | 7784 | 4702k| 239.8 | 10M| 126 | 127 | 476 | 559 | 476 | 961 | 784 | 0 |2030 | 1.633496e+02 | 1.880000e+02 | 15.09%
671.08/671.25 c 671s| 19600 | 7808 | 4716k| 239.3 | 11M| 126 | 99 | 476 | 559 | 476 | 961 | 784 | 0 |2030 | 1.633502e+02 | 1.880000e+02 | 15.09%
673.68/673.85 c 674s| 19700 | 7852 | 4735k| 239.1 | 11M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2030 | 1.633538e+02 | 1.880000e+02 | 15.09%
676.78/676.93 c 677s| 19800 | 7898 | 4758k| 239.0 | 11M| 126 | 119 | 476 | 559 | 476 | 961 | 784 | 0 |2032 | 1.633546e+02 | 1.880000e+02 | 15.09%
679.28/679.41 c 679s| 19900 | 7932 | 4777k| 238.8 | 11M| 126 | 381 | 476 | 559 | 476 | 961 | 784 | 0 |2032 | 1.633565e+02 | 1.880000e+02 | 15.09%
681.79/681.98 c 682s| 20000 | 7974 | 4796k| 238.5 | 11M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2033 | 1.633577e+02 | 1.880000e+02 | 15.08%
684.38/684.52 c 685s| 20100 | 8014 | 4814k| 238.3 | 11M| 126 | 374 | 476 | 559 | 476 | 961 | 784 | 0 |2033 | 1.633594e+02 | 1.880000e+02 | 15.08%
688.28/688.46 c 688s| 20200 | 8044 | 4845k| 238.6 | 11M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2035 | 1.633607e+02 | 1.880000e+02 | 15.08%
690.69/690.83 c 691s| 20300 | 8076 | 4862k| 238.3 | 11M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2035 | 1.633615e+02 | 1.880000e+02 | 15.08%
693.17/693.38 c 693s| 20400 | 8122 | 4881k| 238.1 | 11M| 126 | 112 | 476 | 559 | 476 | 961 | 784 | 0 |2036 | 1.633623e+02 | 1.880000e+02 | 15.08%
695.67/695.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
695.67/695.82 c 696s| 20500 | 8148 | 4895k| 237.6 | 11M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2049 | 1.633634e+02 | 1.880000e+02 | 15.08%
698.08/698.29 c 698s| 20600 | 8182 | 4914k| 237.3 | 11M| 126 | 125 | 476 | 559 | 476 | 961 | 784 | 0 |2049 | 1.633647e+02 | 1.880000e+02 | 15.08%
701.18/701.33 c 701s| 20700 | 8204 | 4934k| 237.2 | 11M| 126 | 125 | 476 | 559 | 476 | 961 | 784 | 0 |2061 | 1.633661e+02 | 1.880000e+02 | 15.08%
702.79/702.98 c 703s| 20800 | 8238 | 4944k| 236.5 | 11M| 126 | 128 | 476 | 559 | 476 | 961 | 784 | 0 |2070 | 1.633684e+02 | 1.880000e+02 | 15.08%
706.17/706.39 c 706s| 20900 | 8258 | 4963k| 236.2 | 11M| 126 | 128 | 476 | 559 | 476 | 961 | 784 | 0 |2095 | 1.633692e+02 | 1.880000e+02 | 15.08%
707.18/707.34 c 707s| 21000 | 8296 | 4970k| 235.5 | 11M| 126 | - | 476 | 559 | 0 | 0 | 784 | 0 |2095 | 1.633707e+02 | 1.880000e+02 | 15.08%
710.97/711.12 c 711s| 21100 | 8340 | 5001k| 235.8 | 11M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2095 | 1.633717e+02 | 1.880000e+02 | 15.07%
715.58/715.70 c 716s| 21200 | 8384 | 5033k| 236.2 | 11M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2107 | 1.633731e+02 | 1.880000e+02 | 15.07%
719.87/720.05 c 720s| 21300 | 8436 | 5064k| 236.5 | 11M| 126 | 121 | 476 | 559 | 476 | 961 | 784 | 0 |2122 | 1.633736e+02 | 1.880000e+02 | 15.07%
720.67/720.89 c 721s| 21400 | 8448 | 5070k| 235.7 | 11M| 126 | 131 | 476 | 559 | 476 | 961 | 784 | 0 |2122 | 1.633741e+02 | 1.880000e+02 | 15.07%
721.87/722.07 c 722s| 21500 | 8472 | 5076k| 234.9 | 11M| 126 | 119 | 476 | 559 | 476 | 961 | 784 | 0 |2132 | 1.633744e+02 | 1.880000e+02 | 15.07%
724.68/724.80 c 725s| 21600 | 8518 | 5094k| 234.7 | 11M| 126 | 121 | 476 | 559 | 476 | 961 | 784 | 0 |2142 | 1.633758e+02 | 1.880000e+02 | 15.07%
725.88/726.08 c 726s| 21700 | 8556 | 5104k| 234.1 | 11M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2142 | 1.633782e+02 | 1.880000e+02 | 15.07%
727.77/727.90 c 728s| 21800 | 8588 | 5114k| 233.4 | 11M| 126 | 125 | 476 | 559 | 476 | 961 | 784 | 0 |2163 | 1.633797e+02 | 1.880000e+02 | 15.07%
729.47/729.62 c 730s| 21900 | 8614 | 5127k| 233.0 | 11M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2166 | 1.633801e+02 | 1.880000e+02 | 15.07%
732.27/732.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.27/732.44 c 732s| 22000 | 8652 | 5147k| 232.8 | 11M| 126 | 126 | 476 | 559 | 476 | 961 | 784 | 0 |2178 | 1.633808e+02 | 1.880000e+02 | 15.07%
732.57/732.76 c 733s| 22100 | 8660 | 5150k| 231.9 | 11M| 126 | - | 476 | 559 | 0 | 0 | 784 | 0 |2182 | 1.633808e+02 | 1.880000e+02 | 15.07%
734.57/734.80 c 735s| 22200 | 8694 | 5165k| 231.5 | 11M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2188 | 1.633812e+02 | 1.880000e+02 | 15.07%
736.37/736.55 c 737s| 22300 | 8736 | 5179k| 231.1 | 11M| 126 | 107 | 476 | 559 | 476 | 961 | 784 | 0 |2188 | 1.633829e+02 | 1.880000e+02 | 15.07%
739.17/739.31 c 739s| 22400 | 8784 | 5200k| 231.0 | 11M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2189 | 1.633867e+02 | 1.880000e+02 | 15.06%
742.07/742.25 c 742s| 22500 | 8842 | 5222k| 231.0 | 11M| 126 | 383 | 476 | 559 | 476 | 961 | 784 | 0 |2191 | 1.633879e+02 | 1.880000e+02 | 15.06%
743.67/743.87 c 744s| 22600 | 8900 | 5234k| 230.5 | 12M| 126 | 113 | 476 | 559 | 476 | 961 | 784 | 0 |2191 | 1.633885e+02 | 1.880000e+02 | 15.06%
744.77/744.97 c 745s| 22700 | 8940 | 5242k| 229.8 | 12M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2192 | 1.633893e+02 | 1.880000e+02 | 15.06%
748.27/748.41 c 748s| 22800 | 8976 | 5270k| 230.0 | 12M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2192 | 1.633911e+02 | 1.880000e+02 | 15.06%
748.57/748.71 c 749s| 22900 | 8980 | 5273k| 229.2 | 12M| 126 | 129 | 476 | 559 | 476 | 961 | 784 | 0 |2192 | 1.633911e+02 | 1.880000e+02 | 15.06%
750.67/750.84 c 751s| 23000 | 9012 | 5289k| 228.9 | 12M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2192 | 1.633963e+02 | 1.880000e+02 | 15.06%
753.97/754.19 c 754s| 23100 | 9056 | 5314k| 229.0 | 12M| 126 | 353 | 476 | 559 | 476 | 961 | 784 | 0 |2192 | 1.633977e+02 | 1.880000e+02 | 15.06%
754.97/755.18 c 755s| 23200 | 9066 | 5322k| 228.3 | 12M| 126 | 370 | 476 | 559 | 476 | 961 | 784 | 0 |2192 | 1.633981e+02 | 1.880000e+02 | 15.06%
757.07/757.24 c 757s| 23300 | 9076 | 5338k| 228.0 | 12M| 126 | 119 | 476 | 559 | 476 | 961 | 784 | 0 |2192 | 1.633998e+02 | 1.880000e+02 | 15.06%
758.87/759.07 c 759s| 23400 | 9090 | 5352k| 227.7 | 12M| 126 | 124 | 476 | 559 | 476 | 961 | 784 | 0 |2192 | 1.634013e+02 | 1.880000e+02 | 15.05%
759.17/759.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
759.17/759.37 c 759s| 23500 | 9108 | 5355k| 226.8 | 12M| 126 | 101 | 476 | 559 | 476 | 961 | 784 | 0 |2192 | 1.634013e+02 | 1.880000e+02 | 15.05%
760.97/761.17 c 761s| 23600 | 9146 | 5368k| 226.4 | 12M| 126 | 364 | 476 | 559 | 476 | 961 | 784 | 0 |2192 | 1.634037e+02 | 1.880000e+02 | 15.05%
766.87/767.05 c 767s| 23700 | 9198 | 5413k| 227.3 | 12M| 126 | 106 | 476 | 559 | 476 | 961 | 784 | 0 |2201 | 1.634055e+02 | 1.880000e+02 | 15.05%
769.67/769.87 c 770s| 23800 | 9224 | 5427k| 227.0 | 12M| 126 | 377 | 476 | 559 | 476 | 961 | 784 | 0 |2225 | 1.634058e+02 | 1.880000e+02 | 15.05%
771.56/771.71 c 772s| 23900 | 9236 | 5441k| 226.6 | 12M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2225 | 1.634079e+02 | 1.880000e+02 | 15.05%
773.97/774.11 c 774s| 24000 | 9272 | 5459k| 226.4 | 12M| 126 | 117 | 476 | 559 | 476 | 961 | 784 | 0 |2225 | 1.634085e+02 | 1.880000e+02 | 15.05%
777.86/778.09 c 778s| 24100 | 9316 | 5486k| 226.6 | 12M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2235 | 1.634117e+02 | 1.880000e+02 | 15.05%
781.06/781.29 c 781s| 24200 | 9364 | 5504k| 226.4 | 12M| 126 | 378 | 476 | 559 | 476 | 961 | 784 | 0 |2252 | 1.634139e+02 | 1.880000e+02 | 15.05%
784.46/784.66 c 785s| 24300 | 9406 | 5525k| 226.4 | 12M| 126 | 118 | 476 | 559 | 476 | 961 | 784 | 0 |2276 | 1.634145e+02 | 1.880000e+02 | 15.04%
788.27/788.41 c 788s| 24400 | 9444 | 5550k| 226.4 | 12M| 126 | 115 | 476 | 559 | 476 | 961 | 784 | 0 |2292 | 1.634153e+02 | 1.880000e+02 | 15.04%
789.07/789.23 c 789s| 24500 | 9458 | 5557k| 225.8 | 12M| 126 | 371 | 476 | 559 | 476 | 961 | 784 | 0 |2292 | 1.634156e+02 | 1.880000e+02 | 15.04%
793.46/793.60 c 794s| 24600 | 9490 | 5586k| 226.1 | 12M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2308 | 1.634160e+02 | 1.880000e+02 | 15.04%
795.56/795.71 c 796s| 24700 | 9508 | 5603k| 225.8 | 12M| 126 | 120 | 476 | 559 | 476 | 961 | 784 | 0 |2308 | 1.634173e+02 | 1.880000e+02 | 15.04%
798.86/799.01 c 799s| 24800 | 9528 | 5627k| 225.9 | 12M| 126 | 122 | 476 | 559 | 476 | 961 | 784 | 0 |2315 | 1.634178e+02 | 1.880000e+02 | 15.04%
800.36/800.53 c 801s| 24900 | 9544 | 5636k| 225.4 | 12M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2322 | 1.634197e+02 | 1.880000e+02 | 15.04%
802.76/803.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.76/803.00 c 803s| 25000 | 9564 | 5653k| 225.1 | 12M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2330 | 1.634203e+02 | 1.880000e+02 | 15.04%
803.76/803.96 c 804s| 25100 | 9574 | 5661k| 224.5 | 12M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2335 | 1.634217e+02 | 1.880000e+02 | 15.04%
805.15/805.36 c 805s| 25200 | 9590 | 5671k| 224.0 | 12M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2336 | 1.634228e+02 | 1.880000e+02 | 15.04%
805.46/805.65 c 806s| 25300 | 9586 | 5674k| 223.3 | 12M| 126 | 126 | 476 | 559 | 476 | 961 | 784 | 0 |2337 | 1.634228e+02 | 1.880000e+02 | 15.04%
809.66/809.89 c 810s| 25400 | 9630 | 5707k| 223.7 | 12M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2337 | 1.634234e+02 | 1.880000e+02 | 15.04%
811.46/811.60 c 812s| 25500 | 9662 | 5719k| 223.3 | 12M| 126 | 368 | 476 | 559 | 476 | 961 | 784 | 0 |2337 | 1.634256e+02 | 1.880000e+02 | 15.04%
814.16/814.39 c 814s| 25600 | 9702 | 5741k| 223.3 | 12M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2337 | 1.634264e+02 | 1.880000e+02 | 15.04%
816.75/816.91 c 817s| 25700 | 9724 | 5760k| 223.1 | 12M| 126 | 347 | 476 | 559 | 476 | 961 | 784 | 0 |2337 | 1.634269e+02 | 1.880000e+02 | 15.04%
819.66/819.87 c 820s| 25800 | 9768 | 5782k| 223.1 | 12M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2337 | 1.634284e+02 | 1.880000e+02 | 15.04%
822.66/822.85 c 823s| 25900 | 9814 | 5806k| 223.2 | 12M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2337 | 1.634295e+02 | 1.880000e+02 | 15.03%
824.87/825.09 c 825s| 26000 | 9846 | 5823k| 223.0 | 12M| 126 | 123 | 476 | 559 | 476 | 961 | 784 | 0 |2337 | 1.634304e+02 | 1.880000e+02 | 15.03%
827.16/827.37 c 827s| 26100 | 9880 | 5842k| 222.9 | 12M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2337 | 1.634305e+02 | 1.880000e+02 | 15.03%
829.65/829.84 c 830s| 26200 | 9932 | 5862k| 222.8 | 12M| 126 | 126 | 476 | 559 | 476 | 961 | 784 | 0 |2338 | 1.634308e+02 | 1.880000e+02 | 15.03%
832.06/832.21 c 832s| 26300 | 9968 | 5880k| 222.6 | 12M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2338 | 1.634319e+02 | 1.880000e+02 | 15.03%
833.46/833.65 c 834s| 26400 | 9996 | 5891k| 222.2 | 12M| 126 | 371 | 476 | 559 | 476 | 961 | 784 | 0 |2338 | 1.634339e+02 | 1.880000e+02 | 15.03%
837.75/837.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.75/837.96 c 838s| 26500 | 10034 | 5920k| 222.4 | 12M| 126 | 365 | 476 | 559 | 476 | 961 | 784 | 0 |2358 | 1.634343e+02 | 1.880000e+02 | 15.03%
839.86/840.01 c 840s| 26600 | 10066 | 5932k| 222.1 | 12M| 126 | 135 | 476 | 559 | 476 | 961 | 784 | 0 |2370 | 1.634347e+02 | 1.880000e+02 | 15.03%
842.75/842.99 c 843s| 26700 | 10108 | 5956k| 222.1 | 12M| 126 | 143 | 476 | 559 | 476 | 961 | 784 | 0 |2385 | 1.634351e+02 | 1.880000e+02 | 15.03%
845.25/845.41 c 845s| 26800 | 10132 | 5970k| 221.8 | 12M| 126 | 126 | 476 | 559 | 476 | 961 | 784 | 0 |2402 | 1.634355e+02 | 1.880000e+02 | 15.03%
846.65/846.86 c 847s| 26900 | 10158 | 5981k| 221.4 | 12M| 126 | 131 | 476 | 559 | 476 | 961 | 784 | 0 |2402 | 1.634360e+02 | 1.880000e+02 | 15.03%
847.45/847.60 c 848s| 27000 | 10174 | 5987k| 220.8 | 12M| 126 | 356 | 476 | 559 | 476 | 961 | 784 | 0 |2402 | 1.634374e+02 | 1.880000e+02 | 15.03%
850.25/850.41 c 850s| 27100 | 10216 | 6002k| 220.6 | 13M| 126 | 120 | 476 | 559 | 476 | 961 | 784 | 0 |2424 | 1.634378e+02 | 1.880000e+02 | 15.03%
863.65/863.80 c 864s| 27200 | 10248 | 6143k| 224.9 | 13M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2424 | 1.634384e+02 | 1.880000e+02 | 15.03%
863.95/864.10 c 864s| 27300 | 10260 | 6145k| 224.2 | 13M| 126 | 101 | 476 | 559 | 476 | 961 | 784 | 0 |2424 | 1.634384e+02 | 1.880000e+02 | 15.03%
865.25/865.43 c 865s| 27400 | 10282 | 6155k| 223.7 | 13M| 126 | 358 | 476 | 559 | 476 | 961 | 784 | 0 |2424 | 1.634393e+02 | 1.880000e+02 | 15.03%
867.85/868.02 c 868s| 27500 | 10296 | 6174k| 223.6 | 13M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2449 | 1.634395e+02 | 1.880000e+02 | 15.03%
872.24/872.40 c 872s| 27600 | 10336 | 6203k| 223.8 | 13M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2464 | 1.634411e+02 | 1.880000e+02 | 15.03%
876.04/876.25 c 876s| 27700 | 10400 | 6230k| 224.0 | 13M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2471 | 1.634422e+02 | 1.880000e+02 | 15.03%
879.35/879.51 c 880s| 27800 | 10438 | 6254k| 224.1 | 13M| 126 | 361 | 476 | 559 | 476 | 961 | 784 | 0 |2479 | 1.634441e+02 | 1.880000e+02 | 15.02%
881.96/882.14 c 882s| 27900 | 10480 | 6275k| 224.0 | 13M| 126 | 145 | 476 | 559 | 476 | 961 | 784 | 0 |2485 | 1.634453e+02 | 1.880000e+02 | 15.02%
884.34/884.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
884.34/884.54 c 885s| 28000 | 10506 | 6293k| 223.8 | 13M| 126 | 376 | 476 | 559 | 476 | 961 | 784 | 0 |2487 | 1.634470e+02 | 1.880000e+02 | 15.02%
886.55/886.71 c 887s| 28100 | 10554 | 6308k| 223.6 | 13M| 126 | 121 | 476 | 559 | 476 | 961 | 784 | 0 |2488 | 1.634481e+02 | 1.880000e+02 | 15.02%
889.44/889.66 c 890s| 28200 | 10588 | 6330k| 223.6 | 13M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2488 | 1.634494e+02 | 1.880000e+02 | 15.02%
890.24/890.46 c 890s| 28300 | 10612 | 6337k| 223.0 | 13M| 126 | 101 | 476 | 559 | 476 | 961 | 784 | 0 |2488 | 1.634496e+02 | 1.880000e+02 | 15.02%
893.55/893.79 c 894s| 28400 | 10636 | 6363k| 223.2 | 13M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2488 | 1.634500e+02 | 1.880000e+02 | 15.02%
896.14/896.37 c 896s| 28500 | 10666 | 6382k| 223.1 | 13M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2490 | 1.634506e+02 | 1.880000e+02 | 15.02%
898.74/898.95 c 899s| 28600 | 10690 | 6404k| 223.0 | 13M| 126 | 369 | 476 | 559 | 476 | 961 | 784 | 0 |2490 | 1.634524e+02 | 1.880000e+02 | 15.02%
901.24/901.44 c 901s| 28700 | 10720 | 6424k| 222.9 | 13M| 126 | 132 | 476 | 559 | 476 | 961 | 784 | 0 |2490 | 1.634554e+02 | 1.880000e+02 | 15.02%
902.05/902.28 c 902s| 28800 | 10752 | 6430k| 222.4 | 13M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2490 | 1.634554e+02 | 1.880000e+02 | 15.02%
902.95/903.16 c 903s| 28900 | 10762 | 6437k| 221.9 | 13M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2490 | 1.634567e+02 | 1.880000e+02 | 15.02%
904.45/904.61 c 905s| 29000 | 10790 | 6448k| 221.5 | 13M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2490 | 1.634575e+02 | 1.880000e+02 | 15.01%
907.25/907.49 c 907s| 29100 | 10834 | 6470k| 221.5 | 13M| 126 | 382 | 476 | 559 | 476 | 961 | 784 | 0 |2490 | 1.634595e+02 | 1.880000e+02 | 15.01%
907.74/907.94 c 908s| 29200 | 10850 | 6474k| 220.9 | 13M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2490 | 1.634595e+02 | 1.880000e+02 | 15.01%
908.04/908.28 c 908s| 29300 | 10862 | 6477k| 220.2 | 13M| 126 | 120 | 476 | 559 | 476 | 961 | 784 | 0 |2490 | 1.634595e+02 | 1.880000e+02 | 15.01%
909.05/909.22 c 909s| 29400 | 10908 | 6485k| 219.7 | 13M| 126 | 143 | 476 | 559 | 476 | 961 | 784 | 0 |2490 | 1.634599e+02 | 1.880000e+02 | 15.01%
909.94/910.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
909.94/910.12 c 910s| 29500 | 10956 | 6492k| 219.2 | 13M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2490 | 1.634611e+02 | 1.880000e+02 | 15.01%
914.14/914.33 c 914s| 29600 | 11012 | 6523k| 219.5 | 13M| 126 | 373 | 476 | 559 | 476 | 961 | 784 | 0 |2499 | 1.634627e+02 | 1.880000e+02 | 15.01%
918.84/919.04 c 919s| 29700 | 11044 | 6553k| 219.8 | 13M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2523 | 1.634633e+02 | 1.880000e+02 | 15.01%
922.44/922.63 c 923s| 29800 | 11078 | 6580k| 220.0 | 13M| 126 | 144 | 476 | 559 | 476 | 961 | 784 | 0 |2523 | 1.634644e+02 | 1.880000e+02 | 15.01%
923.34/923.54 c 924s| 29900 | 11128 | 6587k| 219.5 | 13M| 126 | 113 | 476 | 559 | 476 | 961 | 784 | 0 |2523 | 1.634655e+02 | 1.880000e+02 | 15.01%
924.14/924.32 c 924s| 30000 | 11144 | 6593k| 218.9 | 13M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2523 | 1.634655e+02 | 1.880000e+02 | 15.01%
928.04/928.22 c 928s| 30100 | 11198 | 6619k| 219.1 | 13M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2535 | 1.634674e+02 | 1.880000e+02 | 15.01%
930.14/930.33 c 930s| 30200 | 11230 | 6628k| 218.6 | 13M| 126 | 359 | 476 | 559 | 476 | 961 | 784 | 0 |2557 | 1.634687e+02 | 1.880000e+02 | 15.01%
932.64/932.86 c 933s| 30300 | 11264 | 6647k| 218.6 | 13M| 126 | 145 | 476 | 559 | 476 | 961 | 784 | 0 |2557 | 1.634698e+02 | 1.880000e+02 | 15.01%
934.14/934.34 c 934s| 30400 | 11288 | 6658k| 218.2 | 13M| 126 | 118 | 476 | 559 | 476 | 961 | 784 | 0 |2557 | 1.634711e+02 | 1.880000e+02 | 15.01%
938.64/938.83 c 939s| 30500 | 11326 | 6686k| 218.4 | 13M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2586 | 1.634732e+02 | 1.880000e+02 | 15.00%
940.34/940.56 c 941s| 30600 | 11340 | 6700k| 218.1 | 13M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2586 | 1.634734e+02 | 1.880000e+02 | 15.00%
941.14/941.39 c 941s| 30700 | 11350 | 6707k| 217.7 | 13M| 126 | 360 | 476 | 559 | 476 | 961 | 784 | 0 |2586 | 1.634736e+02 | 1.880000e+02 | 15.00%
943.64/943.84 c 944s| 30800 | 11380 | 6726k| 217.6 | 13M| 126 | 130 | 476 | 559 | 476 | 961 | 784 | 0 |2586 | 1.634747e+02 | 1.880000e+02 | 15.00%
945.74/945.94 c 946s| 30900 | 11414 | 6741k| 217.3 | 14M| 126 | 127 | 476 | 559 | 476 | 961 | 784 | 0 |2598 | 1.634754e+02 | 1.880000e+02 | 15.00%
946.73/946.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
946.73/946.93 c 947s| 31000 | 11432 | 6747k| 216.8 | 14M| 126 | - | 476 | 559 | 0 | 0 | 784 | 0 |2603 | 1.634761e+02 | 1.880000e+02 | 15.00%
948.64/948.84 c 949s| 31100 | 11478 | 6760k| 216.6 | 14M| 126 | 371 | 476 | 559 | 476 | 961 | 784 | 0 |2611 | 1.634776e+02 | 1.880000e+02 | 15.00%
949.64/949.86 c 950s| 31200 | 11504 | 6767k| 216.1 | 14M| 126 | 123 | 476 | 559 | 476 | 961 | 784 | 0 |2615 | 1.634776e+02 | 1.880000e+02 | 15.00%
953.33/953.54 c 954s| 31300 | 11538 | 6796k| 216.3 | 14M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2616 | 1.634777e+02 | 1.880000e+02 | 15.00%
955.65/955.89 c 956s| 31400 | 11564 | 6814k| 216.2 | 14M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2618 | 1.634793e+02 | 1.880000e+02 | 15.00%
959.13/959.39 c 959s| 31500 | 11608 | 6841k| 216.4 | 14M| 126 | 97 | 476 | 559 | 476 | 961 | 784 | 0 |2618 | 1.634806e+02 | 1.880000e+02 | 15.00%
960.93/961.16 c 961s| 31600 | 11640 | 6855k| 216.1 | 14M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2619 | 1.634817e+02 | 1.880000e+02 | 15.00%
963.84/964.02 c 964s| 31700 | 11678 | 6877k| 216.1 | 14M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2620 | 1.634825e+02 | 1.880000e+02 | 15.00%
966.64/966.81 c 967s| 31800 | 11726 | 6898k| 216.1 | 14M| 126 | 366 | 476 | 559 | 476 | 961 | 784 | 0 |2621 | 1.634841e+02 | 1.880000e+02 | 15.00%
967.43/967.64 c 968s| 31900 | 11752 | 6904k| 215.6 | 14M| 126 | 372 | 476 | 559 | 476 | 961 | 784 | 0 |2621 | 1.634842e+02 | 1.880000e+02 | 15.00%
968.43/968.61 c 969s| 32000 | 11782 | 6912k| 215.2 | 14M| 126 | 127 | 476 | 559 | 476 | 961 | 784 | 0 |2621 | 1.634844e+02 | 1.880000e+02 | 15.00%
970.74/970.90 c 971s| 32100 | 11822 | 6929k| 215.1 | 14M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2621 | 1.634852e+02 | 1.880000e+02 | 15.00%
972.73/972.98 c 973s| 32200 | 11876 | 6945k| 214.9 | 14M| 126 | - | 476 | 559 | 0 | 0 | 784 | 0 |2621 | 1.634862e+02 | 1.880000e+02 | 14.99%
975.14/975.36 c 975s| 32300 | 11924 | 6962k| 214.8 | 14M| 126 | 387 | 476 | 559 | 476 | 961 | 784 | 0 |2621 | 1.634892e+02 | 1.880000e+02 | 14.99%
980.53/980.71 c 981s| 32400 | 11968 | 7005k| 215.4 | 14M| 126 | 369 | 476 | 559 | 476 | 961 | 784 | 0 |2621 | 1.634914e+02 | 1.880000e+02 | 14.99%
984.63/984.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
984.63/984.88 c 985s| 32500 | 12022 | 7036k| 215.7 | 14M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2621 | 1.634934e+02 | 1.880000e+02 | 14.99%
985.53/985.79 c 986s| 32600 | 12050 | 7043k| 215.3 | 14M| 126 | 95 | 476 | 559 | 476 | 961 | 784 | 0 |2621 | 1.634940e+02 | 1.880000e+02 | 14.99%
986.83/987.04 c 987s| 32700 | 12070 | 7050k| 214.8 | 14M| 126 | 138 | 476 | 559 | 476 | 961 | 784 | 0 |2630 | 1.634941e+02 | 1.880000e+02 | 14.99%
987.64/987.82 c 988s| 32800 | 12090 | 7056k| 214.4 | 14M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2630 | 1.634956e+02 | 1.880000e+02 | 14.99%
989.54/989.70 c 990s| 32900 | 12120 | 7066k| 214.0 | 14M| 126 | 150 | 476 | 559 | 476 | 961 | 784 | 0 |2646 | 1.634967e+02 | 1.880000e+02 | 14.99%
991.83/992.01 c 992s| 33000 | 12142 | 7084k| 213.9 | 14M| 126 | 364 | 476 | 559 | 476 | 961 | 784 | 0 |2646 | 1.634968e+02 | 1.880000e+02 | 14.99%
995.33/995.54 c 996s| 33100 | 12186 | 7108k| 214.0 | 14M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2656 | 1.634974e+02 | 1.880000e+02 | 14.99%
998.73/998.97 c 999s| 33200 | 12228 | 7131k| 214.0 | 14M| 126 | 362 | 476 | 559 | 476 | 961 | 784 | 0 |2665 | 1.634978e+02 | 1.880000e+02 | 14.99%
999.74/999.92 c 1000s| 33300 | 12254 | 7138k| 213.6 | 14M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2665 | 1.634979e+02 | 1.880000e+02 | 14.99%
1001.53/1001.77 c 1002s| 33400 | 12280 | 7149k| 213.3 | 14M| 126 | 372 | 476 | 559 | 476 | 961 | 784 | 0 |2689 | 1.634981e+02 | 1.880000e+02 | 14.99%
1008.03/1008.21 c 1008s| 33500 | 12334 | 7190k| 213.9 | 14M| 126 | 370 | 476 | 559 | 476 | 961 | 784 | 0 |2729 | 1.635016e+02 | 1.880000e+02 | 14.98%
1010.63/1010.83 c 1011s| 33600 | 12360 | 7211k| 213.9 | 14M| 126 | 113 | 476 | 559 | 476 | 961 | 784 | 0 |2729 | 1.635019e+02 | 1.880000e+02 | 14.98%
1011.84/1012.06 c 1012s| 33700 | 12388 | 7220k| 213.5 | 14M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2729 | 1.635041e+02 | 1.880000e+02 | 14.98%
1016.63/1016.87 c 1017s| 33800 | 12430 | 7255k| 213.9 | 14M| 126 | 126 | 476 | 559 | 476 | 961 | 784 | 0 |2737 | 1.635065e+02 | 1.880000e+02 | 14.98%
1020.03/1020.22 c 1020s| 33900 | 12472 | 7279k| 214.0 | 14M| 126 | 144 | 476 | 559 | 476 | 961 | 784 | 0 |2744 | 1.635076e+02 | 1.880000e+02 | 14.98%
1022.33/1022.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1022.33/1022.57 c 1023s| 34000 | 12502 | 7297k| 213.9 | 14M| 126 | 132 | 476 | 559 | 476 | 961 | 784 | 0 |2757 | 1.635081e+02 | 1.880000e+02 | 14.98%
1023.13/1023.36 c 1023s| 34100 | 12534 | 7303k| 213.4 | 14M| 126 | 114 | 476 | 559 | 476 | 961 | 784 | 0 |2758 | 1.635089e+02 | 1.880000e+02 | 14.98%
1024.03/1024.20 c 1024s| 34200 | 12550 | 7309k| 213.0 | 14M| 126 | 122 | 476 | 559 | 476 | 961 | 784 | 0 |2759 | 1.635091e+02 | 1.880000e+02 | 14.98%
1025.52/1025.73 c 1026s| 34300 | 12570 | 7320k| 212.7 | 14M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2760 | 1.635099e+02 | 1.880000e+02 | 14.98%
1028.73/1028.90 c 1029s| 34400 | 12588 | 7344k| 212.8 | 14M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2760 | 1.635104e+02 | 1.880000e+02 | 14.98%
1032.13/1032.31 c 1032s| 34500 | 12612 | 7370k| 212.9 | 14M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2764 | 1.635123e+02 | 1.880000e+02 | 14.98%
1034.53/1034.78 c 1035s| 34600 | 12644 | 7388k| 212.8 | 14M| 126 | 137 | 476 | 559 | 476 | 961 | 784 | 0 |2764 | 1.635127e+02 | 1.880000e+02 | 14.98%
1035.82/1036.03 c 1036s| 34700 | 12668 | 7397k| 212.5 | 15M| 126 | 358 | 476 | 559 | 476 | 961 | 784 | 0 |2765 | 1.635134e+02 | 1.880000e+02 | 14.98%
1037.23/1037.43 c 1037s| 34800 | 12696 | 7408k| 212.1 | 15M| 126 | 357 | 476 | 559 | 476 | 961 | 784 | 0 |2765 | 1.635138e+02 | 1.880000e+02 | 14.98%
1041.53/1041.72 c 1042s| 34900 | 12746 | 7441k| 212.5 | 15M| 126 | 383 | 476 | 559 | 476 | 961 | 784 | 0 |2765 | 1.635143e+02 | 1.880000e+02 | 14.97%
1044.42/1044.60 c 1045s| 35000 | 12780 | 7464k| 212.5 | 15M| 126 | 104 | 476 | 559 | 476 | 961 | 784 | 0 |2765 | 1.635149e+02 | 1.880000e+02 | 14.97%
1046.12/1046.34 c 1046s| 35100 | 12814 | 7476k| 212.3 | 15M| 126 | 372 | 476 | 559 | 476 | 961 | 784 | 0 |2765 | 1.635160e+02 | 1.880000e+02 | 14.97%
1048.72/1048.98 c 1049s| 35200 | 12840 | 7497k| 212.3 | 15M| 126 | 115 | 476 | 559 | 476 | 961 | 784 | 0 |2765 | 1.635171e+02 | 1.880000e+02 | 14.97%
1051.02/1051.29 c 1051s| 35300 | 12860 | 7514k| 212.2 | 15M| 126 | 97 | 476 | 559 | 476 | 961 | 784 | 0 |2765 | 1.635185e+02 | 1.880000e+02 | 14.97%
1051.33/1051.56 c 1052s| 35400 | 12858 | 7517k| 211.6 | 15M| 126 | - | 476 | 559 | 0 | 0 | 784 | 0 |2765 | 1.635185e+02 | 1.880000e+02 | 14.97%
1054.22/1054.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1054.22/1054.48 c 1054s| 35500 | 12892 | 7539k| 211.7 | 15M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2765 | 1.635193e+02 | 1.880000e+02 | 14.97%
1056.42/1056.63 c 1057s| 35600 | 12932 | 7555k| 211.5 | 15M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2765 | 1.635204e+02 | 1.880000e+02 | 14.97%
1058.42/1058.61 c 1059s| 35700 | 12952 | 7571k| 211.4 | 15M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2765 | 1.635228e+02 | 1.880000e+02 | 14.97%
1059.52/1059.71 c 1060s| 35800 | 12978 | 7579k| 211.0 | 15M| 126 | 152 | 476 | 559 | 476 | 961 | 784 | 0 |2785 | 1.635229e+02 | 1.880000e+02 | 14.97%
1061.42/1061.67 c 1062s| 35900 | 13010 | 7594k| 210.8 | 15M| 126 | 130 | 476 | 559 | 476 | 961 | 784 | 0 |2785 | 1.635229e+02 | 1.880000e+02 | 14.97%
1063.72/1063.94 c 1064s| 36000 | 13034 | 7605k| 210.6 | 15M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2815 | 1.635233e+02 | 1.880000e+02 | 14.97%
1065.63/1065.82 c 1066s| 36100 | 13072 | 7619k| 210.4 | 15M| 126 | 376 | 476 | 559 | 476 | 961 | 784 | 0 |2815 | 1.635255e+02 | 1.880000e+02 | 14.97%
1072.32/1072.54 c 1073s| 36200 | 13112 | 7667k| 211.1 | 15M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2833 | 1.635269e+02 | 1.880000e+02 | 14.97%
1073.02/1073.27 c 1073s| 36300 | 13126 | 7673k| 210.7 | 15M| 126 | 369 | 476 | 559 | 476 | 961 | 784 | 0 |2833 | 1.635277e+02 | 1.880000e+02 | 14.97%
1073.92/1074.17 c 1074s| 36400 | 13138 | 7680k| 210.3 | 15M| 126 | 136 | 476 | 559 | 476 | 961 | 784 | 0 |2833 | 1.635279e+02 | 1.880000e+02 | 14.97%
1075.81/1076.02 c 1076s| 36500 | 13152 | 7694k| 210.1 | 15M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2836 | 1.635281e+02 | 1.880000e+02 | 14.96%
1078.12/1078.38 c 1078s| 36600 | 13188 | 7706k| 209.9 | 15M| 126 | 127 | 476 | 559 | 476 | 961 | 784 | 0 |2865 | 1.635285e+02 | 1.880000e+02 | 14.96%
1079.52/1079.75 c 1080s| 36700 | 13210 | 7717k| 209.6 | 15M| 126 | 139 | 476 | 559 | 476 | 961 | 784 | 0 |2865 | 1.635295e+02 | 1.880000e+02 | 14.96%
1081.22/1081.47 c 1081s| 36800 | 13232 | 7731k| 209.4 | 15M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2865 | 1.635305e+02 | 1.880000e+02 | 14.96%
1083.62/1083.83 c 1084s| 36900 | 13264 | 7745k| 209.2 | 15M| 126 | 125 | 476 | 559 | 476 | 961 | 784 | 0 |2875 | 1.635307e+02 | 1.880000e+02 | 14.96%
1086.12/1086.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.12/1086.31 c 1086s| 37000 | 13300 | 7760k| 209.1 | 15M| 126 | 362 | 476 | 559 | 476 | 961 | 784 | 0 |2888 | 1.635315e+02 | 1.880000e+02 | 14.96%
1090.22/1090.41 c 1090s| 37100 | 13338 | 7792k| 209.4 | 15M| 126 | 141 | 476 | 559 | 476 | 961 | 784 | 0 |2888 | 1.635342e+02 | 1.880000e+02 | 14.96%
1091.61/1091.85 c 1092s| 37200 | 13346 | 7801k| 209.0 | 15M| 126 | 345 | 476 | 559 | 476 | 961 | 784 | 0 |2896 | 1.635344e+02 | 1.880000e+02 | 14.96%
1092.62/1092.82 c 1093s| 37300 | 13376 | 7808k| 208.7 | 15M| 126 | 114 | 476 | 559 | 476 | 961 | 784 | 0 |2902 | 1.635366e+02 | 1.880000e+02 | 14.96%
1095.81/1096.07 c 1096s| 37400 | 13404 | 7834k| 208.8 | 15M| 126 | 142 | 476 | 559 | 476 | 961 | 784 | 0 |2906 | 1.635379e+02 | 1.880000e+02 | 14.96%
1097.62/1097.81 c 1098s| 37500 | 13422 | 7847k| 208.6 | 15M| 126 | 136 | 476 | 559 | 476 | 961 | 784 | 0 |2907 | 1.635388e+02 | 1.880000e+02 | 14.96%
1099.82/1100.02 c 1100s| 37600 | 13436 | 7865k| 208.5 | 15M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2907 | 1.635389e+02 | 1.880000e+02 | 14.96%
1102.31/1102.55 c 1103s| 37700 | 13460 | 7885k| 208.5 | 15M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2907 | 1.635397e+02 | 1.880000e+02 | 14.96%
1106.32/1106.54 c 1107s| 37800 | 13506 | 7915k| 208.7 | 15M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2907 | 1.635414e+02 | 1.880000e+02 | 14.96%
1108.42/1108.62 c 1109s| 37900 | 13548 | 7929k| 208.6 | 15M| 126 | 113 | 476 | 559 | 476 | 961 | 784 | 0 |2910 | 1.635422e+02 | 1.880000e+02 | 14.96%
1111.71/1111.97 c 1112s| 38000 | 13598 | 7955k| 208.7 | 15M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2910 | 1.635429e+02 | 1.880000e+02 | 14.95%
1112.62/1112.85 c 1113s| 38100 | 13622 | 7961k| 208.3 | 15M| 126 | 125 | 476 | 559 | 476 | 961 | 784 | 0 |2910 | 1.635437e+02 | 1.880000e+02 | 14.95%
1113.51/1113.71 c 1114s| 38200 | 13640 | 7968k| 207.9 | 15M| 126 | 118 | 476 | 559 | 476 | 961 | 784 | 0 |2910 | 1.635437e+02 | 1.880000e+02 | 14.95%
1115.31/1115.56 c 1116s| 38300 | 13666 | 7983k| 207.8 | 15M| 126 | 119 | 476 | 559 | 476 | 961 | 784 | 0 |2910 | 1.635456e+02 | 1.880000e+02 | 14.95%
1117.81/1118.03 c 1118s| 38400 | 13704 | 8002k| 207.7 | 15M| 126 | 134 | 476 | 559 | 476 | 961 | 784 | 0 |2910 | 1.635459e+02 | 1.880000e+02 | 14.95%
1119.81/1120.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1119.81/1120.05 c 1120s| 38500 | 13748 | 8017k| 207.6 | 15M| 126 | 148 | 476 | 559 | 476 | 961 | 784 | 0 |2910 | 1.635470e+02 | 1.880000e+02 | 14.95%
1123.51/1123.71 c 1124s| 38600 | 13774 | 8046k| 207.8 | 15M| 126 | 130 | 476 | 559 | 476 | 961 | 784 | 0 |2910 | 1.635482e+02 | 1.880000e+02 | 14.95%
1126.21/1126.42 c 1126s| 38700 | 13812 | 8066k| 207.8 | 15M| 126 | 117 | 476 | 559 | 476 | 961 | 784 | 0 |2910 | 1.635498e+02 | 1.880000e+02 | 14.95%
1127.31/1127.58 c 1128s| 38800 | 13862 | 8076k| 207.5 | 15M| 126 | 363 | 476 | 559 | 476 | 961 | 784 | 0 |2910 | 1.635502e+02 | 1.880000e+02 | 14.95%
1129.42/1129.67 c 1130s| 38900 | 13882 | 8092k| 207.4 | 15M| 126 | 121 | 476 | 559 | 476 | 961 | 784 | 0 |2910 | 1.635503e+02 | 1.880000e+02 | 14.95%
1131.01/1131.22 c 1131s| 39000 | 13920 | 8104k| 207.1 | 15M| 126 | 131 | 476 | 559 | 476 | 961 | 784 | 0 |2910 | 1.635503e+02 | 1.880000e+02 | 14.95%
1132.82/1133.04 c 1133s| 39100 | 13946 | 8114k| 206.9 | 15M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2921 | 1.635510e+02 | 1.880000e+02 | 14.95%
1133.61/1133.81 c 1134s| 39200 | 13958 | 8120k| 206.5 | 16M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2921 | 1.635512e+02 | 1.880000e+02 | 14.95%
1136.01/1136.29 c 1136s| 39300 | 13998 | 8138k| 206.4 | 16M| 126 | 108 | 476 | 559 | 476 | 961 | 784 | 0 |2921 | 1.635514e+02 | 1.880000e+02 | 14.95%
1142.51/1142.79 c 1143s| 39400 | 14044 | 8185k| 207.1 | 16M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2938 | 1.635530e+02 | 1.880000e+02 | 14.95%
1143.20/1143.46 c 1143s| 39500 | 14048 | 8191k| 206.7 | 16M| 126 | 354 | 476 | 559 | 476 | 961 | 784 | 0 |2938 | 1.635532e+02 | 1.880000e+02 | 14.95%
1146.31/1146.59 c 1147s| 39600 | 14080 | 8210k| 206.7 | 16M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2954 | 1.635537e+02 | 1.880000e+02 | 14.95%
1147.31/1147.51 c 1148s| 39700 | 14094 | 8217k| 206.3 | 16M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2954 | 1.635540e+02 | 1.880000e+02 | 14.95%
1148.51/1148.79 c 1149s| 39800 | 14114 | 8227k| 206.1 | 16M| 126 | 365 | 476 | 559 | 476 | 961 | 784 | 0 |2954 | 1.635547e+02 | 1.880000e+02 | 14.95%
1149.51/1149.79 c 1150s| 39900 | 14132 | 8235k| 205.8 | 16M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2954 | 1.635550e+02 | 1.880000e+02 | 14.95%
1152.80/1153.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1152.80/1153.09 c 1153s| 40000 | 14174 | 8257k| 205.8 | 16M| 126 | 142 | 476 | 559 | 476 | 961 | 784 | 0 |2964 | 1.635560e+02 | 1.880000e+02 | 14.95%
1155.20/1155.42 c 1155s| 40100 | 14208 | 8272k| 205.7 | 16M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2977 | 1.635560e+02 | 1.880000e+02 | 14.95%
1156.61/1156.86 c 1157s| 40200 | 14236 | 8283k| 205.4 | 16M| 126 | 132 | 476 | 559 | 476 | 961 | 784 | 0 |2977 | 1.635563e+02 | 1.880000e+02 | 14.95%
1159.50/1159.73 c 1160s| 40300 | 14272 | 8303k| 205.4 | 16M| 126 | 354 | 476 | 559 | 476 | 961 | 784 | 0 |2986 | 1.635565e+02 | 1.880000e+02 | 14.95%
1159.80/1160.07 c 1160s| 40400 | 14270 | 8306k| 205.0 | 16M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |2986 | 1.635565e+02 | 1.880000e+02 | 14.95%
1165.91/1166.10 c 1166s| 40500 | 14318 | 8351k| 205.6 | 16M| 126 | 359 | 476 | 559 | 476 | 961 | 784 | 0 |2996 | 1.635585e+02 | 1.880000e+02 | 14.94%
1168.50/1168.76 c 1169s| 40600 | 14344 | 8370k| 205.5 | 16M| 126 | 361 | 476 | 559 | 476 | 961 | 784 | 0 |3005 | 1.635592e+02 | 1.880000e+02 | 14.94%
1170.70/1170.95 c 1171s| 40700 | 14386 | 8384k| 205.4 | 16M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3015 | 1.635604e+02 | 1.880000e+02 | 14.94%
1172.31/1172.56 c 1173s| 40800 | 14434 | 8394k| 205.1 | 16M| 126 | 358 | 476 | 559 | 476 | 961 | 784 | 0 |3022 | 1.635608e+02 | 1.880000e+02 | 14.94%
1175.10/1175.37 c 1175s| 40900 | 14470 | 8415k| 205.1 | 16M| 126 | 114 | 476 | 559 | 476 | 961 | 784 | 0 |3027 | 1.635609e+02 | 1.880000e+02 | 14.94%
1176.71/1176.94 c 1177s| 41000 | 14514 | 8426k| 204.9 | 16M| 126 | 136 | 476 | 559 | 476 | 961 | 784 | 0 |3032 | 1.635611e+02 | 1.880000e+02 | 14.94%
1181.50/1181.78 c 1182s| 41100 | 14574 | 8464k| 205.3 | 16M| 126 | 104 | 476 | 559 | 476 | 961 | 784 | 0 |3038 | 1.635617e+02 | 1.880000e+02 | 14.94%
1184.90/1185.12 c 1185s| 41200 | 14612 | 8490k| 205.5 | 16M| 126 | 131 | 476 | 559 | 476 | 961 | 784 | 0 |3038 | 1.635636e+02 | 1.880000e+02 | 14.94%
1187.50/1187.74 c 1188s| 41300 | 14646 | 8511k| 205.5 | 16M| 126 | 149 | 476 | 559 | 476 | 961 | 784 | 0 |3038 | 1.635645e+02 | 1.880000e+02 | 14.94%
1189.10/1189.34 c 1189s| 41400 | 14676 | 8524k| 205.3 | 16M| 126 | 124 | 476 | 559 | 476 | 961 | 784 | 0 |3038 | 1.635646e+02 | 1.880000e+02 | 14.94%
1190.90/1191.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1190.90/1191.10 c 1191s| 41500 | 14706 | 8538k| 205.1 | 16M| 126 | 127 | 476 | 559 | 476 | 961 | 784 | 0 |3038 | 1.635647e+02 | 1.880000e+02 | 14.94%
1193.30/1193.59 c 1194s| 41600 | 14760 | 8556k| 205.1 | 16M| 126 | 369 | 476 | 559 | 476 | 961 | 784 | 0 |3038 | 1.635653e+02 | 1.880000e+02 | 14.94%
1194.90/1195.12 c 1195s| 41700 | 14794 | 8568k| 204.9 | 16M| 126 | 131 | 476 | 559 | 476 | 961 | 784 | 0 |3038 | 1.635658e+02 | 1.880000e+02 | 14.94%
1196.51/1196.79 c 1197s| 41800 | 14814 | 8581k| 204.7 | 16M| 126 | 145 | 476 | 559 | 476 | 961 | 784 | 0 |3038 | 1.635662e+02 | 1.880000e+02 | 14.94%
1198.40/1198.69 c 1199s| 41900 | 14852 | 8595k| 204.5 | 16M| 126 | 373 | 476 | 559 | 476 | 961 | 784 | 0 |3038 | 1.635691e+02 | 1.880000e+02 | 14.94%
1201.70/1201.91 c 1202s| 42000 | 14888 | 8620k| 204.6 | 16M| 126 | 365 | 476 | 559 | 476 | 961 | 784 | 0 |3038 | 1.635696e+02 | 1.880000e+02 | 14.94%
1204.21/1204.48 c 1204s| 42100 | 14920 | 8639k| 204.6 | 16M| 126 | 123 | 476 | 559 | 476 | 961 | 784 | 0 |3038 | 1.635699e+02 | 1.880000e+02 | 14.94%
1205.50/1205.79 c 1206s| 42200 | 14936 | 8649k| 204.4 | 16M| 126 | 370 | 476 | 559 | 476 | 961 | 784 | 0 |3038 | 1.635704e+02 | 1.880000e+02 | 14.94%
1208.30/1208.57 c 1209s| 42300 | 14974 | 8670k| 204.4 | 16M| 126 | 358 | 476 | 559 | 476 | 961 | 784 | 0 |3038 | 1.635710e+02 | 1.880000e+02 | 14.93%
1210.10/1210.34 c 1210s| 42400 | 14992 | 8683k| 204.2 | 16M| 126 | - | 476 | 559 | 0 | 0 | 784 | 0 |3038 | 1.635712e+02 | 1.880000e+02 | 14.93%
1212.30/1212.53 c 1213s| 42500 | 15010 | 8701k| 204.1 | 16M| 126 | 369 | 476 | 559 | 476 | 961 | 784 | 0 |3038 | 1.635734e+02 | 1.880000e+02 | 14.93%
1214.20/1214.49 c 1214s| 42600 | 15048 | 8715k| 204.0 | 16M| 126 | 379 | 476 | 559 | 476 | 961 | 784 | 0 |3038 | 1.635740e+02 | 1.880000e+02 | 14.93%
1216.10/1216.31 c 1216s| 42700 | 15068 | 8730k| 203.9 | 16M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3038 | 1.635741e+02 | 1.880000e+02 | 14.93%
1216.50/1216.72 c 1217s| 42800 | 15080 | 8733k| 203.5 | 16M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3049 | 1.635741e+02 | 1.880000e+02 | 14.93%
1218.70/1218.91 c 1219s| 42900 | 15122 | 8746k| 203.3 | 16M| 126 | 356 | 476 | 559 | 476 | 961 | 784 | 0 |3058 | 1.635753e+02 | 1.880000e+02 | 14.93%
1219.60/1219.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1219.60/1219.83 c 1220s| 43000 | 15140 | 8754k| 203.0 | 16M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3058 | 1.635756e+02 | 1.880000e+02 | 14.93%
1220.40/1220.69 c 1221s| 43100 | 15154 | 8759k| 202.7 | 16M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3082 | 1.635762e+02 | 1.880000e+02 | 14.93%
1223.90/1224.19 c 1224s| 43200 | 15186 | 8781k| 202.7 | 16M| 126 | 369 | 476 | 559 | 476 | 961 | 784 | 0 |3096 | 1.635769e+02 | 1.880000e+02 | 14.93%
1228.79/1229.06 c 1229s| 43300 | 15242 | 8816k| 203.0 | 17M| 126 | 351 | 476 | 559 | 476 | 961 | 784 | 0 |3106 | 1.635778e+02 | 1.880000e+02 | 14.93%
1234.19/1234.42 c 1234s| 43400 | 15296 | 8852k| 203.4 | 17M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3125 | 1.635788e+02 | 1.880000e+02 | 14.93%
1235.59/1235.80 c 1236s| 43500 | 15316 | 8862k| 203.2 | 17M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3125 | 1.635798e+02 | 1.880000e+02 | 14.93%
1236.89/1237.17 c 1237s| 43600 | 15350 | 8872k| 202.9 | 17M| 126 | 108 | 476 | 559 | 476 | 961 | 784 | 0 |3125 | 1.635808e+02 | 1.880000e+02 | 14.93%
1237.19/1237.50 c 1237s| 43700 | 15354 | 8876k| 202.5 | 17M| 126 | 126 | 476 | 559 | 476 | 961 | 784 | 0 |3125 | 1.635808e+02 | 1.880000e+02 | 14.93%
1237.59/1237.80 c 1238s| 43800 | 15368 | 8879k| 202.1 | 17M| 126 | 124 | 476 | 559 | 476 | 961 | 784 | 0 |3125 | 1.635808e+02 | 1.880000e+02 | 14.93%
1239.80/1240.01 c 1240s| 43900 | 15390 | 8893k| 202.0 | 17M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3138 | 1.635810e+02 | 1.880000e+02 | 14.93%
1243.89/1244.13 c 1244s| 44000 | 15424 | 8926k| 202.3 | 17M| 126 | 134 | 476 | 559 | 476 | 961 | 784 | 0 |3138 | 1.635822e+02 | 1.880000e+02 | 14.93%
1245.49/1245.78 c 1246s| 44100 | 15442 | 8937k| 202.1 | 17M| 126 | 372 | 476 | 559 | 476 | 961 | 784 | 0 |3147 | 1.635824e+02 | 1.880000e+02 | 14.93%
1248.30/1248.50 c 1249s| 44200 | 15468 | 8956k| 202.1 | 17M| 126 | 110 | 476 | 559 | 476 | 961 | 784 | 0 |3158 | 1.635837e+02 | 1.880000e+02 | 14.93%
1250.49/1250.79 c 1251s| 44300 | 15494 | 8973k| 202.0 | 17M| 126 | 120 | 476 | 559 | 476 | 961 | 784 | 0 |3164 | 1.635839e+02 | 1.880000e+02 | 14.93%
1251.89/1252.12 c 1252s| 44400 | 15536 | 8982k| 201.7 | 17M| 126 | 149 | 476 | 559 | 476 | 961 | 784 | 0 |3164 | 1.635857e+02 | 1.880000e+02 | 14.92%
1254.29/1254.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.29/1254.51 c 1255s| 44500 | 15554 | 9001k| 201.7 | 17M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3164 | 1.635877e+02 | 1.880000e+02 | 14.92%
1254.49/1254.79 c 1255s| 44600 | 15572 | 9004k| 201.3 | 17M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3164 | 1.635877e+02 | 1.880000e+02 | 14.92%
1254.79/1255.06 c 1255s| 44700 | 15580 | 9006k| 200.9 | 17M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3164 | 1.635877e+02 | 1.880000e+02 | 14.92%
1256.29/1256.50 c 1257s| 44800 | 15604 | 9018k| 200.7 | 17M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3164 | 1.635882e+02 | 1.880000e+02 | 14.92%
1259.30/1259.58 c 1260s| 44900 | 15644 | 9041k| 200.8 | 17M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3164 | 1.635888e+02 | 1.880000e+02 | 14.92%
1261.29/1261.55 c 1262s| 45000 | 15688 | 9055k| 200.7 | 17M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3165 | 1.635898e+02 | 1.880000e+02 | 14.92%
1262.79/1263.01 c 1263s| 45100 | 15712 | 9066k| 200.5 | 17M| 126 | 374 | 476 | 559 | 476 | 961 | 784 | 0 |3165 | 1.635911e+02 | 1.880000e+02 | 14.92%
1265.29/1265.57 c 1266s| 45200 | 15740 | 9085k| 200.4 | 17M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3166 | 1.635915e+02 | 1.880000e+02 | 14.92%
1268.69/1268.96 c 1269s| 45300 | 15790 | 9111k| 200.6 | 17M| 126 | 360 | 476 | 559 | 476 | 961 | 784 | 0 |3166 | 1.635926e+02 | 1.880000e+02 | 14.92%
1271.69/1271.96 c 1272s| 45400 | 15820 | 9135k| 200.7 | 17M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3166 | 1.635934e+02 | 1.880000e+02 | 14.92%
1275.19/1275.44 c 1275s| 45500 | 15850 | 9163k| 200.8 | 17M| 126 | 146 | 476 | 559 | 476 | 961 | 784 | 0 |3166 | 1.635937e+02 | 1.880000e+02 | 14.92%
1276.59/1276.86 c 1277s| 45600 | 15866 | 9174k| 200.6 | 17M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3166 | 1.635941e+02 | 1.880000e+02 | 14.92%
1278.59/1278.82 c 1279s| 45700 | 15930 | 9191k| 200.6 | 17M| 126 | 146 | 476 | 559 | 476 | 961 | 784 | 0 |3166 | 1.635941e+02 | 1.880000e+02 | 14.92%
1279.39/1279.65 c 1280s| 45800 | 15966 | 9197k| 200.3 | 17M| 126 | 146 | 476 | 559 | 476 | 961 | 784 | 0 |3166 | 1.635942e+02 | 1.880000e+02 | 14.92%
1281.19/1281.41 c 1281s| 45900 | 16000 | 9211k| 200.1 | 17M| 126 | 128 | 476 | 559 | 476 | 961 | 784 | 0 |3166 | 1.635952e+02 | 1.880000e+02 | 14.92%
1282.39/1282.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1282.39/1282.69 c 1283s| 46000 | 16032 | 9221k| 199.9 | 17M| 126 | 371 | 476 | 559 | 476 | 961 | 784 | 0 |3166 | 1.635957e+02 | 1.880000e+02 | 14.92%
1283.89/1284.11 c 1284s| 46100 | 16072 | 9232k| 199.7 | 17M| 126 | 370 | 476 | 559 | 476 | 961 | 784 | 0 |3166 | 1.635960e+02 | 1.880000e+02 | 14.92%
1285.28/1285.54 c 1286s| 46200 | 16108 | 9243k| 199.5 | 17M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3166 | 1.635963e+02 | 1.880000e+02 | 14.92%
1288.78/1289.03 c 1289s| 46300 | 16148 | 9265k| 199.6 | 17M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3177 | 1.635966e+02 | 1.880000e+02 | 14.92%
1292.08/1292.30 c 1292s| 46400 | 16182 | 9285k| 199.6 | 17M| 126 | 358 | 476 | 559 | 476 | 961 | 784 | 0 |3190 | 1.635977e+02 | 1.880000e+02 | 14.92%
1293.09/1293.31 c 1293s| 46500 | 16214 | 9293k| 199.3 | 17M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3190 | 1.635980e+02 | 1.880000e+02 | 14.92%
1295.69/1295.97 c 1296s| 46600 | 16242 | 9313k| 199.3 | 17M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3190 | 1.635984e+02 | 1.880000e+02 | 14.92%
1298.49/1298.79 c 1299s| 46700 | 16272 | 9332k| 199.3 | 17M| 126 | 129 | 476 | 559 | 476 | 961 | 784 | 0 |3201 | 1.635996e+02 | 1.880000e+02 | 14.91%
1301.19/1301.46 c 1301s| 46800 | 16304 | 9353k| 199.3 | 17M| 126 | 133 | 476 | 559 | 476 | 961 | 784 | 0 |3201 | 1.636015e+02 | 1.880000e+02 | 14.91%
1301.38/1301.67 c 1302s| 46900 | 16306 | 9355k| 198.9 | 17M| 126 | 124 | 476 | 559 | 476 | 961 | 784 | 0 |3201 | 1.636015e+02 | 1.880000e+02 | 14.91%
1304.08/1304.36 c 1304s| 47000 | 16342 | 9373k| 198.9 | 17M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3212 | 1.636019e+02 | 1.880000e+02 | 14.91%
1305.49/1305.73 c 1306s| 47100 | 16374 | 9384k| 198.7 | 17M| 126 | 114 | 476 | 559 | 476 | 961 | 784 | 0 |3212 | 1.636022e+02 | 1.880000e+02 | 14.91%
1308.58/1308.88 c 1309s| 47200 | 16418 | 9403k| 198.7 | 18M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3223 | 1.636028e+02 | 1.880000e+02 | 14.91%
1310.99/1311.22 c 1311s| 47300 | 16436 | 9418k| 198.6 | 18M| 126 | 128 | 476 | 559 | 476 | 961 | 784 | 0 |3235 | 1.636028e+02 | 1.880000e+02 | 14.91%
1314.48/1314.78 c 1315s| 47400 | 16462 | 9448k| 198.8 | 18M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3235 | 1.636030e+02 | 1.880000e+02 | 14.91%
1318.78/1319.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1318.78/1319.00 c 1319s| 47500 | 16500 | 9480k| 199.0 | 18M| 126 | 130 | 476 | 559 | 476 | 961 | 784 | 0 |3244 | 1.636039e+02 | 1.880000e+02 | 14.91%
1322.28/1322.59 c 1323s| 47600 | 16550 | 9503k| 199.1 | 18M| 126 | 133 | 476 | 559 | 476 | 961 | 784 | 0 |3259 | 1.636043e+02 | 1.880000e+02 | 14.91%
1324.28/1324.58 c 1325s| 47700 | 16588 | 9517k| 199.0 | 18M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3259 | 1.636052e+02 | 1.880000e+02 | 14.91%
1327.88/1328.10 c 1328s| 47800 | 16630 | 9541k| 199.1 | 18M| 126 | 148 | 476 | 559 | 476 | 961 | 784 | 0 |3270 | 1.636068e+02 | 1.880000e+02 | 14.91%
1331.18/1331.46 c 1331s| 47900 | 16680 | 9565k| 199.2 | 18M| 126 | 381 | 476 | 559 | 476 | 961 | 784 | 0 |3275 | 1.636095e+02 | 1.880000e+02 | 14.91%
1332.89/1333.14 c 1333s| 48000 | 16708 | 9577k| 199.0 | 18M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3284 | 1.636107e+02 | 1.880000e+02 | 14.91%
1333.77/1334.01 c 1334s| 48100 | 16726 | 9583k| 198.7 | 18M| 126 | 130 | 476 | 559 | 476 | 961 | 784 | 0 |3287 | 1.636108e+02 | 1.880000e+02 | 14.91%
1336.19/1336.47 c 1336s| 48200 | 16760 | 9601k| 198.7 | 18M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3289 | 1.636110e+02 | 1.880000e+02 | 14.91%
1338.18/1338.43 c 1338s| 48300 | 16802 | 9616k| 198.6 | 18M| 126 | 360 | 476 | 559 | 476 | 961 | 784 | 0 |3289 | 1.636125e+02 | 1.880000e+02 | 14.91%
1339.27/1339.52 c 1340s| 48400 | 16820 | 9625k| 198.3 | 18M| 126 | 130 | 476 | 559 | 476 | 961 | 784 | 0 |3289 | 1.636125e+02 | 1.880000e+02 | 14.91%
1340.28/1340.50 c 1341s| 48500 | 16862 | 9633k| 198.1 | 18M| 126 | 141 | 476 | 559 | 476 | 961 | 784 | 0 |3289 | 1.636130e+02 | 1.880000e+02 | 14.91%
1342.18/1342.42 c 1342s| 48600 | 16916 | 9649k| 198.0 | 18M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3289 | 1.636132e+02 | 1.880000e+02 | 14.91%
1344.88/1345.16 c 1345s| 48700 | 16978 | 9672k| 198.1 | 18M| 126 | 151 | 476 | 559 | 476 | 961 | 784 | 0 |3289 | 1.636153e+02 | 1.880000e+02 | 14.90%
1345.38/1345.67 c 1346s| 48800 | 17040 | 9677k| 197.8 | 18M| 126 | 169 | 476 | 559 | 476 | 961 | 784 | 0 |3289 | 1.636153e+02 | 1.880000e+02 | 14.90%
1346.38/1346.60 c 1347s| 48900 | 17066 | 9685k| 197.5 | 18M| 126 | 114 | 476 | 559 | 476 | 961 | 784 | 0 |3289 | 1.636156e+02 | 1.880000e+02 | 14.90%
1350.68/1350.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1350.68/1350.92 c 1351s| 49000 | 17112 | 9719k| 197.8 | 18M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3289 | 1.636160e+02 | 1.880000e+02 | 14.90%
1352.18/1352.44 c 1352s| 49100 | 17154 | 9730k| 197.7 | 18M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3289 | 1.636164e+02 | 1.880000e+02 | 14.90%
1354.67/1354.98 c 1355s| 49200 | 17194 | 9751k| 197.7 | 18M| 126 | 132 | 476 | 559 | 476 | 961 | 784 | 0 |3289 | 1.636165e+02 | 1.880000e+02 | 14.90%
1357.37/1357.68 c 1358s| 49300 | 17224 | 9773k| 197.7 | 18M| 126 | 372 | 476 | 559 | 476 | 961 | 784 | 0 |3289 | 1.636167e+02 | 1.880000e+02 | 14.90%
1360.08/1360.38 c 1360s| 49400 | 17258 | 9795k| 197.8 | 18M| 126 | 145 | 476 | 559 | 476 | 961 | 784 | 0 |3289 | 1.636176e+02 | 1.880000e+02 | 14.90%
1361.58/1361.86 c 1362s| 49500 | 17294 | 9806k| 197.6 | 18M| 126 | 117 | 476 | 559 | 476 | 961 | 784 | 0 |3289 | 1.636179e+02 | 1.880000e+02 | 14.90%
1362.48/1362.71 c 1363s| 49600 | 17308 | 9813k| 197.3 | 18M| 126 | 149 | 476 | 559 | 476 | 961 | 784 | 0 |3289 | 1.636181e+02 | 1.880000e+02 | 14.90%
1362.77/1363.07 c 1363s| 49700 | 17348 | 9817k| 197.0 | 18M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3289 | 1.636181e+02 | 1.880000e+02 | 14.90%
1365.27/1365.57 c 1366s| 49800 | 17376 | 9836k| 197.0 | 18M| 126 | 117 | 476 | 559 | 476 | 961 | 784 | 0 |3289 | 1.636188e+02 | 1.880000e+02 | 14.90%
1366.07/1366.34 c 1366s| 49900 | 17402 | 9842k| 196.7 | 18M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3289 | 1.636195e+02 | 1.880000e+02 | 14.90%
1366.38/1366.63 c 1367s| 50000 | 17410 | 9845k| 196.4 | 18M| 126 | - | 476 | 559 | 0 | 0 | 784 | 0 |3289 | 1.636195e+02 | 1.880000e+02 | 14.90%
1367.27/1367.59 c 1368s| 50100 | 17456 | 9853k| 196.2 | 18M| 126 | 154 | 476 | 559 | 476 | 961 | 784 | 0 |3289 | 1.636197e+02 | 1.880000e+02 | 14.90%
1370.97/1371.25 c 1371s| 50200 | 17516 | 9880k| 196.3 | 18M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3290 | 1.636204e+02 | 1.880000e+02 | 14.90%
1373.37/1373.64 c 1374s| 50300 | 17570 | 9895k| 196.2 | 18M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3299 | 1.636207e+02 | 1.880000e+02 | 14.90%
1374.27/1374.51 c 1375s| 50400 | 17608 | 9902k| 196.0 | 19M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3299 | 1.636208e+02 | 1.880000e+02 | 14.90%
1376.37/1376.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1376.37/1376.62 c 1377s| 50500 | 17658 | 9920k| 195.9 | 19M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3299 | 1.636208e+02 | 1.880000e+02 | 14.90%
1379.07/1379.38 c 1379s| 50600 | 17702 | 9936k| 195.9 | 19M| 126 | 367 | 476 | 559 | 476 | 961 | 784 | 0 |3313 | 1.636214e+02 | 1.880000e+02 | 14.90%
1380.97/1381.22 c 1381s| 50700 | 17742 | 9951k| 195.8 | 19M| 126 | 132 | 476 | 559 | 476 | 961 | 784 | 0 |3313 | 1.636214e+02 | 1.880000e+02 | 14.90%
1381.77/1382.03 c 1382s| 50800 | 17764 | 9957k| 195.5 | 19M| 126 | 129 | 476 | 559 | 476 | 961 | 784 | 0 |3313 | 1.636216e+02 | 1.880000e+02 | 14.90%
1383.27/1383.56 c 1384s| 50900 | 17782 | 9964k| 195.3 | 19M| 126 | 122 | 476 | 559 | 476 | 961 | 784 | 0 |3328 | 1.636218e+02 | 1.880000e+02 | 14.90%
1384.07/1384.30 c 1384s| 51000 | 17796 | 9970k| 195.0 | 19M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3328 | 1.636220e+02 | 1.880000e+02 | 14.90%
1389.87/1390.19 c 1390s| 51100 | 17850 | 10016k| 195.5 | 19M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3328 | 1.636223e+02 | 1.880000e+02 | 14.90%
1391.57/1391.82 c 1392s| 51200 | 17876 | 10023k| 195.3 | 19M| 126 | 145 | 476 | 559 | 476 | 961 | 784 | 0 |3346 | 1.636223e+02 | 1.880000e+02 | 14.90%
1393.07/1393.31 c 1393s| 51300 | 17902 | 10035k| 195.1 | 19M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3346 | 1.636233e+02 | 1.880000e+02 | 14.90%
1394.87/1395.16 c 1395s| 51400 | 17928 | 10050k| 195.0 | 19M| 126 | 145 | 476 | 559 | 476 | 961 | 784 | 0 |3346 | 1.636235e+02 | 1.880000e+02 | 14.90%
1398.27/1398.55 c 1399s| 51500 | 17962 | 10076k| 195.2 | 19M| 126 | 373 | 476 | 559 | 476 | 961 | 784 | 0 |3346 | 1.636247e+02 | 1.880000e+02 | 14.90%
1400.57/1400.81 c 1401s| 51600 | 17982 | 10089k| 195.0 | 19M| 126 | 114 | 476 | 559 | 476 | 961 | 784 | 0 |3360 | 1.636249e+02 | 1.880000e+02 | 14.90%
1401.37/1401.65 c 1402s| 51700 | 18006 | 10096k| 194.8 | 19M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3360 | 1.636250e+02 | 1.880000e+02 | 14.90%
1401.77/1402.00 c 1402s| 51800 | 18018 | 10099k| 194.5 | 19M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3360 | 1.636250e+02 | 1.880000e+02 | 14.90%
1403.56/1403.82 c 1404s| 51900 | 18038 | 10114k| 194.4 | 19M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3360 | 1.636250e+02 | 1.880000e+02 | 14.90%
1404.57/1404.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1404.57/1404.81 c 1405s| 52000 | 18044 | 10121k| 194.1 | 19M| 126 | 139 | 476 | 559 | 476 | 961 | 784 | 0 |3371 | 1.636251e+02 | 1.880000e+02 | 14.90%
1406.68/1406.97 c 1407s| 52100 | 18078 | 10134k| 194.0 | 19M| 126 | 374 | 476 | 559 | 476 | 961 | 784 | 0 |3382 | 1.636264e+02 | 1.880000e+02 | 14.90%
1407.68/1407.97 c 1408s| 52200 | 18100 | 10142k| 193.8 | 19M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3382 | 1.636266e+02 | 1.880000e+02 | 14.90%
1411.37/1411.69 c 1412s| 52300 | 18152 | 10167k| 193.9 | 19M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3393 | 1.636276e+02 | 1.880000e+02 | 14.90%
1413.07/1413.33 c 1413s| 52400 | 18178 | 10178k| 193.8 | 19M| 126 | 366 | 476 | 559 | 476 | 961 | 784 | 0 |3400 | 1.636282e+02 | 1.880000e+02 | 14.89%
1416.36/1416.60 c 1417s| 52500 | 18216 | 10203k| 193.9 | 19M| 126 | 367 | 476 | 559 | 476 | 961 | 784 | 0 |3407 | 1.636288e+02 | 1.880000e+02 | 14.89%
1419.06/1419.39 c 1419s| 52600 | 18262 | 10224k| 193.9 | 19M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3414 | 1.636293e+02 | 1.880000e+02 | 14.89%
1422.66/1422.98 c 1423s| 52700 | 18306 | 10252k| 194.1 | 19M| 126 | 375 | 476 | 559 | 476 | 961 | 784 | 0 |3415 | 1.636294e+02 | 1.880000e+02 | 14.89%
1425.16/1425.44 c 1425s| 52800 | 18334 | 10271k| 194.1 | 19M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3415 | 1.636303e+02 | 1.880000e+02 | 14.89%
1427.87/1428.14 c 1428s| 52900 | 18354 | 10293k| 194.1 | 19M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3415 | 1.636306e+02 | 1.880000e+02 | 14.89%
1429.87/1430.15 c 1430s| 53000 | 18394 | 10308k| 194.0 | 19M| 126 | 122 | 476 | 559 | 476 | 961 | 784 | 0 |3415 | 1.636313e+02 | 1.880000e+02 | 14.89%
1431.66/1431.93 c 1432s| 53100 | 18446 | 10322k| 193.9 | 19M| 126 | 353 | 476 | 559 | 476 | 961 | 784 | 0 |3415 | 1.636327e+02 | 1.880000e+02 | 14.89%
1434.16/1434.47 c 1434s| 53200 | 18484 | 10341k| 193.9 | 19M| 126 | 108 | 476 | 559 | 476 | 961 | 784 | 0 |3415 | 1.636334e+02 | 1.880000e+02 | 14.89%
1435.66/1435.91 c 1436s| 53300 | 18514 | 10352k| 193.7 | 19M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3415 | 1.636336e+02 | 1.880000e+02 | 14.89%
1437.56/1437.82 c 1438s| 53400 | 18546 | 10366k| 193.6 | 19M| 126 | 124 | 476 | 559 | 476 | 961 | 784 | 0 |3416 | 1.636352e+02 | 1.880000e+02 | 14.89%
1439.26/1439.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1439.26/1439.56 c 1440s| 53500 | 18568 | 10379k| 193.5 | 19M| 126 | 136 | 476 | 559 | 476 | 961 | 784 | 0 |3417 | 1.636358e+02 | 1.880000e+02 | 14.89%
1441.16/1441.48 c 1441s| 53600 | 18580 | 10396k| 193.5 | 19M| 126 | 124 | 476 | 559 | 476 | 961 | 784 | 0 |3417 | 1.636361e+02 | 1.880000e+02 | 14.89%
1443.36/1443.62 c 1444s| 53700 | 18620 | 10413k| 193.4 | 19M| 126 | - | 476 | 559 | 0 | 0 | 784 | 0 |3417 | 1.636363e+02 | 1.880000e+02 | 14.89%
1444.76/1445.06 c 1445s| 53800 | 18646 | 10423k| 193.3 | 19M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3417 | 1.636376e+02 | 1.880000e+02 | 14.89%
1446.46/1446.74 c 1447s| 53900 | 18660 | 10437k| 193.2 | 19M| 126 | 126 | 476 | 559 | 476 | 961 | 784 | 0 |3417 | 1.636381e+02 | 1.880000e+02 | 14.89%
1447.86/1448.10 c 1448s| 54000 | 18692 | 10448k| 193.0 | 19M| 126 | 373 | 476 | 559 | 476 | 961 | 784 | 0 |3417 | 1.636388e+02 | 1.880000e+02 | 14.89%
1450.06/1450.34 c 1450s| 54100 | 18716 | 10466k| 193.0 | 19M| 126 | 115 | 476 | 559 | 476 | 961 | 784 | 0 |3417 | 1.636389e+02 | 1.880000e+02 | 14.89%
1451.46/1451.75 c 1452s| 54200 | 18742 | 10477k| 192.8 | 19M| 126 | 96 | 476 | 559 | 476 | 961 | 784 | 0 |3417 | 1.636403e+02 | 1.880000e+02 | 14.89%
1453.26/1453.59 c 1454s| 54300 | 18746 | 10491k| 192.7 | 19M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3417 | 1.636406e+02 | 1.880000e+02 | 14.89%
1455.85/1456.16 c 1456s| 54400 | 18776 | 10511k| 192.8 | 19M| 126 | 127 | 476 | 559 | 476 | 961 | 784 | 0 |3417 | 1.636411e+02 | 1.880000e+02 | 14.89%
1457.76/1458.03 c 1458s| 54500 | 18816 | 10525k| 192.7 | 19M| 126 | 362 | 476 | 559 | 476 | 961 | 784 | 0 |3417 | 1.636421e+02 | 1.880000e+02 | 14.88%
1462.46/1462.72 c 1463s| 54600 | 18854 | 10553k| 192.8 | 20M| 126 | 143 | 476 | 559 | 476 | 961 | 784 | 0 |3441 | 1.636424e+02 | 1.880000e+02 | 14.88%
1466.76/1467.08 c 1467s| 54700 | 18894 | 10588k| 193.1 | 20M| 126 | 153 | 476 | 559 | 476 | 961 | 784 | 0 |3441 | 1.636429e+02 | 1.880000e+02 | 14.88%
1468.86/1469.13 c 1469s| 54800 | 18952 | 10604k| 193.0 | 20M| 126 | 125 | 476 | 559 | 476 | 961 | 784 | 0 |3441 | 1.636436e+02 | 1.880000e+02 | 14.88%
1471.56/1471.87 c 1472s| 54900 | 19014 | 10622k| 193.0 | 20M| 126 | 368 | 476 | 559 | 476 | 961 | 784 | 0 |3452 | 1.636440e+02 | 1.880000e+02 | 14.88%
1472.46/1472.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1472.46/1472.79 c 1473s| 55000 | 19070 | 10629k| 192.8 | 20M| 126 | 138 | 476 | 559 | 476 | 961 | 784 | 0 |3452 | 1.636444e+02 | 1.880000e+02 | 14.88%
1473.56/1473.83 c 1474s| 55100 | 19114 | 10638k| 192.6 | 20M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3452 | 1.636445e+02 | 1.880000e+02 | 14.88%
1474.35/1474.69 c 1475s| 55200 | 19148 | 10645k| 192.4 | 20M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3452 | 1.636445e+02 | 1.880000e+02 | 14.88%
1477.56/1477.87 c 1478s| 55300 | 19202 | 10667k| 192.4 | 20M| 126 | 117 | 476 | 559 | 476 | 961 | 784 | 0 |3463 | 1.636447e+02 | 1.880000e+02 | 14.88%
1479.16/1479.46 c 1479s| 55400 | 19222 | 10680k| 192.3 | 20M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3463 | 1.636447e+02 | 1.880000e+02 | 14.88%
1482.26/1482.50 c 1483s| 55500 | 19280 | 10701k| 192.4 | 20M| 126 | 114 | 476 | 559 | 476 | 961 | 784 | 0 |3472 | 1.636449e+02 | 1.880000e+02 | 14.88%
1482.47/1482.74 c 1483s| 55600 | 19288 | 10704k| 192.1 | 20M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3472 | 1.636449e+02 | 1.880000e+02 | 14.88%
1486.16/1486.44 c 1486s| 55700 | 19330 | 10727k| 192.1 | 20M| 126 | 355 | 476 | 559 | 476 | 961 | 784 | 0 |3487 | 1.636455e+02 | 1.880000e+02 | 14.88%
1489.06/1489.35 c 1489s| 55800 | 19378 | 10750k| 192.2 | 20M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3487 | 1.636463e+02 | 1.880000e+02 | 14.88%
1490.95/1491.23 c 1491s| 55900 | 19410 | 10760k| 192.0 | 20M| 126 | 372 | 476 | 559 | 476 | 961 | 784 | 0 |3499 | 1.636464e+02 | 1.880000e+02 | 14.88%
1494.66/1494.94 c 1495s| 56000 | 19448 | 10790k| 192.2 | 20M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3499 | 1.636470e+02 | 1.880000e+02 | 14.88%
1497.35/1497.61 c 1498s| 56100 | 19488 | 10806k| 192.2 | 20M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3516 | 1.636475e+02 | 1.880000e+02 | 14.88%
1498.55/1498.89 c 1499s| 56200 | 19518 | 10815k| 192.0 | 20M| 126 | 374 | 476 | 559 | 476 | 961 | 784 | 0 |3516 | 1.636485e+02 | 1.880000e+02 | 14.88%
1499.95/1500.23 c 1500s| 56300 | 19552 | 10825k| 191.8 | 20M| 126 | 365 | 476 | 559 | 476 | 961 | 784 | 0 |3516 | 1.636490e+02 | 1.880000e+02 | 14.88%
1502.45/1502.76 c 1503s| 56400 | 19584 | 10844k| 191.8 | 20M| 126 | 355 | 476 | 559 | 476 | 961 | 784 | 0 |3522 | 1.636498e+02 | 1.880000e+02 | 14.88%
1502.85/1503.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1502.85/1503.15 c 1503s| 56500 | 19590 | 10847k| 191.5 | 20M| 126 | 117 | 476 | 559 | 476 | 961 | 784 | 0 |3527 | 1.636498e+02 | 1.880000e+02 | 14.88%
1504.95/1505.21 c 1505s| 56600 | 19614 | 10864k| 191.5 | 20M| 126 | 123 | 476 | 559 | 476 | 961 | 784 | 0 |3530 | 1.636500e+02 | 1.880000e+02 | 14.88%
1508.75/1509.06 c 1509s| 56700 | 19664 | 10894k| 191.7 | 20M| 126 | 123 | 476 | 559 | 476 | 961 | 784 | 0 |3535 | 1.636505e+02 | 1.880000e+02 | 14.88%
1511.16/1511.41 c 1511s| 56800 | 19688 | 10912k| 191.7 | 20M| 126 | 133 | 476 | 559 | 476 | 961 | 784 | 0 |3536 | 1.636509e+02 | 1.880000e+02 | 14.88%
1512.85/1513.10 c 1513s| 56900 | 19718 | 10925k| 191.6 | 20M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3536 | 1.636525e+02 | 1.880000e+02 | 14.88%
1514.95/1515.24 c 1515s| 57000 | 19772 | 10941k| 191.5 | 20M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3536 | 1.636536e+02 | 1.880000e+02 | 14.88%
1515.15/1515.44 c 1515s| 57100 | 19780 | 10943k| 191.2 | 20M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3536 | 1.636536e+02 | 1.880000e+02 | 14.88%
1519.65/1519.97 c 1520s| 57200 | 19812 | 10978k| 191.5 | 20M| 126 | 101 | 476 | 559 | 476 | 961 | 784 | 0 |3536 | 1.636543e+02 | 1.880000e+02 | 14.88%
1521.25/1521.57 c 1522s| 57300 | 19838 | 10990k| 191.4 | 20M| 126 | 113 | 476 | 559 | 476 | 961 | 784 | 0 |3537 | 1.636544e+02 | 1.880000e+02 | 14.88%
1522.75/1523.01 c 1523s| 57400 | 19876 | 11001k| 191.2 | 20M| 126 | 103 | 476 | 559 | 476 | 961 | 784 | 0 |3537 | 1.636549e+02 | 1.880000e+02 | 14.88%
1524.75/1525.08 c 1525s| 57500 | 19896 | 11017k| 191.2 | 20M| 126 | 369 | 476 | 559 | 476 | 961 | 784 | 0 |3537 | 1.636556e+02 | 1.880000e+02 | 14.88%
1526.64/1526.95 c 1527s| 57600 | 19918 | 11032k| 191.1 | 20M| 126 | 107 | 476 | 559 | 476 | 961 | 784 | 0 |3537 | 1.636563e+02 | 1.880000e+02 | 14.87%
1529.05/1529.39 c 1529s| 57700 | 19942 | 11051k| 191.1 | 20M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3537 | 1.636565e+02 | 1.880000e+02 | 14.87%
1531.85/1532.17 c 1532s| 57800 | 19982 | 11072k| 191.1 | 21M| 126 | 122 | 476 | 559 | 476 | 961 | 784 | 0 |3537 | 1.636573e+02 | 1.880000e+02 | 14.87%
1533.85/1534.12 c 1534s| 57900 | 20016 | 11086k| 191.0 | 21M| 126 | 361 | 476 | 559 | 476 | 961 | 784 | 0 |3537 | 1.636580e+02 | 1.880000e+02 | 14.87%
1535.95/1536.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1535.95/1536.29 c 1536s| 58000 | 20070 | 11102k| 191.0 | 21M| 126 | 365 | 476 | 559 | 476 | 961 | 784 | 0 |3537 | 1.636584e+02 | 1.880000e+02 | 14.87%
1536.36/1536.63 c 1537s| 58100 | 20088 | 11105k| 190.7 | 21M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3537 | 1.636584e+02 | 1.880000e+02 | 14.87%
1538.05/1538.31 c 1538s| 58200 | 20102 | 11119k| 190.6 | 21M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3537 | 1.636590e+02 | 1.880000e+02 | 14.87%
1538.24/1538.53 c 1539s| 58300 | 20104 | 11121k| 190.3 | 21M| 126 | 113 | 476 | 559 | 476 | 961 | 784 | 0 |3537 | 1.636590e+02 | 1.880000e+02 | 14.87%
1542.05/1542.35 c 1542s| 58400 | 20144 | 11153k| 190.5 | 21M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3537 | 1.636593e+02 | 1.880000e+02 | 14.87%
1542.84/1543.13 c 1543s| 58500 | 20158 | 11159k| 190.3 | 21M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3537 | 1.636594e+02 | 1.880000e+02 | 14.87%
1547.45/1547.71 c 1548s| 58600 | 20208 | 11192k| 190.6 | 21M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3537 | 1.636610e+02 | 1.880000e+02 | 14.87%
1547.64/1547.93 c 1548s| 58700 | 20226 | 11195k| 190.3 | 21M| 126 | 93 | 476 | 559 | 476 | 961 | 784 | 0 |3537 | 1.636610e+02 | 1.880000e+02 | 14.87%
1548.35/1548.66 c 1549s| 58800 | 20234 | 11200k| 190.1 | 21M| 126 | 366 | 476 | 559 | 476 | 961 | 784 | 0 |3537 | 1.636612e+02 | 1.880000e+02 | 14.87%
1549.55/1549.85 c 1550s| 58900 | 20258 | 11206k| 189.8 | 21M| 126 | 117 | 476 | 559 | 476 | 961 | 784 | 0 |3547 | 1.636613e+02 | 1.880000e+02 | 14.87%
1550.85/1551.12 c 1551s| 59000 | 20286 | 11216k| 189.7 | 21M| 126 | 136 | 476 | 559 | 476 | 961 | 784 | 0 |3547 | 1.636619e+02 | 1.880000e+02 | 14.87%
1551.04/1551.32 c 1551s| 59100 | 20296 | 11218k| 189.4 | 21M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3547 | 1.636619e+02 | 1.880000e+02 | 14.87%
1554.75/1555.06 c 1555s| 59200 | 20348 | 11239k| 189.4 | 21M| 126 | 121 | 476 | 559 | 476 | 961 | 784 | 0 |3567 | 1.636626e+02 | 1.880000e+02 | 14.87%
1557.44/1557.75 c 1558s| 59300 | 20374 | 11261k| 189.5 | 21M| 126 | 129 | 476 | 559 | 476 | 961 | 784 | 0 |3567 | 1.636627e+02 | 1.880000e+02 | 14.87%
1561.34/1561.67 c 1562s| 59400 | 20430 | 11290k| 189.6 | 21M| 126 | 366 | 476 | 559 | 476 | 961 | 784 | 0 |3567 | 1.636638e+02 | 1.880000e+02 | 14.87%
1563.95/1564.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1563.95/1564.27 c 1564s| 59500 | 20450 | 11305k| 189.6 | 21M| 126 | 133 | 476 | 559 | 476 | 961 | 784 | 0 |3584 | 1.636639e+02 | 1.880000e+02 | 14.87%
1565.45/1565.74 c 1566s| 59600 | 20472 | 11315k| 189.4 | 21M| 126 | 138 | 476 | 559 | 476 | 961 | 784 | 0 |3584 | 1.636643e+02 | 1.880000e+02 | 14.87%
1566.74/1567.07 c 1567s| 59700 | 20504 | 11325k| 189.3 | 21M| 126 | 107 | 476 | 559 | 476 | 961 | 784 | 0 |3584 | 1.636645e+02 | 1.880000e+02 | 14.87%
1569.24/1569.52 c 1570s| 59800 | 20518 | 11345k| 189.3 | 21M| 126 | 125 | 476 | 559 | 476 | 961 | 784 | 0 |3584 | 1.636651e+02 | 1.880000e+02 | 14.87%
1573.94/1574.24 c 1574s| 59900 | 20548 | 11376k| 189.5 | 21M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3600 | 1.636655e+02 | 1.880000e+02 | 14.87%
1575.95/1576.22 c 1576s| 60000 | 20582 | 11391k| 189.4 | 21M| 126 | 374 | 476 | 559 | 476 | 961 | 784 | 0 |3600 | 1.636668e+02 | 1.880000e+02 | 14.87%
1576.24/1576.56 c 1577s| 60100 | 20594 | 11394k| 189.2 | 21M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3600 | 1.636668e+02 | 1.880000e+02 | 14.87%
1581.24/1581.50 c 1581s| 60200 | 20636 | 11428k| 189.4 | 21M| 126 | 123 | 476 | 559 | 476 | 961 | 784 | 0 |3620 | 1.636674e+02 | 1.880000e+02 | 14.87%
1583.14/1583.49 c 1583s| 60300 | 20674 | 11442k| 189.3 | 21M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3620 | 1.636677e+02 | 1.880000e+02 | 14.87%
1584.75/1585.08 c 1585s| 60400 | 20714 | 11454k| 189.2 | 21M| 126 | 125 | 476 | 559 | 476 | 961 | 784 | 0 |3621 | 1.636689e+02 | 1.880000e+02 | 14.87%
1587.64/1587.91 c 1588s| 60500 | 20746 | 11471k| 189.2 | 21M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3637 | 1.636691e+02 | 1.880000e+02 | 14.87%
1589.25/1589.51 c 1590s| 60600 | 20770 | 11483k| 189.1 | 21M| 126 | 122 | 476 | 559 | 476 | 961 | 784 | 0 |3638 | 1.636695e+02 | 1.880000e+02 | 14.87%
1590.84/1591.13 c 1591s| 60700 | 20794 | 11495k| 189.0 | 21M| 126 | 121 | 476 | 559 | 476 | 961 | 784 | 0 |3638 | 1.636701e+02 | 1.880000e+02 | 14.87%
1594.04/1594.34 c 1594s| 60800 | 20846 | 11517k| 189.0 | 21M| 126 | 375 | 476 | 559 | 476 | 961 | 784 | 0 |3649 | 1.636710e+02 | 1.880000e+02 | 14.86%
1595.03/1595.36 c 1595s| 60900 | 20868 | 11524k| 188.8 | 21M| 126 | 114 | 476 | 559 | 476 | 961 | 784 | 0 |3653 | 1.636710e+02 | 1.880000e+02 | 14.86%
1595.94/1596.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1595.94/1596.23 c 1596s| 61000 | 20880 | 11530k| 188.6 | 21M| 126 | 114 | 476 | 559 | 476 | 961 | 784 | 0 |3657 | 1.636711e+02 | 1.880000e+02 | 14.86%
1598.14/1598.46 c 1598s| 61100 | 20896 | 11548k| 188.6 | 21M| 126 | 126 | 476 | 559 | 476 | 961 | 784 | 0 |3662 | 1.636713e+02 | 1.880000e+02 | 14.86%
1600.74/1601.01 c 1601s| 61200 | 20916 | 11568k| 188.6 | 21M| 126 | 374 | 476 | 559 | 476 | 961 | 784 | 0 |3664 | 1.636715e+02 | 1.880000e+02 | 14.86%
1605.03/1605.39 c 1605s| 61300 | 20952 | 11602k| 188.9 | 21M| 126 | 374 | 476 | 559 | 476 | 961 | 784 | 0 |3664 | 1.636724e+02 | 1.880000e+02 | 14.86%
1606.43/1606.75 c 1607s| 61400 | 20980 | 11612k| 188.7 | 21M| 126 | 370 | 476 | 559 | 476 | 961 | 784 | 0 |3664 | 1.636731e+02 | 1.880000e+02 | 14.86%
1607.34/1607.69 c 1608s| 61500 | 20998 | 11619k| 188.5 | 21M| 126 | 107 | 476 | 559 | 476 | 961 | 784 | 0 |3664 | 1.636733e+02 | 1.880000e+02 | 14.86%
1611.03/1611.40 c 1611s| 61600 | 21046 | 11647k| 188.7 | 21M| 126 | 364 | 476 | 559 | 476 | 961 | 784 | 0 |3664 | 1.636735e+02 | 1.880000e+02 | 14.86%
1611.93/1612.25 c 1612s| 61700 | 21068 | 11654k| 188.5 | 21M| 126 | 135 | 476 | 559 | 476 | 961 | 784 | 0 |3664 | 1.636736e+02 | 1.880000e+02 | 14.86%
1612.84/1613.11 c 1613s| 61800 | 21084 | 11660k| 188.3 | 21M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3664 | 1.636742e+02 | 1.880000e+02 | 14.86%
1616.54/1616.88 c 1617s| 61900 | 21146 | 11688k| 188.4 | 21M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3665 | 1.636752e+02 | 1.880000e+02 | 14.86%
1620.04/1620.37 c 1620s| 62000 | 21174 | 11715k| 188.5 | 22M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3666 | 1.636753e+02 | 1.880000e+02 | 14.86%
1623.04/1623.34 c 1623s| 62100 | 21214 | 11738k| 188.6 | 22M| 126 | 368 | 476 | 559 | 476 | 961 | 784 | 0 |3667 | 1.636757e+02 | 1.880000e+02 | 14.86%
1624.83/1625.13 c 1625s| 62200 | 21244 | 11752k| 188.5 | 22M| 126 | 349 | 476 | 559 | 476 | 961 | 784 | 0 |3667 | 1.636759e+02 | 1.880000e+02 | 14.86%
1626.64/1626.96 c 1627s| 62300 | 21268 | 11767k| 188.5 | 22M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3667 | 1.636759e+02 | 1.880000e+02 | 14.86%
1628.64/1628.92 c 1629s| 62400 | 21306 | 11781k| 188.4 | 22M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3667 | 1.636763e+02 | 1.880000e+02 | 14.86%
1631.43/1631.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1631.43/1631.71 c 1632s| 62500 | 21362 | 11801k| 188.4 | 22M| 126 | 369 | 476 | 559 | 476 | 961 | 784 | 0 |3667 | 1.636768e+02 | 1.880000e+02 | 14.86%
1635.63/1635.93 c 1636s| 62600 | 21408 | 11834k| 188.6 | 22M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3668 | 1.636776e+02 | 1.880000e+02 | 14.86%
1636.73/1637.08 c 1637s| 62700 | 21426 | 11843k| 188.5 | 22M| 126 | 362 | 476 | 559 | 476 | 961 | 784 | 0 |3668 | 1.636780e+02 | 1.880000e+02 | 14.86%
1640.33/1640.67 c 1641s| 62800 | 21436 | 11873k| 188.7 | 22M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3668 | 1.636780e+02 | 1.880000e+02 | 14.86%
1644.24/1644.51 c 1645s| 62900 | 21478 | 11902k| 188.8 | 22M| 126 | 128 | 476 | 559 | 476 | 961 | 784 | 0 |3668 | 1.636782e+02 | 1.880000e+02 | 14.86%
1645.03/1645.34 c 1645s| 63000 | 21496 | 11909k| 188.6 | 22M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3668 | 1.636783e+02 | 1.880000e+02 | 14.86%
1646.34/1646.67 c 1647s| 63100 | 21524 | 11919k| 188.5 | 22M| 126 | 135 | 476 | 559 | 476 | 961 | 784 | 0 |3668 | 1.636788e+02 | 1.880000e+02 | 14.86%
1648.73/1649.06 c 1649s| 63200 | 21548 | 11929k| 188.4 | 22M| 126 | 145 | 476 | 559 | 476 | 961 | 784 | 0 |3693 | 1.636789e+02 | 1.880000e+02 | 14.86%
1651.63/1651.96 c 1652s| 63300 | 21588 | 11952k| 188.4 | 22M| 126 | - | 476 | 559 | 0 | 0 | 784 | 0 |3693 | 1.636802e+02 | 1.880000e+02 | 14.86%
1653.13/1653.41 c 1653s| 63400 | 21618 | 11963k| 188.3 | 22M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3693 | 1.636810e+02 | 1.880000e+02 | 14.86%
1654.43/1654.71 c 1655s| 63500 | 21658 | 11972k| 188.1 | 22M| 126 | 365 | 476 | 559 | 476 | 961 | 784 | 0 |3693 | 1.636811e+02 | 1.880000e+02 | 14.86%
1656.53/1656.84 c 1657s| 63600 | 21698 | 11985k| 188.0 | 22M| 126 | 129 | 476 | 559 | 476 | 961 | 784 | 0 |3703 | 1.636815e+02 | 1.880000e+02 | 14.86%
1657.23/1657.50 c 1657s| 63700 | 21708 | 11990k| 187.8 | 22M| 126 | 367 | 476 | 559 | 476 | 961 | 784 | 0 |3703 | 1.636816e+02 | 1.880000e+02 | 14.86%
1659.82/1660.18 c 1660s| 63800 | 21750 | 12010k| 187.9 | 22M| 126 | 117 | 476 | 559 | 476 | 961 | 784 | 0 |3703 | 1.636817e+02 | 1.880000e+02 | 14.86%
1664.23/1664.60 c 1665s| 63900 | 21782 | 12042k| 188.1 | 22M| 126 | 115 | 476 | 559 | 476 | 961 | 784 | 0 |3715 | 1.636823e+02 | 1.880000e+02 | 14.86%
1667.53/1667.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1667.53/1667.86 c 1668s| 64000 | 21822 | 12067k| 188.2 | 22M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3715 | 1.636829e+02 | 1.880000e+02 | 14.86%
1669.93/1670.25 c 1670s| 64100 | 21870 | 12081k| 188.1 | 22M| 126 | 368 | 476 | 559 | 476 | 961 | 784 | 0 |3727 | 1.636838e+02 | 1.880000e+02 | 14.86%
1670.82/1671.17 c 1671s| 64200 | 21890 | 12089k| 187.9 | 22M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3727 | 1.636839e+02 | 1.880000e+02 | 14.86%
1673.33/1673.60 c 1674s| 64300 | 21932 | 12103k| 187.8 | 22M| 126 | 109 | 476 | 559 | 476 | 961 | 784 | 0 |3738 | 1.636842e+02 | 1.880000e+02 | 14.86%
1676.13/1676.41 c 1676s| 64400 | 21970 | 12125k| 187.9 | 22M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3738 | 1.636848e+02 | 1.880000e+02 | 14.85%
1678.23/1678.57 c 1679s| 64500 | 22002 | 12138k| 187.8 | 22M| 126 | 373 | 476 | 559 | 476 | 961 | 784 | 0 |3747 | 1.636857e+02 | 1.880000e+02 | 14.85%
1681.93/1682.25 c 1682s| 64600 | 22024 | 12169k| 188.0 | 22M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3747 | 1.636859e+02 | 1.880000e+02 | 14.85%
1685.52/1685.84 c 1686s| 64700 | 22064 | 12190k| 188.0 | 22M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3763 | 1.636859e+02 | 1.880000e+02 | 14.85%
1687.52/1687.83 c 1688s| 64800 | 22108 | 12205k| 188.0 | 22M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3763 | 1.636869e+02 | 1.880000e+02 | 14.85%
1699.23/1699.55 c 1700s| 64900 | 22158 | 12322k| 189.5 | 22M| 126 | 361 | 476 | 559 | 476 | 961 | 784 | 0 |3773 | 1.636884e+02 | 1.880000e+02 | 14.85%
1702.92/1703.20 c 1703s| 65000 | 22190 | 12349k| 189.6 | 22M| 126 | 125 | 476 | 559 | 476 | 961 | 784 | 0 |3780 | 1.636893e+02 | 1.880000e+02 | 14.85%
1703.52/1703.87 c 1704s| 65100 | 22206 | 12354k| 189.4 | 22M| 126 | 350 | 476 | 559 | 476 | 961 | 784 | 0 |3780 | 1.636893e+02 | 1.880000e+02 | 14.85%
1705.32/1705.65 c 1706s| 65200 | 22242 | 12365k| 189.3 | 22M| 126 | 132 | 476 | 559 | 476 | 961 | 784 | 0 |3786 | 1.636899e+02 | 1.880000e+02 | 14.85%
1709.52/1709.82 c 1710s| 65300 | 22274 | 12397k| 189.5 | 22M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3793 | 1.636904e+02 | 1.880000e+02 | 14.85%
1712.32/1712.66 c 1713s| 65400 | 22320 | 12418k| 189.5 | 22M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3795 | 1.636914e+02 | 1.880000e+02 | 14.85%
1713.12/1713.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1713.12/1713.43 c 1713s| 65500 | 22336 | 12424k| 189.3 | 22M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3796 | 1.636916e+02 | 1.880000e+02 | 14.85%
1715.12/1715.41 c 1715s| 65600 | 22384 | 12438k| 189.2 | 22M| 126 | 352 | 476 | 559 | 476 | 961 | 784 | 0 |3797 | 1.636922e+02 | 1.880000e+02 | 14.85%
1718.12/1718.49 c 1718s| 65700 | 22426 | 12462k| 189.3 | 22M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3798 | 1.636929e+02 | 1.880000e+02 | 14.85%
1720.91/1721.28 c 1721s| 65800 | 22464 | 12482k| 189.3 | 23M| 126 | 114 | 476 | 559 | 476 | 961 | 784 | 0 |3798 | 1.636942e+02 | 1.880000e+02 | 14.85%
1724.12/1724.43 c 1724s| 65900 | 22498 | 12506k| 189.4 | 23M| 126 | 357 | 476 | 559 | 476 | 961 | 784 | 0 |3798 | 1.636946e+02 | 1.880000e+02 | 14.85%
1726.02/1726.35 c 1726s| 66000 | 22536 | 12520k| 189.3 | 23M| 126 | 360 | 476 | 559 | 476 | 961 | 784 | 0 |3798 | 1.636950e+02 | 1.880000e+02 | 14.85%
1727.52/1727.80 c 1728s| 66100 | 22566 | 12531k| 189.2 | 23M| 126 | 121 | 476 | 559 | 476 | 961 | 784 | 0 |3798 | 1.636952e+02 | 1.880000e+02 | 14.85%
1731.02/1731.33 c 1731s| 66200 | 22592 | 12559k| 189.3 | 23M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3798 | 1.636963e+02 | 1.880000e+02 | 14.85%
1732.61/1732.98 c 1733s| 66300 | 22604 | 12572k| 189.2 | 23M| 126 | 120 | 476 | 559 | 476 | 961 | 784 | 0 |3798 | 1.636970e+02 | 1.880000e+02 | 14.85%
1734.82/1735.17 c 1735s| 66400 | 22624 | 12591k| 189.2 | 23M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3798 | 1.636976e+02 | 1.880000e+02 | 14.85%
1736.32/1736.67 c 1737s| 66500 | 22654 | 12602k| 189.1 | 23M| 126 | 149 | 476 | 559 | 476 | 961 | 784 | 0 |3798 | 1.636979e+02 | 1.880000e+02 | 14.85%
1737.21/1737.50 c 1738s| 66600 | 22684 | 12609k| 188.9 | 23M| 126 | 124 | 476 | 559 | 476 | 961 | 784 | 0 |3798 | 1.636980e+02 | 1.880000e+02 | 14.85%
1738.01/1738.31 c 1738s| 66700 | 22706 | 12616k| 188.8 | 23M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3798 | 1.636981e+02 | 1.880000e+02 | 14.85%
1741.42/1741.70 c 1742s| 66800 | 22742 | 12643k| 188.9 | 23M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3798 | 1.636988e+02 | 1.880000e+02 | 14.85%
1743.12/1743.41 c 1743s| 66900 | 22774 | 12656k| 188.8 | 23M| 126 | 129 | 476 | 559 | 476 | 961 | 784 | 0 |3798 | 1.636990e+02 | 1.880000e+02 | 14.84%
1743.91/1744.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1743.91/1744.28 c 1744s| 67000 | 22798 | 12663k| 188.6 | 23M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3798 | 1.636991e+02 | 1.880000e+02 | 14.84%
1747.62/1747.94 c 1748s| 67100 | 22854 | 12691k| 188.8 | 23M| 126 | 135 | 476 | 559 | 476 | 961 | 784 | 0 |3798 | 1.636998e+02 | 1.880000e+02 | 14.84%
1749.61/1750.00 c 1750s| 67200 | 22892 | 12706k| 188.7 | 23M| 126 | 125 | 476 | 559 | 476 | 961 | 784 | 0 |3798 | 1.637007e+02 | 1.880000e+02 | 14.84%
1750.41/1750.75 c 1751s| 67300 | 22900 | 12712k| 188.5 | 23M| 126 | 128 | 476 | 559 | 476 | 961 | 784 | 0 |3798 | 1.637007e+02 | 1.880000e+02 | 14.84%
1751.32/1751.61 c 1752s| 67400 | 22916 | 12719k| 188.3 | 23M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3798 | 1.637008e+02 | 1.880000e+02 | 14.84%
1754.71/1755.09 c 1755s| 67500 | 22956 | 12743k| 188.4 | 23M| 126 | 354 | 476 | 559 | 476 | 961 | 784 | 0 |3807 | 1.637011e+02 | 1.880000e+02 | 14.84%
1756.32/1756.68 c 1757s| 67600 | 22992 | 12755k| 188.3 | 23M| 126 | 124 | 476 | 559 | 476 | 961 | 784 | 0 |3807 | 1.637025e+02 | 1.880000e+02 | 14.84%
1758.52/1758.84 c 1759s| 67700 | 23012 | 12766k| 188.2 | 23M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3823 | 1.637031e+02 | 1.880000e+02 | 14.84%
1760.82/1761.11 c 1761s| 67800 | 23046 | 12784k| 188.2 | 23M| 126 | 130 | 476 | 559 | 476 | 961 | 784 | 0 |3823 | 1.637039e+02 | 1.880000e+02 | 14.84%
1761.01/1761.38 c 1761s| 67900 | 23062 | 12787k| 188.0 | 23M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3823 | 1.637039e+02 | 1.880000e+02 | 14.84%
1765.81/1766.11 c 1766s| 68000 | 23100 | 12823k| 188.2 | 23M| 126 | 123 | 476 | 559 | 476 | 961 | 784 | 0 |3823 | 1.637048e+02 | 1.880000e+02 | 14.84%
1768.12/1768.44 c 1768s| 68100 | 23124 | 12834k| 188.1 | 23M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3843 | 1.637050e+02 | 1.880000e+02 | 14.84%
1769.62/1769.94 c 1770s| 68200 | 23158 | 12845k| 188.0 | 23M| 126 | 152 | 476 | 559 | 476 | 961 | 784 | 0 |3843 | 1.637055e+02 | 1.880000e+02 | 14.84%
1772.01/1772.35 c 1772s| 68300 | 23192 | 12864k| 188.0 | 23M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3843 | 1.637056e+02 | 1.880000e+02 | 14.84%
1773.31/1773.64 c 1774s| 68400 | 23230 | 12874k| 187.8 | 23M| 126 | 111 | 476 | 559 | 476 | 961 | 784 | 0 |3843 | 1.637059e+02 | 1.880000e+02 | 14.84%
1776.91/1777.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1776.91/1777.20 c 1777s| 68500 | 23260 | 12899k| 187.9 | 23M| 126 | 376 | 476 | 559 | 476 | 961 | 784 | 0 |3852 | 1.637068e+02 | 1.880000e+02 | 14.84%
1779.31/1779.61 c 1780s| 68600 | 23286 | 12918k| 187.9 | 23M| 126 | 362 | 476 | 559 | 476 | 961 | 784 | 0 |3852 | 1.637070e+02 | 1.880000e+02 | 14.84%
1782.01/1782.39 c 1782s| 68700 | 23336 | 12939k| 188.0 | 23M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3868 | 1.637071e+02 | 1.880000e+02 | 14.84%
1784.92/1785.27 c 1785s| 68800 | 23376 | 12955k| 187.9 | 23M| 126 | 125 | 476 | 559 | 476 | 961 | 784 | 0 |3887 | 1.637078e+02 | 1.880000e+02 | 14.84%
1787.51/1787.87 c 1788s| 68900 | 23412 | 12977k| 188.0 | 23M| 126 | 118 | 476 | 559 | 476 | 961 | 784 | 0 |3887 | 1.637083e+02 | 1.880000e+02 | 14.84%
1788.21/1788.59 c 1789s| 69000 | 23422 | 12982k| 187.8 | 23M| 126 | 346 | 476 | 559 | 476 | 961 | 784 | 0 |3887 | 1.637083e+02 | 1.880000e+02 | 14.84%
1791.71/1792.03 c 1792s| 69100 | 23456 | 13009k| 187.9 | 23M| 126 | - | 476 | 559 | 476 | 961 | 784 | 0 |3887 | 1.637084e+02 | 1.880000e+02 | 14.84%
1795.41/1795.71 c 1796s| 69200 | 23520 | 13033k| 188.0 | 23M| 126 | 105 | 476 | 559 | 476 | 961 | 784 | 0 |3901 | 1.637088e+02 | 1.880000e+02 | 14.84%
1796.11/1796.44 c 1796s| 69300 | 23532 | 13039k| 187.8 | 23M| 126 | 117 | 476 | 559 | 476 | 961 | 784 | 0 |3901 | 1.637088e+02 | 1.880000e+02 | 14.84%
1796.71/1797.01 c
1796.71/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.01 c Solving Time (sec) : 1797.01
1796.71/1797.01 c Solving Nodes : 69322
1796.71/1797.01 c Primal Bound : +1.88000000000000e+02 (625 solutions)
1796.71/1797.01 c Dual Bound : +1.63708919877157e+02
1796.71/1797.01 c Gap : 14.84 %
1796.71/1797.01 s SATISFIABLE
1796.71/1797.01 v x476 -x475 -x474 x473 -x472 x471 x470 -x469 -x468 x467 x466 x465 -x464 -x463 -x462 x461 x460 -x459 -x458 -x457 -x456 -x455 -x454
1796.71/1797.01 v x453 -x452 -x451 -x450 -x449 -x448 x447 -x446 x445 -x444 -x443 x442 x441 x440 -x439 -x438 -x437 -x436 x435 x434 -x433 -x432
1796.71/1797.01 v x431 -x430 x429 -x428 x427 -x426 x425 -x424 x423 -x422 -x421 -x420 x419 -x418 x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410
1796.71/1797.01 v x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 x401 -x400 -x399 -x398 -x397 -x396 x395 x394 -x393 x392 -x391 -x390 x389 -x388
1796.71/1797.01 v -x387 x386 x385 x384 -x383 x382 -x381 -x380 -x379 x378 -x377 x376 x375 -x374 x373 x372 -x371 -x370 -x369 -x368 -x367 -x366 x365
1796.71/1797.01 v x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 x356 -x355 x354 x353 x352 x351 x350 -x349 x348 -x347 x346 -x345 -x344 x343
1796.71/1797.01 v -x342 x341 -x340 x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321
1796.71/1797.01 v -x320 x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 x311 x310 -x309 -x308 -x307 -x306 x305 x304 -x303 x302 x301 x300 -x299
1796.71/1797.01 v -x298 -x297 x296 x295 -x294 -x293 x292 -x291 x290 -x289 -x288 x287 x286 -x285 -x284 x283 -x282 x281 x280 x279 x278 -x277 -x276
1796.71/1797.01 v -x275 x274 x273 x272 x271 -x270 -x269 x268 -x267 x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 x258 x257 -x256 -x255 -x254
1796.71/1797.01 v -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 x243 -x242 x241 x240 x239 -x238 -x237 x236 x235 x234 -x233 -x232 x231
1796.71/1797.01 v x230 -x229 x228 -x227 -x226 -x225 x224 x223 x222 -x221 -x220 x219 -x218 x217 x216 -x215 -x214 -x213 x212 -x211 -x210 x209
1796.71/1797.01 v -x208 x207 x206 x205 x204 -x203 -x202 -x201 x200 x199 x198 x197 x196 x195 -x194 -x193 -x192 x191 x190 x189 -x188 x187 x186 -x185
1796.71/1797.01 v x184 -x183 x182 x181 x180 -x179 x178 x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 x165 -x164 -x163
1796.71/1797.01 v -x162 x161 -x160 -x159 x158 -x157 x156 -x155 x154 -x153 x152 -x151 x150 -x149 x148 -x147 x146 -x145 -x144 x143 x142 x141 -x140
1796.71/1797.01 v -x139 -x138 -x137 x136 -x135 x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 x119
1796.71/1797.01 v -x118 x117 -x116 x115 -x114 -x113 -x112 -x111 x110 x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 x100 x99 x98 -x97 x96
1796.71/1797.01 v x95 -x94 x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 x77 -x76 x75 x74 x73 -x72 -x71 -x70 x69
1796.71/1797.01 v -x68 x67 -x66 -x65 -x64 x63 x62 -x61 -x60 -x59 -x58 x57 x56 x55 -x54 x53 x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42
1796.71/1797.01 v x41 -x40 x39 x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 x29 x28 -x27 -x26 x25 -x24 x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15
1796.71/1797.01 v x14 x13 x12 -x11 x10 -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.01
1796.71/1797.01 c solving : 1797.01
1796.71/1797.01 c presolving : 0.04 (included in solving)
1796.71/1797.01 c reading : 0.00 (included in solving)
1796.71/1797.01 c copying : 0.07 (12 #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-3693220-1338029393.opb
1796.71/1797.01 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.01 c Constraints : 476 initial, 476 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-3693220-1338029393.opb
1796.71/1797.01 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.01 c Constraints : 559 initial, 559 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 24 197 317 752
1796.71/1797.01 c setppc : 0.00 0.00 0 0 0 0 0 90 0 0 0
1796.71/1797.01 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 22
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 46827 0 630 0 12 131 0 0 93460
1796.71/1797.01 c knapsack : 449 449 12 250207 0 2 625 0 927 278368 749 0 0
1796.71/1797.01 c setppc : 108 108 12 249280 0 2 624 0 0 40436 0 0 0
1796.71/1797.01 c logicor : 2 2 12 3835 0 2 624 0 0 18 0 0 0
1796.71/1797.01 c countsols : 0 0 0 0 0 2 628 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 : 136.61 0.00 0.00 0.00 136.61 0.00 0.00 0.00
1796.71/1797.01 c knapsack : 2.59 0.00 0.04 2.54 0.00 0.00 0.01 0.00
1796.71/1797.01 c setppc : 0.46 0.00 0.00 0.46 0.00 0.00 0.00 0.00
1796.71/1797.01 c logicor : 0.01 0.00 0.00 0.01 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 : 16 0 0 0
1796.71/1797.01 c pseudoobj : 296985 0 0 0
1796.71/1797.01 c vbounds : 0 0 0 0
1796.71/1797.01 c redcost : 65560 0 0 497774
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.22 0.00 0.00 0.22 0.00
1796.71/1797.01 c pseudoobj : 0.48 0.00 0.00 0.48 0.00
1796.71/1797.01 c vbounds : 0.21 0.00 0.00 0.21 0.00
1796.71/1797.01 c redcost : 1.26 0.00 0.00 1.26 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 927 0 0 0.0 0 0.0 -
1796.71/1797.01 c infeasible LP : 0.00 0 0 0 0.0 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 : - - - 0 0.0 - - -
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 - - 298 - (maximal pool size: 1384)
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.78 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.65 0.00 12 0 0 0 0
1796.71/1797.01 c cmir : 0.22 0.00 10 0 0 835 0
1796.71/1797.01 c flowcover : 0.28 0.00 10 0 0 986 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.00 0.00 0 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 : 136.46 0.00 46827 12 131 0 0 93460
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 intshifting : 0.00 0.00 0 0
1796.71/1797.01 c feaspump : 0.01 0.00 0 0
1796.71/1797.01 c oneopt : 0.06 0.00 8 2
1796.71/1797.01 c crossover : 1.02 0.00 2 2
1796.71/1797.01 c objpscostdiving : 36.10 0.00 6 133
1796.71/1797.01 c rootsoldiving : 15.26 0.00 14 0
1796.71/1797.01 c guideddiving : 55.29 0.00 46 0
1796.71/1797.01 c coefdiving : 62.21 0.00 48 163
1796.71/1797.01 c fracdiving : 54.61 0.00 48 0
1796.71/1797.01 c veclendiving : 57.84 0.00 64 31
1796.71/1797.01 c linesearchdiving : 71.34 0.00 88 18
1796.71/1797.01 c pscostdiving : 298.94 0.00 334 197
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.19 0.00 46838 36
1796.71/1797.01 c zirounding : 0.62 0.00 2001 40
1796.71/1797.01 c rounding : 11.52 0.00 9974 1
1796.71/1797.01 c shifting : 3.47 0.00 2775 1
1796.71/1797.01 c twoopt : 0.00 0.00 0 0
1796.71/1797.01 c indoneopt : 0.16 0.00 0 0
1796.71/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.71/1797.01 c fixandinfer : 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 indrounding : 0.00 0.00 0 0
1796.71/1797.01 c nlpdiving : 0.00 0.00 0 0
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 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.06 0.00 0 0
1796.71/1797.01 c trysol : 0.11 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 : 968.48 87233 7576029 110.65 7822.63 4.54 18763
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: 630.91 102063 5467115 53.57 8665.45
1796.71/1797.01 c strong branching : 134.16 3901 884111 226.64 6589.87
1796.71/1797.01 c (at root node) : - 27 24586 910.59 -
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 : 69322
1796.71/1797.01 c nodes (total) : 69322
1796.71/1797.01 c nodes left : 23538
1796.71/1797.01 c max depth : 126
1796.71/1797.01 c max depth (total): 126
1796.71/1797.01 c backtracks : 12845 (18.5%)
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.40
1796.71/1797.01 c switching time : 2.74
1796.71/1797.01 c Solution :
1796.71/1797.01 c Solutions found : 625 (24 improvements)
1796.71/1797.01 c First Solution : +4.76000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.71/1797.01 c Primal Bound : +1.88000000000000e+02 (in run 1, after 2660 nodes, 228.22 seconds, depth 120, found by <crossover>)
1796.71/1797.01 c Dual Bound : +1.63708919877157e+02
1796.71/1797.01 c Gap : 14.84 %
1796.71/1797.01 c Root Dual Bound : +1.61773791885536e+02
1796.71/1797.01 c Root Iterations : 25772
1796.71/1797.05 c Time complete: 1796.77.
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-3693220-1338029393/watcher-3693220-1338029393 -o /tmp/evaluation-result-3693220-1338029393/solver-3693220-1338029393 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693220-1338029393.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.34 1.70 2/175 23741
/proc/meminfo: memFree=28636092/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=10376 CPUtime=0 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 1 0 269064244 10625024 1307 33554432000 4194304 10169799 140735310310912 140735787501384 8797266 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23741/statm: 2594 1307 412 1459 0 1126 0
[startup+0.0723039 s]
/proc/loadavg: 1.00 1.34 1.70 2/175 23741
/proc/meminfo: memFree=28636092/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=24080 CPUtime=0.06 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 5015 0 0 0 3 3 0 0 20 0 1 0 269064244 24657920 4708 33554432000 4194304 10169799 140735310310912 140735787501384 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23741/statm: 6020 4708 752 1459 0 4552 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 24080
[startup+0.100296 s]
/proc/loadavg: 1.00 1.34 1.70 2/175 23741
/proc/meminfo: memFree=28636092/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=24080 CPUtime=0.09 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 5038 0 0 0 6 3 0 0 20 0 1 0 269064244 24657920 4731 33554432000 4194304 10169799 140735310310912 140735787501384 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23741/statm: 6020 4731 752 1459 0 4552 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24080
[startup+0.300227 s]
/proc/loadavg: 1.00 1.34 1.70 2/175 23741
/proc/meminfo: memFree=28636092/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=24324 CPUtime=0.29 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 5101 0 0 0 26 3 0 0 20 0 1 0 269064244 24907776 4794 33554432000 4194304 10169799 140735310310912 140735310305320 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23741/statm: 6081 4794 752 1459 0 4613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24324
[startup+0.700223 s]
/proc/loadavg: 1.00 1.34 1.70 2/175 23741
/proc/meminfo: memFree=28636092/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=24588 CPUtime=0.69 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 5160 0 0 0 65 4 0 0 20 0 1 0 269064244 25178112 4853 33554432000 4194304 10169799 140735310310912 140735310305320 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23741/statm: 6147 4853 752 1459 0 4679 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24588
[startup+1.50023 s]
/proc/loadavg: 1.08 1.36 1.71 4/177 23743
/proc/meminfo: memFree=28598836/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=26360 CPUtime=1.49 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 5705 0 0 0 144 5 0 0 20 0 1 0 269064244 26992640 5395 33554432000 4194304 10169799 140735310310912 140735310305416 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23741/statm: 6590 5395 801 1459 0 5122 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26360
[startup+3.10023 s]
/proc/loadavg: 1.08 1.36 1.71 4/177 23743
/proc/meminfo: memFree=28593248/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=27788 CPUtime=3.09 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 6044 0 0 0 302 7 0 0 20 0 1 0 269064244 28454912 5734 33554432000 4194304 10169799 140735310310912 140735310305320 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23741/statm: 6947 5734 803 1459 0 5479 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27788
[startup+6.30023 s]
/proc/loadavg: 1.08 1.36 1.71 4/177 23743
/proc/meminfo: memFree=28591612/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=28424 CPUtime=6.29 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 6223 0 0 0 611 18 0 0 20 0 1 0 269064244 29106176 5913 33554432000 4194304 10169799 140735310310912 140735310307224 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23741/statm: 7106 5913 803 1459 0 5638 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28424
[startup+12.7002 s]
/proc/loadavg: 1.22 1.38 1.71 4/178 23746
/proc/meminfo: memFree=28590212/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=28372 CPUtime=12.69 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 7127 0 0 0 1239 30 0 0 20 0 1 0 269064244 29052928 6181 33554432000 4194304 10169799 140735310310912 140735310305896 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23741/statm: 7093 6181 837 1459 0 5625 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28372
[startup+25.5002 s]
/proc/loadavg: 1.34 1.40 1.71 4/178 23746
/proc/meminfo: memFree=28590800/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=28372 CPUtime=25.49 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 7129 0 0 0 2509 40 0 0 20 0 1 0 269064244 29052928 6183 33554432000 4194304 10169799 140735310310912 140735310305512 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/23741/statm: 7093 6183 839 1459 0 5625 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28372
[startup+51.1002 s]
/proc/loadavg: 1.57 1.44 1.72 4/178 23747
/proc/meminfo: memFree=28590800/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=29140 CPUtime=51.07 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 7320 0 0 0 5022 85 0 0 20 0 1 0 269064244 29839360 6374 33554432000 4194304 10169799 140735310310912 140735310304872 8030778 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 7285 6374 839 1459 0 5817 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29140
[startup+102.307 s]
/proc/loadavg: 2.03 1.58 1.75 4/177 23747
/proc/meminfo: memFree=28589320/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=29248 CPUtime=102.27 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 8111 0 0 0 10017 210 0 0 20 0 1 0 269064244 29949952 6392 33554432000 4194304 10169799 140735310310912 140735310305896 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 7312 6392 839 1459 0 5844 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29248
[startup+162.3 s]
/proc/loadavg: 2.01 1.66 1.76 4/177 23747
/proc/meminfo: memFree=28588700/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=29980 CPUtime=162.26 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 11647 0 0 0 15923 303 0 0 20 0 1 0 269064244 30699520 6582 33554432000 4194304 10169799 140735310310912 140735310304920 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 7495 6582 849 1459 0 6027 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 29980
[startup+222.3 s]
/proc/loadavg: 2.08 1.73 1.78 4/177 23747
/proc/meminfo: memFree=28585968/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=32164 CPUtime=222.25 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 12208 0 0 0 21820 405 0 0 20 0 1 0 269064244 32935936 7141 33554432000 4194304 10169799 140735310310912 140735310304712 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 8041 7141 851 1459 0 6573 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 32164
[startup+282.3 s]
/proc/loadavg: 2.03 1.78 1.79 4/177 23747
/proc/meminfo: memFree=28583424/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=32820 CPUtime=282.24 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 15630 0 0 0 27727 497 0 0 20 0 1 0 269064244 33607680 7304 33554432000 4194304 10169799 140735310310912 140735310305032 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 8205 7304 851 1459 0 6737 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 32820
[startup+342.3 s]
/proc/loadavg: 2.01 1.82 1.80 4/177 23747
/proc/meminfo: memFree=28580628/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=32612 CPUtime=342.23 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 17774 0 0 0 33632 591 0 0 20 0 1 0 269064244 33394688 7253 33554432000 4194304 10169799 140735310310912 140735310305416 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 8153 7253 851 1459 0 6685 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 32612
[startup+402.3 s]
/proc/loadavg: 2.00 1.85 1.81 4/177 23748
/proc/meminfo: memFree=28577712/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=35236 CPUtime=402.22 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 19189 0 0 0 39534 688 0 0 20 0 1 0 269064244 36081664 7902 33554432000 4194304 10169799 140735310310912 140735310305000 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 8809 7902 851 1459 0 7341 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 35236
[startup+462.3 s]
/proc/loadavg: 2.00 1.87 1.82 4/177 23748
/proc/meminfo: memFree=28575972/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=35400 CPUtime=462.21 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 19796 0 0 0 45441 780 0 0 20 0 1 0 269064244 36249600 7982 33554432000 4194304 10169799 140735310310912 140735310304872 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 8850 7982 851 1459 0 7382 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 35400
[startup+522.3 s]
/proc/loadavg: 2.00 1.89 1.83 4/177 23748
/proc/meminfo: memFree=28575228/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=35728 CPUtime=522.21 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 19856 0 0 0 51345 876 0 0 20 0 1 0 269064244 36585472 8042 33554432000 4194304 10169799 140735310310912 140735310305320 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 8932 8042 851 1459 0 7464 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 35728
[startup+582.3 s]
/proc/loadavg: 2.16 1.94 1.84 4/177 23748
/proc/meminfo: memFree=28571504/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=36108 CPUtime=582.19 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 19965 0 0 0 57249 970 0 0 20 0 1 0 269064244 36974592 8151 33554432000 4194304 10169799 140735310310912 140735310305416 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 9027 8151 851 1459 0 7559 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 36108
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28559216/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=42616 CPUtime=1122.11 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 22762 0 0 0 110396 1815 0 0 20 0 1 0 269064244 43638784 9753 33554432000 4194304 10169799 140735310310912 140735310305320 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 10654 9753 851 1459 0 9186 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 42616
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 4/177 23776
/proc/meminfo: memFree=28559584/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=43168 CPUtime=1182.1 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 22902 0 0 0 116311 1899 0 0 20 0 1 0 269064244 44204032 9892 33554432000 4194304 10169799 140735310310912 140735310305368 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 10792 9892 851 1459 0 9324 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 43168
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 1.91 4/178 23779
/proc/meminfo: memFree=28557964/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=43636 CPUtime=1242.09 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 23017 0 0 0 122210 1999 0 0 20 0 1 0 269064244 44683264 10007 33554432000 4194304 10169799 140735310310912 140735310305416 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 10909 10007 851 1459 0 9441 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 43636
[startup+1302.3 s]
/proc/loadavg: 2.05 2.02 1.92 4/177 23780
/proc/meminfo: memFree=28555056/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=43984 CPUtime=1302.09 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 23106 0 0 0 128117 2092 0 0 20 0 1 0 269064244 45039616 10096 33554432000 4194304 10169799 140735310310912 140735310305512 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 10996 10096 851 1459 0 9528 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 43984
[startup+1362.3 s]
/proc/loadavg: 2.06 2.03 1.93 4/177 23780
/proc/meminfo: memFree=28554560/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=44648 CPUtime=1362.07 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 23283 0 0 0 134017 2190 0 0 20 0 1 0 269064244 45719552 10273 33554432000 4194304 10169799 140735310310912 140735310305368 8051972 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 11162 10273 851 1459 0 9694 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 44648
[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 1.93 4/177 23780
/proc/meminfo: memFree=28551272/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=47016 CPUtime=1422.07 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 23862 0 0 0 139916 2291 0 0 20 0 1 0 269064244 48144384 10852 33554432000 4194304 10169799 140735310310912 140735310305032 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 11754 10852 851 1459 0 10286 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 47016
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.93 4/177 23780
/proc/meminfo: memFree=28550648/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=47516 CPUtime=1482.05 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 23976 0 0 0 145807 2398 0 0 20 0 1 0 269064244 48656384 10966 33554432000 4194304 10169799 140735310310912 140735310305368 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 11879 10966 851 1459 0 10411 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 47516
[startup+1542.3 s]
/proc/loadavg: 2.05 2.03 1.93 4/177 23780
/proc/meminfo: memFree=28549408/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=48056 CPUtime=1542.05 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 24738 0 0 0 151716 2489 0 0 20 0 1 0 269064244 49209344 11109 33554432000 4194304 10169799 140735310310912 140735310305416 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 12014 11109 851 1459 0 10546 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 48056
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 1.93 4/177 23781
/proc/meminfo: memFree=28547980/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=48536 CPUtime=1602.04 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 24851 0 0 0 157624 2580 0 0 20 0 1 0 269064244 49700864 11222 33554432000 4194304 10169799 140735310310912 140735310305320 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 12134 11222 851 1459 0 10666 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 48536
[startup+1662.3 s]
/proc/loadavg: 2.12 2.06 1.95 4/177 23781
/proc/meminfo: memFree=28546368/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=48536 CPUtime=1662.03 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 24874 0 0 0 163535 2668 0 0 20 0 1 0 269064244 49700864 11245 33554432000 4194304 10169799 140735310310912 140735310304920 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 12134 11245 851 1459 0 10666 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 48536
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 1.95 4/177 23781
/proc/meminfo: memFree=28544256/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=50152 CPUtime=1722.02 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 25274 0 0 0 169436 2766 0 0 20 0 1 0 269064244 51355648 11644 33554432000 4194304 10169799 140735310310912 140735310305032 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 12538 11644 851 1459 0 11070 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 50152
[startup+1782.3 s]
/proc/loadavg: 2.07 2.05 1.95 4/177 23781
/proc/meminfo: memFree=28542520/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=51124 CPUtime=1782.01 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 25506 0 0 0 175337 2864 0 0 20 0 1 0 269064244 52350976 11876 33554432000 4194304 10169799 140735310310912 140735310305320 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 12781 11876 851 1459 0 11313 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 51124
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.07 2.05 1.95 4/177 23781
/proc/meminfo: memFree=28542644/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=51124 CPUtime=1785.21 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 25506 0 0 0 175653 2868 0 0 20 0 1 0 269064244 52350976 11876 33554432000 4194304 10169799 140735310310912 140735310305416 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 12781 11876 851 1459 0 11313 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 51124
[startup+1791.91 s]
/proc/loadavg: 2.06 2.05 1.95 4/177 23781
/proc/meminfo: memFree=28542456/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=51124 CPUtime=1791.61 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 25507 0 0 0 176284 2877 0 0 20 0 1 0 269064244 52350976 11876 33554432000 4194304 10169799 140735310310912 140735310305368 7932048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 12781 11876 851 1459 0 11313 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 51124
[startup+1795.1 s]
/proc/loadavg: 2.06 2.05 1.95 4/177 23781
/proc/meminfo: memFree=28542704/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=51124 CPUtime=1794.82 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 25507 0 0 0 176598 2884 0 0 20 0 1 0 269064244 52350976 11876 33554432000 4194304 10169799 140735310310912 140735310305416 8052274 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 12781 11876 851 1459 0 11313 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 51124
[startup+1795.9 s]
/proc/loadavg: 2.06 2.05 1.95 4/177 23781
/proc/meminfo: memFree=28542704/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=51124 CPUtime=1795.61 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 25507 0 0 0 176676 2885 0 0 20 0 1 0 269064244 52350976 11876 33554432000 4194304 10169799 140735310310912 140735310305704 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 12781 11876 851 1459 0 11313 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 51124
[startup+1796.7 s]
/proc/loadavg: 2.05 2.05 1.95 4/177 23781
/proc/meminfo: memFree=28542704/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=51124 CPUtime=1796.41 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 25507 0 0 0 176754 2887 0 0 20 0 1 0 269064244 52350976 11876 33554432000 4194304 10169799 140735310310912 140735310305320 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 12781 11876 851 1459 0 11313 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 51124
[startup+1796.9 s]
/proc/loadavg: 2.05 2.05 1.95 4/177 23781
/proc/meminfo: memFree=28542704/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=51124 CPUtime=1796.61 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 25507 0 0 0 176774 2887 0 0 20 0 1 0 269064244 52350976 11876 33554432000 4194304 10169799 140735310310912 140735310305320 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 12781 11876 851 1459 0 11313 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 51124
[startup+1797 s]
/proc/loadavg: 2.05 2.05 1.95 4/177 23781
/proc/meminfo: memFree=28542704/32873844 swapFree=7104/7104
[pid=23741] ppid=23737 vsize=51124 CPUtime=1796.71 cores=1,3,5,7
/proc/23741/stat : 23741 (scip-2.1.1.4sfi) R 23737 23741 22949 0 -1 4202496 25507 0 0 0 176784 2887 0 0 20 0 1 0 269064244 52350976 11876 33554432000 4194304 10169799 140735310310912 140735310305320 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/23741/statm: 12781 11876 851 1459 0 11313 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 51124
Child status: 0
Real time (s): 1797.05
CPU time (s): 1796.77
CPU user time (s): 1767.89
CPU system time (s): 28.8806
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 51124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.89
system time used= 28.8806
maximum resident set size= 47512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25511
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= 16
involuntary context switches= 1911
runsolver used 3.14952 second user time and 8.85165 second system time
The end