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) | 858 | 1800.08 | 900.988 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb |
| MD5SUM | 2fd45123d8e20b24379108257151f007 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 294 |
| Best CPU time to get the best result obtained on this benchmark | 1800.14 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 414 |
| 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 | 488873 |
| 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 | 488873 |
| 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.10 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081221-1465223089.opb 0.09/0.12 c reading problem ... 0.09/0.13 c objective function found 5.36/3.67 c ... done. Wall clock time 3.549s. 5.36/3.67 c declared #vars 10000 5.36/3.67 c #constraints 656900 5.36/3.68 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 5.36/3.68 c constraints type 5.36/3.68 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200 5.36/3.68 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700 5.36/3.68 c 656900 constraints processed. 5.36/3.68 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 5.36/3.68 c constraints type 5.36/3.68 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700 5.36/3.68 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200 5.36/3.68 c 656900 constraints processed. 5.36/3.68 c objective function length is 10000 literals 6.25/3.92 c And the winner is solver0 6.36/4.19 c SATISFIABLE 6.36/4.19 c OPTIMIZING... 6.36/4.19 c Got one! Elapsed wall clock time (in seconds):4.063 6.70/4.32 o 1065 6.70/4.36 c And the winner is solver0 6.94/4.75 c Got one! Elapsed wall clock time (in seconds):4.626 6.94/4.75 o 858 9.92/6.16 c cleaning 2556 clauses out of 5162 with flag 13769/5162 13.02/7.62 c cleaning 4276 clauses out of 8603 with flag 28074/11159 16.83/9.51 c cleaning 5648 clauses out of 11328 with flag 45149/18160 22.11/12.16 c cleaning 6833 clauses out of 13679 with flag 72131/26159 28.52/15.30 c cleaning 7912 clauses out of 15846 with flag 100300/35159 35.26/18.68 c cleaning 8960 clauses out of 17935 with flag 132741/45160 42.86/22.41 c cleaning 9982 clauses out of 19975 with flag 170409/56160 51.46/26.77 c cleaning 10994 clauses out of 21993 with flag 209978/68160 61.88/31.86 c cleaning 11983 clauses out of 23998 with flag 254945/81159 72.54/37.18 c cleaning 12994 clauses out of 26016 with flag 305812/95160 83.54/42.66 c cleaning 13998 clauses out of 28023 with flag 359067/110161 95.15/48.43 c cleaning 15004 clauses out of 30023 with flag 413427/126159 107.53/54.60 c cleaning 15991 clauses out of 32021 with flag 477137/143161 120.94/61.33 c cleaning 17002 clauses out of 34028 with flag 543979/161159 134.58/68.18 c cleaning 17998 clauses out of 36028 with flag 615123/180161 149.39/75.55 c cleaning 19001 clauses out of 38029 with flag 693955/200160 165.19/83.49 c cleaning 20010 clauses out of 40028 with flag 774812/221160 181.59/91.65 c cleaning 21003 clauses out of 42017 with flag 859297/243159 198.62/100.18 c cleaning 21994 clauses out of 44017 with flag 950484/266162 216.75/109.19 c cleaning 22995 clauses out of 46021 with flag 1042736/290160 237.53/119.26 c cleaning 24006 clauses out of 48027 with flag 1143397/315161 259.17/130.03 c cleaning 25001 clauses out of 50019 with flag 1247093/341159 280.79/140.81 c cleaning 25995 clauses out of 52018 with flag 1358621/368159 303.37/152.19 c cleaning 26998 clauses out of 54024 with flag 1472002/396160 324.79/162.83 c cleaning 27994 clauses out of 56025 with flag 1586764/425159 349.66/175.61 c cleaning 28997 clauses out of 58031 with flag 1709618/455159 371.86/186.71 c cleaning 29996 clauses out of 60034 with flag 1836316/486159 395.46/198.56 c cleaning 31003 clauses out of 62040 with flag 1965621/518161 420.65/211.20 c cleaning 32006 clauses out of 64036 with flag 2106884/551160 448.33/224.80 c cleaning 32992 clauses out of 66029 with flag 2250434/585159 477.53/239.49 c cleaning 33998 clauses out of 68037 with flag 2397958/620159 507.14/254.24 c cleaning 35007 clauses out of 70040 with flag 2549793/656160 540.03/270.50 c cleaning 36004 clauses out of 72033 with flag 2706083/693160 571.24/286.12 c cleaning 36993 clauses out of 74028 with flag 2888148/731159 602.22/301.68 c cleaning 38001 clauses out of 76035 with flag 3062077/770159 635.61/318.64 c cleaning 39001 clauses out of 78034 with flag 3230721/810159 667.23/334.50 c cleaning 39997 clauses out of 80033 with flag 3409225/851159 699.82/350.77 c cleaning 40997 clauses out of 82036 with flag 3588133/893159 733.82/367.76 c cleaning 41994 clauses out of 84040 with flag 3771359/936160 768.21/384.86 c cleaning 43008 clauses out of 86045 with flag 3962184/980159 805.80/403.60 c cleaning 43998 clauses out of 88037 with flag 4154817/1025159 842.84/422.15 c cleaning 44998 clauses out of 90040 with flag 4351217/1071160 883.05/442.30 c cleaning 46006 clauses out of 92044 with flag 4560823/1118162 926.18/463.73 c cleaning 47006 clauses out of 94036 with flag 4776882/1166160 971.39/486.31 c cleaning 48003 clauses out of 96030 with flag 5007020/1215160 1019.76/510.42 c cleaning 49009 clauses out of 98027 with flag 5239699/1265160 1068.70/535.25 c cleaning 49997 clauses out of 100018 with flag 5454008/1316160 1115.93/558.75 c cleaning 50997 clauses out of 102020 with flag 5670504/1368159 1161.91/581.70 c cleaning 51997 clauses out of 104024 with flag 5897269/1421160 1212.30/606.73 c cleaning 52994 clauses out of 106027 with flag 6136964/1475160 1265.49/633.36 c cleaning 54000 clauses out of 108032 with flag 6397880/1530159 1317.89/659.59 c cleaning 54997 clauses out of 110033 with flag 6657829/1586160 1373.56/687.00 c cleaning 55996 clauses out of 112035 with flag 6924491/1643159 1421.35/711.00 c cleaning 57000 clauses out of 114039 with flag 7208101/1701159 1471.76/736.19 c cleaning 58001 clauses out of 116040 with flag 7500896/1760160 1521.75/761.15 c cleaning 59012 clauses out of 118040 with flag 7785290/1820161 1578.96/789.72 c cleaning 59996 clauses out of 120026 with flag 8071548/1881159 1634.96/817.78 c cleaning 60999 clauses out of 122033 with flag 8362392/1943162 1705.58/854.08 c cleaning 62005 clauses out of 124031 with flag 8666608/2006159 1765.55/883.83 c cleaning 62990 clauses out of 126027 with flag 8962774/2070160 1800.08/900.91 c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<< 1800.08/900.91 c starts : 7 1800.08/900.91 c conflicts : 2109325 1800.08/900.91 c decisions : 4197335 1800.08/900.91 c propagations : 330795436 1800.08/900.91 c inspects : 2524682378 1800.08/900.91 c shortcuts : 0 1800.08/900.91 c learnt literals : 0 1800.08/900.91 c learnt binary clauses : 0 1800.08/900.91 c learnt ternary clauses : 0 1800.08/900.91 c learnt constraints : 2109325 1800.08/900.91 c ignored constraints : 0 1800.08/900.91 c root simplifications : 0 1800.08/900.91 c removed literals (reason simplification) : 435557792 1800.08/900.91 c reason swapping (by a shorter reason) : 0 1800.08/900.91 c Calls to reduceDB : 60 1800.08/900.91 c Number of update (reduction) of LBD : 544510 1800.08/900.91 c Imported unit clauses : 0 1800.08/900.91 c number of reductions to clauses (during analyze) : 0 1800.08/900.91 c number of learned constraints concerned by reduction : 0 1800.08/900.91 c number of learning phase by resolution : 0 1800.08/900.91 c number of learning phase by cutting planes : 0 1800.08/900.91 c speed (assignments/second) : 368699.18724559626 1800.08/900.91 c non guided choices 0 1800.08/900.93 c learnt constraints type 1800.08/900.93 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 102202 1800.08/900.93 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.08/900.93 c starts : 10 1800.08/900.93 c conflicts : 982 1800.08/900.93 c decisions : 94983 1800.08/900.93 c propagations : 869915 1800.08/900.93 c inspects : 13643655 1800.08/900.93 c shortcuts : 0 1800.08/900.93 c learnt literals : 0 1800.08/900.93 c learnt binary clauses : 0 1800.08/900.93 c learnt ternary clauses : 0 1800.08/900.93 c learnt constraints : 981 1800.08/900.93 c ignored constraints : 0 1800.08/900.93 c root simplifications : 0 1800.08/900.93 c removed literals (reason simplification) : 0 1800.08/900.93 c reason swapping (by a shorter reason) : 0 1800.08/900.93 c Calls to reduceDB : 0 1800.08/900.93 c Number of update (reduction) of LBD : 0 1800.08/900.93 c Imported unit clauses : 0 1800.08/900.93 c number of reductions to clauses (during analyze) : 0 1800.08/900.93 c number of learned constraints concerned by reduction : 0 1800.08/900.93 c number of learning phase by resolution : 0 1800.08/900.93 c number of learning phase by cutting planes : 0 1800.08/900.93 c speed (assignments/second) : 970.7377658351727 1800.08/900.93 c non guided choices 0 1800.08/900.93 c learnt constraints type 1800.08/900.93 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 116 1800.08/900.93 c org.sat4j.pb.constraints.pb.MaxWatchPb => 865 1800.08/900.93 s SATISFIABLE 1800.08/900.93 c Found 2 solution(s) 1800.08/900.94 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.08/900.96 c objective function=858 1800.08/900.96 c Total wall clock time (in seconds): 900.832
OK 858
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-4081221-1465223089/watcher-4081221-1465223089 -o /tmp/evaluation-result-4081221-1465223089/solver-4081221-1465223089 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1465216745-25467 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081221-1465223089.opb pid=29190 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.88 4.05 4.10 4/197 29193 /proc/meminfo: memFree=28443348/32872528 swapFree=11252/530428 [pid=29193] ppid=29190 vsize=9160 CPUtime=0 cores=0,2,4,6 /proc/29193/stat : 29193 (java) R 29190 29193 25451 0 -1 4202496 464 0 0 0 0 0 0 0 20 0 1 0 104240758 9379840 119 33554432000 1073741824 1073778376 140736536664736 140736536661864 139773536460448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/29193/statm: 2290 122 94 9 0 38 0 [startup+0.100057 s] /proc/loadavg: 3.88 4.05 4.10 4/197 29193 /proc/meminfo: memFree=28443348/32872528 swapFree=11252/530428 [pid=29193] ppid=29190 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/29193/stat : 29193 (java) S 29190 29193 25451 0 -1 4202496 4409 0 1 0 8 1 0 0 20 0 18 0 104240758 9787879424 6035 33554432000 1073741824 1073778376 140736536664736 140736536655872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29193/statm: 2389619 6035 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200264 s] /proc/loadavg: 3.88 4.05 4.10 4/197 29193 /proc/meminfo: memFree=28443348/32872528 swapFree=11252/530428 [pid=29193] ppid=29190 vsize=9558476 CPUtime=0.27 cores=0,2,4,6 /proc/29193/stat : 29193 (java) S 29190 29193 25451 0 -1 4202496 5052 0 1 0 26 1 0 0 20 0 18 0 104240758 9787879424 6898 33554432000 1073741824 1073778376 140736536664736 140736536655872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29193/statm: 2389619 6898 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.300283 s] /proc/loadavg: 3.88 4.05 4.10 4/197 29193 /proc/meminfo: memFree=28443348/32872528 swapFree=11252/530428 [pid=29193] ppid=29190 vsize=9558476 CPUtime=0.45 cores=0,2,4,6 /proc/29193/stat : 29193 (java) S 29190 29193 25451 0 -1 4202496 5541 0 1 0 44 1 0 0 20 0 18 0 104240758 9787879424 8627 33554432000 1073741824 1073778376 140736536664736 140736536655872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29193/statm: 2389619 8627 2231 9 0 2380296 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 9558476 [startup+0.700256 s] /proc/loadavg: 3.88 4.05 4.10 4/197 29193 /proc/meminfo: memFree=28443348/32872528 swapFree=11252/530428 [pid=29193] ppid=29190 vsize=9559084 CPUtime=1.57 cores=0,2,4,6 /proc/29193/stat : 29193 (java) S 29190 29193 25451 0 -1 4202496 23396 0 1 0 151 6 0 0 20 0 18 0 104240758 9788502016 33495 33554432000 1073741824 1073778376 140736536664736 140736536655872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29193/statm: 2389771 33495 2244 9 0 2380448 0 Current children cumulated CPU time (s) 1.57 Current children cumulated vsize (KiB) 9559084 [startup+1.50084 s] /proc/loadavg: 3.81 4.03 4.09 4/215 29211 /proc/meminfo: memFree=28248048/32872528 swapFree=11252/530428 [pid=29193] ppid=29190 vsize=9558476 CPUtime=2.74 cores=0,2,4,6 /proc/29193/stat : 29193 (java) S 29190 29193 25451 0 -1 4202496 23739 0 1 0 265 9 0 0 20 0 18 0 104240758 9787879424 56083 33554432000 1073741824 1073778376 140736536664736 140736536655872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29193/statm: 2389619 56083 2262 9 0 2380296 0 [pid=29193/tid=29195] ppid=29190 vsize=9558476 CPUtime=1.42 cores=0,2,4,6 /proc/29193/task/29195/stat : 29195 (java) R 29190 29193 25451 0 -1 4202560 2473 0 1 0 139 3 0 0 20 0 18 0 104240759 9787879424 56083 33554432000 1073741824 1073778376 140736536664736 139773524844608 139773352576958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29196] ppid=29190 vsize=9558476 CPUtime=0.01 cores=0,2,4,6 /proc/29193/task/29196/stat : 29196 (java) S 29190 29193 25451 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 104240760 9787879424 56083 33554432000 1073741824 1073778376 140736536664736 139773486345128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29197] ppid=29190 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29197/stat : 29197 (java) S 29190 29193 25451 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 104240760 9787879424 56083 33554432000 1073741824 1073778376 140736536664736 139773485292584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29198] ppid=29190 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29198/stat : 29198 (java) S 29190 29193 25451 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 104240760 9787879424 56083 33554432000 1073741824 1073778376 140736536664736 139773484239528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29199] ppid=29190 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29199/stat : 29199 (java) S 29190 29193 25451 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 18 0 104240760 9787879424 56083 33554432000 1073741824 1073778376 140736536664736 139773483186984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29200] ppid=29190 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29200/stat : 29200 (java) S 29190 29193 25451 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 104240760 9787879424 56083 33554432000 1073741824 1073778376 140736536664736 139773482133928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29201] ppid=29190 vsize=9558476 CPUtime=0.02 cores=0,2,4,6 /proc/29193/task/29201/stat : 29201 (java) S 29190 29193 25451 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 104240760 9787879424 56083 33554432000 1073741824 1073778376 140736536664736 139773481081384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29193/tid=29202] ppid=29190 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29202/stat : 29202 (java) S 29190 29193 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104240760 9787879424 56083 33554432000 1073741824 1073778376 140736536664736 139773480028328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29193/tid=29203] ppid=29190 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29203/stat : 29203 (java) S 29190 29193 25451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 104240760 9787879424 56083 33554432000 1073741824 1073778376 140736536664736 139773478975784 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29204] ppid=29190 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29204/stat : 29204 (java) S 29190 29193 25451 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 104240761 9787879424 56083 33554432000 1073741824 1073778376 140736536664736 139773348920168 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29205] ppid=29190 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29205/stat : 29205 (java) S 29190 29193 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104240762 9787879424 56083 33554432000 1073741824 1073778376 140736536664736 139773347866488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29206] ppid=29190 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29206/stat : 29206 (java) S 29190 29193 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104240762 9787879424 56595 33554432000 1073741824 1073778376 140736536664736 139773346813320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29207] ppid=29190 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29207/stat : 29207 (java) S 29190 29193 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104240764 9787879424 56595 33554432000 1073741824 1073778376 140736536664736 139773345762064 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29208] ppid=29190 vsize=9558476 CPUtime=0.58 cores=0,2,4,6 /proc/29193/task/29208/stat : 29208 (java) S 29190 29193 25451 0 -1 4202560 9164 0 0 0 57 1 0 0 20 0 18 0 104240764 9787879424 56595 33554432000 1073741824 1073778376 140736536664736 139773344708920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29209] ppid=29190 vsize=9558476 CPUtime=0.57 cores=0,2,4,6 /proc/29193/task/29209/stat : 29209 (java) S 29190 29193 25451 0 -1 4202560 10712 0 0 0 54 3 0 0 20 0 18 0 104240764 9787879424 56595 33554432000 1073741824 1073778376 140736536664736 139773343656376 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29210] ppid=29190 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29210/stat : 29210 (java) S 29190 29193 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104240764 9787879424 56595 33554432000 1073741824 1073778376 140736536664736 139773342603512 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29211] ppid=29190 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29211/stat : 29211 (java) S 29190 29193 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104240764 9787879424 56595 33554432000 1073741824 1073778376 140736536664736 139773341551176 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.74 Current children cumulated vsize (KiB) 9558476 [startup+3.10084 s] /proc/loadavg: 3.81 4.03 4.09 4/215 29211 /proc/meminfo: memFree=28083116/32872528 swapFree=11252/530428 [pid=29193] ppid=29190 vsize=9558476 CPUtime=4.61 cores=0,2,4,6 /proc/29193/stat : 29193 (java) S 29190 29193 25451 0 -1 4202496 24246 0 1 0 441 20 0 0 20 0 18 0 104240758 9787879424 128039 33554432000 1073741824 1073778376 140736536664736 140736536655872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29193/statm: 2389619 128039 2262 9 0 2380296 0 [pid=29193/tid=29195] ppid=29190 vsize=9558476 CPUtime=2.91 cores=0,2,4,6 /proc/29193/task/29195/stat : 29195 (java) R 29190 29193 25451 0 -1 4202560 2584 0 1 0 284 7 0 0 20 0 18 0 104240759 9787879424 128039 33554432000 1073741824 1073778376 140736536664736 139773524844480 211462186253 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29196] ppid=29190 vsize=9558476 CPUtime=0.11 cores=0,2,4,6 /proc/29193/task/29196/stat : 29196 (java) S 29190 29193 25451 0 -1 4202560 74 0 0 0 8 3 0 0 20 0 18 0 104240760 9787879424 128039 33554432000 1073741824 1073778376 140736536664736 139773486345128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29197] ppid=29190 vsize=9558476 CPUtime=0.06 cores=0,2,4,6 /proc/29193/task/29197/stat : 29197 (java) S 29190 29193 25451 0 -1 4202560 40 0 0 0 4 2 0 0 20 0 18 0 104240760 9787879424 128039 33554432000 1073741824 1073778376 140736536664736 139773485292584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29198] ppid=29190 vsize=9558476 CPUtime=0.02 cores=0,2,4,6 /proc/29193/task/29198/stat : 29198 (java) S 29190 29193 25451 0 -1 4202560 27 0 0 0 2 0 0 0 20 0 18 0 104240760 9787879424 128039 33554432000 1073741824 1073778376 140736536664736 139773484239528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29199] ppid=29190 vsize=9558476 CPUtime=0.03 cores=0,2,4,6 /proc/29193/task/29199/stat : 29199 (java) S 29190 29193 25451 0 -1 4202560 41 0 0 0 3 0 0 0 20 0 18 0 104240760 9787879424 128039 33554432000 1073741824 1073778376 140736536664736 139773483186984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29200] ppid=29190 vsize=9558476 CPUtime=0.04 cores=0,2,4,6 /proc/29193/task/29200/stat : 29200 (java) S 29190 29193 25451 0 -1 4202560 35 0 0 0 4 0 0 0 20 0 18 0 104240760 9787879424 128039 33554432000 1073741824 1073778376 140736536664736 139773482133928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29193/tid=29201] ppid=29190 vsize=9558476 CPUtime=0.06 cores=0,2,4,6 /proc/29193/task/29201/stat : 29201 (java) S 29190 29193 25451 0 -1 4202560 61 0 0 0 4 2 0 0 20 0 18 0 104240760 9787879424 128039 33554432000 1073741824 1073778376 140736536664736 139773481081384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29202] ppid=29190 vsize=9558476 CPUtime=0.02 cores=0,2,4,6 /proc/29193/task/29202/stat : 29202 (java) S 29190 29193 25451 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 18 0 104240760 9787879424 128039 33554432000 1073741824 1073778376 140736536664736 139773480028328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29203] ppid=29190 vsize=9558476 CPUtime=0.05 cores=0,2,4,6 /proc/29193/task/29203/stat : 29203 (java) S 29190 29193 25451 0 -1 4202560 35 0 0 0 5 0 0 0 20 0 18 0 104240760 9787879424 128039 33554432000 1073741824 1073778376 140736536664736 139773478975784 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29204] ppid=29190 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29204/stat : 29204 (java) S 29190 29193 25451 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 104240761 9787879424 128039 33554432000 1073741824 1073778376 140736536664736 139773348920168 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29193/tid=29205] ppid=29190 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29205/stat : 29205 (java) S 29190 29193 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 104240762 9787879424 128039 33554432000 1073741824 1073778376 140736536664736 139773347866488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29206] ppid=29190 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29206/stat : 29206 (java) S 29190 29193 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 104240762 9787879424 128039 33554432000 1073741824 1073778376 140736536664736 139773346813320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29207] ppid=29190 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29207/stat : 29207 (java) S 29190 29193 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104240764 9787879424 128039 33554432000 1073741824 1073778376 140736536664736 139773345762064 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29208] ppid=29190 vsize=9558476 CPUtime=0.58 cores=0,2,4,6 /proc/29193/task/29208/stat : 29208 (java) S 29190 29193 25451 0 -1 4202560 9164 0 0 0 57 1 0 0 20 0 18 0 104240764 9787879424 128039 33554432000 1073741824 1073778376 140736536664736 139773344708920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29209] ppid=29190 vsize=9558476 CPUtime=0.57 cores=0,2,4,6 /proc/29193/task/29209/stat : 29209 (java) S 29190 29193 25451 0 -1 4202560 10712 0 0 0 54 3 0 0 20 0 18 0 104240764 9787879424 128039 33554432000 1073741824 1073778376 140736536664736 139773343656376 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29210] ppid=29190 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29210/stat : 29210 (java) S 29190 29193 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104240764 9787879424 128039 33554432000 1073741824 1073778376 140736536664736 139773342603512 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29211] ppid=29190 vsize=9558476 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29211/stat : 29211 (java) S 29190 29193 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 104240764 9787879424 128039 33554432000 1073741824 1073778376 140736536664736 139773341551176 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.61 Current children cumulated vsize (KiB) 9558476 [startup+6.30092 s] /proc/loadavg: 3.81 4.03 4.09 5/219 29221 /proc/meminfo: memFree=27775656/32872528 swapFree=11252/530428 [pid=29193] ppid=29190 vsize=9824732 CPUtime=10.36 cores=0,2,4,6 /proc/29193/stat : 29193 (java) S 29190 29193 25451 0 -1 4202496 26591 0 1 0 1004 32 0 0 20 0 22 0 104240758 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 140736536655872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29193/statm: 2456183 168559 2290 9 0 2446860 0 [pid=29193/tid=29195] ppid=29190 vsize=9824732 CPUtime=3.52 cores=0,2,4,6 /proc/29193/task/29195/stat : 29195 (java) S 29190 29193 25451 0 -1 4202560 2664 0 1 0 343 9 0 0 20 0 22 0 104240759 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 139773524853624 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29196] ppid=29190 vsize=9824732 CPUtime=0.2 cores=0,2,4,6 /proc/29193/task/29196/stat : 29196 (java) S 29190 29193 25451 0 -1 4202560 100 0 0 0 16 4 0 0 20 0 22 0 104240760 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 139773486345128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29197] ppid=29190 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/29193/task/29197/stat : 29197 (java) S 29190 29193 25451 0 -1 4202560 49 0 0 0 7 2 0 0 20 0 22 0 104240760 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 139773485292584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29198] ppid=29190 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/29193/task/29198/stat : 29198 (java) S 29190 29193 25451 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 22 0 104240760 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 139773484239528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29199] ppid=29190 vsize=9824732 CPUtime=0.06 cores=0,2,4,6 /proc/29193/task/29199/stat : 29199 (java) S 29190 29193 25451 0 -1 4202560 53 0 0 0 4 2 0 0 20 0 22 0 104240760 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 139773483186984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29200] ppid=29190 vsize=9824732 CPUtime=0.13 cores=0,2,4,6 /proc/29193/task/29200/stat : 29200 (java) S 29190 29193 25451 0 -1 4202560 78 0 0 0 10 3 0 0 20 0 22 0 104240760 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 139773482133928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29193/tid=29201] ppid=29190 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/29193/task/29201/stat : 29201 (java) S 29190 29193 25451 0 -1 4202560 83 0 0 0 7 2 0 0 20 0 22 0 104240760 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 139773481081384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29202] ppid=29190 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/29193/task/29202/stat : 29202 (java) S 29190 29193 25451 0 -1 4202560 32 0 0 0 4 0 0 0 20 0 22 0 104240760 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 139773480028328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29203] ppid=29190 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/29193/task/29203/stat : 29203 (java) S 29190 29193 25451 0 -1 4202560 45 0 0 0 6 1 0 0 20 0 22 0 104240760 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 139773478975784 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29204] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29204/stat : 29204 (java) S 29190 29193 25451 0 -1 4202560 482 0 0 0 0 0 0 0 20 0 22 0 104240761 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 139773348920168 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29205] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29205/stat : 29205 (java) S 29190 29193 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104240762 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 139773347866488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29206] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29206/stat : 29206 (java) S 29190 29193 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104240762 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 139773346813320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29207] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29207/stat : 29207 (java) S 29190 29193 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104240764 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 139773345762064 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29208] ppid=29190 vsize=9824732 CPUtime=1.14 cores=0,2,4,6 /proc/29193/task/29208/stat : 29208 (java) S 29190 29193 25451 0 -1 4202560 9173 0 0 0 112 2 0 0 20 0 22 0 104240764 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 139773344708920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29193/tid=29209] ppid=29190 vsize=9824732 CPUtime=1.08 cores=0,2,4,6 /proc/29193/task/29209/stat : 29209 (java) S 29190 29193 25451 0 -1 4202560 12469 0 0 0 105 3 0 0 20 0 22 0 104240764 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 139773343656376 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29210] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29210/stat : 29210 (java) S 29190 29193 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104240764 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 139773342603512 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29211] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29211/stat : 29211 (java) S 29190 29193 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104240764 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 139773341551176 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29215] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29215/stat : 29215 (java) S 29190 29193 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104241130 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 139773337339304 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29219] ppid=29190 vsize=9824732 CPUtime=1.47 cores=0,2,4,6 /proc/29193/task/29219/stat : 29219 (java) R 29190 29193 25451 0 -1 4202560 5 0 0 0 147 0 0 0 20 0 22 0 104241238 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 139773340495448 139773353258205 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29220] ppid=29190 vsize=9824732 CPUtime=1.48 cores=0,2,4,6 /proc/29193/task/29220/stat : 29220 (java) R 29190 29193 25451 0 -1 4202560 3 0 0 0 148 0 0 0 20 0 22 0 104241238 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 139773339443928 139773353190102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29221] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29221/stat : 29221 (java) S 29190 29193 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104241238 10060525568 168559 33554432000 1073741824 1073778376 140736536664736 139773338392232 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 10.36 ################ # More data... # ################ [pid=29193/tid=29199] ppid=29190 vsize=9824732 CPUtime=1.6 cores=0,2,4,6 /proc/29193/task/29199/stat : 29199 (java) S 29190 29193 25451 0 -1 4202560 567 0 0 0 136 24 0 0 20 0 22 0 104240760 10060525568 1073246 33554432000 1073741824 1073778376 140736536664736 139773483186984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29200] ppid=29190 vsize=9824732 CPUtime=1.72 cores=0,2,4,6 /proc/29193/task/29200/stat : 29200 (java) S 29190 29193 25451 0 -1 4202560 489 0 0 0 150 22 0 0 20 0 22 0 104240760 10060525568 1073246 33554432000 1073741824 1073778376 140736536664736 139773482133928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29201] ppid=29190 vsize=9824732 CPUtime=1.81 cores=0,2,4,6 /proc/29193/task/29201/stat : 29201 (java) S 29190 29193 25451 0 -1 4202560 1125 0 0 0 154 27 0 0 20 0 22 0 104240760 10060525568 1073246 33554432000 1073741824 1073778376 140736536664736 139773481081384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29202] ppid=29190 vsize=9824732 CPUtime=1.75 cores=0,2,4,6 /proc/29193/task/29202/stat : 29202 (java) S 29190 29193 25451 0 -1 4202560 1257 0 0 0 147 28 0 0 20 0 22 0 104240760 10060525568 1073246 33554432000 1073741824 1073778376 140736536664736 139773480028328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29203] ppid=29190 vsize=9824732 CPUtime=1.95 cores=0,2,4,6 /proc/29193/task/29203/stat : 29203 (java) S 29190 29193 25451 0 -1 4202560 892 0 0 0 160 35 0 0 20 0 22 0 104240760 10060525568 1073246 33554432000 1073741824 1073778376 140736536664736 139773478975784 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29204] ppid=29190 vsize=9824732 CPUtime=6.65 cores=0,2,4,6 /proc/29193/task/29204/stat : 29204 (java) S 29190 29193 25451 0 -1 4202560 3966 0 0 0 659 6 0 0 20 0 22 0 104240761 10060525568 1073246 33554432000 1073741824 1073778376 140736536664736 139773348920168 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29205] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29205/stat : 29205 (java) S 29190 29193 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104240762 10060525568 1073246 33554432000 1073741824 1073778376 140736536664736 139773347866488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29206] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29206/stat : 29206 (java) S 29190 29193 25451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104240762 10060525568 1073246 33554432000 1073741824 1073778376 140736536664736 139773346813320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29207] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29207/stat : 29207 (java) S 29190 29193 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104240764 10060525568 1073246 33554432000 1073741824 1073778376 140736536664736 139773345762064 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29208] ppid=29190 vsize=9824732 CPUtime=1.64 cores=0,2,4,6 /proc/29193/task/29208/stat : 29208 (java) S 29190 29193 25451 0 -1 4202560 9273 0 0 0 162 2 0 0 20 0 22 0 104240764 10060525568 1073246 33554432000 1073741824 1073778376 140736536664736 139773344708920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29209] ppid=29190 vsize=9824732 CPUtime=1.26 cores=0,2,4,6 /proc/29193/task/29209/stat : 29209 (java) S 29190 29193 25451 0 -1 4202560 12480 0 0 0 123 3 0 0 20 0 22 0 104240764 10060525568 1073246 33554432000 1073741824 1073778376 140736536664736 139773343656376 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29193/tid=29210] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29210/stat : 29210 (java) S 29190 29193 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104240764 10060525568 1073246 33554432000 1073741824 1073778376 140736536664736 139773342603512 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29211] ppid=29190 vsize=9824732 CPUtime=0.19 cores=0,2,4,6 /proc/29193/task/29211/stat : 29211 (java) S 29190 29193 25451 0 -1 4202560 51 0 0 0 9 10 0 0 20 0 22 0 104240764 10060525568 1073246 33554432000 1073741824 1073778376 140736536664736 139773341551176 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29215] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29215/stat : 29215 (java) S 29190 29193 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104241130 10060525568 1073246 33554432000 1073741824 1073778376 140736536664736 139773337339304 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29219] ppid=29190 vsize=9824732 CPUtime=865.13 cores=0,2,4,6 /proc/29193/task/29219/stat : 29219 (java) R 29190 29193 25451 0 -1 4202560 52 0 0 0 86498 15 0 0 20 0 22 0 104241238 10060525568 1073246 33554432000 1073741824 1073778376 140736536664736 139773340494320 139773352314425 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29220] ppid=29190 vsize=9824732 CPUtime=865.21 cores=0,2,4,6 /proc/29193/task/29220/stat : 29220 (java) R 29190 29193 25451 0 -1 4202560 1599 0 0 0 86486 35 0 0 20 0 22 0 104241238 10060525568 1073246 33554432000 1073741824 1073778376 140736536664736 139773339443056 139773353190298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29221] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29221/stat : 29221 (java) S 29190 29193 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104241238 10060525568 1073246 33554432000 1073741824 1073778376 140736536664736 139773338392232 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1762.56 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.901 s] /proc/loadavg: 3.99 4.00 4.02 5/219 29380 /proc/meminfo: memFree=22656232/32872528 swapFree=11252/530428 [pid=29193] ppid=29190 vsize=9824732 CPUtime=1800.08 cores=0,2,4,6 /proc/29193/stat : 29193 (java) S 29190 29193 25451 0 -1 4202496 38037 0 1 0 179730 278 0 0 20 0 22 0 104240758 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 140736536655872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29193/statm: 2456183 1086563 2301 9 0 2446860 0 [pid=29193/tid=29195] ppid=29190 vsize=9824732 CPUtime=3.56 cores=0,2,4,6 /proc/29193/task/29195/stat : 29195 (java) S 29190 29193 25451 0 -1 4202560 2668 0 1 0 346 10 0 0 20 0 22 0 104240759 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773524853624 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29196] ppid=29190 vsize=9824732 CPUtime=1.85 cores=0,2,4,6 /proc/29193/task/29196/stat : 29196 (java) S 29190 29193 25451 0 -1 4202560 833 0 0 0 156 29 0 0 20 0 22 0 104240760 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773486345128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29197] ppid=29190 vsize=9824732 CPUtime=1.47 cores=0,2,4,6 /proc/29193/task/29197/stat : 29197 (java) S 29190 29193 25451 0 -1 4202560 514 0 0 0 124 23 0 0 20 0 22 0 104240760 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773485292584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29193/tid=29198] ppid=29190 vsize=9824732 CPUtime=1.91 cores=0,2,4,6 /proc/29193/task/29198/stat : 29198 (java) S 29190 29193 25451 0 -1 4202560 890 0 0 0 164 27 0 0 20 0 22 0 104240760 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773484239528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29199] ppid=29190 vsize=9824732 CPUtime=1.69 cores=0,2,4,6 /proc/29193/task/29199/stat : 29199 (java) S 29190 29193 25451 0 -1 4202560 580 0 0 0 144 25 0 0 20 0 22 0 104240760 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773483186984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29200] ppid=29190 vsize=9824732 CPUtime=1.8 cores=0,2,4,6 /proc/29193/task/29200/stat : 29200 (java) S 29190 29193 25451 0 -1 4202560 501 0 0 0 158 22 0 0 20 0 22 0 104240760 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773482133928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29201] ppid=29190 vsize=9824732 CPUtime=1.87 cores=0,2,4,6 /proc/29193/task/29201/stat : 29201 (java) S 29190 29193 25451 0 -1 4202560 1134 0 0 0 159 28 0 0 20 0 22 0 104240760 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773481081384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29193/tid=29202] ppid=29190 vsize=9824732 CPUtime=1.84 cores=0,2,4,6 /proc/29193/task/29202/stat : 29202 (java) S 29190 29193 25451 0 -1 4202560 1264 0 0 0 156 28 0 0 20 0 22 0 104240760 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773480028328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29193/tid=29203] ppid=29190 vsize=9824732 CPUtime=2.04 cores=0,2,4,6 /proc/29193/task/29203/stat : 29203 (java) S 29190 29193 25451 0 -1 4202560 905 0 0 0 168 36 0 0 20 0 22 0 104240760 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773478975784 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29204] ppid=29190 vsize=9824732 CPUtime=6.66 cores=0,2,4,6 /proc/29193/task/29204/stat : 29204 (java) S 29190 29193 25451 0 -1 4202560 3971 0 0 0 660 6 0 0 20 0 22 0 104240761 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773348920168 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29205] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29205/stat : 29205 (java) S 29190 29193 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104240762 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773347866488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29206] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29206/stat : 29206 (java) S 29190 29193 25451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104240762 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773346813320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29207] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29207/stat : 29207 (java) S 29190 29193 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104240764 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773345762064 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29208] ppid=29190 vsize=9824732 CPUtime=1.64 cores=0,2,4,6 /proc/29193/task/29208/stat : 29208 (java) S 29190 29193 25451 0 -1 4202560 9273 0 0 0 162 2 0 0 20 0 22 0 104240764 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773344708920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29209] ppid=29190 vsize=9824732 CPUtime=1.26 cores=0,2,4,6 /proc/29193/task/29209/stat : 29209 (java) S 29190 29193 25451 0 -1 4202560 12480 0 0 0 123 3 0 0 20 0 22 0 104240764 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773343656376 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29193/tid=29210] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29210/stat : 29210 (java) S 29190 29193 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104240764 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773342603512 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29211] ppid=29190 vsize=9824732 CPUtime=0.19 cores=0,2,4,6 /proc/29193/task/29211/stat : 29211 (java) S 29190 29193 25451 0 -1 4202560 51 0 0 0 9 10 0 0 20 0 22 0 104240764 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773341551176 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29215] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29215/stat : 29215 (java) S 29190 29193 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104241130 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773337339304 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29219] ppid=29190 vsize=9824732 CPUtime=883.51 cores=0,2,4,6 /proc/29193/task/29219/stat : 29219 (java) R 29190 29193 25451 0 -1 4202560 53 0 0 0 88336 15 0 0 20 0 22 0 104241238 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773340495152 139773352636174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29220] ppid=29190 vsize=9824732 CPUtime=883.58 cores=0,2,4,6 /proc/29193/task/29220/stat : 29220 (java) R 29190 29193 25451 0 -1 4202560 1599 0 0 0 88323 35 0 0 20 0 22 0 104241238 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773339442048 139773353408755 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29221] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29221/stat : 29221 (java) S 29190 29193 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104241238 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773338392232 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 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 29193 sig 9 ??? kill -29193 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+900.901 s] /proc/loadavg: 3.99 4.00 4.02 5/219 29380 /proc/meminfo: memFree=22656232/32872528 swapFree=11252/530428 [pid=29193] ppid=29190 vsize=9824732 CPUtime=1800.08 cores=0,2,4,6 /proc/29193/stat : 29193 (java) S 29190 29193 25451 0 -1 4202496 38037 0 1 0 179730 278 0 0 20 0 22 0 104240758 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 140736536655872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/29193/statm: 2456183 1086563 2301 9 0 2446860 0 [pid=29193/tid=29195] ppid=29190 vsize=9824732 CPUtime=3.56 cores=0,2,4,6 /proc/29193/task/29195/stat : 29195 (java) S 29190 29193 25451 0 -1 4202560 2668 0 1 0 346 10 0 0 20 0 22 0 104240759 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773524853624 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29196] ppid=29190 vsize=9824732 CPUtime=1.85 cores=0,2,4,6 /proc/29193/task/29196/stat : 29196 (java) S 29190 29193 25451 0 -1 4202560 833 0 0 0 156 29 0 0 20 0 22 0 104240760 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773486345128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29197] ppid=29190 vsize=9824732 CPUtime=1.47 cores=0,2,4,6 /proc/29193/task/29197/stat : 29197 (java) S 29190 29193 25451 0 -1 4202560 514 0 0 0 124 23 0 0 20 0 22 0 104240760 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773485292584 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29193/tid=29198] ppid=29190 vsize=9824732 CPUtime=1.91 cores=0,2,4,6 /proc/29193/task/29198/stat : 29198 (java) S 29190 29193 25451 0 -1 4202560 890 0 0 0 164 27 0 0 20 0 22 0 104240760 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773484239528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29199] ppid=29190 vsize=9824732 CPUtime=1.69 cores=0,2,4,6 /proc/29193/task/29199/stat : 29199 (java) S 29190 29193 25451 0 -1 4202560 580 0 0 0 144 25 0 0 20 0 22 0 104240760 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773483186984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29200] ppid=29190 vsize=9824732 CPUtime=1.8 cores=0,2,4,6 /proc/29193/task/29200/stat : 29200 (java) S 29190 29193 25451 0 -1 4202560 501 0 0 0 158 22 0 0 20 0 22 0 104240760 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773482133928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29201] ppid=29190 vsize=9824732 CPUtime=1.87 cores=0,2,4,6 /proc/29193/task/29201/stat : 29201 (java) S 29190 29193 25451 0 -1 4202560 1134 0 0 0 159 28 0 0 20 0 22 0 104240760 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773481081384 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29193/tid=29202] ppid=29190 vsize=9824732 CPUtime=1.84 cores=0,2,4,6 /proc/29193/task/29202/stat : 29202 (java) S 29190 29193 25451 0 -1 4202560 1264 0 0 0 156 28 0 0 20 0 22 0 104240760 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773480028328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29193/tid=29203] ppid=29190 vsize=9824732 CPUtime=2.04 cores=0,2,4,6 /proc/29193/task/29203/stat : 29203 (java) S 29190 29193 25451 0 -1 4202560 905 0 0 0 168 36 0 0 20 0 22 0 104240760 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773478975784 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29204] ppid=29190 vsize=9824732 CPUtime=6.66 cores=0,2,4,6 /proc/29193/task/29204/stat : 29204 (java) S 29190 29193 25451 0 -1 4202560 3971 0 0 0 660 6 0 0 20 0 22 0 104240761 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773348920168 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29205] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29205/stat : 29205 (java) S 29190 29193 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104240762 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773347866488 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29206] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29206/stat : 29206 (java) S 29190 29193 25451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104240762 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773346813320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29207] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29207/stat : 29207 (java) S 29190 29193 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104240764 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773345762064 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29208] ppid=29190 vsize=9824732 CPUtime=1.64 cores=0,2,4,6 /proc/29193/task/29208/stat : 29208 (java) S 29190 29193 25451 0 -1 4202560 9273 0 0 0 162 2 0 0 20 0 22 0 104240764 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773344708920 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29209] ppid=29190 vsize=9824732 CPUtime=1.26 cores=0,2,4,6 /proc/29193/task/29209/stat : 29209 (java) S 29190 29193 25451 0 -1 4202560 12480 0 0 0 123 3 0 0 20 0 22 0 104240764 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773343656376 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=29193/tid=29210] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29210/stat : 29210 (java) S 29190 29193 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104240764 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773342603512 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29211] ppid=29190 vsize=9824732 CPUtime=0.19 cores=0,2,4,6 /proc/29193/task/29211/stat : 29211 (java) S 29190 29193 25451 0 -1 4202560 51 0 0 0 9 10 0 0 20 0 22 0 104240764 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773341551176 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=29193/tid=29215] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29215/stat : 29215 (java) S 29190 29193 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104241130 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773337339304 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29219] ppid=29190 vsize=9824732 CPUtime=883.51 cores=0,2,4,6 /proc/29193/task/29219/stat : 29219 (java) R 29190 29193 25451 0 -1 4202560 53 0 0 0 88336 15 0 0 20 0 22 0 104241238 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773340495152 139773352636174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=29193/tid=29220] ppid=29190 vsize=9824732 CPUtime=883.58 cores=0,2,4,6 /proc/29193/task/29220/stat : 29220 (java) R 29190 29193 25451 0 -1 4202560 1599 0 0 0 88323 35 0 0 20 0 22 0 104241238 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773339442048 139773353408755 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=29193/tid=29221] ppid=29190 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/29193/task/29221/stat : 29221 (java) S 29190 29193 25451 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104241238 10060525568 1086563 33554432000 1073741824 1073778376 140736536664736 139773338392232 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 29193 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=849445 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=210511 # CPU time returned by wait4() is 1796.06 # while last known CPU time is 1800.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 900.988 CPU time (s): 1800.08 CPU user time (s): 1797.3 CPU system time (s): 2.78 CPU usage (%): 199.789 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.85 system time used= 3.21051 maximum resident set size= 4346364 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38074 page faults= 1 swaps= 0 block input operations= 0 block output operations= 792 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22187 involuntary context switches= 23317 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.61115 second user time and 7.15491 second system time The end
Begin job on node141 at 2016-06-06 16:24:50 IDJOB=4081221 IDBENCH=1977 IDSOLVER=2543 FILE ID=node141/4081221-1465223089 RUNJOBID= node141-1465216745-25467 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_1.opb.PB06.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081221-1465223089/watcher-4081221-1465223089 -o /tmp/evaluation-result-4081221-1465223089/solver-4081221-1465223089 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1465216745-25467 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081221-1465223089.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2fd45123d8e20b24379108257151f007 RANDOM SEED=602704852 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: 28444084 kB Buffers: 10624 kB Cached: 83364 kB SwapCached: 1788 kB Active: 3147156 kB Inactive: 40992 kB Active(anon): 3093432 kB Inactive(anon): 3232 kB Active(file): 53724 kB Inactive(file): 37760 kB Unevictable: 530428 kB Mlocked: 11252 kB SwapTotal: 67108856 kB SwapFree: 67098100 kB Dirty: 17680 kB Writeback: 0 kB AnonPages: 3628548 kB Mapped: 15516 kB Shmem: 0 kB Slab: 567472 kB SReclaimable: 10964 kB SUnreclaim: 556508 kB KernelStack: 1624 kB PageTables: 11508 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4364136 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= 71732 MiB End job on node141 at 2016-06-06 16:39:51