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 | 4241631 | 1381.91 | 1386.15 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_0.opb |
| MD5SUM | 26289d562a21d461fc03dcfb0c556d93 |
| 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 | 4241631 |
| Best CPU time to get the best result obtained on this benchmark | 686.735 |
| 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 | 9940 |
| Total number of constraints | 14846 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14700 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2415 |
| Number of terms in the objective function | 9730 |
| Biggest coefficient in the objective function | 134217728 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 100330219838 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 134217728 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 100330219838 |
| Number of bits of the biggest sum of numbers | 37 |
| 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-4504215-1751485733.opb>
0.00/0.04 c original problem has 9940 variables (9940 bin, 0 int, 0 cont) and 14846 constraints
0.00/0.04 c problem read in 0.037 seconds
0.00/0.07 c presolving:
0.08/0.12 c (round 1, fast) 4970 del vars, 9662 del conss, 0 add conss, 140 chg bounds, 2415 chg sides, 2415 chg coeffs, 0 upgd conss, 0 impls, 71 clqs
0.08/0.14 c (0.1s) running MILP presolver
0.08/0.15 c (0.2s) MILP presolver found nothing
0.08/0.18 c (round 2, exhaustive) 4970 del vars, 9662 del conss, 0 add conss, 140 chg bounds, 2415 chg sides, 2415 chg coeffs, 5181 upgd conss, 0 impls, 71 clqs
0.29/0.32 c (0.3s) probing: 51/4970 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.32 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.29/0.37 c (0.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.29/0.38 c (0.4s) no symmetry present (symcode time: 0.00)
0.29/0.39 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
0.29/0.39 c 4970 deleted vars, 9662 deleted constraints, 0 added constraints, 140 tightened bounds, 0 added holes, 2415 changed sides, 2415 changed coefficients
0.29/0.39 c 0 implications, 71 cliques
0.29/0.39 c presolved problem has 4970 variables (4970 bin, 0 int, 0 cont) and 5184 constraints
0.29/0.39 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.29/0.39 c 2625 constraints of type <knapsack>
0.29/0.39 c 71 constraints of type <setppc>
0.29/0.39 c 3 constraints of type <linear>
0.29/0.39 c 2485 constraints of type <logicor>
0.29/0.39 c transformed objective value is always integral (scale: 2)
0.29/0.39 c Presolving Time: 0.32
0.29/0.39 c
0.29/0.39 c - non default parameters ----------------------------------------------------------------------
0.29/0.39 c
0.29/0.39 c # SCIP version 10.0.0
0.29/0.39 c
0.29/0.39 c # maximal time in seconds to run
0.29/0.39 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.29/0.39 c limits/time = 3596.998009
0.29/0.39 c
0.29/0.39 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.39 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.29/0.39 c limits/memory = 27900
0.29/0.39 c
0.29/0.39 c # belongs reading time to solving time?
0.29/0.39 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.29/0.39 c timing/reading = TRUE
0.29/0.39 c
0.29/0.39 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.29/0.39 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.29/0.39 c reading/opbreader/maxintsize = 47
0.29/0.39 c
0.29/0.39 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.29/0.39 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.29/0.39 c propagating/genvbounds/timingmask = 0
0.29/0.39 c
0.29/0.39 c -----------------------------------------------------------------------------------------------
0.29/0.39 c
0.39/0.43 o 208946847
0.39/0.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.39/0.43 c p 0.4s| 1 | 0 | 70 | - | clique| 0 |4970 |5184 |5184 | 0 | 0 | 0 | 0 |-3.000000e+00 | 2.089468e+08 | Inf | unknown
1.98/2.09 c 2.1s| 1 | 0 | 7186 | - | 98M | 0 |4970 |5184 |5184 | 0 | 0 | 17 | 0 | 1.916938e+06 | 2.089468e+08 | Large | unknown
1.98/2.10 c 2.1s| 1 | 0 | 7186 | - | 98M | 0 |4970 |5185 |5166 | 0 | 0 | 18 | 0 | 1.916938e+06 | 2.089468e+08 | Large | unknown
2.37/2.40 c 2.4s| 1 | 0 | 7927 | - | 102M | 0 |4970 |5185 |5183 | 17 | 1 | 18 | 0 | 1.994770e+06 | 2.089468e+08 | Large | unknown
2.57/2.69 c 2.7s| 1 | 0 | 8548 | - | 102M | 0 |4970 |5186 |5189 | 23 | 2 | 19 | 0 | 2.020070e+06 | 2.089468e+08 | Large | unknown
2.98/3.02 c 3.0s| 1 | 0 | 9048 | - | 104M | 0 |4970 |5187 |5209 | 43 | 3 | 20 | 0 | 2.032271e+06 | 2.089468e+08 | Large | unknown
3.27/3.35 c 3.4s| 1 | 0 | 9782 | - | 105M | 0 |4970 |5188 |5211 | 45 | 4 | 21 | 0 | 2.045771e+06 | 2.089468e+08 | Large | unknown
3.67/3.72 c 3.7s| 1 | 0 | 10374 | - | 107M | 0 |4970 |5189 |5217 | 51 | 5 | 22 | 0 | 2.062126e+06 | 2.089468e+08 | Large | unknown
4.07/4.13 c 4.1s| 1 | 0 | 11021 | - | 110M | 0 |4970 |5190 |5222 | 56 | 6 | 23 | 0 | 2.075071e+06 | 2.089468e+08 |9969.38%| unknown
4.36/4.44 c 4.4s| 1 | 0 | 11404 | - | 111M | 0 |4970 |5191 |5236 | 70 | 7 | 24 | 0 | 2.083502e+06 | 2.089468e+08 |9928.64%| unknown
4.76/4.86 c 4.9s| 1 | 0 | 12231 | - | 112M | 0 |4970 |5192 |5243 | 77 | 8 | 25 | 0 | 2.111109e+06 | 2.089468e+08 |9797.49%| unknown
5.16/5.23 c 5.2s| 1 | 0 | 12802 | - | 112M | 0 |4970 |5195 |5250 | 84 | 9 | 28 | 0 | 2.122551e+06 | 2.089468e+08 |9744.14%| unknown
5.46/5.58 c 5.6s| 1 | 0 | 13157 | - | 114M | 0 |4970 |5196 |5261 | 95 | 10 | 29 | 0 | 2.125179e+06 | 2.089468e+08 |9731.96%| unknown
5.66/5.75 c 5.7s| 1 | 0 | 13448 | - | 114M | 0 |4970 |5197 |5269 | 103 | 11 | 30 | 0 | 2.130096e+06 | 2.089468e+08 |9709.27%| unknown
5.76/5.89 c 5.9s| 1 | 0 | 13652 | - | 115M | 0 |4970 |5198 |5274 | 108 | 12 | 31 | 0 | 2.131259e+06 | 2.089468e+08 |9703.92%| unknown
5.97/6.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.97/6.05 c 6.1s| 1 | 0 | 13917 | - | 115M | 0 |4970 |5199 |5278 | 112 | 13 | 32 | 0 | 2.135541e+06 | 2.089468e+08 |9684.26%| unknown
6.07/6.18 c 6.2s| 1 | 0 | 14015 | - | 116M | 0 |4970 |5200 |5282 | 116 | 14 | 33 | 0 | 2.136286e+06 | 2.089468e+08 |9680.85%| unknown
6.36/6.47 c 6.5s| 1 | 0 | 14734 | - | 117M | 0 |4970 |5203 |5283 | 117 | 15 | 36 | 0 | 2.144661e+06 | 2.089468e+08 |9642.65%| unknown
6.57/6.67 c 6.7s| 1 | 0 | 15155 | - | 117M | 0 |4970 |5204 |5293 | 129 | 16 | 37 | 0 | 2.148701e+06 | 2.089468e+08 |9624.33%| unknown
6.77/6.82 c 6.8s| 1 | 0 | 15403 | - | 118M | 0 |4970 |5204 |5296 | 132 | 17 | 37 | 0 | 2.151568e+06 | 2.089468e+08 |9611.38%| unknown
6.87/6.97 c 7.0s| 1 | 0 | 15621 | - | 119M | 0 |4970 |5205 |5299 | 135 | 18 | 38 | 0 | 2.153530e+06 | 2.089468e+08 |9602.53%| unknown
7.07/7.13 c 7.1s| 1 | 0 | 15837 | - | 119M | 0 |4970 |5207 |5302 | 138 | 19 | 40 | 0 | 2.157323e+06 | 2.089468e+08 |9585.47%| unknown
7.17/7.24 c 7.2s| 1 | 0 | 15906 | - | 120M | 0 |4970 |5208 |5303 | 139 | 20 | 41 | 0 | 2.157795e+06 | 2.089468e+08 |9583.35%| unknown
25.12/25.21 c 25.2s| 1 | 2 | 57140 | - | 121M | 0 |4970 |5208 |5303 | 139 | 21 | 42 | 26 | 2.182435e+06 | 2.089468e+08 |9474.02%| unknown
73.30/73.51 o 113596679
73.30/73.51 c *73.5s| 30 | 17 |105654 |3097.2 | LP | 14 |4970 |5224 |5336 | 205 | 9 | 58 | 268 | 2.184854e+06 | 1.135967e+08 |5099.28%| 0.51%
88.65/88.98 c 89.0s| 100 | 31 |148492 |1340.0 | 128M | 35 |4970 |5286 |5315 | 211 | 1 | 122 | 310 | 2.184854e+06 | 1.135967e+08 |5099.28%| 11.72%
95.63/95.93 o 9961209
95.63/95.93 c *95.9s| 127 | 25 |163600 |1172.7 | LP | 45 |4970 |5300 |5297 | 227 | 1 | 138 | 330 | 2.184993e+06 | 9.961209e+06 | 355.89%| 13.94%
113.48/113.84 o 8505119
113.48/113.84 c * 114s| 151 | 27 |208296 |1283.1 | LP | 45 |4970 |5296 |5328 | 314 | 2 | 144 | 362 | 2.184993e+06 | 8.505119e+06 | 289.25%| 15.93%
113.58/113.95 o 8504927
113.58/113.95 c * 114s| 154 | 26 |208610 |1260.0 | LP | 45 |4970 |5284 |5328 | 314 | 2 | 144 | 362 | 2.184993e+06 | 8.504927e+06 | 289.24%| 15.99%
113.98/114.30 o 8466635
113.98/114.30 c * 114s| 158 | 26 |209953 |1236.4 | LP | 45 |4970 |5283 |5328 | 314 | 1 | 144 | 362 | 2.184993e+06 | 8.466635e+06 | 287.49%| 16.11%
114.18/114.54 o 8242831
114.18/114.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
114.18/114.54 c * 115s| 161 | 22 |210698 |1217.9 | LP | 45 |4970 |5282 |5328 | 314 | 2 | 144 | 362 | 2.184993e+06 | 8.242831e+06 | 277.25%| 17.37%
115.18/115.53 o 7789225
115.18/115.53 c * 116s| 170 | 18 |214314 |1174.4 | LP | 45 |4970 |5276 |5322 | 315 | 1 | 144 | 362 | 2.184993e+06 | 7.789225e+06 | 256.49%| 19.79%
132.64/133.07 c 133s| 200 | 24 |252000 |1186.8 | 144M | 45 |4970 |5283 |5314 | 375 | 1 | 152 | 407 | 2.193316e+06 | 7.789225e+06 | 255.13%| 21.12%
155.08/155.54 c 156s| 300 | 60 |306927 | 973.5 | 149M | 45 |4970 |5290 |5335 | 426 | 1 | 178 | 450 | 2.222031e+06 | 7.789225e+06 | 250.55%| 21.22%
268.61/269.39 c 269s| 400 | 54 |900678 |2217.6 | 155M | 45 |4970 |5309 |5348 | 507 | 0 | 205 | 485 | 2.225477e+06 | 7.789225e+06 | 250.00%| 21.58%
303.72/304.53 c 305s| 500 | 60 |979869 |1931.9 | 161M | 45 |4970 |5323 |5315 | 628 | 0 | 263 | 596 | 2.229164e+06 | 7.789225e+06 | 249.42%| 21.61%
315.20/316.07 o 5989779
315.20/316.07 c d 316s| 526 | 52 | 1006k|1887.4 |conflict| 45 |4970 |5332 |5319 | 0 | 1 | 280 | 623 | 2.262991e+06 | 5.989779e+06 | 164.68%| 24.82%
326.87/327.71 c 328s| 600 | 64 | 1038k|1707.8 | 162M | 45 |4970 |5362 |5319 | 683 | 1 | 346 | 667 | 2.262991e+06 | 5.989779e+06 | 164.68%| 25.46%
348.22/349.16 c 349s| 700 | 67 | 1093k|1542.0 | 163M | 45 |4970 |5466 |5329 | 760 | 0 | 493 | 819 | 2.268541e+06 | 5.989779e+06 | 164.04%| 25.47%
354.60/355.59 o 5932825
354.60/355.59 c * 356s| 716 | 69 | 1108k|1528.2 | LP | 45 |4970 |5434 |5319 | 760 | 2 | 493 | 832 | 2.268541e+06 | 5.932825e+06 | 161.53%| 25.52%
358.79/359.77 o 5570209
358.79/359.77 c * 360s| 747 | 62 | 1123k|1484.6 | LP | 45 |4970 |5402 |5321 | 765 | 2 | 495 | 840 | 2.268541e+06 | 5.570209e+06 | 145.54%| 28.15%
359.59/360.56 o 5538953
359.59/360.56 c * 361s| 757 | 64 | 1126k|1469.2 | LP | 45 |4970 |5294 |5323 | 767 | 2 | 495 | 840 | 2.268541e+06 | 5.538953e+06 | 144.16%| 28.29%
364.38/365.31 c 365s| 800 | 67 | 1136k|1402.5 | 164M | 47 |4970 |5293 |5328 | 789 | 0 | 500 | 863 | 2.268541e+06 | 5.538953e+06 | 144.16%| 28.48%
407.47/408.53 c 409s| 900 | 91 | 1241k|1362.9 | 166M | 47 |4970 |5314 |5317 | 838 | 1 | 529 | 968 | 2.281412e+06 | 5.538953e+06 | 142.79%| 29.17%
456.15/457.30 c 457s| 1000 | 137 | 1371k|1357.2 | 167M | 47 |4970 |5408 |5325 | 873 | 1 | 642 |1065 | 2.281412e+06 | 5.538953e+06 | 142.79%| 29.17%
491.44/492.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
491.44/492.72 c 493s| 1100 | 169 | 1467k|1320.9 | 168M | 47 |4970 |5472 |5319 | 899 | 2 | 723 |1139 | 2.282753e+06 | 5.538953e+06 | 142.64%| 29.17%
521.84/523.28 c 523s| 1200 | 187 | 1534k|1266.6 | 174M | 47 |4970 |5528 |5343 |1048 | 1 | 814 |1219 | 2.289835e+06 | 5.538953e+06 | 141.89%| 29.18%
560.71/562.26 c 562s| 1300 | 211 | 1635k|1247.2 | 175M | 47 |4970 |5494 |5333 |1127 | 2 | 894 |1306 | 2.290349e+06 | 5.538953e+06 | 141.84%| 29.18%
630.70/632.49 c 632s| 1400 | 249 | 1804k|1278.8 | 184M | 47 |4970 |5506 |5336 |1374 | 4 | 945 |1455 | 2.326264e+06 | 5.538953e+06 | 138.11%| 29.19%
709.14/711.13 c 711s| 1500 | 287 | 1993k|1319.6 | 187M | 54 |4970 |5543 |5338 |1664 | 1 |1016 |1623 | 2.412466e+06 | 5.538953e+06 | 129.60%| 29.23%
763.95/766.19 o 5095837
763.95/766.19 c * 766s| 1591 | 286 | 2127k|1327.9 |strongbr| 67 |4970 |5595 |5342 |1833 | 1 |1116 |1762 | 2.421933e+06 | 5.095837e+06 | 110.40%| 30.75%
764.64/766.82 o 5094837
764.64/766.82 c * 767s| 1592 | 287 | 2127k|1327.4 | LP | 68 |4970 |5405 |5342 |1833 | 2 |1116 |1769 | 2.421933e+06 | 5.094837e+06 | 110.36%| 30.77%
764.74/766.97 c 767s| 1600 | 289 | 2128k|1321.1 | 191M | 73 |4970 |5404 | 0 |1833 | 0 |1116 |1769 | 2.421933e+06 | 5.094837e+06 | 110.36%| 30.77%
774.61/776.87 c 777s| 1700 | 297 | 2154k|1258.8 | 191M | 89 |4970 |5395 |5342 |1854 | 1 |1119 |1786 | 2.422316e+06 | 5.094837e+06 | 110.33%| 30.79%
776.00/778.28 o 5094663
776.00/778.28 c * 778s| 1744 | 301 | 2159k|1229.6 | LP | 94 |4970 |5393 |5342 |1856 | 2 |1119 |1793 | 2.422316e+06 | 5.094663e+06 | 110.32%| 30.84%
781.38/783.64 c 784s| 1800 | 309 | 2171k|1198.1 | 191M | 94 |4970 |5395 |5342 |1857 | 1 |1126 |1813 | 2.422316e+06 | 5.094663e+06 | 110.32%| 30.84%
784.67/786.96 c 787s| 1900 | 323 | 2180k|1139.8 | 192M | 105 |4970 |5396 |5340 |1861 | 2 |1140 |1842 | 2.422316e+06 | 5.094663e+06 | 110.32%| 30.89%
798.23/800.56 c 801s| 2000 | 335 | 2208k|1096.8 | 193M | 105 |4970 |5390 |5343 |1967 | 2 |1147 |1894 | 2.422380e+06 | 5.094663e+06 | 110.32%| 30.98%
806.30/808.64 c 809s| 2100 | 357 | 2226k|1053.2 | 193M | 105 |4970 |5450 | 0 |1996 | 0 |1216 |1954 | 2.424445e+06 | 5.094663e+06 | 110.14%| 30.98%
809.09/811.49 c 811s| 2200 | 375 | 2233k|1008.5 | 193M | 105 |4970 |5469 |5342 |1997 | 1 |1238 |2003 | 2.424445e+06 | 5.094663e+06 | 110.14%| 30.98%
817.56/819.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
817.56/819.91 c 820s| 2300 | 385 | 2254k| 973.7 | 193M | 105 |4970 |5490 |5338 |2009 | 1 |1286 |2027 | 2.424445e+06 | 5.094663e+06 | 110.14%| 31.04%
866.50/869.03 c 869s| 2400 | 397 | 2374k| 983.3 | 194M | 105 |4970 |5544 |5352 |2065 | 1 |1506 |2180 | 2.442692e+06 | 5.094663e+06 | 108.57%| 36.37%
879.74/882.33 o 4936063
879.74/882.33 c * 882s| 2455 | 395 | 2409k| 975.2 |strongbr| 105 |4970 |5580 |5342 |2083 | 2 |1564 |2228 | 2.442692e+06 | 4.936063e+06 | 102.07%| 36.37%
886.53/889.18 c 889s| 2500 | 408 | 2423k| 963.3 | 194M | 105 |4970 |5582 |5342 |2094 | 1 |1589 |2259 | 2.442692e+06 | 4.936063e+06 | 102.07%| 36.40%
894.59/897.24 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
894.59/897.27 c (run 1, node 2586) performing user restart
894.59/897.27 c
894.59/897.27 c (restart) converted 45 cuts from the global cut pool into linear constraints
894.59/897.27 c
894.69/897.32 c presolving:
894.69/897.34 c (round 1, fast) 1989 del vars, 1988 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 312 chg coeffs, 0 upgd conss, 0 impls, 70 clqs
894.69/897.35 c (897.3s) running MILP presolver
894.69/897.35 c (897.4s) MILP presolver found nothing
894.69/897.36 c (round 2, exhaustive) 1989 del vars, 1988 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 312 chg coeffs, 45 upgd conss, 0 impls, 78 clqs
894.69/897.36 c (round 3, medium) 1989 del vars, 1988 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 318 chg coeffs, 45 upgd conss, 0 impls, 78 clqs
894.69/897.39 c (round 4, exhaustive) 1989 del vars, 2043 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 1978 chg coeffs, 45 upgd conss, 0 impls, 78 clqs
894.79/897.41 c (round 5, exhaustive) 1989 del vars, 2043 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 2115 chg coeffs, 45 upgd conss, 0 impls, 78 clqs
894.79/897.46 c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
894.79/897.46 c 1989 deleted vars, 2043 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 6 changed sides, 2115 changed coefficients
894.79/897.46 c 0 implications, 78 cliques
894.79/897.46 c presolved problem has 2981 variables (2981 bin, 0 int, 0 cont) and 3667 constraints
894.79/897.46 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
894.79/897.46 c 676 constraints of type <knapsack>
894.79/897.46 c 70 constraints of type <setppc>
894.79/897.46 c 14 constraints of type <linear>
894.79/897.46 c 2907 constraints of type <logicor>
894.79/897.46 c transformed objective value is always integral (scale: 2)
894.79/897.46 c Presolving Time: 0.49
894.89/897.50 c transformed 18/20 original solutions to the transformed problem space
894.89/897.51 c
896.78/899.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
896.78/899.42 c 899s| 1 | 0 | 2460k| - | 201M | 0 |2981 |3667 |3240 | 0 | 0 |1679 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
896.88/899.53 c 900s| 1 | 0 | 2460k| - | 201M | 0 |2981 |3668 |3237 | 0 | 0 |1680 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
897.28/899.92 c 900s| 1 | 0 | 2462k| - | 202M | 0 |2981 |3668 |3271 | 34 | 1 |1680 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
897.28/899.94 c 900s| 1 | 0 | 2462k| - | 202M | 0 |2981 |3670 |3270 | 34 | 1 |1682 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
897.68/900.31 c 900s| 1 | 0 | 2463k| - | 202M | 0 |2981 |3670 |3293 | 57 | 2 |1682 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
897.68/900.31 c 900s| 1 | 0 | 2463k| - | 202M | 0 |2981 |3671 |3292 | 57 | 2 |1683 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
897.98/900.63 c 901s| 1 | 0 | 2463k| - | 203M | 0 |2981 |3671 |3305 | 70 | 3 |1683 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
897.98/900.64 c 901s| 1 | 0 | 2463k| - | 203M | 0 |2981 |3673 |3304 | 70 | 3 |1685 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
898.18/900.89 c 901s| 1 | 0 | 2464k| - | 203M | 0 |2981 |3668 |3318 | 84 | 4 |1685 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
898.48/901.15 c 901s| 1 | 0 | 2464k| - | 203M | 0 |2981 |3665 |3325 | 91 | 5 |1686 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
898.78/901.44 c 901s| 1 | 0 | 2465k| - | 204M | 0 |2981 |3662 |3335 | 101 | 6 |1687 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
899.08/901.75 c 902s| 1 | 0 | 2466k| - | 204M | 0 |2981 |3661 |3341 | 107 | 7 |1688 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
899.08/901.76 c 902s| 1 | 0 | 2466k| - | 204M | 0 |2981 |3662 |3340 | 107 | 7 |1689 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
899.38/902.01 c 902s| 1 | 0 | 2466k| - | 204M | 0 |2981 |3652 |3347 | 114 | 8 |1689 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
899.67/902.31 c 902s| 1 | 0 | 2466k| - | 205M | 0 |2981 |3646 |3350 | 117 | 9 |1690 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
899.97/902.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
899.97/902.64 c 903s| 1 | 0 | 2467k| - | 205M | 0 |2981 |3640 |3353 | 124 | 10 |1691 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
900.07/902.79 c 903s| 1 | 0 | 2467k| - | 205M | 0 |2981 |3637 |3363 | 134 | 11 |1692 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
900.27/902.94 c 903s| 1 | 0 | 2468k| - | 206M | 0 |2981 |3631 |3368 | 139 | 12 |1693 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
900.48/903.10 c 903s| 1 | 0 | 2468k| - | 206M | 0 |2981 |3629 |3374 | 145 | 13 |1694 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
900.57/903.23 c 903s| 1 | 0 | 2468k| - | 206M | 0 |2981 |3628 |3376 | 147 | 14 |1696 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
900.67/903.33 c 903s| 1 | 0 | 2468k| - | 207M | 0 |2981 |3622 |3380 | 151 | 15 |1696 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
900.87/903.50 c 903s| 1 | 0 | 2469k| - | 207M | 0 |2981 |3621 |3369 | 154 | 16 |1696 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
900.97/903.60 c 904s| 1 | 0 | 2469k| - | 208M | 0 |2981 |3620 |3372 | 157 | 17 |1697 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
901.17/903.86 c 904s| 1 | 0 | 2470k| - | 208M | 0 |2981 |3617 |3375 | 160 | 18 |1698 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
901.37/904.05 c 904s| 1 | 0 | 2470k| - | 208M | 0 |2981 |3611 |3379 | 164 | 19 |1698 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
901.57/904.22 c 904s| 1 | 0 | 2470k| - | 209M | 0 |2981 |3606 |3388 | 173 | 20 |1699 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
901.57/904.29 c 904s| 1 | 0 | 2470k| - | 209M | 0 |2981 |3600 |3394 | 179 | 21 |1700 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
901.67/904.36 c 904s| 1 | 0 | 2470k| - | 209M | 0 |2981 |3597 |3374 | 183 | 22 |1701 |2280 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
914.12/916.83 c 917s| 1 | 2 | 2519k| - | 209M | 0 |2981 |3560 |3374 | 183 | 23 |1702 |2293 | 2.442692e+06 | 4.936063e+06 | 102.07%| unknown
951.39/954.26 c 954s| 100 | 31 | 2637k| 968.7 | 212M | 27 |2981 |3495 |3364 | 255 | 1 |1732 |2429 | 2.442692e+06 | 4.936063e+06 | 102.07%| 2.30%
981.10/984.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
981.10/984.06 c 984s| 200 | 51 | 2737k| 969.6 | 217M | 56 |2981 |3479 |3380 | 367 | 0 |1753 |2501 | 2.442692e+06 | 4.936063e+06 | 102.07%| 2.44%
993.75/996.74 c 997s| 300 | 69 | 2776k| 949.8 | 221M | 58 |2981 |3489 | 0 | 438 | 0 |1812 |2563 | 2.442692e+06 | 4.936063e+06 | 102.07%| 2.44%
1029.83/1032.93 c 1033s| 400 | 67 | 2887k| 955.1 | 223M | 63 |2981 |3489 |3396 | 593 | 2 |1969 |2745 | 2.442692e+06 | 4.936063e+06 | 102.07%| 8.51%
1056.54/1059.79 c 1060s| 500 | 69 | 2981k| 954.7 | 223M | 63 |2981 |3499 |3367 | 655 | 1 |2037 |2852 | 2.442692e+06 | 4.936063e+06 | 102.07%| 8.52%
1072.09/1075.34 c 1075s| 600 | 77 | 3034k| 941.2 | 224M | 64 |2981 |3513 |3400 | 721 | 2 |2116 |2933 | 2.442692e+06 | 4.936063e+06 | 102.07%| 8.80%
1085.85/1089.16 c 1089s| 700 | 65 | 3077k| 925.6 | 224M | 74 |2981 |3577 |3362 | 737 | 0 |2236 |3070 | 2.442692e+06 | 4.936063e+06 | 102.07%| 8.80%
1115.25/1118.67 c 1119s| 800 | 77 | 3179k| 928.5 | 225M | 74 |2981 |3550 |3371 | 797 | 0 |2253 |3160 | 2.442692e+06 | 4.936063e+06 | 102.07%| 8.80%
1131.79/1135.21 c 1135s| 900 | 87 | 3235k| 917.9 | 225M | 74 |2981 |3594 | 0 | 838 | 0 |2307 |3235 | 2.442692e+06 | 4.936063e+06 | 102.07%| 8.80%
1158.40/1161.97 c 1162s| 1000 | 87 | 3324k| 917.0 | 225M | 74 |2981 |3599 |3375 | 886 | 2 |2361 |3380 | 2.442692e+06 | 4.936063e+06 | 102.07%| 8.80%
1173.75/1177.32 c 1177s| 1100 | 93 | 3371k| 905.0 | 226M | 74 |2981 |3604 |3383 | 996 | 1 |2389 |3449 | 2.442692e+06 | 4.936063e+06 | 102.07%| 8.80%
1189.79/1193.42 c 1193s| 1200 | 93 | 3427k| 895.9 | 228M | 74 |2981 |3692 |3400 |1049 | 0 |2490 |3535 | 2.442692e+06 | 4.936063e+06 | 102.07%| 8.80%
1223.29/1227.03 c 1227s| 1300 | 99 | 3541k| 902.1 | 228M | 74 |2981 |3685 |3381 |1089 | 0 |2557 |3674 | 2.516327e+06 | 4.936063e+06 | 96.16%| 9.76%
1245.91/1249.78 c 1250s| 1400 | 95 | 3614k| 897.8 | 229M | 74 |2981 |3676 |3395 |1171 | 1 |2624 |3763 | 2.517375e+06 | 4.936063e+06 | 96.08%| 15.50%
1261.75/1265.68 o 4609843
1261.75/1265.68 c *1266s| 1436 | 79 | 3668k| 903.1 | LP | 74 |2981 |3694 |3397 |1203 | 1 |2649 |3811 | 2.517375e+06 | 4.609843e+06 | 83.12%| 15.52%
1263.55/1267.46 o 4241631
1263.55/1267.46 c *1267s| 1445 | 52 | 3674k| 902.7 |strongbr| 74 |2981 |3571 |3395 |1203 | 2 |2651 |3817 | 2.517375e+06 | 4.241631e+06 | 68.49%| 16.29%
1274.72/1278.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1274.72/1278.64 c 1279s| 1500 | 50 | 3711k| 899.7 | 231M | 74 |2981 |3603 | 0 |1210 | 0 |2708 |3870 | 2.517375e+06 | 4.241631e+06 | 68.49%| 20.10%
1296.94/1300.92 c 1301s| 1600 | 43 | 3785k| 895.7 | 232M | 74 |2981 |3611 |3397 |1271 | 1 |2825 |3989 | 2.517375e+06 | 4.241631e+06 | 68.49%| 30.85%
1336.81/1340.96 c 1341s| 1700 | 23 | 3906k| 903.2 | 234M | 74 |2981 |3532 |3389 |1429 | 2 |2920 |4176 | 2.935771e+06 | 4.241631e+06 | 44.48%| 77.47%
1356.64/1360.82 c 1361s| 1800 | 11 | 3970k| 897.1 | 235M | 74 |2981 |3567 |3375 |1475 | 1 |3021 |4283 | 2.961402e+06 | 4.241631e+06 | 43.23%| 90.84%
1381.76/1386.09 c
1381.76/1386.09 c SCIP Status : problem is solved [optimal solution found]
1381.76/1386.09 c Solving Time (sec) : 1386.09
1381.76/1386.09 c Solving Nodes : 1877 (total of 4463 nodes in 2 runs)
1381.76/1386.09 c Primal Bound : +4.24163100000000e+06 (22 solutions)
1381.76/1386.09 c Dual Bound : +4.24163100000000e+06
1381.76/1386.09 c Gap : 0.00 %
1381.76/1386.10 s OPTIMUM FOUND
1381.76/1386.10 v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793
1381.76/1386.10 v -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
1381.76/1386.10 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837
1381.76/1386.10 v -x838 -x839 -x840 -x1541 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557
1381.76/1386.10 v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576
1381.76/1386.10 v -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 x1594 -x1595
1381.76/1386.10 v -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x2311 -x2312 -x2314 -x2315
1381.76/1386.10 v -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334
1381.76/1386.10 v -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353
1381.76/1386.10 v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372
1381.76/1386.10 v -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x3081 -x3082 -x3083 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092
1381.76/1386.10 v -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111
1381.76/1386.10 v x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130
1381.76/1386.10 v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149
1381.76/1386.10 v -x3150 -x3851 -x3852 -x3853 -x3854 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869
1381.76/1386.10 v -x3870 -x3871 -x3872 x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888
1381.76/1386.10 v -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907
1381.76/1386.10 v -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x4621 -x4622 -x4623 -x4624 -x4625 -x4627
1381.76/1386.10 v -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646
1381.76/1386.10 v -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665
1381.76/1386.10 v -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684
1381.76/1386.10 v -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774
1381.76/1386.10 v -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 x4792 -x4793
1381.76/1386.10 v -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812
1381.76/1386.10 v -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831
1381.76/1386.10 v -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851
1381.76/1386.10 v -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870
1381.76/1386.10 v -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889
1381.76/1386.10 v -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908
1381.76/1386.10 v -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 x4923 -x4924 -x4925 -x4926 -x4927 -x4928
1381.76/1386.10 v -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947
1381.76/1386.10 v -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966
1381.76/1386.10 v -x4967 -x4968 -x4969 -x4970 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91
1381.76/1386.10 v -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114
1381.76/1386.10 v -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136
1381.76/1386.10 v -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159
1381.76/1386.10 v -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181
1381.76/1386.10 v -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203
1381.76/1386.10 v -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x223 -x224 -x225 -x226
1381.76/1386.10 v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248
1381.76/1386.10 v -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1381.76/1386.10 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
1381.76/1386.10 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1381.76/1386.10 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337
1381.76/1386.10 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359
1381.76/1386.10 v -x360 -x361 -x362 -x363 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382
1381.76/1386.10 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404
1381.76/1386.10 v -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426
1381.76/1386.10 v -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449
1381.76/1386.10 v -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471
1381.76/1386.10 v -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493
1381.76/1386.10 v -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516
1381.76/1386.10 v -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538
1381.76/1386.10 v -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
1381.76/1386.10 v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x578 -x579 -x580 -x581 -x582 x583
1381.76/1386.10 v -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605
1381.76/1386.10 v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627
1381.76/1386.10 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x649 -x650
1381.76/1386.10 v -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1381.76/1386.10 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694
1381.76/1386.10 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716
1381.76/1386.10 v -x717 -x718 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739
1381.76/1386.10 v -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761
1381.76/1386.10 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853
1381.76/1386.10 v -x854 -x855 -x856 -x857 -x858 -x859 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876
1381.76/1386.10 v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898
1381.76/1386.10 v -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
1381.76/1386.10 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943
1381.76/1386.10 v -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
1381.76/1386.10 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
1381.76/1386.10 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008
1381.76/1386.10 v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027
1381.76/1386.10 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046
1381.76/1386.10 v -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 x1063 -x1064 x1065
1381.76/1386.10 v -x1066 x1067 x1068 x1069 x1070 -x1071 -x1072 -x1074 -x1075 -x1076 x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086
1381.76/1386.10 v x1087 x1088 -x1089 -x1090 -x1091 -x1092 x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 x1101 x1102 -x1103 -x1104 x1105 -x1106
1381.76/1386.10 v x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 x1117 x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125
1381.76/1386.10 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1145
1381.76/1386.10 v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164
1381.76/1386.10 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183
1381.76/1386.10 v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202
1381.76/1386.10 v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 x1222
1381.76/1386.10 v -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241
1381.76/1386.10 v -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
1381.76/1386.10 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279
1381.76/1386.10 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299
1381.76/1386.10 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1314 -x1315 -x1316 -x1317 -x1318
1381.76/1386.10 v -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337
1381.76/1386.10 v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 x1353 -x1354 -x1355 -x1356
1381.76/1386.10 v -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376
1381.76/1386.10 v -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395
1381.76/1386.10 v -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414
1381.76/1386.10 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1429 -x1430 -x1431 x1432 -x1433 -x1434
1381.76/1386.10 v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453
1381.76/1386.10 v -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472
1381.76/1386.10 v -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491
1381.76/1386.10 v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1500 -x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511
1381.76/1386.10 v -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
1381.76/1386.10 v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619
1381.76/1386.10 v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638
1381.76/1386.10 v -x1639 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658
1381.76/1386.10 v -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677
1381.76/1386.10 v -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696
1381.76/1386.10 v -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1712 -x1713 -x1714 -x1715 -x1716
1381.76/1386.10 v -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735
1381.76/1386.10 v -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 x1753 x1754
1381.76/1386.10 v -x1755 -x1756 x1757 x1758 -x1759 -x1760 x1761 x1762 -x1763 x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770 x1771 -x1772 -x1773 x1774
1381.76/1386.10 v x1775 -x1776 -x1777 x1778 x1779 x1780 -x1781 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 -x1793 x1794 -x1795
1381.76/1386.10 v -x1796 -x1797 -x1798 x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 x1809 -x1810 -x1811 -x1812 -x1813 -x1814
1381.76/1386.10 v x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833
1381.76/1386.10 v -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852
1381.76/1386.10 v -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872
1381.76/1386.10 v -x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891
1381.76/1386.10 v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
1381.76/1386.10 v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930
1381.76/1386.10 v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949
1381.76/1386.10 v -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968
1381.76/1386.10 v -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 x1983 -x1984 -x1985 -x1986 -x1987
1381.76/1386.10 v -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007
1381.76/1386.10 v -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026
1381.76/1386.10 v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045
1381.76/1386.10 v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064
1381.76/1386.10 v -x2065 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084
1381.76/1386.10 v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103
1381.76/1386.10 v -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122
1381.76/1386.10 v x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2138 -x2139 -x2140 -x2141 -x2142
1381.76/1386.10 v -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161
1381.76/1386.10 v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180
1381.76/1386.10 v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199
1381.76/1386.10 v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219
1381.76/1386.10 v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238
1381.76/1386.10 v -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257
1381.76/1386.10 v -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 x2272 -x2273 -x2274 -x2275 -x2276
1381.76/1386.10 v -x2277 -x2278 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296
1381.76/1386.10 v -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2381 -x2382 -x2383 -x2384 -x2385
1381.76/1386.10 v -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404
1381.76/1386.10 v -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2421 -x2422 -x2423 -x2424
1381.76/1386.10 v -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443
1381.76/1386.10 v -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462
1381.76/1386.10 v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481
1381.76/1386.10 v -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501
1381.76/1386.10 v -x2502 -x2503 x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520
1381.76/1386.10 v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539
1381.76/1386.10 v -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558
1381.76/1386.10 v -x2559 -x2560 -x2561 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 x2574 -x2575 -x2576 -x2577 -x2578
1381.76/1386.10 v -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597
1381.76/1386.10 v -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616
1381.76/1386.10 v -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2634 -x2635 -x2636
1381.76/1386.10 v -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655
1381.76/1386.10 v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674
1381.76/1386.10 v -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 x2692 -x2693
1381.76/1386.10 v -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713
1381.76/1386.10 v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732
1381.76/1386.10 v -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751
1381.76/1386.10 v -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770
1381.76/1386.10 v -x2771 -x2772 -x2773 -x2774 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790
1381.76/1386.10 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809
1381.76/1386.10 v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 x2823 -x2824 -x2825 -x2826 -x2827 -x2828
1381.76/1386.10 v -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2847 -x2848
1381.76/1386.10 v -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867
1381.76/1386.10 v -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886
1381.76/1386.10 v -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905
1381.76/1386.10 v -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 x2924 -x2925
1381.76/1386.10 v -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944
1381.76/1386.10 v -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963
1381.76/1386.10 v -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982
1381.76/1386.10 v -x2983 -x2984 -x2985 -x2986 -x2987 -x2989 -x2990 -x2991 -x2992 -x2993 x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002
1381.76/1386.10 v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021
1381.76/1386.10 v -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040
1381.76/1386.10 v -x3041 x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3060
1381.76/1386.10 v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079
1381.76/1386.10 v -x3080 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168
1381.76/1386.10 v -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 x3182 -x3183 -x3184 -x3185 -x3186 -x3187
1381.76/1386.10 v -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207
1381.76/1386.10 v -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226
1381.76/1386.10 v -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 x3243 -x3244 -x3245
1381.76/1386.10 v -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264
1381.76/1386.10 v -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284
1381.76/1386.10 v -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303
1381.76/1386.10 v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322
1381.76/1386.10 v -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341
1381.76/1386.10 v -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361
1381.76/1386.10 v -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380
1381.76/1386.10 v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399
1381.76/1386.10 v -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 x3414 -x3415 -x3416 -x3417 -x3418 -x3419
1381.76/1386.10 v -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 x3432 -x3433 -x3434 -x3435 x3436 -x3437 -x3438
1381.76/1386.10 v -x3439 x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 x3452 -x3453 -x3454 -x3455 x3456 -x3457
1381.76/1386.10 v -x3458 -x3459 -x3460 x3461 -x3462 x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 x3471 x3472 -x3473 -x3474 x3475 -x3476 x3477
1381.76/1386.10 v x3478 -x3479 -x3480 -x3481 -x3482 x3483 -x3485 x3486 -x3487 -x3488 -x3489 x3490 x3491 x3492 x3493 x3494 -x3495 x3496 -x3497 -x3498
1381.76/1386.10 v x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517
1381.76/1386.10 v -x3518 -x3519 -x3520 -x3521 -x3522 x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536
1381.76/1386.10 v -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3556
1381.76/1386.10 v -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575
1381.76/1386.10 v -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594
1381.76/1386.10 v -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613
1381.76/1386.10 v -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 x3624 -x3625 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633
1381.76/1386.10 v -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652
1381.76/1386.10 v -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671
1381.76/1386.10 v -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690
1381.76/1386.10 v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710
1381.76/1386.10 v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729
1381.76/1386.10 v -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748
1381.76/1386.10 v -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767
1381.76/1386.10 v -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787
1381.76/1386.10 v -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806
1381.76/1386.10 v -x3807 -x3808 -x3809 -x3810 -x3811 x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825
1381.76/1386.10 v -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845
1381.76/1386.10 v -x3846 -x3847 -x3848 -x3849 -x3850 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934
1381.76/1386.10 v -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953
1381.76/1386.10 v -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972
1381.76/1386.10 v -x3973 x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992
1381.76/1386.10 v -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011
1381.76/1386.10 v -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030
1381.76/1386.10 v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 x4044 -x4045 -x4046 -x4047 -x4048 -x4049
1381.76/1386.10 v -x4050 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069
1381.76/1386.10 v -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088
1381.76/1386.10 v -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107
1381.76/1386.10 v -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4123 -x4124 -x4125 -x4126 -x4127
1381.76/1386.10 v -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146
1381.76/1386.10 v -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165
1381.76/1386.10 v -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 x4184
1381.76/1386.10 v -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204
1381.76/1386.10 v -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223
1381.76/1386.10 v -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242
1381.76/1386.10 v -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261
1381.76/1386.10 v -x4262 -x4263 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281
1381.76/1386.10 v -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300
1381.76/1386.10 v -x4301 x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319
1381.76/1386.10 v -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4336 -x4337 -x4338 -x4339
1381.76/1386.10 v -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358
1381.76/1386.10 v -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377
1381.76/1386.10 v -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 x4394 -x4395 -x4396
1381.76/1386.10 v -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416
1381.76/1386.10 v -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 x4433 -x4434 -x4435
1381.76/1386.10 v -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454
1381.76/1386.10 v -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473
1381.76/1386.10 v -x4474 -x4475 -x4476 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493
1381.76/1386.10 v -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512
1381.76/1386.10 v -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531
1381.76/1386.10 v -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4549 -x4550 -x4551
1381.76/1386.10 v -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570
1381.76/1386.10 v -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589
1381.76/1386.10 v -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 x4604 -x4605 -x4606 -x4607 -x4608
1381.76/1386.10 v -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4620 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698
1381.76/1386.10 v -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 x4713 -x4714 -x4715 -x4716 -x4717
1381.76/1386.10 v -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736
1381.76/1386.10 v -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755
1381.76/1386.10 v -x4756 -x4757 -x4758 -x4759 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985
1381.76/1386.10 v -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 x5002 -x5003 -x5004
1381.76/1386.10 v -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023
1381.76/1386.10 v x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5742 -x5743
1381.76/1386.10 v -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762
1381.76/1386.10 v -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781
1381.76/1386.10 v -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800
1381.76/1386.10 v -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x6511 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520
1381.76/1386.10 v -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539
1381.76/1386.10 v -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558
1381.76/1386.10 v -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577
1381.76/1386.10 v -x6578 -x6579 -x6580 -x7281 -x7282 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297
1381.76/1386.10 v -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316
1381.76/1386.10 v -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335
1381.76/1386.10 v -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x8051 -x8052 -x8053 -x8055
1381.76/1386.10 v -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074
1381.76/1386.10 v -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093
1381.76/1386.10 v -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112
1381.76/1386.10 v -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8821 -x8822 -x8823 -x8824 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832
1381.76/1386.10 v -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851
1381.76/1386.10 v -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870
1381.76/1386.10 v -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889
1381.76/1386.10 v -x8890 -x9591 -x9592 -x9593 -x9594 -x9595 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609
1381.76/1386.10 v -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628
1381.76/1386.10 v -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647
1381.76/1386.10 v -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736
1381.76/1386.10 v -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756
1381.76/1386.10 v -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775
1381.76/1386.10 v -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794
1381.76/1386.10 v -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814
1381.76/1386.10 v -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833
1381.76/1386.10 v -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852
1381.76/1386.10 v -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871
1381.76/1386.10 v -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891
1381.76/1386.10 v -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910
1381.76/1386.10 v -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929
1381.76/1386.10 v -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048
1381.76/1386.10 v -x5049 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068
1381.76/1386.10 v -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087
1381.76/1386.10 v -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106
1381.76/1386.10 v -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5122 -x5123 -x5124 -x5125 -x5126
1381.76/1386.10 v -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145
1381.76/1386.10 v -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164
1381.76/1386.10 v -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183
1381.76/1386.10 v -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203
1381.76/1386.10 v -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222
1381.76/1386.10 v -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241
1381.76/1386.10 v -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260
1381.76/1386.10 v -x5261 -x5262 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280
1381.76/1386.10 v -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299
1381.76/1386.10 v -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318
1381.76/1386.10 v -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5335 -x5336 -x5337 -x5338
1381.76/1386.10 v -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357
1381.76/1386.10 v -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376
1381.76/1386.10 v -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395
1381.76/1386.10 v -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415
1381.76/1386.10 v -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434
1381.76/1386.10 v -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453
1381.76/1386.10 v -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472
1381.76/1386.10 v -x5473 -x5474 -x5475 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492
1381.76/1386.10 v -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511
1381.76/1386.10 v -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530
1381.76/1386.10 v -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5548 -x5549 -x5550
1381.76/1386.10 v -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569
1381.76/1386.10 v -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588
1381.76/1386.10 v -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607
1381.76/1386.10 v -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627
1381.76/1386.10 v -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646
1381.76/1386.10 v -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665
1381.76/1386.10 v -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684
1381.76/1386.10 v -x5685 -x5686 -x5687 -x5688 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704
1381.76/1386.10 v -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723
1381.76/1386.10 v -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5811 -x5812
1381.76/1386.10 v -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5831 -x5832
1381.76/1386.10 v -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851
1381.76/1386.10 v -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870
1381.76/1386.10 v -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889
1381.76/1386.10 v -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909
1381.76/1386.10 v -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928
1381.76/1386.10 v -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947
1381.76/1386.10 v -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966
1381.76/1386.10 v -x5967 -x5968 -x5969 -x5970 -x5971 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986
1381.76/1386.10 v -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005
1381.76/1386.10 v -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024
1381.76/1386.10 v -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6044
1381.76/1386.10 v -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063
1381.76/1386.10 v -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082
1381.76/1386.10 v -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101
1381.76/1386.10 v -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121
1381.76/1386.10 v -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140
1381.76/1386.10 v -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159
1381.76/1386.10 v -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178
1381.76/1386.10 v -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198
1381.76/1386.10 v -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217
1381.76/1386.10 v -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236
1381.76/1386.10 v -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255
1381.76/1386.10 v -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275
1381.76/1386.10 v -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294
1381.76/1386.10 v -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313
1381.76/1386.10 v -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333
1381.76/1386.10 v -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352
1381.76/1386.10 v -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371
1381.76/1386.10 v -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390
1381.76/1386.10 v -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410
1381.76/1386.10 v -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429
1381.76/1386.10 v -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448
1381.76/1386.10 v -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467
1381.76/1386.10 v -x6468 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487
1381.76/1386.10 v -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506
1381.76/1386.10 v -x6507 -x6508 -x6509 -x6510 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595
1381.76/1386.10 v -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6611 -x6612 -x6613 -x6614 -x6615
1381.76/1386.10 v -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634
1381.76/1386.10 v -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653
1381.76/1386.10 v -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672
1381.76/1386.10 v -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692
1381.76/1386.10 v -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711
1381.76/1386.10 v -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730
1381.76/1386.10 v -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749
1381.76/1386.10 v -x6750 -x6751 -x6753 -x6754 -x6755 x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769
1381.76/1386.10 v -x6770 -x6771 -x6772 -x6773 x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788
1381.76/1386.10 v -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807
1381.76/1386.10 v -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6824 -x6825 -x6826 -x6827
1381.76/1386.10 v -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846
1381.76/1386.10 v -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865
1381.76/1386.10 v -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884
1381.76/1386.10 v -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904
1381.76/1386.10 v -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923
1381.76/1386.10 v -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942
1381.76/1386.10 v -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961
1381.76/1386.10 v -x6962 -x6963 -x6964 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981
1381.76/1386.10 v -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000
1381.76/1386.10 v -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019
1381.76/1386.10 v -x7020 -x7021 -x7022 x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 x7032 -x7033 -x7034 -x7035 -x7037 -x7038 -x7039
1381.76/1386.10 v -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 x7054 -x7055 -x7056 -x7057 -x7058
1381.76/1386.10 v -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077
1381.76/1386.10 v -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096
1381.76/1386.10 v -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116
1381.76/1386.10 v -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135
1381.76/1386.10 v -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154
1381.76/1386.10 v -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173
1381.76/1386.10 v -x7174 -x7175 -x7176 -x7177 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193
1381.76/1386.10 v -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212
1381.76/1386.10 v -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231
1381.76/1386.10 v -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7250 -x7251
1381.76/1386.10 v -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270
1381.76/1386.10 v -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359
1381.76/1386.10 v -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378
1381.76/1386.10 v -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398
1381.76/1386.10 v -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417
1381.76/1386.10 v -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436
1381.76/1386.10 v -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455
1381.76/1386.10 v -x7456 -x7457 -x7458 -x7459 -x7460 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475
1381.76/1386.10 v -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494
1381.76/1386.10 v -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513
1381.76/1386.10 v -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7533
1381.76/1386.10 v -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552
1381.76/1386.10 v -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571
1381.76/1386.10 v -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590
1381.76/1386.10 v -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610
1381.76/1386.10 v -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629
1381.76/1386.10 v -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648
1381.76/1386.10 v -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667
1381.76/1386.10 v -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687
1381.76/1386.10 v -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706
1381.76/1386.10 v -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725
1381.76/1386.10 v -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744
1381.76/1386.10 v -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764
1381.76/1386.10 v -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783
1381.76/1386.10 v -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802
1381.76/1386.10 v -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822
1381.76/1386.10 v -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841
1381.76/1386.10 v -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860
1381.76/1386.10 v -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879
1381.76/1386.10 v -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899
1381.76/1386.10 v -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918
1381.76/1386.10 v -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937
1381.76/1386.10 v -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956
1381.76/1386.10 v -x7957 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976
1381.76/1386.10 v -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995
1381.76/1386.10 v -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014
1381.76/1386.10 v -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8030 -x8031 -x8032 -x8033 -x8034
1381.76/1386.10 v -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8121 -x8122 -x8123
1381.76/1386.10 v -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142
1381.76/1386.10 v -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161
1381.76/1386.10 v -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181
1381.76/1386.10 v -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200
1381.76/1386.10 v -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219
1381.76/1386.10 v -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238
1381.76/1386.10 v -x8239 -x8240 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258
1381.76/1386.10 v -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277
1381.76/1386.10 v -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296
1381.76/1386.10 v -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8313 -x8314 -x8315 -x8316
1381.76/1386.10 v -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335
1381.76/1386.10 v -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354
1381.76/1386.10 v -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373
1381.76/1386.10 v -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393
1381.76/1386.10 v -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412
1381.76/1386.10 v -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431
1381.76/1386.10 v x8432 -x8433 -x8434 -x8435 x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450
1381.76/1386.10 v -x8451 -x8452 -x8453 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470
1381.76/1386.10 v -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489
1381.76/1386.10 v -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508
1381.76/1386.10 v -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8526 -x8527 -x8528
1381.76/1386.10 v -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547
1381.76/1386.10 v -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566
1381.76/1386.10 v -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585
1381.76/1386.10 v -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605
1381.76/1386.10 v -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624
1381.76/1386.10 v -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643
1381.76/1386.10 v -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662
1381.76/1386.10 v -x8663 -x8664 -x8665 -x8666 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682
1381.76/1386.10 v -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701
1381.76/1386.10 v -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720
1381.76/1386.10 v -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8739 -x8740
1381.76/1386.10 v -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759
1381.76/1386.10 v -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778
1381.76/1386.10 v -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797
1381.76/1386.10 v -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817
1381.76/1386.10 v -x8818 -x8819 -x8820 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906
1381.76/1386.10 v -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925
1381.76/1386.10 v -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944
1381.76/1386.10 v -x8945 -x8946 -x8947 -x8948 -x8949 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964
1381.76/1386.10 v -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983
1381.76/1386.10 v -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002
1381.76/1386.10 v -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9022
1381.76/1386.10 v -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041
1381.76/1386.10 v -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060
1381.76/1386.10 v -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079
1381.76/1386.10 v -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099
1381.76/1386.10 v -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118
1381.76/1386.10 v -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137
1381.76/1386.10 v -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156
1381.76/1386.10 v -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176
1381.76/1386.10 v -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195
1381.76/1386.10 v -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214
1381.76/1386.10 v -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233
1381.76/1386.10 v -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253
1381.76/1386.10 v -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272
1381.76/1386.10 v -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291
1381.76/1386.10 v -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311
1381.76/1386.10 v -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330
1381.76/1386.10 v -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349
1381.76/1386.10 v -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368
1381.76/1386.10 v -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388
1381.76/1386.10 v -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407
1381.76/1386.10 v -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426
1381.76/1386.10 v -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445
1381.76/1386.10 v -x9446 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465
1381.76/1386.10 v -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484
1381.76/1386.10 v -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503
1381.76/1386.10 v -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9519 -x9520 -x9521 -x9522 -x9523
1381.76/1386.10 v -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542
1381.76/1386.10 v -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561
1381.76/1386.10 v -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580
1381.76/1386.10 v -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9590 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670
1381.76/1386.10 v -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689
1381.76/1386.10 v -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708
1381.76/1386.10 v -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727
1381.76/1386.10 v -x9728 -x9729 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25
1381.76/1386.10 v -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51
1381.76/1386.10 v -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x771 -x1542 -x2313 -x3084 -x3855
1381.76/1386.10 v -x4626 -x4767 -x4838 -x4909 -x80 -x151 -x222 -x293 -x364 -x435 -x506 -x577 -x648 -x719 -x860 -x931 -x1002 -x1073 -x1144 -x1215 -x1286
1381.76/1386.10 v -x1357 -x1428 -x1499 -x1640 -x1711 -x1782 -x1853 -x1924 -x1995 -x2066 -x2137 -x2208 -x2279 -x2420 -x2491 -x2562 -x2633 -x2704 -x2775
1381.76/1386.10 v -x2846 -x2917 -x2988 -x3059 -x3200 -x3271 -x3342 -x3413 -x3484 -x3555 -x3626 -x3697 -x3768 -x3839 -x3980 -x4051 -x4122 -x4193 -x4264
1381.76/1386.10 v -x4335 -x4406 -x4477 -x4548 -x4619 -x4760 -x5741 -x6512 -x7283 -x8054 -x8825 -x9596 -x9737 -x9808 -x9879 -x5050 -x5121 -x5192 -x5263
1381.76/1386.10 v -x5334 -x5405 -x5476 -x5547 -x5618 -x5689 -x5830 -x5901 -x5972 -x6043 -x6114 -x6185 -x6256 -x6327 -x6398 -x6469 -x6610 -x6681 -x6752
1381.76/1386.10 v -x6823 -x6894 -x6965 -x7036 -x7107 -x7178 -x7249 -x7390 -x7461 -x7532 -x7603 -x7674 -x7745 -x7816 -x7887 -x7958 -x8029 -x8170 -x8241
1381.76/1386.10 v -x8312 -x8383 -x8454 -x8525 -x8596 -x8667 -x8738 -x8809 -x8950 -x9021 -x9092 -x9163 -x9234 -x9305 -x9376 -x9447 -x9518 -x9589 -x9730
1381.76/1386.10 c SCIP Status : problem is solved [optimal solution found]
1381.76/1386.10 c Total Time : 1386.09
1381.76/1386.10 c solving : 1386.09
1381.76/1386.10 c presolving : 0.49 (included in solving)
1381.76/1386.10 c reading : 0.04 (included in solving)
1381.76/1386.10 c copying : 0.23 (20 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1381.76/1386.10 c Original Problem :
1381.76/1386.10 c Problem name : HOME/instance-4504215-1751485733.opb
1381.76/1386.10 c Variables : 9940 (9940 binary, 0 integer, 0 continuous)
1381.76/1386.10 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
1381.76/1386.10 c Constraints : 14846 initial, 14846 maximal
1381.76/1386.10 c Objective : minimize, 9730 non-zeros (abs.min = 1, abs.max = 1.34218e+08)
1381.76/1386.10 c Presolved Problem :
1381.76/1386.10 c Problem name : t_HOME/instance-4504215-1751485733.opb
1381.76/1386.10 c Variables : 2981 (2981 binary, 0 integer, 0 continuous)
1381.76/1386.10 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
1381.76/1386.10 c Constraints : 3667 initial, 3714 maximal
1381.76/1386.10 c Objective : minimize, 2842 non-zeros (abs.min = 4, abs.max = 1.77156e+06)
1381.76/1386.10 c Nonzeros : 46561 constraint, 70 clique table
1381.76/1386.10 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1381.76/1386.10 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c domcol : 0.06 0.00 2 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c gateextraction : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c implics : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c milp : 0.04 0.00 2 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c sparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c trivial : 0.01 0.00 9 1989 0 0 0 0 0 0 0 0
1381.76/1386.10 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c dualfix : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c probing : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c knapsack : 0.02 0.00 18 0 0 0 0 0 1987 0 6 6
1381.76/1386.10 c setppc : 0.00 0.00 18 0 0 0 0 0 1 0 0 0
1381.76/1386.10 c linear : 0.08 0.01 15 140 4830 0 140 0 9662 0 2415 2415
1381.76/1386.10 c logicor : 0.08 0.01 17 0 0 0 0 0 55 0 0 2109
1381.76/1386.10 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c root node : - - - 2721 - - 2721 - - - - -
1381.76/1386.10 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
1381.76/1386.10 c integral : 0 0 0 0 3147 0 0 738 0 0 8626 0 0 1404 5020
1381.76/1386.10 c knapsack : 676 676 44 45693 13 0 0 731 21799 318 147273 1220 172 0 0
1381.76/1386.10 c setppc : 70 70 44 25291 1 0 0 31 8439 48 23561 0 0 0 0
1381.76/1386.10 c linear : 14 14 44 45327 13 0 0 31 4329 670 31821 0 0 0 0
1381.76/1386.10 c logicor : 2907+ 2969 44 19298 13 0 0 28 11008 204 1102483 15 5 0 0
1381.76/1386.10 c fixedvar : 0 0 0 0 13 0 0 30 0 0 0 0 0 0 0
1381.76/1386.10 c countsols : 0 0 0 0 13 0 0 30 0 0 0 0 0 0 0
1381.76/1386.10 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
1381.76/1386.10 c integral : 441.18 0.00 0.00 0.00 441.17 0.00 0.00 0.00 0.00 0.00
1381.76/1386.10 c knapsack : 2.37 0.00 0.38 1.35 0.00 0.00 0.00 0.02 0.02 0.60
1381.76/1386.10 c setppc : 0.20 0.00 0.00 0.12 0.00 0.00 0.00 0.00 0.00 0.07
1381.76/1386.10 c linear : 1.53 0.01 0.59 0.74 0.00 0.00 0.00 0.00 0.01 0.19
1381.76/1386.10 c logicor : 4.50 0.01 0.02 2.89 0.00 0.00 0.00 0.01 0.00 1.58
1381.76/1386.10 c fixedvar : 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.01 0.00 0.00
1381.76/1386.10 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1381.76/1386.10 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1381.76/1386.10 c Propagators : #Propagate #ResProp Cutoffs DomReds
1381.76/1386.10 c dualfix : 5 0 0 0
1381.76/1386.10 c genvbounds : 0 0 0 0
1381.76/1386.10 c nlobbt : 0 0 0 0
1381.76/1386.10 c obbt : 0 0 0 0
1381.76/1386.10 c probing : 0 0 0 0
1381.76/1386.10 c pseudoobj : 23054 11 0 171
1381.76/1386.10 c redcost : 15215 0 0 310657
1381.76/1386.10 c rootredcost : 19 0 0 2025
1381.76/1386.10 c symmetry : 0 0 0 0
1381.76/1386.10 c vbounds : 6220 0 0 0
1381.76/1386.10 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
1381.76/1386.10 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
1381.76/1386.10 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1381.76/1386.10 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
1381.76/1386.10 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
1381.76/1386.10 c probing : 0.06 0.00 0.06 0.00 0.00 0.00
1381.76/1386.10 c pseudoobj : 0.06 0.00 0.00 0.05 0.00 0.00
1381.76/1386.10 c redcost : 1.60 0.00 0.00 1.60 0.00 0.00
1381.76/1386.10 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
1381.76/1386.10 c symmetry : 0.03 0.00 0.01 0.01 0.00 0.00
1381.76/1386.10 c vbounds : 0.02 0.00 0.00 0.02 0.00 0.01
1381.76/1386.10 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
1381.76/1386.10 c propagation : 0.04 597 596 - 1793 92.3 12 24.8 - - -
1381.76/1386.10 c infeasible LP : 0.13 103 66 - 313 128.6 0 0.0 58 372.7 0
1381.76/1386.10 c bound exceed. LP : 3.23 1630 296 - 2730 95.5 0 0.0 17 1.0 7140
1381.76/1386.10 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
1381.76/1386.10 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
1381.76/1386.10 c applied globally : 0.02 - - 17 2998 76.6 - - 75 - -
1381.76/1386.10 c applied locally : - - - 0 1 945.0 - - 0 - -
1381.76/1386.10 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
1381.76/1386.10 c cut pool : 0.38 - 1781 82 - - 10803 26217 - - - - - (maximal pool size: 2213)
1381.76/1386.10 c aggregation : 15.18 0.00 630 44 0 0 1720 7119 0 2079 2079 0 0
1381.76/1386.10 c > cmir : - - - - - - - 2947 0 566 566 0 -
1381.76/1386.10 c > flowcover : - - - - - - - 2570 0 742 742 0 -
1381.76/1386.10 c > knapsackcover : - - - - - - - 1602 0 771 771 0 -
1381.76/1386.10 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c clique : 0.00 0.00 44 44 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c gomory : 26.29 0.00 376 20 0 0 8504 16990 0 438 438 0 0
1381.76/1386.10 c > gomorymi : - - - - - - - 8015 0 229 229 0 -
1381.76/1386.10 c > strongcg : - - - - - - - 8975 0 209 209 0 -
1381.76/1386.10 c impliedbounds : 0.03 0.00 630 44 0 0 1 8 0 7 7 0 0
1381.76/1386.10 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c mcf : 0.00 0.00 3 3 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c multilinear : 0.00 0.00 162 44 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c rapidlearning : 0.02 0.00 0 0 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
1381.76/1386.10 c zerohalf : 5.88 0.00 396 40 0 0 585 2100 7 928 921 7 0
1381.76/1386.10 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
1381.76/1386.10 c hybrid : 0.02 0.00 953 42 3629 0 23830 322 0 1290
1381.76/1386.10 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
1381.76/1386.10 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
1381.76/1386.10 c Pricers : ExecTime SetupTime Calls Vars
1381.76/1386.10 c problem variables: 0.00 - 0 0
1381.76/1386.10 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
1381.76/1386.10 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1381.76/1386.10 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
1381.76/1386.10 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
1381.76/1386.10 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1381.76/1386.10 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
1381.76/1386.10 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
1381.76/1386.10 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
1381.76/1386.10 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
1381.76/1386.10 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
1381.76/1386.10 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
1381.76/1386.10 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
1381.76/1386.10 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
1381.76/1386.10 c random : 0.00 0.00 0 0 0 0 0 0 0 0
1381.76/1386.10 c relpscost : 441.17 0.00 3134 0 0 0 8626 0 1536 5020
1381.76/1386.10 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
1381.76/1386.10 c Primal Heuristics : ExecTime SetupTime Calls Found Best
1381.76/1386.10 c LP solutions : 0.01 - - 13 13
1381.76/1386.10 c relax solutions : 0.00 - - 0 0
1381.76/1386.10 c pseudo solutions : 0.00 - - 0 0
1381.76/1386.10 c strong branching : 0.01 - - 3 3
1381.76/1386.10 c actconsdiving : 0.00 0.00 0 0 0
1381.76/1386.10 c adaptivediving : 6.24 0.00 11 0 0
1381.76/1386.10 c alns : 0.21 0.00 5 0 0
1381.76/1386.10 c bound : 0.00 0.00 0 0 0
1381.76/1386.10 c clique : 0.04 0.00 1 1 1
1381.76/1386.10 c coefdiving : 0.00 0.00 0 0 0
1381.76/1386.10 c completesol : 0.00 0.00 0 0 0
1381.76/1386.10 c conflictdiving : 6.57 0.00 8 1 1
1381.76/1386.10 c crossover : 0.24 0.00 7 1 0
1381.76/1386.10 c dins : 0.00 0.00 0 0 0
1381.76/1386.10 c distributiondivin: 2.61 0.00 7 0 0
1381.76/1386.10 c dks : 0.00 0.00 0 0 0
1381.76/1386.10 c dps : 0.00 0.00 0 0 0
1381.76/1386.10 c dualval : 0.00 0.00 0 0 0
1381.76/1386.10 c farkasdiving : 11.35 0.00 2 0 0
1381.76/1386.10 c feaspump : 3.69 0.00 1 0 0
1381.76/1386.10 c fixandinfer : 0.00 0.00 0 0 0
1381.76/1386.10 c fracdiving : 1.85 0.00 8 0 0
1381.76/1386.10 c gins : 0.01 0.00 0 0 0
1381.76/1386.10 c guideddiving : 3.17 0.00 7 0 0
1381.76/1386.10 c indicator : 0.00 0.00 0 0 0
1381.76/1386.10 c indicatordiving : 0.00 0.00 0 0 0
1381.76/1386.10 c intdiving : 0.00 0.00 0 0 0
1381.76/1386.10 c intshifting : 0.00 0.00 0 0 0
1381.76/1386.10 c linesearchdiving : 4.45 0.00 8 0 0
1381.76/1386.10 c localbranching : 0.00 0.00 0 0 0
1381.76/1386.10 c locks : 0.02 0.00 1 0 0
1381.76/1386.10 c lpface : 0.00 0.00 0 0 0
1381.76/1386.10 c mpec : 0.00 0.00 0 0 0
1381.76/1386.10 c multistart : 0.00 0.00 0 0 0
1381.76/1386.10 c mutation : 0.00 0.00 0 0 0
1381.76/1386.10 c nlpdiving : 0.00 0.00 0 0 0
1381.76/1386.10 c objpscostdiving : 1.51 0.00 4 0 0
1381.76/1386.10 c octane : 0.00 0.00 0 0 0
1381.76/1386.10 c ofins : 0.00 0.00 0 0 0
1381.76/1386.10 c oneopt : 0.02 0.00 18 0 0
1381.76/1386.10 c padm : 0.00 0.00 0 0 0
1381.76/1386.10 c proximity : 0.00 0.00 0 0 0
1381.76/1386.10 c pscostdiving : 6.49 0.00 8 0 0
1381.76/1386.10 c randrounding : 0.33 0.00 738 0 0
1381.76/1386.10 c rens : 0.21 0.00 2 0 0
1381.76/1386.10 c reoptsols : 0.00 0.00 0 0 0
1381.76/1386.10 c repair : 0.00 0.00 0 0 0
1381.76/1386.10 c rins : 0.69 0.00 6 3 0
1381.76/1386.10 c rootsoldiving : 91.64 0.00 1 0 0
1381.76/1386.10 c rounding : 0.45 0.00 915 0 0
1381.76/1386.10 c scheduler : 0.00 0.00 0 0 0
1381.76/1386.10 c shiftandpropagate: 0.00 0.00 0 0 0
1381.76/1386.10 c shifting : 4.68 0.00 467 0 0
1381.76/1386.10 c simplerounding : 0.00 0.00 0 0 0
1381.76/1386.10 c subnlp : 0.00 0.00 0 0 0
1381.76/1386.10 c trivial : 0.01 0.00 4 0 0
1381.76/1386.10 c trivialnegation : 0.00 0.00 0 0 0
1381.76/1386.10 c trustregion : 0.00 0.00 0 0 0
1381.76/1386.10 c trysol : 0.00 0.00 0 0 0
1381.76/1386.10 c twoopt : 0.00 0.00 0 0 0
1381.76/1386.10 c undercover : 0.00 0.00 0 0 0
1381.76/1386.10 c vbounds : 0.00 0.00 0 0 0
1381.76/1386.10 c veclendiving : 1.69 0.00 8 0 0
1381.76/1386.10 c zeroobj : 0.00 0.00 0 0 0
1381.76/1386.10 c zirounding : 0.12 0.00 1000 0 0
1381.76/1386.10 c other solutions : - - - 0 -
1381.76/1386.10 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
1381.76/1386.10 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
1381.76/1386.10 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
1381.76/1386.10 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
1381.76/1386.10 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
1381.76/1386.10 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
1381.76/1386.10 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
1381.76/1386.10 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
1381.76/1386.10 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
1381.76/1386.10 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
1381.76/1386.10 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
1381.76/1386.10 c primal LP : 1.02 348 0 0.00 0.00 1.02 348
1381.76/1386.10 c dual LP : 729.23 10422 3309026 538.14 4537.70 4.84 4273
1381.76/1386.10 c lex dual LP : 0.00 0 0 0.00 -
1381.76/1386.10 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1381.76/1386.10 c resolve instable : 0.00 0 0 0.00 -
1381.76/1386.10 c diving/probing LP: 140.07 1285 740402 576.19 5285.80
1381.76/1386.10 c strong branching : 426.64 4361 1788008 410.00 4190.93 - - 2443
1381.76/1386.10 c (at root node) : - 39 34050 873.08 -
1381.76/1386.10 c conflict analysis: 1.78 715 7140 9.99 4019.81
1381.76/1386.10 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
1381.76/1386.10 c benders : 0.00 0 0 0 0.00 0 0 0
1381.76/1386.10 c B&B Tree :
1381.76/1386.10 c number of runs : 2
1381.76/1386.10 c nodes : 1877 (962 internal, 915 leaves)
1381.76/1386.10 c feasible leaves : 1
1381.76/1386.10 c infeas. leaves : 254
1381.76/1386.10 c objective leaves : 660
1381.76/1386.10 c nodes (total) : 4463 (2510 internal, 1953 leaves)
1381.76/1386.10 c nodes left : 0
1381.76/1386.10 c max depth : 74
1381.76/1386.10 c max depth (total): 105
1381.76/1386.10 c backtracks : 254 (13.5%)
1381.76/1386.10 c early backtracks : 0 (0.0%)
1381.76/1386.10 c nodes exc. ref. : 0 (0.0%)
1381.76/1386.10 c delayed cutoffs : 2
1381.76/1386.10 c repropagations : 476 (8582 domain reductions, 2 cutoffs)
1381.76/1386.10 c avg switch length: 4.49
1381.76/1386.10 c switching time : 4.08
1381.76/1386.10 c Root Node :
1381.76/1386.10 c First LP value : +1.91693849607527e+06
1381.76/1386.10 c First LP Iters : 7116 (4376.36 Iter/sec)
1381.76/1386.10 c First LP Time : 1.63
1381.76/1386.10 c Final Dual Bound : +2.44269206855149e+06
1381.76/1386.10 c Final Root Iters : 36666
1381.76/1386.10 c Root LP Estimate : +6.89875617444361e+06
1381.76/1386.10 c Solution :
1381.76/1386.10 c Solutions found : 22 (18 improvements)
1381.76/1386.10 c First Solution : +2.08946847000000e+08 (in run 1, after 1 nodes, 0.43 seconds, depth 6, found by <clique>)
1381.76/1386.10 c Gap First Sol. : infinite
1381.76/1386.10 c Gap Last Sol. : 68.49 %
1381.76/1386.10 c Primal Bound : +4.24163100000000e+06 (in run 2, after 1445 nodes, 1267.46 seconds, depth 52, found by <relaxation>)
1381.76/1386.10 c Dual Bound : +4.24163100000000e+06
1381.76/1386.10 c Gap : 0.00 %
1381.76/1386.10 c Integrals : Total Avg%
1381.76/1386.10 c primal-dual : 81132.75 58.53
1381.76/1386.10 c primal-ref : - - (not evaluated)
1381.76/1386.10 c dual-ref : - - (not evaluated)
1381.86/1386.14 c Time complete (sec): 1381.908
OK 4241631
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 (61425 MiB free)
memory of node 1: 64465 MiB (63206 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504215-1751485733/watcher-4504215-1751485733 -o /tmp/evaluation-result-4504215-1751485733/solver-4504215-1751485733 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751482618-67603 --watchdog 3760 pbsolver -f HOME/instance-4504215-1751485733.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=67859, runsolver pid=67856
[startup+0.100065 s]*
/proc/loadavg: 4.09 4.13 4.09 5/263 67860
/proc/meminfo: memFree=127566968/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=70348 memory=59936 CPUtime=0.08 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 12913 0 0 0 7 1 0 0 20 0 1 0 64251728 72036352 14984 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 17587 14984 2432 2575 0 14494 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 70348 KiB
Current children cumulated memory: 59936 KiB
[startup+0.205489 s]*
/proc/loadavg: 4.09 4.13 4.09 5/263 67860
/proc/meminfo: memFree=127550840/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=84568 memory=74700 CPUtime=0.19 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 18762 0 0 0 17 2 0 0 20 0 1 0 64251728 86597632 18675 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 21142 18675 2592 2575 0 18049 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 84568 KiB
Current children cumulated memory: 74700 KiB
[startup+0.305408 s]*
/proc/loadavg: 4.09 4.13 4.09 5/263 67860
/proc/meminfo: memFree=127550840/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=85812 memory=75724 CPUtime=0.29 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 19047 0 0 0 27 2 0 0 20 0 1 0 64251728 87871488 18931 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 21453 18931 2592 2575 0 18360 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 85812 KiB
Current children cumulated memory: 75724 KiB
[startup+0.70011 s]
/proc/loadavg: 4.09 4.13 4.09 5/263 67860
/proc/meminfo: memFree=127512284/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=128048 memory=107608 CPUtime=0.68 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 27700 0 0 0 64 4 0 0 20 0 1 0 64251728 131121152 26902 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 32012 26902 2656 2575 0 28919 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 128048 KiB
Current children cumulated memory: 107608 KiB
[startup+1.5001 s]
/proc/loadavg: 4.09 4.13 4.09 5/263 67860
/proc/meminfo: memFree=127512044/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=129124 memory=108504 CPUtime=1.48 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 27918 0 0 0 144 4 0 0 20 0 1 0 64251728 132222976 27126 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 32281 27126 2656 2575 0 29188 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 129124 KiB
Current children cumulated memory: 108504 KiB
[startup+3.10523 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 67860
/proc/meminfo: memFree=127487740/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=136664 memory=114136 CPUtime=3.08 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 29339 0 0 0 304 4 0 0 20 0 1 0 64251728 139943936 28534 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 34166 28534 2656 2575 0 31073 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 136664 KiB
Current children cumulated memory: 114136 KiB
[startup+6.30016 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 67860
/proc/meminfo: memFree=127479708/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=150040 memory=125784 CPUtime=6.26 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 32313 0 0 0 622 4 0 0 20 0 1 0 64251728 153640960 31446 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 37510 31446 2656 2575 0 34417 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 150040 KiB
Current children cumulated memory: 125784 KiB
[startup+12.7001 s]
/proc/loadavg: 4.15 4.14 4.10 5/263 67860
/proc/meminfo: memFree=127471644/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=155048 memory=130776 CPUtime=12.65 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 33572 0 0 0 1260 5 0 0 20 0 1 0 64251728 158769152 32694 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 38762 32694 2656 2575 0 35669 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 155048 KiB
Current children cumulated memory: 130776 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.13 4.09 5/263 67860
/proc/meminfo: memFree=127435180/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=176868 memory=152152 CPUtime=25.42 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 38882 0 0 0 2536 6 0 0 20 0 1 0 64251728 181112832 38038 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 44217 38038 2688 2575 0 41124 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 176868 KiB
Current children cumulated memory: 152152 KiB
[startup+51.1053 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 67861
/proc/meminfo: memFree=127422676/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=176868 memory=152152 CPUtime=50.96 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 38899 0 0 0 5090 6 0 0 20 0 1 0 64251728 181112832 38038 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 44217 38038 2688 2575 0 41124 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 176868 KiB
Current children cumulated memory: 152152 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/263 67862
/proc/meminfo: memFree=127402964/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=182644 memory=165432 CPUtime=102.01 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 42628 0 0 0 10195 6 0 0 20 0 1 0 64251728 187027456 41358 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 45661 41358 2688 2575 0 42568 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 182644 KiB
Current children cumulated memory: 165432 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 67864
/proc/meminfo: memFree=127405204/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=186632 memory=175800 CPUtime=161.87 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 43669 0 0 0 16180 7 0 0 20 0 1 0 64251728 191111168 43950 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 46658 43950 2688 2575 0 43565 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 186632 KiB
Current children cumulated memory: 175800 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 67867
/proc/meminfo: memFree=127377704/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=211960 memory=199904 CPUtime=221.72 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 50287 0 0 0 22164 8 0 0 20 0 1 0 64251728 217047040 49976 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 52990 49976 2688 2575 0 49897 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 211960 KiB
Current children cumulated memory: 199904 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 67869
/proc/meminfo: memFree=127402708/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=213412 memory=202208 CPUtime=281.58 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 50960 0 0 0 28150 8 0 0 20 0 1 0 64251728 218533888 50552 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 53353 50552 2688 2575 0 50260 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 213412 KiB
Current children cumulated memory: 202208 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/265 67872
/proc/meminfo: memFree=127397896/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=213412 memory=202592 CPUtime=341.43 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 51072 0 0 0 34135 8 0 0 20 0 1 0 64251728 218533888 50648 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 53353 50648 2688 2575 0 50260 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 213412 KiB
Current children cumulated memory: 202592 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 67876
/proc/meminfo: memFree=127398536/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=213412 memory=202592 CPUtime=401.29 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 51075 0 0 0 40121 8 0 0 20 0 1 0 64251728 218533888 50648 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 53353 50648 2688 2575 0 50260 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 213412 KiB
Current children cumulated memory: 202592 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 67878
/proc/meminfo: memFree=127348228/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=225428 memory=214624 CPUtime=461.13 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 54074 0 0 0 46104 9 0 0 20 0 1 0 64251728 230838272 53656 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 56357 53656 2688 2575 0 53264 0
Current children cumulated CPU time: 461.13 s
################
# More data... #
################
/proc/loadavg: 4.11 4.09 4.09 5/263 68186
/proc/meminfo: memFree=119981968/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=261168 memory=248864 CPUtime=999.33 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 63346 0 0 0 99923 10 0 0 20 0 1 0 64251728 267436032 62216 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 65292 62216 2944 2575 0 62199 0
Current children cumulated CPU time: 999.33 s
Current children cumulated vsize: 261168 KiB
Current children cumulated memory: 248864 KiB
[startup+1062.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/263 68188
/proc/meminfo: memFree=118184192/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=261168 memory=248864 CPUtime=1059.13 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 63346 0 0 0 105903 10 0 0 20 0 1 0 64251728 267436032 62216 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 65292 62216 2944 2575 0 62199 0
Current children cumulated CPU time: 1059.13 s
Current children cumulated vsize: 261168 KiB
Current children cumulated memory: 248864 KiB
[startup+1122.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 68191
/proc/meminfo: memFree=118198016/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=261168 memory=248864 CPUtime=1118.93 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 63346 0 0 0 111883 10 0 0 20 0 1 0 64251728 267436032 62216 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 65292 62216 2944 2575 0 62199 0
Current children cumulated CPU time: 1118.93 s
Current children cumulated vsize: 261168 KiB
Current children cumulated memory: 248864 KiB
[startup+1182.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 68194
/proc/meminfo: memFree=115809324/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=261168 memory=248992 CPUtime=1178.73 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 63351 0 0 0 117863 10 0 0 20 0 1 0 64251728 267436032 62248 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 65292 62248 2944 2575 0 62199 0
Current children cumulated CPU time: 1178.73 s
Current children cumulated vsize: 261168 KiB
Current children cumulated memory: 248992 KiB
[startup+1242.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 68200
/proc/meminfo: memFree=115750492/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=261784 memory=249632 CPUtime=1238.53 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 63518 0 0 0 123843 10 0 0 20 0 1 0 64251728 268066816 62408 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 65446 62408 2944 2575 0 62353 0
Current children cumulated CPU time: 1238.53 s
Current children cumulated vsize: 261784 KiB
Current children cumulated memory: 249632 KiB
[startup+1302.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/265 68202
/proc/meminfo: memFree=115759904/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=265560 memory=252192 CPUtime=1298.33 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 64226 0 0 0 129822 11 0 0 20 0 1 0 64251728 271933440 63048 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 66390 63048 2944 2575 0 63297 0
Current children cumulated CPU time: 1298.33 s
Current children cumulated vsize: 265560 KiB
Current children cumulated memory: 252192 KiB
[startup+1362.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 68205
/proc/meminfo: memFree=115749732/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=268380 memory=255008 CPUtime=1358.13 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 64988 0 0 0 135802 11 0 0 20 0 1 0 64251728 274821120 63752 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 67095 63752 2944 2575 0 64002 0
Current children cumulated CPU time: 1358.13 s
Current children cumulated vsize: 268380 KiB
Current children cumulated memory: 255008 KiB
[startup+1386.15 s]
# the end of solver process 67859 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1381.79 s, system=0.118649 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1369.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 68205
/proc/meminfo: memFree=115749868/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=268380 memory=255008 CPUtime=1365.41 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 64988 0 0 0 136530 11 0 0 20 0 1 0 64251728 274821120 63752 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 67095 63752 2944 2575 0 64002 0
Current children cumulated CPU time: 1365.41 s
Current children cumulated vsize: 268380 KiB
Current children cumulated memory: 255008 KiB
[startup+1376 s]*
/proc/loadavg: 4.10 4.09 4.09 5/266 68206
/proc/meminfo: memFree=115752800/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=268380 memory=255008 CPUtime=1371.79 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 64989 0 0 0 137168 11 0 0 20 0 1 0 64251728 274821120 63752 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 67095 63752 2944 2575 0 64002 0
Current children cumulated CPU time: 1371.79 s
Current children cumulated vsize: 268380 KiB
Current children cumulated memory: 255008 KiB
[startup+1382.4 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 68206
/proc/meminfo: memFree=115752800/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=268380 memory=255008 CPUtime=1378.17 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 64992 0 0 0 137806 11 0 0 20 0 1 0 64251728 274821120 63752 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 67095 63752 2944 2575 0 64002 0
Current children cumulated CPU time: 1378.17 s
Current children cumulated vsize: 268380 KiB
Current children cumulated memory: 255008 KiB
[startup+1384 s]*
/proc/loadavg: 4.08 4.08 4.09 5/266 68206
/proc/meminfo: memFree=115753052/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=268380 memory=255008 CPUtime=1379.77 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 64992 0 0 0 137966 11 0 0 20 0 1 0 64251728 274821120 63752 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 67095 63752 2944 2575 0 64002 0
Current children cumulated CPU time: 1379.77 s
Current children cumulated vsize: 268380 KiB
Current children cumulated memory: 255008 KiB
[startup+1384.8 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 68206
/proc/meminfo: memFree=115753052/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=268380 memory=255008 CPUtime=1380.56 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 64992 0 0 0 138045 11 0 0 20 0 1 0 64251728 274821120 63752 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 67095 63752 2944 2575 0 64002 0
Current children cumulated CPU time: 1380.56 s
Current children cumulated vsize: 268380 KiB
Current children cumulated memory: 255008 KiB
[startup+1385.6 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 68206
/proc/meminfo: memFree=115753060/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=268380 memory=255008 CPUtime=1381.36 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 64992 0 0 0 138125 11 0 0 20 0 1 0 64251728 274821120 63752 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 67095 63752 2944 2575 0 64002 0
Current children cumulated CPU time: 1381.36 s
Current children cumulated vsize: 268380 KiB
Current children cumulated memory: 255008 KiB
[startup+1386 s]*
/proc/loadavg: 4.08 4.08 4.09 5/266 68206
/proc/meminfo: memFree=115752068/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=268380 memory=255008 CPUtime=1381.76 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 64992 0 0 0 138165 11 0 0 20 0 1 0 64251728 274821120 63752 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 67095 63752 2944 2575 0 64002 0
Current children cumulated CPU time: 1381.76 s
Current children cumulated vsize: 268380 KiB
Current children cumulated memory: 255008 KiB
[startup+1386.11 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 68206
/proc/meminfo: memFree=115752068/131249996 swapFree=33010160/33010684
[pid=67859] ppid=67856 vsize=268380 memory=255008 CPUtime=1381.86 cores=5,7
/proc/67859/stat : 67859 (pbsolver) R 67856 67859 67590 0 -1 4194304 64992 0 0 0 138175 11 0 0 20 0 1 0 64251728 274821120 63752 18446744073709551615 4198400 14743177 140723491472624 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 28508160 140723491481994 140723491482090 140723491482090 140723491487692 0
/proc/67859/statm: 67095 63752 2944 2575 0 64002 0
Current children cumulated CPU time: 1381.86 s
Current children cumulated vsize: 268380 KiB
Current children cumulated memory: 255008 KiB
Child status: 0
Real time (s): 1386.15
CPU time (s): 1381.91
CPU user time (s): 1381.79
CPU system time (s): 0.118649
CPU usage (%): 99.6942
Max. virtual memory (cumulated for all children) (KiB): 268380
Max. memory (cumulated for all children) (KiB): 255008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1381.79
system time used= 0.118649
maximum resident set size= 255008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64999
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= 40
involuntary context switches= 801
# summary of solver processes directly reported to runsolver:
# pid: 67859
# total CPU time (s): 1381.91
# total CPU user time (s): 1381.79
# total CPU system time (s): 0.118649
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.18961 second user time and 6.27073 second system time
The end
Begin job on nodeC029 at 2025-07-02 21:48:53 IDJOB=4504215 IDBENCH=155636 IDSOLVER=3366 FILE ID=nodeC029/4504215-1751485733 RUNJOBID= nodeC029-1751482618-67603 SLURM_JOB_ID= 9598529 Free space on /tmp= 432216 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_0.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504215-1751485733/watcher-4504215-1751485733 -o /tmp/evaluation-result-4504215-1751485733/solver-4504215-1751485733 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751482618-67603 --watchdog 3760 pbsolver -f HOME/instance-4504215-1751485733.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 26289d562a21d461fc03dcfb0c556d93 RANDOM SEED=873298409 nodeC029 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.721 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.721 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.46 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.921 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.46 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 : 3577.881 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.46 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.683 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.46 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 : 3391.443 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.46 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 : 3602.550 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.729 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 127622848 kB MemAvailable: 128443796 kB Buffers: 2128 kB Cached: 1621112 kB SwapCached: 40 kB Active: 1848176 kB Inactive: 1181584 kB Active(anon): 1419772 kB Inactive(anon): 4768 kB Active(file): 428404 kB Inactive(file): 1176816 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 15708 kB Writeback: 0 kB AnonPages: 1406548 kB Mapped: 138864 kB Shmem: 18020 kB KReclaimable: 109932 kB Slab: 198428 kB SReclaimable: 109932 kB SUnreclaim: 88496 kB KernelStack: 4272 kB PageTables: 5888 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1804648 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1261568 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: 193236 kB DirectMap2M: 11112448 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432124 MiB End job on nodeC029 at 2025-07-02 22:11:59