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