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) | 736 | 1800.11 | 902.769 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb |
| MD5SUM | 5f836d1b8d150c1925229546ed283812 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 375 |
| Best CPU time to get the best result obtained on this benchmark | 1800.03 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 453 |
| 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 | 491651 |
| 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 | 491651 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization by upper bound 0.08/0.12 c ManyCore solver with 2 solvers running in parallel 0.08/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c Expensive reason simplification 0.08/0.12 c Glucose 2.1 dynamic restart strategy 0.08/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.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.08/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/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.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-4081231-1465222599.opb 0.08/0.12 c reading problem ... 0.08/0.12 c objective function found 5.50/3.65 c ... done. Wall clock time 3.533s. 5.50/3.65 c declared #vars 10000 5.50/3.65 c #constraints 656900 5.50/3.65 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 5.50/3.65 c constraints type 5.50/3.66 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 5.50/3.66 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 5.50/3.66 c 656900 constraints processed. 5.50/3.66 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 5.50/3.66 c constraints type 5.50/3.66 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 5.50/3.66 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 5.50/3.66 c 656900 constraints processed. 5.50/3.66 c objective function length is 10000 literals 6.48/3.91 c And the winner is solver0 6.53/4.17 c SATISFIABLE 6.53/4.17 c OPTIMIZING... 6.53/4.17 c Got one! Elapsed wall clock time (in seconds):4.047 6.96/4.38 o 897 6.96/4.38 c And the winner is solver0 7.20/4.73 c Got one! Elapsed wall clock time (in seconds):4.613 7.20/4.73 o 736 9.74/5.99 c cleaning 2579 clauses out of 5192 with flag 12002/5192 13.85/7.91 c cleaning 4299 clauses out of 8613 with flag 27450/11192 18.94/10.45 c cleaning 5650 clauses out of 11314 with flag 46602/18192 24.77/13.37 c cleaning 6831 clauses out of 13665 with flag 69535/26193 31.30/16.56 c cleaning 7908 clauses out of 15832 with flag 96043/35191 38.72/20.20 c cleaning 8961 clauses out of 17924 with flag 126073/45191 46.99/24.31 c cleaning 9983 clauses out of 19965 with flag 158388/56193 56.09/28.76 c cleaning 10991 clauses out of 21981 with flag 200160/68192 65.67/33.55 c cleaning 11981 clauses out of 23989 with flag 242513/81191 76.07/38.71 c cleaning 13000 clauses out of 26008 with flag 287146/95191 87.09/44.25 c cleaning 13997 clauses out of 28008 with flag 333266/110191 99.47/50.42 c cleaning 14997 clauses out of 30012 with flag 380555/126192 111.47/56.45 c cleaning 16003 clauses out of 32014 with flag 430497/143191 125.09/63.20 c cleaning 16990 clauses out of 34011 with flag 486671/161191 139.72/70.55 c cleaning 18005 clauses out of 36021 with flag 547113/180191 155.11/78.23 c cleaning 19009 clauses out of 38017 with flag 610448/200192 171.89/86.60 c cleaning 19999 clauses out of 40008 with flag 674479/221192 189.10/95.23 c cleaning 20996 clauses out of 42008 with flag 745701/243191 207.30/104.34 c cleaning 21992 clauses out of 44012 with flag 815358/266191 228.61/115.17 c cleaning 23006 clauses out of 46020 with flag 892961/290191 248.04/124.88 c cleaning 23998 clauses out of 48014 with flag 970681/315191 268.03/134.85 c cleaning 24997 clauses out of 50016 with flag 1056201/341191 288.63/145.16 c cleaning 26010 clauses out of 52019 with flag 1143147/368191 311.42/156.53 c cleaning 27003 clauses out of 54009 with flag 1232548/396191 334.81/168.25 c cleaning 27996 clauses out of 56006 with flag 1325710/425191 357.60/179.65 c cleaning 28983 clauses out of 58010 with flag 1424500/455191 380.79/191.27 c cleaning 30002 clauses out of 60027 with flag 1524607/486191 405.81/203.68 c cleaning 31009 clauses out of 62025 with flag 1630687/518191 431.21/216.34 c cleaning 32009 clauses out of 64019 with flag 1743558/551194 456.60/229.05 c cleaning 32993 clauses out of 66007 with flag 1855477/585191 482.61/242.08 c cleaning 33989 clauses out of 68016 with flag 1971715/620193 510.61/256.08 c cleaning 34996 clauses out of 70025 with flag 2088245/656191 540.60/271.06 c cleaning 36000 clauses out of 72030 with flag 2213551/693192 570.40/285.67 c cleaning 37006 clauses out of 74030 with flag 2341386/731192 599.61/300.25 c cleaning 38003 clauses out of 76023 with flag 2481978/770191 630.20/315.54 c cleaning 39003 clauses out of 78020 with flag 2628075/810191 662.20/331.50 c cleaning 40003 clauses out of 80018 with flag 2774999/851192 695.61/348.27 c cleaning 40997 clauses out of 82014 with flag 2920028/893191 730.62/365.72 c cleaning 42004 clauses out of 84017 with flag 3070888/936191 767.23/384.01 c cleaning 42998 clauses out of 86013 with flag 3223062/980191 803.01/401.93 c cleaning 44003 clauses out of 88015 with flag 3378214/1025191 841.43/421.18 c cleaning 45006 clauses out of 90012 with flag 3535089/1071191 879.43/440.11 c cleaning 46003 clauses out of 92008 with flag 3699921/1118193 918.00/459.49 c cleaning 46991 clauses out of 94003 with flag 3867383/1166191 962.71/482.36 c cleaning 47995 clauses out of 96013 with flag 4049111/1215192 1004.11/503.02 c cleaning 48990 clauses out of 98018 with flag 4233424/1265192 1043.32/522.62 c cleaning 50007 clauses out of 100027 with flag 4416231/1316191 1086.09/544.02 c cleaning 51001 clauses out of 102020 with flag 4602676/1368191 1128.89/565.42 c cleaning 51986 clauses out of 104019 with flag 4799549/1421191 1171.68/586.89 c cleaning 53006 clauses out of 106033 with flag 4996890/1475191 1219.23/610.26 c cleaning 54008 clauses out of 108028 with flag 5202735/1530192 1271.19/636.94 c cleaning 55005 clauses out of 110019 with flag 5397820/1586191 1324.27/663.12 c cleaning 56003 clauses out of 112014 with flag 5611284/1643191 1370.66/686.35 c cleaning 57001 clauses out of 114012 with flag 5818608/1701192 1418.44/710.28 c cleaning 57995 clauses out of 116010 with flag 6037780/1760191 1469.04/735.52 c cleaning 58986 clauses out of 118016 with flag 6264234/1820192 1520.90/761.18 c cleaning 60001 clauses out of 120030 with flag 6489085/1881192 1573.09/787.21 c cleaning 61009 clauses out of 122028 with flag 6715575/1943191 1631.69/818.34 c cleaning 61996 clauses out of 124019 with flag 6945798/2006191 1685.27/845.11 c cleaning 63000 clauses out of 126023 with flag 7185178/2070191 1740.24/872.74 c cleaning 64005 clauses out of 128024 with flag 7441033/2135192 1796.31/900.86 c cleaning 65009 clauses out of 130019 with flag 7695727/2201192 1800.11/902.70 c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<< 1800.11/902.70 c starts : 7 1800.11/902.70 c conflicts : 2206297 1800.11/902.70 c decisions : 5253978 1800.11/902.70 c propagations : 418926488 1800.11/902.70 c inspects : 2380084616 1800.11/902.70 c shortcuts : 0 1800.11/902.70 c learnt literals : 0 1800.11/902.70 c learnt binary clauses : 0 1800.11/902.70 c learnt ternary clauses : 0 1800.11/902.70 c learnt constraints : 2206296 1800.11/902.70 c ignored constraints : 0 1800.11/902.70 c root simplifications : 0 1800.11/902.70 c removed literals (reason simplification) : 324039721 1800.11/902.70 c reason swapping (by a shorter reason) : 0 1800.11/902.70 c Calls to reduceDB : 62 1800.11/902.70 c Number of update (reduction) of LBD : 587814 1800.11/902.70 c Imported unit clauses : 0 1800.11/902.70 c number of reductions to clauses (during analyze) : 0 1800.11/902.70 c number of learned constraints concerned by reduction : 0 1800.11/902.70 c number of learning phase by resolution : 0 1800.11/902.70 c number of learning phase by cutting planes : 0 1800.11/902.70 c speed (assignments/second) : 465985.4239987898 1800.11/902.70 c non guided choices 0 1800.11/902.73 c learnt constraints type 1800.11/902.73 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 70115 1800.11/902.73 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.11/902.73 c starts : 11 1800.11/902.73 c conflicts : 1301 1800.11/902.73 c decisions : 142056 1800.11/902.73 c propagations : 1531652 1800.11/902.73 c inspects : 28710321 1800.11/902.73 c shortcuts : 0 1800.11/902.73 c learnt literals : 0 1800.11/902.73 c learnt binary clauses : 0 1800.11/902.73 c learnt ternary clauses : 0 1800.11/902.73 c learnt constraints : 1299 1800.11/902.73 c ignored constraints : 0 1800.11/902.73 c root simplifications : 0 1800.11/902.73 c removed literals (reason simplification) : 0 1800.11/902.73 c reason swapping (by a shorter reason) : 0 1800.11/902.73 c Calls to reduceDB : 0 1800.11/902.73 c Number of update (reduction) of LBD : 0 1800.11/902.73 c Imported unit clauses : 0 1800.11/902.73 c number of reductions to clauses (during analyze) : 0 1800.11/902.73 c number of learned constraints concerned by reduction : 0 1800.11/902.73 c number of learning phase by resolution : 0 1800.11/902.73 c number of learning phase by cutting planes : 0 1800.11/902.73 c speed (assignments/second) : 1705.7170093724387 1800.11/902.73 c non guided choices 0 1800.11/902.73 c learnt constraints type 1800.11/902.73 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 107 1800.11/902.73 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1192 1800.11/902.73 s SATISFIABLE 1800.11/902.73 c Found 2 solution(s) 1800.11/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.11/902.75 c objective function=736 1800.11/902.75 c Total wall clock time (in seconds): 902.63
OK 736
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-4081231-1465222599/watcher-4081231-1465222599 -o /tmp/evaluation-result-4081231-1465222599/solver-4081231-1465222599 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1465216745-25468 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081231-1465222599.opb pid=29103 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.16 4.25 4.18 4/197 29106 /proc/meminfo: memFree=28443716/32872528 swapFree=11252/530428 [pid=29106] ppid=29103 vsize=5632 CPUtime=0 cores=1,3,5,7 /proc/29106/stat : 29106 (java) R 29103 29106 25451 0 -1 4202496 387 0 0 0 0 0 0 0 20 0 1 0 104191754 5767168 58 33554432000 1073741824 1073778376 140734556563440 140734556560568 211449638279 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 2303 65 52 9 0 35 0 [startup+0.10006 s] /proc/loadavg: 4.16 4.25 4.18 4/197 29106 /proc/meminfo: memFree=28443716/32872528 swapFree=11252/530428 [pid=29106] ppid=29103 vsize=9558476 CPUtime=0.08 cores=1,3,5,7 /proc/29106/stat : 29106 (java) S 29103 29106 25451 0 -1 4202496 4471 0 1 0 7 1 0 0 20 0 18 0 104191754 9787879424 5588 33554432000 1073741824 1073778376 140734556563440 140734556554576 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 2389619 5588 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200219 s] /proc/loadavg: 4.16 4.25 4.18 4/197 29106 /proc/meminfo: memFree=28443716/32872528 swapFree=11252/530428 [pid=29106] ppid=29103 vsize=9558476 CPUtime=0.28 cores=1,3,5,7 /proc/29106/stat : 29106 (java) S 29103 29106 25451 0 -1 4202496 5098 0 1 0 27 1 0 0 20 0 18 0 104191754 9787879424 6555 33554432000 1073741824 1073778376 140734556563440 140734556554576 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 2389619 6555 2221 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300243 s] /proc/loadavg: 4.16 4.25 4.18 4/197 29106 /proc/meminfo: memFree=28443716/32872528 swapFree=11252/530428 [pid=29106] ppid=29103 vsize=9558476 CPUtime=0.46 cores=1,3,5,7 /proc/29106/stat : 29106 (java) S 29103 29106 25451 0 -1 4202496 5503 0 1 0 45 1 0 0 20 0 18 0 104191754 9787879424 8776 33554432000 1073741824 1073778376 140734556563440 140734556554576 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 2389619 8776 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9558476 [startup+0.700192 s] /proc/loadavg: 4.16 4.25 4.18 4/197 29106 /proc/meminfo: memFree=28443716/32872528 swapFree=11252/530428 [pid=29106] ppid=29103 vsize=9559084 CPUtime=1.6 cores=1,3,5,7 /proc/29106/stat : 29106 (java) S 29103 29106 25451 0 -1 4202496 23738 0 1 0 154 6 0 0 20 0 18 0 104191754 9788502016 33641 33554432000 1073741824 1073778376 140734556563440 140734556554576 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 2389771 33641 2244 9 0 2380448 0 Current children cumulated CPU time (s) 1.6 Current children cumulated vsize (KiB) 9559084 [startup+1.5008 s] /proc/loadavg: 4.07 4.23 4.18 4/215 29124 /proc/meminfo: memFree=28240048/32872528 swapFree=11252/530428 [pid=29106] ppid=29103 vsize=9558476 CPUtime=2.84 cores=1,3,5,7 /proc/29106/stat : 29106 (java) S 29103 29106 25451 0 -1 4202496 24083 0 1 0 274 10 0 0 20 0 18 0 104191754 9787879424 61252 33554432000 1073741824 1073778376 140734556563440 140734556554576 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 2389619 61252 2262 9 0 2380296 0 [pid=29106/tid=29108] ppid=29103 vsize=9558476 CPUtime=1.41 cores=1,3,5,7 /proc/29106/task/29108/stat : 29108 (java) R 29103 29106 25451 0 -1 4202560 2527 0 1 0 137 4 0 0 20 0 18 0 104191755 9787879424 61252 33554432000 1073741824 1073778376 140734556563440 140357053414744 140356925803314 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29109] ppid=29103 vsize=9558476 CPUtime=0.01 cores=1,3,5,7 /proc/29106/task/29109/stat : 29109 (java) S 29103 29106 25451 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 104191756 9787879424 61252 33554432000 1073741824 1073778376 140734556563440 140356896979752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29110] ppid=29103 vsize=9558476 CPUtime=0.01 cores=1,3,5,7 /proc/29106/task/29110/stat : 29110 (java) S 29103 29106 25451 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 18 0 104191756 9787879424 61252 33554432000 1073741824 1073778376 140734556563440 140356895926952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29111] ppid=29103 vsize=9558476 CPUtime=0.01 cores=1,3,5,7 /proc/29106/task/29111/stat : 29111 (java) S 29103 29106 25451 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 18 0 104191756 9787879424 61252 33554432000 1073741824 1073778376 140734556563440 140356894874664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29106/tid=29112] ppid=29103 vsize=9558476 CPUtime=0.02 cores=1,3,5,7 /proc/29106/task/29112/stat : 29112 (java) S 29103 29106 25451 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 104191756 9787879424 61252 33554432000 1073741824 1073778376 140734556563440 140356893821864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29113] ppid=29103 vsize=9558476 CPUtime=0.02 cores=1,3,5,7 /proc/29106/task/29113/stat : 29113 (java) S 29103 29106 25451 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 18 0 104191756 9787879424 61252 33554432000 1073741824 1073778376 140734556563440 140356892768552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29106/tid=29114] ppid=29103 vsize=9558476 CPUtime=0.01 cores=1,3,5,7 /proc/29106/task/29114/stat : 29114 (java) S 29103 29106 25451 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 18 0 104191756 9787879424 61252 33554432000 1073741824 1073778376 140734556563440 140356891715752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29106/tid=29115] ppid=29103 vsize=9558476 CPUtime=0.01 cores=1,3,5,7 /proc/29106/task/29115/stat : 29115 (java) S 29103 29106 25451 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 18 0 104191756 9787879424 61252 33554432000 1073741824 1073778376 140734556563440 140356890663464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29116] ppid=29103 vsize=9558476 CPUtime=0.01 cores=1,3,5,7 /proc/29106/task/29116/stat : 29116 (java) S 29103 29106 25451 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 104191756 9787879424 61252 33554432000 1073741824 1073778376 140734556563440 140356889610664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29117] ppid=29103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29117/stat : 29117 (java) S 29103 29106 25451 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 104191757 9787879424 61252 33554432000 1073741824 1073778376 140734556563440 140356877413096 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29118] ppid=29103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29118/stat : 29118 (java) S 29103 29106 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104191758 9787879424 61252 33554432000 1073741824 1073778376 140734556563440 140356876359160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29119] ppid=29103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29119/stat : 29119 (java) S 29103 29106 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104191758 9787879424 61252 33554432000 1073741824 1073778376 140734556563440 140356875306760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29120] ppid=29103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29120/stat : 29120 (java) S 29103 29106 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104191760 9787879424 61252 33554432000 1073741824 1073778376 140734556563440 140356874255248 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29121] ppid=29103 vsize=9558476 CPUtime=0.61 cores=1,3,5,7 /proc/29106/task/29121/stat : 29121 (java) S 29103 29106 25451 0 -1 4202560 9554 0 0 0 59 2 0 0 20 0 18 0 104191760 9787879424 61252 33554432000 1073741824 1073778376 140734556563440 140356873201848 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29106/tid=29122] ppid=29103 vsize=9558476 CPUtime=0.57 cores=1,3,5,7 /proc/29106/task/29122/stat : 29122 (java) S 29103 29106 25451 0 -1 4202560 10606 0 0 0 55 2 0 0 20 0 18 0 104191760 9787879424 61252 33554432000 1073741824 1073778376 140734556563440 140356872149048 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29123] ppid=29103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29123/stat : 29123 (java) S 29103 29106 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104191760 9787879424 61252 33554432000 1073741824 1073778376 140734556563440 140356871096952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29124] ppid=29103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29124/stat : 29124 (java) S 29103 29106 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104191760 9787879424 61252 33554432000 1073741824 1073778376 140734556563440 140356870044360 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.84 Current children cumulated vsize (KiB) 9558476 [startup+3.10082 s] /proc/loadavg: 4.07 4.23 4.18 4/215 29124 /proc/meminfo: memFree=28075216/32872528 swapFree=11252/530428 [pid=29106] ppid=29103 vsize=9558476 CPUtime=4.72 cores=1,3,5,7 /proc/29106/stat : 29106 (java) S 29103 29106 25451 0 -1 4202496 24578 0 1 0 452 20 0 0 20 0 18 0 104191754 9787879424 133197 33554432000 1073741824 1073778376 140734556563440 140734556554576 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 2389619 133197 2262 9 0 2380296 0 [pid=29106/tid=29108] ppid=29103 vsize=9558476 CPUtime=2.89 cores=1,3,5,7 /proc/29106/task/29108/stat : 29108 (java) R 29103 29106 25451 0 -1 4202560 2638 0 1 0 282 7 0 0 20 0 18 0 104191755 9787879424 133197 33554432000 1073741824 1073778376 140734556563440 140357053414856 140356925752049 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29109] ppid=29103 vsize=9558476 CPUtime=0.05 cores=1,3,5,7 /proc/29106/task/29109/stat : 29109 (java) S 29103 29106 25451 0 -1 4202560 38 0 0 0 4 1 0 0 20 0 18 0 104191756 9787879424 133197 33554432000 1073741824 1073778376 140734556563440 140356896979752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29110] ppid=29103 vsize=9558476 CPUtime=0.03 cores=1,3,5,7 /proc/29106/task/29110/stat : 29110 (java) S 29103 29106 25451 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 18 0 104191756 9787879424 133197 33554432000 1073741824 1073778376 140734556563440 140356895926952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29111] ppid=29103 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/29106/task/29111/stat : 29111 (java) S 29103 29106 25451 0 -1 4202560 59 0 0 0 5 2 0 0 20 0 18 0 104191756 9787879424 133197 33554432000 1073741824 1073778376 140734556563440 140356894874664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29106/tid=29112] ppid=29103 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/29106/task/29112/stat : 29112 (java) S 29103 29106 25451 0 -1 4202560 56 0 0 0 7 2 0 0 20 0 18 0 104191756 9787879424 133197 33554432000 1073741824 1073778376 140734556563440 140356893821864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29106/tid=29113] ppid=29103 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/29106/task/29113/stat : 29113 (java) S 29103 29106 25451 0 -1 4202560 49 0 0 0 7 2 0 0 20 0 18 0 104191756 9787879424 133197 33554432000 1073741824 1073778376 140734556563440 140356892768552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29114] ppid=29103 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/29106/task/29114/stat : 29114 (java) S 29103 29106 25451 0 -1 4202560 49 0 0 0 6 1 0 0 20 0 18 0 104191756 9787879424 133197 33554432000 1073741824 1073778376 140734556563440 140356891715752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29115] ppid=29103 vsize=9558476 CPUtime=0.06 cores=1,3,5,7 /proc/29106/task/29115/stat : 29115 (java) S 29103 29106 25451 0 -1 4202560 26 0 0 0 5 1 0 0 20 0 18 0 104191756 9787879424 133197 33554432000 1073741824 1073778376 140734556563440 140356890663464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29106/tid=29116] ppid=29103 vsize=9558476 CPUtime=0.03 cores=1,3,5,7 /proc/29106/task/29116/stat : 29116 (java) S 29103 29106 25451 0 -1 4202560 28 0 0 0 3 0 0 0 20 0 18 0 104191756 9787879424 133197 33554432000 1073741824 1073778376 140734556563440 140356889610664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29106/tid=29117] ppid=29103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29117/stat : 29117 (java) S 29103 29106 25451 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 104191757 9787879424 133197 33554432000 1073741824 1073778376 140734556563440 140356877413096 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29118] ppid=29103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29118/stat : 29118 (java) S 29103 29106 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104191758 9787879424 133197 33554432000 1073741824 1073778376 140734556563440 140356876359160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29119] ppid=29103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29119/stat : 29119 (java) S 29103 29106 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104191758 9787879424 133197 33554432000 1073741824 1073778376 140734556563440 140356875306760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29120] ppid=29103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29120/stat : 29120 (java) S 29103 29106 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104191760 9787879424 133197 33554432000 1073741824 1073778376 140734556563440 140356874255248 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29121] ppid=29103 vsize=9558476 CPUtime=0.61 cores=1,3,5,7 /proc/29106/task/29121/stat : 29121 (java) S 29103 29106 25451 0 -1 4202560 9554 0 0 0 59 2 0 0 20 0 18 0 104191760 9787879424 133197 33554432000 1073741824 1073778376 140734556563440 140356873201848 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29106/tid=29122] ppid=29103 vsize=9558476 CPUtime=0.57 cores=1,3,5,7 /proc/29106/task/29122/stat : 29122 (java) S 29103 29106 25451 0 -1 4202560 10606 0 0 0 55 2 0 0 20 0 18 0 104191760 9787879424 133197 33554432000 1073741824 1073778376 140734556563440 140356872149048 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29123] ppid=29103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29123/stat : 29123 (java) S 29103 29106 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104191760 9787879424 133197 33554432000 1073741824 1073778376 140734556563440 140356871096952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29124] ppid=29103 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29124/stat : 29124 (java) S 29103 29106 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104191760 9787879424 133197 33554432000 1073741824 1073778376 140734556563440 140356870044360 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.72 Current children cumulated vsize (KiB) 9558476 [startup+6.30081 s] /proc/loadavg: 4.07 4.23 4.18 5/219 29134 /proc/meminfo: memFree=27776464/32872528 swapFree=11252/530428 [pid=29106] ppid=29103 vsize=9824732 CPUtime=10.55 cores=1,3,5,7 /proc/29106/stat : 29106 (java) S 29103 29106 25451 0 -1 4202496 25342 0 1 0 1023 32 0 0 20 0 22 0 104191754 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140734556554576 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 2456183 168395 2292 9 0 2446860 0 [pid=29106/tid=29108] ppid=29103 vsize=9824732 CPUtime=3.47 cores=1,3,5,7 /proc/29106/task/29108/stat : 29108 (java) S 29103 29106 25451 0 -1 4202560 2711 0 1 0 338 9 0 0 20 0 22 0 104191755 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140357053416312 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29109] ppid=29103 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/29106/task/29109/stat : 29109 (java) S 29103 29106 25451 0 -1 4202560 54 0 0 0 7 1 0 0 20 0 22 0 104191756 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140356896979752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29106/tid=29110] ppid=29103 vsize=9824732 CPUtime=0.12 cores=1,3,5,7 /proc/29106/task/29110/stat : 29110 (java) S 29103 29106 25451 0 -1 4202560 51 0 0 0 10 2 0 0 20 0 22 0 104191756 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140356895926952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29111] ppid=29103 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/29106/task/29111/stat : 29111 (java) S 29103 29106 25451 0 -1 4202560 73 0 0 0 8 2 0 0 20 0 22 0 104191756 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140356894874664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29106/tid=29112] ppid=29103 vsize=9824732 CPUtime=0.18 cores=1,3,5,7 /proc/29106/task/29112/stat : 29112 (java) S 29103 29106 25451 0 -1 4202560 80 0 0 0 15 3 0 0 20 0 22 0 104191756 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140356893821864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29113] ppid=29103 vsize=9824732 CPUtime=0.12 cores=1,3,5,7 /proc/29106/task/29113/stat : 29113 (java) S 29103 29106 25451 0 -1 4202560 69 0 0 0 10 2 0 0 20 0 22 0 104191756 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140356892768552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29114] ppid=29103 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/29106/task/29114/stat : 29114 (java) S 29103 29106 25451 0 -1 4202560 59 0 0 0 9 1 0 0 20 0 22 0 104191756 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140356891715752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29115] ppid=29103 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/29106/task/29115/stat : 29115 (java) S 29103 29106 25451 0 -1 4202560 48 0 0 0 8 1 0 0 20 0 22 0 104191756 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140356890663464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29106/tid=29116] ppid=29103 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/29106/task/29116/stat : 29116 (java) S 29103 29106 25451 0 -1 4202560 37 0 0 0 5 1 0 0 20 0 22 0 104191756 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140356889610664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29106/tid=29117] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29117/stat : 29117 (java) S 29103 29106 25451 0 -1 4202560 482 0 0 0 0 0 0 0 20 0 22 0 104191757 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140356877413096 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29118] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29118/stat : 29118 (java) S 29103 29106 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104191758 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140356876359160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29119] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29119/stat : 29119 (java) S 29103 29106 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104191758 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140356875306760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29120] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29120/stat : 29120 (java) S 29103 29106 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104191760 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140356874255248 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29121] ppid=29103 vsize=9824732 CPUtime=1.17 cores=1,3,5,7 /proc/29106/task/29121/stat : 29121 (java) S 29103 29106 25451 0 -1 4202560 9631 0 0 0 115 2 0 0 20 0 22 0 104191760 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140356873201848 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29106/tid=29122] ppid=29103 vsize=9824732 CPUtime=1.12 cores=1,3,5,7 /proc/29106/task/29122/stat : 29122 (java) S 29103 29106 25451 0 -1 4202560 10716 0 0 0 109 3 0 0 20 0 22 0 104191760 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140356872149048 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29123] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29123/stat : 29123 (java) S 29103 29106 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104191760 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140356871096952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29124] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29124/stat : 29124 (java) S 29103 29106 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104191760 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140356870044360 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29127] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29127/stat : 29127 (java) S 29103 29106 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104192124 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140356866885288 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29132] ppid=29103 vsize=9824732 CPUtime=1.49 cores=1,3,5,7 /proc/29106/task/29132/stat : 29132 (java) R 29103 29106 25451 0 -1 4202560 5 0 0 0 149 0 0 0 20 0 22 0 104192232 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140356868989624 140356926411199 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=29106/tid=29133] ppid=29103 vsize=9824732 CPUtime=1.49 cores=1,3,5,7 /proc/29106/task/29133/stat : 29133 (java) R 29103 29106 25451 0 -1 4202560 3 0 0 0 149 0 0 0 20 0 22 0 104192232 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140356867935096 140356926494525 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29134] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29134/stat : 29134 (java) S 29103 29106 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104192232 10060525568 168395 33554432000 1073741824 1073778376 140734556563440 140356865832232 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 10.55 ################ # More data... # ################ /proc/29106/task/29111/stat : 29111 (java) S 29103 29106 25451 0 -1 4202560 514 0 0 0 124 22 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356894874664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29106/tid=29112] ppid=29103 vsize=9824732 CPUtime=1.79 cores=1,3,5,7 /proc/29106/task/29112/stat : 29112 (java) S 29103 29106 25451 0 -1 4202560 660 0 0 0 150 29 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356893821864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29106/tid=29113] ppid=29103 vsize=9824732 CPUtime=1.71 cores=1,3,5,7 /proc/29106/task/29113/stat : 29113 (java) S 29103 29106 25451 0 -1 4202560 604 0 0 0 143 28 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356892768552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29114] ppid=29103 vsize=9824732 CPUtime=1.76 cores=1,3,5,7 /proc/29106/task/29114/stat : 29114 (java) S 29103 29106 25451 0 -1 4202560 597 0 0 0 148 28 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356891715752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29106/tid=29115] ppid=29103 vsize=9824732 CPUtime=1.77 cores=1,3,5,7 /proc/29106/task/29115/stat : 29115 (java) S 29103 29106 25451 0 -1 4202560 867 0 0 0 152 25 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356890663464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29116] ppid=29103 vsize=9824732 CPUtime=1.82 cores=1,3,5,7 /proc/29106/task/29116/stat : 29116 (java) S 29103 29106 25451 0 -1 4202560 609 0 0 0 155 27 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356889610664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29117] ppid=29103 vsize=9824732 CPUtime=9.64 cores=1,3,5,7 /proc/29106/task/29117/stat : 29117 (java) S 29103 29106 25451 0 -1 4202560 3152 0 0 0 960 4 0 0 20 0 22 0 104191757 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356877413096 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29118] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29118/stat : 29118 (java) S 29103 29106 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104191758 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356876359160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29106/tid=29119] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29119/stat : 29119 (java) S 29103 29106 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104191758 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356875306760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29106/tid=29120] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29120/stat : 29120 (java) S 29103 29106 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104191760 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356874255248 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29121] ppid=29103 vsize=9824732 CPUtime=1.44 cores=1,3,5,7 /proc/29106/task/29121/stat : 29121 (java) S 29103 29106 25451 0 -1 4202560 9669 0 0 0 142 2 0 0 20 0 22 0 104191760 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356873201848 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29122] ppid=29103 vsize=9824732 CPUtime=1.66 cores=1,3,5,7 /proc/29106/task/29122/stat : 29122 (java) S 29103 29106 25451 0 -1 4202560 10744 0 0 0 163 3 0 0 20 0 22 0 104191760 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356872149048 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29123] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29123/stat : 29123 (java) S 29103 29106 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104191760 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356871096952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29124] ppid=29103 vsize=9824732 CPUtime=0.2 cores=1,3,5,7 /proc/29106/task/29124/stat : 29124 (java) S 29103 29106 25451 0 -1 4202560 51 0 0 0 8 12 0 0 20 0 22 0 104191760 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356870044360 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29127] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29127/stat : 29127 (java) S 29103 29106 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104192124 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356866885288 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29132] ppid=29103 vsize=9824732 CPUtime=861.79 cores=1,3,5,7 /proc/29106/task/29132/stat : 29132 (java) R 29103 29106 25451 0 -1 4202560 58 0 0 0 86165 14 0 0 20 0 22 0 104192232 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356868980608 140356925898690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29133] ppid=29103 vsize=9824732 CPUtime=862.05 cores=1,3,5,7 /proc/29106/task/29133/stat : 29133 (java) R 29103 29106 25451 0 -1 4202560 1394 0 0 0 86174 31 0 0 20 0 22 0 104192232 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356867935664 140356926234664 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29134] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29134/stat : 29134 (java) S 29103 29106 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104192232 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356865832232 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1759.36 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+902.701 s] /proc/loadavg: 4.00 4.05 4.08 5/219 29233 /proc/meminfo: memFree=24204108/32872528 swapFree=11252/530428 [pid=29106] ppid=29103 vsize=9824732 CPUtime=1800.11 cores=1,3,5,7 /proc/29106/stat : 29106 (java) S 29103 29106 25451 0 -1 4202496 34977 0 1 0 179738 273 0 0 20 0 22 0 104191754 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140734556554576 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 2456183 1026712 2301 9 0 2446860 0 [pid=29106/tid=29108] ppid=29103 vsize=9824732 CPUtime=3.5 cores=1,3,5,7 /proc/29106/task/29108/stat : 29108 (java) S 29103 29106 25451 0 -1 4202560 2717 0 1 0 340 10 0 0 20 0 22 0 104191755 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140357053416312 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29109] ppid=29103 vsize=9824732 CPUtime=1.76 cores=1,3,5,7 /proc/29106/task/29109/stat : 29109 (java) S 29103 29106 25451 0 -1 4202560 922 0 0 0 150 26 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356896979752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29110] ppid=29103 vsize=9824732 CPUtime=1.91 cores=1,3,5,7 /proc/29106/task/29110/stat : 29110 (java) S 29103 29106 25451 0 -1 4202560 1095 0 0 0 163 28 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356895926952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29111] ppid=29103 vsize=9824732 CPUtime=1.46 cores=1,3,5,7 /proc/29106/task/29111/stat : 29111 (java) S 29103 29106 25451 0 -1 4202560 514 0 0 0 124 22 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356894874664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29106/tid=29112] ppid=29103 vsize=9824732 CPUtime=1.79 cores=1,3,5,7 /proc/29106/task/29112/stat : 29112 (java) S 29103 29106 25451 0 -1 4202560 660 0 0 0 150 29 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356893821864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29106/tid=29113] ppid=29103 vsize=9824732 CPUtime=1.71 cores=1,3,5,7 /proc/29106/task/29113/stat : 29113 (java) S 29103 29106 25451 0 -1 4202560 604 0 0 0 143 28 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356892768552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29114] ppid=29103 vsize=9824732 CPUtime=1.76 cores=1,3,5,7 /proc/29106/task/29114/stat : 29114 (java) S 29103 29106 25451 0 -1 4202560 597 0 0 0 148 28 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356891715752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29106/tid=29115] ppid=29103 vsize=9824732 CPUtime=1.77 cores=1,3,5,7 /proc/29106/task/29115/stat : 29115 (java) S 29103 29106 25451 0 -1 4202560 867 0 0 0 152 25 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356890663464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29116] ppid=29103 vsize=9824732 CPUtime=1.82 cores=1,3,5,7 /proc/29106/task/29116/stat : 29116 (java) S 29103 29106 25451 0 -1 4202560 609 0 0 0 155 27 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356889610664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29117] ppid=29103 vsize=9824732 CPUtime=9.64 cores=1,3,5,7 /proc/29106/task/29117/stat : 29117 (java) S 29103 29106 25451 0 -1 4202560 3152 0 0 0 960 4 0 0 20 0 22 0 104191757 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356877413096 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29118] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29118/stat : 29118 (java) S 29103 29106 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104191758 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356876359160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29106/tid=29119] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29119/stat : 29119 (java) S 29103 29106 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104191758 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356875306760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29106/tid=29120] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29120/stat : 29120 (java) S 29103 29106 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104191760 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356874255248 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29121] ppid=29103 vsize=9824732 CPUtime=1.44 cores=1,3,5,7 /proc/29106/task/29121/stat : 29121 (java) S 29103 29106 25451 0 -1 4202560 9669 0 0 0 142 2 0 0 20 0 22 0 104191760 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356873201848 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29122] ppid=29103 vsize=9824732 CPUtime=1.66 cores=1,3,5,7 /proc/29106/task/29122/stat : 29122 (java) S 29103 29106 25451 0 -1 4202560 10744 0 0 0 163 3 0 0 20 0 22 0 104191760 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356872149048 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29123] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29123/stat : 29123 (java) S 29103 29106 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104191760 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356871096952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29124] ppid=29103 vsize=9824732 CPUtime=0.2 cores=1,3,5,7 /proc/29106/task/29124/stat : 29124 (java) S 29103 29106 25451 0 -1 4202560 53 0 0 0 8 12 0 0 20 0 22 0 104191760 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356870044360 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29127] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29127/stat : 29127 (java) S 29103 29106 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104192124 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356866885288 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29132] ppid=29103 vsize=9824732 CPUtime=882.09 cores=1,3,5,7 /proc/29106/task/29132/stat : 29132 (java) R 29103 29106 25451 0 -1 4202560 58 0 0 0 88195 14 0 0 20 0 22 0 104192232 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356868980608 140356926378213 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=29106/tid=29133] ppid=29103 vsize=9824732 CPUtime=882.39 cores=1,3,5,7 /proc/29106/task/29133/stat : 29133 (java) R 29103 29106 25451 0 -1 4202560 1394 0 0 0 88208 31 0 0 20 0 22 0 104192232 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356867935664 140356926494667 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29134] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29134/stat : 29134 (java) S 29103 29106 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104192232 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356865832232 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 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 29106 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+902.701 s] /proc/loadavg: 4.00 4.05 4.08 5/219 29233 /proc/meminfo: memFree=24204108/32872528 swapFree=11252/530428 [pid=29106] ppid=29103 vsize=9824732 CPUtime=1800.11 cores=1,3,5,7 /proc/29106/stat : 29106 (java) S 29103 29106 25451 0 -1 4202496 34977 0 1 0 179738 273 0 0 20 0 22 0 104191754 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140734556554576 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29106/statm: 2456183 1026712 2301 9 0 2446860 0 [pid=29106/tid=29108] ppid=29103 vsize=9824732 CPUtime=3.5 cores=1,3,5,7 /proc/29106/task/29108/stat : 29108 (java) S 29103 29106 25451 0 -1 4202560 2717 0 1 0 340 10 0 0 20 0 22 0 104191755 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140357053416312 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29109] ppid=29103 vsize=9824732 CPUtime=1.76 cores=1,3,5,7 /proc/29106/task/29109/stat : 29109 (java) S 29103 29106 25451 0 -1 4202560 922 0 0 0 150 26 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356896979752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29110] ppid=29103 vsize=9824732 CPUtime=1.91 cores=1,3,5,7 /proc/29106/task/29110/stat : 29110 (java) S 29103 29106 25451 0 -1 4202560 1095 0 0 0 163 28 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356895926952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29111] ppid=29103 vsize=9824732 CPUtime=1.46 cores=1,3,5,7 /proc/29106/task/29111/stat : 29111 (java) S 29103 29106 25451 0 -1 4202560 514 0 0 0 124 22 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356894874664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29106/tid=29112] ppid=29103 vsize=9824732 CPUtime=1.79 cores=1,3,5,7 /proc/29106/task/29112/stat : 29112 (java) S 29103 29106 25451 0 -1 4202560 660 0 0 0 150 29 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356893821864 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29106/tid=29113] ppid=29103 vsize=9824732 CPUtime=1.71 cores=1,3,5,7 /proc/29106/task/29113/stat : 29113 (java) S 29103 29106 25451 0 -1 4202560 604 0 0 0 143 28 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356892768552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29114] ppid=29103 vsize=9824732 CPUtime=1.76 cores=1,3,5,7 /proc/29106/task/29114/stat : 29114 (java) S 29103 29106 25451 0 -1 4202560 597 0 0 0 148 28 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356891715752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29106/tid=29115] ppid=29103 vsize=9824732 CPUtime=1.77 cores=1,3,5,7 /proc/29106/task/29115/stat : 29115 (java) S 29103 29106 25451 0 -1 4202560 867 0 0 0 152 25 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356890663464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29116] ppid=29103 vsize=9824732 CPUtime=1.82 cores=1,3,5,7 /proc/29106/task/29116/stat : 29116 (java) S 29103 29106 25451 0 -1 4202560 609 0 0 0 155 27 0 0 20 0 22 0 104191756 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356889610664 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29117] ppid=29103 vsize=9824732 CPUtime=9.64 cores=1,3,5,7 /proc/29106/task/29117/stat : 29117 (java) S 29103 29106 25451 0 -1 4202560 3152 0 0 0 960 4 0 0 20 0 22 0 104191757 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356877413096 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29118] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29118/stat : 29118 (java) S 29103 29106 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104191758 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356876359160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29106/tid=29119] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29119/stat : 29119 (java) S 29103 29106 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104191758 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356875306760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29106/tid=29120] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29120/stat : 29120 (java) S 29103 29106 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104191760 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356874255248 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29121] ppid=29103 vsize=9824732 CPUtime=1.44 cores=1,3,5,7 /proc/29106/task/29121/stat : 29121 (java) S 29103 29106 25451 0 -1 4202560 9669 0 0 0 142 2 0 0 20 0 22 0 104191760 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356873201848 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29122] ppid=29103 vsize=9824732 CPUtime=1.66 cores=1,3,5,7 /proc/29106/task/29122/stat : 29122 (java) S 29103 29106 25451 0 -1 4202560 10744 0 0 0 163 3 0 0 20 0 22 0 104191760 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356872149048 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29123] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29123/stat : 29123 (java) S 29103 29106 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104191760 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356871096952 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29124] ppid=29103 vsize=9824732 CPUtime=0.2 cores=1,3,5,7 /proc/29106/task/29124/stat : 29124 (java) S 29103 29106 25451 0 -1 4202560 53 0 0 0 8 12 0 0 20 0 22 0 104191760 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356870044360 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29106/tid=29127] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29127/stat : 29127 (java) S 29103 29106 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104192124 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356866885288 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29132] ppid=29103 vsize=9824732 CPUtime=882.09 cores=1,3,5,7 /proc/29106/task/29132/stat : 29132 (java) R 29103 29106 25451 0 -1 4202560 58 0 0 0 88195 14 0 0 20 0 22 0 104192232 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356868980608 140356926378213 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=29106/tid=29133] ppid=29103 vsize=9824732 CPUtime=882.39 cores=1,3,5,7 /proc/29106/task/29133/stat : 29133 (java) R 29103 29106 25451 0 -1 4202560 1394 0 0 0 88208 31 0 0 20 0 22 0 104192232 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356867935664 140356926494667 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=29106/tid=29134] ppid=29103 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29106/task/29134/stat : 29134 (java) S 29103 29106 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104192232 10060525568 1026712 33554432000 1073741824 1073778376 140734556563440 140356865832232 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 29106 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=20419 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=106527 # CPU time returned by wait4() is 1796.13 # while last known CPU time is 1800.11 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 902.769 CPU time (s): 1800.11 CPU user time (s): 1797.38 CPU system time (s): 2.73 CPU usage (%): 199.399 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.02 system time used= 3.10653 maximum resident set size= 4106980 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35023 page faults= 1 swaps= 0 block input operations= 0 block output operations= 768 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 21922 involuntary context switches= 20769 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.14307 second user time and 6.50301 second system time The end
Begin job on node141 at 2016-06-06 16:16:40 IDJOB=4081231 IDBENCH=1970 IDSOLVER=2543 FILE ID=node141/4081231-1465222599 RUNJOBID= node141-1465216745-25468 PBS_JOBID= 19843201 Free space on /tmp= 71716 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_6.opb.PB06.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081231-1465222599/watcher-4081231-1465222599 -o /tmp/evaluation-result-4081231-1465222599/solver-4081231-1465222599 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1465216745-25468 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081231-1465222599.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5f836d1b8d150c1925229546ed283812 RANDOM SEED=1250896024 node141.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.876 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.75 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.876 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.876 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.876 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.876 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 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.876 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.56 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.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28443980 kB Buffers: 10020 kB Cached: 81724 kB SwapCached: 1788 kB Active: 3139848 kB Inactive: 39656 kB Active(anon): 3086056 kB Inactive(anon): 3872 kB Active(file): 53792 kB Inactive(file): 35784 kB Unevictable: 530428 kB Mlocked: 11252 kB SwapTotal: 67108856 kB SwapFree: 67098100 kB Dirty: 17176 kB Writeback: 8 kB AnonPages: 3631700 kB Mapped: 15388 kB Shmem: 0 kB Slab: 567480 kB SReclaimable: 11008 kB SUnreclaim: 556472 kB KernelStack: 1600 kB PageTables: 11452 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4363176 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3551232 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= 71712 MiB End job on node141 at 2016-06-06 16:31:43