Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 4072923 | 1800.13 | 894.257 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_9.opb |
| MD5SUM | 9dfe9f707e4bec0ff7b60653d14cbd16 |
| 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 | 4072923 |
| Best CPU time to get the best result obtained on this benchmark | 1800.13 |
| 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 | 126506008 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 91840906354 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 126506008 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 91840906354 |
| 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.09/0.10 c version PB16.v20160501 0.09/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.09/0.10 c java.vm.version 19.1-b02 0.09/0.10 c java.vm.vendor Sun Microsystems Inc. 0.09/0.10 c sun.arch.data.model 64 0.09/0.10 c java.version 1.6.0_24 0.09/0.10 c os.name Linux 0.09/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.09/0.10 c os.arch amd64 0.09/0.10 c Free memory 501472288 0.09/0.10 c Max memory 7480803328 0.09/0.10 c Total memory 504102912 0.09/0.10 c Number of processors 16 0.09/0.13 c Pseudo Boolean Optimization by upper bound 0.09/0.13 c ManyCore solver with 2 solvers running in parallel 0.09/0.13 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.13 c --- Begin Solver configuration --- 0.09/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38c5c3ac 0.09/0.13 c Learn all clauses as in MiniSAT 0.09/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.13 c Expensive reason simplification 0.09/0.13 c Glucose 2.1 dynamic restart strategy 0.09/0.13 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.13 c timeout=2147483s 0.09/0.13 c DB Simplification allowed=false 0.09/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@558385e3 0.09/0.13 c --- End Solver configuration --- 0.09/0.13 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.13 c --- Begin Solver configuration --- 0.09/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@2dcb25f1 0.09/0.13 c Learn all clauses as in MiniSAT 0.09/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.13 c No reason simplification 0.09/0.13 c Armin Biere (Picosat) restarts strategy 0.09/0.13 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.13 c timeout=2147483s 0.09/0.13 c DB Simplification allowed=false 0.09/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@558385e3 0.09/0.13 c --- End Solver configuration --- 0.09/0.13 c solving HOME/instance-4080935-1465356035.opb 0.09/0.13 c reading problem ... 0.09/0.13 c objective function found 1.64/0.71 c ... done. Wall clock time 0.584s. 1.64/0.71 c declared #vars 9940 1.64/0.71 c #constraints 24512 1.64/0.72 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.64/0.72 c constraints type 1.64/0.72 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1.64/0.72 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.64/0.72 c org.sat4j.specs.Constr$1 => 2 1.64/0.72 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.64/0.72 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1.64/0.72 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625 1.64/0.72 c 24512 constraints processed. 1.64/0.72 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.64/0.72 c constraints type 1.64/0.72 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19390 1.64/0.72 c org.sat4j.specs.Constr$1 => 2 1.64/0.72 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2486 1.64/0.72 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1.64/0.72 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 1.64/0.72 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2625 1.64/0.72 c 24512 constraints processed. 1.64/0.72 c objective function length is 9730 literals 2.79/1.01 c And the winner is solver0 2.88/1.23 c SATISFIABLE 2.88/1.23 c OPTIMIZING... 2.88/1.23 c Got one! Elapsed wall clock time (in seconds):1.098 2.88/1.23 o 4081443 7.12/2.97 c And the winner is solver1 7.29/3.26 c Got one! Elapsed wall clock time (in seconds):3.131 7.29/3.26 o 4072923 10.04/4.56 c cleaning 2637 clauses out of 5273 with flag 4425/5273 17.51/8.24 c cleaning 4318 clauses out of 8636 with flag 17856/11273 24.51/11.76 c cleaning 5659 clauses out of 11318 with flag 32948/18273 31.72/15.36 c cleaning 6830 clauses out of 13660 with flag 49378/26274 39.72/19.14 c cleaning 7915 clauses out of 15829 with flag 67914/35273 48.45/23.45 c cleaning 8956 clauses out of 17915 with flag 88478/45274 58.87/28.66 c cleaning 9980 clauses out of 19959 with flag 111044/56274 70.64/34.36 c cleaning 10986 clauses out of 21980 with flag 135524/68275 83.05/40.58 c cleaning 11995 clauses out of 23992 with flag 162162/81273 97.47/47.73 c cleaning 12997 clauses out of 25997 with flag 191041/95273 112.87/55.41 c cleaning 13998 clauses out of 28000 with flag 222081/110273 128.87/63.40 c cleaning 14995 clauses out of 30004 with flag 254774/126275 148.10/72.79 c cleaning 15998 clauses out of 32008 with flag 289516/143274 167.48/82.44 c cleaning 17004 clauses out of 34011 with flag 326256/161275 189.29/93.30 c cleaning 17999 clauses out of 36005 with flag 365011/180273 212.49/104.98 c cleaning 18997 clauses out of 38006 with flag 406040/200273 234.60/115.74 c cleaning 20005 clauses out of 40009 with flag 448687/221273 258.00/127.45 c cleaning 20998 clauses out of 42004 with flag 493209/243273 283.80/140.40 c cleaning 21998 clauses out of 44006 with flag 540139/266273 311.46/153.94 c cleaning 23003 clauses out of 46008 with flag 588830/290273 340.09/168.22 c cleaning 24001 clauses out of 48006 with flag 639597/315274 371.51/183.91 c cleaning 24996 clauses out of 50004 with flag 692216/341273 403.65/199.45 c cleaning 26002 clauses out of 52009 with flag 746604/368274 441.12/217.93 c cleaning 27001 clauses out of 54006 with flag 803065/396273 477.42/236.08 c cleaning 28001 clauses out of 56005 with flag 861645/425273 513.96/254.14 c cleaning 29000 clauses out of 58004 with flag 922830/455273 549.21/271.60 c cleaning 30000 clauses out of 60004 with flag 986159/486273 585.55/289.74 c cleaning 30999 clauses out of 62005 with flag 1051058/518274 628.45/311.05 c cleaning 32003 clauses out of 64005 with flag 1117868/551273 668.85/330.97 c cleaning 33001 clauses out of 66002 with flag 1187173/585273 716.61/354.61 c cleaning 34001 clauses out of 68002 with flag 1257715/620274 752.80/372.77 c cleaning 34998 clauses out of 70001 with flag 1330206/656274 799.35/395.90 c cleaning 35994 clauses out of 72002 with flag 1405310/693273 843.74/417.92 c cleaning 37002 clauses out of 74010 with flag 1481896/731275 888.91/440.40 c cleaning 37999 clauses out of 76006 with flag 1560285/770273 934.13/463.06 c cleaning 39003 clauses out of 78008 with flag 1641513/810274 985.07/488.81 c cleaning 39998 clauses out of 80004 with flag 1724904/851273 1037.23/514.87 c cleaning 41000 clauses out of 82007 with flag 1810240/893274 1101.52/546.58 c cleaning 42001 clauses out of 84007 with flag 1898203/936274 1155.64/573.53 c cleaning 43003 clauses out of 86007 with flag 1987923/980275 1213.23/602.25 c cleaning 44000 clauses out of 88003 with flag 2079330/1025274 1272.06/631.42 c cleaning 45000 clauses out of 90004 with flag 2172636/1071275 1332.60/661.60 c cleaning 45996 clauses out of 92002 with flag 2267312/1118273 1395.99/693.24 c cleaning 46996 clauses out of 94006 with flag 2364495/1166273 1459.91/725.03 c cleaning 48002 clauses out of 96011 with flag 2463716/1215274 1525.92/757.81 c cleaning 49002 clauses out of 98010 with flag 2564952/1265275 1590.20/789.88 c cleaning 49997 clauses out of 100006 with flag 2667630/1316273 1663.16/825.63 c cleaning 50999 clauses out of 102010 with flag 2772941/1368274 1728.15/858.44 c cleaning 51999 clauses out of 104010 with flag 2881579/1421273 1798.73/893.51 c cleaning 53002 clauses out of 106011 with flag 2992396/1475273 1800.13/894.20 c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<< 1800.13/894.20 c starts : 228 1800.13/894.20 c conflicts : 1476486 1800.13/894.20 c decisions : 1594064 1800.13/894.20 c propagations : 31738479 1800.13/894.20 c inspects : 6231674337 1800.13/894.20 c shortcuts : 0 1800.13/894.20 c learnt literals : 0 1800.13/894.20 c learnt binary clauses : 0 1800.13/894.20 c learnt ternary clauses : 0 1800.13/894.20 c learnt constraints : 1476486 1800.13/894.20 c ignored constraints : 0 1800.13/894.20 c root simplifications : 0 1800.13/894.20 c removed literals (reason simplification) : 201210614 1800.13/894.20 c reason swapping (by a shorter reason) : 0 1800.13/894.20 c Calls to reduceDB : 50 1800.13/894.20 c Number of update (reduction) of LBD : 24044 1800.13/894.20 c Imported unit clauses : 0 1800.13/894.20 c number of reductions to clauses (during analyze) : 0 1800.13/894.20 c number of learned constraints concerned by reduction : 0 1800.13/894.20 c number of learning phase by resolution : 0 1800.13/894.20 c number of learning phase by cutting planes : 0 1800.13/894.20 c speed (assignments/second) : 35625.22687756974 1800.13/894.20 c non guided choices 6 1800.13/894.23 c learnt constraints type 1800.13/894.23 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 54223 1800.13/894.23 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 1800.13/894.23 c starts : 3 1800.13/894.23 c conflicts : 664 1800.13/894.23 c decisions : 139478 1800.13/894.23 c propagations : 1226714 1800.13/894.23 c inspects : 29780205 1800.13/894.23 c shortcuts : 0 1800.13/894.23 c learnt literals : 0 1800.13/894.23 c learnt binary clauses : 0 1800.13/894.23 c learnt ternary clauses : 0 1800.13/894.23 c learnt constraints : 663 1800.13/894.23 c ignored constraints : 0 1800.13/894.23 c root simplifications : 0 1800.13/894.23 c removed literals (reason simplification) : 0 1800.13/894.23 c reason swapping (by a shorter reason) : 0 1800.13/894.23 c Calls to reduceDB : 0 1800.13/894.23 c Number of update (reduction) of LBD : 0 1800.13/894.23 c Imported unit clauses : 0 1800.13/894.23 c number of reductions to clauses (during analyze) : 0 1800.13/894.23 c number of learned constraints concerned by reduction : 0 1800.13/894.23 c number of learning phase by resolution : 0 1800.13/894.23 c number of learning phase by cutting planes : 0 1800.13/894.23 c speed (assignments/second) : 1373.7521921327352 1800.13/894.23 c non guided choices 0 1800.13/894.23 c learnt constraints type 1800.13/894.23 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1800.13/894.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 661 1800.13/894.23 s SATISFIABLE 1800.13/894.23 c Found 2 solution(s) 1800.13/894.24 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.13/894.25 c objective function=4072923 1800.13/894.25 c Total wall clock time (in seconds): 894.121
OK 4072923
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-4080935-1465356035/watcher-4080935-1465356035 -o /tmp/evaluation-result-4080935-1465356035/solver-4080935-1465356035 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465339282-20066 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080935-1465356035.opb pid=24827 running on 8 cores: 0-3,8-11 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.04 4.03 3.98 4/285 24830 /proc/meminfo: memFree=30367504/32872528 swapFree=9196/9196 [pid=24830] ppid=24827 vsize=91816 CPUtime=0 cores=0-3,8-11 /proc/24830/stat : 24830 (java) S 24827 24830 20050 0 -1 4202496 1282 0 0 0 0 0 0 0 20 0 2 0 117445476 94019584 916 33554432000 1073741824 1073778376 140735958204000 140735958195136 216811995197 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24830/statm: 22954 916 697 9 0 16769 0 [pid=24830/tid=24831] ppid=24827 vsize=91816 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24831/stat : 24831 (java) D 24827 24830 20050 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 117445477 94019584 916 33554432000 1073741824 1073778376 140735958204000 140442982493736 216799472935 0 0 4096 0 18446744072100764964 0 0 -1 2 0 0 0 0 0 [startup+0.100063 s] /proc/loadavg: 4.04 4.03 3.98 4/285 24830 /proc/meminfo: memFree=30367504/32872528 swapFree=9196/9196 [pid=24830] ppid=24827 vsize=9896436 CPUtime=0.09 cores=0-3,8-11 /proc/24830/stat : 24830 (java) S 24827 24830 20050 0 -1 4202496 4434 0 1 0 8 1 0 0 20 0 23 0 117445476 10133950464 5558 33554432000 1073741824 1073778376 140735958204000 140735958195136 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24830/statm: 2474109 5558 2125 9 0 2464786 0 [pid=24830/tid=24831] ppid=24827 vsize=9896436 CPUtime=0.06 cores=0-3,8-11 /proc/24830/task/24831/stat : 24831 (java) R 24827 24830 20050 0 -1 4202560 2409 0 1 0 6 0 0 0 20 0 23 0 117445477 10133950464 5560 33554432000 1073741824 1073778376 140735958204000 140442982496576 216808304747 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9896436 [startup+0.200265 s] /proc/loadavg: 4.04 4.03 3.98 4/285 24830 /proc/meminfo: memFree=30367504/32872528 swapFree=9196/9196 [pid=24830] ppid=24827 vsize=9896436 CPUtime=0.29 cores=0-3,8-11 /proc/24830/stat : 24830 (java) S 24827 24830 20050 0 -1 4202496 5098 0 1 0 28 1 0 0 20 0 23 0 117445476 10133950464 7062 33554432000 1073741824 1073778376 140735958204000 140735958195136 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24830/statm: 2474109 7062 2220 9 0 2464786 0 [pid=24830/tid=24831] ppid=24827 vsize=9896436 CPUtime=0.16 cores=0-3,8-11 /proc/24830/task/24831/stat : 24831 (java) R 24827 24830 20050 0 -1 4202560 2440 0 1 0 16 0 0 0 20 0 23 0 117445477 10133950464 7062 33554432000 1073741824 1073778376 140735958204000 140442982481112 140442830369900 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9896436 [startup+0.300272 s] /proc/loadavg: 4.04 4.03 3.98 4/285 24830 /proc/meminfo: memFree=30367504/32872528 swapFree=9196/9196 [pid=24830] ppid=24827 vsize=9896436 CPUtime=0.48 cores=0-3,8-11 /proc/24830/stat : 24830 (java) S 24827 24830 20050 0 -1 4202496 5481 0 1 0 47 1 0 0 20 0 23 0 117445476 10133950464 9759 33554432000 1073741824 1073778376 140735958204000 140735958195136 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24830/statm: 2474109 9759 2235 9 0 2464786 0 [pid=24830/tid=24831] ppid=24827 vsize=9896436 CPUtime=0.26 cores=0-3,8-11 /proc/24830/task/24831/stat : 24831 (java) R 24827 24830 20050 0 -1 4202560 2449 0 1 0 26 0 0 0 20 0 23 0 117445477 10133950464 9759 33554432000 1073741824 1073778376 140735958204000 140442982481112 140442830187856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 9896436 [startup+0.700224 s] /proc/loadavg: 4.04 4.03 3.98 4/285 24830 /proc/meminfo: memFree=30367504/32872528 swapFree=9196/9196 [pid=24830] ppid=24827 vsize=9896436 CPUtime=1.64 cores=0-3,8-11 /proc/24830/stat : 24830 (java) S 24827 24830 20050 0 -1 4202496 17801 0 1 0 160 4 0 0 20 0 23 0 117445476 10133950464 30834 33554432000 1073741824 1073778376 140735958204000 140735958195136 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24830/statm: 2474109 30834 2248 9 0 2464786 0 [pid=24830/tid=24831] ppid=24827 vsize=9896436 CPUtime=0.66 cores=0-3,8-11 /proc/24830/task/24831/stat : 24831 (java) R 24827 24830 20050 0 -1 4202560 2480 0 1 0 64 2 0 0 20 0 23 0 117445477 10133950464 30834 33554432000 1073741824 1073778376 140735958204000 140442982481112 140442830644478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.64 Current children cumulated vsize (KiB) 9896436 [startup+1.50138 s] /proc/loadavg: 4.11 4.04 3.98 3/309 24857 /proc/meminfo: memFree=30222824/32872528 swapFree=9196/9196 [pid=24830] ppid=24827 vsize=10162692 CPUtime=3.92 cores=0-3,8-11 /proc/24830/stat : 24830 (java) S 24827 24830 20050 0 -1 4202496 22531 0 1 0 384 8 0 0 20 0 27 0 117445476 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140735958195136 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24830/statm: 2540673 41910 2270 9 0 2531350 0 [pid=24830/tid=24831] ppid=24827 vsize=10162692 CPUtime=0.72 cores=0-3,8-11 /proc/24830/task/24831/stat : 24831 (java) S 24827 24830 20050 0 -1 4202560 2501 0 1 0 69 3 0 0 20 0 27 0 117445477 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442982499192 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24830/tid=24833] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24833/stat : 24833 (java) S 24827 24830 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117445478 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442954950952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=24830/tid=24834] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24834/stat : 24834 (java) S 24827 24830 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117445478 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442953898152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24830/tid=24835] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24835/stat : 24835 (java) S 24827 24830 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117445478 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442952845864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24830/tid=24836] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24836/stat : 24836 (java) S 24827 24830 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117445478 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442951793064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24830/tid=24837] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24837/stat : 24837 (java) S 24827 24830 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117445478 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442950740776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24830/tid=24838] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24838/stat : 24838 (java) S 24827 24830 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117445478 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442949687976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24830/tid=24839] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24839/stat : 24839 (java) S 24827 24830 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117445478 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442948635688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24830/tid=24840] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24840/stat : 24840 (java) S 24827 24830 20050 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 117445478 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442819144616 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=24830/tid=24841] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24841/stat : 24841 (java) S 24827 24830 20050 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 117445478 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442818091304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=24830/tid=24842] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24842/stat : 24842 (java) S 24827 24830 20050 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 117445478 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442817038504 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=24830/tid=24843] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24843/stat : 24843 (java) S 24827 24830 20050 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 117445478 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442815986216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=24830/tid=24844] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24844/stat : 24844 (java) S 24827 24830 20050 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 117445478 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442814933416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24830/tid=24845] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24845/stat : 24845 (java) S 24827 24830 20050 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 117445478 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442343566120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24830/tid=24846] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24846/stat : 24846 (java) S 24827 24830 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 117445479 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442326104680 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=24830/tid=24847] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24847/stat : 24847 (java) S 24827 24830 20050 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 27 0 117445479 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442325051256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=24830/tid=24848] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24848/stat : 24848 (java) S 24827 24830 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 117445479 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442323998344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=24830/tid=24849] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24849/stat : 24849 (java) S 24827 24830 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117445482 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442322946320 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=24830/tid=24850] ppid=24827 vsize=10162692 CPUtime=1.04 cores=0-3,8-11 /proc/24830/task/24850/stat : 24850 (java) R 24827 24830 20050 0 -1 4202560 11356 0 0 0 103 1 0 0 20 0 27 0 117445482 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442321880960 140442986616236 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=24830/tid=24851] ppid=24827 vsize=10162692 CPUtime=1.03 cores=0-3,8-11 /proc/24830/task/24851/stat : 24851 (java) R 24827 24830 20050 0 -1 4202560 7316 0 0 0 101 2 0 0 20 0 27 0 117445482 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442320841144 140442988526476 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=24830/tid=24852] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24852/stat : 24852 (java) S 24827 24830 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117445482 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442319788536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=24830/tid=24853] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24853/stat : 24853 (java) S 24827 24830 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117445482 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442318736456 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24830/tid=24856] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24856/stat : 24856 (java) S 24827 24830 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 117445552 10406596608 41910 33554432000 1073741824 1073778376 140735958204000 140442315576872 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 Current children cumulated CPU time (s) 3.92 Current children cumulated vsize (KiB) 10162692 [startup+3.10103 s] /proc/loadavg: 4.11 4.04 3.98 5/312 24860 /proc/meminfo: memFree=30172920/32872528 swapFree=9196/9196 [pid=24830] ppid=24827 vsize=10162692 CPUtime=7.29 cores=0-3,8-11 /proc/24830/stat : 24830 (java) S 24827 24830 20050 0 -1 4202496 23121 0 1 0 712 17 0 0 20 0 24 0 117445476 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140735958195136 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24830/statm: 2540673 47793 2287 9 0 2531350 0 [pid=24830/tid=24831] ppid=24827 vsize=10162692 CPUtime=0.72 cores=0-3,8-11 /proc/24830/task/24831/stat : 24831 (java) S 24827 24830 20050 0 -1 4202560 2501 0 1 0 69 3 0 0 20 0 24 0 117445477 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442982499192 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24830/tid=24833] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24833/stat : 24833 (java) S 24827 24830 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 117445478 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442954950952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=24830/tid=24834] ppid=24827 vsize=10162692 CPUtime=0.01 cores=0-3,8-11 /proc/24830/task/24834/stat : 24834 (java) S 24827 24830 20050 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 24 0 117445478 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442953898152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24830/tid=24835] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24835/stat : 24835 (java) S 24827 24830 20050 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 24 0 117445478 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442952845864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24830/tid=24836] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24836/stat : 24836 (java) S 24827 24830 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 117445478 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442951793064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=24830/tid=24837] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24837/stat : 24837 (java) S 24827 24830 20050 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 117445478 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442950740776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24830/tid=24838] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24838/stat : 24838 (java) S 24827 24830 20050 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 117445478 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442949687976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24830/tid=24839] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24839/stat : 24839 (java) S 24827 24830 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 117445478 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442948635688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24830/tid=24840] ppid=24827 vsize=10162692 CPUtime=0.01 cores=0-3,8-11 /proc/24830/task/24840/stat : 24840 (java) S 24827 24830 20050 0 -1 4202560 10 0 0 0 0 1 0 0 20 0 24 0 117445478 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442819144616 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=24830/tid=24841] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24841/stat : 24841 (java) S 24827 24830 20050 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 117445478 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442818091304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=24830/tid=24842] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24842/stat : 24842 (java) S 24827 24830 20050 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 117445478 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442817038504 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=24830/tid=24843] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24843/stat : 24843 (java) S 24827 24830 20050 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 117445478 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442815986216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=24830/tid=24844] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24844/stat : 24844 (java) S 24827 24830 20050 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 117445478 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442814933416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24830/tid=24845] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24845/stat : 24845 (java) S 24827 24830 20050 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 117445478 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442343566120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24830/tid=24846] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24846/stat : 24846 (java) S 24827 24830 20050 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 24 0 117445479 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442326104680 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24830/tid=24847] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24847/stat : 24847 (java) S 24827 24830 20050 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 117445479 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442325051256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=24830/tid=24848] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24848/stat : 24848 (java) S 24827 24830 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 117445479 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442323998344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=24830/tid=24849] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24849/stat : 24849 (java) S 24827 24830 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 117445482 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442322946320 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=24830/tid=24850] ppid=24827 vsize=10162692 CPUtime=1.12 cores=0-3,8-11 /proc/24830/task/24850/stat : 24850 (java) S 24827 24830 20050 0 -1 4202560 11506 0 0 0 111 1 0 0 20 0 24 0 117445482 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442321893432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24830/tid=24851] ppid=24827 vsize=10162692 CPUtime=1.28 cores=0-3,8-11 /proc/24830/task/24851/stat : 24851 (java) S 24827 24830 20050 0 -1 4202560 7601 0 0 0 126 2 0 0 20 0 24 0 117445482 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442320841144 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24830/tid=24852] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24852/stat : 24852 (java) S 24827 24830 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 117445482 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442319788536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=24830/tid=24853] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24853/stat : 24853 (java) S 24827 24830 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 117445482 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442318736456 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24830/tid=24860] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24860/stat : 24860 (java) S 24827 24830 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 117445602 10406596608 47793 33554432000 1073741824 1073778376 140735958204000 140442314523688 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 Current children cumulated CPU time (s) 7.29 Current children cumulated vsize (KiB) 10162692 [startup+6.30118 s] /proc/loadavg: 4.10 4.04 3.98 5/312 24863 /proc/meminfo: memFree=30141724/32872528 swapFree=9196/9196 [pid=24830] ppid=24827 vsize=10162692 CPUtime=13.65 cores=0-3,8-11 /proc/24830/stat : 24830 (java) S 24827 24830 20050 0 -1 4202496 23574 0 1 0 1339 26 0 0 20 0 27 0 117445476 10406596608 55582 33554432000 1073741824 1073778376 140735958204000 140735958195136 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24830/statm: 2540673 55582 2291 9 0 2531350 0 [pid=24830/tid=24831] ppid=24827 vsize=10162692 CPUtime=0.77 cores=0-3,8-11 /proc/24830/task/24831/stat : 24831 (java) S 24827 24830 20050 0 -1 4202560 2501 0 1 0 74 3 0 0 20 0 27 0 117445477 10406596608 55582 33554432000 1073741824 1073778376 140735958204000 140442982499192 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24830/tid=24833] ppid=24827 vsize=10162692 CPUtime=0.04 cores=0-3,8-11 /proc/24830/task/24833/stat : 24833 (java) S 24827 24830 20050 0 -1 4202560 70 0 0 0 1 3 0 0 20 0 27 0 117445478 10406596608 55582 33554432000 1073741824 1073778376 140735958204000 140442954950952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24830/tid=24834] ppid=24827 vsize=10162692 CPUtime=0.05 cores=0-3,8-11 /proc/24830/task/24834/stat : 24834 (java) S 24827 24830 20050 0 -1 4202560 44 0 0 0 2 3 0 0 20 0 27 0 117445478 10406596608 55582 33554432000 1073741824 1073778376 140735958204000 140442953898152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24830/tid=24835] ppid=24827 vsize=10162692 CPUtime=0.03 cores=0-3,8-11 /proc/24830/task/24835/stat : 24835 (java) S 24827 24830 20050 0 -1 4202560 64 0 0 0 2 1 0 0 20 0 27 0 117445478 10406596608 55582 33554432000 1073741824 1073778376 140735958204000 140442952845864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=24830/tid=24836] ppid=24827 vsize=10162692 CPUtime=0.01 cores=0-3,8-11 ################ # More data... # ################ /proc/24830/task/24850/stat : 24850 (java) S 24827 24830 20050 0 -1 4202560 11723 0 0 0 142 1 0 0 20 0 27 0 117445482 10406596608 199736 33554432000 1073741824 1073778376 140735958204000 140442321893432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24830/tid=24851] ppid=24827 vsize=10162692 CPUtime=1.56 cores=0-3,8-11 /proc/24830/task/24851/stat : 24851 (java) S 24827 24830 20050 0 -1 4202560 7615 0 0 0 154 2 0 0 20 0 27 0 117445482 10406596608 199736 33554432000 1073741824 1073778376 140735958204000 140442320841144 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24830/tid=24852] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24852/stat : 24852 (java) S 24827 24830 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117445482 10406596608 199736 33554432000 1073741824 1073778376 140735958204000 140442319788536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=24830/tid=24853] ppid=24827 vsize=10162692 CPUtime=0.29 cores=0-3,8-11 /proc/24830/task/24853/stat : 24853 (java) S 24827 24830 20050 0 -1 4202560 47 0 0 0 14 15 0 0 20 0 27 0 117445482 10406596608 199736 33554432000 1073741824 1073778376 140735958204000 140442318736456 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24830/tid=24860] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24860/stat : 24860 (java) S 24827 24830 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 117445602 10406596608 199736 33554432000 1073741824 1073778376 140735958204000 140442314523688 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=24830/tid=24861] ppid=24827 vsize=10162692 CPUtime=813.27 cores=0-3,8-11 /proc/24830/task/24861/stat : 24861 (java) R 24827 24830 20050 0 -1 4202560 53 0 0 0 81313 14 0 0 20 0 27 0 117445806 10406596608 199736 33554432000 1073741824 1073778376 140735958204000 140442316627744 140442831310772 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=24830/tid=24862] ppid=24827 vsize=10162692 CPUtime=813.29 cores=0-3,8-11 /proc/24830/task/24862/stat : 24862 (java) R 24827 24830 20050 0 -1 4202560 364 0 0 0 81311 18 0 0 20 0 27 0 117445806 10406596608 199736 33554432000 1073741824 1073778376 140735958204000 140442315574080 140442830723815 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 [pid=24830/tid=24863] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24863/stat : 24863 (java) S 24827 24830 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 117445807 10406596608 199736 33554432000 1073741824 1073778376 140735958204000 140442317682344 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1656.27 Current children cumulated vsize (KiB) 10162692 [startup+882.311 s] /proc/loadavg: 4.00 4.02 4.00 5/311 24981 /proc/meminfo: memFree=27280948/32872528 swapFree=9200/9200 [pid=24830] ppid=24827 vsize=10162692 CPUtime=1776.09 cores=0-3,8-11 /proc/24830/stat : 24830 (java) S 24827 24830 20050 0 -1 4202496 30499 0 1 0 177266 343 0 0 20 0 27 0 117445476 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140735958195136 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24830/statm: 2540673 207532 2301 9 0 2531350 0 [pid=24830/tid=24831] ppid=24827 vsize=10162692 CPUtime=0.81 cores=0-3,8-11 /proc/24830/task/24831/stat : 24831 (java) S 24827 24830 20050 0 -1 4202560 2508 0 1 0 78 3 0 0 20 0 27 0 117445477 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442982499192 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24830/tid=24833] ppid=24827 vsize=10162692 CPUtime=1.26 cores=0-3,8-11 /proc/24830/task/24833/stat : 24833 (java) S 24827 24830 20050 0 -1 4202560 531 0 0 0 105 21 0 0 20 0 27 0 117445478 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442954950952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=24830/tid=24834] ppid=24827 vsize=10162692 CPUtime=1.47 cores=0-3,8-11 /proc/24830/task/24834/stat : 24834 (java) S 24827 24830 20050 0 -1 4202560 554 0 0 0 121 26 0 0 20 0 27 0 117445478 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442953898152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=24830/tid=24835] ppid=24827 vsize=10162692 CPUtime=1.32 cores=0-3,8-11 /proc/24830/task/24835/stat : 24835 (java) S 24827 24830 20050 0 -1 4202560 520 0 0 0 108 24 0 0 20 0 27 0 117445478 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442952845864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24830/tid=24836] ppid=24827 vsize=10162692 CPUtime=1.43 cores=0-3,8-11 /proc/24830/task/24836/stat : 24836 (java) S 24827 24830 20050 0 -1 4202560 557 0 0 0 118 25 0 0 20 0 27 0 117445478 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442951793064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24830/tid=24837] ppid=24827 vsize=10162692 CPUtime=1.29 cores=0-3,8-11 /proc/24830/task/24837/stat : 24837 (java) S 24827 24830 20050 0 -1 4202560 415 0 0 0 106 23 0 0 20 0 27 0 117445478 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442950740776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24830/tid=24838] ppid=24827 vsize=10162692 CPUtime=1.32 cores=0-3,8-11 /proc/24830/task/24838/stat : 24838 (java) S 24827 24830 20050 0 -1 4202560 567 0 0 0 109 23 0 0 20 0 27 0 117445478 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442949687976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=24830/tid=24839] ppid=24827 vsize=10162692 CPUtime=1.24 cores=0-3,8-11 /proc/24830/task/24839/stat : 24839 (java) S 24827 24830 20050 0 -1 4202560 405 0 0 0 102 22 0 0 20 0 27 0 117445478 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442948635688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24830/tid=24840] ppid=24827 vsize=10162692 CPUtime=1.42 cores=0-3,8-11 /proc/24830/task/24840/stat : 24840 (java) S 24827 24830 20050 0 -1 4202560 580 0 0 0 116 26 0 0 20 0 27 0 117445478 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442819144616 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24830/tid=24841] ppid=24827 vsize=10162692 CPUtime=1.17 cores=0-3,8-11 /proc/24830/task/24841/stat : 24841 (java) S 24827 24830 20050 0 -1 4202560 459 0 0 0 95 22 0 0 20 0 27 0 117445478 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442818091304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24830/tid=24842] ppid=24827 vsize=10162692 CPUtime=1.5 cores=0-3,8-11 /proc/24830/task/24842/stat : 24842 (java) S 24827 24830 20050 0 -1 4202560 381 0 0 0 119 31 0 0 20 0 27 0 117445478 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442817038504 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24830/tid=24843] ppid=24827 vsize=10162692 CPUtime=1.25 cores=0-3,8-11 /proc/24830/task/24843/stat : 24843 (java) S 24827 24830 20050 0 -1 4202560 367 0 0 0 102 23 0 0 20 0 27 0 117445478 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442815986216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=24830/tid=24844] ppid=24827 vsize=10162692 CPUtime=1.28 cores=0-3,8-11 /proc/24830/task/24844/stat : 24844 (java) S 24827 24830 20050 0 -1 4202560 390 0 0 0 106 22 0 0 20 0 27 0 117445478 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442814933416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24830/tid=24845] ppid=24827 vsize=10162692 CPUtime=1.17 cores=0-3,8-11 /proc/24830/task/24845/stat : 24845 (java) S 24827 24830 20050 0 -1 4202560 440 0 0 0 98 19 0 0 20 0 27 0 117445478 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442343566120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=24830/tid=24846] ppid=24827 vsize=10162692 CPUtime=2.43 cores=0-3,8-11 /proc/24830/task/24846/stat : 24846 (java) S 24827 24830 20050 0 -1 4202560 669 0 0 0 240 3 0 0 20 0 27 0 117445479 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442326104680 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=24830/tid=24847] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24847/stat : 24847 (java) S 24827 24830 20050 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 117445479 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442325051256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=24830/tid=24848] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24848/stat : 24848 (java) S 24827 24830 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 117445479 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442323998344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=24830/tid=24849] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24849/stat : 24849 (java) S 24827 24830 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117445482 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442322946320 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=24830/tid=24850] ppid=24827 vsize=10162692 CPUtime=1.43 cores=0-3,8-11 /proc/24830/task/24850/stat : 24850 (java) S 24827 24830 20050 0 -1 4202560 11723 0 0 0 142 1 0 0 20 0 27 0 117445482 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442321893432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24830/tid=24851] ppid=24827 vsize=10162692 CPUtime=1.56 cores=0-3,8-11 /proc/24830/task/24851/stat : 24851 (java) S 24827 24830 20050 0 -1 4202560 7615 0 0 0 154 2 0 0 20 0 27 0 117445482 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442320841144 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24830/tid=24852] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24852/stat : 24852 (java) S 24827 24830 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117445482 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442319788536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=24830/tid=24853] ppid=24827 vsize=10162692 CPUtime=0.31 cores=0-3,8-11 /proc/24830/task/24853/stat : 24853 (java) S 24827 24830 20050 0 -1 4202560 51 0 0 0 15 16 0 0 20 0 27 0 117445482 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442318736456 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24830/tid=24860] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24860/stat : 24860 (java) S 24827 24830 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 117445602 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442314523688 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=24830/tid=24861] ppid=24827 vsize=10162692 CPUtime=871.95 cores=0-3,8-11 /proc/24830/task/24861/stat : 24861 (java) R 24827 24830 20050 0 -1 4202560 55 0 0 0 87180 15 0 0 20 0 27 0 117445806 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442316627744 140442831108739 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=24830/tid=24862] ppid=24827 vsize=10162692 CPUtime=871.97 cores=0-3,8-11 /proc/24830/task/24862/stat : 24862 (java) R 24827 24830 20050 0 -1 4202560 368 0 0 0 87178 19 0 0 20 0 27 0 117445806 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442315573664 140442831182755 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=24830/tid=24863] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24863/stat : 24863 (java) S 24827 24830 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 117445807 10406596608 207532 33554432000 1073741824 1073778376 140735958204000 140442317682344 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1776.09 Current children cumulated vsize (KiB) 10162692 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+894.201 s] /proc/loadavg: 4.00 4.02 4.00 5/311 24981 /proc/meminfo: memFree=27295460/32872528 swapFree=9196/9196 [pid=24830] ppid=24827 vsize=10162692 CPUtime=1800.13 cores=0-3,8-11 /proc/24830/stat : 24830 (java) S 24827 24830 20050 0 -1 4202496 30506 0 1 0 179669 344 0 0 20 0 27 0 117445476 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140735958195136 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/24830/statm: 2540673 203815 2301 9 0 2531350 0 [pid=24830/tid=24831] ppid=24827 vsize=10162692 CPUtime=0.81 cores=0-3,8-11 /proc/24830/task/24831/stat : 24831 (java) S 24827 24830 20050 0 -1 4202560 2508 0 1 0 78 3 0 0 20 0 27 0 117445477 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442982499192 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24830/tid=24833] ppid=24827 vsize=10162692 CPUtime=1.29 cores=0-3,8-11 /proc/24830/task/24833/stat : 24833 (java) S 24827 24830 20050 0 -1 4202560 536 0 0 0 108 21 0 0 20 0 27 0 117445478 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442954950952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=24830/tid=24834] ppid=24827 vsize=10162692 CPUtime=1.5 cores=0-3,8-11 /proc/24830/task/24834/stat : 24834 (java) S 24827 24830 20050 0 -1 4202560 554 0 0 0 124 26 0 0 20 0 27 0 117445478 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442953898152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=24830/tid=24835] ppid=24827 vsize=10162692 CPUtime=1.34 cores=0-3,8-11 /proc/24830/task/24835/stat : 24835 (java) S 24827 24830 20050 0 -1 4202560 520 0 0 0 110 24 0 0 20 0 27 0 117445478 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442952845864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=24830/tid=24836] ppid=24827 vsize=10162692 CPUtime=1.45 cores=0-3,8-11 /proc/24830/task/24836/stat : 24836 (java) S 24827 24830 20050 0 -1 4202560 557 0 0 0 120 25 0 0 20 0 27 0 117445478 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442951793064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24830/tid=24837] ppid=24827 vsize=10162692 CPUtime=1.31 cores=0-3,8-11 /proc/24830/task/24837/stat : 24837 (java) S 24827 24830 20050 0 -1 4202560 415 0 0 0 107 24 0 0 20 0 27 0 117445478 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442950740776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24830/tid=24838] ppid=24827 vsize=10162692 CPUtime=1.35 cores=0-3,8-11 /proc/24830/task/24838/stat : 24838 (java) S 24827 24830 20050 0 -1 4202560 567 0 0 0 112 23 0 0 20 0 27 0 117445478 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442949687976 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=24830/tid=24839] ppid=24827 vsize=10162692 CPUtime=1.26 cores=0-3,8-11 /proc/24830/task/24839/stat : 24839 (java) S 24827 24830 20050 0 -1 4202560 405 0 0 0 104 22 0 0 20 0 27 0 117445478 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442948635688 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24830/tid=24840] ppid=24827 vsize=10162692 CPUtime=1.45 cores=0-3,8-11 /proc/24830/task/24840/stat : 24840 (java) S 24827 24830 20050 0 -1 4202560 580 0 0 0 119 26 0 0 20 0 27 0 117445478 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442819144616 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24830/tid=24841] ppid=24827 vsize=10162692 CPUtime=1.21 cores=0-3,8-11 /proc/24830/task/24841/stat : 24841 (java) S 24827 24830 20050 0 -1 4202560 459 0 0 0 99 22 0 0 20 0 27 0 117445478 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442818091304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24830/tid=24842] ppid=24827 vsize=10162692 CPUtime=1.53 cores=0-3,8-11 /proc/24830/task/24842/stat : 24842 (java) S 24827 24830 20050 0 -1 4202560 381 0 0 0 122 31 0 0 20 0 27 0 117445478 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442817038504 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=24830/tid=24843] ppid=24827 vsize=10162692 CPUtime=1.28 cores=0-3,8-11 /proc/24830/task/24843/stat : 24843 (java) S 24827 24830 20050 0 -1 4202560 367 0 0 0 105 23 0 0 20 0 27 0 117445478 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442815986216 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=24830/tid=24844] ppid=24827 vsize=10162692 CPUtime=1.3 cores=0-3,8-11 /proc/24830/task/24844/stat : 24844 (java) S 24827 24830 20050 0 -1 4202560 390 0 0 0 108 22 0 0 20 0 27 0 117445478 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442814933416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=24830/tid=24845] ppid=24827 vsize=10162692 CPUtime=1.19 cores=0-3,8-11 /proc/24830/task/24845/stat : 24845 (java) S 24827 24830 20050 0 -1 4202560 440 0 0 0 100 19 0 0 20 0 27 0 117445478 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442343566120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=24830/tid=24846] ppid=24827 vsize=10162692 CPUtime=2.43 cores=0-3,8-11 /proc/24830/task/24846/stat : 24846 (java) S 24827 24830 20050 0 -1 4202560 669 0 0 0 240 3 0 0 20 0 27 0 117445479 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442326104680 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=24830/tid=24847] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24847/stat : 24847 (java) S 24827 24830 20050 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 117445479 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442325051256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=24830/tid=24848] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24848/stat : 24848 (java) S 24827 24830 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 117445479 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442323998344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=24830/tid=24849] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24849/stat : 24849 (java) S 24827 24830 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117445482 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442322946320 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=24830/tid=24850] ppid=24827 vsize=10162692 CPUtime=1.43 cores=0-3,8-11 /proc/24830/task/24850/stat : 24850 (java) S 24827 24830 20050 0 -1 4202560 11723 0 0 0 142 1 0 0 20 0 27 0 117445482 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442321893432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24830/tid=24851] ppid=24827 vsize=10162692 CPUtime=1.56 cores=0-3,8-11 /proc/24830/task/24851/stat : 24851 (java) S 24827 24830 20050 0 -1 4202560 7615 0 0 0 154 2 0 0 20 0 27 0 117445482 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442320841144 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=24830/tid=24852] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24852/stat : 24852 (java) S 24827 24830 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117445482 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442319788536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=24830/tid=24853] ppid=24827 vsize=10162692 CPUtime=0.32 cores=0-3,8-11 /proc/24830/task/24853/stat : 24853 (java) S 24827 24830 20050 0 -1 4202560 51 0 0 0 16 16 0 0 20 0 27 0 117445482 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442318736456 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=24830/tid=24860] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24860/stat : 24860 (java) S 24827 24830 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 117445602 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442314523688 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=24830/tid=24861] ppid=24827 vsize=10162692 CPUtime=883.77 cores=0-3,8-11 /proc/24830/task/24861/stat : 24861 (java) R 24827 24830 20050 0 -1 4202560 56 0 0 0 88362 15 0 0 20 0 27 0 117445806 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442316620032 140442831310796 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=24830/tid=24862] ppid=24827 vsize=10162692 CPUtime=883.78 cores=0-3,8-11 /proc/24830/task/24862/stat : 24862 (java) R 24827 24830 20050 0 -1 4202560 369 0 0 0 88359 19 0 0 20 0 27 0 117445806 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442315574976 140442831054413 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=24830/tid=24863] ppid=24827 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/24830/task/24863/stat : 24863 (java) S 24827 24830 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 117445807 10406596608 203815 33554432000 1073741824 1073778376 140735958204000 140442317682344 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 10162692 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 24830 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 24830 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=138553 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=921403 # CPU time returned by wait4() is 1796.06 # while last known CPU time is 1800.13 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 894.257 CPU time (s): 1800.13 CPU user time (s): 1796.69 CPU system time (s): 3.44 CPU usage (%): 201.299 Max. virtual memory (cumulated for all children) (KiB): 10162692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.14 system time used= 3.9214 maximum resident set size= 1022852 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30543 page faults= 1 swaps= 0 block input operations= 0 block output operations= 936 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24500 involuntary context switches= 12962 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.42387 second user time and 9.72952 second system time The end
Begin job on node132 at 2016-06-08 05:20:35 IDJOB=4080935 IDBENCH=92731 IDSOLVER=2543 FILE ID=node132/4080935-1465356035 RUNJOBID= node132-1465339282-20066 PBS_JOBID= 19853401 Free space on /tmp= 71748 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_9.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080935-1465356035/watcher-4080935-1465356035 -o /tmp/evaluation-result-4080935-1465356035/solver-4080935-1465356035 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465339282-20066 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080935-1465356035.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 9dfe9f707e4bec0ff7b60653d14cbd16 RANDOM SEED=393838705 node132.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.209 cache size : 8192 KB physical id : 0 siblings : 8 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.41 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.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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.209 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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 : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.209 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 30367412 kB Buffers: 181744 kB Cached: 854960 kB SwapCached: 3220 kB Active: 1059308 kB Inactive: 672012 kB Active(anon): 693848 kB Inactive(anon): 3312 kB Active(file): 365460 kB Inactive(file): 668700 kB Unevictable: 9196 kB Mlocked: 9196 kB SwapTotal: 67108856 kB SwapFree: 67094612 kB Dirty: 1528 kB Writeback: 0 kB AnonPages: 703604 kB Mapped: 15548 kB Shmem: 0 kB Slab: 624796 kB SReclaimable: 64804 kB SUnreclaim: 559992 kB KernelStack: 2408 kB PageTables: 5944 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 970940 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 641024 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= 71744 MiB End job on node132 at 2016-06-08 05:35:29