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