Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | OPT | 15 | 108.899 | 108.932 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir06_area_delay.opb |
| MD5SUM | 21fb64899a6dc4867ccfcbb30d44d536 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 15 |
| Best CPU time to get the best result obtained on this benchmark | 2.73858 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 15 |
| Optimality of the best value was proved | YES |
| Number of variables | 5537 |
| Total number of constraints | 15855 |
| Number of constraints which are clauses | 15855 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 2646 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 2646 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2646 |
| Number of bits of the biggest sum of numbers | 12 |
| 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-2703384-1278563948.opb>
0.20/0.25 c original problem has 5537 variables (5537 bin, 0 int, 0 impl, 0 cont) and 15855 constraints
0.20/0.25 c problem read
0.20/0.25 c presolving settings loaded
0.29/0.34 c presolving:
0.39/0.46 c (round 1) 2854 del vars, 5917 del conss, 260 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29604 impls, 0 clqs
0.39/0.47 c (round 2) 2855 del vars, 6829 del conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29604 impls, 0 clqs
0.49/0.54 c (round 3) 2855 del vars, 6876 del conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 8938 upgd conss, 29604 impls, 0 clqs
0.49/0.56 c (round 4) 2856 del vars, 6940 del conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 8980 upgd conss, 29604 impls, 0 clqs
1.19/1.27 c (1.0s) probing: 305/2681 (11.4%) - 0 fixings, 12 aggregations, 1233 implications, 0 bound changes
1.19/1.27 c (1.0s) probing aborted: 100/100 successive totally useless probings
1.19/1.27 c (round 5) 2868 del vars, 6940 del conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 8980 upgd conss, 30900 impls, 0 clqs
1.19/1.29 c (round 6) 2868 del vars, 6983 del conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 8980 upgd conss, 30900 impls, 0 clqs
1.59/1.67 c (1.4s) probing: 490/2681 (18.3%) - 0 fixings, 14 aggregations, 1276 implications, 0 bound changes
1.59/1.67 c (1.4s) probing aborted: 100/100 successive totally useless probings
1.59/1.67 c (round 7) 2870 del vars, 6983 del conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 8980 upgd conss, 30930 impls, 0 clqs
1.59/1.69 c (round 8) 2870 del vars, 6989 del conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 8980 upgd conss, 30930 impls, 0 clqs
1.69/1.72 c (1.5s) probing: 500/2681 (18.6%) - 0 fixings, 14 aggregations, 1276 implications, 0 bound changes
1.69/1.72 c (1.5s) probing aborted: 100/100 successive totally useless probings
1.69/1.72 c presolving (9 rounds):
1.69/1.72 c 2870 deleted vars, 6989 deleted constraints, 261 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.69/1.72 c 30930 implications, 0 cliques
1.69/1.72 c presolved problem has 2667 variables (2667 bin, 0 int, 0 impl, 0 cont) and 8866 constraints
1.69/1.72 c 8559 constraints of type <setppc>
1.69/1.72 c 307 constraints of type <logicor>
1.69/1.72 c transformed objective value is always integral (scale: 1)
1.69/1.72 c Presolving Time: 1.42
1.69/1.72 c - non default parameters ----------------------------------------------------------------------
1.69/1.72 c # SCIP version 1.2.1.3
1.69/1.72 c
1.69/1.72 c # frequency for displaying node information lines
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 100]
1.69/1.72 c display/freq = 10000
1.69/1.72 c
1.69/1.72 c # maximal time in seconds to run
1.69/1.72 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.72 c limits/time = 1789.75
1.69/1.72 c
1.69/1.72 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.69/1.72 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.72 c limits/memory = 1620
1.69/1.72 c
1.69/1.72 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.69/1.72 c # [type: int, range: [1,2], default: 1]
1.69/1.72 c timing/clocktype = 2
1.69/1.72 c
1.69/1.72 c # should presolving try to simplify inequalities
1.69/1.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.72 c constraints/linear/simplifyinequalities = TRUE
1.69/1.72 c
1.69/1.72 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.69/1.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.72 c constraints/indicator/addCouplingCons = TRUE
1.69/1.72 c
1.69/1.72 c # should presolving try to simplify knapsacks
1.69/1.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.72 c constraints/knapsack/simplifyinequalities = TRUE
1.69/1.72 c
1.69/1.73 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.69/1.73 c # [type: int, range: [-1,2147483647], default: -1]
1.69/1.73 c separating/rapidlearning/freq = 0
1.69/1.73 c
1.69/1.73 c -----------------------------------------------------------------------------------------------
1.69/1.73 c start solving
1.69/1.73 c
1.79/1.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.79/1.88 c 1.6s| 1 | 0 | 518 | - | 23M| 0 | 205 |2667 |8866 |2667 |8866 | 0 | 0 | 0 | 1.404878e+01 | -- | Inf
1.79/1.89 o 53
1.79/1.89 c s 1.6s| 1 | 0 | 518 | - | 23M| 0 | 205 |2667 |8866 |2667 |8866 | 0 | 0 | 0 | 1.404878e+01 | 5.300000e+01 | 277.26%
3.20/3.28 c 3.0s| 1 | 0 | 665 | - | 23M| 0 | 72 |2667 |8866 |2667 |8871 | 5 | 0 | 0 | 1.450000e+01 | 5.300000e+01 | 265.52%
3.20/3.29 o 49
3.20/3.29 c b 3.0s| 1 | 0 | 665 | - | 23M| 0 | 72 |2667 |8866 |2667 |8871 | 5 | 0 | 0 | 1.450000e+01 | 4.900000e+01 | 237.93%
3.20/3.29 o 23
3.20/3.29 c s 3.0s| 1 | 0 | 665 | - | 23M| 0 | 72 |2667 |8866 |2667 |8871 | 5 | 0 | 0 | 1.450000e+01 | 2.300000e+01 | 58.62%
3.99/4.00 c 3.8s| 1 | 0 | 785 | - | 24M| 0 | 111 |2667 |8866 |2667 |8879 | 13 | 0 | 0 | 1.450000e+01 | 2.300000e+01 | 58.62%
3.99/4.01 o 21
3.99/4.01 c b 3.8s| 1 | 0 | 785 | - | 24M| 0 | 111 |2667 |8866 |2667 |8879 | 13 | 0 | 0 | 1.450000e+01 | 2.100000e+01 | 44.83%
4.59/4.69 c 4.4s| 1 | 0 | 869 | - | 24M| 0 | 121 |2667 |8866 |2667 |8884 | 18 | 0 | 0 | 1.450000e+01 | 2.100000e+01 | 44.83%
5.59/5.69 c 5.4s| 1 | 0 | 1196 | - | 24M| 0 | 264 |2667 |8866 |2667 |8892 | 26 | 0 | 0 | 1.500000e+01 | 2.100000e+01 | 40.00%
7.59/7.65 c 7.4s| 1 | 0 | 1415 | - | 24M| 0 | 247 |2667 |8866 |2667 |8899 | 33 | 0 | 0 | 1.500000e+01 | 2.100000e+01 | 40.00%
10.38/10.41 c 10.2s| 1 | 0 | 1636 | - | 24M| 0 | 259 |2667 |8866 |2667 |8904 | 38 | 0 | 0 | 1.500000e+01 | 2.100000e+01 | 40.00%
13.59/13.62 c 13.4s| 1 | 0 | 1984 | - | 24M| 0 | 181 |2667 |8866 |2667 |8911 | 45 | 0 | 0 | 1.500000e+01 | 2.100000e+01 | 40.00%
16.19/16.23 c 16.0s| 1 | 0 | 2112 | - | 24M| 0 | 220 |2667 |8866 |2667 |8917 | 51 | 0 | 0 | 1.500000e+01 | 2.100000e+01 | 40.00%
18.99/19.00 c 18.8s| 1 | 0 | 2136 | - | 24M| 0 | 223 |2667 |8866 |2667 |8919 | 53 | 0 | 0 | 1.500000e+01 | 2.100000e+01 | 40.00%
21.59/21.69 c 21.4s| 1 | 0 | 2194 | - | 24M| 0 | 244 |2667 |8866 |2667 |8922 | 56 | 0 | 0 | 1.500000e+01 | 2.100000e+01 | 40.00%
24.39/24.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.39/24.45 c 24.2s| 1 | 0 | 2661 | - | 24M| 0 | 203 |2667 |8866 |2667 |8926 | 62 | 0 | 0 | 1.500000e+01 | 2.100000e+01 | 40.00%
26.88/26.92 c 26.7s| 1 | 0 | 2880 | - | 24M| 0 | 265 |2667 |8866 |2667 |8932 | 68 | 0 | 0 | 1.500000e+01 | 2.100000e+01 | 40.00%
28.19/28.25 o 16
28.19/28.25 c E28.0s| 1 | 0 | 2880 | - | 25M| 0 | 265 |2667 |8866 |2667 |8932 | 68 | 0 | 0 | 1.500000e+01 | 1.600000e+01 | 6.67%
31.68/31.77 c 28.0s| 1 | 0 | 2880 | - | 25M| 0 | 265 |2667 |8866 |2667 |8932 | 68 | 0 | 0 | 1.500000e+01 | 1.600000e+01 | 6.67%
31.68/31.77 c 30.4s| 1 | 0 | 3296 | - | 21M| 0 | 257 |2667 |2428 |2667 |2510 | 75 | 0 | 0 | 1.500000e+01 | 1.600000e+01 | 6.67%
37.29/37.37 c 37.1s| 1 | 2 | 3296 | - | 21M| 0 | 257 |2667 |2428 |2667 |2510 | 75 | 0 | 15 | 1.500000e+01 | 1.600000e+01 | 6.67%
37.29/37.37 c (run 1, node 1) restarting after 2078 global fixings of integer variables
37.29/37.37 c
37.29/37.37 c (restart) converted 43 cuts from the global cut pool into linear constraints
37.29/37.37 c
37.29/37.39 c presolving:
37.39/37.42 c (round 1) 2134 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 43 upgd conss, 31660 impls, 36 clqs
37.39/37.45 c (round 2) 2134 del vars, 56 del conss, 0 chg bounds, 13 chg sides, 20 chg coeffs, 43 upgd conss, 31660 impls, 36 clqs
37.48/37.52 c (round 3) 2134 del vars, 161 del conss, 0 chg bounds, 13 chg sides, 25 chg coeffs, 43 upgd conss, 31660 impls, 36 clqs
37.48/37.53 c (round 4) 2134 del vars, 161 del conss, 0 chg bounds, 13 chg sides, 29 chg coeffs, 43 upgd conss, 31660 impls, 36 clqs
37.48/37.54 c (round 5) 2134 del vars, 161 del conss, 0 chg bounds, 13 chg sides, 33 chg coeffs, 43 upgd conss, 31660 impls, 36 clqs
37.48/37.55 c presolving (6 rounds):
37.48/37.55 c 2134 deleted vars, 161 deleted constraints, 0 tightened bounds, 0 added holes, 13 changed sides, 34 changed coefficients
37.48/37.55 c 31660 implications, 36 cliques
37.48/37.55 c presolved problem has 533 variables (533 bin, 0 int, 0 impl, 0 cont) and 2312 constraints
37.48/37.55 c 6 constraints of type <knapsack>
37.48/37.55 c 2031 constraints of type <setppc>
37.48/37.55 c 275 constraints of type <logicor>
37.48/37.55 c transformed objective value is always integral (scale: 1)
37.48/37.55 c Presolving Time: 1.59
37.48/37.55 c
37.58/37.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.58/37.69 c 37.4s| 1 | 0 | 3937 | - | 19M| 0 | 221 | 533 |2312 | 533 |2256 | 0 | 0 | 15 | 1.500000e+01 | 1.600000e+01 | 6.67%
38.18/38.23 c 38.0s| 1 | 0 | 4189 | - | 19M| 0 | 207 | 533 |2312 | 533 |2264 | 8 | 0 | 15 | 1.500000e+01 | 1.600000e+01 | 6.67%
45.38/45.49 c 45.2s| 1 | 2 | 4189 | - | 19M| 0 | 207 | 533 |2312 | 533 |2264 | 8 | 0 | 34 | 1.500000e+01 | 1.600000e+01 | 6.67%
108.77/108.85 o 15
108.77/108.85 c c 109s| 17 | 0 | 15971 | 736.4 | 19M| 16 | - | 533 |2312 | 533 |2261 | 8 | 0 | 204 | 1.500000e+01 | 1.500000e+01 | 0.00%
108.77/108.86 c
108.77/108.86 c SCIP Status : problem is solved [optimal solution found]
108.77/108.86 c Solving Time (sec) : 108.61
108.77/108.86 c Solving Nodes : 17 (total of 18 nodes in 2 runs)
108.77/108.86 c Primal Bound : +1.50000000000000e+01 (7 solutions)
108.77/108.86 c Dual Bound : +1.50000000000000e+01
108.77/108.86 c Gap : 0.00 %
108.77/108.88 s OPTIMUM FOUND
108.77/108.88 v x302 x301 x300 x299 -x298 x297 -x296 -x295 -x294 x293 -x292 x291 x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 x282 -x281 -x280
108.77/108.88 v -x5536 -x5534 -x279 x278 -x277 x276 x275 -x274 x273 x272 -x271 x270 -x269 -x268 x267 -x266 -x265 -x5532 -x5530 -x5527 -x264
108.77/108.88 v -x263 -x262 -x261 -x260 x259 -x258 x257 -x5525 -x5523 -x5521 -x5519 -x5517 -x256 -x255 -x254 -x5515 -x5513 -x5511 -x253 -x252
108.77/108.88 v -x5509 -x5507 -x5505 -x5503 -x251 x250 -x249 x248 x247 -x246 -x245 -x244 -x5501 -x243 -x242 x241 x240 -x239 -x238 -x237 -x236
108.77/108.88 v -x5499 -x5497 -x5495 -x235 x234 -x233 -x232 -x231 x230 -x229 -x228 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 -x227 -x226 -x225
108.77/108.88 v -x224 -x5481 -x5479 -x5477 -x223 -x5475 -x222 -x5473 -x5471 -x5469 -x5467 -x5465 -x5463 x221 -x5461 -x5459 -x5457 -x5455
108.77/108.88 v -x5453 -x5451 -x5449 -x5447 -x5445 -x5443 -x220 -x5441 -x5439 -x5437 -x5435 -x5433 -x5431 -x5429 -x5427 -x5425 -x5423 -x5421
108.77/108.88 v -x5419 -x5417 -x5415 -x5413 -x5411 -x5409 -x5407 -x5405 -x5403 -x5401 -x5399 -x5397 -x5395 -x5393 -x5391 -x5389 -x5387 -x5385
108.77/108.88 v -x5383 -x5381 -x5379 -x5377 -x5375 -x5373 -x5371 -x219 -x5369 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x5367 -x5365 -x5363
108.77/108.88 v -x5361 -x5359 x211 -x210 -x209 -x5357 -x208 -x5355 -x5353 -x207 -x5351 -x5349 -x206 -x5347 -x5345 -x5343 -x5341 -x5339 -x5337
108.77/108.88 v -x5335 -x5333 -x5331 -x5329 -x205 -x5327 -x5325 -x5323 -x5321 -x5319 -x5317 -x204 -x5315 -x5313 -x5311 -x5309 -x5307 -x5305
108.77/108.88 v -x5303 -x5301 -x5299 -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5285 -x5282 -x5280 -x5278 -x5276 -x5274 -x5272 -x5270 -x5268
108.77/108.88 v -x5266 -x5264 -x5262 -x5260 -x5258 -x5256 -x5254 -x5252 -x5250 -x5248 -x5246 -x5244 -x5242 -x5240 -x5238 -x5236 -x203 -x5234
108.77/108.88 v -x202 -x5231 -x201 -x5229 -x5227 -x5225 -x5223 -x5221 -x5219 -x5217 -x200 -x5215 -x5213 -x199 -x5211 -x5209 -x5207 -x5205 -x5203
108.77/108.88 v -x5201 -x5199 -x5197 -x198 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 -x5177 -x5175 -x197 -x5173 -x5171
108.77/108.88 v -x5169 -x5167 -x5165 -x5163 -x5161 -x5159 -x5157 -x5155 -x5153 -x5151 -x5149 -x5147 -x5145 -x5143 -x5141 -x5139 -x5137 -x5135
108.77/108.88 v -x5133 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119 -x5117 -x5115 -x5113 -x5111 -x5109 -x5107 -x5105 -x5103 -x5101
108.77/108.88 v -x5099 -x5097 -x196 -x5095 -x5093 -x5091 x195 -x5089 -x5087 -x5085 -x5083 -x5081 -x5079 -x5077 -x5075 -x5073 -x5071 -x5069 -x194
108.77/108.88 v -x5067 -x5065 -x5063 -x5061 -x5059 -x5057 -x5055 -x5053 -x5051 -x5049 -x5047 -x5044 -x193 -x5042 -x5040 -x5038 -x5036 -x5034
108.77/108.88 v -x5032 -x5030 -x5028 -x5026 -x5024 -x5022 -x5020 -x5018 -x5015 -x5013 -x5011 -x5009 -x5007 -x5005 -x5003 -x5001 -x4999 -x4997
108.77/108.88 v -x4995 -x4993 -x4991 -x4989 -x4987 -x4985 -x4983 -x4981 -x4979 -x4977 -x4975 -x4973 -x4971 -x4969 -x4967 -x4965 -x4963 -x4961
108.77/108.88 v -x4959 -x4957 -x192 x191 -x190 x189 x188 -x187 -x186 -x185 -x4955 x4953 -x4951 x184 -x183 -x182 -x181 -x180 -x179 -x178
108.77/108.88 v -x4949 -x177 -x4947 -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x4931 -x4929 -x4927 -x4925 -x4923 -x176 -x4921 -x175 x174
108.77/108.88 v -x173 -x4919 -x172 -x4917 -x171 -x170 -x4914 -x4912 -x4910 -x4908 -x4906 -x4903 -x4901 -x169 x168 -x167 -x166 -x4899 -x165
108.77/108.88 v x164 -x163 -x4897 -x162 -x4895 -x4893 -x4891 -x4889 x4887 -x4885 -x4883 -x4881 -x4879 -x4877 -x4875 -x4873 -x4871 -x4869 -x161
108.77/108.88 v -x160 -x4867 -x4865 -x159 -x4863 -x4861 -x4859 -x4857 -x4855 -x4853 -x4851 -x4849 -x158 -x4847 -x4845 -x157 -x4843 -x4841
108.77/108.88 v -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x4827 -x4825 -x156 -x4823 -x4821 -x4819 -x4817 -x4815 -x4813 -x4811 -x4809 -x4807
108.77/108.88 v -x4805 -x4803 -x4801 -x4799 -x4797 -x4795 -x4793 -x4791 -x4789 -x155 -x4787 -x4785 -x4783 -x4781 -x4779 -x4777 -x4775 -x4773
108.77/108.88 v -x4771 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743 -x4741 -x4739 -x4737
108.77/108.88 v -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715 -x4713 -x4711 -x4709 -x4707 -x4705 -x4703 -x4701
108.77/108.88 v -x4699 -x4697 -x4695 -x4693 -x4691 -x4689 -x154 -x4687 -x153 -x152 -x151 -x4685 -x4683 -x150 x149 -x4681 -x4679 -x4677 x148
108.77/108.88 v -x4675 -x4673 x147 -x4671 -x4669 -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x4645 -x4643
108.77/108.88 v -x4641 -x146 -x145 -x144 -x4639 -x4637 -x143 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620 -x4618 -x4616 -x4614 -x142
108.77/108.88 v -x4612 -x4610 -x4608 -x4606 -x4604 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4582 -x4580 -x141
108.77/108.88 v -x4578 -x4576 -x4574 -x4572 -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546 -x4544
108.77/108.88 v -x140 -x4542 -x4540 -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510
108.77/108.88 v -x4508 -x4506 -x4504 -x4502 -x4500 -x4498 -x4496 -x4494 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x4480 -x4478 -x4476 -x4474
108.77/108.88 v -x4472 -x4470 -x4468 -x4466 -x4464 -x4462 -x4460 -x4458 -x4456 -x4454 -x4452 -x4450 -x4447 -x4445 -x139 -x4443 -x138 -x4441
108.77/108.88 v -x4439 x4437 -x4435 -x4433 -x4431 x137 -x4429 -x4427 -x4425 -x4423 -x4421 -x4419 -x136 -x4416 -x135 -x4414 -x4412 -x4410
108.77/108.88 v -x4408 -x4405 -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4384 -x4382 -x4380 -x4378 -x4376 -x134 -x4374
108.77/108.88 v -x4372 -x4370 x133 -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339
108.77/108.88 v -x4337 -x4335 -x4333 -x4331 -x4329 -x132 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x4311 -x4308 -x4306 -x4304
108.77/108.88 v -x4302 -x131 -x4300 -x4298 -x4296 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269
108.77/108.88 v -x4267 -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 -x4243 -x4241 -x4239 -x4237 -x4235 -x4233
108.77/108.88 v -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x4215 -x4213 -x4211 -x4209 -x4207 -x4205 -x4203 -x4201 -x4199 -x4197
108.77/108.88 v -x130 -x4195 -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x129 -x4181 -x4178 -x4176 -x4174 -x4172 -x4170 -x4168 -x4166 -x4164
108.77/108.88 v -x4162 -x4159 -x4157 -x4155 -x4153 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x128 -x4137 -x4135 -x4133 -x4131 -x4129
108.77/108.88 v -x4127 -x4125 -x4123 -x4121 -x4119 -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x127 -x4099 -x4097 -x4095 -x4092
108.77/108.88 v -x4090 -x4088 -x4086 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x4068 -x4066 -x4064 -x4062 -x4060 -x4058 -x4056
108.77/108.88 v -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x4032 -x4030 -x4028 -x4026 -x4024 -x4022 -x4020
108.77/108.88 v -x4018 -x4016 -x4014 -x4012 -x4010 -x4007 -x4005 -x4003 -x4001 -x3999 -x126 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985
108.77/108.88 v -x3983 -x3981 -x3979 -x3977 -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 -x3957 -x3955 -x125 -x3953 -x3951
108.77/108.88 v -x3949 -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 -x3915
108.77/108.88 v -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879
108.77/108.88 v -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x124
108.77/108.88 v -x3843 -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809
108.77/108.88 v -x3805 -x3803 -x3801 -x3799 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 -x3777 -x3775 -x3773
108.77/108.88 v -x3771 -x3769 -x3767 -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739 -x3737
108.77/108.88 v -x3735 -x3733 -x123 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703
108.77/108.88 v -x3701 -x3699 -x3697 -x3695 -x3693 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667
108.77/108.88 v -x3665 -x3663 -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x3635 -x3633 -x3631
108.77/108.88 v -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595
108.77/108.88 v -x3593 -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x3579 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x3561 -x3559
108.77/108.88 v -x3557 -x3555 -x3553 -x3551 x3549 -x3547 -x3545 -x3543 -x3541 -x3538 -x3536 -x3534 -x3532 -x3529 -x3527 -x3525 -x3523 -x3521
108.77/108.88 v -x3519 -x3517 -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491 -x3489 -x3487 -x3485
108.77/108.88 v -x3483 -x3481 x122 -x121 x120 -x3479 -x3477 x119 -x118 -x3475 -x117 -x3473 -x116 -x3471 -x3469 -x3467 -x3465 -x3463 -x115
108.77/108.88 v -x3461 -x114 -x113 -x112 -x111 -x3459 -x3457 -x3455 -x3453 -x3451 -x110 -x3449 -x3447 -x3445 -x3443 -x109 -x108 -x107 -x106
108.77/108.88 v -x3440 -x3438 -x3436 -x105 -x104 -x3433 -x3431 -x3429 -x103 -x3427 -x3425 -x3423 -x102 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411
108.77/108.88 v -x3409 -x3407 -x3405 -x3403 -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x101 -x3389 -x3386 -x100 -x3384 -x3382 -x3380 -x99
108.77/108.88 v -x3378 -x98 -x3376 -x3374 -x3372 -x97 -x3370 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 -x3349 -x3347
108.77/108.88 v -x3345 -x3343 -x96 -x3341 -x95 x94 -x3337 x93 -x3335 -x3332 -x3330 -x3328 -x3326 -x92 -x3324 -x3321 -x3319 -x91 -x3317 -x3315
108.77/108.88 v -x3313 -x90 -x3311 -x3309 -x89 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281
108.77/108.88 v -x3279 -x3277 -x88 -x3275 -x87 -x3272 -x3270 -x86 -x3268 -x3266 -x3264 -x85 -x3262 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249
108.77/108.88 v -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x84 -x3235 -x3233 -x3231 -x3229 -x83 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217
108.77/108.88 v -x82 -x3215 -x3212 -x3210 -x3208 -x3206 -x3204 -x81 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182
108.77/108.88 v -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 x80 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x79 -x3150
108.77/108.88 v -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114
108.77/108.88 v -x3112 -x3110 -x78 -x3108 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092 -x3090 -x3088 x3086 -x3084 -x3082 -x3080
108.77/108.88 v -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x3062 x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044
108.77/108.88 v -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x3008
108.77/108.88 v -x3006 -x3004 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x2973 -x2971
108.77/108.88 v -x2969 -x2967 -x2965 -x2962 -x77 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2941 -x2939 -x2937 -x2935
108.77/108.88 v -x2933 -x2931 -x2929 -x76 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 -x2901
108.77/108.88 v -x2899 -x2897 -x2895 -x2893 -x2891 -x75 -x2889 -x2887 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 -x2873 -x2871 -x2869 -x2867
108.77/108.88 v -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831
108.77/108.88 v -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795
108.77/108.88 v -x74 -x2793 -x2791 x73 -x2789 -x2787 -x2785 -x72 -x2783 -x2781 -x2779 -x71 -x2777 x2775 x70 -x2773 -x2771 -x2769 -x2767 -x2765
108.77/108.88 v -x2763 -x2761 -x2759 -x69 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x68 -x2741 -x2739 -x67 -x2737 -x2735 -x2733
108.77/108.88 v -x2731 -x2729 -x2727 -x66 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x65 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701
108.77/108.88 v -x2699 -x2697 -x64 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667
108.77/108.88 v -x2665 -x2663 -x2661 -x63 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633
108.77/108.88 v -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x62 -x2619 -x2617 -x61 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x60
108.77/108.88 v -x2599 -x2597 -x2594 -x2592 -x2590 -x59 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566
108.77/108.88 v -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x58 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x57 -x2535 -x2533 -x2531
108.77/108.88 v -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2504 -x2502 -x2500 -x2498 -x56 -x2496
108.77/108.88 v -x2494 -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459
108.77/108.88 v -x2457 -x55 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425
108.77/108.88 v -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389
108.77/108.88 v -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2366 -x2364 -x2362 -x2360 -x2358 -x54 -x2356 -x2354
108.77/108.88 v -x2352 -x2350 -x2348 -x53 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x52
108.77/108.88 v -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x51 -x2294 -x2292 -x2290 -x2288
108.77/108.88 v -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252
108.77/108.88 v -x2250 -x2248 -x50 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x49 -x2224 -x2222 -x2220 -x2218
108.77/108.88 v -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184
108.77/108.88 v -x2182 -x2180 -x2178 -x2176 -x2174 -x48 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 -x2150 -x2148
108.77/108.88 v -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x47 -x2122 -x2120 -x2118 -x2116 -x2114
108.77/108.88 v -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078
108.77/108.88 v -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044
108.77/108.88 v -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x46 -x2018 -x2015 -x2013 -x2011 -x2009 -x2007
108.77/108.88 v -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993 -x45 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973
108.77/108.88 v -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937
108.77/108.88 v -x1935 -x44 -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903
108.77/108.88 v -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x43 -x1873 -x1871 -x1869
108.77/108.88 v -x1867 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832
108.77/108.88 v -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796
108.77/108.88 v -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762
108.77/108.88 v -x1760 -x1758 -x42 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726
108.77/108.88 v -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x41 -x1694 -x1692
108.77/108.88 v -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656
108.77/108.88 v -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622
108.77/108.88 v -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586
108.77/108.88 v -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x40 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552
108.77/108.88 v -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516
108.77/108.88 v -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480
108.77/108.88 v -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x39
108.77/108.88 v -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410
108.77/108.88 v -x1408 -x1406 -x1404 x1402 -x1400 -x1398 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379 -x1377 -x1375 -x1373
108.77/108.88 v -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 -x1337
108.77/108.88 v -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301
108.77/108.88 v -x1299 -x1297 -x1295 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265
108.77/108.88 v -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1229
108.77/108.88 v -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 -x1201 -x1199 -x1197 -x1195
108.77/108.88 v -x38 -x1193 -x1190 -x37 -x36 -x1187 -x1185 -x1183 -x1181 x1179 -x1177 x35 -x1175 -x1173 -x1171 -x34 -x1169 -x1167 -x1165 -x1163
108.77/108.88 v -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x33 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129
108.77/108.88 v -x1127 -x1125 -x32 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 -x1094
108.77/108.88 v -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 x1078 -x1076 -x1074 -x1072 -x1070 -x1068 x31 -x30 -x1064 x29 -x1062 -x1059
108.77/108.88 v x28 -x1057 -x1055 -x27 -x1052 -x1050 -x1048 -x26 -x1046 -x1044 -x1042 -x1039 -x25 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025
108.77/108.88 v -x1023 -x1021 -x1019 -x24 -x1017 -x23 -x1015 -x1013 -x1011 -x1009 -x1007 -x22 -x1004 -x21 -x1002 -x1000 -x998 -x996 -x994
108.77/108.88 v -x992 -x990 -x988 -x20 -x986 -x984 -x982 -x980 -x978 -x19 -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956
108.77/108.88 v -x954 -x18 -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x17 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918
108.77/108.88 v -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x16 -x880 -x878
108.77/108.88 v x876 x15 -x874 -x872 -x870 -x868 -x866 -x864 -x14 -x862 -x860 -x858 -x856 -x854 -x852 -x13 -x850 -x848 -x846 -x844 -x842 -x840
108.77/108.88 v -x838 -x836 -x834 -x832 -x830 -x828 -x12 -x826 -x824 -x822 -x820 -x818 -x816 -x11 -x814 -x812 -x810 -x808 -x806 -x804 -x802
108.77/108.88 v -x800 -x798 -x796 -x794 -x792 -x10 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x9
108.77/108.88 v -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722
108.77/108.88 v -x720 -x718 -x716 -x714 -x712 -x710 -x8 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x7 -x694 -x692 -x690 -x688 -x686 -x684 -x682
108.77/108.88 v -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x6 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x647 -x645 -x643 -x641
108.77/108.88 v -x5 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601
108.77/108.88 v -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x4 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561
108.77/108.88 v -x559 -x557 -x555 -x553 -x3 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521
108.77/108.88 v -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x2 -x491 -x489 -x487 -x485 -x483 -x481 -x479
108.77/108.88 v -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439
108.77/108.88 v -x437 -x435 -x433 -x431 -x1 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397
108.77/108.88 v -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355
108.77/108.88 v -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315
108.77/108.88 v -x313 -x311 -x309 -x307 -x305 -x303 -x5537 -x5535 -x5533 -x5531 -x5529 -x5528 -x5526 -x5524 -x5522 -x5520 -x5518 -x5516 -x5514
108.77/108.88 v -x5512 -x5510 -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 -x5486 -x5484 -x5482 -x5480 -x5478
108.77/108.88 v -x5476 -x5474 -x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 -x5454 -x5452 -x5450 -x5448 -x5446 -x5444 -x5442
108.77/108.88 v -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5424 -x5422 -x5420 -x5418 -x5416 -x5414 -x5412 -x5410 -x5408 -x5406
108.77/108.88 v -x5404 -x5402 -x5400 -x5398 -x5396 -x5394 -x5392 -x5390 -x5388 -x5386 -x5384 -x5382 -x5380 -x5378 -x5376 -x5374 -x5372 -x5370
108.77/108.88 v -x5368 -x5366 -x5364 -x5362 -x5360 -x5358 -x5356 -x5354 -x5352 -x5350 -x5348 -x5346 -x5344 -x5342 -x5340 -x5338 -x5336
108.77/108.88 v -x5334 -x5332 -x5330 -x5328 -x5326 -x5324 -x5322 -x5320 -x5318 -x5316 -x5314 -x5312 -x5310 -x5308 -x5306 -x5304 -x5302 -x5300
108.77/108.88 v -x5298 -x5296 -x5294 -x5292 -x5290 -x5288 -x5286 -x5284 -x5283 -x5281 -x5279 -x5277 -x5275 -x5273 -x5271 -x5269 -x5267 -x5265
108.77/108.88 v -x5263 -x5261 -x5259 -x5257 -x5255 -x5253 -x5251 -x5249 -x5247 -x5245 -x5243 -x5241 -x5239 -x5237 -x5235 -x5233 -x5232 -x5230
108.77/108.88 v -x5228 -x5226 -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 -x5204 -x5202 -x5200 -x5198 -x5196 -x5194
108.77/108.88 v -x5192 -x5190 -x5188 -x5186 -x5184 -x5182 -x5180 -x5178 -x5176 -x5174 -x5172 -x5170 -x5168 -x5166 -x5164 -x5162 -x5160 -x5158
108.77/108.88 v -x5156 -x5154 -x5152 -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 -x5138 -x5136 -x5134 -x5132 -x5130 -x5128 -x5126 -x5124 -x5122
108.77/108.88 v -x5120 -x5118 -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098 -x5096 -x5094 -x5092 -x5090 -x5088
108.77/108.88 v -x5086 -x5084 -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5068 -x5066 -x5064 -x5062 -x5060 -x5058 -x5056 -x5054 -x5052
108.77/108.88 v -x5050 -x5048 -x5046 -x5045 -x5043 -x5041 -x5039 -x5037 -x5035 -x5033 -x5031 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019 -x5017
108.77/108.88 v -x5016 -x5014 -x5012 -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 -x4990 -x4988 -x4986 -x4984 -x4982
108.77/108.88 v -x4980 -x4978 -x4976 -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 x4954 -x4952 -x4950 -x4948 -x4946
108.77/108.88 v -x4944 -x4942 -x4940 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x4924 -x4922 -x4920 -x4918 -x4916 -x4915 -x4913 -x4911
108.77/108.88 v -x4909 -x4907 -x4905 -x4904 -x4902 -x4900 -x4898 -x4896 -x4894 -x4892 -x4890 x4888 -x4886 -x4884 -x4882 -x4880 -x4878 -x4876
108.77/108.88 v -x4874 -x4872 -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850 -x4848 -x4846 -x4844 -x4842 -x4840
108.77/108.88 v -x4838 -x4836 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4812 -x4810 -x4808 -x4806 -x4804
108.77/108.88 v -x4802 -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x4780 -x4778 -x4776 -x4774 -x4772 -x4770
108.77/108.88 v -x4768 -x4766 -x4764 -x4762 -x4760 -x4758 -x4756 -x4754 -x4752 -x4750 -x4748 -x4746 -x4744 -x4742 -x4740 -x4738 -x4736 -x4734
108.77/108.88 v -x4732 -x4730 -x4728 -x4726 -x4724 -x4722 -x4720 -x4718 -x4716 -x4714 -x4712 -x4710 -x4708 -x4706 -x4704 -x4702 -x4700 -x4698
108.77/108.88 v -x4696 -x4694 -x4692 -x4690 -x4688 -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 -x4672 -x4670 -x4668 -x4666 -x4664 -x4662
108.77/108.88 v -x4660 -x4658 -x4656 -x4654 -x4652 -x4650 -x4648 -x4646 -x4644 -x4642 -x4640 -x4638 -x4636 -x4635 -x4633 -x4631 -x4629 -x4627
108.77/108.88 v -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603 -x4601 -x4599 -x4597 -x4595 -x4593 -x4591
108.77/108.88 v -x4589 -x4587 -x4585 -x4583 -x4581 -x4579 -x4577 -x4575 -x4573 -x4571 -x4569 -x4567 -x4565 -x4563 -x4561 -x4559 -x4557 -x4555
108.77/108.88 v -x4553 -x4551 -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529 -x4527 -x4525 -x4523 -x4521
108.77/108.88 v -x4519 -x4517 -x4515 -x4513 -x4511 -x4509 -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x4495 -x4493 -x4491 -x4489 -x4487 -x4485
108.77/108.88 v -x4483 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x4459 -x4457 -x4455 -x4453 -x4451 -x4449
108.77/108.88 v -x4448 -x4446 -x4444 -x4442 -x4440 x4438 -x4436 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x4418 -x4417 -x4415
108.77/108.88 v -x4413 -x4411 -x4409 -x4407 -x4406 -x4404 -x4402 -x4400 -x4398 -x4396 -x4394 -x4392 -x4390 -x4388 -x4386 -x4385 -x4383 -x4381
108.77/108.88 v -x4379 -x4377 -x4375 -x4373 -x4371 -x4369 -x4367 -x4365 -x4363 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4350 -x4348 -x4346
108.77/108.88 v -x4344 -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x4314 -x4312 -x4310
108.77/108.88 v -x4309 -x4307 -x4305 -x4303 -x4301 -x4299 -x4297 -x4295 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x4276
108.77/108.88 v -x4274 -x4272 -x4270 -x4268 -x4266 -x4264 -x4262 -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 -x4242
108.77/108.88 v -x4240 -x4238 -x4236 -x4234 -x4232 -x4230 -x4228 -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206
108.77/108.88 v -x4204 -x4202 -x4200 -x4198 -x4196 -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4179 -x4177 -x4175 -x4173 -x4171
108.77/108.88 v -x4169 -x4167 -x4165 -x4163 -x4161 -x4160 -x4158 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140 -x4138 -x4136
108.77/108.88 v -x4134 -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4101
108.77/108.88 v -x4100 -x4098 -x4096 -x4094 -x4093 -x4091 -x4089 -x4087 -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067
108.77/108.88 v -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x4037 -x4035 -x4033 -x4031
108.77/108.88 v -x4029 -x4027 -x4025 -x4023 -x4021 -x4019 -x4017 -x4015 -x4013 -x4011 -x4009 -x4008 -x4006 -x4004 -x4002 -x4000 -x3998
108.77/108.88 v -x3996 -x3994 -x3992 -x3990 -x3988 -x3986 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970 -x3968 -x3966 -x3964 -x3962
108.77/108.88 v -x3960 -x3958 -x3956 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3930 -x3928 -x3926
108.77/108.88 v -x3924 -x3922 -x3920 -x3918 -x3916 -x3914 -x3912 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896 -x3894 -x3892 -x3890
108.77/108.88 v -x3888 -x3886 -x3884 -x3882 -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854
108.77/108.88 v -x3852 -x3850 -x3848 -x3846 -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818
108.77/108.88 v -x3816 -x3814 -x3812 -x3810 -x3808 -x3807 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784
108.77/108.88 v -x3782 -x3780 -x3778 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750
108.77/108.88 v -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718 -x3716 -x3714
108.77/108.88 v -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700 -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678
108.77/108.88 v -x3676 -x3674 -x3672 -x3670 -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642
108.77/108.88 v -x3640 -x3638 -x3636 -x3634 -x3632 -x3630 -x3628 -x3626 -x3624 -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606
108.77/108.88 v -x3604 -x3602 -x3600 -x3598 -x3596 -x3594 -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570
108.77/108.88 v -x3568 -x3566 -x3564 -x3562 -x3560 -x3558 -x3556 -x3554 -x3552 x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x3539 -x3537 -x3535
108.77/108.88 v -x3533 -x3531 -x3530 -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500
108.77/108.88 v -x3498 -x3496 -x3494 -x3492 -x3490 -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466
108.77/108.88 v -x3464 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3441 -x3439 -x3437 -x3435 -x3434 -x3432
108.77/108.88 v -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396
108.77/108.88 v -x3394 -x3392 -x3390 -x3388 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3368 -x3366 -x3364 -x3362
108.77/108.88 v -x3360 -x3358 -x3356 -x3354 -x3352 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 x3339 -x3338 -x3336 -x3334 -x3333 -x3331 -x3329
108.77/108.88 v -x3327 -x3325 -x3323 -x3322 -x3320 -x3318 -x3316 -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294
108.77/108.88 v -x3292 -x3290 -x3288 -x3286 -x3284 -x3282 -x3280 -x3278 -x3276 -x3274 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 -x3260
108.77/108.88 v -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224
108.77/108.88 v -x3222 -x3220 -x3218 -x3216 -x3214 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191
108.77/108.88 v -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155
108.77/108.88 v -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123 -x3121 -x3119
108.77/108.88 v -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 x3087 -x3085 -x3083
108.77/108.88 v -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047
108.77/108.88 v -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011
108.77/108.88 v -x3009 -x3007 -x3005 -x3003 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976
108.77/108.88 v -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 -x2947 -x2945 -x2943 -x2942
108.77/108.88 v -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906
108.77/108.88 v -x2904 -x2902 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872
108.77/108.88 v -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836
108.77/108.88 v -x2834 -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800
108.77/108.88 v -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764
108.77/108.88 v -x2762 -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728
108.77/108.88 v -x2726 -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692
108.77/108.88 v -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656
108.77/108.88 v -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620
108.77/108.88 v -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2595 -x2593 -x2591 -x2589 -x2587
108.77/108.88 v -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551
108.77/108.88 v -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516
108.77/108.88 v -x2514 -x2512 -x2510 -x2508 -x2506 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481
108.77/108.88 v -x2479 -x2477 -x2475 -x2473 -x2471 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446
108.77/108.88 v -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410
108.77/108.88 v -x2408 -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374
108.77/108.88 v -x2372 -x2370 -x2368 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 -x2343 -x2341
108.77/108.88 v -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305
108.77/108.88 v -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269
108.77/108.88 v -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233
108.77/108.88 v -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197
108.77/108.88 v -x2195 -x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167 -x2165 -x2163 -x2161
108.77/108.88 v -x2159 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 -x2131 -x2129 -x2127 -x2125
108.77/108.88 v -x2123 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2097 -x2095 -x2093 -x2091
108.77/108.88 v -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055
108.77/108.88 v -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019
108.77/108.88 v -x2017 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988 -x1986 -x1984
108.77/108.88 v -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948
108.77/108.88 v -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912
108.77/108.88 v -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876
108.77/108.88 v -x1874 -x1872 -x1870 -x1868 -x1866 -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843
108.77/108.88 v -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807
108.77/108.88 v -x1805 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x1773 -x1771
108.77/108.88 v -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735
108.77/108.88 v -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699
108.77/108.88 v -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663
108.77/108.88 v -x1661 -x1659 -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627
108.77/108.88 v -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593
108.77/108.88 v -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557
108.77/108.88 v -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521
108.77/108.88 v -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485
108.77/108.88 v -x1483 -x1481 -x1479 -x1477 -x1475 -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449
108.77/108.88 v -x1447 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413
108.77/108.88 v -x1411 -x1409 -x1407 -x1405 x1403 -x1401 -x1399 -x1397 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 -x1378
108.77/108.88 v -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342
108.77/108.88 v -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308
108.77/108.88 v -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272
108.77/108.88 v -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236
108.77/108.88 v -x1234 -x1232 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200
108.77/108.88 v -x1198 -x1196 -x1194 -x1192 -x1191 -x1189 -x1188 -x1186 -x1184 -x1182 x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166
108.77/108.88 v -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130
108.77/108.88 v -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1095
108.77/108.88 v -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 x1079 -x1077 -x1075 -x1073 -x1071 -x1069 x1067 -x1066 -x1065 -x1063 x1061
108.77/108.88 v -x1060 -x1058 -x1056 -x1054 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028
108.77/108.88 v -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993
108.77/108.88 v -x991 -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951
108.77/108.88 v -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909
108.77/108.88 v -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 x877 -x875 -x873 -x871 -x869 -x867
108.77/108.88 v -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825
108.77/108.88 v -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783
108.77/108.88 v -x781 -x779 -x777 -x775 -x773 -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743
108.77/108.88 v -x741 -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701
108.77/108.88 v -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659
108.77/108.88 v -x657 -x655 -x653 -x651 -x649 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618
108.77/108.88 v -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576
108.77/108.88 v -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534
108.77/108.88 v -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494
108.77/108.88 v -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452
108.77/108.88 v -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410
108.77/108.88 v -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 x372 -x370 -x368
108.77/108.88 v -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326
108.77/108.88 v -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304
108.77/108.88 c SCIP Status : problem is solved [optimal solution found]
108.77/108.88 c Solving Time : 108.61
108.77/108.88 c Original Problem :
108.77/108.88 c Problem name : HOME/instance-2703384-1278563948.opb
108.77/108.88 c Variables : 5537 (5537 binary, 0 integer, 0 implicit integer, 0 continuous)
108.77/108.88 c Constraints : 15855 initial, 15855 maximal
108.77/108.88 c Presolved Problem :
108.77/108.88 c Problem name : t_HOME/instance-2703384-1278563948.opb
108.77/108.88 c Variables : 533 (533 binary, 0 integer, 0 implicit integer, 0 continuous)
108.77/108.88 c Constraints : 2312 initial, 2312 maximal
108.77/108.88 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
108.77/108.88 c trivial : 0.01 2078 0 0 0 0 0 0 0
108.77/108.88 c dualfix : 0.00 1 0 0 0 0 0 0 0
108.77/108.88 c boundshift : 0.00 0 0 0 0 0 0 0 0
108.77/108.88 c inttobinary : 0.00 0 0 0 0 0 0 0 0
108.77/108.88 c implics : 0.01 0 61 0 0 0 0 0 0
108.77/108.88 c probing : 1.09 0 14 0 0 0 0 0 0
108.77/108.88 c knapsack : 0.07 0 0 0 0 0 0 13 34
108.77/108.88 c setppc : 0.15 0 0 0 0 0 274 0 0
108.77/108.88 c linear : 0.17 261 2589 0 261 0 6875 0 0
108.77/108.88 c logicor : 0.02 0 0 0 0 0 1 0 0
108.77/108.88 c root node : - 2078 - - 2078 - - - -
108.77/108.88 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
108.77/108.88 c integral : 0 0 0 21 0 0 5 0 0 36
108.77/108.88 c knapsack : 6 1 149 0 0 0 0 0 0 0
108.77/108.88 c setppc : 2031 14 1206 0 0 0 57 0 0 0
108.77/108.88 c logicor : 275 14 827 0 0 0 36 0 0 0
108.77/108.88 c countsols : 0 0 0 0 0 0 0 0 0 0
108.77/108.88 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
108.77/108.88 c integral : 71.60 0.00 0.00 71.60 0.00
108.77/108.88 c knapsack : 0.02 0.02 0.01 0.00 0.00
108.77/108.88 c setppc : 0.88 0.02 0.86 0.00 0.00
108.77/108.88 c logicor : 0.02 0.00 0.02 0.00 0.00
108.77/108.88 c countsols : 0.00 0.00 0.00 0.00 0.00
108.77/108.88 c Propagators : Time Calls Cutoffs DomReds
108.77/108.88 c vbounds : 0.00 3 0 0
108.77/108.88 c rootredcost : 0.00 0 0 0
108.77/108.88 c pseudoobj : 0.01 156 0 0
108.77/108.88 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
108.77/108.88 c propagation : 0.00 0 0 0 0.0 0 0.0 -
108.77/108.88 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
108.77/108.88 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
108.77/108.88 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
108.77/108.88 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
108.77/108.88 c applied globally : - - - 0 0.0 - - -
108.77/108.88 c applied locally : - - - 0 0.0 - - -
108.77/108.88 c Separators : Time Calls Cutoffs DomReds Cuts Conss
108.77/108.88 c cut pool : 0.00 0 - - 0 - (maximal pool size: 18)
108.77/108.88 c redcost : 0.01 33 0 2045 0 0
108.77/108.88 c impliedbounds : 0.01 14 0 0 13 0
108.77/108.88 c intobj : 0.00 0 0 0 0 0
108.77/108.88 c cgmip : 0.00 0 0 0 0 0
108.77/108.88 c gomory : 11.52 14 0 0 2649 0
108.77/108.88 c strongcg : 9.96 14 0 0 3416 0
108.77/108.88 c cmir : 1.17 11 0 0 0 0
108.77/108.88 c flowcover : 1.53 11 0 0 0 0
108.77/108.88 c clique : 0.02 14 0 0 86 0
108.77/108.88 c zerohalf : 0.00 0 0 0 0 0
108.77/108.88 c mcf : 0.02 2 0 0 0 0
108.77/108.88 c rapidlearning : 0.42 1 0 0 0 0
108.77/108.88 c Pricers : Time Calls Vars
108.77/108.88 c problem variables: 0.00 0 0
108.77/108.88 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
108.77/108.88 c relpscost : 71.60 21 0 5 0 0 36
108.77/108.88 c pscost : 0.00 0 0 0 0 0 0
108.77/108.88 c inference : 0.00 0 0 0 0 0 0
108.77/108.88 c mostinf : 0.00 0 0 0 0 0 0
108.77/108.88 c leastinf : 0.00 0 0 0 0 0 0
108.77/108.88 c fullstrong : 0.00 0 0 0 0 0 0
108.77/108.88 c allfullstrong : 0.00 0 0 0 0 0 0
108.77/108.88 c random : 0.00 0 0 0 0 0 0
108.77/108.88 c Primal Heuristics : Time Calls Found
108.77/108.88 c LP solutions : 0.00 - 0
108.77/108.88 c pseudo solutions : 0.00 - 0
108.77/108.88 c crossover : 0.00 0 0
108.77/108.88 c pscostdiving : 0.00 0 0
108.77/108.88 c fracdiving : 0.00 0 0
108.77/108.88 c veclendiving : 0.00 0 0
108.77/108.88 c objpscostdiving : 0.00 0 0
108.77/108.88 c rootsoldiving : 0.00 0 0
108.77/108.88 c linesearchdiving : 0.00 0 0
108.77/108.88 c guideddiving : 0.00 0 0
108.77/108.88 c trivial : 0.02 2 0
108.77/108.88 c simplerounding : 0.00 0 0
108.77/108.88 c zirounding : 0.01 17 0
108.77/108.88 c rounding : 0.03 35 0
108.77/108.88 c shifting : 0.05 17 3
108.77/108.88 c intshifting : 0.00 0 0
108.77/108.88 c oneopt : 0.02 5 2
108.77/108.88 c twoopt : 0.00 0 0
108.77/108.88 c fixandinfer : 0.00 0 0
108.77/108.88 c feaspump : 0.00 0 0
108.77/108.88 c coefdiving : 4.59 1 1
108.77/108.88 c intdiving : 0.00 0 0
108.77/108.88 c actconsdiving : 0.00 0 0
108.77/108.88 c octane : 0.00 0 0
108.77/108.88 c rens : 1.35 1 1
108.77/108.88 c rins : 0.00 0 0
108.77/108.88 c localbranching : 0.00 0 0
108.77/108.88 c mutation : 0.00 0 0
108.77/108.88 c dins : 0.00 0 0
108.77/108.88 c undercover : 0.00 0 0
108.77/108.88 c nlp : 0.00 0 0
108.77/108.88 c trysol : 0.00 0 0
108.77/108.88 c LP : Time Calls Iterations Iter/call Iter/sec
108.77/108.88 c primal LP : 0.01 0 0 0.00 0.00
108.77/108.88 c dual LP : 4.37 35 6337 181.06 1449.16
108.77/108.88 c lex dual LP : 0.00 0 0 0.00 -
108.77/108.88 c barrier LP : 0.00 0 0 0.00 -
108.77/108.88 c diving/probing LP: 4.46 124 9634 77.69 2160.46
108.77/108.88 c strong branching : 71.60 204 134750 660.54 1882.11
108.77/108.88 c (at root node) : - 34 24832 730.35 -
108.77/108.88 c conflict analysis: 0.00 0 0 0.00 -
108.77/108.88 c B&B Tree :
108.77/108.88 c number of runs : 2
108.77/108.88 c nodes : 17
108.77/108.88 c nodes (total) : 18
108.77/108.88 c nodes left : 0
108.77/108.88 c max depth : 16
108.77/108.88 c max depth (total): 16
108.77/108.88 c backtracks : 0 (0.0%)
108.77/108.88 c delayed cutoffs : 0
108.77/108.88 c repropagations : 0 (0 domain reductions, 0 cutoffs)
108.77/108.88 c avg switch length: 2.00
108.77/108.88 c switching time : 0.00
108.77/108.88 c Solution :
108.77/108.88 c Solutions found : 7 (6 improvements)
108.77/108.88 c First Solution : +5.30000000000001e+01 (in run 1, after 1 nodes, 1.64 seconds, depth 0, found by <shifting>)
108.77/108.88 c Primal Bound : +1.50000000000000e+01 (in run 2, after 17 nodes, 108.61 seconds, depth 141, found by <coefdiving>)
108.77/108.88 c Dual Bound : +1.50000000000000e+01
108.77/108.88 c Gap : 0.00 %
108.77/108.88 c Root Dual Bound : +1.50000000000000e+01
108.77/108.88 c Root Iterations : 4189
108.87/108.93 c Time complete: 108.89.
OK 15
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703384-1278563948/watcher-2703384-1278563948 -o /tmp/evaluation-result-2703384-1278563948/solver-2703384-1278563948 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703384-1278563948.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.97 1.38 1.24 3/106 32626 /proc/meminfo: memFree=1735372/2059040 swapFree=4139656/4192956 [pid=32626] ppid=32624 vsize=7904 CPUtime=0 /proc/32626/stat : 32626 (pbscip.linux.x8) R 32624 32626 32297 0 -1 4202496 1149 0 0 0 0 0 0 0 25 0 1 0 24603197 8093696 1060 1992294400 4194304 8395647 140735497809888 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32626/statm: 1976 1069 365 1026 0 946 0 [startup+0.019291 s] /proc/loadavg: 0.97 1.38 1.24 3/106 32626 /proc/meminfo: memFree=1735372/2059040 swapFree=4139656/4192956 [pid=32626] ppid=32624 vsize=12760 CPUtime=0.01 /proc/32626/stat : 32626 (pbscip.linux.x8) R 32624 32626 32297 0 -1 4202496 2502 0 0 0 1 0 0 0 25 0 1 0 24603197 13066240 2412 1992294400 4194304 8395647 140735497809888 18446744073709551615 5758034 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32626/statm: 3190 2412 386 1026 0 2160 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12760 [startup+0.1013 s] /proc/loadavg: 0.97 1.38 1.24 3/106 32626 /proc/meminfo: memFree=1735372/2059040 swapFree=4139656/4192956 [pid=32626] ppid=32624 vsize=18284 CPUtime=0.09 /proc/32626/stat : 32626 (pbscip.linux.x8) R 32624 32626 32297 0 -1 4202496 3794 0 0 0 9 0 0 0 25 0 1 0 24603197 18722816 3705 1992294400 4194304 8395647 140735497809888 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32626/statm: 4571 3717 393 1026 0 3541 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18284 [startup+0.301321 s] /proc/loadavg: 0.97 1.38 1.24 3/106 32626 /proc/meminfo: memFree=1735372/2059040 swapFree=4139656/4192956 [pid=32626] ppid=32624 vsize=37224 CPUtime=0.29 /proc/32626/stat : 32626 (pbscip.linux.x8) R 32624 32626 32297 0 -1 4202496 8924 0 0 0 27 2 0 0 25 0 1 0 24603197 38117376 8480 1992294400 4194304 8395647 140735497809888 18446744073709551615 4972402 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32626/statm: 9306 8480 420 1026 0 8276 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37224 [startup+0.701362 s] /proc/loadavg: 0.97 1.38 1.24 3/106 32626 /proc/meminfo: memFree=1735372/2059040 swapFree=4139656/4192956 [pid=32626] ppid=32624 vsize=47052 CPUtime=0.69 /proc/32626/stat : 32626 (pbscip.linux.x8) R 32624 32626 32297 0 -1 4202496 11118 0 0 0 66 3 0 0 25 0 1 0 24603197 48181248 10674 1992294400 4194304 8395647 140735497809888 18446744073709551615 4218235 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32626/statm: 11763 10674 497 1026 0 10733 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 47052 [startup+1.50144 s] /proc/loadavg: 0.97 1.38 1.24 2/107 32627 /proc/meminfo: memFree=1694444/2059040 swapFree=4139656/4192956 [pid=32626] ppid=32624 vsize=47948 CPUtime=1.49 /proc/32626/stat : 32626 (pbscip.linux.x8) R 32624 32626 32297 0 -1 4202496 11348 0 0 0 146 3 0 0 25 0 1 0 24603197 49098752 10904 1992294400 4194304 8395647 140735497809888 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32626/statm: 11987 10904 503 1026 0 10957 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 47948 [startup+3.10161 s] /proc/loadavg: 0.97 1.38 1.24 2/107 32627 /proc/meminfo: memFree=1681052/2059040 swapFree=4139656/4192956 [pid=32626] ppid=32624 vsize=90900 CPUtime=3.09 /proc/32626/stat : 32626 (pbscip.linux.x8) R 32624 32626 32297 0 -1 4202496 21762 0 0 0 300 9 0 0 25 0 1 0 24603197 93081600 21270 1992294400 4194304 8395647 140735497809888 18446744073709551615 4687806 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32626/statm: 22725 21270 612 1026 0 21695 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 90900 [startup+6.30094 s] /proc/loadavg: 1.13 1.41 1.25 2/107 32627 /proc/meminfo: memFree=1669272/2059040 swapFree=4139656/4192956 [pid=32626] ppid=32624 vsize=73620 CPUtime=6.29 /proc/32626/stat : 32626 (pbscip.linux.x8) R 32624 32626 32297 0 -1 4202496 24368 0 0 0 618 11 0 0 25 0 1 0 24603197 75386880 17152 1992294400 4194304 8395647 140735497809888 18446744073709551615 6440490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32626/statm: 18405 17152 622 1026 0 17375 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 73620 [startup+12.7016 s] /proc/loadavg: 1.28 1.44 1.26 2/107 32627 /proc/meminfo: memFree=1660220/2059040 swapFree=4139656/4192956 [pid=32626] ppid=32624 vsize=81536 CPUtime=12.69 /proc/32626/stat : 32626 (pbscip.linux.x8) R 32624 32626 32297 0 -1 4202496 26390 0 0 0 1254 15 0 0 25 0 1 0 24603197 83492864 19172 1992294400 4194304 8395647 140735497809888 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32626/statm: 20384 19172 624 1026 0 19354 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81536 [startup+25.5009 s] /proc/loadavg: 1.66 1.51 1.29 2/107 32627 /proc/meminfo: memFree=1657864/2059040 swapFree=4139656/4192956 [pid=32626] ppid=32624 vsize=84056 CPUtime=25.49 /proc/32626/stat : 32626 (pbscip.linux.x8) R 32624 32626 32297 0 -1 4202496 27119 0 0 0 2528 21 0 0 25 0 1 0 24603197 86073344 19783 1992294400 4194304 8395647 140735497809888 18446744073709551615 5863246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32626/statm: 21014 19783 629 1026 0 19984 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 84056 [startup+51.1006 s] /proc/loadavg: 1.55 1.50 1.29 2/107 32629 /proc/meminfo: memFree=1654144/2059040 swapFree=4139656/4192956 [pid=32626] ppid=32624 vsize=87944 CPUtime=51.07 /proc/32626/stat : 32626 (pbscip.linux.x8) R 32624 32626 32297 0 -1 4202496 33691 0 0 0 5062 45 0 0 25 0 1 0 24603197 90054656 20785 1992294400 4194304 8395647 140735497809888 18446744073709551615 6755549 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32626/statm: 21986 20785 693 1026 0 20956 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 87944 [startup+102.308 s] /proc/loadavg: 1.24 1.42 1.27 2/107 32629 /proc/meminfo: memFree=1654144/2059040 swapFree=4139656/4192956 [pid=32626] ppid=32624 vsize=87944 CPUtime=102.27 /proc/32626/stat : 32626 (pbscip.linux.x8) R 32624 32626 32297 0 -1 4202496 33691 0 0 0 10147 80 0 0 25 0 1 0 24603197 90054656 20785 1992294400 4194304 8395647 140735497809888 18446744073709551615 6391396 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32626/statm: 21986 20785 693 1026 0 20956 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 87944 Solver just ended. Dumping a history of the last processes samples [startup+105.501 s] /proc/loadavg: 1.22 1.41 1.27 2/107 32631 /proc/meminfo: memFree=1654144/2059040 swapFree=4139656/4192956 [pid=32626] ppid=32624 vsize=87944 CPUtime=105.46 /proc/32626/stat : 32626 (pbscip.linux.x8) R 32624 32626 32297 0 -1 4202496 33691 0 0 0 10464 82 0 0 25 0 1 0 24603197 90054656 20785 1992294400 4194304 8395647 140735497809888 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32626/statm: 21986 20785 693 1026 0 20956 0 Current children cumulated CPU time (s) 105.46 Current children cumulated vsize (KiB) 87944 [startup+107.101 s] /proc/loadavg: 1.22 1.41 1.27 2/107 32631 /proc/meminfo: memFree=1654144/2059040 swapFree=4139656/4192956 [pid=32626] ppid=32624 vsize=87944 CPUtime=107.05 /proc/32626/stat : 32626 (pbscip.linux.x8) R 32624 32626 32297 0 -1 4202496 33691 0 0 0 10622 83 0 0 25 0 1 0 24603197 90054656 20785 1992294400 4194304 8395647 140735497809888 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32626/statm: 21986 20785 693 1026 0 20956 0 Current children cumulated CPU time (s) 107.05 Current children cumulated vsize (KiB) 87944 [startup+107.901 s] /proc/loadavg: 1.22 1.41 1.27 2/107 32631 /proc/meminfo: memFree=1654144/2059040 swapFree=4139656/4192956 [pid=32626] ppid=32624 vsize=87944 CPUtime=107.86 /proc/32626/stat : 32626 (pbscip.linux.x8) R 32624 32626 32297 0 -1 4202496 33691 0 0 0 10702 84 0 0 25 0 1 0 24603197 90054656 20785 1992294400 4194304 8395647 140735497809888 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32626/statm: 21986 20785 693 1026 0 20956 0 Current children cumulated CPU time (s) 107.86 Current children cumulated vsize (KiB) 87944 [startup+108.701 s] /proc/loadavg: 1.22 1.41 1.27 2/107 32631 /proc/meminfo: memFree=1654144/2059040 swapFree=4139656/4192956 [pid=32626] ppid=32624 vsize=87944 CPUtime=108.66 /proc/32626/stat : 32626 (pbscip.linux.x8) R 32624 32626 32297 0 -1 4202496 33691 0 0 0 10781 85 0 0 25 0 1 0 24603197 90054656 20785 1992294400 4194304 8395647 140735497809888 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/32626/statm: 21986 20785 693 1026 0 20956 0 Current children cumulated CPU time (s) 108.66 Current children cumulated vsize (KiB) 87944 [startup+108.908 s] /proc/loadavg: 1.22 1.41 1.27 2/107 32631 /proc/meminfo: memFree=1654144/2059040 swapFree=4139656/4192956 [pid=32626] ppid=32624 vsize=87944 CPUtime=108.87 /proc/32626/stat : 32626 (pbscip.linux.x8) R 32624 32626 32297 0 -1 4202496 33704 0 0 0 10802 85 0 0 25 0 1 0 24603197 90054656 20798 1992294400 4194304 8395647 140735497809888 18446744073709551615 4288140 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/32626/statm: 21986 20798 695 1026 0 20956 0 Current children cumulated CPU time (s) 108.87 Current children cumulated vsize (KiB) 87944 Child status: 0 Real time (s): 108.932 CPU time (s): 108.899 CPU user time (s): 108.033 CPU system time (s): 0.866868 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 107496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 108.033 system time used= 0.866868 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33707 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= 2 involuntary context switches= 284 runsolver used 0.19597 second user time and 0.516921 second system time The end
Begin job on node083 at 2010-07-08 06:39:08 IDJOB=2703384 IDBENCH=25010 IDSOLVER=1213 FILE ID=node083/2703384-1278563948 PBS_JOBID= 11239575 Free space on /tmp= 62544 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir06_area_delay.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-2703384-1278563948/watcher-2703384-1278563948 -o /tmp/evaluation-result-2703384-1278563948/solver-2703384-1278563948 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703384-1278563948.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 21fb64899a6dc4867ccfcbb30d44d536 RANDOM SEED=2145893601 node083.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.249 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.249 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.80 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1735900 kB Buffers: 54968 kB Cached: 165048 kB SwapCached: 6460 kB Active: 99636 kB Inactive: 138124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1735900 kB SwapTotal: 4192956 kB SwapFree: 4139656 kB Dirty: 10932 kB Writeback: 0 kB AnonPages: 15936 kB Mapped: 11832 kB Slab: 63292 kB PageTables: 4116 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 186264 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62532 MiB End job on node083 at 2010-07-08 06:40:57