Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2011-06-08 | MSAT (TO) | 1800.16 | 1796.38 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo |
| MD5SUM | 74ceb63f540b1c0e7b9983b4b6436598 |
| Bench Category | SOFT-SMALLINT-LIN (only soft 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 | 1.39779 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 10500 |
| Total number of constraints | 205 |
| Number of soft constraints | 205 |
| Number of constraints which are clauses | 105 |
| 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 | 105 |
| Top cost | 10882 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 10881 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 106 |
| 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.04/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.09 c See www.sat4j.org for details. 0.04/0.09 c version 2.3.1.v20110525 0.04/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.09 c java.vm.version 19.1-b02 0.04/0.09 c java.vm.vendor Sun Microsystems Inc. 0.04/0.09 c sun.arch.data.model 64 0.04/0.09 c java.version 1.6.0_24 0.04/0.09 c os.name Linux 0.04/0.09 c os.version 2.6.18-164.el5 0.04/0.09 c os.arch amd64 0.04/0.09 c Free memory 9996466904 0.04/0.09 c Max memory 10048897024 0.04/0.09 c Total memory 10048897024 0.04/0.09 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-3492599-1307910937.wbo 0.11/0.11 c reading problem ... 0.55/0.34 c ... done. Wall clock time 0.226s. 0.55/0.34 c #vars 10705 0.55/0.34 c #constraints 205 0.55/0.34 c constraints type 0.55/0.34 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 105 0.55/0.34 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 100 1.34/0.60 c SATISFIABLE 1.34/0.60 c OPTIMIZING... 1.34/0.60 c Got one! Elapsed wall clock time (in seconds):0.494 1.34/0.60 o 163 1.34/0.69 c Got one! Elapsed wall clock time (in seconds):0.576 1.34/0.69 o 145 1.59/0.81 c Got one! Elapsed wall clock time (in seconds):0.703 1.59/0.81 o 90 2.31/1.53 c Got one! Elapsed wall clock time (in seconds):1.425 2.31/1.53 o 85 2.70/1.93 c Got one! Elapsed wall clock time (in seconds):1.824 2.70/1.93 o 52 3.43/2.66 c Got one! Elapsed wall clock time (in seconds):2.546 3.43/2.66 o 20 6.92/6.17 c cleaning 4236 clauses out of 8497 with flag 3002/8497 7.28/6.42 c Got one! Elapsed wall clock time (in seconds):6.311 7.28/6.42 o 13 7.88/7.06 c Got one! Elapsed wall clock time (in seconds):6.946 7.88/7.06 o 12 13.03/12.11 c Got one! Elapsed wall clock time (in seconds):12.002 13.03/12.11 o 10 13.62/12.74 c Got one! Elapsed wall clock time (in seconds):12.635 13.62/12.74 o 4 14.83/13.96 c cleaning 5633 clauses out of 11274 with flag 1006/15510 19.14/18.25 c Got one! Elapsed wall clock time (in seconds):18.146 19.14/18.25 o 1 23.54/22.61 c cleaning 5387 clauses out of 10773 with flag 2003/20642 30.67/29.64 c cleaning 5660 clauses out of 11384 with flag 8001/26640 41.43/40.33 c cleaning 6338 clauses out of 12724 with flag 15001/33640 52.25/51.15 c cleaning 7171 clauses out of 14386 with flag 23001/41640 66.76/65.65 c cleaning 8086 clauses out of 16215 with flag 32001/50640 78.86/77.77 c cleaning 9022 clauses out of 18130 with flag 42002/60641 94.28/93.19 c cleaning 9514 clauses out of 19107 with flag 52001/70640 108.20/107.08 c cleaning 9761 clauses out of 19595 with flag 62003/80642 123.92/122.77 c cleaning 9886 clauses out of 19836 with flag 72005/90644 140.84/139.61 c cleaning 9946 clauses out of 19945 with flag 82000/100639 168.65/167.45 c cleaning 9944 clauses out of 20000 with flag 92001/110640 182.89/181.65 c cleaning 10027 clauses out of 20059 with flag 102004/120643 198.73/197.47 c cleaning 9985 clauses out of 20029 with flag 112001/130640 216.54/215.28 c cleaning 9981 clauses out of 20044 with flag 122001/140640 236.15/234.86 c cleaning 9978 clauses out of 20063 with flag 132001/150640 261.26/259.95 c cleaning 10004 clauses out of 20086 with flag 142002/160641 284.69/283.37 c cleaning 9986 clauses out of 20081 with flag 152001/170640 296.82/295.42 c cleaning 10011 clauses out of 20095 with flag 162001/180640 313.44/312.05 c cleaning 10017 clauses out of 20084 with flag 172001/190640 337.06/335.68 c cleaning 9988 clauses out of 20066 with flag 182000/200639 365.29/363.88 c cleaning 10004 clauses out of 20079 with flag 192001/210640 392.33/390.83 c cleaning 9994 clauses out of 20075 with flag 202001/220640 422.55/421.04 c cleaning 9999 clauses out of 20080 with flag 212000/230639 433.19/431.66 c cleaning 9986 clauses out of 20087 with flag 222006/240645 445.21/443.67 c cleaning 10005 clauses out of 20095 with flag 232000/250639 457.53/455.93 c cleaning 10043 clauses out of 20091 with flag 242001/260640 471.36/469.71 c cleaning 10004 clauses out of 20048 with flag 252001/270640 485.98/484.37 c cleaning 9985 clauses out of 20045 with flag 262002/280641 504.70/503.01 c cleaning 9987 clauses out of 20059 with flag 272001/290640 530.62/528.93 c cleaning 9998 clauses out of 20071 with flag 282000/300639 557.77/556.08 c cleaning 9993 clauses out of 20076 with flag 292003/310642 578.11/576.31 c cleaning 10014 clauses out of 20082 with flag 302002/320641 588.23/586.47 c cleaning 10000 clauses out of 20067 with flag 312001/330640 600.54/598.71 c cleaning 10009 clauses out of 20069 with flag 322003/340642 613.07/611.23 c cleaning 10008 clauses out of 20059 with flag 332002/350641 632.69/630.80 c cleaning 10002 clauses out of 20049 with flag 342000/360639 650.83/648.92 c cleaning 10007 clauses out of 20051 with flag 352004/370643 668.35/666.48 c cleaning 10000 clauses out of 20041 with flag 362001/380640 686.97/685.01 c cleaning 9996 clauses out of 20043 with flag 372003/390642 700.11/698.19 c cleaning 9983 clauses out of 20044 with flag 382000/400639 716.03/714.07 c cleaning 9998 clauses out of 20065 with flag 392004/410643 732.35/730.35 c cleaning 9980 clauses out of 20064 with flag 402001/420640 757.08/755.03 c cleaning 9989 clauses out of 20089 with flag 412006/430645 778.62/776.51 c cleaning 9967 clauses out of 20095 with flag 422001/440640 803.34/801.27 c cleaning 10033 clauses out of 20130 with flag 432003/450642 816.68/814.53 c cleaning 10000 clauses out of 20095 with flag 442001/460640 839.30/837.12 c cleaning 10005 clauses out of 20098 with flag 452004/470643 857.82/855.65 c cleaning 10002 clauses out of 20091 with flag 462002/480641 868.85/866.60 c cleaning 9998 clauses out of 20087 with flag 472000/490639 879.69/877.49 c cleaning 10006 clauses out of 20093 with flag 482004/500643 889.81/887.60 c cleaning 9996 clauses out of 20083 with flag 492000/510639 901.12/898.86 c cleaning 10001 clauses out of 20088 with flag 502001/520640 919.75/917.46 c cleaning 9976 clauses out of 20087 with flag 512001/530640 941.58/939.28 c cleaning 9985 clauses out of 20110 with flag 522000/540639 959.72/957.33 c cleaning 9990 clauses out of 20125 with flag 532000/550639 985.55/983.15 c cleaning 9998 clauses out of 20137 with flag 542002/560641 1002.71/1000.22 c cleaning 9997 clauses out of 20138 with flag 552001/570640 1017.54/1015.00 c cleaning 10005 clauses out of 20141 with flag 562001/580640 1031.86/1029.37 c cleaning 10049 clauses out of 20139 with flag 572004/590643 1046.40/1043.90 c cleaning 10012 clauses out of 20087 with flag 582001/600640 1062.51/1059.95 c cleaning 10011 clauses out of 20074 with flag 592000/610639 1089.83/1087.26 c cleaning 9980 clauses out of 20063 with flag 602000/620639 1115.45/1112.88 c cleaning 9966 clauses out of 20083 with flag 612000/630639 1125.11/1122.42 c cleaning 9956 clauses out of 20117 with flag 622000/640639 1145.25/1142.53 c cleaning 10042 clauses out of 20162 with flag 632001/650640 1169.38/1166.67 c cleaning 10015 clauses out of 20119 with flag 642000/660639 1197.32/1194.57 c cleaning 10007 clauses out of 20105 with flag 652001/670640 1214.54/1211.70 c cleaning 10029 clauses out of 20097 with flag 662000/680639 1225.17/1222.31 c cleaning 10010 clauses out of 20069 with flag 672001/690640 1237.38/1234.59 c cleaning 10005 clauses out of 20058 with flag 682000/700639 1247.81/1244.97 c cleaning 10003 clauses out of 20053 with flag 692000/710639 1261.73/1258.87 c cleaning 9998 clauses out of 20053 with flag 702003/720642 1289.27/1286.32 c cleaning 9979 clauses out of 20056 with flag 712004/730643 1312.42/1309.44 c cleaning 10007 clauses out of 20076 with flag 722003/740642 1336.28/1333.26 c cleaning 9973 clauses out of 20067 with flag 732001/750640 1358.42/1355.39 c cleaning 9999 clauses out of 20097 with flag 742004/760643 1385.86/1382.76 c cleaning 10014 clauses out of 20095 with flag 752001/770640 1413.79/1410.67 c cleaning 10011 clauses out of 20081 with flag 762001/780640 1444.75/1441.51 c cleaning 9968 clauses out of 20069 with flag 772000/790639 1483.79/1480.54 c cleaning 9984 clauses out of 20106 with flag 782005/800644 1518.14/1514.81 c cleaning 9984 clauses out of 20119 with flag 792002/810641 1546.28/1542.94 c cleaning 10012 clauses out of 20139 with flag 802006/820645 1573.52/1570.18 c cleaning 10006 clauses out of 20124 with flag 812003/830642 1601.15/1597.71 c cleaning 9989 clauses out of 20116 with flag 822001/840640 1633.10/1629.65 c cleaning 9988 clauses out of 20128 with flag 832002/850641 1663.33/1659.89 c cleaning 9981 clauses out of 20138 with flag 842000/860639 1697.95/1694.46 c cleaning 10022 clauses out of 20158 with flag 852001/870640 1723.20/1719.62 c cleaning 9987 clauses out of 20137 with flag 862002/880641 1738.24/1734.65 c cleaning 10032 clauses out of 20149 with flag 872001/890640 1754.95/1751.37 c cleaning 10020 clauses out of 20117 with flag 882001/900640 1772.18/1768.51 c cleaning 10007 clauses out of 20096 with flag 892000/910639 1793.50/1789.88 c cleaning 10003 clauses out of 20089 with flag 902000/920639 1800.04/1796.31 c starts : 196 1800.04/1796.31 c conflicts : 923651 1800.04/1796.31 c decisions : 2519808 1800.04/1796.31 c propagations : 58483742 1800.04/1796.31 c inspects : 1104825810 1800.04/1796.31 c shortcuts : 0 1800.04/1796.31 c learnt literals : 0 1800.04/1796.31 c learnt binary clauses : 0 1800.04/1796.31 c learnt ternary clauses : 0 1800.04/1796.31 c learnt constraints : 923650 1800.04/1796.31 c ignored constraints : 0 1800.04/1796.31 c root simplifications : 0 1800.04/1796.31 c removed literals (reason simplification) : 4325238 1800.04/1796.31 c reason swapping (by a shorter reason) : 0 1800.04/1796.31 c Calls to reduceDB : 94 1800.04/1796.31 c number of reductions to clauses (during analyze) : 0 1800.04/1796.32 c number of learned constraints concerned by reduction : 0 1800.04/1796.32 c number of learning phase by resolution : 0 1800.04/1796.32 c number of learning phase by cutting planes : 0 1800.04/1796.32 c speed (assignments/second) : 32891.88328852795 1800.04/1796.32 c non guided choices 535674 1800.04/1796.32 c learnt constraints type 1800.04/1796.32 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13101 1800.04/1796.32 c constraints type 1800.04/1796.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 105 1800.04/1796.32 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 101 1800.04/1796.32 s SATISFIABLE 1800.04/1796.34 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 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 1800.04/1796.35 c objective function=1 1800.04/1796.35 c Total wall clock time (in seconds): 1796.238
OK 1
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492599-1307910937/watcher-3492599-1307910937 -o /var/tmp/evaluation-result-3492599-1307910937/solver-3492599-1307910937 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492599-1307910937.wbo running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 1.99 1.90 2/192 25133 /proc/meminfo: memFree=1348880/32951124 swapFree=67064380/67111528 [pid=25133] ppid=25131 vsize=23028 CPUtime=0 cores=0,2,4,6 /proc/25133/stat : 25133 (java) R 25131 25133 22218 0 -1 4202496 519 0 0 0 0 0 0 0 25 0 1 0 902694093 23580672 260 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244441982720 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25133/statm: 5757 271 209 9 0 124 0 [startup+0.0540551 s] /proc/loadavg: 2.00 1.99 1.90 2/192 25133 /proc/meminfo: memFree=1348880/32951124 swapFree=67064380/67111528 [pid=25133] ppid=25131 vsize=10467616 CPUtime=0.04 cores=0,2,4,6 /proc/25133/stat : 25133 (java) S 25131 25133 22218 0 -1 4202496 11434 0 1 0 3 1 0 0 25 0 13 0 902694093 10718838784 11128 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458747877 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0 /proc/25133/statm: 2616904 11128 1684 9 0 2607652 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10467616 [startup+0.105079 s] /proc/loadavg: 2.00 1.99 1.90 2/192 25133 /proc/meminfo: memFree=1348880/32951124 swapFree=67064380/67111528 [pid=25133] ppid=25131 vsize=10540320 CPUtime=0.11 cores=0,2,4,6 /proc/25133/stat : 25133 (java) S 25131 25133 22218 0 -1 4202496 13099 0 1 0 9 2 0 0 25 0 18 0 902694093 10793287680 12782 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/25133/statm: 2635080 12784 2093 9 0 2625814 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 10540320 [startup+0.301016 s] /proc/loadavg: 2.00 1.99 1.90 2/192 25133 /proc/meminfo: memFree=1348880/32951124 swapFree=67064380/67111528 [pid=25133] ppid=25131 vsize=10545604 CPUtime=0.55 cores=0,2,4,6 /proc/25133/stat : 25133 (java) S 25131 25133 22218 0 -1 4202496 18762 0 1 0 53 2 0 0 25 0 18 0 902694093 10798698496 17504 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/25133/statm: 2636401 17505 2208 9 0 2627135 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 10545604 [startup+0.700947 s] /proc/loadavg: 2.00 1.99 1.90 2/192 25133 /proc/meminfo: memFree=1348880/32951124 swapFree=67064380/67111528 [pid=25133] ppid=25131 vsize=10546768 CPUtime=1.49 cores=0,2,4,6 /proc/25133/stat : 25133 (java) S 25131 25133 22218 0 -1 4202496 23391 0 1 0 146 3 0 0 25 0 19 0 902694093 10799890432 20371 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/25133/statm: 2636692 20371 2234 9 0 2627426 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10546768 [startup+1.50081 s] /proc/loadavg: 2.16 2.02 1.91 3/211 25152 /proc/meminfo: memFree=1270076/32951124 swapFree=67064380/67111528 [pid=25133] ppid=25131 vsize=10546768 CPUtime=2.31 cores=0,2,4,6 /proc/25133/stat : 25133 (java) S 25131 25133 22218 0 -1 4202496 25273 0 1 0 228 3 0 0 25 0 19 0 902694093 10799890432 22251 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/25133/statm: 2636692 22251 2234 9 0 2627426 0 [pid=25133/tid=25135] ppid=25131 vsize=10546768 CPUtime=1.47 cores=0,2,4,6 /proc/25133/task/25135/stat : 25135 (java) R 25131 25133 22218 0 -1 4202560 18729 0 1 0 145 2 0 0 18 0 19 0 902694093 10799890432 22251 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 46912505900431 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=25133/tid=25136] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25136/stat : 25136 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694095 10799890432 22251 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25137] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25137/stat : 25137 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694095 10799890432 22251 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25138] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25138/stat : 25138 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694095 10799890432 22251 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25139] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25139/stat : 25139 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694095 10799890432 22251 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25140] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25140/stat : 25140 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694095 10799890432 22251 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25141] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25141/stat : 25141 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694095 10799890432 22251 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25142] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25142/stat : 25142 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694095 10799890432 22251 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25143] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25143/stat : 25143 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694095 10799890432 22251 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25144] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25144/stat : 25144 (java) S 25131 25133 22218 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 902694096 10799890432 22251 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761728 0 0 0 16800975 18446604453857729216 0 0 -1 6 0 0 0 [pid=25133/tid=25145] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25145/stat : 25145 (java) S 25131 25133 22218 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902694097 10799890432 22251 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25146] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25146/stat : 25146 (java) S 25131 25133 22218 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 902694097 10799890432 22251 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25147] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25147/stat : 25147 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902694099 10799890432 22251 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458768817 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25148] ppid=25131 vsize=10546768 CPUtime=0.38 cores=0,2,4,6 /proc/25133/task/25148/stat : 25148 (java) S 25131 25133 22218 0 -1 4202560 3086 0 0 0 38 0 0 0 19 0 19 0 902694099 10799890432 22251 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25149] ppid=25131 vsize=10546768 CPUtime=0.43 cores=0,2,4,6 /proc/25133/task/25149/stat : 25149 (java) S 25131 25133 22218 0 -1 4202560 2293 0 0 0 43 0 0 0 15 0 19 0 902694099 10799890432 22251 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25150] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25150/stat : 25150 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902694099 10799890432 22251 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25151] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25151/stat : 25151 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902694099 10799890432 22252 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761728 0 4 0 16800975 18446604453857729216 0 0 -1 6 0 0 0 [pid=25133/tid=25152] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25152/stat : 25152 (java) S 25131 25133 22218 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902694129 10799890432 22252 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761728 0 4 0 16800975 18446604453857729216 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2.31 Current children cumulated vsize (KiB) 10546768 [startup+3.10149 s] /proc/loadavg: 2.16 2.02 1.91 3/211 25152 /proc/meminfo: memFree=1261768/32951124 swapFree=67064380/67111528 [pid=25133] ppid=25131 vsize=10546768 CPUtime=3.93 cores=0,2,4,6 /proc/25133/stat : 25133 (java) S 25131 25133 22218 0 -1 4202496 28995 0 1 0 389 4 0 0 25 0 19 0 902694093 10799890432 25941 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/25133/statm: 2636692 25941 2234 9 0 2627426 0 [pid=25133/tid=25135] ppid=25131 vsize=10546768 CPUtime=3.08 cores=0,2,4,6 /proc/25133/task/25135/stat : 25135 (java) R 25131 25133 22218 0 -1 4202560 22416 0 1 0 305 3 0 0 20 0 19 0 902694093 10799890432 25941 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 46912505781952 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=25133/tid=25136] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25136/stat : 25136 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694095 10799890432 25941 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25137] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25137/stat : 25137 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694095 10799890432 25941 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25138] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25138/stat : 25138 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694095 10799890432 25941 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25139] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25139/stat : 25139 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694095 10799890432 25941 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25140] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25140/stat : 25140 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694095 10799890432 25941 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25141] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25141/stat : 25141 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694095 10799890432 25941 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25142] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25142/stat : 25142 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694095 10799890432 25941 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25143] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25143/stat : 25143 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902694095 10799890432 25942 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25144] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25144/stat : 25144 (java) S 25131 25133 22218 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 902694096 10799890432 25942 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761728 0 0 0 16800975 18446604453857729216 0 0 -1 6 0 0 0 [pid=25133/tid=25145] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25145/stat : 25145 (java) S 25131 25133 22218 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902694097 10799890432 25942 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25146] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25146/stat : 25146 (java) S 25131 25133 22218 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 902694097 10799890432 25942 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25147] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25147/stat : 25147 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902694099 10799890432 25942 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458768817 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25148] ppid=25131 vsize=10546768 CPUtime=0.39 cores=0,2,4,6 /proc/25133/task/25148/stat : 25148 (java) S 25131 25133 22218 0 -1 4202560 3120 0 0 0 39 0 0 0 18 0 19 0 902694099 10799890432 25942 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25149] ppid=25131 vsize=10546768 CPUtime=0.44 cores=0,2,4,6 /proc/25133/task/25149/stat : 25149 (java) S 25131 25133 22218 0 -1 4202560 2294 0 0 0 44 0 0 0 15 0 19 0 902694099 10799890432 25942 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25150] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25150/stat : 25150 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902694099 10799890432 25942 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25151] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25151/stat : 25151 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902694099 10799890432 25942 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761728 0 4 0 16800975 18446604453857729216 0 0 -1 6 0 0 0 [pid=25133/tid=25152] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25152/stat : 25152 (java) S 25131 25133 22218 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902694129 10799890432 25942 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761728 0 4 0 16800975 18446604453857729216 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3.93 Current children cumulated vsize (KiB) 10546768 [startup+6.30092 s] /proc/loadavg: 2.15 2.02 1.91 3/211 25152 /proc/meminfo: memFree=1243272/32951124 swapFree=67064380/67111528 [pid=25133] ppid=25131 vsize=10546768 CPUtime=7.18 cores=0,2,4,6 /proc/25133/stat : 25133 (java) S 25131 25133 22218 0 -1 4202496 40595 0 1 0 712 6 0 0 25 0 19 0 902694093 10799890432 37429 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/25133/statm: 2636692 37429 2261 9 0 2627426 0 [pid=25133/tid=25135] ppid=25131 vsize=10546768 CPUtime=6.24 cores=0,2,4,6 /proc/25133/task/25135/stat : 25135 (java) R 25131 25133 22218 0 -1 4202560 25113 0 1 0 620 4 0 0 25 0 19 0 902694093 10799890432 37429 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 46912505826368 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=25133/tid=25136] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25136/stat : 25136 (java) S 25131 25133 22218 0 -1 4202560 1070 0 0 0 0 0 0 0 18 0 19 0 902694095 10799890432 37429 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25137] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25137/stat : 25137 (java) S 25131 25133 22218 0 -1 4202560 1086 0 0 0 0 0 0 0 18 0 19 0 902694095 10799890432 37429 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 2 0 0 0 [pid=25133/tid=25138] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25138/stat : 25138 (java) S 25131 25133 22218 0 -1 4202560 1307 0 0 0 0 0 0 0 18 0 19 0 902694095 10799890432 37429 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25139] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25139/stat : 25139 (java) S 25131 25133 22218 0 -1 4202560 920 0 0 0 0 0 0 0 18 0 19 0 902694095 10799890432 37429 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 2 0 0 0 [pid=25133/tid=25140] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25140/stat : 25140 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902694095 10799890432 37429 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 2 0 0 0 [pid=25133/tid=25141] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25141/stat : 25141 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902694095 10799890432 37429 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 2 0 0 0 [pid=25133/tid=25142] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25142/stat : 25142 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902694095 10799890432 37429 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25143] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25143/stat : 25143 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902694095 10799890432 37429 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 2 0 0 0 [pid=25133/tid=25144] ppid=25131 vsize=10546768 CPUtime=0.01 cores=0,2,4,6 /proc/25133/task/25144/stat : 25144 (java) S 25131 25133 22218 0 -1 4202560 4347 0 0 0 1 0 0 0 15 0 19 0 902694096 10799890432 37429 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761728 0 0 0 16800975 18446604453857729216 0 0 -1 2 0 0 0 [pid=25133/tid=25145] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25145/stat : 25145 (java) S 25131 25133 22218 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 902694097 10799890432 37429 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25146] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25146/stat : 25146 (java) S 25131 25133 22218 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902694097 10799890432 37429 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25147] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25147/stat : 25147 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902694099 10799890432 37429 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458768817 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25148] ppid=25131 vsize=10546768 CPUtime=0.41 cores=0,2,4,6 /proc/25133/task/25148/stat : 25148 (java) S 25131 25133 22218 0 -1 4202560 3299 0 0 0 41 0 0 0 17 0 19 0 902694099 10799890432 37429 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25149] ppid=25131 vsize=10546768 CPUtime=0.45 cores=0,2,4,6 /proc/25133/task/25149/stat : 25149 (java) S 25131 25133 22218 0 -1 4202560 2295 0 0 0 45 0 0 0 15 0 19 0 902694099 10799890432 37429 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25150] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25150/stat : 25150 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902694099 10799890432 37429 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25151] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25151/stat : 25151 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902694099 10799890432 37429 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761728 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25152] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25152/stat : 25152 (java) S 25131 25133 22218 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902694129 10799890432 37429 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761728 0 4 0 16800975 18446604453857729216 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 7.18 Current children cumulated vsize (KiB) 10546768 [startup+12.7007 s] ################ # More data... # ################ [pid=25133/tid=25141] ppid=25131 vsize=10546768 CPUtime=0.36 cores=0,2,4,6 /proc/25133/task/25141/stat : 25141 (java) S 25131 25133 22218 0 -1 4202560 3391 0 0 0 36 0 0 0 16 0 19 0 902694095 10799890432 117516 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25142] ppid=25131 vsize=10546768 CPUtime=0.46 cores=0,2,4,6 /proc/25133/task/25142/stat : 25142 (java) S 25131 25133 22218 0 -1 4202560 10193 0 0 0 44 2 0 0 16 0 19 0 902694095 10799890432 117516 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25143] ppid=25131 vsize=10546768 CPUtime=0.41 cores=0,2,4,6 /proc/25133/task/25143/stat : 25143 (java) S 25131 25133 22218 0 -1 4202560 6971 0 0 0 40 1 0 0 16 0 19 0 902694095 10799890432 117516 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25144] ppid=25131 vsize=10546768 CPUtime=3.63 cores=0,2,4,6 /proc/25133/task/25144/stat : 25144 (java) S 25131 25133 22218 0 -1 4202560 18789 0 0 0 359 4 0 0 15 0 19 0 902694096 10799890432 117516 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761728 0 0 0 16800975 18446604453857729216 0 0 -1 2 0 0 0 [pid=25133/tid=25145] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25145/stat : 25145 (java) S 25131 25133 22218 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 902694097 10799890432 117516 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25146] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25146/stat : 25146 (java) S 25131 25133 22218 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902694097 10799890432 117516 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25147] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25147/stat : 25147 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902694099 10799890432 117516 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458768817 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25148] ppid=25131 vsize=10546768 CPUtime=0.62 cores=0,2,4,6 /proc/25133/task/25148/stat : 25148 (java) S 25131 25133 22218 0 -1 4202560 7632 0 0 0 61 1 0 0 15 0 19 0 902694099 10799890432 117516 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25149] ppid=25131 vsize=10546768 CPUtime=0.49 cores=0,2,4,6 /proc/25133/task/25149/stat : 25149 (java) S 25131 25133 22218 0 -1 4202560 2303 0 0 0 49 0 0 0 15 0 19 0 902694099 10799890432 117516 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25150] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25150/stat : 25150 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902694099 10799890432 117516 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25151] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25151/stat : 25151 (java) S 25131 25133 22218 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 902694099 10799890432 117516 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761728 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25152] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25152/stat : 25152 (java) S 25131 25133 22218 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902694129 10799890432 117516 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761728 0 4 0 16800975 18446604453857729216 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1725.93 Current children cumulated vsize (KiB) 10546768 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 1.93 3/211 25271 /proc/meminfo: memFree=998308/32951124 swapFree=67064380/67111528 [pid=25133] ppid=25131 vsize=10546768 CPUtime=1785.99 cores=0,2,4,6 /proc/25133/stat : 25133 (java) S 25131 25133 22218 0 -1 4202496 125328 0 1 0 178575 24 0 0 25 0 19 0 902694093 10799890432 117697 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/25133/statm: 2636692 117697 2262 9 0 2627426 0 [pid=25133/tid=25135] ppid=25131 vsize=10546768 CPUtime=1777.54 cores=0,2,4,6 /proc/25133/task/25135/stat : 25135 (java) R 25131 25133 22218 0 -1 4202560 38867 0 1 0 177747 7 0 0 25 0 19 0 902694093 10799890432 117697 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 46912505782541 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=25133/tid=25136] ppid=25131 vsize=10546768 CPUtime=0.47 cores=0,2,4,6 /proc/25133/task/25136/stat : 25136 (java) S 25131 25133 22218 0 -1 4202560 8614 0 0 0 46 1 0 0 15 0 19 0 902694095 10799890432 117697 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 6 0 0 0 [pid=25133/tid=25137] ppid=25131 vsize=10546768 CPUtime=0.43 cores=0,2,4,6 /proc/25133/task/25137/stat : 25137 (java) S 25131 25133 22218 0 -1 4202560 6436 0 0 0 42 1 0 0 16 0 19 0 902694095 10799890432 117697 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25138] ppid=25131 vsize=10546768 CPUtime=0.39 cores=0,2,4,6 /proc/25133/task/25138/stat : 25138 (java) S 25131 25133 22218 0 -1 4202560 5421 0 0 0 38 1 0 0 15 0 19 0 902694095 10799890432 117697 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25139] ppid=25131 vsize=10546768 CPUtime=0.53 cores=0,2,4,6 /proc/25133/task/25139/stat : 25139 (java) S 25131 25133 22218 0 -1 4202560 8927 0 0 0 51 2 0 0 15 0 19 0 902694095 10799890432 117697 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 6 0 0 0 [pid=25133/tid=25140] ppid=25131 vsize=10546768 CPUtime=0.37 cores=0,2,4,6 /proc/25133/task/25140/stat : 25140 (java) S 25131 25133 22218 0 -1 4202560 6344 0 0 0 37 0 0 0 15 0 19 0 902694095 10799890432 117697 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25141] ppid=25131 vsize=10546768 CPUtime=0.37 cores=0,2,4,6 /proc/25133/task/25141/stat : 25141 (java) S 25131 25133 22218 0 -1 4202560 3391 0 0 0 37 0 0 0 16 0 19 0 902694095 10799890432 117697 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25142] ppid=25131 vsize=10546768 CPUtime=0.48 cores=0,2,4,6 /proc/25133/task/25142/stat : 25142 (java) S 25131 25133 22218 0 -1 4202560 10193 0 0 0 46 2 0 0 16 0 19 0 902694095 10799890432 117697 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 6 0 0 0 [pid=25133/tid=25143] ppid=25131 vsize=10546768 CPUtime=0.42 cores=0,2,4,6 /proc/25133/task/25143/stat : 25143 (java) S 25131 25133 22218 0 -1 4202560 6971 0 0 0 41 1 0 0 16 0 19 0 902694095 10799890432 117697 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25144] ppid=25131 vsize=10546768 CPUtime=3.78 cores=0,2,4,6 /proc/25133/task/25144/stat : 25144 (java) S 25131 25133 22218 0 -1 4202560 18974 0 0 0 374 4 0 0 15 0 19 0 902694096 10799890432 117697 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761728 0 0 0 16800975 18446604453857729216 0 0 -1 2 0 0 0 [pid=25133/tid=25145] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25145/stat : 25145 (java) S 25131 25133 22218 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 902694097 10799890432 117697 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25146] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25146/stat : 25146 (java) S 25131 25133 22218 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902694097 10799890432 117697 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25147] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25147/stat : 25147 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902694099 10799890432 117697 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458768817 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25148] ppid=25131 vsize=10546768 CPUtime=0.62 cores=0,2,4,6 /proc/25133/task/25148/stat : 25148 (java) S 25131 25133 22218 0 -1 4202560 7632 0 0 0 61 1 0 0 15 0 19 0 902694099 10799890432 117697 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25149] ppid=25131 vsize=10546768 CPUtime=0.49 cores=0,2,4,6 /proc/25133/task/25149/stat : 25149 (java) S 25131 25133 22218 0 -1 4202560 2303 0 0 0 49 0 0 0 15 0 19 0 902694099 10799890432 117697 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25150] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25150/stat : 25150 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902694099 10799890432 117697 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25151] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25151/stat : 25151 (java) S 25131 25133 22218 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 902694099 10799890432 117697 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761728 0 4 0 16800975 18446604453857729216 0 0 -1 2 0 0 0 [pid=25133/tid=25152] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25152/stat : 25152 (java) S 25131 25133 22218 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902694129 10799890432 117697 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761728 0 4 0 16800975 18446604453857729216 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1785.99 Current children cumulated vsize (KiB) 10546768 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.31 s] /proc/loadavg: 2.00 2.01 1.93 3/211 25271 /proc/meminfo: memFree=998304/32951124 swapFree=67064380/67111528 [pid=25133] ppid=25131 vsize=10546768 CPUtime=1800.04 cores=0,2,4,6 /proc/25133/stat : 25133 (java) S 25131 25133 22218 0 -1 4202496 125337 0 1 0 179980 24 0 0 25 0 19 0 902694093 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/25133/statm: 2636692 117701 2262 9 0 2627426 0 [pid=25133/tid=25135] ppid=25131 vsize=10546768 CPUtime=1791.49 cores=0,2,4,6 /proc/25133/task/25135/stat : 25135 (java) R 25131 25133 22218 0 -1 4202560 38868 0 1 0 179142 7 0 0 25 0 19 0 902694093 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 46912505900445 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=25133/tid=25136] ppid=25131 vsize=10546768 CPUtime=0.48 cores=0,2,4,6 /proc/25133/task/25136/stat : 25136 (java) S 25131 25133 22218 0 -1 4202560 8614 0 0 0 47 1 0 0 16 0 19 0 902694095 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 6 0 0 0 [pid=25133/tid=25137] ppid=25131 vsize=10546768 CPUtime=0.43 cores=0,2,4,6 /proc/25133/task/25137/stat : 25137 (java) S 25131 25133 22218 0 -1 4202560 6436 0 0 0 42 1 0 0 15 0 19 0 902694095 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25138] ppid=25131 vsize=10546768 CPUtime=0.4 cores=0,2,4,6 /proc/25133/task/25138/stat : 25138 (java) S 25131 25133 22218 0 -1 4202560 5421 0 0 0 39 1 0 0 16 0 19 0 902694095 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25139] ppid=25131 vsize=10546768 CPUtime=0.54 cores=0,2,4,6 /proc/25133/task/25139/stat : 25139 (java) S 25131 25133 22218 0 -1 4202560 8931 0 0 0 52 2 0 0 16 0 19 0 902694095 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 6 0 0 0 [pid=25133/tid=25140] ppid=25131 vsize=10546768 CPUtime=0.37 cores=0,2,4,6 /proc/25133/task/25140/stat : 25140 (java) S 25131 25133 22218 0 -1 4202560 6344 0 0 0 37 0 0 0 15 0 19 0 902694095 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25141] ppid=25131 vsize=10546768 CPUtime=0.37 cores=0,2,4,6 /proc/25133/task/25141/stat : 25141 (java) S 25131 25133 22218 0 -1 4202560 3391 0 0 0 37 0 0 0 15 0 19 0 902694095 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 2 0 0 0 [pid=25133/tid=25142] ppid=25131 vsize=10546768 CPUtime=0.49 cores=0,2,4,6 /proc/25133/task/25142/stat : 25142 (java) S 25131 25133 22218 0 -1 4202560 10193 0 0 0 47 2 0 0 16 0 19 0 902694095 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25143] ppid=25131 vsize=10546768 CPUtime=0.42 cores=0,2,4,6 /proc/25133/task/25143/stat : 25143 (java) S 25131 25133 22218 0 -1 4202560 6971 0 0 0 41 1 0 0 16 0 19 0 902694095 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25144] ppid=25131 vsize=10546768 CPUtime=3.83 cores=0,2,4,6 /proc/25133/task/25144/stat : 25144 (java) S 25131 25133 22218 0 -1 4202560 18976 0 0 0 379 4 0 0 15 0 19 0 902694096 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761728 0 0 0 16800975 18446604453857729216 0 0 -1 2 0 0 0 [pid=25133/tid=25145] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25145/stat : 25145 (java) S 25131 25133 22218 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 902694097 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25146] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25146/stat : 25146 (java) S 25131 25133 22218 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902694097 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25147] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25147/stat : 25147 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902694099 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458768817 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25148] ppid=25131 vsize=10546768 CPUtime=0.62 cores=0,2,4,6 /proc/25133/task/25148/stat : 25148 (java) S 25131 25133 22218 0 -1 4202560 7632 0 0 0 61 1 0 0 15 0 19 0 902694099 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25149] ppid=25131 vsize=10546768 CPUtime=0.49 cores=0,2,4,6 /proc/25133/task/25149/stat : 25149 (java) S 25131 25133 22218 0 -1 4202560 2303 0 0 0 49 0 0 0 15 0 19 0 902694099 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25150] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25150/stat : 25150 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902694099 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25151] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25151/stat : 25151 (java) S 25131 25133 22218 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 902694099 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761728 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25152] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25152/stat : 25152 (java) S 25131 25133 22218 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902694129 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761728 0 4 0 16800975 18446604453857729216 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 10546768 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1796.31 s] /proc/loadavg: 2.00 2.01 1.93 3/211 25271 /proc/meminfo: memFree=998304/32951124 swapFree=67064380/67111528 [pid=25133] ppid=25131 vsize=10546768 CPUtime=1800.04 cores=0,2,4,6 /proc/25133/stat : 25133 (java) S 25131 25133 22218 0 -1 4202496 125337 0 1 0 179980 24 0 0 25 0 19 0 902694093 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/25133/statm: 2636692 117701 2262 9 0 2627426 0 [pid=25133/tid=25135] ppid=25131 vsize=10546768 CPUtime=1791.49 cores=0,2,4,6 /proc/25133/task/25135/stat : 25135 (java) R 25131 25133 22218 0 -1 4202560 38868 0 1 0 179142 7 0 0 25 0 19 0 902694093 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 46912505900445 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=25133/tid=25136] ppid=25131 vsize=10546768 CPUtime=0.48 cores=0,2,4,6 /proc/25133/task/25136/stat : 25136 (java) S 25131 25133 22218 0 -1 4202560 8614 0 0 0 47 1 0 0 16 0 19 0 902694095 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 6 0 0 0 [pid=25133/tid=25137] ppid=25131 vsize=10546768 CPUtime=0.43 cores=0,2,4,6 /proc/25133/task/25137/stat : 25137 (java) S 25131 25133 22218 0 -1 4202560 6436 0 0 0 42 1 0 0 15 0 19 0 902694095 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25138] ppid=25131 vsize=10546768 CPUtime=0.4 cores=0,2,4,6 /proc/25133/task/25138/stat : 25138 (java) S 25131 25133 22218 0 -1 4202560 5421 0 0 0 39 1 0 0 16 0 19 0 902694095 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25139] ppid=25131 vsize=10546768 CPUtime=0.54 cores=0,2,4,6 /proc/25133/task/25139/stat : 25139 (java) S 25131 25133 22218 0 -1 4202560 8931 0 0 0 52 2 0 0 16 0 19 0 902694095 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 6 0 0 0 [pid=25133/tid=25140] ppid=25131 vsize=10546768 CPUtime=0.37 cores=0,2,4,6 /proc/25133/task/25140/stat : 25140 (java) S 25131 25133 22218 0 -1 4202560 6344 0 0 0 37 0 0 0 15 0 19 0 902694095 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25141] ppid=25131 vsize=10546768 CPUtime=0.37 cores=0,2,4,6 /proc/25133/task/25141/stat : 25141 (java) S 25131 25133 22218 0 -1 4202560 3391 0 0 0 37 0 0 0 15 0 19 0 902694095 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 2 0 0 0 [pid=25133/tid=25142] ppid=25131 vsize=10546768 CPUtime=0.49 cores=0,2,4,6 /proc/25133/task/25142/stat : 25142 (java) S 25131 25133 22218 0 -1 4202560 10193 0 0 0 47 2 0 0 16 0 19 0 902694095 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25143] ppid=25131 vsize=10546768 CPUtime=0.42 cores=0,2,4,6 /proc/25133/task/25143/stat : 25143 (java) S 25131 25133 22218 0 -1 4202560 6971 0 0 0 41 1 0 0 16 0 19 0 902694095 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25144] ppid=25131 vsize=10546768 CPUtime=3.83 cores=0,2,4,6 /proc/25133/task/25144/stat : 25144 (java) S 25131 25133 22218 0 -1 4202560 18976 0 0 0 379 4 0 0 15 0 19 0 902694096 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761728 0 0 0 16800975 18446604453857729216 0 0 -1 2 0 0 0 [pid=25133/tid=25145] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25145/stat : 25145 (java) S 25131 25133 22218 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 902694097 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25146] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25146/stat : 25146 (java) S 25131 25133 22218 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902694097 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25147] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25147/stat : 25147 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902694099 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458768817 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25148] ppid=25131 vsize=10546768 CPUtime=0.62 cores=0,2,4,6 /proc/25133/task/25148/stat : 25148 (java) S 25131 25133 22218 0 -1 4202560 7632 0 0 0 61 1 0 0 15 0 19 0 902694099 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 0 0 0 0 [pid=25133/tid=25149] ppid=25131 vsize=10546768 CPUtime=0.49 cores=0,2,4,6 /proc/25133/task/25149/stat : 25149 (java) S 25131 25133 22218 0 -1 4202560 2303 0 0 0 49 0 0 0 15 0 19 0 902694099 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25150] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25150/stat : 25150 (java) S 25131 25133 22218 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902694099 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761113 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25151] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25151/stat : 25151 (java) S 25131 25133 22218 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 902694099 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761728 0 4 0 16800975 18446604453857729216 0 0 -1 4 0 0 0 [pid=25133/tid=25152] ppid=25131 vsize=10546768 CPUtime=0 cores=0,2,4,6 /proc/25133/task/25152/stat : 25152 (java) S 25131 25133 22218 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902694129 10799890432 117701 33554432000 1073741824 1073778376 140733913539440 18446744073709551615 244458761728 0 4 0 16800975 18446604453857729216 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 10546768 Child status: 143 Real time (s): 1796.38 CPU time (s): 1800.16 CPU user time (s): 1799.9 CPU system time (s): 0.26296 CPU usage (%): 100.21 Max. virtual memory (cumulated for all children) (KiB): 10546768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.9 system time used= 0.26296 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 125521 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= 39349 involuntary context switches= 11255 runsolver used 3.3115 second user time and 6.50401 second system time The end
Begin job on node105 at 2011-06-12 22:35:37 IDJOB=3492599 IDBENCH=79183 IDSOLVER=1982 FILE ID=node105/3492599-1307910937 RUNJOBID= node105-1307908928-23887 PBS_JOBID= 13559597 Free space on /var/tmp= 2888 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492599-1307910937/watcher-3492599-1307910937 -o /var/tmp/evaluation-result-3492599-1307910937/solver-3492599-1307910937 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492599-1307910937.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 74ceb63f540b1c0e7b9983b4b6436598 RANDOM SEED=340352250 node105.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.825 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.65 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.825 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.15 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.825 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.82 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.825 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.825 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 : 5410.70 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.825 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.74 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.825 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.82 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.825 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 1348928 kB Buffers: 60788 kB Cached: 30378404 kB SwapCached: 19872 kB Active: 15498044 kB Inactive: 15154228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 1348928 kB SwapTotal: 67111528 kB SwapFree: 67064380 kB Dirty: 496 kB Writeback: 0 kB AnonPages: 210788 kB Mapped: 18768 kB Slab: 886344 kB PageTables: 4700 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 10528344 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 /var/tmp at the end= 2888 MiB End job on node105 at 2011-06-12 23:05:35