Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | 19 | 1800.02 | 1800.63 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_300_10_14.r.opb |
| MD5SUM | f1b978cb920387bc2a07b8b1a528a68d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 19 |
| Best CPU time to get the best result obtained on this benchmark | 0.675896 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 19 |
| Optimality of the best value was proved | YES |
| Number of variables | 297 |
| Total number of constraints | 100 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 14 |
| Number of terms in the objective function | 297 |
| 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 | 297 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 297 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2667631-1276592609.opb>
0.00/0.01 c original problem has 297 variables (297 bin, 0 int, 0 impl, 0 cont) and 100 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 297
0.00/0.02 c feasible solution found by trivial heuristic, objective value 2.970000e+02
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/297 (34.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 297 variables (297 bin, 0 int, 0 impl, 0 cont) and 100 constraints
0.00/0.03 c 100 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.00
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c conflict/interconss = 0
0.00/0.03 c
0.00/0.03 c # should binary conflicts be preferred?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c conflict/preferbinary = TRUE
0.00/0.03 c
0.00/0.03 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c constraints/agelimit = 1
0.00/0.03 c
0.00/0.03 c # should enforcement of pseudo solution be disabled?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/disableenfops = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c lp/solvefreq = 0
0.00/0.03 c
0.00/0.03 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.00/0.03 c # [type: char, range: {lafpsqd}, default: l]
0.00/0.03 c lp/pricing = a
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # priority of node selection rule <dfs> in standard mode
0.00/0.03 c # [type: int, range: [-536870912,536870911], default: 0]
0.00/0.03 c nodeselection/dfs/stdpriority = 1000000
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.09 c t 0.1s| 1 | 0 | 773 | - | 879k| 0 | 82 | 297 | 100 | 297 | 100 | 0 | 0 | 0 | 1.638844e+01 | 2.970000e+02 |1712.25%
0.00/0.09 o 82
0.00/0.09 c r 0.1s| 1 | 0 | 773 | - | 886k| 0 | 82 | 297 | 100 | 297 | 100 | 0 | 0 | 0 | 1.638844e+01 | 8.200000e+01 | 400.35%
0.00/0.09 o 81
0.00/0.09 c R 0.1s| 1 | 0 | 773 | - | 892k| 0 | 82 | 297 | 100 | 297 | 100 | 0 | 0 | 0 | 1.638844e+01 | 8.100000e+01 | 394.25%
0.00/0.09 o 80
0.00/0.09 c s 0.1s| 1 | 0 | 773 | - | 898k| 0 | 82 | 297 | 100 | 297 | 100 | 0 | 0 | 0 | 1.638844e+01 | 8.000000e+01 | 388.15%
0.09/0.14 c 0.1s| 1 | 0 | 803 | - |1535k| 0 | 78 | 297 | 100 | 297 | 101 | 1 | 0 | 0 | 1.642968e+01 | 8.000000e+01 | 386.92%
0.09/0.14 o 24
0.09/0.14 c b 0.1s| 1 | 0 | 803 | - |1541k| 0 | 78 | 297 | 100 | 297 | 101 | 1 | 0 | 0 | 1.642968e+01 | 2.400000e+01 | 46.08%
0.09/0.18 c 0.2s| 1 | 0 | 829 | - |2172k| 0 | 80 | 297 | 100 | 297 | 102 | 2 | 0 | 0 | 1.646933e+01 | 2.400000e+01 | 45.73%
0.19/0.24 c 0.2s| 1 | 0 | 845 | - |2813k| 0 | 78 | 297 | 100 | 297 | 103 | 3 | 0 | 0 | 1.647642e+01 | 2.400000e+01 | 45.66%
0.19/0.29 c 0.3s| 1 | 0 | 868 | - |3313k| 0 | 75 | 297 | 100 | 297 | 104 | 4 | 0 | 0 | 1.648432e+01 | 2.400000e+01 | 45.59%
0.29/0.34 c 0.3s| 1 | 0 | 886 | - |3472k| 0 | 76 | 297 | 100 | 297 | 105 | 5 | 0 | 0 | 1.648774e+01 | 2.400000e+01 | 45.56%
0.29/0.39 c 0.4s| 1 | 0 | 925 | - |3507k| 0 | 79 | 297 | 100 | 297 | 106 | 6 | 0 | 0 | 1.649382e+01 | 2.400000e+01 | 45.51%
1.29/1.35 o 19
1.29/1.35 c E 1.3s| 1 | 0 | 925 | - |3521k| 0 | 79 | 297 | 100 | 297 | 106 | 6 | 0 | 0 | 1.649382e+01 | 1.900000e+01 | 15.19%
1.29/1.36 c 1.3s| 1 | 0 | 925 | - |3521k| 0 | 79 | 297 | 100 | 297 | 106 | 6 | 0 | 0 | 1.649382e+01 | 1.900000e+01 | 15.19%
1.69/1.79 c 1.7s| 1 | 2 | 925 | - |3522k| 0 | 79 | 297 | 100 | 297 | 106 | 6 | 0 | 20 | 1.649382e+01 | 1.900000e+01 | 15.19%
4.30/4.40 c 4.1s| 10000 | 241 | 925 | 0.0 |3693k| 263 | - | 297 | 100 | 0 | 0 | 6 |5693 | 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
6.89/6.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.89/6.95 c 6.4s| 20000 | 245 | 925 | 0.0 |3701k| 263 | - | 297 | 100 | 0 | 0 | 6 | 11k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
9.39/9.42 c 8.7s| 30000 | 235 | 925 | 0.0 |3703k| 263 | - | 297 | 100 | 0 | 0 | 6 | 17k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
11.69/11.79 c 10.8s| 40000 | 234 | 925 | 0.0 |3700k| 263 | - | 297 | 100 | 0 | 0 | 6 | 22k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
14.29/14.35 c 13.2s| 50000 | 235 | 925 | 0.0 |3701k| 263 | - | 297 | 100 | 0 | 0 | 6 | 28k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
16.59/16.67 c 15.3s| 60000 | 232 | 925 | 0.0 |3710k| 263 | - | 297 | 100 | 0 | 0 | 6 | 33k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
19.08/19.19 c 17.6s| 70000 | 233 | 925 | 0.0 |3709k| 263 | - | 297 | 100 | 0 | 0 | 6 | 39k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
21.58/21.69 c 19.9s| 80000 | 231 | 925 | 0.0 |3711k| 263 | - | 297 | 100 | 0 | 0 | 6 | 45k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
24.19/24.27 c 22.3s| 90000 | 230 | 925 | 0.0 |3714k| 263 | - | 297 | 100 | 0 | 0 | 6 | 50k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
26.68/26.76 c 24.6s|100000 | 230 | 925 | 0.0 |3716k| 263 | - | 297 | 100 | 0 | 0 | 6 | 56k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
29.28/29.39 c 27.0s|110000 | 233 | 925 | 0.0 |3710k| 263 | - | 297 | 100 | 0 | 0 | 6 | 62k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
31.79/31.85 c 29.2s|120000 | 232 | 925 | 0.0 |3716k| 263 | - | 297 | 100 | 0 | 0 | 6 | 67k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
34.48/34.50 c 31.7s|130000 | 228 | 925 | 0.0 |3710k| 263 | - | 297 | 100 | 0 | 0 | 6 | 73k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
36.98/37.05 c 34.0s|140000 | 231 | 925 | 0.0 |3713k| 263 | - | 297 | 100 | 0 | 0 | 6 | 79k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
39.67/39.70 c 36.4s|150000 | 229 | 925 | 0.0 |3713k| 263 | - | 297 | 100 | 0 | 0 | 6 | 85k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
42.28/42.37 c 38.9s|160000 | 230 | 925 | 0.0 |3717k| 263 | - | 297 | 100 | 0 | 0 | 6 | 91k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
44.87/44.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.87/44.93 c 41.2s|170000 | 227 | 925 | 0.0 |3713k| 263 | - | 297 | 100 | 0 | 0 | 6 | 96k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
47.38/47.46 c 43.5s|180000 | 226 | 925 | 0.0 |3718k| 263 | - | 297 | 100 | 0 | 0 | 6 | 102k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
49.98/50.04 c 45.9s|190000 | 228 | 925 | 0.0 |3718k| 263 | - | 297 | 100 | 0 | 0 | 6 | 108k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
52.47/52.51 c 48.2s|200000 | 225 | 925 | 0.0 |3712k| 263 | - | 297 | 100 | 0 | 0 | 6 | 114k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
54.77/54.89 c 50.4s|210000 | 232 | 925 | 0.0 |3715k| 263 | - | 297 | 100 | 0 | 0 | 6 | 119k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
57.27/57.31 c 52.6s|220000 | 223 | 925 | 0.0 |3712k| 263 | - | 297 | 100 | 0 | 0 | 6 | 125k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
59.57/59.68 c 54.7s|230000 | 224 | 925 | 0.0 |3716k| 263 | - | 297 | 100 | 0 | 0 | 6 | 130k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
61.97/62.09 c 56.9s|240000 | 221 | 925 | 0.0 |3714k| 263 | - | 297 | 100 | 0 | 0 | 6 | 136k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
64.78/64.88 c 59.5s|250000 | 222 | 925 | 0.0 |3721k| 263 | - | 297 | 100 | 0 | 0 | 6 | 142k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
67.27/67.39 c 61.8s|260000 | 225 | 925 | 0.0 |3714k| 263 | - | 297 | 100 | 0 | 0 | 6 | 148k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
69.57/69.60 c 63.8s|270000 | 228 | 925 | 0.0 |3719k| 263 | - | 297 | 100 | 0 | 0 | 6 | 153k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
71.87/71.99 c 66.0s|280000 | 223 | 925 | 0.0 |3717k| 263 | - | 297 | 100 | 0 | 0 | 6 | 159k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
74.27/74.40 c 68.2s|290000 | 224 | 925 | 0.0 |3717k| 263 | - | 297 | 100 | 0 | 0 | 6 | 165k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
76.87/77.00 c 70.6s|300000 | 226 | 925 | 0.0 |3720k| 263 | - | 297 | 100 | 0 | 0 | 6 | 170k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
79.37/79.44 c 72.8s|310000 | 221 | 925 | 0.0 |3714k| 263 | - | 297 | 100 | 0 | 0 | 6 | 176k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
81.66/81.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.66/81.78 c 74.9s|320000 | 222 | 925 | 0.0 |3715k| 263 | - | 297 | 100 | 0 | 0 | 6 | 182k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
84.27/84.32 c 77.2s|330000 | 223 | 925 | 0.0 |3717k| 263 | - | 297 | 100 | 0 | 0 | 6 | 188k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
86.66/86.73 c 79.5s|340000 | 218 | 925 | 0.0 |3720k| 263 | - | 297 | 100 | 0 | 0 | 6 | 193k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
89.16/89.21 c 81.7s|350000 | 224 | 925 | 0.0 |3718k| 263 | - | 297 | 100 | 0 | 0 | 6 | 199k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
91.56/91.67 c 84.0s|360000 | 220 | 925 | 0.0 |3723k| 263 | - | 297 | 100 | 0 | 0 | 6 | 205k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
94.16/94.26 c 86.3s|370000 | 220 | 925 | 0.0 |3723k| 263 | - | 297 | 100 | 0 | 0 | 6 | 211k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
96.46/96.51 c 88.4s|380000 | 215 | 925 | 0.0 |3717k| 263 | - | 297 | 100 | 0 | 0 | 6 | 216k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
98.96/99.02 c 90.7s|390000 | 217 | 925 | 0.0 |3720k| 263 | - | 297 | 100 | 0 | 0 | 6 | 222k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
101.46/101.51 c 93.0s|400000 | 222 | 925 | 0.0 |3720k| 263 | - | 297 | 101 | 0 | 0 | 6 | 227k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
103.76/103.85 c 95.1s|410000 | 217 | 925 | 0.0 |3721k| 263 | - | 297 | 100 | 0 | 0 | 6 | 233k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
106.16/106.22 c 97.3s|420000 | 218 | 925 | 0.0 |3728k| 263 | - | 297 | 100 | 0 | 0 | 6 | 238k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
108.55/108.65 c 99.5s|430000 | 223 | 925 | 0.0 |3722k| 263 | - | 297 | 100 | 0 | 0 | 6 | 244k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
110.96/111.02 c 102s|440000 | 214 | 925 | 0.0 |3726k| 263 | - | 297 | 100 | 0 | 0 | 6 | 250k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
113.36/113.42 c 104s|450000 | 218 | 925 | 0.0 |3725k| 263 | - | 297 | 100 | 0 | 0 | 6 | 255k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
115.85/115.93 c 106s|460000 | 215 | 925 | 0.0 |3718k| 263 | - | 297 | 100 | 0 | 0 | 6 | 261k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
118.35/118.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.35/118.40 c 108s|470000 | 219 | 925 | 0.0 |3723k| 263 | - | 297 | 100 | 0 | 0 | 6 | 266k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
120.55/120.70 c 110s|480000 | 215 | 925 | 0.0 |3726k| 263 | - | 297 | 100 | 0 | 0 | 6 | 272k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
122.95/123.00 c 113s|490000 | 219 | 925 | 0.0 |3726k| 263 | - | 297 | 100 | 0 | 0 | 6 | 277k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
125.36/125.41 c 115s|500000 | 222 | 925 | 0.0 |3725k| 263 | - | 297 | 100 | 0 | 0 | 6 | 283k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
127.75/127.82 c 117s|510000 | 213 | 925 | 0.0 |3721k| 263 | - | 297 | 100 | 0 | 0 | 6 | 288k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
130.15/130.23 c 119s|520000 | 218 | 925 | 0.0 |3722k| 263 | - | 297 | 100 | 0 | 0 | 6 | 294k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
132.65/132.78 c 121s|530000 | 218 | 925 | 0.0 |3724k| 263 | - | 297 | 100 | 0 | 0 | 6 | 299k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
135.16/135.22 c 124s|540000 | 217 | 925 | 0.0 |3724k| 263 | - | 297 | 100 | 0 | 0 | 6 | 305k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
137.46/137.58 c 126s|550000 | 216 | 925 | 0.0 |3722k| 263 | - | 297 | 100 | 0 | 0 | 6 | 311k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
140.05/140.14 c 128s|560000 | 216 | 925 | 0.0 |3728k| 263 | - | 297 | 100 | 0 | 0 | 6 | 316k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
142.44/142.53 c 130s|570000 | 218 | 925 | 0.0 |3728k| 263 | - | 297 | 100 | 0 | 0 | 6 | 322k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
144.94/145.07 c 133s|580000 | 218 | 925 | 0.0 |3726k| 263 | - | 297 | 100 | 0 | 0 | 6 | 328k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
147.64/147.73 c 135s|590000 | 212 | 925 | 0.0 |3731k| 263 | - | 297 | 100 | 0 | 0 | 6 | 333k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
150.05/150.14 c 137s|600000 | 214 | 925 | 0.0 |3732k| 263 | - | 297 | 100 | 0 | 0 | 6 | 339k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
152.65/152.72 c 140s|610000 | 216 | 925 | 0.0 |3729k| 263 | - | 297 | 100 | 0 | 0 | 6 | 345k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
155.04/155.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.04/155.14 c 142s|620000 | 218 | 925 | 0.0 |3729k| 263 | - | 297 | 100 | 0 | 0 | 6 | 351k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
157.44/157.56 c 144s|630000 | 214 | 925 | 0.0 |3728k| 263 | - | 297 | 100 | 0 | 0 | 6 | 356k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
160.04/160.13 c 146s|640000 | 214 | 925 | 0.0 |3730k| 263 | - | 297 | 100 | 0 | 0 | 6 | 362k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
162.54/162.60 c 149s|650000 | 215 | 925 | 0.0 |3731k| 263 | - | 297 | 100 | 0 | 0 | 6 | 368k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
165.04/165.19 c 151s|660000 | 213 | 925 | 0.0 |3732k| 263 | - | 297 | 100 | 0 | 0 | 6 | 374k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
167.54/167.63 c 153s|670000 | 214 | 925 | 0.0 |3726k| 263 | - | 297 | 100 | 0 | 0 | 6 | 379k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
170.04/170.14 c 156s|680000 | 216 | 925 | 0.0 |3730k| 263 | - | 297 | 100 | 0 | 0 | 6 | 385k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
172.55/172.67 c 158s|690000 | 217 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 | 391k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
175.14/175.28 c 160s|700000 | 215 | 925 | 0.0 |3726k| 263 | - | 297 | 100 | 0 | 0 | 6 | 396k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
177.83/177.91 c 163s|710000 | 210 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 | 402k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
180.24/180.37 c 165s|720000 | 212 | 925 | 0.0 |3728k| 263 | - | 297 | 100 | 0 | 0 | 6 | 408k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
182.63/182.79 c 167s|730000 | 214 | 925 | 0.0 |3732k| 263 | - | 297 | 100 | 0 | 0 | 6 | 413k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
185.13/185.22 c 169s|740000 | 215 | 925 | 0.0 |3726k| 263 | - | 297 | 100 | 0 | 0 | 6 | 419k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
187.63/187.76 c 172s|750000 | 209 | 925 | 0.0 |3727k| 263 | - | 297 | 100 | 0 | 0 | 6 | 425k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
190.43/190.51 c 174s|760000 | 217 | 925 | 0.0 |3728k| 263 | - | 297 | 100 | 0 | 0 | 6 | 430k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
192.93/193.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.93/193.04 c 177s|770000 | 218 | 925 | 0.0 |3727k| 263 | - | 297 | 100 | 0 | 0 | 6 | 436k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
195.32/195.47 c 179s|780000 | 213 | 925 | 0.0 |3726k| 263 | - | 297 | 100 | 0 | 0 | 6 | 442k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
197.94/198.02 c 181s|790000 | 215 | 925 | 0.0 |3729k| 263 | - | 297 | 100 | 0 | 0 | 6 | 447k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
200.43/200.60 c 184s|800000 | 219 | 925 | 0.0 |3729k| 263 | - | 297 | 100 | 0 | 0 | 6 | 453k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
202.93/203.00 c 186s|810000 | 210 | 925 | 0.0 |3729k| 263 | - | 297 | 100 | 0 | 0 | 6 | 459k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
205.42/205.52 c 188s|820000 | 210 | 925 | 0.0 |3729k| 263 | - | 297 | 100 | 0 | 0 | 6 | 464k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
207.92/208.05 c 190s|830000 | 212 | 925 | 0.0 |3728k| 263 | - | 297 | 100 | 0 | 0 | 6 | 470k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
210.33/210.47 c 193s|840000 | 213 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 | 476k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
212.83/212.92 c 195s|850000 | 213 | 925 | 0.0 |3728k| 263 | - | 297 | 100 | 0 | 0 | 6 | 482k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
215.53/215.61 c 197s|860000 | 214 | 925 | 0.0 |3734k| 263 | - | 297 | 100 | 0 | 0 | 6 | 487k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
218.12/218.26 c 200s|870000 | 211 | 925 | 0.0 |3730k| 263 | - | 297 | 100 | 0 | 0 | 6 | 493k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
220.62/220.73 c 202s|880000 | 211 | 925 | 0.0 |3728k| 263 | - | 297 | 100 | 0 | 0 | 6 | 499k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
223.13/223.27 c 204s|890000 | 216 | 925 | 0.0 |3731k| 263 | - | 297 | 100 | 0 | 0 | 6 | 505k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
225.72/225.83 c 207s|900000 | 220 | 925 | 0.0 |3730k| 263 | - | 297 | 100 | 0 | 0 | 6 | 510k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
228.22/228.38 c 209s|910000 | 213 | 925 | 0.0 |3734k| 263 | - | 297 | 100 | 0 | 0 | 6 | 516k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
230.61/230.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
230.61/230.77 c 211s|920000 | 219 | 925 | 0.0 |3731k| 263 | - | 297 | 100 | 0 | 0 | 6 | 522k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
232.92/233.02 c 213s|930000 | 208 | 925 | 0.0 |3728k| 263 | - | 297 | 100 | 0 | 0 | 6 | 527k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
235.22/235.40 c 215s|940000 | 211 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 | 533k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
237.81/237.95 c 218s|950000 | 224 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 | 538k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
240.02/240.15 c 220s|960000 | 218 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 | 544k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
242.31/242.49 c 222s|970000 | 211 | 925 | 0.0 |3732k| 263 | - | 297 | 100 | 0 | 0 | 6 | 549k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
245.01/245.12 c 224s|980000 | 217 | 925 | 0.0 |3731k| 263 | - | 297 | 100 | 0 | 0 | 6 | 555k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
247.32/247.47 c 226s|990000 | 210 | 925 | 0.0 |3729k| 263 | - | 297 | 100 | 0 | 0 | 6 | 561k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
249.91/250.02 c 229s| 1000k| 209 | 925 | 0.0 |3734k| 263 | - | 297 | 100 | 0 | 0 | 6 | 567k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
252.21/252.39 c 231s| 1010k| 211 | 925 | 0.0 |3729k| 263 | - | 297 | 100 | 0 | 0 | 6 | 573k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
254.60/254.77 c 233s| 1020k| 207 | 925 | 0.0 |3731k| 263 | - | 297 | 100 | 0 | 0 | 6 | 578k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
256.91/257.06 c 235s| 1030k| 212 | 925 | 0.0 |3731k| 263 | - | 297 | 100 | 0 | 0 | 6 | 584k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
259.31/259.46 c 237s| 1040k| 208 | 925 | 0.0 |3727k| 263 | - | 297 | 100 | 0 | 0 | 6 | 589k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
261.71/261.86 c 240s| 1050k| 212 | 925 | 0.0 |3734k| 263 | - | 297 | 100 | 0 | 0 | 6 | 595k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
264.31/264.40 c 242s| 1060k| 210 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 | 600k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
266.60/266.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
266.60/266.73 c 244s| 1070k| 210 | 925 | 0.0 |3728k| 263 | - | 297 | 100 | 0 | 0 | 6 | 606k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
269.00/269.12 c 246s| 1080k| 213 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 | 612k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
271.30/271.47 c 248s| 1090k| 218 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 | 617k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
273.70/273.85 c 250s| 1100k| 215 | 925 | 0.0 |3732k| 263 | - | 297 | 100 | 0 | 0 | 6 | 623k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
276.40/276.50 c 253s| 1110k| 211 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 | 628k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
279.00/279.10 c 255s| 1120k| 211 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 | 635k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
281.70/281.84 c 258s| 1130k| 212 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 | 641k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
284.20/284.38 c 260s| 1140k| 209 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 | 646k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
286.80/287.00 c 262s| 1150k| 211 | 925 | 0.0 |3731k| 263 | - | 297 | 100 | 0 | 0 | 6 | 652k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
289.39/289.54 c 265s| 1160k| 210 | 925 | 0.0 |3734k| 263 | - | 297 | 100 | 0 | 0 | 6 | 658k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
292.09/292.28 c 267s| 1170k| 207 | 925 | 0.0 |3728k| 263 | - | 297 | 100 | 0 | 0 | 6 | 664k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
294.71/294.89 c 270s| 1180k| 212 | 925 | 0.0 |3731k| 263 | - | 297 | 100 | 0 | 0 | 6 | 670k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
297.00/297.16 c 272s| 1190k| 207 | 925 | 0.0 |3729k| 263 | - | 297 | 100 | 0 | 0 | 6 | 675k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
299.39/299.50 c 274s| 1200k| 206 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 | 680k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
301.89/302.05 c 276s| 1210k| 208 | 925 | 0.0 |3734k| 263 | - | 297 | 100 | 0 | 0 | 6 | 686k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
304.40/304.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.40/304.55 c 279s| 1220k| 212 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 | 692k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
306.99/307.11 c 281s| 1230k| 208 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 | 697k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
309.49/309.63 c 283s| 1240k| 205 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 | 703k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
312.09/312.21 c 286s| 1250k| 208 | 925 | 0.0 |3729k| 263 | - | 297 | 100 | 0 | 0 | 6 | 709k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
314.40/314.56 c 288s| 1260k| 207 | 925 | 0.0 |3728k| 263 | - | 297 | 100 | 0 | 0 | 6 | 714k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
316.89/317.00 c 290s| 1270k| 211 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 | 720k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
319.39/319.52 c 292s| 1280k| 210 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 | 725k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
321.98/322.16 c 295s| 1290k| 208 | 925 | 0.0 |3730k| 263 | - | 297 | 100 | 0 | 0 | 6 | 731k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
324.58/324.75 c 297s| 1300k| 207 | 925 | 0.0 |3730k| 263 | - | 297 | 100 | 0 | 0 | 6 | 737k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
326.98/327.11 c 299s| 1310k| 215 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 | 743k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
329.39/329.55 c 301s| 1320k| 213 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 | 749k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
332.08/332.23 c 304s| 1330k| 212 | 925 | 0.0 |3731k| 263 | - | 297 | 100 | 0 | 0 | 6 | 755k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
334.68/334.81 c 306s| 1340k| 208 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 | 761k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
337.18/337.31 c 308s| 1350k| 215 | 925 | 0.0 |3734k| 263 | - | 297 | 100 | 0 | 0 | 6 | 766k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
339.69/339.89 c 311s| 1360k| 214 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 | 772k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
342.18/342.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
342.18/342.35 c 313s| 1370k| 209 | 925 | 0.0 |3732k| 263 | - | 297 | 100 | 0 | 0 | 6 | 778k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
344.68/344.89 c 315s| 1380k| 214 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 | 784k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
347.57/347.71 c 318s| 1390k| 211 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 | 790k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
350.18/350.39 c 320s| 1400k| 208 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 | 796k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
352.57/352.79 c 323s| 1410k| 209 | 925 | 0.0 |3731k| 263 | - | 297 | 100 | 0 | 0 | 6 | 802k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
355.09/355.26 c 325s| 1420k| 211 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 | 807k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
357.77/357.90 c 327s| 1430k| 208 | 925 | 0.0 |3729k| 263 | - | 297 | 100 | 0 | 0 | 6 | 813k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
360.28/360.48 c 330s| 1440k| 210 | 925 | 0.0 |3734k| 263 | - | 297 | 100 | 0 | 0 | 6 | 819k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
362.78/362.97 c 332s| 1450k| 213 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 | 825k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
365.17/365.37 c 334s| 1460k| 207 | 925 | 0.0 |3731k| 263 | - | 297 | 100 | 0 | 0 | 6 | 831k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
367.57/367.78 c 336s| 1470k| 209 | 925 | 0.0 |3730k| 263 | - | 297 | 100 | 0 | 0 | 6 | 836k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
370.28/370.41 c 339s| 1480k| 210 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 | 842k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
372.78/372.91 c 341s| 1490k| 214 | 925 | 0.0 |3730k| 263 | - | 297 | 100 | 0 | 0 | 6 | 848k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
375.17/375.39 c 343s| 1500k| 213 | 925 | 0.0 |3731k| 263 | - | 297 | 100 | 0 | 0 | 6 | 853k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
377.57/377.70 c 345s| 1510k| 209 | 925 | 0.0 |3732k| 263 | - | 297 | 100 | 0 | 0 | 6 | 859k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
379.97/380.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
379.97/380.15 c 348s| 1520k| 207 | 925 | 0.0 |3734k| 263 | - | 297 | 100 | 0 | 0 | 6 | 865k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
382.57/382.70 c 350s| 1530k| 213 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 | 871k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
385.16/385.35 c 352s| 1540k| 210 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 | 877k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
387.77/387.98 c 355s| 1550k| 210 | 925 | 0.0 |3730k| 263 | - | 297 | 100 | 0 | 0 | 6 | 882k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
390.56/390.70 c 357s| 1560k| 210 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 | 888k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
393.27/393.49 c 360s| 1570k| 210 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 | 894k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
395.66/395.86 c 362s| 1580k| 209 | 925 | 0.0 |3734k| 263 | - | 297 | 100 | 0 | 0 | 6 | 900k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
398.16/398.31 c 364s| 1590k| 207 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 | 905k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
400.56/400.75 c 366s| 1600k| 210 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 | 911k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
402.86/403.08 c 369s| 1610k| 207 | 925 | 0.0 |3732k| 263 | - | 297 | 100 | 0 | 0 | 6 | 916k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
405.45/405.67 c 371s| 1620k| 210 | 925 | 0.0 |3731k| 263 | - | 297 | 100 | 0 | 0 | 6 | 922k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
407.86/408.04 c 373s| 1630k| 209 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 | 927k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
410.17/410.32 c 375s| 1640k| 209 | 925 | 0.0 |3734k| 263 | - | 297 | 100 | 0 | 0 | 6 | 933k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
412.65/412.89 c 378s| 1650k| 209 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 | 938k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
415.25/415.42 c 380s| 1660k| 209 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 | 944k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
417.55/417.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
417.55/417.73 c 382s| 1670k| 205 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 | 949k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
419.75/419.99 c 384s| 1680k| 211 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 | 955k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
422.05/422.28 c 386s| 1690k| 205 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 | 960k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
424.46/424.62 c 388s| 1700k| 210 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 | 965k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
426.95/427.17 c 391s| 1710k| 208 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 | 971k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
429.35/429.58 c 393s| 1720k| 213 | 925 | 0.0 |3734k| 263 | - | 297 | 100 | 0 | 0 | 6 | 976k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
431.75/431.99 c 395s| 1730k| 206 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 | 982k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
434.35/434.57 c 397s| 1740k| 207 | 925 | 0.0 |3730k| 263 | - | 297 | 100 | 0 | 0 | 6 | 988k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
437.04/437.23 c 400s| 1750k| 205 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 | 994k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
439.35/439.53 c 402s| 1760k| 207 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 | 999k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
441.95/442.13 c 404s| 1770k| 207 | 925 | 0.0 |3734k| 263 | - | 297 | 100 | 0 | 0 | 6 |1005k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
444.34/444.50 c 406s| 1780k| 213 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |1010k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
446.54/446.74 c 409s| 1790k| 208 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 |1016k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
448.85/449.01 c 411s| 1800k| 208 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |1021k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
451.24/451.43 c 413s| 1810k| 210 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |1026k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
453.64/453.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
453.64/453.87 c 415s| 1820k| 210 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |1032k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
456.25/456.45 c 417s| 1830k| 206 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1037k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
458.84/459.08 c 420s| 1840k| 205 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |1043k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
461.54/461.73 c 422s| 1850k| 207 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |1049k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
463.94/464.12 c 424s| 1860k| 206 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 |1054k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
466.34/466.51 c 427s| 1870k| 207 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 |1060k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
468.64/468.80 c 429s| 1880k| 212 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |1065k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
471.14/471.31 c 431s| 1890k| 209 | 925 | 0.0 |3734k| 263 | - | 297 | 100 | 0 | 0 | 6 |1071k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
473.74/473.94 c 433s| 1900k| 208 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |1076k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
476.43/476.64 c 436s| 1910k| 206 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |1082k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
478.93/479.13 c 438s| 1920k| 210 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |1088k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
481.43/481.69 c 441s| 1930k| 207 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |1093k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
484.03/484.20 c 443s| 1940k| 203 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |1099k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
486.34/486.50 c 445s| 1950k| 205 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |1104k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
488.73/488.94 c 447s| 1960k| 208 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |1110k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
491.23/491.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.23/491.40 c 449s| 1970k| 207 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |1116k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
493.43/493.69 c 452s| 1980k| 215 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1121k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
495.84/496.08 c 454s| 1990k| 208 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |1127k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
498.33/498.59 c 456s| 2000k| 205 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |1132k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
500.83/501.02 c 458s| 2010k| 204 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |1138k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
503.33/503.50 c 460s| 2020k| 205 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |1143k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
505.73/505.96 c 463s| 2030k| 208 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 |1149k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
508.12/508.31 c 465s| 2040k| 203 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 |1155k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
510.52/510.75 c 467s| 2050k| 202 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |1161k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
512.93/513.19 c 469s| 2060k| 204 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |1167k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
515.23/515.49 c 471s| 2070k| 205 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1172k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
517.73/517.93 c 474s| 2080k| 211 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |1178k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
520.22/520.46 c 476s| 2090k| 206 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1183k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
522.82/523.09 c 478s| 2100k| 208 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |1189k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
525.53/525.71 c 481s| 2110k| 209 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1195k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
528.02/528.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
528.02/528.25 c 483s| 2120k| 206 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |1201k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
530.62/530.81 c 485s| 2130k| 205 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |1207k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
533.11/533.38 c 488s| 2140k| 208 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1212k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
535.92/536.13 c 490s| 2150k| 206 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |1218k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
538.42/538.65 c 493s| 2160k| 207 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1224k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
540.81/541.08 c 495s| 2170k| 207 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1230k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
543.41/543.67 c 497s| 2180k| 210 | 925 | 0.0 |3734k| 263 | - | 297 | 100 | 0 | 0 | 6 |1236k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
545.71/545.98 c 499s| 2190k| 209 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |1241k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
548.31/548.51 c 502s| 2200k| 209 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |1247k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
550.82/551.09 c 504s| 2210k| 207 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |1253k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
553.51/553.76 c 506s| 2220k| 205 | 925 | 0.0 |3734k| 263 | - | 297 | 100 | 0 | 0 | 6 |1259k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
556.21/556.49 c 509s| 2230k| 210 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |1265k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
558.91/559.14 c 511s| 2240k| 209 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |1271k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
561.41/561.68 c 514s| 2250k| 206 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |1277k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
564.31/564.52 c 516s| 2260k| 210 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1283k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
567.21/567.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.21/567.48 c 519s| 2270k| 202 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |1289k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
569.80/570.09 c 521s| 2280k| 206 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1295k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
572.30/572.55 c 524s| 2290k| 207 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1301k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
574.70/574.92 c 526s| 2300k| 204 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 |1306k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
577.10/577.31 c 528s| 2310k| 209 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |1312k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
579.60/579.87 c 530s| 2320k| 206 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |1317k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
582.10/582.35 c 533s| 2330k| 210 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |1323k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
584.70/584.94 c 535s| 2340k| 203 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |1329k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
587.21/587.43 c 537s| 2350k| 207 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |1335k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
589.80/590.01 c 540s| 2360k| 206 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |1341k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
592.50/592.75 c 542s| 2370k| 207 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |1347k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
595.10/595.30 c 544s| 2380k| 211 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1353k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
597.40/597.65 c 547s| 2390k| 206 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |1358k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
599.89/600.13 c 549s| 2400k| 204 | 925 | 0.0 |3734k| 263 | - | 297 | 100 | 0 | 0 | 6 |1364k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
602.30/602.54 c 551s| 2410k| 206 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |1370k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
604.70/604.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
604.70/604.93 c 553s| 2420k| 206 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1375k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
607.00/607.26 c 555s| 2430k| 216 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |1380k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
609.49/609.72 c 558s| 2440k| 205 | 925 | 0.0 |3747k| 263 | - | 297 | 100 | 0 | 0 | 6 |1386k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
611.88/612.11 c 560s| 2450k| 207 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |1391k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
614.39/614.69 c 562s| 2460k| 206 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |1397k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
616.90/617.11 c 564s| 2470k| 207 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 |1403k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
619.29/619.55 c 567s| 2480k| 203 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1408k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
621.69/621.93 c 569s| 2490k| 205 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |1414k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
624.38/624.68 c 571s| 2500k| 211 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1420k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
626.88/627.12 c 574s| 2510k| 203 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 |1425k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
629.38/629.60 c 576s| 2520k| 209 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |1431k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
631.78/632.04 c 578s| 2530k| 205 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |1437k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
634.28/634.59 c 580s| 2540k| 207 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |1442k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
636.69/636.98 c 583s| 2550k| 207 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |1448k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
638.98/639.28 c 585s| 2560k| 206 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |1453k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
641.28/641.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
641.28/641.59 c 587s| 2570k| 206 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |1458k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
643.88/644.12 c 589s| 2580k| 204 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1464k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
646.28/646.53 c 591s| 2590k| 205 | 925 | 0.0 |3734k| 263 | - | 297 | 100 | 0 | 0 | 6 |1470k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
648.58/648.84 c 593s| 2600k| 207 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |1476k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
650.98/651.25 c 596s| 2610k| 204 | 925 | 0.0 |3734k| 263 | - | 297 | 100 | 0 | 0 | 6 |1482k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
653.58/653.82 c 598s| 2620k| 209 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |1487k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
655.87/656.15 c 600s| 2630k| 211 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1493k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
658.37/658.61 c 602s| 2640k| 203 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |1498k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
660.58/660.85 c 604s| 2650k| 207 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |1503k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
662.87/663.16 c 606s| 2660k| 211 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |1509k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
665.18/665.44 c 609s| 2670k| 200 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |1514k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
667.57/667.86 c 611s| 2680k| 207 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |1519k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
669.97/670.27 c 613s| 2690k| 208 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1525k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
672.57/672.88 c 615s| 2700k| 205 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |1531k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
675.18/675.47 c 618s| 2710k| 203 | 925 | 0.0 |3749k| 263 | - | 297 | 100 | 0 | 0 | 6 |1537k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
677.77/678.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
677.77/678.05 c 620s| 2720k| 206 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |1543k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
680.47/680.72 c 623s| 2730k| 208 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |1549k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
682.97/683.24 c 625s| 2740k| 212 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |1554k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
685.37/685.69 c 627s| 2750k| 205 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |1560k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
688.07/688.36 c 630s| 2760k| 205 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |1566k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
690.57/690.84 c 632s| 2770k| 203 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |1571k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
693.06/693.34 c 634s| 2780k| 207 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |1577k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
695.56/695.88 c 636s| 2790k| 208 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |1582k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
697.96/698.22 c 639s| 2800k| 209 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |1588k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
700.37/700.68 c 641s| 2810k| 210 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |1593k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
702.66/702.94 c 643s| 2820k| 210 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1599k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
704.95/705.24 c 645s| 2830k| 211 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |1604k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
707.36/707.68 c 647s| 2840k| 208 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |1610k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
709.95/710.28 c 650s| 2850k| 217 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |1616k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
712.46/712.71 c 652s| 2860k| 206 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |1622k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
714.96/715.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
714.96/715.24 c 654s| 2870k| 205 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |1627k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
717.46/717.75 c 656s| 2880k| 205 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |1633k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
719.76/720.02 c 658s| 2890k| 209 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |1639k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
722.26/722.55 c 661s| 2900k| 207 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |1644k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
724.56/724.89 c 663s| 2910k| 206 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |1650k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
726.86/727.13 c 665s| 2920k| 209 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |1656k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
729.25/729.52 c 667s| 2930k| 209 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |1661k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
731.45/731.73 c 669s| 2940k| 209 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |1667k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
733.75/734.05 c 671s| 2950k| 207 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |1672k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
736.05/736.36 c 673s| 2960k| 207 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |1677k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
738.45/738.78 c 676s| 2970k| 211 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |1683k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
740.64/740.91 c 678s| 2980k| 209 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |1688k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
743.05/743.38 c 680s| 2990k| 204 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |1694k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
745.84/746.18 c 682s| 3000k| 203 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |1700k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
748.35/748.61 c 685s| 3010k| 207 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1706k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
750.75/751.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
750.75/751.05 c 687s| 3020k| 199 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |1712k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
753.44/753.73 c 689s| 3030k| 205 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1718k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
755.84/756.20 c 692s| 3040k| 211 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |1723k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
758.34/758.63 c 694s| 3050k| 211 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |1729k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
760.95/761.25 c 696s| 3060k| 209 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |1735k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
763.34/763.65 c 698s| 3070k| 206 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1740k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
765.73/766.03 c 701s| 3080k| 205 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |1746k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
768.04/768.37 c 703s| 3090k| 210 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1751k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
770.64/770.90 c 705s| 3100k| 207 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |1757k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
772.95/773.27 c 707s| 3110k| 205 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1762k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
775.34/775.63 c 709s| 3120k| 203 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |1768k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
777.73/778.04 c 711s| 3130k| 203 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |1773k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
780.13/780.48 c 714s| 3140k| 210 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1779k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
782.63/782.91 c 716s| 3150k| 202 | 925 | 0.0 |3733k| 263 | - | 297 | 100 | 0 | 0 | 6 |1784k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
785.03/785.36 c 718s| 3160k| 207 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |1790k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
787.33/787.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
787.33/787.68 c 720s| 3170k| 203 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |1795k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
789.83/790.16 c 723s| 3180k| 212 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |1801k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
792.13/792.46 c 725s| 3190k| 204 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1806k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
794.32/794.65 c 727s| 3200k| 204 | 925 | 0.0 |3734k| 263 | - | 297 | 100 | 0 | 0 | 6 |1811k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
796.63/796.96 c 729s| 3210k| 205 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |1817k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
799.02/799.34 c 731s| 3220k| 208 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1822k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
801.43/801.73 c 733s| 3230k| 199 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |1828k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
803.73/804.08 c 735s| 3240k| 203 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1833k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
806.04/806.36 c 737s| 3250k| 207 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |1839k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
808.52/808.80 c 740s| 3260k| 207 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |1845k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
810.72/811.06 c 742s| 3270k| 206 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |1850k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
812.92/813.23 c 744s| 3280k| 202 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |1855k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
815.42/815.70 c 746s| 3290k| 203 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1861k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
817.92/818.24 c 748s| 3300k| 212 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |1866k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
820.62/820.91 c 751s| 3310k| 202 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |1872k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
823.02/823.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
823.02/823.37 c 753s| 3320k| 202 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |1877k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
825.73/826.00 c 755s| 3330k| 211 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1883k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
828.11/828.46 c 758s| 3340k| 203 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |1888k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
830.92/831.22 c 760s| 3350k| 207 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |1894k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
833.71/834.01 c 763s| 3360k| 204 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |1900k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
836.31/836.66 c 765s| 3370k| 202 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |1906k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
838.82/839.11 c 767s| 3380k| 205 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |1911k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
841.31/841.63 c 770s| 3390k| 205 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |1917k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
843.62/843.98 c 772s| 3400k| 207 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |1923k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
846.32/846.68 c 774s| 3410k| 206 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |1928k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
849.01/849.38 c 777s| 3420k| 204 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |1934k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
851.41/851.78 c 779s| 3430k| 207 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |1940k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
853.91/854.22 c 781s| 3440k| 201 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |1946k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
856.40/856.78 c 783s| 3450k| 202 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |1952k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
858.81/859.13 c 786s| 3460k| 203 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |1957k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
861.11/861.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
861.11/861.46 c 788s| 3470k| 208 | 925 | 0.0 |3738k| 263 | - | 297 | 101 | 0 | 0 | 6 |1962k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
863.50/863.86 c 790s| 3480k| 206 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |1968k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
865.91/866.26 c 792s| 3490k| 208 | 925 | 0.0 |3738k| 263 | - | 297 | 101 | 0 | 0 | 6 |1974k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
868.50/868.80 c 794s| 3500k| 203 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |1979k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
871.00/871.31 c 797s| 3510k| 208 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |1985k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
873.30/873.64 c 799s| 3520k| 211 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |1991k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
875.70/876.01 c 801s| 3530k| 215 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |1996k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
878.10/878.45 c 803s| 3540k| 207 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |2002k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
880.40/880.78 c 805s| 3550k| 203 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |2007k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
882.91/883.25 c 808s| 3560k| 204 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |2013k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
885.30/885.60 c 810s| 3570k| 201 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |2019k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
887.50/887.89 c 812s| 3580k| 206 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2024k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
890.10/890.41 c 814s| 3590k| 207 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2030k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
892.40/892.74 c 816s| 3600k| 212 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2035k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
894.60/894.99 c 818s| 3610k| 211 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2041k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
896.99/897.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
896.99/897.33 c 820s| 3620k| 208 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2046k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
899.40/899.78 c 823s| 3630k| 202 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |2052k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
901.70/902.07 c 825s| 3640k| 207 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2057k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
903.99/904.39 c 827s| 3650k| 204 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2062k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
906.50/906.85 c 829s| 3660k| 208 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2068k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
908.79/909.13 c 831s| 3670k| 203 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |2073k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
911.19/911.56 c 833s| 3680k| 202 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |2078k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
913.69/914.00 c 836s| 3690k| 205 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |2084k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
916.00/916.34 c 838s| 3700k| 210 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2089k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
918.39/918.73 c 840s| 3710k| 206 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2095k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
920.69/921.09 c 842s| 3720k| 209 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |2100k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
922.99/923.38 c 844s| 3730k| 209 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2106k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
925.29/925.61 c 846s| 3740k| 204 | 925 | 0.0 |3735k| 263 | - | 297 | 100 | 0 | 0 | 6 |2111k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
927.39/927.72 c 848s| 3750k| 205 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2116k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
929.48/929.87 c 850s| 3760k| 209 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |2121k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
931.69/932.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
931.69/932.06 c 852s| 3770k| 211 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |2127k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
934.08/934.40 c 854s| 3780k| 203 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2132k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
936.38/936.70 c 856s| 3790k| 205 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2138k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
938.48/938.87 c 858s| 3800k| 207 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |2143k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
940.68/941.02 c 860s| 3810k| 201 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |2149k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
942.78/943.19 c 862s| 3820k| 212 | 925 | 0.0 |3742k| 263 | - | 297 | 102 | 0 | 0 | 6 |2154k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
945.18/945.51 c 864s| 3830k| 206 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2159k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
947.48/947.89 c 867s| 3840k| 211 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2165k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
949.98/950.31 c 869s| 3850k| 204 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |2170k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
952.18/952.57 c 871s| 3860k| 209 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2176k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
954.48/954.84 c 873s| 3870k| 210 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2181k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
956.68/957.02 c 875s| 3880k| 205 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2186k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
959.07/959.41 c 877s| 3890k| 197 | 925 | 0.0 |3740k| 263 | - | 297 | 101 | 0 | 0 | 6 |2192k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
961.47/961.84 c 879s| 3900k| 207 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2198k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
963.77/964.12 c 881s| 3910k| 204 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2203k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
966.07/966.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
966.07/966.46 c 883s| 3920k| 201 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2209k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
968.47/968.83 c 886s| 3930k| 208 | 925 | 0.0 |3738k| 263 | - | 297 | 101 | 0 | 0 | 6 |2214k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
970.67/971.09 c 888s| 3940k| 206 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2220k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
972.87/973.26 c 890s| 3950k| 202 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |2225k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
975.16/975.51 c 892s| 3960k| 205 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |2230k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
977.27/977.62 c 894s| 3970k| 209 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2236k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
979.56/979.99 c 896s| 3980k| 205 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2241k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
982.06/982.49 c 898s| 3990k| 200 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |2247k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
984.57/984.94 c 900s| 4000k| 209 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2252k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
986.97/987.33 c 902s| 4010k| 208 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2257k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
989.26/989.66 c 905s| 4020k| 203 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |2263k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
991.66/992.06 c 907s| 4030k| 210 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |2268k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
994.16/994.56 c 909s| 4040k| 204 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |2274k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
996.56/996.99 c 911s| 4050k| 207 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2279k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
998.86/999.29 c 913s| 4060k| 215 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |2285k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1001.36/1001.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1001.36/1001.79 c 916s| 4070k| 207 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |2291k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1003.86/1004.29 c 918s| 4080k| 204 | 925 | 0.0 |3749k| 263 | - | 297 | 100 | 0 | 0 | 6 |2296k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1006.45/1006.89 c 920s| 4090k| 205 | 925 | 0.0 |3747k| 263 | - | 297 | 100 | 0 | 0 | 6 |2302k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1009.15/1009.51 c 923s| 4100k| 205 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2308k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1011.66/1012.02 c 925s| 4110k| 205 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2314k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1014.15/1014.53 c 927s| 4120k| 207 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2319k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1016.85/1017.20 c 930s| 4130k| 204 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2325k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1019.36/1019.78 c 932s| 4140k| 206 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |2331k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1021.95/1022.33 c 934s| 4150k| 205 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2337k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1024.46/1024.82 c 937s| 4160k| 206 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2343k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1026.85/1027.24 c 939s| 4170k| 207 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2348k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1029.45/1029.90 c 941s| 4180k| 210 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |2354k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1032.15/1032.53 c 944s| 4190k| 205 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |2360k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1034.66/1035.00 c 946s| 4200k| 204 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2366k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1037.15/1037.54 c 948s| 4210k| 203 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2372k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1039.65/1040.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.65/1040.07 c 951s| 4220k| 209 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2378k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1042.15/1042.57 c 953s| 4230k| 212 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |2384k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1044.56/1044.99 c 955s| 4240k| 201 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |2389k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1046.95/1047.30 c 957s| 4250k| 210 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |2394k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1049.24/1049.64 c 960s| 4260k| 203 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2400k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1051.44/1051.89 c 962s| 4270k| 203 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2405k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1053.84/1054.26 c 964s| 4280k| 202 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |2411k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1056.14/1056.52 c 966s| 4290k| 205 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2416k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1058.54/1058.91 c 968s| 4300k| 216 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2422k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1060.84/1061.21 c 970s| 4310k| 203 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |2427k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1063.24/1063.69 c 972s| 4320k| 206 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |2433k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1065.74/1066.10 c 975s| 4330k| 205 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2438k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1067.93/1068.38 c 977s| 4340k| 206 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2444k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1070.33/1070.75 c 979s| 4350k| 203 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |2449k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1072.73/1073.12 c 981s| 4360k| 209 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |2454k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1075.13/1075.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1075.13/1075.53 c 983s| 4370k| 204 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |2460k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1077.64/1078.03 c 985s| 4380k| 206 | 925 | 0.0 |3747k| 263 | - | 297 | 100 | 0 | 0 | 6 |2465k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1080.23/1080.64 c 988s| 4390k| 203 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |2471k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1082.63/1083.06 c 990s| 4400k| 199 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |2477k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1085.13/1085.53 c 992s| 4410k| 204 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |2482k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1087.53/1087.92 c 994s| 4420k| 205 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2488k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1089.83/1090.29 c 997s| 4430k| 202 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2493k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1092.43/1092.81 c 999s| 4440k| 202 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2499k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1094.72/1095.17 c 1001s| 4450k| 209 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2505k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1097.22/1097.67 c 1003s| 4460k| 199 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |2511k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1099.73/1100.10 c 1006s| 4470k| 205 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2516k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1102.22/1102.67 c 1008s| 4480k| 207 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2522k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1104.73/1105.14 c 1010s| 4490k| 205 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |2527k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1107.13/1107.60 c 1012s| 4500k| 204 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2533k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1109.62/1110.06 c 1015s| 4510k| 198 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2539k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1112.02/1112.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1112.02/1112.49 c 1017s| 4520k| 204 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |2544k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1114.52/1114.92 c 1019s| 4530k| 208 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |2550k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1116.92/1117.36 c 1021s| 4540k| 204 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |2555k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1119.32/1119.78 c 1023s| 4550k| 206 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2561k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1121.63/1122.03 c 1026s| 4560k| 206 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2566k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1124.02/1124.48 c 1028s| 4570k| 210 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |2572k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1126.41/1126.80 c 1030s| 4580k| 203 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2577k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1128.71/1129.16 c 1032s| 4590k| 201 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |2583k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1131.12/1131.52 c 1034s| 4600k| 203 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2588k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1133.51/1133.95 c 1036s| 4610k| 201 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |2593k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1136.01/1136.42 c 1039s| 4620k| 202 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |2599k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1138.52/1138.90 c 1041s| 4630k| 205 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |2605k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1141.01/1141.47 c 1043s| 4640k| 201 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |2610k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1143.52/1143.91 c 1045s| 4650k| 201 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2616k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1145.91/1146.35 c 1048s| 4660k| 201 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2621k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1148.30/1148.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1148.30/1148.77 c 1050s| 4670k| 201 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2627k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1150.71/1151.11 c 1052s| 4680k| 204 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2632k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1153.01/1153.47 c 1054s| 4690k| 205 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |2638k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1155.61/1156.10 c 1057s| 4700k| 203 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2644k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1158.30/1158.72 c 1059s| 4710k| 204 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |2649k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1160.91/1161.34 c 1061s| 4720k| 207 | 925 | 0.0 |3748k| 263 | - | 297 | 100 | 0 | 0 | 6 |2655k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1163.41/1163.83 c 1064s| 4730k| 206 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |2661k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1165.80/1166.27 c 1066s| 4740k| 206 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |2667k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1168.30/1168.77 c 1068s| 4750k| 201 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |2672k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1170.90/1171.36 c 1071s| 4760k| 202 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |2678k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1173.49/1173.92 c 1073s| 4770k| 204 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |2684k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1175.89/1176.34 c 1075s| 4780k| 204 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |2689k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1178.40/1178.86 c 1077s| 4790k| 199 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |2695k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1180.90/1181.34 c 1080s| 4800k| 202 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2700k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1183.50/1183.97 c 1082s| 4810k| 206 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2706k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1186.20/1186.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1186.20/1186.66 c 1085s| 4820k| 204 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |2712k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1188.89/1189.38 c 1087s| 4830k| 197 | 925 | 0.0 |3748k| 263 | - | 297 | 100 | 0 | 0 | 6 |2717k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1191.50/1191.90 c 1089s| 4840k| 205 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |2723k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1194.10/1194.51 c 1092s| 4850k| 202 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |2729k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1196.79/1197.23 c 1094s| 4860k| 202 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |2735k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1199.40/1199.86 c 1097s| 4870k| 202 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |2740k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1201.99/1202.44 c 1099s| 4880k| 202 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |2746k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1204.39/1204.83 c 1101s| 4890k| 204 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2751k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1206.69/1207.18 c 1103s| 4900k| 206 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |2757k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1208.99/1209.46 c 1105s| 4910k| 201 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |2762k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1211.49/1211.99 c 1108s| 4920k| 206 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |2768k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1214.09/1214.51 c 1110s| 4930k| 197 | 925 | 0.0 |3736k| 263 | - | 297 | 100 | 0 | 0 | 6 |2773k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1216.39/1216.83 c 1112s| 4940k| 200 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2779k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1219.08/1219.53 c 1115s| 4950k| 202 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |2784k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1221.70/1222.16 c 1117s| 4960k| 200 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |2790k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1224.19/1224.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1224.19/1224.65 c 1119s| 4970k| 200 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2796k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1226.98/1227.40 c 1122s| 4980k| 196 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |2801k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1229.29/1229.71 c 1124s| 4990k| 204 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |2807k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1231.38/1231.81 c 1126s| 5000k| 202 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2811k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1233.68/1234.11 c 1128s| 5010k| 197 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |2817k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1236.08/1236.56 c 1130s| 5020k| 202 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2822k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1238.57/1239.02 c 1132s| 5030k| 202 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |2828k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1240.88/1241.38 c 1135s| 5040k| 205 | 925 | 0.0 |3749k| 263 | - | 297 | 100 | 0 | 0 | 6 |2834k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1243.27/1243.79 c 1137s| 5050k| 204 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |2839k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1245.88/1246.37 c 1139s| 5060k| 204 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |2845k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1248.27/1248.73 c 1141s| 5070k| 207 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |2850k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1250.97/1251.44 c 1144s| 5080k| 204 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2857k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1253.48/1254.00 c 1146s| 5090k| 204 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2862k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1256.17/1256.67 c 1148s| 5100k| 201 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |2868k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1258.67/1259.15 c 1151s| 5110k| 204 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |2874k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1261.47/1261.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1261.47/1261.91 c 1153s| 5120k| 202 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |2880k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1263.97/1264.47 c 1156s| 5130k| 200 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |2886k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1266.57/1267.02 c 1158s| 5140k| 210 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |2891k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1268.97/1269.47 c 1160s| 5150k| 200 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2897k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1271.57/1272.00 c 1162s| 5160k| 201 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |2902k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1273.97/1274.43 c 1165s| 5170k| 200 | 925 | 0.0 |3737k| 263 | - | 297 | 100 | 0 | 0 | 6 |2908k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1276.46/1276.93 c 1167s| 5180k| 198 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |2913k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1278.77/1279.30 c 1169s| 5190k| 202 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |2919k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1281.47/1281.90 c 1172s| 5200k| 198 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |2924k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1283.96/1284.45 c 1174s| 5210k| 213 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |2930k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1286.36/1286.82 c 1176s| 5220k| 197 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |2935k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1288.77/1289.25 c 1178s| 5230k| 201 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |2941k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1291.06/1291.59 c 1180s| 5240k| 200 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |2946k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1293.36/1293.87 c 1182s| 5250k| 208 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2951k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1295.56/1296.05 c 1184s| 5260k| 201 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |2956k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1297.76/1298.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1297.76/1298.24 c 1186s| 5270k| 201 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2962k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1300.06/1300.54 c 1188s| 5280k| 206 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |2967k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1302.65/1303.11 c 1191s| 5290k| 204 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |2972k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1304.95/1305.44 c 1193s| 5300k| 207 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |2978k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1307.36/1307.90 c 1195s| 5310k| 203 | 925 | 0.0 |3753k| 263 | - | 297 | 100 | 0 | 0 | 6 |2983k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1309.75/1310.25 c 1197s| 5320k| 207 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |2988k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1312.15/1312.65 c 1200s| 5330k| 210 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |2994k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1314.46/1314.92 c 1202s| 5340k| 205 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |2999k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1316.76/1317.23 c 1204s| 5350k| 205 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |3004k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1319.05/1319.58 c 1206s| 5360k| 208 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |3010k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1321.66/1322.17 c 1208s| 5370k| 204 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3016k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1323.96/1324.49 c 1210s| 5380k| 207 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3021k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1326.25/1326.78 c 1212s| 5390k| 206 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |3026k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1328.75/1329.23 c 1215s| 5400k| 200 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3032k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1331.04/1331.56 c 1217s| 5410k| 202 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3038k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1333.55/1334.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1333.55/1334.03 c 1219s| 5420k| 203 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |3043k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1335.74/1336.21 c 1221s| 5430k| 206 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |3048k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1337.94/1338.45 c 1223s| 5440k| 205 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |3054k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1340.14/1340.63 c 1225s| 5450k| 203 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |3059k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1342.45/1342.99 c 1227s| 5460k| 202 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |3064k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1345.04/1345.56 c 1229s| 5470k| 202 | 925 | 0.0 |3747k| 263 | - | 297 | 100 | 0 | 0 | 6 |3070k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1347.54/1348.00 c 1232s| 5480k| 200 | 925 | 0.0 |3748k| 263 | - | 297 | 100 | 0 | 0 | 6 |3075k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1349.84/1350.36 c 1234s| 5490k| 205 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |3081k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1352.24/1352.71 c 1236s| 5500k| 201 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |3086k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1354.54/1355.04 c 1238s| 5510k| 202 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3091k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1357.14/1357.62 c 1240s| 5520k| 201 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3097k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1359.54/1360.07 c 1243s| 5530k| 201 | 925 | 0.0 |3748k| 263 | - | 297 | 100 | 0 | 0 | 6 |3102k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1362.03/1362.56 c 1245s| 5540k| 197 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3108k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1364.44/1365.00 c 1247s| 5550k| 200 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |3113k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1366.94/1367.43 c 1249s| 5560k| 200 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3119k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1369.24/1369.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1369.24/1369.79 c 1252s| 5570k| 209 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |3125k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1371.64/1372.19 c 1254s| 5580k| 202 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3130k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1374.13/1374.61 c 1256s| 5590k| 202 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |3136k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1376.33/1376.87 c 1258s| 5600k| 198 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |3141k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1378.73/1379.22 c 1260s| 5610k| 201 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3146k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1381.03/1381.52 c 1262s| 5620k| 209 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3152k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1383.43/1383.91 c 1264s| 5630k| 202 | 925 | 0.0 |3751k| 263 | - | 297 | 100 | 0 | 0 | 6 |3157k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1385.73/1386.26 c 1267s| 5640k| 200 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |3163k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1388.02/1388.53 c 1269s| 5650k| 206 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3168k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1390.32/1390.87 c 1271s| 5660k| 202 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |3173k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1392.63/1393.13 c 1273s| 5670k| 202 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3178k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1394.82/1395.37 c 1275s| 5680k| 202 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |3183k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1397.33/1397.83 c 1277s| 5690k| 202 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3189k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1399.62/1400.14 c 1279s| 5700k| 198 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |3194k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1401.82/1402.38 c 1281s| 5710k| 198 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |3199k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1404.13/1404.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1404.13/1404.70 c 1283s| 5720k| 198 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |3205k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1406.62/1407.13 c 1286s| 5730k| 202 | 925 | 0.0 |3741k| 263 | - | 297 | 101 | 0 | 0 | 6 |3210k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1409.02/1409.54 c 1288s| 5740k| 203 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3216k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1411.52/1412.08 c 1290s| 5750k| 205 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |3222k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1414.13/1414.62 c 1293s| 5760k| 198 | 925 | 0.0 |3749k| 263 | - | 297 | 100 | 0 | 0 | 6 |3227k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1416.42/1416.95 c 1295s| 5770k| 207 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3233k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1418.82/1419.30 c 1297s| 5780k| 198 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3238k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1421.12/1421.64 c 1299s| 5790k| 203 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |3244k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1423.31/1423.85 c 1301s| 5800k| 197 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |3249k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1425.82/1426.35 c 1303s| 5810k| 206 | 925 | 0.0 |3748k| 263 | - | 297 | 100 | 0 | 0 | 6 |3255k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1428.32/1428.88 c 1306s| 5820k| 205 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3261k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1430.91/1431.42 c 1308s| 5830k| 205 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3266k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1433.51/1434.08 c 1310s| 5840k| 199 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |3272k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1435.91/1436.47 c 1312s| 5850k| 206 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |3278k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1438.31/1438.86 c 1315s| 5860k| 201 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3283k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1440.61/1441.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1440.61/1441.19 c 1317s| 5870k| 205 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |3289k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1443.11/1443.68 c 1319s| 5880k| 199 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3294k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1445.61/1446.10 c 1321s| 5890k| 202 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3300k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1448.21/1448.76 c 1324s| 5900k| 201 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3306k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1450.91/1451.45 c 1326s| 5910k| 204 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3312k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1453.61/1454.10 c 1329s| 5920k| 205 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3318k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1455.91/1456.42 c 1331s| 5930k| 205 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |3323k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1458.30/1458.88 c 1333s| 5940k| 206 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |3329k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1460.80/1461.32 c 1335s| 5950k| 203 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3334k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1463.20/1463.78 c 1337s| 5960k| 199 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3339k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1465.71/1466.24 c 1340s| 5970k| 198 | 925 | 0.0 |3738k| 263 | - | 297 | 100 | 0 | 0 | 6 |3345k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1468.01/1468.52 c 1342s| 5980k| 205 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3350k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1470.20/1470.78 c 1344s| 5990k| 201 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3355k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1472.70/1473.20 c 1346s| 6000k| 200 | 925 | 0.0 |3747k| 263 | - | 297 | 100 | 0 | 0 | 6 |3361k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1475.10/1475.63 c 1348s| 6010k| 208 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |3366k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1477.60/1478.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1477.60/1478.13 c 1350s| 6020k| 201 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |3372k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1480.30/1480.82 c 1353s| 6030k| 197 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3378k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1482.69/1483.28 c 1355s| 6040k| 200 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3383k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1485.19/1485.73 c 1357s| 6050k| 202 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3389k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1487.50/1488.07 c 1360s| 6060k| 204 | 925 | 0.0 |3742k| 263 | - | 297 | 101 | 0 | 0 | 6 |3394k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1490.00/1490.53 c 1362s| 6070k| 199 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |3400k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1492.20/1492.78 c 1364s| 6080k| 195 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |3405k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1494.59/1495.15 c 1366s| 6090k| 197 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3411k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1497.09/1497.65 c 1368s| 6100k| 200 | 925 | 0.0 |3749k| 263 | - | 297 | 100 | 0 | 0 | 6 |3417k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1499.80/1500.31 c 1371s| 6110k| 201 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |3422k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1502.29/1502.85 c 1373s| 6120k| 206 | 925 | 0.0 |3749k| 263 | - | 297 | 100 | 0 | 0 | 6 |3428k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1504.78/1505.35 c 1375s| 6130k| 200 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |3434k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1507.29/1507.85 c 1378s| 6140k| 203 | 925 | 0.0 |3749k| 263 | - | 297 | 100 | 0 | 0 | 6 |3439k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1509.88/1510.49 c 1380s| 6150k| 206 | 925 | 0.0 |3747k| 263 | - | 297 | 100 | 0 | 0 | 6 |3445k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1512.59/1513.11 c 1383s| 6160k| 201 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |3451k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1515.19/1515.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1515.19/1515.75 c 1385s| 6170k| 198 | 925 | 0.0 |3748k| 263 | - | 297 | 100 | 0 | 0 | 6 |3457k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1517.58/1518.18 c 1387s| 6180k| 199 | 925 | 0.0 |3749k| 263 | - | 297 | 100 | 0 | 0 | 6 |3462k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1519.98/1520.57 c 1389s| 6190k| 205 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |3468k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1522.59/1523.14 c 1392s| 6200k| 198 | 925 | 0.0 |3750k| 263 | - | 297 | 100 | 0 | 0 | 6 |3474k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1525.19/1525.71 c 1394s| 6210k| 196 | 925 | 0.0 |3748k| 263 | - | 297 | 100 | 0 | 0 | 6 |3479k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1527.58/1528.12 c 1396s| 6220k| 203 | 925 | 0.0 |3747k| 263 | - | 297 | 100 | 0 | 0 | 6 |3485k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1529.78/1530.33 c 1398s| 6230k| 208 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3490k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1531.98/1532.52 c 1400s| 6240k| 201 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3495k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1534.28/1534.80 c 1402s| 6250k| 201 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3500k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1536.48/1537.08 c 1404s| 6260k| 205 | 925 | 0.0 |3747k| 263 | - | 297 | 100 | 0 | 0 | 6 |3506k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1538.87/1539.45 c 1407s| 6270k| 204 | 925 | 0.0 |3748k| 263 | - | 297 | 100 | 0 | 0 | 6 |3511k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1541.28/1541.85 c 1409s| 6280k| 207 | 925 | 0.0 |3747k| 263 | - | 297 | 100 | 0 | 0 | 6 |3517k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1543.78/1544.39 c 1411s| 6290k| 202 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3523k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1546.09/1546.69 c 1413s| 6300k| 200 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |3529k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1548.37/1548.97 c 1415s| 6310k| 205 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3534k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1550.67/1551.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1550.67/1551.26 c 1417s| 6320k| 198 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |3540k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1553.07/1553.65 c 1420s| 6330k| 202 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3545k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1555.58/1556.14 c 1422s| 6340k| 208 | 925 | 0.0 |3748k| 263 | - | 297 | 100 | 0 | 0 | 6 |3551k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1557.87/1558.45 c 1424s| 6350k| 199 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |3557k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1560.17/1560.79 c 1426s| 6360k| 204 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |3562k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1562.57/1563.13 c 1428s| 6370k| 204 | 925 | 0.0 |3751k| 263 | - | 297 | 100 | 0 | 0 | 6 |3568k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1565.06/1565.62 c 1430s| 6380k| 203 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |3573k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1567.47/1568.06 c 1433s| 6390k| 209 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3579k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1569.86/1570.41 c 1435s| 6400k| 202 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3584k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1572.27/1572.90 c 1437s| 6410k| 201 | 925 | 0.0 |3749k| 263 | - | 297 | 100 | 0 | 0 | 6 |3590k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1574.86/1575.49 c 1439s| 6420k| 202 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3596k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1577.36/1577.94 c 1442s| 6430k| 198 | 925 | 0.0 |3748k| 263 | - | 297 | 100 | 0 | 0 | 6 |3602k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1579.66/1580.20 c 1444s| 6440k| 200 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |3607k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1581.86/1582.49 c 1446s| 6450k| 202 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3612k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1584.47/1585.02 c 1448s| 6460k| 197 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |3618k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1586.86/1587.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1586.86/1587.41 c 1450s| 6470k| 206 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |3624k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1589.16/1589.75 c 1452s| 6480k| 208 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3629k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1591.36/1591.97 c 1455s| 6490k| 204 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3635k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1593.56/1594.18 c 1457s| 6500k| 201 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |3640k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1595.86/1596.41 c 1459s| 6510k| 199 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |3645k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1597.96/1598.57 c 1461s| 6520k| 200 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3650k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1600.36/1600.93 c 1463s| 6530k| 198 | 925 | 0.0 |3747k| 263 | - | 297 | 100 | 0 | 0 | 6 |3655k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1602.55/1603.14 c 1465s| 6540k| 198 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3661k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1604.96/1605.54 c 1467s| 6550k| 200 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3666k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1607.46/1608.02 c 1469s| 6560k| 200 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3672k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1609.76/1610.34 c 1471s| 6570k| 210 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3678k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1612.06/1612.67 c 1473s| 6580k| 205 | 925 | 0.0 |3750k| 263 | - | 297 | 100 | 0 | 0 | 6 |3683k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1614.65/1615.24 c 1476s| 6590k| 206 | 925 | 0.0 |3748k| 263 | - | 297 | 100 | 0 | 0 | 6 |3689k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1617.35/1617.95 c 1478s| 6600k| 201 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3694k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1619.85/1620.44 c 1480s| 6610k| 202 | 925 | 0.0 |3747k| 263 | - | 297 | 100 | 0 | 0 | 6 |3700k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1622.45/1623.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1622.45/1623.00 c 1483s| 6620k| 204 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |3706k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1624.94/1625.54 c 1485s| 6630k| 203 | 925 | 0.0 |3747k| 263 | - | 297 | 100 | 0 | 0 | 6 |3711k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1627.55/1628.12 c 1487s| 6640k| 201 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |3717k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1630.15/1630.73 c 1490s| 6650k| 202 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3723k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1632.65/1633.26 c 1492s| 6660k| 201 | 925 | 0.0 |3748k| 263 | - | 297 | 100 | 0 | 0 | 6 |3729k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1635.34/1636.00 c 1495s| 6670k| 200 | 925 | 0.0 |3748k| 263 | - | 297 | 100 | 0 | 0 | 6 |3735k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1637.84/1638.46 c 1497s| 6680k| 203 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3741k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1640.44/1641.01 c 1499s| 6690k| 200 | 925 | 0.0 |3748k| 263 | - | 297 | 100 | 0 | 0 | 6 |3746k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1643.05/1643.64 c 1502s| 6700k| 207 | 925 | 0.0 |3749k| 263 | - | 297 | 100 | 0 | 0 | 6 |3752k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1645.84/1646.47 c 1504s| 6710k| 203 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3758k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1648.35/1648.94 c 1507s| 6720k| 203 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |3764k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1650.84/1651.49 c 1509s| 6730k| 198 | 925 | 0.0 |3741k| 263 | - | 297 | 100 | 0 | 0 | 6 |3769k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1653.34/1653.93 c 1511s| 6740k| 201 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3775k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1655.74/1656.36 c 1513s| 6750k| 203 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |3781k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1658.14/1658.74 c 1516s| 6760k| 201 | 925 | 0.0 |3747k| 263 | - | 297 | 100 | 0 | 0 | 6 |3786k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1660.63/1661.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1660.63/1661.26 c 1518s| 6770k| 202 | 925 | 0.0 |3749k| 263 | - | 297 | 100 | 0 | 0 | 6 |3792k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1663.14/1663.73 c 1520s| 6780k| 202 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3797k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1665.53/1666.11 c 1522s| 6790k| 201 | 925 | 0.0 |3751k| 263 | - | 297 | 100 | 0 | 0 | 6 |3803k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1667.93/1668.50 c 1524s| 6800k| 199 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |3808k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1670.13/1670.78 c 1526s| 6810k| 200 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |3813k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1673.04/1673.64 c 1529s| 6820k| 200 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3820k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1675.53/1676.14 c 1531s| 6830k| 202 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3825k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1678.23/1678.82 c 1534s| 6840k| 196 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |3831k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1680.54/1681.19 c 1536s| 6850k| 201 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3837k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1682.93/1683.58 c 1538s| 6860k| 210 | 925 | 0.0 |3747k| 263 | - | 297 | 100 | 0 | 0 | 6 |3842k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1685.32/1685.95 c 1540s| 6870k| 200 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |3848k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1687.83/1688.47 c 1543s| 6880k| 200 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3853k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1690.14/1690.78 c 1545s| 6890k| 198 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3859k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1692.82/1693.41 c 1547s| 6900k| 201 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3865k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1695.22/1695.89 c 1550s| 6910k| 196 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3870k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1697.73/1698.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1697.73/1698.34 c 1552s| 6920k| 197 | 925 | 0.0 |3747k| 263 | - | 297 | 100 | 0 | 0 | 6 |3876k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1700.13/1700.78 c 1554s| 6930k| 199 | 925 | 0.0 |3749k| 263 | - | 297 | 100 | 0 | 0 | 6 |3881k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1702.72/1703.34 c 1556s| 6940k| 198 | 925 | 0.0 |3743k| 263 | - | 297 | 101 | 0 | 0 | 6 |3887k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1705.22/1705.81 c 1559s| 6950k| 202 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3893k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1707.52/1708.12 c 1561s| 6960k| 199 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |3898k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1709.93/1710.55 c 1563s| 6970k| 203 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3904k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1712.31/1712.93 c 1565s| 6980k| 203 | 925 | 0.0 |3747k| 263 | - | 297 | 100 | 0 | 0 | 6 |3909k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1714.51/1715.14 c 1567s| 6990k| 199 | 925 | 0.0 |3741k| 263 | - | 297 | 101 | 0 | 0 | 6 |3915k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1716.82/1717.43 c 1569s| 7000k| 197 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3920k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1719.12/1719.76 c 1571s| 7010k| 199 | 925 | 0.0 |3750k| 263 | - | 297 | 100 | 0 | 0 | 6 |3926k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1721.41/1722.02 c 1573s| 7020k| 199 | 925 | 0.0 |3740k| 263 | - | 297 | 100 | 0 | 0 | 6 |3931k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1723.51/1724.12 c 1575s| 7030k| 207 | 925 | 0.0 |3748k| 263 | - | 297 | 100 | 0 | 0 | 6 |3936k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1725.82/1726.48 c 1577s| 7040k| 197 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3941k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1728.11/1728.71 c 1579s| 7050k| 203 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |3947k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1730.31/1730.99 c 1582s| 7060k| 196 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3952k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1732.42/1733.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1732.42/1733.10 c 1583s| 7070k| 203 | 925 | 0.0 |3742k| 263 | - | 297 | 100 | 0 | 0 | 6 |3957k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1734.72/1735.35 c 1585s| 7080k| 200 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |3962k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1737.11/1737.70 c 1588s| 7090k| 203 | 925 | 0.0 |3745k| 263 | - | 297 | 100 | 0 | 0 | 6 |3968k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1739.31/1739.98 c 1590s| 7100k| 213 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |3973k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1742.01/1742.64 c 1592s| 7110k| 200 | 925 | 0.0 |3752k| 263 | - | 297 | 100 | 0 | 0 | 6 |3979k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1744.40/1745.09 c 1594s| 7120k| 207 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |3985k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1747.01/1747.61 c 1597s| 7130k| 203 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |3990k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1749.41/1750.06 c 1599s| 7140k| 202 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |3996k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1751.71/1752.36 c 1601s| 7150k| 201 | 925 | 0.0 |3748k| 263 | - | 297 | 100 | 0 | 0 | 6 |4001k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1753.81/1754.48 c 1603s| 7160k| 199 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |4006k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1756.11/1756.76 c 1605s| 7170k| 203 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |4012k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1758.40/1759.03 c 1607s| 7180k| 200 | 925 | 0.0 |3743k| 263 | - | 297 | 100 | 0 | 0 | 6 |4017k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1760.60/1761.21 c 1609s| 7190k| 207 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |4022k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1763.00/1763.60 c 1611s| 7200k| 198 | 925 | 0.0 |3747k| 263 | - | 297 | 100 | 0 | 0 | 6 |4027k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1765.30/1765.99 c 1614s| 7210k| 202 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |4033k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1767.50/1768.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1767.50/1768.19 c 1616s| 7220k| 202 | 925 | 0.0 |3750k| 263 | - | 297 | 100 | 0 | 0 | 6 |4038k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1769.89/1770.56 c 1618s| 7230k| 204 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |4043k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1772.30/1772.99 c 1620s| 7240k| 201 | 925 | 0.0 |3747k| 263 | - | 297 | 100 | 0 | 0 | 6 |4049k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1774.71/1775.31 c 1622s| 7250k| 208 | 925 | 0.0 |3746k| 263 | - | 297 | 100 | 0 | 0 | 6 |4054k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1777.10/1777.77 c 1624s| 7260k| 199 | 925 | 0.0 |3747k| 263 | - | 297 | 100 | 0 | 0 | 6 |4060k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1779.49/1780.16 c 1626s| 7270k| 199 | 925 | 0.0 |3749k| 263 | - | 297 | 100 | 0 | 0 | 6 |4065k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1782.00/1782.69 c 1629s| 7280k| 206 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |4071k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1784.40/1785.08 c 1631s| 7290k| 204 | 925 | 0.0 |3750k| 263 | - | 297 | 100 | 0 | 0 | 6 |4076k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1786.90/1787.59 c 1633s| 7300k| 201 | 925 | 0.0 |3747k| 263 | - | 297 | 100 | 0 | 0 | 6 |4082k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1789.40/1790.09 c 1636s| 7310k| 205 | 925 | 0.0 |3744k| 263 | - | 297 | 100 | 0 | 0 | 6 |4088k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1791.99/1792.64 c 1638s| 7320k| 194 | 925 | 0.0 |3739k| 263 | - | 297 | 100 | 0 | 0 | 6 |4093k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1794.39/1795.01 c 1640s| 7330k| 204 | 925 | 0.0 |3747k| 263 | - | 297 | 100 | 0 | 0 | 6 |4098k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1796.80/1797.42 c 1642s| 7340k| 199 | 925 | 0.0 |3748k| 263 | - | 297 | 100 | 0 | 0 | 6 |4104k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1799.29/1799.99 c 1645s| 7350k| 204 | 925 | 0.0 |3750k| 263 | - | 297 | 100 | 0 | 0 | 6 |4109k| 20 | 1.667776e+01 | 1.900000e+01 | 13.92%
1800.00/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.61 c
1800.00/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.61 c Solving Time (sec) : 1645.21
1800.00/1800.61 c Solving Nodes : 7352085
1800.00/1800.61 c Primal Bound : +1.90000000000000e+01 (15 solutions)
1800.00/1800.61 c Dual Bound : +1.66777572115940e+01
1800.00/1800.61 c Gap : 13.92 %
1800.00/1800.61 s SATISFIABLE
1800.00/1800.61 v -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276
1800.00/1800.61 v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256
1800.00/1800.61 v -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 x240 -x239 x238 -x237 -x236 -x235 -x234
1800.00/1800.61 v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213
1800.00/1800.61 v -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193
1800.00/1800.61 v -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172
1800.00/1800.61 v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151
1800.00/1800.61 v -x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130
1800.00/1800.61 v -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 x113 -x112 x111 -x110 -x109 -x108
1800.00/1800.61 v -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84
1800.00/1800.61 v -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59
1800.00/1800.61 v -x58 -x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 x37 x36 -x35 -x34 -x33
1800.00/1800.61 v -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8
1800.00/1800.61 v -x7 -x6 -x5 -x4 -x3 -x2 x1
1800.00/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.61 c Solving Time : 1645.21
1800.00/1800.61 c Original Problem :
1800.00/1800.61 c Problem name : HOME/instance-2667631-1276592609.opb
1800.00/1800.61 c Variables : 297 (297 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.61 c Constraints : 100 initial, 100 maximal
1800.00/1800.61 c Presolved Problem :
1800.00/1800.61 c Problem name : t_HOME/instance-2667631-1276592609.opb
1800.00/1800.61 c Variables : 297 (297 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.61 c Constraints : 100 initial, 108 maximal
1800.00/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.61 c root node : - 0 - - 0 - - - -
1800.00/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.61 c integral : 0 0 0 1 0 0 0 0 0 2
1800.00/1800.61 c logicor : 100+ 7 12943911 0 0 2415332 16456041 0 0 0
1800.00/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.61 c integral : 0.37 0.00 0.00 0.37 0.00
1800.00/1800.61 c logicor : 449.89 0.00 449.89 0.00 0.00
1800.00/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.61 c vbounds : 11.06 2 0 0
1800.00/1800.61 c rootredcost : 10.22 0 0 0
1800.00/1800.61 c pseudoobj : 683.93 23126390 1695761 120873266
1800.00/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.61 c propagation : 618.91 4111093 4111093 4111093 130.9 31160 116.9 -
1800.00/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.61 c applied globally : - - - 31103 26.3 - - -
1800.00/1800.61 c applied locally : - - - 4080029 131.7 - - -
1800.00/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.61 c cut pool : 0.00 6 - - 4 - (maximal pool size: 327)
1800.00/1800.61 c redcost : 0.00 8 0 0 0 0
1800.00/1800.61 c impliedbounds : 0.00 8 0 0 0 0
1800.00/1800.61 c intobj : 0.00 0 0 0 0 0
1800.00/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.61 c gomory : 0.14 8 0 0 0 0
1800.00/1800.61 c strongcg : 0.14 8 0 0 331 0
1800.00/1800.61 c cmir : 0.03 8 0 0 0 0
1800.00/1800.61 c flowcover : 0.05 8 0 0 0 0
1800.00/1800.61 c clique : 0.00 1 0 0 0 0
1800.00/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.61 c mcf : 0.00 1 0 0 0 0
1800.00/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.61 c Pricers : Time Calls Vars
1800.00/1800.61 c problem variables: 0.00 0 0
1800.00/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.61 c relpscost : 0.37 1 0 0 0 0 2
1800.00/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.61 c inference : 91.49 5395590 0 0 0 0 10791180
1800.00/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.61 c random : 0.00 0 0 0 0 0 0
1800.00/1800.61 c Primal Heuristics : Time Calls Found
1800.00/1800.61 c LP solutions : 0.00 - 0
1800.00/1800.61 c pseudo solutions : 0.00 - 0
1800.00/1800.61 c crossover : 0.00 0 0
1800.00/1800.61 c oneopt : 3.80 3 1
1800.00/1800.61 c trivial : 0.00 2 3
1800.00/1800.61 c simplerounding : 0.00 7 7
1800.00/1800.61 c zirounding : 0.00 1 1
1800.00/1800.61 c rounding : 0.00 7 1
1800.00/1800.61 c shifting : 0.00 7 1
1800.00/1800.61 c intshifting : 0.00 0 0
1800.00/1800.61 c twoopt : 0.00 0 0
1800.00/1800.61 c fixandinfer : 0.00 0 0
1800.00/1800.61 c feaspump : 0.00 0 0
1800.00/1800.61 c coefdiving : 0.00 0 0
1800.00/1800.61 c pscostdiving : 0.00 0 0
1800.00/1800.61 c fracdiving : 0.00 0 0
1800.00/1800.61 c veclendiving : 0.00 0 0
1800.00/1800.61 c intdiving : 0.00 0 0
1800.00/1800.61 c actconsdiving : 0.00 0 0
1800.00/1800.61 c objpscostdiving : 0.00 0 0
1800.00/1800.61 c rootsoldiving : 0.00 0 0
1800.00/1800.61 c linesearchdiving : 0.00 0 0
1800.00/1800.61 c guideddiving : 0.00 0 0
1800.00/1800.61 c octane : 0.00 0 0
1800.00/1800.61 c rens : 0.84 1 1
1800.00/1800.61 c rins : 0.00 0 0
1800.00/1800.61 c localbranching : 0.00 0 0
1800.00/1800.61 c mutation : 0.00 0 0
1800.00/1800.61 c dins : 0.00 0 0
1800.00/1800.61 c undercover : 0.00 0 0
1800.00/1800.61 c nlp : 3.78 0 0
1800.00/1800.61 c trysol : 3.49 0 0
1800.00/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.61 c dual LP : 0.09 7 925 132.14 10277.78
1800.00/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.61 c strong branching : 0.37 20 2685 134.25 7256.76
1800.00/1800.61 c (at root node) : - 20 2685 134.25 -
1800.00/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.61 c B&B Tree :
1800.00/1800.61 c number of runs : 1
1800.00/1800.61 c nodes : 7352085
1800.00/1800.61 c nodes (total) : 7352085
1800.00/1800.61 c nodes left : 204
1800.00/1800.61 c max depth : 263
1800.00/1800.61 c max depth (total): 263
1800.00/1800.61 c backtracks : 2277364 (31.0%)
1800.00/1800.61 c delayed cutoffs : 3438894
1800.00/1800.61 c repropagations : 6054506 (77031676 domain reductions, 2154599 cutoffs)
1800.00/1800.61 c avg switch length: 2.58
1800.00/1800.61 c switching time : 120.33
1800.00/1800.61 c Solution :
1800.00/1800.61 c Solutions found : 15 (6 improvements)
1800.00/1800.61 c First Solution : +2.97000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.00/1800.61 c Primal Bound : +1.90000000000000e+01 (in run 1, after 1 nodes, 1.26 seconds, depth 0, found by <rens>)
1800.00/1800.61 c Dual Bound : +1.66777572115940e+01
1800.00/1800.61 c Gap : 13.92 %
1800.00/1800.61 c Root Dual Bound : +1.64938152016486e+01
1800.00/1800.61 c Root Iterations : 925
1800.00/1800.62 c Time complete: 1800.01.
OK 19
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667631-1276592609/watcher-2667631-1276592609 -o /tmp/evaluation-result-2667631-1276592609/solver-2667631-1276592609 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667631-1276592609.opb -t 1800 -m 1800 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 1.03 3/106 8835 /proc/meminfo: memFree=1557028/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=6696 CPUtime=0 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 1000 0 0 0 0 0 0 0 20 0 1 0 553204 6856704 920 1992294400 4194304 8223781 140736391178752 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8835/statm: 1931 928 348 984 0 944 0 [startup+0.097897 s] /proc/loadavg: 0.92 0.98 1.03 3/106 8835 /proc/meminfo: memFree=1557028/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=13676 CPUtime=0.09 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 3463 0 0 0 8 1 0 0 20 0 1 0 553204 14004224 2500 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 3419 2500 530 984 0 2432 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13676 [startup+0.100898 s] /proc/loadavg: 0.92 0.98 1.03 3/106 8835 /proc/meminfo: memFree=1557028/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=13676 CPUtime=0.09 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 3463 0 0 0 8 1 0 0 20 0 1 0 553204 14004224 2500 1992294400 4194304 8223781 140736391178752 18446744073709551615 7356266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 3419 2500 530 984 0 2432 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13676 [startup+0.300932 s] /proc/loadavg: 0.92 0.98 1.03 3/106 8835 /proc/meminfo: memFree=1557028/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=17588 CPUtime=0.29 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 4497 0 0 0 28 1 0 0 20 0 1 0 553204 18010112 3534 1992294400 4194304 8223781 140736391178752 18446744073709551615 6044390 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 4397 3534 554 984 0 3410 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17588 [startup+0.701002 s] /proc/loadavg: 0.92 0.98 1.03 3/106 8835 /proc/meminfo: memFree=1557028/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=27288 CPUtime=0.69 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 7886 0 0 0 65 4 0 0 21 0 1 0 553204 27942912 5627 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 6822 5627 575 984 0 5835 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27288 [startup+1.50114 s] /proc/loadavg: 0.92 0.98 1.03 2/107 8836 /proc/meminfo: memFree=1536684/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=18044 CPUtime=1.49 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 7935 0 0 0 140 9 0 0 23 0 1 0 553204 18477056 3678 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 4511 3678 583 984 0 3524 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18044 [startup+3.10142 s] /proc/loadavg: 0.92 0.98 1.03 2/107 8836 /proc/meminfo: memFree=1543876/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=18972 CPUtime=3.09 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8184 0 0 0 288 21 0 0 25 0 1 0 553204 19427328 3902 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 4743 3902 586 984 0 3756 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18972 [startup+6.30097 s] /proc/loadavg: 0.93 0.98 1.03 2/107 8836 /proc/meminfo: memFree=1543132/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=19244 CPUtime=6.28 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8240 0 0 0 581 47 0 0 25 0 1 0 553204 19705856 3958 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 4811 3958 586 984 0 3824 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 19244 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 1.03 2/107 8836 /proc/meminfo: memFree=1542884/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=19516 CPUtime=12.69 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8313 0 0 0 1168 101 0 0 25 0 1 0 553204 19984384 4031 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 4879 4031 586 984 0 3892 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19516 [startup+25.5003 s] /proc/loadavg: 0.95 0.98 1.03 2/107 8836 /proc/meminfo: memFree=1542512/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=19784 CPUtime=25.49 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8382 0 0 0 2341 208 0 0 25 0 1 0 553204 20258816 4100 1992294400 4194304 8223781 140736391178752 18446744073709551615 4434047 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 4946 4100 586 984 0 3959 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19784 [startup+51.1007 s] /proc/loadavg: 0.96 0.98 1.02 2/107 8836 /proc/meminfo: memFree=1542512/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=19916 CPUtime=51.08 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8424 0 0 0 4689 419 0 0 25 0 1 0 553204 20393984 4142 1992294400 4194304 8223781 140736391178752 18446744073709551615 4434043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 4979 4142 586 984 0 3992 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19916 [startup+102.308 s] /proc/loadavg: 0.98 0.98 1.02 2/107 8838 /proc/meminfo: memFree=1542264/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20180 CPUtime=102.27 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8496 0 0 0 9370 857 0 0 25 0 1 0 553204 20664320 4214 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5045 4214 586 984 0 4058 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 20180 [startup+162.301 s] /proc/loadavg: 0.99 0.98 1.01 2/107 8840 /proc/meminfo: memFree=1541892/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20444 CPUtime=162.24 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8542 0 0 0 14842 1382 0 0 25 0 1 0 553204 20934656 4260 1992294400 4194304 8223781 140736391178752 18446744073709551615 4240461 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5111 4260 586 984 0 4124 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 20444 [startup+222.301 s] /proc/loadavg: 0.99 0.98 1.01 2/107 8842 /proc/meminfo: memFree=1541768/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20444 CPUtime=222.22 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8555 0 0 0 20347 1875 0 0 25 0 1 0 553204 20934656 4273 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5111 4273 586 984 0 4124 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 20444 [startup+282.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8844 /proc/meminfo: memFree=1541644/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20576 CPUtime=282.2 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8574 0 0 0 25818 2402 0 0 25 0 1 0 553204 21069824 4292 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5144 4292 586 984 0 4157 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 20576 [startup+342.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8844 /proc/meminfo: memFree=1541520/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20576 CPUtime=342.18 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8583 0 0 0 31303 2915 0 0 25 0 1 0 553204 21069824 4301 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5144 4301 586 984 0 4157 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 20576 [startup+402.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8846 /proc/meminfo: memFree=1541272/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20708 CPUtime=402.16 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8598 0 0 0 36784 3432 0 0 25 0 1 0 553204 21204992 4316 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5177 4316 586 984 0 4190 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 20708 [startup+462.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8848 /proc/meminfo: memFree=1541148/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20708 CPUtime=462.14 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8609 0 0 0 42280 3934 0 0 25 0 1 0 553204 21204992 4327 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5177 4327 586 984 0 4190 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 20708 [startup+522.302 s] /proc/loadavg: 1.07 1.00 1.00 2/107 8850 /proc/meminfo: memFree=1541024/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20708 CPUtime=522.12 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8621 0 0 0 47760 4452 0 0 25 0 1 0 553204 21204992 4339 1992294400 4194304 8223781 140736391178752 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5177 4339 586 984 0 4190 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 20708 [startup+582.301 s] /proc/loadavg: 1.02 1.00 1.00 2/107 8852 /proc/meminfo: memFree=1540776/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20708 CPUtime=582.1 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8623 0 0 0 53249 4961 0 0 25 0 1 0 553204 21204992 4341 1992294400 4194304 8223781 140736391178752 18446744073709551615 5918152 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5177 4341 586 984 0 4190 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 20708 [startup+642.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 8852 /proc/meminfo: memFree=1540652/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20840 CPUtime=642.08 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8633 0 0 0 58741 5467 0 0 25 0 1 0 553204 21340160 4351 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5210 4351 586 984 0 4223 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 20840 [startup+702.301 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8858 /proc/meminfo: memFree=1540280/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20840 CPUtime=822.02 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8653 0 0 0 75186 7016 0 0 25 0 1 0 553204 21340160 4371 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5210 4371 586 984 0 4223 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 20840 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8860 /proc/meminfo: memFree=1540156/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20840 CPUtime=882 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8657 0 0 0 80669 7531 0 0 25 0 1 0 553204 21340160 4375 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5210 4375 586 984 0 4223 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 20840 [startup+942.301 s] /proc/loadavg: 1.07 1.02 1.00 2/107 8860 /proc/meminfo: memFree=1540032/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20840 CPUtime=941.98 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8662 0 0 0 86143 8055 0 0 25 0 1 0 553204 21340160 4380 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5210 4380 586 984 0 4223 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 20840 [startup+1002.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 8862 /proc/meminfo: memFree=1539908/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20840 CPUtime=1001.96 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8662 0 0 0 91613 8583 0 0 25 0 1 0 553204 21340160 4380 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5210 4380 586 984 0 4223 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 20840 [startup+1062.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 8864 /proc/meminfo: memFree=1539784/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20840 CPUtime=1061.94 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8662 0 0 0 97107 9087 0 0 25 0 1 0 553204 21340160 4380 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5210 4380 586 984 0 4223 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 20840 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8866 /proc/meminfo: memFree=1539660/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20972 CPUtime=1121.92 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8665 0 0 0 102575 9617 0 0 25 0 1 0 553204 21475328 4383 1992294400 4194304 8223781 140736391178752 18446744073709551615 5917883 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5243 4383 586 984 0 4256 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 20972 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8868 /proc/meminfo: memFree=1539536/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20972 CPUtime=1181.89 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8668 0 0 0 108054 10135 0 0 25 0 1 0 553204 21475328 4386 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5243 4386 586 984 0 4256 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 20972 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8868 /proc/meminfo: memFree=1539288/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20972 CPUtime=1241.88 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8675 0 0 0 113538 10650 0 0 25 0 1 0 553204 21475328 4393 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5243 4393 586 984 0 4256 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 20972 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8870 /proc/meminfo: memFree=1539164/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20972 CPUtime=1301.86 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8679 0 0 0 119010 11176 0 0 25 0 1 0 553204 21475328 4397 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5243 4397 586 984 0 4256 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 20972 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8872 /proc/meminfo: memFree=1539164/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20972 CPUtime=1361.83 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8680 0 0 0 124478 11705 0 0 25 0 1 0 553204 21475328 4398 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5243 4398 586 984 0 4256 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 20972 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8874 /proc/meminfo: memFree=1539040/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20972 CPUtime=1421.82 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8684 0 0 0 129953 12229 0 0 25 0 1 0 553204 21475328 4402 1992294400 4194304 8223781 140736391178752 18446744073709551615 5918697 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5243 4402 586 984 0 4256 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 20972 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8876 /proc/meminfo: memFree=1538916/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20972 CPUtime=1481.8 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8685 0 0 0 135425 12755 0 0 25 0 1 0 553204 21475328 4403 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5243 4403 586 984 0 4256 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 20972 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8876 /proc/meminfo: memFree=1538792/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=20972 CPUtime=1541.77 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8691 0 0 0 140920 13257 0 0 25 0 1 0 553204 21475328 4409 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5243 4409 586 984 0 4256 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 20972 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8878 /proc/meminfo: memFree=1538668/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=21104 CPUtime=1601.76 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8698 0 0 0 146397 13779 0 0 25 0 1 0 553204 21610496 4416 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5276 4416 586 984 0 4289 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 21104 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8880 /proc/meminfo: memFree=1538544/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=21104 CPUtime=1661.73 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8700 0 0 0 151876 14297 0 0 25 0 1 0 553204 21610496 4418 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5276 4418 586 984 0 4289 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 21104 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8882 /proc/meminfo: memFree=1538420/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=21104 CPUtime=1721.72 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8703 0 0 0 157356 14816 0 0 25 0 1 0 553204 21610496 4421 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5276 4421 586 984 0 4289 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 21104 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8887 /proc/meminfo: memFree=1537924/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=21104 CPUtime=1781.7 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8705 0 0 0 162843 15327 0 0 25 0 1 0 553204 21610496 4423 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5276 4423 586 984 0 4289 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 21104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8887 /proc/meminfo: memFree=1537924/2059040 swapFree=4192956/4192956 [pid=8835] ppid=8833 vsize=21104 CPUtime=1800 /proc/8835/stat : 8835 (pbscip.linux.x8) R 8833 8835 2337 0 -1 4202496 8705 0 0 0 164521 15479 0 0 25 0 1 0 553204 21610496 4423 1992294400 4194304 8223781 140736391178752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8835/statm: 5276 4423 586 984 0 4289 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 21104 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.02 CPU user time (s): 1645.22 CPU system time (s): 154.799 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (KiB): 27444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1645.22 system time used= 154.799 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8711 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= 2 involuntary context switches= 26339 runsolver used 3.24751 second user time and 8.27474 second system time The end
Begin job on node044 at 2010-06-15 11:03:29 IDJOB=2667631 IDBENCH=2859 IDSOLVER=1169 FILE ID=node044/2667631-1276592609 PBS_JOBID= 11173567 Free space on /tmp= 62588 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_14.r.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667631-1276592609/watcher-2667631-1276592609 -o /tmp/evaluation-result-2667631-1276592609/solver-2667631-1276592609 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667631-1276592609.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f1b978cb920387bc2a07b8b1a528a68d RANDOM SEED=1462299425 node044.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.266 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.266 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1557680 kB Buffers: 37924 kB Cached: 337644 kB SwapCached: 0 kB Active: 174916 kB Inactive: 259964 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1557680 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4504 kB Writeback: 0 kB AnonPages: 59276 kB Mapped: 15360 kB Slab: 44644 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179916 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62584 MiB End job on node044 at 2010-06-15 11:33:32