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) | 822 | 1800.06 | 903.887 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb |
| MD5SUM | 35ffbede57b8807d38d913370f4c4486 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 381 |
| Best CPU time to get the best result obtained on this benchmark | 1800.13 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 419 |
| 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 | 495618 |
| 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 | 495618 |
| 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.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081224-1465222260.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 5.41/3.61 c ... done. Wall clock time 3.493s. 5.41/3.61 c declared #vars 10000 5.41/3.61 c #constraints 656900 5.41/3.61 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 5.41/3.61 c constraints type 5.41/3.62 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 5.41/3.62 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 5.41/3.62 c 656900 constraints processed. 5.41/3.62 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 5.41/3.62 c constraints type 5.41/3.62 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 5.41/3.62 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 5.41/3.62 c 656900 constraints processed. 5.41/3.62 c objective function length is 10000 literals 6.12/3.86 c And the winner is solver0 6.42/4.12 c SATISFIABLE 6.42/4.12 c OPTIMIZING... 6.42/4.12 c Got one! Elapsed wall clock time (in seconds):4.007 6.42/4.13 o 907 9.41/5.48 c cleaning 2538 clauses out of 5111 with flag 14136/5111 12.93/7.19 c cleaning 4285 clauses out of 8573 with flag 30504/11111 17.15/9.26 c cleaning 5641 clauses out of 11288 with flag 48418/18111 22.15/11.71 c cleaning 6821 clauses out of 13647 with flag 69020/26111 27.58/14.42 c cleaning 7910 clauses out of 15826 with flag 92224/35111 33.62/17.48 c cleaning 8948 clauses out of 17916 with flag 117861/45111 40.56/20.82 c cleaning 9979 clauses out of 19970 with flag 149469/56113 47.78/24.47 c cleaning 10992 clauses out of 21989 with flag 183402/68111 55.58/28.38 c cleaning 11995 clauses out of 23997 with flag 223572/81111 64.38/32.72 c cleaning 12995 clauses out of 26004 with flag 266347/95113 73.90/37.39 c cleaning 13996 clauses out of 28009 with flag 305750/110113 83.69/42.29 c cleaning 15003 clauses out of 30013 with flag 348037/126113 89.51/45.20 c And the winner is solver1 89.55/45.69 c Got one! Elapsed wall clock time (in seconds):45.573 89.55/45.69 o 822 94.20/48.04 c cleaning 14552 clauses out of 29103 with flag 13884/140206 99.62/50.72 c cleaning 10275 clauses out of 20550 with flag 32595/146205 106.02/53.97 c cleaning 8638 clauses out of 17275 with flag 53531/153205 113.80/57.89 c cleaning 8319 clauses out of 16638 with flag 77421/161206 123.20/62.51 c cleaning 8659 clauses out of 17318 with flag 105005/170205 133.20/67.51 c cleaning 9330 clauses out of 18659 with flag 135418/180205 144.40/73.13 c cleaning 10165 clauses out of 20329 with flag 168548/191205 157.19/79.51 c cleaning 11080 clauses out of 22165 with flag 205825/203206 171.05/86.47 c cleaning 12036 clauses out of 24084 with flag 246311/216205 187.48/94.62 c cleaning 13020 clauses out of 26048 with flag 291028/230205 203.87/102.89 c cleaning 14013 clauses out of 28030 with flag 338693/245207 223.25/112.25 c cleaning 15006 clauses out of 30015 with flag 391578/261205 242.43/121.88 c cleaning 16005 clauses out of 32009 with flag 447221/278205 263.23/132.24 c cleaning 17002 clauses out of 34004 with flag 506108/296205 285.42/143.34 c cleaning 17997 clauses out of 36002 with flag 571578/315205 310.02/155.63 c cleaning 19003 clauses out of 38007 with flag 644512/335207 333.62/167.46 c cleaning 19997 clauses out of 40002 with flag 717801/356205 360.23/180.76 c cleaning 20997 clauses out of 42005 with flag 797003/378205 386.44/193.81 c cleaning 21989 clauses out of 44008 with flag 874452/401205 415.04/208.12 c cleaning 23007 clauses out of 46019 with flag 956594/425205 446.43/223.81 c cleaning 23994 clauses out of 48015 with flag 1045284/450208 481.11/241.53 c cleaning 25004 clauses out of 50018 with flag 1135667/476205 513.70/257.89 c cleaning 26009 clauses out of 52018 with flag 1226247/503209 545.96/273.92 c cleaning 26994 clauses out of 54005 with flag 1323930/531205 578.76/290.30 c cleaning 28006 clauses out of 56011 with flag 1417999/560205 612.58/307.24 c cleaning 28996 clauses out of 58006 with flag 1516927/590206 648.57/325.29 c cleaning 29997 clauses out of 60009 with flag 1615501/621205 683.97/342.93 c cleaning 31006 clauses out of 62012 with flag 1721825/653205 720.99/361.43 c cleaning 31989 clauses out of 64006 with flag 1832350/686205 759.20/380.58 c cleaning 32999 clauses out of 66018 with flag 1943618/720206 810.59/406.46 c cleaning 33996 clauses out of 68019 with flag 2061523/755206 852.18/427.21 c cleaning 35008 clauses out of 70022 with flag 2183049/791205 896.78/449.56 c cleaning 35994 clauses out of 72014 with flag 2304902/828205 939.58/470.93 c cleaning 37001 clauses out of 74020 with flag 2429368/866205 986.30/493.89 c cleaning 38004 clauses out of 76021 with flag 2552814/905207 1030.71/516.08 c cleaning 38999 clauses out of 78015 with flag 2682322/945205 1084.33/544.41 c cleaning 39992 clauses out of 80016 with flag 2819477/986205 1132.32/568.46 c cleaning 40996 clauses out of 82024 with flag 2965898/1028205 1182.31/593.46 c cleaning 42001 clauses out of 84028 with flag 3117386/1071205 1237.07/620.31 c cleaning 43004 clauses out of 86027 with flag 3269758/1115205 1285.06/644.32 c cleaning 44012 clauses out of 88025 with flag 3413180/1160207 1338.25/670.92 c cleaning 44982 clauses out of 90011 with flag 3569919/1206205 1398.11/702.54 c cleaning 46005 clauses out of 92029 with flag 3730739/1253205 1456.88/731.59 c cleaning 46995 clauses out of 94024 with flag 3896431/1301205 1518.68/762.20 c cleaning 48011 clauses out of 96029 with flag 4063692/1350205 1583.47/794.32 c cleaning 49004 clauses out of 98018 with flag 4234580/1400205 1646.16/825.30 c cleaning 49998 clauses out of 100016 with flag 4406922/1451207 1717.14/860.88 c cleaning 50998 clauses out of 102016 with flag 4593199/1503205 1794.48/901.03 c cleaning 52008 clauses out of 104022 with flag 4785505/1556209 1800.06/903.80 c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<< 1800.06/903.80 c starts : 9386 1800.06/903.80 c conflicts : 1561197 1800.06/903.80 c decisions : 5465206 1800.06/903.80 c propagations : 496104701 1800.06/903.80 c inspects : 1157390003 1800.06/903.80 c shortcuts : 0 1800.06/903.80 c learnt literals : 0 1800.06/903.80 c learnt binary clauses : 0 1800.06/903.80 c learnt ternary clauses : 0 1800.06/903.80 c learnt constraints : 1561197 1800.06/903.80 c ignored constraints : 0 1800.06/903.80 c root simplifications : 0 1800.06/903.80 c removed literals (reason simplification) : 117101885 1800.06/903.80 c reason swapping (by a shorter reason) : 0 1800.06/903.80 c Calls to reduceDB : 61 1800.06/903.80 c Number of update (reduction) of LBD : 552722 1800.06/903.80 c Imported unit clauses : 0 1800.06/903.80 c number of reductions to clauses (during analyze) : 0 1800.06/903.80 c number of learned constraints concerned by reduction : 0 1800.06/903.80 c number of learning phase by resolution : 0 1800.06/903.80 c number of learning phase by cutting planes : 0 1800.06/903.80 c speed (assignments/second) : 578156.0260628075 1800.06/903.80 c non guided choices 0 1800.06/903.82 c learnt constraints type 1800.06/903.82 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 57002 1800.06/903.82 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 1800.06/903.82 c starts : 14 1800.06/903.82 c conflicts : 1775 1800.06/903.82 c decisions : 154048 1800.06/903.82 c propagations : 1865082 1800.06/903.82 c inspects : 36631365 1800.06/903.82 c shortcuts : 0 1800.06/903.82 c learnt literals : 0 1800.06/903.82 c learnt binary clauses : 0 1800.06/903.82 c learnt ternary clauses : 0 1800.06/903.82 c learnt constraints : 1775 1800.06/903.82 c ignored constraints : 0 1800.06/903.82 c root simplifications : 0 1800.06/903.82 c removed literals (reason simplification) : 0 1800.06/903.82 c reason swapping (by a shorter reason) : 0 1800.06/903.82 c Calls to reduceDB : 0 1800.06/903.82 c Number of update (reduction) of LBD : 0 1800.06/903.82 c Imported unit clauses : 0 1800.06/903.82 c number of reductions to clauses (during analyze) : 0 1800.06/903.82 c number of learned constraints concerned by reduction : 0 1800.06/903.82 c number of learning phase by resolution : 0 1800.06/903.82 c number of learning phase by cutting planes : 0 1800.06/903.82 c speed (assignments/second) : 2073.1356771519368 1800.06/903.82 c non guided choices 0 1800.06/903.83 c learnt constraints type 1800.06/903.83 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 264 1800.06/903.83 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1511 1800.06/903.83 s SATISFIABLE 1800.06/903.83 c Found 2 solution(s) 1800.06/903.83 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.86 c objective function=822 1800.06/903.86 c Total wall clock time (in seconds): 903.738
OK 822
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-4081224-1465222260/watcher-4081224-1465222260 -o /tmp/evaluation-result-4081224-1465222260/solver-4081224-1465222260 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465217569-32164 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081224-1465222260.opb pid=4405 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.32 4.27 4.22 5/198 4408 /proc/meminfo: memFree=27315868/32872528 swapFree=12208/1156848 [pid=4408] ppid=4405 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/4408/stat : 4408 (java) R 4405 4408 32147 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 104160665 9515008 162 33554432000 1073741824 1073778376 140736357259744 140736357256872 219513565680 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/4408/statm: 2323 174 132 9 0 71 0 [startup+0.10011 s] /proc/loadavg: 4.32 4.27 4.22 5/198 4408 /proc/meminfo: memFree=27315868/32872528 swapFree=12208/1156848 [pid=4408] ppid=4405 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/4408/stat : 4408 (java) S 4405 4408 32147 0 -1 4202496 4416 0 1 0 8 1 0 0 20 0 18 0 104160665 9787879424 6039 33554432000 1073741824 1073778376 140736357259744 140736357250880 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4408/statm: 2389619 6039 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200291 s] /proc/loadavg: 4.32 4.27 4.22 5/198 4408 /proc/meminfo: memFree=27315868/32872528 swapFree=12208/1156848 [pid=4408] ppid=4405 vsize=9558476 CPUtime=0.29 cores=1,3,5,7 /proc/4408/stat : 4408 (java) S 4405 4408 32147 0 -1 4202496 5036 0 1 0 28 1 0 0 20 0 18 0 104160665 9787879424 7010 33554432000 1073741824 1073778376 140736357259744 140736357250880 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4408/statm: 2389619 7010 2221 9 0 2380296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9558476 [startup+0.300306 s] /proc/loadavg: 4.32 4.27 4.22 5/198 4408 /proc/meminfo: memFree=27315868/32872528 swapFree=12208/1156848 [pid=4408] ppid=4405 vsize=9558476 CPUtime=0.47 cores=1,3,5,7 /proc/4408/stat : 4408 (java) S 4405 4408 32147 0 -1 4202496 5420 0 1 0 46 1 0 0 20 0 18 0 104160665 9787879424 9197 33554432000 1073741824 1073778376 140736357259744 140736357250880 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4408/statm: 2389619 9197 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558476 [startup+0.700271 s] /proc/loadavg: 4.32 4.27 4.22 5/198 4408 /proc/meminfo: memFree=27315868/32872528 swapFree=12208/1156848 [pid=4408] ppid=4405 vsize=9559084 CPUtime=1.61 cores=1,3,5,7 /proc/4408/stat : 4408 (java) S 4405 4408 32147 0 -1 4202496 23259 0 1 0 156 5 0 0 20 0 18 0 104160665 9788502016 35093 33554432000 1073741824 1073778376 140736357259744 140736357250880 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4408/statm: 2389771 35093 2244 9 0 2380448 0 Current children cumulated CPU time (s) 1.61 Current children cumulated vsize (KiB) 9559084 [startup+1.50081 s] /proc/loadavg: 4.32 4.27 4.22 5/215 4426 /proc/meminfo: memFree=27118148/32872528 swapFree=12208/1156848 [pid=4408] ppid=4405 vsize=9558476 CPUtime=2.76 cores=1,3,5,7 /proc/4408/stat : 4408 (java) S 4405 4408 32147 0 -1 4202496 23483 0 1 0 267 9 0 0 20 0 18 0 104160665 9787879424 64503 33554432000 1073741824 1073778376 140736357259744 140736357250880 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4408/statm: 2389619 64503 2262 9 0 2380296 0 [pid=4408/tid=4410] ppid=4405 vsize=9558476 CPUtime=1.41 cores=1,3,5,7 /proc/4408/task/4410/stat : 4410 (java) R 4405 4408 32147 0 -1 4202560 2487 0 1 0 139 2 0 0 20 0 18 0 104160666 9787879424 64503 33554432000 1073741824 1073778376 140736357259744 140142741131200 140142585514458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4411] ppid=4405 vsize=9558476 CPUtime=0.02 cores=1,3,5,7 /proc/4408/task/4411/stat : 4411 (java) S 4405 4408 32147 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 104160667 9787879424 64503 33554432000 1073741824 1073778376 140736357259744 140142585048104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4412] ppid=4405 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4412/stat : 4412 (java) S 4405 4408 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 104160667 9787879424 64503 33554432000 1073741824 1073778376 140736357259744 140142583995304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4408/tid=4413] ppid=4405 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4413/stat : 4413 (java) S 4405 4408 32147 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 104160667 9787879424 64503 33554432000 1073741824 1073778376 140736357259744 140142582942504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4414] ppid=4405 vsize=9558476 CPUtime=0.02 cores=1,3,5,7 /proc/4408/task/4414/stat : 4414 (java) S 4405 4408 32147 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 18 0 104160667 9787879424 64503 33554432000 1073741824 1073778376 140736357259744 140142581889704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4415] ppid=4405 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4415/stat : 4415 (java) S 4405 4408 32147 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 104160667 9787879424 64503 33554432000 1073741824 1073778376 140736357259744 140142580836904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4416] ppid=4405 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4416/stat : 4416 (java) S 4405 4408 32147 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 104160667 9787879424 64503 33554432000 1073741824 1073778376 140736357259744 140142579784104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4408/tid=4417] ppid=4405 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4417/stat : 4417 (java) S 4405 4408 32147 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 104160667 9787879424 64503 33554432000 1073741824 1073778376 140736357259744 140142578731304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4418] ppid=4405 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4418/stat : 4418 (java) S 4405 4408 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 104160667 9787879424 64503 33554432000 1073741824 1073778376 140736357259744 140142577678504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4419] ppid=4405 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4419/stat : 4419 (java) S 4405 4408 32147 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 104160668 9787879424 64503 33554432000 1073741824 1073778376 140736357259744 140142095350760 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4420] ppid=4405 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4420/stat : 4420 (java) S 4405 4408 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104160669 9787879424 64503 33554432000 1073741824 1073778376 140736357259744 140142094296824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4421] ppid=4405 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4421/stat : 4421 (java) S 4405 4408 32147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104160669 9787879424 64503 33554432000 1073741824 1073778376 140736357259744 140142093243912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4422] ppid=4405 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4422/stat : 4422 (java) S 4405 4408 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104160671 9787879424 65015 33554432000 1073741824 1073778376 140736357259744 140142092192400 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4423] ppid=4405 vsize=9558476 CPUtime=0.58 cores=1,3,5,7 /proc/4408/task/4423/stat : 4423 (java) S 4405 4408 32147 0 -1 4202560 9091 0 0 0 57 1 0 0 20 0 18 0 104160671 9787879424 65015 33554432000 1073741824 1073778376 140736357259744 140142091139512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4424] ppid=4405 vsize=9558476 CPUtime=0.55 cores=1,3,5,7 /proc/4408/task/4424/stat : 4424 (java) S 4405 4408 32147 0 -1 4202560 10514 0 0 0 53 2 0 0 20 0 18 0 104160671 9787879424 65015 33554432000 1073741824 1073778376 140736357259744 140142090086712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4425] ppid=4405 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4425/stat : 4425 (java) S 4405 4408 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104160671 9787879424 65015 33554432000 1073741824 1073778376 140736357259744 140142089034104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4426] ppid=4405 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4426/stat : 4426 (java) S 4405 4408 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104160671 9787879424 65015 33554432000 1073741824 1073778376 140736357259744 140142087981512 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.76 Current children cumulated vsize (KiB) 9558476 [startup+3.10083 s] /proc/loadavg: 4.30 4.27 4.22 9/215 4426 /proc/meminfo: memFree=26944876/32872528 swapFree=12208/1156848 [pid=4408] ppid=4405 vsize=9558476 CPUtime=4.64 cores=1,3,5,7 /proc/4408/stat : 4408 (java) S 4405 4408 32147 0 -1 4202496 23957 0 1 0 443 21 0 0 20 0 18 0 104160665 9787879424 136430 33554432000 1073741824 1073778376 140736357259744 140736357250880 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4408/statm: 2389619 136430 2262 9 0 2380296 0 [pid=4408/tid=4410] ppid=4405 vsize=9558476 CPUtime=2.9 cores=1,3,5,7 /proc/4408/task/4410/stat : 4410 (java) R 4405 4408 32147 0 -1 4202560 2598 0 1 0 284 6 0 0 20 0 18 0 104160666 9787879424 136430 33554432000 1073741824 1073778376 140736357259744 140142741131296 219517347085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4411] ppid=4405 vsize=9558476 CPUtime=0.05 cores=1,3,5,7 /proc/4408/task/4411/stat : 4411 (java) S 4405 4408 32147 0 -1 4202560 29 0 0 0 4 1 0 0 20 0 18 0 104160667 9787879424 136430 33554432000 1073741824 1073778376 140736357259744 140142585048104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4412] ppid=4405 vsize=9558476 CPUtime=0.08 cores=1,3,5,7 /proc/4408/task/4412/stat : 4412 (java) S 4405 4408 32147 0 -1 4202560 67 0 0 0 6 2 0 0 20 0 18 0 104160667 9787879424 136430 33554432000 1073741824 1073778376 140736357259744 140142583995304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4413] ppid=4405 vsize=9558476 CPUtime=0.03 cores=1,3,5,7 /proc/4408/task/4413/stat : 4413 (java) S 4405 4408 32147 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 18 0 104160667 9787879424 136430 33554432000 1073741824 1073778376 140736357259744 140142582942504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4414] ppid=4405 vsize=9558476 CPUtime=0.05 cores=1,3,5,7 /proc/4408/task/4414/stat : 4414 (java) S 4405 4408 32147 0 -1 4202560 42 0 0 0 4 1 0 0 20 0 18 0 104160667 9787879424 136430 33554432000 1073741824 1073778376 140736357259744 140142581889704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4415] ppid=4405 vsize=9558476 CPUtime=0.06 cores=1,3,5,7 /proc/4408/task/4415/stat : 4415 (java) S 4405 4408 32147 0 -1 4202560 32 0 0 0 4 2 0 0 20 0 18 0 104160667 9787879424 136430 33554432000 1073741824 1073778376 140736357259744 140142580836904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4416] ppid=4405 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/4408/task/4416/stat : 4416 (java) S 4405 4408 32147 0 -1 4202560 46 0 0 0 6 1 0 0 20 0 18 0 104160667 9787879424 136430 33554432000 1073741824 1073778376 140736357259744 140142579784104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4408/tid=4417] ppid=4405 vsize=9558476 CPUtime=0.05 cores=1,3,5,7 /proc/4408/task/4417/stat : 4417 (java) S 4405 4408 32147 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 18 0 104160667 9787879424 136430 33554432000 1073741824 1073778376 140736357259744 140142578731304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4418] ppid=4405 vsize=9558476 CPUtime=0.04 cores=1,3,5,7 /proc/4408/task/4418/stat : 4418 (java) S 4405 4408 32147 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 18 0 104160667 9787879424 136430 33554432000 1073741824 1073778376 140736357259744 140142577678504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4419] ppid=4405 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4419/stat : 4419 (java) S 4405 4408 32147 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 104160668 9787879424 136430 33554432000 1073741824 1073778376 140736357259744 140142095350760 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4420] ppid=4405 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4420/stat : 4420 (java) S 4405 4408 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104160669 9787879424 136430 33554432000 1073741824 1073778376 140736357259744 140142094296824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4421] ppid=4405 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4421/stat : 4421 (java) S 4405 4408 32147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104160669 9787879424 136430 33554432000 1073741824 1073778376 140736357259744 140142093243912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4422] ppid=4405 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4422/stat : 4422 (java) S 4405 4408 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104160671 9787879424 136430 33554432000 1073741824 1073778376 140736357259744 140142092192400 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4423] ppid=4405 vsize=9558476 CPUtime=0.58 cores=1,3,5,7 /proc/4408/task/4423/stat : 4423 (java) S 4405 4408 32147 0 -1 4202560 9091 0 0 0 57 1 0 0 20 0 18 0 104160671 9787879424 136430 33554432000 1073741824 1073778376 140736357259744 140142091139512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4424] ppid=4405 vsize=9558476 CPUtime=0.55 cores=1,3,5,7 /proc/4408/task/4424/stat : 4424 (java) S 4405 4408 32147 0 -1 4202560 10514 0 0 0 53 2 0 0 20 0 18 0 104160671 9787879424 136430 33554432000 1073741824 1073778376 140736357259744 140142090086712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4425] ppid=4405 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4425/stat : 4425 (java) S 4405 4408 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104160671 9787879424 136430 33554432000 1073741824 1073778376 140736357259744 140142089034104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4426] ppid=4405 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4426/stat : 4426 (java) S 4405 4408 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104160671 9787879424 136430 33554432000 1073741824 1073778376 140736357259744 140142087981512 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 4.64 Current children cumulated vsize (KiB) 9558476 [startup+6.30084 s] /proc/loadavg: 4.30 4.27 4.22 6/219 4433 /proc/meminfo: memFree=26647640/32872528 swapFree=12208/1156848 [pid=4408] ppid=4405 vsize=9824732 CPUtime=11.27 cores=1,3,5,7 /proc/4408/stat : 4408 (java) S 4405 4408 32147 0 -1 4202496 25890 0 1 0 1096 31 0 0 20 0 22 0 104160665 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140736357250880 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4408/statm: 2456183 168306 2290 9 0 2446860 0 [pid=4408/tid=4410] ppid=4405 vsize=9824732 CPUtime=3.39 cores=1,3,5,7 /proc/4408/task/4410/stat : 4410 (java) S 4405 4408 32147 0 -1 4202560 2662 0 1 0 331 8 0 0 20 0 22 0 104160666 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140142741140344 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4411] ppid=4405 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/4408/task/4411/stat : 4411 (java) S 4405 4408 32147 0 -1 4202560 46 0 0 0 7 2 0 0 20 0 22 0 104160667 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140142585048104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4412] ppid=4405 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/4408/task/4412/stat : 4412 (java) S 4405 4408 32147 0 -1 4202560 77 0 0 0 9 2 0 0 20 0 22 0 104160667 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140142583995304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4408/tid=4413] ppid=4405 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/4408/task/4413/stat : 4413 (java) S 4405 4408 32147 0 -1 4202560 44 0 0 0 4 2 0 0 20 0 22 0 104160667 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140142582942504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4408/tid=4414] ppid=4405 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/4408/task/4414/stat : 4414 (java) S 4405 4408 32147 0 -1 4202560 49 0 0 0 6 2 0 0 20 0 22 0 104160667 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140142581889704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4408/tid=4415] ppid=4405 vsize=9824732 CPUtime=0.15 cores=1,3,5,7 /proc/4408/task/4415/stat : 4415 (java) S 4405 4408 32147 0 -1 4202560 64 0 0 0 12 3 0 0 20 0 22 0 104160667 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140142580836904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4416] ppid=4405 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/4408/task/4416/stat : 4416 (java) S 4405 4408 32147 0 -1 4202560 55 0 0 0 8 2 0 0 20 0 22 0 104160667 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140142579784104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4408/tid=4417] ppid=4405 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/4408/task/4417/stat : 4417 (java) S 4405 4408 32147 0 -1 4202560 47 0 0 0 6 2 0 0 20 0 22 0 104160667 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140142578731304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4418] ppid=4405 vsize=9824732 CPUtime=0.13 cores=1,3,5,7 /proc/4408/task/4418/stat : 4418 (java) S 4405 4408 32147 0 -1 4202560 69 0 0 0 11 2 0 0 20 0 22 0 104160667 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140142577678504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4408/tid=4419] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4419/stat : 4419 (java) S 4405 4408 32147 0 -1 4202560 482 0 0 0 0 0 0 0 20 0 22 0 104160668 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140142095350760 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4420] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4420/stat : 4420 (java) S 4405 4408 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104160669 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140142094296824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4421] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4421/stat : 4421 (java) S 4405 4408 32147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104160669 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140142093243912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4422] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4422/stat : 4422 (java) S 4405 4408 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104160671 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140142092192400 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4423] ppid=4405 vsize=9824732 CPUtime=1.09 cores=1,3,5,7 /proc/4408/task/4423/stat : 4423 (java) S 4405 4408 32147 0 -1 4202560 9135 0 0 0 108 1 0 0 20 0 22 0 104160671 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140142091139512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4424] ppid=4405 vsize=9824732 CPUtime=1.11 cores=1,3,5,7 /proc/4408/task/4424/stat : 4424 (java) S 4405 4408 32147 0 -1 4202560 11840 0 0 0 108 3 0 0 20 0 22 0 104160671 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140142090086712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4425] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4425/stat : 4425 (java) S 4405 4408 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104160671 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140142089034104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4426] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4426/stat : 4426 (java) S 4405 4408 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104160671 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140142087981512 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4429] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4429/stat : 4429 (java) S 4405 4408 32147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104161031 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140142084822440 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4431] ppid=4405 vsize=9824732 CPUtime=2.07 cores=1,3,5,7 /proc/4408/task/4431/stat : 4431 (java) R 4405 4408 32147 0 -1 4202560 6 0 0 0 207 0 0 0 20 0 22 0 104161083 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140142085874408 140142586089995 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4432] ppid=4405 vsize=9824732 CPUtime=2.08 cores=1,3,5,7 /proc/4408/task/4432/stat : 4432 (java) R 4405 4408 32147 0 -1 4202560 4 0 0 0 208 0 0 0 20 0 22 0 104161083 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140142086924608 140142586159440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4433] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4433/stat : 4433 (java) S 4405 4408 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104161083 10060525568 168306 33554432000 1073741824 1073778376 140736357259744 140142083769256 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 11.27 ################ # More data... # ################ /proc/4408/task/4413/stat : 4413 (java) S 4405 4408 32147 0 -1 4202560 3720 0 0 0 229 34 0 0 20 0 22 0 104160667 10060525568 1032615 33554432000 1073741824 1073778376 140736357259744 140142582942504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4414] ppid=4405 vsize=9824732 CPUtime=2.46 cores=1,3,5,7 /proc/4408/task/4414/stat : 4414 (java) S 4405 4408 32147 0 -1 4202560 3595 0 0 0 214 32 0 0 20 0 22 0 104160667 10060525568 1032615 33554432000 1073741824 1073778376 140736357259744 140142581889704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4415] ppid=4405 vsize=9824732 CPUtime=2.65 cores=1,3,5,7 /proc/4408/task/4415/stat : 4415 (java) S 4405 4408 32147 0 -1 4202560 4378 0 0 0 231 34 0 0 20 0 22 0 104160667 10060525568 1032615 33554432000 1073741824 1073778376 140736357259744 140142580836904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4416] ppid=4405 vsize=9824732 CPUtime=2.53 cores=1,3,5,7 /proc/4408/task/4416/stat : 4416 (java) S 4405 4408 32147 0 -1 4202560 3835 0 0 0 219 34 0 0 20 0 22 0 104160667 10060525568 1032615 33554432000 1073741824 1073778376 140736357259744 140142579784104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4408/tid=4417] ppid=4405 vsize=9824732 CPUtime=2.48 cores=1,3,5,7 /proc/4408/task/4417/stat : 4417 (java) S 4405 4408 32147 0 -1 4202560 4439 0 0 0 220 28 0 0 20 0 22 0 104160667 10060525568 1032615 33554432000 1073741824 1073778376 140736357259744 140142578731304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4418] ppid=4405 vsize=9824732 CPUtime=3.06 cores=1,3,5,7 /proc/4408/task/4418/stat : 4418 (java) S 4405 4408 32147 0 -1 4202560 4264 0 0 0 274 32 0 0 20 0 22 0 104160667 10060525568 1032615 33554432000 1073741824 1073778376 140736357259744 140142577678504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4419] ppid=4405 vsize=9824732 CPUtime=12.2 cores=1,3,5,7 /proc/4408/task/4419/stat : 4419 (java) S 4405 4408 32147 0 -1 4202560 3526 0 0 0 1216 4 0 0 20 0 22 0 104160668 10060525568 1032615 33554432000 1073741824 1073778376 140736357259744 140142095350760 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4420] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4420/stat : 4420 (java) S 4405 4408 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104160669 10060525568 1032615 33554432000 1073741824 1073778376 140736357259744 140142094296824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4421] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4421/stat : 4421 (java) S 4405 4408 32147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104160669 10060525568 1032615 33554432000 1073741824 1073778376 140736357259744 140142093243912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4408/tid=4422] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4422/stat : 4422 (java) S 4405 4408 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104160671 10060525568 1032615 33554432000 1073741824 1073778376 140736357259744 140142092192400 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4423] ppid=4405 vsize=9824732 CPUtime=1.55 cores=1,3,5,7 /proc/4408/task/4423/stat : 4423 (java) S 4405 4408 32147 0 -1 4202560 9156 0 0 0 154 1 0 0 20 0 22 0 104160671 10060525568 1032615 33554432000 1073741824 1073778376 140736357259744 140142091139512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4424] ppid=4405 vsize=9824732 CPUtime=1.42 cores=1,3,5,7 /proc/4408/task/4424/stat : 4424 (java) S 4405 4408 32147 0 -1 4202560 11860 0 0 0 139 3 0 0 20 0 22 0 104160671 10060525568 1032615 33554432000 1073741824 1073778376 140736357259744 140142090086712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4408/tid=4425] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4425/stat : 4425 (java) S 4405 4408 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104160671 10060525568 1032615 33554432000 1073741824 1073778376 140736357259744 140142089034104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4426] ppid=4405 vsize=9824732 CPUtime=0.18 cores=1,3,5,7 /proc/4408/task/4426/stat : 4426 (java) S 4405 4408 32147 0 -1 4202560 47 0 0 0 8 10 0 0 20 0 22 0 104160671 10060525568 1032615 33554432000 1073741824 1073778376 140736357259744 140142087981512 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4433] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4433/stat : 4433 (java) S 4405 4408 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104161083 10060525568 1032615 33554432000 1073741824 1073778376 140736357259744 140142083769256 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4434] ppid=4405 vsize=9824732 CPUtime=757.24 cores=1,3,5,7 /proc/4408/task/4434/stat : 4434 (java) R 4405 4408 32147 0 -1 4202560 510 0 0 0 75711 13 0 0 20 0 22 0 104165237 10060525568 1032615 33554432000 1073741824 1073778376 140736357259744 140142085872816 140142586347066 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4435] ppid=4405 vsize=9824732 CPUtime=757.17 cores=1,3,5,7 /proc/4408/task/4435/stat : 4435 (java) R 4405 4408 32147 0 -1 4202560 997 0 0 0 75689 28 0 0 20 0 22 0 104165237 10060525568 1032615 33554432000 1073741824 1073778376 140736357259744 140142086925136 140142585975676 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4436] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4436/stat : 4436 (java) S 4405 4408 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104165238 10060525568 1032615 33554432000 1073741824 1073778376 140736357259744 140142084822568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1640.16 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.05 4.19 4.21 5/219 4546 /proc/meminfo: memFree=24481204/32872528 swapFree=12208/1156848 [pid=4408] ppid=4405 vsize=9824732 CPUtime=1757.08 cores=1,3,5,7 /proc/4408/stat : 4408 (java) S 4405 4408 32147 0 -1 4202496 63228 0 1 0 175354 354 0 0 20 0 22 0 104160665 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140736357250880 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4408/statm: 2456183 1190708 2301 9 0 2446860 0 [pid=4408/tid=4410] ppid=4405 vsize=9824732 CPUtime=3.45 cores=1,3,5,7 /proc/4408/task/4410/stat : 4410 (java) S 4405 4408 32147 0 -1 4202560 2670 0 1 0 336 9 0 0 20 0 22 0 104160666 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142741140344 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4411] ppid=4405 vsize=9824732 CPUtime=2.8 cores=1,3,5,7 /proc/4408/task/4411/stat : 4411 (java) S 4405 4408 32147 0 -1 4202560 2244 0 0 0 243 37 0 0 20 0 22 0 104160667 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142585048104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4408/tid=4412] ppid=4405 vsize=9824732 CPUtime=2.98 cores=1,3,5,7 /proc/4408/task/4412/stat : 4412 (java) S 4405 4408 32147 0 -1 4202560 4755 0 0 0 260 38 0 0 20 0 22 0 104160667 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142583995304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4413] ppid=4405 vsize=9824732 CPUtime=2.94 cores=1,3,5,7 /proc/4408/task/4413/stat : 4413 (java) S 4405 4408 32147 0 -1 4202560 3837 0 0 0 256 38 0 0 20 0 22 0 104160667 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142582942504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4414] ppid=4405 vsize=9824732 CPUtime=2.78 cores=1,3,5,7 /proc/4408/task/4414/stat : 4414 (java) S 4405 4408 32147 0 -1 4202560 3674 0 0 0 242 36 0 0 20 0 22 0 104160667 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142581889704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4415] ppid=4405 vsize=9824732 CPUtime=3.03 cores=1,3,5,7 /proc/4408/task/4415/stat : 4415 (java) S 4405 4408 32147 0 -1 4202560 4455 0 0 0 266 37 0 0 20 0 22 0 104160667 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142580836904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4416] ppid=4405 vsize=9824732 CPUtime=2.82 cores=1,3,5,7 /proc/4408/task/4416/stat : 4416 (java) S 4405 4408 32147 0 -1 4202560 3924 0 0 0 245 37 0 0 20 0 22 0 104160667 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142579784104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4417] ppid=4405 vsize=9824732 CPUtime=2.85 cores=1,3,5,7 /proc/4408/task/4417/stat : 4417 (java) S 4405 4408 32147 0 -1 4202560 4755 0 0 0 250 35 0 0 20 0 22 0 104160667 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142578731304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4418] ppid=4405 vsize=9824732 CPUtime=3.27 cores=1,3,5,7 /proc/4408/task/4418/stat : 4418 (java) S 4405 4408 32147 0 -1 4202560 4318 0 0 0 292 35 0 0 20 0 22 0 104160667 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142577678504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4408/tid=4419] ppid=4405 vsize=9824732 CPUtime=16.47 cores=1,3,5,7 /proc/4408/task/4419/stat : 4419 (java) S 4405 4408 32147 0 -1 4202560 4692 0 0 0 1639 8 0 0 20 0 22 0 104160668 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142095350760 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4420] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4420/stat : 4420 (java) S 4405 4408 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104160669 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142094296824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4421] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4421/stat : 4421 (java) S 4405 4408 32147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104160669 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142093243912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4408/tid=4422] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4422/stat : 4422 (java) S 4405 4408 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104160671 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142092192400 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4423] ppid=4405 vsize=9824732 CPUtime=1.55 cores=1,3,5,7 /proc/4408/task/4423/stat : 4423 (java) S 4405 4408 32147 0 -1 4202560 9156 0 0 0 154 1 0 0 20 0 22 0 104160671 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142091139512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4424] ppid=4405 vsize=9824732 CPUtime=1.42 cores=1,3,5,7 /proc/4408/task/4424/stat : 4424 (java) S 4405 4408 32147 0 -1 4202560 11860 0 0 0 139 3 0 0 20 0 22 0 104160671 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142090086712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4408/tid=4425] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4425/stat : 4425 (java) S 4405 4408 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104160671 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142089034104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4426] ppid=4405 vsize=9824732 CPUtime=0.19 cores=1,3,5,7 /proc/4408/task/4426/stat : 4426 (java) S 4405 4408 32147 0 -1 4202560 51 0 0 0 8 11 0 0 20 0 22 0 104160671 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142087981512 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4433] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4433/stat : 4433 (java) S 4405 4408 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104161083 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142083769256 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4434] ppid=4405 vsize=9824732 CPUtime=812.2 cores=1,3,5,7 /proc/4408/task/4434/stat : 4434 (java) R 4405 4408 32147 0 -1 4202560 510 0 0 0 81205 15 0 0 20 0 22 0 104165237 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142085872816 140142586475853 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4435] ppid=4405 vsize=9824732 CPUtime=812.14 cores=1,3,5,7 /proc/4408/task/4435/stat : 4435 (java) R 4405 4408 32147 0 -1 4202560 997 0 0 0 81185 29 0 0 20 0 22 0 104165237 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142086925296 140142585975539 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4436] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4436/stat : 4436 (java) S 4405 4408 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104165238 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142084822568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1757.08 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+903.801 s] /proc/loadavg: 4.12 4.19 4.21 6/219 4546 /proc/meminfo: memFree=24477164/32872528 swapFree=12208/1156848 [pid=4408] ppid=4405 vsize=9824732 CPUtime=1800.06 cores=1,3,5,7 /proc/4408/stat : 4408 (java) S 4405 4408 32147 0 -1 4202496 63228 0 1 0 179652 354 0 0 20 0 22 0 104160665 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140736357250880 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/4408/statm: 2456183 1190708 2301 9 0 2446860 0 [pid=4408/tid=4410] ppid=4405 vsize=9824732 CPUtime=3.45 cores=1,3,5,7 /proc/4408/task/4410/stat : 4410 (java) S 4405 4408 32147 0 -1 4202560 2670 0 1 0 336 9 0 0 20 0 22 0 104160666 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142741140344 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4411] ppid=4405 vsize=9824732 CPUtime=2.8 cores=1,3,5,7 /proc/4408/task/4411/stat : 4411 (java) S 4405 4408 32147 0 -1 4202560 2244 0 0 0 243 37 0 0 20 0 22 0 104160667 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142585048104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4408/tid=4412] ppid=4405 vsize=9824732 CPUtime=2.98 cores=1,3,5,7 /proc/4408/task/4412/stat : 4412 (java) S 4405 4408 32147 0 -1 4202560 4755 0 0 0 260 38 0 0 20 0 22 0 104160667 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142583995304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4413] ppid=4405 vsize=9824732 CPUtime=2.94 cores=1,3,5,7 /proc/4408/task/4413/stat : 4413 (java) S 4405 4408 32147 0 -1 4202560 3837 0 0 0 256 38 0 0 20 0 22 0 104160667 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142582942504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4414] ppid=4405 vsize=9824732 CPUtime=2.78 cores=1,3,5,7 /proc/4408/task/4414/stat : 4414 (java) S 4405 4408 32147 0 -1 4202560 3674 0 0 0 242 36 0 0 20 0 22 0 104160667 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142581889704 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4415] ppid=4405 vsize=9824732 CPUtime=3.03 cores=1,3,5,7 /proc/4408/task/4415/stat : 4415 (java) S 4405 4408 32147 0 -1 4202560 4455 0 0 0 266 37 0 0 20 0 22 0 104160667 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142580836904 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4416] ppid=4405 vsize=9824732 CPUtime=2.82 cores=1,3,5,7 /proc/4408/task/4416/stat : 4416 (java) S 4405 4408 32147 0 -1 4202560 3924 0 0 0 245 37 0 0 20 0 22 0 104160667 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142579784104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4417] ppid=4405 vsize=9824732 CPUtime=2.85 cores=1,3,5,7 /proc/4408/task/4417/stat : 4417 (java) S 4405 4408 32147 0 -1 4202560 4755 0 0 0 250 35 0 0 20 0 22 0 104160667 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142578731304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4418] ppid=4405 vsize=9824732 CPUtime=3.27 cores=1,3,5,7 /proc/4408/task/4418/stat : 4418 (java) S 4405 4408 32147 0 -1 4202560 4318 0 0 0 292 35 0 0 20 0 22 0 104160667 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142577678504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4408/tid=4419] ppid=4405 vsize=9824732 CPUtime=16.47 cores=1,3,5,7 /proc/4408/task/4419/stat : 4419 (java) S 4405 4408 32147 0 -1 4202560 4692 0 0 0 1639 8 0 0 20 0 22 0 104160668 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142095350760 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4420] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4420/stat : 4420 (java) S 4405 4408 32147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104160669 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142094296824 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4421] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4421/stat : 4421 (java) S 4405 4408 32147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104160669 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142093243912 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4408/tid=4422] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4422/stat : 4422 (java) S 4405 4408 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104160671 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142092192400 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4423] ppid=4405 vsize=9824732 CPUtime=1.55 cores=1,3,5,7 /proc/4408/task/4423/stat : 4423 (java) S 4405 4408 32147 0 -1 4202560 9156 0 0 0 154 1 0 0 20 0 22 0 104160671 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142091139512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4424] ppid=4405 vsize=9824732 CPUtime=1.42 cores=1,3,5,7 /proc/4408/task/4424/stat : 4424 (java) S 4405 4408 32147 0 -1 4202560 11860 0 0 0 139 3 0 0 20 0 22 0 104160671 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142090086712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=4408/tid=4425] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4425/stat : 4425 (java) S 4405 4408 32147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104160671 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142089034104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4426] ppid=4405 vsize=9824732 CPUtime=0.2 cores=1,3,5,7 /proc/4408/task/4426/stat : 4426 (java) S 4405 4408 32147 0 -1 4202560 51 0 0 0 9 11 0 0 20 0 22 0 104160671 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142087981512 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4433] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4433/stat : 4433 (java) S 4405 4408 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104161083 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142083769256 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=4408/tid=4434] ppid=4405 vsize=9824732 CPUtime=833.63 cores=1,3,5,7 /proc/4408/task/4434/stat : 4434 (java) R 4405 4408 32147 0 -1 4202560 510 0 0 0 83348 15 0 0 20 0 22 0 104165237 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142085865104 140142586119652 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=4408/tid=4435] ppid=4405 vsize=9824732 CPUtime=833.58 cores=1,3,5,7 /proc/4408/task/4435/stat : 4435 (java) R 4405 4408 32147 0 -1 4202560 997 0 0 0 83329 29 0 0 20 0 22 0 104165237 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142086925296 140142586159575 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=4408/tid=4436] ppid=4405 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/4408/task/4436/stat : 4436 (java) S 4405 4408 32147 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104165238 10060525568 1190708 33554432000 1073741824 1073778376 140736357259744 140142084822568 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 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 4408 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 4408 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=289530 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=922403 # CPU time returned by wait4() is 1796.21 # while last known CPU time is 1800.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 903.887 CPU time (s): 1800.06 CPU user time (s): 1796.52 CPU system time (s): 3.54 CPU usage (%): 199.147 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.29 system time used= 3.9224 maximum resident set size= 4762944 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63265 page faults= 1 swaps= 0 block input operations= 0 block output operations= 824 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23915 involuntary context switches= 28655 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.56315 second user time and 7.55385 second system time The end
Begin job on node114 at 2016-06-06 16:11:01 IDJOB=4081224 IDBENCH=1964 IDSOLVER=2543 FILE ID=node114/4081224-1465222260 RUNJOBID= node114-1465217569-32164 PBS_JOBID= 19843208 Free space on /tmp= 71720 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_12.opb.PB06.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081224-1465222260/watcher-4081224-1465222260 -o /tmp/evaluation-result-4081224-1465222260/solver-4081224-1465222260 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465217569-32164 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081224-1465222260.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 35ffbede57b8807d38d913370f4c4486 RANDOM SEED=129893196 node114.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.70 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.852 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.852 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.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.852 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.54 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.852 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: 27316248 kB Buffers: 15652 kB Cached: 144804 kB SwapCached: 1736 kB Active: 3606244 kB Inactive: 87376 kB Active(anon): 3533812 kB Inactive(anon): 1360 kB Active(file): 72432 kB Inactive(file): 86016 kB Unevictable: 1156848 kB Mlocked: 12208 kB SwapTotal: 67108856 kB SwapFree: 67096588 kB Dirty: 17556 kB Writeback: 0 kB AnonPages: 4750452 kB Mapped: 15420 kB Shmem: 0 kB Slab: 567292 kB SReclaimable: 11084 kB SUnreclaim: 556208 kB KernelStack: 1784 kB PageTables: 13772 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5250688 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4685824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node114 at 2016-06-06 16:26:05