Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.1 | MSAT (TO) | 1800.22 | 1795.03 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo |
MD5SUM | 3f020b13e6cf17982f0e6d51d5561da8 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.45293 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 8550 |
Total number of constraints | 185 |
Number of soft constraints | 61 |
Number of constraints which are clauses | 95 |
Number of constraints which are cardinality constraints (but not clauses) | 90 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 90 |
Maximum length of a constraint | 95 |
Top cost | 3342 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 3341 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 96 |
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.05/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.07 c See www.sat4j.org for details. 0.05/0.08 c version 2.2.1.v20100705 0.05/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.08 c java.vm.name Java HotSpot(TM) Server VM 0.05/0.08 c java.vm.version 11.2-b01 0.05/0.08 c java.vm.vendor Sun Microsystems Inc. 0.05/0.08 c sun.arch.data.model 32 0.05/0.08 c java.version 1.6.0_12 0.05/0.08 c os.name Linux 0.05/0.08 c os.version 2.6.18-164.el5 0.05/0.08 c os.arch i386 0.05/0.08 c Free memory 1393557488 0.05/0.08 c Max memory 1395916800 0.05/0.08 c Total memory 1395916800 0.05/0.08 c Number of processors 8 0.05/0.10 c Pseudo Boolean Optimization 0.05/0.10 c --- Begin Solver configuration --- 0.05/0.10 c Stops conflict analysis at the first Unique Implication Point 0.05/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@15a3d6b 0.05/0.10 c Learn all clauses as in MiniSAT 0.05/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.05/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.05/0.10 c Expensive reason simplification 0.05/0.10 c Armin Biere (Picosat) restarts strategy 0.05/0.10 c Glucose learned constraints deletion strategy 0.05/0.10 c timeout=2147483s 0.05/0.10 c DB Simplification allowed=false 0.05/0.10 c --- End Solver configuration --- 0.05/0.10 c solving HOME/instance-2698297-1278325526.wbo 0.05/0.10 c reading problem ... 0.61/0.31 c ... done. Wall clock time 0.214s. 0.61/0.31 c #vars 8611 0.61/0.31 c #constraints 185 0.61/0.31 c constraints type 0.61/0.31 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 95 0.61/0.31 c org.sat4j.minisat.constraints.card.MinWatchCard => 57 0.61/0.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 33 1.42/0.61 c SATISFIABLE 1.42/0.61 c OPTIMIZING... 1.42/0.61 c Got one! Elapsed wall clock time (in seconds):0.516 1.42/0.61 o 125 1.66/0.82 c Got one! Elapsed wall clock time (in seconds):0.724 1.66/0.82 o 70 1.87/1.00 c Got one! Elapsed wall clock time (in seconds):0.909 1.87/1.00 o 44 2.49/1.63 c Got one! Elapsed wall clock time (in seconds):1.537 2.49/1.63 o 33 3.11/2.23 c Got one! Elapsed wall clock time (in seconds):2.136 3.11/2.23 o 32 4.70/3.83 c cleaning 2486 clauses out of 5000 with flag 5000/5000 4.94/4.04 c Got one! Elapsed wall clock time (in seconds):3.94 4.94/4.04 o 10 8.14/7.26 c Got one! Elapsed wall clock time (in seconds):7.164 8.14/7.26 o 2 10.58/9.64 c cleaning 4229 clauses out of 8514 with flag 11000/11000 17.60/16.63 c cleaning 5620 clauses out of 11288 with flag 18003/18003 25.51/24.53 c cleaning 6815 clauses out of 13668 with flag 26003/26003 35.44/34.45 c cleaning 7891 clauses out of 15850 with flag 35000/35000 46.16/45.15 c cleaning 8967 clauses out of 17962 with flag 45003/45003 58.48/57.49 c cleaning 9469 clauses out of 18993 with flag 55001/55001 70.10/69.00 c cleaning 9737 clauses out of 19528 with flag 65005/65005 84.52/83.41 c cleaning 9871 clauses out of 19787 with flag 75001/75001 93.45/92.39 c cleaning 9919 clauses out of 19915 with flag 85000/85000 105.46/104.37 c cleaning 9976 clauses out of 19999 with flag 95003/95003 122.89/121.76 c cleaning 9970 clauses out of 20020 with flag 105000/105000 148.55/147.30 c cleaning 9999 clauses out of 20053 with flag 115003/115003 159.72/158.44 c cleaning 9998 clauses out of 20052 with flag 125001/125001 173.44/172.17 c cleaning 9997 clauses out of 20053 with flag 135000/135000 187.06/185.77 c cleaning 9988 clauses out of 20056 with flag 145000/145000 206.60/205.26 c cleaning 10006 clauses out of 20069 with flag 155001/155001 238.56/237.16 c cleaning 10002 clauses out of 20064 with flag 165002/165002 259.80/258.38 c cleaning 10007 clauses out of 20061 with flag 175001/175001 270.36/268.85 c cleaning 10006 clauses out of 20053 with flag 185000/185000 285.08/283.56 c cleaning 10000 clauses out of 20047 with flag 195000/195000 306.01/304.43 c cleaning 10000 clauses out of 20048 with flag 205001/205001 326.75/325.14 c cleaning 9987 clauses out of 20050 with flag 215003/215003 358.79/357.16 c cleaning 9991 clauses out of 20063 with flag 225003/225003 377.05/375.34 c cleaning 10009 clauses out of 20069 with flag 235000/235000 393.09/391.39 c cleaning 10004 clauses out of 20061 with flag 245001/245001 411.32/409.57 c cleaning 10004 clauses out of 20059 with flag 255003/255003 422.37/420.59 c cleaning 9993 clauses out of 20053 with flag 265001/265001 434.01/432.20 c cleaning 9994 clauses out of 20059 with flag 275000/275000 449.52/447.69 c cleaning 10004 clauses out of 20066 with flag 285001/285001 469.85/467.96 c cleaning 10001 clauses out of 20062 with flag 295001/295001 490.41/488.45 c cleaning 9984 clauses out of 20060 with flag 305000/305000 513.76/511.78 c cleaning 9994 clauses out of 20076 with flag 315000/315000 524.80/522.73 c cleaning 10025 clauses out of 20084 with flag 325002/325002 536.45/534.39 c cleaning 10012 clauses out of 20059 with flag 335002/335002 547.17/545.06 c cleaning 10003 clauses out of 20046 with flag 345001/345001 562.58/560.44 c cleaning 9998 clauses out of 20044 with flag 355002/355002 580.22/578.02 c cleaning 9999 clauses out of 20045 with flag 365001/365001 597.66/595.45 c cleaning 9987 clauses out of 20045 with flag 375000/375000 615.51/613.27 c cleaning 10009 clauses out of 20062 with flag 385004/385004 628.65/626.32 c cleaning 10006 clauses out of 20052 with flag 395003/395003 639.40/637.07 c cleaning 10001 clauses out of 20045 with flag 405002/405002 650.84/648.47 c cleaning 10002 clauses out of 20043 with flag 415001/415001 669.36/666.98 c cleaning 10000 clauses out of 20040 with flag 425000/425000 687.81/685.36 c cleaning 9971 clauses out of 20041 with flag 435001/435001 714.66/712.19 c cleaning 9989 clauses out of 20071 with flag 445002/445002 733.64/731.09 c cleaning 9986 clauses out of 20083 with flag 455003/455003 754.29/751.65 c cleaning 9989 clauses out of 20095 with flag 465001/465001 772.94/770.24 c cleaning 10000 clauses out of 20106 with flag 475001/475001 787.88/785.15 c cleaning 10009 clauses out of 20105 with flag 485000/485000 810.02/807.30 c cleaning 10005 clauses out of 20098 with flag 495002/495002 830.96/828.11 c cleaning 10005 clauses out of 20093 with flag 505002/505002 856.71/853.83 c cleaning 10001 clauses out of 20086 with flag 515000/515000 874.77/871.85 c cleaning 10020 clauses out of 20085 with flag 525000/525000 887.33/884.36 c cleaning 10010 clauses out of 20065 with flag 535000/535000 898.46/895.48 c cleaning 10002 clauses out of 20055 with flag 545000/545000 911.38/908.37 c cleaning 10006 clauses out of 20056 with flag 555003/555003 922.30/919.28 c cleaning 9999 clauses out of 20048 with flag 565001/565001 936.04/932.91 c cleaning 10004 clauses out of 20051 with flag 575003/575003 947.78/944.63 c cleaning 9998 clauses out of 20045 with flag 585001/585001 956.91/953.78 c cleaning 10011 clauses out of 20046 with flag 595000/595000 969.44/966.25 c cleaning 9997 clauses out of 20035 with flag 605000/605000 984.67/981.41 c cleaning 9994 clauses out of 20039 with flag 615001/615001 1006.71/1003.48 c cleaning 10000 clauses out of 20044 with flag 625000/625000 1027.26/1023.97 c cleaning 9995 clauses out of 20045 with flag 635001/635001 1050.60/1047.25 c cleaning 9999 clauses out of 20051 with flag 645002/645002 1063.83/1060.44 c cleaning 9995 clauses out of 20050 with flag 655000/655000 1078.99/1075.54 c cleaning 10012 clauses out of 20059 with flag 665004/665004 1092.43/1088.91 c cleaning 9997 clauses out of 20043 with flag 675000/675000 1108.99/1105.45 c cleaning 9997 clauses out of 20048 with flag 685002/685002 1131.03/1127.42 c cleaning 9998 clauses out of 20049 with flag 695000/695000 1149.96/1146.33 c cleaning 9992 clauses out of 20052 with flag 705001/705001 1163.71/1160.05 c cleaning 9974 clauses out of 20060 with flag 715001/715001 1180.55/1176.87 c cleaning 9861 clauses out of 20085 with flag 725000/725000 1200.70/1196.95 c cleaning 10000 clauses out of 20224 with flag 735000/735000 1221.15/1217.31 c cleaning 9990 clauses out of 20224 with flag 745000/745000 1241.00/1237.11 c cleaning 9996 clauses out of 20234 with flag 755000/755000 1259.25/1255.35 c cleaning 9989 clauses out of 20239 with flag 765001/765001 1279.19/1275.28 c cleaning 10050 clauses out of 20251 with flag 775002/775002 1300.01/1296.10 c cleaning 10066 clauses out of 20200 with flag 785001/785001 1326.15/1322.20 c cleaning 10021 clauses out of 20137 with flag 795004/795004 1352.41/1348.35 c cleaning 10013 clauses out of 20113 with flag 805001/805001 1375.55/1371.41 c cleaning 10010 clauses out of 20099 with flag 815000/815000 1397.18/1393.02 c cleaning 9991 clauses out of 20089 with flag 825000/825000 1422.51/1418.38 c cleaning 10009 clauses out of 20101 with flag 835003/835003 1446.47/1442.29 c cleaning 10007 clauses out of 20090 with flag 845001/845001 1471.32/1467.07 c cleaning 9999 clauses out of 20082 with flag 855000/855000 1496.17/1491.80 c cleaning 9988 clauses out of 20085 with flag 865002/865002 1520.01/1515.64 c cleaning 10009 clauses out of 20095 with flag 875000/875000 1539.95/1535.59 c cleaning 10023 clauses out of 20087 with flag 885001/885001 1550.59/1546.18 c cleaning 10007 clauses out of 20064 with flag 895001/895001 1562.73/1558.21 c cleaning 10003 clauses out of 20056 with flag 905000/905000 1577.26/1572.74 c cleaning 9991 clauses out of 20053 with flag 915000/915000 1598.61/1594.05 c cleaning 9982 clauses out of 20062 with flag 925000/925000 1621.29/1616.61 c cleaning 9994 clauses out of 20082 with flag 935002/935002 1636.53/1631.84 c cleaning 10008 clauses out of 20088 with flag 945002/945002 1649.29/1644.51 c cleaning 10022 clauses out of 20083 with flag 955005/955005 1662.42/1657.62 c cleaning 10001 clauses out of 20063 with flag 965007/965007 1671.94/1667.12 c cleaning 10001 clauses out of 20056 with flag 975001/975001 1681.19/1676.31 c cleaning 9998 clauses out of 20055 with flag 985001/985001 1693.81/1688.99 c cleaning 10006 clauses out of 20058 with flag 995002/995002 1702.74/1697.89 c cleaning 10000 clauses out of 20050 with flag 1005000/1005000 1712.36/1707.40 c cleaning 10004 clauses out of 20053 with flag 1015003/1015003 1727.79/1722.89 c cleaning 9990 clauses out of 20049 with flag 1025003/1025003 1750.22/1745.21 c cleaning 9999 clauses out of 20056 with flag 1035000/1035000 1767.16/1762.18 c cleaning 9999 clauses out of 20057 with flag 1045000/1045000 1783.29/1778.27 c cleaning 10002 clauses out of 20059 with flag 1055001/1055001 1799.92/1794.88 c cleaning 10000 clauses out of 20057 with flag 1065001/1065001 1800.05/1794.94 c starts : 195 1800.05/1794.94 c conflicts : 1065004 1800.05/1794.94 c decisions : 2452416 1800.05/1794.94 c propagations : 55266842 1800.05/1794.94 c inspects : 1264683249 1800.05/1794.94 c learnt literals : 0 1800.05/1794.94 c learnt binary clauses : 0 1800.05/1794.94 c learnt ternary clauses : 0 1800.05/1794.94 c learnt clauses : 1065003 1800.05/1794.94 c ignored clauses : 0 1800.05/1794.94 c root simplifications : 0 1800.05/1794.94 c removed literals (reason simplification) : 3809814 1800.05/1794.94 c reason swapping (by a shorter reason) : 0 1800.05/1794.94 c Calls to reduceDB : 108 1800.05/1794.94 c number of reductions to clauses (during analyze) : 0 1800.05/1794.94 c number of learned constraints concerned by reduction : 0 1800.05/1794.94 c number of learning phase by resolution : 0 1800.05/1794.94 c number of learning phase by cutting planes : 0 1800.05/1794.94 c speed (assignments/second) : 30915.389920919984 1800.05/1794.94 c non guided choices 388497 1800.05/1794.95 c learnt constraints type 1800.05/1794.95 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 10072 1800.05/1794.95 c constraints type 1800.05/1794.95 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 95 1800.05/1794.95 c org.sat4j.minisat.constraints.card.MinWatchCard => 57 1800.05/1794.95 c org.sat4j.pb.constraints.pb.MaxWatchPb => 34 1800.05/1794.95 s SATISFIABLE 1800.05/1794.96 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 1800.05/1794.97 c objective function=2 1800.05/1794.97 c Total wall clock time (in seconds): 1794.874
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698297-1278325526/watcher-2698297-1278325526 -o /tmp/evaluation-result-2698297-1278325526/solver-2698297-1278325526 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698297-1278325526.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.94 2.01 1.82 3/196 4020 /proc/meminfo: memFree=32184396/32951124 swapFree=67111528/67111528 [pid=4020] ppid=4018 vsize=13164 CPUtime=0 /proc/4020/stat : 4020 (java) R 4018 4020 3809 0 -1 4194304 704 0 0 0 0 0 0 0 23 0 1 0 766618 13479936 309 4089446400 134512640 134550932 4292450064 18446744073709551615 5928581 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/4020/statm: 3291 316 142 10 0 1121 0 [startup+0.0723419 s] /proc/loadavg: 1.94 2.01 1.82 3/196 4020 /proc/meminfo: memFree=32184396/32951124 swapFree=67111528/67111528 [pid=4020] ppid=4018 vsize=1527836 CPUtime=0.05 /proc/4020/stat : 4020 (java) S 4018 4020 3809 0 -1 4202496 4308 0 1 0 5 0 0 0 23 0 18 0 766618 1564504064 3747 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4020/statm: 381959 3747 1090 10 0 379262 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1527836 [startup+0.102368 s] /proc/loadavg: 1.94 2.01 1.82 3/196 4020 /proc/meminfo: memFree=32184396/32951124 swapFree=67111528/67111528 [pid=4020] ppid=4018 vsize=1529748 CPUtime=0.12 /proc/4020/stat : 4020 (java) S 4018 4020 3809 0 -1 4202496 5223 0 1 0 11 1 0 0 23 0 18 0 766618 1566461952 4660 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4020/statm: 382437 4660 1347 10 0 379740 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 1529748 [startup+0.300347 s] /proc/loadavg: 1.94 2.01 1.82 3/196 4020 /proc/meminfo: memFree=32184396/32951124 swapFree=67111528/67111528 [pid=4020] ppid=4018 vsize=1533080 CPUtime=0.61 /proc/4020/stat : 4020 (java) S 4018 4020 3809 0 -1 4202496 9170 0 1 0 60 1 0 0 23 0 18 0 766618 1569873920 8375 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4020/statm: 383270 8375 1405 10 0 380573 0 Current children cumulated CPU time (s) 0.61 Current children cumulated vsize (KiB) 1533080 [startup+0.700314 s] /proc/loadavg: 1.94 2.01 1.82 3/196 4020 /proc/meminfo: memFree=32184396/32951124 swapFree=67111528/67111528 [pid=4020] ppid=4018 vsize=1533404 CPUtime=1.56 /proc/4020/stat : 4020 (java) S 4018 4020 3809 0 -1 4202496 11979 0 1 0 154 2 0 0 23 0 19 0 766618 1570205696 10297 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4020/statm: 383351 10297 1427 10 0 380654 0 Current children cumulated CPU time (s) 1.56 Current children cumulated vsize (KiB) 1533404 [startup+1.50117 s] /proc/loadavg: 1.94 2.01 1.82 3/215 4039 /proc/meminfo: memFree=32145008/32951124 swapFree=67111528/67111528 [pid=4020] ppid=4018 vsize=1533404 CPUtime=2.39 /proc/4020/stat : 4020 (java) S 4018 4020 3809 0 -1 4202496 13659 0 1 0 237 2 0 0 23 0 19 0 766618 1570205696 11976 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4020/statm: 383351 11976 1427 10 0 380654 0 [pid=4020/tid=4022] ppid=4018 vsize=1533404 CPUtime=1.48 /proc/4020/task/4022/stat : 4022 (java) R 4018 4020 3809 0 -1 4202560 9760 0 1 0 147 1 0 0 18 0 19 0 766618 1570205696 11976 4089446400 134512640 134550932 4292450064 18446744073709551615 4109592744 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4020/tid=4023] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4023/stat : 4023 (java) S 4018 4020 3809 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 19 0 766619 1570205696 11976 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4024] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4024/stat : 4024 (java) S 4018 4020 3809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766619 1570205696 11976 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4025] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4025/stat : 4025 (java) S 4018 4020 3809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766619 1570205696 11976 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4026] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4026/stat : 4026 (java) S 4018 4020 3809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766619 1570205696 11976 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4027] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4027/stat : 4027 (java) S 4018 4020 3809 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 766619 1570205696 11976 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4028] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4028/stat : 4028 (java) S 4018 4020 3809 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 766619 1570205696 11976 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4029] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4029/stat : 4029 (java) S 4018 4020 3809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766619 1570205696 11976 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4030] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4030/stat : 4030 (java) S 4018 4020 3809 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 766619 1570205696 11976 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4031] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4031/stat : 4031 (java) S 4018 4020 3809 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 766620 1570205696 11976 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 0 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4032] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4032/stat : 4032 (java) S 4018 4020 3809 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 19 0 766620 1570205696 11976 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4033] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4033/stat : 4033 (java) S 4018 4020 3809 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 766620 1570205696 11976 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4034] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4034/stat : 4034 (java) S 4018 4020 3809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766622 1570205696 11976 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4035] ppid=4018 vsize=1533404 CPUtime=0.43 /proc/4020/task/4035/stat : 4035 (java) S 4018 4020 3809 0 -1 4202560 1321 0 0 0 43 0 0 0 22 0 19 0 766622 1570205696 11976 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4036] ppid=4018 vsize=1533404 CPUtime=0.45 /proc/4020/task/4036/stat : 4036 (java) S 4018 4020 3809 0 -1 4202560 1505 0 0 0 45 0 0 0 15 0 19 0 766622 1570205696 11976 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 4 0 0 0 [pid=4020/tid=4037] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4037/stat : 4037 (java) S 4018 4020 3809 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 766622 1570205696 11976 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4038] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4038/stat : 4038 (java) S 4018 4020 3809 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 766622 1570205696 11976 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 5 0 0 0 [pid=4020/tid=4039] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4039/stat : 4039 (java) S 4018 4020 3809 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 766651 1570205696 11976 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.39 Current children cumulated vsize (KiB) 1533404 [startup+3.1009 s] /proc/loadavg: 1.94 2.01 1.82 3/215 4039 /proc/meminfo: memFree=32137320/32951124 swapFree=67111528/67111528 [pid=4020] ppid=4018 vsize=1533404 CPUtime=4.01 /proc/4020/stat : 4020 (java) S 4018 4020 3809 0 -1 4202496 16396 0 1 0 398 3 0 0 23 0 19 0 766618 1570205696 14712 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4020/statm: 383351 14712 1427 10 0 380654 0 [pid=4020/tid=4022] ppid=4018 vsize=1533404 CPUtime=3.08 /proc/4020/task/4022/stat : 4022 (java) R 4018 4020 3809 0 -1 4202560 12497 0 1 0 306 2 0 0 19 0 19 0 766618 1570205696 14712 4089446400 134512640 134550932 4292450064 18446744073709551615 4109668504 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4020/tid=4023] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4023/stat : 4023 (java) S 4018 4020 3809 0 -1 4202560 3 0 0 0 0 0 0 0 25 0 19 0 766619 1570205696 14712 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4024] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4024/stat : 4024 (java) S 4018 4020 3809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766619 1570205696 14712 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4025] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4025/stat : 4025 (java) S 4018 4020 3809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766619 1570205696 14712 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4026] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4026/stat : 4026 (java) S 4018 4020 3809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766619 1570205696 14712 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4027] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4027/stat : 4027 (java) S 4018 4020 3809 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 766619 1570205696 14712 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4028] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4028/stat : 4028 (java) S 4018 4020 3809 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 766619 1570205696 14712 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4029] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4029/stat : 4029 (java) S 4018 4020 3809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766619 1570205696 14712 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4030] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4030/stat : 4030 (java) S 4018 4020 3809 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 766619 1570205696 14712 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4031] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4031/stat : 4031 (java) S 4018 4020 3809 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 766620 1570205696 14712 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 0 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4032] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4032/stat : 4032 (java) S 4018 4020 3809 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 19 0 766620 1570205696 14712 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4033] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4033/stat : 4033 (java) S 4018 4020 3809 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 766620 1570205696 14712 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4034] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4034/stat : 4034 (java) S 4018 4020 3809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766622 1570205696 14712 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4035] ppid=4018 vsize=1533404 CPUtime=0.43 /proc/4020/task/4035/stat : 4035 (java) S 4018 4020 3809 0 -1 4202560 1321 0 0 0 43 0 0 0 22 0 19 0 766622 1570205696 14712 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4036] ppid=4018 vsize=1533404 CPUtime=0.47 /proc/4020/task/4036/stat : 4036 (java) S 4018 4020 3809 0 -1 4202560 1505 0 0 0 47 0 0 0 15 0 19 0 766622 1570205696 14712 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 4 0 0 0 [pid=4020/tid=4037] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4037/stat : 4037 (java) S 4018 4020 3809 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 766622 1570205696 14712 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4038] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4038/stat : 4038 (java) S 4018 4020 3809 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 766622 1570205696 14712 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 5 0 0 0 [pid=4020/tid=4039] ppid=4018 vsize=1533404 CPUtime=0 /proc/4020/task/4039/stat : 4039 (java) S 4018 4020 3809 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 766651 1570205696 14712 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4.01 Current children cumulated vsize (KiB) 1533404 [startup+6.30133 s] /proc/loadavg: 1.94 2.01 1.82 3/215 4039 /proc/meminfo: memFree=32109764/32951124 swapFree=67111528/67111528 [pid=4020] ppid=4018 vsize=1532740 CPUtime=7.24 /proc/4020/stat : 4020 (java) S 4018 4020 3809 0 -1 4202496 21910 0 1 0 720 4 0 0 23 0 19 0 766618 1569525760 20051 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4020/statm: 383185 20051 1441 10 0 380488 0 [pid=4020/tid=4022] ppid=4018 vsize=1532740 CPUtime=6.26 /proc/4020/task/4022/stat : 4022 (java) R 4018 4020 3809 0 -1 4202560 13286 0 1 0 624 2 0 0 25 0 19 0 766618 1569525760 20051 4089446400 134512640 134550932 4292450064 18446744073709551615 4109593352 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4020/tid=4023] ppid=4018 vsize=1532740 CPUtime=0 /proc/4020/task/4023/stat : 4023 (java) S 4018 4020 3809 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 19 0 766619 1569525760 20051 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4024] ppid=4018 vsize=1532740 CPUtime=0 /proc/4020/task/4024/stat : 4024 (java) S 4018 4020 3809 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 766619 1569525760 20051 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4025] ppid=4018 vsize=1532740 CPUtime=0 /proc/4020/task/4025/stat : 4025 (java) S 4018 4020 3809 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 766619 1569525760 20051 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4026] ppid=4018 vsize=1532740 CPUtime=0 /proc/4020/task/4026/stat : 4026 (java) S 4018 4020 3809 0 -1 4202560 73 0 0 0 0 0 0 0 18 0 19 0 766619 1569525760 20051 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 0 0 0 0 [pid=4020/tid=4027] ppid=4018 vsize=1532740 CPUtime=0 /proc/4020/task/4027/stat : 4027 (java) S 4018 4020 3809 0 -1 4202560 268 0 0 0 0 0 0 0 18 0 19 0 766619 1569525760 20051 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 5 0 0 0 [pid=4020/tid=4028] ppid=4018 vsize=1532740 CPUtime=0 /proc/4020/task/4028/stat : 4028 (java) S 4018 4020 3809 0 -1 4202560 735 0 0 0 0 0 0 0 18 0 19 0 766619 1569525760 20051 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 0 0 0 0 [pid=4020/tid=4029] ppid=4018 vsize=1532740 CPUtime=0 /proc/4020/task/4029/stat : 4029 (java) S 4018 4020 3809 0 -1 4202560 1008 0 0 0 0 0 0 0 18 0 19 0 766619 1569525760 20051 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 4 0 0 0 [pid=4020/tid=4030] ppid=4018 vsize=1532740 CPUtime=0 /proc/4020/task/4030/stat : 4030 (java) S 4018 4020 3809 0 -1 4202560 355 0 0 0 0 0 0 0 18 0 19 0 766619 1569525760 20051 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4031] ppid=4018 vsize=1532740 CPUtime=0.01 /proc/4020/task/4031/stat : 4031 (java) S 4018 4020 3809 0 -1 4202560 2282 0 0 0 1 0 0 0 15 0 19 0 766620 1569525760 20051 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 0 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4032] ppid=4018 vsize=1532740 CPUtime=0 /proc/4020/task/4032/stat : 4032 (java) S 4018 4020 3809 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 766620 1569525760 20051 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4033] ppid=4018 vsize=1532740 CPUtime=0 /proc/4020/task/4033/stat : 4033 (java) S 4018 4020 3809 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 766620 1569525760 20051 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4034] ppid=4018 vsize=1532740 CPUtime=0 /proc/4020/task/4034/stat : 4034 (java) S 4018 4020 3809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766622 1569525760 20051 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4035] ppid=4018 vsize=1532740 CPUtime=0.44 /proc/4020/task/4035/stat : 4035 (java) S 4018 4020 3809 0 -1 4202560 1324 0 0 0 44 0 0 0 17 0 19 0 766622 1569525760 20051 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4036] ppid=4018 vsize=1532740 CPUtime=0.48 /proc/4020/task/4036/stat : 4036 (java) S 4018 4020 3809 0 -1 4202560 1509 0 0 0 48 0 0 0 15 0 19 0 766622 1569525760 20051 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 4 0 0 0 [pid=4020/tid=4037] ppid=4018 vsize=1532740 CPUtime=0 /proc/4020/task/4037/stat : 4037 (java) S 4018 4020 3809 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 766622 1569525760 20051 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4038] ppid=4018 vsize=1532740 CPUtime=0 /proc/4020/task/4038/stat : 4038 (java) S 4018 4020 3809 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 766622 1569525760 20051 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 7 0 0 0 [pid=4020/tid=4039] ppid=4018 vsize=1532740 CPUtime=0 /proc/4020/task/4039/stat : 4039 (java) S 4018 4020 3809 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 766651 1569525760 20051 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 7.24 Current children cumulated vsize (KiB) 1532740 [startup+12.7012 s] /proc/loadavg: 1.95 2.01 1.82 3/215 4039 /proc/meminfo: memFree=32081328/32951124 swapFree=67111528/67111528 [pid=4020] ppid=4018 vsize=1532740 CPUtime=13.7 /proc/4020/stat : 4020 (java) S 4018 4020 3809 0 -1 4202496 29191 0 1 0 1365 5 0 0 23 0 19 0 766618 1569525760 27263 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4020/statm: 383185 27263 1441 10 0 380488 0 [pid=4020/tid=4022] ppid=4018 vsize=1532740 CPUtime=12.64 /proc/4020/task/4022/stat : 4022 (java) R 4018 4020 3809 0 -1 4202560 13296 0 1 0 1262 2 0 0 25 0 19 0 766618 1569525760 27263 4089446400 134512640 134550932 4292450064 18446744073709551615 4109653472 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4020/tid=4023] ppid=4018 vsize=1532740 CPUtime=0 /proc/4020/task/4023/stat : 4023 (java) S 4018 4020 3809 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 766619 1569525760 27263 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 4 0 0 0 ################ # More data... # ################ [pid=4020/tid=4028] ppid=4018 vsize=1534788 CPUtime=0.63 /proc/4020/task/4028/stat : 4028 (java) S 4018 4020 3809 0 -1 4202560 5051 0 0 0 60 3 0 0 15 0 19 0 766619 1571622912 73906 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4029] ppid=4018 vsize=1534788 CPUtime=0.61 /proc/4020/task/4029/stat : 4029 (java) S 4018 4020 3809 0 -1 4202560 6715 0 0 0 57 4 0 0 15 0 19 0 766619 1571622912 73906 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 5 0 0 0 [pid=4020/tid=4030] ppid=4018 vsize=1534788 CPUtime=0.54 /proc/4020/task/4030/stat : 4030 (java) S 4018 4020 3809 0 -1 4202560 5192 0 0 0 52 2 0 0 15 0 19 0 766619 1571622912 73906 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 0 0 0 0 [pid=4020/tid=4031] ppid=4018 vsize=1534788 CPUtime=3.95 /proc/4020/task/4031/stat : 4031 (java) S 4018 4020 3809 0 -1 4202560 9186 0 0 0 392 3 0 0 15 0 19 0 766620 1571622912 73906 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 0 0 16800975 18446604471134110080 0 0 -1 4 0 0 0 [pid=4020/tid=4032] ppid=4018 vsize=1534788 CPUtime=0 /proc/4020/task/4032/stat : 4032 (java) S 4018 4020 3809 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 766620 1571622912 73906 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4033] ppid=4018 vsize=1534788 CPUtime=0 /proc/4020/task/4033/stat : 4033 (java) S 4018 4020 3809 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 766620 1571622912 73906 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4034] ppid=4018 vsize=1534788 CPUtime=0 /proc/4020/task/4034/stat : 4034 (java) S 4018 4020 3809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766622 1571622912 73906 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4035] ppid=4018 vsize=1534788 CPUtime=0.5 /proc/4020/task/4035/stat : 4035 (java) S 4018 4020 3809 0 -1 4202560 1581 0 0 0 50 0 0 0 15 0 19 0 766622 1571622912 73906 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4036] ppid=4018 vsize=1534788 CPUtime=0.52 /proc/4020/task/4036/stat : 4036 (java) S 4018 4020 3809 0 -1 4202560 1513 0 0 0 52 0 0 0 15 0 19 0 766622 1571622912 73906 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 4 0 0 0 [pid=4020/tid=4037] ppid=4018 vsize=1534788 CPUtime=0 /proc/4020/task/4037/stat : 4037 (java) S 4018 4020 3809 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 766622 1571622912 73906 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4038] ppid=4018 vsize=1534788 CPUtime=0 /proc/4020/task/4038/stat : 4038 (java) S 4018 4020 3809 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 766622 1571622912 73906 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 5 0 0 0 [pid=4020/tid=4039] ppid=4018 vsize=1534788 CPUtime=0 /proc/4020/task/4039/stat : 4039 (java) S 4018 4020 3809 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 766651 1571622912 73906 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1727.29 Current children cumulated vsize (KiB) 1534788 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.91 3/215 4318 /proc/meminfo: memFree=31898348/32951124 swapFree=67111528/67111528 [pid=4020] ppid=4018 vsize=1534788 CPUtime=1787.42 /proc/4020/stat : 4020 (java) S 4018 4020 3809 0 -1 4202496 83306 0 1 0 178706 36 0 0 23 0 19 0 766618 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4020/statm: 383697 73907 1441 10 0 381000 0 [pid=4020/tid=4022] ppid=4018 vsize=1534788 CPUtime=1777.15 /proc/4020/task/4022/stat : 4022 (java) R 4018 4020 3809 0 -1 4202560 27495 0 1 0 177710 5 0 0 25 0 19 0 766618 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4109571233 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=4020/tid=4023] ppid=4018 vsize=1534788 CPUtime=0.64 /proc/4020/task/4023/stat : 4023 (java) S 4018 4020 3809 0 -1 4202560 5686 0 0 0 61 3 0 0 16 0 19 0 766619 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 0 0 0 0 [pid=4020/tid=4024] ppid=4018 vsize=1534788 CPUtime=0.56 /proc/4020/task/4024/stat : 4024 (java) S 4018 4020 3809 0 -1 4202560 3402 0 0 0 54 2 0 0 16 0 19 0 766619 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 7 0 0 0 [pid=4020/tid=4025] ppid=4018 vsize=1534788 CPUtime=0.62 /proc/4020/task/4025/stat : 4025 (java) S 4018 4020 3809 0 -1 4202560 5544 0 0 0 59 3 0 0 16 0 19 0 766619 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 3 0 0 0 [pid=4020/tid=4026] ppid=4018 vsize=1534788 CPUtime=0.7 /proc/4020/task/4026/stat : 4026 (java) S 4018 4020 3809 0 -1 4202560 6521 0 0 0 67 3 0 0 15 0 19 0 766619 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4027] ppid=4018 vsize=1534788 CPUtime=0.62 /proc/4020/task/4027/stat : 4027 (java) S 4018 4020 3809 0 -1 4202560 4249 0 0 0 59 3 0 0 16 0 19 0 766619 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4028] ppid=4018 vsize=1534788 CPUtime=0.65 /proc/4020/task/4028/stat : 4028 (java) S 4018 4020 3809 0 -1 4202560 5051 0 0 0 62 3 0 0 16 0 19 0 766619 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4029] ppid=4018 vsize=1534788 CPUtime=0.64 /proc/4020/task/4029/stat : 4029 (java) S 4018 4020 3809 0 -1 4202560 6715 0 0 0 60 4 0 0 16 0 19 0 766619 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 5 0 0 0 [pid=4020/tid=4030] ppid=4018 vsize=1534788 CPUtime=0.57 /proc/4020/task/4030/stat : 4030 (java) S 4018 4020 3809 0 -1 4202560 5192 0 0 0 55 2 0 0 16 0 19 0 766619 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4031] ppid=4018 vsize=1534788 CPUtime=4.14 /proc/4020/task/4031/stat : 4031 (java) S 4018 4020 3809 0 -1 4202560 9190 0 0 0 411 3 0 0 15 0 19 0 766620 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 0 0 16800975 18446604471134110080 0 0 -1 4 0 0 0 [pid=4020/tid=4032] ppid=4018 vsize=1534788 CPUtime=0 /proc/4020/task/4032/stat : 4032 (java) S 4018 4020 3809 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 766620 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4033] ppid=4018 vsize=1534788 CPUtime=0 /proc/4020/task/4033/stat : 4033 (java) S 4018 4020 3809 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 766620 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4034] ppid=4018 vsize=1534788 CPUtime=0 /proc/4020/task/4034/stat : 4034 (java) S 4018 4020 3809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766622 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4035] ppid=4018 vsize=1534788 CPUtime=0.5 /proc/4020/task/4035/stat : 4035 (java) S 4018 4020 3809 0 -1 4202560 1581 0 0 0 50 0 0 0 15 0 19 0 766622 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4036] ppid=4018 vsize=1534788 CPUtime=0.52 /proc/4020/task/4036/stat : 4036 (java) S 4018 4020 3809 0 -1 4202560 1513 0 0 0 52 0 0 0 15 0 19 0 766622 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 4 0 0 0 [pid=4020/tid=4037] ppid=4018 vsize=1534788 CPUtime=0 /proc/4020/task/4037/stat : 4037 (java) S 4018 4020 3809 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 766622 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4038] ppid=4018 vsize=1534788 CPUtime=0 /proc/4020/task/4038/stat : 4038 (java) S 4018 4020 3809 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 766622 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 5 0 0 0 [pid=4020/tid=4039] ppid=4018 vsize=1534788 CPUtime=0 /proc/4020/task/4039/stat : 4039 (java) S 4018 4020 3809 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 766651 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1787.42 Current children cumulated vsize (KiB) 1534788 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794.9 s] /proc/loadavg: 2.00 2.00 1.91 3/215 4318 /proc/meminfo: memFree=31898072/32951124 swapFree=67111528/67111528 [pid=4020] ppid=4018 vsize=1534788 CPUtime=1800.05 /proc/4020/stat : 4020 (java) S 4018 4020 3809 0 -1 4202496 83307 0 1 0 179969 36 0 0 23 0 19 0 766618 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4020/statm: 383697 73907 1441 10 0 381000 0 [pid=4020/tid=4022] ppid=4018 vsize=1534788 CPUtime=1789.73 /proc/4020/task/4022/stat : 4022 (java) S 4018 4020 3809 0 -1 4202560 27496 0 1 0 178968 5 0 0 25 0 19 0 766618 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 4 0 0 0 [pid=4020/tid=4023] ppid=4018 vsize=1534788 CPUtime=0.65 /proc/4020/task/4023/stat : 4023 (java) S 4018 4020 3809 0 -1 4202560 5686 0 0 0 62 3 0 0 15 0 19 0 766619 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 0 0 0 0 [pid=4020/tid=4024] ppid=4018 vsize=1534788 CPUtime=0.57 /proc/4020/task/4024/stat : 4024 (java) S 4018 4020 3809 0 -1 4202560 3402 0 0 0 55 2 0 0 15 0 19 0 766619 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 7 0 0 0 [pid=4020/tid=4025] ppid=4018 vsize=1534788 CPUtime=0.63 /proc/4020/task/4025/stat : 4025 (java) S 4018 4020 3809 0 -1 4202560 5544 0 0 0 60 3 0 0 15 0 19 0 766619 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 3 0 0 0 [pid=4020/tid=4026] ppid=4018 vsize=1534788 CPUtime=0.7 /proc/4020/task/4026/stat : 4026 (java) S 4018 4020 3809 0 -1 4202560 6521 0 0 0 67 3 0 0 15 0 19 0 766619 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4027] ppid=4018 vsize=1534788 CPUtime=0.63 /proc/4020/task/4027/stat : 4027 (java) S 4018 4020 3809 0 -1 4202560 4249 0 0 0 60 3 0 0 16 0 19 0 766619 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4028] ppid=4018 vsize=1534788 CPUtime=0.66 /proc/4020/task/4028/stat : 4028 (java) S 4018 4020 3809 0 -1 4202560 5051 0 0 0 63 3 0 0 15 0 19 0 766619 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 0 0 0 0 [pid=4020/tid=4029] ppid=4018 vsize=1534788 CPUtime=0.64 /proc/4020/task/4029/stat : 4029 (java) S 4018 4020 3809 0 -1 4202560 6715 0 0 0 60 4 0 0 15 0 19 0 766619 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 5 0 0 0 [pid=4020/tid=4030] ppid=4018 vsize=1534788 CPUtime=0.57 /proc/4020/task/4030/stat : 4030 (java) S 4018 4020 3809 0 -1 4202560 5192 0 0 0 55 2 0 0 15 0 19 0 766619 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4031] ppid=4018 vsize=1534788 CPUtime=4.16 /proc/4020/task/4031/stat : 4031 (java) R 4018 4020 3809 0 -1 4202560 9190 0 0 0 413 3 0 0 15 0 19 0 766620 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 105880854 0 0 0 16800975 0 0 0 -1 4 0 0 0 [pid=4020/tid=4032] ppid=4018 vsize=1534788 CPUtime=0 /proc/4020/task/4032/stat : 4032 (java) S 4018 4020 3809 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 766620 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4033] ppid=4018 vsize=1534788 CPUtime=0 /proc/4020/task/4033/stat : 4033 (java) S 4018 4020 3809 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 766620 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4034] ppid=4018 vsize=1534788 CPUtime=0 /proc/4020/task/4034/stat : 4034 (java) S 4018 4020 3809 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 766622 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4035] ppid=4018 vsize=1534788 CPUtime=0.5 /proc/4020/task/4035/stat : 4035 (java) S 4018 4020 3809 0 -1 4202560 1581 0 0 0 50 0 0 0 15 0 19 0 766622 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4036] ppid=4018 vsize=1534788 CPUtime=0.52 /proc/4020/task/4036/stat : 4036 (java) S 4018 4020 3809 0 -1 4202560 1513 0 0 0 52 0 0 0 15 0 19 0 766622 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 4 0 0 0 [pid=4020/tid=4037] ppid=4018 vsize=1534788 CPUtime=0 /proc/4020/task/4037/stat : 4037 (java) S 4018 4020 3809 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 766622 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4038] ppid=4018 vsize=1534788 CPUtime=0 /proc/4020/task/4038/stat : 4038 (java) S 4018 4020 3809 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 766622 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 5 0 0 0 [pid=4020/tid=4039] ppid=4018 vsize=1534788 CPUtime=0 /proc/4020/task/4039/stat : 4039 (java) S 4018 4020 3809 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 766651 1571622912 73907 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1534788 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1795.01 s] /proc/loadavg: 2.00 2.00 1.91 3/215 4318 /proc/meminfo: memFree=31898072/32951124 swapFree=67111528/67111528 [pid=4020] ppid=4018 vsize=1535436 CPUtime=1800.2 /proc/4020/stat : 4020 (java) S 4018 4020 3809 0 -1 4202496 83329 0 1 0 179984 36 0 0 18 0 20 0 766618 1572286464 73929 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/4020/statm: 383859 73929 1444 10 0 381162 0 [pid=4020/tid=4022] ppid=4018 vsize=1535436 CPUtime=1789.8 /proc/4020/task/4022/stat : 4022 (java) R 4018 4020 3809 0 -1 4202560 27496 0 1 0 178975 5 0 0 25 0 20 0 766618 1572286464 73929 4089446400 134512640 134550932 4292450064 18446744073709551615 4109545784 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4020/tid=4023] ppid=4018 vsize=1535436 CPUtime=0.65 /proc/4020/task/4023/stat : 4023 (java) S 4018 4020 3809 0 -1 4202560 5686 0 0 0 62 3 0 0 15 0 20 0 766619 1572286464 73929 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 0 0 0 0 [pid=4020/tid=4024] ppid=4018 vsize=1535436 CPUtime=0.57 /proc/4020/task/4024/stat : 4024 (java) S 4018 4020 3809 0 -1 4202560 3402 0 0 0 55 2 0 0 15 0 20 0 766619 1572286464 73929 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 7 0 0 0 [pid=4020/tid=4025] ppid=4018 vsize=1535436 CPUtime=0.63 /proc/4020/task/4025/stat : 4025 (java) S 4018 4020 3809 0 -1 4202560 5544 0 0 0 60 3 0 0 15 0 20 0 766619 1572286464 73929 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 3 0 0 0 [pid=4020/tid=4026] ppid=4018 vsize=1535436 CPUtime=0.7 /proc/4020/task/4026/stat : 4026 (java) S 4018 4020 3809 0 -1 4202560 6521 0 0 0 67 3 0 0 15 0 20 0 766619 1572286464 73929 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4027] ppid=4018 vsize=1535436 CPUtime=0.63 /proc/4020/task/4027/stat : 4027 (java) S 4018 4020 3809 0 -1 4202560 4249 0 0 0 60 3 0 0 16 0 20 0 766619 1572286464 73929 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4028] ppid=4018 vsize=1535436 CPUtime=0.66 /proc/4020/task/4028/stat : 4028 (java) S 4018 4020 3809 0 -1 4202560 5051 0 0 0 63 3 0 0 15 0 20 0 766619 1572286464 73929 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 0 0 0 0 [pid=4020/tid=4029] ppid=4018 vsize=1535436 CPUtime=0.64 /proc/4020/task/4029/stat : 4029 (java) S 4018 4020 3809 0 -1 4202560 6715 0 0 0 60 4 0 0 15 0 20 0 766619 1572286464 73929 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 5 0 0 0 [pid=4020/tid=4030] ppid=4018 vsize=1535436 CPUtime=0.57 /proc/4020/task/4030/stat : 4030 (java) S 4018 4020 3809 0 -1 4202560 5192 0 0 0 55 2 0 0 15 0 20 0 766619 1572286464 73929 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4031] ppid=4018 vsize=1535436 CPUtime=4.19 /proc/4020/task/4031/stat : 4031 (java) S 4018 4020 3809 0 -1 4202560 9190 0 0 0 416 3 0 0 16 0 20 0 766620 1572286464 73929 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 0 0 16800975 18446604471134110080 0 0 -1 4 0 0 0 [pid=4020/tid=4032] ppid=4018 vsize=1535436 CPUtime=0 /proc/4020/task/4032/stat : 4032 (java) S 4018 4020 3809 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 20 0 766620 1572286464 73929 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4033] ppid=4018 vsize=1535436 CPUtime=0 /proc/4020/task/4033/stat : 4033 (java) S 4018 4020 3809 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 20 0 766620 1572286464 73929 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4034] ppid=4018 vsize=1535436 CPUtime=0 /proc/4020/task/4034/stat : 4034 (java) S 4018 4020 3809 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 20 0 766622 1572286464 73929 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4035] ppid=4018 vsize=1535436 CPUtime=0.51 /proc/4020/task/4035/stat : 4035 (java) S 4018 4020 3809 0 -1 4202560 1583 0 0 0 51 0 0 0 16 0 20 0 766622 1572286464 73929 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 2 0 0 0 [pid=4020/tid=4036] ppid=4018 vsize=1535436 CPUtime=0.52 /proc/4020/task/4036/stat : 4036 (java) S 4018 4020 3809 0 -1 4202560 1513 0 0 0 52 0 0 0 16 0 20 0 766622 1572286464 73929 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 4 0 0 0 [pid=4020/tid=4037] ppid=4018 vsize=1535436 CPUtime=0 /proc/4020/task/4037/stat : 4037 (java) S 4018 4020 3809 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 20 0 766622 1572286464 73929 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 6 0 0 0 [pid=4020/tid=4038] ppid=4018 vsize=1535436 CPUtime=0 /proc/4020/task/4038/stat : 4038 (java) S 4018 4020 3809 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 20 0 766622 1572286464 73929 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 5 0 0 0 [pid=4020/tid=4039] ppid=4018 vsize=1535436 CPUtime=0 /proc/4020/task/4039/stat : 4039 (java) S 4018 4020 3809 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 20 0 766651 1572286464 73929 4089446400 134512640 134550932 4292450064 18446744073709551615 4294960144 0 4 0 16800975 18446604471134110080 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 1535436 Child status: 143 Real time (s): 1795.03 CPU time (s): 1800.22 CPU user time (s): 1799.85 CPU system time (s): 0.376942 CPU usage (%): 100.289 Max. virtual memory (cumulated for all children) (KiB): 1535436 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.85 system time used= 0.376942 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 83329 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= 40015 involuntary context switches= 48554 runsolver used 3.40448 second user time and 6.66699 second system time The end
Begin job on node119 at 2010-07-05 12:25:26 IDJOB=2698297 IDBENCH=78737 IDSOLVER=1211 FILE ID=node119/2698297-1278325526 PBS_JOBID= 11207459 Free space on /tmp= 74204 MiB SOLVER NAME= SAT4J PB Resolution 2.2.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698297-1278325526/watcher-2698297-1278325526 -o /tmp/evaluation-result-2698297-1278325526/solver-2698297-1278325526 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698297-1278325526.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3f020b13e6cf17982f0e6d51d5561da8 RANDOM SEED=214849639 node119.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.868 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.73 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.868 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 : 5332.75 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.868 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.75 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.868 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.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.72 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 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.82 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.868 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.75 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.868 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 32184676 kB Buffers: 21352 kB Cached: 327908 kB SwapCached: 0 kB Active: 397876 kB Inactive: 268536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 32184676 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 460 kB Writeback: 0 kB AnonPages: 316652 kB Mapped: 20260 kB Slab: 35800 kB PageTables: 5208 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1641060 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node119 at 2010-07-05 12:55:23