Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed | SAT | 7 | 1796.84 | 1797.12 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-saucier.r.opb |
| MD5SUM | aa80468537d69826ea16800f352007ec |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 6 |
| Best CPU time to get the best result obtained on this benchmark | 1593.1 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 7 |
| Optimality of the best value was proved | NO |
| Number of variables | 6207 |
| Total number of constraints | 171 |
| Number of constraints which are clauses | 171 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 5184 |
| Number of terms in the objective function | 6207 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 6207 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 6207 |
| Number of bits of the biggest sum of numbers | 13 |
| 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 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3693375-1338033232.opb>
0.09/0.17 c original problem has 6207 variables (6207 bin, 0 int, 0 impl, 0 cont) and 171 constraints
0.09/0.17 c problem read in 0.18
0.29/0.37 o 6207
0.29/0.38 c feasible solution found by trivial heuristic, objective value 6.207000e+03
0.29/0.38 c presolving:
0.59/0.61 c (round 1) 0 del vars, 55 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.69/0.76 c (round 2) 1 del vars, 55 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 116 upgd conss, 2 impls, 0 clqs
0.69/0.78 c (0.8s) probing: 51/6206 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.78 c (0.8s) probing aborted: 50/50 successive totally useless probings
0.89/0.91 c presolving (3 rounds):
0.89/0.91 c 1 deleted vars, 55 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 55 changed sides, 0 changed coefficients
0.89/0.91 c 2 implications, 0 cliques
0.89/0.91 c presolved problem has 6206 variables (6206 bin, 0 int, 0 impl, 0 cont) and 116 constraints
0.89/0.91 c 1 constraints of type <setppc>
0.89/0.91 c 115 constraints of type <logicor>
0.89/0.91 c transformed objective value is always integral (scale: 1)
0.89/0.91 c Presolving Time: 0.71
0.89/0.91 c - non default parameters ----------------------------------------------------------------------
0.89/0.91 c # SCIP version 2.1.1.4
0.89/0.91 c
0.89/0.91 c # maximal time in seconds to run
0.89/0.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.91 c limits/time = 1797
0.89/0.91 c
0.89/0.91 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.91 c limits/memory = 13950
0.89/0.91 c
0.89/0.91 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.91 c # [type: int, range: [1,2], default: 1]
0.89/0.91 c timing/clocktype = 2
0.89/0.91 c
0.89/0.91 c # belongs reading time to solving time?
0.89/0.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.91 c timing/reading = TRUE
0.89/0.91 c
0.89/0.91 c -----------------------------------------------------------------------------------------------
0.89/0.91 c start solving
0.89/0.92 c
0.89/0.92 o 6206
0.89/0.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.92 c t 0.9s| 1 | 0 | 0 | - | 39M| 0 | - |6206 | 116 | 0 | 0 | 0 | 0 | 0 | -- | 6.206000e+03 | Inf
1.00/1.05 o 13
1.00/1.05 c b 1.1s| 1 | 0 | 0 | - | 57M| 0 | - |6206 | 116 |6206 | 116 | 0 | 0 | 0 | -- | 1.300000e+01 | Inf
1.19/1.24 c 1.2s| 1 | 0 | 196 | - | 57M| 0 | 50 |6206 | 116 |6206 | 116 | 0 | 0 | 0 | 5.000000e+00 | 1.300000e+01 | 160.00%
1.29/1.32 o 12
1.29/1.32 c z 1.3s| 1 | 0 | 196 | - | 58M| 0 | 50 |6206 | 116 |6206 | 116 | 0 | 0 | 0 | 5.000000e+00 | 1.200000e+01 | 140.00%
1.79/1.83 o 7
1.79/1.83 c E 1.8s| 1 | 0 | 196 | - | 58M| 0 | 50 |6206 | 116 |6206 | 116 | 0 | 0 | 0 | 5.000000e+00 | 7.000000e+00 | 40.00%
1.79/1.85 c 1.9s| 1 | 0 | 196 | - | 58M| 0 | 50 |6206 | 116 |6206 | 116 | 0 | 0 | 0 | 5.000000e+00 | 7.000000e+00 | 40.00%
8.70/8.75 c 8.8s| 1 | 2 | 196 | - | 58M| 0 | 50 |6206 | 116 |6206 | 116 | 0 | 0 | 27 | 5.000000e+00 | 7.000000e+00 | 40.00%
110.08/110.15 c 110s| 100 | 17 | 63041 | 634.8 | 67M| 16 | - |6206 | 116 |6206 | 116 | 0 | 0 | 356 | 5.000000e+00 | 7.000000e+00 | 40.00%
114.28/114.33 o 7
114.28/114.33 c z 114s| 129 | 22 | 69868 | 544.3 | 67M| 16 | 36 |6206 | 116 |6206 | 116 | 0 | 0 | 356 | 5.000000e+00 | 7.000000e+00 | 40.00%
176.36/176.49 c 176s| 200 | 49 |156875 | 787.3 | 69M| 27 | - |6206 | 116 |6206 | 116 | 0 | 0 |1857 | 5.000000e+00 | 7.000000e+00 | 40.00%
244.35/244.46 c 244s| 300 | 69 |249055 | 832.3 | 70M| 46 | - |6206 | 116 |6206 | 116 | 0 | 0 |2228 | 5.000000e+00 | 7.000000e+00 | 40.00%
276.55/276.63 o 7
276.55/276.63 c s 277s| 355 | 78 |293560 | 828.7 | 70M| 53 | 28 |6206 | 116 |6206 | 116 | 0 | 0 |2620 | 5.000000e+00 | 7.000000e+00 | 40.00%
303.04/303.12 c 303s| 400 | 85 |326203 | 817.1 | 71M| 57 | - |6206 | 116 |6206 | 116 | 0 | 0 |2788 | 5.000000e+00 | 7.000000e+00 | 40.00%
358.34/358.40 c 358s| 500 | 99 |399266 | 799.7 | 71M| 65 | - |6206 | 116 |6206 | 116 | 0 | 0 |3609 | 5.000000e+00 | 7.000000e+00 | 40.00%
418.62/418.78 c 419s| 600 | 113 |486005 | 811.0 | 71M| 71 | 48 |6206 | 116 |6206 | 116 | 0 | 0 |3830 | 5.000000e+00 | 7.000000e+00 | 40.00%
447.82/447.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
447.82/447.99 c 448s| 700 | 121 |525924 | 752.1 | 72M| 77 | 27 |6206 | 116 |6206 | 116 | 0 | 0 |4031 | 5.000000e+00 | 7.000000e+00 | 40.00%
484.11/484.29 c 484s| 800 | 129 |576431 | 721.2 | 72M| 83 | 30 |6206 | 116 |6206 | 116 | 0 | 0 |4317 | 5.000000e+00 | 7.000000e+00 | 40.00%
510.32/510.44 c 510s| 900 | 135 |609509 | 677.8 | 73M| 91 | - |6206 | 116 |6206 | 116 | 0 | 0 |4782 | 5.000000e+00 | 7.000000e+00 | 40.00%
533.51/533.62 c 534s| 1000 | 143 |642344 | 642.8 | 73M| 96 | 25 |6206 | 116 |6206 | 116 | 0 | 0 |5132 | 5.000000e+00 | 7.000000e+00 | 40.00%
558.51/558.66 c 559s| 1100 | 151 |678535 | 617.2 | 73M| 102 | 28 |6206 | 116 |6206 | 116 | 0 | 0 |5579 | 5.000000e+00 | 7.000000e+00 | 40.00%
576.20/576.36 c 576s| 1200 | 159 |701492 | 584.9 | 73M| 107 | 19 |6206 | 116 |6206 | 116 | 0 | 0 |6114 | 5.000000e+00 | 7.000000e+00 | 40.00%
594.69/594.81 c 595s| 1300 | 165 |728038 | 560.3 | 74M| 114 | - |6206 | 116 |6206 | 116 | 0 | 0 |6312 | 5.000000e+00 | 7.000000e+00 | 40.00%
613.49/613.62 c 614s| 1400 | 175 |752556 | 537.8 | 74M| 119 | - |6206 | 116 |6206 | 116 | 0 | 0 |7194 | 5.000000e+00 | 7.000000e+00 | 40.00%
627.69/627.88 c 628s| 1500 | 183 |770908 | 514.2 | 74M| 124 | 20 |6206 | 116 |6206 | 116 | 0 | 0 |7760 | 5.000000e+00 | 7.000000e+00 | 40.00%
640.68/640.85 c 641s| 1600 | 187 |787473 | 492.4 | 74M| 130 | - |6206 | 116 |6206 | 116 | 0 | 0 |8283 | 5.000000e+00 | 7.000000e+00 | 40.00%
657.99/658.12 c 658s| 1700 | 195 |809153 | 476.1 | 74M| 134 | 30 |6206 | 116 |6206 | 116 | 0 | 0 |8513 | 5.000000e+00 | 7.000000e+00 | 40.00%
682.29/682.44 c 682s| 1800 | 201 |843232 | 468.6 | 75M| 137 | 27 |6206 | 116 |6206 | 116 | 0 | 0 |8941 | 5.000000e+00 | 7.000000e+00 | 40.00%
696.98/697.11 c 697s| 1900 | 209 |863506 | 454.6 | 75M| 141 | 19 |6206 | 116 |6206 | 116 | 0 | 0 |9281 | 5.000000e+00 | 7.000000e+00 | 40.00%
708.78/708.90 c 709s| 2000 | 215 |880103 | 440.2 | 75M| 146 | - |6206 | 116 |6206 | 116 | 0 | 0 |9637 | 5.000000e+00 | 7.000000e+00 | 40.00%
731.97/732.12 c 732s| 2100 | 223 |909825 | 433.4 | 75M| 149 | - |6206 | 116 |6206 | 116 | 0 | 0 | 10k| 5.000000e+00 | 7.000000e+00 | 40.00%
747.27/747.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
747.27/747.41 c 747s| 2200 | 229 |929696 | 422.7 | 75M| 153 | 28 |6206 | 116 |6206 | 116 | 0 | 0 | 11k| 5.000000e+00 | 7.000000e+00 | 40.00%
770.27/770.45 c 770s| 2300 | 233 |964555 | 419.5 | 76M| 156 | - |6206 | 116 |6206 | 116 | 0 | 0 | 11k| 5.000000e+00 | 7.000000e+00 | 40.00%
783.07/783.25 c 783s| 2400 | 237 |981440 | 409.0 | 76M| 159 | 18 |6206 | 116 |6206 | 116 | 0 | 0 | 12k| 5.000000e+00 | 7.000000e+00 | 40.00%
800.57/800.75 c 801s| 2500 | 245 | 1003k| 401.4 | 76M| 165 | 18 |6206 | 116 |6206 | 116 | 0 | 0 | 12k| 5.000000e+00 | 7.000000e+00 | 40.00%
813.26/813.49 c 813s| 2600 | 249 | 1020k| 392.5 | 76M| 168 | - |6206 | 116 |6206 | 116 | 0 | 0 | 13k| 5.000000e+00 | 7.000000e+00 | 40.00%
824.96/825.14 c 825s| 2700 | 253 | 1036k| 383.9 | 76M| 172 | - |6206 | 116 |6206 | 116 | 0 | 0 | 13k| 5.000000e+00 | 7.000000e+00 | 40.00%
835.25/835.46 c 835s| 2800 | 263 | 1050k| 375.3 | 76M| 175 | 28 |6206 | 116 |6206 | 116 | 0 | 0 | 13k| 5.000000e+00 | 7.000000e+00 | 40.00%
852.16/852.36 c 852s| 2900 | 269 | 1065k| 367.6 | 77M| 178 | 27 |6206 | 116 |6206 | 116 | 0 | 0 | 13k| 5.000000e+00 | 7.000000e+00 | 40.00%
864.25/864.48 c 864s| 3000 | 273 | 1083k| 361.1 | 77M| 182 | 30 |6206 | 116 |6206 | 116 | 0 | 0 | 14k| 5.000000e+00 | 7.000000e+00 | 40.00%
875.96/876.18 c 876s| 3100 | 277 | 1099k| 354.7 | 77M| 185 | 28 |6206 | 116 |6206 | 116 | 0 | 0 | 14k| 5.000000e+00 | 7.000000e+00 | 40.00%
889.25/889.46 c 889s| 3200 | 283 | 1116k| 348.8 | 77M| 188 | - |6206 | 116 |6206 | 116 | 0 | 0 | 15k| 5.000000e+00 | 7.000000e+00 | 40.00%
899.85/900.05 c 900s| 3300 | 291 | 1130k| 342.5 | 77M| 192 | - |6206 | 116 |6206 | 116 | 0 | 0 | 15k| 5.000000e+00 | 7.000000e+00 | 40.00%
917.05/917.28 c 917s| 3400 | 297 | 1153k| 339.4 | 77M| 195 | 29 |6206 | 116 |6206 | 116 | 0 | 0 | 15k| 5.000000e+00 | 7.000000e+00 | 40.00%
925.64/925.88 c 926s| 3500 | 301 | 1165k| 333.1 | 78M| 197 | - |6206 | 116 |6206 | 116 | 0 | 0 | 15k| 5.000000e+00 | 7.000000e+00 | 40.00%
937.54/937.79 c 938s| 3600 | 309 | 1182k| 328.4 | 78M| 201 | 39 |6206 | 116 |6206 | 116 | 0 | 0 | 15k| 5.000000e+00 | 7.000000e+00 | 40.00%
949.65/949.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
949.65/949.87 c 950s| 3700 | 313 | 1196k| 323.3 | 78M| 205 | - |6206 | 116 |6206 | 116 | 0 | 0 | 16k| 5.000000e+00 | 7.000000e+00 | 40.00%
961.04/961.27 c 961s| 3800 | 321 | 1210k| 318.6 | 78M| 207 | - |6206 | 116 |6206 | 116 | 0 | 0 | 16k| 5.000000e+00 | 7.000000e+00 | 40.00%
978.34/978.55 c 979s| 3900 | 327 | 1232k| 316.0 | 78M| 211 | 39 |6206 | 116 |6206 | 116 | 0 | 0 | 16k| 5.000000e+00 | 7.000000e+00 | 40.00%
1016.93/1017.11 c 1017s| 4000 | 333 | 1289k| 322.3 | 78M| 211 | 37 |6206 | 116 |6206 | 116 | 0 | 0 | 17k| 5.000000e+00 | 7.000000e+00 | 40.00%
1038.42/1038.60 c 1039s| 4100 | 341 | 1319k| 321.8 | 79M| 212 | 26 |6206 | 116 |6206 | 116 | 0 | 0 | 17k| 5.000000e+00 | 7.000000e+00 | 40.00%
1047.82/1048.04 c 1048s| 4200 | 345 | 1333k| 317.4 | 79M| 214 | - |6206 | 116 |6206 | 116 | 0 | 0 | 17k| 5.000000e+00 | 7.000000e+00 | 40.00%
1063.62/1063.86 c 1064s| 4300 | 349 | 1355k| 315.2 | 79M| 217 | - |6206 | 116 |6206 | 116 | 0 | 0 | 18k| 5.000000e+00 | 7.000000e+00 | 40.00%
1077.22/1077.46 c 1077s| 4400 | 351 | 1372k| 312.0 | 79M| 218 | - |6206 | 116 |6206 | 116 | 0 | 0 | 18k| 5.000000e+00 | 7.000000e+00 | 40.00%
1088.42/1088.60 c 1089s| 4500 | 355 | 1389k| 308.8 | 79M| 223 | 48 |6206 | 116 |6206 | 116 | 0 | 0 | 18k| 5.000000e+00 | 7.000000e+00 | 40.00%
1103.81/1104.06 c 1104s| 4600 | 361 | 1412k| 307.2 | 79M| 224 | - |6206 | 116 |6206 | 116 | 0 | 0 | 18k| 5.000000e+00 | 7.000000e+00 | 40.00%
1115.02/1115.26 c 1115s| 4700 | 367 | 1428k| 304.0 | 79M| 226 | - |6206 | 116 |6206 | 116 | 0 | 0 | 18k| 5.000000e+00 | 7.000000e+00 | 40.00%
1128.81/1129.06 c 1129s| 4800 | 373 | 1448k| 301.9 | 79M| 228 | 24 |6206 | 116 |6206 | 116 | 0 | 0 | 19k| 5.000000e+00 | 7.000000e+00 | 40.00%
1139.32/1139.55 c 1140s| 4900 | 381 | 1464k| 299.0 | 80M| 231 | 29 |6206 | 116 |6206 | 116 | 0 | 0 | 19k| 5.000000e+00 | 7.000000e+00 | 40.00%
1502.76/1503.03 c 1503s| 5000 | 387 | 2281k| 456.4 | 80M| 233 | 38 |6206 | 116 |6206 | 116 | 0 | 0 | 19k| 5.000000e+00 | 7.000000e+00 | 40.00%
1551.85/1552.15 c 1552s| 5100 | 395 | 2346k| 460.1 | 80M| 235 | - |6206 | 116 |6206 | 116 | 0 | 0 | 19k| 5.000000e+00 | 7.000000e+00 | 40.00%
1560.15/1560.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1560.15/1560.46 c 1560s| 5200 | 403 | 2356k| 453.2 | 80M| 237 | - |6206 | 116 |6206 | 116 | 0 | 0 | 20k| 5.000000e+00 | 7.000000e+00 | 40.00%
1569.15/1569.48 c 1569s| 5300 | 409 | 2369k| 447.1 | 81M| 239 | 29 |6206 | 116 |6206 | 116 | 0 | 0 | 20k| 5.000000e+00 | 7.000000e+00 | 40.00%
1576.15/1576.40 c 1576s| 5400 | 417 | 2377k| 440.4 | 81M| 242 | 40 |6206 | 116 |6206 | 116 | 0 | 0 | 20k| 5.000000e+00 | 7.000000e+00 | 40.00%
1591.64/1591.98 c 1592s| 5500 | 427 | 2399k| 436.3 | 81M| 245 | - |6206 | 116 |6206 | 116 | 0 | 0 | 20k| 5.000000e+00 | 7.000000e+00 | 40.00%
1601.74/1602.02 c 1602s| 5600 | 437 | 2412k| 430.8 | 81M| 248 | 37 |6206 | 116 |6206 | 116 | 0 | 0 | 20k| 5.000000e+00 | 7.000000e+00 | 40.00%
1614.24/1614.51 c 1615s| 5700 | 445 | 2428k| 426.1 | 81M| 251 | 18 |6206 | 116 |6206 | 116 | 0 | 0 | 21k| 5.000000e+00 | 7.000000e+00 | 40.00%
1623.24/1623.56 c 1624s| 5800 | 449 | 2439k| 420.7 | 81M| 252 | - |6206 | 116 |6206 | 116 | 0 | 0 | 21k| 5.000000e+00 | 7.000000e+00 | 40.00%
1635.54/1635.81 c 1636s| 5900 | 455 | 2454k| 416.1 | 81M| 254 | 15 |6206 | 116 |6206 | 116 | 0 | 0 | 22k| 5.000000e+00 | 7.000000e+00 | 40.00%
1645.63/1645.93 c 1646s| 6000 | 467 | 2469k| 411.6 | 82M| 257 | - |6206 | 116 |6206 | 116 | 0 | 0 | 22k| 5.000000e+00 | 7.000000e+00 | 40.00%
1662.13/1662.47 c 1662s| 6100 | 473 | 2493k| 408.8 | 82M| 258 | 28 |6206 | 116 |6206 | 116 | 0 | 0 | 22k| 5.000000e+00 | 7.000000e+00 | 40.00%
1672.63/1672.97 c 1673s| 6200 | 487 | 2506k| 404.3 | 82M| 261 | 19 |6206 | 116 |6206 | 116 | 0 | 0 | 23k| 5.000000e+00 | 7.000000e+00 | 40.00%
1796.71/1797.00 c
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Solving Time (sec) : 1797.00
1796.71/1797.00 c Solving Nodes : 6237
1796.71/1797.00 c Primal Bound : +6.99999999999999e+00 (601 solutions)
1796.71/1797.00 c Dual Bound : +5.00000000000000e+00
1796.71/1797.00 c Gap : 40.00 %
1796.71/1797.03 s SATISFIABLE
1796.71/1797.03 v -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189
1796.71/1797.03 v -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172
1796.71/1797.03 v -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154
1796.71/1797.03 v -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136
1796.71/1797.03 v -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118
1796.71/1797.03 v -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100
1796.71/1797.03 v -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082
1796.71/1797.03 v -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064
1796.71/1797.03 v -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047
1796.71/1797.03 v -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029
1796.71/1797.03 v -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011
1796.71/1797.03 v -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993
1796.71/1797.03 v -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975
1796.71/1797.03 v -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957
1796.71/1797.03 v -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939
1796.71/1797.03 v -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922
1796.71/1797.03 v -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 -x5907 -x5906 -x5905 -x5904
1796.71/1797.03 v -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5887 x5886
1796.71/1797.03 v -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868
1796.71/1797.03 v -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850
1796.71/1797.03 v -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5832
1796.71/1797.03 v -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 -x5814
1796.71/1797.03 v -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796
1796.71/1797.03 v -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779
1796.71/1797.03 v -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761
1796.71/1797.03 v -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743
1796.71/1797.03 v -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725
1796.71/1797.03 v -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707
1796.71/1797.03 v -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689
1796.71/1797.03 v -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671
1796.71/1797.03 v -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 -x5653
1796.71/1797.03 v -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636
1796.71/1797.03 v -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618
1796.71/1797.03 v -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5603 -x5602 -x5601 -x5600
1796.71/1797.03 v -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 -x5582
1796.71/1797.03 v -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564
1796.71/1797.03 v -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546
1796.71/1797.03 v -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 -x5528
1796.71/1797.03 v -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511
1796.71/1797.03 v -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493
1796.71/1797.03 v -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475
1796.71/1797.03 v -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457
1796.71/1797.03 v -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439
1796.71/1797.03 v -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421
1796.71/1797.03 v -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403
1796.71/1797.03 v -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386
1796.71/1797.03 v -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368
1796.71/1797.03 v -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350
1796.71/1797.03 v -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5334 -x5333 -x5332
1796.71/1797.03 v -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314
1796.71/1797.03 v -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296
1796.71/1797.03 v -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278
1796.71/1797.03 v -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261
1796.71/1797.03 v -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243
1796.71/1797.03 v -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225
1796.71/1797.03 v -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207
1796.71/1797.03 v -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189
1796.71/1797.03 v -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171
1796.71/1797.03 v -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153
1796.71/1797.03 v -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136
1796.71/1797.03 v -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118
1796.71/1797.03 v -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100
1796.71/1797.03 v -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082
1796.71/1797.03 v -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064
1796.71/1797.03 v -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046
1796.71/1797.03 v -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028
1796.71/1797.03 v -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011
1796.71/1797.03 v -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993
1796.71/1797.03 v -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975
1796.71/1797.03 v -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957
1796.71/1797.03 v -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939
1796.71/1797.03 v -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921
1796.71/1797.03 v -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903
1796.71/1797.03 v -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886
1796.71/1797.03 v -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868
1796.71/1797.03 v -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850
1796.71/1797.03 v -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832
1796.71/1797.03 v -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814
1796.71/1797.03 v -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796
1796.71/1797.03 v -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778
1796.71/1797.03 v -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761
1796.71/1797.03 v -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743
1796.71/1797.03 v -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725
1796.71/1797.03 v -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707
1796.71/1797.03 v -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689
1796.71/1797.03 v -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671
1796.71/1797.03 v -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 x4655 -x4654 -x4653
1796.71/1797.03 v -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635
1796.71/1797.03 v -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618
1796.71/1797.03 v -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600
1796.71/1797.03 v -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582
1796.71/1797.03 v -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564
1796.71/1797.03 v -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546
1796.71/1797.03 v -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528
1796.71/1797.03 v -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510
1796.71/1797.03 v -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493
1796.71/1797.03 v -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475
1796.71/1797.03 v -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457
1796.71/1797.03 v -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439
1796.71/1797.03 v -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421
1796.71/1797.03 v -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403
1796.71/1797.03 v -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385
1796.71/1797.03 v -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368
1796.71/1797.03 v -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350
1796.71/1797.03 v -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332
1796.71/1797.03 v -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314
1796.71/1797.03 v -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296
1796.71/1797.03 v -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278
1796.71/1797.03 v -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260
1796.71/1797.03 v -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243
1796.71/1797.03 v -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225
1796.71/1797.03 v -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207
1796.71/1797.03 v -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189
1796.71/1797.03 v -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171
1796.71/1797.03 v -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153
1796.71/1797.03 v -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135
1796.71/1797.03 v -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118
1796.71/1797.03 v -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100
1796.71/1797.03 v -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082
1796.71/1797.03 v -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064
1796.71/1797.03 v -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046
1796.71/1797.03 v -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028
1796.71/1797.03 v -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010
1796.71/1797.03 v -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993
1796.71/1797.03 v -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975
1796.71/1797.03 v -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957
1796.71/1797.03 v -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939
1796.71/1797.03 v -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921
1796.71/1797.03 v -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903
1796.71/1797.03 v -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885
1796.71/1797.03 v -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868
1796.71/1797.03 v -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850
1796.71/1797.03 v -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832
1796.71/1797.03 v -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814
1796.71/1797.03 v -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796
1796.71/1797.03 v -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778
1796.71/1797.03 v -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760
1796.71/1797.03 v -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743
1796.71/1797.03 v -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725
1796.71/1797.03 v -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707
1796.71/1797.03 v -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689
1796.71/1797.03 v -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671
1796.71/1797.03 v -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653
1796.71/1797.03 v -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635
1796.71/1797.03 v -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618
1796.71/1797.03 v -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600
1796.71/1797.03 v -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582
1796.71/1797.03 v -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564
1796.71/1797.03 v -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546
1796.71/1797.03 v -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528
1796.71/1797.03 v -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510
1796.71/1797.03 v -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493
1796.71/1797.03 v -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475
1796.71/1797.03 v -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457
1796.71/1797.03 v -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439
1796.71/1797.03 v -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421
1796.71/1797.03 v -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403
1796.71/1797.03 v -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385
1796.71/1797.03 v -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368
1796.71/1797.03 v -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350
1796.71/1797.03 v -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332
1796.71/1797.03 v -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314
1796.71/1797.03 v -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296
1796.71/1797.03 v -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278
1796.71/1797.03 v -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260
1796.71/1797.03 v -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243
1796.71/1797.03 v -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225
1796.71/1797.03 v -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207
1796.71/1797.03 v -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189
1796.71/1797.03 v -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171
1796.71/1797.03 v -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153
1796.71/1797.03 v -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135
1796.71/1797.03 v -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118
1796.71/1797.03 v -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100
1796.71/1797.03 v -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082
1796.71/1797.03 v -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064
1796.71/1797.03 v -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046
1796.71/1797.03 v -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028
1796.71/1797.03 v -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010
1796.71/1797.03 v -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992
1796.71/1797.03 v -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975
1796.71/1797.03 v -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957
1796.71/1797.03 v -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939
1796.71/1797.03 v -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921
1796.71/1797.03 v -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903
1796.71/1797.03 v -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885
1796.71/1797.03 v -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867
1796.71/1797.03 v -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850
1796.71/1797.03 v -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832
1796.71/1797.03 v -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814
1796.71/1797.03 v -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796
1796.71/1797.03 v -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778
1796.71/1797.03 v -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760
1796.71/1797.03 v -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742
1796.71/1797.03 v -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725
1796.71/1797.03 v -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707
1796.71/1797.03 v -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689
1796.71/1797.03 v -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671
1796.71/1797.03 v -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653
1796.71/1797.03 v -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635
1796.71/1797.03 v -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617
1796.71/1797.03 v -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600
1796.71/1797.03 v -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582
1796.71/1797.03 v -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564
1796.71/1797.03 v -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546
1796.71/1797.03 v -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528
1796.71/1797.03 v -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510
1796.71/1797.03 v -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492
1796.71/1797.03 v -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475
1796.71/1797.03 v -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457
1796.71/1797.03 v -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439
1796.71/1797.03 v -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421
1796.71/1797.03 v -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403
1796.71/1797.03 v -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385
1796.71/1797.03 v -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367
1796.71/1797.03 v -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350
1796.71/1797.03 v -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332
1796.71/1797.03 v -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314
1796.71/1797.03 v -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296
1796.71/1797.03 v -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278
1796.71/1797.03 v -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260
1796.71/1797.03 v -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242
1796.71/1797.03 v -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225
1796.71/1797.03 v -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207
1796.71/1797.03 v -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189
1796.71/1797.03 v -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171
1796.71/1797.03 v -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153
1796.71/1797.03 v -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135
1796.71/1797.03 v -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117
1796.71/1797.03 v -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100
1796.71/1797.03 v -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082
1796.71/1797.03 v -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064
1796.71/1797.03 v -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046
1796.71/1797.03 v -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028
1796.71/1797.03 v -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010
1796.71/1797.03 v -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992
1796.71/1797.03 v -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975
1796.71/1797.03 v -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957
1796.71/1797.03 v -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939
1796.71/1797.03 v -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921
1796.71/1797.03 v -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903
1796.71/1797.03 v -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885
1796.71/1797.03 v -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867
1796.71/1797.03 v -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850
1796.71/1797.03 v -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832
1796.71/1797.03 v -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814
1796.71/1797.03 v -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796
1796.71/1797.03 v -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778
1796.71/1797.03 v -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760
1796.71/1797.03 v -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742
1796.71/1797.03 v -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725
1796.71/1797.03 v -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707
1796.71/1797.03 v -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689
1796.71/1797.03 v -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671
1796.71/1797.03 v -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653
1796.71/1797.03 v -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635
1796.71/1797.03 v -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617
1796.71/1797.03 v -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600
1796.71/1797.03 v -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582
1796.71/1797.03 v -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564
1796.71/1797.03 v -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546
1796.71/1797.03 v -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528
1796.71/1797.03 v -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510
1796.71/1797.03 v -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492
1796.71/1797.03 v -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475
1796.71/1797.03 v -x1474 -x1473 -x1472 -x1471 x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457
1796.71/1797.03 v -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439
1796.71/1797.03 v -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421
1796.71/1797.03 v -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403
1796.71/1797.03 v -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385
1796.71/1797.03 v -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367
1796.71/1797.03 v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349
1796.71/1797.03 v -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332
1796.71/1797.03 v -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314
1796.71/1797.03 v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296
1796.71/1797.03 v -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278
1796.71/1797.03 v -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260
1796.71/1797.03 v -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242
1796.71/1797.03 v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224
1796.71/1797.03 v -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207
1796.71/1797.03 v -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189
1796.71/1797.03 v -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171
1796.71/1797.03 v -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153
1796.71/1797.03 v -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135
1796.71/1797.03 v -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117
1796.71/1797.03 v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099
1796.71/1797.03 v -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082
1796.71/1797.03 v -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064
1796.71/1797.03 v -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046
1796.71/1797.03 v -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028
1796.71/1797.03 v -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010
1796.71/1797.03 v -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991
1796.71/1797.03 v -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970
1796.71/1797.03 v -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949
1796.71/1797.03 v -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928
1796.71/1797.03 v -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908
1796.71/1797.03 v -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887
1796.71/1797.03 v -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866
1796.71/1797.03 v -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845
1796.71/1797.03 v -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824
1796.71/1797.03 v -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803
1796.71/1797.03 v -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783
1796.71/1797.03 v -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762
1796.71/1797.03 v -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741
1796.71/1797.03 v -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720
1796.71/1797.03 v -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699
1796.71/1797.03 v -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678
1796.71/1797.03 v -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658
1796.71/1797.03 v -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637
1796.71/1797.03 v -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616
1796.71/1797.03 v -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595
1796.71/1797.03 v -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574
1796.71/1797.03 v -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553
1796.71/1797.03 v -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533
1796.71/1797.03 v -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512
1796.71/1797.03 v -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491
1796.71/1797.03 v -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470
1796.71/1797.03 v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449
1796.71/1797.03 v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428
1796.71/1797.03 v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408
1796.71/1797.03 v -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387
1796.71/1797.03 v -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366
1796.71/1797.03 v -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345
1796.71/1797.03 v -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324
1796.71/1797.03 v -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303
1796.71/1797.03 v -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283
1796.71/1797.03 v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262
1796.71/1797.03 v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241
1796.71/1797.03 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220
1796.71/1797.03 v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199
1796.71/1797.03 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178
1796.71/1797.03 v -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158
1796.71/1797.03 v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1796.71/1797.03 v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116
1796.71/1797.03 v -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94
1796.71/1797.03 v -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69
1796.71/1797.03 v -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44
1796.71/1797.03 v -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19
1796.71/1797.03 v -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1796.71/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.03 c Total Time : 1797.00
1796.71/1797.03 c solving : 1797.00
1796.71/1797.03 c presolving : 0.71 (included in solving)
1796.71/1797.03 c reading : 0.18 (included in solving)
1796.71/1797.03 c copying : 0.36 (6 #copies) (minimal 0.06, maximal 0.06, average 0.06)
1796.71/1797.03 c Original Problem :
1796.71/1797.03 c Problem name : HOME/instance-3693375-1338033232.opb
1796.71/1797.03 c Variables : 6207 (6207 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.03 c Constraints : 171 initial, 171 maximal
1796.71/1797.03 c Objective sense : minimize
1796.71/1797.03 c Presolved Problem :
1796.71/1797.03 c Problem name : t_HOME/instance-3693375-1338033232.opb
1796.71/1797.03 c Variables : 6206 (6206 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.03 c Constraints : 116 initial, 116 maximal
1796.71/1797.03 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.03 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c dualfix : 0.00 0.00 1 0 0 0 0 0 0 0 0
1796.71/1797.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c components : 0.04 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c linear : 0.29 0.00 0 0 0 0 0 55 0 55 0
1796.71/1797.03 c logicor : 0.05 0.09 0 0 0 0 0 0 0 0 0
1796.71/1797.03 c root node : - - 0 - - 0 - - - - -
1796.71/1797.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.71/1797.03 c integral : 0 0 0 0 7780 0 606 0 0 22055 0 0 6724
1796.71/1797.03 c setppc : 1 1 1 13204 0 0 601 0 0 0 0 0 0
1796.71/1797.03 c logicor : 115 115 1 713 0 0 600 0 0 0 0 0 0
1796.71/1797.03 c countsols : 0 0 0 0 0 0 604 0 0 0 0 0 0
1796.71/1797.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.71/1797.03 c integral : 494.44 0.00 0.00 0.00 494.38 0.00 0.06 0.00
1796.71/1797.03 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1796.71/1797.03 c logicor : 0.60 0.09 0.00 0.27 0.00 0.00 0.23 0.00
1796.71/1797.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.71/1797.03 c rootredcost : 0 0 0 0
1796.71/1797.03 c pseudoobj : 26018 0 0 0
1796.71/1797.03 c vbounds : 0 0 0 0
1796.71/1797.03 c redcost : 8056 0 0 215847
1796.71/1797.03 c probing : 0 0 0 0
1796.71/1797.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.71/1797.03 c rootredcost : 0.02 0.00 0.00 0.02 0.00
1796.71/1797.03 c pseudoobj : 0.10 0.00 0.00 0.09 0.00
1796.71/1797.03 c vbounds : 0.02 0.00 0.00 0.01 0.00
1796.71/1797.03 c redcost : 1.23 0.00 0.00 1.23 0.00
1796.71/1797.03 c probing : 0.01 0.00 0.01 0.00 0.00
1796.71/1797.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.03 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.03 c applied globally : - - - 0 0.0 - - -
1796.71/1797.03 c applied locally : - - - 0 0.0 - - -
1796.71/1797.03 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.03 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1796.71/1797.03 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.03 c impliedbounds : 0.00 0.00 2 0 0 0 0
1796.71/1797.03 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.03 c gomory : 0.00 0.00 2 0 0 0 0
1796.71/1797.03 c cgmip : 0.00 0.00 0 0 0 0 0
1796.71/1797.03 c strongcg : 0.00 0.00 2 0 0 0 0
1796.71/1797.03 c cmir : 0.00 0.00 2 0 0 0 0
1796.71/1797.03 c flowcover : 0.15 0.00 2 0 0 0 0
1796.71/1797.03 c clique : 0.00 0.00 1 0 0 0 0
1796.71/1797.03 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.03 c mcf : 0.00 0.00 1 0 0 0 0
1796.71/1797.03 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.71/1797.03 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.71/1797.03 c Pricers : ExecTime SetupTime Calls Vars
1796.71/1797.03 c problem variables: 0.00 - 0 0
1796.71/1797.03 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.03 c relpscost : 494.36 0.00 7780 0 22055 0 0 6724
1796.71/1797.03 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.03 c inference : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.03 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.03 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.03 c random : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.04 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.71/1797.04 c LP solutions : 0.00 - - 0
1796.71/1797.04 c pseudo solutions : 0.00 - - 0
1796.71/1797.04 c guideddiving : 0.00 0.00 0 0
1796.71/1797.04 c intshifting : 0.00 0.00 0 0
1796.71/1797.04 c feaspump : 0.00 0.00 0 0
1796.71/1797.04 c oneopt : 0.16 0.00 5 1
1796.71/1797.04 c coefdiving : 1.56 0.00 1 138
1796.71/1797.04 c pscostdiving : 0.05 0.00 1 0
1796.71/1797.04 c fracdiving : 6.74 0.00 1 0
1796.71/1797.04 c veclendiving : 355.37 0.00 1 0
1796.71/1797.04 c objpscostdiving : 0.29 0.00 1 0
1796.71/1797.04 c rootsoldiving : 0.04 0.00 1 0
1796.71/1797.04 c crossover : 1.40 0.00 5 2
1796.71/1797.04 c smallcard : 0.00 0.00 0 0
1796.71/1797.04 c trivial : 0.03 0.00 2 2
1796.71/1797.04 c shiftandpropagate: 0.00 0.00 0 0
1796.71/1797.04 c simplerounding : 0.22 0.00 7780 97
1796.71/1797.04 c zirounding : 0.56 0.00 3361 254
1796.71/1797.04 c rounding : 0.18 0.00 1150 0
1796.71/1797.04 c shifting : 0.64 0.00 869 106
1796.71/1797.04 c twoopt : 0.00 0.00 0 0
1796.71/1797.04 c indoneopt : 0.01 0.00 0 0
1796.71/1797.04 c indtwoopt : 0.00 0.00 0 0
1796.71/1797.04 c fixandinfer : 0.00 0.00 0 0
1796.71/1797.04 c clique : 0.00 0.00 0 0
1796.71/1797.04 c indrounding : 0.00 0.00 0 0
1796.71/1797.04 c indcoefdiving : 0.00 0.00 0 0
1796.71/1797.04 c nlpdiving : 0.00 0.00 0 0
1796.71/1797.04 c intdiving : 0.00 0.00 0 0
1796.71/1797.04 c actconsdiving : 0.00 0.00 0 0
1796.71/1797.04 c linesearchdiving : 123.79 0.00 1 0
1796.71/1797.04 c octane : 0.00 0.00 0 0
1796.71/1797.04 c rens : 0.53 0.00 1 1
1796.71/1797.04 c rins : 0.00 0.00 0 0
1796.71/1797.04 c localbranching : 0.00 0.00 0 0
1796.71/1797.04 c mutation : 0.00 0.00 0 0
1796.71/1797.04 c dins : 0.00 0.00 0 0
1796.71/1797.04 c vbounds : 0.00 0.00 0 0
1796.71/1797.04 c undercover : 0.00 0.00 0 0
1796.71/1797.04 c subnlp : 0.00 0.00 0 0
1796.71/1797.04 c trysol : 0.01 0.00 0 0
1796.71/1797.04 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.71/1797.04 c primal LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.04 c dual LP : 801.37 10932 1694934 159.07 2115.04 0.65 277
1796.71/1797.04 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.04 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.04 c diving/probing LP: 482.25 7621 1127206 147.91 2337.41
1796.71/1797.04 c strong branching : 493.46 23413 960736 41.03 1946.92
1796.71/1797.04 c (at root node) : - 27 13265 491.30 -
1796.71/1797.04 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.04 c B&B Tree :
1796.71/1797.04 c number of runs : 1
1796.71/1797.04 c nodes : 6237
1796.71/1797.04 c nodes (total) : 6237
1796.71/1797.04 c nodes left : 488
1796.71/1797.04 c max depth : 262
1796.71/1797.04 c max depth (total): 262
1796.71/1797.04 c backtracks : 246 (3.9%)
1796.71/1797.04 c delayed cutoffs : 0
1796.71/1797.04 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.71/1797.04 c avg switch length: 2.74
1796.71/1797.04 c switching time : 0.59
1796.71/1797.04 c Solution :
1796.71/1797.04 c Solutions found : 601 (7 improvements)
1796.71/1797.04 c First Solution : +6.20700000000000e+03 (in run 1, after 0 nodes, 0.35 seconds, depth 0, found by <trivial>)
1796.71/1797.04 c Primal Bound : +6.99999999999999e+00 (in run 1, after 355 nodes, 276.63 seconds, depth 50, found by <shifting>)
1796.71/1797.04 c Dual Bound : +5.00000000000000e+00
1796.71/1797.04 c Gap : 40.00 %
1796.71/1797.04 c Root Dual Bound : +5.00000000000000e+00
1796.71/1797.04 c Root Iterations : 196
1796.82/1797.11 c Time complete: 1796.83.
OK 7
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3693375-1338033232/watcher-3693375-1338033232 -o /tmp/evaluation-result-3693375-1338033232/solver-3693375-1338033232 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693375-1338033232.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.08 2.05 1.98 3/176 24066 /proc/meminfo: memFree=27408648/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=11132 CPUtime=0 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 1528 0 0 0 0 0 0 0 20 0 1 0 269449332 11399168 1482 33554432000 4194304 10169799 140735602169344 140733620837576 8801104 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 2783 1482 403 1459 0 1315 0 [startup+0.01085 s] /proc/loadavg: 2.08 2.05 1.98 3/176 24066 /proc/meminfo: memFree=27408648/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=14788 CPUtime=0 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 2447 0 0 0 0 0 0 0 20 0 1 0 269449332 15142912 2401 33554432000 4194304 10169799 140735602169344 140733620837576 5471578 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 3697 2402 403 1459 0 2229 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 14788 [startup+0.100231 s] /proc/loadavg: 2.08 2.05 1.98 3/176 24066 /proc/meminfo: memFree=27408648/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=21404 CPUtime=0.09 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 3588 0 0 0 9 0 0 0 20 0 1 0 269449332 21917696 3542 33554432000 4194304 10169799 140735602169344 140733620837576 8982256 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 5351 3542 412 1459 0 3883 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 21404 [startup+0.300244 s] /proc/loadavg: 2.08 2.05 1.98 3/176 24066 /proc/meminfo: memFree=27408648/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=87292 CPUtime=0.29 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 19096 0 0 0 26 3 0 0 20 0 1 0 269449332 89387008 19050 33554432000 4194304 10169799 140735602169344 140733620837576 7543003 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 21823 19050 499 1459 0 20355 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 87292 [startup+0.700244 s] /proc/loadavg: 2.08 2.05 1.98 3/176 24066 /proc/meminfo: memFree=27408648/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=134616 CPUtime=0.69 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 31544 0 0 0 64 5 0 0 20 0 1 0 269449332 137846784 31142 33554432000 4194304 10169799 140735602169344 140735602167432 4950384 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 33654 31142 560 1459 0 32186 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 134616 [startup+1.50027 s] /proc/loadavg: 2.08 2.05 1.98 3/177 24067 /proc/meminfo: memFree=27264380/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=243640 CPUtime=1.49 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 55580 0 0 0 140 9 0 0 20 0 1 0 269449332 249487360 57195 33554432000 4194304 10169799 140735602169344 140735602164664 8801104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 60910 57195 791 1459 0 59442 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 243640 [startup+3.10018 s] /proc/loadavg: 2.08 2.05 1.98 3/177 24067 /proc/meminfo: memFree=27230068/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=190176 CPUtime=3.09 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 59019 0 0 0 297 12 0 0 20 0 1 0 269449332 194740224 44982 33554432000 4194304 10169799 140735602169344 140735602164040 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 47544 44982 820 1459 0 46076 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 190176 [startup+6.30023 s] /proc/loadavg: 2.08 2.05 1.98 3/177 24067 /proc/meminfo: memFree=27228704/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=190176 CPUtime=6.29 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 59019 0 0 0 616 13 0 0 20 0 1 0 269449332 194740224 44982 33554432000 4194304 10169799 140735602169344 140735602164040 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 47544 44982 820 1459 0 46076 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 190176 [startup+12.7002 s] /proc/loadavg: 2.06 2.05 1.98 3/177 24067 /proc/meminfo: memFree=27228148/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=190176 CPUtime=12.68 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 59021 0 0 0 1254 14 0 0 20 0 1 0 269449332 194740224 45016 33554432000 4194304 10169799 140735602169344 140735602164040 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 47544 45016 820 1459 0 46076 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 190176 [startup+25.5002 s] /proc/loadavg: 2.05 2.05 1.98 3/177 24067 /proc/meminfo: memFree=27224552/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=190176 CPUtime=25.49 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 59022 0 0 0 2531 18 0 0 20 0 1 0 269449332 194740224 45016 33554432000 4194304 10169799 140735602169344 140735602164040 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 47544 45016 820 1459 0 46076 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 190176 [startup+51.1002 s] /proc/loadavg: 2.03 2.04 1.98 3/177 24067 /proc/meminfo: memFree=27212500/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=190176 CPUtime=51.08 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 59024 0 0 0 5084 24 0 0 20 0 1 0 269449332 194740224 45307 33554432000 4194304 10169799 140735602169344 140735602163848 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 47544 45307 820 1459 0 46076 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 190176 [startup+102.307 s] /proc/loadavg: 2.01 2.03 1.98 3/177 24067 /proc/meminfo: memFree=27192520/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=190176 CPUtime=102.28 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 59024 0 0 0 10193 35 0 0 20 0 1 0 269449332 194740224 46512 33554432000 4194304 10169799 140735602169344 140735602163848 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 47544 46512 820 1459 0 46076 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 190176 [startup+162.3 s] /proc/loadavg: 2.14 2.06 1.99 3/177 24067 /proc/meminfo: memFree=27181108/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=190732 CPUtime=162.27 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 59152 0 0 0 16175 52 0 0 20 0 1 0 269449332 195309568 46633 33554432000 4194304 10169799 140735602169344 140735602163848 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 47683 46633 820 1459 0 46215 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 190732 [startup+222.3 s] /proc/loadavg: 2.05 2.04 1.99 3/177 24068 /proc/meminfo: memFree=27168444/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=191668 CPUtime=222.25 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 59366 0 0 0 22158 67 0 0 20 0 1 0 269449332 196268032 46847 33554432000 4194304 10169799 140735602169344 140735602163848 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 47917 46847 820 1459 0 46449 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 191668 [startup+282.3 s] /proc/loadavg: 2.02 2.03 1.99 3/177 24068 /proc/meminfo: memFree=27156168/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=192408 CPUtime=282.25 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 77737 0 0 0 28142 83 0 0 20 0 1 0 269449332 197025792 47038 33554432000 4194304 10169799 140735602169344 140735602163848 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 48102 47038 820 1459 0 46634 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 192408 [startup+342.3 s] /proc/loadavg: 2.00 2.02 1.99 3/177 24068 /proc/meminfo: memFree=27137752/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=192976 CPUtime=342.24 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 77880 0 0 0 34127 97 0 0 20 0 1 0 269449332 197607424 47450 33554432000 4194304 10169799 140735602169344 140735602164040 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 48244 47450 820 1459 0 46776 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 192976 [startup+402.3 s] /proc/loadavg: 2.07 2.04 2.00 3/178 24071 /proc/meminfo: memFree=27124724/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=192976 CPUtime=402.22 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 77907 0 0 0 40111 111 0 0 20 0 1 0 269449332 197607424 47477 33554432000 4194304 10169799 140735602169344 140735602164040 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 48244 47477 820 1459 0 46776 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 192976 [startup+462.3 s] /proc/loadavg: 2.02 2.03 2.00 3/178 24094 /proc/meminfo: memFree=27108908/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=193580 CPUtime=462.22 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 78032 0 0 0 46096 126 0 0 20 0 1 0 269449332 198225920 47602 33554432000 4194304 10169799 140735602169344 140735602163848 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 48395 47602 820 1459 0 46927 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 193580 [startup+522.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 24095 /proc/meminfo: memFree=27083440/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=203100 CPUtime=522.21 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 95392 0 0 0 52076 145 0 0 20 0 1 0 269449332 207974400 50016 33554432000 4194304 10169799 140735602169344 140735602164040 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 50775 50016 824 1459 0 49307 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 203100 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 24095 /proc/meminfo: memFree=27073944/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=203100 CPUtime=582.19 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 95394 0 0 0 58058 161 0 0 20 0 1 0 269449332 207974400 50016 33554432000 4194304 10169799 140735602169344 140735602164040 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 50775 50016 824 1459 0 49307 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 203100 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27025036/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=209128 CPUtime=1062.13 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 145916 0 0 0 105908 305 0 0 20 0 1 0 269449332 214147072 51523 33554432000 4194304 10169799 140735602169344 140735602163848 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 52282 51523 824 1459 0 50814 0 Current children cumulated CPU time (s) 1062.13 Current children cumulated vsize (KiB) 209128 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24100 /proc/meminfo: memFree=27024664/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=209128 CPUtime=1122.11 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 145916 0 0 0 111888 323 0 0 20 0 1 0 269449332 214147072 51523 33554432000 4194304 10169799 140735602169344 140735602163848 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 52282 51523 824 1459 0 50814 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 209128 [startup+1182.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 24100 /proc/meminfo: memFree=27022112/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=209128 CPUtime=1182.11 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 145916 0 0 0 117872 339 0 0 20 0 1 0 269449332 214147072 51523 33554432000 4194304 10169799 140735602169344 140735602163512 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 52282 51523 824 1459 0 50814 0 Current children cumulated CPU time (s) 1182.11 Current children cumulated vsize (KiB) 209128 [startup+1242.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 24100 /proc/meminfo: memFree=27018572/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=209128 CPUtime=1242.09 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 145918 0 0 0 123857 352 0 0 20 0 1 0 269449332 214147072 51523 33554432000 4194304 10169799 140735602169344 140735602163512 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 52282 51523 824 1459 0 50814 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 209128 [startup+1302.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 24100 /proc/meminfo: memFree=27013488/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=209128 CPUtime=1302.09 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 145918 0 0 0 129842 367 0 0 20 0 1 0 269449332 214147072 51523 33554432000 4194304 10169799 140735602169344 140735602163512 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 52282 51523 824 1459 0 50814 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 209128 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 24100 /proc/meminfo: memFree=27012124/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=209128 CPUtime=1362.08 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 145918 0 0 0 135824 384 0 0 20 0 1 0 269449332 214147072 51523 33554432000 4194304 10169799 140735602169344 140735602163512 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 52282 51523 824 1459 0 50814 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 209128 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24139 /proc/meminfo: memFree=26861240/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=209128 CPUtime=1422.07 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 145918 0 0 0 141806 401 0 0 20 0 1 0 269449332 214147072 51523 33554432000 4194304 10169799 140735602169344 140735602163512 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 52282 51523 824 1459 0 50814 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 209128 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24139 /proc/meminfo: memFree=25733632/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=209128 CPUtime=1482.06 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 145918 0 0 0 147790 416 0 0 20 0 1 0 269449332 214147072 51523 33554432000 4194304 10169799 140735602169344 140735602163512 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 52282 51523 824 1459 0 50814 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 209128 [startup+1542.3 s] /proc/loadavg: 2.08 2.02 2.01 3/177 24139 /proc/meminfo: memFree=25730148/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=209128 CPUtime=1542.05 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 145918 0 0 0 153774 431 0 0 20 0 1 0 269449332 214147072 51523 33554432000 4194304 10169799 140735602169344 140735602163752 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 52282 51523 824 1459 0 50814 0 Current children cumulated CPU time (s) 1542.05 Current children cumulated vsize (KiB) 209128 [startup+1602.3 s] /proc/loadavg: 2.03 2.01 2.00 3/178 24142 /proc/meminfo: memFree=25729804/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=209128 CPUtime=1602.04 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 145918 0 0 0 159757 447 0 0 20 0 1 0 269449332 214147072 51523 33554432000 4194304 10169799 140735602169344 140735602164040 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 52282 51523 824 1459 0 50814 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 209128 [startup+1662.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 24142 /proc/meminfo: memFree=25730336/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=209128 CPUtime=1662.03 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 145918 0 0 0 165741 462 0 0 20 0 1 0 269449332 214147072 51523 33554432000 4194304 10169799 140735602169344 140735602164040 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 52282 51523 824 1459 0 50814 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 209128 [startup+1722.3 s] /proc/loadavg: 2.04 2.02 2.00 3/177 24143 /proc/meminfo: memFree=25730364/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=209128 CPUtime=1722.02 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 145922 0 0 0 171723 479 0 0 20 0 1 0 269449332 214147072 51527 33554432000 4194304 10169799 140735602169344 140735602163528 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 52282 51527 824 1459 0 50814 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 209128 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 24143 /proc/meminfo: memFree=25730020/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=209128 CPUtime=1782.01 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 145922 0 0 0 177706 495 0 0 20 0 1 0 269449332 214147072 51527 33554432000 4194304 10169799 140735602169344 140735602163816 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 52282 51527 824 1459 0 50814 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 209128 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.01 2.01 2.00 3/177 24143 /proc/meminfo: memFree=25730392/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=209128 CPUtime=1785.22 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 145922 0 0 0 178025 497 0 0 20 0 1 0 269449332 214147072 51527 33554432000 4194304 10169799 140735602169344 140735602163528 7983411 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 52282 51527 824 1459 0 50814 0 Current children cumulated CPU time (s) 1785.22 Current children cumulated vsize (KiB) 209128 [startup+1791.91 s] /proc/loadavg: 2.01 2.01 2.00 3/177 24143 /proc/meminfo: memFree=25730376/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=209128 CPUtime=1791.62 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 145922 0 0 0 178664 498 0 0 20 0 1 0 269449332 214147072 51527 33554432000 4194304 10169799 140735602169344 140735602163528 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 52282 51527 824 1459 0 50814 0 Current children cumulated CPU time (s) 1791.62 Current children cumulated vsize (KiB) 209128 [startup+1795.1 s] /proc/loadavg: 2.01 2.01 2.00 3/177 24143 /proc/meminfo: memFree=25730376/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=209128 CPUtime=1794.82 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 145922 0 0 0 178983 499 0 0 20 0 1 0 269449332 214147072 51527 33554432000 4194304 10169799 140735602169344 140735602163528 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 52282 51527 824 1459 0 50814 0 Current children cumulated CPU time (s) 1794.82 Current children cumulated vsize (KiB) 209128 [startup+1795.9 s] /proc/loadavg: 2.01 2.01 2.00 3/177 24143 /proc/meminfo: memFree=25730376/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=209128 CPUtime=1795.61 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 145922 0 0 0 179062 499 0 0 20 0 1 0 269449332 214147072 51527 33554432000 4194304 10169799 140735602169344 140735602163528 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 52282 51527 824 1459 0 50814 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (KiB) 209128 [startup+1796.7 s] /proc/loadavg: 2.01 2.01 2.00 3/177 24143 /proc/meminfo: memFree=25730376/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=209128 CPUtime=1796.41 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 145922 0 0 0 179142 499 0 0 20 0 1 0 269449332 214147072 51527 33554432000 4194304 10169799 140735602169344 140735602163528 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 52282 51527 824 1459 0 50814 0 Current children cumulated CPU time (s) 1796.41 Current children cumulated vsize (KiB) 209128 [startup+1797.1 s] /proc/loadavg: 2.01 2.01 2.00 3/177 24143 /proc/meminfo: memFree=25730376/32873844 swapFree=7364/7364 [pid=24066] ppid=24064 vsize=202436 CPUtime=1796.82 cores=1,3,5,7 /proc/24066/stat : 24066 (scip-2.1.1.4sfi) R 24064 24066 21011 0 -1 4202496 145924 0 0 0 179182 500 0 0 20 0 1 0 269449332 207294464 49856 33554432000 4194304 10169799 140735602169344 140735602163528 7547449 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/24066/statm: 50609 49856 826 1459 0 49141 0 Current children cumulated CPU time (s) 1796.82 Current children cumulated vsize (KiB) 202436 Child status: 0 Real time (s): 1797.12 CPU time (s): 1796.84 CPU user time (s): 1791.83 CPU system time (s): 5.00724 CPU usage (%): 99.9845 Max. virtual memory (cumulated for all children) (KiB): 270740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.83 system time used= 5.00724 maximum resident set size= 264444 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 145926 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= 15 involuntary context switches= 1848 runsolver used 4.36933 second user time and 11.5742 second system time The end
Begin job on node118 at 2012-05-26 13:53:52 IDJOB=3693375 IDBENCH=2850 IDSOLVER=2272 FILE ID=node118/3693375-1338033232 RUNJOBID= node118-1338029245-21966 PBS_JOBID= 14624353 Free space on /tmp= 71580 MiB SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-saucier.r.opb COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693375-1338033232/watcher-3693375-1338033232 -o /tmp/evaluation-result-3693375-1338033232/solver-3693375-1338033232 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693375-1338033232.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= aa80468537d69826ea16800f352007ec RANDOM SEED=440379064 node118.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.42 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5320.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.212 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27409176 kB Buffers: 246776 kB Cached: 4272684 kB SwapCached: 0 kB Active: 725268 kB Inactive: 3962496 kB Active(anon): 170040 kB Inactive(anon): 0 kB Active(file): 555228 kB Inactive(file): 3962496 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 18080 kB Writeback: 0 kB AnonPages: 174032 kB Mapped: 17544 kB Shmem: 200 kB Slab: 637124 kB SReclaimable: 79120 kB SUnreclaim: 558004 kB KernelStack: 1480 kB PageTables: 4460 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 283180 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 118784 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71516 MiB End job on node118 at 2012-05-26 14:23:50