Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed | SAT | -98 | 1796.89 | 1797.23 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_4.opb |
| MD5SUM | d847cf1d914db0ec942abd195c5092c7 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -128 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -124 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 50 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31592 |
| Sum of products size (including duplicates) | 63184 |
| Number of different products | 15796 |
| Sum of products size | 31592 |
0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3692630-1338036643.opb>
0.00/0.08 c original problem has 16796 variables (1000 bin, 0 int, 15796 impl, 0 cont) and 17796 constraints
0.00/0.08 c problem read in 0.08
0.08/0.18 o 0
0.08/0.19 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.08/0.19 c presolving:
0.29/0.38 c (round 1) 15796 del vars, 2000 del conss, 0 add conss, 15796 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 31592 impls, 0 clqs
0.39/0.42 c (round 2) 15796 del vars, 2000 del conss, 0 add conss, 15796 chg bounds, 0 chg sides, 0 chg coeffs, 15796 upgd conss, 31592 impls, 0 clqs
0.39/0.46 c (0.5s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.46 c (0.5s) probing aborted: 50/50 successive totally useless probings
0.39/0.47 c presolving (3 rounds):
0.39/0.47 c 15796 deleted vars, 2000 deleted constraints, 0 added constraints, 15796 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.47 c 63182 implications, 0 cliques
0.39/0.47 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15796 constraints
0.39/0.47 c 15796 constraints of type <setppc>
0.39/0.47 c transformed objective value is always integral (scale: 1)
0.39/0.47 c Presolving Time: 0.32
0.39/0.47 c - non default parameters ----------------------------------------------------------------------
0.39/0.47 c # SCIP version 2.1.1.4
0.39/0.47 c
0.39/0.47 c # maximal time in seconds to run
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/time = 1797
0.39/0.47 c
0.39/0.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/memory = 13950
0.39/0.47 c
0.39/0.47 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.47 c # [type: int, range: [1,2], default: 1]
0.39/0.47 c timing/clocktype = 2
0.39/0.47 c
0.39/0.47 c # belongs reading time to solving time?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c timing/reading = TRUE
0.39/0.47 c
0.39/0.47 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.47 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.47 c separating/rapidlearning/freq = 0
0.39/0.47 c
0.39/0.47 c -----------------------------------------------------------------------------------------------
0.39/0.47 c start solving
0.39/0.47 c
0.59/0.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.63 c t 0.6s| 1 | 0 | 1043 | - | 53M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | Inf
0.59/0.66 o -1
0.59/0.66 c R 0.7s| 1 | 0 | 1043 | - | 53M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | Large
0.69/0.70 o -2
0.69/0.70 c s 0.7s| 1 | 0 | 1043 | - | 53M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | Large
0.89/0.95 c 0.9s| 1 | 0 | 1253 | - | 53M| 0 | 988 |1000 | 15k|1000 | 15k| 13 | 0 | 0 |-4.940000e+02 |-2.000000e+00 | Large
0.89/0.95 o -98
0.89/0.95 c b 1.0s| 1 | 0 | 1253 | - | 53M| 0 | 988 |1000 | 15k|1000 | 15k| 13 | 0 | 0 |-4.940000e+02 |-9.800000e+01 | 404.08%
1.19/1.23 c 1.2s| 1 | 0 | 1391 | - | 53M| 0 | 978 |1000 | 15k|1000 | 15k| 26 | 0 | 0 |-4.890000e+02 |-9.800000e+01 | 398.98%
1.49/1.55 c 1.6s| 1 | 0 | 1596 | - | 53M| 0 | 973 |1000 | 15k|1000 | 15k| 35 | 0 | 0 |-4.865000e+02 |-9.800000e+01 | 396.43%
1.79/1.89 c 1.9s| 1 | 0 | 1783 | - | 54M| 0 | 970 |1000 | 15k|1000 | 15k| 46 | 0 | 0 |-4.842500e+02 |-9.800000e+01 | 394.13%
2.20/2.28 c 2.3s| 1 | 0 | 2040 | - | 54M| 0 | 965 |1000 | 15k|1000 | 15k| 54 | 0 | 0 |-4.825000e+02 |-9.800000e+01 | 392.35%
2.49/2.57 c 2.6s| 1 | 0 | 2125 | - | 54M| 0 | 962 |1000 | 15k|1000 | 15k| 63 | 0 | 0 |-4.807500e+02 |-9.800000e+01 | 390.56%
2.89/2.95 c 2.9s| 1 | 0 | 2423 | - | 54M| 0 | 958 |1000 | 15k|1000 | 15k| 78 | 0 | 0 |-4.782500e+02 |-9.800000e+01 | 388.01%
3.30/3.36 c 3.4s| 1 | 0 | 2772 | - | 54M| 0 | 949 |1000 | 15k|1000 | 15k| 94 | 0 | 0 |-4.740000e+02 |-9.800000e+01 | 383.67%
3.69/3.74 c 3.7s| 1 | 0 | 3129 | - | 54M| 0 | 945 |1000 | 15k|1000 | 15k| 103 | 0 | 0 |-4.713333e+02 |-9.800000e+01 | 380.95%
4.09/4.12 c 4.1s| 1 | 0 | 3379 | - | 54M| 0 | 937 |1000 | 15k|1000 | 15k| 118 | 0 | 0 |-4.675000e+02 |-9.800000e+01 | 377.04%
4.29/4.40 c 4.4s| 1 | 0 | 3652 | - | 55M| 0 | 932 |1000 | 15k|1000 |1611 | 131 | 0 | 0 |-4.655000e+02 |-9.800000e+01 | 375.00%
4.48/4.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.48/4.53 c 4.5s| 1 | 0 | 3918 | - | 55M| 0 | 919 |1000 | 15k|1000 |1623 | 143 | 0 | 0 |-4.640000e+02 |-9.800000e+01 | 373.47%
4.68/4.72 c 4.7s| 1 | 0 | 4579 | - | 55M| 0 | 913 |1000 | 15k|1000 |1759 | 279 | 0 | 0 |-4.625000e+02 |-9.800000e+01 | 371.94%
4.88/4.99 c 5.0s| 1 | 0 | 5636 | - | 55M| 0 | 928 |1000 | 15k|1000 |2018 | 538 | 0 | 0 |-4.610000e+02 |-9.800000e+01 | 370.41%
5.29/5.35 c 5.4s| 1 | 0 | 7736 | - | 56M| 0 | 910 |1000 | 15k|1000 |2083 | 603 | 0 | 0 |-4.590000e+02 |-9.800000e+01 | 368.37%
5.49/5.57 c 5.6s| 1 | 0 | 8347 | - | 56M| 0 | 912 |1000 | 15k|1000 |2245 | 765 | 0 | 0 |-4.580000e+02 |-9.800000e+01 | 367.35%
5.69/5.77 c 5.8s| 1 | 0 | 8641 | - | 57M| 0 | 909 |1000 | 15k|1000 |1879 | 826 | 0 | 0 |-4.570000e+02 |-9.800000e+01 | 366.33%
5.98/6.05 c 6.0s| 1 | 0 | 9796 | - | 57M| 0 | 937 |1000 | 15k|1000 |1971 | 918 | 0 | 0 |-4.557647e+02 |-9.800000e+01 | 365.07%
6.59/6.66 c 6.7s| 1 | 0 | 10134 | - | 58M| 0 | 911 |1000 | 15k|1000 |3971 |2918 | 0 | 0 |-4.552500e+02 |-9.800000e+01 | 364.54%
6.79/6.85 c 6.8s| 1 | 0 | 10548 | - | 59M| 0 | 907 |1000 | 15k|1000 |4008 |2955 | 0 | 0 |-4.545000e+02 |-9.800000e+01 | 363.78%
7.09/7.19 c 7.2s| 1 | 0 | 11851 | - | 59M| 0 | 908 |1000 | 15k|1000 |4037 |2984 | 0 | 0 |-4.533000e+02 |-9.800000e+01 | 362.55%
7.28/7.36 c 7.4s| 1 | 0 | 12339 | - | 59M| 0 | 905 |1000 | 15k|1000 |4155 |3102 | 0 | 0 |-4.522500e+02 |-9.800000e+01 | 361.48%
7.48/7.51 c 7.5s| 1 | 0 | 12744 | - | 59M| 0 | 918 |1000 | 15k|1000 |3732 |3108 | 0 | 0 |-4.511250e+02 |-9.800000e+01 | 360.33%
7.59/7.70 c 7.7s| 1 | 0 | 13374 | - | 59M| 0 | 900 |1000 | 15k|1000 |3762 |3138 | 0 | 0 |-4.492500e+02 |-9.800000e+01 | 358.42%
7.78/7.87 c 7.9s| 1 | 0 | 13891 | - | 59M| 0 | 911 |1000 | 15k|1000 |3872 |3248 | 0 | 0 |-4.480000e+02 |-9.800000e+01 | 357.14%
7.88/7.96 c 8.0s| 1 | 0 | 13928 | - | 59M| 0 | 892 |1000 | 15k|1000 |4020 |3396 | 0 | 0 |-4.480000e+02 |-9.800000e+01 | 357.14%
8.28/8.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.28/8.36 c 8.4s| 1 | 0 | 15767 | - | 59M| 0 | 893 |1000 | 15k|1000 |4136 |3512 | 0 | 0 |-4.460000e+02 |-9.800000e+01 | 355.10%
8.39/8.49 c 8.5s| 1 | 0 | 16013 | - | 59M| 0 | 887 |1000 | 15k|1000 |4241 |3617 | 0 | 0 |-4.445000e+02 |-9.800000e+01 | 353.57%
8.59/8.62 c 8.6s| 1 | 0 | 16229 | - | 59M| 0 | 883 |1000 | 15k|1000 |2021 |3647 | 0 | 0 |-4.435000e+02 |-9.800000e+01 | 352.55%
8.70/8.74 c 8.7s| 1 | 0 | 16536 | - | 59M| 0 | 866 |1000 | 15k|1000 |2090 |3716 | 0 | 0 |-4.430000e+02 |-9.800000e+01 | 352.04%
8.80/8.85 c 8.9s| 1 | 0 | 16771 | - | 59M| 0 | 875 |1000 | 15k|1000 |2344 |3970 | 0 | 0 |-4.415000e+02 |-9.800000e+01 | 350.51%
8.89/8.97 c 9.0s| 1 | 0 | 17105 | - | 60M| 0 | 876 |1000 | 15k|1000 |2435 |4061 | 0 | 0 |-4.410000e+02 |-9.800000e+01 | 350.00%
8.99/9.08 c 9.1s| 1 | 0 | 17320 | - | 60M| 0 | 880 |1000 | 15k|1000 |2514 |4140 | 0 | 0 |-4.410000e+02 |-9.800000e+01 | 350.00%
9.09/9.18 c 9.2s| 1 | 0 | 17458 | - | 60M| 0 | 871 |1000 | 15k|1000 |2542 |4168 | 0 | 0 |-4.405000e+02 |-9.800000e+01 | 349.49%
9.29/9.34 c 9.3s| 1 | 0 | 18029 | - | 60M| 0 | 872 |1000 | 15k|1000 |2066 |4299 | 0 | 0 |-4.400000e+02 |-9.800000e+01 | 348.98%
9.49/9.53 c 9.5s| 1 | 0 | 19189 | - | 60M| 0 | 902 |1000 | 15k|1000 |2173 |4406 | 0 | 0 |-4.390000e+02 |-9.800000e+01 | 347.96%
9.69/9.79 c 9.8s| 1 | 0 | 20022 | - | 60M| 0 | 860 |1000 | 15k|1000 |3045 |5278 | 0 | 0 |-4.370000e+02 |-9.800000e+01 | 345.92%
9.80/9.90 c 9.9s| 1 | 0 | 20294 | - | 60M| 0 | 873 |1000 | 15k|1000 |3206 |5439 | 0 | 0 |-4.365000e+02 |-9.800000e+01 | 345.41%
9.99/10.06 c 10.1s| 1 | 0 | 20845 | - | 60M| 0 | 878 |1000 | 15k|1000 |3213 |5446 | 0 | 0 |-4.355000e+02 |-9.800000e+01 | 344.39%
10.19/10.21 c 10.2s| 1 | 0 | 21313 | - | 60M| 0 | 871 |1000 | 15k|1000 |3263 |5496 | 0 | 0 |-4.350000e+02 |-9.800000e+01 | 343.88%
10.29/10.36 c 10.4s| 1 | 0 | 21805 | - | 60M| 0 | 870 |1000 | 15k|1000 |2612 |5585 | 0 | 0 |-4.332500e+02 |-9.800000e+01 | 342.09%
10.59/10.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.59/10.66 c 10.7s| 1 | 0 | 23907 | - | 60M| 0 | 829 |1000 | 15k|1000 |2750 |5723 | 0 | 0 |-4.305000e+02 |-9.800000e+01 | 339.29%
10.79/10.81 c 10.8s| 1 | 0 | 24462 | - | 60M| 0 | 874 |1000 | 15k|1000 |3137 |6110 | 0 | 0 |-4.300000e+02 |-9.800000e+01 | 338.78%
10.99/11.00 c 11.0s| 1 | 0 | 25344 | - | 61M| 0 | 862 |1000 | 15k|1000 |3211 |6184 | 0 | 0 |-4.285000e+02 |-9.800000e+01 | 337.24%
11.28/11.30 c 11.3s| 1 | 0 | 26803 | - | 61M| 0 | 862 |1000 | 15k|1000 |3245 |6218 | 0 | 0 |-4.267500e+02 |-9.800000e+01 | 335.46%
11.28/11.39 c 11.4s| 1 | 0 | 26908 | - | 61M| 0 | 856 |1000 | 15k|1000 |3308 |6281 | 0 | 0 |-4.267500e+02 |-9.800000e+01 | 335.46%
11.48/11.50 c 11.5s| 1 | 0 | 27154 | - | 61M| 0 | 856 |1000 | 15k|1000 |2285 |6318 | 0 | 0 |-4.257500e+02 |-9.800000e+01 | 334.44%
11.58/11.61 c 11.6s| 1 | 0 | 27443 | - | 61M| 0 | 840 |1000 | 15k|1000 |2403 |6436 | 0 | 0 |-4.250000e+02 |-9.800000e+01 | 333.67%
11.58/11.69 c 11.7s| 1 | 0 | 27500 | - | 61M| 0 | 850 |1000 | 15k|1000 |2525 |6558 | 0 | 0 |-4.250000e+02 |-9.800000e+01 | 333.67%
11.78/11.80 c 11.8s| 1 | 0 | 27805 | - | 61M| 0 | 848 |1000 | 15k|1000 |2530 |6563 | 0 | 0 |-4.240000e+02 |-9.800000e+01 | 332.65%
11.88/11.94 c 11.9s| 1 | 0 | 28370 | - | 61M| 0 | 836 |1000 | 15k|1000 |2538 |6571 | 0 | 0 |-4.230000e+02 |-9.800000e+01 | 331.63%
12.09/12.12 c 12.1s| 1 | 0 | 29178 | - | 61M| 0 | 839 |1000 | 15k|1000 |2659 |6692 | 0 | 0 |-4.225000e+02 |-9.800000e+01 | 331.12%
12.28/12.37 c 12.4s| 1 | 0 | 30895 | - | 61M| 0 | 914 |1000 | 15k|1000 |2003 |6760 | 0 | 0 |-4.215303e+02 |-9.800000e+01 | 330.13%
12.69/12.71 c 12.7s| 1 | 0 | 30975 | - | 61M| 0 | 852 |1000 | 15k|1000 |4003 |8760 | 0 | 0 |-4.215000e+02 |-9.800000e+01 | 330.10%
12.79/12.85 c 12.8s| 1 | 0 | 31339 | - | 61M| 0 | 837 |1000 | 15k|1000 |4010 |8767 | 0 | 0 |-4.200000e+02 |-9.800000e+01 | 328.57%
12.89/12.94 c 12.9s| 1 | 0 | 31439 | - | 61M| 0 | 838 |1000 | 15k|1000 |4087 |8844 | 0 | 0 |-4.200000e+02 |-9.800000e+01 | 328.57%
12.99/13.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.99/13.07 c 13.1s| 1 | 0 | 31792 | - | 61M| 0 | 837 |1000 | 15k|1000 |4113 |8870 | 0 | 0 |-4.195000e+02 |-9.800000e+01 | 328.06%
13.09/13.20 c 13.2s| 1 | 0 | 32145 | - | 61M| 0 | 836 |1000 | 15k|1000 |4147 |8904 | 0 | 0 |-4.190000e+02 |-9.800000e+01 | 327.55%
13.19/13.28 c 13.3s| 1 | 0 | 32184 | - | 61M| 0 | 838 |1000 | 15k|1000 |3748 |8931 | 0 | 0 |-4.190000e+02 |-9.800000e+01 | 327.55%
13.38/13.44 c 13.4s| 1 | 0 | 32757 | - | 61M| 0 | 828 |1000 | 15k|1000 |3753 |8936 | 0 | 0 |-4.180000e+02 |-9.800000e+01 | 326.53%
13.48/13.59 c 13.6s| 1 | 0 | 33255 | - | 61M| 0 | 844 |1000 | 15k|1000 |3842 |9025 | 0 | 0 |-4.170000e+02 |-9.800000e+01 | 325.51%
13.68/13.71 c 13.7s| 1 | 0 | 33497 | - | 61M| 0 | 827 |1000 | 15k|1000 |4001 |9184 | 0 | 0 |-4.165000e+02 |-9.800000e+01 | 325.00%
13.78/13.84 c 13.8s| 1 | 0 | 33848 | - | 61M| 0 | 830 |1000 | 15k|1000 |4077 |9260 | 0 | 0 |-4.150000e+02 |-9.800000e+01 | 323.47%
13.88/13.98 c 14.0s| 1 | 0 | 34248 | - | 61M| 0 | 818 |1000 | 15k|1000 |4082 |9265 | 0 | 0 |-4.140000e+02 |-9.800000e+01 | 322.45%
14.08/14.13 c 14.1s| 1 | 0 | 34637 | - | 61M| 0 | 826 |1000 | 15k|1000 |3734 |9383 | 0 | 0 |-4.130000e+02 |-9.800000e+01 | 321.43%
14.19/14.23 c 14.2s| 1 | 0 | 34815 | - | 61M| 0 | 835 |1000 | 15k|1000 |3740 |9389 | 0 | 0 |-4.128333e+02 |-9.800000e+01 | 321.26%
14.29/14.33 c 14.3s| 1 | 0 | 34945 | - | 61M| 0 | 834 |1000 | 15k|1000 |3744 |9393 | 0 | 0 |-4.123333e+02 |-9.800000e+01 | 320.75%
14.38/14.45 c 14.4s| 1 | 0 | 35221 | - | 61M| 0 | 831 |1000 | 15k|1000 |3748 |9397 | 0 | 0 |-4.122500e+02 |-9.800000e+01 | 320.66%
14.59/14.62 c 14.6s| 1 | 0 | 35915 | - | 61M| 0 | 840 |1000 | 15k|1000 |3772 |9421 | 0 | 0 |-4.112000e+02 |-9.800000e+01 | 319.59%
14.79/14.86 c 14.9s| 1 | 0 | 36986 | - | 61M| 0 | 845 |1000 | 15k|1000 |3917 |9566 | 0 | 0 |-4.106250e+02 |-9.800000e+01 | 319.01%
15.09/15.10 c 15.1s| 1 | 0 | 37926 | - | 61M| 0 | 844 |1000 | 15k|1000 |3683 |9595 | 0 | 0 |-4.096250e+02 |-9.800000e+01 | 317.98%
15.19/15.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.19/15.29 c 15.3s| 1 | 0 | 38546 | - | 61M| 0 | 842 |1000 | 15k|1000 |3784 |9696 | 0 | 0 |-4.086667e+02 |-9.800000e+01 | 317.01%
15.39/15.48 c 15.5s| 1 | 0 | 39133 | - | 61M| 0 | 803 |1000 | 15k|1000 |3890 |9802 | 0 | 0 |-4.075000e+02 |-9.800000e+01 | 315.82%
15.58/15.63 c 15.6s| 1 | 0 | 39627 | - | 61M| 0 | 813 |1000 | 15k|1000 |4016 |9928 | 0 | 0 |-4.070000e+02 |-9.800000e+01 | 315.31%
15.78/15.87 c 15.9s| 1 | 0 | 40524 | - | 61M| 0 | 869 |1000 | 15k|1000 |4066 |9978 | 0 | 0 |-4.056667e+02 |-9.800000e+01 | 313.95%
15.88/15.99 c 16.0s| 1 | 0 | 40739 | - | 61M| 0 | 820 |1000 | 15k|1000 |4164 | 10k| 0 | 0 |-4.051667e+02 |-9.800000e+01 | 313.44%
16.08/16.14 c 16.1s| 1 | 0 | 41197 | - | 61M| 0 | 861 |1000 | 15k|1000 |3958 | 10k| 0 | 0 |-4.047955e+02 |-9.800000e+01 | 313.06%
16.28/16.30 c 16.3s| 1 | 0 | 41573 | - | 62M| 0 | 848 |1000 | 15k|1000 |4271 | 10k| 0 | 0 |-4.043000e+02 |-9.800000e+01 | 312.55%
16.39/16.48 c 16.5s| 1 | 0 | 42099 | - | 62M| 0 | 855 |1000 | 15k|1000 |4296 | 10k| 0 | 0 |-4.032857e+02 |-9.800000e+01 | 311.52%
16.58/16.63 c 16.6s| 1 | 0 | 42530 | - | 62M| 0 | 843 |1000 | 15k|1000 |4387 | 10k| 0 | 0 |-4.022500e+02 |-9.800000e+01 | 310.46%
16.68/16.78 c 16.8s| 1 | 0 | 42889 | - | 62M| 0 | 803 |1000 | 15k|1000 |4419 | 10k| 0 | 0 |-4.015000e+02 |-9.800000e+01 | 309.69%
16.98/17.02 c 17.0s| 1 | 0 | 43728 | - | 62M| 0 | 841 |1000 | 15k|1000 |4424 | 10k| 0 | 0 |-4.008750e+02 |-9.800000e+01 | 309.06%
17.18/17.23 c 17.2s| 1 | 0 | 44381 | - | 62M| 0 | 842 |1000 | 15k|1000 |4221 | 10k| 0 | 0 |-4.005000e+02 |-9.800000e+01 | 308.67%
17.28/17.32 c 17.3s| 1 | 0 | 44449 | - | 62M| 0 | 813 |1000 | 15k|1000 |4248 | 10k| 0 | 0 |-4.005000e+02 |-9.800000e+01 | 308.67%
17.38/17.42 c 17.4s| 1 | 0 | 44588 | - | 62M| 0 | 803 |1000 | 15k|1000 |4257 | 10k| 0 | 0 |-4.005000e+02 |-9.800000e+01 | 308.67%
17.38/17.50 c 17.5s| 1 | 0 | 44638 | - | 62M| 0 | 803 |1000 | 15k|1000 |4263 | 10k| 0 | 0 |-4.000000e+02 |-9.800000e+01 | 308.16%
17.69/17.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.69/17.70 c 17.7s| 1 | 0 | 45326 | - | 62M| 0 | 801 |1000 | 15k|1000 |4268 | 10k| 0 | 0 |-3.990000e+02 |-9.800000e+01 | 307.14%
17.69/17.77 c 17.8s| 1 | 0 | 45343 | - | 62M| 0 | 801 |1000 | 15k|1000 |4275 | 10k| 0 | 0 |-3.990000e+02 |-9.800000e+01 | 307.14%
17.89/17.98 c 18.0s| 1 | 0 | 46071 | - | 62M| 0 | 798 |1000 | 15k|1000 |3886 | 10k| 0 | 0 |-3.985000e+02 |-9.800000e+01 | 306.63%
18.18/18.23 c 18.2s| 1 | 0 | 47290 | - | 62M| 0 | 789 |1000 | 15k|1000 |3915 | 10k| 0 | 0 |-3.975000e+02 |-9.800000e+01 | 305.61%
18.38/18.40 c 18.4s| 1 | 0 | 47819 | - | 62M| 0 | 789 |1000 | 15k|1000 |3975 | 10k| 0 | 0 |-3.970000e+02 |-9.800000e+01 | 305.10%
18.48/18.53 c 18.5s| 1 | 0 | 48153 | - | 62M| 0 | 791 |1000 | 15k|1000 |4066 | 10k| 0 | 0 |-3.965000e+02 |-9.800000e+01 | 304.59%
18.59/18.70 c 18.7s| 1 | 0 | 48808 | - | 62M| 0 | 798 |1000 | 15k|1000 |4113 | 10k| 0 | 0 |-3.957500e+02 |-9.800000e+01 | 303.83%
18.89/18.97 c 19.0s| 1 | 0 | 49824 | - | 62M| 0 | 869 |1000 | 15k|1000 |4228 | 11k| 0 | 0 |-3.946429e+02 |-9.800000e+01 | 302.70%
19.19/19.27 c 19.3s| 1 | 0 | 50878 | - | 62M| 0 | 834 |1000 | 15k|1000 |4244 | 11k| 0 | 0 |-3.940000e+02 |-9.800000e+01 | 302.04%
19.48/19.50 c 19.5s| 1 | 0 | 51782 | - | 62M| 0 | 868 |1000 | 15k|1000 |4302 | 11k| 0 | 0 |-3.933333e+02 |-9.800000e+01 | 301.36%
19.79/19.89 c 19.9s| 1 | 0 | 53247 | - | 62M| 0 | 866 |1000 | 15k|1000 |4424 | 11k| 0 | 0 |-3.920000e+02 |-9.800000e+01 | 300.00%
20.18/20.26 c 20.3s| 1 | 0 | 54745 | - | 62M| 0 | 876 |1000 | 15k|1000 |4513 | 11k| 0 | 0 |-3.911250e+02 |-9.800000e+01 | 299.11%
20.38/20.44 c 20.4s| 1 | 0 | 55243 | - | 62M| 0 | 863 |1000 | 15k|1000 |4618 | 11k| 0 | 0 |-3.901000e+02 |-9.800000e+01 | 298.06%
20.68/20.71 c 20.7s| 1 | 0 | 56169 | - | 62M| 0 | 866 |1000 | 15k|1000 |4665 | 11k| 0 | 0 |-3.891667e+02 |-9.800000e+01 | 297.11%
20.99/21.02 c 21.0s| 1 | 0 | 57166 | - | 62M| 0 | 882 |1000 | 15k|1000 |4591 | 11k| 0 | 0 |-3.884342e+02 |-9.800000e+01 | 296.36%
21.19/21.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.19/21.21 c 21.2s| 1 | 0 | 57689 | - | 62M| 0 | 878 |1000 | 15k|1000 |4653 | 11k| 0 | 0 |-3.877500e+02 |-9.800000e+01 | 295.66%
21.29/21.37 c 21.4s| 1 | 0 | 58148 | - | 62M| 0 | 872 |1000 | 15k|1000 |4678 | 11k| 0 | 0 |-3.867500e+02 |-9.800000e+01 | 294.64%
21.59/21.62 c 21.6s| 1 | 0 | 58943 | - | 62M| 0 | 803 |1000 | 15k|1000 |4708 | 11k| 0 | 0 |-3.855000e+02 |-9.800000e+01 | 293.37%
21.78/21.82 c 21.8s| 1 | 0 | 59533 | - | 62M| 0 | 886 |1000 | 15k|1000 |4713 | 11k| 0 | 0 |-3.851466e+02 |-9.800000e+01 | 293.01%
22.18/22.24 c 22.2s| 1 | 0 | 60986 | - | 62M| 0 | 872 |1000 | 15k|1000 |4874 | 12k| 0 | 0 |-3.836875e+02 |-9.800000e+01 | 291.52%
22.28/22.37 c 22.4s| 1 | 0 | 61267 | - | 62M| 0 | 777 |1000 | 15k|1000 |4519 | 12k| 0 | 0 |-3.830000e+02 |-9.800000e+01 | 290.82%
22.58/22.67 c 22.7s| 1 | 0 | 62333 | - | 62M| 0 | 782 |1000 | 15k|1000 |4541 | 12k| 0 | 0 |-3.820000e+02 |-9.800000e+01 | 289.80%
22.99/23.01 c 23.0s| 1 | 0 | 63575 | - | 62M| 0 | 783 |1000 | 15k|1000 |4578 | 12k| 0 | 0 |-3.810000e+02 |-9.800000e+01 | 288.78%
23.28/23.38 c 23.4s| 1 | 0 | 65244 | - | 62M| 0 | 814 |1000 | 15k|1000 |4603 | 12k| 0 | 0 |-3.805000e+02 |-9.800000e+01 | 288.27%
23.78/23.87 c 23.9s| 1 | 0 | 67557 | - | 61M| 0 | 891 |1000 | 15k|1000 |4715 | 12k| 0 | 0 |-3.795033e+02 |-9.800000e+01 | 287.25%
24.38/24.49 c 24.5s| 1 | 0 | 70093 | - | 61M| 0 | 897 |1000 | 15k|1000 |4879 | 12k| 0 | 0 |-3.787080e+02 |-9.800000e+01 | 286.44%
25.28/25.34 c 25.3s| 1 | 0 | 73518 | - | 61M| 0 | 903 |1000 | 15k|1000 |4850 | 12k| 0 | 0 |-3.767875e+02 |-9.800000e+01 | 284.48%
25.68/25.78 c 25.8s| 1 | 0 | 75120 | - | 61M| 0 | 912 |1000 | 15k|1000 |4914 | 12k| 0 | 0 |-3.763571e+02 |-9.800000e+01 | 284.04%
26.18/26.27 c 26.3s| 1 | 0 | 76796 | - | 61M| 0 | 938 |1000 | 15k|1000 |4970 | 12k| 0 | 0 |-3.755708e+02 |-9.800000e+01 | 283.24%
26.88/26.97 c 27.0s| 1 | 0 | 79288 | - | 61M| 0 | 943 |1000 | 15k|1000 |5117 | 12k| 0 | 0 |-3.739151e+02 |-9.800000e+01 | 281.55%
27.58/27.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.58/27.69 c 27.7s| 1 | 0 | 81837 | - | 61M| 0 | 932 |1000 | 15k|1000 |5232 | 13k| 0 | 0 |-3.729242e+02 |-9.800000e+01 | 280.53%
28.08/28.13 c 28.1s| 1 | 0 | 83300 | - | 60M| 0 | 940 |1000 | 15k|1000 |5318 | 13k| 0 | 0 |-3.720066e+02 |-9.800000e+01 | 279.60%
28.59/28.61 c 28.6s| 1 | 0 | 84856 | - | 60M| 0 | 933 |1000 | 15k|1000 |5175 | 13k| 0 | 0 |-3.712086e+02 |-9.800000e+01 | 278.78%
29.08/29.16 c 29.2s| 1 | 0 | 86761 | - | 60M| 0 | 928 |1000 | 15k|1000 |5222 | 13k| 0 | 0 |-3.705903e+02 |-9.800000e+01 | 278.15%
29.48/29.51 c 29.5s| 1 | 0 | 87830 | - | 60M| 0 | 927 |1000 | 15k|1000 |5229 | 13k| 0 | 0 |-3.697895e+02 |-9.800000e+01 | 277.34%
29.78/29.83 c 29.8s| 1 | 0 | 88896 | - | 59M| 0 | 938 |1000 | 15k|1000 |5277 | 13k| 0 | 0 |-3.690963e+02 |-9.800000e+01 | 276.63%
30.28/30.34 c 30.3s| 1 | 0 | 90669 | - | 59M| 0 | 932 |1000 | 15k|1000 |5304 | 13k| 0 | 0 |-3.679780e+02 |-9.800000e+01 | 275.49%
30.79/30.82 c 30.8s| 1 | 0 | 92293 | - | 59M| 0 | 933 |1000 | 15k|1000 |5324 | 13k| 0 | 0 |-3.670251e+02 |-9.800000e+01 | 274.52%
30.98/31.03 c 31.0s| 1 | 0 | 92783 | - | 59M| 0 | 918 |1000 | 15k|1000 |5006 | 13k| 0 | 0 |-3.667348e+02 |-9.800000e+01 | 274.22%
31.38/31.45 c 31.5s| 1 | 0 | 94150 | - | 59M| 0 | 932 |1000 | 15k|1000 |5016 | 13k| 0 | 0 |-3.661935e+02 |-9.800000e+01 | 273.67%
31.98/32.01 c 32.0s| 1 | 0 | 95963 | - | 59M| 0 | 933 |1000 | 15k|1000 |5067 | 13k| 0 | 0 |-3.655215e+02 |-9.800000e+01 | 272.98%
32.38/32.49 c 32.5s| 1 | 0 | 97399 | - | 59M| 0 | 940 |1000 | 15k|1000 |5129 | 13k| 0 | 0 |-3.649226e+02 |-9.800000e+01 | 272.37%
32.89/32.99 c 33.0s| 1 | 0 | 98976 | - | 59M| 0 | 940 |1000 | 15k|1000 |5144 | 13k| 0 | 0 |-3.642054e+02 |-9.800000e+01 | 271.64%
33.68/33.70 c 33.7s| 1 | 0 |101449 | - | 59M| 0 | 943 |1000 | 15k|1000 |5194 | 13k| 0 | 0 |-3.630060e+02 |-9.800000e+01 | 270.41%
34.48/34.57 c 34.6s| 1 | 0 |104810 | - | 59M| 0 | 943 |1000 | 15k|1000 |5017 | 13k| 0 | 0 |-3.618255e+02 |-9.800000e+01 | 269.21%
35.48/35.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.48/35.56 c 35.6s| 1 | 0 |108383 | - | 59M| 0 | 944 |1000 | 15k|1000 |5079 | 13k| 0 | 0 |-3.601297e+02 |-9.800000e+01 | 267.48%
36.28/36.36 c 36.4s| 1 | 0 |111186 | - | 59M| 0 | 941 |1000 | 15k|1000 |5138 | 13k| 0 | 0 |-3.592962e+02 |-9.800000e+01 | 266.63%
36.78/36.88 c 36.9s| 1 | 0 |112796 | - | 59M| 0 | 957 |1000 | 15k|1000 |5211 | 13k| 0 | 0 |-3.586592e+02 |-9.800000e+01 | 265.98%
37.78/37.89 c 37.9s| 1 | 0 |116667 | - | 59M| 0 | 962 |1000 | 15k|1000 |5335 | 13k| 0 | 0 |-3.570300e+02 |-9.800000e+01 | 264.32%
38.39/38.50 c 38.5s| 1 | 0 |118848 | - | 59M| 0 | 965 |1000 | 15k|1000 |5366 | 13k| 0 | 0 |-3.562851e+02 |-9.800000e+01 | 263.56%
39.08/39.13 c 39.1s| 1 | 0 |120947 | - | 59M| 0 | 956 |1000 | 15k|1000 |5370 | 14k| 0 | 0 |-3.554634e+02 |-9.800000e+01 | 262.72%
39.87/39.92 c 39.9s| 1 | 0 |123592 | - | 59M| 0 | 959 |1000 | 15k|1000 |5407 | 14k| 0 | 0 |-3.543667e+02 |-9.800000e+01 | 261.60%
40.27/40.38 c 40.4s| 1 | 0 |125135 | - | 59M| 0 | 952 |1000 | 15k|1000 |5459 | 14k| 0 | 0 |-3.537275e+02 |-9.800000e+01 | 260.95%
41.18/41.26 c 41.3s| 1 | 0 |128200 | - | 59M| 0 | 967 |1000 | 15k|1000 |5487 | 14k| 0 | 0 |-3.532166e+02 |-9.800000e+01 | 260.43%
41.98/42.04 c 42.0s| 1 | 0 |130707 | - | 59M| 0 | 968 |1000 | 15k|1000 |5526 | 14k| 0 | 0 |-3.520978e+02 |-9.800000e+01 | 259.28%
42.48/42.58 c 42.6s| 1 | 0 |132320 | - | 59M| 0 | 972 |1000 | 15k|1000 |5577 | 14k| 0 | 0 |-3.515578e+02 |-9.800000e+01 | 258.73%
43.28/43.33 c 43.3s| 1 | 0 |134686 | - | 59M| 0 | 971 |1000 | 15k|1000 |5434 | 14k| 0 | 0 |-3.506559e+02 |-9.800000e+01 | 257.81%
43.68/43.72 c 43.7s| 1 | 0 |135826 | - | 59M| 0 | 976 |1000 | 15k|1000 |5502 | 14k| 0 | 0 |-3.504374e+02 |-9.800000e+01 | 257.59%
44.18/44.29 c 44.3s| 1 | 0 |137750 | - | 59M| 0 | 972 |1000 | 15k|1000 |5542 | 14k| 0 | 0 |-3.495510e+02 |-9.800000e+01 | 256.68%
45.08/45.11 c 45.1s| 1 | 0 |140394 | - | 59M| 0 | 965 |1000 | 15k|1000 |5575 | 14k| 0 | 0 |-3.487219e+02 |-9.800000e+01 | 255.84%
45.78/45.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.78/45.89 c 45.9s| 1 | 0 |142997 | - | 59M| 0 | 973 |1000 | 15k|1000 |5619 | 14k| 0 | 0 |-3.480335e+02 |-9.800000e+01 | 255.14%
46.48/46.51 c 46.5s| 1 | 0 |144870 | - | 59M| 0 | 976 |1000 | 15k|1000 |5639 | 14k| 0 | 0 |-3.474972e+02 |-9.800000e+01 | 254.59%
47.28/47.32 c 47.3s| 1 | 0 |147356 | - | 59M| 0 | 984 |1000 | 15k|1000 |5461 | 14k| 0 | 0 |-3.468550e+02 |-9.800000e+01 | 253.93%
48.08/48.16 c 48.2s| 1 | 0 |150212 | - | 59M| 0 | 984 |1000 | 15k|1000 |5480 | 14k| 0 | 0 |-3.461870e+02 |-9.800000e+01 | 253.25%
49.39/49.42 c 49.4s| 1 | 0 |154486 | - | 59M| 0 | 980 |1000 | 15k|1000 |5541 | 14k| 0 | 0 |-3.452704e+02 |-9.800000e+01 | 252.32%
49.98/50.10 c 50.1s| 1 | 0 |156505 | - | 59M| 0 | 981 |1000 | 15k|1000 |5574 | 14k| 0 | 0 |-3.446402e+02 |-9.800000e+01 | 251.67%
50.78/50.83 c 50.8s| 1 | 0 |158805 | - | 59M| 0 | 987 |1000 | 15k|1000 |5613 | 14k| 0 | 0 |-3.439304e+02 |-9.800000e+01 | 250.95%
51.38/51.40 c 51.4s| 1 | 0 |160389 | - | 58M| 0 | 986 |1000 | 15k|1000 |5629 | 14k| 0 | 0 |-3.432963e+02 |-9.800000e+01 | 250.30%
51.88/51.97 c 52.0s| 1 | 0 |161988 | - | 58M| 0 | 985 |1000 | 15k|1000 |5510 | 14k| 0 | 0 |-3.426587e+02 |-9.800000e+01 | 249.65%
52.57/52.66 c 52.7s| 1 | 0 |163994 | - | 58M| 0 | 988 |1000 | 15k|1000 |5537 | 14k| 0 | 0 |-3.419761e+02 |-9.800000e+01 | 248.96%
53.38/53.43 c 53.4s| 1 | 0 |166294 | - | 58M| 0 | 994 |1000 | 15k|1000 |5571 | 14k| 0 | 0 |-3.411605e+02 |-9.800000e+01 | 248.12%
54.37/54.42 c 54.4s| 1 | 0 |169157 | - | 58M| 0 | 988 |1000 | 15k|1000 |5648 | 14k| 0 | 0 |-3.402488e+02 |-9.800000e+01 | 247.19%
54.88/54.94 c 54.9s| 1 | 0 |170544 | - | 58M| 0 | 990 |1000 | 15k|1000 |5662 | 14k| 0 | 0 |-3.399440e+02 |-9.800000e+01 | 246.88%
55.98/56.04 c 56.0s| 1 | 0 |173637 | - | 58M| 0 | 993 |1000 | 15k|1000 |5705 | 14k| 0 | 0 |-3.391049e+02 |-9.800000e+01 | 246.03%
56.97/57.07 c 57.1s| 1 | 0 |176693 | - | 58M| 0 | 989 |1000 | 15k|1000 |5652 | 15k| 0 | 0 |-3.384717e+02 |-9.800000e+01 | 245.38%
57.77/57.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.77/57.89 c 57.9s| 1 | 0 |179083 | - | 58M| 0 | 988 |1000 | 15k|1000 |5679 | 15k| 0 | 0 |-3.379490e+02 |-9.800000e+01 | 244.85%
58.58/58.67 c 58.7s| 1 | 0 |181277 | - | 58M| 0 | 990 |1000 | 15k|1000 |5717 | 15k| 0 | 0 |-3.372135e+02 |-9.800000e+01 | 244.10%
59.78/59.80 c 59.8s| 1 | 0 |184755 | - | 58M| 0 | 988 |1000 | 15k|1000 |5756 | 15k| 0 | 0 |-3.363954e+02 |-9.800000e+01 | 243.26%
60.18/60.20 c 60.2s| 1 | 0 |185783 | - | 58M| 0 | 990 |1000 | 15k|1000 |5788 | 15k| 0 | 0 |-3.362063e+02 |-9.800000e+01 | 243.07%
60.68/60.79 c 60.8s| 1 | 0 |187459 | - | 58M| 0 | 993 |1000 | 15k|1000 |5808 | 15k| 0 | 0 |-3.357380e+02 |-9.800000e+01 | 242.59%
61.37/61.46 c 61.5s| 1 | 0 |189516 | - | 58M| 0 | 992 |1000 | 15k|1000 |5751 | 15k| 0 | 0 |-3.351559e+02 |-9.800000e+01 | 242.00%
62.27/62.32 c 62.3s| 1 | 0 |192030 | - | 58M| 0 | 992 |1000 | 15k|1000 |5788 | 15k| 0 | 0 |-3.345782e+02 |-9.800000e+01 | 241.41%
63.38/63.47 c 63.5s| 1 | 0 |195185 | - | 58M| 0 | 991 |1000 | 15k|1000 |5830 | 15k| 0 | 0 |-3.334740e+02 |-9.800000e+01 | 240.28%
64.27/64.35 c 64.3s| 1 | 0 |197667 | - | 58M| 0 | 993 |1000 | 15k|1000 |5871 | 15k| 0 | 0 |-3.328825e+02 |-9.800000e+01 | 239.68%
64.97/65.09 c 65.1s| 1 | 0 |199598 | - | 58M| 0 | 995 |1000 | 15k|1000 |5905 | 15k| 0 | 0 |-3.324335e+02 |-9.800000e+01 | 239.22%
65.88/65.98 c 66.0s| 1 | 0 |201881 | - | 58M| 0 | 993 |1000 | 15k|1000 |5932 | 15k| 0 | 0 |-3.318551e+02 |-9.800000e+01 | 238.63%
67.47/67.53 c 67.5s| 1 | 0 |206504 | - | 58M| 0 | 993 |1000 | 15k|1000 |5876 | 15k| 0 | 0 |-3.311381e+02 |-9.800000e+01 | 237.90%
68.57/68.61 c 68.6s| 1 | 0 |209378 | - | 58M| 0 | 996 |1000 | 15k|1000 |5900 | 15k| 0 | 0 |-3.307261e+02 |-9.800000e+01 | 237.48%
69.18/69.24 c 69.2s| 1 | 0 |210921 | - | 58M| 0 | 996 |1000 | 15k|1000 |5922 | 15k| 0 | 0 |-3.303799e+02 |-9.800000e+01 | 237.12%
70.07/70.18 c 70.2s| 1 | 0 |213330 | - | 58M| 0 | 994 |1000 | 15k|1000 |5948 | 15k| 0 | 0 |-3.299511e+02 |-9.800000e+01 | 236.68%
70.78/70.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.78/70.86 c 70.9s| 1 | 0 |215120 | - | 58M| 0 | 996 |1000 | 15k|1000 |5969 | 15k| 0 | 0 |-3.294038e+02 |-9.800000e+01 | 236.13%
71.57/71.64 c 71.6s| 1 | 0 |217061 | - | 58M| 0 | 996 |1000 | 15k|1000 |5988 | 15k| 0 | 0 |-3.289696e+02 |-9.800000e+01 | 235.68%
72.17/72.21 c 72.2s| 1 | 0 |218402 | - | 58M| 0 | 997 |1000 | 15k|1000 |5938 | 15k| 0 | 0 |-3.287151e+02 |-9.800000e+01 | 235.42%
73.27/73.31 c 73.3s| 1 | 0 |221449 | - | 58M| 0 | 996 |1000 | 15k|1000 |5962 | 15k| 0 | 0 |-3.282464e+02 |-9.800000e+01 | 234.95%
73.87/73.97 c 74.0s| 1 | 0 |223095 | - | 58M| 0 | 996 |1000 | 15k|1000 |5988 | 15k| 0 | 0 |-3.279328e+02 |-9.800000e+01 | 234.63%
74.57/74.64 c 74.6s| 1 | 0 |224871 | - | 58M| 0 | 996 |1000 | 15k|1000 |6011 | 15k| 0 | 0 |-3.275947e+02 |-9.800000e+01 | 234.28%
75.27/75.32 c 75.3s| 1 | 0 |226601 | - | 58M| 0 | 996 |1000 | 15k|1000 |6030 | 15k| 0 | 0 |-3.272281e+02 |-9.800000e+01 | 233.91%
75.88/75.91 c 75.9s| 1 | 0 |228202 | - | 58M| 0 | 998 |1000 | 15k|1000 |6047 | 15k| 0 | 0 |-3.270170e+02 |-9.800000e+01 | 233.69%
76.57/76.61 c 76.6s| 1 | 0 |230002 | - | 58M| 0 | 998 |1000 | 15k|1000 |5984 | 15k| 0 | 0 |-3.266578e+02 |-9.800000e+01 | 233.32%
77.27/77.39 c 77.4s| 1 | 0 |231979 | - | 58M| 0 | 999 |1000 | 15k|1000 |6001 | 15k| 0 | 0 |-3.262721e+02 |-9.800000e+01 | 232.93%
77.67/77.75 c 77.7s| 1 | 0 |232705 | - | 58M| 0 | 998 |1000 | 15k|1000 |6018 | 15k| 0 | 0 |-3.261585e+02 |-9.800000e+01 | 232.81%
78.27/78.33 c 78.3s| 1 | 0 |234135 | - | 58M| 0 | 994 |1000 | 15k|1000 |6036 | 15k| 0 | 0 |-3.257284e+02 |-9.800000e+01 | 232.38%
78.87/78.93 c 78.9s| 1 | 0 |235595 | - | 58M| 0 | 999 |1000 | 15k|1000 |6054 | 15k| 0 | 0 |-3.254226e+02 |-9.800000e+01 | 232.06%
79.27/79.33 c 79.3s| 1 | 0 |236399 | - | 58M| 0 | 997 |1000 | 15k|1000 |6065 | 15k| 0 | 0 |-3.252824e+02 |-9.800000e+01 | 231.92%
79.77/79.87 c 79.9s| 1 | 0 |237654 | - | 58M| 0 | 998 |1000 | 15k|1000 |6011 | 15k| 0 | 0 |-3.250942e+02 |-9.800000e+01 | 231.73%
80.27/80.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.27/80.34 c 80.3s| 1 | 0 |238723 | - | 58M| 0 | 998 |1000 | 15k|1000 |6024 | 15k| 0 | 0 |-3.249526e+02 |-9.800000e+01 | 231.58%
80.87/80.90 c 80.9s| 1 | 0 |240119 | - | 58M| 0 | 998 |1000 | 15k|1000 |6039 | 15k| 0 | 0 |-3.247015e+02 |-9.800000e+01 | 231.33%
81.28/81.35 c 81.3s| 1 | 0 |241157 | - | 58M| 0 | 997 |1000 | 15k|1000 |6053 | 15k| 0 | 0 |-3.245355e+02 |-9.800000e+01 | 231.16%
81.77/81.86 c 81.9s| 1 | 0 |242589 | - | 58M| 0 | 996 |1000 | 15k|1000 |6066 | 15k| 0 | 0 |-3.243332e+02 |-9.800000e+01 | 230.95%
82.07/82.16 c 82.2s| 1 | 0 |243158 | - | 58M| 0 | 998 |1000 | 15k|1000 |6079 | 15k| 0 | 0 |-3.242457e+02 |-9.800000e+01 | 230.86%
82.57/82.69 c 82.7s| 1 | 0 |244394 | - | 58M| 0 | 998 |1000 | 15k|1000 |6035 | 15k| 0 | 0 |-3.240789e+02 |-9.800000e+01 | 230.69%
82.97/83.01 c 83.0s| 1 | 0 |245050 | - | 58M| 0 | 998 |1000 | 15k|1000 |6048 | 15k| 0 | 0 |-3.239865e+02 |-9.800000e+01 | 230.60%
83.48/83.59 c 83.6s| 1 | 0 |246503 | - | 58M| 0 | 999 |1000 | 15k|1000 |6063 | 15k| 0 | 0 |-3.237990e+02 |-9.800000e+01 | 230.41%
83.77/83.85 c 83.8s| 1 | 0 |246954 | - | 58M| 0 | 998 |1000 | 15k|1000 |6070 | 15k| 0 | 0 |-3.237509e+02 |-9.800000e+01 | 230.36%
84.17/84.20 c 84.2s| 1 | 0 |247685 | - | 58M| 0 | 996 |1000 | 15k|1000 |6084 | 15k| 0 | 0 |-3.236830e+02 |-9.800000e+01 | 230.29%
84.47/84.59 c 84.6s| 1 | 0 |248557 | - | 58M| 0 | 999 |1000 | 15k|1000 |6102 | 15k| 0 | 0 |-3.235898e+02 |-9.800000e+01 | 230.19%
84.87/84.96 c 85.0s| 1 | 0 |249331 | - | 58M| 0 | 998 |1000 | 15k|1000 |6058 | 15k| 0 | 0 |-3.235069e+02 |-9.800000e+01 | 230.11%
85.27/85.30 c 85.3s| 1 | 0 |250111 | - | 58M| 0 | 998 |1000 | 15k|1000 |6068 | 15k| 0 | 0 |-3.234129e+02 |-9.800000e+01 | 230.01%
85.67/85.73 c 85.7s| 1 | 0 |251053 | - | 58M| 0 | 998 |1000 | 15k|1000 |6084 | 15k| 0 | 0 |-3.232567e+02 |-9.800000e+01 | 229.85%
85.97/86.08 c 86.1s| 1 | 0 |251817 | - | 58M| 0 | 999 |1000 | 15k|1000 |6103 | 15k| 0 | 0 |-3.231831e+02 |-9.800000e+01 | 229.78%
86.57/86.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.57/86.68 c 86.7s| 1 | 0 |253373 | - | 58M| 0 | 998 |1000 | 15k|1000 |6117 | 15k| 0 | 0 |-3.231021e+02 |-9.800000e+01 | 229.70%
86.88/86.98 c 87.0s| 1 | 0 |253949 | - | 58M| 0 | 997 |1000 | 15k|1000 |6130 | 15k| 0 | 0 |-3.230753e+02 |-9.800000e+01 | 229.67%
87.47/87.56 c 87.6s| 1 | 0 |255302 | - | 58M| 0 | 996 |1000 | 15k|1000 |6097 | 16k| 0 | 0 |-3.229191e+02 |-9.800000e+01 | 229.51%
88.07/88.18 c 88.2s| 1 | 0 |256907 | - | 58M| 0 | 996 |1000 | 15k|1000 |6109 | 16k| 0 | 0 |-3.227826e+02 |-9.800000e+01 | 229.37%
88.57/88.64 c 88.6s| 1 | 0 |258061 | - | 58M| 0 | 999 |1000 | 15k|1000 |6126 | 16k| 0 | 0 |-3.227241e+02 |-9.800000e+01 | 229.31%
88.98/89.01 c 89.0s| 1 | 0 |258914 | - | 58M| 0 | 998 |1000 | 15k|1000 |6141 | 16k| 0 | 0 |-3.226926e+02 |-9.800000e+01 | 229.28%
89.17/89.20 c 89.2s| 1 | 0 |259158 | - | 58M| 0 | 972 |1000 | 15k|1000 |6155 | 16k| 0 | 0 |-3.226667e+02 |-9.800000e+01 | 229.25%
89.27/89.30 c 89.3s| 1 | 0 |259160 | - | 58M| 0 | 967 |1000 | 15k|1000 |6160 | 16k| 0 | 0 |-3.226667e+02 |-9.800000e+01 | 229.25%
102.57/102.61 c 103s| 1 | 2 |259160 | - | 57M| 0 | 967 |1000 | 15k|1000 |6160 | 16k| 0 | 41 |-3.226667e+02 |-9.800000e+01 | 229.25%
175.56/175.69 c 176s| 100 | 101 |570459 |3144.4 | 58M| 36 | 356 |1000 | 15k|1000 |1132 | 21k| 0 | 596 |-3.221185e+02 |-9.800000e+01 | 228.69%
187.46/187.50 c 187s| 200 | 201 |647851 |1953.2 | 59M| 39 | 273 |1000 | 15k|1000 |1142 | 34k| 0 | 687 |-3.219958e+02 |-9.800000e+01 | 228.57%
195.25/195.30 c 195s| 300 | 301 |697077 |1464.6 | 59M| 42 | 407 |1000 | 15k|1000 |1790 | 48k| 0 | 799 |-3.219466e+02 |-9.800000e+01 | 228.52%
208.66/208.72 c 209s| 400 | 401 |779778 |1304.8 | 60M| 44 | 167 |1000 | 15k|1000 |1131 | 59k| 0 | 880 |-3.216377e+02 |-9.800000e+01 | 228.20%
230.75/230.83 c 231s| 500 | 501 |916390 |1317.1 | 61M| 44 | 3 |1000 | 15k|1000 | 998 | 67k| 0 | 999 |-3.207871e+02 |-9.800000e+01 | 227.33%
243.75/243.80 c 244s| 600 | 601 |995225 |1228.8 | 61M| 44 | 395 |1000 | 15k|1000 |1142 | 78k| 0 |1119 |-3.206926e+02 |-9.800000e+01 | 227.24%
249.34/249.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
249.34/249.46 c 249s| 700 | 701 | 1032k|1107.0 | 62M| 44 | 48 |1000 | 15k|1000 | 998 | 94k| 0 |1236 |-3.206926e+02 |-9.800000e+01 | 227.24%
254.54/254.66 c 255s| 800 | 801 | 1067k|1011.4 | 62M| 44 | 15 |1000 | 15k|1000 | 998 | 108k| 0 |1344 |-3.206926e+02 |-9.800000e+01 | 227.24%
261.94/262.03 c 262s| 900 | 901 | 1114k| 951.8 | 63M| 46 | 204 |1000 | 15k|1000 |1142 | 124k| 0 |1495 |-3.206703e+02 |-9.800000e+01 | 227.21%
271.05/271.14 c 271s| 1000 | 1001 | 1170k| 912.6 | 63M| 46 | 415 |1000 | 15k|1000 |1712 | 138k| 0 |1559 |-3.205289e+02 |-9.800000e+01 | 227.07%
286.84/286.99 c 287s| 1100 | 1101 | 1263k| 913.5 | 64M| 47 | 414 |1000 | 15k|1000 |1134 | 148k| 0 |1646 |-3.203268e+02 |-9.800000e+01 | 226.86%
309.04/309.19 c 309s| 1200 | 1201 | 1399k| 950.8 | 65M| 47 | 266 |1000 | 15k|1000 | 998 | 154k| 0 |1736 |-3.201296e+02 |-9.800000e+01 | 226.66%
330.44/330.58 c 331s| 1300 | 1301 | 1532k| 980.4 | 65M| 47 | 30 |1000 | 15k|1000 |1138 | 161k| 0 |1840 |-3.199878e+02 |-9.800000e+01 | 226.52%
342.04/342.10 c 342s| 1400 | 1401 | 1627k| 978.4 | 66M| 48 | 320 |1000 | 15k|1000 |1131 | 170k| 0 |1851 |-3.199485e+02 |-9.800000e+01 | 226.48%
347.83/347.98 c 348s| 1500 | 1501 | 1680k| 948.2 | 66M| 49 | 402 |1000 | 15k|1000 |1138 | 182k| 0 |1851 |-3.199281e+02 |-9.800000e+01 | 226.46%
350.93/351.08 c 351s| 1600 | 1601 | 1712k| 908.9 | 67M| 49 | 264 |1000 | 15k|1000 |1138 | 195k| 0 |1851 |-3.199281e+02 |-9.800000e+01 | 226.46%
357.73/357.85 c 358s| 1700 | 1701 | 1770k| 889.8 | 67M| 49 | 452 |1000 | 15k|1000 |1137 | 208k| 0 |1871 |-3.199138e+02 |-9.800000e+01 | 226.44%
366.14/366.26 c 366s| 1800 | 1801 | 1822k| 869.0 | 68M| 51 | 21 |1000 | 15k|1000 | 998 | 218k| 0 |1958 |-3.197869e+02 |-9.800000e+01 | 226.31%
372.32/372.40 c 372s| 1900 | 1901 | 1864k| 845.5 | 68M| 51 | 333 |1000 | 15k|1000 |1622 | 231k| 0 |2067 |-3.197812e+02 |-9.800000e+01 | 226.31%
382.32/382.46 c 382s| 2000 | 2001 | 1925k| 833.6 | 69M| 51 | 8 |1000 | 15k|1000 | 998 | 243k| 0 |2116 |-3.197571e+02 |-9.800000e+01 | 226.28%
393.81/393.91 c 394s| 2100 | 2101 | 1994k| 826.9 | 69M| 51 | 369 |1000 | 15k|1000 |1646 | 253k| 0 |2181 |-3.197232e+02 |-9.800000e+01 | 226.25%
401.51/401.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.51/401.67 c 402s| 2200 | 2201 | 2047k| 813.4 | 70M| 51 | 120 |1000 | 15k|1000 |1124 | 263k| 0 |2221 |-3.197009e+02 |-9.800000e+01 | 226.23%
410.41/410.52 c 411s| 2300 | 2301 | 2111k| 805.7 | 70M| 51 | 130 |1000 | 15k|1000 | 998 | 272k| 0 |2276 |-3.196357e+02 |-9.800000e+01 | 226.16%
416.60/416.72 c 417s| 2400 | 2401 | 2166k| 795.1 | 71M| 51 | 407 |1000 | 15k|1000 |1729 | 283k| 0 |2279 |-3.195515e+02 |-9.800000e+01 | 226.07%
421.21/421.34 c 421s| 2500 | 2501 | 2210k| 780.9 | 71M| 51 | 339 |1000 | 15k|1000 |1152 | 294k| 0 |2279 |-3.195515e+02 |-9.800000e+01 | 226.07%
425.50/425.62 c 426s| 2600 | 2601 | 2252k| 766.8 | 72M| 51 | 318 |1000 | 15k|1000 |1146 | 306k| 0 |2279 |-3.195387e+02 |-9.800000e+01 | 226.06%
427.59/427.78 c 428s| 2700 | 2701 | 2275k| 747.0 | 72M| 55 | 251 |1000 | 15k|1000 |1137 | 318k| 0 |2279 |-3.195387e+02 |-9.800000e+01 | 226.06%
430.19/430.34 c 430s| 2800 | 2801 | 2301k| 729.7 | 73M| 55 | 300 |1000 | 15k|1000 |1143 | 330k| 0 |2279 |-3.195387e+02 |-9.800000e+01 | 226.06%
437.89/438.03 c 438s| 2900 | 2901 | 2362k| 725.5 | 73M| 55 | 429 |1000 | 15k|1000 |1813 | 341k| 0 |2305 |-3.195179e+02 |-9.800000e+01 | 226.04%
447.10/447.24 c 447s| 3000 | 3001 | 2422k| 721.3 | 74M| 55 | 381 |1000 | 15k|1000 |1788 | 351k| 0 |2369 |-3.194957e+02 |-9.800000e+01 | 226.02%
450.20/450.37 c 450s| 3100 | 3101 | 2450k| 707.0 | 74M| 55 | 211 |1000 | 15k|1000 |1154 | 365k| 0 |2439 |-3.194957e+02 |-9.800000e+01 | 226.02%
454.60/454.73 c 455s| 3200 | 3201 | 2480k| 694.4 | 74M| 57 | 378 |1000 | 15k|1000 |1687 | 377k| 0 |2516 |-3.194957e+02 |-9.800000e+01 | 226.02%
463.09/463.25 c 463s| 3300 | 3301 | 2536k| 690.4 | 75M| 57 | 222 |1000 | 15k|1000 |1145 | 386k| 0 |2557 |-3.194957e+02 |-9.800000e+01 | 226.02%
469.39/469.57 c 470s| 3400 | 3401 | 2580k| 682.9 | 75M| 57 | 409 |1000 | 15k|1000 |1155 | 397k| 0 |2642 |-3.194797e+02 |-9.800000e+01 | 226.00%
473.99/474.19 c 474s| 3500 | 3501 | 2615k| 673.3 | 76M| 57 | 416 |1000 | 15k|1000 |1152 | 408k| 0 |2681 |-3.194797e+02 |-9.800000e+01 | 226.00%
476.59/476.78 c 477s| 3600 | 3601 | 2643k| 662.6 | 76M| 57 | 26 |1000 | 15k|1000 |1132 | 421k| 0 |2681 |-3.194797e+02 |-9.800000e+01 | 226.00%
486.69/486.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
486.69/486.89 c 487s| 3700 | 3701 | 2698k| 659.5 | 77M| 57 | 184 |1000 | 15k|1000 |1150 | 430k| 0 |2747 |-3.194772e+02 |-9.800000e+01 | 226.00%
491.39/491.53 c 492s| 3800 | 3801 | 2734k| 651.6 | 77M| 57 | 191 |1000 | 15k|1000 |1146 | 442k| 0 |2775 |-3.194662e+02 |-9.800000e+01 | 225.99%
497.78/497.96 c 498s| 3900 | 3901 | 2782k| 647.2 | 78M| 57 | 270 |1000 | 15k|1000 |1143 | 453k| 0 |2811 |-3.194395e+02 |-9.800000e+01 | 225.96%
504.08/504.20 c 504s| 4000 | 4001 | 2836k| 644.5 | 78M| 57 | 109 |1000 | 15k|1000 | 998 | 464k| 0 |2825 |-3.193839e+02 |-9.800000e+01 | 225.90%
513.09/513.25 c 513s| 4100 | 4101 | 2914k| 647.9 | 79M| 57 | 261 |1000 | 15k|1000 |1149 | 474k| 0 |2834 |-3.193792e+02 |-9.800000e+01 | 225.90%
518.59/518.71 c 519s| 4200 | 4201 | 2965k| 644.6 | 79M| 57 | 528 |1000 | 15k|1000 | 998 | 486k| 0 |2834 |-3.193792e+02 |-9.800000e+01 | 225.90%
521.38/521.53 c 522s| 4300 | 4301 | 2995k| 636.5 | 80M| 57 | 36 |1000 | 15k|1000 | 998 | 498k| 0 |2834 |-3.193792e+02 |-9.800000e+01 | 225.90%
527.48/527.68 c 528s| 4400 | 4401 | 3052k| 635.0 | 80M| 57 | 314 |1000 | 15k|1000 |1149 | 509k| 0 |2835 |-3.193535e+02 |-9.800000e+01 | 225.87%
531.38/531.58 c 532s| 4500 | 4501 | 3091k| 629.5 | 80M| 57 | 62 |1000 | 15k|1000 | 998 | 519k| 0 |2836 |-3.193426e+02 |-9.800000e+01 | 225.86%
535.48/535.68 c 536s| 4600 | 4601 | 3125k| 623.2 | 81M| 57 | 49 |1000 | 15k|1000 | 998 | 532k| 0 |2932 |-3.193426e+02 |-9.800000e+01 | 225.86%
542.09/542.22 c 542s| 4700 | 4701 | 3170k| 619.6 | 81M| 57 | 20 |1000 | 15k|1000 |1148 | 542k| 0 |2981 |-3.193254e+02 |-9.800000e+01 | 225.84%
552.18/552.34 c 552s| 4800 | 4801 | 3237k| 620.7 | 82M| 57 | 129 |1000 | 15k|1000 |1150 | 554k| 0 |3061 |-3.193195e+02 |-9.800000e+01 | 225.84%
556.07/556.22 c 556s| 4900 | 4901 | 3268k| 614.4 | 82M| 57 | 275 |1000 | 15k|1000 |1150 | 567k| 0 |3106 |-3.193195e+02 |-9.800000e+01 | 225.84%
564.18/564.38 c 564s| 5000 | 5001 | 3319k| 612.1 | 83M| 57 | 166 |1000 | 15k|1000 |1147 | 578k| 0 |3171 |-3.193032e+02 |-9.800000e+01 | 225.82%
569.27/569.48 c 569s| 5100 | 5101 | 3360k| 608.3 | 83M| 57 | 358 |1000 | 15k|1000 |1160 | 588k| 0 |3185 |-3.192839e+02 |-9.800000e+01 | 225.80%
574.48/574.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
574.48/574.68 c 575s| 5200 | 5201 | 3401k| 604.3 | 84M| 57 | 420 |1000 | 15k|1000 |1163 | 600k| 0 |3243 |-3.192756e+02 |-9.800000e+01 | 225.79%
576.97/577.17 c 577s| 5300 | 5301 | 3427k| 597.9 | 84M| 57 | 90 |1000 | 15k|1000 | 998 | 612k| 0 |3248 |-3.192756e+02 |-9.800000e+01 | 225.79%
585.47/585.69 c 586s| 5400 | 5401 | 3477k| 596.1 | 85M| 57 | 234 |1000 | 15k|1000 |1147 | 622k| 0 |3311 |-3.192679e+02 |-9.800000e+01 | 225.78%
593.87/594.03 c 594s| 5500 | 5501 | 3535k| 595.9 | 85M| 57 | 401 |1000 | 15k|1000 |1744 | 633k| 0 |3353 |-3.192532e+02 |-9.800000e+01 | 225.77%
599.38/599.51 c 600s| 5600 | 5601 | 3585k| 594.1 | 86M| 57 | 342 |1000 | 15k|1000 |1153 | 644k| 0 |3366 |-3.192416e+02 |-9.800000e+01 | 225.76%
604.17/604.39 c 604s| 5700 | 5701 | 3630k| 591.5 | 86M| 57 | 381 |1000 | 15k|1000 |1694 | 654k| 0 |3372 |-3.192177e+02 |-9.800000e+01 | 225.73%
610.67/610.83 c 611s| 5800 | 5801 | 3684k| 590.7 | 86M| 57 | 376 |1000 | 15k|1000 |1655 | 665k| 0 |3382 |-3.191980e+02 |-9.800000e+01 | 225.71%
614.27/614.42 c 614s| 5900 | 5901 | 3719k| 586.6 | 87M| 57 | 362 |1000 | 15k|1000 |1143 | 677k| 0 |3382 |-3.191836e+02 |-9.800000e+01 | 225.70%
619.66/619.84 c 620s| 6000 | 6001 | 3768k| 585.0 | 87M| 57 | 313 |1000 | 15k|1000 |1141 | 685k| 0 |3384 |-3.191681e+02 |-9.800000e+01 | 225.68%
623.37/623.58 c 624s| 6100 | 6101 | 3806k| 581.7 | 88M| 57 | 8 |1000 | 15k|1000 | 998 | 698k| 0 |3384 |-3.191667e+02 |-9.800000e+01 | 225.68%
627.27/627.44 c 627s| 6200 | 6201 | 3846k| 578.7 | 88M| 57 | 201 |1000 | 15k|1000 |1149 | 711k| 0 |3384 |-3.191623e+02 |-9.800000e+01 | 225.68%
630.66/630.85 c 631s| 6300 | 6301 | 3881k| 575.0 | 89M| 57 | 106 |1000 | 15k|1000 |1140 | 723k| 0 |3384 |-3.191623e+02 |-9.800000e+01 | 225.68%
637.37/637.53 c 638s| 6400 | 6401 | 3938k| 574.9 | 89M| 57 | 270 |1000 | 15k|1000 |1139 | 734k| 0 |3408 |-3.191616e+02 |-9.800000e+01 | 225.68%
644.26/644.47 c 644s| 6500 | 6501 | 3984k| 573.2 | 90M| 57 | 328 |1000 | 15k|1000 |1151 | 745k| 0 |3470 |-3.191552e+02 |-9.800000e+01 | 225.67%
648.26/648.40 c 648s| 6600 | 6601 | 4017k| 569.5 | 90M| 57 | 3 |1000 | 15k|1000 | 998 | 755k| 0 |3530 |-3.191506e+02 |-9.800000e+01 | 225.66%
651.26/651.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
651.26/651.41 c 651s| 6700 | 6701 | 4044k| 565.1 | 91M| 57 | 32 |1000 | 15k|1000 |1153 | 768k| 0 |3614 |-3.191506e+02 |-9.800000e+01 | 225.66%
656.36/656.50 c 657s| 6800 | 6801 | 4081k| 562.2 | 91M| 57 | 193 |1000 | 15k|1000 |1138 | 779k| 0 |3653 |-3.191403e+02 |-9.800000e+01 | 225.65%
665.86/666.04 c 666s| 6900 | 6901 | 4146k| 563.5 | 91M| 57 | 31 |1000 | 15k|1000 |1148 | 790k| 0 |3705 |-3.191114e+02 |-9.800000e+01 | 225.62%
671.87/672.08 c 672s| 7000 | 7001 | 4193k| 562.1 | 92M| 59 | 336 |1000 | 15k|1000 |1146 | 802k| 0 |3772 |-3.190780e+02 |-9.800000e+01 | 225.59%
673.96/674.17 c 674s| 7100 | 7101 | 4213k| 557.1 | 92M| 59 | 365 |1000 | 15k|1000 |1141 | 814k| 0 |3806 |-3.190780e+02 |-9.800000e+01 | 225.59%
681.56/681.75 c 682s| 7200 | 7201 | 4264k| 556.4 | 93M| 59 | 309 |1000 | 15k|1000 |1132 | 825k| 0 |3836 |-3.190392e+02 |-9.800000e+01 | 225.55%
686.96/687.15 c 687s| 7300 | 7301 | 4305k| 554.3 | 93M| 59 | 173 |1000 | 15k|1000 |1150 | 835k| 0 |3858 |-3.190202e+02 |-9.800000e+01 | 225.53%
688.96/689.13 c 689s| 7400 | 7401 | 4327k| 549.8 | 94M| 59 | 14 |1000 | 15k|1000 | 998 | 848k| 0 |3861 |-3.190202e+02 |-9.800000e+01 | 225.53%
696.15/696.32 c 696s| 7500 | 7501 | 4372k| 548.5 | 94M| 59 | 116 |1000 | 15k|1000 |1147 | 860k| 0 |3910 |-3.190135e+02 |-9.800000e+01 | 225.52%
706.85/707.00 c 707s| 7600 | 7601 | 4447k| 551.2 | 95M| 59 | 322 |1000 | 15k|1000 |1549 | 869k| 0 |3960 |-3.189554e+02 |-9.800000e+01 | 225.46%
712.75/712.93 c 713s| 7700 | 7701 | 4502k| 551.1 | 95M| 59 | 468 |1000 | 15k|1000 | 998 | 879k| 0 |3961 |-3.189554e+02 |-9.800000e+01 | 225.46%
718.55/718.75 c 719s| 7800 | 7801 | 4556k| 551.0 | 96M| 59 | 356 |1000 | 15k|1000 |1652 | 888k| 0 |3962 |-3.189510e+02 |-9.800000e+01 | 225.46%
723.55/723.80 c 724s| 7900 | 7901 | 4604k| 550.2 | 96M| 59 | 487 |1000 | 15k|1000 |1807 | 900k| 0 |3962 |-3.189510e+02 |-9.800000e+01 | 225.46%
725.85/726.02 c 726s| 8000 | 8001 | 4630k| 546.5 | 97M| 59 | 247 |1000 | 15k|1000 |1147 | 912k| 0 |3962 |-3.189510e+02 |-9.800000e+01 | 225.46%
727.84/728.06 c 728s| 8100 | 8101 | 4653k| 542.6 | 97M| 59 | 242 |1000 | 15k|1000 |1148 | 924k| 0 |3962 |-3.189510e+02 |-9.800000e+01 | 225.46%
733.55/733.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.55/733.78 c 734s| 8200 | 8201 | 4707k| 542.6 | 97M| 59 | 250 |1000 | 15k|1000 |1145 | 934k| 0 |3962 |-3.189483e+02 |-9.800000e+01 | 225.46%
738.74/738.97 c 739s| 8300 | 8301 | 4756k| 542.0 | 98M| 59 | 55 |1000 | 15k|1000 |1148 | 944k| 0 |3962 |-3.189362e+02 |-9.800000e+01 | 225.45%
745.55/745.72 c 746s| 8400 | 8401 | 4819k| 542.9 | 98M| 59 | 259 |1000 | 15k|1000 |1147 | 952k| 0 |3962 |-3.189061e+02 |-9.800000e+01 | 225.41%
748.64/748.86 c 749s| 8500 | 8501 | 4845k| 539.6 | 99M| 59 | 16 |1000 | 15k|1000 | 998 | 964k| 0 |4045 |-3.189061e+02 |-9.800000e+01 | 225.41%
753.14/753.35 c 753s| 8600 | 8601 | 4879k| 537.4 | 99M| 59 | 235 |1000 | 15k|1000 |1152 | 977k| 0 |4103 |-3.189042e+02 |-9.800000e+01 | 225.41%
761.24/761.42 c 761s| 8700 | 8701 | 4935k| 537.6 | 100M| 59 | 297 |1000 | 15k|1000 |1140 | 989k| 0 |4145 |-3.188823e+02 |-9.800000e+01 | 225.39%
763.14/763.35 c 763s| 8800 | 8801 | 4956k| 533.9 | 100M| 59 | 14 |1000 | 15k|1000 | 998 |1000k| 0 |4158 |-3.188823e+02 |-9.800000e+01 | 225.39%
765.34/765.54 c 766s| 8900 | 8901 | 4976k| 530.1 | 100M| 59 | 341 |1000 | 15k|1000 |1213 |1012k| 0 |4208 |-3.188823e+02 |-9.800000e+01 | 225.39%
773.54/773.74 c 774s| 9000 | 9001 | 5030k| 530.2 | 101M| 59 | 339 |1000 | 15k|1000 |1151 |1023k| 0 |4289 |-3.188724e+02 |-9.800000e+01 | 225.38%
776.94/777.17 c 777s| 9100 | 9101 | 5064k| 528.1 | 101M| 59 | 248 |1000 | 15k|1000 |1167 |1035k| 0 |4300 |-3.188660e+02 |-9.800000e+01 | 225.37%
782.94/783.13 c 783s| 9200 | 9201 | 5108k| 527.1 | 102M| 59 | 77 |1000 | 15k|1000 | 998 |1045k| 0 |4336 |-3.188579e+02 |-9.800000e+01 | 225.37%
789.44/789.68 c 790s| 9300 | 9301 | 5151k| 526.1 | 102M| 59 | 354 |1000 | 15k|1000 |1568 |1057k| 0 |4378 |-3.188445e+02 |-9.800000e+01 | 225.35%
791.33/791.58 c 792s| 9400 | 9401 | 5172k| 522.7 | 103M| 59 | 308 |1000 | 15k|1000 |1144 |1069k| 0 |4382 |-3.188445e+02 |-9.800000e+01 | 225.35%
796.94/797.10 c 797s| 9500 | 9501 | 5211k| 521.3 | 103M| 59 | 235 |1000 | 15k|1000 |1159 |1079k| 0 |4409 |-3.188282e+02 |-9.800000e+01 | 225.33%
804.23/804.46 c 804s| 9600 | 9601 | 5266k| 521.6 | 104M| 59 | 174 |1000 | 15k|1000 |1148 |1090k| 0 |4451 |-3.188252e+02 |-9.800000e+01 | 225.33%
809.93/810.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
809.93/810.18 c 810s| 9700 | 9701 | 5310k| 520.8 | 104M| 59 | 398 |1000 | 15k|1000 |1737 |1101k| 0 |4481 |-3.188157e+02 |-9.800000e+01 | 225.32%
813.63/813.83 c 814s| 9800 | 9801 | 5342k| 518.8 | 104M| 61 | 410 |1000 | 15k|1000 |1646 |1112k| 0 |4496 |-3.188151e+02 |-9.800000e+01 | 225.32%
817.13/817.33 c 817s| 9900 | 9901 | 5374k| 516.7 | 105M| 61 | 127 |1000 | 15k|1000 |1142 |1123k| 0 |4509 |-3.188111e+02 |-9.800000e+01 | 225.32%
823.13/823.32 c 823s| 10000 | 10001 | 5427k| 516.9 | 105M| 61 | 424 |1000 | 15k|1000 |1767 |1133k| 0 |4519 |-3.187990e+02 |-9.800000e+01 | 225.31%
827.83/828.00 c 828s| 10100 | 10101 | 5470k| 516.1 | 106M| 61 | 360 |1000 | 15k|1000 |1160 |1143k| 0 |4521 |-3.187949e+02 |-9.800000e+01 | 225.30%
831.63/831.81 c 832s| 10200 | 10201 | 5507k| 514.6 | 106M| 61 | 180 |1000 | 15k|1000 |1157 |1153k| 0 |4524 |-3.187946e+02 |-9.800000e+01 | 225.30%
834.63/834.82 c 835s| 10300 | 10301 | 5537k| 512.5 | 107M| 61 | 77 |1000 | 15k|1000 |1149 |1163k| 0 |4525 |-3.187946e+02 |-9.800000e+01 | 225.30%
838.03/838.21 c 838s| 10400 | 10401 | 5571k| 510.9 | 107M| 61 | 367 |1000 | 15k|1000 |1641 |1176k| 0 |4525 |-3.187886e+02 |-9.800000e+01 | 225.29%
840.92/841.14 c 841s| 10500 | 10501 | 5602k| 508.9 | 108M| 61 | 254 |1000 | 15k|1000 |1141 |1187k| 0 |4525 |-3.187881e+02 |-9.800000e+01 | 225.29%
844.92/845.10 c 845s| 10600 | 10601 | 5639k| 507.7 | 108M| 61 | 370 |1000 | 15k|1000 |1151 |1197k| 0 |4525 |-3.187807e+02 |-9.800000e+01 | 225.29%
846.83/847.06 c 847s| 10700 | 10701 | 5661k| 505.0 | 108M| 61 | 344 |1000 | 15k|1000 |1646 |1208k| 0 |4525 |-3.187807e+02 |-9.800000e+01 | 225.29%
851.23/851.47 c 851s| 10800 | 10801 | 5704k| 504.2 | 109M| 61 | 363 |1000 | 15k|1000 |1621 |1218k| 0 |4525 |-3.187790e+02 |-9.800000e+01 | 225.28%
855.53/855.70 c 856s| 10900 | 10901 | 5746k| 503.5 | 109M| 61 | 323 |1000 | 15k|1000 |1516 |1229k| 0 |4525 |-3.187671e+02 |-9.800000e+01 | 225.27%
857.42/857.68 c 858s| 11000 | 11001 | 5768k| 500.9 | 110M| 61 | 231 |1000 | 15k|1000 |1127 |1240k| 0 |4539 |-3.187671e+02 |-9.800000e+01 | 225.27%
863.33/863.56 c 864s| 11100 | 11101 | 5811k| 500.3 | 110M| 61 | 155 |1000 | 15k|1000 |1143 |1252k| 0 |4578 |-3.187596e+02 |-9.800000e+01 | 225.26%
867.12/867.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.12/867.34 c 867s| 11200 | 11201 | 5837k| 498.1 | 111M| 61 | 215 |1000 | 15k|1000 |1205 |1261k| 0 |4613 |-3.187596e+02 |-9.800000e+01 | 225.26%
871.52/871.74 c 872s| 11300 | 11301 | 5874k| 496.9 | 111M| 61 | 410 |1000 | 15k|1000 |1752 |1274k| 0 |4671 |-3.187459e+02 |-9.800000e+01 | 225.25%
875.22/875.41 c 875s| 11400 | 11401 | 5905k| 495.3 | 112M| 61 | 363 |1000 | 15k|1000 |1620 |1285k| 0 |4696 |-3.187337e+02 |-9.800000e+01 | 225.24%
885.12/885.30 c 885s| 11500 | 11501 | 5974k| 497.0 | 112M| 61 | 356 |1000 | 15k|1000 |1141 |1293k| 0 |4745 |-3.187146e+02 |-9.800000e+01 | 225.22%
887.12/887.38 c 887s| 11600 | 11601 | 5994k| 494.5 | 113M| 61 | 330 |1000 | 15k|1000 |1134 |1302k| 0 |4772 |-3.187146e+02 |-9.800000e+01 | 225.22%
889.52/889.73 c 890s| 11700 | 11701 | 6015k| 492.1 | 113M| 61 | 248 |1000 | 15k|1000 |1165 |1313k| 0 |4844 |-3.187146e+02 |-9.800000e+01 | 225.22%
893.91/894.13 c 894s| 11800 | 11801 | 6050k| 490.8 | 113M| 61 | 4 |1000 | 15k|1000 |1146 |1325k| 0 |4913 |-3.187146e+02 |-9.800000e+01 | 225.22%
898.52/898.74 c 899s| 11900 | 11901 | 6087k| 489.8 | 114M| 61 | 289 |1000 | 15k|1000 |1151 |1338k| 0 |4934 |-3.187117e+02 |-9.800000e+01 | 225.22%
900.02/900.27 c 900s| 12000 | 12001 | 6105k| 487.2 | 114M| 61 | 127 |1000 | 15k|1000 |1131 |1348k| 0 |4942 |-3.187117e+02 |-9.800000e+01 | 225.22%
904.11/904.36 c 904s| 12100 | 12101 | 6133k| 485.5 | 115M| 61 | 330 |1000 | 15k|1000 |1535 |1359k| 0 |4967 |-3.187079e+02 |-9.800000e+01 | 225.21%
908.82/909.03 c 909s| 12200 | 12201 | 6168k| 484.4 | 115M| 61 | 161 |1000 | 15k|1000 |1144 |1370k| 0 |4984 |-3.187062e+02 |-9.800000e+01 | 225.21%
914.02/914.22 c 914s| 12300 | 12301 | 6206k| 483.6 | 116M| 61 | 73 |1000 | 15k|1000 |1134 |1380k| 0 |5004 |-3.186793e+02 |-9.800000e+01 | 225.18%
918.02/918.26 c 918s| 12400 | 12401 | 6240k| 482.4 | 116M| 61 | 10 |1000 | 15k|1000 | 998 |1392k| 0 |5014 |-3.186789e+02 |-9.800000e+01 | 225.18%
920.02/920.20 c 920s| 12500 | 12501 | 6263k| 480.4 | 116M| 61 | 89 |1000 | 15k|1000 |1161 |1405k| 0 |5014 |-3.186789e+02 |-9.800000e+01 | 225.18%
926.41/926.62 c 927s| 12600 | 12601 | 6302k| 479.7 | 117M| 61 | 57 |1000 | 15k|1000 | 998 |1414k| 0 |5054 |-3.186749e+02 |-9.800000e+01 | 225.18%
930.71/930.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
930.71/930.91 c 931s| 12700 | 12701 | 6333k| 478.4 | 117M| 61 | 352 |1000 | 15k|1000 |1159 |1427k| 0 |5078 |-3.186735e+02 |-9.800000e+01 | 225.18%
934.11/934.35 c 934s| 12800 | 12801 | 6360k| 476.7 | 118M| 61 | 280 |1000 | 15k|1000 |1225 |1438k| 0 |5095 |-3.186532e+02 |-9.800000e+01 | 225.16%
938.81/939.04 c 939s| 12900 | 12901 | 6400k| 476.1 | 118M| 61 | 34 |1000 | 15k|1000 |1209 |1447k| 0 |5113 |-3.186470e+02 |-9.800000e+01 | 225.15%
944.91/945.19 c 945s| 13000 | 13001 | 6461k| 477.2 | 119M| 61 | 400 |1000 | 15k|1000 |1690 |1458k| 0 |5117 |-3.186308e+02 |-9.800000e+01 | 225.13%
948.41/948.64 c 949s| 13100 | 13101 | 6495k| 476.1 | 119M| 61 | 346 |1000 | 15k|1000 |1135 |1469k| 0 |5118 |-3.186304e+02 |-9.800000e+01 | 225.13%
950.01/950.27 c 950s| 13200 | 13201 | 6514k| 473.9 | 120M| 61 | 326 |1000 | 15k|1000 |1521 |1479k| 0 |5118 |-3.186304e+02 |-9.800000e+01 | 225.13%
954.61/954.89 c 955s| 13300 | 13301 | 6559k| 473.7 | 120M| 61 | 119 |1000 | 15k|1000 |1136 |1489k| 0 |5118 |-3.186000e+02 |-9.800000e+01 | 225.10%
957.61/957.83 c 958s| 13400 | 13401 | 6589k| 472.5 | 120M| 61 | 345 |1000 | 15k|1000 |1605 |1500k| 0 |5119 |-3.185870e+02 |-9.800000e+01 | 225.09%
960.80/961.08 c 961s| 13500 | 13501 | 6622k| 471.4 | 121M| 61 | 375 |1000 | 15k|1000 |1684 |1511k| 0 |5119 |-3.185735e+02 |-9.800000e+01 | 225.08%
964.71/964.99 c 965s| 13600 | 13601 | 6659k| 470.7 | 121M| 61 | 248 |1000 | 15k|1000 |1141 |1520k| 0 |5120 |-3.185649e+02 |-9.800000e+01 | 225.07%
968.60/968.89 c 969s| 13700 | 13701 | 6698k| 470.1 | 122M| 61 | 241 |1000 | 15k|1000 |1205 |1530k| 0 |5120 |-3.185649e+02 |-9.800000e+01 | 225.07%
973.10/973.37 c 973s| 13800 | 13801 | 6740k| 469.7 | 122M| 61 | 713 |1000 | 15k|1000 | 998 |1542k| 0 |5122 |-3.185451e+02 |-9.800000e+01 | 225.05%
977.19/977.45 c 977s| 13900 | 13901 | 6780k| 469.2 | 123M| 61 | 343 |1000 | 15k|1000 |1134 |1551k| 0 |5122 |-3.185426e+02 |-9.800000e+01 | 225.04%
981.00/981.26 c 981s| 14000 | 14001 | 6818k| 468.6 | 123M| 61 | 98 |1000 | 15k|1000 |1145 |1561k| 0 |5122 |-3.185245e+02 |-9.800000e+01 | 225.02%
984.89/985.17 c 985s| 14100 | 14101 | 6858k| 468.1 | 124M| 61 | 380 |1000 | 15k|1000 |1156 |1574k| 0 |5122 |-3.185196e+02 |-9.800000e+01 | 225.02%
989.90/990.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
989.90/990.13 c 990s| 14200 | 14201 | 6905k| 468.1 | 124M| 61 | 325 |1000 | 15k|1000 |1152 |1583k| 0 |5123 |-3.185064e+02 |-9.800000e+01 | 225.01%
994.29/994.51 c 995s| 14300 | 14301 | 6948k| 467.8 | 125M| 61 | 421 |1000 | 15k|1000 |1761 |1594k| 0 |5123 |-3.185064e+02 |-9.800000e+01 | 225.01%
998.50/998.71 c 999s| 14400 | 14401 | 6988k| 467.3 | 125M| 61 | 58 |1000 | 15k|1000 | 998 |1603k| 0 |5123 |-3.184992e+02 |-9.800000e+01 | 225.00%
1003.29/1003.57 c 1004s| 14500 | 14501 | 7034k| 467.3 | 126M| 61 | 302 |1000 | 15k|1000 |1144 |1613k| 0 |5123 |-3.184943e+02 |-9.800000e+01 | 224.99%
1006.49/1006.72 c 1007s| 14600 | 14601 | 7067k| 466.3 | 126M| 61 | 140 |1000 | 15k|1000 | 998 |1621k| 0 |5123 |-3.184943e+02 |-9.800000e+01 | 224.99%
1009.10/1009.32 c 1009s| 14700 | 14701 | 7094k| 465.1 | 127M| 61 | 220 |1000 | 15k|1000 |1140 |1633k| 0 |5123 |-3.184943e+02 |-9.800000e+01 | 224.99%
1012.10/1012.34 c 1012s| 14800 | 14801 | 7125k| 464.0 | 127M| 61 | 353 |1000 | 15k|1000 |1581 |1643k| 0 |5123 |-3.184943e+02 |-9.800000e+01 | 224.99%
1014.39/1014.62 c 1015s| 14900 | 14901 | 7150k| 462.5 | 127M| 61 | 178 |1000 | 15k|1000 |1150 |1652k| 0 |5123 |-3.184943e+02 |-9.800000e+01 | 224.99%
1019.29/1019.59 c 1020s| 15000 | 15001 | 7187k| 461.9 | 128M| 61 | 187 |1000 | 15k|1000 |1159 |1663k| 0 |5147 |-3.184871e+02 |-9.800000e+01 | 224.99%
1022.80/1023.06 c 1023s| 15100 | 15101 | 7220k| 461.0 | 128M| 61 | 10 |1000 | 15k|1000 | 998 |1674k| 0 |5166 |-3.184855e+02 |-9.800000e+01 | 224.99%
1027.39/1027.61 c 1028s| 15200 | 15201 | 7252k| 460.1 | 129M| 61 | 353 |1000 | 15k|1000 |1155 |1685k| 0 |5195 |-3.184855e+02 |-9.800000e+01 | 224.99%
1031.19/1031.46 c 1031s| 15300 | 15301 | 7286k| 459.3 | 129M| 61 | 25 |1000 | 15k|1000 | 998 |1696k| 0 |5205 |-3.184716e+02 |-9.800000e+01 | 224.97%
1035.60/1035.81 c 1036s| 15400 | 15401 | 7321k| 458.6 | 130M| 61 | 137 |1000 | 15k|1000 |1145 |1708k| 0 |5248 |-3.184687e+02 |-9.800000e+01 | 224.97%
1040.09/1040.34 c 1040s| 15500 | 15501 | 7357k| 458.0 | 130M| 61 | 39 |1000 | 15k|1000 | 998 |1719k| 0 |5281 |-3.184685e+02 |-9.800000e+01 | 224.97%
1042.39/1042.65 c 1043s| 15600 | 15601 | 7380k| 456.5 | 130M| 61 | 95 |1000 | 15k|1000 |1158 |1730k| 0 |5332 |-3.184685e+02 |-9.800000e+01 | 224.97%
1046.09/1046.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1046.09/1046.39 c 1046s| 15700 | 15701 | 7410k| 455.5 | 131M| 61 | 201 |1000 | 15k|1000 |1148 |1742k| 0 |5357 |-3.184685e+02 |-9.800000e+01 | 224.97%
1050.69/1050.91 c 1051s| 15800 | 15801 | 7441k| 454.6 | 131M| 61 | 38 |1000 | 15k|1000 |1146 |1751k| 0 |5395 |-3.184685e+02 |-9.800000e+01 | 224.97%
1054.99/1055.20 c 1055s| 15900 | 15901 | 7479k| 454.2 | 132M| 61 | 23 |1000 | 15k|1000 |1150 |1761k| 0 |5452 |-3.184685e+02 |-9.800000e+01 | 224.97%
1059.38/1059.62 c 1060s| 16000 | 16001 | 7517k| 453.7 | 132M| 61 | 410 |1000 | 15k|1000 |1752 |1773k| 0 |5478 |-3.184537e+02 |-9.800000e+01 | 224.95%
1063.99/1064.26 c 1064s| 16100 | 16101 | 7548k| 452.8 | 133M| 61 | 92 |1000 | 15k|1000 |1145 |1783k| 0 |5505 |-3.184470e+02 |-9.800000e+01 | 224.95%
1069.39/1069.65 c 1070s| 16200 | 16201 | 7590k| 452.6 | 133M| 61 | 380 |1000 | 15k|1000 |1155 |1792k| 0 |5526 |-3.184286e+02 |-9.800000e+01 | 224.93%
1073.08/1073.39 c 1073s| 16300 | 16301 | 7620k| 451.6 | 134M| 61 | 143 |1000 | 15k|1000 |1149 |1802k| 0 |5536 |-3.184283e+02 |-9.800000e+01 | 224.93%
1081.68/1081.97 c 1082s| 16400 | 16401 | 7679k| 452.5 | 134M| 61 | 138 |1000 | 15k|1000 |1151 |1811k| 0 |5572 |-3.184184e+02 |-9.800000e+01 | 224.92%
1088.29/1088.57 c 1089s| 16500 | 16501 | 7739k| 453.4 | 135M| 61 | 83 |1000 | 15k|1000 |1145 |1820k| 0 |5602 |-3.184184e+02 |-9.800000e+01 | 224.92%
1089.89/1090.19 c 1090s| 16600 | 16601 | 7757k| 451.7 | 135M| 61 | 399 |1000 | 15k|1000 |1706 |1829k| 0 |5602 |-3.184184e+02 |-9.800000e+01 | 224.92%
1093.38/1093.62 c 1094s| 16700 | 16701 | 7787k| 450.8 | 135M| 61 | 294 |1000 | 15k|1000 |1159 |1839k| 0 |5618 |-3.184080e+02 |-9.800000e+01 | 224.91%
1096.68/1096.94 c 1097s| 16800 | 16801 | 7818k| 450.0 | 136M| 61 | 190 |1000 | 15k|1000 |1148 |1850k| 0 |5624 |-3.184080e+02 |-9.800000e+01 | 224.91%
1100.89/1101.18 c 1101s| 16900 | 16901 | 7860k| 449.8 | 136M| 61 | 44 |1000 | 15k|1000 |1136 |1860k| 0 |5626 |-3.183841e+02 |-9.800000e+01 | 224.88%
1105.08/1105.39 c 1105s| 17000 | 17001 | 7902k| 449.6 | 137M| 61 | 48 |1000 | 15k|1000 | 998 |1870k| 0 |5626 |-3.183841e+02 |-9.800000e+01 | 224.88%
1109.69/1109.93 c 1110s| 17100 | 17101 | 7945k| 449.5 | 137M| 61 | 98 |1000 | 15k|1000 |1149 |1879k| 0 |5626 |-3.183813e+02 |-9.800000e+01 | 224.88%
1113.99/1114.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1113.99/1114.25 c 1114s| 17200 | 17201 | 7986k| 449.3 | 138M| 61 | 215 |1000 | 15k|1000 |1121 |1888k| 0 |5626 |-3.183740e+02 |-9.800000e+01 | 224.87%
1116.18/1116.41 c 1116s| 17300 | 17301 | 8010k| 448.1 | 138M| 61 | 96 |1000 | 15k|1000 | 998 |1899k| 0 |5626 |-3.183740e+02 |-9.800000e+01 | 224.87%
1120.37/1120.69 c 1121s| 17400 | 17401 | 8050k| 447.8 | 139M| 61 | 278 |1000 | 15k|1000 |1157 |1909k| 0 |5628 |-3.183597e+02 |-9.800000e+01 | 224.86%
1124.87/1125.18 c 1125s| 17500 | 17501 | 8094k| 447.8 | 139M| 61 | 179 |1000 | 15k|1000 |1139 |1918k| 0 |5628 |-3.183483e+02 |-9.800000e+01 | 224.85%
1128.18/1128.47 c 1128s| 17600 | 17601 | 8128k| 447.1 | 139M| 61 | 226 |1000 | 15k|1000 |1139 |1929k| 0 |5628 |-3.183483e+02 |-9.800000e+01 | 224.85%
1132.78/1133.02 c 1133s| 17700 | 17701 | 8171k| 447.1 | 140M| 61 | 78 |1000 | 15k|1000 |1163 |1939k| 0 |5629 |-3.183479e+02 |-9.800000e+01 | 224.84%
1135.98/1136.25 c 1136s| 17800 | 17801 | 8204k| 446.4 | 140M| 61 | 22 |1000 | 15k|1000 |1144 |1951k| 0 |5630 |-3.183479e+02 |-9.800000e+01 | 224.84%
1138.78/1139.00 c 1139s| 17900 | 17901 | 8232k| 445.5 | 141M| 61 | 16 |1000 | 15k|1000 | 998 |1960k| 0 |5630 |-3.183357e+02 |-9.800000e+01 | 224.83%
1141.58/1141.80 c 1142s| 18000 | 18001 | 8260k| 444.5 | 141M| 61 | 136 |1000 | 15k|1000 | 998 |1970k| 0 |5630 |-3.183305e+02 |-9.800000e+01 | 224.83%
1146.98/1147.22 c 1147s| 18100 | 18101 | 8303k| 444.5 | 142M| 61 | 403 |1000 | 15k|1000 |1739 |1980k| 0 |5663 |-3.183167e+02 |-9.800000e+01 | 224.81%
1150.88/1151.18 c 1151s| 18200 | 18201 | 8337k| 443.9 | 142M| 61 | 211 |1000 | 15k|1000 |1141 |1992k| 0 |5682 |-3.183080e+02 |-9.800000e+01 | 224.80%
1154.57/1154.81 c 1155s| 18300 | 18301 | 8371k| 443.3 | 143M| 61 | 281 |1000 | 15k|1000 | 998 |2003k| 0 |5701 |-3.182911e+02 |-9.800000e+01 | 224.79%
1158.87/1159.16 c 1159s| 18400 | 18401 | 8407k| 442.9 | 143M| 61 | 293 |1000 | 15k|1000 |1226 |2015k| 0 |5752 |-3.182826e+02 |-9.800000e+01 | 224.78%
1161.28/1161.56 c 1162s| 18500 | 18501 | 8428k| 441.6 | 143M| 61 | 319 |1000 | 15k|1000 |1189 |2027k| 0 |5829 |-3.182826e+02 |-9.800000e+01 | 224.78%
1168.57/1168.82 c 1169s| 18600 | 18601 | 8469k| 441.5 | 144M| 61 | 334 |1000 | 15k|1000 |1142 |2037k| 0 |5901 |-3.182754e+02 |-9.800000e+01 | 224.77%
1171.37/1171.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1171.37/1171.70 c 1172s| 18700 | 18701 | 8500k| 440.7 | 144M| 61 | 28 |1000 | 15k|1000 |1152 |2049k| 0 |5901 |-3.182739e+02 |-9.800000e+01 | 224.77%
1174.17/1174.47 c 1174s| 18800 | 18801 | 8529k| 439.9 | 145M| 61 | 378 |1000 | 15k|1000 |1702 |2059k| 0 |5901 |-3.182669e+02 |-9.800000e+01 | 224.76%
1180.86/1181.12 c 1181s| 18900 | 18901 | 8579k| 440.2 | 145M| 61 | 341 |1000 | 15k|1000 |1640 |2068k| 0 |5933 |-3.182532e+02 |-9.800000e+01 | 224.75%
1184.27/1184.51 c 1185s| 19000 | 19001 | 8608k| 439.5 | 146M| 61 | 390 |1000 | 15k|1000 |1679 |2080k| 0 |5950 |-3.182520e+02 |-9.800000e+01 | 224.75%
1187.97/1188.20 c 1188s| 19100 | 19101 | 8637k| 438.7 | 146M| 61 | 221 |1000 | 15k|1000 |1146 |2091k| 0 |5964 |-3.182520e+02 |-9.800000e+01 | 224.75%
1191.36/1191.63 c 1192s| 19200 | 19201 | 8669k| 438.0 | 147M| 61 | 376 |1000 | 15k|1000 |1652 |2102k| 0 |5974 |-3.182432e+02 |-9.800000e+01 | 224.74%
1195.37/1195.67 c 1196s| 19300 | 19301 | 8699k| 437.4 | 147M| 61 | 263 |1000 | 15k|1000 |1145 |2113k| 0 |6036 |-3.182404e+02 |-9.800000e+01 | 224.74%
1200.47/1200.73 c 1201s| 19400 | 19401 | 8738k| 437.1 | 147M| 61 | 162 |1000 | 15k|1000 |1141 |2121k| 0 |6065 |-3.182332e+02 |-9.800000e+01 | 224.73%
1203.36/1203.66 c 1204s| 19500 | 19501 | 8766k| 436.3 | 148M| 61 | 321 |1000 | 15k|1000 |1150 |2132k| 0 |6083 |-3.182327e+02 |-9.800000e+01 | 224.73%
1207.27/1207.55 c 1208s| 19600 | 19601 | 8796k| 435.6 | 148M| 61 | 140 |1000 | 15k|1000 |1200 |2142k| 0 |6101 |-3.182304e+02 |-9.800000e+01 | 224.72%
1210.86/1211.18 c 1211s| 19700 | 19701 | 8825k| 434.9 | 149M| 61 | 196 |1000 | 15k|1000 |1127 |2153k| 0 |6120 |-3.182303e+02 |-9.800000e+01 | 224.72%
1214.67/1214.95 c 1215s| 19800 | 19801 | 8855k| 434.2 | 149M| 61 | 375 |1000 | 15k|1000 |1713 |2163k| 0 |6135 |-3.182293e+02 |-9.800000e+01 | 224.72%
1216.86/1217.12 c 1217s| 19900 | 19901 | 8879k| 433.2 | 149M| 61 | 10 |1000 | 15k|1000 |1132 |2176k| 0 |6136 |-3.182293e+02 |-9.800000e+01 | 224.72%
1218.96/1219.20 c 1219s| 20000 | 20001 | 8901k| 432.1 | 150M| 61 | 252 |1000 | 15k|1000 |1147 |2189k| 0 |6136 |-3.182293e+02 |-9.800000e+01 | 224.72%
1226.46/1226.72 c 1227s| 20100 | 20101 | 8958k| 432.8 | 150M| 61 | 307 |1000 | 15k|1000 |1143 |2199k| 0 |6184 |-3.182179e+02 |-9.800000e+01 | 224.71%
1230.76/1231.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1230.76/1231.08 c 1231s| 20200 | 20201 | 9000k| 432.8 | 151M| 61 | 385 |1000 | 15k|1000 |1676 |2209k| 0 |6189 |-3.182148e+02 |-9.800000e+01 | 224.71%
1233.26/1233.58 c 1234s| 20300 | 20301 | 9026k| 431.9 | 151M| 61 | 91 |1000 | 15k|1000 |1146 |2218k| 0 |6189 |-3.181987e+02 |-9.800000e+01 | 224.69%
1235.96/1236.23 c 1236s| 20400 | 20401 | 9054k| 431.2 | 152M| 61 | 354 |1000 | 15k|1000 |1576 |2229k| 0 |6189 |-3.181938e+02 |-9.800000e+01 | 224.69%
1241.67/1241.91 c 1242s| 20500 | 20501 | 9107k| 431.6 | 152M| 61 | 290 |1000 | 15k|1000 |1145 |2238k| 0 |6189 |-3.181865e+02 |-9.800000e+01 | 224.68%
1245.86/1246.12 c 1246s| 20600 | 20601 | 9149k| 431.6 | 153M| 61 | 277 |1000 | 15k|1000 |1146 |2249k| 0 |6189 |-3.181787e+02 |-9.800000e+01 | 224.67%
1247.55/1247.87 c 1248s| 20700 | 20701 | 9169k| 430.5 | 153M| 61 | 12 |1000 | 15k|1000 | 998 |2260k| 0 |6189 |-3.181787e+02 |-9.800000e+01 | 224.67%
1251.36/1251.68 c 1252s| 20800 | 20801 | 9207k| 430.2 | 154M| 61 | 24 |1000 | 15k|1000 |1140 |2270k| 0 |6189 |-3.181778e+02 |-9.800000e+01 | 224.67%
1254.36/1254.64 c 1255s| 20900 | 20901 | 9237k| 429.6 | 154M| 61 | 347 |1000 | 15k|1000 |1555 |2281k| 0 |6189 |-3.181754e+02 |-9.800000e+01 | 224.67%
1257.35/1257.63 c 1258s| 21000 | 21001 | 9267k| 429.0 | 154M| 61 | 262 |1000 | 15k|1000 |1151 |2291k| 0 |6191 |-3.181704e+02 |-9.800000e+01 | 224.66%
1259.96/1260.29 c 1260s| 21100 | 21101 | 9295k| 428.3 | 155M| 61 | 184 |1000 | 15k|1000 |1145 |2301k| 0 |6191 |-3.181637e+02 |-9.800000e+01 | 224.66%
1265.95/1266.24 c 1266s| 21200 | 21201 | 9351k| 428.9 | 155M| 61 | 324 |1000 | 15k|1000 |1161 |2310k| 0 |6192 |-3.181517e+02 |-9.800000e+01 | 224.64%
1268.75/1269.03 c 1269s| 21300 | 21301 | 9380k| 428.2 | 156M| 61 | 186 |1000 | 15k|1000 |1154 |2321k| 0 |6192 |-3.181442e+02 |-9.800000e+01 | 224.64%
1272.86/1273.14 c 1273s| 21400 | 21401 | 9420k| 428.1 | 156M| 61 | 42 |1000 | 15k|1000 |1144 |2331k| 0 |6192 |-3.181377e+02 |-9.800000e+01 | 224.63%
1277.15/1277.42 c 1277s| 21500 | 21501 | 9463k| 428.1 | 157M| 61 | 369 |1000 | 15k|1000 |1668 |2343k| 0 |6192 |-3.181302e+02 |-9.800000e+01 | 224.62%
1282.75/1283.01 c 1283s| 21600 | 21601 | 9513k| 428.5 | 157M| 61 | 356 |1000 | 15k|1000 |1133 |2353k| 0 |6204 |-3.181067e+02 |-9.800000e+01 | 224.60%
1286.15/1286.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1286.15/1286.48 c 1286s| 21700 | 21701 | 9543k| 427.9 | 158M| 61 | 287 |1000 | 15k|1000 |1150 |2363k| 0 |6237 |-3.181048e+02 |-9.800000e+01 | 224.60%
1288.75/1289.00 c 1289s| 21800 | 21801 | 9565k| 426.9 | 158M| 61 | 258 |1000 | 15k|1000 | 998 |2375k| 0 |6268 |-3.181048e+02 |-9.800000e+01 | 224.60%
1292.75/1293.06 c 1293s| 21900 | 21901 | 9599k| 426.5 | 159M| 61 | 103 |1000 | 15k|1000 |1133 |2387k| 0 |6283 |-3.180998e+02 |-9.800000e+01 | 224.59%
1297.66/1297.90 c 1298s| 22000 | 22001 | 9639k| 426.4 | 159M| 61 | 246 |1000 | 15k|1000 |1149 |2398k| 0 |6303 |-3.180907e+02 |-9.800000e+01 | 224.58%
1301.45/1301.79 c 1302s| 22100 | 22101 | 9671k| 425.9 | 160M| 61 | 312 |1000 | 15k|1000 |1220 |2408k| 0 |6320 |-3.180907e+02 |-9.800000e+01 | 224.58%
1307.45/1307.70 c 1308s| 22200 | 22201 | 9715k| 426.0 | 160M| 61 | 345 |1000 | 15k|1000 |1141 |2417k| 0 |6362 |-3.180802e+02 |-9.800000e+01 | 224.57%
1309.25/1309.53 c 1310s| 22300 | 22301 | 9737k| 425.0 | 160M| 61 | 198 |1000 | 15k|1000 |1143 |2429k| 0 |6362 |-3.180802e+02 |-9.800000e+01 | 224.57%
1313.34/1313.69 c 1314s| 22400 | 22401 | 9771k| 424.7 | 161M| 61 | 147 |1000 | 15k|1000 | 998 |2438k| 0 |6425 |-3.180722e+02 |-9.800000e+01 | 224.56%
1316.95/1317.22 c 1317s| 22500 | 22501 | 9803k| 424.2 | 161M| 61 | 116 |1000 | 15k|1000 |1140 |2450k| 0 |6455 |-3.180722e+02 |-9.800000e+01 | 224.56%
1322.44/1322.71 c 1323s| 22600 | 22601 | 9846k| 424.3 | 162M| 61 | 184 |1000 | 15k|1000 |1143 |2460k| 0 |6501 |-3.180704e+02 |-9.800000e+01 | 224.56%
1326.64/1326.95 c 1327s| 22700 | 22701 | 9876k| 423.7 | 162M| 61 | 272 |1000 | 15k|1000 |1129 |2470k| 0 |6525 |-3.180681e+02 |-9.800000e+01 | 224.56%
1329.44/1329.74 c 1330s| 22800 | 22801 | 9904k| 423.1 | 163M| 61 | 347 |1000 | 15k|1000 |1143 |2481k| 0 |6525 |-3.180674e+02 |-9.800000e+01 | 224.56%
1334.54/1334.83 c 1335s| 22900 | 22901 | 9940k| 422.8 | 163M| 61 | 37 |1000 | 15k|1000 | 998 |2490k| 0 |6581 |-3.180491e+02 |-9.800000e+01 | 224.54%
1338.14/1338.41 c 1338s| 23000 | 23001 | 9976k| 422.5 | 164M| 61 | 350 |1000 | 15k|1000 |1140 |2501k| 0 |6591 |-3.180404e+02 |-9.800000e+01 | 224.53%
1342.54/1342.81 c 1343s| 23100 | 23101 | 10013k| 422.3 | 164M| 61 | 332 |1000 | 15k|1000 |1148 |2510k| 0 |6621 |-3.180269e+02 |-9.800000e+01 | 224.52%
1346.44/1346.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1346.44/1346.77 c 1347s| 23200 | 23201 | 10046k| 421.9 | 165M| 61 | 167 |1000 | 15k|1000 |1226 |2521k| 0 |6641 |-3.180269e+02 |-9.800000e+01 | 224.52%
1350.84/1351.17 c 1351s| 23300 | 23301 | 10078k| 421.5 | 165M| 61 | 4 |1000 | 15k|1000 | 998 |2533k| 0 |6657 |-3.180153e+02 |-9.800000e+01 | 224.51%
1356.04/1356.33 c 1356s| 23400 | 23401 | 10119k| 421.4 | 165M| 61 | 401 |1000 | 15k|1000 |1673 |2546k| 0 |6676 |-3.180145e+02 |-9.800000e+01 | 224.50%
1360.03/1360.31 c 1360s| 23500 | 23501 | 10151k| 421.0 | 166M| 61 | 359 |1000 | 15k|1000 |1558 |2556k| 0 |6689 |-3.180122e+02 |-9.800000e+01 | 224.50%
1365.95/1366.28 c 1366s| 23600 | 23601 | 10195k| 421.1 | 166M| 61 | 358 |1000 | 15k|1000 |1586 |2567k| 0 |6718 |-3.180112e+02 |-9.800000e+01 | 224.50%
1370.13/1370.40 c 1370s| 23700 | 23701 | 10232k| 420.8 | 167M| 61 | 102 |1000 | 15k|1000 |1135 |2576k| 0 |6730 |-3.180010e+02 |-9.800000e+01 | 224.49%
1373.73/1374.06 c 1374s| 23800 | 23801 | 10267k| 420.6 | 167M| 61 | 174 |1000 | 15k|1000 |1222 |2585k| 0 |6735 |-3.180010e+02 |-9.800000e+01 | 224.49%
1377.33/1377.66 c 1378s| 23900 | 23901 | 10302k| 420.3 | 168M| 61 | 53 |1000 | 15k|1000 |1146 |2594k| 0 |6736 |-3.179886e+02 |-9.800000e+01 | 224.48%
1380.14/1380.42 c 1380s| 24000 | 24001 | 10331k| 419.7 | 168M| 61 | 386 |1000 | 15k|1000 |1748 |2606k| 0 |6740 |-3.179795e+02 |-9.800000e+01 | 224.47%
1384.33/1384.62 c 1385s| 24100 | 24101 | 10371k| 419.6 | 169M| 61 | 81 |1000 | 15k|1000 |1136 |2615k| 0 |6741 |-3.179795e+02 |-9.800000e+01 | 224.47%
1388.12/1388.43 c 1388s| 24200 | 24201 | 10408k| 419.4 | 169M| 61 | 227 |1000 | 15k|1000 |1139 |2624k| 0 |6742 |-3.179735e+02 |-9.800000e+01 | 224.46%
1390.93/1391.24 c 1391s| 24300 | 24301 | 10436k| 418.8 | 170M| 61 | 337 |1000 | 15k|1000 |1152 |2634k| 0 |6743 |-3.179734e+02 |-9.800000e+01 | 224.46%
1393.82/1394.15 c 1394s| 24400 | 24401 | 10466k| 418.4 | 170M| 61 | 37 |1000 | 15k|1000 |1142 |2646k| 0 |6743 |-3.179734e+02 |-9.800000e+01 | 224.46%
1396.33/1396.64 c 1397s| 24500 | 24501 | 10492k| 417.7 | 170M| 61 | 59 |1000 | 15k|1000 | 998 |2656k| 0 |6743 |-3.179622e+02 |-9.800000e+01 | 224.45%
1400.03/1400.36 c 1400s| 24600 | 24601 | 10529k| 417.5 | 171M| 61 | 341 |1000 | 15k|1000 |1150 |2665k| 0 |6743 |-3.179559e+02 |-9.800000e+01 | 224.44%
1403.24/1403.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1403.24/1403.56 c 1404s| 24700 | 24701 | 10561k| 417.1 | 171M| 61 | 21 |1000 | 15k|1000 |1154 |2676k| 0 |6743 |-3.179525e+02 |-9.800000e+01 | 224.44%
1406.53/1406.81 c 1407s| 24800 | 24801 | 10595k| 416.8 | 172M| 61 | 333 |1000 | 15k|1000 |1133 |2687k| 0 |6743 |-3.179499e+02 |-9.800000e+01 | 224.44%
1409.52/1409.80 c 1410s| 24900 | 24901 | 10626k| 416.4 | 172M| 61 | 368 |1000 | 15k|1000 |1137 |2699k| 0 |6743 |-3.179493e+02 |-9.800000e+01 | 224.44%
1414.02/1414.36 c 1414s| 25000 | 25001 | 10670k| 416.5 | 173M| 61 | 334 |1000 | 15k|1000 |1149 |2707k| 0 |6744 |-3.179490e+02 |-9.800000e+01 | 224.44%
1417.02/1417.32 c 1417s| 25100 | 25101 | 10699k| 416.0 | 173M| 61 | 287 |1000 | 15k|1000 |1140 |2718k| 0 |6744 |-3.179477e+02 |-9.800000e+01 | 224.44%
1421.93/1422.25 c 1422s| 25200 | 25201 | 10747k| 416.2 | 174M| 61 | 220 |1000 | 15k|1000 |1144 |2726k| 0 |6744 |-3.179419e+02 |-9.800000e+01 | 224.43%
1425.82/1426.19 c 1426s| 25300 | 25301 | 10786k| 416.1 | 174M| 61 | 391 |1000 | 15k|1000 |1703 |2736k| 0 |6744 |-3.179120e+02 |-9.800000e+01 | 224.40%
1429.23/1429.56 c 1430s| 25400 | 25401 | 10820k| 415.8 | 175M| 61 | 11 |1000 | 15k|1000 |1125 |2745k| 0 |6744 |-3.179101e+02 |-9.800000e+01 | 224.40%
1432.22/1432.52 c 1433s| 25500 | 25501 | 10848k| 415.3 | 175M| 61 | 343 |1000 | 15k|1000 |1500 |2754k| 0 |6772 |-3.179066e+02 |-9.800000e+01 | 224.39%
1437.12/1437.40 c 1437s| 25600 | 25601 | 10880k| 414.9 | 175M| 61 | 91 |1000 | 15k|1000 |1141 |2765k| 0 |6832 |-3.179062e+02 |-9.800000e+01 | 224.39%
1440.02/1440.32 c 1440s| 25700 | 25701 | 10910k| 414.5 | 176M| 61 | 86 |1000 | 15k|1000 | 998 |2776k| 0 |6832 |-3.179056e+02 |-9.800000e+01 | 224.39%
1441.72/1442.08 c 1442s| 25800 | 25801 | 10930k| 413.6 | 176M| 61 | 19 |1000 | 15k|1000 | 998 |2787k| 0 |6832 |-3.179056e+02 |-9.800000e+01 | 224.39%
1445.92/1446.22 c 1446s| 25900 | 25901 | 10960k| 413.2 | 177M| 61 | 350 |1000 | 15k|1000 |1618 |2798k| 0 |6884 |-3.179026e+02 |-9.800000e+01 | 224.39%
1447.62/1447.91 c 1448s| 26000 | 26001 | 10981k| 412.4 | 177M| 61 | 31 |1000 | 15k|1000 |1141 |2809k| 0 |6884 |-3.179026e+02 |-9.800000e+01 | 224.39%
1449.62/1449.92 c 1450s| 26100 | 26101 | 11002k| 411.6 | 177M| 61 | 197 |1000 | 15k|1000 |1143 |2821k| 0 |6914 |-3.179026e+02 |-9.800000e+01 | 224.39%
1452.92/1453.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1452.92/1453.20 c 1453s| 26200 | 26201 | 11027k| 411.0 | 178M| 61 | 257 |1000 | 15k|1000 |1159 |2831k| 0 |6959 |-3.178939e+02 |-9.800000e+01 | 224.38%
1456.22/1456.59 c 1457s| 26300 | 26301 | 11058k| 410.6 | 178M| 61 | 154 |1000 | 15k|1000 |1144 |2843k| 0 |6969 |-3.178922e+02 |-9.800000e+01 | 224.38%
1461.62/1461.98 c 1462s| 26400 | 26401 | 11099k| 410.6 | 179M| 61 | 340 |1000 | 15k|1000 |1537 |2854k| 0 |7004 |-3.178896e+02 |-9.800000e+01 | 224.38%
1463.62/1463.95 c 1464s| 26500 | 26501 | 11122k| 410.0 | 179M| 61 | 205 |1000 | 15k|1000 |1221 |2866k| 0 |7004 |-3.178896e+02 |-9.800000e+01 | 224.38%
1466.81/1467.11 c 1467s| 26600 | 26601 | 11150k| 409.5 | 180M| 61 | 346 |1000 | 15k|1000 |1590 |2879k| 0 |7032 |-3.178883e+02 |-9.800000e+01 | 224.38%
1471.02/1471.32 c 1471s| 26700 | 26701 | 11184k| 409.2 | 180M| 61 | 400 |1000 | 15k|1000 |1769 |2891k| 0 |7062 |-3.178835e+02 |-9.800000e+01 | 224.37%
1476.61/1476.94 c 1477s| 26800 | 26801 | 11225k| 409.2 | 180M| 61 | 479 |1000 | 15k|1000 | 998 |2900k| 0 |7087 |-3.178806e+02 |-9.800000e+01 | 224.37%
1480.01/1480.34 c 1480s| 26900 | 26901 | 11257k| 408.9 | 181M| 61 | 358 |1000 | 15k|1000 |1667 |2912k| 0 |7132 |-3.178806e+02 |-9.800000e+01 | 224.37%
1485.01/1485.37 c 1485s| 27000 | 27001 | 11298k| 408.9 | 181M| 61 | 30 |1000 | 15k|1000 |1149 |2921k| 0 |7170 |-3.178748e+02 |-9.800000e+01 | 224.36%
1489.51/1489.89 c 1490s| 27100 | 27101 | 11336k| 408.8 | 182M| 61 | 291 |1000 | 15k|1000 |1151 |2932k| 0 |7190 |-3.178716e+02 |-9.800000e+01 | 224.36%
1493.52/1493.86 c 1494s| 27200 | 27201 | 11365k| 408.3 | 182M| 61 | 380 |1000 | 15k|1000 |1649 |2942k| 0 |7216 |-3.178702e+02 |-9.800000e+01 | 224.36%
1496.51/1496.82 c 1497s| 27300 | 27301 | 11395k| 407.9 | 183M| 61 | 10 |1000 | 15k|1000 | 998 |2951k| 0 |7220 |-3.178702e+02 |-9.800000e+01 | 224.36%
1501.01/1501.35 c 1501s| 27400 | 27401 | 11427k| 407.6 | 183M| 61 | 180 |1000 | 15k|1000 | 998 |2961k| 0 |7253 |-3.178700e+02 |-9.800000e+01 | 224.36%
1504.81/1505.12 c 1505s| 27500 | 27501 | 11461k| 407.4 | 184M| 61 | 352 |1000 | 15k|1000 |1516 |2970k| 0 |7265 |-3.178654e+02 |-9.800000e+01 | 224.35%
1510.51/1510.83 c 1511s| 27600 | 27601 | 11509k| 407.6 | 184M| 61 | 412 |1000 | 15k|1000 |1766 |2981k| 0 |7293 |-3.178544e+02 |-9.800000e+01 | 224.34%
1514.41/1514.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1514.41/1514.79 c 1515s| 27700 | 27701 | 11547k| 407.5 | 185M| 61 | 97 |1000 | 15k|1000 |1145 |2991k| 0 |7296 |-3.178412e+02 |-9.800000e+01 | 224.33%
1517.11/1517.40 c 1517s| 27800 | 27801 | 11575k| 407.1 | 185M| 61 | 200 |1000 | 15k|1000 |1138 |3002k| 0 |7297 |-3.178386e+02 |-9.800000e+01 | 224.33%
1522.01/1522.38 c 1522s| 27900 | 27901 | 11622k| 407.3 | 185M| 61 | 8 |1000 | 15k|1000 | 998 |3010k| 0 |7298 |-3.178271e+02 |-9.800000e+01 | 224.31%
1525.31/1525.68 c 1526s| 28000 | 28001 | 11656k| 407.1 | 186M| 61 | 373 |1000 | 15k|1000 |1602 |3021k| 0 |7298 |-3.178225e+02 |-9.800000e+01 | 224.31%
1529.11/1529.42 c 1529s| 28100 | 28101 | 11695k| 407.0 | 186M| 61 | 187 |1000 | 15k|1000 |1146 |3033k| 0 |7298 |-3.178206e+02 |-9.800000e+01 | 224.31%
1532.31/1532.65 c 1533s| 28200 | 28201 | 11728k| 406.7 | 187M| 61 | 39 |1000 | 15k|1000 |1145 |3043k| 0 |7298 |-3.178205e+02 |-9.800000e+01 | 224.31%
1536.42/1536.79 c 1537s| 28300 | 28301 | 11768k| 406.7 | 187M| 61 | 356 |1000 | 15k|1000 |1627 |3052k| 0 |7299 |-3.178122e+02 |-9.800000e+01 | 224.30%
1539.81/1540.11 c 1540s| 28400 | 28401 | 11802k| 406.5 | 188M| 61 | 170 |1000 | 15k|1000 |1139 |3062k| 0 |7299 |-3.178122e+02 |-9.800000e+01 | 224.30%
1543.30/1543.63 c 1544s| 28500 | 28501 | 11838k| 406.3 | 188M| 61 | 122 |1000 | 15k|1000 |1131 |3072k| 0 |7299 |-3.178122e+02 |-9.800000e+01 | 224.30%
1546.50/1546.85 c 1547s| 28600 | 28601 | 11871k| 406.1 | 189M| 61 | 246 |1000 | 15k|1000 |1148 |3083k| 0 |7299 |-3.178110e+02 |-9.800000e+01 | 224.30%
1549.61/1549.99 c 1550s| 28700 | 28701 | 11904k| 405.8 | 189M| 61 | 389 |1000 | 15k|1000 |1719 |3094k| 0 |7300 |-3.178105e+02 |-9.800000e+01 | 224.30%
1552.70/1553.08 c 1553s| 28800 | 28801 | 11936k| 405.5 | 190M| 61 | 355 |1000 | 15k|1000 |1139 |3104k| 0 |7300 |-3.177992e+02 |-9.800000e+01 | 224.28%
1555.91/1556.22 c 1556s| 28900 | 28901 | 11968k| 405.2 | 190M| 61 | 341 |1000 | 15k|1000 |1145 |3113k| 0 |7300 |-3.177914e+02 |-9.800000e+01 | 224.28%
1560.10/1560.45 c 1560s| 29000 | 29001 | 12010k| 405.2 | 191M| 61 | 187 |1000 | 15k|1000 |1154 |3123k| 0 |7300 |-3.177784e+02 |-9.800000e+01 | 224.26%
1564.20/1564.56 c 1565s| 29100 | 29101 | 12051k| 405.2 | 191M| 61 | 393 |1000 | 15k|1000 |1641 |3133k| 0 |7300 |-3.177685e+02 |-9.800000e+01 | 224.25%
1567.31/1567.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1567.31/1567.61 c 1568s| 29200 | 29201 | 12083k| 405.0 | 191M| 61 | 377 |1000 | 15k|1000 |1707 |3145k| 0 |7300 |-3.177684e+02 |-9.800000e+01 | 224.25%
1570.10/1570.48 c 1570s| 29300 | 29301 | 12113k| 404.6 | 192M| 61 | 328 |1000 | 15k|1000 |1140 |3156k| 0 |7300 |-3.177602e+02 |-9.800000e+01 | 224.25%
1573.20/1573.55 c 1574s| 29400 | 29401 | 12142k| 404.2 | 192M| 61 | 413 |1000 | 15k|1000 |1720 |3167k| 0 |7314 |-3.177587e+02 |-9.800000e+01 | 224.24%
1576.70/1577.06 c 1577s| 29500 | 29501 | 12173k| 403.9 | 193M| 61 | 307 |1000 | 15k|1000 |1153 |3179k| 0 |7328 |-3.177571e+02 |-9.800000e+01 | 224.24%
1581.99/1582.31 c 1582s| 29600 | 29601 | 12213k| 403.9 | 193M| 61 | 294 |1000 | 15k|1000 |1133 |3188k| 0 |7364 |-3.177488e+02 |-9.800000e+01 | 224.23%
1583.90/1584.29 c 1584s| 29700 | 29701 | 12234k| 403.2 | 194M| 61 | 342 |1000 | 15k|1000 |1554 |3198k| 0 |7376 |-3.177488e+02 |-9.800000e+01 | 224.23%
1587.80/1588.10 c 1588s| 29800 | 29801 | 12267k| 403.0 | 194M| 61 | 245 |1000 | 15k|1000 |1214 |3211k| 0 |7395 |-3.177488e+02 |-9.800000e+01 | 224.23%
1593.10/1593.46 c 1593s| 29900 | 29901 | 12310k| 403.1 | 195M| 62 | 200 |1000 | 15k|1000 |1133 |3222k| 0 |7418 |-3.177363e+02 |-9.800000e+01 | 224.22%
1597.60/1597.90 c 1598s| 30000 | 30001 | 12349k| 403.0 | 195M| 62 | 288 |1000 | 15k|1000 |1143 |3232k| 0 |7452 |-3.177350e+02 |-9.800000e+01 | 224.22%
1603.10/1603.49 c 1603s| 30100 | 30101 | 12392k| 403.1 | 195M| 62 | 237 |1000 | 15k|1000 |1147 |3245k| 0 |7491 |-3.177259e+02 |-9.800000e+01 | 224.21%
1605.99/1606.36 c 1606s| 30200 | 30201 | 12419k| 402.7 | 196M| 63 | 379 |1000 | 15k|1000 |1144 |3256k| 0 |7503 |-3.177246e+02 |-9.800000e+01 | 224.21%
1609.40/1609.76 c 1610s| 30300 | 30301 | 12448k| 402.3 | 196M| 63 | 321 |1000 | 15k|1000 |1145 |3267k| 0 |7516 |-3.177203e+02 |-9.800000e+01 | 224.20%
1614.19/1614.50 c 1615s| 30400 | 30401 | 12487k| 402.3 | 197M| 63 | 324 |1000 | 15k|1000 |1140 |3279k| 0 |7537 |-3.177172e+02 |-9.800000e+01 | 224.20%
1618.69/1619.10 c 1619s| 30500 | 30501 | 12525k| 402.2 | 197M| 63 | 117 |1000 | 15k|1000 |1152 |3288k| 0 |7560 |-3.176943e+02 |-9.800000e+01 | 224.18%
1622.49/1622.84 c 1623s| 30600 | 30601 | 12558k| 402.0 | 198M| 63 | 393 |1000 | 15k|1000 |1146 |3299k| 0 |7570 |-3.176866e+02 |-9.800000e+01 | 224.17%
1624.99/1625.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.99/1625.33 c 1625s| 30700 | 30701 | 12583k| 401.4 | 198M| 63 | 170 |1000 | 15k|1000 |1137 |3310k| 0 |7631 |-3.176866e+02 |-9.800000e+01 | 224.17%
1628.70/1629.05 c 1629s| 30800 | 30801 | 12615k| 401.2 | 199M| 63 | 9 |1000 | 15k|1000 |1134 |3320k| 0 |7682 |-3.176814e+02 |-9.800000e+01 | 224.16%
1633.69/1634.04 c 1634s| 30900 | 30901 | 12654k| 401.2 | 199M| 63 | 192 |1000 | 15k|1000 |1145 |3330k| 0 |7705 |-3.176643e+02 |-9.800000e+01 | 224.15%
1636.99/1637.33 c 1637s| 31000 | 31001 | 12683k| 400.8 | 199M| 63 | 5 |1000 | 15k|1000 |1157 |3340k| 0 |7725 |-3.176504e+02 |-9.800000e+01 | 224.13%
1642.48/1642.81 c 1643s| 31100 | 31101 | 12725k| 400.9 | 200M| 64 | 7 |1000 | 15k|1000 | 998 |3352k| 0 |7753 |-3.176433e+02 |-9.800000e+01 | 224.13%
1647.98/1648.39 c 1648s| 31200 | 31201 | 12769k| 401.0 | 200M| 64 | 386 |1000 | 15k|1000 |1698 |3363k| 0 |7774 |-3.176367e+02 |-9.800000e+01 | 224.12%
1651.18/1651.58 c 1652s| 31300 | 31301 | 12802k| 400.8 | 201M| 65 | 102 |1000 | 15k|1000 |1143 |3374k| 0 |7778 |-3.176309e+02 |-9.800000e+01 | 224.11%
1655.38/1655.73 c 1656s| 31400 | 31401 | 12833k| 400.5 | 201M| 65 | 237 |1000 | 15k|1000 |1150 |3384k| 0 |7800 |-3.176262e+02 |-9.800000e+01 | 224.11%
1659.88/1660.22 c 1660s| 31500 | 31501 | 12869k| 400.3 | 202M| 66 | 7 |1000 | 15k|1000 | 998 |3394k| 0 |7826 |-3.176197e+02 |-9.800000e+01 | 224.10%
1662.98/1663.38 c 1663s| 31600 | 31601 | 12901k| 400.1 | 202M| 66 | 263 |1000 | 15k|1000 |1136 |3405k| 0 |7829 |-3.176188e+02 |-9.800000e+01 | 224.10%
1666.09/1666.41 c 1666s| 31700 | 31701 | 12932k| 399.8 | 203M| 66 | 248 |1000 | 15k|1000 |1139 |3416k| 0 |7832 |-3.176079e+02 |-9.800000e+01 | 224.09%
1670.18/1670.51 c 1671s| 31800 | 31801 | 12972k| 399.8 | 203M| 66 | 172 |1000 | 15k|1000 |1141 |3426k| 0 |7834 |-3.176063e+02 |-9.800000e+01 | 224.09%
1672.08/1672.47 c 1672s| 31900 | 31901 | 12995k| 399.3 | 203M| 66 | 143 |1000 | 15k|1000 |1151 |3439k| 0 |7834 |-3.176063e+02 |-9.800000e+01 | 224.09%
1676.09/1676.44 c 1676s| 32000 | 32001 | 13035k| 399.3 | 204M| 66 | 247 |1000 | 15k|1000 |1272 |3450k| 0 |7835 |-3.175914e+02 |-9.800000e+01 | 224.07%
1680.38/1680.72 c 1681s| 32100 | 32101 | 13077k| 399.3 | 204M| 66 | 137 |1000 | 15k|1000 |1213 |3460k| 0 |7836 |-3.175811e+02 |-9.800000e+01 | 224.06%
1684.28/1684.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1684.28/1684.62 c 1685s| 32200 | 32201 | 13116k| 399.3 | 205M| 66 | 17 |1000 | 15k|1000 | 998 |3472k| 0 |7837 |-3.175753e+02 |-9.800000e+01 | 224.06%
1687.18/1687.51 c 1688s| 32300 | 32301 | 13146k| 399.0 | 205M| 66 | 169 |1000 | 15k|1000 |1142 |3484k| 0 |7837 |-3.175713e+02 |-9.800000e+01 | 224.05%
1690.18/1690.56 c 1691s| 32400 | 32401 | 13178k| 398.7 | 206M| 66 | 320 |1000 | 15k|1000 |1523 |3494k| 0 |7838 |-3.175665e+02 |-9.800000e+01 | 224.05%
1693.88/1694.28 c 1694s| 32500 | 32501 | 13214k| 398.6 | 206M| 66 | 352 |1000 | 15k|1000 |1632 |3504k| 0 |7838 |-3.175618e+02 |-9.800000e+01 | 224.04%
1696.67/1697.09 c 1697s| 32600 | 32601 | 13244k| 398.3 | 207M| 66 | 325 |1000 | 15k|1000 |1141 |3515k| 0 |7838 |-3.175527e+02 |-9.800000e+01 | 224.03%
1699.47/1699.82 c 1700s| 32700 | 32701 | 13272k| 398.0 | 207M| 66 | 386 |1000 | 15k|1000 |1674 |3526k| 0 |7838 |-3.175523e+02 |-9.800000e+01 | 224.03%
1702.48/1702.89 c 1703s| 32800 | 32801 | 13304k| 397.7 | 207M| 66 | 161 |1000 | 15k|1000 |1138 |3537k| 0 |7838 |-3.175522e+02 |-9.800000e+01 | 224.03%
1708.38/1708.78 c 1709s| 32900 | 32901 | 13365k| 398.4 | 208M| 66 | 301 |1000 | 15k|1000 |1554 |3547k| 0 |7838 |-3.175361e+02 |-9.800000e+01 | 224.02%
1712.07/1712.47 c 1712s| 33000 | 33001 | 13403k| 398.3 | 208M| 67 | 376 |1000 | 15k|1000 |1694 |3559k| 0 |7838 |-3.175312e+02 |-9.800000e+01 | 224.01%
1715.17/1715.59 c 1716s| 33100 | 33101 | 13436k| 398.1 | 209M| 67 | 280 |1000 | 15k|1000 |1140 |3572k| 0 |7838 |-3.175084e+02 |-9.800000e+01 | 223.99%
1719.17/1719.58 c 1720s| 33200 | 33201 | 13476k| 398.1 | 209M| 67 | 18 |1000 | 15k|1000 |1142 |3582k| 0 |7838 |-3.174988e+02 |-9.800000e+01 | 223.98%
1722.18/1722.51 c 1723s| 33300 | 33301 | 13505k| 397.8 | 210M| 67 | 272 |1000 | 15k|1000 |1128 |3593k| 0 |7841 |-3.174988e+02 |-9.800000e+01 | 223.98%
1725.07/1725.42 c 1725s| 33400 | 33401 | 13536k| 397.5 | 210M| 67 | 342 |1000 | 15k|1000 |1145 |3605k| 0 |7841 |-3.174974e+02 |-9.800000e+01 | 223.98%
1728.97/1729.37 c 1729s| 33500 | 33501 | 13574k| 397.5 | 211M| 67 | 195 |1000 | 15k|1000 |1132 |3615k| 0 |7841 |-3.174926e+02 |-9.800000e+01 | 223.97%
1732.08/1732.49 c 1732s| 33600 | 33601 | 13601k| 397.1 | 211M| 67 | 309 |1000 | 15k|1000 |1143 |3626k| 0 |7853 |-3.174914e+02 |-9.800000e+01 | 223.97%
1736.76/1737.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1736.76/1737.16 c 1737s| 33700 | 33701 | 13639k| 397.1 | 211M| 67 | 390 |1000 | 15k|1000 |1741 |3637k| 0 |7890 |-3.174870e+02 |-9.800000e+01 | 223.97%
1741.76/1742.13 c 1742s| 33800 | 33801 | 13677k| 397.0 | 212M| 67 | 153 |1000 | 15k|1000 |1149 |3646k| 0 |7921 |-3.174798e+02 |-9.800000e+01 | 223.96%
1743.56/1743.92 c 1744s| 33900 | 33901 | 13697k| 396.4 | 212M| 67 | 239 |1000 | 15k|1000 |1156 |3658k| 0 |7921 |-3.174798e+02 |-9.800000e+01 | 223.96%
1746.67/1747.02 c 1747s| 34000 | 34001 | 13726k| 396.1 | 213M| 67 | 381 |1000 | 15k|1000 |1683 |3669k| 0 |7944 |-3.174797e+02 |-9.800000e+01 | 223.96%
1749.57/1750.00 c 1750s| 34100 | 34101 | 13754k| 395.8 | 213M| 67 | 252 |1000 | 15k|1000 |1212 |3680k| 0 |7970 |-3.174781e+02 |-9.800000e+01 | 223.96%
1752.97/1753.39 c 1753s| 34200 | 34201 | 13781k| 395.4 | 213M| 67 | 281 |1000 | 15k|1000 |1155 |3691k| 0 |7984 |-3.174752e+02 |-9.800000e+01 | 223.95%
1755.27/1755.67 c 1756s| 34300 | 34301 | 13803k| 394.9 | 214M| 67 | 353 |1000 | 15k|1000 |1140 |3703k| 0 |8007 |-3.174752e+02 |-9.800000e+01 | 223.95%
1759.17/1759.55 c 1760s| 34400 | 34401 | 13837k| 394.7 | 214M| 67 | 408 |1000 | 15k|1000 |1677 |3713k| 0 |8034 |-3.174752e+02 |-9.800000e+01 | 223.95%
1762.76/1763.15 c 1763s| 34500 | 34501 | 13867k| 394.5 | 215M| 67 | 234 |1000 | 15k|1000 |1214 |3724k| 0 |8066 |-3.174735e+02 |-9.800000e+01 | 223.95%
1767.66/1768.07 c 1768s| 34600 | 34601 | 13908k| 394.5 | 215M| 67 | 389 |1000 | 15k|1000 |1648 |3735k| 0 |8103 |-3.174690e+02 |-9.800000e+01 | 223.95%
1771.86/1772.22 c 1772s| 34700 | 34701 | 13940k| 394.3 | 216M| 67 | 157 |1000 | 15k|1000 |1143 |3746k| 0 |8131 |-3.174655e+02 |-9.800000e+01 | 223.94%
1775.06/1775.49 c 1775s| 34800 | 34801 | 13973k| 394.1 | 216M| 67 | 54 |1000 | 15k|1000 |1132 |3758k| 0 |8131 |-3.174526e+02 |-9.800000e+01 | 223.93%
1779.76/1780.10 c 1780s| 34900 | 34901 | 14009k| 394.0 | 217M| 67 | 361 |1000 | 15k|1000 |1679 |3767k| 0 |8165 |-3.174275e+02 |-9.800000e+01 | 223.91%
1782.86/1783.29 c 1783s| 35000 | 35001 | 14037k| 393.7 | 217M| 67 | 416 |1000 | 15k|1000 |1669 |3779k| 0 |8181 |-3.174272e+02 |-9.800000e+01 | 223.91%
1784.87/1785.23 c 1785s| 35100 | 35101 | 14058k| 393.2 | 217M| 67 | 187 |1000 | 15k|1000 |1138 |3790k| 0 |8201 |-3.174272e+02 |-9.800000e+01 | 223.91%
1788.46/1788.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1788.46/1788.88 c 1789s| 35200 | 35201 | 14088k| 392.9 | 218M| 67 | 144 |1000 | 15k|1000 |1138 |3802k| 0 |8237 |-3.174182e+02 |-9.800000e+01 | 223.90%
1792.57/1792.94 c 1793s| 35300 | 35301 | 14124k| 392.8 | 218M| 67 | 18 |1000 | 15k|1000 |1141 |3811k| 0 |8265 |-3.174142e+02 |-9.800000e+01 | 223.89%
1796.65/1797.00 c
1796.65/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.65/1797.00 c Solving Time (sec) : 1797.00
1796.65/1797.00 c Solving Nodes : 35385
1796.65/1797.00 c Primal Bound : -9.80000000000000e+01 (531 solutions)
1796.65/1797.00 c Dual Bound : -3.17408043333495e+02
1796.65/1797.00 c Gap : 223.89 %
1796.65/1797.02 s SATISFIABLE
1796.65/1797.02 v x1000 x999 -x998 -x997 -x996 x995 -x994 x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1796.65/1797.02 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1796.65/1797.02 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1796.65/1797.02 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1796.65/1797.02 v -x915 x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1796.65/1797.02 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1796.65/1797.02 v x874 -x873 x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1796.65/1797.02 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1796.65/1797.02 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1796.65/1797.02 v -x811 -x810 -x809 -x808 -x807 x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1796.65/1797.02 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769
1796.65/1797.02 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 x753 -x752 -x751 -x750 -x749 -x748
1796.65/1797.02 v -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727
1796.65/1797.02 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706
1796.65/1797.02 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1796.65/1797.02 v -x685 -x684 -x683 -x682 -x681 -x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 x669 -x668 -x667 -x666 -x665 -x664
1796.65/1797.02 v -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1796.65/1797.02 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
1796.65/1797.02 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 x601
1796.65/1797.02 v -x600 -x599 x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 -x580
1796.65/1797.02 v -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1796.65/1797.02 v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538
1796.65/1797.02 v -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517
1796.65/1797.02 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496
1796.65/1797.02 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475
1796.65/1797.02 v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454
1796.65/1797.02 v -x453 -x452 x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 -x436 -x435 -x434 -x433
1796.65/1797.02 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412
1796.65/1797.02 v -x411 -x410 -x409 x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391
1796.65/1797.02 v -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369
1796.65/1797.02 v -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348
1796.65/1797.02 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327
1796.65/1797.02 v -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306
1796.65/1797.02 v -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285
1796.65/1797.02 v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265
1796.65/1797.02 v -x264 x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243
1796.65/1797.02 v -x242 x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222
1796.65/1797.02 v -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201
1796.65/1797.02 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 x180
1796.65/1797.02 v -x179 -x178 x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 x163 -x162 -x161 -x160 x159 -x158
1796.65/1797.02 v -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1796.65/1797.02 v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116
1796.65/1797.02 v -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94
1796.65/1797.02 v x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 x72 -x71 x70 -x69 -x68
1796.65/1797.02 v -x67 -x66 -x65 x64 x63 x62 x61 -x60 -x59 -x58 -x57 x56 x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 x41
1796.65/1797.02 v -x40 x39 -x38 -x37 -x36 -x35 x34 x33 x32 x31 x30 -x29 -x28 x27 -x26 -x25 x24 -x23 x22 -x21 x20 x19 -x18 x17 -x16 x15 x14 x13
1796.65/1797.02 v x12 x11 -x10 x9 -x8 -x7 x6 x5 x4 x3 x2 x1
1796.65/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.65/1797.02 c Total Time : 1797.00
1796.65/1797.02 c solving : 1797.00
1796.65/1797.02 c presolving : 0.32 (included in solving)
1796.65/1797.02 c reading : 0.08 (included in solving)
1796.65/1797.02 c copying : 0.42 (16 #copies) (minimal 0.03, maximal 0.03, average 0.03)
1796.65/1797.02 c Original Problem :
1796.65/1797.02 c Problem name : HOME/instance-3692630-1338036643.opb
1796.65/1797.02 c Variables : 16796 (1000 binary, 0 integer, 15796 implicit integer, 0 continuous)
1796.65/1797.02 c Constraints : 17796 initial, 17796 maximal
1796.65/1797.02 c Objective sense : minimize
1796.65/1797.02 c Presolved Problem :
1796.65/1797.02 c Problem name : t_HOME/instance-3692630-1338036643.opb
1796.65/1797.02 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.65/1797.02 c Constraints : 15796 initial, 15796 maximal
1796.65/1797.02 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.65/1797.02 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.02 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.02 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.02 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.02 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.02 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.65/1797.02 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.02 c setppc : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.02 c and : 0.16 0.00 0 0 0 0 0 0 0 0 0
1796.65/1797.02 c linear : 0.05 0.00 15796 0 0 15796 0 1000 0 0 0
1796.65/1797.02 c pseudoboolean : 0.01 0.01 0 0 0 0 0 1000 0 0 0
1796.65/1797.02 c root node : - - 0 - - 0 - - - - -
1796.65/1797.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.65/1797.02 c integral : 0 0 0 0 41540 0 93947 0 0 0 0 0 70770
1796.65/1797.02 c setppc : 15796 15796 215 139805 6155 0 93942 0 0 626483 3821424 0 0
1796.65/1797.02 c countsols : 0 0 0 0 0 0 534 0 0 0 0 0 0
1796.65/1797.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.65/1797.02 c integral : 295.57 0.00 0.00 0.00 295.51 0.00 0.07 0.00
1796.65/1797.02 c setppc : 27.63 0.00 0.77 10.99 4.16 0.00 11.71 0.00
1796.65/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.65/1797.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.65/1797.02 c rootredcost : 1 0 0 0
1796.65/1797.02 c pseudoobj : 175140 0 0 0
1796.65/1797.02 c vbounds : 0 0 0 0
1796.65/1797.02 c redcost : 41754 0 0 0
1796.65/1797.02 c probing : 0 0 0 0
1796.65/1797.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.65/1797.02 c rootredcost : 0.05 0.00 0.00 0.05 0.00
1796.65/1797.02 c pseudoobj : 0.35 0.01 0.00 0.34 0.00
1796.65/1797.02 c vbounds : 0.04 0.00 0.00 0.04 0.00
1796.65/1797.02 c redcost : 0.84 0.00 0.00 0.84 0.00
1796.65/1797.02 c probing : 0.02 0.00 0.02 0.00 0.00
1796.65/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.65/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.65/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.65/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.65/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.65/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.65/1797.02 c applied globally : - - - 0 0.0 - - -
1796.65/1797.02 c applied locally : - - - 0 0.0 - - -
1796.65/1797.02 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.65/1797.02 c cut pool : 0.18 214 - - 4580 - (maximal pool size: 10009)
1796.65/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.65/1797.02 c impliedbounds : 0.18 0.00 214 0 0 20907 0
1796.65/1797.02 c intobj : 0.00 0.00 0 0 0 0 0
1796.65/1797.02 c gomory : 0.08 0.00 10 0 0 500 0
1796.65/1797.02 c cgmip : 0.00 0.00 0 0 0 0 0
1796.65/1797.02 c strongcg : 1.20 0.00 20 0 0 10000 0
1796.65/1797.02 c cmir : 0.42 0.00 10 0 0 0 0
1796.65/1797.02 c flowcover : 0.32 0.00 10 0 0 0 0
1796.65/1797.02 c clique : 5.34 0.00 213 0 0 1745 0
1796.65/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.65/1797.02 c mcf : 0.01 0.00 1 0 0 0 0
1796.65/1797.02 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.65/1797.02 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.65/1797.02 c Pricers : ExecTime SetupTime Calls Vars
1796.65/1797.02 c problem variables: 0.00 - 0 0
1796.65/1797.02 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.65/1797.02 c relpscost : 295.47 0.00 35385 0 0 0 0 70770
1796.65/1797.02 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.65/1797.02 c inference : 0.00 0.00 0 0 0 0 0 0
1796.65/1797.02 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.65/1797.02 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.65/1797.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.65/1797.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.65/1797.02 c random : 0.00 0.00 0 0 0 0 0 0
1796.65/1797.02 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.65/1797.02 c LP solutions : 0.00 - - 0
1796.65/1797.02 c pseudo solutions : 0.00 - - 0
1796.65/1797.02 c oneopt : 0.03 0.00 2 1
1796.65/1797.02 c crossover : 1.47 0.00 15 2
1796.65/1797.02 c guideddiving : 34.83 0.00 799 14
1796.65/1797.02 c fracdiving : 33.85 0.00 799 18
1796.65/1797.02 c veclendiving : 36.47 0.00 799 53
1796.65/1797.02 c linesearchdiving : 32.49 0.00 800 31
1796.65/1797.02 c smallcard : 0.00 0.00 0 0
1796.65/1797.02 c trivial : 0.03 0.00 2 1
1796.65/1797.02 c shiftandpropagate: 0.00 0.00 0 0
1796.65/1797.02 c simplerounding : 6.09 0.00 35599 324
1796.65/1797.02 c zirounding : 0.27 0.00 1000 0
1796.65/1797.02 c rounding : 30.88 0.00 8651 1
1796.65/1797.02 c shifting : 11.88 0.00 2435 1
1796.65/1797.02 c intshifting : 0.00 0.00 0 0
1796.65/1797.02 c twoopt : 0.00 0.00 0 0
1796.65/1797.02 c indoneopt : 0.02 0.00 0 0
1796.65/1797.02 c indtwoopt : 0.00 0.00 0 0
1796.65/1797.02 c fixandinfer : 0.00 0.00 0 0
1796.65/1797.02 c feaspump : 0.00 0.00 0 0
1796.65/1797.02 c clique : 0.00 0.00 0 0
1796.65/1797.02 c coefdiving : 31.97 0.00 800 35
1796.65/1797.02 c indrounding : 0.00 0.00 0 0
1796.65/1797.02 c indcoefdiving : 0.00 0.00 0 0
1796.65/1797.02 c pscostdiving : 30.35 0.00 800 38
1796.65/1797.02 c nlpdiving : 0.00 0.00 0 0
1796.65/1797.02 c intdiving : 0.00 0.00 0 0
1796.65/1797.02 c actconsdiving : 0.00 0.00 0 0
1796.65/1797.02 c objpscostdiving : 21.03 0.00 54 9
1796.65/1797.02 c rootsoldiving : 12.27 0.00 224 3
1796.65/1797.02 c octane : 0.00 0.00 0 0
1796.65/1797.02 c rens : 0.04 0.00 0 0
1796.65/1797.02 c rins : 0.00 0.00 0 0
1796.65/1797.02 c localbranching : 0.00 0.00 0 0
1796.65/1797.02 c mutation : 0.00 0.00 0 0
1796.65/1797.02 c dins : 0.00 0.00 0 0
1796.65/1797.02 c vbounds : 0.00 0.00 0 0
1796.65/1797.02 c undercover : 0.00 0.00 0 0
1796.65/1797.02 c subnlp : 0.01 0.00 0 0
1796.65/1797.02 c trysol : 0.02 0.00 0 0
1796.65/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.65/1797.02 c primal LP : 3.16 6189 0 0.00 0.00 3.16 6189
1796.65/1797.02 c dual LP : 1173.26 42032 11866260 284.19 10113.89 0.16 278
1796.65/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.65/1797.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.65/1797.02 c diving/probing LP: 205.89 51971 2286640 44.00 11106.22
1796.65/1797.02 c strong branching : 293.30 8290 2191149 264.31 7470.62
1796.65/1797.02 c (at root node) : - 41 36010 878.29 -
1796.65/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.65/1797.02 c B&B Tree :
1796.65/1797.02 c number of runs : 1
1796.65/1797.02 c nodes : 35385
1796.65/1797.02 c nodes (total) : 35385
1796.65/1797.02 c nodes left : 35386
1796.65/1797.02 c max depth : 67
1796.65/1797.02 c max depth (total): 67
1796.65/1797.02 c backtracks : 5079 (14.4%)
1796.65/1797.02 c delayed cutoffs : 0
1796.65/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.65/1797.02 c avg switch length: 4.17
1796.65/1797.02 c switching time : 9.38
1796.65/1797.02 c Solution :
1796.65/1797.02 c Solutions found : 531 (4 improvements)
1796.65/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.17 seconds, depth 0, found by <trivial>)
1796.65/1797.02 c Primal Bound : -9.80000000000000e+01 (in run 1, after 1 nodes, 0.95 seconds, depth 0, found by <oneopt>)
1796.65/1797.02 c Dual Bound : -3.17408043333495e+02
1796.65/1797.02 c Gap : 223.89 %
1796.65/1797.02 c Root Dual Bound : -3.22666666666665e+02
1796.65/1797.02 c Root Iterations : 259160
1796.86/1797.22 c Time complete: 1796.88.
OK -98
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-3692630-1338036643/watcher-3692630-1338036643 -o /tmp/evaluation-result-3692630-1338036643/solver-3692630-1338036643 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692630-1338036643.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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.04 2.01 2.00 2/177 20111 /proc/meminfo: memFree=27399988/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=11000 CPUtime=0 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 1586 0 0 0 0 0 0 0 20 0 1 0 269789123 11264000 1541 33554432000 4194304 10219143 140735067421280 140736851633800 8891101 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/20111/statm: 2750 1541 398 1471 0 1270 0 [startup+0.0924729 s] /proc/loadavg: 2.04 2.01 2.00 2/177 20111 /proc/meminfo: memFree=27399988/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=43032 CPUtime=0.08 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 9481 0 0 0 7 1 0 0 20 0 1 0 269789123 44064768 9436 33554432000 4194304 10219143 140735067421280 140736851633800 5536058 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20111/statm: 10758 9436 487 1471 0 9278 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 43032 [startup+0.100281 s] /proc/loadavg: 2.04 2.01 2.00 2/177 20111 /proc/meminfo: memFree=27399988/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=50280 CPUtime=0.08 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 11294 0 0 0 7 1 0 0 20 0 1 0 269789123 51486720 11251 33554432000 4194304 10219143 140735067421280 140736851633800 7589947 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20111/statm: 12570 11263 487 1471 0 11090 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 50280 [startup+0.300219 s] /proc/loadavg: 2.04 2.01 2.00 2/177 20111 /proc/meminfo: memFree=27399988/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=74240 CPUtime=0.29 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 17139 0 0 0 25 4 0 0 20 0 1 0 269789123 76021760 16741 33554432000 4194304 10219143 140735067421280 140736851633800 9008087 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20111/statm: 18560 16741 561 1471 0 17080 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 74240 [startup+0.700231 s] /proc/loadavg: 2.04 2.01 2.00 2/177 20111 /proc/meminfo: memFree=27399988/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=105532 CPUtime=0.69 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 26414 0 0 0 61 8 0 0 20 0 1 0 269789123 108064768 23919 33554432000 4194304 10219143 140735067421280 140735067418904 4820980 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20111/statm: 26383 23919 759 1471 0 24903 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 105532 [startup+1.50023 s] /proc/loadavg: 2.04 2.01 2.00 3/178 20112 /proc/meminfo: memFree=27306840/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=105904 CPUtime=1.49 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 27120 0 0 0 140 9 0 0 20 0 1 0 269789123 108445696 24447 33554432000 4194304 10219143 140735067421280 140735067417640 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20111/statm: 26476 24447 797 1471 0 24996 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 105904 [startup+3.10023 s] /proc/loadavg: 2.04 2.01 2.00 3/178 20112 /proc/meminfo: memFree=27301724/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=112088 CPUtime=3.09 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 29000 0 0 0 298 11 0 0 20 0 1 0 269789123 114778112 26295 33554432000 4194304 10219143 140735067421280 140735067417640 7256996 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/20111/statm: 28022 26295 798 1471 0 26542 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 112088 [startup+6.30024 s] /proc/loadavg: 2.04 2.01 2.00 3/178 20112 /proc/meminfo: memFree=27293540/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=119340 CPUtime=6.28 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 30954 0 0 0 616 12 0 0 20 0 1 0 269789123 122204160 28242 33554432000 4194304 10219143 140735067421280 140735067416520 5151286 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 29835 28242 798 1471 0 28355 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 119340 [startup+12.7002 s] /proc/loadavg: 2.03 2.01 2.00 3/178 20112 /proc/meminfo: memFree=27286604/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=123016 CPUtime=12.69 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 31643 0 0 0 1254 15 0 0 20 0 1 0 269789123 125968384 28928 33554432000 4194304 10219143 140735067421280 140735067417736 8091539 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 30754 28928 798 1471 0 29274 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 123016 [startup+25.5003 s] /proc/loadavg: 2.02 2.01 2.00 3/177 20112 /proc/meminfo: memFree=27286512/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=123632 CPUtime=25.48 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 31792 0 0 0 2528 20 0 0 20 0 1 0 269789123 126599168 29077 33554432000 4194304 10219143 140735067421280 140735067414584 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 30908 29077 798 1471 0 29428 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 123632 [startup+51.1002 s] /proc/loadavg: 2.02 2.01 2.00 3/177 20112 /proc/meminfo: memFree=27285768/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=124820 CPUtime=51.08 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 31974 0 0 0 5077 31 0 0 20 0 1 0 269789123 127815680 29259 33554432000 4194304 10219143 140735067421280 140735067416520 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 31205 29259 798 1471 0 29725 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 124820 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20112 /proc/meminfo: memFree=27284900/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=125508 CPUtime=102.27 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 35966 0 0 0 10178 49 0 0 20 0 1 0 269789123 128520192 29394 33554432000 4194304 10219143 140735067421280 140735067414728 8056516 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 31377 29394 821 1471 0 29897 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 125508 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20113 /proc/meminfo: memFree=27285148/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=125508 CPUtime=162.26 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 35979 0 0 0 16127 99 0 0 20 0 1 0 269789123 128520192 29407 33554432000 4194304 10219143 140735067421280 140735067414136 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 31377 29407 830 1471 0 29897 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 125508 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20113 /proc/meminfo: memFree=27286512/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=124352 CPUtime=222.25 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 43080 0 0 0 22071 154 0 0 20 0 1 0 269789123 127336448 29101 33554432000 4194304 10219143 140735067421280 140735067413992 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 31088 29101 840 1471 0 29608 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 124352 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20113 /proc/meminfo: memFree=27282916/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=127684 CPUtime=282.24 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 51493 0 0 0 28016 208 0 0 20 0 1 0 269789123 130748416 29938 33554432000 4194304 10219143 140735067421280 140735067414584 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 31921 29938 840 1471 0 30441 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 127684 [startup+342.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 20113 /proc/meminfo: memFree=27281552/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=129580 CPUtime=342.24 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 59460 0 0 0 33964 260 0 0 20 0 1 0 269789123 132689920 30369 33554432000 4194304 10219143 140735067421280 140735067417080 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 32395 30369 840 1471 0 30915 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 129580 [startup+402.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 20113 /proc/meminfo: memFree=27276368/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=134356 CPUtime=402.21 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 68165 0 0 0 39905 316 0 0 20 0 1 0 269789123 137580544 31786 33554432000 4194304 10219143 140735067421280 140735067414312 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 33589 31786 840 1471 0 32109 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 134356 [startup+462.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 20114 /proc/meminfo: memFree=27268180/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=139564 CPUtime=462.19 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 76426 0 0 0 45843 376 0 0 20 0 1 0 269789123 142913536 33518 33554432000 4194304 10219143 140735067421280 140735067415112 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 34891 33518 840 1471 0 33411 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 139564 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 20114 /proc/meminfo: memFree=27267684/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=140672 CPUtime=522.18 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 84294 0 0 0 51781 437 0 0 20 0 1 0 269789123 144048128 33785 33554432000 4194304 10219143 140735067421280 140735067417080 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 35168 33785 840 1471 0 33688 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 140672 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 20117 /proc/meminfo: memFree=27261104/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=147420 CPUtime=582.18 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 85891 0 0 0 57724 494 0 0 20 0 1 0 269789123 150958080 35382 33554432000 4194304 10219143 140735067421280 140735067414600 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 36855 35382 840 1471 0 35375 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 147420 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27754808/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=202372 CPUtime=1122.08 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 151969 0 0 0 111167 1041 0 0 20 0 1 0 269789123 207228928 49180 33554432000 4194304 10219143 140735067421280 140735067414536 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 50593 49180 840 1471 0 49113 0 Current children cumulated CPU time (s) 1122.08 Current children cumulated vsize (KiB) 202372 [startup+1182.3 s] /proc/loadavg: 2.02 2.03 2.00 3/178 20259 /proc/meminfo: memFree=27739032/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=210324 CPUtime=1182.07 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 153850 0 0 0 117106 1101 0 0 20 0 1 0 269789123 215371776 51119 33554432000 4194304 10219143 140735067421280 140735067414920 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 52581 51119 840 1471 0 51101 0 Current children cumulated CPU time (s) 1182.07 Current children cumulated vsize (KiB) 210324 [startup+1242.3 s] /proc/loadavg: 2.05 2.03 2.00 3/177 20259 /proc/meminfo: memFree=27718084/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=218232 CPUtime=1242.05 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 155695 0 0 0 123042 1163 0 0 20 0 1 0 269789123 223469568 52949 33554432000 4194304 10219143 140735067421280 140735067414920 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 54558 52949 840 1471 0 53078 0 Current children cumulated CPU time (s) 1242.05 Current children cumulated vsize (KiB) 218232 [startup+1302.3 s] /proc/loadavg: 2.05 2.04 2.00 3/177 20259 /proc/meminfo: memFree=27698332/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=225284 CPUtime=1302.06 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 157500 0 0 0 128980 1226 0 0 20 0 1 0 269789123 230690816 54740 33554432000 4194304 10219143 140735067421280 140735067414920 8051872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 56321 54740 840 1471 0 54841 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 225284 [startup+1362.3 s] /proc/loadavg: 2.02 2.03 2.00 3/177 20259 /proc/meminfo: memFree=27681716/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=229728 CPUtime=1362.04 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 158674 0 0 0 134917 1287 0 0 20 0 1 0 269789123 235241472 55910 33554432000 4194304 10219143 140735067421280 140735067414584 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 57432 55910 840 1471 0 55952 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 229728 [startup+1422.31 s] /proc/loadavg: 2.00 2.02 2.00 3/177 20260 /proc/meminfo: memFree=27658192/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=242016 CPUtime=1422.03 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 161623 0 0 0 140854 1349 0 0 20 0 1 0 269789123 247824384 59001 33554432000 4194304 10219143 140735067421280 140735067414536 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 60504 59001 840 1471 0 59024 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 242016 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 20260 /proc/meminfo: memFree=27638724/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=247700 CPUtime=1482.02 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 163067 0 0 0 146789 1413 0 0 20 0 1 0 269789123 253644800 60438 33554432000 4194304 10219143 140735067421280 140735067414824 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 61925 60438 840 1471 0 60445 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 247700 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 20260 /proc/meminfo: memFree=27625220/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=251376 CPUtime=1542.01 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 171568 0 0 0 152725 1476 0 0 20 0 1 0 269789123 257409024 61515 33554432000 4194304 10219143 140735067421280 140735067414584 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 62844 61515 841 1471 0 61364 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 251376 [startup+1602.3 s] /proc/loadavg: 2.05 2.02 2.00 3/177 20260 /proc/meminfo: memFree=27603520/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=261096 CPUtime=1602 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 173816 0 0 0 158657 1543 0 0 20 0 1 0 269789123 267362304 63760 33554432000 4194304 10219143 140735067421280 140735067414632 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 65274 63760 841 1471 0 63794 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 261096 [startup+1662.3 s] /proc/loadavg: 2.07 2.03 2.00 3/177 20260 /proc/meminfo: memFree=27582284/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=271012 CPUtime=1661.98 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 176156 0 0 0 164592 1606 0 0 20 0 1 0 269789123 277516288 66489 33554432000 4194304 10219143 140735067421280 140735067414584 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 67753 66489 841 1471 0 66273 0 Current children cumulated CPU time (s) 1661.98 Current children cumulated vsize (KiB) 271012 [startup+1722.3 s] /proc/loadavg: 2.08 2.04 2.00 3/177 20261 /proc/meminfo: memFree=27562500/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=277168 CPUtime=1721.97 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 177697 0 0 0 170525 1672 0 0 20 0 1 0 269789123 283820032 68030 33554432000 4194304 10219143 140735067421280 140735067414632 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 69292 68030 841 1471 0 67812 0 Current children cumulated CPU time (s) 1721.97 Current children cumulated vsize (KiB) 277168 [startup+1782.3 s] /proc/loadavg: 2.03 2.03 2.00 3/178 20264 /proc/meminfo: memFree=27542528/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=282264 CPUtime=1781.96 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 186475 0 0 0 176462 1734 0 0 20 0 1 0 269789123 289038336 69307 33554432000 4194304 10219143 140735067421280 140735067414536 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 70566 69307 841 1471 0 69086 0 Current children cumulated CPU time (s) 1781.96 Current children cumulated vsize (KiB) 282264 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.02 2.03 2.00 3/178 20264 /proc/meminfo: memFree=27541164/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=283224 CPUtime=1785.16 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 186723 0 0 0 176778 1738 0 0 20 0 1 0 269789123 290021376 69555 33554432000 4194304 10219143 140735067421280 140735067414536 5355596 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 70806 69555 841 1471 0 69326 0 Current children cumulated CPU time (s) 1785.16 Current children cumulated vsize (KiB) 283224 [startup+1791.91 s] /proc/loadavg: 2.02 2.03 2.00 3/178 20264 /proc/meminfo: memFree=27538436/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=285220 CPUtime=1791.56 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 187097 0 0 0 177410 1746 0 0 20 0 1 0 269789123 292065280 69929 33554432000 4194304 10219143 140735067421280 140735067414920 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 71305 69929 841 1471 0 69825 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (KiB) 285220 [startup+1795.1 s] /proc/loadavg: 2.02 2.03 2.00 3/178 20264 /proc/meminfo: memFree=27536328/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=285368 CPUtime=1794.76 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 187129 0 0 0 177728 1748 0 0 20 0 1 0 269789123 292216832 69961 33554432000 4194304 10219143 140735067421280 140735067414728 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 71342 69961 841 1471 0 69862 0 Current children cumulated CPU time (s) 1794.76 Current children cumulated vsize (KiB) 285368 [startup+1795.9 s] /proc/loadavg: 2.02 2.03 2.00 3/178 20264 /proc/meminfo: memFree=27536328/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=285368 CPUtime=1795.56 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 187130 0 0 0 177806 1750 0 0 20 0 1 0 269789123 292216832 69962 33554432000 4194304 10219143 140735067421280 140735067414632 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 71342 69962 841 1471 0 69862 0 Current children cumulated CPU time (s) 1795.56 Current children cumulated vsize (KiB) 285368 [startup+1796.7 s] /proc/loadavg: 2.02 2.03 2.00 3/178 20264 /proc/meminfo: memFree=27535212/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=285368 CPUtime=1796.36 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 187130 0 0 0 177886 1750 0 0 20 0 1 0 269789123 292216832 69962 33554432000 4194304 10219143 140735067421280 140735067414536 9008087 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 71342 69962 841 1471 0 69862 0 Current children cumulated CPU time (s) 1796.36 Current children cumulated vsize (KiB) 285368 [startup+1797.1 s] /proc/loadavg: 2.02 2.03 2.00 3/178 20264 /proc/meminfo: memFree=27535212/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=285368 CPUtime=1796.75 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 187134 0 0 0 177925 1750 0 0 20 0 1 0 269789123 292216832 69966 33554432000 4194304 10219143 140735067421280 140735067414536 5127307 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 71342 69966 844 1471 0 69862 0 Current children cumulated CPU time (s) 1796.75 Current children cumulated vsize (KiB) 285368 [startup+1797.2 s] /proc/loadavg: 2.02 2.03 2.00 3/178 20264 /proc/meminfo: memFree=27535212/32873844 swapFree=6592/6592 [pid=20111] ppid=20109 vsize=281836 CPUtime=1796.86 cores=0,2,4,6 /proc/20111/stat : 20111 (scip-2.1.1.4exp) R 20109 20111 17459 0 -1 4202496 187134 0 0 0 177935 1751 0 0 20 0 1 0 269789123 288600064 69083 33554432000 4194304 10219143 140735067421280 140735067414536 7594335 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/20111/statm: 70426 69050 844 1471 0 68946 0 Current children cumulated CPU time (s) 1796.86 Current children cumulated vsize (KiB) 281836 Child status: 0 Real time (s): 1797.23 CPU time (s): 1796.89 CPU user time (s): 1779.38 CPU system time (s): 17.5173 CPU usage (%): 99.9815 Max. virtual memory (cumulated for all children) (KiB): 296216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.38 system time used= 17.5173 maximum resident set size= 307152 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 187136 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= 55 involuntary context switches= 2313 runsolver used 6.61199 second user time and 13.6939 second system time The end
Begin job on node140 at 2012-05-26 14:50:43 IDJOB=3692630 IDBENCH=48177 IDSOLVER=2271 FILE ID=node140/3692630-1338036643 RUNJOBID= node140-1338029037-18945 PBS_JOBID= 14624335 Free space on /tmp= 71468 MiB SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_4.opb COMMAND LINE= HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692630-1338036643/watcher-3692630-1338036643 -o /tmp/evaluation-result-3692630-1338036643/solver-3692630-1338036643 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692630-1338036643.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d847cf1d914db0ec942abd195c5092c7 RANDOM SEED=680340124 node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.094 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27400320 kB Buffers: 266868 kB Cached: 3761288 kB SwapCached: 0 kB Active: 1325212 kB Inactive: 3367180 kB Active(anon): 666152 kB Inactive(anon): 0 kB Active(file): 659060 kB Inactive(file): 3367180 kB Unevictable: 6592 kB Mlocked: 6592 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 13980 kB Writeback: 0 kB AnonPages: 737488 kB Mapped: 17688 kB Shmem: 200 kB Slab: 642228 kB SReclaimable: 84872 kB SUnreclaim: 557356 kB KernelStack: 1480 kB PageTables: 5520 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 785236 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 659456 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71456 MiB End job on node140 at 2012-05-26 15:20:40