Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | OPT | 25 | 26.9075 | 26.9888 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb |
| MD5SUM | 3f61d67ec309aef8ac87c7a01b0ee309 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 0.33124 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 3973 |
| Total number of constraints | 11097 |
| Number of constraints which are clauses | 11097 |
| 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 | 63 |
| Number of terms in the objective function | 1906 |
| 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 | 1906 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1906 |
| Number of bits of the biggest sum of numbers | 11 |
| 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 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute 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-4496558-1751390425.opb>
0.00/0.03 c original problem has 3973 variables (3973 bin, 0 int, 0 impl, 0 cont) and 11097 constraints
0.00/0.03 c problem read in 0.02
0.00/0.05 c presolving:
0.00/0.07 c (round 1, fast) 2005 del vars, 3916 del conss, 0 add conss, 109 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 6095 clqs
0.00/0.07 c (round 2, fast) 2008 del vars, 4826 del conss, 0 add conss, 109 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 6089 clqs
0.00/0.07 c (round 3, fast) 2013 del vars, 4834 del conss, 0 add conss, 109 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 6079 clqs
0.00/0.08 c (0.1s) running MILP presolver
0.00/0.09 c (0.1s) MILP presolver found nothing
0.09/0.10 c (round 4, exhaustive) 2013 del vars, 4839 del conss, 0 add conss, 109 chg bounds, 0 chg sides, 0 chg coeffs, 6202 upgd conss, 0 impls, 6079 clqs
0.09/0.12 c (round 5, exhaustive) 2013 del vars, 6363 del conss, 144 add conss, 109 chg bounds, 0 chg sides, 0 chg coeffs, 6202 upgd conss, 0 impls, 6079 clqs
0.09/0.12 c (round 6, exhaustive) 2013 del vars, 6363 del conss, 144 add conss, 109 chg bounds, 0 chg sides, 0 chg coeffs, 6258 upgd conss, 0 impls, 6079 clqs
0.09/0.13 c (round 7, exhaustive) 2013 del vars, 6488 del conss, 161 add conss, 109 chg bounds, 0 chg sides, 0 chg coeffs, 6258 upgd conss, 0 impls, 6079 clqs
0.09/0.13 c (round 8, fast) 2017 del vars, 6488 del conss, 161 add conss, 109 chg bounds, 0 chg sides, 0 chg coeffs, 6258 upgd conss, 0 impls, 6075 clqs
0.09/0.16 c (0.1s) probing: 51/1956 (2.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.16 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.16 c (0.2s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.09/0.17 c dynamic symmetry handling statistics:
0.09/0.17 c orbitopal reduction: no components
0.09/0.17 c orbital reduction: no components
0.09/0.17 c lexicographic reduction: no permutations
0.09/0.17 c handled 5 out of 5 symmetry components
0.09/0.17 c (round 9, exhaustive) 2017 del vars, 6488 del conss, 166 add conss, 109 chg bounds, 0 chg sides, 4 chg coeffs, 6258 upgd conss, 0 impls, 6080 clqs
0.09/0.17 c (round 10, exhaustive) 2017 del vars, 6488 del conss, 166 add conss, 109 chg bounds, 0 chg sides, 4 chg coeffs, 6263 upgd conss, 0 impls, 6080 clqs
0.09/0.18 c presolving (11 rounds: 11 fast, 7 medium, 7 exhaustive):
0.09/0.18 c 2017 deleted vars, 6488 deleted constraints, 166 added constraints, 109 tightened bounds, 0 added holes, 0 changed sides, 4 changed coefficients
0.09/0.18 c 0 implications, 6080 cliques
0.09/0.18 c presolved problem has 1956 variables (1956 bin, 0 int, 0 impl, 0 cont) and 4775 constraints
0.09/0.18 c 4596 constraints of type <setppc>
0.09/0.18 c 161 constraints of type <and>
0.09/0.18 c 18 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.14
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 10.0.0
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.18 c limits/time = 3596.998015
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.18 c limits/memory = 27900
0.09/0.18 c
0.09/0.18 c # belongs reading time to solving time?
0.09/0.18 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c timing/reading = TRUE
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.20/0.22 o 147
0.20/0.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.20/0.22 c p 0.2s| 1 | 0 | 0 | - | locks| 0 |1956 |4776 |4936 | 0 | 0 | 0 | 0 | 1.000000e+00 | 1.470000e+02 | Large | unknown
0.20/0.23 o 30
0.20/0.23 c p 0.2s| 1 | 0 | 0 | - | vbounds| 0 |1956 |4776 |4936 | 0 | 0 | 0 | 0 | 1.000000e+00 | 3.000000e+01 |2900.00%| unknown
0.29/0.31 c 0.3s| 1 | 0 | 898 | - | 57M | 0 |1956 |4800 |4936 | 0 | 0 | 24 | 0 | 2.325000e+01 | 3.000000e+01 | 29.03%| unknown
1.18/1.27 c 1.3s| 1 | 0 | 1126 | - | 62M | 0 |1956 |4800 |4941 | 5 | 1 | 24 | 0 | 2.338217e+01 | 3.000000e+01 | 28.30%| unknown
2.57/2.62 c 2.6s| 1 | 0 | 1272 | - | 80M | 0 |1956 |4800 |4947 | 11 | 2 | 24 | 0 | 2.348735e+01 | 3.000000e+01 | 27.73%| unknown
3.57/3.68 c 3.7s| 1 | 0 | 1295 | - | 90M | 0 |1956 |4800 |4952 | 16 | 3 | 24 | 0 | 2.348735e+01 | 3.000000e+01 | 27.73%| unknown
4.67/4.75 c 4.7s| 1 | 0 | 1404 | - | 94M | 0 |1956 |4801 |4956 | 20 | 4 | 25 | 0 | 2.353221e+01 | 3.000000e+01 | 27.48%| unknown
5.77/5.80 c 5.8s| 1 | 0 | 1527 | - | 104M | 0 |1956 |4801 |4964 | 28 | 5 | 25 | 0 | 2.355981e+01 | 3.000000e+01 | 27.34%| unknown
6.56/6.68 c 6.7s| 1 | 0 | 1597 | - | 114M | 0 |1956 |4801 |4970 | 34 | 6 | 25 | 0 | 2.357106e+01 | 3.000000e+01 | 27.27%| unknown
7.46/7.50 c 7.5s| 1 | 0 | 1681 | - | 124M | 0 |1956 |4801 |4973 | 37 | 7 | 25 | 0 | 2.357875e+01 | 3.000000e+01 | 27.23%| unknown
8.16/8.26 c 8.2s| 1 | 0 | 1736 | - | 129M | 0 |1956 |4801 |4978 | 42 | 8 | 25 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
9.06/9.13 c 9.1s| 1 | 0 | 1792 | - | 140M | 0 |1956 |4802 |4986 | 50 | 9 | 26 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
9.76/9.82 c 9.8s| 1 | 0 | 1856 | - | 153M | 0 |1956 |4802 |4994 | 58 | 10 | 26 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
9.76/9.85 c 9.8s| 1 | 0 | 1941 | - | 154M | 0 |1956 |4803 |4998 | 64 | 11 | 27 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
9.76/9.88 c 9.9s| 1 | 0 | 1978 | - | 154M | 0 |1956 |4803 |5005 | 71 | 12 | 27 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
9.86/9.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.86/9.90 c 9.9s| 1 | 0 | 2015 | - | 155M | 0 |1956 |4804 |5011 | 77 | 13 | 28 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
9.86/9.93 c 9.9s| 1 | 0 | 2058 | - | 155M | 0 |1956 |4804 |5017 | 83 | 14 | 28 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
9.86/9.96 c 9.9s| 1 | 0 | 2099 | - | 156M | 0 |1956 |4804 |5022 | 88 | 15 | 28 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
9.86/9.98 c 10.0s| 1 | 0 | 2131 | - | 156M | 0 |1956 |4804 |5026 | 92 | 16 | 28 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
9.96/10.01 c 10.0s| 1 | 0 | 2176 | - | 157M | 0 |1956 |4806 |5022 | 95 | 17 | 30 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
9.96/10.03 c 10.0s| 1 | 0 | 2199 | - | 157M | 0 |1956 |4806 |5025 | 98 | 18 | 30 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
10.25/10.37 o 26
10.25/10.37 c L10.4s| 1 | 0 | 4686 | - | rens| 0 |1956 |4816 |5025 | 98 | 18 | 40 | 0 | 2.400000e+01 | 2.600000e+01 | 8.33%| unknown
10.36/10.40 c 10.4s| 1 | 0 | 4686 | - | 158M | 0 |1956 |4816 |5025 | 98 | 18 | 40 | 0 | 2.400000e+01 | 2.600000e+01 | 8.33%| unknown
10.36/10.41 c 10.4s| 1 | 0 | 4686 | - | 158M | 0 |1956 |4816 |5020 | 98 | 18 | 40 | 0 | 2.400000e+01 | 2.600000e+01 | 8.33%| unknown
10.36/10.43 c 10.4s| 1 | 0 | 4721 | - | 158M | 0 |1956 |4811 |5022 | 100 | 19 | 40 | 0 | 2.400000e+01 | 2.600000e+01 | 8.33%| unknown
10.36/10.44 c 10.4s| 1 | 0 | 4737 | - | 158M | 0 |1956 |4811 |5023 | 101 | 20 | 40 | 0 | 2.400000e+01 | 2.600000e+01 | 8.33%| unknown
12.15/12.26 c 12.2s| 1 | 0 | 4814 | - | 159M | 0 |1956 |4812 |5023 | 101 | 20 | 43 | 37 | 2.400000e+01 | 2.600000e+01 | 8.33%| unknown
12.15/12.28 c 12.3s| 1 | 0 | 4852 | - | 159M | 0 |1956 |4812 |5026 | 104 | 21 | 43 | 37 | 2.400000e+01 | 2.600000e+01 | 8.33%| unknown
12.15/12.29 c 12.3s| 1 | 0 | 4875 | - | 159M | 0 |1956 |4812 |5006 | 105 | 22 | 43 | 37 | 2.400000e+01 | 2.600000e+01 | 8.33%| unknown
13.35/13.43 c 13.4s| 1 | 0 | 4894 | - | 159M | 0 |1956 |4813 |5006 | 105 | 22 | 45 | 59 | 2.400000e+01 | 2.600000e+01 | 8.33%| unknown
13.35/13.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.35/13.44 c 13.4s| 1 | 0 | 4911 | - | 159M | 0 |1956 |4813 |5009 | 108 | 23 | 45 | 59 | 2.400000e+01 | 2.600000e+01 | 8.33%| unknown
13.35/13.45 c 13.4s| 1 | 0 | 4927 | - | 159M | 0 |1956 |4813 |5012 | 111 | 24 | 45 | 59 | 2.400000e+01 | 2.600000e+01 | 8.33%| unknown
14.85/14.90 c 14.9s| 1 | 0 | 4965 | - | 159M | 0 |1956 |4810 |5012 | 111 | 24 | 49 | 89 | 2.400000e+01 | 2.600000e+01 | 8.33%| unknown
14.85/14.91 c 14.9s| 1 | 0 | 4973 | - | 159M | 0 |1956 |4810 |5007 | 113 | 25 | 50 | 89 | 2.400000e+01 | 2.600000e+01 | 8.33%| unknown
15.74/15.85 c 15.8s| 1 | 0 | 5007 | - | 159M | 0 |1956 |4813 |5007 | 113 | 26 | 58 | 108 | 2.400000e+01 | 2.600000e+01 | 8.33%| unknown
15.74/15.86 c 15.9s| 1 | 0 | 5019 | - | 159M | 0 |1956 |4813 |5011 | 117 | 27 | 58 | 108 | 2.400000e+01 | 2.600000e+01 | 8.33%| unknown
15.74/15.87 c 15.9s| 1 | 0 | 5020 | - | 159M | 0 |1956 |4814 |5012 | 118 | 28 | 59 | 108 | 2.400000e+01 | 2.600000e+01 | 8.33%| unknown
16.74/16.86 c 16.8s| 1 | 0 | 5061 | - | 159M | 0 |1956 |4800 |5012 | 118 | 28 | 62 | 127 | 2.400000e+01 | 2.600000e+01 | 8.33%| unknown
16.74/16.87 c 16.9s| 1 | 0 | 5102 | - | 159M | 0 |1956 |4800 |5007 | 123 | 29 | 62 | 127 | 2.400000e+01 | 2.600000e+01 | 8.33%| unknown
16.74/16.88 c 16.9s| 1 | 0 | 5108 | - | 159M | 0 |1956 |4800 |5009 | 125 | 30 | 62 | 127 | 2.400000e+01 | 2.600000e+01 | 8.33%| unknown
17.44/17.58 c 17.6s| 1 | 0 | 5145 | - | 159M | 0 |1956 |4789 |5009 | 125 | 30 | 66 | 141 | 2.400000e+01 | 2.600000e+01 | 8.33%| unknown
17.54/17.60 c 17.6s| 1 | 0 | 5149 | - | 159M | 0 |1956 |4790 |5010 | 126 | 31 | 67 | 141 | 2.400000e+01 | 2.600000e+01 | 8.33%| unknown
17.84/17.93 o 25
17.84/17.93 c *17.9s| 1 | 0 | 5149 | - |strongbr| 0 |1956 |4790 |5010 | 126 | 32 | 69 | 147 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
17.84/17.99 c 18.0s| 1 | 0 | 5162 | - | 160M | 0 |1956 |4790 |5010 | 126 | 32 | 999 | 149 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
17.84/17.99 c (run 1, node 1) restarting after 961 global fixings of integer variables
17.84/17.99 c
17.84/17.99 c (restart) converted 72 cuts from the global cut pool into linear constraints
17.84/17.99 c
17.94/18.07 c presolving:
17.94/18.07 c (round 1, fast) 1045 del vars, 2892 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 51 chg coeffs, 0 upgd conss, 0 impls, 2221 clqs
17.94/18.07 c (round 2, fast) 1056 del vars, 2913 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 62 chg coeffs, 0 upgd conss, 0 impls, 2221 clqs
17.94/18.08 c (round 3, exhaustive) 1056 del vars, 2919 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 62 chg coeffs, 0 upgd conss, 0 impls, 2221 clqs
17.94/18.08 c (round 4, exhaustive) 1056 del vars, 2919 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 62 chg coeffs, 66 upgd conss, 0 impls, 2221 clqs
17.94/18.09 c (round 5, medium) 1056 del vars, 2923 del conss, 3 add conss, 0 chg bounds, 9 chg sides, 68 chg coeffs, 66 upgd conss, 0 impls, 2221 clqs
17.94/18.09 c presolving (6 rounds: 6 fast, 4 medium, 3 exhaustive):
17.94/18.09 c 1056 deleted vars, 2924 deleted constraints, 3 added constraints, 0 tightened bounds, 0 added holes, 9 changed sides, 80 changed coefficients
17.94/18.09 c 0 implications, 2221 cliques
17.94/18.09 c presolved problem has 911 variables (911 bin, 0 int, 0 impl, 0 cont) and 1877 constraints
17.94/18.09 c 16 constraints of type <knapsack>
17.94/18.09 c 1702 constraints of type <setppc>
17.94/18.09 c 95 constraints of type <and>
17.94/18.09 c 64 constraints of type <logicor>
17.94/18.09 c transformed objective value is always integral (scale: 1)
17.94/18.09 c Presolving Time: 0.16
17.94/18.09 c
18.04/18.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.04/18.13 c 18.1s| 1 | 0 | 5867 | - | 146M | 0 | 911 |1877 |1924 | 0 | 0 | 999 | 149 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
18.04/18.13 c 18.1s| 1 | 0 | 5867 | - | 146M | 0 | 911 |1877 |1922 | 0 | 0 | 999 | 149 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
18.73/18.82 c 18.8s| 1 | 0 | 5934 | - | 147M | 0 | 911 |1876 |1913 | 6 | 1 | 999 | 149 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
19.13/19.20 c 19.2s| 1 | 0 | 6011 | - | 147M | 0 | 911 |1861 |1918 | 11 | 2 | 999 | 149 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
19.53/19.64 c 19.6s| 1 | 0 | 6082 | - | 150M | 0 | 911 |1865 |1925 | 18 | 3 |1003 | 149 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
19.94/20.06 c 20.1s| 1 | 0 | 6173 | - | 154M | 0 | 911 |1865 |1933 | 26 | 4 |1003 | 149 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
20.33/20.46 c 20.4s| 1 | 0 | 6261 | - | 156M | 0 | 911 |1865 |1939 | 32 | 5 |1003 | 149 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
20.83/20.92 c 20.9s| 1 | 0 | 6344 | - | 161M | 0 | 911 |1865 |1946 | 39 | 6 |1003 | 149 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
21.22/21.33 c 21.3s| 1 | 0 | 6413 | - | 167M | 0 | 911 |1867 |1950 | 43 | 7 |1005 | 149 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
21.62/21.77 c 21.8s| 1 | 0 | 6488 | - | 172M | 0 | 911 |1867 |1957 | 50 | 8 |1005 | 149 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
22.12/22.28 c 22.3s| 1 | 0 | 6587 | - | 191M | 0 | 911 |1867 |1962 | 55 | 9 |1005 | 149 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
22.62/22.79 c 22.8s| 1 | 0 | 6672 | - | 196M | 0 | 911 |1867 |1968 | 61 | 10 |1005 | 149 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
22.72/22.83 c 22.8s| 1 | 0 | 6741 | - | 198M | 0 | 911 |1867 |1972 | 65 | 11 |1005 | 149 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
22.92/23.09 c 23.1s| 1 | 0 | 9666 | - | 198M | 0 | 911 |1808 |1972 | 65 | 11 |1010 | 150 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
23.02/23.14 c 23.1s| 1 | 0 | 9970 | - | 198M | 0 | 911 |1809 |1975 | 68 | 12 |1011 | 150 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
23.02/23.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.02/23.14 c 23.1s| 1 | 0 | 9989 | - | 198M | 0 | 911 |1809 |1977 | 70 | 13 |1011 | 150 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
23.02/23.19 c 23.2s| 1 | 0 | 10083 | - | 198M | 0 | 911 |1809 |1977 | 70 | 13 |1101 | 151 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
23.02/23.19 c (run 2, node 1) restarting after 191 global fixings of integer variables
23.02/23.19 c
23.02/23.19 c (restart) converted 60 cuts from the global cut pool into linear constraints
23.02/23.19 c
23.22/23.31 c presolving:
23.22/23.32 c (round 1, fast) 218 del vars, 369 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 157 chg coeffs, 0 upgd conss, 0 impls, 1640 clqs
23.22/23.32 c (round 2, fast) 231 del vars, 398 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 174 chg coeffs, 0 upgd conss, 0 impls, 1639 clqs
23.22/23.32 c (round 3, exhaustive) 231 del vars, 398 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 186 chg coeffs, 0 upgd conss, 0 impls, 1639 clqs
23.22/23.33 c (round 4, exhaustive) 231 del vars, 472 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 192 chg coeffs, 0 upgd conss, 0 impls, 1639 clqs
23.22/23.33 c (round 5, exhaustive) 231 del vars, 477 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 197 chg coeffs, 0 upgd conss, 0 impls, 1639 clqs
23.22/23.33 c (round 6, exhaustive) 231 del vars, 477 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 201 chg coeffs, 48 upgd conss, 0 impls, 1639 clqs
23.22/23.33 c (round 7, fast) 231 del vars, 483 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 201 chg coeffs, 48 upgd conss, 0 impls, 1639 clqs
23.22/23.34 c (round 8, exhaustive) 231 del vars, 483 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 210 chg coeffs, 48 upgd conss, 0 impls, 1639 clqs
23.22/23.35 c (round 9, exhaustive) 231 del vars, 534 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 214 chg coeffs, 48 upgd conss, 0 impls, 1639 clqs
23.22/23.35 c (round 10, exhaustive) 231 del vars, 534 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 225 chg coeffs, 48 upgd conss, 0 impls, 1639 clqs
23.22/23.35 c presolving (11 rounds: 11 fast, 8 medium, 8 exhaustive):
23.22/23.35 c 231 deleted vars, 535 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 6 changed sides, 228 changed coefficients
23.22/23.35 c 0 implications, 1639 cliques
23.22/23.35 c presolved problem has 692 variables (692 bin, 0 int, 0 impl, 0 cont) and 1322 constraints
23.22/23.35 c 23 constraints of type <knapsack>
23.22/23.35 c 1146 constraints of type <setppc>
23.22/23.35 c 81 constraints of type <and>
23.22/23.35 c 5 constraints of type <linear>
23.22/23.35 c 67 constraints of type <logicor>
23.22/23.35 c transformed objective value is always integral (scale: 1)
23.22/23.35 c Presolving Time: 0.20
23.22/23.35 c
23.22/23.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.22/23.39 c 23.4s| 1 | 0 | 10887 | - | 180M | 0 | 692 |1322 |1352 | 0 | 0 |1101 | 151 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
23.71/23.80 c 23.8s| 1 | 0 | 10976 | - | 181M | 0 | 692 |1322 |1357 | 5 | 1 |1101 | 151 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
23.92/24.03 c 24.0s| 1 | 0 | 11092 | - | 183M | 0 | 692 |1322 |1363 | 11 | 2 |1101 | 151 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
24.21/24.32 c 24.3s| 1 | 0 | 11125 | - | 183M | 0 | 692 |1322 |1368 | 16 | 3 |1101 | 151 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
24.51/24.62 c 24.6s| 1 | 0 | 11184 | - | 186M | 0 | 692 |1323 |1375 | 23 | 4 |1102 | 151 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
24.71/24.89 c 24.9s| 1 | 0 | 11273 | - | 187M | 0 | 692 |1323 |1379 | 27 | 5 |1102 | 151 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
25.01/25.18 c 25.2s| 1 | 0 | 11320 | - | 191M | 0 | 692 |1323 |1383 | 31 | 6 |1102 | 151 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
25.31/25.48 c 25.5s| 1 | 0 | 11386 | - | 194M | 0 | 692 |1323 |1385 | 33 | 7 |1102 | 151 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
25.61/25.78 c 25.8s| 1 | 0 | 11470 | - | 196M | 0 | 692 |1323 |1390 | 38 | 8 |1102 | 151 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
25.92/26.08 c 26.1s| 1 | 0 | 11512 | - | 199M | 0 | 692 |1323 |1393 | 41 | 9 |1102 | 151 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
26.21/26.35 c 26.3s| 1 | 0 | 11609 | - | 201M | 0 | 692 |1324 |1397 | 45 | 10 |1103 | 151 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
26.31/26.40 c 26.4s| 1 | 0 | 11644 | - | 201M | 0 | 692 |1324 |1400 | 48 | 11 |1103 | 151 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
26.31/26.46 c 26.5s| 1 | 0 | 11725 | - | 201M | 0 | 692 |1326 |1403 | 51 | 12 |1105 | 151 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
26.41/26.57 c 26.6s| 1 | 0 | 12587 | - | 201M | 0 | 692 |1328 |1403 | 51 | 12 |1183 | 152 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
26.41/26.57 c (run 3, node 1) restarting after 89 global fixings of integer variables
26.41/26.57 c
26.41/26.57 c (restart) converted 48 cuts from the global cut pool into linear constraints
26.41/26.57 c
26.51/26.64 c presolving:
26.51/26.64 c (round 1, fast) 103 del vars, 167 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 42 chg coeffs, 0 upgd conss, 0 impls, 1371 clqs
26.51/26.65 c (round 2, fast) 108 del vars, 182 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 51 chg coeffs, 0 upgd conss, 0 impls, 1371 clqs
26.51/26.65 c (round 3, exhaustive) 108 del vars, 182 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 60 chg coeffs, 0 upgd conss, 0 impls, 1371 clqs
26.51/26.66 c (round 4, exhaustive) 108 del vars, 189 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 64 chg coeffs, 0 upgd conss, 0 impls, 1371 clqs
26.51/26.66 c (round 5, exhaustive) 108 del vars, 190 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 66 chg coeffs, 0 upgd conss, 0 impls, 1371 clqs
26.51/26.66 c (round 6, exhaustive) 108 del vars, 190 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 67 chg coeffs, 38 upgd conss, 0 impls, 1371 clqs
26.51/26.66 c (round 7, fast) 108 del vars, 191 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 67 chg coeffs, 38 upgd conss, 0 impls, 1371 clqs
26.51/26.67 c (round 8, medium) 108 del vars, 192 del conss, 1 add conss, 0 chg bounds, 2 chg sides, 69 chg coeffs, 38 upgd conss, 0 impls, 1371 clqs
26.51/26.67 c (round 9, exhaustive) 108 del vars, 192 del conss, 1 add conss, 0 chg bounds, 2 chg sides, 77 chg coeffs, 38 upgd conss, 0 impls, 1371 clqs
26.51/26.67 c (round 10, exhaustive) 108 del vars, 192 del conss, 1 add conss, 0 chg bounds, 2 chg sides, 83 chg coeffs, 38 upgd conss, 0 impls, 1371 clqs
26.51/26.67 c (round 11, exhaustive) 108 del vars, 192 del conss, 1 add conss, 0 chg bounds, 2 chg sides, 89 chg coeffs, 38 upgd conss, 0 impls, 1371 clqs
26.51/26.67 c (round 12, exhaustive) 108 del vars, 224 del conss, 1 add conss, 0 chg bounds, 2 chg sides, 92 chg coeffs, 38 upgd conss, 0 impls, 1371 clqs
26.51/26.67 c (round 13, exhaustive) 108 del vars, 225 del conss, 1 add conss, 0 chg bounds, 2 chg sides, 92 chg coeffs, 38 upgd conss, 0 impls, 1371 clqs
26.51/26.68 c presolving (14 rounds: 14 fast, 11 medium, 10 exhaustive):
26.51/26.68 c 108 deleted vars, 225 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 92 changed coefficients
26.51/26.68 c 0 implications, 1371 cliques
26.51/26.68 c presolved problem has 589 variables (589 bin, 0 int, 0 impl, 0 cont) and 1141 constraints
26.51/26.68 c 33 constraints of type <knapsack>
26.51/26.68 c 960 constraints of type <setppc>
26.51/26.68 c 70 constraints of type <and>
26.51/26.68 c 14 constraints of type <linear>
26.51/26.68 c 64 constraints of type <logicor>
26.51/26.68 c transformed objective value is always integral (scale: 1)
26.51/26.68 c Presolving Time: 0.24
26.51/26.68 c transformed 1/7 original solutions to the transformed problem space
26.51/26.68 c
26.61/26.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
26.61/26.72 c 26.7s| 1 | 0 | 13429 | - | 191M | 0 | 589 |1141 |1161 | 0 | 0 |1183 | 152 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
26.81/26.95 c 26.9s| 1 | 0 | 13516 | - | 191M | 0 | 589 |1141 |1164 | 3 | 1 |1183 | 152 | 2.500000e+01 | 2.500000e+01 | 0.00%| unknown
26.81/26.95 c 26.9s| 1 | 0 | 13516 | - | 191M | 0 | 589 |1141 |1164 | 3 | 1 |1183 | 152 | 2.500000e+01 | 2.500000e+01 | 0.00%| unknown
26.81/26.95 c
26.81/26.95 c SCIP Status : problem is solved [optimal solution found]
26.81/26.95 c Solving Time (sec) : 26.94
26.81/26.95 c Solving Nodes : 1 (total of 4 nodes in 4 runs)
26.81/26.95 c Primal Bound : +2.50000000000000e+01 (7 solutions)
26.81/26.95 c Dual Bound : +2.50000000000000e+01
26.81/26.95 c Gap : 0.00 %
26.81/26.95 s OPTIMUM FOUND
26.81/26.95 v x170 x169 x3972 x168 x3970 -x3968 -x167 -x3966 -x166 -x3964 -x3962 -x3960 -x165 -x3958 -x3956 x3954 -x3952 -x3950 -x3948 -x3946
26.81/26.95 v -x3944 -x3942 -x164 -x3940 x3938 -x3936 x3934 -x3932 -x3930 -x163 -x3928 -x3926 -x3924 x3922 -x3920 -x3918 -x3916 -x3914 -x3912
26.81/26.95 v -x3910 -x162 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896 -x161 -x3894 -x3892 -x3890 -x3888 -x3886 -x3884 -x3882 -x160
26.81/26.95 v -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 x3856 -x3854 -x159 -x3852 -x3850 -x3848
26.81/26.95 v -x158 -x3846 -x3844 -x3842 -x157 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x156 -x3826 -x3824 -x3822 -x155 -x3820 -x3818
26.81/26.95 v -x3816 -x3814 -x3812 -x3810 -x3808 -x154 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x153 -x3792 x3790 -x3788 -x3786
26.81/26.95 v -x3784 -x3782 -x3780 -x3778 -x3775 -x152 -x3773 -x3771 -x3769 -x3767 -x3765 -x3763 -x3761 -x151 -x3759 -x3757 -x3755 -x3753
26.81/26.95 v -x3751 -x3749 -x3747 -x150 -x3745 -x149 -x3743 -x3741 -x3739 -x148 -x3737 -x3735 -x3733 -x147 -x3731 -x3729 -x3727 -x3725 -x3723
26.81/26.95 v -x3721 -x3719 -x146 -x3717 -x3715 -x145 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x3701 -x144 -x3699 -x3697 -x3695 -x3693
26.81/26.95 v -x3691 -x3689 -x3687 -x143 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 -x3661 -x3659
26.81/26.95 v -x3657 -x142 -x3655 -x3653 -x3651 -x141 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x140 -x3635 -x3633 -x3631 -x3629
26.81/26.95 v -x3626 -x139 -x3624 -x3622 -x3620 -x138 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x137 -x3604 -x3602 -x3600 -x3598
26.81/26.95 v -x3596 -x3594 -x3592 -x136 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564
26.81/26.95 v -x3562 -x135 -x3560 -x3558 -x3556 -x3554 -x3552 -x3550 -x3548 -x134 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3534 -x3532 -x3530
26.81/26.95 v -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x133 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x132 -x3502 -x3500 -x3498
26.81/26.95 v -x3496 -x3494 -x3492 -x3490 -x3488 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475 -x131 -x3473 -x3471 -x3469 -x3467 -x3465 -x3463
26.81/26.95 v -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x130 -x3444 -x129 -x3442 -x3440 -x3438 -x128 -x3436 -x3434 -x3432
26.81/26.95 v -x127 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418 -x126 -x3416 -x3414 -x3412 -x125 -x3410 -x3408 -x3406 -x3404 -x3402
26.81/26.95 v -x3400 -x3398 -x124 -x3396 -x3394 -x3392 -x123 -x3390 -x3388 -x3386 -x3384 -x3382 -x3380 -x3378 -x122 -x3376 -x3374 -x3372 -x3370
26.81/26.95 v -x3368 -x3366 -x3364 -x121 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x120 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337
26.81/26.95 v -x3335 -x3333 -x3331 -x3329 -x3327 -x3325 -x3323 -x3321 -x3318 -x3316 -x119 -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x3302
26.81/26.95 v -x118 -x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x117 -x3286 -x3284 -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x3270
26.81/26.95 v -x3268 -x3266 -x3264 -x3262 -x3260 -x3258 -x116 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x115 -x3242 -x3240 -x3238
26.81/26.95 v -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x114 -x3212 -x3210 -x3208 -x3206 -x3204
26.81/26.95 v -x3202 -x3200 -x113 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170
26.81/26.95 v -x112 -x3168 -x3166 -x3164 -x111 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x110 -x3148 -x3146 x3144 -x3142 -x3140
26.81/26.95 v -x3138 -x3136 x109 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x108
26.81/26.95 v -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092 -x107 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072
26.81/26.95 v -x3070 -x3068 -x3066 -x3064 -x3062 -x106 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x105 -x3046 -x3044 -x3042 -x3040
26.81/26.95 v -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x104 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005
26.81/26.95 v -x103 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x102 -x2973
26.81/26.95 v -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 -x2947 -x2945 -x101 -x2943 x2941 -x2939
26.81/26.95 v -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903
26.81/26.95 v -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 x2879 -x2877 -x2875 -x2873 -x2871 -x2869 -x2867
26.81/26.95 v -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x100 -x2851 -x2849 -x2847 -x99 -x2845 -x2843 -x2841 -x98 -x2839 -x2837 -x2835
26.81/26.95 v -x2833 -x2831 -x2829 -x2827 -x97 -x2825 -x2823 -x2821 -x96 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x95 -x2805
26.81/26.95 v -x2803 -x94 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x93 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x92 -x2773
26.81/26.95 v -x2771 -x2769 -x91 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x90 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741
26.81/26.95 v -x89 -x2739 -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x88 -x2709 -x2707
26.81/26.95 v -x2705 -x2703 -x2701 -x2699 -x2697 -x87 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673
26.81/26.95 v -x2671 -x2669 -x2667 -x86 -x2665 -x2663 -x2661 -x85 -x2659 -x2657 -x2655 -x2653 -x2651 x2649 -x2647 x84 -x2645 -x2643 -x2641
26.81/26.95 v -x2639 -x2637 -x2635 -x2633 -x83 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 -x82 -x2617 -x2615 -x2613 -x2611 -x2609
26.81/26.95 v -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 -x81 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x80
26.81/26.95 v -x2573 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x79 -x2543 -x2541
26.81/26.95 v -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x78 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507
26.81/26.95 v -x2505 -x77 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x2477 -x2475 -x76 -x2473
26.81/26.95 v -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x75 -x2443 -x2441 -x2439
26.81/26.95 v -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403
26.81/26.95 v -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x74 -x2375 -x2373 -x2371 -x2369
26.81/26.95 v -x2367 -x2365 -x2363 -x73 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x72 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337
26.81/26.95 v -x2335 -x71 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x70 -x2303
26.81/26.95 v -x2301 -x2299 -x2297 -x2295 -x2293 -x2291 -x69 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269
26.81/26.95 v -x2267 -x2265 -x2263 -x2261 -x68 -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x67 -x2245 -x2243 -x2241 -x2239 -x2237
26.81/26.95 v -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x66 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203
26.81/26.95 v -x2201 -x2199 -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 -x65 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167
26.81/26.95 v -x2165 -x2163 -x2161 -x2159 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133
26.81/26.95 v -x2131 -x2129 -x2127 -x2125 -x64 -x2123 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x63 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099
26.81/26.95 v -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x62 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065
26.81/26.95 v -x2063 -x2061 -x2059 x2057 -x2055 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029
26.81/26.95 v -x2027 -x2025 -x2023 -x2021 -x61 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995
26.81/26.95 v -x1993 -x1991 x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 -x1959
26.81/26.95 v -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x60 -x1927 -x1925
26.81/26.95 v -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 -x1889
26.81/26.95 v -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867 -x59 -x1865 x58 x1863 -x1861 -x1859 -x57 -x1857
26.81/26.95 v -x1855 -x1853 -x56 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x55 -x1837 -x1835 -x1833 -x54 -x1831 -x1829 -x1827 -x1825
26.81/26.95 v -x1823 -x1821 -x1819 x53 x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x52 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791
26.81/26.95 v -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x51 -x1773 -x1771 -x1769 -x50 -x1767 -x1765 -x1763 -x1761 -x1759
26.81/26.95 v -x1757 -x1755 -x49 -x1753 -x1751 -x1749 -x48 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x47 -x1733 -x1731 -x1729 -x1727
26.81/26.95 v -x1725 -x1723 -x1721 -x46 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x45 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695
26.81/26.95 v -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x44 -x1675 -x1673 -x1671 -x43 -x1669 -x1667 -x1665 -x1663 -x1661
26.81/26.95 v -x1659 -x1657 -x42 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x41 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629
26.81/26.95 v -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x40 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x39 -x1599 -x1597
26.81/26.95 v -x1595 -x1593 -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x38 -x1569 -x1567 -x1565 -x1563 -x1561
26.81/26.95 v -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525
26.81/26.95 v -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491
26.81/26.95 v -x1489 -x1487 -x1485 -x1483 -x1481 -x1479 x1477 -x1475 -x1473 -x1471 -x1469 -x1467 -x1465 -x37 -x1463 -x1461 -x1459 -x1457 -x1455
26.81/26.95 v -x1453 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x36 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421
26.81/26.95 v -x35 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409 -x1407 -x1405 -x1403 x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387
26.81/26.95 v -x1385 -x34 -x1383 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371 -x33 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x32 -x1355
26.81/26.95 v -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x31 -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321
26.81/26.95 v -x1319 -x1317 -x1315 -x1313 -x30 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x29 -x1297 -x1295 -x1293 -x1291 -x1289
26.81/26.95 v -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x28 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253
26.81/26.95 v -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x27 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219
26.81/26.95 v -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183
26.81/26.95 v -x1181 -x1179 -x1177 -x26 -x1175 -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x25 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151
26.81/26.95 v -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x24 -x1131 -x1129 -x1127 -x23 -x1125 -x1123 -x1121 -x1119
26.81/26.95 v -x1117 -x1115 -x1113 -x22 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x21 -x1097 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085
26.81/26.95 v -x20 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x19 -x1053
26.81/26.95 v -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x18 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019
26.81/26.95 v -x1017 -x1015 -x1013 -x1011 -x17 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x16 -x995 -x993 -x991 -x989 -x987 -x985 -x983
26.81/26.95 v -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x15 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943
26.81/26.95 v -x941 -x939 -x937 -x14 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903
26.81/26.95 v -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x13 -x873 -x871 -x869 -x867 -x865 -x863
26.81/26.95 v -x861 -x12 -x859 -x857 -x855 -x853 -x851 -x849 x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823
26.81/26.95 v -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x11 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783
26.81/26.95 v -x781 -x779 -x777 -x775 -x772 -x10 -x770 -x768 -x766 -x764 -x762 -x760 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741
26.81/26.95 v -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699
26.81/26.95 v -x697 -x9 -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x8 -x665 -x663 -x661 -x659
26.81/26.95 v -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x7 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619
26.81/26.95 v -x617 -x615 -x613 -x611 -x609 -x607 -x6 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579
26.81/26.95 v -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x5 -x543 -x541 -x539
26.81/26.95 v -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x4 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499
26.81/26.95 v -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457
26.81/26.95 v -x455 -x453 -x3 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417
26.81/26.95 v -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x2 -x389 -x387 -x385 -x383 -x381 -x379 -x377
26.81/26.95 v x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335
26.81/26.95 v -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x293
26.81/26.95 v -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251
26.81/26.95 v -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235 -x1 -x233 -x231 -x229 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211
26.81/26.95 v -x209 -x207 -x205 -x203 -x201 -x199 -x197 -x195 -x193 -x191 x189 -x187 -x185 -x183 -x181 -x179 -x177 -x175 -x173 -x171 x3973
26.81/26.95 v x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 -x3957 x3955 -x3953 -x3951 -x3949 -x3947 -x3945 -x3943 -x3941 x3939 -x3937 x3935
26.81/26.95 v -x3933 -x3931 -x3929 -x3927 -x3925 x3923 -x3921 -x3919 -x3917 -x3915 -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x3899
26.81/26.95 v -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x3863
26.81/26.95 v -x3861 -x3859 x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827
26.81/26.95 v -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 -x3797 -x3795 -x3793
26.81/26.95 v x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 -x3777 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758
26.81/26.95 v -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722
26.81/26.95 v -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700 -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686
26.81/26.95 v -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670 -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650
26.81/26.95 v -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634 -x3632 -x3630 -x3628 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615
26.81/26.95 v -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x3579
26.81/26.95 v -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543
26.81/26.95 v -x3541 -x3539 -x3537 -x3535 -x3533 -x3531 -x3529 -x3527 -x3525 -x3523 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x3509
26.81/26.95 v -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491 -x3489 -x3487 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474
26.81/26.96 v -x3472 -x3470 -x3468 -x3466 -x3464 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446 -x3445 -x3443 -x3441 -x3439
26.81/26.96 v -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403
26.81/26.96 v -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x3389 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367
26.81/26.96 v -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332
26.81/26.96 v -x3330 -x3328 -x3326 -x3324 -x3322 x3320 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297
26.81/26.96 v -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261
26.81/26.96 v -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227
26.81/26.96 v -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191
26.81/26.96 v -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155
26.81/26.96 v -x3153 -x3151 -x3149 -x3147 x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123 -x3121 -x3119
26.81/26.96 v -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083
26.81/26.96 v -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047
26.81/26.96 v -x3045 -x3043 -x3041 -x3039 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012
26.81/26.96 v -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976
26.81/26.96 v -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 x2942 -x2940
26.81/26.96 v -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906
26.81/26.96 v -x2904 -x2902 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 x2880 -x2878 -x2876 -x2874 -x2872 -x2870
26.81/26.96 v -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834
26.81/26.96 v -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798
26.81/26.96 v -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762
26.81/26.96 v -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726
26.81/26.96 v -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690
26.81/26.96 v -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654
26.81/26.96 v -x2652 x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618
26.81/26.96 v -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584
26.81/26.96 v -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548
26.81/26.96 v -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512
26.81/26.96 v -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476
26.81/26.96 v -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440
26.81/26.96 v -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404
26.81/26.96 v -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368
26.81/26.96 v -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332
26.81/26.96 v -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298
26.81/26.96 v -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262
26.81/26.96 v -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226
26.81/26.96 v -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190
26.81/26.96 v -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154
26.81/26.96 v -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118
26.81/26.96 v -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082
26.81/26.96 v -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046
26.81/26.96 v -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012
26.81/26.96 v -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976
26.81/26.96 v -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940
26.81/26.96 v -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904
26.81/26.96 v -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868
26.81/26.96 v -x1866 x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832
26.81/26.96 v -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796
26.81/26.96 v -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760
26.81/26.96 v -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724
26.81/26.96 v -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688
26.81/26.96 v -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654
26.81/26.96 v -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618
26.81/26.96 v -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582
26.81/26.96 v -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x1546
26.81/26.96 v -x1544 -x1542 x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510
26.81/26.96 v -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 x1478 -x1476 -x1474
26.81/26.96 v -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438
26.81/26.96 v -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 x1402
26.81/26.96 v -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366
26.81/26.96 v -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330
26.81/26.96 v -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296
26.81/26.96 v -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260
26.81/26.96 v -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226 -x1224
26.81/26.96 v -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188
26.81/26.96 v -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152
26.81/26.96 v -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116
26.81/26.96 v -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080
26.81/26.96 v -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046
26.81/26.96 v -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010
26.81/26.96 v -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970
26.81/26.96 v -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928
26.81/26.96 v -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886
26.81/26.96 v -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850 x848 -x846 -x844
26.81/26.96 v -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802
26.81/26.96 v -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x773 -x771 -x769 -x767 -x765 -x763 -x761
26.81/26.96 v x759 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720
26.81/26.96 v -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680
26.81/26.96 v -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638
26.81/26.96 v -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596
26.81/26.96 v -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554
26.81/26.96 v -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512
26.81/26.96 v -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470
26.81/26.96 v -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430
26.81/26.96 v -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388
26.81/26.96 v -x386 -x384 -x382 -x380 -x378 x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346
26.81/26.96 v -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304
26.81/26.96 v -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262
26.81/26.96 v -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 -x244 -x242 -x240 -x238 -x236 -x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220
26.81/26.96 v -x218 -x216 -x214 -x212 -x210 -x208 -x206 -x204 -x202 -x200 -x198 -x196 -x194 -x192 x190 -x188 -x186 -x184 -x182 -x180 -x178
26.81/26.96 v -x176 -x174 -x172
26.81/26.96 c SCIP Status : problem is solved [optimal solution found]
26.81/26.96 c Total Time : 26.94
26.81/26.96 c solving : 26.94
26.81/26.96 c presolving : 0.24 (included in solving)
26.81/26.96 c reading : 0.02 (included in solving)
26.81/26.96 c copying : 0.04 (7 #copies) (minimal 0.00, maximal 0.01, average 0.01)
26.81/26.96 c Original Problem :
26.81/26.96 c Problem name : HOME/instance-4496558-1751390425.opb
26.81/26.96 c Variables : 3973 (3973 binary, 0 integer, 0 implicit integer, 0 continuous)
26.81/26.96 c Constraints : 11097 initial, 11097 maximal
26.81/26.96 c Objective : minimize, 1906 non-zeros (abs.min = 1, abs.max = 1)
26.81/26.96 c Presolved Problem :
26.81/26.96 c Problem name : t_HOME/instance-4496558-1751390425.opb
26.81/26.96 c Variables : 589 (589 binary, 0 integer, 0 implicit integer, 0 continuous)
26.81/26.96 c Constraints : 1141 initial, 1141 maximal
26.81/26.96 c Objective : minimize, 519 non-zeros (abs.min = 1, abs.max = 1)
26.81/26.96 c Nonzeros : 10809 constraint, 2817 clique table
26.81/26.96 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
26.81/26.96 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c domcol : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
26.81/26.96 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c dualsparsify : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
26.81/26.96 c gateextraction : 0.03 0.00 27 0 0 0 0 0 1649 161 0 0
26.81/26.96 c implics : 0.00 0.00 30 0 0 0 0 0 0 0 0 0
26.81/26.96 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
26.81/26.96 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
26.81/26.96 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c trivial : 0.00 0.00 42 1269 0 0 0 0 0 0 0 0
26.81/26.96 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c dualfix : 0.00 0.00 42 1 0 0 0 0 0 0 0 0
26.81/26.96 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
26.81/26.96 c pseudoobj : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
26.81/26.96 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 5 0 0
26.81/26.96 c vbounds : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
26.81/26.96 c knapsack : 0.03 0.00 67 0 0 0 0 0 0 4 5 105
26.81/26.96 c setppc : 0.06 0.00 86 6 0 0 0 0 3654 0 0 0
26.81/26.96 c and : 0.00 0.00 52 89 2 0 0 0 2 0 0 112
26.81/26.96 c linear : 0.04 0.00 49 109 1904 0 109 0 4853 0 12 0
26.81/26.96 c logicor : 0.00 0.00 74 3 1 0 0 0 14 0 0 187
26.81/26.96 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c components : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
26.81/26.96 c root node : - - - 1241 - - 1241 - - - - -
26.81/26.96 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
26.81/26.96 c benderslp : 0 0 0 0 10 0 0 88 0 0 0 0 0 0 0
26.81/26.96 c integral : 0 0 0 0 10 0 0 88 0 0 114 0 0 6 0
26.81/26.96 c knapsack : 33 33 25 3172 0 0 0 0 1 0 0 0 0 0 0
26.81/26.96 c setppc : 960 960 50 14015 0 0 0 79 340 6 0 2 0 0 0
26.81/26.96 c and : 70 70 50 14862 0 0 0 71 40 17 0 5 0 0 0
26.81/26.96 c linear : 14 14 13 973 0 0 0 3 0 0 0 0 0 0 0
26.81/26.96 c logicor : 64 64 50 1647 0 0 0 14 18 3 0 138 22 0 0
26.81/26.96 c benders : 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0
26.81/26.96 c fixedvar : 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0
26.81/26.96 c countsols : 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0
26.81/26.96 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
26.81/26.96 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.81/26.96 c integral : 7.49 0.00 0.00 0.00 7.49 0.00 0.00 0.00 0.00 0.00
26.81/26.96 c knapsack : 0.37 0.00 0.36 0.02 0.00 0.00 0.00 0.00 0.00 0.00
26.81/26.96 c setppc : 0.13 0.00 0.01 0.09 0.00 0.00 0.00 0.02 0.00 0.01
26.81/26.96 c and : 0.04 0.00 0.01 0.03 0.00 0.00 0.00 0.00 0.00 0.00
26.81/26.96 c linear : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.81/26.96 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.81/26.96 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.81/26.96 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.81/26.96 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.81/26.96 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.81/26.96 c Propagators : #Propagate #ResProp Cutoffs DomReds
26.81/26.96 c dualfix : 15 0 0 0
26.81/26.96 c genvbounds : 0 0 0 0
26.81/26.96 c nlobbt : 0 0 0 0
26.81/26.96 c obbt : 0 0 0 0
26.81/26.96 c probing : 0 0 0 0
26.81/26.96 c pseudoobj : 97 0 0 0
26.81/26.96 c redcost : 80 0 0 4
26.81/26.96 c rootredcost : 0 0 0 0
26.81/26.96 c symmetry : 0 0 0 0
26.81/26.96 c vbounds : 5640 0 0 0
26.81/26.96 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
26.81/26.96 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
26.81/26.96 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
26.81/26.96 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
26.81/26.96 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
26.81/26.96 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
26.81/26.96 c pseudoobj : 0.01 0.00 0.00 0.00 0.00 0.00
26.81/26.96 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
26.81/26.96 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
26.81/26.96 c symmetry : 0.01 0.00 0.01 0.00 0.00 0.00
26.81/26.96 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
26.81/26.96 c Symmetry :
26.81/26.96 c orbitopal red. : 0 reductions applied, 0 cutoffs
26.81/26.96 c orbital reduction: 0 reductions applied, 0 cutoffs
26.81/26.96 c lexicographic red: 0 reductions applied, 0 cutoffs
26.81/26.96 c shadow tree time : 0.00 s
26.81/26.96 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
26.81/26.96 c propagation : 0.00 24 24 - 61 14.0 1 30.0 - - -
26.81/26.96 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
26.81/26.96 c bound exceed. LP : 0.04 40 1120 - 37 2.8 0 0.0 1097 1.0 221
26.81/26.96 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
26.81/26.96 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
26.81/26.96 c applied globally : 0.00 - - 1097 86 7.2 - - 1097 - -
26.81/26.96 c applied locally : - - - 0 0 0.0 - - 0 - -
26.81/26.96 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
26.81/26.96 c cut pool : 0.08 - 104 104 - - 5955 10070 - - - - - (maximal pool size: 2076)
26.81/26.96 c aggregation : 0.35 0.00 50 50 0 0 0 0 0 0 0 0 0
26.81/26.96 c > cmir : - - - - - - - 0 0 0 0 0 -
26.81/26.96 c > flowcover : - - - - - - - 0 0 0 0 0 -
26.81/26.96 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
26.81/26.96 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c clique : 0.04 0.00 50 50 0 0 196 265 0 155 155 0 0
26.81/26.96 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c gomory : 16.07 0.00 31 31 0 0 5700 9689 0 29 29 0 0
26.81/26.96 c > gomorymi : - - - - - - - 5896 0 19 19 0 -
26.81/26.96 c > strongcg : - - - - - - - 3793 0 10 10 0 -
26.81/26.96 c impliedbounds : 0.01 0.00 50 50 0 0 12 17 0 11 11 0 0
26.81/26.96 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c mcf : 0.00 0.00 4 4 0 0 0 0 0 0 0 0 0
26.81/26.96 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c multilinear : 0.00 0.00 50 50 0 0 0 0 0 0 0 0 0
26.81/26.96 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.81/26.96 c rapidlearning : 0.10 0.00 3 3 0 7 0 0 0 0 0 0 0
26.81/26.96 c rlt : 0.08 0.00 31 31 0 0 0 0 0 0 0 0 0
26.81/26.96 c zerohalf : 0.15 0.00 45 45 0 0 47 99 0 33 33 0 0
26.81/26.96 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
26.81/26.96 c hybrid : 0.05 0.00 56 56 250 0 9965 250 0 9965
26.81/26.96 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
26.81/26.96 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
26.81/26.96 c Pricers : ExecTime SetupTime Calls Vars
26.81/26.96 c problem variables: 0.00 - 0 0
26.81/26.96 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
26.81/26.96 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
26.81/26.96 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
26.81/26.96 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
26.81/26.96 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
26.81/26.96 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
26.81/26.96 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
26.81/26.96 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
26.81/26.96 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
26.81/26.96 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
26.81/26.96 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
26.81/26.96 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
26.81/26.96 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
26.81/26.96 c random : 0.00 0.00 0 0 0 0 0 0 0 0
26.81/26.96 c relpscost : 7.49 0.00 10 0 0 0 114 0 6 0
26.81/26.96 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
26.81/26.96 c Primal Heuristics : ExecTime SetupTime Calls Found Best
26.81/26.96 c LP solutions : 0.00 - - 0 0
26.81/26.96 c relax solutions : 0.00 - - 0 0
26.81/26.96 c pseudo solutions : 0.00 - - 0 0
26.81/26.96 c strong branching : 0.00 - - 1 1
26.81/26.96 c actconsdiving : 0.00 0.00 0 0 0
26.81/26.96 c adaptivediving : 0.00 0.00 0 0 0
26.81/26.96 c alns : 0.03 0.00 1 0 0
26.81/26.96 c bound : 0.00 0.00 0 0 0
26.81/26.96 c clique : 0.01 0.00 1 0 0
26.81/26.96 c coefdiving : 0.00 0.00 0 0 0
26.81/26.96 c completesol : 0.00 0.00 0 0 0
26.81/26.96 c conflictdiving : 0.30 0.00 3 0 0
26.81/26.96 c crossover : 0.00 0.00 0 0 0
26.81/26.96 c dins : 0.00 0.00 0 0 0
26.81/26.96 c distributiondivin: 0.00 0.00 0 0 0
26.81/26.96 c dps : 0.00 0.00 0 0 0
26.81/26.96 c dualval : 0.00 0.00 0 0 0
26.81/26.96 c farkasdiving : 0.00 0.00 0 0 0
26.81/26.96 c feasjump : 0.00 0.00 0 0 0
26.81/26.96 c feaspump : 0.15 0.00 1 1 0
26.81/26.96 c fixandinfer : 0.00 0.00 0 0 0
26.81/26.96 c fracdiving : 0.00 0.00 0 0 0
26.81/26.96 c gins : 0.00 0.00 0 0 0
26.81/26.96 c guideddiving : 0.00 0.00 0 0 0
26.81/26.96 c indcoefdiving : 0.00 0.00 0 0 0
26.81/26.96 c indicator : 0.00 0.00 0 0 0
26.81/26.96 c indicatordiving : 0.00 0.00 0 0 0
26.81/26.96 c indoneopt : 0.00 0.00 0 0 0
26.81/26.96 c indrounding : 0.00 0.00 0 0 0
26.81/26.96 c indtwoopt : 0.00 0.00 0 0 0
26.81/26.96 c intdiving : 0.00 0.00 0 0 0
26.81/26.96 c intshifting : 0.00 0.00 0 0 0
26.81/26.96 c linesearchdiving : 0.00 0.00 0 0 0
26.81/26.96 c localbranching : 0.00 0.00 0 0 0
26.81/26.96 c locks : 0.02 0.00 1 1 1
26.81/26.96 c lpface : 0.00 0.00 0 0 0
26.81/26.96 c mpec : 0.00 0.00 0 0 0
26.81/26.96 c multistart : 0.00 0.00 0 0 0
26.81/26.96 c mutation : 0.00 0.00 0 0 0
26.81/26.96 c nlpdiving : 0.00 0.00 0 0 0
26.81/26.96 c objpscostdiving : 0.00 0.00 0 0 0
26.81/26.96 c octane : 0.00 0.00 0 0 0
26.81/26.96 c ofins : 0.00 0.00 0 0 0
26.81/26.96 c oneopt : 0.00 0.00 2 0 0
26.81/26.96 c padm : 0.00 0.00 0 0 0
26.81/26.96 c proximity : 0.00 0.00 0 0 0
26.81/26.96 c pscostdiving : 0.00 0.00 0 0 0
26.81/26.96 c randrounding : 0.24 0.00 67 0 0
26.81/26.96 c rens : 0.16 0.00 3 3 1
26.81/26.96 c reoptsols : 0.00 0.00 0 0 0
26.81/26.96 c repair : 0.00 0.00 0 0 0
26.81/26.96 c rins : 0.00 0.00 0 0 0
26.81/26.96 c rootsoldiving : 0.00 0.00 0 0 0
26.81/26.96 c rounding : 0.01 0.00 67 0 0
26.81/26.96 c scheduler : 0.00 0.00 0 0 0
26.81/26.96 c shiftandpropagate: 0.00 0.00 0 0 0
26.81/26.96 c shifting : 0.02 0.00 67 0 0
26.81/26.96 c simplerounding : 0.00 0.00 69 0 0
26.81/26.96 c smallcard : 0.00 0.00 0 0 0
26.81/26.96 c subnlp : 0.00 0.00 0 0 0
26.81/26.96 c trivial : 0.01 0.00 8 0 0
26.81/26.96 c trivialnegation : 0.00 0.00 0 0 0
26.81/26.96 c trustregion : 0.00 0.00 0 0 0
26.81/26.96 c trysol : 0.00 0.00 0 0 0
26.81/26.96 c twoopt : 0.00 0.00 0 0 0
26.81/26.96 c undercover : 0.00 0.00 1 0 0
26.81/26.96 c vbounds : 0.04 0.00 4 1 1
26.81/26.96 c veclendiving : 0.00 0.00 0 0 0
26.81/26.96 c zeroobj : 0.00 0.00 0 0 0
26.81/26.96 c zirounding : 0.00 0.00 3 0 0
26.81/26.96 c other solutions : - - - 0 -
26.81/26.96 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
26.81/26.96 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
26.81/26.96 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
26.81/26.96 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
26.81/26.96 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
26.81/26.96 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
26.81/26.96 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
26.81/26.96 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
26.81/26.96 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
26.81/26.96 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
26.81/26.96 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
26.81/26.96 c primal LP : 0.00 5 0 0.00 - 0.00 5
26.81/26.96 c dual LP : 0.52 67 6919 109.83 13252.43 0.00 4
26.81/26.96 c lex dual LP : 0.00 0 0 0.00 -
26.81/26.96 c barrier LP : 0.00 0 0 0.00 - 0.00 0
26.81/26.96 c resolve instable : 0.00 0 0 0.00 -
26.81/26.96 c diving/probing LP: 0.51 36 6597 183.25 12840.63
26.81/26.96 c strong branching : 7.25 152 68090 447.96 9391.72 - - 39
26.81/26.96 c (at root node) : - 152 68090 447.96 -
26.81/26.96 c conflict analysis: 0.02 27 221 8.19 9033.68
26.81/26.96 c B&B Tree :
26.81/26.96 c number of runs : 4
26.81/26.96 c nodes : 1 (0 internal, 1 leaves)
26.81/26.96 c feasible leaves : 0
26.81/26.96 c infeas. leaves : 0
26.81/26.96 c objective leaves : 1
26.81/26.96 c nodes (total) : 4 (0 internal, 4 leaves)
26.81/26.96 c nodes left : 0
26.81/26.96 c max depth : 0
26.81/26.96 c max depth (total): 0
26.81/26.96 c backtracks : 0 (0.0%)
26.81/26.96 c early backtracks : 0 (0.0%)
26.81/26.96 c nodes exc. ref. : 0 (0.0%)
26.81/26.96 c delayed cutoffs : 0
26.81/26.96 c repropagations : 0 (0 domain reductions, 0 cutoffs)
26.81/26.96 c avg switch length: 2.00
26.81/26.96 c switching time : 0.00
26.81/26.96 c Root Node :
26.81/26.96 c First LP value : +2.32500000000000e+01
26.81/26.96 c First LP Iters : 898 (17605.77 Iter/sec)
26.81/26.96 c First LP Time : 0.05
26.81/26.96 c Final Dual Bound : +2.50000000000000e+01
26.81/26.96 c Final Root Iters : 6919
26.81/26.96 c Root LP Estimate : -
26.81/26.96 c Solution :
26.81/26.96 c Solutions found : 7 (4 improvements)
26.81/26.96 c First Solution : +1.47000000000000e+02 (in run 1, after 1 nodes, 0.21 seconds, depth 1779, found by <locks>)
26.81/26.96 c Gap First Sol. : 14600.00 %
26.81/26.96 c Gap Last Sol. : 4.17 %
26.81/26.96 c Primal Bound : +2.50000000000000e+01 (in run 1, after 1 nodes, 17.92 seconds, depth 2, found by <relaxation>)
26.81/26.96 c Dual Bound : +2.50000000000000e+01
26.81/26.96 c Gap : 0.00 %
26.81/26.96 c Integrals : Total Avg%
26.81/26.96 c primal-dual : 339.13 12.59
26.81/26.96 c primal-ref : - - (not evaluated)
26.81/26.96 c dual-ref : - - (not evaluated)
26.81/26.98 c Time complete: 26.8959.
OK 25
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62268 MiB free)
memory of node 1: 64507 MiB (61867 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496558-1751390425/watcher-4496558-1751390425 -o /tmp/evaluation-result-4496558-1751390425/solver-4496558-1751390425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751383217-58508 --watchdog 3760 pbscip -f HOME/instance-4496558-1751390425.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=59910, runsolver pid=59907
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.08 4.10 4.09 5/263 59911
/proc/meminfo: memFree=127083444/131249996 swapFree=33010684/33010684
[pid=59910] ppid=59907 vsize=73152 memory=46452 CPUtime=0.09 cores=5,7
/proc/59910/stat : 59910 (pbscip) R 59907 59910 58495 0 -1 4194304 8731 0 0 0 8 1 0 0 20 0 1 0 54720364 74907648 11613 18446744073709551615 4235264 18693293 140737159444096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40968192 140737159448969 140737159449068 140737159449068 140737159454670 0
/proc/59910/statm: 18288 11613 3712 3530 0 9739 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73152 KiB
Current children cumulated memory: 46452 KiB
[startup+0.205572 s]*
/proc/loadavg: 4.08 4.10 4.09 5/263 59911
/proc/meminfo: memFree=127067700/131249996 swapFree=33010684/33010684
[pid=59910] ppid=59907 vsize=99204 memory=66160 CPUtime=0.2 cores=5,7
/proc/59910/stat : 59910 (pbscip) R 59907 59910 58495 0 -1 4194304 13708 0 0 0 18 2 0 0 20 0 1 0 54720364 101584896 16540 18446744073709551615 4235264 18693293 140737159444096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40968192 140737159448969 140737159449068 140737159449068 140737159454670 0
/proc/59910/statm: 24801 16540 3840 3530 0 16252 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 99204 KiB
Current children cumulated memory: 66160 KiB
[startup+0.305452 s]*
/proc/loadavg: 4.08 4.10 4.09 5/263 59911
/proc/meminfo: memFree=127065936/131249996 swapFree=33010684/33010684
[pid=59910] ppid=59907 vsize=103288 memory=70384 CPUtime=0.29 cores=5,7
/proc/59910/stat : 59910 (pbscip) R 59907 59910 58495 0 -1 4194304 14679 0 0 0 27 2 0 0 20 0 1 0 54720364 105766912 17596 18446744073709551615 4235264 18693293 140737159444096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40968192 140737159448969 140737159449068 140737159449068 140737159454670 0
/proc/59910/statm: 25822 17596 3936 3530 0 17273 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 103288 KiB
Current children cumulated memory: 70384 KiB
[startup+0.700159 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 59911
/proc/meminfo: memFree=127063920/131249996 swapFree=33010684/33010684
[pid=59910] ppid=59907 vsize=107064 memory=74096 CPUtime=0.68 cores=5,7
/proc/59910/stat : 59910 (pbscip) R 59907 59910 58495 0 -1 4194304 15635 0 0 0 66 2 0 0 20 0 1 0 54720364 109633536 18524 18446744073709551615 4235264 18693293 140737159444096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40968192 140737159448969 140737159449068 140737159449068 140737159454670 0
/proc/59910/statm: 26766 18524 3936 3530 0 18217 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107064 KiB
Current children cumulated memory: 74096 KiB
[startup+1.50017 s]
/proc/loadavg: 4.15 4.12 4.09 4/259 59919
/proc/meminfo: memFree=127388496/131249996 swapFree=33010684/33010684
[pid=59910] ppid=59907 vsize=114992 memory=81520 CPUtime=1.48 cores=5,7
/proc/59910/stat : 59910 (pbscip) R 59907 59910 58495 0 -1 4194304 17488 0 0 0 146 2 0 0 20 0 1 0 54720364 117751808 20380 18446744073709551615 4235264 18693293 140737159444096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40968192 140737159448969 140737159449068 140737159449068 140737159454670 0
/proc/59910/statm: 28748 20380 3936 3530 0 20199 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 114992 KiB
Current children cumulated memory: 81520 KiB
[startup+3.10523 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 59958
/proc/meminfo: memFree=126961816/131249996 swapFree=33010684/33010684
[pid=59910] ppid=59907 vsize=133892 memory=99824 CPUtime=3.08 cores=5,7
/proc/59910/stat : 59910 (pbscip) R 59907 59910 58495 0 -1 4194304 22085 0 0 0 305 3 0 0 20 0 1 0 54720364 137105408 24956 18446744073709551615 4235264 18693293 140737159444096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40968192 140737159448969 140737159449068 140737159449068 140737159454670 0
/proc/59910/statm: 33473 24956 3936 3530 0 24924 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 133892 KiB
Current children cumulated memory: 99824 KiB
[startup+6.30015 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 59958
/proc/meminfo: memFree=126652180/131249996 swapFree=33010684/33010684
[pid=59910] ppid=59907 vsize=153560 memory=117680 CPUtime=6.27 cores=5,7
/proc/59910/stat : 59910 (pbscip) R 59907 59910 58495 0 -1 4194304 27226 0 0 0 623 4 0 0 20 0 1 0 54720364 157245440 29420 18446744073709551615 4235264 18693293 140737159444096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40968192 140737159448969 140737159449068 140737159449068 140737159454670 0
/proc/59910/statm: 38390 29420 3936 3530 0 29841 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 153560 KiB
Current children cumulated memory: 117680 KiB
[startup+12.7001 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 60003
/proc/meminfo: memFree=126955152/131249996 swapFree=33010684/33010684
[pid=59910] ppid=59907 vsize=221100 memory=181380 CPUtime=12.65 cores=5,7
/proc/59910/stat : 59910 (pbscip) R 59907 59910 58495 0 -1 4194304 43623 0 0 0 1258 7 0 0 20 0 1 0 54720364 226406400 45345 18446744073709551615 4235264 18693293 140737159444096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40968192 140737159448969 140737159449068 140737159449068 140737159454670 0
/proc/59910/statm: 55275 45345 3968 3530 0 46726 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 221100 KiB
Current children cumulated memory: 181380 KiB
[startup+25.5001 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 60003
/proc/meminfo: memFree=126862380/131249996 swapFree=33010684/33010684
[pid=59910] ppid=59907 vsize=251992 memory=211808 CPUtime=25.41 cores=5,7
/proc/59910/stat : 59910 (pbscip) R 59907 59910 58495 0 -1 4194304 53325 0 0 0 2533 8 0 0 20 0 1 0 54720364 258039808 52952 18446744073709551615 4235264 18693293 140737159444096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40968192 140737159448969 140737159449068 140737159449068 140737159454670 0
/proc/59910/statm: 62998 52952 3968 3530 0 54449 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 251992 KiB
Current children cumulated memory: 211808 KiB
[startup+26.9888 s]
# the end of solver process 59910 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=26.8038 s, system=0.103675 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 60003
/proc/meminfo: memFree=126862380/131249996 swapFree=33010684/33010684
[pid=59910] ppid=59907 vsize=251992 memory=211808 CPUtime=25.51 cores=5,7
/proc/59910/stat : 59910 (pbscip) R 59907 59910 58495 0 -1 4194304 53325 0 0 0 2543 8 0 0 20 0 1 0 54720364 258039808 52952 18446744073709551615 4235264 18693293 140737159444096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40968192 140737159448969 140737159449068 140737159449068 140737159454670 0
/proc/59910/statm: 62998 52952 3968 3530 0 54449 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 251992 KiB
Current children cumulated memory: 211808 KiB
[startup+26.4001 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 60003
/proc/meminfo: memFree=126854316/131249996 swapFree=33010684/33010684
[pid=59910] ppid=59907 vsize=255960 memory=215648 CPUtime=26.31 cores=5,7
/proc/59910/stat : 59910 (pbscip) R 59907 59910 58495 0 -1 4194304 54283 0 0 0 2622 9 0 0 20 0 1 0 54720364 262103040 53912 18446744073709551615 4235264 18693293 140737159444096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40968192 140737159448969 140737159449068 140737159449068 140737159454670 0
/proc/59910/statm: 63990 53912 3968 3530 0 55441 0
Current children cumulated CPU time: 26.31 s
Current children cumulated vsize: 255960 KiB
Current children cumulated memory: 215648 KiB
[startup+26.8001 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 60003
/proc/meminfo: memFree=126854316/131249996 swapFree=33010684/33010684
[pid=59910] ppid=59907 vsize=254936 memory=214668 CPUtime=26.71 cores=5,7
/proc/59910/stat : 59910 (pbscip) R 59907 59910 58495 0 -1 4194304 54287 0 0 0 2662 9 0 0 20 0 1 0 54720364 261054464 53667 18446744073709551615 4235264 18693293 140737159444096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40968192 140737159448969 140737159449068 140737159449068 140737159454670 0
/proc/59910/statm: 63734 53667 3968 3530 0 55185 0
Current children cumulated CPU time: 26.71 s
Current children cumulated vsize: 254936 KiB
Current children cumulated memory: 214668 KiB
[startup+26.9001 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 60003
/proc/meminfo: memFree=126854316/131249996 swapFree=33010684/33010684
[pid=59910] ppid=59907 vsize=254936 memory=214668 CPUtime=26.81 cores=5,7
/proc/59910/stat : 59910 (pbscip) R 59907 59910 58495 0 -1 4194304 54287 0 0 0 2672 9 0 0 20 0 1 0 54720364 261054464 53667 18446744073709551615 4235264 18693293 140737159444096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 40968192 140737159448969 140737159449068 140737159449068 140737159454670 0
/proc/59910/statm: 63734 53667 3968 3530 0 55185 0
Current children cumulated CPU time: 26.81 s
Current children cumulated vsize: 254936 KiB
Current children cumulated memory: 214668 KiB
Child status: 0
Real time (s): 26.9888
CPU time (s): 26.9075
CPU user time (s): 26.8038
CPU system time (s): 0.103675
CPU usage (%): 99.6985
Max. virtual memory (cumulated for all children) (KiB): 255960
Max. memory (cumulated for all children) (KiB): 215648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.8038
system time used= 0.103675
maximum resident set size= 215648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54295
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= 80
involuntary context switches= 39
# summary of solver processes directly reported to runsolver:
# pid: 59910
# total CPU time (s): 26.9075
# total CPU user time (s): 26.8038
# total CPU system time (s): 0.103675
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.053681 second user time and 0.142679 second system time
The end
Begin job on nodeC024 at 2025-07-01 19:20:25 IDJOB=4496558 IDBENCH=148119 IDSOLVER=3365 FILE ID=nodeC024/4496558-1751390425 RUNJOBID= nodeC024-1751383217-58508 SLURM_JOB_ID= 9598230 Free space on /tmp= 432916 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4496558-1751390425/watcher-4496558-1751390425 -o /tmp/evaluation-result-4496558-1751390425/solver-4496558-1751390425 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751383217-58508 --watchdog 3760 pbscip -f HOME/instance-4496558-1751390425.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3f61d67ec309aef8ac87c7a01b0ee309 RANDOM SEED=85430452 nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.701 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.643 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3553.969 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.653 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.672 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.676 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.081 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.995 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 127115008 kB MemAvailable: 128546796 kB Buffers: 3280 kB Cached: 2224736 kB SwapCached: 0 kB Active: 1526824 kB Inactive: 1967584 kB Active(anon): 1284460 kB Inactive(anon): 0 kB Active(file): 242364 kB Inactive(file): 1967584 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 41200 kB Writeback: 0 kB AnonPages: 1258696 kB Mapped: 138116 kB Shmem: 18064 kB KReclaimable: 121756 kB Slab: 210892 kB SReclaimable: 121756 kB SUnreclaim: 89136 kB KernelStack: 4272 kB PageTables: 5664 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1628340 kB VmallocTotal: 34359738367 kB VmallocUsed: 150568 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 884736 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432896 MiB End job on nodeC024 at 2025-07-01 19:20:52