Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J PB Resolution 2.2.1 | MSAT (TO) | 1800.28 | 1795.35 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100--soft-33-100-0.wbo |
| MD5SUM | 7f95aa45daecbcbe8d128ff4aa3d1714 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.429934 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 10100 |
| Total number of constraints | 201 |
| Number of soft constraints | 138 |
| Number of constraints which are clauses | 101 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 100 |
| Maximum length of a constraint | 101 |
| Top cost | 6600 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 6599 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 102 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.02/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.07 c See www.sat4j.org for details. 0.02/0.08 c version 2.2.1.v20100705 0.02/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.08 c java.vm.name Java HotSpot(TM) Server VM 0.02/0.08 c java.vm.version 11.2-b01 0.02/0.08 c java.vm.vendor Sun Microsystems Inc. 0.02/0.08 c sun.arch.data.model 32 0.02/0.08 c java.version 1.6.0_12 0.02/0.08 c os.name Linux 0.02/0.08 c os.version 2.6.18-164.el5 0.02/0.08 c os.arch i386 0.02/0.08 c Free memory 1393557488 0.02/0.08 c Max memory 1395916800 0.02/0.08 c Total memory 1395916800 0.02/0.08 c Number of processors 8 0.02/0.10 c Pseudo Boolean Optimization 0.02/0.10 c --- Begin Solver configuration --- 0.02/0.10 c Stops conflict analysis at the first Unique Implication Point 0.02/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@15a3d6b 0.02/0.10 c Learn all clauses as in MiniSAT 0.02/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.02/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.02/0.10 c Expensive reason simplification 0.02/0.10 c Armin Biere (Picosat) restarts strategy 0.02/0.10 c Glucose learned constraints deletion strategy 0.02/0.10 c timeout=2147483s 0.02/0.10 c DB Simplification allowed=false 0.02/0.10 c --- End Solver configuration --- 0.02/0.10 c solving HOME/instance-2698265-1278324076.wbo 0.02/0.10 c reading problem ... 0.60/0.32 c ... done. Wall clock time 0.226s. 0.60/0.32 c #vars 10238 0.60/0.32 c #constraints 201 0.60/0.32 c constraints type 0.60/0.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 101 0.60/0.32 c org.sat4j.minisat.constraints.card.MinWatchCard => 27 0.60/0.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 73 1.48/0.66 c SATISFIABLE 1.48/0.66 c OPTIMIZING... 1.48/0.66 c Got one! Elapsed wall clock time (in seconds):0.561 1.48/0.66 o 117 1.68/0.74 c Got one! Elapsed wall clock time (in seconds):0.64 1.68/0.74 o 110 1.79/0.86 c Got one! Elapsed wall clock time (in seconds):0.762 1.79/0.86 o 109 1.90/0.97 c Got one! Elapsed wall clock time (in seconds):0.877 1.90/0.97 o 101 2.12/1.17 c Got one! Elapsed wall clock time (in seconds):1.079 2.12/1.17 o 64 2.33/1.30 c Got one! Elapsed wall clock time (in seconds):1.207 2.33/1.30 o 41 2.63/1.65 c Got one! Elapsed wall clock time (in seconds):1.553 2.63/1.65 o 3 4.12/3.15 c Got one! Elapsed wall clock time (in seconds):3.054 4.12/3.15 o 1 5.02/4.08 c cleaning 2486 clauses out of 5002 with flag 5002/5002 10.70/9.67 c cleaning 4244 clauses out of 8517 with flag 11003/11003 17.92/16.89 c cleaning 5604 clauses out of 11271 with flag 18001/18001 27.33/26.23 c cleaning 6804 clauses out of 13666 with flag 26000/26000 38.40/37.20 c cleaning 7891 clauses out of 15864 with flag 35002/35002 50.72/49.50 c cleaning 8951 clauses out of 17972 with flag 45001/45001 64.24/63.06 c cleaning 9478 clauses out of 19021 with flag 55001/55001 77.67/76.44 c cleaning 9720 clauses out of 19545 with flag 65003/65003 96.80/95.50 c cleaning 9843 clauses out of 19824 with flag 75002/75002 109.12/107.81 c cleaning 9948 clauses out of 19979 with flag 85000/85000 122.75/121.47 c cleaning 9975 clauses out of 20031 with flag 95000/95000 146.99/145.61 c cleaning 9993 clauses out of 20057 with flag 105001/105001 179.15/177.75 c cleaning 9994 clauses out of 20066 with flag 115003/115003 190.85/189.31 c cleaning 9994 clauses out of 20070 with flag 125001/125001 206.77/205.28 c cleaning 10010 clauses out of 20076 with flag 135001/135001 231.40/229.86 c cleaning 10007 clauses out of 20065 with flag 145000/145000 269.05/267.42 c cleaning 9962 clauses out of 20058 with flag 155000/155000 302.33/300.68 c cleaning 9989 clauses out of 20098 with flag 165002/165002 328.38/326.63 c cleaning 10024 clauses out of 20110 with flag 175003/175003 341.65/339.86 c cleaning 9989 clauses out of 20085 with flag 185002/185002 357.78/355.90 c cleaning 9995 clauses out of 20097 with flag 195003/195003 384.91/383.01 c cleaning 9978 clauses out of 20099 with flag 205000/205000 411.75/409.86 c cleaning 10018 clauses out of 20122 with flag 215001/215001 438.81/436.88 c cleaning 9990 clauses out of 20106 with flag 225003/225003 460.26/458.23 c cleaning 9996 clauses out of 20113 with flag 235000/235000 490.91/488.81 c cleaning 9992 clauses out of 20119 with flag 245002/245002 519.26/517.11 c cleaning 10000 clauses out of 20125 with flag 255000/255000 536.61/534.50 c cleaning 10030 clauses out of 20134 with flag 265009/265009 550.56/548.37 c cleaning 10000 clauses out of 20096 with flag 275001/275001 565.19/562.98 c cleaning 9994 clauses out of 20096 with flag 285001/285001 595.22/592.99 c cleaning 10018 clauses out of 20102 with flag 295001/295001 622.56/620.26 c cleaning 9997 clauses out of 20084 with flag 305001/305001 659.61/657.30 c cleaning 10003 clauses out of 20089 with flag 315003/315003 676.37/673.92 c cleaning 10010 clauses out of 20084 with flag 325001/325001 689.21/686.70 c cleaning 10004 clauses out of 20076 with flag 335003/335003 704.74/702.28 c cleaning 10001 clauses out of 20070 with flag 345001/345001 721.67/719.19 c cleaning 10013 clauses out of 20068 with flag 355000/355000 742.51/739.98 c cleaning 9986 clauses out of 20055 with flag 365000/365000 761.84/759.25 c cleaning 10004 clauses out of 20070 with flag 375001/375001 782.49/779.87 c cleaning 10011 clauses out of 20068 with flag 385003/385003 797.61/794.96 c cleaning 9989 clauses out of 20056 with flag 395002/395002 810.47/807.76 c cleaning 9991 clauses out of 20065 with flag 405000/405000 825.59/822.81 c cleaning 9977 clauses out of 20077 with flag 415003/415003 853.11/850.37 c cleaning 9991 clauses out of 20099 with flag 425002/425002 881.59/878.77 c cleaning 10008 clauses out of 20108 with flag 435002/435002 914.47/911.54 c cleaning 9998 clauses out of 20098 with flag 445000/445000 937.13/934.18 c cleaning 10003 clauses out of 20101 with flag 455001/455001 964.08/961.09 c cleaning 10002 clauses out of 20099 with flag 465002/465002 991.44/988.36 c cleaning 10001 clauses out of 20097 with flag 475002/475002 1003.79/1000.68 c cleaning 9992 clauses out of 20095 with flag 485001/485001 1024.73/1021.51 c cleaning 10001 clauses out of 20106 with flag 495004/495004 1043.87/1040.65 c cleaning 9995 clauses out of 20101 with flag 505000/505000 1067.70/1064.45 c cleaning 10002 clauses out of 20108 with flag 515002/515002 1086.05/1082.71 c cleaning 10019 clauses out of 20104 with flag 525000/525000 1118.81/1115.47 c cleaning 9999 clauses out of 20086 with flag 535001/535001 1151.47/1148.09 c cleaning 10004 clauses out of 20086 with flag 545000/545000 1187.54/1184.07 c cleaning 9999 clauses out of 20082 with flag 555000/555000 1226.72/1223.13 c cleaning 10009 clauses out of 20087 with flag 565004/565004 1265.48/1261.89 c cleaning 10008 clauses out of 20077 with flag 575003/575003 1298.77/1295.07 c cleaning 10002 clauses out of 20067 with flag 585001/585001 1314.35/1310.52 c cleaning 9994 clauses out of 20066 with flag 595002/595002 1327.59/1323.73 c cleaning 9987 clauses out of 20070 with flag 605000/605000 1346.33/1342.45 c cleaning 10008 clauses out of 20084 with flag 615001/615001 1379.06/1375.12 c cleaning 10002 clauses out of 20076 with flag 625001/625001 1411.72/1407.72 c cleaning 9992 clauses out of 20074 with flag 635001/635001 1445.39/1441.37 c cleaning 9997 clauses out of 20081 with flag 645000/645000 1466.47/1462.38 c cleaning 10006 clauses out of 20084 with flag 655000/655000 1489.02/1484.82 c cleaning 10001 clauses out of 20081 with flag 665003/665003 1514.26/1510.08 c cleaning 10000 clauses out of 20079 with flag 675002/675002 1534.80/1530.53 c cleaning 10001 clauses out of 20081 with flag 685004/685004 1562.54/1558.22 c cleaning 10005 clauses out of 20079 with flag 695003/695003 1587.20/1582.82 c cleaning 10001 clauses out of 20073 with flag 705002/705002 1615.65/1611.22 c cleaning 10006 clauses out of 20070 with flag 715000/715000 1636.10/1631.68 c cleaning 9999 clauses out of 20067 with flag 725003/725003 1661.54/1657.07 c cleaning 9988 clauses out of 20066 with flag 735001/735001 1682.49/1677.92 c cleaning 10003 clauses out of 20078 with flag 745001/745001 1700.14/1695.58 c cleaning 10010 clauses out of 20076 with flag 755002/755002 1723.77/1719.11 c cleaning 9999 clauses out of 20066 with flag 765002/765002 1745.91/1741.27 c cleaning 10000 clauses out of 20067 with flag 775002/775002 1768.65/1763.98 c cleaning 10005 clauses out of 20065 with flag 785000/785000 1795.60/1790.89 c cleaning 10003 clauses out of 20060 with flag 795000/795000 1800.07/1795.26 c starts : 179 1800.07/1795.26 c conflicts : 797275 1800.07/1795.26 c decisions : 2240706 1800.07/1795.26 c propagations : 33357002 1800.07/1795.26 c inspects : 918228161 1800.07/1795.26 c learnt literals : 0 1800.07/1795.26 c learnt binary clauses : 0 1800.07/1795.26 c learnt ternary clauses : 0 1800.07/1795.26 c learnt clauses : 797275 1800.07/1795.26 c ignored clauses : 0 1800.07/1795.26 c root simplifications : 0 1800.07/1795.26 c removed literals (reason simplification) : 4958354 1800.07/1795.26 c reason swapping (by a shorter reason) : 0 1800.07/1795.26 c Calls to reduceDB : 81 1800.07/1795.26 c number of reductions to clauses (during analyze) : 0 1800.07/1795.26 c number of learned constraints concerned by reduction : 0 1800.07/1795.26 c number of learning phase by resolution : 0 1800.07/1795.26 c number of learning phase by cutting planes : 0 1800.07/1795.26 c speed (assignments/second) : 18613.28815745935 1800.07/1795.26 c non guided choices 526782 1800.07/1795.27 c learnt constraints type 1800.07/1795.27 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 12336 1800.07/1795.27 c constraints type 1800.07/1795.27 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 101 1800.07/1795.27 c org.sat4j.minisat.constraints.card.MinWatchCard => 27 1800.07/1795.27 c org.sat4j.pb.constraints.pb.MaxWatchPb => 74 1800.07/1795.27 s SATISFIABLE 1800.07/1795.28 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 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 1800.07/1795.28 c objective function=1 1800.07/1795.28 c Total wall clock time (in seconds): 1795.189
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698265-1278324076/watcher-2698265-1278324076 -o /tmp/evaluation-result-2698265-1278324076/solver-2698265-1278324076 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698265-1278324076.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.69 0.39 1/170 3885 /proc/meminfo: memFree=32409448/32951124 swapFree=67111528/67111528 [pid=3885] ppid=3883 vsize=13164 CPUtime=0 /proc/3885/stat : 3885 (java) R 3883 3885 3795 0 -1 4194304 630 0 0 0 0 0 0 0 20 0 1 0 621984 13479936 271 4089446400 134512640 134550932 4292539968 18446744073709551615 1336965 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/3885/statm: 3291 276 140 10 0 1121 0 [startup+0.033471 s] /proc/loadavg: 0.99 0.69 0.39 1/170 3885 /proc/meminfo: memFree=32409448/32951124 swapFree=67111528/67111528 [pid=3885] ppid=3883 vsize=1526332 CPUtime=0.02 /proc/3885/stat : 3885 (java) S 3883 3885 3795 0 -1 4202496 3724 0 1 0 2 0 0 0 20 0 13 0 621984 1562963968 3165 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/3885/statm: 381583 3166 1033 10 0 378893 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1526332 [startup+0.10144 s] /proc/loadavg: 0.99 0.69 0.39 1/170 3885 /proc/meminfo: memFree=32409448/32951124 swapFree=67111528/67111528 [pid=3885] ppid=3883 vsize=1529912 CPUtime=0.11 /proc/3885/stat : 3885 (java) S 3883 3885 3795 0 -1 4202496 5206 0 1 0 10 1 0 0 20 0 18 0 621984 1566629888 4643 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/3885/statm: 382478 4643 1347 10 0 379781 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1529912 [startup+0.300389 s] /proc/loadavg: 0.99 0.69 0.39 1/170 3885 /proc/meminfo: memFree=32409448/32951124 swapFree=67111528/67111528 [pid=3885] ppid=3883 vsize=1533472 CPUtime=0.6 /proc/3885/stat : 3885 (java) S 3883 3885 3795 0 -1 4202496 8530 0 1 0 59 1 0 0 20 0 18 0 621984 1570275328 7825 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/3885/statm: 383368 7826 1413 10 0 380671 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 1533472 [startup+0.700316 s] /proc/loadavg: 0.99 0.69 0.39 1/170 3885 /proc/meminfo: memFree=32409448/32951124 swapFree=67111528/67111528 [pid=3885] ppid=3883 vsize=1545460 CPUtime=1.68 /proc/3885/stat : 3885 (java) S 3883 3885 3795 0 -1 4202496 16056 0 1 0 166 2 0 0 20 0 19 0 621984 1582551040 13215 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/3885/statm: 386365 13215 1425 10 0 383668 0 Current children cumulated CPU time (s) 1.68 Current children cumulated vsize (KiB) 1545460 [startup+1.50118 s] /proc/loadavg: 0.99 0.69 0.39 2/189 3904 /proc/meminfo: memFree=32356348/32951124 swapFree=67111528/67111528 [pid=3885] ppid=3883 vsize=1545460 CPUtime=2.53 /proc/3885/stat : 3885 (java) S 3883 3885 3795 0 -1 4202496 19188 0 1 0 250 3 0 0 20 0 19 0 621984 1582551040 16346 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/3885/statm: 386365 16347 1425 10 0 383668 0 [pid=3885/tid=3887] ppid=3883 vsize=1545460 CPUtime=1.48 /proc/3885/task/3887/stat : 3887 (java) R 3883 3885 3795 0 -1 4202560 11326 0 1 0 147 1 0 0 20 0 19 0 621984 1582551040 16347 4089446400 134512640 134550932 4292539968 18446744073709551615 106834530 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=3885/tid=3888] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3888/stat : 3888 (java) S 3883 3885 3795 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 621985 1582551040 16347 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3889] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3889/stat : 3889 (java) S 3883 3885 3795 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 621985 1582551040 16347 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3890] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3890/stat : 3890 (java) S 3883 3885 3795 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 621985 1582551040 16347 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3891] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3891/stat : 3891 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 621985 1582551040 16347 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3892] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3892/stat : 3892 (java) S 3883 3885 3795 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 621985 1582551040 16347 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3893] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3893/stat : 3893 (java) S 3883 3885 3795 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 621985 1582551040 16347 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3894] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3894/stat : 3894 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 621985 1582551040 16347 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3895] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3895/stat : 3895 (java) S 3883 3885 3795 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 621985 1582551040 16347 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3896] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3896/stat : 3896 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 621986 1582551040 16347 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 0 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3897] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3897/stat : 3897 (java) S 3883 3885 3795 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 621986 1582551040 16347 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3898] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3898/stat : 3898 (java) S 3883 3885 3795 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 621986 1582551040 16347 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3899] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3899/stat : 3899 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 621988 1582551040 16347 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3900] ppid=3883 vsize=1545460 CPUtime=0.51 /proc/3885/task/3900/stat : 3900 (java) S 3883 3885 3795 0 -1 4202560 3645 0 0 0 51 0 0 0 15 0 19 0 621988 1582551040 16347 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 6 0 0 0 [pid=3885/tid=3901] ppid=3883 vsize=1545460 CPUtime=0.51 /proc/3885/task/3901/stat : 3901 (java) S 3883 3885 3795 0 -1 4202560 3143 0 0 0 51 0 0 0 24 0 19 0 621988 1582551040 16347 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 0 0 0 0 [pid=3885/tid=3902] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3902/stat : 3902 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 621988 1582551040 16347 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3903] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3903/stat : 3903 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 621988 1582551040 16347 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3904] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3904/stat : 3904 (java) S 3883 3885 3795 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 622019 1582551040 16347 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.53 Current children cumulated vsize (KiB) 1545460 [startup+3.10089 s] /proc/loadavg: 0.99 0.69 0.39 2/189 3904 /proc/meminfo: memFree=32346960/32951124 swapFree=67111528/67111528 [pid=3885] ppid=3883 vsize=1545460 CPUtime=4.12 /proc/3885/stat : 3885 (java) S 3883 3885 3795 0 -1 4202496 21113 0 1 0 409 3 0 0 20 0 19 0 621984 1582551040 18271 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/3885/statm: 386365 18271 1425 10 0 383668 0 [pid=3885/tid=3887] ppid=3883 vsize=1545460 CPUtime=3.08 /proc/3885/task/3887/stat : 3887 (java) R 3883 3885 3795 0 -1 4202560 13250 0 1 0 306 2 0 0 25 0 19 0 621984 1582551040 18271 4089446400 134512640 134550932 4292539968 18446744073709551615 4109380210 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=3885/tid=3888] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3888/stat : 3888 (java) S 3883 3885 3795 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 621985 1582551040 18271 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3889] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3889/stat : 3889 (java) S 3883 3885 3795 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 621985 1582551040 18271 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3890] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3890/stat : 3890 (java) S 3883 3885 3795 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 621985 1582551040 18271 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3891] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3891/stat : 3891 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 621985 1582551040 18271 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3892] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3892/stat : 3892 (java) S 3883 3885 3795 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 621985 1582551040 18271 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3893] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3893/stat : 3893 (java) S 3883 3885 3795 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 621985 1582551040 18271 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3894] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3894/stat : 3894 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 621985 1582551040 18271 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3895] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3895/stat : 3895 (java) S 3883 3885 3795 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 19 0 621985 1582551040 18271 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3896] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3896/stat : 3896 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 621986 1582551040 18271 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 0 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3897] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3897/stat : 3897 (java) S 3883 3885 3795 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 621986 1582551040 18271 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3898] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3898/stat : 3898 (java) S 3883 3885 3795 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 621986 1582551040 18271 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3899] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3899/stat : 3899 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 621988 1582551040 18272 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3900] ppid=3883 vsize=1545460 CPUtime=0.51 /proc/3885/task/3900/stat : 3900 (java) S 3883 3885 3795 0 -1 4202560 3645 0 0 0 51 0 0 0 15 0 19 0 621988 1582551040 18272 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 6 0 0 0 [pid=3885/tid=3901] ppid=3883 vsize=1545460 CPUtime=0.51 /proc/3885/task/3901/stat : 3901 (java) S 3883 3885 3795 0 -1 4202560 3143 0 0 0 51 0 0 0 24 0 19 0 621988 1582551040 18272 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 0 0 0 0 [pid=3885/tid=3902] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3902/stat : 3902 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 621988 1582551040 18272 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3903] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3903/stat : 3903 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 621988 1582551040 18272 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3904] ppid=3883 vsize=1545460 CPUtime=0 /proc/3885/task/3904/stat : 3904 (java) S 3883 3885 3795 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 622019 1582551040 18272 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4.12 Current children cumulated vsize (KiB) 1545460 [startup+6.30133 s] /proc/loadavg: 0.99 0.69 0.39 2/189 3905 /proc/meminfo: memFree=32318564/32951124 swapFree=67111528/67111528 [pid=3885] ppid=3883 vsize=1543868 CPUtime=7.35 /proc/3885/stat : 3885 (java) S 3883 3885 3795 0 -1 4202496 27505 0 1 0 732 3 0 0 20 0 19 0 621984 1580920832 24177 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/3885/statm: 385967 24177 1439 10 0 383270 0 [pid=3885/tid=3887] ppid=3883 vsize=1543868 CPUtime=6.26 /proc/3885/task/3887/stat : 3887 (java) R 3883 3885 3795 0 -1 4202560 14299 0 1 0 624 2 0 0 21 0 19 0 621984 1580920832 24177 4089446400 134512640 134550932 4292539968 18446744073709551615 4109378974 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=3885/tid=3888] ppid=3883 vsize=1543868 CPUtime=0 /proc/3885/task/3888/stat : 3888 (java) S 3883 3885 3795 0 -1 4202560 683 0 0 0 0 0 0 0 18 0 19 0 621985 1580920832 24177 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 7 0 0 0 [pid=3885/tid=3889] ppid=3883 vsize=1543868 CPUtime=0 /proc/3885/task/3889/stat : 3889 (java) S 3883 3885 3795 0 -1 4202560 575 0 0 0 0 0 0 0 18 0 19 0 621985 1580920832 24177 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3890] ppid=3883 vsize=1543868 CPUtime=0 /proc/3885/task/3890/stat : 3890 (java) S 3883 3885 3795 0 -1 4202560 950 0 0 0 0 0 0 0 18 0 19 0 621985 1580920832 24177 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 0 0 0 0 [pid=3885/tid=3891] ppid=3883 vsize=1543868 CPUtime=0 /proc/3885/task/3891/stat : 3891 (java) S 3883 3885 3795 0 -1 4202560 433 0 0 0 0 0 0 0 18 0 19 0 621985 1580920832 24177 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 6 0 0 0 [pid=3885/tid=3892] ppid=3883 vsize=1543868 CPUtime=0 /proc/3885/task/3892/stat : 3892 (java) S 3883 3885 3795 0 -1 4202560 75 0 0 0 0 0 0 0 17 0 19 0 621985 1580920832 24177 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 7 0 0 0 [pid=3885/tid=3893] ppid=3883 vsize=1543868 CPUtime=0 /proc/3885/task/3893/stat : 3893 (java) S 3883 3885 3795 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 19 0 621985 1580920832 24177 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 2 0 0 0 [pid=3885/tid=3894] ppid=3883 vsize=1543868 CPUtime=0 /proc/3885/task/3894/stat : 3894 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 621985 1580920832 24177 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3895] ppid=3883 vsize=1543868 CPUtime=0 /proc/3885/task/3895/stat : 3895 (java) S 3883 3885 3795 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 621985 1580920832 24177 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3896] ppid=3883 vsize=1543868 CPUtime=0.01 /proc/3885/task/3896/stat : 3896 (java) S 3883 3885 3795 0 -1 4202560 2579 0 0 0 1 0 0 0 15 0 19 0 621986 1580920832 24177 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 0 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3897] ppid=3883 vsize=1543868 CPUtime=0 /proc/3885/task/3897/stat : 3897 (java) S 3883 3885 3795 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 621986 1580920832 24177 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3898] ppid=3883 vsize=1543868 CPUtime=0 /proc/3885/task/3898/stat : 3898 (java) S 3883 3885 3795 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 621986 1580920832 24177 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3899] ppid=3883 vsize=1543868 CPUtime=0 /proc/3885/task/3899/stat : 3899 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 621988 1580920832 24177 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3900] ppid=3883 vsize=1543868 CPUtime=0.52 /proc/3885/task/3900/stat : 3900 (java) S 3883 3885 3795 0 -1 4202560 3649 0 0 0 52 0 0 0 16 0 19 0 621988 1580920832 24177 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 6 0 0 0 [pid=3885/tid=3901] ppid=3883 vsize=1543868 CPUtime=0.52 /proc/3885/task/3901/stat : 3901 (java) S 3883 3885 3795 0 -1 4202560 3148 0 0 0 52 0 0 0 17 0 19 0 621988 1580920832 24177 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 0 0 0 0 [pid=3885/tid=3902] ppid=3883 vsize=1543868 CPUtime=0 /proc/3885/task/3902/stat : 3902 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 621988 1580920832 24177 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3903] ppid=3883 vsize=1543868 CPUtime=0 /proc/3885/task/3903/stat : 3903 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 621988 1580920832 24177 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3904] ppid=3883 vsize=1543868 CPUtime=0 /proc/3885/task/3904/stat : 3904 (java) S 3883 3885 3795 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 622019 1580920832 24177 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 7.35 Current children cumulated vsize (KiB) 1543868 [startup+12.7012 s] /proc/loadavg: 0.99 0.70 0.39 2/189 3905 /proc/meminfo: memFree=32297520/32951124 swapFree=67111528/67111528 [pid=3885] ppid=3883 vsize=1542008 CPUtime=13.82 /proc/3885/stat : 3885 (java) S 3883 3885 3795 0 -1 4202496 33433 0 1 0 1377 5 0 0 20 0 19 0 621984 1579016192 29640 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/3885/statm: 385502 29640 1441 10 0 382805 0 [pid=3885/tid=3887] ppid=3883 vsize=1542008 CPUtime=12.63 /proc/3885/task/3887/stat : 3887 (java) R 3883 3885 3795 0 -1 4202560 14300 0 1 0 1261 2 0 0 25 0 19 0 621984 1579016192 29640 4089446400 134512640 134550932 4292539968 18446744073709551615 4109396868 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=3885/tid=3888] ppid=3883 vsize=1542008 CPUtime=0 /proc/3885/task/3888/stat : 3888 (java) S 3883 3885 3795 0 -1 4202560 1276 0 0 0 0 0 0 0 18 0 19 0 621985 1579016192 29640 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 7 0 0 0 ################ # More data... # ################ [pid=3885/tid=3893] ppid=3883 vsize=1543032 CPUtime=0.47 /proc/3885/task/3893/stat : 3893 (java) S 3883 3885 3795 0 -1 4202560 4926 0 0 0 44 3 0 0 16 0 19 0 621985 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 7 0 0 0 [pid=3885/tid=3894] ppid=3883 vsize=1543032 CPUtime=0.51 /proc/3885/task/3894/stat : 3894 (java) S 3883 3885 3795 0 -1 4202560 4317 0 0 0 49 2 0 0 16 0 19 0 621985 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 2 0 0 0 [pid=3885/tid=3895] ppid=3883 vsize=1543032 CPUtime=0.51 /proc/3885/task/3895/stat : 3895 (java) S 3883 3885 3795 0 -1 4202560 5726 0 0 0 49 2 0 0 15 0 19 0 621985 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 0 0 0 0 [pid=3885/tid=3896] ppid=3883 vsize=1543032 CPUtime=3.05 /proc/3885/task/3896/stat : 3896 (java) S 3883 3885 3795 0 -1 4202560 8359 0 0 0 302 3 0 0 15 0 19 0 621986 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 0 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3897] ppid=3883 vsize=1543032 CPUtime=0 /proc/3885/task/3897/stat : 3897 (java) S 3883 3885 3795 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 621986 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3898] ppid=3883 vsize=1543032 CPUtime=0 /proc/3885/task/3898/stat : 3898 (java) S 3883 3885 3795 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 621986 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3899] ppid=3883 vsize=1543032 CPUtime=0 /proc/3885/task/3899/stat : 3899 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 621988 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3900] ppid=3883 vsize=1543032 CPUtime=0.55 /proc/3885/task/3900/stat : 3900 (java) S 3883 3885 3795 0 -1 4202560 3655 0 0 0 55 0 0 0 15 0 19 0 621988 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 6 0 0 0 [pid=3885/tid=3901] ppid=3883 vsize=1543032 CPUtime=0.61 /proc/3885/task/3901/stat : 3901 (java) S 3883 3885 3795 0 -1 4202560 3172 0 0 0 61 0 0 0 15 0 19 0 621988 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 0 0 0 0 [pid=3885/tid=3902] ppid=3883 vsize=1543032 CPUtime=0 /proc/3885/task/3902/stat : 3902 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 621988 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3903] ppid=3883 vsize=1543032 CPUtime=0 /proc/3885/task/3903/stat : 3903 (java) S 3883 3885 3795 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 621988 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 6 0 0 0 [pid=3885/tid=3904] ppid=3883 vsize=1543032 CPUtime=0 /proc/3885/task/3904/stat : 3904 (java) S 3883 3885 3795 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 622019 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1727.01 Current children cumulated vsize (KiB) 1543032 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.87 2/189 3955 /proc/meminfo: memFree=32084744/32951124 swapFree=67111528/67111528 [pid=3885] ppid=3883 vsize=1543032 CPUtime=1787.1 /proc/3885/stat : 3885 (java) S 3883 3885 3795 0 -1 4202496 92150 0 1 0 178674 36 0 0 20 0 19 0 621984 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/3885/statm: 385758 82471 1441 10 0 383061 0 [pid=3885/tid=3887] ppid=3883 vsize=1543032 CPUtime=1778.53 /proc/3885/task/3887/stat : 3887 (java) R 3883 3885 3795 0 -1 4202560 30544 0 1 0 177847 6 0 0 25 0 19 0 621984 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4109514940 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=3885/tid=3888] ppid=3883 vsize=1543032 CPUtime=0.51 /proc/3885/task/3888/stat : 3888 (java) S 3883 3885 3795 0 -1 4202560 6501 0 0 0 47 4 0 0 16 0 19 0 621985 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 5 0 0 0 [pid=3885/tid=3889] ppid=3883 vsize=1543032 CPUtime=0.54 /proc/3885/task/3889/stat : 3889 (java) S 3883 3885 3795 0 -1 4202560 5333 0 0 0 51 3 0 0 16 0 19 0 621985 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3890] ppid=3883 vsize=1543032 CPUtime=0.52 /proc/3885/task/3890/stat : 3890 (java) S 3883 3885 3795 0 -1 4202560 7097 0 0 0 49 3 0 0 16 0 19 0 621985 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 3 0 0 0 [pid=3885/tid=3891] ppid=3883 vsize=1543032 CPUtime=0.53 /proc/3885/task/3891/stat : 3891 (java) S 3883 3885 3795 0 -1 4202560 5770 0 0 0 50 3 0 0 15 0 19 0 621985 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 6 0 0 0 [pid=3885/tid=3892] ppid=3883 vsize=1543032 CPUtime=0.52 /proc/3885/task/3892/stat : 3892 (java) S 3883 3885 3795 0 -1 4202560 5578 0 0 0 49 3 0 0 16 0 19 0 621985 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 5 0 0 0 [pid=3885/tid=3893] ppid=3883 vsize=1543032 CPUtime=0.48 /proc/3885/task/3893/stat : 3893 (java) S 3883 3885 3795 0 -1 4202560 4926 0 0 0 45 3 0 0 16 0 19 0 621985 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 7 0 0 0 [pid=3885/tid=3894] ppid=3883 vsize=1543032 CPUtime=0.53 /proc/3885/task/3894/stat : 3894 (java) S 3883 3885 3795 0 -1 4202560 4317 0 0 0 51 2 0 0 15 0 19 0 621985 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 2 0 0 0 [pid=3885/tid=3895] ppid=3883 vsize=1543032 CPUtime=0.52 /proc/3885/task/3895/stat : 3895 (java) S 3883 3885 3795 0 -1 4202560 5726 0 0 0 50 2 0 0 15 0 19 0 621985 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 0 0 0 0 [pid=3885/tid=3896] ppid=3883 vsize=1543032 CPUtime=3.15 /proc/3885/task/3896/stat : 3896 (java) S 3883 3885 3795 0 -1 4202560 8361 0 0 0 312 3 0 0 15 0 19 0 621986 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 0 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3897] ppid=3883 vsize=1543032 CPUtime=0 /proc/3885/task/3897/stat : 3897 (java) S 3883 3885 3795 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 621986 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3898] ppid=3883 vsize=1543032 CPUtime=0 /proc/3885/task/3898/stat : 3898 (java) S 3883 3885 3795 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 621986 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3899] ppid=3883 vsize=1543032 CPUtime=0 /proc/3885/task/3899/stat : 3899 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 621988 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3900] ppid=3883 vsize=1543032 CPUtime=0.55 /proc/3885/task/3900/stat : 3900 (java) S 3883 3885 3795 0 -1 4202560 3655 0 0 0 55 0 0 0 15 0 19 0 621988 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 6 0 0 0 [pid=3885/tid=3901] ppid=3883 vsize=1543032 CPUtime=0.61 /proc/3885/task/3901/stat : 3901 (java) S 3883 3885 3795 0 -1 4202560 3172 0 0 0 61 0 0 0 15 0 19 0 621988 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 0 0 0 0 [pid=3885/tid=3902] ppid=3883 vsize=1543032 CPUtime=0 /proc/3885/task/3902/stat : 3902 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 621988 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3903] ppid=3883 vsize=1543032 CPUtime=0 /proc/3885/task/3903/stat : 3903 (java) S 3883 3885 3795 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 621988 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 6 0 0 0 [pid=3885/tid=3904] ppid=3883 vsize=1543032 CPUtime=0 /proc/3885/task/3904/stat : 3904 (java) S 3883 3885 3795 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 622019 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1787.1 Current children cumulated vsize (KiB) 1543032 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.21 s] /proc/loadavg: 1.00 1.00 0.87 2/189 3955 /proc/meminfo: memFree=32084600/32951124 swapFree=67111528/67111528 [pid=3885] ppid=3883 vsize=1543032 CPUtime=1800.07 /proc/3885/stat : 3885 (java) S 3883 3885 3795 0 -1 4202496 92155 0 1 0 179970 37 0 0 20 0 19 0 621984 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/3885/statm: 385758 82471 1441 10 0 383061 0 [pid=3885/tid=3887] ppid=3883 vsize=1543032 CPUtime=1791.39 /proc/3885/task/3887/stat : 3887 (java) R 3883 3885 3795 0 -1 4202560 30545 0 1 0 179133 6 0 0 25 0 19 0 621984 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4109514880 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=3885/tid=3888] ppid=3883 vsize=1543032 CPUtime=0.52 /proc/3885/task/3888/stat : 3888 (java) S 3883 3885 3795 0 -1 4202560 6501 0 0 0 48 4 0 0 15 0 19 0 621985 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 5 0 0 0 [pid=3885/tid=3889] ppid=3883 vsize=1543032 CPUtime=0.55 /proc/3885/task/3889/stat : 3889 (java) S 3883 3885 3795 0 -1 4202560 5333 0 0 0 52 3 0 0 15 0 19 0 621985 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3890] ppid=3883 vsize=1543032 CPUtime=0.53 /proc/3885/task/3890/stat : 3890 (java) S 3883 3885 3795 0 -1 4202560 7097 0 0 0 50 3 0 0 15 0 19 0 621985 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 3 0 0 0 [pid=3885/tid=3891] ppid=3883 vsize=1543032 CPUtime=0.54 /proc/3885/task/3891/stat : 3891 (java) S 3883 3885 3795 0 -1 4202560 5770 0 0 0 51 3 0 0 15 0 19 0 621985 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 6 0 0 0 [pid=3885/tid=3892] ppid=3883 vsize=1543032 CPUtime=0.53 /proc/3885/task/3892/stat : 3892 (java) S 3883 3885 3795 0 -1 4202560 5578 0 0 0 50 3 0 0 15 0 19 0 621985 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 7 0 0 0 [pid=3885/tid=3893] ppid=3883 vsize=1543032 CPUtime=0.49 /proc/3885/task/3893/stat : 3893 (java) S 3883 3885 3795 0 -1 4202560 4926 0 0 0 46 3 0 0 16 0 19 0 621985 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 7 0 0 0 [pid=3885/tid=3894] ppid=3883 vsize=1543032 CPUtime=0.53 /proc/3885/task/3894/stat : 3894 (java) S 3883 3885 3795 0 -1 4202560 4317 0 0 0 51 2 0 0 16 0 19 0 621985 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 2 0 0 0 [pid=3885/tid=3895] ppid=3883 vsize=1543032 CPUtime=0.53 /proc/3885/task/3895/stat : 3895 (java) S 3883 3885 3795 0 -1 4202560 5726 0 0 0 51 2 0 0 16 0 19 0 621985 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 0 0 0 0 [pid=3885/tid=3896] ppid=3883 vsize=1543032 CPUtime=3.19 /proc/3885/task/3896/stat : 3896 (java) S 3883 3885 3795 0 -1 4202560 8363 0 0 0 316 3 0 0 15 0 19 0 621986 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 0 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3897] ppid=3883 vsize=1543032 CPUtime=0 /proc/3885/task/3897/stat : 3897 (java) S 3883 3885 3795 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 621986 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3898] ppid=3883 vsize=1543032 CPUtime=0 /proc/3885/task/3898/stat : 3898 (java) S 3883 3885 3795 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 19 0 621986 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3899] ppid=3883 vsize=1543032 CPUtime=0 /proc/3885/task/3899/stat : 3899 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 621988 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3900] ppid=3883 vsize=1543032 CPUtime=0.55 /proc/3885/task/3900/stat : 3900 (java) S 3883 3885 3795 0 -1 4202560 3655 0 0 0 55 0 0 0 15 0 19 0 621988 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 6 0 0 0 [pid=3885/tid=3901] ppid=3883 vsize=1543032 CPUtime=0.61 /proc/3885/task/3901/stat : 3901 (java) S 3883 3885 3795 0 -1 4202560 3172 0 0 0 61 0 0 0 15 0 19 0 621988 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 0 0 0 0 [pid=3885/tid=3902] ppid=3883 vsize=1543032 CPUtime=0 /proc/3885/task/3902/stat : 3902 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 621988 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3903] ppid=3883 vsize=1543032 CPUtime=0 /proc/3885/task/3903/stat : 3903 (java) S 3883 3885 3795 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 621988 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 6 0 0 0 [pid=3885/tid=3904] ppid=3883 vsize=1543032 CPUtime=0 /proc/3885/task/3904/stat : 3904 (java) S 3883 3885 3795 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 622019 1580064768 82471 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1543032 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1795.31 s] /proc/loadavg: 1.00 1.00 0.87 2/189 3955 /proc/meminfo: memFree=32084600/32951124 swapFree=67111528/67111528 [pid=3885] ppid=3883 vsize=1543680 CPUtime=1800.24 /proc/3885/stat : 3885 (java) S 3883 3885 3795 0 -1 4202496 92182 0 1 0 179987 37 0 0 18 0 20 0 621984 1580728320 82498 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/3885/statm: 385920 82498 1444 10 0 383223 0 [pid=3885/tid=3887] ppid=3883 vsize=1543680 CPUtime=1791.49 /proc/3885/task/3887/stat : 3887 (java) R 3883 3885 3795 0 -1 4202560 30545 0 1 0 179143 6 0 0 25 0 20 0 621984 1580728320 82498 4089446400 134512640 134550932 4292539968 18446744073709551615 4109358140 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=3885/tid=3888] ppid=3883 vsize=1543680 CPUtime=0.52 /proc/3885/task/3888/stat : 3888 (java) S 3883 3885 3795 0 -1 4202560 6501 0 0 0 48 4 0 0 15 0 20 0 621985 1580728320 82498 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 5 0 0 0 [pid=3885/tid=3889] ppid=3883 vsize=1543680 CPUtime=0.55 /proc/3885/task/3889/stat : 3889 (java) S 3883 3885 3795 0 -1 4202560 5333 0 0 0 52 3 0 0 15 0 20 0 621985 1580728320 82498 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3890] ppid=3883 vsize=1543680 CPUtime=0.53 /proc/3885/task/3890/stat : 3890 (java) S 3883 3885 3795 0 -1 4202560 7097 0 0 0 50 3 0 0 15 0 20 0 621985 1580728320 82498 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 3 0 0 0 [pid=3885/tid=3891] ppid=3883 vsize=1543680 CPUtime=0.54 /proc/3885/task/3891/stat : 3891 (java) S 3883 3885 3795 0 -1 4202560 5770 0 0 0 51 3 0 0 15 0 20 0 621985 1580728320 82498 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 6 0 0 0 [pid=3885/tid=3892] ppid=3883 vsize=1543680 CPUtime=0.53 /proc/3885/task/3892/stat : 3892 (java) S 3883 3885 3795 0 -1 4202560 5578 0 0 0 50 3 0 0 15 0 20 0 621985 1580728320 82498 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 7 0 0 0 [pid=3885/tid=3893] ppid=3883 vsize=1543680 CPUtime=0.49 /proc/3885/task/3893/stat : 3893 (java) S 3883 3885 3795 0 -1 4202560 4926 0 0 0 46 3 0 0 16 0 20 0 621985 1580728320 82498 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 7 0 0 0 [pid=3885/tid=3894] ppid=3883 vsize=1543680 CPUtime=0.53 /proc/3885/task/3894/stat : 3894 (java) S 3883 3885 3795 0 -1 4202560 4317 0 0 0 51 2 0 0 16 0 20 0 621985 1580728320 82498 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 2 0 0 0 [pid=3885/tid=3895] ppid=3883 vsize=1543680 CPUtime=0.53 /proc/3885/task/3895/stat : 3895 (java) S 3883 3885 3795 0 -1 4202560 5726 0 0 0 51 2 0 0 16 0 20 0 621985 1580728320 82498 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 0 0 0 0 [pid=3885/tid=3896] ppid=3883 vsize=1543680 CPUtime=3.19 /proc/3885/task/3896/stat : 3896 (java) S 3883 3885 3795 0 -1 4202560 8363 0 0 0 316 3 0 0 15 0 20 0 621986 1580728320 82498 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 0 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3897] ppid=3883 vsize=1543680 CPUtime=0 /proc/3885/task/3897/stat : 3897 (java) S 3883 3885 3795 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 20 0 621986 1580728320 82498 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3898] ppid=3883 vsize=1543680 CPUtime=0 /proc/3885/task/3898/stat : 3898 (java) S 3883 3885 3795 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 20 0 621986 1580728320 82498 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 1 0 0 0 [pid=3885/tid=3899] ppid=3883 vsize=1543680 CPUtime=0 /proc/3885/task/3899/stat : 3899 (java) S 3883 3885 3795 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 20 0 621988 1580728320 82498 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 4 [pid=3885/tid=3900] ppid=3883 vsize=1543680 CPUtime=0.57 /proc/3885/task/3900/stat : 3900 (java) S 3883 3885 3795 0 -1 4202560 3660 0 0 0 57 0 0 0 15 0 20 0 621988 1580728320 82498 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 6 0 0 0 [pid=3885/tid=3901] ppid=3883 vsize=1543680 CPUtime=0.63 /proc/3885/task/3901/stat : 3901 (java) S 3883 3885 3795 0 -1 4202560 3174 0 0 0 63 0 0 0 15 0 20 0 621988 1580728320 82498 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 0 0 0 0 [pid=3885/tid=3902] ppid=3883 vsize=1543680 CPUtime=0 /proc/3885/task/3902/stat : 3902 (java) S 3883 3885 3795 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 621988 1580728320 82498 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 4 0 0 0 [pid=3885/tid=3903] ppid=3883 vsize=1543680 CPUtime=0 /proc/3885/task/3903/stat : 3903 (java) S 3883 3885 3795 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 20 0 621988 1580728320 82498 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 6 0 0 0 [pid=3885/tid=3904] ppid=3883 vsize=1543680 CPUtime=0 /proc/3885/task/3904/stat : 3904 (java) S 3883 3885 3795 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 622019 1580728320 82498 4089446400 134512640 134550932 4292539968 18446744073709551615 4294960144 0 4 0 16800975 18446604471124966144 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 1543680 Child status: 143 Real time (s): 1795.35 CPU time (s): 1800.28 CPU user time (s): 1799.9 CPU system time (s): 0.383941 CPU usage (%): 100.275 Max. virtual memory (cumulated for all children) (KiB): 1546100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.9 system time used= 0.383941 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92182 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38934 involuntary context switches= 4726 runsolver used 2.82257 second user time and 6.92895 second system time The end
Begin job on node103 at 2010-07-05 12:01:16 IDJOB=2698265 IDBENCH=78716 IDSOLVER=1211 FILE ID=node103/2698265-1278324076 PBS_JOBID= 11207488 Free space on /tmp= 74204 MiB SOLVER NAME= SAT4J PB Resolution 2.2.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100--soft-33-100-0.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698265-1278324076/watcher-2698265-1278324076 -o /tmp/evaluation-result-2698265-1278324076/solver-2698265-1278324076 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698265-1278324076.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7f95aa45daecbcbe8d128ff4aa3d1714 RANDOM SEED=1983986818 node103.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.793 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.793 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.793 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.793 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.793 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.793 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.793 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.793 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5408.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 32409968 kB Buffers: 18456 kB Cached: 361876 kB SwapCached: 0 kB Active: 109476 kB Inactive: 332024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 32409968 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 552 kB Writeback: 0 kB AnonPages: 61036 kB Mapped: 14408 kB Slab: 35708 kB PageTables: 3772 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 182084 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node103 at 2010-07-05 12:31:13