Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 687 | 1800.04 | 955.508 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb |
| MD5SUM | 751aa23355f7a016eeb9009a33a863ac |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 687 |
| Best CPU time to get the best result obtained on this benchmark | 1800.04 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 436 |
| 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 | 494314 |
| 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 | 494314 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.05/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.05/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.09 c See www.sat4j.org for details. 0.05/0.09 c version 2.3.2.v20120418 0.05/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.09 c java.vm.version 19.1-b02 0.05/0.09 c java.vm.vendor Sun Microsystems Inc. 0.05/0.09 c sun.arch.data.model 64 0.05/0.09 c java.version 1.6.0_24 0.05/0.09 c os.name Linux 0.05/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.05/0.09 c os.arch amd64 0.05/0.09 c Free memory 501472288 0.05/0.09 c Max memory 7480803328 0.05/0.09 c Total memory 504102912 0.05/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3687600-1337872803.opb 0.09/0.12 c reading problem ... 5.31/3.69 c ... done. Wall clock time 3.568s. 5.31/3.69 c declared #vars 10000 5.31/3.69 c #constraints 656900 5.31/3.69 c constraints type 5.31/3.69 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 5.31/3.69 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 5.31/3.69 c 656900 constraints processed. 5.31/3.69 c constraints type 5.31/3.69 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 5.31/3.69 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 5.31/3.69 c 656900 constraints processed. 5.31/3.69 c objective function length is 10000 literals 6.18/3.95 c And the winner is solver0 6.45/4.20 c SATISFIABLE 6.45/4.20 c OPTIMIZING... 6.45/4.20 c Got one! Elapsed wall clock time (in seconds):4.079 6.45/4.20 o 689 7.44/4.50 c And the winner is solver0 7.60/4.77 c Got one! Elapsed wall clock time (in seconds):4.651 7.60/4.77 o 687 9.93/5.97 c cleaning 2654 clauses out of 5307 with flag 5000/5307 13.72/7.81 c cleaning 4327 clauses out of 8653 with flag 11000/11307 17.20/9.72 c cleaning 5664 clauses out of 11328 with flag 18002/18309 21.51/12.01 c cleaning 6831 clauses out of 13662 with flag 26000/26307 26.51/14.75 c cleaning 7913 clauses out of 15831 with flag 35000/35307 32.33/17.79 c cleaning 8960 clauses out of 17919 with flag 45001/45308 39.36/21.37 c cleaning 9979 clauses out of 19958 with flag 56000/56307 46.72/25.20 c cleaning 10991 clauses out of 21981 with flag 68002/68309 55.06/29.50 c cleaning 11974 clauses out of 23988 with flag 81000/81307 63.76/34.10 c cleaning 13004 clauses out of 26014 with flag 95000/95307 73.20/38.97 c cleaning 13998 clauses out of 28010 with flag 110000/110307 83.06/44.06 c cleaning 14991 clauses out of 30013 with flag 126001/126308 93.67/49.60 c cleaning 16009 clauses out of 32021 with flag 143000/143307 105.69/55.88 c cleaning 17004 clauses out of 34013 with flag 161001/161308 118.69/62.51 c cleaning 18005 clauses out of 36009 with flag 180001/180308 131.49/69.15 c cleaning 18983 clauses out of 38003 with flag 200000/200307 146.06/76.71 c cleaning 20002 clauses out of 40020 with flag 221000/221307 161.82/84.85 c cleaning 21008 clauses out of 42018 with flag 243000/243307 175.56/91.99 c cleaning 21998 clauses out of 44011 with flag 266001/266308 190.88/99.84 c cleaning 23005 clauses out of 46012 with flag 290000/290307 207.53/108.51 c cleaning 24004 clauses out of 48008 with flag 315001/315308 223.62/116.81 c cleaning 24997 clauses out of 50003 with flag 341000/341307 241.32/125.98 c cleaning 26001 clauses out of 52006 with flag 368000/368307 260.99/136.09 c cleaning 27004 clauses out of 54007 with flag 396002/396309 280.77/146.36 c cleaning 28001 clauses out of 56002 with flag 425001/425308 300.16/156.33 c cleaning 28988 clauses out of 58000 with flag 455000/455307 319.96/166.59 c cleaning 30002 clauses out of 60013 with flag 486001/486308 342.90/178.31 c cleaning 31004 clauses out of 62011 with flag 518001/518308 367.29/191.00 c cleaning 31982 clauses out of 64006 with flag 551000/551307 386.85/201.18 c cleaning 33010 clauses out of 66024 with flag 585000/585307 410.97/213.59 c cleaning 33988 clauses out of 68014 with flag 620000/620307 434.25/225.54 c cleaning 35012 clauses out of 70027 with flag 656001/656308 457.19/237.67 c cleaning 35997 clauses out of 72015 with flag 693001/693308 484.71/251.89 c cleaning 36997 clauses out of 74018 with flag 731001/731308 510.40/265.16 c cleaning 38000 clauses out of 76020 with flag 770000/770307 544.27/282.55 c cleaning 39000 clauses out of 78021 with flag 810001/810308 576.38/299.32 c cleaning 40002 clauses out of 80020 with flag 851000/851307 608.41/316.13 c cleaning 41008 clauses out of 82018 with flag 893000/893307 638.63/332.00 c cleaning 42001 clauses out of 84011 with flag 936001/936308 671.27/349.24 c cleaning 43003 clauses out of 86009 with flag 980000/980307 702.18/365.80 c cleaning 43995 clauses out of 88006 with flag 1025000/1025307 734.91/382.92 c cleaning 45007 clauses out of 90013 with flag 1071002/1071309 770.75/401.62 c cleaning 45986 clauses out of 92004 with flag 1118000/1118307 805.51/419.84 c cleaning 47008 clauses out of 94018 with flag 1166000/1166307 839.30/438.05 c cleaning 47997 clauses out of 96010 with flag 1215000/1215307 871.22/454.93 c cleaning 48990 clauses out of 98013 with flag 1265000/1265307 904.70/472.70 c cleaning 50007 clauses out of 100023 with flag 1316000/1316307 940.78/491.90 c cleaning 50997 clauses out of 102016 with flag 1368000/1368307 978.01/512.29 c cleaning 52002 clauses out of 104019 with flag 1421000/1421307 1017.00/532.83 c cleaning 53002 clauses out of 106018 with flag 1475001/1475308 1061.26/558.67 c cleaning 54005 clauses out of 108015 with flag 1530000/1530307 1103.37/580.58 c cleaning 54992 clauses out of 110010 with flag 1586000/1586307 1141.98/600.97 c cleaning 56002 clauses out of 112019 with flag 1643001/1643308 1191.73/626.83 c cleaning 57009 clauses out of 114019 with flag 1701003/1701310 1244.72/655.28 c cleaning 57992 clauses out of 116007 with flag 1760000/1760307 1297.75/683.06 c cleaning 58999 clauses out of 118015 with flag 1820000/1820307 1345.64/708.59 c cleaning 59993 clauses out of 120017 with flag 1881001/1881308 1398.45/736.55 c cleaning 60997 clauses out of 122023 with flag 1943000/1943307 1444.56/762.18 c cleaning 62009 clauses out of 124026 with flag 2006000/2006307 1490.52/786.74 c cleaning 62997 clauses out of 126017 with flag 2070000/2070307 1538.54/812.44 c cleaning 64003 clauses out of 128020 with flag 2135000/2135307 1585.55/837.68 c cleaning 64983 clauses out of 130017 with flag 2201000/2201307 1644.43/871.09 c cleaning 66003 clauses out of 132034 with flag 2268000/2268307 1700.13/900.20 c cleaning 67010 clauses out of 134033 with flag 2336002/2336309 1759.75/932.00 c cleaning 67999 clauses out of 136021 with flag 2405000/2405307 1800.04/955.41 c starts : 232 1800.04/955.41 c conflicts : 2444358 1800.04/955.41 c decisions : 7105538 1800.04/955.41 c propagations : 682078237 1800.04/955.41 c inspects : 877555271 1800.04/955.41 c shortcuts : 0 1800.04/955.41 c learnt literals : 0 1800.04/955.41 c learnt binary clauses : 0 1800.04/955.41 c learnt ternary clauses : 0 1800.04/955.41 c learnt constraints : 2444358 1800.04/955.41 c ignored constraints : 0 1800.04/955.41 c root simplifications : 0 1800.04/955.41 c removed literals (reason simplification) : 177863252 1800.04/955.41 c reason swapping (by a shorter reason) : 0 1800.04/955.41 c Calls to reduceDB : 65 1800.04/955.41 c number of reductions to clauses (during analyze) : 0 1800.04/955.41 c number of learned constraints concerned by reduction : 0 1800.04/955.41 c number of learning phase by resolution : 0 1800.04/955.41 c number of learning phase by cutting planes : 0 1800.04/955.41 c speed (assignments/second) : 716711.2952069923 1800.04/955.41 c non guided choices 0 1800.04/955.44 c learnt constraints type 1800.04/955.44 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 107139 1800.04/955.44 c constraints type 1800.04/955.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 1800.04/955.44 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 1800.04/955.44 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.04/955.44 c 656901 constraints processed. 1800.04/955.44 c constraints type 1800.04/955.44 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 1800.04/955.44 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 1800.04/955.44 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.04/955.44 c 656901 constraints processed. 1800.04/955.44 s SATISFIABLE 1800.04/955.45 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.04/955.46 c objective function=687 1800.04/955.46 c Total wall clock time (in seconds): 955.339
OK 687
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-3687600-1337872803/watcher-3687600-1337872803 -o /tmp/evaluation-result-3687600-1337872803/solver-3687600-1337872803 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687600-1337872803.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.80 2.85 1.89 3/197 25124 /proc/meminfo: memFree=25469328/32873844 swapFree=6080/6080 [pid=25124] ppid=25122 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/25124/stat : 25124 (java) D 25122 25124 24394 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253404939 9515008 182 33554432000 1073741824 1073778376 140736527448832 140736527439864 248790204085 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/25124/statm: 2323 182 140 9 0 71 0 [startup+0.076531 s] /proc/loadavg: 2.80 2.85 1.89 3/197 25124 /proc/meminfo: memFree=25469328/32873844 swapFree=6080/6080 [pid=25124] ppid=25122 vsize=9558412 CPUtime=0.05 cores=1,3,5,7 /proc/25124/stat : 25124 (java) S 25122 25124 24394 0 -1 4202496 3320 0 1 0 4 1 0 0 20 0 18 0 253404939 9787813888 4529 33554432000 1073741824 1073778376 140736568571168 140736568562304 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25124/statm: 2389603 4530 1771 9 0 2380296 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9558412 [startup+0.10033 s] /proc/loadavg: 2.80 2.85 1.89 3/197 25124 /proc/meminfo: memFree=25469328/32873844 swapFree=6080/6080 [pid=25124] ppid=25122 vsize=9558412 CPUtime=0.09 cores=1,3,5,7 /proc/25124/stat : 25124 (java) S 25122 25124 24394 0 -1 4202496 4323 0 1 0 8 1 0 0 20 0 18 0 253404939 9787813888 5511 33554432000 1073741824 1073778376 140736568571168 140736568562304 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25124/statm: 2389603 5511 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.300228 s] /proc/loadavg: 2.80 2.85 1.89 3/197 25124 /proc/meminfo: memFree=25469328/32873844 swapFree=6080/6080 [pid=25124] ppid=25122 vsize=9558412 CPUtime=0.47 cores=1,3,5,7 /proc/25124/stat : 25124 (java) S 25122 25124 24394 0 -1 4202496 5521 0 1 0 45 2 0 0 20 0 18 0 253404939 9787813888 8726 33554432000 1073741824 1073778376 140736568571168 140736568562304 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25124/statm: 2389603 8726 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558412 [startup+0.700301 s] /proc/loadavg: 2.80 2.85 1.89 3/197 25124 /proc/meminfo: memFree=25469328/32873844 swapFree=6080/6080 [pid=25124] ppid=25122 vsize=9558412 CPUtime=1.56 cores=1,3,5,7 /proc/25124/stat : 25124 (java) S 25122 25124 24394 0 -1 4202496 17920 0 1 0 150 6 0 0 20 0 18 0 253404939 9787813888 33300 33554432000 1073741824 1073778376 140736568571168 140736568562304 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25124/statm: 2389603 33300 2233 9 0 2380296 0 Current children cumulated CPU time (s) 1.56 Current children cumulated vsize (KiB) 9558412 [startup+1.50063 s] /proc/loadavg: 2.80 2.85 1.89 3/215 25142 /proc/meminfo: memFree=25282436/32873844 swapFree=6080/6080 [pid=25124] ppid=25122 vsize=9558412 CPUtime=2.52 cores=1,3,5,7 /proc/25124/stat : 25124 (java) S 25122 25124 24394 0 -1 4202496 18115 0 1 0 241 11 0 0 20 0 18 0 253404939 9787813888 67690 33554432000 1073741824 1073778376 140736568571168 140736568562304 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25124/statm: 2389603 67690 2249 9 0 2380296 0 [pid=25124/tid=25126] ppid=25122 vsize=9558412 CPUtime=1.39 cores=1,3,5,7 /proc/25124/task/25126/stat : 25126 (java) R 25122 25124 24394 0 -1 4202560 2574 0 1 0 135 4 0 0 20 0 18 0 253404940 9787813888 67690 33554432000 1073741824 1073778376 140736568571168 140695880044480 140695820222032 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=25124/tid=25127] ppid=25122 vsize=9558412 CPUtime=0.03 cores=1,3,5,7 /proc/25124/task/25127/stat : 25127 (java) S 25122 25124 24394 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 18 0 253404941 9787813888 67690 33554432000 1073741824 1073778376 140736568571168 140695818783272 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25128] ppid=25122 vsize=9558412 CPUtime=0.02 cores=1,3,5,7 /proc/25124/task/25128/stat : 25128 (java) S 25122 25124 24394 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 18 0 253404941 9787813888 67690 33554432000 1073741824 1073778376 140736568571168 140695817730472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25129] ppid=25122 vsize=9558412 CPUtime=0.01 cores=1,3,5,7 /proc/25124/task/25129/stat : 25129 (java) S 25122 25124 24394 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 18 0 253404941 9787813888 67690 33554432000 1073741824 1073778376 140736568571168 140695816677672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25130] ppid=25122 vsize=9558412 CPUtime=0.03 cores=1,3,5,7 /proc/25124/task/25130/stat : 25130 (java) S 25122 25124 24394 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 18 0 253404941 9787813888 67690 33554432000 1073741824 1073778376 140736568571168 140695815624872 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25131] ppid=25122 vsize=9558412 CPUtime=0.01 cores=1,3,5,7 /proc/25124/task/25131/stat : 25131 (java) S 25122 25124 24394 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 253404941 9787813888 67690 33554432000 1073741824 1073778376 140736568571168 140695719066664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25132] ppid=25122 vsize=9558412 CPUtime=0.01 cores=1,3,5,7 /proc/25124/task/25132/stat : 25132 (java) S 25122 25124 24394 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 18 0 253404941 9787813888 67690 33554432000 1073741824 1073778376 140736568571168 140695718013864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25133] ppid=25122 vsize=9558412 CPUtime=0.01 cores=1,3,5,7 /proc/25124/task/25133/stat : 25133 (java) S 25122 25124 24394 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 253404941 9787813888 67690 33554432000 1073741824 1073778376 140736568571168 140695716961064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25134] ppid=25122 vsize=9558412 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25134/stat : 25134 (java) S 25122 25124 24394 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 253404941 9787813888 67690 33554432000 1073741824 1073778376 140736568571168 140695715908264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25124/tid=25135] ppid=25122 vsize=9558412 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25135/stat : 25135 (java) S 25122 25124 24394 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 253404942 9787813888 67690 33554432000 1073741824 1073778376 140736568571168 140695703710184 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25136] ppid=25122 vsize=9558412 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25136/stat : 25136 (java) S 25122 25124 24394 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253404943 9787813888 67690 33554432000 1073741824 1073778376 140736568571168 140695702656248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25137] ppid=25122 vsize=9558412 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25137/stat : 25137 (java) S 25122 25124 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253404943 9787813888 67690 33554432000 1073741824 1073778376 140736568571168 140695701603336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25138] ppid=25122 vsize=9558412 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25138/stat : 25138 (java) S 25122 25124 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253404945 9787813888 67690 33554432000 1073741824 1073778376 140736568571168 140695700551824 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25139] ppid=25122 vsize=9558412 CPUtime=0.45 cores=1,3,5,7 /proc/25124/task/25139/stat : 25139 (java) S 25122 25124 24394 0 -1 4202560 7736 0 0 0 43 2 0 0 20 0 18 0 253404945 9787813888 67690 33554432000 1073741824 1073778376 140736568571168 140695699499960 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25140] ppid=25122 vsize=9558412 CPUtime=0.4 cores=1,3,5,7 /proc/25124/task/25140/stat : 25140 (java) S 25122 25124 24394 0 -1 4202560 6484 0 0 0 40 0 0 0 20 0 18 0 253404945 9787813888 67690 33554432000 1073741824 1073778376 140736568571168 140695698447160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25141] ppid=25122 vsize=9558412 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25141/stat : 25141 (java) S 25122 25124 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253404945 9787813888 67690 33554432000 1073741824 1073778376 140736568571168 140695697394552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25142] ppid=25122 vsize=9558412 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25142/stat : 25142 (java) S 25122 25124 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253404945 9787813888 67690 33554432000 1073741824 1073778376 140736568571168 140695696341960 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.52 Current children cumulated vsize (KiB) 9558412 [startup+3.10076 s] /proc/loadavg: 2.80 2.85 1.89 3/215 25142 /proc/meminfo: memFree=25117976/32873844 swapFree=6080/6080 [pid=25124] ppid=25122 vsize=9558412 CPUtime=4.48 cores=1,3,5,7 /proc/25124/stat : 25124 (java) S 25122 25124 24394 0 -1 4202496 18579 0 1 0 425 23 0 0 20 0 18 0 253404939 9787813888 125810 33554432000 1073741824 1073778376 140736568571168 140736568562304 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25124/statm: 2389603 125810 2249 9 0 2380296 0 [pid=25124/tid=25126] ppid=25122 vsize=9558412 CPUtime=2.86 cores=1,3,5,7 /proc/25124/task/25126/stat : 25126 (java) R 25122 25124 24394 0 -1 4202560 2658 0 1 0 278 8 0 0 20 0 18 0 253404940 9787813888 125810 33554432000 1073741824 1073778376 140736568571168 140695880044480 248793589005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25127] ppid=25122 vsize=9558412 CPUtime=0.06 cores=1,3,5,7 /proc/25124/task/25127/stat : 25127 (java) S 25122 25124 24394 0 -1 4202560 37 0 0 0 5 1 0 0 20 0 18 0 253404941 9787813888 125810 33554432000 1073741824 1073778376 140736568571168 140695818783272 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25128] ppid=25122 vsize=9558412 CPUtime=0.05 cores=1,3,5,7 /proc/25124/task/25128/stat : 25128 (java) S 25122 25124 24394 0 -1 4202560 43 0 0 0 5 0 0 0 20 0 18 0 253404941 9787813888 125810 33554432000 1073741824 1073778376 140736568571168 140695817730472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25129] ppid=25122 vsize=9558412 CPUtime=0.04 cores=1,3,5,7 /proc/25124/task/25129/stat : 25129 (java) S 25122 25124 24394 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 18 0 253404941 9787813888 125810 33554432000 1073741824 1073778376 140736568571168 140695816677672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25124/tid=25130] ppid=25122 vsize=9558412 CPUtime=0.08 cores=1,3,5,7 /proc/25124/task/25130/stat : 25130 (java) S 25122 25124 24394 0 -1 4202560 50 0 0 0 6 2 0 0 20 0 18 0 253404941 9787813888 125810 33554432000 1073741824 1073778376 140736568571168 140695815624872 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25124/tid=25131] ppid=25122 vsize=9558412 CPUtime=0.08 cores=1,3,5,7 /proc/25124/task/25131/stat : 25131 (java) S 25122 25124 24394 0 -1 4202560 36 0 0 0 7 1 0 0 20 0 18 0 253404941 9787813888 125810 33554432000 1073741824 1073778376 140736568571168 140695719066664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25132] ppid=25122 vsize=9558412 CPUtime=0.09 cores=1,3,5,7 /proc/25124/task/25132/stat : 25132 (java) S 25122 25124 24394 0 -1 4202560 53 0 0 0 8 1 0 0 20 0 18 0 253404941 9787813888 125810 33554432000 1073741824 1073778376 140736568571168 140695718013864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25133] ppid=25122 vsize=9558412 CPUtime=0.06 cores=1,3,5,7 /proc/25124/task/25133/stat : 25133 (java) S 25122 25124 24394 0 -1 4202560 32 0 0 0 5 1 0 0 20 0 18 0 253404941 9787813888 125810 33554432000 1073741824 1073778376 140736568571168 140695716961064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25134] ppid=25122 vsize=9558412 CPUtime=0.12 cores=1,3,5,7 /proc/25124/task/25134/stat : 25134 (java) S 25122 25124 24394 0 -1 4202560 56 0 0 0 10 2 0 0 20 0 18 0 253404941 9787813888 125810 33554432000 1073741824 1073778376 140736568571168 140695715908264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25124/tid=25135] ppid=25122 vsize=9558412 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25135/stat : 25135 (java) S 25122 25124 24394 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 253404942 9787813888 125810 33554432000 1073741824 1073778376 140736568571168 140695703710184 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25136] ppid=25122 vsize=9558412 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25136/stat : 25136 (java) S 25122 25124 24394 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253404943 9787813888 125810 33554432000 1073741824 1073778376 140736568571168 140695702656248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25137] ppid=25122 vsize=9558412 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25137/stat : 25137 (java) S 25122 25124 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253404943 9787813888 125810 33554432000 1073741824 1073778376 140736568571168 140695701603336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25138] ppid=25122 vsize=9558412 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25138/stat : 25138 (java) S 25122 25124 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253404945 9787813888 125810 33554432000 1073741824 1073778376 140736568571168 140695700551824 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25139] ppid=25122 vsize=9558412 CPUtime=0.46 cores=1,3,5,7 /proc/25124/task/25139/stat : 25139 (java) S 25122 25124 24394 0 -1 4202560 7736 0 0 0 43 3 0 0 20 0 18 0 253404945 9787813888 125810 33554432000 1073741824 1073778376 140736568571168 140695699499960 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25140] ppid=25122 vsize=9558412 CPUtime=0.4 cores=1,3,5,7 /proc/25124/task/25140/stat : 25140 (java) S 25122 25124 24394 0 -1 4202560 6484 0 0 0 40 0 0 0 20 0 18 0 253404945 9787813888 125810 33554432000 1073741824 1073778376 140736568571168 140695698447160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25141] ppid=25122 vsize=9558412 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25141/stat : 25141 (java) S 25122 25124 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253404945 9787813888 125810 33554432000 1073741824 1073778376 140736568571168 140695697394552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25142] ppid=25122 vsize=9558412 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25142/stat : 25142 (java) S 25122 25124 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253404945 9787813888 125810 33554432000 1073741824 1073778376 140736568571168 140695696341960 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.48 Current children cumulated vsize (KiB) 9558412 [startup+6.30085 s] /proc/loadavg: 2.81 2.85 1.89 4/219 25152 /proc/meminfo: memFree=24809460/32873844 swapFree=6080/6080 [pid=25124] ppid=25122 vsize=9824668 CPUtime=10.72 cores=1,3,5,7 /proc/25124/stat : 25124 (java) S 25122 25124 24394 0 -1 4202496 22199 0 1 0 1032 40 0 0 20 0 22 0 253404939 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140736568562304 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25124/statm: 2456167 181517 2282 9 0 2446860 0 [pid=25124/tid=25126] ppid=25122 vsize=9824668 CPUtime=3.46 cores=1,3,5,7 /proc/25124/task/25126/stat : 25126 (java) S 25122 25124 24394 0 -1 4202560 2728 0 1 0 336 10 0 0 20 0 22 0 253404940 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140695880053752 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25127] ppid=25122 vsize=9824668 CPUtime=0.16 cores=1,3,5,7 /proc/25124/task/25127/stat : 25127 (java) S 25122 25124 24394 0 -1 4202560 66 0 0 0 14 2 0 0 20 0 22 0 253404941 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140695818783272 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25128] ppid=25122 vsize=9824668 CPUtime=0.17 cores=1,3,5,7 /proc/25124/task/25128/stat : 25128 (java) S 25122 25124 24394 0 -1 4202560 65 0 0 0 14 3 0 0 20 0 22 0 253404941 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140695817730472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25124/tid=25129] ppid=25122 vsize=9824668 CPUtime=0.16 cores=1,3,5,7 /proc/25124/task/25129/stat : 25129 (java) S 25122 25124 24394 0 -1 4202560 79 0 0 0 14 2 0 0 20 0 22 0 253404941 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140695816677672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25130] ppid=25122 vsize=9824668 CPUtime=0.17 cores=1,3,5,7 /proc/25124/task/25130/stat : 25130 (java) S 25122 25124 24394 0 -1 4202560 61 0 0 0 15 2 0 0 20 0 22 0 253404941 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140695815624872 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25131] ppid=25122 vsize=9824668 CPUtime=0.24 cores=1,3,5,7 /proc/25124/task/25131/stat : 25131 (java) S 25122 25124 24394 0 -1 4202560 76 0 0 0 21 3 0 0 20 0 22 0 253404941 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140695719066664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25132] ppid=25122 vsize=9824668 CPUtime=0.19 cores=1,3,5,7 /proc/25124/task/25132/stat : 25132 (java) S 25122 25124 24394 0 -1 4202560 87 0 0 0 16 3 0 0 20 0 22 0 253404941 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140695718013864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25124/tid=25133] ppid=25122 vsize=9824668 CPUtime=0.16 cores=1,3,5,7 /proc/25124/task/25133/stat : 25133 (java) S 25122 25124 24394 0 -1 4202560 72 0 0 0 13 3 0 0 20 0 22 0 253404941 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140695716961064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25134] ppid=25122 vsize=9824668 CPUtime=0.2 cores=1,3,5,7 /proc/25124/task/25134/stat : 25134 (java) S 25122 25124 24394 0 -1 4202560 66 0 0 0 17 3 0 0 20 0 22 0 253404941 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140695715908264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25135] ppid=25122 vsize=9824668 CPUtime=0.22 cores=1,3,5,7 /proc/25124/task/25135/stat : 25135 (java) R 25122 25124 24394 0 -1 4202560 511 0 0 0 21 1 0 0 20 0 22 0 253404942 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140695703709032 140695886561357 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25136] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25136/stat : 25136 (java) S 25122 25124 24394 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253404943 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140695702656248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25137] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25137/stat : 25137 (java) S 25122 25124 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253404943 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140695701603336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25138] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25138/stat : 25138 (java) S 25122 25124 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253404945 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140695700551824 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25139] ppid=25122 vsize=9824668 CPUtime=1.03 cores=1,3,5,7 /proc/25124/task/25139/stat : 25139 (java) S 25122 25124 24394 0 -1 4202560 7797 0 0 0 100 3 0 0 20 0 22 0 253404945 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140695699499960 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25140] ppid=25122 vsize=9824668 CPUtime=1.01 cores=1,3,5,7 /proc/25124/task/25140/stat : 25140 (java) S 25122 25124 24394 0 -1 4202560 9289 0 0 0 99 2 0 0 20 0 22 0 253404945 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140695698433256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25141] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25141/stat : 25141 (java) S 25122 25124 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253404945 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140695697394552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25142] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25142/stat : 25142 (java) S 25122 25124 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253404945 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140695696341960 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25146] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25146/stat : 25146 (java) S 25122 25124 24394 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253405312 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140695692129064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25150] ppid=25122 vsize=9824668 CPUtime=1.12 cores=1,3,5,7 /proc/25124/task/25150/stat : 25150 (java) S 25122 25124 24394 0 -1 4202560 4 0 0 0 112 0 0 0 20 0 22 0 253405421 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140695695286984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25124/tid=25151] ppid=25122 vsize=9824668 CPUtime=1.12 cores=1,3,5,7 /proc/25124/task/25151/stat : 25151 (java) S 25122 25124 24394 0 -1 4202560 2 0 0 0 112 0 0 0 20 0 22 0 253405421 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140695694232104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25152] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25152/stat : 25152 (java) S 25122 25124 24394 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253405421 10060460032 181517 33554432000 1073741824 1073778376 140736568571168 140695693181992 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 10.72 Current children cumulated vsize (KiB) 9824668 ################ # More data... # ################ /proc/25124/statm: 2456167 878874 2288 9 0 2446860 0 [pid=25124/tid=25126] ppid=25122 vsize=9824668 CPUtime=3.49 cores=1,3,5,7 /proc/25124/task/25126/stat : 25126 (java) S 25122 25124 24394 0 -1 4202560 2786 0 1 0 337 12 0 0 20 0 22 0 253404940 10060460032 878874 33554432000 1073741824 1073778376 140736568571168 140695880053752 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25127] ppid=25122 vsize=9824668 CPUtime=1.73 cores=1,3,5,7 /proc/25124/task/25127/stat : 25127 (java) S 25122 25124 24394 0 -1 4202560 4986 0 0 0 152 21 0 0 20 0 22 0 253404941 10060460032 878874 33554432000 1073741824 1073778376 140736568571168 140695818783272 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25128] ppid=25122 vsize=9824668 CPUtime=1.91 cores=1,3,5,7 /proc/25124/task/25128/stat : 25128 (java) S 25122 25124 24394 0 -1 4202560 13192 0 0 0 165 26 0 0 20 0 22 0 253404941 10060460032 878874 33554432000 1073741824 1073778376 140736568571168 140695817730472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25129] ppid=25122 vsize=9824668 CPUtime=1.82 cores=1,3,5,7 /proc/25124/task/25129/stat : 25129 (java) S 25122 25124 24394 0 -1 4202560 13291 0 0 0 157 25 0 0 20 0 22 0 253404941 10060460032 878874 33554432000 1073741824 1073778376 140736568571168 140695816677672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25130] ppid=25122 vsize=9824668 CPUtime=2.01 cores=1,3,5,7 /proc/25124/task/25130/stat : 25130 (java) S 25122 25124 24394 0 -1 4202560 15606 0 0 0 174 27 0 0 20 0 22 0 253404941 10060460032 878874 33554432000 1073741824 1073778376 140736568571168 140695815624872 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25124/tid=25131] ppid=25122 vsize=9824668 CPUtime=1.74 cores=1,3,5,7 /proc/25124/task/25131/stat : 25131 (java) S 25122 25124 24394 0 -1 4202560 13605 0 0 0 153 21 0 0 20 0 22 0 253404941 10060460032 878874 33554432000 1073741824 1073778376 140736568571168 140695719066664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25132] ppid=25122 vsize=9824668 CPUtime=1.75 cores=1,3,5,7 /proc/25124/task/25132/stat : 25132 (java) S 25122 25124 24394 0 -1 4202560 15604 0 0 0 151 24 0 0 20 0 22 0 253404941 10060460032 878874 33554432000 1073741824 1073778376 140736568571168 140695718013864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25133] ppid=25122 vsize=9824668 CPUtime=1.72 cores=1,3,5,7 /proc/25124/task/25133/stat : 25133 (java) S 25122 25124 24394 0 -1 4202560 13476 0 0 0 146 26 0 0 20 0 22 0 253404941 10060460032 878874 33554432000 1073741824 1073778376 140736568571168 140695716961064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25134] ppid=25122 vsize=9824668 CPUtime=1.83 cores=1,3,5,7 /proc/25124/task/25134/stat : 25134 (java) S 25122 25124 24394 0 -1 4202560 12518 0 0 0 159 24 0 0 20 0 22 0 253404941 10060460032 878874 33554432000 1073741824 1073778376 140736568571168 140695715908264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25135] ppid=25122 vsize=9824668 CPUtime=105.69 cores=1,3,5,7 /proc/25124/task/25135/stat : 25135 (java) S 25122 25124 24394 0 -1 4202560 8350 0 0 0 10551 18 0 0 20 0 22 0 253404942 10060460032 878874 33554432000 1073741824 1073778376 140736568571168 140695703710184 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25136] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25136/stat : 25136 (java) S 25122 25124 24394 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253404943 10060460032 878874 33554432000 1073741824 1073778376 140736568571168 140695702656248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25137] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25137/stat : 25137 (java) S 25122 25124 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253404943 10060460032 878874 33554432000 1073741824 1073778376 140736568571168 140695701603336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25138] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25138/stat : 25138 (java) S 25122 25124 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253404945 10060460032 878874 33554432000 1073741824 1073778376 140736568571168 140695700551824 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25139] ppid=25122 vsize=9824668 CPUtime=1.52 cores=1,3,5,7 /proc/25124/task/25139/stat : 25139 (java) S 25122 25124 24394 0 -1 4202560 7821 0 0 0 149 3 0 0 20 0 22 0 253404945 10060460032 878874 33554432000 1073741824 1073778376 140736568571168 140695699499960 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25140] ppid=25122 vsize=9824668 CPUtime=1.5 cores=1,3,5,7 /proc/25124/task/25140/stat : 25140 (java) S 25122 25124 24394 0 -1 4202560 9302 0 0 0 148 2 0 0 20 0 22 0 253404945 10060460032 878874 33554432000 1073741824 1073778376 140736568571168 140695698447160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25141] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25141/stat : 25141 (java) S 25122 25124 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253404945 10060460032 878874 33554432000 1073741824 1073778376 140736568571168 140695697394552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25142] ppid=25122 vsize=9824668 CPUtime=0.25 cores=1,3,5,7 /proc/25124/task/25142/stat : 25142 (java) S 25122 25124 24394 0 -1 4202560 50 0 0 0 12 13 0 0 20 0 22 0 253404945 10060460032 878874 33554432000 1073741824 1073778376 140736568571168 140695696341960 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25146] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25146/stat : 25146 (java) S 25122 25124 24394 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253405312 10060460032 878874 33554432000 1073741824 1073778376 140736568571168 140695692129064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25150] ppid=25122 vsize=9824668 CPUtime=765.84 cores=1,3,5,7 /proc/25124/task/25150/stat : 25150 (java) R 25122 25124 24394 0 -1 4202560 242 0 0 0 76573 11 0 0 20 0 22 0 253405421 10060460032 878874 33554432000 1073741824 1073778376 140736568571168 140695695286864 140695820960452 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25151] ppid=25122 vsize=9824668 CPUtime=765.8 cores=1,3,5,7 /proc/25124/task/25151/stat : 25151 (java) R 25122 25124 24394 0 -1 4202560 1039 0 0 0 76560 20 0 0 20 0 22 0 253405421 10060460032 878874 33554432000 1073741824 1073778376 140736568571168 140695694232288 140695821121122 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25152] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25152/stat : 25152 (java) S 25122 25124 24394 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253405421 10060460032 878874 33554432000 1073741824 1073778376 140736568571168 140695693181992 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1663.9 Current children cumulated vsize (KiB) 9824668 [startup+942.301 s] /proc/loadavg: 3.42 3.11 2.60 5/220 25262 /proc/meminfo: memFree=24244652/32873844 swapFree=6080/6080 [pid=25124] ppid=25122 vsize=9824668 CPUtime=1773.83 cores=1,3,5,7 /proc/25124/stat : 25124 (java) S 25122 25124 24394 0 -1 4202496 134360 0 1 0 177067 316 0 0 20 0 22 0 253404939 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140736568562304 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25124/statm: 2456167 983749 2288 9 0 2446860 0 [pid=25124/tid=25126] ppid=25122 vsize=9824668 CPUtime=3.5 cores=1,3,5,7 /proc/25124/task/25126/stat : 25126 (java) S 25122 25124 24394 0 -1 4202560 2788 0 1 0 338 12 0 0 20 0 22 0 253404940 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695880053752 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25127] ppid=25122 vsize=9824668 CPUtime=1.98 cores=1,3,5,7 /proc/25124/task/25127/stat : 25127 (java) S 25122 25124 24394 0 -1 4202560 5140 0 0 0 170 28 0 0 20 0 22 0 253404941 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695818783272 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25128] ppid=25122 vsize=9824668 CPUtime=2.1 cores=1,3,5,7 /proc/25124/task/25128/stat : 25128 (java) S 25122 25124 24394 0 -1 4202560 13323 0 0 0 178 32 0 0 20 0 22 0 253404941 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695817730472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25129] ppid=25122 vsize=9824668 CPUtime=2.02 cores=1,3,5,7 /proc/25124/task/25129/stat : 25129 (java) S 25122 25124 24394 0 -1 4202560 13460 0 0 0 172 30 0 0 20 0 22 0 253404941 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695816677672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25130] ppid=25122 vsize=9824668 CPUtime=2.18 cores=1,3,5,7 /proc/25124/task/25130/stat : 25130 (java) S 25122 25124 24394 0 -1 4202560 15680 0 0 0 185 33 0 0 20 0 22 0 253404941 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695815624872 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25124/tid=25131] ppid=25122 vsize=9824668 CPUtime=2.13 cores=1,3,5,7 /proc/25124/task/25131/stat : 25131 (java) S 25122 25124 24394 0 -1 4202560 13879 0 0 0 180 33 0 0 20 0 22 0 253404941 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695719066664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25132] ppid=25122 vsize=9824668 CPUtime=2.04 cores=1,3,5,7 /proc/25124/task/25132/stat : 25132 (java) S 25122 25124 24394 0 -1 4202560 15717 0 0 0 172 32 0 0 20 0 22 0 253404941 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695718013864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25133] ppid=25122 vsize=9824668 CPUtime=1.92 cores=1,3,5,7 /proc/25124/task/25133/stat : 25133 (java) S 25122 25124 24394 0 -1 4202560 13554 0 0 0 160 32 0 0 20 0 22 0 253404941 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695716961064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25134] ppid=25122 vsize=9824668 CPUtime=2.07 cores=1,3,5,7 /proc/25124/task/25134/stat : 25134 (java) S 25122 25124 24394 0 -1 4202560 12612 0 0 0 175 32 0 0 20 0 22 0 253404941 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695715908264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25135] ppid=25122 vsize=9824668 CPUtime=116.69 cores=1,3,5,7 /proc/25124/task/25135/stat : 25135 (java) S 25122 25124 24394 0 -1 4202560 8453 0 0 0 11651 18 0 0 20 0 22 0 253404942 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695703710184 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25136] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25136/stat : 25136 (java) S 25122 25124 24394 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253404943 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695702656248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25137] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25137/stat : 25137 (java) S 25122 25124 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253404943 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695701603336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25138] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25138/stat : 25138 (java) S 25122 25124 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253404945 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695700551824 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25139] ppid=25122 vsize=9824668 CPUtime=1.52 cores=1,3,5,7 /proc/25124/task/25139/stat : 25139 (java) S 25122 25124 24394 0 -1 4202560 7821 0 0 0 149 3 0 0 20 0 22 0 253404945 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695699499960 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25140] ppid=25122 vsize=9824668 CPUtime=1.5 cores=1,3,5,7 /proc/25124/task/25140/stat : 25140 (java) S 25122 25124 24394 0 -1 4202560 9302 0 0 0 148 2 0 0 20 0 22 0 253404945 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695698447160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25141] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25141/stat : 25141 (java) S 25122 25124 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253404945 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695697394552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25142] ppid=25122 vsize=9824668 CPUtime=0.28 cores=1,3,5,7 /proc/25124/task/25142/stat : 25142 (java) S 25122 25124 24394 0 -1 4202560 54 0 0 0 13 15 0 0 20 0 22 0 253404945 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695696341960 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25146] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25146/stat : 25146 (java) S 25122 25124 24394 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253405312 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695692129064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25150] ppid=25122 vsize=9824668 CPUtime=814.2 cores=1,3,5,7 /proc/25124/task/25150/stat : 25150 (java) R 25122 25124 24394 0 -1 4202560 243 0 0 0 81408 12 0 0 20 0 22 0 253405421 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695695286864 140695820929661 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25151] ppid=25122 vsize=9824668 CPUtime=814.16 cores=1,3,5,7 /proc/25124/task/25151/stat : 25151 (java) R 25122 25124 24394 0 -1 4202560 1039 0 0 0 81395 21 0 0 20 0 22 0 253405421 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695694232208 140695821121122 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25152] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25152/stat : 25152 (java) S 25122 25124 24394 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253405421 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695693181992 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1773.83 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+955.401 s] /proc/loadavg: 3.55 3.15 2.62 5/220 25262 /proc/meminfo: memFree=24234288/32873844 swapFree=6080/6080 [pid=25124] ppid=25122 vsize=9824668 CPUtime=1800.04 cores=1,3,5,7 /proc/25124/stat : 25124 (java) S 25122 25124 24394 0 -1 4202496 134360 0 1 0 179688 316 0 0 20 0 22 0 253404939 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140736568562304 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/25124/statm: 2456167 983749 2288 9 0 2446860 0 [pid=25124/tid=25126] ppid=25122 vsize=9824668 CPUtime=3.5 cores=1,3,5,7 /proc/25124/task/25126/stat : 25126 (java) S 25122 25124 24394 0 -1 4202560 2788 0 1 0 338 12 0 0 20 0 22 0 253404940 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695880053752 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25127] ppid=25122 vsize=9824668 CPUtime=1.98 cores=1,3,5,7 /proc/25124/task/25127/stat : 25127 (java) S 25122 25124 24394 0 -1 4202560 5140 0 0 0 170 28 0 0 20 0 22 0 253404941 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695818783272 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25128] ppid=25122 vsize=9824668 CPUtime=2.1 cores=1,3,5,7 /proc/25124/task/25128/stat : 25128 (java) S 25122 25124 24394 0 -1 4202560 13323 0 0 0 178 32 0 0 20 0 22 0 253404941 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695817730472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25129] ppid=25122 vsize=9824668 CPUtime=2.02 cores=1,3,5,7 /proc/25124/task/25129/stat : 25129 (java) S 25122 25124 24394 0 -1 4202560 13460 0 0 0 172 30 0 0 20 0 22 0 253404941 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695816677672 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25130] ppid=25122 vsize=9824668 CPUtime=2.18 cores=1,3,5,7 /proc/25124/task/25130/stat : 25130 (java) S 25122 25124 24394 0 -1 4202560 15680 0 0 0 185 33 0 0 20 0 22 0 253404941 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695815624872 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25124/tid=25131] ppid=25122 vsize=9824668 CPUtime=2.13 cores=1,3,5,7 /proc/25124/task/25131/stat : 25131 (java) S 25122 25124 24394 0 -1 4202560 13879 0 0 0 180 33 0 0 20 0 22 0 253404941 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695719066664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25132] ppid=25122 vsize=9824668 CPUtime=2.04 cores=1,3,5,7 /proc/25124/task/25132/stat : 25132 (java) S 25122 25124 24394 0 -1 4202560 15717 0 0 0 172 32 0 0 20 0 22 0 253404941 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695718013864 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25133] ppid=25122 vsize=9824668 CPUtime=1.92 cores=1,3,5,7 /proc/25124/task/25133/stat : 25133 (java) S 25122 25124 24394 0 -1 4202560 13554 0 0 0 160 32 0 0 20 0 22 0 253404941 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695716961064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25134] ppid=25122 vsize=9824668 CPUtime=2.07 cores=1,3,5,7 /proc/25124/task/25134/stat : 25134 (java) S 25122 25124 24394 0 -1 4202560 12612 0 0 0 175 32 0 0 20 0 22 0 253404941 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695715908264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25135] ppid=25122 vsize=9824668 CPUtime=116.69 cores=1,3,5,7 /proc/25124/task/25135/stat : 25135 (java) S 25122 25124 24394 0 -1 4202560 8453 0 0 0 11651 18 0 0 20 0 22 0 253404942 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695703710184 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25136] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25136/stat : 25136 (java) S 25122 25124 24394 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253404943 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695702656248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25137] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25137/stat : 25137 (java) S 25122 25124 24394 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253404943 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695701603336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25138] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25138/stat : 25138 (java) S 25122 25124 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253404945 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695700551824 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25139] ppid=25122 vsize=9824668 CPUtime=1.52 cores=1,3,5,7 /proc/25124/task/25139/stat : 25139 (java) S 25122 25124 24394 0 -1 4202560 7821 0 0 0 149 3 0 0 20 0 22 0 253404945 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695699499960 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25140] ppid=25122 vsize=9824668 CPUtime=1.5 cores=1,3,5,7 /proc/25124/task/25140/stat : 25140 (java) S 25122 25124 24394 0 -1 4202560 9302 0 0 0 148 2 0 0 20 0 22 0 253404945 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695698447160 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25141] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25141/stat : 25141 (java) S 25122 25124 24394 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253404945 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695697394552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25142] ppid=25122 vsize=9824668 CPUtime=0.28 cores=1,3,5,7 /proc/25124/task/25142/stat : 25142 (java) S 25122 25124 24394 0 -1 4202560 54 0 0 0 13 15 0 0 20 0 22 0 253404945 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695696341960 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25146] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25146/stat : 25146 (java) S 25122 25124 24394 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253405312 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695692129064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25124/tid=25150] ppid=25122 vsize=9824668 CPUtime=827.27 cores=1,3,5,7 /proc/25124/task/25150/stat : 25150 (java) R 25122 25124 24394 0 -1 4202560 243 0 0 0 82715 12 0 0 20 0 22 0 253405421 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695695286864 140695820775577 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=25124/tid=25151] ppid=25122 vsize=9824668 CPUtime=827.24 cores=1,3,5,7 /proc/25124/task/25151/stat : 25151 (java) R 25122 25124 24394 0 -1 4202560 1039 0 0 0 82703 21 0 0 20 0 22 0 253405421 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695694232208 140695820685024 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=25124/tid=25152] ppid=25122 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/25124/task/25152/stat : 25152 (java) S 25122 25124 24394 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253405421 10060460032 983749 33554432000 1073741824 1073778376 140736568571168 140695693181992 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 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 25124 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=468503 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=593453 # CPU time returned by wait4() is 1796.06 # while last known CPU time is 1800.04 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 955.508 CPU time (s): 1800.04 CPU user time (s): 1796.88 CPU system time (s): 3.16 CPU usage (%): 188.386 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.47 system time used= 3.59345 maximum resident set size= 3935116 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 134392 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1040 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39392 involuntary context switches= 25642 runsolver used 3.57046 second user time and 9.1746 second system time The end
Begin job on node139 at 2012-05-24 17:20:04 IDJOB=3687600 IDBENCH=1966 IDSOLVER=2268 FILE ID=node139/3687600-1337872803 RUNJOBID= node139-1337871881-24411 PBS_JOBID= 14620065 Free space on /tmp= 71668 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_2.opb.PB06.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687600-1337872803/watcher-3687600-1337872803 -o /tmp/evaluation-result-3687600-1337872803/solver-3687600-1337872803 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687600-1337872803.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 751aa23355f7a016eeb9009a33a863ac RANDOM SEED=2093158198 node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 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: 25469600 kB Buffers: 213928 kB Cached: 2784760 kB SwapCached: 0 kB Active: 4092504 kB Inactive: 2505220 kB Active(anon): 3590528 kB Inactive(anon): 11120 kB Active(file): 501976 kB Inactive(file): 2494100 kB Unevictable: 6080 kB Mlocked: 6080 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 17212 kB Writeback: 0 kB AnonPages: 3597408 kB Mapped: 22552 kB Shmem: 200 kB Slab: 653124 kB SReclaimable: 95516 kB SUnreclaim: 557608 kB KernelStack: 1648 kB PageTables: 11272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 4132908 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 3524608 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= 71668 MiB End job on node139 at 2012-05-24 17:36:01