Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | OPT | 87.8476 | 87.8763 |
| Name | /OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_4_mh.opb |
| MD5SUM | 122468478b8bc81c0631c64befe52d46 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3608846 |
| Best CPU time to get the best result obtained on this benchmark | 41.4087 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6810 |
| Total number of constraints | 15202 |
| Number of constraints which are clauses | 11580 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3600 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 3795 |
| Biggest coefficient in the objective function | 77854483 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 3842291271 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 77854483 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 3842291271 |
| Number of bits of the biggest sum of numbers | 32 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3744233-1338803352.opb>
0.08/0.12 c original problem has 6810 variables (6810 bin, 0 int, 0 impl, 0 cont) and 15202 constraints
0.08/0.12 c problem read
0.08/0.12 c presolving settings loaded
0.08/0.15 c presolving:
0.18/0.21 c (round 1) 900 del vars, 423 del conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 0 upgd conss, 28380 impls, 1 clqs
0.18/0.28 c (round 2) 900 del vars, 528 del conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 14671 upgd conss, 28380 impls, 1 clqs
0.89/0.92 c (0.8s) probing: 116/5910 (2.0%) - 0 fixings, 0 aggregations, 5880 implications, 0 bound changes
0.89/0.92 c (0.8s) probing aborted: 100/100 successive totally useless probings
0.89/0.92 c presolving (3 rounds):
0.89/0.92 c 900 deleted vars, 528 deleted constraints, 45 tightened bounds, 0 added holes, 105 changed sides, 315 changed coefficients
0.89/0.92 c 788160 implications, 1 cliques
0.89/0.92 c presolved problem has 5910 variables (5910 bin, 0 int, 0 impl, 0 cont) and 14674 constraints
0.89/0.92 c 3090 constraints of type <knapsack>
0.89/0.92 c 8521 constraints of type <setppc>
0.89/0.92 c 3 constraints of type <linear>
0.89/0.92 c 3060 constraints of type <logicor>
0.89/0.92 c transformed objective value is always integral (scale: 1)
0.89/0.92 c Presolving Time: 0.77
0.89/0.92 c - non default parameters ----------------------------------------------------------------------
0.89/0.92 c # SCIP version 1.2.1.3
0.89/0.92 c
0.89/0.92 c # frequency for displaying node information lines
0.89/0.92 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.92 c display/freq = 10000
0.89/0.92 c
0.89/0.92 c # maximal time in seconds to run
0.89/0.92 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.92 c limits/time = 1789.89
0.89/0.92 c
0.89/0.92 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.92 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.92 c limits/memory = 13950
0.89/0.92 c
0.89/0.92 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.92 c # [type: int, range: [1,2], default: 1]
0.89/0.92 c timing/clocktype = 2
0.89/0.92 c
0.89/0.92 c # should presolving try to simplify inequalities
0.89/0.92 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.92 c constraints/linear/simplifyinequalities = TRUE
0.89/0.92 c
0.89/0.92 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.92 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.92 c constraints/indicator/addCouplingCons = TRUE
0.89/0.92 c
0.89/0.92 c # should presolving try to simplify knapsacks
0.89/0.92 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.92 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.92 c
0.89/0.92 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.92 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.92 c separating/rapidlearning/freq = 0
0.89/0.92 c
0.89/0.92 c -----------------------------------------------------------------------------------------------
0.89/0.92 c start solving
0.89/0.92 c
1.09/1.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.09/1.11 c 1.0s| 1 | 0 | 656 | - | 56M| 0 | 49 |5910 | 14k|5910 | 14k| 0 | 0 | 0 | 2.626138e+06 | -- | Inf
1.99/2.04 o 13821835
1.99/2.04 c F 1.9s| 1 | 0 | 2129 | - | 56M| 0 | 0 |5910 | 14k|5910 | 14k| 0 | 0 | 0 | 2.626138e+06 | 1.382184e+07 | 426.32%
3.20/3.28 c 3.2s| 1 | 0 | 2217 | - | 54M| 0 | 64 |5910 | 12k|5910 | 12k| 12 | 0 | 0 | 2.731972e+06 | 1.382184e+07 | 405.93%
3.79/3.86 c 3.7s| 1 | 0 | 2296 | - | 54M| 0 | 62 |5910 | 12k|5910 | 12k| 29 | 0 | 0 | 2.800859e+06 | 1.382184e+07 | 393.49%
4.58/4.64 c 4.5s| 1 | 0 | 2386 | - | 55M| 0 | 59 |5910 | 12k|5910 | 12k| 35 | 0 | 0 | 2.863854e+06 | 1.382184e+07 | 382.63%
6.69/6.79 c 6.7s| 1 | 0 | 2400 | - | 55M| 0 | 58 |5910 | 12k|5910 | 12k| 39 | 0 | 0 | 2.868021e+06 | 1.382184e+07 | 381.93%
8.18/8.24 c 8.1s| 1 | 0 | 2509 | - | 55M| 0 | 65 |5910 | 12k|5910 | 12k| 42 | 0 | 0 | 2.903918e+06 | 1.382184e+07 | 375.97%
9.49/9.56 c 9.4s| 1 | 0 | 2582 | - | 55M| 0 | 58 |5910 | 12k|5910 | 12k| 44 | 0 | 0 | 2.909265e+06 | 1.382184e+07 | 375.10%
10.48/10.57 c 10.5s| 1 | 0 | 2645 | - | 55M| 0 | 74 |5910 | 12k|5910 | 12k| 47 | 0 | 0 | 2.919430e+06 | 1.382184e+07 | 373.44%
11.38/11.41 c 11.3s| 1 | 0 | 2736 | - | 55M| 0 | 59 |5910 | 12k|5910 | 12k| 50 | 0 | 0 | 2.934947e+06 | 1.382184e+07 | 370.94%
12.69/12.75 c 12.6s| 1 | 0 | 2794 | - | 56M| 0 | 66 |5910 | 12k|5910 | 12k| 58 | 0 | 0 | 2.940694e+06 | 1.382184e+07 | 370.02%
14.49/14.56 c 14.4s| 1 | 0 | 2821 | - | 56M| 0 | 60 |5910 | 12k|5910 | 12k| 59 | 0 | 0 | 2.942993e+06 | 1.382184e+07 | 369.65%
15.78/15.80 c 15.7s| 1 | 0 | 2843 | - | 56M| 0 | 59 |5910 | 12k|5910 | 12k| 61 | 0 | 0 | 2.944202e+06 | 1.382184e+07 | 369.46%
16.08/16.15 c 16.0s| 1 | 0 | 2933 | - | 56M| 0 | 70 |5910 | 12k|5910 | 12k| 64 | 0 | 0 | 2.964319e+06 | 1.382184e+07 | 366.27%
17.49/17.53 c 17.4s| 1 | 0 | 2974 | - | 56M| 0 | 65 |5910 | 12k|5910 | 12k| 67 | 0 | 0 | 2.970450e+06 | 1.382184e+07 | 365.31%
18.48/18.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.48/18.57 c 18.5s| 1 | 0 | 3041 | - | 57M| 0 | 70 |5910 | 12k|5910 | 12k| 68 | 0 | 0 | 2.989446e+06 | 1.382184e+07 | 362.35%
20.08/20.16 c 20.0s| 1 | 0 | 3087 | - | 57M| 0 | 65 |5910 | 12k|5910 | 12k| 72 | 0 | 0 | 2.994901e+06 | 1.382184e+07 | 361.51%
21.39/21.47 c 21.3s| 1 | 0 | 3106 | - | 57M| 0 | 63 |5910 | 12k|5910 | 12k| 74 | 0 | 0 | 3.003622e+06 | 1.382184e+07 | 360.17%
21.99/22.02 c 21.9s| 1 | 0 | 3161 | - | 57M| 0 | 65 |5910 | 12k|5910 | 12k| 76 | 0 | 0 | 3.017882e+06 | 1.382184e+07 | 358.00%
22.88/22.98 c 22.9s| 1 | 0 | 3276 | - | 57M| 0 | 60 |5910 | 12k|5910 | 12k| 79 | 0 | 0 | 3.039908e+06 | 1.382184e+07 | 354.68%
24.09/24.20 c 24.1s| 1 | 0 | 3326 | - | 57M| 0 | 68 |5910 | 12k|5910 | 12k| 82 | 0 | 0 | 3.049241e+06 | 1.382184e+07 | 353.29%
25.08/25.14 c 25.0s| 1 | 0 | 3364 | - | 57M| 0 | 71 |5910 | 12k|5910 | 12k| 84 | 0 | 0 | 3.051218e+06 | 1.382184e+07 | 352.99%
25.98/26.08 c 26.0s| 1 | 0 | 3418 | - | 57M| 0 | 69 |5910 | 12k|5910 | 12k| 88 | 0 | 0 | 3.061917e+06 | 1.382184e+07 | 351.41%
26.78/26.89 c 26.8s| 1 | 0 | 3435 | - | 57M| 0 | 67 |5910 | 12k|5910 | 12k| 89 | 0 | 0 | 3.061961e+06 | 1.382184e+07 | 351.40%
29.88/29.93 c 29.8s| 1 | 2 | 3435 | - | 57M| 0 | 67 |5910 | 12k|5910 | 12k| 89 | 0 | 24 | 3.061961e+06 | 1.382184e+07 | 351.40%
29.88/29.93 c (run 1, node 1) restarting after 386 global fixings of integer variables
29.88/29.93 c
29.88/29.94 c (restart) converted 32 cuts from the global cut pool into linear constraints
29.88/29.94 c
29.88/29.95 c presolving:
30.08/30.11 c (round 1) 386 del vars, 66 del conss, 1144 chg bounds, 628 chg sides, 1200 chg coeffs, 32 upgd conss, 837876 impls, 2 clqs
30.08/30.17 c (round 2) 1530 del vars, 2376 del conss, 1144 chg bounds, 2214 chg sides, 4220 chg coeffs, 32 upgd conss, 843696 impls, 2 clqs
30.18/30.20 c (round 3) 1530 del vars, 2379 del conss, 1144 chg bounds, 2214 chg sides, 4223 chg coeffs, 32 upgd conss, 843696 impls, 2 clqs
30.18/30.22 c presolving (4 rounds):
30.18/30.22 c 1530 deleted vars, 2379 deleted constraints, 1144 tightened bounds, 0 added holes, 2214 changed sides, 4226 changed coefficients
30.18/30.22 c 843696 implications, 2 cliques
30.18/30.22 c presolved problem has 4380 variables (4380 bin, 0 int, 0 impl, 0 cont) and 12193 constraints
30.18/30.22 c 2097 constraints of type <knapsack>
30.18/30.22 c 7180 constraints of type <setppc>
30.18/30.22 c 3 constraints of type <linear>
30.18/30.22 c 2913 constraints of type <logicor>
30.18/30.22 c transformed objective value is always integral (scale: 1)
30.18/30.22 c Presolving Time: 1.05
30.18/30.22 c
30.28/30.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.28/30.38 c 30.3s| 1 | 0 | 4019 | - | 49M| 0 | 65 |4380 | 12k|4380 | 12k| 0 | 0 | 24 | 3.063310e+06 | 1.382184e+07 | 351.21%
31.79/31.86 c 31.7s| 1 | 0 | 4076 | - | 49M| 0 | 64 |4380 | 12k|4380 | 12k| 2 | 0 | 24 | 3.072411e+06 | 1.382184e+07 | 349.87%
32.89/32.91 c 32.8s| 1 | 2 | 4076 | - | 49M| 0 | 64 |4380 | 12k|4380 | 12k| 2 | 0 | 41 | 3.072411e+06 | 1.382184e+07 | 349.87%
38.39/38.48 o 4838226
38.39/38.48 c R38.4s| 7 | 5 | 4456 | 63.3 | 49M| 6 | 28 |4380 | 12k|4380 | 12k| 2 | 0 | 147 | 3.298984e+06 | 4.838226e+06 | 46.66%
39.98/40.03 o 4834859
39.98/40.03 c R39.9s| 8 | 6 | 4544 | 66.9 | 48M| 7 | 15 |4380 | 10k|4380 | 12k| 2 | 0 | 224 | 3.298984e+06 | 4.834859e+06 | 46.56%
40.08/40.14 o 4832613
40.08/40.14 c *40.0s| 9 | 7 | 4555 | 59.9 | 48M| 8 | - |4380 | 10k|4380 | 12k| 2 | 0 | 232 | 3.298984e+06 | 4.832613e+06 | 46.49%
50.87/50.91 o 4827511
50.87/50.91 c R50.8s| 15 | 9 | 5293 | 86.9 | 48M| 8 | 5 |4380 | 10k|4380 | 12k| 2 | 1 | 496 | 3.364398e+06 | 4.827511e+06 | 43.49%
51.07/51.12 o 4798101
51.07/51.12 c *51.0s| 17 | 9 | 5306 | 76.9 | 48M| 8 | - |4380 | 10k|4380 | 12k| 2 | 1 | 508 | 3.364398e+06 | 4.798101e+06 | 42.61%
51.07/51.13 o 4790209
51.07/51.13 c R51.0s| 18 | 8 | 5310 | 72.6 | 48M| 8 | 6 |4380 | 10k|4380 | 12k| 2 | 1 | 508 | 3.364398e+06 | 4.790209e+06 | 42.38%
53.58/53.68 o 4203058
53.58/53.68 c R53.6s| 23 | 7 | 5539 | 66.5 | 48M| 8 | 6 |4380 | 10k|4380 | 12k| 2 | 1 | 604 | 3.364398e+06 | 4.203058e+06 | 24.93%
53.88/53.91 o 4191568
53.88/53.91 c *53.8s| 25 | 7 | 5593 | 63.2 | 48M| 9 | - |4380 | 10k|4380 | 12k| 2 | 3 | 614 | 3.364398e+06 | 4.191568e+06 | 24.59%
55.87/55.97 o 4157956
55.87/55.97 c *55.8s| 30 | 10 | 5783 | 58.9 | 48M| 9 | - |4380 | 10k|4380 | 12k| 2 | 3 | 686 | 3.364398e+06 | 4.157956e+06 | 23.59%
56.08/56.16 o 4121683
56.08/56.16 c R56.0s| 32 | 10 | 5799 | 55.6 | 48M| 10 | 18 |4380 | 10k|4380 | 12k| 2 | 3 | 695 | 3.364398e+06 | 4.121683e+06 | 22.51%
59.17/59.24 o 4023037
59.17/59.24 c *59.1s| 42 | 14 | 6073 | 48.7 | 48M| 12 | - |4380 | 10k|4380 | 12k| 2 | 6 | 820 | 3.364398e+06 | 4.023037e+06 | 19.58%
59.27/59.33 o 3999974
59.27/59.33 c *59.2s| 43 | 12 | 6081 | 47.7 | 49M| 12 | - |4380 | 10k|4380 | 12k| 2 | 6 | 824 | 3.364398e+06 | 3.999974e+06 | 18.89%
60.97/61.04 o 3995572
60.97/61.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.97/61.04 c *60.9s| 49 | 16 | 6234 | 45.0 | 49M| 12 | - |4380 | 10k|4380 | 12k| 2 | 6 | 892 | 3.364398e+06 | 3.995572e+06 | 18.76%
61.07/61.14 o 3981891
61.07/61.14 c *61.0s| 51 | 16 | 6246 | 43.4 | 49M| 13 | - |4380 | 10k|4380 | 12k| 2 | 6 | 896 | 3.364398e+06 | 3.981891e+06 | 18.35%
61.07/61.16 o 3980888
61.07/61.16 c R61.0s| 52 | 15 | 6271 | 43.0 | 49M| 13 | 13 |4380 | 10k|4380 | 12k| 2 | 6 | 896 | 3.364398e+06 | 3.980888e+06 | 18.32%
61.17/61.22 o 3975128
61.17/61.22 c *61.1s| 52 | 14 | 6275 | 43.1 | 49M| 13 | - |4380 | 10k|4380 | 12k| 2 | 6 | 901 | 3.364398e+06 | 3.975128e+06 | 18.15%
68.67/68.77 o 3954254
68.67/68.77 c *68.7s| 78 | 22 | 7375 | 42.8 | 49M| 15 | - |4380 | 10k|4380 | 12k| 2 | 8 |1181 | 3.530636e+06 | 3.954254e+06 | 12.00%
71.27/71.31 o 3816622
71.27/71.31 c *71.2s| 88 | 19 | 7712 | 41.8 | 49M| 19 | - |4380 | 10k|4380 | 12k| 2 | 8 |1285 | 3.538530e+06 | 3.816622e+06 | 7.86%
71.87/71.95 o 3799076
71.87/71.95 c *71.8s| 96 | 21 | 7897 | 40.2 | 49M| 19 | - |4380 | 10k|4380 | 12k| 2 | 11 |1310 | 3.538530e+06 | 3.799076e+06 | 7.36%
72.36/72.47 o 3796178
72.36/72.47 c R72.3s| 101 | 19 | 8020 | 39.4 | 50M| 19 | 12 |4380 | 10k|4380 | 12k| 2 | 11 |1331 | 3.538530e+06 | 3.796178e+06 | 7.28%
74.36/74.46 o 3783021
74.36/74.46 c *74.3s| 114 | 24 | 8403 | 38.3 | 50M| 20 | - |4380 | 10k|4380 | 12k| 2 | 13 |1408 | 3.538530e+06 | 3.783021e+06 | 6.91%
77.07/77.11 o 3759402
77.07/77.11 c R77.0s| 142 | 30 | 9436 | 38.0 | 50M| 21 | 9 |4380 | 10k|4380 | 12k| 2 | 22 |1496 | 3.538530e+06 | 3.759402e+06 | 6.24%
77.37/77.43 o 3729088
77.37/77.43 c R77.3s| 149 | 29 | 9580 | 37.2 | 50M| 22 | 6 |4380 | 10k|4380 | 12k| 2 | 22 |1505 | 3.538530e+06 | 3.729088e+06 | 5.39%
79.56/79.64 o 3728714
79.56/79.64 c *79.5s| 199 | 31 | 10483 | 32.4 | 50M| 26 | - |4380 | 10k|4380 | 12k| 2 | 38 |1586 | 3.538530e+06 | 3.728714e+06 | 5.37%
79.66/79.76 o 3724585
79.66/79.76 c *79.6s| 202 | 32 | 10530 | 32.1 | 51M| 26 | - |4380 | 10k|4380 | 12k| 2 | 38 |1589 | 3.538530e+06 | 3.724585e+06 | 5.26%
79.76/79.86 o 3720090
79.76/79.86 c *79.7s| 204 | 31 | 10579 | 32.0 | 51M| 26 | - |4380 | 10k|4380 | 12k| 2 | 38 |1591 | 3.538530e+06 | 3.720090e+06 | 5.13%
79.96/80.01 o 3704113
79.96/80.01 c R79.9s| 205 | 28 | 10636 | 32.2 | 51M| 26 | 12 |4380 | 10k|4380 | 12k| 2 | 38 |1596 | 3.538530e+06 | 3.704113e+06 | 4.68%
87.06/87.16 o 3701670
87.06/87.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.06/87.16 c R87.0s| 409 | 47 | 13852 | 24.0 | 51M| 31 | 6 |4380 | 10k|4380 | 12k| 2 | 100 |1851 | 3.558030e+06 | 3.701670e+06 | 4.04%
87.06/87.18 o 3699956
87.06/87.18 c *87.1s| 411 | 46 | 13854 | 23.8 | 51M| 31 | - |4380 | 10k|4380 | 12k| 2 | 104 |1851 | 3.558030e+06 | 3.699956e+06 | 3.99%
87.16/87.24 o 3665940
87.16/87.24 c R87.1s| 413 | 31 | 13878 | 23.8 | 51M| 31 | 6 |4380 | 10k|4380 | 12k| 2 | 104 |1853 | 3.558030e+06 | 3.665940e+06 | 3.03%
87.26/87.31 o 3664226
87.26/87.31 c *87.2s| 414 | 31 | 13891 | 23.8 | 51M| 31 | - |4380 | 10k|4380 | 12k| 2 | 104 |1856 | 3.558030e+06 | 3.664226e+06 | 2.98%
87.36/87.42 o 3610560
87.36/87.42 c R87.3s| 416 | 7 | 13900 | 23.7 | 51M| 31 | 6 |4380 | 10k|4380 | 12k| 2 | 107 |1863 | 3.558030e+06 | 3.610560e+06 | 1.48%
87.36/87.49 o 3608846
87.36/87.49 c *87.4s| 416 | 7 | 13925 | 23.7 | 51M| 31 | - |4380 | 10k|4380 | 12k| 2 | 107 |1866 | 3.558030e+06 | 3.608846e+06 | 1.43%
87.76/87.82 c
87.76/87.82 c SCIP Status : problem is solved [optimal solution found]
87.76/87.82 c Solving Time (sec) : 87.70
87.76/87.82 c Solving Nodes : 431 (total of 432 nodes in 2 runs)
87.76/87.82 c Primal Bound : +3.60884600000000e+06 (41 solutions)
87.76/87.82 c Dual Bound : +3.60884600000000e+06
87.76/87.82 c Gap : 0.00 %
87.76/87.83 s OPTIMUM FOUND
87.76/87.83 v -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572
87.76/87.83 v -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555
87.76/87.83 v -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537
87.76/87.83 v -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701
87.76/87.83 v -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683
87.76/87.83 v -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665
87.76/87.83 v -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647
87.76/87.83 v -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629
87.76/87.83 v -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612
87.76/87.83 v -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 x4596 -x4595 -x4594
87.76/87.83 v -x4593 -x4592 -x4591 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394
87.76/87.83 v -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376
87.76/87.83 v -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358
87.76/87.83 v -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4525 -x4524 -x4523 -x4522
87.76/87.83 v -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504
87.76/87.83 v -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486
87.76/87.83 v -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469
87.76/87.83 v -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451
87.76/87.83 v -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433
87.76/87.83 v -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415
87.76/87.83 v -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215
87.76/87.83 v -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197
87.76/87.83 v -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179
87.76/87.83 v -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162
87.76/87.83 v -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326
87.76/87.83 v -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308
87.76/87.83 v -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290
87.76/87.83 v -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272
87.76/87.83 v -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254
87.76/87.83 v -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236
87.76/87.83 v -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037
87.76/87.83 v -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019
87.76/87.83 v -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001
87.76/87.83 v -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983
87.76/87.83 v -x3982 -x3981 -x3980 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147
87.76/87.83 v -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129
87.76/87.83 v -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111
87.76/87.83 v -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094
87.76/87.83 v -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076
87.76/87.83 v -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058
87.76/87.83 v -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x3862 -x3861 -x3860 -x3859 -x3858
87.76/87.83 v -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840
87.76/87.83 v -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822
87.76/87.83 v -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804
87.76/87.83 v -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968
87.76/87.83 v -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951
87.76/87.83 v -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933
87.76/87.83 v -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915
87.76/87.83 v -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897
87.76/87.83 v -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 x3884 -x3883 -x3882 -x3881 -x3880 -x3879
87.76/87.83 v -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3680 -x3679
87.76/87.83 v -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661
87.76/87.83 v -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643
87.76/87.83 v -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626
87.76/87.83 v -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790
87.76/87.83 v -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772
87.76/87.83 v -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754
87.76/87.83 v -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736
87.76/87.83 v -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718
87.76/87.83 v -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700
87.76/87.83 v -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683
87.76/87.83 v -x3682 -x3681 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226
87.76/87.83 v -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208
87.76/87.83 v -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190
87.76/87.83 v -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172
87.76/87.83 v -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336
87.76/87.83 v -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318
87.76/87.83 v -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301
87.76/87.83 v -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283
87.76/87.83 v -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265
87.76/87.83 v -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247
87.76/87.83 v -x6246 -x6245 -x6244 -x6243 -x6242 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047
87.76/87.83 v -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029
87.76/87.83 v -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011
87.76/87.83 v -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994
87.76/87.83 v -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158
87.76/87.83 v -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140
87.76/87.83 v -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122
87.76/87.83 v -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104
87.76/87.83 v -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086
87.76/87.83 v -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068
87.76/87.83 v -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869
87.76/87.83 v -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851
87.76/87.83 v -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833
87.76/87.83 v -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815
87.76/87.83 v -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5981 -x5980 -x5979
87.76/87.83 v -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961
87.76/87.83 v -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943
87.76/87.83 v -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926
87.76/87.83 v -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 -x5908
87.76/87.83 v -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890
87.76/87.83 v -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690
87.76/87.83 v -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672
87.76/87.83 v -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654
87.76/87.83 v -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636
87.76/87.83 v -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619
87.76/87.83 v -x5618 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783
87.76/87.83 v -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765
87.76/87.83 v -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747
87.76/87.83 v -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 -x5729
87.76/87.83 v -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711
87.76/87.83 v -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5513 -x5512 -x5511
87.76/87.83 v -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494
87.76/87.83 v -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476
87.76/87.83 v -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458
87.76/87.83 v -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440
87.76/87.83 v -x5439 -x5438 -x5437 -x5436 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604
87.76/87.83 v -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586
87.76/87.83 v -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568
87.76/87.83 v -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551
87.76/87.83 v -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533
87.76/87.83 v -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515
87.76/87.83 v -x5514 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315
87.76/87.83 v -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297
87.76/87.83 v -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279
87.76/87.83 v -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261
87.76/87.83 v -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426
87.76/87.83 v -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408
87.76/87.83 v -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390
87.76/87.83 v -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372
87.76/87.83 v -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354
87.76/87.83 v -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336
87.76/87.83 v -x5335 -x5334 -x5333 -x5332 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136
87.76/87.83 v -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119
87.76/87.83 v -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101
87.76/87.83 v -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083
87.76/87.83 v -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247
87.76/87.83 v -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229
87.76/87.83 v -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211
87.76/87.83 v -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193
87.76/87.83 v -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176
87.76/87.83 v -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158
87.76/87.83 v -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958
87.76/87.83 v -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940
87.76/87.83 v -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922
87.76/87.83 v -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904
87.76/87.83 v -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x5071 -x5070 -x5069 -x5068
87.76/87.83 v -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051
87.76/87.83 v -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033
87.76/87.83 v -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015
87.76/87.83 v -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997
87.76/87.83 v -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979
87.76/87.83 v -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779
87.76/87.83 v -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761
87.76/87.83 v -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744
87.76/87.83 v -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726
87.76/87.83 v -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708
87.76/87.83 v -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872
87.76/87.83 v -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854
87.76/87.83 v -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836
87.76/87.83 v -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818
87.76/87.83 v -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801
87.76/87.83 v -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x6675 -x6659 -x6643
87.76/87.83 v -x6627 -x6611 -x6595 -x6804 -x6788 -x6772 -x6756 -x6740 -x6724 -x6708 -x6692 -x6676 -x3480 -x3464 -x3448 -x3432 -x3416 -x3400
87.76/87.83 v -x3609 -x3593 -x3577 -x3561 -x3545 -x3529 -x3513 -x3497 -x3481 -x6435 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223
87.76/87.83 v -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x6419 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980
87.76/87.83 v -x979 -x978 -x977 -x976 -x6403 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x6387
87.76/87.83 v -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x6371 -x270 -x269 -x268 -x267 -x266
87.76/87.83 v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x6355 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20
87.76/87.83 v -x19 -x18 -x17 -x16 -x6564 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377
87.76/87.83 v -x3376 -x6548 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x6532
87.76/87.83 v -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x6516 -x2670 -x2669
87.76/87.83 v -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x6500 -x2430 -x2429 -x2428 -x2427
87.76/87.83 v -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x6484 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185
87.76/87.83 v -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x6468 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944
87.76/87.83 v -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x6452 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702
87.76/87.83 v -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x6436 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460
87.76/87.83 v -x1459 -x1458 -x1457 -x1456 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1 -x6674 -x6673 -x6672 -x6671 -x6670
87.76/87.83 v -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6658 -x6657 -x6656 x6655 -x6654 -x6653 -x6652 x6651
87.76/87.83 v -x6650 -x6649 x6648 -x6647 -x6646 -x6645 -x6644 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632
87.76/87.83 v -x6631 -x6630 -x6629 -x6628 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613
87.76/87.83 v -x6612 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 x6599 -x6598 -x6597 -x6596 -x6594 -x6593
87.76/87.83 v x6592 x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6803 -x6802 -x6801 -x6800 -x6799
87.76/87.83 v -x6798 -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780
87.76/87.83 v -x6779 -x6778 -x6777 -x6776 x6775 -x6774 -x6773 x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 x6764 -x6763 -x6762 -x6761
87.76/87.83 v x6760 -x6759 -x6758 x6757 -x6755 -x6754 x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742
87.76/87.83 v -x6741 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6723 -x6722
87.76/87.83 v -x6721 -x6720 x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 x6711 -x6710 -x6709 -x6707 -x6706 -x6705 -x6704 -x6703
87.76/87.83 v -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684
87.76/87.83 v -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6585 x6584 -x6583 -x6582 -x6581 x6580 -x6579 -x6578 x6577 -x6576 -x6575
87.76/87.83 v -x6574 x6573 -x6572 -x6571 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202
87.76/87.83 v -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184
87.76/87.83 v -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166
87.76/87.83 v -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148
87.76/87.83 v -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355
87.76/87.83 v -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337
87.76/87.83 v -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319
87.76/87.83 v -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302
87.76/87.83 v -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284
87.76/87.83 v -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266
87.76/87.83 v -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248
87.76/87.83 v -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1005
87.76/87.83 v -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x975 -x974 -x973 -x972 -x971 -x970
87.76/87.83 v -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949
87.76/87.83 v -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929
87.76/87.83 v -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134
87.76/87.83 v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116
87.76/87.83 v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098
87.76/87.83 v -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080
87.76/87.83 v -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062
87.76/87.83 v -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045
87.76/87.83 v -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027
87.76/87.83 v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009
87.76/87.83 v -x1008 -x1007 -x1006 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764
87.76/87.83 v -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
87.76/87.83 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
87.76/87.83 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x915 -x914 -x913 -x912 -x911
87.76/87.83 v -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890
87.76/87.83 v -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869
87.76/87.83 v -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849
87.76/87.83 v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828
87.76/87.83 v -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807
87.76/87.83 v -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786
87.76/87.83 v -x785 -x784 -x783 -x782 -x781 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540
87.76/87.83 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
87.76/87.83 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484
87.76/87.83 v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x690 -x689 -x688
87.76/87.83 v -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667
87.76/87.83 v -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646
87.76/87.83 v -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625
87.76/87.83 v -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604
87.76/87.83 v -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584
87.76/87.83 v -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563
87.76/87.83 v -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317
87.76/87.83 v -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296
87.76/87.83 v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275
87.76/87.83 v -x274 -x273 -x272 -x271 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x465 -x464
87.76/87.83 v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444
87.76/87.83 v -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423
87.76/87.83 v -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402
87.76/87.83 v -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381
87.76/87.83 v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360
87.76/87.83 v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339
87.76/87.83 v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92
87.76/87.83 v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67
87.76/87.83 v -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42
87.76/87.83 v -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229
87.76/87.83 v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208
87.76/87.83 v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188
87.76/87.83 v -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167
87.76/87.83 v -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146
87.76/87.83 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
87.76/87.83 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x3255 -x3254
87.76/87.83 v -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237
87.76/87.83 v -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219
87.76/87.83 v -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201
87.76/87.83 v -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183
87.76/87.83 v -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3375
87.76/87.83 v -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357
87.76/87.83 v -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339
87.76/87.83 v -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322
87.76/87.83 v -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304
87.76/87.83 v -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286
87.76/87.83 v -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268
87.76/87.83 v -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025
87.76/87.83 v -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007
87.76/87.83 v -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989
87.76/87.83 v -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972
87.76/87.83 v -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954
87.76/87.83 v -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x3165 -x3164 -x3163 -x3162 -x3161
87.76/87.83 v -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128
87.76/87.83 v -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110
87.76/87.83 v -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092
87.76/87.83 v -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074
87.76/87.83 v -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057
87.76/87.83 v -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039
87.76/87.83 v -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796
87.76/87.83 v -x2795 -x2794 -x2793 -x2792 x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778
87.76/87.83 v -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760
87.76/87.83 v -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742
87.76/87.83 v -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724
87.76/87.83 v -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931
87.76/87.83 v -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914
87.76/87.83 v -x2913 -x2912 -x2911 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881
87.76/87.83 v -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863
87.76/87.83 v -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845
87.76/87.83 v -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827
87.76/87.83 v -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809
87.76/87.83 v -x2808 -x2807 -x2806 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566
87.76/87.83 v -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549
87.76/87.83 v -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531
87.76/87.83 v -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513
87.76/87.83 v -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495
87.76/87.83 v -x2494 -x2493 -x2492 -x2491 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702
87.76/87.83 v -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684
87.76/87.83 v -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2655 -x2654 -x2653 -x2652 -x2651
87.76/87.83 v -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634
87.76/87.83 v -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616
87.76/87.83 v -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598
87.76/87.83 v -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2355
87.76/87.83 v -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337
87.76/87.83 v -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319
87.76/87.83 v -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301
87.76/87.83 v -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284
87.76/87.83 v -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266
87.76/87.83 v -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473
87.76/87.83 v -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455
87.76/87.83 v -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437
87.76/87.83 v -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404
87.76/87.83 v -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386
87.76/87.83 v -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369
87.76/87.83 v -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2130 -x2129 -x2128 -x2127 -x2126
87.76/87.83 v -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108
87.76/87.83 v -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090
87.76/87.83 v -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072
87.76/87.83 v -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054
87.76/87.83 v -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2265 -x2264 -x2263 -x2262 -x2261
87.76/87.83 v -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244
87.76/87.83 v -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226
87.76/87.83 v -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208
87.76/87.83 v -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2175
87.76/87.83 v -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157
87.76/87.83 v -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139
87.76/87.83 v -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896
87.76/87.83 v -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879
87.76/87.83 v -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861
87.76/87.83 v -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843
87.76/87.83 v -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825
87.76/87.83 v -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032
87.76/87.83 v -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014
87.76/87.83 v -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996
87.76/87.83 v -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979
87.76/87.83 v -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961
87.76/87.83 v -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928
87.76/87.83 v -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910
87.76/87.83 v -x1909 -x1908 -x1907 -x1906 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667
87.76/87.83 v -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649
87.76/87.83 v -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631
87.76/87.83 v -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614
87.76/87.83 v -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596
87.76/87.83 v -x1595 -x1594 -x1593 -x1592 -x1591 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803
87.76/87.83 v -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785
87.76/87.83 v -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767
87.76/87.83 v -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749
87.76/87.83 v -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731
87.76/87.83 v -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714
87.76/87.83 v -x1713 -x1712 -x1711 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681
87.76/87.83 v -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438
87.76/87.83 v -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420
87.76/87.83 v -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402
87.76/87.83 v -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384
87.76/87.83 v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366
87.76/87.83 v -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574
87.76/87.83 v -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556
87.76/87.83 v -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538
87.76/87.83 v -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520
87.76/87.83 v -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502
87.76/87.83 v -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484
87.76/87.83 v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x3479 -x3478 -x3477 -x3476 -x3475
87.76/87.83 v -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 x3466 -x3465 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456
87.76/87.83 v -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438
87.76/87.83 v -x3437 -x3436 -x3435 -x3434 -x3433 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419
87.76/87.83 v x3418 -x3417 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3399
87.76/87.83 v -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3608 -x3607 -x3606 -x3605
87.76/87.83 v -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586
87.76/87.83 v -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567
87.76/87.83 v -x3566 -x3565 -x3564 -x3563 -x3562 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548
87.76/87.83 v -x3547 -x3546 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3528
87.76/87.83 v -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3512 -x3511 -x3510 -x3509
87.76/87.83 v -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491
87.76/87.83 v -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 x6427 -x6426
87.76/87.83 v -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 x6409 -x6408 -x6407
87.76/87.83 v -x6406 -x6405 -x6404 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388
87.76/87.83 v -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 x6370 -x6369 -x6368
87.76/87.83 v -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 x6356 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349
87.76/87.83 v -x6348 -x6347 -x6346 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6563 x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555
87.76/87.83 v -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6547 -x6546 -x6545 -x6544 x6543 -x6542 -x6541 x6540 -x6539 -x6538 -x6537 -x6536 -x6535
87.76/87.83 v x6534 -x6533 -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6515
87.76/87.83 v -x6514 -x6513 -x6512 -x6511 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6499 x6498 -x6497 -x6496
87.76/87.83 v -x6495 x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 x6477
87.76/87.83 v -x6476 -x6475 -x6474 x6473 -x6472 -x6471 x6470 -x6469 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458
87.76/87.83 v -x6457 -x6456 -x6455 -x6454 -x6453 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439
87.76/87.83 v -x6438 -x6437
87.76/87.83 c SCIP Status : problem is solved [optimal solution found]
87.76/87.83 c Solving Time : 87.70
87.76/87.83 c Original Problem :
87.76/87.83 c Problem name : HOME/instance-3744233-1338803352.opb
87.76/87.83 c Variables : 6810 (6810 binary, 0 integer, 0 implicit integer, 0 continuous)
87.76/87.83 c Constraints : 15202 initial, 15202 maximal
87.76/87.83 c Presolved Problem :
87.76/87.83 c Problem name : t_HOME/instance-3744233-1338803352.opb
87.76/87.83 c Variables : 4380 (4380 binary, 0 integer, 0 implicit integer, 0 continuous)
87.76/87.83 c Constraints : 12193 initial, 12193 maximal
87.76/87.83 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
87.76/87.83 c trivial : 0.00 1530 0 0 0 0 0 0 0
87.76/87.83 c dualfix : 0.00 645 0 0 0 0 0 0 0
87.76/87.83 c boundshift : 0.00 0 0 0 0 0 0 0 0
87.76/87.83 c inttobinary : 0.00 0 0 0 0 0 0 0 0
87.76/87.83 c implics : 0.00 0 0 0 0 0 0 0 0
87.76/87.83 c probing : 0.15 0 0 0 0 0 0 0 0
87.76/87.83 c knapsack : 0.58 0 0 0 0 0 792 2214 4226
87.76/87.83 c setppc : 0.05 0 0 0 0 0 1587 0 0
87.76/87.83 c linear : 0.11 45 210 0 45 0 528 105 315
87.76/87.83 c logicor : 0.13 0 0 0 1144 0 0 0 0
87.76/87.83 c root node : - 910 - - 910 - - - -
87.76/87.83 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
87.76/87.83 c integral : 0 0 0 555 0 20 553 0 0 502
87.76/87.83 c knapsack : 2097 24 2882 19 0 10 14717 106 0 0
87.76/87.83 c setppc : 7180 24 2872 19 0 8 24714 0 0 0
87.76/87.83 c linear : 3 24 2864 19 0 0 29 0 0 0
87.76/87.83 c logicor : 2913 24 1772 19 0 21 2071 0 0 0
87.76/87.83 c countsols : 0 0 0 19 0 0 0 0 0 0
87.76/87.83 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
87.76/87.83 c integral : 47.48 0.00 0.00 47.48 0.00
87.76/87.83 c knapsack : 0.38 0.11 0.27 0.00 0.00
87.76/87.83 c setppc : 0.14 0.01 0.13 0.00 0.00
87.76/87.83 c linear : 0.40 0.36 0.03 0.00 0.00
87.76/87.83 c logicor : 0.04 0.00 0.04 0.00 0.00
87.76/87.83 c countsols : 0.00 0.00 0.00 0.00 0.00
87.76/87.83 c Propagators : Time Calls Cutoffs DomReds
87.76/87.83 c vbounds : 0.00 3 0 0
87.76/87.83 c rootredcost : 0.01 33 0 29
87.76/87.83 c pseudoobj : 0.16 2663 1 12
87.76/87.83 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
87.76/87.83 c propagation : 0.00 39 38 83 12.8 32 6.7 -
87.76/87.83 c infeasible LP : 0.00 2 2 6 46.0 0 0.0 0
87.76/87.83 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
87.76/87.83 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
87.76/87.83 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
87.76/87.83 c applied globally : - - - 113 12.3 - - -
87.76/87.83 c applied locally : - - - 0 0.0 - - -
87.76/87.83 c Separators : Time Calls Cutoffs DomReds Cuts Conss
87.76/87.83 c cut pool : 0.00 0 - - 0 - (maximal pool size: 28)
87.76/87.83 c redcost : 0.11 818 0 13577 0 0
87.76/87.83 c impliedbounds : 0.01 24 0 0 28 0
87.76/87.83 c intobj : 0.00 0 0 0 0 0
87.76/87.83 c cgmip : 0.00 0 0 0 0 0
87.76/87.83 c gomory : 14.09 24 0 0 5592 0
87.76/87.83 c strongcg : 7.38 21 0 0 8037 0
87.76/87.83 c cmir : 1.09 11 0 0 40 0
87.76/87.83 c flowcover : 2.20 11 0 0 81 0
87.76/87.83 c clique : 0.95 24 0 0 7 0
87.76/87.83 c zerohalf : 0.00 0 0 0 0 0
87.76/87.83 c mcf : 0.01 2 0 0 0 0
87.76/87.83 c rapidlearning : 0.00 0 0 0 0 0
87.76/87.83 c Pricers : Time Calls Vars
87.76/87.83 c problem variables: 0.00 0 0
87.76/87.83 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
87.76/87.83 c relpscost : 47.48 536 20 553 0 0 502
87.76/87.83 c pscost : 0.00 0 0 0 0 0 0
87.76/87.83 c inference : 0.00 0 0 0 0 0 0
87.76/87.83 c mostinf : 0.00 0 0 0 0 0 0
87.76/87.83 c leastinf : 0.00 0 0 0 0 0 0
87.76/87.83 c fullstrong : 0.00 0 0 0 0 0 0
87.76/87.83 c allfullstrong : 0.00 0 0 0 0 0 0
87.76/87.83 c random : 0.00 0 0 0 0 0 0
87.76/87.83 c Primal Heuristics : Time Calls Found
87.76/87.83 c LP solutions : 0.01 - 19
87.76/87.83 c pseudo solutions : 0.00 - 0
87.76/87.83 c coefdiving : 0.01 1 0
87.76/87.83 c pscostdiving : 0.01 1 0
87.76/87.83 c fracdiving : 0.02 1 0
87.76/87.83 c veclendiving : 0.01 1 0
87.76/87.83 c linesearchdiving : 0.02 1 0
87.76/87.83 c guideddiving : 0.01 1 0
87.76/87.83 c feaspump : 0.94 1 1
87.76/87.83 c objpscostdiving : 0.02 1 0
87.76/87.83 c rootsoldiving : 0.15 1 1
87.76/87.83 c oneopt : 0.06 32 0
87.76/87.83 c trivial : 0.00 2 0
87.76/87.83 c simplerounding : 0.00 0 0
87.76/87.83 c zirounding : 0.12 270 0
87.76/87.83 c rounding : 0.25 584 14
87.76/87.83 c shifting : 0.09 74 6
87.76/87.83 c intshifting : 0.00 0 0
87.76/87.83 c twoopt : 0.00 0 0
87.76/87.83 c fixandinfer : 0.00 0 0
87.76/87.83 c intdiving : 0.00 0 0
87.76/87.83 c actconsdiving : 0.00 0 0
87.76/87.83 c octane : 0.00 0 0
87.76/87.83 c rens : 0.09 1 0
87.76/87.83 c rins : 0.00 0 0
87.76/87.83 c localbranching : 0.00 0 0
87.76/87.83 c mutation : 0.00 0 0
87.76/87.83 c crossover : 0.08 1 0
87.76/87.83 c dins : 0.00 0 0
87.76/87.83 c undercover : 0.00 0 0
87.76/87.83 c nlp : 0.00 0 0
87.76/87.83 c trysol : 0.00 0 0
87.76/87.83 c LP : Time Calls Iterations Iter/call Iter/sec
87.76/87.83 c primal LP : 0.01 0 0 0.00 0.00
87.76/87.83 c dual LP : 8.27 707 12548 17.75 1517.22
87.76/87.83 c lex dual LP : 0.00 0 0 0.00 -
87.76/87.83 c barrier LP : 0.00 0 0 0.00 -
87.76/87.83 c diving/probing LP: 1.08 48 1721 35.85 1592.60
87.76/87.83 c strong branching : 47.45 1871 87840 46.95 1851.22
87.76/87.83 c (at root node) : - 41 6676 162.83 -
87.76/87.83 c conflict analysis: 0.00 0 0 0.00 -
87.76/87.83 c B&B Tree :
87.76/87.83 c number of runs : 2
87.76/87.83 c nodes : 431
87.76/87.83 c nodes (total) : 432
87.76/87.83 c nodes left : 0
87.76/87.83 c max depth : 31
87.76/87.83 c max depth (total): 31
87.76/87.83 c backtracks : 59 (13.7%)
87.76/87.83 c delayed cutoffs : 0
87.76/87.83 c repropagations : 108 (1280 domain reductions, 0 cutoffs)
87.76/87.83 c avg switch length: 2.71
87.76/87.83 c switching time : 0.18
87.76/87.83 c Solution :
87.76/87.83 c Solutions found : 41 (34 improvements)
87.76/87.83 c First Solution : +1.38218350000000e+07 (in run 1, after 1 nodes, 1.92 seconds, depth 0, found by <feaspump>)
87.76/87.83 c Primal Bound : +3.60884600000000e+06 (in run 2, after 416 nodes, 87.37 seconds, depth 7, found by <relaxation>)
87.76/87.83 c Dual Bound : +3.60884600000000e+06
87.76/87.83 c Gap : 0.00 %
87.76/87.83 c Root Dual Bound : +3.07241109088444e+06
87.76/87.83 c Root Iterations : 4076
87.76/87.87 c Time complete: 87.84.
OK 3608846
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-3744233-1338803352/watcher-3744233-1338803352 -o /tmp/evaluation-result-3744233-1338803352/solver-3744233-1338803352 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744233-1338803352.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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.00 2.00 2.00 3/175 14808 /proc/meminfo: memFree=26470968/32873844 swapFree=7128/7128 [pid=14808] ppid=14806 vsize=7916 CPUtime=0 cores=0,2,4,6 /proc/14808/stat : 14808 (pbscip.linux.x8) R 14806 14808 13572 0 -1 4202496 1245 0 0 0 0 0 0 0 20 0 1 0 346402186 8105984 1191 33554432000 4194304 8395647 140735838628336 140735947361688 7385025 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/14808/statm: 1979 1191 370 1026 0 949 0 [startup+0.046426 s] /proc/loadavg: 2.00 2.00 2.00 3/175 14808 /proc/meminfo: memFree=26470968/32873844 swapFree=7128/7128 [pid=14808] ppid=14806 vsize=16856 CPUtime=0.03 cores=0,2,4,6 /proc/14808/stat : 14808 (pbscip.linux.x8) R 14806 14808 13572 0 -1 4202496 3486 0 0 0 3 0 0 0 20 0 1 0 346402186 17260544 3431 33554432000 4194304 8395647 140735838628336 140735947361688 6014144 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/14808/statm: 4214 3431 393 1026 0 3184 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 16856 [startup+0.100259 s] /proc/loadavg: 2.00 2.00 2.00 3/175 14808 /proc/meminfo: memFree=26470968/32873844 swapFree=7128/7128 [pid=14808] ppid=14806 vsize=20680 CPUtime=0.08 cores=0,2,4,6 /proc/14808/stat : 14808 (pbscip.linux.x8) R 14806 14808 13572 0 -1 4202496 4451 0 0 0 8 0 0 0 20 0 1 0 346402186 21176320 4396 33554432000 4194304 8395647 140735838628336 140735947361688 7382051 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/14808/statm: 5170 4396 393 1026 0 4140 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 20680 [startup+0.300226 s] /proc/loadavg: 2.00 2.00 2.00 3/175 14808 /proc/meminfo: memFree=26470968/32873844 swapFree=7128/7128 [pid=14808] ppid=14806 vsize=53028 CPUtime=0.29 cores=0,2,4,6 /proc/14808/stat : 14808 (pbscip.linux.x8) R 14806 14808 13572 0 -1 4202496 12623 0 0 0 27 2 0 0 20 0 1 0 346402186 54300672 12212 33554432000 4194304 8395647 140735838628336 140735838624088 4953632 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/14808/statm: 13257 12212 496 1026 0 12227 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 53028 [startup+0.700243 s] /proc/loadavg: 2.00 2.00 2.00 3/175 14808 /proc/meminfo: memFree=26470968/32873844 swapFree=7128/7128 [pid=14808] ppid=14806 vsize=96728 CPUtime=0.69 cores=0,2,4,6 /proc/14808/stat : 14808 (pbscip.linux.x8) R 14806 14808 13572 0 -1 4202496 23550 0 0 0 66 3 0 0 20 0 1 0 346402186 99049472 23139 33554432000 4194304 8395647 140735838628336 140735838623800 6080653 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/14808/statm: 24182 23139 496 1026 0 23152 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 96728 [startup+1.50024 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14810 /proc/meminfo: memFree=26361584/32873844 swapFree=7128/7128 [pid=14808] ppid=14806 vsize=122116 CPUtime=1.49 cores=0,2,4,6 /proc/14808/stat : 14808 (pbscip.linux.x8) R 14806 14808 13572 0 -1 4202496 29713 0 0 0 144 5 0 0 20 0 1 0 346402186 125046784 28860 33554432000 4194304 8395647 140735838628336 140735838622856 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/14808/statm: 30529 28860 589 1026 0 29499 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 122116 [startup+3.10023 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14810 /proc/meminfo: memFree=26356360/32873844 swapFree=7128/7128 [pid=14808] ppid=14806 vsize=122720 CPUtime=3.09 cores=0,2,4,6 /proc/14808/stat : 14808 (pbscip.linux.x8) R 14806 14808 13572 0 -1 4202496 30088 0 0 0 304 5 0 0 20 0 1 0 346402186 125665280 29223 33554432000 4194304 8395647 140735838628336 140735838623624 5792673 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/14808/statm: 30680 29223 612 1026 0 29650 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 122720 [startup+6.30018 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14810 /proc/meminfo: memFree=26344704/32873844 swapFree=7128/7128 [pid=14808] ppid=14806 vsize=133316 CPUtime=6.29 cores=0,2,4,6 /proc/14808/stat : 14808 (pbscip.linux.x8) R 14806 14808 13572 0 -1 4202496 32807 0 0 0 623 6 0 0 20 0 1 0 346402186 136515584 31923 33554432000 4194304 8395647 140735838628336 140735838623624 6124447 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/14808/statm: 33329 31923 625 1026 0 32299 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 133316 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14810 /proc/meminfo: memFree=26337036/32873844 swapFree=7128/7128 [pid=14808] ppid=14806 vsize=142244 CPUtime=12.69 cores=0,2,4,6 /proc/14808/stat : 14808 (pbscip.linux.x8) R 14806 14808 13572 0 -1 4202496 34545 0 0 0 1261 8 0 0 20 0 1 0 346402186 145657856 34431 33554432000 4194304 8395647 140735838628336 140735838623528 6197315 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/14808/statm: 35561 34431 625 1026 0 34531 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 142244 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14810 /proc/meminfo: memFree=26322640/32873844 swapFree=7128/7128 [pid=14808] ppid=14806 vsize=159512 CPUtime=25.48 cores=0,2,4,6 /proc/14808/stat : 14808 (pbscip.linux.x8) R 14806 14808 13572 0 -1 4202496 37820 0 0 0 2534 14 0 0 20 0 1 0 346402186 163340288 38217 33554432000 4194304 8395647 140735838628336 140735838623624 6202785 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/14808/statm: 39878 38217 625 1026 0 38848 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 159512 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14851 /proc/meminfo: memFree=25633028/32873844 swapFree=7128/7128 [pid=14808] ppid=14806 vsize=161112 CPUtime=51.07 cores=0,2,4,6 /proc/14808/stat : 14808 (pbscip.linux.x8) R 14806 14808 13572 0 -1 4202496 46903 0 0 0 5084 23 0 0 20 0 1 0 346402186 164978688 38492 33554432000 4194304 8395647 140735838628336 140735838623688 7385658 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/14808/statm: 40278 38492 643 1026 0 39248 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 161112 Solver just ended. Dumping a history of the last processes samples [startup+63.9003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14851 /proc/meminfo: memFree=24958716/32873844 swapFree=7128/7128 [pid=14808] ppid=14806 vsize=162924 CPUtime=63.87 cores=0,2,4,6 /proc/14808/stat : 14808 (pbscip.linux.x8) R 14806 14808 13572 0 -1 4202496 47342 0 0 0 6360 27 0 0 20 0 1 0 346402186 166834176 39191 33554432000 4194304 8395647 140735838628336 140735838623208 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/14808/statm: 40731 39191 643 1026 0 39701 0 Current children cumulated CPU time (s) 63.87 Current children cumulated vsize (KiB) 162924 [startup+76.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14851 /proc/meminfo: memFree=24850320/32873844 swapFree=7128/7128 [pid=14808] ppid=14806 vsize=164280 CPUtime=76.66 cores=0,2,4,6 /proc/14808/stat : 14808 (pbscip.linux.x8) R 14806 14808 13572 0 -1 4202496 47666 0 0 0 7636 30 0 0 20 0 1 0 346402186 168222720 39515 33554432000 4194304 8395647 140735838628336 140735838622936 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/14808/statm: 41070 39515 644 1026 0 40040 0 Current children cumulated CPU time (s) 76.66 Current children cumulated vsize (KiB) 164280 [startup+83.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14851 /proc/meminfo: memFree=24839532/32873844 swapFree=7128/7128 [pid=14808] ppid=14806 vsize=164716 CPUtime=83.06 cores=0,2,4,6 /proc/14808/stat : 14808 (pbscip.linux.x8) R 14806 14808 13572 0 -1 4202496 47857 0 0 0 8274 32 0 0 20 0 1 0 346402186 168669184 39705 33554432000 4194304 8395647 140735838628336 140735838623944 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/14808/statm: 41179 39705 644 1026 0 40149 0 Current children cumulated CPU time (s) 83.06 Current children cumulated vsize (KiB) 164716 [startup+86.3003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14851 /proc/meminfo: memFree=24839764/32873844 swapFree=7128/7128 [pid=14808] ppid=14806 vsize=164884 CPUtime=86.26 cores=0,2,4,6 /proc/14808/stat : 14808 (pbscip.linux.x8) R 14806 14808 13572 0 -1 4202496 47885 0 0 0 8593 33 0 0 20 0 1 0 346402186 168841216 39733 33554432000 4194304 8395647 140735838628336 140735838623464 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/14808/statm: 41221 39733 644 1026 0 40191 0 Current children cumulated CPU time (s) 86.26 Current children cumulated vsize (KiB) 164884 [startup+87.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14851 /proc/meminfo: memFree=24839888/32873844 swapFree=7128/7128 [pid=14808] ppid=14806 vsize=195552 CPUtime=87.06 cores=0,2,4,6 /proc/14808/stat : 14808 (pbscip.linux.x8) R 14806 14808 13572 0 -1 4202496 55330 0 0 0 8672 34 0 0 20 0 1 0 346402186 200245248 47178 33554432000 4194304 8395647 140735838628336 140735838623544 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/14808/statm: 48888 47178 645 1026 0 47858 0 Current children cumulated CPU time (s) 87.06 Current children cumulated vsize (KiB) 195552 [startup+87.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14851 /proc/meminfo: memFree=24839888/32873844 swapFree=7128/7128 [pid=14808] ppid=14806 vsize=168200 CPUtime=87.46 cores=0,2,4,6 /proc/14808/stat : 14808 (pbscip.linux.x8) R 14806 14808 13572 0 -1 4202496 55336 0 0 0 8712 34 0 0 20 0 1 0 346402186 172236800 40707 33554432000 4194304 8395647 140735838628336 140735838623544 4705063 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/14808/statm: 42050 40707 645 1026 0 41020 0 Current children cumulated CPU time (s) 87.46 Current children cumulated vsize (KiB) 168200 [startup+87.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14851 /proc/meminfo: memFree=24839888/32873844 swapFree=7128/7128 [pid=14808] ppid=14806 vsize=168200 CPUtime=87.66 cores=0,2,4,6 /proc/14808/stat : 14808 (pbscip.linux.x8) R 14806 14808 13572 0 -1 4202496 55336 0 0 0 8732 34 0 0 20 0 1 0 346402186 172236800 40707 33554432000 4194304 8395647 140735838628336 140735838623544 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/14808/statm: 42050 40707 645 1026 0 41020 0 Current children cumulated CPU time (s) 87.66 Current children cumulated vsize (KiB) 168200 [startup+87.8003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14851 /proc/meminfo: memFree=24839888/32873844 swapFree=7128/7128 [pid=14808] ppid=14806 vsize=168200 CPUtime=87.76 cores=0,2,4,6 /proc/14808/stat : 14808 (pbscip.linux.x8) R 14806 14808 13572 0 -1 4202496 55336 0 0 0 8742 34 0 0 20 0 1 0 346402186 172236800 40707 33554432000 4194304 8395647 140735838628336 140735838623544 6068858 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/14808/statm: 42050 40707 645 1026 0 41020 0 Current children cumulated CPU time (s) 87.76 Current children cumulated vsize (KiB) 168200 Child status: 0 Real time (s): 87.8763 CPU time (s): 87.8476 CPU user time (s): 87.4927 CPU system time (s): 0.354946 CPU usage (%): 99.9674 Max. virtual memory (cumulated for all children) (KiB): 195552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 87.4927 system time used= 0.354946 maximum resident set size= 188724 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55341 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= 12 involuntary context switches= 209 runsolver used 0.119981 second user time and 0.367944 second system time The end
Begin job on node105 at 2012-06-04 11:49:12 IDJOB=3744233 IDBENCH=92710 IDSOLVER=2326 FILE ID=node105/3744233-1338803352 RUNJOBID= node105-1338785386-13588 PBS_JOBID= 14636855 Free space on /tmp= 71264 MiB SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_4_mh.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744233-1338803352/watcher-3744233-1338803352 -o /tmp/evaluation-result-3744233-1338803352/solver-3744233-1338803352 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744233-1338803352.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 122468478b8bc81c0631c64befe52d46 RANDOM SEED=293385274 node105.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.882 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 : 5333.76 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.882 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 : 5331.91 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.882 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.91 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.882 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.882 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 : 5438.54 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.882 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.882 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.92 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.882 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 : 5447.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 26471612 kB Buffers: 578668 kB Cached: 3831840 kB SwapCached: 1700 kB Active: 2223160 kB Inactive: 3289824 kB Active(anon): 1098968 kB Inactive(anon): 4800 kB Active(file): 1124192 kB Inactive(file): 3285024 kB Unevictable: 7128 kB Mlocked: 7128 kB SwapTotal: 67108856 kB SwapFree: 67100456 kB Dirty: 10916 kB Writeback: 4 kB AnonPages: 1106976 kB Mapped: 11656 kB Shmem: 0 kB Slab: 744540 kB SReclaimable: 186236 kB SUnreclaim: 558304 kB KernelStack: 1464 kB PageTables: 6300 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1230684 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 40960 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= 71232 MiB End job on node105 at 2012-06-04 11:50:40