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