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) | 757 | 1800.72 | 1795.46 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb |
| MD5SUM | 35ffbede57b8807d38d913370f4c4486 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 381 |
| Best CPU time to get the best result obtained on this benchmark | 1800.13 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 419 |
| 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 | 495618 |
| 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 | 495618 |
| 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.08/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.08/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.10 c See www.sat4j.org for details. 0.08/0.10 c version PB16.v20160501 0.08/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.10 c java.vm.version 19.1-b02 0.08/0.10 c java.vm.vendor Sun Microsystems Inc. 0.08/0.10 c sun.arch.data.model 64 0.08/0.10 c java.version 1.6.0_24 0.08/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 501472288 0.08/0.10 c Max memory 7480803328 0.08/0.10 c Total memory 504102912 0.08/0.10 c Number of processors 8 0.08/0.13 c Pseudo Boolean Optimization by upper bound 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.13 c No reason simplification 0.08/0.13 c Glucose 2.1 dynamic restart strategy 0.08/0.13 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.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c solving HOME/instance-4085304-1465225740.opb 0.08/0.13 c reading problem ... 0.08/0.13 c objective function found 3.36/2.87 c ... done. Wall clock time 2.743s. 3.36/2.87 c declared #vars 10000 3.36/2.87 c #constraints 656900 3.36/2.87 c constraints type 3.36/2.87 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 3.36/2.87 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 3.36/2.87 c 656900 constraints processed. 3.36/2.87 c objective function length is 10000 literals 3.92/3.13 c SATISFIABLE 3.92/3.13 c OPTIMIZING... 3.92/3.13 c Got one! Elapsed wall clock time (in seconds):2.999 3.92/3.13 o 1030 4.44/3.32 c Got one! Elapsed wall clock time (in seconds):3.188 4.44/3.32 o 757 6.27/4.95 c cleaning 2558 clauses out of 5139 with flag 13896/5139 8.45/7.01 c cleaning 4283 clauses out of 8581 with flag 30987/11139 10.75/9.35 c cleaning 5640 clauses out of 11298 with flag 50370/18139 13.76/12.34 c cleaning 6811 clauses out of 13658 with flag 74008/26139 17.00/15.58 c cleaning 7916 clauses out of 15849 with flag 101587/35141 20.49/19.06 c cleaning 8953 clauses out of 17931 with flag 132106/45139 24.09/22.62 c cleaning 9973 clauses out of 19979 with flag 164805/56140 28.19/26.79 c cleaning 10995 clauses out of 22005 with flag 201594/68139 32.69/31.22 c cleaning 11993 clauses out of 24011 with flag 239366/81140 37.79/36.12 c cleaning 12996 clauses out of 26017 with flag 283408/95139 42.89/41.21 c cleaning 13998 clauses out of 28021 with flag 328340/110139 48.09/46.46 c cleaning 14998 clauses out of 30023 with flag 378745/126139 53.89/52.26 c cleaning 15995 clauses out of 32025 with flag 429928/143139 59.99/58.37 c cleaning 17001 clauses out of 34030 with flag 486561/161139 66.39/64.76 c cleaning 17993 clauses out of 36029 with flag 543452/180139 73.59/71.90 c cleaning 19005 clauses out of 38036 with flag 605248/200139 80.89/79.25 c cleaning 20004 clauses out of 40032 with flag 671121/221140 88.90/87.21 c cleaning 21003 clauses out of 42028 with flag 739371/243140 97.50/95.82 c cleaning 21997 clauses out of 44025 with flag 812671/266140 106.40/104.78 c cleaning 22990 clauses out of 46028 with flag 891280/290140 116.00/114.31 c cleaning 24012 clauses out of 48037 with flag 971863/315139 125.60/123.97 c cleaning 24996 clauses out of 50025 with flag 1055785/341139 135.60/133.94 c cleaning 26004 clauses out of 52029 with flag 1145209/368139 146.39/144.72 c cleaning 26997 clauses out of 54025 with flag 1236004/396139 157.60/155.94 c cleaning 27991 clauses out of 56028 with flag 1333843/425139 169.50/167.59 c cleaning 29006 clauses out of 58037 with flag 1438511/455139 182.00/180.08 c cleaning 30000 clauses out of 60031 with flag 1553196/486139 194.40/192.43 c cleaning 30997 clauses out of 62032 with flag 1661104/518140 206.71/204.75 c cleaning 32001 clauses out of 64034 with flag 1774000/551139 219.91/217.98 c cleaning 33004 clauses out of 66033 with flag 1890749/585139 233.91/231.92 c cleaning 34007 clauses out of 68033 with flag 2010064/620143 248.11/246.17 c cleaning 34992 clauses out of 70022 with flag 2134993/656139 262.91/260.95 c cleaning 35986 clauses out of 72031 with flag 2261894/693140 278.71/276.71 c cleaning 36995 clauses out of 74044 with flag 2392299/731139 294.31/292.32 c cleaning 38015 clauses out of 76049 with flag 2531037/770139 310.81/308.86 c cleaning 39007 clauses out of 78036 with flag 2678906/810141 328.11/326.13 c cleaning 40008 clauses out of 80027 with flag 2833571/851139 344.61/342.67 c cleaning 41004 clauses out of 82019 with flag 2975735/893139 361.92/359.99 c cleaning 41993 clauses out of 84016 with flag 3123927/936140 379.72/377.72 c cleaning 42990 clauses out of 86022 with flag 3275218/980139 398.92/396.92 c cleaning 44000 clauses out of 88034 with flag 3435027/1025141 418.82/416.31 c cleaning 44994 clauses out of 90034 with flag 3598039/1071141 438.03/435.55 c cleaning 46002 clauses out of 92041 with flag 3768001/1118142 457.03/454.57 c cleaning 47002 clauses out of 94036 with flag 3936340/1166139 475.83/473.35 c cleaning 48002 clauses out of 96035 with flag 4104460/1215140 494.94/492.46 c cleaning 48997 clauses out of 98032 with flag 4281459/1265139 515.74/513.23 c cleaning 50006 clauses out of 100036 with flag 4462199/1316140 537.34/534.85 c cleaning 51001 clauses out of 102029 with flag 4647372/1368139 560.04/557.54 c cleaning 52002 clauses out of 104028 with flag 4836592/1421139 581.74/579.25 c cleaning 52998 clauses out of 106027 with flag 5025302/1475140 603.94/601.48 c cleaning 53988 clauses out of 108028 with flag 5217949/1530139 626.25/623.76 c cleaning 55004 clauses out of 110040 with flag 5412895/1586139 650.05/647.52 c cleaning 55993 clauses out of 112036 with flag 5616333/1643139 674.73/671.63 c cleaning 57005 clauses out of 114043 with flag 5828307/1701139 699.23/696.16 c cleaning 57999 clauses out of 116038 with flag 6045675/1760139 724.13/721.07 c cleaning 59006 clauses out of 118041 with flag 6261105/1820141 750.15/747.05 c cleaning 59999 clauses out of 120033 with flag 6490851/1881139 776.24/773.13 c cleaning 61010 clauses out of 122037 with flag 6706768/1943142 801.54/798.41 c cleaning 61992 clauses out of 124024 with flag 6923245/2006139 826.14/823.06 c cleaning 63002 clauses out of 126033 with flag 7141447/2070140 852.26/849.17 c cleaning 63993 clauses out of 128030 with flag 7373974/2135139 878.77/875.63 c cleaning 65004 clauses out of 130038 with flag 7601569/2201140 907.77/904.66 c cleaning 65999 clauses out of 132033 with flag 7837045/2268139 938.18/935.00 c cleaning 66995 clauses out of 134035 with flag 8080150/2336140 968.48/965.34 c cleaning 68003 clauses out of 136039 with flag 8334175/2405139 999.17/996.08 c cleaning 68988 clauses out of 138036 with flag 8597114/2475139 1030.37/1027.25 c cleaning 69997 clauses out of 140048 with flag 8876917/2546139 1061.39/1058.30 c cleaning 71003 clauses out of 142051 with flag 9149778/2618139 1095.18/1092.03 c cleaning 72014 clauses out of 144049 with flag 9430754/2691140 1127.38/1124.23 c cleaning 73000 clauses out of 146034 with flag 9710986/2765139 1162.53/1158.79 c cleaning 74003 clauses out of 148034 with flag 9992726/2840139 1197.13/1193.36 c cleaning 74993 clauses out of 150031 with flag 10289909/2916139 1231.81/1228.07 c cleaning 76008 clauses out of 152038 with flag 10579852/2993139 1269.20/1265.49 c cleaning 76993 clauses out of 154030 with flag 10877720/3071139 1307.19/1303.45 c cleaning 77993 clauses out of 156038 with flag 11179408/3150140 1346.89/1343.19 c cleaning 78998 clauses out of 158044 with flag 11488843/3230139 1386.98/1383.25 c cleaning 80000 clauses out of 160047 with flag 11808274/3311140 1425.38/1421.63 c cleaning 80998 clauses out of 162046 with flag 12121780/3393139 1463.48/1459.75 c cleaning 81999 clauses out of 164049 with flag 12435215/3476140 1500.89/1497.15 c cleaning 82999 clauses out of 166050 with flag 12757792/3560140 1539.98/1536.23 c cleaning 83996 clauses out of 168050 with flag 13081766/3645139 1580.29/1576.57 c cleaning 85009 clauses out of 170055 with flag 13416010/3731140 1620.29/1616.55 c cleaning 86004 clauses out of 172045 with flag 13764594/3818139 1661.64/1657.08 c cleaning 86996 clauses out of 174043 with flag 14102604/3906141 1702.84/1698.26 c cleaning 88002 clauses out of 176046 with flag 14457782/3995140 1744.25/1739.65 c cleaning 88994 clauses out of 178045 with flag 14825645/4085141 1786.65/1782.07 c cleaning 89993 clauses out of 180050 with flag 15192612/4176140 1800.05/1795.40 c starts : 7 1800.05/1795.40 c conflicts : 4207418 1800.05/1795.40 c decisions : 10651404 1800.05/1795.40 c propagations : 809240082 1800.05/1795.40 c inspects : 7453445249 1800.05/1795.40 c shortcuts : 0 1800.05/1795.40 c learnt literals : 0 1800.05/1795.40 c learnt binary clauses : 0 1800.05/1795.40 c learnt ternary clauses : 0 1800.05/1795.40 c learnt constraints : 4207418 1800.05/1795.40 c ignored constraints : 0 1800.05/1795.40 c root simplifications : 0 1800.05/1795.40 c removed literals (reason simplification) : 0 1800.05/1795.40 c reason swapping (by a shorter reason) : 0 1800.05/1795.40 c Calls to reduceDB : 87 1800.05/1795.40 c Number of update (reduction) of LBD : 1061025 1800.05/1795.40 c Imported unit clauses : 0 1800.05/1795.40 c number of reductions to clauses (during analyze) : 0 1800.05/1795.40 c number of learned constraints concerned by reduction : 0 1800.05/1795.40 c number of learning phase by resolution : 0 1800.05/1795.40 c number of learning phase by cutting planes : 0 1800.05/1795.40 c speed (assignments/second) : 451460.4154881411 1800.05/1795.40 c non guided choices 0 1800.05/1795.43 c learnt constraints type 1800.05/1795.43 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 121336 1800.05/1795.43 s SATISFIABLE 1800.05/1795.43 c Found 2 solution(s) 1800.05/1795.44 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.05/1795.45 c objective function=757 1800.05/1795.45 c Total wall clock time (in seconds): 1795.319
OK 757
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-4085304-1465225740/watcher-4085304-1465225740 -o /tmp/evaluation-result-4085304-1465225740/solver-4085304-1465225740 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1465216773-5889 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085304-1465225740.opb pid=8310 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.23 2.20 2.18 3/194 8313 /proc/meminfo: memFree=30446724/32872528 swapFree=16740/1306504 [pid=8313] ppid=8310 vsize=2500 CPUtime=0 cores=0,2,4,6 /proc/8313/stat : 8313 (java) D 8310 8313 5873 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 104506596 2560000 47 33554432000 1073741824 1073778376 140735838629200 140735838626328 214528257319 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/8313/statm: 625 47 37 9 0 29 0 [startup+0.100124 s] /proc/loadavg: 2.23 2.20 2.18 3/194 8313 /proc/meminfo: memFree=30446724/32872528 swapFree=16740/1306504 [pid=8313] ppid=8310 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/8313/stat : 8313 (java) S 8310 8313 5873 0 -1 4202496 4043 0 1 0 7 1 0 0 20 0 18 0 104506596 9787879424 4639 33554432000 1073741824 1073778376 140735838629200 140735838620336 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8313/statm: 2389619 4648 2027 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200318 s] /proc/loadavg: 2.23 2.20 2.18 3/194 8313 /proc/meminfo: memFree=30446724/32872528 swapFree=16740/1306504 [pid=8313] ppid=8310 vsize=9558476 CPUtime=0.26 cores=0,2,4,6 /proc/8313/stat : 8313 (java) S 8310 8313 5873 0 -1 4202496 5068 0 1 0 25 1 0 0 20 0 18 0 104506596 9787879424 6444 33554432000 1073741824 1073778376 140735838629200 140735838620336 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8313/statm: 2389619 6444 2216 9 0 2380296 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 9558476 [startup+0.300281 s] /proc/loadavg: 2.23 2.20 2.18 3/194 8313 /proc/meminfo: memFree=30446724/32872528 swapFree=16740/1306504 [pid=8313] ppid=8310 vsize=9558476 CPUtime=0.45 cores=0,2,4,6 /proc/8313/stat : 8313 (java) S 8310 8313 5873 0 -1 4202496 5549 0 1 0 44 1 0 0 20 0 18 0 104506596 9787879424 8215 33554432000 1073741824 1073778376 140735838629200 140735838620336 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8313/statm: 2389619 8215 2230 9 0 2380296 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 9558476 [startup+0.700284 s] /proc/loadavg: 2.23 2.20 2.18 3/194 8313 /proc/meminfo: memFree=30446724/32872528 swapFree=16740/1306504 [pid=8313] ppid=8310 vsize=9558476 CPUtime=1.05 cores=0,2,4,6 /proc/8313/stat : 8313 (java) S 8310 8313 5873 0 -1 4202496 6905 0 1 0 101 4 0 0 20 0 18 0 104506596 9787879424 40075 33554432000 1073741824 1073778376 140735838629200 140735838620336 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8313/statm: 2389619 40075 2261 9 0 2380296 0 Current children cumulated CPU time (s) 1.05 Current children cumulated vsize (KiB) 9558476 [startup+1.5008 s] /proc/loadavg: 2.23 2.20 2.18 4/212 8331 /proc/meminfo: memFree=30279828/32872528 swapFree=16740/1306504 [pid=8313] ppid=8310 vsize=9558476 CPUtime=1.87 cores=0,2,4,6 /proc/8313/stat : 8313 (java) S 8310 8313 5873 0 -1 4202496 6967 0 1 0 181 6 0 0 20 0 18 0 104506596 9787879424 69260 33554432000 1073741824 1073778376 140735838629200 140735838620336 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8313/statm: 2389619 69260 2261 9 0 2380296 0 [pid=8313/tid=8315] ppid=8310 vsize=9558476 CPUtime=1.42 cores=0,2,4,6 /proc/8313/task/8315/stat : 8315 (java) R 8310 8313 5873 0 -1 4202560 2575 0 1 0 137 5 0 0 20 0 18 0 104506597 9787879424 69260 33554432000 1073741824 1073778376 140735838629200 139953927237584 139953799359788 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8316] ppid=8310 vsize=9558476 CPUtime=0.01 cores=0,2,4,6 /proc/8313/task/8316/stat : 8316 (java) S 8310 8313 5873 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 104506598 9787879424 69260 33554432000 1073741824 1073778376 140735838629200 139953771207592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8317] ppid=8310 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8317/stat : 8317 (java) S 8310 8313 5873 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 104506598 9787879424 69260 33554432000 1073741824 1073778376 140735838629200 139953770155048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8318] ppid=8310 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8318/stat : 8318 (java) S 8310 8313 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104506598 9787879424 69260 33554432000 1073741824 1073778376 140735838629200 139953769101992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8313/tid=8319] ppid=8310 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8319/stat : 8319 (java) S 8310 8313 5873 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 18 0 104506598 9787879424 69260 33554432000 1073741824 1073778376 140735838629200 139953768049448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8320] ppid=8310 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8320/stat : 8320 (java) S 8310 8313 5873 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 104506598 9787879424 69260 33554432000 1073741824 1073778376 140735838629200 139953766996392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8321] ppid=8310 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8321/stat : 8321 (java) S 8310 8313 5873 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 104506598 9787879424 69260 33554432000 1073741824 1073778376 140735838629200 139953765943848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8313/tid=8322] ppid=8310 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8322/stat : 8322 (java) S 8310 8313 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104506598 9787879424 69260 33554432000 1073741824 1073778376 140735838629200 139953764890792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8313/tid=8323] ppid=8310 vsize=9558476 CPUtime=0.01 cores=0,2,4,6 /proc/8313/task/8323/stat : 8323 (java) S 8310 8313 5873 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 18 0 104506598 9787879424 69260 33554432000 1073741824 1073778376 140735838629200 139953763838248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8324] ppid=8310 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8324/stat : 8324 (java) S 8310 8313 5873 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 104506599 9787879424 69260 33554432000 1073741824 1073778376 140735838629200 139953751427944 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8325] ppid=8310 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8325/stat : 8325 (java) S 8310 8313 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104506600 9787879424 69260 33554432000 1073741824 1073778376 140735838629200 139953750374264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8326] ppid=8310 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8326/stat : 8326 (java) S 8310 8313 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104506600 9787879424 69260 33554432000 1073741824 1073778376 140735838629200 139953749321096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8327] ppid=8310 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8327/stat : 8327 (java) S 8310 8313 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104506603 9787879424 69260 33554432000 1073741824 1073778376 140735838629200 139953748269840 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8328] ppid=8310 vsize=9558476 CPUtime=0.16 cores=0,2,4,6 /proc/8313/task/8328/stat : 8328 (java) S 8310 8313 5873 0 -1 4202560 1227 0 0 0 16 0 0 0 20 0 18 0 104506603 9787879424 69260 33554432000 1073741824 1073778376 140735838629200 139953747216696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8329] ppid=8310 vsize=9558476 CPUtime=0.17 cores=0,2,4,6 /proc/8313/task/8329/stat : 8329 (java) S 8310 8313 5873 0 -1 4202560 1795 0 0 0 17 0 0 0 20 0 18 0 104506603 9787879424 69260 33554432000 1073741824 1073778376 140735838629200 139953746164152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8330] ppid=8310 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8330/stat : 8330 (java) S 8310 8313 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104506603 9787879424 69260 33554432000 1073741824 1073778376 140735838629200 139953745111288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8331] ppid=8310 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8331/stat : 8331 (java) S 8310 8313 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104506603 9787879424 69260 33554432000 1073741824 1073778376 140735838629200 139953744058952 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.87 Current children cumulated vsize (KiB) 9558476 [startup+3.10073 s] /proc/loadavg: 2.23 2.20 2.18 4/212 8331 /proc/meminfo: memFree=30110156/32872528 swapFree=16740/1306504 [pid=8313] ppid=8310 vsize=9625040 CPUtime=3.92 cores=0,2,4,6 /proc/8313/stat : 8313 (java) S 8310 8313 5873 0 -1 4202496 8164 0 1 0 379 13 0 0 20 0 19 0 104506596 9856040960 97404 33554432000 1073741824 1073778376 140735838629200 140735838620336 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8313/statm: 2406260 97404 2276 9 0 2396937 0 [pid=8313/tid=8315] ppid=8310 vsize=9625040 CPUtime=2.95 cores=0,2,4,6 /proc/8313/task/8315/stat : 8315 (java) R 8310 8313 5873 0 -1 4202560 2621 0 1 0 289 6 0 0 20 0 19 0 104506597 9856040960 97404 33554432000 1073741824 1073778376 140735838629200 139953927246360 139953930531735 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8316] ppid=8310 vsize=9625040 CPUtime=0.07 cores=0,2,4,6 /proc/8313/task/8316/stat : 8316 (java) S 8310 8313 5873 0 -1 4202560 40 0 0 0 5 2 0 0 20 0 19 0 104506598 9856040960 97404 33554432000 1073741824 1073778376 140735838629200 139953771207592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8317] ppid=8310 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/8313/task/8317/stat : 8317 (java) S 8310 8313 5873 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 104506598 9856040960 97404 33554432000 1073741824 1073778376 140735838629200 139953770155048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8313/tid=8318] ppid=8310 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/8313/task/8318/stat : 8318 (java) S 8310 8313 5873 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 104506598 9856040960 97404 33554432000 1073741824 1073778376 140735838629200 139953769101992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8319] ppid=8310 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/8313/task/8319/stat : 8319 (java) S 8310 8313 5873 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 19 0 104506598 9856040960 97404 33554432000 1073741824 1073778376 140735838629200 139953768049448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8320] ppid=8310 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/8313/task/8320/stat : 8320 (java) S 8310 8313 5873 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 104506598 9856040960 97404 33554432000 1073741824 1073778376 140735838629200 139953766996392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8321] ppid=8310 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/8313/task/8321/stat : 8321 (java) S 8310 8313 5873 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 104506598 9856040960 97404 33554432000 1073741824 1073778376 140735838629200 139953765943848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8313/tid=8322] ppid=8310 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/8313/task/8322/stat : 8322 (java) S 8310 8313 5873 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 104506598 9856040960 97404 33554432000 1073741824 1073778376 140735838629200 139953764890792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8313/tid=8323] ppid=8310 vsize=9625040 CPUtime=0.07 cores=0,2,4,6 /proc/8313/task/8323/stat : 8323 (java) S 8310 8313 5873 0 -1 4202560 43 0 0 0 5 2 0 0 20 0 19 0 104506598 9856040960 97404 33554432000 1073741824 1073778376 140735838629200 139953763838248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8324] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8324/stat : 8324 (java) S 8310 8313 5873 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 19 0 104506599 9856040960 97404 33554432000 1073741824 1073778376 140735838629200 139953751427944 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8325] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8325/stat : 8325 (java) S 8310 8313 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104506600 9856040960 97404 33554432000 1073741824 1073778376 140735838629200 139953750374264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8326] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8326/stat : 8326 (java) S 8310 8313 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104506600 9856040960 97404 33554432000 1073741824 1073778376 140735838629200 139953749321096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8327] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8327/stat : 8327 (java) S 8310 8313 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104506603 9856040960 97404 33554432000 1073741824 1073778376 140735838629200 139953748269840 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8328] ppid=8310 vsize=9625040 CPUtime=0.31 cores=0,2,4,6 /proc/8313/task/8328/stat : 8328 (java) R 8310 8313 5873 0 -1 4202560 1921 0 0 0 31 0 0 0 20 0 19 0 104506603 9856040960 97404 33554432000 1073741824 1073778376 140735838629200 139953747216576 139953934244080 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=8313/tid=8329] ppid=8310 vsize=9625040 CPUtime=0.28 cores=0,2,4,6 /proc/8313/task/8329/stat : 8329 (java) S 8310 8313 5873 0 -1 4202560 1980 0 0 0 28 0 0 0 20 0 19 0 104506603 9856040960 97404 33554432000 1073741824 1073778376 140735838629200 139953746164152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8330] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8330/stat : 8330 (java) S 8310 8313 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104506603 9856040960 97404 33554432000 1073741824 1073778376 140735838629200 139953745111288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8331] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8331/stat : 8331 (java) S 8310 8313 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104506603 9856040960 97404 33554432000 1073741824 1073778376 140735838629200 139953744058952 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.92 Current children cumulated vsize (KiB) 9625040 [startup+6.30076 s] /proc/loadavg: 2.45 2.25 2.20 3/213 8332 /proc/meminfo: memFree=30025204/32872528 swapFree=16740/1306504 [pid=8313] ppid=8310 vsize=9625040 CPUtime=7.7 cores=0,2,4,6 /proc/8313/stat : 8313 (java) S 8310 8313 5873 0 -1 4202496 12138 0 1 0 754 16 0 0 20 0 19 0 104506596 9856040960 107347 33554432000 1073741824 1073778376 140735838629200 140735838620336 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8313/statm: 2406260 107347 2286 9 0 2396937 0 [pid=8313/tid=8315] ppid=8310 vsize=9625040 CPUtime=6.15 cores=0,2,4,6 /proc/8313/task/8315/stat : 8315 (java) R 8310 8313 5873 0 -1 4202560 2644 0 1 0 607 8 0 0 20 0 19 0 104506597 9856040960 107347 33554432000 1073741824 1073778376 140735838629200 139953927246360 139953799933645 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8316] ppid=8310 vsize=9625040 CPUtime=0.07 cores=0,2,4,6 /proc/8313/task/8316/stat : 8316 (java) S 8310 8313 5873 0 -1 4202560 40 0 0 0 5 2 0 0 20 0 19 0 104506598 9856040960 107347 33554432000 1073741824 1073778376 140735838629200 139953771207592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8317] ppid=8310 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/8313/task/8317/stat : 8317 (java) S 8310 8313 5873 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 104506598 9856040960 107347 33554432000 1073741824 1073778376 140735838629200 139953770155048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8313/tid=8318] ppid=8310 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/8313/task/8318/stat : 8318 (java) S 8310 8313 5873 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 104506598 9856040960 107347 33554432000 1073741824 1073778376 140735838629200 139953769101992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8319] ppid=8310 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/8313/task/8319/stat : 8319 (java) S 8310 8313 5873 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 19 0 104506598 9856040960 107347 33554432000 1073741824 1073778376 140735838629200 139953768049448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8320] ppid=8310 vsize=9625040 CPUtime=0.02 cores=0,2,4,6 /proc/8313/task/8320/stat : 8320 (java) S 8310 8313 5873 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 104506598 9856040960 107347 33554432000 1073741824 1073778376 140735838629200 139953766996392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8321] ppid=8310 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/8313/task/8321/stat : 8321 (java) S 8310 8313 5873 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 104506598 9856040960 107347 33554432000 1073741824 1073778376 140735838629200 139953765943848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8313/tid=8322] ppid=8310 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/8313/task/8322/stat : 8322 (java) S 8310 8313 5873 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 104506598 9856040960 107347 33554432000 1073741824 1073778376 140735838629200 139953764890792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8313/tid=8323] ppid=8310 vsize=9625040 CPUtime=0.07 cores=0,2,4,6 /proc/8313/task/8323/stat : 8323 (java) S 8310 8313 5873 0 -1 4202560 43 0 0 0 5 2 0 0 20 0 19 0 104506598 9856040960 107347 33554432000 1073741824 1073778376 140735838629200 139953763838248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8324] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8324/stat : 8324 (java) S 8310 8313 5873 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 104506599 9856040960 107347 33554432000 1073741824 1073778376 140735838629200 139953751427944 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8325] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8325/stat : 8325 (java) S 8310 8313 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104506600 9856040960 107347 33554432000 1073741824 1073778376 140735838629200 139953750374264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8326] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8326/stat : 8326 (java) S 8310 8313 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104506600 9856040960 107347 33554432000 1073741824 1073778376 140735838629200 139953749321096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8327] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8327/stat : 8327 (java) S 8310 8313 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104506603 9856040960 107347 33554432000 1073741824 1073778376 140735838629200 139953748269840 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8328] ppid=8310 vsize=9625040 CPUtime=0.69 cores=0,2,4,6 /proc/8313/task/8328/stat : 8328 (java) S 8310 8313 5873 0 -1 4202560 4831 0 0 0 68 1 0 0 20 0 19 0 104506603 9856040960 107347 33554432000 1073741824 1073778376 140735838629200 139953747216696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8329] ppid=8310 vsize=9625040 CPUtime=0.48 cores=0,2,4,6 /proc/8313/task/8329/stat : 8329 (java) S 8310 8313 5873 0 -1 4202560 3020 0 0 0 48 0 0 0 20 0 19 0 104506603 9856040960 107347 33554432000 1073741824 1073778376 140735838629200 139953746164152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8330] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8330/stat : 8330 (java) S 8310 8313 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104506603 9856040960 107347 33554432000 1073741824 1073778376 140735838629200 139953745111288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8331] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8331/stat : 8331 (java) S 8310 8313 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104506603 9856040960 107347 33554432000 1073741824 1073778376 140735838629200 139953744058952 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8332] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8332/stat : 8332 (java) S 8310 8313 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104506887 9856040960 107347 33554432000 1073741824 1073778376 140735838629200 139953743005224 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 7.7 Current children cumulated vsize (KiB) 9625040 [startup+12.7008 s] /proc/loadavg: 2.42 2.25 2.20 3/213 8332 /proc/meminfo: memFree=29974568/32872528 swapFree=16740/1306504 [pid=8313] ppid=8310 vsize=9625040 CPUtime=14.2 cores=0,2,4,6 ################ # More data... # ################ [pid=8313/tid=8325] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8325/stat : 8325 (java) S 8310 8313 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104506600 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953750374264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8326] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8326/stat : 8326 (java) S 8310 8313 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104506600 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953749321096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8327] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8327/stat : 8327 (java) S 8310 8313 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104506603 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953748269840 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8328] ppid=8310 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/8313/task/8328/stat : 8328 (java) S 8310 8313 5873 0 -1 4202560 4859 0 0 0 76 1 0 0 20 0 19 0 104506603 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953747216696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8329] ppid=8310 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/8313/task/8329/stat : 8329 (java) S 8310 8313 5873 0 -1 4202560 3025 0 0 0 51 0 0 0 20 0 19 0 104506603 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953746164152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8330] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8330/stat : 8330 (java) S 8310 8313 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104506603 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953745111288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8331] ppid=8310 vsize=9625040 CPUtime=0.42 cores=0,2,4,6 /proc/8313/task/8331/stat : 8331 (java) S 8310 8313 5873 0 -1 4202560 97 0 0 0 23 19 0 0 20 0 19 0 104506603 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953744058952 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8332] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8332/stat : 8332 (java) S 8310 8313 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104506887 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953743005224 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1666.94 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.18 2.20 2.18 3/213 8441 /proc/meminfo: memFree=24528040/32872528 swapFree=16740/1306504 [pid=8313] ppid=8310 vsize=9625040 CPUtime=1726.94 cores=0,2,4,6 /proc/8313/stat : 8313 (java) S 8310 8313 5873 0 -1 4202496 19146 0 1 0 172471 223 0 0 20 0 19 0 104506596 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 140735838620336 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8313/statm: 2406260 790538 2295 9 0 2396937 0 [pid=8313/tid=8315] ppid=8310 vsize=9625040 CPUtime=1720.26 cores=0,2,4,6 /proc/8313/task/8315/stat : 8315 (java) R 8310 8313 5873 0 -1 4202560 3881 0 1 0 171975 51 0 0 20 0 19 0 104506597 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953927237344 139953799461643 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8316] ppid=8310 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/8313/task/8316/stat : 8316 (java) S 8310 8313 5873 0 -1 4202560 399 0 0 0 31 20 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953771207592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8317] ppid=8310 vsize=9625040 CPUtime=0.41 cores=0,2,4,6 /proc/8313/task/8317/stat : 8317 (java) S 8310 8313 5873 0 -1 4202560 451 0 0 0 26 15 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953770155048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8318] ppid=8310 vsize=9625040 CPUtime=0.61 cores=0,2,4,6 /proc/8313/task/8318/stat : 8318 (java) S 8310 8313 5873 0 -1 4202560 539 0 0 0 37 24 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953769101992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8313/tid=8319] ppid=8310 vsize=9625040 CPUtime=0.61 cores=0,2,4,6 /proc/8313/task/8319/stat : 8319 (java) S 8310 8313 5873 0 -1 4202560 772 0 0 0 35 26 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953768049448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8320] ppid=8310 vsize=9625040 CPUtime=0.55 cores=0,2,4,6 /proc/8313/task/8320/stat : 8320 (java) S 8310 8313 5873 0 -1 4202560 607 0 0 0 32 23 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953766996392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8321] ppid=8310 vsize=9625040 CPUtime=0.54 cores=0,2,4,6 /proc/8313/task/8321/stat : 8321 (java) S 8310 8313 5873 0 -1 4202560 481 0 0 0 30 24 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953765943848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8322] ppid=8310 vsize=9625040 CPUtime=0.48 cores=0,2,4,6 /proc/8313/task/8322/stat : 8322 (java) S 8310 8313 5873 0 -1 4202560 463 0 0 0 27 21 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953764890792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8323] ppid=8310 vsize=9625040 CPUtime=0.66 cores=0,2,4,6 /proc/8313/task/8323/stat : 8323 (java) S 8310 8313 5873 0 -1 4202560 726 0 0 0 39 27 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953763838248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8313/tid=8324] ppid=8310 vsize=9625040 CPUtime=0.82 cores=0,2,4,6 /proc/8313/task/8324/stat : 8324 (java) S 8310 8313 5873 0 -1 4202560 1579 0 0 0 81 1 0 0 20 0 19 0 104506599 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953751427944 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8325] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8325/stat : 8325 (java) S 8310 8313 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104506600 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953750374264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8326] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8326/stat : 8326 (java) S 8310 8313 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104506600 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953749321096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8327] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8327/stat : 8327 (java) S 8310 8313 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104506603 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953748269840 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8328] ppid=8310 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/8313/task/8328/stat : 8328 (java) S 8310 8313 5873 0 -1 4202560 4859 0 0 0 76 1 0 0 20 0 19 0 104506603 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953747216696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8329] ppid=8310 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/8313/task/8329/stat : 8329 (java) S 8310 8313 5873 0 -1 4202560 3025 0 0 0 51 0 0 0 20 0 19 0 104506603 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953746164152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8330] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8330/stat : 8330 (java) S 8310 8313 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104506603 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953745111288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8331] ppid=8310 vsize=9625040 CPUtime=0.44 cores=0,2,4,6 /proc/8313/task/8331/stat : 8331 (java) S 8310 8313 5873 0 -1 4202560 99 0 0 0 25 19 0 0 20 0 19 0 104506603 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953744058952 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8332] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8332/stat : 8332 (java) S 8310 8313 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104506887 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953743005224 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1726.94 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.12 2.17 2.17 3/213 8442 /proc/meminfo: memFree=24527428/32872528 swapFree=16740/1306504 [pid=8313] ppid=8310 vsize=9625040 CPUtime=1786.95 cores=0,2,4,6 /proc/8313/stat : 8313 (java) S 8310 8313 5873 0 -1 4202496 19150 0 1 0 178471 224 0 0 20 0 19 0 104506596 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 140735838620336 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8313/statm: 2406260 790538 2295 9 0 2396937 0 [pid=8313/tid=8315] ppid=8310 vsize=9625040 CPUtime=1780.27 cores=0,2,4,6 /proc/8313/task/8315/stat : 8315 (java) R 8310 8313 5873 0 -1 4202560 3881 0 1 0 177975 52 0 0 20 0 19 0 104506597 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953927237344 139953799962528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8316] ppid=8310 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/8313/task/8316/stat : 8316 (java) S 8310 8313 5873 0 -1 4202560 399 0 0 0 31 20 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953771207592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8317] ppid=8310 vsize=9625040 CPUtime=0.41 cores=0,2,4,6 /proc/8313/task/8317/stat : 8317 (java) S 8310 8313 5873 0 -1 4202560 451 0 0 0 26 15 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953770155048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8318] ppid=8310 vsize=9625040 CPUtime=0.61 cores=0,2,4,6 /proc/8313/task/8318/stat : 8318 (java) S 8310 8313 5873 0 -1 4202560 539 0 0 0 37 24 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953769101992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8313/tid=8319] ppid=8310 vsize=9625040 CPUtime=0.61 cores=0,2,4,6 /proc/8313/task/8319/stat : 8319 (java) S 8310 8313 5873 0 -1 4202560 772 0 0 0 35 26 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953768049448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8320] ppid=8310 vsize=9625040 CPUtime=0.55 cores=0,2,4,6 /proc/8313/task/8320/stat : 8320 (java) S 8310 8313 5873 0 -1 4202560 607 0 0 0 32 23 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953766996392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8321] ppid=8310 vsize=9625040 CPUtime=0.54 cores=0,2,4,6 /proc/8313/task/8321/stat : 8321 (java) S 8310 8313 5873 0 -1 4202560 481 0 0 0 30 24 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953765943848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8322] ppid=8310 vsize=9625040 CPUtime=0.48 cores=0,2,4,6 /proc/8313/task/8322/stat : 8322 (java) S 8310 8313 5873 0 -1 4202560 463 0 0 0 27 21 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953764890792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8323] ppid=8310 vsize=9625040 CPUtime=0.66 cores=0,2,4,6 /proc/8313/task/8323/stat : 8323 (java) S 8310 8313 5873 0 -1 4202560 726 0 0 0 39 27 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953763838248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8313/tid=8324] ppid=8310 vsize=9625040 CPUtime=0.82 cores=0,2,4,6 /proc/8313/task/8324/stat : 8324 (java) S 8310 8313 5873 0 -1 4202560 1579 0 0 0 81 1 0 0 20 0 19 0 104506599 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953751427944 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8325] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8325/stat : 8325 (java) S 8310 8313 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104506600 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953750374264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8326] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8326/stat : 8326 (java) S 8310 8313 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104506600 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953749321096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8327] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8327/stat : 8327 (java) S 8310 8313 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104506603 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953748269840 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8328] ppid=8310 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/8313/task/8328/stat : 8328 (java) S 8310 8313 5873 0 -1 4202560 4859 0 0 0 76 1 0 0 20 0 19 0 104506603 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953747216696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8329] ppid=8310 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/8313/task/8329/stat : 8329 (java) S 8310 8313 5873 0 -1 4202560 3025 0 0 0 51 0 0 0 20 0 19 0 104506603 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953746164152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8330] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8330/stat : 8330 (java) S 8310 8313 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104506603 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953745111288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8331] ppid=8310 vsize=9625040 CPUtime=0.46 cores=0,2,4,6 /proc/8313/task/8331/stat : 8331 (java) S 8310 8313 5873 0 -1 4202560 103 0 0 0 26 20 0 0 20 0 19 0 104506603 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953744058952 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8332] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8332/stat : 8332 (java) S 8310 8313 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104506887 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953743005224 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1786.95 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.4 s] /proc/loadavg: 2.09 2.16 2.17 3/213 8442 /proc/meminfo: memFree=24527680/32872528 swapFree=16740/1306504 [pid=8313] ppid=8310 vsize=9625040 CPUtime=1800.05 cores=0,2,4,6 /proc/8313/stat : 8313 (java) S 8310 8313 5873 0 -1 4202496 19152 0 1 0 179781 224 0 0 20 0 19 0 104506596 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 140735838620336 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8313/statm: 2406260 790538 2295 9 0 2396937 0 [pid=8313/tid=8315] ppid=8310 vsize=9625040 CPUtime=1793.37 cores=0,2,4,6 /proc/8313/task/8315/stat : 8315 (java) R 8310 8313 5873 0 -1 4202560 3881 0 1 0 179285 52 0 0 20 0 19 0 104506597 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953927237344 139953799615191 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8316] ppid=8310 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/8313/task/8316/stat : 8316 (java) S 8310 8313 5873 0 -1 4202560 399 0 0 0 31 20 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953771207592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8317] ppid=8310 vsize=9625040 CPUtime=0.41 cores=0,2,4,6 /proc/8313/task/8317/stat : 8317 (java) S 8310 8313 5873 0 -1 4202560 451 0 0 0 26 15 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953770155048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8318] ppid=8310 vsize=9625040 CPUtime=0.61 cores=0,2,4,6 /proc/8313/task/8318/stat : 8318 (java) S 8310 8313 5873 0 -1 4202560 539 0 0 0 37 24 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953769101992 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8313/tid=8319] ppid=8310 vsize=9625040 CPUtime=0.61 cores=0,2,4,6 /proc/8313/task/8319/stat : 8319 (java) S 8310 8313 5873 0 -1 4202560 772 0 0 0 35 26 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953768049448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8320] ppid=8310 vsize=9625040 CPUtime=0.55 cores=0,2,4,6 /proc/8313/task/8320/stat : 8320 (java) S 8310 8313 5873 0 -1 4202560 607 0 0 0 32 23 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953766996392 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8321] ppid=8310 vsize=9625040 CPUtime=0.54 cores=0,2,4,6 /proc/8313/task/8321/stat : 8321 (java) S 8310 8313 5873 0 -1 4202560 481 0 0 0 30 24 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953765943848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8322] ppid=8310 vsize=9625040 CPUtime=0.48 cores=0,2,4,6 /proc/8313/task/8322/stat : 8322 (java) S 8310 8313 5873 0 -1 4202560 463 0 0 0 27 21 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953764890792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8323] ppid=8310 vsize=9625040 CPUtime=0.66 cores=0,2,4,6 /proc/8313/task/8323/stat : 8323 (java) S 8310 8313 5873 0 -1 4202560 726 0 0 0 39 27 0 0 20 0 19 0 104506598 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953763838248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8313/tid=8324] ppid=8310 vsize=9625040 CPUtime=0.82 cores=0,2,4,6 /proc/8313/task/8324/stat : 8324 (java) S 8310 8313 5873 0 -1 4202560 1579 0 0 0 81 1 0 0 20 0 19 0 104506599 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953751427944 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8325] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8325/stat : 8325 (java) S 8310 8313 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104506600 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953750374264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8326] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8326/stat : 8326 (java) S 8310 8313 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104506600 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953749321096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8327] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8327/stat : 8327 (java) S 8310 8313 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104506603 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953748269840 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8328] ppid=8310 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/8313/task/8328/stat : 8328 (java) S 8310 8313 5873 0 -1 4202560 4859 0 0 0 76 1 0 0 20 0 19 0 104506603 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953747216696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8329] ppid=8310 vsize=9625040 CPUtime=0.51 cores=0,2,4,6 /proc/8313/task/8329/stat : 8329 (java) S 8310 8313 5873 0 -1 4202560 3025 0 0 0 51 0 0 0 20 0 19 0 104506603 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953746164152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8313/tid=8330] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8330/stat : 8330 (java) S 8310 8313 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104506603 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953745111288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8313/tid=8331] ppid=8310 vsize=9625040 CPUtime=0.46 cores=0,2,4,6 /proc/8313/task/8331/stat : 8331 (java) S 8310 8313 5873 0 -1 4202560 105 0 0 0 26 20 0 0 20 0 19 0 104506603 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953744058952 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8313/tid=8332] ppid=8310 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/8313/task/8332/stat : 8332 (java) S 8310 8313 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104506887 9856040960 790538 33554432000 1073741824 1073778376 140735838629200 139953743005224 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 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 8313 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 1795.46 CPU time (s): 1800.72 CPU user time (s): 1798.02 CPU system time (s): 2.70159 CPU usage (%): 100.293 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.02 system time used= 2.70159 maximum resident set size= 3162300 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19197 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1064 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38301 involuntary context switches= 8371 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.3614 second user time and 13.083 second system time The end
Begin job on node127 at 2016-06-06 17:09:00 IDJOB=4085304 IDBENCH=1964 IDSOLVER=2546 FILE ID=node127/4085304-1465225740 RUNJOBID= node127-1465216773-5889 PBS_JOBID= 19843202 Free space on /tmp= 71724 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_12.opb.PB06.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085304-1465225740/watcher-4085304-1465225740 -o /tmp/evaluation-result-4085304-1465225740/solver-4085304-1465225740 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1465216773-5889 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085304-1465225740.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 35ffbede57b8807d38d913370f4c4486 RANDOM SEED=859090251 node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.227 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.45 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.227 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 : 2666.227 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.227 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 : 2666.227 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.227 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.227 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.227 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: 30446988 kB Buffers: 12512 kB Cached: 60216 kB SwapCached: 1760 kB Active: 384892 kB Inactive: 32728 kB Active(anon): 346700 kB Inactive(anon): 900 kB Active(file): 38192 kB Inactive(file): 31828 kB Unevictable: 1306504 kB Mlocked: 16740 kB SwapTotal: 67108856 kB SwapFree: 67098476 kB Dirty: 17752 kB Writeback: 0 kB AnonPages: 1653272 kB Mapped: 15340 kB Shmem: 0 kB Slab: 566904 kB SReclaimable: 10728 kB SUnreclaim: 556176 kB KernelStack: 1584 kB PageTables: 7792 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1798892 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1609728 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= 71704 MiB End job on node127 at 2016-06-06 17:38:56