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