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) | 975 | 1800.04 | 946.688 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb |
| MD5SUM | ca3282cf347faf21ba3550ec87dd7af4 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 483 |
| Best CPU time to get the best result obtained on this benchmark | 1792.1 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 466 |
| 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 | 494728 |
| 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 | 494728 |
| 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.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.2.v20120418 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/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-3687604-1337872806.opb 0.09/0.12 c reading problem ... 5.07/3.60 c ... done. Wall clock time 3.478s. 5.07/3.60 c declared #vars 10000 5.07/3.60 c #constraints 656900 5.07/3.60 c constraints type 5.07/3.60 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 5.07/3.60 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 5.07/3.60 c 656900 constraints processed. 5.07/3.60 c constraints type 5.07/3.60 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 5.07/3.60 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 5.07/3.60 c 656900 constraints processed. 5.07/3.60 c objective function length is 10000 literals 5.81/3.86 c And the winner is solver0 6.09/4.11 c SATISFIABLE 6.09/4.11 c OPTIMIZING... 6.09/4.11 c Got one! Elapsed wall clock time (in seconds):3.989 6.09/4.11 o 981 6.67/4.39 c And the winner is solver0 7.09/4.68 c Got one! Elapsed wall clock time (in seconds):4.558 7.09/4.68 o 975 9.44/5.87 c cleaning 2653 clauses out of 5306 with flag 5000/5306 12.97/7.69 c cleaning 4327 clauses out of 8653 with flag 11000/11306 16.88/9.74 c cleaning 5663 clauses out of 11326 with flag 18000/18306 21.05/11.95 c cleaning 6832 clauses out of 13663 with flag 26000/26306 25.71/14.49 c cleaning 7917 clauses out of 15834 with flag 35003/35309 31.23/17.31 c cleaning 8957 clauses out of 17914 with flag 45000/45306 37.27/20.41 c cleaning 9980 clauses out of 19960 with flag 56003/56309 44.08/23.97 c cleaning 10983 clauses out of 21977 with flag 68000/68306 51.48/27.88 c cleaning 11998 clauses out of 23995 with flag 81001/81307 59.80/32.12 c cleaning 12998 clauses out of 25996 with flag 95000/95306 68.28/36.53 c cleaning 13994 clauses out of 27998 with flag 110000/110306 77.94/41.57 c cleaning 15000 clauses out of 30005 with flag 126001/126307 88.18/46.92 c cleaning 15994 clauses out of 32005 with flag 143001/143307 98.39/52.20 c cleaning 17006 clauses out of 34012 with flag 161002/161308 109.40/58.00 c cleaning 17997 clauses out of 36004 with flag 180000/180306 121.54/64.29 c cleaning 18998 clauses out of 38010 with flag 200003/200309 134.85/71.25 c cleaning 19997 clauses out of 40009 with flag 221000/221306 148.16/78.19 c cleaning 21002 clauses out of 42012 with flag 243000/243306 163.84/86.25 c cleaning 21997 clauses out of 44010 with flag 266000/266306 180.12/94.61 c cleaning 23004 clauses out of 46015 with flag 290002/290308 195.13/102.57 c cleaning 24002 clauses out of 48009 with flag 315000/315306 211.00/110.75 c cleaning 25004 clauses out of 50008 with flag 341001/341307 230.67/120.87 c cleaning 25998 clauses out of 52003 with flag 368000/368306 250.92/131.24 c cleaning 27002 clauses out of 54005 with flag 396000/396306 271.04/141.72 c cleaning 27985 clauses out of 56003 with flag 425000/425306 290.66/151.82 c cleaning 29009 clauses out of 58020 with flag 455002/455308 311.67/162.68 c cleaning 30004 clauses out of 60009 with flag 486000/486306 330.42/172.30 c cleaning 30980 clauses out of 62005 with flag 518000/518306 351.19/183.22 c cleaning 32003 clauses out of 64026 with flag 551001/551307 371.16/193.51 c cleaning 32998 clauses out of 66022 with flag 585000/585306 390.49/203.54 c cleaning 34004 clauses out of 68024 with flag 620000/620306 411.47/214.45 c cleaning 34999 clauses out of 70020 with flag 656000/656306 434.09/226.31 c cleaning 36008 clauses out of 72022 with flag 693001/693307 456.49/237.93 c cleaning 36996 clauses out of 74013 with flag 731000/731306 480.86/250.55 c cleaning 38007 clauses out of 76017 with flag 770000/770306 507.22/264.18 c cleaning 38995 clauses out of 78010 with flag 810000/810306 531.08/276.77 c cleaning 39995 clauses out of 80015 with flag 851000/851306 558.68/291.65 c cleaning 40984 clauses out of 82020 with flag 893000/893306 587.51/306.39 c cleaning 42014 clauses out of 84037 with flag 936001/936307 615.92/321.36 c cleaning 42993 clauses out of 86023 with flag 980001/980307 644.16/336.07 c cleaning 44005 clauses out of 88031 with flag 1025002/1025308 672.60/350.90 c cleaning 45010 clauses out of 90027 with flag 1071003/1071309 705.49/367.91 c cleaning 45997 clauses out of 92014 with flag 1118000/1118306 737.19/384.85 c cleaning 46991 clauses out of 94017 with flag 1166000/1166306 767.86/400.88 c cleaning 48006 clauses out of 96026 with flag 1215000/1215306 802.42/418.89 c cleaning 49004 clauses out of 98022 with flag 1265002/1265308 835.51/436.17 c cleaning 49993 clauses out of 100019 with flag 1316003/1316309 869.18/454.17 c cleaning 51010 clauses out of 102028 with flag 1368005/1368311 904.48/472.54 c cleaning 52005 clauses out of 104014 with flag 1421001/1421307 937.44/489.73 c cleaning 52995 clauses out of 106008 with flag 1475000/1475306 971.58/507.64 c cleaning 53983 clauses out of 108013 with flag 1530000/1530306 1008.60/527.42 c cleaning 55003 clauses out of 110030 with flag 1586000/1586306 1042.70/545.32 c cleaning 56002 clauses out of 112027 with flag 1643000/1643306 1073.76/561.70 c cleaning 57001 clauses out of 114025 with flag 1701000/1701306 1106.41/578.95 c cleaning 57997 clauses out of 116024 with flag 1760000/1760306 1144.76/599.54 c cleaning 58993 clauses out of 118027 with flag 1820000/1820306 1178.15/617.18 c cleaning 60005 clauses out of 120034 with flag 1881000/1881306 1214.28/636.18 c cleaning 60995 clauses out of 122030 with flag 1943001/1943307 1251.70/655.87 c cleaning 61989 clauses out of 124035 with flag 2006001/2006307 1296.56/679.87 c cleaning 63002 clauses out of 126045 with flag 2070000/2070306 1342.28/703.71 c cleaning 64015 clauses out of 128044 with flag 2135001/2135307 1389.94/728.62 c cleaning 64997 clauses out of 130028 with flag 2201000/2201306 1431.59/750.58 c cleaning 65996 clauses out of 132031 with flag 2268000/2268306 1488.84/782.49 c cleaning 67014 clauses out of 134042 with flag 2336007/2336313 1542.23/810.00 c cleaning 67999 clauses out of 136021 with flag 2405000/2405306 1594.92/838.08 c cleaning 68995 clauses out of 138022 with flag 2475000/2475306 1647.00/865.16 c cleaning 70004 clauses out of 140027 with flag 2546000/2546306 1702.70/894.10 c cleaning 70998 clauses out of 142023 with flag 2618000/2618306 1762.33/925.31 c cleaning 71998 clauses out of 144025 with flag 2691000/2691306 1800.04/946.61 c starts : 233 1800.04/946.61 c conflicts : 2737067 1800.04/946.61 c decisions : 8254703 1800.04/946.61 c propagations : 813630998 1800.04/946.61 c inspects : 893281843 1800.04/946.61 c shortcuts : 0 1800.04/946.61 c learnt literals : 0 1800.04/946.61 c learnt binary clauses : 0 1800.04/946.61 c learnt ternary clauses : 0 1800.04/946.61 c learnt constraints : 2737067 1800.04/946.61 c ignored constraints : 0 1800.04/946.61 c root simplifications : 0 1800.04/946.61 c removed literals (reason simplification) : 209916603 1800.04/946.61 c reason swapping (by a shorter reason) : 0 1800.04/946.61 c Calls to reduceDB : 69 1800.04/946.61 c number of reductions to clauses (during analyze) : 0 1800.04/946.61 c number of learned constraints concerned by reduction : 0 1800.04/946.61 c number of learning phase by resolution : 0 1800.04/946.61 c number of learning phase by cutting planes : 0 1800.04/946.61 c speed (assignments/second) : 862838.7806611026 1800.04/946.61 c non guided choices 0 1800.04/946.64 c learnt constraints type 1800.04/946.64 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 117874 1800.04/946.64 c constraints type 1800.04/946.64 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 1800.04/946.64 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 1800.04/946.64 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.04/946.64 c 656901 constraints processed. 1800.04/946.64 c constraints type 1800.04/946.64 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 1800.04/946.64 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 1800.04/946.64 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.04/946.64 c 656901 constraints processed. 1800.04/946.64 s SATISFIABLE 1800.04/946.65 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/946.66 c objective function=975 1800.04/946.66 c Total wall clock time (in seconds): 946.546
OK 975
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-3687604-1337872806/watcher-3687604-1337872806 -o /tmp/evaluation-result-3687604-1337872806/solver-3687604-1337872806 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687604-1337872806.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.57 3.99 2.55 2/174 25825 /proc/meminfo: memFree=29257936/32873648 swapFree=6596/6596 [pid=25825] ppid=25823 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/25825/stat : 25825 (java) R 25823 25825 25418 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 253405175 9515008 184 33554432000 1073741824 1073778376 140734616579680 140734616570712 212073082295 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/25825/statm: 2323 184 142 9 0 71 0 [startup+0.028111 s] /proc/loadavg: 4.57 3.99 2.55 2/174 25825 /proc/meminfo: memFree=29257936/32873648 swapFree=6596/6596 [pid=25825] ppid=25823 vsize=9016616 CPUtime=0 cores=0,2,4,6 /proc/25825/stat : 25825 (java) S 25823 25825 25418 0 -1 4202496 2767 0 1 0 0 0 0 0 20 0 10 0 253405175 9233014784 3467 33554432000 1073741824 1073778376 140734285968352 140734285959488 212076625981 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25825/statm: 2254154 3468 1537 9 0 2244855 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9016616 [startup+0.100255 s] /proc/loadavg: 4.57 3.99 2.55 2/174 25825 /proc/meminfo: memFree=29257936/32873648 swapFree=6596/6596 [pid=25825] ppid=25823 vsize=9558412 CPUtime=0.09 cores=0,2,4,6 /proc/25825/stat : 25825 (java) S 25823 25825 25418 0 -1 4202496 4283 0 1 0 8 1 0 0 20 0 18 0 253405175 9787813888 5480 33554432000 1073741824 1073778376 140734285968352 140734285959488 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25825/statm: 2389603 5481 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.300223 s] /proc/loadavg: 4.57 3.99 2.55 2/174 25825 /proc/meminfo: memFree=29257936/32873648 swapFree=6596/6596 [pid=25825] ppid=25823 vsize=9558412 CPUtime=0.46 cores=0,2,4,6 /proc/25825/stat : 25825 (java) S 25823 25825 25418 0 -1 4202496 5476 0 1 0 45 1 0 0 20 0 18 0 253405175 9787813888 8665 33554432000 1073741824 1073778376 140734285968352 140734285959488 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25825/statm: 2389603 8665 2216 9 0 2380296 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9558412 [startup+0.700173 s] /proc/loadavg: 4.57 3.99 2.55 2/174 25825 /proc/meminfo: memFree=29257936/32873648 swapFree=6596/6596 [pid=25825] ppid=25823 vsize=9558412 CPUtime=1.47 cores=0,2,4,6 /proc/25825/stat : 25825 (java) S 25823 25825 25418 0 -1 4202496 17429 0 1 0 143 4 0 0 20 0 18 0 253405175 9787813888 35316 33554432000 1073741824 1073778376 140734285968352 140734285959488 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25825/statm: 2389603 35316 2230 9 0 2380296 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 9558412 [startup+1.50068 s] /proc/loadavg: 4.57 3.99 2.55 5/212 25870 /proc/meminfo: memFree=28953428/32873648 swapFree=6596/6596 [pid=25825] ppid=25823 vsize=9558412 CPUtime=2.41 cores=0,2,4,6 /proc/25825/stat : 25825 (java) S 25823 25825 25418 0 -1 4202496 17627 0 1 0 231 10 0 0 20 0 18 0 253405175 9787813888 71754 33554432000 1073741824 1073778376 140734285968352 140734285959488 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25825/statm: 2389603 71754 2246 9 0 2380296 0 [pid=25825/tid=25827] ppid=25823 vsize=9558412 CPUtime=1.41 cores=0,2,4,6 /proc/25825/task/25827/stat : 25827 (java) R 25823 25825 25418 0 -1 4202560 2547 0 1 0 137 4 0 0 20 0 18 0 253405176 9787813888 71754 33554432000 1073741824 1073778376 140734285968352 140627988802744 140627849657520 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=25825/tid=25828] ppid=25823 vsize=9558412 CPUtime=0.02 cores=0,2,4,6 /proc/25825/task/25828/stat : 25828 (java) S 25823 25825 25418 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 18 0 253405177 9787813888 71754 33554432000 1073741824 1073778376 140734285968352 140627832634280 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25825/tid=25829] ppid=25823 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25829/stat : 25829 (java) S 25823 25825 25418 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 253405177 9787813888 71754 33554432000 1073741824 1073778376 140734285968352 140627831581736 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25830] ppid=25823 vsize=9558412 CPUtime=0.01 cores=0,2,4,6 /proc/25825/task/25830/stat : 25830 (java) S 25823 25825 25418 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 18 0 253405177 9787813888 71754 33554432000 1073741824 1073778376 140734285968352 140627830528680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25825/tid=25831] ppid=25823 vsize=9558412 CPUtime=0.01 cores=0,2,4,6 /proc/25825/task/25831/stat : 25831 (java) S 25823 25825 25418 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 18 0 253405177 9787813888 71754 33554432000 1073741824 1073778376 140734285968352 140627829476136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25832] ppid=25823 vsize=9558412 CPUtime=0.01 cores=0,2,4,6 /proc/25825/task/25832/stat : 25832 (java) S 25823 25825 25418 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 253405177 9787813888 71754 33554432000 1073741824 1073778376 140734285968352 140627828423080 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25825/tid=25833] ppid=25823 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25833/stat : 25833 (java) S 25823 25825 25418 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 253405177 9787813888 71754 33554432000 1073741824 1073778376 140734285968352 140627827370536 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25834] ppid=25823 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25834/stat : 25834 (java) S 25823 25825 25418 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 253405177 9787813888 71754 33554432000 1073741824 1073778376 140734285968352 140627826317480 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25835] ppid=25823 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25835/stat : 25835 (java) S 25823 25825 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253405177 9787813888 71754 33554432000 1073741824 1073778376 140734285968352 140627825264936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25836] ppid=25823 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25836/stat : 25836 (java) S 25823 25825 25418 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 253405178 9787813888 71754 33554432000 1073741824 1073778376 140734285968352 140627813067624 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25837] ppid=25823 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25837/stat : 25837 (java) S 25823 25825 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253405178 9787813888 71754 33554432000 1073741824 1073778376 140734285968352 140627812013944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25838] ppid=25823 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25838/stat : 25838 (java) S 25823 25825 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253405178 9787813888 71754 33554432000 1073741824 1073778376 140734285968352 140627810960776 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25839] ppid=25823 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25839/stat : 25839 (java) S 25823 25825 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253405181 9787813888 71754 33554432000 1073741824 1073778376 140734285968352 140627809909520 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25840] ppid=25823 vsize=9558412 CPUtime=0.39 cores=0,2,4,6 /proc/25825/task/25840/stat : 25840 (java) S 25823 25825 25418 0 -1 4202560 7424 0 0 0 38 1 0 0 20 0 18 0 253405181 9787813888 71754 33554432000 1073741824 1073778376 140734285968352 140627808856376 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25841] ppid=25823 vsize=9558412 CPUtime=0.37 cores=0,2,4,6 /proc/25825/task/25841/stat : 25841 (java) S 25823 25825 25418 0 -1 4202560 6335 0 0 0 37 0 0 0 20 0 18 0 253405181 9787813888 71754 33554432000 1073741824 1073778376 140734285968352 140627807803832 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25842] ppid=25823 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25842/stat : 25842 (java) S 25823 25825 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253405181 9787813888 71754 33554432000 1073741824 1073778376 140734285968352 140627806750968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25843] ppid=25823 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25843/stat : 25843 (java) S 25823 25825 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253405181 9787813888 71754 33554432000 1073741824 1073778376 140734285968352 140627805698632 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.41 Current children cumulated vsize (KiB) 9558412 [startup+3.10068 s] /proc/loadavg: 4.57 3.99 2.55 3/212 25870 /proc/meminfo: memFree=28547492/32873648 swapFree=6596/6596 [pid=25825] ppid=25823 vsize=9558412 CPUtime=4.3 cores=0,2,4,6 /proc/25825/stat : 25825 (java) S 25823 25825 25418 0 -1 4202496 18102 0 1 0 410 20 0 0 20 0 18 0 253405175 9787813888 135499 33554432000 1073741824 1073778376 140734285968352 140734285959488 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25825/statm: 2389603 135499 2246 9 0 2380296 0 [pid=25825/tid=25827] ppid=25823 vsize=9558412 CPUtime=2.91 cores=0,2,4,6 /proc/25825/task/25827/stat : 25827 (java) R 25823 25825 25418 0 -1 4202560 2642 0 1 0 284 7 0 0 20 0 18 0 253405176 9787813888 135499 33554432000 1073741824 1073778376 140734285968352 140627988795248 140627849747009 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=25825/tid=25828] ppid=25823 vsize=9558412 CPUtime=0.08 cores=0,2,4,6 /proc/25825/task/25828/stat : 25828 (java) S 25823 25825 25418 0 -1 4202560 48 0 0 0 6 2 0 0 20 0 18 0 253405177 9787813888 135499 33554432000 1073741824 1073778376 140734285968352 140627832634280 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25829] ppid=25823 vsize=9558412 CPUtime=0.03 cores=0,2,4,6 /proc/25825/task/25829/stat : 25829 (java) S 25823 25825 25418 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 18 0 253405177 9787813888 135499 33554432000 1073741824 1073778376 140734285968352 140627831581736 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25830] ppid=25823 vsize=9558412 CPUtime=0.05 cores=0,2,4,6 /proc/25825/task/25830/stat : 25830 (java) S 25823 25825 25418 0 -1 4202560 32 0 0 0 4 1 0 0 20 0 18 0 253405177 9787813888 135499 33554432000 1073741824 1073778376 140734285968352 140627830528680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25825/tid=25831] ppid=25823 vsize=9558412 CPUtime=0.05 cores=0,2,4,6 /proc/25825/task/25831/stat : 25831 (java) S 25823 25825 25418 0 -1 4202560 45 0 0 0 4 1 0 0 20 0 18 0 253405177 9787813888 135499 33554432000 1073741824 1073778376 140734285968352 140627829476136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25832] ppid=25823 vsize=9558412 CPUtime=0.04 cores=0,2,4,6 /proc/25825/task/25832/stat : 25832 (java) S 25823 25825 25418 0 -1 4202560 27 0 0 0 4 0 0 0 20 0 18 0 253405177 9787813888 135499 33554432000 1073741824 1073778376 140734285968352 140627828423080 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25825/tid=25833] ppid=25823 vsize=9558412 CPUtime=0.07 cores=0,2,4,6 /proc/25825/task/25833/stat : 25833 (java) S 25823 25825 25418 0 -1 4202560 57 0 0 0 6 1 0 0 20 0 18 0 253405177 9787813888 135499 33554432000 1073741824 1073778376 140734285968352 140627827370536 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25825/tid=25834] ppid=25823 vsize=9558412 CPUtime=0.04 cores=0,2,4,6 /proc/25825/task/25834/stat : 25834 (java) S 25823 25825 25418 0 -1 4202560 30 0 0 0 3 1 0 0 20 0 18 0 253405177 9787813888 135499 33554432000 1073741824 1073778376 140734285968352 140627826317480 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25825/tid=25835] ppid=25823 vsize=9558412 CPUtime=0.08 cores=0,2,4,6 /proc/25825/task/25835/stat : 25835 (java) S 25823 25825 25418 0 -1 4202560 67 0 0 0 6 2 0 0 20 0 18 0 253405177 9787813888 135499 33554432000 1073741824 1073778376 140734285968352 140627825264936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25836] ppid=25823 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25836/stat : 25836 (java) S 25823 25825 25418 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 253405178 9787813888 135499 33554432000 1073741824 1073778376 140734285968352 140627813067624 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25825/tid=25837] ppid=25823 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25837/stat : 25837 (java) S 25823 25825 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253405178 9787813888 135499 33554432000 1073741824 1073778376 140734285968352 140627812013944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25838] ppid=25823 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25838/stat : 25838 (java) S 25823 25825 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253405178 9787813888 135499 33554432000 1073741824 1073778376 140734285968352 140627810960776 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25839] ppid=25823 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25839/stat : 25839 (java) S 25823 25825 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253405181 9787813888 135499 33554432000 1073741824 1073778376 140734285968352 140627809909520 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25840] ppid=25823 vsize=9558412 CPUtime=0.39 cores=0,2,4,6 /proc/25825/task/25840/stat : 25840 (java) S 25823 25825 25418 0 -1 4202560 7424 0 0 0 38 1 0 0 20 0 18 0 253405181 9787813888 135499 33554432000 1073741824 1073778376 140734285968352 140627808856376 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25841] ppid=25823 vsize=9558412 CPUtime=0.37 cores=0,2,4,6 /proc/25825/task/25841/stat : 25841 (java) S 25823 25825 25418 0 -1 4202560 6335 0 0 0 37 0 0 0 20 0 18 0 253405181 9787813888 135499 33554432000 1073741824 1073778376 140734285968352 140627807803832 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25842] ppid=25823 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25842/stat : 25842 (java) S 25823 25825 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253405181 9787813888 135499 33554432000 1073741824 1073778376 140734285968352 140627806750968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25843] ppid=25823 vsize=9558412 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25843/stat : 25843 (java) S 25823 25825 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253405181 9787813888 135499 33554432000 1073741824 1073778376 140734285968352 140627805698632 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 4.3 Current children cumulated vsize (KiB) 9558412 [startup+6.30077 s] /proc/loadavg: 4.53 3.99 2.56 5/220 25887 /proc/meminfo: memFree=27934040/32873648 swapFree=6596/6596 [pid=25825] ppid=25823 vsize=9824668 CPUtime=10.29 cores=0,2,4,6 /proc/25825/stat : 25825 (java) S 25823 25825 25418 0 -1 4202496 19193 0 1 0 994 35 0 0 20 0 22 0 253405175 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140734285959488 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25825/statm: 2456167 189699 2283 9 0 2446860 0 [pid=25825/tid=25827] ppid=25823 vsize=9824668 CPUtime=3.44 cores=0,2,4,6 /proc/25825/task/25827/stat : 25827 (java) S 25823 25825 25418 0 -1 4202560 2713 0 1 0 335 9 0 0 20 0 22 0 253405176 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140627988804312 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25825/tid=25828] ppid=25823 vsize=9824668 CPUtime=0.17 cores=0,2,4,6 /proc/25825/task/25828/stat : 25828 (java) S 25823 25825 25418 0 -1 4202560 89 0 0 0 14 3 0 0 20 0 22 0 253405177 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140627832634280 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25829] ppid=25823 vsize=9824668 CPUtime=0.16 cores=0,2,4,6 /proc/25825/task/25829/stat : 25829 (java) S 25823 25825 25418 0 -1 4202560 61 0 0 0 14 2 0 0 20 0 22 0 253405177 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140627831581736 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25830] ppid=25823 vsize=9824668 CPUtime=0.16 cores=0,2,4,6 /proc/25825/task/25830/stat : 25830 (java) S 25823 25825 25418 0 -1 4202560 97 0 0 0 13 3 0 0 20 0 22 0 253405177 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140627830528680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25825/tid=25831] ppid=25823 vsize=9824668 CPUtime=0.13 cores=0,2,4,6 /proc/25825/task/25831/stat : 25831 (java) S 25823 25825 25418 0 -1 4202560 66 0 0 0 11 2 0 0 20 0 22 0 253405177 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140627829476136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25825/tid=25832] ppid=25823 vsize=9824668 CPUtime=0.12 cores=0,2,4,6 /proc/25825/task/25832/stat : 25832 (java) S 25823 25825 25418 0 -1 4202560 50 0 0 0 10 2 0 0 20 0 22 0 253405177 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140627828423080 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25825/tid=25833] ppid=25823 vsize=9824668 CPUtime=0.15 cores=0,2,4,6 /proc/25825/task/25833/stat : 25833 (java) S 25823 25825 25418 0 -1 4202560 85 0 0 0 12 3 0 0 20 0 22 0 253405177 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140627827370536 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25834] ppid=25823 vsize=9824668 CPUtime=0.11 cores=0,2,4,6 /proc/25825/task/25834/stat : 25834 (java) S 25823 25825 25418 0 -1 4202560 53 0 0 0 9 2 0 0 20 0 22 0 253405177 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140627826317480 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25835] ppid=25823 vsize=9824668 CPUtime=0.17 cores=0,2,4,6 /proc/25825/task/25835/stat : 25835 (java) S 25823 25825 25418 0 -1 4202560 101 0 0 0 14 3 0 0 20 0 22 0 253405177 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140627825264936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25836] ppid=25823 vsize=9824668 CPUtime=0.32 cores=0,2,4,6 /proc/25825/task/25836/stat : 25836 (java) R 25823 25825 25418 0 -1 4202560 528 0 0 0 32 0 0 0 20 0 22 0 253405178 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140627813066696 140627994928529 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=25825/tid=25837] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25837/stat : 25837 (java) S 25823 25825 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253405178 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140627812013944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25838] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25838/stat : 25838 (java) S 25823 25825 25418 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253405178 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140627810960776 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25839] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25839/stat : 25839 (java) S 25823 25825 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405181 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140627809909520 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25840] ppid=25823 vsize=9824668 CPUtime=1 cores=0,2,4,6 /proc/25825/task/25840/stat : 25840 (java) S 25823 25825 25418 0 -1 4202560 7485 0 0 0 98 2 0 0 20 0 22 0 253405181 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140627808856376 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25841] ppid=25823 vsize=9824668 CPUtime=0.89 cores=0,2,4,6 /proc/25825/task/25841/stat : 25841 (java) S 25823 25825 25418 0 -1 4202560 6562 0 0 0 89 0 0 0 20 0 22 0 253405181 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140627807789928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25825/tid=25842] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25842/stat : 25842 (java) S 25823 25825 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405181 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140627806750968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25843] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25843/stat : 25843 (java) S 25823 25825 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405181 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140627805698632 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25874] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25874/stat : 25874 (java) S 25823 25825 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253405539 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140627801486760 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25885] ppid=25823 vsize=9824668 CPUtime=1.12 cores=0,2,4,6 /proc/25825/task/25885/stat : 25885 (java) S 25823 25825 25418 0 -1 4202560 4 0 0 0 112 0 0 0 20 0 22 0 253405647 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140627804643672 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25825/tid=25886] ppid=25823 vsize=9824668 CPUtime=1.13 cores=0,2,4,6 /proc/25825/task/25886/stat : 25886 (java) S 25823 25825 25418 0 -1 4202560 2 0 0 0 113 0 0 0 20 0 22 0 253405647 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140627803589560 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25887] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25887/stat : 25887 (java) S 25823 25825 25418 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253405647 10060460032 189699 33554432000 1073741824 1073778376 140734285968352 140627802539688 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 10.29 Current children cumulated vsize (KiB) 9824668 ################ # More data... # ################ /proc/25825/statm: 2456167 806819 2288 9 0 2446860 0 [pid=25825/tid=25827] ppid=25823 vsize=9824668 CPUtime=3.47 cores=0,2,4,6 /proc/25825/task/25827/stat : 25827 (java) S 25823 25825 25418 0 -1 4202560 2771 0 1 0 336 11 0 0 20 0 22 0 253405176 10060460032 806819 33554432000 1073741824 1073778376 140734285968352 140627988804600 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25825/tid=25828] ppid=25823 vsize=9824668 CPUtime=1.43 cores=0,2,4,6 /proc/25825/task/25828/stat : 25828 (java) S 25823 25825 25418 0 -1 4202560 2828 0 0 0 126 17 0 0 20 0 22 0 253405177 10060460032 806819 33554432000 1073741824 1073778376 140734285968352 140627832634280 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25829] ppid=25823 vsize=9824668 CPUtime=1.35 cores=0,2,4,6 /proc/25825/task/25829/stat : 25829 (java) S 25823 25825 25418 0 -1 4202560 2789 0 0 0 120 15 0 0 20 0 22 0 253405177 10060460032 806819 33554432000 1073741824 1073778376 140734285968352 140627831581736 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25825/tid=25830] ppid=25823 vsize=9824668 CPUtime=1.26 cores=0,2,4,6 /proc/25825/task/25830/stat : 25830 (java) S 25823 25825 25418 0 -1 4202560 4166 0 0 0 111 15 0 0 20 0 22 0 253405177 10060460032 806819 33554432000 1073741824 1073778376 140734285968352 140627830528680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25825/tid=25831] ppid=25823 vsize=9824668 CPUtime=1.27 cores=0,2,4,6 /proc/25825/task/25831/stat : 25831 (java) S 25823 25825 25418 0 -1 4202560 3592 0 0 0 111 16 0 0 20 0 22 0 253405177 10060460032 806819 33554432000 1073741824 1073778376 140734285968352 140627829476136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25825/tid=25832] ppid=25823 vsize=9824668 CPUtime=1.53 cores=0,2,4,6 /proc/25825/task/25832/stat : 25832 (java) S 25823 25825 25418 0 -1 4202560 2842 0 0 0 137 16 0 0 20 0 22 0 253405177 10060460032 806819 33554432000 1073741824 1073778376 140734285968352 140627828423080 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25825/tid=25833] ppid=25823 vsize=9824668 CPUtime=1.41 cores=0,2,4,6 /proc/25825/task/25833/stat : 25833 (java) S 25823 25825 25418 0 -1 4202560 5356 0 0 0 125 16 0 0 20 0 22 0 253405177 10060460032 806819 33554432000 1073741824 1073778376 140734285968352 140627827370536 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25825/tid=25834] ppid=25823 vsize=9824668 CPUtime=1.42 cores=0,2,4,6 /proc/25825/task/25834/stat : 25834 (java) S 25823 25825 25418 0 -1 4202560 5118 0 0 0 128 14 0 0 20 0 22 0 253405177 10060460032 806819 33554432000 1073741824 1073778376 140734285968352 140627826317480 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25825/tid=25835] ppid=25823 vsize=9824668 CPUtime=1.14 cores=0,2,4,6 /proc/25825/task/25835/stat : 25835 (java) S 25823 25825 25418 0 -1 4202560 2826 0 0 0 100 14 0 0 20 0 22 0 253405177 10060460032 806819 33554432000 1073741824 1073778376 140734285968352 140627825264936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25836] ppid=25823 vsize=9824668 CPUtime=88.77 cores=0,2,4,6 /proc/25825/task/25836/stat : 25836 (java) S 25823 25825 25418 0 -1 4202560 3620 0 0 0 8859 18 0 0 20 0 22 0 253405178 10060460032 806819 33554432000 1073741824 1073778376 140734285968352 140627813067624 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25837] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25837/stat : 25837 (java) S 25823 25825 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253405178 10060460032 806819 33554432000 1073741824 1073778376 140734285968352 140627812013944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25838] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25838/stat : 25838 (java) S 25823 25825 25418 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253405178 10060460032 806819 33554432000 1073741824 1073778376 140734285968352 140627810960776 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25839] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25839/stat : 25839 (java) S 25823 25825 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405181 10060460032 806819 33554432000 1073741824 1073778376 140734285968352 140627809909520 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25840] ppid=25823 vsize=9824668 CPUtime=1.39 cores=0,2,4,6 /proc/25825/task/25840/stat : 25840 (java) S 25823 25825 25418 0 -1 4202560 7500 0 0 0 137 2 0 0 20 0 22 0 253405181 10060460032 806819 33554432000 1073741824 1073778376 140734285968352 140627808856376 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25841] ppid=25823 vsize=9824668 CPUtime=1.32 cores=0,2,4,6 /proc/25825/task/25841/stat : 25841 (java) S 25823 25825 25418 0 -1 4202560 6574 0 0 0 132 0 0 0 20 0 22 0 253405181 10060460032 806819 33554432000 1073741824 1073778376 140734285968352 140627807803832 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25825/tid=25842] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25842/stat : 25842 (java) S 25823 25825 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405181 10060460032 806819 33554432000 1073741824 1073778376 140734285968352 140627806750968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25843] ppid=25823 vsize=9824668 CPUtime=0.2 cores=0,2,4,6 /proc/25825/task/25843/stat : 25843 (java) S 25823 25825 25418 0 -1 4202560 51 0 0 0 9 11 0 0 20 0 22 0 253405181 10060460032 806819 33554432000 1073741824 1073778376 140734285968352 140627805698632 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25825/tid=25874] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25874/stat : 25874 (java) S 25823 25825 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253405539 10060460032 806819 33554432000 1073741824 1073778376 140734285968352 140627801486760 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25885] ppid=25823 vsize=9824668 CPUtime=783.81 cores=0,2,4,6 /proc/25825/task/25885/stat : 25885 (java) R 25823 25825 25418 0 -1 4202560 24 0 0 0 78370 11 0 0 20 0 22 0 253405647 10060460032 806819 33554432000 1073741824 1073778376 140734285968352 140627804643552 140627850373235 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25886] ppid=25823 vsize=9824668 CPUtime=783.88 cores=0,2,4,6 /proc/25825/task/25886/stat : 25886 (java) R 25823 25825 25418 0 -1 4202560 1097 0 0 0 78364 24 0 0 20 0 22 0 253405647 10060460032 806819 33554432000 1073741824 1073778376 140734285968352 140627803589312 140627850198488 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=25825/tid=25887] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25887/stat : 25887 (java) S 25823 25825 25418 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253405647 10060460032 806819 33554432000 1073741824 1073778376 140734285968352 140627802539688 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1678.87 Current children cumulated vsize (KiB) 9824668 [startup+942.301 s] /proc/loadavg: 3.66 3.72 3.29 5/219 25895 /proc/meminfo: memFree=21594424/32873648 swapFree=6596/6596 [pid=25825] ppid=25823 vsize=9824668 CPUtime=1791.43 cores=0,2,4,6 /proc/25825/stat : 25825 (java) S 25823 25825 25418 0 -1 4202496 52932 0 1 0 178942 201 0 0 20 0 22 0 253405175 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140734285959488 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25825/statm: 2456167 898005 2288 9 0 2446860 0 [pid=25825/tid=25827] ppid=25823 vsize=9824668 CPUtime=3.47 cores=0,2,4,6 /proc/25825/task/25827/stat : 25827 (java) S 25823 25825 25418 0 -1 4202560 2773 0 1 0 336 11 0 0 20 0 22 0 253405176 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627988804600 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25825/tid=25828] ppid=25823 vsize=9824668 CPUtime=1.61 cores=0,2,4,6 /proc/25825/task/25828/stat : 25828 (java) S 25823 25825 25418 0 -1 4202560 2866 0 0 0 143 18 0 0 20 0 22 0 253405177 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627832634280 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25829] ppid=25823 vsize=9824668 CPUtime=1.47 cores=0,2,4,6 /proc/25825/task/25829/stat : 25829 (java) S 25823 25825 25418 0 -1 4202560 2818 0 0 0 130 17 0 0 20 0 22 0 253405177 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627831581736 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25825/tid=25830] ppid=25823 vsize=9824668 CPUtime=1.59 cores=0,2,4,6 /proc/25825/task/25830/stat : 25830 (java) S 25823 25825 25418 0 -1 4202560 4216 0 0 0 141 18 0 0 20 0 22 0 253405177 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627830528680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25831] ppid=25823 vsize=9824668 CPUtime=1.42 cores=0,2,4,6 /proc/25825/task/25831/stat : 25831 (java) S 25823 25825 25418 0 -1 4202560 3638 0 0 0 125 17 0 0 20 0 22 0 253405177 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627829476136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25825/tid=25832] ppid=25823 vsize=9824668 CPUtime=1.73 cores=0,2,4,6 /proc/25825/task/25832/stat : 25832 (java) S 25823 25825 25418 0 -1 4202560 2904 0 0 0 156 17 0 0 20 0 22 0 253405177 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627828423080 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25825/tid=25833] ppid=25823 vsize=9824668 CPUtime=1.55 cores=0,2,4,6 /proc/25825/task/25833/stat : 25833 (java) S 25823 25825 25418 0 -1 4202560 5393 0 0 0 138 17 0 0 20 0 22 0 253405177 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627827370536 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25834] ppid=25823 vsize=9824668 CPUtime=1.56 cores=0,2,4,6 /proc/25825/task/25834/stat : 25834 (java) S 25823 25825 25418 0 -1 4202560 5145 0 0 0 140 16 0 0 20 0 22 0 253405177 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627826317480 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25835] ppid=25823 vsize=9824668 CPUtime=1.35 cores=0,2,4,6 /proc/25825/task/25835/stat : 25835 (java) S 25823 25825 25418 0 -1 4202560 2891 0 0 0 117 18 0 0 20 0 22 0 253405177 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627825264936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25836] ppid=25823 vsize=9824668 CPUtime=96.89 cores=0,2,4,6 /proc/25825/task/25836/stat : 25836 (java) S 25823 25825 25418 0 -1 4202560 3740 0 0 0 9667 22 0 0 20 0 22 0 253405178 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627813067624 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25825/tid=25837] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25837/stat : 25837 (java) S 25823 25825 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253405178 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627812013944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25838] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25838/stat : 25838 (java) S 25823 25825 25418 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253405178 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627810960776 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25839] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25839/stat : 25839 (java) S 25823 25825 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405181 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627809909520 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25840] ppid=25823 vsize=9824668 CPUtime=1.39 cores=0,2,4,6 /proc/25825/task/25840/stat : 25840 (java) S 25823 25825 25418 0 -1 4202560 7500 0 0 0 137 2 0 0 20 0 22 0 253405181 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627808856376 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25841] ppid=25823 vsize=9824668 CPUtime=1.32 cores=0,2,4,6 /proc/25825/task/25841/stat : 25841 (java) S 25823 25825 25418 0 -1 4202560 6574 0 0 0 132 0 0 0 20 0 22 0 253405181 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627807803832 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25825/tid=25842] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25842/stat : 25842 (java) S 25823 25825 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405181 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627806750968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25843] ppid=25823 vsize=9824668 CPUtime=0.22 cores=0,2,4,6 /proc/25825/task/25843/stat : 25843 (java) S 25823 25825 25418 0 -1 4202560 55 0 0 0 10 12 0 0 20 0 22 0 253405181 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627805698632 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25825/tid=25874] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25874/stat : 25874 (java) S 25823 25825 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253405539 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627801486760 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25885] ppid=25823 vsize=9824668 CPUtime=835.15 cores=0,2,4,6 /proc/25825/task/25885/stat : 25885 (java) R 25823 25825 25418 0 -1 4202560 24 0 0 0 83503 12 0 0 20 0 22 0 253405647 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627804643552 140627850430186 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25886] ppid=25823 vsize=9824668 CPUtime=835.21 cores=0,2,4,6 /proc/25825/task/25886/stat : 25886 (java) R 25823 25825 25418 0 -1 4202560 1098 0 0 0 83496 25 0 0 20 0 22 0 253405647 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627803589488 140627849835051 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25887] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25887/stat : 25887 (java) S 25823 25825 25418 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253405647 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627802539688 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+946.601 s] /proc/loadavg: 3.69 3.73 3.29 5/219 25895 /proc/meminfo: memFree=21594424/32873648 swapFree=6596/6596 [pid=25825] ppid=25823 vsize=9824668 CPUtime=1800.04 cores=0,2,4,6 /proc/25825/stat : 25825 (java) S 25823 25825 25418 0 -1 4202496 52932 0 1 0 179803 201 0 0 20 0 22 0 253405175 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140734285959488 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25825/statm: 2456167 898005 2288 9 0 2446860 0 [pid=25825/tid=25827] ppid=25823 vsize=9824668 CPUtime=3.47 cores=0,2,4,6 /proc/25825/task/25827/stat : 25827 (java) S 25823 25825 25418 0 -1 4202560 2773 0 1 0 336 11 0 0 20 0 22 0 253405176 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627988804600 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25825/tid=25828] ppid=25823 vsize=9824668 CPUtime=1.61 cores=0,2,4,6 /proc/25825/task/25828/stat : 25828 (java) S 25823 25825 25418 0 -1 4202560 2866 0 0 0 143 18 0 0 20 0 22 0 253405177 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627832634280 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25829] ppid=25823 vsize=9824668 CPUtime=1.47 cores=0,2,4,6 /proc/25825/task/25829/stat : 25829 (java) S 25823 25825 25418 0 -1 4202560 2818 0 0 0 130 17 0 0 20 0 22 0 253405177 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627831581736 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25825/tid=25830] ppid=25823 vsize=9824668 CPUtime=1.59 cores=0,2,4,6 /proc/25825/task/25830/stat : 25830 (java) S 25823 25825 25418 0 -1 4202560 4216 0 0 0 141 18 0 0 20 0 22 0 253405177 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627830528680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25831] ppid=25823 vsize=9824668 CPUtime=1.42 cores=0,2,4,6 /proc/25825/task/25831/stat : 25831 (java) S 25823 25825 25418 0 -1 4202560 3638 0 0 0 125 17 0 0 20 0 22 0 253405177 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627829476136 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25825/tid=25832] ppid=25823 vsize=9824668 CPUtime=1.73 cores=0,2,4,6 /proc/25825/task/25832/stat : 25832 (java) S 25823 25825 25418 0 -1 4202560 2904 0 0 0 156 17 0 0 20 0 22 0 253405177 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627828423080 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25825/tid=25833] ppid=25823 vsize=9824668 CPUtime=1.55 cores=0,2,4,6 /proc/25825/task/25833/stat : 25833 (java) S 25823 25825 25418 0 -1 4202560 5393 0 0 0 138 17 0 0 20 0 22 0 253405177 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627827370536 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25834] ppid=25823 vsize=9824668 CPUtime=1.56 cores=0,2,4,6 /proc/25825/task/25834/stat : 25834 (java) S 25823 25825 25418 0 -1 4202560 5145 0 0 0 140 16 0 0 20 0 22 0 253405177 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627826317480 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25835] ppid=25823 vsize=9824668 CPUtime=1.35 cores=0,2,4,6 /proc/25825/task/25835/stat : 25835 (java) S 25823 25825 25418 0 -1 4202560 2891 0 0 0 117 18 0 0 20 0 22 0 253405177 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627825264936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25836] ppid=25823 vsize=9824668 CPUtime=96.89 cores=0,2,4,6 /proc/25825/task/25836/stat : 25836 (java) S 25823 25825 25418 0 -1 4202560 3740 0 0 0 9667 22 0 0 20 0 22 0 253405178 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627813067624 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25825/tid=25837] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25837/stat : 25837 (java) S 25823 25825 25418 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253405178 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627812013944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25838] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25838/stat : 25838 (java) S 25823 25825 25418 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253405178 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627810960776 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25839] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25839/stat : 25839 (java) S 25823 25825 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405181 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627809909520 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25840] ppid=25823 vsize=9824668 CPUtime=1.39 cores=0,2,4,6 /proc/25825/task/25840/stat : 25840 (java) S 25823 25825 25418 0 -1 4202560 7500 0 0 0 137 2 0 0 20 0 22 0 253405181 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627808856376 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25841] ppid=25823 vsize=9824668 CPUtime=1.32 cores=0,2,4,6 /proc/25825/task/25841/stat : 25841 (java) S 25823 25825 25418 0 -1 4202560 6574 0 0 0 132 0 0 0 20 0 22 0 253405181 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627807803832 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25825/tid=25842] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25842/stat : 25842 (java) S 25823 25825 25418 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253405181 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627806750968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25843] ppid=25823 vsize=9824668 CPUtime=0.22 cores=0,2,4,6 /proc/25825/task/25843/stat : 25843 (java) S 25823 25825 25418 0 -1 4202560 55 0 0 0 10 12 0 0 20 0 22 0 253405181 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627805698632 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25825/tid=25874] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25874/stat : 25874 (java) S 25823 25825 25418 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253405539 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627801486760 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25885] ppid=25823 vsize=9824668 CPUtime=839.45 cores=0,2,4,6 /proc/25825/task/25885/stat : 25885 (java) R 25823 25825 25418 0 -1 4202560 24 0 0 0 83933 12 0 0 20 0 22 0 253405647 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627804643552 140627850373412 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=25825/tid=25886] ppid=25823 vsize=9824668 CPUtime=839.51 cores=0,2,4,6 /proc/25825/task/25886/stat : 25886 (java) R 25823 25825 25418 0 -1 4202560 1098 0 0 0 83926 25 0 0 20 0 22 0 253405647 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627803589488 140627849835000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=25825/tid=25887] ppid=25823 vsize=9824668 CPUtime=0 cores=0,2,4,6 /proc/25825/task/25887/stat : 25887 (java) S 25823 25825 25418 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253405647 10060460032 898005 33554432000 1073741824 1073778376 140734285968352 140627802539688 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 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 25825 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=569336 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=432630 # CPU time returned by wait4() is 1796 # 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): 946.688 CPU time (s): 1800.04 CPU user time (s): 1798.03 CPU system time (s): 2.01 CPU usage (%): 190.141 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.57 system time used= 2.43263 maximum resident set size= 3592136 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52967 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1024 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24398 involuntary context switches= 17704 runsolver used 3.33249 second user time and 8.14176 second system time The end
Begin job on node148 at 2012-05-24 17:20:07 IDJOB=3687604 IDBENCH=1968 IDSOLVER=2268 FILE ID=node148/3687604-1337872806 RUNJOBID= node148-1337871865-25434 PBS_JOBID= 14620056 Free space on /tmp= 71684 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_4.opb.PB06.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687604-1337872806/watcher-3687604-1337872806 -o /tmp/evaluation-result-3687604-1337872806/solver-3687604-1337872806 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687604-1337872806.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ca3282cf347faf21ba3550ec87dd7af4 RANDOM SEED=499294139 node148.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.284 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.284 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.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.284 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.284 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 : 2667.284 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.284 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 : 2667.284 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.284 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 29258572 kB Buffers: 229380 kB Cached: 2586656 kB SwapCached: 0 kB Active: 467412 kB Inactive: 2362844 kB Active(anon): 17276 kB Inactive(anon): 0 kB Active(file): 450136 kB Inactive(file): 2362844 kB Unevictable: 6596 kB Mlocked: 6596 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 22264 kB Writeback: 32 kB AnonPages: 21384 kB Mapped: 13748 kB Shmem: 200 kB Slab: 646304 kB SReclaimable: 90372 kB SUnreclaim: 555932 kB KernelStack: 1448 kB PageTables: 4072 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 108276 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71668 MiB End job on node148 at 2012-05-24 17:35:55