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 | -76 | 23.1976 | 23.3165 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_26.opb |
| MD5SUM | c7d48d7b52922a8c66e4a5b5da991f51 |
| 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 | -76 |
| Best CPU time to get the best result obtained on this benchmark | 9.84808 |
| 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 | 3380 |
| Total number of constraints | 1507 |
| Number of constraints which are clauses | 1378 |
| Number of constraints which are cardinality constraints (but not clauses) | 77 |
| Number of constraints which are nor clauses,nor cardinality constraints | 52 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 27 |
| Number of terms in the objective function | 2002 |
| 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 | 2002 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 26 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 2002 |
| 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-4519571-1751551160.opb>
0.00/0.02 c original problem has 3380 variables (3380 bin, 0 int, 0 cont) and 1507 constraints
0.00/0.02 c problem read in 0.017 seconds
0.00/0.04 o 0
0.00/0.04 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 0.000000e+00
0.00/0.04 c presolving:
0.00/0.05 c (0.0s) running MILP presolver
0.00/0.06 c (0.1s) MILP presolver (3 rounds): 0 aggregations, 650 fixings, 0 bound changes
0.00/0.06 c (round 1, medium) 650 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 51 clqs
0.00/0.06 c (round 2, fast) 676 del vars, 52 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 0 impls, 51 clqs
0.00/0.08 c (round 3, exhaustive) 676 del vars, 52 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 26 chg coeffs, 802 upgd conss, 0 impls, 51 clqs
0.00/0.09 c (round 4, medium) 676 del vars, 78 del conss, 676 add conss, 0 chg bounds, 0 chg sides, 26 chg coeffs, 802 upgd conss, 0 impls, 727 clqs
0.00/0.11 c (round 5, exhaustive) 676 del vars, 78 del conss, 676 add conss, 0 chg bounds, 0 chg sides, 26 chg coeffs, 1430 upgd conss, 0 impls, 727 clqs
0.10/0.11 c (round 6, exhaustive) 676 del vars, 78 del conss, 676 add conss, 0 chg bounds, 0 chg sides, 26 chg coeffs, 1455 upgd conss, 0 impls, 727 clqs
0.10/0.15 c (0.1s) probing: 51/2704 (1.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.15 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.10/0.16 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.10/0.21 c (0.2s) symmetry computation finished: 74 generators found (max: 1500, log10 of symmetry group size: 78.40) (symcode time: 0.05)
0.21/0.24 c dynamic symmetry handling statistics:
0.21/0.24 c orbitopal reduction: no components
0.21/0.24 c orbital reduction: 1 components of sizes 74
0.21/0.24 c lexicographic reduction: 74 permutations with support sizes 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106
0.21/0.24 c handled 1 out of 1 symmetry components
0.21/0.24 c presolving (7 rounds: 7 fast, 6 medium, 4 exhaustive):
0.21/0.24 c 676 deleted vars, 78 deleted constraints, 676 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 26 changed coefficients
0.21/0.24 c 0 implications, 727 cliques
0.21/0.24 c presolved problem has 2704 variables (2704 bin, 0 int, 0 cont) and 2105 constraints
0.21/0.24 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.21/0.24 c 727 constraints of type <setppc>
0.21/0.24 c 1378 constraints of type <logicor>
0.21/0.24 c transformed objective value is always integral (scale: 1)
0.21/0.24 c Presolving Time: 0.21
0.21/0.24 c
0.21/0.24 c - non default parameters ----------------------------------------------------------------------
0.21/0.24 c
0.21/0.24 c # SCIP version 10.0.0
0.21/0.24 c
0.21/0.24 c # maximal time in seconds to run
0.21/0.24 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.21/0.24 c limits/time = 3596.995115
0.21/0.24 c
0.21/0.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.21/0.24 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.21/0.24 c limits/memory = 27900
0.21/0.24 c
0.21/0.24 c # belongs reading time to solving time?
0.21/0.24 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.21/0.24 c timing/reading = TRUE
0.21/0.24 c
0.21/0.24 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.21/0.24 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.21/0.24 c reading/opbreader/maxintsize = 47
0.21/0.24 c
0.21/0.24 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.21/0.24 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.21/0.24 c propagating/genvbounds/timingmask = 0
0.21/0.24 c
0.21/0.24 c -----------------------------------------------------------------------------------------------
0.21/0.24 c transformed 1/1 original solutions to the transformed problem space
0.21/0.24 c
0.21/0.28 o -51
0.21/0.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.21/0.28 c p 0.3s| 1 | 0 | 0 | - | vbounds| 0 |2704 |2116 |2105 | 0 | 0 | 11 | 0 |-1.352000e+03 |-5.100000e+01 |2550.98%| unknown
0.51/0.55 c 0.5s| 1 | 0 | 1699 | - | 48M | 0 |2704 |2127 |2105 | 0 | 0 | 22 | 0 |-7.700000e+01 |-5.100000e+01 | 50.98%| unknown
0.51/0.56 o -56
0.51/0.56 c r 0.6s| 1 | 0 | 1699 | - |shifting| 0 |2704 |2127 |2105 | 0 | 0 | 22 | 0 |-7.700000e+01 |-5.600000e+01 | 37.50%| unknown
0.77/0.87 c 0.9s| 1 | 0 | 2102 | - | 51M | 0 |2704 |2127 |2125 | 20 | 1 | 22 | 0 |-7.700000e+01 |-5.600000e+01 | 37.50%| unknown
0.77/0.87 o -58
0.77/0.87 c r 0.9s| 1 | 0 | 2102 | - |shifting| 0 |2704 |2127 |2125 | 20 | 1 | 22 | 0 |-7.700000e+01 |-5.800000e+01 | 32.76%| unknown
0.98/1.11 c 1.1s| 1 | 0 | 2502 | - | 52M | 0 |2704 |2127 |2134 | 29 | 2 | 22 | 0 |-7.700000e+01 |-5.800000e+01 | 32.76%| unknown
1.27/1.30 c 1.3s| 1 | 0 | 2817 | - | 53M | 0 |2704 |2127 |2139 | 34 | 3 | 22 | 0 |-7.700000e+01 |-5.800000e+01 | 32.76%| unknown
1.37/1.49 c 1.5s| 1 | 0 | 3169 | - | 53M | 0 |2704 |2127 |2142 | 37 | 4 | 22 | 0 |-7.700000e+01 |-5.800000e+01 | 32.76%| unknown
1.56/1.68 c 1.7s| 1 | 0 | 3437 | - | 54M | 0 |2704 |2127 |2145 | 40 | 5 | 22 | 0 |-7.700000e+01 |-5.800000e+01 | 32.76%| unknown
1.76/1.83 c 1.8s| 1 | 0 | 3884 | - | 54M | 0 |2704 |2127 |2150 | 45 | 6 | 22 | 0 |-7.700000e+01 |-5.800000e+01 | 32.76%| unknown
1.86/1.97 c 2.0s| 1 | 0 | 4204 | - | 55M | 0 |2704 |2127 |2154 | 49 | 7 | 22 | 0 |-7.700000e+01 |-5.800000e+01 | 32.76%| unknown
2.07/2.19 c 2.2s| 1 | 0 | 5259 | - | 55M | 0 |2704 |2127 |2165 | 60 | 8 | 22 | 0 |-7.700000e+01 |-5.800000e+01 | 32.76%| unknown
2.26/2.30 c 2.3s| 1 | 0 | 5551 | - | 55M | 0 |2704 |2127 |2169 | 64 | 9 | 22 | 0 |-7.700000e+01 |-5.800000e+01 | 32.76%| unknown
2.26/2.30 o -59
2.26/2.30 c r 2.3s| 1 | 0 | 5551 | - |shifting| 0 |2704 |2127 |2169 | 64 | 9 | 22 | 0 |-7.700000e+01 |-5.900000e+01 | 30.51%| unknown
2.36/2.40 c 2.4s| 1 | 0 | 5719 | - | 56M | 0 |2704 |2127 |2176 | 71 | 10 | 22 | 0 |-7.700000e+01 |-5.900000e+01 | 30.51%| unknown
2.46/2.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.46/2.52 c 2.5s| 1 | 0 | 7056 | - | 56M | 0 |2704 |2127 |2188 | 85 | 11 | 22 | 0 |-7.700000e+01 |-5.900000e+01 | 30.51%| unknown
2.46/2.52 o -60
2.46/2.52 c r 2.5s| 1 | 0 | 7056 | - |shifting| 0 |2704 |2128 |2188 | 85 | 11 | 23 | 0 |-7.700000e+01 |-6.000000e+01 | 28.33%| unknown
2.46/2.52 o -61
2.46/2.52 c i 2.5s| 1 | 0 | 7056 | - | oneopt| 0 |2704 |2128 |2188 | 85 | 11 | 23 | 0 |-7.700000e+01 |-6.100000e+01 | 26.23%| unknown
2.76/2.80 o -64
2.76/2.80 c L 2.8s| 1 | 0 | 11179 | - | alns| 0 |2704 |2129 |2188 | 85 | 11 | 24 | 0 |-7.700000e+01 |-6.400000e+01 | 20.31%| unknown
2.76/2.84 c 2.8s| 1 | 0 | 11179 | - | 56M | 0 |2704 |2129 |2188 | 85 | 11 | 24 | 0 |-7.700000e+01 |-6.400000e+01 | 20.31%| unknown
2.85/2.90 c 2.9s| 1 | 0 | 12148 | - | 57M | 0 |2704 |2129 |2196 | 93 | 12 | 24 | 0 |-7.700000e+01 |-6.400000e+01 | 20.31%| unknown
2.85/2.93 c 2.9s| 1 | 0 | 12490 | - | 57M | 0 |2704 |2129 |2194 | 97 | 13 | 24 | 0 |-7.700000e+01 |-6.400000e+01 | 20.31%| unknown
3.16/3.22 c 3.2s| 1 | 2 | 13015 | - | 57M | 0 |2704 |2127 |2194 | 97 | 13 | 24 | 15 |-7.700000e+01 |-6.400000e+01 | 20.31%| unknown
7.95/8.01 o -65
7.95/8.01 c r 8.0s| 56 | 51 | 29295 | 380.5 |shifting| 20 |2704 |2099 |2128 | 163 | 0 | 24 | 587 |-7.700000e+01 |-6.500000e+01 | 18.46%| 59.13%
9.33/9.48 o -66
9.33/9.48 c r 9.5s| 71 | 66 | 32379 | 343.0 |shifting| 27 |2704 |2098 |2128 | 174 | 0 | 24 | 798 |-7.700000e+01 |-6.600000e+01 | 16.67%| 59.13%
11.92/12.08 c 12.1s| 100 | 97 | 38804 | 307.4 | 62M | 27 |2704 |2098 |2130 | 187 | 1 | 24 |1194 |-7.700000e+01 |-6.600000e+01 | 16.67%| 59.14%
13.31/13.46 o -67
13.31/13.46 c r13.5s| 118 | 113 | 41386 | 282.2 |shifting| 27 |2704 |2097 |2126 | 206 | 1 | 24 |1396 |-7.700000e+01 |-6.700000e+01 | 14.93%| 59.14%
13.41/13.59 o -68
13.41/13.59 c i13.6s| 118 | 115 | 41516 | 283.3 | oneopt| 27 |2704 |2097 |2135 | 215 | 2 | 24 |1396 |-7.700000e+01 |-6.800000e+01 | 13.24%| 59.14%
15.92/16.07 c r16.1s| 155 | 150 | 46688 | 248.8 |shifting| 27 |2704 |2092 |2123 | 278 | 0 | 24 |1703 |-7.700000e+01 |-6.800000e+01 | 13.24%| 59.14%
16.01/16.12 o -69
16.01/16.12 c r16.1s| 155 | 150 | 46773 | 249.4 |shifting| 27 |2704 |2092 |2125 | 280 | 2 | 24 |1703 |-7.700000e+01 |-6.900000e+01 | 11.59%| 59.14%
16.91/17.06 o -70
16.91/17.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.91/17.06 c r17.1s| 175 | 160 | 50168 | 240.2 |shifting| 27 |2704 |2089 |2128 | 316 | 0 | 24 |1838 |-7.700000e+01 |-7.000000e+01 | 10.00%| 59.38%
16.91/17.10 c r17.1s| 175 | 160 | 50183 | 240.3 |shifting| 27 |2704 |2089 |2131 | 319 | 1 | 24 |1838 |-7.700000e+01 |-7.000000e+01 | 10.00%| 59.38%
16.91/17.11 c r17.1s| 175 | 160 | 50185 | 240.3 |shifting| 27 |2704 |2089 |2133 | 321 | 2 | 24 |1838 |-7.700000e+01 |-7.000000e+01 | 10.00%| 59.38%
18.29/18.49 c 18.5s| 200 | 187 | 54849 | 233.6 | 73M | 28 |2704 |2089 |2130 | 337 | 1 | 24 |2063 |-7.700000e+01 |-7.000000e+01 | 10.00%| 59.38%
18.79/18.91 o -73
18.79/18.91 c d18.9s| 208 | 116 | 58321 | 241.3 |pscostdi| 29 |2704 |2087 |2130 | 0 | 1 | 24 |2116 |-7.700000e+01 |-7.300000e+01 | 5.48%| 65.78%
20.00/20.11 o -74
20.00/20.11 c *20.1s| 290 | 103 | 66909 | 202.6 | LP | 36 |2704 |2085 |2140 | 376 | 1 | 25 |2198 |-7.700000e+01 |-7.400000e+01 | 4.05%| 70.73%
20.18/20.36 c 20.4s| 300 | 111 | 68369 | 200.7 | 74M | 36 |2704 |2085 |2133 | 388 | 0 | 25 |2215 |-7.700000e+01 |-7.400000e+01 | 4.05%| 70.73%
20.38/20.54 o -75
20.38/20.54 c *20.5s| 318 | 64 | 69976 | 194.4 | LP | 36 |2704 |2086 |2141 | 389 | 1 | 26 |2224 |-7.700000e+01 |-7.500000e+01 | 2.67%| 77.64%
20.48/20.68 o -76
20.48/20.68 c *20.7s| 324 | 16 | 72239 | 197.7 | LP | 36 |2704 |2089 |2140 | 389 | 1 | 29 |2228 |-7.700000e+01 |-7.600000e+01 | 1.32%| 92.36%
21.08/21.27 c 21.3s| 400 | 21 | 78414 | 175.6 | 75M | 36 |2704 |2101 | 0 | 397 | 0 | 117 |2228 |-7.700000e+01 |-7.600000e+01 | 1.32%| 92.78%
21.99/22.17 c 22.2s| 500 | 12 | 87100 | 157.8 | 76M | 36 |2704 |2150 |2130 | 446 | 0 | 275 |2228 |-7.700000e+01 |-7.600000e+01 | 1.32%| 94.32%
22.88/23.10 c 23.1s| 600 | 8 | 97512 | 148.8 | 77M | 36 |2704 |2251 |2120 | 486 | 1 | 390 |2228 |-7.700000e+01 |-7.600000e+01 | 1.32%| 96.50%
23.07/23.28 c
23.07/23.28 c SCIP Status : problem is solved [optimal solution found]
23.07/23.28 c Solving Time (sec) : 23.28
23.07/23.28 c Solving Nodes : 616
23.07/23.28 c Primal Bound : -7.60000000000000e+01 (29 solutions)
23.07/23.28 c Dual Bound : -7.60000000000000e+01
23.07/23.28 c Gap : 0.00 %
23.07/23.28 s OPTIMUM FOUND
23.07/23.28 v x1 x2 x3 x4 x5 x6 x7 x8 x9 -x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33
23.07/23.28 v -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59
23.07/23.28 v -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85
23.07/23.28 v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109
23.07/23.28 v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131
23.07/23.28 v -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153
23.07/23.28 v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175
23.07/23.28 v -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197
23.07/23.28 v -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219
23.07/23.28 v -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241
23.07/23.28 v -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263
23.07/23.28 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285
23.07/23.28 v -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307
23.07/23.28 v -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329
23.07/23.28 v -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351
23.07/23.28 v -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373
23.07/23.28 v -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395
23.07/23.28 v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
23.07/23.28 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
23.07/23.28 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
23.07/23.28 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
23.07/23.28 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505
23.07/23.28 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527
23.07/23.28 v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549
23.07/23.28 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571
23.07/23.28 v -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593
23.07/23.28 v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615
23.07/23.28 v -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637
23.07/23.28 v -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659
23.07/23.28 v -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x1353 -x1354 -x1355 x1356
23.07/23.28 v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375
23.07/23.28 v -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394
23.07/23.28 v -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413
23.07/23.28 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432
23.07/23.28 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451
23.07/23.28 v -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
23.07/23.28 v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489
23.07/23.28 v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508
23.07/23.28 v -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527
23.07/23.28 v -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546
23.07/23.28 v -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565
23.07/23.28 v -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584
23.07/23.28 v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603
23.07/23.28 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622
23.07/23.28 v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641
23.07/23.28 v -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
23.07/23.28 v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679
23.07/23.28 v -x1680 -x1681 -x1682 -x1683 -x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698
23.07/23.28 v -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 -x1715 -x1716 -x1717
23.07/23.28 v -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736
23.07/23.28 v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755
23.07/23.28 v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774
23.07/23.28 v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793
23.07/23.28 v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812
23.07/23.28 v -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831
23.07/23.28 v -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850
23.07/23.28 v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869
23.07/23.28 v -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888
23.07/23.28 v -x1889 -x1890 -x1891 -x1892 -x1893 x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907
23.07/23.28 v -x1908 x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926
23.07/23.28 v -x1927 -x1928 -x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945
23.07/23.28 v -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964
23.07/23.28 v -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1980 -x1981 -x1982 -x1983
23.07/23.28 v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002
23.07/23.28 v -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021
23.07/23.28 v -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716
23.07/23.28 v -x2717 -x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735
23.07/23.28 v -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754
23.07/23.28 v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773
23.07/23.28 v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 x2791 -x2792
23.07/23.28 v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811
23.07/23.28 v -x2812 -x2813 -x2814 x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830
23.07/23.28 v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849
23.07/23.28 v -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868
23.07/23.28 v -x2869 -x2870 -x2871 x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887
23.07/23.28 v -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906
23.07/23.28 v -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 x2924 -x2925
23.07/23.28 v -x2926 -x2927 -x2928 -x2929 -x2930 x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944
23.07/23.28 v -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963
23.07/23.28 v -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 x2979 -x2980 -x2981 -x2982
23.07/23.28 v -x2983 -x2984 -x2985 -x2986 -x2987 x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001
23.07/23.28 v -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
23.07/23.28 v -x3021 -x3022 x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039
23.07/23.28 v -x3040 -x3041 -x3042 -x3043 -x3044 x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058
23.07/23.28 v x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077
23.07/23.28 v -x3078 -x3079 -x3080 -x3081 -x3082 x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096
23.07/23.28 v -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115
23.07/23.28 v -x3116 -x3117 x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134
23.07/23.28 v -x3135 -x3136 x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153
23.07/23.28 v -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172
23.07/23.28 v -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191
23.07/23.28 v -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 x3203 -x3204 -x3205 -x3206 x3207 -x3208 -x3209 -x3210
23.07/23.28 v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229
23.07/23.28 v -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248
23.07/23.28 v -x3249 -x3250 -x3251 x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267
23.07/23.28 v -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 x3275 -x3276 -x3277 -x3278 -x3279 x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286
23.07/23.28 v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305
23.07/23.28 v -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 x3319 -x3320 -x3321 -x3322 -x3323 -x3324
23.07/23.28 v -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343
23.07/23.28 v -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 x3351 -x3352 -x3353 -x3354 x2029 x2030 x2031 x2032 x2033 x2034 x2035 x2036 x2037
23.07/23.28 v -x2038 x2039 x2040 x2041 x2042 x2043 x2044 x2045 x2046 x2047 x2048 x2049 x2050 x2051 x2052 x2053 x2054 -x677 -x678 -x679 x680 -x681
23.07/23.28 v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703
23.07/23.28 v -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725
23.07/23.28 v -x726 x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747
23.07/23.28 v -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769
23.07/23.28 v -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791
23.07/23.28 v -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813
23.07/23.28 v -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835
23.07/23.28 v -x836 -x837 -x838 -x839 -x840 x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857
23.07/23.28 v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879
23.07/23.28 v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x901
23.07/23.28 v -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923
23.07/23.28 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 x944 -x945
23.07/23.28 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967
23.07/23.28 v -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989
23.07/23.28 v -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009
23.07/23.28 v -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028
23.07/23.28 v -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047
23.07/23.28 v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066
23.07/23.28 v -x1067 x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085
23.07/23.28 v -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104
23.07/23.28 v -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123
23.07/23.28 v -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142
23.07/23.28 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161
23.07/23.28 v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
23.07/23.28 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199
23.07/23.28 v -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 x1218
23.07/23.28 v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237
23.07/23.28 v -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 x1254 -x1255 -x1256
23.07/23.28 v -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275
23.07/23.28 v -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294
23.07/23.28 v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313
23.07/23.28 v x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332
23.07/23.28 v -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351
23.07/23.28 v -x1352 x3355 x3356 -x3357 x3358 x3359 x3360 x3361 x3362 x3363 x3364 x3365 x3366 x3367 x3368 x3369 x3370 x3371 x3372 x3373 x3374
23.07/23.28 v x3375 x3376 x3377 x3378 x3379 x3380 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068
23.07/23.28 v -x2069 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087
23.07/23.28 v -x2088 -x2089 -x2090 -x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106
23.07/23.28 v -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125
23.07/23.28 v -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 -x2142 -x2143 -x2144
23.07/23.28 v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163
23.07/23.28 v -x2164 x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182
23.07/23.28 v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201
23.07/23.28 v -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
23.07/23.28 v -x2221 x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 x2235 -x2236 -x2237 -x2238 -x2239
23.07/23.28 v -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258
23.07/23.28 v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 x2274 -x2275 -x2276 -x2277
23.07/23.28 v -x2278 -x2279 -x2280 x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296
23.07/23.28 v -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315
23.07/23.28 v -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 x2329 -x2330 -x2331 -x2332 -x2333 -x2334
23.07/23.28 v -x2335 -x2336 -x2337 x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353
23.07/23.28 v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372
23.07/23.28 v x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391
23.07/23.28 v -x2392 -x2393 -x2394 x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 x2409 -x2410
23.07/23.28 v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429
23.07/23.28 v -x2430 -x2431 -x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448
23.07/23.28 v -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467
23.07/23.28 v x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486
23.07/23.28 v x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505
23.07/23.28 v -x2506 -x2507 -x2508 -x2509 -x2510 x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524
23.07/23.28 v -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543
23.07/23.28 v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 x2553 -x2554 -x2555 -x2556 x2557 -x2558 -x2559 -x2560 -x2561 -x2562
23.07/23.28 v -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581
23.07/23.28 v -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600
23.07/23.28 v -x2601 x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619
23.07/23.28 v -x2620 -x2621 -x2622 -x2623 -x2624 x2625 -x2626 -x2627 -x2628 -x2629 x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638
23.07/23.28 v -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657
23.07/23.28 v -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676
23.07/23.28 v -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695
23.07/23.28 v -x2696 -x2697 -x2698 -x2699 -x2700 x2701 -x2702 -x2703 -x2704
23.07/23.28 c SCIP Status : problem is solved [optimal solution found]
23.07/23.28 c Total Time : 23.28
23.07/23.28 c solving : 23.28
23.07/23.28 c presolving : 0.21 (included in solving)
23.07/23.28 c reading : 0.02 (included in solving)
23.07/23.28 c copying : 0.17 (33 #copies) (minimal 0.00, maximal 0.01, average 0.01)
23.07/23.28 c Original Problem :
23.07/23.28 c Problem name : HOME/instance-4519571-1751551160.opb
23.07/23.28 c Variables : 3380 (3380 binary, 0 integer, 0 continuous)
23.07/23.28 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
23.07/23.28 c Constraints : 1507 initial, 1507 maximal
23.07/23.28 c Objective : minimize, 2002 non-zeros (abs.min = 1, abs.max = 1)
23.07/23.28 c Presolved Problem :
23.07/23.28 c Problem name : t_HOME/instance-4519571-1751551160.opb
23.07/23.28 c Variables : 2704 (2704 binary, 0 integer, 0 continuous)
23.07/23.28 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
23.07/23.28 c Constraints : 2105 initial, 2258 maximal
23.07/23.28 c Objective : minimize, 1352 non-zeros (abs.min = 1, abs.max = 1)
23.07/23.28 c Nonzeros : 8034 constraint, 2402 clique table
23.07/23.28 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
23.07/23.28 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.07/23.28 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.07/23.28 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
23.07/23.28 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.07/23.28 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.07/23.28 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.07/23.28 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
23.07/23.28 c gateextraction : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
23.07/23.28 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
23.07/23.28 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.07/23.28 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.07/23.28 c milp : 0.02 0.00 1 650 0 0 0 0 0 0 0 0
23.07/23.28 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.07/23.28 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.07/23.28 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
23.07/23.28 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.07/23.28 c trivial : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
23.07/23.28 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.07/23.28 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
23.07/23.28 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
23.07/23.28 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
23.07/23.28 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
23.07/23.28 c symmetry : 0.08 0.00 1 0 0 0 0 0 0 0 0 0
23.07/23.28 c vbounds : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
23.07/23.28 c knapsack : 0.00 0.00 2 0 0 0 0 0 26 676 0 0
23.07/23.28 c setppc : 0.01 0.00 10 0 0 0 0 0 0 0 0 0
23.07/23.28 c linear : 0.04 0.00 9 0 26 0 0 0 52 0 0 26
23.07/23.28 c logicor : 0.01 0.00 9 0 0 0 0 0 0 0 0 0
23.07/23.28 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
23.07/23.28 c root node : - - - 794 - - 794 - - - - -
23.07/23.28 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
23.07/23.28 c integral : 0 0 0 0 447 0 0 108 0 0 2 0 0 3 886
23.07/23.28 c knapsack : 0+ 72 0 8977 0 0 0 0 616 16 4652 0 0 0 0
23.07/23.28 c setppc : 727 727 12 16602 3 0 0 102 3177 3 6431 0 0 0 0
23.07/23.28 c linear : 0+ 11 0 1444 0 0 0 3 28 1 334 0 0 0 0
23.07/23.28 c logicor : 1378+ 1575 12 7090 3 0 0 40 1692 55 6788 9 9 0 0
23.07/23.28 c fixedvar : 0 0 0 0 3 0 0 29 0 0 0 0 0 0 0
23.07/23.28 c countsols : 0 0 0 0 3 0 0 29 0 0 0 0 0 0 0
23.07/23.28 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
23.07/23.28 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
23.07/23.28 c integral : 12.94 0.00 0.00 0.00 12.94 0.00 0.00 0.00 0.00 0.00
23.07/23.28 c knapsack : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
23.07/23.28 c setppc : 0.06 0.00 0.00 0.03 0.00 0.00 0.00 0.01 0.00 0.02
23.07/23.29 c linear : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
23.07/23.29 c logicor : 0.05 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.01
23.07/23.29 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
23.07/23.29 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
23.07/23.29 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
23.07/23.29 c Propagators : #Propagate #ResProp Cutoffs DomReds
23.07/23.29 c dualfix : 3 0 0 0
23.07/23.29 c genvbounds : 0 0 0 0
23.07/23.29 c nlobbt : 0 0 0 0
23.07/23.29 c obbt : 0 0 0 0
23.07/23.29 c probing : 0 0 0 0
23.07/23.29 c pseudoobj : 2162 0 0 0
23.07/23.29 c redcost : 728 0 0 1082
23.07/23.29 c rootredcost : 11 0 0 26
23.07/23.29 c symmetry : 8363 0 17 12367
23.07/23.29 c vbounds : 4604 0 0 0
23.07/23.29 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
23.07/23.29 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
23.07/23.29 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
23.07/23.29 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
23.07/23.29 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
23.07/23.29 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
23.07/23.29 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
23.07/23.29 c redcost : 0.03 0.00 0.00 0.03 0.00 0.00
23.07/23.29 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
23.07/23.29 c symmetry : 0.76 0.00 0.08 0.53 0.00 0.16
23.07/23.29 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
23.07/23.29 c Symmetry :
23.07/23.29 c #affected vars : 2704 (2704 bin, 0 int, 0 cont)
23.07/23.29 c orbitopal red. : 0 reductions applied, 0 cutoffs
23.07/23.29 c orbital reduction: 12349 reductions applied, 17 cutoffs
23.07/23.29 c lexicographic red: 35 reductions applied, 0 cutoffs
23.07/23.29 c shadow tree time : 0.00 s
23.07/23.29 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
23.07/23.29 c propagation : 0.00 63 61 - 211 42.5 1 3.0 - - -
23.07/23.29 c infeasible LP : 0.04 88 88 - 343 67.4 0 0.0 83 153.1 0
23.07/23.29 c bound exceed. LP : 0.01 5 4 - 3 26.0 0 0.0 4 260.2 30
23.07/23.29 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
23.07/23.29 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
23.07/23.29 c applied globally : 0.00 - - 0 325 53.6 - - 87 - -
23.07/23.29 c applied locally : - - - 0 0 0.0 - - 0 - -
23.07/23.29 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
23.07/23.29 c cut pool : 0.04 - 119 24 - - 1326 4940 - - - - - (maximal pool size: 1228)
23.07/23.29 c aggregation : 0.04 0.00 31 12 0 0 0 0 0 0 0 0 0
23.07/23.29 c > cmir : - - - - - - - 0 0 0 0 0 -
23.07/23.29 c > flowcover : - - - - - - - 0 0 0 0 0 -
23.07/23.29 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
23.07/23.29 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.07/23.29 c clique : 0.03 0.00 12 12 0 0 0 0 0 0 0 0 0
23.07/23.29 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.07/23.29 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.07/23.29 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.07/23.29 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.07/23.29 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.07/23.29 c gomory : 1.69 0.00 29 10 0 0 1220 4580 40 342 341 1 0
23.07/23.29 c > gomorymi : - - - - - - - 2594 20 149 148 1 -
23.07/23.29 c > strongcg : - - - - - - - 1986 20 193 193 0 -
23.07/23.29 c impliedbounds : 0.00 0.00 31 12 0 0 1 2 0 0 0 0 0
23.07/23.29 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.07/23.29 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.07/23.29 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.07/23.29 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
23.07/23.29 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.07/23.29 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.07/23.29 c multilinear : 0.00 0.00 42 12 0 0 0 0 0 0 0 0 0
23.07/23.29 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
23.07/23.29 c rapidlearning : 1.08 0.00 27 1 0 32 0 0 0 0 0 0 0
23.07/23.29 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
23.07/23.29 c zerohalf : 0.16 0.00 31 12 0 0 150 358 5 135 132 3 0
23.07/23.29 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
23.07/23.29 c hybrid : 0.01 0.00 75 13 486 0 4508 97 0 1237
23.07/23.29 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
23.07/23.29 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
23.07/23.29 c Pricers : ExecTime SetupTime Calls Vars
23.07/23.29 c problem variables: 0.00 - 0 0
23.07/23.29 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
23.07/23.29 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
23.07/23.29 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
23.07/23.29 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
23.07/23.29 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
23.07/23.29 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
23.07/23.29 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
23.07/23.29 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
23.07/23.29 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
23.07/23.29 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
23.07/23.29 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
23.07/23.29 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
23.07/23.29 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
23.07/23.29 c random : 0.00 0.00 0 0 0 0 0 0 0 0
23.07/23.29 c relpscost : 12.94 0.00 444 0 0 0 2 0 3 886
23.07/23.29 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
23.07/23.29 c Primal Heuristics : ExecTime SetupTime Calls Found Best
23.07/23.29 c LP solutions : 0.00 - - 3 3
23.07/23.29 c relax solutions : 0.00 - - 0 0
23.07/23.29 c pseudo solutions : 0.00 - - 0 0
23.07/23.29 c strong branching : 0.01 - - 0 0
23.07/23.29 c actconsdiving : 0.00 0.00 0 0 0
23.07/23.29 c adaptivediving : 0.01 0.00 1 0 0
23.07/23.29 c alns : 0.10 0.00 3 1 1
23.07/23.29 c bound : 0.00 0.00 0 0 0
23.07/23.29 c clique : 0.01 0.00 1 0 0
23.07/23.29 c coefdiving : 0.00 0.00 0 0 0
23.07/23.29 c completesol : 0.00 0.00 0 0 0
23.07/23.29 c conflictdiving : 0.13 0.00 1 0 0
23.07/23.29 c crossover : 0.01 0.00 1 0 0
23.07/23.29 c dins : 0.00 0.00 0 0 0
23.07/23.29 c distributiondivin: 0.01 0.00 0 0 0
23.07/23.29 c dks : 0.00 0.00 0 0 0
23.07/23.29 c dps : 0.00 0.00 0 0 0
23.07/23.29 c dualval : 0.00 0.00 0 0 0
23.07/23.29 c farkasdiving : 0.00 0.00 0 0 0
23.07/23.29 c feaspump : 0.11 0.00 1 1 0
23.07/23.29 c fixandinfer : 0.00 0.00 0 0 0
23.07/23.29 c fracdiving : 0.02 0.00 1 0 0
23.07/23.29 c gins : 0.00 0.00 0 0 0
23.07/23.29 c guideddiving : 0.00 0.00 0 0 0
23.07/23.29 c indicator : 0.00 0.00 0 0 0
23.07/23.29 c indicatordiving : 0.00 0.00 0 0 0
23.07/23.29 c intdiving : 0.00 0.00 0 0 0
23.07/23.29 c intshifting : 0.00 0.00 0 0 0
23.07/23.29 c linesearchdiving : 0.00 0.00 0 0 0
23.07/23.29 c localbranching : 0.00 0.00 0 0 0
23.07/23.29 c locks : 0.01 0.00 1 0 0
23.07/23.29 c lpface : 0.00 0.00 0 0 0
23.07/23.29 c mpec : 0.00 0.00 0 0 0
23.07/23.29 c multistart : 0.00 0.00 0 0 0
23.07/23.29 c mutation : 0.00 0.00 0 0 0
23.07/23.29 c nlpdiving : 0.00 0.00 0 0 0
23.07/23.29 c objpscostdiving : 0.00 0.00 0 0 0
23.07/23.29 c octane : 0.00 0.00 0 0 0
23.07/23.29 c ofins : 0.00 0.00 0 0 0
23.07/23.29 c oneopt : 0.01 0.00 15 2 2
23.07/23.29 c padm : 0.00 0.00 0 0 0
23.07/23.29 c proximity : 0.00 0.00 0 0 0
23.07/23.29 c pscostdiving : 0.09 0.00 1 1 1
23.07/23.29 c randrounding : 0.07 0.00 75 0 0
23.07/23.29 c rens : 0.02 0.00 1 0 0
23.07/23.29 c reoptsols : 0.00 0.00 0 0 0
23.07/23.29 c repair : 0.00 0.00 0 0 0
23.07/23.29 c rins : 0.02 0.00 1 0 0
23.07/23.29 c rootsoldiving : 0.00 0.00 0 0 0
23.07/23.29 c rounding : 0.02 0.00 269 0 0
23.07/23.29 c scheduler : 0.00 0.00 0 0 0
23.07/23.29 c shiftandpropagate: 0.00 0.00 0 0 0
23.07/23.29 c shifting : 0.05 0.00 115 19 9
23.07/23.29 c simplerounding : 0.00 0.00 551 0 0
23.07/23.29 c subnlp : 0.00 0.00 0 0 0
23.07/23.29 c trivial : 0.00 0.00 2 1 1
23.07/23.29 c trivialnegation : 0.00 0.00 0 0 0
23.07/23.29 c trustregion : 0.00 0.00 0 0 0
23.07/23.29 c trysol : 0.00 0.00 0 0 0
23.07/23.29 c twoopt : 0.00 0.00 0 0 0
23.07/23.29 c undercover : 0.00 0.00 0 0 0
23.07/23.29 c vbounds : 0.04 0.00 1 1 1
23.07/23.29 c veclendiving : 0.00 0.00 0 0 0
23.07/23.29 c zeroobj : 0.00 0.00 0 0 0
23.07/23.29 c zirounding : 0.02 0.00 441 0 0
23.07/23.29 c other solutions : - - - 0 -
23.07/23.29 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
23.07/23.29 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
23.07/23.29 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
23.07/23.29 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
23.07/23.29 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
23.07/23.29 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
23.07/23.29 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
23.07/23.29 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
23.07/23.29 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
23.07/23.29 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
23.07/23.29 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
23.07/23.29 c primal LP : 0.03 35 0 0.00 0.00 0.03 35
23.07/23.29 c dual LP : 5.35 663 79333 126.33 14832.14 0.02 35
23.07/23.29 c lex dual LP : 0.00 0 0 0.00 -
23.07/23.29 c barrier LP : 0.00 0 0 0.00 - 0.00 0
23.07/23.29 c resolve instable : 0.00 0 0 0.00 -
23.07/23.29 c diving/probing LP: 0.73 222 20721 93.34 28390.96
23.07/23.29 c strong branching : 11.17 2228 128060 57.48 11462.99 - - 254
23.07/23.29 c (at root node) : - 15 2754 183.60 -
23.07/23.29 c conflict analysis: 0.00 3 30 10.00 -
23.07/23.29 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
23.07/23.29 c benders : 0.00 0 0 0 0.00 0 0 0
23.07/23.29 c B&B Tree :
23.07/23.29 c number of runs : 1
23.07/23.29 c nodes : 616 (443 internal, 173 leaves)
23.07/23.29 c feasible leaves : 3
23.07/23.29 c infeas. leaves : 147
23.07/23.29 c objective leaves : 23
23.07/23.29 c nodes (total) : 616 (443 internal, 173 leaves)
23.07/23.29 c nodes left : 0
23.07/23.29 c max depth : 36
23.07/23.29 c max depth (total): 36
23.07/23.29 c backtracks : 70 (11.4%)
23.07/23.29 c early backtracks : 0 (0.0%)
23.07/23.29 c nodes exc. ref. : 0 (0.0%)
23.07/23.29 c delayed cutoffs : 14
23.07/23.29 c repropagations : 348 (2726 domain reductions, 10 cutoffs)
23.07/23.29 c avg switch length: 3.20
23.07/23.29 c switching time : 0.08
23.07/23.29 c Root Node :
23.07/23.29 c First LP value : -7.70000000000000e+01
23.07/23.29 c First LP Iters : 1699 (7171.11 Iter/sec)
23.07/23.29 c First LP Time : 0.24
23.07/23.29 c Final Dual Bound : -7.70000000000000e+01
23.07/23.29 c Final Root Iters : 8367
23.07/23.29 c Root LP Estimate : -7.69771777867087e+01
23.07/23.29 c Solution :
23.07/23.29 c Solutions found : 29 (18 improvements)
23.07/23.29 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
23.07/23.29 c Gap First Sol. : infinite
23.07/23.29 c Gap Last Sol. : 1.32 %
23.07/23.29 c Primal Bound : -7.60000000000000e+01 (in run 1, after 324 nodes, 20.68 seconds, depth 31, found by <relaxation>)
23.07/23.29 c Dual Bound : -7.60000000000000e+01
23.07/23.29 c Gap : 0.00 %
23.07/23.29 c Integrals : Total Avg%
23.07/23.29 c primal-dual : 345.87 14.86
23.07/23.29 c primal-ref : - - (not evaluated)
23.07/23.29 c dual-ref : - - (not evaluated)
23.17/23.31 c Time complete (sec): 23.191
OK -76
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: 63837 MiB (54048 MiB free)
memory of node 1: 64465 MiB (61695 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519571-1751551160/watcher-4519571-1751551160 -o /tmp/evaluation-result-4519571-1751551160/solver-4519571-1751551160 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751547548-78154 --watchdog 3760 pbsolver -f HOME/instance-4519571-1751551160.opb -t 3600 -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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=79001, runsolver pid=78998
[startup+0.100069 s]*
/proc/loadavg: 4.12 4.15 4.16 4/247 79002
/proc/meminfo: memFree=118498052/131382116 swapFree=33009904/33010684
[pid=79001] ppid=78998 vsize=36176 memory=27648 CPUtime=0.1 cores=5,7
/proc/79001/stat : 79001 (pbsolver) R 78998 79001 78141 0 -1 4194304 4595 0 0 0 9 1 0 0 20 0 1 0 70795387 37044224 6912 18446744073709551615 4198400 14743177 140726237442560 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53657600 140726237448586 140726237448682 140726237448682 140726237454284 0
/proc/79001/statm: 9044 6912 2560 2575 0 5951 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36176 KiB
Current children cumulated memory: 27648 KiB
[startup+0.213041 s]*
/proc/loadavg: 4.12 4.15 4.16 4/247 79002
/proc/meminfo: memFree=118608484/131382116 swapFree=33009904/33010684
[pid=79001] ppid=78998 vsize=54820 memory=38912 CPUtime=0.21 cores=5,7
/proc/79001/stat : 79001 (pbsolver) R 78998 79001 78141 0 -1 4194304 7372 0 0 0 19 2 0 0 20 0 1 0 70795387 56135680 9696 18446744073709551615 4198400 14743177 140726237442560 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53657600 140726237448586 140726237448682 140726237448682 140726237454284 0
/proc/79001/statm: 13705 9696 2592 2575 0 10612 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 54820 KiB
Current children cumulated memory: 38912 KiB
[startup+0.313169 s]*
/proc/loadavg: 4.12 4.15 4.16 5/247 79002
/proc/meminfo: memFree=118835392/131382116 swapFree=33009904/33010684
[pid=79001] ppid=78998 vsize=70836 memory=53376 CPUtime=0.31 cores=5,7
/proc/79001/stat : 79001 (pbsolver) R 78998 79001 78141 0 -1 4194304 10906 0 0 0 27 4 0 0 20 0 1 0 70795387 72536064 13344 18446744073709551615 4198400 14743177 140726237442560 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53657600 140726237448586 140726237448682 140726237448682 140726237454284 0
/proc/79001/statm: 17709 13344 2688 2575 0 14616 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 70836 KiB
Current children cumulated memory: 53376 KiB
[startup+0.700239 s]
/proc/loadavg: 4.12 4.15 4.16 5/251 79008
/proc/meminfo: memFree=119465896/131382116 swapFree=33009904/33010684
[pid=79001] ppid=78998 vsize=73832 memory=55040 CPUtime=0.68 cores=5,7
/proc/79001/stat : 79001 (pbsolver) R 78998 79001 78141 0 -1 4194304 11336 0 0 0 63 5 0 0 20 0 1 0 70795387 75603968 13760 18446744073709551615 4198400 14743177 140726237442560 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53657600 140726237448586 140726237448682 140726237448682 140726237454284 0
/proc/79001/statm: 18458 13760 2688 2575 0 15365 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 73832 KiB
Current children cumulated memory: 55040 KiB
[startup+1.50024 s]
/proc/loadavg: 4.12 4.15 4.16 5/246 79016
/proc/meminfo: memFree=126129648/131382116 swapFree=33009904/33010684
[pid=79001] ppid=78998 vsize=83940 memory=63860 CPUtime=1.46 cores=5,7
/proc/79001/stat : 79001 (pbsolver) R 78998 79001 78141 0 -1 4194304 16051 0 0 0 139 7 0 0 20 0 1 0 70795387 85954560 15965 18446744073709551615 4198400 14743177 140726237442560 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53657600 140726237448586 140726237448682 140726237448682 140726237454284 0
/proc/79001/statm: 20985 15965 2688 2575 0 17892 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 83940 KiB
Current children cumulated memory: 63860 KiB
[startup+3.1129 s]
/proc/loadavg: 4.11 4.15 4.16 5/247 79028
/proc/meminfo: memFree=126118544/131382116 swapFree=33009904/33010684
[pid=79001] ppid=78998 vsize=95832 memory=75764 CPUtime=3.07 cores=5,7
/proc/79001/stat : 79001 (pbsolver) R 78998 79001 78141 0 -1 4194304 19033 0 0 0 299 8 0 0 20 0 1 0 70795387 98131968 18941 18446744073709551615 4198400 14743177 140726237442560 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53657600 140726237448586 140726237448682 140726237448682 140726237454284 0
/proc/79001/statm: 23958 18941 2688 2575 0 20865 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 95832 KiB
Current children cumulated memory: 75764 KiB
[startup+6.30029 s]
/proc/loadavg: 4.11 4.15 4.16 5/251 79084
/proc/meminfo: memFree=126008880/131382116 swapFree=33009904/33010684
[pid=79001] ppid=78998 vsize=99856 memory=81104 CPUtime=6.24 cores=5,7
/proc/79001/stat : 79001 (pbsolver) R 78998 79001 78141 0 -1 4194304 21910 0 0 0 615 9 0 0 20 0 1 0 70795387 102252544 20276 18446744073709551615 4198400 14743177 140726237442560 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53657600 140726237448586 140726237448682 140726237448682 140726237454284 0
/proc/79001/statm: 24964 20276 2688 2575 0 21871 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 99856 KiB
Current children cumulated memory: 81104 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.15 4.16 5/251 79084
/proc/meminfo: memFree=125914420/131382116 swapFree=33009904/33010684
[pid=79001] ppid=78998 vsize=100740 memory=82300 CPUtime=12.61 cores=5,7
/proc/79001/stat : 79001 (pbsolver) R 78998 79001 78141 0 -1 4194304 24930 0 0 0 1252 9 0 0 20 0 1 0 70795387 103157760 20575 18446744073709551615 4198400 14743177 140726237442560 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53657600 140726237448586 140726237448682 140726237448682 140726237454284 0
/proc/79001/statm: 25185 20575 2688 2575 0 22092 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 100740 KiB
Current children cumulated memory: 82300 KiB
[startup+23.3164 s]
# the end of solver process 79001 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=23.0637 s, system=0.133952 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 4.10 4.15 4.16 5/251 79084
/proc/meminfo: memFree=125914420/131382116 swapFree=33009904/33010684
[pid=79001] ppid=78998 vsize=100740 memory=82300 CPUtime=12.71 cores=5,7
/proc/79001/stat : 79001 (pbsolver) R 78998 79001 78141 0 -1 4194304 24930 0 0 0 1262 9 0 0 20 0 1 0 70795387 103157760 20575 18446744073709551615 4198400 14743177 140726237442560 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53657600 140726237448586 140726237448682 140726237448682 140726237454284 0
/proc/79001/statm: 25185 20575 2688 2575 0 22092 0
Current children cumulated CPU time: 12.71 s
Current children cumulated vsize: 100740 KiB
Current children cumulated memory: 82300 KiB
[startup+19.2003 s]
/proc/loadavg: 4.09 4.14 4.16 5/251 79084
/proc/meminfo: memFree=125852552/131382116 swapFree=33009904/33010684
[pid=79001] ppid=78998 vsize=111308 memory=92904 CPUtime=19.09 cores=5,7
/proc/79001/stat : 79001 (pbsolver) R 78998 79001 78141 0 -1 4194304 33852 0 0 0 1898 11 0 0 20 0 1 0 70795387 113979392 23226 18446744073709551615 4198400 14743177 140726237442560 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53657600 140726237448586 140726237448682 140726237448682 140726237454284 0
/proc/79001/statm: 27827 23226 2688 2575 0 24734 0
Current children cumulated CPU time: 19.09 s
Current children cumulated vsize: 111308 KiB
Current children cumulated memory: 92904 KiB
[startup+20.8003 s]
/proc/loadavg: 4.09 4.14 4.16 5/251 79084
/proc/meminfo: memFree=125860364/131382116 swapFree=33009904/33010684
[pid=79001] ppid=78998 vsize=111908 memory=93488 CPUtime=20.68 cores=5,7
/proc/79001/stat : 79001 (pbsolver) R 78998 79001 78141 0 -1 4194304 36636 0 0 0 2057 11 0 0 20 0 1 0 70795387 114593792 23372 18446744073709551615 4198400 14743177 140726237442560 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53657600 140726237448586 140726237448682 140726237448682 140726237454284 0
/proc/79001/statm: 27977 23372 2688 2575 0 24884 0
Current children cumulated CPU time: 20.68 s
Current children cumulated vsize: 111908 KiB
Current children cumulated memory: 93488 KiB
[startup+22.4003 s]
/proc/loadavg: 4.09 4.14 4.16 5/251 79084
/proc/meminfo: memFree=125856080/131382116 swapFree=33009904/33010684
[pid=79001] ppid=78998 vsize=118352 memory=99760 CPUtime=22.27 cores=5,7
/proc/79001/stat : 79001 (pbsolver) R 78998 79001 78141 0 -1 4194304 40297 0 0 0 2215 12 0 0 20 0 1 0 70795387 121192448 24940 18446744073709551615 4198400 14743177 140726237442560 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53657600 140726237448586 140726237448682 140726237448682 140726237454284 0
/proc/79001/statm: 29588 24940 2688 2575 0 26495 0
Current children cumulated CPU time: 22.27 s
Current children cumulated vsize: 118352 KiB
Current children cumulated memory: 99760 KiB
[startup+22.8003 s]
/proc/loadavg: 4.09 4.14 4.16 5/251 79084
/proc/meminfo: memFree=125856080/131382116 swapFree=33009904/33010684
[pid=79001] ppid=78998 vsize=121204 memory=102704 CPUtime=22.67 cores=5,7
/proc/79001/stat : 79001 (pbsolver) R 78998 79001 78141 0 -1 4194304 41025 0 0 0 2255 12 0 0 20 0 1 0 70795387 124112896 25676 18446744073709551615 4198400 14743177 140726237442560 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53657600 140726237448586 140726237448682 140726237448682 140726237454284 0
/proc/79001/statm: 30301 25676 2688 2575 0 27208 0
Current children cumulated CPU time: 22.67 s
Current children cumulated vsize: 121204 KiB
Current children cumulated memory: 102704 KiB
[startup+23.2003 s]
/proc/loadavg: 4.08 4.14 4.16 5/251 79084
/proc/meminfo: memFree=125854568/131382116 swapFree=33009904/33010684
[pid=79001] ppid=78998 vsize=121204 memory=102704 CPUtime=23.07 cores=5,7
/proc/79001/stat : 79001 (pbsolver) R 78998 79001 78141 0 -1 4194304 41026 0 0 0 2295 12 0 0 20 0 1 0 70795387 124112896 25676 18446744073709551615 4198400 14743177 140726237442560 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53657600 140726237448586 140726237448682 140726237448682 140726237454284 0
/proc/79001/statm: 30301 25676 2688 2575 0 27208 0
Current children cumulated CPU time: 23.07 s
Current children cumulated vsize: 121204 KiB
Current children cumulated memory: 102704 KiB
[startup+23.3003 s]
/proc/loadavg: 4.08 4.14 4.16 5/251 79084
/proc/meminfo: memFree=125854568/131382116 swapFree=33009904/33010684
[pid=79001] ppid=78998 vsize=121204 memory=102704 CPUtime=23.17 cores=5,7
/proc/79001/stat : 79001 (pbsolver) R 78998 79001 78141 0 -1 4194304 41026 0 0 0 2305 12 0 0 20 0 1 0 70795387 124112896 25676 18446744073709551615 4198400 14743177 140726237442560 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53657600 140726237448586 140726237448682 140726237448682 140726237454284 0
/proc/79001/statm: 30301 25676 2688 2575 0 27208 0
Current children cumulated CPU time: 23.17 s
Current children cumulated vsize: 121204 KiB
Current children cumulated memory: 102704 KiB
Child status: 0
Real time (s): 23.3165
CPU time (s): 23.1976
CPU user time (s): 23.0637
CPU system time (s): 0.133952
CPU usage (%): 99.4904
Max. virtual memory (cumulated for all children) (KiB): 121204
Max. memory (cumulated for all children) (KiB): 102704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.0637
system time used= 0.133952
maximum resident set size= 102704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41026
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= 33
# summary of solver processes directly reported to runsolver:
# pid: 79001
# total CPU time (s): 23.1976
# total CPU user time (s): 23.0637
# total CPU system time (s): 0.133952
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.152901 second user time and 0.28458 second system time
The end
Begin job on nodeC010 at 2025-07-03 15:59:20 IDJOB=4519571 IDBENCH=177275 IDSOLVER=3366 FILE ID=nodeC010/4519571-1751551160 RUNJOBID= nodeC010-1751547548-78154 SLURM_JOB_ID= 9598719 Free space on /tmp= 429904 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_26.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519571-1751551160/watcher-4519571-1751551160 -o /tmp/evaluation-result-4519571-1751551160/solver-4519571-1751551160 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751547548-78154 --watchdog 3760 pbsolver -f HOME/instance-4519571-1751551160.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c7d48d7b52922a8c66e4a5b5da991f51 RANDOM SEED=1579143931 nodeC010 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 : 0xb00001f cpu MHz : 3492.019 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.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 : 0xb00001f cpu MHz : 3491.813 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.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 : 0xb00001f cpu MHz : 1197.516 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.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 : 0xb00001f cpu MHz : 1197.305 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.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 : 0xb00001f cpu MHz : 3700.000 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.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 : 0xb00001f cpu MHz : 1197.280 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.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 : 0xb00001f cpu MHz : 3662.133 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.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 : 0xb00001f cpu MHz : 1197.150 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 118521488 kB MemAvailable: 121900492 kB Buffers: 2128 kB Cached: 4178028 kB SwapCached: 24 kB Active: 8636032 kB Inactive: 3592076 kB Active(anon): 8059552 kB Inactive(anon): 6336 kB Active(file): 576480 kB Inactive(file): 3585740 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 28096 kB Writeback: 0 kB AnonPages: 8049016 kB Mapped: 125964 kB Shmem: 17936 kB KReclaimable: 112824 kB Slab: 197360 kB SReclaimable: 112824 kB SUnreclaim: 84536 kB KernelStack: 3980 kB PageTables: 19248 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 9205220 kB VmallocTotal: 34359738367 kB VmallocUsed: 149368 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1894400 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: 205640 kB DirectMap2M: 12279808 kB DirectMap1G: 123731968 kB Free space on /tmp at the end= 429940 MiB End job on nodeC010 at 2025-07-03 15:59:43