| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | SAT | 995.314 | 507.422 |
| Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathTate/ normalized-TateBritain_K105.opb |
| MD5SUM | f2bb3fbff44c335cc6fb8854fd262f5a |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 235.677 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7140 |
| Total number of constraints | 7352 |
| Number of constraints which are clauses | 7247 |
| Number of constraints which are cardinality constraints (but not clauses) | 105 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 105 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 106 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.10 c version 2.3.1.v20110525 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 9996466904 0.07/0.10 c Max memory 10048897024 0.07/0.10 c Total memory 10048897024 0.07/0.10 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization 0.07/0.13 c ManyCore solver with 2 solvers running in parallel 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-3741941-1338762526.opb 0.07/0.13 c reading problem ... 0.80/0.45 c ... done. Wall clock time 0.325s. 0.80/0.45 c #vars 7140 0.80/0.45 c #constraints 7352 0.80/0.45 c constraints type 0.80/0.45 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5893 0.80/0.45 c org.sat4j.minisat.constraints.card.MinWatchCard => 105 0.80/0.45 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1352 0.80/0.45 c constraints type 0.80/0.45 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1352 0.80/0.45 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5893 0.80/0.45 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 105 5.10/2.04 c cleaning 2484 clauses out of 4987 with flag 5000/5000 8.49/3.63 c cleaning 4220 clauses out of 8497 with flag 11000/11000 14.01/6.32 c cleaning 5577 clauses out of 11271 with flag 18000/18000 19.22/8.98 c cleaning 6834 clauses out of 13695 with flag 26002/26002 24.77/11.70 c cleaning 7816 clauses out of 15858 with flag 35003/35003 30.13/14.45 c cleaning 8909 clauses out of 18037 with flag 45000/45000 41.08/19.97 c cleaning 9486 clauses out of 19128 with flag 55001/55001 49.42/24.13 c cleaning 9694 clauses out of 19640 with flag 65003/65003 55.11/27.05 c cleaning 9819 clauses out of 19942 with flag 75000/75000 60.85/29.93 c cleaning 9880 clauses out of 20125 with flag 85002/85002 67.37/33.26 c cleaning 9897 clauses out of 20237 with flag 95000/95000 73.51/36.39 c cleaning 10044 clauses out of 20340 with flag 105001/105001 81.20/40.27 c cleaning 9994 clauses out of 20295 with flag 115000/115000 87.32/43.33 c cleaning 9898 clauses out of 20302 with flag 125002/125002 93.64/46.58 c cleaning 10007 clauses out of 20402 with flag 135000/135000 104.76/52.12 c cleaning 10075 clauses out of 20395 with flag 145000/145000 110.66/55.11 c cleaning 10026 clauses out of 20320 with flag 155000/155000 116.37/58.08 c cleaning 9964 clauses out of 20294 with flag 165000/165000 125.09/62.43 c cleaning 9906 clauses out of 20329 with flag 175001/175001 133.01/66.40 c cleaning 10128 clauses out of 20423 with flag 185001/185001 139.70/69.87 c cleaning 9434 clauses out of 20299 with flag 195005/195005 158.82/79.45 c cleaning 9692 clauses out of 20862 with flag 205002/205002 172.96/86.59 c cleaning 9685 clauses out of 21164 with flag 215000/215000 178.28/89.24 c cleaning 9418 clauses out of 21478 with flag 225000/225000 184.73/92.53 c cleaning 9446 clauses out of 22060 with flag 235001/235001 194.62/97.52 c cleaning 9354 clauses out of 22614 with flag 245001/245001 207.72/104.17 c cleaning 9643 clauses out of 23261 with flag 255002/255002 222.60/111.64 c cleaning 9407 clauses out of 23616 with flag 265000/265000 247.89/124.36 c cleaning 9924 clauses out of 24209 with flag 275000/275000 255.96/128.42 c cleaning 9625 clauses out of 24285 with flag 285000/285000 263.68/132.35 c cleaning 9311 clauses out of 24660 with flag 295000/295000 270.55/135.81 c cleaning 9769 clauses out of 25349 with flag 305001/305001 279.92/140.62 c cleaning 9588 clauses out of 25580 with flag 315001/315001 287.97/144.71 c cleaning 9715 clauses out of 25991 with flag 325000/325000 294.48/148.06 c cleaning 9416 clauses out of 26277 with flag 335002/335002 301.94/151.89 c cleaning 9646 clauses out of 26863 with flag 345004/345004 309.90/155.96 c cleaning 9712 clauses out of 27217 with flag 355004/355004 315.55/158.83 c cleaning 9465 clauses out of 27503 with flag 365003/365003 323.00/162.70 c cleaning 9581 clauses out of 28041 with flag 375006/375006 329.25/165.83 c cleaning 9688 clauses out of 28455 with flag 385001/385001 335.00/168.83 c cleaning 9482 clauses out of 28767 with flag 395001/395001 344.66/173.71 c cleaning 9579 clauses out of 29284 with flag 405000/405000 350.67/176.81 c cleaning 9305 clauses out of 29704 with flag 415000/415000 366.51/184.88 c cleaning 9498 clauses out of 30399 with flag 425000/425000 374.23/188.82 c cleaning 9487 clauses out of 30902 with flag 435001/435001 380.85/192.26 c cleaning 9938 clauses out of 31415 with flag 445002/445002 389.07/196.47 c cleaning 9766 clauses out of 31474 with flag 455000/455000 395.08/199.59 c cleaning 9480 clauses out of 31708 with flag 465001/465001 403.80/204.05 c cleaning 9519 clauses out of 32227 with flag 475000/475000 415.62/210.08 c cleaning 9660 clauses out of 32708 with flag 485000/485000 423.62/214.16 c cleaning 9854 clauses out of 33048 with flag 495000/495000 429.83/217.38 c cleaning 9575 clauses out of 33194 with flag 505000/505000 435.31/220.22 c cleaning 9689 clauses out of 33621 with flag 515002/515002 446.11/225.75 c cleaning 9656 clauses out of 33931 with flag 525001/525001 451.92/228.76 c cleaning 9659 clauses out of 34276 with flag 535002/535002 458.35/232.09 c cleaning 9412 clauses out of 34612 with flag 545004/545004 466.20/236.12 c cleaning 9450 clauses out of 35196 with flag 555000/555000 473.60/239.95 c cleaning 9611 clauses out of 35746 with flag 565000/565000 480.19/243.31 c cleaning 9545 clauses out of 36135 with flag 575000/575000 486.98/246.83 c cleaning 9631 clauses out of 36591 with flag 585001/585001 497.06/252.09 c cleaning 9697 clauses out of 36959 with flag 595000/595000 504.07/255.68 c cleaning 9424 clauses out of 37262 with flag 605000/605000 515.27/261.31 c cleaning 9548 clauses out of 37838 with flag 615000/615000 525.07/266.40 c cleaning 10111 clauses out of 38290 with flag 625000/625000 533.55/270.74 c cleaning 9571 clauses out of 38187 with flag 635008/635008 541.54/274.85 c cleaning 9618 clauses out of 38610 with flag 645002/645002 554.74/281.51 c cleaning 9830 clauses out of 38990 with flag 655000/655000 562.88/285.75 c cleaning 9739 clauses out of 39160 with flag 665000/665000 576.73/292.84 c cleaning 9506 clauses out of 39422 with flag 675001/675001 604.31/306.80 c cleaning 9688 clauses out of 39915 with flag 685000/685000 622.10/315.77 c cleaning 9852 clauses out of 40227 with flag 695000/695000 636.88/323.28 c cleaning 9708 clauses out of 40381 with flag 705006/705006 650.74/330.35 c cleaning 9596 clauses out of 40667 with flag 715000/715000 660.73/335.47 c cleaning 9756 clauses out of 41073 with flag 725002/725002 674.90/342.65 c cleaning 9887 clauses out of 41318 with flag 735005/735005 683.07/346.83 c cleaning 9414 clauses out of 41426 with flag 745000/745000 697.31/354.10 c cleaning 9578 clauses out of 42012 with flag 755001/755001 705.26/358.22 c cleaning 9726 clauses out of 42434 with flag 765001/765001 711.81/361.66 c cleaning 9443 clauses out of 42708 with flag 775001/775001 726.17/368.90 c cleaning 9634 clauses out of 43270 with flag 785006/785006 739.39/375.74 c cleaning 9595 clauses out of 43631 with flag 795002/795002 749.35/380.85 c cleaning 9421 clauses out of 44034 with flag 805000/805000 757.91/385.21 c cleaning 9572 clauses out of 44613 with flag 815000/815000 767.51/390.10 c cleaning 0 clauses out of 5001 with flag 0/5001 769.71/391.30 c cleaning 9816 clauses out of 45041 with flag 825000/825000 776.25/394.74 c cleaning 9560 clauses out of 45220 with flag 835000/835000 782.61/398.02 c cleaning 9331 clauses out of 45660 with flag 845000/845000 792.35/403.02 c cleaning 9713 clauses out of 46331 with flag 855002/855002 801.33/407.75 c cleaning 9671 clauses out of 46616 with flag 865000/865000 810.69/412.55 c cleaning 9669 clauses out of 46947 with flag 875002/875002 824.62/419.63 c cleaning 9795 clauses out of 47276 with flag 885000/885000 839.75/427.34 c cleaning 9797 clauses out of 47482 with flag 895001/895001 859.32/437.39 c cleaning 9727 clauses out of 47686 with flag 905002/905002 876.47/446.00 c cleaning 9920 clauses out of 47962 with flag 915005/915005 898.21/457.05 c cleaning 9856 clauses out of 48037 with flag 925000/925000 918.98/467.51 c cleaning 9873 clauses out of 48181 with flag 935000/935000 930.54/473.59 c cleaning 9956 clauses out of 48311 with flag 945003/945003 946.68/481.80 c cleaning 9815 clauses out of 48352 with flag 955000/955000 955.21/486.13 c cleaning 9712 clauses out of 48537 with flag 965000/965000 964.11/490.72 c cleaning 9631 clauses out of 48825 with flag 975000/975000 974.44/496.16 c cleaning 9776 clauses out of 49194 with flag 985000/985000 986.76/502.46 c cleaning 9690 clauses out of 49418 with flag 995000/995000 994.26/506.30 c And the winner is Resolution 994.05/507.37 c starts : 171 994.05/507.37 c conflicts : 1001748 994.05/507.37 c decisions : 13247076 994.05/507.37 c propagations : 351333652 994.05/507.37 c inspects : 883795571 994.05/507.37 c shortcuts : 0 994.05/507.37 c learnt literals : 77 994.05/507.37 c learnt binary clauses : 33183 994.05/507.37 c learnt ternary clauses : 43819 994.05/507.37 c learnt constraints : 1001671 994.05/507.37 c ignored constraints : 0 994.05/507.37 c root simplifications : 0 994.05/507.37 c removed literals (reason simplification) : 17938601 994.05/507.37 c reason swapping (by a shorter reason) : 0 994.05/507.37 c Calls to reduceDB : 101 994.05/507.37 c number of reductions to clauses (during analyze) : 0 994.05/507.37 c number of learned constraints concerned by reduction : 0 994.05/507.37 c number of learning phase by resolution : 0 994.05/507.37 c number of learning phase by cutting planes : 0 994.05/507.37 c speed (assignments/second) : 693083.3474711687 994.05/507.37 c non guided choices 9688 994.05/507.39 c learnt constraints type 994.05/507.39 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 33183 994.05/507.39 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13293 994.05/507.39 c constraints type 994.05/507.39 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5893 994.05/507.39 c org.sat4j.minisat.constraints.card.MinWatchCard => 105 994.05/507.39 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1352 994.05/507.39 c constraints type 994.05/507.39 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1352 994.05/507.39 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5893 994.05/507.39 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 105 994.05/507.39 s SATISFIABLE 994.05/507.40 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 992.97/507.40 c Total wall clock time (in seconds): 507.278
OK 0
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741941-1338762526/watcher-3741941-1338762526 -o /tmp/evaluation-result-3741941-1338762526/solver-3741941-1338762526 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741941-1338762526.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.85 3.80 3.74 4/195 4574 /proc/meminfo: memFree=25454792/32873852 swapFree=7624/7624 [pid=4574] ppid=4572 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/4574/stat : 4574 (java) D 4572 4574 1918 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 342378063 9515008 182 33554432000 1073741824 1073778376 140734813542720 140734813533752 252263087797 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0 /proc/4574/statm: 2323 182 140 9 0 71 0 [startup+0.028422 s] /proc/loadavg: 3.85 3.80 3.74 4/195 4574 /proc/meminfo: memFree=25454792/32873852 swapFree=7624/7624 [pid=4574] ppid=4572 vsize=10510056 CPUtime=0.01 cores=1,3,5,7 /proc/4574/stat : 4574 (java) S 4572 4574 1918 0 -1 4202496 2568 0 1 0 0 1 0 0 20 0 2 0 342378063 10762297344 5316 33554432000 1073741824 1073778376 140736822702720 140736822693856 252266446909 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/4574/statm: 2627514 5316 942 9 0 2618623 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10510056 [startup+0.100317 s] /proc/loadavg: 3.85 3.80 3.74 4/195 4574 /proc/meminfo: memFree=25454792/32873852 swapFree=7624/7624 [pid=4574] ppid=4572 vsize=11586392 CPUtime=0.07 cores=1,3,5,7 /proc/4574/stat : 4574 (java) S 4572 4574 1918 0 -1 4202496 4699 0 1 0 5 2 0 0 20 0 18 0 342378063 11864465408 13063 33554432000 1073741824 1073778376 140736822702720 140736822693856 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/4574/statm: 2896598 13063 1939 9 0 2887285 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11586392 [startup+0.300289 s] /proc/loadavg: 3.85 3.80 3.74 4/195 4574 /proc/meminfo: memFree=25454792/32873852 swapFree=7624/7624 [pid=4574] ppid=4572 vsize=11586392 CPUtime=0.54 cores=1,3,5,7 /proc/4574/stat : 4574 (java) S 4572 4574 1918 0 -1 4202496 7968 0 1 0 51 3 0 0 20 0 18 0 342378063 11864465408 17960 33554432000 1073741824 1073778376 140736822702720 140736822693856 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/4574/statm: 2896598 17960 2224 9 0 2887285 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 11586392 [startup+0.700202 s] /proc/loadavg: 3.85 3.80 3.74 4/195 4574 /proc/meminfo: memFree=25454792/32873852 swapFree=7624/7624 [pid=4574] ppid=4572 vsize=11852648 CPUtime=1.83 cores=1,3,5,7 /proc/4574/stat : 4574 (java) S 4572 4574 1918 0 -1 4202496 10104 0 1 0 179 4 0 0 20 0 22 0 342378063 12137111552 28314 33554432000 1073741824 1073778376 140736822702720 140736822693856 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/4574/statm: 2963162 28314 2266 9 0 2953849 0 Current children cumulated CPU time (s) 1.83 Current children cumulated vsize (KiB) 11852648 [startup+1.50078 s] /proc/loadavg: 3.85 3.80 3.74 7/217 4596 /proc/meminfo: memFree=25341104/32873852 swapFree=7624/7624 [pid=4574] ppid=4572 vsize=11852648 CPUtime=4.04 cores=1,3,5,7 /proc/4574/stat : 4574 (java) S 4572 4574 1918 0 -1 4202496 13712 0 1 0 396 8 0 0 20 0 22 0 342378063 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140736822693856 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/4574/statm: 2963162 60035 2266 9 0 2953849 0 [pid=4574/tid=4576] ppid=4572 vsize=11852648 CPUtime=0.42 cores=1,3,5,7 /proc/4574/task/4576/stat : 4576 (java) S 4572 4574 1918 0 -1 4202560 3403 0 1 0 39 3 0 0 20 0 22 0 342378064 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140513364087960 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4577] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4577/stat : 4577 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140513353148712 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4578] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4578/stat : 4578 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140513352095912 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4579] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4579/stat : 4579 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140513351043624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4574/tid=4580] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4580/stat : 4580 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140513349990824 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4581] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4581/stat : 4581 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140513348938536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4582] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4582/stat : 4582 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140513347885736 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4583] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4583/stat : 4583 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140513346833448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4584] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4584/stat : 4584 (java) S 4572 4574 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140513192995752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4585] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4585/stat : 4585 (java) S 4572 4574 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342378068 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140513180797160 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4586] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4586/stat : 4586 (java) S 4572 4574 1918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342378069 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140513179743224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4587] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4587/stat : 4587 (java) S 4572 4574 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342378069 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140513178690824 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4588] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4588/stat : 4588 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342378071 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140513177639312 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4589] ppid=4572 vsize=11852648 CPUtime=0.7 cores=1,3,5,7 /proc/4574/task/4589/stat : 4589 (java) S 4572 4574 1918 0 -1 4202560 3465 0 0 0 70 0 0 0 20 0 22 0 342378071 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140513176586936 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4590] ppid=4572 vsize=11852648 CPUtime=0.8 cores=1,3,5,7 /proc/4574/task/4590/stat : 4590 (java) S 4572 4574 1918 0 -1 4202560 5485 0 0 0 80 0 0 0 20 0 22 0 342378071 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140513175534136 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4591] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4591/stat : 4591 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342378071 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140513174482040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4592] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4592/stat : 4592 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342378071 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140513173429448 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4593] ppid=4572 vsize=11852648 CPUtime=1.01 cores=1,3,5,7 /proc/4574/task/4593/stat : 4593 (java) R 4572 4574 1918 0 -1 4202560 26 0 0 0 101 0 0 0 20 0 22 0 342378109 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140513172374016 140513228114052 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=4574/tid=4594] ppid=4572 vsize=11852648 CPUtime=1.02 cores=1,3,5,7 /proc/4574/task/4594/stat : 4594 (java) R 4572 4574 1918 0 -1 4202560 133 0 0 0 100 2 0 0 20 0 22 0 342378109 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140513171320696 140513228257980 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4595] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4595/stat : 4595 (java) S 4572 4574 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342378110 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140513170269352 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4596] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4596/stat : 4596 (java) S 4572 4574 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342378110 12137111552 60035 33554432000 1073741824 1073778376 140736822702720 140513169216552 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.04 Current children cumulated vsize (KiB) 11852648 [startup+3.10081 s] /proc/loadavg: 3.85 3.80 3.74 4/217 4596 /proc/meminfo: memFree=25006540/32873852 swapFree=7624/7624 [pid=4574] ppid=4572 vsize=11852648 CPUtime=7.44 cores=1,3,5,7 /proc/4574/stat : 4574 (java) S 4572 4574 1918 0 -1 4202496 15242 0 1 0 729 15 0 0 20 0 22 0 342378063 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140736822693856 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/4574/statm: 2963162 131761 2291 9 0 2953849 0 [pid=4574/tid=4576] ppid=4572 vsize=11852648 CPUtime=0.42 cores=1,3,5,7 /proc/4574/task/4576/stat : 4576 (java) S 4572 4574 1918 0 -1 4202560 3403 0 1 0 39 3 0 0 20 0 22 0 342378064 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140513364087960 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4577] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4577/stat : 4577 (java) S 4572 4574 1918 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140513353148712 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4578] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4578/stat : 4578 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140513352095912 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4579] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4579/stat : 4579 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140513351043624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4580] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4580/stat : 4580 (java) S 4572 4574 1918 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140513349990824 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4581] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4581/stat : 4581 (java) S 4572 4574 1918 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140513348938536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4574/tid=4582] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4582/stat : 4582 (java) S 4572 4574 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140513347885736 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4583] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4583/stat : 4583 (java) S 4572 4574 1918 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140513346833448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4584] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4584/stat : 4584 (java) S 4572 4574 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140513192995752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4585] ppid=4572 vsize=11852648 CPUtime=0.02 cores=1,3,5,7 /proc/4574/task/4585/stat : 4585 (java) S 4572 4574 1918 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 22 0 342378068 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140513180797160 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4586] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4586/stat : 4586 (java) S 4572 4574 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342378069 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140513179743224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4587] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4587/stat : 4587 (java) S 4572 4574 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342378069 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140513178690824 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4588] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4588/stat : 4588 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342378071 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140513177639312 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4589] ppid=4572 vsize=11852648 CPUtime=0.74 cores=1,3,5,7 /proc/4574/task/4589/stat : 4589 (java) S 4572 4574 1918 0 -1 4202560 3466 0 0 0 74 0 0 0 20 0 22 0 342378071 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140513176586936 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4590] ppid=4572 vsize=11852648 CPUtime=0.99 cores=1,3,5,7 /proc/4574/task/4590/stat : 4590 (java) S 4572 4574 1918 0 -1 4202560 6817 0 0 0 98 1 0 0 20 0 22 0 342378071 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140513175534136 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4591] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4591/stat : 4591 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342378071 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140513174482040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4592] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4592/stat : 4592 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342378071 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140513173429448 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4593] ppid=4572 vsize=11852648 CPUtime=2.54 cores=1,3,5,7 /proc/4574/task/4593/stat : 4593 (java) R 4572 4574 1918 0 -1 4202560 29 0 0 0 254 0 0 0 20 0 22 0 342378109 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140513172373608 140513228072478 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=4574/tid=4594] ppid=4572 vsize=11852648 CPUtime=2.56 cores=1,3,5,7 /proc/4574/task/4594/stat : 4594 (java) R 4572 4574 1918 0 -1 4202560 262 0 0 0 249 7 0 0 20 0 22 0 342378109 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140513171320632 140513228257693 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4595] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4595/stat : 4595 (java) S 4572 4574 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342378110 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140513170269352 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4596] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4596/stat : 4596 (java) S 4572 4574 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342378110 12137111552 131761 33554432000 1073741824 1073778376 140736822702720 140513169216552 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.44 Current children cumulated vsize (KiB) 11852648 [startup+6.30086 s] /proc/loadavg: 3.87 3.80 3.74 5/217 4596 /proc/meminfo: memFree=24747624/32873852 swapFree=7624/7624 [pid=4574] ppid=4572 vsize=11852648 CPUtime=14.01 cores=1,3,5,7 /proc/4574/stat : 4574 (java) S 4572 4574 1918 0 -1 4202496 17244 0 1 0 1375 26 0 0 20 0 22 0 342378063 12137111552 245808 33554432000 1073741824 1073778376 140736822702720 140736822693856 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/4574/statm: 2963162 245808 2291 9 0 2953849 0 [pid=4574/tid=4576] ppid=4572 vsize=11852648 CPUtime=0.42 cores=1,3,5,7 /proc/4574/task/4576/stat : 4576 (java) S 4572 4574 1918 0 -1 4202560 3403 0 1 0 39 3 0 0 20 0 22 0 342378064 12137111552 245808 33554432000 1073741824 1073778376 140736822702720 140513364087960 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4577] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4577/stat : 4577 (java) S 4572 4574 1918 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 245808 33554432000 1073741824 1073778376 140736822702720 140513353148712 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4578] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4578/stat : 4578 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 245808 33554432000 1073741824 1073778376 140736822702720 140513352095912 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4579] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4579/stat : 4579 (java) S 4572 4574 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 245808 33554432000 1073741824 1073778376 140736822702720 140513351043624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4580] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4580/stat : 4580 (java) S 4572 4574 1918 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 245808 33554432000 1073741824 1073778376 140736822702720 140513349990824 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4581] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4581/stat : 4581 (java) S 4572 4574 1918 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 245808 33554432000 1073741824 1073778376 140736822702720 140513348938536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4574/tid=4582] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4582/stat : 4582 (java) S 4572 4574 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 245808 33554432000 1073741824 1073778376 140736822702720 140513347885736 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4583] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4583/stat : 4583 (java) S 4572 4574 1918 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 245808 33554432000 1073741824 1073778376 140736822702720 140513346833448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4584] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4584/stat : 4584 (java) S 4572 4574 1918 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 342378067 12137111552 245808 33554432000 1073741824 1073778376 140736822702720 140513192995752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4585] ppid=4572 vsize=11852648 CPUtime=0.07 cores=1,3,5,7 /proc/4574/task/4585/stat : 4585 (java) S 4572 4574 1918 0 -1 4202560 36 0 0 0 7 0 0 0 20 0 22 0 342378068 12137111552 245808 33554432000 1073741824 1073778376 140736822702720 140513180797160 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4586] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4586/stat : 4586 (java) S 4572 4574 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342378069 12137111552 245808 33554432000 1073741824 1073778376 140736822702720 140513179743224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4587] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4587/stat : 4587 (java) S 4572 4574 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342378069 12137111552 245808 33554432000 1073741824 1073778376 140736822702720 140513178690824 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4588] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4588/stat : 4588 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342378071 12137111552 245808 33554432000 1073741824 1073778376 140736822702720 140513177639312 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4589] ppid=4572 vsize=11852648 CPUtime=0.78 cores=1,3,5,7 /proc/4574/task/4589/stat : 4589 (java) S 4572 4574 1918 0 -1 4202560 3466 0 0 0 78 0 0 0 20 0 22 0 342378071 12137111552 245808 33554432000 1073741824 1073778376 140736822702720 140513176586936 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 ################ # More data... # ################ [pid=4574/tid=4587] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4587/stat : 4587 (java) S 4572 4574 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342378069 12137111552 726445 33554432000 1073741824 1073778376 140736822702720 140513178690824 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4588] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4588/stat : 4588 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342378071 12137111552 726445 33554432000 1073741824 1073778376 140736822702720 140513177639312 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4589] ppid=4572 vsize=11852648 CPUtime=1.07 cores=1,3,5,7 /proc/4574/task/4589/stat : 4589 (java) S 4572 4574 1918 0 -1 4202560 3495 0 0 0 106 1 0 0 20 0 22 0 342378071 12137111552 726445 33554432000 1073741824 1073778376 140736822702720 140513176586936 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4590] ppid=4572 vsize=11852648 CPUtime=1.44 cores=1,3,5,7 /proc/4574/task/4590/stat : 4590 (java) S 4572 4574 1918 0 -1 4202560 12268 0 0 0 142 2 0 0 20 0 22 0 342378071 12137111552 726445 33554432000 1073741824 1073778376 140736822702720 140513175534136 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4591] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4591/stat : 4591 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342378071 12137111552 726445 33554432000 1073741824 1073778376 140736822702720 140513174482040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4592] ppid=4572 vsize=11852648 CPUtime=0.23 cores=1,3,5,7 /proc/4574/task/4592/stat : 4592 (java) S 4572 4574 1918 0 -1 4202560 29 0 0 0 11 12 0 0 20 0 22 0 342378071 12137111552 726445 33554432000 1073741824 1073778376 140736822702720 140513173429448 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4593] ppid=4572 vsize=11852648 CPUtime=480.17 cores=1,3,5,7 /proc/4574/task/4593/stat : 4593 (java) R 4572 4574 1918 0 -1 4202560 91 0 0 0 48009 8 0 0 20 0 22 0 342378109 12137111552 726445 33554432000 1073741824 1073778376 140736822702720 140513172373712 140513227422996 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4594] ppid=4572 vsize=11852648 CPUtime=480.3 cores=1,3,5,7 /proc/4574/task/4594/stat : 4594 (java) R 4572 4574 1918 0 -1 4202560 1302 0 0 0 47973 57 0 0 20 0 22 0 342378109 12137111552 726445 33554432000 1073741824 1073778376 140736822702720 140513171319008 140513228169557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4595] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4595/stat : 4595 (java) S 4572 4574 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342378110 12137111552 726445 33554432000 1073741824 1073778376 140736822702720 140513170269352 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4596] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4596/stat : 4596 (java) S 4572 4574 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342378110 12137111552 726445 33554432000 1073741824 1073778376 140736822702720 140513169216552 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 994.26 Current children cumulated vsize (KiB) 11852648 [startup+507.108 s] /proc/loadavg: 3.95 3.92 3.79 4/215 4601 /proc/meminfo: memFree=21971752/32873852 swapFree=7624/7624 [pid=4574] ppid=4572 vsize=11852648 CPUtime=993.86 cores=1,3,5,7 /proc/4574/stat : 4574 (java) S 4572 4574 1918 0 -1 4202496 22373 0 1 0 99293 93 0 0 20 0 20 0 342378063 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140736822693856 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/4574/statm: 2963162 726439 2293 9 0 2953849 0 [pid=4574/tid=4576] ppid=4572 vsize=11852648 CPUtime=0.45 cores=1,3,5,7 /proc/4574/task/4576/stat : 4576 (java) S 4572 4574 1918 0 -1 4202560 3440 0 1 0 40 5 0 0 20 0 20 0 342378064 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513364087960 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4577] ppid=4572 vsize=11852648 CPUtime=0.67 cores=1,3,5,7 /proc/4574/task/4577/stat : 4577 (java) S 4572 4574 1918 0 -1 4202560 55 0 0 0 65 2 0 0 20 0 20 0 342378067 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513353148712 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4578] ppid=4572 vsize=11852648 CPUtime=0.66 cores=1,3,5,7 /proc/4574/task/4578/stat : 4578 (java) S 4572 4574 1918 0 -1 4202560 54 0 0 0 66 0 0 0 20 0 20 0 342378067 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513352095912 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4579] ppid=4572 vsize=11852648 CPUtime=0.73 cores=1,3,5,7 /proc/4574/task/4579/stat : 4579 (java) S 4572 4574 1918 0 -1 4202560 41 0 0 0 73 0 0 0 20 0 20 0 342378067 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513351043624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4580] ppid=4572 vsize=11852648 CPUtime=0.72 cores=1,3,5,7 /proc/4574/task/4580/stat : 4580 (java) S 4572 4574 1918 0 -1 4202560 52 0 0 0 69 3 0 0 20 0 20 0 342378067 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513349990824 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4581] ppid=4572 vsize=11852648 CPUtime=0.67 cores=1,3,5,7 /proc/4574/task/4581/stat : 4581 (java) S 4572 4574 1918 0 -1 4202560 50 0 0 0 65 2 0 0 20 0 20 0 342378067 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513348938536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4582] ppid=4572 vsize=11852648 CPUtime=0.72 cores=1,3,5,7 /proc/4574/task/4582/stat : 4582 (java) S 4572 4574 1918 0 -1 4202560 46 0 0 0 70 2 0 0 20 0 20 0 342378067 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513347885736 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4574/tid=4583] ppid=4572 vsize=11852648 CPUtime=0.63 cores=1,3,5,7 /proc/4574/task/4583/stat : 4583 (java) S 4572 4574 1918 0 -1 4202560 46 0 0 0 61 2 0 0 20 0 20 0 342378067 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513346833448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4574/tid=4584] ppid=4572 vsize=11852648 CPUtime=0.69 cores=1,3,5,7 /proc/4574/task/4584/stat : 4584 (java) S 4572 4574 1918 0 -1 4202560 33 0 0 0 69 0 0 0 20 0 20 0 342378067 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513192995752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4574/tid=4585] ppid=4572 vsize=11852648 CPUtime=22.54 cores=1,3,5,7 /proc/4574/task/4585/stat : 4585 (java) S 4572 4574 1918 0 -1 4202560 184 0 0 0 2248 6 0 0 20 0 20 0 342378068 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513180797160 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4586] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4586/stat : 4586 (java) S 4572 4574 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342378069 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513179743224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4587] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4587/stat : 4587 (java) S 4572 4574 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 342378069 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513178690824 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4588] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4588/stat : 4588 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342378071 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513177639312 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4589] ppid=4572 vsize=11852648 CPUtime=1.07 cores=1,3,5,7 /proc/4574/task/4589/stat : 4589 (java) S 4572 4574 1918 0 -1 4202560 3495 0 0 0 106 1 0 0 20 0 20 0 342378071 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513176586936 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4590] ppid=4572 vsize=11852648 CPUtime=1.44 cores=1,3,5,7 /proc/4574/task/4590/stat : 4590 (java) S 4572 4574 1918 0 -1 4202560 12268 0 0 0 142 2 0 0 20 0 20 0 342378071 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513175534136 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4591] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4591/stat : 4591 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342378071 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513174482040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4592] ppid=4572 vsize=11852648 CPUtime=0.23 cores=1,3,5,7 /proc/4574/task/4592/stat : 4592 (java) S 4572 4574 1918 0 -1 4202560 29 0 0 0 11 12 0 0 20 0 20 0 342378071 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513173429448 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4594] ppid=4572 vsize=11852648 CPUtime=481.11 cores=1,3,5,7 /proc/4574/task/4594/stat : 4594 (java) R 4572 4574 1918 0 -1 4202560 1302 0 0 0 48054 57 0 0 20 0 20 0 342378109 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513171319216 140513228169763 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4596] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4596/stat : 4596 (java) S 4572 4574 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342378110 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513169216552 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 993.86 Current children cumulated vsize (KiB) 11852648 [startup+507.301 s] /proc/loadavg: 3.95 3.92 3.79 4/215 4601 /proc/meminfo: memFree=21971752/32873852 swapFree=7624/7624 [pid=4574] ppid=4572 vsize=11852648 CPUtime=994.05 cores=1,3,5,7 /proc/4574/stat : 4574 (java) S 4572 4574 1918 0 -1 4202496 22373 0 1 0 99312 93 0 0 20 0 20 0 342378063 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140736822693856 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/4574/statm: 2963162 726439 2293 9 0 2953849 0 [pid=4574/tid=4576] ppid=4572 vsize=11852648 CPUtime=0.45 cores=1,3,5,7 /proc/4574/task/4576/stat : 4576 (java) S 4572 4574 1918 0 -1 4202560 3440 0 1 0 40 5 0 0 20 0 20 0 342378064 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513364087960 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4577] ppid=4572 vsize=11852648 CPUtime=0.67 cores=1,3,5,7 /proc/4574/task/4577/stat : 4577 (java) S 4572 4574 1918 0 -1 4202560 55 0 0 0 65 2 0 0 20 0 20 0 342378067 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513353148712 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4578] ppid=4572 vsize=11852648 CPUtime=0.66 cores=1,3,5,7 /proc/4574/task/4578/stat : 4578 (java) S 4572 4574 1918 0 -1 4202560 54 0 0 0 66 0 0 0 20 0 20 0 342378067 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513352095912 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4579] ppid=4572 vsize=11852648 CPUtime=0.73 cores=1,3,5,7 /proc/4574/task/4579/stat : 4579 (java) S 4572 4574 1918 0 -1 4202560 41 0 0 0 73 0 0 0 20 0 20 0 342378067 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513351043624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4580] ppid=4572 vsize=11852648 CPUtime=0.72 cores=1,3,5,7 /proc/4574/task/4580/stat : 4580 (java) S 4572 4574 1918 0 -1 4202560 52 0 0 0 69 3 0 0 20 0 20 0 342378067 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513349990824 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4581] ppid=4572 vsize=11852648 CPUtime=0.67 cores=1,3,5,7 /proc/4574/task/4581/stat : 4581 (java) S 4572 4574 1918 0 -1 4202560 50 0 0 0 65 2 0 0 20 0 20 0 342378067 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513348938536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4582] ppid=4572 vsize=11852648 CPUtime=0.72 cores=1,3,5,7 /proc/4574/task/4582/stat : 4582 (java) S 4572 4574 1918 0 -1 4202560 46 0 0 0 70 2 0 0 20 0 20 0 342378067 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513347885736 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4574/tid=4583] ppid=4572 vsize=11852648 CPUtime=0.63 cores=1,3,5,7 /proc/4574/task/4583/stat : 4583 (java) S 4572 4574 1918 0 -1 4202560 46 0 0 0 61 2 0 0 20 0 20 0 342378067 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513346833448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4574/tid=4584] ppid=4572 vsize=11852648 CPUtime=0.69 cores=1,3,5,7 /proc/4574/task/4584/stat : 4584 (java) S 4572 4574 1918 0 -1 4202560 33 0 0 0 69 0 0 0 20 0 20 0 342378067 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513192995752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4574/tid=4585] ppid=4572 vsize=11852648 CPUtime=22.54 cores=1,3,5,7 /proc/4574/task/4585/stat : 4585 (java) S 4572 4574 1918 0 -1 4202560 184 0 0 0 2248 6 0 0 20 0 20 0 342378068 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513180797160 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4586] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4586/stat : 4586 (java) S 4572 4574 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342378069 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513179743224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4587] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4587/stat : 4587 (java) S 4572 4574 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 342378069 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513178690824 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4588] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4588/stat : 4588 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342378071 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513177639312 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4589] ppid=4572 vsize=11852648 CPUtime=1.07 cores=1,3,5,7 /proc/4574/task/4589/stat : 4589 (java) S 4572 4574 1918 0 -1 4202560 3495 0 0 0 106 1 0 0 20 0 20 0 342378071 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513176586936 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4590] ppid=4572 vsize=11852648 CPUtime=1.44 cores=1,3,5,7 /proc/4574/task/4590/stat : 4590 (java) S 4572 4574 1918 0 -1 4202560 12268 0 0 0 142 2 0 0 20 0 20 0 342378071 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513175534136 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4591] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4591/stat : 4591 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342378071 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513174482040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4592] ppid=4572 vsize=11852648 CPUtime=0.23 cores=1,3,5,7 /proc/4574/task/4592/stat : 4592 (java) S 4572 4574 1918 0 -1 4202560 29 0 0 0 11 12 0 0 20 0 20 0 342378071 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513173429448 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4594] ppid=4572 vsize=11852648 CPUtime=481.3 cores=1,3,5,7 /proc/4574/task/4594/stat : 4594 (java) R 4572 4574 1918 0 -1 4202560 1302 0 0 0 48073 57 0 0 20 0 20 0 342378109 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513171319216 140513228170001 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4596] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4596/stat : 4596 (java) S 4572 4574 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342378110 12137111552 726439 33554432000 1073741824 1073778376 140736822702720 140513169216552 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 994.05 Current children cumulated vsize (KiB) 11852648 [startup+507.401 s] /proc/loadavg: 3.95 3.92 3.79 4/215 4601 /proc/meminfo: memFree=21971752/32873852 swapFree=7624/7624 [pid=4574] ppid=4572 vsize=11852648 CPUtime=992.97 cores=1,3,5,7 /proc/4574/stat : 4574 (java) S 4572 4574 1918 0 -1 4202496 22377 0 1 0 99196 101 0 0 20 0 20 0 342378063 12137111552 726945 33554432000 1073741824 1073778376 140736822702720 140736822693856 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/4574/statm: 2963162 726945 2293 9 0 2953849 0 [pid=4574/tid=4576] ppid=4572 vsize=11852648 CPUtime=0.45 cores=1,3,5,7 /proc/4574/task/4576/stat : 4576 (java) S 4572 4574 1918 0 -1 4202560 3440 0 1 0 40 5 0 0 20 0 20 0 342378064 12137111552 726945 33554432000 1073741824 1073778376 140736822702720 140513364087512 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4577] ppid=4572 vsize=11852648 CPUtime=0.67 cores=1,3,5,7 /proc/4574/task/4577/stat : 4577 (java) S 4572 4574 1918 0 -1 4202560 55 0 0 0 65 2 0 0 20 0 20 0 342378067 12137111552 726945 33554432000 1073741824 1073778376 140736822702720 140513353148712 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4578] ppid=4572 vsize=11852648 CPUtime=0.66 cores=1,3,5,7 /proc/4574/task/4578/stat : 4578 (java) S 4572 4574 1918 0 -1 4202560 54 0 0 0 66 0 0 0 20 0 20 0 342378067 12137111552 726945 33554432000 1073741824 1073778376 140736822702720 140513352095912 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4579] ppid=4572 vsize=11852648 CPUtime=0.73 cores=1,3,5,7 /proc/4574/task/4579/stat : 4579 (java) S 4572 4574 1918 0 -1 4202560 41 0 0 0 73 0 0 0 20 0 20 0 342378067 12137111552 726945 33554432000 1073741824 1073778376 140736822702720 140513351043624 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4580] ppid=4572 vsize=11852648 CPUtime=0.72 cores=1,3,5,7 /proc/4574/task/4580/stat : 4580 (java) S 4572 4574 1918 0 -1 4202560 52 0 0 0 69 3 0 0 20 0 20 0 342378067 12137111552 726945 33554432000 1073741824 1073778376 140736822702720 140513349990824 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4581] ppid=4572 vsize=11852648 CPUtime=0.67 cores=1,3,5,7 /proc/4574/task/4581/stat : 4581 (java) S 4572 4574 1918 0 -1 4202560 50 0 0 0 65 2 0 0 20 0 20 0 342378067 12137111552 726945 33554432000 1073741824 1073778376 140736822702720 140513348938536 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4582] ppid=4572 vsize=11852648 CPUtime=0.72 cores=1,3,5,7 /proc/4574/task/4582/stat : 4582 (java) S 4572 4574 1918 0 -1 4202560 46 0 0 0 70 2 0 0 20 0 20 0 342378067 12137111552 726945 33554432000 1073741824 1073778376 140736822702720 140513347885736 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4574/tid=4583] ppid=4572 vsize=11852648 CPUtime=0.63 cores=1,3,5,7 /proc/4574/task/4583/stat : 4583 (java) S 4572 4574 1918 0 -1 4202560 46 0 0 0 61 2 0 0 20 0 20 0 342378067 12137111552 726945 33554432000 1073741824 1073778376 140736822702720 140513346833448 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4574/tid=4584] ppid=4572 vsize=11852648 CPUtime=0.69 cores=1,3,5,7 /proc/4574/task/4584/stat : 4584 (java) S 4572 4574 1918 0 -1 4202560 33 0 0 0 69 0 0 0 20 0 20 0 342378067 12137111552 726945 33554432000 1073741824 1073778376 140736822702720 140513192995752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4574/tid=4585] ppid=4572 vsize=11852648 CPUtime=22.54 cores=1,3,5,7 /proc/4574/task/4585/stat : 4585 (java) S 4572 4574 1918 0 -1 4202560 184 0 0 0 2248 6 0 0 20 0 20 0 342378068 12137111552 726945 33554432000 1073741824 1073778376 140736822702720 140513180797160 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4586] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4586/stat : 4586 (java) S 4572 4574 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342378069 12137111552 726945 33554432000 1073741824 1073778376 140736822702720 140513179743224 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4587] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4587/stat : 4587 (java) S 4572 4574 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 342378069 12137111552 726945 33554432000 1073741824 1073778376 140736822702720 140513178690824 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4588] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4588/stat : 4588 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342378071 12137111552 726945 33554432000 1073741824 1073778376 140736822702720 140513177639312 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4574/tid=4589] ppid=4572 vsize=11852648 CPUtime=1.08 cores=1,3,5,7 /proc/4574/task/4589/stat : 4589 (java) S 4572 4574 1918 0 -1 4202560 3495 0 0 0 107 1 0 0 20 0 20 0 342378071 12137111552 726945 33554432000 1073741824 1073778376 140736822702720 140513176586936 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4590] ppid=4572 vsize=11852648 CPUtime=1.46 cores=1,3,5,7 /proc/4574/task/4590/stat : 4590 (java) R 4572 4574 1918 0 -1 4202560 12269 0 0 0 144 2 0 0 20 0 20 0 342378071 12137111552 726945 33554432000 1073741824 1073778376 140736822702720 140513175534136 140513370684164 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4591] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4591/stat : 4591 (java) S 4572 4574 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342378071 12137111552 726945 33554432000 1073741824 1073778376 140736822702720 140513174482040 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4574/tid=4592] ppid=4572 vsize=11852648 CPUtime=0.23 cores=1,3,5,7 /proc/4574/task/4592/stat : 4592 (java) S 4572 4574 1918 0 -1 4202560 29 0 0 0 11 12 0 0 20 0 20 0 342378071 12137111552 726945 33554432000 1073741824 1073778376 140736822702720 140513173429448 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4574/tid=4596] ppid=4572 vsize=11852648 CPUtime=0 cores=1,3,5,7 /proc/4574/task/4596/stat : 4596 (java) S 4572 4574 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342378110 12137111552 726945 33554432000 1073741824 1073778376 140736822702720 140513169216552 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 992.97 Current children cumulated vsize (KiB) 11852648 Child status: 10 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 2.17999 # lost CPU user time (s): 2.33002 # lost CPU system time (s): -0.15 Real time (s): 507.422 CPU time (s): 995.314 CPU user time (s): 994.271 CPU system time (s): 1.04282 CPU usage (%): 196.151 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 991.941 system time used= 1.19282 maximum resident set size= 2907784 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22379 page faults= 1 swaps= 0 block input operations= 0 block output operations= 568 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15216 involuntary context switches= 16585 runsolver used 2.17267 second user time and 5.56715 second system time The end
Begin job on node131 at 2012-06-04 00:28:46 IDJOB=3741941 IDBENCH=90119 IDSOLVER=2328 FILE ID=node131/3741941-1338762526 RUNJOBID= node131-1338749255-1935 PBS_JOBID= 14636797 Free space on /tmp= 71404 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K105.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741941-1338762526/watcher-3741941-1338762526 -o /tmp/evaluation-result-3741941-1338762526/solver-3741941-1338762526 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741941-1338762526.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f2bb3fbff44c335cc6fb8854fd262f5a RANDOM SEED=254426539 node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 25454792 kB Buffers: 566384 kB Cached: 3132616 kB SwapCached: 2348 kB Active: 4261724 kB Inactive: 2264492 kB Active(anon): 2822912 kB Inactive(anon): 3664 kB Active(file): 1438812 kB Inactive(file): 2260828 kB Unevictable: 7624 kB Mlocked: 7624 kB SwapTotal: 67108856 kB SwapFree: 67099088 kB Dirty: 828 kB Writeback: 0 kB AnonPages: 2849468 kB Mapped: 22428 kB Shmem: 0 kB Slab: 729132 kB SReclaimable: 171324 kB SUnreclaim: 557808 kB KernelStack: 1616 kB PageTables: 9756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 10461232 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 2813952 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71404 MiB End job on node131 at 2012-06-04 00:37:14