Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 851 | 1800.02 | 1795.58 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb |
| MD5SUM | 6389567e651775a5f815611581d2023e |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 343 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 474 |
| 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 | 494177 |
| 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 | 494177 |
| 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.06/0.33 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.06/0.33 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.33 c See www.sat4j.org for details. 0.06/0.33 c version PB16.v20160501 0.06/0.33 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.33 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.33 c java.vm.version 19.1-b02 0.06/0.33 c java.vm.vendor Sun Microsystems Inc. 0.06/0.33 c sun.arch.data.model 64 0.06/0.33 c java.version 1.6.0_24 0.06/0.33 c os.name Linux 0.06/0.33 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.33 c os.arch amd64 0.06/0.33 c Free memory 501472288 0.06/0.33 c Max memory 7480803328 0.06/0.33 c Total memory 504102912 0.06/0.33 c Number of processors 8 0.06/0.37 c Pseudo Boolean Optimization by upper bound 0.06/0.37 c --- Begin Solver configuration --- 0.06/0.37 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.06/0.37 c Learn all clauses as in MiniSAT 0.06/0.37 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.37 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.06/0.37 c No reason simplification 0.06/0.37 c Glucose 2.1 dynamic restart strategy 0.06/0.37 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.06/0.37 c timeout=2147483s 0.06/0.37 c DB Simplification allowed=false 0.06/0.37 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.06/0.37 c --- End Solver configuration --- 0.06/0.37 c solving HOME/instance-4085310-1465226821.opb 0.06/0.37 c reading problem ... 0.06/0.37 c objective function found 3.38/3.04 c ... done. Wall clock time 2.675s. 3.38/3.04 c declared #vars 10000 3.38/3.04 c #constraints 656900 3.38/3.04 c constraints type 3.38/3.04 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 3.38/3.04 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 3.38/3.04 c 656900 constraints processed. 3.38/3.04 c objective function length is 10000 literals 3.78/3.30 c SATISFIABLE 3.78/3.30 c OPTIMIZING... 3.78/3.30 c Got one! Elapsed wall clock time (in seconds):2.93 3.78/3.30 o 1129 4.32/3.47 c Got one! Elapsed wall clock time (in seconds):3.107 4.32/3.47 o 1088 4.60/3.58 c Got one! Elapsed wall clock time (in seconds):3.212 4.60/3.58 o 987 4.83/3.63 c Got one! Elapsed wall clock time (in seconds):3.26 4.83/3.63 o 852 6.06/4.71 c cleaning 2621 clauses out of 5289 with flag 14816/5289 7.23/5.90 c cleaning 4310 clauses out of 8669 with flag 33104/11290 8.73/7.30 c cleaning 5653 clauses out of 11359 with flag 54620/18290 10.35/8.92 c cleaning 6826 clauses out of 13705 with flag 76012/26289 13.06/11.62 c cleaning 7935 clauses out of 15880 with flag 102511/35290 16.06/14.62 c cleaning 8969 clauses out of 17944 with flag 129711/45289 19.35/17.96 c cleaning 9978 clauses out of 19975 with flag 161421/56289 23.06/21.66 c cleaning 10999 clauses out of 21997 with flag 196854/68289 27.26/25.86 c cleaning 11996 clauses out of 23998 with flag 236210/81289 31.76/30.38 c cleaning 12992 clauses out of 26002 with flag 278045/95289 36.76/35.17 c cleaning 13995 clauses out of 28011 with flag 324080/110290 41.56/39.91 c cleaning 15000 clauses out of 30015 with flag 371121/126289 46.66/45.06 c cleaning 15995 clauses out of 32015 with flag 421497/143289 52.16/50.58 c cleaning 17004 clauses out of 34020 with flag 478477/161289 58.16/56.53 c cleaning 18008 clauses out of 36018 with flag 534465/180291 64.26/62.69 c cleaning 18995 clauses out of 38009 with flag 596356/200290 70.86/69.24 c cleaning 20002 clauses out of 40017 with flag 660991/221293 77.76/76.14 c cleaning 20998 clauses out of 42011 with flag 728811/243289 84.87/83.24 c cleaning 22002 clauses out of 44013 with flag 802732/266289 86.37/84.72 c Got one! Elapsed wall clock time (in seconds):84.358 86.37/84.72 o 851 88.59/86.96 c cleaning 16051 clauses out of 32102 with flag 16444/276380 91.19/89.59 c cleaning 11025 clauses out of 22049 with flag 38321/282378 94.39/92.77 c cleaning 9007 clauses out of 18026 with flag 62618/289380 97.99/96.35 c cleaning 8500 clauses out of 17017 with flag 90131/297378 102.09/100.46 c cleaning 8752 clauses out of 17517 with flag 120753/306378 106.29/104.69 c cleaning 9379 clauses out of 18765 with flag 151070/316378 111.18/109.58 c cleaning 10179 clauses out of 20386 with flag 187374/327378 116.49/114.81 c cleaning 11102 clauses out of 22207 with flag 229433/339378 122.59/120.91 c cleaning 12051 clauses out of 24106 with flag 275536/352379 129.09/127.40 c cleaning 13028 clauses out of 26056 with flag 320978/366380 135.59/133.98 c cleaning 14011 clauses out of 28027 with flag 369430/381379 143.50/141.85 c cleaning 14999 clauses out of 30015 with flag 426404/397378 151.47/149.50 c cleaning 16004 clauses out of 32016 with flag 487156/414378 159.96/158.06 c cleaning 17006 clauses out of 34015 with flag 549597/432381 168.76/166.84 c cleaning 18001 clauses out of 36006 with flag 615051/451378 177.97/176.06 c cleaning 19001 clauses out of 38005 with flag 686715/471378 188.46/186.51 c cleaning 20002 clauses out of 40004 with flag 760962/492378 199.27/197.31 c cleaning 21002 clauses out of 42003 with flag 839610/514379 210.47/208.53 c cleaning 21981 clauses out of 44001 with flag 924032/537379 221.87/219.98 c cleaning 22991 clauses out of 46019 with flag 1010440/561378 233.97/232.01 c cleaning 24005 clauses out of 48028 with flag 1098165/586378 246.57/244.66 c cleaning 25008 clauses out of 50023 with flag 1190866/612378 260.58/258.68 c cleaning 26007 clauses out of 52015 with flag 1290018/639378 274.27/272.39 c cleaning 26994 clauses out of 54010 with flag 1386254/667380 288.08/286.16 c cleaning 27981 clauses out of 56014 with flag 1484597/696378 302.38/300.44 c cleaning 29016 clauses out of 58033 with flag 1590796/726378 318.07/316.15 c cleaning 29992 clauses out of 60017 with flag 1713753/757378 335.38/333.44 c cleaning 31008 clauses out of 62025 with flag 1832207/789378 351.68/349.76 c cleaning 31995 clauses out of 64017 with flag 1950604/822378 368.88/366.95 c cleaning 33011 clauses out of 66022 with flag 2063729/856378 387.58/385.66 c cleaning 34006 clauses out of 68012 with flag 2193778/891379 406.18/404.28 c cleaning 35003 clauses out of 70006 with flag 2322270/927379 426.55/424.02 c cleaning 35997 clauses out of 72002 with flag 2452206/964378 446.65/444.17 c cleaning 36983 clauses out of 74005 with flag 2601089/1002378 467.85/465.31 c cleaning 38011 clauses out of 76022 with flag 2747334/1041378 488.45/486.00 c cleaning 38989 clauses out of 78011 with flag 2904848/1081378 508.25/505.73 c cleaning 39993 clauses out of 80023 with flag 3045664/1122379 530.45/527.92 c cleaning 41001 clauses out of 82029 with flag 3199455/1164378 551.75/549.23 c cleaning 41999 clauses out of 84028 with flag 3359265/1207378 575.57/573.09 c cleaning 43002 clauses out of 86029 with flag 3525216/1251378 601.76/599.28 c cleaning 44012 clauses out of 88029 with flag 3711725/1296380 626.76/624.25 c cleaning 44982 clauses out of 90016 with flag 3894448/1342379 650.66/648.11 c cleaning 46011 clauses out of 92034 with flag 4074952/1389379 677.75/675.29 c cleaning 47001 clauses out of 94023 with flag 4270456/1437379 704.01/701.00 c cleaning 47991 clauses out of 96022 with flag 4464200/1486379 731.80/728.83 c cleaning 49007 clauses out of 98030 with flag 4662387/1536378 759.70/756.71 c cleaning 50003 clauses out of 100023 with flag 4860855/1587378 787.90/784.90 c cleaning 50972 clauses out of 102020 with flag 5069600/1639378 817.40/814.44 c cleaning 52018 clauses out of 104048 with flag 5297810/1692378 848.20/845.21 c cleaning 53014 clauses out of 106030 with flag 5516100/1746378 881.10/878.16 c cleaning 54000 clauses out of 108016 with flag 5730480/1801378 910.10/907.13 c cleaning 54997 clauses out of 110016 with flag 5937538/1857378 943.00/940.01 c cleaning 56006 clauses out of 112020 with flag 6143662/1914379 977.29/974.31 c cleaning 56998 clauses out of 114014 with flag 6356950/1972379 1012.29/1009.37 c cleaning 57995 clauses out of 116015 with flag 6587588/2031378 1047.29/1044.35 c cleaning 58996 clauses out of 118020 with flag 6818401/2091378 1081.88/1078.99 c cleaning 60013 clauses out of 120025 with flag 7050531/2152379 1117.38/1114.49 c cleaning 61002 clauses out of 122011 with flag 7284360/2214378 1157.37/1154.45 c cleaning 62004 clauses out of 124009 with flag 7530459/2277378 1201.18/1198.27 c cleaning 63001 clauses out of 126006 with flag 7796231/2341379 1243.47/1239.72 c cleaning 63992 clauses out of 128004 with flag 8044987/2406378 1284.46/1280.72 c cleaning 65003 clauses out of 130012 with flag 8297644/2472378 1326.37/1322.68 c cleaning 66003 clauses out of 132009 with flag 8558454/2539378 1366.37/1362.63 c cleaning 67002 clauses out of 134006 with flag 8827655/2607378 1405.96/1402.27 c cleaning 68000 clauses out of 136004 with flag 9107725/2676378 1445.87/1442.15 c cleaning 68981 clauses out of 138004 with flag 9373201/2746378 1482.28/1478.54 c cleaning 70010 clauses out of 140023 with flag 9628681/2817378 1522.27/1518.51 c cleaning 70997 clauses out of 142013 with flag 9893669/2889378 1561.27/1557.52 c cleaning 71993 clauses out of 144016 with flag 10191390/2962378 1602.77/1599.03 c cleaning 72997 clauses out of 146024 with flag 10494606/3036379 1644.16/1640.43 c cleaning 74001 clauses out of 148026 with flag 10792592/3111378 1684.67/1680.95 c cleaning 75006 clauses out of 150025 with flag 11105512/3187378 1727.63/1723.18 c cleaning 76005 clauses out of 152021 with flag 11434414/3264380 1766.83/1762.32 c cleaning 77003 clauses out of 154014 with flag 11719481/3342378 1800.02/1795.50 c starts : 20 1800.02/1795.50 c conflicts : 3406114 1800.02/1795.50 c decisions : 10246758 1800.02/1795.50 c propagations : 952706427 1800.02/1795.50 c inspects : 3899076464 1800.02/1795.50 c shortcuts : 0 1800.02/1795.50 c learnt literals : 0 1800.02/1795.50 c learnt binary clauses : 0 1800.02/1795.50 c learnt ternary clauses : 0 1800.02/1795.50 c learnt constraints : 3406113 1800.02/1795.50 c ignored constraints : 0 1800.02/1795.50 c root simplifications : 0 1800.02/1795.50 c removed literals (reason simplification) : 0 1800.02/1795.50 c reason swapping (by a shorter reason) : 0 1800.02/1795.50 c Calls to reduceDB : 93 1800.02/1795.50 c Number of update (reduction) of LBD : 1214423 1800.02/1795.50 c Imported unit clauses : 0 1800.02/1795.50 c number of reductions to clauses (during analyze) : 0 1800.02/1795.50 c number of learned constraints concerned by reduction : 0 1800.02/1795.50 c number of learning phase by resolution : 0 1800.02/1795.50 c number of learning phase by cutting planes : 0 1800.02/1795.50 c speed (assignments/second) : 531516.9677571608 1800.02/1795.50 c non guided choices 0 1800.02/1795.53 c learnt constraints type 1800.02/1795.53 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 140747 1800.02/1795.53 s SATISFIABLE 1800.02/1795.53 c Found 5 solution(s) 1800.02/1795.54 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.02/1795.55 c objective function=851 1800.02/1795.55 c Total wall clock time (in seconds): 1795.184
OK 851
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4085310-1465226821/watcher-4085310-1465226821 -o /tmp/evaluation-result-4085310-1465226821/solver-4085310-1465226821 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1465226821-9907 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085310-1465226821.opb pid=9929 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: 1.12 1.27 1.62 4/176 9936 /proc/meminfo: memFree=30368008/32872528 swapFree=20720/1686580 [pid=9936] ppid=9929 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/9936/stat : 9936 (java) R 9929 9936 9891 0 -1 4202496 158 0 0 0 0 0 0 0 20 0 1 0 104614236 278528 33 33554432000 1073741824 1073778376 140735974831808 140735974828984 215115459879 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/9936/statm: 68 33 25 9 0 25 0 [startup+0.100137 s] /proc/loadavg: 1.12 1.27 1.62 4/176 9936 /proc/meminfo: memFree=30368008/32872528 swapFree=20720/1686580 [pid=9936] ppid=9929 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/9936/stat : 9936 (java) D 9929 9936 9891 0 -1 4202496 1149 0 16 0 0 0 0 0 20 0 1 0 104614236 23793664 815 33554432000 1073741824 1073778376 140734447164736 140734447154728 139694299215568 0 0 4096 0 18446744071579943789 0 0 17 4 0 0 7 0 0 /proc/9936/statm: 5809 815 608 9 0 128 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23236 [startup+0.200211 s] /proc/loadavg: 1.12 1.27 1.62 4/176 9936 /proc/meminfo: memFree=30368008/32872528 swapFree=20720/1686580 [pid=9936] ppid=9929 vsize=9016616 CPUtime=0.01 cores=0,2,4,6 /proc/9936/stat : 9936 (java) S 9929 9936 9891 0 -1 4202496 2835 0 23 0 0 1 0 0 20 0 10 0 104614236 9233014784 3479 33554432000 1073741824 1073778376 140734447164736 140734447155872 215127982141 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/9936/statm: 2254154 3479 1538 9 0 2244855 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9016616 [startup+0.300206 s] /proc/loadavg: 1.12 1.27 1.62 4/176 9936 /proc/meminfo: memFree=30368008/32872528 swapFree=20720/1686580 [pid=9936] ppid=9929 vsize=9558476 CPUtime=0.06 cores=0,2,4,6 /proc/9936/stat : 9936 (java) S 9929 9936 9891 0 -1 4202496 3282 0 23 0 4 2 0 0 20 0 18 0 104614236 9787879424 4435 33554432000 1073741824 1073778376 140734447164736 140734447155872 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/9936/statm: 2389619 4435 1774 9 0 2380296 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9558476 [startup+0.700175 s] /proc/loadavg: 1.12 1.27 1.62 4/176 9936 /proc/meminfo: memFree=30368008/32872528 swapFree=20720/1686580 [pid=9936] ppid=9929 vsize=9558476 CPUtime=0.8 cores=0,2,4,6 /proc/9936/stat : 9936 (java) S 9929 9936 9891 0 -1 4202496 6640 0 25 0 77 3 0 0 20 0 18 0 104614236 9787879424 18353 33554432000 1073741824 1073778376 140734447164736 140734447155872 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/9936/statm: 2389619 18353 2245 9 0 2380296 0 Current children cumulated CPU time (s) 0.8 Current children cumulated vsize (KiB) 9558476 [startup+1.50085 s] /proc/loadavg: 1.12 1.27 1.62 3/212 9972 /proc/meminfo: memFree=30049056/32872528 swapFree=20720/1686580 [pid=9936] ppid=9929 vsize=9558476 CPUtime=1.67 cores=0,2,4,6 /proc/9936/stat : 9936 (java) S 9929 9936 9891 0 -1 4202496 6814 0 25 0 161 6 0 0 20 0 18 0 104614236 9787879424 47626 33554432000 1073741824 1073778376 140734447164736 140734447155872 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/9936/statm: 2389619 47626 2261 9 0 2380296 0 [pid=9936/tid=9940] ppid=9929 vsize=9558476 CPUtime=1.18 cores=0,2,4,6 /proc/9936/task/9940/stat : 9940 (java) R 9929 9936 9891 0 -1 4202560 2451 0 5 0 115 3 0 0 20 0 18 0 104614246 9787879424 47626 33554432000 1073741824 1073778376 140734447164736 139694294888400 215128007949 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 [pid=9936/tid=9943] ppid=9929 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9943/stat : 9943 (java) S 9929 9936 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104614253 9787879424 47626 33554432000 1073741824 1073778376 140734447164736 139694283959336 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9945] ppid=9929 vsize=9558476 CPUtime=0.02 cores=0,2,4,6 /proc/9936/task/9945/stat : 9945 (java) S 9929 9936 9891 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 104614253 9787879424 47626 33554432000 1073741824 1073778376 140734447164736 139694282906536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9947] ppid=9929 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9947/stat : 9947 (java) S 9929 9936 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104614253 9787879424 47626 33554432000 1073741824 1073778376 140734447164736 139694136048424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9948] ppid=9929 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9948/stat : 9948 (java) S 9929 9936 9891 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 18 0 104614253 9787879424 47626 33554432000 1073741824 1073778376 140734447164736 139694134995624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9936/tid=9950] ppid=9929 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9950/stat : 9950 (java) S 9929 9936 9891 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 104614253 9787879424 47626 33554432000 1073741824 1073778376 140734447164736 139694133942824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9936/tid=9952] ppid=9929 vsize=9558476 CPUtime=0.01 cores=0,2,4,6 /proc/9936/task/9952/stat : 9952 (java) S 9929 9936 9891 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 104614253 9787879424 47626 33554432000 1073741824 1073778376 140734447164736 139694132890024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9955] ppid=9929 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9955/stat : 9955 (java) S 9929 9936 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104614253 9787879424 47626 33554432000 1073741824 1073778376 140734447164736 139694131837224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9956] ppid=9929 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9956/stat : 9956 (java) S 9929 9936 9891 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 104614253 9787879424 47626 33554432000 1073741824 1073778376 140734447164736 139694130784424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9936/tid=9957] ppid=9929 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9957/stat : 9957 (java) S 9929 9936 9891 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 104614257 9787879424 47626 33554432000 1073741824 1073778376 140734447164736 139694118587368 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9959] ppid=9929 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9959/stat : 9959 (java) S 9929 9936 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104614258 9787879424 47626 33554432000 1073741824 1073778376 140734447164736 139694117533432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9961] ppid=9929 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9961/stat : 9961 (java) S 9929 9936 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104614258 9787879424 47626 33554432000 1073741824 1073778376 140734447164736 139694116480520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9963] ppid=9929 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9963/stat : 9963 (java) S 9929 9936 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104614264 9787879424 47626 33554432000 1073741824 1073778376 140734447164736 139694115429008 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9965] ppid=9929 vsize=9558476 CPUtime=0.17 cores=0,2,4,6 /proc/9936/task/9965/stat : 9965 (java) S 9929 9936 9891 0 -1 4202560 1187 0 1 0 17 0 0 0 20 0 18 0 104614264 9787879424 47626 33554432000 1073741824 1073778376 140734447164736 139694114376120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9967] ppid=9929 vsize=9558476 CPUtime=0.17 cores=0,2,4,6 /proc/9936/task/9967/stat : 9967 (java) S 9929 9936 9891 0 -1 4202560 1810 0 1 0 17 0 0 0 20 0 18 0 104614264 9787879424 47626 33554432000 1073741824 1073778376 140734447164736 139694113323320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9969] ppid=9929 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9969/stat : 9969 (java) S 9929 9936 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104614264 9787879424 47626 33554432000 1073741824 1073778376 140734447164736 139694112270712 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9971] ppid=9929 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9971/stat : 9971 (java) S 9929 9936 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104614264 9787879424 47626 33554432000 1073741824 1073778376 140734447164736 139694111218120 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.67 Current children cumulated vsize (KiB) 9558476 [startup+3.10073 s] /proc/loadavg: 1.27 1.30 1.63 4/212 9972 /proc/meminfo: memFree=29743720/32872528 swapFree=20720/1686580 [pid=9936] ppid=9929 vsize=9625040 CPUtime=3.55 cores=0,2,4,6 /proc/9936/stat : 9936 (java) S 9929 9936 9891 0 -1 4202496 7273 0 25 0 341 14 0 0 20 0 19 0 104614236 9856040960 97010 33554432000 1073741824 1073778376 140734447164736 140734447155872 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/9936/statm: 2406260 97010 2274 9 0 2396937 0 [pid=9936/tid=9940] ppid=9929 vsize=9625040 CPUtime=2.69 cores=0,2,4,6 /proc/9936/task/9940/stat : 9940 (java) R 9929 9936 9891 0 -1 4202560 2537 0 5 0 263 6 0 0 20 0 19 0 104614246 9856040960 97010 33554432000 1073741824 1073778376 140734447164736 139694294896824 139694163689354 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 [pid=9936/tid=9943] ppid=9929 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/9936/task/9943/stat : 9943 (java) S 9929 9936 9891 0 -1 4202560 35 0 0 0 3 1 0 0 20 0 19 0 104614253 9856040960 97010 33554432000 1073741824 1073778376 140734447164736 139694283959336 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9945] ppid=9929 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/9936/task/9945/stat : 9945 (java) S 9929 9936 9891 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 19 0 104614253 9856040960 97010 33554432000 1073741824 1073778376 140734447164736 139694282906536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9947] ppid=9929 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/9936/task/9947/stat : 9947 (java) S 9929 9936 9891 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 104614253 9856040960 97010 33554432000 1073741824 1073778376 140734447164736 139694136048424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9936/tid=9948] ppid=9929 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/9936/task/9948/stat : 9948 (java) S 9929 9936 9891 0 -1 4202560 39 0 0 0 4 0 0 0 20 0 19 0 104614253 9856040960 97010 33554432000 1073741824 1073778376 140734447164736 139694134995624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9950] ppid=9929 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/9936/task/9950/stat : 9950 (java) S 9929 9936 9891 0 -1 4202560 29 0 0 0 4 0 0 0 20 0 19 0 104614253 9856040960 97010 33554432000 1073741824 1073778376 140734447164736 139694133942824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9936/tid=9952] ppid=9929 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/9936/task/9952/stat : 9952 (java) S 9929 9936 9891 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 19 0 104614253 9856040960 97010 33554432000 1073741824 1073778376 140734447164736 139694132890024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9955] ppid=9929 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/9936/task/9955/stat : 9955 (java) S 9929 9936 9891 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 104614253 9856040960 97010 33554432000 1073741824 1073778376 140734447164736 139694131837224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9936/tid=9956] ppid=9929 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/9936/task/9956/stat : 9956 (java) S 9929 9936 9891 0 -1 4202560 28 0 0 0 3 0 0 0 20 0 19 0 104614253 9856040960 97010 33554432000 1073741824 1073778376 140734447164736 139694130784424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9936/tid=9957] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9957/stat : 9957 (java) S 9929 9936 9891 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 19 0 104614257 9856040960 97010 33554432000 1073741824 1073778376 140734447164736 139694118587368 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9959] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9959/stat : 9959 (java) S 9929 9936 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104614258 9856040960 97010 33554432000 1073741824 1073778376 140734447164736 139694117533432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9961] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9961/stat : 9961 (java) S 9929 9936 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104614258 9856040960 97010 33554432000 1073741824 1073778376 140734447164736 139694116480520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9963] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9963/stat : 9963 (java) S 9929 9936 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 97010 33554432000 1073741824 1073778376 140734447164736 139694115429008 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9965] ppid=9929 vsize=9625040 CPUtime=0.2 cores=0,2,4,6 /proc/9936/task/9965/stat : 9965 (java) S 9929 9936 9891 0 -1 4202560 1196 0 1 0 20 0 0 0 20 0 19 0 104614264 9856040960 97010 33554432000 1073741824 1073778376 140734447164736 139694114376120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9967] ppid=9929 vsize=9625040 CPUtime=0.21 cores=0,2,4,6 /proc/9936/task/9967/stat : 9967 (java) S 9929 9936 9891 0 -1 4202560 1903 0 1 0 21 0 0 0 20 0 19 0 104614264 9856040960 97010 33554432000 1073741824 1073778376 140734447164736 139694113323320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9969] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9969/stat : 9969 (java) S 9929 9936 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 97010 33554432000 1073741824 1073778376 140734447164736 139694112270712 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9971] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9971/stat : 9971 (java) S 9929 9936 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 97010 33554432000 1073741824 1073778376 140734447164736 139694111218120 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.55 Current children cumulated vsize (KiB) 9625040 [startup+6.30079 s] /proc/loadavg: 1.27 1.30 1.63 4/215 9975 /proc/meminfo: memFree=29503040/32872528 swapFree=20720/1686580 [pid=9936] ppid=9929 vsize=9625040 CPUtime=7.73 cores=0,2,4,6 /proc/9936/stat : 9936 (java) S 9929 9936 9891 0 -1 4202496 15852 0 25 0 757 16 0 0 20 0 19 0 104614236 9856040960 111716 33554432000 1073741824 1073778376 140734447164736 140734447155872 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/9936/statm: 2406260 111716 2284 9 0 2396937 0 [pid=9936/tid=9940] ppid=9929 vsize=9625040 CPUtime=5.88 cores=0,2,4,6 /proc/9936/task/9940/stat : 9940 (java) R 9929 9936 9891 0 -1 4202560 2569 0 5 0 581 7 0 0 20 0 19 0 104614246 9856040960 111716 33554432000 1073741824 1073778376 140734447164736 139694294895112 139694164663245 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 [pid=9936/tid=9943] ppid=9929 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/9936/task/9943/stat : 9943 (java) S 9929 9936 9891 0 -1 4202560 35 0 0 0 3 1 0 0 20 0 19 0 104614253 9856040960 111716 33554432000 1073741824 1073778376 140734447164736 139694283959336 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9945] ppid=9929 vsize=9625040 CPUtime=0.05 cores=0,2,4,6 /proc/9936/task/9945/stat : 9945 (java) S 9929 9936 9891 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 19 0 104614253 9856040960 111716 33554432000 1073741824 1073778376 140734447164736 139694282906536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9947] ppid=9929 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/9936/task/9947/stat : 9947 (java) S 9929 9936 9891 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 104614253 9856040960 111716 33554432000 1073741824 1073778376 140734447164736 139694136048424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9936/tid=9948] ppid=9929 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/9936/task/9948/stat : 9948 (java) S 9929 9936 9891 0 -1 4202560 39 0 0 0 4 0 0 0 20 0 19 0 104614253 9856040960 111716 33554432000 1073741824 1073778376 140734447164736 139694134995624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9950] ppid=9929 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/9936/task/9950/stat : 9950 (java) S 9929 9936 9891 0 -1 4202560 29 0 0 0 4 0 0 0 20 0 19 0 104614253 9856040960 111716 33554432000 1073741824 1073778376 140734447164736 139694133942824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9936/tid=9952] ppid=9929 vsize=9625040 CPUtime=0.04 cores=0,2,4,6 /proc/9936/task/9952/stat : 9952 (java) S 9929 9936 9891 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 19 0 104614253 9856040960 111716 33554432000 1073741824 1073778376 140734447164736 139694132890024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9955] ppid=9929 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/9936/task/9955/stat : 9955 (java) S 9929 9936 9891 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 104614253 9856040960 111716 33554432000 1073741824 1073778376 140734447164736 139694131837224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9936/tid=9956] ppid=9929 vsize=9625040 CPUtime=0.03 cores=0,2,4,6 /proc/9936/task/9956/stat : 9956 (java) S 9929 9936 9891 0 -1 4202560 28 0 0 0 3 0 0 0 20 0 19 0 104614253 9856040960 111716 33554432000 1073741824 1073778376 140734447164736 139694130784424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9936/tid=9957] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9957/stat : 9957 (java) S 9929 9936 9891 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 104614257 9856040960 111716 33554432000 1073741824 1073778376 140734447164736 139694118587368 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9959] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9959/stat : 9959 (java) S 9929 9936 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104614258 9856040960 111716 33554432000 1073741824 1073778376 140734447164736 139694117533432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9961] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9961/stat : 9961 (java) S 9929 9936 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104614258 9856040960 111716 33554432000 1073741824 1073778376 140734447164736 139694116480520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9963] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9963/stat : 9963 (java) S 9929 9936 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 111716 33554432000 1073741824 1073778376 140734447164736 139694115429008 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9965] ppid=9929 vsize=9625040 CPUtime=0.69 cores=0,2,4,6 /proc/9936/task/9965/stat : 9965 (java) S 9929 9936 9891 0 -1 4202560 5855 0 1 0 69 0 0 0 20 0 19 0 104614264 9856040960 111716 33554432000 1073741824 1073778376 140734447164736 139694114376120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9967] ppid=9929 vsize=9625040 CPUtime=0.7 cores=0,2,4,6 /proc/9936/task/9967/stat : 9967 (java) S 9929 9936 9891 0 -1 4202560 5790 0 1 0 70 0 0 0 20 0 19 0 104614264 9856040960 111716 33554432000 1073741824 1073778376 140734447164736 139694113323320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9969] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9969/stat : 9969 (java) S 9929 9936 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 111716 33554432000 1073741824 1073778376 140734447164736 139694112270712 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9971] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9971/stat : 9971 (java) S 9929 9936 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 111716 33554432000 1073741824 1073778376 140734447164736 139694111218120 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9974] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9974/stat : 9974 (java) S 9929 9936 9891 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104614544 9856040960 111716 33554432000 1073741824 1073778376 140734447164736 139694110164648 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 7.73 Current children cumulated vsize (KiB) 9625040 [startup+12.7008 s] /proc/loadavg: 1.38 1.32 1.63 4/215 9975 /proc/meminfo: memFree=29431988/32872528 swapFree=20720/1686580 [pid=9936] ppid=9929 vsize=9625040 CPUtime=14.16 cores=0,2,4,6 ################ # More data... # ################ [pid=9936/tid=9974] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9974/stat : 9974 (java) S 9929 9936 9891 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104614544 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694110164648 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1726.83 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.22 2.20 2.10 5/215 10018 /proc/meminfo: memFree=23844848/32872528 swapFree=20720/1686580 [pid=9936] ppid=9929 vsize=9625040 CPUtime=1786.82 cores=0,2,4,6 /proc/9936/stat : 9936 (java) S 9929 9936 9891 0 -1 4202496 73264 0 25 0 178450 232 0 0 20 0 19 0 104614236 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 140734447155872 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/9936/statm: 2406260 840736 2293 9 0 2396937 0 [pid=9936/tid=9940] ppid=9929 vsize=9625040 CPUtime=1775.59 cores=0,2,4,6 /proc/9936/task/9940/stat : 9940 (java) R 9929 9936 9891 0 -1 4202560 3869 0 5 0 177505 54 0 0 20 0 19 0 104614246 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694294888128 139694164311273 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 [pid=9936/tid=9943] ppid=9929 vsize=9625040 CPUtime=0.63 cores=0,2,4,6 /proc/9936/task/9943/stat : 9943 (java) S 9929 9936 9891 0 -1 4202560 5121 0 0 0 35 28 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694283959336 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9936/tid=9945] ppid=9929 vsize=9625040 CPUtime=0.44 cores=0,2,4,6 /proc/9936/task/9945/stat : 9945 (java) S 9929 9936 9891 0 -1 4202560 6784 0 0 0 25 19 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694282906536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9947] ppid=9929 vsize=9625040 CPUtime=0.45 cores=0,2,4,6 /proc/9936/task/9947/stat : 9947 (java) S 9929 9936 9891 0 -1 4202560 7017 0 0 0 26 19 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694136048424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9936/tid=9948] ppid=9929 vsize=9625040 CPUtime=0.54 cores=0,2,4,6 /proc/9936/task/9948/stat : 9948 (java) S 9929 9936 9891 0 -1 4202560 8192 0 0 0 33 21 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694134995624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9950] ppid=9929 vsize=9625040 CPUtime=0.71 cores=0,2,4,6 /proc/9936/task/9950/stat : 9950 (java) S 9929 9936 9891 0 -1 4202560 7804 0 0 0 41 30 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694133942824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9936/tid=9952] ppid=9929 vsize=9625040 CPUtime=0.62 cores=0,2,4,6 /proc/9936/task/9952/stat : 9952 (java) S 9929 9936 9891 0 -1 4202560 8438 0 0 0 36 26 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694132890024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9955] ppid=9929 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/9936/task/9955/stat : 9955 (java) S 9929 9936 9891 0 -1 4202560 4833 0 0 0 30 21 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694131837224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9956] ppid=9929 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/9936/task/9956/stat : 9956 (java) S 9929 9936 9891 0 -1 4202560 6820 0 0 0 32 24 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694130784424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9936/tid=9957] ppid=9929 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/9936/task/9957/stat : 9957 (java) S 9929 9936 9891 0 -1 4202560 1386 0 0 0 49 2 0 0 20 0 19 0 104614257 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694118587368 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9959] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9959/stat : 9959 (java) S 9929 9936 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104614258 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694117533432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9961] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9961/stat : 9961 (java) S 9929 9936 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104614258 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694116480520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9963] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9963/stat : 9963 (java) S 9929 9936 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694115429008 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9965] ppid=9929 vsize=9625040 CPUtime=0.71 cores=0,2,4,6 /proc/9936/task/9965/stat : 9965 (java) S 9929 9936 9891 0 -1 4202560 5855 0 1 0 71 0 0 0 20 0 19 0 104614264 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694114376120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9967] ppid=9929 vsize=9625040 CPUtime=0.75 cores=0,2,4,6 /proc/9936/task/9967/stat : 9967 (java) S 9929 9936 9891 0 -1 4202560 5796 0 1 0 74 1 0 0 20 0 19 0 104614264 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694113323320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9969] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9969/stat : 9969 (java) S 9929 9936 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694112270712 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9971] ppid=9929 vsize=9625040 CPUtime=0.36 cores=0,2,4,6 /proc/9936/task/9971/stat : 9971 (java) S 9929 9936 9891 0 -1 4202560 103 0 0 0 17 19 0 0 20 0 19 0 104614264 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694111218120 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9974] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9974/stat : 9974 (java) S 9929 9936 9891 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104614544 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694110164648 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1786.82 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.5 s] /proc/loadavg: 2.25 2.20 2.10 4/215 10018 /proc/meminfo: memFree=23844852/32872528 swapFree=20720/1686580 [pid=9936] ppid=9929 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6 /proc/9936/stat : 9936 (java) S 9929 9936 9891 0 -1 4202496 73266 0 25 0 179770 232 0 0 20 0 19 0 104614236 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 140734447155872 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/9936/statm: 2406260 840736 2293 9 0 2396937 0 [pid=9936/tid=9940] ppid=9929 vsize=9625040 CPUtime=1788.76 cores=0,2,4,6 /proc/9936/task/9940/stat : 9940 (java) R 9929 9936 9891 0 -1 4202560 3869 0 5 0 178821 55 0 0 20 0 19 0 104614246 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694294888128 139694164663184 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 [pid=9936/tid=9943] ppid=9929 vsize=9625040 CPUtime=0.63 cores=0,2,4,6 /proc/9936/task/9943/stat : 9943 (java) S 9929 9936 9891 0 -1 4202560 5121 0 0 0 35 28 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694283959336 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9936/tid=9945] ppid=9929 vsize=9625040 CPUtime=0.44 cores=0,2,4,6 /proc/9936/task/9945/stat : 9945 (java) S 9929 9936 9891 0 -1 4202560 6784 0 0 0 25 19 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694282906536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9947] ppid=9929 vsize=9625040 CPUtime=0.45 cores=0,2,4,6 /proc/9936/task/9947/stat : 9947 (java) S 9929 9936 9891 0 -1 4202560 7017 0 0 0 26 19 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694136048424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9936/tid=9948] ppid=9929 vsize=9625040 CPUtime=0.54 cores=0,2,4,6 /proc/9936/task/9948/stat : 9948 (java) S 9929 9936 9891 0 -1 4202560 8192 0 0 0 33 21 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694134995624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9950] ppid=9929 vsize=9625040 CPUtime=0.71 cores=0,2,4,6 /proc/9936/task/9950/stat : 9950 (java) S 9929 9936 9891 0 -1 4202560 7804 0 0 0 41 30 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694133942824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9936/tid=9952] ppid=9929 vsize=9625040 CPUtime=0.62 cores=0,2,4,6 /proc/9936/task/9952/stat : 9952 (java) S 9929 9936 9891 0 -1 4202560 8438 0 0 0 36 26 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694132890024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9955] ppid=9929 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/9936/task/9955/stat : 9955 (java) S 9929 9936 9891 0 -1 4202560 4833 0 0 0 30 21 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694131837224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9956] ppid=9929 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/9936/task/9956/stat : 9956 (java) S 9929 9936 9891 0 -1 4202560 6820 0 0 0 32 24 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694130784424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9936/tid=9957] ppid=9929 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/9936/task/9957/stat : 9957 (java) S 9929 9936 9891 0 -1 4202560 1386 0 0 0 49 2 0 0 20 0 19 0 104614257 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694118587368 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9959] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9959/stat : 9959 (java) S 9929 9936 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104614258 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694117533432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9961] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9961/stat : 9961 (java) S 9929 9936 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104614258 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694116480520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9963] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9963/stat : 9963 (java) S 9929 9936 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694115429008 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9965] ppid=9929 vsize=9625040 CPUtime=0.71 cores=0,2,4,6 /proc/9936/task/9965/stat : 9965 (java) S 9929 9936 9891 0 -1 4202560 5855 0 1 0 71 0 0 0 20 0 19 0 104614264 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694114376120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9967] ppid=9929 vsize=9625040 CPUtime=0.75 cores=0,2,4,6 /proc/9936/task/9967/stat : 9967 (java) S 9929 9936 9891 0 -1 4202560 5796 0 1 0 74 1 0 0 20 0 19 0 104614264 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694113323320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9969] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9969/stat : 9969 (java) S 9929 9936 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694112270712 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9971] ppid=9929 vsize=9625040 CPUtime=0.36 cores=0,2,4,6 /proc/9936/task/9971/stat : 9971 (java) S 9929 9936 9891 0 -1 4202560 105 0 0 0 17 19 0 0 20 0 19 0 104614264 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694111218120 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9974] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9974/stat : 9974 (java) S 9929 9936 9891 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104614544 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694110164648 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 9936 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1795.5 s] /proc/loadavg: 2.25 2.20 2.10 4/215 10018 /proc/meminfo: memFree=23844852/32872528 swapFree=20720/1686580 [pid=9936] ppid=9929 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6 /proc/9936/stat : 9936 (java) S 9929 9936 9891 0 -1 4202496 73266 0 25 0 179770 232 0 0 20 0 19 0 104614236 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 140734447155872 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0 /proc/9936/statm: 2406260 840736 2293 9 0 2396937 0 [pid=9936/tid=9940] ppid=9929 vsize=9625040 CPUtime=1788.76 cores=0,2,4,6 /proc/9936/task/9940/stat : 9940 (java) R 9929 9936 9891 0 -1 4202560 3869 0 5 0 178821 55 0 0 20 0 19 0 104614246 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694294888128 139694164663184 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 [pid=9936/tid=9943] ppid=9929 vsize=9625040 CPUtime=0.63 cores=0,2,4,6 /proc/9936/task/9943/stat : 9943 (java) S 9929 9936 9891 0 -1 4202560 5121 0 0 0 35 28 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694283959336 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9936/tid=9945] ppid=9929 vsize=9625040 CPUtime=0.44 cores=0,2,4,6 /proc/9936/task/9945/stat : 9945 (java) S 9929 9936 9891 0 -1 4202560 6784 0 0 0 25 19 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694282906536 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9947] ppid=9929 vsize=9625040 CPUtime=0.45 cores=0,2,4,6 /proc/9936/task/9947/stat : 9947 (java) S 9929 9936 9891 0 -1 4202560 7017 0 0 0 26 19 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694136048424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9936/tid=9948] ppid=9929 vsize=9625040 CPUtime=0.54 cores=0,2,4,6 /proc/9936/task/9948/stat : 9948 (java) S 9929 9936 9891 0 -1 4202560 8192 0 0 0 33 21 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694134995624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9950] ppid=9929 vsize=9625040 CPUtime=0.71 cores=0,2,4,6 /proc/9936/task/9950/stat : 9950 (java) S 9929 9936 9891 0 -1 4202560 7804 0 0 0 41 30 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694133942824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9936/tid=9952] ppid=9929 vsize=9625040 CPUtime=0.62 cores=0,2,4,6 /proc/9936/task/9952/stat : 9952 (java) S 9929 9936 9891 0 -1 4202560 8438 0 0 0 36 26 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694132890024 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9955] ppid=9929 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/9936/task/9955/stat : 9955 (java) S 9929 9936 9891 0 -1 4202560 4833 0 0 0 30 21 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694131837224 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9956] ppid=9929 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/9936/task/9956/stat : 9956 (java) S 9929 9936 9891 0 -1 4202560 6820 0 0 0 32 24 0 0 20 0 19 0 104614253 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694130784424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9936/tid=9957] ppid=9929 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/9936/task/9957/stat : 9957 (java) S 9929 9936 9891 0 -1 4202560 1386 0 0 0 49 2 0 0 20 0 19 0 104614257 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694118587368 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9959] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9959/stat : 9959 (java) S 9929 9936 9891 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104614258 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694117533432 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9961] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9961/stat : 9961 (java) S 9929 9936 9891 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104614258 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694116480520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9963] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9963/stat : 9963 (java) S 9929 9936 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694115429008 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9965] ppid=9929 vsize=9625040 CPUtime=0.71 cores=0,2,4,6 /proc/9936/task/9965/stat : 9965 (java) S 9929 9936 9891 0 -1 4202560 5855 0 1 0 71 0 0 0 20 0 19 0 104614264 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694114376120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9936/tid=9967] ppid=9929 vsize=9625040 CPUtime=0.75 cores=0,2,4,6 /proc/9936/task/9967/stat : 9967 (java) S 9929 9936 9891 0 -1 4202560 5796 0 1 0 74 1 0 0 20 0 19 0 104614264 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694113323320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9969] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9969/stat : 9969 (java) S 9929 9936 9891 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104614264 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694112270712 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9971] ppid=9929 vsize=9625040 CPUtime=0.36 cores=0,2,4,6 /proc/9936/task/9971/stat : 9971 (java) S 9929 9936 9891 0 -1 4202560 105 0 0 0 17 19 0 0 20 0 19 0 104614264 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694111218120 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9936/tid=9974] ppid=9929 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/9936/task/9974/stat : 9974 (java) S 9929 9936 9891 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104614544 9856040960 840736 33554432000 1073741824 1073778376 140734447164736 139694110164648 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9936 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=158398 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=805573 # CPU time returned by wait4() is 1795.96 # while last known CPU time is 1800.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1795.58 CPU time (s): 1800.02 CPU user time (s): 1797.7 CPU system time (s): 2.32 CPU usage (%): 100.247 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.16 system time used= 2.80557 maximum resident set size= 3363076 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73306 page faults= 25 swaps= 0 block input operations= 13616 block output operations= 1048 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40539 involuntary context switches= 7181 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.1635 second user time and 13.6529 second system time The end
Begin job on node135 at 2016-06-06 17:27:02 IDJOB=4085310 IDBENCH=1975 IDSOLVER=2546 FILE ID=node135/4085310-1465226821 RUNJOBID= node135-1465226821-9907 PBS_JOBID= 19843238 Free space on /tmp= 71704 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085310-1465226821/watcher-4085310-1465226821 -o /tmp/evaluation-result-4085310-1465226821/solver-4085310-1465226821 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1465226821-9907 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085310-1465226821.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6389567e651775a5f815611581d2023e RANDOM SEED=998772925 node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.05 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 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 : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.026 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30370776 kB Buffers: 14812 kB Cached: 96172 kB SwapCached: 1828 kB Active: 78988 kB Inactive: 34408 kB Active(anon): 3660 kB Inactive(anon): 1352 kB Active(file): 75328 kB Inactive(file): 33056 kB Unevictable: 1686580 kB Mlocked: 20720 kB SwapTotal: 67108856 kB SwapFree: 67098248 kB Dirty: 34956 kB Writeback: 0 kB AnonPages: 1688668 kB Mapped: 6940 kB Shmem: 0 kB Slab: 567344 kB SReclaimable: 10984 kB SUnreclaim: 556360 kB KernelStack: 1408 kB PageTables: 7104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1783700 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 1669120 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71700 MiB End job on node135 at 2016-06-06 17:56:57