Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat 4j PB Resolution 2.3.2 Snapshot | SAT (TO) | 818 | 1800.61 | 1793.37 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb |
| MD5SUM | f8f4f876e372c51b5109e7995e83ce5e |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 761 |
| Best CPU time to get the best result obtained on this benchmark | 1800.23 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 443 |
| Optimality of the best value was proved | NO |
| Number of variables | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| 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 | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 492823 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 492823 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.02/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.02/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.09 c See www.sat4j.org for details. 0.07/0.10 c version 2.3.2.v20120418 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 501472288 0.07/0.10 c Max memory 7480803328 0.07/0.10 c Total memory 504102912 0.07/0.10 c Number of processors 8 0.07/0.12 c Pseudo Boolean Optimization by upper bound 0.07/0.12 c --- Begin Solver configuration --- 0.07/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.07/0.12 c Learn all clauses as in MiniSAT 0.07/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.12 c No reason simplification 0.07/0.12 c Armin Biere (Picosat) restarts strategy 0.07/0.12 c Glucose learned constraints deletion strategy 0.07/0.12 c timeout=2147483s 0.07/0.12 c DB Simplification allowed=false 0.07/0.12 c c --- End Solver configuration --- 0.07/0.12 c solving HOME/instance-3687595-1337873693.opb 0.07/0.12 c reading problem ... 3.51/2.81 c ... done. Wall clock time 2.691s. 3.51/2.81 c declared #vars 10000 3.97/3.00 c #constraints 656900 3.97/3.00 c constraints type 3.97/3.00 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 3.97/3.00 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 3.97/3.00 c 656900 constraints processed. 3.97/3.00 c objective function length is 10000 literals 3.97/3.07 c SATISFIABLE 3.97/3.07 c OPTIMIZING... 3.97/3.07 c Got one! Elapsed wall clock time (in seconds):2.949 3.97/3.08 o 820 4.47/3.22 c Got one! Elapsed wall clock time (in seconds):3.101 4.47/3.22 o 818 5.84/4.43 c cleaning 2605 clauses out of 5210 with flag 5000/5210 7.57/5.93 c cleaning 4304 clauses out of 8608 with flag 11003/11213 9.17/7.52 c cleaning 5651 clauses out of 11301 with flag 18000/18210 11.09/9.43 c cleaning 6825 clauses out of 13650 with flag 26000/26210 13.35/11.69 c cleaning 7914 clauses out of 15827 with flag 35002/35212 15.75/14.06 c cleaning 8956 clauses out of 17911 with flag 45000/45210 18.45/16.75 c cleaning 9968 clauses out of 19955 with flag 56000/56210 21.33/19.50 c cleaning 10989 clauses out of 21987 with flag 68000/68210 24.59/22.75 c cleaning 11999 clauses out of 23998 with flag 81000/81210 28.22/26.37 c cleaning 13000 clauses out of 25999 with flag 95000/95210 31.94/30.08 c cleaning 13998 clauses out of 27999 with flag 110000/110210 35.88/33.91 c cleaning 15001 clauses out of 30001 with flag 126000/126210 40.09/38.18 c cleaning 16000 clauses out of 32000 with flag 143000/143210 44.82/42.86 c cleaning 17001 clauses out of 34001 with flag 161001/161211 49.63/47.65 c cleaning 18001 clauses out of 36002 with flag 180003/180213 55.17/53.16 c cleaning 18993 clauses out of 37998 with flag 200000/200210 60.49/58.47 c cleaning 19999 clauses out of 40006 with flag 221001/221211 65.83/63.71 c cleaning 20997 clauses out of 42006 with flag 243000/243210 71.93/69.81 c cleaning 22002 clauses out of 44010 with flag 266001/266211 77.75/75.62 c cleaning 22996 clauses out of 46007 with flag 290000/290210 84.08/81.97 c cleaning 23993 clauses out of 48011 with flag 315000/315210 90.60/88.44 c cleaning 25003 clauses out of 50018 with flag 341000/341210 97.69/95.43 c cleaning 25994 clauses out of 52016 with flag 368001/368211 105.21/102.96 c cleaning 27001 clauses out of 54023 with flag 396002/396212 112.57/110.25 c cleaning 28002 clauses out of 56020 with flag 425000/425210 120.29/117.95 c cleaning 29010 clauses out of 58019 with flag 455001/455211 128.42/126.04 c cleaning 30003 clauses out of 60010 with flag 486002/486212 136.97/134.58 c cleaning 30997 clauses out of 62006 with flag 518001/518211 145.51/143.01 c cleaning 32003 clauses out of 64008 with flag 551000/551210 154.64/152.15 c cleaning 32994 clauses out of 66006 with flag 585001/585211 163.59/161.09 c cleaning 33999 clauses out of 68011 with flag 620000/620210 173.22/170.63 c cleaning 34994 clauses out of 70012 with flag 656000/656210 183.25/180.69 c cleaning 35996 clauses out of 72018 with flag 693000/693210 193.68/191.02 c cleaning 37002 clauses out of 74022 with flag 731000/731210 204.20/201.50 c cleaning 37997 clauses out of 76020 with flag 770000/770210 214.78/212.05 c cleaning 38996 clauses out of 78024 with flag 810001/810211 227.12/224.35 c cleaning 40006 clauses out of 80027 with flag 851000/851210 238.78/235.97 c cleaning 41003 clauses out of 82021 with flag 893000/893210 251.01/248.17 c cleaning 41980 clauses out of 84020 with flag 936002/936212 263.45/260.57 c cleaning 43013 clauses out of 86039 with flag 980001/980211 275.69/272.73 c cleaning 44006 clauses out of 88026 with flag 1025001/1025211 287.80/284.87 c cleaning 45004 clauses out of 90019 with flag 1071000/1071210 301.15/298.16 c cleaning 46009 clauses out of 92017 with flag 1118002/1118212 314.21/311.13 c cleaning 47001 clauses out of 94006 with flag 1166000/1166210 327.54/324.44 c cleaning 47995 clauses out of 96005 with flag 1215000/1215210 340.97/337.89 c cleaning 48997 clauses out of 98012 with flag 1265002/1265212 354.82/351.63 c cleaning 49983 clauses out of 100013 with flag 1316000/1316210 368.74/365.40 c cleaning 51014 clauses out of 102030 with flag 1368000/1368210 383.79/380.47 c cleaning 52002 clauses out of 104016 with flag 1421000/1421210 398.57/395.11 c cleaning 53001 clauses out of 106015 with flag 1475001/1475211 414.42/410.93 c cleaning 53986 clauses out of 108013 with flag 1530000/1530210 429.70/426.13 c cleaning 55009 clauses out of 110027 with flag 1586000/1586210 445.55/441.92 c cleaning 56001 clauses out of 112019 with flag 1643001/1643211 462.81/459.18 c cleaning 57001 clauses out of 114018 with flag 1701001/1701211 481.13/477.38 c cleaning 57993 clauses out of 116021 with flag 1760005/1760215 498.10/494.22 c cleaning 59005 clauses out of 118023 with flag 1820000/1820210 516.34/512.46 c cleaning 59999 clauses out of 120019 with flag 1881001/1881211 534.53/530.51 c cleaning 61005 clauses out of 122023 with flag 1943004/1943214 551.99/547.93 c cleaning 61996 clauses out of 124015 with flag 2006001/2006211 568.84/564.72 c cleaning 62998 clauses out of 126020 with flag 2070002/2070212 587.88/583.76 c cleaning 63995 clauses out of 128020 with flag 2135000/2135210 605.37/601.15 c cleaning 65011 clauses out of 130026 with flag 2201001/2201211 624.13/619.86 c cleaning 65987 clauses out of 132014 with flag 2268000/2268210 642.02/637.68 c cleaning 67009 clauses out of 134029 with flag 2336002/2336212 660.22/655.79 c cleaning 67996 clauses out of 136018 with flag 2405000/2405210 678.42/673.89 c cleaning 68999 clauses out of 138023 with flag 2475001/2475211 699.58/694.97 c cleaning 69990 clauses out of 140023 with flag 2546000/2546210 718.66/713.95 c cleaning 70998 clauses out of 142033 with flag 2618000/2618210 738.31/733.54 c cleaning 72014 clauses out of 144038 with flag 2691003/2691213 758.06/753.25 c cleaning 73000 clauses out of 146022 with flag 2765001/2765211 783.40/778.52 c cleaning 73986 clauses out of 148021 with flag 2840000/2840210 803.31/798.28 c cleaning 75020 clauses out of 150042 with flag 2916007/2916217 823.12/817.99 c cleaning 76002 clauses out of 152018 with flag 2993003/2993213 843.38/838.12 c cleaning 77001 clauses out of 154013 with flag 3071000/3071210 863.83/858.58 c cleaning 77993 clauses out of 156012 with flag 3150000/3150210 886.52/881.10 c cleaning 78993 clauses out of 158020 with flag 3230001/3230211 911.81/906.34 c cleaning 79999 clauses out of 160028 with flag 3311002/3311212 934.52/928.98 c cleaning 81002 clauses out of 162027 with flag 3393000/3393210 960.19/954.56 c cleaning 81971 clauses out of 164025 with flag 3476000/3476210 988.17/982.48 c cleaning 83004 clauses out of 166054 with flag 3560000/3560210 1016.67/1010.89 c cleaning 84003 clauses out of 168050 with flag 3645000/3645210 1041.92/1036.07 c cleaning 85008 clauses out of 170049 with flag 3731002/3731212 1070.81/1064.83 c cleaning 86012 clauses out of 172041 with flag 3818002/3818212 1095.38/1089.36 c cleaning 87003 clauses out of 174028 with flag 3906001/3906211 1124.47/1118.33 c cleaning 88000 clauses out of 176024 with flag 3995000/3995210 1149.91/1143.60 c cleaning 89001 clauses out of 178024 with flag 4085000/4085210 1177.27/1170.91 c cleaning 89994 clauses out of 180024 with flag 4176001/4176211 1204.63/1198.23 c cleaning 91001 clauses out of 182030 with flag 4268001/4268211 1231.90/1225.41 c cleaning 92005 clauses out of 184028 with flag 4361000/4361210 1260.58/1254.01 c cleaning 92988 clauses out of 186025 with flag 4455002/4455212 1290.50/1283.99 c cleaning 94012 clauses out of 188035 with flag 4550000/4550210 1317.24/1310.61 c cleaning 95003 clauses out of 190026 with flag 4646003/4646213 1343.44/1336.84 c cleaning 95992 clauses out of 192020 with flag 4743000/4743210 1372.16/1365.42 c cleaning 97007 clauses out of 194030 with flag 4841002/4841212 1398.18/1391.50 c cleaning 97981 clauses out of 196021 with flag 4940000/4940210 1426.97/1420.29 c cleaning 99001 clauses out of 198041 with flag 5040001/5040211 1456.19/1449.41 c cleaning 100010 clauses out of 200042 with flag 5141003/5141213 1488.29/1481.59 c cleaning 101007 clauses out of 202029 with flag 5243000/5243210 1518.20/1511.45 c cleaning 101997 clauses out of 204024 with flag 5346002/5346212 1548.01/1541.24 c cleaning 103000 clauses out of 206025 with flag 5450000/5450210 1579.80/1573.04 c cleaning 103999 clauses out of 208025 with flag 5555000/5555210 1610.40/1603.70 c cleaning 105003 clauses out of 210027 with flag 5661001/5661211 1641.49/1634.79 c cleaning 106007 clauses out of 212023 with flag 5768000/5768210 1676.39/1669.64 c cleaning 106994 clauses out of 214017 with flag 5876001/5876211 1707.29/1700.56 c cleaning 107995 clauses out of 216022 with flag 5985000/5985210 1742.08/1735.31 c cleaning 108987 clauses out of 218027 with flag 6095000/6095210 1772.57/1765.83 c cleaning 110007 clauses out of 220040 with flag 6206000/6206210 1800.08/1793.31 c starts : 278 1800.08/1793.31 c conflicts : 6305739 1800.08/1793.31 c decisions : 17955274 1800.08/1793.31 c propagations : 1826627630 1800.08/1793.31 c inspects : 2512330586 1800.08/1793.31 c shortcuts : 0 1800.08/1793.31 c learnt literals : 0 1800.08/1793.31 c learnt binary clauses : 0 1800.08/1793.31 c learnt ternary clauses : 0 1800.08/1793.31 c learnt constraints : 6305739 1800.08/1793.31 c ignored constraints : 0 1800.08/1793.31 c root simplifications : 0 1800.08/1793.31 c removed literals (reason simplification) : 0 1800.08/1793.31 c reason swapping (by a shorter reason) : 0 1800.08/1793.31 c Calls to reduceDB : 107 1800.08/1793.31 c number of reductions to clauses (during analyze) : 0 1800.08/1793.31 c number of learned constraints concerned by reduction : 0 1800.08/1793.31 c number of learning phase by resolution : 0 1800.08/1793.31 c number of learning phase by cutting planes : 0 1800.08/1793.31 c speed (assignments/second) : 1020204.7516493042 1800.08/1793.31 c non guided choices 0 1800.08/1793.34 c learnt constraints type 1800.08/1793.34 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 209662 1800.08/1793.34 c constraints type 1800.08/1793.34 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 1800.08/1793.34 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 1800.08/1793.34 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.08/1793.34 c 656901 constraints processed. 1800.08/1793.34 s SATISFIABLE 1800.08/1793.35 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2732 -x2733 -x2734 x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 x7174 x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 x7398 -x7399 -x7400 x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 x9236 -x9237 -x9238 -x9239 x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 1800.08/1793.36 c objective function=818 1800.08/1793.36 c Total wall clock time (in seconds): 1793.234
OK 818
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-3687595-1337873693/watcher-3687595-1337873693 -o /tmp/evaluation-result-3687595-1337873693/solver-3687595-1337873693 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687595-1337873693.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.16 2.03 1.71 3/192 20868 /proc/meminfo: memFree=29792344/32873844 swapFree=7104/7104 [pid=20868] ppid=20866 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/20868/stat : 20868 (java) D 20866 20868 20334 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 253497960 9515008 175 33554432000 1073741824 1073778376 140735524133680 140735524116408 235374723984 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/20868/statm: 2323 175 133 9 0 71 0 [startup+0.0426371 s] /proc/loadavg: 2.16 2.03 1.71 3/192 20868 /proc/meminfo: memFree=29792344/32873844 swapFree=7104/7104 [pid=20868] ppid=20866 vsize=9225560 CPUtime=0.02 cores=0,2,4,6 /proc/20868/stat : 20868 (java) S 20866 20868 20334 0 -1 4202496 3012 0 1 0 1 1 0 0 20 0 13 0 253497960 9446973440 3200 33554432000 1073741824 1073778376 140735705027520 140735705018656 235378081853 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20868/statm: 2306390 3200 1661 9 0 2297091 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9225560 [startup+0.100249 s] /proc/loadavg: 2.16 2.03 1.71 3/192 20868 /proc/meminfo: memFree=29792344/32873844 swapFree=7104/7104 [pid=20868] ppid=20866 vsize=9558412 CPUtime=0.07 cores=0,2,4,6 /proc/20868/stat : 20868 (java) S 20866 20868 20334 0 -1 4202496 4075 0 1 0 6 1 0 0 20 0 18 0 253497960 9787813888 4763 33554432000 1073741824 1073778376 140735705027520 140735705018656 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20868/statm: 2389603 4785 2036 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558412 [startup+0.300224 s] /proc/loadavg: 2.16 2.03 1.71 3/192 20868 /proc/meminfo: memFree=29792344/32873844 swapFree=7104/7104 [pid=20868] ppid=20866 vsize=9558412 CPUtime=0.44 cores=0,2,4,6 /proc/20868/stat : 20868 (java) S 20866 20868 20334 0 -1 4202496 5514 0 1 0 43 1 0 0 20 0 18 0 253497960 9787813888 8192 33554432000 1073741824 1073778376 140735705027520 140735705018656 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20868/statm: 2389603 8192 2214 9 0 2380296 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 9558412 [startup+0.700236 s] /proc/loadavg: 2.16 2.03 1.71 3/192 20868 /proc/meminfo: memFree=29792344/32873844 swapFree=7104/7104 [pid=20868] ppid=20866 vsize=9558412 CPUtime=1.14 cores=0,2,4,6 /proc/20868/stat : 20868 (java) S 20866 20868 20334 0 -1 4202496 9105 0 1 0 109 5 0 0 20 0 18 0 253497960 9787813888 40969 33554432000 1073741824 1073778376 140735705027520 140735705018656 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20868/statm: 2389603 40969 2245 9 0 2380296 0 Current children cumulated CPU time (s) 1.14 Current children cumulated vsize (KiB) 9558412 [startup+1.50064 s] /proc/loadavg: 2.16 2.03 1.71 3/210 20886 /proc/meminfo: memFree=29624528/32873844 swapFree=7104/7104 [pid=20868] ppid=20866 vsize=9558412 CPUtime=2.02 cores=0,2,4,6 /proc/20868/stat : 20868 (java) S 20866 20868 20334 0 -1 4202496 9184 0 1 0 194 8 0 0 20 0 18 0 253497960 9787813888 71690 33554432000 1073741824 1073778376 140735705027520 140735705018656 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20868/statm: 2389603 71690 2245 9 0 2380296 0 [pid=20868/tid=20870] ppid=20866 vsize=9558412 CPUtime=1.42 cores=0,2,4,6 /proc/20868/task/20870/stat : 20870 (java) R 20866 20868 20334 0 -1 4202560 2619 0 1 0 137 5 0 0 20 0 18 0 253497961 9787813888 71690 33554432000 1073741824 1073778376 140735705027520 139957948227456 235378107661 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20871] ppid=20866 vsize=9558412 CPUtime=0.01 cores=0,2,4,6 /proc/20868/task/20871/stat : 20871 (java) S 20866 20868 20334 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 253497962 9787813888 71690 33554432000 1073741824 1073778376 140735705027520 139957886966312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20872] ppid=20866 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20872/stat : 20872 (java) S 20866 20868 20334 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 253497962 9787813888 71690 33554432000 1073741824 1073778376 140735705027520 139957885913512 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20873] ppid=20866 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20873/stat : 20873 (java) S 20866 20868 20334 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 253497962 9787813888 71690 33554432000 1073741824 1073778376 140735705027520 139957789997352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20868/tid=20874] ppid=20866 vsize=9558412 CPUtime=0.02 cores=0,2,4,6 /proc/20868/task/20874/stat : 20874 (java) S 20866 20868 20334 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 18 0 253497962 9787813888 71690 33554432000 1073741824 1073778376 140735705027520 139957788944552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20875] ppid=20866 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20875/stat : 20875 (java) S 20866 20868 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 253497962 9787813888 71690 33554432000 1073741824 1073778376 140735705027520 139957787892776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20876] ppid=20866 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20876/stat : 20876 (java) S 20866 20868 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 253497962 9787813888 71690 33554432000 1073741824 1073778376 140735705027520 139957786839976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20868/tid=20877] ppid=20866 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20877/stat : 20877 (java) S 20866 20868 20334 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 253497962 9787813888 71690 33554432000 1073741824 1073778376 140735705027520 139957785787176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20878] ppid=20866 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20878/stat : 20878 (java) S 20866 20868 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253497962 9787813888 71690 33554432000 1073741824 1073778376 140735705027520 139957784734376 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20879] ppid=20866 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20879/stat : 20879 (java) S 20866 20868 20334 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 253497963 9787813888 71690 33554432000 1073741824 1073778376 140735705027520 139957772323304 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20880] ppid=20866 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20880/stat : 20880 (java) S 20866 20868 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253497964 9787813888 71690 33554432000 1073741824 1073778376 140735705027520 139957771269368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20881] ppid=20866 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20881/stat : 20881 (java) S 20866 20868 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253497964 9787813888 71690 33554432000 1073741824 1073778376 140735705027520 139957770216456 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20882] ppid=20866 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20882/stat : 20882 (java) S 20866 20868 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253497967 9787813888 71690 33554432000 1073741824 1073778376 140735705027520 139957769164944 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20883] ppid=20866 vsize=9558412 CPUtime=0.21 cores=0,2,4,6 /proc/20868/task/20883/stat : 20883 (java) S 20866 20868 20334 0 -1 4202560 2541 0 0 0 21 0 0 0 20 0 18 0 253497967 9787813888 71690 33554432000 1073741824 1073778376 140735705027520 139957768113080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20884] ppid=20866 vsize=9558412 CPUtime=0.21 cores=0,2,4,6 /proc/20868/task/20884/stat : 20884 (java) S 20866 20868 20334 0 -1 4202560 2725 0 0 0 21 0 0 0 20 0 18 0 253497967 9787813888 71690 33554432000 1073741824 1073778376 140735705027520 139957767060280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20885] ppid=20866 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20885/stat : 20885 (java) S 20866 20868 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253497967 9787813888 71690 33554432000 1073741824 1073778376 140735705027520 139957766007672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20886] ppid=20866 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20886/stat : 20886 (java) S 20866 20868 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253497967 9787813888 71690 33554432000 1073741824 1073778376 140735705027520 139957764955080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.02 Current children cumulated vsize (KiB) 9558412 [startup+3.10064 s] /proc/loadavg: 2.16 2.03 1.71 11/210 20886 /proc/meminfo: memFree=29461620/32873844 swapFree=7104/7104 [pid=20868] ppid=20866 vsize=9624976 CPUtime=4.23 cores=0,2,4,6 /proc/20868/stat : 20868 (java) S 20866 20868 20334 0 -1 4202496 12000 0 1 0 408 15 0 0 20 0 19 0 253497960 9855975424 98123 33554432000 1073741824 1073778376 140735705027520 140735705018656 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20868/statm: 2406244 98123 2265 9 0 2396937 0 [pid=20868/tid=20870] ppid=20866 vsize=9624976 CPUtime=2.95 cores=0,2,4,6 /proc/20868/task/20870/stat : 20870 (java) R 20866 20868 20334 0 -1 4202560 2662 0 1 0 288 7 0 0 20 0 19 0 253497961 9855975424 98123 33554432000 1073741824 1073778376 140735705027520 139957948234640 139957888041512 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20871] ppid=20866 vsize=9624976 CPUtime=0.05 cores=0,2,4,6 /proc/20868/task/20871/stat : 20871 (java) S 20866 20868 20334 0 -1 4202560 28 0 0 0 4 1 0 0 20 0 19 0 253497962 9855975424 98123 33554432000 1073741824 1073778376 140735705027520 139957886966312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20872] ppid=20866 vsize=9624976 CPUtime=0.03 cores=0,2,4,6 /proc/20868/task/20872/stat : 20872 (java) S 20866 20868 20334 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 253497962 9855975424 98123 33554432000 1073741824 1073778376 140735705027520 139957885913512 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20873] ppid=20866 vsize=9624976 CPUtime=0.03 cores=0,2,4,6 /proc/20868/task/20873/stat : 20873 (java) S 20866 20868 20334 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 19 0 253497962 9855975424 98123 33554432000 1073741824 1073778376 140735705027520 139957789997352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20868/tid=20874] ppid=20866 vsize=9624976 CPUtime=0.05 cores=0,2,4,6 /proc/20868/task/20874/stat : 20874 (java) S 20866 20868 20334 0 -1 4202560 44 0 0 0 5 0 0 0 20 0 19 0 253497962 9855975424 98123 33554432000 1073741824 1073778376 140735705027520 139957788944552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20875] ppid=20866 vsize=9624976 CPUtime=0.03 cores=0,2,4,6 /proc/20868/task/20875/stat : 20875 (java) S 20866 20868 20334 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 19 0 253497962 9855975424 98123 33554432000 1073741824 1073778376 140735705027520 139957787892776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20876] ppid=20866 vsize=9624976 CPUtime=0.03 cores=0,2,4,6 /proc/20868/task/20876/stat : 20876 (java) S 20866 20868 20334 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 19 0 253497962 9855975424 98123 33554432000 1073741824 1073778376 140735705027520 139957786839976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20868/tid=20877] ppid=20866 vsize=9624976 CPUtime=0.04 cores=0,2,4,6 /proc/20868/task/20877/stat : 20877 (java) S 20866 20868 20334 0 -1 4202560 39 0 0 0 4 0 0 0 20 0 19 0 253497962 9855975424 98123 33554432000 1073741824 1073778376 140735705027520 139957785787176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20878] ppid=20866 vsize=9624976 CPUtime=0.02 cores=0,2,4,6 /proc/20868/task/20878/stat : 20878 (java) S 20866 20868 20334 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 253497962 9855975424 98123 33554432000 1073741824 1073778376 140735705027520 139957784734376 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20879] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20879/stat : 20879 (java) S 20866 20868 20334 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 253497963 9855975424 98123 33554432000 1073741824 1073778376 140735705027520 139957772323304 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20880] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20880/stat : 20880 (java) S 20866 20868 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253497964 9855975424 98123 33554432000 1073741824 1073778376 140735705027520 139957771269368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20881] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20881/stat : 20881 (java) S 20866 20868 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253497964 9855975424 98635 33554432000 1073741824 1073778376 140735705027520 139957770216456 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20882] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20882/stat : 20882 (java) S 20866 20868 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253497967 9855975424 98635 33554432000 1073741824 1073778376 140735705027520 139957769164944 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20883] ppid=20866 vsize=9624976 CPUtime=0.41 cores=0,2,4,6 /proc/20868/task/20883/stat : 20883 (java) R 20866 20868 20334 0 -1 4202560 4015 0 0 0 41 0 0 0 20 0 19 0 253497967 9855975424 98635 33554432000 1073741824 1073778376 140735705027520 139957768113080 139957955970696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20884] ppid=20866 vsize=9624976 CPUtime=0.43 cores=0,2,4,6 /proc/20868/task/20884/stat : 20884 (java) S 20866 20868 20334 0 -1 4202560 3754 0 0 0 42 1 0 0 20 0 19 0 253497967 9855975424 98635 33554432000 1073741824 1073778376 140735705027520 139957767060280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20885] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20885/stat : 20885 (java) S 20866 20868 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253497967 9855975424 98635 33554432000 1073741824 1073778376 140735705027520 139957766007672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20886] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20886/stat : 20886 (java) S 20866 20868 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253497967 9855975424 98635 33554432000 1073741824 1073778376 140735705027520 139957764955080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 4.23 Current children cumulated vsize (KiB) 9624976 [startup+6.30063 s] /proc/loadavg: 2.15 2.03 1.72 3/211 20887 /proc/meminfo: memFree=29331968/32873844 swapFree=7104/7104 [pid=20868] ppid=20866 vsize=9624976 CPUtime=7.97 cores=0,2,4,6 /proc/20868/stat : 20868 (java) S 20866 20868 20334 0 -1 4202496 14406 0 1 0 778 19 0 0 20 0 19 0 253497960 9855975424 118253 33554432000 1073741824 1073778376 140735705027520 140735705018656 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20868/statm: 2406244 118253 2284 9 0 2396937 0 [pid=20868/tid=20870] ppid=20866 vsize=9624976 CPUtime=5.79 cores=0,2,4,6 /proc/20868/task/20870/stat : 20870 (java) R 20866 20868 20334 0 -1 4202560 2674 0 1 0 572 7 0 0 20 0 19 0 253497961 9855975424 118253 33554432000 1073741824 1073778376 140735705027520 139957948236064 139957888760480 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20871] ppid=20866 vsize=9624976 CPUtime=0.06 cores=0,2,4,6 /proc/20868/task/20871/stat : 20871 (java) S 20866 20868 20334 0 -1 4202560 37 0 0 0 5 1 0 0 20 0 19 0 253497962 9855975424 118253 33554432000 1073741824 1073778376 140735705027520 139957886966312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20872] ppid=20866 vsize=9624976 CPUtime=0.04 cores=0,2,4,6 /proc/20868/task/20872/stat : 20872 (java) S 20866 20868 20334 0 -1 4202560 18 0 0 0 3 1 0 0 20 0 19 0 253497962 9855975424 118253 33554432000 1073741824 1073778376 140735705027520 139957885913512 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20873] ppid=20866 vsize=9624976 CPUtime=0.09 cores=0,2,4,6 /proc/20868/task/20873/stat : 20873 (java) S 20866 20868 20334 0 -1 4202560 44 0 0 0 7 2 0 0 20 0 19 0 253497962 9855975424 118253 33554432000 1073741824 1073778376 140735705027520 139957789997352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20868/tid=20874] ppid=20866 vsize=9624976 CPUtime=0.09 cores=0,2,4,6 /proc/20868/task/20874/stat : 20874 (java) S 20866 20868 20334 0 -1 4202560 65 0 0 0 7 2 0 0 20 0 19 0 253497962 9855975424 118253 33554432000 1073741824 1073778376 140735705027520 139957788944552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20875] ppid=20866 vsize=9624976 CPUtime=0.05 cores=0,2,4,6 /proc/20868/task/20875/stat : 20875 (java) S 20866 20868 20334 0 -1 4202560 33 0 0 0 5 0 0 0 20 0 19 0 253497962 9855975424 118253 33554432000 1073741824 1073778376 140735705027520 139957787892776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20876] ppid=20866 vsize=9624976 CPUtime=0.04 cores=0,2,4,6 /proc/20868/task/20876/stat : 20876 (java) S 20866 20868 20334 0 -1 4202560 27 0 0 0 3 1 0 0 20 0 19 0 253497962 9855975424 118253 33554432000 1073741824 1073778376 140735705027520 139957786839976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20877] ppid=20866 vsize=9624976 CPUtime=0.1 cores=0,2,4,6 /proc/20868/task/20877/stat : 20877 (java) S 20866 20868 20334 0 -1 4202560 66 0 0 0 8 2 0 0 20 0 19 0 253497962 9855975424 118253 33554432000 1073741824 1073778376 140735705027520 139957785787176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20878] ppid=20866 vsize=9624976 CPUtime=0.04 cores=0,2,4,6 /proc/20868/task/20878/stat : 20878 (java) S 20866 20868 20334 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 19 0 253497962 9855975424 118253 33554432000 1073741824 1073778376 140735705027520 139957784734376 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20879] ppid=20866 vsize=9624976 CPUtime=0.29 cores=0,2,4,6 /proc/20868/task/20879/stat : 20879 (java) S 20866 20868 20334 0 -1 4202560 229 0 0 0 29 0 0 0 20 0 19 0 253497963 9855975424 118253 33554432000 1073741824 1073778376 140735705027520 139957772323304 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20880] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20880/stat : 20880 (java) S 20866 20868 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253497964 9855975424 118253 33554432000 1073741824 1073778376 140735705027520 139957771269368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20881] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20881/stat : 20881 (java) S 20866 20868 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253497964 9855975424 118253 33554432000 1073741824 1073778376 140735705027520 139957770216456 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20882] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20882/stat : 20882 (java) S 20866 20868 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253497967 9855975424 118253 33554432000 1073741824 1073778376 140735705027520 139957769164944 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20883] ppid=20866 vsize=9624976 CPUtime=0.61 cores=0,2,4,6 /proc/20868/task/20883/stat : 20883 (java) S 20866 20868 20334 0 -1 4202560 5414 0 0 0 61 0 0 0 20 0 19 0 253497967 9855975424 118253 33554432000 1073741824 1073778376 140735705027520 139957768113080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20884] ppid=20866 vsize=9624976 CPUtime=0.62 cores=0,2,4,6 /proc/20868/task/20884/stat : 20884 (java) S 20866 20868 20334 0 -1 4202560 4588 0 0 0 60 2 0 0 20 0 19 0 253497967 9855975424 118253 33554432000 1073741824 1073778376 140735705027520 139957767060280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20885] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20885/stat : 20885 (java) S 20866 20868 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253497967 9855975424 118253 33554432000 1073741824 1073778376 140735705027520 139957766007672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20886] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20886/stat : 20886 (java) S 20866 20868 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253497967 9855975424 118253 33554432000 1073741824 1073778376 140735705027520 139957764955080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20887] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20887/stat : 20887 (java) S 20866 20868 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253498246 9855975424 118253 33554432000 1073741824 1073778376 140735705027520 139957763900584 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.97 Current children cumulated vsize (KiB) 9624976 [startup+12.7006 s] /proc/loadavg: 2.13 2.03 1.72 3/210 20887 /proc/meminfo: memFree=29318392/32873844 swapFree=7104/7104 [pid=20868] ppid=20866 vsize=9624976 CPUtime=14.45 cores=0,2,4,6 /proc/20868/stat : 20868 (java) S 20866 20868 20334 0 -1 4202496 14681 0 1 0 1425 20 0 0 20 0 19 0 253497960 9855975424 120200 33554432000 1073741824 1073778376 140735705027520 140735705018656 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 ################ # More data... # ################ [pid=20868/tid=20876] ppid=20866 vsize=9624976 CPUtime=0.95 cores=0,2,4,6 /proc/20868/task/20876/stat : 20876 (java) S 20866 20868 20334 0 -1 4202560 1612 0 0 0 89 6 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957786839976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20877] ppid=20866 vsize=9624976 CPUtime=0.96 cores=0,2,4,6 /proc/20868/task/20877/stat : 20877 (java) S 20866 20868 20334 0 -1 4202560 1501 0 0 0 91 5 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957785787176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20878] ppid=20866 vsize=9624976 CPUtime=0.92 cores=0,2,4,6 /proc/20868/task/20878/stat : 20878 (java) S 20866 20868 20334 0 -1 4202560 1987 0 0 0 85 7 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957784734376 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20879] ppid=20866 vsize=9624976 CPUtime=19.39 cores=0,2,4,6 /proc/20868/task/20879/stat : 20879 (java) S 20866 20868 20334 0 -1 4202560 366 0 0 0 1937 2 0 0 20 0 19 0 253497963 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957772323304 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20880] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20880/stat : 20880 (java) S 20866 20868 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253497964 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957771269368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20881] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20881/stat : 20881 (java) S 20866 20868 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253497964 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957770216456 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20882] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20882/stat : 20882 (java) S 20866 20868 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253497967 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957769164944 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20883] ppid=20866 vsize=9624976 CPUtime=0.77 cores=0,2,4,6 /proc/20868/task/20883/stat : 20883 (java) S 20866 20868 20334 0 -1 4202560 7192 0 0 0 75 2 0 0 20 0 19 0 253497967 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957768113080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20884] ppid=20866 vsize=9624976 CPUtime=0.63 cores=0,2,4,6 /proc/20868/task/20884/stat : 20884 (java) S 20866 20868 20334 0 -1 4202560 4590 0 0 0 61 2 0 0 20 0 19 0 253497967 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957767060280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20885] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20885/stat : 20885 (java) S 20866 20868 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253497967 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957766007672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20886] ppid=20866 vsize=9624976 CPUtime=0.34 cores=0,2,4,6 /proc/20868/task/20886/stat : 20886 (java) S 20866 20868 20334 0 -1 4202560 98 0 0 0 19 15 0 0 20 0 19 0 253497967 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957764955080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20887] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20887/stat : 20887 (java) S 20866 20868 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253498246 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957763900584 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1729.08 Current children cumulated vsize (KiB) 9624976 [startup+1782.3 s] /proc/loadavg: 2.08 2.02 1.93 3/211 20986 /proc/meminfo: memFree=26673040/32873844 swapFree=7104/7104 [pid=20868] ppid=20866 vsize=9624976 CPUtime=1789.07 cores=0,2,4,6 /proc/20868/stat : 20868 (java) S 20866 20868 20334 0 -1 4202496 31239 0 1 0 178827 80 0 0 20 0 19 0 253497960 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 140735705018656 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20868/statm: 2406244 213116 2285 9 0 2396937 0 [pid=20868/tid=20870] ppid=20866 vsize=9624976 CPUtime=1760.31 cores=0,2,4,6 /proc/20868/task/20870/stat : 20870 (java) R 20866 20868 20334 0 -1 4202560 2787 0 1 0 175996 35 0 0 20 0 19 0 253497961 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957948236064 139957888812036 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20871] ppid=20866 vsize=9624976 CPUtime=0.9 cores=0,2,4,6 /proc/20868/task/20871/stat : 20871 (java) S 20866 20868 20334 0 -1 4202560 1371 0 0 0 85 5 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957886966312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20872] ppid=20866 vsize=9624976 CPUtime=0.86 cores=0,2,4,6 /proc/20868/task/20872/stat : 20872 (java) S 20866 20868 20334 0 -1 4202560 2572 0 0 0 78 8 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957885913512 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20868/tid=20873] ppid=20866 vsize=9624976 CPUtime=0.92 cores=0,2,4,6 /proc/20868/task/20873/stat : 20873 (java) S 20866 20868 20334 0 -1 4202560 1942 0 0 0 86 6 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957789997352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20874] ppid=20866 vsize=9624976 CPUtime=0.88 cores=0,2,4,6 /proc/20868/task/20874/stat : 20874 (java) S 20866 20868 20334 0 -1 4202560 2554 0 0 0 82 6 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957788944552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20868/tid=20875] ppid=20866 vsize=9624976 CPUtime=0.99 cores=0,2,4,6 /proc/20868/task/20875/stat : 20875 (java) S 20866 20868 20334 0 -1 4202560 1479 0 0 0 91 8 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957787892776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20876] ppid=20866 vsize=9624976 CPUtime=0.95 cores=0,2,4,6 /proc/20868/task/20876/stat : 20876 (java) S 20866 20868 20334 0 -1 4202560 1612 0 0 0 89 6 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957786839976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20877] ppid=20866 vsize=9624976 CPUtime=0.96 cores=0,2,4,6 /proc/20868/task/20877/stat : 20877 (java) S 20866 20868 20334 0 -1 4202560 1501 0 0 0 91 5 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957785787176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20878] ppid=20866 vsize=9624976 CPUtime=0.92 cores=0,2,4,6 /proc/20868/task/20878/stat : 20878 (java) S 20866 20868 20334 0 -1 4202560 1987 0 0 0 85 7 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957784734376 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20879] ppid=20866 vsize=9624976 CPUtime=19.78 cores=0,2,4,6 /proc/20868/task/20879/stat : 20879 (java) S 20866 20868 20334 0 -1 4202560 370 0 0 0 1976 2 0 0 20 0 19 0 253497963 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957772323304 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20880] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20880/stat : 20880 (java) S 20866 20868 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253497964 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957771269368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20881] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20881/stat : 20881 (java) S 20866 20868 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253497964 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957770216456 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20882] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20882/stat : 20882 (java) S 20866 20868 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253497967 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957769164944 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20883] ppid=20866 vsize=9624976 CPUtime=0.77 cores=0,2,4,6 /proc/20868/task/20883/stat : 20883 (java) S 20866 20868 20334 0 -1 4202560 7192 0 0 0 75 2 0 0 20 0 19 0 253497967 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957768113080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20884] ppid=20866 vsize=9624976 CPUtime=0.63 cores=0,2,4,6 /proc/20868/task/20884/stat : 20884 (java) S 20866 20868 20334 0 -1 4202560 4590 0 0 0 61 2 0 0 20 0 19 0 253497967 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957767060280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20885] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20885/stat : 20885 (java) S 20866 20868 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253497967 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957766007672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20886] ppid=20866 vsize=9624976 CPUtime=0.35 cores=0,2,4,6 /proc/20868/task/20886/stat : 20886 (java) S 20866 20868 20334 0 -1 4202560 102 0 0 0 19 16 0 0 20 0 19 0 253497967 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957764955080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20887] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20887/stat : 20887 (java) S 20866 20868 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253498246 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957763900584 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1789.07 Current children cumulated vsize (KiB) 9624976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.3 s] /proc/loadavg: 2.06 2.02 1.93 3/211 20986 /proc/meminfo: memFree=26672916/32873844 swapFree=7104/7104 [pid=20868] ppid=20866 vsize=9624976 CPUtime=1800.08 cores=0,2,4,6 /proc/20868/stat : 20868 (java) S 20866 20868 20334 0 -1 4202496 31239 0 1 0 179927 81 0 0 20 0 19 0 253497960 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 140735705018656 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20868/statm: 2406244 213116 2285 9 0 2396937 0 [pid=20868/tid=20870] ppid=20866 vsize=9624976 CPUtime=1771.31 cores=0,2,4,6 /proc/20868/task/20870/stat : 20870 (java) R 20866 20868 20334 0 -1 4202560 2787 0 1 0 177096 35 0 0 20 0 19 0 253497961 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957948236064 139957888868850 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20871] ppid=20866 vsize=9624976 CPUtime=0.9 cores=0,2,4,6 /proc/20868/task/20871/stat : 20871 (java) S 20866 20868 20334 0 -1 4202560 1371 0 0 0 85 5 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957886966312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20872] ppid=20866 vsize=9624976 CPUtime=0.86 cores=0,2,4,6 /proc/20868/task/20872/stat : 20872 (java) S 20866 20868 20334 0 -1 4202560 2572 0 0 0 78 8 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957885913512 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20868/tid=20873] ppid=20866 vsize=9624976 CPUtime=0.92 cores=0,2,4,6 /proc/20868/task/20873/stat : 20873 (java) S 20866 20868 20334 0 -1 4202560 1942 0 0 0 86 6 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957789997352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20874] ppid=20866 vsize=9624976 CPUtime=0.88 cores=0,2,4,6 /proc/20868/task/20874/stat : 20874 (java) S 20866 20868 20334 0 -1 4202560 2554 0 0 0 82 6 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957788944552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20868/tid=20875] ppid=20866 vsize=9624976 CPUtime=0.99 cores=0,2,4,6 /proc/20868/task/20875/stat : 20875 (java) S 20866 20868 20334 0 -1 4202560 1479 0 0 0 91 8 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957787892776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20876] ppid=20866 vsize=9624976 CPUtime=0.95 cores=0,2,4,6 /proc/20868/task/20876/stat : 20876 (java) S 20866 20868 20334 0 -1 4202560 1612 0 0 0 89 6 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957786839976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20877] ppid=20866 vsize=9624976 CPUtime=0.96 cores=0,2,4,6 /proc/20868/task/20877/stat : 20877 (java) S 20866 20868 20334 0 -1 4202560 1501 0 0 0 91 5 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957785787176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20878] ppid=20866 vsize=9624976 CPUtime=0.92 cores=0,2,4,6 /proc/20868/task/20878/stat : 20878 (java) S 20866 20868 20334 0 -1 4202560 1987 0 0 0 85 7 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957784734376 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20879] ppid=20866 vsize=9624976 CPUtime=19.78 cores=0,2,4,6 /proc/20868/task/20879/stat : 20879 (java) S 20866 20868 20334 0 -1 4202560 370 0 0 0 1976 2 0 0 20 0 19 0 253497963 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957772323304 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20880] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20880/stat : 20880 (java) S 20866 20868 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253497964 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957771269368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20881] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20881/stat : 20881 (java) S 20866 20868 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253497964 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957770216456 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20882] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20882/stat : 20882 (java) S 20866 20868 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253497967 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957769164944 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20883] ppid=20866 vsize=9624976 CPUtime=0.77 cores=0,2,4,6 /proc/20868/task/20883/stat : 20883 (java) S 20866 20868 20334 0 -1 4202560 7192 0 0 0 75 2 0 0 20 0 19 0 253497967 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957768113080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20884] ppid=20866 vsize=9624976 CPUtime=0.63 cores=0,2,4,6 /proc/20868/task/20884/stat : 20884 (java) S 20866 20868 20334 0 -1 4202560 4590 0 0 0 61 2 0 0 20 0 19 0 253497967 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957767060280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20885] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20885/stat : 20885 (java) S 20866 20868 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253497967 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957766007672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20886] ppid=20866 vsize=9624976 CPUtime=0.36 cores=0,2,4,6 /proc/20868/task/20886/stat : 20886 (java) S 20866 20868 20334 0 -1 4202560 102 0 0 0 20 16 0 0 20 0 19 0 253497967 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957764955080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20887] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20887/stat : 20887 (java) S 20866 20868 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253498246 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957763900584 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9624976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1793.3 s] /proc/loadavg: 2.06 2.02 1.93 3/211 20986 /proc/meminfo: memFree=26672916/32873844 swapFree=7104/7104 [pid=20868] ppid=20866 vsize=9624976 CPUtime=1800.08 cores=0,2,4,6 /proc/20868/stat : 20868 (java) S 20866 20868 20334 0 -1 4202496 31239 0 1 0 179927 81 0 0 20 0 19 0 253497960 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 140735705018656 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/20868/statm: 2406244 213116 2285 9 0 2396937 0 [pid=20868/tid=20870] ppid=20866 vsize=9624976 CPUtime=1771.31 cores=0,2,4,6 /proc/20868/task/20870/stat : 20870 (java) R 20866 20868 20334 0 -1 4202560 2787 0 1 0 177096 35 0 0 20 0 19 0 253497961 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957948236064 139957888868850 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20871] ppid=20866 vsize=9624976 CPUtime=0.9 cores=0,2,4,6 /proc/20868/task/20871/stat : 20871 (java) S 20866 20868 20334 0 -1 4202560 1371 0 0 0 85 5 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957886966312 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20872] ppid=20866 vsize=9624976 CPUtime=0.86 cores=0,2,4,6 /proc/20868/task/20872/stat : 20872 (java) S 20866 20868 20334 0 -1 4202560 2572 0 0 0 78 8 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957885913512 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20868/tid=20873] ppid=20866 vsize=9624976 CPUtime=0.92 cores=0,2,4,6 /proc/20868/task/20873/stat : 20873 (java) S 20866 20868 20334 0 -1 4202560 1942 0 0 0 86 6 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957789997352 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20874] ppid=20866 vsize=9624976 CPUtime=0.88 cores=0,2,4,6 /proc/20868/task/20874/stat : 20874 (java) S 20866 20868 20334 0 -1 4202560 2554 0 0 0 82 6 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957788944552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20868/tid=20875] ppid=20866 vsize=9624976 CPUtime=0.99 cores=0,2,4,6 /proc/20868/task/20875/stat : 20875 (java) S 20866 20868 20334 0 -1 4202560 1479 0 0 0 91 8 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957787892776 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20876] ppid=20866 vsize=9624976 CPUtime=0.95 cores=0,2,4,6 /proc/20868/task/20876/stat : 20876 (java) S 20866 20868 20334 0 -1 4202560 1612 0 0 0 89 6 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957786839976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20877] ppid=20866 vsize=9624976 CPUtime=0.96 cores=0,2,4,6 /proc/20868/task/20877/stat : 20877 (java) S 20866 20868 20334 0 -1 4202560 1501 0 0 0 91 5 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957785787176 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20878] ppid=20866 vsize=9624976 CPUtime=0.92 cores=0,2,4,6 /proc/20868/task/20878/stat : 20878 (java) S 20866 20868 20334 0 -1 4202560 1987 0 0 0 85 7 0 0 20 0 19 0 253497962 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957784734376 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20879] ppid=20866 vsize=9624976 CPUtime=19.78 cores=0,2,4,6 /proc/20868/task/20879/stat : 20879 (java) S 20866 20868 20334 0 -1 4202560 370 0 0 0 1976 2 0 0 20 0 19 0 253497963 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957772323304 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20880] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20880/stat : 20880 (java) S 20866 20868 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253497964 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957771269368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20881] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20881/stat : 20881 (java) S 20866 20868 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253497964 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957770216456 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20882] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20882/stat : 20882 (java) S 20866 20868 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253497967 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957769164944 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20868/tid=20883] ppid=20866 vsize=9624976 CPUtime=0.77 cores=0,2,4,6 /proc/20868/task/20883/stat : 20883 (java) S 20866 20868 20334 0 -1 4202560 7192 0 0 0 75 2 0 0 20 0 19 0 253497967 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957768113080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20884] ppid=20866 vsize=9624976 CPUtime=0.63 cores=0,2,4,6 /proc/20868/task/20884/stat : 20884 (java) S 20866 20868 20334 0 -1 4202560 4590 0 0 0 61 2 0 0 20 0 19 0 253497967 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957767060280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20885] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20885/stat : 20885 (java) S 20866 20868 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253497967 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957766007672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20868/tid=20886] ppid=20866 vsize=9624976 CPUtime=0.36 cores=0,2,4,6 /proc/20868/task/20886/stat : 20886 (java) S 20866 20868 20334 0 -1 4202560 102 0 0 0 20 16 0 0 20 0 19 0 253497967 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957764955080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20868/tid=20887] ppid=20866 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/20868/task/20887/stat : 20887 (java) S 20866 20868 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253498246 9855975424 213116 33554432000 1073741824 1073778376 140735705027520 139957763900584 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9624976 Child status: 143 Real time (s): 1793.37 CPU time (s): 1800.61 CPU user time (s): 1799.39 CPU system time (s): 1.22281 CPU usage (%): 100.404 Max. virtual memory (cumulated for all children) (KiB): 9624976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.39 system time used= 1.22281 maximum resident set size= 852588 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31276 page faults= 1 swaps= 0 block input operations= 72 block output operations= 1728 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 41507 involuntary context switches= 28512 runsolver used 5.58015 second user time and 13.414 second system time The end
Begin job on node104 at 2012-05-24 17:34:54 IDJOB=3687595 IDBENCH=1963 IDSOLVER=2269 FILE ID=node104/3687595-1337873693 RUNJOBID= node104-1337871880-20350 PBS_JOBID= 14620100 Free space on /tmp= 71692 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687595-1337873693/watcher-3687595-1337873693 -o /tmp/evaluation-result-3687595-1337873693/solver-3687595-1337873693 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687595-1337873693.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f8f4f876e372c51b5109e7995e83ce5e RANDOM SEED=1647376675 node104.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.266 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 : 5332.53 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.266 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.266 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.266 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.92 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.266 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.266 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.266 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.266 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29792872 kB Buffers: 196880 kB Cached: 1813052 kB SwapCached: 0 kB Active: 669516 kB Inactive: 1651848 kB Active(anon): 313920 kB Inactive(anon): 0 kB Active(file): 355596 kB Inactive(file): 1651848 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 17108 kB Writeback: 0 kB AnonPages: 318340 kB Mapped: 21532 kB Shmem: 200 kB Slab: 621868 kB SReclaimable: 64712 kB SUnreclaim: 557156 kB KernelStack: 1592 kB PageTables: 4732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 814652 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 288768 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= 71696 MiB End job on node104 at 2012-05-24 18:04:49