Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | OPT | 19 | 24.6642 | 24.67 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos1.opb |
| MD5SUM | 374deb5d477559ba9c51d0ad1d758624 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 19 |
| Best CPU time to get the best result obtained on this benchmark | 2.37564 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 19 |
| Optimality of the best value was proved | YES |
| Number of variables | 2112 |
| Total number of constraints | 5020 |
| Number of constraints which are clauses | 4128 |
| Number of constraints which are cardinality constraints (but not clauses) | 216 |
| Number of constraints which are nor clauses,nor cardinality constraints | 676 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 32 |
| Number of terms in the objective function | 288 |
| 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 | 288 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 5 |
| Number of bits of the biggest number in a constraint | 3 |
| Biggest sum of numbers in a constraint | 288 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2666019-1276351664.opb>
0.09/0.11 c original problem has 2112 variables (2112 bin, 0 int, 0 impl, 0 cont) and 5020 constraints
0.09/0.11 c problem read
0.09/0.11 c presolving settings loaded
0.09/0.14 c presolving:
0.09/0.17 c (round 1) 384 del vars, 3840 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 432 impls, 90 clqs
0.19/0.20 c (round 2) 384 del vars, 4002 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 918 upgd conss, 432 impls, 90 clqs
0.19/0.25 c (round 3) 384 del vars, 4026 del conss, 0 chg bounds, 144 chg sides, 288 chg coeffs, 918 upgd conss, 18432 impls, 378 clqs
0.19/0.27 c (round 4) 384 del vars, 4170 del conss, 0 chg bounds, 576 chg sides, 1704 chg coeffs, 918 upgd conss, 18432 impls, 522 clqs
0.29/0.30 c (round 5) 384 del vars, 4794 del conss, 0 chg bounds, 1368 chg sides, 3816 chg coeffs, 918 upgd conss, 18432 impls, 666 clqs
0.29/0.36 c (0.2s) probing: 101/1728 (5.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.36 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.29/0.36 c presolving (6 rounds):
0.29/0.36 c 384 deleted vars, 4794 deleted constraints, 0 tightened bounds, 0 added holes, 1368 changed sides, 3816 changed coefficients
0.29/0.36 c 18432 implications, 666 cliques
0.29/0.36 c presolved problem has 1728 variables (1728 bin, 0 int, 0 impl, 0 cont) and 1450 constraints
0.29/0.36 c 180 constraints of type <knapsack>
0.29/0.36 c 954 constraints of type <setppc>
0.29/0.36 c 100 constraints of type <linear>
0.29/0.36 c 216 constraints of type <logicor>
0.29/0.36 c transformed objective value is always integral (scale: 1)
0.29/0.36 c Presolving Time: 0.19
0.29/0.36 c - non default parameters ----------------------------------------------------------------------
0.29/0.36 c # SCIP version 1.2.1.2
0.29/0.36 c
0.29/0.36 c # frequency for displaying node information lines
0.29/0.36 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.36 c display/freq = 10000
0.29/0.36 c
0.29/0.36 c # maximal time in seconds to run
0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.36 c limits/time = 1799.9
0.29/0.36 c
0.29/0.36 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.36 c limits/memory = 1620
0.29/0.36 c
0.29/0.36 c # should presolving try to simplify inequalities
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c constraints/linear/simplifyinequalities = TRUE
0.29/0.36 c
0.29/0.36 c # should presolving try to simplify knapsacks
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.36 c
0.29/0.36 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.36 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.36 c separating/rapidlearning/freq = 0
0.29/0.36 c
0.29/0.36 c -----------------------------------------------------------------------------------------------
0.29/0.36 c start solving
0.29/0.36 c
0.39/0.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.43 c 0.3s| 1 | 0 | 615 | - | 10M| 0 | 100 |1728 |1450 |1728 |1450 | 0 | 0 | 0 | 1.800000e+01 | -- | Inf
0.39/0.43 o 26
0.39/0.43 c R 0.3s| 1 | 0 | 615 | - | 10M| 0 | 100 |1728 |1450 |1728 |1450 | 0 | 0 | 0 | 1.800000e+01 | 2.600000e+01 | 44.44%
0.39/0.43 o 25
0.39/0.43 c s 0.3s| 1 | 0 | 615 | - | 10M| 0 | 100 |1728 |1450 |1728 |1450 | 0 | 0 | 0 | 1.800000e+01 | 2.500000e+01 | 38.89%
0.79/0.80 c 0.6s| 1 | 0 | 726 | - | 10M| 0 | 122 |1728 |1450 |1728 |1460 | 10 | 0 | 0 | 1.833333e+01 | 2.500000e+01 | 36.36%
0.79/0.80 o 23
0.79/0.80 c b 0.6s| 1 | 0 | 726 | - | 10M| 0 | 122 |1728 |1450 |1728 |1460 | 10 | 0 | 0 | 1.833333e+01 | 2.300000e+01 | 25.45%
1.10/1.19 c 1.0s| 1 | 0 | 917 | - | 12M| 0 | 149 |1728 |1450 |1728 |1467 | 17 | 0 | 0 | 1.866667e+01 | 2.300000e+01 | 23.21%
1.59/1.68 c 1.5s| 1 | 0 | 1098 | - | 15M| 0 | 210 |1728 |1450 |1728 |1470 | 20 | 0 | 0 | 1.866667e+01 | 2.300000e+01 | 23.21%
1.99/2.09 o 20
1.99/2.09 c E 1.8s| 1 | 0 | 1098 | - | 15M| 0 | 210 |1728 |1450 |1728 |1470 | 20 | 0 | 0 | 1.866667e+01 | 2.000000e+01 | 7.14%
2.09/2.11 c 1.9s| 1 | 0 | 1098 | - | 15M| 0 | 210 |1728 |1450 |1728 |1470 | 20 | 0 | 0 | 1.866667e+01 | 2.000000e+01 | 7.14%
2.20/2.24 c 2.0s| 1 | 0 | 1098 | - | 15M| 0 | 210 |1728 |1296 |1728 |1289 | 20 | 0 | 0 | 1.866667e+01 | 2.000000e+01 | 7.14%
3.30/3.33 c 3.1s| 1 | 2 | 1098 | - | 15M| 0 | 210 |1728 |1296 |1728 |1289 | 20 | 0 | 10 | 1.866667e+01 | 2.000000e+01 | 7.14%
3.30/3.33 c (run 1, node 1) restarting after 452 global fixings of integer variables
3.30/3.33 c
3.30/3.34 c (restart) converted 7 cuts from the global cut pool into linear constraints
3.30/3.34 c
3.30/3.35 c presolving:
3.30/3.37 c (round 1) 452 del vars, 257 del conss, 0 chg bounds, 156 chg sides, 324 chg coeffs, 15 upgd conss, 18584 impls, 391 clqs
3.40/3.44 c presolving (2 rounds):
3.40/3.44 c 452 deleted vars, 257 deleted constraints, 0 tightened bounds, 0 added holes, 156 changed sides, 324 changed coefficients
3.40/3.44 c 18584 implications, 391 cliques
3.40/3.44 c presolved problem has 1276 variables (1276 bin, 0 int, 0 impl, 0 cont) and 1194 constraints
3.40/3.44 c 109 constraints of type <knapsack>
3.40/3.44 c 827 constraints of type <setppc>
3.40/3.44 c 90 constraints of type <linear>
3.40/3.44 c 168 constraints of type <logicor>
3.40/3.44 c transformed objective value is always integral (scale: 1)
3.40/3.44 c Presolving Time: 0.28
3.40/3.44 c
3.59/3.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.59/3.64 c 3.4s| 1 | 0 | 2122 | - |9912k| 0 | 156 |1276 |1194 |1276 |1194 | 0 | 0 | 10 | 1.866667e+01 | 2.000000e+01 | 7.14%
4.09/4.17 c 3.9s| 1 | 0 | 2258 | - | 13M| 0 | 177 |1276 |1194 |1276 |1199 | 5 | 0 | 10 | 1.866667e+01 | 2.000000e+01 | 7.14%
5.60/5.67 c 5.4s| 1 | 0 | 2262 | - | 13M| 0 | 177 |1276 |1185 |1276 |1199 | 5 | 0 | 33 | 1.866667e+01 | 2.000000e+01 | 7.14%
7.80/7.81 c 7.5s| 1 | 0 | 2265 | - | 13M| 0 | 177 |1276 |1176 |1276 |1199 | 5 | 0 | 64 | 1.866667e+01 | 2.000000e+01 | 7.14%
8.90/8.98 c 8.6s| 1 | 0 | 2317 | - | 13M| 0 | 176 |1276 |1166 |1276 |1199 | 5 | 0 | 79 | 1.866667e+01 | 2.000000e+01 | 7.14%
9.39/9.40 c 9.0s| 1 | 0 | 2335 | - | 12M| 0 | 168 |1276 |1155 |1276 |1199 | 5 | 0 | 87 | 1.866667e+01 | 2.000000e+01 | 7.14%
10.18/10.22 c 9.8s| 1 | 0 | 2395 | - | 12M| 0 | 181 |1276 |1152 |1276 |1199 | 5 | 0 | 100 | 1.866667e+01 | 2.000000e+01 | 7.14%
10.89/10.97 c 10.6s| 1 | 0 | 2407 | - | 12M| 0 | 167 |1276 |1144 |1276 |1199 | 5 | 0 | 117 | 1.866667e+01 | 2.000000e+01 | 7.14%
11.79/11.87 c 11.4s| 1 | 0 | 2435 | - | 12M| 0 | 165 |1276 |1136 |1276 |1199 | 5 | 0 | 138 | 1.866667e+01 | 2.000000e+01 | 7.14%
12.20/12.23 c 11.8s| 1 | 0 | 2445 | - | 12M| 0 | 164 |1276 |1132 |1276 |1199 | 5 | 0 | 145 | 1.866667e+01 | 2.000000e+01 | 7.14%
12.99/13.05 c 12.6s| 1 | 0 | 2478 | - | 12M| 0 | 165 |1276 |1123 |1276 |1199 | 5 | 0 | 161 | 1.866667e+01 | 2.000000e+01 | 7.14%
13.69/13.72 c 13.2s| 1 | 0 | 2529 | - | 12M| 0 | 165 |1276 |1114 |1276 |1199 | 5 | 0 | 176 | 1.866667e+01 | 2.000000e+01 | 7.14%
14.69/14.79 c 14.3s| 1 | 0 | 2558 | - | 12M| 0 | 164 |1276 |1110 |1276 |1199 | 5 | 0 | 195 | 1.866667e+01 | 2.000000e+01 | 7.14%
15.28/15.39 c 14.9s| 1 | 0 | 2562 | - | 12M| 0 | 166 |1276 |1110 |1276 |1195 | 5 | 0 | 208 | 1.866667e+01 | 2.000000e+01 | 7.14%
15.98/16.05 c 15.5s| 1 | 0 | 2563 | - | 12M| 0 | 166 |1276 |1110 |1276 |1195 | 5 | 0 | 221 | 1.866667e+01 | 2.000000e+01 | 7.14%
16.69/16.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.69/16.70 c 16.2s| 1 | 0 | 2612 | - | 12M| 0 | 187 |1276 |1109 |1276 |1195 | 5 | 0 | 234 | 1.866667e+01 | 2.000000e+01 | 7.14%
17.09/17.15 c 16.6s| 1 | 0 | 2617 | - | 12M| 0 | 181 |1276 |1097 |1276 |1195 | 5 | 0 | 242 | 1.866667e+01 | 2.000000e+01 | 7.14%
17.38/17.46 c 16.9s| 1 | 0 | 2622 | - | 12M| 0 | 171 |1276 |1091 |1276 |1195 | 5 | 0 | 247 | 1.866667e+01 | 2.000000e+01 | 7.14%
18.09/18.10 c 17.5s| 1 | 0 | 2630 | - | 12M| 0 | 171 |1276 |1088 |1276 |1195 | 5 | 0 | 261 | 1.866667e+01 | 2.000000e+01 | 7.14%
18.69/18.78 c 18.2s| 1 | 0 | 2681 | - | 12M| 0 | 166 |1276 |1083 |1276 |1195 | 5 | 0 | 274 | 1.866667e+01 | 2.000000e+01 | 7.14%
19.28/19.39 c 18.8s| 1 | 0 | 2730 | - | 12M| 0 | 170 |1276 |1077 |1276 |1195 | 5 | 0 | 288 | 1.866667e+01 | 2.000000e+01 | 7.14%
19.89/19.96 c 19.4s| 1 | 0 | 2752 | - | 12M| 0 | 168 |1276 |1070 |1276 |1195 | 5 | 0 | 301 | 1.866667e+01 | 2.000000e+01 | 7.14%
20.19/20.26 c 19.7s| 1 | 0 | 2786 | - | 12M| 0 | 174 |1276 |1064 |1276 |1195 | 5 | 0 | 308 | 1.866667e+01 | 2.000000e+01 | 7.14%
20.59/20.61 c 20.0s| 1 | 0 | 2815 | - | 12M| 0 | 179 |1276 |1059 |1276 |1195 | 5 | 0 | 317 | 1.866667e+01 | 2.000000e+01 | 7.14%
21.19/21.28 c 20.6s| 1 | 0 | 2835 | - | 12M| 0 | 176 |1276 |1056 |1276 |1195 | 5 | 0 | 333 | 1.866667e+01 | 2.000000e+01 | 7.14%
21.59/21.63 c 21.0s| 1 | 0 | 2858 | - | 12M| 0 | 176 |1276 |1051 |1276 |1195 | 5 | 0 | 341 | 1.866667e+01 | 2.000000e+01 | 7.14%
22.09/22.15 c 21.5s| 1 | 0 | 2914 | - | 12M| 0 | 175 |1276 |1046 |1276 |1195 | 5 | 0 | 355 | 1.866667e+01 | 2.000000e+01 | 7.14%
22.59/22.65 c 22.0s| 1 | 0 | 3000 | - | 12M| 0 | 142 |1276 |1041 |1276 |1195 | 5 | 0 | 365 | 1.866667e+01 | 2.000000e+01 | 7.14%
22.79/22.88 c 22.2s| 1 | 2 | 3000 | - | 12M| 0 | 142 |1276 |1041 |1276 |1195 | 5 | 0 | 372 | 1.866667e+01 | 2.000000e+01 | 7.14%
22.79/22.88 c (run 2, node 1) restarting after 238 global fixings of integer variables
22.79/22.88 c
22.79/22.88 c (restart) converted 3 cuts from the global cut pool into linear constraints
22.79/22.88 c
22.79/22.88 c presolving:
22.88/22.94 c (round 1) 242 del vars, 120 del conss, 0 chg bounds, 51 chg sides, 114 chg coeffs, 4 upgd conss, 18636 impls, 328 clqs
22.88/22.97 c presolving (2 rounds):
22.88/22.97 c 242 deleted vars, 120 deleted constraints, 0 tightened bounds, 0 added holes, 51 changed sides, 114 changed coefficients
22.88/22.97 c 18636 implications, 328 cliques
22.88/22.97 c presolved problem has 1034 variables (1034 bin, 0 int, 0 impl, 0 cont) and 966 constraints
22.88/22.97 c 82 constraints of type <knapsack>
22.88/22.97 c 682 constraints of type <setppc>
22.88/22.97 c 87 constraints of type <linear>
22.88/22.97 c 115 constraints of type <logicor>
22.88/22.97 c transformed objective value is always integral (scale: 1)
22.88/22.97 c Presolving Time: 0.36
22.88/22.97 c
22.98/23.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.98/23.09 c 22.4s| 1 | 0 | 3806 | - |9569k| 0 | 104 |1034 | 966 |1034 | 966 | 0 | 0 | 372 | 1.866667e+01 | 2.000000e+01 | 7.14%
23.39/23.48 c 22.8s| 1 | 0 | 3892 | - | 11M| 0 | 131 |1034 | 966 |1034 | 970 | 4 | 0 | 372 | 1.866667e+01 | 2.000000e+01 | 7.14%
24.19/24.25 c 23.6s| 1 | 2 | 3892 | - | 11M| 0 | 131 |1034 | 966 |1034 | 970 | 4 | 0 | 396 | 1.866667e+01 | 2.000000e+01 | 7.14%
24.59/24.63 o 19
24.59/24.63 c R23.9s| 3 | 0 | 3976 | 42.0 | 11M| 2 | - |1034 | 966 |1034 | 966 | 4 | 0 | 420 | 1.900000e+01 | 1.900000e+01 | 0.00%
24.59/24.63 c
24.59/24.63 c SCIP Status : problem is solved [optimal solution found]
24.59/24.63 c Solving Time (sec) : 23.94
24.59/24.63 c Solving Nodes : 3 (total of 5 nodes in 3 runs)
24.59/24.63 c Primal Bound : +1.90000000000000e+01 (5 solutions)
24.59/24.63 c Dual Bound : +1.90000000000000e+01
24.59/24.63 c Gap : 0.00 %
24.59/24.64 s OPTIMUM FOUND
24.59/24.64 v x1824 x1823 x1822 x1821 x1820 x1819 x1818 x1817 x1816 x1815 x1814 x1813 x1812 x1811 x1810 x1809 x1808 x1807 x1806 x1805 x1804 x1803
24.59/24.64 v x1802 x1801 x1800 x1799 x1798 x1797 x1796 x1795 x1794 x1793 x1792 x1791 x1790 x1789 x1788 x1787 x1786 x1785 x1784 x1783
24.59/24.64 v x1782 x1781 x1780 x1779 x1778 x1777 x1776 x1775 x1774 x1773 x1772 x1771 x1770 x1769 x1768 x1767 x1766 x1765 x1764 x1763 x1762
24.59/24.64 v x1761 x1760 x1759 x1758 x1757 x1756 x1755 x1754 x1753 x1752 x1751 x1750 x1749 x1748 x1747 x1746 x1745 x1744 x1743 x1742 x1741
24.59/24.64 v x1740 x1739 x1738 x1737 x1736 x1735 x1734 x1733 x1732 x1731 x1730 x1729 x1728 x1727 x1726 x1725 x1724 x1723 x1722 x1721 x1720
24.59/24.64 v x1719 x1718 x1717 x1716 x1715 x1714 x1713 x1712 x1711 x1710 x1709 x1708 x1707 x1706 x1705 x1704 x1703 x1702 x1701 x1700 x1699
24.59/24.64 v x1698 x1697 x1696 x1695 x1694 x1693 x1692 x1691 x1690 x1689 x1688 x1687 x1686 x1685 x1684 x1683 x1682 x1681 x1680 x1679 x1678
24.59/24.64 v x1677 x1676 x1675 x1674 x1673 x1672 x1671 x1670 x1669 x1668 x1667 x1666 x1665 x1664 x1663 x1662 x1661 x1660 x1659 x1658
24.59/24.64 v x1657 x1656 x1655 x1654 x1653 x1652 x1651 x1650 x1649 x1648 x1647 x1646 x1645 x1644 x1643 x1642 x1641 x1640 x1639 x1638 x1637
24.59/24.64 v x1636 x1635 x1634 x1633 x1632 x1631 x1630 x1629 x1628 x1627 x1626 x1625 x1624 x1623 x1622 x1621 x1620 x1619 x1618 x1617 x1616
24.59/24.64 v x1615 x1614 x1613 x1612 x1611 x1610 x1609 x1608 x1607 x1606 x1605 x1604 x1603 x1602 x1601 x1600 x1599 x1598 x1597 x1596 x1595
24.59/24.64 v x1594 x1593 x1592 x1591 x1590 x1589 x1588 x1587 x1586 x1585 x1584 x1583 x1582 x1581 x1580 x1579 x1578 x1577 x1576 x1575 x1574
24.59/24.64 v x1573 x1572 x1571 x1570 x1569 x1568 x1567 x1566 x1565 x1564 x1563 x1562 x1561 x1560 x1559 x1558 x1557 x1556 x1555 x1554 x1553
24.59/24.64 v x1552 x1551 x1550 x1549 x1548 x1547 x1546 x1545 x1544 x1543 x1542 x1541 x1540 x1539 x1538 x1537 x1536 x1535 x1534 x1533
24.59/24.64 v x1532 x1531 x1530 x1529 x1528 x1527 x1526 x1525 x1524 x1523 x1522 x1521 x1520 x1519 x1518 x1517 x1516 x1515 x1514 x1513 x1512
24.59/24.64 v x1511 x1510 x1509 x1508 x1507 x1506 x1505 x1504 x1503 x1502 x1501 x1500 x1499 x1498 x1497 x1496 x1495 x1494 x1493 x1492 x1491
24.59/24.64 v x1490 x1489 x1488 x1487 x1486 x1485 x1484 x1483 x1482 x1481 x1480 x1479 x1478 x1477 x1476 x1475 x1474 x1473 x1472 x1471 x1470
24.59/24.64 v x1469 x1468 x1467 x1466 x1465 x1464 x1463 x1462 x1461 x1460 x1459 x1458 x1457 x1456 x1455 x1454 x1453 x1452 x1451 x1450 x1449
24.59/24.64 v x1448 x1447 x1446 x1445 x1444 x1443 x1442 x1441 -x1440 -x1435 -x1430 -x1425 -x1420 -x1415 -x1410 -x1405 -x1400 -x1395 -x1390
24.59/24.64 v -x1385 -x1380 -x1375 -x1370 -x1365 -x1320 -x1315 -x1310 -x1305 -x1300 -x1295 -x1290 -x1285 -x1240 -x1235 -x1230 -x1225 -x1220
24.59/24.64 v -x1215 -x1210 -x1205 -x1200 -x1195 -x1190 -x1185 -x1180 -x1175 -x1170 -x1165 -x1160 -x1155 -x1150 -x1145 -x1140 -x1135 -x1130
24.59/24.64 v -x1125 -x1120 -x1115 -x1110 -x1105 -x1100 -x1095 -x1090 -x1085 -x920 -x915 -x910 -x905 -x900 -x895 x890 -x885 -x880 -x875
24.59/24.64 v -x870 -x865 -x860 -x855 -x850 -x845 -x820 -x815 -x810 -x805 -x800 -x795 -x790 -x785 -x780 -x775 -x770 -x765 -x740 -x735 -x730
24.59/24.64 v -x725 -x1399 -x1394 -x1389 -x1384 -x1379 -x1374 -x1369 -x1364 -x1359 -x1354 -x1349 -x1344 -x1339 -x1334 -x1329 -x1324 -x1279
24.59/24.64 v -x1274 -x1269 -x1264 -x1259 -x1254 -x1249 -x1244 -x1239 -x1234 -x1229 -x1224 -x1219 -x1214 -x1209 x1204 -x1079 -x1074 -x1069
24.59/24.64 v -x1064 -x1059 -x1054 -x1049 -x1044 -x1159 -x1154 -x1149 -x1144 -x1139 -x1134 -x1129 -x1124 -x1119 -x1114 -x1109 -x1104 -x1099
24.59/24.64 v -x1094 -x1089 -x1084 -x919 -x914 -x909 -x904 -x899 -x894 -x889 x884 -x879 -x874 -x869 -x864 -x859 -x854 -x849 -x844 -x819
24.59/24.64 v -x814 -x809 -x804 -x799 -x794 -x789 -x784 -x779 -x774 -x769 -x764 -x739 -x734 -x729 -x724 -x1398 -x1393 -x1388 -x1383 -x1378
24.59/24.64 v -x1373 -x1368 -x1363 -x1358 -x1353 -x1348 -x1343 -x1338 -x1333 -x1328 -x1323 -x1278 -x1273 -x1268 -x1263 -x1258 -x1253 -x1248
24.59/24.64 v -x1243 -x1238 -x1233 -x1228 -x1223 -x1218 -x1213 -x1208 x1203 -x1078 -x1073 -x1068 -x1063 -x1058 -x1053 -x1048 -x1043 -x1158
24.59/24.64 v -x1153 -x1148 -x1143 -x1138 -x1133 -x1128 -x1123 -x1118 -x1113 -x1108 -x1103 -x1098 -x1093 -x1088 -x1083 -x1038 -x1033 -x1028
24.59/24.64 v -x1023 -x1018 -x1013 -x1008 -x1003 -x998 -x993 -x988 -x983 -x978 -x973 -x968 -x963 -x878 -x873 -x868 -x863 -x858 -x853 -x848
24.59/24.64 v -x843 -x838 -x833 -x828 -x823 -x798 -x793 -x788 -x783 -x778 -x773 -x768 -x763 -x758 -x753 -x748 -x743 -x1437 -x1432 -x1427
24.59/24.64 v -x1422 -x1417 -x1412 -x1407 x1402 -x1397 -x1392 -x1387 -x1382 -x1377 -x1372 -x1367 -x1362 -x1317 -x1312 -x1307 -x1302 -x1297
24.59/24.64 v -x1292 -x1287 -x1282 -x1357 -x1352 -x1347 -x1342 -x1337 -x1332 -x1327 -x1322 -x1277 -x1272 -x1267 -x1262 -x1257 -x1252 -x1247
24.59/24.64 v -x1242 -x1157 -x1152 -x1147 -x1142 -x1137 -x1132 -x1127 -x1122 -x1037 -x1032 -x1027 -x1022 -x1017 -x1012 -x1007 -x1002 -x997
24.59/24.64 v -x992 -x987 -x982 -x977 -x972 -x967 -x962 -x957 -x952 -x947 -x942 -x937 -x932 -x927 -x922 -x857 -x852 -x847 -x842 -x837 -x832
24.59/24.64 v -x827 -x822 -x817 -x812 -x807 -x802 -x777 -x772 -x767 -x762 -x757 -x752 -x747 -x742 -x737 -x732 -x727 -x722 -x1316 -x1311
24.59/24.64 v -x1306 -x1301 -x1296 -x1291 -x1286 -x1281 -x1276 -x1271 -x1266 -x1261 -x1256 -x1251 -x1246 -x1241 -x1076 -x1071 -x1066 -x1061
24.59/24.64 v -x1056 -x1051 -x1046 -x1041 -x1196 -x1191 -x1186 -x1181 -x1176 -x1171 -x1166 -x1161 -x1156 -x1151 -x1146 -x1141 -x1136 -x1131
24.59/24.64 v -x1126 -x1121 -x1116 -x1111 -x1106 -x1101 -x1096 -x1091 -x1086 -x1081 -x1036 -x1031 -x1026 -x1021 -x1016 -x1011 -x1006 -x1001
24.59/24.64 v -x996 -x991 -x986 -x981 -x976 -x971 -x966 -x961 -x956 -x951 -x946 -x941 -x936 -x931 -x926 -x921 -x916 -x911 -x906 -x901 -x896
24.59/24.64 v -x891 -x886 x881 -x720 -x715 -x710 -x705 -x700 -x695 -x690 -x685 -x680 -x675 -x670 -x665 -x660 -x655 -x650 -x645 -x600 -x595
24.59/24.64 v -x590 -x585 -x580 -x575 -x570 -x565 -x520 -x515 -x510 -x505 -x500 -x495 -x490 -x485 -x480 -x475 -x470 -x465 -x460 -x455
24.59/24.64 v -x450 -x445 -x440 -x435 -x430 -x425 -x420 -x415 -x410 -x405 -x400 -x395 -x390 -x385 -x380 -x375 -x370 -x365 -x200 -x195 -x190
24.59/24.64 v -x185 -x180 -x175 -x170 -x165 -x160 -x155 -x150 -x145 -x140 -x135 -x130 -x125 -x100 -x95 -x90 -x85 -x80 -x75 -x70 -x65 -x60
24.59/24.64 v -x55 -x50 -x45 -x20 -x15 -x10 -x5 -x679 -x674 -x669 -x664 -x659 -x654 -x649 -x644 -x639 -x634 -x629 -x624 -x619 -x614 -x609 -x604
24.59/24.64 v -x559 -x554 -x549 -x544 -x539 -x534 -x529 -x524 -x519 -x514 -x509 -x504 -x499 -x494 -x489 -x484 -x359 -x354 -x349 -x344
24.59/24.64 v -x339 -x334 -x329 -x324 -x439 -x434 -x429 -x424 -x419 -x414 -x409 -x404 -x399 -x394 -x389 -x384 -x379 -x374 -x369 -x364 -x199
24.59/24.64 v -x194 -x189 -x184 -x179 -x174 -x169 -x164 -x159 -x154 -x149 -x144 -x139 -x134 -x129 -x124 -x99 -x94 -x89 -x84 x79 -x74 -x69
24.59/24.64 v -x64 -x59 -x54 -x49 -x44 -x19 -x14 -x9 -x4 -x678 -x673 -x668 -x663 -x658 -x653 -x648 -x643 -x638 -x633 -x628 -x623 -x618 -x613
24.59/24.64 v -x608 -x603 -x558 -x553 -x548 -x543 -x538 -x533 -x528 -x523 -x518 -x513 -x508 -x503 -x498 -x493 -x488 -x483 -x358 -x353 -x348
24.59/24.64 v -x343 -x338 -x333 -x328 -x323 -x438 -x433 -x428 -x423 -x418 -x413 -x408 -x403 -x398 -x393 -x388 -x383 -x378 -x373 -x368 -x363
24.59/24.64 v -x318 -x313 -x308 -x303 -x298 -x293 -x288 -x283 -x278 -x273 -x268 -x263 -x258 -x253 -x248 -x243 -x158 -x153 -x148 -x143 -x138
24.59/24.64 v -x133 -x128 -x123 -x118 -x113 -x108 -x103 x78 -x73 -x68 -x63 -x58 -x53 -x48 -x43 -x38 -x33 -x28 -x23 -x717 -x712 -x707 -x702
24.59/24.64 v -x697 -x692 -x687 -x682 -x677 -x672 -x667 -x662 -x657 -x652 -x647 -x642 -x597 -x592 -x587 -x582 -x577 -x572 -x567 -x562
24.59/24.64 v -x637 -x632 -x627 -x622 -x617 -x612 -x607 -x602 -x557 -x552 -x547 -x542 -x537 -x532 -x527 -x522 -x437 -x432 -x427 -x422 -x417
24.59/24.64 v -x412 -x407 -x402 -x317 -x312 -x307 -x302 -x297 -x292 -x287 -x282 -x277 -x272 -x267 -x262 -x257 -x252 -x247 -x242 -x237 -x232
24.59/24.64 v -x227 -x222 -x217 -x212 -x207 -x202 -x137 -x132 -x127 -x122 -x117 -x112 -x107 -x102 -x97 -x92 -x87 -x82 -x57 -x52 -x47 -x42
24.59/24.64 v -x37 -x32 -x27 -x22 x17 -x12 -x7 -x2 -x596 -x591 -x586 -x581 -x576 -x571 -x566 -x561 -x556 -x551 -x546 -x541 -x536 -x531 -x526
24.59/24.64 v -x521 -x356 -x351 -x346 -x341 -x336 -x331 -x326 -x321 -x476 -x471 -x466 -x461 -x456 -x451 -x446 x441 -x436 -x431 -x426 -x421
24.59/24.64 v -x416 -x411 -x406 -x401 -x396 -x391 -x386 -x381 -x376 -x371 -x366 -x361 -x316 -x311 -x306 -x301 -x296 -x291 -x286 -x281 -x276
24.59/24.64 v -x271 -x266 -x261 -x256 -x251 -x246 -x241 -x236 -x231 -x226 -x221 -x216 -x211 -x206 -x201 -x196 -x191 -x186 -x181 -x176 -x171
24.59/24.64 v -x166 -x161 -x1360 -x1355 -x1350 -x1345 -x1340 -x1335 -x1330 -x1325 -x1280 -x1275 -x1270 -x1265 -x1260 -x1255 -x1250 -x1245
24.59/24.64 v -x1080 -x1075 -x1070 -x1065 -x1060 -x1055 -x1050 x1045 -x1439 -x1434 -x1429 x1424 -x1419 -x1414 -x1409 -x1404 -x1319 -x1314
24.59/24.64 v -x1309 -x1304 -x1299 -x1294 -x1289 -x1284 -x1199 -x1194 -x1189 -x1184 -x1179 -x1174 -x1169 -x1164 -x1438 -x1433 -x1428 x1423
24.59/24.64 v -x1418 -x1413 -x1408 -x1403 -x1318 -x1313 -x1308 -x1303 -x1298 -x1293 -x1288 -x1283 -x1198 -x1193 -x1188 -x1183 -x1178 -x1173
24.59/24.64 v -x1168 -x1163 -x1237 -x1232 -x1227 x1222 -x1217 -x1212 -x1207 -x1202 -x1077 -x1072 -x1067 -x1062 -x1057 -x1052 -x1047 -x1042
24.59/24.64 v -x917 -x912 -x907 -x902 -x897 -x892 -x887 -x882 -x1436 -x1431 -x1426 -x1421 -x1416 -x1411 -x1406 -x1401 -x1396 -x1391 -x1386
24.59/24.64 v -x1381 -x1376 -x1371 -x1366 -x1361 -x1356 -x1351 -x1346 -x1341 -x1336 -x1331 -x1326 -x1321 -x1236 -x1231 -x1226 -x1221 -x1216
24.59/24.64 v -x1211 -x1206 x1201 -x640 -x635 -x630 -x625 -x620 -x615 -x610 -x605 -x560 -x555 -x550 -x545 -x540 -x535 -x530 -x525 -x360
24.59/24.64 v -x355 -x350 -x345 -x340 -x335 -x330 -x325 -x719 -x714 -x709 -x704 -x699 -x694 -x689 -x684 -x599 -x594 -x589 -x584 -x579 -x574
24.59/24.64 v -x569 -x564 -x479 -x474 -x469 -x464 -x459 -x454 -x449 x444 -x718 -x713 -x708 -x703 -x698 -x693 -x688 -x683 -x598 -x593 -x588
24.59/24.64 v -x583 -x578 -x573 -x568 -x563 -x478 -x473 -x468 -x463 -x458 -x453 -x448 x443 -x517 -x512 -x507 -x502 -x497 -x492 -x487 -x482
24.59/24.64 v -x357 -x352 -x347 -x342 -x337 -x332 -x327 -x322 -x197 -x192 -x187 -x182 -x177 x172 -x167 -x162 -x716 -x711 -x706 -x701 -x696
24.59/24.64 v -x691 x686 -x681 -x676 -x671 -x666 -x661 -x656 -x651 -x646 -x641 -x636 -x631 -x626 -x621 -x616 -x611 -x606 -x601 -x516 -x511
24.59/24.64 v -x506 -x501 -x496 -x491 -x486 -x481 -x1040 -x1035 -x1030 -x1025 -x1020 -x1015 -x1010 -x1005 -x1000 -x995 -x990 -x985 -x980
24.59/24.64 v -x975 -x970 -x965 -x960 -x955 -x950 x945 -x940 -x935 -x930 -x925 -x840 -x835 -x830 -x825 -x760 -x755 -x750 -x745 -x1039 -x1034
24.59/24.64 v -x1029 -x1024 -x1019 -x1014 -x1009 -x1004 -x999 -x994 -x989 -x984 -x979 -x974 -x969 -x964 -x959 -x954 -x949 x944 -x939 -x934
24.59/24.64 v -x929 -x924 -x839 -x834 -x829 -x824 -x759 -x754 -x749 -x744 -x958 -x953 -x948 -x943 -x938 -x933 -x928 -x923 -x918 -x913 -x908
24.59/24.64 v -x903 -x898 -x893 -x888 x883 -x818 -x813 -x808 -x803 -x738 -x733 -x728 -x723 -x1197 -x1192 -x1187 -x1182 x1177 -x1172 -x1167
24.59/24.64 v -x1162 -x1117 -x1112 -x1107 -x1102 -x1097 -x1092 -x1087 -x1082 -x877 -x872 -x867 -x862 -x797 -x792 -x787 -x782 -x876 -x871
24.59/24.64 v -x866 -x861 -x856 -x851 -x846 -x841 -x836 -x831 -x826 -x821 -x816 -x811 -x806 -x801 -x796 -x791 -x786 -x781 -x776 -x771 -x766
24.59/24.64 v -x761 -x756 -x751 -x746 -x741 -x736 -x731 -x726 x721 -x320 -x315 -x310 -x305 -x300 -x295 -x290 -x285 -x280 -x275 -x270 -x265
24.59/24.64 v -x260 -x255 -x250 x245 -x240 -x235 -x230 -x225 -x220 -x215 -x210 -x205 -x120 -x115 -x110 -x105 -x40 -x35 -x30 -x25 -x319 -x314
24.59/24.64 v -x309 -x304 -x299 -x294 -x289 -x284 -x279 -x274 -x269 -x264 -x259 -x254 -x249 -x244 -x239 -x234 -x229 -x224 -x219 -x214
24.59/24.64 v -x209 -x204 -x119 -x114 -x109 x104 -x39 -x34 -x29 -x24 -x238 -x233 -x228 -x223 -x218 -x213 -x208 -x203 -x198 -x193 -x188 -x183
24.59/24.64 v -x178 -x173 -x168 -x163 -x98 -x93 x88 -x83 -x18 -x13 -x8 -x3 -x477 -x472 -x467 -x462 -x457 -x452 -x447 -x442 -x397 -x392 -x387
24.59/24.64 v -x382 -x377 -x372 -x367 -x362 -x157 -x152 -x147 x142 -x77 -x72 -x67 -x62 -x156 -x151 -x146 -x141 -x136 -x131 -x126 -x121
24.59/24.64 v -x116 -x111 -x106 -x101 -x96 -x91 -x86 -x81 x76 -x71 -x66 -x61 -x56 -x51 -x46 -x41 -x36 -x31 -x26 -x21 -x16 -x11 -x6 -x1 -x2112
24.59/24.64 v -x2111 -x2110 x2109 -x2108 -x2107 -x2106 x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094
24.59/24.64 v -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076
24.59/24.64 v -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 x2069 -x2068 -x2067 -x2066 x2065 -x2064 -x2063 -x2062 -x2061 x2060 -x2059 -x2058
24.59/24.64 v -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040
24.59/24.64 v -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022
24.59/24.64 v -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004
24.59/24.64 v -x2003 x2002 x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986
24.59/24.64 v -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 x1969 -x1968
24.59/24.64 v -x1967 -x1966 -x1965 -x1964 -x1963 x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950
24.59/24.64 v -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932
24.59/24.64 v -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914
24.59/24.64 v x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896
24.59/24.64 v -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878
24.59/24.64 v -x1877 -x1876 -x1875 -x1874 x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860
24.59/24.64 v x1859 -x1858 -x1857 -x1856 -x1855 -x1854 x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 x1845 -x1844 -x1843 x1842
24.59/24.64 v -x1841 x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 x1828 -x1827 -x1826 -x1825
24.59/24.64 c SCIP Status : problem is solved [optimal solution found]
24.59/24.64 c Solving Time : 23.94
24.59/24.64 c Original Problem :
24.59/24.64 c Problem name : HOME/instance-2666019-1276351664.opb
24.59/24.64 c Variables : 2112 (2112 binary, 0 integer, 0 implicit integer, 0 continuous)
24.59/24.64 c Constraints : 5020 initial, 5020 maximal
24.59/24.64 c Presolved Problem :
24.59/24.64 c Problem name : t_HOME/instance-2666019-1276351664.opb
24.59/24.64 c Variables : 1034 (1034 binary, 0 integer, 0 implicit integer, 0 continuous)
24.59/24.64 c Constraints : 966 initial, 966 maximal
24.59/24.64 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
24.59/24.64 c trivial : 0.00 690 0 0 0 0 0 0 0
24.59/24.64 c dualfix : 0.01 388 0 0 0 0 0 0 0
24.59/24.64 c boundshift : 0.00 0 0 0 0 0 0 0 0
24.59/24.64 c inttobinary : 0.00 0 0 0 0 0 0 0 0
24.59/24.64 c implics : 0.00 0 0 0 0 0 0 0 0
24.59/24.64 c probing : 0.05 0 0 0 0 0 0 0 0
24.59/24.64 c knapsack : 0.20 0 0 0 0 0 517 1575 4254
24.59/24.64 c setppc : 0.04 0 0 0 0 0 551 0 0
24.59/24.64 c linear : 0.03 0 0 0 0 0 4002 0 0
24.59/24.64 c logicor : 0.00 0 0 0 0 0 101 0 0
24.59/24.64 c root node : - 694 - - 694 - - - -
24.59/24.64 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
24.59/24.64 c integral : 0 0 0 30 0 0 110 0 0 8
24.59/24.64 c knapsack : 82 7 256 0 0 0 83 0 0 0
24.59/24.64 c setppc : 682 7 256 0 0 0 224 0 0 0
24.59/24.64 c linear : 87 7 256 0 0 0 111 0 0 0
24.59/24.64 c logicor : 115 7 205 0 0 0 3 0 0 0
24.59/24.64 c countsols : 0 0 0 0 0 0 0 0 0 0
24.59/24.64 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
24.59/24.64 c integral : 20.15 0.00 0.00 20.15 0.00
24.59/24.64 c knapsack : 0.21 0.19 0.02 0.00 0.00
24.59/24.64 c setppc : 0.01 0.00 0.01 0.00 0.00
24.59/24.64 c linear : 0.07 0.04 0.03 0.00 0.00
24.59/24.64 c logicor : 0.01 0.00 0.01 0.00 0.00
24.59/24.64 c countsols : 0.00 0.00 0.00 0.00 0.00
24.59/24.64 c Propagators : Time Calls Cutoffs DomReds
24.59/24.64 c vbounds : 0.00 4 0 0
24.59/24.64 c rootredcost : 0.00 0 0 0
24.59/24.64 c pseudoobj : 0.00 62 0 0
24.59/24.64 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
24.59/24.64 c propagation : 0.00 0 0 0 0.0 0 0.0 -
24.59/24.64 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
24.59/24.64 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
24.59/24.64 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
24.59/24.64 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
24.59/24.64 c applied globally : - - - 0 0.0 - - -
24.59/24.64 c applied locally : - - - 0 0.0 - - -
24.59/24.64 c Separators : Time Calls Cutoffs DomReds Cuts Conss
24.59/24.64 c cut pool : 0.00 0 - - 0 - (maximal pool size: 131)
24.59/24.64 c redcost : 0.00 9 0 443 0 0
24.59/24.64 c impliedbounds : 0.00 7 0 0 0 0
24.59/24.64 c intobj : 0.00 0 0 0 0 0
24.59/24.64 c cgmip : 0.00 0 0 0 0 0
24.59/24.64 c gomory : 0.41 7 0 0 521 0
24.59/24.64 c strongcg : 0.89 7 0 0 1229 0
24.59/24.64 c cmir : 0.13 7 0 0 0 0
24.59/24.64 c flowcover : 0.24 7 0 0 0 0
24.59/24.64 c clique : 0.04 7 0 0 20 0
24.59/24.64 c zerohalf : 0.00 0 0 0 0 0
24.59/24.64 c mcf : 0.00 3 0 0 0 0
24.59/24.64 c rapidlearning : 0.12 1 0 0 0 0
24.59/24.64 c Pricers : Time Calls Vars
24.59/24.64 c problem variables: 0.00 0 0
24.59/24.64 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
24.59/24.64 c relpscost : 20.15 30 0 110 0 0 8
24.59/24.64 c pscost : 0.00 0 0 0 0 0 0
24.59/24.64 c inference : 0.00 0 0 0 0 0 0
24.59/24.64 c mostinf : 0.00 0 0 0 0 0 0
24.59/24.64 c leastinf : 0.00 0 0 0 0 0 0
24.59/24.64 c fullstrong : 0.00 0 0 0 0 0 0
24.59/24.64 c allfullstrong : 0.00 0 0 0 0 0 0
24.59/24.64 c random : 0.00 0 0 0 0 0 0
24.59/24.64 c Primal Heuristics : Time Calls Found
24.59/24.64 c LP solutions : 0.00 - 0
24.59/24.64 c pseudo solutions : 0.00 - 0
24.59/24.64 c crossover : 0.00 0 0
24.59/24.64 c coefdiving : 0.00 0 0
24.59/24.64 c oneopt : 0.00 3 1
24.59/24.64 c trivial : 0.01 2 0
24.59/24.64 c simplerounding : 0.00 0 0
24.59/24.64 c zirounding : 0.00 3 0
24.59/24.64 c rounding : 0.02 36 2
24.59/24.64 c shifting : 0.07 34 1
24.59/24.64 c intshifting : 0.00 0 0
24.59/24.64 c twoopt : 0.00 0 0
24.59/24.64 c fixandinfer : 0.00 0 0
24.59/24.64 c feaspump : 0.00 0 0
24.59/24.64 c pscostdiving : 0.00 0 0
24.59/24.64 c fracdiving : 0.00 0 0
24.59/24.64 c veclendiving : 0.00 0 0
24.59/24.64 c intdiving : 0.00 0 0
24.59/24.64 c actconsdiving : 0.00 0 0
24.59/24.64 c objpscostdiving : 0.00 0 0
24.59/24.64 c rootsoldiving : 0.00 0 0
24.59/24.64 c linesearchdiving : 0.00 0 0
24.59/24.64 c guideddiving : 0.00 0 0
24.59/24.64 c octane : 0.00 0 0
24.59/24.64 c rens : 0.26 1 1
24.59/24.64 c rins : 0.00 0 0
24.59/24.64 c localbranching : 0.00 0 0
24.59/24.64 c mutation : 0.00 0 0
24.59/24.64 c dins : 0.00 0 0
24.59/24.64 c undercover : 0.00 0 0
24.59/24.64 c nlp : 0.00 0 0
24.59/24.64 c trysol : 0.00 0 0
24.59/24.64 c LP : Time Calls Iterations Iter/call Iter/sec
24.59/24.64 c primal LP : 0.01 0 0 0.00 0.00
24.59/24.64 c dual LP : 0.85 36 3976 110.44 4677.65
24.59/24.64 c lex dual LP : 0.00 0 0 0.00 -
24.59/24.64 c barrier LP : 0.00 0 0 0.00 -
24.59/24.64 c diving/probing LP: 0.00 0 0 0.00 -
24.59/24.64 c strong branching : 20.15 420 74529 177.45 3698.71
24.59/24.64 c (at root node) : - 396 72918 184.14 -
24.59/24.64 c conflict analysis: 0.00 0 0 0.00 -
24.59/24.64 c B&B Tree :
24.59/24.64 c number of runs : 3
24.59/24.64 c nodes : 3
24.59/24.64 c nodes (total) : 5
24.59/24.64 c nodes left : 0
24.59/24.64 c max depth : 2
24.59/24.64 c max depth (total): 2
24.59/24.64 c backtracks : 0 (0.0%)
24.59/24.64 c delayed cutoffs : 0
24.59/24.64 c repropagations : 0 (0 domain reductions, 0 cutoffs)
24.59/24.64 c avg switch length: 2.00
24.59/24.64 c switching time : 0.00
24.59/24.64 c Solution :
24.59/24.64 c Solutions found : 5 (5 improvements)
24.59/24.64 c First Solution : +2.60000000000000e+01 (in run 1, after 1 nodes, 0.28 seconds, depth 0, found by <rounding>)
24.59/24.64 c Primal Bound : +1.90000000000000e+01 (in run 3, after 3 nodes, 23.94 seconds, depth 2, found by <rounding>)
24.59/24.64 c Dual Bound : +1.90000000000000e+01
24.59/24.64 c Gap : 0.00 %
24.59/24.64 c Root Dual Bound : +1.86666666666667e+01
24.59/24.64 c Root Iterations : 3892
24.59/24.66 c Time complete: 24.65.
OK 19
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666019-1276351664/watcher-2666019-1276351664 -o /tmp/evaluation-result-2666019-1276351664/solver-2666019-1276351664 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666019-1276351664.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 1.09 3/106 11930 /proc/meminfo: memFree=1741372/2059040 swapFree=4165008/4192956 [pid=11930] ppid=11928 vsize=9288 CPUtime=0 /proc/11930/stat : 11930 (pbscip.linux.x8) R 11928 11930 11905 0 -1 4202496 1264 0 0 0 0 0 0 0 18 0 1 0 10770352 9510912 1184 1992294400 4194304 9819077 140733481527264 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11930/statm: 2322 1194 371 1374 0 943 0 [startup+0.107218 s] /proc/loadavg: 0.92 0.98 1.09 3/106 11930 /proc/meminfo: memFree=1741372/2059040 swapFree=4165008/4192956 [pid=11930] ppid=11928 vsize=15684 CPUtime=0.09 /proc/11930/stat : 11930 (pbscip.linux.x8) R 11928 11930 11905 0 -1 4202496 2848 0 0 0 9 0 0 0 20 0 1 0 10770352 16060416 2768 1992294400 4194304 9819077 140733481527264 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11930/statm: 3921 2768 388 1374 0 2542 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15684 [startup+0.201226 s] /proc/loadavg: 0.92 0.98 1.09 3/106 11930 /proc/meminfo: memFree=1741372/2059040 swapFree=4165008/4192956 [pid=11930] ppid=11928 vsize=26556 CPUtime=0.19 /proc/11930/stat : 11930 (pbscip.linux.x8) R 11928 11930 11905 0 -1 4202496 6277 0 0 0 17 2 0 0 20 0 1 0 10770352 27193344 5329 1992294400 4194304 9819077 140733481527264 18446744073709551615 6179988 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11930/statm: 6639 5329 497 1374 0 5260 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 26556 [startup+0.301233 s] /proc/loadavg: 0.92 0.98 1.09 3/106 11930 /proc/meminfo: memFree=1741372/2059040 swapFree=4165008/4192956 [pid=11930] ppid=11928 vsize=28776 CPUtime=0.29 /proc/11930/stat : 11930 (pbscip.linux.x8) R 11928 11930 11905 0 -1 4202496 9223 0 0 0 25 4 0 0 20 0 1 0 10770352 29466624 5901 1992294400 4194304 9819077 140733481527264 18446744073709551615 4333616 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11930/statm: 7194 5901 507 1374 0 5815 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28776 [startup+0.701266 s] /proc/loadavg: 0.92 0.98 1.09 3/106 11930 /proc/meminfo: memFree=1741372/2059040 swapFree=4165008/4192956 [pid=11930] ppid=11928 vsize=53956 CPUtime=0.69 /proc/11930/stat : 11930 (pbscip.linux.x8) R 11928 11930 11905 0 -1 4202496 17100 0 0 0 61 8 0 0 20 0 1 0 10770352 55250944 11570 1992294400 4194304 9819077 140733481527264 18446744073709551615 4333616 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11930/statm: 13489 11570 685 1374 0 12110 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 53956 [startup+1.50133 s] /proc/loadavg: 0.92 0.98 1.09 2/107 11931 /proc/meminfo: memFree=1706520/2059040 swapFree=4165008/4192956 [pid=11930] ppid=11928 vsize=50568 CPUtime=1.5 /proc/11930/stat : 11930 (pbscip.linux.x8) R 11928 11930 11905 0 -1 4202496 22032 0 0 0 139 11 0 0 23 0 1 0 10770352 51781632 10904 1992294400 4194304 9819077 140733481527264 18446744073709551615 7311708 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11930/statm: 12642 10904 700 1374 0 11263 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 50568 [startup+3.10146 s] /proc/loadavg: 0.92 0.98 1.09 2/107 11931 /proc/meminfo: memFree=1698460/2059040 swapFree=4165008/4192956 [pid=11930] ppid=11928 vsize=54508 CPUtime=3.09 /proc/11930/stat : 11930 (pbscip.linux.x8) R 11928 11930 11905 0 -1 4202496 34921 0 0 0 292 17 0 0 25 0 1 0 10770352 55816192 11282 1992294400 4194304 9819077 140733481527264 18446744073709551615 7298818 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11930/statm: 13627 11282 728 1374 0 12248 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 54508 [startup+6.30072 s] /proc/loadavg: 0.93 0.98 1.09 2/107 11931 /proc/meminfo: memFree=1694120/2059040 swapFree=4165008/4192956 [pid=11930] ppid=11928 vsize=59044 CPUtime=6.29 /proc/11930/stat : 11930 (pbscip.linux.x8) R 11928 11930 11905 0 -1 4202496 47101 0 0 0 607 22 0 0 25 0 1 0 10770352 60461056 12396 1992294400 4194304 9819077 140733481527264 18446744073709551615 7301812 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11930/statm: 14761 12396 730 1374 0 13382 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59044 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 1.09 2/107 11931 /proc/meminfo: memFree=1694128/2059040 swapFree=4165008/4192956 [pid=11930] ppid=11928 vsize=59088 CPUtime=12.69 /proc/11930/stat : 11930 (pbscip.linux.x8) R 11928 11930 11905 0 -1 4202496 70128 0 0 0 1235 34 0 0 25 0 1 0 10770352 60506112 12397 1992294400 4194304 9819077 140733481527264 18446744073709551615 7301564 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11930/statm: 14772 12397 730 1374 0 13393 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59088 Solver just ended. Dumping a history of the last processes samples [startup+12.8012 s] /proc/loadavg: 0.93 0.98 1.09 2/107 11931 /proc/meminfo: memFree=1694128/2059040 swapFree=4165008/4192956 [pid=11930] ppid=11928 vsize=58300 CPUtime=12.79 /proc/11930/stat : 11930 (pbscip.linux.x8) R 11928 11930 11905 0 -1 4202496 70587 0 0 0 1245 34 0 0 25 0 1 0 10770352 59699200 12352 1992294400 4194304 9819077 140733481527264 18446744073709551615 6209887 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11930/statm: 14575 12358 730 1374 0 13196 0 Current children cumulated CPU time (s) 12.79 Current children cumulated vsize (KiB) 58300 [startup+19.2008 s] /proc/loadavg: 0.94 0.98 1.08 2/107 11931 /proc/meminfo: memFree=1694128/2059040 swapFree=4165008/4192956 [pid=11930] ppid=11928 vsize=58844 CPUtime=19.19 /proc/11930/stat : 11930 (pbscip.linux.x8) R 11928 11930 11905 0 -1 4202496 94024 0 0 0 1873 46 0 0 25 0 1 0 10770352 60256256 12391 1992294400 4194304 9819077 140733481527264 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11930/statm: 14711 12393 730 1374 0 13332 0 Current children cumulated CPU time (s) 19.19 Current children cumulated vsize (KiB) 58844 [startup+22.402 s] /proc/loadavg: 0.94 0.98 1.08 2/107 11931 /proc/meminfo: memFree=1694128/2059040 swapFree=4165008/4192956 [pid=11930] ppid=11928 vsize=58828 CPUtime=22.39 /proc/11930/stat : 11930 (pbscip.linux.x8) R 11928 11930 11905 0 -1 4202496 106313 0 0 0 2185 54 0 0 25 0 1 0 10770352 60239872 12374 1992294400 4194304 9819077 140733481527264 18446744073709551615 6697308 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11930/statm: 14707 12374 730 1374 0 13328 0 Current children cumulated CPU time (s) 22.39 Current children cumulated vsize (KiB) 58828 [startup+24.0012 s] /proc/loadavg: 0.95 0.98 1.08 2/107 11931 /proc/meminfo: memFree=1694376/2059040 swapFree=4165008/4192956 [pid=11930] ppid=11928 vsize=60164 CPUtime=23.99 /proc/11930/stat : 11930 (pbscip.linux.x8) R 11928 11930 11905 0 -1 4202496 113599 0 0 0 2342 57 0 0 25 0 1 0 10770352 61607936 12821 1992294400 4194304 9819077 140733481527264 18446744073709551615 7326159 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11930/statm: 15041 12821 730 1374 0 13662 0 Current children cumulated CPU time (s) 23.99 Current children cumulated vsize (KiB) 60164 [startup+24.4012 s] /proc/loadavg: 0.95 0.98 1.08 2/107 11931 /proc/meminfo: memFree=1692516/2059040 swapFree=4165008/4192956 [pid=11930] ppid=11928 vsize=59644 CPUtime=24.38 /proc/11930/stat : 11930 (pbscip.linux.x8) R 11928 11930 11905 0 -1 4202496 115506 0 0 0 2381 57 0 0 25 0 1 0 10770352 61075456 12842 1992294400 4194304 9819077 140733481527264 18446744073709551615 7261180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11930/statm: 14911 12843 730 1374 0 13532 0 Current children cumulated CPU time (s) 24.38 Current children cumulated vsize (KiB) 59644 [startup+24.6012 s] /proc/loadavg: 0.95 0.98 1.08 2/107 11931 /proc/meminfo: memFree=1692516/2059040 swapFree=4165008/4192956 [pid=11930] ppid=11928 vsize=60152 CPUtime=24.59 /proc/11930/stat : 11930 (pbscip.linux.x8) R 11928 11930 11905 0 -1 4202496 116793 0 0 0 2401 58 0 0 25 0 1 0 10770352 61595648 12852 1992294400 4194304 9819077 140733481527264 18446744073709551615 7291763 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11930/statm: 15038 12852 730 1374 0 13659 0 Current children cumulated CPU time (s) 24.59 Current children cumulated vsize (KiB) 60152 Child status: 0 Real time (s): 24.67 CPU time (s): 24.6642 CPU user time (s): 24.0693 CPU system time (s): 0.594909 CPU usage (%): 99.9766 Max. virtual memory (cumulated for all children) (KiB): 67912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 24.0693 system time used= 0.594909 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 116985 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 77 runsolver used 0.047992 second user time and 0.12698 second system time The end
Begin job on node003 at 2010-06-12 16:07:44 IDJOB=2666019 IDBENCH=1850 IDSOLVER=1168 FILE ID=node003/2666019-1276351664 PBS_JOBID= 11173207 Free space on /tmp= 62556 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666019-1276351664/watcher-2666019-1276351664 -o /tmp/evaluation-result-2666019-1276351664/solver-2666019-1276351664 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666019-1276351664.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 374deb5d477559ba9c51d0ad1d758624 RANDOM SEED=1757401344 node003.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1741900 kB Buffers: 83804 kB Cached: 132736 kB SwapCached: 1344 kB Active: 90276 kB Inactive: 158912 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1741900 kB SwapTotal: 4192956 kB SwapFree: 4165008 kB Dirty: 6608 kB Writeback: 0 kB AnonPages: 31356 kB Mapped: 15376 kB Slab: 46164 kB PageTables: 3936 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183088 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62548 MiB End job on node003 at 2010-06-12 16:08:09