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