Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 4276771 | 1800.04 | 1794.06 |
Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_0.opb |
MD5SUM | ca79c3a72fcbc528e4a81e658af79fe0 |
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 | 4276771 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
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 | 100330219838 |
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 | 100330219838 |
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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Glucose 2.1 dynamic restart strategy 0.10/0.11 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.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-4085007-1465344751.opb 0.10/0.11 c reading problem ... 0.10/0.11 c objective function found 1.04/0.56 c ... done. Wall clock time 0.448s. 1.04/0.56 c declared #vars 9940 1.04/0.56 c #constraints 24512 1.04/0.56 c constraints type 1.04/0.56 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1.04/0.56 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.04/0.56 c org.sat4j.specs.Constr$1 => 2 1.04/0.56 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.04/0.56 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1.04/0.56 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625 1.04/0.56 c 24512 constraints processed. 1.04/0.56 c objective function length is 9730 literals 1.84/0.86 c SATISFIABLE 1.84/0.86 c OPTIMIZING... 1.84/0.86 c Got one! Elapsed wall clock time (in seconds):0.756 1.84/0.86 o 5658625 2.01/0.98 c Got one! Elapsed wall clock time (in seconds):0.872 2.01/0.98 o 4328711 2.22/1.03 c Got one! Elapsed wall clock time (in seconds):0.924 2.22/1.03 o 4278795 2.22/1.07 c Got one! Elapsed wall clock time (in seconds):0.961 2.22/1.07 o 4277815 2.51/1.13 c Got one! Elapsed wall clock time (in seconds):1.024 2.51/1.13 o 4276771 4.05/2.69 c cleaning 2660 clauses out of 5342 with flag 10018/5342 6.12/4.61 c cleaning 4341 clauses out of 8681 with flag 22252/11341 8.23/6.71 c cleaning 5669 clauses out of 11340 with flag 36508/18341 10.63/9.15 c cleaning 6835 clauses out of 13672 with flag 53013/26342 13.36/11.89 c cleaning 7917 clauses out of 15836 with flag 71331/35341 16.44/14.90 c cleaning 8957 clauses out of 17919 with flag 92781/45341 19.74/18.18 c cleaning 9978 clauses out of 19962 with flag 115953/56341 23.44/21.81 c cleaning 10988 clauses out of 21984 with flag 141846/68341 27.43/25.81 c cleaning 11998 clauses out of 23996 with flag 168905/81341 31.74/30.14 c cleaning 12999 clauses out of 25998 with flag 198741/95341 36.35/34.79 c cleaning 14000 clauses out of 28000 with flag 230939/110342 41.44/39.80 c cleaning 14998 clauses out of 29999 with flag 263557/126341 46.75/45.11 c cleaning 15998 clauses out of 32001 with flag 299029/143341 52.62/50.90 c cleaning 16998 clauses out of 34003 with flag 336375/161341 58.72/57.09 c cleaning 18001 clauses out of 36005 with flag 376687/180341 65.42/63.75 c cleaning 18994 clauses out of 38004 with flag 419324/200341 72.41/70.75 c cleaning 19997 clauses out of 40011 with flag 465461/221342 79.71/78.01 c cleaning 21005 clauses out of 42014 with flag 515846/243342 87.55/85.80 c cleaning 22001 clauses out of 44009 with flag 568736/266342 95.64/93.88 c cleaning 23004 clauses out of 46008 with flag 618322/290342 104.04/102.22 c cleaning 24002 clauses out of 48006 with flag 668625/315344 112.95/111.20 c cleaning 24999 clauses out of 50001 with flag 720934/341341 122.44/120.69 c cleaning 25996 clauses out of 52002 with flag 775216/368341 133.11/131.10 c cleaning 26996 clauses out of 54006 with flag 831502/396341 143.61/141.69 c cleaning 28001 clauses out of 56011 with flag 889807/425342 155.01/153.09 c cleaning 29002 clauses out of 58010 with flag 950193/455342 167.05/164.98 c cleaning 29997 clauses out of 60008 with flag 1012566/486342 179.15/177.06 c cleaning 31006 clauses out of 62011 with flag 1076919/518342 191.65/189.58 c cleaning 31997 clauses out of 64004 with flag 1147221/551341 205.35/203.26 c cleaning 33003 clauses out of 66009 with flag 1217915/585343 219.80/217.60 c cleaning 34000 clauses out of 68004 with flag 1288540/620341 234.70/232.43 c cleaning 35001 clauses out of 70005 with flag 1363098/656342 249.81/247.53 c cleaning 35998 clauses out of 72003 with flag 1442405/693341 265.44/263.07 c cleaning 37001 clauses out of 74005 with flag 1521883/731341 282.03/279.60 c cleaning 38003 clauses out of 76005 with flag 1604561/770342 299.40/296.88 c cleaning 39000 clauses out of 78001 with flag 1688453/810341 316.10/313.54 c cleaning 39999 clauses out of 80001 with flag 1774557/851341 334.12/331.41 c cleaning 41001 clauses out of 82002 with flag 1862594/893341 352.53/349.86 c cleaning 41996 clauses out of 84001 with flag 1951310/936341 371.89/369.09 c cleaning 42996 clauses out of 86005 with flag 2043524/980341 391.30/388.49 c cleaning 44002 clauses out of 88010 with flag 2139107/1025342 411.53/408.65 c cleaning 45001 clauses out of 90008 with flag 2235602/1071342 432.60/429.68 c cleaning 45999 clauses out of 92007 with flag 2333579/1118342 453.91/450.94 c cleaning 46997 clauses out of 94007 with flag 2431038/1166341 475.48/472.46 c cleaning 47999 clauses out of 96010 with flag 2529933/1215341 498.87/495.71 c cleaning 49005 clauses out of 98013 with flag 2634397/1265343 521.97/518.85 c cleaning 49999 clauses out of 100006 with flag 2737713/1316341 545.06/541.81 c cleaning 50998 clauses out of 102007 with flag 2842412/1368341 569.44/566.18 c cleaning 52004 clauses out of 104009 with flag 2952613/1421341 594.54/591.24 c cleaning 52996 clauses out of 106005 with flag 3066507/1475341 620.45/617.11 c cleaning 54001 clauses out of 108010 with flag 3181890/1530342 646.47/643.16 c cleaning 54998 clauses out of 110008 with flag 3299169/1586341 674.34/670.95 c cleaning 55999 clauses out of 112010 with flag 3413871/1643341 702.32/698.86 c cleaning 57004 clauses out of 114012 with flag 3530482/1701342 730.02/726.47 c cleaning 57999 clauses out of 116008 with flag 3649214/1760342 760.08/756.41 c cleaning 58996 clauses out of 118008 with flag 3769894/1820341 790.47/786.70 c cleaning 60007 clauses out of 120014 with flag 3892709/1881343 820.57/816.73 c cleaning 60999 clauses out of 122006 with flag 4017643/1943342 850.76/846.83 c cleaning 61999 clauses out of 124006 with flag 4144399/2006341 881.98/877.92 c cleaning 63001 clauses out of 126008 with flag 4273203/2070342 916.82/912.79 c cleaning 64002 clauses out of 128006 with flag 4407615/2135341 951.78/947.62 c cleaning 65001 clauses out of 130005 with flag 4547158/2201342 988.01/983.82 c cleaning 65994 clauses out of 132004 with flag 4684260/2268342 1024.62/1020.49 c cleaning 66995 clauses out of 134009 with flag 4824280/2336341 1063.81/1059.54 c cleaning 68007 clauses out of 136016 with flag 4967806/2405343 1103.48/1099.13 c cleaning 68999 clauses out of 138009 with flag 5117045/2475343 1142.68/1138.25 c cleaning 69999 clauses out of 140009 with flag 5266527/2546342 1183.74/1179.21 c cleaning 71004 clauses out of 142011 with flag 5417917/2618343 1220.06/1215.45 c cleaning 72000 clauses out of 144006 with flag 5568196/2691342 1260.13/1255.44 c cleaning 73000 clauses out of 146005 with flag 5717086/2765341 1301.65/1296.85 c cleaning 73999 clauses out of 148005 with flag 5867992/2840341 1344.29/1339.45 c cleaning 75000 clauses out of 150007 with flag 6020834/2916342 1387.50/1382.57 c cleaning 75998 clauses out of 152007 with flag 6175858/2993342 1430.00/1424.93 c cleaning 76997 clauses out of 154009 with flag 6332830/3071342 1473.65/1468.42 c cleaning 77994 clauses out of 156012 with flag 6491663/3150342 1517.85/1512.58 c cleaning 79006 clauses out of 158017 with flag 6652377/3230341 1565.19/1559.76 c cleaning 80003 clauses out of 160012 with flag 6815779/3311342 1612.99/1607.46 c cleaning 81000 clauses out of 162008 with flag 6980781/3393341 1661.80/1656.10 c cleaning 81998 clauses out of 164008 with flag 7150787/3476341 1713.40/1707.62 c cleaning 83001 clauses out of 166012 with flag 7325012/3560343 1766.44/1760.56 c cleaning 83998 clauses out of 168009 with flag 7496049/3645341 1800.04/1794.00 c starts : 8 1800.04/1794.00 c conflicts : 3706792 1800.04/1794.00 c decisions : 4132424 1800.04/1794.00 c propagations : 52076009 1800.04/1794.00 c inspects : 17035253335 1800.04/1794.00 c shortcuts : 0 1800.04/1794.00 c learnt literals : 0 1800.04/1794.00 c learnt binary clauses : 0 1800.04/1794.00 c learnt ternary clauses : 4 1800.04/1794.00 c learnt constraints : 3706792 1800.04/1794.00 c ignored constraints : 0 1800.04/1794.00 c root simplifications : 0 1800.04/1794.00 c removed literals (reason simplification) : 0 1800.04/1794.00 c reason swapping (by a shorter reason) : 0 1800.04/1794.00 c Calls to reduceDB : 81 1800.04/1794.00 c Number of update (reduction) of LBD : 28278 1800.04/1794.00 c Imported unit clauses : 0 1800.04/1794.00 c number of reductions to clauses (during analyze) : 0 1800.04/1794.00 c number of learned constraints concerned by reduction : 0 1800.04/1794.00 c number of learning phase by resolution : 0 1800.04/1794.00 c number of learning phase by cutting planes : 0 1800.04/1794.00 c speed (assignments/second) : 29037.425351704293 1800.04/1794.00 c non guided choices 26 1800.04/1794.03 c learnt constraints type 1800.04/1794.03 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 145462 1800.04/1794.03 s SATISFIABLE 1800.04/1794.03 c Found 5 solution(s) 1800.04/1794.04 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.04/1794.05 c objective function=4276771 1800.04/1794.05 c Total wall clock time (in seconds): 1793.941
OK 4276771
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-4085007-1465344751/watcher-4085007-1465344751 -o /tmp/evaluation-result-4085007-1465344751/solver-4085007-1465344751 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465339364-19291 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085007-1465344751.opb pid=19910 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.29 2.22 2.19 3/193 19913 /proc/meminfo: memFree=29589496/32872528 swapFree=14448/1543360 [pid=19913] ppid=19910 vsize=96260 CPUtime=0 cores=0,2,4,6 /proc/19913/stat : 19913 (java) S 19910 19913 19275 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 116408747 98570240 977 33554432000 1073741824 1073778376 140734691137680 140734691128816 266439000125 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19913/statm: 24065 977 743 9 0 16771 0 [pid=19913/tid=19914] ppid=19910 vsize=96260 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19914/stat : 19914 (java) R 19910 19913 19275 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 116408748 98570240 977 33554432000 1073741824 1073778376 140734691137680 139776231718440 266435642752 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0 [startup+0.100115 s] /proc/loadavg: 2.29 2.22 2.19 3/193 19913 /proc/meminfo: memFree=29589496/32872528 swapFree=14448/1543360 [pid=19913] ppid=19910 vsize=9558476 CPUtime=0.1 cores=0,2,4,6 /proc/19913/stat : 19913 (java) S 19910 19913 19275 0 -1 4202496 4407 0 1 0 9 1 0 0 20 0 18 0 116408747 9787879424 6044 33554432000 1073741824 1073778376 140734691137680 140734691128816 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19913/statm: 2389619 6047 2128 9 0 2380296 0 [pid=19913/tid=19914] ppid=19910 vsize=9558476 CPUtime=0.07 cores=0,2,4,6 /proc/19913/task/19914/stat : 19914 (java) R 19910 19913 19275 0 -1 4202560 2381 0 1 0 7 0 0 0 20 0 18 0 116408748 9787879424 6050 33554432000 1073741824 1073778376 140734691137680 139776231721888 266439017584 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200318 s] /proc/loadavg: 2.29 2.22 2.19 3/193 19913 /proc/meminfo: memFree=29589496/32872528 swapFree=14448/1543360 [pid=19913] ppid=19910 vsize=9558476 CPUtime=0.3 cores=0,2,4,6 /proc/19913/stat : 19913 (java) S 19910 19913 19275 0 -1 4202496 5031 0 1 0 29 1 0 0 20 0 18 0 116408747 9787879424 6987 33554432000 1073741824 1073778376 140734691137680 140734691128816 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19913/statm: 2389619 6987 2221 9 0 2380296 0 [pid=19913/tid=19914] ppid=19910 vsize=9558476 CPUtime=0.17 cores=0,2,4,6 /proc/19913/task/19914/stat : 19914 (java) R 19910 19913 19275 0 -1 4202560 2397 0 1 0 17 0 0 0 20 0 18 0 116408748 9787879424 6987 33554432000 1073741824 1073778376 140734691137680 139776231721888 139776103980040 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 9558476 [startup+0.300323 s] /proc/loadavg: 2.29 2.22 2.19 3/193 19913 /proc/meminfo: memFree=29589496/32872528 swapFree=14448/1543360 [pid=19913] ppid=19910 vsize=9558476 CPUtime=0.53 cores=0,2,4,6 /proc/19913/stat : 19913 (java) S 19910 19913 19275 0 -1 4202496 7380 0 1 0 51 2 0 0 20 0 18 0 116408747 9787879424 11764 33554432000 1073741824 1073778376 140734691137680 140734691128816 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19913/statm: 2389619 11769 2234 9 0 2380296 0 [pid=19913/tid=19914] ppid=19910 vsize=9558476 CPUtime=0.27 cores=0,2,4,6 /proc/19913/task/19914/stat : 19914 (java) R 19910 19913 19275 0 -1 4202560 2408 0 1 0 26 1 0 0 20 0 18 0 116408748 9787879424 11769 33554432000 1073741824 1073778376 140734691137680 139776231714544 139776103569567 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 9558476 [startup+0.700212 s] /proc/loadavg: 2.29 2.22 2.19 3/193 19913 /proc/meminfo: memFree=29589496/32872528 swapFree=14448/1543360 [pid=19913] ppid=19910 vsize=9625040 CPUtime=1.62 cores=0,2,4,6 /proc/19913/stat : 19913 (java) S 19910 19913 19275 0 -1 4202496 11905 0 1 0 158 4 0 0 20 0 19 0 116408747 9856040960 25452 33554432000 1073741824 1073778376 140734691137680 140734691128816 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19913/statm: 2406260 25452 2262 9 0 2396937 0 [pid=19913/tid=19914] ppid=19910 vsize=9625040 CPUtime=0.67 cores=0,2,4,6 /proc/19913/task/19914/stat : 19914 (java) R 19910 19913 19275 0 -1 4202560 2440 0 1 0 65 2 0 0 20 0 19 0 116408748 9856040960 25452 33554432000 1073741824 1073778376 140734691137680 139776231709264 139776103571016 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1.62 Current children cumulated vsize (KiB) 9625040 [startup+1.50072 s] /proc/loadavg: 2.43 2.25 2.20 4/212 19932 /proc/meminfo: memFree=29477636/32872528 swapFree=14448/1543360 [pid=19913] ppid=19910 vsize=9625040 CPUtime=2.94 cores=0,2,4,6 /proc/19913/stat : 19913 (java) S 19910 19913 19275 0 -1 4202496 11929 0 1 0 290 4 0 0 20 0 19 0 116408747 9856040960 30363 33554432000 1073741824 1073778376 140734691137680 140734691128816 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19913/statm: 2406260 30363 2271 9 0 2396937 0 [pid=19913/tid=19914] ppid=19910 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/19913/task/19914/stat : 19914 (java) R 19910 19913 19275 0 -1 4202560 2451 0 1 0 144 2 0 0 20 0 19 0 116408748 9856040960 30363 33554432000 1073741824 1073778376 140734691137680 139776231723272 139776104530262 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19916] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19916/stat : 19916 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 30363 33554432000 1073741824 1073778376 140734691137680 139776075185064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19917] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19917/stat : 19917 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 30363 33554432000 1073741824 1073778376 140734691137680 139776074132520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19913/tid=19918] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19918/stat : 19918 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 30363 33554432000 1073741824 1073778376 140734691137680 139776073079464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19913/tid=19919] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19919/stat : 19919 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 30363 33554432000 1073741824 1073778376 140734691137680 139776072026920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19920] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19920/stat : 19920 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 30363 33554432000 1073741824 1073778376 140734691137680 139776070973864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19921] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19921/stat : 19921 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 30363 33554432000 1073741824 1073778376 140734691137680 139776069921320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19922] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19922/stat : 19922 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 30363 33554432000 1073741824 1073778376 140734691137680 139776068868264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19923] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19923/stat : 19923 (java) S 19910 19913 19275 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 30363 33554432000 1073741824 1073778376 140734691137680 139776067815720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19924] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19924/stat : 19924 (java) S 19910 19913 19275 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 116408750 9856040960 30363 33554432000 1073741824 1073778376 140734691137680 139776055618408 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19925] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19925/stat : 19925 (java) S 19910 19913 19275 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 116408750 9856040960 30363 33554432000 1073741824 1073778376 140734691137680 139776054564728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19926] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19926/stat : 19926 (java) S 19910 19913 19275 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 116408750 9856040960 30363 33554432000 1073741824 1073778376 140734691137680 139776053511560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19927] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19927/stat : 19927 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408753 9856040960 30363 33554432000 1073741824 1073778376 140734691137680 139776052460304 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19928] ppid=19910 vsize=9625040 CPUtime=0.72 cores=0,2,4,6 /proc/19913/task/19928/stat : 19928 (java) S 19910 19913 19275 0 -1 4202560 4564 0 0 0 71 1 0 0 20 0 19 0 116408753 9856040960 30363 33554432000 1073741824 1073778376 140734691137680 139776051407160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19929] ppid=19910 vsize=9625040 CPUtime=0.71 cores=0,2,4,6 /proc/19913/task/19929/stat : 19929 (java) S 19910 19913 19275 0 -1 4202560 3637 0 0 0 71 0 0 0 20 0 19 0 116408753 9856040960 30363 33554432000 1073741824 1073778376 140734691137680 139776050354616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19913/tid=19930] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19930/stat : 19930 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408753 9856040960 30363 33554432000 1073741824 1073778376 140734691137680 139776049301752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19913/tid=19931] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19931/stat : 19931 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408753 9856040960 30363 33554432000 1073741824 1073778376 140734691137680 139776048249416 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19932] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19932/stat : 19932 (java) S 19910 19913 19275 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116408807 9856040960 30363 33554432000 1073741824 1073778376 140734691137680 139776047195688 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.94 Current children cumulated vsize (KiB) 9625040 [startup+3.10073 s] /proc/loadavg: 2.43 2.25 2.20 3/212 19932 /proc/meminfo: memFree=29467016/32872528 swapFree=14448/1543360 [pid=19913] ppid=19910 vsize=9625040 CPUtime=4.57 cores=0,2,4,6 /proc/19913/stat : 19913 (java) S 19910 19913 19275 0 -1 4202496 11938 0 1 0 453 4 0 0 20 0 19 0 116408747 9856040960 31903 33554432000 1073741824 1073778376 140734691137680 140734691128816 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19913/statm: 2406260 31903 2275 9 0 2396937 0 [pid=19913/tid=19914] ppid=19910 vsize=9625040 CPUtime=3.06 cores=0,2,4,6 /proc/19913/task/19914/stat : 19914 (java) R 19910 19913 19275 0 -1 4202560 2455 0 1 0 304 2 0 0 20 0 19 0 116408748 9856040960 31903 33554432000 1073741824 1073778376 140734691137680 139776231714560 139776104530254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19916] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19916/stat : 19916 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 31903 33554432000 1073741824 1073778376 140734691137680 139776075185064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19917] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19917/stat : 19917 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 31903 33554432000 1073741824 1073778376 140734691137680 139776074132520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19913/tid=19918] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19918/stat : 19918 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 31903 33554432000 1073741824 1073778376 140734691137680 139776073079464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19913/tid=19919] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19919/stat : 19919 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 31903 33554432000 1073741824 1073778376 140734691137680 139776072026920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19920] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19920/stat : 19920 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 31903 33554432000 1073741824 1073778376 140734691137680 139776070973864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19921] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19921/stat : 19921 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 31903 33554432000 1073741824 1073778376 140734691137680 139776069921320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19922] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19922/stat : 19922 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 31903 33554432000 1073741824 1073778376 140734691137680 139776068868264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19923] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19923/stat : 19923 (java) S 19910 19913 19275 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 31903 33554432000 1073741824 1073778376 140734691137680 139776067815720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19924] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19924/stat : 19924 (java) S 19910 19913 19275 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 116408750 9856040960 31903 33554432000 1073741824 1073778376 140734691137680 139776055618408 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19925] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19925/stat : 19925 (java) S 19910 19913 19275 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 116408750 9856040960 31903 33554432000 1073741824 1073778376 140734691137680 139776054564728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19926] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19926/stat : 19926 (java) S 19910 19913 19275 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 116408750 9856040960 31903 33554432000 1073741824 1073778376 140734691137680 139776053511560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19927] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19927/stat : 19927 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408753 9856040960 31903 33554432000 1073741824 1073778376 140734691137680 139776052460304 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19928] ppid=19910 vsize=9625040 CPUtime=0.75 cores=0,2,4,6 /proc/19913/task/19928/stat : 19928 (java) S 19910 19913 19275 0 -1 4202560 4568 0 0 0 73 2 0 0 20 0 19 0 116408753 9856040960 31903 33554432000 1073741824 1073778376 140734691137680 139776051407160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19929] ppid=19910 vsize=9625040 CPUtime=0.72 cores=0,2,4,6 /proc/19913/task/19929/stat : 19929 (java) S 19910 19913 19275 0 -1 4202560 3638 0 0 0 72 0 0 0 20 0 19 0 116408753 9856040960 31903 33554432000 1073741824 1073778376 140734691137680 139776050354616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19913/tid=19930] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19930/stat : 19930 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408753 9856040960 31903 33554432000 1073741824 1073778376 140734691137680 139776049301752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19913/tid=19931] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19931/stat : 19931 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408753 9856040960 31903 33554432000 1073741824 1073778376 140734691137680 139776048249416 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19932] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19932/stat : 19932 (java) S 19910 19913 19275 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116408807 9856040960 31903 33554432000 1073741824 1073778376 140734691137680 139776047195688 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 4.57 Current children cumulated vsize (KiB) 9625040 [startup+6.30074 s] /proc/loadavg: 2.39 2.25 2.19 3/212 19932 /proc/meminfo: memFree=29428748/32872528 swapFree=14448/1543360 [pid=19913] ppid=19910 vsize=9625040 CPUtime=7.82 cores=0,2,4,6 /proc/19913/stat : 19913 (java) S 19910 19913 19275 0 -1 4202496 11953 0 1 0 777 5 0 0 20 0 19 0 116408747 9856040960 34768 33554432000 1073741824 1073778376 140734691137680 140734691128816 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19913/statm: 2406260 34768 2276 9 0 2396937 0 [pid=19913/tid=19914] ppid=19910 vsize=9625040 CPUtime=6.25 cores=0,2,4,6 /proc/19913/task/19914/stat : 19914 (java) R 19910 19913 19275 0 -1 4202560 2462 0 1 0 623 2 0 0 20 0 19 0 116408748 9856040960 34768 33554432000 1073741824 1073778376 140734691137680 139776231723480 139776104530189 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19916] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19916/stat : 19916 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 34768 33554432000 1073741824 1073778376 140734691137680 139776075185064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19917] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19917/stat : 19917 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 34768 33554432000 1073741824 1073778376 140734691137680 139776074132520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19913/tid=19918] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19918/stat : 19918 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 34768 33554432000 1073741824 1073778376 140734691137680 139776073079464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19913/tid=19919] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19919/stat : 19919 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 34768 33554432000 1073741824 1073778376 140734691137680 139776072026920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19920] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19920/stat : 19920 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 34768 33554432000 1073741824 1073778376 140734691137680 139776070973864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19921] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19921/stat : 19921 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 34768 33554432000 1073741824 1073778376 140734691137680 139776069921320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19922] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19922/stat : 19922 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 34768 33554432000 1073741824 1073778376 140734691137680 139776068868264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19923] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19923/stat : 19923 (java) S 19910 19913 19275 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 116408749 9856040960 34768 33554432000 1073741824 1073778376 140734691137680 139776067815720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19924] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19924/stat : 19924 (java) S 19910 19913 19275 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 116408750 9856040960 34768 33554432000 1073741824 1073778376 140734691137680 139776055618408 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19925] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19925/stat : 19925 (java) S 19910 19913 19275 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 116408750 9856040960 34768 33554432000 1073741824 1073778376 140734691137680 139776054564728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19926] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19926/stat : 19926 (java) S 19910 19913 19275 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 116408750 9856040960 34768 33554432000 1073741824 1073778376 140734691137680 139776053511560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19927] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19927/stat : 19927 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408753 9856040960 34768 33554432000 1073741824 1073778376 140734691137680 139776052460304 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19928] ppid=19910 vsize=9625040 CPUtime=0.79 cores=0,2,4,6 /proc/19913/task/19928/stat : 19928 (java) S 19910 19913 19275 0 -1 4202560 4575 0 0 0 77 2 0 0 20 0 19 0 116408753 9856040960 34768 33554432000 1073741824 1073778376 140734691137680 139776051407160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19929] ppid=19910 vsize=9625040 CPUtime=0.73 cores=0,2,4,6 ################ # More data... # ################ [pid=19913/tid=19932] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19932/stat : 19932 (java) S 19910 19913 19275 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116408807 9856040960 126390 33554432000 1073741824 1073778376 140734691137680 139776047195688 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1668 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.21 2.17 2.17 3/213 19976 /proc/meminfo: memFree=28834388/32872528 swapFree=14448/1543360 [pid=19913] ppid=19910 vsize=9625040 CPUtime=1728.13 cores=0,2,4,6 /proc/19913/stat : 19913 (java) S 19910 19913 19275 0 -1 4202496 15098 0 1 0 172727 86 0 0 20 0 19 0 116408747 9856040960 125976 33554432000 1073741824 1073778376 140734691137680 140734691128816 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19913/statm: 2406260 125976 2298 9 0 2396937 0 [pid=19913/tid=19914] ppid=19910 vsize=9625040 CPUtime=1715.31 cores=0,2,4,6 /proc/19913/task/19914/stat : 19914 (java) R 19910 19913 19275 0 -1 4202560 2538 0 1 0 171500 31 0 0 20 0 19 0 116408748 9856040960 125976 33554432000 1073741824 1073778376 140734691137680 139776231722256 139776104530254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19916] ppid=19910 vsize=9625040 CPUtime=0.67 cores=0,2,4,6 /proc/19913/task/19916/stat : 19916 (java) S 19910 19913 19275 0 -1 4202560 400 0 0 0 60 7 0 0 20 0 19 0 116408749 9856040960 125976 33554432000 1073741824 1073778376 140734691137680 139776075185064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19913/tid=19917] ppid=19910 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/19913/task/19917/stat : 19917 (java) S 19910 19913 19275 0 -1 4202560 471 0 0 0 68 9 0 0 20 0 19 0 116408749 9856040960 125976 33554432000 1073741824 1073778376 140734691137680 139776074132520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19913/tid=19918] ppid=19910 vsize=9625040 CPUtime=0.75 cores=0,2,4,6 /proc/19913/task/19918/stat : 19918 (java) S 19910 19913 19275 0 -1 4202560 291 0 0 0 70 5 0 0 20 0 19 0 116408749 9856040960 125976 33554432000 1073741824 1073778376 140734691137680 139776073079464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19919] ppid=19910 vsize=9625040 CPUtime=0.63 cores=0,2,4,6 /proc/19913/task/19919/stat : 19919 (java) S 19910 19913 19275 0 -1 4202560 309 0 0 0 57 6 0 0 20 0 19 0 116408749 9856040960 125976 33554432000 1073741824 1073778376 140734691137680 139776072026920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19920] ppid=19910 vsize=9625040 CPUtime=0.64 cores=0,2,4,6 /proc/19913/task/19920/stat : 19920 (java) S 19910 19913 19275 0 -1 4202560 189 0 0 0 58 6 0 0 20 0 19 0 116408749 9856040960 125976 33554432000 1073741824 1073778376 140734691137680 139776070973864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19921] ppid=19910 vsize=9625040 CPUtime=0.69 cores=0,2,4,6 /proc/19913/task/19921/stat : 19921 (java) S 19910 19913 19275 0 -1 4202560 308 0 0 0 61 8 0 0 20 0 19 0 116408749 9856040960 125976 33554432000 1073741824 1073778376 140734691137680 139776069921320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19922] ppid=19910 vsize=9625040 CPUtime=0.84 cores=0,2,4,6 /proc/19913/task/19922/stat : 19922 (java) S 19910 19913 19275 0 -1 4202560 408 0 0 0 73 11 0 0 20 0 19 0 116408749 9856040960 125976 33554432000 1073741824 1073778376 140734691137680 139776068868264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19913/tid=19923] ppid=19910 vsize=9625040 CPUtime=0.76 cores=0,2,4,6 /proc/19913/task/19923/stat : 19923 (java) S 19910 19913 19275 0 -1 4202560 316 0 0 0 68 8 0 0 20 0 19 0 116408749 9856040960 125976 33554432000 1073741824 1073778376 140734691137680 139776067815720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19924] ppid=19910 vsize=9625040 CPUtime=0.8 cores=0,2,4,6 /proc/19913/task/19924/stat : 19924 (java) S 19910 19913 19275 0 -1 4202560 290 0 0 0 77 3 0 0 20 0 19 0 116408750 9856040960 125976 33554432000 1073741824 1073778376 140734691137680 139776055618408 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19925] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19925/stat : 19925 (java) S 19910 19913 19275 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 116408750 9856040960 125976 33554432000 1073741824 1073778376 140734691137680 139776054564728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19926] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19926/stat : 19926 (java) S 19910 19913 19275 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 116408750 9856040960 125976 33554432000 1073741824 1073778376 140734691137680 139776053511560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19927] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19927/stat : 19927 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408753 9856040960 125976 33554432000 1073741824 1073778376 140734691137680 139776052460304 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19928] ppid=19910 vsize=9625040 CPUtime=0.79 cores=0,2,4,6 /proc/19913/task/19928/stat : 19928 (java) S 19910 19913 19275 0 -1 4202560 4575 0 0 0 77 2 0 0 20 0 19 0 116408753 9856040960 125976 33554432000 1073741824 1073778376 140734691137680 139776051407160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19929] ppid=19910 vsize=9625040 CPUtime=0.79 cores=0,2,4,6 /proc/19913/task/19929/stat : 19929 (java) S 19910 19913 19275 0 -1 4202560 3641 0 0 0 79 0 0 0 20 0 19 0 116408753 9856040960 125976 33554432000 1073741824 1073778376 140734691137680 139776050354616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19913/tid=19930] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19930/stat : 19930 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408753 9856040960 125976 33554432000 1073741824 1073778376 140734691137680 139776049301752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19913/tid=19931] ppid=19910 vsize=9625040 CPUtime=0.53 cores=0,2,4,6 /proc/19913/task/19931/stat : 19931 (java) S 19910 19913 19275 0 -1 4202560 99 0 0 0 27 26 0 0 20 0 19 0 116408753 9856040960 125976 33554432000 1073741824 1073778376 140734691137680 139776048249416 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19932] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19932/stat : 19932 (java) S 19910 19913 19275 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116408807 9856040960 125976 33554432000 1073741824 1073778376 140734691137680 139776047195688 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1728.13 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.22 2.18 2.18 4/213 20043 /proc/meminfo: memFree=29068776/32872528 swapFree=14448/1543360 [pid=19913] ppid=19910 vsize=9625040 CPUtime=1788.28 cores=0,2,4,6 /proc/19913/stat : 19913 (java) S 19910 19913 19275 0 -1 4202496 15185 0 1 0 178741 87 0 0 20 0 19 0 116408747 9856040960 125442 33554432000 1073741824 1073778376 140734691137680 140734691128816 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19913/statm: 2406260 125442 2298 9 0 2396937 0 [pid=19913/tid=19914] ppid=19910 vsize=9625040 CPUtime=1774.93 cores=0,2,4,6 /proc/19913/task/19914/stat : 19914 (java) R 19910 19913 19275 0 -1 4202560 2541 0 1 0 177462 31 0 0 20 0 19 0 116408748 9856040960 125442 33554432000 1073741824 1073778376 140734691137680 139776231722256 139776104306811 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19916] ppid=19910 vsize=9625040 CPUtime=0.69 cores=0,2,4,6 /proc/19913/task/19916/stat : 19916 (java) S 19910 19913 19275 0 -1 4202560 426 0 0 0 62 7 0 0 20 0 19 0 116408749 9856040960 125442 33554432000 1073741824 1073778376 140734691137680 139776075185064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19913/tid=19917] ppid=19910 vsize=9625040 CPUtime=0.8 cores=0,2,4,6 /proc/19913/task/19917/stat : 19917 (java) S 19910 19913 19275 0 -1 4202560 471 0 0 0 71 9 0 0 20 0 19 0 116408749 9856040960 125442 33554432000 1073741824 1073778376 140734691137680 139776074132520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19913/tid=19918] ppid=19910 vsize=9625040 CPUtime=0.78 cores=0,2,4,6 /proc/19913/task/19918/stat : 19918 (java) S 19910 19913 19275 0 -1 4202560 300 0 0 0 73 5 0 0 20 0 19 0 116408749 9856040960 125442 33554432000 1073741824 1073778376 140734691137680 139776073079464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19913/tid=19919] ppid=19910 vsize=9625040 CPUtime=0.67 cores=0,2,4,6 /proc/19913/task/19919/stat : 19919 (java) S 19910 19913 19275 0 -1 4202560 310 0 0 0 61 6 0 0 20 0 19 0 116408749 9856040960 125442 33554432000 1073741824 1073778376 140734691137680 139776072026920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19920] ppid=19910 vsize=9625040 CPUtime=0.68 cores=0,2,4,6 /proc/19913/task/19920/stat : 19920 (java) S 19910 19913 19275 0 -1 4202560 189 0 0 0 62 6 0 0 20 0 19 0 116408749 9856040960 125442 33554432000 1073741824 1073778376 140734691137680 139776070973864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19921] ppid=19910 vsize=9625040 CPUtime=0.7 cores=0,2,4,6 /proc/19913/task/19921/stat : 19921 (java) S 19910 19913 19275 0 -1 4202560 308 0 0 0 62 8 0 0 20 0 19 0 116408749 9856040960 125442 33554432000 1073741824 1073778376 140734691137680 139776069921320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19922] ppid=19910 vsize=9625040 CPUtime=0.87 cores=0,2,4,6 /proc/19913/task/19922/stat : 19922 (java) S 19910 19913 19275 0 -1 4202560 408 0 0 0 76 11 0 0 20 0 19 0 116408749 9856040960 125442 33554432000 1073741824 1073778376 140734691137680 139776068868264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19913/tid=19923] ppid=19910 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/19913/task/19923/stat : 19923 (java) S 19910 19913 19275 0 -1 4202560 316 0 0 0 69 8 0 0 20 0 19 0 116408749 9856040960 125442 33554432000 1073741824 1073778376 140734691137680 139776067815720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19913/tid=19924] ppid=19910 vsize=9625040 CPUtime=0.96 cores=0,2,4,6 /proc/19913/task/19924/stat : 19924 (java) S 19910 19913 19275 0 -1 4202560 334 0 0 0 93 3 0 0 20 0 19 0 116408750 9856040960 125442 33554432000 1073741824 1073778376 140734691137680 139776055618408 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19925] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19925/stat : 19925 (java) S 19910 19913 19275 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 116408750 9856040960 125442 33554432000 1073741824 1073778376 140734691137680 139776054564728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19926] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19926/stat : 19926 (java) S 19910 19913 19275 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 116408750 9856040960 125442 33554432000 1073741824 1073778376 140734691137680 139776053511560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19927] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19927/stat : 19927 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408753 9856040960 125442 33554432000 1073741824 1073778376 140734691137680 139776052460304 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19928] ppid=19910 vsize=9625040 CPUtime=0.79 cores=0,2,4,6 /proc/19913/task/19928/stat : 19928 (java) S 19910 19913 19275 0 -1 4202560 4575 0 0 0 77 2 0 0 20 0 19 0 116408753 9856040960 125442 33554432000 1073741824 1073778376 140734691137680 139776051407160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19929] ppid=19910 vsize=9625040 CPUtime=0.79 cores=0,2,4,6 /proc/19913/task/19929/stat : 19929 (java) S 19910 19913 19275 0 -1 4202560 3641 0 0 0 79 0 0 0 20 0 19 0 116408753 9856040960 125442 33554432000 1073741824 1073778376 140734691137680 139776050354616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19913/tid=19930] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19930/stat : 19930 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408753 9856040960 125442 33554432000 1073741824 1073778376 140734691137680 139776049301752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19913/tid=19931] ppid=19910 vsize=9625040 CPUtime=0.55 cores=0,2,4,6 /proc/19913/task/19931/stat : 19931 (java) S 19910 19913 19275 0 -1 4202560 103 0 0 0 28 27 0 0 20 0 19 0 116408753 9856040960 125442 33554432000 1073741824 1073778376 140734691137680 139776048249416 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19932] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19932/stat : 19932 (java) S 19910 19913 19275 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116408807 9856040960 125442 33554432000 1073741824 1073778376 140734691137680 139776047195688 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1788.28 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794 s] /proc/loadavg: 2.26 2.19 2.18 3/213 20043 /proc/meminfo: memFree=29072720/32872528 swapFree=14448/1543360 [pid=19913] ppid=19910 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6 /proc/19913/stat : 19913 (java) S 19910 19913 19275 0 -1 4202496 15188 0 1 0 179917 87 0 0 20 0 19 0 116408747 9856040960 124720 33554432000 1073741824 1073778376 140734691137680 140734691128816 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/19913/statm: 2406260 124720 2298 9 0 2396937 0 [pid=19913/tid=19914] ppid=19910 vsize=9625040 CPUtime=1786.58 cores=0,2,4,6 /proc/19913/task/19914/stat : 19914 (java) R 19910 19913 19275 0 -1 4202560 2542 0 1 0 178626 32 0 0 20 0 19 0 116408748 9856040960 124720 33554432000 1073741824 1073778376 140734691137680 139776231722272 139776104432053 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19916] ppid=19910 vsize=9625040 CPUtime=0.7 cores=0,2,4,6 /proc/19913/task/19916/stat : 19916 (java) S 19910 19913 19275 0 -1 4202560 426 0 0 0 63 7 0 0 20 0 19 0 116408749 9856040960 124720 33554432000 1073741824 1073778376 140734691137680 139776075185064 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=19913/tid=19917] ppid=19910 vsize=9625040 CPUtime=0.81 cores=0,2,4,6 /proc/19913/task/19917/stat : 19917 (java) S 19910 19913 19275 0 -1 4202560 471 0 0 0 72 9 0 0 20 0 19 0 116408749 9856040960 124720 33554432000 1073741824 1073778376 140734691137680 139776074132520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19918] ppid=19910 vsize=9625040 CPUtime=0.79 cores=0,2,4,6 /proc/19913/task/19918/stat : 19918 (java) S 19910 19913 19275 0 -1 4202560 300 0 0 0 74 5 0 0 20 0 19 0 116408749 9856040960 124720 33554432000 1073741824 1073778376 140734691137680 139776073079464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19913/tid=19919] ppid=19910 vsize=9625040 CPUtime=0.68 cores=0,2,4,6 /proc/19913/task/19919/stat : 19919 (java) S 19910 19913 19275 0 -1 4202560 310 0 0 0 62 6 0 0 20 0 19 0 116408749 9856040960 124720 33554432000 1073741824 1073778376 140734691137680 139776072026920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19920] ppid=19910 vsize=9625040 CPUtime=0.69 cores=0,2,4,6 /proc/19913/task/19920/stat : 19920 (java) S 19910 19913 19275 0 -1 4202560 189 0 0 0 63 6 0 0 20 0 19 0 116408749 9856040960 124720 33554432000 1073741824 1073778376 140734691137680 139776070973864 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19921] ppid=19910 vsize=9625040 CPUtime=0.71 cores=0,2,4,6 /proc/19913/task/19921/stat : 19921 (java) S 19910 19913 19275 0 -1 4202560 308 0 0 0 63 8 0 0 20 0 19 0 116408749 9856040960 124720 33554432000 1073741824 1073778376 140734691137680 139776069921320 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19922] ppid=19910 vsize=9625040 CPUtime=0.88 cores=0,2,4,6 /proc/19913/task/19922/stat : 19922 (java) S 19910 19913 19275 0 -1 4202560 408 0 0 0 77 11 0 0 20 0 19 0 116408749 9856040960 124720 33554432000 1073741824 1073778376 140734691137680 139776068868264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19923] ppid=19910 vsize=9625040 CPUtime=0.79 cores=0,2,4,6 /proc/19913/task/19923/stat : 19923 (java) S 19910 19913 19275 0 -1 4202560 316 0 0 0 71 8 0 0 20 0 19 0 116408749 9856040960 124720 33554432000 1073741824 1073778376 140734691137680 139776067815720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19913/tid=19924] ppid=19910 vsize=9625040 CPUtime=0.96 cores=0,2,4,6 /proc/19913/task/19924/stat : 19924 (java) S 19910 19913 19275 0 -1 4202560 336 0 0 0 93 3 0 0 20 0 19 0 116408750 9856040960 124720 33554432000 1073741824 1073778376 140734691137680 139776055618408 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19925] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19925/stat : 19925 (java) S 19910 19913 19275 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 116408750 9856040960 124720 33554432000 1073741824 1073778376 140734691137680 139776054564728 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19926] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19926/stat : 19926 (java) S 19910 19913 19275 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 116408750 9856040960 124720 33554432000 1073741824 1073778376 140734691137680 139776053511560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19927] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19927/stat : 19927 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408753 9856040960 124720 33554432000 1073741824 1073778376 140734691137680 139776052460304 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19928] ppid=19910 vsize=9625040 CPUtime=0.79 cores=0,2,4,6 /proc/19913/task/19928/stat : 19928 (java) S 19910 19913 19275 0 -1 4202560 4575 0 0 0 77 2 0 0 20 0 19 0 116408753 9856040960 124720 33554432000 1073741824 1073778376 140734691137680 139776051407160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=19913/tid=19929] ppid=19910 vsize=9625040 CPUtime=0.79 cores=0,2,4,6 /proc/19913/task/19929/stat : 19929 (java) S 19910 19913 19275 0 -1 4202560 3641 0 0 0 79 0 0 0 20 0 19 0 116408753 9856040960 124720 33554432000 1073741824 1073778376 140734691137680 139776050354616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19913/tid=19930] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19930/stat : 19930 (java) S 19910 19913 19275 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 116408753 9856040960 124720 33554432000 1073741824 1073778376 140734691137680 139776049301752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=19913/tid=19931] ppid=19910 vsize=9625040 CPUtime=0.55 cores=0,2,4,6 /proc/19913/task/19931/stat : 19931 (java) S 19910 19913 19275 0 -1 4202560 103 0 0 0 28 27 0 0 20 0 19 0 116408753 9856040960 124720 33554432000 1073741824 1073778376 140734691137680 139776048249416 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=19913/tid=19932] ppid=19910 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/19913/task/19932/stat : 19932 (java) S 19910 19913 19275 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 116408807 9856040960 124720 33554432000 1073741824 1073778376 140734691137680 139776047195688 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9625040 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 19913 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 19913 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=728159 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=381789 # CPU time returned by wait4() is 1796.11 # while last known CPU time is 1800.04 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1794.06 CPU time (s): 1800.04 CPU user time (s): 1799.17 CPU system time (s): 0.87 CPU usage (%): 100.334 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.73 system time used= 1.38179 maximum resident set size= 685644 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15226 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1704 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39969 involuntary context switches= 19653 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.5512 second user time and 17.2854 second system time The end
Begin job on node116 at 2016-06-08 02:12:31 IDJOB=4085007 IDBENCH=92754 IDSOLVER=2546 FILE ID=node116/4085007-1465344751 RUNJOBID= node116-1465339364-19291 PBS_JOBID= 19853403 Free space on /tmp= 71640 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_0.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085007-1465344751/watcher-4085007-1465344751 -o /tmp/evaluation-result-4085007-1465344751/solver-4085007-1465344751 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465339364-19291 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085007-1465344751.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ca79c3a72fcbc528e4a81e658af79fe0 RANDOM SEED=1199303351 node116.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.134 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.26 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.134 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.134 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.134 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.134 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.134 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.134 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 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.134 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29590288 kB Buffers: 171864 kB Cached: 667168 kB SwapCached: 1868 kB Active: 405436 kB Inactive: 590388 kB Active(anon): 156896 kB Inactive(anon): 2004 kB Active(file): 248540 kB Inactive(file): 588384 kB Unevictable: 1543360 kB Mlocked: 14448 kB SwapTotal: 67108856 kB SwapFree: 67099072 kB Dirty: 3328 kB Writeback: 0 kB AnonPages: 1727584 kB Mapped: 15684 kB Shmem: 0 kB Slab: 610036 kB SReclaimable: 54000 kB SUnreclaim: 556036 kB KernelStack: 1752 kB PageTables: 7288 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2231396 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1685504 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= 71640 MiB End job on node116 at 2016-06-08 02:42:26