Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 1801.51 | 905.672 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_0_mh_ic.opb |
| MD5SUM | b32f126aecba6bfb006545c8818dc00d |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2252617 |
| Best CPU time to get the best result obtained on this benchmark | 504.786 |
| 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 | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 68417929 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 3962242471 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 68417929 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 3962242471 |
| Number of bits of the biggest sum of numbers | 32 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.10 c version 2.2.0.v20100531 0.00/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.10 c java.vm.version 19.1-b02 0.00/0.10 c java.vm.vendor Sun Microsystems Inc. 0.00/0.10 c sun.arch.data.model 64 0.00/0.10 c java.version 1.6.0_24 0.00/0.10 c os.name Linux 0.00/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.10 c os.arch amd64 0.00/0.10 c Free memory 1349517296 0.00/0.10 c Max memory 1356595200 0.00/0.10 c Total memory 1356595200 0.00/0.10 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization 0.07/0.13 c ManyCore solver with 2 solvers running in parallel 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c Stops conflict analysis at the first Unique Implication Point 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c Stops conflict analysis at the first Unique Implication Point 0.07/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 0.07/0.13 c solving HOME/instance-3744028-1338800223.opb 0.07/0.13 c reading problem ... 1.24/0.60 c ... done. Wall clock time 0.469s. 1.24/0.60 c #vars 9765 1.24/0.60 c #constraints 21983 1.24/0.60 c constraints type 1.24/0.60 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1.24/0.60 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1.60/0.70 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1.60/0.70 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 1.60/0.70 c constraints type 1.60/0.70 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1.60/0.70 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1.60/0.70 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1.60/0.70 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015 2.39/0.98 c And the winner is Resolution 2.95/1.63 c SATISFIABLE 2.95/1.63 c OPTIMIZING... 2.95/1.63 c Got one! Elapsed wall clock time (in seconds):1.497 2.95/1.63 o 2679869 2.95/1.67 c And the winner is Resolution 3.18/2.66 c Got one! Elapsed wall clock time (in seconds):2.527 3.18/2.66 o 2629460 3.31/2.72 c And the winner is Resolution 3.42/3.69 c Got one! Elapsed wall clock time (in seconds):3.556 3.42/3.69 o 2587802 3.46/3.75 c And the winner is Resolution 3.65/4.71 c Got one! Elapsed wall clock time (in seconds):4.583 3.65/4.71 o 2516420 9.37/7.42 c cleaning 2493 clauses out of 4990 with flag 5001/5001 15.34/10.31 c cleaning 4241 clauses out of 8496 with flag 11000/11000 22.00/13.69 c cleaning 5618 clauses out of 11255 with flag 18000/18000 30.39/17.81 c cleaning 6818 clauses out of 13639 with flag 26002/26002 39.44/22.36 c cleaning 7908 clauses out of 15819 with flag 35000/35000 49.86/27.58 c cleaning 8954 clauses out of 17913 with flag 45002/45002 60.90/33.02 c cleaning 9966 clauses out of 19957 with flag 56000/56000 71.94/38.56 c cleaning 10988 clauses out of 21991 with flag 68000/68000 86.29/45.79 c cleaning 11985 clauses out of 24003 with flag 81001/81001 100.86/53.02 c cleaning 13002 clauses out of 26018 with flag 95001/95001 115.62/60.41 c cleaning 13989 clauses out of 28015 with flag 110000/110000 131.83/68.51 c cleaning 15008 clauses out of 30028 with flag 126002/126002 147.87/76.51 c cleaning 15999 clauses out of 32018 with flag 143000/143000 166.12/85.66 c cleaning 16997 clauses out of 34019 with flag 161000/161000 186.17/95.64 c cleaning 18011 clauses out of 36023 with flag 180001/180001 205.52/105.26 c cleaning 19003 clauses out of 38011 with flag 200000/200000 228.91/116.93 c cleaning 20000 clauses out of 40008 with flag 221000/221000 251.18/128.01 c cleaning 20998 clauses out of 42008 with flag 243000/243000 273.44/139.14 c cleaning 21501 clauses out of 43012 with flag 265002/265002 295.71/150.27 c cleaning 21748 clauses out of 43510 with flag 287001/287001 318.69/161.77 c cleaning 21873 clauses out of 43761 with flag 309000/309000 341.55/173.16 c cleaning 21934 clauses out of 43888 with flag 331000/331000 364.56/184.63 c cleaning 21974 clauses out of 43957 with flag 353003/353003 388.04/196.32 c cleaning 21985 clauses out of 43980 with flag 375000/375000 412.42/208.57 c cleaning 21991 clauses out of 43997 with flag 397002/397002 435.54/220.06 c cleaning 21988 clauses out of 44004 with flag 419000/419000 458.00/231.24 c And the winner is Resolution 459.20/232.78 c Got one! Elapsed wall clock time (in seconds):232.653 459.20/232.78 o 2501770 459.24/232.87 c And the winner is Resolution 459.48/233.81 c Got one! Elapsed wall clock time (in seconds):233.676 459.48/233.81 o 2408262 463.71/235.94 c cleaning 22000 clauses out of 44013 with flag 441000/441000 483.08/245.67 c cleaning 22002 clauses out of 44013 with flag 463000/463000 505.23/256.72 c cleaning 22004 clauses out of 44015 with flag 485004/485004 527.62/267.97 c cleaning 21994 clauses out of 44007 with flag 507000/507000 549.08/278.62 c cleaning 21998 clauses out of 44014 with flag 529001/529001 571.47/289.89 c cleaning 22000 clauses out of 44016 with flag 551001/551001 592.64/300.48 c cleaning 21999 clauses out of 44015 with flag 573000/573000 614.65/311.46 c cleaning 22005 clauses out of 44017 with flag 595001/595001 633.38/320.83 c cleaning 21997 clauses out of 44012 with flag 617001/617001 654.24/331.22 c cleaning 22002 clauses out of 44015 with flag 639001/639001 674.11/341.26 c cleaning 21995 clauses out of 44012 with flag 661000/661000 694.04/351.11 c cleaning 22004 clauses out of 44018 with flag 683001/683001 713.82/361.07 c cleaning 22004 clauses out of 44013 with flag 705000/705000 733.08/370.63 c cleaning 21999 clauses out of 44009 with flag 727000/727000 752.83/380.52 c cleaning 21993 clauses out of 44010 with flag 749000/749000 772.38/390.32 c cleaning 22003 clauses out of 44017 with flag 771000/771000 792.23/400.22 c cleaning 22002 clauses out of 44015 with flag 793001/793001 813.44/410.85 c cleaning 21993 clauses out of 44012 with flag 815000/815000 834.12/421.30 c cleaning 21998 clauses out of 44019 with flag 837000/837000 856.72/432.58 c cleaning 22005 clauses out of 44021 with flag 859000/859000 877.75/443.09 c cleaning 22000 clauses out of 44016 with flag 881000/881000 897.15/452.76 c cleaning 22004 clauses out of 44016 with flag 903000/903000 916.46/462.47 c cleaning 22003 clauses out of 44012 with flag 925000/925000 935.27/471.84 c cleaning 21991 clauses out of 44010 with flag 947001/947001 956.12/482.24 c cleaning 21994 clauses out of 44018 with flag 969000/969000 976.68/492.50 c cleaning 21991 clauses out of 44025 with flag 991001/991001 996.82/502.70 c cleaning 22009 clauses out of 44034 with flag 1013001/1013001 1015.56/512.03 c And the winner is Resolution 1016.20/512.43 c Got one! Elapsed wall clock time (in seconds):512.299 1016.20/512.43 o 2393080 1017.34/513.02 c cleaning 22008 clauses out of 44024 with flag 1035000/1035000 1037.07/522.99 c cleaning 22001 clauses out of 44018 with flag 1057002/1057002 1054.39/531.66 c cleaning 22002 clauses out of 44015 with flag 1079000/1079000 1071.81/540.46 c cleaning 21992 clauses out of 44013 with flag 1101000/1101000 1094.65/551.82 c cleaning 22002 clauses out of 44021 with flag 1123000/1123000 1117.86/563.45 c cleaning 21998 clauses out of 44019 with flag 1145000/1145000 1139.91/574.45 c cleaning 21992 clauses out of 44022 with flag 1167001/1167001 1161.17/585.20 c cleaning 22005 clauses out of 44029 with flag 1189000/1189000 1182.13/595.67 c cleaning 22001 clauses out of 44025 with flag 1211001/1211001 1202.53/605.84 c cleaning 21999 clauses out of 44023 with flag 1233000/1233000 1224.33/616.76 c cleaning 22000 clauses out of 44024 with flag 1255000/1255000 1245.67/627.49 c cleaning 21996 clauses out of 44024 with flag 1277000/1277000 1266.85/638.06 c cleaning 22009 clauses out of 44029 with flag 1299001/1299001 1290.66/649.91 c cleaning 21985 clauses out of 44019 with flag 1321000/1321000 1313.84/661.52 c cleaning 22004 clauses out of 44037 with flag 1343003/1343003 1335.35/672.32 c cleaning 22007 clauses out of 44032 with flag 1365002/1365002 1355.15/682.22 c cleaning 22005 clauses out of 44025 with flag 1387002/1387002 1373.04/691.23 c cleaning 22006 clauses out of 44018 with flag 1409000/1409000 1393.66/701.58 c cleaning 21998 clauses out of 44012 with flag 1431000/1431000 1415.89/712.71 c cleaning 21995 clauses out of 44015 with flag 1453001/1453001 1439.32/724.41 c cleaning 22001 clauses out of 44019 with flag 1475000/1475000 1462.10/735.84 c cleaning 22002 clauses out of 44019 with flag 1497001/1497001 1485.43/747.50 c cleaning 21989 clauses out of 44016 with flag 1519000/1519000 1508.62/759.25 c cleaning 22006 clauses out of 44031 with flag 1541004/1541004 1529.36/769.62 c cleaning 22000 clauses out of 44022 with flag 1563001/1563001 1548.92/779.42 c cleaning 22001 clauses out of 44022 with flag 1585001/1585001 1567.07/788.57 c cleaning 21993 clauses out of 44022 with flag 1607002/1607002 1587.25/798.74 c cleaning 22002 clauses out of 44027 with flag 1629000/1629000 1605.72/808.00 c cleaning 22008 clauses out of 44025 with flag 1651000/1651000 1626.81/818.63 c cleaning 21992 clauses out of 44017 with flag 1673000/1673000 1648.12/829.31 c cleaning 22008 clauses out of 44027 with flag 1695002/1695002 1670.59/840.64 c cleaning 22005 clauses out of 44017 with flag 1717000/1717000 1694.51/852.64 c cleaning 21988 clauses out of 44013 with flag 1739001/1739001 1716.70/863.74 c cleaning 21996 clauses out of 44026 with flag 1761002/1761002 1739.08/874.90 c cleaning 22008 clauses out of 44028 with flag 1783000/1783000 1759.13/885.08 c cleaning 21994 clauses out of 44021 with flag 1805001/1805001 1779.49/895.28 c cleaning 21997 clauses out of 44026 with flag 1827000/1827000 1800.18/905.61 c starts : 217 1800.18/905.61 c conflicts : 1847453 1800.18/905.61 c decisions : 4099128 1800.18/905.61 c propagations : 595701630 1800.18/905.61 c inspects : 2544673632 1800.18/905.61 c learnt literals : 15 1800.18/905.61 c learnt binary clauses : 143 1800.18/905.61 c learnt ternary clauses : 578 1800.18/905.61 c learnt clauses : 1847437 1800.18/905.61 c ignored clauses : 0 1800.18/905.61 c root simplifications : 0 1800.18/905.61 c removed literals (reason simplification) : 18421860 1800.18/905.61 c reason swapping (by a shorter reason) : 0 1800.18/905.61 c Calls to reduceDB : 90 1800.18/905.61 c number of reductions to clauses (during analyze) : 0 1800.18/905.61 c number of learned constraints concerned by reduction : 0 1800.18/905.61 c number of learning phase by resolution : 0 1800.18/905.61 c number of learning phase by cutting planes : 0 1800.18/905.61 c speed (assignments/second) : 1515109.4172045966 1800.18/905.61 c non guided choices 1423 1800.18/905.64 c learnt constraints type 1800.18/905.64 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 42374 1800.18/905.64 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 143 1800.18/905.64 c constraints type 1800.18/905.64 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1800.18/905.64 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1800.18/905.64 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1800.18/905.64 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6016 1800.18/905.64 c constraints type 1800.18/905.64 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885 1800.18/905.64 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001 1800.18/905.64 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22 1800.18/905.64 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6016 1800.18/905.64 s SATISFIABLE 1800.18/905.65 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 1800.18/905.66 c objective function=2393080 1800.18/905.66 c Total wall clock time (in seconds): 905.529
OK 2393080
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-3744028-1338800223/watcher-3744028-1338800223 -o /tmp/evaluation-result-3744028-1338800223/solver-3744028-1338800223 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744028-1338800223.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.69 3.28 2.73 4/199 26935 /proc/meminfo: memFree=27811428/32873844 swapFree=7380/7380 [pid=26935] ppid=26933 vsize=336 CPUtime=0 cores=0,2,4,6 /proc/26935/stat : 26935 (java6) R 26933 26935 24174 0 -1 4202496 85 0 0 0 0 0 0 0 20 0 1 0 346147059 344064 36 33554432000 1073741824 1073778376 140735513886640 140735513883816 215134337034 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/26935/statm: 625 42 34 9 0 25 0 [startup+0.105177 s] /proc/loadavg: 3.69 3.28 2.73 4/199 26935 /proc/meminfo: memFree=27811428/32873844 swapFree=7380/7380 [pid=26935] ppid=26933 vsize=2699928 CPUtime=0.07 cores=0,2,4,6 /proc/26935/stat : 26935 (java) S 26933 26935 24174 0 -1 4202496 3906 0 1 0 6 1 0 0 20 0 18 0 346147059 2764726272 5624 33554432000 1073741824 1073778376 140735113080352 140735113071488 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26935/statm: 674982 5624 1772 9 0 665676 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2699928 [startup+0.200239 s] /proc/loadavg: 3.69 3.28 2.73 4/199 26935 /proc/meminfo: memFree=27811428/32873844 swapFree=7380/7380 [pid=26935] ppid=26933 vsize=2699928 CPUtime=0.26 cores=0,2,4,6 /proc/26935/stat : 26935 (java) S 26933 26935 24174 0 -1 4202496 5358 0 1 0 25 1 0 0 20 0 18 0 346147059 2764726272 7422 33554432000 1073741824 1073778376 140735113080352 140735113071488 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26935/statm: 674982 7422 2202 9 0 665676 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 2699928 [startup+0.300269 s] /proc/loadavg: 3.69 3.28 2.73 4/199 26935 /proc/meminfo: memFree=27811428/32873844 swapFree=7380/7380 [pid=26935] ppid=26933 vsize=2699928 CPUtime=0.46 cores=0,2,4,6 /proc/26935/stat : 26935 (java) S 26933 26935 24174 0 -1 4202496 6035 0 1 0 44 2 0 0 20 0 18 0 346147059 2764726272 9575 33554432000 1073741824 1073778376 140735113080352 140735113071488 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26935/statm: 674982 9575 2226 9 0 665676 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 2699928 [startup+0.700189 s] /proc/loadavg: 3.69 3.28 2.73 4/199 26935 /proc/meminfo: memFree=27811428/32873844 swapFree=7380/7380 [pid=26935] ppid=26933 vsize=2833056 CPUtime=1.6 cores=0,2,4,6 /proc/26935/stat : 26935 (java) S 26933 26935 24174 0 -1 4202496 13432 0 1 0 155 5 0 0 20 0 20 0 346147059 2901049344 32364 33554432000 1073741824 1073778376 140735113080352 140735113071488 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26935/statm: 708264 32364 2257 9 0 698958 0 Current children cumulated CPU time (s) 1.6 Current children cumulated vsize (KiB) 2833056 [startup+1.50072 s] /proc/loadavg: 3.69 3.28 2.73 3/219 26957 /proc/meminfo: memFree=27654880/32873844 swapFree=7380/7380 [pid=26935] ppid=26933 vsize=2966184 CPUtime=2.95 cores=0,2,4,6 /proc/26935/stat : 26935 (java) S 26933 26935 24174 0 -1 4202496 18943 0 1 0 287 8 0 0 20 0 20 0 346147059 3037372416 41087 33554432000 1073741824 1073778376 140735113080352 140735113071488 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26935/statm: 741546 41087 2263 9 0 732240 0 [pid=26935/tid=26937] ppid=26933 vsize=2966184 CPUtime=0.56 cores=0,2,4,6 /proc/26935/task/26937/stat : 26937 (java) S 26933 26935 24174 0 -1 4202560 2831 0 1 0 53 3 0 0 20 0 20 0 346147060 3037372416 41087 33554432000 1073741824 1073778376 140735113080352 140456743056536 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26938] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26938/stat : 26938 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346147062 3037372416 41087 33554432000 1073741824 1073778376 140735113080352 140456727337128 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26939] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26939/stat : 26939 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346147062 3037372416 41087 33554432000 1073741824 1073778376 140735113080352 140456726284584 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26940] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26940/stat : 26940 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346147062 3037372416 41087 33554432000 1073741824 1073778376 140735113080352 140456725232040 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26941] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26941/stat : 26941 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346147062 3037372416 41087 33554432000 1073741824 1073778376 140735113080352 140456724179496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26942] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26942/stat : 26942 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346147062 3037372416 41087 33554432000 1073741824 1073778376 140735113080352 140456723126952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26943] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26943/stat : 26943 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346147062 3037372416 41087 33554432000 1073741824 1073778376 140735113080352 140456722074408 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26944] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26944/stat : 26944 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346147062 3037372416 41087 33554432000 1073741824 1073778376 140735113080352 140456721021864 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26945] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26945/stat : 26945 (java) S 26933 26935 24174 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346147062 3037372416 41087 33554432000 1073741824 1073778376 140735113080352 140456719969320 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26946] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26946/stat : 26946 (java) S 26933 26935 24174 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 346147063 3037372416 41087 33554432000 1073741824 1073778376 140735113080352 140456707557480 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26947] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26947/stat : 26947 (java) S 26933 26935 24174 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346147064 3037372416 41087 33554432000 1073741824 1073778376 140735113080352 140456706503800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26948] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26948/stat : 26948 (java) S 26933 26935 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346147064 3037372416 41087 33554432000 1073741824 1073778376 140735113080352 140456587420808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26949] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26949/stat : 26949 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346147067 3037372416 41087 33554432000 1073741824 1073778376 140735113080352 140456586369552 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26950] ppid=26933 vsize=2966184 CPUtime=0.78 cores=0,2,4,6 /proc/26935/task/26950/stat : 26950 (java) S 26933 26935 24174 0 -1 4202560 6055 0 0 0 76 2 0 0 20 0 20 0 346147067 3037372416 41087 33554432000 1073741824 1073778376 140735113080352 140456585316920 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26951] ppid=26933 vsize=2966184 CPUtime=0.82 cores=0,2,4,6 /proc/26935/task/26951/stat : 26951 (java) S 26933 26935 24174 0 -1 4202560 8736 0 0 0 80 2 0 0 20 0 20 0 346147067 3037372416 41087 33554432000 1073741824 1073778376 140735113080352 140456584264376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26952] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26952/stat : 26952 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346147067 3037372416 41087 33554432000 1073741824 1073778376 140735113080352 140456583212024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26953] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26953/stat : 26953 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346147067 3037372416 41087 33554432000 1073741824 1073778376 140735113080352 140456582159688 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26956] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26956/stat : 26956 (java) S 26933 26935 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 346147130 3037372416 41087 33554432000 1073741824 1073778376 140735113080352 140456578999336 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26957] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26957/stat : 26957 (java) S 26933 26935 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346147130 3037372416 41087 33554432000 1073741824 1073778376 140735113080352 140456577946792 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.95 Current children cumulated vsize (KiB) 2966184 [startup+3.10073 s] /proc/loadavg: 3.56 3.26 2.73 3/219 26959 /proc/meminfo: memFree=27631988/32873844 swapFree=7380/7380 [pid=26935] ppid=26933 vsize=2966184 CPUtime=3.42 cores=0,2,4,6 /proc/26935/stat : 26935 (java) S 26933 26935 24174 0 -1 4202496 19075 0 1 0 330 12 0 0 20 0 20 0 346147059 3037372416 53887 33554432000 1073741824 1073778376 140735113080352 140735113071488 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26935/statm: 741546 53887 2263 9 0 732240 0 [pid=26935/tid=26937] ppid=26933 vsize=2966184 CPUtime=0.63 cores=0,2,4,6 /proc/26935/task/26937/stat : 26937 (java) S 26933 26935 24174 0 -1 4202560 2835 0 1 0 60 3 0 0 20 0 20 0 346147060 3037372416 53887 33554432000 1073741824 1073778376 140735113080352 140456743056536 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26938] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26938/stat : 26938 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346147062 3037372416 53887 33554432000 1073741824 1073778376 140735113080352 140456727337128 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26939] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26939/stat : 26939 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346147062 3037372416 53887 33554432000 1073741824 1073778376 140735113080352 140456726284584 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26940] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26940/stat : 26940 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346147062 3037372416 53887 33554432000 1073741824 1073778376 140735113080352 140456725232040 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26941] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26941/stat : 26941 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346147062 3037372416 53887 33554432000 1073741824 1073778376 140735113080352 140456724179496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26942] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26942/stat : 26942 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346147062 3037372416 53887 33554432000 1073741824 1073778376 140735113080352 140456723126952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26943] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26943/stat : 26943 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346147062 3037372416 53887 33554432000 1073741824 1073778376 140735113080352 140456722074408 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26944] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26944/stat : 26944 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346147062 3037372416 53887 33554432000 1073741824 1073778376 140735113080352 140456721021864 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26945] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26945/stat : 26945 (java) S 26933 26935 24174 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346147062 3037372416 53887 33554432000 1073741824 1073778376 140735113080352 140456719969320 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26946] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26946/stat : 26946 (java) S 26933 26935 24174 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 346147063 3037372416 53887 33554432000 1073741824 1073778376 140735113080352 140456707557480 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26947] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26947/stat : 26947 (java) S 26933 26935 24174 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346147064 3037372416 53887 33554432000 1073741824 1073778376 140735113080352 140456706503800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26948] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26948/stat : 26948 (java) S 26933 26935 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346147064 3037372416 53887 33554432000 1073741824 1073778376 140735113080352 140456587420808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26949] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26949/stat : 26949 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346147067 3037372416 53887 33554432000 1073741824 1073778376 140735113080352 140456586369552 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26950] ppid=26933 vsize=2966184 CPUtime=0.86 cores=0,2,4,6 /proc/26935/task/26950/stat : 26950 (java) S 26933 26935 24174 0 -1 4202560 6129 0 0 0 84 2 0 0 20 0 20 0 346147067 3037372416 53887 33554432000 1073741824 1073778376 140735113080352 140456585316920 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26951] ppid=26933 vsize=2966184 CPUtime=0.97 cores=0,2,4,6 /proc/26935/task/26951/stat : 26951 (java) S 26933 26935 24174 0 -1 4202560 8760 0 0 0 95 2 0 0 20 0 20 0 346147067 3037372416 53887 33554432000 1073741824 1073778376 140735113080352 140456584264376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26952] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26952/stat : 26952 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346147067 3037372416 53887 33554432000 1073741824 1073778376 140735113080352 140456583212024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26953] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26953/stat : 26953 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346147067 3037372416 53887 33554432000 1073741824 1073778376 140735113080352 140456582159688 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26956] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26956/stat : 26956 (java) S 26933 26935 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 346147130 3037372416 53887 33554432000 1073741824 1073778376 140735113080352 140456578999336 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26957] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26957/stat : 26957 (java) S 26933 26935 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346147130 3037372416 53887 33554432000 1073741824 1073778376 140735113080352 140456577946792 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.42 Current children cumulated vsize (KiB) 2966184 [startup+6.30075 s] /proc/loadavg: 3.56 3.26 2.73 5/221 26965 /proc/meminfo: memFree=27398500/32873844 swapFree=7380/7380 [pid=26935] ppid=26933 vsize=2966184 CPUtime=7.07 cores=0,2,4,6 /proc/26935/stat : 26935 (java) S 26933 26935 24174 0 -1 4202496 19271 0 1 0 687 20 0 0 20 0 22 0 346147059 3037372416 105460 33554432000 1073741824 1073778376 140735113080352 140735113071488 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26935/statm: 741546 105460 2276 9 0 732240 0 [pid=26935/tid=26937] ppid=26933 vsize=2966184 CPUtime=0.68 cores=0,2,4,6 /proc/26935/task/26937/stat : 26937 (java) S 26933 26935 24174 0 -1 4202560 2838 0 1 0 65 3 0 0 20 0 22 0 346147060 3037372416 105460 33554432000 1073741824 1073778376 140735113080352 140456743056552 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26938] ppid=26933 vsize=2966184 CPUtime=0.02 cores=0,2,4,6 /proc/26935/task/26938/stat : 26938 (java) S 26933 26935 24174 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 346147062 3037372416 105460 33554432000 1073741824 1073778376 140735113080352 140456727337128 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26939] ppid=26933 vsize=2966184 CPUtime=0.02 cores=0,2,4,6 /proc/26935/task/26939/stat : 26939 (java) S 26933 26935 24174 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 346147062 3037372416 105460 33554432000 1073741824 1073778376 140735113080352 140456726284584 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26940] ppid=26933 vsize=2966184 CPUtime=0.01 cores=0,2,4,6 /proc/26935/task/26940/stat : 26940 (java) S 26933 26935 24174 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 346147062 3037372416 105460 33554432000 1073741824 1073778376 140735113080352 140456725232040 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26941] ppid=26933 vsize=2966184 CPUtime=0.05 cores=0,2,4,6 /proc/26935/task/26941/stat : 26941 (java) S 26933 26935 24174 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 22 0 346147062 3037372416 105460 33554432000 1073741824 1073778376 140735113080352 140456724179496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26942] ppid=26933 vsize=2966184 CPUtime=0.03 cores=0,2,4,6 /proc/26935/task/26942/stat : 26942 (java) S 26933 26935 24174 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 346147062 3037372416 105460 33554432000 1073741824 1073778376 140735113080352 140456723126952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26943] ppid=26933 vsize=2966184 CPUtime=0.01 cores=0,2,4,6 /proc/26935/task/26943/stat : 26943 (java) S 26933 26935 24174 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 346147062 3037372416 105460 33554432000 1073741824 1073778376 140735113080352 140456722074408 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26944] ppid=26933 vsize=2966184 CPUtime=0.03 cores=0,2,4,6 /proc/26935/task/26944/stat : 26944 (java) S 26933 26935 24174 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 22 0 346147062 3037372416 105460 33554432000 1073741824 1073778376 140735113080352 140456721021864 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26945] ppid=26933 vsize=2966184 CPUtime=0.02 cores=0,2,4,6 /proc/26935/task/26945/stat : 26945 (java) S 26933 26935 24174 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 22 0 346147062 3037372416 105460 33554432000 1073741824 1073778376 140735113080352 140456719969320 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26946] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26946/stat : 26946 (java) S 26933 26935 24174 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346147063 3037372416 105460 33554432000 1073741824 1073778376 140735113080352 140456707557480 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26947] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26947/stat : 26947 (java) S 26933 26935 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346147064 3037372416 105460 33554432000 1073741824 1073778376 140735113080352 140456706503800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26948] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26948/stat : 26948 (java) S 26933 26935 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346147064 3037372416 105460 33554432000 1073741824 1073778376 140735113080352 140456587420808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26949] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26949/stat : 26949 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346147067 3037372416 105460 33554432000 1073741824 1073778376 140735113080352 140456586369552 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26950] ppid=26933 vsize=2966184 CPUtime=0.93 cores=0,2,4,6 /proc/26935/task/26950/stat : 26950 (java) S 26933 26935 24174 0 -1 4202560 6129 0 0 0 91 2 0 0 20 0 22 0 346147067 3037372416 105460 33554432000 1073741824 1073778376 140735113080352 140456585316920 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26951] ppid=26933 vsize=2966184 CPUtime=1.08 cores=0,2,4,6 /proc/26935/task/26951/stat : 26951 (java) S 26933 26935 24174 0 -1 4202560 8761 0 0 0 106 2 0 0 20 0 22 0 346147067 3037372416 105460 33554432000 1073741824 1073778376 140735113080352 140456584264376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26952] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26952/stat : 26952 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346147067 3037372416 105460 33554432000 1073741824 1073778376 140735113080352 140456583212024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26953] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26953/stat : 26953 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346147067 3037372416 105460 33554432000 1073741824 1073778376 140735113080352 140456582159688 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26956] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26956/stat : 26956 (java) S 26933 26935 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 346147130 3037372416 105460 33554432000 1073741824 1073778376 140735113080352 140456578999336 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 ################ # More data... # ################ [pid=26935/tid=26957] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26957/stat : 26957 (java) S 26933 26935 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346147130 3037372416 178033 33554432000 1073741824 1073778376 140735113080352 140456577946792 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=27032] ppid=26933 vsize=2966184 CPUtime=297.22 cores=0,2,4,6 /proc/26935/task/27032/stat : 27032 (java) R 26933 26935 24174 0 -1 4202560 307 0 0 0 29716 6 0 0 20 0 22 0 346198303 3037372416 178033 33554432000 1073741824 1073778376 140735113080352 140456580049208 140456588547365 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=27033] ppid=26933 vsize=2966184 CPUtime=297.22 cores=0,2,4,6 /proc/26935/task/27033/stat : 27033 (java) R 26933 26935 24174 0 -1 4202560 348 0 0 0 29718 4 0 0 20 0 22 0 346198303 3037372416 178033 33554432000 1073741824 1073778376 140735113080352 140456581102624 140456588701163 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1634.06 Current children cumulated vsize (KiB) 2966184 [startup+882.307 s] /proc/loadavg: 1.94 2.25 2.58 3/194 27037 /proc/meminfo: memFree=27809344/32873844 swapFree=7380/7380 [pid=26935] ppid=26933 vsize=2966184 CPUtime=1753.65 cores=0,2,4,6 /proc/26935/stat : 26935 (java) S 26933 26935 24174 0 -1 4202496 34140 0 1 0 175135 230 0 0 20 0 22 0 346147059 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140735113071488 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26935/statm: 741546 182129 2289 9 0 732240 0 [pid=26935/tid=26937] ppid=26933 vsize=2966184 CPUtime=0.78 cores=0,2,4,6 /proc/26935/task/26937/stat : 26937 (java) S 26933 26935 24174 0 -1 4202560 2865 0 1 0 73 5 0 0 20 0 22 0 346147060 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140456743056552 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26938] ppid=26933 vsize=2966184 CPUtime=5.56 cores=0,2,4,6 /proc/26935/task/26938/stat : 26938 (java) S 26933 26935 24174 0 -1 4202560 317 0 0 0 547 9 0 0 20 0 22 0 346147062 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140456727337128 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26939] ppid=26933 vsize=2966184 CPUtime=5.7 cores=0,2,4,6 /proc/26935/task/26939/stat : 26939 (java) S 26933 26935 24174 0 -1 4202560 318 0 0 0 561 9 0 0 20 0 22 0 346147062 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140456726284584 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26940] ppid=26933 vsize=2966184 CPUtime=5.54 cores=0,2,4,6 /proc/26935/task/26940/stat : 26940 (java) S 26933 26935 24174 0 -1 4202560 299 0 0 0 545 9 0 0 20 0 22 0 346147062 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140456725232040 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26941] ppid=26933 vsize=2966184 CPUtime=5.78 cores=0,2,4,6 /proc/26935/task/26941/stat : 26941 (java) S 26933 26935 24174 0 -1 4202560 311 0 0 0 569 9 0 0 20 0 22 0 346147062 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140456724179496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26942] ppid=26933 vsize=2966184 CPUtime=5.66 cores=0,2,4,6 /proc/26935/task/26942/stat : 26942 (java) S 26933 26935 24174 0 -1 4202560 315 0 0 0 558 8 0 0 20 0 22 0 346147062 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140456723126952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26943] ppid=26933 vsize=2966184 CPUtime=5.73 cores=0,2,4,6 /proc/26935/task/26943/stat : 26943 (java) S 26933 26935 24174 0 -1 4202560 306 0 0 0 565 8 0 0 20 0 22 0 346147062 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140456722074408 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26944] ppid=26933 vsize=2966184 CPUtime=5.62 cores=0,2,4,6 /proc/26935/task/26944/stat : 26944 (java) S 26933 26935 24174 0 -1 4202560 316 0 0 0 553 9 0 0 20 0 22 0 346147062 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140456721021864 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26945] ppid=26933 vsize=2966184 CPUtime=5.58 cores=0,2,4,6 /proc/26935/task/26945/stat : 26945 (java) S 26933 26935 24174 0 -1 4202560 292 0 0 0 550 8 0 0 20 0 22 0 346147062 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140456719969320 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26946] ppid=26933 vsize=2966184 CPUtime=16.8 cores=0,2,4,6 /proc/26935/task/26946/stat : 26946 (java) S 26933 26935 24174 0 -1 4202560 10497 0 0 0 1581 99 0 0 20 0 22 0 346147063 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140456707557480 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26947] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26947/stat : 26947 (java) S 26933 26935 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346147064 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140456706503800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26948] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26948/stat : 26948 (java) S 26933 26935 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346147064 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140456587420808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26949] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26949/stat : 26949 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346147067 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140456586369552 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26950] ppid=26933 vsize=2966184 CPUtime=1.3 cores=0,2,4,6 /proc/26935/task/26950/stat : 26950 (java) S 26933 26935 24174 0 -1 4202560 6142 0 0 0 128 2 0 0 20 0 22 0 346147067 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140456585316920 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26951] ppid=26933 vsize=2966184 CPUtime=1.2 cores=0,2,4,6 /proc/26935/task/26951/stat : 26951 (java) S 26933 26935 24174 0 -1 4202560 8762 0 0 0 118 2 0 0 20 0 22 0 346147067 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140456584264376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26952] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26952/stat : 26952 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346147067 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140456583212024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26953] ppid=26933 vsize=2966184 CPUtime=0.32 cores=0,2,4,6 /proc/26935/task/26953/stat : 26953 (java) S 26933 26935 24174 0 -1 4202560 48 0 0 0 15 17 0 0 20 0 22 0 346147067 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140456582159688 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26956] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26956/stat : 26956 (java) S 26933 26935 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 346147130 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140456578999336 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26957] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26957/stat : 26957 (java) S 26933 26935 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346147130 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140456577946792 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=27032] ppid=26933 vsize=2966184 CPUtime=354.49 cores=0,2,4,6 /proc/26935/task/27032/stat : 27032 (java) R 26933 26935 24174 0 -1 4202560 368 0 0 0 35442 7 0 0 20 0 22 0 346198303 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140456580049376 140456588547336 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=27033] ppid=26933 vsize=2966184 CPUtime=354.53 cores=0,2,4,6 /proc/26935/task/27033/stat : 27033 (java) R 26933 26935 24174 0 -1 4202560 410 0 0 0 35448 5 0 0 20 0 22 0 346198303 3037372416 182129 33554432000 1073741824 1073778376 140735113080352 140456581102624 140456588640138 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1753.65 Current children cumulated vsize (KiB) 2966184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+905.601 s] /proc/loadavg: 1.95 2.23 2.56 3/194 27037 /proc/meminfo: memFree=27809344/32873844 swapFree=7380/7380 [pid=26935] ppid=26933 vsize=2966184 CPUtime=1800.18 cores=0,2,4,6 /proc/26935/stat : 26935 (java) S 26933 26935 24174 0 -1 4202496 34519 0 1 0 179781 237 0 0 20 0 22 0 346147059 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140735113071488 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26935/statm: 741546 182128 2289 9 0 732240 0 [pid=26935/tid=26937] ppid=26933 vsize=2966184 CPUtime=0.78 cores=0,2,4,6 /proc/26935/task/26937/stat : 26937 (java) S 26933 26935 24174 0 -1 4202560 2867 0 1 0 73 5 0 0 20 0 22 0 346147060 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456743056552 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26938] ppid=26933 vsize=2966184 CPUtime=5.76 cores=0,2,4,6 /proc/26935/task/26938/stat : 26938 (java) S 26933 26935 24174 0 -1 4202560 317 0 0 0 567 9 0 0 20 0 22 0 346147062 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456727337128 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26939] ppid=26933 vsize=2966184 CPUtime=5.89 cores=0,2,4,6 /proc/26935/task/26939/stat : 26939 (java) S 26933 26935 24174 0 -1 4202560 318 0 0 0 580 9 0 0 20 0 22 0 346147062 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456726284584 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26940] ppid=26933 vsize=2966184 CPUtime=5.71 cores=0,2,4,6 /proc/26935/task/26940/stat : 26940 (java) S 26933 26935 24174 0 -1 4202560 299 0 0 0 562 9 0 0 20 0 22 0 346147062 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456725232040 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26941] ppid=26933 vsize=2966184 CPUtime=5.95 cores=0,2,4,6 /proc/26935/task/26941/stat : 26941 (java) S 26933 26935 24174 0 -1 4202560 311 0 0 0 586 9 0 0 20 0 22 0 346147062 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456724179496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26942] ppid=26933 vsize=2966184 CPUtime=5.85 cores=0,2,4,6 /proc/26935/task/26942/stat : 26942 (java) S 26933 26935 24174 0 -1 4202560 315 0 0 0 577 8 0 0 20 0 22 0 346147062 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456723126952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26943] ppid=26933 vsize=2966184 CPUtime=5.9 cores=0,2,4,6 /proc/26935/task/26943/stat : 26943 (java) S 26933 26935 24174 0 -1 4202560 306 0 0 0 582 8 0 0 20 0 22 0 346147062 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456722074408 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26944] ppid=26933 vsize=2966184 CPUtime=5.78 cores=0,2,4,6 /proc/26935/task/26944/stat : 26944 (java) S 26933 26935 24174 0 -1 4202560 316 0 0 0 569 9 0 0 20 0 22 0 346147062 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456721021864 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26945] ppid=26933 vsize=2966184 CPUtime=5.73 cores=0,2,4,6 /proc/26935/task/26945/stat : 26945 (java) S 26933 26935 24174 0 -1 4202560 292 0 0 0 565 8 0 0 20 0 22 0 346147062 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456719969320 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26946] ppid=26933 vsize=2966184 CPUtime=17.36 cores=0,2,4,6 /proc/26935/task/26946/stat : 26946 (java) S 26933 26935 24174 0 -1 4202560 10828 0 0 0 1633 103 0 0 20 0 22 0 346147063 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456707557480 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26947] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26947/stat : 26947 (java) S 26933 26935 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346147064 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456706503800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26948] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26948/stat : 26948 (java) S 26933 26935 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346147064 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456587420808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26949] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26949/stat : 26949 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346147067 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456586369552 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26950] ppid=26933 vsize=2966184 CPUtime=1.3 cores=0,2,4,6 /proc/26935/task/26950/stat : 26950 (java) S 26933 26935 24174 0 -1 4202560 6142 0 0 0 128 2 0 0 20 0 22 0 346147067 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456585316920 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26951] ppid=26933 vsize=2966184 CPUtime=1.2 cores=0,2,4,6 /proc/26935/task/26951/stat : 26951 (java) S 26933 26935 24174 0 -1 4202560 8762 0 0 0 118 2 0 0 20 0 22 0 346147067 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456584264376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26952] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26952/stat : 26952 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346147067 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456583212024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26953] ppid=26933 vsize=2966184 CPUtime=0.32 cores=0,2,4,6 /proc/26935/task/26953/stat : 26953 (java) S 26933 26935 24174 0 -1 4202560 49 0 0 0 15 17 0 0 20 0 22 0 346147067 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456582159688 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26956] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26956/stat : 26956 (java) S 26933 26935 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 346147130 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456578999336 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26957] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26957/stat : 26957 (java) S 26933 26935 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346147130 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456577946792 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=27032] ppid=26933 vsize=2966184 CPUtime=376.79 cores=0,2,4,6 /proc/26935/task/27032/stat : 27032 (java) R 26933 26935 24174 0 -1 4202560 389 0 0 0 37672 7 0 0 20 0 22 0 346198303 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456580050064 140456588318450 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=27033] ppid=26933 vsize=2966184 CPUtime=376.85 cores=0,2,4,6 /proc/26935/task/27033/stat : 27033 (java) R 26933 26935 24174 0 -1 4202560 434 0 0 0 37680 5 0 0 20 0 22 0 346198303 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456581101728 140456587902317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 2966184 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+905.601 s] /proc/loadavg: 1.95 2.23 2.56 3/194 27037 /proc/meminfo: memFree=27809344/32873844 swapFree=7380/7380 [pid=26935] ppid=26933 vsize=2966184 CPUtime=1800.18 cores=0,2,4,6 /proc/26935/stat : 26935 (java) S 26933 26935 24174 0 -1 4202496 34519 0 1 0 179781 237 0 0 20 0 22 0 346147059 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140735113071488 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26935/statm: 741546 182128 2289 9 0 732240 0 [pid=26935/tid=26937] ppid=26933 vsize=2966184 CPUtime=0.78 cores=0,2,4,6 /proc/26935/task/26937/stat : 26937 (java) S 26933 26935 24174 0 -1 4202560 2867 0 1 0 73 5 0 0 20 0 22 0 346147060 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456743056552 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26938] ppid=26933 vsize=2966184 CPUtime=5.76 cores=0,2,4,6 /proc/26935/task/26938/stat : 26938 (java) S 26933 26935 24174 0 -1 4202560 317 0 0 0 567 9 0 0 20 0 22 0 346147062 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456727337128 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26939] ppid=26933 vsize=2966184 CPUtime=5.89 cores=0,2,4,6 /proc/26935/task/26939/stat : 26939 (java) S 26933 26935 24174 0 -1 4202560 318 0 0 0 580 9 0 0 20 0 22 0 346147062 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456726284584 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26940] ppid=26933 vsize=2966184 CPUtime=5.71 cores=0,2,4,6 /proc/26935/task/26940/stat : 26940 (java) S 26933 26935 24174 0 -1 4202560 299 0 0 0 562 9 0 0 20 0 22 0 346147062 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456725232040 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26941] ppid=26933 vsize=2966184 CPUtime=5.95 cores=0,2,4,6 /proc/26935/task/26941/stat : 26941 (java) S 26933 26935 24174 0 -1 4202560 311 0 0 0 586 9 0 0 20 0 22 0 346147062 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456724179496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26942] ppid=26933 vsize=2966184 CPUtime=5.85 cores=0,2,4,6 /proc/26935/task/26942/stat : 26942 (java) S 26933 26935 24174 0 -1 4202560 315 0 0 0 577 8 0 0 20 0 22 0 346147062 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456723126952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26943] ppid=26933 vsize=2966184 CPUtime=5.9 cores=0,2,4,6 /proc/26935/task/26943/stat : 26943 (java) S 26933 26935 24174 0 -1 4202560 306 0 0 0 582 8 0 0 20 0 22 0 346147062 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456722074408 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26944] ppid=26933 vsize=2966184 CPUtime=5.78 cores=0,2,4,6 /proc/26935/task/26944/stat : 26944 (java) S 26933 26935 24174 0 -1 4202560 316 0 0 0 569 9 0 0 20 0 22 0 346147062 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456721021864 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26945] ppid=26933 vsize=2966184 CPUtime=5.73 cores=0,2,4,6 /proc/26935/task/26945/stat : 26945 (java) S 26933 26935 24174 0 -1 4202560 292 0 0 0 565 8 0 0 20 0 22 0 346147062 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456719969320 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26946] ppid=26933 vsize=2966184 CPUtime=17.36 cores=0,2,4,6 /proc/26935/task/26946/stat : 26946 (java) S 26933 26935 24174 0 -1 4202560 10828 0 0 0 1633 103 0 0 20 0 22 0 346147063 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456707557480 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26947] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26947/stat : 26947 (java) S 26933 26935 24174 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346147064 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456706503800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26948] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26948/stat : 26948 (java) S 26933 26935 24174 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346147064 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456587420808 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26949] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26949/stat : 26949 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346147067 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456586369552 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26950] ppid=26933 vsize=2966184 CPUtime=1.3 cores=0,2,4,6 /proc/26935/task/26950/stat : 26950 (java) S 26933 26935 24174 0 -1 4202560 6142 0 0 0 128 2 0 0 20 0 22 0 346147067 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456585316920 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26935/tid=26951] ppid=26933 vsize=2966184 CPUtime=1.2 cores=0,2,4,6 /proc/26935/task/26951/stat : 26951 (java) S 26933 26935 24174 0 -1 4202560 8762 0 0 0 118 2 0 0 20 0 22 0 346147067 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456584264376 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26952] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26952/stat : 26952 (java) S 26933 26935 24174 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346147067 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456583212024 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=26953] ppid=26933 vsize=2966184 CPUtime=0.32 cores=0,2,4,6 /proc/26935/task/26953/stat : 26953 (java) S 26933 26935 24174 0 -1 4202560 49 0 0 0 15 17 0 0 20 0 22 0 346147067 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456582159688 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26935/tid=26956] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26956/stat : 26956 (java) S 26933 26935 24174 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 346147130 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456578999336 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=26957] ppid=26933 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/26935/task/26957/stat : 26957 (java) S 26933 26935 24174 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346147130 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456577946792 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26935/tid=27032] ppid=26933 vsize=2966184 CPUtime=376.79 cores=0,2,4,6 /proc/26935/task/27032/stat : 27032 (java) R 26933 26935 24174 0 -1 4202560 389 0 0 0 37672 7 0 0 20 0 22 0 346198303 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456580050064 140456588318450 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=26935/tid=27033] ppid=26933 vsize=2966184 CPUtime=376.85 cores=0,2,4,6 /proc/26935/task/27033/stat : 27033 (java) R 26933 26935 24174 0 -1 4202560 434 0 0 0 37680 5 0 0 20 0 22 0 346198303 3037372416 182128 33554432000 1073741824 1073778376 140735113080352 140456581101728 140456587902317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 2966184 Child status: 143 Real time (s): 905.672 CPU time (s): 1801.51 CPU user time (s): 1798.85 CPU system time (s): 2.66059 CPU usage (%): 198.914 Max. virtual memory (cumulated for all children) (KiB): 2966184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.85 system time used= 2.66059 maximum resident set size= 729236 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34554 page faults= 1 swaps= 0 block input operations= 0 block output operations= 944 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 75404 involuntary context switches= 130795 runsolver used 3.09053 second user time and 8.27474 second system time The end
Begin job on node133 at 2012-06-04 10:57:03 IDJOB=3744028 IDBENCH=92671 IDSOLVER=2324 FILE ID=node133/3744028-1338800223 RUNJOBID= node133-1338782189-24190 PBS_JOBID= 14636833 Free space on /tmp= 70484 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_0_mh_ic.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744028-1338800223/watcher-3744028-1338800223 -o /tmp/evaluation-result-3744028-1338800223/solver-3744028-1338800223 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744028-1338800223.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b32f126aecba6bfb006545c8818dc00d RANDOM SEED=1273719664 node133.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.540 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.08 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.540 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.92 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.540 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.92 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.540 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.540 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.540 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 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.540 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.540 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: 27811692 kB Buffers: 506592 kB Cached: 2923148 kB SwapCached: 676 kB Active: 2246980 kB Inactive: 1912760 kB Active(anon): 721292 kB Inactive(anon): 10220 kB Active(file): 1525688 kB Inactive(file): 1902540 kB Unevictable: 7380 kB Mlocked: 7380 kB SwapTotal: 67108856 kB SwapFree: 67107040 kB Dirty: 1260 kB Writeback: 0 kB AnonPages: 809424 kB Mapped: 18656 kB Shmem: 0 kB Slab: 760200 kB SReclaimable: 202020 kB SUnreclaim: 558180 kB KernelStack: 1808 kB PageTables: 5352 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1573264 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 755712 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= 70484 MiB End job on node133 at 2012-06-04 11:12:10