Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT | 66 | 1789.75 | 1790.03 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-ex5.pi.opb |
| MD5SUM | f97e3571862917880e13c63c8ac169f9 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 65 |
| Best CPU time to get the best result obtained on this benchmark | 5.82011 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 65 |
| Optimality of the best value was proved | YES |
| Number of variables | 2459 |
| Total number of constraints | 873 |
| Number of constraints which are clauses | 873 |
| 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 | 1 |
| Maximum length of a constraint | 146 |
| Number of terms in the objective function | 2459 |
| 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 | 2459 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 2459 |
| Number of bits of the biggest sum of numbers | 12 |
| 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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-3732237-1338691132.opb>
0.00/0.04 c original problem has 2459 variables (2459 bin, 0 int, 0 impl, 0 cont) and 873 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.06 o 2459
0.00/0.06 c feasible solution found by trivial heuristic, objective value 2.459000e+03
0.00/0.06 c presolving:
0.00/0.07 c (round 1) 28 del vars, 28 del conss, 28 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.08 c (round 2) 28 del vars, 106 del conss, 28 chg bounds, 66 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.10 c (round 3) 36 del vars, 106 del conss, 28 chg bounds, 66 chg sides, 0 chg coeffs, 767 upgd conss, 0 impls, 0 clqs
0.09/0.11 c (0.1s) probing: 101/2423 (4.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.11 c presolving (4 rounds):
0.09/0.11 c 36 deleted vars, 106 deleted constraints, 28 tightened bounds, 0 added holes, 66 changed sides, 0 changed coefficients
0.09/0.11 c 0 implications, 0 cliques
0.09/0.11 c presolved problem has 2423 variables (2423 bin, 0 int, 0 impl, 0 cont) and 767 constraints
0.09/0.11 c 767 constraints of type <logicor>
0.09/0.11 c transformed objective value is always integral (scale: 1)
0.09/0.11 c Presolving Time: 0.06
0.09/0.11 c - non default parameters ----------------------------------------------------------------------
0.09/0.11 c # SCIP version 1.2.1.3
0.09/0.11 c
0.09/0.11 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c conflict/interconss = 0
0.09/0.11 c
0.09/0.11 c # should binary conflicts be preferred?
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c conflict/preferbinary = TRUE
0.09/0.11 c
0.09/0.11 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.11 c constraints/agelimit = 1
0.09/0.11 c
0.09/0.11 c # should enforcement of pseudo solution be disabled?
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/disableenfops = TRUE
0.09/0.11 c
0.09/0.11 c # frequency for displaying node information lines
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11 c display/freq = 10000
0.09/0.11 c
0.09/0.11 c # maximal time in seconds to run
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/time = 1789.97
0.09/0.11 c
0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/memory = 13950
0.09/0.11 c
0.09/0.11 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11 c lp/solvefreq = 0
0.09/0.11 c
0.09/0.11 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.09/0.11 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.11 c lp/pricing = a
0.09/0.11 c
0.09/0.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.11 c # [type: int, range: [1,2], default: 1]
0.09/0.11 c timing/clocktype = 2
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify inequalities
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/linear/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/indicator/addCouplingCons = TRUE
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify knapsacks
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # priority of node selection rule <dfs> in standard mode
0.09/0.11 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.11 c nodeselection/dfs/stdpriority = 1000000
0.09/0.11 c
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c start solving
0.09/0.11 c
0.09/0.12 o 2451
0.09/0.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.12 c t 0.1s| 1 | 0 | 0 | - |6429k| 0 | - |2423 | 767 | 0 | 0 | 0 | 0 | 0 | -- | 2.451000e+03 | Inf
0.09/0.13 o 100
0.09/0.13 c b 0.1s| 1 | 0 | 0 | - |9054k| 0 | - |2423 | 767 |2423 | 767 | 0 | 0 | 0 | -- | 1.000000e+02 | Inf
0.29/0.37 c 0.3s| 1 | 0 | 2050 | - |9019k| 0 | 135 |2423 | 767 |2423 | 767 | 0 | 0 | 0 | 6.356825e+01 | 1.000000e+02 | 57.31%
0.79/0.81 c 0.8s| 1 | 0 | 2358 | - | 21M| 0 | 137 |2423 | 767 |2423 | 768 | 1 | 0 | 0 | 6.361820e+01 | 1.000000e+02 | 57.19%
0.89/0.92 c 0.9s| 1 | 0 | 2709 | - | 21M| 0 | 132 |2423 | 767 |2423 | 769 | 2 | 0 | 0 | 6.364954e+01 | 1.000000e+02 | 57.11%
1.28/1.30 o 66
1.28/1.30 c E 1.3s| 1 | 0 | 2709 | - | 21M| 0 | 132 |2423 | 767 |2423 | 769 | 2 | 0 | 0 | 6.364954e+01 | 6.600000e+01 | 3.69%
1.28/1.30 c 1.3s| 1 | 0 | 2709 | - | 21M| 0 | 132 |2423 | 767 |2423 | 769 | 2 | 0 | 0 | 6.364954e+01 | 6.600000e+01 | 3.69%
5.38/5.42 c 5.4s| 1 | 2 | 2709 | - | 21M| 0 | 132 |2423 | 767 |2423 | 769 | 2 | 0 | 37 | 6.364954e+01 | 6.600000e+01 | 3.69%
9.08/9.11 c 9.1s| 10000 | 1855 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |4940 | 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
13.78/13.85 c 13.8s| 20000 | 1811 | 2709 | 0.0 | 23M|2255 | - |2423 | 775 | 0 | 0 | 2 | 10k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
18.58/18.69 c 18.6s| 30000 | 1804 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 16k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
23.48/23.54 c 23.5s| 40000 | 1794 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 22k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
28.38/28.43 c 28.4s| 50000 | 1787 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 28k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
33.28/33.32 c 33.3s| 60000 | 1781 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 34k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
38.18/38.28 c 38.2s| 70000 | 1770 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 | 41k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
43.08/43.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.08/43.15 c 43.1s| 80000 | 1763 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 47k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
47.97/48.05 c 48.0s| 90000 | 1756 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 | 53k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
52.87/52.99 c 52.9s|100000 | 1748 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 | 59k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
57.77/57.81 c 57.8s|110000 | 1739 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 65k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
62.47/62.52 c 62.5s|120000 | 1731 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 71k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
67.17/67.21 c 67.2s|130000 | 1726 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 77k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
71.66/71.77 c 71.7s|140000 | 1728 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 83k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
76.06/76.17 c 76.1s|150000 | 1724 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 89k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
80.06/80.17 c 80.1s|160000 | 1718 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 95k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
84.67/84.75 c 84.7s|170000 | 1718 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 101k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
89.06/89.15 c 89.1s|180000 | 1716 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 107k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
93.76/93.80 c 93.8s|190000 | 1716 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 113k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
98.36/98.41 c 98.4s|200000 | 1715 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 119k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
102.76/102.87 c 103s|210000 | 1708 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 | 125k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
107.16/107.27 c 107s|220000 | 1707 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 | 131k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
111.66/111.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.66/111.70 c 112s|230000 | 1706 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 137k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
115.65/115.73 c 116s|240000 | 1712 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 144k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
119.75/119.84 c 120s|250000 | 1706 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 150k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
124.05/124.18 c 124s|260000 | 1700 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 | 156k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
128.35/128.42 c 128s|270000 | 1702 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 162k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
132.55/132.63 c 133s|280000 | 1702 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 169k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
137.05/137.18 c 137s|290000 | 1700 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 174k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
141.35/141.49 c 141s|300000 | 1698 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 | 181k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
145.75/145.83 c 146s|310000 | 1702 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 187k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
149.95/150.04 c 150s|320000 | 1700 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 193k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
154.35/154.43 c 154s|330000 | 1696 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 199k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
158.75/158.80 c 159s|340000 | 1699 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 205k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
163.45/163.58 c 164s|350000 | 1694 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 211k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
168.15/168.29 c 168s|360000 | 1697 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 217k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
172.45/172.52 c 172s|370000 | 1691 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 | 223k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
176.55/176.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.55/176.60 c 177s|380000 | 1694 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 229k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
181.04/181.13 c 181s|390000 | 1694 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 235k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
185.44/185.52 c 185s|400000 | 1690 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 241k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
190.04/190.11 c 190s|410000 | 1689 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 247k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
194.24/194.37 c 194s|420000 | 1690 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 253k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
198.64/198.78 c 199s|430000 | 1687 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 259k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
203.04/203.14 c 203s|440000 | 1690 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 266k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
207.04/207.11 c 207s|450000 | 1685 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 | 272k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
211.54/211.69 c 212s|460000 | 1684 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 278k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
215.94/216.08 c 216s|470000 | 1687 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 | 284k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
220.74/220.82 c 221s|480000 | 1687 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 290k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
225.14/225.26 c 225s|490000 | 1683 | 2709 | 0.0 | 23M|2255 | - |2423 | 776 | 0 | 0 | 2 | 296k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
229.54/229.70 c 230s|500000 | 1682 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 | 302k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
234.24/234.33 c 234s|510000 | 1684 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 | 308k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
238.94/239.01 c 239s|520000 | 1678 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 | 314k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
243.24/243.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.24/243.38 c 243s|530000 | 1681 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 320k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
247.83/247.92 c 248s|540000 | 1682 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 326k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
252.63/252.74 c 253s|550000 | 1679 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 333k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
256.93/257.09 c 257s|560000 | 1680 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 339k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
261.43/261.50 c 261s|570000 | 1676 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 345k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
265.83/265.97 c 266s|580000 | 1677 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 350k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
270.23/270.32 c 270s|590000 | 1676 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 | 356k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
274.73/274.88 c 275s|600000 | 1673 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 | 362k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
279.34/279.47 c 279s|610000 | 1675 | 2709 | 0.0 | 23M|2255 | - |2423 | 776 | 0 | 0 | 2 | 368k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
283.53/283.67 c 284s|620000 | 1675 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 374k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
288.03/288.10 c 288s|630000 | 1679 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 379k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
292.73/292.80 c 293s|640000 | 1671 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 385k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
296.93/297.09 c 297s|650000 | 1671 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 391k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
301.63/301.75 c 302s|660000 | 1675 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 397k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
306.33/306.41 c 306s|670000 | 1670 | 2709 | 0.0 | 23M|2255 | - |2423 | 775 | 0 | 0 | 2 | 402k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
310.52/310.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
310.52/310.66 c 311s|680000 | 1676 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 408k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
315.02/315.19 c 315s|690000 | 1672 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 414k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
320.04/320.15 c 320s|700000 | 1675 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 420k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
324.63/324.76 c 325s|710000 | 1676 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 426k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
329.03/329.19 c 329s|720000 | 1670 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 432k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
333.63/333.75 c 334s|730000 | 1667 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 437k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
338.33/338.48 c 338s|740000 | 1669 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 443k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
342.73/342.83 c 343s|750000 | 1664 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 449k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
346.93/347.08 c 347s|760000 | 1666 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 455k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
351.33/351.49 c 351s|770000 | 1667 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 461k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
355.93/356.05 c 356s|780000 | 1666 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 467k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
360.53/360.65 c 361s|790000 | 1664 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 473k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
365.02/365.11 c 365s|800000 | 1662 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 | 479k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
369.72/369.83 c 370s|810000 | 1660 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 485k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
374.32/374.48 c 374s|820000 | 1660 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 491k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
379.02/379.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
379.02/379.13 c 379s|830000 | 1659 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 | 496k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
383.42/383.50 c 383s|840000 | 1659 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 502k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
387.82/387.97 c 388s|850000 | 1665 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 508k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
392.52/392.62 c 393s|860000 | 1658 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 514k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
397.03/397.18 c 397s|870000 | 1659 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 520k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
401.42/401.56 c 402s|880000 | 1664 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 526k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
406.12/406.24 c 406s|890000 | 1660 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 | 531k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
410.72/410.87 c 411s|900000 | 1663 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 537k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
415.42/415.54 c 416s|910000 | 1656 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 | 543k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
419.82/419.90 c 420s|920000 | 1655 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 549k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
424.52/424.67 c 425s|930000 | 1657 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 555k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
428.92/429.09 c 429s|940000 | 1656 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 561k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
433.32/433.49 c 433s|950000 | 1654 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 567k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
437.91/438.09 c 438s|960000 | 1652 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 573k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
442.31/442.48 c 442s|970000 | 1652 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 579k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
446.81/446.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.81/446.98 c 447s|980000 | 1654 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 585k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
451.21/451.34 c 451s|990000 | 1652 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 591k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
456.31/456.40 c 456s| 1000k| 1649 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 597k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
460.91/461.05 c 461s| 1010k| 1651 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 603k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
465.51/465.63 c 466s| 1020k| 1647 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 609k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
469.61/469.80 c 470s| 1030k| 1650 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 615k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
474.21/474.34 c 474s| 1040k| 1647 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 622k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
478.71/478.85 c 479s| 1050k| 1650 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 628k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
483.20/483.34 c 483s| 1060k| 1644 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 634k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
487.80/487.91 c 488s| 1070k| 1648 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 640k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
492.50/492.60 c 493s| 1080k| 1646 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 646k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
497.40/497.56 c 498s| 1090k| 1644 | 2709 | 0.0 | 23M|2255 | - |2423 | 776 | 0 | 0 | 2 | 652k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
501.70/501.83 c 502s| 1100k| 1642 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 658k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
506.01/506.19 c 506s| 1110k| 1643 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 | 664k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
510.50/510.60 c 511s| 1120k| 1643 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 669k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
515.00/515.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
515.00/515.15 c 515s| 1130k| 1647 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 675k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
519.70/519.82 c 520s| 1140k| 1645 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 680k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
524.20/524.32 c 524s| 1150k| 1644 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 | 685k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
528.90/529.06 c 529s| 1160k| 1712 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 691k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
533.60/533.70 c 534s| 1170k| 1646 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 696k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
538.10/538.25 c 538s| 1180k| 1647 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 702k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
542.70/542.89 c 543s| 1190k| 1647 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 | 707k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
547.29/547.44 c 547s| 1200k| 1649 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 713k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
551.89/552.06 c 552s| 1210k| 1646 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 719k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
556.50/556.62 c 557s| 1220k| 1639 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 | 724k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
560.79/560.99 c 561s| 1230k| 1650 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 | 729k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
564.99/565.12 c 565s| 1240k| 1651 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 735k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
569.59/569.72 c 570s| 1250k| 1649 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 | 740k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
574.20/574.35 c 574s| 1260k| 1641 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 746k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
578.79/578.99 c 579s| 1270k| 1646 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 751k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
583.29/583.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
583.29/583.47 c 583s| 1280k| 1645 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 757k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
587.99/588.16 c 588s| 1290k| 1643 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 762k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
592.39/592.55 c 593s| 1300k| 1643 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 767k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
596.79/596.91 c 597s| 1310k| 1641 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 773k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
601.19/601.34 c 601s| 1320k| 1646 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 | 778k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
606.09/606.28 c 606s| 1330k| 1644 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 | 784k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
610.99/611.15 c 611s| 1340k| 1648 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 789k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
615.78/615.92 c 616s| 1350k| 1645 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 795k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
620.39/620.51 c 620s| 1360k| 1644 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 800k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
625.08/625.26 c 625s| 1370k| 1644 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 | 806k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
629.78/629.99 c 630s| 1380k| 1641 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 | 811k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
634.69/634.84 c 635s| 1390k| 1641 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 | 817k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
640.09/640.21 c 640s| 1400k| 1642 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 822k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
644.78/644.93 c 645s| 1410k| 1643 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 828k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
649.48/649.69 c 650s| 1420k| 1641 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 834k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
654.08/654.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
654.08/654.20 c 654s| 1430k| 1648 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 840k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
658.28/658.44 c 658s| 1440k| 1641 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 | 846k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
662.88/663.07 c 663s| 1450k| 1642 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 | 851k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
667.28/667.48 c 667s| 1460k| 1644 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 | 857k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
671.88/672.00 c 672s| 1470k| 1639 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 | 863k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
676.18/676.39 c 676s| 1480k| 1640 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 869k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
680.57/680.71 c 681s| 1490k| 1643 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 | 875k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
684.77/684.94 c 685s| 1500k| 1645 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 | 880k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
689.27/689.45 c 689s| 1510k| 1642 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 | 886k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
693.77/693.92 c 694s| 1520k| 1638 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 | 892k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
697.87/698.06 c 698s| 1530k| 1646 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 897k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
702.67/702.81 c 703s| 1540k| 1648 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 903k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
707.47/707.66 c 708s| 1550k| 1644 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 | 909k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
711.97/712.13 c 712s| 1560k| 1639 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 914k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
716.08/716.29 c 716s| 1570k| 1640 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 920k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
721.07/721.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
721.07/721.24 c 721s| 1580k| 1639 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 926k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
725.47/725.60 c 726s| 1590k| 1640 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 932k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
729.87/730.09 c 730s| 1600k| 1642 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 938k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
734.37/734.50 c 734s| 1610k| 1640 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 | 944k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
738.77/738.93 c 739s| 1620k| 1643 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 949k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
743.17/743.35 c 743s| 1630k| 1640 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 | 955k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
747.46/747.66 c 748s| 1640k| 1638 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 | 961k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
751.86/752.06 c 752s| 1650k| 1642 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 | 967k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
756.46/756.66 c 757s| 1660k| 1640 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 972k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
761.46/761.65 c 762s| 1670k| 1641 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 978k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
765.66/765.86 c 766s| 1680k| 1638 | 2709 | 0.0 | 23M|2255 | - |2423 | 781 | 0 | 0 | 2 | 984k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
770.26/770.40 c 770s| 1690k| 1636 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 | 990k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
774.66/774.86 c 775s| 1700k| 1641 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 | 995k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
779.26/779.44 c 779s| 1710k| 1644 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 |1001k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
783.86/784.00 c 784s| 1720k| 1638 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 |1006k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
788.26/788.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
788.26/788.46 c 788s| 1730k| 1639 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 |1012k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
792.86/793.03 c 793s| 1740k| 1641 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1018k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
797.06/797.23 c 797s| 1750k| 1640 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1023k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
801.66/801.81 c 802s| 1760k| 1637 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |1029k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
806.46/806.64 c 807s| 1770k| 1640 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |1035k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
810.95/811.14 c 811s| 1780k| 1638 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |1041k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
815.15/815.31 c 815s| 1790k| 1638 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1047k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
819.75/819.99 c 820s| 1800k| 1636 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1053k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
824.45/824.67 c 825s| 1810k| 1637 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |1058k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
829.05/829.26 c 829s| 1820k| 1638 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1064k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
833.76/833.90 c 834s| 1830k| 1636 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 |1069k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
838.35/838.54 c 838s| 1840k| 1641 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |1075k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
842.85/843.08 c 843s| 1850k| 1639 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1081k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
847.65/847.89 c 848s| 1860k| 1637 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 |1086k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
852.15/852.37 c 852s| 1870k| 1638 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1092k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
856.35/856.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
856.35/856.54 c 856s| 1880k| 1640 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1097k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
860.75/860.94 c 861s| 1890k| 1640 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |1103k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
865.45/865.64 c 866s| 1900k| 1642 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1109k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
870.35/870.59 c 871s| 1910k| 1636 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1114k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
874.94/875.14 c 875s| 1920k| 1638 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |1120k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
879.85/880.05 c 880s| 1930k| 1639 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |1126k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
884.74/884.94 c 885s| 1940k| 1641 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1132k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
888.44/888.60 c 889s| 1950k| 1640 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1137k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
892.14/892.34 c 892s| 1960k| 1643 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |1142k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
895.94/896.13 c 896s| 1970k| 1640 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |1148k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
899.94/900.11 c 900s| 1980k| 1645 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |1153k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
904.05/904.21 c 904s| 1990k| 1638 | 2709 | 0.0 | 23M|2255 | - |2423 | 775 | 0 | 0 | 2 |1159k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
907.94/908.12 c 908s| 2000k| 1642 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1164k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
911.94/912.18 c 912s| 2010k| 1642 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1170k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
916.04/916.24 c 916s| 2020k| 1637 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1175k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
919.94/920.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
919.94/920.18 c 920s| 2030k| 1635 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 |1181k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
924.24/924.49 c 924s| 2040k| 1641 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1186k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
928.44/928.62 c 929s| 2050k| 1639 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 |1192k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
932.54/932.78 c 933s| 2060k| 1639 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1198k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
936.74/936.94 c 937s| 2070k| 1646 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |1203k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
940.44/940.68 c 941s| 2080k| 1639 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |1209k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
944.53/944.71 c 945s| 2090k| 1640 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1214k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
948.43/948.66 c 949s| 2100k| 1636 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1220k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
952.54/952.73 c 953s| 2110k| 1645 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |1226k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
956.43/956.67 c 957s| 2120k| 1637 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1232k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
960.53/960.74 c 961s| 2130k| 1642 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1237k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
964.54/964.71 c 965s| 2140k| 1633 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |1243k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
968.63/968.89 c 969s| 2150k| 1636 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 |1249k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
972.63/972.89 c 973s| 2160k| 1642 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |1254k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
976.63/976.88 c 977s| 2170k| 1639 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1260k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
980.53/980.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
980.53/980.70 c 981s| 2180k| 1634 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1266k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
984.53/984.73 c 985s| 2190k| 1636 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1271k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
988.43/988.65 c 989s| 2200k| 1635 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1277k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
992.43/992.65 c 993s| 2210k| 1641 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |1282k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
996.63/996.84 c 997s| 2220k| 1635 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1288k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1001.02/1001.21 c 1001s| 2230k| 1637 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |1294k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1005.12/1005.32 c 1005s| 2240k| 1638 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1299k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1009.12/1009.30 c 1009s| 2250k| 1637 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1305k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1013.12/1013.36 c 1013s| 2260k| 1640 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |1311k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1017.02/1017.26 c 1017s| 2270k| 1636 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 |1316k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1020.92/1021.14 c 1021s| 2280k| 1645 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1322k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1025.03/1025.27 c 1025s| 2290k| 1637 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |1328k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1029.02/1029.24 c 1029s| 2300k| 1634 | 2709 | 0.0 | 23M|2255 | - |2423 | 778 | 0 | 0 | 2 |1334k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1032.92/1033.16 c 1033s| 2310k| 1638 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1339k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1037.02/1037.20 c 1037s| 2320k| 1632 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1345k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1041.02/1041.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1041.02/1041.22 c 1041s| 2330k| 1635 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1351k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1045.02/1045.22 c 1045s| 2340k| 1632 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 |1356k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1048.82/1049.09 c 1049s| 2350k| 1639 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1361k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1052.72/1052.96 c 1053s| 2360k| 1635 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |1367k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1057.22/1057.48 c 1057s| 2370k| 1635 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |1373k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1061.82/1062.07 c 1062s| 2380k| 1637 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |1378k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1066.31/1066.51 c 1066s| 2390k| 1642 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 |1384k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1070.91/1071.17 c 1071s| 2400k| 1634 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1389k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1075.31/1075.59 c 1076s| 2410k| 1637 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1395k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1080.02/1080.29 c 1080s| 2420k| 1637 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1401k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1084.71/1084.97 c 1085s| 2430k| 1635 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 |1407k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1089.71/1089.90 c 1090s| 2440k| 1634 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 |1413k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1094.71/1094.93 c 1095s| 2450k| 1636 | 2709 | 0.0 | 23M|2255 | - |2423 | 776 | 0 | 0 | 2 |1418k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1099.61/1099.82 c 1100s| 2460k| 1634 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |1424k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1103.91/1104.16 c 1104s| 2470k| 1638 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1430k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1108.31/1108.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1108.31/1108.50 c 1108s| 2480k| 1638 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1436k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1112.41/1112.64 c 1113s| 2490k| 1633 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 |1442k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1116.71/1116.92 c 1117s| 2500k| 1636 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1447k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1121.11/1121.37 c 1121s| 2510k| 1637 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1453k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1126.01/1126.20 c 1126s| 2520k| 1638 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |1458k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1130.61/1130.90 c 1131s| 2530k| 1639 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |1464k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1135.60/1135.85 c 1136s| 2540k| 1631 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |1469k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1140.70/1140.93 c 1141s| 2550k| 1633 | 2709 | 0.0 | 23M|2255 | - |2423 | 775 | 0 | 0 | 2 |1475k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1144.50/1144.71 c 1145s| 2560k| 1630 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1480k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1148.31/1148.55 c 1149s| 2570k| 1634 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1485k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1152.50/1152.80 c 1153s| 2580k| 1636 | 2709 | 0.0 | 23M|2255 | - |2423 | 779 | 0 | 0 | 2 |1491k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1157.11/1157.32 c 1157s| 2590k| 1634 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1496k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1161.51/1161.72 c 1162s| 2600k| 1634 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 |1502k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1166.00/1166.26 c 1166s| 2610k| 1633 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1507k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1170.50/1170.74 c 1171s| 2620k| 1639 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |1513k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1174.80/1175.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1174.80/1175.09 c 1175s| 2630k| 1634 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |1518k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1179.20/1179.44 c 1179s| 2640k| 1635 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1524k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1183.70/1183.94 c 1184s| 2650k| 1638 | 2709 | 0.0 | 23M|2255 | - |2423 | 776 | 0 | 0 | 2 |1529k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1188.20/1188.41 c 1188s| 2660k| 1635 | 2709 | 0.0 | 23M|2255 | - |2423 | 777 | 0 | 0 | 2 |1535k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1192.79/1193.08 c 1193s| 2670k| 1638 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 |1541k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1197.59/1197.83 c 1198s| 2680k| 1632 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1547k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1202.79/1203.05 c 1203s| 2690k| 1634 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1552k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1207.70/1207.98 c 1208s| 2700k| 1635 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |1557k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1212.49/1212.78 c 1213s| 2710k| 1636 | 2709 | 0.0 | 23M|2255 | - |2423 | 776 | 0 | 0 | 2 |1563k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1217.29/1217.56 c 1218s| 2720k| 1632 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1569k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1222.29/1222.54 c 1223s| 2730k| 1634 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |1575k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1227.29/1227.54 c 1227s| 2740k| 1633 | 2709 | 0.0 | 23M|2255 | - |2423 | 777 | 0 | 0 | 2 |1581k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1231.99/1232.25 c 1232s| 2750k| 1628 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |1586k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1236.69/1236.99 c 1237s| 2760k| 1637 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |1592k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1241.19/1241.44 c 1241s| 2770k| 1636 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |1597k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1245.69/1245.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1245.69/1245.91 c 1246s| 2780k| 1635 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1603k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1250.39/1250.69 c 1251s| 2790k| 1632 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1609k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1255.19/1255.43 c 1255s| 2800k| 1639 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1614k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1259.48/1259.79 c 1260s| 2810k| 1630 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 |1620k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1264.08/1264.38 c 1264s| 2820k| 1632 | 2709 | 0.0 | 23M|2255 | - |2423 | 791 | 0 | 0 | 2 |1625k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1268.28/1268.59 c 1269s| 2830k| 1633 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |1631k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1272.88/1273.17 c 1273s| 2840k| 1632 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |1636k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1277.38/1277.69 c 1278s| 2850k| 1633 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1642k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1281.88/1282.17 c 1282s| 2860k| 1633 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |1647k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1286.58/1286.86 c 1287s| 2870k| 1638 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1653k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1291.29/1291.55 c 1292s| 2880k| 1637 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 |1658k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1295.98/1296.26 c 1296s| 2890k| 1635 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 |1664k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1300.18/1300.43 c 1300s| 2900k| 1632 | 2709 | 0.0 | 23M|2255 | - |2423 | 777 | 0 | 0 | 2 |1669k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1304.58/1304.81 c 1305s| 2910k| 1629 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 |1675k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1309.08/1309.31 c 1309s| 2920k| 1634 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1680k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1313.78/1314.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1313.78/1314.00 c 1314s| 2930k| 1630 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 |1686k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1318.08/1318.37 c 1318s| 2940k| 1628 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |1691k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1322.08/1322.37 c 1322s| 2950k| 1632 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1697k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1325.97/1326.23 c 1326s| 2960k| 1633 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |1702k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1330.07/1330.31 c 1330s| 2970k| 1630 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1708k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1333.97/1334.23 c 1334s| 2980k| 1634 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 |1713k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1338.17/1338.41 c 1338s| 2990k| 1630 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 |1719k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1341.88/1342.11 c 1342s| 3000k| 1631 | 2709 | 0.0 | 23M|2255 | - |2423 | 776 | 0 | 0 | 2 |1724k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1345.87/1346.14 c 1346s| 3010k| 1632 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 |1730k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1349.87/1350.10 c 1350s| 3020k| 1635 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1735k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1353.77/1354.03 c 1354s| 3030k| 1631 | 2709 | 0.0 | 23M|2255 | - |2423 | 775 | 0 | 0 | 2 |1741k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1357.77/1358.00 c 1358s| 3040k| 1636 | 2709 | 0.0 | 23M|2255 | - |2423 | 778 | 0 | 0 | 2 |1747k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1361.58/1361.86 c 1362s| 3050k| 1632 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |1752k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1365.67/1365.95 c 1366s| 3060k| 1637 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1758k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1369.77/1370.08 c 1370s| 3070k| 1635 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1764k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1373.57/1373.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1373.57/1373.82 c 1374s| 3080k| 1635 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1769k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1377.47/1377.79 c 1378s| 3090k| 1635 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1775k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1381.27/1381.50 c 1381s| 3100k| 1633 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1780k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1385.17/1385.48 c 1385s| 3110k| 1631 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |1786k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1389.07/1389.38 c 1389s| 3120k| 1635 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 |1791k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1392.96/1393.27 c 1393s| 3130k| 1631 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1797k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1397.06/1397.33 c 1397s| 3140k| 1632 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |1802k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1401.46/1401.75 c 1402s| 3150k| 1635 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |1808k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1405.86/1406.15 c 1406s| 3160k| 1633 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1813k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1410.16/1410.48 c 1410s| 3170k| 1631 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |1819k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1414.76/1415.08 c 1415s| 3180k| 1628 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1825k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1419.46/1419.76 c 1420s| 3190k| 1633 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1831k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1423.86/1424.13 c 1424s| 3200k| 1632 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |1836k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1428.36/1428.63 c 1429s| 3210k| 1626 | 2709 | 0.0 | 23M|2255 | - |2423 | 775 | 0 | 0 | 2 |1842k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1433.56/1433.89 c 1434s| 3220k| 1632 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1848k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1438.46/1438.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1438.46/1438.76 c 1439s| 3230k| 1635 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |1853k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1443.66/1443.93 c 1444s| 3240k| 1629 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |1859k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1448.16/1448.41 c 1448s| 3250k| 1629 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |1865k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1453.16/1453.47 c 1453s| 3260k| 1633 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |1871k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1457.85/1458.19 c 1458s| 3270k| 1634 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1876k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1462.55/1462.80 c 1463s| 3280k| 1629 | 2709 | 0.0 | 23M|2255 | - |2423 | 775 | 0 | 0 | 2 |1882k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1467.16/1467.43 c 1467s| 3290k| 1627 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 |1888k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1471.56/1471.87 c 1472s| 3300k| 1629 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |1893k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1476.15/1476.45 c 1476s| 3310k| 1633 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |1899k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1480.75/1481.07 c 1481s| 3320k| 1629 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1905k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1485.15/1485.48 c 1485s| 3330k| 1630 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1910k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1489.75/1490.02 c 1490s| 3340k| 1630 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |1916k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1494.45/1494.74 c 1495s| 3350k| 1633 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |1922k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1498.95/1499.23 c 1499s| 3360k| 1628 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |1928k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1503.35/1503.67 c 1504s| 3370k| 1630 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1934k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1507.65/1507.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1507.65/1507.96 c 1508s| 3380k| 1632 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1939k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1512.25/1512.59 c 1513s| 3390k| 1632 | 2709 | 0.0 | 23M|2255 | - |2423 | 776 | 0 | 0 | 2 |1945k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1517.35/1517.66 c 1518s| 3400k| 1631 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |1951k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1522.34/1522.65 c 1523s| 3410k| 1627 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 |1957k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1526.94/1527.21 c 1527s| 3420k| 1628 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |1963k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1531.94/1532.27 c 1532s| 3430k| 1626 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |1969k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1536.04/1536.36 c 1536s| 3440k| 1628 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |1975k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1539.85/1540.16 c 1540s| 3450k| 1632 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1980k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1543.64/1543.93 c 1544s| 3460k| 1632 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |1986k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1547.45/1547.73 c 1548s| 3470k| 1626 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |1991k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1551.34/1551.60 c 1552s| 3480k| 1629 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |1997k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1555.34/1555.68 c 1556s| 3490k| 1626 | 2709 | 0.0 | 23M|2255 | - |2423 | 775 | 0 | 0 | 2 |2003k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1559.34/1559.66 c 1560s| 3500k| 1625 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |2008k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1563.34/1563.64 c 1564s| 3510k| 1627 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 |2014k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1567.34/1567.66 c 1568s| 3520k| 1633 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |2019k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1571.34/1571.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1571.34/1571.65 c 1572s| 3530k| 1627 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |2024k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1575.44/1575.72 c 1576s| 3540k| 1629 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |2030k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1579.34/1579.68 c 1580s| 3550k| 1632 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |2036k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1583.14/1583.44 c 1583s| 3560k| 1633 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |2041k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1586.93/1587.30 c 1587s| 3570k| 1630 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |2046k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1590.83/1591.16 c 1591s| 3580k| 1625 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |2052k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1594.84/1595.16 c 1595s| 3590k| 1632 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |2057k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1598.73/1599.00 c 1599s| 3600k| 1631 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |2063k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1602.73/1603.04 c 1603s| 3610k| 1628 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |2069k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1606.63/1606.95 c 1607s| 3620k| 1627 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |2074k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1611.13/1611.49 c 1611s| 3630k| 1630 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |2080k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1615.93/1616.22 c 1616s| 3640k| 1627 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |2086k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1620.14/1620.49 c 1620s| 3650k| 1629 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |2091k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1624.63/1624.97 c 1625s| 3660k| 1629 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |2096k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1629.33/1629.66 c 1630s| 3670k| 1630 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 |2102k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1634.03/1634.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1634.03/1634.34 c 1634s| 3680k| 1632 | 2709 | 0.0 | 23M|2255 | - |2423 | 780 | 0 | 0 | 2 |2107k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1638.23/1638.53 c 1638s| 3690k| 1631 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |2112k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1642.43/1642.79 c 1643s| 3700k| 1628 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |2117k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1646.83/1647.18 c 1647s| 3710k| 1627 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |2123k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1651.22/1651.56 c 1652s| 3720k| 1628 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |2129k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1655.92/1656.23 c 1656s| 3730k| 1630 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |2134k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1660.73/1661.10 c 1661s| 3740k| 1628 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |2140k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1665.52/1665.86 c 1666s| 3750k| 1629 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |2145k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1670.22/1670.59 c 1671s| 3760k| 1626 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 |2151k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1675.03/1675.35 c 1675s| 3770k| 1628 | 2709 | 0.0 | 23M|2255 | - |2423 | 775 | 0 | 0 | 2 |2157k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1679.82/1680.18 c 1680s| 3780k| 1630 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |2163k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1684.82/1685.18 c 1685s| 3790k| 1628 | 2709 | 0.0 | 23M|2255 | - |2423 | 770 | 0 | 0 | 2 |2168k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1689.72/1690.03 c 1690s| 3800k| 1623 | 2709 | 0.0 | 23M|2255 | - |2423 | 780 | 0 | 0 | 2 |2174k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1694.42/1694.78 c 1695s| 3810k| 1629 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |2180k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1699.22/1699.59 c 1700s| 3820k| 1630 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |2186k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1703.72/1704.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1703.72/1704.06 c 1704s| 3830k| 1631 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 |2192k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1708.02/1708.40 c 1708s| 3840k| 1622 | 2709 | 0.0 | 23M|2255 | - |2423 | 780 | 0 | 0 | 2 |2197k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1712.62/1712.92 c 1713s| 3850k| 1628 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |2202k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1716.82/1717.17 c 1717s| 3860k| 1630 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |2208k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1721.32/1721.68 c 1722s| 3870k| 1633 | 2709 | 0.0 | 23M|2255 | - |2423 | 772 | 0 | 0 | 2 |2213k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1726.11/1726.45 c 1726s| 3880k| 1625 | 2709 | 0.0 | 23M|2255 | - |2423 | 767 | 0 | 0 | 2 |2219k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1730.91/1731.24 c 1731s| 3890k| 1628 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |2225k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1735.52/1735.87 c 1736s| 3900k| 1624 | 2709 | 0.0 | 23M|2255 | - |2423 | 768 | 0 | 0 | 2 |2231k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1740.51/1740.85 c 1741s| 3910k| 1625 | 2709 | 0.0 | 23M|2255 | - |2423 | 776 | 0 | 0 | 2 |2237k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1745.01/1745.30 c 1745s| 3920k| 1628 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |2242k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1749.31/1749.65 c 1750s| 3930k| 1623 | 2709 | 0.0 | 23M|2255 | - |2423 | 775 | 0 | 0 | 2 |2248k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1753.91/1754.24 c 1754s| 3940k| 1625 | 2709 | 0.0 | 23M|2255 | - |2423 | 774 | 0 | 0 | 2 |2253k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1758.51/1758.87 c 1759s| 3950k| 1629 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |2258k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1762.91/1763.23 c 1763s| 3960k| 1626 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |2264k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1767.41/1767.71 c 1768s| 3970k| 1627 | 2709 | 0.0 | 23M|2255 | - |2423 | 775 | 0 | 0 | 2 |2269k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1771.91/1772.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1771.91/1772.23 c 1772s| 3980k| 1625 | 2709 | 0.0 | 23M|2255 | - |2423 | 773 | 0 | 0 | 2 |2275k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1776.31/1776.67 c 1777s| 3990k| 1628 | 2709 | 0.0 | 23M|2255 | - |2423 | 775 | 0 | 0 | 2 |2280k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1781.01/1781.35 c 1781s| 4000k| 1628 | 2709 | 0.0 | 23M|2255 | - |2423 | 771 | 0 | 0 | 2 |2285k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1785.40/1785.72 c 1786s| 4010k| 1628 | 2709 | 0.0 | 23M|2255 | - |2423 | 769 | 0 | 0 | 2 |2291k| 37 | 6.379792e+01 | 6.600000e+01 | 3.45%
1789.70/1790.01 c
1789.70/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.70/1790.01 c Solving Time (sec) : 1789.97
1789.70/1790.01 c Solving Nodes : 4019723
1789.70/1790.01 c Primal Bound : +6.60000000000000e+01 (9 solutions)
1789.70/1790.01 c Dual Bound : +6.37979197622586e+01
1789.70/1790.01 c Gap : 3.45 %
1789.70/1790.02 s SATISFIABLE
1789.70/1790.02 v -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441
1789.70/1790.02 v -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 x2425 -x2424 -x2423
1789.70/1790.02 v -x2422 -x2421 -x2420 x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405
1789.70/1790.02 v -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388
1789.70/1790.02 v -x2387 -x2386 -x2385 -x2384 -x2383 x2382 x2381 -x2380 x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369
1789.70/1790.02 v -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351
1789.70/1790.02 v -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334
1789.70/1790.02 v -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 x2324 -x2323 -x2322 -x2321 -x2320 x2319 -x2318 -x2317 -x2316 -x2315
1789.70/1790.02 v -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298
1789.70/1790.02 v x2297 -x2296 x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279
1789.70/1790.02 v -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261
1789.70/1790.02 v -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244
1789.70/1790.02 v -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226
1789.70/1790.02 v -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208
1789.70/1790.02 v -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 x2193 -x2192 -x2191 -x2190
1789.70/1790.02 v -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172
1789.70/1790.02 v -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154
1789.70/1790.02 v -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136
1789.70/1790.02 v -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118
1789.70/1790.02 v -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100
1789.70/1790.02 v -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 x2086 -x2085 -x2084 -x2083 -x2082
1789.70/1790.02 v x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064
1789.70/1790.02 v -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046
1789.70/1790.02 v -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029
1789.70/1790.02 v -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011
1789.70/1790.02 v -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 x1998 -x1997 -x1996 -x1995 -x1994 -x1993
1789.70/1790.02 v -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 x1975
1789.70/1790.02 v -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957
1789.70/1790.02 v -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939
1789.70/1790.02 v -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921
1789.70/1790.02 v x1920 x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903
1789.70/1790.02 v -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885
1789.70/1790.02 v -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867
1789.70/1790.02 v -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 x1852 x1851 -x1850 -x1849
1789.70/1790.02 v -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831
1789.70/1790.02 v -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813
1789.70/1790.02 v -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795
1789.70/1790.02 v -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778
1789.70/1790.02 v -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 x1765 -x1764 -x1763 -x1762 x1761 -x1760 -x1759
1789.70/1790.02 v -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742
1789.70/1790.02 v -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724
1789.70/1790.02 v -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706
1789.70/1790.02 v -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688
1789.70/1790.02 v -x1687 -x1686 -x1685 -x1684 -x1683 x1682 -x1681 x1680 x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670
1789.70/1790.02 v -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652
1789.70/1790.02 v x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634
1789.70/1790.02 v -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616
1789.70/1790.02 v -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598
1789.70/1790.02 v -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 x1583 -x1582 -x1581 -x1580
1789.70/1790.02 v -x1579 -x1578 -x1577 -x1576 -x1575 x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562
1789.70/1790.02 v -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544
1789.70/1790.02 v -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526
1789.70/1790.02 v -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508
1789.70/1790.02 v -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490
1789.70/1790.02 v -x1489 -x1488 -x1487 -x1486 -x1485 x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472
1789.70/1790.02 v -x1471 x1470 -x1469 -x1468 -x1467 x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454
1789.70/1790.02 v -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436
1789.70/1790.02 v -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419
1789.70/1790.02 v -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 x1403 -x1402 -x1401
1789.70/1790.02 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383
1789.70/1790.02 v -x1382 -x1381 -x1380 -x1379 -x1378 x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365
1789.70/1790.02 v -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347
1789.70/1790.02 v -x1346 -x1345 -x1344 -x1343 x1342 -x1341 -x1340 -x1339 -x1338 -x1337 x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329
1789.70/1790.02 v -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 x1311
1789.70/1790.02 v -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 x1294 -x1293
1789.70/1790.02 v -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 x1275
1789.70/1790.02 v -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257
1789.70/1790.02 v -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239
1789.70/1790.02 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221
1789.70/1790.02 v -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203
1789.70/1790.02 v -x1202 -x1201 x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185
1789.70/1790.02 v -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167
1789.70/1790.02 v -x1166 -x1165 -x1164 x1163 -x1162 -x1161 x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149
1789.70/1790.02 v -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131
1789.70/1790.02 v -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114
1789.70/1790.02 v -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096
1789.70/1790.02 v -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078
1789.70/1790.02 v -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060
1789.70/1790.02 v -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042
1789.70/1790.02 v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 x1029 -x1028 -x1027 -x1026 -x1025 x1024
1789.70/1790.02 v -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006
1789.70/1790.02 v x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986
1789.70/1790.02 v -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965
1789.70/1790.02 v -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944
1789.70/1790.02 v -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924
1789.70/1790.02 v -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903
1789.70/1790.02 v -x902 -x901 x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882
1789.70/1790.02 v -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861
1789.70/1790.02 v -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 x845 -x844 -x843 -x842 -x841 -x840
1789.70/1790.02 v -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819
1789.70/1790.02 v -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798
1789.70/1790.02 v -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 x780 -x779 -x778 -x777
1789.70/1790.02 v -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756
1789.70/1790.02 v -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736
1789.70/1790.02 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715
1789.70/1790.02 v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694
1789.70/1790.02 v -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673
1789.70/1790.02 v -x672 -x671 -x670 -x669 x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652
1789.70/1790.02 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631
1789.70/1790.02 v -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610
1789.70/1790.02 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589
1789.70/1790.02 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568
1789.70/1790.02 v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548
1789.70/1790.02 v -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527
1789.70/1790.02 v -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506
1789.70/1790.02 v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485
1789.70/1790.02 v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464
1789.70/1790.02 v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443
1789.70/1790.02 v -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422
1789.70/1790.02 v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401
1789.70/1790.02 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380
1789.70/1790.02 v -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360
1789.70/1790.02 v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339
1789.70/1790.02 v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318
1789.70/1790.02 v -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297
1789.70/1790.02 v -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276
1789.70/1790.02 v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255
1789.70/1790.02 v -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235
1789.70/1790.02 v -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214
1789.70/1790.02 v -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193
1789.70/1790.02 v -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172
1789.70/1790.02 v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 x157 x156 -x155 -x154 -x153 -x152 -x151
1789.70/1790.02 v -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130
1789.70/1790.02 v -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109
1789.70/1790.02 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85
1789.70/1790.02 v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60
1789.70/1790.02 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35
1789.70/1790.02 v -x34 -x33 x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
1789.70/1790.02 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1789.70/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.70/1790.02 c Solving Time : 1789.97
1789.70/1790.02 c Original Problem :
1789.70/1790.02 c Problem name : HOME/instance-3732237-1338691132.opb
1789.70/1790.02 c Variables : 2459 (2459 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.70/1790.02 c Constraints : 873 initial, 873 maximal
1789.70/1790.02 c Presolved Problem :
1789.70/1790.02 c Problem name : t_HOME/instance-3732237-1338691132.opb
1789.70/1790.02 c Variables : 2423 (2423 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.70/1790.02 c Constraints : 767 initial, 799 maximal
1789.70/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.70/1790.02 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.02 c dualfix : 0.00 8 0 0 0 0 0 0 0
1789.70/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.02 c implics : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.02 c probing : 0.01 0 0 0 0 0 0 0 0
1789.70/1790.02 c linear : 0.03 28 0 0 28 0 106 66 0
1789.70/1790.02 c logicor : 0.02 0 0 0 0 0 0 0 0
1789.70/1790.02 c root node : - 0 - - 0 - - - -
1789.70/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.70/1790.02 c integral : 0 0 0 1 0 0 0 0 0 2
1789.70/1790.02 c logicor : 767+ 3 7975009 0 0 1396962 5276904 0 0 0
1789.70/1790.02 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.70/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.70/1790.02 c integral : 4.08 0.00 0.00 4.08 0.00
1789.70/1790.02 c logicor : 859.28 0.00 859.28 0.00 0.00
1789.70/1790.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.70/1790.02 c Propagators : Time Calls Cutoffs DomReds
1789.70/1790.02 c vbounds : 1.63 2 0 0
1789.70/1790.02 c rootredcost : 1.43 0 0 0
1789.70/1790.02 c pseudoobj : 662.06 14128657 893139 163051798
1789.70/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.70/1790.02 c propagation : 1002.71 2289982 2289982 2289982 243.8 2491 266.9 -
1789.70/1790.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.70/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.70/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.70/1790.02 c pseudo solution : 1.21 5477 5477 5477 214.2 33 189.3 -
1789.70/1790.02 c applied globally : - - - 1231309 162.1 - - -
1789.70/1790.02 c applied locally : - - - 1065187 338.0 - - -
1789.70/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.70/1790.02 c cut pool : 0.01 2 - - 0 - (maximal pool size: 254)
1789.70/1790.02 c redcost : 0.00 4 0 0 0 0
1789.70/1790.02 c impliedbounds : 0.00 4 0 0 0 0
1789.70/1790.02 c intobj : 0.00 0 0 0 0 0
1789.70/1790.02 c cgmip : 0.00 0 0 0 0 0
1789.70/1790.02 c gomory : 0.04 4 0 0 0 0
1789.70/1790.02 c strongcg : 0.35 4 0 0 505 0
1789.70/1790.02 c cmir : 0.03 4 0 0 0 0
1789.70/1790.02 c flowcover : 0.04 4 0 0 0 0
1789.70/1790.02 c clique : 0.00 1 0 0 0 0
1789.70/1790.02 c zerohalf : 0.00 0 0 0 0 0
1789.70/1790.02 c mcf : 0.00 1 0 0 0 0
1789.70/1790.02 c rapidlearning : 0.00 0 0 0 0 0
1789.70/1790.02 c Pricers : Time Calls Vars
1789.70/1790.02 c problem variables: 0.00 0 0
1789.70/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.70/1790.02 c relpscost : 4.08 1 0 0 0 0 2
1789.70/1790.02 c pscost : 0.00 0 0 0 0 0 0
1789.70/1790.02 c inference : 140.96 2868179 0 0 0 0 5736358
1789.70/1790.02 c mostinf : 0.00 0 0 0 0 0 0
1789.70/1790.02 c leastinf : 0.00 0 0 0 0 0 0
1789.70/1790.02 c fullstrong : 0.00 0 0 0 0 0 0
1789.70/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0
1789.70/1790.02 c random : 0.00 0 0 0 0 0 0
1789.70/1790.02 c Primal Heuristics : Time Calls Found
1789.70/1790.02 c LP solutions : 0.00 - 0
1789.70/1790.02 c pseudo solutions : 0.00 - 0
1789.70/1790.02 c crossover : 0.00 0 0
1789.70/1790.02 c oneopt : 0.58 3 1
1789.70/1790.02 c trivial : 0.00 2 3
1789.70/1790.02 c simplerounding : 0.00 3 3
1789.70/1790.02 c zirounding : 0.00 1 1
1789.70/1790.02 c rounding : 0.00 3 0
1789.70/1790.02 c shifting : 0.00 3 0
1789.70/1790.02 c intshifting : 0.00 0 0
1789.70/1790.02 c twoopt : 0.00 0 0
1789.70/1790.02 c fixandinfer : 0.00 0 0
1789.70/1790.02 c feaspump : 0.00 0 0
1789.70/1790.02 c coefdiving : 0.00 0 0
1789.70/1790.02 c pscostdiving : 0.00 0 0
1789.70/1790.02 c fracdiving : 0.00 0 0
1789.70/1790.02 c veclendiving : 0.00 0 0
1789.70/1790.02 c intdiving : 0.00 0 0
1789.70/1790.02 c actconsdiving : 0.00 0 0
1789.70/1790.02 c objpscostdiving : 0.00 0 0
1789.70/1790.02 c rootsoldiving : 0.00 0 0
1789.70/1790.02 c linesearchdiving : 0.00 0 0
1789.70/1790.02 c guideddiving : 0.00 0 0
1789.70/1790.02 c octane : 0.00 0 0
1789.70/1790.02 c rens : 0.35 1 1
1789.70/1790.02 c rins : 0.00 0 0
1789.70/1790.02 c localbranching : 0.00 0 0
1789.70/1790.02 c mutation : 0.00 0 0
1789.70/1790.02 c dins : 0.00 0 0
1789.70/1790.02 c undercover : 0.00 0 0
1789.70/1790.02 c nlp : 0.46 0 0
1789.70/1790.02 c trysol : 0.30 0 0
1789.70/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec
1789.70/1790.02 c primal LP : 0.00 0 0 0.00 -
1789.70/1790.02 c dual LP : 0.37 3 2709 903.00 7291.86
1789.70/1790.02 c lex dual LP : 0.00 0 0 0.00 -
1789.70/1790.02 c barrier LP : 0.00 0 0 0.00 -
1789.70/1790.02 c diving/probing LP: 0.00 0 0 0.00 -
1789.70/1790.02 c strong branching : 4.08 37 21419 578.89 5247.21
1789.70/1790.02 c (at root node) : - 37 21419 578.89 -
1789.70/1790.02 c conflict analysis: 0.00 0 0 0.00 -
1789.70/1790.02 c B&B Tree :
1789.70/1790.02 c number of runs : 1
1789.70/1790.02 c nodes : 4019723
1789.70/1790.02 c nodes (total) : 4019723
1789.70/1790.02 c nodes left : 1627
1789.70/1790.02 c max depth : 2255
1789.70/1790.02 c max depth (total): 2255
1789.70/1790.02 c backtracks : 1331925 (33.1%)
1789.70/1790.02 c delayed cutoffs : 1310053
1789.70/1790.02 c repropagations : 2565251 (85291543 domain reductions, 1144035 cutoffs)
1789.70/1790.02 c avg switch length: 2.34
1789.70/1790.02 c switching time : 48.43
1789.70/1790.02 c Solution :
1789.70/1790.02 c Solutions found : 9 (4 improvements)
1789.70/1790.02 c First Solution : +2.45900000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1789.70/1790.02 c Primal Bound : +6.60000000000000e+01 (in run 1, after 1 nodes, 1.26 seconds, depth 0, found by <rens>)
1789.70/1790.02 c Dual Bound : +6.37979197622586e+01
1789.70/1790.02 c Gap : 3.45 %
1789.70/1790.02 c Root Dual Bound : +6.36495391460960e+01
1789.70/1790.02 c Root Iterations : 2709
1789.70/1790.03 c Time complete: 1789.73.
OK 66
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3732237-1338691132/watcher-3732237-1338691132 -o /tmp/evaluation-result-3732237-1338691132/solver-3732237-1338691132 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3732237-1338691132.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.00 2.00 3/176 15484 /proc/meminfo: memFree=27121172/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=8944 CPUtime=0 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 1432 0 0 0 0 0 0 0 20 0 1 0 335238965 9158656 1378 33554432000 4194304 8395647 140736233961056 140733242273608 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 2236 1388 374 1026 0 1206 0 [startup+0.0109431 s] /proc/loadavg: 2.01 2.00 2.00 3/176 15484 /proc/meminfo: memFree=27121172/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=12772 CPUtime=0 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 2476 0 0 0 0 0 0 0 20 0 1 0 335238965 13078528 2421 33554432000 4194304 8395647 140736233961056 140733242273608 4472706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 3193 2421 393 1026 0 2163 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12772 [startup+0.100211 s] /proc/loadavg: 2.01 2.00 2.00 3/176 15484 /proc/meminfo: memFree=27121172/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=26000 CPUtime=0.09 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 5831 0 0 0 8 1 0 0 20 0 1 0 335238965 26624000 5422 33554432000 4194304 8395647 140736233961056 140736233826264 5093784 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 6500 5422 481 1026 0 5470 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 26000 [startup+0.30022 s] /proc/loadavg: 2.01 2.00 2.00 3/176 15484 /proc/meminfo: memFree=27121172/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=33476 CPUtime=0.29 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 7625 0 0 0 28 1 0 0 20 0 1 0 335238965 34279424 7190 33554432000 4194304 8395647 140736233961056 140736233826264 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 8369 7190 564 1026 0 7339 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33476 [startup+0.700234 s] /proc/loadavg: 2.01 2.00 2.00 3/176 15484 /proc/meminfo: memFree=27121172/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=54304 CPUtime=0.69 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 12969 0 0 0 67 2 0 0 20 0 1 0 335238965 55607296 12534 33554432000 4194304 8395647 140736233961056 140736233826264 6152780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 13576 12536 572 1026 0 12546 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 54304 [startup+1.50022 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15485 /proc/meminfo: memFree=27048592/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=1.48 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20057 0 0 0 145 3 0 0 20 0 1 0 335238965 81121280 18539 33554432000 4194304 8395647 140736233961056 140736233953576 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 18539 631 1026 0 18775 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 79220 [startup+3.10018 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15485 /proc/meminfo: memFree=27048752/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=3.09 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20057 0 0 0 304 5 0 0 20 0 1 0 335238965 81121280 18539 33554432000 4194304 8395647 140736233961056 140736233956264 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 18539 631 1026 0 18775 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 79220 [startup+6.30023 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15485 /proc/meminfo: memFree=27048400/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=6.28 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20068 0 0 0 622 6 0 0 20 0 1 0 335238965 81121280 18550 33554432000 4194304 8395647 140736233961056 140736233956488 5614700 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 18550 634 1026 0 18775 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 79220 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15485 /proc/meminfo: memFree=27048660/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=12.68 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20069 0 0 0 1262 6 0 0 20 0 1 0 335238965 81121280 18551 33554432000 4194304 8395647 140736233961056 140736233956488 4687806 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 18551 635 1026 0 18775 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 79220 [startup+25.5001 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15485 /proc/meminfo: memFree=27049312/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=25.48 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20126 0 0 0 2542 6 0 0 20 0 1 0 335238965 81121280 18608 33554432000 4194304 8395647 140736233961056 140736233956488 4785994 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 18608 635 1026 0 18775 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 79220 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15485 /proc/meminfo: memFree=27048936/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=51.07 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20128 0 0 0 5101 6 0 0 20 0 1 0 335238965 81121280 18608 33554432000 4194304 8395647 140736233961056 140736233956488 6282969 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 18608 635 1026 0 18775 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 79220 [startup+102.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15488 /proc/meminfo: memFree=27046208/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=102.26 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20145 0 0 0 10220 6 0 0 20 0 1 0 335238965 81121280 19323 33554432000 4194304 8395647 140736233961056 140736233956488 4786357 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19323 635 1026 0 18775 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 79220 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15488 /proc/meminfo: memFree=27044292/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=162.25 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20145 0 0 0 16219 6 0 0 20 0 1 0 335238965 81121280 19323 33554432000 4194304 8395647 140736233961056 140736233956488 4767002 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19323 635 1026 0 18775 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 79220 [startup+222.306 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15488 /proc/meminfo: memFree=27044240/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=222.24 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20145 0 0 0 22218 6 0 0 20 0 1 0 335238965 81121280 19323 33554432000 4194304 8395647 140736233961056 140736233956488 5614450 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19323 635 1026 0 18775 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 79220 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 15488 /proc/meminfo: memFree=27042448/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=282.23 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20145 0 0 0 28217 6 0 0 20 0 1 0 335238965 81121280 19323 33554432000 4194304 8395647 140736233961056 140736233956488 4785947 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19323 635 1026 0 18775 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 79220 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15527 /proc/meminfo: memFree=27103176/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=342.23 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20145 0 0 0 34216 7 0 0 20 0 1 0 335238965 81121280 19323 33554432000 4194304 8395647 140736233961056 140736233956488 4447780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19323 635 1026 0 18775 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 79220 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15527 /proc/meminfo: memFree=27096168/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=402.22 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20145 0 0 0 40215 7 0 0 20 0 1 0 335238965 81121280 19323 33554432000 4194304 8395647 140736233961056 140736233956488 4476332 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19323 635 1026 0 18775 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 79220 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15527 /proc/meminfo: memFree=27096296/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=462.21 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20145 0 0 0 46214 7 0 0 20 0 1 0 335238965 81121280 19323 33554432000 4194304 8395647 140736233961056 140736233956488 5088910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19323 635 1026 0 18775 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 79220 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15527 /proc/meminfo: memFree=27085756/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=522.2 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20145 0 0 0 52213 7 0 0 20 0 1 0 335238965 81121280 19323 33554432000 4194304 8395647 140736233961056 140736233956488 6023108 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19323 635 1026 0 18775 0 Current children cumulated CPU time (s) 522.2 Current children cumulated vsize (KiB) 79220 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15527 /proc/meminfo: memFree=27085720/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=582.19 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20145 0 0 0 58212 7 0 0 20 0 1 0 335238965 81121280 19323 33554432000 4194304 8395647 140736233961056 140736233956488 4786004 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19323 635 1026 0 18775 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 79220 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27084628/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=1002.12 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20145 0 0 0 100205 7 0 0 20 0 1 0 335238965 81121280 19323 33554432000 4194304 8395647 140736233961056 140736233956488 5614700 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19323 635 1026 0 18775 0 Current children cumulated CPU time (s) 1002.12 Current children cumulated vsize (KiB) 79220 [startup+1062.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 15532 /proc/meminfo: memFree=27083504/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=1062.12 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20145 0 0 0 106205 7 0 0 20 0 1 0 335238965 81121280 19323 33554432000 4194304 8395647 140736233961056 140736233956488 6017651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19323 635 1026 0 18775 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 79220 [startup+1122.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 15532 /proc/meminfo: memFree=27082328/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=1122.11 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20145 0 0 0 112204 7 0 0 20 0 1 0 335238965 81121280 19323 33554432000 4194304 8395647 140736233961056 140736233956488 4215463 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19323 635 1026 0 18775 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 79220 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15532 /proc/meminfo: memFree=27080288/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=1182.1 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20145 0 0 0 118203 7 0 0 20 0 1 0 335238965 81121280 19323 33554432000 4194304 8395647 140736233961056 140736233956488 4786004 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19323 635 1026 0 18775 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 79220 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15533 /proc/meminfo: memFree=27078304/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=1242.09 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20145 0 0 0 124202 7 0 0 20 0 1 0 335238965 81121280 19323 33554432000 4194304 8395647 140736233961056 140736233956488 5613485 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19323 635 1026 0 18775 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 79220 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15536 /proc/meminfo: memFree=27073840/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=1302.08 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20145 0 0 0 130201 7 0 0 20 0 1 0 335238965 81121280 19323 33554432000 4194304 8395647 140736233961056 140736233956488 4786350 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19323 635 1026 0 18775 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 79220 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15559 /proc/meminfo: memFree=27071412/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=1362.07 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20145 0 0 0 136200 7 0 0 20 0 1 0 335238965 81121280 19323 33554432000 4194304 8395647 140736233961056 140736233956488 5614700 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19323 635 1026 0 18775 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 79220 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15559 /proc/meminfo: memFree=27069560/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=1422.07 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20145 0 0 0 142200 7 0 0 20 0 1 0 335238965 81121280 19323 33554432000 4194304 8395647 140736233961056 140736233956488 5616017 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19323 635 1026 0 18775 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 79220 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15559 /proc/meminfo: memFree=27069500/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=1482.05 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20145 0 0 0 148198 7 0 0 20 0 1 0 335238965 81121280 19323 33554432000 4194304 8395647 140736233961056 140736233956488 5613469 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19323 635 1026 0 18775 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 79220 [startup+1542.31 s] /proc/loadavg: 2.04 2.01 2.00 3/177 15560 /proc/meminfo: memFree=27065136/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=1542.05 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20146 0 0 0 154198 7 0 0 20 0 1 0 335238965 81121280 19324 33554432000 4194304 8395647 140736233961056 140736233956488 5613515 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19324 635 1026 0 18775 0 Current children cumulated CPU time (s) 1542.05 Current children cumulated vsize (KiB) 79220 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 15560 /proc/meminfo: memFree=27063432/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=1602.03 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20146 0 0 0 160196 7 0 0 20 0 1 0 335238965 81121280 19324 33554432000 4194304 8395647 140736233961056 140736233956488 4785947 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19324 635 1026 0 18775 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 79220 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 15560 /proc/meminfo: memFree=27063524/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=1662.02 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20146 0 0 0 166195 7 0 0 20 0 1 0 335238965 81121280 19324 33554432000 4194304 8395647 140736233961056 140736233956488 4447931 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19324 635 1026 0 18775 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 79220 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15561 /proc/meminfo: memFree=27061684/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=1722.01 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20146 0 0 0 172194 7 0 0 20 0 1 0 335238965 81121280 19324 33554432000 4194304 8395647 140736233961056 140736233956488 6017657 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19324 635 1026 0 18775 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 79220 [startup+1782.3 s] /proc/loadavg: 2.10 2.03 2.01 3/177 15561 /proc/meminfo: memFree=27058832/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=1782.01 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20146 0 0 0 178194 7 0 0 20 0 1 0 335238965 81121280 19324 33554432000 4194304 8395647 140736233961056 140736233956488 5614829 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19324 635 1026 0 18775 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 79220 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 2.10 2.03 2.01 3/177 15561 /proc/meminfo: memFree=27058832/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=1785.3 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20146 0 0 0 178523 7 0 0 20 0 1 0 335238965 81121280 19324 33554432000 4194304 8395647 140736233961056 140736233956488 6017664 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19324 635 1026 0 18775 0 Current children cumulated CPU time (s) 1785.3 Current children cumulated vsize (KiB) 79220 [startup+1787.2 s] /proc/loadavg: 2.09 2.03 2.01 3/177 15561 /proc/meminfo: memFree=27058832/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=1786.9 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20146 0 0 0 178683 7 0 0 20 0 1 0 335238965 81121280 19324 33554432000 4194304 8395647 140736233961056 140736233956488 6017646 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19324 635 1026 0 18775 0 Current children cumulated CPU time (s) 1786.9 Current children cumulated vsize (KiB) 79220 [startup+1788.8 s] /proc/loadavg: 2.09 2.03 2.01 3/177 15561 /proc/meminfo: memFree=27058832/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=1788.5 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20146 0 0 0 178843 7 0 0 20 0 1 0 335238965 81121280 19324 33554432000 4194304 8395647 140736233961056 140736233956488 4786350 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19324 635 1026 0 18775 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (KiB) 79220 [startup+1789.6 s] /proc/loadavg: 2.09 2.03 2.01 3/177 15561 /proc/meminfo: memFree=27058832/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=1789.3 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20146 0 0 0 178923 7 0 0 20 0 1 0 335238965 81121280 19324 33554432000 4194304 8395647 140736233961056 140736233956488 4786004 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19324 635 1026 0 18775 0 Current children cumulated CPU time (s) 1789.3 Current children cumulated vsize (KiB) 79220 [startup+1790 s] /proc/loadavg: 2.09 2.03 2.01 3/177 15561 /proc/meminfo: memFree=27058832/32873660 swapFree=7120/7120 [pid=15484] ppid=15482 vsize=79220 CPUtime=1789.7 cores=1,3,5,7 /proc/15484/stat : 15484 (pbscip.linux.x8) R 15482 15484 13836 0 -1 4202496 20146 0 0 0 178963 7 0 0 20 0 1 0 335238965 81121280 19324 33554432000 4194304 8395647 140736233961056 140736233956488 4243338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/15484/statm: 19805 19324 635 1026 0 18775 0 Current children cumulated CPU time (s) 1789.7 Current children cumulated vsize (KiB) 79220 Child status: 0 Real time (s): 1790.03 CPU time (s): 1789.75 CPU user time (s): 1789.67 CPU system time (s): 0.079987 CPU usage (%): 99.9841 Max. virtual memory (cumulated for all children) (KiB): 83228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.67 system time used= 0.079987 maximum resident set size= 77904 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20155 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= 22 involuntary context switches= 1842 runsolver used 2.6446 second user time and 7.17991 second system time The end
Begin job on node117 at 2012-06-03 04:38:52 IDJOB=3732237 IDBENCH=2039 IDSOLVER=2326 FILE ID=node117/3732237-1338691132 RUNJOBID= node117-1338678620-13856 PBS_JOBID= 14636696 Free space on /tmp= 69112 MiB SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-ex5.pi.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-3732237-1338691132/watcher-3732237-1338691132 -o /tmp/evaluation-result-3732237-1338691132/solver-3732237-1338691132 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3732237-1338691132.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f97e3571862917880e13c63c8ac169f9 RANDOM SEED=453021879 node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.95 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.148 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873660 kB MemFree: 27121172 kB Buffers: 606304 kB Cached: 4114600 kB SwapCached: 776 kB Active: 2407472 kB Inactive: 2432884 kB Active(anon): 105152 kB Inactive(anon): 9972 kB Active(file): 2302320 kB Inactive(file): 2422912 kB Unevictable: 7120 kB Mlocked: 7120 kB SwapTotal: 67108856 kB SwapFree: 67107012 kB Dirty: 10512 kB Writeback: 0 kB AnonPages: 119088 kB Mapped: 14708 kB Shmem: 80 kB Slab: 776412 kB SReclaimable: 220456 kB SUnreclaim: 555956 kB KernelStack: 1472 kB PageTables: 3936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545684 kB Committed_AS: 228468 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 96256 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 69100 MiB End job on node117 at 2012-06-03 05:08:42