Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed | SAT | -102 | 1796.94 | 1797.25 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_2.opb |
| MD5SUM | 1af848a7208b60f67c27d4022c7b5abe |
| 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.09 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -151 |
| 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) | 31544 |
| Sum of products size (including duplicates) | 63088 |
| Number of different products | 15772 |
| Sum of products size | 31544 |
0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3693795-1338036447.opb>
0.00/0.02 c original problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1000 constraints
0.00/0.02 c problem read in 0.02
0.08/0.12 o 0
0.08/0.12 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.08/0.12 c presolving:
0.39/0.43 c (round 1) 15772 del vars, 1000 del conss, 0 add conss, 15772 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63088 impls, 0 clqs
0.49/0.59 c (round 2) 15772 del vars, 1000 del conss, 0 add conss, 15772 chg bounds, 0 chg sides, 0 chg coeffs, 31544 upgd conss, 94632 impls, 0 clqs
0.59/0.64 c (0.6s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.64 c (0.6s) probing aborted: 50/50 successive totally useless probings
0.59/0.65 c presolving (3 rounds):
0.59/0.65 c 15772 deleted vars, 1000 deleted constraints, 0 added constraints, 15772 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.65 c 94632 implications, 0 cliques
0.59/0.65 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15772 constraints
0.59/0.65 c 15772 constraints of type <setppc>
0.59/0.65 c transformed objective value is always integral (scale: 1)
0.59/0.65 c Presolving Time: 0.62
0.59/0.65 c - non default parameters ----------------------------------------------------------------------
0.59/0.65 c # SCIP version 2.1.1.4
0.59/0.65 c
0.59/0.65 c # maximal time in seconds to run
0.59/0.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65 c limits/time = 1797
0.59/0.65 c
0.59/0.65 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65 c limits/memory = 13950
0.59/0.65 c
0.59/0.65 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.65 c # [type: int, range: [1,2], default: 1]
0.59/0.65 c timing/clocktype = 2
0.59/0.65 c
0.59/0.65 c # belongs reading time to solving time?
0.59/0.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65 c timing/reading = TRUE
0.59/0.65 c
0.59/0.65 c -----------------------------------------------------------------------------------------------
0.59/0.65 c start solving
0.59/0.66 c
0.79/0.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.86 c t 0.9s| 1 | 0 | 1030 | - | 35M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | Inf
0.79/0.89 o -1
0.79/0.89 c R 0.9s| 1 | 0 | 1030 | - | 35M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | Large
0.89/0.93 o -2
0.89/0.93 c s 0.9s| 1 | 0 | 1030 | - | 35M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | Large
1.19/1.20 c 1.2s| 1 | 0 | 1314 | - | 35M| 0 | 991 |1000 | 15k|1000 | 15k| 12 | 0 | 0 |-4.955000e+02 |-2.000000e+00 | Large
1.19/1.20 o -102
1.19/1.20 c b 1.2s| 1 | 0 | 1314 | - | 35M| 0 | 991 |1000 | 15k|1000 | 15k| 12 | 0 | 0 |-4.955000e+02 |-1.020000e+02 | 385.78%
1.39/1.47 c 1.5s| 1 | 0 | 1452 | - | 35M| 0 | 985 |1000 | 15k|1000 | 15k| 22 | 0 | 0 |-4.925000e+02 |-1.020000e+02 | 382.84%
1.69/1.77 c 1.8s| 1 | 0 | 1587 | - | 35M| 0 | 980 |1000 | 15k|1000 | 15k| 32 | 0 | 0 |-4.900000e+02 |-1.020000e+02 | 380.39%
2.28/2.33 c 2.3s| 1 | 0 | 2262 | - | 35M| 0 | 974 |1000 | 15k|1000 | 15k| 43 | 0 | 0 |-4.865000e+02 |-1.020000e+02 | 376.96%
2.69/2.78 c 2.8s| 1 | 0 | 2791 | - | 36M| 0 | 964 |1000 | 15k|1000 | 15k| 57 | 0 | 0 |-4.820000e+02 |-1.020000e+02 | 372.55%
3.08/3.17 c 3.2s| 1 | 0 | 3156 | - | 36M| 0 | 956 |1000 | 15k|1000 | 15k| 70 | 0 | 0 |-4.780000e+02 |-1.020000e+02 | 368.63%
3.59/3.62 c 3.6s| 1 | 0 | 3633 | - | 36M| 0 | 949 |1000 | 15k|1000 | 15k| 84 | 0 | 0 |-4.745000e+02 |-1.020000e+02 | 365.20%
4.29/4.34 c 4.3s| 1 | 0 | 4780 | - | 36M| 0 | 949 |1000 | 15k|1000 | 15k| 94 | 0 | 0 |-4.717500e+02 |-1.020000e+02 | 362.50%
4.89/4.98 c 5.0s| 1 | 0 | 5835 | - | 36M| 0 | 940 |1000 | 15k|1000 | 15k| 108 | 0 | 0 |-4.685000e+02 |-1.020000e+02 | 359.31%
5.59/5.66 c 5.7s| 1 | 0 | 6858 | - | 37M| 0 | 930 |1000 | 15k|1000 | 15k| 123 | 0 | 0 |-4.650000e+02 |-1.020000e+02 | 355.88%
5.98/6.00 c 6.0s| 1 | 0 | 7281 | - | 37M| 0 | 925 |1000 | 15k|1000 |1741 | 136 | 0 | 0 |-4.625000e+02 |-1.020000e+02 | 353.43%
6.09/6.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.09/6.18 c 6.2s| 1 | 0 | 7674 | - | 37M| 0 | 908 |1000 | 15k|1000 |1751 | 146 | 0 | 0 |-4.620000e+02 |-1.020000e+02 | 352.94%
6.29/6.39 c 6.4s| 1 | 0 | 8102 | - | 37M| 0 | 906 |1000 | 15k|1000 |1991 | 386 | 0 | 0 |-4.610000e+02 |-1.020000e+02 | 351.96%
6.50/6.60 c 6.6s| 1 | 0 | 8761 | - | 37M| 0 | 910 |1000 | 15k|1000 |2232 | 627 | 0 | 0 |-4.600000e+02 |-1.020000e+02 | 350.98%
6.89/6.91 c 6.9s| 1 | 0 | 10248 | - | 37M| 0 | 911 |1000 | 15k|1000 |2400 | 795 | 0 | 0 |-4.585000e+02 |-1.020000e+02 | 349.51%
7.18/7.21 c 7.2s| 1 | 0 | 11511 | - | 37M| 0 | 911 |1000 | 15k|1000 |2493 | 888 | 0 | 0 |-4.565000e+02 |-1.020000e+02 | 347.55%
7.39/7.46 c 7.5s| 1 | 0 | 12316 | - | 38M| 0 | 914 |1000 | 15k|1000 |2137 |1060 | 0 | 0 |-4.548750e+02 |-1.020000e+02 | 345.96%
7.69/7.79 c 7.8s| 1 | 0 | 13834 | - | 38M| 0 | 906 |1000 | 15k|1000 |2273 |1196 | 0 | 0 |-4.535000e+02 |-1.020000e+02 | 344.61%
8.08/8.14 c 8.1s| 1 | 0 | 14878 | - | 39M| 0 | 901 |1000 | 15k|1000 |2516 |1439 | 0 | 0 |-4.527500e+02 |-1.020000e+02 | 343.87%
8.49/8.51 c 8.5s| 1 | 0 | 15910 | - | 40M| 0 | 912 |1000 | 15k|1000 |2739 |1662 | 0 | 0 |-4.510833e+02 |-1.020000e+02 | 342.24%
8.69/8.74 c 8.7s| 1 | 0 | 16781 | - | 40M| 0 | 901 |1000 | 15k|1000 |3149 |2072 | 0 | 0 |-4.495000e+02 |-1.020000e+02 | 340.69%
8.89/8.91 c 8.9s| 1 | 0 | 17260 | - | 40M| 0 | 907 |1000 | 15k|1000 |3213 |2136 | 0 | 0 |-4.485000e+02 |-1.020000e+02 | 339.71%
8.99/9.05 c 9.1s| 1 | 0 | 17602 | - | 40M| 0 | 903 |1000 | 15k|1000 |2807 |2195 | 0 | 0 |-4.477500e+02 |-1.020000e+02 | 338.97%
9.08/9.18 c 9.2s| 1 | 0 | 17920 | - | 40M| 0 | 897 |1000 | 15k|1000 |2858 |2246 | 0 | 0 |-4.472500e+02 |-1.020000e+02 | 338.48%
9.48/9.51 c 9.5s| 1 | 0 | 19442 | - | 40M| 0 | 911 |1000 | 15k|1000 |2938 |2326 | 0 | 0 |-4.455000e+02 |-1.020000e+02 | 336.76%
9.68/9.79 c 9.8s| 1 | 0 | 20701 | - | 40M| 0 | 880 |1000 | 15k|1000 |3461 |2849 | 0 | 0 |-4.440000e+02 |-1.020000e+02 | 335.29%
10.09/10.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.09/10.13 c 10.1s| 1 | 0 | 22856 | - | 40M| 0 | 874 |1000 | 15k|1000 |3555 |2943 | 0 | 0 |-4.410000e+02 |-1.020000e+02 | 332.35%
10.39/10.48 c 10.5s| 1 | 0 | 24879 | - | 40M| 0 | 876 |1000 | 15k|1000 |3669 |3057 | 0 | 0 |-4.400000e+02 |-1.020000e+02 | 331.37%
10.58/10.66 c 10.7s| 1 | 0 | 25507 | - | 40M| 0 | 868 |1000 | 15k|1000 |2763 |3103 | 0 | 0 |-4.380000e+02 |-1.020000e+02 | 329.41%
10.78/10.82 c 10.8s| 1 | 0 | 26119 | - | 40M| 0 | 874 |1000 | 15k|1000 |2858 |3198 | 0 | 0 |-4.370000e+02 |-1.020000e+02 | 328.43%
10.89/10.95 c 11.0s| 1 | 0 | 26455 | - | 40M| 0 | 867 |1000 | 15k|1000 |2865 |3205 | 0 | 0 |-4.365000e+02 |-1.020000e+02 | 327.94%
11.08/11.10 c 11.1s| 1 | 0 | 26884 | - | 40M| 0 | 884 |1000 | 15k|1000 |2939 |3279 | 0 | 0 |-4.355000e+02 |-1.020000e+02 | 326.96%
11.18/11.26 c 11.3s| 1 | 0 | 27343 | - | 41M| 0 | 875 |1000 | 15k|1000 |3079 |3419 | 0 | 0 |-4.345000e+02 |-1.020000e+02 | 325.98%
11.29/11.37 c 11.4s| 1 | 0 | 27554 | - | 41M| 0 | 867 |1000 | 15k|1000 |3242 |3582 | 0 | 0 |-4.335000e+02 |-1.020000e+02 | 325.00%
11.39/11.45 c 11.5s| 1 | 0 | 27566 | - | 41M| 0 | 865 |1000 | 15k|1000 |2293 |3588 | 0 | 0 |-4.335000e+02 |-1.020000e+02 | 325.00%
11.49/11.59 c 11.6s| 1 | 0 | 28134 | - | 41M| 0 | 865 |1000 | 15k|1000 |2318 |3613 | 0 | 0 |-4.325000e+02 |-1.020000e+02 | 324.02%
11.59/11.68 c 11.7s| 1 | 0 | 28199 | - | 41M| 0 | 862 |1000 | 15k|1000 |2325 |3620 | 0 | 0 |-4.320000e+02 |-1.020000e+02 | 323.53%
11.69/11.78 c 11.8s| 1 | 0 | 28369 | - | 41M| 0 | 859 |1000 | 15k|1000 |2359 |3654 | 0 | 0 |-4.315000e+02 |-1.020000e+02 | 323.04%
11.89/11.97 c 12.0s| 1 | 0 | 29262 | - | 41M| 0 | 852 |1000 | 15k|1000 |2408 |3703 | 0 | 0 |-4.300000e+02 |-1.020000e+02 | 321.57%
12.19/12.25 c 12.2s| 1 | 0 | 30742 | - | 41M| 0 | 854 |1000 | 15k|1000 |2497 |3792 | 0 | 0 |-4.290000e+02 |-1.020000e+02 | 320.59%
12.39/12.46 c 12.5s| 1 | 0 | 31563 | - | 41M| 0 | 852 |1000 | 15k|1000 |1910 |4080 | 0 | 0 |-4.272500e+02 |-1.020000e+02 | 318.87%
12.49/12.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.49/12.60 c 12.6s| 1 | 0 | 32055 | - | 41M| 0 | 838 |1000 | 15k|1000 |2249 |4419 | 0 | 0 |-4.260000e+02 |-1.020000e+02 | 317.65%
12.69/12.77 c 12.8s| 1 | 0 | 32917 | - | 41M| 0 | 846 |1000 | 15k|1000 |2409 |4579 | 0 | 0 |-4.240000e+02 |-1.020000e+02 | 315.69%
12.88/12.90 c 12.9s| 1 | 0 | 33352 | - | 41M| 0 | 842 |1000 | 15k|1000 |2541 |4711 | 0 | 0 |-4.225000e+02 |-1.020000e+02 | 314.22%
12.98/13.02 c 13.0s| 1 | 0 | 33750 | - | 41M| 0 | 841 |1000 | 15k|1000 |2681 |4851 | 0 | 0 |-4.215000e+02 |-1.020000e+02 | 313.24%
13.09/13.11 c 13.1s| 1 | 0 | 33835 | - | 41M| 0 | 843 |1000 | 15k|1000 |2711 |4881 | 0 | 0 |-4.215000e+02 |-1.020000e+02 | 313.24%
13.19/13.25 c 13.2s| 1 | 0 | 34445 | - | 41M| 0 | 836 |1000 | 15k|1000 |2241 |4887 | 0 | 0 |-4.210000e+02 |-1.020000e+02 | 312.75%
13.28/13.37 c 13.4s| 1 | 0 | 34946 | - | 41M| 0 | 832 |1000 | 15k|1000 |2314 |4960 | 0 | 0 |-4.200000e+02 |-1.020000e+02 | 311.76%
13.38/13.49 c 13.5s| 1 | 0 | 35274 | - | 41M| 0 | 826 |1000 | 15k|1000 |2421 |5067 | 0 | 0 |-4.190000e+02 |-1.020000e+02 | 310.78%
13.58/13.68 c 13.7s| 1 | 0 | 36420 | - | 42M| 0 | 832 |1000 | 15k|1000 |2687 |5333 | 0 | 0 |-4.180000e+02 |-1.020000e+02 | 309.80%
13.68/13.78 c 13.8s| 1 | 0 | 36600 | - | 42M| 0 | 838 |1000 | 15k|1000 |2741 |5387 | 0 | 0 |-4.175000e+02 |-1.020000e+02 | 309.31%
13.89/13.93 c 13.9s| 1 | 0 | 37129 | - | 42M| 0 | 830 |1000 | 15k|1000 |2748 |5394 | 0 | 0 |-4.170000e+02 |-1.020000e+02 | 308.82%
14.09/14.10 c 14.1s| 1 | 0 | 37966 | - | 42M| 0 | 905 |1000 | 15k|1000 |1945 |5438 | 0 | 0 |-4.163077e+02 |-1.020000e+02 | 308.14%
14.79/14.88 c 14.9s| 1 | 0 | 38088 | - | 43M| 0 | 832 |1000 | 15k|1000 |3945 |7438 | 0 | 0 |-4.160000e+02 |-1.020000e+02 | 307.84%
14.89/14.98 c 15.0s| 1 | 0 | 38274 | - | 43M| 0 | 831 |1000 | 15k|1000 |3950 |7443 | 0 | 0 |-4.155000e+02 |-1.020000e+02 | 307.35%
14.99/15.05 c 15.1s| 1 | 0 | 38290 | - | 43M| 0 | 829 |1000 | 15k|1000 |3955 |7448 | 0 | 0 |-4.155000e+02 |-1.020000e+02 | 307.35%
15.09/15.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.09/15.14 c 15.1s| 1 | 0 | 38398 | - | 43M| 0 | 827 |1000 | 15k|1000 |3983 |7476 | 0 | 0 |-4.145000e+02 |-1.020000e+02 | 306.37%
15.19/15.27 c 15.3s| 1 | 0 | 38789 | - | 43M| 0 | 823 |1000 | 15k|1000 |4012 |7505 | 0 | 0 |-4.135000e+02 |-1.020000e+02 | 305.39%
15.40/15.41 c 15.4s| 1 | 0 | 39174 | - | 43M| 0 | 826 |1000 | 15k|1000 |3528 |7557 | 0 | 0 |-4.130000e+02 |-1.020000e+02 | 304.90%
15.40/15.49 c 15.5s| 1 | 0 | 39244 | - | 43M| 0 | 825 |1000 | 15k|1000 |3532 |7561 | 0 | 0 |-4.125000e+02 |-1.020000e+02 | 304.41%
15.49/15.57 c 15.6s| 1 | 0 | 39331 | - | 43M| 0 | 822 |1000 | 15k|1000 |3539 |7568 | 0 | 0 |-4.120000e+02 |-1.020000e+02 | 303.92%
15.59/15.65 c 15.6s| 1 | 0 | 39379 | - | 43M| 0 | 819 |1000 | 15k|1000 |3570 |7599 | 0 | 0 |-4.115000e+02 |-1.020000e+02 | 303.43%
15.69/15.76 c 15.8s| 1 | 0 | 39674 | - | 43M| 0 | 820 |1000 | 15k|1000 |3636 |7665 | 0 | 0 |-4.110000e+02 |-1.020000e+02 | 302.94%
15.89/15.94 c 15.9s| 1 | 0 | 40411 | - | 43M| 0 | 817 |1000 | 15k|1000 |3668 |7697 | 0 | 0 |-4.095000e+02 |-1.020000e+02 | 301.47%
15.99/16.02 c 16.0s| 1 | 0 | 40429 | - | 43M| 0 | 821 |1000 | 15k|1000 |1867 |7728 | 0 | 0 |-4.095000e+02 |-1.020000e+02 | 301.47%
16.09/16.10 c 16.1s| 1 | 0 | 40497 | - | 43M| 0 | 819 |1000 | 15k|1000 |1893 |7754 | 0 | 0 |-4.095000e+02 |-1.020000e+02 | 301.47%
16.19/16.25 c 16.3s| 1 | 0 | 41296 | - | 43M| 0 | 819 |1000 | 15k|1000 |1958 |7819 | 0 | 0 |-4.077500e+02 |-1.020000e+02 | 299.75%
16.39/16.43 c 16.4s| 1 | 0 | 42265 | - | 44M| 0 | 841 |1000 | 15k|1000 |2235 |8096 | 0 | 0 |-4.070714e+02 |-1.020000e+02 | 299.09%
16.49/16.56 c 16.6s| 1 | 0 | 42454 | - | 44M| 0 | 810 |1000 | 15k|1000 |2760 |8621 | 0 | 0 |-4.060000e+02 |-1.020000e+02 | 298.04%
16.59/16.66 c 16.7s| 1 | 0 | 42677 | - | 44M| 0 | 803 |1000 | 15k|1000 |2782 |8643 | 0 | 0 |-4.055000e+02 |-1.020000e+02 | 297.55%
16.69/16.77 c 16.8s| 1 | 0 | 42907 | - | 44M| 0 | 810 |1000 | 15k|1000 |2622 |8733 | 0 | 0 |-4.050000e+02 |-1.020000e+02 | 297.06%
16.79/16.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.79/16.86 c 16.9s| 1 | 0 | 43115 | - | 44M| 0 | 809 |1000 | 15k|1000 |2625 |8736 | 0 | 0 |-4.045000e+02 |-1.020000e+02 | 296.57%
16.89/16.97 c 17.0s| 1 | 0 | 43357 | - | 44M| 0 | 808 |1000 | 15k|1000 |2630 |8741 | 0 | 0 |-4.040000e+02 |-1.020000e+02 | 296.08%
17.08/17.16 c 17.2s| 1 | 0 | 44219 | - | 44M| 0 | 831 |1000 | 15k|1000 |2636 |8747 | 0 | 0 |-4.030000e+02 |-1.020000e+02 | 295.10%
17.49/17.53 c 17.5s| 1 | 0 | 46099 | - | 44M| 0 | 784 |1000 | 15k|1000 |3074 |9185 | 0 | 0 |-4.010000e+02 |-1.020000e+02 | 293.14%
17.60/17.62 c 17.6s| 1 | 0 | 46225 | - | 44M| 0 | 801 |1000 | 15k|1000 |3270 |9381 | 0 | 0 |-4.005000e+02 |-1.020000e+02 | 292.65%
17.69/17.74 c 17.7s| 1 | 0 | 46564 | - | 44M| 0 | 800 |1000 | 15k|1000 |3024 |9385 | 0 | 0 |-4.000000e+02 |-1.020000e+02 | 292.16%
17.79/17.84 c 17.8s| 1 | 0 | 46766 | - | 44M| 0 | 799 |1000 | 15k|1000 |3029 |9390 | 0 | 0 |-3.995000e+02 |-1.020000e+02 | 291.67%
17.99/18.08 c 18.1s| 1 | 0 | 48485 | - | 44M| 0 | 796 |1000 | 15k|1000 |3034 |9395 | 0 | 0 |-3.990000e+02 |-1.020000e+02 | 291.18%
18.28/18.31 c 18.3s| 1 | 0 | 49621 | - | 44M| 0 | 821 |1000 | 15k|1000 |3058 |9419 | 0 | 0 |-3.980000e+02 |-1.020000e+02 | 290.20%
18.49/18.50 c 18.5s| 1 | 0 | 50385 | - | 44M| 0 | 794 |1000 | 15k|1000 |3245 |9606 | 0 | 0 |-3.970000e+02 |-1.020000e+02 | 289.22%
18.49/18.57 c 18.6s| 1 | 0 | 50402 | - | 44M| 0 | 792 |1000 | 15k|1000 |3251 |9612 | 0 | 0 |-3.970000e+02 |-1.020000e+02 | 289.22%
18.70/18.76 c 18.8s| 1 | 0 | 51212 | - | 44M| 0 | 791 |1000 | 15k|1000 |2679 |9633 | 0 | 0 |-3.965000e+02 |-1.020000e+02 | 288.73%
18.89/18.94 c 18.9s| 1 | 0 | 52027 | - | 44M| 0 | 788 |1000 | 15k|1000 |2710 |9664 | 0 | 0 |-3.960000e+02 |-1.020000e+02 | 288.24%
19.19/19.24 c 19.2s| 1 | 0 | 53602 | - | 44M| 0 | 908 |1000 | 15k|1000 |2757 |9711 | 0 | 0 |-3.951778e+02 |-1.020000e+02 | 287.43%
19.79/19.82 c 19.8s| 1 | 0 | 53740 | - | 45M| 0 | 803 |1000 | 15k|1000 |4757 | 11k| 0 | 0 |-3.948750e+02 |-1.020000e+02 | 287.13%
19.79/19.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.79/19.89 c 19.9s| 1 | 0 | 53747 | - | 45M| 0 | 804 |1000 | 15k|1000 |4762 | 11k| 0 | 0 |-3.948750e+02 |-1.020000e+02 | 287.13%
19.88/19.98 c 20.0s| 1 | 0 | 53816 | - | 45M| 0 | 803 |1000 | 15k|1000 |4766 | 11k| 0 | 0 |-3.943750e+02 |-1.020000e+02 | 286.64%
20.08/20.14 c 20.1s| 1 | 0 | 54239 | - | 45M| 0 | 805 |1000 | 15k|1000 |4354 | 11k| 0 | 0 |-3.933750e+02 |-1.020000e+02 | 285.66%
20.18/20.21 c 20.2s| 1 | 0 | 54285 | - | 45M| 0 | 808 |1000 | 15k|1000 |4359 | 11k| 0 | 0 |-3.928750e+02 |-1.020000e+02 | 285.17%
20.28/20.30 c 20.3s| 1 | 0 | 54371 | - | 45M| 0 | 793 |1000 | 15k|1000 |4366 | 11k| 0 | 0 |-3.927500e+02 |-1.020000e+02 | 285.05%
20.28/20.38 c 20.4s| 1 | 0 | 54445 | - | 45M| 0 | 788 |1000 | 15k|1000 |4371 | 11k| 0 | 0 |-3.922500e+02 |-1.020000e+02 | 284.56%
20.48/20.51 c 20.5s| 1 | 0 | 54738 | - | 45M| 0 | 782 |1000 | 15k|1000 |4375 | 11k| 0 | 0 |-3.920000e+02 |-1.020000e+02 | 284.31%
20.48/20.58 c 20.6s| 1 | 0 | 54767 | - | 45M| 0 | 788 |1000 | 15k|1000 |4394 | 11k| 0 | 0 |-3.920000e+02 |-1.020000e+02 | 284.31%
20.68/20.75 c 20.7s| 1 | 0 | 55250 | - | 45M| 0 | 816 |1000 | 15k|1000 |4082 | 11k| 0 | 0 |-3.915000e+02 |-1.020000e+02 | 283.82%
20.90/20.98 c 21.0s| 1 | 0 | 56062 | - | 45M| 0 | 840 |1000 | 15k|1000 |4125 | 11k| 0 | 0 |-3.910000e+02 |-1.020000e+02 | 283.33%
21.09/21.16 c 21.2s| 1 | 0 | 56640 | - | 45M| 0 | 792 |1000 | 15k|1000 |4233 | 11k| 0 | 0 |-3.905000e+02 |-1.020000e+02 | 282.84%
21.29/21.30 c 21.3s| 1 | 0 | 56924 | - | 45M| 0 | 793 |1000 | 15k|1000 |4281 | 11k| 0 | 0 |-3.900000e+02 |-1.020000e+02 | 282.35%
21.59/21.68 c 21.7s| 1 | 0 | 58933 | - | 45M| 0 | 799 |1000 | 15k|1000 |4317 | 12k| 0 | 0 |-3.892500e+02 |-1.020000e+02 | 281.62%
21.89/21.92 c 21.9s| 1 | 0 | 59852 | - | 45M| 0 | 823 |1000 | 15k|1000 |4453 | 12k| 0 | 0 |-3.882500e+02 |-1.020000e+02 | 280.64%
22.18/22.20 c 22.2s| 1 | 0 | 61101 | - | 45M| 0 | 834 |1000 | 15k|1000 |3443 | 12k| 0 | 0 |-3.866500e+02 |-1.020000e+02 | 279.07%
22.48/22.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.48/22.56 c 22.6s| 1 | 0 | 63052 | - | 45M| 0 | 860 |1000 | 15k|1000 |3561 | 12k| 0 | 0 |-3.857500e+02 |-1.020000e+02 | 278.19%
22.79/22.89 c 22.9s| 1 | 0 | 64688 | - | 45M| 0 | 857 |1000 | 15k|1000 |3729 | 12k| 0 | 0 |-3.853409e+02 |-1.020000e+02 | 277.79%
23.19/23.21 c 23.2s| 1 | 0 | 65894 | - | 45M| 0 | 833 |1000 | 15k|1000 |3799 | 12k| 0 | 0 |-3.836786e+02 |-1.020000e+02 | 276.16%
23.39/23.41 c 23.4s| 1 | 0 | 66568 | - | 45M| 0 | 861 |1000 | 15k|1000 |3821 | 12k| 0 | 0 |-3.834688e+02 |-1.020000e+02 | 275.95%
23.59/23.65 c 23.7s| 1 | 0 | 67415 | - | 45M| 0 | 876 |1000 | 15k|1000 |3847 | 12k| 0 | 0 |-3.829008e+02 |-1.020000e+02 | 275.39%
23.98/24.03 c 24.0s| 1 | 0 | 68790 | - | 45M| 0 | 859 |1000 | 15k|1000 |3712 | 12k| 0 | 0 |-3.815278e+02 |-1.020000e+02 | 274.05%
24.28/24.37 c 24.4s| 1 | 0 | 70079 | - | 44M| 0 | 907 |1000 | 15k|1000 |3919 | 12k| 0 | 0 |-3.801850e+02 |-1.020000e+02 | 272.73%
24.68/24.70 c 24.7s| 1 | 0 | 71302 | - | 44M| 0 | 878 |1000 | 15k|1000 |4116 | 13k| 0 | 0 |-3.789158e+02 |-1.020000e+02 | 271.49%
24.78/24.86 c 24.9s| 1 | 0 | 71648 | - | 44M| 0 | 868 |1000 | 15k|1000 |4174 | 13k| 0 | 0 |-3.783922e+02 |-1.020000e+02 | 270.97%
24.99/25.09 c 25.1s| 1 | 0 | 72420 | - | 44M| 0 | 907 |1000 | 15k|1000 |4204 | 13k| 0 | 0 |-3.778559e+02 |-1.020000e+02 | 270.45%
25.69/25.79 c 25.8s| 1 | 0 | 75290 | - | 44M| 0 | 890 |1000 | 15k|1000 |4289 | 13k| 0 | 0 |-3.765550e+02 |-1.020000e+02 | 269.17%
26.18/26.23 c 26.2s| 1 | 0 | 76852 | - | 44M| 0 | 884 |1000 | 15k|1000 |4021 | 13k| 0 | 0 |-3.754375e+02 |-1.020000e+02 | 268.08%
26.48/26.53 c 26.5s| 1 | 0 | 77879 | - | 44M| 0 | 914 |1000 | 15k|1000 |4079 | 13k| 0 | 0 |-3.744715e+02 |-1.020000e+02 | 267.13%
26.69/26.71 c 26.7s| 1 | 0 | 78288 | - | 44M| 0 | 903 |1000 | 15k|1000 |4112 | 13k| 0 | 0 |-3.741963e+02 |-1.020000e+02 | 266.86%
26.99/27.05 c 27.1s| 1 | 0 | 79413 | - | 44M| 0 | 948 |1000 | 15k|1000 |4134 | 13k| 0 | 0 |-3.737871e+02 |-1.020000e+02 | 266.46%
27.29/27.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.29/27.32 c 27.3s| 1 | 0 | 80230 | - | 44M| 0 | 903 |1000 | 15k|1000 |4234 | 13k| 0 | 0 |-3.727186e+02 |-1.020000e+02 | 265.41%
27.59/27.68 c 27.7s| 1 | 0 | 81448 | - | 44M| 0 | 902 |1000 | 15k|1000 |4279 | 13k| 0 | 0 |-3.721446e+02 |-1.020000e+02 | 264.85%
28.08/28.19 c 28.2s| 1 | 0 | 83372 | - | 43M| 0 | 921 |1000 | 15k|1000 |3970 | 13k| 0 | 0 |-3.709065e+02 |-1.020000e+02 | 263.63%
28.69/28.72 c 28.7s| 1 | 0 | 85371 | - | 43M| 0 | 901 |1000 | 15k|1000 |4079 | 13k| 0 | 0 |-3.695089e+02 |-1.020000e+02 | 262.26%
29.09/29.17 c 29.2s| 1 | 0 | 87038 | - | 42M| 0 | 942 |1000 | 15k|1000 |4278 | 14k| 0 | 0 |-3.686374e+02 |-1.020000e+02 | 261.41%
29.69/29.79 c 29.8s| 1 | 0 | 89488 | - | 42M| 0 | 936 |1000 | 15k|1000 |4391 | 14k| 0 | 0 |-3.676383e+02 |-1.020000e+02 | 260.43%
30.49/30.53 c 30.5s| 1 | 0 | 92278 | - | 42M| 0 | 928 |1000 | 15k|1000 |4441 | 14k| 0 | 0 |-3.664960e+02 |-1.020000e+02 | 259.31%
30.99/31.09 c 31.1s| 1 | 0 | 94211 | - | 42M| 0 | 942 |1000 | 15k|1000 |4486 | 14k| 0 | 0 |-3.659130e+02 |-1.020000e+02 | 258.74%
31.59/31.69 c 31.7s| 1 | 0 | 96444 | - | 42M| 0 | 928 |1000 | 15k|1000 |4252 | 14k| 0 | 0 |-3.651660e+02 |-1.020000e+02 | 258.01%
32.38/32.46 c 32.5s| 1 | 0 | 99454 | - | 42M| 0 | 943 |1000 | 15k|1000 |4323 | 14k| 0 | 0 |-3.638298e+02 |-1.020000e+02 | 256.70%
33.18/33.21 c 33.2s| 1 | 0 |102297 | - | 42M| 0 | 931 |1000 | 15k|1000 |4425 | 14k| 0 | 0 |-3.627994e+02 |-1.020000e+02 | 255.69%
33.58/33.61 c 33.6s| 1 | 0 |103659 | - | 42M| 0 | 933 |1000 | 15k|1000 |4464 | 14k| 0 | 0 |-3.623588e+02 |-1.020000e+02 | 255.25%
34.17/34.25 c 34.3s| 1 | 0 |105982 | - | 42M| 0 | 953 |1000 | 15k|1000 |4533 | 14k| 0 | 0 |-3.616914e+02 |-1.020000e+02 | 254.60%
34.88/34.91 c 34.9s| 1 | 0 |108289 | - | 42M| 0 | 948 |1000 | 15k|1000 |4664 | 14k| 0 | 0 |-3.609589e+02 |-1.020000e+02 | 253.88%
35.58/35.63 c 35.6s| 1 | 0 |110874 | - | 42M| 0 | 955 |1000 | 15k|1000 |4509 | 14k| 0 | 0 |-3.596660e+02 |-1.020000e+02 | 252.61%
36.28/36.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.28/36.32 c 36.3s| 1 | 0 |113202 | - | 42M| 0 | 961 |1000 | 15k|1000 |4555 | 14k| 0 | 0 |-3.587952e+02 |-1.020000e+02 | 251.76%
36.98/37.04 c 37.0s| 1 | 0 |115652 | - | 42M| 0 | 963 |1000 | 15k|1000 |4628 | 14k| 0 | 0 |-3.578258e+02 |-1.020000e+02 | 250.81%
37.88/37.91 c 37.9s| 1 | 0 |118828 | - | 42M| 0 | 954 |1000 | 15k|1000 |4705 | 14k| 0 | 0 |-3.568658e+02 |-1.020000e+02 | 249.87%
38.58/38.62 c 38.6s| 1 | 0 |121174 | - | 42M| 0 | 967 |1000 | 15k|1000 |4749 | 15k| 0 | 0 |-3.560569e+02 |-1.020000e+02 | 249.08%
39.68/39.76 c 39.8s| 1 | 0 |125258 | - | 42M| 0 | 965 |1000 | 15k|1000 |4821 | 15k| 0 | 0 |-3.548510e+02 |-1.020000e+02 | 247.89%
40.18/40.29 c 40.3s| 1 | 0 |126855 | - | 42M| 0 | 966 |1000 | 15k|1000 |4694 | 15k| 0 | 0 |-3.544274e+02 |-1.020000e+02 | 247.48%
40.68/40.75 c 40.8s| 1 | 0 |128255 | - | 42M| 0 | 967 |1000 | 15k|1000 |4721 | 15k| 0 | 0 |-3.539043e+02 |-1.020000e+02 | 246.97%
41.27/41.31 c 41.3s| 1 | 0 |129971 | - | 42M| 0 | 965 |1000 | 15k|1000 |4744 | 15k| 0 | 0 |-3.530048e+02 |-1.020000e+02 | 246.08%
42.08/42.12 c 42.1s| 1 | 0 |132613 | - | 42M| 0 | 972 |1000 | 15k|1000 |4799 | 15k| 0 | 0 |-3.521755e+02 |-1.020000e+02 | 245.27%
43.37/43.43 c 43.4s| 1 | 0 |137121 | - | 42M| 0 | 969 |1000 | 15k|1000 |4914 | 15k| 0 | 0 |-3.511715e+02 |-1.020000e+02 | 244.29%
43.88/43.97 c 44.0s| 1 | 0 |138834 | - | 42M| 0 | 969 |1000 | 15k|1000 |4943 | 15k| 0 | 0 |-3.504989e+02 |-1.020000e+02 | 243.63%
44.67/44.78 c 44.8s| 1 | 0 |141614 | - | 42M| 0 | 975 |1000 | 15k|1000 |4796 | 15k| 0 | 0 |-3.499423e+02 |-1.020000e+02 | 243.08%
45.68/45.78 c 45.8s| 1 | 0 |144955 | - | 42M| 0 | 982 |1000 | 15k|1000 |4847 | 15k| 0 | 0 |-3.490912e+02 |-1.020000e+02 | 242.25%
46.57/46.62 c 46.6s| 1 | 0 |147757 | - | 42M| 0 | 970 |1000 | 15k|1000 |4921 | 15k| 0 | 0 |-3.479391e+02 |-1.020000e+02 | 241.12%
46.88/46.92 c 46.9s| 1 | 0 |148496 | - | 42M| 0 | 973 |1000 | 15k|1000 |4939 | 15k| 0 | 0 |-3.478719e+02 |-1.020000e+02 | 241.05%
47.87/47.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.87/47.99 c 48.0s| 1 | 0 |152423 | - | 42M| 0 | 976 |1000 | 15k|1000 |4963 | 15k| 0 | 0 |-3.469733e+02 |-1.020000e+02 | 240.17%
48.57/48.68 c 48.7s| 1 | 0 |154628 | - | 42M| 0 | 976 |1000 | 15k|1000 |5050 | 15k| 0 | 0 |-3.466678e+02 |-1.020000e+02 | 239.87%
49.47/49.53 c 49.5s| 1 | 0 |157386 | - | 42M| 0 | 976 |1000 | 15k|1000 |4918 | 15k| 0 | 0 |-3.460293e+02 |-1.020000e+02 | 239.24%
50.38/50.44 c 50.4s| 1 | 0 |160445 | - | 42M| 0 | 975 |1000 | 15k|1000 |4950 | 15k| 0 | 0 |-3.453731e+02 |-1.020000e+02 | 238.60%
51.58/51.65 c 51.7s| 1 | 0 |164673 | - | 42M| 0 | 983 |1000 | 15k|1000 |4984 | 15k| 0 | 0 |-3.444751e+02 |-1.020000e+02 | 237.72%
52.87/52.97 c 53.0s| 1 | 0 |169385 | - | 42M| 0 | 988 |1000 | 15k|1000 |5032 | 15k| 0 | 0 |-3.435568e+02 |-1.020000e+02 | 236.82%
53.87/53.98 c 54.0s| 1 | 0 |172740 | - | 42M| 0 | 989 |1000 | 15k|1000 |5158 | 15k| 0 | 0 |-3.427600e+02 |-1.020000e+02 | 236.04%
54.77/54.87 c 54.9s| 1 | 0 |175586 | - | 41M| 0 | 987 |1000 | 15k|1000 |5202 | 15k| 0 | 0 |-3.420170e+02 |-1.020000e+02 | 235.31%
55.67/55.75 c 55.8s| 1 | 0 |178280 | - | 41M| 0 | 989 |1000 | 15k|1000 |5143 | 16k| 0 | 0 |-3.414612e+02 |-1.020000e+02 | 234.77%
56.47/56.56 c 56.6s| 1 | 0 |180708 | - | 41M| 0 | 990 |1000 | 15k|1000 |5174 | 16k| 0 | 0 |-3.407698e+02 |-1.020000e+02 | 234.09%
57.47/57.51 c 57.5s| 1 | 0 |183679 | - | 41M| 0 | 991 |1000 | 15k|1000 |5213 | 16k| 0 | 0 |-3.400002e+02 |-1.020000e+02 | 233.33%
58.37/58.44 c 58.4s| 1 | 0 |186934 | - | 41M| 0 | 991 |1000 | 15k|1000 |5274 | 16k| 0 | 0 |-3.393073e+02 |-1.020000e+02 | 232.65%
59.38/59.48 c 59.5s| 1 | 0 |190532 | - | 41M| 0 | 992 |1000 | 15k|1000 |5307 | 16k| 0 | 0 |-3.384272e+02 |-1.020000e+02 | 231.79%
60.47/60.51 c 60.5s| 1 | 0 |193670 | - | 41M| 0 | 993 |1000 | 15k|1000 |5335 | 16k| 0 | 0 |-3.377291e+02 |-1.020000e+02 | 231.11%
61.17/61.21 c 61.2s| 1 | 0 |195817 | - | 41M| 0 | 997 |1000 | 15k|1000 |5287 | 16k| 0 | 0 |-3.374387e+02 |-1.020000e+02 | 230.82%
61.77/61.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.77/61.86 c 61.9s| 1 | 0 |197668 | - | 41M| 0 | 991 |1000 | 15k|1000 |5311 | 16k| 0 | 0 |-3.369809e+02 |-1.020000e+02 | 230.37%
62.47/62.50 c 62.5s| 1 | 0 |199507 | - | 41M| 0 | 993 |1000 | 15k|1000 |5352 | 16k| 0 | 0 |-3.364702e+02 |-1.020000e+02 | 229.87%
63.26/63.37 c 63.4s| 1 | 0 |202046 | - | 41M| 0 | 992 |1000 | 15k|1000 |5378 | 16k| 0 | 0 |-3.355879e+02 |-1.020000e+02 | 229.01%
64.16/64.24 c 64.2s| 1 | 0 |204573 | - | 41M| 0 | 994 |1000 | 15k|1000 |5442 | 16k| 0 | 0 |-3.351823e+02 |-1.020000e+02 | 228.61%
64.77/64.89 c 64.9s| 1 | 0 |206437 | - | 40M| 0 | 993 |1000 | 15k|1000 |5472 | 16k| 0 | 0 |-3.349404e+02 |-1.020000e+02 | 228.37%
65.66/65.73 c 65.7s| 1 | 0 |208884 | - | 40M| 0 | 996 |1000 | 15k|1000 |5353 | 16k| 0 | 0 |-3.345367e+02 |-1.020000e+02 | 227.98%
66.36/66.44 c 66.4s| 1 | 0 |211142 | - | 41M| 0 | 994 |1000 | 15k|1000 |5404 | 16k| 0 | 0 |-3.340332e+02 |-1.020000e+02 | 227.48%
67.07/67.19 c 67.2s| 1 | 0 |213194 | - | 41M| 0 | 996 |1000 | 15k|1000 |5451 | 16k| 0 | 0 |-3.334290e+02 |-1.020000e+02 | 226.89%
67.86/67.91 c 67.9s| 1 | 0 |215168 | - | 41M| 0 | 995 |1000 | 15k|1000 |5479 | 16k| 0 | 0 |-3.328228e+02 |-1.020000e+02 | 226.30%
68.76/68.84 c 68.8s| 1 | 0 |217809 | - | 41M| 0 | 994 |1000 | 15k|1000 |5502 | 16k| 0 | 0 |-3.322929e+02 |-1.020000e+02 | 225.78%
69.56/69.62 c 69.6s| 1 | 0 |219980 | - | 40M| 0 | 994 |1000 | 15k|1000 |5528 | 16k| 0 | 0 |-3.317240e+02 |-1.020000e+02 | 225.22%
70.46/70.52 c 70.5s| 1 | 0 |222473 | - | 40M| 0 | 994 |1000 | 15k|1000 |5469 | 16k| 0 | 0 |-3.312235e+02 |-1.020000e+02 | 224.73%
71.06/71.17 c 71.2s| 1 | 0 |224251 | - | 40M| 0 | 997 |1000 | 15k|1000 |5485 | 16k| 0 | 0 |-3.308404e+02 |-1.020000e+02 | 224.35%
72.26/72.32 c 72.3s| 1 | 0 |227617 | - | 40M| 0 | 995 |1000 | 15k|1000 |5516 | 16k| 0 | 0 |-3.301682e+02 |-1.020000e+02 | 223.69%
72.96/73.05 c 73.1s| 1 | 0 |229597 | - | 40M| 0 | 996 |1000 | 15k|1000 |5533 | 16k| 0 | 0 |-3.295996e+02 |-1.020000e+02 | 223.14%
73.47/73.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.47/73.53 c 73.5s| 1 | 0 |230752 | - | 40M| 0 | 998 |1000 | 15k|1000 |5556 | 16k| 0 | 0 |-3.291309e+02 |-1.020000e+02 | 222.68%
74.06/74.14 c 74.1s| 1 | 0 |232415 | - | 40M| 0 | 997 |1000 | 15k|1000 |5575 | 16k| 0 | 0 |-3.287027e+02 |-1.020000e+02 | 222.26%
74.66/74.74 c 74.7s| 1 | 0 |233843 | - | 40M| 0 | 997 |1000 | 15k|1000 |5496 | 16k| 0 | 0 |-3.283903e+02 |-1.020000e+02 | 221.95%
75.16/75.26 c 75.3s| 1 | 0 |235101 | - | 40M| 0 | 996 |1000 | 15k|1000 |5515 | 16k| 0 | 0 |-3.279909e+02 |-1.020000e+02 | 221.56%
75.76/75.81 c 75.8s| 1 | 0 |236420 | - | 40M| 0 | 996 |1000 | 15k|1000 |5535 | 16k| 0 | 0 |-3.275418e+02 |-1.020000e+02 | 221.12%
76.26/76.37 c 76.4s| 1 | 0 |237821 | - | 40M| 0 | 996 |1000 | 15k|1000 |5557 | 16k| 0 | 0 |-3.270500e+02 |-1.020000e+02 | 220.64%
76.97/77.03 c 77.0s| 1 | 0 |239515 | - | 40M| 0 | 996 |1000 | 15k|1000 |5585 | 16k| 0 | 0 |-3.267949e+02 |-1.020000e+02 | 220.39%
77.96/78.05 c 78.0s| 1 | 0 |242319 | - | 40M| 0 | 996 |1000 | 15k|1000 |5598 | 16k| 0 | 0 |-3.263966e+02 |-1.020000e+02 | 220.00%
78.56/78.69 c 78.7s| 1 | 0 |243930 | - | 40M| 0 | 998 |1000 | 15k|1000 |5568 | 16k| 0 | 0 |-3.259846e+02 |-1.020000e+02 | 219.59%
79.07/79.20 c 79.2s| 1 | 0 |245172 | - | 40M| 0 | 996 |1000 | 15k|1000 |5591 | 16k| 0 | 0 |-3.257205e+02 |-1.020000e+02 | 219.33%
79.76/79.80 c 79.8s| 1 | 0 |246705 | - | 40M| 0 | 998 |1000 | 15k|1000 |5613 | 16k| 0 | 0 |-3.254431e+02 |-1.020000e+02 | 219.06%
80.26/80.32 c 80.3s| 1 | 0 |247881 | - | 40M| 0 | 997 |1000 | 15k|1000 |5629 | 16k| 0 | 0 |-3.252423e+02 |-1.020000e+02 | 218.86%
80.66/80.78 c 80.8s| 1 | 0 |248925 | - | 40M| 0 | 998 |1000 | 15k|1000 |5645 | 17k| 0 | 0 |-3.250348e+02 |-1.020000e+02 | 218.66%
81.27/81.30 c 81.3s| 1 | 0 |250134 | - | 40M| 0 | 998 |1000 | 15k|1000 |5657 | 17k| 0 | 0 |-3.246312e+02 |-1.020000e+02 | 218.27%
81.76/81.82 c 81.8s| 1 | 0 |251321 | - | 40M| 0 | 997 |1000 | 15k|1000 |5617 | 17k| 0 | 0 |-3.243656e+02 |-1.020000e+02 | 218.01%
81.96/82.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.96/82.06 c 82.1s| 1 | 0 |251722 | - | 40M| 0 | 997 |1000 | 15k|1000 |5625 | 17k| 0 | 0 |-3.243021e+02 |-1.020000e+02 | 217.94%
82.47/82.51 c 82.5s| 1 | 0 |252790 | - | 40M| 0 | 999 |1000 | 15k|1000 |5634 | 17k| 0 | 0 |-3.241857e+02 |-1.020000e+02 | 217.83%
82.76/82.83 c 82.8s| 1 | 0 |253430 | - | 40M| 0 | 999 |1000 | 15k|1000 |5647 | 17k| 0 | 0 |-3.240706e+02 |-1.020000e+02 | 217.72%
83.16/83.26 c 83.3s| 1 | 0 |254441 | - | 40M| 0 | 997 |1000 | 15k|1000 |5659 | 17k| 0 | 0 |-3.239070e+02 |-1.020000e+02 | 217.56%
83.66/83.71 c 83.7s| 1 | 0 |255477 | - | 40M| 0 | 998 |1000 | 15k|1000 |5673 | 17k| 0 | 0 |-3.237067e+02 |-1.020000e+02 | 217.36%
84.06/84.11 c 84.1s| 1 | 0 |256365 | - | 40M| 0 | 998 |1000 | 15k|1000 |5621 | 17k| 0 | 0 |-3.236197e+02 |-1.020000e+02 | 217.27%
84.46/84.51 c 84.5s| 1 | 0 |257231 | - | 40M| 0 | 996 |1000 | 15k|1000 |5628 | 17k| 0 | 0 |-3.235232e+02 |-1.020000e+02 | 217.18%
84.75/84.82 c 84.8s| 1 | 0 |257869 | - | 40M| 0 | 996 |1000 | 15k|1000 |5639 | 17k| 0 | 0 |-3.234682e+02 |-1.020000e+02 | 217.13%
85.06/85.13 c 85.1s| 1 | 0 |258487 | - | 40M| 0 | 998 |1000 | 15k|1000 |5650 | 17k| 0 | 0 |-3.233951e+02 |-1.020000e+02 | 217.05%
85.36/85.40 c 85.4s| 1 | 0 |259016 | - | 40M| 0 | 997 |1000 | 15k|1000 |5662 | 17k| 0 | 0 |-3.233296e+02 |-1.020000e+02 | 216.99%
85.67/85.70 c 85.7s| 1 | 0 |259691 | - | 40M| 0 | 996 |1000 | 15k|1000 |5669 | 17k| 0 | 0 |-3.232471e+02 |-1.020000e+02 | 216.91%
85.96/86.07 c 86.1s| 1 | 0 |260479 | - | 40M| 0 | 998 |1000 | 15k|1000 |5629 | 17k| 0 | 0 |-3.231617e+02 |-1.020000e+02 | 216.83%
86.46/86.57 c 86.6s| 1 | 0 |261706 | - | 40M| 0 | 998 |1000 | 15k|1000 |5641 | 17k| 0 | 0 |-3.230759e+02 |-1.020000e+02 | 216.74%
86.76/86.90 c 86.9s| 1 | 0 |262462 | - | 40M| 0 | 998 |1000 | 15k|1000 |5655 | 17k| 0 | 0 |-3.230244e+02 |-1.020000e+02 | 216.69%
86.96/87.05 c 87.0s| 1 | 0 |262607 | - | 40M| 0 | 967 |1000 | 15k|1000 |5667 | 17k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 216.67%
87.06/87.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.06/87.14 c 87.1s| 1 | 0 |262608 | - | 40M| 0 | 968 |1000 | 15k|1000 |5668 | 17k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 216.67%
92.45/92.53 c 92.5s| 1 | 2 |262608 | - | 40M| 0 | 968 |1000 | 15k|1000 |5668 | 17k| 0 | 17 |-3.230000e+02 |-1.020000e+02 | 216.67%
189.94/190.07 c 190s| 100 | 101 |712495 |4544.3 | 41M| 29 | 469 |1000 | 15k|1000 | 997 | 17k| 0 | 606 |-3.223306e+02 |-1.020000e+02 | 216.01%
208.74/208.83 c 209s| 200 | 201 |826093 |2831.6 | 41M| 45 | 377 |1000 | 15k|1000 |1668 | 24k| 0 | 702 |-3.220256e+02 |-1.020000e+02 | 215.71%
212.54/212.69 c 213s| 300 | 301 |852700 |1973.6 | 42M| 51 | 525 |1000 | 15k|1000 |1760 | 36k| 0 | 812 |-3.220256e+02 |-1.020000e+02 | 215.71%
223.74/223.84 c 224s| 400 | 401 |917158 |1640.5 | 42M| 51 | 31 |1000 | 15k|1000 | 997 | 44k| 0 | 895 |-3.217309e+02 |-1.020000e+02 | 215.42%
233.74/233.82 c 234s| 500 | 501 |979496 |1436.6 | 43M| 51 | 472 |1000 | 15k|1000 |1807 | 56k| 0 | 965 |-3.216526e+02 |-1.020000e+02 | 215.35%
243.83/243.90 c 244s| 600 | 601 | 1041k|1300.5 | 44M| 51 | 397 |1000 | 15k|1000 |1157 | 66k| 0 |1063 |-3.214596e+02 |-1.020000e+02 | 215.16%
249.14/249.28 c 249s| 700 | 701 | 1076k|1164.9 | 44M| 51 | 9 |1000 | 15k|1000 | 997 | 76k| 0 |1153 |-3.214596e+02 |-1.020000e+02 | 215.16%
253.94/254.01 c 254s| 800 | 801 | 1109k|1059.4 | 44M| 51 | 192 |1000 | 15k|1000 |1137 | 88k| 0 |1270 |-3.214596e+02 |-1.020000e+02 | 215.16%
266.14/266.26 c 266s| 900 | 901 | 1181k|1021.9 | 45M| 51 | 7 |1000 | 15k|1000 | 997 | 96k| 0 |1367 |-3.212946e+02 |-1.020000e+02 | 214.99%
269.93/270.04 c 270s| 1000 | 1001 | 1212k| 951.0 | 45M| 54 | 439 |1000 | 15k|1000 |1757 | 108k| 0 |1427 |-3.212946e+02 |-1.020000e+02 | 214.99%
280.93/281.02 c 281s| 1100 | 1101 | 1270k| 917.5 | 46M| 56 | 343 |1000 | 15k|1000 |1150 | 116k| 0 |1490 |-3.209563e+02 |-1.020000e+02 | 214.66%
299.13/299.29 c 299s| 1200 | 1201 | 1397k| 946.7 | 47M| 56 | 371 |1000 | 15k|1000 |1139 | 125k| 0 |1563 |-3.208615e+02 |-1.020000e+02 | 214.57%
308.23/308.39 c 308s| 1300 | 1301 | 1451k| 915.5 | 47M| 57 | 397 |1000 | 15k|1000 |1702 | 136k| 0 |1608 |-3.207180e+02 |-1.020000e+02 | 214.43%
315.12/315.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
315.12/315.23 c 315s| 1400 | 1401 | 1494k| 880.7 | 48M| 61 | 276 |1000 | 15k|1000 |1135 | 146k| 0 |1646 |-3.207180e+02 |-1.020000e+02 | 214.43%
326.12/326.24 c 326s| 1500 | 1501 | 1557k| 863.8 | 48M| 61 | 397 |1000 | 15k|1000 |1655 | 154k| 0 |1715 |-3.205859e+02 |-1.020000e+02 | 214.30%
332.22/332.37 c 332s| 1600 | 1601 | 1609k| 842.5 | 49M| 61 | 359 |1000 | 15k|1000 |1141 | 164k| 0 |1720 |-3.205827e+02 |-1.020000e+02 | 214.30%
337.02/337.12 c 337s| 1700 | 1701 | 1652k| 817.9 | 49M| 61 | 451 |1000 | 15k|1000 |1789 | 174k| 0 |1721 |-3.205827e+02 |-1.020000e+02 | 214.30%
342.91/343.05 c 343s| 1800 | 1801 | 1704k| 801.6 | 50M| 61 | 223 |1000 | 15k|1000 |1147 | 182k| 0 |1722 |-3.205827e+02 |-1.020000e+02 | 214.30%
347.62/347.77 c 348s| 1900 | 1901 | 1747k| 781.9 | 50M| 61 | 163 |1000 | 15k|1000 |1149 | 192k| 0 |1750 |-3.205827e+02 |-1.020000e+02 | 214.30%
357.43/357.58 c 358s| 2000 | 2001 | 1801k| 770.0 | 51M| 61 | 346 |1000 | 15k|1000 |1154 | 202k| 0 |1834 |-3.205827e+02 |-1.020000e+02 | 214.30%
362.82/362.92 c 363s| 2100 | 2101 | 1843k| 753.3 | 51M| 61 | 11 |1000 | 15k|1000 | 997 | 211k| 0 |1883 |-3.205472e+02 |-1.020000e+02 | 214.26%
370.71/370.89 c 371s| 2200 | 2201 | 1891k| 740.5 | 52M| 61 | 370 |1000 | 15k|1000 |1145 | 220k| 0 |1996 |-3.205393e+02 |-1.020000e+02 | 214.25%
376.62/376.75 c 377s| 2300 | 2301 | 1932k| 726.3 | 52M| 61 | 234 |1000 | 15k|1000 |1142 | 230k| 0 |2029 |-3.204995e+02 |-1.020000e+02 | 214.22%
385.71/385.87 c 386s| 2400 | 2401 | 1983k| 717.2 | 52M| 61 | 418 |1000 | 15k|1000 |1138 | 238k| 0 |2116 |-3.204995e+02 |-1.020000e+02 | 214.22%
393.21/393.37 c 393s| 2500 | 2501 | 2034k| 709.0 | 53M| 61 | 330 |1000 | 15k|1000 |1248 | 248k| 0 |2154 |-3.204991e+02 |-1.020000e+02 | 214.21%
400.71/400.84 c 401s| 2600 | 2601 | 2083k| 700.8 | 53M| 61 | 258 |1000 | 15k|1000 |1142 | 256k| 0 |2194 |-3.204967e+02 |-1.020000e+02 | 214.21%
409.81/409.99 c 410s| 2700 | 2701 | 2134k| 693.5 | 54M| 61 | 54 |1000 | 15k|1000 | 997 | 264k| 0 |2256 |-3.204846e+02 |-1.020000e+02 | 214.20%
417.21/417.38 c 417s| 2800 | 2801 | 2190k| 688.7 | 54M| 61 | 9 |1000 | 15k|1000 | 997 | 275k| 0 |2283 |-3.204581e+02 |-1.020000e+02 | 214.17%
422.41/422.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
422.41/422.55 c 423s| 2900 | 2901 | 2236k| 681.1 | 55M| 61 | 266 |1000 | 15k|1000 |1147 | 284k| 0 |2285 |-3.203888e+02 |-1.020000e+02 | 214.11%
425.10/425.27 c 425s| 3000 | 3001 | 2265k| 667.9 | 55M| 61 | 80 |1000 | 15k|1000 |1137 | 294k| 0 |2285 |-3.203888e+02 |-1.020000e+02 | 214.11%
427.81/427.94 c 428s| 3100 | 3101 | 2293k| 655.5 | 56M| 62 | 12 |1000 | 15k|1000 | 997 | 305k| 0 |2285 |-3.203888e+02 |-1.020000e+02 | 214.11%
430.11/430.21 c 430s| 3200 | 3201 | 2317k| 642.3 | 56M| 66 | 381 |1000 | 15k|1000 |1132 | 314k| 0 |2285 |-3.203888e+02 |-1.020000e+02 | 214.11%
434.80/434.91 c 435s| 3300 | 3301 | 2362k| 636.4 | 56M| 66 | 22 |1000 | 15k|1000 | 997 | 324k| 0 |2285 |-3.203475e+02 |-1.020000e+02 | 214.07%
437.50/437.70 c 438s| 3400 | 3401 | 2390k| 626.0 | 57M| 66 | 28 |1000 | 15k|1000 | 997 | 332k| 0 |2285 |-3.203475e+02 |-1.020000e+02 | 214.07%
443.11/443.28 c 443s| 3500 | 3501 | 2430k| 619.6 | 57M| 66 | 41 |1000 | 15k|1000 | 997 | 342k| 0 |2356 |-3.203409e+02 |-1.020000e+02 | 214.06%
449.30/449.41 c 449s| 3600 | 3601 | 2468k| 613.0 | 58M| 66 | 329 |1000 | 15k|1000 |1132 | 352k| 0 |2424 |-3.203409e+02 |-1.020000e+02 | 214.06%
456.31/456.50 c 457s| 3700 | 3701 | 2515k| 609.2 | 58M| 66 | 26 |1000 | 15k|1000 |1147 | 361k| 0 |2461 |-3.203329e+02 |-1.020000e+02 | 214.05%
459.40/459.57 c 460s| 3800 | 3801 | 2538k| 599.1 | 59M| 66 | 192 |1000 | 15k|1000 |1150 | 371k| 0 |2566 |-3.203329e+02 |-1.020000e+02 | 214.05%
465.70/465.89 c 466s| 3900 | 3901 | 2591k| 597.3 | 59M| 66 | 31 |1000 | 15k|1000 | 997 | 380k| 0 |2611 |-3.203329e+02 |-1.020000e+02 | 214.05%
470.90/471.03 c 471s| 4000 | 4001 | 2623k| 590.4 | 60M| 66 | 353 |1000 | 15k|1000 |1151 | 391k| 0 |2706 |-3.202714e+02 |-1.020000e+02 | 213.99%
475.80/475.97 c 476s| 4100 | 4101 | 2658k| 584.5 | 60M| 66 | 64 |1000 | 15k|1000 |1150 | 401k| 0 |2728 |-3.202714e+02 |-1.020000e+02 | 213.99%
483.90/484.02 c 484s| 4200 | 4201 | 2707k| 582.4 | 60M| 66 | 54 |1000 | 15k|1000 |1140 | 410k| 0 |2782 |-3.202173e+02 |-1.020000e+02 | 213.94%
490.89/491.06 c 491s| 4300 | 4301 | 2756k| 580.1 | 61M| 66 | 9 |1000 | 15k|1000 | 997 | 420k| 0 |2805 |-3.201762e+02 |-1.020000e+02 | 213.90%
496.69/496.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
496.69/496.83 c 497s| 4400 | 4401 | 2794k| 575.6 | 61M| 66 | 131 |1000 | 15k|1000 |1153 | 430k| 0 |2831 |-3.201554e+02 |-1.020000e+02 | 213.88%
505.79/505.94 c 506s| 4500 | 4501 | 2851k| 575.5 | 62M| 66 | 439 |1000 | 15k|1000 |1138 | 440k| 0 |2878 |-3.201462e+02 |-1.020000e+02 | 213.87%
510.79/510.94 c 511s| 4600 | 4601 | 2883k| 569.8 | 62M| 66 | 379 |1000 | 15k|1000 |1686 | 450k| 0 |2903 |-3.200910e+02 |-1.020000e+02 | 213.81%
516.39/516.52 c 517s| 4700 | 4701 | 2926k| 567.0 | 63M| 66 | 219 |1000 | 15k|1000 |1147 | 460k| 0 |2934 |-3.200611e+02 |-1.020000e+02 | 213.79%
519.89/520.05 c 520s| 4800 | 4801 | 2958k| 561.8 | 63M| 66 | 161 |1000 | 15k|1000 |1131 | 469k| 0 |2936 |-3.200611e+02 |-1.020000e+02 | 213.79%
523.89/524.06 c 524s| 4900 | 4901 | 2996k| 558.0 | 64M| 66 | 124 |1000 | 15k|1000 |1161 | 480k| 0 |2938 |-3.200611e+02 |-1.020000e+02 | 213.79%
529.39/529.54 c 530s| 5000 | 5001 | 3045k| 556.8 | 64M| 66 | 156 |1000 | 15k|1000 | 997 | 490k| 0 |2940 |-3.200134e+02 |-1.020000e+02 | 213.74%
533.89/534.01 c 534s| 5100 | 5101 | 3087k| 554.1 | 65M| 66 | 359 |1000 | 15k|1000 |1542 | 502k| 0 |2940 |-3.200134e+02 |-1.020000e+02 | 213.74%
537.59/537.74 c 538s| 5200 | 5201 | 3123k| 550.3 | 65M| 66 | 403 |1000 | 15k|1000 |1723 | 511k| 0 |2940 |-3.199829e+02 |-1.020000e+02 | 213.71%
542.78/542.90 c 543s| 5300 | 5301 | 3170k| 548.8 | 65M| 66 | 293 |1000 | 15k|1000 |1497 | 520k| 0 |2942 |-3.199819e+02 |-1.020000e+02 | 213.71%
547.98/548.18 c 548s| 5400 | 5401 | 3220k| 547.9 | 66M| 66 | 296 |1000 | 15k|1000 |1196 | 531k| 0 |2953 |-3.199171e+02 |-1.020000e+02 | 213.64%
553.69/553.89 c 554s| 5500 | 5501 | 3260k| 545.3 | 66M| 66 | 255 |1000 | 15k|1000 |1136 | 541k| 0 |3026 |-3.199171e+02 |-1.020000e+02 | 213.64%
560.08/560.22 c 560s| 5600 | 5601 | 3304k| 543.3 | 67M| 66 | 239 |1000 | 15k|1000 |1148 | 548k| 0 |3058 |-3.199001e+02 |-1.020000e+02 | 213.63%
565.38/565.56 c 566s| 5700 | 5701 | 3341k| 540.3 | 67M| 66 | 373 |1000 | 15k|1000 |1571 | 558k| 0 |3121 |-3.198943e+02 |-1.020000e+02 | 213.62%
570.09/570.30 c 570s| 5800 | 5801 | 3375k| 536.7 | 68M| 66 | 175 |1000 | 15k|1000 |1130 | 570k| 0 |3185 |-3.198914e+02 |-1.020000e+02 | 213.62%
573.38/573.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.38/573.56 c 574s| 5900 | 5901 | 3401k| 532.1 | 68M| 66 | 32 |1000 | 15k|1000 | 997 | 580k| 0 |3272 |-3.198914e+02 |-1.020000e+02 | 213.62%
579.88/580.05 c 580s| 6000 | 6001 | 3448k| 531.0 | 69M| 66 | 251 |1000 | 15k|1000 |1141 | 590k| 0 |3310 |-3.198721e+02 |-1.020000e+02 | 213.60%
587.29/587.44 c 587s| 6100 | 6101 | 3493k| 529.8 | 69M| 66 | 93 |1000 | 15k|1000 | 997 | 599k| 0 |3347 |-3.198700e+02 |-1.020000e+02 | 213.60%
593.98/594.19 c 594s| 6200 | 6201 | 3539k| 528.6 | 70M| 66 | 395 |1000 | 15k|1000 |1725 | 609k| 0 |3374 |-3.198371e+02 |-1.020000e+02 | 213.57%
596.38/596.53 c 597s| 6300 | 6301 | 3564k| 524.2 | 70M| 66 | 212 |1000 | 15k|1000 |1121 | 620k| 0 |3380 |-3.198371e+02 |-1.020000e+02 | 213.57%
599.18/599.35 c 599s| 6400 | 6401 | 3594k| 520.6 | 70M| 66 | 73 |1000 | 15k|1000 |1129 | 633k| 0 |3380 |-3.198371e+02 |-1.020000e+02 | 213.57%
606.57/606.79 c 607s| 6500 | 6501 | 3631k| 518.4 | 71M| 66 | 82 |1000 | 15k|1000 | 997 | 642k| 0 |3455 |-3.198371e+02 |-1.020000e+02 | 213.57%
615.47/615.63 c 616s| 6600 | 6601 | 3688k| 519.1 | 71M| 66 | 195 |1000 | 15k|1000 |1143 | 650k| 0 |3501 |-3.197866e+02 |-1.020000e+02 | 213.52%
618.97/619.16 c 619s| 6700 | 6701 | 3720k| 516.3 | 72M| 66 | 311 |1000 | 15k|1000 |1135 | 660k| 0 |3504 |-3.197701e+02 |-1.020000e+02 | 213.50%
622.18/622.38 c 622s| 6800 | 6801 | 3751k| 513.1 | 72M| 66 | 371 |1000 | 15k|1000 |1684 | 670k| 0 |3505 |-3.197701e+02 |-1.020000e+02 | 213.50%
627.07/627.21 c 627s| 6900 | 6901 | 3795k| 512.1 | 73M| 66 | 299 |1000 | 15k|1000 |1121 | 679k| 0 |3506 |-3.197634e+02 |-1.020000e+02 | 213.49%
632.17/632.37 c 632s| 7000 | 7001 | 3843k| 511.6 | 73M| 66 | 380 |1000 | 15k|1000 |1140 | 687k| 0 |3506 |-3.197585e+02 |-1.020000e+02 | 213.49%
636.17/636.32 c 636s| 7100 | 7101 | 3881k| 509.8 | 73M| 66 | 15 |1000 | 15k|1000 |1136 | 697k| 0 |3506 |-3.197585e+02 |-1.020000e+02 | 213.49%
639.98/640.17 c 640s| 7200 | 7201 | 3918k| 507.8 | 74M| 66 | 338 |1000 | 15k|1000 |1506 | 706k| 0 |3506 |-3.197585e+02 |-1.020000e+02 | 213.49%
645.27/645.47 c 645s| 7300 | 7301 | 3966k| 507.4 | 74M| 66 | 15 |1000 | 15k|1000 | 997 | 713k| 0 |3506 |-3.197194e+02 |-1.020000e+02 | 213.45%
648.97/649.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
648.97/649.17 c 649s| 7400 | 7401 | 4001k| 505.3 | 75M| 66 | 287 |1000 | 15k|1000 |1123 | 723k| 0 |3506 |-3.197194e+02 |-1.020000e+02 | 213.45%
653.97/654.10 c 654s| 7500 | 7501 | 4044k| 504.3 | 75M| 66 | 128 |1000 | 15k|1000 |1144 | 734k| 0 |3527 |-3.197190e+02 |-1.020000e+02 | 213.45%
660.97/661.13 c 661s| 7600 | 7601 | 4092k| 504.1 | 76M| 66 | 5 |1000 | 15k|1000 | 997 | 745k| 0 |3554 |-3.197044e+02 |-1.020000e+02 | 213.44%
666.16/666.39 c 666s| 7700 | 7701 | 4129k| 502.3 | 76M| 66 | 268 |1000 | 15k|1000 |1144 | 756k| 0 |3611 |-3.197001e+02 |-1.020000e+02 | 213.43%
673.07/673.28 c 673s| 7800 | 7801 | 4174k| 501.6 | 77M| 66 | 168 |1000 | 15k|1000 |1146 | 765k| 0 |3656 |-3.196867e+02 |-1.020000e+02 | 213.42%
677.37/677.55 c 678s| 7900 | 7901 | 4209k| 499.7 | 77M| 66 | 387 |1000 | 15k|1000 |1705 | 776k| 0 |3688 |-3.196867e+02 |-1.020000e+02 | 213.42%
683.76/683.90 c 684s| 8000 | 8001 | 4253k| 499.0 | 78M| 66 | 42 |1000 | 15k|1000 | 997 | 783k| 0 |3738 |-3.196744e+02 |-1.020000e+02 | 213.41%
689.47/689.63 c 690s| 8100 | 8101 | 4286k| 496.8 | 78M| 72 | 104 |1000 | 15k|1000 |1136 | 792k| 0 |3783 |-3.196684e+02 |-1.020000e+02 | 213.40%
692.66/692.87 c 693s| 8200 | 8201 | 4317k| 494.5 | 78M| 72 | 24 |1000 | 15k|1000 | 997 | 801k| 0 |3783 |-3.196637e+02 |-1.020000e+02 | 213.40%
696.97/697.12 c 697s| 8300 | 8301 | 4344k| 491.9 | 79M| 72 | 333 |1000 | 15k|1000 |1567 | 811k| 0 |3876 |-3.196637e+02 |-1.020000e+02 | 213.40%
698.56/698.74 c 699s| 8400 | 8401 | 4362k| 488.1 | 79M| 72 | 26 |1000 | 15k|1000 | 997 | 821k| 0 |3901 |-3.196637e+02 |-1.020000e+02 | 213.40%
703.96/704.17 c 704s| 8500 | 8501 | 4397k| 486.5 | 80M| 72 | 8 |1000 | 15k|1000 | 997 | 831k| 0 |3942 |-3.196459e+02 |-1.020000e+02 | 213.38%
709.27/709.45 c 709s| 8600 | 8601 | 4433k| 485.1 | 80M| 72 | 504 |1000 | 15k|1000 | 997 | 839k| 0 |3964 |-3.196459e+02 |-1.020000e+02 | 213.38%
715.06/715.23 c 715s| 8700 | 8701 | 4471k| 483.9 | 80M| 72 | 70 |1000 | 15k|1000 |1140 | 849k| 0 |3992 |-3.196348e+02 |-1.020000e+02 | 213.37%
719.65/719.84 c 720s| 8800 | 8801 | 4511k| 482.9 | 81M| 72 | 148 |1000 | 15k|1000 |1142 | 860k| 0 |4004 |-3.196348e+02 |-1.020000e+02 | 213.37%
721.26/721.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
721.26/721.43 c 721s| 8900 | 8901 | 4529k| 479.5 | 81M| 72 | 306 |1000 | 15k|1000 |1471 | 869k| 0 |4004 |-3.196348e+02 |-1.020000e+02 | 213.37%
726.06/726.21 c 726s| 9000 | 9001 | 4558k| 477.3 | 82M| 72 | 10 |1000 | 15k|1000 | 997 | 879k| 0 |4040 |-3.196266e+02 |-1.020000e+02 | 213.36%
730.96/731.14 c 731s| 9100 | 9101 | 4598k| 476.5 | 82M| 72 | 192 |1000 | 15k|1000 |1137 | 888k| 0 |4055 |-3.196210e+02 |-1.020000e+02 | 213.35%
735.36/735.52 c 736s| 9200 | 9201 | 4639k| 475.9 | 83M| 72 | 245 |1000 | 15k|1000 |1140 | 896k| 0 |4055 |-3.196139e+02 |-1.020000e+02 | 213.35%
738.97/739.15 c 739s| 9300 | 9301 | 4674k| 474.4 | 83M| 72 | 373 |1000 | 15k|1000 |1220 | 906k| 0 |4055 |-3.195749e+02 |-1.020000e+02 | 213.31%
743.16/743.32 c 743s| 9400 | 9401 | 4715k| 473.7 | 84M| 72 | 32 |1000 | 15k|1000 |1129 | 916k| 0 |4055 |-3.195749e+02 |-1.020000e+02 | 213.31%
749.05/749.20 c 749s| 9500 | 9501 | 4768k| 474.4 | 84M| 72 | 321 |1000 | 15k|1000 |1132 | 924k| 0 |4055 |-3.195537e+02 |-1.020000e+02 | 213.29%
753.05/753.26 c 753s| 9600 | 9601 | 4805k| 473.2 | 84M| 72 | 305 |1000 | 15k|1000 |1516 | 933k| 0 |4055 |-3.195458e+02 |-1.020000e+02 | 213.28%
757.76/757.93 c 758s| 9700 | 9701 | 4848k| 472.8 | 85M| 72 | 329 |1000 | 15k|1000 |1536 | 943k| 0 |4056 |-3.195190e+02 |-1.020000e+02 | 213.25%
761.06/761.25 c 761s| 9800 | 9801 | 4880k| 471.3 | 85M| 72 | 90 |1000 | 15k|1000 | 997 | 952k| 0 |4056 |-3.195157e+02 |-1.020000e+02 | 213.25%
763.26/763.46 c 763s| 9900 | 9901 | 4904k| 468.9 | 86M| 72 | 217 |1000 | 15k|1000 |1135 | 962k| 0 |4056 |-3.195157e+02 |-1.020000e+02 | 213.25%
765.15/765.33 c 765s| 10000 | 10001 | 4926k| 466.4 | 86M| 72 | 20 |1000 | 15k|1000 |1142 | 971k| 0 |4056 |-3.195157e+02 |-1.020000e+02 | 213.25%
769.86/770.03 c 770s| 10100 | 10101 | 4960k| 465.2 | 87M| 72 | 30 |1000 | 15k|1000 |1139 | 980k| 0 |4079 |-3.194991e+02 |-1.020000e+02 | 213.23%
776.65/776.83 c 777s| 10200 | 10201 | 5010k| 465.5 | 87M| 72 | 209 |1000 | 15k|1000 |1154 | 988k| 0 |4142 |-3.194940e+02 |-1.020000e+02 | 213.23%
783.34/783.50 c 784s| 10300 | 10301 | 5057k| 465.6 | 88M| 72 | 301 |1000 | 15k|1000 |1144 | 996k| 0 |4191 |-3.194705e+02 |-1.020000e+02 | 213.21%
789.55/789.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
789.55/789.80 c 790s| 10400 | 10401 | 5101k| 465.4 | 88M| 72 | 285 |1000 | 15k|1000 |1126 |1004k| 0 |4214 |-3.194533e+02 |-1.020000e+02 | 213.19%
793.54/793.77 c 794s| 10500 | 10501 | 5130k| 463.7 | 89M| 72 | 292 |1000 | 15k|1000 |1212 |1013k| 0 |4229 |-3.194533e+02 |-1.020000e+02 | 213.19%
799.74/799.95 c 800s| 10600 | 10601 | 5177k| 463.8 | 89M| 72 | 58 |1000 | 15k|1000 | 997 |1024k| 0 |4300 |-3.194515e+02 |-1.020000e+02 | 213.19%
805.34/805.52 c 806s| 10700 | 10701 | 5215k| 462.9 | 89M| 72 | 394 |1000 | 15k|1000 |1660 |1034k| 0 |4384 |-3.194515e+02 |-1.020000e+02 | 213.19%
806.74/806.90 c 807s| 10800 | 10801 | 5231k| 460.1 | 90M| 72 | 34 |1000 | 15k|1000 | 997 |1042k| 0 |4384 |-3.194515e+02 |-1.020000e+02 | 213.19%
814.94/815.14 c 815s| 10900 | 10901 | 5285k| 460.9 | 90M| 72 | 175 |1000 | 15k|1000 |1143 |1050k| 0 |4420 |-3.194189e+02 |-1.020000e+02 | 213.16%
822.04/822.24 c 822s| 11000 | 11001 | 5334k| 461.1 | 91M| 72 | 152 |1000 | 15k|1000 |1145 |1058k| 0 |4477 |-3.194022e+02 |-1.020000e+02 | 213.14%
826.94/827.14 c 827s| 11100 | 11101 | 5370k| 460.2 | 91M| 72 | 263 |1000 | 15k|1000 |1146 |1068k| 0 |4527 |-3.193783e+02 |-1.020000e+02 | 213.12%
830.63/830.84 c 831s| 11200 | 11201 | 5402k| 459.0 | 92M| 72 | 244 |1000 | 15k|1000 |1199 |1079k| 0 |4556 |-3.193757e+02 |-1.020000e+02 | 213.11%
834.34/834.57 c 835s| 11300 | 11301 | 5429k| 457.3 | 92M| 72 | 336 |1000 | 15k|1000 |1553 |1086k| 0 |4575 |-3.193731e+02 |-1.020000e+02 | 213.11%
837.04/837.27 c 837s| 11400 | 11401 | 5452k| 455.3 | 93M| 72 | 314 |1000 | 15k|1000 |1132 |1095k| 0 |4586 |-3.193731e+02 |-1.020000e+02 | 213.11%
842.03/842.28 c 842s| 11500 | 11501 | 5491k| 454.7 | 93M| 72 | 6 |1000 | 15k|1000 |1135 |1106k| 0 |4611 |-3.193639e+02 |-1.020000e+02 | 213.10%
843.94/844.13 c 844s| 11600 | 11601 | 5510k| 452.4 | 93M| 72 | 14 |1000 | 15k|1000 |1146 |1115k| 0 |4614 |-3.193639e+02 |-1.020000e+02 | 213.10%
849.13/849.31 c 849s| 11700 | 11701 | 5554k| 452.3 | 94M| 72 | 340 |1000 | 15k|1000 |1523 |1125k| 0 |4623 |-3.193632e+02 |-1.020000e+02 | 213.10%
852.34/852.52 c 853s| 11800 | 11801 | 5584k| 451.1 | 94M| 72 | 297 |1000 | 15k|1000 |1136 |1134k| 0 |4625 |-3.193502e+02 |-1.020000e+02 | 213.09%
856.13/856.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
856.13/856.38 c 856s| 11900 | 11901 | 5621k| 450.4 | 95M| 72 | 234 |1000 | 15k|1000 |1140 |1141k| 0 |4625 |-3.193286e+02 |-1.020000e+02 | 213.07%
858.94/859.14 c 859s| 12000 | 12001 | 5650k| 449.0 | 95M| 72 | 277 |1000 | 15k|1000 |1145 |1151k| 0 |4625 |-3.193286e+02 |-1.020000e+02 | 213.07%
862.23/862.43 c 862s| 12100 | 12101 | 5684k| 448.1 | 96M| 72 | 86 |1000 | 15k|1000 |1147 |1161k| 0 |4625 |-3.193279e+02 |-1.020000e+02 | 213.07%
866.33/866.51 c 867s| 12200 | 12201 | 5722k| 447.6 | 96M| 72 | 38 |1000 | 15k|1000 |1137 |1169k| 0 |4625 |-3.193071e+02 |-1.020000e+02 | 213.05%
871.04/871.28 c 871s| 12300 | 12301 | 5767k| 447.6 | 97M| 72 | 209 |1000 | 15k|1000 |1141 |1179k| 0 |4625 |-3.192984e+02 |-1.020000e+02 | 213.04%
872.83/873.01 c 873s| 12400 | 12401 | 5787k| 445.6 | 97M| 72 | 351 |1000 | 15k|1000 |1620 |1190k| 0 |4625 |-3.192984e+02 |-1.020000e+02 | 213.04%
877.22/877.40 c 877s| 12500 | 12501 | 5828k| 445.3 | 97M| 72 | 159 |1000 | 15k|1000 |1144 |1199k| 0 |4625 |-3.192893e+02 |-1.020000e+02 | 213.03%
880.13/880.39 c 880s| 12600 | 12601 | 5858k| 444.2 | 98M| 72 | 8 |1000 | 15k|1000 |1215 |1208k| 0 |4625 |-3.192522e+02 |-1.020000e+02 | 212.99%
881.43/881.63 c 882s| 12700 | 12701 | 5874k| 441.9 | 98M| 72 | 150 |1000 | 15k|1000 |1146 |1219k| 0 |4625 |-3.192522e+02 |-1.020000e+02 | 212.99%
885.62/885.85 c 886s| 12800 | 12801 | 5915k| 441.6 | 99M| 72 | 383 |1000 | 15k|1000 |1142 |1228k| 0 |4625 |-3.192339e+02 |-1.020000e+02 | 212.97%
890.03/890.24 c 890s| 12900 | 12901 | 5946k| 440.6 | 99M| 72 | 200 |1000 | 15k|1000 |1133 |1236k| 0 |4677 |-3.192230e+02 |-1.020000e+02 | 212.96%
896.53/896.76 c 897s| 13000 | 13001 | 5991k| 440.7 | 99M| 72 | 477 |1000 | 15k|1000 | 997 |1246k| 0 |4735 |-3.192171e+02 |-1.020000e+02 | 212.96%
903.02/903.23 c 903s| 13100 | 13101 | 6040k| 441.1 | 100M| 72 | 141 |1000 | 15k|1000 |1136 |1255k| 0 |4775 |-3.192113e+02 |-1.020000e+02 | 212.95%
910.03/910.23 c 910s| 13200 | 13201 | 6091k| 441.6 | 100M| 72 | 385 |1000 | 15k|1000 |1533 |1262k| 0 |4844 |-3.191745e+02 |-1.020000e+02 | 212.92%
916.62/916.81 c 917s| 13300 | 13301 | 6134k| 441.5 | 101M| 72 | 117 |1000 | 15k|1000 |1163 |1270k| 0 |4879 |-3.191619e+02 |-1.020000e+02 | 212.90%
922.12/922.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.12/922.32 c 922s| 13400 | 13401 | 6180k| 441.7 | 101M| 72 | 31 |1000 | 15k|1000 | 997 |1279k| 0 |4898 |-3.191574e+02 |-1.020000e+02 | 212.90%
926.72/926.96 c 927s| 13500 | 13501 | 6216k| 441.0 | 102M| 72 | 361 |1000 | 15k|1000 |1141 |1289k| 0 |4928 |-3.191573e+02 |-1.020000e+02 | 212.90%
931.12/931.37 c 931s| 13600 | 13601 | 6249k| 440.3 | 102M| 72 | 5 |1000 | 15k|1000 | 997 |1298k| 0 |4955 |-3.191505e+02 |-1.020000e+02 | 212.89%
934.73/934.92 c 935s| 13700 | 13701 | 6277k| 439.1 | 103M| 72 | 260 |1000 | 15k|1000 |1144 |1310k| 0 |5029 |-3.191505e+02 |-1.020000e+02 | 212.89%
941.12/941.35 c 941s| 13800 | 13801 | 6324k| 439.3 | 103M| 72 | 163 |1000 | 15k|1000 |1142 |1320k| 0 |5061 |-3.191320e+02 |-1.020000e+02 | 212.87%
947.02/947.26 c 947s| 13900 | 13901 | 6366k| 439.2 | 104M| 72 | 87 |1000 | 15k|1000 |1133 |1328k| 0 |5090 |-3.191161e+02 |-1.020000e+02 | 212.86%
951.92/952.18 c 952s| 14000 | 14001 | 6399k| 438.4 | 104M| 72 | 10 |1000 | 15k|1000 | 997 |1339k| 0 |5130 |-3.191111e+02 |-1.020000e+02 | 212.85%
957.62/957.88 c 958s| 14100 | 14101 | 6443k| 438.4 | 105M| 72 | 375 |1000 | 15k|1000 |1140 |1349k| 0 |5147 |-3.191077e+02 |-1.020000e+02 | 212.85%
959.71/959.94 c 960s| 14200 | 14201 | 6466k| 436.9 | 105M| 72 | 88 |1000 | 15k|1000 | 997 |1359k| 0 |5147 |-3.191077e+02 |-1.020000e+02 | 212.85%
962.01/962.29 c 962s| 14300 | 14301 | 6491k| 435.6 | 105M| 72 | 230 |1000 | 15k|1000 |1159 |1369k| 0 |5164 |-3.191077e+02 |-1.020000e+02 | 212.85%
967.61/967.81 c 968s| 14400 | 14401 | 6528k| 435.1 | 106M| 72 | 304 |1000 | 15k|1000 |1551 |1381k| 0 |5201 |-3.191071e+02 |-1.020000e+02 | 212.85%
973.81/974.08 c 974s| 14500 | 14501 | 6582k| 435.9 | 106M| 72 | 31 |1000 | 15k|1000 | 997 |1390k| 0 |5212 |-3.190990e+02 |-1.020000e+02 | 212.84%
981.52/981.70 c 982s| 14600 | 14601 | 6651k| 437.6 | 107M| 72 | 8 |1000 | 15k|1000 |1136 |1398k| 0 |5213 |-3.190956e+02 |-1.020000e+02 | 212.84%
986.41/986.67 c 987s| 14700 | 14701 | 6697k| 437.8 | 107M| 72 | 293 |1000 | 15k|1000 |1120 |1407k| 0 |5213 |-3.190787e+02 |-1.020000e+02 | 212.82%
989.82/990.06 c 990s| 14800 | 14801 | 6730k| 437.1 | 108M| 72 | 331 |1000 | 15k|1000 |1126 |1416k| 0 |5213 |-3.190652e+02 |-1.020000e+02 | 212.81%
993.51/993.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
993.51/993.76 c 994s| 14900 | 14901 | 6766k| 436.5 | 108M| 72 | 287 |1000 | 15k|1000 |1141 |1424k| 0 |5213 |-3.190580e+02 |-1.020000e+02 | 212.80%
995.51/995.78 c 996s| 15000 | 15001 | 6787k| 435.0 | 109M| 72 | 330 |1000 | 15k|1000 |1224 |1435k| 0 |5213 |-3.190580e+02 |-1.020000e+02 | 212.80%
998.91/999.14 c 999s| 15100 | 15101 | 6821k| 434.4 | 109M| 72 | 266 |1000 | 15k|1000 |1156 |1444k| 0 |5213 |-3.190485e+02 |-1.020000e+02 | 212.79%
1003.71/1003.95 c 1004s| 15200 | 15201 | 6866k| 434.5 | 109M| 72 | 21 |1000 | 15k|1000 |1132 |1452k| 0 |5213 |-3.190440e+02 |-1.020000e+02 | 212.79%
1007.21/1007.45 c 1007s| 15300 | 15301 | 6900k| 433.9 | 110M| 72 | 344 |1000 | 15k|1000 |1640 |1462k| 0 |5213 |-3.190313e+02 |-1.020000e+02 | 212.78%
1009.91/1010.14 c 1010s| 15400 | 15401 | 6927k| 432.8 | 110M| 72 | 235 |1000 | 15k|1000 |1143 |1470k| 0 |5213 |-3.190313e+02 |-1.020000e+02 | 212.78%
1012.81/1013.02 c 1013s| 15500 | 15501 | 6955k| 431.8 | 111M| 72 | 240 |1000 | 15k|1000 |1139 |1478k| 0 |5213 |-3.190225e+02 |-1.020000e+02 | 212.77%
1018.42/1018.67 c 1019s| 15600 | 15601 | 7006k| 432.4 | 111M| 72 | 29 |1000 | 15k|1000 | 997 |1487k| 0 |5214 |-3.189663e+02 |-1.020000e+02 | 212.71%
1022.91/1023.14 c 1023s| 15700 | 15701 | 7050k| 432.3 | 112M| 72 | 247 |1000 | 15k|1000 |1133 |1495k| 0 |5214 |-3.189596e+02 |-1.020000e+02 | 212.71%
1025.21/1025.48 c 1025s| 15800 | 15801 | 7075k| 431.2 | 112M| 72 | 185 |1000 | 15k|1000 |1146 |1504k| 0 |5214 |-3.189596e+02 |-1.020000e+02 | 212.71%
1029.71/1029.97 c 1030s| 15900 | 15901 | 7116k| 431.1 | 113M| 72 | 323 |1000 | 15k|1000 |1475 |1511k| 0 |5214 |-3.189533e+02 |-1.020000e+02 | 212.70%
1033.21/1033.42 c 1033s| 16000 | 16001 | 7151k| 430.6 | 113M| 72 | 344 |1000 | 15k|1000 |1143 |1520k| 0 |5214 |-3.189533e+02 |-1.020000e+02 | 212.70%
1037.21/1037.43 c 1037s| 16100 | 16101 | 7190k| 430.3 | 113M| 72 | 324 |1000 | 15k|1000 |1584 |1528k| 0 |5214 |-3.189499e+02 |-1.020000e+02 | 212.70%
1041.80/1042.06 c 1042s| 16200 | 16201 | 7234k| 430.4 | 114M| 72 | 336 |1000 | 15k|1000 |1139 |1536k| 0 |5214 |-3.189405e+02 |-1.020000e+02 | 212.69%
1047.01/1047.24 c 1047s| 16300 | 16301 | 7277k| 430.4 | 114M| 72 | 436 |1000 | 15k|1000 |1153 |1545k| 0 |5242 |-3.189371e+02 |-1.020000e+02 | 212.68%
1052.41/1052.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.41/1052.62 c 1053s| 16400 | 16401 | 7317k| 430.2 | 115M| 72 | 286 |1000 | 15k|1000 |1148 |1555k| 0 |5307 |-3.189285e+02 |-1.020000e+02 | 212.68%
1056.00/1056.27 c 1056s| 16500 | 16501 | 7348k| 429.5 | 115M| 72 | 285 |1000 | 15k|1000 |1141 |1563k| 0 |5328 |-3.189229e+02 |-1.020000e+02 | 212.67%
1058.50/1058.78 c 1059s| 16600 | 16601 | 7370k| 428.2 | 116M| 72 | 365 |1000 | 15k|1000 |1544 |1573k| 0 |5402 |-3.189229e+02 |-1.020000e+02 | 212.67%
1061.21/1061.45 c 1061s| 16700 | 16701 | 7392k| 427.0 | 116M| 72 | 178 |1000 | 15k|1000 |1148 |1586k| 0 |5498 |-3.189229e+02 |-1.020000e+02 | 212.67%
1065.80/1066.04 c 1066s| 16800 | 16801 | 7426k| 426.4 | 117M| 72 | 143 |1000 | 15k|1000 |1145 |1596k| 0 |5523 |-3.189187e+02 |-1.020000e+02 | 212.67%
1070.40/1070.66 c 1071s| 16900 | 16901 | 7459k| 425.9 | 117M| 72 | 175 |1000 | 15k|1000 |1146 |1607k| 0 |5541 |-3.189002e+02 |-1.020000e+02 | 212.65%
1075.90/1076.10 c 1076s| 17000 | 17001 | 7500k| 425.8 | 118M| 73 | 154 |1000 | 15k|1000 |1148 |1617k| 0 |5559 |-3.188932e+02 |-1.020000e+02 | 212.64%
1080.30/1080.59 c 1081s| 17100 | 17101 | 7534k| 425.3 | 118M| 73 | 225 |1000 | 15k|1000 |1142 |1627k| 0 |5576 |-3.188915e+02 |-1.020000e+02 | 212.64%
1082.21/1082.46 c 1082s| 17200 | 17201 | 7556k| 424.1 | 118M| 73 | 75 |1000 | 15k|1000 |1145 |1638k| 0 |5576 |-3.188915e+02 |-1.020000e+02 | 212.64%
1089.40/1089.67 c 1090s| 17300 | 17301 | 7599k| 424.1 | 119M| 73 | 300 |1000 | 15k|1000 |1147 |1648k| 0 |5615 |-3.188658e+02 |-1.020000e+02 | 212.61%
1093.89/1094.10 c 1094s| 17400 | 17401 | 7636k| 423.8 | 119M| 73 | 322 |1000 | 15k|1000 |1542 |1660k| 0 |5627 |-3.188594e+02 |-1.020000e+02 | 212.61%
1099.99/1100.27 c 1100s| 17500 | 17501 | 7679k| 423.8 | 120M| 73 | 323 |1000 | 15k|1000 |1141 |1668k| 0 |5649 |-3.188487e+02 |-1.020000e+02 | 212.60%
1106.20/1106.47 c 1106s| 17600 | 17601 | 7724k| 424.0 | 120M| 73 | 275 |1000 | 15k|1000 |1144 |1677k| 0 |5669 |-3.188431e+02 |-1.020000e+02 | 212.59%
1110.89/1111.14 c 1111s| 17700 | 17701 | 7757k| 423.4 | 121M| 73 | 106 |1000 | 15k|1000 |1146 |1686k| 0 |5689 |-3.188394e+02 |-1.020000e+02 | 212.59%
1116.59/1116.80 c 1117s| 17800 | 17801 | 7799k| 423.4 | 121M| 73 | 89 |1000 | 15k|1000 |1151 |1696k| 0 |5719 |-3.188372e+02 |-1.020000e+02 | 212.59%
1122.09/1122.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1122.09/1122.37 c 1122s| 17900 | 17901 | 7841k| 423.4 | 122M| 73 | 64 |1000 | 15k|1000 |1149 |1706k| 0 |5738 |-3.188336e+02 |-1.020000e+02 | 212.58%
1125.89/1126.19 c 1126s| 18000 | 18001 | 7873k| 422.9 | 122M| 73 | 16 |1000 | 15k|1000 | 997 |1716k| 0 |5752 |-3.188323e+02 |-1.020000e+02 | 212.58%
1129.19/1129.43 c 1129s| 18100 | 18101 | 7905k| 422.3 | 123M| 73 | 395 |1000 | 15k|1000 |1704 |1726k| 0 |5757 |-3.188198e+02 |-1.020000e+02 | 212.57%
1130.89/1131.15 c 1131s| 18200 | 18201 | 7925k| 421.1 | 123M| 73 | 74 |1000 | 15k|1000 |1128 |1738k| 0 |5757 |-3.188198e+02 |-1.020000e+02 | 212.57%
1132.69/1132.98 c 1133s| 18300 | 18301 | 7946k| 419.9 | 123M| 73 | 379 |1000 | 15k|1000 |1146 |1749k| 0 |5757 |-3.188198e+02 |-1.020000e+02 | 212.57%
1137.28/1137.54 c 1138s| 18400 | 18401 | 7988k| 419.9 | 124M| 73 | 123 |1000 | 15k|1000 |1140 |1758k| 0 |5759 |-3.187814e+02 |-1.020000e+02 | 212.53%
1141.79/1142.07 c 1142s| 18500 | 18501 | 8032k| 420.0 | 124M| 73 | 266 |1000 | 15k|1000 |1224 |1768k| 0 |5760 |-3.187744e+02 |-1.020000e+02 | 212.52%
1144.89/1145.14 c 1145s| 18600 | 18601 | 8062k| 419.3 | 125M| 73 | 8 |1000 | 15k|1000 | 997 |1778k| 0 |5762 |-3.187628e+02 |-1.020000e+02 | 212.51%
1147.58/1147.87 c 1148s| 18700 | 18701 | 8090k| 418.6 | 125M| 73 | 99 |1000 | 15k|1000 |1133 |1788k| 0 |5762 |-3.187603e+02 |-1.020000e+02 | 212.51%
1151.28/1151.59 c 1152s| 18800 | 18801 | 8126k| 418.3 | 126M| 73 | 13 |1000 | 15k|1000 | 997 |1796k| 0 |5762 |-3.187154e+02 |-1.020000e+02 | 212.47%
1155.38/1155.60 c 1156s| 18900 | 18901 | 8164k| 418.1 | 126M| 76 | 253 |1000 | 15k|1000 |1234 |1804k| 0 |5762 |-3.186964e+02 |-1.020000e+02 | 212.45%
1157.98/1158.24 c 1158s| 19000 | 19001 | 8191k| 417.3 | 126M| 76 | 13 |1000 | 15k|1000 | 997 |1813k| 0 |5762 |-3.186925e+02 |-1.020000e+02 | 212.44%
1163.17/1163.42 c 1163s| 19100 | 19101 | 8243k| 417.9 | 127M| 76 | 357 |1000 | 15k|1000 |1587 |1821k| 0 |5762 |-3.186699e+02 |-1.020000e+02 | 212.42%
1167.48/1167.76 c 1168s| 19200 | 19201 | 8284k| 417.8 | 127M| 76 | 34 |1000 | 15k|1000 | 997 |1829k| 0 |5762 |-3.186600e+02 |-1.020000e+02 | 212.41%
1171.97/1172.21 c 1172s| 19300 | 19301 | 8326k| 417.9 | 128M| 79 | 287 |1000 | 15k|1000 |1149 |1839k| 0 |5762 |-3.186600e+02 |-1.020000e+02 | 212.41%
1175.08/1175.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1175.08/1175.37 c 1175s| 19400 | 19401 | 8358k| 417.3 | 128M| 79 | 152 |1000 | 15k|1000 |1143 |1848k| 0 |5762 |-3.186357e+02 |-1.020000e+02 | 212.39%
1181.08/1181.36 c 1181s| 19500 | 19501 | 8407k| 417.7 | 129M| 79 | 189 |1000 | 15k|1000 |1207 |1856k| 0 |5776 |-3.186357e+02 |-1.020000e+02 | 212.39%
1186.17/1186.48 c 1186s| 19600 | 19601 | 8448k| 417.6 | 129M| 79 | 149 |1000 | 15k|1000 |1137 |1866k| 0 |5797 |-3.186264e+02 |-1.020000e+02 | 212.38%
1190.58/1190.86 c 1191s| 19700 | 19701 | 8479k| 417.1 | 130M| 79 | 30 |1000 | 15k|1000 |1130 |1875k| 0 |5848 |-3.186264e+02 |-1.020000e+02 | 212.38%
1195.67/1195.97 c 1196s| 19800 | 19801 | 8519k| 417.0 | 130M| 79 | 288 |1000 | 15k|1000 |1138 |1885k| 0 |5897 |-3.186219e+02 |-1.020000e+02 | 212.37%
1199.48/1199.73 c 1200s| 19900 | 19901 | 8551k| 416.5 | 131M| 79 | 323 |1000 | 15k|1000 |1533 |1894k| 0 |5971 |-3.186189e+02 |-1.020000e+02 | 212.37%
1206.38/1206.65 c 1207s| 20000 | 20001 | 8601k| 417.0 | 131M| 79 | 14 |1000 | 15k|1000 | 997 |1901k| 0 |5996 |-3.186032e+02 |-1.020000e+02 | 212.36%
1212.37/1212.61 c 1213s| 20100 | 20101 | 8642k| 416.9 | 131M| 79 | 14 |1000 | 15k|1000 | 997 |1910k| 0 |6025 |-3.186013e+02 |-1.020000e+02 | 212.35%
1214.67/1214.94 c 1215s| 20200 | 20201 | 8667k| 416.1 | 132M| 79 | 246 |1000 | 15k|1000 |1140 |1921k| 0 |6025 |-3.186013e+02 |-1.020000e+02 | 212.35%
1216.38/1216.63 c 1217s| 20300 | 20301 | 8684k| 414.9 | 132M| 79 | 14 |1000 | 15k|1000 | 997 |1928k| 0 |6058 |-3.186013e+02 |-1.020000e+02 | 212.35%
1218.48/1218.80 c 1219s| 20400 | 20401 | 8704k| 413.9 | 133M| 79 | 336 |1000 | 15k|1000 |1143 |1940k| 0 |6092 |-3.186013e+02 |-1.020000e+02 | 212.35%
1223.98/1224.30 c 1224s| 20500 | 20501 | 8746k| 413.9 | 133M| 79 | 12 |1000 | 15k|1000 |1130 |1949k| 0 |6142 |-3.185986e+02 |-1.020000e+02 | 212.35%
1229.77/1230.06 c 1230s| 20600 | 20601 | 8789k| 413.9 | 134M| 79 | 230 |1000 | 15k|1000 |1139 |1958k| 0 |6192 |-3.185957e+02 |-1.020000e+02 | 212.35%
1236.86/1237.19 c 1237s| 20700 | 20701 | 8840k| 414.4 | 134M| 79 | 267 |1000 | 15k|1000 |1485 |1967k| 0 |6221 |-3.185952e+02 |-1.020000e+02 | 212.35%
1244.87/1245.20 c 1245s| 20800 | 20801 | 8897k| 415.2 | 135M| 79 | 578 |1000 | 15k|1000 | 997 |1973k| 0 |6264 |-3.185952e+02 |-1.020000e+02 | 212.35%
1251.36/1251.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1251.36/1251.61 c 1252s| 20900 | 20901 | 8946k| 415.5 | 135M| 79 | 319 |1000 | 15k|1000 |1133 |1982k| 0 |6285 |-3.185852e+02 |-1.020000e+02 | 212.34%
1255.07/1255.39 c 1255s| 21000 | 21001 | 8977k| 415.0 | 136M| 79 | 370 |1000 | 15k|1000 |1700 |1991k| 0 |6301 |-3.185837e+02 |-1.020000e+02 | 212.34%
1258.56/1258.81 c 1259s| 21100 | 21101 | 9008k| 414.5 | 136M| 79 | 302 |1000 | 15k|1000 |1128 |2001k| 0 |6317 |-3.185826e+02 |-1.020000e+02 | 212.34%
1262.86/1263.15 c 1263s| 21200 | 21201 | 9046k| 414.4 | 136M| 79 | 115 |1000 | 15k|1000 |1143 |2009k| 0 |6327 |-3.185684e+02 |-1.020000e+02 | 212.32%
1265.56/1265.82 c 1266s| 21300 | 21301 | 9074k| 413.7 | 137M| 79 | 242 |1000 | 15k|1000 |1236 |2020k| 0 |6327 |-3.185684e+02 |-1.020000e+02 | 212.32%
1269.06/1269.34 c 1269s| 21400 | 21401 | 9108k| 413.4 | 137M| 79 | 59 |1000 | 15k|1000 |1136 |2028k| 0 |6327 |-3.185674e+02 |-1.020000e+02 | 212.32%
1273.57/1273.87 c 1274s| 21500 | 21501 | 9150k| 413.4 | 138M| 79 | 169 |1000 | 15k|1000 |1208 |2039k| 0 |6328 |-3.185488e+02 |-1.020000e+02 | 212.30%
1277.76/1278.03 c 1278s| 21600 | 21601 | 9191k| 413.4 | 138M| 79 | 276 |1000 | 15k|1000 |1140 |2048k| 0 |6328 |-3.185487e+02 |-1.020000e+02 | 212.30%
1281.16/1281.50 c 1282s| 21700 | 21701 | 9225k| 413.1 | 139M| 79 | 218 |1000 | 15k|1000 |1243 |2058k| 0 |6328 |-3.185445e+02 |-1.020000e+02 | 212.30%
1285.66/1285.96 c 1286s| 21800 | 21801 | 9267k| 413.1 | 139M| 79 | 36 |1000 | 15k|1000 | 997 |2068k| 0 |6328 |-3.185316e+02 |-1.020000e+02 | 212.29%
1287.36/1287.65 c 1288s| 21900 | 21901 | 9287k| 412.1 | 140M| 79 | 239 |1000 | 15k|1000 |1152 |2080k| 0 |6328 |-3.185316e+02 |-1.020000e+02 | 212.29%
1288.66/1288.99 c 1289s| 22000 | 22001 | 9304k| 411.0 | 140M| 79 | 189 |1000 | 15k|1000 |1131 |2090k| 0 |6328 |-3.185316e+02 |-1.020000e+02 | 212.29%
1292.76/1293.03 c 1293s| 22100 | 22101 | 9341k| 410.8 | 140M| 79 | 41 |1000 | 15k|1000 |1131 |2100k| 0 |6330 |-3.185155e+02 |-1.020000e+02 | 212.27%
1298.06/1298.30 c 1298s| 22200 | 22201 | 9389k| 411.1 | 141M| 79 | 318 |1000 | 15k|1000 |1501 |2107k| 0 |6330 |-3.185075e+02 |-1.020000e+02 | 212.26%
1302.75/1303.08 c 1303s| 22300 | 22301 | 9433k| 411.3 | 141M| 79 | 315 |1000 | 15k|1000 |1474 |2115k| 0 |6330 |-3.185056e+02 |-1.020000e+02 | 212.26%
1307.16/1307.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1307.16/1307.41 c 1307s| 22400 | 22401 | 9474k| 411.2 | 142M| 79 | 262 |1000 | 15k|1000 |1129 |2123k| 0 |6330 |-3.185004e+02 |-1.020000e+02 | 212.26%
1309.05/1309.39 c 1309s| 22500 | 22501 | 9496k| 410.4 | 142M| 79 | 334 |1000 | 15k|1000 |1141 |2134k| 0 |6330 |-3.185004e+02 |-1.020000e+02 | 212.26%
1314.16/1314.44 c 1314s| 22600 | 22601 | 9542k| 410.6 | 143M| 79 | 3 |1000 | 15k|1000 |1136 |2142k| 0 |6330 |-3.184998e+02 |-1.020000e+02 | 212.25%
1319.96/1320.23 c 1320s| 22700 | 22701 | 9590k| 410.9 | 143M| 79 | 671 |1000 | 15k|1000 | 997 |2150k| 0 |6371 |-3.184973e+02 |-1.020000e+02 | 212.25%
1323.16/1323.48 c 1323s| 22800 | 22801 | 9617k| 410.3 | 144M| 79 | 149 |1000 | 15k|1000 |1134 |2159k| 0 |6405 |-3.184973e+02 |-1.020000e+02 | 212.25%
1327.25/1327.55 c 1328s| 22900 | 22901 | 9653k| 410.1 | 144M| 79 | 384 |1000 | 15k|1000 |1721 |2168k| 0 |6448 |-3.184921e+02 |-1.020000e+02 | 212.25%
1332.56/1332.82 c 1333s| 23000 | 23001 | 9695k| 410.1 | 144M| 79 | 357 |1000 | 15k|1000 |1640 |2177k| 0 |6473 |-3.184846e+02 |-1.020000e+02 | 212.24%
1338.95/1339.22 c 1339s| 23100 | 23101 | 9734k| 410.1 | 145M| 79 | 76 |1000 | 15k|1000 |1203 |2187k| 0 |6562 |-3.184719e+02 |-1.020000e+02 | 212.23%
1344.25/1344.53 c 1345s| 23200 | 23201 | 9783k| 410.4 | 145M| 79 | 373 |1000 | 15k|1000 |1152 |2196k| 0 |6562 |-3.184398e+02 |-1.020000e+02 | 212.20%
1350.36/1350.65 c 1351s| 23300 | 23301 | 9826k| 410.5 | 146M| 79 | 100 |1000 | 15k|1000 |1160 |2206k| 0 |6621 |-3.184365e+02 |-1.020000e+02 | 212.19%
1353.55/1353.84 c 1354s| 23400 | 23401 | 9858k| 410.1 | 146M| 79 | 10 |1000 | 15k|1000 | 997 |2216k| 0 |6621 |-3.184365e+02 |-1.020000e+02 | 212.19%
1357.85/1358.16 c 1358s| 23500 | 23501 | 9889k| 409.7 | 147M| 79 | 291 |1000 | 15k|1000 |1134 |2226k| 0 |6676 |-3.184352e+02 |-1.020000e+02 | 212.19%
1359.26/1359.52 c 1360s| 23600 | 23601 | 9905k| 408.6 | 147M| 79 | 96 |1000 | 15k|1000 |1145 |2237k| 0 |6676 |-3.184352e+02 |-1.020000e+02 | 212.19%
1363.45/1363.74 c 1364s| 23700 | 23701 | 9934k| 408.1 | 147M| 79 | 71 |1000 | 15k|1000 |1152 |2247k| 0 |6695 |-3.184185e+02 |-1.020000e+02 | 212.18%
1368.35/1368.67 c 1369s| 23800 | 23801 | 9974k| 408.1 | 148M| 79 | 292 |1000 | 15k|1000 |1490 |2257k| 0 |6706 |-3.184119e+02 |-1.020000e+02 | 212.17%
1371.45/1371.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1371.45/1371.73 c 1372s| 23900 | 23901 | 10001k| 407.5 | 148M| 79 | 120 |1000 | 15k|1000 |1152 |2268k| 0 |6723 |-3.184119e+02 |-1.020000e+02 | 212.17%
1372.74/1373.05 c 1373s| 24000 | 24001 | 10018k| 406.5 | 149M| 79 | 16 |1000 | 15k|1000 |1150 |2279k| 0 |6723 |-3.184119e+02 |-1.020000e+02 | 212.17%
1378.94/1379.24 c 1379s| 24100 | 24101 | 10058k| 406.5 | 149M| 79 | 293 |1000 | 15k|1000 |1453 |2289k| 0 |6752 |-3.183783e+02 |-1.020000e+02 | 212.14%
1380.84/1381.10 c 1381s| 24200 | 24201 | 10078k| 405.6 | 149M| 79 | 327 |1000 | 15k|1000 |1129 |2301k| 0 |6771 |-3.183783e+02 |-1.020000e+02 | 212.14%
1387.54/1387.83 c 1388s| 24300 | 24301 | 10126k| 405.9 | 150M| 79 | 332 |1000 | 15k|1000 |1149 |2309k| 0 |6814 |-3.183707e+02 |-1.020000e+02 | 212.13%
1393.45/1393.73 c 1394s| 24400 | 24401 | 10171k| 406.1 | 150M| 79 | 177 |1000 | 15k|1000 |1215 |2317k| 0 |6838 |-3.183707e+02 |-1.020000e+02 | 212.13%
1398.14/1398.47 c 1398s| 24500 | 24501 | 10211k| 406.1 | 151M| 79 | 126 |1000 | 15k|1000 |1152 |2326k| 0 |6850 |-3.183700e+02 |-1.020000e+02 | 212.13%
1402.05/1402.36 c 1402s| 24600 | 24601 | 10248k| 406.0 | 151M| 79 | 261 |1000 | 15k|1000 |1207 |2335k| 0 |6853 |-3.183681e+02 |-1.020000e+02 | 212.13%
1403.95/1404.25 c 1404s| 24700 | 24701 | 10270k| 405.2 | 152M| 79 | 77 |1000 | 15k|1000 |1142 |2345k| 0 |6854 |-3.183681e+02 |-1.020000e+02 | 212.13%
1408.64/1408.98 c 1409s| 24800 | 24801 | 10313k| 405.3 | 152M| 79 | 267 |1000 | 15k|1000 |1161 |2355k| 0 |6854 |-3.183628e+02 |-1.020000e+02 | 212.12%
1411.84/1412.15 c 1412s| 24900 | 24901 | 10346k| 405.0 | 153M| 79 | 78 |1000 | 15k|1000 |1140 |2365k| 0 |6854 |-3.183600e+02 |-1.020000e+02 | 212.12%
1415.14/1415.42 c 1415s| 25000 | 25001 | 10379k| 404.7 | 153M| 79 | 171 |1000 | 15k|1000 |1224 |2373k| 0 |6854 |-3.183595e+02 |-1.020000e+02 | 212.12%
1418.04/1418.35 c 1418s| 25100 | 25101 | 10408k| 404.2 | 153M| 79 | 366 |1000 | 15k|1000 |1661 |2383k| 0 |6854 |-3.183578e+02 |-1.020000e+02 | 212.12%
1422.84/1423.10 c 1423s| 25200 | 25201 | 10454k| 404.4 | 154M| 79 | 426 |1000 | 15k|1000 |1146 |2391k| 0 |6854 |-3.183463e+02 |-1.020000e+02 | 212.10%
1425.64/1425.96 c 1426s| 25300 | 25301 | 10483k| 404.0 | 154M| 79 | 396 |1000 | 15k|1000 |1143 |2401k| 0 |6854 |-3.183327e+02 |-1.020000e+02 | 212.09%
1430.04/1430.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.04/1430.38 c 1430s| 25400 | 25401 | 10524k| 404.0 | 155M| 79 | 148 |1000 | 15k|1000 |1143 |2409k| 0 |6857 |-3.183095e+02 |-1.020000e+02 | 212.07%
1434.54/1434.88 c 1435s| 25500 | 25501 | 10565k| 404.1 | 155M| 79 | 138 |1000 | 15k|1000 |1155 |2418k| 0 |6857 |-3.182991e+02 |-1.020000e+02 | 212.06%
1438.83/1439.14 c 1439s| 25600 | 25601 | 10605k| 404.0 | 156M| 79 | 351 |1000 | 15k|1000 |1143 |2428k| 0 |6857 |-3.182973e+02 |-1.020000e+02 | 212.06%
1441.23/1441.50 c 1442s| 25700 | 25701 | 10630k| 403.4 | 156M| 79 | 258 |1000 | 15k|1000 |1151 |2436k| 0 |6857 |-3.182973e+02 |-1.020000e+02 | 212.06%
1442.95/1443.28 c 1443s| 25800 | 25801 | 10649k| 402.6 | 157M| 79 | 288 |1000 | 15k|1000 |1142 |2445k| 0 |6857 |-3.182973e+02 |-1.020000e+02 | 212.06%
1447.44/1447.77 c 1448s| 25900 | 25901 | 10692k| 402.7 | 157M| 79 | 359 |1000 | 15k|1000 |1658 |2454k| 0 |6857 |-3.182737e+02 |-1.020000e+02 | 212.03%
1451.14/1451.48 c 1451s| 26000 | 26001 | 10731k| 402.7 | 157M| 79 | 291 |1000 | 15k|1000 |1144 |2464k| 0 |6857 |-3.182725e+02 |-1.020000e+02 | 212.03%
1455.43/1455.79 c 1456s| 26100 | 26101 | 10772k| 402.7 | 158M| 79 | 387 |1000 | 15k|1000 |1690 |2472k| 0 |6857 |-3.182668e+02 |-1.020000e+02 | 212.03%
1458.83/1459.18 c 1459s| 26200 | 26201 | 10806k| 402.4 | 158M| 79 | 361 |1000 | 15k|1000 |1136 |2482k| 0 |6872 |-3.182612e+02 |-1.020000e+02 | 212.02%
1462.94/1463.21 c 1463s| 26300 | 26301 | 10837k| 402.1 | 159M| 79 | 369 |1000 | 15k|1000 |1651 |2492k| 0 |6911 |-3.182584e+02 |-1.020000e+02 | 212.02%
1468.34/1468.60 c 1469s| 26400 | 26401 | 10877k| 402.1 | 159M| 79 | 161 |1000 | 15k|1000 |1139 |2501k| 0 |6939 |-3.182562e+02 |-1.020000e+02 | 212.02%
1472.03/1472.34 c 1472s| 26500 | 26501 | 10907k| 401.7 | 160M| 79 | 263 |1000 | 15k|1000 |1149 |2509k| 0 |6955 |-3.182547e+02 |-1.020000e+02 | 212.01%
1475.04/1475.33 c 1475s| 26600 | 26601 | 10932k| 401.1 | 160M| 79 | 30 |1000 | 15k|1000 | 997 |2516k| 0 |6967 |-3.182523e+02 |-1.020000e+02 | 212.01%
1476.34/1476.63 c 1477s| 26700 | 26701 | 10948k| 400.2 | 160M| 79 | 389 |1000 | 15k|1000 |1142 |2524k| 0 |6967 |-3.182523e+02 |-1.020000e+02 | 212.01%
1478.04/1478.38 c 1478s| 26800 | 26801 | 10964k| 399.3 | 161M| 79 | 99 |1000 | 15k|1000 |1213 |2533k| 0 |7012 |-3.182523e+02 |-1.020000e+02 | 212.01%
1482.54/1482.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1482.54/1482.84 c 1483s| 26900 | 26901 | 10996k| 399.0 | 161M| 79 | 165 |1000 | 15k|1000 |1226 |2543k| 0 |7065 |-3.182480e+02 |-1.020000e+02 | 212.01%
1483.94/1484.24 c 1484s| 27000 | 27001 | 11012k| 398.2 | 161M| 79 | 364 |1000 | 15k|1000 |1682 |2553k| 0 |7065 |-3.182480e+02 |-1.020000e+02 | 212.01%
1485.93/1486.27 c 1486s| 27100 | 27101 | 11031k| 397.4 | 162M| 79 | 318 |1000 | 15k|1000 |1508 |2564k| 0 |7125 |-3.182480e+02 |-1.020000e+02 | 212.01%
1490.93/1491.21 c 1491s| 27200 | 27201 | 11067k| 397.2 | 162M| 79 | 274 |1000 | 15k|1000 |1142 |2571k| 0 |7147 |-3.182310e+02 |-1.020000e+02 | 211.99%
1492.23/1492.50 c 1493s| 27300 | 27301 | 11082k| 396.4 | 163M| 79 | 330 |1000 | 15k|1000 |1142 |2581k| 0 |7147 |-3.182310e+02 |-1.020000e+02 | 211.99%
1497.13/1497.43 c 1497s| 27400 | 27401 | 11121k| 396.3 | 163M| 79 | 228 |1000 | 15k|1000 |1193 |2589k| 0 |7172 |-3.182243e+02 |-1.020000e+02 | 211.98%
1498.43/1498.74 c 1499s| 27500 | 27501 | 11135k| 395.4 | 163M| 79 | 8 |1000 | 15k|1000 | 997 |2598k| 0 |7201 |-3.182243e+02 |-1.020000e+02 | 211.98%
1499.63/1499.98 c 1500s| 27600 | 27601 | 11150k| 394.5 | 164M| 79 | 14 |1000 | 15k|1000 | 997 |2608k| 0 |7202 |-3.182243e+02 |-1.020000e+02 | 211.98%
1501.43/1501.73 c 1502s| 27700 | 27701 | 11168k| 393.7 | 164M| 79 | 136 |1000 | 15k|1000 |1198 |2619k| 0 |7236 |-3.182243e+02 |-1.020000e+02 | 211.98%
1508.53/1508.87 c 1509s| 27800 | 27801 | 11215k| 394.0 | 165M| 79 | 259 |1000 | 15k|1000 |1143 |2627k| 0 |7277 |-3.182173e+02 |-1.020000e+02 | 211.98%
1515.03/1515.30 c 1515s| 27900 | 27901 | 11265k| 394.4 | 165M| 79 | 38 |1000 | 15k|1000 | 997 |2633k| 0 |7293 |-3.182153e+02 |-1.020000e+02 | 211.98%
1519.62/1519.99 c 1520s| 28000 | 28001 | 11300k| 394.2 | 166M| 79 | 293 |1000 | 15k|1000 |1136 |2643k| 0 |7324 |-3.181788e+02 |-1.020000e+02 | 211.94%
1524.02/1524.38 c 1524s| 28100 | 28101 | 11337k| 394.1 | 166M| 79 | 389 |1000 | 15k|1000 |1631 |2652k| 0 |7350 |-3.181732e+02 |-1.020000e+02 | 211.93%
1527.63/1527.92 c 1528s| 28200 | 28201 | 11367k| 393.8 | 166M| 79 | 261 |1000 | 15k|1000 |1138 |2662k| 0 |7363 |-3.181720e+02 |-1.020000e+02 | 211.93%
1531.13/1531.46 c 1531s| 28300 | 28301 | 11398k| 393.5 | 167M| 79 | 96 |1000 | 15k|1000 |1147 |2671k| 0 |7381 |-3.181661e+02 |-1.020000e+02 | 211.93%
1533.92/1534.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1533.92/1534.28 c 1534s| 28400 | 28401 | 11426k| 393.1 | 167M| 79 | 211 |1000 | 15k|1000 |1226 |2681k| 0 |7385 |-3.181600e+02 |-1.020000e+02 | 211.92%
1539.23/1539.50 c 1539s| 28500 | 28501 | 11473k| 393.4 | 168M| 79 | 200 |1000 | 15k|1000 |1129 |2688k| 0 |7386 |-3.181457e+02 |-1.020000e+02 | 211.91%
1541.82/1542.15 c 1542s| 28600 | 28601 | 11500k| 393.0 | 168M| 79 | 123 |1000 | 15k|1000 |1140 |2697k| 0 |7386 |-3.181457e+02 |-1.020000e+02 | 211.91%
1543.82/1544.16 c 1544s| 28700 | 28701 | 11523k| 392.4 | 169M| 79 | 248 |1000 | 15k|1000 |1145 |2707k| 0 |7386 |-3.181457e+02 |-1.020000e+02 | 211.91%
1548.32/1548.62 c 1549s| 28800 | 28801 | 11566k| 392.5 | 169M| 79 | 276 |1000 | 15k|1000 |1220 |2716k| 0 |7386 |-3.181363e+02 |-1.020000e+02 | 211.90%
1552.83/1553.13 c 1553s| 28900 | 28901 | 11608k| 392.6 | 170M| 79 | 47 |1000 | 15k|1000 |1136 |2725k| 0 |7386 |-3.181322e+02 |-1.020000e+02 | 211.89%
1554.71/1555.05 c 1555s| 29000 | 29001 | 11631k| 392.0 | 170M| 79 | 287 |1000 | 15k|1000 |1145 |2735k| 0 |7386 |-3.181322e+02 |-1.020000e+02 | 211.89%
1558.22/1558.52 c 1559s| 29100 | 29101 | 11665k| 391.9 | 170M| 79 | 293 |1000 | 15k|1000 |1131 |2745k| 0 |7386 |-3.181290e+02 |-1.020000e+02 | 211.89%
1560.12/1560.41 c 1560s| 29200 | 29201 | 11687k| 391.3 | 171M| 79 | 244 |1000 | 15k|1000 |1137 |2756k| 0 |7386 |-3.181290e+02 |-1.020000e+02 | 211.89%
1564.71/1565.03 c 1565s| 29300 | 29301 | 11731k| 391.4 | 171M| 79 | 263 |1000 | 15k|1000 |1145 |2765k| 0 |7386 |-3.181252e+02 |-1.020000e+02 | 211.89%
1569.12/1569.47 c 1569s| 29400 | 29401 | 11773k| 391.5 | 172M| 79 | 186 |1000 | 15k|1000 |1143 |2774k| 0 |7386 |-3.181164e+02 |-1.020000e+02 | 211.88%
1573.22/1573.53 c 1574s| 29500 | 29501 | 11811k| 391.5 | 172M| 79 | 6 |1000 | 15k|1000 | 997 |2782k| 0 |7387 |-3.181019e+02 |-1.020000e+02 | 211.86%
1575.71/1576.04 c 1576s| 29600 | 29601 | 11837k| 391.0 | 173M| 79 | 219 |1000 | 15k|1000 |1134 |2790k| 0 |7387 |-3.180997e+02 |-1.020000e+02 | 211.86%
1577.31/1577.64 c 1578s| 29700 | 29701 | 11855k| 390.4 | 173M| 79 | 291 |1000 | 15k|1000 |1128 |2800k| 0 |7387 |-3.180997e+02 |-1.020000e+02 | 211.86%
1579.32/1579.63 c 1580s| 29800 | 29801 | 11877k| 389.8 | 173M| 79 | 222 |1000 | 15k|1000 |1151 |2811k| 0 |7387 |-3.180997e+02 |-1.020000e+02 | 211.86%
1583.62/1583.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1583.62/1583.97 c 1584s| 29900 | 29901 | 11918k| 389.8 | 174M| 79 | 87 |1000 | 15k|1000 |1145 |2818k| 0 |7387 |-3.180930e+02 |-1.020000e+02 | 211.86%
1586.81/1587.16 c 1587s| 30000 | 30001 | 11950k| 389.6 | 174M| 79 | 231 |1000 | 15k|1000 |1140 |2827k| 0 |7387 |-3.180930e+02 |-1.020000e+02 | 211.86%
1591.51/1591.83 c 1592s| 30100 | 30101 | 11993k| 389.7 | 175M| 79 | 38 |1000 | 15k|1000 |1150 |2835k| 0 |7387 |-3.180774e+02 |-1.020000e+02 | 211.84%
1597.31/1597.62 c 1598s| 30200 | 30201 | 12042k| 390.1 | 175M| 79 | 398 |1000 | 15k|1000 |1566 |2843k| 0 |7414 |-3.180540e+02 |-1.020000e+02 | 211.82%
1601.11/1601.44 c 1601s| 30300 | 30301 | 12073k| 389.8 | 176M| 79 | 191 |1000 | 15k|1000 |1220 |2850k| 0 |7425 |-3.180531e+02 |-1.020000e+02 | 211.82%
1603.41/1603.76 c 1604s| 30400 | 30401 | 12095k| 389.2 | 176M| 79 | 283 |1000 | 15k|1000 |1135 |2860k| 0 |7445 |-3.180531e+02 |-1.020000e+02 | 211.82%
1608.70/1609.03 c 1609s| 30500 | 30501 | 12138k| 389.4 | 177M| 79 | 309 |1000 | 15k|1000 |1481 |2870k| 0 |7480 |-3.180414e+02 |-1.020000e+02 | 211.81%
1612.21/1612.58 c 1613s| 30600 | 30601 | 12166k| 389.0 | 177M| 79 | 117 |1000 | 15k|1000 |1143 |2879k| 0 |7492 |-3.180414e+02 |-1.020000e+02 | 211.81%
1614.31/1614.61 c 1615s| 30700 | 30701 | 12186k| 388.4 | 177M| 79 | 296 |1000 | 15k|1000 |1142 |2889k| 0 |7559 |-3.180414e+02 |-1.020000e+02 | 211.81%
1616.71/1617.07 c 1617s| 30800 | 30801 | 12208k| 387.9 | 178M| 79 | 148 |1000 | 15k|1000 |1147 |2898k| 0 |7592 |-3.180414e+02 |-1.020000e+02 | 211.81%
1622.11/1622.45 c 1622s| 30900 | 30901 | 12247k| 387.9 | 178M| 79 | 286 |1000 | 15k|1000 |1136 |2905k| 0 |7613 |-3.180402e+02 |-1.020000e+02 | 211.80%
1624.01/1624.32 c 1624s| 31000 | 31001 | 12267k| 387.3 | 179M| 79 | 107 |1000 | 15k|1000 |1134 |2915k| 0 |7623 |-3.180402e+02 |-1.020000e+02 | 211.80%
1626.51/1626.89 c 1627s| 31100 | 31101 | 12289k| 386.7 | 179M| 79 | 306 |1000 | 15k|1000 |1139 |2926k| 0 |7676 |-3.180402e+02 |-1.020000e+02 | 211.80%
1630.01/1630.31 c 1630s| 31200 | 31201 | 12320k| 386.5 | 179M| 79 | 82 |1000 | 15k|1000 |1161 |2935k| 0 |7686 |-3.180402e+02 |-1.020000e+02 | 211.80%
1633.81/1634.12 c 1634s| 31300 | 31301 | 12354k| 386.3 | 180M| 79 | 48 |1000 | 15k|1000 | 997 |2943k| 0 |7697 |-3.180387e+02 |-1.020000e+02 | 211.80%
1636.30/1636.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1636.30/1636.62 c 1637s| 31400 | 31401 | 12376k| 385.8 | 180M| 79 | 180 |1000 | 15k|1000 |1132 |2952k| 0 |7757 |-3.180387e+02 |-1.020000e+02 | 211.80%
1641.40/1641.79 c 1642s| 31500 | 31501 | 12411k| 385.7 | 181M| 79 | 286 |1000 | 15k|1000 |1145 |2963k| 0 |7779 |-3.180344e+02 |-1.020000e+02 | 211.80%
1644.60/1644.90 c 1645s| 31600 | 31601 | 12443k| 385.5 | 181M| 79 | 185 |1000 | 15k|1000 |1138 |2972k| 0 |7779 |-3.180253e+02 |-1.020000e+02 | 211.79%
1650.30/1650.65 c 1651s| 31700 | 31701 | 12485k| 385.6 | 182M| 79 | 121 |1000 | 15k|1000 |1141 |2981k| 0 |7810 |-3.180161e+02 |-1.020000e+02 | 211.78%
1655.50/1655.83 c 1656s| 31800 | 31801 | 12528k| 385.7 | 182M| 79 | 219 |1000 | 15k|1000 |1139 |2988k| 0 |7835 |-3.180118e+02 |-1.020000e+02 | 211.78%
1660.10/1660.44 c 1660s| 31900 | 31901 | 12564k| 385.7 | 183M| 79 | 236 |1000 | 15k|1000 |1135 |2996k| 0 |7853 |-3.180116e+02 |-1.020000e+02 | 211.78%
1662.19/1662.58 c 1663s| 32000 | 32001 | 12586k| 385.1 | 183M| 79 | 378 |1000 | 15k|1000 |1629 |3008k| 0 |7897 |-3.180116e+02 |-1.020000e+02 | 211.78%
1663.50/1663.87 c 1664s| 32100 | 32101 | 12602k| 384.4 | 183M| 79 | 54 |1000 | 15k|1000 |1136 |3016k| 0 |7897 |-3.180116e+02 |-1.020000e+02 | 211.78%
1669.10/1669.49 c 1669s| 32200 | 32201 | 12650k| 384.7 | 184M| 79 | 308 |1000 | 15k|1000 |1498 |3025k| 0 |7912 |-3.180015e+02 |-1.020000e+02 | 211.77%
1671.00/1671.37 c 1671s| 32300 | 32301 | 12672k| 384.2 | 184M| 79 | 249 |1000 | 15k|1000 |1224 |3034k| 0 |7912 |-3.180015e+02 |-1.020000e+02 | 211.77%
1674.70/1675.04 c 1675s| 32400 | 32401 | 12707k| 384.1 | 184M| 79 | 328 |1000 | 15k|1000 |1513 |3044k| 0 |7913 |-3.180004e+02 |-1.020000e+02 | 211.77%
1679.30/1679.67 c 1680s| 32500 | 32501 | 12751k| 384.3 | 185M| 79 | 118 |1000 | 15k|1000 |1148 |3052k| 0 |7915 |-3.179879e+02 |-1.020000e+02 | 211.75%
1680.90/1681.22 c 1681s| 32600 | 32601 | 12769k| 383.7 | 185M| 79 | 211 |1000 | 15k|1000 |1138 |3061k| 0 |7915 |-3.179879e+02 |-1.020000e+02 | 211.75%
1683.81/1684.16 c 1684s| 32700 | 32701 | 12800k| 383.4 | 186M| 79 | 376 |1000 | 15k|1000 |1580 |3071k| 0 |7916 |-3.179871e+02 |-1.020000e+02 | 211.75%
1688.30/1688.61 c 1689s| 32800 | 32801 | 12841k| 383.5 | 186M| 79 | 248 |1000 | 15k|1000 |1134 |3079k| 0 |7917 |-3.179794e+02 |-1.020000e+02 | 211.74%
1689.70/1690.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1689.70/1690.04 c 1690s| 32900 | 32901 | 12858k| 382.9 | 187M| 79 | 249 |1000 | 15k|1000 |1136 |3087k| 0 |7917 |-3.179794e+02 |-1.020000e+02 | 211.74%
1691.40/1691.74 c 1692s| 33000 | 33001 | 12877k| 382.3 | 187M| 79 | 392 |1000 | 15k|1000 |1646 |3099k| 0 |7917 |-3.179794e+02 |-1.020000e+02 | 211.74%
1694.49/1694.85 c 1695s| 33100 | 33101 | 12908k| 382.1 | 187M| 79 | 340 |1000 | 15k|1000 |1144 |3109k| 0 |7917 |-3.179794e+02 |-1.020000e+02 | 211.74%
1697.30/1697.67 c 1698s| 33200 | 33201 | 12937k| 381.8 | 188M| 79 | 319 |1000 | 15k|1000 |1133 |3118k| 0 |7917 |-3.179772e+02 |-1.020000e+02 | 211.74%
1700.09/1700.45 c 1700s| 33300 | 33301 | 12966k| 381.5 | 188M| 79 | 336 |1000 | 15k|1000 |1536 |3128k| 0 |7917 |-3.179767e+02 |-1.020000e+02 | 211.74%
1704.00/1704.30 c 1704s| 33400 | 33401 | 13003k| 381.5 | 189M| 79 | 317 |1000 | 15k|1000 |1227 |3137k| 0 |7917 |-3.179748e+02 |-1.020000e+02 | 211.74%
1705.29/1705.61 c 1706s| 33500 | 33501 | 13020k| 380.8 | 189M| 79 | 231 |1000 | 15k|1000 |1139 |3148k| 0 |7917 |-3.179748e+02 |-1.020000e+02 | 211.74%
1708.29/1708.61 c 1709s| 33600 | 33601 | 13050k| 380.6 | 189M| 79 | 103 |1000 | 15k|1000 |1141 |3157k| 0 |7917 |-3.179748e+02 |-1.020000e+02 | 211.74%
1712.30/1712.67 c 1713s| 33700 | 33701 | 13089k| 380.6 | 190M| 79 | 304 |1000 | 15k|1000 |1552 |3165k| 0 |7917 |-3.179725e+02 |-1.020000e+02 | 211.74%
1716.70/1717.02 c 1717s| 33800 | 33801 | 13129k| 380.7 | 190M| 79 | 311 |1000 | 15k|1000 |1130 |3173k| 0 |7918 |-3.179702e+02 |-1.020000e+02 | 211.74%
1719.79/1720.13 c 1720s| 33900 | 33901 | 13161k| 380.5 | 191M| 79 | 164 |1000 | 15k|1000 |1144 |3181k| 0 |7918 |-3.179700e+02 |-1.020000e+02 | 211.74%
1722.59/1722.98 c 1723s| 34000 | 34001 | 13190k| 380.2 | 191M| 79 | 47 |1000 | 15k|1000 |1132 |3189k| 0 |7918 |-3.179700e+02 |-1.020000e+02 | 211.74%
1726.89/1727.24 c 1727s| 34100 | 34101 | 13232k| 380.4 | 192M| 79 | 32 |1000 | 15k|1000 |1142 |3198k| 0 |7918 |-3.179537e+02 |-1.020000e+02 | 211.72%
1730.79/1731.14 c 1731s| 34200 | 34201 | 13269k| 380.3 | 192M| 79 | 361 |1000 | 15k|1000 |1149 |3206k| 0 |7918 |-3.179520e+02 |-1.020000e+02 | 211.72%
1733.69/1734.06 c 1734s| 34300 | 34301 | 13296k| 380.0 | 192M| 79 | 23 |1000 | 15k|1000 | 997 |3215k| 0 |7955 |-3.179427e+02 |-1.020000e+02 | 211.71%
1736.69/1737.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1736.69/1737.09 c 1737s| 34400 | 34401 | 13321k| 379.6 | 193M| 79 | 271 |1000 | 15k|1000 |1141 |3224k| 0 |7966 |-3.179399e+02 |-1.020000e+02 | 211.71%
1737.99/1738.33 c 1738s| 34500 | 34501 | 13336k| 379.0 | 193M| 79 | 17 |1000 | 15k|1000 |1152 |3235k| 0 |7979 |-3.179399e+02 |-1.020000e+02 | 211.71%
1739.58/1739.96 c 1740s| 34600 | 34601 | 13352k| 378.3 | 193M| 79 | 214 |1000 | 15k|1000 |1143 |3245k| 0 |8040 |-3.179399e+02 |-1.020000e+02 | 211.71%
1743.29/1743.63 c 1744s| 34700 | 34701 | 13383k| 378.1 | 194M| 79 | 331 |1000 | 15k|1000 |1216 |3253k| 0 |8096 |-3.179279e+02 |-1.020000e+02 | 211.69%
1747.28/1747.60 c 1748s| 34800 | 34801 | 13413k| 377.9 | 194M| 79 | 24 |1000 | 15k|1000 | 997 |3262k| 0 |8191 |-3.179276e+02 |-1.020000e+02 | 211.69%
1752.08/1752.48 c 1752s| 34900 | 34901 | 13456k| 378.0 | 195M| 79 | 306 |1000 | 15k|1000 |1213 |3272k| 0 |8219 |-3.179082e+02 |-1.020000e+02 | 211.67%
1757.28/1757.60 c 1758s| 35000 | 35001 | 13496k| 378.1 | 195M| 79 | 273 |1000 | 15k|1000 |1221 |3280k| 0 |8245 |-3.178998e+02 |-1.020000e+02 | 211.67%
1761.98/1762.34 c 1762s| 35100 | 35101 | 13536k| 378.2 | 196M| 79 | 47 |1000 | 15k|1000 | 997 |3288k| 0 |8287 |-3.178937e+02 |-1.020000e+02 | 211.66%
1765.78/1766.17 c 1766s| 35200 | 35201 | 13565k| 377.9 | 196M| 79 | 309 |1000 | 15k|1000 |1117 |3297k| 0 |8329 |-3.178918e+02 |-1.020000e+02 | 211.66%
1771.08/1771.41 c 1771s| 35300 | 35301 | 13609k| 378.1 | 197M| 79 | 180 |1000 | 15k|1000 |1209 |3307k| 0 |8348 |-3.178904e+02 |-1.020000e+02 | 211.66%
1778.88/1779.26 c 1779s| 35400 | 35401 | 13665k| 378.6 | 197M| 79 | 356 |1000 | 15k|1000 |1151 |3314k| 0 |8375 |-3.178812e+02 |-1.020000e+02 | 211.65%
1780.38/1780.80 c 1781s| 35500 | 35501 | 13683k| 378.1 | 197M| 79 | 351 |1000 | 15k|1000 |1567 |3324k| 0 |8375 |-3.178812e+02 |-1.020000e+02 | 211.65%
1782.38/1782.71 c 1783s| 35600 | 35601 | 13705k| 377.6 | 198M| 79 | 362 |1000 | 15k|1000 |1656 |3334k| 0 |8381 |-3.178812e+02 |-1.020000e+02 | 211.65%
1784.08/1784.43 c 1784s| 35700 | 35701 | 13724k| 377.1 | 198M| 79 | 212 |1000 | 15k|1000 |1155 |3344k| 0 |8381 |-3.178812e+02 |-1.020000e+02 | 211.65%
1789.78/1790.10 c 1790s| 35800 | 35801 | 13760k| 377.0 | 199M| 79 | 243 |1000 | 15k|1000 |1158 |3353k| 0 |8417 |-3.178761e+02 |-1.020000e+02 | 211.64%
1794.28/1794.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1794.28/1794.63 c 1795s| 35900 | 35901 | 13800k| 377.1 | 199M| 79 | 338 |1000 | 15k|1000 |1536 |3362k| 0 |8434 |-3.178704e+02 |-1.020000e+02 | 211.64%
1795.48/1795.87 c 1796s| 36000 | 36001 | 13815k| 376.5 | 199M| 79 | 177 |1000 | 15k|1000 |1163 |3372k| 0 |8443 |-3.178704e+02 |-1.020000e+02 | 211.64%
1796.68/1797.01 c
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Solving Time (sec) : 1797.01
1796.68/1797.01 c Solving Nodes : 36051
1796.68/1797.01 c Primal Bound : -1.02000000000000e+02 (558 solutions)
1796.68/1797.01 c Dual Bound : -3.17870352490058e+02
1796.68/1797.01 c Gap : 211.64 %
1796.68/1797.01 s SATISFIABLE
1796.68/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.68/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.68/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.68/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.68/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.68/1797.02 v x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 x879 -x878 -x877 -x876 -x875 -x874
1796.68/1797.02 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1796.68/1797.02 v -x852 -x851 -x850 x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 x832
1796.68/1797.02 v -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1796.68/1797.02 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1796.68/1797.02 v -x789 x788 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768
1796.68/1797.02 v -x767 -x766 -x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747
1796.68/1797.02 v -x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
1796.68/1797.02 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705
1796.68/1797.02 v -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684
1796.68/1797.02 v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663
1796.68/1797.02 v -x662 -x661 x660 -x659 -x658 -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 x646 -x645 -x644 -x643 -x642
1796.68/1797.02 v -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621
1796.68/1797.02 v -x620 -x619 -x618 -x617 -x616 x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600
1796.68/1797.02 v -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 x580 -x579
1796.68/1797.02 v -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558
1796.68/1797.02 v -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 x549 -x548 x547 -x546 -x545 x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536
1796.68/1797.02 v -x535 -x534 -x533 x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515
1796.68/1797.02 v -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494
1796.68/1797.02 v -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
1796.68/1797.02 v -x473 -x472 -x471 -x470 -x469 x468 x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452
1796.68/1797.02 v -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
1796.68/1797.02 v x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410
1796.68/1797.02 v -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 x391 -x390 -x389
1796.68/1797.02 v -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368
1796.68/1797.02 v -x367 x366 -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347
1796.68/1797.02 v -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 x329 x328 -x327 -x326
1796.68/1797.02 v -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305
1796.68/1797.02 v -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284
1796.68/1797.02 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263
1796.68/1797.02 v -x262 -x261 -x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241
1796.68/1797.02 v x240 x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220
1796.68/1797.02 v -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 x204 -x203 -x202 x201 -x200 -x199
1796.68/1797.02 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178
1796.68/1797.02 v -x177 -x176 -x175 -x174 -x173 x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156
1796.68/1797.02 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135
1796.68/1797.02 v -x134 x133 x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114
1796.68/1797.02 v -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91
1796.68/1797.02 v x90 -x89 -x88 x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65
1796.68/1797.02 v -x64 -x63 -x62 x61 -x60 -x59 -x58 x57 -x56 -x55 x54 x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 x44 -x43 -x42 -x41 x40 -x39
1796.68/1797.02 v -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 -x12
1796.68/1797.02 v x11 -x10 x9 x8 -x7 x6 x5 x4 -x3 x2 x1
1796.68/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.02 c Total Time : 1797.01
1796.68/1797.02 c solving : 1797.01
1796.68/1797.02 c presolving : 0.62 (included in solving)
1796.68/1797.02 c reading : 0.02 (included in solving)
1796.68/1797.02 c copying : 0.38 (13 #copies) (minimal 0.03, maximal 0.03, average 0.03)
1796.68/1797.02 c Original Problem :
1796.68/1797.02 c Problem name : HOME/instance-3693795-1338036447.opb
1796.68/1797.02 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.02 c Constraints : 1000 initial, 1000 maximal
1796.68/1797.02 c Objective sense : minimize
1796.68/1797.02 c Presolved Problem :
1796.68/1797.02 c Problem name : t_HOME/instance-3693795-1338036447.opb
1796.68/1797.02 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.02 c Constraints : 15772 initial, 15772 maximal
1796.68/1797.02 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.02 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c setppc : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c and : 0.32 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c linear : 0.05 0.00 15772 0 0 15772 0 1000 0 0 0
1796.68/1797.02 c logicor : 0.07 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c root node : - - 0 - - 0 - - - - -
1796.68/1797.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.02 c integral : 0 0 0 0 42070 0 88389 0 0 0 0 0 72102
1796.68/1797.02 c setppc : 15772 15772 208 132838 6019 0 88385 0 0 629123 3378073 0 0
1796.68/1797.02 c countsols : 0 0 0 0 0 0 560 0 0 0 0 0 0
1796.68/1797.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.02 c integral : 302.16 0.00 0.00 0.00 301.97 0.00 0.19 0.00
1796.68/1797.02 c setppc : 21.74 0.00 1.15 10.35 4.81 0.00 5.43 0.00
1796.68/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.02 c rootredcost : 1 0 0 0
1796.68/1797.02 c pseudoobj : 168839 0 0 0
1796.68/1797.02 c vbounds : 0 0 0 0
1796.68/1797.02 c redcost : 42277 0 0 0
1796.68/1797.02 c probing : 0 0 0 0
1796.68/1797.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.02 c rootredcost : 0.13 0.00 0.00 0.13 0.00
1796.68/1797.02 c pseudoobj : 0.45 0.01 0.00 0.45 0.00
1796.68/1797.02 c vbounds : 0.11 0.00 0.00 0.11 0.00
1796.68/1797.02 c redcost : 0.89 0.00 0.00 0.89 0.00
1796.68/1797.02 c probing : 0.02 0.00 0.02 0.00 0.00
1796.68/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.02 c applied globally : - - - 0 0.0 - - -
1796.68/1797.02 c applied locally : - - - 0 0.0 - - -
1796.68/1797.02 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.02 c cut pool : 0.25 207 - - 5349 - (maximal pool size: 11954)
1796.68/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c impliedbounds : 0.22 0.00 208 0 0 29352 0
1796.68/1797.02 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c gomory : 0.10 0.00 10 0 0 500 0
1796.68/1797.02 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c strongcg : 1.28 0.00 20 0 0 10000 0
1796.68/1797.02 c cmir : 0.38 0.00 10 0 0 0 0
1796.68/1797.02 c flowcover : 0.29 0.00 10 0 0 0 0
1796.68/1797.02 c clique : 5.02 0.00 206 0 0 1675 0
1796.68/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c mcf : 0.01 0.00 1 0 0 0 0
1796.68/1797.02 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.02 c problem variables: 0.00 - 0 0
1796.68/1797.02 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.02 c relpscost : 301.83 0.00 36051 0 0 0 0 72102
1796.68/1797.02 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c inference : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.02 c LP solutions : 0.00 - - 0
1796.68/1797.02 c pseudo solutions : 0.00 - - 0
1796.68/1797.02 c intshifting : 0.00 0.00 0 0
1796.68/1797.02 c oneopt : 0.08 0.00 2 1
1796.68/1797.02 c crossover : 1.67 0.00 11 2
1796.68/1797.02 c veclendiving : 30.00 0.00 701 76
1796.68/1797.02 c coefdiving : 27.49 0.00 702 24
1796.68/1797.02 c pscostdiving : 28.42 0.00 702 31
1796.68/1797.02 c fracdiving : 24.16 0.00 702 22
1796.68/1797.02 c smallcard : 0.00 0.00 0 0
1796.68/1797.02 c trivial : 0.01 0.00 2 1
1796.68/1797.02 c shiftandpropagate: 0.00 0.00 0 0
1796.68/1797.02 c simplerounding : 4.01 0.00 36258 342
1796.68/1797.02 c zirounding : 0.33 0.00 1000 0
1796.68/1797.02 c rounding : 29.91 0.00 8734 1
1796.68/1797.02 c shifting : 11.67 0.00 2501 1
1796.68/1797.02 c twoopt : 0.00 0.00 0 0
1796.68/1797.02 c indoneopt : 0.09 0.00 0 0
1796.68/1797.02 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.02 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.02 c feaspump : 0.00 0.00 0 0
1796.68/1797.02 c clique : 0.00 0.00 0 0
1796.68/1797.02 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.02 c indrounding : 0.00 0.00 0 0
1796.68/1797.02 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.02 c intdiving : 0.00 0.00 0 0
1796.68/1797.02 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.02 c objpscostdiving : 18.90 0.00 37 3
1796.68/1797.02 c rootsoldiving : 12.10 0.00 284 3
1796.68/1797.02 c linesearchdiving : 27.80 0.00 702 32
1796.68/1797.02 c guideddiving : 23.39 0.00 702 19
1796.68/1797.02 c octane : 0.00 0.00 0 0
1796.68/1797.02 c rens : 0.04 0.00 0 0
1796.68/1797.02 c rins : 0.00 0.00 0 0
1796.68/1797.02 c localbranching : 0.00 0.00 0 0
1796.68/1797.02 c mutation : 0.00 0.00 0 0
1796.68/1797.02 c dins : 0.00 0.00 0 0
1796.68/1797.02 c vbounds : 0.00 0.00 0 0
1796.68/1797.02 c undercover : 0.00 0.00 0 0
1796.68/1797.02 c subnlp : 0.03 0.00 0 0
1796.68/1797.02 c trysol : 0.07 0.00 0 0
1796.68/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.02 c primal LP : 3.15 6053 0 0.00 0.00 3.13 6053
1796.68/1797.02 c dual LP : 1206.70 42598 11951075 282.69 9903.97 0.18 321
1796.68/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.02 c diving/probing LP: 171.03 46104 1873239 40.63 10952.86
1796.68/1797.02 c strong branching : 299.62 8449 2199895 260.37 7342.35
1796.68/1797.02 c (at root node) : - 17 15004 882.59 -
1796.68/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.02 c B&B Tree :
1796.68/1797.02 c number of runs : 1
1796.68/1797.02 c nodes : 36051
1796.68/1797.02 c nodes (total) : 36051
1796.68/1797.02 c nodes left : 36052
1796.68/1797.02 c max depth : 79
1796.68/1797.02 c max depth (total): 79
1796.68/1797.02 c backtracks : 4532 (12.6%)
1796.68/1797.02 c delayed cutoffs : 0
1796.68/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.68/1797.02 c avg switch length: 4.31
1796.68/1797.02 c switching time : 9.75
1796.68/1797.02 c Solution :
1796.68/1797.02 c Solutions found : 558 (4 improvements)
1796.68/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.12 seconds, depth 0, found by <trivial>)
1796.68/1797.02 c Primal Bound : -1.02000000000000e+02 (in run 1, after 1 nodes, 1.20 seconds, depth 0, found by <oneopt>)
1796.68/1797.02 c Dual Bound : -3.17870352490058e+02
1796.68/1797.02 c Gap : 211.64 %
1796.68/1797.02 c Root Dual Bound : -3.22999999999998e+02
1796.68/1797.02 c Root Iterations : 262608
1796.88/1797.24 c Time complete: 1796.93.
OK -102
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-3693795-1338036447/watcher-3693795-1338036447 -o /tmp/evaluation-result-3693795-1338036447/solver-3693795-1338036447 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693795-1338036447.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/176 892 /proc/meminfo: memFree=28456632/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 1131 0 0 0 0 0 0 0 20 0 1 0 269771653 9371648 1085 33554432000 4194304 10169799 140735475564976 140736388214504 8844157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 2288 1093 387 1459 0 820 0 [startup+0.0626309 s] /proc/loadavg: 2.00 2.00 2.00 3/176 892 /proc/meminfo: memFree=28456632/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=32504 CPUtime=0.05 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 6641 0 0 0 5 0 0 0 20 0 1 0 269771653 33284096 6595 33554432000 4194304 10169799 140735475564976 140735475429656 4899261 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 8126 6595 509 1459 0 6658 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 32504 [startup+0.100337 s] /proc/loadavg: 2.00 2.00 2.00 3/176 892 /proc/meminfo: memFree=28456632/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=43772 CPUtime=0.08 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 9463 0 0 0 8 0 0 0 20 0 1 0 269771653 44822528 9417 33554432000 4194304 10169799 140735475564976 140735475429656 4898896 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 10943 9417 509 1459 0 9475 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 43772 [startup+0.30027 s] /proc/loadavg: 2.00 2.00 2.00 3/176 892 /proc/meminfo: memFree=28456632/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=57932 CPUtime=0.29 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 13135 0 0 0 20 9 0 0 20 0 1 0 269771653 59322368 12736 33554432000 4194304 10169799 140735475564976 140735475563384 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 14483 12736 539 1459 0 13015 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 57932 [startup+0.700269 s] /proc/loadavg: 2.00 2.00 2.00 3/176 892 /proc/meminfo: memFree=28456632/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=81028 CPUtime=0.69 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 19166 0 0 0 44 25 0 0 20 0 1 0 269771653 82972672 18308 33554432000 4194304 10169799 140735475564976 140735475563384 8044231 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 20257 18340 709 1459 0 18789 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 81028 [startup+1.50022 s] /proc/loadavg: 2.00 2.00 2.00 3/177 893 /proc/meminfo: memFree=28380952/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=88096 CPUtime=1.49 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 21582 0 0 0 119 30 0 0 20 0 1 0 269771653 90210304 20139 33554432000 4194304 10169799 140735475564976 140735475559384 5758000 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 22024 20139 783 1459 0 20556 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 88096 [startup+3.10023 s] /proc/loadavg: 2.00 2.00 2.00 3/177 893 /proc/meminfo: memFree=28372768/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=95920 CPUtime=3.08 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 23606 0 0 0 274 34 0 0 20 0 1 0 269771653 98222080 22163 33554432000 4194304 10169799 140735475564976 140735475559384 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 23980 22163 785 1459 0 22512 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 95920 [startup+6.30026 s] /proc/loadavg: 2.00 2.00 2.00 3/177 893 /proc/meminfo: memFree=28361476/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=100592 CPUtime=6.29 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 25211 0 0 0 592 37 0 0 20 0 1 0 269771653 103006208 23618 33554432000 4194304 10169799 140735475564976 140735475559432 7469328 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 25148 23618 785 1459 0 23680 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 100592 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 893 /proc/meminfo: memFree=28351564/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=106584 CPUtime=12.69 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 26293 0 0 0 1228 41 0 0 20 0 1 0 269771653 109142016 25177 33554432000 4194304 10169799 140735475564976 140735475559384 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 26646 25177 785 1459 0 25178 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 106584 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 893 /proc/meminfo: memFree=28331152/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=110468 CPUtime=25.49 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 27256 0 0 0 2502 47 0 0 20 0 1 0 269771653 113119232 26041 33554432000 4194304 10169799 140735475564976 140735475562488 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 27617 26041 785 1459 0 26149 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 110468 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 893 /proc/meminfo: memFree=28307684/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=111980 CPUtime=51.07 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 27539 0 0 0 5048 59 0 0 20 0 1 0 269771653 114667520 26473 33554432000 4194304 10169799 140735475564976 140735475559768 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 27995 26473 785 1459 0 26527 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 111980 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/177 894 /proc/meminfo: memFree=28254304/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=111820 CPUtime=102.26 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 30486 0 0 0 10143 83 0 0 20 0 1 0 269771653 114503680 27000 33554432000 4194304 10169799 140735475564976 140735475559576 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 27955 27000 820 1459 0 26487 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 111820 [startup+162.3 s] /proc/loadavg: 2.04 2.01 2.00 3/178 897 /proc/meminfo: memFree=28229288/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=111820 CPUtime=162.25 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 30491 0 0 0 16089 136 0 0 20 0 1 0 269771653 114503680 27005 33554432000 4194304 10169799 140735475564976 140735475559096 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 27955 27005 825 1459 0 26487 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 111820 [startup+222.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 897 /proc/meminfo: memFree=28194864/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=111280 CPUtime=222.24 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 36764 0 0 0 22021 203 0 0 20 0 1 0 269771653 113950720 26949 33554432000 4194304 10169799 140735475564976 140735475559032 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 27820 26949 837 1459 0 26352 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 111280 [startup+282.3 s] /proc/loadavg: 2.04 2.02 2.00 3/177 897 /proc/meminfo: memFree=28158532/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=112584 CPUtime=282.23 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 36959 0 0 0 27958 265 0 0 20 0 1 0 269771653 115286016 27144 33554432000 4194304 10169799 140735475564976 140735475559256 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 28146 27144 837 1459 0 26678 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 112584 [startup+342.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 897 /proc/meminfo: memFree=28122448/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=114844 CPUtime=342.21 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 47518 0 0 0 33890 331 0 0 20 0 1 0 269771653 117600256 27672 33554432000 4194304 10169799 140735475564976 140735475559384 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 28711 27672 837 1459 0 27243 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 114844 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 898 /proc/meminfo: memFree=28081940/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=120568 CPUtime=402.21 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 55757 0 0 0 39823 398 0 0 20 0 1 0 269771653 123461632 29026 33554432000 4194304 10169799 140735475564976 140735475559576 8051985 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 30142 29026 837 1459 0 28674 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 120568 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 898 /proc/meminfo: memFree=28047036/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=122556 CPUtime=462.2 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 63234 0 0 0 45746 474 0 0 20 0 1 0 269771653 125497344 29585 33554432000 4194304 10169799 140735475564976 140735475559576 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 30639 29585 837 1459 0 29171 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 122556 [startup+522.3 s] /proc/loadavg: 2.07 2.03 2.01 3/177 898 /proc/meminfo: memFree=28041632/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=127236 CPUtime=522.19 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 64475 0 0 0 51675 544 0 0 20 0 1 0 269771653 130289664 30879 33554432000 4194304 10169799 140735475564976 140735475559432 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 31809 30879 837 1459 0 30341 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 127236 [startup+582.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 898 /proc/meminfo: memFree=28027992/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=133988 CPUtime=582.18 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 72916 0 0 0 57597 621 0 0 20 0 1 0 269771653 137203712 32496 33554432000 4194304 10169799 140735475564976 140735475559768 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 33497 32496 837 1459 0 32029 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 133988 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27897992/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=190680 CPUtime=1122.09 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 127466 0 0 0 110905 1304 0 0 20 0 1 0 269771653 195256320 46599 33554432000 4194304 10169799 140735475564976 140735475559480 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 47670 46599 837 1459 0 46202 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 190680 [startup+1182.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 926 /proc/meminfo: memFree=27881896/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=198808 CPUtime=1182.07 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 129331 0 0 0 116829 1378 0 0 20 0 1 0 269771653 203579392 48606 33554432000 4194304 10169799 140735475564976 140735475559432 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 49702 48606 837 1459 0 48234 0 Current children cumulated CPU time (s) 1182.07 Current children cumulated vsize (KiB) 198808 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 926 /proc/meminfo: memFree=27868876/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=202080 CPUtime=1242.07 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 130227 0 0 0 122752 1455 0 0 20 0 1 0 269771653 206929920 49502 33554432000 4194304 10169799 140735475564976 140735475559576 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 50520 49502 837 1459 0 49052 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 202080 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 926 /proc/meminfo: memFree=27849532/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=210472 CPUtime=1302.06 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 132144 0 0 0 128676 1530 0 0 20 0 1 0 269771653 215523328 51419 33554432000 4194304 10169799 140735475564976 140735475559384 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 52618 51419 837 1459 0 51150 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 210472 [startup+1362.3 s] /proc/loadavg: 2.08 2.02 2.01 3/178 930 /proc/meminfo: memFree=27833628/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=216008 CPUtime=1362.05 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 133418 0 0 0 134596 1609 0 0 20 0 1 0 269771653 221192192 52693 33554432000 4194304 10169799 140735475564976 140735475559384 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 54002 52693 837 1459 0 52534 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 216008 [startup+1422.31 s] /proc/loadavg: 2.03 2.01 2.00 3/177 930 /proc/meminfo: memFree=27815348/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=220760 CPUtime=1422.05 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 134780 0 0 0 140515 1690 0 0 20 0 1 0 269771653 226058240 54055 33554432000 4194304 10169799 140735475564976 140735475559480 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 55190 54055 837 1459 0 53722 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 220760 [startup+1482.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 930 /proc/meminfo: memFree=27793540/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=229068 CPUtime=1482.03 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 136796 0 0 0 146436 1767 0 0 20 0 1 0 269771653 234565632 56056 33554432000 4194304 10169799 140735475564976 140735475559480 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 57267 56056 837 1459 0 55799 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 229068 [startup+1542.3 s] /proc/loadavg: 2.04 2.02 2.00 3/177 930 /proc/meminfo: memFree=27779584/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=234832 CPUtime=1542.02 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 138196 0 0 0 152356 1846 0 0 20 0 1 0 269771653 240467968 57455 33554432000 4194304 10169799 140735475564976 140735475559384 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 58708 57455 837 1459 0 57240 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 234832 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 930 /proc/meminfo: memFree=27760640/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=243280 CPUtime=1602.01 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 140366 0 0 0 158274 1927 0 0 20 0 1 0 269771653 249118720 59759 33554432000 4194304 10169799 140735475564976 140735475559768 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 60820 59759 837 1459 0 59352 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 243280 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 931 /proc/meminfo: memFree=27743900/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=250268 CPUtime=1662 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 142169 0 0 0 164193 2007 0 0 20 0 1 0 269771653 256274432 61562 33554432000 4194304 10169799 140735475564976 140735475558984 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 62567 61562 837 1459 0 61099 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 250268 [startup+1722.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 931 /proc/meminfo: memFree=27726168/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=259784 CPUtime=1721.99 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 144562 0 0 0 170109 2090 0 0 20 0 1 0 269771653 266018816 63955 33554432000 4194304 10169799 140735475564976 140735475559480 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 64946 63955 837 1459 0 63478 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 259784 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 931 /proc/meminfo: memFree=27707072/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=269636 CPUtime=1781.98 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 146910 0 0 0 176033 2165 0 0 20 0 1 0 269771653 276107264 66293 33554432000 4194304 10169799 140735475564976 140735475559768 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 67409 66293 837 1459 0 65941 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 269636 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.01 2.01 2.00 3/177 931 /proc/meminfo: memFree=27707072/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=269636 CPUtime=1785.18 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 146920 0 0 0 176348 2170 0 0 20 0 1 0 269771653 276107264 66303 33554432000 4194304 10169799 140735475564976 140735475559576 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 67409 66303 837 1459 0 65941 0 Current children cumulated CPU time (s) 1785.18 Current children cumulated vsize (KiB) 269636 [startup+1791.91 s] /proc/loadavg: 2.01 2.01 2.00 3/175 944 /proc/meminfo: memFree=28212428/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=269636 CPUtime=1791.59 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 146938 0 0 0 176982 2177 0 0 20 0 1 0 269771653 276107264 66321 33554432000 4194304 10169799 140735475564976 140735475559384 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 67409 66321 837 1459 0 65941 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (KiB) 269636 [startup+1795.1 s] /proc/loadavg: 2.01 2.01 2.00 3/177 971 /proc/meminfo: memFree=28002692/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=269768 CPUtime=1794.79 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 146964 0 0 0 177297 2182 0 0 20 0 1 0 269771653 276242432 66347 33554432000 4194304 10169799 140735475564976 140735475559384 8629131 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 67442 66347 837 1459 0 65974 0 Current children cumulated CPU time (s) 1794.79 Current children cumulated vsize (KiB) 269768 [startup+1795.9 s] /proc/loadavg: 2.01 2.01 2.00 3/177 971 /proc/meminfo: memFree=28002692/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=269768 CPUtime=1795.57 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 146974 0 0 0 177374 2183 0 0 20 0 1 0 269771653 276242432 66357 33554432000 4194304 10169799 140735475564976 140735475563496 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 67442 66357 837 1459 0 65974 0 Current children cumulated CPU time (s) 1795.57 Current children cumulated vsize (KiB) 269768 [startup+1796.7 s] /proc/loadavg: 2.01 2.01 2.00 3/177 971 /proc/meminfo: memFree=28006472/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=269900 CPUtime=1796.38 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 146987 0 0 0 177454 2184 0 0 20 0 1 0 269771653 276377600 66370 33554432000 4194304 10169799 140735475564976 140735475559480 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 67475 66370 837 1459 0 66007 0 Current children cumulated CPU time (s) 1796.38 Current children cumulated vsize (KiB) 269900 [startup+1797.1 s] /proc/loadavg: 2.01 2.01 2.00 3/177 971 /proc/meminfo: memFree=28006472/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=269900 CPUtime=1796.78 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 146998 0 0 0 177494 2184 0 0 20 0 1 0 269771653 276377600 66381 33554432000 4194304 10169799 140735475564976 140735475559480 4926015 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 67475 66381 839 1459 0 66007 0 Current children cumulated CPU time (s) 1796.78 Current children cumulated vsize (KiB) 269900 [startup+1797.2 s] /proc/loadavg: 2.01 2.01 2.00 3/177 971 /proc/meminfo: memFree=28006472/32873844 swapFree=7100/7100 [pid=892] ppid=890 vsize=269900 CPUtime=1796.88 cores=1,3,5,7 /proc/892/stat : 892 (scip-2.1.1.4sfi) R 890 892 32069 0 -1 4202496 146998 0 0 0 177504 2184 0 0 20 0 1 0 269771653 276377600 66381 33554432000 4194304 10169799 140735475564976 140735475564056 7547404 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/892/statm: 67475 66381 839 1459 0 66007 0 Current children cumulated CPU time (s) 1796.88 Current children cumulated vsize (KiB) 269900 Child status: 0 Real time (s): 1797.25 CPU time (s): 1796.94 CPU user time (s): 1775.08 CPU system time (s): 21.8547 CPU usage (%): 99.9827 Max. virtual memory (cumulated for all children) (KiB): 269900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1775.08 system time used= 21.8547 maximum resident set size= 265524 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 147000 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= 52 involuntary context switches= 1847 runsolver used 3.34349 second user time and 8.5587 second system time The end
Begin job on node111 at 2012-05-26 14:47:27 IDJOB=3693795 IDBENCH=48209 IDSOLVER=2272 FILE ID=node111/3693795-1338036447 RUNJOBID= node111-1338029237-411 PBS_JOBID= 14624360 Free space on /tmp= 71560 MiB SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_2.opb COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693795-1338036447/watcher-3693795-1338036447 -o /tmp/evaluation-result-3693795-1338036447/solver-3693795-1338036447 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693795-1338036447.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1af848a7208b60f67c27d4022c7b5abe RANDOM SEED=915933372 node111.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 : 2666.152 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 : 5332.30 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 : 2666.152 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 : 2666.152 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.92 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 : 2666.152 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 : 2666.152 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.91 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 : 2666.152 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.91 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 : 2666.152 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.91 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 : 2666.152 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28457376 kB Buffers: 243156 kB Cached: 3357424 kB SwapCached: 0 kB Active: 888352 kB Inactive: 2756072 kB Active(anon): 46480 kB Inactive(anon): 0 kB Active(file): 841872 kB Inactive(file): 2756072 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 28160 kB Writeback: 0 kB AnonPages: 51044 kB Mapped: 17692 kB Shmem: 200 kB Slab: 635020 kB SReclaimable: 77220 kB SUnreclaim: 557800 kB KernelStack: 1448 kB PageTables: 3700 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 160460 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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= 71544 MiB End job on node111 at 2012-05-26 15:17:24