Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 775 | 1800.7 | 945.297 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb |
MD5SUM | 093efae700664f798191c0b27cec34af |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 419 |
Best CPU time to get the best result obtained on this benchmark | 1792.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 447 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 494527 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 494527 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.05/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.05/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.09 c See www.sat4j.org for details. 0.05/0.09 c version 2.3.2.v20120418 0.05/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.09 c java.vm.version 19.1-b02 0.05/0.09 c java.vm.vendor Sun Microsystems Inc. 0.05/0.09 c sun.arch.data.model 64 0.05/0.09 c java.version 1.6.0_24 0.05/0.09 c os.name Linux 0.05/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.05/0.09 c os.arch amd64 0.05/0.09 c Free memory 501472288 0.05/0.09 c Max memory 7480803328 0.05/0.09 c Total memory 504102912 0.05/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3687612-1337872822.opb 0.09/0.12 c reading problem ... 5.02/3.58 c ... done. Wall clock time 3.455s. 5.02/3.58 c declared #vars 10000 5.02/3.58 c #constraints 656900 5.02/3.58 c constraints type 5.02/3.58 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 5.02/3.58 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 5.02/3.58 c 656900 constraints processed. 5.02/3.58 c constraints type 5.02/3.58 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 5.02/3.58 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 5.02/3.58 c 656900 constraints processed. 5.02/3.58 c objective function length is 10000 literals 6.22/3.92 c And the winner is solver0 6.34/4.09 c SATISFIABLE 6.34/4.09 c OPTIMIZING... 6.34/4.09 c Got one! Elapsed wall clock time (in seconds):3.966 6.34/4.09 o 1741 6.69/4.29 c And the winner is solver0 7.08/4.65 c Got one! Elapsed wall clock time (in seconds):4.522 7.08/4.65 o 775 9.73/5.91 c cleaning 2679 clauses out of 5357 with flag 5002/5357 13.14/7.69 c cleaning 4337 clauses out of 8676 with flag 11000/11355 16.86/9.60 c cleaning 5670 clauses out of 11339 with flag 18000/18355 20.99/11.80 c cleaning 6830 clauses out of 13670 with flag 26001/26356 25.85/14.40 c cleaning 7921 clauses out of 15841 with flag 35002/35357 30.98/17.18 c cleaning 8959 clauses out of 17918 with flag 45000/45355 37.32/20.34 c cleaning 9980 clauses out of 19959 with flag 56000/56355 43.98/23.86 c cleaning 10989 clauses out of 21979 with flag 68000/68355 51.63/27.96 c cleaning 11995 clauses out of 23990 with flag 81000/81355 60.48/32.50 c cleaning 12998 clauses out of 25996 with flag 95001/95356 69.72/37.38 c cleaning 13999 clauses out of 27997 with flag 110000/110355 79.54/42.43 c cleaning 14987 clauses out of 29999 with flag 126001/126356 90.31/48.14 c cleaning 15999 clauses out of 32011 with flag 143000/143355 102.04/54.20 c cleaning 17001 clauses out of 34013 with flag 161001/161356 114.19/60.58 c cleaning 18005 clauses out of 36013 with flag 180002/180357 126.32/66.81 c cleaning 19000 clauses out of 38006 with flag 200000/200355 138.94/73.56 c cleaning 20003 clauses out of 40006 with flag 221000/221355 152.06/80.39 c cleaning 20998 clauses out of 42003 with flag 243000/243355 166.32/87.71 c cleaning 21999 clauses out of 44005 with flag 266000/266355 181.77/95.74 c cleaning 22997 clauses out of 46006 with flag 290000/290355 198.12/104.35 c cleaning 24005 clauses out of 48012 with flag 315003/315358 214.34/112.77 c cleaning 24998 clauses out of 50009 with flag 341005/341360 229.98/120.87 c cleaning 26000 clauses out of 52007 with flag 368001/368356 247.30/129.75 c cleaning 26992 clauses out of 54006 with flag 396000/396355 265.38/139.22 c cleaning 27997 clauses out of 56015 with flag 425001/425356 285.55/149.64 c cleaning 29007 clauses out of 58018 with flag 455001/455356 304.13/159.21 c cleaning 30000 clauses out of 60011 with flag 486001/486356 323.95/169.42 c cleaning 30990 clauses out of 62010 with flag 518000/518355 343.34/179.64 c cleaning 31999 clauses out of 64021 with flag 551001/551356 364.30/190.42 c cleaning 33002 clauses out of 66023 with flag 585002/585357 386.25/201.77 c cleaning 34007 clauses out of 68022 with flag 620003/620358 410.92/214.44 c cleaning 35003 clauses out of 70013 with flag 656001/656356 435.38/227.22 c cleaning 36000 clauses out of 72009 with flag 693000/693355 458.62/239.26 c cleaning 37001 clauses out of 74009 with flag 731000/731355 483.04/251.83 c cleaning 37986 clauses out of 76008 with flag 770000/770355 507.46/264.46 c cleaning 39008 clauses out of 78022 with flag 810000/810355 533.27/277.96 c cleaning 39995 clauses out of 80014 with flag 851000/851355 558.50/290.93 c cleaning 41002 clauses out of 82020 with flag 893001/893356 586.69/305.45 c cleaning 42005 clauses out of 84018 with flag 936001/936356 616.24/320.69 c cleaning 42999 clauses out of 86014 with flag 980002/980357 649.31/337.82 c cleaning 43988 clauses out of 88014 with flag 1025001/1025356 682.61/354.91 c cleaning 45004 clauses out of 90025 with flag 1071000/1071355 716.03/372.29 c cleaning 46005 clauses out of 92021 with flag 1118000/1118355 751.10/390.50 c cleaning 46994 clauses out of 94016 with flag 1166000/1166355 782.19/406.99 c cleaning 47996 clauses out of 96022 with flag 1215000/1215355 810.92/421.97 c cleaning 49010 clauses out of 98026 with flag 1265000/1265355 842.00/438.17 c cleaning 49997 clauses out of 100016 with flag 1316000/1316355 880.39/458.07 c cleaning 50997 clauses out of 102020 with flag 1368001/1368356 916.48/477.25 c cleaning 52006 clauses out of 104022 with flag 1421000/1421355 952.78/496.20 c cleaning 52998 clauses out of 106016 with flag 1475000/1475355 986.94/514.00 c cleaning 54003 clauses out of 108021 with flag 1530003/1530358 1023.52/533.02 c cleaning 54989 clauses out of 110017 with flag 1586002/1586357 1063.03/553.96 c cleaning 56006 clauses out of 112027 with flag 1643001/1643356 1101.14/573.79 c cleaning 57004 clauses out of 114020 with flag 1701000/1701355 1139.22/593.69 c cleaning 57994 clauses out of 116017 with flag 1760001/1760356 1182.16/616.09 c cleaning 59004 clauses out of 118023 with flag 1820001/1820356 1225.84/639.38 c cleaning 59982 clauses out of 120018 with flag 1881000/1881355 1270.48/662.67 c cleaning 61006 clauses out of 122036 with flag 1943000/1943355 1317.05/688.07 c cleaning 62011 clauses out of 124031 with flag 2006001/2006356 1363.98/712.52 c cleaning 63008 clauses out of 126023 with flag 2070004/2070359 1410.87/738.45 c cleaning 63999 clauses out of 128011 with flag 2135000/2135355 1456.62/762.04 c cleaning 64993 clauses out of 130014 with flag 2201002/2201357 1505.36/788.29 c cleaning 65983 clauses out of 132020 with flag 2268001/2268356 1550.81/812.12 c cleaning 66978 clauses out of 134036 with flag 2336000/2336355 1592.73/834.35 c cleaning 68007 clauses out of 136059 with flag 2405001/2405356 1645.75/864.58 c cleaning 69010 clauses out of 138051 with flag 2475000/2475355 1704.78/894.81 c cleaning 70008 clauses out of 140041 with flag 2546000/2546355 1757.79/922.66 c cleaning 71007 clauses out of 142033 with flag 2618000/2618355 1800.02/945.21 c starts : 233 1800.02/945.21 c conflicts : 2681916 1800.02/945.21 c decisions : 7671414 1800.02/945.21 c propagations : 693878587 1800.02/945.21 c inspects : 941324571 1800.02/945.21 c shortcuts : 0 1800.02/945.21 c learnt literals : 0 1800.02/945.21 c learnt binary clauses : 0 1800.02/945.21 c learnt ternary clauses : 0 1800.02/945.21 c learnt constraints : 2681916 1800.02/945.21 c ignored constraints : 0 1800.02/945.21 c root simplifications : 0 1800.02/945.21 c removed literals (reason simplification) : 229934937 1800.02/945.21 c reason swapping (by a shorter reason) : 0 1800.02/945.21 c Calls to reduceDB : 68 1800.02/945.21 c number of reductions to clauses (during analyze) : 0 1800.02/945.21 c number of learned constraints concerned by reduction : 0 1800.02/945.21 c number of learning phase by resolution : 0 1800.02/945.21 c number of learning phase by cutting planes : 0 1800.02/945.21 c speed (assignments/second) : 736921.0496690711 1800.02/945.21 c non guided choices 0 1800.02/945.24 c learnt constraints type 1800.02/945.24 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 134666 1800.02/945.24 c constraints type 1800.02/945.24 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 1800.02/945.24 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 1800.02/945.24 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.02/945.24 c 656901 constraints processed. 1800.02/945.24 c constraints type 1800.02/945.24 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 1800.02/945.24 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 1800.02/945.24 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.02/945.24 c 656901 constraints processed. 1800.02/945.24 s SATISFIABLE 1800.02/945.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 1800.02/945.26 c objective function=775 1800.02/945.26 c Total wall clock time (in seconds): 945.133
OK 775
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-3687612-1337872822/watcher-3687612-1337872822 -o /tmp/evaluation-result-3687612-1337872822/solver-3687612-1337872822 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687612-1337872822.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.21 3.86 2.52 4/196 405 /proc/meminfo: memFree=27164200/32873852 swapFree=6848/6848 [pid=405] ppid=403 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/405/stat : 405 (java) D 403 405 32594 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 253408143 278528 33 33554432000 1073741824 1073778376 140737109184672 140737109181848 273439354151 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/405/statm: 68 33 25 9 0 25 0 [startup+0.083341 s] /proc/loadavg: 4.21 3.86 2.52 4/196 405 /proc/meminfo: memFree=27164200/32873852 swapFree=6848/6848 [pid=405] ppid=403 vsize=9558412 CPUtime=0.05 cores=0,2,4,6 /proc/405/stat : 405 (java) S 403 405 32594 0 -1 4202496 3325 0 1 0 5 0 0 0 20 0 18 0 253408143 9787813888 4533 33554432000 1073741824 1073778376 140734106868672 140734106859808 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2389603 4534 1771 9 0 2380296 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9558412 [startup+0.100274 s] /proc/loadavg: 4.21 3.86 2.52 4/196 405 /proc/meminfo: memFree=27164200/32873852 swapFree=6848/6848 [pid=405] ppid=403 vsize=9558412 CPUtime=0.09 cores=0,2,4,6 /proc/405/stat : 405 (java) S 403 405 32594 0 -1 4202496 4257 0 1 0 8 1 0 0 20 0 18 0 253408143 9787813888 5454 33554432000 1073741824 1073778376 140734106868672 140734106859808 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2389603 5454 2108 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.300255 s] /proc/loadavg: 4.21 3.86 2.52 4/196 405 /proc/meminfo: memFree=27164200/32873852 swapFree=6848/6848 [pid=405] ppid=403 vsize=9558412 CPUtime=0.46 cores=0,2,4,6 /proc/405/stat : 405 (java) S 403 405 32594 0 -1 4202496 5418 0 1 0 44 2 0 0 20 0 18 0 253408143 9787813888 8601 33554432000 1073741824 1073778376 140734106868672 140734106859808 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2389603 8601 2216 9 0 2380296 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9558412 [startup+0.700274 s] /proc/loadavg: 4.21 3.86 2.52 4/196 405 /proc/meminfo: memFree=27164200/32873852 swapFree=6848/6848 [pid=405] ppid=403 vsize=9558412 CPUtime=1.54 cores=0,2,4,6 /proc/405/stat : 405 (java) S 403 405 32594 0 -1 4202496 17890 0 1 0 149 5 0 0 20 0 18 0 253408143 9787813888 32740 33554432000 1073741824 1073778376 140734106868672 140734106859808 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2389603 32740 2233 9 0 2380296 0 Current children cumulated CPU time (s) 1.54 Current children cumulated vsize (KiB) 9558412 [startup+1.50066 s] /proc/loadavg: 4.12 3.84 2.52 4/214 423 /proc/meminfo: memFree=26977548/32873852 swapFree=6848/6848 [pid=405] ppid=403 vsize=9558412 CPUtime=2.44 cores=0,2,4,6 /proc/405/stat : 405 (java) S 403 405 32594 0 -1 4202496 18094 0 1 0 233 11 0 0 20 0 18 0 253408143 9787813888 71227 33554432000 1073741824 1073778376 140734106868672 140734106859808 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2389603 71227 2249 9 0 2380296 0 [pid=405/tid=407] ppid=403 vsize=9558412 CPUtime=1.42 cores=0,2,4,6 /proc/405/task/407/stat : 407 (java) R 403 405 32594 0 -1 4202560 2546 0 1 0 138 4 0 0 20 0 18 0 253408145 9787813888 71227 33554432000 1073741824 1073778376 140734106868672 139880935395296 139880793825906 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=405/tid=408] ppid=403 vsize=9558412 CPUtime=0.02 cores=0,2,4,6 /proc/405/task/408/stat : 408 (java) S 403 405 32594 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 18 0 253408146 9787813888 71227 33554432000 1073741824 1073778376 140734106868672 139880913504680 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=409] ppid=403 vsize=9558412 CPUtime=0.01 cores=0,2,4,6 /proc/405/task/409/stat : 409 (java) S 403 405 32594 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 253408146 9787813888 71227 33554432000 1073741824 1073778376 140734106868672 139880912452136 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=405/tid=410] ppid=403 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/405/task/410/stat : 410 (java) S 403 405 32594 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 253408146 9787813888 71227 33554432000 1073741824 1073778376 140734106868672 139880709482664 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=411] ppid=403 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/405/task/411/stat : 411 (java) S 403 405 32594 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 18 0 253408146 9787813888 71227 33554432000 1073741824 1073778376 140734106868672 139880708430120 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=412] ppid=403 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/405/task/412/stat : 412 (java) S 403 405 32594 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 253408146 9787813888 71227 33554432000 1073741824 1073778376 140734106868672 139880707378088 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=413] ppid=403 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/405/task/413/stat : 413 (java) S 403 405 32594 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 253408146 9787813888 71227 33554432000 1073741824 1073778376 140734106868672 139880706325544 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=414] ppid=403 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/405/task/414/stat : 414 (java) S 403 405 32594 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 253408146 9787813888 71227 33554432000 1073741824 1073778376 140734106868672 139880705272488 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=415] ppid=403 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/405/task/415/stat : 415 (java) S 403 405 32594 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 253408146 9787813888 71227 33554432000 1073741824 1073778376 140734106868672 139880704219944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=416] ppid=403 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/405/task/416/stat : 416 (java) S 403 405 32594 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 253408147 9787813888 71227 33554432000 1073741824 1073778376 140734106868672 139880692021608 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=405/tid=417] ppid=403 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/405/task/417/stat : 417 (java) S 403 405 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253408148 9787813888 71227 33554432000 1073741824 1073778376 140734106868672 139880690967928 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=418] ppid=403 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/405/task/418/stat : 418 (java) S 403 405 32594 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 253408148 9787813888 71227 33554432000 1073741824 1073778376 140734106868672 139880689914760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=419] ppid=403 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/405/task/419/stat : 419 (java) S 403 405 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253408150 9787813888 71227 33554432000 1073741824 1073778376 140734106868672 139880688863504 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=420] ppid=403 vsize=9558412 CPUtime=0.38 cores=0,2,4,6 /proc/405/task/420/stat : 420 (java) S 403 405 32594 0 -1 4202560 6351 0 0 0 37 1 0 0 20 0 18 0 253408150 9787813888 71227 33554432000 1073741824 1073778376 140734106868672 139880687811384 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=421] ppid=403 vsize=9558412 CPUtime=0.45 cores=0,2,4,6 /proc/405/task/421/stat : 421 (java) S 403 405 32594 0 -1 4202560 7874 0 0 0 43 2 0 0 20 0 18 0 253408150 9787813888 71227 33554432000 1073741824 1073778376 140734106868672 139880686758840 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=405/tid=422] ppid=403 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/405/task/422/stat : 422 (java) S 403 405 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253408150 9787813888 71227 33554432000 1073741824 1073778376 140734106868672 139880685705976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=405/tid=423] ppid=403 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/405/task/423/stat : 423 (java) S 403 405 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253408150 9787813888 71227 33554432000 1073741824 1073778376 140734106868672 139880684653640 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.44 Current children cumulated vsize (KiB) 9558412 [startup+3.10068 s] /proc/loadavg: 4.12 3.84 2.52 4/214 423 /proc/meminfo: memFree=26812840/32873852 swapFree=6848/6848 [pid=405] ppid=403 vsize=9558412 CPUtime=4.32 cores=0,2,4,6 /proc/405/stat : 405 (java) S 403 405 32594 0 -1 4202496 18564 0 1 0 410 22 0 0 20 0 18 0 253408143 9787813888 138042 33554432000 1073741824 1073778376 140734106868672 140734106859808 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2389603 138042 2249 9 0 2380296 0 [pid=405/tid=407] ppid=403 vsize=9558412 CPUtime=2.92 cores=0,2,4,6 /proc/405/task/407/stat : 407 (java) R 403 405 32594 0 -1 4202560 2647 0 1 0 284 8 0 0 20 0 18 0 253408145 9787813888 138042 33554432000 1073741824 1073778376 140734106868672 139880935395264 139880794073865 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=405/tid=408] ppid=403 vsize=9558412 CPUtime=0.06 cores=0,2,4,6 /proc/405/task/408/stat : 408 (java) S 403 405 32594 0 -1 4202560 40 0 0 0 4 2 0 0 20 0 18 0 253408146 9787813888 138042 33554432000 1073741824 1073778376 140734106868672 139880913504680 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=409] ppid=403 vsize=9558412 CPUtime=0.1 cores=0,2,4,6 /proc/405/task/409/stat : 409 (java) S 403 405 32594 0 -1 4202560 55 0 0 0 8 2 0 0 20 0 18 0 253408146 9787813888 138042 33554432000 1073741824 1073778376 140734106868672 139880912452136 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=410] ppid=403 vsize=9558412 CPUtime=0.03 cores=0,2,4,6 /proc/405/task/410/stat : 410 (java) S 403 405 32594 0 -1 4202560 27 0 0 0 2 1 0 0 20 0 18 0 253408146 9787813888 138042 33554432000 1073741824 1073778376 140734106868672 139880709482664 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=411] ppid=403 vsize=9558412 CPUtime=0.07 cores=0,2,4,6 /proc/405/task/411/stat : 411 (java) S 403 405 32594 0 -1 4202560 62 0 0 0 5 2 0 0 20 0 18 0 253408146 9787813888 138042 33554432000 1073741824 1073778376 140734106868672 139880708430120 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=405/tid=412] ppid=403 vsize=9558412 CPUtime=0.03 cores=0,2,4,6 /proc/405/task/412/stat : 412 (java) S 403 405 32594 0 -1 4202560 40 0 0 0 3 0 0 0 20 0 18 0 253408146 9787813888 138042 33554432000 1073741824 1073778376 140734106868672 139880707378088 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=413] ppid=403 vsize=9558412 CPUtime=0.07 cores=0,2,4,6 /proc/405/task/413/stat : 413 (java) S 403 405 32594 0 -1 4202560 40 0 0 0 5 2 0 0 20 0 18 0 253408146 9787813888 138042 33554432000 1073741824 1073778376 140734106868672 139880706325544 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=414] ppid=403 vsize=9558412 CPUtime=0.02 cores=0,2,4,6 /proc/405/task/414/stat : 414 (java) S 403 405 32594 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 18 0 253408146 9787813888 138042 33554432000 1073741824 1073778376 140734106868672 139880705272488 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=415] ppid=403 vsize=9558412 CPUtime=0.02 cores=0,2,4,6 /proc/405/task/415/stat : 415 (java) S 403 405 32594 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 18 0 253408146 9787813888 138042 33554432000 1073741824 1073778376 140734106868672 139880704219944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=416] ppid=403 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/405/task/416/stat : 416 (java) S 403 405 32594 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 253408147 9787813888 138042 33554432000 1073741824 1073778376 140734106868672 139880692021608 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=405/tid=417] ppid=403 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/405/task/417/stat : 417 (java) S 403 405 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253408148 9787813888 138042 33554432000 1073741824 1073778376 140734106868672 139880690967928 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=418] ppid=403 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/405/task/418/stat : 418 (java) S 403 405 32594 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 253408148 9787813888 138042 33554432000 1073741824 1073778376 140734106868672 139880689914760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=419] ppid=403 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/405/task/419/stat : 419 (java) S 403 405 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253408150 9787813888 138042 33554432000 1073741824 1073778376 140734106868672 139880688863504 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=420] ppid=403 vsize=9558412 CPUtime=0.38 cores=0,2,4,6 /proc/405/task/420/stat : 420 (java) S 403 405 32594 0 -1 4202560 6351 0 0 0 37 1 0 0 20 0 18 0 253408150 9787813888 138042 33554432000 1073741824 1073778376 140734106868672 139880687811384 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=421] ppid=403 vsize=9558412 CPUtime=0.46 cores=0,2,4,6 /proc/405/task/421/stat : 421 (java) S 403 405 32594 0 -1 4202560 7874 0 0 0 43 3 0 0 20 0 18 0 253408150 9787813888 138042 33554432000 1073741824 1073778376 140734106868672 139880686758840 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=405/tid=422] ppid=403 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/405/task/422/stat : 422 (java) S 403 405 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253408150 9787813888 138042 33554432000 1073741824 1073778376 140734106868672 139880685705976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=405/tid=423] ppid=403 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/405/task/423/stat : 423 (java) S 403 405 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253408150 9787813888 138042 33554432000 1073741824 1073778376 140734106868672 139880684653640 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 4.32 Current children cumulated vsize (KiB) 9558412 [startup+6.30084 s] /proc/loadavg: 4.11 3.84 2.53 5/218 434 /proc/meminfo: memFree=26502944/32873852 swapFree=6848/6848 [pid=405] ppid=403 vsize=9824668 CPUtime=10.43 cores=0,2,4,6 /proc/405/stat : 405 (java) S 403 405 32594 0 -1 4202496 20229 0 1 0 1007 36 0 0 20 0 22 0 253408143 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 140734106859808 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2456167 191597 2283 9 0 2446860 0 [pid=405/tid=407] ppid=403 vsize=9824668 CPUtime=3.42 cores=0,2,4,6 /proc/405/task/407/stat : 407 (java) S 403 405 32594 0 -1 4202560 2713 0 1 0 332 10 0 0 20 0 22 0 253408145 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 139880935404248 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=408] ppid=403 vsize=9824668 CPUtime=0.12 cores=0,2,4,6 /proc/405/task/408/stat : 408 (java) S 403 405 32594 0 -1 4202560 62 0 0 0 9 3 0 0 20 0 22 0 253408146 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 139880913504680 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=409] ppid=403 vsize=9824668 CPUtime=0.23 cores=0,2,4,6 /proc/405/task/409/stat : 409 (java) S 403 405 32594 0 -1 4202560 259 0 0 0 19 4 0 0 20 0 22 0 253408146 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 139880912452136 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=410] ppid=403 vsize=9824668 CPUtime=0.11 cores=0,2,4,6 /proc/405/task/410/stat : 410 (java) S 403 405 32594 0 -1 4202560 58 0 0 0 9 2 0 0 20 0 22 0 253408146 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 139880709482664 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=411] ppid=403 vsize=9824668 CPUtime=0.21 cores=0,2,4,6 /proc/405/task/411/stat : 411 (java) S 403 405 32594 0 -1 4202560 114 0 0 0 18 3 0 0 20 0 22 0 253408146 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 139880708430120 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=405/tid=412] ppid=403 vsize=9824668 CPUtime=0.1 cores=0,2,4,6 /proc/405/task/412/stat : 412 (java) S 403 405 32594 0 -1 4202560 63 0 0 0 8 2 0 0 20 0 22 0 253408146 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 139880707378088 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=413] ppid=403 vsize=9824668 CPUtime=0.14 cores=0,2,4,6 /proc/405/task/413/stat : 413 (java) S 403 405 32594 0 -1 4202560 66 0 0 0 12 2 0 0 20 0 22 0 253408146 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 139880706325544 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=414] ppid=403 vsize=9824668 CPUtime=0.11 cores=0,2,4,6 /proc/405/task/414/stat : 414 (java) S 403 405 32594 0 -1 4202560 59 0 0 0 9 2 0 0 20 0 22 0 253408146 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 139880705272488 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=415] ppid=403 vsize=9824668 CPUtime=0.15 cores=0,2,4,6 /proc/405/task/415/stat : 415 (java) S 403 405 32594 0 -1 4202560 202 0 0 0 13 2 0 0 20 0 22 0 253408146 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 139880704219944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=416] ppid=403 vsize=9824668 CPUtime=0.28 cores=0,2,4,6 /proc/405/task/416/stat : 416 (java) R 403 405 32594 0 -1 4202560 530 0 0 0 28 0 0 0 20 0 22 0 253408147 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 139880692020456 139880941528465 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=405/tid=417] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/417/stat : 417 (java) S 403 405 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253408148 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 139880690967928 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=418] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/418/stat : 418 (java) S 403 405 32594 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253408148 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 139880689914760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=419] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/419/stat : 419 (java) S 403 405 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253408150 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 139880688863504 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=420] ppid=403 vsize=9824668 CPUtime=0.91 cores=0,2,4,6 /proc/405/task/420/stat : 420 (java) S 403 405 32594 0 -1 4202560 6862 0 0 0 90 1 0 0 20 0 22 0 253408150 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 139880687797480 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=421] ppid=403 vsize=9824668 CPUtime=0.99 cores=0,2,4,6 /proc/405/task/421/stat : 421 (java) S 403 405 32594 0 -1 4202560 7936 0 0 0 96 3 0 0 20 0 22 0 253408150 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 139880686758840 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=405/tid=422] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/422/stat : 422 (java) S 403 405 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253408150 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 139880685705976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=405/tid=423] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/423/stat : 423 (java) S 403 405 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253408150 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 139880684653640 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=426] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/426/stat : 426 (java) S 403 405 32594 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253408506 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 139880681493288 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=431] ppid=403 vsize=9824668 CPUtime=1.21 cores=0,2,4,6 /proc/405/task/431/stat : 431 (java) S 403 405 32594 0 -1 4202560 4 0 0 0 121 0 0 0 20 0 22 0 253408613 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 139880683598712 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=433] ppid=403 vsize=9824668 CPUtime=1.2 cores=0,2,4,6 /proc/405/task/433/stat : 433 (java) S 403 405 32594 0 -1 4202560 2 0 0 0 120 0 0 0 20 0 22 0 253408613 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 139880682543576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=434] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/434/stat : 434 (java) S 403 405 32594 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253408613 10060460032 191597 33554432000 1073741824 1073778376 140734106868672 139880680441000 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 10.43 Current children cumulated vsize (KiB) 9824668 ################ # More data... # ################ [pid=405/tid=431] ppid=403 vsize=9824668 CPUtime=737.3 cores=0,2,4,6 /proc/405/task/431/stat : 431 (java) R 403 405 32594 0 -1 4202560 27 0 0 0 73717 13 0 0 20 0 22 0 253408613 10060460032 618005 33554432000 1073741824 1073778376 140734106868672 139880683598592 139880794301061 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=405/tid=433] ppid=403 vsize=9824668 CPUtime=737.35 cores=0,2,4,6 /proc/405/task/433/stat : 433 (java) R 403 405 32594 0 -1 4202560 684 0 0 0 73715 20 0 0 20 0 22 0 253408613 10060460032 618005 33554432000 1073741824 1073778376 140734106868672 139880682543344 139880794306677 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=405/tid=434] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/434/stat : 434 (java) S 403 405 32594 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253408613 10060460032 618005 33554432000 1073741824 1073778376 140734106868672 139880680441000 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1568.72 Current children cumulated vsize (KiB) 9824668 [startup+882.301 s] /proc/loadavg: 3.63 3.62 3.20 5/217 571 /proc/meminfo: memFree=24460592/32873852 swapFree=6848/6848 [pid=405] ppid=403 vsize=9824668 CPUtime=1679.45 cores=0,2,4,6 /proc/405/stat : 405 (java) S 403 405 32594 0 -1 4202496 116071 0 1 0 167777 168 0 0 20 0 22 0 253408143 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 140734106859808 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2456167 771301 2288 9 0 2446860 0 [pid=405/tid=407] ppid=403 vsize=9824668 CPUtime=3.44 cores=0,2,4,6 /proc/405/task/407/stat : 407 (java) S 403 405 32594 0 -1 4202560 2775 0 1 0 334 10 0 0 20 0 22 0 253408145 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 139880935404536 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=408] ppid=403 vsize=9824668 CPUtime=1.32 cores=0,2,4,6 /proc/405/task/408/stat : 408 (java) S 403 405 32594 0 -1 4202560 12244 0 0 0 117 15 0 0 20 0 22 0 253408146 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 139880913504680 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=409] ppid=403 vsize=9824668 CPUtime=1.5 cores=0,2,4,6 /proc/405/task/409/stat : 409 (java) S 403 405 32594 0 -1 4202560 10848 0 0 0 132 18 0 0 20 0 22 0 253408146 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 139880912452136 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=410] ppid=403 vsize=9824668 CPUtime=1.13 cores=0,2,4,6 /proc/405/task/410/stat : 410 (java) S 403 405 32594 0 -1 4202560 12962 0 0 0 102 11 0 0 20 0 22 0 253408146 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 139880709482664 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=411] ppid=403 vsize=9824668 CPUtime=1.55 cores=0,2,4,6 /proc/405/task/411/stat : 411 (java) S 403 405 32594 0 -1 4202560 10859 0 0 0 138 17 0 0 20 0 22 0 253408146 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 139880708430120 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=412] ppid=403 vsize=9824668 CPUtime=1.27 cores=0,2,4,6 /proc/405/task/412/stat : 412 (java) S 403 405 32594 0 -1 4202560 10881 0 0 0 112 15 0 0 20 0 22 0 253408146 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 139880707378088 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=405/tid=413] ppid=403 vsize=9824668 CPUtime=1.28 cores=0,2,4,6 /proc/405/task/413/stat : 413 (java) S 403 405 32594 0 -1 4202560 11983 0 0 0 117 11 0 0 20 0 22 0 253408146 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 139880706325544 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=414] ppid=403 vsize=9824668 CPUtime=1.35 cores=0,2,4,6 /proc/405/task/414/stat : 414 (java) S 403 405 32594 0 -1 4202560 5031 0 0 0 123 12 0 0 20 0 22 0 253408146 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 139880705272488 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=415] ppid=403 vsize=9824668 CPUtime=1.12 cores=0,2,4,6 /proc/405/task/415/stat : 415 (java) S 403 405 32594 0 -1 4202560 12731 0 0 0 100 12 0 0 20 0 22 0 253408146 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 139880704219944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=405/tid=416] ppid=403 vsize=9824668 CPUtime=88.26 cores=0,2,4,6 /proc/405/task/416/stat : 416 (java) S 403 405 32594 0 -1 4202560 8271 0 0 0 8809 17 0 0 20 0 22 0 253408147 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 139880692021608 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=417] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/417/stat : 417 (java) S 403 405 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253408148 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 139880690967928 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=418] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/418/stat : 418 (java) S 403 405 32594 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253408148 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 139880689914760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=419] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/419/stat : 419 (java) S 403 405 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253408150 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 139880688863504 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=420] ppid=403 vsize=9824668 CPUtime=1.31 cores=0,2,4,6 /proc/405/task/420/stat : 420 (java) S 403 405 32594 0 -1 4202560 6871 0 0 0 129 2 0 0 20 0 22 0 253408150 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 139880687811384 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=421] ppid=403 vsize=9824668 CPUtime=1.56 cores=0,2,4,6 /proc/405/task/421/stat : 421 (java) S 403 405 32594 0 -1 4202560 7954 0 0 0 153 3 0 0 20 0 22 0 253408150 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 139880686758840 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=405/tid=422] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/422/stat : 422 (java) S 403 405 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253408150 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 139880685705976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=405/tid=423] ppid=403 vsize=9824668 CPUtime=0.21 cores=0,2,4,6 /proc/405/task/423/stat : 423 (java) S 403 405 32594 0 -1 4202560 51 0 0 0 10 11 0 0 20 0 22 0 253408150 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 139880684653640 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=426] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/426/stat : 426 (java) S 403 405 32594 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253408506 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 139880681493288 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=431] ppid=403 vsize=9824668 CPUtime=786.6 cores=0,2,4,6 /proc/405/task/431/stat : 431 (java) R 403 405 32594 0 -1 4202560 34 0 0 0 78647 13 0 0 20 0 22 0 253408613 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 139880683598592 139880794293440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=405/tid=433] ppid=403 vsize=9824668 CPUtime=786.66 cores=0,2,4,6 /proc/405/task/433/stat : 433 (java) R 403 405 32594 0 -1 4202560 1277 0 0 0 78641 25 0 0 20 0 22 0 253408613 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 139880682543504 139880794594354 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=405/tid=434] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/434/stat : 434 (java) S 403 405 32594 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253408613 10060460032 771301 33554432000 1073741824 1073778376 140734106868672 139880680441000 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1679.45 Current children cumulated vsize (KiB) 9824668 [startup+942.301 s] /proc/loadavg: 3.71 3.64 3.23 5/217 571 /proc/meminfo: memFree=23839988/32873852 swapFree=6848/6848 [pid=405] ppid=403 vsize=9824668 CPUtime=1794.21 cores=0,2,4,6 /proc/405/stat : 405 (java) S 403 405 32594 0 -1 4202496 117038 0 1 0 179212 209 0 0 20 0 22 0 253408143 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 140734106859808 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2456167 891463 2288 9 0 2446860 0 [pid=405/tid=407] ppid=403 vsize=9824668 CPUtime=3.44 cores=0,2,4,6 /proc/405/task/407/stat : 407 (java) S 403 405 32594 0 -1 4202560 2778 0 1 0 334 10 0 0 20 0 22 0 253408145 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880935404536 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=408] ppid=403 vsize=9824668 CPUtime=1.49 cores=0,2,4,6 /proc/405/task/408/stat : 408 (java) S 403 405 32594 0 -1 4202560 12305 0 0 0 131 18 0 0 20 0 22 0 253408146 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880913504680 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=409] ppid=403 vsize=9824668 CPUtime=1.7 cores=0,2,4,6 /proc/405/task/409/stat : 409 (java) S 403 405 32594 0 -1 4202560 10911 0 0 0 148 22 0 0 20 0 22 0 253408146 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880912452136 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=410] ppid=403 vsize=9824668 CPUtime=1.47 cores=0,2,4,6 /proc/405/task/410/stat : 410 (java) S 403 405 32594 0 -1 4202560 13112 0 0 0 129 18 0 0 20 0 22 0 253408146 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880709482664 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=411] ppid=403 vsize=9824668 CPUtime=1.79 cores=0,2,4,6 /proc/405/task/411/stat : 411 (java) S 403 405 32594 0 -1 4202560 10930 0 0 0 158 21 0 0 20 0 22 0 253408146 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880708430120 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=412] ppid=403 vsize=9824668 CPUtime=1.49 cores=0,2,4,6 /proc/405/task/412/stat : 412 (java) S 403 405 32594 0 -1 4202560 11033 0 0 0 130 19 0 0 20 0 22 0 253408146 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880707378088 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=413] ppid=403 vsize=9824668 CPUtime=1.47 cores=0,2,4,6 /proc/405/task/413/stat : 413 (java) S 403 405 32594 0 -1 4202560 12114 0 0 0 132 15 0 0 20 0 22 0 253408146 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880706325544 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=405/tid=414] ppid=403 vsize=9824668 CPUtime=1.62 cores=0,2,4,6 /proc/405/task/414/stat : 414 (java) S 403 405 32594 0 -1 4202560 5199 0 0 0 144 18 0 0 20 0 22 0 253408146 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880705272488 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=415] ppid=403 vsize=9824668 CPUtime=1.38 cores=0,2,4,6 /proc/405/task/415/stat : 415 (java) S 403 405 32594 0 -1 4202560 12809 0 0 0 122 16 0 0 20 0 22 0 253408146 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880704219944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=416] ppid=403 vsize=9824668 CPUtime=94.44 cores=0,2,4,6 /proc/405/task/416/stat : 416 (java) S 403 405 32594 0 -1 4202560 8353 0 0 0 9425 19 0 0 20 0 22 0 253408147 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880692021608 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=417] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/417/stat : 417 (java) S 403 405 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253408148 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880690967928 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=418] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/418/stat : 418 (java) S 403 405 32594 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253408148 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880689914760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=419] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/419/stat : 419 (java) S 403 405 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253408150 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880688863504 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=420] ppid=403 vsize=9824668 CPUtime=1.31 cores=0,2,4,6 /proc/405/task/420/stat : 420 (java) S 403 405 32594 0 -1 4202560 6871 0 0 0 129 2 0 0 20 0 22 0 253408150 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880687811384 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=421] ppid=403 vsize=9824668 CPUtime=1.56 cores=0,2,4,6 /proc/405/task/421/stat : 421 (java) S 403 405 32594 0 -1 4202560 7954 0 0 0 153 3 0 0 20 0 22 0 253408150 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880686758840 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=405/tid=422] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/422/stat : 422 (java) S 403 405 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253408150 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880685705976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=405/tid=423] ppid=403 vsize=9824668 CPUtime=0.22 cores=0,2,4,6 /proc/405/task/423/stat : 423 (java) S 403 405 32594 0 -1 4202560 55 0 0 0 10 12 0 0 20 0 22 0 253408150 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880684653640 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=426] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/426/stat : 426 (java) S 403 405 32594 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253408506 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880681493288 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=431] ppid=403 vsize=9824668 CPUtime=839.94 cores=0,2,4,6 /proc/405/task/431/stat : 431 (java) R 403 405 32594 0 -1 4202560 34 0 0 0 83979 15 0 0 20 0 22 0 253408613 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880683598592 139880794435332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=405/tid=433] ppid=403 vsize=9824668 CPUtime=840 cores=0,2,4,6 /proc/405/task/433/stat : 433 (java) R 403 405 32594 0 -1 4202560 1281 0 0 0 83974 26 0 0 20 0 22 0 253408613 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880682543344 139880794704479 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=405/tid=434] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/434/stat : 434 (java) S 403 405 32594 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253408613 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880680441000 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1794.21 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+945.201 s] /proc/loadavg: 3.71 3.64 3.23 5/217 571 /proc/meminfo: memFree=23835892/32873852 swapFree=6848/6848 [pid=405] ppid=403 vsize=9824668 CPUtime=1800.02 cores=0,2,4,6 /proc/405/stat : 405 (java) S 403 405 32594 0 -1 4202496 117038 0 1 0 179793 209 0 0 20 0 22 0 253408143 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 140734106859808 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/405/statm: 2456167 891463 2288 9 0 2446860 0 [pid=405/tid=407] ppid=403 vsize=9824668 CPUtime=3.44 cores=0,2,4,6 /proc/405/task/407/stat : 407 (java) S 403 405 32594 0 -1 4202560 2778 0 1 0 334 10 0 0 20 0 22 0 253408145 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880935404536 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=408] ppid=403 vsize=9824668 CPUtime=1.49 cores=0,2,4,6 /proc/405/task/408/stat : 408 (java) S 403 405 32594 0 -1 4202560 12305 0 0 0 131 18 0 0 20 0 22 0 253408146 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880913504680 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=409] ppid=403 vsize=9824668 CPUtime=1.7 cores=0,2,4,6 /proc/405/task/409/stat : 409 (java) S 403 405 32594 0 -1 4202560 10911 0 0 0 148 22 0 0 20 0 22 0 253408146 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880912452136 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=410] ppid=403 vsize=9824668 CPUtime=1.47 cores=0,2,4,6 /proc/405/task/410/stat : 410 (java) S 403 405 32594 0 -1 4202560 13112 0 0 0 129 18 0 0 20 0 22 0 253408146 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880709482664 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=411] ppid=403 vsize=9824668 CPUtime=1.79 cores=0,2,4,6 /proc/405/task/411/stat : 411 (java) S 403 405 32594 0 -1 4202560 10930 0 0 0 158 21 0 0 20 0 22 0 253408146 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880708430120 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=412] ppid=403 vsize=9824668 CPUtime=1.49 cores=0,2,4,6 /proc/405/task/412/stat : 412 (java) S 403 405 32594 0 -1 4202560 11033 0 0 0 130 19 0 0 20 0 22 0 253408146 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880707378088 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=413] ppid=403 vsize=9824668 CPUtime=1.47 cores=0,2,4,6 /proc/405/task/413/stat : 413 (java) S 403 405 32594 0 -1 4202560 12114 0 0 0 132 15 0 0 20 0 22 0 253408146 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880706325544 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=405/tid=414] ppid=403 vsize=9824668 CPUtime=1.62 cores=0,2,4,6 /proc/405/task/414/stat : 414 (java) S 403 405 32594 0 -1 4202560 5199 0 0 0 144 18 0 0 20 0 22 0 253408146 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880705272488 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=415] ppid=403 vsize=9824668 CPUtime=1.38 cores=0,2,4,6 /proc/405/task/415/stat : 415 (java) S 403 405 32594 0 -1 4202560 12809 0 0 0 122 16 0 0 20 0 22 0 253408146 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880704219944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=416] ppid=403 vsize=9824668 CPUtime=94.44 cores=0,2,4,6 /proc/405/task/416/stat : 416 (java) S 403 405 32594 0 -1 4202560 8353 0 0 0 9425 19 0 0 20 0 22 0 253408147 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880692021608 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=417] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/417/stat : 417 (java) S 403 405 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253408148 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880690967928 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=418] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/418/stat : 418 (java) S 403 405 32594 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253408148 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880689914760 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=419] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/419/stat : 419 (java) S 403 405 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253408150 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880688863504 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=420] ppid=403 vsize=9824668 CPUtime=1.31 cores=0,2,4,6 /proc/405/task/420/stat : 420 (java) S 403 405 32594 0 -1 4202560 6871 0 0 0 129 2 0 0 20 0 22 0 253408150 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880687811384 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=405/tid=421] ppid=403 vsize=9824668 CPUtime=1.56 cores=0,2,4,6 /proc/405/task/421/stat : 421 (java) S 403 405 32594 0 -1 4202560 7954 0 0 0 153 3 0 0 20 0 22 0 253408150 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880686758840 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=405/tid=422] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/422/stat : 422 (java) S 403 405 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253408150 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880685705976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=405/tid=423] ppid=403 vsize=9824668 CPUtime=0.22 cores=0,2,4,6 /proc/405/task/423/stat : 423 (java) S 403 405 32594 0 -1 4202560 55 0 0 0 10 12 0 0 20 0 22 0 253408150 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880684653640 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=405/tid=426] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/426/stat : 426 (java) S 403 405 32594 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253408506 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880681493288 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=405/tid=431] ppid=403 vsize=9824668 CPUtime=842.85 cores=0,2,4,6 /proc/405/task/431/stat : 431 (java) R 403 405 32594 0 -1 4202560 34 0 0 0 84270 15 0 0 20 0 22 0 253408613 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880683598592 139880794293452 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=405/tid=433] ppid=403 vsize=9824668 CPUtime=842.91 cores=0,2,4,6 /proc/405/task/433/stat : 433 (java) R 403 405 32594 0 -1 4202560 1281 0 0 0 84265 26 0 0 20 0 22 0 253408613 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880682543344 139880794704411 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=405/tid=434] ppid=403 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/405/task/434/stat : 434 (java) S 403 405 32594 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253408613 10060460032 891463 33554432000 1073741824 1073778376 140734106868672 139880680441000 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 945.297 CPU time (s): 1800.7 CPU user time (s): 1798.13 CPU system time (s): 2.57161 CPU usage (%): 190.491 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.13 system time used= 2.57161 maximum resident set size= 3565972 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 117072 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1000 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 33270 involuntary context switches= 18831 runsolver used 3.38248 second user time and 7.93179 second system time The end
Begin job on node128 at 2012-05-24 17:20:22 IDJOB=3687612 IDBENCH=1972 IDSOLVER=2268 FILE ID=node128/3687612-1337872822 RUNJOBID= node128-1337871881-32611 PBS_JOBID= 14620076 Free space on /tmp= 71556 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687612-1337872822/watcher-3687612-1337872822 -o /tmp/evaluation-result-3687612-1337872822/solver-3687612-1337872822 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687612-1337872822.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 093efae700664f798191c0b27cec34af RANDOM SEED=1647376675 node128.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.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.77 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.389 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.389 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 : 5438.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 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.389 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.389 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.91 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.389 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.389 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: 32873852 kB MemFree: 27164200 kB Buffers: 235992 kB Cached: 2931720 kB SwapCached: 0 kB Active: 2250512 kB Inactive: 2681460 kB Active(anon): 1766892 kB Inactive(anon): 0 kB Active(file): 483620 kB Inactive(file): 2681460 kB Unevictable: 6848 kB Mlocked: 6848 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 17148 kB Writeback: 0 kB AnonPages: 1771064 kB Mapped: 22552 kB Shmem: 204 kB Slab: 634452 kB SReclaimable: 77012 kB SUnreclaim: 557440 kB KernelStack: 1624 kB PageTables: 7720 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 1932824 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 1708032 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= 71556 MiB End job on node128 at 2012-05-24 17:36:10