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