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 | 43 | 3096.4 | 3104.7 |
| Name | PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-may6.5.opb |
| MD5SUM | 76e67d27ce5ae72e711eb5f869f0e7e5 |
| 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 | 43 |
| Best CPU time to get the best result obtained on this benchmark | 3.73416 |
| 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 | 9632 |
| Total number of constraints | 29620 |
| Number of constraints which are clauses | 27575 |
| Number of constraints which are cardinality constraints (but not clauses) | 225 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1820 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 248 |
| Number of terms in the objective function | 26 |
| Biggest coefficient in the objective function | 20 |
| Number of bits for the biggest coefficient in the objective function | 5 |
| Sum of the numbers in the objective function | 211 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 160 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 687 |
| Number of bits of the biggest sum of numbers | 10 |
| 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-4508009-1751504822.opb>
0.00/0.06 c original problem has 9632 variables (9632 bin, 0 int, 0 cont) and 29620 constraints
0.00/0.06 c problem read in 0.061 seconds
0.09/0.12 c presolving:
0.09/0.16 c (round 1, fast) 56 del vars, 840 del conss, 0 add conss, 0 chg bounds, 1736 chg sides, 2604 chg coeffs, 0 upgd conss, 0 impls, 16492 clqs
0.09/0.17 c (round 2, fast) 71 del vars, 1305 del conss, 0 add conss, 0 chg bounds, 1736 chg sides, 2604 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs
0.09/0.21 c (0.2s) running MILP presolver
0.19/0.23 c (0.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.19/0.26 c (round 3, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 1736 chg sides, 2604 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs
0.30/0.35 c (round 4, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 1736 chg sides, 2604 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs
0.39/0.43 c (round 5, exhaustive) 71 del vars, 2201 del conss, 0 add conss, 0 chg bounds, 1736 chg sides, 2604 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs
2.77/2.81 c (2.8s) probing: 1000/9561 (10.5%) - 0 fixings, 0 aggregations, 4733 implications, 0 bound changes
2.77/2.82 c (2.8s) probing: 1001/9561 (10.5%) - 0 fixings, 0 aggregations, 4736 implications, 0 bound changes
2.77/2.82 c (2.8s) probing aborted: 1000/1000 successive useless probings
2.77/2.87 c (2.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.98/3.05 c (3.1s) symmetry computation finished: 23 generators found (max: 1500, log10 of symmetry group size: 14.70) (symcode time: 0.16)
2.98/3.07 c dynamic symmetry handling statistics:
2.98/3.07 c orbitopal reduction: 4 components: 342x6, 342x6, 341x11, 341x4
2.98/3.07 c orbital reduction: no components
2.98/3.07 c lexicographic reduction: no permutations
2.98/3.07 c handled 4 out of 4 symmetry components
2.98/3.09 c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
2.98/3.09 c 71 deleted vars, 2201 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 1736 changed sides, 2604 changed coefficients
2.98/3.09 c 0 implications, 20763 cliques
2.98/3.09 c presolved problem has 9561 variables (9561 bin, 0 int, 0 cont) and 27419 constraints
2.98/3.09 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
2.98/3.09 c 1121 constraints of type <knapsack>
2.98/3.09 c 16027 constraints of type <setppc>
2.98/3.09 c 28 constraints of type <linear>
2.98/3.09 c 10243 constraints of type <logicor>
2.98/3.09 c transformed objective value is always integral (scale: 1)
2.98/3.09 c Presolving Time: 2.97
2.98/3.09 c
2.98/3.09 c - non default parameters ----------------------------------------------------------------------
2.98/3.09 c
2.98/3.09 c # SCIP version 10.0.0
2.98/3.09 c
2.98/3.09 c # maximal time in seconds to run
2.98/3.09 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.98/3.09 c limits/time = 3596.998164
2.98/3.09 c
2.98/3.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.98/3.09 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.98/3.09 c limits/memory = 27900
2.98/3.09 c
2.98/3.09 c # belongs reading time to solving time?
2.98/3.09 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.98/3.09 c timing/reading = TRUE
2.98/3.09 c
2.98/3.09 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
2.98/3.09 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
2.98/3.09 c reading/opbreader/maxintsize = 47
2.98/3.09 c
2.98/3.09 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
2.98/3.09 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
2.98/3.09 c propagating/genvbounds/timingmask = 0
2.98/3.09 c
2.98/3.09 c -----------------------------------------------------------------------------------------------
2.98/3.09 c
10.35/10.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.35/10.45 c 10.4s| 1 | 0 | 18506 | - | 211M | 0 |9561 | 27k| 27k| 0 | 0 | 53 | 0 | 0.000000e+00 | -- | Inf | unknown
22.02/22.14 c 22.1s| 1 | 0 | 63430 | - | 221M | 0 |9561 | 27k| 27k| 171 | 1 | 55 | 0 | 0.000000e+00 | -- | Inf | unknown
23.12/23.27 c 23.3s| 1 | 0 | 65590 | - | 224M | 0 |9561 | 27k| 27k| 349 | 2 | 57 | 0 | 0.000000e+00 | -- | Inf | unknown
24.92/25.08 c 25.1s| 1 | 0 | 68662 | - | 227M | 0 |9561 | 27k| 27k| 528 | 3 | 58 | 0 | 0.000000e+00 | -- | Inf | unknown
26.31/26.47 c 26.5s| 1 | 0 | 70799 | - | 231M | 0 |9561 | 27k| 28k| 683 | 4 | 59 | 0 | 0.000000e+00 | -- | Inf | unknown
27.81/27.98 c 28.0s| 1 | 0 | 73016 | - | 235M | 0 |9561 | 27k| 28k| 829 | 5 | 60 | 0 | 0.000000e+00 | -- | Inf | unknown
29.31/29.47 c 29.5s| 1 | 0 | 74894 | - | 238M | 0 |9561 | 27k| 28k| 979 | 6 | 62 | 0 | 1.166667e+00 | -- | Inf | unknown
31.30/31.44 c 31.4s| 1 | 0 | 77812 | - | 242M | 0 |9561 | 27k| 28k|1091 | 7 | 64 | 0 | 2.333333e+00 | -- | Inf | unknown
33.00/33.16 c 33.2s| 1 | 0 | 80052 | - | 245M | 0 |9561 | 27k| 28k|1201 | 8 | 65 | 0 | 2.333333e+00 | -- | Inf | unknown
34.69/34.86 c 34.9s| 1 | 0 | 82534 | - | 249M | 0 |9561 | 27k| 28k|1322 | 9 | 67 | 0 | 2.333333e+00 | -- | Inf | unknown
36.89/37.03 c 37.0s| 1 | 0 | 85466 | - | 253M | 0 |9561 | 27k| 28k|1420 | 10 | 68 | 0 | 2.333333e+00 | -- | Inf | unknown
38.08/38.25 c 38.3s| 1 | 0 | 87567 | - | 256M | 0 |9561 | 27k| 28k|1526 | 11 | 69 | 0 | 2.333333e+00 | -- | Inf | unknown
39.57/39.72 c 39.7s| 1 | 0 | 89982 | - | 259M | 0 |9561 | 27k| 28k|1636 | 12 | 70 | 0 | 2.333333e+00 | -- | Inf | unknown
40.87/41.08 c 41.1s| 1 | 0 | 92244 | - | 262M | 0 |9561 | 27k| 28k|1712 | 13 | 72 | 0 | 2.333333e+00 | -- | Inf | unknown
42.26/42.48 c 42.5s| 1 | 0 | 94658 | - | 265M | 0 |9561 | 27k| 29k|1794 | 14 | 74 | 0 | 2.333333e+00 | -- | Inf | unknown
44.26/44.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
44.26/44.43 c 44.4s| 1 | 0 | 97759 | - | 268M | 0 |9561 | 27k| 29k|1860 | 15 | 75 | 0 | 5.500000e+00 | -- | Inf | unknown
45.45/45.63 c 45.6s| 1 | 0 | 99437 | - | 271M | 0 |9561 | 27k| 29k|1971 | 16 | 77 | 0 | 6.333333e+00 | -- | Inf | unknown
46.86/47.02 c 47.0s| 1 | 0 |101549 | - | 274M | 0 |9561 | 27k| 29k|2050 | 17 | 78 | 0 | 7.500000e+00 | -- | Inf | unknown
47.85/48.05 c 48.1s| 1 | 0 |103031 | - | 287M | 0 |9561 | 27k| 28k|2106 | 18 | 80 | 0 | 7.500000e+00 | -- | Inf | unknown
49.05/49.28 c 49.3s| 1 | 0 |104776 | - | 290M | 0 |9561 | 27k| 29k|2176 | 19 | 82 | 0 | 7.500000e+00 | -- | Inf | unknown
50.54/50.74 c 50.7s| 1 | 0 |106954 | - | 293M | 0 |9561 | 27k| 29k|2266 | 20 | 84 | 0 | 7.500000e+00 | -- | Inf | unknown
51.34/51.59 c 51.6s| 1 | 0 |108088 | - | 293M | 0 |9561 | 27k| 29k|2282 | 21 | 86 | 0 | 7.500000e+00 | -- | Inf | unknown
51.64/51.86 c 51.9s| 1 | 0 |108277 | - | 293M | 0 |9561 | 27k| 29k|2288 | 22 | 87 | 0 | 7.500000e+00 | -- | Inf | unknown
51.85/52.09 c 52.1s| 1 | 0 |108407 | - | 293M | 0 |9561 | 27k| 29k|2291 | 23 | 88 | 0 | 7.500000e+00 | -- | Inf | unknown
52.14/52.35 c 52.4s| 1 | 0 |108555 | - | 293M | 0 |9561 | 27k| 28k|2296 | 24 | 90 | 0 | 7.500000e+00 | -- | Inf | unknown
52.34/52.56 c 52.6s| 1 | 0 |108643 | - | 293M | 0 |9561 | 27k| 28k|2300 | 25 | 93 | 0 | 7.500000e+00 | -- | Inf | unknown
52.54/52.77 c 52.8s| 1 | 0 |108734 | - | 293M | 0 |9561 | 27k| 28k|2307 | 26 | 95 | 0 | 7.500000e+00 | -- | Inf | unknown
52.74/52.95 c 53.0s| 1 | 0 |108772 | - | 294M | 0 |9561 | 27k| 28k|2311 | 27 | 96 | 0 | 7.500000e+00 | -- | Inf | unknown
200.74/201.39 c 201s| 1 | 2 |154908 | - | 297M | 0 |9561 | 27k| 28k|2311 | 27 | 137 | 19 | 7.500000e+00 | -- | Inf | unknown
392.94/394.04 o 132
392.94/394.04 c o 394s| 14 | 15 |356619 |19065.2 |objpscos| 6 |9561 | 27k| 28k|2311 | 1 | 346 | 19 | 8.000000e+00 | 1.320000e+02 |1550.00%| unknown
426.64/427.84 o 122
426.64/427.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
426.64/427.84 c d 428s| 17 | 18 |434749 |20373.6 |guideddi| 7 |9561 | 27k| 28k| 0 | 1 | 417 | 19 | 8.000000e+00 | 1.220000e+02 |1425.00%| unknown
557.79/559.37 o 70
557.79/559.37 c o 559s| 29 | 30 |574448 |16631.3 |objpscos| 12 |9561 | 27k| 28k|2711 | 1 | 480 | 19 | 8.000000e+00 | 7.000000e+01 | 775.00%| unknown
761.86/763.99 c 764s| 100 | 99 |836225 |7348.0 | 327M | 33 |9561 | 28k| 28k|3868 | 2 | 787 | 19 | 9.666667e+00 | 7.000000e+01 | 624.14%| unknown
997.76/1000.48 c 1000s| 200 | 175 | 1037k|4664.6 | 331M | 33 |9561 | 28k| 0 |5520 | 0 |1019 | 19 | 1.100000e+01 | 7.000000e+01 | 536.36%| 2.22%
1043.73/1046.50 o 60
1043.73/1046.50 c d1047s| 222 | 184 | 1135k|4644.0 |guideddi| 33 |9561 | 28k| 28k| 0 | 1 |1127 | 19 | 1.100000e+01 | 6.000000e+01 | 445.45%| 4.67%
1130.11/1133.19 c 1133s| 300 | 244 | 1265k|3869.3 | 342M | 33 |9561 | 28k| 28k|7456 | 1 |1324 | 19 | 1.100000e+01 | 6.000000e+01 | 445.45%| 5.06%
1253.28/1256.66 c 1257s| 400 | 306 | 1464k|3396.6 | 359M | 33 |9561 | 28k| 28k| 10k| 1 |1559 | 19 | 1.100000e+01 | 6.000000e+01 | 445.45%| 5.38%
1298.66/1302.16 o 43
1298.66/1302.16 c L1302s| 422 | 251 | 1531k|3380.2 | rins| 33 |9561 | 28k| 28k| 11k| 1 |1600 | 19 | 1.100000e+01 | 4.300000e+01 | 290.91%| 10.35%
1399.45/1403.21 c 1403s| 500 | 303 | 1702k|3193.2 | 362M | 33 |9561 | 28k| 28k| 14k| 0 |1793 | 19 | 1.100000e+01 | 4.300000e+01 | 290.91%| 11.17%
1511.89/1516.06 c 1516s| 600 | 377 | 1866k|2933.9 | 365M | 33 |9561 | 28k| 28k| 17k| 1 |2032 | 19 | 1.100000e+01 | 4.300000e+01 | 290.91%| 11.27%
1600.11/1604.51 c 1605s| 700 | 459 | 2001k|2707.5 | 372M | 33 |9561 | 28k| 28k| 19k| 1 |2247 | 19 | 1.100000e+01 | 4.300000e+01 | 290.91%| 11.27%
1677.28/1681.93 c 1682s| 800 | 539 | 2125k|2524.4 | 374M | 33 |9561 | 28k| 28k| 21k| 1 |2475 | 19 | 1.100000e+01 | 4.300000e+01 | 290.91%| 11.28%
1736.23/1741.09 c 1741s| 900 | 609 | 2217k|2345.2 | 377M | 33 |9561 | 29k| 28k| 23k| 2 |2686 | 19 | 1.100000e+01 | 4.300000e+01 | 290.91%| 11.28%
1806.94/1811.98 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1806.94/1811.98 c (run 1, node 975) performing user restart
1806.94/1811.98 c
1806.94/1811.99 c (restart) converted 682 cuts from the global cut pool into linear constraints
1806.94/1811.99 c
1807.04/1812.03 c presolving:
1807.04/1812.05 c (round 1, fast) 0 del vars, 33 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 186 chg coeffs, 0 upgd conss, 0 impls, 21577 clqs
1807.04/1812.09 c (round 2, exhaustive) 0 del vars, 649 del conss, 95 add conss, 0 chg bounds, 7 chg sides, 186 chg coeffs, 0 upgd conss, 0 impls, 21578 clqs
1807.14/1812.13 c (round 3, exhaustive) 0 del vars, 657 del conss, 95 add conss, 0 chg bounds, 15 chg sides, 186 chg coeffs, 676 upgd conss, 0 impls, 21578 clqs
1807.14/1812.14 c (round 4, fast) 0 del vars, 678 del conss, 97 add conss, 0 chg bounds, 17 chg sides, 195 chg coeffs, 676 upgd conss, 0 impls, 21578 clqs
1807.14/1812.16 c (round 5, medium) 0 del vars, 691 del conss, 128 add conss, 0 chg bounds, 48 chg sides, 282 chg coeffs, 676 upgd conss, 0 impls, 21603 clqs
1807.14/1812.19 c (round 6, exhaustive) 0 del vars, 757 del conss, 138 add conss, 0 chg bounds, 48 chg sides, 282 chg coeffs, 676 upgd conss, 0 impls, 21603 clqs
1807.23/1812.25 c (round 7, exhaustive) 0 del vars, 919 del conss, 138 add conss, 0 chg bounds, 48 chg sides, 904 chg coeffs, 676 upgd conss, 0 impls, 21603 clqs
1807.33/1812.34 c presolving (8 rounds: 8 fast, 6 medium, 5 exhaustive):
1807.33/1812.34 c 0 deleted vars, 924 deleted constraints, 141 added constraints, 0 tightened bounds, 0 added holes, 48 changed sides, 1544 changed coefficients
1807.33/1812.34 c 0 implications, 21605 cliques
1807.33/1812.34 c presolved problem has 9561 variables (9561 bin, 0 int, 0 cont) and 29074 constraints
1807.33/1812.34 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1807.33/1812.34 c 1237 constraints of type <knapsack>
1807.33/1812.34 c 16299 constraints of type <setppc>
1807.33/1812.34 c 104 constraints of type <and>
1807.33/1812.34 c 99 constraints of type <linear>
1807.33/1812.34 c 11335 constraints of type <logicor>
1807.33/1812.34 c transformed objective value is always integral (scale: 1)
1807.33/1812.34 c Presolving Time: 3.29
1807.33/1812.38 c transformed 6/6 original solutions to the transformed problem space
1807.33/1812.38 c
1818.40/1823.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1818.40/1823.45 c 1823s| 1 | 0 | 2345k| - | 388M | 0 |9561 | 29k| 27k| 0 | 0 |3144 | 19 | 1.120000e+01 | 4.300000e+01 | 283.93%| unknown
1820.60/1825.67 c 1826s| 1 | 0 | 2349k| - | 391M | 0 |9561 | 29k| 27k| 182 | 1 |3145 | 19 | 1.120000e+01 | 4.300000e+01 | 283.93%| unknown
1823.20/1828.26 c 1828s| 1 | 0 | 2352k| - | 393M | 0 |9561 | 29k| 28k| 344 | 2 |3147 | 19 | 1.120000e+01 | 4.300000e+01 | 283.93%| unknown
1825.69/1830.77 c 1831s| 1 | 0 | 2355k| - | 396M | 0 |9561 | 29k| 28k| 484 | 3 |3149 | 19 | 1.120000e+01 | 4.300000e+01 | 283.93%| unknown
1828.28/1833.31 c 1833s| 1 | 0 | 2358k| - | 399M | 0 |9561 | 29k| 28k| 610 | 4 |3150 | 19 | 1.150000e+01 | 4.300000e+01 | 273.91%| unknown
1831.18/1836.29 c 1836s| 1 | 0 | 2361k| - | 403M | 0 |9561 | 29k| 28k| 727 | 5 |3151 | 19 | 1.150000e+01 | 4.300000e+01 | 273.91%| unknown
1833.37/1838.48 c 1838s| 1 | 0 | 2363k| - | 406M | 0 |9561 | 29k| 28k| 837 | 6 |3153 | 19 | 1.400000e+01 | 4.300000e+01 | 207.14%| unknown
1835.97/1841.04 c 1841s| 1 | 0 | 2366k| - | 409M | 0 |9561 | 29k| 28k| 930 | 7 |3156 | 19 | 1.600000e+01 | 4.300000e+01 | 168.75%| unknown
1838.06/1843.14 c 1843s| 1 | 0 | 2367k| - | 412M | 0 |9561 | 29k| 28k|1008 | 8 |3158 | 19 | 1.600000e+01 | 4.300000e+01 | 168.75%| unknown
1840.45/1845.52 c 1846s| 1 | 0 | 2370k| - | 414M | 0 |9561 | 29k| 28k|1101 | 9 |3160 | 19 | 1.833333e+01 | 4.300000e+01 | 134.55%| unknown
1842.45/1847.54 c 1848s| 1 | 0 | 2371k| - | 418M | 0 |9561 | 29k| 28k|1172 | 10 |3162 | 19 | 1.833333e+01 | 4.300000e+01 | 134.55%| unknown
1843.54/1848.60 c 1849s| 1 | 0 | 2373k| - | 422M | 0 |9561 | 29k| 28k|1226 | 11 |3163 | 19 | 1.900000e+01 | 4.300000e+01 | 126.32%| unknown
1845.04/1850.16 c 1850s| 1 | 0 | 2375k| - | 422M | 0 |9561 | 29k| 28k|1292 | 12 |3165 | 19 | 1.900000e+01 | 4.300000e+01 | 126.32%| unknown
1846.24/1851.35 c 1851s| 1 | 0 | 2377k| - | 425M | 0 |9561 | 29k| 28k|1348 | 13 |3166 | 19 | 1.900000e+01 | 4.300000e+01 | 126.32%| unknown
1847.33/1852.43 c 1852s| 1 | 0 | 2379k| - | 428M | 0 |9561 | 29k| 28k|1406 | 14 |3167 | 19 | 1.900000e+01 | 4.300000e+01 | 126.32%| unknown
1848.33/1853.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1848.33/1853.42 c 1853s| 1 | 0 | 2380k| - | 431M | 0 |9561 | 29k| 28k|1454 | 15 |3168 | 19 | 1.900000e+01 | 4.300000e+01 | 126.32%| unknown
1849.13/1854.24 c 1854s| 1 | 0 | 2381k| - | 434M | 0 |9561 | 29k| 28k|1503 | 16 |3169 | 19 | 1.900000e+01 | 4.300000e+01 | 126.32%| unknown
1849.93/1855.04 c 1855s| 1 | 0 | 2382k| - | 437M | 0 |9561 | 29k| 28k|1549 | 17 |3171 | 19 | 1.900000e+01 | 4.300000e+01 | 126.32%| unknown
1850.52/1855.63 c 1856s| 1 | 0 | 2383k| - | 440M | 0 |9561 | 29k| 28k|1589 | 18 |3172 | 19 | 1.900000e+01 | 4.300000e+01 | 126.32%| unknown
1851.52/1856.60 c 1857s| 1 | 0 | 2384k| - | 443M | 0 |9561 | 29k| 28k|1632 | 19 |3173 | 19 | 1.900000e+01 | 4.300000e+01 | 126.32%| unknown
1852.12/1857.25 c 1857s| 1 | 0 | 2385k| - | 446M | 0 |9561 | 29k| 28k|1679 | 20 |3174 | 19 | 1.900000e+01 | 4.300000e+01 | 126.32%| unknown
1852.42/1857.56 c 1858s| 1 | 0 | 2385k| - | 446M | 0 |9561 | 29k| 28k|1694 | 21 |3176 | 19 | 1.900000e+01 | 4.300000e+01 | 126.32%| unknown
1955.15/1960.53 c 1961s| 1 | 2 | 2435k| - | 448M | 0 |9561 | 29k| 28k|1694 | 21 |3209 | 45 | 1.900000e+01 | 4.300000e+01 | 126.32%| unknown
2263.75/2269.90 c 2270s| 100 | 75 | 2847k|2492.6 | 467M | 22 |9561 | 28k| 27k|3065 | 2 |3378 | 45 | 1.900000e+01 | 4.300000e+01 | 126.32%| unknown
2551.02/2557.97 c 2558s| 200 | 147 | 3173k|2557.7 | 495M | 22 |9561 | 28k| 27k|6565 | 1 |3570 | 45 | 2.150000e+01 | 4.300000e+01 | 100.00%| 8.70%
2757.78/2765.27 c 2765s| 300 | 211 | 3417k|2549.0 | 499M | 23 |9561 | 28k| 0 |8426 | 0 |3679 | 45 | 2.150000e+01 | 4.300000e+01 | 100.00%| 12.51%
2883.26/2891.03 c 2891s| 400 | 249 | 3566k|2471.6 | 508M | 28 |9561 | 28k| 27k| 10k| 1 |3789 | 45 | 2.400000e+01 | 4.300000e+01 | 79.17%| 21.67%
2943.10/2951.03 c 2951s| 500 | 250 | 3671k|2375.1 | 510M | 29 |9561 | 28k| 0 | 10k| 0 |3917 | 45 | 2.400000e+01 | 4.300000e+01 | 79.17%| 22.78%
2983.78/2991.86 c 2992s| 600 | 232 | 3746k|2272.1 | 514M | 29 |9561 | 28k| 28k| 12k| 0 |4037 | 45 | 2.508889e+01 | 4.300000e+01 | 71.39%| 28.42%
3039.14/3047.31 c 3047s| 700 | 187 | 3829k|2185.8 | 526M | 29 |9561 | 28k| 27k| 13k| 0 |4162 | 45 | 2.533333e+01 | 4.300000e+01 | 69.74%| 42.14%
3071.95/3080.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3071.95/3080.26 c 3080s| 800 | 146 | 3898k|2101.3 | 531M | 29 |9561 | 28k| 27k| 14k| 1 |4235 | 45 | 2.587500e+01 | 4.300000e+01 | 66.18%| 49.42%
3095.69/3104.09 c 3104s| 900 | 17 | 3949k|2016.6 | 534M | 29 |9561 | 28k| 27k| 15k| 0 |4343 | 45 | 3.400000e+01 | 4.300000e+01 | 26.47%| 73.00%
3096.19/3104.58 c
3096.19/3104.58 c SCIP Status : problem is solved [optimal solution found]
3096.19/3104.58 c Solving Time (sec) : 3104.58
3096.19/3104.58 c Solving Nodes : 905 (total of 1880 nodes in 2 runs)
3096.19/3104.58 c Primal Bound : +4.30000000000000e+01 (10 solutions)
3096.19/3104.58 c Dual Bound : +4.30000000000000e+01
3096.19/3104.58 c Gap : 0.00 %
3096.19/3104.59 s OPTIMUM FOUND
3096.19/3104.59 v -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 x7836 x7837 x7838 -x7839 x7840 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861
3096.19/3104.59 v -x7862 -x7863 x7864 x7865 x7866 -x7867 x7868 x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19
3096.19/3104.59 v x20 x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 x45 x46 -x47
3096.19/3104.59 v -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 x56 -x57 -x58 -x59 x60 x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 x71 -x72 -x73 -x74
3096.19/3104.59 v -x75 -x76 -x77 -x78 -x79 -x80 x81 x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101
3096.19/3104.59 v x102 x103 x104 -x105 -x106 -x107 x108 x109 -x110 -x111 -x112 x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
3096.19/3104.59 v x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 x143 x144 -x145 -x146 -x147
3096.19/3104.59 v -x148 -x149 -x150 x151 x152 x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
3096.19/3104.59 v -x171 -x172 -x173 x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 x186 -x187 -x188 -x189 -x190 -x191 -x192
3096.19/3104.59 v x193 x194 x195 -x196 -x197 -x198 -x199 -x200 x201 x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 x213 x214 -x215
3096.19/3104.59 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 x224 -x225 -x226 -x227 -x228 -x229 x230 x231 x232 -x233 -x234 -x235 -x236 -x237 -x238
3096.19/3104.59 v -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 x253 x254 -x255 -x256 -x257 -x258 -x259 -x260
3096.19/3104.59 v -x261 -x262 -x263 -x264 -x265 x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 x278 x279 -x280 -x281 -x282 -x283
3096.19/3104.59 v -x284 -x285 x286 x287 x288 -x289 -x290 -x291 x292 x293 x294 -x295 -x296 -x297 x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306
3096.19/3104.59 v -x307 x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 x328
3096.19/3104.59 v -x329 -x330 -x331 x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 x341 x342 -x343 -x344 x345 x346 x347 -x348 -x349 -x350 -x351
3096.19/3104.59 v -x352 -x353 -x354 -x355 x356 x357 x358 -x359 -x360 x361 x362 x363 -x364 -x365 -x366 -x367 -x368 x369 x370 -x371 -x372 -x373 -x374
3096.19/3104.59 v -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
3096.19/3104.59 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 x413 x414 -x415 -x416 x417 x418 -x419
3096.19/3104.59 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 x437 -x438 -x439 -x440 -x441
3096.19/3104.59 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 x453 -x454 -x455 -x456 x457 x458 x459 -x460 -x461 -x462 -x463 -x464
3096.19/3104.59 v x465 x466 x467 -x468 -x469 -x470 -x471 -x472 x473 x474 x475 -x476 -x477 -x478 -x479 -x480 x481 x482 -x483 -x484 -x485 -x486 -x487
3096.19/3104.59 v -x488 -x489 -x490 -x491 x492 x493 -x494 -x495 -x496 x497 x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 x509 x510
3096.19/3104.59 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532
3096.19/3104.59 v x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 x541 -x542 -x543 -x544 x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555
3096.19/3104.59 v -x556 -x557 -x558 -x559 -x560 x561 x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 x573 x574 -x575 -x576 -x577 -x578
3096.19/3104.59 v -x579 -x580 -x581 -x582 x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 x599 x600 x601
3096.19/3104.59 v x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 x615 -x616 -x617 -x618 -x619 x620 x621 -x622 -x623 -x624
3096.19/3104.59 v -x625 -x626 -x627 x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 x642 x643 -x644 -x645 -x646 -x647
3096.19/3104.59 v -x648 -x649 -x650 -x651 x652 x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
3096.19/3104.59 v -x671 -x672 x673 x674 x675 -x676 -x677 -x678 -x679 -x680 x681 x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
3096.19/3104.59 v -x694 x695 x696 -x697 x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 x711 -x712 -x713 -x714 -x715 -x716
3096.19/3104.59 v x717 x718 x719 -x720 -x721 -x722 -x723 x724 x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 x737 x738 x739
3096.19/3104.59 v -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 x749 -x750 -x751 -x752 x753 x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762
3096.19/3104.59 v -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 x774 -x775 -x776 x777 x778 -x779 -x780 -x781 -x782 -x783 -x784
3096.19/3104.59 v -x785 -x786 -x787 -x788 -x789 x790 x791 x792 x793 x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807
3096.19/3104.59 v -x808 -x809 -x810 -x811 -x812 -x813 x814 x815 -x816 x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 x829 x830
3096.19/3104.59 v -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 x839 -x840 x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 x853
3096.19/3104.59 v -x854 -x855 -x856 x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 x874 -x875
3096.19/3104.59 v -x876 -x877 -x878 -x879 -x880 x881 x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 x894 x895 -x896 -x897 -x898
3096.19/3104.59 v -x899 -x900 -x901 -x902 x903 x904 -x905 -x906 -x907 x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
3096.19/3104.59 v x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 x941 -x942
3096.19/3104.59 v -x943 -x944 -x945 -x946 -x947 x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 x957 x958 -x959 -x960 x961 x962 x963 -x964 -x965
3096.19/3104.59 v -x966 -x967 -x968 x969 x970 x971 -x972 -x973 -x974 -x975 -x976 x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988
3096.19/3104.59 v -x989 x990 x991 x992 -x993 -x994 -x995 -x996 -x997 x998 x999 -x1000 -x1001 -x1002 -x1003 x1004 x1005 -x1006 -x1007 -x1008 -x1009
3096.19/3104.59 v -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028
3096.19/3104.59 v x1029 -x1030 -x1031 -x1032 x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 x1045 -x1046 -x1047
3096.19/3104.59 v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 x1055 -x1056 -x1057 -x1058 -x1059 x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066
3096.19/3104.59 v -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 x1082 -x1083 -x1084 -x1085
3096.19/3104.59 v -x1086 -x1087 -x1088 -x1089 x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104
3096.19/3104.59 v -x1105 -x1106 -x1107 x1108 x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 x1119 x1120 x1121 x1122 x1123 -x1124
3096.19/3104.59 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 x1142 x1143
3096.19/3104.59 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 x1152 -x1153 -x1154 -x1155 x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162
3096.19/3104.59 v -x1163 -x1164 -x1165 -x1166 x1167 x1168 -x1169 -x1170 -x1171 x1172 x1173 x1174 -x1175 -x1176 x1177 x1178 x1179 -x1180 -x1181 -x1182
3096.19/3104.59 v -x1183 -x1184 x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201
3096.19/3104.59 v -x1202 -x1203 -x1204 -x1205 -x1206 x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 x1216 -x1217 -x1218 -x1219 -x1220
3096.19/3104.59 v -x1221 x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 x1231 -x1232 x1233 x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
3096.19/3104.59 v x1241 x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 x1258 -x1259
3096.19/3104.59 v -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278
3096.19/3104.59 v -x1279 -x1280 -x1281 x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 x1295 x1296 x1297 x1298
3096.19/3104.59 v -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317
3096.19/3104.59 v -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 x1332 x1333 -x1334 -x1335 -x1336
3096.19/3104.59 v -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1343 x1344 -x1345 -x1346 -x1347 x1348 x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355
3096.19/3104.59 v -x1356 x1357 x1358 -x1359 x1360 -x1361 -x1362 -x1363 x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374
3096.19/3104.59 v -x1375 -x1376 -x1377 -x1378 -x1379 x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 x1390 x1391 x1392 x1393 x1394
3096.19/3104.59 v -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 x1413
3096.19/3104.59 v -x1414 -x1415 -x1416 x1417 x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432
3096.19/3104.59 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451
3096.19/3104.59 v x1452 x1453 -x1454 -x1455 -x1456 x1457 x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 x1469 -x1470 -x1471
3096.19/3104.59 v -x1472 -x1473 -x1474 -x1475 x1476 x1477 x1478 -x1479 -x1480 x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x1490 x1491
3096.19/3104.59 v -x1492 -x1493 -x1494 -x1495 -x1496 x1497 x1498 x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
3096.19/3104.59 v -x1511 -x1512 x1513 x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 x1521 x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529
3096.19/3104.59 v -x1530 -x1531 -x1532 -x1533 x1534 x1535 x1536 x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548
3096.19/3104.59 v -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 x1565 -x1566 -x1567
3096.19/3104.59 v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 x1574 x1575 -x1576 -x1577 -x1578 -x1579 x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586
3096.19/3104.59 v -x1587 x1588 x1589 -x1590 -x1591 -x1592 x1593 x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605
3096.19/3104.59 v -x1606 -x1607 -x1608 x1609 x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624
3096.19/3104.59 v -x1625 -x1626 -x1627 x1628 x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 x1636 x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643
3096.19/3104.59 v -x1644 -x1645 -x1646 x1647 x1648 -x1649 x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 x1662
3096.19/3104.59 v x1663 x1664 x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681
3096.19/3104.59 v x1682 x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700
3096.19/3104.59 v -x1701 x1702 x1703 -x1704 -x1705 -x1706 -x1707 x1708 x1709 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 x1719 x1720
3096.19/3104.59 v -x1721 -x1722 -x1723 x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 x1735 -x1736 -x1737 -x1738 -x1739
3096.19/3104.59 v x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 x1756 x1757 -x1758
3096.19/3104.59 v -x1759 -x1760 -x1761 x1762 x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 x1776 -x1777
3096.19/3104.59 v -x1778 -x1779 -x1780 x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 x1791 x1792 -x1793 -x1794 -x1795 -x1796
3096.19/3104.59 v -x1797 -x1798 -x1799 -x1800 -x1801 x1802 x1803 -x1804 -x1805 -x1806 -x1807 -x1808 x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815
3096.19/3104.59 v -x1816 -x1817 x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x1833 x1834 x1835
3096.19/3104.59 v -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854
3096.19/3104.59 v x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 x1865 x1866 x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 x1874
3096.19/3104.59 v x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x1890 x1891 -x1892 -x1893
3096.19/3104.59 v -x1894 -x1895 -x1896 x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1909 x1910 x1911 -x1912
3096.19/3104.59 v -x1913 x1914 x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 x1926 x1927 -x1928 -x1929 -x1930 -x1931
3096.19/3104.59 v -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 x1943 x1944 -x1945 -x1946 -x1947 x1948 x1949 -x1950
3096.19/3104.59 v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 x1958 x1959 -x1960 -x1961 -x1962 -x1963 x1964 x1965 -x1966 -x1967 -x1968 -x1969
3096.19/3104.59 v -x1970 -x1971 x1972 x1973 x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989
3096.19/3104.59 v x1990 x1991 x1992 x1993 x1994 x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 x2008 -x2009
3096.19/3104.59 v -x2010 -x2011 x2012 x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 x2026 x2027 -x2028
3096.19/3104.59 v -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 x2036 x2037 -x2038 -x2039 -x2040 x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047
3096.19/3104.59 v -x2048 -x2049 x2050 x2051 -x2052 -x2053 -x2054 -x2055 -x2056 x2057 x2058 x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066
3096.19/3104.59 v -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080 x2081 x2082 x2083 -x2084 -x2085
3096.19/3104.59 v -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 x2095 x2096 -x2097 -x2098 -x2099 x2100 x2101 -x2102 -x2103 -x2104
3096.19/3104.59 v -x2105 -x2106 -x2107 -x2108 -x2109 x2110 x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 x2118 x2119 x2120 -x2121 -x2122 -x2123
3096.19/3104.59 v -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 x2133 -x2134 -x2135 -x2136 x2137 x2138 x2139 -x2140 -x2141 -x2142
3096.19/3104.59 v -x2143 -x2144 -x2145 -x2146 -x2147 x2148 x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 x2156 x2157 -x2158 -x2159 -x2160 -x2161
3096.19/3104.59 v -x2162 -x2163 -x2164 -x2165 x2166 x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180
3096.19/3104.59 v x2181 x2182 -x2183 x2184 -x2185 -x2186 -x2187 -x2188 -x2189 x2190 x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 x2199 x2200
3096.19/3104.59 v x2201 x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 x2217 x2218 x2219 -x2220
3096.19/3104.59 v -x2221 -x2222 -x2223 -x2224 x2225 x2226 x2227 -x2228 -x2229 -x2230 -x2231 -x2232 x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239
3096.19/3104.59 v -x2240 -x2241 -x2242 -x2243 x2244 x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258
3096.19/3104.59 v -x2259 -x2260 x2261 x2262 -x2263 x2264 x2265 x2266 x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 x2274 x2275 -x2276 -x2277 -x2278
3096.19/3104.59 v -x2279 -x2280 x2281 x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297
3096.19/3104.59 v -x2298 -x2299 x2300 x2301 x2302 -x2303 -x2304 -x2305 -x2306 -x2307 x2308 x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316
3096.19/3104.59 v -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 x2334 x2335
3096.19/3104.59 v -x2336 x2337 x2338 x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 x2350 x2351 -x2352 -x2353 x2354 x2355
3096.19/3104.59 v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 x2365 x2366 x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374
3096.19/3104.59 v -x2375 -x2376 x2377 x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393
3096.19/3104.59 v -x2394 -x2395 x2396 x2397 -x2398 -x2399 -x2400 -x2401 x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412
3096.19/3104.59 v -x2413 x2414 x2415 x2416 x2417 x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 x2432
3096.19/3104.59 v -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451
3096.19/3104.59 v -x2452 -x2453 x2454 x2455 -x2456 -x2457 -x2458 -x2459 x2460 x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 x2470
3096.19/3104.59 v x2471 x2472 -x2473 -x2474 -x2475 x2476 x2477 -x2478 -x2479 -x2480 -x2481 x2482 x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
3096.19/3104.59 v -x2491 -x2492 -x2493 x2494 x2495 x2496 x2497 x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510
3096.19/3104.59 v -x2511 -x2512 -x2513 -x2514 -x2515 x2516 x2517 x2518 -x2519 -x2520 x2521 x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530
3096.19/3104.59 v -x2531 x2532 x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 x2542 x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549
3096.19/3104.59 v -x2550 -x2551 -x2552 x2553 x2554 x2555 -x2556 -x2557 -x2558 -x2559 -x2560 x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568
3096.19/3104.59 v -x2569 -x2570 -x2571 x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x2580 x2581 -x2582 -x2583 -x2584 -x2585 x2586 x2587 -x2588
3096.19/3104.59 v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607
3096.19/3104.59 v -x2608 -x2609 -x2610 -x2611 x2612 x2613 x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 x2621 -x2622 -x2623 -x2624 x2625 x2626 x2627
3096.19/3104.59 v -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 x2640 -x2641 x2642 x2643 -x2644 -x2645 -x2646
3096.19/3104.59 v -x2647 -x2648 -x2649 x2650 x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665
3096.19/3104.59 v -x2666 -x2667 -x2668 -x2669 -x2670 x2671 x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 x2684
3096.19/3104.59 v x2685 -x2686 -x2687 -x2688 x2689 x2690 x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x2700 x2701 -x2702 -x2703 -x2704
3096.19/3104.59 v x2705 x2706 x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 x2718 x2719 x2720 -x2721 -x2722 -x2723 x2724
3096.19/3104.59 v x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743
3096.19/3104.59 v -x2744 x2745 x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762
3096.19/3104.59 v -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781
3096.19/3104.59 v x2782 x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800
3096.19/3104.59 v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 x2809 x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819
3096.19/3104.59 v -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 x2828 x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 x2836 x2837 -x2838
3096.19/3104.59 v -x2839 -x2840 -x2841 x2842 x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 x2850 x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857
3096.19/3104.59 v -x2858 -x2859 x2860 x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 x2876
3096.19/3104.59 v x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 x2886 x2887 -x2888 x2889 x2890 -x2891 -x2892 -x2893 -x2894 -x2895
3096.19/3104.59 v -x2896 x2897 x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 x2908 x2909 -x2910 -x2911 -x2912 -x2913 -x2914
3096.19/3104.59 v -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 x2924 x2925 -x2926 -x2927 -x2928 x2929 x2930 x2931 -x2932 -x2933
3096.19/3104.59 v -x2934 -x2935 -x2936 -x2937 x2938 x2939 -x2940 -x2941 -x2942 -x2943 -x2944 x2945 x2946 x2947 -x2948 -x2949 -x2950 -x2951 -x2952
3096.19/3104.59 v -x2953 -x2954 -x2955 -x2956 -x2957 x2958 x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971
3096.19/3104.59 v -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990
3096.19/3104.59 v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009
3096.19/3104.59 v -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 x3028
3096.19/3104.59 v x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 x3041 x3042 x3043 -x3044 -x3045 -x3046 -x3047
3096.19/3104.59 v -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066
3096.19/3104.59 v -x3067 x3068 x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 x3076 x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 x3084 x3085 -x3086
3096.19/3104.59 v -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105
3096.19/3104.59 v -x3106 -x3107 x3108 x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 x3119 x3120 x3121 x3122 -x3123 -x3124 -x3125
3096.19/3104.59 v -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 x3132 x3133 x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 x3143 x3144
3096.19/3104.59 v -x3145 -x3146 -x3147 x3148 x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163
3096.19/3104.59 v x3164 x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182
3096.19/3104.59 v -x3183 -x3184 x3185 x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 x3193 x3194 x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201
3096.19/3104.59 v x3202 x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 x3212 x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220
3096.19/3104.59 v -x3221 x3222 x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239
3096.19/3104.59 v -x3240 x3241 x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 x3253 x3254 x3255 -x3256 -x3257 -x3258
3096.19/3104.59 v -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277
3096.19/3104.59 v -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 x3287 x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296
3096.19/3104.59 v -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 x3309 x3310 -x3311 -x3312 -x3313 -x3314 -x3315
3096.19/3104.59 v -x3316 -x3317 -x3318 -x3319 -x3320 x3321 x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 x3334
3096.19/3104.59 v x3335 x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353
3096.19/3104.59 v -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 x3364 x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372
3096.19/3104.59 v -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 x3380 x3381 -x3382 -x3383 -x3384 -x3385 x3386 x3387 -x3388 -x3389 -x3390 -x3391
3096.19/3104.59 v -x3392 -x3393 -x3394 -x3395 x3396 x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410
3096.19/3104.59 v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 x3422 x3423 -x3424 -x3425 -x3426 -x3427 x3428 x3429
3096.19/3104.59 v -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 x3437 x3438 -x3439 x3440 -x3441 x3442 x3443 -x3444 -x3445 -x3446 -x3447 -x3448
3096.19/3104.59 v -x3449 x3450 x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 x3460 x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467
3096.19/3104.59 v -x3468 -x3469 x3470 x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486
3096.19/3104.59 v -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505
3096.19/3104.59 v -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 x3513 x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524
3096.19/3104.59 v -x3525 -x3526 -x3527 -x3528 -x3529 x3530 x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 x3542 x3543
3096.19/3104.59 v x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562
3096.19/3104.59 v -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 x3572 x3573 -x3574 -x3575 -x3576 x3577 x3578 -x3579 -x3580 -x3581
3096.19/3104.59 v -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 x3596 x3597 -x3598 -x3599 -x3600
3096.19/3104.59 v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 x3612 x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619
3096.19/3104.59 v -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 x3628 x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 x3638
3096.19/3104.59 v x3639 -x3640 x3641 x3642 x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657
3096.19/3104.59 v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 x3668 x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676
3096.19/3104.59 v -x3677 x3678 x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 x3687 x3688 -x3689 -x3690 -x3691 x3692 x3693 x3694 -x3695 -x3696
3096.19/3104.59 v -x3697 -x3698 -x3699 x3700 x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 x3714 x3715
3096.19/3104.59 v -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734
3096.19/3104.59 v -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753
3096.19/3104.59 v -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772
3096.19/3104.59 v -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791
3096.19/3104.59 v -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810
3096.19/3104.59 v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829
3096.19/3104.59 v -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848
3096.19/3104.59 v -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867
3096.19/3104.59 v -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886
3096.19/3104.59 v -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905
3096.19/3104.59 v -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924
3096.19/3104.59 v -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943
3096.19/3104.59 v -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962
3096.19/3104.59 v -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981
3096.19/3104.59 v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000
3096.19/3104.59 v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019
3096.19/3104.59 v -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038
3096.19/3104.59 v -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057
3096.19/3104.59 v -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076
3096.19/3104.59 v -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095
3096.19/3104.59 v -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114
3096.19/3104.59 v -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133
3096.19/3104.59 v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152
3096.19/3104.59 v -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171
3096.19/3104.59 v -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190
3096.19/3104.59 v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209
3096.19/3104.59 v -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228
3096.19/3104.59 v -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247
3096.19/3104.59 v -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266
3096.19/3104.59 v -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285
3096.19/3104.59 v -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304
3096.19/3104.59 v -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323
3096.19/3104.59 v -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342
3096.19/3104.59 v -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361
3096.19/3104.59 v -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380
3096.19/3104.59 v -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399
3096.19/3104.59 v -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418
3096.19/3104.59 v -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437
3096.19/3104.59 v -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456
3096.19/3104.59 v -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475
3096.19/3104.59 v -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494
3096.19/3104.59 v -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513
3096.19/3104.59 v -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532
3096.19/3104.59 v -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551
3096.19/3104.59 v -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570
3096.19/3104.59 v -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589
3096.19/3104.59 v -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608
3096.19/3104.59 v -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627
3096.19/3104.59 v -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646
3096.19/3104.59 v -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665
3096.19/3104.59 v -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684
3096.19/3104.59 v -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703
3096.19/3104.59 v -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722
3096.19/3104.59 v -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741
3096.19/3104.59 v -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760
3096.19/3104.59 v -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779
3096.19/3104.59 v -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798
3096.19/3104.59 v -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817
3096.19/3104.59 v -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836
3096.19/3104.59 v -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855
3096.19/3104.59 v -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874
3096.19/3104.59 v -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893
3096.19/3104.59 v -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912
3096.19/3104.59 v -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931
3096.19/3104.59 v -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950
3096.19/3104.59 v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969
3096.19/3104.59 v -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988
3096.19/3104.59 v -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007
3096.19/3104.59 v -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026
3096.19/3104.59 v -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045
3096.19/3104.59 v -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064
3096.19/3104.59 v -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083
3096.19/3104.59 v -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102
3096.19/3104.59 v -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121
3096.19/3104.59 v -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140
3096.19/3104.59 v -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159
3096.19/3104.59 v -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178
3096.19/3104.59 v -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197
3096.19/3104.59 v -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216
3096.19/3104.59 v -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235
3096.19/3104.59 v -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254
3096.19/3104.59 v -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273
3096.19/3104.59 v -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292
3096.19/3104.59 v -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311
3096.19/3104.59 v -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330
3096.19/3104.59 v -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349
3096.19/3104.59 v -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368
3096.19/3104.59 v -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387
3096.19/3104.59 v -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406
3096.19/3104.59 v -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425
3096.19/3104.59 v -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444
3096.19/3104.59 v -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463
3096.19/3104.59 v -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482
3096.19/3104.59 v -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501
3096.19/3104.59 v -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520
3096.19/3104.59 v -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539
3096.19/3104.59 v -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558
3096.19/3104.59 v -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577
3096.19/3104.59 v -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596
3096.19/3104.59 v -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615
3096.19/3104.59 v -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634
3096.19/3104.59 v -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653
3096.19/3104.59 v -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672
3096.19/3104.59 v -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691
3096.19/3104.59 v -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710
3096.19/3104.59 v -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 x5729
3096.19/3104.59 v x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748
3096.19/3104.59 v -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 x5766 x5767
3096.19/3104.59 v -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786
3096.19/3104.59 v -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 x5796 x5797 -x5798 -x5799 -x5800 -x5801 x5802 x5803 -x5804 -x5805
3096.19/3104.59 v -x5806 -x5807 -x5808 x5809 x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824
3096.19/3104.59 v x5825 x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843
3096.19/3104.59 v -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862
3096.19/3104.59 v -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 x5871 x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881
3096.19/3104.59 v -x5882 -x5883 x5884 x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 x5894 x5895 -x5896 -x5897 x5898 x5899 -x5900 -x5901
3096.19/3104.59 v -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 x5919 x5920
3096.19/3104.59 v -x5921 -x5922 -x5923 x5924 x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939
3096.19/3104.59 v x5940 x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958
3096.19/3104.59 v -x5959 -x5960 x5961 x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977
3096.19/3104.59 v -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996
3096.19/3104.59 v -x5997 x5998 x5999 x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 x6012 x6013 x6014 -x6015 -x6016
3096.19/3104.59 v -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 x6030 x6031 -x6032 -x6033 -x6034 -x6035
3096.19/3104.59 v -x6036 -x6037 -x6038 -x6039 -x6040 x6041 x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 x6052 x6053 -x6054
3096.19/3104.59 v -x6055 -x6056 -x6057 -x6058 -x6059 x6060 x6061 x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073
3096.19/3104.59 v -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 x6081 x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 x6089 x6090 -x6091 -x6092
3096.19/3104.59 v -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 x6105 x6106 x6107 -x6108 -x6109 -x6110 -x6111
3096.19/3104.59 v -x6112 -x6113 -x6114 -x6115 x6116 x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 x6130
3096.19/3104.59 v x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 x6140 x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149
3096.19/3104.59 v -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 x6161 x6162 x6163 -x6164 -x6165 -x6166 -x6167 -x6168
3096.19/3104.59 v -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 x6175 x6176 x6177 x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187
3096.19/3104.59 v -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 x6196 x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206
3096.19/3104.59 v -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 x6220 x6221 -x6222 -x6223 -x6224 -x6225
3096.19/3104.59 v -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244
3096.19/3104.59 v -x6245 -x6246 -x6247 -x6248 -x6249 x6250 x6251 -x6252 -x6253 -x6254 -x6255 -x6256 x6257 x6258 -x6259 -x6260 -x6261 -x6262 -x6263
3096.19/3104.59 v -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 x6282
3096.19/3104.59 v x6283 -x6284 -x6285 -x6286 -x6287 -x6288 x6289 x6290 x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 x6300 x6301 -x6302
3096.19/3104.59 v -x6303 -x6304 x6305 x6306 x6307 -x6308 -x6309 -x6310 -x6311 -x6312 x6313 x6314 x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322
3096.19/3104.59 v -x6323 x6324 x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341
3096.19/3104.59 v -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360
3096.19/3104.59 v x6361 x6362 x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379
3096.19/3104.59 v x6380 x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398
3096.19/3104.59 v -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 x6412 x6413 -x6414 -x6415 -x6416 -x6417
3096.19/3104.59 v -x6418 -x6419 x6420 x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 x6434 x6435 -x6436
3096.19/3104.59 v -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455
3096.19/3104.59 v -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474
3096.19/3104.59 v -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493
3096.19/3104.59 v -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512
3096.19/3104.59 v -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531
3096.19/3104.59 v -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550
3096.19/3104.59 v -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569
3096.19/3104.59 v -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588
3096.19/3104.59 v -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607
3096.19/3104.59 v -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626
3096.19/3104.59 v -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645
3096.19/3104.59 v -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664
3096.19/3104.59 v -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683
3096.19/3104.59 v -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702
3096.19/3104.59 v -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721
3096.19/3104.59 v -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740
3096.19/3104.59 v -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759
3096.19/3104.59 v -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778
3096.19/3104.59 v -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 x6791 x6792 -x6793 -x6794 -x6795 -x6796 -x6797
3096.19/3104.59 v -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 x6807 x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816
3096.19/3104.59 v -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835
3096.19/3104.59 v -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854
3096.19/3104.59 v -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 x6862 x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873
3096.19/3104.59 v -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 x6890 x6891 -x6892
3096.19/3104.59 v -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 x6902 x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911
3096.19/3104.59 v -x6912 -x6913 -x6914 -x6915 x6916 x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 x6924 x6925 x6926 -x6927 -x6928 -x6929 x6930 x6931
3096.19/3104.59 v -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 x6945 x6946 x6947 x6948 x6949 x6950 x6951
3096.19/3104.59 v x6952 x6953 x6954 x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970
3096.19/3104.59 v -x6971 -x6972 -x6973 -x6974 x6975 x6976 x6977 -x6978 x6979 -x6980 x6981 x6982 x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990
3096.19/3104.59 v -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 x6997 -x6998 -x6999 -x7000 x7001 x7002 -x7003 -x7004 -x7005 x7006 -x7007 x7008 x7009 -x7010
3096.19/3104.59 v x7011 x7012 -x7013 x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 x7026 -x7027 -x7028 -x7029
3096.19/3104.59 v x7030 -x7031 x7032 x7033 x7034 x7035 x7036 x7037 x7038 -x7039 -x7040 -x7041 x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049
3096.19/3104.59 v -x7050 -x7051 x7052 -x7053 -x7054 -x7055 -x7056 x7057 x7058 x7059 x7060 x7061 -x7062 x7063 x7064 -x7065 x7066 x7067 -x7068 -x7069
3096.19/3104.59 v -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 x7085 x7086 x7087 x7088
3096.19/3104.59 v x7089 x7090 x7091 x7092 x7093 x7094 x7095 -x7096 -x7097 -x7098 x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108
3096.19/3104.59 v x7109 -x7110 -x7111 -x7112 x7113 x7114 x7115 x7116 x7117 x7118 x7119 x7120 x7121 x7122 x7123 x7124 x7125 -x7126 -x7127 -x7128 -x7129
3096.19/3104.59 v -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 x7138 -x7139 -x7140 x7141 x7142 -x7143 -x7144 x7145 x7146 -x7147 -x7148
3096.19/3104.59 v x7149 x7150 x7151 -x7152 -x7153 x7154 x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 x7164 x7165 x7166 -x7167 -x7168
3096.19/3104.59 v x7169 -x7170 x7171 x7172 x7173 x7174 x7175 x7176 x7177 x7178 -x7179 -x7180 x7181 -x7182 x7183 -x7184 -x7185 -x7186 -x7187 -x7188
3096.19/3104.59 v -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 x7198 x7199 x7200 -x7201 -x7202 x7203 x7204 x7205 x7206 x7207 -x7208
3096.19/3104.59 v -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 x7221 -x7222 -x7223 -x7224 x7225 x7226 x7227
3096.19/3104.59 v x7228 -x7229 x7230 x7231 x7232 -x7233 -x7234 x7235 x7236 -x7237 x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247
3096.19/3104.59 v -x7248 -x7249 x7250 -x7251 -x7252 x7253 x7254 -x7255 x7256 x7257 x7258 x7259 x7260 x7261 x7262 x7263 -x7264 x7265 -x7266 -x7267
3096.19/3104.59 v -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 x7276 x7277 x7278 -x7279 x7280 x7281 x7282 x7283 x7284 x7285 x7286 x7287
3096.19/3104.59 v x7288 x7289 x7290 x7291 x7292 x7293 x7294 x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 x7304 x7305 x7306 -x7307
3096.19/3104.59 v -x7308 x7309 x7310 x7311 x7312 x7313 x7314 x7315 x7316 x7317 x7318 x7319 x7320 x7321 x7322 x7323 -x7324 -x7325 -x7326 -x7327 -x7328
3096.19/3104.59 v -x7329 -x7330 -x7331 x7332 x7333 x7334 -x7335 x7336 x7337 x7338 x7339 x7340 x7341 x7342 -x7343 x7344 x7345 x7346 x7347 x7348 -x7349
3096.19/3104.59 v -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 x7362 -x7363 -x7364 x7365 x7366 x7367 -x7368
3096.19/3104.59 v x7369 x7370 x7371 -x7372 x7373 x7374 -x7375 x7376 x7377 -x7378 x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 x7388
3096.19/3104.59 v -x7389 x7390 -x7391 -x7392 -x7393 -x7394 x7395 x7396 x7397 -x7398 -x7399 x7400 x7401 x7402 x7403 x7404 x7405 -x7406 -x7407 -x7408
3096.19/3104.59 v -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 x7417 -x7418 -x7419 -x7420 x7421 x7422 -x7423 x7424 -x7425 x7426 x7427 x7428
3096.19/3104.59 v -x7429 -x7430 x7431 -x7432 x7433 x7434 x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 x7445 -x7446 -x7447
3096.19/3104.59 v -x7448 x7449 -x7450 x7451 x7452 x7453 x7454 x7455 -x7456 x7457 x7458 x7459 x7460 x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467
3096.19/3104.59 v -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 x7477 x7478 x7479 x7480 x7481 x7482 x7483 x7484 x7485 x7486 x7487
3096.19/3104.59 v x7488 x7489 x7490 x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 x7501 -x7502 -x7503 -x7504 x7505 x7506 x7507
3096.19/3104.59 v x7508 x7509 x7510 x7511 x7512 x7513 x7514 x7515 x7516 x7517 x7518 x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527
3096.19/3104.59 v x7528 x7529 x7530 -x7531 x7532 x7533 x7534 -x7535 -x7536 x7537 x7538 x7539 x7540 x7541 x7542 x7543 x7544 x7545 x7546 x7547 -x7548
3096.19/3104.59 v -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 x7562 x7563 x7564 x7565 x7566 x7567 x7568
3096.19/3104.59 v x7569 x7570 -x7571 x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 x7584 x7585 x7586 -x7587 -x7588
3096.19/3104.59 v x7589 x7590 x7591 -x7592 x7593 -x7594 -x7595 x7596 -x7597 x7598 x7599 -x7600 x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608
3096.19/3104.59 v -x7609 -x7610 -x7611 x7612 x7613 -x7614 -x7615 -x7616 x7617 -x7618 x7619 x7620 x7621 -x7622 x7623 -x7624 x7625 x7626 -x7627 x7628
3096.19/3104.59 v -x7629 x7630 x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 x7640 -x7641 -x7642 -x7643 x7644 x7645 x7646 x7647 x7648
3096.19/3104.59 v -x7649 x7650 x7651 x7652 x7653 -x7654 x7655 x7656 -x7657 x7658 x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668
3096.19/3104.59 v -x7669 -x7670 -x7671 x7672 x7673 x7674 x7675 x7676 x7677 x7678 x7679 x7680 x7681 x7682 x7683 x7684 x7685 x7686 x7687 -x7688 -x7689
3096.19/3104.59 v -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 x7696 x7697 x7698 -x7699 -x7700 x7701 x7702 x7703 x7704 x7705 x7706 x7707 x7708 x7709
3096.19/3104.59 v x7710 x7711 x7712 x7713 x7714 x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 x7724 x7725 x7726 -x7727 x7728 x7729
3096.19/3104.59 v x7730 x7731 x7732 x7733 x7734 x7735 x7736 x7737 x7738 x7739 x7740 x7741 x7742 x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750
3096.19/3104.59 v -x7751 -x7752 x7753 -x7754 -x7755 x7756 -x7757 x7758 -x7759 x7760 x7761 x7762 x7763 x7764 x7765 x7766 x7767 -x7768 x7769 x7770 -x7771
3096.19/3104.59 v -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 x7780 -x7781 x7782 -x7783 x7784 -x7785 x7786 x7787 x7788 x7789 x7790 x7791
3096.19/3104.59 v x7792 x7793 x7794 x7795 -x7796 x7797 x7798 x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 x7809 -x7810 -x7811
3096.19/3104.59 v -x7812 x7813 x7814 x7815 x7816 x7817 x7818 x7819 x7820 x7821 x7822 x7823 x7824 x7825 x7826 x7827 x7841 x7842 x7843 x7844 x7845 x7846
3096.19/3104.59 v x7847 x7848 x7849 x7850 x7851 x7852 x7853 x7854 x7855 x7869 -x7870 -x7871 x7872 x7873 -x7874 -x7875 -x7876 -x7877 x7878 x7879 x7880
3096.19/3104.59 v -x7881 -x7882 x7883 -x7884 -x7885 -x7886 -x7887 x7888 x7889 -x7890 -x7891 x7892 x7893 x7894 -x7895 -x7896 -x7897 x7898 -x7899 -x7900
3096.19/3104.59 v -x7901 x7902 -x7903 -x7904 -x7905 x7906 -x7907 -x7908 -x7909 -x7910 -x7911 x7912 -x7913 x7914 x7915 -x7916 x7917 x7918 -x7919 -x7920
3096.19/3104.59 v x7921 -x7922 -x7923 x7924 -x7925 x7926 x7927 x7928 x7929 -x7930 x7931 -x7932 x7933 -x7934 -x7935 -x7936 x7937 x7938 x7939 -x7940
3096.19/3104.59 v -x7941 -x7942 -x7943 x7944 -x7945 -x7946 -x7947 -x7948 x7949 -x7950 -x7951 -x7952 x7953 x7954 -x7955 x7956 -x7957 -x7958 -x7959
3096.19/3104.59 v x7960 x7961 -x7962 x7963 x7964 -x7965 x7966 -x7967 x7968 -x7969 -x7970 x7971 -x7972 -x7973 x7974 -x7975 x7976 -x7977 x7978 x7979
3096.19/3104.59 v -x7980 -x7981 -x7982 -x7983 x7984 -x7985 -x7986 -x7987 -x7988 x7989 x7990 x7991 -x7992 -x7993 -x7994 x7995 x7996 -x7997 x7998 -x7999
3096.19/3104.59 v -x8000 -x8001 x8002 -x8003 x8004 x8005 x8006 -x8007 -x8008 x8009 x8010 -x8011 -x8012 -x8013 -x8014 -x8015 x8016 x8017 x8018 -x8019
3096.19/3104.59 v -x8020 -x8021 -x8022 x8023 x8024 -x8025 x8026 -x8027 -x8028 x8029 -x8030 x8031 x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039
3096.19/3104.59 v x8040 -x8041 -x8042 x8043 x8044 -x8045 x8046 x8047 -x8048 x8049 -x8050 x8051 -x8052 -x8053 x8054 x8055 x8056 -x8057 x8058 x8059
3096.19/3104.59 v -x8060 x8061 x8062 -x8063 -x8064 -x8065 -x8066 -x8067 x8068 -x8069 x8070 x8071 -x8072 -x8073 -x8074 x8075 -x8076 x8077 -x8078 x8079
3096.19/3104.59 v x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 x8089 -x8090 -x8091 -x8092 x8093 x8094 x8095 x8096 x8097 x8098 -x8099
3096.19/3104.59 v -x8100 x8101 x8102 x8103 -x8104 x8105 x8106 -x8107 x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 x8118 -x8119
3096.19/3104.59 v -x8120 -x8121 x8122 -x8123 x8124 x8125 x8126 -x8127 x8128 x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 x8136 -x8137 -x8138 -x8139
3096.19/3104.59 v x8140 -x8141 -x8142 -x8143 x8144 x8145 x8146 x8147 x8148 -x8149 -x8150 -x8151 x8152 x8153 x8154 x8155 -x8156 -x8157 x8158 -x8159
3096.19/3104.59 v -x8160 x8161 -x8162 x8163 -x8164 -x8165 x8166 x8167 -x8168 x8169 -x8170 x8171 -x8172 x8173 x8174 -x8175 -x8176 -x8177 -x8178 x8179
3096.19/3104.59 v -x8180 x8181 x8182 -x8183 x8184 -x8185 -x8186 x8187 x8188 x8189 -x8190 -x8191 x8192 -x8193 x8194 -x8195 -x8196 x8197 -x8198 x8199
3096.19/3104.59 v x8200 x8201 -x8202 -x8203 -x8204 x8205 -x8206 x8207 -x8208 -x8209 x8210 x8211 x8212 -x8213 -x8214 -x8215 -x8216 x8217 x8218 -x8219
3096.19/3104.59 v x8220 -x8221 -x8222 -x8223 x8224 x8225 -x8226 -x8227 -x8228 -x8229 x8230 x8231 -x8232 x8233 -x8234 x8235 x8236 x8237 -x8238 -x8239
3096.19/3104.59 v -x8240 x8241 -x8242 x8243 x8244 -x8245 -x8246 -x8247 -x8248 x8249 -x8250 x8251 -x8252 -x8253 -x8254 x8255 x8256 -x8257 -x8258 x8259
3096.19/3104.59 v -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 x8267 x8268 x8269 -x8270 -x8271 x8272 x8273 x8274 -x8275 -x8276 x8277 -x8278 -x8279
3096.19/3104.59 v x8280 -x8281 -x8282 -x8283 x8284 -x8285 -x8286 x8287 x8288 -x8289 -x8290 -x8291 x8292 -x8293 x8294 -x8295 -x8296 -x8297 -x8298 x8299
3096.19/3104.59 v x8300 -x8301 -x8302 x8303 -x8304 -x8305 x8306 -x8307 x8308 -x8309 x8310 -x8311 x8312 x8313 -x8314 -x8315 x8316 -x8317 -x8318 -x8319
3096.19/3104.59 v -x8320 -x8321 -x8322 -x8323 x8324 x8325 x8326 -x8327 -x8328 -x8329 -x8330 -x8331 x8332 x8333 -x8334 -x8335 -x8336 x8337 x8338 -x8339
3096.19/3104.59 v -x8340 -x8341 -x8342 -x8343 -x8344 x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 x8357 -x8358
3096.19/3104.59 v -x8359 -x8360 -x8361 -x8362 -x8363 x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 x8377
3096.19/3104.59 v -x8378 -x8379 -x8380 x8381 -x8382 -x8383 -x8384 -x8385 -x8386 x8387 -x8388 x8389 x8390 -x8391 -x8392 -x8393 -x8394 -x8395 x8396
3096.19/3104.59 v x8397 -x8398 -x8399 x8400 -x8401 -x8402 -x8403 x8404 -x8405 x8406 -x8407 -x8408 -x8409 x8410 x8411 x8412 -x8413 -x8414 -x8415 -x8416
3096.19/3104.59 v -x8417 -x8418 x8419 x8420 -x8421 x8422 -x8423 -x8424 -x8425 -x8426 -x8427 x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435
3096.19/3104.59 v -x8436 x8437 -x8438 -x8439 -x8440 x8441 x8442 -x8443 x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 x8451 -x8452 -x8453 -x8454
3096.19/3104.59 v -x8455 -x8456 x8457 -x8458 -x8459 x8460 x8461 x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 x8469 x8470 x8471 -x8472 -x8473 -x8474
3096.19/3104.59 v -x8475 -x8476 -x8477 x8478 x8479 x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 x8488 x8489 -x8490 -x8491 -x8492 -x8493
3096.19/3104.59 v -x8494 -x8495 x8496 x8497 -x8498 x8499 -x8500 -x8501 -x8502 -x8503 x8504 -x8505 x8506 x8507 x8508 -x8509 -x8510 -x8511 -x8512 -x8513
3096.19/3104.59 v -x8514 x8515 -x8516 x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 x8530 -x8531 -x8532
3096.19/3104.59 v x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 x8543 -x8544 x8545 -x8546 -x8547 -x8548 -x8549 -x8550 x8551
3096.19/3104.59 v -x8552 -x8553 x8554 x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 x8565 -x8566 -x8567 -x8568 -x8569 -x8570
3096.19/3104.59 v -x8571 -x8572 -x8573 x8574 -x8575 -x8576 x8577 x8578 x8579 x8580 x8581 x8582 x8583 -x8584 x8585 -x8586 -x8587 -x8588 -x8589 -x8590
3096.19/3104.59 v -x8591 -x8592 -x8593 x8594 x8595 -x8596 x8597 x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 x8606 x8607 -x8608 -x8609 -x8610
3096.19/3104.59 v -x8611 -x8612 x8613 x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 x8623 x8624 -x8625 -x8626 x8627 x8628 x8629 x8630
3096.19/3104.59 v -x8631 x8632 -x8633 -x8634 x8635 -x8636 x8637 -x8638 x8639 -x8640 x8641 -x8642 -x8643 -x8644 -x8645 -x8646 x8647 -x8648 -x8649 x8650
3096.19/3104.59 v x8651 -x8652 -x8653 x8654 x8655 -x8656 x8657 x8658 -x8659 x8660 -x8661 -x8662 x8663 x8664 -x8665 -x8666 x8667 -x8668 -x8669 -x8670
3096.19/3104.59 v -x8671 -x8672 x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689
3096.19/3104.59 v -x8690 -x8691 x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 x8706 -x8707 -x8708
3096.19/3104.59 v -x8709 -x8710 -x8711 -x8712 -x8713 x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 x8723 -x8724 -x8725 -x8726 -x8727
3096.19/3104.59 v -x8728 -x8729 x8730 -x8731 -x8732 -x8733 -x8734 x8735 -x8736 -x8737 -x8738 x8739 -x8740 -x8741 x8742 x8743 x8744 x8745 -x8746 -x8747
3096.19/3104.59 v -x8748 x8749 x8750 -x8751 x8752 x8753 x8754 x8755 -x8756 -x8757 x8758 x8759 -x8760 -x8761 -x8762 x8763 x8764 x8765 -x8766 x8767
3096.19/3104.59 v x8768 x8769 -x8770 x8771 x8772 x8773 -x8774 x8775 x8776 x8777 x8778 x8779 -x8780 x8781 -x8782 -x8783 -x8784 -x8785 -x8786 x8787
3096.19/3104.59 v x8788 -x8789 x8790 x8791 -x8792 x8793 -x8794 -x8795 -x8796 -x8797 x8798 -x8799 x8800 -x8801 x8802 x8803 x8804 -x8805 -x8806 -x8807
3096.19/3104.59 v x8808 x8809 -x8810 x8811 -x8812 x8813 x8814 x8815 -x8816 -x8817 x8818 x8819 -x8820 -x8821 -x8822 x8823 -x8824 x8825 x8826 x8827
3096.19/3104.59 v -x8828 -x8829 x8830 -x8831 -x8832 x8833 -x8834 x8835 -x8836 -x8837 x8838 -x8839 x8840 x8841 -x8842 x8843 -x8844 -x8845 -x8846 -x8847
3096.19/3104.59 v x8848 x8849 x8850 x8851 -x8852 x8853 x8854 x8855 x8856 -x8857 -x8858 -x8859 x8860 x8861 x8862 -x8863 -x8864 x8865 -x8866 x8867 x8868
3096.19/3104.59 v x8869 -x8870 -x8871 -x8872 -x8873 -x8874 x8875 x8876 -x8877 -x8878 x8879 x8880 x8881 x8882 x8883 -x8884 -x8885 -x8886 x8887 x8888
3096.19/3104.59 v x8889 x8890 -x8891 -x8892 -x8893 -x8894 x8895 -x8896 -x8897 x8898 -x8899 -x8900 x8901 x8902 x8903 x8904 x8905 x8906 x8907 -x8908
3096.19/3104.59 v x8909 x8910 -x8911 -x8912 x8913 -x8914 -x8915 -x8916 -x8917 x8918 -x8919 x8920 x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 x8928
3096.19/3104.59 v -x8929 -x8930 x8931 x8932 x8933 x8934 x8935 -x8936 -x8937 -x8938 -x8939 x8940 x8941 x8942 -x8943 x8944 -x8945 x8946 -x8947 -x8948
3096.19/3104.59 v x8949 x8950 x8951 x8952 x8953 x8954 x8955 x8956 -x8957 x8958 x8959 x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 x8967 x8968 -x8969
3096.19/3104.59 v -x8970 -x8971 x8972 -x8973 -x8974 x8975 -x8976 x8977 -x8978 x8979 x8980 x8981 x8982 x8983 x8984 x8985 -x8986 x8987 x8988 x8989 -x8990
3096.19/3104.59 v x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 x8998 x8999 x9000 x9001 -x9002 x9003 -x9004 x9005 x9006 x9007 -x9008 x9009 x9010
3096.19/3104.59 v x9011 -x9012 -x9013 -x9014 -x9015 -x9016 x9017 x9018 x9019 -x9020 -x9021 -x9022 -x9023 x9024 x9025 -x9026 x9027 x9028 -x9029 x9030
3096.19/3104.59 v -x9031 x9032 x9033 -x9034 -x9035 x9036 -x9037 x9038 -x9039 x9040 -x9041 -x9042 x9043 x9044 x9045 x9046 -x9047 x9048 -x9049 -x9050
3096.19/3104.59 v x9051 -x9052 x9053 x9054 -x9055 -x9056 -x9057 x9058 x9059 -x9060 x9061 -x9062 x9063 x9064 -x9065 x9066 -x9067 -x9068 -x9069 x9070
3096.19/3104.59 v x9071 x9072 -x9073 x9074 -x9075 x9076 x9077 -x9078 -x9079 -x9080 -x9081 x9082 x9083 x9084 -x9085 -x9086 x9087 -x9088 x9089 x9090
3096.19/3104.59 v x9091 -x9092 -x9093 x9094 -x9095 x9096 x9097 -x9098 -x9099 x9100 -x9101 x9102 -x9103 -x9104 -x9105 x9106 x9107 -x9108 -x9109 x9110
3096.19/3104.59 v -x9111 -x9112 -x9113 -x9114 x9115 -x9116 -x9117 -x9118 -x9119 x9120 x9121 x9122 -x9123 -x9124 x9125 x9126 -x9127 x9128 x9129 x9130
3096.19/3104.59 v -x9131 x9132 -x9133 x9134 -x9135 -x9136 -x9137 x9138 x9139 -x9140 -x9141 -x9142 x9143 -x9144 -x9145 x9146 x9147 -x9148 -x9149 x9150
3096.19/3104.59 v -x9151 -x9152 x9153 -x9154 -x9155 -x9156 x9157 -x9158 x9159 -x9160 x9161 -x9162 x9163 x9164 x9165 x9166 -x9167 -x9168 x9169 x9170
3096.19/3104.59 v -x9171 x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 x9179 -x9180 -x9181 -x9182 x9183 -x9184 x9185 x9186 -x9187 x9188 x9189 x9190
3096.19/3104.59 v x9191 -x9192 -x9193 -x9194 x9195 x9196 x9197 x9198 x9199 -x9200 -x9201 -x9202 x9203 x9204 -x9205 -x9206 -x9207 x9208 x9209 -x9210
3096.19/3104.59 v -x9211 x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 x9219 x9220 -x9221 x9222 -x9223 -x9224 -x9225 x9226 -x9227 -x9228 -x9229
3096.19/3104.59 v -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 x9246 x9247 -x9248
3096.19/3104.59 v -x9249 -x9250 x9251 x9252 -x9253 -x9254 -x9255 x9256 -x9257 -x9258 -x9259 x9260 -x9261 x9262 -x9263 -x9264 -x9265 -x9266 -x9267
3096.19/3104.59 v -x9268 x9269 x9270 x9271 -x9272 -x9273 -x9274 x9275 x9276 -x9277 -x9278 -x9279 -x9280 x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287
3096.19/3104.59 v -x9288 x9289 -x9290 x9291 x9292 x9293 x9294 x9295 -x9296 -x9297 -x9298 x9299 x9300 x9301 x9302 x9303 -x9304 -x9305 -x9306 -x9307
3096.19/3104.59 v x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 x9320 -x9321 -x9322 -x9323 x9324 -x9325 x9326
3096.19/3104.59 v x9327 -x9328 -x9329 -x9330 x9331 x9332 x9333 -x9334 x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 x9342 -x9343 -x9344 -x9345 -x9346
3096.19/3104.59 v -x9347 -x9348 x9349 -x9350 x9351 -x9352 -x9353 x9354 -x9355 -x9356 -x9357 -x9358 x9359 -x9360 x9361 -x9362 -x9363 -x9364 -x9365
3096.19/3104.59 v -x9366 -x9367 x9368 x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 x9378 -x9379 x9380 -x9381 x9382 -x9383 x9384 -x9385
3096.19/3104.59 v x9386 x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404
3096.19/3104.59 v x9405 -x9406 -x9407 -x9408 -x9409 x9410 -x9411 -x9412 -x9413 -x9414 -x9415 x9416 -x9417 -x9418 -x9419 x9420 -x9421 -x9422 -x9423
3096.19/3104.59 v x9424 -x9425 x9426 x9427 -x9428 -x9429 x9430 -x9431 x9432 -x9433 x9434 x9435 -x9436 -x9437 x9438 x9439 -x9440 x9441 -x9442 -x9443
3096.19/3104.59 v x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 x9455 -x9456 x9457 x9458 -x9459 -x9460 x9461 -x9462
3096.19/3104.59 v -x9463 -x9464 -x9465 -x9466 x9467 -x9468 x9469 x9470 x9471 x9472 x9473 -x9474 -x9475 x9476 x9477 -x9478 x9479 -x9480 -x9481 -x9482
3096.19/3104.59 v x9483 -x9484 x9485 x9486 -x9487 x9488 x9489 x9490 -x9491 -x9492 x9493 x9494 -x9495 -x9496 -x9497 -x9498 x9499 -x9500 x9501 -x9502
3096.19/3104.59 v -x9503 x9504 -x9505 x9506 -x9507 x9508 -x9509 x9510 x9511 x9512 x9513 x9514 -x9515 x9516 -x9517 -x9518 -x9519 x9520 x9521 -x9522
3096.19/3104.59 v -x9523 x9524 -x9525 -x9526 x9527 -x9528 -x9529 -x9530 -x9531 -x9532 x9533 x9534 -x9535 -x9536 x9537 x9538 x9539 x9540 -x9541 -x9542
3096.19/3104.59 v -x9543 -x9544 -x9545 -x9546 x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561
3096.19/3104.59 v -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 x9575 -x9576 -x9577 -x9578 -x9579 -x9580
3096.19/3104.59 v -x9581 -x9582 -x9583 x9584 x9585 -x9586 x9587 -x9588 -x9589 x9590 -x9591 -x9592 -x9593 x9594 -x9595 -x9596 -x9597 -x9598 x9599 -x9600
3096.19/3104.59 v x9601 x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619
3096.19/3104.59 v -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632
3096.19/3104.59 c SCIP Status : problem is solved [optimal solution found]
3096.19/3104.59 c Total Time : 3104.58
3096.19/3104.59 c solving : 3104.58
3096.19/3104.59 c presolving : 3.29 (included in solving)
3096.19/3104.59 c reading : 0.06 (included in solving)
3096.19/3104.59 c copying : 0.43 (11 #copies) (minimal 0.04, maximal 0.04, average 0.04)
3096.19/3104.59 c Original Problem :
3096.19/3104.59 c Problem name : HOME/instance-4508009-1751504822.opb
3096.19/3104.59 c Variables : 9632 (9632 binary, 0 integer, 0 continuous)
3096.19/3104.59 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3096.19/3104.59 c Constraints : 29620 initial, 29620 maximal
3096.19/3104.59 c Objective : minimize, 26 non-zeros (abs.min = 2, abs.max = 20)
3096.19/3104.59 c Presolved Problem :
3096.19/3104.59 c Problem name : t_HOME/instance-4508009-1751504822.opb
3096.19/3104.59 c Variables : 9561 (9561 binary, 0 integer, 0 continuous)
3096.19/3104.59 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3096.19/3104.59 c Constraints : 29074 initial, 29097 maximal
3096.19/3104.59 c Objective : minimize, 13 non-zeros (abs.min = 7, abs.max = 22)
3096.19/3104.59 c Nonzeros : 131000 constraint, 43882 clique table
3096.19/3104.59 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3096.19/3104.59 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c domcol : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c dualsparsify : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c gateextraction : 0.09 0.00 7 0 0 0 0 0 662 104 0 0
3096.19/3104.59 c implics : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c milp : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c sparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c trivial : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c dualfix : 0.00 0.00 14 58 0 0 0 0 0 0 0 0
3096.19/3104.59 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c probing : 2.30 0.00 1 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c symmetry : 0.20 0.00 1 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c vbounds : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c knapsack : 0.03 0.00 23 0 0 0 0 0 27 37 40 295
3096.19/3104.59 c setppc : 0.10 0.00 23 0 0 0 0 0 35 0 0 0
3096.19/3104.59 c and : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c linear : 0.15 0.01 21 0 13 0 0 0 1341 0 1744 2639
3096.19/3104.59 c logicor : 0.17 0.02 22 0 0 0 0 0 1060 0 0 1214
3096.19/3104.59 c components : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c root node : - - - 2823 - - 2823 - - - - -
3096.19/3104.59 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3096.19/3104.59 c integral : 0 0 0 0 1432 0 0 334 0 0 0 0 0 0 2864
3096.19/3104.59 c knapsack : 1237+ 1266 48 209619 0 0 0 327 2709 237 57097 30 8 0 0
3096.19/3104.59 c setppc : 16299+ 16398 48 209382 0 0 0 16 27820 343 459232 116 14 0 0
3096.19/3104.59 c and : 104 104 846 53477 0 0 0 10 44 0 2559 1314 778 0 0
3096.19/3104.59 c linear : 99+ 147 48 209039 0 0 0 19 280 127 436 0 0 0 0
3096.19/3104.59 c logicor : 11335+ 11347 48 127521 0 0 0 16 2210 600 1963 54 30 0 0
3096.19/3104.59 c fixedvar : 0 0 0 0 0 0 0 18 0 0 0 0 0 0 0
3096.19/3104.59 c countsols : 0 0 0 0 0 0 0 18 0 0 0 0 0 0 0
3096.19/3104.59 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3096.19/3104.59 c integral : 21.33 0.00 0.00 0.00 21.33 0.00 0.00 0.00 0.00 0.00
3096.19/3104.59 c knapsack : 1.54 0.00 0.54 0.98 0.00 0.00 0.00 0.01 0.00 0.00
3096.19/3104.59 c setppc : 1.81 0.00 0.04 1.74 0.00 0.00 0.00 0.01 0.01 0.00
3096.19/3104.59 c and : 0.10 0.00 0.04 0.06 0.00 0.00 0.00 0.00 0.00 0.00
3096.19/3104.59 c linear : 0.10 0.01 0.00 0.08 0.00 0.00 0.00 0.00 0.00 0.00
3096.19/3104.59 c logicor : 0.52 0.02 0.05 0.44 0.00 0.00 0.00 0.01 0.00 0.00
3096.19/3104.59 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3096.19/3104.59 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3096.19/3104.59 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3096.19/3104.59 c Propagators : #Propagate #ResProp Cutoffs DomReds
3096.19/3104.59 c dualfix : 2 0 0 0
3096.19/3104.59 c genvbounds : 0 0 0 0
3096.19/3104.59 c nlobbt : 0 0 0 0
3096.19/3104.59 c obbt : 0 0 0 0
3096.19/3104.59 c probing : 0 0 0 0
3096.19/3104.59 c pseudoobj : 8723 1200 7 777
3096.19/3104.59 c redcost : 4097 0 0 77
3096.19/3104.59 c rootredcost : 7 0 0 0
3096.19/3104.59 c symmetry : 3471 0 42 991
3096.19/3104.59 c vbounds : 109443 0 0 0
3096.19/3104.59 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3096.19/3104.59 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3096.19/3104.59 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3096.19/3104.59 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3096.19/3104.59 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3096.19/3104.59 c probing : 2.30 0.00 2.30 0.00 0.00 0.00
3096.19/3104.59 c pseudoobj : 0.07 0.00 0.00 0.07 0.01 0.00
3096.19/3104.59 c redcost : 0.72 0.00 0.00 0.72 0.00 0.00
3096.19/3104.59 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3096.19/3104.59 c symmetry : 0.26 0.00 0.20 0.05 0.00 0.00
3096.19/3104.59 c vbounds : 0.14 0.00 0.01 0.13 0.00 0.00
3096.19/3104.59 c Symmetry :
3096.19/3104.59 c #affected vars : 9219 (9219 bin, 0 int, 0 cont)
3096.19/3104.59 c orbitopal red. : 991 reductions applied, 42 cutoffs
3096.19/3104.59 c orbital reduction: 0 reductions applied, 0 cutoffs
3096.19/3104.59 c lexicographic red: 0 reductions applied, 0 cutoffs
3096.19/3104.59 c shadow tree time : 0.00 s
3096.19/3104.59 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3096.19/3104.59 c propagation : 0.03 1215 1170 - 4567 25.6 28 16.3 - - -
3096.19/3104.59 c infeasible LP : 0.24 216 216 - 1268 29.9 15 9.0 216 37.3 0
3096.19/3104.59 c bound exceed. LP : 0.30 71 71 - 116 24.4 4 12.2 71 30.9 340
3096.19/3104.59 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3096.19/3104.59 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3096.19/3104.59 c applied globally : 0.02 - - 0 4062 25.6 - - 287 - -
3096.19/3104.59 c applied locally : - - - 0 0 0.0 - - 0 - -
3096.19/3104.59 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3096.19/3104.59 c cut pool : 0.28 - 533 94 - - 10068 111840 - - - - - (maximal pool size: 4567)
3096.19/3104.59 c aggregation : 0.56 0.00 86 48 0 0 18 27 0 11 11 0 0
3096.19/3104.59 c > cmir : - - - - - - - 25 0 9 9 0 -
3096.19/3104.59 c > flowcover : - - - - - - - 1 0 1 1 0 -
3096.19/3104.59 c > knapsackcover : - - - - - - - 1 0 1 1 0 -
3096.19/3104.59 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c clique : 4.32 0.00 48 48 0 0 244 3986 0 1662 1662 0 0
3096.19/3104.59 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c gomory : 13.50 0.00 58 20 0 0 5921 63694 0 20479 20479 0 0
3096.19/3104.59 c > gomorymi : - - - - - - - 5533 0 606 606 0 -
3096.19/3104.59 c > strongcg : - - - - - - - 58161 0 19873 19873 0 -
3096.19/3104.59 c impliedbounds : 0.08 0.00 86 48 0 0 506 3859 0 2052 2052 0 0
3096.19/3104.59 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c mcf : 0.02 0.00 2 2 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c multilinear : 0.00 0.00 187 48 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3096.19/3104.59 c zerohalf : 2.49 0.00 78 40 0 0 3379 40274 0 16345 16345 0 0
3096.19/3104.59 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3096.19/3104.59 c hybrid : 0.20 0.00 764 48 41379 0 71975 4005 0 4985
3096.19/3104.59 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3096.19/3104.59 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3096.19/3104.59 c Pricers : ExecTime SetupTime Calls Vars
3096.19/3104.59 c problem variables: 0.00 - 0 0
3096.19/3104.59 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3096.19/3104.59 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3096.19/3104.59 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3096.19/3104.59 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3096.19/3104.59 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3096.19/3104.59 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3096.19/3104.59 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3096.19/3104.59 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3096.19/3104.59 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3096.19/3104.59 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3096.19/3104.59 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3096.19/3104.59 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3096.19/3104.59 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3096.19/3104.59 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3096.19/3104.59 c relpscost : 21.33 0.00 1432 0 0 0 0 0 0 2864
3096.19/3104.59 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3096.19/3104.59 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3096.19/3104.59 c LP solutions : 0.00 - - 0 0
3096.19/3104.59 c relax solutions : 0.00 - - 0 0
3096.19/3104.59 c pseudo solutions : 0.00 - - 0 0
3096.19/3104.59 c strong branching : 0.00 - - 0 0
3096.19/3104.59 c actconsdiving : 0.00 0.00 0 0 0
3096.19/3104.59 c adaptivediving : 39.13 0.00 6 0 0
3096.19/3104.59 c alns : 0.53 0.00 5 0 0
3096.19/3104.59 c bound : 0.00 0.00 0 0 0
3096.19/3104.59 c clique : 0.06 0.00 1 0 0
3096.19/3104.59 c coefdiving : 0.00 0.00 0 0 0
3096.19/3104.59 c completesol : 0.00 0.00 0 0 0
3096.19/3104.59 c conflictdiving : 203.36 0.00 65 0 0
3096.19/3104.59 c crossover : 1.46 0.00 2 0 0
3096.19/3104.59 c dins : 0.00 0.00 0 0 0
3096.19/3104.59 c distributiondivin: 156.65 0.00 25 0 0
3096.19/3104.59 c dks : 0.00 0.00 0 0 0
3096.19/3104.59 c dps : 0.00 0.00 0 0 0
3096.19/3104.59 c dualval : 0.00 0.00 0 0 0
3096.19/3104.59 c farkasdiving : 174.53 0.00 2 0 0
3096.19/3104.59 c feaspump : 31.68 0.00 5 0 0
3096.19/3104.59 c fixandinfer : 0.00 0.00 0 0 0
3096.19/3104.59 c fracdiving : 129.86 0.00 18 0 0
3096.19/3104.59 c gins : 0.01 0.00 0 0 0
3096.19/3104.59 c guideddiving : 176.87 0.00 27 2 2
3096.19/3104.59 c indicator : 0.00 0.00 0 0 0
3096.19/3104.59 c indicatordiving : 0.00 0.00 0 0 0
3096.19/3104.59 c intdiving : 0.00 0.00 0 0 0
3096.19/3104.59 c intshifting : 0.00 0.00 0 0 0
3096.19/3104.59 c linesearchdiving : 114.78 0.00 19 0 0
3096.19/3104.59 c localbranching : 0.00 0.00 0 0 0
3096.19/3104.59 c locks : 0.00 0.00 1 0 0
3096.19/3104.59 c lpface : 0.00 0.00 0 0 0
3096.19/3104.59 c mpec : 0.00 0.00 0 0 0
3096.19/3104.59 c multistart : 0.00 0.00 0 0 0
3096.19/3104.59 c mutation : 0.00 0.00 0 0 0
3096.19/3104.59 c nlpdiving : 0.00 0.00 0 0 0
3096.19/3104.59 c objpscostdiving : 679.75 0.00 14 7 2
3096.19/3104.59 c octane : 0.00 0.00 0 0 0
3096.19/3104.59 c ofins : 0.00 0.00 0 0 0
3096.19/3104.59 c oneopt : 0.02 0.00 5 0 0
3096.19/3104.59 c padm : 0.00 0.00 0 0 0
3096.19/3104.59 c proximity : 0.00 0.00 0 0 0
3096.19/3104.59 c pscostdiving : 169.41 0.00 16 0 0
3096.19/3104.59 c randrounding : 0.47 0.00 352 0 0
3096.19/3104.59 c rens : 42.16 0.00 2 0 0
3096.19/3104.59 c reoptsols : 0.00 0.00 0 0 0
3096.19/3104.59 c repair : 0.00 0.00 0 0 0
3096.19/3104.59 c rins : 24.76 0.00 2 1 1
3096.19/3104.59 c rootsoldiving : 31.05 0.00 3 0 0
3096.19/3104.59 c rounding : 0.56 0.00 604 0 0
3096.19/3104.59 c scheduler : 0.00 0.00 0 0 0
3096.19/3104.59 c shiftandpropagate: 0.05 0.00 1 0 0
3096.19/3104.59 c shifting : 2.73 0.00 297 0 0
3096.19/3104.59 c simplerounding : 0.02 0.00 2249 0 0
3096.19/3104.59 c subnlp : 0.00 0.00 0 0 0
3096.19/3104.59 c trivial : 0.01 0.00 4 0 0
3096.19/3104.59 c trivialnegation : 0.00 0.00 0 0 0
3096.19/3104.59 c trustregion : 0.00 0.00 0 0 0
3096.19/3104.59 c trysol : 0.00 0.00 0 0 0
3096.19/3104.59 c twoopt : 0.00 0.00 0 0 0
3096.19/3104.59 c undercover : 0.00 0.00 1 0 0
3096.19/3104.59 c vbounds : 0.07 0.00 2 0 0
3096.19/3104.59 c veclendiving : 133.55 0.00 26 0 0
3096.19/3104.59 c zeroobj : 0.00 0.00 0 0 0
3096.19/3104.59 c zirounding : 1.51 0.00 1000 0 0
3096.19/3104.59 c other solutions : - - - 0 -
3096.19/3104.59 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3096.19/3104.59 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
3096.19/3104.59 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
3096.19/3104.59 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
3096.19/3104.59 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
3096.19/3104.59 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
3096.19/3104.59 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
3096.19/3104.59 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
3096.19/3104.59 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
3096.19/3104.59 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
3096.19/3104.59 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3096.19/3104.59 c primal LP : 1.25 269 0 0.00 0.00 1.25 269
3096.19/3104.59 c dual LP : 928.20 2531 1926559 778.41 2075.57 0.29 56
3096.19/3104.59 c lex dual LP : 0.00 0 0 0.00 -
3096.19/3104.59 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3096.19/3104.59 c resolve instable : 0.00 0 0 0.00 -
3096.19/3104.59 c diving/probing LP: 2012.42 4468 2024126 453.03 1005.82
3096.19/3104.59 c strong branching : 18.24 45 34934 776.31 1914.86 - - 56
3096.19/3104.59 c (at root node) : - 45 34934 776.31 -
3096.19/3104.59 c conflict analysis: 0.20 34 340 10.00 1661.54
3096.19/3104.59 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3096.19/3104.59 c benders : 0.00 0 0 0 0.00 0 0 0
3096.19/3104.59 c B&B Tree :
3096.19/3104.59 c number of runs : 2
3096.19/3104.59 c nodes : 905 (569 internal, 336 leaves)
3096.19/3104.59 c feasible leaves : 0
3096.19/3104.59 c infeas. leaves : 192
3096.19/3104.59 c objective leaves : 144
3096.19/3104.59 c nodes (total) : 1880 (1432 internal, 448 leaves)
3096.19/3104.59 c nodes left : 0
3096.19/3104.59 c max depth : 29
3096.19/3104.59 c max depth (total): 33
3096.19/3104.59 c backtracks : 361 (39.9%)
3096.19/3104.59 c early backtracks : 0 (0.0%)
3096.19/3104.59 c nodes exc. ref. : 0 (0.0%)
3096.19/3104.59 c delayed cutoffs : 234
3096.19/3104.59 c repropagations : 436 (52357 domain reductions, 78 cutoffs)
3096.19/3104.59 c avg switch length: 6.64
3096.19/3104.59 c switching time : 3.13
3096.19/3104.59 c Root Node :
3096.19/3104.59 c First LP value : +0.00000000000000e+00
3096.19/3104.59 c First LP Iters : 18506 (2588.80 Iter/sec)
3096.19/3104.59 c First LP Time : 7.15
3096.19/3104.59 c Final Dual Bound : -
3096.19/3104.59 c Final Root Iters : 170465
3096.19/3104.59 c Root LP Estimate : +4.20123444068296e+01
3096.19/3104.59 c Solution :
3096.19/3104.59 c Solutions found : 10 (5 improvements)
3096.19/3104.59 c First Solution : +1.32000000000000e+02 (in run 1, after 14 nodes, 394.04 seconds, depth 6, found by <objpscostdiving>)
3096.19/3104.59 c Gap First Sol. : 1550.00 %
3096.19/3104.59 c Gap Last Sol. : 290.91 %
3096.19/3104.59 c Primal Bound : +4.30000000000000e+01 (in run 1, after 422 nodes, 1302.15 seconds, depth 9, found by <rins>)
3096.19/3104.59 c Dual Bound : +4.30000000000000e+01
3096.19/3104.59 c Gap : 0.00 %
3096.19/3104.59 c Integrals : Total Avg%
3096.19/3104.59 c primal-dual : 221585.82 71.37
3096.19/3104.59 c primal-ref : - - (not evaluated)
3096.19/3104.59 c dual-ref : - - (not evaluated)
3096.28/3104.69 c Time complete (sec): 3096.389
OK 43
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: 63708 MiB (60129 MiB free)
memory of node 1: 64465 MiB (61314 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508009-1751504822/watcher-4508009-1751504822 -o /tmp/evaluation-result-4508009-1751504822/solver-4508009-1751504822 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751504822-71017 --watchdog 3760 pbsolver -f HOME/instance-4508009-1751504822.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=71064, runsolver pid=71055
[startup+0.100065 s]*
/proc/loadavg: 3.77 4.02 4.06 5/265 71073
/proc/meminfo: memFree=124155116/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=72028 memory=63024 CPUtime=0.09 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 13779 0 0 0 7 2 0 0 20 0 1 0 66156720 73756672 15756 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 18007 15756 2368 2575 0 14914 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 72028 KiB
Current children cumulated memory: 63024 KiB
[startup+0.205663 s]*
/proc/loadavg: 3.79 4.02 4.06 5/265 71073
/proc/meminfo: memFree=124018152/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=106396 memory=94456 CPUtime=0.19 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 22950 0 0 0 16 3 0 0 20 0 1 0 66156720 108949504 23614 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 26599 23614 2464 2575 0 23506 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 106396 KiB
Current children cumulated memory: 94456 KiB
[startup+0.305666 s]*
/proc/loadavg: 3.79 4.02 4.06 5/265 71073
/proc/meminfo: memFree=124010088/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=109832 memory=99228 CPUtime=0.3 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 26044 0 0 0 26 4 0 0 20 0 1 0 66156720 112467968 24807 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 27458 24807 2496 2575 0 24365 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 109832 KiB
Current children cumulated memory: 99228 KiB
[startup+0.70017 s]
/proc/loadavg: 3.79 4.02 4.06 5/265 71073
/proc/meminfo: memFree=123998748/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=118832 memory=107812 CPUtime=0.68 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 28853 0 0 0 64 4 0 0 20 0 1 0 66156720 121683968 26953 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 29708 26953 2592 2575 0 26615 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 118832 KiB
Current children cumulated memory: 107812 KiB
[startup+1.50016 s]
/proc/loadavg: 3.79 4.02 4.06 5/265 71073
/proc/meminfo: memFree=123997556/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=120128 memory=109092 CPUtime=1.48 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 29179 0 0 0 144 4 0 0 20 0 1 0 66156720 123011072 27273 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 30032 27273 2592 2575 0 26939 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 120128 KiB
Current children cumulated memory: 109092 KiB
[startup+3.10579 s]
/proc/loadavg: 3.79 4.02 4.06 5/265 71073
/proc/meminfo: memFree=123750652/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=210928 memory=174844 CPUtime=3.08 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 45319 0 0 0 302 6 0 0 20 0 1 0 66156720 215990272 43711 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 52732 43711 2592 2575 0 49639 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 210928 KiB
Current children cumulated memory: 174844 KiB
[startup+6.30014 s]
/proc/loadavg: 3.80 4.02 4.06 5/265 71073
/proc/meminfo: memFree=123542092/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=253096 memory=215944 CPUtime=6.26 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 55947 0 0 0 618 8 0 0 20 0 1 0 66156720 259170304 53986 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 63274 53986 2656 2575 0 60181 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 253096 KiB
Current children cumulated memory: 215944 KiB
[startup+12.7001 s]
/proc/loadavg: 3.82 4.02 4.06 5/265 71073
/proc/meminfo: memFree=123542156/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=253692 memory=216712 CPUtime=12.64 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 56144 0 0 0 1256 8 0 0 20 0 1 0 66156720 259780608 54178 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 63423 54178 2656 2575 0 60330 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 253692 KiB
Current children cumulated memory: 216712 KiB
[startup+25.5001 s]
/proc/loadavg: 3.85 4.02 4.06 5/265 71073
/proc/meminfo: memFree=123528956/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=293012 memory=247040 CPUtime=25.42 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 59872 0 0 0 2532 10 0 0 20 0 1 0 66156720 300044288 61760 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 73253 61760 2688 2575 0 70160 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 293012 KiB
Current children cumulated memory: 247040 KiB
[startup+51.1055 s]
/proc/loadavg: 3.97 4.03 4.07 5/266 71075
/proc/meminfo: memFree=123431224/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=358724 memory=269696 CPUtime=50.95 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 65543 0 0 0 5084 11 0 0 20 0 1 0 66156720 367333376 67424 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 89681 67424 2688 2575 0 86588 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 358724 KiB
Current children cumulated memory: 269696 KiB
[startup+102.3 s]
/proc/loadavg: 3.99 4.02 4.06 5/266 71076
/proc/meminfo: memFree=123401216/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=359028 memory=269952 CPUtime=102.01 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 65598 0 0 0 10190 11 0 0 20 0 1 0 66156720 367644672 67488 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 89757 67488 2688 2575 0 86664 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 359028 KiB
Current children cumulated memory: 269952 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.05 4.07 5/264 71078
/proc/meminfo: memFree=123271532/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=430704 memory=337920 CPUtime=161.85 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 82610 0 0 0 16171 14 0 0 20 0 1 0 66156720 441040896 84480 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 107676 84480 2688 2575 0 104583 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 430704 KiB
Current children cumulated memory: 337920 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.05 4.07 5/264 71080
/proc/meminfo: memFree=123235504/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=434688 memory=342272 CPUtime=221.69 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 83691 0 0 0 22155 14 0 0 20 0 1 0 66156720 445120512 85568 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 108672 85568 2688 2575 0 105579 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 434688 KiB
Current children cumulated memory: 342272 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.06 4.07 5/264 71082
/proc/meminfo: memFree=123113316/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=434688 memory=342400 CPUtime=281.52 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 83756 0 0 0 28138 14 0 0 20 0 1 0 66156720 445120512 85600 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 108672 85600 2688 2575 0 105579 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 434688 KiB
Current children cumulated memory: 342400 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.06 4.07 5/264 71084
/proc/meminfo: memFree=123100832/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=434688 memory=343296 CPUtime=341.37 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 83758 0 0 0 34122 15 0 0 20 0 1 0 66156720 445120512 85824 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 108672 85824 2688 2575 0 105579 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 434688 KiB
Current children cumulated memory: 343296 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.08 4.07 5/264 71087
/proc/meminfo: memFree=123040412/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=434688 memory=355200 CPUtime=401.21 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 83836 0 0 0 40106 15 0 0 20 0 1 0 66156720 445120512 88800 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 108672 88800 2688 2575 0 105579 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 434688 KiB
Current children cumulated memory: 355200 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.08 4.07 5/265 71092
/proc/meminfo: memFree=123031316/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=434688 memory=379520 CPUtime=461.05 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 83868 0 0 0 46090 15 0 0 20 0 1 0 66156720 445120512 94880 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 108672 94880 2688 2575 0 105579 0
Current children cumulated CPU time: 461.05 s
################
# More data... #
################
/proc/loadavg: 4.12 4.10 4.09 5/265 71240
/proc/meminfo: memFree=122611220/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=589468 memory=540512 CPUtime=2495.56 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 126155 0 0 0 249535 21 0 0 20 0 1 0 66156720 603615232 135128 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 147367 135128 2688 2575 0 144274 0
Current children cumulated CPU time: 2495.56 s
Current children cumulated vsize: 589468 KiB
Current children cumulated memory: 540512 KiB
[startup+2562.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 71241
/proc/meminfo: memFree=122610804/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=589468 memory=540512 CPUtime=2555.41 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 126163 0 0 0 255520 21 0 0 20 0 1 0 66156720 603615232 135128 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 147367 135128 2688 2575 0 144274 0
Current children cumulated CPU time: 2555.41 s
Current children cumulated vsize: 589468 KiB
Current children cumulated memory: 540512 KiB
[startup+2622.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 71243
/proc/meminfo: memFree=122610788/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=589468 memory=540512 CPUtime=2615.25 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 126163 0 0 0 261504 21 0 0 20 0 1 0 66156720 603615232 135128 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 147367 135128 2688 2575 0 144274 0
Current children cumulated CPU time: 2615.25 s
Current children cumulated vsize: 589468 KiB
Current children cumulated memory: 540512 KiB
[startup+2682.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 71245
/proc/meminfo: memFree=122610476/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=589468 memory=540512 CPUtime=2675.1 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 126165 0 0 0 267489 21 0 0 20 0 1 0 66156720 603615232 135128 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 147367 135128 2688 2575 0 144274 0
Current children cumulated CPU time: 2675.1 s
Current children cumulated vsize: 589468 KiB
Current children cumulated memory: 540512 KiB
[startup+2742.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/263 71247
/proc/meminfo: memFree=122610620/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=589468 memory=540512 CPUtime=2734.94 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 126169 0 0 0 273473 21 0 0 20 0 1 0 66156720 603615232 135128 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 147367 135128 2688 2575 0 144274 0
Current children cumulated CPU time: 2734.94 s
Current children cumulated vsize: 589468 KiB
Current children cumulated memory: 540512 KiB
[startup+2802.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 71249
/proc/meminfo: memFree=122610508/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=589468 memory=540640 CPUtime=2794.78 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 126316 0 0 0 279457 21 0 0 20 0 1 0 66156720 603615232 135160 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 147367 135160 2688 2575 0 144274 0
Current children cumulated CPU time: 2794.78 s
Current children cumulated vsize: 589468 KiB
Current children cumulated memory: 540640 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 71254
/proc/meminfo: memFree=122603684/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=589468 memory=546016 CPUtime=2854.63 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 126339 0 0 0 285442 21 0 0 20 0 1 0 66156720 603615232 136504 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 147367 136504 2688 2575 0 144274 0
Current children cumulated CPU time: 2854.63 s
Current children cumulated vsize: 589468 KiB
Current children cumulated memory: 546016 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 71256
/proc/meminfo: memFree=122544164/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=589468 memory=558688 CPUtime=2914.47 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 126474 0 0 0 291426 21 0 0 20 0 1 0 66156720 603615232 139672 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 147367 139672 2688 2575 0 144274 0
Current children cumulated CPU time: 2914.47 s
Current children cumulated vsize: 589468 KiB
Current children cumulated memory: 558688 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 71258
/proc/meminfo: memFree=122545420/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=589468 memory=558688 CPUtime=2974.31 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 126482 0 0 0 297410 21 0 0 20 0 1 0 66156720 603615232 139672 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 147367 139672 2688 2575 0 144274 0
Current children cumulated CPU time: 2974.31 s
Current children cumulated vsize: 589468 KiB
Current children cumulated memory: 558688 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 71265
/proc/meminfo: memFree=122449804/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=655584 memory=624736 CPUtime=3034.16 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 143001 0 0 0 303392 24 0 0 20 0 1 0 66156720 671318016 156184 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 163896 156184 2688 2575 0 160803 0
Current children cumulated CPU time: 3034.16 s
Current children cumulated vsize: 655584 KiB
Current children cumulated memory: 624736 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 71267
/proc/meminfo: memFree=122457260/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=655584 memory=624736 CPUtime=3093.99 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 143014 0 0 0 309375 24 0 0 20 0 1 0 66156720 671318016 156184 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 163896 156184 2688 2575 0 160803 0
Current children cumulated CPU time: 3093.99 s
Current children cumulated vsize: 655584 KiB
Current children cumulated memory: 624736 KiB
[startup+3104.7 s]
# the end of solver process 71064 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3096.14 s, system=0.253237 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3102.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 71267
/proc/meminfo: memFree=122457260/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=655584 memory=624736 CPUtime=3094.09 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 143014 0 0 0 309385 24 0 0 20 0 1 0 66156720 671318016 156184 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 163896 156184 2688 2575 0 160803 0
Current children cumulated CPU time: 3094.09 s
Current children cumulated vsize: 655584 KiB
Current children cumulated memory: 624736 KiB
[startup+3104 s]*
/proc/loadavg: 4.13 4.10 4.09 5/264 71267
/proc/meminfo: memFree=122433068/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=655584 memory=624736 CPUtime=3095.69 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 143014 0 0 0 309545 24 0 0 20 0 1 0 66156720 671318016 156184 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 163896 156184 2688 2575 0 160803 0
Current children cumulated CPU time: 3095.69 s
Current children cumulated vsize: 655584 KiB
Current children cumulated memory: 624736 KiB
[startup+3104.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 71267
/proc/meminfo: memFree=122433068/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=655584 memory=624736 CPUtime=3096.09 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 143014 0 0 0 309585 24 0 0 20 0 1 0 66156720 671318016 156184 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 163896 156184 2688 2575 0 160803 0
Current children cumulated CPU time: 3096.09 s
Current children cumulated vsize: 655584 KiB
Current children cumulated memory: 624736 KiB
[startup+3104.6 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 71267
/proc/meminfo: memFree=122433068/131249992 swapFree=33010160/33010684
[pid=71064] ppid=71055 vsize=638208 memory=607448 CPUtime=3096.28 cores=5,7
/proc/71064/stat : 71064 (pbsolver) R 71055 71064 71004 0 -1 4194304 143019 0 0 0 309604 24 0 0 20 0 1 0 66156720 653524992 151862 18446744073709551615 4198400 14743177 140723297907472 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 46645248 140723297909130 140723297909226 140723297909226 140723297914828 0
/proc/71064/statm: 159552 151862 2688 2575 0 156459 0
Current children cumulated CPU time: 3096.28 s
Current children cumulated vsize: 638208 KiB
Current children cumulated memory: 607448 KiB
Child status: 0
Real time (s): 3104.7
CPU time (s): 3096.4
CPU user time (s): 3096.14
CPU system time (s): 0.253237
CPU usage (%): 99.7324
Max. virtual memory (cumulated for all children) (KiB): 655584
Max. memory (cumulated for all children) (KiB): 624736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3096.14
system time used= 0.253237
maximum resident set size= 624736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143079
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= 28
involuntary context switches= 16407
# summary of solver processes directly reported to runsolver:
# pid: 71064
# total CPU time (s): 3096.4
# total CPU user time (s): 3096.14
# total CPU system time (s): 0.253237
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.97461 second user time and 11.8924 second system time
The end
Begin job on nodeC035 at 2025-07-03 03:07:02 IDJOB=4508009 IDBENCH=158391 IDSOLVER=3366 FILE ID=nodeC035/4508009-1751504822 RUNJOBID= nodeC035-1751504822-71017 SLURM_JOB_ID= 9598596 Free space on /tmp= 432816 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-may6.5.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508009-1751504822/watcher-4508009-1751504822 -o /tmp/evaluation-result-4508009-1751504822/solver-4508009-1751504822 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751504822-71017 --watchdog 3760 pbsolver -f HOME/instance-4508009-1751504822.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 76e67d27ce5ae72e711eb5f869f0e7e5 RANDOM SEED=1908742041 nodeC035 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 : 3603.042 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.51 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 : 3601.411 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.51 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 : 3599.755 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.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.878 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.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.672 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 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 : 3600.382 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.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.962 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.51 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 : 3510.645 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.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 124374324 kB MemAvailable: 129737540 kB Buffers: 1840 kB Cached: 6114144 kB SwapCached: 8 kB Active: 359252 kB Inactive: 5821988 kB Active(anon): 71716 kB Inactive(anon): 11588 kB Active(file): 287536 kB Inactive(file): 5810400 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 63908 kB Writeback: 8 kB AnonPages: 68340 kB Mapped: 104060 kB Shmem: 18048 kB KReclaimable: 209040 kB Slab: 299588 kB SReclaimable: 209040 kB SUnreclaim: 90548 kB KernelStack: 4080 kB PageTables: 2844 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 330936 kB VmallocTotal: 34359738367 kB VmallocUsed: 150392 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432756 MiB End job on nodeC035 at 2025-07-03 03:58:47