Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT | 1134361600 | 1789.95 | 1790.42 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb |
| MD5SUM | 6eba7367ef128fb0872fe815e4ef2398 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1207959552 |
| Best CPU time to get the best result obtained on this benchmark | 1802.1 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1207959552 |
| Optimality of the best value was proved | NO |
| Number of variables | 6651 |
| Total number of constraints | 721 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 331 |
| Number of constraints which are nor clauses,nor cardinality constraints | 390 |
| Minimum length of a constraint | 20 |
| Maximum length of a constraint | 6651 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 1073741824 |
| Number of bits for the biggest coefficient in the objective function | 31 |
| Sum of the numbers in the objective function | 2147483647 |
| Number of bits of the sum of numbers in the objective function | 31 |
| Biggest number in a constraint | 1073741824 |
| Number of bits of the biggest number in a constraint | 31 |
| Biggest sum of numbers in a constraint | 26715880447 |
| Number of bits of the biggest sum of numbers | 35 |
| 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 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2703614-1278560710.opb>
0.29/0.38 c original problem has 6651 variables (6651 bin, 0 int, 0 impl, 0 cont) and 721 constraints
0.29/0.38 c problem read
0.29/0.38 c presolving settings loaded
0.49/0.54 c presolving:
0.69/0.70 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 90897 chg coeffs, 0 upgd conss, 0 impls, 331 clqs
0.79/0.89 c (round 2) 0 del vars, 184 del conss, 0 chg bounds, 55 chg sides, 90897 chg coeffs, 0 upgd conss, 0 impls, 331 clqs
0.89/0.90 c (round 3) 20 del vars, 185 del conss, 0 chg bounds, 55 chg sides, 90897 chg coeffs, 0 upgd conss, 0 impls, 330 clqs
0.99/1.02 c (round 4) 20 del vars, 185 del conss, 0 chg bounds, 55 chg sides, 90897 chg coeffs, 536 upgd conss, 0 impls, 330 clqs
3.29/3.32 c (round 5) 20 del vars, 185 del conss, 0 chg bounds, 75 chg sides, 157162 chg coeffs, 536 upgd conss, 13240 impls, 330 clqs
3.69/3.74 c (round 6) 30 del vars, 185 del conss, 0 chg bounds, 75 chg sides, 157162 chg coeffs, 536 upgd conss, 13240 impls, 330 clqs
4.79/4.89 c (4.5s) probing: 102/6621 (1.5%) - 1 fixings, 0 aggregations, 0 implications, 0 bound changes
4.79/4.89 c (4.5s) probing aborted: 100/100 successive totally useless probings
4.79/4.89 c (round 7) 31 del vars, 185 del conss, 0 chg bounds, 75 chg sides, 157162 chg coeffs, 536 upgd conss, 13240 impls, 330 clqs
5.09/5.13 c (4.8s) probing: 112/6621 (1.7%) - 1 fixings, 0 aggregations, 0 implications, 0 bound changes
5.09/5.13 c (4.8s) probing aborted: 100/100 successive totally useless probings
5.09/5.13 c presolving (8 rounds):
5.09/5.13 c 31 deleted vars, 185 deleted constraints, 0 tightened bounds, 0 added holes, 75 changed sides, 157162 changed coefficients
5.09/5.13 c 13240 implications, 330 cliques
5.09/5.13 c presolved problem has 6620 variables (6620 bin, 0 int, 0 impl, 0 cont) and 536 constraints
5.09/5.13 c 183 constraints of type <knapsack>
5.09/5.13 c 330 constraints of type <setppc>
5.09/5.13 c 23 constraints of type <logicor>
5.09/5.13 c transformed objective value is always integral (scale: 1024)
5.09/5.13 c Presolving Time: 4.64
5.09/5.13 c - non default parameters ----------------------------------------------------------------------
5.09/5.13 c # SCIP version 1.2.1.3
5.09/5.13 c
5.09/5.13 c # frequency for displaying node information lines
5.09/5.13 c # [type: int, range: [-1,2147483647], default: 100]
5.09/5.13 c display/freq = 10000
5.09/5.13 c
5.09/5.13 c # maximal time in seconds to run
5.09/5.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.09/5.13 c limits/time = 1789.63
5.09/5.13 c
5.09/5.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.09/5.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.09/5.13 c limits/memory = 1620
5.09/5.13 c
5.09/5.13 c # default clock type (1: CPU user seconds, 2: wall clock time)
5.09/5.13 c # [type: int, range: [1,2], default: 1]
5.09/5.13 c timing/clocktype = 2
5.09/5.13 c
5.09/5.13 c # should presolving try to simplify inequalities
5.09/5.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.09/5.13 c constraints/linear/simplifyinequalities = TRUE
5.09/5.13 c
5.09/5.13 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
5.09/5.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.09/5.13 c constraints/indicator/addCouplingCons = TRUE
5.09/5.13 c
5.09/5.13 c # should presolving try to simplify knapsacks
5.09/5.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.09/5.13 c constraints/knapsack/simplifyinequalities = TRUE
5.09/5.13 c
5.09/5.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.09/5.13 c # [type: int, range: [-1,2147483647], default: -1]
5.09/5.13 c separating/rapidlearning/freq = 0
5.09/5.13 c
5.09/5.13 c -----------------------------------------------------------------------------------------------
5.09/5.13 c start solving
5.09/5.14 c
5.29/5.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.29/5.39 c 5.0s| 1 | 0 | 305 | - | 43M| 0 | 70 |6620 | 536 |6620 | 536 | 0 | 0 | 0 | 1.124601e+09 | -- | Inf
5.40/5.43 o 1610612736
5.40/5.43 c s 5.0s| 1 | 0 | 305 | - | 43M| 0 | 70 |6620 | 536 |6620 | 536 | 0 | 0 | 0 | 1.124601e+09 | 1.610613e+09 | 43.22%
20.38/20.43 c 20.1s| 1 | 0 | 356 | - | 44M| 0 | 84 |6620 | 536 |6620 | 562 | 26 | 0 | 0 | 1.124651e+09 | 1.610613e+09 | 43.21%
33.59/33.64 c 33.3s| 1 | 0 | 430 | - | 45M| 0 | 97 |6620 | 536 |6620 | 585 | 49 | 0 | 0 | 1.124824e+09 | 1.610613e+09 | 43.19%
47.08/47.12 c 46.7s| 1 | 0 | 495 | - | 45M| 0 | 104 |6620 | 536 |6620 | 602 | 66 | 0 | 0 | 1.124882e+09 | 1.610613e+09 | 43.18%
60.57/60.60 c 60.2s| 1 | 0 | 578 | - | 45M| 0 | 96 |6620 | 536 |6620 | 615 | 79 | 0 | 0 | 1.125008e+09 | 1.610613e+09 | 43.16%
74.37/74.41 c 74.0s| 1 | 0 | 659 | - | 45M| 0 | 100 |6620 | 536 |6620 | 623 | 87 | 0 | 0 | 1.125067e+09 | 1.610613e+09 | 43.16%
87.88/87.90 c 87.5s| 1 | 0 | 697 | - | 46M| 0 | 107 |6620 | 536 |6620 | 630 | 94 | 0 | 0 | 1.125078e+09 | 1.610613e+09 | 43.16%
101.37/101.40 c 101s| 1 | 0 | 716 | - | 46M| 0 | 115 |6620 | 536 |6620 | 635 | 99 | 0 | 0 | 1.125080e+09 | 1.610613e+09 | 43.16%
115.27/115.35 c 115s| 1 | 0 | 745 | - | 46M| 0 | 107 |6620 | 536 |6620 | 638 | 102 | 0 | 0 | 1.125100e+09 | 1.610613e+09 | 43.15%
128.36/128.44 c 128s| 1 | 0 | 748 | - | 46M| 0 | 105 |6620 | 536 |6620 | 639 | 103 | 0 | 0 | 1.125100e+09 | 1.610613e+09 | 43.15%
142.06/142.13 c 142s| 1 | 0 | 749 | - | 46M| 0 | 107 |6620 | 536 |6620 | 640 | 104 | 0 | 0 | 1.125100e+09 | 1.610613e+09 | 43.15%
154.55/154.67 c 154s| 1 | 0 | 755 | - | 46M| 0 | 105 |6620 | 536 |6620 | 634 | 105 | 0 | 0 | 1.125100e+09 | 1.610613e+09 | 43.15%
167.25/167.34 c 167s| 1 | 0 | 759 | - | 46M| 0 | 110 |6620 | 536 |6620 | 637 | 108 | 0 | 0 | 1.125100e+09 | 1.610613e+09 | 43.15%
179.85/179.93 c 180s| 1 | 0 | 761 | - | 46M| 0 | 111 |6620 | 536 |6620 | 639 | 110 | 0 | 0 | 1.125100e+09 | 1.610613e+09 | 43.15%
184.65/184.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.65/184.79 c 184s| 1 | 2 | 4080 | - | 46M| 0 | 111 |6620 | 536 |6620 | 639 | 110 | 0 | 30 | 1.125100e+09 | 1.610613e+09 | 43.15%
186.24/186.31 o 1344274432
186.24/186.31 c R 186s| 4 | 3 | 4195 |1144.7 | 46M| 3 | 96 |6620 | 536 |6620 | 606 | 110 | 0 | 77 | 1.125180e+09 | 1.344274e+09 | 19.47%
187.14/187.24 o 1342177280
187.14/187.24 c b 187s| 5 | 4 | 4195 | 858.5 | 46M| 4 | - |6620 | 536 |6620 | 606 | 110 | 0 | 94 | 1.125180e+09 | 1.342177e+09 | 19.29%
187.64/187.79 o 1210056704
187.64/187.79 c R 187s| 5 | 4 | 4235 | 868.5 | 46M| 4 | 97 |6620 | 536 |6620 | 606 | 110 | 0 | 109 | 1.125180e+09 | 1.210057e+09 | 7.54%
188.65/188.73 o 1207959552
188.65/188.73 c b 188s| 5 | 6 | 4235 | 868.5 | 47M| 4 | 97 |6620 | 536 |6620 | 606 | 110 | 0 | 127 | 1.125180e+09 | 1.207960e+09 | 7.36%
199.64/199.70 o 1174405120
199.64/199.70 c c 199s| 16 | 17 | 5222 | 297.4 | 47M| 15 | - |6620 | 536 |6620 | 606 | 110 | 0 | 345 | 1.125180e+09 | 1.174405e+09 | 4.37%
199.64/199.79 o 1157627904
199.64/199.79 c c 199s| 16 | 17 | 5223 | 297.5 | 47M| 15 | - |6620 | 536 |6620 | 606 | 110 | 0 | 345 | 1.125180e+09 | 1.157628e+09 | 2.88%
199.74/199.89 o 1149239296
199.74/199.89 c c 200s| 16 | 17 | 5224 | 297.5 | 47M| 15 | - |6620 | 536 |6620 | 606 | 110 | 0 | 345 | 1.125180e+09 | 1.149239e+09 | 2.14%
199.94/200.00 o 1145044992
199.94/200.00 c c 200s| 16 | 17 | 5225 | 297.6 | 47M| 15 | - |6620 | 536 |6620 | 606 | 110 | 0 | 345 | 1.125180e+09 | 1.145045e+09 | 1.77%
200.05/200.17 o 1143996416
200.05/200.17 c c 200s| 16 | 17 | 5227 | 297.7 | 47M| 15 | - |6620 | 536 |6620 | 606 | 110 | 0 | 345 | 1.125180e+09 | 1.143996e+09 | 1.67%
200.34/200.48 o 1143865344
200.34/200.48 c c 200s| 16 | 17 | 5230 | 297.9 | 47M| 15 | - |6620 | 536 |6620 | 606 | 110 | 0 | 345 | 1.125180e+09 | 1.143865e+09 | 1.66%
200.74/200.87 o 1143864320
200.74/200.87 c c 200s| 16 | 17 | 5237 | 298.4 | 48M| 15 | - |6620 | 536 |6620 | 606 | 110 | 0 | 345 | 1.125180e+09 | 1.143864e+09 | 1.66%
211.15/211.28 o 1142423552
211.15/211.28 c p 211s| 29 | 30 | 6548 | 206.7 | 48M| 15 | - |6620 | 536 |6620 | 606 | 110 | 0 | 541 | 1.125227e+09 | 1.142424e+09 | 1.53%
211.34/211.40 o 1137704960
211.34/211.40 c p 211s| 29 | 30 | 6551 | 206.8 | 48M| 15 | - |6620 | 536 |6620 | 606 | 110 | 0 | 541 | 1.125227e+09 | 1.137705e+09 | 1.11%
211.74/211.84 o 1137702912
211.74/211.84 c p 211s| 29 | 30 | 6563 | 207.2 | 48M| 15 | - |6620 | 540 |6620 | 606 | 110 | 4 | 541 | 1.125227e+09 | 1.137703e+09 | 1.11%
212.34/212.48 o 1137639424
212.34/212.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
212.34/212.48 c b 212s| 29 | 30 | 6565 | 207.3 | 48M| 15 | 54 |6620 | 545 |6620 | 606 | 110 | 9 | 541 | 1.125227e+09 | 1.137639e+09 | 1.10%
263.93/264.08 o 1136656384
263.93/264.08 c f 264s| 141 | 141 | 15700 | 106.7 | 49M| 25 | - |6620 | 553 |6620 | 606 | 110 | 17 |1842 | 1.125227e+09 | 1.136656e+09 | 1.02%
264.12/264.20 o 1135607808
264.12/264.20 c f 264s| 141 | 141 | 15702 | 106.7 | 50M| 25 | - |6620 | 553 |6620 | 606 | 110 | 17 |1842 | 1.125227e+09 | 1.135608e+09 | 0.92%
264.22/264.37 o 1135083520
264.22/264.37 c f 264s| 141 | 141 | 15703 | 106.7 | 50M| 25 | - |6620 | 553 |6620 | 606 | 110 | 17 |1842 | 1.125227e+09 | 1.135084e+09 | 0.88%
264.42/264.56 o 1135017984
264.42/264.56 c f 264s| 141 | 141 | 15706 | 106.8 | 50M| 25 | - |6620 | 553 |6620 | 606 | 110 | 17 |1842 | 1.125227e+09 | 1.135018e+09 | 0.87%
264.62/264.77 o 1135016960
264.62/264.77 c f 264s| 141 | 141 | 15712 | 106.8 | 50M| 25 | - |6620 | 553 |6620 | 606 | 110 | 17 |1842 | 1.125227e+09 | 1.135017e+09 | 0.87%
703.02/703.23 o 1134821376
703.02/703.23 c c 703s| 928 | 922 | 78593 | 84.0 | 56M| 31 | - |6620 | 721 |6620 | 606 | 110 | 185 |3373 | 1.125298e+09 | 1.134821e+09 | 0.85%
703.12/703.37 o 1134690304
703.12/703.37 c c 703s| 928 | 922 | 78594 | 84.0 | 57M| 31 | - |6620 | 721 |6620 | 606 | 110 | 185 |3373 | 1.125298e+09 | 1.134690e+09 | 0.83%
703.32/703.50 o 1134689280
703.32/703.50 c c 703s| 928 | 922 | 78601 | 84.0 | 57M| 31 | - |6620 | 721 |6620 | 606 | 110 | 185 |3373 | 1.125298e+09 | 1.134689e+09 | 0.83%
800.78/801.02 o 1134559232
800.78/801.02 c c 801s| 1114 | 1106 | 97181 | 86.6 | 57M| 31 | - |6620 | 733 |6620 | 606 | 110 | 197 |3479 | 1.125298e+09 | 1.134559e+09 | 0.82%
801.08/801.30 o 1134526464
801.08/801.30 c c 801s| 1114 | 1106 | 97187 | 86.6 | 58M| 31 | - |6620 | 733 |6620 | 606 | 110 | 197 |3479 | 1.125298e+09 | 1.134526e+09 | 0.82%
801.28/801.58 o 1134525440
801.28/801.58 c c 801s| 1114 | 1106 | 97192 | 86.6 | 58M| 31 | - |6620 | 733 |6620 | 606 | 110 | 197 |3479 | 1.125298e+09 | 1.134525e+09 | 0.82%
1458.61/1459.06 o 1134428160
1458.61/1459.06 c c1459s| 2032 | 2023 |214233 | 105.1 | 63M| 53 | - |6620 | 763 |6620 | 606 | 110 | 227 |4026 | 1.125336e+09 | 1.134428e+09 | 0.81%
1458.91/1459.35 o 1134362624
1458.91/1459.35 c c1459s| 2032 | 2020 |214234 | 105.1 | 63M| 53 | - |6620 | 763 |6620 | 606 | 110 | 227 |4026 | 1.125336e+09 | 1.134363e+09 | 0.80%
1459.21/1459.64 o 1134361600
1459.21/1459.64 c c1459s| 2032 | 2020 |214240 | 105.1 | 63M| 53 | - |6620 | 763 |6620 | 606 | 110 | 227 |4026 | 1.125336e+09 | 1.134362e+09 | 0.80%
1789.72/1790.21 c
1789.72/1790.21 c SCIP Status : solving was interrupted [time limit reached]
1789.72/1790.21 c Solving Time (sec) : 1789.83
1789.72/1790.21 c Solving Nodes : 2459
1789.72/1790.21 c Primal Bound : +1.13436160000000e+09 (49 solutions)
1789.72/1790.21 c Dual Bound : +1.12533632000000e+09
1789.72/1790.21 c Gap : 0.80 %
1789.72/1790.26 s SATISFIABLE
1789.72/1790.26 v -x6278 -x6277 -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6264 x6263 -x6262 -x6261 -x6260 -x6259 -x6258
1789.72/1790.26 v -x6257 -x6256 -x6255 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6241 -x6240 -x6239 -x6238 -x6237
1789.72/1790.26 v -x6236 -x6235 -x6234 -x6233 -x6232 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6219 -x6218
1789.72/1790.26 v -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199
1789.72/1790.26 v -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179
1789.72/1790.26 v -x6178 -x6177 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159
1789.72/1790.26 v -x6158 -x6157 -x6156 -x6155 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6141 -x6140 -x6139 -x6138
1789.72/1790.26 v -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6119 -x6118
1789.72/1790.26 v -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099
1789.72/1790.26 v -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080
1789.72/1790.26 v -x6079 -x6078 -x6077 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6064 -x6063 -x6062 -x6061 -x6060
1789.72/1790.26 v -x6059 -x6058 -x6057 -x6056 -x6055 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6042 -x6041 -x6040
1789.72/1790.26 v -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6019
1789.72/1790.26 v -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 x6002 -x6001 -x6000
1789.72/1790.26 v -x5999 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980
1789.72/1790.26 v -x5979 -x5978 -x5977 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5964 -x5963 -x5962 -x5961 -x5960
1789.72/1790.26 v -x5959 -x5958 -x5957 -x5956 -x5955 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5942 -x5941 -x5940
1789.72/1790.26 v -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922
1789.72/1790.26 v -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901
1789.72/1790.26 v -x5900 -x5899 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881
1789.72/1790.26 v -x5880 -x5879 -x5878 -x5877 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5864 -x5863 -x5862 -x5861
1789.72/1790.26 v -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5842 -x5841
1789.72/1790.26 v -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822
1789.72/1790.26 v -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801
1789.72/1790.26 v -x5800 -x5799 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5786 -x5785 -x5784 -x5783 -x5782
1789.72/1790.26 v -x5781 -x5780 -x5779 -x5778 -x5777 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5764 -x5763 -x5762
1789.72/1790.26 v -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5753 -x5752 x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5742
1789.72/1790.26 v -x5741 x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723
1789.72/1790.26 v -x5722 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703
1789.72/1790.26 v -x5702 -x5701 -x5700 -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5686 -x5685 -x5684 -x5683 -x5682
1789.72/1790.26 v -x5681 -x5680 -x5679 -x5678 -x5677 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5664 -x5663 -x5662
1789.72/1790.26 v -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5653 x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5642
1789.72/1790.26 v -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623
1789.72/1790.26 v -x5622 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603
1789.72/1790.26 v -x5602 -x5601 -x5600 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5585 -x5584 -x5583 -x5582
1789.72/1790.26 v -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5563 -x5562
1789.72/1790.26 v -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543
1789.72/1790.26 v -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523
1789.72/1790.26 v -x5522 -x5521 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503
1789.72/1790.26 v -x5502 -x5501 -x5500 -x5499 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5486 -x5485 -x5484 -x5483
1789.72/1790.26 v -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5463 -x5462
1789.72/1790.26 v -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444
1789.72/1790.26 v -x5443 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424
1789.72/1790.26 v -x5423 -x5422 -x5421 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5408 -x5407 -x5406 -x5405 -x5404
1789.72/1790.26 v -x5403 -x5402 -x5401 -x5400 -x5399 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5386 -x5385 x5384
1789.72/1790.26 v -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5363
1789.72/1790.26 v -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344
1789.72/1790.26 v -x5343 -x5341 -x5340 -x5339 -x5338 -x5337 x5336 -x5335 -x5334 -x5333 -x5332 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324
1789.72/1790.26 v -x5323 -x5322 -x5321 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5308 -x5307 -x5306 -x5305 -x5304
1789.72/1790.26 v -x5303 -x5302 -x5301 -x5300 -x5299 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5286 -x5285 -x5284
1789.72/1790.26 v -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266
1789.72/1790.26 v -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245
1789.72/1790.26 v -x5244 -x5243 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225
1789.72/1790.26 v -x5224 -x5223 -x5222 -x5221 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5208 -x5207 -x5206 -x5205
1789.72/1790.26 v -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5186 -x5185
1789.72/1790.26 v -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166
1789.72/1790.26 v -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146
1789.72/1790.26 v -x5145 -x5144 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5130 -x5129 -x5128 -x5127 -x5126
1789.72/1790.26 v -x5125 -x5124 -x5123 -x5122 -x5121 -x5119 x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5108 -x5107 -x5106
1789.72/1790.26 v -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5086
1789.72/1790.26 v -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067
1789.72/1790.26 v -x5066 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047
1789.72/1790.26 v -x5046 -x5045 -x5044 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5030 -x5029 -x5028 -x5027 -x5026
1789.72/1790.26 v -x5025 -x5024 -x5023 -x5022 -x5021 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5008 -x5007 -x5006
1789.72/1790.26 v -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4986
1789.72/1790.26 v -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968
1789.72/1790.26 v -x4967 -x4966 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948
1789.72/1790.26 v -x4947 -x4946 -x4945 -x4944 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4931 -x4930 -x4929 -x4928
1789.72/1790.26 v -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4908 -x4907
1789.72/1790.26 v -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888
1789.72/1790.26 v -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4875 x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868
1789.72/1790.26 v -x4867 -x4866 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848
1789.72/1790.26 v -x4847 -x4846 -x4845 -x4844 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4831 -x4830 -x4829 -x4828
1789.72/1790.26 v -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4808
1789.72/1790.26 v -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789
1789.72/1790.26 v -x4788 -x4786 -x4785 x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769
1789.72/1790.26 v -x4768 -x4767 -x4766 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4753 -x4752 -x4751 -x4750 -x4749
1789.72/1790.26 v -x4748 -x4747 -x4746 -x4745 -x4744 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4731 -x4730 -x4729
1789.72/1790.26 v -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 x4709
1789.72/1790.26 v -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689
1789.72/1790.26 v -x4688 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669
1789.72/1790.26 v -x4668 -x4667 -x4666 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4653 -x4652 -x4651 -x4650 -x4649
1789.72/1790.26 v -x4648 -x4647 -x4646 -x4645 -x4644 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4631 -x4630
1789.72/1790.26 v -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611
1789.72/1790.26 v -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591
1789.72/1790.26 v -x4590 -x4589 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570
1789.72/1790.26 v -x4569 -x4568 -x4567 -x4566 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4553 -x4552 -x4551 -x4550
1789.72/1790.26 v -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4531 -x4530
1789.72/1790.26 v -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511
1789.72/1790.26 v -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492
1789.72/1790.26 v -x4491 -x4490 -x4489 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4474 -x4473 -x4472 -x4471 -x4470
1789.72/1790.26 v -x4469 -x4468 -x4467 -x4466 -x4465 -x4463 -x4462 x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4452 -x4451 -x4450
1789.72/1790.26 v -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4430
1789.72/1790.26 v -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411
1789.72/1790.26 v -x4410 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391
1789.72/1790.26 v -x4390 -x4389 -x4388 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4375 -x4374 -x4373 -x4372 -x4371
1789.72/1790.26 v -x4370 -x4369 -x4368 -x4367 -x4366 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4352 -x4351 -x4350
1789.72/1790.26 v -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332
1789.72/1790.26 v -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312
1789.72/1790.26 v -x4311 -x4310 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292
1789.72/1790.26 v -x4291 -x4290 -x4289 -x4288 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4275 -x4274 -x4273 -x4272
1789.72/1790.26 v -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4252 -x4251
1789.72/1790.26 v -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232
1789.72/1790.26 v -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212
1789.72/1790.26 v -x4211 -x4210 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4197 -x4196 -x4195 -x4194 -x4193
1789.72/1790.26 v -x4192 -x4191 -x4190 -x4189 -x4188 x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4175 -x4174 -x4173
1789.72/1790.26 v -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4153
1789.72/1790.26 v -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133
1789.72/1790.26 v -x4132 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113
1789.72/1790.26 v -x4112 -x4111 -x4110 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4097 -x4096 -x4095 -x4094 -x4093
1789.72/1790.26 v -x4092 -x4091 -x4090 -x4089 -x4088 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4075 -x4074 -x4073
1789.72/1790.26 v -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4053
1789.72/1790.26 v -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035
1789.72/1790.26 v -x4034 -x4033 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014
1789.72/1790.26 v -x4013 -x4012 -x4011 -x4010 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3997 -x3996 -x3995 -x3994
1789.72/1790.26 v -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3975 -x3974
1789.72/1790.26 v -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955
1789.72/1790.26 v -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935
1789.72/1790.26 v -x3934 -x3933 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914
1789.72/1790.26 v -x3913 -x3912 -x3911 -x3910 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3897 -x3896 -x3895
1789.72/1790.26 v -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3875
1789.72/1790.26 v -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856
1789.72/1790.26 v -x3855 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836
1789.72/1790.26 v -x3835 -x3834 -x3833 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3820 -x3819 -x3818 -x3817 -x3816
1789.72/1790.26 v -x3815 -x3814 -x3813 -x3812 -x3811 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3797 -x3796 -x3795
1789.72/1790.26 v -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3775
1789.72/1790.26 v -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3764 -x3763 x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756
1789.72/1790.26 v -x3755 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737
1789.72/1790.26 v -x3736 -x3735 -x3734 -x3733 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3720 -x3719 -x3718 -x3717
1789.72/1790.26 v -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3697 -x3696
1789.72/1790.26 v -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677
1789.72/1790.26 v -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657
1789.72/1790.26 v -x3656 -x3655 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637
1789.72/1790.26 v -x3636 -x3635 -x3634 -x3633 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3620 -x3619 -x3618 -x3617
1789.72/1790.26 v -x3616 -x3615 -x3614 x3613 -x3612 -x3611 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3598 -x3597
1789.72/1790.26 v -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578
1789.72/1790.26 v -x3577 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558
1789.72/1790.26 v -x3557 -x3556 -x3555 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3542 -x3541 -x3540 -x3539 -x3538
1789.72/1790.26 v -x3537 -x3536 -x3535 -x3534 -x3533 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3520 -x3519 -x3518
1789.72/1790.26 v -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3498
1789.72/1790.26 v -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479
1789.72/1790.26 v -x3478 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458
1789.72/1790.26 v -x3457 -x3456 -x3455 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3442 -x3441 -x3440 -x3439
1789.72/1790.26 v -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3420 -x3419
1789.72/1790.26 v -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400
1789.72/1790.26 v -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380
1789.72/1790.26 v -x3379 -x3378 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358
1789.72/1790.26 v -x3357 -x3356 -x3355 -x3354 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3341 -x3340 -x3339 -x3338
1789.72/1790.26 v -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3319 -x3318
1789.72/1790.26 v -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3308 x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299
1789.72/1790.26 v -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280
1789.72/1790.26 v -x3279 -x3278 -x3277 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3264 -x3263 -x3262 -x3261 -x3260
1789.72/1790.26 v -x3259 -x3258 -x3257 -x3256 -x3255 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3241 -x3240 -x3239
1789.72/1790.26 v -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3219
1789.72/1790.26 v -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200
1789.72/1790.26 v -x3199 -x3197 -x3196 x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180
1789.72/1790.26 v -x3179 -x3178 -x3177 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3164 -x3163 -x3162 -x3161 -x3160
1789.72/1790.26 v -x3159 -x3158 x3157 -x3156 -x3155 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3141 -x3140 x3139
1789.72/1790.26 v -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3119
1789.72/1790.26 v -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100
1789.72/1790.26 v -x3099 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081
1789.72/1790.26 v -x3080 -x3079 -x3078 -x3077 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3064 -x3063 -x3062 -x3061
1789.72/1790.26 v -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3042 -x3041
1789.72/1790.26 v -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021
1789.72/1790.26 v -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001
1789.72/1790.26 v -x3000 -x2999 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981
1789.72/1790.26 v -x2980 -x2979 -x2978 -x2977 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2964 -x2963 -x2962 -x2961
1789.72/1790.26 v -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2942
1789.72/1790.26 v -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923
1789.72/1790.26 v -x2922 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2908 x2907 -x2906 -x2905 -x2904 -x2903 -x2902
1789.72/1790.26 v -x2901 -x2900 -x2899 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2886 -x2885 -x2884 -x2883 -x2882
1789.72/1790.26 v -x2881 -x2880 -x2879 -x2878 -x2877 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2864 -x2863 -x2862
1789.72/1790.26 v -x2861 -x2860 -x2859 -x2858 x2857 -x2856 -x2855 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2842
1789.72/1790.26 v -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 x2835 -x2834 -x2833 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823
1789.72/1790.26 v -x2822 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802
1789.72/1790.26 v -x2801 -x2800 -x2799 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 x2790 -x2789 -x2788 -x2786 -x2785 -x2784 -x2783 -x2782
1789.72/1790.26 v -x2781 -x2780 -x2779 -x2778 -x2777 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2764 -x2763 -x2762
1789.72/1790.26 v -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2742
1789.72/1790.26 v -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724
1789.72/1790.26 v -x2723 -x2722 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704
1789.72/1790.26 v -x2703 -x2702 -x2701 -x2700 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2686 -x2685 x2684 -x2683
1789.72/1790.26 v -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2664 -x2663
1789.72/1790.26 v -x2662 x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644
1789.72/1790.26 v -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624
1789.72/1790.26 v -x2623 -x2622 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604
1789.72/1790.26 v -x2603 -x2602 -x2601 -x2600 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2586 -x2585 -x2584 -x2583
1789.72/1790.26 v -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2564 -x2563
1789.72/1790.26 v -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545
1789.72/1790.26 v -x2544 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525
1789.72/1790.26 v -x2524 -x2523 -x2522 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2509 -x2508 -x2507 -x2506 -x2505
1789.72/1790.26 v -x2504 -x2503 -x2502 -x2501 -x2500 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2487 -x2486 -x2485
1789.72/1790.26 v -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2464
1789.72/1790.26 v -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445
1789.72/1790.26 v -x2444 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425
1789.72/1790.26 v -x2424 -x2423 -x2422 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2409 -x2408 -x2407 -x2406
1789.72/1790.26 v -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2387 -x2386
1789.72/1790.26 v -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367
1789.72/1790.26 v -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346
1789.72/1790.26 v -x2345 -x2344 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326
1789.72/1790.26 v -x2325 -x2324 -x2323 -x2322 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2309 -x2308 -x2307 -x2306
1789.72/1790.26 v -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2287 -x2286
1789.72/1790.26 v x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267
1789.72/1790.26 v -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246
1789.72/1790.26 v x2245 -x2244 -x2243 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2230 -x2229 -x2228 -x2227 -x2226
1789.72/1790.26 v -x2225 -x2224 -x2223 -x2222 -x2221 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2208 -x2207 -x2206
1789.72/1790.26 v -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2186
1789.72/1790.26 v -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167
1789.72/1790.26 v -x2166 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147
1789.72/1790.26 v -x2146 -x2145 -x2144 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2130 -x2129 -x2128 -x2127 -x2126
1789.72/1790.26 v -x2125 -x2124 -x2123 -x2122 -x2121 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2108 -x2107 -x2106
1789.72/1790.26 v -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088
1789.72/1790.26 v -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068
1789.72/1790.26 v -x2067 -x2066 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048
1789.72/1790.26 v -x2047 -x2046 -x2045 -x2044 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2030 -x2029 -x2028 -x2027
1789.72/1790.26 v -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2008 -x2007
1789.72/1790.26 v -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988
1789.72/1790.26 v -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968
1789.72/1790.26 v -x1967 -x1966 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1953 -x1952 -x1951 -x1950 -x1949
1789.72/1790.26 v -x1948 -x1947 -x1946 -x1945 -x1944 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1931 -x1930 -x1929
1789.72/1790.26 v -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1908
1789.72/1790.26 v -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889
1789.72/1790.26 v -x1888 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 x1879 -x1878 -x1877 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869
1789.72/1790.26 v -x1868 -x1867 -x1866 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1853 -x1852 -x1851 -x1850 -x1849
1789.72/1790.26 v -x1848 -x1847 -x1846 -x1845 -x1844 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1831 -x1830 -x1829
1789.72/1790.26 v -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1820 -x1819 x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1808
1789.72/1790.26 v -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789
1789.72/1790.26 v -x1788 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 x1779 -x1778 -x1777 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769
1789.72/1790.26 v -x1768 -x1767 -x1766 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1753 -x1752 -x1751 -x1750
1789.72/1790.26 v -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1731 -x1730
1789.72/1790.26 v -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711
1789.72/1790.26 v -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690
1789.72/1790.26 v -x1689 -x1688 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670
1789.72/1790.26 v -x1669 -x1668 -x1667 -x1666 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1653 -x1652 -x1651 -x1650
1789.72/1790.26 v -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1631 -x1630
1789.72/1790.26 v -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612
1789.72/1790.26 v -x1611 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592
1789.72/1790.26 v -x1591 -x1590 -x1589 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1575 -x1574 -x1573 -x1572 -x1571
1789.72/1790.26 v -x1570 -x1569 -x1568 -x1567 -x1566 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1553 -x1552 -x1551
1789.72/1790.26 v -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1531
1789.72/1790.26 v -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512
1789.72/1790.26 v -x1511 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492
1789.72/1790.26 v -x1491 -x1490 -x1489 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1475 -x1474 -x1473 -x1472
1789.72/1790.26 v -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1453 -x1452
1789.72/1790.26 v -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433
1789.72/1790.26 v -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 x1413
1789.72/1790.26 v -x1412 -x1411 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393
1789.72/1790.26 v -x1392 -x1391 -x1390 -x1389 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1376 -x1375 -x1374 -x1373
1789.72/1790.26 v -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1353 -x1352
1789.72/1790.26 v -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333
1789.72/1790.26 v -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314
1789.72/1790.26 v -x1313 -x1312 -x1311 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1298 -x1297 -x1296 -x1295 -x1294
1789.72/1790.26 v -x1293 -x1292 -x1291 -x1290 -x1289 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1276 -x1275 -x1274
1789.72/1790.26 v -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1253
1789.72/1790.26 v -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234
1789.72/1790.26 v -x1233 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214
1789.72/1790.26 v x1213 -x1212 -x1211 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1198 -x1197 -x1196 -x1195 -x1194
1789.72/1790.26 v -x1193 -x1192 -x1191 -x1190 -x1189 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1176 -x1175 -x1174
1789.72/1790.26 v -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156
1789.72/1790.26 v -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134
1789.72/1790.26 v -x1133 -x1132 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114
1789.72/1790.26 v -x1113 -x1112 -x1111 -x1110 -x1108 -x1107 -x1106 -x1105 x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1097 -x1096 -x1095 -x1094
1789.72/1790.26 v -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1075 -x1074
1789.72/1790.26 v -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055
1789.72/1790.26 v -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035
1789.72/1790.26 v -x1034 -x1033 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014
1789.72/1790.26 v -x1013 -x1012 -x1011 -x1010 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x997 -x996 -x995 -x994
1789.72/1790.26 v -x993 -x992 -x991 -x990 -x989 -x988 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x975 -x974 -x973 -x972 -x971
1789.72/1790.26 v -x970 -x969 -x968 -x967 -x966 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x953 -x952 x951 -x950 -x949 -x948
1789.72/1790.26 v -x947 -x946 -x945 -x944 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x931 -x930 -x929 -x928 -x927 -x926 -x925
1789.72/1790.26 v -x924 -x923 -x922 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x908 x907 -x906 -x905 -x904 -x903 -x902 -x901
1789.72/1790.26 v -x900 -x899 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x886 -x885 x884 -x883 -x882 -x881 -x880 -x879 -x878
1789.72/1790.26 v -x877 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855
1789.72/1790.26 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1789.72/1790.26 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x808
1789.72/1790.26 v -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x786 -x785
1789.72/1790.26 v -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x764 -x763 -x762
1789.72/1790.26 v -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x742 -x741 -x740 -x739
1789.72/1790.26 v -x738 -x737 -x736 -x735 -x734 -x733 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x720 -x719 -x718 -x717 -x716
1789.72/1790.26 v -x715 -x714 -x713 -x712 -x711 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x697 -x696 -x695 -x694 -x693
1789.72/1790.26 v -x692 -x691 -x690 -x689 -x688 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x675 -x674 -x673 -x672 -x671 -x670
1789.72/1790.26 v -x669 -x668 -x667 -x666 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x653 -x652 -x651 -x650 -x649 -x648 -x647
1789.72/1790.26 v -x646 -x645 -x644 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624
1789.72/1790.26 v -x623 -x622 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601
1789.72/1790.26 v -x600 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577
1789.72/1790.26 v -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555
1789.72/1790.26 v -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x531
1789.72/1790.26 v -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x509 -x508
1789.72/1790.26 v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x487 -x486 -x485
1789.72/1790.26 v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x464 -x463 -x462 -x461
1789.72/1790.26 v -x460 -x459 -x458 -x457 -x456 -x455 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x442 -x441 -x440 -x439 -x438
1789.72/1790.26 v -x437 -x436 -x435 -x434 -x433 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x420 -x419 -x418 -x417 -x416
1789.72/1790.26 v -x415 -x414 x413 -x412 -x411 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x398 -x397 -x396 -x395 -x394 -x393
1789.72/1790.26 v -x392 -x391 -x390 -x389 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x376 -x375 -x374 -x373 -x372 -x371 -x370
1789.72/1790.26 v -x369 -x368 -x367 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346
1789.72/1790.26 v -x345 -x344 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323
1789.72/1790.26 v -x322 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300
1789.72/1790.26 v -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x276
1789.72/1790.26 v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x253 -x252
1789.72/1790.26 v -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x231 -x230
1789.72/1790.26 v -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x209 -x208 -x207
1789.72/1790.26 v -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x187 -x186 -x185 -x184
1789.72/1790.26 v -x183 -x182 -x181 -x180 -x179 -x178 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x165 -x164 -x163 -x162 -x161
1789.72/1790.26 v -x160 -x159 -x158 -x157 -x156 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x142 -x141 -x140 -x139 -x138 -x137
1789.72/1790.26 v -x136 -x135 -x134 -x133 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x120 -x119 -x118 -x117 -x116 -x115 -x114
1789.72/1790.26 v -x113 -x112 -x111 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90
1789.72/1790.26 v -x89 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x65 -x64 -x63 -x62
1789.72/1790.26 v -x61 -x60 -x59 -x58 -x57 -x56 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35
1789.72/1790.26 v -x34 -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 x6644 -x6643 -x6642 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634
1789.72/1790.26 v -x6633 -x6632 -x6631 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6618 -x6617 -x6616 -x6615 -x6614
1789.72/1790.26 v -x6613 -x6612 -x6611 -x6610 -x6609 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6596 -x6595 -x6594
1789.72/1790.26 v -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6585 -x6584 -x6583 -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6574
1789.72/1790.26 v -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555
1789.72/1790.26 v -x6554 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547 -x6546 -x6545 -x6544 -x6543 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534
1789.72/1790.26 v -x6533 -x6532 -x6531 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 x6523 -x6522 -x6521 -x6520 -x6518 -x6517 -x6516 -x6515 -x6514
1789.72/1790.26 v -x6513 -x6512 -x6511 -x6510 -x6509 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6496 -x6495 -x6494
1789.72/1790.26 v -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476
1789.72/1790.26 v -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456
1789.72/1790.26 v -x6455 -x6454 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436
1789.72/1790.26 v -x6435 -x6434 -x6433 -x6432 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6418 -x6417 -x6416 -x6415
1789.72/1790.26 v -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6396 -x6395
1789.72/1790.26 v -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376
1789.72/1790.26 v -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356
1789.72/1790.26 v -x6355 -x6354 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6341 -x6340 -x6339 -x6338 -x6337
1789.72/1790.26 v -x6336 -x6335 -x6334 -x6333 -x6332 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6322 -x6321 -x6318 -x6317 -x6316
1789.72/1790.26 v -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6296
1789.72/1790.26 v -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6285 x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6276 -x6265
1789.72/1790.26 v -x6254 -x6242 -x6231 -x6220 -x6209 -x6198 -x6187 -x6176 -x6165 -x6154 -x6143 -x6131 -x6120 -x6109 -x6098 -x6087 -x6076 -x6065
1789.72/1790.26 v -x6054 -x6043 -x6032 -x6020 -x6009 -x5998 -x5987 -x5976 -x5965 -x5954 -x5943 -x5932 -x5921 -x5909 -x5898 -x5887 -x5876 -x5865
1789.72/1790.26 v -x5854 -x5843 -x5832 -x5821 -x5810 -x5798 -x5787 -x5776 -x5765 -x5754 -x5743 -x5732 -x5721 -x5710 -x5699 -x5687 -x5676 -x5665
1789.72/1790.26 v -x5654 -x5643 -x5632 -x5621 -x5610 -x5599 -x5588 -x5575 -x5564 -x5553 -x5542 -x5531 -x5520 -x5509 -x5498 -x5487 -x5476 -x5464
1789.72/1790.26 v -x5453 -x5442 -x5431 -x5420 -x5409 -x5398 -x5387 -x5376 -x5365 -x5353 -x5342 -x5331 -x5320 -x5309 -x5298 -x5287 -x5276
1789.72/1790.26 v -x5265 -x5254 -x5242 -x5231 -x5220 -x5209 -x5198 -x5187 -x5176 -x5165 -x5154 -x5143 -x5131 -x5120 -x5109 -x5098 -x5087 -x5076
1789.72/1790.26 v -x5065 -x5054 -x5043 -x5032 -x5020 -x5009 -x4998 -x4987 -x4976 -x4965 -x4954 -x4943 -x4932 -x4921 -x4909 -x4898 -x4887 -x4876
1789.72/1790.26 v -x4865 -x4854 -x4843 -x4832 -x4821 -x4810 -x4798 -x4787 -x4776 -x4765 -x4754 -x4743 -x4732 -x4721 -x4710 -x4699 -x4687 -x4676
1789.72/1790.26 v -x4665 -x4654 -x4643 -x4632 -x4621 -x4610 -x4599 -x4588 -x4576 -x4565 -x4554 -x4543 -x4532 -x4521 -x4510 -x4499 -x4488 -x4477
1789.72/1790.26 v -x4464 -x4453 -x4442 -x4431 -x4420 -x4409 -x4398 -x4387 -x4376 -x4365 -x4353 -x4342 x4331 -x4320 -x4309 -x4298 -x4287 -x4276
1789.72/1790.26 v -x4265 -x4254 -x4242 -x4231 -x4220 -x4209 -x4198 -x4187 -x4176 -x4165 -x4154 -x4143 -x4131 -x4120 -x4109 -x4098 -x4087 -x4076
1789.72/1790.26 v -x4065 -x4054 -x4043 -x4032 -x4020 -x4009 -x3998 -x3987 -x3976 -x3965 -x3954 -x3943 -x3932 -x3921 -x3909 -x3898 -x3887 -x3876
1789.72/1790.26 v -x3865 -x3854 -x3843 x3832 -x3821 -x3810 -x3798 -x3787 -x3776 -x3765 -x3754 -x3743 -x3732 -x3721 -x3710 -x3699 -x3687 -x3676
1789.72/1790.26 v -x3665 x3654 -x3643 -x3632 -x3621 -x3610 -x3599 -x3588 -x3576 -x3565 -x3554 -x3543 -x3532 -x3521 -x3510 -x3499 -x3488 -x3477
1789.72/1790.26 v -x3465 -x3454 -x3443 -x3432 -x3421 -x3410 -x3399 -x3388 -x3377 -x3366 -x3353 -x3342 -x3331 -x3320 -x3309 -x3298 -x3287
1789.72/1790.26 v -x3276 -x3265 -x3254 -x3242 -x3231 -x3220 -x3209 -x3198 -x3187 -x3176 -x3165 -x3154 -x3143 -x3131 -x3120 -x3109 -x3098 -x3087
1789.72/1790.26 v -x3076 -x3065 -x3054 -x3043 -x3032 -x3020 -x3009 -x2998 -x2987 -x2976 -x2965 -x2954 -x2943 -x2932 -x2921 -x2909 -x2898 -x2887
1789.72/1790.26 v -x2876 -x2865 -x2854 -x2843 -x2832 -x2821 -x2810 -x2798 -x2787 -x2776 -x2765 -x2754 -x2743 -x2732 x2721 -x2710 -x2699 -x2687
1789.72/1790.26 v -x2676 -x2665 -x2654 -x2643 -x2632 -x2621 -x2610 -x2599 -x2588 -x2576 -x2565 -x2554 -x2543 -x2532 -x2521 -x2510 -x2499 -x2488
1789.72/1790.26 v -x2477 -x2465 -x2454 -x2443 -x2432 -x2421 -x2410 -x2399 -x2388 -x2377 -x2366 -x2354 -x2343 -x2332 -x2321 -x2310 -x2299 -x2288
1789.72/1790.26 v -x2277 -x2266 -x2255 -x2242 -x2231 -x2220 -x2209 -x2198 -x2187 -x2176 -x2165 -x2154 -x2143 -x2131 -x2120 -x2109 -x2098 -x2087
1789.72/1790.26 v -x2076 -x2065 -x2054 -x2043 -x2032 -x2020 -x2009 -x1998 -x1987 -x1976 -x1965 -x1954 -x1943 -x1932 -x1921 -x1909 -x1898 -x1887
1789.72/1790.26 v -x1876 -x1865 -x1854 -x1843 -x1832 -x1821 -x1810 -x1798 -x1787 -x1776 -x1765 -x1754 -x1743 -x1732 -x1721 -x1710 -x1699
1789.72/1790.26 v -x1687 -x1676 -x1665 -x1654 -x1643 -x1632 -x1621 -x1610 -x1599 -x1588 -x1576 -x1565 -x1554 -x1543 -x1532 -x1521 -x1510 -x1499
1789.72/1790.26 v -x1488 -x1477 -x1465 -x1454 x1443 -x1432 -x1421 -x1410 -x1399 -x1388 -x1377 -x1366 -x1354 -x1343 -x1332 -x1321 -x1310 -x1299
1789.72/1790.26 v -x1288 -x1277 -x1266 -x1255 -x1243 -x1232 -x1221 -x1210 -x1199 -x1188 -x1177 -x1166 -x1155 -x1144 -x1131 -x1120 -x1109 -x1098
1789.72/1790.26 v -x1087 -x1076 -x1065 -x1054 -x1043 -x1032 -x1020 -x1009 -x998 -x987 -x976 -x965 -x954 -x943 -x932 -x921 -x909 -x898 -x887 -x876
1789.72/1790.26 v -x865 -x854 -x843 -x832 -x821 -x810 -x798 -x787 -x776 -x765 -x754 -x743 -x732 -x721 -x710 -x699 -x687 -x676 -x665 -x654
1789.72/1790.26 v -x643 -x632 -x621 -x610 -x599 -x588 -x576 -x565 -x554 -x543 -x532 -x521 -x510 -x499 -x488 -x477 -x465 -x454 -x443 -x432 -x421
1789.72/1790.26 v -x410 -x399 -x388 -x377 -x366 -x354 -x343 -x332 -x321 -x310 -x299 -x288 -x277 -x266 -x255 -x243 -x232 -x221 -x210 -x199 -x188
1789.72/1790.26 v -x177 -x166 -x155 -x144 -x132 -x121 -x110 -x99 -x88 -x77 -x66 -x55 -x44 -x33 -x6641 -x6630 -x6619 -x6608 -x6597 -x6586 -x6575
1789.72/1790.26 v -x6564 -x6553 -x6542 -x6530 -x6519 x6508 -x6497 -x6486 -x6475 -x6464 -x6453 -x6442 -x6431 -x6419 -x6408 -x6397 -x6386 -x6375
1789.72/1790.26 v -x6364 -x6353 -x6342 -x6331 -x6320 -x6308 -x6297 -x6286 -x6253 -x6142 -x6031 -x5920 -x5809 -x5698 -x5587 -x5475 -x5364 -x5253
1789.72/1790.26 v -x5142 -x5031 -x4920 -x4809 -x4698 -x4587 -x4476 -x4364 -x4253 -x4142 -x4031 -x3920 -x3809 -x3698 -x3587 -x3476 -x3365 -x3253
1789.72/1790.26 v -x3142 -x3031 -x2920 -x2809 -x2698 -x2587 -x2476 -x2365 -x2254 -x2142 -x2031 -x1920 -x1809 -x1698 -x1587 -x1476 -x1365 -x1254
1789.72/1790.26 v -x1143 -x1031 -x920 -x809 -x698 -x587 -x476 -x365 -x254 -x143 -x32 -x6541 -x6430 -x6319 -x5586 -x4475 -x3364 -x2253 -x1142
1789.72/1790.26 v x31 -x30 -x29 -x28 -x27 x26 x25 x24 -x23 -x22 x21 x20 x19 -x18 -x17 x16 x15 x14 x13 x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4
1789.72/1790.26 v -x3 -x2 -x1
1789.72/1790.26 c SCIP Status : solving was interrupted [time limit reached]
1789.72/1790.26 c Solving Time : 1789.83
1789.72/1790.26 c Original Problem :
1789.72/1790.26 c Problem name : HOME/instance-2703614-1278560710.opb
1789.72/1790.26 c Variables : 6651 (6651 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.72/1790.26 c Constraints : 721 initial, 721 maximal
1789.72/1790.26 c Presolved Problem :
1789.72/1790.26 c Problem name : t_HOME/instance-2703614-1278560710.opb
1789.72/1790.26 c Variables : 6620 (6620 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.72/1790.26 c Constraints : 536 initial, 774 maximal
1789.72/1790.26 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.72/1790.26 c trivial : 0.01 0 0 0 0 0 0 0 0
1789.72/1790.26 c dualfix : 0.01 30 0 0 0 0 0 0 0
1789.72/1790.26 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.72/1790.26 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.72/1790.26 c implics : 0.01 0 0 0 0 0 0 0 0
1789.72/1790.26 c probing : 1.18 1 0 0 0 0 0 0 0
1789.72/1790.26 c knapsack : 2.90 0 0 0 0 0 0 20 66265
1789.72/1790.26 c setppc : 0.01 0 0 0 0 0 0 0 0
1789.72/1790.26 c linear : 0.43 0 0 0 0 0 185 55 90897
1789.72/1790.26 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.72/1790.26 c root node : - 39 - - 39 - - - -
1789.72/1790.26 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.72/1790.26 c integral : 0 0 0 2462 0 0 6 0 0 4912
1789.72/1790.26 c knapsack : 183 13 59354 0 0 27 102 283 0 0
1789.72/1790.26 c setppc : 330 13 59327 0 0 1 32103 0 0 0
1789.72/1790.26 c logicor : 23+ 13 2205 0 0 0 0 0 0 0
1789.72/1790.26 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.72/1790.26 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.72/1790.26 c integral : 63.63 0.00 0.00 63.63 0.00
1789.72/1790.26 c knapsack : 1242.59 163.73 1078.86 0.00 0.00
1789.72/1790.26 c setppc : 2.40 0.00 2.40 0.00 0.00
1789.72/1790.26 c logicor : 0.06 0.00 0.06 0.00 0.00
1789.72/1790.26 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.72/1790.26 c Propagators : Time Calls Cutoffs DomReds
1789.72/1790.26 c vbounds : 0.07 2 0 0
1789.72/1790.26 c rootredcost : 0.11 27 0 0
1789.72/1790.26 c pseudoobj : 0.35 59186 34 9
1789.72/1790.26 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.72/1790.26 c propagation : 1.32 61 61 98 55.3 0 0.0 -
1789.72/1790.26 c infeasible LP : 0.91 171 171 183 44.2 0 0.0 0
1789.72/1790.26 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.72/1790.26 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.72/1790.26 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.72/1790.26 c applied globally : - - - 240 44.8 - - -
1789.72/1790.26 c applied locally : - - - 0 0.0 - - -
1789.72/1790.26 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.72/1790.26 c cut pool : 0.01 12 - - 28 - (maximal pool size: 189)
1789.72/1790.26 c redcost : 7.38 4484 0 213293 0 0
1789.72/1790.26 c impliedbounds : 0.01 13 0 0 0 0
1789.72/1790.26 c intobj : 0.00 0 0 0 0 0
1789.72/1790.26 c cgmip : 0.00 0 0 0 0 0
1789.72/1790.26 c gomory : 0.30 13 0 0 115 0
1789.72/1790.26 c strongcg : 0.42 13 0 0 120 0
1789.72/1790.26 c cmir : 1.10 10 0 0 67 0
1789.72/1790.26 c flowcover : 6.12 10 0 0 183 0
1789.72/1790.26 c clique : 0.02 13 0 0 0 0
1789.72/1790.26 c zerohalf : 0.00 0 0 0 0 0
1789.72/1790.26 c mcf : 0.03 1 0 0 0 0
1789.72/1790.26 c rapidlearning : 2.16 1 0 0 0 0
1789.72/1790.26 c Pricers : Time Calls Vars
1789.72/1790.26 c problem variables: 0.00 0 0
1789.72/1790.26 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.72/1790.26 c relpscost : 63.62 2462 0 6 0 0 4912
1789.72/1790.26 c pscost : 0.00 0 0 0 0 0 0
1789.72/1790.26 c inference : 0.00 0 0 0 0 0 0
1789.72/1790.26 c mostinf : 0.00 0 0 0 0 0 0
1789.72/1790.26 c leastinf : 0.00 0 0 0 0 0 0
1789.72/1790.26 c fullstrong : 0.00 0 0 0 0 0 0
1789.72/1790.26 c allfullstrong : 0.00 0 0 0 0 0 0
1789.72/1790.26 c random : 0.00 0 0 0 0 0 0
1789.72/1790.26 c Primal Heuristics : Time Calls Found
1789.72/1790.26 c LP solutions : 0.00 - 0
1789.72/1790.26 c pseudo solutions : 0.00 - 0
1789.72/1790.26 c oneopt : 0.16 11 3
1789.72/1790.26 c fracdiving : 245.80 57 6
1789.72/1790.26 c trivial : 0.02 2 0
1789.72/1790.26 c simplerounding : 0.01 5 0
1789.72/1790.26 c zirounding : 0.19 1000 0
1789.72/1790.26 c rounding : 21.04 2387 2
1789.72/1790.26 c shifting : 16.81 257 1
1789.72/1790.26 c intshifting : 0.00 0 0
1789.72/1790.26 c twoopt : 0.00 0 0
1789.72/1790.26 c fixandinfer : 0.00 0 0
1789.72/1790.26 c feaspump : 3.45 1 0
1789.72/1790.26 c coefdiving : 620.11 58 23
1789.72/1790.26 c pscostdiving : 164.74 44 4
1789.72/1790.26 c veclendiving : 99.93 20 0
1789.72/1790.26 c intdiving : 0.00 0 0
1789.72/1790.26 c actconsdiving : 0.00 0 0
1789.72/1790.26 c objpscostdiving : 3.17 8 0
1789.72/1790.26 c rootsoldiving : 18.96 3 8
1789.72/1790.26 c linesearchdiving : 130.86 20 0
1789.72/1790.26 c guideddiving : 51.81 16 0
1789.72/1790.26 c octane : 0.00 0 0
1789.72/1790.26 c rens : 0.28 1 1
1789.72/1790.26 c rins : 0.00 0 0
1789.72/1790.26 c localbranching : 0.00 0 0
1789.72/1790.26 c mutation : 0.00 0 0
1789.72/1790.26 c crossover : 1.02 4 1
1789.72/1790.26 c dins : 0.00 0 0
1789.72/1790.26 c undercover : 0.00 0 0
1789.72/1790.26 c nlp : 0.00 0 0
1789.72/1790.26 c trysol : 0.01 0 0
1789.72/1790.26 c LP : Time Calls Iterations Iter/call Iter/sec
1789.72/1790.26 c primal LP : 0.01 0 0 0.00 -
1789.72/1790.26 c dual LP : 60.79 2478 96408 38.91 1585.99
1789.72/1790.26 c lex dual LP : 0.00 0 0 0.00 -
1789.72/1790.26 c barrier LP : 0.00 0 0 0.00 -
1789.72/1790.26 c diving/probing LP: 212.97 46856 162496 3.47 763.01
1789.72/1790.26 c strong branching : 63.39 4251 83461 19.63 1316.73
1789.72/1790.26 c (at root node) : - 30 1482 49.40 -
1789.72/1790.26 c conflict analysis: 0.00 0 0 0.00 -
1789.72/1790.26 c B&B Tree :
1789.72/1790.26 c number of runs : 1
1789.72/1790.26 c nodes : 2459
1789.72/1790.26 c nodes (total) : 2459
1789.72/1790.26 c nodes left : 2445
1789.72/1790.26 c max depth : 74
1789.72/1790.26 c max depth (total): 74
1789.72/1790.26 c backtracks : 228 (9.3%)
1789.72/1790.26 c delayed cutoffs : 0
1789.72/1790.26 c repropagations : 46 (6 domain reductions, 0 cutoffs)
1789.72/1790.26 c avg switch length: 3.62
1789.72/1790.26 c switching time : 1.77
1789.72/1790.26 c Solution :
1789.72/1790.26 c Solutions found : 49 (30 improvements)
1789.72/1790.26 c First Solution : +1.61061273600000e+09 (in run 1, after 1 nodes, 5.02 seconds, depth 0, found by <shifting>)
1789.72/1790.26 c Primal Bound : +1.13436160000000e+09 (in run 1, after 2032 nodes, 1459.26 seconds, depth 100, found by <coefdiving>)
1789.72/1790.26 c Dual Bound : +1.12533632000000e+09
1789.72/1790.26 c Gap : 0.80 %
1789.72/1790.26 c Root Dual Bound : +1.12509957395914e+09
1789.72/1790.26 c Root Iterations : 761
1789.92/1790.41 c Time complete: 1789.94.
OK 1134361600
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703614-1278560710/watcher-2703614-1278560710 -o /tmp/evaluation-result-2703614-1278560710/solver-2703614-1278560710 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703614-1278560710.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.93 3/106 31439 /proc/meminfo: memFree=1716160/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=7904 CPUtime=0 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 1121 0 0 0 0 0 0 0 20 0 1 0 24284711 8093696 1032 1992294400 4194304 8395647 140734728562480 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31439/statm: 1976 1042 365 1026 0 946 0 [startup+0.0442651 s] /proc/loadavg: 0.85 0.97 0.93 3/106 31439 /proc/meminfo: memFree=1716160/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=15408 CPUtime=0.04 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 3144 0 0 0 3 1 0 0 20 0 1 0 24284711 15777792 3055 1992294400 4194304 8395647 140734728562480 18446744073709551615 7384783 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31439/statm: 3852 3055 394 1026 0 2822 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 15408 [startup+0.10127 s] /proc/loadavg: 0.85 0.97 0.93 3/106 31439 /proc/meminfo: memFree=1716160/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=16268 CPUtime=0.09 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 3347 0 0 0 8 1 0 0 20 0 1 0 24284711 16658432 3258 1992294400 4194304 8395647 140734728562480 18446744073709551615 7279966 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31439/statm: 4067 3258 394 1026 0 3037 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16268 [startup+0.301291 s] /proc/loadavg: 0.85 0.97 0.93 3/106 31439 /proc/meminfo: memFree=1716160/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=19112 CPUtime=0.29 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 3998 0 0 0 28 1 0 0 20 0 1 0 24284711 19570688 3909 1992294400 4194304 8395647 140734728562480 18446744073709551615 5754487 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31439/statm: 4778 3919 394 1026 0 3748 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19112 [startup+0.701332 s] /proc/loadavg: 0.85 0.97 0.93 3/106 31439 /proc/meminfo: memFree=1716160/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=50864 CPUtime=0.69 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 11834 0 0 0 65 4 0 0 20 0 1 0 24284711 52084736 11391 1992294400 4194304 8395647 140734728562480 18446744073709551615 5027242 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 12716 11391 460 1026 0 11686 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 50864 [startup+1.50141 s] /proc/loadavg: 0.85 0.97 0.93 2/107 31440 /proc/meminfo: memFree=1657128/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=67352 CPUtime=1.49 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 15950 0 0 0 144 5 0 0 22 0 1 0 24284711 68968448 15507 1992294400 4194304 8395647 140734728562480 18446744073709551615 4735496 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 16838 15507 492 1026 0 15808 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 67352 [startup+3.10158 s] /proc/loadavg: 0.85 0.97 0.93 2/107 31440 /proc/meminfo: memFree=1655764/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=67352 CPUtime=3.09 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 15960 0 0 0 304 5 0 0 25 0 1 0 24284711 68968448 15512 1992294400 4194304 8395647 140734728562480 18446744073709551615 6074065 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 16838 15512 492 1026 0 15808 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 67352 [startup+6.30191 s] /proc/loadavg: 0.86 0.97 0.93 3/107 31440 /proc/meminfo: memFree=1635428/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=88560 CPUtime=6.3 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 21581 0 0 0 622 8 0 0 25 0 1 0 24284711 90685440 20426 1992294400 4194304 8395647 140734728562480 18446744073709551615 4918940 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 22140 20426 593 1026 0 21110 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 88560 [startup+12.7016 s] /proc/loadavg: 0.87 0.97 0.93 2/107 31440 /proc/meminfo: memFree=1635552/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=88560 CPUtime=12.69 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 21583 0 0 0 1261 8 0 0 25 0 1 0 24284711 90685440 20428 1992294400 4194304 8395647 140734728562480 18446744073709551615 6013877 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 22140 20428 593 1026 0 21110 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 88560 [startup+25.5009 s] /proc/loadavg: 0.90 0.97 0.93 2/107 31440 /proc/meminfo: memFree=1599592/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=127064 CPUtime=25.49 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 35502 0 0 0 2535 14 0 0 25 0 1 0 24284711 130113536 29582 1992294400 4194304 8395647 140734728562480 18446744073709551615 4440213 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 31766 29582 632 1026 0 30736 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 127064 [startup+51.1005 s] /proc/loadavg: 0.93 0.97 0.93 2/107 31441 /proc/meminfo: memFree=1596492/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=130092 CPUtime=51.08 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 36296 0 0 0 5094 14 0 0 25 0 1 0 24284711 133214208 30376 1992294400 4194304 8395647 140734728562480 18446744073709551615 4440410 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 32523 30376 632 1026 0 31493 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 130092 [startup+102.308 s] /proc/loadavg: 0.97 0.97 0.93 2/107 31443 /proc/meminfo: memFree=1592152/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=136248 CPUtime=102.28 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 37385 0 0 0 10213 15 0 0 25 0 1 0 24284711 139517952 31465 1992294400 4194304 8395647 140734728562480 18446744073709551615 4904075 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 34062 31465 632 1026 0 33032 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 136248 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.93 2/107 31444 /proc/meminfo: memFree=1591780/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=136248 CPUtime=162.25 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 37469 0 0 0 16210 15 0 0 25 0 1 0 24284711 139517952 31549 1992294400 4194304 8395647 140734728562480 18446744073709551615 4904171 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 34062 31549 633 1026 0 33032 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 136248 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.93 2/107 31446 /proc/meminfo: memFree=1590292/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=136248 CPUtime=222.23 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 39837 0 0 0 22188 35 0 0 25 0 1 0 24284711 139517952 31763 1992294400 4194304 8395647 140734728562480 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 34062 31763 645 1026 0 33032 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 136248 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.93 2/107 31447 /proc/meminfo: memFree=1590292/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=136248 CPUtime=282.22 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 39850 0 0 0 28170 52 0 0 25 0 1 0 24284711 139517952 31776 1992294400 4194304 8395647 140734728562480 18446744073709551615 4911331 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 34062 31776 645 1026 0 33032 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 136248 [startup+342.3 s] /proc/loadavg: 0.99 0.97 0.93 2/107 31449 /proc/meminfo: memFree=1590292/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=136248 CPUtime=342.21 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 39850 0 0 0 34161 60 0 0 25 0 1 0 24284711 139517952 31776 1992294400 4194304 8395647 140734728562480 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 34062 31776 645 1026 0 33032 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 136248 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.93 2/107 31451 /proc/meminfo: memFree=1590292/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=136248 CPUtime=402.18 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 43269 0 0 0 40149 69 0 0 25 0 1 0 24284711 139517952 31780 1992294400 4194304 8395647 140734728562480 18446744073709551615 4711621 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 34062 31780 646 1026 0 33032 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 136248 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.93 2/107 31452 /proc/meminfo: memFree=1590168/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=136248 CPUtime=462.17 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 43269 0 0 0 46140 77 0 0 25 0 1 0 24284711 139517952 31780 1992294400 4194304 8395647 140734728562480 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 34062 31780 646 1026 0 33032 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 136248 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.93 2/107 31454 /proc/meminfo: memFree=1590168/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=136248 CPUtime=522.16 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 43269 0 0 0 52134 82 0 0 25 0 1 0 24284711 139517952 31780 1992294400 4194304 8395647 140734728562480 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 34062 31780 646 1026 0 33032 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 136248 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.93 2/107 31455 /proc/meminfo: memFree=1590168/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=136248 CPUtime=582.15 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 43271 0 0 0 58127 88 0 0 25 0 1 0 24284711 139517952 31782 1992294400 4194304 8395647 140734728562480 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 34062 31782 646 1026 0 33032 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 136248 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.93 2/107 31457 /proc/meminfo: memFree=1590044/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=136248 CPUtime=642.14 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 43272 0 0 0 64120 94 0 0 25 0 1 0 24284711 139517952 31783 1992294400 4194304 8395647 140734728562480 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 34062 31783 646 1026 0 33032 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 136248 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1580248/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=145512 CPUtime=1062 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 51508 0 0 0 106048 152 0 0 25 0 1 0 24284711 149004288 34101 1992294400 4194304 8395647 140734728562480 18446744073709551615 4911290 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 36378 34101 646 1026 0 35348 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 145512 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.93 2/107 31479 /proc/meminfo: memFree=1580248/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=145512 CPUtime=1121.99 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 51508 0 0 0 112040 159 0 0 25 0 1 0 24284711 149004288 34101 1992294400 4194304 8395647 140734728562480 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 36378 34101 646 1026 0 35348 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 145512 [startup+1182.3 s] /proc/loadavg: 1.04 0.99 0.93 2/107 31480 /proc/meminfo: memFree=1580248/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=145512 CPUtime=1181.98 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 51510 0 0 0 118031 167 0 0 25 0 1 0 24284711 149004288 34103 1992294400 4194304 8395647 140734728562480 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 36378 34103 646 1026 0 35348 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 145512 [startup+1242.3 s] /proc/loadavg: 1.01 0.99 0.93 2/107 31482 /proc/meminfo: memFree=1580248/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=145512 CPUtime=1241.96 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 51510 0 0 0 124018 178 0 0 25 0 1 0 24284711 149004288 34103 1992294400 4194304 8395647 140734728562480 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 36378 34103 646 1026 0 35348 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 145512 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31484 /proc/meminfo: memFree=1580248/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=145512 CPUtime=1301.96 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 51510 0 0 0 130010 186 0 0 25 0 1 0 24284711 149004288 34103 1992294400 4194304 8395647 140734728562480 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 36378 34103 646 1026 0 35348 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 145512 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31485 /proc/meminfo: memFree=1580248/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=145512 CPUtime=1361.93 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 51511 0 0 0 135996 197 0 0 25 0 1 0 24284711 149004288 34104 1992294400 4194304 8395647 140734728562480 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 36378 34104 646 1026 0 35348 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 145512 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31487 /proc/meminfo: memFree=1580248/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=145512 CPUtime=1421.92 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 51511 0 0 0 141988 204 0 0 25 0 1 0 24284711 149004288 34104 1992294400 4194304 8395647 140734728562480 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 36378 34104 646 1026 0 35348 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 145512 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31488 /proc/meminfo: memFree=1576776/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=149032 CPUtime=1481.9 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 56081 0 0 0 147978 212 0 0 25 0 1 0 24284711 152608768 34981 1992294400 4194304 8395647 140734728562480 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 37258 34981 646 1026 0 36228 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 149032 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31490 /proc/meminfo: memFree=1576776/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=149032 CPUtime=1541.89 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 56081 0 0 0 153968 221 0 0 25 0 1 0 24284711 152608768 34981 1992294400 4194304 8395647 140734728562480 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 37258 34981 646 1026 0 36228 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 149032 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31492 /proc/meminfo: memFree=1576776/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=149032 CPUtime=1601.87 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 56081 0 0 0 159961 226 0 0 25 0 1 0 24284711 152608768 34981 1992294400 4194304 8395647 140734728562480 18446744073709551615 6574285 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 37258 34981 646 1026 0 36228 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 149032 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31493 /proc/meminfo: memFree=1576776/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=149032 CPUtime=1661.86 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 56081 0 0 0 165953 233 0 0 25 0 1 0 24284711 152608768 34981 1992294400 4194304 8395647 140734728562480 18446744073709551615 4911312 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 37258 34981 646 1026 0 36228 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 149032 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31495 /proc/meminfo: memFree=1576652/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=149032 CPUtime=1721.84 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 56082 0 0 0 171946 238 0 0 25 0 1 0 24284711 152608768 34982 1992294400 4194304 8395647 140734728562480 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 37258 34982 646 1026 0 36228 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 149032 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31496 /proc/meminfo: memFree=1576528/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=149032 CPUtime=1781.83 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 56082 0 0 0 177942 241 0 0 25 0 1 0 24284711 152608768 34982 1992294400 4194304 8395647 140734728562480 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 37258 34982 646 1026 0 36228 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 149032 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31496 /proc/meminfo: memFree=1576528/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=149032 CPUtime=1785.03 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 56082 0 0 0 178262 241 0 0 25 0 1 0 24284711 152608768 34982 1992294400 4194304 8395647 140734728562480 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 37258 34982 646 1026 0 36228 0 Current children cumulated CPU time (s) 1785.03 Current children cumulated vsize (KiB) 149032 [startup+1788.7 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31496 /proc/meminfo: memFree=1576528/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=149032 CPUtime=1788.22 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 56082 0 0 0 178581 241 0 0 25 0 1 0 24284711 152608768 34982 1992294400 4194304 8395647 140734728562480 18446744073709551615 4785947 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 37258 34982 646 1026 0 36228 0 Current children cumulated CPU time (s) 1788.22 Current children cumulated vsize (KiB) 149032 [startup+1789.5 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31496 /proc/meminfo: memFree=1576528/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=149032 CPUtime=1789.02 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 56082 0 0 0 178661 241 0 0 25 0 1 0 24284711 152608768 34982 1992294400 4194304 8395647 140734728562480 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 37258 34982 646 1026 0 36228 0 Current children cumulated CPU time (s) 1789.02 Current children cumulated vsize (KiB) 149032 [startup+1789.9 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31496 /proc/meminfo: memFree=1576528/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=149032 CPUtime=1789.42 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 56082 0 0 0 178701 241 0 0 25 0 1 0 24284711 152608768 34982 1992294400 4194304 8395647 140734728562480 18446744073709551615 4911327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31439/statm: 37258 34982 646 1026 0 36228 0 Current children cumulated CPU time (s) 1789.42 Current children cumulated vsize (KiB) 149032 [startup+1790.3 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31496 /proc/meminfo: memFree=1576528/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=149032 CPUtime=1789.82 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 56084 0 0 0 178741 241 0 0 25 0 1 0 24284711 152608768 34984 1992294400 4194304 8395647 140734728562480 18446744073709551615 6150661 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31439/statm: 37258 34984 648 1026 0 36228 0 Current children cumulated CPU time (s) 1789.82 Current children cumulated vsize (KiB) 149032 [startup+1790.4 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31496 /proc/meminfo: memFree=1576528/2059040 swapFree=4134944/4192956 [pid=31439] ppid=31437 vsize=130520 CPUtime=1789.92 /proc/31439/stat : 31439 (pbscip.linux.x8) R 31437 31439 31414 0 -1 4202496 56084 0 0 0 178751 241 0 0 25 0 1 0 24284711 133652480 31301 1992294400 4194304 8395647 140734728562480 18446744073709551615 7435351 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31439/statm: 32441 31301 648 1026 0 31411 0 Current children cumulated CPU time (s) 1789.92 Current children cumulated vsize (KiB) 130520 Child status: 0 Real time (s): 1790.42 CPU time (s): 1789.95 CPU user time (s): 1787.52 CPU system time (s): 2.42863 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 165164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.52 system time used= 2.42863 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 56087 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= 5 involuntary context switches= 2691 runsolver used 2.98754 second user time and 8.42472 second system time The end
Begin job on node002 at 2010-07-08 05:45:10 IDJOB=2703614 IDBENCH=2527 IDSOLVER=1213 FILE ID=node002/2703614-1278560710 PBS_JOBID= 11239536 Free space on /tmp= 62564 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703614-1278560710/watcher-2703614-1278560710 -o /tmp/evaluation-result-2703614-1278560710/solver-2703614-1278560710 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703614-1278560710.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6eba7367ef128fb0872fe815e4ef2398 RANDOM SEED=182985939 node002.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1716688 kB Buffers: 82444 kB Cached: 177088 kB SwapCached: 11820 kB Active: 156440 kB Inactive: 117144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1716688 kB SwapTotal: 4192956 kB SwapFree: 4134944 kB Dirty: 12568 kB Writeback: 0 kB AnonPages: 11240 kB Mapped: 8240 kB Slab: 46828 kB PageTables: 4156 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179624 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62556 MiB End job on node002 at 2010-07-08 06:15:00