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