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