| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 3967909 | 1800.06 | 898.866 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_2.opb |
| MD5SUM | 1172ec321506151f46656b695a5e98c9 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 3947303 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9940 |
| Total number of constraints | 14846 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14700 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2415 |
| Number of terms in the objective function | 9730 |
| Biggest coefficient in the objective function | 148877000 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 81547827734 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 148877000 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 81547827734 |
| Number of bits of the biggest sum of numbers | 37 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@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-4080928-1465369430.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.63/0.70 c ... done. Wall clock time 0.577s. 1.63/0.70 c declared #vars 9940 1.63/0.70 c #constraints 24512 1.63/0.70 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.63/0.70 c constraints type 1.63/0.70 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1.63/0.70 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.63/0.70 c org.sat4j.specs.Constr$1 => 2 1.63/0.70 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.63/0.70 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1.63/0.70 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625 1.63/0.70 c 24512 constraints processed. 1.63/0.70 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.63/0.70 c constraints type 1.63/0.70 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19390 1.63/0.70 c org.sat4j.specs.Constr$1 => 2 1.63/0.70 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2486 1.63/0.70 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1.63/0.70 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 1.63/0.70 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2625 1.63/0.70 c 24512 constraints processed. 1.63/0.70 c objective function length is 9730 literals 2.74/1.09 c And the winner is solver0 3.33/1.21 c SATISFIABLE 3.33/1.21 c OPTIMIZING... 3.33/1.21 c Got one! Elapsed wall clock time (in seconds):1.09 3.33/1.21 o 3967909 7.44/3.12 c cleaning 2569 clauses out of 5153 with flag 10159/5153 11.98/5.32 c cleaning 4293 clauses out of 8585 with flag 22222/11154 18.16/8.34 c cleaning 5644 clauses out of 11291 with flag 36322/18153 25.20/11.83 c cleaning 6817 clauses out of 13648 with flag 52490/26154 32.60/15.42 c cleaning 7908 clauses out of 15831 with flag 70590/35154 41.99/20.18 c cleaning 8961 clauses out of 17922 with flag 90743/45153 51.79/25.03 c cleaning 9975 clauses out of 19961 with flag 112974/56153 61.79/30.02 c cleaning 10987 clauses out of 21986 with flag 137211/68153 73.99/36.11 c cleaning 11996 clauses out of 23999 with flag 163456/81153 87.95/43.05 c cleaning 12998 clauses out of 26004 with flag 191626/95154 102.54/50.32 c cleaning 14001 clauses out of 28005 with flag 221953/110153 116.14/57.17 c cleaning 14994 clauses out of 30004 with flag 254376/126153 131.04/64.57 c cleaning 15997 clauses out of 32010 with flag 288791/143153 146.44/72.22 c cleaning 16995 clauses out of 34013 with flag 325199/161153 162.66/80.34 c cleaning 18002 clauses out of 36018 with flag 363724/180153 182.66/90.38 c cleaning 18996 clauses out of 38017 with flag 404039/200154 206.42/102.12 c cleaning 20004 clauses out of 40020 with flag 446387/221153 229.42/113.67 c cleaning 21001 clauses out of 42016 with flag 490640/243153 251.41/124.64 c cleaning 22002 clauses out of 44015 with flag 537204/266153 277.80/137.90 c cleaning 23001 clauses out of 46014 with flag 585720/290154 301.62/149.64 c cleaning 24002 clauses out of 48013 with flag 636260/315154 325.60/161.63 c cleaning 24995 clauses out of 50010 with flag 688770/341153 354.19/175.97 c cleaning 26005 clauses out of 52015 with flag 743385/368153 384.99/191.38 c cleaning 26995 clauses out of 54010 with flag 800082/396153 418.59/208.15 c cleaning 28002 clauses out of 56016 with flag 858684/425154 449.35/223.42 c cleaning 28998 clauses out of 58014 with flag 919432/455154 480.13/238.87 c cleaning 30001 clauses out of 60015 with flag 982363/486153 514.51/256.02 c cleaning 31001 clauses out of 62015 with flag 1047185/518154 550.10/273.87 c cleaning 31998 clauses out of 64013 with flag 1113792/551153 589.50/293.54 c cleaning 33004 clauses out of 66015 with flag 1182351/585153 630.49/314.05 c cleaning 33997 clauses out of 68011 with flag 1253227/620153 668.89/333.16 c cleaning 34999 clauses out of 70014 with flag 1326134/656153 706.49/351.90 c cleaning 35998 clauses out of 72015 with flag 1401261/693153 750.29/373.87 c cleaning 37002 clauses out of 74018 with flag 1478077/731154 797.11/397.22 c cleaning 38001 clauses out of 76016 with flag 1556885/770154 844.52/421.11 c cleaning 38999 clauses out of 78014 with flag 1637588/810153 885.31/441.53 c cleaning 40000 clauses out of 80015 with flag 1720626/851153 927.93/462.82 c cleaning 40991 clauses out of 82015 with flag 1805775/893153 976.71/487.23 c cleaning 42007 clauses out of 84025 with flag 1892524/936154 1029.10/513.44 c cleaning 43001 clauses out of 86017 with flag 1981161/980153 1077.30/537.54 c cleaning 44002 clauses out of 88017 with flag 2071877/1025154 1131.30/564.52 c cleaning 44996 clauses out of 90015 with flag 2164624/1071154 1187.69/592.77 c cleaning 46004 clauses out of 92019 with flag 2259788/1118154 1249.09/623.46 c cleaning 46999 clauses out of 94015 with flag 2356688/1166154 1309.36/653.55 c cleaning 48000 clauses out of 96016 with flag 2455661/1215154 1366.15/681.99 c cleaning 48998 clauses out of 98015 with flag 2556956/1265153 1428.79/713.25 c cleaning 49999 clauses out of 100017 with flag 2660048/1316153 1498.17/747.98 c cleaning 51000 clauses out of 102019 with flag 2765060/1368154 1560.24/778.98 c cleaning 52006 clauses out of 104018 with flag 2872183/1421153 1627.41/812.58 c cleaning 53000 clauses out of 106013 with flag 2981283/1475154 1693.20/845.45 c cleaning 54001 clauses out of 108013 with flag 3092304/1530154 1761.86/879.73 c cleaning 54993 clauses out of 110012 with flag 3205740/1586154 1800.06/898.81 c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<< 1800.06/898.81 c starts : 4 1800.06/898.81 c conflicts : 1618203 1800.06/898.81 c decisions : 1775527 1800.06/898.81 c propagations : 35190169 1800.06/898.81 c inspects : 6356017501 1800.06/898.81 c shortcuts : 0 1800.06/898.81 c learnt literals : 0 1800.06/898.81 c learnt binary clauses : 0 1800.06/898.81 c learnt ternary clauses : 1 1800.06/898.81 c learnt constraints : 1618203 1800.06/898.81 c ignored constraints : 0 1800.06/898.81 c root simplifications : 0 1800.06/898.81 c removed literals (reason simplification) : 172340392 1800.06/898.81 c reason swapping (by a shorter reason) : 0 1800.06/898.81 c Calls to reduceDB : 52 1800.06/898.81 c Number of update (reduction) of LBD : 16899 1800.06/898.81 c Imported unit clauses : 0 1800.06/898.81 c number of reductions to clauses (during analyze) : 0 1800.06/898.81 c number of learned constraints concerned by reduction : 0 1800.06/898.81 c number of learning phase by resolution : 0 1800.06/898.81 c number of learning phase by cutting planes : 0 1800.06/898.81 c speed (assignments/second) : 39185.874222744846 1800.06/898.81 c non guided choices 34 1800.06/898.83 c learnt constraints type 1800.06/898.83 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 87068 1800.06/898.83 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.06/898.83 c starts : 2 1800.06/898.83 c conflicts : 415 1800.06/898.83 c decisions : 12172 1800.06/898.83 c propagations : 379028 1800.06/898.83 c inspects : 7955092 1800.06/898.83 c shortcuts : 0 1800.06/898.83 c learnt literals : 0 1800.06/898.83 c learnt binary clauses : 0 1800.06/898.83 c learnt ternary clauses : 0 1800.06/898.83 c learnt constraints : 414 1800.06/898.83 c ignored constraints : 0 1800.06/898.83 c root simplifications : 0 1800.06/898.83 c removed literals (reason simplification) : 0 1800.06/898.83 c reason swapping (by a shorter reason) : 0 1800.06/898.83 c Calls to reduceDB : 0 1800.06/898.83 c Number of update (reduction) of LBD : 0 1800.06/898.83 c Imported unit clauses : 0 1800.06/898.83 c number of reductions to clauses (during analyze) : 0 1800.06/898.83 c number of learned constraints concerned by reduction : 0 1800.06/898.83 c number of learning phase by resolution : 0 1800.06/898.83 c number of learning phase by cutting planes : 0 1800.06/898.83 c speed (assignments/second) : 422.28426656089914 1800.06/898.83 c non guided choices 0 1800.06/898.83 c learnt constraints type 1800.06/898.83 c org.sat4j.pb.constraints.pb.MaxWatchPb => 414 1800.06/898.83 s SATISFIABLE 1800.06/898.83 c Found 1 solution(s) 1800.06/898.84 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 1800.06/898.85 c objective function=3967909 1800.06/898.85 c Total wall clock time (in seconds): 898.732
OK 3967909
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-4080928-1465369430/watcher-4080928-1465369430 -o /tmp/evaluation-result-4080928-1465369430/solver-4080928-1465369430 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465369430-27013 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080928-1465369430.opb pid=27033 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.21 1.36 1.74 2/171 27036 /proc/meminfo: memFree=29711568/32872528 swapFree=17536/1464688 [pid=27036] ppid=27033 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/27036/stat : 27036 (java) D 27033 27036 22851 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 118876056 9515008 183 33554432000 1073741824 1073778376 140735591473952 140735591464984 227512499893 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0 /proc/27036/statm: 2323 183 140 9 0 71 0 [startup+0.100058 s] /proc/loadavg: 1.21 1.36 1.74 2/171 27036 /proc/meminfo: memFree=29711568/32872528 swapFree=17536/1464688 [pid=27036] ppid=27033 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/27036/stat : 27036 (java) S 27033 27036 22851 0 -1 4202496 4395 0 4 0 7 2 0 0 20 0 18 0 118876056 9787879424 6021 33554432000 1073741824 1073778376 140734036841392 140734036832528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27036/statm: 2389619 6021 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200273 s] /proc/loadavg: 1.21 1.36 1.74 2/171 27036 /proc/meminfo: memFree=29711568/32872528 swapFree=17536/1464688 [pid=27036] ppid=27033 vsize=9558476 CPUtime=0.29 cores=1,3,5,7 /proc/27036/stat : 27036 (java) S 27033 27036 22851 0 -1 4202496 5062 0 4 0 27 2 0 0 20 0 18 0 118876056 9787879424 6859 33554432000 1073741824 1073778376 140734036841392 140734036832528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27036/statm: 2389619 6859 2220 9 0 2380296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9558476 [startup+0.300254 s] /proc/loadavg: 1.21 1.36 1.74 2/171 27036 /proc/meminfo: memFree=29711568/32872528 swapFree=17536/1464688 [pid=27036] ppid=27033 vsize=9558476 CPUtime=0.49 cores=1,3,5,7 /proc/27036/stat : 27036 (java) S 27033 27036 22851 0 -1 4202496 5529 0 4 0 46 3 0 0 20 0 18 0 118876056 9787879424 9645 33554432000 1073741824 1073778376 140734036841392 140734036832528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27036/statm: 2389619 9645 2235 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558476 [startup+0.700195 s] /proc/loadavg: 1.21 1.36 1.74 2/171 27036 /proc/meminfo: memFree=29711568/32872528 swapFree=17536/1464688 [pid=27036] ppid=27033 vsize=9558476 CPUtime=1.63 cores=1,3,5,7 /proc/27036/stat : 27036 (java) S 27033 27036 22851 0 -1 4202496 17501 0 4 0 157 6 0 0 20 0 18 0 118876056 9787879424 31767 33554432000 1073741824 1073778376 140734036841392 140734036832528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27036/statm: 2389619 31767 2254 9 0 2380296 0 Current children cumulated CPU time (s) 1.63 Current children cumulated vsize (KiB) 9558476 [startup+1.50074 s] /proc/loadavg: 1.21 1.36 1.74 4/212 27085 /proc/meminfo: memFree=29490336/32872528 swapFree=17536/1464688 [pid=27036] ppid=27033 vsize=9824732 CPUtime=3.98 cores=1,3,5,7 /proc/27036/stat : 27036 (java) S 27033 27036 22851 0 -1 4202496 20289 0 4 0 389 9 0 0 20 0 22 0 118876056 10060525568 43485 33554432000 1073741824 1073778376 140734036841392 140734036832528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27036/statm: 2456183 43485 2274 9 0 2446860 0 [pid=27036/tid=27043] ppid=27033 vsize=9824732 CPUtime=0.7 cores=1,3,5,7 /proc/27036/task/27043/stat : 27043 (java) S 27033 27036 22851 0 -1 4202560 2458 0 4 0 67 3 0 0 20 0 22 0 118876057 10060525568 43485 33554432000 1073741824 1073778376 140734036841392 139936448713592 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27036/tid=27046] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27046/stat : 27046 (java) S 27033 27036 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 43485 33554432000 1073741824 1073778376 140734036841392 139936292399656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27047] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27047/stat : 27047 (java) S 27033 27036 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 43485 33554432000 1073741824 1073778376 140734036841392 139936291346856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27048] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27048/stat : 27048 (java) S 27033 27036 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 43485 33554432000 1073741824 1073778376 140734036841392 139936290294056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27036/tid=27049] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27049/stat : 27049 (java) S 27033 27036 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 43485 33554432000 1073741824 1073778376 140734036841392 139936289241256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27036/tid=27050] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27050/stat : 27050 (java) S 27033 27036 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 43485 33554432000 1073741824 1073778376 140734036841392 139936288189480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27052] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27052/stat : 27052 (java) S 27033 27036 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 43485 33554432000 1073741824 1073778376 140734036841392 139936287136680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27036/tid=27053] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27053/stat : 27053 (java) S 27033 27036 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 43485 33554432000 1073741824 1073778376 140734036841392 139936286083880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27055] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27055/stat : 27055 (java) S 27033 27036 22851 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 43485 33554432000 1073741824 1073778376 140734036841392 139936285031080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27062] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27062/stat : 27062 (java) S 27033 27036 22851 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 118876059 10060525568 43485 33554432000 1073741824 1073778376 140734036841392 139935802702312 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27064] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27064/stat : 27064 (java) S 27033 27036 22851 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 43485 33554432000 1073741824 1073778376 140734036841392 139935801648376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27065] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27065/stat : 27065 (java) S 27033 27036 22851 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 43485 33554432000 1073741824 1073778376 140734036841392 139935800595464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27068] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27068/stat : 27068 (java) S 27033 27036 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 43485 33554432000 1073741824 1073778376 140734036841392 139935799543952 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27070] ppid=27033 vsize=9824732 CPUtime=1 cores=1,3,5,7 /proc/27036/task/27070/stat : 27070 (java) R 27033 27036 22851 0 -1 4202560 10435 0 0 0 98 2 0 0 20 0 22 0 118876062 10060525568 43485 33554432000 1073741824 1073778376 140734036841392 139935798492088 139936451258655 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27072] ppid=27033 vsize=9824732 CPUtime=1.03 cores=1,3,5,7 /proc/27036/task/27072/stat : 27072 (java) R 27033 27036 22851 0 -1 4202560 6044 0 0 0 101 2 0 0 20 0 22 0 118876062 10060525568 43485 33554432000 1073741824 1073778376 140734036841392 139935797439168 139936455699324 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=27036/tid=27074] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27074/stat : 27074 (java) S 27033 27036 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 43485 33554432000 1073741824 1073778376 140734036841392 139935796386680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27036/tid=27076] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27076/stat : 27076 (java) S 27033 27036 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 43485 33554432000 1073741824 1073778376 140734036841392 139935795334088 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27085] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27085/stat : 27085 (java) S 27033 27036 22851 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 118876133 10060525568 43485 33554432000 1073741824 1073778376 140734036841392 139935791121192 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.98 Current children cumulated vsize (KiB) 9824732 [startup+3.1009 s] /proc/loadavg: 1.43 1.41 1.75 5/217 27091 /proc/meminfo: memFree=29340448/32872528 swapFree=17536/1464688 [pid=27036] ppid=27033 vsize=9824732 CPUtime=7.44 cores=1,3,5,7 /proc/27036/stat : 27036 (java) S 27033 27036 22851 0 -1 4202496 21617 0 4 0 730 14 0 0 20 0 22 0 118876056 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 140734036832528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27036/statm: 2456183 55165 2288 9 0 2446860 0 [pid=27036/tid=27043] ppid=27033 vsize=9824732 CPUtime=0.7 cores=1,3,5,7 /proc/27036/task/27043/stat : 27043 (java) S 27033 27036 22851 0 -1 4202560 2458 0 4 0 67 3 0 0 20 0 22 0 118876057 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 139936448713592 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27036/tid=27046] ppid=27033 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/27036/task/27046/stat : 27046 (java) S 27033 27036 22851 0 -1 4202560 91 0 0 0 3 0 0 0 20 0 22 0 118876058 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 139936292399656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27047] ppid=27033 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/27036/task/27047/stat : 27047 (java) S 27033 27036 22851 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 118876058 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 139936291346856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27048] ppid=27033 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/27036/task/27048/stat : 27048 (java) S 27033 27036 22851 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 118876058 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 139936290294056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27036/tid=27049] ppid=27033 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/27036/task/27049/stat : 27049 (java) S 27033 27036 22851 0 -1 4202560 115 0 0 0 1 0 0 0 20 0 22 0 118876058 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 139936289241256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27036/tid=27050] ppid=27033 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/27036/task/27050/stat : 27050 (java) S 27033 27036 22851 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 118876058 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 139936288189480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27036/tid=27052] ppid=27033 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/27036/task/27052/stat : 27052 (java) S 27033 27036 22851 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 22 0 118876058 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 139936287136680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27036/tid=27053] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27053/stat : 27053 (java) S 27033 27036 22851 0 -1 4202560 89 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 139936286083880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27055] ppid=27033 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/27036/task/27055/stat : 27055 (java) S 27033 27036 22851 0 -1 4202560 89 0 0 0 3 0 0 0 20 0 22 0 118876058 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 139936285031080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27062] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27062/stat : 27062 (java) S 27033 27036 22851 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 118876059 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 139935802702312 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27036/tid=27064] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27064/stat : 27064 (java) S 27033 27036 22851 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 139935801648376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27065] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27065/stat : 27065 (java) S 27033 27036 22851 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 139935800595464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27068] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27068/stat : 27068 (java) S 27033 27036 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 139935799543952 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27070] ppid=27033 vsize=9824732 CPUtime=1.16 cores=1,3,5,7 /proc/27036/task/27070/stat : 27070 (java) R 27033 27036 22851 0 -1 4202560 11257 0 0 0 114 2 0 0 20 0 22 0 118876062 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 139935798492088 139936455055705 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27072] ppid=27033 vsize=9824732 CPUtime=1.05 cores=1,3,5,7 /proc/27036/task/27072/stat : 27072 (java) S 27033 27036 22851 0 -1 4202560 6044 0 0 0 103 2 0 0 20 0 22 0 118876062 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 139935797439288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27036/tid=27074] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27074/stat : 27074 (java) S 27033 27036 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 139935796386680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27036/tid=27076] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27076/stat : 27076 (java) S 27033 27036 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 139935795334088 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27085] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27085/stat : 27085 (java) S 27033 27036 22851 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 118876133 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 139935791121192 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27036/tid=27089] ppid=27033 vsize=9824732 CPUtime=1.75 cores=1,3,5,7 /proc/27036/task/27089/stat : 27089 (java) R 27033 27036 22851 0 -1 4202560 3 0 0 0 175 0 0 0 20 0 22 0 118876181 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 139935793225016 139936293731181 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=27036/tid=27090] ppid=27033 vsize=9824732 CPUtime=1.73 cores=1,3,5,7 /proc/27036/task/27090/stat : 27090 (java) R 27033 27036 22851 0 -1 4202560 20 0 0 0 173 0 0 0 20 0 22 0 118876181 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 139935794278120 139936293476026 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27091] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27091/stat : 27091 (java) S 27033 27036 22851 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 118876183 10060525568 55165 33554432000 1073741824 1073778376 140734036841392 139935792174504 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 7.44 Current children cumulated vsize (KiB) 9824732 [startup+6.30086 s] /proc/loadavg: 1.43 1.41 1.75 5/217 27091 /proc/meminfo: memFree=29239444/32872528 swapFree=17536/1464688 [pid=27036] ppid=27033 vsize=9824732 CPUtime=14.03 cores=1,3,5,7 /proc/27036/stat : 27036 (java) S 27033 27036 22851 0 -1 4202496 21671 0 4 0 1387 16 0 0 20 0 22 0 118876056 10060525568 78678 33554432000 1073741824 1073778376 140734036841392 140734036832528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27036/statm: 2456183 78678 2292 9 0 2446860 0 [pid=27036/tid=27043] ppid=27033 vsize=9824732 CPUtime=0.7 cores=1,3,5,7 /proc/27036/task/27043/stat : 27043 (java) S 27033 27036 22851 0 -1 4202560 2458 0 4 0 67 3 0 0 20 0 22 0 118876057 10060525568 78678 33554432000 1073741824 1073778376 140734036841392 139936448713592 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27046] ppid=27033 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/27036/task/27046/stat : 27046 (java) S 27033 27036 22851 0 -1 4202560 91 0 0 0 3 0 0 0 20 0 22 0 118876058 10060525568 78678 33554432000 1073741824 1073778376 140734036841392 139936292399656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27047] ppid=27033 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/27036/task/27047/stat : 27047 (java) S 27033 27036 22851 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 118876058 10060525568 78678 33554432000 1073741824 1073778376 140734036841392 139936291346856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27048] ppid=27033 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/27036/task/27048/stat : 27048 (java) S 27033 27036 22851 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 118876058 10060525568 78678 33554432000 1073741824 1073778376 140734036841392 139936290294056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27036/tid=27049] ppid=27033 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/27036/task/27049/stat : 27049 (java) S 27033 27036 22851 0 -1 4202560 115 0 0 0 1 0 0 0 20 0 22 0 118876058 10060525568 78678 33554432000 1073741824 1073778376 140734036841392 139936289241256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27036/tid=27050] ppid=27033 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/27036/task/27050/stat : 27050 (java) S 27033 27036 22851 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 118876058 10060525568 78678 33554432000 1073741824 1073778376 140734036841392 139936288189480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27036/tid=27052] ppid=27033 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/27036/task/27052/stat : 27052 (java) S 27033 27036 22851 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 22 0 118876058 10060525568 78678 33554432000 1073741824 1073778376 140734036841392 139936287136680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27036/tid=27053] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27053/stat : 27053 (java) S 27033 27036 22851 0 -1 4202560 89 0 0 0 0 0 0 0 20 0 22 0 118876058 10060525568 78678 33554432000 1073741824 1073778376 140734036841392 139936286083880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27055] ppid=27033 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/27036/task/27055/stat : 27055 (java) S 27033 27036 22851 0 -1 4202560 89 0 0 0 3 0 0 0 20 0 22 0 118876058 10060525568 78678 33554432000 1073741824 1073778376 140734036841392 139936285031080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27062] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27062/stat : 27062 (java) S 27033 27036 22851 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 118876059 10060525568 78678 33554432000 1073741824 1073778376 140734036841392 139935802702312 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27036/tid=27064] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27064/stat : 27064 (java) S 27033 27036 22851 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 78678 33554432000 1073741824 1073778376 140734036841392 139935801648376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27065] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27065/stat : 27065 (java) S 27033 27036 22851 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 78678 33554432000 1073741824 1073778376 140734036841392 139935800595464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27068] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27068/stat : 27068 (java) S 27033 27036 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 78678 33554432000 1073741824 1073778376 140734036841392 139935799543952 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27070] ppid=27033 vsize=9824732 CPUtime=1.3 cores=1,3,5,7 /proc/27036/task/27070/stat : 27070 (java) S 27033 27036 22851 0 -1 4202560 11261 0 0 0 128 2 0 0 20 0 22 0 118876062 10060525568 78678 33554432000 1073741824 1073778376 140734036841392 139935798492088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27072] ppid=27033 vsize=9824732 CPUtime=1.13 cores=1,3,5,7 /proc/27036/task/27072/stat : 27072 (java) S 27033 27036 22851 0 -1 4202560 6044 0 0 0 111 2 0 0 20 0 22 0 118876062 10060525568 78678 33554432000 1073741824 1073778376 140734036841392 139935797439288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27074] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27074/stat : 27074 (java) S 27033 27036 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 78678 33554432000 1073741824 1073778376 140734036841392 139935796386680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27036/tid=27076] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ /proc/27036/task/27048/stat : 27048 (java) S 27033 27036 22851 0 -1 4202560 210 0 0 0 31 8 0 0 20 0 22 0 118876058 10060525568 317125 33554432000 1073741824 1073778376 140734036841392 139936290294056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27049] ppid=27033 vsize=9824732 CPUtime=0.45 cores=1,3,5,7 /proc/27036/task/27049/stat : 27049 (java) S 27033 27036 22851 0 -1 4202560 342 0 0 0 36 9 0 0 20 0 22 0 118876058 10060525568 317125 33554432000 1073741824 1073778376 140734036841392 139936289241256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27050] ppid=27033 vsize=9824732 CPUtime=0.47 cores=1,3,5,7 /proc/27036/task/27050/stat : 27050 (java) S 27033 27036 22851 0 -1 4202560 214 0 0 0 39 8 0 0 20 0 22 0 118876058 10060525568 317125 33554432000 1073741824 1073778376 140734036841392 139936288189480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27052] ppid=27033 vsize=9824732 CPUtime=0.49 cores=1,3,5,7 /proc/27036/task/27052/stat : 27052 (java) S 27033 27036 22851 0 -1 4202560 207 0 0 0 41 8 0 0 20 0 22 0 118876058 10060525568 317125 33554432000 1073741824 1073778376 140734036841392 139936287136680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27036/tid=27053] ppid=27033 vsize=9824732 CPUtime=0.43 cores=1,3,5,7 /proc/27036/task/27053/stat : 27053 (java) S 27033 27036 22851 0 -1 4202560 314 0 0 0 34 9 0 0 20 0 22 0 118876058 10060525568 317125 33554432000 1073741824 1073778376 140734036841392 139936286083880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27036/tid=27055] ppid=27033 vsize=9824732 CPUtime=0.43 cores=1,3,5,7 /proc/27036/task/27055/stat : 27055 (java) S 27033 27036 22851 0 -1 4202560 372 0 0 0 35 8 0 0 20 0 22 0 118876058 10060525568 317125 33554432000 1073741824 1073778376 140734036841392 139936285031080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27062] ppid=27033 vsize=9824732 CPUtime=0.55 cores=1,3,5,7 /proc/27036/task/27062/stat : 27062 (java) S 27033 27036 22851 0 -1 4202560 604 0 0 0 53 2 0 0 20 0 22 0 118876059 10060525568 317125 33554432000 1073741824 1073778376 140734036841392 139935802702312 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27036/tid=27064] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27064/stat : 27064 (java) S 27033 27036 22851 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 317125 33554432000 1073741824 1073778376 140734036841392 139935801648376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27065] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27065/stat : 27065 (java) S 27033 27036 22851 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 317125 33554432000 1073741824 1073778376 140734036841392 139935800595464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27068] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27068/stat : 27068 (java) S 27033 27036 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 317125 33554432000 1073741824 1073778376 140734036841392 139935799543952 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27070] ppid=27033 vsize=9824732 CPUtime=1.33 cores=1,3,5,7 /proc/27036/task/27070/stat : 27070 (java) S 27033 27036 22851 0 -1 4202560 11261 0 0 0 131 2 0 0 20 0 22 0 118876062 10060525568 317125 33554432000 1073741824 1073778376 140734036841392 139935798492088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27072] ppid=27033 vsize=9824732 CPUtime=1.33 cores=1,3,5,7 /proc/27036/task/27072/stat : 27072 (java) S 27033 27036 22851 0 -1 4202560 6442 0 0 0 131 2 0 0 20 0 22 0 118876062 10060525568 317125 33554432000 1073741824 1073778376 140734036841392 139935797439288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27074] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27074/stat : 27074 (java) S 27033 27036 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 317125 33554432000 1073741824 1073778376 140734036841392 139935796386680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27036/tid=27076] ppid=27033 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/27036/task/27076/stat : 27076 (java) S 27033 27036 22851 0 -1 4202560 47 0 0 0 7 10 0 0 20 0 22 0 118876062 10060525568 317125 33554432000 1073741824 1073778376 140734036841392 139935795334088 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27085] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27085/stat : 27085 (java) S 27033 27036 22851 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 118876133 10060525568 317125 33554432000 1073741824 1073778376 140734036841392 139935791121192 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27036/tid=27089] ppid=27033 vsize=9824732 CPUtime=817.18 cores=1,3,5,7 /proc/27036/task/27089/stat : 27089 (java) R 27033 27036 22851 0 -1 4202560 37 0 0 0 81705 13 0 0 20 0 22 0 118876181 10060525568 317125 33554432000 1073741824 1073778376 140734036841392 139935793218064 139936293323451 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27090] ppid=27033 vsize=9824732 CPUtime=817.29 cores=1,3,5,7 /proc/27036/task/27090/stat : 27090 (java) R 27033 27036 22851 0 -1 4202560 1044 0 0 0 81705 24 0 0 20 0 22 0 118876181 10060525568 317125 33554432000 1073741824 1073778376 140734036841392 139935794277952 139936293473535 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27091] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27091/stat : 27091 (java) S 27033 27036 22851 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 118876183 10060525568 317125 33554432000 1073741824 1073778376 140734036841392 139935792174504 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1647.01 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.17 4.06 3.22 5/217 27111 /proc/meminfo: memFree=26931552/32872528 swapFree=17536/1464688 [pid=27036] ppid=27033 vsize=9824732 CPUtime=1767.08 cores=1,3,5,7 /proc/27036/stat : 27036 (java) S 27033 27036 22851 0 -1 4202496 25476 0 4 0 176607 101 0 0 20 0 22 0 118876056 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 140734036832528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27036/statm: 2456183 315174 2301 9 0 2446860 0 [pid=27036/tid=27043] ppid=27033 vsize=9824732 CPUtime=0.72 cores=1,3,5,7 /proc/27036/task/27043/stat : 27043 (java) S 27033 27036 22851 0 -1 4202560 2461 0 4 0 69 3 0 0 20 0 22 0 118876057 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139936448713592 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27046] ppid=27033 vsize=9824732 CPUtime=0.43 cores=1,3,5,7 /proc/27036/task/27046/stat : 27046 (java) S 27033 27036 22851 0 -1 4202560 278 0 0 0 36 7 0 0 20 0 22 0 118876058 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139936292399656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27047] ppid=27033 vsize=9824732 CPUtime=0.43 cores=1,3,5,7 /proc/27036/task/27047/stat : 27047 (java) S 27033 27036 22851 0 -1 4202560 217 0 0 0 36 7 0 0 20 0 22 0 118876058 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139936291346856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27048] ppid=27033 vsize=9824732 CPUtime=0.41 cores=1,3,5,7 /proc/27036/task/27048/stat : 27048 (java) S 27033 27036 22851 0 -1 4202560 269 0 0 0 33 8 0 0 20 0 22 0 118876058 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139936290294056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27049] ppid=27033 vsize=9824732 CPUtime=0.47 cores=1,3,5,7 /proc/27036/task/27049/stat : 27049 (java) S 27033 27036 22851 0 -1 4202560 345 0 0 0 38 9 0 0 20 0 22 0 118876058 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139936289241256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27050] ppid=27033 vsize=9824732 CPUtime=0.49 cores=1,3,5,7 /proc/27036/task/27050/stat : 27050 (java) S 27033 27036 22851 0 -1 4202560 225 0 0 0 41 8 0 0 20 0 22 0 118876058 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139936288189480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27052] ppid=27033 vsize=9824732 CPUtime=0.51 cores=1,3,5,7 /proc/27036/task/27052/stat : 27052 (java) S 27033 27036 22851 0 -1 4202560 216 0 0 0 43 8 0 0 20 0 22 0 118876058 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139936287136680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27036/tid=27053] ppid=27033 vsize=9824732 CPUtime=0.44 cores=1,3,5,7 /proc/27036/task/27053/stat : 27053 (java) S 27033 27036 22851 0 -1 4202560 324 0 0 0 35 9 0 0 20 0 22 0 118876058 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139936286083880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27036/tid=27055] ppid=27033 vsize=9824732 CPUtime=0.45 cores=1,3,5,7 /proc/27036/task/27055/stat : 27055 (java) S 27033 27036 22851 0 -1 4202560 375 0 0 0 37 8 0 0 20 0 22 0 118876058 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139936285031080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27062] ppid=27033 vsize=9824732 CPUtime=0.55 cores=1,3,5,7 /proc/27036/task/27062/stat : 27062 (java) S 27033 27036 22851 0 -1 4202560 606 0 0 0 53 2 0 0 20 0 22 0 118876059 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935802702312 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27064] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27064/stat : 27064 (java) S 27033 27036 22851 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935801648376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27065] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27065/stat : 27065 (java) S 27033 27036 22851 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935800595464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27068] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27068/stat : 27068 (java) S 27033 27036 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935799543952 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27070] ppid=27033 vsize=9824732 CPUtime=1.33 cores=1,3,5,7 /proc/27036/task/27070/stat : 27070 (java) S 27033 27036 22851 0 -1 4202560 11261 0 0 0 131 2 0 0 20 0 22 0 118876062 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935798492088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27072] ppid=27033 vsize=9824732 CPUtime=1.33 cores=1,3,5,7 /proc/27036/task/27072/stat : 27072 (java) S 27033 27036 22851 0 -1 4202560 6442 0 0 0 131 2 0 0 20 0 22 0 118876062 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935797439288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27074] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27074/stat : 27074 (java) S 27033 27036 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935796386680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27036/tid=27076] ppid=27033 vsize=9824732 CPUtime=0.19 cores=1,3,5,7 /proc/27036/task/27076/stat : 27076 (java) S 27033 27036 22851 0 -1 4202560 51 0 0 0 8 11 0 0 20 0 22 0 118876062 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935795334088 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27085] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27085/stat : 27085 (java) S 27033 27036 22851 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 118876133 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935791121192 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27036/tid=27089] ppid=27033 vsize=9824732 CPUtime=876.98 cores=1,3,5,7 /proc/27036/task/27089/stat : 27089 (java) R 27033 27036 22851 0 -1 4202560 37 0 0 0 87684 14 0 0 20 0 22 0 118876181 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935793218064 139936293731226 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27090] ppid=27033 vsize=9824732 CPUtime=877.09 cores=1,3,5,7 /proc/27036/task/27090/stat : 27090 (java) R 27033 27036 22851 0 -1 4202560 1045 0 0 0 87683 26 0 0 20 0 22 0 118876181 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935794277136 139936293472931 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27091] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27091/stat : 27091 (java) S 27033 27036 22851 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 118876183 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935792174504 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1767.08 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+898.807 s] /proc/loadavg: 4.20 4.07 3.24 5/193 27139 /proc/meminfo: memFree=28453452/32872528 swapFree=17536/1464688 [pid=27036] ppid=27033 vsize=9824732 CPUtime=1800.06 cores=1,3,5,7 /proc/27036/stat : 27036 (java) S 27033 27036 22851 0 -1 4202496 25478 0 4 0 179905 101 0 0 20 0 22 0 118876056 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 140734036832528 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/27036/statm: 2456183 315174 2301 9 0 2446860 0 [pid=27036/tid=27043] ppid=27033 vsize=9824732 CPUtime=0.73 cores=1,3,5,7 /proc/27036/task/27043/stat : 27043 (java) S 27033 27036 22851 0 -1 4202560 2461 0 4 0 70 3 0 0 20 0 22 0 118876057 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139936448713592 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27046] ppid=27033 vsize=9824732 CPUtime=0.43 cores=1,3,5,7 /proc/27036/task/27046/stat : 27046 (java) S 27033 27036 22851 0 -1 4202560 278 0 0 0 36 7 0 0 20 0 22 0 118876058 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139936292399656 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27047] ppid=27033 vsize=9824732 CPUtime=0.43 cores=1,3,5,7 /proc/27036/task/27047/stat : 27047 (java) S 27033 27036 22851 0 -1 4202560 217 0 0 0 36 7 0 0 20 0 22 0 118876058 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139936291346856 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27048] ppid=27033 vsize=9824732 CPUtime=0.41 cores=1,3,5,7 /proc/27036/task/27048/stat : 27048 (java) S 27033 27036 22851 0 -1 4202560 269 0 0 0 33 8 0 0 20 0 22 0 118876058 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139936290294056 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27049] ppid=27033 vsize=9824732 CPUtime=0.47 cores=1,3,5,7 /proc/27036/task/27049/stat : 27049 (java) S 27033 27036 22851 0 -1 4202560 345 0 0 0 38 9 0 0 20 0 22 0 118876058 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139936289241256 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27050] ppid=27033 vsize=9824732 CPUtime=0.49 cores=1,3,5,7 /proc/27036/task/27050/stat : 27050 (java) S 27033 27036 22851 0 -1 4202560 225 0 0 0 41 8 0 0 20 0 22 0 118876058 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139936288189480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27052] ppid=27033 vsize=9824732 CPUtime=0.51 cores=1,3,5,7 /proc/27036/task/27052/stat : 27052 (java) S 27033 27036 22851 0 -1 4202560 216 0 0 0 43 8 0 0 20 0 22 0 118876058 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139936287136680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27036/tid=27053] ppid=27033 vsize=9824732 CPUtime=0.44 cores=1,3,5,7 /proc/27036/task/27053/stat : 27053 (java) S 27033 27036 22851 0 -1 4202560 324 0 0 0 35 9 0 0 20 0 22 0 118876058 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139936286083880 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27036/tid=27055] ppid=27033 vsize=9824732 CPUtime=0.45 cores=1,3,5,7 /proc/27036/task/27055/stat : 27055 (java) S 27033 27036 22851 0 -1 4202560 375 0 0 0 37 8 0 0 20 0 22 0 118876058 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139936285031080 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27062] ppid=27033 vsize=9824732 CPUtime=0.55 cores=1,3,5,7 /proc/27036/task/27062/stat : 27062 (java) S 27033 27036 22851 0 -1 4202560 606 0 0 0 53 2 0 0 20 0 22 0 118876059 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935802702312 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27064] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27064/stat : 27064 (java) S 27033 27036 22851 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935801648376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27065] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27065/stat : 27065 (java) S 27033 27036 22851 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 118876060 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935800595464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27068] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27068/stat : 27068 (java) S 27033 27036 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935799543952 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27070] ppid=27033 vsize=9824732 CPUtime=1.33 cores=1,3,5,7 /proc/27036/task/27070/stat : 27070 (java) S 27033 27036 22851 0 -1 4202560 11261 0 0 0 131 2 0 0 20 0 22 0 118876062 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935798492088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27072] ppid=27033 vsize=9824732 CPUtime=1.33 cores=1,3,5,7 /proc/27036/task/27072/stat : 27072 (java) S 27033 27036 22851 0 -1 4202560 6442 0 0 0 131 2 0 0 20 0 22 0 118876062 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935797439288 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27074] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27074/stat : 27074 (java) S 27033 27036 22851 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 118876062 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935796386680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27036/tid=27076] ppid=27033 vsize=9824732 CPUtime=0.19 cores=1,3,5,7 /proc/27036/task/27076/stat : 27076 (java) S 27033 27036 22851 0 -1 4202560 53 0 0 0 8 11 0 0 20 0 22 0 118876062 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935795334088 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27036/tid=27085] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27085/stat : 27085 (java) S 27033 27036 22851 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 118876133 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935791121192 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27036/tid=27089] ppid=27033 vsize=9824732 CPUtime=893.43 cores=1,3,5,7 /proc/27036/task/27089/stat : 27089 (java) R 27033 27036 22851 0 -1 4202560 37 0 0 0 89329 14 0 0 20 0 22 0 118876181 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935793218064 139936293544838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=27036/tid=27090] ppid=27033 vsize=9824732 CPUtime=893.54 cores=1,3,5,7 /proc/27036/task/27090/stat : 27090 (java) R 27033 27036 22851 0 -1 4202560 1045 0 0 0 89328 26 0 0 20 0 22 0 118876181 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935794277136 139936293473019 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=27036/tid=27091] ppid=27033 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/27036/task/27091/stat : 27091 (java) S 27033 27036 22851 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 118876183 10060525568 315174 33554432000 1073741824 1073778376 140734036841392 139935792174504 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 27036 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 27036 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=509193 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=431782 # CPU time returned by wait4() is 1795.94 # while last known CPU time is 1800.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 898.866 CPU time (s): 1800.06 CPU user time (s): 1799.05 CPU system time (s): 1.01 CPU usage (%): 200.259 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.51 system time used= 1.43178 maximum resident set size= 1485052 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25517 page faults= 4 swaps= 0 block input operations= 216 block output operations= 712 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 21676 involuntary context switches= 18212 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.95309 second user time and 6.30404 second system time The end
Begin job on node121 at 2016-06-08 09:03:50 IDJOB=4080928 IDBENCH=92749 IDSOLVER=2543 FILE ID=node121/4080928-1465369430 RUNJOBID= node121-1465369430-27013 PBS_JOBID= 19853394 Free space on /tmp= 71732 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_2.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080928-1465369430/watcher-4080928-1465369430 -o /tmp/evaluation-result-4080928-1465369430/solver-4080928-1465369430 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465369430-27013 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080928-1465369430.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1172ec321506151f46656b695a5e98c9 RANDOM SEED=300931738 node121.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 : 2667.050 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 : 5334.10 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 : 2667.050 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 : 2667.050 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.57 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 : 2667.050 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 : 2667.050 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.050 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.56 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 : 2667.050 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.050 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: 29710584 kB Buffers: 175576 kB Cached: 774544 kB SwapCached: 1672 kB Active: 442772 kB Inactive: 510464 kB Active(anon): 3156 kB Inactive(anon): 2736 kB Active(file): 439616 kB Inactive(file): 507728 kB Unevictable: 1464688 kB Mlocked: 17536 kB SwapTotal: 67108856 kB SwapFree: 67099348 kB Dirty: 1524 kB Writeback: 8 kB AnonPages: 1474396 kB Mapped: 7020 kB Shmem: 0 kB Slab: 607972 kB SReclaimable: 52448 kB SUnreclaim: 555524 kB KernelStack: 1368 kB PageTables: 6348 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1553780 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1456128 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= 71728 MiB End job on node121 at 2016-06-08 09:18:49