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 | -99 | 1796.93 | 1797.24 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_1.opb |
| MD5SUM | 0945390fcac05113ffd57d1199a19e21 |
| 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 | -126 |
| Best CPU time to get the best result obtained on this benchmark | 1798.01 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -126 |
| 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 | 51 |
| 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) | 31640 |
| Sum of products size (including duplicates) | 63280 |
| Number of different products | 15820 |
| Sum of products size | 31640 |
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-3693794-1338036233.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.09/0.12 o 0
0.09/0.12 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.12 c presolving:
0.29/0.31 c (round 1) 15820 del vars, 1000 del conss, 0 add conss, 15820 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63280 impls, 0 clqs
0.39/0.43 c (round 2) 15820 del vars, 1000 del conss, 0 add conss, 15820 chg bounds, 0 chg sides, 0 chg coeffs, 31640 upgd conss, 94920 impls, 0 clqs
0.39/0.46 c (0.5s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.46 c (0.5s) probing aborted: 50/50 successive totally useless probings
0.39/0.47 c presolving (3 rounds):
0.39/0.47 c 15820 deleted vars, 1000 deleted constraints, 0 added constraints, 15820 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.47 c 94920 implications, 0 cliques
0.39/0.47 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15820 constraints
0.39/0.47 c 15820 constraints of type <setppc>
0.39/0.47 c transformed objective value is always integral (scale: 1)
0.39/0.47 c Presolving Time: 0.44
0.39/0.47 c - non default parameters ----------------------------------------------------------------------
0.39/0.47 c # SCIP version 2.1.1.4
0.39/0.47 c
0.39/0.47 c # maximal time in seconds to run
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/time = 1797
0.39/0.47 c
0.39/0.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/memory = 13950
0.39/0.47 c
0.39/0.47 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.47 c # [type: int, range: [1,2], default: 1]
0.39/0.47 c timing/clocktype = 2
0.39/0.47 c
0.39/0.47 c # belongs reading time to solving time?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c timing/reading = TRUE
0.39/0.47 c
0.39/0.47 c -----------------------------------------------------------------------------------------------
0.39/0.47 c start solving
0.39/0.47 c
0.59/0.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.68 c t 0.7s| 1 | 0 | 1049 | - | 35M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | Inf
0.69/0.72 o -1
0.69/0.72 c R 0.7s| 1 | 0 | 1049 | - | 35M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | Large
0.69/0.75 o -2
0.69/0.75 c s 0.8s| 1 | 0 | 1049 | - | 35M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | Large
0.89/0.98 c 1.0s| 1 | 0 | 1225 | - | 35M| 0 | 993 |1000 | 15k|1000 | 15k| 10 | 0 | 0 |-4.965000e+02 |-2.000000e+00 | Large
0.89/0.98 o -99
0.89/0.98 c b 1.0s| 1 | 0 | 1225 | - | 35M| 0 | 993 |1000 | 15k|1000 | 15k| 10 | 0 | 0 |-4.965000e+02 |-9.900000e+01 | 401.52%
1.29/1.34 c 1.3s| 1 | 0 | 1675 | - | 35M| 0 | 987 |1000 | 15k|1000 | 15k| 21 | 0 | 0 |-4.935000e+02 |-9.900000e+01 | 398.48%
1.59/1.66 c 1.7s| 1 | 0 | 1924 | - | 35M| 0 | 982 |1000 | 15k|1000 | 15k| 30 | 0 | 0 |-4.910000e+02 |-9.900000e+01 | 395.96%
1.99/2.02 c 2.0s| 1 | 0 | 2236 | - | 35M| 0 | 977 |1000 | 15k|1000 | 15k| 37 | 0 | 0 |-4.885000e+02 |-9.900000e+01 | 393.43%
2.39/2.42 c 2.4s| 1 | 0 | 2694 | - | 35M| 0 | 964 |1000 | 15k|1000 | 15k| 52 | 0 | 0 |-4.820000e+02 |-9.900000e+01 | 386.87%
2.69/2.73 c 2.7s| 1 | 0 | 2857 | - | 35M| 0 | 956 |1000 | 15k|1000 | 15k| 63 | 0 | 0 |-4.780000e+02 |-9.900000e+01 | 382.83%
3.09/3.11 c 3.1s| 1 | 0 | 3058 | - | 36M| 0 | 952 |1000 | 15k|1000 | 15k| 79 | 0 | 0 |-4.760000e+02 |-9.900000e+01 | 380.81%
3.59/3.63 c 3.6s| 1 | 0 | 3511 | - | 38M| 0 | 948 |1000 | 15k|1000 | 15k| 93 | 0 | 0 |-4.730000e+02 |-9.900000e+01 | 377.78%
4.19/4.22 c 4.2s| 1 | 0 | 4323 | - | 38M| 0 | 946 |1000 | 15k|1000 | 15k| 105 | 0 | 0 |-4.705000e+02 |-9.900000e+01 | 375.25%
4.79/4.85 c 4.8s| 1 | 0 | 5168 | - | 38M| 0 | 943 |1000 | 15k|1000 | 15k| 115 | 0 | 0 |-4.685000e+02 |-9.900000e+01 | 373.23%
5.29/5.35 c 5.4s| 1 | 0 | 5837 | - | 38M| 0 | 936 |1000 | 15k|1000 |1841 | 125 | 0 | 0 |-4.672500e+02 |-9.900000e+01 | 371.97%
5.50/5.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.50/5.55 c 5.6s| 1 | 0 | 6626 | - | 38M| 0 | 928 |1000 | 15k|1000 |1852 | 136 | 0 | 0 |-4.645000e+02 |-9.900000e+01 | 369.19%
5.79/5.80 c 5.8s| 1 | 0 | 7622 | - | 38M| 0 | 927 |1000 | 15k|1000 |1885 | 169 | 0 | 0 |-4.635000e+02 |-9.900000e+01 | 368.18%
5.99/6.06 c 6.1s| 1 | 0 | 8682 | - | 39M| 0 | 906 |1000 | 15k|1000 |2065 | 349 | 0 | 0 |-4.620000e+02 |-9.900000e+01 | 366.67%
6.29/6.36 c 6.4s| 1 | 0 | 9824 | - | 39M| 0 | 906 |1000 | 15k|1000 |2317 | 601 | 0 | 0 |-4.600000e+02 |-9.900000e+01 | 364.65%
6.50/6.57 c 6.6s| 1 | 0 | 10348 | - | 39M| 0 | 913 |1000 | 15k|1000 |2509 | 793 | 0 | 0 |-4.593333e+02 |-9.900000e+01 | 363.97%
6.79/6.80 c 6.8s| 1 | 0 | 10982 | - | 39M| 0 | 913 |1000 | 15k|1000 |1952 | 874 | 0 | 0 |-4.585000e+02 |-9.900000e+01 | 363.13%
6.99/7.03 c 7.0s| 1 | 0 | 12000 | - | 39M| 0 | 912 |1000 | 15k|1000 |1997 | 919 | 0 | 0 |-4.571667e+02 |-9.900000e+01 | 361.78%
7.19/7.25 c 7.3s| 1 | 0 | 12591 | - | 40M| 0 | 908 |1000 | 15k|1000 |2513 |1435 | 0 | 0 |-4.560000e+02 |-9.900000e+01 | 360.61%
7.38/7.47 c 7.5s| 1 | 0 | 13539 | - | 40M| 0 | 902 |1000 | 15k|1000 |2571 |1493 | 0 | 0 |-4.540000e+02 |-9.900000e+01 | 358.59%
7.60/7.62 c 7.6s| 1 | 0 | 13990 | - | 40M| 0 | 898 |1000 | 15k|1000 |2689 |1611 | 0 | 0 |-4.530000e+02 |-9.900000e+01 | 357.58%
7.70/7.76 c 7.8s| 1 | 0 | 14352 | - | 40M| 0 | 911 |1000 | 15k|1000 |2801 |1723 | 0 | 0 |-4.520000e+02 |-9.900000e+01 | 356.57%
7.79/7.88 c 7.9s| 1 | 0 | 14521 | - | 40M| 0 | 894 |1000 | 15k|1000 |2590 |1802 | 0 | 0 |-4.520000e+02 |-9.900000e+01 | 356.57%
7.99/8.00 c 8.0s| 1 | 0 | 14730 | - | 40M| 0 | 894 |1000 | 15k|1000 |2728 |1940 | 0 | 0 |-4.510000e+02 |-9.900000e+01 | 355.56%
8.09/8.15 c 8.2s| 1 | 0 | 15154 | - | 40M| 0 | 880 |1000 | 15k|1000 |2813 |2025 | 0 | 0 |-4.510000e+02 |-9.900000e+01 | 355.56%
8.49/8.59 c 8.6s| 1 | 0 | 17345 | - | 40M| 0 | 935 |1000 | 15k|1000 |3091 |2303 | 0 | 0 |-4.500000e+02 |-9.900000e+01 | 354.55%
8.99/9.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.99/9.09 c 9.1s| 1 | 0 | 19307 | - | 41M| 0 | 911 |1000 | 15k|1000 |4193 |3405 | 0 | 0 |-4.478750e+02 |-9.900000e+01 | 352.40%
9.19/9.25 c 9.3s| 1 | 0 | 19697 | - | 41M| 0 | 892 |1000 | 15k|1000 |4275 |3487 | 0 | 0 |-4.470000e+02 |-9.900000e+01 | 351.52%
9.39/9.46 c 9.5s| 1 | 0 | 20339 | - | 41M| 0 | 891 |1000 | 15k|1000 |3069 |3512 | 0 | 0 |-4.455000e+02 |-9.900000e+01 | 350.00%
9.49/9.56 c 9.6s| 1 | 0 | 20513 | - | 41M| 0 | 889 |1000 | 15k|1000 |3075 |3518 | 0 | 0 |-4.445000e+02 |-9.900000e+01 | 348.99%
9.69/9.71 c 9.7s| 1 | 0 | 20956 | - | 41M| 0 | 886 |1000 | 15k|1000 |3081 |3524 | 0 | 0 |-4.435000e+02 |-9.900000e+01 | 347.98%
9.80/9.86 c 9.9s| 1 | 0 | 21344 | - | 41M| 0 | 880 |1000 | 15k|1000 |3293 |3736 | 0 | 0 |-4.430000e+02 |-9.900000e+01 | 347.47%
9.99/10.08 c 10.1s| 1 | 0 | 22481 | - | 41M| 0 | 893 |1000 | 15k|1000 |3358 |3801 | 0 | 0 |-4.415000e+02 |-9.900000e+01 | 345.96%
10.19/10.22 c 10.2s| 1 | 0 | 22690 | - | 41M| 0 | 880 |1000 | 15k|1000 |3801 |4244 | 0 | 0 |-4.410000e+02 |-9.900000e+01 | 345.45%
10.29/10.35 c 10.4s| 1 | 0 | 22942 | - | 41M| 0 | 879 |1000 | 15k|1000 |3206 |4269 | 0 | 0 |-4.405000e+02 |-9.900000e+01 | 344.95%
10.49/10.51 c 10.5s| 1 | 0 | 23520 | - | 41M| 0 | 876 |1000 | 15k|1000 |3235 |4298 | 0 | 0 |-4.392500e+02 |-9.900000e+01 | 343.69%
10.59/10.68 c 10.7s| 1 | 0 | 24105 | - | 41M| 0 | 864 |1000 | 15k|1000 |3313 |4376 | 0 | 0 |-4.380000e+02 |-9.900000e+01 | 342.42%
10.69/10.79 c 10.8s| 1 | 0 | 24250 | - | 41M| 0 | 871 |1000 | 15k|1000 |3488 |4551 | 0 | 0 |-4.375000e+02 |-9.900000e+01 | 341.92%
10.89/10.92 c 10.9s| 1 | 0 | 24588 | - | 41M| 0 | 874 |1000 | 15k|1000 |3530 |4593 | 0 | 0 |-4.370000e+02 |-9.900000e+01 | 341.41%
10.99/11.03 c 11.0s| 1 | 0 | 24799 | - | 41M| 0 | 873 |1000 | 15k|1000 |3538 |4601 | 0 | 0 |-4.365000e+02 |-9.900000e+01 | 340.91%
11.19/11.24 c 11.2s| 1 | 0 | 25709 | - | 41M| 0 | 871 |1000 | 15k|1000 |2164 |4607 | 0 | 0 |-4.355000e+02 |-9.900000e+01 | 339.90%
11.39/11.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.39/11.41 c 11.4s| 1 | 0 | 26762 | - | 41M| 0 | 919 |1000 | 15k|1000 |2169 |4612 | 0 | 0 |-4.351163e+02 |-9.900000e+01 | 339.51%
11.79/11.80 c 11.8s| 1 | 0 | 27018 | - | 41M| 0 | 869 |1000 | 15k|1000 |4169 |6612 | 0 | 0 |-4.345000e+02 |-9.900000e+01 | 338.89%
11.79/11.89 c 11.9s| 1 | 0 | 27101 | - | 41M| 0 | 868 |1000 | 15k|1000 |4175 |6618 | 0 | 0 |-4.340000e+02 |-9.900000e+01 | 338.38%
11.89/11.98 c 12.0s| 1 | 0 | 27222 | - | 41M| 0 | 866 |1000 | 15k|1000 |4181 |6624 | 0 | 0 |-4.330000e+02 |-9.900000e+01 | 337.37%
12.00/12.07 c 12.1s| 1 | 0 | 27304 | - | 41M| 0 | 865 |1000 | 15k|1000 |4186 |6629 | 0 | 0 |-4.325000e+02 |-9.900000e+01 | 336.87%
12.10/12.18 c 12.2s| 1 | 0 | 27474 | - | 41M| 0 | 864 |1000 | 15k|1000 |3221 |6633 | 0 | 0 |-4.320000e+02 |-9.900000e+01 | 336.36%
12.19/12.29 c 12.3s| 1 | 0 | 27691 | - | 41M| 0 | 856 |1000 | 15k|1000 |3226 |6638 | 0 | 0 |-4.310000e+02 |-9.900000e+01 | 335.35%
12.39/12.40 c 12.4s| 1 | 0 | 27946 | - | 41M| 0 | 856 |1000 | 15k|1000 |3304 |6716 | 0 | 0 |-4.300000e+02 |-9.900000e+01 | 334.34%
12.39/12.49 c 12.5s| 1 | 0 | 28049 | - | 42M| 0 | 857 |1000 | 15k|1000 |3361 |6773 | 0 | 0 |-4.295000e+02 |-9.900000e+01 | 333.84%
12.59/12.60 c 12.6s| 1 | 0 | 28241 | - | 42M| 0 | 857 |1000 | 15k|1000 |3393 |6805 | 0 | 0 |-4.285000e+02 |-9.900000e+01 | 332.83%
12.59/12.68 c 12.7s| 1 | 0 | 28310 | - | 42M| 0 | 861 |1000 | 15k|1000 |3397 |6809 | 0 | 0 |-4.280000e+02 |-9.900000e+01 | 332.32%
12.89/12.92 c 12.9s| 1 | 0 | 29543 | - | 42M| 0 | 854 |1000 | 15k|1000 |3128 |6814 | 0 | 0 |-4.270000e+02 |-9.900000e+01 | 331.31%
12.99/13.01 c 13.0s| 1 | 0 | 29624 | - | 42M| 0 | 854 |1000 | 15k|1000 |3134 |6820 | 0 | 0 |-4.270000e+02 |-9.900000e+01 | 331.31%
13.09/13.12 c 13.1s| 1 | 0 | 29851 | - | 42M| 0 | 837 |1000 | 15k|1000 |3139 |6825 | 0 | 0 |-4.265000e+02 |-9.900000e+01 | 330.81%
13.29/13.31 c 13.3s| 1 | 0 | 30716 | - | 42M| 0 | 842 |1000 | 15k|1000 |3322 |7008 | 0 | 0 |-4.250000e+02 |-9.900000e+01 | 329.29%
13.39/13.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.39/13.40 c 13.4s| 1 | 0 | 30854 | - | 42M| 0 | 842 |1000 | 15k|1000 |3429 |7115 | 0 | 0 |-4.250000e+02 |-9.900000e+01 | 329.29%
13.49/13.52 c 13.5s| 1 | 0 | 31134 | - | 42M| 0 | 848 |1000 | 15k|1000 |3528 |7214 | 0 | 0 |-4.247500e+02 |-9.900000e+01 | 329.04%
13.68/13.71 c 13.7s| 1 | 0 | 31830 | - | 42M| 0 | 853 |1000 | 15k|1000 |3438 |7301 | 0 | 0 |-4.235000e+02 |-9.900000e+01 | 327.78%
13.78/13.80 c 13.8s| 1 | 0 | 31933 | - | 42M| 0 | 847 |1000 | 15k|1000 |3571 |7434 | 0 | 0 |-4.235000e+02 |-9.900000e+01 | 327.78%
13.98/14.00 c 14.0s| 1 | 0 | 32995 | - | 42M| 0 | 849 |1000 | 15k|1000 |3577 |7440 | 0 | 0 |-4.225000e+02 |-9.900000e+01 | 326.77%
14.08/14.14 c 14.1s| 1 | 0 | 33345 | - | 42M| 0 | 843 |1000 | 15k|1000 |3662 |7525 | 0 | 0 |-4.215000e+02 |-9.900000e+01 | 325.76%
14.20/14.27 c 14.3s| 1 | 0 | 33644 | - | 42M| 0 | 840 |1000 | 15k|1000 |3667 |7530 | 0 | 0 |-4.210000e+02 |-9.900000e+01 | 325.25%
14.30/14.38 c 14.4s| 1 | 0 | 33805 | - | 42M| 0 | 839 |1000 | 15k|1000 |3694 |7557 | 0 | 0 |-4.205000e+02 |-9.900000e+01 | 324.75%
14.49/14.50 c 14.5s| 1 | 0 | 34063 | - | 42M| 0 | 838 |1000 | 15k|1000 |3515 |7594 | 0 | 0 |-4.200000e+02 |-9.900000e+01 | 324.24%
14.59/14.63 c 14.6s| 1 | 0 | 34491 | - | 42M| 0 | 839 |1000 | 15k|1000 |3543 |7622 | 0 | 0 |-4.195000e+02 |-9.900000e+01 | 323.74%
14.69/14.74 c 14.7s| 1 | 0 | 34656 | - | 42M| 0 | 837 |1000 | 15k|1000 |3548 |7627 | 0 | 0 |-4.195000e+02 |-9.900000e+01 | 323.74%
14.99/15.05 c 15.0s| 1 | 0 | 36543 | - | 42M| 0 | 844 |1000 | 15k|1000 |3570 |7649 | 0 | 0 |-4.181667e+02 |-9.900000e+01 | 322.39%
15.30/15.30 c 15.3s| 1 | 0 | 37694 | - | 42M| 0 | 851 |1000 | 15k|1000 |3739 |7818 | 0 | 0 |-4.172500e+02 |-9.900000e+01 | 321.46%
15.40/15.45 c 15.4s| 1 | 0 | 38119 | - | 42M| 0 | 833 |1000 | 15k|1000 |4014 |8093 | 0 | 0 |-4.160000e+02 |-9.900000e+01 | 320.20%
15.59/15.64 c 15.6s| 1 | 0 | 38909 | - | 42M| 0 | 833 |1000 | 15k|1000 |3647 |8138 | 0 | 0 |-4.150000e+02 |-9.900000e+01 | 319.19%
15.69/15.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.69/15.74 c 15.7s| 1 | 0 | 39117 | - | 42M| 0 | 844 |1000 | 15k|1000 |3673 |8164 | 0 | 0 |-4.145000e+02 |-9.900000e+01 | 318.69%
15.79/15.84 c 15.8s| 1 | 0 | 39291 | - | 42M| 0 | 846 |1000 | 15k|1000 |3680 |8171 | 0 | 0 |-4.140000e+02 |-9.900000e+01 | 318.18%
15.89/15.98 c 16.0s| 1 | 0 | 39808 | - | 42M| 0 | 835 |1000 | 15k|1000 |3730 |8221 | 0 | 0 |-4.130000e+02 |-9.900000e+01 | 317.17%
16.09/16.15 c 16.2s| 1 | 0 | 40411 | - | 42M| 0 | 841 |1000 | 15k|1000 |3735 |8226 | 0 | 0 |-4.122500e+02 |-9.900000e+01 | 316.41%
16.29/16.34 c 16.3s| 1 | 0 | 41265 | - | 42M| 0 | 826 |1000 | 15k|1000 |3812 |8303 | 0 | 0 |-4.110000e+02 |-9.900000e+01 | 315.15%
16.49/16.52 c 16.5s| 1 | 0 | 41839 | - | 42M| 0 | 837 |1000 | 15k|1000 |3827 |8440 | 0 | 0 |-4.107500e+02 |-9.900000e+01 | 314.90%
16.58/16.66 c 16.7s| 1 | 0 | 42355 | - | 42M| 0 | 820 |1000 | 15k|1000 |3885 |8498 | 0 | 0 |-4.102500e+02 |-9.900000e+01 | 314.39%
16.69/16.76 c 16.8s| 1 | 0 | 42460 | - | 42M| 0 | 823 |1000 | 15k|1000 |3953 |8566 | 0 | 0 |-4.102500e+02 |-9.900000e+01 | 314.39%
16.89/16.97 c 17.0s| 1 | 0 | 43425 | - | 42M| 0 | 827 |1000 | 15k|1000 |3999 |8612 | 0 | 0 |-4.095000e+02 |-9.900000e+01 | 313.64%
17.19/17.25 c 17.2s| 1 | 0 | 44666 | - | 42M| 0 | 827 |1000 | 15k|1000 |4055 |8668 | 0 | 0 |-4.085000e+02 |-9.900000e+01 | 312.63%
17.39/17.44 c 17.4s| 1 | 0 | 45477 | - | 42M| 0 | 821 |1000 | 15k|1000 |4087 |8700 | 0 | 0 |-4.080000e+02 |-9.900000e+01 | 312.12%
17.60/17.61 c 17.6s| 1 | 0 | 46036 | - | 42M| 0 | 818 |1000 | 15k|1000 |3844 |8767 | 0 | 0 |-4.075000e+02 |-9.900000e+01 | 311.62%
17.89/17.92 c 17.9s| 1 | 0 | 47986 | - | 42M| 0 | 826 |1000 | 15k|1000 |3967 |8890 | 0 | 0 |-4.067500e+02 |-9.900000e+01 | 310.86%
18.08/18.17 c 18.2s| 1 | 0 | 49061 | - | 42M| 0 | 833 |1000 | 15k|1000 |4034 |8957 | 0 | 0 |-4.062500e+02 |-9.900000e+01 | 310.35%
18.49/18.50 c 18.5s| 1 | 0 | 50639 | - | 43M| 0 | 918 |1000 | 15k|1000 |4081 |9004 | 0 | 0 |-4.054583e+02 |-9.900000e+01 | 309.55%
18.99/19.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.99/19.00 c 19.0s| 1 | 0 | 50947 | - | 43M| 0 | 820 |1000 | 15k|1000 |6081 | 11k| 0 | 0 |-4.052500e+02 |-9.900000e+01 | 309.34%
19.09/19.16 c 19.2s| 1 | 0 | 51315 | - | 43M| 0 | 836 |1000 | 15k|1000 |6085 | 11k| 0 | 0 |-4.051250e+02 |-9.900000e+01 | 309.22%
19.19/19.25 c 19.2s| 1 | 0 | 51339 | - | 43M| 0 | 838 |1000 | 15k|1000 |5856 | 11k| 0 | 0 |-4.051250e+02 |-9.900000e+01 | 309.22%
19.29/19.39 c 19.4s| 1 | 0 | 51670 | - | 43M| 0 | 828 |1000 | 15k|1000 |5864 | 11k| 0 | 0 |-4.041250e+02 |-9.900000e+01 | 308.21%
19.39/19.49 c 19.5s| 1 | 0 | 51795 | - | 43M| 0 | 832 |1000 | 15k|1000 |5868 | 11k| 0 | 0 |-4.036250e+02 |-9.900000e+01 | 307.70%
19.59/19.66 c 19.7s| 1 | 0 | 52194 | - | 43M| 0 | 837 |1000 | 15k|1000 |5875 | 11k| 0 | 0 |-4.028056e+02 |-9.900000e+01 | 306.87%
19.69/19.75 c 19.8s| 1 | 0 | 52289 | - | 43M| 0 | 839 |1000 | 15k|1000 |5880 | 11k| 0 | 0 |-4.022222e+02 |-9.900000e+01 | 306.29%
19.89/19.90 c 19.9s| 1 | 0 | 52585 | - | 43M| 0 | 846 |1000 | 15k|1000 |5886 | 11k| 0 | 0 |-4.012222e+02 |-9.900000e+01 | 305.27%
20.09/20.13 c 20.1s| 1 | 0 | 53287 | - | 43M| 0 | 856 |1000 | 15k|1000 |5613 | 11k| 0 | 0 |-4.001154e+02 |-9.900000e+01 | 304.16%
20.38/20.41 c 20.4s| 1 | 0 | 54189 | - | 43M| 0 | 836 |1000 | 15k|1000 |5622 | 11k| 0 | 0 |-3.996250e+02 |-9.900000e+01 | 303.66%
20.58/20.62 c 20.6s| 1 | 0 | 54753 | - | 43M| 0 | 852 |1000 | 15k|1000 |5631 | 11k| 0 | 0 |-3.986667e+02 |-9.900000e+01 | 302.69%
20.90/20.94 c 20.9s| 1 | 0 | 55750 | - | 43M| 0 | 830 |1000 | 15k|1000 |5642 | 11k| 0 | 0 |-3.977500e+02 |-9.900000e+01 | 301.77%
21.09/21.18 c 21.2s| 1 | 0 | 56442 | - | 43M| 0 | 795 |1000 | 15k|1000 |5670 | 11k| 0 | 0 |-3.975000e+02 |-9.900000e+01 | 301.52%
21.29/21.36 c 21.4s| 1 | 0 | 56930 | - | 43M| 0 | 791 |1000 | 15k|1000 |5678 | 11k| 0 | 0 |-3.965000e+02 |-9.900000e+01 | 300.51%
21.68/21.70 c 21.7s| 1 | 0 | 58320 | - | 43M| 0 | 850 |1000 | 15k|1000 |4450 | 11k| 0 | 0 |-3.948125e+02 |-9.900000e+01 | 298.80%
21.90/21.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.90/21.96 c 22.0s| 1 | 0 | 59256 | - | 43M| 0 | 841 |1000 | 15k|1000 |4491 | 11k| 0 | 0 |-3.930000e+02 |-9.900000e+01 | 296.97%
21.99/22.08 c 22.1s| 1 | 0 | 59483 | - | 43M| 0 | 842 |1000 | 15k|1000 |4546 | 11k| 0 | 0 |-3.925000e+02 |-9.900000e+01 | 296.46%
22.29/22.34 c 22.3s| 1 | 0 | 60387 | - | 43M| 0 | 784 |1000 | 15k|1000 |4554 | 11k| 0 | 0 |-3.920000e+02 |-9.900000e+01 | 295.96%
22.39/22.48 c 22.5s| 1 | 0 | 60761 | - | 43M| 0 | 782 |1000 | 15k|1000 |4560 | 11k| 0 | 0 |-3.910000e+02 |-9.900000e+01 | 294.95%
22.99/23.03 c 23.0s| 1 | 0 | 63165 | - | 43M| 0 | 818 |1000 | 15k|1000 |4564 | 11k| 0 | 0 |-3.900000e+02 |-9.900000e+01 | 293.94%
23.28/23.33 c 23.3s| 1 | 0 | 64288 | - | 43M| 0 | 777 |1000 | 15k|1000 |4461 | 11k| 0 | 0 |-3.885000e+02 |-9.900000e+01 | 292.42%
23.48/23.59 c 23.6s| 1 | 0 | 65242 | - | 43M| 0 | 805 |1000 | 15k|1000 |4471 | 11k| 0 | 0 |-3.882500e+02 |-9.900000e+01 | 292.17%
23.68/23.75 c 23.8s| 1 | 0 | 65667 | - | 41M| 0 | 821 |1000 | 15k|1000 |4497 | 11k| 0 | 0 |-3.880000e+02 |-9.900000e+01 | 291.92%
23.88/23.93 c 23.9s| 1 | 0 | 66172 | - | 41M| 0 | 813 |1000 | 15k|1000 |4506 | 11k| 0 | 0 |-3.873333e+02 |-9.900000e+01 | 291.25%
23.98/24.06 c 24.1s| 1 | 0 | 66464 | - | 41M| 0 | 820 |1000 | 15k|1000 |4535 | 11k| 0 | 0 |-3.872000e+02 |-9.900000e+01 | 291.11%
24.20/24.27 c 24.3s| 1 | 0 | 67155 | - | 41M| 0 | 820 |1000 | 15k|1000 |4543 | 11k| 0 | 0 |-3.867500e+02 |-9.900000e+01 | 290.66%
24.69/24.70 c 24.7s| 1 | 0 | 68816 | - | 41M| 0 | 888 |1000 | 15k|1000 |4457 | 11k| 0 | 0 |-3.857581e+02 |-9.900000e+01 | 289.65%
25.09/25.11 c 25.1s| 1 | 0 | 70393 | - | 41M| 0 | 824 |1000 | 15k|1000 |4535 | 11k| 0 | 0 |-3.845000e+02 |-9.900000e+01 | 288.38%
25.39/25.44 c 25.4s| 1 | 0 | 71747 | - | 41M| 0 | 847 |1000 | 15k|1000 |4565 | 11k| 0 | 0 |-3.836000e+02 |-9.900000e+01 | 287.47%
25.59/25.69 c 25.7s| 1 | 0 | 72586 | - | 41M| 0 | 876 |1000 | 15k|1000 |4682 | 11k| 0 | 0 |-3.835138e+02 |-9.900000e+01 | 287.39%
26.08/26.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.08/26.11 c 26.1s| 1 | 0 | 74274 | - | 40M| 0 | 889 |1000 | 15k|1000 |4706 | 11k| 0 | 0 |-3.822769e+02 |-9.900000e+01 | 286.14%
26.18/26.27 c 26.3s| 1 | 0 | 74594 | - | 40M| 0 | 901 |1000 | 15k|1000 |4752 | 11k| 0 | 0 |-3.817641e+02 |-9.900000e+01 | 285.62%
26.48/26.52 c 26.5s| 1 | 0 | 75398 | - | 40M| 0 | 876 |1000 | 15k|1000 |4736 | 11k| 0 | 0 |-3.802661e+02 |-9.900000e+01 | 284.11%
26.58/26.64 c 26.6s| 1 | 0 | 75552 | - | 40M| 0 | 882 |1000 | 15k|1000 |4802 | 11k| 0 | 0 |-3.802635e+02 |-9.900000e+01 | 284.10%
26.99/27.07 c 27.1s| 1 | 0 | 77173 | - | 40M| 0 | 878 |1000 | 15k|1000 |4842 | 11k| 0 | 0 |-3.797423e+02 |-9.900000e+01 | 283.58%
27.29/27.32 c 27.3s| 1 | 0 | 77946 | - | 40M| 0 | 891 |1000 | 15k|1000 |4881 | 12k| 0 | 0 |-3.792500e+02 |-9.900000e+01 | 283.08%
27.79/27.89 c 27.9s| 1 | 0 | 80156 | - | 40M| 0 | 890 |1000 | 15k|1000 |4924 | 12k| 0 | 0 |-3.781947e+02 |-9.900000e+01 | 282.01%
28.38/28.43 c 28.4s| 1 | 0 | 82150 | - | 40M| 0 | 901 |1000 | 15k|1000 |4997 | 12k| 0 | 0 |-3.770761e+02 |-9.900000e+01 | 280.88%
28.88/28.94 c 28.9s| 1 | 0 | 84081 | - | 40M| 0 | 915 |1000 | 15k|1000 |4942 | 12k| 0 | 0 |-3.764151e+02 |-9.900000e+01 | 280.22%
29.60/29.66 c 29.7s| 1 | 0 | 86854 | - | 40M| 0 | 923 |1000 | 15k|1000 |5019 | 12k| 0 | 0 |-3.752791e+02 |-9.900000e+01 | 279.07%
30.39/30.40 c 30.4s| 1 | 0 | 89659 | - | 40M| 0 | 930 |1000 | 15k|1000 |5165 | 12k| 0 | 0 |-3.744948e+02 |-9.900000e+01 | 278.28%
31.19/31.29 c 31.3s| 1 | 0 | 92882 | - | 40M| 0 | 924 |1000 | 15k|1000 |5270 | 12k| 0 | 0 |-3.733842e+02 |-9.900000e+01 | 277.16%
31.68/31.70 c 31.7s| 1 | 0 | 94222 | - | 40M| 0 | 926 |1000 | 15k|1000 |5288 | 12k| 0 | 0 |-3.730214e+02 |-9.900000e+01 | 276.79%
32.08/32.18 c 32.2s| 1 | 0 | 95726 | - | 40M| 0 | 903 |1000 | 15k|1000 |5294 | 12k| 0 | 0 |-3.728000e+02 |-9.900000e+01 | 276.57%
32.79/32.83 c 32.8s| 1 | 0 | 98041 | - | 40M| 0 | 935 |1000 | 15k|1000 |5068 | 12k| 0 | 0 |-3.718330e+02 |-9.900000e+01 | 275.59%
33.88/33.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.88/33.99 c 34.0s| 1 | 0 |102329 | - | 40M| 0 | 960 |1000 | 15k|1000 |5130 | 12k| 0 | 0 |-3.703782e+02 |-9.900000e+01 | 274.12%
34.89/34.95 c 35.0s| 1 | 0 |105961 | - | 40M| 0 | 937 |1000 | 15k|1000 |5429 | 12k| 0 | 0 |-3.693481e+02 |-9.900000e+01 | 273.08%
35.68/35.71 c 35.7s| 1 | 0 |108972 | - | 40M| 0 | 939 |1000 | 15k|1000 |5463 | 12k| 0 | 0 |-3.686731e+02 |-9.900000e+01 | 272.40%
36.29/36.34 c 36.3s| 1 | 0 |111080 | - | 40M| 0 | 939 |1000 | 15k|1000 |5491 | 13k| 0 | 0 |-3.675387e+02 |-9.900000e+01 | 271.25%
36.88/36.95 c 37.0s| 1 | 0 |113208 | - | 40M| 0 | 940 |1000 | 15k|1000 |5514 | 13k| 0 | 0 |-3.667230e+02 |-9.900000e+01 | 270.43%
37.30/37.38 c 37.4s| 1 | 0 |114527 | - | 40M| 0 | 948 |1000 | 15k|1000 |5263 | 13k| 0 | 0 |-3.662251e+02 |-9.900000e+01 | 269.92%
37.89/37.92 c 37.9s| 1 | 0 |116314 | - | 40M| 0 | 951 |1000 | 15k|1000 |5342 | 13k| 0 | 0 |-3.656352e+02 |-9.900000e+01 | 269.33%
38.99/39.08 c 39.1s| 1 | 0 |120754 | - | 40M| 0 | 957 |1000 | 15k|1000 |5431 | 13k| 0 | 0 |-3.637020e+02 |-9.900000e+01 | 267.38%
39.69/39.71 c 39.7s| 1 | 0 |122766 | - | 40M| 0 | 956 |1000 | 15k|1000 |5476 | 13k| 0 | 0 |-3.628458e+02 |-9.900000e+01 | 266.51%
40.18/40.26 c 40.3s| 1 | 0 |124767 | - | 40M| 0 | 962 |1000 | 15k|1000 |5537 | 13k| 0 | 0 |-3.621729e+02 |-9.900000e+01 | 265.83%
41.08/41.13 c 41.1s| 1 | 0 |127667 | - | 40M| 0 | 961 |1000 | 15k|1000 |5602 | 13k| 0 | 0 |-3.608486e+02 |-9.900000e+01 | 264.49%
41.79/41.85 c 41.8s| 1 | 0 |129855 | - | 40M| 0 | 966 |1000 | 15k|1000 |5521 | 13k| 0 | 0 |-3.596395e+02 |-9.900000e+01 | 263.27%
42.49/42.55 c 42.5s| 1 | 0 |132127 | - | 40M| 0 | 955 |1000 | 15k|1000 |5593 | 13k| 0 | 0 |-3.587561e+02 |-9.900000e+01 | 262.38%
43.19/43.23 c 43.2s| 1 | 0 |134236 | - | 40M| 0 | 964 |1000 | 15k|1000 |5648 | 13k| 0 | 0 |-3.580752e+02 |-9.900000e+01 | 261.69%
43.58/43.67 c 43.7s| 1 | 0 |135597 | - | 40M| 0 | 969 |1000 | 15k|1000 |5690 | 13k| 0 | 0 |-3.573202e+02 |-9.900000e+01 | 260.93%
44.49/44.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.49/44.52 c 44.5s| 1 | 0 |138193 | - | 40M| 0 | 963 |1000 | 15k|1000 |5771 | 13k| 0 | 0 |-3.563167e+02 |-9.900000e+01 | 259.92%
45.09/45.18 c 45.2s| 1 | 0 |140177 | - | 40M| 0 | 972 |1000 | 15k|1000 |5806 | 13k| 0 | 0 |-3.556071e+02 |-9.900000e+01 | 259.20%
45.69/45.79 c 45.8s| 1 | 0 |141934 | - | 40M| 0 | 983 |1000 | 15k|1000 |5650 | 13k| 0 | 0 |-3.549366e+02 |-9.900000e+01 | 258.52%
46.38/46.43 c 46.4s| 1 | 0 |143999 | - | 40M| 0 | 980 |1000 | 15k|1000 |5732 | 13k| 0 | 0 |-3.540805e+02 |-9.900000e+01 | 257.66%
47.08/47.18 c 47.2s| 1 | 0 |146221 | - | 40M| 0 | 975 |1000 | 15k|1000 |5795 | 13k| 0 | 0 |-3.532344e+02 |-9.900000e+01 | 256.80%
47.79/47.84 c 47.8s| 1 | 0 |148210 | - | 40M| 0 | 976 |1000 | 15k|1000 |5833 | 13k| 0 | 0 |-3.527620e+02 |-9.900000e+01 | 256.33%
48.68/48.75 c 48.7s| 1 | 0 |151253 | - | 40M| 0 | 981 |1000 | 15k|1000 |5859 | 14k| 0 | 0 |-3.519894e+02 |-9.900000e+01 | 255.54%
49.18/49.29 c 49.3s| 1 | 0 |152768 | - | 40M| 0 | 978 |1000 | 15k|1000 |5883 | 14k| 0 | 0 |-3.516708e+02 |-9.900000e+01 | 255.22%
49.88/49.99 c 50.0s| 1 | 0 |154780 | - | 40M| 0 | 984 |1000 | 15k|1000 |5714 | 14k| 0 | 0 |-3.512685e+02 |-9.900000e+01 | 254.82%
50.78/50.80 c 50.8s| 1 | 0 |157543 | - | 40M| 0 | 976 |1000 | 15k|1000 |5746 | 14k| 0 | 0 |-3.508333e+02 |-9.900000e+01 | 254.38%
51.48/51.54 c 51.5s| 1 | 0 |159839 | - | 40M| 0 | 977 |1000 | 15k|1000 |5798 | 14k| 0 | 0 |-3.502625e+02 |-9.900000e+01 | 253.80%
52.58/52.65 c 52.6s| 1 | 0 |163571 | - | 40M| 0 | 982 |1000 | 15k|1000 |5833 | 14k| 0 | 0 |-3.493237e+02 |-9.900000e+01 | 252.85%
53.39/53.48 c 53.5s| 1 | 0 |166088 | - | 40M| 0 | 980 |1000 | 15k|1000 |5895 | 14k| 0 | 0 |-3.486021e+02 |-9.900000e+01 | 252.12%
54.08/54.17 c 54.2s| 1 | 0 |168039 | - | 40M| 0 | 981 |1000 | 15k|1000 |5933 | 14k| 0 | 0 |-3.482805e+02 |-9.900000e+01 | 251.80%
54.78/54.87 c 54.9s| 1 | 0 |170239 | - | 40M| 0 | 983 |1000 | 15k|1000 |5848 | 14k| 0 | 0 |-3.476827e+02 |-9.900000e+01 | 251.19%
56.68/56.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.68/56.73 c 56.7s| 1 | 0 |176248 | - | 40M| 0 | 988 |1000 | 15k|1000 |5915 | 14k| 0 | 0 |-3.463457e+02 |-9.900000e+01 | 249.84%
57.38/57.40 c 57.4s| 1 | 0 |178104 | - | 40M| 0 | 990 |1000 | 15k|1000 |5987 | 14k| 0 | 0 |-3.456838e+02 |-9.900000e+01 | 249.18%
57.88/57.95 c 58.0s| 1 | 0 |179597 | - | 40M| 0 | 992 |1000 | 15k|1000 |6016 | 14k| 0 | 0 |-3.454544e+02 |-9.900000e+01 | 248.94%
58.68/58.72 c 58.7s| 1 | 0 |181963 | - | 40M| 0 | 989 |1000 | 15k|1000 |6038 | 14k| 0 | 0 |-3.445590e+02 |-9.900000e+01 | 248.04%
59.48/59.53 c 59.5s| 1 | 0 |184474 | - | 40M| 0 | 990 |1000 | 15k|1000 |6059 | 14k| 0 | 0 |-3.439994e+02 |-9.900000e+01 | 247.47%
60.49/60.52 c 60.5s| 1 | 0 |187761 | - | 40M| 0 | 990 |1000 | 15k|1000 |6008 | 14k| 0 | 0 |-3.434021e+02 |-9.900000e+01 | 246.87%
61.08/61.17 c 61.2s| 1 | 0 |189704 | - | 40M| 0 | 988 |1000 | 15k|1000 |6064 | 14k| 0 | 0 |-3.430643e+02 |-9.900000e+01 | 246.53%
61.98/62.05 c 62.1s| 1 | 0 |192334 | - | 40M| 0 | 986 |1000 | 15k|1000 |6099 | 14k| 0 | 0 |-3.425747e+02 |-9.900000e+01 | 246.04%
62.78/62.80 c 62.8s| 1 | 0 |194475 | - | 40M| 0 | 993 |1000 | 15k|1000 |6129 | 14k| 0 | 0 |-3.420079e+02 |-9.900000e+01 | 245.46%
63.68/63.73 c 63.7s| 1 | 0 |197127 | - | 40M| 0 | 991 |1000 | 15k|1000 |6162 | 14k| 0 | 0 |-3.413308e+02 |-9.900000e+01 | 244.78%
64.39/64.47 c 64.5s| 1 | 0 |199090 | - | 40M| 0 | 991 |1000 | 15k|1000 |6188 | 14k| 0 | 0 |-3.408594e+02 |-9.900000e+01 | 244.30%
65.38/65.42 c 65.4s| 1 | 0 |201718 | - | 40M| 0 | 993 |1000 | 15k|1000 |6050 | 14k| 0 | 0 |-3.404524e+02 |-9.900000e+01 | 243.89%
65.98/66.02 c 66.0s| 1 | 0 |203325 | - | 40M| 0 | 992 |1000 | 15k|1000 |6077 | 14k| 0 | 0 |-3.402226e+02 |-9.900000e+01 | 243.66%
67.09/67.13 c 67.1s| 1 | 0 |206456 | - | 40M| 0 | 993 |1000 | 15k|1000 |6098 | 14k| 0 | 0 |-3.397513e+02 |-9.900000e+01 | 243.18%
68.09/68.13 c 68.1s| 1 | 0 |209163 | - | 40M| 0 | 992 |1000 | 15k|1000 |6126 | 14k| 0 | 0 |-3.390312e+02 |-9.900000e+01 | 242.46%
69.98/70.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.98/70.06 c 70.1s| 1 | 0 |214772 | - | 40M| 0 | 994 |1000 | 15k|1000 |6174 | 14k| 0 | 0 |-3.384499e+02 |-9.900000e+01 | 241.87%
71.28/71.31 c 71.3s| 1 | 0 |218226 | - | 40M| 0 | 993 |1000 | 15k|1000 |6214 | 14k| 0 | 0 |-3.375158e+02 |-9.900000e+01 | 240.93%
72.08/72.19 c 72.2s| 1 | 0 |220515 | - | 40M| 0 | 994 |1000 | 15k|1000 |6186 | 14k| 0 | 0 |-3.370873e+02 |-9.900000e+01 | 240.49%
73.08/73.12 c 73.1s| 1 | 0 |222932 | - | 40M| 0 | 996 |1000 | 15k|1000 |6209 | 14k| 0 | 0 |-3.364636e+02 |-9.900000e+01 | 239.86%
74.18/74.21 c 74.2s| 1 | 0 |226059 | - | 40M| 0 | 995 |1000 | 15k|1000 |6248 | 15k| 0 | 0 |-3.361080e+02 |-9.900000e+01 | 239.50%
75.18/75.26 c 75.3s| 1 | 0 |229058 | - | 40M| 0 | 996 |1000 | 15k|1000 |6271 | 15k| 0 | 0 |-3.352462e+02 |-9.900000e+01 | 238.63%
76.38/76.42 c 76.4s| 1 | 0 |232409 | - | 40M| 0 | 995 |1000 | 15k|1000 |6291 | 15k| 0 | 0 |-3.346370e+02 |-9.900000e+01 | 238.02%
77.18/77.26 c 77.3s| 1 | 0 |234515 | - | 39M| 0 | 995 |1000 | 15k|1000 |6323 | 15k| 0 | 0 |-3.342262e+02 |-9.900000e+01 | 237.60%
77.78/77.89 c 77.9s| 1 | 0 |236023 | - | 39M| 0 | 995 |1000 | 15k|1000 |6302 | 15k| 0 | 0 |-3.339346e+02 |-9.900000e+01 | 237.31%
78.48/78.55 c 78.6s| 1 | 0 |237676 | - | 39M| 0 | 994 |1000 | 15k|1000 |6316 | 15k| 0 | 0 |-3.336069e+02 |-9.900000e+01 | 236.98%
79.28/79.30 c 79.3s| 1 | 0 |239785 | - | 39M| 0 | 995 |1000 | 15k|1000 |6336 | 15k| 0 | 0 |-3.331378e+02 |-9.900000e+01 | 236.50%
79.87/79.93 c 79.9s| 1 | 0 |241372 | - | 39M| 0 | 996 |1000 | 15k|1000 |6354 | 15k| 0 | 0 |-3.328836e+02 |-9.900000e+01 | 236.25%
80.48/80.58 c 80.6s| 1 | 0 |242951 | - | 39M| 0 | 995 |1000 | 15k|1000 |6380 | 15k| 0 | 0 |-3.324922e+02 |-9.900000e+01 | 235.85%
81.38/81.45 c 81.5s| 1 | 0 |245524 | - | 39M| 0 | 996 |1000 | 15k|1000 |6403 | 15k| 0 | 0 |-3.319186e+02 |-9.900000e+01 | 235.27%
81.88/81.96 c 82.0s| 1 | 0 |246672 | - | 39M| 0 | 996 |1000 | 15k|1000 |6362 | 15k| 0 | 0 |-3.316741e+02 |-9.900000e+01 | 235.02%
82.38/82.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.38/82.44 c 82.4s| 1 | 0 |247738 | - | 39M| 0 | 995 |1000 | 15k|1000 |6377 | 15k| 0 | 0 |-3.314035e+02 |-9.900000e+01 | 234.75%
82.87/82.91 c 82.9s| 1 | 0 |248748 | - | 39M| 0 | 996 |1000 | 15k|1000 |6390 | 15k| 0 | 0 |-3.312337e+02 |-9.900000e+01 | 234.58%
83.49/83.57 c 83.6s| 1 | 0 |250371 | - | 39M| 0 | 997 |1000 | 15k|1000 |6407 | 15k| 0 | 0 |-3.308692e+02 |-9.900000e+01 | 234.21%
84.28/84.39 c 84.4s| 1 | 0 |252348 | - | 39M| 0 | 995 |1000 | 15k|1000 |6421 | 15k| 0 | 0 |-3.303245e+02 |-9.900000e+01 | 233.66%
84.97/85.01 c 85.0s| 1 | 0 |253810 | - | 39M| 0 | 996 |1000 | 15k|1000 |6445 | 15k| 0 | 0 |-3.300969e+02 |-9.900000e+01 | 233.43%
85.79/85.87 c 85.9s| 1 | 0 |255928 | - | 39M| 0 | 996 |1000 | 15k|1000 |6399 | 15k| 0 | 0 |-3.296703e+02 |-9.900000e+01 | 233.00%
86.48/86.51 c 86.5s| 1 | 0 |257391 | - | 39M| 0 | 996 |1000 | 15k|1000 |6415 | 15k| 0 | 0 |-3.293269e+02 |-9.900000e+01 | 232.65%
87.08/87.14 c 87.1s| 1 | 0 |258824 | - | 39M| 0 | 996 |1000 | 15k|1000 |6435 | 15k| 0 | 0 |-3.290083e+02 |-9.900000e+01 | 232.33%
87.98/88.01 c 88.0s| 1 | 0 |261173 | - | 39M| 0 | 994 |1000 | 15k|1000 |6450 | 15k| 0 | 0 |-3.286143e+02 |-9.900000e+01 | 231.93%
88.57/88.65 c 88.6s| 1 | 0 |262888 | - | 39M| 0 | 994 |1000 | 15k|1000 |6469 | 15k| 0 | 0 |-3.283188e+02 |-9.900000e+01 | 231.64%
89.38/89.41 c 89.4s| 1 | 0 |264796 | - | 39M| 0 | 996 |1000 | 15k|1000 |6484 | 15k| 0 | 0 |-3.279624e+02 |-9.900000e+01 | 231.28%
90.08/90.11 c 90.1s| 1 | 0 |266608 | - | 39M| 0 | 995 |1000 | 15k|1000 |6438 | 15k| 0 | 0 |-3.276093e+02 |-9.900000e+01 | 230.92%
90.58/90.68 c 90.7s| 1 | 0 |267982 | - | 39M| 0 | 996 |1000 | 15k|1000 |6450 | 15k| 0 | 0 |-3.273640e+02 |-9.900000e+01 | 230.67%
90.97/91.06 c 91.1s| 1 | 0 |268807 | - | 39M| 0 | 996 |1000 | 15k|1000 |6464 | 15k| 0 | 0 |-3.272208e+02 |-9.900000e+01 | 230.53%
91.29/91.34 c 91.3s| 1 | 0 |269275 | - | 39M| 0 | 995 |1000 | 15k|1000 |6476 | 15k| 0 | 0 |-3.271883e+02 |-9.900000e+01 | 230.49%
91.68/91.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.68/91.76 c 91.8s| 1 | 0 |270173 | - | 39M| 0 | 995 |1000 | 15k|1000 |6487 | 15k| 0 | 0 |-3.271002e+02 |-9.900000e+01 | 230.40%
92.08/92.18 c 92.2s| 1 | 0 |271091 | - | 39M| 0 | 995 |1000 | 15k|1000 |6498 | 15k| 0 | 0 |-3.270339e+02 |-9.900000e+01 | 230.34%
92.28/92.40 c 92.4s| 1 | 0 |271380 | - | 39M| 0 | 978 |1000 | 15k|1000 |6446 | 15k| 0 | 0 |-3.270000e+02 |-9.900000e+01 | 230.30%
92.48/92.50 c 92.5s| 1 | 0 |271381 | - | 39M| 0 | 979 |1000 | 15k|1000 |6450 | 15k| 0 | 0 |-3.270000e+02 |-9.900000e+01 | 230.30%
106.17/106.28 c 106s| 1 | 2 |271381 | - | 39M| 0 | 979 |1000 | 15k|1000 |6450 | 15k| 0 | 37 |-3.270000e+02 |-9.900000e+01 | 230.30%
195.65/195.79 c 196s| 100 | 101 |673687 |4063.7 | 40M| 43 | 133 |1000 | 15k|1000 | 995 | 16k| 0 | 579 |-3.265162e+02 |-9.900000e+01 | 229.81%
203.45/203.53 c 204s| 200 | 201 |720770 |2258.2 | 40M| 51 | 350 |1000 | 15k|1000 |1153 | 26k| 0 | 682 |-3.264670e+02 |-9.900000e+01 | 229.76%
210.74/210.81 c 211s| 300 | 301 |763804 |1646.9 | 41M| 55 | 338 |1000 | 15k|1000 |1146 | 36k| 0 | 764 |-3.264434e+02 |-9.900000e+01 | 229.74%
217.04/217.10 c 217s| 400 | 401 |804322 |1335.7 | 41M| 61 | 307 |1000 | 15k|1000 |1156 | 45k| 0 | 868 |-3.263617e+02 |-9.900000e+01 | 229.66%
223.24/223.32 c 223s| 500 | 501 |840896 |1141.3 | 42M| 61 | 337 |1000 | 15k|1000 |1158 | 55k| 0 | 960 |-3.263107e+02 |-9.900000e+01 | 229.61%
232.84/232.97 c 233s| 600 | 601 |896678 |1043.9 | 42M| 61 | 165 |1000 | 15k|1000 |1151 | 64k| 0 |1061 |-3.262210e+02 |-9.900000e+01 | 229.52%
239.04/239.18 c 239s| 700 | 701 |934801 | 949.1 | 43M| 63 | 387 |1000 | 15k|1000 |1678 | 73k| 0 |1163 |-3.261875e+02 |-9.900000e+01 | 229.48%
243.13/243.29 c 243s| 800 | 801 |962158 | 864.6 | 43M| 63 | 331 |1000 | 15k|1000 |1138 | 82k| 0 |1275 |-3.261875e+02 |-9.900000e+01 | 229.48%
250.13/250.24 c 250s| 900 | 901 | 1005k| 816.1 | 44M| 63 | 28 |1000 | 15k|1000 |1152 | 92k| 0 |1365 |-3.261099e+02 |-9.900000e+01 | 229.40%
256.24/256.39 c 256s| 1000 | 1001 | 1042k| 772.1 | 44M| 63 | 25 |1000 | 15k|1000 | 995 | 102k| 0 |1476 |-3.260031e+02 |-9.900000e+01 | 229.30%
263.23/263.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.23/263.39 c 263s| 1100 | 1101 | 1085k| 741.0 | 45M| 63 | 49 |1000 | 15k|1000 | 995 | 112k| 0 |1531 |-3.258241e+02 |-9.900000e+01 | 229.12%
266.43/266.52 c 267s| 1200 | 1201 | 1116k| 705.2 | 45M| 63 | 360 |1000 | 15k|1000 |1650 | 123k| 0 |1531 |-3.258241e+02 |-9.900000e+01 | 229.12%
278.53/278.60 c 279s| 1300 | 1301 | 1174k| 695.2 | 46M| 63 | 234 |1000 | 15k|1000 |1145 | 135k| 0 |1609 |-3.255576e+02 |-9.900000e+01 | 228.85%
285.03/285.16 c 285s| 1400 | 1401 | 1215k| 674.6 | 46M| 63 | 10 |1000 | 15k|1000 | 995 | 146k| 0 |1636 |-3.255576e+02 |-9.900000e+01 | 228.85%
295.13/295.21 c 295s| 1500 | 1501 | 1267k| 664.6 | 47M| 63 | 413 |1000 | 15k|1000 |1624 | 157k| 0 |1699 |-3.253571e+02 |-9.900000e+01 | 228.64%
300.73/300.83 c 301s| 1600 | 1601 | 1305k| 646.6 | 47M| 63 | 32 |1000 | 15k|1000 | 995 | 166k| 0 |1720 |-3.253380e+02 |-9.900000e+01 | 228.62%
308.12/308.23 c 308s| 1700 | 1701 | 1348k| 633.8 | 48M| 63 | 116 |1000 | 15k|1000 | 995 | 177k| 0 |1773 |-3.253355e+02 |-9.900000e+01 | 228.62%
313.52/313.65 c 314s| 1800 | 1801 | 1385k| 619.4 | 48M| 63 | 350 |1000 | 15k|1000 |1149 | 188k| 0 |1808 |-3.252069e+02 |-9.900000e+01 | 228.49%
315.73/315.87 c 316s| 1900 | 1901 | 1409k| 599.3 | 48M| 63 | 158 |1000 | 15k|1000 | 995 | 198k| 0 |1809 |-3.252069e+02 |-9.900000e+01 | 228.49%
318.83/318.99 c 319s| 2000 | 2001 | 1442k| 585.6 | 49M| 63 | 346 |1000 | 15k|1000 |1643 | 210k| 0 |1810 |-3.252069e+02 |-9.900000e+01 | 228.49%
323.23/323.33 c 323s| 2100 | 2101 | 1480k| 576.1 | 49M| 65 | 390 |1000 | 15k|1000 |1753 | 221k| 0 |1816 |-3.252069e+02 |-9.900000e+01 | 228.49%
329.03/329.18 c 329s| 2200 | 2201 | 1532k| 573.3 | 50M| 65 | 69 |1000 | 15k|1000 | 995 | 229k| 0 |1818 |-3.252051e+02 |-9.900000e+01 | 228.49%
331.52/331.67 c 332s| 2300 | 2301 | 1558k| 560.0 | 50M| 65 | 375 |1000 | 15k|1000 |1141 | 241k| 0 |1818 |-3.252051e+02 |-9.900000e+01 | 228.49%
341.42/341.52 c 342s| 2400 | 2401 | 1630k| 566.7 | 51M| 65 | 27 |1000 | 15k|1000 | 995 | 249k| 0 |1862 |-3.251357e+02 |-9.900000e+01 | 228.42%
349.92/350.06 c 350s| 2500 | 2501 | 1683k| 564.9 | 51M| 65 | 209 |1000 | 15k|1000 |1143 | 260k| 0 |1956 |-3.250370e+02 |-9.900000e+01 | 228.32%
356.02/356.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
356.02/356.10 c 356s| 2600 | 2601 | 1723k| 558.7 | 52M| 65 | 254 |1000 | 15k|1000 |1133 | 269k| 0 |2030 |-3.248545e+02 |-9.900000e+01 | 228.14%
363.41/363.59 c 364s| 2700 | 2701 | 1772k| 556.2 | 52M| 65 | 190 |1000 | 15k|1000 |1142 | 280k| 0 |2145 |-3.248004e+02 |-9.900000e+01 | 228.08%
374.41/374.53 c 375s| 2800 | 2801 | 1837k| 559.4 | 53M| 65 | 356 |1000 | 15k|1000 |1139 | 289k| 0 |2219 |-3.245789e+02 |-9.900000e+01 | 227.86%
380.01/380.16 c 380s| 2900 | 2901 | 1877k| 554.0 | 53M| 65 | 11 |1000 | 15k|1000 | 995 | 300k| 0 |2257 |-3.245559e+02 |-9.900000e+01 | 227.83%
382.21/382.37 c 382s| 3000 | 3001 | 1901k| 543.6 | 54M| 65 | 406 |1000 | 15k|1000 |1688 | 312k| 0 |2259 |-3.245559e+02 |-9.900000e+01 | 227.83%
390.91/391.07 c 391s| 3100 | 3101 | 1950k| 541.8 | 54M| 65 | 413 |1000 | 15k|1000 |1711 | 322k| 0 |2313 |-3.245100e+02 |-9.900000e+01 | 227.79%
399.31/399.48 c 399s| 3200 | 3201 | 1999k| 540.2 | 54M| 66 | 234 |1000 | 15k|1000 |1238 | 331k| 0 |2367 |-3.244401e+02 |-9.900000e+01 | 227.72%
404.41/404.52 c 405s| 3300 | 3301 | 2036k| 535.2 | 55M| 66 | 219 |1000 | 15k|1000 |1154 | 341k| 0 |2390 |-3.244401e+02 |-9.900000e+01 | 227.72%
408.72/408.80 c 409s| 3400 | 3401 | 2077k| 531.5 | 55M| 66 | 416 |1000 | 15k|1000 |1145 | 351k| 0 |2392 |-3.243600e+02 |-9.900000e+01 | 227.64%
414.21/414.33 c 414s| 3500 | 3501 | 2124k| 529.6 | 56M| 66 | 310 |1000 | 15k|1000 |1143 | 359k| 0 |2398 |-3.243600e+02 |-9.900000e+01 | 227.64%
418.21/418.33 c 418s| 3600 | 3601 | 2160k| 525.0 | 56M| 66 | 205 |1000 | 15k|1000 |1143 | 369k| 0 |2399 |-3.243600e+02 |-9.900000e+01 | 227.64%
424.11/424.20 c 424s| 3700 | 3701 | 2215k| 525.5 | 57M| 66 | 312 |1000 | 15k|1000 |1635 | 380k| 0 |2399 |-3.243559e+02 |-9.900000e+01 | 227.63%
429.20/429.39 c 429s| 3800 | 3801 | 2263k| 524.3 | 57M| 66 | 151 |1000 | 15k|1000 |1149 | 390k| 0 |2401 |-3.243554e+02 |-9.900000e+01 | 227.63%
434.51/434.62 c 435s| 3900 | 3901 | 2299k| 520.3 | 58M| 67 | 104 |1000 | 15k|1000 |1153 | 400k| 0 |2425 |-3.243356e+02 |-9.900000e+01 | 227.61%
439.91/440.09 c 440s| 4000 | 4001 | 2337k| 516.7 | 58M| 67 | 352 |1000 | 15k|1000 |1534 | 411k| 0 |2474 |-3.243356e+02 |-9.900000e+01 | 227.61%
447.61/447.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
447.61/447.73 c 448s| 4100 | 4101 | 2384k| 515.5 | 59M| 67 | 397 |1000 | 15k|1000 |1671 | 420k| 0 |2538 |-3.243080e+02 |-9.900000e+01 | 227.58%
453.71/453.81 c 454s| 4200 | 4201 | 2426k| 513.3 | 59M| 67 | 34 |1000 | 15k|1000 | 995 | 429k| 0 |2568 |-3.242854e+02 |-9.900000e+01 | 227.56%
460.90/461.00 c 461s| 4300 | 4301 | 2470k| 511.6 | 60M| 67 | 20 |1000 | 15k|1000 | 995 | 439k| 0 |2636 |-3.242787e+02 |-9.900000e+01 | 227.55%
466.30/466.41 c 466s| 4400 | 4401 | 2509k| 508.7 | 60M| 67 | 359 |1000 | 15k|1000 |1137 | 450k| 0 |2701 |-3.242782e+02 |-9.900000e+01 | 227.55%
468.70/468.83 c 469s| 4500 | 4501 | 2530k| 502.1 | 60M| 67 | 340 |1000 | 15k|1000 |1551 | 460k| 0 |2780 |-3.242782e+02 |-9.900000e+01 | 227.55%
473.90/474.06 c 474s| 4600 | 4601 | 2567k| 499.2 | 61M| 67 | 319 |1000 | 15k|1000 |1224 | 472k| 0 |2823 |-3.242712e+02 |-9.900000e+01 | 227.55%
478.79/478.95 c 479s| 4700 | 4701 | 2600k| 495.7 | 61M| 67 | 295 |1000 | 15k|1000 |1203 | 483k| 0 |2845 |-3.242478e+02 |-9.900000e+01 | 227.52%
486.20/486.30 c 486s| 4800 | 4801 | 2643k| 494.3 | 62M| 67 | 260 |1000 | 15k|1000 |1124 | 491k| 0 |2891 |-3.241629e+02 |-9.900000e+01 | 227.44%
491.90/492.01 c 492s| 4900 | 4901 | 2682k| 492.1 | 62M| 67 | 17 |1000 | 15k|1000 | 995 | 504k| 0 |2915 |-3.241498e+02 |-9.900000e+01 | 227.42%
496.39/496.52 c 497s| 5000 | 5001 | 2715k| 488.8 | 63M| 67 | 209 |1000 | 15k|1000 |1142 | 514k| 0 |2941 |-3.241430e+02 |-9.900000e+01 | 227.42%
498.79/498.99 c 499s| 5100 | 5101 | 2743k| 484.7 | 63M| 67 | 49 |1000 | 15k|1000 |1145 | 526k| 0 |2941 |-3.241430e+02 |-9.900000e+01 | 227.42%
505.19/505.33 c 505s| 5200 | 5201 | 2795k| 485.5 | 64M| 67 | 352 |1000 | 15k|1000 |1154 | 538k| 0 |2958 |-3.241274e+02 |-9.900000e+01 | 227.40%
509.89/510.05 c 510s| 5300 | 5301 | 2837k| 484.3 | 64M| 67 | 47 |1000 | 15k|1000 | 995 | 547k| 0 |2958 |-3.241274e+02 |-9.900000e+01 | 227.40%
513.69/513.86 c 514s| 5400 | 5401 | 2874k| 482.2 | 64M| 67 | 329 |1000 | 15k|1000 |1149 | 557k| 0 |2958 |-3.241253e+02 |-9.900000e+01 | 227.40%
520.39/520.55 c 521s| 5500 | 5501 | 2934k| 484.3 | 65M| 67 | 336 |1000 | 15k|1000 |1583 | 566k| 0 |2958 |-3.241174e+02 |-9.900000e+01 | 227.39%
524.09/524.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
524.09/524.21 c 524s| 5600 | 5601 | 2970k| 482.1 | 65M| 67 | 211 |1000 | 15k|1000 |1135 | 577k| 0 |2959 |-3.241174e+02 |-9.900000e+01 | 227.39%
528.09/528.26 c 528s| 5700 | 5701 | 3008k| 480.2 | 66M| 67 | 255 |1000 | 15k|1000 |1237 | 587k| 0 |2971 |-3.241161e+02 |-9.900000e+01 | 227.39%
535.88/536.07 c 536s| 5800 | 5801 | 3059k| 480.8 | 66M| 67 | 371 |1000 | 15k|1000 |1136 | 597k| 0 |3035 |-3.241087e+02 |-9.900000e+01 | 227.38%
544.58/544.74 c 545s| 5900 | 5901 | 3116k| 482.3 | 67M| 67 | 76 |1000 | 15k|1000 |1148 | 606k| 0 |3096 |-3.240800e+02 |-9.900000e+01 | 227.35%
552.48/552.66 c 553s| 6000 | 6001 | 3178k| 484.6 | 67M| 67 | 85 |1000 | 15k|1000 |1159 | 615k| 0 |3123 |-3.240800e+02 |-9.900000e+01 | 227.35%
556.69/556.83 c 557s| 6100 | 6101 | 3210k| 481.9 | 68M| 68 | 133 |1000 | 15k|1000 |1160 | 626k| 0 |3177 |-3.240788e+02 |-9.900000e+01 | 227.35%
561.89/562.03 c 562s| 6200 | 6201 | 3246k| 479.9 | 68M| 68 | 69 |1000 | 15k|1000 |1141 | 637k| 0 |3245 |-3.240788e+02 |-9.900000e+01 | 227.35%
568.88/569.09 c 569s| 6300 | 6301 | 3295k| 480.1 | 69M| 68 | 392 |1000 | 15k|1000 |1683 | 647k| 0 |3316 |-3.240647e+02 |-9.900000e+01 | 227.34%
575.78/575.98 c 576s| 6400 | 6401 | 3343k| 480.0 | 69M| 68 | 382 |1000 | 15k|1000 |1672 | 657k| 0 |3380 |-3.240647e+02 |-9.900000e+01 | 227.34%
580.38/580.51 c 581s| 6500 | 6501 | 3375k| 477.7 | 70M| 68 | 113 |1000 | 15k|1000 |1211 | 667k| 0 |3414 |-3.240635e+02 |-9.900000e+01 | 227.34%
588.08/588.20 c 588s| 6600 | 6601 | 3427k| 478.3 | 70M| 68 | 279 |1000 | 15k|1000 |1148 | 677k| 0 |3450 |-3.240635e+02 |-9.900000e+01 | 227.34%
593.58/593.74 c 594s| 6700 | 6701 | 3461k| 476.2 | 71M| 68 | 236 |1000 | 15k|1000 |1131 | 687k| 0 |3481 |-3.240571e+02 |-9.900000e+01 | 227.33%
601.98/602.15 c 602s| 6800 | 6801 | 3520k| 477.9 | 71M| 68 | 329 |1000 | 15k|1000 |1140 | 696k| 0 |3516 |-3.239745e+02 |-9.900000e+01 | 227.25%
605.98/606.12 c 606s| 6900 | 6901 | 3559k| 476.6 | 72M| 68 | 376 |1000 | 15k|1000 |1637 | 707k| 0 |3518 |-3.239745e+02 |-9.900000e+01 | 227.25%
609.97/610.15 c 610s| 7000 | 7001 | 3597k| 475.3 | 72M| 68 | 519 |1000 | 15k|1000 | 995 | 717k| 0 |3518 |-3.239624e+02 |-9.900000e+01 | 227.23%
614.57/614.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
614.57/614.80 c 615s| 7100 | 7101 | 3641k| 474.8 | 72M| 68 | 164 |1000 | 15k|1000 |1144 | 726k| 0 |3518 |-3.239104e+02 |-9.900000e+01 | 227.18%
617.87/618.10 c 618s| 7200 | 7201 | 3674k| 472.8 | 73M| 68 | 160 |1000 | 15k|1000 |1137 | 737k| 0 |3518 |-3.239064e+02 |-9.900000e+01 | 227.18%
622.48/622.62 c 623s| 7300 | 7301 | 3718k| 472.3 | 73M| 68 | 325 |1000 | 15k|1000 |1569 | 747k| 0 |3518 |-3.238981e+02 |-9.900000e+01 | 227.17%
625.88/626.04 c 626s| 7400 | 7401 | 3752k| 470.5 | 74M| 68 | 22 |1000 | 15k|1000 | 995 | 757k| 0 |3518 |-3.238925e+02 |-9.900000e+01 | 227.16%
629.58/629.76 c 630s| 7500 | 7501 | 3789k| 469.1 | 74M| 68 | 408 |1000 | 15k|1000 |1663 | 769k| 0 |3518 |-3.238655e+02 |-9.900000e+01 | 227.14%
634.37/634.60 c 635s| 7600 | 7601 | 3834k| 468.9 | 75M| 68 | 17 |1000 | 15k|1000 | 995 | 777k| 0 |3518 |-3.238301e+02 |-9.900000e+01 | 227.10%
639.77/639.95 c 640s| 7700 | 7701 | 3873k| 467.9 | 75M| 68 | 436 |1000 | 15k|1000 |1715 | 788k| 0 |3564 |-3.238301e+02 |-9.900000e+01 | 227.10%
644.57/644.74 c 645s| 7800 | 7801 | 3908k| 466.3 | 75M| 68 | 355 |1000 | 15k|1000 |1152 | 798k| 0 |3594 |-3.238275e+02 |-9.900000e+01 | 227.10%
648.78/648.96 c 649s| 7900 | 7901 | 3941k| 464.6 | 76M| 68 | 215 |1000 | 15k|1000 |1141 | 807k| 0 |3633 |-3.238251e+02 |-9.900000e+01 | 227.10%
651.37/651.52 c 652s| 8000 | 8001 | 3962k| 461.5 | 76M| 68 | 301 |1000 | 15k|1000 |1502 | 818k| 0 |3678 |-3.238251e+02 |-9.900000e+01 | 227.10%
656.67/656.89 c 657s| 8100 | 8101 | 3999k| 460.3 | 77M| 68 | 304 |1000 | 15k|1000 |1142 | 828k| 0 |3750 |-3.238251e+02 |-9.900000e+01 | 227.10%
661.17/661.30 c 661s| 8200 | 8201 | 4034k| 459.0 | 77M| 68 | 36 |1000 | 15k|1000 | 995 | 839k| 0 |3777 |-3.238251e+02 |-9.900000e+01 | 227.10%
665.97/666.18 c 666s| 8300 | 8301 | 4066k| 457.3 | 78M| 68 | 318 |1000 | 15k|1000 |1145 | 849k| 0 |3860 |-3.238222e+02 |-9.900000e+01 | 227.09%
669.07/669.24 c 669s| 8400 | 8401 | 4092k| 455.0 | 78M| 68 | 247 |1000 | 15k|1000 |1214 | 858k| 0 |3899 |-3.238222e+02 |-9.900000e+01 | 227.09%
675.17/675.40 c 675s| 8500 | 8501 | 4136k| 454.8 | 79M| 68 | 216 |1000 | 15k|1000 |1145 | 867k| 0 |3961 |-3.238079e+02 |-9.900000e+01 | 227.08%
680.27/680.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
680.27/680.47 c 680s| 8600 | 8601 | 4170k| 453.5 | 79M| 68 | 199 |1000 | 15k|1000 |1144 | 878k| 0 |3996 |-3.238042e+02 |-9.900000e+01 | 227.07%
685.86/686.03 c 686s| 8700 | 8701 | 4208k| 452.6 | 80M| 68 | 132 |1000 | 15k|1000 |1136 | 888k| 0 |4021 |-3.238036e+02 |-9.900000e+01 | 227.07%
690.06/690.26 c 690s| 8800 | 8801 | 4241k| 451.2 | 80M| 68 | 207 |1000 | 15k|1000 |1144 | 901k| 0 |4040 |-3.238016e+02 |-9.900000e+01 | 227.07%
696.27/696.47 c 696s| 8900 | 8901 | 4286k| 451.2 | 80M| 68 | 242 |1000 | 15k|1000 |1140 | 912k| 0 |4069 |-3.237547e+02 |-9.900000e+01 | 227.02%
698.56/698.74 c 699s| 9000 | 9001 | 4311k| 449.0 | 81M| 68 | 348 |1000 | 15k|1000 |1140 | 925k| 0 |4074 |-3.237547e+02 |-9.900000e+01 | 227.02%
703.37/703.54 c 704s| 9100 | 9101 | 4343k| 447.5 | 81M| 68 | 245 |1000 | 15k|1000 |1153 | 935k| 0 |4104 |-3.237539e+02 |-9.900000e+01 | 227.02%
708.27/708.49 c 708s| 9200 | 9201 | 4384k| 447.1 | 82M| 68 | 290 |1000 | 15k|1000 |1144 | 945k| 0 |4121 |-3.237379e+02 |-9.900000e+01 | 227.01%
711.86/712.09 c 712s| 9300 | 9301 | 4419k| 446.0 | 82M| 68 | 165 |1000 | 15k|1000 |1150 | 955k| 0 |4122 |-3.237379e+02 |-9.900000e+01 | 227.01%
715.56/715.74 c 716s| 9400 | 9401 | 4455k| 445.1 | 83M| 68 | 304 |1000 | 15k|1000 |1130 | 965k| 0 |4122 |-3.237368e+02 |-9.900000e+01 | 227.01%
719.06/719.28 c 719s| 9500 | 9501 | 4489k| 444.1 | 83M| 68 | 302 |1000 | 15k|1000 |1137 | 975k| 0 |4123 |-3.237368e+02 |-9.900000e+01 | 227.01%
722.96/723.11 c 723s| 9600 | 9601 | 4526k| 443.3 | 83M| 68 | 327 |1000 | 15k|1000 |1232 | 985k| 0 |4123 |-3.237355e+02 |-9.900000e+01 | 227.01%
730.86/731.08 c 731s| 9700 | 9701 | 4597k| 446.0 | 84M| 68 | 330 |1000 | 15k|1000 |1150 | 993k| 0 |4123 |-3.237177e+02 |-9.900000e+01 | 226.99%
733.46/733.64 c 734s| 9800 | 9801 | 4624k| 444.3 | 84M| 68 | 383 |1000 | 15k|1000 |1557 |1002k| 0 |4123 |-3.237177e+02 |-9.900000e+01 | 226.99%
736.56/736.76 c 737s| 9900 | 9901 | 4655k| 442.9 | 85M| 68 | 80 |1000 | 15k|1000 |1151 |1010k| 0 |4123 |-3.237044e+02 |-9.900000e+01 | 226.97%
742.85/743.09 c 743s| 10000 | 10001 | 4718k| 444.7 | 85M| 68 | 366 |1000 | 15k|1000 |1594 |1021k| 0 |4123 |-3.236767e+02 |-9.900000e+01 | 226.95%
744.76/744.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
744.76/744.99 c 745s| 10100 | 10101 | 4740k| 442.5 | 86M| 68 | 344 |1000 | 15k|1000 |1649 |1032k| 0 |4123 |-3.236767e+02 |-9.900000e+01 | 226.95%
749.85/750.04 c 750s| 10200 | 10201 | 4780k| 442.1 | 86M| 68 | 389 |1000 | 15k|1000 |1140 |1041k| 0 |4142 |-3.236767e+02 |-9.900000e+01 | 226.95%
754.55/754.76 c 755s| 10300 | 10301 | 4815k| 441.2 | 87M| 68 | 72 |1000 | 15k|1000 |1140 |1051k| 0 |4180 |-3.236534e+02 |-9.900000e+01 | 226.92%
763.15/763.33 c 763s| 10400 | 10401 | 4878k| 443.0 | 87M| 68 | 275 |1000 | 15k|1000 |1127 |1060k| 0 |4257 |-3.236236e+02 |-9.900000e+01 | 226.89%
770.15/770.32 c 770s| 10500 | 10501 | 4926k| 443.4 | 88M| 68 | 386 |1000 | 15k|1000 |1225 |1069k| 0 |4283 |-3.236129e+02 |-9.900000e+01 | 226.88%
776.05/776.23 c 776s| 10600 | 10601 | 4968k| 443.2 | 88M| 68 | 35 |1000 | 15k|1000 | 995 |1079k| 0 |4319 |-3.236110e+02 |-9.900000e+01 | 226.88%
779.54/779.76 c 780s| 10700 | 10701 | 4996k| 441.6 | 88M| 68 | 353 |1000 | 15k|1000 |1602 |1090k| 0 |4406 |-3.236110e+02 |-9.900000e+01 | 226.88%
785.44/785.68 c 786s| 10800 | 10801 | 5040k| 441.7 | 89M| 68 | 237 |1000 | 15k|1000 |1151 |1100k| 0 |4479 |-3.235944e+02 |-9.900000e+01 | 226.86%
788.35/788.51 c 789s| 10900 | 10901 | 5068k| 440.1 | 89M| 68 | 8 |1000 | 15k|1000 | 995 |1109k| 0 |4504 |-3.235944e+02 |-9.900000e+01 | 226.86%
796.64/796.83 c 797s| 11000 | 11001 | 5118k| 440.7 | 90M| 68 | 453 |1000 | 15k|1000 |1699 |1119k| 0 |4544 |-3.235736e+02 |-9.900000e+01 | 226.84%
801.94/802.18 c 802s| 11100 | 11101 | 5158k| 440.3 | 90M| 68 | 265 |1000 | 15k|1000 |1202 |1130k| 0 |4566 |-3.235584e+02 |-9.900000e+01 | 226.83%
806.84/807.03 c 807s| 11200 | 11201 | 5191k| 439.3 | 91M| 68 | 229 |1000 | 15k|1000 |1146 |1138k| 0 |4595 |-3.235584e+02 |-9.900000e+01 | 226.83%
814.04/814.28 c 814s| 11300 | 11301 | 5244k| 440.1 | 91M| 68 | 132 |1000 | 15k|1000 |1138 |1148k| 0 |4628 |-3.235151e+02 |-9.900000e+01 | 226.78%
819.54/819.72 c 820s| 11400 | 11401 | 5282k| 439.6 | 92M| 68 | 294 |1000 | 15k|1000 |1141 |1158k| 0 |4650 |-3.235143e+02 |-9.900000e+01 | 226.78%
826.44/826.68 c 827s| 11500 | 11501 | 5331k| 440.0 | 92M| 68 | 133 |1000 | 15k|1000 |1134 |1167k| 0 |4677 |-3.235113e+02 |-9.900000e+01 | 226.78%
829.94/830.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
829.94/830.12 c 830s| 11600 | 11601 | 5363k| 439.0 | 93M| 68 | 369 |1000 | 15k|1000 |1609 |1177k| 0 |4683 |-3.235113e+02 |-9.900000e+01 | 226.78%
835.14/835.35 c 835s| 11700 | 11701 | 5409k| 439.2 | 93M| 68 | 128 |1000 | 15k|1000 | 995 |1185k| 0 |4690 |-3.234445e+02 |-9.900000e+01 | 226.71%
839.24/839.42 c 839s| 11800 | 11801 | 5448k| 438.8 | 94M| 68 | 320 |1000 | 15k|1000 |1147 |1197k| 0 |4690 |-3.234388e+02 |-9.900000e+01 | 226.71%
843.33/843.53 c 844s| 11900 | 11901 | 5489k| 438.5 | 94M| 68 | 28 |1000 | 15k|1000 | 995 |1208k| 0 |4690 |-3.234388e+02 |-9.900000e+01 | 226.71%
845.43/845.61 c 846s| 12000 | 12001 | 5513k| 436.8 | 94M| 68 | 252 |1000 | 15k|1000 |1135 |1220k| 0 |4690 |-3.234388e+02 |-9.900000e+01 | 226.71%
850.44/850.61 c 851s| 12100 | 12101 | 5559k| 437.0 | 95M| 68 | 328 |1000 | 15k|1000 |1128 |1229k| 0 |4692 |-3.234352e+02 |-9.900000e+01 | 226.70%
856.93/857.18 c 857s| 12200 | 12201 | 5624k| 438.8 | 95M| 68 | 349 |1000 | 15k|1000 |1522 |1238k| 0 |4692 |-3.234274e+02 |-9.900000e+01 | 226.69%
860.73/860.95 c 861s| 12300 | 12301 | 5662k| 438.3 | 96M| 68 | 240 |1000 | 15k|1000 |1142 |1249k| 0 |4692 |-3.234274e+02 |-9.900000e+01 | 226.69%
865.13/865.36 c 865s| 12400 | 12401 | 5704k| 438.2 | 96M| 68 | 386 |1000 | 15k|1000 |1137 |1259k| 0 |4692 |-3.233781e+02 |-9.900000e+01 | 226.64%
869.23/869.45 c 869s| 12500 | 12501 | 5743k| 437.8 | 97M| 68 | 346 |1000 | 15k|1000 |1689 |1271k| 0 |4692 |-3.233767e+02 |-9.900000e+01 | 226.64%
871.13/871.30 c 871s| 12600 | 12601 | 5764k| 436.0 | 97M| 68 | 147 |1000 | 15k|1000 |1134 |1283k| 0 |4692 |-3.233767e+02 |-9.900000e+01 | 226.64%
875.13/875.39 c 875s| 12700 | 12701 | 5801k| 435.5 | 98M| 68 | 332 |1000 | 15k|1000 |1529 |1293k| 0 |4725 |-3.233750e+02 |-9.900000e+01 | 226.64%
882.53/882.72 c 883s| 12800 | 12801 | 5853k| 436.1 | 98M| 68 | 231 |1000 | 15k|1000 |1137 |1302k| 0 |4759 |-3.233581e+02 |-9.900000e+01 | 226.62%
888.03/888.29 c 888s| 12900 | 12901 | 5892k| 435.8 | 98M| 68 | 383 |1000 | 15k|1000 |1630 |1310k| 0 |4831 |-3.233446e+02 |-9.900000e+01 | 226.61%
892.13/892.37 c 892s| 13000 | 13001 | 5926k| 435.1 | 99M| 68 | 79 |1000 | 15k|1000 |1146 |1320k| 0 |4854 |-3.233405e+02 |-9.900000e+01 | 226.61%
898.03/898.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
898.03/898.28 c 898s| 13100 | 13101 | 5973k| 435.3 | 99M| 68 | 363 |1000 | 15k|1000 |1676 |1331k| 0 |4905 |-3.233295e+02 |-9.900000e+01 | 226.60%
903.43/903.67 c 904s| 13200 | 13201 | 6013k| 435.0 | 100M| 68 | 46 |1000 | 15k|1000 | 995 |1341k| 0 |4956 |-3.233087e+02 |-9.900000e+01 | 226.57%
907.33/907.58 c 908s| 13300 | 13301 | 6041k| 433.9 | 100M| 68 | 341 |1000 | 15k|1000 |1134 |1352k| 0 |5030 |-3.233067e+02 |-9.900000e+01 | 226.57%
913.53/913.79 c 914s| 13400 | 13401 | 6083k| 433.7 | 101M| 68 | 384 |1000 | 15k|1000 |1153 |1361k| 0 |5066 |-3.233022e+02 |-9.900000e+01 | 226.57%
918.23/918.49 c 918s| 13500 | 13501 | 6112k| 432.7 | 101M| 68 | 385 |1000 | 15k|1000 |1670 |1373k| 0 |5094 |-3.232803e+02 |-9.900000e+01 | 226.55%
922.92/923.12 c 923s| 13600 | 13601 | 6156k| 432.8 | 101M| 68 | 379 |1000 | 15k|1000 |1702 |1384k| 0 |5094 |-3.232748e+02 |-9.900000e+01 | 226.54%
928.32/928.57 c 929s| 13700 | 13701 | 6196k| 432.5 | 102M| 68 | 353 |1000 | 15k|1000 |1562 |1392k| 0 |5133 |-3.232714e+02 |-9.900000e+01 | 226.54%
930.82/931.09 c 931s| 13800 | 13801 | 6219k| 431.0 | 102M| 68 | 293 |1000 | 15k|1000 |1148 |1402k| 0 |5161 |-3.232714e+02 |-9.900000e+01 | 226.54%
935.12/935.37 c 935s| 13900 | 13901 | 6254k| 430.5 | 103M| 68 | 340 |1000 | 15k|1000 |1136 |1413k| 0 |5187 |-3.232650e+02 |-9.900000e+01 | 226.53%
939.62/939.88 c 940s| 14000 | 14001 | 6289k| 429.9 | 103M| 68 | 279 |1000 | 15k|1000 |1153 |1424k| 0 |5209 |-3.232612e+02 |-9.900000e+01 | 226.53%
944.02/944.25 c 944s| 14100 | 14101 | 6329k| 429.7 | 104M| 68 | 318 |1000 | 15k|1000 |1581 |1433k| 0 |5212 |-3.232568e+02 |-9.900000e+01 | 226.52%
946.02/946.29 c 946s| 14200 | 14201 | 6352k| 428.3 | 104M| 68 | 283 |1000 | 15k|1000 |1140 |1444k| 0 |5213 |-3.232568e+02 |-9.900000e+01 | 226.52%
949.62/949.82 c 950s| 14300 | 14301 | 6388k| 427.8 | 104M| 68 | 28 |1000 | 15k|1000 | 995 |1453k| 0 |5214 |-3.232568e+02 |-9.900000e+01 | 226.52%
953.53/953.73 c 954s| 14400 | 14401 | 6426k| 427.5 | 105M| 68 | 243 |1000 | 15k|1000 |1143 |1463k| 0 |5214 |-3.232568e+02 |-9.900000e+01 | 226.52%
955.63/955.88 c 956s| 14500 | 14501 | 6450k| 426.2 | 105M| 68 | 33 |1000 | 15k|1000 | 995 |1473k| 0 |5214 |-3.232568e+02 |-9.900000e+01 | 226.52%
960.42/960.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
960.42/960.67 c 961s| 14600 | 14601 | 6495k| 426.3 | 106M| 68 | 60 |1000 | 15k|1000 | 995 |1481k| 0 |5214 |-3.232445e+02 |-9.900000e+01 | 226.51%
962.91/963.15 c 963s| 14700 | 14701 | 6522k| 425.3 | 106M| 68 | 68 |1000 | 15k|1000 |1138 |1494k| 0 |5214 |-3.232445e+02 |-9.900000e+01 | 226.51%
966.12/966.31 c 966s| 14800 | 14801 | 6554k| 424.6 | 107M| 68 | 55 |1000 | 15k|1000 |1153 |1504k| 0 |5214 |-3.232445e+02 |-9.900000e+01 | 226.51%
972.32/972.59 c 973s| 14900 | 14901 | 6614k| 425.7 | 107M| 68 | 10 |1000 | 15k|1000 | 995 |1512k| 0 |5214 |-3.232285e+02 |-9.900000e+01 | 226.49%
975.01/975.29 c 975s| 15000 | 15001 | 6643k| 424.8 | 107M| 68 | 190 |1000 | 15k|1000 |1125 |1523k| 0 |5214 |-3.232285e+02 |-9.900000e+01 | 226.49%
979.12/979.35 c 979s| 15100 | 15101 | 6683k| 424.7 | 108M| 68 | 381 |1000 | 15k|1000 |1691 |1534k| 0 |5214 |-3.232083e+02 |-9.900000e+01 | 226.47%
983.91/984.18 c 984s| 15200 | 15201 | 6729k| 424.9 | 108M| 68 | 386 |1000 | 15k|1000 |1133 |1544k| 0 |5214 |-3.232062e+02 |-9.900000e+01 | 226.47%
987.72/987.93 c 988s| 15300 | 15301 | 6766k| 424.5 | 109M| 68 | 288 |1000 | 15k|1000 |1143 |1553k| 0 |5214 |-3.232038e+02 |-9.900000e+01 | 226.47%
991.81/992.10 c 992s| 15400 | 15401 | 6808k| 424.5 | 109M| 68 | 115 |1000 | 15k|1000 |1139 |1564k| 0 |5214 |-3.232023e+02 |-9.900000e+01 | 226.47%
995.51/995.74 c 996s| 15500 | 15501 | 6842k| 424.0 | 110M| 68 | 132 |1000 | 15k|1000 |1118 |1574k| 0 |5215 |-3.232002e+02 |-9.900000e+01 | 226.46%
1001.92/1002.13 c 1002s| 15600 | 15601 | 6900k| 425.0 | 110M| 68 | 23 |1000 | 15k|1000 | 995 |1582k| 0 |5215 |-3.231454e+02 |-9.900000e+01 | 226.41%
1004.02/1004.22 c 1004s| 15700 | 15701 | 6924k| 423.8 | 111M| 68 | 387 |1000 | 15k|1000 |1705 |1595k| 0 |5215 |-3.231454e+02 |-9.900000e+01 | 226.41%
1008.61/1008.85 c 1009s| 15800 | 15801 | 6969k| 424.0 | 111M| 68 | 350 |1000 | 15k|1000 |1527 |1607k| 0 |5215 |-3.231378e+02 |-9.900000e+01 | 226.40%
1012.21/1012.40 c 1012s| 15900 | 15901 | 7005k| 423.5 | 112M| 68 | 349 |1000 | 15k|1000 |1576 |1618k| 0 |5215 |-3.231341e+02 |-9.900000e+01 | 226.40%
1016.11/1016.40 c 1016s| 16000 | 16001 | 7044k| 423.4 | 112M| 68 | 261 |1000 | 15k|1000 |1145 |1628k| 0 |5215 |-3.231263e+02 |-9.900000e+01 | 226.39%
1020.21/1020.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1020.21/1020.41 c 1020s| 16100 | 16101 | 7079k| 422.9 | 113M| 68 | 30 |1000 | 15k|1000 | 995 |1638k| 0 |5226 |-3.231143e+02 |-9.900000e+01 | 226.38%
1025.90/1026.19 c 1026s| 16200 | 16201 | 7125k| 423.1 | 113M| 68 | 407 |1000 | 15k|1000 |1624 |1648k| 0 |5289 |-3.230996e+02 |-9.900000e+01 | 226.36%
1032.51/1032.78 c 1033s| 16300 | 16301 | 7174k| 423.5 | 114M| 68 | 362 |1000 | 15k|1000 |1141 |1656k| 0 |5354 |-3.230884e+02 |-9.900000e+01 | 226.35%
1037.61/1037.86 c 1038s| 16400 | 16401 | 7213k| 423.3 | 114M| 68 | 299 |1000 | 15k|1000 |1138 |1667k| 0 |5394 |-3.230848e+02 |-9.900000e+01 | 226.35%
1043.72/1043.93 c 1044s| 16500 | 16501 | 7259k| 423.6 | 114M| 68 | 187 |1000 | 15k|1000 |1214 |1677k| 0 |5421 |-3.230809e+02 |-9.900000e+01 | 226.34%
1049.11/1049.38 c 1049s| 16600 | 16601 | 7302k| 423.6 | 115M| 68 | 27 |1000 | 15k|1000 |1145 |1686k| 0 |5454 |-3.230696e+02 |-9.900000e+01 | 226.33%
1055.31/1055.57 c 1056s| 16700 | 16701 | 7345k| 423.6 | 115M| 68 | 366 |1000 | 15k|1000 | 995 |1696k| 0 |5493 |-3.230517e+02 |-9.900000e+01 | 226.31%
1062.41/1062.67 c 1063s| 16800 | 16801 | 7399k| 424.3 | 116M| 68 | 55 |1000 | 15k|1000 |1151 |1705k| 0 |5521 |-3.230487e+02 |-9.900000e+01 | 226.31%
1067.00/1067.25 c 1067s| 16900 | 16901 | 7435k| 423.9 | 116M| 69 | 326 |1000 | 15k|1000 |1546 |1716k| 0 |5558 |-3.230487e+02 |-9.900000e+01 | 226.31%
1070.60/1070.88 c 1071s| 17000 | 17001 | 7464k| 423.1 | 117M| 69 | 15 |1000 | 15k|1000 | 995 |1727k| 0 |5607 |-3.230439e+02 |-9.900000e+01 | 226.31%
1076.00/1076.22 c 1076s| 17100 | 17101 | 7508k| 423.3 | 117M| 69 | 151 |1000 | 15k|1000 | 995 |1737k| 0 |5639 |-3.230367e+02 |-9.900000e+01 | 226.30%
1081.50/1081.78 c 1082s| 17200 | 17201 | 7550k| 423.2 | 118M| 69 | 98 |1000 | 15k|1000 |1135 |1748k| 0 |5672 |-3.230313e+02 |-9.900000e+01 | 226.29%
1086.51/1086.74 c 1087s| 17300 | 17301 | 7589k| 423.0 | 118M| 69 | 90 |1000 | 15k|1000 | 995 |1758k| 0 |5697 |-3.230288e+02 |-9.900000e+01 | 226.29%
1090.80/1091.08 c 1091s| 17400 | 17401 | 7629k| 422.9 | 119M| 69 | 6 |1000 | 15k|1000 |1143 |1768k| 0 |5704 |-3.230288e+02 |-9.900000e+01 | 226.29%
1092.80/1093.03 c 1093s| 17500 | 17501 | 7651k| 421.8 | 119M| 69 | 387 |1000 | 15k|1000 |1644 |1780k| 0 |5707 |-3.230288e+02 |-9.900000e+01 | 226.29%
1096.30/1096.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1096.30/1096.54 c 1097s| 17600 | 17601 | 7686k| 421.3 | 119M| 69 | 32 |1000 | 15k|1000 | 995 |1788k| 0 |5709 |-3.230182e+02 |-9.900000e+01 | 226.28%
1101.49/1101.77 c 1102s| 17700 | 17701 | 7736k| 421.8 | 120M| 69 | 334 |1000 | 15k|1000 |1549 |1800k| 0 |5711 |-3.230146e+02 |-9.900000e+01 | 226.28%
1104.90/1105.12 c 1105s| 17800 | 17801 | 7769k| 421.3 | 120M| 69 | 255 |1000 | 15k|1000 |1127 |1809k| 0 |5711 |-3.230112e+02 |-9.900000e+01 | 226.27%
1106.59/1106.82 c 1107s| 17900 | 17901 | 7789k| 420.0 | 121M| 69 | 216 |1000 | 15k|1000 |1139 |1819k| 0 |5711 |-3.230112e+02 |-9.900000e+01 | 226.27%
1109.80/1110.03 c 1110s| 18000 | 18001 | 7821k| 419.5 | 121M| 69 | 332 |1000 | 15k|1000 |1583 |1829k| 0 |5711 |-3.230002e+02 |-9.900000e+01 | 226.26%
1115.50/1115.72 c 1116s| 18100 | 18101 | 7874k| 420.1 | 122M| 69 | 211 |1000 | 15k|1000 |1225 |1839k| 0 |5711 |-3.230002e+02 |-9.900000e+01 | 226.26%
1120.70/1120.94 c 1121s| 18200 | 18201 | 7923k| 420.5 | 122M| 69 | 224 |1000 | 15k|1000 |1147 |1849k| 0 |5711 |-3.229990e+02 |-9.900000e+01 | 226.26%
1126.00/1126.28 c 1126s| 18300 | 18301 | 7972k| 420.9 | 123M| 69 | 284 |1000 | 15k|1000 |1148 |1858k| 0 |5711 |-3.229846e+02 |-9.900000e+01 | 226.25%
1129.30/1129.51 c 1130s| 18400 | 18401 | 8005k| 420.4 | 123M| 69 | 107 |1000 | 15k|1000 |1140 |1869k| 0 |5711 |-3.229826e+02 |-9.900000e+01 | 226.25%
1134.90/1135.17 c 1135s| 18500 | 18501 | 8057k| 420.9 | 124M| 69 | 90 |1000 | 15k|1000 |1142 |1877k| 0 |5711 |-3.229791e+02 |-9.900000e+01 | 226.24%
1139.49/1139.71 c 1140s| 18600 | 18601 | 8101k| 421.0 | 124M| 69 | 8 |1000 | 15k|1000 | 995 |1888k| 0 |5711 |-3.229791e+02 |-9.900000e+01 | 226.24%
1144.89/1145.19 c 1145s| 18700 | 18701 | 8142k| 420.9 | 125M| 69 | 327 |1000 | 15k|1000 |1146 |1899k| 0 |5750 |-3.229763e+02 |-9.900000e+01 | 226.24%
1148.49/1148.70 c 1149s| 18800 | 18801 | 8172k| 420.3 | 125M| 69 | 334 |1000 | 15k|1000 |1637 |1910k| 0 |5782 |-3.229727e+02 |-9.900000e+01 | 226.24%
1151.89/1152.11 c 1152s| 18900 | 18901 | 8201k| 419.6 | 125M| 69 | 92 |1000 | 15k|1000 |1150 |1921k| 0 |5853 |-3.229670e+02 |-9.900000e+01 | 226.23%
1157.79/1158.05 c 1158s| 19000 | 19001 | 8245k| 419.7 | 126M| 69 | 44 |1000 | 15k|1000 | 995 |1932k| 0 |5893 |-3.229659e+02 |-9.900000e+01 | 226.23%
1160.79/1161.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.79/1161.01 c 1161s| 19100 | 19101 | 8273k| 419.0 | 126M| 69 | 84 |1000 | 15k|1000 |1141 |1945k| 0 |5949 |-3.229659e+02 |-9.900000e+01 | 226.23%
1164.99/1165.28 c 1165s| 19200 | 19201 | 8308k| 418.6 | 127M| 69 | 98 |1000 | 15k|1000 |1149 |1956k| 0 |5999 |-3.229568e+02 |-9.900000e+01 | 226.22%
1172.89/1173.10 c 1173s| 19300 | 19301 | 8360k| 419.2 | 127M| 69 | 14 |1000 | 15k|1000 | 995 |1965k| 0 |6038 |-3.229521e+02 |-9.900000e+01 | 226.21%
1178.29/1178.57 c 1179s| 19400 | 19401 | 8407k| 419.4 | 128M| 69 | 395 |1000 | 15k|1000 |1740 |1977k| 0 |6050 |-3.229467e+02 |-9.900000e+01 | 226.21%
1184.08/1184.39 c 1184s| 19500 | 19501 | 8448k| 419.4 | 128M| 69 | 19 |1000 | 15k|1000 |1144 |1985k| 0 |6117 |-3.229467e+02 |-9.900000e+01 | 226.21%
1187.38/1187.64 c 1188s| 19600 | 19601 | 8480k| 418.8 | 129M| 69 | 285 |1000 | 15k|1000 |1224 |1995k| 0 |6132 |-3.229461e+02 |-9.900000e+01 | 226.21%
1192.38/1192.64 c 1193s| 19700 | 19701 | 8514k| 418.4 | 129M| 69 | 146 |1000 | 15k|1000 |1218 |2006k| 0 |6178 |-3.229415e+02 |-9.900000e+01 | 226.20%
1197.28/1197.58 c 1198s| 19800 | 19801 | 8556k| 418.5 | 129M| 69 | 282 |1000 | 15k|1000 |1143 |2017k| 0 |6201 |-3.229384e+02 |-9.900000e+01 | 226.20%
1199.48/1199.76 c 1200s| 19900 | 19901 | 8581k| 417.6 | 130M| 69 | 382 |1000 | 15k|1000 |1655 |2028k| 0 |6201 |-3.229384e+02 |-9.900000e+01 | 226.20%
1203.09/1203.40 c 1203s| 20000 | 20001 | 8613k| 417.1 | 130M| 69 | 130 |1000 | 15k|1000 |1140 |2039k| 0 |6215 |-3.229233e+02 |-9.900000e+01 | 226.19%
1207.59/1207.88 c 1208s| 20100 | 20101 | 8657k| 417.2 | 131M| 69 | 228 |1000 | 15k|1000 |1138 |2049k| 0 |6218 |-3.229157e+02 |-9.900000e+01 | 226.18%
1209.79/1210.02 c 1210s| 20200 | 20201 | 8681k| 416.4 | 131M| 69 | 359 |1000 | 15k|1000 |1690 |2061k| 0 |6218 |-3.229157e+02 |-9.900000e+01 | 226.18%
1213.58/1213.85 c 1214s| 20300 | 20301 | 8718k| 416.1 | 132M| 69 | 278 |1000 | 15k|1000 |1132 |2070k| 0 |6219 |-3.229048e+02 |-9.900000e+01 | 226.17%
1218.28/1218.54 c 1219s| 20400 | 20401 | 8762k| 416.3 | 132M| 69 | 74 |1000 | 15k|1000 |1143 |2080k| 0 |6219 |-3.228965e+02 |-9.900000e+01 | 226.16%
1223.18/1223.49 c 1223s| 20500 | 20501 | 8808k| 416.5 | 133M| 69 | 137 |1000 | 15k|1000 |1148 |2088k| 0 |6221 |-3.228909e+02 |-9.900000e+01 | 226.15%
1228.68/1228.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1228.68/1228.99 c 1229s| 20600 | 20601 | 8865k| 417.2 | 133M| 69 | 392 |1000 | 15k|1000 |1741 |2100k| 0 |6221 |-3.228906e+02 |-9.900000e+01 | 226.15%
1232.58/1232.81 c 1233s| 20700 | 20701 | 8903k| 417.0 | 134M| 69 | 108 |1000 | 15k|1000 |1140 |2111k| 0 |6221 |-3.228797e+02 |-9.900000e+01 | 226.14%
1238.48/1238.77 c 1239s| 20800 | 20801 | 8957k| 417.6 | 134M| 69 | 346 |1000 | 15k|1000 |1140 |2120k| 0 |6221 |-3.228624e+02 |-9.900000e+01 | 226.12%
1241.77/1242.06 c 1242s| 20900 | 20901 | 8990k| 417.2 | 135M| 69 | 32 |1000 | 15k|1000 | 995 |2129k| 0 |6221 |-3.228624e+02 |-9.900000e+01 | 226.12%
1244.27/1244.59 c 1245s| 21000 | 21001 | 9016k| 416.5 | 135M| 69 | 30 |1000 | 15k|1000 | 995 |2139k| 0 |6221 |-3.228624e+02 |-9.900000e+01 | 226.12%
1249.88/1250.16 c 1250s| 21100 | 21101 | 9070k| 417.0 | 136M| 69 | 385 |1000 | 15k|1000 |1140 |2150k| 0 |6221 |-3.228550e+02 |-9.900000e+01 | 226.12%
1253.78/1254.07 c 1254s| 21200 | 21201 | 9108k| 416.9 | 136M| 69 | 387 |1000 | 15k|1000 |1747 |2160k| 0 |6221 |-3.228490e+02 |-9.900000e+01 | 226.11%
1256.98/1257.22 c 1257s| 21300 | 21301 | 9140k| 416.4 | 137M| 69 | 197 |1000 | 15k|1000 |1156 |2169k| 0 |6221 |-3.228462e+02 |-9.900000e+01 | 226.11%
1261.17/1261.47 c 1261s| 21400 | 21401 | 9174k| 416.1 | 137M| 71 | 383 |1000 | 15k|1000 |1148 |2180k| 0 |6280 |-3.228459e+02 |-9.900000e+01 | 226.11%
1263.86/1264.15 c 1264s| 21500 | 21501 | 9199k| 415.3 | 137M| 71 | 190 |1000 | 15k|1000 |1150 |2191k| 0 |6368 |-3.228459e+02 |-9.900000e+01 | 226.11%
1266.56/1266.83 c 1267s| 21600 | 21601 | 9224k| 414.5 | 138M| 73 | 8 |1000 | 15k|1000 | 995 |2202k| 0 |6418 |-3.228459e+02 |-9.900000e+01 | 226.11%
1270.66/1270.94 c 1271s| 21700 | 21701 | 9257k| 414.1 | 138M| 73 | 293 |1000 | 15k|1000 |1449 |2213k| 0 |6456 |-3.228435e+02 |-9.900000e+01 | 226.10%
1276.56/1276.87 c 1277s| 21800 | 21801 | 9301k| 414.3 | 139M| 73 | 108 |1000 | 15k|1000 |1136 |2221k| 0 |6476 |-3.228341e+02 |-9.900000e+01 | 226.10%
1279.96/1280.29 c 1280s| 21900 | 21901 | 9330k| 413.7 | 139M| 73 | 221 |1000 | 15k|1000 |1139 |2231k| 0 |6544 |-3.228341e+02 |-9.900000e+01 | 226.10%
1284.96/1285.25 c 1285s| 22000 | 22001 | 9371k| 413.6 | 140M| 73 | 176 |1000 | 15k|1000 |1130 |2242k| 0 |6561 |-3.228332e+02 |-9.900000e+01 | 226.09%
1291.16/1291.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1291.16/1291.48 c 1291s| 22100 | 22101 | 9417k| 413.9 | 140M| 73 | 313 |1000 | 15k|1000 |1269 |2251k| 0 |6580 |-3.228202e+02 |-9.900000e+01 | 226.08%
1300.06/1300.35 c 1300s| 22200 | 22201 | 9478k| 414.8 | 141M| 73 | 409 |1000 | 15k|1000 |1716 |2260k| 0 |6614 |-3.228113e+02 |-9.900000e+01 | 226.07%
1302.06/1302.36 c 1302s| 22300 | 22301 | 9500k| 413.9 | 141M| 73 | 144 |1000 | 15k|1000 |1138 |2269k| 0 |6614 |-3.228113e+02 |-9.900000e+01 | 226.07%
1309.15/1309.46 c 1309s| 22400 | 22401 | 9546k| 414.1 | 141M| 73 | 20 |1000 | 15k|1000 | 995 |2277k| 0 |6650 |-3.228011e+02 |-9.900000e+01 | 226.06%
1314.45/1314.72 c 1315s| 22500 | 22501 | 9584k| 413.9 | 142M| 73 | 188 |1000 | 15k|1000 |1133 |2286k| 0 |6669 |-3.227873e+02 |-9.900000e+01 | 226.05%
1316.05/1316.34 c 1316s| 22600 | 22601 | 9603k| 413.0 | 142M| 73 | 24 |1000 | 15k|1000 | 995 |2297k| 0 |6669 |-3.227873e+02 |-9.900000e+01 | 226.05%
1320.55/1320.84 c 1321s| 22700 | 22701 | 9632k| 412.4 | 143M| 73 | 187 |1000 | 15k|1000 |1151 |2306k| 0 |6692 |-3.227850e+02 |-9.900000e+01 | 226.05%
1322.15/1322.48 c 1322s| 22800 | 22801 | 9652k| 411.5 | 143M| 74 | 301 |1000 | 15k|1000 |1536 |2317k| 0 |6692 |-3.227850e+02 |-9.900000e+01 | 226.05%
1327.46/1327.77 c 1328s| 22900 | 22901 | 9694k| 411.5 | 144M| 74 | 83 |1000 | 15k|1000 |1211 |2326k| 0 |6715 |-3.227565e+02 |-9.900000e+01 | 226.02%
1336.45/1336.78 c 1337s| 23000 | 23001 | 9760k| 412.6 | 144M| 74 | 106 |1000 | 15k|1000 | 995 |2334k| 0 |6750 |-3.227428e+02 |-9.900000e+01 | 226.00%
1340.35/1340.64 c 1341s| 23100 | 23101 | 9794k| 412.3 | 145M| 74 | 360 |1000 | 15k|1000 |1550 |2344k| 0 |6758 |-3.227412e+02 |-9.900000e+01 | 226.00%
1345.05/1345.34 c 1345s| 23200 | 23201 | 9834k| 412.2 | 145M| 74 | 390 |1000 | 15k|1000 |1150 |2354k| 0 |6771 |-3.227412e+02 |-9.900000e+01 | 226.00%
1349.75/1350.02 c 1350s| 23300 | 23301 | 9878k| 412.3 | 146M| 74 | 334 |1000 | 15k|1000 |1501 |2363k| 0 |6773 |-3.227302e+02 |-9.900000e+01 | 225.99%
1355.04/1355.36 c 1355s| 23400 | 23401 | 9928k| 412.7 | 146M| 74 | 308 |1000 | 15k|1000 |1152 |2372k| 0 |6774 |-3.227240e+02 |-9.900000e+01 | 225.98%
1357.85/1358.16 c 1358s| 23500 | 23501 | 9958k| 412.2 | 146M| 74 | 356 |1000 | 15k|1000 |1149 |2383k| 0 |6774 |-3.227240e+02 |-9.900000e+01 | 225.98%
1359.95/1360.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1359.95/1360.28 c 1360s| 23600 | 23601 | 9982k| 411.5 | 147M| 74 | 270 |1000 | 15k|1000 |1227 |2394k| 0 |6774 |-3.227240e+02 |-9.900000e+01 | 225.98%
1362.25/1362.50 c 1363s| 23700 | 23701 | 10008k| 410.8 | 147M| 74 | 113 |1000 | 15k|1000 |1149 |2404k| 0 |6774 |-3.227240e+02 |-9.900000e+01 | 225.98%
1366.74/1367.09 c 1367s| 23800 | 23801 | 10051k| 410.9 | 148M| 74 | 401 |1000 | 15k|1000 |1710 |2413k| 0 |6775 |-3.227132e+02 |-9.900000e+01 | 225.97%
1370.15/1370.40 c 1370s| 23900 | 23901 | 10084k| 410.6 | 148M| 74 | 400 |1000 | 15k|1000 |1710 |2423k| 0 |6775 |-3.227041e+02 |-9.900000e+01 | 225.96%
1374.94/1375.26 c 1375s| 24000 | 24001 | 10130k| 410.8 | 149M| 74 | 250 |1000 | 15k|1000 |1138 |2432k| 0 |6775 |-3.226934e+02 |-9.900000e+01 | 225.95%
1378.64/1378.96 c 1379s| 24100 | 24101 | 10165k| 410.6 | 149M| 77 | 361 |1000 | 15k|1000 |1615 |2439k| 0 |6775 |-3.226909e+02 |-9.900000e+01 | 225.95%
1381.64/1381.95 c 1382s| 24200 | 24201 | 10196k| 410.1 | 150M| 77 | 296 |1000 | 15k|1000 |1508 |2449k| 0 |6775 |-3.226875e+02 |-9.900000e+01 | 225.95%
1386.25/1386.55 c 1387s| 24300 | 24301 | 10239k| 410.2 | 150M| 77 | 107 |1000 | 15k|1000 | 995 |2458k| 0 |6775 |-3.226851e+02 |-9.900000e+01 | 225.94%
1390.34/1390.63 c 1391s| 24400 | 24401 | 10279k| 410.2 | 151M| 77 | 317 |1000 | 15k|1000 |1137 |2470k| 0 |6775 |-3.226851e+02 |-9.900000e+01 | 225.94%
1392.84/1393.10 c 1393s| 24500 | 24501 | 10306k| 409.6 | 151M| 77 | 74 |1000 | 15k|1000 | 995 |2483k| 0 |6775 |-3.226851e+02 |-9.900000e+01 | 225.94%
1394.25/1394.56 c 1395s| 24600 | 24601 | 10325k| 408.7 | 151M| 77 | 304 |1000 | 15k|1000 |1232 |2493k| 0 |6775 |-3.226851e+02 |-9.900000e+01 | 225.94%
1398.64/1398.91 c 1399s| 24700 | 24701 | 10366k| 408.7 | 152M| 77 | 95 |1000 | 15k|1000 |1151 |2502k| 0 |6775 |-3.226828e+02 |-9.900000e+01 | 225.94%
1404.45/1404.72 c 1405s| 24800 | 24801 | 10409k| 408.8 | 152M| 77 | 34 |1000 | 15k|1000 |1151 |2511k| 0 |6812 |-3.226786e+02 |-9.900000e+01 | 225.94%
1410.44/1410.75 c 1411s| 24900 | 24901 | 10456k| 409.1 | 153M| 77 | 343 |1000 | 15k|1000 |1563 |2520k| 0 |6829 |-3.226769e+02 |-9.900000e+01 | 225.94%
1415.44/1415.71 c 1416s| 25000 | 25001 | 10497k| 409.1 | 153M| 77 | 153 |1000 | 15k|1000 |1150 |2528k| 0 |6881 |-3.226726e+02 |-9.900000e+01 | 225.93%
1422.34/1422.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1422.34/1422.63 c 1423s| 25100 | 25101 | 10548k| 409.5 | 154M| 77 | 19 |1000 | 15k|1000 | 995 |2535k| 0 |6909 |-3.226726e+02 |-9.900000e+01 | 225.93%
1428.64/1428.92 c 1429s| 25200 | 25201 | 10596k| 409.7 | 154M| 77 | 404 |1000 | 15k|1000 |1727 |2545k| 0 |6962 |-3.226594e+02 |-9.900000e+01 | 225.92%
1434.74/1435.07 c 1435s| 25300 | 25301 | 10638k| 409.8 | 155M| 77 | 188 |1000 | 15k|1000 |1137 |2554k| 0 |7019 |-3.226509e+02 |-9.900000e+01 | 225.91%
1439.64/1439.98 c 1440s| 25400 | 25401 | 10685k| 410.0 | 155M| 77 | 240 |1000 | 15k|1000 |1153 |2563k| 0 |7019 |-3.226479e+02 |-9.900000e+01 | 225.91%
1441.43/1441.73 c 1442s| 25500 | 25501 | 10703k| 409.1 | 156M| 81 | 313 |1000 | 15k|1000 |1544 |2574k| 0 |7040 |-3.226479e+02 |-9.900000e+01 | 225.91%
1445.23/1445.54 c 1446s| 25600 | 25601 | 10731k| 408.6 | 156M| 83 | 17 |1000 | 15k|1000 |1149 |2583k| 0 |7085 |-3.226465e+02 |-9.900000e+01 | 225.91%
1447.04/1447.33 c 1447s| 25700 | 25701 | 10751k| 407.8 | 156M| 83 | 250 |1000 | 15k|1000 |1255 |2592k| 0 |7108 |-3.226465e+02 |-9.900000e+01 | 225.91%
1451.13/1451.45 c 1451s| 25800 | 25801 | 10783k| 407.4 | 157M| 83 | 16 |1000 | 15k|1000 |1141 |2601k| 0 |7136 |-3.226465e+02 |-9.900000e+01 | 225.91%
1456.33/1456.61 c 1457s| 25900 | 25901 | 10814k| 407.1 | 157M| 83 | 180 |1000 | 15k|1000 |1210 |2611k| 0 |7168 |-3.226458e+02 |-9.900000e+01 | 225.90%
1459.13/1459.47 c 1459s| 26000 | 26001 | 10844k| 406.7 | 158M| 83 | 17 |1000 | 15k|1000 |1150 |2619k| 0 |7168 |-3.226401e+02 |-9.900000e+01 | 225.90%
1462.43/1462.74 c 1463s| 26100 | 26101 | 10874k| 406.3 | 158M| 83 | 10 |1000 | 15k|1000 |1136 |2629k| 0 |7188 |-3.226358e+02 |-9.900000e+01 | 225.89%
1467.03/1467.32 c 1467s| 26200 | 26201 | 10911k| 406.1 | 159M| 83 | 367 |1000 | 15k|1000 |1150 |2638k| 0 |7235 |-3.226349e+02 |-9.900000e+01 | 225.89%
1469.63/1469.92 c 1470s| 26300 | 26301 | 10936k| 405.5 | 159M| 83 | 231 |1000 | 15k|1000 |1251 |2650k| 0 |7268 |-3.226349e+02 |-9.900000e+01 | 225.89%
1474.63/1474.91 c 1475s| 26400 | 26401 | 10974k| 405.4 | 160M| 83 | 362 |1000 | 15k|1000 |1128 |2661k| 0 |7292 |-3.226323e+02 |-9.900000e+01 | 225.89%
1476.23/1476.59 c 1477s| 26500 | 26501 | 10993k| 404.6 | 160M| 83 | 86 |1000 | 15k|1000 |1132 |2670k| 0 |7297 |-3.226323e+02 |-9.900000e+01 | 225.89%
1478.14/1478.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.14/1478.45 c 1478s| 26600 | 26601 | 11015k| 403.9 | 160M| 83 | 252 |1000 | 15k|1000 |1226 |2681k| 0 |7298 |-3.226323e+02 |-9.900000e+01 | 225.89%
1484.63/1484.98 c 1485s| 26700 | 26701 | 11059k| 404.1 | 161M| 83 | 4 |1000 | 15k|1000 | 995 |2689k| 0 |7330 |-3.226223e+02 |-9.900000e+01 | 225.88%
1488.33/1488.66 c 1489s| 26800 | 26801 | 11095k| 403.9 | 161M| 83 | 415 |1000 | 15k|1000 |1659 |2698k| 0 |7331 |-3.226183e+02 |-9.900000e+01 | 225.88%
1490.42/1490.70 c 1491s| 26900 | 26901 | 11119k| 403.3 | 162M| 83 | 333 |1000 | 15k|1000 |1543 |2710k| 0 |7331 |-3.226183e+02 |-9.900000e+01 | 225.88%
1494.32/1494.67 c 1495s| 27000 | 27001 | 11157k| 403.2 | 162M| 83 | 353 |1000 | 15k|1000 |1150 |2718k| 0 |7334 |-3.226183e+02 |-9.900000e+01 | 225.88%
1497.42/1497.78 c 1498s| 27100 | 27101 | 11189k| 402.9 | 163M| 83 | 377 |1000 | 15k|1000 |1708 |2727k| 0 |7334 |-3.226183e+02 |-9.900000e+01 | 225.88%
1499.33/1499.63 c 1500s| 27200 | 27201 | 11211k| 402.2 | 163M| 83 | 244 |1000 | 15k|1000 |1142 |2738k| 0 |7334 |-3.226183e+02 |-9.900000e+01 | 225.88%
1502.63/1502.95 c 1503s| 27300 | 27301 | 11244k| 402.0 | 164M| 83 | 310 |1000 | 15k|1000 |1144 |2749k| 0 |7334 |-3.226127e+02 |-9.900000e+01 | 225.87%
1504.53/1504.87 c 1505s| 27400 | 27401 | 11267k| 401.3 | 164M| 83 | 206 |1000 | 15k|1000 |1231 |2760k| 0 |7334 |-3.226127e+02 |-9.900000e+01 | 225.87%
1507.83/1508.19 c 1508s| 27500 | 27501 | 11300k| 401.1 | 164M| 83 | 88 |1000 | 15k|1000 |1138 |2769k| 0 |7334 |-3.225890e+02 |-9.900000e+01 | 225.85%
1510.93/1511.22 c 1511s| 27600 | 27601 | 11331k| 400.7 | 165M| 83 | 15 |1000 | 15k|1000 |1152 |2778k| 0 |7334 |-3.225865e+02 |-9.900000e+01 | 225.84%
1512.93/1513.22 c 1513s| 27700 | 27701 | 11354k| 400.1 | 165M| 83 | 320 |1000 | 15k|1000 |1558 |2789k| 0 |7334 |-3.225865e+02 |-9.900000e+01 | 225.84%
1516.12/1516.41 c 1516s| 27800 | 27801 | 11386k| 399.8 | 166M| 83 | 203 |1000 | 15k|1000 |1138 |2799k| 0 |7334 |-3.225840e+02 |-9.900000e+01 | 225.84%
1517.32/1517.69 c 1518s| 27900 | 27901 | 11401k| 398.9 | 166M| 83 | 224 |1000 | 15k|1000 |1235 |2809k| 0 |7334 |-3.225840e+02 |-9.900000e+01 | 225.84%
1520.32/1520.66 c 1521s| 28000 | 28001 | 11430k| 398.6 | 166M| 83 | 180 |1000 | 15k|1000 |1133 |2818k| 0 |7334 |-3.225700e+02 |-9.900000e+01 | 225.83%
1523.42/1523.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1523.42/1523.75 c 1524s| 28100 | 28101 | 11462k| 398.3 | 167M| 83 | 236 |1000 | 15k|1000 |1148 |2828k| 0 |7334 |-3.225699e+02 |-9.900000e+01 | 225.83%
1526.62/1526.96 c 1527s| 28200 | 28201 | 11496k| 398.1 | 167M| 83 | 526 |1000 | 15k|1000 |1947 |2839k| 0 |7334 |-3.225699e+02 |-9.900000e+01 | 225.83%
1530.42/1530.74 c 1531s| 28300 | 28301 | 11533k| 398.0 | 168M| 83 | 6 |1000 | 15k|1000 | 995 |2848k| 0 |7334 |-3.225699e+02 |-9.900000e+01 | 225.83%
1533.42/1533.79 c 1534s| 28400 | 28401 | 11565k| 397.7 | 168M| 83 | 313 |1000 | 15k|1000 |1138 |2859k| 0 |7334 |-3.225699e+02 |-9.900000e+01 | 225.83%
1538.12/1538.45 c 1538s| 28500 | 28501 | 11609k| 397.9 | 169M| 83 | 4 |1000 | 15k|1000 | 995 |2867k| 0 |7334 |-3.225583e+02 |-9.900000e+01 | 225.82%
1540.62/1540.96 c 1541s| 28600 | 28601 | 11637k| 397.4 | 169M| 83 | 275 |1000 | 15k|1000 |1256 |2878k| 0 |7334 |-3.225583e+02 |-9.900000e+01 | 225.82%
1544.22/1544.56 c 1545s| 28700 | 28701 | 11669k| 397.2 | 170M| 83 | 399 |1000 | 15k|1000 |1165 |2887k| 0 |7349 |-3.225582e+02 |-9.900000e+01 | 225.82%
1548.62/1548.94 c 1549s| 28800 | 28801 | 11705k| 397.0 | 170M| 83 | 411 |1000 | 15k|1000 |1768 |2896k| 0 |7421 |-3.225543e+02 |-9.900000e+01 | 225.81%
1552.82/1553.13 c 1553s| 28900 | 28901 | 11735k| 396.7 | 171M| 83 | 23 |1000 | 15k|1000 | 995 |2905k| 0 |7453 |-3.225454e+02 |-9.900000e+01 | 225.80%
1554.92/1555.27 c 1555s| 29000 | 29001 | 11759k| 396.2 | 171M| 83 | 287 |1000 | 15k|1000 |1232 |2915k| 0 |7453 |-3.225454e+02 |-9.900000e+01 | 225.80%
1558.72/1559.07 c 1559s| 29100 | 29101 | 11794k| 396.0 | 171M| 83 | 35 |1000 | 15k|1000 |1151 |2926k| 0 |7477 |-3.225410e+02 |-9.900000e+01 | 225.80%
1563.22/1563.55 c 1564s| 29200 | 29201 | 11826k| 395.7 | 172M| 83 | 112 |1000 | 15k|1000 |1160 |2935k| 0 |7512 |-3.225383e+02 |-9.900000e+01 | 225.80%
1566.62/1566.90 c 1567s| 29300 | 29301 | 11858k| 395.5 | 172M| 83 | 235 |1000 | 15k|1000 |1151 |2944k| 0 |7524 |-3.225383e+02 |-9.900000e+01 | 225.80%
1571.01/1571.33 c 1571s| 29400 | 29401 | 11896k| 395.4 | 173M| 83 | 242 |1000 | 15k|1000 |1139 |2956k| 0 |7565 |-3.225380e+02 |-9.900000e+01 | 225.80%
1575.31/1575.62 c 1576s| 29500 | 29501 | 11929k| 395.2 | 173M| 83 | 249 |1000 | 15k|1000 |1148 |2965k| 0 |7623 |-3.225302e+02 |-9.900000e+01 | 225.79%
1578.91/1579.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1578.91/1579.21 c 1579s| 29600 | 29601 | 11960k| 394.9 | 174M| 83 | 18 |1000 | 15k|1000 | 995 |2974k| 0 |7643 |-3.225280e+02 |-9.900000e+01 | 225.79%
1583.01/1583.31 c 1583s| 29700 | 29701 | 11993k| 394.7 | 174M| 83 | 317 |1000 | 15k|1000 |1144 |2985k| 0 |7668 |-3.225268e+02 |-9.900000e+01 | 225.78%
1587.91/1588.28 c 1588s| 29800 | 29801 | 12029k| 394.6 | 175M| 83 | 293 |1000 | 15k|1000 |1146 |2997k| 0 |7710 |-3.225268e+02 |-9.900000e+01 | 225.78%
1593.91/1594.23 c 1594s| 29900 | 29901 | 12067k| 394.5 | 175M| 83 | 401 |1000 | 15k|1000 |1823 |3005k| 0 |7747 |-3.225268e+02 |-9.900000e+01 | 225.78%
1596.01/1596.30 c 1596s| 30000 | 30001 | 12091k| 394.0 | 175M| 83 | 17 |1000 | 15k|1000 |1155 |3014k| 0 |7747 |-3.225268e+02 |-9.900000e+01 | 225.78%
1599.21/1599.54 c 1600s| 30100 | 30101 | 12124k| 393.8 | 176M| 83 | 361 |1000 | 15k|1000 |1548 |3025k| 0 |7747 |-3.225207e+02 |-9.900000e+01 | 225.78%
1603.61/1603.97 c 1604s| 30200 | 30201 | 12162k| 393.8 | 176M| 83 | 350 |1000 | 15k|1000 |1573 |3035k| 0 |7769 |-3.225186e+02 |-9.900000e+01 | 225.78%
1607.51/1607.89 c 1608s| 30300 | 30301 | 12195k| 393.5 | 177M| 83 | 210 |1000 | 15k|1000 |1145 |3045k| 0 |7787 |-3.225175e+02 |-9.900000e+01 | 225.78%
1610.91/1611.28 c 1611s| 30400 | 30401 | 12224k| 393.2 | 177M| 83 | 113 |1000 | 15k|1000 |1125 |3054k| 0 |7832 |-3.225175e+02 |-9.900000e+01 | 225.78%
1613.71/1614.06 c 1614s| 30500 | 30501 | 12250k| 392.8 | 178M| 83 | 308 |1000 | 15k|1000 |1156 |3063k| 0 |7869 |-3.225142e+02 |-9.900000e+01 | 225.77%
1617.30/1617.62 c 1618s| 30600 | 30601 | 12279k| 392.4 | 178M| 83 | 43 |1000 | 15k|1000 |1158 |3071k| 0 |7882 |-3.225095e+02 |-9.900000e+01 | 225.77%
1621.41/1621.78 c 1622s| 30700 | 30701 | 12312k| 392.2 | 178M| 83 | 234 |1000 | 15k|1000 |1134 |3082k| 0 |7900 |-3.225091e+02 |-9.900000e+01 | 225.77%
1625.42/1625.73 c 1626s| 30800 | 30801 | 12345k| 392.0 | 179M| 83 | 387 |1000 | 15k|1000 |1128 |3090k| 0 |7916 |-3.225067e+02 |-9.900000e+01 | 225.76%
1628.10/1628.48 c 1628s| 30900 | 30901 | 12373k| 391.7 | 179M| 83 | 238 |1000 | 15k|1000 |1132 |3100k| 0 |7917 |-3.225067e+02 |-9.900000e+01 | 225.76%
1632.01/1632.34 c 1632s| 31000 | 31001 | 12406k| 391.5 | 180M| 83 | 300 |1000 | 15k|1000 |1133 |3109k| 0 |7926 |-3.225021e+02 |-9.900000e+01 | 225.76%
1635.20/1635.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1635.20/1635.60 c 1636s| 31100 | 31101 | 12439k| 391.3 | 180M| 83 | 348 |1000 | 15k|1000 |1152 |3119k| 0 |7926 |-3.225007e+02 |-9.900000e+01 | 225.76%
1638.30/1638.68 c 1639s| 31200 | 31201 | 12470k| 391.0 | 181M| 83 | 234 |1000 | 15k|1000 |1155 |3129k| 0 |7927 |-3.224988e+02 |-9.900000e+01 | 225.76%
1640.20/1640.50 c 1640s| 31300 | 31301 | 12491k| 390.4 | 181M| 83 | 319 |1000 | 15k|1000 |1503 |3137k| 0 |7928 |-3.224988e+02 |-9.900000e+01 | 225.76%
1645.70/1646.07 c 1646s| 31400 | 31401 | 12542k| 390.8 | 182M| 83 | 158 |1000 | 15k|1000 | 995 |3144k| 0 |7929 |-3.224930e+02 |-9.900000e+01 | 225.75%
1648.11/1648.45 c 1648s| 31500 | 31501 | 12567k| 390.4 | 182M| 83 | 186 |1000 | 15k|1000 |1142 |3154k| 0 |7929 |-3.224930e+02 |-9.900000e+01 | 225.75%
1651.30/1651.67 c 1652s| 31600 | 31601 | 12599k| 390.1 | 182M| 83 | 212 |1000 | 15k|1000 |1142 |3163k| 0 |7929 |-3.224904e+02 |-9.900000e+01 | 225.75%
1654.91/1655.23 c 1655s| 31700 | 31701 | 12633k| 390.0 | 183M| 83 | 161 |1000 | 15k|1000 |1150 |3172k| 0 |7929 |-3.224901e+02 |-9.900000e+01 | 225.75%
1658.40/1658.77 c 1659s| 31800 | 31801 | 12668k| 389.9 | 183M| 83 | 295 |1000 | 15k|1000 |1149 |3181k| 0 |7929 |-3.224851e+02 |-9.900000e+01 | 225.74%
1661.60/1661.96 c 1662s| 31900 | 31901 | 12699k| 389.6 | 184M| 83 | 7 |1000 | 15k|1000 | 995 |3190k| 0 |7929 |-3.224812e+02 |-9.900000e+01 | 225.74%
1663.90/1664.24 c 1664s| 32000 | 32001 | 12724k| 389.2 | 184M| 83 | 202 |1000 | 15k|1000 |1146 |3200k| 0 |7929 |-3.224812e+02 |-9.900000e+01 | 225.74%
1668.90/1669.28 c 1669s| 32100 | 32101 | 12770k| 389.4 | 185M| 83 | 383 |1000 | 15k|1000 |1132 |3209k| 0 |7929 |-3.224781e+02 |-9.900000e+01 | 225.74%
1671.20/1671.51 c 1672s| 32200 | 32201 | 12794k| 388.9 | 185M| 83 | 196 |1000 | 15k|1000 |1146 |3218k| 0 |7929 |-3.224781e+02 |-9.900000e+01 | 225.74%
1675.79/1676.13 c 1676s| 32300 | 32301 | 12838k| 389.1 | 186M| 83 | 396 |1000 | 15k|1000 |1133 |3227k| 0 |7929 |-3.224418e+02 |-9.900000e+01 | 225.70%
1677.50/1677.82 c 1678s| 32400 | 32401 | 12857k| 388.5 | 186M| 83 | 47 |1000 | 15k|1000 |1150 |3236k| 0 |7929 |-3.224418e+02 |-9.900000e+01 | 225.70%
1680.60/1680.97 c 1681s| 32500 | 32501 | 12889k| 388.3 | 186M| 83 | 248 |1000 | 15k|1000 |1153 |3246k| 0 |7929 |-3.224405e+02 |-9.900000e+01 | 225.70%
1682.60/1682.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1682.60/1682.94 c 1683s| 32600 | 32601 | 12912k| 387.8 | 187M| 83 | 32 |1000 | 15k|1000 |1152 |3255k| 0 |7929 |-3.224405e+02 |-9.900000e+01 | 225.70%
1686.29/1686.66 c 1687s| 32700 | 32701 | 12948k| 387.7 | 187M| 83 | 38 |1000 | 15k|1000 | 995 |3263k| 0 |7929 |-3.224353e+02 |-9.900000e+01 | 225.69%
1689.10/1689.45 c 1689s| 32800 | 32801 | 12977k| 387.4 | 188M| 83 | 282 |1000 | 15k|1000 |1468 |3272k| 0 |7929 |-3.224350e+02 |-9.900000e+01 | 225.69%
1692.50/1692.82 c 1693s| 32900 | 32901 | 13009k| 387.2 | 188M| 83 | 265 |1000 | 15k|1000 |1209 |3282k| 0 |7939 |-3.224350e+02 |-9.900000e+01 | 225.69%
1697.30/1697.60 c 1698s| 33000 | 33001 | 13047k| 387.2 | 189M| 83 | 215 |1000 | 15k|1000 |1144 |3292k| 0 |7979 |-3.224350e+02 |-9.900000e+01 | 225.69%
1701.99/1702.30 c 1702s| 33100 | 33101 | 13087k| 387.2 | 189M| 83 | 424 |1000 | 15k|1000 |1814 |3301k| 0 |8016 |-3.224251e+02 |-9.900000e+01 | 225.68%
1705.50/1705.81 c 1706s| 33200 | 33201 | 13116k| 386.9 | 189M| 83 | 378 |1000 | 15k|1000 |1152 |3310k| 0 |8053 |-3.224251e+02 |-9.900000e+01 | 225.68%
1710.39/1710.78 c 1711s| 33300 | 33301 | 13154k| 386.9 | 190M| 83 | 22 |1000 | 15k|1000 | 995 |3319k| 0 |8096 |-3.224243e+02 |-9.900000e+01 | 225.68%
1714.70/1715.06 c 1715s| 33400 | 33401 | 13190k| 386.8 | 190M| 83 | 60 |1000 | 15k|1000 | 995 |3329k| 0 |8119 |-3.224243e+02 |-9.900000e+01 | 225.68%
1717.90/1718.24 c 1718s| 33500 | 33501 | 13220k| 386.6 | 191M| 83 | 305 |1000 | 15k|1000 |1140 |3339k| 0 |8163 |-3.224243e+02 |-9.900000e+01 | 225.68%
1722.79/1723.18 c 1723s| 33600 | 33601 | 13256k| 386.5 | 191M| 83 | 115 |1000 | 15k|1000 | 995 |3348k| 0 |8202 |-3.224236e+02 |-9.900000e+01 | 225.68%
1725.29/1725.66 c 1726s| 33700 | 33701 | 13280k| 386.1 | 192M| 83 | 194 |1000 | 15k|1000 |1149 |3358k| 0 |8212 |-3.224236e+02 |-9.900000e+01 | 225.68%
1729.69/1730.03 c 1730s| 33800 | 33801 | 13317k| 386.0 | 192M| 83 | 272 |1000 | 15k|1000 |1137 |3369k| 0 |8224 |-3.224234e+02 |-9.900000e+01 | 225.68%
1733.69/1734.02 c 1734s| 33900 | 33901 | 13348k| 385.8 | 193M| 83 | 277 |1000 | 15k|1000 |1208 |3379k| 0 |8264 |-3.224184e+02 |-9.900000e+01 | 225.68%
1736.89/1737.28 c 1737s| 34000 | 34001 | 13376k| 385.4 | 193M| 83 | 45 |1000 | 15k|1000 | 995 |3386k| 0 |8275 |-3.224176e+02 |-9.900000e+01 | 225.67%
1739.09/1739.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1739.09/1739.46 c 1739s| 34100 | 34101 | 13397k| 384.9 | 193M| 83 | 5 |1000 | 15k|1000 |1158 |3397k| 0 |8311 |-3.224176e+02 |-9.900000e+01 | 225.67%
1743.69/1744.06 c 1744s| 34200 | 34201 | 13427k| 384.7 | 194M| 83 | 254 |1000 | 15k|1000 |1146 |3407k| 0 |8356 |-3.224176e+02 |-9.900000e+01 | 225.67%
1748.09/1748.43 c 1748s| 34300 | 34301 | 13469k| 384.8 | 194M| 83 | 115 |1000 | 15k|1000 | 995 |3416k| 0 |8367 |-3.223944e+02 |-9.900000e+01 | 225.65%
1751.68/1752.07 c 1752s| 34400 | 34401 | 13493k| 384.4 | 195M| 83 | 262 |1000 | 15k|1000 |1136 |3427k| 0 |8397 |-3.223944e+02 |-9.900000e+01 | 225.65%
1754.39/1754.76 c 1755s| 34500 | 34501 | 13520k| 384.0 | 195M| 83 | 352 |1000 | 15k|1000 |1146 |3436k| 0 |8397 |-3.223940e+02 |-9.900000e+01 | 225.65%
1757.79/1758.10 c 1758s| 34600 | 34601 | 13549k| 383.8 | 196M| 83 | 369 |1000 | 15k|1000 |1157 |3446k| 0 |8409 |-3.223940e+02 |-9.900000e+01 | 225.65%
1759.39/1759.76 c 1760s| 34700 | 34701 | 13566k| 383.1 | 196M| 83 | 304 |1000 | 15k|1000 |1491 |3454k| 0 |8424 |-3.223940e+02 |-9.900000e+01 | 225.65%
1763.29/1763.62 c 1764s| 34800 | 34801 | 13599k| 383.0 | 196M| 83 | 181 |1000 | 15k|1000 |1141 |3464k| 0 |8433 |-3.223882e+02 |-9.900000e+01 | 225.64%
1766.69/1767.06 c 1767s| 34900 | 34901 | 13627k| 382.7 | 197M| 83 | 151 |1000 | 15k|1000 |1154 |3474k| 0 |8462 |-3.223845e+02 |-9.900000e+01 | 225.64%
1771.79/1772.14 c 1772s| 35000 | 35001 | 13665k| 382.7 | 197M| 83 | 442 |1000 | 15k|1000 |1861 |3485k| 0 |8503 |-3.223765e+02 |-9.900000e+01 | 225.63%
1773.79/1774.15 c 1774s| 35100 | 35101 | 13687k| 382.2 | 198M| 83 | 85 |1000 | 15k|1000 |1157 |3496k| 0 |8508 |-3.223765e+02 |-9.900000e+01 | 225.63%
1776.78/1777.13 c 1777s| 35200 | 35201 | 13717k| 382.0 | 198M| 83 | 284 |1000 | 15k|1000 |1245 |3505k| 0 |8510 |-3.223765e+02 |-9.900000e+01 | 225.63%
1780.88/1781.25 c 1781s| 35300 | 35301 | 13754k| 382.0 | 199M| 83 | 230 |1000 | 15k|1000 |1146 |3515k| 0 |8518 |-3.223729e+02 |-9.900000e+01 | 225.63%
1783.89/1784.28 c 1784s| 35400 | 35401 | 13783k| 381.7 | 199M| 83 | 20 |1000 | 15k|1000 | 995 |3525k| 0 |8519 |-3.223713e+02 |-9.900000e+01 | 225.63%
1785.88/1786.26 c 1786s| 35500 | 35501 | 13806k| 381.3 | 199M| 83 | 284 |1000 | 15k|1000 |1217 |3536k| 0 |8519 |-3.223713e+02 |-9.900000e+01 | 225.63%
1788.88/1789.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1788.88/1789.23 c 1789s| 35600 | 35601 | 13837k| 381.1 | 200M| 83 | 325 |1000 | 15k|1000 |1522 |3547k| 0 |8519 |-3.223695e+02 |-9.900000e+01 | 225.63%
1791.38/1791.72 c 1792s| 35700 | 35701 | 13863k| 380.7 | 200M| 83 | 33 |1000 | 15k|1000 |1144 |3555k| 0 |8519 |-3.223694e+02 |-9.900000e+01 | 225.63%
1794.58/1794.91 c 1795s| 35800 | 35801 | 13895k| 380.6 | 201M| 83 | 112 |1000 | 15k|1000 |1141 |3565k| 0 |8519 |-3.223688e+02 |-9.900000e+01 | 225.63%
1796.68/1797.00 c
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Solving Time (sec) : 1797.01
1796.68/1797.00 c Solving Nodes : 35884
1796.68/1797.00 c Primal Bound : -9.90000000000000e+01 (483 solutions)
1796.68/1797.00 c Dual Bound : -3.22357743924829e+02
1796.68/1797.00 c Gap : 225.61 %
1796.68/1797.01 s SATISFIABLE
1796.68/1797.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769
1796.68/1797.01 v x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 x750 -x749 -x748
1796.68/1797.01 v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 x728 -x727
1796.68/1797.01 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 x707 -x706
1796.68/1797.01 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 x688 -x687 -x686 -x685
1796.68/1797.01 v -x684 x683 -x682 x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
1796.68/1797.01 v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1796.68/1797.01 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
1796.68/1797.01 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601
1796.68/1797.01 v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580
1796.68/1797.01 v -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1796.68/1797.01 v -x558 -x557 -x556 -x555 x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538
1796.68/1797.01 v -x537 -x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 x520 -x519 -x518 -x517
1796.68/1797.01 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 x502 -x501 -x500 -x499 -x498 -x497 -x496
1796.68/1797.01 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475
1796.68/1797.01 v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 x454
1796.68/1797.01 v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433
1796.68/1797.01 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412
1796.68/1797.01 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 x393 -x392 -x391
1796.68/1797.01 v -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x369
1796.68/1797.01 v -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 x350 -x349 -x348
1796.68/1797.01 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327
1796.68/1797.01 v -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306
1796.68/1797.01 v -x305 -x304 -x303 -x302 -x301 -x300 x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285
1796.68/1797.01 v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264
1796.68/1797.01 v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 x247 -x246 x245 x244 -x243
1796.68/1797.01 v -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 x234 x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221
1796.68/1797.01 v -x220 -x219 x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
1796.68/1797.01 v -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1796.68/1797.01 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158
1796.68/1797.01 v x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1796.68/1797.01 v -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116
1796.68/1797.01 v -x115 -x114 x113 -x112 -x111 -x110 x109 -x108 x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 x93
1796.68/1797.01 v -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 x69 -x68 x67 x66
1796.68/1797.01 v x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 x56 x55 -x54 -x53 x52 -x51 -x50 x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40
1796.68/1797.01 v x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 x18 x17 x16 -x15 x14 -x13
1796.68/1797.01 v -x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Total Time : 1797.01
1796.68/1797.01 c solving : 1797.01
1796.68/1797.01 c presolving : 0.44 (included in solving)
1796.68/1797.01 c reading : 0.02 (included in solving)
1796.68/1797.01 c copying : 0.30 (10 #copies) (minimal 0.03, maximal 0.03, average 0.03)
1796.68/1797.01 c Original Problem :
1796.68/1797.01 c Problem name : HOME/instance-3693794-1338036233.opb
1796.68/1797.01 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 1000 initial, 1000 maximal
1796.68/1797.01 c Objective sense : minimize
1796.68/1797.01 c Presolved Problem :
1796.68/1797.01 c Problem name : t_HOME/instance-3693794-1338036233.opb
1796.68/1797.01 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 15820 initial, 15820 maximal
1796.68/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c setppc : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c and : 0.17 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c linear : 0.05 0.00 15820 0 0 15820 0 1000 0 0 0
1796.68/1797.01 c logicor : 0.06 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c root node : - - 0 - - 0 - - - - -
1796.68/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c integral : 0 0 0 0 41822 0 86438 0 0 0 0 0 71766
1796.68/1797.01 c setppc : 15820 15820 211 131421 5939 1 86434 0 0 632794 3574024 0 0
1796.68/1797.01 c countsols : 0 0 0 0 0 1 485 0 0 0 0 0 0
1796.68/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.01 c integral : 306.66 0.00 0.00 0.00 306.59 0.00 0.06 0.00
1796.68/1797.01 c setppc : 21.99 0.00 1.15 10.65 5.45 0.00 4.74 0.00
1796.68/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.01 c rootredcost : 1 0 0 0
1796.68/1797.01 c pseudoobj : 167254 0 0 0
1796.68/1797.01 c vbounds : 0 0 0 0
1796.68/1797.01 c redcost : 42032 0 0 0
1796.68/1797.01 c probing : 0 0 0 0
1796.68/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.01 c rootredcost : 0.04 0.00 0.00 0.04 0.00
1796.68/1797.01 c pseudoobj : 0.35 0.01 0.00 0.35 0.00
1796.68/1797.01 c vbounds : 0.04 0.00 0.00 0.04 0.00
1796.68/1797.01 c redcost : 0.82 0.00 0.00 0.82 0.00
1796.68/1797.01 c probing : 0.02 0.00 0.02 0.00 0.00
1796.68/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c applied globally : - - - 0 0.0 - - -
1796.68/1797.01 c applied locally : - - - 0 0.0 - - -
1796.68/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.01 c cut pool : 0.21 210 - - 3711 - (maximal pool size: 8776)
1796.68/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c impliedbounds : 0.21 0.00 210 0 0 18864 0
1796.68/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c gomory : 0.09 0.00 10 0 0 500 0
1796.68/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c strongcg : 1.25 0.00 20 0 0 10000 0
1796.68/1797.01 c cmir : 0.37 0.00 10 0 0 0 0
1796.68/1797.01 c flowcover : 0.28 0.00 10 0 0 0 0
1796.68/1797.01 c clique : 5.29 0.00 209 0 0 1633 0
1796.68/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c mcf : 0.01 0.00 1 0 0 0 0
1796.68/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.01 c problem variables: 0.00 - 0 0
1796.68/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c relpscost : 306.54 0.00 35883 0 0 0 0 71766
1796.68/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c inference : 0.00 0.00 1 0 0 0 0 2
1796.68/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.01 c LP solutions : 0.00 - - 0
1796.68/1797.01 c pseudo solutions : 0.00 - - 0
1796.68/1797.01 c intshifting : 0.00 0.00 0 0
1796.68/1797.01 c oneopt : 0.03 0.00 2 1
1796.68/1797.01 c crossover : 1.09 0.00 9 2
1796.68/1797.01 c coefdiving : 21.13 0.00 714 42
1796.68/1797.01 c linesearchdiving : 22.20 0.00 714 25
1796.68/1797.01 c guideddiving : 23.99 0.00 714 20
1796.68/1797.01 c veclendiving : 28.61 0.00 714 44
1796.68/1797.01 c pscostdiving : 28.06 0.00 715 18
1796.68/1797.01 c smallcard : 0.00 0.00 0 0
1796.68/1797.01 c trivial : 0.01 0.00 2 1
1796.68/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.68/1797.01 c simplerounding : 3.54 0.00 36093 305
1796.68/1797.01 c zirounding : 0.28 0.00 1000 0
1796.68/1797.01 c rounding : 29.35 0.00 8713 1
1796.68/1797.01 c shifting : 11.71 0.00 2495 1
1796.68/1797.01 c twoopt : 0.00 0.00 0 0
1796.68/1797.01 c indoneopt : 0.02 0.00 0 0
1796.68/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.01 c feaspump : 0.00 0.00 0 0
1796.68/1797.01 c clique : 0.00 0.00 0 0
1796.68/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.01 c indrounding : 0.00 0.00 0 0
1796.68/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.01 c fracdiving : 22.16 0.00 715 15
1796.68/1797.01 c intdiving : 0.00 0.00 0 0
1796.68/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.01 c objpscostdiving : 22.65 0.00 26 4
1796.68/1797.01 c rootsoldiving : 12.35 0.00 225 4
1796.68/1797.01 c octane : 0.00 0.00 0 0
1796.68/1797.01 c rens : 0.04 0.00 0 0
1796.68/1797.01 c rins : 0.00 0.00 0 0
1796.68/1797.01 c localbranching : 0.00 0.00 0 0
1796.68/1797.01 c mutation : 0.00 0.00 0 0
1796.68/1797.01 c dins : 0.00 0.00 0 0
1796.68/1797.01 c vbounds : 0.00 0.00 0 0
1796.68/1797.01 c undercover : 0.00 0.00 0 0
1796.68/1797.01 c subnlp : 0.01 0.00 0 0
1796.68/1797.01 c trysol : 0.02 0.00 0 0
1796.68/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.01 c primal LP : 3.16 5973 0 0.00 0.00 3.16 5973
1796.68/1797.01 c dual LP : 1215.21 42284 12098322 287.83 9955.72 0.15 251
1796.68/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.01 c diving/probing LP: 161.69 44967 1819197 40.46 11250.80
1796.68/1797.01 c strong branching : 304.36 8519 2193816 257.52 7207.98
1796.68/1797.01 c (at root node) : - 37 35503 959.54 -
1796.68/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.01 c B&B Tree :
1796.68/1797.01 c number of runs : 1
1796.68/1797.01 c nodes : 35884
1796.68/1797.01 c nodes (total) : 35884
1796.68/1797.01 c nodes left : 35885
1796.68/1797.01 c max depth : 83
1796.68/1797.01 c max depth (total): 83
1796.68/1797.01 c backtracks : 4541 (12.7%)
1796.68/1797.01 c delayed cutoffs : 0
1796.68/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.68/1797.01 c avg switch length: 3.92
1796.68/1797.01 c switching time : 9.87
1796.68/1797.01 c Solution :
1796.68/1797.01 c Solutions found : 483 (4 improvements)
1796.68/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.12 seconds, depth 0, found by <trivial>)
1796.68/1797.01 c Primal Bound : -9.90000000000000e+01 (in run 1, after 1 nodes, 0.98 seconds, depth 0, found by <oneopt>)
1796.68/1797.01 c Dual Bound : -3.22357743924829e+02
1796.68/1797.01 c Gap : 225.61 %
1796.68/1797.01 c Root Dual Bound : -3.26999999999998e+02
1796.68/1797.01 c Root Iterations : 271381
1796.88/1797.24 c Time complete: 1796.92.
OK -99
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-3693794-1338036233/watcher-3693794-1338036233 -o /tmp/evaluation-result-3693794-1338036233/solver-3693794-1338036233 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693794-1338036233.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 32288 /proc/meminfo: memFree=27004288/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=10712 CPUtime=0 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 1445 0 0 0 0 0 0 0 20 0 1 0 269751846 10969088 1399 33554432000 4194304 10169799 140736747553392 140736515144488 8797266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 2713 1399 413 1459 0 1245 0 [startup+0.0291 s] /proc/loadavg: 2.00 2.00 2.00 3/176 32288 /proc/meminfo: memFree=27004288/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=17116 CPUtime=0.01 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 3008 0 0 0 1 0 0 0 20 0 1 0 269751846 17526784 2962 33554432000 4194304 10169799 140736747553392 140736515144488 7546905 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 4279 2962 463 1459 0 2811 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 17116 [startup+0.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/176 32288 /proc/meminfo: memFree=27004288/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=43600 CPUtime=0.09 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 9392 0 0 0 7 2 0 0 20 0 1 0 269751846 44646400 9346 33554432000 4194304 10169799 140736747553392 140736515144488 4499518 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 10900 9346 509 1459 0 9432 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 43600 [startup+0.300309 s] /proc/loadavg: 2.00 2.00 2.00 3/176 32288 /proc/meminfo: memFree=27004288/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=57688 CPUtime=0.29 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 13081 0 0 0 24 5 0 0 20 0 1 0 269751846 59072512 12649 33554432000 4194304 10169799 140736747553392 140736747551800 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 14422 12649 560 1459 0 12954 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 57688 [startup+0.700299 s] /proc/loadavg: 2.00 2.00 2.00 3/176 32288 /proc/meminfo: memFree=27004288/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=86792 CPUtime=0.69 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 21057 0 0 0 61 8 0 0 20 0 1 0 269751846 88875008 19680 33554432000 4194304 10169799 140736747553392 140736747551800 6797115 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 21698 19680 746 1459 0 20230 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 86792 [startup+1.50031 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32289 /proc/meminfo: memFree=26927896/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=88028 CPUtime=1.49 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 21706 0 0 0 139 10 0 0 20 0 1 0 269751846 90140672 20289 33554432000 4194304 10169799 140736747553392 140736747548184 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 22007 20289 783 1459 0 20539 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 88028 [startup+3.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32289 /proc/meminfo: memFree=26923796/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=94356 CPUtime=3.09 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 23273 0 0 0 298 11 0 0 20 0 1 0 269751846 96620544 21856 33554432000 4194304 10169799 140736747553392 140736747550904 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 23589 21856 785 1459 0 22121 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 94356 [startup+6.3003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32289 /proc/meminfo: memFree=26902068/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=102508 CPUtime=6.29 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 26468 0 0 0 616 13 0 0 20 0 1 0 269751846 104968192 24205 33554432000 4194304 10169799 140736747553392 140736747548184 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 25627 24205 785 1459 0 24159 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 102508 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32289 /proc/meminfo: memFree=26896008/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=109624 CPUtime=12.69 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 28054 0 0 0 1254 15 0 0 20 0 1 0 269751846 112254976 25763 33554432000 4194304 10169799 140736747553392 140736747550984 5286317 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 27406 25763 786 1459 0 25938 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 109624 [startup+25.5002 s] /proc/loadavg: 2.08 2.02 2.01 3/177 32289 /proc/meminfo: memFree=26886272/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=113064 CPUtime=25.49 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 28945 0 0 0 2528 21 0 0 20 0 1 0 269751846 115777536 26534 33554432000 4194304 10169799 140736747553392 140736747547800 7469356 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 28266 26534 786 1459 0 26798 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 113064 [startup+51.1002 s] /proc/loadavg: 2.05 2.01 2.00 3/177 32289 /proc/meminfo: memFree=26886148/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=113064 CPUtime=51.08 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 28965 0 0 0 5076 32 0 0 20 0 1 0 269751846 115777536 26554 33554432000 4194304 10169799 140736747553392 140736747547800 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 28266 26554 786 1459 0 26798 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 113064 [startup+102.307 s] /proc/loadavg: 2.02 2.01 2.00 3/177 32289 /proc/meminfo: memFree=26885404/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=113880 CPUtime=102.28 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 31948 0 0 0 10177 51 0 0 20 0 1 0 269751846 116613120 26591 33554432000 4194304 10169799 140736747553392 140736747547992 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 28470 26591 817 1459 0 27002 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 113880 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32289 /proc/meminfo: memFree=26896132/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=113880 CPUtime=162.26 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 31956 0 0 0 16132 94 0 0 20 0 1 0 269751846 116613120 26599 33554432000 4194304 10169799 140736747553392 140736747547992 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 28470 26599 823 1459 0 27002 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 113880 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32289 /proc/meminfo: memFree=26900212/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=112524 CPUtime=222.24 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 38411 0 0 0 22076 148 0 0 20 0 1 0 269751846 115224576 26516 33554432000 4194304 10169799 140736747553392 140736747547800 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 28131 26516 835 1459 0 26663 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 112524 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32290 /proc/meminfo: memFree=26889224/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=116392 CPUtime=282.23 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 53213 0 0 0 28015 208 0 0 20 0 1 0 269751846 119185408 27454 33554432000 4194304 10169799 140736747553392 140736747547896 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 29098 27454 836 1459 0 27630 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 116392 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32290 /proc/meminfo: memFree=26886124/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=119264 CPUtime=342.22 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 61134 0 0 0 33955 267 0 0 20 0 1 0 269751846 122126336 28258 33554432000 4194304 10169799 140736747553392 140736747547848 6797125 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 29816 28258 836 1459 0 28348 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 119264 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 32293 /proc/meminfo: memFree=26882264/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=123272 CPUtime=402.21 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 62008 0 0 0 39896 325 0 0 20 0 1 0 269751846 126230528 29132 33554432000 4194304 10169799 140736747553392 140736747548184 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 30818 29132 836 1459 0 29350 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 123272 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32293 /proc/meminfo: memFree=26880536/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=125008 CPUtime=462.2 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 69591 0 0 0 45838 382 0 0 20 0 1 0 269751846 128008192 29587 33554432000 4194304 10169799 140736747553392 140736747547800 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 31252 29587 836 1459 0 29784 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 125008 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32293 /proc/meminfo: memFree=26872588/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=130144 CPUtime=522.19 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 70919 0 0 0 51776 443 0 0 20 0 1 0 269751846 133267456 31164 33554432000 4194304 10169799 140736747553392 140736747547800 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 32536 31164 836 1459 0 31068 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 130144 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 32293 /proc/meminfo: memFree=26868012/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=134028 CPUtime=582.18 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 71771 0 0 0 57714 504 0 0 20 0 1 0 269751846 137244672 32016 33554432000 4194304 10169799 140736747553392 140736747547848 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 33507 32016 836 1459 0 32039 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 134028 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=26492216/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=190532 CPUtime=1122.1 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 99564 0 0 0 111110 1100 0 0 20 0 1 0 269751846 195104768 46041 33554432000 4194304 10169799 140736747553392 140736747548184 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 47633 46041 836 1459 0 46165 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 190532 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32359 /proc/meminfo: memFree=26485268/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=196524 CPUtime=1182.09 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 108079 0 0 0 117044 1165 0 0 20 0 1 0 269751846 201240576 47469 33554432000 4194304 10169799 140736747553392 140736747550584 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 49131 47469 836 1459 0 47663 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 196524 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 32360 /proc/meminfo: memFree=26477392/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=201852 CPUtime=1242.08 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 109416 0 0 0 122970 1238 0 0 20 0 1 0 269751846 206696448 48805 33554432000 4194304 10169799 140736747553392 140736747550296 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 50463 48805 836 1459 0 48995 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 201852 [startup+1302.3 s] /proc/loadavg: 2.08 2.02 2.01 3/177 32360 /proc/meminfo: memFree=26470768/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=206796 CPUtime=1302.06 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 117599 0 0 0 128894 1312 0 0 20 0 1 0 269751846 211759104 50372 33554432000 4194304 10169799 140736747553392 140736747547800 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 51699 50372 836 1459 0 50231 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 206796 [startup+1362.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 32360 /proc/meminfo: memFree=26462460/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=215012 CPUtime=1362.04 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 119531 0 0 0 134829 1375 0 0 20 0 1 0 269751846 220172288 52251 33554432000 4194304 10169799 140736747553392 140736747547896 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 53753 52251 836 1459 0 52285 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 215012 [startup+1422.31 s] /proc/loadavg: 2.05 2.02 2.00 3/177 32360 /proc/meminfo: memFree=26416668/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=222896 CPUtime=1422.05 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 121439 0 0 0 140762 1443 0 0 20 0 1 0 269751846 228245504 54137 33554432000 4194304 10169799 140736747553392 140736747547896 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 55724 54137 836 1459 0 54256 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 222896 [startup+1482.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 32360 /proc/meminfo: memFree=26410592/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=229248 CPUtime=1482.03 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 123016 0 0 0 146695 1508 0 0 20 0 1 0 269751846 234749952 55702 33554432000 4194304 10169799 140736747553392 140736747548040 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 57312 55702 836 1459 0 55844 0 Current children cumulated CPU time (s) 1482.03 Current children cumulated vsize (KiB) 229248 [startup+1542.3 s] /proc/loadavg: 2.13 2.04 2.01 3/177 32361 /proc/meminfo: memFree=26403400/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=236236 CPUtime=1542.01 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 124847 0 0 0 152627 1574 0 0 20 0 1 0 269751846 241905664 57532 33554432000 4194304 10169799 140736747553392 140736747547416 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 59059 57532 836 1459 0 57591 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 236236 [startup+1602.3 s] /proc/loadavg: 2.10 2.05 2.01 3/178 32364 /proc/meminfo: memFree=26397064/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=242920 CPUtime=1602.01 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 126508 0 0 0 158561 1640 0 0 20 0 1 0 269751846 248750080 59183 33554432000 4194304 10169799 140736747553392 140736747547848 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 60730 59183 836 1459 0 59262 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 242920 [startup+1662.3 s] /proc/loadavg: 2.09 2.05 2.01 3/177 32364 /proc/meminfo: memFree=26384608/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=255120 CPUtime=1662 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 129558 0 0 0 164497 1703 0 0 20 0 1 0 269751846 261242880 62182 33554432000 4194304 10169799 140736747553392 140736747547800 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 63780 62182 836 1459 0 62312 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 255120 [startup+1722.3 s] /proc/loadavg: 2.03 2.04 2.00 3/177 32364 /proc/meminfo: memFree=26378532/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=261272 CPUtime=1721.99 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 131026 0 0 0 170433 1766 0 0 20 0 1 0 269751846 267542528 63633 33554432000 4194304 10169799 140736747553392 140736747547896 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 65318 63633 836 1459 0 63850 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 261272 [startup+1782.3 s] /proc/loadavg: 2.01 2.03 2.00 3/177 32364 /proc/meminfo: memFree=26369852/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=269512 CPUtime=1781.98 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 133204 0 0 0 176369 1829 0 0 20 0 1 0 269751846 275980288 65753 33554432000 4194304 10169799 140736747553392 140736747547896 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 67378 65753 836 1459 0 65910 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 269512 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.01 2.03 2.00 3/177 32364 /proc/meminfo: memFree=26369852/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=269512 CPUtime=1785.19 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 133214 0 0 0 176686 1833 0 0 20 0 1 0 269751846 275980288 65763 33554432000 4194304 10169799 140736747553392 140736747548184 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 67378 65763 836 1459 0 65910 0 Current children cumulated CPU time (s) 1785.19 Current children cumulated vsize (KiB) 269512 [startup+1791.91 s] /proc/loadavg: 2.16 2.06 2.01 3/177 32364 /proc/meminfo: memFree=26369108/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=270412 CPUtime=1791.58 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 133398 0 0 0 177320 1838 0 0 20 0 1 0 269751846 276901888 65947 33554432000 4194304 10169799 140736747553392 140736747547896 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 67603 65947 836 1459 0 66135 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (KiB) 270412 [startup+1795.1 s] /proc/loadavg: 2.16 2.06 2.01 3/177 32364 /proc/meminfo: memFree=26368984/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=270556 CPUtime=1794.78 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 133425 0 0 0 177637 1841 0 0 20 0 1 0 269751846 277049344 65974 33554432000 4194304 10169799 140736747553392 140736747547800 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 67639 65974 836 1459 0 66171 0 Current children cumulated CPU time (s) 1794.78 Current children cumulated vsize (KiB) 270556 [startup+1795.9 s] /proc/loadavg: 2.16 2.06 2.01 3/177 32364 /proc/meminfo: memFree=26368984/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=270556 CPUtime=1795.58 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 133425 0 0 0 177716 1842 0 0 20 0 1 0 269751846 277049344 65974 33554432000 4194304 10169799 140736747553392 140736747547800 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 67639 65974 836 1459 0 66171 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (KiB) 270556 [startup+1796.7 s] /proc/loadavg: 2.16 2.06 2.01 3/177 32364 /proc/meminfo: memFree=26368984/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=270556 CPUtime=1796.38 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 133426 0 0 0 177795 1843 0 0 20 0 1 0 269751846 277049344 65975 33554432000 4194304 10169799 140736747553392 140736747547800 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 67639 65975 836 1459 0 66171 0 Current children cumulated CPU time (s) 1796.38 Current children cumulated vsize (KiB) 270556 [startup+1797.1 s] /proc/loadavg: 2.16 2.06 2.01 3/177 32364 /proc/meminfo: memFree=26368984/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=270556 CPUtime=1796.78 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 133429 0 0 0 177835 1843 0 0 20 0 1 0 269751846 277049344 65978 33554432000 4194304 10169799 140736747553392 140736747547800 4926032 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 67639 65978 839 1459 0 66171 0 Current children cumulated CPU time (s) 1796.78 Current children cumulated vsize (KiB) 270556 [startup+1797.2 s] /proc/loadavg: 2.16 2.06 2.01 3/177 32364 /proc/meminfo: memFree=26368984/32873844 swapFree=6088/6088 [pid=32288] ppid=32286 vsize=269776 CPUtime=1796.88 cores=1,3,5,7 /proc/32288/stat : 32288 (scip-2.1.1.4sfi) R 32286 32288 30587 0 -1 4202496 133429 0 0 0 177845 1843 0 0 20 0 1 0 269751846 276250624 65783 33554432000 4194304 10169799 140736747553392 140736747547800 5280276 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/32288/statm: 67444 65783 839 1459 0 65976 0 Current children cumulated CPU time (s) 1796.88 Current children cumulated vsize (KiB) 269776 Child status: 0 Real time (s): 1797.24 CPU time (s): 1796.93 CPU user time (s): 1778.49 CPU system time (s): 18.4462 CPU usage (%): 99.9827 Max. virtual memory (cumulated for all children) (KiB): 270556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1778.49 system time used= 18.4462 maximum resident set size= 263912 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 133431 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= 44 involuntary context switches= 1849 runsolver used 2.86756 second user time and 7.37288 second system time The end
Begin job on node108 at 2012-05-26 14:43:53 IDJOB=3693794 IDBENCH=48193 IDSOLVER=2272 FILE ID=node108/3693794-1338036233 RUNJOBID= node108-1338029023-31811 PBS_JOBID= 14624363 Free space on /tmp= 71700 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_1.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-3693794-1338036233/watcher-3693794-1338036233 -o /tmp/evaluation-result-3693794-1338036233/solver-3693794-1338036233 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693794-1338036233.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0945390fcac05113ffd57d1199a19e21 RANDOM SEED=922885193 node108.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.273 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.54 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.273 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.273 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 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.273 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.273 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 : 5438.55 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.273 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.273 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27004660 kB Buffers: 234488 kB Cached: 4520800 kB SwapCached: 0 kB Active: 897732 kB Inactive: 4197312 kB Active(anon): 342408 kB Inactive(anon): 0 kB Active(file): 555324 kB Inactive(file): 4197312 kB Unevictable: 6088 kB Mlocked: 6088 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 13868 kB Writeback: 0 kB AnonPages: 353608 kB Mapped: 17904 kB Shmem: 200 kB Slab: 634312 kB SReclaimable: 76636 kB SUnreclaim: 557676 kB KernelStack: 1456 kB PageTables: 4376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 451872 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 284672 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= 71684 MiB End job on node108 at 2012-05-26 15:13:50