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