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) | 4636291 | 1800.81 | 1793.26 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_7.opb |
| MD5SUM | b79cf832cc8fb39cc9e05c792def1a32 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4630639 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9940 |
| Total number of constraints | 14846 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14700 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2415 |
| Number of terms in the objective function | 9730 |
| Biggest coefficient in the objective function | 134217728 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 95222180678 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 134217728 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 95222180678 |
| Number of bits of the biggest sum of numbers | 37 |
| 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.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 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.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4085013-1465346153.opb 0.09/0.11 c reading problem ... 0.09/0.12 c objective function found 1.03/0.55 c ... done. Wall clock time 0.436s. 1.03/0.55 c declared #vars 9940 1.03/0.55 c #constraints 24512 1.03/0.55 c constraints type 1.03/0.55 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1.03/0.55 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.03/0.55 c org.sat4j.specs.Constr$1 => 2 1.03/0.55 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.03/0.55 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1.03/0.55 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625 1.03/0.55 c 24512 constraints processed. 1.03/0.55 c objective function length is 9730 literals 1.61/0.79 c SATISFIABLE 1.61/0.79 c OPTIMIZING... 1.61/0.79 c Got one! Elapsed wall clock time (in seconds):0.681 1.61/0.79 o 4655695 1.79/0.89 c Got one! Elapsed wall clock time (in seconds):0.775 1.79/0.89 o 4646049 2.05/0.94 c Got one! Elapsed wall clock time (in seconds):0.827 2.05/0.94 o 4643913 2.05/0.98 c Got one! Elapsed wall clock time (in seconds):0.869 2.05/0.98 o 4643371 2.59/1.14 c Got one! Elapsed wall clock time (in seconds):1.027 2.59/1.14 o 4636291 4.41/2.91 c cleaning 2727 clauses out of 5454 with flag 10224/5454 6.39/4.82 c cleaning 4364 clauses out of 8728 with flag 22524/11455 8.59/7.04 c cleaning 5677 clauses out of 11364 with flag 36903/18455 11.21/9.60 c cleaning 6839 clauses out of 13687 with flag 53307/26455 14.03/12.45 c cleaning 7924 clauses out of 15847 with flag 71692/35454 17.37/15.75 c cleaning 8961 clauses out of 17924 with flag 92113/45455 20.87/19.29 c cleaning 9981 clauses out of 19962 with flag 114647/56454 24.77/23.16 c cleaning 10989 clauses out of 21981 with flag 139161/68454 29.06/27.44 c cleaning 11995 clauses out of 23994 with flag 165710/81456 33.76/32.14 c cleaning 12996 clauses out of 25998 with flag 194286/95455 38.76/37.19 c cleaning 13999 clauses out of 28001 with flag 224772/110454 44.36/42.72 c cleaning 15002 clauses out of 30003 with flag 257202/126455 50.56/48.84 c cleaning 15994 clauses out of 32000 with flag 291702/143454 56.77/55.08 c cleaning 17003 clauses out of 34008 with flag 328319/161456 63.26/61.51 c cleaning 18001 clauses out of 36004 with flag 367081/180455 70.16/68.44 c cleaning 19002 clauses out of 38004 with flag 407889/200456 77.56/75.82 c cleaning 19999 clauses out of 40001 with flag 450532/221455 85.67/83.85 c cleaning 20998 clauses out of 42001 with flag 494999/243454 93.77/91.99 c cleaning 21997 clauses out of 44004 with flag 541528/266455 102.37/100.50 c cleaning 23001 clauses out of 46008 with flag 590408/290456 111.47/109.61 c cleaning 23999 clauses out of 48005 with flag 641156/315454 121.71/119.74 c cleaning 25001 clauses out of 50008 with flag 693564/341456 131.81/129.89 c cleaning 25997 clauses out of 52005 with flag 748294/368454 143.01/141.01 c cleaning 27004 clauses out of 54008 with flag 804621/396454 154.60/152.70 c cleaning 27998 clauses out of 56005 with flag 863011/425455 166.64/164.56 c cleaning 29003 clauses out of 58007 with flag 923550/455455 178.16/176.00 c cleaning 29996 clauses out of 60005 with flag 986573/486456 190.36/188.23 c cleaning 31002 clauses out of 62007 with flag 1051325/518454 203.41/201.13 c cleaning 31997 clauses out of 64005 with flag 1118198/551454 217.11/214.85 c cleaning 33001 clauses out of 66008 with flag 1186906/585454 232.22/229.99 c cleaning 34004 clauses out of 68007 with flag 1257375/620454 247.64/245.21 c cleaning 35001 clauses out of 70003 with flag 1329834/656454 263.84/261.44 c cleaning 36001 clauses out of 72002 with flag 1404141/693454 280.22/277.69 c cleaning 36997 clauses out of 74001 with flag 1480469/731454 297.13/294.59 c cleaning 37998 clauses out of 76004 with flag 1558810/770454 314.97/312.22 c cleaning 39000 clauses out of 78006 with flag 1639218/810454 333.17/330.46 c cleaning 40000 clauses out of 80006 with flag 1721594/851454 352.11/349.24 c cleaning 41001 clauses out of 82007 with flag 1806219/893455 372.08/369.18 c cleaning 41999 clauses out of 84006 with flag 1892853/936455 391.49/388.56 c cleaning 43001 clauses out of 86007 with flag 1981492/980455 412.66/409.68 c cleaning 44002 clauses out of 88005 with flag 2071802/1025454 432.46/429.44 c cleaning 44997 clauses out of 90004 with flag 2164071/1071455 454.66/451.59 c cleaning 46002 clauses out of 92006 with flag 2258382/1118454 477.73/474.52 c cleaning 47001 clauses out of 94004 with flag 2354964/1166454 500.54/497.26 c cleaning 47997 clauses out of 96003 with flag 2453568/1215454 524.04/520.78 c cleaning 49001 clauses out of 98006 with flag 2554424/1265454 548.49/545.14 c cleaning 50000 clauses out of 100007 with flag 2657230/1316456 573.28/569.87 c cleaning 50997 clauses out of 102005 with flag 2761869/1368454 598.56/595.02 c cleaning 52004 clauses out of 104008 with flag 2868951/1421454 626.24/622.64 c cleaning 53002 clauses out of 106004 with flag 2977563/1475454 654.12/650.40 c cleaning 53998 clauses out of 108002 with flag 3088284/1530454 682.89/679.16 c cleaning 55002 clauses out of 110005 with flag 3201240/1586455 713.40/709.56 c cleaning 56001 clauses out of 112002 with flag 3316085/1643454 743.97/740.07 c cleaning 56996 clauses out of 114001 with flag 3432780/1701454 775.03/771.08 c cleaning 57997 clauses out of 116006 with flag 3551482/1760455 805.40/801.31 c cleaning 58996 clauses out of 118010 with flag 3672423/1820456 837.98/833.85 c cleaning 60002 clauses out of 120013 with flag 3794903/1881455 870.67/866.46 c cleaning 60999 clauses out of 122010 with flag 3919358/1943454 904.10/899.76 c cleaning 62005 clauses out of 124011 with flag 4046058/2006454 938.70/934.21 c cleaning 62996 clauses out of 126007 with flag 4174910/2070455 973.03/968.54 c cleaning 64001 clauses out of 128011 with flag 4305674/2135455 1009.26/1004.66 c cleaning 64999 clauses out of 130010 with flag 4438355/2201455 1045.10/1040.46 c cleaning 65999 clauses out of 132010 with flag 4573349/2268454 1079.51/1074.71 c cleaning 67000 clauses out of 134011 with flag 4710698/2336454 1113.69/1108.85 c cleaning 68002 clauses out of 136011 with flag 4850064/2405454 1149.78/1144.86 c cleaning 69001 clauses out of 138009 with flag 4991233/2475454 1189.99/1184.95 c cleaning 70004 clauses out of 140008 with flag 5133941/2546454 1233.64/1228.48 c cleaning 70999 clauses out of 142004 with flag 5278212/2618454 1279.29/1274.00 c cleaning 71999 clauses out of 144005 with flag 5424958/2691454 1323.51/1318.14 c cleaning 72990 clauses out of 146007 with flag 5573738/2765455 1369.51/1363.95 c cleaning 74003 clauses out of 148016 with flag 5724535/2840454 1417.03/1411.34 c cleaning 75001 clauses out of 150014 with flag 5876970/2916455 1463.83/1458.06 c cleaning 76004 clauses out of 152015 with flag 6031842/2993457 1511.64/1505.77 c cleaning 77000 clauses out of 154008 with flag 6188451/3071454 1563.89/1557.85 c cleaning 78000 clauses out of 156009 with flag 6347234/3150455 1614.94/1608.78 c cleaning 79000 clauses out of 158009 with flag 6507832/3230455 1669.52/1663.14 c cleaning 80003 clauses out of 160008 with flag 6670745/3311454 1726.35/1719.79 c cleaning 80996 clauses out of 162005 with flag 6836313/3393454 1779.50/1772.78 c cleaning 81999 clauses out of 164009 with flag 7003416/3476454 1800.08/1793.20 c starts : 7 1800.08/1793.20 c conflicts : 3518357 1800.08/1793.20 c decisions : 3776425 1800.08/1793.20 c propagations : 56038111 1800.08/1793.20 c inspects : 17927495175 1800.08/1793.20 c shortcuts : 0 1800.08/1793.20 c learnt literals : 0 1800.08/1793.20 c learnt binary clauses : 0 1800.08/1793.20 c learnt ternary clauses : 0 1800.08/1793.20 c learnt constraints : 3518357 1800.08/1793.20 c ignored constraints : 0 1800.08/1793.20 c root simplifications : 0 1800.08/1793.20 c removed literals (reason simplification) : 0 1800.08/1793.20 c reason swapping (by a shorter reason) : 0 1800.08/1793.20 c Calls to reduceDB : 79 1800.08/1793.20 c Number of update (reduction) of LBD : 30604 1800.08/1793.20 c Imported unit clauses : 0 1800.08/1793.20 c number of reductions to clauses (during analyze) : 0 1800.08/1793.20 c number of learned constraints concerned by reduction : 0 1800.08/1793.20 c number of learning phase by resolution : 0 1800.08/1793.20 c number of learning phase by cutting planes : 0 1800.08/1793.20 c speed (assignments/second) : 31260.522610531203 1800.08/1793.20 c non guided choices 17 1800.08/1793.23 c learnt constraints type 1800.08/1793.23 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 123913 1800.08/1793.23 s SATISFIABLE 1800.08/1793.23 c Found 5 solution(s) 1800.08/1793.24 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 1800.08/1793.25 c objective function=4636291 1800.08/1793.25 c Total wall clock time (in seconds): 1793.135
OK 4636291
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-4085013-1465346153/watcher-4085013-1465346153 -o /tmp/evaluation-result-4085013-1465346153/solver-4085013-1465346153 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465312757-23538 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085013-1465346153.opb pid=27383 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.00 2.01 2.01 3/195 27386 /proc/meminfo: memFree=29119720/32872528 swapFree=10608/190480 [pid=27386] ppid=27383 vsize=9224 CPUtime=0 cores=1,3,5,7 /proc/27386/stat : 27386 (java) R 27383 27386 27127 0 -1 4202496 423 0 0 0 0 0 0 0 20 0 1 0 116550635 9445376 93 33554432000 1073741824 1073778376 140734396016768 140734396013896 249640826295 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/27386/statm: 2306 96 75 9 0 38 0 [startup+0.10006 s] /proc/loadavg: 2.00 2.01 2.01 3/195 27386 /proc/meminfo: memFree=29119720/32872528 swapFree=10608/190480 [pid=27386] ppid=27383 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/27386/stat : 27386 (java) S 27383 27386 27127 0 -1 4202496 4408 0 1 0 8 1 0 0 20 0 18 0 116550635 9787879424 6041 33554432000 1073741824 1073778376 140734396016768 140734396007904 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27386/statm: 2389619 6041 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200229 s] /proc/loadavg: 2.00 2.01 2.01 3/195 27386 /proc/meminfo: memFree=29119720/32872528 swapFree=10608/190480 [pid=27386] ppid=27383 vsize=9558476 CPUtime=0.29 cores=1,3,5,7 /proc/27386/stat : 27386 (java) S 27383 27386 27127 0 -1 4202496 5049 0 1 0 28 1 0 0 20 0 18 0 116550635 9787879424 6872 33554432000 1073741824 1073778376 140734396016768 140734396007904 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27386/statm: 2389619 6872 2219 9 0 2380296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9558476 [startup+0.300248 s] /proc/loadavg: 2.00 2.01 2.01 3/195 27386 /proc/meminfo: memFree=29119720/32872528 swapFree=10608/190480 [pid=27386] ppid=27383 vsize=9559436 CPUtime=0.52 cores=1,3,5,7 /proc/27386/stat : 27386 (java) S 27383 27386 27127 0 -1 4202496 7914 0 1 0 50 2 0 0 20 0 18 0 116550635 9788862464 11991 33554432000 1073741824 1073778376 140734396016768 140734396007904 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27386/statm: 2389859 12022 2234 9 0 2380536 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 9559436 [startup+0.700202 s] /proc/loadavg: 2.00 2.01 2.01 3/195 27386 /proc/meminfo: memFree=29119720/32872528 swapFree=10608/190480 [pid=27386] ppid=27383 vsize=9625040 CPUtime=1.61 cores=1,3,5,7 /proc/27386/stat : 27386 (java) S 27383 27386 27127 0 -1 4202496 12693 0 1 0 158 3 0 0 20 0 19 0 116550635 9856040960 25090 33554432000 1073741824 1073778376 140734396016768 140734396007904 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27386/statm: 2406260 25090 2262 9 0 2396937 0 Current children cumulated CPU time (s) 1.61 Current children cumulated vsize (KiB) 9625040 [startup+1.50072 s] /proc/loadavg: 2.00 2.01 2.01 3/214 27405 /proc/meminfo: memFree=29013412/32872528 swapFree=10608/190480 [pid=27386] ppid=27383 vsize=9625040 CPUtime=3 cores=1,3,5,7 /proc/27386/stat : 27386 (java) S 27383 27386 27127 0 -1 4202496 13452 0 1 0 296 4 0 0 20 0 19 0 116550635 9856040960 30225 33554432000 1073741824 1073778376 140734396016768 140734396007904 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27386/statm: 2406260 30225 2271 9 0 2396937 0 [pid=27386/tid=27388] ppid=27383 vsize=9625040 CPUtime=1.46 cores=1,3,5,7 /proc/27386/task/27388/stat : 27388 (java) R 27383 27386 27127 0 -1 4202560 2447 0 1 0 144 2 0 0 20 0 19 0 116550636 9856040960 30225 33554432000 1073741824 1073778376 140734396016768 139718119174424 139717988173466 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27389] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27389/stat : 27389 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 30225 33554432000 1073741824 1073778376 140734396016768 139718108236584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27390] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27390/stat : 27390 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 30225 33554432000 1073741824 1073778376 140734396016768 139718107183784 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27391] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27391/stat : 27391 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 30225 33554432000 1073741824 1073778376 140734396016768 139718106131496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27386/tid=27392] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27392/stat : 27392 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 30225 33554432000 1073741824 1073778376 140734396016768 139717959695272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27386/tid=27393] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27393/stat : 27393 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 30225 33554432000 1073741824 1073778376 140734396016768 139717958641960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27394] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27394/stat : 27394 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 30225 33554432000 1073741824 1073778376 140734396016768 139717957589160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27386/tid=27395] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27395/stat : 27395 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 30225 33554432000 1073741824 1073778376 140734396016768 139717956536872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27396] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27396/stat : 27396 (java) S 27383 27386 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 30225 33554432000 1073741824 1073778376 140734396016768 139717955484072 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27397] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27397/stat : 27397 (java) S 27383 27386 27127 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 116550639 9856040960 30225 33554432000 1073741824 1073778376 140734396016768 139717943286504 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27398] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27398/stat : 27398 (java) S 27383 27386 27127 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 116550639 9856040960 30225 33554432000 1073741824 1073778376 140734396016768 139717942232568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27399] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27399/stat : 27399 (java) S 27383 27386 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 116550639 9856040960 30225 33554432000 1073741824 1073778376 140734396016768 139717941180168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27400] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27400/stat : 27400 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550641 9856040960 30225 33554432000 1073741824 1073778376 140734396016768 139717940128656 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27401] ppid=27383 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/27386/task/27401/stat : 27401 (java) S 27383 27386 27127 0 -1 4202560 3982 0 0 0 72 0 0 0 20 0 19 0 116550641 9856040960 30225 33554432000 1073741824 1073778376 140734396016768 139717939075256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27386/tid=27402] ppid=27383 vsize=9625040 CPUtime=0.79 cores=1,3,5,7 /proc/27386/task/27402/stat : 27402 (java) S 27383 27386 27127 0 -1 4202560 5746 0 0 0 77 2 0 0 20 0 19 0 116550641 9856040960 30225 33554432000 1073741824 1073778376 140734396016768 139717938022456 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27403] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27403/stat : 27403 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550641 9856040960 30225 33554432000 1073741824 1073778376 140734396016768 139717936970360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27404] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27404/stat : 27404 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550641 9856040960 30225 33554432000 1073741824 1073778376 140734396016768 139717935917768 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27405] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27405/stat : 27405 (java) S 27383 27386 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116550695 9856040960 30225 33554432000 1073741824 1073778376 140734396016768 139717934863784 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 9625040 [startup+3.10083 s] /proc/loadavg: 2.00 2.01 2.01 3/214 27405 /proc/meminfo: memFree=29002304/32872528 swapFree=10608/190480 [pid=27386] ppid=27383 vsize=9625040 CPUtime=4.63 cores=1,3,5,7 /proc/27386/stat : 27386 (java) S 27383 27386 27127 0 -1 4202496 13463 0 1 0 459 4 0 0 20 0 19 0 116550635 9856040960 32277 33554432000 1073741824 1073778376 140734396016768 140734396007904 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27386/statm: 2406260 32277 2275 9 0 2396937 0 [pid=27386/tid=27388] ppid=27383 vsize=9625040 CPUtime=3.06 cores=1,3,5,7 /proc/27386/task/27388/stat : 27388 (java) R 27383 27386 27127 0 -1 4202560 2452 0 1 0 303 3 0 0 20 0 19 0 116550636 9856040960 32277 33554432000 1073741824 1073778376 140734396016768 139718119165680 139717988208251 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=27386/tid=27389] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27389/stat : 27389 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 32277 33554432000 1073741824 1073778376 140734396016768 139718108236584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27390] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27390/stat : 27390 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 32277 33554432000 1073741824 1073778376 140734396016768 139718107183784 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27391] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27391/stat : 27391 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 32277 33554432000 1073741824 1073778376 140734396016768 139718106131496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27386/tid=27392] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27392/stat : 27392 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 32277 33554432000 1073741824 1073778376 140734396016768 139717959695272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27386/tid=27393] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27393/stat : 27393 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 32277 33554432000 1073741824 1073778376 140734396016768 139717958641960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27394] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27394/stat : 27394 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 32277 33554432000 1073741824 1073778376 140734396016768 139717957589160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27386/tid=27395] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27395/stat : 27395 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 32277 33554432000 1073741824 1073778376 140734396016768 139717956536872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27396] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27396/stat : 27396 (java) S 27383 27386 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 32277 33554432000 1073741824 1073778376 140734396016768 139717955484072 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27397] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27397/stat : 27397 (java) S 27383 27386 27127 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 116550639 9856040960 32277 33554432000 1073741824 1073778376 140734396016768 139717943286504 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27398] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27398/stat : 27398 (java) S 27383 27386 27127 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 116550639 9856040960 32277 33554432000 1073741824 1073778376 140734396016768 139717942232568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27399] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27399/stat : 27399 (java) S 27383 27386 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 116550639 9856040960 32277 33554432000 1073741824 1073778376 140734396016768 139717941180168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27400] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27400/stat : 27400 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550641 9856040960 32277 33554432000 1073741824 1073778376 140734396016768 139717940128656 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27401] ppid=27383 vsize=9625040 CPUtime=0.74 cores=1,3,5,7 /proc/27386/task/27401/stat : 27401 (java) S 27383 27386 27127 0 -1 4202560 3984 0 0 0 74 0 0 0 20 0 19 0 116550641 9856040960 32277 33554432000 1073741824 1073778376 140734396016768 139717939075256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27386/tid=27402] ppid=27383 vsize=9625040 CPUtime=0.81 cores=1,3,5,7 /proc/27386/task/27402/stat : 27402 (java) S 27383 27386 27127 0 -1 4202560 5750 0 0 0 79 2 0 0 20 0 19 0 116550641 9856040960 32277 33554432000 1073741824 1073778376 140734396016768 139717938022456 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27403] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27403/stat : 27403 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550641 9856040960 32277 33554432000 1073741824 1073778376 140734396016768 139717936970360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27404] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27404/stat : 27404 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550641 9856040960 32277 33554432000 1073741824 1073778376 140734396016768 139717935917768 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27405] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27405/stat : 27405 (java) S 27383 27386 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116550695 9856040960 32277 33554432000 1073741824 1073778376 140734396016768 139717934863784 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.63 Current children cumulated vsize (KiB) 9625040 [startup+6.30074 s] /proc/loadavg: 2.00 2.01 2.01 3/214 27405 /proc/meminfo: memFree=28987856/32872528 swapFree=10608/190480 [pid=27386] ppid=27383 vsize=9625040 CPUtime=7.89 cores=1,3,5,7 /proc/27386/stat : 27386 (java) S 27383 27386 27127 0 -1 4202496 13471 0 1 0 785 4 0 0 20 0 19 0 116550635 9856040960 35326 33554432000 1073741824 1073778376 140734396016768 140734396007904 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27386/statm: 2406260 35326 2276 9 0 2396937 0 [pid=27386/tid=27388] ppid=27383 vsize=9625040 CPUtime=6.26 cores=1,3,5,7 /proc/27386/task/27388/stat : 27388 (java) R 27383 27386 27127 0 -1 4202560 2459 0 1 0 623 3 0 0 20 0 19 0 116550636 9856040960 35326 33554432000 1073741824 1073778376 140734396016768 139718119165680 139717988208314 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=27386/tid=27389] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27389/stat : 27389 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 35326 33554432000 1073741824 1073778376 140734396016768 139718108236584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27390] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27390/stat : 27390 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 35326 33554432000 1073741824 1073778376 140734396016768 139718107183784 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27391] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27391/stat : 27391 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 35326 33554432000 1073741824 1073778376 140734396016768 139718106131496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27386/tid=27392] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27392/stat : 27392 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 35326 33554432000 1073741824 1073778376 140734396016768 139717959695272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27386/tid=27393] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27393/stat : 27393 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 35326 33554432000 1073741824 1073778376 140734396016768 139717958641960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27394] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27394/stat : 27394 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 35326 33554432000 1073741824 1073778376 140734396016768 139717957589160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27386/tid=27395] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27395/stat : 27395 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 35326 33554432000 1073741824 1073778376 140734396016768 139717956536872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27396] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27396/stat : 27396 (java) S 27383 27386 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 116550638 9856040960 35326 33554432000 1073741824 1073778376 140734396016768 139717955484072 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27397] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27397/stat : 27397 (java) S 27383 27386 27127 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 116550639 9856040960 35326 33554432000 1073741824 1073778376 140734396016768 139717943286504 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27398] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27398/stat : 27398 (java) S 27383 27386 27127 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 116550639 9856040960 35326 33554432000 1073741824 1073778376 140734396016768 139717942232568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27399] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27399/stat : 27399 (java) S 27383 27386 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 116550639 9856040960 35326 33554432000 1073741824 1073778376 140734396016768 139717941180168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27400] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27400/stat : 27400 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550641 9856040960 35326 33554432000 1073741824 1073778376 140734396016768 139717940128656 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27401] ppid=27383 vsize=9625040 CPUtime=0.77 cores=1,3,5,7 /proc/27386/task/27401/stat : 27401 (java) S 27383 27386 27127 0 -1 4202560 3984 0 0 0 77 0 0 0 20 0 19 0 116550641 9856040960 35326 33554432000 1073741824 1073778376 140734396016768 139717939075256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27386/tid=27402] ppid=27383 vsize=9625040 CPUtime=0.84 cores=1,3,5,7 /proc/27386/task/27402/stat : 27402 (java) S 27383 27386 27127 0 -1 4202560 5750 0 0 0 82 2 0 0 20 0 19 0 116550641 9856040960 35326 33554432000 1073741824 1073778376 140734396016768 139717938022456 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27403] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27403/stat : 27403 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550641 9856040960 35326 33554432000 1073741824 1073778376 140734396016768 139717936970360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27404] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27404/stat : 27404 (java) S 27383 27386 27127 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 116550641 9856040960 35326 33554432000 1073741824 1073778376 140734396016768 139717935917768 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27405] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27405/stat : 27405 (java) S 27383 27386 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116550695 9856040960 35326 33554432000 1073741824 1073778376 140734396016768 139717934863784 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.89 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=27386/tid=27398] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27398/stat : 27398 (java) S 27383 27386 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 116550639 9856040960 115980 33554432000 1073741824 1073778376 140734396016768 139717942232568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27399] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27399/stat : 27399 (java) S 27383 27386 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 116550639 9856040960 115980 33554432000 1073741824 1073778376 140734396016768 139717941180168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27400] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27400/stat : 27400 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550641 9856040960 115980 33554432000 1073741824 1073778376 140734396016768 139717940128656 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27401] ppid=27383 vsize=9625040 CPUtime=0.77 cores=1,3,5,7 /proc/27386/task/27401/stat : 27401 (java) S 27383 27386 27127 0 -1 4202560 3984 0 0 0 77 0 0 0 20 0 19 0 116550641 9856040960 115980 33554432000 1073741824 1073778376 140734396016768 139717939075256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27386/tid=27402] ppid=27383 vsize=9625040 CPUtime=0.9 cores=1,3,5,7 /proc/27386/task/27402/stat : 27402 (java) S 27383 27386 27127 0 -1 4202560 5753 0 0 0 88 2 0 0 20 0 19 0 116550641 9856040960 115980 33554432000 1073741824 1073778376 140734396016768 139717938022456 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27403] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27403/stat : 27403 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550641 9856040960 115980 33554432000 1073741824 1073778376 140734396016768 139717936970360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27404] ppid=27383 vsize=9625040 CPUtime=0.61 cores=1,3,5,7 /proc/27386/task/27404/stat : 27404 (java) S 27383 27386 27127 0 -1 4202560 96 0 0 0 25 36 0 0 20 0 19 0 116550641 9856040960 115980 33554432000 1073741824 1073778376 140734396016768 139717935917768 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27405] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27405/stat : 27405 (java) S 27383 27386 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116550695 9856040960 115980 33554432000 1073741824 1073778376 140734396016768 139717934863784 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1668.72 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.25 2/189 27504 /proc/meminfo: memFree=30393748/32872528 swapFree=10608/190480 [pid=27386] ppid=27383 vsize=9625040 CPUtime=1728.95 cores=1,3,5,7 /proc/27386/stat : 27386 (java) S 27383 27386 27127 0 -1 4202496 17709 0 1 0 172779 116 0 0 20 0 19 0 116550635 9856040960 126644 33554432000 1073741824 1073778376 140734396016768 140734396007904 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27386/statm: 2406260 126644 2298 9 0 2396937 0 [pid=27386/tid=27388] ppid=27383 vsize=9625040 CPUtime=1719.21 cores=1,3,5,7 /proc/27386/task/27388/stat : 27388 (java) R 27383 27386 27127 0 -1 4202560 2543 0 1 0 171889 32 0 0 20 0 19 0 116550636 9856040960 126644 33554432000 1073741824 1073778376 140734396016768 139718119165664 139717988208251 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=27386/tid=27389] ppid=27383 vsize=9625040 CPUtime=0.87 cores=1,3,5,7 /proc/27386/task/27389/stat : 27389 (java) S 27383 27386 27127 0 -1 4202560 477 0 0 0 76 11 0 0 20 0 19 0 116550638 9856040960 126644 33554432000 1073741824 1073778376 140734396016768 139718108236584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27386/tid=27390] ppid=27383 vsize=9625040 CPUtime=0.87 cores=1,3,5,7 /proc/27386/task/27390/stat : 27390 (java) S 27383 27386 27127 0 -1 4202560 239 0 0 0 79 8 0 0 20 0 19 0 116550638 9856040960 126644 33554432000 1073741824 1073778376 140734396016768 139718107183784 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27386/tid=27391] ppid=27383 vsize=9625040 CPUtime=0.77 cores=1,3,5,7 /proc/27386/task/27391/stat : 27391 (java) S 27383 27386 27127 0 -1 4202560 315 0 0 0 70 7 0 0 20 0 19 0 116550638 9856040960 126644 33554432000 1073741824 1073778376 140734396016768 139718106131496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27386/tid=27392] ppid=27383 vsize=9625040 CPUtime=0.88 cores=1,3,5,7 /proc/27386/task/27392/stat : 27392 (java) S 27383 27386 27127 0 -1 4202560 507 0 0 0 77 11 0 0 20 0 19 0 116550638 9856040960 126644 33554432000 1073741824 1073778376 140734396016768 139717959695272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27393] ppid=27383 vsize=9625040 CPUtime=0.84 cores=1,3,5,7 /proc/27386/task/27393/stat : 27393 (java) S 27383 27386 27127 0 -1 4202560 447 0 0 0 73 11 0 0 20 0 19 0 116550638 9856040960 126644 33554432000 1073741824 1073778376 140734396016768 139717958641960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27386/tid=27394] ppid=27383 vsize=9625040 CPUtime=0.76 cores=1,3,5,7 /proc/27386/task/27394/stat : 27394 (java) S 27383 27386 27127 0 -1 4202560 524 0 0 0 66 10 0 0 20 0 19 0 116550638 9856040960 126644 33554432000 1073741824 1073778376 140734396016768 139717957589160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27386/tid=27395] ppid=27383 vsize=9625040 CPUtime=0.71 cores=1,3,5,7 /proc/27386/task/27395/stat : 27395 (java) S 27383 27386 27127 0 -1 4202560 498 0 0 0 63 8 0 0 20 0 19 0 116550638 9856040960 126644 33554432000 1073741824 1073778376 140734396016768 139717956536872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27396] ppid=27383 vsize=9625040 CPUtime=0.84 cores=1,3,5,7 /proc/27386/task/27396/stat : 27396 (java) S 27383 27386 27127 0 -1 4202560 613 0 0 0 73 11 0 0 20 0 19 0 116550638 9856040960 126644 33554432000 1073741824 1073778376 140734396016768 139717955484072 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27397] ppid=27383 vsize=9625040 CPUtime=1.23 cores=1,3,5,7 /proc/27386/task/27397/stat : 27397 (java) S 27383 27386 27127 0 -1 4202560 446 0 0 0 120 3 0 0 20 0 19 0 116550639 9856040960 126644 33554432000 1073741824 1073778376 140734396016768 139717943286504 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27398] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27398/stat : 27398 (java) S 27383 27386 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 116550639 9856040960 126644 33554432000 1073741824 1073778376 140734396016768 139717942232568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27399] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27399/stat : 27399 (java) S 27383 27386 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 116550639 9856040960 126644 33554432000 1073741824 1073778376 140734396016768 139717941180168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27400] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27400/stat : 27400 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550641 9856040960 126644 33554432000 1073741824 1073778376 140734396016768 139717940128656 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27401] ppid=27383 vsize=9625040 CPUtime=0.77 cores=1,3,5,7 /proc/27386/task/27401/stat : 27401 (java) S 27383 27386 27127 0 -1 4202560 3984 0 0 0 77 0 0 0 20 0 19 0 116550641 9856040960 126644 33554432000 1073741824 1073778376 140734396016768 139717939075256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27386/tid=27402] ppid=27383 vsize=9625040 CPUtime=0.9 cores=1,3,5,7 /proc/27386/task/27402/stat : 27402 (java) S 27383 27386 27127 0 -1 4202560 5753 0 0 0 88 2 0 0 20 0 19 0 116550641 9856040960 126644 33554432000 1073741824 1073778376 140734396016768 139717938022456 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27403] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27403/stat : 27403 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550641 9856040960 126644 33554432000 1073741824 1073778376 140734396016768 139717936970360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27404] ppid=27383 vsize=9625040 CPUtime=0.63 cores=1,3,5,7 /proc/27386/task/27404/stat : 27404 (java) S 27383 27386 27127 0 -1 4202560 100 0 0 0 26 37 0 0 20 0 19 0 116550641 9856040960 126644 33554432000 1073741824 1073778376 140734396016768 139717935917768 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27405] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27405/stat : 27405 (java) S 27383 27386 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116550695 9856040960 126644 33554432000 1073741824 1073778376 140734396016768 139717934863784 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1728.95 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 1.00 1.02 1.24 3/189 27505 /proc/meminfo: memFree=30399964/32872528 swapFree=10608/190480 [pid=27386] ppid=27383 vsize=9625040 CPUtime=1789.12 cores=1,3,5,7 /proc/27386/stat : 27386 (java) S 27383 27386 27127 0 -1 4202496 17722 0 1 0 178794 118 0 0 20 0 19 0 116550635 9856040960 125026 33554432000 1073741824 1073778376 140734396016768 140734396007904 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27386/statm: 2406260 125026 2298 9 0 2396937 0 [pid=27386/tid=27388] ppid=27383 vsize=9625040 CPUtime=1779.15 cores=1,3,5,7 /proc/27386/task/27388/stat : 27388 (java) R 27383 27386 27127 0 -1 4202560 2547 0 1 0 177882 33 0 0 20 0 19 0 116550636 9856040960 125026 33554432000 1073741824 1073778376 140734396016768 139718119173360 139717988233151 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27389] ppid=27383 vsize=9625040 CPUtime=0.89 cores=1,3,5,7 /proc/27386/task/27389/stat : 27389 (java) S 27383 27386 27127 0 -1 4202560 477 0 0 0 78 11 0 0 20 0 19 0 116550638 9856040960 125026 33554432000 1073741824 1073778376 140734396016768 139718108236584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27386/tid=27390] ppid=27383 vsize=9625040 CPUtime=0.91 cores=1,3,5,7 /proc/27386/task/27390/stat : 27390 (java) S 27383 27386 27127 0 -1 4202560 239 0 0 0 83 8 0 0 20 0 19 0 116550638 9856040960 125026 33554432000 1073741824 1073778376 140734396016768 139718107183784 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27386/tid=27391] ppid=27383 vsize=9625040 CPUtime=0.81 cores=1,3,5,7 /proc/27386/task/27391/stat : 27391 (java) S 27383 27386 27127 0 -1 4202560 315 0 0 0 74 7 0 0 20 0 19 0 116550638 9856040960 125026 33554432000 1073741824 1073778376 140734396016768 139718106131496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27392] ppid=27383 vsize=9625040 CPUtime=0.91 cores=1,3,5,7 /proc/27386/task/27392/stat : 27392 (java) S 27383 27386 27127 0 -1 4202560 507 0 0 0 80 11 0 0 20 0 19 0 116550638 9856040960 125026 33554432000 1073741824 1073778376 140734396016768 139717959695272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27393] ppid=27383 vsize=9625040 CPUtime=0.86 cores=1,3,5,7 /proc/27386/task/27393/stat : 27393 (java) S 27383 27386 27127 0 -1 4202560 447 0 0 0 75 11 0 0 20 0 19 0 116550638 9856040960 125026 33554432000 1073741824 1073778376 140734396016768 139717958641960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27394] ppid=27383 vsize=9625040 CPUtime=0.78 cores=1,3,5,7 /proc/27386/task/27394/stat : 27394 (java) S 27383 27386 27127 0 -1 4202560 524 0 0 0 68 10 0 0 20 0 19 0 116550638 9856040960 125026 33554432000 1073741824 1073778376 140734396016768 139717957589160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27386/tid=27395] ppid=27383 vsize=9625040 CPUtime=0.73 cores=1,3,5,7 /proc/27386/task/27395/stat : 27395 (java) S 27383 27386 27127 0 -1 4202560 498 0 0 0 65 8 0 0 20 0 19 0 116550638 9856040960 125026 33554432000 1073741824 1073778376 140734396016768 139717956536872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27396] ppid=27383 vsize=9625040 CPUtime=0.86 cores=1,3,5,7 /proc/27386/task/27396/stat : 27396 (java) S 27383 27386 27127 0 -1 4202560 613 0 0 0 75 11 0 0 20 0 19 0 116550638 9856040960 125026 33554432000 1073741824 1073778376 140734396016768 139717955484072 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27397] ppid=27383 vsize=9625040 CPUtime=1.23 cores=1,3,5,7 /proc/27386/task/27397/stat : 27397 (java) S 27383 27386 27127 0 -1 4202560 451 0 0 0 120 3 0 0 20 0 19 0 116550639 9856040960 125026 33554432000 1073741824 1073778376 140734396016768 139717943286504 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27398] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27398/stat : 27398 (java) S 27383 27386 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 116550639 9856040960 125026 33554432000 1073741824 1073778376 140734396016768 139717942232568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27399] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27399/stat : 27399 (java) S 27383 27386 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 116550639 9856040960 125026 33554432000 1073741824 1073778376 140734396016768 139717941180168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27400] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27400/stat : 27400 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550641 9856040960 125026 33554432000 1073741824 1073778376 140734396016768 139717940128656 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27401] ppid=27383 vsize=9625040 CPUtime=0.77 cores=1,3,5,7 /proc/27386/task/27401/stat : 27401 (java) S 27383 27386 27127 0 -1 4202560 3984 0 0 0 77 0 0 0 20 0 19 0 116550641 9856040960 125026 33554432000 1073741824 1073778376 140734396016768 139717939075256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27386/tid=27402] ppid=27383 vsize=9625040 CPUtime=0.9 cores=1,3,5,7 /proc/27386/task/27402/stat : 27402 (java) S 27383 27386 27127 0 -1 4202560 5753 0 0 0 88 2 0 0 20 0 19 0 116550641 9856040960 125026 33554432000 1073741824 1073778376 140734396016768 139717938022456 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27403] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27403/stat : 27403 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550641 9856040960 125026 33554432000 1073741824 1073778376 140734396016768 139717936970360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27404] ppid=27383 vsize=9625040 CPUtime=0.66 cores=1,3,5,7 /proc/27386/task/27404/stat : 27404 (java) S 27383 27386 27127 0 -1 4202560 104 0 0 0 27 39 0 0 20 0 19 0 116550641 9856040960 125026 33554432000 1073741824 1073778376 140734396016768 139717935917768 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27405] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27405/stat : 27405 (java) S 27383 27386 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116550695 9856040960 125026 33554432000 1073741824 1073778376 140734396016768 139717934863784 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1789.12 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.2 s] /proc/loadavg: 1.00 1.02 1.23 2/189 27505 /proc/meminfo: memFree=30399964/32872528 swapFree=10608/190480 [pid=27386] ppid=27383 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7 /proc/27386/stat : 27386 (java) S 27383 27386 27127 0 -1 4202496 17736 0 1 0 179889 119 0 0 20 0 19 0 116550635 9856040960 125038 33554432000 1073741824 1073778376 140734396016768 140734396007904 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/27386/statm: 2406260 125038 2298 9 0 2396937 0 [pid=27386/tid=27388] ppid=27383 vsize=9625040 CPUtime=1790.02 cores=1,3,5,7 /proc/27386/task/27388/stat : 27388 (java) R 27383 27386 27127 0 -1 4202560 2548 0 1 0 178969 33 0 0 20 0 19 0 116550636 9856040960 125038 33554432000 1073741824 1073778376 140734396016768 139718119173360 139717988029774 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27389] ppid=27383 vsize=9625040 CPUtime=0.91 cores=1,3,5,7 /proc/27386/task/27389/stat : 27389 (java) S 27383 27386 27127 0 -1 4202560 477 0 0 0 80 11 0 0 20 0 19 0 116550638 9856040960 125038 33554432000 1073741824 1073778376 140734396016768 139718108236584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27390] ppid=27383 vsize=9625040 CPUtime=0.92 cores=1,3,5,7 /proc/27386/task/27390/stat : 27390 (java) S 27383 27386 27127 0 -1 4202560 239 0 0 0 84 8 0 0 20 0 19 0 116550638 9856040960 125038 33554432000 1073741824 1073778376 140734396016768 139718107183784 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27391] ppid=27383 vsize=9625040 CPUtime=0.81 cores=1,3,5,7 /proc/27386/task/27391/stat : 27391 (java) S 27383 27386 27127 0 -1 4202560 315 0 0 0 74 7 0 0 20 0 19 0 116550638 9856040960 125038 33554432000 1073741824 1073778376 140734396016768 139718106131496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27392] ppid=27383 vsize=9625040 CPUtime=0.91 cores=1,3,5,7 /proc/27386/task/27392/stat : 27392 (java) S 27383 27386 27127 0 -1 4202560 507 0 0 0 80 11 0 0 20 0 19 0 116550638 9856040960 125038 33554432000 1073741824 1073778376 140734396016768 139717959695272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27393] ppid=27383 vsize=9625040 CPUtime=0.87 cores=1,3,5,7 /proc/27386/task/27393/stat : 27393 (java) S 27383 27386 27127 0 -1 4202560 447 0 0 0 76 11 0 0 20 0 19 0 116550638 9856040960 125038 33554432000 1073741824 1073778376 140734396016768 139717958641960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27394] ppid=27383 vsize=9625040 CPUtime=0.79 cores=1,3,5,7 /proc/27386/task/27394/stat : 27394 (java) S 27383 27386 27127 0 -1 4202560 537 0 0 0 69 10 0 0 20 0 19 0 116550638 9856040960 125038 33554432000 1073741824 1073778376 140734396016768 139717957589160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27386/tid=27395] ppid=27383 vsize=9625040 CPUtime=0.74 cores=1,3,5,7 /proc/27386/task/27395/stat : 27395 (java) S 27383 27386 27127 0 -1 4202560 498 0 0 0 66 8 0 0 20 0 19 0 116550638 9856040960 125038 33554432000 1073741824 1073778376 140734396016768 139717956536872 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27396] ppid=27383 vsize=9625040 CPUtime=0.87 cores=1,3,5,7 /proc/27386/task/27396/stat : 27396 (java) S 27383 27386 27127 0 -1 4202560 613 0 0 0 76 11 0 0 20 0 19 0 116550638 9856040960 125038 33554432000 1073741824 1073778376 140734396016768 139717955484072 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27386/tid=27397] ppid=27383 vsize=9625040 CPUtime=1.23 cores=1,3,5,7 /proc/27386/task/27397/stat : 27397 (java) S 27383 27386 27127 0 -1 4202560 451 0 0 0 120 3 0 0 20 0 19 0 116550639 9856040960 125038 33554432000 1073741824 1073778376 140734396016768 139717943286504 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27398] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27398/stat : 27398 (java) S 27383 27386 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 116550639 9856040960 125038 33554432000 1073741824 1073778376 140734396016768 139717942232568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27399] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27399/stat : 27399 (java) S 27383 27386 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 116550639 9856040960 125038 33554432000 1073741824 1073778376 140734396016768 139717941180168 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27400] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27400/stat : 27400 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550641 9856040960 125038 33554432000 1073741824 1073778376 140734396016768 139717940128656 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27401] ppid=27383 vsize=9625040 CPUtime=0.77 cores=1,3,5,7 /proc/27386/task/27401/stat : 27401 (java) S 27383 27386 27127 0 -1 4202560 3984 0 0 0 77 0 0 0 20 0 19 0 116550641 9856040960 125038 33554432000 1073741824 1073778376 140734396016768 139717939075256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27386/tid=27402] ppid=27383 vsize=9625040 CPUtime=0.9 cores=1,3,5,7 /proc/27386/task/27402/stat : 27402 (java) S 27383 27386 27127 0 -1 4202560 5753 0 0 0 88 2 0 0 20 0 19 0 116550641 9856040960 125038 33554432000 1073741824 1073778376 140734396016768 139717938022456 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27403] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27403/stat : 27403 (java) S 27383 27386 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116550641 9856040960 125038 33554432000 1073741824 1073778376 140734396016768 139717936970360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27386/tid=27404] ppid=27383 vsize=9625040 CPUtime=0.66 cores=1,3,5,7 /proc/27386/task/27404/stat : 27404 (java) S 27383 27386 27127 0 -1 4202560 104 0 0 0 27 39 0 0 20 0 19 0 116550641 9856040960 125038 33554432000 1073741824 1073778376 140734396016768 139717935917768 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27386/tid=27405] ppid=27383 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/27386/task/27405/stat : 27405 (java) S 27383 27386 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116550695 9856040960 125038 33554432000 1073741824 1073778376 140734396016768 139717934863784 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 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 27386 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 1793.26 CPU time (s): 1800.81 CPU user time (s): 1799.13 CPU system time (s): 1.68474 CPU usage (%): 100.421 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.13 system time used= 1.68474 maximum resident set size= 692096 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17774 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1704 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40055 involuntary context switches= 12770 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.4414 second user time and 13.7829 second system time The end
Begin job on node102 at 2016-06-08 02:35:53 IDJOB=4085013 IDBENCH=92758 IDSOLVER=2546 FILE ID=node102/4085013-1465346153 RUNJOBID= node102-1465312757-23538 PBS_JOBID= 19850416 Free space on /tmp= 71736 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_7.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085013-1465346153/watcher-4085013-1465346153 -o /tmp/evaluation-result-4085013-1465346153/solver-4085013-1465346153 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465312757-23538 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085013-1465346153.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b79cf832cc8fb39cc9e05c792def1a32 RANDOM SEED=1017844100 node102.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.470 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.94 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.470 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.470 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.55 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.470 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.56 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.470 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.56 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.470 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.55 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.470 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.55 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.470 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: 29119984 kB Buffers: 209416 kB Cached: 804392 kB SwapCached: 2708 kB Active: 2036856 kB Inactive: 753704 kB Active(anon): 1776920 kB Inactive(anon): 2284 kB Active(file): 259936 kB Inactive(file): 751420 kB Unevictable: 190480 kB Mlocked: 10608 kB SwapTotal: 67108856 kB SwapFree: 67098748 kB Dirty: 1596 kB Writeback: 0 kB AnonPages: 1967940 kB Mapped: 16496 kB Shmem: 0 kB Slab: 634196 kB SReclaimable: 77740 kB SUnreclaim: 556456 kB KernelStack: 1576 kB PageTables: 8092 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2297232 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1933312 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= 71740 MiB End job on node102 at 2016-06-08 03:05:47