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-3693236-1338030371.opb>
0.00/0.01 c original problem has 1965 variables (1965 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.00/0.01 c problem read in 0.01
0.00/0.03 o 1965
0.00/0.03 c feasible solution found by trivial heuristic, objective value 1.965000e+03
0.00/0.03 c presolving:
0.00/0.05 c (round 1) 146 del vars, 146 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.05 c (round 2) 298 del vars, 648 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.06 c (round 3) 351 del vars, 765 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.06 c (round 4) 384 del vars, 879 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.06 c (round 5) 396 del vars, 909 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.06 c (round 6) 402 del vars, 926 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.00/0.07 c (round 7) 405 del vars, 934 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.07/0.07 c (round 8) 409 del vars, 940 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.07/0.07 c (round 9) 412 del vars, 952 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.07/0.08 c (round 10) 413 del vars, 953 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.07/0.08 c (round 11) 414 del vars, 956 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.10 c (round 12) 414 del vars, 957 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3043 upgd conss, 7998 impls, 0 clqs
0.09/0.11 c (0.1s) probing: 51/1551 (3.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.11 c presolving (13 rounds):
0.09/0.11 c 414 deleted vars, 957 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11 c 7998 implications, 0 cliques
0.09/0.11 c presolved problem has 1551 variables (1551 bin, 0 int, 0 impl, 0 cont) and 3043 constraints
0.09/0.11 c 3043 constraints of type <setppc>
0.09/0.11 c transformed objective value is always integral (scale: 1)
0.09/0.11 c Presolving Time: 0.09
0.09/0.11 c - non default parameters ----------------------------------------------------------------------
0.09/0.11 c # SCIP version 2.1.1.4
0.09/0.11 c
0.09/0.11 c # maximal time in seconds to run
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/time = 1797
0.09/0.11 c
0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/memory = 13950
0.09/0.11 c
0.09/0.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.11 c # [type: int, range: [1,2], default: 1]
0.09/0.11 c timing/clocktype = 2
0.09/0.11 c
0.09/0.11 c # belongs reading time to solving time?
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c timing/reading = TRUE
0.09/0.11 c
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c start solving
0.09/0.11 c
0.09/0.12 o 1753
0.09/0.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.12 c t 0.1s| 1 | 0 | 0 | - |7192k| 0 | - |1551 |3043 | 0 | 0 | 0 | 0 | 0 | -- | 1.753000e+03 | Inf
0.09/0.12 o 1165
0.09/0.12 c b 0.1s| 1 | 0 | 0 | - |9189k| 0 | - |1551 |3043 |1551 |3043 | 0 | 0 | 0 | -- | 1.165000e+03 | Inf
0.09/0.17 c 0.2s| 1 | 0 | 1940 | - |9164k| 0 |1551 |1551 |3043 |1551 |3043 | 0 | 0 | 0 | 9.775000e+02 | 1.165000e+03 | 19.18%
0.28/0.39 c 0.4s| 1 | 0 | 2160 | - |9248k| 0 |1537 |1551 |3043 |1551 |3049 | 6 | 0 | 0 | 9.805000e+02 | 1.165000e+03 | 18.82%
0.48/0.59 c 0.6s| 1 | 0 | 2474 | - |9323k| 0 |1525 |1551 |3043 |1551 |3058 | 15 | 0 | 0 | 9.845000e+02 | 1.165000e+03 | 18.33%
0.69/0.79 c 0.8s| 1 | 0 | 2714 | - |9417k| 0 |1495 |1551 |3043 |1551 |3067 | 24 | 0 | 0 | 9.855000e+02 | 1.165000e+03 | 18.21%
1.00/1.00 c 1.0s| 1 | 0 | 2843 | - |9531k| 0 |1495 |1551 |3043 |1551 |3070 | 27 | 0 | 0 | 9.860000e+02 | 1.165000e+03 | 18.15%
1.19/1.25 c 1.2s| 1 | 0 | 3076 | - |9880k| 0 |1516 |1551 |3043 |1551 |3074 | 31 | 0 | 0 | 9.861000e+02 | 1.165000e+03 | 18.14%
1.39/1.46 c 1.5s| 1 | 0 | 3189 | - | 10M| 0 |1517 |1551 |3043 |1551 |3077 | 34 | 0 | 0 | 9.867000e+02 | 1.165000e+03 | 18.07%
1.79/1.81 c 1.8s| 1 | 0 | 4349 | - | 10M| 0 |1509 |1551 |3043 |1551 |3089 | 46 | 0 | 0 | 9.882500e+02 | 1.165000e+03 | 17.89%
1.98/2.05 c 2.1s| 1 | 0 | 4821 | - | 11M| 0 |1498 |1551 |3043 |1551 |3097 | 54 | 0 | 0 | 9.900000e+02 | 1.165000e+03 | 17.68%
2.29/2.36 c 2.4s| 1 | 0 | 4943 | - | 11M| 0 |1504 |1551 |3043 |1551 |3099 | 56 | 0 | 0 | 9.902500e+02 | 1.165000e+03 | 17.65%
2.59/2.65 c 2.7s| 1 | 0 | 5243 | - | 12M| 0 |1509 |1551 |3043 |1551 |3105 | 62 | 0 | 0 | 9.910000e+02 | 1.165000e+03 | 17.56%
2.89/2.95 c 3.0s| 1 | 0 | 5664 | - | 13M| 0 |1494 |1551 |3043 |1551 |3107 | 64 | 0 | 0 | 9.910000e+02 | 1.165000e+03 | 17.56%
3.20/3.25 c 3.2s| 1 | 0 | 6352 | - | 13M| 0 |1494 |1551 |3043 |1551 |3112 | 69 | 0 | 0 | 9.910000e+02 | 1.165000e+03 | 17.56%
3.49/3.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.49/3.53 c 3.5s| 1 | 0 | 6878 | - | 13M| 0 |1508 |1551 |3043 |1551 |3115 | 72 | 0 | 0 | 9.915000e+02 | 1.165000e+03 | 17.50%
3.79/3.86 c 3.9s| 1 | 0 | 7429 | - | 14M| 0 |1511 |1551 |3043 |1551 |3118 | 75 | 0 | 0 | 9.920000e+02 | 1.165000e+03 | 17.44%
4.19/4.22 c 4.2s| 1 | 0 | 8333 | - | 14M| 0 |1492 |1551 |3043 |1551 |3122 | 79 | 0 | 0 | 9.927500e+02 | 1.165000e+03 | 17.35%
4.49/4.54 c 4.5s| 1 | 0 | 8889 | - | 15M| 0 |1487 |1551 |3043 |1551 |3124 | 81 | 0 | 0 | 9.932500e+02 | 1.165000e+03 | 17.29%
4.79/4.81 c 4.8s| 1 | 0 | 9221 | - | 16M| 0 |1484 |1551 |3043 |1551 |3119 | 85 | 0 | 0 | 9.940000e+02 | 1.165000e+03 | 17.20%
5.19/5.20 c 5.2s| 1 | 0 | 9643 | - | 18M| 0 |1488 |1551 |3043 |1551 |3122 | 88 | 0 | 0 | 9.940000e+02 | 1.165000e+03 | 17.20%
5.58/5.63 c 5.6s| 1 | 0 | 10525 | - | 19M| 0 |1491 |1551 |3043 |1551 |3126 | 92 | 0 | 0 | 9.940000e+02 | 1.165000e+03 | 17.20%
6.09/6.12 c 6.1s| 1 | 0 | 12232 | - | 19M| 0 |1529 |1551 |3043 |1551 |3131 | 97 | 0 | 0 | 9.943333e+02 | 1.165000e+03 | 17.16%
9.38/9.44 c 9.4s| 1 | 2 | 12232 | - | 19M| 0 |1529 |1551 |3043 |1551 |3131 | 97 | 0 | 27 | 9.943333e+02 | 1.165000e+03 | 17.16%
31.18/31.29 o 1108
31.18/31.29 c c31.3s| 15 | 16 | 20974 | 624.4 | 22M| 14 | - |1551 |3043 |1551 |3104 | 97 | 0 | 230 | 9.948333e+02 | 1.108000e+03 | 11.38%
31.18/31.29 o 1103
31.18/31.29 c c31.3s| 15 | 16 | 20976 | 624.6 | 22M| 14 | - |1551 |3043 |1551 |3104 | 97 | 0 | 230 | 9.948333e+02 | 1.103000e+03 | 10.87%
31.18/31.29 o 1098
31.18/31.29 c c31.3s| 15 | 16 | 20980 | 624.9 | 22M| 14 | - |1551 |3043 |1551 |3104 | 97 | 0 | 230 | 9.948333e+02 | 1.098000e+03 | 10.37%
31.18/31.29 o 1066
31.18/31.29 c c31.3s| 15 | 16 | 20982 | 625.0 | 22M| 14 | - |1551 |3043 |1551 |3104 | 97 | 0 | 230 | 9.948333e+02 | 1.066000e+03 | 7.15%
46.27/46.38 c 46.4s| 100 | 101 | 77848 | 662.8 | 22M| 19 |1337 |1551 |3043 |1551 |3104 | 97 | 0 | 262 | 9.948333e+02 | 1.066000e+03 | 7.15%
58.37/58.47 c 58.5s| 200 | 201 |117758 | 530.3 | 22M| 27 |1434 |1551 |3043 |1551 |3104 | 97 | 0 | 326 | 9.953333e+02 | 1.066000e+03 | 7.10%
63.37/63.41 o 1058
63.37/63.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.37/63.41 c C63.4s| 215 | 216 |143859 | 615.1 | 22M| 27 |1362 |1551 |3043 |1551 |3104 | 97 | 0 | 326 | 9.953333e+02 | 1.058000e+03 | 6.30%
81.06/81.14 o 1055
81.06/81.14 c c81.1s| 267 | 266 |229406 | 816.4 | 23M| 27 | - |1551 |3043 |1551 |3104 | 97 | 0 | 357 | 9.953333e+02 | 1.055000e+03 | 5.99%
89.87/89.90 c 89.9s| 300 | 299 |267465 | 853.6 | 22M| 27 |1440 |1551 |3043 |1551 |3104 | 97 | 0 | 387 | 9.955000e+02 | 1.055000e+03 | 5.98%
102.96/103.01 c 103s| 400 | 387 |322261 | 777.0 | 23M| 29 | - |1551 |3043 |1551 |3104 | 97 | 0 | 447 | 9.970000e+02 | 1.055000e+03 | 5.82%
105.26/105.30 o 1052
105.26/105.30 c c 105s| 403 | 366 |329535 | 789.3 | 23M| 29 | - |1551 |3043 |1551 |3104 | 97 | 0 | 462 | 9.973333e+02 | 1.052000e+03 | 5.48%
115.26/115.36 c 115s| 500 | 461 |373010 | 723.0 | 23M| 29 |1288 |1551 |3043 |1551 |3104 | 97 | 0 | 507 | 9.973333e+02 | 1.052000e+03 | 5.48%
131.56/131.68 c 132s| 600 | 557 |437859 | 710.6 | 23M| 29 |1391 |1551 |3043 |1551 |3104 | 97 | 0 | 582 | 9.975000e+02 | 1.052000e+03 | 5.46%
143.56/143.68 c 144s| 700 | 657 |489282 | 682.5 | 23M| 29 |1286 |1551 |3043 |1551 |3104 | 97 | 0 | 627 | 9.978333e+02 | 1.052000e+03 | 5.43%
158.75/158.89 o 1046
158.75/158.89 c C 159s| 789 | 662 |554626 | 688.3 | 23M| 30 | - |1551 |3043 |1551 |3104 | 97 | 0 | 699 | 9.980000e+02 | 1.046000e+03 | 4.81%
159.25/159.33 c 159s| 800 | 667 |556789 | 681.5 | 23M| 30 |1301 |1551 |3043 |1551 |3104 | 97 | 0 | 699 | 9.980000e+02 | 1.046000e+03 | 4.81%
169.84/169.94 c 170s| 900 | 739 |601374 | 655.3 | 23M| 30 |1313 |1551 |3043 |1551 |3104 | 97 | 0 | 769 | 9.982500e+02 | 1.046000e+03 | 4.78%
176.65/176.70 c 177s| 1000 | 765 |629491 | 617.9 | 23M| 32 |1244 |1551 |3043 |1551 |3104 | 97 | 0 | 811 | 9.983333e+02 | 1.046000e+03 | 4.77%
183.34/183.45 c 183s| 1100 | 777 |658663 | 588.2 | 23M| 32 |1217 |1551 |3043 |1551 |3104 | 97 | 0 | 863 | 9.983333e+02 | 1.046000e+03 | 4.77%
186.54/186.62 c 187s| 1200 | 771 |669416 | 548.1 | 23M| 35 | - |1551 |3043 |1551 |3104 | 97 | 0 | 903 | 9.983333e+02 | 1.046000e+03 | 4.77%
193.14/193.25 c 193s| 1300 | 777 |696745 | 527.0 | 23M| 35 | - |1551 |3043 |1551 |3104 | 97 | 0 | 941 | 9.987500e+02 | 1.046000e+03 | 4.73%
197.85/197.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.85/197.99 c 198s| 1400 | 789 |718482 | 504.8 | 23M| 35 |1215 |1551 |3043 |1551 |3104 | 97 | 0 | 968 | 9.988333e+02 | 1.046000e+03 | 4.72%
202.74/202.81 c 203s| 1500 | 795 |738305 | 484.4 | 23M| 35 |1215 |1551 |3043 |1551 |3104 | 97 | 0 |1014 | 9.988333e+02 | 1.046000e+03 | 4.72%
206.34/206.46 c 206s| 1600 | 795 |753258 | 463.4 | 23M| 36 |1254 |1551 |3043 |1551 |3104 | 97 | 0 |1040 | 9.988333e+02 | 1.046000e+03 | 4.72%
211.64/211.77 c 212s| 1700 | 805 |775986 | 449.5 | 23M| 36 | - |1551 |3043 |1551 |3104 | 97 | 0 |1079 | 9.990000e+02 | 1.046000e+03 | 4.70%
215.55/215.64 c 216s| 1800 | 805 |789619 | 432.1 | 23M| 36 | - |1551 |3043 |1551 |3104 | 97 | 0 |1139 | 9.990000e+02 | 1.046000e+03 | 4.70%
222.54/222.62 c 223s| 1900 | 823 |821152 | 426.0 | 23M| 36 |1203 |1551 |3043 |1551 |3104 | 97 | 0 |1180 | 9.990000e+02 | 1.046000e+03 | 4.70%
230.24/230.32 c 230s| 2000 | 833 |856874 | 422.5 | 23M| 36 |1198 |1551 |3043 |1551 |3104 | 97 | 0 |1218 | 9.993333e+02 | 1.046000e+03 | 4.67%
236.34/236.47 c 236s| 2100 | 847 |883103 | 414.9 | 23M| 38 |1254 |1551 |3043 |1551 |3104 | 97 | 0 |1283 | 9.993333e+02 | 1.046000e+03 | 4.67%
241.13/241.27 c 241s| 2200 | 847 |904558 | 405.8 | 23M| 38 | - |1551 |3043 |1551 |3104 | 97 | 0 |1322 | 9.995000e+02 | 1.046000e+03 | 4.65%
248.63/248.72 c 249s| 2300 | 855 |936899 | 402.2 | 23M| 38 |1272 |1551 |3043 |1551 |3104 | 97 | 0 |1366 | 9.995000e+02 | 1.046000e+03 | 4.65%
255.34/255.45 c 255s| 2400 | 861 |966191 | 397.6 | 23M| 38 | - |1551 |3043 |1551 |3104 | 97 | 0 |1404 | 9.995000e+02 | 1.046000e+03 | 4.65%
261.43/261.52 c 262s| 2500 | 873 |993319 | 392.6 | 23M| 38 |1339 |1551 |3043 |1551 |3104 | 97 | 0 |1441 | 9.995000e+02 | 1.046000e+03 | 4.65%
267.24/267.40 c 267s| 2600 | 909 | 1016k| 386.5 | 24M| 43 | - |1551 |3043 |1551 |3104 | 97 | 0 |1496 | 9.995000e+02 | 1.046000e+03 | 4.65%
273.24/273.39 c 273s| 2700 | 915 | 1041k| 381.3 | 24M| 43 |1211 |1551 |3043 |1551 |3104 | 97 | 0 |1533 | 9.995000e+02 | 1.046000e+03 | 4.65%
279.13/279.20 c 279s| 2800 | 925 | 1063k| 375.7 | 24M| 43 | - |1551 |3043 |1551 |3104 | 97 | 0 |1588 | 9.997500e+02 | 1.046000e+03 | 4.63%
282.63/282.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
282.63/282.73 c 283s| 2900 | 935 | 1078k| 367.6 | 24M| 43 |1166 |1551 |3043 |1551 |3104 | 97 | 0 |1622 | 9.997500e+02 | 1.046000e+03 | 4.63%
288.83/288.97 c 289s| 3000 | 949 | 1103k| 364.0 | 24M| 43 |1176 |1551 |3043 |1551 |3104 | 97 | 0 |1656 | 9.998333e+02 | 1.046000e+03 | 4.62%
292.83/292.94 c 293s| 3100 | 957 | 1120k| 357.5 | 24M| 46 |1167 |1551 |3043 |1551 |3104 | 97 | 0 |1691 | 1.000000e+03 | 1.046000e+03 | 4.60%
296.73/296.88 c 297s| 3200 | 963 | 1134k| 350.9 | 24M| 46 |1165 |1551 |3043 |1551 |3104 | 97 | 0 |1761 | 1.000000e+03 | 1.046000e+03 | 4.60%
299.03/299.12 c 299s| 3300 | 963 | 1142k| 342.7 | 24M| 50 | - |1551 |3043 |1551 |3104 | 97 | 0 |1782 | 1.000000e+03 | 1.046000e+03 | 4.60%
303.32/303.48 c 303s| 3400 | 969 | 1158k| 337.3 | 24M| 50 |1160 |1551 |3043 |1551 |3104 | 97 | 0 |1832 | 1.000000e+03 | 1.046000e+03 | 4.60%
310.33/310.48 c 310s| 3500 | 985 | 1188k| 336.3 | 24M| 50 | - |1551 |3043 |1551 |3104 | 97 | 0 |1872 | 1.000000e+03 | 1.046000e+03 | 4.60%
313.22/313.31 c 313s| 3600 | 981 | 1199k| 329.8 | 24M| 50 |1213 |1551 |3043 |1551 |3104 | 97 | 0 |1901 | 1.000000e+03 | 1.046000e+03 | 4.60%
318.33/318.41 c 318s| 3700 | 987 | 1219k| 326.3 | 24M| 50 |1196 |1551 |3043 |1551 |3104 | 97 | 0 |1961 | 1.000000e+03 | 1.046000e+03 | 4.60%
320.52/320.60 o 1045
320.52/320.60 c p 321s| 3726 | 979 | 1227k| 326.3 | 24M| 50 | - |1551 |3043 |1551 |3104 | 97 | 0 |1971 | 1.000000e+03 | 1.045000e+03 | 4.50%
324.02/324.13 c 324s| 3800 | 983 | 1242k| 323.7 | 24M| 50 |1181 |1551 |3043 |1551 |3104 | 97 | 0 |2001 | 1.000000e+03 | 1.045000e+03 | 4.50%
329.22/329.34 c 329s| 3900 | 983 | 1263k| 320.9 | 24M| 50 | - |1551 |3043 |1551 |3104 | 97 | 0 |2034 | 1.000000e+03 | 1.045000e+03 | 4.50%
333.32/333.42 c 333s| 4000 | 1003 | 1279k| 316.8 | 24M| 50 |1208 |1551 |3043 |1551 |3104 | 97 | 0 |2064 | 1.000125e+03 | 1.045000e+03 | 4.49%
336.92/337.06 c 337s| 4100 | 1009 | 1292k| 312.3 | 24M| 50 | - |1551 |3043 |1551 |3104 | 97 | 0 |2102 | 1.000250e+03 | 1.045000e+03 | 4.47%
340.32/340.48 c 340s| 4200 | 1017 | 1304k| 307.9 | 24M| 50 | - |1551 |3043 |1551 |3104 | 97 | 0 |2130 | 1.000250e+03 | 1.045000e+03 | 4.47%
345.91/346.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
345.91/346.00 c 346s| 4300 | 1033 | 1328k| 306.1 | 24M| 51 | - |1551 |3043 |1551 |3104 | 97 | 0 |2180 | 1.000333e+03 | 1.045000e+03 | 4.47%
349.01/349.12 c 349s| 4400 | 1045 | 1338k| 301.6 | 24M| 51 | - |1551 |3043 |1551 |3104 | 97 | 0 |2212 | 1.000333e+03 | 1.045000e+03 | 4.47%
351.11/351.23 c 351s| 4500 | 1045 | 1346k| 296.5 | 24M| 51 |1245 |1551 |3043 |1551 |3104 | 97 | 0 |2255 | 1.000333e+03 | 1.045000e+03 | 4.47%
353.42/353.50 c 354s| 4600 | 1045 | 1354k| 291.8 | 24M| 51 | - |1551 |3043 |1551 |3104 | 97 | 0 |2297 | 1.000333e+03 | 1.045000e+03 | 4.47%
359.42/359.50 c 360s| 4700 | 1063 | 1380k| 291.2 | 24M| 51 | - |1551 |3043 |1551 |3104 | 97 | 0 |2337 | 1.000333e+03 | 1.045000e+03 | 4.47%
365.02/365.18 c 365s| 4800 | 1085 | 1402k| 289.7 | 24M| 51 |1199 |1551 |3043 |1551 |3104 | 97 | 0 |2388 | 1.000500e+03 | 1.045000e+03 | 4.45%
374.01/374.12 c 374s| 4900 | 1115 | 1441k| 291.7 | 24M| 51 | - |1551 |3043 |1551 |3104 | 97 | 0 |2436 | 1.000500e+03 | 1.045000e+03 | 4.45%
378.61/378.73 c 379s| 5000 | 1129 | 1459k| 289.5 | 24M| 51 |1238 |1551 |3043 |1551 |3104 | 97 | 0 |2483 | 1.000500e+03 | 1.045000e+03 | 4.45%
383.21/383.37 c 383s| 5100 | 1139 | 1478k| 287.5 | 24M| 53 | - |1551 |3043 |1551 |3104 | 97 | 0 |2528 | 1.000500e+03 | 1.045000e+03 | 4.45%
386.31/386.45 c 386s| 5200 | 1147 | 1490k| 284.3 | 24M| 53 | - |1551 |3043 |1551 |3104 | 97 | 0 |2555 | 1.000500e+03 | 1.045000e+03 | 4.45%
389.61/389.75 c 390s| 5300 | 1151 | 1502k| 281.3 | 24M| 53 | - |1551 |3043 |1551 |3104 | 97 | 0 |2610 | 1.000500e+03 | 1.045000e+03 | 4.45%
394.41/394.54 c 395s| 5400 | 1163 | 1522k| 279.7 | 24M| 54 |1221 |1551 |3043 |1551 |3104 | 97 | 0 |2675 | 1.000500e+03 | 1.045000e+03 | 4.45%
399.91/400.01 c 400s| 5500 | 1171 | 1545k| 278.9 | 24M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |2726 | 1.000500e+03 | 1.045000e+03 | 4.45%
401.91/402.05 c 402s| 5600 | 1177 | 1552k| 275.1 | 24M| 54 |1275 |1551 |3043 |1551 |3104 | 97 | 0 |2770 | 1.000500e+03 | 1.045000e+03 | 4.45%
405.51/405.67 c 406s| 5700 | 1187 | 1567k| 272.9 | 24M| 54 |1203 |1551 |3043 |1551 |3104 | 97 | 0 |2816 | 1.000500e+03 | 1.045000e+03 | 4.45%
412.71/412.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
412.71/412.89 c 413s| 5800 | 1209 | 1597k| 273.3 | 24M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |2867 | 1.000667e+03 | 1.045000e+03 | 4.43%
415.72/415.87 c 416s| 5900 | 1213 | 1609k| 270.8 | 24M| 54 |1264 |1551 |3043 |1551 |3104 | 97 | 0 |2897 | 1.000667e+03 | 1.045000e+03 | 4.43%
418.01/418.10 o 1044
418.01/418.10 c p 418s| 5936 | 1206 | 1618k| 270.6 | 24M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |2921 | 1.000667e+03 | 1.044000e+03 | 4.33%
422.50/422.60 c 423s| 6000 | 1222 | 1637k| 270.8 | 24M| 54 |1239 |1551 |3043 |1551 |3104 | 97 | 0 |2937 | 1.000750e+03 | 1.044000e+03 | 4.32%
424.60/424.77 c 425s| 6100 | 1230 | 1645k| 267.7 | 24M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |2966 | 1.000750e+03 | 1.044000e+03 | 4.32%
431.70/431.82 c 432s| 6200 | 1256 | 1675k| 268.3 | 24M| 54 |1259 |1551 |3043 |1551 |3104 | 97 | 0 |3017 | 1.000750e+03 | 1.044000e+03 | 4.32%
436.01/436.15 c 436s| 6300 | 1268 | 1692k| 266.8 | 24M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |3054 | 1.000750e+03 | 1.044000e+03 | 4.32%
439.41/439.52 c 440s| 6400 | 1278 | 1706k| 264.8 | 24M| 54 |1151 |1551 |3043 |1551 |3104 | 97 | 0 |3078 | 1.000833e+03 | 1.044000e+03 | 4.31%
441.41/441.51 c 442s| 6500 | 1278 | 1712k| 261.6 | 24M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |3120 | 1.000833e+03 | 1.044000e+03 | 4.31%
446.30/446.43 c 446s| 6600 | 1288 | 1732k| 260.7 | 24M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |3174 | 1.000833e+03 | 1.044000e+03 | 4.31%
451.40/451.52 c 452s| 6700 | 1298 | 1753k| 259.9 | 24M| 54 |1269 |1551 |3043 |1551 |3104 | 97 | 0 |3215 | 1.000833e+03 | 1.044000e+03 | 4.31%
455.70/455.86 c 456s| 6800 | 1316 | 1772k| 259.0 | 24M| 54 |1167 |1551 |3043 |1551 |3104 | 97 | 0 |3258 | 1.000833e+03 | 1.044000e+03 | 4.31%
460.80/460.95 c 461s| 6900 | 1340 | 1793k| 258.2 | 24M| 54 |1176 |1551 |3043 |1551 |3104 | 97 | 0 |3326 | 1.001000e+03 | 1.044000e+03 | 4.30%
466.40/466.53 o 1037
466.40/466.53 c C 467s| 6973 | 1174 | 1817k| 258.9 | 24M| 54 |1303 |1551 |3043 |1551 |3104 | 97 | 0 |3374 | 1.001000e+03 | 1.037000e+03 | 3.60%
468.90/469.06 c 469s| 7000 | 1197 | 1831k| 259.9 | 24M| 54 |1370 |1551 |3043 |1551 |3104 | 97 | 0 |3375 | 1.001000e+03 | 1.037000e+03 | 3.60%
480.40/480.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
480.40/480.51 c 481s| 7100 | 1295 | 1892k| 264.9 | 24M| 54 |1371 |1551 |3043 |1551 |3104 | 97 | 0 |3376 | 1.001000e+03 | 1.037000e+03 | 3.60%
492.39/492.51 c 493s| 7200 | 1393 | 1958k| 270.4 | 25M| 54 |1354 |1551 |3043 |1551 |3104 | 97 | 0 |3376 | 1.001000e+03 | 1.037000e+03 | 3.60%
507.10/507.24 c 507s| 7300 | 1493 | 2037k| 277.5 | 25M| 54 |1432 |1551 |3043 |1551 |3104 | 97 | 0 |3376 | 1.001000e+03 | 1.037000e+03 | 3.60%
519.99/520.11 c 520s| 7400 | 1587 | 2105k| 282.9 | 25M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |3376 | 1.001000e+03 | 1.037000e+03 | 3.60%
531.28/531.42 c 531s| 7500 | 1679 | 2166k| 287.3 | 25M| 54 |1376 |1551 |3043 |1551 |3104 | 97 | 0 |3376 | 1.001000e+03 | 1.037000e+03 | 3.60%
548.39/548.50 c 549s| 7600 | 1773 | 2244k| 293.7 | 25M| 54 |1428 |1551 |3043 |1551 |3104 | 97 | 0 |3458 | 1.001000e+03 | 1.037000e+03 | 3.60%
564.68/564.85 c 565s| 7700 | 1867 | 2316k| 299.3 | 26M| 54 |1377 |1551 |3043 |1551 |3104 | 97 | 0 |3548 | 1.001000e+03 | 1.037000e+03 | 3.60%
579.88/580.01 c 580s| 7800 | 1963 | 2382k| 303.9 | 26M| 54 |1405 |1551 |3043 |1551 |3104 | 97 | 0 |3646 | 1.001000e+03 | 1.037000e+03 | 3.60%
594.98/595.16 c 595s| 7900 | 2063 | 2448k| 308.4 | 26M| 54 |1382 |1551 |3043 |1551 |3104 | 97 | 0 |3720 | 1.001000e+03 | 1.037000e+03 | 3.60%
610.18/610.30 c 610s| 8000 | 2163 | 2516k| 313.1 | 26M| 54 |1439 |1551 |3043 |1551 |3104 | 97 | 0 |3808 | 1.001000e+03 | 1.037000e+03 | 3.60%
626.48/626.66 c 627s| 8100 | 2263 | 2588k| 318.0 | 26M| 54 |1372 |1551 |3043 |1551 |3104 | 97 | 0 |3911 | 1.001000e+03 | 1.037000e+03 | 3.60%
642.37/642.58 c 643s| 8200 | 2363 | 2660k| 323.0 | 26M| 54 |1346 |1551 |3043 |1551 |3104 | 97 | 0 |3995 | 1.001000e+03 | 1.037000e+03 | 3.60%
658.77/658.91 c 659s| 8300 | 2463 | 2732k| 327.8 | 27M| 54 |1395 |1551 |3043 |1551 |3104 | 97 | 0 |4127 | 1.001000e+03 | 1.037000e+03 | 3.60%
676.56/676.74 c 677s| 8400 | 2563 | 2810k| 333.2 | 27M| 54 |1412 |1551 |3043 |1551 |3104 | 97 | 0 |4243 | 1.001000e+03 | 1.037000e+03 | 3.60%
692.17/692.32 c 692s| 8500 | 2663 | 2879k| 337.4 | 27M| 54 |1396 |1551 |3043 |1551 |3104 | 97 | 0 |4353 | 1.001000e+03 | 1.037000e+03 | 3.60%
709.76/709.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
709.76/709.91 c 710s| 8600 | 2763 | 2956k| 342.3 | 27M| 54 |1404 |1551 |3043 |1551 |3104 | 97 | 0 |4475 | 1.001000e+03 | 1.037000e+03 | 3.60%
725.46/725.63 c 726s| 8700 | 2863 | 3027k| 346.6 | 27M| 54 |1418 |1551 |3043 |1551 |3104 | 97 | 0 |4569 | 1.001000e+03 | 1.037000e+03 | 3.60%
741.55/741.71 c 742s| 8800 | 2957 | 3098k| 350.7 | 28M| 54 |1437 |1551 |3043 |1551 |3104 | 97 | 0 |4665 | 1.001000e+03 | 1.037000e+03 | 3.60%
754.55/754.77 c 755s| 8900 | 3035 | 3159k| 353.7 | 28M| 54 |1452 |1551 |3043 |1551 |3104 | 97 | 0 |4728 | 1.001200e+03 | 1.037000e+03 | 3.58%
767.35/767.53 c 768s| 9000 | 3117 | 3225k| 357.1 | 28M| 54 |1455 |1551 |3043 |1551 |3104 | 97 | 0 |4795 | 1.001250e+03 | 1.037000e+03 | 3.57%
777.35/777.54 c 778s| 9100 | 3201 | 3280k| 359.2 | 28M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |4795 | 1.001250e+03 | 1.037000e+03 | 3.57%
784.35/784.53 c 785s| 9200 | 3249 | 3319k| 359.5 | 28M| 54 |1388 |1551 |3043 |1551 |3104 | 97 | 0 |4795 | 1.001250e+03 | 1.037000e+03 | 3.57%
793.75/793.92 c 794s| 9300 | 3315 | 3369k| 361.1 | 28M| 54 |1345 |1551 |3043 |1551 |3104 | 97 | 0 |4795 | 1.001333e+03 | 1.037000e+03 | 3.56%
801.55/801.78 c 802s| 9400 | 3385 | 3413k| 361.9 | 28M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |4795 | 1.001333e+03 | 1.037000e+03 | 3.56%
807.75/807.90 c 808s| 9500 | 3429 | 3447k| 361.6 | 29M| 54 |1223 |1551 |3043 |1551 |3104 | 97 | 0 |4795 | 1.001333e+03 | 1.037000e+03 | 3.56%
812.05/812.28 c 812s| 9600 | 3451 | 3470k| 360.3 | 29M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |4795 | 1.001333e+03 | 1.037000e+03 | 3.56%
816.75/816.97 c 817s| 9700 | 3485 | 3495k| 359.1 | 29M| 54 |1357 |1551 |3043 |1551 |3104 | 97 | 0 |4795 | 1.001333e+03 | 1.037000e+03 | 3.56%
821.85/822.08 c 822s| 9800 | 3521 | 3524k| 358.4 | 29M| 54 |1272 |1551 |3043 |1551 |3104 | 97 | 0 |4795 | 1.001429e+03 | 1.037000e+03 | 3.55%
830.04/830.20 c 830s| 9900 | 3581 | 3568k| 359.3 | 29M| 54 |1290 |1551 |3043 |1551 |3104 | 97 | 0 |4795 | 1.001500e+03 | 1.037000e+03 | 3.54%
834.24/834.46 c 834s| 10000 | 3611 | 3591k| 358.0 | 29M| 54 |1260 |1551 |3043 |1551 |3104 | 97 | 0 |4795 | 1.001500e+03 | 1.037000e+03 | 3.54%
835.75/835.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
835.75/835.98 c 836s| 10100 | 3617 | 3599k| 355.2 | 29M| 54 |1207 |1551 |3043 |1551 |3104 | 97 | 0 |4795 | 1.001500e+03 | 1.037000e+03 | 3.54%
840.25/840.45 c 840s| 10200 | 3649 | 3619k| 353.7 | 29M| 54 |1210 |1551 |3043 |1551 |3104 | 97 | 0 |4823 | 1.001500e+03 | 1.037000e+03 | 3.54%
842.24/842.45 c 842s| 10300 | 3649 | 3626k| 351.0 | 29M| 54 |1223 |1551 |3043 |1551 |3104 | 97 | 0 |4835 | 1.001500e+03 | 1.037000e+03 | 3.54%
845.65/845.87 c 846s| 10400 | 3657 | 3640k| 348.9 | 29M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |4861 | 1.001500e+03 | 1.037000e+03 | 3.54%
850.74/850.97 c 851s| 10500 | 3671 | 3658k| 347.3 | 29M| 54 |1249 |1551 |3043 |1551 |3104 | 97 | 0 |4908 | 1.001500e+03 | 1.037000e+03 | 3.54%
855.34/855.57 c 856s| 10600 | 3685 | 3679k| 346.0 | 29M| 54 |1256 |1551 |3043 |1551 |3104 | 97 | 0 |4924 | 1.001500e+03 | 1.037000e+03 | 3.54%
858.94/859.16 c 859s| 10700 | 3691 | 3695k| 344.3 | 29M| 54 |1232 |1551 |3043 |1551 |3104 | 97 | 0 |4958 | 1.001500e+03 | 1.037000e+03 | 3.54%
862.24/862.48 c 862s| 10800 | 3697 | 3710k| 342.5 | 29M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |4978 | 1.001500e+03 | 1.037000e+03 | 3.54%
866.54/866.77 c 867s| 10900 | 3713 | 3728k| 341.0 | 29M| 54 |1288 |1551 |3043 |1551 |3104 | 97 | 0 |5002 | 1.001500e+03 | 1.037000e+03 | 3.54%
869.85/870.04 c 870s| 11000 | 3721 | 3741k| 339.0 | 29M| 54 |1180 |1551 |3043 |1551 |3104 | 97 | 0 |5026 | 1.001500e+03 | 1.037000e+03 | 3.54%
873.24/873.47 c 873s| 11100 | 3733 | 3755k| 337.3 | 29M| 54 |1300 |1551 |3043 |1551 |3104 | 97 | 0 |5054 | 1.001500e+03 | 1.037000e+03 | 3.54%
876.34/876.50 c 877s| 11200 | 3735 | 3769k| 335.5 | 29M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |5066 | 1.001500e+03 | 1.037000e+03 | 3.54%
883.13/883.38 c 883s| 11300 | 3751 | 3799k| 335.2 | 29M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |5092 | 1.001500e+03 | 1.037000e+03 | 3.54%
885.74/885.94 c 886s| 11400 | 3749 | 3810k| 333.2 | 29M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |5116 | 1.001500e+03 | 1.037000e+03 | 3.54%
890.43/890.68 c 891s| 11500 | 3761 | 3828k| 331.9 | 29M| 54 |1262 |1551 |3043 |1551 |3104 | 97 | 0 |5155 | 1.001500e+03 | 1.037000e+03 | 3.54%
893.53/893.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
893.53/893.78 c 894s| 11600 | 3765 | 3841k| 330.2 | 29M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |5181 | 1.001500e+03 | 1.037000e+03 | 3.54%
899.13/899.34 c 899s| 11700 | 3785 | 3865k| 329.4 | 29M| 54 |1261 |1551 |3043 |1551 |3104 | 97 | 0 |5218 | 1.001500e+03 | 1.037000e+03 | 3.54%
903.93/904.14 c 904s| 11800 | 3795 | 3886k| 328.4 | 29M| 54 |1262 |1551 |3043 |1551 |3104 | 97 | 0 |5236 | 1.001500e+03 | 1.037000e+03 | 3.54%
909.54/909.74 c 910s| 11900 | 3821 | 3910k| 327.6 | 29M| 54 |1290 |1551 |3043 |1551 |3104 | 97 | 0 |5283 | 1.001500e+03 | 1.037000e+03 | 3.54%
913.42/913.69 c 914s| 12000 | 3839 | 3927k| 326.3 | 29M| 54 |1256 |1551 |3043 |1551 |3104 | 97 | 0 |5316 | 1.001500e+03 | 1.037000e+03 | 3.54%
916.32/916.51 c 917s| 12100 | 3839 | 3936k| 324.3 | 29M| 54 |1256 |1551 |3043 |1551 |3104 | 97 | 0 |5349 | 1.001500e+03 | 1.037000e+03 | 3.54%
918.53/918.79 c 919s| 12200 | 3843 | 3947k| 322.6 | 29M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |5349 | 1.001500e+03 | 1.037000e+03 | 3.54%
921.83/922.04 c 922s| 12300 | 3841 | 3961k| 321.1 | 29M| 54 |1271 |1551 |3043 |1551 |3104 | 97 | 0 |5384 | 1.001500e+03 | 1.037000e+03 | 3.54%
927.42/927.65 c 928s| 12400 | 3857 | 3985k| 320.5 | 29M| 54 |1271 |1551 |3043 |1551 |3104 | 97 | 0 |5426 | 1.001500e+03 | 1.037000e+03 | 3.54%
931.12/931.33 c 931s| 12500 | 3861 | 4000k| 319.1 | 29M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |5453 | 1.001500e+03 | 1.037000e+03 | 3.54%
935.73/935.92 c 936s| 12600 | 3871 | 4020k| 318.2 | 29M| 54 |1314 |1551 |3043 |1551 |3104 | 97 | 0 |5485 | 1.001500e+03 | 1.037000e+03 | 3.54%
939.33/939.54 c 940s| 12700 | 3877 | 4036k| 316.9 | 29M| 54 |1300 |1551 |3043 |1551 |3104 | 97 | 0 |5518 | 1.001500e+03 | 1.037000e+03 | 3.54%
942.62/942.88 c 943s| 12800 | 3889 | 4050k| 315.5 | 30M| 54 |1298 |1551 |3043 |1551 |3104 | 97 | 0 |5544 | 1.001500e+03 | 1.037000e+03 | 3.54%
944.42/944.62 c 945s| 12900 | 3893 | 4057k| 313.6 | 30M| 54 |1294 |1551 |3043 |1551 |3104 | 97 | 0 |5565 | 1.001500e+03 | 1.037000e+03 | 3.54%
950.82/951.02 c 951s| 13000 | 3911 | 4085k| 313.3 | 30M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |5596 | 1.001500e+03 | 1.037000e+03 | 3.54%
953.43/953.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
953.43/953.60 c 954s| 13100 | 3915 | 4097k| 311.8 | 30M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |5618 | 1.001500e+03 | 1.037000e+03 | 3.54%
958.82/959.08 c 959s| 13200 | 3939 | 4120k| 311.2 | 30M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |5680 | 1.001500e+03 | 1.037000e+03 | 3.54%
962.12/962.31 c 962s| 13300 | 3943 | 4130k| 309.6 | 30M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |5726 | 1.001500e+03 | 1.037000e+03 | 3.54%
965.62/965.83 c 966s| 13400 | 3953 | 4146k| 308.6 | 30M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |5756 | 1.001500e+03 | 1.037000e+03 | 3.54%
969.62/969.82 c 970s| 13500 | 3981 | 4164k| 307.6 | 30M| 54 |1257 |1551 |3043 |1551 |3104 | 97 | 0 |5783 | 1.001500e+03 | 1.037000e+03 | 3.54%
973.32/973.50 c 974s| 13600 | 3989 | 4180k| 306.5 | 30M| 54 |1236 |1551 |3043 |1551 |3104 | 97 | 0 |5825 | 1.001550e+03 | 1.037000e+03 | 3.54%
979.82/980.03 c 980s| 13700 | 4005 | 4207k| 306.3 | 30M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |5871 | 1.001667e+03 | 1.037000e+03 | 3.53%
987.71/987.93 c 988s| 13800 | 4043 | 4244k| 306.7 | 30M| 54 |1303 |1551 |3043 |1551 |3104 | 97 | 0 |5910 | 1.001750e+03 | 1.037000e+03 | 3.52%
991.51/991.79 c 992s| 13900 | 4049 | 4260k| 305.6 | 30M| 54 |1250 |1551 |3043 |1551 |3104 | 97 | 0 |5944 | 1.001750e+03 | 1.037000e+03 | 3.52%
998.02/998.24 c 998s| 14000 | 4063 | 4289k| 305.6 | 30M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |5968 | 1.001750e+03 | 1.037000e+03 | 3.52%
1001.31/1001.50 c 1001s| 14100 | 4069 | 4302k| 304.3 | 30M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6002 | 1.001750e+03 | 1.037000e+03 | 3.52%
1004.12/1004.32 c 1004s| 14200 | 4077 | 4314k| 303.0 | 30M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6037 | 1.001750e+03 | 1.037000e+03 | 3.52%
1008.52/1008.78 c 1009s| 14300 | 4087 | 4333k| 302.2 | 30M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6068 | 1.001833e+03 | 1.037000e+03 | 3.51%
1012.92/1013.13 c 1013s| 14400 | 4097 | 4351k| 301.3 | 30M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6105 | 1.001833e+03 | 1.037000e+03 | 3.51%
1017.21/1017.42 c 1017s| 14500 | 4107 | 4371k| 300.7 | 30M| 54 |1274 |1551 |3043 |1551 |3104 | 97 | 0 |6132 | 1.001833e+03 | 1.037000e+03 | 3.51%
1020.02/1020.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1020.02/1020.25 c 1020s| 14600 | 4113 | 4384k| 299.5 | 30M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6151 | 1.001875e+03 | 1.037000e+03 | 3.51%
1023.11/1023.31 c 1023s| 14700 | 4115 | 4396k| 298.3 | 30M| 54 |1273 |1551 |3043 |1551 |3104 | 97 | 0 |6192 | 1.001875e+03 | 1.037000e+03 | 3.51%
1026.81/1027.00 c 1027s| 14800 | 4121 | 4411k| 297.3 | 30M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6221 | 1.001929e+03 | 1.037000e+03 | 3.50%
1035.01/1035.20 c 1035s| 14900 | 4161 | 4450k| 297.9 | 30M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6260 | 1.002000e+03 | 1.037000e+03 | 3.49%
1040.61/1040.81 c 1041s| 15000 | 4179 | 4474k| 297.5 | 30M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6311 | 1.002000e+03 | 1.037000e+03 | 3.49%
1045.01/1045.26 c 1045s| 15100 | 4195 | 4496k| 297.0 | 30M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6335 | 1.002000e+03 | 1.037000e+03 | 3.49%
1048.90/1049.15 c 1049s| 15200 | 4211 | 4518k| 296.5 | 30M| 54 |1218 |1551 |3043 |1551 |3104 | 97 | 0 |6340 | 1.002000e+03 | 1.037000e+03 | 3.49%
1052.11/1052.30 c 1052s| 15300 | 4221 | 4536k| 295.7 | 30M| 54 |1256 |1551 |3043 |1551 |3104 | 97 | 0 |6340 | 1.002000e+03 | 1.037000e+03 | 3.49%
1057.81/1058.10 c 1058s| 15400 | 4239 | 4567k| 295.8 | 30M| 54 |1222 |1551 |3043 |1551 |3104 | 97 | 0 |6345 | 1.002000e+03 | 1.037000e+03 | 3.49%
1061.50/1061.71 c 1062s| 15500 | 4251 | 4588k| 295.2 | 30M| 54 |1371 |1551 |3043 |1551 |3104 | 97 | 0 |6345 | 1.002000e+03 | 1.037000e+03 | 3.49%
1066.71/1066.96 c 1067s| 15600 | 4275 | 4617k| 295.2 | 30M| 54 |1275 |1551 |3043 |1551 |3104 | 97 | 0 |6345 | 1.002000e+03 | 1.037000e+03 | 3.49%
1069.80/1070.00 c 1070s| 15700 | 4287 | 4635k| 294.5 | 30M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6345 | 1.002000e+03 | 1.037000e+03 | 3.49%
1072.10/1072.37 c 1072s| 15800 | 4295 | 4648k| 293.4 | 30M| 54 |1327 |1551 |3043 |1551 |3104 | 97 | 0 |6345 | 1.002000e+03 | 1.037000e+03 | 3.49%
1076.00/1076.24 c 1076s| 15900 | 4307 | 4671k| 293.0 | 30M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6345 | 1.002000e+03 | 1.037000e+03 | 3.49%
1078.71/1079.00 c 1079s| 16000 | 4307 | 4688k| 292.3 | 30M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6345 | 1.002000e+03 | 1.037000e+03 | 3.49%
1083.50/1083.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1083.50/1083.74 c 1084s| 16100 | 4329 | 4715k| 292.2 | 30M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6345 | 1.002000e+03 | 1.037000e+03 | 3.49%
1086.20/1086.48 c 1086s| 16200 | 4333 | 4732k| 291.4 | 30M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6345 | 1.002000e+03 | 1.037000e+03 | 3.49%
1091.80/1092.04 c 1092s| 16300 | 4355 | 4762k| 291.5 | 30M| 54 |1243 |1551 |3043 |1551 |3104 | 97 | 0 |6345 | 1.002000e+03 | 1.037000e+03 | 3.49%
1096.29/1096.51 c 1097s| 16400 | 4371 | 4787k| 291.2 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6345 | 1.002000e+03 | 1.037000e+03 | 3.49%
1101.70/1101.96 c 1102s| 16500 | 4397 | 4820k| 291.4 | 31M| 54 |1257 |1551 |3043 |1551 |3104 | 97 | 0 |6345 | 1.002000e+03 | 1.037000e+03 | 3.49%
1105.40/1105.65 c 1106s| 16600 | 4409 | 4841k| 290.9 | 31M| 54 |1392 |1551 |3043 |1551 |3104 | 97 | 0 |6345 | 1.002000e+03 | 1.037000e+03 | 3.49%
1108.30/1108.58 c 1109s| 16700 | 4423 | 4858k| 290.2 | 31M| 54 |1354 |1551 |3043 |1551 |3104 | 97 | 0 |6345 | 1.002000e+03 | 1.037000e+03 | 3.49%
1111.29/1111.51 c 1112s| 16800 | 4429 | 4875k| 289.5 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6345 | 1.002000e+03 | 1.037000e+03 | 3.49%
1116.09/1116.32 c 1116s| 16900 | 4447 | 4902k| 289.4 | 31M| 54 |1289 |1551 |3043 |1551 |3104 | 97 | 0 |6345 | 1.002000e+03 | 1.037000e+03 | 3.49%
1118.40/1118.69 c 1119s| 17000 | 4455 | 4916k| 288.5 | 31M| 54 |1305 |1551 |3043 |1551 |3104 | 97 | 0 |6345 | 1.002000e+03 | 1.037000e+03 | 3.49%
1121.39/1121.62 c 1122s| 17100 | 4459 | 4933k| 287.8 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6345 | 1.002000e+03 | 1.037000e+03 | 3.49%
1125.79/1126.04 c 1126s| 17200 | 4463 | 4952k| 287.2 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6375 | 1.002000e+03 | 1.037000e+03 | 3.49%
1129.60/1129.84 c 1130s| 17300 | 4479 | 4970k| 286.6 | 31M| 54 |1290 |1551 |3043 |1551 |3104 | 97 | 0 |6389 | 1.002000e+03 | 1.037000e+03 | 3.49%
1134.69/1134.97 c 1135s| 17400 | 4487 | 4988k| 286.0 | 31M| 54 |1183 |1551 |3043 |1551 |3104 | 97 | 0 |6437 | 1.002000e+03 | 1.037000e+03 | 3.49%
1137.69/1137.97 c 1138s| 17500 | 4491 | 5005k| 285.4 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6437 | 1.002000e+03 | 1.037000e+03 | 3.49%
1143.89/1144.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1143.89/1144.10 c 1144s| 17600 | 4515 | 5034k| 285.4 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6465 | 1.002000e+03 | 1.037000e+03 | 3.49%
1148.99/1149.27 c 1149s| 17700 | 4525 | 5058k| 285.1 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6501 | 1.002000e+03 | 1.037000e+03 | 3.49%
1152.50/1152.71 c 1153s| 17800 | 4537 | 5075k| 284.5 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6511 | 1.002000e+03 | 1.037000e+03 | 3.49%
1156.29/1156.51 c 1157s| 17900 | 4539 | 5090k| 283.7 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6535 | 1.002000e+03 | 1.037000e+03 | 3.49%
1159.38/1159.69 c 1160s| 18000 | 4545 | 5105k| 283.0 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6551 | 1.002000e+03 | 1.037000e+03 | 3.49%
1162.88/1163.10 c 1163s| 18100 | 4547 | 5120k| 282.2 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6570 | 1.002000e+03 | 1.037000e+03 | 3.49%
1166.08/1166.38 c 1166s| 18200 | 4553 | 5136k| 281.6 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6588 | 1.002000e+03 | 1.037000e+03 | 3.49%
1170.49/1170.73 c 1171s| 18300 | 4559 | 5157k| 281.2 | 31M| 54 |1260 |1551 |3043 |1551 |3104 | 97 | 0 |6614 | 1.002000e+03 | 1.037000e+03 | 3.49%
1176.18/1176.46 c 1176s| 18400 | 4573 | 5183k| 281.1 | 31M| 54 |1287 |1551 |3043 |1551 |3104 | 97 | 0 |6655 | 1.002111e+03 | 1.037000e+03 | 3.48%
1179.99/1180.22 c 1180s| 18500 | 4579 | 5200k| 280.5 | 31M| 54 |1191 |1551 |3043 |1551 |3104 | 97 | 0 |6672 | 1.002125e+03 | 1.037000e+03 | 3.48%
1183.88/1184.18 c 1184s| 18600 | 4581 | 5219k| 280.0 | 31M| 54 |1206 |1551 |3043 |1551 |3104 | 97 | 0 |6694 | 1.002167e+03 | 1.037000e+03 | 3.48%
1186.38/1186.67 c 1187s| 18700 | 4575 | 5230k| 279.0 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6708 | 1.002167e+03 | 1.037000e+03 | 3.48%
1193.48/1193.71 c 1194s| 18800 | 4601 | 5261k| 279.2 | 31M| 54 |1202 |1551 |3043 |1551 |3104 | 97 | 0 |6756 | 1.002167e+03 | 1.037000e+03 | 3.48%
1199.58/1199.83 c 1200s| 18900 | 4621 | 5290k| 279.3 | 31M| 54 |1226 |1551 |3043 |1551 |3104 | 97 | 0 |6787 | 1.002250e+03 | 1.037000e+03 | 3.47%
1202.78/1203.02 c 1203s| 19000 | 4627 | 5305k| 278.6 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6816 | 1.002250e+03 | 1.037000e+03 | 3.47%
1206.48/1206.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1206.48/1206.79 c 1207s| 19100 | 4633 | 5321k| 278.0 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6834 | 1.002250e+03 | 1.037000e+03 | 3.47%
1211.67/1211.99 c 1212s| 19200 | 4653 | 5345k| 277.8 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6856 | 1.002250e+03 | 1.037000e+03 | 3.47%
1216.77/1217.01 c 1217s| 19300 | 4665 | 5367k| 277.5 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6895 | 1.002250e+03 | 1.037000e+03 | 3.47%
1218.98/1219.20 c 1219s| 19400 | 4667 | 5378k| 276.6 | 31M| 54 |1360 |1551 |3043 |1551 |3104 | 97 | 0 |6905 | 1.002250e+03 | 1.037000e+03 | 3.47%
1221.98/1222.27 c 1222s| 19500 | 4671 | 5392k| 275.9 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6920 | 1.002250e+03 | 1.037000e+03 | 3.47%
1224.97/1225.23 c 1225s| 19600 | 4669 | 5402k| 275.0 | 31M| 54 |1217 |1551 |3043 |1551 |3104 | 97 | 0 |6957 | 1.002250e+03 | 1.037000e+03 | 3.47%
1230.47/1230.73 c 1231s| 19700 | 4685 | 5431k| 275.1 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |6985 | 1.002250e+03 | 1.037000e+03 | 3.47%
1233.27/1233.56 c 1234s| 19800 | 4683 | 5443k| 274.3 | 31M| 54 |1254 |1551 |3043 |1551 |3104 | 97 | 0 |7016 | 1.002250e+03 | 1.037000e+03 | 3.47%
1237.07/1237.40 c 1237s| 19900 | 4685 | 5459k| 273.8 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7046 | 1.002250e+03 | 1.037000e+03 | 3.47%
1244.57/1244.85 c 1245s| 20000 | 4721 | 5495k| 274.2 | 31M| 54 |1396 |1551 |3043 |1551 |3104 | 97 | 0 |7081 | 1.002250e+03 | 1.037000e+03 | 3.47%
1248.67/1248.93 c 1249s| 20100 | 4745 | 5513k| 273.7 | 31M| 54 |1283 |1551 |3043 |1551 |3104 | 97 | 0 |7136 | 1.002250e+03 | 1.037000e+03 | 3.47%
1253.77/1254.06 c 1254s| 20200 | 4769 | 5540k| 273.7 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7169 | 1.002300e+03 | 1.037000e+03 | 3.46%
1259.18/1259.48 c 1259s| 20300 | 4789 | 5562k| 273.4 | 31M| 54 |1220 |1551 |3043 |1551 |3104 | 97 | 0 |7212 | 1.002333e+03 | 1.037000e+03 | 3.46%
1262.27/1262.57 c 1263s| 20400 | 4791 | 5577k| 272.8 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7224 | 1.002333e+03 | 1.037000e+03 | 3.46%
1264.57/1264.84 c 1265s| 20500 | 4793 | 5587k| 272.0 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7251 | 1.002333e+03 | 1.037000e+03 | 3.46%
1267.98/1268.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1267.98/1268.21 c 1268s| 20600 | 4801 | 5602k| 271.4 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7271 | 1.002333e+03 | 1.037000e+03 | 3.46%
1272.66/1272.95 c 1273s| 20700 | 4821 | 5624k| 271.1 | 31M| 54 |1213 |1551 |3043 |1551 |3104 | 97 | 0 |7316 | 1.002333e+03 | 1.037000e+03 | 3.46%
1274.37/1274.64 c 1275s| 20800 | 4829 | 5631k| 270.2 | 31M| 54 |1186 |1551 |3043 |1551 |3104 | 97 | 0 |7337 | 1.002333e+03 | 1.037000e+03 | 3.46%
1276.26/1276.53 c 1277s| 20900 | 4825 | 5638k| 269.2 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7366 | 1.002333e+03 | 1.037000e+03 | 3.46%
1279.56/1279.80 c 1280s| 21000 | 4831 | 5654k| 268.7 | 31M| 54 |1307 |1551 |3043 |1551 |3104 | 97 | 0 |7382 | 1.002375e+03 | 1.037000e+03 | 3.45%
1285.36/1285.65 c 1286s| 21100 | 4847 | 5680k| 268.6 | 31M| 54 |1229 |1551 |3043 |1551 |3104 | 97 | 0 |7435 | 1.002375e+03 | 1.037000e+03 | 3.45%
1289.76/1290.06 c 1290s| 21200 | 4855 | 5701k| 268.4 | 31M| 54 |1251 |1551 |3043 |1551 |3104 | 97 | 0 |7456 | 1.002375e+03 | 1.037000e+03 | 3.45%
1292.56/1292.81 c 1293s| 21300 | 4855 | 5713k| 267.7 | 31M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7488 | 1.002375e+03 | 1.037000e+03 | 3.45%
1297.06/1297.39 c 1297s| 21400 | 4865 | 5733k| 267.3 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7521 | 1.002429e+03 | 1.037000e+03 | 3.45%
1301.66/1301.90 c 1302s| 21500 | 4879 | 5754k| 267.1 | 32M| 54 |1236 |1551 |3043 |1551 |3104 | 97 | 0 |7550 | 1.002444e+03 | 1.037000e+03 | 3.45%
1303.36/1303.66 c 1304s| 21600 | 4877 | 5762k| 266.2 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7559 | 1.002444e+03 | 1.037000e+03 | 3.45%
1307.16/1307.43 c 1307s| 21700 | 4879 | 5777k| 265.7 | 32M| 54 |1346 |1551 |3043 |1551 |3104 | 97 | 0 |7597 | 1.002500e+03 | 1.037000e+03 | 3.44%
1310.26/1310.56 c 1311s| 21800 | 4885 | 5792k| 265.2 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7618 | 1.002500e+03 | 1.037000e+03 | 3.44%
1316.16/1316.43 c 1316s| 21900 | 4899 | 5820k| 265.2 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7651 | 1.002500e+03 | 1.037000e+03 | 3.44%
1324.66/1324.93 c 1325s| 22000 | 4931 | 5861k| 265.9 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7706 | 1.002500e+03 | 1.037000e+03 | 3.44%
1328.46/1328.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1328.46/1328.75 c 1329s| 22100 | 4937 | 5879k| 265.5 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7733 | 1.002500e+03 | 1.037000e+03 | 3.44%
1335.55/1335.84 c 1336s| 22200 | 4955 | 5911k| 265.7 | 32M| 54 |1305 |1551 |3043 |1551 |3104 | 97 | 0 |7774 | 1.002500e+03 | 1.037000e+03 | 3.44%
1340.45/1340.72 c 1341s| 22300 | 4967 | 5935k| 265.6 | 32M| 54 |1293 |1551 |3043 |1551 |3104 | 97 | 0 |7799 | 1.002500e+03 | 1.037000e+03 | 3.44%
1344.75/1345.01 c 1345s| 22400 | 4975 | 5953k| 265.2 | 32M| 54 |1308 |1551 |3043 |1551 |3104 | 97 | 0 |7840 | 1.002500e+03 | 1.037000e+03 | 3.44%
1347.55/1347.88 c 1348s| 22500 | 4979 | 5965k| 264.6 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7855 | 1.002500e+03 | 1.037000e+03 | 3.44%
1351.45/1351.79 c 1352s| 22600 | 4983 | 5984k| 264.3 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7874 | 1.002500e+03 | 1.037000e+03 | 3.44%
1355.15/1355.46 c 1355s| 22700 | 4991 | 6001k| 263.9 | 32M| 54 |1206 |1551 |3043 |1551 |3104 | 97 | 0 |7905 | 1.002500e+03 | 1.037000e+03 | 3.44%
1359.15/1359.50 c 1359s| 22800 | 5003 | 6025k| 263.7 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7915 | 1.002500e+03 | 1.037000e+03 | 3.44%
1363.35/1363.60 c 1364s| 22900 | 5019 | 6048k| 263.6 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7916 | 1.002500e+03 | 1.037000e+03 | 3.44%
1365.25/1365.50 c 1366s| 23000 | 5021 | 6059k| 262.9 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7916 | 1.002500e+03 | 1.037000e+03 | 3.44%
1368.34/1368.62 c 1369s| 23100 | 5027 | 6078k| 262.6 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7916 | 1.002500e+03 | 1.037000e+03 | 3.44%
1373.65/1373.93 c 1374s| 23200 | 5055 | 6109k| 262.8 | 32M| 54 |1226 |1551 |3043 |1551 |3104 | 97 | 0 |7916 | 1.002500e+03 | 1.037000e+03 | 3.44%
1376.24/1376.57 c 1377s| 23300 | 5059 | 6125k| 262.4 | 32M| 54 |1216 |1551 |3043 |1551 |3104 | 97 | 0 |7916 | 1.002500e+03 | 1.037000e+03 | 3.44%
1379.95/1380.25 c 1380s| 23400 | 5075 | 6147k| 262.2 | 32M| 54 |1251 |1551 |3043 |1551 |3104 | 97 | 0 |7916 | 1.002500e+03 | 1.037000e+03 | 3.44%
1384.25/1384.59 c 1385s| 23500 | 5085 | 6171k| 262.1 | 32M| 54 |1310 |1551 |3043 |1551 |3104 | 97 | 0 |7916 | 1.002500e+03 | 1.037000e+03 | 3.44%
1387.35/1387.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1387.35/1387.69 c 1388s| 23600 | 5095 | 6190k| 261.8 | 32M| 54 |1304 |1551 |3043 |1551 |3104 | 97 | 0 |7916 | 1.002500e+03 | 1.037000e+03 | 3.44%
1393.45/1393.73 c 1394s| 23700 | 5119 | 6226k| 262.2 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7919 | 1.002500e+03 | 1.037000e+03 | 3.44%
1395.04/1395.37 c 1395s| 23800 | 5119 | 6235k| 261.5 | 32M| 54 |1280 |1551 |3043 |1551 |3104 | 97 | 0 |7919 | 1.002500e+03 | 1.037000e+03 | 3.44%
1398.55/1398.82 c 1399s| 23900 | 5131 | 6256k| 261.3 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7919 | 1.002500e+03 | 1.037000e+03 | 3.44%
1402.05/1402.39 c 1402s| 24000 | 5147 | 6277k| 261.1 | 32M| 54 |1248 |1551 |3043 |1551 |3104 | 97 | 0 |7919 | 1.002500e+03 | 1.037000e+03 | 3.44%
1406.35/1406.67 c 1407s| 24100 | 5167 | 6302k| 261.0 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7919 | 1.002500e+03 | 1.037000e+03 | 3.44%
1410.14/1410.47 c 1410s| 24200 | 5179 | 6324k| 260.9 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7919 | 1.002500e+03 | 1.037000e+03 | 3.44%
1412.64/1412.98 c 1413s| 24300 | 5185 | 6339k| 260.4 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7919 | 1.002500e+03 | 1.037000e+03 | 3.44%
1417.55/1417.89 c 1418s| 24400 | 5205 | 6368k| 260.5 | 32M| 54 |1230 |1551 |3043 |1551 |3104 | 97 | 0 |7919 | 1.002500e+03 | 1.037000e+03 | 3.44%
1423.74/1424.08 c 1424s| 24500 | 5229 | 6403k| 260.9 | 32M| 54 |1284 |1551 |3043 |1551 |3104 | 97 | 0 |7919 | 1.002500e+03 | 1.037000e+03 | 3.44%
1427.33/1427.69 c 1428s| 24600 | 5243 | 6423k| 260.6 | 32M| 54 |1209 |1551 |3043 |1551 |3104 | 97 | 0 |7919 | 1.002500e+03 | 1.037000e+03 | 3.44%
1430.44/1430.70 c 1431s| 24700 | 5247 | 6443k| 260.4 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7919 | 1.002500e+03 | 1.037000e+03 | 3.44%
1432.33/1432.62 c 1433s| 24800 | 5249 | 6453k| 259.8 | 32M| 54 |1313 |1551 |3043 |1551 |3104 | 97 | 0 |7919 | 1.002500e+03 | 1.037000e+03 | 3.44%
1435.53/1435.82 c 1436s| 24900 | 5257 | 6472k| 259.5 | 32M| 54 |1295 |1551 |3043 |1551 |3104 | 97 | 0 |7919 | 1.002556e+03 | 1.037000e+03 | 3.44%
1438.54/1438.82 c 1439s| 25000 | 5263 | 6490k| 259.1 | 32M| 54 |1214 |1551 |3043 |1551 |3104 | 97 | 0 |7919 | 1.002583e+03 | 1.037000e+03 | 3.43%
1441.64/1441.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1441.64/1441.93 c 1442s| 25100 | 5265 | 6509k| 258.9 | 32M| 54 |1254 |1551 |3043 |1551 |3104 | 97 | 0 |7919 | 1.002625e+03 | 1.037000e+03 | 3.43%
1443.54/1443.86 c 1444s| 25200 | 5273 | 6520k| 258.3 | 32M| 54 |1309 |1551 |3043 |1551 |3104 | 97 | 0 |7919 | 1.002625e+03 | 1.037000e+03 | 3.43%
1446.73/1447.06 c 1447s| 25300 | 5285 | 6538k| 258.0 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7919 | 1.002667e+03 | 1.037000e+03 | 3.42%
1449.44/1449.70 c 1450s| 25400 | 5283 | 6550k| 257.4 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7930 | 1.002667e+03 | 1.037000e+03 | 3.42%
1454.53/1454.84 c 1455s| 25500 | 5295 | 6576k| 257.4 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7948 | 1.002708e+03 | 1.037000e+03 | 3.42%
1460.04/1460.39 c 1460s| 25600 | 5313 | 6602k| 257.5 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |7978 | 1.002750e+03 | 1.037000e+03 | 3.42%
1462.44/1462.78 c 1463s| 25700 | 5311 | 6615k| 256.9 | 32M| 54 |1215 |1551 |3043 |1551 |3104 | 97 | 0 |7994 | 1.002750e+03 | 1.037000e+03 | 3.42%
1467.23/1467.59 c 1468s| 25800 | 5321 | 6637k| 256.8 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |8016 | 1.002750e+03 | 1.037000e+03 | 3.42%
1470.43/1470.74 c 1471s| 25900 | 5325 | 6651k| 256.3 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |8039 | 1.002750e+03 | 1.037000e+03 | 3.42%
1473.73/1474.08 c 1474s| 26000 | 5333 | 6666k| 255.9 | 32M| 54 |1327 |1551 |3043 |1551 |3104 | 97 | 0 |8056 | 1.002750e+03 | 1.037000e+03 | 3.42%
1477.13/1477.40 c 1477s| 26100 | 5339 | 6681k| 255.5 | 32M| 54 |1239 |1551 |3043 |1551 |3104 | 97 | 0 |8071 | 1.002750e+03 | 1.037000e+03 | 3.42%
1480.83/1481.19 c 1481s| 26200 | 5351 | 6700k| 255.3 | 32M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |8090 | 1.002750e+03 | 1.037000e+03 | 3.42%
1483.63/1483.98 c 1484s| 26300 | 5353 | 6712k| 254.8 | 32M| 54 |1319 |1551 |3043 |1551 |3104 | 97 | 0 |8112 | 1.002750e+03 | 1.037000e+03 | 3.42%
1487.63/1487.95 c 1488s| 26400 | 5361 | 6728k| 254.4 | 33M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |8139 | 1.002750e+03 | 1.037000e+03 | 3.42%
1491.13/1491.43 c 1491s| 26500 | 5369 | 6745k| 254.1 | 33M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |8153 | 1.002750e+03 | 1.037000e+03 | 3.42%
1493.23/1493.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1493.23/1493.50 c 1493s| 26600 | 5365 | 6754k| 253.5 | 33M| 54 |1176 |1551 |3043 |1551 |3104 | 97 | 0 |8163 | 1.002750e+03 | 1.037000e+03 | 3.42%
1496.52/1496.87 c 1497s| 26700 | 5373 | 6770k| 253.1 | 33M| 54 |1313 |1551 |3043 |1551 |3104 | 97 | 0 |8182 | 1.002750e+03 | 1.037000e+03 | 3.42%
1499.52/1499.87 c 1500s| 26800 | 5371 | 6784k| 252.7 | 33M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |8206 | 1.002750e+03 | 1.037000e+03 | 3.42%
1503.83/1504.12 c 1504s| 26900 | 5383 | 6804k| 252.5 | 33M| 54 |1252 |1551 |3043 |1551 |3104 | 97 | 0 |8223 | 1.002750e+03 | 1.037000e+03 | 3.42%
1507.32/1507.63 c 1508s| 27000 | 5389 | 6819k| 252.1 | 33M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |8255 | 1.002750e+03 | 1.037000e+03 | 3.42%
1511.43/1511.71 c 1512s| 27100 | 5401 | 6841k| 252.0 | 33M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |8274 | 1.002750e+03 | 1.037000e+03 | 3.42%
1516.82/1517.15 c 1517s| 27200 | 5419 | 6867k| 252.1 | 33M| 54 |1296 |1551 |3043 |1551 |3104 | 97 | 0 |8303 | 1.002750e+03 | 1.037000e+03 | 3.42%
1520.12/1520.40 c 1520s| 27300 | 5423 | 6883k| 251.7 | 33M| 54 |1245 |1551 |3043 |1551 |3104 | 97 | 0 |8324 | 1.002750e+03 | 1.037000e+03 | 3.42%
1523.92/1524.26 c 1524s| 27400 | 5431 | 6899k| 251.4 | 33M| 54 |1306 |1551 |3043 |1551 |3104 | 97 | 0 |8357 | 1.002750e+03 | 1.037000e+03 | 3.42%
1528.63/1528.94 c 1529s| 27500 | 5449 | 6921k| 251.2 | 33M| 54 |1236 |1551 |3043 |1551 |3104 | 97 | 0 |8375 | 1.002750e+03 | 1.037000e+03 | 3.42%
1531.62/1531.91 c 1532s| 27600 | 5453 | 6936k| 250.9 | 33M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |8388 | 1.002800e+03 | 1.037000e+03 | 3.41%
1534.13/1534.40 c 1534s| 27700 | 5455 | 6949k| 250.4 | 33M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |8400 | 1.002800e+03 | 1.037000e+03 | 3.41%
1538.52/1538.88 c 1539s| 27800 | 5465 | 6969k| 250.3 | 33M| 54 |1202 |1551 |3043 |1551 |3104 | 97 | 0 |8429 | 1.002833e+03 | 1.037000e+03 | 3.41%
1542.12/1542.43 c 1542s| 27900 | 5475 | 6987k| 250.0 | 33M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |8440 | 1.002833e+03 | 1.037000e+03 | 3.41%
1545.71/1546.02 c 1546s| 28000 | 5479 | 7003k| 249.7 | 33M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |8463 | 1.002833e+03 | 1.037000e+03 | 3.41%
1548.81/1549.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1548.81/1549.19 c 1549s| 28100 | 5483 | 7020k| 249.4 | 33M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |8481 | 1.002833e+03 | 1.037000e+03 | 3.41%
1552.22/1552.51 c 1553s| 28200 | 5489 | 7035k| 249.1 | 33M| 54 |1208 |1551 |3043 |1551 |3104 | 97 | 0 |8501 | 1.002833e+03 | 1.037000e+03 | 3.41%
1555.03/1555.36 c 1555s| 28300 | 5495 | 7048k| 248.6 | 33M| 54 |1242 |1551 |3043 |1551 |3104 | 97 | 0 |8531 | 1.002833e+03 | 1.037000e+03 | 3.41%
1558.72/1559.00 c 1559s| 28400 | 5505 | 7066k| 248.4 | 33M| 54 | - |1551 |3043 |1551 |3104 | 97 | 0 |8550 | 1.002875e+03 | 1.037000e+03 | 3.40%
1565.82/1566.16 c 1566s| 28500 | 5537 | 7100k| 248.7 | 33M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |8585 | 1.002929e+03 | 1.037000e+03 | 3.40%
1568.71/1569.00 c 1569s| 28600 | 5533 | 7109k| 248.2 | 33M| 56 |1342 |1551 |3043 |1551 |3104 | 97 | 0 |8616 | 1.002929e+03 | 1.037000e+03 | 3.40%
1570.21/1570.59 c 1571s| 28700 | 5529 | 7118k| 247.6 | 33M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |8616 | 1.002929e+03 | 1.037000e+03 | 3.40%
1573.41/1573.79 c 1574s| 28800 | 5537 | 7135k| 247.3 | 33M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |8629 | 1.003000e+03 | 1.037000e+03 | 3.39%
1577.02/1577.32 c 1577s| 28900 | 5547 | 7151k| 247.0 | 33M| 56 |1197 |1551 |3043 |1551 |3104 | 97 | 0 |8655 | 1.003000e+03 | 1.037000e+03 | 3.39%
1580.52/1580.87 c 1581s| 29000 | 5551 | 7168k| 246.8 | 33M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |8694 | 1.003000e+03 | 1.037000e+03 | 3.39%
1583.32/1583.68 c 1584s| 29100 | 5557 | 7181k| 246.4 | 33M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |8723 | 1.003000e+03 | 1.037000e+03 | 3.39%
1590.71/1591.01 c 1591s| 29200 | 5589 | 7215k| 246.7 | 33M| 56 |1195 |1551 |3043 |1551 |3104 | 97 | 0 |8780 | 1.003000e+03 | 1.037000e+03 | 3.39%
1595.21/1595.57 c 1596s| 29300 | 5597 | 7236k| 246.6 | 33M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |8825 | 1.003000e+03 | 1.037000e+03 | 3.39%
1598.41/1598.73 c 1599s| 29400 | 5601 | 7247k| 246.1 | 33M| 56 |1245 |1551 |3043 |1551 |3104 | 97 | 0 |8871 | 1.003000e+03 | 1.037000e+03 | 3.39%
1601.51/1601.89 c 1602s| 29500 | 5601 | 7264k| 245.9 | 33M| 56 |1263 |1551 |3043 |1551 |3104 | 97 | 0 |8887 | 1.003000e+03 | 1.037000e+03 | 3.39%
1604.21/1604.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1604.21/1604.59 c 1605s| 29600 | 5603 | 7278k| 245.5 | 33M| 56 |1234 |1551 |3043 |1551 |3104 | 97 | 0 |8903 | 1.003000e+03 | 1.037000e+03 | 3.39%
1608.41/1608.71 c 1609s| 29700 | 5615 | 7296k| 245.3 | 33M| 56 |1353 |1551 |3043 |1551 |3104 | 97 | 0 |8929 | 1.003000e+03 | 1.037000e+03 | 3.39%
1612.31/1612.61 c 1613s| 29800 | 5623 | 7314k| 245.0 | 33M| 56 |1207 |1551 |3043 |1551 |3104 | 97 | 0 |8957 | 1.003000e+03 | 1.037000e+03 | 3.39%
1616.90/1617.20 c 1617s| 29900 | 5639 | 7335k| 244.9 | 33M| 56 |1279 |1551 |3043 |1551 |3104 | 97 | 0 |9001 | 1.003000e+03 | 1.037000e+03 | 3.39%
1619.31/1619.68 c 1620s| 30000 | 5639 | 7348k| 244.5 | 33M| 56 |1317 |1551 |3043 |1551 |3104 | 97 | 0 |9014 | 1.003000e+03 | 1.037000e+03 | 3.39%
1623.31/1623.61 c 1624s| 30100 | 5647 | 7367k| 244.4 | 33M| 56 |1252 |1551 |3043 |1551 |3104 | 97 | 0 |9067 | 1.003000e+03 | 1.037000e+03 | 3.39%
1626.51/1626.87 c 1627s| 30200 | 5651 | 7381k| 244.0 | 33M| 56 |1296 |1551 |3043 |1551 |3104 | 97 | 0 |9100 | 1.003000e+03 | 1.037000e+03 | 3.39%
1630.91/1631.27 c 1631s| 30300 | 5659 | 7403k| 243.9 | 33M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9138 | 1.003000e+03 | 1.037000e+03 | 3.39%
1633.80/1634.13 c 1634s| 30400 | 5657 | 7416k| 243.6 | 33M| 56 |1338 |1551 |3043 |1551 |3104 | 97 | 0 |9171 | 1.003000e+03 | 1.037000e+03 | 3.39%
1637.20/1637.59 c 1638s| 30500 | 5661 | 7433k| 243.3 | 33M| 56 |1323 |1551 |3043 |1551 |3104 | 97 | 0 |9197 | 1.003000e+03 | 1.037000e+03 | 3.39%
1639.81/1640.18 c 1640s| 30600 | 5663 | 7446k| 242.9 | 33M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9217 | 1.003000e+03 | 1.037000e+03 | 3.39%
1643.20/1643.56 c 1644s| 30700 | 5673 | 7462k| 242.7 | 33M| 56 |1238 |1551 |3043 |1551 |3104 | 97 | 0 |9248 | 1.003000e+03 | 1.037000e+03 | 3.39%
1647.10/1647.45 c 1647s| 30800 | 5677 | 7477k| 242.4 | 33M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9305 | 1.003000e+03 | 1.037000e+03 | 3.39%
1650.10/1650.47 c 1650s| 30900 | 5683 | 7491k| 242.1 | 33M| 56 |1259 |1551 |3043 |1551 |3104 | 97 | 0 |9324 | 1.003000e+03 | 1.037000e+03 | 3.39%
1654.20/1654.57 c 1655s| 31000 | 5697 | 7512k| 241.9 | 33M| 56 |1232 |1551 |3043 |1551 |3104 | 97 | 0 |9346 | 1.003000e+03 | 1.037000e+03 | 3.39%
1658.30/1658.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1658.30/1658.61 c 1659s| 31100 | 5707 | 7531k| 241.8 | 33M| 56 |1295 |1551 |3043 |1551 |3104 | 97 | 0 |9374 | 1.003000e+03 | 1.037000e+03 | 3.39%
1663.10/1663.46 c 1663s| 31200 | 5723 | 7553k| 241.7 | 33M| 56 |1242 |1551 |3043 |1551 |3104 | 97 | 0 |9406 | 1.003000e+03 | 1.037000e+03 | 3.39%
1666.80/1667.10 c 1667s| 31300 | 5731 | 7571k| 241.5 | 33M| 56 |1291 |1551 |3043 |1551 |3104 | 97 | 0 |9427 | 1.003000e+03 | 1.037000e+03 | 3.39%
1669.29/1669.69 c 1670s| 31400 | 5729 | 7583k| 241.1 | 33M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9458 | 1.003000e+03 | 1.037000e+03 | 3.39%
1673.19/1673.58 c 1674s| 31500 | 5741 | 7601k| 240.9 | 33M| 56 |1281 |1551 |3043 |1551 |3104 | 97 | 0 |9486 | 1.003000e+03 | 1.037000e+03 | 3.39%
1678.00/1678.32 c 1678s| 31600 | 5755 | 7624k| 240.9 | 33M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9527 | 1.003000e+03 | 1.037000e+03 | 3.39%
1681.10/1681.45 c 1681s| 31700 | 5765 | 7641k| 240.7 | 33M| 56 |1202 |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1683.90/1684.28 c 1684s| 31800 | 5771 | 7659k| 240.5 | 33M| 56 |1335 |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1686.59/1686.96 c 1687s| 31900 | 5781 | 7675k| 240.2 | 33M| 56 |1316 |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1689.09/1689.49 c 1689s| 32000 | 5791 | 7688k| 239.9 | 33M| 56 |1172 |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1691.80/1692.17 c 1692s| 32100 | 5803 | 7703k| 239.6 | 33M| 56 |1217 |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1692.99/1693.39 c 1693s| 32200 | 5803 | 7710k| 239.1 | 33M| 56 |1238 |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1694.90/1695.24 c 1695s| 32300 | 5807 | 7722k| 238.7 | 33M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1697.20/1697.51 c 1698s| 32400 | 5813 | 7734k| 238.3 | 33M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1698.99/1699.37 c 1699s| 32500 | 5819 | 7745k| 237.9 | 33M| 56 |1264 |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1702.09/1702.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1702.09/1702.41 c 1702s| 32600 | 5827 | 7763k| 237.8 | 33M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1704.89/1705.26 c 1705s| 32700 | 5835 | 7779k| 237.5 | 33M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1707.39/1707.75 c 1708s| 32800 | 5843 | 7794k| 237.3 | 33M| 56 |1283 |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1709.89/1710.21 c 1710s| 32900 | 5849 | 7809k| 237.0 | 33M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1713.88/1714.23 c 1714s| 33000 | 5869 | 7834k| 237.0 | 34M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1718.28/1718.69 c 1719s| 33100 | 5885 | 7863k| 237.2 | 34M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1722.19/1722.54 c 1723s| 33200 | 5899 | 7888k| 237.2 | 34M| 56 |1295 |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1725.19/1725.53 c 1726s| 33300 | 5901 | 7905k| 237.0 | 34M| 56 |1269 |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1728.39/1728.70 c 1729s| 33400 | 5911 | 7924k| 236.9 | 34M| 56 |1307 |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1732.49/1732.84 c 1733s| 33500 | 5923 | 7950k| 237.0 | 34M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1735.39/1735.74 c 1736s| 33600 | 5929 | 7968k| 236.8 | 34M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1736.98/1737.30 c 1737s| 33700 | 5933 | 7977k| 236.4 | 34M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1739.79/1740.17 c 1740s| 33800 | 5943 | 7994k| 236.2 | 34M| 56 |1263 |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003000e+03 | 1.037000e+03 | 3.39%
1742.98/1743.40 c 1743s| 33900 | 5955 | 8014k| 236.1 | 34M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003056e+03 | 1.037000e+03 | 3.38%
1744.89/1745.27 c 1745s| 34000 | 5953 | 8024k| 235.7 | 34M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003056e+03 | 1.037000e+03 | 3.38%
1748.88/1749.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1748.88/1749.24 c 1749s| 34100 | 5971 | 8048k| 235.7 | 34M| 56 |1204 |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003125e+03 | 1.037000e+03 | 3.38%
1751.78/1752.19 c 1752s| 34200 | 5991 | 8066k| 235.5 | 34M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003125e+03 | 1.037000e+03 | 3.38%
1754.58/1754.95 c 1755s| 34300 | 6007 | 8083k| 235.3 | 34M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003167e+03 | 1.037000e+03 | 3.37%
1757.88/1758.21 c 1758s| 34400 | 6017 | 8102k| 235.2 | 34M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003167e+03 | 1.037000e+03 | 3.37%
1761.78/1762.17 c 1762s| 34500 | 6035 | 8126k| 235.2 | 34M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003167e+03 | 1.037000e+03 | 3.37%
1764.98/1765.32 c 1765s| 34600 | 6043 | 8146k| 235.1 | 34M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003167e+03 | 1.037000e+03 | 3.37%
1768.97/1769.33 c 1769s| 34700 | 6065 | 8171k| 235.1 | 34M| 56 |1180 |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003167e+03 | 1.037000e+03 | 3.37%
1770.88/1771.25 c 1771s| 34800 | 6065 | 8183k| 234.8 | 34M| 56 |1248 |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003167e+03 | 1.037000e+03 | 3.37%
1775.77/1776.11 c 1776s| 34900 | 6081 | 8211k| 234.9 | 34M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9544 | 1.003250e+03 | 1.037000e+03 | 3.36%
1781.07/1781.40 c 1781s| 35000 | 6101 | 8240k| 235.1 | 34M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9559 | 1.003250e+03 | 1.037000e+03 | 3.36%
1784.37/1784.74 c 1785s| 35100 | 6105 | 8256k| 234.9 | 34M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9581 | 1.003250e+03 | 1.037000e+03 | 3.36%
1788.18/1788.58 c 1789s| 35200 | 6111 | 8275k| 234.8 | 34M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9594 | 1.003250e+03 | 1.037000e+03 | 3.36%
1791.17/1791.59 c 1792s| 35300 | 6111 | 8289k| 234.5 | 34M| 56 | - |1551 |3043 |1551 |3104 | 97 | 0 |9612 | 1.003250e+03 | 1.037000e+03 | 3.36%
1795.08/1795.43 c 1795s| 35400 | 6117 | 8305k| 234.3 | 34M| 56 |1148 |1551 |3043 |1551 |3104 | 97 | 0 |9638 | 1.003250e+03 | 1.037000e+03 | 3.36%
1796.67/1797.00 c
1796.67/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.00 c Solving Time (sec) : 1797.00
1796.67/1797.00 c Solving Nodes : 35453
1796.67/1797.00 c Primal Bound : +1.03700000000000e+03 (773 solutions)
1796.67/1797.00 c Dual Bound : +1.00325000000000e+03
1796.67/1797.00 c Gap : 3.36 %
1796.67/1797.00 s SATISFIABLE
1796.67/1797.00 v -x1965 -x1964 -x1963 x1962 -x1961 -x1960 x1959 x1958 -x1957 -x1956 x1955 -x1954 x1953 -x1952 x1951 x1950 -x1949 -x1948 -x1947 x1946
1796.67/1797.00 v x1945 x1944 x1943 x1942 -x1941 x1940 -x1939 x1938 -x1937 -x1936 x1935 x1934 -x1933 x1932 x1931 x1930 x1929 -x1928 -x1927
1796.67/1797.00 v x1926 -x1925 x1924 x1923 x1922 -x1921 -x1920 -x1919 x1918 x1917 x1916 -x1915 -x1914 -x1913 -x1912 x1911 x1910 -x1909 -x1908
1796.67/1797.00 v -x1907 x1906 x1905 -x1904 -x1903 x1902 x1901 x1900 x1899 -x1898 x1897 -x1896 x1895 x1894 x1893 -x1892 -x1891 x1890 x1889 x1888
1796.67/1797.00 v -x1887 -x1886 x1885 -x1884 -x1883 x1882 -x1881 -x1880 x1879 x1878 -x1877 -x1876 x1875 -x1874 x1873 x1872 -x1871 x1870 x1869
1796.67/1797.00 v x1868 x1867 x1866 -x1865 -x1864 -x1863 -x1862 x1861 x1860 -x1859 -x1858 -x1857 -x1856 x1855 -x1854 -x1853 x1852 x1851 -x1850
1796.67/1797.00 v -x1849 x1848 -x1847 -x1846 -x1845 x1844 -x1843 x1842 -x1841 -x1840 x1839 x1838 -x1837 x1836 x1835 x1834 -x1833 -x1832 -x1831
1796.67/1797.00 v x1830 x1829 -x1828 x1827 x1826 -x1825 -x1824 x1823 -x1822 -x1821 x1820 x1819 x1818 -x1817 x1816 x1815 -x1814 -x1813 x1812 x1811
1796.67/1797.00 v -x1810 x1809 -x1808 -x1807 -x1806 x1805 x1804 x1803 -x1802 -x1801 x1800 -x1799 x1798 -x1797 x1796 -x1795 x1794 -x1793 -x1792
1796.67/1797.00 v -x1791 -x1790 x1789 -x1788 x1787 -x1786 -x1785 -x1784 x1783 x1782 -x1781 -x1780 x1779 -x1778 x1777 x1776 x1775 x1774 x1773
1796.67/1797.00 v -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 x1766 -x1765 -x1764 x1763 -x1762 x1761 x1760 -x1759 x1758 -x1757 -x1756 x1755 x1754
1796.67/1797.00 v x1753 -x1752 -x1751 -x1750 x1749 -x1748 x1747 x1746 x1745 -x1744 x1743 -x1742 -x1741 -x1740 -x1739 x1738 -x1737 x1736 x1735
1796.67/1797.00 v x1734 -x1733 -x1732 -x1731 x1730 -x1729 x1728 -x1727 x1726 -x1725 x1724 -x1723 -x1722 x1721 -x1720 -x1719 -x1718 x1717 -x1716
1796.67/1797.00 v -x1715 -x1714 -x1713 x1712 -x1711 -x1710 -x1709 x1708 -x1707 -x1706 -x1705 x1704 x1703 -x1702 -x1701 -x1700 x1699 x1698 -x1697
1796.67/1797.00 v x1696 -x1695 x1694 x1693 x1692 -x1691 x1690 x1689 x1688 x1687 -x1686 x1685 -x1684 x1683 x1682 x1681 -x1680 -x1679 -x1678
1796.67/1797.00 v -x1677 x1676 -x1675 -x1674 x1673 x1672 x1671 x1670 x1669 x1668 -x1667 -x1666 -x1665 -x1664 -x1663 x1662 x1661 x1660 -x1659 x1658
1796.67/1797.00 v -x1657 -x1656 -x1655 x1654 -x1653 x1652 -x1651 x1650 x1649 x1648 -x1647 x1646 -x1645 x1644 -x1643 x1642 -x1641 x1640 x1639
1796.67/1797.00 v x1638 -x1637 x1636 -x1635 -x1634 x1633 x1632 -x1631 -x1630 x1629 x1628 x1627 x1626 x1625 -x1624 x1623 x1622 -x1621 x1620 -x1619
1796.67/1797.00 v x1618 -x1617 x1616 x1615 -x1614 -x1613 -x1612 -x1611 x1610 x1609 x1608 x1607 -x1606 x1605 x1604 x1603 -x1602 -x1601 x1600
1796.67/1797.00 v x1599 -x1598 x1597 -x1596 -x1595 x1594 x1593 -x1592 x1591 -x1590 x1589 x1588 -x1587 x1586 x1585 x1584 -x1583 x1582 x1581 x1580
1796.67/1797.00 v -x1579 -x1578 -x1577 -x1576 x1575 x1574 x1573 x1572 -x1571 x1570 x1569 -x1568 x1567 -x1566 -x1565 -x1564 x1563 -x1562 -x1561
1796.67/1797.00 v -x1560 x1559 x1558 -x1557 -x1556 -x1555 -x1554 x1553 -x1552 -x1551 x1550 -x1549 -x1548 -x1547 x1546 -x1545 -x1544 x1543
1796.67/1797.00 v x1542 -x1541 x1540 x1539 x1538 x1537 x1536 x1535 x1534 x1533 -x1532 x1531 x1530 -x1529 -x1528 -x1527 -x1526 x1525 -x1524 -x1523
1796.67/1797.00 v x1522 -x1521 x1520 x1519 -x1518 x1517 -x1516 -x1515 x1514 -x1513 x1512 x1511 x1510 -x1509 x1508 -x1507 x1506 x1505 -x1504
1796.67/1797.00 v x1503 -x1502 -x1501 -x1500 -x1499 x1498 x1497 -x1496 x1495 x1494 x1493 x1492 x1491 x1490 x1489 x1488 x1487 x1486 x1485 -x1484
1796.67/1797.00 v -x1483 -x1482 x1481 x1480 -x1479 x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 x1469 x1468 x1467 -x1466 -x1465
1796.67/1797.00 v -x1464 -x1463 -x1462 -x1461 x1460 x1459 -x1458 x1457 x1456 x1455 -x1454 -x1453 -x1452 -x1451 x1450 -x1449 x1448 -x1447 -x1446
1796.67/1797.00 v -x1445 x1444 x1443 -x1442 -x1441 x1440 -x1439 -x1438 x1437 x1436 -x1435 x1434 x1433 x1432 -x1431 -x1430 -x1429 -x1428 x1427
1796.67/1797.00 v x1426 -x1425 -x1424 -x1423 -x1422 x1421 -x1420 x1419 -x1418 x1417 x1416 x1415 x1414 x1413 x1412 x1411 -x1410 x1409 x1408 x1407
1796.67/1797.00 v x1406 x1405 x1404 x1403 -x1402 x1401 -x1400 -x1399 x1398 x1397 -x1396 x1395 -x1394 -x1393 x1392 x1391 x1390 x1389 x1388
1796.67/1797.00 v x1387 x1386 x1385 -x1384 x1383 -x1382 -x1381 x1380 -x1379 x1378 -x1377 -x1376 x1375 x1374 x1373 x1372 -x1371 -x1370 x1369 -x1368
1796.67/1797.00 v -x1367 x1366 x1365 -x1364 x1363 x1362 x1361 -x1360 -x1359 -x1358 x1357 -x1356 -x1355 x1354 -x1353 x1352 x1351 -x1350 -x1349
1796.67/1797.00 v x1348 -x1347 x1346 -x1345 x1344 x1343 x1342 x1341 x1340 x1339 x1338 -x1337 x1336 -x1335 -x1334 -x1333 x1332 x1331 x1330 -x1329
1796.67/1797.00 v -x1328 x1327 -x1326 x1325 -x1324 x1323 x1322 -x1321 x1320 x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 x1311 -x1310
1796.67/1797.00 v x1309 x1308 x1307 x1306 x1305 -x1304 x1303 x1302 -x1301 -x1300 -x1299 x1298 -x1297 x1296 -x1295 x1294 x1293 x1292 x1291
1796.67/1797.00 v -x1290 -x1289 -x1288 -x1287 -x1286 x1285 -x1284 x1283 x1282 -x1281 -x1280 -x1279 x1278 -x1277 -x1276 x1275 -x1274 x1273 -x1272
1796.67/1797.00 v -x1271 x1270 -x1269 -x1268 -x1267 x1266 -x1265 -x1264 -x1263 -x1262 x1261 -x1260 -x1259 x1258 x1257 x1256 -x1255 -x1254 -x1253
1796.67/1797.00 v x1252 x1251 -x1250 -x1249 x1248 -x1247 x1246 x1245 x1244 -x1243 -x1242 -x1241 x1240 -x1239 -x1238 x1237 -x1236 -x1235 -x1234
1796.67/1797.00 v -x1233 -x1232 x1231 -x1230 x1229 x1228 -x1227 -x1226 x1225 -x1224 x1223 x1222 x1221 x1220 x1219 x1218 -x1217 x1216 -x1215
1796.67/1797.00 v x1214 x1213 x1212 x1211 -x1210 -x1209 -x1208 x1207 x1206 -x1205 -x1204 x1203 x1202 x1201 -x1200 x1199 x1198 x1197 x1196 x1195
1796.67/1797.00 v -x1194 x1193 x1192 x1191 x1190 x1189 -x1188 x1187 x1186 -x1185 -x1184 x1183 x1182 x1181 x1180 x1179 -x1178 -x1177 -x1176 x1175
1796.67/1797.00 v x1174 x1173 -x1172 x1171 -x1170 x1169 x1168 -x1167 x1166 x1165 -x1164 -x1163 -x1162 -x1161 -x1160 x1159 x1158 x1157 -x1156
1796.67/1797.00 v -x1155 x1154 x1153 -x1152 x1151 -x1150 -x1149 x1148 -x1147 x1146 x1145 x1144 -x1143 -x1142 x1141 -x1140 x1139 x1138 -x1137
1796.67/1797.00 v x1136 -x1135 -x1134 -x1133 x1132 -x1131 -x1130 -x1129 x1128 x1127 -x1126 -x1125 -x1124 -x1123 x1122 x1121 x1120 x1119 -x1118
1796.67/1797.00 v x1117 x1116 x1115 x1114 x1113 x1112 -x1111 x1110 -x1109 x1108 x1107 x1106 x1105 -x1104 x1103 -x1102 x1101 x1100 x1099 x1098
1796.67/1797.00 v -x1097 x1096 -x1095 x1094 x1093 x1092 x1091 -x1090 x1089 x1088 x1087 -x1086 x1085 x1084 -x1083 -x1082 -x1081 x1080 -x1079 x1078
1796.67/1797.00 v x1077 -x1076 -x1075 x1074 x1073 x1072 x1071 x1070 -x1069 x1068 -x1067 x1066 x1065 -x1064 x1063 -x1062 x1061 -x1060 -x1059
1796.67/1797.00 v -x1058 -x1057 x1056 x1055 x1054 x1053 -x1052 x1051 -x1050 -x1049 -x1048 x1047 x1046 -x1045 x1044 x1043 x1042 -x1041 -x1040 -x1039
1796.67/1797.00 v x1038 -x1037 -x1036 -x1035 x1034 -x1033 -x1032 x1031 -x1030 -x1029 -x1028 x1027 -x1026 x1025 -x1024 -x1023 x1022 x1021 -x1020
1796.67/1797.00 v x1019 -x1018 -x1017 x1016 -x1015 -x1014 x1013 x1012 x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 x1002
1796.67/1797.00 v x1001 -x1000 -x999 -x998 -x997 x996 -x995 x994 x993 x992 x991 x990 x989 -x988 x987 x986 x985 x984 x983 x982 x981 x980 x979 x978
1796.67/1797.00 v x977 x976 -x975 -x974 -x973 x972 -x971 x970 -x969 x968 -x967 -x966 -x965 -x964 -x963 x962 -x961 -x960 -x959 x958 -x957 x956
1796.67/1797.00 v x955 -x954 x953 -x952 -x951 x950 -x949 x948 x947 x946 x945 x944 -x943 x942 x941 -x940 x939 x938 -x937 x936 -x935 x934 -x933
1796.67/1797.00 v x932 x931 -x930 x929 -x928 x927 x926 -x925 x924 x923 x922 -x921 x920 -x919 x918 -x917 -x916 -x915 -x914 x913 x912 -x911 x910
1796.67/1797.00 v x909 -x908 -x907 x906 -x905 x904 -x903 -x902 x901 -x900 x899 x898 -x897 x896 x895 -x894 x893 x892 x891 -x890 x889 -x888 x887
1796.67/1797.00 v -x886 x885 x884 -x883 -x882 x881 -x880 -x879 x878 -x877 -x876 -x875 -x874 -x873 x872 -x871 -x870 -x869 x868 -x867 x866 -x865
1796.67/1797.00 v x864 x863 x862 -x861 x860 x859 x858 x857 x856 x855 x854 -x853 -x852 -x851 -x850 x849 x848 -x847 x846 x845 x844 -x843 -x842
1796.67/1797.00 v x841 -x840 x839 -x838 -x837 -x836 -x835 -x834 -x833 x832 -x831 -x830 x829 -x828 -x827 x826 x825 -x824 -x823 x822 x821 x820 x819
1796.67/1797.00 v -x818 x817 x816 x815 x814 x813 -x812 x811 -x810 -x809 -x808 -x807 x806 x805 x804 x803 -x802 -x801 x800 -x799 x798 x797 x796
1796.67/1797.00 v -x795 -x794 -x793 x792 -x791 x790 -x789 x788 x787 x786 x785 -x784 x783 x782 x781 x780 -x779 -x778 -x777 x776 x775 x774 -x773
1796.67/1797.00 v -x772 -x771 -x770 -x769 -x768 x767 x766 x765 x764 -x763 -x762 x761 -x760 -x759 -x758 x757 x756 x755 x754 x753 x752 -x751 -x750
1796.67/1797.00 v x749 x748 x747 x746 x745 x744 -x743 x742 -x741 x740 x739 x738 x737 -x736 -x735 x734 x733 x732 x731 -x730 -x729 -x728 -x727
1796.67/1797.00 v -x726 x725 x724 x723 x722 x721 x720 x719 x718 x717 -x716 -x715 -x714 x713 -x712 x711 x710 -x709 -x708 -x707 x706 x705 x704
1796.67/1797.00 v x703 x702 -x701 x700 -x699 -x698 x697 x696 x695 -x694 x693 x692 x691 -x690 -x689 x688 -x687 x686 -x685 x684 x683 -x682 -x681
1796.67/1797.00 v x680 x679 x678 -x677 -x676 x675 -x674 x673 x672 -x671 -x670 -x669 x668 x667 -x666 -x665 x664 x663 -x662 -x661 x660 -x659 x658
1796.67/1797.00 v -x657 x656 x655 x654 -x653 -x652 x651 x650 -x649 -x648 x647 x646 x645 x644 x643 -x642 x641 x640 x639 x638 -x637 x636 x635 -x634
1796.67/1797.00 v -x633 -x632 x631 x630 -x629 x628 -x627 -x626 -x625 x624 x623 -x622 x621 x620 x619 x618 -x617 -x616 -x615 x614 x613 x612 -x611
1796.67/1797.00 v -x610 -x609 x608 -x607 x606 -x605 -x604 -x603 -x602 -x601 x600 x599 -x598 -x597 x596 -x595 x594 x593 -x592 -x591 x590 -x589
1796.67/1797.00 v x588 -x587 x586 x585 -x584 x583 x582 -x581 -x580 x579 -x578 -x577 -x576 -x575 x574 -x573 x572 x571 -x570 x569 x568 -x567
1796.67/1797.00 v x566 -x565 x564 x563 -x562 x561 x560 x559 x558 x557 -x556 x555 -x554 -x553 x552 x551 x550 x549 x548 x547 x546 x545 -x544 -x543
1796.67/1797.00 v -x542 -x541 -x540 x539 -x538 x537 x536 -x535 -x534 -x533 x532 -x531 x530 -x529 x528 -x527 -x526 x525 -x524 x523 -x522 -x521
1796.67/1797.00 v x520 x519 x518 -x517 x516 x515 x514 -x513 -x512 -x511 -x510 -x509 -x508 x507 -x506 -x505 x504 x503 x502 x501 -x500 -x499 -x498
1796.67/1797.00 v x497 x496 x495 x494 -x493 -x492 -x491 -x490 x489 -x488 x487 -x486 -x485 x484 x483 -x482 -x481 x480 x479 x478 -x477 x476 x475
1796.67/1797.00 v x474 x473 -x472 -x471 x470 x469 -x468 x467 x466 x465 x464 x463 x462 x461 x460 -x459 -x458 x457 -x456 -x455 x454 x453 x452
1796.67/1797.00 v -x451 x450 -x449 -x448 x447 x446 x445 x444 x443 -x442 x441 x440 -x439 -x438 -x437 x436 x435 x434 x433 -x432 -x431 -x430 x429
1796.67/1797.00 v -x428 x427 -x426 x425 x424 x423 -x422 x421 x420 x419 x418 x417 -x416 x415 -x414 x413 -x412 x411 -x410 -x409 -x408 -x407 -x406
1796.67/1797.00 v -x405 x404 x403 -x402 -x401 -x400 x399 x398 -x397 -x396 x395 -x394 -x393 x392 x391 -x390 x389 x388 x387 -x386 x385 -x384 x383
1796.67/1797.00 v x382 x381 x380 x379 x378 x377 -x376 -x375 x374 x373 x372 -x371 -x370 -x369 x368 -x367 x366 -x365 x364 x363 x362 x361 x360 x359
1796.67/1797.00 v x358 x357 x356 -x355 -x354 x353 x352 -x351 -x350 x349 x348 -x347 x346 -x345 x344 x343 x342 x341 -x340 -x339 x338 x337 x336
1796.67/1797.00 v x335 x334 -x333 x332 x331 x330 x329 x328 -x327 x326 -x325 -x324 x323 -x322 -x321 -x320 x319 -x318 -x317 x316 -x315 x314 x313
1796.67/1797.00 v -x312 x311 x310 x309 -x308 -x307 -x306 -x305 x304 -x303 -x302 -x301 x300 -x299 x298 x297 x296 -x295 -x294 -x293 x292 -x291
1796.67/1797.00 v x290 x289 x288 -x287 -x286 x285 -x284 x283 x282 x281 x280 -x279 -x278 x277 -x276 -x275 x274 x273 x272 -x271 -x270 x269 x268 x267
1796.67/1797.00 v -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 x258 x257 x256 x255 -x254 x253 -x252 x251 x250 x249 x248 -x247 -x246 x245
1796.67/1797.00 v x244 x243 -x242 -x241 x240 x239 -x238 x237 -x236 x235 -x234 -x233 x232 -x231 -x230 x229 -x228 x227 x226 -x225 -x224 x223 -x222
1796.67/1797.00 v -x221 -x220 x219 -x218 -x217 x216 -x215 -x214 x213 -x212 -x211 x210 x209 -x208 -x207 x206 -x205 x204 -x203 x202 -x201 x200
1796.67/1797.00 v -x199 -x198 -x197 x196 -x195 x194 x193 -x192 x191 x190 x189 x188 x187 x186 -x185 x184 x183 -x182 x181 x180 x179 -x178 -x177 x176
1796.67/1797.00 v x175 -x174 -x173 x172 x171 x170 x169 -x168 x167 x166 -x165 x164 x163 x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154
1796.67/1797.00 v -x153 -x152 x151 x150 -x149 -x148 -x147 -x146 -x145 x144 x143 -x142 x141 x140 x139 -x138 -x137 x136 -x135 x134 -x133 x132 -x131
1796.67/1797.00 v x130 x129 -x128 x127 -x126 -x125 x124 -x123 x122 -x121 x120 x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109
1796.67/1797.00 v x108 -x107 -x106 -x105 x104 -x103 -x102 x101 x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 x92 -x91 -x90 x89 x88 -x87 -x86 x85 x84
1796.67/1797.00 v -x83 x82 x81 x80 x79 x78 -x77 x76 x75 -x74 x73 x72 -x71 x70 x69 x68 x67 x66 -x65 x64 x63 -x62 x61 -x60 x59 -x58 -x57 x56 x55
1796.67/1797.00 v x54 -x53 -x52 x51 -x50 x49 -x48 x47 -x46 x45 -x44 -x43 x42 x41 x40 -x39 -x38 -x37 x36 x35 -x34 -x33 x32 -x31 -x30 x29 x28 -x27
1796.67/1797.00 v -x26 -x25 -x24 x23 x22 x21 x20 -x19 -x18 x17 x16 -x15 -x14 x13 x12 x11 -x10 -x9 x8 x7 x6 x5 -x4 x3 -x2 -x1
1796.67/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.00 c Total Time : 1797.00
1796.67/1797.00 c solving : 1797.00
1796.67/1797.00 c presolving : 0.09 (included in solving)
1796.67/1797.00 c reading : 0.01 (included in solving)
1796.67/1797.00 c copying : 0.17 (17 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.67/1797.00 c Original Problem :
1796.67/1797.00 c Problem name : HOME/instance-3693236-1338030371.opb
1796.67/1797.00 c Variables : 1965 (1965 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00 c Constraints : 4000 initial, 4000 maximal
1796.67/1797.00 c Objective sense : minimize
1796.67/1797.00 c Presolved Problem :
1796.67/1797.00 c Problem name : t_HOME/instance-3693236-1338030371.opb
1796.67/1797.00 c Variables : 1551 (1551 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00 c Constraints : 3043 initial, 3043 maximal
1796.67/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.67/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c dualfix : 0.00 0.00 195 0 0 0 0 0 0 0 0
1796.67/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c setppc : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c linear : 0.06 0.00 0 219 0 0 0 957 0 0 0
1796.67/1797.00 c root node : - - 0 - - 0 - - - - -
1796.67/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.67/1797.00 c integral : 0 0 0 0 21201 0 778 0 100 518 0 0 41880
1796.67/1797.00 c setppc : 3043 3043 21 126375 0 1 773 0 0 130639 0 0 0
1796.67/1797.00 c countsols : 0 0 0 0 0 1 776 0 0 0 0 0 0
1796.67/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.67/1797.00 c integral : 312.61 0.00 0.00 0.00 312.60 0.00 0.01 0.00
1796.67/1797.00 c setppc : 5.69 0.00 0.00 5.66 0.00 0.00 0.03 0.00
1796.67/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.67/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.67/1797.00 c rootredcost : 11 0 0 0
1796.67/1797.00 c pseudoobj : 147526 0 0 0
1796.67/1797.00 c vbounds : 0 0 0 0
1796.67/1797.00 c redcost : 21427 0 0 210
1796.67/1797.00 c probing : 0 0 0 0
1796.67/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.67/1797.00 c rootredcost : 0.11 0.00 0.00 0.11 0.00
1796.67/1797.00 c pseudoobj : 0.28 0.00 0.00 0.28 0.00
1796.67/1797.00 c vbounds : 0.10 0.00 0.00 0.10 0.00
1796.67/1797.00 c redcost : 0.37 0.00 0.00 0.37 0.00
1796.67/1797.00 c probing : 0.00 0.00 0.00 0.00 0.00
1796.67/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.67/1797.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.67/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.67/1797.00 c applied globally : - - - 0 0.0 - - -
1796.67/1797.00 c applied locally : - - - 0 0.0 - - -
1796.67/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.67/1797.00 c cut pool : 0.02 20 - - 44 - (maximal pool size: 688)
1796.67/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c impliedbounds : 0.01 0.00 21 0 0 0 0
1796.67/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c gomory : 0.07 0.00 10 0 0 500 0
1796.67/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c strongcg : 1.31 0.00 20 0 0 10000 0
1796.67/1797.00 c cmir : 0.09 0.00 10 0 0 0 0
1796.67/1797.00 c flowcover : 0.08 0.00 10 0 0 0 0
1796.67/1797.00 c clique : 0.01 0.00 21 0 0 2 0
1796.67/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c mcf : 0.01 0.00 1 0 0 0 0
1796.67/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.67/1797.00 c problem variables: 0.00 - 0 0
1796.67/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.67/1797.00 c relpscost : 312.52 0.00 21201 100 518 0 0 41880
1796.67/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.67/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.67/1797.00 c LP solutions : 0.00 - - 0
1796.67/1797.00 c pseudo solutions : 0.00 - - 0
1796.67/1797.00 c feaspump : 0.00 0.00 0 0
1796.67/1797.00 c oneopt : 0.04 0.00 10 1
1796.67/1797.00 c crossover : 0.49 0.00 6 4
1796.67/1797.00 c veclendiving : 58.66 0.00 123 0
1796.67/1797.00 c guideddiving : 50.40 0.00 125 0
1796.67/1797.00 c fracdiving : 51.00 0.00 125 0
1796.67/1797.00 c linesearchdiving : 50.87 0.00 128 0
1796.67/1797.00 c pscostdiving : 72.82 0.00 161 12
1796.67/1797.00 c rootsoldiving : 38.46 0.00 81 108
1796.67/1797.00 c objpscostdiving : 89.63 0.00 82 237
1796.67/1797.00 c coefdiving : 84.63 0.00 194 189
1796.67/1797.00 c smallcard : 0.00 0.00 0 0
1796.67/1797.00 c trivial : 0.00 0.00 2 2
1796.67/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.67/1797.00 c simplerounding : 2.30 0.00 21221 31
1796.67/1797.00 c zirounding : 7.40 0.00 9451 189
1796.67/1797.00 c rounding : 72.80 0.00 2008 0
1796.67/1797.00 c shifting : 21.80 0.00 585 0
1796.67/1797.00 c intshifting : 0.00 0.00 0 0
1796.67/1797.00 c twoopt : 0.00 0.00 0 0
1796.67/1797.00 c indoneopt : 0.07 0.00 0 0
1796.67/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.67/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.67/1797.00 c clique : 0.00 0.00 0 0
1796.67/1797.00 c indrounding : 0.00 0.00 0 0
1796.67/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.67/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.67/1797.00 c intdiving : 0.00 0.00 0 0
1796.67/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.67/1797.00 c octane : 0.00 0.00 0 0
1796.67/1797.00 c rens : 0.01 0.00 0 0
1796.67/1797.00 c rins : 0.00 0.00 0 0
1796.67/1797.00 c localbranching : 0.00 0.00 0 0
1796.67/1797.00 c mutation : 0.00 0.00 0 0
1796.67/1797.00 c dins : 0.00 0.00 0 0
1796.67/1797.00 c vbounds : 0.00 0.00 0 0
1796.67/1797.00 c undercover : 0.00 0.00 0 0
1796.67/1797.00 c subnlp : 0.03 0.00 0 0
1796.67/1797.00 c trysol : 0.05 0.00 0 0
1796.67/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.67/1797.00 c primal LP : 0.00 2 0 0.00 - 0.00 2
1796.67/1797.00 c dual LP : 861.99 36003 5612425 157.50 6511.04 0.37 369
1796.67/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.67/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.67/1797.00 c diving/probing LP: 463.46 57138 2703927 47.32 5834.25
1796.67/1797.00 c strong branching : 305.68 9638 1705895 177.00 5580.60
1796.67/1797.00 c (at root node) : - 27 17456 646.52 -
1796.67/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.67/1797.00 c B&B Tree :
1796.67/1797.00 c number of runs : 1
1796.67/1797.00 c nodes : 35453
1796.67/1797.00 c nodes (total) : 35453
1796.67/1797.00 c nodes left : 6122
1796.67/1797.00 c max depth : 56
1796.67/1797.00 c max depth (total): 56
1796.67/1797.00 c backtracks : 4995 (14.1%)
1796.67/1797.00 c delayed cutoffs : 0
1796.67/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.67/1797.00 c avg switch length: 3.71
1796.67/1797.00 c switching time : 2.17
1796.67/1797.00 c Solution :
1796.67/1797.00 c Solutions found : 773 (14 improvements)
1796.67/1797.00 c First Solution : +1.96500000000000e+03 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1796.67/1797.00 c Primal Bound : +1.03700000000000e+03 (in run 1, after 6973 nodes, 466.53 seconds, depth 30, found by <crossover>)
1796.67/1797.00 c Dual Bound : +1.00325000000000e+03
1796.67/1797.00 c Gap : 3.36 %
1796.67/1797.00 c Root Dual Bound : +9.94333333333333e+02
1796.67/1797.00 c Root Iterations : 12232
1796.67/1797.03 c Time complete: 1796.71.
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-3693236-1338030371/watcher-3693236-1338030371 -o /tmp/evaluation-result-3693236-1338030371/solver-3693236-1338030371 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693236-1338030371.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: 2.00 2.00 1.91 2/174 31658
/proc/meminfo: memFree=28354572/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=10456 CPUtime=0 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 1346 0 0 0 0 0 0 0 20 0 1 0 269165546 10706944 1300 33554432000 4194304 10169799 140733464430496 140736315152840 8857843 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31658/statm: 2614 1301 403 1459 0 1146 0
[startup+0.0745729 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 31658
/proc/meminfo: memFree=28354572/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=27000 CPUtime=0.07 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 5546 0 0 0 4 3 0 0 20 0 1 0 269165546 27648000 5243 33554432000 4194304 10169799 140733464430496 140736315152840 8961143 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31658/statm: 6750 5243 558 1459 0 5282 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 27000
[startup+0.100337 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 31658
/proc/meminfo: memFree=28354572/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=27280 CPUtime=0.09 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 5653 0 0 0 5 4 0 0 20 0 1 0 269165546 27934720 5350 33554432000 4194304 10169799 140733464430496 140733464428648 8961143 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31658/statm: 6820 5350 566 1459 0 5352 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27280
[startup+0.300271 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 31658
/proc/meminfo: memFree=28354572/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=34632 CPUtime=0.28 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 7788 0 0 0 24 4 0 0 20 0 1 0 269165546 35463168 7404 33554432000 4194304 10169799 140733464430496 140733464427576 5757984 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31658/statm: 8658 7404 751 1459 0 7190 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 34632
[startup+0.700261 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 31658
/proc/meminfo: memFree=28354572/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=37556 CPUtime=0.69 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 8483 0 0 0 63 6 0 0 20 0 1 0 269165546 38457344 8098 33554432000 4194304 10169799 140733464430496 140733464427576 5757840 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31658/statm: 9389 8098 787 1459 0 7921 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37556
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 31659
/proc/meminfo: memFree=28322672/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=45328 CPUtime=1.49 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 10379 0 0 0 142 7 0 0 20 0 1 0 269165546 46415872 9994 33554432000 4194304 10169799 140733464430496 140733464427688 5747154 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31658/statm: 11332 9994 787 1459 0 9864 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45328
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 31659
/proc/meminfo: memFree=28314852/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=59452 CPUtime=3.09 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 13996 0 0 0 300 9 0 0 20 0 1 0 269165546 60878848 13570 33554432000 4194304 10169799 140733464430496 140733464427576 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31658/statm: 14863 13570 787 1459 0 13395 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59452
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 31659
/proc/meminfo: memFree=28284968/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=81652 CPUtime=6.29 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 20379 0 0 0 611 18 0 0 20 0 1 0 269165546 83611648 19009 33554432000 4194304 10169799 140733464430496 140733464427576 8053194 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 20413 19009 817 1459 0 18945 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 81652
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 31659
/proc/meminfo: memFree=28280900/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=81652 CPUtime=12.68 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 20459 0 0 0 1247 21 0 0 20 0 1 0 269165546 83611648 19068 33554432000 4194304 10169799 140733464430496 140733464425096 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 20413 19068 820 1459 0 18945 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 81652
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 31659
/proc/meminfo: memFree=28280708/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=81652 CPUtime=25.48 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 20474 0 0 0 2521 27 0 0 20 0 1 0 269165546 83611648 19092 33554432000 4194304 10169799 140733464430496 140733464425560 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 20413 19092 820 1459 0 18945 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 81652
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 31659
/proc/meminfo: memFree=28280676/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=81988 CPUtime=51.07 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 20535 0 0 0 5048 59 0 0 20 0 1 0 269165546 83955712 19159 33554432000 4194304 10169799 140733464430496 140733464427688 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 20497 19159 821 1459 0 19029 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 81988
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/175 31659
/proc/meminfo: memFree=28278172/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=82836 CPUtime=102.27 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 23897 0 0 0 10083 144 0 0 20 0 1 0 269165546 84824064 19716 33554432000 4194304 10169799 140733464430496 140733464425000 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 20709 19716 827 1459 0 19241 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 82836
[startup+162.3 s]
/proc/loadavg: 2.12 2.03 1.92 3/175 31659
/proc/meminfo: memFree=28277180/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=82608 CPUtime=162.25 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 27217 0 0 0 15968 257 0 0 20 0 1 0 269165546 84590592 19740 33554432000 4194304 10169799 140733464430496 140733464425288 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 20652 19740 842 1459 0 19184 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 82608
[startup+222.3 s]
/proc/loadavg: 2.04 2.02 1.92 3/175 31659
/proc/meminfo: memFree=28276620/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=83008 CPUtime=222.24 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 30032 0 0 0 21885 339 0 0 20 0 1 0 269165546 85000192 19848 33554432000 4194304 10169799 140733464430496 140733464425480 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 20752 19848 842 1459 0 19284 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 83008
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 1.92 3/176 31701
/proc/meminfo: memFree=28265788/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=83536 CPUtime=282.23 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 32848 0 0 0 27849 374 0 0 20 0 1 0 269165546 85540864 20007 33554432000 4194304 10169799 140733464430496 140733464424888 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 20884 20007 842 1459 0 19416 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 83536
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/175 31701
/proc/meminfo: memFree=28261036/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=83980 CPUtime=342.22 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 35458 0 0 0 33822 400 0 0 20 0 1 0 269165546 85995520 20156 33554432000 4194304 10169799 140733464430496 140733464425320 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 20995 20156 842 1459 0 19527 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 83980
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/175 31701
/proc/meminfo: memFree=28260228/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=85380 CPUtime=402.21 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 35768 0 0 0 39793 428 0 0 20 0 1 0 269165546 87429120 20466 33554432000 4194304 10169799 140733464430496 140733464427688 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 21345 20466 842 1459 0 19877 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 85380
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 31701
/proc/meminfo: memFree=28261528/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=85380 CPUtime=462.2 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 35777 0 0 0 45765 455 0 0 20 0 1 0 269165546 87429120 20475 33554432000 4194304 10169799 140733464430496 140733464426680 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 21345 20475 842 1459 0 19877 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 85380
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 31701
/proc/meminfo: memFree=28261404/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=85284 CPUtime=522.19 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 40231 0 0 0 51733 486 0 0 20 0 1 0 269165546 87330816 20450 33554432000 4194304 10169799 140733464430496 140733464424904 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 21321 20450 842 1459 0 19853 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 85284
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 31702
/proc/meminfo: memFree=28261156/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=85508 CPUtime=582.18 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 41658 0 0 0 57703 515 0 0 20 0 1 0 269165546 87560192 20505 33554432000 4194304 10169799 140733464430496 140733464424568 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 21377 20505 842 1459 0 19909 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 85508
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28248124/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=92772 CPUtime=1122.09 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 52135 0 0 0 111365 844 0 0 20 0 1 0 269165546 94998528 22290 33554432000 4194304 10169799 140733464430496 140733464425480 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 23193 22290 842 1459 0 21725 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 92772
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/175 31707
/proc/meminfo: memFree=28247936/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=92772 CPUtime=1182.08 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 52169 0 0 0 117319 889 0 0 20 0 1 0 269165546 94998528 22324 33554432000 4194304 10169799 140733464430496 140733464427688 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 23193 22324 842 1459 0 21725 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 92772
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/175 31707
/proc/meminfo: memFree=28247564/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=92772 CPUtime=1242.07 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 52180 0 0 0 123271 936 0 0 20 0 1 0 269165546 94998528 22335 33554432000 4194304 10169799 140733464430496 140733464424904 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 23193 22335 842 1459 0 21725 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 92772
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 31707
/proc/meminfo: memFree=28243532/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=93820 CPUtime=1302.07 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 52413 0 0 0 129226 981 0 0 20 0 1 0 269165546 96071680 22568 33554432000 4194304 10169799 140733464430496 140733464427688 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 23455 22568 842 1459 0 21987 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 93820
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 31707
/proc/meminfo: memFree=28243468/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=93820 CPUtime=1362.05 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 52420 0 0 0 135185 1020 0 0 20 0 1 0 269165546 96071680 22575 33554432000 4194304 10169799 140733464430496 140733464425000 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 23455 22575 842 1459 0 21987 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 93820
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 31707
/proc/meminfo: memFree=28242972/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=93960 CPUtime=1422.05 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 52440 0 0 0 141139 1066 0 0 20 0 1 0 269165546 96215040 22595 33554432000 4194304 10169799 140733464430496 140733464424904 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 23490 22595 842 1459 0 22022 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 93960
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 31711
/proc/meminfo: memFree=28242352/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=94472 CPUtime=1482.03 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 52571 0 0 0 147091 1112 0 0 20 0 1 0 269165546 96739328 22726 33554432000 4194304 10169799 140733464430496 140733464424904 5747167 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 23618 22726 842 1459 0 22150 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 94472
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 31711
/proc/meminfo: memFree=28241484/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=94056 CPUtime=1542.02 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 55576 0 0 0 153043 1159 0 0 20 0 1 0 269165546 96313344 22606 33554432000 4194304 10169799 140733464430496 140733464424568 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 23514 22606 842 1459 0 22046 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 94056
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/175 31711
/proc/meminfo: memFree=28239376/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=95468 CPUtime=1602.01 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 55934 0 0 0 158991 1210 0 0 20 0 1 0 269165546 97759232 22964 33554432000 4194304 10169799 140733464430496 140733464424904 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 23867 22964 842 1459 0 22399 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 95468
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/175 31711
/proc/meminfo: memFree=28238568/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=95740 CPUtime=1662 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 56004 0 0 0 164942 1258 0 0 20 0 1 0 269165546 98037760 23034 33554432000 4194304 10169799 140733464430496 140733464424312 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 23935 23034 842 1459 0 22467 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 95740
[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 1.94 3/175 31711
/proc/meminfo: memFree=28236768/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=95740 CPUtime=1721.98 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 56007 0 0 0 170892 1306 0 0 20 0 1 0 269165546 98037760 23036 33554432000 4194304 10169799 140733464430496 140733464424904 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 23935 23036 842 1459 0 22467 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 95740
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/175 31711
/proc/meminfo: memFree=28236084/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=95740 CPUtime=1781.97 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 56011 0 0 0 176840 1357 0 0 20 0 1 0 269165546 98037760 23040 33554432000 4194304 10169799 140733464430496 140733464425096 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 23935 23040 842 1459 0 22467 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 95740
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.01 1.94 3/175 31711
/proc/meminfo: memFree=28236456/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=95740 CPUtime=1785.17 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 56011 0 0 0 177157 1360 0 0 20 0 1 0 269165546 98037760 23040 33554432000 4194304 10169799 140733464430496 140733464424824 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 23935 23040 842 1459 0 22467 0
Current children cumulated CPU time (s) 1785.17
Current children cumulated vsize (KiB) 95740
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 1.94 3/175 31712
/proc/meminfo: memFree=28236464/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=95740 CPUtime=1791.58 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 56011 0 0 0 177793 1365 0 0 20 0 1 0 269165546 98037760 23040 33554432000 4194304 10169799 140733464430496 140733464427448 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 23935 23040 842 1459 0 22467 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 95740
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 1.94 3/175 31712
/proc/meminfo: memFree=28236456/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=95740 CPUtime=1794.77 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 56011 0 0 0 178110 1367 0 0 20 0 1 0 269165546 98037760 23040 33554432000 4194304 10169799 140733464430496 140733464425096 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 23935 23040 842 1459 0 22467 0
Current children cumulated CPU time (s) 1794.77
Current children cumulated vsize (KiB) 95740
[startup+1795.9 s]
/proc/loadavg: 2.01 2.01 1.94 3/175 31712
/proc/meminfo: memFree=28236456/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=95740 CPUtime=1795.57 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 56011 0 0 0 178189 1368 0 0 20 0 1 0 269165546 98037760 23040 33554432000 4194304 10169799 140733464430496 140733464424904 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 23935 23040 842 1459 0 22467 0
Current children cumulated CPU time (s) 1795.57
Current children cumulated vsize (KiB) 95740
[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 1.94 3/175 31712
/proc/meminfo: memFree=28236456/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=95740 CPUtime=1796.37 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 56011 0 0 0 178268 1369 0 0 20 0 1 0 269165546 98037760 23040 33554432000 4194304 10169799 140733464430496 140733464424904 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 23935 23040 842 1459 0 22467 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 95740
[startup+1796.9 s]
/proc/loadavg: 2.01 2.01 1.94 3/175 31712
/proc/meminfo: memFree=28236456/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=95740 CPUtime=1796.57 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 56011 0 0 0 178288 1369 0 0 20 0 1 0 269165546 98037760 23040 33554432000 4194304 10169799 140733464430496 140733464424904 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 23935 23040 842 1459 0 22467 0
Current children cumulated CPU time (s) 1796.57
Current children cumulated vsize (KiB) 95740
[startup+1797 s]
/proc/loadavg: 2.01 2.01 1.94 3/175 31712
/proc/meminfo: memFree=28236456/32873844 swapFree=6080/6080
[pid=31658] ppid=31656 vsize=95740 CPUtime=1796.67 cores=1,3,5,7
/proc/31658/stat : 31658 (scip-2.1.1.4sfi) R 31656 31658 29432 0 -1 4202496 56011 0 0 0 178298 1369 0 0 20 0 1 0 269165546 98037760 23040 33554432000 4194304 10169799 140733464430496 140733464424904 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 23935 23040 842 1459 0 22467 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (KiB) 95740
Child status: 0
Real time (s): 1797.04
CPU time (s): 1796.72
CPU user time (s): 1783.02
CPU system time (s): 13.6999
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 96028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.02
system time used= 13.6999
maximum resident set size= 102528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56015
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= 25
involuntary context switches= 4123
runsolver used 2.76758 second user time and 7.05993 second system time
The end