Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat 4j PB Resolution 2.3.2 Snapshot | OPT | 75.5025 | 73.8321 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_8_mh_ic.opb |
| MD5SUM | 92eaf5bbbb67d6b3b242e002852c9043 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5227195 |
| Best CPU time to get the best result obtained on this benchmark | 75.5025 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 114791256 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 4434739271 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 114791256 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 4434739271 |
| Number of bits of the biggest sum of numbers | 33 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.06/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.06/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.10 c See www.sat4j.org for details. 0.06/0.11 c version 2.3.2.v20120418 0.06/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.11 c java.vm.version 19.1-b02 0.06/0.11 c java.vm.vendor Sun Microsystems Inc. 0.06/0.11 c sun.arch.data.model 64 0.06/0.11 c java.version 1.6.0_24 0.06/0.11 c os.name Linux 0.06/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.11 c os.arch amd64 0.06/0.11 c Free memory 501472288 0.06/0.11 c Max memory 7480803328 0.06/0.11 c Total memory 504102912 0.06/0.11 c Number of processors 8 0.06/0.13 c Pseudo Boolean Optimization by upper bound 0.06/0.13 c --- Begin Solver configuration --- 0.06/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.06/0.13 c Learn all clauses as in MiniSAT 0.06/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.06/0.13 c No reason simplification 0.06/0.13 c Armin Biere (Picosat) restarts strategy 0.06/0.13 c Glucose learned constraints deletion strategy 0.06/0.13 c timeout=2147483s 0.06/0.13 c DB Simplification allowed=false 0.06/0.13 c c --- End Solver configuration --- 0.06/0.13 c solving HOME/instance-3690043-1337895380.opb 0.06/0.13 c reading problem ... 0.63/0.49 c ... done. Wall clock time 0.361s. 0.63/0.49 c declared #vars 9765 0.63/0.49 c #constraints 21927 0.63/0.49 c constraints type 0.63/0.49 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 0.63/0.49 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 0.63/0.49 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.63/0.49 c ignored satisfied constraints => 4 0.63/0.49 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 0.63/0.49 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 0.63/0.49 c 21931 constraints processed. 0.63/0.49 c objective function length is 4005 literals 1.36/0.71 c SATISFIABLE 1.36/0.71 c OPTIMIZING... 1.36/0.71 c Got one! Elapsed wall clock time (in seconds):0.579 1.36/0.71 o 6412471 1.59/0.80 c Got one! Elapsed wall clock time (in seconds):0.666 1.59/0.80 o 6049181 3.16/2.22 c cleaning 2606 clauses out of 5216 with flag 5000/5218 3.83/2.86 c Got one! Elapsed wall clock time (in seconds):2.725 3.83/2.86 o 6024140 3.83/2.89 c Got one! Elapsed wall clock time (in seconds):2.757 3.83/2.89 o 5886842 4.84/3.70 c cleaning 3968 clauses out of 7956 with flag 3000/10575 6.45/5.38 c cleaning 4994 clauses out of 9989 with flag 9001/16576 8.35/7.25 c cleaning 5998 clauses out of 11996 with flag 16002/23577 10.41/9.25 c cleaning 6997 clauses out of 13996 with flag 24000/31575 11.02/9.87 c Got one! Elapsed wall clock time (in seconds):9.735 11.02/9.87 o 5810371 11.45/10.21 c Got one! Elapsed wall clock time (in seconds):10.078 11.45/10.21 o 5780316 11.95/10.73 c cleaning 6457 clauses out of 12918 with flag 2002/37495 13.25/12.01 c Got one! Elapsed wall clock time (in seconds):11.879 13.25/12.01 o 5759533 13.45/12.20 c cleaning 6148 clauses out of 12322 with flag 1002/43356 14.46/13.27 c Got one! Elapsed wall clock time (in seconds):13.143 14.46/13.27 o 5745468 14.65/13.45 c cleaning 6004 clauses out of 12017 with flag 1001/49200 14.76/13.55 c Got one! Elapsed wall clock time (in seconds):13.422 14.76/13.55 o 5738781 14.86/13.62 c Got one! Elapsed wall clock time (in seconds):13.484 14.86/13.62 o 5727298 14.86/13.67 c Got one! Elapsed wall clock time (in seconds):13.541 14.86/13.67 o 5706688 14.96/13.73 c Got one! Elapsed wall clock time (in seconds):13.594 14.96/13.73 o 5670396 14.96/13.73 c Got one! Elapsed wall clock time (in seconds):13.603 14.96/13.73 o 5656846 14.96/13.74 c Got one! Elapsed wall clock time (in seconds):13.61 14.96/13.74 o 5652959 14.96/13.75 c Got one! Elapsed wall clock time (in seconds):13.618 14.96/13.75 o 5576969 14.96/13.76 c Got one! Elapsed wall clock time (in seconds):13.627 14.96/13.76 o 5575194 14.96/13.77 c Got one! Elapsed wall clock time (in seconds):13.634 14.96/13.77 o 5565835 15.06/13.81 c Got one! Elapsed wall clock time (in seconds):13.675 15.06/13.81 o 5555537 15.06/13.82 c Got one! Elapsed wall clock time (in seconds):13.684 15.06/13.82 o 5544529 15.06/13.83 c Got one! Elapsed wall clock time (in seconds):13.693 15.06/13.83 o 5534703 15.06/13.84 c Got one! Elapsed wall clock time (in seconds):13.707 15.06/13.84 o 5521153 15.06/13.85 c Got one! Elapsed wall clock time (in seconds):13.715 15.06/13.85 o 5517266 15.06/13.85 c Got one! Elapsed wall clock time (in seconds):13.722 15.06/13.85 o 5441276 15.06/13.86 c Got one! Elapsed wall clock time (in seconds):13.732 15.06/13.86 o 5439501 15.06/13.87 c Got one! Elapsed wall clock time (in seconds):13.739 15.06/13.87 o 5430142 15.40/14.11 c Got one! Elapsed wall clock time (in seconds):13.975 15.40/14.11 o 5414149 16.40/15.13 c cleaning 6391 clauses out of 12809 with flag 4001/55996 17.22/15.91 c Got one! Elapsed wall clock time (in seconds):15.78 17.22/15.91 o 5401361 17.72/16.42 c cleaning 5715 clauses out of 11470 with flag 2001/61049 19.22/17.90 c cleaning 5857 clauses out of 11754 with flag 8000/67048 21.04/19.74 c cleaning 6448 clauses out of 12898 with flag 15001/74049 23.13/21.86 c cleaning 7224 clauses out of 14448 with flag 23000/82048 25.56/24.20 c cleaning 8105 clauses out of 16224 with flag 32001/91049 28.17/26.88 c cleaning 9058 clauses out of 18115 with flag 42000/101048 31.19/29.82 c cleaning 10025 clauses out of 20057 with flag 53000/112048 34.40/33.02 c cleaning 11007 clauses out of 22032 with flag 65001/124049 35.30/33.93 c Got one! Elapsed wall clock time (in seconds):33.802 35.30/33.93 o 5345146 35.70/34.32 c cleaning 8247 clauses out of 16533 with flag 2000/129557 37.20/35.89 c cleaning 7133 clauses out of 14287 with flag 8001/135558 39.32/37.90 c cleaning 7068 clauses out of 14152 with flag 15000/142557 40.62/39.24 c Got one! Elapsed wall clock time (in seconds):39.107 40.62/39.24 o 5303705 40.83/39.46 c cleaning 6439 clauses out of 12892 with flag 1000/148365 41.24/39.87 c Got one! Elapsed wall clock time (in seconds):39.742 41.24/39.87 o 5294783 41.55/40.10 c Got one! Elapsed wall clock time (in seconds):39.967 41.55/40.10 o 5259591 42.06/40.68 c Got one! Elapsed wall clock time (in seconds):40.548 42.06/40.68 o 5258790 42.35/40.95 c cleaning 6392 clauses out of 12790 with flag 1002/154703 43.87/42.50 c cleaning 6187 clauses out of 12397 with flag 7001/160702 45.68/44.22 c cleaning 6592 clauses out of 13208 with flag 14000/167701 47.59/46.17 c cleaning 7307 clauses out of 14616 with flag 22000/175701 49.98/48.50 c cleaning 8149 clauses out of 16311 with flag 31002/184703 52.29/50.83 c cleaning 9071 clauses out of 18160 with flag 41000/194701 54.90/53.48 c cleaning 10041 clauses out of 20086 with flag 52001/205702 57.80/56.35 c cleaning 11021 clauses out of 22043 with flag 64000/217701 61.01/59.58 c cleaning 12001 clauses out of 24020 with flag 77000/230701 64.14/62.68 c cleaning 13007 clauses out of 26018 with flag 91000/244701 67.44/66.00 c cleaning 14003 clauses out of 28008 with flag 106000/259701 68.94/67.45 c Got one! Elapsed wall clock time (in seconds):67.316 68.94/67.45 o 5236554 69.44/67.95 c Got one! Elapsed wall clock time (in seconds):67.82 69.44/67.95 o 5227195 70.04/68.54 c cleaning 12924 clauses out of 25859 with flag 3000/271556 71.34/69.89 c cleaning 9462 clauses out of 18923 with flag 9002/277558 73.07/71.56 c cleaning 8226 clauses out of 16457 with flag 16000/284556 74.86/73.35 c cleaning 8108 clauses out of 16227 with flag 24000/292556 75.36/73.80 c starts : 152 75.36/73.80 c conflicts : 294652 75.36/73.80 c decisions : 765762 75.36/73.80 c propagations : 100972107 75.36/73.80 c inspects : 372846483 75.36/73.80 c shortcuts : 0 75.36/73.80 c learnt literals : 64 75.36/73.80 c learnt binary clauses : 123 75.36/73.80 c learnt ternary clauses : 215 75.36/73.81 c learnt constraints : 294587 75.36/73.81 c ignored constraints : 0 75.36/73.81 c root simplifications : 0 75.36/73.81 c removed literals (reason simplification) : 0 75.36/73.81 c reason swapping (by a shorter reason) : 0 75.36/73.81 c Calls to reduceDB : 36 75.36/73.81 c number of reductions to clauses (during analyze) : 0 75.36/73.81 c number of learned constraints concerned by reduction : 0 75.36/73.81 c number of learning phase by resolution : 0 75.36/73.81 c number of learning phase by cutting planes : 0 75.36/73.81 c speed (assignments/second) : 1377856.8679894109 75.36/73.81 c non guided choices 7136 75.36/73.81 c learnt constraints type 75.36/73.81 c constraints type 75.36/73.81 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 75.36/73.81 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 75.36/73.81 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 75.36/73.81 c ignored satisfied constraints => 4 75.36/73.81 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 75.36/73.81 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 75.36/73.81 c 21931 constraints processed. 75.36/73.81 s OPTIMUM FOUND 75.36/73.82 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 75.36/73.82 c objective function=5227195 75.36/73.82 c Total wall clock time (in seconds): 73.693
OK 5227195
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690043-1337895380/watcher-3690043-1337895380 -o /tmp/evaluation-result-3690043-1337895380/solver-3690043-1337895380 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690043-1337895380.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 1.99 1.99 2/174 29779 /proc/meminfo: memFree=29562592/32873844 swapFree=7900/7900 [pid=29779] ppid=29776 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/29779/stat : 29779 (java) D 29776 29779 23987 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 255662527 278528 33 33554432000 1073741824 1073778376 140734734924064 140734734921240 225435544871 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/29779/statm: 68 33 25 9 0 25 0 [startup+0.0342111 s] /proc/loadavg: 1.93 1.99 1.99 2/174 29779 /proc/meminfo: memFree=29562592/32873844 swapFree=7900/7900 [pid=29779] ppid=29776 vsize=8471396 CPUtime=0 cores=0,2,4,6 /proc/29779/stat : 29779 (java) S 29776 29779 23987 0 -1 4202496 1609 0 1 0 0 0 0 0 20 0 2 0 255662527 8674709504 1801 33554432000 1073741824 1073778376 140735927450896 140735927442032 225448067133 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29779/statm: 2117849 1802 938 9 0 2108958 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8471396 [startup+0.100215 s] /proc/loadavg: 1.93 1.99 1.99 2/174 29779 /proc/meminfo: memFree=29562592/32873844 swapFree=7900/7900 [pid=29779] ppid=29776 vsize=9558412 CPUtime=0.06 cores=0,2,4,6 /proc/29779/stat : 29779 (java) S 29776 29779 23987 0 -1 4202496 3356 0 1 0 5 1 0 0 20 0 18 0 255662527 9787813888 4565 33554432000 1073741824 1073778376 140735927450896 140735927442032 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29779/statm: 2389603 4565 1772 9 0 2380296 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9558412 [startup+0.300233 s] /proc/loadavg: 1.93 1.99 1.99 2/174 29779 /proc/meminfo: memFree=29562592/32873844 swapFree=7900/7900 [pid=29779] ppid=29776 vsize=9558412 CPUtime=0.44 cores=0,2,4,6 /proc/29779/stat : 29779 (java) S 29776 29779 23987 0 -1 4202496 5432 0 1 0 43 1 0 0 20 0 18 0 255662527 9787813888 8460 33554432000 1073741824 1073778376 140735927450896 140735927442032 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29779/statm: 2389603 8460 2215 9 0 2380296 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 9558412 [startup+0.700226 s] /proc/loadavg: 1.93 1.99 1.99 2/174 29779 /proc/meminfo: memFree=29562592/32873844 swapFree=7900/7900 [pid=29779] ppid=29776 vsize=9624976 CPUtime=1.36 cores=0,2,4,6 /proc/29779/stat : 29779 (java) S 29776 29779 23987 0 -1 4202496 9215 0 1 0 133 3 0 0 20 0 19 0 255662527 9855975424 21376 33554432000 1073741824 1073778376 140735927450896 140735927442032 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29779/statm: 2406244 21376 2251 9 0 2396937 0 Current children cumulated CPU time (s) 1.36 Current children cumulated vsize (KiB) 9624976 [startup+1.50067 s] /proc/loadavg: 1.94 1.99 1.99 3/213 29825 /proc/meminfo: memFree=29306696/32873844 swapFree=7900/7900 [pid=29779] ppid=29776 vsize=9624976 CPUtime=2.44 cores=0,2,4,6 /proc/29779/stat : 29779 (java) S 29776 29779 23987 0 -1 4202496 10194 0 1 0 241 3 0 0 20 0 19 0 255662527 9855975424 22917 33554432000 1073741824 1073778376 140735927450896 140735927442032 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29779/statm: 2406244 22917 2256 9 0 2396937 0 [pid=29779/tid=29781] ppid=29776 vsize=9624976 CPUtime=1.45 cores=0,2,4,6 /proc/29779/task/29781/stat : 29781 (java) R 29776 29779 23987 0 -1 4202560 2492 0 1 0 143 2 0 0 20 0 19 0 255662529 9855975424 22917 33554432000 1073741824 1073778376 140735927450896 140303078547784 140302908979290 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29782] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29782/stat : 29782 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 22917 33554432000 1073741824 1073778376 140735927450896 140303040039592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29783] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29783/stat : 29783 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 22917 33554432000 1073741824 1073778376 140735927450896 140303038987048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29779/tid=29784] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29784/stat : 29784 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 22917 33554432000 1073741824 1073778376 140735927450896 140303037934504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29779/tid=29785] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29785/stat : 29785 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 22917 33554432000 1073741824 1073778376 140735927450896 140303036881960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29786] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29786/stat : 29786 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 22917 33554432000 1073741824 1073778376 140735927450896 140303035828392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29787] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29787/stat : 29787 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 22917 33554432000 1073741824 1073778376 140735927450896 140303034775848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29788] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29788/stat : 29788 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 22917 33554432000 1073741824 1073778376 140735927450896 140303033723304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29789] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29789/stat : 29789 (java) S 29776 29779 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 22917 33554432000 1073741824 1073778376 140735927450896 140303032670760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29790] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29790/stat : 29790 (java) S 29776 29779 23987 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255662531 9855975424 22917 33554432000 1073741824 1073778376 140735927450896 140302901807720 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29791] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29791/stat : 29791 (java) S 29776 29779 23987 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255662532 9855975424 22917 33554432000 1073741824 1073778376 140735927450896 140302900754040 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29792] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29792/stat : 29792 (java) S 29776 29779 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255662532 9855975424 22917 33554432000 1073741824 1073778376 140735927450896 140302899701384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29793] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29793/stat : 29793 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662535 9855975424 22917 33554432000 1073741824 1073778376 140735927450896 140302898650128 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29794] ppid=29776 vsize=9624976 CPUtime=0.53 cores=0,2,4,6 /proc/29779/task/29794/stat : 29794 (java) S 29776 29779 23987 0 -1 4202560 4705 0 0 0 53 0 0 0 20 0 19 0 255662535 9855975424 22917 33554432000 1073741824 1073778376 140735927450896 140302897596472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29779/tid=29795] ppid=29776 vsize=9624976 CPUtime=0.42 cores=0,2,4,6 /proc/29779/task/29795/stat : 29795 (java) S 29776 29779 23987 0 -1 4202560 1797 0 0 0 42 0 0 0 20 0 19 0 255662535 9855975424 22917 33554432000 1073741824 1073778376 140735927450896 140302896543928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29796] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29796/stat : 29796 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662535 9855975424 22917 33554432000 1073741824 1073778376 140735927450896 140302895491576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29797] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29797/stat : 29797 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662535 9855975424 22917 33554432000 1073741824 1073778376 140735927450896 140302894439240 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29825] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29825/stat : 29825 (java) S 29776 29779 23987 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255662579 9855975424 22917 33554432000 1073741824 1073778376 140735927450896 140302893385000 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.44 Current children cumulated vsize (KiB) 9624976 [startup+3.10064 s] /proc/loadavg: 1.94 1.99 1.99 3/214 29826 /proc/meminfo: memFree=29282292/32873844 swapFree=7900/7900 [pid=29779] ppid=29776 vsize=9624976 CPUtime=4.18 cores=0,2,4,6 /proc/29779/stat : 29779 (java) S 29776 29779 23987 0 -1 4202496 10993 0 1 0 414 4 0 0 20 0 19 0 255662527 9855975424 28090 33554432000 1073741824 1073778376 140735927450896 140735927442032 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29779/statm: 2406244 28090 2281 9 0 2396937 0 [pid=29779/tid=29781] ppid=29776 vsize=9624976 CPUtime=3.01 cores=0,2,4,6 /proc/29779/task/29781/stat : 29781 (java) R 29776 29779 23987 0 -1 4202560 2496 0 1 0 299 2 0 0 20 0 19 0 255662529 9855975424 28090 33554432000 1073741824 1073778376 140735927450896 140303078547832 140302908908064 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29782] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29782/stat : 29782 (java) S 29776 29779 23987 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 28090 33554432000 1073741824 1073778376 140735927450896 140303040039592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29783] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29783/stat : 29783 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 28090 33554432000 1073741824 1073778376 140735927450896 140303038987048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29779/tid=29784] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29784/stat : 29784 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 28090 33554432000 1073741824 1073778376 140735927450896 140303037934504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29779/tid=29785] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29785/stat : 29785 (java) S 29776 29779 23987 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 28090 33554432000 1073741824 1073778376 140735927450896 140303036881960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29786] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29786/stat : 29786 (java) S 29776 29779 23987 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 28090 33554432000 1073741824 1073778376 140735927450896 140303035828392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29779/tid=29787] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29787/stat : 29787 (java) S 29776 29779 23987 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 28090 33554432000 1073741824 1073778376 140735927450896 140303034775848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29779/tid=29788] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29788/stat : 29788 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 28090 33554432000 1073741824 1073778376 140735927450896 140303033723304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29779/tid=29789] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29789/stat : 29789 (java) S 29776 29779 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 28090 33554432000 1073741824 1073778376 140735927450896 140303032670760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29790] ppid=29776 vsize=9624976 CPUtime=0.01 cores=0,2,4,6 /proc/29779/task/29790/stat : 29790 (java) S 29776 29779 23987 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 255662531 9855975424 28090 33554432000 1073741824 1073778376 140735927450896 140302901807720 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29791] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29791/stat : 29791 (java) S 29776 29779 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255662532 9855975424 28090 33554432000 1073741824 1073778376 140735927450896 140302900754040 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29792] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29792/stat : 29792 (java) S 29776 29779 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255662532 9855975424 28090 33554432000 1073741824 1073778376 140735927450896 140302899701384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29793] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29793/stat : 29793 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662535 9855975424 28090 33554432000 1073741824 1073778376 140735927450896 140302898650128 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29794] ppid=29776 vsize=9624976 CPUtime=0.62 cores=0,2,4,6 /proc/29779/task/29794/stat : 29794 (java) S 29776 29779 23987 0 -1 4202560 5431 0 0 0 62 0 0 0 20 0 19 0 255662535 9855975424 28090 33554432000 1073741824 1073778376 140735927450896 140302897596472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29779/tid=29795] ppid=29776 vsize=9624976 CPUtime=0.44 cores=0,2,4,6 /proc/29779/task/29795/stat : 29795 (java) S 29776 29779 23987 0 -1 4202560 1807 0 0 0 44 0 0 0 20 0 19 0 255662535 9855975424 28090 33554432000 1073741824 1073778376 140735927450896 140302896543928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29796] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29796/stat : 29796 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662535 9855975424 28090 33554432000 1073741824 1073778376 140735927450896 140302895491576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29797] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29797/stat : 29797 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662535 9855975424 28090 33554432000 1073741824 1073778376 140735927450896 140302894439240 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29825] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29825/stat : 29825 (java) S 29776 29779 23987 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255662579 9855975424 28090 33554432000 1073741824 1073778376 140735927450896 140302893385000 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.18 Current children cumulated vsize (KiB) 9624976 [startup+6.30062 s] /proc/loadavg: 1.94 1.99 1.99 3/214 29826 /proc/meminfo: memFree=29257468/32873844 swapFree=7900/7900 [pid=29779] ppid=29776 vsize=9624976 CPUtime=7.45 cores=0,2,4,6 /proc/29779/stat : 29779 (java) S 29776 29779 23987 0 -1 4202496 11039 0 1 0 741 4 0 0 20 0 19 0 255662527 9855975424 29632 33554432000 1073741824 1073778376 140735927450896 140735927442032 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29779/statm: 2406244 29632 2281 9 0 2396937 0 [pid=29779/tid=29781] ppid=29776 vsize=9624976 CPUtime=6.16 cores=0,2,4,6 /proc/29779/task/29781/stat : 29781 (java) R 29776 29779 23987 0 -1 4202560 2500 0 1 0 614 2 0 0 20 0 19 0 255662529 9855975424 29632 33554432000 1073741824 1073778376 140735927450896 140303078547744 140302909019600 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29782] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29782/stat : 29782 (java) S 29776 29779 23987 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 29632 33554432000 1073741824 1073778376 140735927450896 140303040039592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29783] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29783/stat : 29783 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 29632 33554432000 1073741824 1073778376 140735927450896 140303038987048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29779/tid=29784] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29784/stat : 29784 (java) S 29776 29779 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 29632 33554432000 1073741824 1073778376 140735927450896 140303037934504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29785] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29785/stat : 29785 (java) S 29776 29779 23987 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 29632 33554432000 1073741824 1073778376 140735927450896 140303036881960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29779/tid=29786] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29786/stat : 29786 (java) S 29776 29779 23987 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 29632 33554432000 1073741824 1073778376 140735927450896 140303035828392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29779/tid=29787] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29787/stat : 29787 (java) S 29776 29779 23987 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 29632 33554432000 1073741824 1073778376 140735927450896 140303034775848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29779/tid=29788] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29788/stat : 29788 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 29632 33554432000 1073741824 1073778376 140735927450896 140303033723304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29779/tid=29789] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29789/stat : 29789 (java) S 29776 29779 23987 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255662530 9855975424 29632 33554432000 1073741824 1073778376 140735927450896 140303032670760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29790] ppid=29776 vsize=9624976 CPUtime=0.05 cores=0,2,4,6 /proc/29779/task/29790/stat : 29790 (java) S 29776 29779 23987 0 -1 4202560 41 0 0 0 5 0 0 0 20 0 19 0 255662531 9855975424 29632 33554432000 1073741824 1073778376 140735927450896 140302901807720 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29779/tid=29791] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29791/stat : 29791 (java) S 29776 29779 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255662532 9855975424 29632 33554432000 1073741824 1073778376 140735927450896 140302900754040 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29792] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29792/stat : 29792 (java) S 29776 29779 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255662532 9855975424 29632 33554432000 1073741824 1073778376 140735927450896 140302899701384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29793] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29793/stat : 29793 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662535 9855975424 29632 33554432000 1073741824 1073778376 140735927450896 140302898650128 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29794] ppid=29776 vsize=9624976 CPUtime=0.66 cores=0,2,4,6 /proc/29779/task/29794/stat : 29794 (java) S 29776 29779 23987 0 -1 4202560 5431 0 0 0 66 0 0 0 20 0 19 0 255662535 9855975424 29632 33554432000 1073741824 1073778376 140735927450896 140302897596472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29779/tid=29795] ppid=29776 vsize=9624976 CPUtime=0.48 cores=0,2,4,6 /proc/29779/task/29795/stat : 29795 (java) S 29776 29779 23987 0 -1 4202560 1826 0 0 0 48 0 0 0 20 0 19 0 255662535 9855975424 29632 33554432000 1073741824 1073778376 140735927450896 140302896543928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29796] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29796/stat : 29796 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662535 9855975424 29632 33554432000 1073741824 1073778376 140735927450896 140302895491576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29797] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29797/stat : 29797 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662535 9855975424 29632 33554432000 1073741824 1073778376 140735927450896 140302894439240 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29825] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29825/stat : 29825 (java) S 29776 29779 23987 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255662579 9855975424 29632 33554432000 1073741824 1073778376 140735927450896 140302893385000 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.45 Current children cumulated vsize (KiB) 9624976 [startup+12.7006 s] ################ # More data... # ################ /proc/29779/task/29782/stat : 29782 (java) S 29776 29779 23987 0 -1 4202560 21 0 0 0 5 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303040039592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29783] ppid=29776 vsize=9624976 CPUtime=0.05 cores=0,2,4,6 /proc/29779/task/29783/stat : 29783 (java) S 29776 29779 23987 0 -1 4202560 6 0 0 0 5 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303038987048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29784] ppid=29776 vsize=9624976 CPUtime=0.05 cores=0,2,4,6 /proc/29779/task/29784/stat : 29784 (java) S 29776 29779 23987 0 -1 4202560 6 0 0 0 5 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303037934504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29779/tid=29785] ppid=29776 vsize=9624976 CPUtime=0.05 cores=0,2,4,6 /proc/29779/task/29785/stat : 29785 (java) S 29776 29779 23987 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303036881960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29786] ppid=29776 vsize=9624976 CPUtime=0.03 cores=0,2,4,6 /proc/29779/task/29786/stat : 29786 (java) S 29776 29779 23987 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303035828392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29779/tid=29787] ppid=29776 vsize=9624976 CPUtime=0.04 cores=0,2,4,6 /proc/29779/task/29787/stat : 29787 (java) S 29776 29779 23987 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303034775848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29788] ppid=29776 vsize=9624976 CPUtime=0.04 cores=0,2,4,6 /proc/29779/task/29788/stat : 29788 (java) S 29776 29779 23987 0 -1 4202560 6 0 0 0 4 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303033723304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29789] ppid=29776 vsize=9624976 CPUtime=0.04 cores=0,2,4,6 /proc/29779/task/29789/stat : 29789 (java) S 29776 29779 23987 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303032670760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29790] ppid=29776 vsize=9624976 CPUtime=0.86 cores=0,2,4,6 /proc/29779/task/29790/stat : 29790 (java) S 29776 29779 23987 0 -1 4202560 66 0 0 0 86 0 0 0 20 0 19 0 255662531 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302901807720 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29791] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29791/stat : 29791 (java) S 29776 29779 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255662532 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302900754040 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29792] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29792/stat : 29792 (java) S 29776 29779 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255662532 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302899701384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29793] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29793/stat : 29793 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662535 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302898650128 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29794] ppid=29776 vsize=9624976 CPUtime=0.67 cores=0,2,4,6 /proc/29779/task/29794/stat : 29794 (java) S 29776 29779 23987 0 -1 4202560 5439 0 0 0 67 0 0 0 20 0 19 0 255662535 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302897596472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29779/tid=29795] ppid=29776 vsize=9624976 CPUtime=0.61 cores=0,2,4,6 /proc/29779/task/29795/stat : 29795 (java) S 29776 29779 23987 0 -1 4202560 3003 0 0 0 61 0 0 0 20 0 19 0 255662535 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302896543928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29779/tid=29796] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29796/stat : 29796 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662535 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302895491576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29797] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29797/stat : 29797 (java) S 29776 29779 23987 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255662535 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302894439240 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29825] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29825/stat : 29825 (java) S 29776 29779 23987 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255662579 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302893385000 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 74.26 Current children cumulated vsize (KiB) 9624976 [startup+73.5007 s] /proc/loadavg: 2.28 2.08 2.02 3/213 29826 /proc/meminfo: memFree=29188028/32873844 swapFree=7900/7900 [pid=29779] ppid=29776 vsize=9624976 CPUtime=75.06 cores=0,2,4,6 /proc/29779/stat : 29779 (java) S 29776 29779 23987 0 -1 4202496 12337 0 1 0 7499 7 0 0 20 0 19 0 255662527 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140735927442032 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29779/statm: 2406244 31753 2282 9 0 2396937 0 [pid=29779/tid=29781] ppid=29776 vsize=9624976 CPUtime=72.35 cores=0,2,4,6 /proc/29779/task/29781/stat : 29781 (java) R 29776 29779 23987 0 -1 4202560 2532 0 1 0 7231 4 0 0 20 0 19 0 255662529 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303078547776 140302908971707 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29782] ppid=29776 vsize=9624976 CPUtime=0.05 cores=0,2,4,6 /proc/29779/task/29782/stat : 29782 (java) S 29776 29779 23987 0 -1 4202560 21 0 0 0 5 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303040039592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29783] ppid=29776 vsize=9624976 CPUtime=0.05 cores=0,2,4,6 /proc/29779/task/29783/stat : 29783 (java) S 29776 29779 23987 0 -1 4202560 6 0 0 0 5 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303038987048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29784] ppid=29776 vsize=9624976 CPUtime=0.05 cores=0,2,4,6 /proc/29779/task/29784/stat : 29784 (java) S 29776 29779 23987 0 -1 4202560 6 0 0 0 5 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303037934504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29779/tid=29785] ppid=29776 vsize=9624976 CPUtime=0.05 cores=0,2,4,6 /proc/29779/task/29785/stat : 29785 (java) S 29776 29779 23987 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303036881960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29786] ppid=29776 vsize=9624976 CPUtime=0.03 cores=0,2,4,6 /proc/29779/task/29786/stat : 29786 (java) S 29776 29779 23987 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303035828392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29779/tid=29787] ppid=29776 vsize=9624976 CPUtime=0.04 cores=0,2,4,6 /proc/29779/task/29787/stat : 29787 (java) S 29776 29779 23987 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303034775848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29788] ppid=29776 vsize=9624976 CPUtime=0.04 cores=0,2,4,6 /proc/29779/task/29788/stat : 29788 (java) S 29776 29779 23987 0 -1 4202560 6 0 0 0 4 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303033723304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29789] ppid=29776 vsize=9624976 CPUtime=0.04 cores=0,2,4,6 /proc/29779/task/29789/stat : 29789 (java) S 29776 29779 23987 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303032670760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29790] ppid=29776 vsize=9624976 CPUtime=0.9 cores=0,2,4,6 /proc/29779/task/29790/stat : 29790 (java) S 29776 29779 23987 0 -1 4202560 66 0 0 0 90 0 0 0 20 0 19 0 255662531 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302901807720 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29791] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29791/stat : 29791 (java) S 29776 29779 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255662532 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302900754040 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29792] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29792/stat : 29792 (java) S 29776 29779 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255662532 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302899701384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29793] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29793/stat : 29793 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662535 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302898650128 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29794] ppid=29776 vsize=9624976 CPUtime=0.67 cores=0,2,4,6 /proc/29779/task/29794/stat : 29794 (java) S 29776 29779 23987 0 -1 4202560 5439 0 0 0 67 0 0 0 20 0 19 0 255662535 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302897596472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29779/tid=29795] ppid=29776 vsize=9624976 CPUtime=0.61 cores=0,2,4,6 /proc/29779/task/29795/stat : 29795 (java) S 29776 29779 23987 0 -1 4202560 3003 0 0 0 61 0 0 0 20 0 19 0 255662535 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302896543928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29779/tid=29796] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29796/stat : 29796 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662535 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302895491576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29797] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29797/stat : 29797 (java) S 29776 29779 23987 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255662535 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302894439240 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29825] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29825/stat : 29825 (java) S 29776 29779 23987 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255662579 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302893385000 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 75.06 Current children cumulated vsize (KiB) 9624976 [startup+73.7069 s] /proc/loadavg: 2.28 2.08 2.02 3/213 29826 /proc/meminfo: memFree=29188028/32873844 swapFree=7900/7900 [pid=29779] ppid=29776 vsize=9624976 CPUtime=75.27 cores=0,2,4,6 /proc/29779/stat : 29779 (java) S 29776 29779 23987 0 -1 4202496 12337 0 1 0 7520 7 0 0 20 0 19 0 255662527 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140735927442032 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29779/statm: 2406244 31753 2282 9 0 2396937 0 [pid=29779/tid=29781] ppid=29776 vsize=9624976 CPUtime=72.56 cores=0,2,4,6 /proc/29779/task/29781/stat : 29781 (java) R 29776 29779 23987 0 -1 4202560 2532 0 1 0 7252 4 0 0 20 0 19 0 255662529 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303078547776 140302908812695 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29782] ppid=29776 vsize=9624976 CPUtime=0.05 cores=0,2,4,6 /proc/29779/task/29782/stat : 29782 (java) S 29776 29779 23987 0 -1 4202560 21 0 0 0 5 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303040039592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29783] ppid=29776 vsize=9624976 CPUtime=0.05 cores=0,2,4,6 /proc/29779/task/29783/stat : 29783 (java) S 29776 29779 23987 0 -1 4202560 6 0 0 0 5 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303038987048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29784] ppid=29776 vsize=9624976 CPUtime=0.05 cores=0,2,4,6 /proc/29779/task/29784/stat : 29784 (java) S 29776 29779 23987 0 -1 4202560 6 0 0 0 5 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303037934504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29779/tid=29785] ppid=29776 vsize=9624976 CPUtime=0.05 cores=0,2,4,6 /proc/29779/task/29785/stat : 29785 (java) S 29776 29779 23987 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303036881960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29786] ppid=29776 vsize=9624976 CPUtime=0.03 cores=0,2,4,6 /proc/29779/task/29786/stat : 29786 (java) S 29776 29779 23987 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303035828392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29779/tid=29787] ppid=29776 vsize=9624976 CPUtime=0.04 cores=0,2,4,6 /proc/29779/task/29787/stat : 29787 (java) S 29776 29779 23987 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303034775848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29788] ppid=29776 vsize=9624976 CPUtime=0.04 cores=0,2,4,6 /proc/29779/task/29788/stat : 29788 (java) S 29776 29779 23987 0 -1 4202560 6 0 0 0 4 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303033723304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29789] ppid=29776 vsize=9624976 CPUtime=0.04 cores=0,2,4,6 /proc/29779/task/29789/stat : 29789 (java) S 29776 29779 23987 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303032670760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29790] ppid=29776 vsize=9624976 CPUtime=0.9 cores=0,2,4,6 /proc/29779/task/29790/stat : 29790 (java) S 29776 29779 23987 0 -1 4202560 66 0 0 0 90 0 0 0 20 0 19 0 255662531 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302901807720 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29791] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29791/stat : 29791 (java) S 29776 29779 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255662532 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302900754040 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29792] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29792/stat : 29792 (java) S 29776 29779 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255662532 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302899701384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29793] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29793/stat : 29793 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662535 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302898650128 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29794] ppid=29776 vsize=9624976 CPUtime=0.67 cores=0,2,4,6 /proc/29779/task/29794/stat : 29794 (java) S 29776 29779 23987 0 -1 4202560 5439 0 0 0 67 0 0 0 20 0 19 0 255662535 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302897596472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29779/tid=29795] ppid=29776 vsize=9624976 CPUtime=0.61 cores=0,2,4,6 /proc/29779/task/29795/stat : 29795 (java) S 29776 29779 23987 0 -1 4202560 3003 0 0 0 61 0 0 0 20 0 19 0 255662535 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302896543928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29779/tid=29796] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29796/stat : 29796 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662535 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302895491576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29797] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29797/stat : 29797 (java) S 29776 29779 23987 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255662535 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302894439240 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29825] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29825/stat : 29825 (java) S 29776 29779 23987 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255662579 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302893385000 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 75.27 Current children cumulated vsize (KiB) 9624976 [startup+73.8007 s] /proc/loadavg: 2.28 2.08 2.02 3/213 29826 /proc/meminfo: memFree=29188028/32873844 swapFree=7900/7900 [pid=29779] ppid=29776 vsize=9624976 CPUtime=75.36 cores=0,2,4,6 /proc/29779/stat : 29779 (java) S 29776 29779 23987 0 -1 4202496 12337 0 1 0 7529 7 0 0 20 0 19 0 255662527 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140735927442032 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/29779/statm: 2406244 31753 2282 9 0 2396937 0 [pid=29779/tid=29781] ppid=29776 vsize=9624976 CPUtime=72.65 cores=0,2,4,6 /proc/29779/task/29781/stat : 29781 (java) R 29776 29779 23987 0 -1 4202560 2532 0 1 0 7261 4 0 0 20 0 19 0 255662529 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303078547776 140302908978811 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29782] ppid=29776 vsize=9624976 CPUtime=0.05 cores=0,2,4,6 /proc/29779/task/29782/stat : 29782 (java) S 29776 29779 23987 0 -1 4202560 21 0 0 0 5 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303040039592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29783] ppid=29776 vsize=9624976 CPUtime=0.05 cores=0,2,4,6 /proc/29779/task/29783/stat : 29783 (java) S 29776 29779 23987 0 -1 4202560 6 0 0 0 5 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303038987048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29784] ppid=29776 vsize=9624976 CPUtime=0.05 cores=0,2,4,6 /proc/29779/task/29784/stat : 29784 (java) S 29776 29779 23987 0 -1 4202560 6 0 0 0 5 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303037934504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29779/tid=29785] ppid=29776 vsize=9624976 CPUtime=0.05 cores=0,2,4,6 /proc/29779/task/29785/stat : 29785 (java) S 29776 29779 23987 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303036881960 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29786] ppid=29776 vsize=9624976 CPUtime=0.03 cores=0,2,4,6 /proc/29779/task/29786/stat : 29786 (java) S 29776 29779 23987 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303035828392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29779/tid=29787] ppid=29776 vsize=9624976 CPUtime=0.04 cores=0,2,4,6 /proc/29779/task/29787/stat : 29787 (java) S 29776 29779 23987 0 -1 4202560 22 0 0 0 4 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303034775848 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29788] ppid=29776 vsize=9624976 CPUtime=0.04 cores=0,2,4,6 /proc/29779/task/29788/stat : 29788 (java) S 29776 29779 23987 0 -1 4202560 6 0 0 0 4 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303033723304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29789] ppid=29776 vsize=9624976 CPUtime=0.04 cores=0,2,4,6 /proc/29779/task/29789/stat : 29789 (java) S 29776 29779 23987 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 19 0 255662530 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140303032670760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29790] ppid=29776 vsize=9624976 CPUtime=0.9 cores=0,2,4,6 /proc/29779/task/29790/stat : 29790 (java) S 29776 29779 23987 0 -1 4202560 66 0 0 0 90 0 0 0 20 0 19 0 255662531 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302901807720 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29791] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29791/stat : 29791 (java) S 29776 29779 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255662532 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302900754040 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29792] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29792/stat : 29792 (java) S 29776 29779 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255662532 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302899701384 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29793] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29793/stat : 29793 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662535 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302898650128 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29794] ppid=29776 vsize=9624976 CPUtime=0.67 cores=0,2,4,6 /proc/29779/task/29794/stat : 29794 (java) S 29776 29779 23987 0 -1 4202560 5439 0 0 0 67 0 0 0 20 0 19 0 255662535 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302897596472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29779/tid=29795] ppid=29776 vsize=9624976 CPUtime=0.61 cores=0,2,4,6 /proc/29779/task/29795/stat : 29795 (java) S 29776 29779 23987 0 -1 4202560 3003 0 0 0 61 0 0 0 20 0 19 0 255662535 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302896543928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29779/tid=29796] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29796/stat : 29796 (java) S 29776 29779 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255662535 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302895491576 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29779/tid=29797] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29797/stat : 29797 (java) S 29776 29779 23987 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255662535 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302894439240 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29779/tid=29825] ppid=29776 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/29779/task/29825/stat : 29825 (java) S 29776 29779 23987 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255662579 9855975424 31753 33554432000 1073741824 1073778376 140735927450896 140302893385000 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 75.36 Current children cumulated vsize (KiB) 9624976 Child status: 30 Real time (s): 73.8321 CPU time (s): 75.5025 CPU user time (s): 75.3195 CPU system time (s): 0.182972 CPU usage (%): 102.262 Max. virtual memory (cumulated for all children) (KiB): 9625292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 75.3195 system time used= 0.182972 maximum resident set size= 128056 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12356 page faults= 1 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2886 involuntary context switches= 2324 runsolver used 0.166974 second user time and 0.407937 second system time The end
Begin job on node137 at 2012-05-24 23:36:20 IDJOB=3690043 IDBENCH=92668 IDSOLVER=2269 FILE ID=node137/3690043-1337895380 RUNJOBID= node137-1337895380-29761 PBS_JOBID= 14620067 Free space on /tmp= 71516 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_8_mh_ic.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690043-1337895380/watcher-3690043-1337895380 -o /tmp/evaluation-result-3690043-1337895380/solver-3690043-1337895380 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690043-1337895380.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 92eaf5bbbb67d6b3b242e002852c9043 RANDOM SEED=777692040 node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.20 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29563344 kB Buffers: 232716 kB Cached: 2272532 kB SwapCached: 22060 kB Active: 732024 kB Inactive: 1796948 kB Active(anon): 3276 kB Inactive(anon): 22680 kB Active(file): 728748 kB Inactive(file): 1774268 kB Unevictable: 7900 kB Mlocked: 7900 kB SwapTotal: 67108856 kB SwapFree: 67081504 kB Dirty: 1196 kB Writeback: 0 kB AnonPages: 10968 kB Mapped: 9084 kB Shmem: 0 kB Slab: 640732 kB SReclaimable: 81908 kB SUnreclaim: 558824 kB KernelStack: 1392 kB PageTables: 4340 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 104600 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71512 MiB End job on node137 at 2012-05-24 23:37:34