| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 6479021 | 1800.1 | 894.263 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_8.opb |
| MD5SUM | c9443936e5641d3aca30cbd92e359860 |
| 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 | 6479021 |
| Best CPU time to get the best result obtained on this benchmark | 1800.1 |
| 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 | 134217728 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 91246785518 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 134217728 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 91246785518 |
| 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@22c84d9 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@3f7fa65e 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@558385e3 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@3f7fa65e 0.09/0.13 c --- End Solver configuration --- 0.09/0.13 c solving HOME/instance-4080934-1465355353.opb 0.09/0.13 c reading problem ... 0.09/0.13 c objective function found 1.63/0.71 c ... done. Wall clock time 0.585s. 1.63/0.71 c declared #vars 9940 1.63/0.71 c #constraints 24512 1.63/0.72 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.63/0.72 c constraints type 1.63/0.72 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1.63/0.72 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.63/0.72 c org.sat4j.specs.Constr$1 => 2 1.63/0.72 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.63/0.72 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1.63/0.72 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625 1.63/0.72 c 24512 constraints processed. 1.63/0.72 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.63/0.72 c constraints type 1.63/0.72 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19390 1.63/0.72 c org.sat4j.specs.Constr$1 => 2 1.63/0.72 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2486 1.63/0.72 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1.63/0.72 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 1.63/0.72 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2625 1.63/0.72 c 24512 constraints processed. 1.63/0.72 c objective function length is 9730 literals 3.25/1.13 c And the winner is solver0 3.42/1.23 c SATISFIABLE 3.42/1.23 c OPTIMIZING... 3.42/1.23 c Got one! Elapsed wall clock time (in seconds):1.099 3.42/1.23 o 6479021 12.59/5.57 c cleaning 2603 clauses out of 5228 with flag 12633/5242 15.91/7.17 c cleaning 4303 clauses out of 8626 with flag 24879/11243 19.71/9.00 c cleaning 5651 clauses out of 11323 with flag 39299/18243 25.32/11.80 c cleaning 6836 clauses out of 13671 with flag 55912/26242 31.96/15.14 c cleaning 7918 clauses out of 15835 with flag 74795/35242 39.76/19.01 c cleaning 8958 clauses out of 17917 with flag 95552/45242 49.32/23.69 c cleaning 9973 clauses out of 19960 with flag 118523/56243 58.72/28.39 c cleaning 10992 clauses out of 21987 with flag 143401/68243 67.32/32.70 c cleaning 11994 clauses out of 23995 with flag 169587/81243 76.94/37.48 c cleaning 13000 clauses out of 26000 with flag 198719/95242 87.94/42.97 c cleaning 13996 clauses out of 28000 with flag 229210/110242 100.32/49.11 c cleaning 15000 clauses out of 30005 with flag 262106/126243 114.04/55.81 c cleaning 16002 clauses out of 32005 with flag 297263/143243 127.86/62.79 c cleaning 16999 clauses out of 34002 with flag 334673/161242 142.63/70.13 c cleaning 18001 clauses out of 36003 with flag 374242/180242 158.43/78.08 c cleaning 18993 clauses out of 38002 with flag 415344/200242 176.03/86.88 c cleaning 19998 clauses out of 40010 with flag 461131/221243 193.63/95.67 c cleaning 21004 clauses out of 42011 with flag 510681/243242 212.64/105.12 c cleaning 22002 clauses out of 44008 with flag 560109/266243 230.83/114.21 c cleaning 23000 clauses out of 46005 with flag 612482/290242 252.48/124.91 c cleaning 23995 clauses out of 48005 with flag 666260/315242 274.08/135.76 c cleaning 25003 clauses out of 50010 with flag 718694/341242 297.49/147.41 c cleaning 25999 clauses out of 52007 with flag 772829/368242 322.78/159.73 c cleaning 27001 clauses out of 54008 with flag 829201/396242 347.98/172.36 c cleaning 27998 clauses out of 56007 with flag 888006/425242 374.08/185.29 c cleaning 29001 clauses out of 58009 with flag 948107/455242 402.04/199.07 c cleaning 30005 clauses out of 60009 with flag 1010346/486243 430.86/213.42 c cleaning 30997 clauses out of 62003 with flag 1074511/518242 459.65/227.81 c cleaning 32000 clauses out of 64006 with flag 1140854/551242 490.36/243.05 c cleaning 33000 clauses out of 66007 with flag 1209224/585243 525.77/260.72 c cleaning 33994 clauses out of 68007 with flag 1285378/620243 566.63/281.10 c cleaning 35000 clauses out of 70013 with flag 1365640/656243 609.66/302.55 c cleaning 36004 clauses out of 72013 with flag 1449698/693243 655.74/325.30 c cleaning 36998 clauses out of 74010 with flag 1535976/731244 702.16/348.12 c cleaning 38002 clauses out of 76010 with flag 1623176/770242 749.57/371.71 c cleaning 38999 clauses out of 78009 with flag 1712070/810243 797.56/395.54 c cleaning 40001 clauses out of 80009 with flag 1805074/851242 847.32/420.56 c cleaning 41002 clauses out of 82008 with flag 1898011/893242 897.74/445.66 c cleaning 42000 clauses out of 84007 with flag 1995118/936243 949.00/471.11 c cleaning 42996 clauses out of 86006 with flag 2093029/980242 1002.25/497.55 c cleaning 44002 clauses out of 88011 with flag 2194609/1025243 1055.80/524.18 c cleaning 44998 clauses out of 90008 with flag 2296690/1071242 1112.54/552.57 c cleaning 46003 clauses out of 92010 with flag 2400439/1118242 1170.90/581.42 c cleaning 46999 clauses out of 94007 with flag 2507916/1166242 1233.02/612.21 c cleaning 47997 clauses out of 96008 with flag 2617422/1215242 1295.10/642.90 c cleaning 49000 clauses out of 98012 with flag 2728283/1265243 1359.05/675.06 c cleaning 50002 clauses out of 100011 with flag 2842558/1316242 1424.31/707.51 c cleaning 50999 clauses out of 102010 with flag 2959369/1368243 1490.95/740.76 c cleaning 52001 clauses out of 104010 with flag 3078171/1421242 1561.27/775.34 c cleaning 53002 clauses out of 106010 with flag 3198602/1475243 1634.49/812.01 c cleaning 53998 clauses out of 108007 with flag 3321633/1530242 1708.71/848.99 c cleaning 55004 clauses out of 110010 with flag 3446916/1586243 1784.10/886.21 c cleaning 55996 clauses out of 112006 with flag 3574905/1643243 1800.10/894.20 c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<< 1800.10/894.20 c starts : 21049 1800.10/894.20 c conflicts : 1656731 1800.10/894.20 c decisions : 2907119 1800.10/894.20 c propagations : 163156450 1800.10/894.20 c inspects : 4228321559 1800.10/894.20 c shortcuts : 0 1800.10/894.20 c learnt literals : 14 1800.10/894.20 c learnt binary clauses : 20 1800.10/894.20 c learnt ternary clauses : 82 1800.10/894.20 c learnt constraints : 1656717 1800.10/894.20 c ignored constraints : 0 1800.10/894.20 c root simplifications : 0 1800.10/894.20 c removed literals (reason simplification) : 181079524 1800.10/894.20 c reason swapping (by a shorter reason) : 0 1800.10/894.20 c Calls to reduceDB : 53 1800.10/894.20 c Number of update (reduction) of LBD : 48578 1800.10/894.20 c Imported unit clauses : 0 1800.10/894.20 c number of reductions to clauses (during analyze) : 0 1800.10/894.20 c number of learned constraints concerned by reduction : 0 1800.10/894.20 c number of learning phase by resolution : 0 1800.10/894.20 c number of learning phase by cutting planes : 0 1800.10/894.20 c speed (assignments/second) : 182615.39907973984 1800.10/894.20 c non guided choices 184 1800.10/894.23 c learnt constraints type 1800.10/894.23 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 20 1800.10/894.23 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 69478 1800.10/894.23 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.10/894.23 c starts : 5 1800.10/894.23 c conflicts : 866 1800.10/894.23 c decisions : 14514 1800.10/894.23 c propagations : 716695 1800.10/894.23 c inspects : 30753412 1800.10/894.23 c shortcuts : 0 1800.10/894.23 c learnt literals : 0 1800.10/894.23 c learnt binary clauses : 0 1800.10/894.23 c learnt ternary clauses : 0 1800.10/894.23 c learnt constraints : 864 1800.10/894.23 c ignored constraints : 0 1800.10/894.23 c root simplifications : 0 1800.10/894.23 c removed literals (reason simplification) : 0 1800.10/894.23 c reason swapping (by a shorter reason) : 0 1800.10/894.23 c Calls to reduceDB : 0 1800.10/894.23 c Number of update (reduction) of LBD : 0 1800.10/894.23 c Imported unit clauses : 0 1800.10/894.23 c number of reductions to clauses (during analyze) : 0 1800.10/894.23 c number of learned constraints concerned by reduction : 0 1800.10/894.23 c number of learning phase by resolution : 0 1800.10/894.23 c number of learning phase by cutting planes : 0 1800.10/894.23 c speed (assignments/second) : 802.602344551404 1800.10/894.23 c non guided choices 0 1800.10/894.23 c learnt constraints type 1800.10/894.23 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 6 1800.10/894.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 858 1800.10/894.23 s SATISFIABLE 1800.10/894.23 c Found 1 solution(s) 1800.10/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.10/894.25 c objective function=6479021 1800.10/894.25 c Total wall clock time (in seconds): 894.121
OK 6479021
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-4080934-1465355353/watcher-4080934-1465355353 -o /tmp/evaluation-result-4080934-1465355353/solver-4080934-1465355353 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465339282-20067 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080934-1465355353.opb pid=24731 running on 8 cores: 4-7,12-15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.91 3.97 3.91 4/284 24734 /proc/meminfo: memFree=28142592/32872528 swapFree=9196/9196 [pid=24734] ppid=24731 vsize=91816 CPUtime=0 cores=4-7,12-15 /proc/24734/stat : 24734 (java) S 24731 24734 20050 0 -1 4202496 1283 0 0 0 0 0 0 0 20 0 2 0 117377337 94019584 917 33554432000 1073741824 1073778376 140734825840672 140734825831808 216811995197 0 0 4096 0 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/24734/statm: 22954 917 697 9 0 16769 0 [pid=24734/tid=24735] ppid=24731 vsize=91816 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24735/stat : 24735 (java) D 24731 24734 20050 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 117377338 94019584 917 33554432000 1073741824 1073778376 140734825840672 140301711646248 216799472935 0 0 4096 0 18446744072100764964 0 0 -1 14 0 0 0 0 0 [startup+0.100062 s] /proc/loadavg: 3.91 3.97 3.91 4/284 24734 /proc/meminfo: memFree=28142592/32872528 swapFree=9196/9196 [pid=24734] ppid=24731 vsize=9896436 CPUtime=0.09 cores=4-7,12-15 /proc/24734/stat : 24734 (java) S 24731 24734 20050 0 -1 4202496 4374 0 1 0 8 1 0 0 20 0 23 0 117377337 10133950464 5496 33554432000 1073741824 1073778376 140734825840672 140734825831808 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/24734/statm: 2474109 5496 2097 9 0 2464786 0 [pid=24734/tid=24735] ppid=24731 vsize=9896436 CPUtime=0.06 cores=4-7,12-15 /proc/24734/task/24735/stat : 24735 (java) R 24731 24734 20050 0 -1 4202560 2395 0 1 0 6 0 0 0 20 0 23 0 117377338 10133950464 5496 33554432000 1073741824 1073778376 140734825840672 140301711649696 216808636085 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9896436 [startup+0.200267 s] /proc/loadavg: 3.91 3.97 3.91 4/284 24734 /proc/meminfo: memFree=28142592/32872528 swapFree=9196/9196 [pid=24734] ppid=24731 vsize=9896436 CPUtime=0.28 cores=4-7,12-15 /proc/24734/stat : 24734 (java) S 24731 24734 20050 0 -1 4202496 5083 0 1 0 27 1 0 0 20 0 23 0 117377337 10133950464 7064 33554432000 1073741824 1073778376 140734825840672 140734825831808 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/24734/statm: 2474109 7064 2219 9 0 2464786 0 [pid=24734/tid=24735] ppid=24731 vsize=9896436 CPUtime=0.16 cores=4-7,12-15 /proc/24734/task/24735/stat : 24735 (java) R 24731 24734 20050 0 -1 4202560 2436 0 1 0 16 0 0 0 20 0 23 0 117377338 10133950464 7064 33554432000 1073741824 1073778376 140734825840672 140301711649696 140301566064449 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9896436 [startup+0.300283 s] /proc/loadavg: 3.91 3.97 3.91 4/284 24734 /proc/meminfo: memFree=28142592/32872528 swapFree=9196/9196 [pid=24734] ppid=24731 vsize=9896436 CPUtime=0.47 cores=4-7,12-15 /proc/24734/stat : 24734 (java) S 24731 24734 20050 0 -1 4202496 5589 0 1 0 46 1 0 0 20 0 23 0 117377337 10133950464 9690 33554432000 1073741824 1073778376 140734825840672 140734825831808 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/24734/statm: 2474109 9690 2235 9 0 2464786 0 [pid=24734/tid=24735] ppid=24731 vsize=9896436 CPUtime=0.26 cores=4-7,12-15 /proc/24734/task/24735/stat : 24735 (java) R 24731 24734 20050 0 -1 4202560 2443 0 1 0 25 1 0 0 20 0 23 0 117377338 10133950464 9690 33554432000 1073741824 1073778376 140734825840672 140301711642512 140301566036560 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9896436 [startup+0.700252 s] /proc/loadavg: 3.91 3.97 3.91 4/284 24734 /proc/meminfo: memFree=28142592/32872528 swapFree=9196/9196 [pid=24734] ppid=24731 vsize=9896436 CPUtime=1.63 cores=4-7,12-15 /proc/24734/stat : 24734 (java) S 24731 24734 20050 0 -1 4202496 17966 0 1 0 159 4 0 0 20 0 23 0 117377337 10133950464 30763 33554432000 1073741824 1073778376 140734825840672 140734825831808 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/24734/statm: 2474109 30763 2248 9 0 2464786 0 [pid=24734/tid=24735] ppid=24731 vsize=9896436 CPUtime=0.66 cores=4-7,12-15 /proc/24734/task/24735/stat : 24735 (java) R 24731 24734 20050 0 -1 4202560 2474 0 1 0 64 2 0 0 20 0 23 0 117377338 10133950464 30763 33554432000 1073741824 1073778376 140734825840672 140301711642512 140301714936727 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 1.63 Current children cumulated vsize (KiB) 9896436 [startup+1.50126 s] /proc/loadavg: 3.91 3.97 3.91 7/311 24761 /proc/meminfo: memFree=28001724/32872528 swapFree=9196/9196 [pid=24734] ppid=24731 vsize=10162692 CPUtime=4.22 cores=4-7,12-15 /proc/24734/stat : 24734 (java) S 24731 24734 20050 0 -1 4202496 21612 0 1 0 409 13 0 0 20 0 27 0 117377337 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140734825831808 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/24734/statm: 2540673 47725 2287 9 0 2531350 0 [pid=24734/tid=24735] ppid=24731 vsize=10162692 CPUtime=0.73 cores=4-7,12-15 /proc/24734/task/24735/stat : 24735 (java) S 24731 24734 20050 0 -1 4202560 2495 0 1 0 70 3 0 0 20 0 27 0 117377338 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301711651704 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24734/tid=24737] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24737/stat : 24737 (java) S 24731 24734 20050 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 117377339 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301554985256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=24734/tid=24738] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24738/stat : 24738 (java) S 24731 24734 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 117377339 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301553932456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24739] ppid=24731 vsize=10162692 CPUtime=0.01 cores=4-7,12-15 /proc/24734/task/24739/stat : 24739 (java) S 24731 24734 20050 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 27 0 117377339 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301552880168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24734/tid=24740] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24740/stat : 24740 (java) S 24731 24734 20050 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 27 0 117377339 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301551827368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24734/tid=24741] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24741/stat : 24741 (java) S 24731 24734 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 117377339 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301550775080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=24734/tid=24742] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24742/stat : 24742 (java) S 24731 24734 20050 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 27 0 117377339 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301213625000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24734/tid=24743] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24743/stat : 24743 (java) S 24731 24734 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 117377339 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301212572712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24744] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24744/stat : 24744 (java) S 24731 24734 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 117377339 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301211519912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=24734/tid=24745] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24745/stat : 24745 (java) S 24731 24734 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 117377339 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301210466600 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=24734/tid=24746] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24746/stat : 24746 (java) S 24731 24734 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 117377339 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301209413800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=24734/tid=24747] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24747/stat : 24747 (java) S 24731 24734 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 117377339 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301208361512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24734/tid=24748] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24748/stat : 24748 (java) S 24731 24734 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 117377339 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301207308712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24749] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24749/stat : 24749 (java) S 24731 24734 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 117377339 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301206256424 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24734/tid=24750] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24750/stat : 24750 (java) S 24731 24734 20050 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 27 0 117377340 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301188794984 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=24734/tid=24751] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24751/stat : 24751 (java) S 24731 24734 20050 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 117377341 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301187741560 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=24734/tid=24752] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24752/stat : 24752 (java) S 24731 24734 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 117377341 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301186688648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=24734/tid=24753] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24753/stat : 24753 (java) S 24731 24734 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117377343 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301185636624 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=24734/tid=24754] ppid=24731 vsize=10162692 CPUtime=1.02 cores=4-7,12-15 /proc/24734/task/24754/stat : 24754 (java) R 24731 24734 20050 0 -1 4202560 10830 0 0 0 100 2 0 0 20 0 27 0 117377343 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301184583736 140301715273564 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24755] ppid=24731 vsize=10162692 CPUtime=1 cores=4-7,12-15 /proc/24734/task/24755/stat : 24755 (java) S 24731 24734 20050 0 -1 4202560 6777 0 0 0 100 0 0 0 20 0 27 0 117377343 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301183531448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24756] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24756/stat : 24756 (java) S 24731 24734 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117377343 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301182478840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=24734/tid=24757] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24757/stat : 24757 (java) S 24731 24734 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117377343 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301181426760 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24760] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24760/stat : 24760 (java) S 24731 24734 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 117377413 10406596608 47725 33554432000 1073741824 1073778376 140734825840672 140301178267176 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 Current children cumulated CPU time (s) 4.22 Current children cumulated vsize (KiB) 10162692 [startup+3.10109 s] /proc/loadavg: 4.16 4.02 3.93 5/311 24764 /proc/meminfo: memFree=27957884/32872528 swapFree=9196/9196 [pid=24734] ppid=24731 vsize=10162692 CPUtime=7.69 cores=4-7,12-15 /proc/24734/stat : 24734 (java) S 24731 24734 20050 0 -1 4202496 22030 0 1 0 748 21 0 0 20 0 27 0 117377337 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140734825831808 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/24734/statm: 2540673 54723 2289 9 0 2531350 0 [pid=24734/tid=24735] ppid=24731 vsize=10162692 CPUtime=0.73 cores=4-7,12-15 /proc/24734/task/24735/stat : 24735 (java) S 24731 24734 20050 0 -1 4202560 2495 0 1 0 70 3 0 0 20 0 27 0 117377338 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301711651704 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24734/tid=24737] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24737/stat : 24737 (java) S 24731 24734 20050 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 117377339 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301554985256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24738] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24738/stat : 24738 (java) S 24731 24734 20050 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 117377339 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301553932456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24739] ppid=24731 vsize=10162692 CPUtime=0.02 cores=4-7,12-15 /proc/24734/task/24739/stat : 24739 (java) S 24731 24734 20050 0 -1 4202560 16 0 0 0 1 1 0 0 20 0 27 0 117377339 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301552880168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24740] ppid=24731 vsize=10162692 CPUtime=0.02 cores=4-7,12-15 /proc/24734/task/24740/stat : 24740 (java) S 24731 24734 20050 0 -1 4202560 63 0 0 0 1 1 0 0 20 0 27 0 117377339 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301551827368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24734/tid=24741] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24741/stat : 24741 (java) S 24731 24734 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 117377339 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301550775080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=24734/tid=24742] ppid=24731 vsize=10162692 CPUtime=0.03 cores=4-7,12-15 /proc/24734/task/24742/stat : 24742 (java) S 24731 24734 20050 0 -1 4202560 67 0 0 0 1 2 0 0 20 0 27 0 117377339 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301213625000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=24734/tid=24743] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24743/stat : 24743 (java) S 24731 24734 20050 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 117377339 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301212572712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24744] ppid=24731 vsize=10162692 CPUtime=0.02 cores=4-7,12-15 /proc/24734/task/24744/stat : 24744 (java) S 24731 24734 20050 0 -1 4202560 67 0 0 0 1 1 0 0 20 0 27 0 117377339 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301211519912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24745] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24745/stat : 24745 (java) S 24731 24734 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 117377339 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301210466600 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=24734/tid=24746] ppid=24731 vsize=10162692 CPUtime=0.02 cores=4-7,12-15 /proc/24734/task/24746/stat : 24746 (java) S 24731 24734 20050 0 -1 4202560 66 0 0 0 0 2 0 0 20 0 27 0 117377339 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301209413800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=24734/tid=24747] ppid=24731 vsize=10162692 CPUtime=0.02 cores=4-7,12-15 /proc/24734/task/24747/stat : 24747 (java) S 24731 24734 20050 0 -1 4202560 74 0 0 0 1 1 0 0 20 0 27 0 117377339 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301208361512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=24734/tid=24748] ppid=24731 vsize=10162692 CPUtime=0.02 cores=4-7,12-15 /proc/24734/task/24748/stat : 24748 (java) S 24731 24734 20050 0 -1 4202560 78 0 0 0 2 0 0 0 20 0 27 0 117377339 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301207308712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24749] ppid=24731 vsize=10162692 CPUtime=0.01 cores=4-7,12-15 /proc/24734/task/24749/stat : 24749 (java) S 24731 24734 20050 0 -1 4202560 44 0 0 0 1 0 0 0 20 0 27 0 117377339 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301206256424 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24750] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24750/stat : 24750 (java) S 24731 24734 20050 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 27 0 117377340 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301188794984 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24751] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24751/stat : 24751 (java) S 24731 24734 20050 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 117377341 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301187741560 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=24734/tid=24752] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24752/stat : 24752 (java) S 24731 24734 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 117377341 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301186688648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=24734/tid=24753] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24753/stat : 24753 (java) S 24731 24734 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117377343 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301185636624 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=24734/tid=24754] ppid=24731 vsize=10162692 CPUtime=1.12 cores=4-7,12-15 /proc/24734/task/24754/stat : 24754 (java) S 24731 24734 20050 0 -1 4202560 10831 0 0 0 110 2 0 0 20 0 27 0 117377343 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301184583736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24755] ppid=24731 vsize=10162692 CPUtime=1.06 cores=4-7,12-15 /proc/24734/task/24755/stat : 24755 (java) S 24731 24734 20050 0 -1 4202560 6778 0 0 0 106 0 0 0 20 0 27 0 117377343 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301183531448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24756] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24756/stat : 24756 (java) S 24731 24734 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117377343 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301182478840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=24734/tid=24757] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24757/stat : 24757 (java) S 24731 24734 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117377343 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301181426760 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24760] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24760/stat : 24760 (java) S 24731 24734 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 117377413 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301178267176 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=24734/tid=24762] ppid=24731 vsize=10162692 CPUtime=1.76 cores=4-7,12-15 /proc/24734/task/24762/stat : 24762 (java) R 24731 24734 20050 0 -1 4202560 7 0 0 0 176 0 0 0 20 0 27 0 117377463 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301179316760 140301567276631 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=24734/tid=24763] ppid=24731 vsize=10162692 CPUtime=1.76 cores=4-7,12-15 /proc/24734/task/24763/stat : 24763 (java) R 24731 24734 20050 0 -1 4202560 15 0 0 0 176 0 0 0 20 0 27 0 117377463 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301177212312 140301566991696 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=24734/tid=24764] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24764/stat : 24764 (java) S 24731 24734 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 117377464 10406596608 54723 33554432000 1073741824 1073778376 140734825840672 140301180372008 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 7.69 Current children cumulated vsize (KiB) 10162692 [startup+6.30111 s] /proc/loadavg: 4.16 4.02 3.93 5/311 24764 /proc/meminfo: memFree=27910284/32872528 swapFree=9196/9196 [pid=24734] ppid=24731 vsize=10162692 CPUtime=14.22 cores=4-7,12-15 /proc/24734/stat : 24734 (java) S 24731 24734 20050 0 -1 4202496 22064 0 1 0 1400 22 0 0 20 0 27 0 117377337 10406596608 61235 33554432000 1073741824 1073778376 140734825840672 140734825831808 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/24734/statm: 2540673 61235 2293 9 0 2531350 0 [pid=24734/tid=24735] ppid=24731 vsize=10162692 CPUtime=0.73 cores=4-7,12-15 /proc/24734/task/24735/stat : 24735 (java) S 24731 24734 20050 0 -1 4202560 2495 0 1 0 70 3 0 0 20 0 27 0 117377338 10406596608 61235 33554432000 1073741824 1073778376 140734825840672 140301711651704 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24734/tid=24737] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 ################ # More data... # ################ /proc/24734/task/24754/stat : 24754 (java) S 24731 24734 20050 0 -1 4202560 10848 0 0 0 120 2 0 0 20 0 27 0 117377343 10406596608 211835 33554432000 1073741824 1073778376 140734825840672 140301184583736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24755] ppid=24731 vsize=10162692 CPUtime=1.32 cores=4-7,12-15 /proc/24734/task/24755/stat : 24755 (java) S 24731 24734 20050 0 -1 4202560 6801 0 0 0 132 0 0 0 20 0 27 0 117377343 10406596608 211835 33554432000 1073741824 1073778376 140734825840672 140301183531448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=24734/tid=24756] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24756/stat : 24756 (java) S 24731 24734 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117377343 10406596608 211835 33554432000 1073741824 1073778376 140734825840672 140301182478840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=24734/tid=24757] ppid=24731 vsize=10162692 CPUtime=0.29 cores=4-7,12-15 /proc/24734/task/24757/stat : 24757 (java) S 24731 24734 20050 0 -1 4202560 47 0 0 0 14 15 0 0 20 0 27 0 117377343 10406596608 211835 33554432000 1073741824 1073778376 140734825840672 140301181426760 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24734/tid=24760] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24760/stat : 24760 (java) S 24731 24734 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 117377413 10406596608 211835 33554432000 1073741824 1073778376 140734825840672 140301178267176 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=24734/tid=24762] ppid=24731 vsize=10162692 CPUtime=813.41 cores=4-7,12-15 /proc/24734/task/24762/stat : 24762 (java) R 24731 24734 20050 0 -1 4202560 74 0 0 0 81327 14 0 0 20 0 27 0 117377463 10406596608 211835 33554432000 1073741824 1073778376 140734825840672 140301179317504 140301567276732 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=24734/tid=24763] ppid=24731 vsize=10162692 CPUtime=813.39 cores=4-7,12-15 /proc/24734/task/24763/stat : 24763 (java) R 24731 24734 20050 0 -1 4202560 801 0 0 0 81319 20 0 0 20 0 27 0 117377463 10406596608 211835 33554432000 1073741824 1073778376 140734825840672 140301177211168 140301567015807 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 [pid=24734/tid=24764] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24764/stat : 24764 (java) S 24731 24734 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 117377464 10406596608 211835 33554432000 1073741824 1073778376 140734825840672 140301180372008 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 1655.22 Current children cumulated vsize (KiB) 10162692 [startup+882.312 s] /proc/loadavg: 4.02 4.03 3.99 5/311 24867 /proc/meminfo: memFree=29154704/32872528 swapFree=9196/9196 [pid=24734] ppid=24731 vsize=10162692 CPUtime=1776.32 cores=4-7,12-15 /proc/24734/stat : 24734 (java) S 24731 24734 20050 0 -1 4202496 31160 0 1 0 177315 317 0 0 20 0 27 0 117377337 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140734825831808 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/24734/statm: 2540673 247328 2302 9 0 2531350 0 [pid=24734/tid=24735] ppid=24731 vsize=10162692 CPUtime=0.76 cores=4-7,12-15 /proc/24734/task/24735/stat : 24735 (java) S 24731 24734 20050 0 -1 4202560 2502 0 1 0 72 4 0 0 20 0 27 0 117377338 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301711651704 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24737] ppid=24731 vsize=10162692 CPUtime=1.32 cores=4-7,12-15 /proc/24734/task/24737/stat : 24737 (java) S 24731 24734 20050 0 -1 4202560 402 0 0 0 117 15 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301554985256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24738] ppid=24731 vsize=10162692 CPUtime=1.37 cores=4-7,12-15 /proc/24734/task/24738/stat : 24738 (java) S 24731 24734 20050 0 -1 4202560 383 0 0 0 117 20 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301553932456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24734/tid=24739] ppid=24731 vsize=10162692 CPUtime=1.35 cores=4-7,12-15 /proc/24734/task/24739/stat : 24739 (java) S 24731 24734 20050 0 -1 4202560 580 0 0 0 115 20 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301552880168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24734/tid=24740] ppid=24731 vsize=10162692 CPUtime=1.37 cores=4-7,12-15 /proc/24734/task/24740/stat : 24740 (java) S 24731 24734 20050 0 -1 4202560 626 0 0 0 115 22 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301551827368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=24734/tid=24741] ppid=24731 vsize=10162692 CPUtime=1.25 cores=4-7,12-15 /proc/24734/task/24741/stat : 24741 (java) S 24731 24734 20050 0 -1 4202560 516 0 0 0 108 17 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301550775080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=24734/tid=24742] ppid=24731 vsize=10162692 CPUtime=1.46 cores=4-7,12-15 /proc/24734/task/24742/stat : 24742 (java) S 24731 24734 20050 0 -1 4202560 559 0 0 0 121 25 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301213625000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24734/tid=24743] ppid=24731 vsize=10162692 CPUtime=1.22 cores=4-7,12-15 /proc/24734/task/24743/stat : 24743 (java) S 24731 24734 20050 0 -1 4202560 457 0 0 0 105 17 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301212572712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=24734/tid=24744] ppid=24731 vsize=10162692 CPUtime=1.34 cores=4-7,12-15 /proc/24734/task/24744/stat : 24744 (java) S 24731 24734 20050 0 -1 4202560 759 0 0 0 114 20 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301211519912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=24734/tid=24745] ppid=24731 vsize=10162692 CPUtime=1.61 cores=4-7,12-15 /proc/24734/task/24745/stat : 24745 (java) S 24731 24734 20050 0 -1 4202560 706 0 0 0 135 26 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301210466600 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24734/tid=24746] ppid=24731 vsize=10162692 CPUtime=1.29 cores=4-7,12-15 /proc/24734/task/24746/stat : 24746 (java) S 24731 24734 20050 0 -1 4202560 979 0 0 0 109 20 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301209413800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24734/tid=24747] ppid=24731 vsize=10162692 CPUtime=1.53 cores=4-7,12-15 /proc/24734/task/24747/stat : 24747 (java) S 24731 24734 20050 0 -1 4202560 753 0 0 0 125 28 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301208361512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=24734/tid=24748] ppid=24731 vsize=10162692 CPUtime=1.42 cores=4-7,12-15 /proc/24734/task/24748/stat : 24748 (java) S 24731 24734 20050 0 -1 4202560 495 0 0 0 121 21 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301207308712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=24734/tid=24749] ppid=24731 vsize=10162692 CPUtime=1.38 cores=4-7,12-15 /proc/24734/task/24749/stat : 24749 (java) S 24731 24734 20050 0 -1 4202560 284 0 0 0 119 19 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301206256424 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24750] ppid=24731 vsize=10162692 CPUtime=3.19 cores=4-7,12-15 /proc/24734/task/24750/stat : 24750 (java) S 24731 24734 20050 0 -1 4202560 1221 0 0 0 316 3 0 0 20 0 27 0 117377340 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301188794984 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24734/tid=24751] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24751/stat : 24751 (java) S 24731 24734 20050 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 117377341 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301187741560 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=24734/tid=24752] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24752/stat : 24752 (java) S 24731 24734 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 117377341 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301186688648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=24734/tid=24753] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24753/stat : 24753 (java) S 24731 24734 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117377343 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301185636624 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=24734/tid=24754] ppid=24731 vsize=10162692 CPUtime=1.22 cores=4-7,12-15 /proc/24734/task/24754/stat : 24754 (java) S 24731 24734 20050 0 -1 4202560 10848 0 0 0 120 2 0 0 20 0 27 0 117377343 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301184583736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24755] ppid=24731 vsize=10162692 CPUtime=1.32 cores=4-7,12-15 /proc/24734/task/24755/stat : 24755 (java) S 24731 24734 20050 0 -1 4202560 6801 0 0 0 132 0 0 0 20 0 27 0 117377343 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301183531448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=24734/tid=24756] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24756/stat : 24756 (java) S 24731 24734 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117377343 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301182478840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=24734/tid=24757] ppid=24731 vsize=10162692 CPUtime=0.31 cores=4-7,12-15 /proc/24734/task/24757/stat : 24757 (java) S 24731 24734 20050 0 -1 4202560 51 0 0 0 15 16 0 0 20 0 27 0 117377343 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301181426760 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24734/tid=24760] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24760/stat : 24760 (java) S 24731 24734 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 117377413 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301178267176 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=24734/tid=24762] ppid=24731 vsize=10162692 CPUtime=873.06 cores=4-7,12-15 /proc/24734/task/24762/stat : 24762 (java) R 24731 24734 20050 0 -1 4202560 82 0 0 0 87291 15 0 0 20 0 27 0 117377463 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301179316680 140301566874811 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24763] ppid=24731 vsize=10162692 CPUtime=873.04 cores=4-7,12-15 /proc/24734/task/24763/stat : 24763 (java) R 24731 24734 20050 0 -1 4202560 830 0 0 0 87282 22 0 0 20 0 27 0 117377463 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301177212032 140301567015926 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 [pid=24734/tid=24764] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24764/stat : 24764 (java) S 24731 24734 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 117377464 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301180372008 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 1776.32 Current children cumulated vsize (KiB) 10162692 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+894.201 s] /proc/loadavg: 4.09 4.04 4.00 5/311 24867 /proc/meminfo: memFree=29077500/32872528 swapFree=9196/9196 [pid=24734] ppid=24731 vsize=10162692 CPUtime=1800.1 cores=4-7,12-15 /proc/24734/stat : 24734 (java) S 24731 24734 20050 0 -1 4202496 31160 0 1 0 179693 317 0 0 20 0 27 0 117377337 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140734825831808 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 /proc/24734/statm: 2540673 247328 2302 9 0 2531350 0 [pid=24734/tid=24735] ppid=24731 vsize=10162692 CPUtime=0.76 cores=4-7,12-15 /proc/24734/task/24735/stat : 24735 (java) S 24731 24734 20050 0 -1 4202560 2502 0 1 0 72 4 0 0 20 0 27 0 117377338 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301711651704 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24737] ppid=24731 vsize=10162692 CPUtime=1.32 cores=4-7,12-15 /proc/24734/task/24737/stat : 24737 (java) S 24731 24734 20050 0 -1 4202560 402 0 0 0 117 15 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301554985256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24738] ppid=24731 vsize=10162692 CPUtime=1.37 cores=4-7,12-15 /proc/24734/task/24738/stat : 24738 (java) S 24731 24734 20050 0 -1 4202560 383 0 0 0 117 20 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301553932456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24734/tid=24739] ppid=24731 vsize=10162692 CPUtime=1.35 cores=4-7,12-15 /proc/24734/task/24739/stat : 24739 (java) S 24731 24734 20050 0 -1 4202560 580 0 0 0 115 20 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301552880168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24734/tid=24740] ppid=24731 vsize=10162692 CPUtime=1.37 cores=4-7,12-15 /proc/24734/task/24740/stat : 24740 (java) S 24731 24734 20050 0 -1 4202560 626 0 0 0 115 22 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301551827368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=24734/tid=24741] ppid=24731 vsize=10162692 CPUtime=1.25 cores=4-7,12-15 /proc/24734/task/24741/stat : 24741 (java) S 24731 24734 20050 0 -1 4202560 516 0 0 0 108 17 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301550775080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=24734/tid=24742] ppid=24731 vsize=10162692 CPUtime=1.46 cores=4-7,12-15 /proc/24734/task/24742/stat : 24742 (java) S 24731 24734 20050 0 -1 4202560 559 0 0 0 121 25 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301213625000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24734/tid=24743] ppid=24731 vsize=10162692 CPUtime=1.22 cores=4-7,12-15 /proc/24734/task/24743/stat : 24743 (java) S 24731 24734 20050 0 -1 4202560 457 0 0 0 105 17 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301212572712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=24734/tid=24744] ppid=24731 vsize=10162692 CPUtime=1.34 cores=4-7,12-15 /proc/24734/task/24744/stat : 24744 (java) S 24731 24734 20050 0 -1 4202560 759 0 0 0 114 20 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301211519912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=24734/tid=24745] ppid=24731 vsize=10162692 CPUtime=1.61 cores=4-7,12-15 /proc/24734/task/24745/stat : 24745 (java) S 24731 24734 20050 0 -1 4202560 706 0 0 0 135 26 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301210466600 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=24734/tid=24746] ppid=24731 vsize=10162692 CPUtime=1.29 cores=4-7,12-15 /proc/24734/task/24746/stat : 24746 (java) S 24731 24734 20050 0 -1 4202560 979 0 0 0 109 20 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301209413800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24734/tid=24747] ppid=24731 vsize=10162692 CPUtime=1.53 cores=4-7,12-15 /proc/24734/task/24747/stat : 24747 (java) S 24731 24734 20050 0 -1 4202560 753 0 0 0 125 28 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301208361512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=24734/tid=24748] ppid=24731 vsize=10162692 CPUtime=1.42 cores=4-7,12-15 /proc/24734/task/24748/stat : 24748 (java) S 24731 24734 20050 0 -1 4202560 495 0 0 0 121 21 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301207308712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=24734/tid=24749] ppid=24731 vsize=10162692 CPUtime=1.38 cores=4-7,12-15 /proc/24734/task/24749/stat : 24749 (java) S 24731 24734 20050 0 -1 4202560 284 0 0 0 119 19 0 0 20 0 27 0 117377339 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301206256424 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24750] ppid=24731 vsize=10162692 CPUtime=3.19 cores=4-7,12-15 /proc/24734/task/24750/stat : 24750 (java) S 24731 24734 20050 0 -1 4202560 1221 0 0 0 316 3 0 0 20 0 27 0 117377340 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301188794984 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24734/tid=24751] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24751/stat : 24751 (java) S 24731 24734 20050 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 117377341 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301187741560 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=24734/tid=24752] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24752/stat : 24752 (java) S 24731 24734 20050 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 117377341 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301186688648 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=24734/tid=24753] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24753/stat : 24753 (java) S 24731 24734 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117377343 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301185636624 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=24734/tid=24754] ppid=24731 vsize=10162692 CPUtime=1.22 cores=4-7,12-15 /proc/24734/task/24754/stat : 24754 (java) S 24731 24734 20050 0 -1 4202560 10848 0 0 0 120 2 0 0 20 0 27 0 117377343 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301184583736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=24734/tid=24755] ppid=24731 vsize=10162692 CPUtime=1.32 cores=4-7,12-15 /proc/24734/task/24755/stat : 24755 (java) S 24731 24734 20050 0 -1 4202560 6801 0 0 0 132 0 0 0 20 0 27 0 117377343 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301183531448 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=24734/tid=24756] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24756/stat : 24756 (java) S 24731 24734 20050 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 117377343 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301182478840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=24734/tid=24757] ppid=24731 vsize=10162692 CPUtime=0.32 cores=4-7,12-15 /proc/24734/task/24757/stat : 24757 (java) S 24731 24734 20050 0 -1 4202560 51 0 0 0 16 16 0 0 20 0 27 0 117377343 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301181426760 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=24734/tid=24760] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24760/stat : 24760 (java) S 24731 24734 20050 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 117377413 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301178267176 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=24734/tid=24762] ppid=24731 vsize=10162692 CPUtime=884.91 cores=4-7,12-15 /proc/24734/task/24762/stat : 24762 (java) R 24731 24734 20050 0 -1 4202560 82 0 0 0 88476 15 0 0 20 0 27 0 117377463 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301179309792 140301566874880 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=24734/tid=24763] ppid=24731 vsize=10162692 CPUtime=884.89 cores=4-7,12-15 /proc/24734/task/24763/stat : 24763 (java) R 24731 24734 20050 0 -1 4202560 830 0 0 0 88467 22 0 0 20 0 27 0 117377463 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301177212032 140301567014733 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 [pid=24734/tid=24764] ppid=24731 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/24734/task/24764/stat : 24764 (java) S 24731 24734 20050 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 117377464 10406596608 247328 33554432000 1073741824 1073778376 140734825840672 140301180372008 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 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 24734 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 24734 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=349521 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=570457 # CPU time returned by wait4() is 1795.92 # while last known CPU time is 1800.1 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 894.263 CPU time (s): 1800.1 CPU user time (s): 1796.93 CPU system time (s): 3.17 CPU usage (%): 201.294 Max. virtual memory (cumulated for all children) (KiB): 10162692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.35 system time used= 3.57046 maximum resident set size= 989424 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31196 page faults= 1 swaps= 0 block input operations= 0 block output operations= 920 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25385 involuntary context switches= 18640 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.47986 second user time and 10.3474 second system time The end
Begin job on node132 at 2016-06-08 05:09:13 IDJOB=4080934 IDBENCH=92727 IDSOLVER=2543 FILE ID=node132/4080934-1465355353 RUNJOBID= node132-1465339282-20067 PBS_JOBID= 19853401 Free space on /tmp= 71744 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_8.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080934-1465355353/watcher-4080934-1465355353 -o /tmp/evaluation-result-4080934-1465355353/solver-4080934-1465355353 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465339282-20067 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080934-1465355353.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= c9443936e5641d3aca30cbd92e359860 RANDOM SEED=1336054595 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: 28142584 kB Buffers: 181220 kB Cached: 855660 kB SwapCached: 3220 kB Active: 3246448 kB Inactive: 671528 kB Active(anon): 2880508 kB Inactive(anon): 3312 kB Active(file): 365940 kB Inactive(file): 668216 kB Unevictable: 9196 kB Mlocked: 9196 kB SwapTotal: 67108856 kB SwapFree: 67094612 kB Dirty: 1132 kB Writeback: 0 kB AnonPages: 2932768 kB Mapped: 15520 kB Shmem: 0 kB Slab: 624560 kB SReclaimable: 64792 kB SUnreclaim: 559768 kB KernelStack: 2600 kB PageTables: 9752 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3210540 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 2867200 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:24:08