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