Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | OPT | 25 | 15.4561 | 15.4976 |
| 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.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4496559-1751387929.opb>
0.00/0.02 c original problem has 3973 variables (3973 bin, 0 int, 0 cont) and 11097 constraints
0.00/0.02 c problem read in 0.020 seconds
0.00/0.04 c presolving:
0.00/0.06 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.06 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.06 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.07 c (0.1s) running MILP presolver
0.00/0.07 c (0.1s) MILP presolver found nothing
0.00/0.08 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.00/0.09 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.00/0.10 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.10/0.10 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.10/0.11 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.10/0.13 c (0.1s) probing: 51/1956 (2.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.13 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.10/0.13 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.10/0.14 c (0.1s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 1035.50) (symcode time: 0.00)
0.10/0.14 c dynamic symmetry handling statistics:
0.10/0.14 c orbitopal reduction: no components
0.10/0.14 c orbital reduction: no components
0.10/0.14 c lexicographic reduction: no permutations
0.10/0.14 c handled 5 out of 5 symmetry components
0.10/0.14 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.10/0.15 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.10/0.16 c presolving (11 rounds: 11 fast, 7 medium, 7 exhaustive):
0.10/0.16 c 2017 deleted vars, 6488 deleted constraints, 166 added constraints, 109 tightened bounds, 0 added holes, 0 changed sides, 4 changed coefficients
0.10/0.16 c 0 implications, 6080 cliques
0.10/0.16 c presolved problem has 1956 variables (1956 bin, 0 int, 0 cont) and 4775 constraints
0.10/0.16 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.10/0.16 c 4596 constraints of type <setppc>
0.10/0.16 c 161 constraints of type <and>
0.10/0.16 c 18 constraints of type <logicor>
0.10/0.16 c transformed objective value is always integral (scale: 1)
0.10/0.16 c Presolving Time: 0.12
0.10/0.16 c
0.10/0.16 c - non default parameters ----------------------------------------------------------------------
0.10/0.16 c
0.10/0.16 c # SCIP version 10.0.0
0.10/0.16 c
0.10/0.16 c # maximal time in seconds to run
0.10/0.16 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.10/0.16 c limits/time = 3596.99809
0.10/0.16 c
0.10/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.16 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.10/0.16 c limits/memory = 27900
0.10/0.16 c
0.10/0.16 c # belongs reading time to solving time?
0.10/0.16 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.10/0.16 c timing/reading = TRUE
0.10/0.16 c
0.10/0.16 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.10/0.16 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.10/0.16 c reading/opbreader/maxintsize = 47
0.10/0.16 c
0.10/0.16 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.10/0.16 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.10/0.16 c propagating/genvbounds/timingmask = 0
0.10/0.16 c
0.10/0.16 c -----------------------------------------------------------------------------------------------
0.10/0.16 c
0.10/0.19 o 147
0.10/0.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.10/0.19 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.10/0.20 o 30
0.10/0.20 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.20/0.28 c 0.3s| 1 | 0 | 898 | - | 58M | 0 |1956 |4800 |4936 | 0 | 0 | 24 | 0 | 2.325000e+01 | 3.000000e+01 | 29.03%| unknown
1.19/1.22 c 1.2s| 1 | 0 | 1126 | - | 63M | 0 |1956 |4800 |4941 | 5 | 1 | 24 | 0 | 2.338217e+01 | 3.000000e+01 | 28.30%| unknown
2.48/2.54 c 2.5s| 1 | 0 | 1272 | - | 80M | 0 |1956 |4800 |4947 | 11 | 2 | 24 | 0 | 2.348735e+01 | 3.000000e+01 | 27.73%| unknown
3.48/3.59 c 3.6s| 1 | 0 | 1295 | - | 89M | 0 |1956 |4800 |4952 | 16 | 3 | 24 | 0 | 2.348735e+01 | 3.000000e+01 | 27.73%| unknown
4.58/4.63 c 4.6s| 1 | 0 | 1411 | - | 94M | 0 |1956 |4801 |4956 | 20 | 4 | 25 | 0 | 2.353221e+01 | 3.000000e+01 | 27.48%| unknown
5.57/5.66 c 5.7s| 1 | 0 | 1538 | - | 102M | 0 |1956 |4801 |4964 | 28 | 5 | 25 | 0 | 2.355981e+01 | 3.000000e+01 | 27.34%| unknown
6.47/6.53 c 6.5s| 1 | 0 | 1685 | - | 114M | 0 |1956 |4801 |4970 | 34 | 6 | 25 | 0 | 2.357588e+01 | 3.000000e+01 | 27.25%| unknown
7.17/7.27 c 7.3s| 1 | 0 | 1776 | - | 120M | 0 |1956 |4801 |4974 | 38 | 7 | 25 | 0 | 2.358092e+01 | 3.000000e+01 | 27.22%| unknown
8.07/8.13 c 8.1s| 1 | 0 | 1822 | - | 130M | 0 |1956 |4801 |4980 | 44 | 8 | 25 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
8.97/9.05 c 9.0s| 1 | 0 | 1883 | - | 141M | 0 |1956 |4801 |4987 | 51 | 9 | 25 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
9.86/9.93 c 9.9s| 1 | 0 | 1936 | - | 154M | 0 |1956 |4801 |4992 | 56 | 10 | 25 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
9.86/9.96 c 10.0s| 1 | 0 | 1984 | - | 154M | 0 |1956 |4801 |4993 | 59 | 11 | 25 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
9.86/9.98 c 10.0s| 1 | 0 | 2037 | - | 155M | 0 |1956 |4801 |5001 | 67 | 12 | 25 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
9.97/10.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.97/10.01 c 10.0s| 1 | 0 | 2079 | - | 155M | 0 |1956 |4802 |5007 | 73 | 13 | 26 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
9.97/10.03 c 10.0s| 1 | 0 | 2101 | - | 156M | 0 |1956 |4802 |5010 | 76 | 14 | 26 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
9.97/10.06 c 10.1s| 1 | 0 | 2143 | - | 156M | 0 |1956 |4802 |5013 | 79 | 15 | 26 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
9.97/10.08 c 10.1s| 1 | 0 | 2175 | - | 157M | 0 |1956 |4802 |5015 | 81 | 16 | 26 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
10.07/10.11 c 10.1s| 1 | 0 | 2209 | - | 157M | 0 |1956 |4802 |5003 | 82 | 17 | 26 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
10.07/10.13 c 10.1s| 1 | 0 | 2254 | - | 158M | 0 |1956 |4804 |5008 | 87 | 18 | 28 | 0 | 2.400000e+01 | 3.000000e+01 | 25.00%| unknown
10.36/10.43 o 25
10.36/10.43 c L10.4s| 1 | 0 | 4402 | - | rens| 0 |1956 |4812 |5008 | 87 | 18 | 36 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
10.36/10.46 c 10.5s| 1 | 0 | 4402 | - | 159M | 0 |1956 |4812 |5008 | 87 | 18 | 36 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
10.36/10.47 c 10.5s| 1 | 0 | 4402 | - | 159M | 0 |1956 |4812 |1945 | 87 | 18 | 36 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
10.36/10.49 c 10.5s| 1 | 0 | 4454 | - | 159M | 0 |1956 |1823 |1950 | 92 | 19 | 36 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
10.46/10.50 c 10.5s| 1 | 0 | 4459 | - | 159M | 0 |1956 |1823 |1951 | 93 | 20 | 36 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
10.46/10.51 c 10.5s| 1 | 0 | 4459 | - | 159M | 0 |1956 |1699 |1951 | 93 | 20 | 41 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
10.46/10.53 c 10.5s| 1 | 0 | 4522 | - | 159M | 0 |1956 |1699 |1956 | 98 | 21 | 41 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
10.46/10.53 c (run 1, node 1) restarting after 1108 global fixings of integer variables
10.46/10.53 c
10.46/10.53 c (restart) converted 74 cuts from the global cut pool into linear constraints
10.46/10.53 c
10.56/10.61 c presolving:
10.56/10.61 c (round 1, fast) 1108 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 41 chg coeffs, 0 upgd conss, 0 impls, 2071 clqs
10.56/10.62 c (round 2, exhaustive) 1108 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 41 chg coeffs, 68 upgd conss, 0 impls, 2071 clqs
10.56/10.63 c (round 3, medium) 1108 del vars, 3 del conss, 2 add conss, 0 chg bounds, 3 chg sides, 46 chg coeffs, 68 upgd conss, 0 impls, 2071 clqs
10.56/10.63 c (round 4, exhaustive) 1108 del vars, 3 del conss, 2 add conss, 0 chg bounds, 3 chg sides, 64 chg coeffs, 68 upgd conss, 0 impls, 2071 clqs
10.56/10.63 c (round 5, exhaustive) 1108 del vars, 3 del conss, 2 add conss, 0 chg bounds, 3 chg sides, 77 chg coeffs, 68 upgd conss, 0 impls, 2071 clqs
10.56/10.64 c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
10.56/10.64 c 1108 deleted vars, 4 deleted constraints, 2 added constraints, 0 tightened bounds, 0 added holes, 3 changed sides, 87 changed coefficients
10.56/10.64 c 0 implications, 2071 cliques
10.56/10.64 c presolved problem has 848 variables (848 bin, 0 int, 0 cont) and 1771 constraints
10.56/10.64 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
10.56/10.64 c 22 constraints of type <knapsack>
10.56/10.64 c 1598 constraints of type <setppc>
10.56/10.64 c 87 constraints of type <and>
10.56/10.64 c 5 constraints of type <linear>
10.56/10.64 c 59 constraints of type <logicor>
10.56/10.64 c transformed objective value is always integral (scale: 1)
10.56/10.64 c Presolving Time: 0.15
10.56/10.64 c transformed 2/4 original solutions to the transformed problem space
10.56/10.64 c
10.56/10.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.56/10.68 c 10.7s| 1 | 0 | 5302 | - | 146M | 0 | 848 |1771 |1817 | 0 | 0 | 41 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
10.97/11.03 c 11.0s| 1 | 0 | 5378 | - | 147M | 0 | 848 |1772 |1823 | 6 | 1 | 42 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
11.26/11.35 c 11.3s| 1 | 0 | 5480 | - | 150M | 0 | 848 |1772 |1831 | 14 | 2 | 42 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
11.66/11.73 c 11.7s| 1 | 0 | 5600 | - | 152M | 0 | 848 |1774 |1837 | 20 | 3 | 44 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
12.06/12.15 c 12.1s| 1 | 0 | 5672 | - | 153M | 0 | 848 |1774 |1843 | 26 | 4 | 44 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
12.46/12.52 c 12.5s| 1 | 0 | 5720 | - | 155M | 0 | 848 |1775 |1848 | 31 | 5 | 45 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
12.86/12.94 c 12.9s| 1 | 0 | 5828 | - | 161M | 0 | 848 |1775 |1854 | 37 | 6 | 45 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
13.16/13.27 c 13.3s| 1 | 0 | 5903 | - | 163M | 0 | 848 |1775 |1860 | 43 | 7 | 45 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
13.55/13.66 c 13.7s| 1 | 0 | 5989 | - | 169M | 0 | 848 |1775 |1865 | 48 | 8 | 45 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
13.95/14.06 c 14.1s| 1 | 0 | 6061 | - | 183M | 0 | 848 |1775 |1869 | 52 | 9 | 45 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
14.45/14.53 c 14.5s| 1 | 0 | 6127 | - | 191M | 0 | 848 |1775 |1875 | 58 | 10 | 45 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
14.45/14.58 c 14.6s| 1 | 0 | 6224 | - | 191M | 0 | 848 |1775 |1880 | 63 | 11 | 45 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
14.55/14.63 c 14.6s| 1 | 0 | 6273 | - | 192M | 0 | 848 |1775 |1849 | 68 | 12 | 45 | 0 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
14.85/14.93 c 14.9s| 1 | 0 | 10299 | - | 192M | 0 | 848 |1745 |1849 | 68 | 12 | 55 | 1 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
14.85/14.99 c 15.0s| 1 | 0 | 10590 | - | 192M | 0 | 848 |1744 |1848 | 73 | 13 | 55 | 1 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
14.96/15.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.96/15.00 c 15.0s| 1 | 0 | 10646 | - | 192M | 0 | 848 |1746 |1850 | 75 | 14 | 57 | 1 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
14.96/15.03 c 15.0s| 1 | 0 | 10673 | - | 192M | 0 | 848 |1707 |1850 | 75 | 14 | 62 | 2 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
14.96/15.07 c 15.1s| 1 | 0 | 10729 | - | 193M | 0 | 848 |1708 |1856 | 81 | 15 | 63 | 2 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
14.96/15.10 c 15.1s| 1 | 0 | 10762 | - | 193M | 0 | 848 |1650 |1856 | 81 | 16 | 65 | 3 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
15.06/15.14 c 15.1s| 1 | 0 | 10841 | - | 193M | 0 | 848 |1649 |1860 | 85 | 17 | 66 | 3 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
15.06/15.17 c 15.2s| 1 | 0 | 10866 | - | 193M | 0 | 848 |1612 |1860 | 85 | 18 | 70 | 4 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
15.15/15.21 c 15.2s| 1 | 0 | 10921 | - | 193M | 0 | 848 |1612 |1863 | 88 | 19 | 70 | 4 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
15.15/15.24 c 15.2s| 1 | 0 | 11006 | - | 193M | 0 | 848 |1567 |1863 | 88 | 20 | 73 | 5 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
15.15/15.28 c 15.3s| 1 | 0 | 11145 | - | 193M | 0 | 848 |1567 |1866 | 91 | 21 | 73 | 5 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
15.25/15.30 c 15.3s| 1 | 0 | 11191 | - | 193M | 0 | 848 |1567 |1866 | 91 | 22 | 196 | 6 | 2.400000e+01 | 2.500000e+01 | 4.17%| unknown
15.25/15.30 c (run 2, node 1) restarting after 215 global fixings of integer variables
15.25/15.30 c
15.25/15.30 c (restart) converted 74 cuts from the global cut pool into linear constraints
15.25/15.30 c
15.35/15.41 c presolving:
15.35/15.41 c (round 1, fast) 258 del vars, 412 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 196 chg coeffs, 0 upgd conss, 0 impls, 1266 clqs
15.35/15.41 c (round 2, fast) 270 del vars, 461 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 212 chg coeffs, 0 upgd conss, 0 impls, 1266 clqs
15.35/15.41 c (round 3, medium) 270 del vars, 469 del conss, 8 add conss, 0 chg bounds, 9 chg sides, 229 chg coeffs, 0 upgd conss, 0 impls, 1266 clqs
15.35/15.42 c (round 4, exhaustive) 270 del vars, 469 del conss, 8 add conss, 0 chg bounds, 9 chg sides, 249 chg coeffs, 0 upgd conss, 0 impls, 1266 clqs
15.35/15.42 c (round 5, exhaustive) 270 del vars, 469 del conss, 8 add conss, 0 chg bounds, 9 chg sides, 261 chg coeffs, 0 upgd conss, 0 impls, 1266 clqs
15.35/15.42 c (round 6, exhaustive) 270 del vars, 469 del conss, 8 add conss, 0 chg bounds, 9 chg sides, 271 chg coeffs, 0 upgd conss, 0 impls, 1266 clqs
15.35/15.42 c (round 7, exhaustive) 270 del vars, 469 del conss, 8 add conss, 0 chg bounds, 9 chg sides, 277 chg coeffs, 0 upgd conss, 0 impls, 1266 clqs
15.35/15.43 c (round 8, exhaustive) 270 del vars, 502 del conss, 8 add conss, 0 chg bounds, 9 chg sides, 280 chg coeffs, 0 upgd conss, 0 impls, 1266 clqs
15.35/15.43 c (round 9, exhaustive) 270 del vars, 514 del conss, 8 add conss, 0 chg bounds, 19 chg sides, 282 chg coeffs, 0 upgd conss, 0 impls, 1266 clqs
15.35/15.43 c (round 10, exhaustive) 270 del vars, 514 del conss, 8 add conss, 0 chg bounds, 19 chg sides, 284 chg coeffs, 42 upgd conss, 0 impls, 1266 clqs
15.35/15.43 c (round 11, fast) 270 del vars, 525 del conss, 8 add conss, 0 chg bounds, 19 chg sides, 284 chg coeffs, 42 upgd conss, 0 impls, 1266 clqs
15.35/15.43 c (round 12, medium) 270 del vars, 533 del conss, 16 add conss, 0 chg bounds, 29 chg sides, 302 chg coeffs, 42 upgd conss, 0 impls, 1266 clqs
15.35/15.43 c (round 13, fast) 270 del vars, 535 del conss, 16 add conss, 0 chg bounds, 29 chg sides, 302 chg coeffs, 42 upgd conss, 0 impls, 1266 clqs
15.35/15.43 c (round 14, exhaustive) 270 del vars, 535 del conss, 16 add conss, 0 chg bounds, 29 chg sides, 309 chg coeffs, 42 upgd conss, 0 impls, 1266 clqs
15.35/15.43 c (round 15, exhaustive) 270 del vars, 535 del conss, 16 add conss, 0 chg bounds, 29 chg sides, 315 chg coeffs, 42 upgd conss, 0 impls, 1266 clqs
15.35/15.44 c (round 16, exhaustive) 270 del vars, 565 del conss, 16 add conss, 0 chg bounds, 29 chg sides, 319 chg coeffs, 42 upgd conss, 0 impls, 1266 clqs
15.35/15.44 c (round 17, exhaustive) 270 del vars, 568 del conss, 16 add conss, 0 chg bounds, 29 chg sides, 321 chg coeffs, 42 upgd conss, 0 impls, 1266 clqs
15.35/15.44 c presolving (18 rounds: 18 fast, 14 medium, 12 exhaustive):
15.35/15.44 c 270 deleted vars, 568 deleted constraints, 16 added constraints, 0 tightened bounds, 0 added holes, 29 changed sides, 325 changed coefficients
15.35/15.44 c 0 implications, 1266 cliques
15.35/15.44 c presolved problem has 590 variables (590 bin, 0 int, 0 cont) and 1074 constraints
15.35/15.44 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
15.35/15.44 c 30 constraints of type <knapsack>
15.35/15.44 c 909 constraints of type <setppc>
15.35/15.44 c 66 constraints of type <and>
15.35/15.44 c 13 constraints of type <linear>
15.35/15.44 c 56 constraints of type <logicor>
15.35/15.44 c transformed objective value is always integral (scale: 1)
15.35/15.44 c Presolving Time: 0.19
15.35/15.44 c transformed 2/5 original solutions to the transformed problem space
15.35/15.44 c
15.35/15.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.35/15.46 c 15.5s| 1 | 0 | 11794 | - | 180M | 0 | 590 |1074 |1101 | 0 | 0 | 196 | 6 | 2.500000e+01 | 2.500000e+01 | 0.00%| unknown
15.35/15.46 c
15.35/15.46 c SCIP Status : problem is solved [optimal solution found]
15.35/15.46 c Solving Time (sec) : 15.47
15.35/15.46 c Solving Nodes : 1 (total of 3 nodes in 3 runs)
15.35/15.46 c Primal Bound : +2.50000000000000e+01 (5 solutions)
15.35/15.46 c Dual Bound : +2.50000000000000e+01
15.35/15.46 c Gap : 0.00 %
15.35/15.47 s OPTIMUM FOUND
15.35/15.47 v -x172 -x174 -x176 -x178 -x180 -x182 -x184 -x186 x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214
15.35/15.47 v -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258
15.35/15.47 v -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302
15.35/15.47 v -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346
15.35/15.47 v -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390
15.35/15.47 v -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434
15.35/15.47 v -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478
15.35/15.47 v -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522
15.35/15.47 v -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566
15.35/15.47 v -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610
15.35/15.47 v -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654
15.35/15.47 v -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698
15.35/15.47 v -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742
15.35/15.47 v -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x774 -x776 -x778 -x780 -x782 -x784
15.35/15.47 v -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828
15.35/15.47 v -x830 -x832 -x834 -x836 -x838 -x840 x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872
15.35/15.47 v -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916
15.35/15.47 v -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960
15.35/15.47 v -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002
15.35/15.47 v -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040
15.35/15.47 v -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078
15.35/15.47 v -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116
15.35/15.47 v -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154
15.35/15.47 v -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192
15.35/15.47 v -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230
15.35/15.47 v -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268
15.35/15.47 v -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306
15.35/15.47 v -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344
15.35/15.47 v -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382
15.35/15.47 v -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420
15.35/15.47 v -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458
15.35/15.47 v -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496
15.35/15.47 v -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534
15.35/15.47 v x1536 -x1538 -x1540 -x1542 -x1544 -x1546 x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572
15.35/15.47 v -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610
15.35/15.47 v -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648
15.35/15.47 v -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686
15.35/15.47 v -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724
15.35/15.47 v -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762
15.35/15.47 v -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800
15.35/15.47 v -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838
15.35/15.47 v -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876
15.35/15.47 v -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914
15.35/15.47 v -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952
15.35/15.47 v -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990
15.35/15.47 v -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028
15.35/15.47 v -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066
15.35/15.47 v -x2068 x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104
15.35/15.47 v -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142
15.35/15.47 v -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180
15.35/15.47 v -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218
15.35/15.47 v -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256
15.35/15.47 v -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294
15.35/15.47 v -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332
15.35/15.47 v -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 x2366 -x2368 -x2370
15.35/15.47 v -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408
15.35/15.47 v -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 x2440 -x2442 -x2444 -x2446
15.35/15.47 v -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484
15.35/15.47 v -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522
15.35/15.47 v -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560
15.35/15.47 v -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598
15.35/15.47 v -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636
15.35/15.47 v -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674
15.35/15.47 v -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712
15.35/15.47 v -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750
15.35/15.47 v -x2752 -x2754 -x2756 x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788
15.35/15.47 v -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826
15.35/15.47 v -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864
15.35/15.47 v -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902
15.35/15.47 v -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 x2932 -x2934 -x2936 -x2938 -x2940
15.35/15.47 v -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978
15.35/15.47 v -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016
15.35/15.47 v -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053
15.35/15.47 v -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091
15.35/15.47 v -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129
15.35/15.47 v -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167
15.35/15.47 v -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205
15.35/15.47 v -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243
15.35/15.47 v -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281
15.35/15.47 v -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319
15.35/15.47 v -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3351 -x3353 -x3355
15.35/15.47 v -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393
15.35/15.47 v -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431
15.35/15.47 v -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468
15.35/15.47 v -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505
15.35/15.47 v -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543
15.35/15.47 v -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581
15.35/15.47 v -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619
15.35/15.47 v -x3621 -x3623 -x3625 -x3627 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656
15.35/15.47 v -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694
15.35/15.47 v -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732
15.35/15.47 v x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770
15.35/15.47 v -x3772 -x3774 -x3776 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807
15.35/15.47 v -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845
15.35/15.47 v -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 x3879 -x3881 -x3883
15.35/15.47 v -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921
15.35/15.47 v x3923 -x3925 -x3927 -x3929 -x3931 -x3933 x3935 -x3937 x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 x3953 -x3955 -x3957 -x3959
15.35/15.47 v -x3961 -x3963 x3965 -x3967 x3969 -x3971 x3973 -x171 -x173 -x175 -x177 -x179 -x181 -x183 -x185 x187 -x189 -x191 -x193 -x195 -x197
15.35/15.47 v -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x1 -x235 -x237 -x239
15.35/15.47 v -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283
15.35/15.47 v -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327
15.35/15.47 v -x329 x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371
15.35/15.47 v -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x2 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413
15.35/15.47 v -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x3 -x453 -x455
15.35/15.47 v -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499
15.35/15.47 v -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x4 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541
15.35/15.47 v -x543 -x5 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583
15.35/15.47 v -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x6 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625
15.35/15.47 v -x627 -x629 -x631 -x633 -x635 -x7 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x8
15.35/15.47 v -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x9 -x697 -x699 -x701 -x703 -x705 -x707
15.35/15.47 v -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751
15.35/15.47 v -x753 -x755 -x757 -x760 -x762 -x764 -x766 -x768 -x770 -x10 -x772 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795
15.35/15.47 v -x797 -x799 -x11 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837
15.35/15.47 v -x839 x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x12 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x13 -x875 -x877
15.35/15.47 v -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921
15.35/15.47 v -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x14 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963
15.35/15.47 v -x965 -x15 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x16 -x997 -x999 -x1001 -x1003
15.35/15.47 v -x1005 -x1007 -x1009 -x17 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039
15.35/15.47 v -x18 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x19 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073
15.35/15.47 v -x1075 -x1077 -x1079 -x1081 -x1083 -x20 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x21 -x1099 -x1101 -x1103 -x1105 -x1107
15.35/15.47 v -x1109 -x1111 -x22 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x23 -x1127 -x1129 -x1131 -x24 -x1133 -x1135 -x1137 -x1139 -x1141
15.35/15.47 v -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x25 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x26
15.35/15.47 v -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213
15.35/15.47 v -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x27 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249
15.35/15.47 v -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x28 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285
15.35/15.47 v -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x29 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x30 -x1313 -x1315 -x1317 -x1319
15.35/15.47 v -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x31 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355
15.35/15.47 v -x32 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x33 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x34 -x1385 -x1387 -x1389
15.35/15.47 v -x1391 -x1393 -x1395 x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x35 -x1421 -x1423 -x1425
15.35/15.47 v -x1427 -x1429 -x1431 -x1433 -x36 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461
15.35/15.47 v -x1463 -x37 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497
15.35/15.47 v -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 x1535
15.35/15.47 v -x1537 -x1539 -x1541 -x1543 -x1545 x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x38 -x1571
15.35/15.47 v -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x39 -x1601 -x1603 -x1605 -x1607
15.35/15.47 v -x1609 -x1611 -x40 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x41
15.35/15.47 v -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x42 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x43 -x1671 -x1673 -x1675
15.35/15.47 v -x44 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x45 -x1707 -x1709
15.35/15.47 v -x1711 -x1713 -x1715 -x1717 -x1719 -x46 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x47 -x1735 -x1737 -x1739 -x1741 -x1743
15.35/15.47 v -x1745 -x1747 -x48 -x1749 -x1751 -x1753 -x49 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x50 -x1769 -x1771 -x1773 -x51 -x1775
15.35/15.47 v -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x52 -x1805 -x1807 -x1809 -x1811
15.35/15.47 v -x1813 -x1815 -x1817 -x53 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x54 -x1833 -x1835 -x1837 -x55 -x1839 -x1841 -x1843 -x1845
15.35/15.47 v -x1847 -x1849 -x1851 -x56 -x1853 -x1855 -x1857 -x57 -x1859 -x1861 -x1863 -x58 -x1865 -x59 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877
15.35/15.47 v -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915
15.35/15.47 v -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x60 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951
15.35/15.47 v -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989
15.35/15.47 v -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x61 -x2021 -x2023 -x2025
15.35/15.47 v -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063
15.35/15.47 v -x2065 -x2067 x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x62 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099
15.35/15.47 v -x2101 -x2103 -x2105 -x2107 -x2109 -x63 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x64 -x2125 -x2127 -x2129 -x2131 -x2133
15.35/15.47 v -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171
15.35/15.47 v -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x65 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207
15.35/15.47 v -x2209 -x2211 -x2213 -x2215 -x66 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243
15.35/15.47 v -x2245 -x67 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x68 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277
15.35/15.47 v -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x69 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x70 -x2305 -x2307 -x2309 -x2311
15.35/15.47 v -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x71 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347
15.35/15.47 v -x72 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 x73 -x2363 x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x74 -x2377 -x2379 -x2381
15.35/15.47 v -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419
15.35/15.47 v -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 x2439 -x2441 -x2443 -x75 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455
15.35/15.47 v -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x76 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491
15.35/15.47 v -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x77 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x78 -x2519 -x2521 -x2523 -x2525
15.35/15.47 v -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x79 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561
15.35/15.47 v -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x80 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x81 -x2589 -x2591 -x2593 -x2595
15.35/15.47 v -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x82 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631
15.35/15.47 v -x83 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x84 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x85 -x2661 -x2663 -x2665
15.35/15.47 v -x86 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x87 -x2697 -x2699
15.35/15.47 v -x2701 -x2703 -x2705 -x2707 -x2709 -x88 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735
15.35/15.47 v -x2737 -x2739 -x89 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 x90 -x2755 x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x91 -x2769
15.35/15.47 v -x2771 -x2773 -x92 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x93 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x94 -x2803
15.35/15.47 v -x2805 -x95 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x96 -x2821 -x2823 -x2825 -x97 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837
15.35/15.47 v -x2839 -x98 -x2841 -x2843 -x2845 -x99 -x2847 -x2849 -x2851 -x100 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869
15.35/15.47 v -x2871 -x2873 -x2875 -x2877 x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907
15.35/15.47 v -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x101
15.35/15.47 v -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x102 -x2975 -x2977 -x2979
15.35/15.47 v -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x103 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015
15.35/15.47 v -x3017 -x104 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3040 -x3042 -x3044 -x3046 -x105 -x3048 -x3050
15.35/15.47 v -x3052 -x3054 -x3056 -x3058 -x3060 -x106 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086
15.35/15.47 v -x3088 -x3090 -x107 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x108 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120
15.35/15.47 v -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x109 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x110 -x3150 -x3152 -x3154
15.35/15.47 v -x3156 -x3158 -x3160 -x3162 -x111 -x3164 -x3166 -x3168 -x112 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188
15.35/15.47 v -x3190 -x3192 -x3194 -x3196 -x3198 -x113 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x114 -x3214 -x3216 -x3218 -x3220 -x3222
15.35/15.47 v -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x115 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x116
15.35/15.47 v -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x117 -x3288 -x3290 -x3292
15.35/15.47 v -x3294 -x3296 -x3298 -x3300 -x118 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x119 -x3316 -x3318 -x3321 -x3323 -x3325 -x3327
15.35/15.47 v -x3329 -x3331 -x3333 x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x120 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x121
15.35/15.47 v -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x122 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x123 -x3392 -x3394 -x3396
15.35/15.47 v -x124 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x125 -x3412 -x3414 -x3416 -x126 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428
15.35/15.47 v -x3430 -x127 -x3432 -x3434 -x3436 -x128 -x3438 -x3440 -x3442 -x129 -x3444 -x130 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459
15.35/15.47 v -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x131 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3488 -x3490 -x3492 -x3494 -x3496
15.35/15.47 v -x3498 -x3500 -x3502 -x132 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x133 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530
15.35/15.47 v -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x134 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x135 -x3562 -x3564
15.35/15.47 v -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x136 -x3592 -x3594 -x3596 -x3598 -x3600
15.35/15.47 v -x3602 -x3604 -x137 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x138 -x3620 -x3622 -x3624 -x139 -x3626 -x3629 -x3631 -x3633
15.35/15.47 v -x3635 -x140 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x141 -x3651 -x3653 -x3655 -x142 -x3657 -x3659 -x3661 -x3663 -x3665
15.35/15.47 v -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x143 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x144
15.35/15.47 v -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x145 -x3715 -x3717 -x146 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 x147
15.35/15.47 v x3733 -x3735 -x3737 -x148 -x3739 -x3741 -x3743 -x149 -x3745 -x150 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x151 -x3761
15.35/15.47 v -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x152 -x3775 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 x3790 -x3792 -x153 -x3794 -x3796
15.35/15.47 v -x3798 -x3800 -x3802 -x3804 -x3806 -x154 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x155 -x3822 -x3824 -x3826 -x156 -x3828
15.35/15.47 v -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x157 -x3842 -x3844 -x3846 -x158 -x3848 -x3850 -x3852 -x159 -x3854 -x3856 -x3858 -x3860
15.35/15.47 v -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 x3878 -x3880 -x160 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x161
15.35/15.47 v -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x162 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 x3922 -x3924 -x3926 -x3928 -x163
15.35/15.47 v -x3930 -x3932 x3934 -x3936 x3938 -x3940 -x164 -x3942 -x3944 -x3946 -x3948 -x3950 x3952 -x3954 -x3956 -x3958 -x165 -x3960 -x3962
15.35/15.47 v x3964 x166 -x3966 x167 x3968 -x3970 -x168 x3972 x169 x170
15.35/15.47 c SCIP Status : problem is solved [optimal solution found]
15.35/15.47 c Total Time : 15.47
15.35/15.47 c solving : 15.47
15.35/15.47 c presolving : 0.19 (included in solving)
15.35/15.47 c reading : 0.02 (included in solving)
15.35/15.47 c copying : 0.02 (4 #copies) (minimal 0.00, maximal 0.01, average 0.01)
15.35/15.47 c Original Problem :
15.35/15.47 c Problem name : HOME/instance-4496559-1751387929.opb
15.35/15.47 c Variables : 3973 (3973 binary, 0 integer, 0 continuous)
15.35/15.47 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
15.35/15.47 c Constraints : 11097 initial, 11097 maximal
15.35/15.47 c Objective : minimize, 1906 non-zeros (abs.min = 1, abs.max = 1)
15.35/15.47 c Presolved Problem :
15.35/15.47 c Problem name : t_HOME/instance-4496559-1751387929.opb
15.35/15.47 c Variables : 590 (590 binary, 0 integer, 0 continuous)
15.35/15.47 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
15.35/15.47 c Constraints : 1074 initial, 1074 maximal
15.35/15.47 c Objective : minimize, 524 non-zeros (abs.min = 1, abs.max = 1)
15.35/15.47 c Nonzeros : 9140 constraint, 2562 clique table
15.35/15.47 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
15.35/15.47 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c domcol : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
15.35/15.47 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c dualsparsify : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
15.35/15.47 c gateextraction : 0.02 0.00 22 0 0 0 0 0 1649 161 0 0
15.35/15.47 c implics : 0.00 0.00 26 0 0 0 0 0 0 0 0 0
15.35/15.47 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
15.35/15.47 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
15.35/15.47 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c trivial : 0.00 0.00 35 1335 0 0 0 0 0 0 0 0
15.35/15.47 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c dualfix : 0.00 0.00 35 0 0 0 0 0 0 0 0 0
15.35/15.47 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
15.35/15.47 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
15.35/15.47 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 5 0 0
15.35/15.47 c vbounds : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
15.35/15.47 c knapsack : 0.02 0.00 55 0 0 0 0 0 2 18 22 157
15.35/15.47 c setppc : 0.05 0.00 68 6 0 0 0 0 533 0 0 0
15.35/15.47 c and : 0.00 0.00 40 28 0 0 0 0 0 0 0 47
15.35/15.47 c linear : 0.04 0.00 40 109 1904 0 109 0 4864 0 10 0
15.35/15.47 c logicor : 0.00 0.00 61 1 0 0 0 0 12 0 0 212
15.35/15.47 c components : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
15.35/15.47 c root node : - - - 1323 - - 1323 - - - - -
15.35/15.47 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
15.35/15.47 c integral : 0 0 0 0 6 0 0 67 0 0 77 0 0 0 0
15.35/15.47 c knapsack : 30 30 17 2492 0 0 0 0 9 1 0 0 0 0 0
15.35/15.47 c setppc : 909 909 37 11238 0 0 0 59 318 5 30 9 3 0 0
15.35/15.47 c and : 66 66 37 12086 0 0 0 54 32 12 79 2 0 0 0
15.35/15.47 c linear : 13 13 17 1692 0 0 0 3 0 0 0 0 0 0 0
15.35/15.47 c logicor : 56 56 37 1066 0 0 0 14 12 4 0 127 20 0 0
15.35/15.47 c fixedvar : 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0
15.35/15.47 c countsols : 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0
15.35/15.47 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
15.35/15.47 c integral : 0.14 0.00 0.00 0.00 0.14 0.00 0.00 0.00 0.00 0.00
15.35/15.47 c knapsack : 0.21 0.00 0.20 0.01 0.00 0.00 0.00 0.00 0.00 0.00
15.35/15.47 c setppc : 0.09 0.00 0.01 0.06 0.00 0.00 0.00 0.02 0.00 0.00
15.35/15.47 c and : 0.03 0.00 0.01 0.03 0.00 0.00 0.00 0.00 0.00 0.00
15.35/15.47 c linear : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.35/15.47 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.35/15.47 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.35/15.47 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.35/15.47 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.35/15.47 c Propagators : #Propagate #ResProp Cutoffs DomReds
15.35/15.47 c dualfix : 14 0 0 0
15.35/15.47 c genvbounds : 0 0 0 0
15.35/15.47 c nlobbt : 0 0 0 0
15.35/15.47 c obbt : 0 0 0 0
15.35/15.47 c probing : 0 0 0 0
15.35/15.47 c pseudoobj : 81 0 0 0
15.35/15.47 c redcost : 66 0 0 1006
15.35/15.47 c rootredcost : 0 0 0 0
15.35/15.47 c symmetry : 0 0 0 0
15.35/15.47 c vbounds : 4412 0 0 0
15.35/15.47 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
15.35/15.47 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
15.35/15.47 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
15.35/15.47 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
15.35/15.47 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
15.35/15.47 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
15.35/15.47 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
15.35/15.47 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
15.35/15.47 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
15.35/15.47 c symmetry : 0.01 0.00 0.01 0.00 0.00 0.00
15.35/15.47 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
15.35/15.47 c Symmetry :
15.35/15.47 c #affected vars : 10 (10 bin, 0 int, 0 cont)
15.35/15.47 c orbitopal red. : 0 reductions applied, 0 cutoffs
15.35/15.47 c orbital reduction: 0 reductions applied, 0 cutoffs
15.35/15.47 c lexicographic red: 0 reductions applied, 0 cutoffs
15.35/15.47 c shadow tree time : 0.00 s
15.35/15.47 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
15.35/15.47 c propagation : 0.00 20 19 - 64 14.5 1 30.0 - - -
15.35/15.47 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
15.35/15.47 c bound exceed. LP : 0.01 16 140 - 12 7.5 0 0.0 132 1.8 93
15.35/15.47 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
15.35/15.47 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
15.35/15.47 c applied globally : 0.00 - - 131 64 9.6 - - 132 - -
15.35/15.47 c applied locally : - - - 0 0 0.0 - - 0 - -
15.35/15.47 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
15.35/15.47 c cut pool : 0.07 - 79 79 - - 3732 6468 - - - - - (maximal pool size: 2107)
15.35/15.47 c aggregation : 0.30 0.00 37 37 0 0 1 2 0 0 0 0 0
15.35/15.47 c > cmir : - - - - - - - 0 0 0 0 0 -
15.35/15.47 c > flowcover : - - - - - - - 0 0 0 0 0 -
15.35/15.47 c > knapsackcover : - - - - - - - 2 0 0 0 0 -
15.35/15.47 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c clique : 0.03 0.00 37 37 0 0 159 207 0 114 114 0 0
15.35/15.47 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c gomory : 12.79 0.00 20 20 0 0 3528 6188 0 20 20 0 0
15.35/15.47 c > gomorymi : - - - - - - - 3709 0 15 15 0 -
15.35/15.47 c > strongcg : - - - - - - - 2479 0 5 5 0 -
15.35/15.47 c impliedbounds : 0.01 0.00 37 37 0 0 4 5 0 4 4 0 0
15.35/15.47 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
15.35/15.47 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c multilinear : 0.00 0.00 37 37 0 0 0 0 0 0 0 0 0
15.35/15.47 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.35/15.47 c rapidlearning : 0.03 0.00 1 1 0 0 0 0 0 0 0 0 0
15.35/15.47 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
15.35/15.47 c zerohalf : 0.13 0.00 37 37 0 0 40 66 0 28 28 0 0
15.35/15.47 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
15.35/15.47 c hybrid : 0.03 0.00 39 39 189 0 6417 189 0 6417
15.35/15.47 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
15.35/15.47 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
15.35/15.47 c Pricers : ExecTime SetupTime Calls Vars
15.35/15.47 c problem variables: 0.00 - 0 0
15.35/15.47 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
15.35/15.47 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
15.35/15.47 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
15.35/15.47 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
15.35/15.47 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
15.35/15.47 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
15.35/15.47 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
15.35/15.47 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
15.35/15.47 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
15.35/15.47 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
15.35/15.47 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
15.35/15.47 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
15.35/15.47 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
15.35/15.47 c random : 0.00 0.00 0 0 0 0 0 0 0 0
15.35/15.47 c relpscost : 0.14 0.00 6 0 0 0 77 0 0 0
15.35/15.47 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
15.35/15.47 c Primal Heuristics : ExecTime SetupTime Calls Found Best
15.35/15.47 c LP solutions : 0.00 - - 0 0
15.35/15.47 c relax solutions : 0.00 - - 0 0
15.35/15.47 c pseudo solutions : 0.00 - - 0 0
15.35/15.47 c strong branching : 0.00 - - 0 0
15.35/15.47 c actconsdiving : 0.00 0.00 0 0 0
15.35/15.47 c adaptivediving : 0.00 0.00 0 0 0
15.35/15.47 c alns : 0.02 0.00 1 0 0
15.35/15.47 c bound : 0.00 0.00 0 0 0
15.35/15.47 c clique : 0.01 0.00 1 0 0
15.35/15.47 c coefdiving : 0.00 0.00 0 0 0
15.35/15.47 c completesol : 0.00 0.00 0 0 0
15.35/15.47 c conflictdiving : 0.30 0.00 2 0 0
15.35/15.47 c crossover : 0.00 0.00 0 0 0
15.35/15.47 c dins : 0.00 0.00 0 0 0
15.35/15.47 c distributiondivin: 0.00 0.00 0 0 0
15.35/15.47 c dks : 0.00 0.00 0 0 0
15.35/15.47 c dps : 0.00 0.00 0 0 0
15.35/15.47 c dualval : 0.00 0.00 0 0 0
15.35/15.47 c farkasdiving : 0.00 0.00 0 0 0
15.35/15.47 c feaspump : 0.12 0.00 1 1 0
15.35/15.47 c fixandinfer : 0.00 0.00 0 0 0
15.35/15.47 c fracdiving : 0.00 0.00 0 0 0
15.35/15.47 c gins : 0.00 0.00 0 0 0
15.35/15.47 c guideddiving : 0.00 0.00 0 0 0
15.35/15.47 c indicator : 0.00 0.00 0 0 0
15.35/15.47 c indicatordiving : 0.00 0.00 0 0 0
15.35/15.47 c intdiving : 0.00 0.00 0 0 0
15.35/15.47 c intshifting : 0.00 0.00 0 0 0
15.35/15.47 c linesearchdiving : 0.00 0.00 0 0 0
15.35/15.47 c localbranching : 0.00 0.00 0 0 0
15.35/15.47 c locks : 0.02 0.00 1 1 1
15.35/15.47 c lpface : 0.00 0.00 0 0 0
15.35/15.47 c mpec : 0.00 0.00 0 0 0
15.35/15.47 c multistart : 0.00 0.00 0 0 0
15.35/15.47 c mutation : 0.00 0.00 0 0 0
15.35/15.47 c nlpdiving : 0.00 0.00 0 0 0
15.35/15.47 c objpscostdiving : 0.00 0.00 0 0 0
15.35/15.47 c octane : 0.00 0.00 0 0 0
15.35/15.47 c ofins : 0.00 0.00 0 0 0
15.35/15.47 c oneopt : 0.00 0.00 2 0 0
15.35/15.47 c padm : 0.00 0.00 0 0 0
15.35/15.47 c proximity : 0.00 0.00 0 0 0
15.35/15.47 c pscostdiving : 0.00 0.00 0 0 0
15.35/15.47 c randrounding : 0.16 0.00 47 0 0
15.35/15.47 c rens : 0.15 0.00 2 2 1
15.35/15.47 c reoptsols : 0.00 0.00 0 0 0
15.35/15.47 c repair : 0.00 0.00 0 0 0
15.35/15.47 c rins : 0.00 0.00 0 0 0
15.35/15.47 c rootsoldiving : 0.00 0.00 0 0 0
15.35/15.47 c rounding : 0.01 0.00 47 0 0
15.35/15.47 c scheduler : 0.00 0.00 0 0 0
15.35/15.47 c shiftandpropagate: 0.00 0.00 0 0 0
15.35/15.47 c shifting : 0.01 0.00 47 0 0
15.35/15.47 c simplerounding : 0.00 0.00 49 0 0
15.35/15.47 c subnlp : 0.00 0.00 0 0 0
15.35/15.47 c trivial : 0.00 0.00 6 0 0
15.35/15.47 c trivialnegation : 0.00 0.00 0 0 0
15.35/15.47 c trustregion : 0.00 0.00 0 0 0
15.35/15.47 c trysol : 0.00 0.00 0 0 0
15.35/15.47 c twoopt : 0.00 0.00 0 0 0
15.35/15.47 c undercover : 0.00 0.00 1 0 0
15.35/15.47 c vbounds : 0.04 0.00 3 1 1
15.35/15.47 c veclendiving : 0.00 0.00 0 0 0
15.35/15.47 c zeroobj : 0.00 0.00 0 0 0
15.35/15.47 c zirounding : 0.00 0.00 2 0 0
15.35/15.47 c other solutions : - - - 0 -
15.35/15.47 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
15.35/15.47 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
15.35/15.47 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
15.35/15.47 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
15.35/15.47 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
15.35/15.47 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
15.35/15.47 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
15.35/15.47 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
15.35/15.47 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
15.35/15.47 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
15.35/15.47 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
15.35/15.47 c primal LP : 0.00 4 0 0.00 - 0.00 4
15.35/15.47 c dual LP : 0.41 49 5404 128.67 13128.20 0.01 7
15.35/15.47 c lex dual LP : 0.00 0 0 0.00 -
15.35/15.47 c barrier LP : 0.00 0 0 0.00 - 0.00 0
15.35/15.47 c resolve instable : 0.00 0 0 0.00 -
15.35/15.47 c diving/probing LP: 0.43 23 6390 277.83 14942.58
15.35/15.47 c strong branching : 0.11 6 1836 306.00 16313.76 - - 0
15.35/15.47 c (at root node) : - 6 1836 306.00 -
15.35/15.47 c conflict analysis: 0.01 12 93 7.75 -
15.35/15.47 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
15.35/15.47 c benders : 0.00 0 0 0 0.00 0 0 0
15.35/15.47 c B&B Tree :
15.35/15.47 c number of runs : 3
15.35/15.47 c nodes : 1 (0 internal, 1 leaves)
15.35/15.47 c feasible leaves : 0
15.35/15.47 c infeas. leaves : 0
15.35/15.47 c objective leaves : 1
15.35/15.47 c nodes (total) : 3 (0 internal, 3 leaves)
15.35/15.47 c nodes left : 0
15.35/15.47 c max depth : 0
15.35/15.47 c max depth (total): 0
15.35/15.47 c backtracks : 0 (0.0%)
15.35/15.47 c early backtracks : 0 (0.0%)
15.35/15.47 c nodes exc. ref. : 0 (0.0%)
15.35/15.47 c delayed cutoffs : 0
15.35/15.47 c repropagations : 0 (0 domain reductions, 0 cutoffs)
15.35/15.47 c avg switch length: 2.00
15.35/15.47 c switching time : 0.00
15.35/15.47 c Root Node :
15.35/15.47 c First LP value : +2.32500000000000e+01
15.35/15.47 c First LP Iters : 898 (17712.03 Iter/sec)
15.35/15.47 c First LP Time : 0.05
15.35/15.47 c Final Dual Bound : -
15.35/15.47 c Final Root Iters : 5404
15.35/15.47 c Root LP Estimate : -
15.35/15.47 c Solution :
15.35/15.47 c Solutions found : 5 (3 improvements)
15.35/15.47 c First Solution : +1.47000000000000e+02 (in run 1, after 1 nodes, 0.19 seconds, depth 1779, found by <locks>)
15.35/15.47 c Gap First Sol. : 14600.00 %
15.35/15.47 c Gap Last Sol. : 4.17 %
15.35/15.47 c Primal Bound : +2.50000000000000e+01 (in run 1, after 1 nodes, 10.44 seconds, depth 0, found by <rens>)
15.35/15.47 c Dual Bound : +2.50000000000000e+01
15.35/15.47 c Gap : 0.00 %
15.35/15.47 c Integrals : Total Avg%
15.35/15.47 c primal-dual : 264.87 17.12
15.35/15.47 c primal-ref : - - (not evaluated)
15.35/15.47 c dual-ref : - - (not evaluated)
15.35/15.49 c Time complete (sec): 15.448
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 (58808 MiB free)
memory of node 1: 64507 MiB (46892 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496559-1751387929/watcher-4496559-1751387929 -o /tmp/evaluation-result-4496559-1751387929/solver-4496559-1751387929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751384297-53584 --watchdog 3760 pbsolver -f HOME/instance-4496559-1751387929.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
solver pid=54685, runsolver pid=54682
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 4.15 4.13 4.09 5/264 54686
/proc/meminfo: memFree=108213876/131249988 swapFree=33010160/33010684
[pid=54685] ppid=54682 vsize=54736 memory=44292 CPUtime=0.1 cores=4,6
/proc/54685/stat : 54685 (pbsolver) R 54682 54685 53573 0 -1 4194304 9275 0 0 0 9 1 0 0 20 0 1 0 54471784 56049664 11073 18446744073709551615 4198400 14743177 140736085122208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 37347328 140736085125514 140736085125610 140736085125610 140736085131212 0
/proc/54685/statm: 13684 11073 2528 2575 0 10591 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 54736 KiB
Current children cumulated memory: 44292 KiB
[startup+0.205428 s]*
/proc/loadavg: 4.15 4.13 4.09 5/264 54686
/proc/meminfo: memFree=108198000/131249988 swapFree=33010160/33010684
[pid=54685] ppid=54682 vsize=80340 memory=64096 CPUtime=0.2 cores=4,6
/proc/54685/stat : 54685 (pbsolver) R 54682 54685 53573 0 -1 4194304 14275 0 0 0 18 2 0 0 20 0 1 0 54471784 82268160 16024 18446744073709551615 4198400 14743177 140736085122208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 37347328 140736085125514 140736085125610 140736085125610 140736085131212 0
/proc/54685/statm: 20085 16024 2656 2575 0 16992 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80340 KiB
Current children cumulated memory: 64096 KiB
[startup+0.305382 s]*
/proc/loadavg: 4.15 4.13 4.09 5/264 54686
/proc/meminfo: memFree=108198000/131249988 swapFree=33010160/33010684
[pid=54685] ppid=54682 vsize=82152 memory=65888 CPUtime=0.3 cores=4,6
/proc/54685/stat : 54685 (pbsolver) R 54682 54685 53573 0 -1 4194304 14742 0 0 0 28 2 0 0 20 0 1 0 54471784 84123648 16472 18446744073709551615 4198400 14743177 140736085122208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 37347328 140736085125514 140736085125610 140736085125610 140736085131212 0
/proc/54685/statm: 20538 16472 2656 2575 0 17445 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 82152 KiB
Current children cumulated memory: 65888 KiB
[startup+0.700116 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 54686
/proc/meminfo: memFree=108196236/131249988 swapFree=33010160/33010684
[pid=54685] ppid=54682 vsize=85624 memory=69344 CPUtime=0.69 cores=4,6
/proc/54685/stat : 54685 (pbsolver) R 54682 54685 53573 0 -1 4194304 15595 0 0 0 67 2 0 0 20 0 1 0 54471784 87678976 17336 18446744073709551615 4198400 14743177 140736085122208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 37347328 140736085125514 140736085125610 140736085125610 140736085131212 0
/proc/54685/statm: 21406 17336 2656 2575 0 18313 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 85624 KiB
Current children cumulated memory: 69344 KiB
[startup+1.50011 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 54686
/proc/meminfo: memFree=108194220/131249988 swapFree=33010160/33010684
[pid=54685] ppid=54682 vsize=93352 memory=76512 CPUtime=1.49 cores=4,6
/proc/54685/stat : 54685 (pbsolver) R 54682 54685 53573 0 -1 4194304 17389 0 0 0 147 2 0 0 20 0 1 0 54471784 95592448 19128 18446744073709551615 4198400 14743177 140736085122208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 37347328 140736085125514 140736085125610 140736085125610 140736085131212 0
/proc/54685/statm: 23338 19128 2656 2575 0 20245 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 93352 KiB
Current children cumulated memory: 76512 KiB
[startup+3.10523 s]
/proc/loadavg: 4.14 4.13 4.09 5/264 54686
/proc/meminfo: memFree=108161980/131249988 swapFree=33010160/33010684
[pid=54685] ppid=54682 vsize=113336 memory=95840 CPUtime=3.09 cores=4,6
/proc/54685/stat : 54685 (pbsolver) R 54682 54685 53573 0 -1 4194304 22246 0 0 0 306 3 0 0 20 0 1 0 54471784 116056064 23960 18446744073709551615 4198400 14743177 140736085122208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 37347328 140736085125514 140736085125610 140736085125610 140736085131212 0
/proc/54685/statm: 28334 23960 2656 2575 0 25241 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 113336 KiB
Current children cumulated memory: 95840 KiB
[startup+6.3001 s]
/proc/loadavg: 4.14 4.13 4.09 5/264 54686
/proc/meminfo: memFree=107996668/131249988 swapFree=33010160/33010684
[pid=54685] ppid=54682 vsize=133808 memory=114288 CPUtime=6.28 cores=4,6
/proc/54685/stat : 54685 (pbsolver) R 54682 54685 53573 0 -1 4194304 27274 0 0 0 624 4 0 0 20 0 1 0 54471784 137019392 28572 18446744073709551615 4198400 14743177 140736085122208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 37347328 140736085125514 140736085125610 140736085125610 140736085131212 0
/proc/54685/statm: 33452 28572 2656 2575 0 30359 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 133808 KiB
Current children cumulated memory: 114288 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 54686
/proc/meminfo: memFree=107924612/131249988 swapFree=33010160/33010684
[pid=54685] ppid=54682 vsize=196568 memory=172576 CPUtime=12.66 cores=4,6
/proc/54685/stat : 54685 (pbsolver) R 54682 54685 53573 0 -1 4194304 43452 0 0 0 1259 7 0 0 20 0 1 0 54471784 201285632 43144 18446744073709551615 4198400 14743177 140736085122208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 37347328 140736085125514 140736085125610 140736085125610 140736085131212 0
/proc/54685/statm: 49142 43144 2688 2575 0 46049 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 196568 KiB
Current children cumulated memory: 172576 KiB
[startup+15.4976 s]
# the end of solver process 54685 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=15.3613 s, system=0.094728 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 54686
/proc/meminfo: memFree=107924612/131249988 swapFree=33010160/33010684
[pid=54685] ppid=54682 vsize=196568 memory=173088 CPUtime=12.76 cores=4,6
/proc/54685/stat : 54685 (pbsolver) R 54682 54685 53573 0 -1 4194304 43570 0 0 0 1269 7 0 0 20 0 1 0 54471784 201285632 43272 18446744073709551615 4198400 14743177 140736085122208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 37347328 140736085125514 140736085125610 140736085125610 140736085131212 0
/proc/54685/statm: 49142 43272 2688 2575 0 46049 0
Current children cumulated CPU time: 12.76 s
Current children cumulated vsize: 196568 KiB
Current children cumulated memory: 173088 KiB
[startup+14.4001 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 54686
/proc/meminfo: memFree=107908736/131249988 swapFree=33010160/33010684
[pid=54685] ppid=54682 vsize=220036 memory=194976 CPUtime=14.35 cores=4,6
/proc/54685/stat : 54685 (pbsolver) R 54682 54685 53573 0 -1 4194304 49048 0 0 0 1427 8 0 0 20 0 1 0 54471784 225316864 48744 18446744073709551615 4198400 14743177 140736085122208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 37347328 140736085125514 140736085125610 140736085125610 140736085131212 0
/proc/54685/statm: 55009 48744 2688 2575 0 51916 0
Current children cumulated CPU time: 14.35 s
Current children cumulated vsize: 220036 KiB
Current children cumulated memory: 194976 KiB
[startup+15.2001 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 54686
/proc/meminfo: memFree=107900672/131249988 swapFree=33010160/33010684
[pid=54685] ppid=54682 vsize=225296 memory=199840 CPUtime=15.15 cores=4,6
/proc/54685/stat : 54685 (pbsolver) R 54682 54685 53573 0 -1 4194304 50270 0 0 0 1507 8 0 0 20 0 1 0 54471784 230703104 49960 18446744073709551615 4198400 14743177 140736085122208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 37347328 140736085125514 140736085125610 140736085125610 140736085131212 0
/proc/54685/statm: 56324 49960 2688 2575 0 53231 0
Current children cumulated CPU time: 15.15 s
Current children cumulated vsize: 225296 KiB
Current children cumulated memory: 199840 KiB
[startup+15.4002 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 54686
/proc/meminfo: memFree=107900672/131249988 swapFree=33010160/33010684
[pid=54685] ppid=54682 vsize=225296 memory=199840 CPUtime=15.35 cores=4,6
/proc/54685/stat : 54685 (pbsolver) R 54682 54685 53573 0 -1 4194304 50270 0 0 0 1527 8 0 0 20 0 1 0 54471784 230703104 49960 18446744073709551615 4198400 14743177 140736085122208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 37347328 140736085125514 140736085125610 140736085125610 140736085131212 0
/proc/54685/statm: 56324 49960 2688 2575 0 53231 0
Current children cumulated CPU time: 15.35 s
Current children cumulated vsize: 225296 KiB
Current children cumulated memory: 199840 KiB
Child status: 0
Real time (s): 15.4976
CPU time (s): 15.4561
CPU user time (s): 15.3613
CPU system time (s): 0.094728
CPU usage (%): 99.7319
Max. virtual memory (cumulated for all children) (KiB): 225296
Max. memory (cumulated for all children) (KiB): 199840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.3613
system time used= 0.094728
maximum resident set size= 199840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50284
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= 3
involuntary context switches= 24
# summary of solver processes directly reported to runsolver:
# pid: 54685
# total CPU time (s): 15.4561
# total CPU user time (s): 15.3613
# total CPU system time (s): 0.094728
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043766 second user time and 0.085969 second system time
The end
Begin job on nodeC034 at 2025-07-01 18:38:49 IDJOB=4496559 IDBENCH=148119 IDSOLVER=3366 FILE ID=nodeC034/4496559-1751387929 RUNJOBID= nodeC034-1751384297-53584 SLURM_JOB_ID= 9598234 Free space on /tmp= 433004 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4496559-1751387929/watcher-4496559-1751387929 -o /tmp/evaluation-result-4496559-1751387929/solver-4496559-1751387929 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751384297-53584 --watchdog 3760 pbsolver -f HOME/instance-4496559-1751387929.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3f61d67ec309aef8ac87c7a01b0ee309 RANDOM SEED=197172454 nodeC034 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.709 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.53 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.817 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.53 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 : 3552.321 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.53 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 : 3600.473 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.53 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.767 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.53 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.667 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.53 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 : 3600.492 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.53 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 : 3700.000 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.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 108238064 kB MemAvailable: 128678800 kB Buffers: 2128 kB Cached: 21181560 kB SwapCached: 36 kB Active: 1535284 kB Inactive: 20741464 kB Active(anon): 1106920 kB Inactive(anon): 4208 kB Active(file): 428364 kB Inactive(file): 20737256 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 34244 kB Writeback: 32 kB AnonPages: 1096224 kB Mapped: 136308 kB Shmem: 18068 kB KReclaimable: 228312 kB Slab: 319108 kB SReclaimable: 228312 kB SUnreclaim: 90796 kB KernelStack: 4256 kB PageTables: 5316 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 1587312 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 104448 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: 189140 kB DirectMap2M: 7970816 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432988 MiB End job on nodeC034 at 2025-07-01 18:39:05