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