| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 1012 | 1800.1 | 947.283 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb |
| MD5SUM | 8eed52e8cea562b1b1ee5bae07565266 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 390 |
| Best CPU time to get the best result obtained on this benchmark | 1792.91 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 478 |
| 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 | 500105 |
| 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 | 500105 |
| 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.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.10 c version 2.3.2.v20120418 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 501472288 0.07/0.10 c Max memory 7480803328 0.07/0.10 c Total memory 504102912 0.07/0.10 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization by upper bound 0.07/0.13 c ManyCore solver with 2 solvers running in parallel 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c c --- End Solver configuration --- 0.07/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-3687602-1337872805.opb 0.07/0.13 c reading problem ... 5.21/3.66 c ... done. Wall clock time 3.526s. 5.21/3.66 c declared #vars 10000 5.21/3.66 c #constraints 656900 5.21/3.66 c constraints type 5.21/3.66 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 5.21/3.66 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 5.21/3.66 c 656900 constraints processed. 5.21/3.66 c constraints type 5.21/3.66 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 5.21/3.66 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 5.21/3.66 c 656900 constraints processed. 5.21/3.66 c objective function length is 10000 literals 6.17/3.93 c And the winner is solver0 6.30/4.17 c SATISFIABLE 6.30/4.17 c OPTIMIZING... 6.30/4.17 c Got one! Elapsed wall clock time (in seconds):4.036 6.30/4.17 o 1012 9.20/5.48 c cleaning 2551 clauses out of 5102 with flag 5000/5102 12.71/7.20 c cleaning 4276 clauses out of 8551 with flag 11000/11102 16.04/9.07 c cleaning 5638 clauses out of 11275 with flag 18000/18102 20.15/11.24 c cleaning 6819 clauses out of 13638 with flag 26001/26103 24.98/13.88 c cleaning 7903 clauses out of 15819 with flag 35001/35103 30.17/16.56 c cleaning 8958 clauses out of 17915 with flag 45000/45102 36.45/19.72 c cleaning 9975 clauses out of 19958 with flag 56001/56103 43.17/23.29 c cleaning 10991 clauses out of 21982 with flag 68000/68102 50.77/27.22 c cleaning 11995 clauses out of 23991 with flag 81000/81102 58.24/31.17 c cleaning 13000 clauses out of 26000 with flag 95004/95106 67.92/36.12 c cleaning 13998 clauses out of 27996 with flag 110000/110102 77.03/40.84 c cleaning 14998 clauses out of 29998 with flag 126000/126102 86.54/45.86 c cleaning 15997 clauses out of 32000 with flag 143000/143102 96.18/50.84 c cleaning 16999 clauses out of 34003 with flag 161000/161102 107.60/56.73 c cleaning 18001 clauses out of 36004 with flag 180000/180102 118.36/62.37 c cleaning 19002 clauses out of 38003 with flag 200000/200102 130.63/68.87 c cleaning 19995 clauses out of 40001 with flag 221000/221102 143.55/75.59 c cleaning 20997 clauses out of 42006 with flag 243000/243102 157.03/82.52 c cleaning 21997 clauses out of 44009 with flag 266000/266102 171.72/90.19 c cleaning 23005 clauses out of 46012 with flag 290000/290102 187.55/98.41 c cleaning 23998 clauses out of 48008 with flag 315001/315103 202.24/106.01 c cleaning 24994 clauses out of 50009 with flag 341000/341102 220.50/115.40 c cleaning 26005 clauses out of 52015 with flag 368000/368102 237.75/124.36 c cleaning 26996 clauses out of 54010 with flag 396000/396102 254.47/133.13 c cleaning 28006 clauses out of 56014 with flag 425000/425102 271.88/142.13 c cleaning 28997 clauses out of 58009 with flag 455001/455103 290.28/151.68 c cleaning 30006 clauses out of 60012 with flag 486001/486103 308.76/161.15 c cleaning 31001 clauses out of 62005 with flag 518000/518102 330.40/172.48 c cleaning 32003 clauses out of 64005 with flag 551001/551103 352.96/184.05 c cleaning 32997 clauses out of 66001 with flag 585000/585102 375.56/195.62 c cleaning 33996 clauses out of 68004 with flag 620000/620102 397.92/207.19 c cleaning 34997 clauses out of 70012 with flag 656004/656106 420.86/219.16 c cleaning 36004 clauses out of 72013 with flag 693002/693104 446.61/232.31 c cleaning 36997 clauses out of 74007 with flag 731000/731102 471.86/245.32 c cleaning 37993 clauses out of 76010 with flag 770000/770102 496.74/258.20 c cleaning 39008 clauses out of 78017 with flag 810000/810102 525.77/273.23 c cleaning 40002 clauses out of 80012 with flag 851003/851105 551.18/286.40 c cleaning 40999 clauses out of 82008 with flag 893001/893103 577.56/299.96 c cleaning 41980 clauses out of 84008 with flag 936000/936102 605.48/314.36 c cleaning 43006 clauses out of 86028 with flag 980000/980102 634.33/329.48 c cleaning 44006 clauses out of 88022 with flag 1025000/1025102 667.36/347.25 c cleaning 44993 clauses out of 90016 with flag 1071000/1071102 698.41/363.01 c cleaning 45986 clauses out of 92023 with flag 1118000/1118102 735.01/382.30 c cleaning 46989 clauses out of 94040 with flag 1166003/1166105 763.59/397.14 c cleaning 48010 clauses out of 96048 with flag 1215000/1215102 795.57/413.73 c cleaning 49006 clauses out of 98038 with flag 1265000/1265102 828.19/430.77 c cleaning 49996 clauses out of 100033 with flag 1316001/1316103 860.78/448.19 c cleaning 51009 clauses out of 102036 with flag 1368000/1368102 897.48/467.27 c cleaning 51997 clauses out of 104028 with flag 1421001/1421103 935.11/487.81 c cleaning 53004 clauses out of 106030 with flag 1475000/1475102 977.13/509.86 c cleaning 53998 clauses out of 108026 with flag 1530000/1530102 1016.62/530.36 c cleaning 55008 clauses out of 110030 with flag 1586002/1586104 1055.37/550.36 c cleaning 56010 clauses out of 112022 with flag 1643002/1643104 1093.68/570.33 c cleaning 56990 clauses out of 114010 with flag 1701000/1701102 1132.84/591.62 c cleaning 57998 clauses out of 116020 with flag 1760000/1760102 1169.16/610.86 c cleaning 58984 clauses out of 118025 with flag 1820003/1820105 1207.60/631.10 c cleaning 60009 clauses out of 120039 with flag 1881001/1881103 1248.46/652.69 c cleaning 61006 clauses out of 122030 with flag 1943001/1943103 1292.22/676.27 c cleaning 62002 clauses out of 124023 with flag 2006000/2006102 1336.63/699.59 c cleaning 63008 clauses out of 126024 with flag 2070003/2070105 1379.61/722.10 c cleaning 64002 clauses out of 128013 with flag 2135000/2135102 1430.07/750.58 c cleaning 65000 clauses out of 130011 with flag 2201000/2201102 1477.22/775.00 c cleaning 65993 clauses out of 132011 with flag 2268000/2268102 1523.99/799.45 c cleaning 67007 clauses out of 134020 with flag 2336002/2336104 1577.64/827.48 c cleaning 67987 clauses out of 136011 with flag 2405000/2405102 1632.45/856.95 c cleaning 68997 clauses out of 138028 with flag 2475004/2475106 1689.77/886.92 c cleaning 70005 clauses out of 140027 with flag 2546000/2546102 1736.15/911.46 c cleaning 70995 clauses out of 142023 with flag 2618001/2618103 1783.75/936.60 c cleaning 72002 clauses out of 144029 with flag 2691002/2691104 1800.10/947.22 c starts : 232 1800.10/947.22 c conflicts : 2709805 1800.10/947.22 c decisions : 8444446 1800.10/947.22 c propagations : 824673061 1800.10/947.22 c inspects : 902002824 1800.10/947.22 c shortcuts : 0 1800.10/947.22 c learnt literals : 0 1800.10/947.22 c learnt binary clauses : 0 1800.10/947.22 c learnt ternary clauses : 0 1800.10/947.22 c learnt constraints : 2709805 1800.10/947.22 c ignored constraints : 0 1800.10/947.22 c root simplifications : 0 1800.10/947.22 c removed literals (reason simplification) : 191872657 1800.10/947.22 c reason swapping (by a shorter reason) : 0 1800.10/947.22 c Calls to reduceDB : 69 1800.10/947.22 c number of reductions to clauses (during analyze) : 0 1800.10/947.22 c number of learned constraints concerned by reduction : 0 1800.10/947.22 c number of learning phase by resolution : 0 1800.10/947.22 c number of learning phase by cutting planes : 0 1800.10/947.22 c speed (assignments/second) : 874041.758654057 1800.10/947.22 c non guided choices 0 1800.10/947.24 c learnt constraints type 1800.10/947.24 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 90800 1800.10/947.24 c constraints type 1800.10/947.24 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 1800.10/947.24 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 1800.10/947.24 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.10/947.24 c 656901 constraints processed. 1800.10/947.24 c constraints type 1800.10/947.24 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 1800.10/947.24 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 1800.10/947.24 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.10/947.24 c 656901 constraints processed. 1800.10/947.24 s SATISFIABLE 1800.10/947.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.10/947.26 c objective function=1012 1800.10/947.26 c Total wall clock time (in seconds): 947.129
OK 1012
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-3687602-1337872805/watcher-3687602-1337872805 -o /tmp/evaluation-result-3687602-1337872805/solver-3687602-1337872805 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687602-1337872805.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.15 3.83 2.44 4/197 18576 /proc/meminfo: memFree=29168180/32873844 swapFree=7384/7384 [pid=18576] ppid=18574 vsize=2500 CPUtime=0 cores=0,2,4,6 /proc/18576/stat : 18576 (java) D 18574 18576 18255 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 253405970 2560000 46 33554432000 1073741824 1073778376 140737288275568 140737288272696 239863950631 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/18576/statm: 625 46 37 9 0 29 0 [startup+0.037788 s] /proc/loadavg: 4.15 3.83 2.44 4/197 18576 /proc/meminfo: memFree=29168180/32873844 swapFree=7384/7384 [pid=18576] ppid=18574 vsize=9016616 CPUtime=0 cores=0,2,4,6 /proc/18576/stat : 18576 (java) S 18574 18576 18255 0 -1 4202496 2756 0 1 0 0 0 0 0 20 0 10 0 253405970 9233014784 2946 33554432000 1073741824 1073778376 140733207419456 140733207410592 239876472893 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18576/statm: 2254154 2964 1531 9 0 2244855 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9016616 [startup+0.100261 s] /proc/loadavg: 4.15 3.83 2.44 4/197 18576 /proc/meminfo: memFree=29168180/32873844 swapFree=7384/7384 [pid=18576] ppid=18574 vsize=9558412 CPUtime=0.07 cores=0,2,4,6 /proc/18576/stat : 18576 (java) S 18574 18576 18255 0 -1 4202496 3670 0 1 0 6 1 0 0 20 0 18 0 253405970 9787813888 4368 33554432000 1073741824 1073778376 140733207419456 140733207410592 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18576/statm: 2389603 4368 1931 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558412 [startup+0.300228 s] /proc/loadavg: 4.15 3.83 2.44 4/197 18576 /proc/meminfo: memFree=29168180/32873844 swapFree=7384/7384 [pid=18576] ppid=18574 vsize=9558412 CPUtime=0.44 cores=0,2,4,6 /proc/18576/stat : 18576 (java) S 18574 18576 18255 0 -1 4202496 5530 0 1 0 43 1 0 0 20 0 18 0 253405970 9787813888 7663 33554432000 1073741824 1073778376 140733207419456 140733207410592 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18576/statm: 2389603 7663 2215 9 0 2380296 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 9558412 [startup+0.700264 s] /proc/loadavg: 4.15 3.83 2.44 4/197 18576 /proc/meminfo: memFree=29168180/32873844 swapFree=7384/7384 [pid=18576] ppid=18574 vsize=9558412 CPUtime=1.49 cores=0,2,4,6 /proc/18576/stat : 18576 (java) S 18574 18576 18255 0 -1 4202496 17840 0 1 0 144 5 0 0 20 0 18 0 253405970 9787813888 31859 33554432000 1073741824 1073778376 140733207419456 140733207410592 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18576/statm: 2389603 31859 2233 9 0 2380296 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9558412 [startup+1.50068 s] /proc/loadavg: 4.15 3.83 2.44 4/215 18594 /proc/meminfo: memFree=28982980/32873844 swapFree=7384/7384 [pid=18576] ppid=18574 vsize=9558412 CPUtime=2.47 cores=0,2,4,6 /proc/18576/stat : 18576 (java) S 18574 18576 18255 0 -1 4202496 18037 0 1 0 236 11 0 0 20 0 18 0 253405970 9787813888 65737 33554432000 1073741824 1073778376 140733207419456 140733207410592 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18576/statm: 2389603 65737 2249 9 0 2380296 0 [pid=18576/tid=18578] ppid=18574 vsize=9558412 CPUtime=1.38 cores=0,2,4,6 /proc/18576/task/18578/stat : 18578 (java) R 18574 18576 18255 0 -1 4202560 2592 0 1 0 134 4 0 0 20 0 18 0 253405971 9787813888 65737 33554432000 1073741824 1073778376 140733207419456 140278204189960 140278077277420 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18579] ppid=18574 vsize=9558412 CPUtime=0.03 cores=0,2,4,6 /proc/18576/task/18579/stat : 18579 (java) S 18574 18576 18255 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 18 0 253405973 9787813888 65737 33554432000 1073741824 1073778376 140733207419456 140278048189480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18580] ppid=18574 vsize=9558412 CPUtime=0.01 cores=0,2,4,6 /proc/18576/task/18580/stat : 18580 (java) S 18574 18576 18255 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 18 0 253405973 9787813888 65737 33554432000 1073741824 1073778376 140733207419456 140278047136680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18581] ppid=18574 vsize=9558412 CPUtime=0.01 cores=0,2,4,6 /proc/18576/task/18581/stat : 18581 (java) S 18574 18576 18255 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 18 0 253405973 9787813888 65737 33554432000 1073741824 1073778376 140733207419456 140278046083880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18576/tid=18582] ppid=18574 vsize=9558412 CPUtime=0.03 cores=0,2,4,6 /proc/18576/task/18582/stat : 18582 (java) S 18574 18576 18255 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 18 0 253405973 9787813888 65737 33554432000 1073741824 1073778376 140733207419456 140278045031080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18583] ppid=18574 vsize=9558412 CPUtime=0.02 cores=0,2,4,6 /proc/18576/task/18583/stat : 18583 (java) S 18574 18576 18255 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 18 0 253405973 9787813888 65737 33554432000 1073741824 1073778376 140733207419456 140278043978280 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18576/tid=18584] ppid=18574 vsize=9558412 CPUtime=0.02 cores=0,2,4,6 /proc/18576/task/18584/stat : 18584 (java) S 18574 18576 18255 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 18 0 253405973 9787813888 65737 33554432000 1073741824 1073778376 140733207419456 140278042925480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18585] ppid=18574 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18585/stat : 18585 (java) S 18574 18576 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 253405973 9787813888 65737 33554432000 1073741824 1073778376 140733207419456 140278041872680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18586] ppid=18574 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18586/stat : 18586 (java) S 18574 18576 18255 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 253405973 9787813888 65737 33554432000 1073741824 1073778376 140733207419456 140278040819880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18587] ppid=18574 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18587/stat : 18587 (java) S 18574 18576 18255 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 253405974 9787813888 65737 33554432000 1073741824 1073778376 140733207419456 140278028409832 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18588] ppid=18574 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18588/stat : 18588 (java) S 18574 18576 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253405975 9787813888 65737 33554432000 1073741824 1073778376 140733207419456 140278027355896 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18589] ppid=18574 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18589/stat : 18589 (java) S 18574 18576 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253405975 9787813888 66249 33554432000 1073741824 1073778376 140733207419456 140278026302984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18590] ppid=18574 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18590/stat : 18590 (java) S 18574 18576 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253405977 9787813888 66249 33554432000 1073741824 1073778376 140733207419456 140278025251472 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18591] ppid=18574 vsize=9558412 CPUtime=0.38 cores=0,2,4,6 /proc/18576/task/18591/stat : 18591 (java) S 18574 18576 18255 0 -1 4202560 6231 0 0 0 37 1 0 0 20 0 18 0 253405977 9787813888 66249 33554432000 1073741824 1073778376 140733207419456 140278024198584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18592] ppid=18574 vsize=9558412 CPUtime=0.42 cores=0,2,4,6 /proc/18576/task/18592/stat : 18592 (java) S 18574 18576 18255 0 -1 4202560 7891 0 0 0 40 2 0 0 20 0 18 0 253405977 9787813888 66249 33554432000 1073741824 1073778376 140733207419456 140278023145784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18593] ppid=18574 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18593/stat : 18593 (java) S 18574 18576 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253405977 9787813888 66249 33554432000 1073741824 1073778376 140733207419456 140278022093176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18594] ppid=18574 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18594/stat : 18594 (java) S 18574 18576 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253405977 9787813888 66249 33554432000 1073741824 1073778376 140733207419456 140278021040584 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.47 Current children cumulated vsize (KiB) 9558412 [startup+3.10072 s] /proc/loadavg: 4.13 3.83 2.44 4/215 18594 /proc/meminfo: memFree=28817900/32873844 swapFree=7384/7384 [pid=18576] ppid=18574 vsize=9558412 CPUtime=4.39 cores=0,2,4,6 /proc/18576/stat : 18576 (java) S 18574 18576 18255 0 -1 4202496 18494 0 1 0 418 21 0 0 20 0 18 0 253405970 9787813888 126925 33554432000 1073741824 1073778376 140733207419456 140733207410592 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18576/statm: 2389603 126925 2249 9 0 2380296 0 [pid=18576/tid=18578] ppid=18574 vsize=9558412 CPUtime=2.86 cores=0,2,4,6 /proc/18576/task/18578/stat : 18578 (java) R 18574 18576 18255 0 -1 4202560 2682 0 1 0 278 8 0 0 20 0 18 0 253405971 9787813888 126925 33554432000 1073741824 1073778376 140733207419456 140278204182320 140278077220441 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18579] ppid=18574 vsize=9558412 CPUtime=0.06 cores=0,2,4,6 /proc/18576/task/18579/stat : 18579 (java) S 18574 18576 18255 0 -1 4202560 34 0 0 0 6 0 0 0 20 0 18 0 253405973 9787813888 126925 33554432000 1073741824 1073778376 140733207419456 140278048189480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18580] ppid=18574 vsize=9558412 CPUtime=0.09 cores=0,2,4,6 /proc/18576/task/18580/stat : 18580 (java) S 18574 18576 18255 0 -1 4202560 38 0 0 0 7 2 0 0 20 0 18 0 253405973 9787813888 126925 33554432000 1073741824 1073778376 140733207419456 140278047136680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18581] ppid=18574 vsize=9558412 CPUtime=0.05 cores=0,2,4,6 /proc/18576/task/18581/stat : 18581 (java) S 18574 18576 18255 0 -1 4202560 29 0 0 0 5 0 0 0 20 0 18 0 253405973 9787813888 126925 33554432000 1073741824 1073778376 140733207419456 140278046083880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18582] ppid=18574 vsize=9558412 CPUtime=0.11 cores=0,2,4,6 /proc/18576/task/18582/stat : 18582 (java) S 18574 18576 18255 0 -1 4202560 65 0 0 0 9 2 0 0 20 0 18 0 253405973 9787813888 126925 33554432000 1073741824 1073778376 140733207419456 140278045031080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18583] ppid=18574 vsize=9558412 CPUtime=0.11 cores=0,2,4,6 /proc/18576/task/18583/stat : 18583 (java) S 18574 18576 18255 0 -1 4202560 61 0 0 0 10 1 0 0 20 0 18 0 253405973 9787813888 126925 33554432000 1073741824 1073778376 140733207419456 140278043978280 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18584] ppid=18574 vsize=9558412 CPUtime=0.05 cores=0,2,4,6 /proc/18576/task/18584/stat : 18584 (java) S 18574 18576 18255 0 -1 4202560 24 0 0 0 3 2 0 0 20 0 18 0 253405973 9787813888 126925 33554432000 1073741824 1073778376 140733207419456 140278042925480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18585] ppid=18574 vsize=9558412 CPUtime=0.03 cores=0,2,4,6 /proc/18576/task/18585/stat : 18585 (java) S 18574 18576 18255 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 18 0 253405973 9787813888 126925 33554432000 1073741824 1073778376 140733207419456 140278041872680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18586] ppid=18574 vsize=9558412 CPUtime=0.07 cores=0,2,4,6 /proc/18576/task/18586/stat : 18586 (java) S 18574 18576 18255 0 -1 4202560 45 0 0 0 7 0 0 0 20 0 18 0 253405973 9787813888 126925 33554432000 1073741824 1073778376 140733207419456 140278040819880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18587] ppid=18574 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18587/stat : 18587 (java) S 18574 18576 18255 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 253405974 9787813888 126925 33554432000 1073741824 1073778376 140733207419456 140278028409832 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18576/tid=18588] ppid=18574 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18588/stat : 18588 (java) S 18574 18576 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253405975 9787813888 126925 33554432000 1073741824 1073778376 140733207419456 140278027355896 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18589] ppid=18574 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18589/stat : 18589 (java) S 18574 18576 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253405975 9787813888 126925 33554432000 1073741824 1073778376 140733207419456 140278026302984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18590] ppid=18574 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18590/stat : 18590 (java) S 18574 18576 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253405977 9787813888 126925 33554432000 1073741824 1073778376 140733207419456 140278025251472 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18591] ppid=18574 vsize=9558412 CPUtime=0.38 cores=0,2,4,6 /proc/18576/task/18591/stat : 18591 (java) S 18574 18576 18255 0 -1 4202560 6231 0 0 0 37 1 0 0 20 0 18 0 253405977 9787813888 126925 33554432000 1073741824 1073778376 140733207419456 140278024198584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18592] ppid=18574 vsize=9558412 CPUtime=0.42 cores=0,2,4,6 /proc/18576/task/18592/stat : 18592 (java) S 18574 18576 18255 0 -1 4202560 7891 0 0 0 40 2 0 0 20 0 18 0 253405977 9787813888 126925 33554432000 1073741824 1073778376 140733207419456 140278023145784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18593] ppid=18574 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18593/stat : 18593 (java) S 18574 18576 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253405977 9787813888 126925 33554432000 1073741824 1073778376 140733207419456 140278022093176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18594] ppid=18574 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18594/stat : 18594 (java) S 18574 18576 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253405977 9787813888 126925 33554432000 1073741824 1073778376 140733207419456 140278021040584 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 4.39 Current children cumulated vsize (KiB) 9558412 [startup+6.30068 s] /proc/loadavg: 4.13 3.83 2.44 4/219 18601 /proc/meminfo: memFree=28463320/32873844 swapFree=7384/7384 [pid=18576] ppid=18574 vsize=9824668 CPUtime=10.84 cores=0,2,4,6 /proc/18576/stat : 18576 (java) S 18574 18576 18255 0 -1 4202496 19582 0 1 0 1048 36 0 0 20 0 22 0 253405970 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140733207410592 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18576/statm: 2456167 189138 2284 9 0 2446860 0 [pid=18576/tid=18578] ppid=18574 vsize=9824668 CPUtime=3.38 cores=0,2,4,6 /proc/18576/task/18578/stat : 18578 (java) S 18574 18576 18255 0 -1 4202560 2750 0 1 0 328 10 0 0 20 0 22 0 253405971 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140278204191736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18579] ppid=18574 vsize=9824668 CPUtime=0.13 cores=0,2,4,6 /proc/18576/task/18579/stat : 18579 (java) S 18574 18576 18255 0 -1 4202560 57 0 0 0 11 2 0 0 20 0 22 0 253405973 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140278048189480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18580] ppid=18574 vsize=9824668 CPUtime=0.21 cores=0,2,4,6 /proc/18576/task/18580/stat : 18580 (java) S 18574 18576 18255 0 -1 4202560 64 0 0 0 18 3 0 0 20 0 22 0 253405973 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140278047136680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18576/tid=18581] ppid=18574 vsize=9824668 CPUtime=0.16 cores=0,2,4,6 /proc/18576/task/18581/stat : 18581 (java) S 18574 18576 18255 0 -1 4202560 158 0 0 0 14 2 0 0 20 0 22 0 253405973 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140278046083880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18582] ppid=18574 vsize=9824668 CPUtime=0.2 cores=0,2,4,6 /proc/18576/task/18582/stat : 18582 (java) S 18574 18576 18255 0 -1 4202560 82 0 0 0 17 3 0 0 20 0 22 0 253405973 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140278045031080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18583] ppid=18574 vsize=9824668 CPUtime=0.19 cores=0,2,4,6 /proc/18576/task/18583/stat : 18583 (java) S 18574 18576 18255 0 -1 4202560 82 0 0 0 16 3 0 0 20 0 22 0 253405973 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140278043978280 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18576/tid=18584] ppid=18574 vsize=9824668 CPUtime=0.15 cores=0,2,4,6 /proc/18576/task/18584/stat : 18584 (java) S 18574 18576 18255 0 -1 4202560 60 0 0 0 12 3 0 0 20 0 22 0 253405973 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140278042925480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18585] ppid=18574 vsize=9824668 CPUtime=0.16 cores=0,2,4,6 /proc/18576/task/18585/stat : 18585 (java) S 18574 18576 18255 0 -1 4202560 60 0 0 0 14 2 0 0 20 0 22 0 253405973 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140278041872680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18586] ppid=18574 vsize=9824668 CPUtime=0.13 cores=0,2,4,6 /proc/18576/task/18586/stat : 18586 (java) S 18574 18576 18255 0 -1 4202560 58 0 0 0 12 1 0 0 20 0 22 0 253405973 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140278040819880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18587] ppid=18574 vsize=9824668 CPUtime=0.34 cores=0,2,4,6 /proc/18576/task/18587/stat : 18587 (java) S 18574 18576 18255 0 -1 4202560 528 0 0 0 34 0 0 0 20 0 22 0 253405974 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140278028409832 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18588] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18588/stat : 18588 (java) S 18574 18576 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253405975 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140278027355896 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18589] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18589/stat : 18589 (java) S 18574 18576 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253405975 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140278026302984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18590] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18590/stat : 18590 (java) S 18574 18576 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405977 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140278025251472 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18591] ppid=18574 vsize=9824668 CPUtime=0.9 cores=0,2,4,6 /proc/18576/task/18591/stat : 18591 (java) S 18574 18576 18255 0 -1 4202560 6335 0 0 0 88 2 0 0 20 0 22 0 253405977 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140278024198584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18592] ppid=18574 vsize=9824668 CPUtime=0.92 cores=0,2,4,6 /proc/18576/task/18592/stat : 18592 (java) S 18574 18576 18255 0 -1 4202560 8052 0 0 0 90 2 0 0 20 0 22 0 253405977 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140278023145784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18593] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18593/stat : 18593 (java) S 18574 18576 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405977 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140278022093176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18594] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18594/stat : 18594 (java) S 18574 18576 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405977 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140278021040584 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18597] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18597/stat : 18597 (java) S 18574 18576 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253406340 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140278017881512 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18576/tid=18599] ppid=18574 vsize=9824668 CPUtime=1.61 cores=0,2,4,6 /proc/18576/task/18599/stat : 18599 (java) R 18574 18576 18255 0 -1 4202560 5 0 0 0 161 0 0 0 20 0 22 0 253406393 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140278018933336 140278077834266 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18600] ppid=18574 vsize=9824668 CPUtime=1.59 cores=0,2,4,6 /proc/18576/task/18600/stat : 18600 (java) R 18574 18576 18255 0 -1 4202560 3 0 0 0 159 0 0 0 20 0 22 0 253406393 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140278019983712 140278077627835 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=18576/tid=18601] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18601/stat : 18601 (java) S 18574 18576 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253406393 10060460032 189138 33554432000 1073741824 1073778376 140733207419456 140278016828328 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 10.84 Current children cumulated vsize (KiB) 9824668 ################ # More data... # ################ /proc/18576/statm: 2456167 847960 2288 9 0 2446860 0 [pid=18576/tid=18578] ppid=18574 vsize=9824668 CPUtime=3.4 cores=0,2,4,6 /proc/18576/task/18578/stat : 18578 (java) S 18574 18576 18255 0 -1 4202560 2805 0 1 0 329 11 0 0 20 0 22 0 253405971 10060460032 847960 33554432000 1073741824 1073778376 140733207419456 140278204191736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18579] ppid=18574 vsize=9824668 CPUtime=1.26 cores=0,2,4,6 /proc/18576/task/18579/stat : 18579 (java) S 18574 18576 18255 0 -1 4202560 584 0 0 0 111 15 0 0 20 0 22 0 253405973 10060460032 847960 33554432000 1073741824 1073778376 140733207419456 140278048189480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18580] ppid=18574 vsize=9824668 CPUtime=1.22 cores=0,2,4,6 /proc/18576/task/18580/stat : 18580 (java) S 18574 18576 18255 0 -1 4202560 633 0 0 0 110 12 0 0 20 0 22 0 253405973 10060460032 847960 33554432000 1073741824 1073778376 140733207419456 140278047136680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18581] ppid=18574 vsize=9824668 CPUtime=1.52 cores=0,2,4,6 /proc/18576/task/18581/stat : 18581 (java) S 18574 18576 18255 0 -1 4202560 756 0 0 0 134 18 0 0 20 0 22 0 253405973 10060460032 847960 33554432000 1073741824 1073778376 140733207419456 140278046083880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18582] ppid=18574 vsize=9824668 CPUtime=1.32 cores=0,2,4,6 /proc/18576/task/18582/stat : 18582 (java) S 18574 18576 18255 0 -1 4202560 893 0 0 0 116 16 0 0 20 0 22 0 253405973 10060460032 847960 33554432000 1073741824 1073778376 140733207419456 140278045031080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18583] ppid=18574 vsize=9824668 CPUtime=1.4 cores=0,2,4,6 /proc/18576/task/18583/stat : 18583 (java) S 18574 18576 18255 0 -1 4202560 670 0 0 0 125 15 0 0 20 0 22 0 253405973 10060460032 847960 33554432000 1073741824 1073778376 140733207419456 140278043978280 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18584] ppid=18574 vsize=9824668 CPUtime=1.32 cores=0,2,4,6 /proc/18576/task/18584/stat : 18584 (java) S 18574 18576 18255 0 -1 4202560 540 0 0 0 118 14 0 0 20 0 22 0 253405973 10060460032 847960 33554432000 1073741824 1073778376 140733207419456 140278042925480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18585] ppid=18574 vsize=9824668 CPUtime=1.17 cores=0,2,4,6 /proc/18576/task/18585/stat : 18585 (java) S 18574 18576 18255 0 -1 4202560 482 0 0 0 105 12 0 0 20 0 22 0 253405973 10060460032 847960 33554432000 1073741824 1073778376 140733207419456 140278041872680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18586] ppid=18574 vsize=9824668 CPUtime=1.18 cores=0,2,4,6 /proc/18576/task/18586/stat : 18586 (java) S 18574 18576 18255 0 -1 4202560 966 0 0 0 106 12 0 0 20 0 22 0 253405973 10060460032 847960 33554432000 1073741824 1073778376 140733207419456 140278040819880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18576/tid=18587] ppid=18574 vsize=9824668 CPUtime=87.38 cores=0,2,4,6 /proc/18576/task/18587/stat : 18587 (java) S 18574 18576 18255 0 -1 4202560 3177 0 0 0 8716 22 0 0 20 0 22 0 253405974 10060460032 847960 33554432000 1073741824 1073778376 140733207419456 140278028409832 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18588] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18588/stat : 18588 (java) S 18574 18576 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253405975 10060460032 847960 33554432000 1073741824 1073778376 140733207419456 140278027355896 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18589] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18589/stat : 18589 (java) S 18574 18576 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253405975 10060460032 847960 33554432000 1073741824 1073778376 140733207419456 140278026302984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18590] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18590/stat : 18590 (java) S 18574 18576 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405977 10060460032 847960 33554432000 1073741824 1073778376 140733207419456 140278025251472 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18591] ppid=18574 vsize=9824668 CPUtime=1.22 cores=0,2,4,6 /proc/18576/task/18591/stat : 18591 (java) S 18574 18576 18255 0 -1 4202560 6360 0 0 0 120 2 0 0 20 0 22 0 253405977 10060460032 847960 33554432000 1073741824 1073778376 140733207419456 140278024198584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18592] ppid=18574 vsize=9824668 CPUtime=1.45 cores=0,2,4,6 /proc/18576/task/18592/stat : 18592 (java) S 18574 18576 18255 0 -1 4202560 8097 0 0 0 143 2 0 0 20 0 22 0 253405977 10060460032 847960 33554432000 1073741824 1073778376 140733207419456 140278023145784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18593] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18593/stat : 18593 (java) S 18574 18576 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405977 10060460032 847960 33554432000 1073741824 1073778376 140733207419456 140278022093176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18594] ppid=18574 vsize=9824668 CPUtime=0.21 cores=0,2,4,6 /proc/18576/task/18594/stat : 18594 (java) S 18574 18576 18255 0 -1 4202560 51 0 0 0 8 13 0 0 20 0 22 0 253405977 10060460032 847960 33554432000 1073741824 1073778376 140733207419456 140278021040584 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18597] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18597/stat : 18597 (java) S 18574 18576 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253406340 10060460032 847960 33554432000 1073741824 1073778376 140733207419456 140278017881512 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18576/tid=18599] ppid=18574 vsize=9824668 CPUtime=785.86 cores=0,2,4,6 /proc/18576/task/18599/stat : 18599 (java) R 18574 18576 18255 0 -1 4202560 25 0 0 0 78575 11 0 0 20 0 22 0 253406393 10060460032 847960 33554432000 1073741824 1073778376 140733207419456 140278018933248 140278077708269 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18600] ppid=18574 vsize=9824668 CPUtime=785.75 cores=0,2,4,6 /proc/18576/task/18600/stat : 18600 (java) R 18574 18576 18255 0 -1 4202560 1030 0 0 0 78553 22 0 0 20 0 22 0 253406393 10060460032 847960 33554432000 1073741824 1073778376 140733207419456 140278019983760 140278077627908 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18601] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18601/stat : 18601 (java) S 18574 18576 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253406393 10060460032 847960 33554432000 1073741824 1073778376 140733207419456 140278016828328 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1680.58 Current children cumulated vsize (KiB) 9824668 [startup+942.301 s] /proc/loadavg: 3.56 3.71 3.26 5/219 18715 /proc/meminfo: memFree=22883804/32873844 swapFree=7384/7384 [pid=18576] ppid=18574 vsize=9824668 CPUtime=1790.28 cores=0,2,4,6 /proc/18576/stat : 18576 (java) S 18574 18576 18255 0 -1 4202496 28440 0 1 0 178848 180 0 0 20 0 22 0 253405970 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140733207410592 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18576/statm: 2456167 870785 2288 9 0 2446860 0 [pid=18576/tid=18578] ppid=18574 vsize=9824668 CPUtime=3.41 cores=0,2,4,6 /proc/18576/task/18578/stat : 18578 (java) S 18574 18576 18255 0 -1 4202560 2807 0 1 0 330 11 0 0 20 0 22 0 253405971 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278204191736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18579] ppid=18574 vsize=9824668 CPUtime=1.28 cores=0,2,4,6 /proc/18576/task/18579/stat : 18579 (java) S 18574 18576 18255 0 -1 4202560 585 0 0 0 113 15 0 0 20 0 22 0 253405973 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278048189480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18580] ppid=18574 vsize=9824668 CPUtime=1.25 cores=0,2,4,6 /proc/18576/task/18580/stat : 18580 (java) S 18574 18576 18255 0 -1 4202560 636 0 0 0 113 12 0 0 20 0 22 0 253405973 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278047136680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18576/tid=18581] ppid=18574 vsize=9824668 CPUtime=1.56 cores=0,2,4,6 /proc/18576/task/18581/stat : 18581 (java) S 18574 18576 18255 0 -1 4202560 756 0 0 0 138 18 0 0 20 0 22 0 253405973 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278046083880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18582] ppid=18574 vsize=9824668 CPUtime=1.38 cores=0,2,4,6 /proc/18576/task/18582/stat : 18582 (java) S 18574 18576 18255 0 -1 4202560 895 0 0 0 122 16 0 0 20 0 22 0 253405973 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278045031080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18576/tid=18583] ppid=18574 vsize=9824668 CPUtime=1.42 cores=0,2,4,6 /proc/18576/task/18583/stat : 18583 (java) S 18574 18576 18255 0 -1 4202560 670 0 0 0 127 15 0 0 20 0 22 0 253405973 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278043978280 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18576/tid=18584] ppid=18574 vsize=9824668 CPUtime=1.36 cores=0,2,4,6 /proc/18576/task/18584/stat : 18584 (java) S 18574 18576 18255 0 -1 4202560 552 0 0 0 122 14 0 0 20 0 22 0 253405973 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278042925480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18585] ppid=18574 vsize=9824668 CPUtime=1.21 cores=0,2,4,6 /proc/18576/task/18585/stat : 18585 (java) S 18574 18576 18255 0 -1 4202560 482 0 0 0 109 12 0 0 20 0 22 0 253405973 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278041872680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18576/tid=18586] ppid=18574 vsize=9824668 CPUtime=1.21 cores=0,2,4,6 /proc/18576/task/18586/stat : 18586 (java) S 18574 18576 18255 0 -1 4202560 966 0 0 0 109 12 0 0 20 0 22 0 253405973 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278040819880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18576/tid=18587] ppid=18574 vsize=9824668 CPUtime=97.8 cores=0,2,4,6 /proc/18576/task/18587/stat : 18587 (java) S 18574 18576 18255 0 -1 4202560 3236 0 0 0 9756 24 0 0 20 0 22 0 253405974 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278028409832 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18588] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18588/stat : 18588 (java) S 18574 18576 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253405975 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278027355896 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18589] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18589/stat : 18589 (java) S 18574 18576 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253405975 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278026302984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18590] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18590/stat : 18590 (java) S 18574 18576 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405977 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278025251472 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18591] ppid=18574 vsize=9824668 CPUtime=1.22 cores=0,2,4,6 /proc/18576/task/18591/stat : 18591 (java) S 18574 18576 18255 0 -1 4202560 6360 0 0 0 120 2 0 0 20 0 22 0 253405977 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278024198584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18592] ppid=18574 vsize=9824668 CPUtime=1.45 cores=0,2,4,6 /proc/18576/task/18592/stat : 18592 (java) S 18574 18576 18255 0 -1 4202560 8097 0 0 0 143 2 0 0 20 0 22 0 253405977 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278023145784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18593] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18593/stat : 18593 (java) S 18574 18576 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405977 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278022093176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18594] ppid=18574 vsize=9824668 CPUtime=0.23 cores=0,2,4,6 /proc/18576/task/18594/stat : 18594 (java) S 18574 18576 18255 0 -1 4202560 55 0 0 0 10 13 0 0 20 0 22 0 253405977 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278021040584 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18597] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18597/stat : 18597 (java) S 18574 18576 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253406340 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278017881512 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18576/tid=18599] ppid=18574 vsize=9824668 CPUtime=835.2 cores=0,2,4,6 /proc/18576/task/18599/stat : 18599 (java) R 18574 18576 18255 0 -1 4202560 26 0 0 0 83508 12 0 0 20 0 22 0 253406393 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278018933248 140278077834244 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18600] ppid=18574 vsize=9824668 CPUtime=835.1 cores=0,2,4,6 /proc/18576/task/18600/stat : 18600 (java) R 18574 18576 18255 0 -1 4202560 1030 0 0 0 83487 23 0 0 20 0 22 0 253406393 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278019983760 140278077627984 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18601] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18601/stat : 18601 (java) S 18574 18576 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253406393 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278016828328 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1790.28 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+947.201 s] /proc/loadavg: 3.70 3.74 3.27 4/219 18715 /proc/meminfo: memFree=22855008/32873844 swapFree=7384/7384 [pid=18576] ppid=18574 vsize=9824668 CPUtime=1800.1 cores=0,2,4,6 /proc/18576/stat : 18576 (java) S 18574 18576 18255 0 -1 4202496 28440 0 1 0 179830 180 0 0 20 0 22 0 253405970 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140733207410592 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/18576/statm: 2456167 870785 2288 9 0 2446860 0 [pid=18576/tid=18578] ppid=18574 vsize=9824668 CPUtime=3.41 cores=0,2,4,6 /proc/18576/task/18578/stat : 18578 (java) S 18574 18576 18255 0 -1 4202560 2807 0 1 0 330 11 0 0 20 0 22 0 253405971 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278204191736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18579] ppid=18574 vsize=9824668 CPUtime=1.28 cores=0,2,4,6 /proc/18576/task/18579/stat : 18579 (java) S 18574 18576 18255 0 -1 4202560 585 0 0 0 113 15 0 0 20 0 22 0 253405973 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278048189480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18580] ppid=18574 vsize=9824668 CPUtime=1.25 cores=0,2,4,6 /proc/18576/task/18580/stat : 18580 (java) S 18574 18576 18255 0 -1 4202560 636 0 0 0 113 12 0 0 20 0 22 0 253405973 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278047136680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18576/tid=18581] ppid=18574 vsize=9824668 CPUtime=1.56 cores=0,2,4,6 /proc/18576/task/18581/stat : 18581 (java) S 18574 18576 18255 0 -1 4202560 756 0 0 0 138 18 0 0 20 0 22 0 253405973 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278046083880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18582] ppid=18574 vsize=9824668 CPUtime=1.38 cores=0,2,4,6 /proc/18576/task/18582/stat : 18582 (java) S 18574 18576 18255 0 -1 4202560 895 0 0 0 122 16 0 0 20 0 22 0 253405973 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278045031080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18576/tid=18583] ppid=18574 vsize=9824668 CPUtime=1.42 cores=0,2,4,6 /proc/18576/task/18583/stat : 18583 (java) S 18574 18576 18255 0 -1 4202560 670 0 0 0 127 15 0 0 20 0 22 0 253405973 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278043978280 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18576/tid=18584] ppid=18574 vsize=9824668 CPUtime=1.36 cores=0,2,4,6 /proc/18576/task/18584/stat : 18584 (java) S 18574 18576 18255 0 -1 4202560 552 0 0 0 122 14 0 0 20 0 22 0 253405973 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278042925480 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18585] ppid=18574 vsize=9824668 CPUtime=1.21 cores=0,2,4,6 /proc/18576/task/18585/stat : 18585 (java) S 18574 18576 18255 0 -1 4202560 482 0 0 0 109 12 0 0 20 0 22 0 253405973 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278041872680 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18576/tid=18586] ppid=18574 vsize=9824668 CPUtime=1.21 cores=0,2,4,6 /proc/18576/task/18586/stat : 18586 (java) S 18574 18576 18255 0 -1 4202560 966 0 0 0 109 12 0 0 20 0 22 0 253405973 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278040819880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18576/tid=18587] ppid=18574 vsize=9824668 CPUtime=97.8 cores=0,2,4,6 /proc/18576/task/18587/stat : 18587 (java) S 18574 18576 18255 0 -1 4202560 3236 0 0 0 9756 24 0 0 20 0 22 0 253405974 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278028409832 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18588] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18588/stat : 18588 (java) S 18574 18576 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253405975 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278027355896 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18589] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18589/stat : 18589 (java) S 18574 18576 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253405975 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278026302984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18576/tid=18590] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18590/stat : 18590 (java) S 18574 18576 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405977 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278025251472 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18591] ppid=18574 vsize=9824668 CPUtime=1.22 cores=0,2,4,6 /proc/18576/task/18591/stat : 18591 (java) S 18574 18576 18255 0 -1 4202560 6360 0 0 0 120 2 0 0 20 0 22 0 253405977 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278024198584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18592] ppid=18574 vsize=9824668 CPUtime=1.45 cores=0,2,4,6 /proc/18576/task/18592/stat : 18592 (java) S 18574 18576 18255 0 -1 4202560 8097 0 0 0 143 2 0 0 20 0 22 0 253405977 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278023145784 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18593] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18593/stat : 18593 (java) S 18574 18576 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405977 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278022093176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18594] ppid=18574 vsize=9824668 CPUtime=0.23 cores=0,2,4,6 /proc/18576/task/18594/stat : 18594 (java) S 18574 18576 18255 0 -1 4202560 55 0 0 0 10 13 0 0 20 0 22 0 253405977 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278021040584 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18597] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18597/stat : 18597 (java) S 18574 18576 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253406340 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278017881512 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18576/tid=18599] ppid=18574 vsize=9824668 CPUtime=840.1 cores=0,2,4,6 /proc/18576/task/18599/stat : 18599 (java) R 18574 18576 18255 0 -1 4202560 26 0 0 0 83998 12 0 0 20 0 22 0 253406393 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278018933248 140278077834218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=18576/tid=18600] ppid=18574 vsize=9824668 CPUtime=840 cores=0,2,4,6 /proc/18576/task/18600/stat : 18600 (java) R 18574 18576 18255 0 -1 4202560 1030 0 0 0 83977 23 0 0 20 0 22 0 253406393 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278019983760 140278078052305 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=18576/tid=18601] ppid=18574 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/18576/task/18601/stat : 18601 (java) S 18574 18576 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253406393 10060460032 870785 33554432000 1073741824 1073778376 140733207419456 140278016828328 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 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 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 18576 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=669320 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=201665 # CPU time returned by wait4() is 1795.87 # while last known CPU time is 1800.1 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 947.283 CPU time (s): 1800.1 CPU user time (s): 1798.3 CPU system time (s): 1.8 CPU usage (%): 190.028 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.67 system time used= 2.20167 maximum resident set size= 3483264 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28473 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1016 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23733 involuntary context switches= 18988 runsolver used 3.69144 second user time and 7.66284 second system time The end
Begin job on node136 at 2012-05-24 17:20:05 IDJOB=3687602 IDBENCH=1967 IDSOLVER=2268 FILE ID=node136/3687602-1337872805 RUNJOBID= node136-1337871880-18271 PBS_JOBID= 14620068 Free space on /tmp= 71696 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_3.opb.PB06.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687602-1337872805/watcher-3687602-1337872805 -o /tmp/evaluation-result-3687602-1337872805/solver-3687602-1337872805 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687602-1337872805.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8eed52e8cea562b1b1ee5bae07565266 RANDOM SEED=2138714882 node136.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 : 2667.247 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 : 5334.49 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 : 2667.247 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 : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 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 : 2667.247 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.90 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 : 2667.247 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.90 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 : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 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 : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29168064 kB Buffers: 274252 kB Cached: 1921460 kB SwapCached: 24460 kB Active: 1329828 kB Inactive: 1604152 kB Active(anon): 713016 kB Inactive(anon): 25096 kB Active(file): 616812 kB Inactive(file): 1579056 kB Unevictable: 7384 kB Mlocked: 7384 kB SwapTotal: 67108856 kB SwapFree: 67079072 kB Dirty: 17156 kB Writeback: 0 kB AnonPages: 771148 kB Mapped: 17124 kB Shmem: 0 kB Slab: 626316 kB SReclaimable: 68268 kB SUnreclaim: 558048 kB KernelStack: 1824 kB PageTables: 5244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1347964 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 727040 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= 71700 MiB End job on node136 at 2012-05-24 17:35:54