Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed | SAT | -99 | 1796.86 | 1797.18 |
| 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-3691462-1338020926.opb>
0.01/0.02 c original problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1000 constraints
0.01/0.02 c problem read in 0.02
0.08/0.11 o 0
0.08/0.11 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.08/0.11 c presolving:
0.39/0.42 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.48/0.57 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.59/0.63 c (0.6s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.63 c (0.6s) probing aborted: 50/50 successive totally useless probings
0.59/0.63 c presolving (3 rounds):
0.59/0.63 c 15820 deleted vars, 1000 deleted constraints, 0 added constraints, 15820 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.63 c 94920 implications, 0 cliques
0.59/0.63 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15820 constraints
0.59/0.63 c 15820 constraints of type <setppc>
0.59/0.63 c transformed objective value is always integral (scale: 1)
0.59/0.63 c Presolving Time: 0.60
0.59/0.63 c - non default parameters ----------------------------------------------------------------------
0.59/0.63 c # SCIP version 2.1.1.4
0.59/0.63 c
0.59/0.63 c # maximal time in seconds to run
0.59/0.63 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.63 c limits/time = 1797
0.59/0.63 c
0.59/0.63 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.63 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.63 c limits/memory = 13950
0.59/0.63 c
0.59/0.63 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.63 c # [type: int, range: [1,2], default: 1]
0.59/0.63 c timing/clocktype = 2
0.59/0.63 c
0.59/0.63 c # belongs reading time to solving time?
0.59/0.63 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.63 c timing/reading = TRUE
0.59/0.63 c
0.59/0.63 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.63 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.63 c separating/rapidlearning/freq = 0
0.59/0.63 c
0.59/0.63 c -----------------------------------------------------------------------------------------------
0.59/0.63 c start solving
0.59/0.64 c
0.78/0.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.78/0.84 c t 0.8s| 1 | 0 | 1049 | - | 35M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | Inf
0.78/0.87 o -1
0.78/0.87 c R 0.9s| 1 | 0 | 1049 | - | 35M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | Large
0.89/0.91 o -2
0.89/0.91 c s 0.9s| 1 | 0 | 1049 | - | 35M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | Large
1.10/1.16 c 1.2s| 1 | 0 | 1225 | - | 35M| 0 | 993 |1000 | 15k|1000 | 15k| 10 | 0 | 0 |-4.965000e+02 |-2.000000e+00 | Large
1.10/1.16 o -99
1.10/1.16 c b 1.2s| 1 | 0 | 1225 | - | 35M| 0 | 993 |1000 | 15k|1000 | 15k| 10 | 0 | 0 |-4.965000e+02 |-9.900000e+01 | 401.52%
1.49/1.54 c 1.5s| 1 | 0 | 1675 | - | 35M| 0 | 987 |1000 | 15k|1000 | 15k| 21 | 0 | 0 |-4.935000e+02 |-9.900000e+01 | 398.48%
1.79/1.87 c 1.9s| 1 | 0 | 1924 | - | 35M| 0 | 982 |1000 | 15k|1000 | 15k| 30 | 0 | 0 |-4.910000e+02 |-9.900000e+01 | 395.96%
2.20/2.23 c 2.2s| 1 | 0 | 2236 | - | 35M| 0 | 977 |1000 | 15k|1000 | 15k| 37 | 0 | 0 |-4.885000e+02 |-9.900000e+01 | 393.43%
2.59/2.63 c 2.6s| 1 | 0 | 2694 | - | 35M| 0 | 964 |1000 | 15k|1000 | 15k| 52 | 0 | 0 |-4.820000e+02 |-9.900000e+01 | 386.87%
2.88/2.95 c 2.9s| 1 | 0 | 2857 | - | 35M| 0 | 956 |1000 | 15k|1000 | 15k| 63 | 0 | 0 |-4.780000e+02 |-9.900000e+01 | 382.83%
3.30/3.33 c 3.3s| 1 | 0 | 3058 | - | 36M| 0 | 952 |1000 | 15k|1000 | 15k| 79 | 0 | 0 |-4.760000e+02 |-9.900000e+01 | 380.81%
3.79/3.85 c 3.9s| 1 | 0 | 3511 | - | 38M| 0 | 948 |1000 | 15k|1000 | 15k| 93 | 0 | 0 |-4.730000e+02 |-9.900000e+01 | 377.78%
4.40/4.45 c 4.5s| 1 | 0 | 4323 | - | 38M| 0 | 946 |1000 | 15k|1000 | 15k| 105 | 0 | 0 |-4.705000e+02 |-9.900000e+01 | 375.25%
4.99/5.08 c 5.1s| 1 | 0 | 5168 | - | 38M| 0 | 943 |1000 | 15k|1000 | 15k| 115 | 0 | 0 |-4.685000e+02 |-9.900000e+01 | 373.23%
5.50/5.58 c 5.6s| 1 | 0 | 5837 | - | 38M| 0 | 936 |1000 | 15k|1000 |1841 | 125 | 0 | 0 |-4.672500e+02 |-9.900000e+01 | 371.97%
5.69/5.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.69/5.78 c 5.8s| 1 | 0 | 6626 | - | 38M| 0 | 928 |1000 | 15k|1000 |1852 | 136 | 0 | 0 |-4.645000e+02 |-9.900000e+01 | 369.19%
5.99/6.03 c 6.0s| 1 | 0 | 7622 | - | 38M| 0 | 927 |1000 | 15k|1000 |1885 | 169 | 0 | 0 |-4.635000e+02 |-9.900000e+01 | 368.18%
6.19/6.28 c 6.3s| 1 | 0 | 8682 | - | 39M| 0 | 906 |1000 | 15k|1000 |2065 | 349 | 0 | 0 |-4.620000e+02 |-9.900000e+01 | 366.67%
6.50/6.58 c 6.6s| 1 | 0 | 9824 | - | 39M| 0 | 906 |1000 | 15k|1000 |2317 | 601 | 0 | 0 |-4.600000e+02 |-9.900000e+01 | 364.65%
6.69/6.78 c 6.8s| 1 | 0 | 10348 | - | 39M| 0 | 913 |1000 | 15k|1000 |2509 | 793 | 0 | 0 |-4.593333e+02 |-9.900000e+01 | 363.97%
6.99/7.01 c 7.0s| 1 | 0 | 10982 | - | 39M| 0 | 913 |1000 | 15k|1000 |1952 | 874 | 0 | 0 |-4.585000e+02 |-9.900000e+01 | 363.13%
7.18/7.23 c 7.2s| 1 | 0 | 12000 | - | 39M| 0 | 912 |1000 | 15k|1000 |1997 | 919 | 0 | 0 |-4.571667e+02 |-9.900000e+01 | 361.78%
7.39/7.45 c 7.5s| 1 | 0 | 12591 | - | 40M| 0 | 908 |1000 | 15k|1000 |2513 |1435 | 0 | 0 |-4.560000e+02 |-9.900000e+01 | 360.61%
7.60/7.67 c 7.7s| 1 | 0 | 13539 | - | 40M| 0 | 902 |1000 | 15k|1000 |2571 |1493 | 0 | 0 |-4.540000e+02 |-9.900000e+01 | 358.59%
7.79/7.82 c 7.8s| 1 | 0 | 13990 | - | 40M| 0 | 898 |1000 | 15k|1000 |2689 |1611 | 0 | 0 |-4.530000e+02 |-9.900000e+01 | 357.58%
7.89/7.95 c 8.0s| 1 | 0 | 14352 | - | 40M| 0 | 911 |1000 | 15k|1000 |2801 |1723 | 0 | 0 |-4.520000e+02 |-9.900000e+01 | 356.57%
7.99/8.06 c 8.1s| 1 | 0 | 14521 | - | 40M| 0 | 894 |1000 | 15k|1000 |2590 |1802 | 0 | 0 |-4.520000e+02 |-9.900000e+01 | 356.57%
8.09/8.19 c 8.2s| 1 | 0 | 14730 | - | 40M| 0 | 894 |1000 | 15k|1000 |2728 |1940 | 0 | 0 |-4.510000e+02 |-9.900000e+01 | 355.56%
8.29/8.33 c 8.3s| 1 | 0 | 15154 | - | 40M| 0 | 880 |1000 | 15k|1000 |2813 |2025 | 0 | 0 |-4.510000e+02 |-9.900000e+01 | 355.56%
8.70/8.77 c 8.8s| 1 | 0 | 17345 | - | 40M| 0 | 935 |1000 | 15k|1000 |3091 |2303 | 0 | 0 |-4.500000e+02 |-9.900000e+01 | 354.55%
9.19/9.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.19/9.27 c 9.3s| 1 | 0 | 19307 | - | 41M| 0 | 911 |1000 | 15k|1000 |4193 |3405 | 0 | 0 |-4.478750e+02 |-9.900000e+01 | 352.40%
9.39/9.43 c 9.4s| 1 | 0 | 19697 | - | 41M| 0 | 892 |1000 | 15k|1000 |4275 |3487 | 0 | 0 |-4.470000e+02 |-9.900000e+01 | 351.52%
9.59/9.63 c 9.6s| 1 | 0 | 20339 | - | 41M| 0 | 891 |1000 | 15k|1000 |3069 |3512 | 0 | 0 |-4.455000e+02 |-9.900000e+01 | 350.00%
9.69/9.73 c 9.7s| 1 | 0 | 20513 | - | 41M| 0 | 889 |1000 | 15k|1000 |3075 |3518 | 0 | 0 |-4.445000e+02 |-9.900000e+01 | 348.99%
9.79/9.88 c 9.9s| 1 | 0 | 20956 | - | 41M| 0 | 886 |1000 | 15k|1000 |3081 |3524 | 0 | 0 |-4.435000e+02 |-9.900000e+01 | 347.98%
9.99/10.02 c 10.0s| 1 | 0 | 21344 | - | 41M| 0 | 880 |1000 | 15k|1000 |3293 |3736 | 0 | 0 |-4.430000e+02 |-9.900000e+01 | 347.47%
10.19/10.24 c 10.2s| 1 | 0 | 22481 | - | 41M| 0 | 893 |1000 | 15k|1000 |3358 |3801 | 0 | 0 |-4.415000e+02 |-9.900000e+01 | 345.96%
10.28/10.37 c 10.4s| 1 | 0 | 22690 | - | 41M| 0 | 880 |1000 | 15k|1000 |3801 |4244 | 0 | 0 |-4.410000e+02 |-9.900000e+01 | 345.45%
10.48/10.50 c 10.5s| 1 | 0 | 22942 | - | 41M| 0 | 879 |1000 | 15k|1000 |3206 |4269 | 0 | 0 |-4.405000e+02 |-9.900000e+01 | 344.95%
10.58/10.66 c 10.7s| 1 | 0 | 23520 | - | 41M| 0 | 876 |1000 | 15k|1000 |3235 |4298 | 0 | 0 |-4.392500e+02 |-9.900000e+01 | 343.69%
10.79/10.83 c 10.8s| 1 | 0 | 24105 | - | 41M| 0 | 864 |1000 | 15k|1000 |3313 |4376 | 0 | 0 |-4.380000e+02 |-9.900000e+01 | 342.42%
10.90/10.93 c 10.9s| 1 | 0 | 24250 | - | 41M| 0 | 871 |1000 | 15k|1000 |3488 |4551 | 0 | 0 |-4.375000e+02 |-9.900000e+01 | 341.92%
11.00/11.05 c 11.1s| 1 | 0 | 24588 | - | 41M| 0 | 874 |1000 | 15k|1000 |3530 |4593 | 0 | 0 |-4.370000e+02 |-9.900000e+01 | 341.41%
11.09/11.17 c 11.2s| 1 | 0 | 24799 | - | 41M| 0 | 873 |1000 | 15k|1000 |3538 |4601 | 0 | 0 |-4.365000e+02 |-9.900000e+01 | 340.91%
11.29/11.37 c 11.4s| 1 | 0 | 25709 | - | 41M| 0 | 871 |1000 | 15k|1000 |2164 |4607 | 0 | 0 |-4.355000e+02 |-9.900000e+01 | 339.90%
11.49/11.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.49/11.54 c 11.5s| 1 | 0 | 26762 | - | 41M| 0 | 919 |1000 | 15k|1000 |2169 |4612 | 0 | 0 |-4.351163e+02 |-9.900000e+01 | 339.51%
11.89/11.93 c 11.9s| 1 | 0 | 27018 | - | 41M| 0 | 869 |1000 | 15k|1000 |4169 |6612 | 0 | 0 |-4.345000e+02 |-9.900000e+01 | 338.89%
12.00/12.02 c 12.0s| 1 | 0 | 27101 | - | 41M| 0 | 868 |1000 | 15k|1000 |4175 |6618 | 0 | 0 |-4.340000e+02 |-9.900000e+01 | 338.38%
12.10/12.11 c 12.1s| 1 | 0 | 27222 | - | 41M| 0 | 866 |1000 | 15k|1000 |4181 |6624 | 0 | 0 |-4.330000e+02 |-9.900000e+01 | 337.37%
12.10/12.19 c 12.2s| 1 | 0 | 27304 | - | 41M| 0 | 865 |1000 | 15k|1000 |4186 |6629 | 0 | 0 |-4.325000e+02 |-9.900000e+01 | 336.87%
12.29/12.30 c 12.3s| 1 | 0 | 27474 | - | 41M| 0 | 864 |1000 | 15k|1000 |3221 |6633 | 0 | 0 |-4.320000e+02 |-9.900000e+01 | 336.36%
12.39/12.41 c 12.4s| 1 | 0 | 27691 | - | 41M| 0 | 856 |1000 | 15k|1000 |3226 |6638 | 0 | 0 |-4.310000e+02 |-9.900000e+01 | 335.35%
12.49/12.51 c 12.5s| 1 | 0 | 27946 | - | 41M| 0 | 856 |1000 | 15k|1000 |3304 |6716 | 0 | 0 |-4.300000e+02 |-9.900000e+01 | 334.34%
12.59/12.60 c 12.6s| 1 | 0 | 28049 | - | 42M| 0 | 857 |1000 | 15k|1000 |3361 |6773 | 0 | 0 |-4.295000e+02 |-9.900000e+01 | 333.84%
12.69/12.70 c 12.7s| 1 | 0 | 28241 | - | 42M| 0 | 857 |1000 | 15k|1000 |3393 |6805 | 0 | 0 |-4.285000e+02 |-9.900000e+01 | 332.83%
12.69/12.78 c 12.8s| 1 | 0 | 28310 | - | 42M| 0 | 861 |1000 | 15k|1000 |3397 |6809 | 0 | 0 |-4.280000e+02 |-9.900000e+01 | 332.32%
12.99/13.02 c 13.0s| 1 | 0 | 29543 | - | 42M| 0 | 854 |1000 | 15k|1000 |3128 |6814 | 0 | 0 |-4.270000e+02 |-9.900000e+01 | 331.31%
13.09/13.10 c 13.1s| 1 | 0 | 29624 | - | 42M| 0 | 854 |1000 | 15k|1000 |3134 |6820 | 0 | 0 |-4.270000e+02 |-9.900000e+01 | 331.31%
13.19/13.21 c 13.2s| 1 | 0 | 29851 | - | 42M| 0 | 837 |1000 | 15k|1000 |3139 |6825 | 0 | 0 |-4.265000e+02 |-9.900000e+01 | 330.81%
13.39/13.40 c 13.4s| 1 | 0 | 30716 | - | 42M| 0 | 842 |1000 | 15k|1000 |3322 |7008 | 0 | 0 |-4.250000e+02 |-9.900000e+01 | 329.29%
13.39/13.49 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.49 c 13.5s| 1 | 0 | 30854 | - | 42M| 0 | 842 |1000 | 15k|1000 |3429 |7115 | 0 | 0 |-4.250000e+02 |-9.900000e+01 | 329.29%
13.58/13.60 c 13.6s| 1 | 0 | 31134 | - | 42M| 0 | 848 |1000 | 15k|1000 |3528 |7214 | 0 | 0 |-4.247500e+02 |-9.900000e+01 | 329.04%
13.68/13.79 c 13.8s| 1 | 0 | 31830 | - | 42M| 0 | 853 |1000 | 15k|1000 |3438 |7301 | 0 | 0 |-4.235000e+02 |-9.900000e+01 | 327.78%
13.78/13.88 c 13.9s| 1 | 0 | 31933 | - | 42M| 0 | 847 |1000 | 15k|1000 |3571 |7434 | 0 | 0 |-4.235000e+02 |-9.900000e+01 | 327.78%
13.98/14.07 c 14.1s| 1 | 0 | 32995 | - | 42M| 0 | 849 |1000 | 15k|1000 |3577 |7440 | 0 | 0 |-4.225000e+02 |-9.900000e+01 | 326.77%
14.20/14.21 c 14.2s| 1 | 0 | 33345 | - | 42M| 0 | 843 |1000 | 15k|1000 |3662 |7525 | 0 | 0 |-4.215000e+02 |-9.900000e+01 | 325.76%
14.30/14.34 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.39/14.44 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.56 c 14.6s| 1 | 0 | 34063 | - | 42M| 0 | 838 |1000 | 15k|1000 |3515 |7594 | 0 | 0 |-4.200000e+02 |-9.900000e+01 | 324.24%
14.59/14.69 c 14.7s| 1 | 0 | 34491 | - | 42M| 0 | 839 |1000 | 15k|1000 |3543 |7622 | 0 | 0 |-4.195000e+02 |-9.900000e+01 | 323.74%
14.69/14.79 c 14.8s| 1 | 0 | 34656 | - | 42M| 0 | 837 |1000 | 15k|1000 |3548 |7627 | 0 | 0 |-4.195000e+02 |-9.900000e+01 | 323.74%
14.99/15.09 c 15.1s| 1 | 0 | 36543 | - | 42M| 0 | 844 |1000 | 15k|1000 |3570 |7649 | 0 | 0 |-4.181667e+02 |-9.900000e+01 | 322.39%
15.29/15.35 c 15.4s| 1 | 0 | 37694 | - | 42M| 0 | 851 |1000 | 15k|1000 |3739 |7818 | 0 | 0 |-4.172500e+02 |-9.900000e+01 | 321.46%
15.39/15.49 c 15.5s| 1 | 0 | 38119 | - | 42M| 0 | 833 |1000 | 15k|1000 |4014 |8093 | 0 | 0 |-4.160000e+02 |-9.900000e+01 | 320.20%
15.58/15.68 c 15.7s| 1 | 0 | 38909 | - | 42M| 0 | 833 |1000 | 15k|1000 |3647 |8138 | 0 | 0 |-4.150000e+02 |-9.900000e+01 | 319.19%
15.68/15.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.68/15.78 c 15.8s| 1 | 0 | 39117 | - | 42M| 0 | 844 |1000 | 15k|1000 |3673 |8164 | 0 | 0 |-4.145000e+02 |-9.900000e+01 | 318.69%
15.78/15.87 c 15.9s| 1 | 0 | 39291 | - | 42M| 0 | 846 |1000 | 15k|1000 |3680 |8171 | 0 | 0 |-4.140000e+02 |-9.900000e+01 | 318.18%
15.99/16.01 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.18 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.37 c 16.4s| 1 | 0 | 41265 | - | 42M| 0 | 826 |1000 | 15k|1000 |3812 |8303 | 0 | 0 |-4.110000e+02 |-9.900000e+01 | 315.15%
16.49/16.54 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.59/16.68 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.77 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.98 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.3s| 1 | 0 | 44666 | - | 42M| 0 | 827 |1000 | 15k|1000 |4055 |8668 | 0 | 0 |-4.085000e+02 |-9.900000e+01 | 312.63%
17.39/17.45 c 17.5s| 1 | 0 | 45477 | - | 42M| 0 | 821 |1000 | 15k|1000 |4087 |8700 | 0 | 0 |-4.080000e+02 |-9.900000e+01 | 312.12%
17.59/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.09/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.38/18.49 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.88/18.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.88/18.99 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.08/19.15 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.18/19.23 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.28/19.38 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.38/19.47 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.64 c 19.6s| 1 | 0 | 52194 | - | 43M| 0 | 837 |1000 | 15k|1000 |5875 | 11k| 0 | 0 |-4.028056e+02 |-9.900000e+01 | 306.87%
19.70/19.73 c 19.7s| 1 | 0 | 52289 | - | 43M| 0 | 839 |1000 | 15k|1000 |5880 | 11k| 0 | 0 |-4.022222e+02 |-9.900000e+01 | 306.29%
19.80/19.87 c 19.9s| 1 | 0 | 52585 | - | 43M| 0 | 846 |1000 | 15k|1000 |5886 | 11k| 0 | 0 |-4.012222e+02 |-9.900000e+01 | 305.27%
19.99/20.09 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.29/20.38 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.49/20.58 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.79/20.90 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.08/21.14 c 21.1s| 1 | 0 | 56442 | - | 43M| 0 | 795 |1000 | 15k|1000 |5670 | 11k| 0 | 0 |-3.975000e+02 |-9.900000e+01 | 301.52%
21.28/21.32 c 21.3s| 1 | 0 | 56930 | - | 43M| 0 | 791 |1000 | 15k|1000 |5678 | 11k| 0 | 0 |-3.965000e+02 |-9.900000e+01 | 300.51%
21.58/21.66 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.89/21.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.89/21.91 c 21.9s| 1 | 0 | 59256 | - | 43M| 0 | 841 |1000 | 15k|1000 |4491 | 11k| 0 | 0 |-3.930000e+02 |-9.900000e+01 | 296.97%
21.99/22.03 c 22.0s| 1 | 0 | 59483 | - | 43M| 0 | 842 |1000 | 15k|1000 |4546 | 11k| 0 | 0 |-3.925000e+02 |-9.900000e+01 | 296.46%
22.18/22.28 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.42 c 22.4s| 1 | 0 | 60761 | - | 43M| 0 | 782 |1000 | 15k|1000 |4560 | 11k| 0 | 0 |-3.910000e+02 |-9.900000e+01 | 294.95%
22.89/22.97 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.19/23.27 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.49/23.53 c 23.5s| 1 | 0 | 65242 | - | 43M| 0 | 805 |1000 | 15k|1000 |4471 | 11k| 0 | 0 |-3.882500e+02 |-9.900000e+01 | 292.17%
23.59/23.69 c 23.7s| 1 | 0 | 65667 | - | 41M| 0 | 821 |1000 | 15k|1000 |4497 | 11k| 0 | 0 |-3.880000e+02 |-9.900000e+01 | 291.92%
23.79/23.86 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.88/23.99 c 24.0s| 1 | 0 | 66464 | - | 41M| 0 | 820 |1000 | 15k|1000 |4535 | 11k| 0 | 0 |-3.872000e+02 |-9.900000e+01 | 291.11%
24.09/24.20 c 24.2s| 1 | 0 | 67155 | - | 41M| 0 | 820 |1000 | 15k|1000 |4543 | 11k| 0 | 0 |-3.867500e+02 |-9.900000e+01 | 290.66%
24.58/24.63 c 24.6s| 1 | 0 | 68816 | - | 41M| 0 | 888 |1000 | 15k|1000 |4457 | 11k| 0 | 0 |-3.857581e+02 |-9.900000e+01 | 289.65%
24.98/25.03 c 25.0s| 1 | 0 | 70393 | - | 41M| 0 | 824 |1000 | 15k|1000 |4535 | 11k| 0 | 0 |-3.845000e+02 |-9.900000e+01 | 288.38%
25.30/25.36 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.61 c 25.6s| 1 | 0 | 72586 | - | 41M| 0 | 876 |1000 | 15k|1000 |4682 | 11k| 0 | 0 |-3.835138e+02 |-9.900000e+01 | 287.39%
25.99/26.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.99/26.03 c 26.0s| 1 | 0 | 74274 | - | 40M| 0 | 889 |1000 | 15k|1000 |4706 | 11k| 0 | 0 |-3.822769e+02 |-9.900000e+01 | 286.14%
26.09/26.18 c 26.2s| 1 | 0 | 74594 | - | 40M| 0 | 901 |1000 | 15k|1000 |4752 | 11k| 0 | 0 |-3.817641e+02 |-9.900000e+01 | 285.62%
26.39/26.43 c 26.4s| 1 | 0 | 75398 | - | 40M| 0 | 876 |1000 | 15k|1000 |4736 | 11k| 0 | 0 |-3.802661e+02 |-9.900000e+01 | 284.11%
26.49/26.54 c 26.5s| 1 | 0 | 75552 | - | 40M| 0 | 882 |1000 | 15k|1000 |4802 | 11k| 0 | 0 |-3.802635e+02 |-9.900000e+01 | 284.10%
26.89/26.98 c 27.0s| 1 | 0 | 77173 | - | 40M| 0 | 878 |1000 | 15k|1000 |4842 | 11k| 0 | 0 |-3.797423e+02 |-9.900000e+01 | 283.58%
27.19/27.22 c 27.2s| 1 | 0 | 77946 | - | 40M| 0 | 891 |1000 | 15k|1000 |4881 | 12k| 0 | 0 |-3.792500e+02 |-9.900000e+01 | 283.08%
27.68/27.79 c 27.8s| 1 | 0 | 80156 | - | 40M| 0 | 890 |1000 | 15k|1000 |4924 | 12k| 0 | 0 |-3.781947e+02 |-9.900000e+01 | 282.01%
28.28/28.34 c 28.3s| 1 | 0 | 82150 | - | 40M| 0 | 901 |1000 | 15k|1000 |4997 | 12k| 0 | 0 |-3.770761e+02 |-9.900000e+01 | 280.88%
28.78/28.84 c 28.8s| 1 | 0 | 84081 | - | 40M| 0 | 915 |1000 | 15k|1000 |4942 | 12k| 0 | 0 |-3.764151e+02 |-9.900000e+01 | 280.22%
29.49/29.56 c 29.6s| 1 | 0 | 86854 | - | 40M| 0 | 923 |1000 | 15k|1000 |5019 | 12k| 0 | 0 |-3.752791e+02 |-9.900000e+01 | 279.07%
30.28/30.31 c 30.3s| 1 | 0 | 89659 | - | 40M| 0 | 930 |1000 | 15k|1000 |5165 | 12k| 0 | 0 |-3.744948e+02 |-9.900000e+01 | 278.28%
31.18/31.20 c 31.2s| 1 | 0 | 92882 | - | 40M| 0 | 924 |1000 | 15k|1000 |5270 | 12k| 0 | 0 |-3.733842e+02 |-9.900000e+01 | 277.16%
31.58/31.61 c 31.6s| 1 | 0 | 94222 | - | 40M| 0 | 926 |1000 | 15k|1000 |5288 | 12k| 0 | 0 |-3.730214e+02 |-9.900000e+01 | 276.79%
31.98/32.08 c 32.1s| 1 | 0 | 95726 | - | 40M| 0 | 903 |1000 | 15k|1000 |5294 | 12k| 0 | 0 |-3.728000e+02 |-9.900000e+01 | 276.57%
32.69/32.73 c 32.7s| 1 | 0 | 98041 | - | 40M| 0 | 935 |1000 | 15k|1000 |5068 | 12k| 0 | 0 |-3.718330e+02 |-9.900000e+01 | 275.59%
33.78/33.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.78/33.89 c 33.9s| 1 | 0 |102329 | - | 40M| 0 | 960 |1000 | 15k|1000 |5130 | 12k| 0 | 0 |-3.703782e+02 |-9.900000e+01 | 274.12%
34.79/34.86 c 34.9s| 1 | 0 |105961 | - | 40M| 0 | 937 |1000 | 15k|1000 |5429 | 12k| 0 | 0 |-3.693481e+02 |-9.900000e+01 | 273.08%
35.58/35.62 c 35.6s| 1 | 0 |108972 | - | 40M| 0 | 939 |1000 | 15k|1000 |5463 | 12k| 0 | 0 |-3.686731e+02 |-9.900000e+01 | 272.40%
36.19/36.24 c 36.2s| 1 | 0 |111080 | - | 40M| 0 | 939 |1000 | 15k|1000 |5491 | 13k| 0 | 0 |-3.675387e+02 |-9.900000e+01 | 271.25%
36.79/36.85 c 36.9s| 1 | 0 |113208 | - | 40M| 0 | 940 |1000 | 15k|1000 |5514 | 13k| 0 | 0 |-3.667230e+02 |-9.900000e+01 | 270.43%
37.18/37.28 c 37.3s| 1 | 0 |114527 | - | 40M| 0 | 948 |1000 | 15k|1000 |5263 | 13k| 0 | 0 |-3.662251e+02 |-9.900000e+01 | 269.92%
37.78/37.82 c 37.8s| 1 | 0 |116314 | - | 40M| 0 | 951 |1000 | 15k|1000 |5342 | 13k| 0 | 0 |-3.656352e+02 |-9.900000e+01 | 269.33%
38.89/38.98 c 39.0s| 1 | 0 |120754 | - | 40M| 0 | 957 |1000 | 15k|1000 |5431 | 13k| 0 | 0 |-3.637020e+02 |-9.900000e+01 | 267.38%
39.59/39.61 c 39.6s| 1 | 0 |122766 | - | 40M| 0 | 956 |1000 | 15k|1000 |5476 | 13k| 0 | 0 |-3.628458e+02 |-9.900000e+01 | 266.51%
40.09/40.16 c 40.2s| 1 | 0 |124767 | - | 40M| 0 | 962 |1000 | 15k|1000 |5537 | 13k| 0 | 0 |-3.621729e+02 |-9.900000e+01 | 265.83%
40.98/41.03 c 41.0s| 1 | 0 |127667 | - | 40M| 0 | 961 |1000 | 15k|1000 |5602 | 13k| 0 | 0 |-3.608486e+02 |-9.900000e+01 | 264.49%
41.69/41.75 c 41.7s| 1 | 0 |129855 | - | 40M| 0 | 966 |1000 | 15k|1000 |5521 | 13k| 0 | 0 |-3.596395e+02 |-9.900000e+01 | 263.27%
42.38/42.45 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.09/43.13 c 43.1s| 1 | 0 |134236 | - | 40M| 0 | 964 |1000 | 15k|1000 |5648 | 13k| 0 | 0 |-3.580752e+02 |-9.900000e+01 | 261.69%
43.49/43.57 c 43.6s| 1 | 0 |135597 | - | 40M| 0 | 969 |1000 | 15k|1000 |5690 | 13k| 0 | 0 |-3.573202e+02 |-9.900000e+01 | 260.93%
44.38/44.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.38/44.42 c 44.4s| 1 | 0 |138193 | - | 40M| 0 | 963 |1000 | 15k|1000 |5771 | 13k| 0 | 0 |-3.563167e+02 |-9.900000e+01 | 259.92%
44.98/45.08 c 45.1s| 1 | 0 |140177 | - | 40M| 0 | 972 |1000 | 15k|1000 |5806 | 13k| 0 | 0 |-3.556071e+02 |-9.900000e+01 | 259.20%
45.59/45.69 c 45.7s| 1 | 0 |141934 | - | 40M| 0 | 983 |1000 | 15k|1000 |5650 | 13k| 0 | 0 |-3.549366e+02 |-9.900000e+01 | 258.52%
46.29/46.33 c 46.3s| 1 | 0 |143999 | - | 40M| 0 | 980 |1000 | 15k|1000 |5732 | 13k| 0 | 0 |-3.540805e+02 |-9.900000e+01 | 257.66%
46.98/47.08 c 47.1s| 1 | 0 |146221 | - | 40M| 0 | 975 |1000 | 15k|1000 |5795 | 13k| 0 | 0 |-3.532344e+02 |-9.900000e+01 | 256.80%
47.68/47.75 c 47.7s| 1 | 0 |148210 | - | 40M| 0 | 976 |1000 | 15k|1000 |5833 | 13k| 0 | 0 |-3.527620e+02 |-9.900000e+01 | 256.33%
48.58/48.65 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.20 c 49.2s| 1 | 0 |152768 | - | 40M| 0 | 978 |1000 | 15k|1000 |5883 | 14k| 0 | 0 |-3.516708e+02 |-9.900000e+01 | 255.22%
49.88/49.90 c 49.9s| 1 | 0 |154780 | - | 40M| 0 | 984 |1000 | 15k|1000 |5714 | 14k| 0 | 0 |-3.512685e+02 |-9.900000e+01 | 254.82%
50.68/50.71 c 50.7s| 1 | 0 |157543 | - | 40M| 0 | 976 |1000 | 15k|1000 |5746 | 14k| 0 | 0 |-3.508333e+02 |-9.900000e+01 | 254.38%
51.39/51.44 c 51.4s| 1 | 0 |159839 | - | 40M| 0 | 977 |1000 | 15k|1000 |5798 | 14k| 0 | 0 |-3.502625e+02 |-9.900000e+01 | 253.80%
52.48/52.56 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.27/53.39 c 53.4s| 1 | 0 |166088 | - | 40M| 0 | 980 |1000 | 15k|1000 |5895 | 14k| 0 | 0 |-3.486021e+02 |-9.900000e+01 | 252.12%
53.98/54.08 c 54.1s| 1 | 0 |168039 | - | 40M| 0 | 981 |1000 | 15k|1000 |5933 | 14k| 0 | 0 |-3.482805e+02 |-9.900000e+01 | 251.80%
54.68/54.78 c 54.8s| 1 | 0 |170239 | - | 40M| 0 | 983 |1000 | 15k|1000 |5848 | 14k| 0 | 0 |-3.476827e+02 |-9.900000e+01 | 251.19%
56.58/56.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.58/56.64 c 56.6s| 1 | 0 |176248 | - | 40M| 0 | 988 |1000 | 15k|1000 |5915 | 14k| 0 | 0 |-3.463457e+02 |-9.900000e+01 | 249.84%
57.28/57.30 c 57.3s| 1 | 0 |178104 | - | 40M| 0 | 990 |1000 | 15k|1000 |5987 | 14k| 0 | 0 |-3.456838e+02 |-9.900000e+01 | 249.18%
57.78/57.86 c 57.9s| 1 | 0 |179597 | - | 40M| 0 | 992 |1000 | 15k|1000 |6016 | 14k| 0 | 0 |-3.454544e+02 |-9.900000e+01 | 248.94%
58.58/58.62 c 58.6s| 1 | 0 |181963 | - | 40M| 0 | 989 |1000 | 15k|1000 |6038 | 14k| 0 | 0 |-3.445590e+02 |-9.900000e+01 | 248.04%
59.38/59.43 c 59.4s| 1 | 0 |184474 | - | 40M| 0 | 990 |1000 | 15k|1000 |6059 | 14k| 0 | 0 |-3.439994e+02 |-9.900000e+01 | 247.47%
60.38/60.42 c 60.4s| 1 | 0 |187761 | - | 40M| 0 | 990 |1000 | 15k|1000 |6008 | 14k| 0 | 0 |-3.434021e+02 |-9.900000e+01 | 246.87%
60.97/61.06 c 61.1s| 1 | 0 |189704 | - | 40M| 0 | 988 |1000 | 15k|1000 |6064 | 14k| 0 | 0 |-3.430643e+02 |-9.900000e+01 | 246.53%
61.87/61.94 c 61.9s| 1 | 0 |192334 | - | 40M| 0 | 986 |1000 | 15k|1000 |6099 | 14k| 0 | 0 |-3.425747e+02 |-9.900000e+01 | 246.04%
62.57/62.69 c 62.7s| 1 | 0 |194475 | - | 40M| 0 | 993 |1000 | 15k|1000 |6129 | 14k| 0 | 0 |-3.420079e+02 |-9.900000e+01 | 245.46%
63.57/63.61 c 63.6s| 1 | 0 |197127 | - | 40M| 0 | 991 |1000 | 15k|1000 |6162 | 14k| 0 | 0 |-3.413308e+02 |-9.900000e+01 | 244.78%
64.27/64.34 c 64.3s| 1 | 0 |199090 | - | 40M| 0 | 991 |1000 | 15k|1000 |6188 | 14k| 0 | 0 |-3.408594e+02 |-9.900000e+01 | 244.30%
65.16/65.28 c 65.3s| 1 | 0 |201718 | - | 40M| 0 | 993 |1000 | 15k|1000 |6050 | 14k| 0 | 0 |-3.404524e+02 |-9.900000e+01 | 243.89%
65.77/65.87 c 65.9s| 1 | 0 |203325 | - | 40M| 0 | 992 |1000 | 15k|1000 |6077 | 14k| 0 | 0 |-3.402226e+02 |-9.900000e+01 | 243.66%
66.87/66.97 c 67.0s| 1 | 0 |206456 | - | 40M| 0 | 993 |1000 | 15k|1000 |6098 | 14k| 0 | 0 |-3.397513e+02 |-9.900000e+01 | 243.18%
67.87/67.96 c 68.0s| 1 | 0 |209163 | - | 40M| 0 | 992 |1000 | 15k|1000 |6126 | 14k| 0 | 0 |-3.390312e+02 |-9.900000e+01 | 242.46%
69.76/69.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.76/69.86 c 69.9s| 1 | 0 |214772 | - | 40M| 0 | 994 |1000 | 15k|1000 |6174 | 14k| 0 | 0 |-3.384499e+02 |-9.900000e+01 | 241.87%
71.07/71.10 c 71.1s| 1 | 0 |218226 | - | 40M| 0 | 993 |1000 | 15k|1000 |6214 | 14k| 0 | 0 |-3.375158e+02 |-9.900000e+01 | 240.93%
71.87/71.97 c 72.0s| 1 | 0 |220515 | - | 40M| 0 | 994 |1000 | 15k|1000 |6186 | 14k| 0 | 0 |-3.370873e+02 |-9.900000e+01 | 240.49%
72.76/72.89 c 72.9s| 1 | 0 |222932 | - | 40M| 0 | 996 |1000 | 15k|1000 |6209 | 14k| 0 | 0 |-3.364636e+02 |-9.900000e+01 | 239.86%
73.87/73.96 c 74.0s| 1 | 0 |226059 | - | 40M| 0 | 995 |1000 | 15k|1000 |6248 | 15k| 0 | 0 |-3.361080e+02 |-9.900000e+01 | 239.50%
74.86/74.99 c 75.0s| 1 | 0 |229058 | - | 40M| 0 | 996 |1000 | 15k|1000 |6271 | 15k| 0 | 0 |-3.352462e+02 |-9.900000e+01 | 238.63%
76.06/76.13 c 76.1s| 1 | 0 |232409 | - | 40M| 0 | 995 |1000 | 15k|1000 |6291 | 15k| 0 | 0 |-3.346370e+02 |-9.900000e+01 | 238.02%
76.86/76.96 c 77.0s| 1 | 0 |234515 | - | 39M| 0 | 995 |1000 | 15k|1000 |6323 | 15k| 0 | 0 |-3.342262e+02 |-9.900000e+01 | 237.60%
77.46/77.57 c 77.6s| 1 | 0 |236023 | - | 39M| 0 | 995 |1000 | 15k|1000 |6302 | 15k| 0 | 0 |-3.339346e+02 |-9.900000e+01 | 237.31%
78.16/78.22 c 78.2s| 1 | 0 |237676 | - | 39M| 0 | 994 |1000 | 15k|1000 |6316 | 15k| 0 | 0 |-3.336069e+02 |-9.900000e+01 | 236.98%
78.86/78.95 c 79.0s| 1 | 0 |239785 | - | 39M| 0 | 995 |1000 | 15k|1000 |6336 | 15k| 0 | 0 |-3.331378e+02 |-9.900000e+01 | 236.50%
79.46/79.56 c 79.6s| 1 | 0 |241372 | - | 39M| 0 | 996 |1000 | 15k|1000 |6354 | 15k| 0 | 0 |-3.328836e+02 |-9.900000e+01 | 236.25%
80.16/80.20 c 80.2s| 1 | 0 |242951 | - | 39M| 0 | 995 |1000 | 15k|1000 |6380 | 15k| 0 | 0 |-3.324922e+02 |-9.900000e+01 | 235.85%
80.96/81.06 c 81.1s| 1 | 0 |245524 | - | 39M| 0 | 996 |1000 | 15k|1000 |6403 | 15k| 0 | 0 |-3.319186e+02 |-9.900000e+01 | 235.27%
81.46/81.56 c 81.6s| 1 | 0 |246672 | - | 39M| 0 | 996 |1000 | 15k|1000 |6362 | 15k| 0 | 0 |-3.316741e+02 |-9.900000e+01 | 235.02%
81.96/82.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.96/82.03 c 82.0s| 1 | 0 |247738 | - | 39M| 0 | 995 |1000 | 15k|1000 |6377 | 15k| 0 | 0 |-3.314035e+02 |-9.900000e+01 | 234.75%
82.36/82.48 c 82.5s| 1 | 0 |248748 | - | 39M| 0 | 996 |1000 | 15k|1000 |6390 | 15k| 0 | 0 |-3.312337e+02 |-9.900000e+01 | 234.58%
83.05/83.13 c 83.1s| 1 | 0 |250371 | - | 39M| 0 | 997 |1000 | 15k|1000 |6407 | 15k| 0 | 0 |-3.308692e+02 |-9.900000e+01 | 234.21%
83.86/83.93 c 83.9s| 1 | 0 |252348 | - | 39M| 0 | 995 |1000 | 15k|1000 |6421 | 15k| 0 | 0 |-3.303245e+02 |-9.900000e+01 | 233.66%
84.46/84.54 c 84.5s| 1 | 0 |253810 | - | 39M| 0 | 996 |1000 | 15k|1000 |6445 | 15k| 0 | 0 |-3.300969e+02 |-9.900000e+01 | 233.43%
85.26/85.37 c 85.4s| 1 | 0 |255928 | - | 39M| 0 | 996 |1000 | 15k|1000 |6399 | 15k| 0 | 0 |-3.296703e+02 |-9.900000e+01 | 233.00%
85.96/86.00 c 86.0s| 1 | 0 |257391 | - | 39M| 0 | 996 |1000 | 15k|1000 |6415 | 15k| 0 | 0 |-3.293269e+02 |-9.900000e+01 | 232.65%
86.55/86.61 c 86.6s| 1 | 0 |258824 | - | 39M| 0 | 996 |1000 | 15k|1000 |6435 | 15k| 0 | 0 |-3.290083e+02 |-9.900000e+01 | 232.33%
87.36/87.46 c 87.5s| 1 | 0 |261173 | - | 39M| 0 | 994 |1000 | 15k|1000 |6450 | 15k| 0 | 0 |-3.286143e+02 |-9.900000e+01 | 231.93%
87.96/88.09 c 88.1s| 1 | 0 |262888 | - | 39M| 0 | 994 |1000 | 15k|1000 |6469 | 15k| 0 | 0 |-3.283188e+02 |-9.900000e+01 | 231.64%
88.76/88.83 c 88.8s| 1 | 0 |264796 | - | 39M| 0 | 996 |1000 | 15k|1000 |6484 | 15k| 0 | 0 |-3.279624e+02 |-9.900000e+01 | 231.28%
89.45/89.51 c 89.5s| 1 | 0 |266608 | - | 39M| 0 | 995 |1000 | 15k|1000 |6438 | 15k| 0 | 0 |-3.276093e+02 |-9.900000e+01 | 230.92%
89.95/90.06 c 90.1s| 1 | 0 |267982 | - | 39M| 0 | 996 |1000 | 15k|1000 |6450 | 15k| 0 | 0 |-3.273640e+02 |-9.900000e+01 | 230.67%
90.36/90.43 c 90.4s| 1 | 0 |268807 | - | 39M| 0 | 996 |1000 | 15k|1000 |6464 | 15k| 0 | 0 |-3.272208e+02 |-9.900000e+01 | 230.53%
90.66/90.71 c 90.7s| 1 | 0 |269275 | - | 39M| 0 | 995 |1000 | 15k|1000 |6476 | 15k| 0 | 0 |-3.271883e+02 |-9.900000e+01 | 230.49%
91.06/91.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.06/91.12 c 91.1s| 1 | 0 |270173 | - | 39M| 0 | 995 |1000 | 15k|1000 |6487 | 15k| 0 | 0 |-3.271002e+02 |-9.900000e+01 | 230.40%
91.46/91.52 c 91.5s| 1 | 0 |271091 | - | 39M| 0 | 995 |1000 | 15k|1000 |6498 | 15k| 0 | 0 |-3.270339e+02 |-9.900000e+01 | 230.34%
91.65/91.73 c 91.7s| 1 | 0 |271380 | - | 39M| 0 | 978 |1000 | 15k|1000 |6446 | 15k| 0 | 0 |-3.270000e+02 |-9.900000e+01 | 230.30%
91.75/91.83 c 91.8s| 1 | 0 |271381 | - | 39M| 0 | 979 |1000 | 15k|1000 |6450 | 15k| 0 | 0 |-3.270000e+02 |-9.900000e+01 | 230.30%
105.25/105.39 c 105s| 1 | 2 |271381 | - | 39M| 0 | 979 |1000 | 15k|1000 |6450 | 15k| 0 | 37 |-3.270000e+02 |-9.900000e+01 | 230.30%
193.64/193.73 c 194s| 100 | 101 |673687 |4063.7 | 40M| 43 | 133 |1000 | 15k|1000 | 995 | 16k| 0 | 579 |-3.265162e+02 |-9.900000e+01 | 229.81%
201.34/201.46 c 201s| 200 | 201 |720770 |2258.2 | 40M| 51 | 350 |1000 | 15k|1000 |1153 | 26k| 0 | 682 |-3.264670e+02 |-9.900000e+01 | 229.76%
208.64/208.75 c 209s| 300 | 301 |763804 |1646.9 | 41M| 55 | 338 |1000 | 15k|1000 |1146 | 36k| 0 | 764 |-3.264434e+02 |-9.900000e+01 | 229.74%
214.94/215.03 c 215s| 400 | 401 |804322 |1335.7 | 41M| 61 | 307 |1000 | 15k|1000 |1156 | 45k| 0 | 868 |-3.263617e+02 |-9.900000e+01 | 229.66%
221.13/221.24 c 221s| 500 | 501 |840896 |1141.3 | 42M| 61 | 337 |1000 | 15k|1000 |1158 | 55k| 0 | 960 |-3.263107e+02 |-9.900000e+01 | 229.61%
230.73/230.88 c 231s| 600 | 601 |896678 |1043.9 | 42M| 61 | 165 |1000 | 15k|1000 |1151 | 64k| 0 |1061 |-3.262210e+02 |-9.900000e+01 | 229.52%
237.03/237.10 c 237s| 700 | 701 |934801 | 949.1 | 43M| 63 | 387 |1000 | 15k|1000 |1678 | 73k| 0 |1163 |-3.261875e+02 |-9.900000e+01 | 229.48%
241.13/241.20 c 241s| 800 | 801 |962158 | 864.6 | 43M| 63 | 331 |1000 | 15k|1000 |1138 | 82k| 0 |1275 |-3.261875e+02 |-9.900000e+01 | 229.48%
248.03/248.16 c 248s| 900 | 901 | 1005k| 816.1 | 44M| 63 | 28 |1000 | 15k|1000 |1152 | 92k| 0 |1365 |-3.261099e+02 |-9.900000e+01 | 229.40%
254.13/254.29 c 254s| 1000 | 1001 | 1042k| 772.1 | 44M| 63 | 25 |1000 | 15k|1000 | 995 | 102k| 0 |1476 |-3.260031e+02 |-9.900000e+01 | 229.30%
261.13/261.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.13/261.29 c 261s| 1100 | 1101 | 1085k| 741.0 | 45M| 63 | 49 |1000 | 15k|1000 | 995 | 112k| 0 |1531 |-3.258241e+02 |-9.900000e+01 | 229.12%
264.33/264.42 c 264s| 1200 | 1201 | 1116k| 705.2 | 45M| 63 | 360 |1000 | 15k|1000 |1650 | 123k| 0 |1531 |-3.258241e+02 |-9.900000e+01 | 229.12%
276.33/276.47 c 276s| 1300 | 1301 | 1174k| 695.2 | 46M| 63 | 234 |1000 | 15k|1000 |1145 | 135k| 0 |1609 |-3.255576e+02 |-9.900000e+01 | 228.85%
282.92/283.03 c 283s| 1400 | 1401 | 1215k| 674.6 | 46M| 63 | 10 |1000 | 15k|1000 | 995 | 146k| 0 |1636 |-3.255576e+02 |-9.900000e+01 | 228.85%
292.93/293.07 c 293s| 1500 | 1501 | 1267k| 664.6 | 47M| 63 | 413 |1000 | 15k|1000 |1624 | 157k| 0 |1699 |-3.253571e+02 |-9.900000e+01 | 228.64%
298.52/298.69 c 299s| 1600 | 1601 | 1305k| 646.6 | 47M| 63 | 32 |1000 | 15k|1000 | 995 | 166k| 0 |1720 |-3.253380e+02 |-9.900000e+01 | 228.62%
305.92/306.07 c 306s| 1700 | 1701 | 1348k| 633.8 | 48M| 63 | 116 |1000 | 15k|1000 | 995 | 177k| 0 |1773 |-3.253355e+02 |-9.900000e+01 | 228.62%
311.33/311.48 c 311s| 1800 | 1801 | 1385k| 619.4 | 48M| 63 | 350 |1000 | 15k|1000 |1149 | 188k| 0 |1808 |-3.252069e+02 |-9.900000e+01 | 228.49%
313.52/313.69 c 314s| 1900 | 1901 | 1409k| 599.3 | 48M| 63 | 158 |1000 | 15k|1000 | 995 | 198k| 0 |1809 |-3.252069e+02 |-9.900000e+01 | 228.49%
316.72/316.81 c 317s| 2000 | 2001 | 1442k| 585.6 | 49M| 63 | 346 |1000 | 15k|1000 |1643 | 210k| 0 |1810 |-3.252069e+02 |-9.900000e+01 | 228.49%
321.03/321.15 c 321s| 2100 | 2101 | 1480k| 576.1 | 49M| 65 | 390 |1000 | 15k|1000 |1753 | 221k| 0 |1816 |-3.252069e+02 |-9.900000e+01 | 228.49%
326.82/326.98 c 327s| 2200 | 2201 | 1532k| 573.3 | 50M| 65 | 69 |1000 | 15k|1000 | 995 | 229k| 0 |1818 |-3.252051e+02 |-9.900000e+01 | 228.49%
329.32/329.47 c 329s| 2300 | 2301 | 1558k| 560.0 | 50M| 65 | 375 |1000 | 15k|1000 |1141 | 241k| 0 |1818 |-3.252051e+02 |-9.900000e+01 | 228.49%
339.21/339.30 c 339s| 2400 | 2401 | 1630k| 566.7 | 51M| 65 | 27 |1000 | 15k|1000 | 995 | 249k| 0 |1862 |-3.251357e+02 |-9.900000e+01 | 228.42%
347.72/347.83 c 348s| 2500 | 2501 | 1683k| 564.9 | 51M| 65 | 209 |1000 | 15k|1000 |1143 | 260k| 0 |1956 |-3.250370e+02 |-9.900000e+01 | 228.32%
353.71/353.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.71/353.86 c 354s| 2600 | 2601 | 1723k| 558.7 | 52M| 65 | 254 |1000 | 15k|1000 |1133 | 269k| 0 |2030 |-3.248545e+02 |-9.900000e+01 | 228.14%
361.21/361.36 c 361s| 2700 | 2701 | 1772k| 556.2 | 52M| 65 | 190 |1000 | 15k|1000 |1142 | 280k| 0 |2145 |-3.248004e+02 |-9.900000e+01 | 228.08%
372.12/372.28 c 372s| 2800 | 2801 | 1837k| 559.4 | 53M| 65 | 356 |1000 | 15k|1000 |1139 | 289k| 0 |2219 |-3.245789e+02 |-9.900000e+01 | 227.86%
377.81/377.90 c 378s| 2900 | 2901 | 1877k| 554.0 | 53M| 65 | 11 |1000 | 15k|1000 | 995 | 300k| 0 |2257 |-3.245559e+02 |-9.900000e+01 | 227.83%
380.01/380.11 c 380s| 3000 | 3001 | 1901k| 543.6 | 54M| 65 | 406 |1000 | 15k|1000 |1688 | 312k| 0 |2259 |-3.245559e+02 |-9.900000e+01 | 227.83%
388.71/388.80 c 389s| 3100 | 3101 | 1950k| 541.8 | 54M| 65 | 413 |1000 | 15k|1000 |1711 | 322k| 0 |2313 |-3.245100e+02 |-9.900000e+01 | 227.79%
397.01/397.20 c 397s| 3200 | 3201 | 1999k| 540.2 | 54M| 66 | 234 |1000 | 15k|1000 |1238 | 331k| 0 |2367 |-3.244401e+02 |-9.900000e+01 | 227.72%
402.11/402.23 c 402s| 3300 | 3301 | 2036k| 535.2 | 55M| 66 | 219 |1000 | 15k|1000 |1154 | 341k| 0 |2390 |-3.244401e+02 |-9.900000e+01 | 227.72%
406.41/406.50 c 407s| 3400 | 3401 | 2077k| 531.5 | 55M| 66 | 416 |1000 | 15k|1000 |1145 | 351k| 0 |2392 |-3.243600e+02 |-9.900000e+01 | 227.64%
411.90/412.02 c 412s| 3500 | 3501 | 2124k| 529.6 | 56M| 66 | 310 |1000 | 15k|1000 |1143 | 359k| 0 |2398 |-3.243600e+02 |-9.900000e+01 | 227.64%
415.90/416.01 c 416s| 3600 | 3601 | 2160k| 525.0 | 56M| 66 | 205 |1000 | 15k|1000 |1143 | 369k| 0 |2399 |-3.243600e+02 |-9.900000e+01 | 227.64%
421.70/421.88 c 422s| 3700 | 3701 | 2215k| 525.5 | 57M| 66 | 312 |1000 | 15k|1000 |1635 | 380k| 0 |2399 |-3.243559e+02 |-9.900000e+01 | 227.63%
426.90/427.06 c 427s| 3800 | 3801 | 2263k| 524.3 | 57M| 66 | 151 |1000 | 15k|1000 |1149 | 390k| 0 |2401 |-3.243554e+02 |-9.900000e+01 | 227.63%
432.11/432.29 c 432s| 3900 | 3901 | 2299k| 520.3 | 58M| 67 | 104 |1000 | 15k|1000 |1153 | 400k| 0 |2425 |-3.243356e+02 |-9.900000e+01 | 227.61%
437.61/437.78 c 438s| 4000 | 4001 | 2337k| 516.7 | 58M| 67 | 352 |1000 | 15k|1000 |1534 | 411k| 0 |2474 |-3.243356e+02 |-9.900000e+01 | 227.61%
445.31/445.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.31/445.41 c 445s| 4100 | 4101 | 2384k| 515.5 | 59M| 67 | 397 |1000 | 15k|1000 |1671 | 420k| 0 |2538 |-3.243080e+02 |-9.900000e+01 | 227.58%
451.30/451.49 c 451s| 4200 | 4201 | 2426k| 513.3 | 59M| 67 | 34 |1000 | 15k|1000 | 995 | 429k| 0 |2568 |-3.242854e+02 |-9.900000e+01 | 227.56%
458.50/458.68 c 459s| 4300 | 4301 | 2470k| 511.6 | 60M| 67 | 20 |1000 | 15k|1000 | 995 | 439k| 0 |2636 |-3.242787e+02 |-9.900000e+01 | 227.55%
463.89/464.08 c 464s| 4400 | 4401 | 2509k| 508.7 | 60M| 67 | 359 |1000 | 15k|1000 |1137 | 450k| 0 |2701 |-3.242782e+02 |-9.900000e+01 | 227.55%
466.39/466.50 c 467s| 4500 | 4501 | 2530k| 502.1 | 60M| 67 | 340 |1000 | 15k|1000 |1551 | 460k| 0 |2780 |-3.242782e+02 |-9.900000e+01 | 227.55%
471.59/471.72 c 472s| 4600 | 4601 | 2567k| 499.2 | 61M| 67 | 319 |1000 | 15k|1000 |1224 | 472k| 0 |2823 |-3.242712e+02 |-9.900000e+01 | 227.55%
476.50/476.60 c 477s| 4700 | 4701 | 2600k| 495.7 | 61M| 67 | 295 |1000 | 15k|1000 |1203 | 483k| 0 |2845 |-3.242478e+02 |-9.900000e+01 | 227.52%
483.80/483.92 c 484s| 4800 | 4801 | 2643k| 494.3 | 62M| 67 | 260 |1000 | 15k|1000 |1124 | 491k| 0 |2891 |-3.241629e+02 |-9.900000e+01 | 227.44%
489.49/489.61 c 490s| 4900 | 4901 | 2682k| 492.1 | 62M| 67 | 17 |1000 | 15k|1000 | 995 | 504k| 0 |2915 |-3.241498e+02 |-9.900000e+01 | 227.42%
493.99/494.11 c 494s| 5000 | 5001 | 2715k| 488.8 | 63M| 67 | 209 |1000 | 15k|1000 |1142 | 514k| 0 |2941 |-3.241430e+02 |-9.900000e+01 | 227.42%
496.40/496.58 c 497s| 5100 | 5101 | 2743k| 484.7 | 63M| 67 | 49 |1000 | 15k|1000 |1145 | 526k| 0 |2941 |-3.241430e+02 |-9.900000e+01 | 227.42%
502.80/502.90 c 503s| 5200 | 5201 | 2795k| 485.5 | 64M| 67 | 352 |1000 | 15k|1000 |1154 | 538k| 0 |2958 |-3.241274e+02 |-9.900000e+01 | 227.40%
507.49/507.61 c 508s| 5300 | 5301 | 2837k| 484.3 | 64M| 67 | 47 |1000 | 15k|1000 | 995 | 547k| 0 |2958 |-3.241274e+02 |-9.900000e+01 | 227.40%
511.29/511.41 c 511s| 5400 | 5401 | 2874k| 482.2 | 64M| 67 | 329 |1000 | 15k|1000 |1149 | 557k| 0 |2958 |-3.241253e+02 |-9.900000e+01 | 227.40%
517.90/518.10 c 518s| 5500 | 5501 | 2934k| 484.3 | 65M| 67 | 336 |1000 | 15k|1000 |1583 | 566k| 0 |2958 |-3.241174e+02 |-9.900000e+01 | 227.39%
521.59/521.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
521.59/521.75 c 522s| 5600 | 5601 | 2970k| 482.1 | 65M| 67 | 211 |1000 | 15k|1000 |1135 | 577k| 0 |2959 |-3.241174e+02 |-9.900000e+01 | 227.39%
525.59/525.79 c 526s| 5700 | 5701 | 3008k| 480.2 | 66M| 67 | 255 |1000 | 15k|1000 |1237 | 587k| 0 |2971 |-3.241161e+02 |-9.900000e+01 | 227.39%
533.40/533.59 c 534s| 5800 | 5801 | 3059k| 480.8 | 66M| 67 | 371 |1000 | 15k|1000 |1136 | 597k| 0 |3035 |-3.241087e+02 |-9.900000e+01 | 227.38%
542.09/542.25 c 542s| 5900 | 5901 | 3116k| 482.3 | 67M| 67 | 76 |1000 | 15k|1000 |1148 | 606k| 0 |3096 |-3.240800e+02 |-9.900000e+01 | 227.35%
549.98/550.14 c 550s| 6000 | 6001 | 3178k| 484.6 | 67M| 67 | 85 |1000 | 15k|1000 |1159 | 615k| 0 |3123 |-3.240800e+02 |-9.900000e+01 | 227.35%
554.09/554.30 c 554s| 6100 | 6101 | 3210k| 481.9 | 68M| 68 | 133 |1000 | 15k|1000 |1160 | 626k| 0 |3177 |-3.240788e+02 |-9.900000e+01 | 227.35%
559.29/559.49 c 559s| 6200 | 6201 | 3246k| 479.9 | 68M| 68 | 69 |1000 | 15k|1000 |1141 | 637k| 0 |3245 |-3.240788e+02 |-9.900000e+01 | 227.35%
566.39/566.53 c 567s| 6300 | 6301 | 3295k| 480.1 | 69M| 68 | 392 |1000 | 15k|1000 |1683 | 647k| 0 |3316 |-3.240647e+02 |-9.900000e+01 | 227.34%
573.27/573.42 c 573s| 6400 | 6401 | 3343k| 480.0 | 69M| 68 | 382 |1000 | 15k|1000 |1672 | 657k| 0 |3380 |-3.240647e+02 |-9.900000e+01 | 227.34%
577.77/577.94 c 578s| 6500 | 6501 | 3375k| 477.7 | 70M| 68 | 113 |1000 | 15k|1000 |1211 | 667k| 0 |3414 |-3.240635e+02 |-9.900000e+01 | 227.34%
585.47/585.63 c 586s| 6600 | 6601 | 3427k| 478.3 | 70M| 68 | 279 |1000 | 15k|1000 |1148 | 677k| 0 |3450 |-3.240635e+02 |-9.900000e+01 | 227.34%
590.98/591.17 c 591s| 6700 | 6701 | 3461k| 476.2 | 71M| 68 | 236 |1000 | 15k|1000 |1131 | 687k| 0 |3481 |-3.240571e+02 |-9.900000e+01 | 227.33%
599.38/599.58 c 600s| 6800 | 6801 | 3520k| 477.9 | 71M| 68 | 329 |1000 | 15k|1000 |1140 | 696k| 0 |3516 |-3.239745e+02 |-9.900000e+01 | 227.25%
603.37/603.54 c 604s| 6900 | 6901 | 3559k| 476.6 | 72M| 68 | 376 |1000 | 15k|1000 |1637 | 707k| 0 |3518 |-3.239745e+02 |-9.900000e+01 | 227.25%
607.37/607.58 c 608s| 7000 | 7001 | 3597k| 475.3 | 72M| 68 | 519 |1000 | 15k|1000 | 995 | 717k| 0 |3518 |-3.239624e+02 |-9.900000e+01 | 227.23%
612.06/612.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
612.06/612.22 c 612s| 7100 | 7101 | 3641k| 474.8 | 72M| 68 | 164 |1000 | 15k|1000 |1144 | 726k| 0 |3518 |-3.239104e+02 |-9.900000e+01 | 227.18%
615.37/615.51 c 616s| 7200 | 7201 | 3674k| 472.8 | 73M| 68 | 160 |1000 | 15k|1000 |1137 | 737k| 0 |3518 |-3.239064e+02 |-9.900000e+01 | 227.18%
619.87/620.03 c 620s| 7300 | 7301 | 3718k| 472.3 | 73M| 68 | 325 |1000 | 15k|1000 |1569 | 747k| 0 |3518 |-3.238981e+02 |-9.900000e+01 | 227.17%
623.27/623.45 c 623s| 7400 | 7401 | 3752k| 470.5 | 74M| 68 | 22 |1000 | 15k|1000 | 995 | 757k| 0 |3518 |-3.238925e+02 |-9.900000e+01 | 227.16%
626.97/627.17 c 627s| 7500 | 7501 | 3789k| 469.1 | 74M| 68 | 408 |1000 | 15k|1000 |1663 | 769k| 0 |3518 |-3.238655e+02 |-9.900000e+01 | 227.14%
631.86/632.00 c 632s| 7600 | 7601 | 3834k| 468.9 | 75M| 68 | 17 |1000 | 15k|1000 | 995 | 777k| 0 |3518 |-3.238301e+02 |-9.900000e+01 | 227.10%
637.16/637.35 c 637s| 7700 | 7701 | 3873k| 467.9 | 75M| 68 | 436 |1000 | 15k|1000 |1715 | 788k| 0 |3564 |-3.238301e+02 |-9.900000e+01 | 227.10%
641.97/642.14 c 642s| 7800 | 7801 | 3908k| 466.3 | 75M| 68 | 355 |1000 | 15k|1000 |1152 | 798k| 0 |3594 |-3.238275e+02 |-9.900000e+01 | 227.10%
646.17/646.37 c 646s| 7900 | 7901 | 3941k| 464.6 | 76M| 68 | 215 |1000 | 15k|1000 |1141 | 807k| 0 |3633 |-3.238251e+02 |-9.900000e+01 | 227.10%
648.76/648.92 c 649s| 8000 | 8001 | 3962k| 461.5 | 76M| 68 | 301 |1000 | 15k|1000 |1502 | 818k| 0 |3678 |-3.238251e+02 |-9.900000e+01 | 227.10%
654.07/654.29 c 654s| 8100 | 8101 | 3999k| 460.3 | 77M| 68 | 304 |1000 | 15k|1000 |1142 | 828k| 0 |3750 |-3.238251e+02 |-9.900000e+01 | 227.10%
658.46/658.69 c 659s| 8200 | 8201 | 4034k| 459.0 | 77M| 68 | 36 |1000 | 15k|1000 | 995 | 839k| 0 |3777 |-3.238251e+02 |-9.900000e+01 | 227.10%
663.36/663.57 c 664s| 8300 | 8301 | 4066k| 457.3 | 78M| 68 | 318 |1000 | 15k|1000 |1145 | 849k| 0 |3860 |-3.238222e+02 |-9.900000e+01 | 227.09%
666.46/666.64 c 667s| 8400 | 8401 | 4092k| 455.0 | 78M| 68 | 247 |1000 | 15k|1000 |1214 | 858k| 0 |3899 |-3.238222e+02 |-9.900000e+01 | 227.09%
672.56/672.79 c 673s| 8500 | 8501 | 4136k| 454.8 | 79M| 68 | 216 |1000 | 15k|1000 |1145 | 867k| 0 |3961 |-3.238079e+02 |-9.900000e+01 | 227.08%
677.66/677.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
677.66/677.87 c 678s| 8600 | 8601 | 4170k| 453.5 | 79M| 68 | 199 |1000 | 15k|1000 |1144 | 878k| 0 |3996 |-3.238042e+02 |-9.900000e+01 | 227.07%
683.25/683.42 c 683s| 8700 | 8701 | 4208k| 452.6 | 80M| 68 | 132 |1000 | 15k|1000 |1136 | 888k| 0 |4021 |-3.238036e+02 |-9.900000e+01 | 227.07%
687.46/687.65 c 688s| 8800 | 8801 | 4241k| 451.2 | 80M| 68 | 207 |1000 | 15k|1000 |1144 | 901k| 0 |4040 |-3.238016e+02 |-9.900000e+01 | 227.07%
693.66/693.85 c 694s| 8900 | 8901 | 4286k| 451.2 | 80M| 68 | 242 |1000 | 15k|1000 |1140 | 912k| 0 |4069 |-3.237547e+02 |-9.900000e+01 | 227.02%
695.96/696.12 c 696s| 9000 | 9001 | 4311k| 449.0 | 81M| 68 | 348 |1000 | 15k|1000 |1140 | 925k| 0 |4074 |-3.237547e+02 |-9.900000e+01 | 227.02%
700.76/700.91 c 701s| 9100 | 9101 | 4343k| 447.5 | 81M| 68 | 245 |1000 | 15k|1000 |1153 | 935k| 0 |4104 |-3.237539e+02 |-9.900000e+01 | 227.02%
705.66/705.85 c 706s| 9200 | 9201 | 4384k| 447.1 | 82M| 68 | 290 |1000 | 15k|1000 |1144 | 945k| 0 |4121 |-3.237379e+02 |-9.900000e+01 | 227.01%
709.26/709.44 c 709s| 9300 | 9301 | 4419k| 446.0 | 82M| 68 | 165 |1000 | 15k|1000 |1150 | 955k| 0 |4122 |-3.237379e+02 |-9.900000e+01 | 227.01%
712.95/713.10 c 713s| 9400 | 9401 | 4455k| 445.1 | 83M| 68 | 304 |1000 | 15k|1000 |1130 | 965k| 0 |4122 |-3.237368e+02 |-9.900000e+01 | 227.01%
716.46/716.63 c 717s| 9500 | 9501 | 4489k| 444.1 | 83M| 68 | 302 |1000 | 15k|1000 |1137 | 975k| 0 |4123 |-3.237368e+02 |-9.900000e+01 | 227.01%
720.26/720.45 c 720s| 9600 | 9601 | 4526k| 443.3 | 83M| 68 | 327 |1000 | 15k|1000 |1232 | 985k| 0 |4123 |-3.237355e+02 |-9.900000e+01 | 227.01%
728.25/728.41 c 728s| 9700 | 9701 | 4597k| 446.0 | 84M| 68 | 330 |1000 | 15k|1000 |1150 | 993k| 0 |4123 |-3.237177e+02 |-9.900000e+01 | 226.99%
730.75/730.97 c 731s| 9800 | 9801 | 4624k| 444.3 | 84M| 68 | 383 |1000 | 15k|1000 |1557 |1002k| 0 |4123 |-3.237177e+02 |-9.900000e+01 | 226.99%
733.85/734.08 c 734s| 9900 | 9901 | 4655k| 442.9 | 85M| 68 | 80 |1000 | 15k|1000 |1151 |1010k| 0 |4123 |-3.237044e+02 |-9.900000e+01 | 226.97%
740.25/740.42 c 740s| 10000 | 10001 | 4718k| 444.7 | 85M| 68 | 366 |1000 | 15k|1000 |1594 |1021k| 0 |4123 |-3.236767e+02 |-9.900000e+01 | 226.95%
742.15/742.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
742.15/742.31 c 742s| 10100 | 10101 | 4740k| 442.5 | 86M| 68 | 344 |1000 | 15k|1000 |1649 |1032k| 0 |4123 |-3.236767e+02 |-9.900000e+01 | 226.95%
747.14/747.37 c 747s| 10200 | 10201 | 4780k| 442.1 | 86M| 68 | 389 |1000 | 15k|1000 |1140 |1041k| 0 |4142 |-3.236767e+02 |-9.900000e+01 | 226.95%
751.85/752.08 c 752s| 10300 | 10301 | 4815k| 441.2 | 87M| 68 | 72 |1000 | 15k|1000 |1140 |1051k| 0 |4180 |-3.236534e+02 |-9.900000e+01 | 226.92%
760.45/760.62 c 761s| 10400 | 10401 | 4878k| 443.0 | 87M| 68 | 275 |1000 | 15k|1000 |1127 |1060k| 0 |4257 |-3.236236e+02 |-9.900000e+01 | 226.89%
767.35/767.58 c 768s| 10500 | 10501 | 4926k| 443.4 | 88M| 68 | 386 |1000 | 15k|1000 |1225 |1069k| 0 |4283 |-3.236129e+02 |-9.900000e+01 | 226.88%
773.25/773.48 c 773s| 10600 | 10601 | 4968k| 443.2 | 88M| 68 | 35 |1000 | 15k|1000 | 995 |1079k| 0 |4319 |-3.236110e+02 |-9.900000e+01 | 226.88%
776.84/777.02 c 777s| 10700 | 10701 | 4996k| 441.6 | 88M| 68 | 353 |1000 | 15k|1000 |1602 |1090k| 0 |4406 |-3.236110e+02 |-9.900000e+01 | 226.88%
782.75/782.92 c 783s| 10800 | 10801 | 5040k| 441.7 | 89M| 68 | 237 |1000 | 15k|1000 |1151 |1100k| 0 |4479 |-3.235944e+02 |-9.900000e+01 | 226.86%
785.55/785.75 c 786s| 10900 | 10901 | 5068k| 440.1 | 89M| 68 | 8 |1000 | 15k|1000 | 995 |1109k| 0 |4504 |-3.235944e+02 |-9.900000e+01 | 226.86%
793.85/794.04 c 794s| 11000 | 11001 | 5118k| 440.7 | 90M| 68 | 453 |1000 | 15k|1000 |1699 |1119k| 0 |4544 |-3.235736e+02 |-9.900000e+01 | 226.84%
799.14/799.35 c 799s| 11100 | 11101 | 5158k| 440.3 | 90M| 68 | 265 |1000 | 15k|1000 |1202 |1130k| 0 |4566 |-3.235584e+02 |-9.900000e+01 | 226.83%
803.95/804.16 c 804s| 11200 | 11201 | 5191k| 439.3 | 91M| 68 | 229 |1000 | 15k|1000 |1146 |1138k| 0 |4595 |-3.235584e+02 |-9.900000e+01 | 226.83%
811.14/811.37 c 811s| 11300 | 11301 | 5244k| 440.1 | 91M| 68 | 132 |1000 | 15k|1000 |1138 |1148k| 0 |4628 |-3.235151e+02 |-9.900000e+01 | 226.78%
816.54/816.78 c 817s| 11400 | 11401 | 5282k| 439.6 | 92M| 68 | 294 |1000 | 15k|1000 |1141 |1158k| 0 |4650 |-3.235143e+02 |-9.900000e+01 | 226.78%
823.44/823.69 c 824s| 11500 | 11501 | 5331k| 440.0 | 92M| 68 | 133 |1000 | 15k|1000 |1134 |1167k| 0 |4677 |-3.235113e+02 |-9.900000e+01 | 226.78%
826.94/827.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
826.94/827.12 c 827s| 11600 | 11601 | 5363k| 439.0 | 93M| 68 | 369 |1000 | 15k|1000 |1609 |1177k| 0 |4683 |-3.235113e+02 |-9.900000e+01 | 226.78%
832.13/832.33 c 832s| 11700 | 11701 | 5409k| 439.2 | 93M| 68 | 128 |1000 | 15k|1000 | 995 |1185k| 0 |4690 |-3.234445e+02 |-9.900000e+01 | 226.71%
836.24/836.40 c 836s| 11800 | 11801 | 5448k| 438.8 | 94M| 68 | 320 |1000 | 15k|1000 |1147 |1197k| 0 |4690 |-3.234388e+02 |-9.900000e+01 | 226.71%
840.33/840.50 c 840s| 11900 | 11901 | 5489k| 438.5 | 94M| 68 | 28 |1000 | 15k|1000 | 995 |1208k| 0 |4690 |-3.234388e+02 |-9.900000e+01 | 226.71%
842.34/842.57 c 843s| 12000 | 12001 | 5513k| 436.8 | 94M| 68 | 252 |1000 | 15k|1000 |1135 |1220k| 0 |4690 |-3.234388e+02 |-9.900000e+01 | 226.71%
847.33/847.56 c 848s| 12100 | 12101 | 5559k| 437.0 | 95M| 68 | 328 |1000 | 15k|1000 |1128 |1229k| 0 |4692 |-3.234352e+02 |-9.900000e+01 | 226.70%
853.93/854.12 c 854s| 12200 | 12201 | 5624k| 438.8 | 95M| 68 | 349 |1000 | 15k|1000 |1522 |1238k| 0 |4692 |-3.234274e+02 |-9.900000e+01 | 226.69%
857.63/857.89 c 858s| 12300 | 12301 | 5662k| 438.3 | 96M| 68 | 240 |1000 | 15k|1000 |1142 |1249k| 0 |4692 |-3.234274e+02 |-9.900000e+01 | 226.69%
862.03/862.29 c 862s| 12400 | 12401 | 5704k| 438.2 | 96M| 68 | 386 |1000 | 15k|1000 |1137 |1259k| 0 |4692 |-3.233781e+02 |-9.900000e+01 | 226.64%
866.13/866.37 c 866s| 12500 | 12501 | 5743k| 437.8 | 97M| 68 | 346 |1000 | 15k|1000 |1689 |1271k| 0 |4692 |-3.233767e+02 |-9.900000e+01 | 226.64%
868.03/868.22 c 868s| 12600 | 12601 | 5764k| 436.0 | 97M| 68 | 147 |1000 | 15k|1000 |1134 |1283k| 0 |4692 |-3.233767e+02 |-9.900000e+01 | 226.64%
872.13/872.31 c 872s| 12700 | 12701 | 5801k| 435.5 | 98M| 68 | 332 |1000 | 15k|1000 |1529 |1293k| 0 |4725 |-3.233750e+02 |-9.900000e+01 | 226.64%
879.42/879.64 c 880s| 12800 | 12801 | 5853k| 436.1 | 98M| 68 | 231 |1000 | 15k|1000 |1137 |1302k| 0 |4759 |-3.233581e+02 |-9.900000e+01 | 226.62%
885.03/885.20 c 885s| 12900 | 12901 | 5892k| 435.8 | 98M| 68 | 383 |1000 | 15k|1000 |1630 |1310k| 0 |4831 |-3.233446e+02 |-9.900000e+01 | 226.61%
889.03/889.28 c 889s| 13000 | 13001 | 5926k| 435.1 | 99M| 68 | 79 |1000 | 15k|1000 |1146 |1320k| 0 |4854 |-3.233405e+02 |-9.900000e+01 | 226.61%
894.93/895.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
894.93/895.18 c 895s| 13100 | 13101 | 5973k| 435.3 | 99M| 68 | 363 |1000 | 15k|1000 |1676 |1331k| 0 |4905 |-3.233295e+02 |-9.900000e+01 | 226.60%
900.32/900.58 c 901s| 13200 | 13201 | 6013k| 435.0 | 100M| 68 | 46 |1000 | 15k|1000 | 995 |1341k| 0 |4956 |-3.233087e+02 |-9.900000e+01 | 226.57%
904.33/904.50 c 905s| 13300 | 13301 | 6041k| 433.9 | 100M| 68 | 341 |1000 | 15k|1000 |1134 |1352k| 0 |5030 |-3.233067e+02 |-9.900000e+01 | 226.57%
910.53/910.72 c 911s| 13400 | 13401 | 6083k| 433.7 | 101M| 68 | 384 |1000 | 15k|1000 |1153 |1361k| 0 |5066 |-3.233022e+02 |-9.900000e+01 | 226.57%
915.22/915.42 c 915s| 13500 | 13501 | 6112k| 432.7 | 101M| 68 | 385 |1000 | 15k|1000 |1670 |1373k| 0 |5094 |-3.232803e+02 |-9.900000e+01 | 226.55%
919.83/920.05 c 920s| 13600 | 13601 | 6156k| 432.8 | 101M| 68 | 379 |1000 | 15k|1000 |1702 |1384k| 0 |5094 |-3.232748e+02 |-9.900000e+01 | 226.54%
925.32/925.50 c 925s| 13700 | 13701 | 6196k| 432.5 | 102M| 68 | 353 |1000 | 15k|1000 |1562 |1392k| 0 |5133 |-3.232714e+02 |-9.900000e+01 | 226.54%
927.82/928.02 c 928s| 13800 | 13801 | 6219k| 431.0 | 102M| 68 | 293 |1000 | 15k|1000 |1148 |1402k| 0 |5161 |-3.232714e+02 |-9.900000e+01 | 226.54%
932.02/932.29 c 932s| 13900 | 13901 | 6254k| 430.5 | 103M| 68 | 340 |1000 | 15k|1000 |1136 |1413k| 0 |5187 |-3.232650e+02 |-9.900000e+01 | 226.53%
936.52/936.79 c 937s| 14000 | 14001 | 6289k| 429.9 | 103M| 68 | 279 |1000 | 15k|1000 |1153 |1424k| 0 |5209 |-3.232612e+02 |-9.900000e+01 | 226.53%
940.92/941.15 c 941s| 14100 | 14101 | 6329k| 429.7 | 104M| 68 | 318 |1000 | 15k|1000 |1581 |1433k| 0 |5212 |-3.232568e+02 |-9.900000e+01 | 226.52%
942.92/943.19 c 943s| 14200 | 14201 | 6352k| 428.3 | 104M| 68 | 283 |1000 | 15k|1000 |1140 |1444k| 0 |5213 |-3.232568e+02 |-9.900000e+01 | 226.52%
946.52/946.72 c 947s| 14300 | 14301 | 6388k| 427.8 | 104M| 68 | 28 |1000 | 15k|1000 | 995 |1453k| 0 |5214 |-3.232568e+02 |-9.900000e+01 | 226.52%
950.42/950.64 c 951s| 14400 | 14401 | 6426k| 427.5 | 105M| 68 | 243 |1000 | 15k|1000 |1143 |1463k| 0 |5214 |-3.232568e+02 |-9.900000e+01 | 226.52%
952.51/952.77 c 953s| 14500 | 14501 | 6450k| 426.2 | 105M| 68 | 33 |1000 | 15k|1000 | 995 |1473k| 0 |5214 |-3.232568e+02 |-9.900000e+01 | 226.52%
957.32/957.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
957.32/957.57 c 958s| 14600 | 14601 | 6495k| 426.3 | 106M| 68 | 60 |1000 | 15k|1000 | 995 |1481k| 0 |5214 |-3.232445e+02 |-9.900000e+01 | 226.51%
959.82/960.05 c 960s| 14700 | 14701 | 6522k| 425.3 | 106M| 68 | 68 |1000 | 15k|1000 |1138 |1494k| 0 |5214 |-3.232445e+02 |-9.900000e+01 | 226.51%
963.02/963.21 c 963s| 14800 | 14801 | 6554k| 424.6 | 107M| 68 | 55 |1000 | 15k|1000 |1153 |1504k| 0 |5214 |-3.232445e+02 |-9.900000e+01 | 226.51%
969.22/969.48 c 969s| 14900 | 14901 | 6614k| 425.7 | 107M| 68 | 10 |1000 | 15k|1000 | 995 |1512k| 0 |5214 |-3.232285e+02 |-9.900000e+01 | 226.49%
971.91/972.18 c 972s| 15000 | 15001 | 6643k| 424.8 | 107M| 68 | 190 |1000 | 15k|1000 |1125 |1523k| 0 |5214 |-3.232285e+02 |-9.900000e+01 | 226.49%
976.01/976.24 c 976s| 15100 | 15101 | 6683k| 424.7 | 108M| 68 | 381 |1000 | 15k|1000 |1691 |1534k| 0 |5214 |-3.232083e+02 |-9.900000e+01 | 226.47%
980.81/981.07 c 981s| 15200 | 15201 | 6729k| 424.9 | 108M| 68 | 386 |1000 | 15k|1000 |1133 |1544k| 0 |5214 |-3.232062e+02 |-9.900000e+01 | 226.47%
984.61/984.82 c 985s| 15300 | 15301 | 6766k| 424.5 | 109M| 68 | 288 |1000 | 15k|1000 |1143 |1553k| 0 |5214 |-3.232038e+02 |-9.900000e+01 | 226.47%
988.72/988.99 c 989s| 15400 | 15401 | 6808k| 424.5 | 109M| 68 | 115 |1000 | 15k|1000 |1139 |1564k| 0 |5214 |-3.232023e+02 |-9.900000e+01 | 226.47%
992.41/992.62 c 993s| 15500 | 15501 | 6842k| 424.0 | 110M| 68 | 132 |1000 | 15k|1000 |1118 |1574k| 0 |5215 |-3.232002e+02 |-9.900000e+01 | 226.46%
998.80/999.02 c 999s| 15600 | 15601 | 6900k| 425.0 | 110M| 68 | 23 |1000 | 15k|1000 | 995 |1582k| 0 |5215 |-3.231454e+02 |-9.900000e+01 | 226.41%
1000.90/1001.10 c 1001s| 15700 | 15701 | 6924k| 423.8 | 111M| 68 | 387 |1000 | 15k|1000 |1705 |1595k| 0 |5215 |-3.231454e+02 |-9.900000e+01 | 226.41%
1005.50/1005.73 c 1006s| 15800 | 15801 | 6969k| 424.0 | 111M| 68 | 350 |1000 | 15k|1000 |1527 |1607k| 0 |5215 |-3.231378e+02 |-9.900000e+01 | 226.40%
1009.00/1009.28 c 1009s| 15900 | 15901 | 7005k| 423.5 | 112M| 68 | 349 |1000 | 15k|1000 |1576 |1618k| 0 |5215 |-3.231341e+02 |-9.900000e+01 | 226.40%
1013.00/1013.27 c 1013s| 16000 | 16001 | 7044k| 423.4 | 112M| 68 | 261 |1000 | 15k|1000 |1145 |1628k| 0 |5215 |-3.231263e+02 |-9.900000e+01 | 226.39%
1017.00/1017.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1017.00/1017.27 c 1017s| 16100 | 16101 | 7079k| 422.9 | 113M| 68 | 30 |1000 | 15k|1000 | 995 |1638k| 0 |5226 |-3.231143e+02 |-9.900000e+01 | 226.38%
1022.80/1023.05 c 1023s| 16200 | 16201 | 7125k| 423.1 | 113M| 68 | 407 |1000 | 15k|1000 |1624 |1648k| 0 |5289 |-3.230996e+02 |-9.900000e+01 | 226.36%
1029.40/1029.64 c 1030s| 16300 | 16301 | 7174k| 423.5 | 114M| 68 | 362 |1000 | 15k|1000 |1141 |1656k| 0 |5354 |-3.230884e+02 |-9.900000e+01 | 226.35%
1034.50/1034.71 c 1035s| 16400 | 16401 | 7213k| 423.3 | 114M| 68 | 299 |1000 | 15k|1000 |1138 |1667k| 0 |5394 |-3.230848e+02 |-9.900000e+01 | 226.35%
1040.50/1040.78 c 1041s| 16500 | 16501 | 7259k| 423.6 | 114M| 68 | 187 |1000 | 15k|1000 |1214 |1677k| 0 |5421 |-3.230809e+02 |-9.900000e+01 | 226.34%
1046.00/1046.21 c 1046s| 16600 | 16601 | 7302k| 423.6 | 115M| 68 | 27 |1000 | 15k|1000 |1145 |1686k| 0 |5454 |-3.230696e+02 |-9.900000e+01 | 226.33%
1052.09/1052.39 c 1052s| 16700 | 16701 | 7345k| 423.6 | 115M| 68 | 366 |1000 | 15k|1000 | 995 |1696k| 0 |5493 |-3.230517e+02 |-9.900000e+01 | 226.31%
1059.20/1059.48 c 1059s| 16800 | 16801 | 7399k| 424.3 | 116M| 68 | 55 |1000 | 15k|1000 |1151 |1705k| 0 |5521 |-3.230487e+02 |-9.900000e+01 | 226.31%
1063.79/1064.04 c 1064s| 16900 | 16901 | 7435k| 423.9 | 116M| 69 | 326 |1000 | 15k|1000 |1546 |1716k| 0 |5558 |-3.230487e+02 |-9.900000e+01 | 226.31%
1067.39/1067.66 c 1068s| 17000 | 17001 | 7464k| 423.1 | 117M| 69 | 15 |1000 | 15k|1000 | 995 |1727k| 0 |5607 |-3.230439e+02 |-9.900000e+01 | 226.31%
1072.69/1072.99 c 1073s| 17100 | 17101 | 7508k| 423.3 | 117M| 69 | 151 |1000 | 15k|1000 | 995 |1737k| 0 |5639 |-3.230367e+02 |-9.900000e+01 | 226.30%
1078.29/1078.54 c 1079s| 17200 | 17201 | 7550k| 423.2 | 118M| 69 | 98 |1000 | 15k|1000 |1135 |1748k| 0 |5672 |-3.230313e+02 |-9.900000e+01 | 226.29%
1083.20/1083.49 c 1083s| 17300 | 17301 | 7589k| 423.0 | 118M| 69 | 90 |1000 | 15k|1000 | 995 |1758k| 0 |5697 |-3.230288e+02 |-9.900000e+01 | 226.29%
1087.60/1087.82 c 1088s| 17400 | 17401 | 7629k| 422.9 | 119M| 69 | 6 |1000 | 15k|1000 |1143 |1768k| 0 |5704 |-3.230288e+02 |-9.900000e+01 | 226.29%
1089.49/1089.76 c 1090s| 17500 | 17501 | 7651k| 421.8 | 119M| 69 | 387 |1000 | 15k|1000 |1644 |1780k| 0 |5707 |-3.230288e+02 |-9.900000e+01 | 226.29%
1092.99/1093.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1092.99/1093.27 c 1093s| 17600 | 17601 | 7686k| 421.3 | 119M| 69 | 32 |1000 | 15k|1000 | 995 |1788k| 0 |5709 |-3.230182e+02 |-9.900000e+01 | 226.28%
1098.19/1098.49 c 1098s| 17700 | 17701 | 7736k| 421.8 | 120M| 69 | 334 |1000 | 15k|1000 |1549 |1800k| 0 |5711 |-3.230146e+02 |-9.900000e+01 | 226.28%
1101.59/1101.83 c 1102s| 17800 | 17801 | 7769k| 421.3 | 120M| 69 | 255 |1000 | 15k|1000 |1127 |1809k| 0 |5711 |-3.230112e+02 |-9.900000e+01 | 226.27%
1103.29/1103.53 c 1104s| 17900 | 17901 | 7789k| 420.0 | 121M| 69 | 216 |1000 | 15k|1000 |1139 |1819k| 0 |5711 |-3.230112e+02 |-9.900000e+01 | 226.27%
1106.49/1106.73 c 1107s| 18000 | 18001 | 7821k| 419.5 | 121M| 69 | 332 |1000 | 15k|1000 |1583 |1829k| 0 |5711 |-3.230002e+02 |-9.900000e+01 | 226.26%
1112.18/1112.41 c 1112s| 18100 | 18101 | 7874k| 420.1 | 122M| 69 | 211 |1000 | 15k|1000 |1225 |1839k| 0 |5711 |-3.230002e+02 |-9.900000e+01 | 226.26%
1117.39/1117.62 c 1118s| 18200 | 18201 | 7923k| 420.5 | 122M| 69 | 224 |1000 | 15k|1000 |1147 |1849k| 0 |5711 |-3.229990e+02 |-9.900000e+01 | 226.26%
1122.68/1122.95 c 1123s| 18300 | 18301 | 7972k| 420.9 | 123M| 69 | 284 |1000 | 15k|1000 |1148 |1858k| 0 |5711 |-3.229846e+02 |-9.900000e+01 | 226.25%
1125.88/1126.18 c 1126s| 18400 | 18401 | 8005k| 420.4 | 123M| 69 | 107 |1000 | 15k|1000 |1140 |1869k| 0 |5711 |-3.229826e+02 |-9.900000e+01 | 226.25%
1131.58/1131.82 c 1132s| 18500 | 18501 | 8057k| 420.9 | 124M| 69 | 90 |1000 | 15k|1000 |1142 |1877k| 0 |5711 |-3.229791e+02 |-9.900000e+01 | 226.24%
1136.08/1136.34 c 1136s| 18600 | 18601 | 8101k| 421.0 | 124M| 69 | 8 |1000 | 15k|1000 | 995 |1888k| 0 |5711 |-3.229791e+02 |-9.900000e+01 | 226.24%
1141.58/1141.81 c 1142s| 18700 | 18701 | 8142k| 420.9 | 125M| 69 | 327 |1000 | 15k|1000 |1146 |1899k| 0 |5750 |-3.229763e+02 |-9.900000e+01 | 226.24%
1145.08/1145.31 c 1145s| 18800 | 18801 | 8172k| 420.3 | 125M| 69 | 334 |1000 | 15k|1000 |1637 |1910k| 0 |5782 |-3.229727e+02 |-9.900000e+01 | 226.24%
1148.48/1148.72 c 1149s| 18900 | 18901 | 8201k| 419.6 | 125M| 69 | 92 |1000 | 15k|1000 |1150 |1921k| 0 |5853 |-3.229670e+02 |-9.900000e+01 | 226.23%
1154.37/1154.64 c 1155s| 19000 | 19001 | 8245k| 419.7 | 126M| 69 | 44 |1000 | 15k|1000 | 995 |1932k| 0 |5893 |-3.229659e+02 |-9.900000e+01 | 226.23%
1157.27/1157.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1157.27/1157.59 c 1158s| 19100 | 19101 | 8273k| 419.0 | 126M| 69 | 84 |1000 | 15k|1000 |1141 |1945k| 0 |5949 |-3.229659e+02 |-9.900000e+01 | 226.23%
1161.57/1161.86 c 1162s| 19200 | 19201 | 8308k| 418.6 | 127M| 69 | 98 |1000 | 15k|1000 |1149 |1956k| 0 |5999 |-3.229568e+02 |-9.900000e+01 | 226.22%
1169.38/1169.66 c 1170s| 19300 | 19301 | 8360k| 419.2 | 127M| 69 | 14 |1000 | 15k|1000 | 995 |1965k| 0 |6038 |-3.229521e+02 |-9.900000e+01 | 226.21%
1174.87/1175.12 c 1175s| 19400 | 19401 | 8407k| 419.4 | 128M| 69 | 395 |1000 | 15k|1000 |1740 |1977k| 0 |6050 |-3.229467e+02 |-9.900000e+01 | 226.21%
1180.67/1180.92 c 1181s| 19500 | 19501 | 8448k| 419.4 | 128M| 69 | 19 |1000 | 15k|1000 |1144 |1985k| 0 |6117 |-3.229467e+02 |-9.900000e+01 | 226.21%
1183.87/1184.17 c 1184s| 19600 | 19601 | 8480k| 418.8 | 129M| 69 | 285 |1000 | 15k|1000 |1224 |1995k| 0 |6132 |-3.229461e+02 |-9.900000e+01 | 226.21%
1188.87/1189.16 c 1189s| 19700 | 19701 | 8514k| 418.4 | 129M| 69 | 146 |1000 | 15k|1000 |1218 |2006k| 0 |6178 |-3.229415e+02 |-9.900000e+01 | 226.20%
1193.77/1194.08 c 1194s| 19800 | 19801 | 8556k| 418.5 | 129M| 69 | 282 |1000 | 15k|1000 |1143 |2017k| 0 |6201 |-3.229384e+02 |-9.900000e+01 | 226.20%
1195.97/1196.26 c 1196s| 19900 | 19901 | 8581k| 417.6 | 130M| 69 | 382 |1000 | 15k|1000 |1655 |2028k| 0 |6201 |-3.229384e+02 |-9.900000e+01 | 226.20%
1199.57/1199.89 c 1200s| 20000 | 20001 | 8613k| 417.1 | 130M| 69 | 130 |1000 | 15k|1000 |1140 |2039k| 0 |6215 |-3.229233e+02 |-9.900000e+01 | 226.19%
1204.07/1204.36 c 1204s| 20100 | 20101 | 8657k| 417.2 | 131M| 69 | 228 |1000 | 15k|1000 |1138 |2049k| 0 |6218 |-3.229157e+02 |-9.900000e+01 | 226.18%
1206.16/1206.49 c 1206s| 20200 | 20201 | 8681k| 416.4 | 131M| 69 | 359 |1000 | 15k|1000 |1690 |2061k| 0 |6218 |-3.229157e+02 |-9.900000e+01 | 226.18%
1210.07/1210.33 c 1210s| 20300 | 20301 | 8718k| 416.1 | 132M| 69 | 278 |1000 | 15k|1000 |1132 |2070k| 0 |6219 |-3.229048e+02 |-9.900000e+01 | 226.17%
1214.77/1215.00 c 1215s| 20400 | 20401 | 8762k| 416.3 | 132M| 69 | 74 |1000 | 15k|1000 |1143 |2080k| 0 |6219 |-3.228965e+02 |-9.900000e+01 | 226.16%
1219.67/1219.95 c 1220s| 20500 | 20501 | 8808k| 416.5 | 133M| 69 | 137 |1000 | 15k|1000 |1148 |2088k| 0 |6221 |-3.228909e+02 |-9.900000e+01 | 226.15%
1225.17/1225.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1225.17/1225.43 c 1225s| 20600 | 20601 | 8865k| 417.2 | 133M| 69 | 392 |1000 | 15k|1000 |1741 |2100k| 0 |6221 |-3.228906e+02 |-9.900000e+01 | 226.15%
1228.96/1229.25 c 1229s| 20700 | 20701 | 8903k| 417.0 | 134M| 69 | 108 |1000 | 15k|1000 |1140 |2111k| 0 |6221 |-3.228797e+02 |-9.900000e+01 | 226.14%
1234.86/1235.20 c 1235s| 20800 | 20801 | 8957k| 417.6 | 134M| 69 | 346 |1000 | 15k|1000 |1140 |2120k| 0 |6221 |-3.228624e+02 |-9.900000e+01 | 226.12%
1238.16/1238.49 c 1238s| 20900 | 20901 | 8990k| 417.2 | 135M| 69 | 32 |1000 | 15k|1000 | 995 |2129k| 0 |6221 |-3.228624e+02 |-9.900000e+01 | 226.12%
1240.76/1241.01 c 1241s| 21000 | 21001 | 9016k| 416.5 | 135M| 69 | 30 |1000 | 15k|1000 | 995 |2139k| 0 |6221 |-3.228624e+02 |-9.900000e+01 | 226.12%
1246.27/1246.59 c 1247s| 21100 | 21101 | 9070k| 417.0 | 136M| 69 | 385 |1000 | 15k|1000 |1140 |2150k| 0 |6221 |-3.228550e+02 |-9.900000e+01 | 226.12%
1250.16/1250.49 c 1250s| 21200 | 21201 | 9108k| 416.9 | 136M| 69 | 387 |1000 | 15k|1000 |1747 |2160k| 0 |6221 |-3.228490e+02 |-9.900000e+01 | 226.11%
1253.36/1253.63 c 1254s| 21300 | 21301 | 9140k| 416.4 | 137M| 69 | 197 |1000 | 15k|1000 |1156 |2169k| 0 |6221 |-3.228462e+02 |-9.900000e+01 | 226.11%
1257.57/1257.88 c 1258s| 21400 | 21401 | 9174k| 416.1 | 137M| 71 | 383 |1000 | 15k|1000 |1148 |2180k| 0 |6280 |-3.228459e+02 |-9.900000e+01 | 226.11%
1260.27/1260.55 c 1261s| 21500 | 21501 | 9199k| 415.3 | 137M| 71 | 190 |1000 | 15k|1000 |1150 |2191k| 0 |6368 |-3.228459e+02 |-9.900000e+01 | 226.11%
1262.96/1263.22 c 1263s| 21600 | 21601 | 9224k| 414.5 | 138M| 73 | 8 |1000 | 15k|1000 | 995 |2202k| 0 |6418 |-3.228459e+02 |-9.900000e+01 | 226.11%
1267.06/1267.33 c 1267s| 21700 | 21701 | 9257k| 414.1 | 138M| 73 | 293 |1000 | 15k|1000 |1449 |2213k| 0 |6456 |-3.228435e+02 |-9.900000e+01 | 226.10%
1272.96/1273.25 c 1273s| 21800 | 21801 | 9301k| 414.3 | 139M| 73 | 108 |1000 | 15k|1000 |1136 |2221k| 0 |6476 |-3.228341e+02 |-9.900000e+01 | 226.10%
1276.36/1276.68 c 1277s| 21900 | 21901 | 9330k| 413.7 | 139M| 73 | 221 |1000 | 15k|1000 |1139 |2231k| 0 |6544 |-3.228341e+02 |-9.900000e+01 | 226.10%
1281.35/1281.63 c 1282s| 22000 | 22001 | 9371k| 413.6 | 140M| 73 | 176 |1000 | 15k|1000 |1130 |2242k| 0 |6561 |-3.228332e+02 |-9.900000e+01 | 226.09%
1287.56/1287.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1287.56/1287.85 c 1288s| 22100 | 22101 | 9417k| 413.9 | 140M| 73 | 313 |1000 | 15k|1000 |1269 |2251k| 0 |6580 |-3.228202e+02 |-9.900000e+01 | 226.08%
1296.46/1296.72 c 1297s| 22200 | 22201 | 9478k| 414.8 | 141M| 73 | 409 |1000 | 15k|1000 |1716 |2260k| 0 |6614 |-3.228113e+02 |-9.900000e+01 | 226.07%
1298.45/1298.73 c 1299s| 22300 | 22301 | 9500k| 413.9 | 141M| 73 | 144 |1000 | 15k|1000 |1138 |2269k| 0 |6614 |-3.228113e+02 |-9.900000e+01 | 226.07%
1305.55/1305.82 c 1306s| 22400 | 22401 | 9546k| 414.1 | 141M| 73 | 20 |1000 | 15k|1000 | 995 |2277k| 0 |6650 |-3.228011e+02 |-9.900000e+01 | 226.06%
1310.76/1311.08 c 1311s| 22500 | 22501 | 9584k| 413.9 | 142M| 73 | 188 |1000 | 15k|1000 |1133 |2286k| 0 |6669 |-3.227873e+02 |-9.900000e+01 | 226.05%
1312.46/1312.70 c 1313s| 22600 | 22601 | 9603k| 413.0 | 142M| 73 | 24 |1000 | 15k|1000 | 995 |2297k| 0 |6669 |-3.227873e+02 |-9.900000e+01 | 226.05%
1316.86/1317.18 c 1317s| 22700 | 22701 | 9632k| 412.4 | 143M| 73 | 187 |1000 | 15k|1000 |1151 |2306k| 0 |6692 |-3.227850e+02 |-9.900000e+01 | 226.05%
1318.55/1318.82 c 1319s| 22800 | 22801 | 9652k| 411.5 | 143M| 74 | 301 |1000 | 15k|1000 |1536 |2317k| 0 |6692 |-3.227850e+02 |-9.900000e+01 | 226.05%
1323.75/1324.10 c 1324s| 22900 | 22901 | 9694k| 411.5 | 144M| 74 | 83 |1000 | 15k|1000 |1211 |2326k| 0 |6715 |-3.227565e+02 |-9.900000e+01 | 226.02%
1332.75/1333.07 c 1333s| 23000 | 23001 | 9760k| 412.6 | 144M| 74 | 106 |1000 | 15k|1000 | 995 |2334k| 0 |6750 |-3.227428e+02 |-9.900000e+01 | 226.00%
1336.65/1336.93 c 1337s| 23100 | 23101 | 9794k| 412.3 | 145M| 74 | 360 |1000 | 15k|1000 |1550 |2344k| 0 |6758 |-3.227412e+02 |-9.900000e+01 | 226.00%
1341.34/1341.62 c 1342s| 23200 | 23201 | 9834k| 412.2 | 145M| 74 | 390 |1000 | 15k|1000 |1150 |2354k| 0 |6771 |-3.227412e+02 |-9.900000e+01 | 226.00%
1345.95/1346.29 c 1346s| 23300 | 23301 | 9878k| 412.3 | 146M| 74 | 334 |1000 | 15k|1000 |1501 |2363k| 0 |6773 |-3.227302e+02 |-9.900000e+01 | 225.99%
1351.35/1351.63 c 1352s| 23400 | 23401 | 9928k| 412.7 | 146M| 74 | 308 |1000 | 15k|1000 |1152 |2372k| 0 |6774 |-3.227240e+02 |-9.900000e+01 | 225.98%
1354.15/1354.43 c 1354s| 23500 | 23501 | 9958k| 412.2 | 146M| 74 | 356 |1000 | 15k|1000 |1149 |2383k| 0 |6774 |-3.227240e+02 |-9.900000e+01 | 225.98%
1356.25/1356.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1356.25/1356.55 c 1357s| 23600 | 23601 | 9982k| 411.5 | 147M| 74 | 270 |1000 | 15k|1000 |1227 |2394k| 0 |6774 |-3.227240e+02 |-9.900000e+01 | 225.98%
1358.44/1358.77 c 1359s| 23700 | 23701 | 10008k| 410.8 | 147M| 74 | 113 |1000 | 15k|1000 |1149 |2404k| 0 |6774 |-3.227240e+02 |-9.900000e+01 | 225.98%
1363.04/1363.35 c 1363s| 23800 | 23801 | 10051k| 410.9 | 148M| 74 | 401 |1000 | 15k|1000 |1710 |2413k| 0 |6775 |-3.227132e+02 |-9.900000e+01 | 225.97%
1366.34/1366.66 c 1367s| 23900 | 23901 | 10084k| 410.6 | 148M| 74 | 400 |1000 | 15k|1000 |1710 |2423k| 0 |6775 |-3.227041e+02 |-9.900000e+01 | 225.96%
1371.24/1371.51 c 1372s| 24000 | 24001 | 10130k| 410.8 | 149M| 74 | 250 |1000 | 15k|1000 |1138 |2432k| 0 |6775 |-3.226934e+02 |-9.900000e+01 | 225.95%
1374.94/1375.21 c 1375s| 24100 | 24101 | 10165k| 410.6 | 149M| 77 | 361 |1000 | 15k|1000 |1615 |2439k| 0 |6775 |-3.226909e+02 |-9.900000e+01 | 225.95%
1377.94/1378.20 c 1378s| 24200 | 24201 | 10196k| 410.1 | 150M| 77 | 296 |1000 | 15k|1000 |1508 |2449k| 0 |6775 |-3.226875e+02 |-9.900000e+01 | 225.95%
1382.55/1382.80 c 1383s| 24300 | 24301 | 10239k| 410.2 | 150M| 77 | 107 |1000 | 15k|1000 | 995 |2458k| 0 |6775 |-3.226851e+02 |-9.900000e+01 | 225.94%
1386.54/1386.87 c 1387s| 24400 | 24401 | 10279k| 410.2 | 151M| 77 | 317 |1000 | 15k|1000 |1137 |2470k| 0 |6775 |-3.226851e+02 |-9.900000e+01 | 225.94%
1389.05/1389.34 c 1389s| 24500 | 24501 | 10306k| 409.6 | 151M| 77 | 74 |1000 | 15k|1000 | 995 |2483k| 0 |6775 |-3.226851e+02 |-9.900000e+01 | 225.94%
1390.54/1390.80 c 1391s| 24600 | 24601 | 10325k| 408.7 | 151M| 77 | 304 |1000 | 15k|1000 |1232 |2493k| 0 |6775 |-3.226851e+02 |-9.900000e+01 | 225.94%
1394.84/1395.14 c 1395s| 24700 | 24701 | 10366k| 408.7 | 152M| 77 | 95 |1000 | 15k|1000 |1151 |2502k| 0 |6775 |-3.226828e+02 |-9.900000e+01 | 225.94%
1400.64/1400.94 c 1401s| 24800 | 24801 | 10409k| 408.8 | 152M| 77 | 34 |1000 | 15k|1000 |1151 |2511k| 0 |6812 |-3.226786e+02 |-9.900000e+01 | 225.94%
1406.64/1406.96 c 1407s| 24900 | 24901 | 10456k| 409.1 | 153M| 77 | 343 |1000 | 15k|1000 |1563 |2520k| 0 |6829 |-3.226769e+02 |-9.900000e+01 | 225.94%
1411.64/1411.91 c 1412s| 25000 | 25001 | 10497k| 409.1 | 153M| 77 | 153 |1000 | 15k|1000 |1150 |2528k| 0 |6881 |-3.226726e+02 |-9.900000e+01 | 225.93%
1418.54/1418.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1418.54/1418.83 c 1419s| 25100 | 25101 | 10548k| 409.5 | 154M| 77 | 19 |1000 | 15k|1000 | 995 |2535k| 0 |6909 |-3.226726e+02 |-9.900000e+01 | 225.93%
1424.84/1425.11 c 1425s| 25200 | 25201 | 10596k| 409.7 | 154M| 77 | 404 |1000 | 15k|1000 |1727 |2545k| 0 |6962 |-3.226594e+02 |-9.900000e+01 | 225.92%
1430.93/1431.25 c 1431s| 25300 | 25301 | 10638k| 409.8 | 155M| 77 | 188 |1000 | 15k|1000 |1137 |2554k| 0 |7019 |-3.226509e+02 |-9.900000e+01 | 225.91%
1435.83/1436.16 c 1436s| 25400 | 25401 | 10685k| 410.0 | 155M| 77 | 240 |1000 | 15k|1000 |1153 |2563k| 0 |7019 |-3.226479e+02 |-9.900000e+01 | 225.91%
1437.64/1437.91 c 1438s| 25500 | 25501 | 10703k| 409.1 | 156M| 81 | 313 |1000 | 15k|1000 |1544 |2574k| 0 |7040 |-3.226479e+02 |-9.900000e+01 | 225.91%
1441.43/1441.71 c 1442s| 25600 | 25601 | 10731k| 408.6 | 156M| 83 | 17 |1000 | 15k|1000 |1149 |2583k| 0 |7085 |-3.226465e+02 |-9.900000e+01 | 225.91%
1443.23/1443.51 c 1444s| 25700 | 25701 | 10751k| 407.8 | 156M| 83 | 250 |1000 | 15k|1000 |1255 |2592k| 0 |7108 |-3.226465e+02 |-9.900000e+01 | 225.91%
1447.34/1447.63 c 1448s| 25800 | 25801 | 10783k| 407.4 | 157M| 83 | 16 |1000 | 15k|1000 |1141 |2601k| 0 |7136 |-3.226465e+02 |-9.900000e+01 | 225.91%
1452.43/1452.78 c 1453s| 25900 | 25901 | 10814k| 407.1 | 157M| 83 | 180 |1000 | 15k|1000 |1210 |2611k| 0 |7168 |-3.226458e+02 |-9.900000e+01 | 225.90%
1455.33/1455.65 c 1456s| 26000 | 26001 | 10844k| 406.7 | 158M| 83 | 17 |1000 | 15k|1000 |1150 |2619k| 0 |7168 |-3.226401e+02 |-9.900000e+01 | 225.90%
1458.63/1458.91 c 1459s| 26100 | 26101 | 10874k| 406.3 | 158M| 83 | 10 |1000 | 15k|1000 |1136 |2629k| 0 |7188 |-3.226358e+02 |-9.900000e+01 | 225.89%
1463.23/1463.50 c 1464s| 26200 | 26201 | 10911k| 406.1 | 159M| 83 | 367 |1000 | 15k|1000 |1150 |2638k| 0 |7235 |-3.226349e+02 |-9.900000e+01 | 225.89%
1465.73/1466.09 c 1466s| 26300 | 26301 | 10936k| 405.5 | 159M| 83 | 231 |1000 | 15k|1000 |1251 |2650k| 0 |7268 |-3.226349e+02 |-9.900000e+01 | 225.89%
1470.72/1471.09 c 1471s| 26400 | 26401 | 10974k| 405.4 | 160M| 83 | 362 |1000 | 15k|1000 |1128 |2661k| 0 |7292 |-3.226323e+02 |-9.900000e+01 | 225.89%
1472.42/1472.77 c 1473s| 26500 | 26501 | 10993k| 404.6 | 160M| 83 | 86 |1000 | 15k|1000 |1132 |2670k| 0 |7297 |-3.226323e+02 |-9.900000e+01 | 225.89%
1474.32/1474.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1474.32/1474.63 c 1475s| 26600 | 26601 | 11015k| 403.9 | 160M| 83 | 252 |1000 | 15k|1000 |1226 |2681k| 0 |7298 |-3.226323e+02 |-9.900000e+01 | 225.89%
1480.82/1481.17 c 1481s| 26700 | 26701 | 11059k| 404.1 | 161M| 83 | 4 |1000 | 15k|1000 | 995 |2689k| 0 |7330 |-3.226223e+02 |-9.900000e+01 | 225.88%
1484.52/1484.85 c 1485s| 26800 | 26801 | 11095k| 403.9 | 161M| 83 | 415 |1000 | 15k|1000 |1659 |2698k| 0 |7331 |-3.226183e+02 |-9.900000e+01 | 225.88%
1486.62/1486.90 c 1487s| 26900 | 26901 | 11119k| 403.3 | 162M| 83 | 333 |1000 | 15k|1000 |1543 |2710k| 0 |7331 |-3.226183e+02 |-9.900000e+01 | 225.88%
1490.52/1490.88 c 1491s| 27000 | 27001 | 11157k| 403.2 | 162M| 83 | 353 |1000 | 15k|1000 |1150 |2718k| 0 |7334 |-3.226183e+02 |-9.900000e+01 | 225.88%
1493.62/1493.99 c 1494s| 27100 | 27101 | 11189k| 402.9 | 163M| 83 | 377 |1000 | 15k|1000 |1708 |2727k| 0 |7334 |-3.226183e+02 |-9.900000e+01 | 225.88%
1495.52/1495.84 c 1496s| 27200 | 27201 | 11211k| 402.2 | 163M| 83 | 244 |1000 | 15k|1000 |1142 |2738k| 0 |7334 |-3.226183e+02 |-9.900000e+01 | 225.88%
1498.82/1499.16 c 1499s| 27300 | 27301 | 11244k| 402.0 | 164M| 83 | 310 |1000 | 15k|1000 |1144 |2749k| 0 |7334 |-3.226127e+02 |-9.900000e+01 | 225.87%
1500.72/1501.09 c 1501s| 27400 | 27401 | 11267k| 401.3 | 164M| 83 | 206 |1000 | 15k|1000 |1231 |2760k| 0 |7334 |-3.226127e+02 |-9.900000e+01 | 225.87%
1504.12/1504.41 c 1504s| 27500 | 27501 | 11300k| 401.1 | 164M| 83 | 88 |1000 | 15k|1000 |1138 |2769k| 0 |7334 |-3.225890e+02 |-9.900000e+01 | 225.85%
1507.12/1507.45 c 1507s| 27600 | 27601 | 11331k| 400.7 | 165M| 83 | 15 |1000 | 15k|1000 |1152 |2778k| 0 |7334 |-3.225865e+02 |-9.900000e+01 | 225.84%
1509.12/1509.44 c 1509s| 27700 | 27701 | 11354k| 400.1 | 165M| 83 | 320 |1000 | 15k|1000 |1558 |2789k| 0 |7334 |-3.225865e+02 |-9.900000e+01 | 225.84%
1512.32/1512.64 c 1513s| 27800 | 27801 | 11386k| 399.8 | 166M| 83 | 203 |1000 | 15k|1000 |1138 |2799k| 0 |7334 |-3.225840e+02 |-9.900000e+01 | 225.84%
1513.62/1513.91 c 1514s| 27900 | 27901 | 11401k| 398.9 | 166M| 83 | 224 |1000 | 15k|1000 |1235 |2809k| 0 |7334 |-3.225840e+02 |-9.900000e+01 | 225.84%
1516.52/1516.89 c 1517s| 28000 | 28001 | 11430k| 398.6 | 166M| 83 | 180 |1000 | 15k|1000 |1133 |2818k| 0 |7334 |-3.225700e+02 |-9.900000e+01 | 225.83%
1519.62/1519.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1519.62/1519.98 c 1520s| 28100 | 28101 | 11462k| 398.3 | 167M| 83 | 236 |1000 | 15k|1000 |1148 |2828k| 0 |7334 |-3.225699e+02 |-9.900000e+01 | 225.83%
1522.91/1523.20 c 1523s| 28200 | 28201 | 11496k| 398.1 | 167M| 83 | 526 |1000 | 15k|1000 |1947 |2839k| 0 |7334 |-3.225699e+02 |-9.900000e+01 | 225.83%
1526.61/1526.98 c 1527s| 28300 | 28301 | 11533k| 398.0 | 168M| 83 | 6 |1000 | 15k|1000 | 995 |2848k| 0 |7334 |-3.225699e+02 |-9.900000e+01 | 225.83%
1529.72/1530.04 c 1530s| 28400 | 28401 | 11565k| 397.7 | 168M| 83 | 313 |1000 | 15k|1000 |1138 |2859k| 0 |7334 |-3.225699e+02 |-9.900000e+01 | 225.83%
1534.42/1534.71 c 1535s| 28500 | 28501 | 11609k| 397.9 | 169M| 83 | 4 |1000 | 15k|1000 | 995 |2867k| 0 |7334 |-3.225583e+02 |-9.900000e+01 | 225.82%
1536.92/1537.22 c 1537s| 28600 | 28601 | 11637k| 397.4 | 169M| 83 | 275 |1000 | 15k|1000 |1256 |2878k| 0 |7334 |-3.225583e+02 |-9.900000e+01 | 225.82%
1540.51/1540.83 c 1541s| 28700 | 28701 | 11669k| 397.2 | 170M| 83 | 399 |1000 | 15k|1000 |1165 |2887k| 0 |7349 |-3.225582e+02 |-9.900000e+01 | 225.82%
1544.91/1545.22 c 1545s| 28800 | 28801 | 11705k| 397.0 | 170M| 83 | 411 |1000 | 15k|1000 |1768 |2896k| 0 |7421 |-3.225543e+02 |-9.900000e+01 | 225.81%
1549.11/1549.42 c 1549s| 28900 | 28901 | 11735k| 396.7 | 171M| 83 | 23 |1000 | 15k|1000 | 995 |2905k| 0 |7453 |-3.225454e+02 |-9.900000e+01 | 225.80%
1551.21/1551.55 c 1552s| 29000 | 29001 | 11759k| 396.2 | 171M| 83 | 287 |1000 | 15k|1000 |1232 |2915k| 0 |7453 |-3.225454e+02 |-9.900000e+01 | 225.80%
1555.02/1555.37 c 1555s| 29100 | 29101 | 11794k| 396.0 | 171M| 83 | 35 |1000 | 15k|1000 |1151 |2926k| 0 |7477 |-3.225410e+02 |-9.900000e+01 | 225.80%
1559.51/1559.87 c 1560s| 29200 | 29201 | 11826k| 395.7 | 172M| 83 | 112 |1000 | 15k|1000 |1160 |2935k| 0 |7512 |-3.225383e+02 |-9.900000e+01 | 225.80%
1562.91/1563.22 c 1563s| 29300 | 29301 | 11858k| 395.5 | 172M| 83 | 235 |1000 | 15k|1000 |1151 |2944k| 0 |7524 |-3.225383e+02 |-9.900000e+01 | 225.80%
1567.31/1567.66 c 1568s| 29400 | 29401 | 11896k| 395.4 | 173M| 83 | 242 |1000 | 15k|1000 |1139 |2956k| 0 |7565 |-3.225380e+02 |-9.900000e+01 | 225.80%
1571.61/1571.96 c 1572s| 29500 | 29501 | 11929k| 395.2 | 173M| 83 | 249 |1000 | 15k|1000 |1148 |2965k| 0 |7623 |-3.225302e+02 |-9.900000e+01 | 225.79%
1575.20/1575.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1575.20/1575.56 c 1576s| 29600 | 29601 | 11960k| 394.9 | 174M| 83 | 18 |1000 | 15k|1000 | 995 |2974k| 0 |7643 |-3.225280e+02 |-9.900000e+01 | 225.79%
1579.31/1579.67 c 1580s| 29700 | 29701 | 11993k| 394.7 | 174M| 83 | 317 |1000 | 15k|1000 |1144 |2985k| 0 |7668 |-3.225268e+02 |-9.900000e+01 | 225.78%
1584.31/1584.66 c 1585s| 29800 | 29801 | 12029k| 394.6 | 175M| 83 | 293 |1000 | 15k|1000 |1146 |2997k| 0 |7710 |-3.225268e+02 |-9.900000e+01 | 225.78%
1590.31/1590.62 c 1591s| 29900 | 29901 | 12067k| 394.5 | 175M| 83 | 401 |1000 | 15k|1000 |1823 |3005k| 0 |7747 |-3.225268e+02 |-9.900000e+01 | 225.78%
1592.30/1592.70 c 1593s| 30000 | 30001 | 12091k| 394.0 | 175M| 83 | 17 |1000 | 15k|1000 |1155 |3014k| 0 |7747 |-3.225268e+02 |-9.900000e+01 | 225.78%
1595.60/1595.94 c 1596s| 30100 | 30101 | 12124k| 393.8 | 176M| 83 | 361 |1000 | 15k|1000 |1548 |3025k| 0 |7747 |-3.225207e+02 |-9.900000e+01 | 225.78%
1600.00/1600.38 c 1600s| 30200 | 30201 | 12162k| 393.8 | 176M| 83 | 350 |1000 | 15k|1000 |1573 |3035k| 0 |7769 |-3.225186e+02 |-9.900000e+01 | 225.78%
1604.01/1604.30 c 1604s| 30300 | 30301 | 12195k| 393.5 | 177M| 83 | 210 |1000 | 15k|1000 |1145 |3045k| 0 |7787 |-3.225175e+02 |-9.900000e+01 | 225.78%
1607.40/1607.70 c 1608s| 30400 | 30401 | 12224k| 393.2 | 177M| 83 | 113 |1000 | 15k|1000 |1125 |3054k| 0 |7832 |-3.225175e+02 |-9.900000e+01 | 225.78%
1610.11/1610.48 c 1610s| 30500 | 30501 | 12250k| 392.8 | 178M| 83 | 308 |1000 | 15k|1000 |1156 |3063k| 0 |7869 |-3.225142e+02 |-9.900000e+01 | 225.77%
1613.70/1614.04 c 1614s| 30600 | 30601 | 12279k| 392.4 | 178M| 83 | 43 |1000 | 15k|1000 |1158 |3071k| 0 |7882 |-3.225095e+02 |-9.900000e+01 | 225.77%
1617.90/1618.22 c 1618s| 30700 | 30701 | 12312k| 392.2 | 178M| 83 | 234 |1000 | 15k|1000 |1134 |3082k| 0 |7900 |-3.225091e+02 |-9.900000e+01 | 225.77%
1621.80/1622.17 c 1622s| 30800 | 30801 | 12345k| 392.0 | 179M| 83 | 387 |1000 | 15k|1000 |1128 |3090k| 0 |7916 |-3.225067e+02 |-9.900000e+01 | 225.76%
1624.60/1624.92 c 1625s| 30900 | 30901 | 12373k| 391.7 | 179M| 83 | 238 |1000 | 15k|1000 |1132 |3100k| 0 |7917 |-3.225067e+02 |-9.900000e+01 | 225.76%
1628.40/1628.79 c 1629s| 31000 | 31001 | 12406k| 391.5 | 180M| 83 | 300 |1000 | 15k|1000 |1133 |3109k| 0 |7926 |-3.225021e+02 |-9.900000e+01 | 225.76%
1631.69/1632.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1631.69/1632.05 c 1632s| 31100 | 31101 | 12439k| 391.3 | 180M| 83 | 348 |1000 | 15k|1000 |1152 |3119k| 0 |7926 |-3.225007e+02 |-9.900000e+01 | 225.76%
1634.80/1635.13 c 1635s| 31200 | 31201 | 12470k| 391.0 | 181M| 83 | 234 |1000 | 15k|1000 |1155 |3129k| 0 |7927 |-3.224988e+02 |-9.900000e+01 | 225.76%
1636.60/1636.94 c 1637s| 31300 | 31301 | 12491k| 390.4 | 181M| 83 | 319 |1000 | 15k|1000 |1503 |3137k| 0 |7928 |-3.224988e+02 |-9.900000e+01 | 225.76%
1642.20/1642.52 c 1643s| 31400 | 31401 | 12542k| 390.8 | 182M| 83 | 158 |1000 | 15k|1000 | 995 |3144k| 0 |7929 |-3.224930e+02 |-9.900000e+01 | 225.75%
1644.50/1644.89 c 1645s| 31500 | 31501 | 12567k| 390.4 | 182M| 83 | 186 |1000 | 15k|1000 |1142 |3154k| 0 |7929 |-3.224930e+02 |-9.900000e+01 | 225.75%
1647.80/1648.11 c 1648s| 31600 | 31601 | 12599k| 390.1 | 182M| 83 | 212 |1000 | 15k|1000 |1142 |3163k| 0 |7929 |-3.224904e+02 |-9.900000e+01 | 225.75%
1651.29/1651.67 c 1652s| 31700 | 31701 | 12633k| 390.0 | 183M| 83 | 161 |1000 | 15k|1000 |1150 |3172k| 0 |7929 |-3.224901e+02 |-9.900000e+01 | 225.75%
1654.90/1655.20 c 1655s| 31800 | 31801 | 12668k| 389.9 | 183M| 83 | 295 |1000 | 15k|1000 |1149 |3181k| 0 |7929 |-3.224851e+02 |-9.900000e+01 | 225.74%
1658.09/1658.40 c 1658s| 31900 | 31901 | 12699k| 389.6 | 184M| 83 | 7 |1000 | 15k|1000 | 995 |3190k| 0 |7929 |-3.224812e+02 |-9.900000e+01 | 225.74%
1660.30/1660.67 c 1661s| 32000 | 32001 | 12724k| 389.2 | 184M| 83 | 202 |1000 | 15k|1000 |1146 |3200k| 0 |7929 |-3.224812e+02 |-9.900000e+01 | 225.74%
1665.39/1665.71 c 1666s| 32100 | 32101 | 12770k| 389.4 | 185M| 83 | 383 |1000 | 15k|1000 |1132 |3209k| 0 |7929 |-3.224781e+02 |-9.900000e+01 | 225.74%
1667.59/1667.94 c 1668s| 32200 | 32201 | 12794k| 388.9 | 185M| 83 | 196 |1000 | 15k|1000 |1146 |3218k| 0 |7929 |-3.224781e+02 |-9.900000e+01 | 225.74%
1672.19/1672.55 c 1673s| 32300 | 32301 | 12838k| 389.1 | 186M| 83 | 396 |1000 | 15k|1000 |1133 |3227k| 0 |7929 |-3.224418e+02 |-9.900000e+01 | 225.70%
1673.90/1674.24 c 1674s| 32400 | 32401 | 12857k| 388.5 | 186M| 83 | 47 |1000 | 15k|1000 |1150 |3236k| 0 |7929 |-3.224418e+02 |-9.900000e+01 | 225.70%
1676.99/1677.39 c 1677s| 32500 | 32501 | 12889k| 388.3 | 186M| 83 | 248 |1000 | 15k|1000 |1153 |3246k| 0 |7929 |-3.224405e+02 |-9.900000e+01 | 225.70%
1678.99/1679.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1678.99/1679.35 c 1679s| 32600 | 32601 | 12912k| 387.8 | 187M| 83 | 32 |1000 | 15k|1000 |1152 |3255k| 0 |7929 |-3.224405e+02 |-9.900000e+01 | 225.70%
1682.70/1683.07 c 1683s| 32700 | 32701 | 12948k| 387.7 | 187M| 83 | 38 |1000 | 15k|1000 | 995 |3263k| 0 |7929 |-3.224353e+02 |-9.900000e+01 | 225.69%
1685.49/1685.86 c 1686s| 32800 | 32801 | 12977k| 387.4 | 188M| 83 | 282 |1000 | 15k|1000 |1468 |3272k| 0 |7929 |-3.224350e+02 |-9.900000e+01 | 225.69%
1688.89/1689.23 c 1689s| 32900 | 32901 | 13009k| 387.2 | 188M| 83 | 265 |1000 | 15k|1000 |1209 |3282k| 0 |7939 |-3.224350e+02 |-9.900000e+01 | 225.69%
1693.70/1694.01 c 1694s| 33000 | 33001 | 13047k| 387.2 | 189M| 83 | 215 |1000 | 15k|1000 |1144 |3292k| 0 |7979 |-3.224350e+02 |-9.900000e+01 | 225.69%
1698.39/1698.71 c 1699s| 33100 | 33101 | 13087k| 387.2 | 189M| 83 | 424 |1000 | 15k|1000 |1814 |3301k| 0 |8016 |-3.224251e+02 |-9.900000e+01 | 225.68%
1701.89/1702.22 c 1702s| 33200 | 33201 | 13116k| 386.9 | 189M| 83 | 378 |1000 | 15k|1000 |1152 |3310k| 0 |8053 |-3.224251e+02 |-9.900000e+01 | 225.68%
1706.79/1707.20 c 1707s| 33300 | 33301 | 13154k| 386.9 | 190M| 83 | 22 |1000 | 15k|1000 | 995 |3319k| 0 |8096 |-3.224243e+02 |-9.900000e+01 | 225.68%
1711.09/1711.47 c 1711s| 33400 | 33401 | 13190k| 386.8 | 190M| 83 | 60 |1000 | 15k|1000 | 995 |3329k| 0 |8119 |-3.224243e+02 |-9.900000e+01 | 225.68%
1714.29/1714.66 c 1715s| 33500 | 33501 | 13220k| 386.6 | 191M| 83 | 305 |1000 | 15k|1000 |1140 |3339k| 0 |8163 |-3.224243e+02 |-9.900000e+01 | 225.68%
1719.19/1719.60 c 1720s| 33600 | 33601 | 13256k| 386.5 | 191M| 83 | 115 |1000 | 15k|1000 | 995 |3348k| 0 |8202 |-3.224236e+02 |-9.900000e+01 | 225.68%
1721.68/1722.08 c 1722s| 33700 | 33701 | 13280k| 386.1 | 192M| 83 | 194 |1000 | 15k|1000 |1149 |3358k| 0 |8212 |-3.224236e+02 |-9.900000e+01 | 225.68%
1726.09/1726.44 c 1726s| 33800 | 33801 | 13317k| 386.0 | 192M| 83 | 272 |1000 | 15k|1000 |1137 |3369k| 0 |8224 |-3.224234e+02 |-9.900000e+01 | 225.68%
1730.08/1730.42 c 1730s| 33900 | 33901 | 13348k| 385.8 | 193M| 83 | 277 |1000 | 15k|1000 |1208 |3379k| 0 |8264 |-3.224184e+02 |-9.900000e+01 | 225.68%
1733.28/1733.67 c 1734s| 34000 | 34001 | 13376k| 385.4 | 193M| 83 | 45 |1000 | 15k|1000 | 995 |3386k| 0 |8275 |-3.224176e+02 |-9.900000e+01 | 225.67%
1735.48/1735.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.48/1735.86 c 1736s| 34100 | 34101 | 13397k| 384.9 | 193M| 83 | 5 |1000 | 15k|1000 |1158 |3397k| 0 |8311 |-3.224176e+02 |-9.900000e+01 | 225.67%
1740.09/1740.46 c 1740s| 34200 | 34201 | 13427k| 384.7 | 194M| 83 | 254 |1000 | 15k|1000 |1146 |3407k| 0 |8356 |-3.224176e+02 |-9.900000e+01 | 225.67%
1744.48/1744.82 c 1745s| 34300 | 34301 | 13469k| 384.8 | 194M| 83 | 115 |1000 | 15k|1000 | 995 |3416k| 0 |8367 |-3.223944e+02 |-9.900000e+01 | 225.65%
1748.08/1748.46 c 1748s| 34400 | 34401 | 13493k| 384.4 | 195M| 83 | 262 |1000 | 15k|1000 |1136 |3427k| 0 |8397 |-3.223944e+02 |-9.900000e+01 | 225.65%
1750.79/1751.15 c 1751s| 34500 | 34501 | 13520k| 384.0 | 195M| 83 | 352 |1000 | 15k|1000 |1146 |3436k| 0 |8397 |-3.223940e+02 |-9.900000e+01 | 225.65%
1754.09/1754.49 c 1754s| 34600 | 34601 | 13549k| 383.8 | 196M| 83 | 369 |1000 | 15k|1000 |1157 |3446k| 0 |8409 |-3.223940e+02 |-9.900000e+01 | 225.65%
1755.78/1756.15 c 1756s| 34700 | 34701 | 13566k| 383.1 | 196M| 83 | 304 |1000 | 15k|1000 |1491 |3454k| 0 |8424 |-3.223940e+02 |-9.900000e+01 | 225.65%
1759.69/1760.01 c 1760s| 34800 | 34801 | 13599k| 383.0 | 196M| 83 | 181 |1000 | 15k|1000 |1141 |3464k| 0 |8433 |-3.223882e+02 |-9.900000e+01 | 225.64%
1763.08/1763.45 c 1763s| 34900 | 34901 | 13627k| 382.7 | 197M| 83 | 151 |1000 | 15k|1000 |1154 |3474k| 0 |8462 |-3.223845e+02 |-9.900000e+01 | 225.64%
1768.18/1768.52 c 1769s| 35000 | 35001 | 13665k| 382.7 | 197M| 83 | 442 |1000 | 15k|1000 |1861 |3485k| 0 |8503 |-3.223765e+02 |-9.900000e+01 | 225.63%
1770.17/1770.52 c 1771s| 35100 | 35101 | 13687k| 382.2 | 198M| 83 | 85 |1000 | 15k|1000 |1157 |3496k| 0 |8508 |-3.223765e+02 |-9.900000e+01 | 225.63%
1773.17/1773.51 c 1774s| 35200 | 35201 | 13717k| 382.0 | 198M| 83 | 284 |1000 | 15k|1000 |1245 |3505k| 0 |8510 |-3.223765e+02 |-9.900000e+01 | 225.63%
1777.28/1777.63 c 1778s| 35300 | 35301 | 13754k| 382.0 | 199M| 83 | 230 |1000 | 15k|1000 |1146 |3515k| 0 |8518 |-3.223729e+02 |-9.900000e+01 | 225.63%
1780.28/1780.65 c 1781s| 35400 | 35401 | 13783k| 381.7 | 199M| 83 | 20 |1000 | 15k|1000 | 995 |3525k| 0 |8519 |-3.223713e+02 |-9.900000e+01 | 225.63%
1782.28/1782.63 c 1783s| 35500 | 35501 | 13806k| 381.3 | 199M| 83 | 284 |1000 | 15k|1000 |1217 |3536k| 0 |8519 |-3.223713e+02 |-9.900000e+01 | 225.63%
1785.17/1785.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1785.17/1785.59 c 1786s| 35600 | 35601 | 13837k| 381.1 | 200M| 83 | 325 |1000 | 15k|1000 |1522 |3547k| 0 |8519 |-3.223695e+02 |-9.900000e+01 | 225.63%
1787.67/1788.07 c 1788s| 35700 | 35701 | 13863k| 380.7 | 200M| 83 | 33 |1000 | 15k|1000 |1144 |3555k| 0 |8519 |-3.223694e+02 |-9.900000e+01 | 225.63%
1790.87/1791.26 c 1791s| 35800 | 35801 | 13895k| 380.6 | 201M| 83 | 112 |1000 | 15k|1000 |1141 |3565k| 0 |8519 |-3.223688e+02 |-9.900000e+01 | 225.63%
1793.78/1794.18 c 1794s| 35900 | 35901 | 13925k| 380.4 | 201M| 83 | 376 |1000 | 15k|1000 |1694 |3575k| 0 |8519 |-3.223577e+02 |-9.900000e+01 | 225.61%
1795.48/1795.84 c 1796s| 36000 | 36001 | 13945k| 379.8 | 201M| 83 | 388 |1000 | 15k|1000 |1670 |3585k| 0 |8519 |-3.223577e+02 |-9.900000e+01 | 225.61%
1796.67/1797.00 c
1796.67/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.00 c Solving Time (sec) : 1797.00
1796.67/1797.00 c Solving Nodes : 36052
1796.67/1797.00 c Primal Bound : -9.90000000000000e+01 (483 solutions)
1796.67/1797.00 c Dual Bound : -3.22357743924829e+02
1796.67/1797.00 c Gap : 225.61 %
1796.67/1797.00 s SATISFIABLE
1796.67/1797.00 v x1000 x999 -x998 -x997 -x996 -x995 -x994 x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1796.67/1797.00 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1796.67/1797.00 v -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 x938 -x937
1796.67/1797.00 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1796.67/1797.00 v -x915 x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1796.67/1797.00 v -x894 -x893 -x892 -x891 -x890 -x889 x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1796.67/1797.00 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856 -x855 -x854 -x853
1796.67/1797.00 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1796.67/1797.00 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1796.67/1797.00 v x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1796.67/1797.00 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769
1796.67/1797.00 v x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 x750 -x749 -x748
1796.67/1797.00 v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 x728 -x727
1796.67/1797.00 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 x707 -x706
1796.67/1797.00 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 x688 -x687 -x686 -x685
1796.67/1797.00 v -x684 x683 -x682 x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
1796.67/1797.00 v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1796.67/1797.00 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
1796.67/1797.00 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601
1796.67/1797.00 v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580
1796.67/1797.00 v -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1796.67/1797.00 v -x558 -x557 -x556 -x555 x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538
1796.67/1797.00 v -x537 -x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 x520 -x519 -x518 -x517
1796.67/1797.00 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 x502 -x501 -x500 -x499 -x498 -x497 -x496
1796.67/1797.00 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475
1796.67/1797.00 v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 x454
1796.67/1797.00 v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433
1796.67/1797.00 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412
1796.67/1797.00 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 x393 -x392 -x391
1796.67/1797.00 v -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x369
1796.67/1797.00 v -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 x350 -x349 -x348
1796.67/1797.00 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327
1796.67/1797.00 v -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306
1796.67/1797.00 v -x305 -x304 -x303 -x302 -x301 -x300 x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285
1796.67/1797.00 v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264
1796.67/1797.00 v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 x247 -x246 x245 x244 -x243
1796.67/1797.00 v -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 x234 x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221
1796.67/1797.00 v -x220 -x219 x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
1796.67/1797.00 v -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1796.67/1797.00 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158
1796.67/1797.00 v x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1796.67/1797.00 v -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116
1796.67/1797.00 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.67/1797.00 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.67/1797.00 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.67/1797.00 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.67/1797.00 v -x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
1796.67/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.00 c Total Time : 1797.00
1796.67/1797.00 c solving : 1797.00
1796.67/1797.00 c presolving : 0.60 (included in solving)
1796.67/1797.00 c reading : 0.02 (included in solving)
1796.67/1797.00 c copying : 0.29 (10 #copies) (minimal 0.03, maximal 0.03, average 0.03)
1796.67/1797.00 c Original Problem :
1796.67/1797.00 c Problem name : HOME/instance-3691462-1338020926.opb
1796.67/1797.00 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00 c Constraints : 1000 initial, 1000 maximal
1796.67/1797.00 c Objective sense : minimize
1796.67/1797.00 c Presolved Problem :
1796.67/1797.00 c Problem name : t_HOME/instance-3691462-1338020926.opb
1796.67/1797.00 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00 c Constraints : 15820 initial, 15820 maximal
1796.67/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.67/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c setppc : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c and : 0.32 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c linear : 0.05 0.00 15820 0 0 15820 0 1000 0 0 0
1796.67/1797.00 c logicor : 0.07 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c root node : - - 0 - - 0 - - - - -
1796.67/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.67/1797.00 c integral : 0 0 0 0 42022 0 86750 0 0 0 0 0 72102
1796.67/1797.00 c setppc : 15820 15820 211 131972 5971 1 86746 0 0 635569 3591846 0 0
1796.67/1797.00 c countsols : 0 0 0 0 0 1 485 0 0 0 0 0 0
1796.67/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.67/1797.00 c integral : 306.05 0.00 0.00 0.00 305.86 0.00 0.19 0.00
1796.67/1797.00 c setppc : 17.89 0.00 0.79 9.21 3.89 0.00 4.00 0.00
1796.67/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.67/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.67/1797.00 c rootredcost : 1 0 0 0
1796.67/1797.00 c pseudoobj : 167974 0 0 0
1796.67/1797.00 c vbounds : 0 0 0 0
1796.67/1797.00 c redcost : 42232 0 0 0
1796.67/1797.00 c probing : 0 0 0 0
1796.67/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.67/1797.00 c rootredcost : 0.12 0.00 0.00 0.12 0.00
1796.67/1797.00 c pseudoobj : 0.45 0.01 0.00 0.44 0.00
1796.67/1797.00 c vbounds : 0.12 0.00 0.00 0.12 0.00
1796.67/1797.00 c redcost : 0.90 0.00 0.00 0.90 0.00
1796.67/1797.00 c probing : 0.02 0.00 0.02 0.00 0.00
1796.67/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.67/1797.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.67/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.67/1797.00 c applied globally : - - - 0 0.0 - - -
1796.67/1797.00 c applied locally : - - - 0 0.0 - - -
1796.67/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.67/1797.00 c cut pool : 0.16 210 - - 3711 - (maximal pool size: 8776)
1796.67/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c impliedbounds : 0.18 0.00 210 0 0 18864 0
1796.67/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c gomory : 0.11 0.00 10 0 0 500 0
1796.67/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c strongcg : 1.31 0.00 20 0 0 10000 0
1796.67/1797.00 c cmir : 0.37 0.00 10 0 0 0 0
1796.67/1797.00 c flowcover : 0.28 0.00 10 0 0 0 0
1796.67/1797.00 c clique : 5.10 0.00 209 0 0 1633 0
1796.67/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c mcf : 0.01 0.00 1 0 0 0 0
1796.67/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.67/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.67/1797.00 c problem variables: 0.00 - 0 0
1796.67/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.67/1797.00 c relpscost : 305.73 0.00 36051 0 0 0 0 72102
1796.67/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.67/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.67/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.67/1797.00 c LP solutions : 0.00 - - 0
1796.67/1797.00 c pseudo solutions : 0.00 - - 0
1796.67/1797.00 c oneopt : 0.08 0.00 2 1
1796.67/1797.00 c crossover : 1.23 0.00 9 2
1796.67/1797.00 c rootsoldiving : 12.31 0.00 228 4
1796.67/1797.00 c veclendiving : 28.86 0.00 716 44
1796.67/1797.00 c pscostdiving : 28.12 0.00 717 18
1796.67/1797.00 c fracdiving : 22.13 0.00 717 15
1796.67/1797.00 c coefdiving : 21.27 0.00 717 42
1796.67/1797.00 c smallcard : 0.00 0.00 0 0
1796.67/1797.00 c trivial : 0.01 0.00 2 1
1796.67/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.67/1797.00 c simplerounding : 3.12 0.00 36261 305
1796.67/1797.00 c zirounding : 0.29 0.00 1000 0
1796.67/1797.00 c rounding : 29.39 0.00 8734 1
1796.67/1797.00 c shifting : 11.76 0.00 2500 1
1796.67/1797.00 c intshifting : 0.00 0.00 0 0
1796.67/1797.00 c twoopt : 0.00 0.00 0 0
1796.67/1797.00 c indoneopt : 0.09 0.00 0 0
1796.67/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.67/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.67/1797.00 c feaspump : 0.00 0.00 0 0
1796.67/1797.00 c clique : 0.00 0.00 0 0
1796.67/1797.00 c indrounding : 0.00 0.00 0 0
1796.67/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.67/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.67/1797.00 c intdiving : 0.00 0.00 0 0
1796.67/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.67/1797.00 c objpscostdiving : 22.48 0.00 26 4
1796.67/1797.00 c linesearchdiving : 22.25 0.00 717 25
1796.67/1797.00 c guideddiving : 24.00 0.00 717 20
1796.67/1797.00 c octane : 0.00 0.00 0 0
1796.67/1797.00 c rens : 0.04 0.00 0 0
1796.67/1797.00 c rins : 0.00 0.00 0 0
1796.67/1797.00 c localbranching : 0.00 0.00 0 0
1796.67/1797.00 c mutation : 0.00 0.00 0 0
1796.67/1797.00 c dins : 0.00 0.00 0 0
1796.67/1797.00 c vbounds : 0.00 0.00 0 0
1796.67/1797.00 c undercover : 0.00 0.00 0 0
1796.67/1797.00 c subnlp : 0.03 0.00 0 0
1796.67/1797.00 c trysol : 0.07 0.00 0 0
1796.67/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.67/1797.00 c primal LP : 3.10 6005 0 0.00 0.00 3.08 6005
1796.67/1797.00 c dual LP : 1220.25 42487 12134181 287.32 9944.01 0.15 254
1796.67/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.67/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.67/1797.00 c diving/probing LP: 161.68 45110 1823891 40.43 11280.59
1796.67/1797.00 c strong branching : 303.59 8519 2193816 257.52 7226.32
1796.67/1797.00 c (at root node) : - 37 35503 959.54 -
1796.67/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.67/1797.00 c B&B Tree :
1796.67/1797.00 c number of runs : 1
1796.67/1797.00 c nodes : 36052
1796.67/1797.00 c nodes (total) : 36052
1796.67/1797.00 c nodes left : 36053
1796.67/1797.00 c max depth : 83
1796.67/1797.00 c max depth (total): 83
1796.67/1797.00 c backtracks : 4559 (12.6%)
1796.67/1797.00 c delayed cutoffs : 0
1796.67/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.67/1797.00 c avg switch length: 3.92
1796.67/1797.00 c switching time : 8.51
1796.67/1797.00 c Solution :
1796.67/1797.00 c Solutions found : 483 (4 improvements)
1796.67/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.11 seconds, depth 0, found by <trivial>)
1796.67/1797.00 c Primal Bound : -9.90000000000000e+01 (in run 1, after 1 nodes, 1.16 seconds, depth 0, found by <oneopt>)
1796.67/1797.00 c Dual Bound : -3.22357743924829e+02
1796.67/1797.00 c Gap : 225.61 %
1796.67/1797.00 c Root Dual Bound : -3.26999999999998e+02
1796.67/1797.00 c Root Iterations : 271381
1796.77/1797.18 c Time complete: 1796.86.
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-3691462-1338020926/watcher-3691462-1338020926 -o /tmp/evaluation-result-3691462-1338020926/solver-3691462-1338020926 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691462-1338020926.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.94 3/176 6024 /proc/meminfo: memFree=28511956/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=10860 CPUtime=0 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 1469 0 0 0 0 0 0 0 20 0 1 0 268216975 11120640 1423 33554432000 4194304 10173063 140733936360704 140735509904056 8800002 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 2715 1423 417 1460 0 1246 0 [startup+0.017325 s] /proc/loadavg: 2.00 2.00 1.94 3/176 6024 /proc/meminfo: memFree=28511956/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=12456 CPUtime=0.01 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 1878 0 0 0 1 0 0 0 20 0 1 0 268216975 12754944 1832 33554432000 4194304 10173063 140733936360704 140735509904056 5283980 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 3114 1832 417 1460 0 1645 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12456 [startup+0.100299 s] /proc/loadavg: 2.00 2.00 1.94 3/176 6024 /proc/meminfo: memFree=28511956/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=46136 CPUtime=0.08 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 10067 0 0 0 8 0 0 0 20 0 1 0 268216975 47243264 10021 33554432000 4194304 10173063 140733936360704 140735509904056 4644694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 11534 10021 522 1460 0 10065 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 46136 [startup+0.300299 s] /proc/loadavg: 2.00 2.00 1.94 3/176 6024 /proc/meminfo: memFree=28511956/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=57468 CPUtime=0.29 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 13030 0 0 0 19 10 0 0 20 0 1 0 268216975 58847232 12631 33554432000 4194304 10173063 140733936360704 140735509904056 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 14367 12631 551 1460 0 12898 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 57468 [startup+0.700295 s] /proc/loadavg: 2.00 2.00 1.94 3/176 6024 /proc/meminfo: memFree=28511956/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=81948 CPUtime=0.69 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 19398 0 0 0 44 25 0 0 20 0 1 0 268216975 83914752 18567 33554432000 4194304 10173063 140733936360704 140735509904056 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 20487 18567 740 1460 0 19018 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 81948 [startup+1.50029 s] /proc/loadavg: 2.00 2.00 1.94 3/177 6025 /proc/meminfo: memFree=28435780/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=88036 CPUtime=1.49 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 21597 0 0 0 118 31 0 0 20 0 1 0 268216975 90148864 20180 33554432000 4194304 10173063 140733936360704 140733936355624 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 22009 20180 788 1460 0 20540 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 88036 [startup+3.1003 s] /proc/loadavg: 2.00 2.00 1.94 3/177 6025 /proc/meminfo: memFree=28431688/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=91336 CPUtime=3.09 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 22735 0 0 0 273 36 0 0 20 0 1 0 268216975 93528064 21318 33554432000 4194304 10173063 140733936360704 140733936353960 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 22834 21318 790 1460 0 21365 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 91336 [startup+6.30029 s] /proc/loadavg: 2.00 2.00 1.94 3/177 6025 /proc/meminfo: memFree=28416188/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=102516 CPUtime=6.28 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 26471 0 0 0 590 38 0 0 20 0 1 0 268216975 104976384 24208 33554432000 4194304 10173063 140733936360704 140733936353960 6799873 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 25629 24208 790 1460 0 24160 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 102516 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 1.94 3/177 6025 /proc/meminfo: memFree=28411160/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=109632 CPUtime=12.69 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 28058 0 0 0 1227 42 0 0 20 0 1 0 268216975 112263168 25767 33554432000 4194304 10173063 140733936360704 140733936356744 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 27408 25767 790 1460 0 25939 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 109632 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 1.94 3/177 6025 /proc/meminfo: memFree=28408432/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=113072 CPUtime=25.49 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 28949 0 0 0 2502 47 0 0 20 0 1 0 268216975 115785728 26538 33554432000 4194304 10173063 140733936360704 140733936354008 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 28268 26538 790 1460 0 26799 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 113072 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 1.94 3/177 6139 /proc/meminfo: memFree=28615776/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=113072 CPUtime=51.09 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 28969 0 0 0 5051 58 0 0 20 0 1 0 268216975 115785728 26558 33554432000 4194304 10173063 140733936360704 140733936354344 8012669 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 28268 26558 790 1460 0 26799 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 113072 [startup+102.306 s] /proc/loadavg: 2.00 2.00 1.94 3/178 6142 /proc/meminfo: memFree=28558852/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=113888 CPUtime=102.26 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 31973 0 0 0 10150 76 0 0 20 0 1 0 268216975 116621312 27217 33554432000 4194304 10173063 140733936360704 140733936354152 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 28472 27217 819 1460 0 27003 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 113888 [startup+162.3 s] /proc/loadavg: 2.03 2.01 1.94 3/177 6142 /proc/meminfo: memFree=28503848/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=113888 CPUtime=162.24 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 31984 0 0 0 16096 128 0 0 20 0 1 0 268216975 116621312 27484 33554432000 4194304 10173063 140733936360704 140733936353416 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 28472 27484 828 1460 0 27003 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 113888 [startup+222.3 s] /proc/loadavg: 2.08 2.02 1.95 3/177 6143 /proc/meminfo: memFree=28452728/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=112532 CPUtime=222.23 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 38422 0 0 0 22028 195 0 0 20 0 1 0 268216975 115232768 27163 33554432000 4194304 10173063 140733936360704 140733936354248 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 28133 27163 842 1460 0 26664 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 112532 [startup+282.3 s] /proc/loadavg: 2.03 2.02 1.95 3/177 6143 /proc/meminfo: memFree=28405776/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=116400 CPUtime=282.22 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 53225 0 0 0 27946 276 0 0 20 0 1 0 268216975 119193600 28066 33554432000 4194304 10173063 140733936360704 140733936353960 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 29100 28066 843 1460 0 27631 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 116400 [startup+342.3 s] /proc/loadavg: 2.01 2.01 1.95 3/177 6143 /proc/meminfo: memFree=28361136/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=119272 CPUtime=342.22 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 61125 0 0 0 33867 355 0 0 20 0 1 0 268216975 122134528 28849 33554432000 4194304 10173063 140733936360704 140733936354152 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 29818 28849 843 1460 0 28349 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 119272 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.95 3/177 6143 /proc/meminfo: memFree=28321640/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=123280 CPUtime=402.21 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 61971 0 0 0 39792 429 0 0 20 0 1 0 268216975 126238720 29695 33554432000 4194304 10173063 140733936360704 140733936353960 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 30820 29695 843 1460 0 29351 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 123280 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 6144 /proc/meminfo: memFree=28281188/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=125016 CPUtime=462.2 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 69569 0 0 0 45707 513 0 0 20 0 1 0 268216975 128016384 30165 33554432000 4194304 10173063 140733936360704 140733936353960 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 31254 30165 843 1460 0 29785 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 125016 [startup+522.3 s] /proc/loadavg: 2.06 2.01 1.95 3/177 6145 /proc/meminfo: memFree=28242164/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=130152 CPUtime=522.19 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 70916 0 0 0 51620 599 0 0 20 0 1 0 268216975 133275648 31511 33554432000 4194304 10173063 140733936360704 140733936353960 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 32538 31511 843 1460 0 31069 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 130152 [startup+582.3 s] /proc/loadavg: 2.02 2.01 1.95 3/177 6145 /proc/meminfo: memFree=28206552/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=134036 CPUtime=582.17 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 71825 0 0 0 57548 669 0 0 20 0 1 0 268216975 137252864 32433 33554432000 4194304 10173063 140733936360704 140733936354200 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 33509 32433 843 1460 0 32040 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 134036 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28038916/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=182800 CPUtime=1062.09 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 97693 0 0 0 104954 1255 0 0 20 0 1 0 268216975 187187200 44433 33554432000 4194304 10173063 140733936360704 140733936353832 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 45700 44433 843 1460 0 44231 0 Current children cumulated CPU time (s) 1062.09 Current children cumulated vsize (KiB) 182800 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.95 3/176 6149 /proc/meminfo: memFree=28024904/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=190512 CPUtime=1122.09 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 106730 0 0 0 110882 1327 0 0 20 0 1 0 268216975 195084288 46412 33554432000 4194304 10173063 140733936360704 140733936354344 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 47628 46412 843 1460 0 46159 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 190512 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.95 3/177 6150 /proc/meminfo: memFree=28014612/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=196532 CPUtime=1182.08 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 108233 0 0 0 116812 1396 0 0 20 0 1 0 268216975 201248768 47886 33554432000 4194304 10173063 140733936360704 140733936356744 6814113 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 49133 47886 843 1460 0 47664 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 196532 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.95 3/177 6150 /proc/meminfo: memFree=28000352/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=202204 CPUtime=1242.07 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 109634 0 0 0 122742 1465 0 0 20 0 1 0 268216975 207056896 49286 33554432000 4194304 10173063 140733936360704 140733936353960 8012216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 50551 49286 843 1460 0 49082 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 202204 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 6153 /proc/meminfo: memFree=27986704/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=207116 CPUtime=1302.06 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 117930 0 0 0 128667 1539 0 0 20 0 1 0 268216975 212086784 50640 33554432000 4194304 10173063 140733936360704 140733936354152 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 51779 50640 843 1460 0 50310 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 207116 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.95 3/177 6153 /proc/meminfo: memFree=27969380/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=216876 CPUtime=1362.05 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 120324 0 0 0 134600 1605 0 0 20 0 1 0 268216975 222081024 52959 33554432000 4194304 10173063 140733936360704 140733936353960 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 54219 52959 843 1460 0 52750 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 216876 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.95 3/177 6153 /proc/meminfo: memFree=27959700/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=223068 CPUtime=1422.04 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 121840 0 0 0 140534 1670 0 0 20 0 1 0 268216975 228421632 54475 33554432000 4194304 10173063 140733936360704 140733936353960 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 55767 54475 843 1460 0 54298 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 223068 [startup+1482.3 s] /proc/loadavg: 2.06 2.01 1.96 3/177 6154 /proc/meminfo: memFree=27942408/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=229256 CPUtime=1482.02 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 123439 0 0 0 146462 1740 0 0 20 0 1 0 268216975 234758144 56332 33554432000 4194304 10173063 140733936360704 140733936355752 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 57314 56332 843 1460 0 55845 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 229256 [startup+1542.3 s] /proc/loadavg: 2.10 2.02 1.96 3/177 6154 /proc/meminfo: memFree=27931124/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=237268 CPUtime=1542.02 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 125416 0 0 0 152385 1817 0 0 20 0 1 0 268216975 242962432 58298 33554432000 4194304 10173063 140733936360704 140733936354008 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 59317 58298 843 1460 0 57848 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 237268 [startup+1602.3 s] /proc/loadavg: 2.04 2.02 1.96 3/177 6154 /proc/meminfo: memFree=27915004/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=244588 CPUtime=1602 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 127209 0 0 0 158312 1888 0 0 20 0 1 0 268216975 250458112 60091 33554432000 4194304 10173063 140733936360704 140733936353960 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 61147 60091 843 1460 0 59678 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 244588 [startup+1662.3 s] /proc/loadavg: 2.05 2.03 1.97 3/177 6154 /proc/meminfo: memFree=27898388/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=255800 CPUtime=1662 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 129968 0 0 0 164241 1959 0 0 20 0 1 0 268216975 261939200 62799 33554432000 4194304 10173063 140733936360704 140733936354344 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 63950 62799 843 1460 0 62481 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 255800 [startup+1722.3 s] /proc/loadavg: 2.02 2.02 1.97 3/177 6154 /proc/meminfo: memFree=27888840/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=261904 CPUtime=1721.99 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 131390 0 0 0 170168 2031 0 0 20 0 1 0 268216975 268189696 64204 33554432000 4194304 10173063 140733936360704 140733936354536 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 65476 64204 843 1460 0 64007 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 261904 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 1.97 3/177 6155 /proc/meminfo: memFree=27875696/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=269520 CPUtime=1781.98 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 133398 0 0 0 176090 2108 0 0 20 0 1 0 268216975 275988480 66154 33554432000 4194304 10173063 140733936360704 140733936354056 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 67380 66154 843 1460 0 65911 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 269520 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.02 1.97 3/177 6155 /proc/meminfo: memFree=27875076/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=270420 CPUtime=1785.17 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 133573 0 0 0 176406 2111 0 0 20 0 1 0 268216975 276910080 66329 33554432000 4194304 10173063 140733936360704 140733936354344 8046934 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 67605 66329 843 1460 0 66136 0 Current children cumulated CPU time (s) 1785.17 Current children cumulated vsize (KiB) 270420 [startup+1791.91 s] /proc/loadavg: 2.00 2.02 1.97 3/177 6155 /proc/meminfo: memFree=27873836/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=270564 CPUtime=1791.58 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 133609 0 0 0 177037 2121 0 0 20 0 1 0 268216975 277057536 66365 33554432000 4194304 10173063 140733936360704 140733936354024 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 67641 66365 843 1460 0 66172 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (KiB) 270564 [startup+1795.1 s] /proc/loadavg: 2.00 2.01 1.97 3/177 6155 /proc/meminfo: memFree=27873588/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=270564 CPUtime=1794.78 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 133616 0 0 0 177353 2125 0 0 20 0 1 0 268216975 277057536 66372 33554432000 4194304 10173063 140733936360704 140733936354344 4940693 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 67641 66372 843 1460 0 66172 0 Current children cumulated CPU time (s) 1794.78 Current children cumulated vsize (KiB) 270564 [startup+1795.9 s] /proc/loadavg: 2.00 2.01 1.97 3/177 6155 /proc/meminfo: memFree=27873588/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=270564 CPUtime=1795.57 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 133619 0 0 0 177430 2127 0 0 20 0 1 0 268216975 277057536 66375 33554432000 4194304 10173063 140733936360704 140733936354344 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 67641 66375 843 1460 0 66172 0 Current children cumulated CPU time (s) 1795.57 Current children cumulated vsize (KiB) 270564 [startup+1796.7 s] /proc/loadavg: 2.00 2.01 1.97 3/177 6155 /proc/meminfo: memFree=27873588/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=270564 CPUtime=1796.37 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 133619 0 0 0 177510 2127 0 0 20 0 1 0 268216975 277057536 66375 33554432000 4194304 10173063 140733936360704 140733936353672 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 67641 66375 843 1460 0 66172 0 Current children cumulated CPU time (s) 1796.37 Current children cumulated vsize (KiB) 270564 [startup+1797.1 s] /proc/loadavg: 2.00 2.01 1.97 3/177 6155 /proc/meminfo: memFree=27873588/32873844 swapFree=7620/7620 [pid=6024] ppid=6022 vsize=270724 CPUtime=1796.77 cores=0,2,4,6 /proc/6024/stat : 6024 (scip-2.1.1.4fix) R 6022 6024 3948 0 -1 4202496 133658 0 0 0 177549 2128 0 0 20 0 1 0 268216975 277221376 66414 33554432000 4194304 10173063 140733936360704 140733936354008 4928759 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/6024/statm: 67681 66414 847 1460 0 66212 0 Current children cumulated CPU time (s) 1796.77 Current children cumulated vsize (KiB) 270724 Child status: 0 Real time (s): 1797.18 CPU time (s): 1796.86 CPU user time (s): 1775.57 CPU system time (s): 21.2928 CPU usage (%): 99.9823 Max. virtual memory (cumulated for all children) (KiB): 270724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1775.57 system time used= 21.2928 maximum resident set size= 265656 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 133660 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= 50 involuntary context switches= 1892 runsolver used 6.47501 second user time and 13.6269 second system time The end
Begin job on node145 at 2012-05-26 10:28:46 IDJOB=3691462 IDBENCH=48193 IDSOLVER=2270 FILE ID=node145/3691462-1338020926 RUNJOBID= node145-1338016921-3964 PBS_JOBID= 14624330 Free space on /tmp= 71480 MiB SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 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.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3691462-1338020926/watcher-3691462-1338020926 -o /tmp/evaluation-result-3691462-1338020926/solver-3691462-1338020926 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691462-1338020926.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0945390fcac05113ffd57d1199a19e21 RANDOM SEED=979756568 node145.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 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 : 5313.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 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 : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 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.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28511708 kB Buffers: 239436 kB Cached: 3099576 kB SwapCached: 0 kB Active: 883524 kB Inactive: 2702828 kB Active(anon): 249928 kB Inactive(anon): 0 kB Active(file): 633596 kB Inactive(file): 2702828 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 14100 kB Writeback: 16 kB AnonPages: 203632 kB Mapped: 17648 kB Shmem: 200 kB Slab: 637268 kB SReclaimable: 79388 kB SUnreclaim: 557880 kB KernelStack: 1448 kB PageTables: 4544 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 361400 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 167936 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= 71464 MiB End job on node145 at 2012-05-26 10:58:43