Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 600 | 1801.37 | 1796.14 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb |
| MD5SUM | 325852af8542a0f454599a2893f1b120 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 335 |
| Best CPU time to get the best result obtained on this benchmark | 1800.1 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 434 |
| 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 | 495293 |
| 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 | 495293 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.09/0.10 c version PB16.v20160501 0.09/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.09/0.10 c java.vm.version 19.1-b02 0.09/0.10 c java.vm.vendor Sun Microsystems Inc. 0.09/0.10 c sun.arch.data.model 64 0.09/0.10 c java.version 1.6.0_24 0.09/0.10 c os.name Linux 0.09/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.09/0.10 c os.arch amd64 0.09/0.10 c Free memory 501472288 0.09/0.10 c Max memory 7480803328 0.09/0.10 c Total memory 504102912 0.09/0.10 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4085300-1465226166.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 3.36/2.73 c ... done. Wall clock time 2.61s. 3.36/2.73 c declared #vars 10000 3.36/2.73 c #constraints 656900 3.36/2.73 c constraints type 3.36/2.73 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 3.36/2.73 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 3.36/2.73 c 656900 constraints processed. 3.36/2.73 c objective function length is 10000 literals 3.98/3.09 c SATISFIABLE 3.98/3.09 c OPTIMIZING... 3.98/3.09 c Got one! Elapsed wall clock time (in seconds):2.962 3.98/3.09 o 1867 4.38/3.29 c Got one! Elapsed wall clock time (in seconds):3.165 4.38/3.29 o 600 6.51/5.03 c cleaning 2764 clauses out of 5527 with flag 15895/5527 8.95/7.47 c cleaning 4377 clauses out of 8762 with flag 33727/11526 11.57/10.07 c cleaning 5686 clauses out of 11385 with flag 56408/18526 14.67/13.12 c cleaning 6825 clauses out of 13700 with flag 82511/26527 18.09/16.53 c cleaning 7927 clauses out of 15874 with flag 109930/35526 21.78/20.27 c cleaning 8967 clauses out of 17950 with flag 140503/45529 25.90/24.36 c cleaning 9989 clauses out of 19980 with flag 174182/56526 30.49/28.96 c cleaning 10985 clauses out of 21991 with flag 209993/68526 35.19/33.62 c cleaning 11992 clauses out of 24006 with flag 249425/81526 40.29/38.72 c cleaning 13008 clauses out of 26015 with flag 293688/95527 46.39/44.63 c cleaning 13994 clauses out of 28008 with flag 341569/110528 52.59/50.82 c cleaning 15003 clauses out of 30012 with flag 392349/126526 59.70/57.94 c cleaning 16002 clauses out of 32010 with flag 441420/143527 66.90/65.15 c cleaning 17003 clauses out of 34007 with flag 498001/161526 74.80/73.04 c cleaning 17988 clauses out of 36004 with flag 554947/180526 83.21/81.46 c cleaning 19004 clauses out of 38016 with flag 616616/200526 92.11/90.33 c cleaning 19999 clauses out of 40012 with flag 682497/221526 101.00/99.26 c cleaning 21001 clauses out of 42013 with flag 755089/243526 110.71/108.93 c cleaning 22007 clauses out of 44013 with flag 827743/266527 120.81/119.03 c cleaning 22999 clauses out of 46005 with flag 905013/290526 131.41/129.67 c cleaning 23994 clauses out of 48006 with flag 983451/315526 141.81/140.06 c cleaning 24995 clauses out of 50012 with flag 1066956/341526 152.71/150.97 c cleaning 25999 clauses out of 52017 with flag 1153479/368526 164.21/162.45 c cleaning 26994 clauses out of 54018 with flag 1242405/396526 176.01/174.20 c cleaning 28010 clauses out of 56024 with flag 1333553/425526 189.26/187.16 c cleaning 29007 clauses out of 58016 with flag 1429346/455528 202.65/200.52 c cleaning 30001 clauses out of 60009 with flag 1536043/486528 216.56/214.49 c cleaning 30999 clauses out of 62007 with flag 1640983/518527 231.26/229.15 c cleaning 31992 clauses out of 64007 with flag 1748184/551526 246.16/244.06 c cleaning 33008 clauses out of 66018 with flag 1855269/585529 261.66/259.53 c cleaning 33995 clauses out of 68007 with flag 1964938/620526 277.56/275.48 c cleaning 35001 clauses out of 70012 with flag 2082400/656526 294.77/292.69 c cleaning 35998 clauses out of 72011 with flag 2207888/693526 312.16/310.06 c cleaning 36998 clauses out of 74014 with flag 2332673/731527 328.87/326.79 c cleaning 38001 clauses out of 76015 with flag 2463338/770526 346.76/344.60 c cleaning 39006 clauses out of 78015 with flag 2598701/810527 364.66/362.59 c cleaning 40003 clauses out of 80008 with flag 2735726/851526 384.27/382.17 c cleaning 41001 clauses out of 82006 with flag 2873247/893527 404.77/402.68 c cleaning 41981 clauses out of 84008 with flag 3023928/936530 425.16/423.06 c cleaning 43003 clauses out of 86023 with flag 3170217/980526 447.83/445.14 c cleaning 44004 clauses out of 88021 with flag 3318284/1025527 468.63/465.93 c cleaning 45005 clauses out of 90017 with flag 3474343/1071527 491.23/488.56 c cleaning 46001 clauses out of 92011 with flag 3637200/1118526 512.92/510.21 c cleaning 46992 clauses out of 94010 with flag 3796728/1166526 535.73/533.08 c cleaning 48007 clauses out of 96018 with flag 3959460/1215526 559.73/557.03 c cleaning 49004 clauses out of 98011 with flag 4131469/1265526 583.23/580.55 c cleaning 49992 clauses out of 100008 with flag 4301573/1316527 606.43/603.73 c cleaning 50997 clauses out of 102015 with flag 4482058/1368526 631.13/628.48 c cleaning 51998 clauses out of 104018 with flag 4664564/1421526 655.84/653.15 c cleaning 53000 clauses out of 106020 with flag 4850422/1475526 682.64/679.95 c cleaning 54009 clauses out of 108023 with flag 5042383/1530529 710.53/707.83 c cleaning 55001 clauses out of 110012 with flag 5246030/1586527 740.79/737.69 c cleaning 56005 clauses out of 112012 with flag 5448368/1643528 769.00/765.84 c cleaning 57003 clauses out of 114005 with flag 5653301/1701526 798.10/794.96 c cleaning 57998 clauses out of 116005 with flag 5860592/1760529 827.11/823.95 c cleaning 58996 clauses out of 118005 with flag 6079378/1820527 855.31/852.15 c cleaning 59986 clauses out of 120008 with flag 6298164/1881526 884.43/881.26 c cleaning 61007 clauses out of 122022 with flag 6519477/1943526 914.72/911.52 c cleaning 62004 clauses out of 124015 with flag 6750892/2006526 948.13/944.99 c cleaning 63006 clauses out of 126012 with flag 6979006/2070527 981.26/978.09 c cleaning 63996 clauses out of 128009 with flag 7219801/2135530 1013.76/1010.57 c cleaning 65004 clauses out of 130015 with flag 7470486/2201532 1047.27/1044.02 c cleaning 65985 clauses out of 132005 with flag 7713906/2268526 1079.56/1076.35 c cleaning 66996 clauses out of 134020 with flag 7971581/2336526 1114.27/1111.07 c cleaning 68012 clauses out of 136024 with flag 8232314/2405526 1149.77/1146.56 c cleaning 68991 clauses out of 138012 with flag 8484950/2475526 1185.27/1182.01 c cleaning 69999 clauses out of 140021 with flag 8752793/2546526 1221.97/1218.79 c cleaning 71004 clauses out of 142023 with flag 9021135/2618527 1262.74/1258.66 c cleaning 71996 clauses out of 144019 with flag 9290371/2691527 1302.14/1298.01 c cleaning 73010 clauses out of 146023 with flag 9561650/2765527 1338.23/1334.16 c cleaning 73988 clauses out of 148012 with flag 9843425/2840526 1375.33/1371.28 c cleaning 75001 clauses out of 150024 with flag 10130423/2916526 1415.14/1411.02 c cleaning 76013 clauses out of 152025 with flag 10429573/2993528 1455.65/1451.58 c cleaning 76995 clauses out of 154011 with flag 10730840/3071527 1495.86/1491.75 c cleaning 78000 clauses out of 156015 with flag 11040692/3150526 1538.97/1534.86 c cleaning 79000 clauses out of 158015 with flag 11347368/3230526 1580.48/1576.31 c cleaning 79992 clauses out of 160015 with flag 11654326/3311526 1623.08/1618.96 c cleaning 81009 clauses out of 162023 with flag 11952898/3393526 1667.68/1663.52 c cleaning 82007 clauses out of 164014 with flag 12250670/3476526 1710.48/1706.33 c cleaning 82997 clauses out of 166008 with flag 12574246/3560527 1752.99/1748.87 c cleaning 83997 clauses out of 168010 with flag 12894975/3645526 1795.69/1791.52 c cleaning 85006 clauses out of 170015 with flag 13225767/3731528 1800.48/1796.07 c starts : 7 1800.48/1796.07 c conflicts : 3740778 1800.48/1796.07 c decisions : 10294423 1800.48/1796.07 c propagations : 830797266 1800.48/1796.07 c inspects : 5901347308 1800.48/1796.07 c shortcuts : 0 1800.48/1796.07 c learnt literals : 0 1800.48/1796.07 c learnt binary clauses : 0 1800.48/1796.07 c learnt ternary clauses : 0 1800.48/1796.07 c learnt constraints : 3740778 1800.48/1796.07 c ignored constraints : 0 1800.48/1796.07 c root simplifications : 0 1800.48/1796.07 c removed literals (reason simplification) : 0 1800.48/1796.07 c reason swapping (by a shorter reason) : 0 1800.48/1796.07 c Calls to reduceDB : 82 1800.48/1796.07 c Number of update (reduction) of LBD : 1229929 1800.48/1796.07 c Imported unit clauses : 0 1800.48/1796.07 c number of reductions to clauses (during analyze) : 0 1800.48/1796.07 c number of learned constraints concerned by reduction : 0 1800.48/1796.07 c number of learning phase by resolution : 0 1800.48/1796.07 c number of learning phase by cutting planes : 0 1800.48/1796.07 c speed (assignments/second) : 463278.72039185883 1800.48/1796.07 c non guided choices 0 1800.48/1796.09 c learnt constraints type 1800.48/1796.09 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 94259 1800.48/1796.09 s SATISFIABLE 1800.48/1796.09 c Found 2 solution(s) 1800.83/1796.10 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.83/1796.12 c objective function=600 1800.83/1796.12 c Total wall clock time (in seconds): 1795.993
OK 600
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4085300-1465226166/watcher-4085300-1465226166 -o /tmp/evaluation-result-4085300-1465226166/solver-4085300-1465226166 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1465216773-5890 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085300-1465226166.opb pid=8388 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.19 2.21 2.18 3/194 8391 /proc/meminfo: memFree=29267300/32872528 swapFree=16740/1306504 [pid=8391] ppid=8388 vsize=3568 CPUtime=0 cores=1,3,5,7 /proc/8391/stat : 8391 (java) R 8388 8391 5873 0 -1 4202496 378 0 0 0 0 0 0 0 20 0 1 0 104549241 3653632 48 33554432000 1073741824 1073778376 140736156639136 140736156636264 214528261776 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/8391/statm: 892 50 38 9 0 30 0 [startup+0.100074 s] /proc/loadavg: 2.19 2.21 2.18 3/194 8391 /proc/meminfo: memFree=29267300/32872528 swapFree=16740/1306504 [pid=8391] ppid=8388 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/8391/stat : 8391 (java) S 8388 8391 5873 0 -1 4202496 4368 0 1 0 8 1 0 0 20 0 18 0 104549241 9787879424 5487 33554432000 1073741824 1073778376 140736156639136 140736156630272 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8391/statm: 2389619 5487 2116 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200178 s] /proc/loadavg: 2.19 2.21 2.18 3/194 8391 /proc/meminfo: memFree=29267300/32872528 swapFree=16740/1306504 [pid=8391] ppid=8388 vsize=9558476 CPUtime=0.28 cores=1,3,5,7 /proc/8391/stat : 8391 (java) S 8388 8391 5873 0 -1 4202496 5009 0 1 0 27 1 0 0 20 0 18 0 104549241 9787879424 6932 33554432000 1073741824 1073778376 140736156639136 140736156630272 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8391/statm: 2389619 6932 2220 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300338 s] /proc/loadavg: 2.19 2.21 2.18 3/194 8391 /proc/meminfo: memFree=29267300/32872528 swapFree=16740/1306504 [pid=8391] ppid=8388 vsize=9558476 CPUtime=0.46 cores=1,3,5,7 /proc/8391/stat : 8391 (java) S 8388 8391 5873 0 -1 4202496 5444 0 1 0 45 1 0 0 20 0 18 0 104549241 9787879424 9169 33554432000 1073741824 1073778376 140736156639136 140736156630272 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8391/statm: 2389619 9169 2231 9 0 2380296 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9558476 [startup+0.700275 s] /proc/loadavg: 2.19 2.21 2.18 3/194 8391 /proc/meminfo: memFree=29267300/32872528 swapFree=16740/1306504 [pid=8391] ppid=8388 vsize=9558476 CPUtime=1.09 cores=1,3,5,7 /proc/8391/stat : 8391 (java) S 8388 8391 5873 0 -1 4202496 6726 0 1 0 105 4 0 0 20 0 18 0 104549241 9787879424 40457 33554432000 1073741824 1073778376 140736156639136 140736156630272 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8391/statm: 2389619 40457 2261 9 0 2380296 0 Current children cumulated CPU time (s) 1.09 Current children cumulated vsize (KiB) 9558476 [startup+1.50073 s] /proc/loadavg: 2.19 2.21 2.18 3/212 8409 /proc/meminfo: memFree=29101744/32872528 swapFree=16740/1306504 [pid=8391] ppid=8388 vsize=9558476 CPUtime=2.05 cores=1,3,5,7 /proc/8391/stat : 8391 (java) S 8388 8391 5873 0 -1 4202496 6976 0 1 0 195 10 0 0 20 0 18 0 104549241 9787879424 78475 33554432000 1073741824 1073778376 140736156639136 140736156630272 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8391/statm: 2389619 78475 2261 9 0 2380296 0 [pid=8391/tid=8393] ppid=8388 vsize=9558476 CPUtime=1.38 cores=1,3,5,7 /proc/8391/task/8393/stat : 8393 (java) R 8388 8391 5873 0 -1 4202560 2521 0 1 0 133 5 0 0 20 0 18 0 104549242 9787879424 78475 33554432000 1073741824 1073778376 140736156639136 140448029805944 214540805389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8391/tid=8394] ppid=8388 vsize=9558476 CPUtime=0.03 cores=1,3,5,7 /proc/8391/task/8394/stat : 8394 (java) S 8388 8391 5873 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 18 0 104549243 9787879424 78475 33554432000 1073741824 1073778376 140736156639136 140447991298216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8395] ppid=8388 vsize=9558476 CPUtime=0.02 cores=1,3,5,7 /proc/8391/task/8395/stat : 8395 (java) S 8388 8391 5873 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 18 0 104549243 9787879424 78475 33554432000 1073741824 1073778376 140736156639136 140447990245672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8396] ppid=8388 vsize=9558476 CPUtime=0.03 cores=1,3,5,7 /proc/8391/task/8396/stat : 8396 (java) S 8388 8391 5873 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 18 0 104549243 9787879424 78475 33554432000 1073741824 1073778376 140736156639136 140447989193128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8397] ppid=8388 vsize=9558476 CPUtime=0.02 cores=1,3,5,7 /proc/8391/task/8397/stat : 8397 (java) S 8388 8391 5873 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 104549243 9787879424 78475 33554432000 1073741824 1073778376 140736156639136 140447988140584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8398] ppid=8388 vsize=9558476 CPUtime=0.02 cores=1,3,5,7 /proc/8391/task/8398/stat : 8398 (java) S 8388 8391 5873 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 18 0 104549243 9787879424 78475 33554432000 1073741824 1073778376 140736156639136 140447987088040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8399] ppid=8388 vsize=9558476 CPUtime=0.02 cores=1,3,5,7 /proc/8391/task/8399/stat : 8399 (java) S 8388 8391 5873 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 18 0 104549243 9787879424 78475 33554432000 1073741824 1073778376 140736156639136 140447986035496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8400] ppid=8388 vsize=9558476 CPUtime=0.01 cores=1,3,5,7 /proc/8391/task/8400/stat : 8400 (java) R 8388 8391 5873 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 18 0 104549243 9787879424 78475 33554432000 1073741824 1073778376 140736156639136 140447984982952 214540792892 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8391/tid=8401] ppid=8388 vsize=9558476 CPUtime=0.04 cores=1,3,5,7 /proc/8391/task/8401/stat : 8401 (java) S 8388 8391 5873 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 18 0 104549243 9787879424 78475 33554432000 1073741824 1073778376 140736156639136 140447983930408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8402] ppid=8388 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8402/stat : 8402 (java) S 8388 8391 5873 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 104549244 9787879424 78475 33554432000 1073741824 1073778376 140736156639136 140447853795432 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8403] ppid=8388 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8403/stat : 8403 (java) S 8388 8391 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104549245 9787879424 78475 33554432000 1073741824 1073778376 140736156639136 140447852741752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8404] ppid=8388 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8404/stat : 8404 (java) S 8388 8391 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104549245 9787879424 78475 33554432000 1073741824 1073778376 140736156639136 140447851689096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8405] ppid=8388 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8405/stat : 8405 (java) S 8388 8391 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104549248 9787879424 78475 33554432000 1073741824 1073778376 140736156639136 140447850637840 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8406] ppid=8388 vsize=9558476 CPUtime=0.16 cores=1,3,5,7 /proc/8391/task/8406/stat : 8406 (java) S 8388 8391 5873 0 -1 4202560 1233 0 0 0 16 0 0 0 20 0 18 0 104549248 9787879424 78475 33554432000 1073741824 1073778376 140736156639136 140447849585208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8407] ppid=8388 vsize=9558476 CPUtime=0.17 cores=1,3,5,7 /proc/8391/task/8407/stat : 8407 (java) S 8388 8391 5873 0 -1 4202560 1678 0 0 0 17 0 0 0 20 0 18 0 104549248 9787879424 78475 33554432000 1073741824 1073778376 140736156639136 140447848532664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8408] ppid=8388 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8408/stat : 8408 (java) S 8388 8391 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104549248 9787879424 78475 33554432000 1073741824 1073778376 140736156639136 140446974077944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8409] ppid=8388 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8409/stat : 8409 (java) S 8388 8391 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104549248 9787879424 78475 33554432000 1073741824 1073778376 140736156639136 140446973025608 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.05 Current children cumulated vsize (KiB) 9558476 [startup+3.10075 s] /proc/loadavg: 2.25 2.22 2.18 3/212 8409 /proc/meminfo: memFree=28932692/32872528 swapFree=16740/1306504 [pid=8391] ppid=8388 vsize=9625040 CPUtime=4.15 cores=1,3,5,7 /proc/8391/stat : 8391 (java) S 8388 8391 5873 0 -1 4202496 9455 0 1 0 402 13 0 0 20 0 19 0 104549241 9856040960 99967 33554432000 1073741824 1073778376 140736156639136 140736156630272 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8391/statm: 2406260 99967 2277 9 0 2396937 0 [pid=8391/tid=8393] ppid=8388 vsize=9625040 CPUtime=2.94 cores=1,3,5,7 /proc/8391/task/8393/stat : 8393 (java) R 8388 8391 5873 0 -1 4202560 2560 0 1 0 288 6 0 0 20 0 19 0 104549242 9856040960 99967 33554432000 1073741824 1073778376 140736156639136 140448029807192 140448033092474 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8391/tid=8394] ppid=8388 vsize=9625040 CPUtime=0.07 cores=1,3,5,7 /proc/8391/task/8394/stat : 8394 (java) S 8388 8391 5873 0 -1 4202560 45 0 0 0 5 2 0 0 20 0 19 0 104549243 9856040960 99967 33554432000 1073741824 1073778376 140736156639136 140447991298216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8395] ppid=8388 vsize=9625040 CPUtime=0.06 cores=1,3,5,7 /proc/8391/task/8395/stat : 8395 (java) S 8388 8391 5873 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 19 0 104549243 9856040960 99967 33554432000 1073741824 1073778376 140736156639136 140447990245672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8396] ppid=8388 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/8391/task/8396/stat : 8396 (java) S 8388 8391 5873 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 19 0 104549243 9856040960 99967 33554432000 1073741824 1073778376 140736156639136 140447989193128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8397] ppid=8388 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/8391/task/8397/stat : 8397 (java) S 8388 8391 5873 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 104549243 9856040960 99967 33554432000 1073741824 1073778376 140736156639136 140447988140584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8391/tid=8398] ppid=8388 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/8391/task/8398/stat : 8398 (java) S 8388 8391 5873 0 -1 4202560 26 0 0 0 4 0 0 0 20 0 19 0 104549243 9856040960 99967 33554432000 1073741824 1073778376 140736156639136 140447987088040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8399] ppid=8388 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/8391/task/8399/stat : 8399 (java) S 8388 8391 5873 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 104549243 9856040960 99967 33554432000 1073741824 1073778376 140736156639136 140447986035496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8400] ppid=8388 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/8391/task/8400/stat : 8400 (java) S 8388 8391 5873 0 -1 4202560 9 0 0 0 3 0 0 0 20 0 19 0 104549243 9856040960 99967 33554432000 1073741824 1073778376 140736156639136 140447984982952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8401] ppid=8388 vsize=9625040 CPUtime=0.05 cores=1,3,5,7 /proc/8391/task/8401/stat : 8401 (java) S 8388 8391 5873 0 -1 4202560 34 0 0 0 4 1 0 0 20 0 19 0 104549243 9856040960 99967 33554432000 1073741824 1073778376 140736156639136 140447983930408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8402] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8402/stat : 8402 (java) S 8388 8391 5873 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 19 0 104549244 9856040960 99967 33554432000 1073741824 1073778376 140736156639136 140447853795432 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8403] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8403/stat : 8403 (java) S 8388 8391 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104549245 9856040960 99967 33554432000 1073741824 1073778376 140736156639136 140447852741752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8404] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8404/stat : 8404 (java) S 8388 8391 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104549245 9856040960 99967 33554432000 1073741824 1073778376 140736156639136 140447851689096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8405] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8405/stat : 8405 (java) S 8388 8391 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104549248 9856040960 99967 33554432000 1073741824 1073778376 140736156639136 140447850637840 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8406] ppid=8388 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/8391/task/8406/stat : 8406 (java) R 8388 8391 5873 0 -1 4202560 2340 0 0 0 37 0 0 0 20 0 19 0 104549248 9856040960 99967 33554432000 1073741824 1073778376 140736156639136 140447849585208 140448033899216 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8407] ppid=8388 vsize=9625040 CPUtime=0.35 cores=1,3,5,7 /proc/8391/task/8407/stat : 8407 (java) R 8388 8391 5873 0 -1 4202560 2906 0 0 0 35 0 0 0 20 0 19 0 104549248 9856040960 99967 33554432000 1073741824 1073778376 140736156639136 140447848520232 140448035650814 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8408] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8408/stat : 8408 (java) S 8388 8391 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104549248 9856040960 99967 33554432000 1073741824 1073778376 140736156639136 140446974077944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8409] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8409/stat : 8409 (java) S 8388 8391 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104549248 9856040960 99967 33554432000 1073741824 1073778376 140736156639136 140446973025608 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.15 Current children cumulated vsize (KiB) 9625040 [startup+6.30082 s] /proc/loadavg: 2.25 2.22 2.18 3/213 8410 /proc/meminfo: memFree=28843264/32872528 swapFree=16740/1306504 [pid=8391] ppid=8388 vsize=9625040 CPUtime=7.82 cores=1,3,5,7 /proc/8391/stat : 8391 (java) S 8388 8391 5873 0 -1 4202496 14354 0 1 0 767 15 0 0 20 0 19 0 104549241 9856040960 108635 33554432000 1073741824 1073778376 140736156639136 140736156630272 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8391/statm: 2406260 108635 2284 9 0 2396937 0 [pid=8391/tid=8393] ppid=8388 vsize=9625040 CPUtime=6.14 cores=1,3,5,7 /proc/8391/task/8393/stat : 8393 (java) R 8388 8391 5873 0 -1 4202560 2581 0 1 0 606 8 0 0 20 0 19 0 104549242 9856040960 108635 33554432000 1073741824 1073778376 140736156639136 140448029798080 140447864271615 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8394] ppid=8388 vsize=9625040 CPUtime=0.07 cores=1,3,5,7 /proc/8391/task/8394/stat : 8394 (java) S 8388 8391 5873 0 -1 4202560 45 0 0 0 5 2 0 0 20 0 19 0 104549243 9856040960 108635 33554432000 1073741824 1073778376 140736156639136 140447991298216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8395] ppid=8388 vsize=9625040 CPUtime=0.06 cores=1,3,5,7 /proc/8391/task/8395/stat : 8395 (java) S 8388 8391 5873 0 -1 4202560 32 0 0 0 6 0 0 0 20 0 19 0 104549243 9856040960 108635 33554432000 1073741824 1073778376 140736156639136 140447990245672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8396] ppid=8388 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/8391/task/8396/stat : 8396 (java) S 8388 8391 5873 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 19 0 104549243 9856040960 108635 33554432000 1073741824 1073778376 140736156639136 140447989193128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8397] ppid=8388 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/8391/task/8397/stat : 8397 (java) S 8388 8391 5873 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 19 0 104549243 9856040960 108635 33554432000 1073741824 1073778376 140736156639136 140447988140584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8391/tid=8398] ppid=8388 vsize=9625040 CPUtime=0.04 cores=1,3,5,7 /proc/8391/task/8398/stat : 8398 (java) S 8388 8391 5873 0 -1 4202560 26 0 0 0 4 0 0 0 20 0 19 0 104549243 9856040960 108635 33554432000 1073741824 1073778376 140736156639136 140447987088040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8399] ppid=8388 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/8391/task/8399/stat : 8399 (java) S 8388 8391 5873 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 104549243 9856040960 108635 33554432000 1073741824 1073778376 140736156639136 140447986035496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8400] ppid=8388 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/8391/task/8400/stat : 8400 (java) S 8388 8391 5873 0 -1 4202560 9 0 0 0 3 0 0 0 20 0 19 0 104549243 9856040960 108635 33554432000 1073741824 1073778376 140736156639136 140447984982952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8401] ppid=8388 vsize=9625040 CPUtime=0.05 cores=1,3,5,7 /proc/8391/task/8401/stat : 8401 (java) S 8388 8391 5873 0 -1 4202560 34 0 0 0 4 1 0 0 20 0 19 0 104549243 9856040960 108635 33554432000 1073741824 1073778376 140736156639136 140447983930408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8402] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8402/stat : 8402 (java) S 8388 8391 5873 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 19 0 104549244 9856040960 108635 33554432000 1073741824 1073778376 140736156639136 140447853795432 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8403] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8403/stat : 8403 (java) S 8388 8391 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104549245 9856040960 108635 33554432000 1073741824 1073778376 140736156639136 140447852741752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8404] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8404/stat : 8404 (java) S 8388 8391 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104549245 9856040960 108635 33554432000 1073741824 1073778376 140736156639136 140447851689096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8405] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8405/stat : 8405 (java) S 8388 8391 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104549248 9856040960 108635 33554432000 1073741824 1073778376 140736156639136 140447850637840 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8406] ppid=8388 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/8391/task/8406/stat : 8406 (java) S 8388 8391 5873 0 -1 4202560 3572 0 0 0 56 0 0 0 20 0 19 0 104549248 9856040960 108635 33554432000 1073741824 1073778376 140736156639136 140447849585208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8407] ppid=8388 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/8391/task/8407/stat : 8407 (java) S 8388 8391 5873 0 -1 4202560 6551 0 0 0 63 1 0 0 20 0 19 0 104549248 9856040960 108635 33554432000 1073741824 1073778376 140736156639136 140447848532664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8408] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8408/stat : 8408 (java) S 8388 8391 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104549248 9856040960 108635 33554432000 1073741824 1073778376 140736156639136 140446974077944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8409] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8409/stat : 8409 (java) S 8388 8391 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104549248 9856040960 108635 33554432000 1073741824 1073778376 140736156639136 140446973025608 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8410] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8410/stat : 8410 (java) S 8388 8391 5873 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104549518 9856040960 108635 33554432000 1073741824 1073778376 140736156639136 140446971970344 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 7.82 Current children cumulated vsize (KiB) 9625040 [startup+12.7008 s] /proc/loadavg: 2.21 2.22 2.18 3/213 8410 /proc/meminfo: memFree=28810412/32872528 swapFree=16740/1306504 [pid=8391] ppid=8388 vsize=9625040 CPUtime=14.27 cores=1,3,5,7 ################ # More data... # ################ [pid=8391/tid=8402] ppid=8388 vsize=9625040 CPUtime=0.58 cores=1,3,5,7 /proc/8391/task/8402/stat : 8402 (java) S 8388 8391 5873 0 -1 4202560 1449 0 0 0 56 2 0 0 20 0 19 0 104549244 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140447853795432 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8403] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8403/stat : 8403 (java) S 8388 8391 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104549245 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140447852741752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8404] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8404/stat : 8404 (java) S 8388 8391 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104549245 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140447851689096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8405] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8405/stat : 8405 (java) S 8388 8391 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104549248 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140447850637840 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8406] ppid=8388 vsize=9625040 CPUtime=0.6 cores=1,3,5,7 /proc/8391/task/8406/stat : 8406 (java) S 8388 8391 5873 0 -1 4202560 3573 0 0 0 60 0 0 0 20 0 19 0 104549248 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140447849585208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8407] ppid=8388 vsize=9625040 CPUtime=0.69 cores=1,3,5,7 /proc/8391/task/8407/stat : 8407 (java) S 8388 8391 5873 0 -1 4202560 6558 0 0 0 67 2 0 0 20 0 19 0 104549248 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140447848532664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8408] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8408/stat : 8408 (java) S 8388 8391 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104549248 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140446974077944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8409] ppid=8388 vsize=9625040 CPUtime=0.48 cores=1,3,5,7 /proc/8391/task/8409/stat : 8409 (java) S 8388 8391 5873 0 -1 4202560 103 0 0 0 24 24 0 0 20 0 19 0 104549248 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140446973025608 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8410] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8410/stat : 8410 (java) S 8388 8391 5873 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104549518 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140446971970344 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1786.49 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.9 s] /proc/loadavg: 2.30 2.21 2.19 3/213 8520 /proc/meminfo: memFree=26249716/32872528 swapFree=16740/1306504 [pid=8391] ppid=8388 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7 /proc/8391/stat : 8391 (java) S 8388 8391 5873 0 -1 4202496 69856 0 1 0 179802 207 0 0 20 0 19 0 104549241 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140736156630272 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8391/statm: 2406260 770328 2293 9 0 2396937 0 [pid=8391/tid=8393] ppid=8388 vsize=9625040 CPUtime=1794.26 cores=1,3,5,7 /proc/8391/task/8393/stat : 8393 (java) R 8388 8391 5873 0 -1 4202560 4137 0 1 0 179372 54 0 0 20 0 19 0 104549242 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140448029798064 140447864284304 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8394] ppid=8388 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/8391/task/8394/stat : 8394 (java) S 8388 8391 5873 0 -1 4202560 5808 0 0 0 28 19 0 0 20 0 19 0 104549243 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140447991298216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8395] ppid=8388 vsize=9625040 CPUtime=0.57 cores=1,3,5,7 /proc/8391/task/8395/stat : 8395 (java) S 8388 8391 5873 0 -1 4202560 6268 0 0 0 35 22 0 0 20 0 19 0 104549243 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140447990245672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8396] ppid=8388 vsize=9625040 CPUtime=0.35 cores=1,3,5,7 /proc/8391/task/8396/stat : 8396 (java) S 8388 8391 5873 0 -1 4202560 5360 0 0 0 19 16 0 0 20 0 19 0 104549243 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140447989193128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8397] ppid=8388 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/8391/task/8397/stat : 8397 (java) S 8388 8391 5873 0 -1 4202560 5528 0 0 0 21 15 0 0 20 0 19 0 104549243 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140447988140584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8398] ppid=8388 vsize=9625040 CPUtime=0.61 cores=1,3,5,7 /proc/8391/task/8398/stat : 8398 (java) S 8388 8391 5873 0 -1 4202560 5977 0 0 0 34 27 0 0 20 0 19 0 104549243 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140447987088040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8399] ppid=8388 vsize=9625040 CPUtime=0.38 cores=1,3,5,7 /proc/8391/task/8399/stat : 8399 (java) S 8388 8391 5873 0 -1 4202560 6557 0 0 0 21 17 0 0 20 0 19 0 104549243 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140447986035496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8400] ppid=8388 vsize=9625040 CPUtime=0.51 cores=1,3,5,7 /proc/8391/task/8400/stat : 8400 (java) S 8388 8391 5873 0 -1 4202560 11413 0 0 0 27 24 0 0 20 0 19 0 104549243 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140447984982952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8401] ppid=8388 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/8391/task/8401/stat : 8401 (java) S 8388 8391 5873 0 -1 4202560 5866 0 0 0 26 21 0 0 20 0 19 0 104549243 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140447983930408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8402] ppid=8388 vsize=9625040 CPUtime=0.58 cores=1,3,5,7 /proc/8391/task/8402/stat : 8402 (java) S 8388 8391 5873 0 -1 4202560 1449 0 0 0 56 2 0 0 20 0 19 0 104549244 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140447853795432 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8403] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8403/stat : 8403 (java) S 8388 8391 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104549245 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140447852741752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8404] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8404/stat : 8404 (java) S 8388 8391 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104549245 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140447851689096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8405] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8405/stat : 8405 (java) S 8388 8391 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104549248 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140447850637840 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8406] ppid=8388 vsize=9625040 CPUtime=0.6 cores=1,3,5,7 /proc/8391/task/8406/stat : 8406 (java) S 8388 8391 5873 0 -1 4202560 3573 0 0 0 60 0 0 0 20 0 19 0 104549248 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140447849585208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8407] ppid=8388 vsize=9625040 CPUtime=0.69 cores=1,3,5,7 /proc/8391/task/8407/stat : 8407 (java) S 8388 8391 5873 0 -1 4202560 6558 0 0 0 67 2 0 0 20 0 19 0 104549248 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140447848532664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8408] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8408/stat : 8408 (java) S 8388 8391 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104549248 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140446974077944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8409] ppid=8388 vsize=9625040 CPUtime=0.48 cores=1,3,5,7 /proc/8391/task/8409/stat : 8409 (java) S 8388 8391 5873 0 -1 4202560 103 0 0 0 24 24 0 0 20 0 19 0 104549248 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140446973025608 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8410] ppid=8388 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8410/stat : 8410 (java) S 8388 8391 5873 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104549518 9856040960 770328 33554432000 1073741824 1073778376 140736156639136 140446971970344 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 8391 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1796.01 s] /proc/loadavg: 2.30 2.21 2.19 3/213 8520 /proc/meminfo: memFree=26249716/32872528 swapFree=16740/1306504 [pid=8391] ppid=8388 vsize=9691604 CPUtime=1800.48 cores=1,3,5,7 /proc/8391/stat : 8391 (java) S 8388 8391 5873 0 -1 4202496 70234 0 1 0 179832 216 0 0 20 0 20 0 104549241 9924202496 790003 33554432000 1073741824 1073778376 140736156639136 140736156630272 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8391/statm: 2422901 790003 2293 9 0 2413578 0 [pid=8391/tid=8393] ppid=8388 vsize=9691604 CPUtime=1794.27 cores=1,3,5,7 /proc/8391/task/8393/stat : 8393 (java) S 8388 8391 5873 0 -1 4202560 4137 0 1 0 179373 54 0 0 20 0 20 0 104549242 9924202496 790003 33554432000 1073741824 1073778376 140736156639136 140448029805032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8394] ppid=8388 vsize=9691604 CPUtime=0.49 cores=1,3,5,7 /proc/8391/task/8394/stat : 8394 (java) R 8388 8391 5873 0 -1 4202560 5821 0 0 0 30 19 0 0 20 0 20 0 104549243 9924202496 790003 33554432000 1073741824 1073778376 140736156639136 140447991298096 140448033563845 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8395] ppid=8388 vsize=9691604 CPUtime=0.62 cores=1,3,5,7 /proc/8391/task/8395/stat : 8395 (java) R 8388 8391 5873 0 -1 4202560 6322 0 0 0 39 23 0 0 20 0 20 0 104549243 9924202496 790003 33554432000 1073741824 1073778376 140736156639136 140447990245848 140448036703148 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8396] ppid=8388 vsize=9691604 CPUtime=0.38 cores=1,3,5,7 /proc/8391/task/8396/stat : 8396 (java) R 8388 8391 5873 0 -1 4202560 5406 0 0 0 22 16 0 0 20 0 20 0 104549243 9924202496 790003 33554432000 1073741824 1073778376 140736156639136 140447989193304 140448032278259 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8391/tid=8397] ppid=8388 vsize=9691604 CPUtime=0.46 cores=1,3,5,7 /proc/8391/task/8397/stat : 8397 (java) R 8388 8391 5873 0 -1 4202560 5620 0 0 0 28 18 0 0 20 0 20 0 104549243 9924202496 790003 33554432000 1073741824 1073778376 140736156639136 140447988140760 140448032278259 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8398] ppid=8388 vsize=9691604 CPUtime=0.64 cores=1,3,5,7 /proc/8391/task/8398/stat : 8398 (java) R 8388 8391 5873 0 -1 4202560 6018 0 0 0 37 27 0 0 20 0 20 0 104549243 9924202496 790003 33554432000 1073741824 1073778376 140736156639136 140447987088216 140448032278259 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8391/tid=8399] ppid=8388 vsize=9691604 CPUtime=0.45 cores=1,3,5,7 /proc/8391/task/8399/stat : 8399 (java) R 8388 8391 5873 0 -1 4202560 6621 0 0 0 27 18 0 0 20 0 20 0 104549243 9924202496 790003 33554432000 1073741824 1073778376 140736156639136 140447986035672 140448032278259 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8391/tid=8400] ppid=8388 vsize=9691604 CPUtime=0.56 cores=1,3,5,7 /proc/8391/task/8400/stat : 8400 (java) R 8388 8391 5873 0 -1 4202560 11446 0 0 0 30 26 0 0 20 0 20 0 104549243 9924202496 790003 33554432000 1073741824 1073778376 140736156639136 140447984983128 140448032278259 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8401] ppid=8388 vsize=9691604 CPUtime=0.5 cores=1,3,5,7 /proc/8391/task/8401/stat : 8401 (java) R 8388 8391 5873 0 -1 4202560 5882 0 0 0 28 22 0 0 20 0 20 0 104549243 9924202496 790003 33554432000 1073741824 1073778376 140736156639136 140447983930584 140448032278259 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8402] ppid=8388 vsize=9691604 CPUtime=0.58 cores=1,3,5,7 /proc/8391/task/8402/stat : 8402 (java) S 8388 8391 5873 0 -1 4202560 1450 0 0 0 56 2 0 0 20 0 20 0 104549244 9924202496 790003 33554432000 1073741824 1073778376 140736156639136 140447853794312 214540792892 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8403] ppid=8388 vsize=9691604 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8403/stat : 8403 (java) S 8388 8391 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 104549245 9924202496 790003 33554432000 1073741824 1073778376 140736156639136 140447852741752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8404] ppid=8388 vsize=9691604 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8404/stat : 8404 (java) S 8388 8391 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 104549245 9924202496 790003 33554432000 1073741824 1073778376 140736156639136 140447851689096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8405] ppid=8388 vsize=9691604 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8405/stat : 8405 (java) S 8388 8391 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 104549248 9924202496 790003 33554432000 1073741824 1073778376 140736156639136 140447850637840 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8406] ppid=8388 vsize=9691604 CPUtime=0.6 cores=1,3,5,7 /proc/8391/task/8406/stat : 8406 (java) S 8388 8391 5873 0 -1 4202560 3573 0 0 0 60 0 0 0 20 0 20 0 104549248 9924202496 790003 33554432000 1073741824 1073778376 140736156639136 140447849585208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8407] ppid=8388 vsize=9691604 CPUtime=0.69 cores=1,3,5,7 /proc/8391/task/8407/stat : 8407 (java) S 8388 8391 5873 0 -1 4202560 6558 0 0 0 67 2 0 0 20 0 20 0 104549248 9924202496 790003 33554432000 1073741824 1073778376 140736156639136 140447848532664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8408] ppid=8388 vsize=9691604 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8408/stat : 8408 (java) S 8388 8391 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 104549248 9924202496 790003 33554432000 1073741824 1073778376 140736156639136 140446974077944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8409] ppid=8388 vsize=9691604 CPUtime=0.48 cores=1,3,5,7 /proc/8391/task/8409/stat : 8409 (java) S 8388 8391 5873 0 -1 4202560 103 0 0 0 24 24 0 0 20 0 20 0 104549248 9924202496 790003 33554432000 1073741824 1073778376 140736156639136 140446973025608 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8410] ppid=8388 vsize=9691604 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8410/stat : 8410 (java) S 8388 8391 5873 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 104549518 9924202496 790003 33554432000 1073741824 1073778376 140736156639136 140446971970344 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (KiB) 9691604 [startup+1796.1 s] /proc/loadavg: 2.30 2.21 2.19 3/213 8520 /proc/meminfo: memFree=26249716/32872528 swapFree=16740/1306504 [pid=8391] ppid=8388 vsize=9758168 CPUtime=1800.83 cores=1,3,5,7 /proc/8391/stat : 8391 (java) S 8388 8391 5873 0 -1 4202496 70477 0 1 0 179852 231 0 0 20 0 20 0 104549241 9992364032 818687 33554432000 1073741824 1073778376 140736156639136 140736156630272 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8391/statm: 2439542 818687 2294 9 0 2430219 0 [pid=8391/tid=8393] ppid=8388 vsize=9758168 CPUtime=1794.3 cores=1,3,5,7 /proc/8391/task/8393/stat : 8393 (java) R 8388 8391 5873 0 -1 4202560 4138 0 1 0 179376 54 0 0 20 0 20 0 104549242 9992364032 818687 33554432000 1073741824 1073778376 140736156639136 140448029805032 140447863543746 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8394] ppid=8388 vsize=9758168 CPUtime=0.51 cores=1,3,5,7 /proc/8391/task/8394/stat : 8394 (java) S 8388 8391 5873 0 -1 4202560 5840 0 0 0 31 20 0 0 20 0 20 0 104549243 9992364032 818687 33554432000 1073741824 1073778376 140736156639136 140447991298216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8395] ppid=8388 vsize=9758168 CPUtime=0.64 cores=1,3,5,7 /proc/8391/task/8395/stat : 8395 (java) S 8388 8391 5873 0 -1 4202560 6340 0 0 0 40 24 0 0 20 0 20 0 104549243 9992364032 818687 33554432000 1073741824 1073778376 140736156639136 140447990245672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8396] ppid=8388 vsize=9758168 CPUtime=0.4 cores=1,3,5,7 /proc/8391/task/8396/stat : 8396 (java) S 8388 8391 5873 0 -1 4202560 5424 0 0 0 23 17 0 0 20 0 20 0 104549243 9992364032 818687 33554432000 1073741824 1073778376 140736156639136 140447989193128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8391/tid=8397] ppid=8388 vsize=9758168 CPUtime=0.52 cores=1,3,5,7 /proc/8391/task/8397/stat : 8397 (java) S 8388 8391 5873 0 -1 4202560 5676 0 0 0 31 21 0 0 20 0 20 0 104549243 9992364032 818687 33554432000 1073741824 1073778376 140736156639136 140447988140584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8398] ppid=8388 vsize=9758168 CPUtime=0.66 cores=1,3,5,7 /proc/8391/task/8398/stat : 8398 (java) S 8388 8391 5873 0 -1 4202560 6041 0 0 0 37 29 0 0 20 0 20 0 104549243 9992364032 818687 33554432000 1073741824 1073778376 140736156639136 140447987088040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8391/tid=8399] ppid=8388 vsize=9758168 CPUtime=0.47 cores=1,3,5,7 /proc/8391/task/8399/stat : 8399 (java) S 8388 8391 5873 0 -1 4202560 6640 0 0 0 28 19 0 0 20 0 20 0 104549243 9992364032 818687 33554432000 1073741824 1073778376 140736156639136 140447986035496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8391/tid=8400] ppid=8388 vsize=9758168 CPUtime=0.63 cores=1,3,5,7 /proc/8391/task/8400/stat : 8400 (java) S 8388 8391 5873 0 -1 4202560 11501 0 0 0 34 29 0 0 20 0 20 0 104549243 9992364032 818687 33554432000 1073741824 1073778376 140736156639136 140447984982952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8401] ppid=8388 vsize=9758168 CPUtime=0.52 cores=1,3,5,7 /proc/8391/task/8401/stat : 8401 (java) S 8388 8391 5873 0 -1 4202560 5902 0 0 0 30 22 0 0 20 0 20 0 104549243 9992364032 818687 33554432000 1073741824 1073778376 140736156639136 140447983930408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8402] ppid=8388 vsize=9758168 CPUtime=0.58 cores=1,3,5,7 /proc/8391/task/8402/stat : 8402 (java) S 8388 8391 5873 0 -1 4202560 1450 0 0 0 56 2 0 0 20 0 20 0 104549244 9992364032 818687 33554432000 1073741824 1073778376 140736156639136 140447853795432 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8403] ppid=8388 vsize=9758168 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8403/stat : 8403 (java) S 8388 8391 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 104549245 9992364032 818687 33554432000 1073741824 1073778376 140736156639136 140447852741752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8404] ppid=8388 vsize=9758168 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8404/stat : 8404 (java) S 8388 8391 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 104549245 9992364032 818687 33554432000 1073741824 1073778376 140736156639136 140447851689096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8405] ppid=8388 vsize=9758168 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8405/stat : 8405 (java) S 8388 8391 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 104549248 9992364032 818687 33554432000 1073741824 1073778376 140736156639136 140447850637840 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8391/tid=8406] ppid=8388 vsize=9758168 CPUtime=0.62 cores=1,3,5,7 /proc/8391/task/8406/stat : 8406 (java) S 8388 8391 5873 0 -1 4202560 3573 0 0 0 62 0 0 0 20 0 20 0 104549248 9992364032 818687 33554432000 1073741824 1073778376 140736156639136 140447849585208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8391/tid=8407] ppid=8388 vsize=9758168 CPUtime=0.7 cores=1,3,5,7 /proc/8391/task/8407/stat : 8407 (java) S 8388 8391 5873 0 -1 4202560 6559 0 0 0 68 2 0 0 20 0 20 0 104549248 9992364032 818687 33554432000 1073741824 1073778376 140736156639136 140447848532664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8408] ppid=8388 vsize=9758168 CPUtime=0 cores=1,3,5,7 /proc/8391/task/8408/stat : 8408 (java) S 8388 8391 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 104549248 9992364032 818687 33554432000 1073741824 1073778376 140736156639136 140446974077944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8391/tid=8409] ppid=8388 vsize=9758168 CPUtime=0.48 cores=1,3,5,7 /proc/8391/task/8409/stat : 8409 (java) S 8388 8391 5873 0 -1 4202560 103 0 0 0 24 24 0 0 20 0 20 0 104549248 9992364032 818687 33554432000 1073741824 1073778376 140736156639136 140446973025608 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.83 Current children cumulated vsize (KiB) 9758168 Child status: 143 Real time (s): 1796.14 CPU time (s): 1801.37 CPU user time (s): 1798.6 CPU system time (s): 2.77358 CPU usage (%): 100.291 Max. virtual memory (cumulated for all children) (KiB): 9758168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.6 system time used= 2.77358 maximum resident set size= 3274768 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 70484 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1016 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40368 involuntary context switches= 4148 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.3114 second user time and 13.365 second system time The end
Begin job on node127 at 2016-06-06 17:16:07 IDJOB=4085300 IDBENCH=1969 IDSOLVER=2546 FILE ID=node127/4085300-1465226166 RUNJOBID= node127-1465216773-5890 PBS_JOBID= 19843202 Free space on /tmp= 71704 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085300-1465226166/watcher-4085300-1465226166 -o /tmp/evaluation-result-4085300-1465226166/solver-4085300-1465226166 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1465216773-5890 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085300-1465226166.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 325852af8542a0f454599a2893f1b120 RANDOM SEED=1522978804 node127.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.227 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.45 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.227 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 : 5332.55 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.227 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 : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.227 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 : 5332.55 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.227 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 : 5332.55 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.227 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 : 5332.54 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.227 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 : 5332.54 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.227 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29267456 kB Buffers: 13068 kB Cached: 78212 kB SwapCached: 1760 kB Active: 1558892 kB Inactive: 34612 kB Active(anon): 1503864 kB Inactive(anon): 900 kB Active(file): 55028 kB Inactive(file): 33712 kB Unevictable: 1306504 kB Mlocked: 16740 kB SwapTotal: 67108856 kB SwapFree: 67098476 kB Dirty: 17568 kB Writeback: 0 kB AnonPages: 2808352 kB Mapped: 15324 kB Shmem: 0 kB Slab: 567504 kB SReclaimable: 11244 kB SUnreclaim: 556260 kB KernelStack: 1568 kB PageTables: 9376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4306268 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2760704 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71720 MiB End job on node127 at 2016-06-06 17:46:03