| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 4081443 | 1800.56 | 1794.46 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_9.opb |
| MD5SUM | 9dfe9f707e4bec0ff7b60653d14cbd16 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4072923 |
| Best CPU time to get the best result obtained on this benchmark | 1800.13 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9940 |
| Total number of constraints | 14846 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14700 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2415 |
| Number of terms in the objective function | 9730 |
| Biggest coefficient in the objective function | 126506008 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 91840906354 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 126506008 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 91840906354 |
| Number of bits of the biggest sum of numbers | 37 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.09/0.10 c version PB16.v20160501 0.09/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.09/0.10 c java.vm.version 19.1-b02 0.09/0.10 c java.vm.vendor Sun Microsystems Inc. 0.09/0.10 c sun.arch.data.model 64 0.09/0.10 c java.version 1.6.0_24 0.09/0.10 c os.name Linux 0.09/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.09/0.10 c os.arch amd64 0.09/0.10 c Free memory 501472288 0.09/0.10 c Max memory 7480803328 0.09/0.10 c Total memory 504102912 0.09/0.10 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4085015-1465337695.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.00/0.57 c ... done. Wall clock time 0.448s. 1.00/0.57 c declared #vars 9940 1.00/0.57 c #constraints 24512 1.00/0.57 c constraints type 1.00/0.57 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1.00/0.57 c org.sat4j.minisat.constraints.cnf.UnitClauses => 2 1.00/0.57 c org.sat4j.specs.Constr$1 => 2 1.00/0.57 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.00/0.57 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1.00/0.57 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625 1.00/0.57 c 24512 constraints processed. 1.00/0.57 c objective function length is 9730 literals 1.81/0.80 c SATISFIABLE 1.81/0.80 c OPTIMIZING... 1.81/0.80 c Got one! Elapsed wall clock time (in seconds):0.679 1.81/0.80 o 4081443 4.13/2.90 c cleaning 2542 clauses out of 5084 with flag 10301/5084 6.27/5.01 c cleaning 4272 clauses out of 8543 with flag 22647/11085 8.68/7.46 c cleaning 5636 clauses out of 11271 with flag 36971/18085 11.48/10.26 c cleaning 6817 clauses out of 13634 with flag 53297/26084 14.71/13.44 c cleaning 7909 clauses out of 15818 with flag 71595/35085 18.01/16.79 c cleaning 8954 clauses out of 17909 with flag 91953/45085 22.29/20.94 c cleaning 9972 clauses out of 19954 with flag 114466/56084 27.20/25.86 c cleaning 10991 clauses out of 21983 with flag 139264/68085 32.42/31.06 c cleaning 11996 clauses out of 23992 with flag 165868/81085 38.52/37.10 c cleaning 12995 clauses out of 25995 with flag 194924/95084 44.43/43.06 c cleaning 13995 clauses out of 28000 with flag 225618/110084 50.72/49.39 c cleaning 14997 clauses out of 30005 with flag 258119/126084 57.70/56.29 c cleaning 16003 clauses out of 32011 with flag 292741/143087 64.89/63.43 c cleaning 17000 clauses out of 34006 with flag 329557/161085 72.19/70.73 c cleaning 17999 clauses out of 36005 with flag 368282/180084 79.89/78.42 c cleaning 19002 clauses out of 38006 with flag 408961/200084 87.49/86.09 c cleaning 19998 clauses out of 40005 with flag 451585/221085 96.21/94.62 c cleaning 21000 clauses out of 42006 with flag 496371/243084 105.10/103.53 c cleaning 22001 clauses out of 44008 with flag 543012/266086 114.29/112.78 c cleaning 22999 clauses out of 46005 with flag 592083/290084 124.69/123.14 c cleaning 24000 clauses out of 48007 with flag 643520/315085 136.12/134.42 c cleaning 24993 clauses out of 50006 with flag 696832/341084 147.52/145.84 c cleaning 26003 clauses out of 52013 with flag 752034/368084 159.43/157.71 c cleaning 27004 clauses out of 54011 with flag 809177/396085 172.29/170.40 c cleaning 28003 clauses out of 56007 with flag 868472/425085 184.70/182.85 c cleaning 28998 clauses out of 58004 with flag 929646/455085 197.10/195.20 c cleaning 30002 clauses out of 60006 with flag 992423/486085 210.09/208.04 c cleaning 30996 clauses out of 62004 with flag 1057323/518085 223.39/221.36 c cleaning 32001 clauses out of 64007 with flag 1124787/551084 236.99/234.90 c cleaning 33003 clauses out of 66008 with flag 1193928/585086 251.24/249.10 c cleaning 34000 clauses out of 68003 with flag 1264952/620084 266.63/264.47 c cleaning 34996 clauses out of 70003 with flag 1338072/656084 282.63/280.42 c cleaning 36003 clauses out of 72009 with flag 1413401/693086 298.47/296.14 c cleaning 36997 clauses out of 74006 with flag 1490747/731086 314.58/312.29 c cleaning 38001 clauses out of 76007 with flag 1570448/770084 332.41/329.92 c cleaning 39001 clauses out of 78006 with flag 1652117/810084 351.01/348.51 c cleaning 40003 clauses out of 80006 with flag 1736270/851085 369.85/367.31 c cleaning 40994 clauses out of 82003 with flag 1822140/893085 389.54/387.06 c cleaning 42002 clauses out of 84008 with flag 1909574/936084 410.28/407.75 c cleaning 43001 clauses out of 86006 with flag 1998879/980084 431.78/429.12 c cleaning 44003 clauses out of 88005 with flag 2090034/1025084 453.08/450.43 c cleaning 44993 clauses out of 90002 with flag 2183923/1071084 474.97/472.28 c cleaning 45996 clauses out of 92009 with flag 2280066/1118084 497.38/494.53 c cleaning 47006 clauses out of 94014 with flag 2377677/1166085 520.29/517.41 c cleaning 48004 clauses out of 96008 with flag 2477300/1215085 544.13/541.26 c cleaning 49000 clauses out of 98004 with flag 2578919/1265085 568.53/565.56 c cleaning 50001 clauses out of 100005 with flag 2682376/1316086 593.83/590.88 c cleaning 50999 clauses out of 102003 with flag 2788114/1368085 619.57/616.58 c cleaning 52000 clauses out of 104004 with flag 2895838/1421085 645.64/642.51 c cleaning 52991 clauses out of 106003 with flag 3005756/1475084 672.60/669.42 c cleaning 54005 clauses out of 108014 with flag 3117982/1530086 701.10/697.94 c cleaning 54996 clauses out of 110008 with flag 3232343/1586085 730.84/727.61 c cleaning 56002 clauses out of 112012 with flag 3349217/1643085 759.30/756.07 c cleaning 57003 clauses out of 114011 with flag 3467843/1701086 791.34/788.04 c cleaning 57996 clauses out of 116006 with flag 3587982/1760084 823.68/820.31 c cleaning 58999 clauses out of 118010 with flag 3709989/1820084 856.60/853.26 c cleaning 60001 clauses out of 120011 with flag 3833745/1881084 892.46/889.03 c cleaning 61004 clauses out of 122012 with flag 3959368/1943086 926.23/922.75 c cleaning 61995 clauses out of 124006 with flag 4087369/2006084 964.17/960.60 c cleaning 63003 clauses out of 126013 with flag 4216998/2070086 1003.58/999.87 c cleaning 64002 clauses out of 128009 with flag 4348668/2135085 1039.75/1035.95 c cleaning 64992 clauses out of 130006 with flag 4482614/2201084 1075.67/1071.81 c cleaning 66000 clauses out of 132014 with flag 4618891/2268084 1112.37/1108.43 c cleaning 67004 clauses out of 134015 with flag 4757599/2336085 1150.44/1146.45 c cleaning 68000 clauses out of 136010 with flag 4898295/2405084 1192.17/1188.06 c cleaning 68998 clauses out of 138010 with flag 5040248/2475084 1234.84/1230.64 c cleaning 70003 clauses out of 140014 with flag 5184223/2546086 1276.93/1272.70 c cleaning 70993 clauses out of 142010 with flag 5330714/2618085 1319.01/1314.56 c cleaning 72002 clauses out of 144017 with flag 5479337/2691085 1366.48/1361.91 c cleaning 73004 clauses out of 146016 with flag 5629809/2765086 1415.25/1410.62 c cleaning 73999 clauses out of 148011 with flag 5781854/2840085 1465.35/1460.61 c cleaning 75003 clauses out of 150012 with flag 5936245/2916085 1512.36/1507.59 c cleaning 75997 clauses out of 152010 with flag 6091820/2993086 1558.60/1553.67 c cleaning 77002 clauses out of 154012 with flag 6249695/3071085 1605.32/1600.23 c cleaning 78000 clauses out of 156010 with flag 6410179/3150085 1657.03/1651.86 c cleaning 79000 clauses out of 158009 with flag 6572337/3230084 1709.10/1703.71 c cleaning 80000 clauses out of 160010 with flag 6736904/3311085 1763.61/1758.14 c cleaning 80998 clauses out of 162010 with flag 6903209/3393085 1800.00/1794.40 c starts : 3 1800.00/1794.40 c conflicts : 3454258 1800.00/1794.40 c decisions : 3856335 1800.00/1794.40 c propagations : 58404339 1800.00/1794.40 c inspects : 15672048396 1800.00/1794.40 c shortcuts : 0 1800.00/1794.40 c learnt literals : 0 1800.00/1794.40 c learnt binary clauses : 0 1800.00/1794.40 c learnt ternary clauses : 0 1800.00/1794.40 c learnt constraints : 3454258 1800.00/1794.40 c ignored constraints : 0 1800.00/1794.40 c root simplifications : 0 1800.00/1794.40 c removed literals (reason simplification) : 0 1800.00/1794.40 c reason swapping (by a shorter reason) : 0 1800.00/1794.40 c Calls to reduceDB : 78 1800.00/1794.40 c Number of update (reduction) of LBD : 64570 1800.00/1794.40 c Imported unit clauses : 0 1800.00/1794.40 c number of reductions to clauses (during analyze) : 0 1800.00/1794.40 c number of learned constraints concerned by reduction : 0 1800.00/1794.40 c number of learning phase by resolution : 0 1800.00/1794.40 c number of learning phase by cutting planes : 0 1800.00/1794.40 c speed (assignments/second) : 32559.111581374447 1800.00/1794.40 c non guided choices 24 1800.00/1794.43 c learnt constraints type 1800.00/1794.43 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 142185 1800.00/1794.43 s SATISFIABLE 1800.00/1794.43 c Found 1 solution(s) 1800.00/1794.44 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.00/1794.45 c objective function=4081443 1800.00/1794.45 c Total wall clock time (in seconds): 1794.327
OK 4081443
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-4085015-1465337695/watcher-4085015-1465337695 -o /tmp/evaluation-result-4085015-1465337695/solver-4085015-1465337695 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465312757-23537 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085015-1465337695.opb pid=26531 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.11 2.04 2.01 3/194 26534 /proc/meminfo: memFree=30430588/32872528 swapFree=10608/190480 [pid=26534] ppid=26531 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/26534/stat : 26534 (java) R 26531 26534 27127 0 -1 4202496 292 0 0 0 0 0 0 0 20 0 1 0 115704792 9515008 151 33554432000 1073741824 1073778376 140733702882640 140733702879768 249649707779 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/26534/statm: 2323 156 114 9 0 71 0 [startup+0.100113 s] /proc/loadavg: 2.11 2.04 2.01 3/194 26534 /proc/meminfo: memFree=30430588/32872528 swapFree=10608/190480 [pid=26534] ppid=26531 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/26534/stat : 26534 (java) S 26531 26534 27127 0 -1 4202496 4361 0 1 0 8 1 0 0 20 0 18 0 115704792 9787879424 5491 33554432000 1073741824 1073778376 140735823740768 140735823731904 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26534/statm: 2389619 5491 2116 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200279 s] /proc/loadavg: 2.11 2.04 2.01 3/194 26534 /proc/meminfo: memFree=30430588/32872528 swapFree=10608/190480 [pid=26534] ppid=26531 vsize=9558476 CPUtime=0.29 cores=0,2,4,6 /proc/26534/stat : 26534 (java) S 26531 26534 27127 0 -1 4202496 5051 0 1 0 28 1 0 0 20 0 18 0 115704792 9787879424 6866 33554432000 1073741824 1073778376 140735823740768 140735823731904 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26534/statm: 2389619 6866 2219 9 0 2380296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9558476 [startup+0.300278 s] /proc/loadavg: 2.11 2.04 2.01 3/194 26534 /proc/meminfo: memFree=30430588/32872528 swapFree=10608/190480 [pid=26534] ppid=26531 vsize=9558476 CPUtime=0.49 cores=0,2,4,6 /proc/26534/stat : 26534 (java) S 26531 26534 27127 0 -1 4202496 6149 0 1 0 48 1 0 0 20 0 18 0 115704792 9787879424 10050 33554432000 1073741824 1073778376 140735823740768 140735823731904 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26534/statm: 2389619 10050 2234 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558476 [startup+0.700247 s] /proc/loadavg: 2.11 2.04 2.01 3/194 26534 /proc/meminfo: memFree=30430588/32872528 swapFree=10608/190480 [pid=26534] ppid=26531 vsize=9625040 CPUtime=1.59 cores=0,2,4,6 /proc/26534/stat : 26534 (java) S 26531 26534 27127 0 -1 4202496 11649 0 1 0 155 4 0 0 20 0 19 0 115704792 9856040960 25214 33554432000 1073741824 1073778376 140735823740768 140735823731904 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26534/statm: 2406260 25214 2262 9 0 2396937 0 Current children cumulated CPU time (s) 1.59 Current children cumulated vsize (KiB) 9625040 [startup+1.50076 s] /proc/loadavg: 2.11 2.04 2.01 3/213 26553 /proc/meminfo: memFree=30333908/32872528 swapFree=10608/190480 [pid=26534] ppid=26531 vsize=9625040 CPUtime=2.7 cores=0,2,4,6 /proc/26534/stat : 26534 (java) S 26531 26534 27127 0 -1 4202496 11661 0 1 0 266 4 0 0 20 0 19 0 115704792 9856040960 26758 33554432000 1073741824 1073778376 140735823740768 140735823731904 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26534/statm: 2406260 26758 2269 9 0 2396937 0 [pid=26534/tid=26536] ppid=26531 vsize=9625040 CPUtime=1.47 cores=0,2,4,6 /proc/26534/task/26536/stat : 26536 (java) R 26531 26534 27127 0 -1 4202560 2444 0 1 0 144 3 0 0 20 0 19 0 115704793 9856040960 26758 33554432000 1073741824 1073778376 140735823740768 140650487620072 140650331663674 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26534/tid=26537] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26537/stat : 26537 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 26758 33554432000 1073741824 1073778376 140735823740768 140650330712360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26538] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26538/stat : 26538 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 26758 33554432000 1073741824 1073778376 140735823740768 140650329659560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26539] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26539/stat : 26539 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 26758 33554432000 1073741824 1073778376 140735823740768 140650328607272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26534/tid=26540] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26540/stat : 26540 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 26758 33554432000 1073741824 1073778376 140735823740768 140650327554472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26534/tid=26541] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26541/stat : 26541 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 26758 33554432000 1073741824 1073778376 140735823740768 140650326502184 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26542] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26542/stat : 26542 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 26758 33554432000 1073741824 1073778376 140735823740768 140650325449384 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26534/tid=26543] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26543/stat : 26543 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 26758 33554432000 1073741824 1073778376 140735823740768 140650324397096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26544] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26544/stat : 26544 (java) S 26531 26534 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 26758 33554432000 1073741824 1073778376 140735823740768 140650323344296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26545] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26545/stat : 26545 (java) S 26531 26534 27127 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 115704795 9856040960 26758 33554432000 1073741824 1073778376 140735823740768 140649841015016 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26546] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26546/stat : 26546 (java) S 26531 26534 27127 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 115704796 9856040960 26758 33554432000 1073741824 1073778376 140735823740768 140649839961080 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26547] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26547/stat : 26547 (java) S 26531 26534 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115704796 9856040960 26758 33554432000 1073741824 1073778376 140735823740768 140649838908680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26548] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26548/stat : 26548 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704798 9856040960 26758 33554432000 1073741824 1073778376 140735823740768 140649837857168 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26549] ppid=26531 vsize=9625040 CPUtime=0.66 cores=0,2,4,6 /proc/26534/task/26549/stat : 26549 (java) S 26531 26534 27127 0 -1 4202560 4421 0 0 0 64 2 0 0 20 0 19 0 115704798 9856040960 26758 33554432000 1073741824 1073778376 140735823740768 140649836804792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26550] ppid=26531 vsize=9625040 CPUtime=0.55 cores=0,2,4,6 /proc/26534/task/26550/stat : 26550 (java) S 26531 26534 27127 0 -1 4202560 3524 0 0 0 55 0 0 0 20 0 19 0 115704798 9856040960 26758 33554432000 1073741824 1073778376 140735823740768 140649835751992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26551] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26551/stat : 26551 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704798 9856040960 26758 33554432000 1073741824 1073778376 140735823740768 140649834699896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26552] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26552/stat : 26552 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704798 9856040960 26758 33554432000 1073741824 1073778376 140735823740768 140649833647304 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26553] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26553/stat : 26553 (java) S 26531 26534 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115704853 9856040960 26758 33554432000 1073741824 1073778376 140735823740768 140649832592296 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.7 Current children cumulated vsize (KiB) 9625040 [startup+3.10073 s] /proc/loadavg: 2.11 2.04 2.01 3/213 26553 /proc/meminfo: memFree=30329440/32872528 swapFree=10608/190480 [pid=26534] ppid=26531 vsize=9625040 CPUtime=4.33 cores=0,2,4,6 /proc/26534/stat : 26534 (java) S 26531 26534 27127 0 -1 4202496 11670 0 1 0 429 4 0 0 20 0 19 0 115704792 9856040960 28298 33554432000 1073741824 1073778376 140735823740768 140735823731904 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26534/statm: 2406260 28298 2273 9 0 2396937 0 [pid=26534/tid=26536] ppid=26531 vsize=9625040 CPUtime=3.06 cores=0,2,4,6 /proc/26534/task/26536/stat : 26536 (java) R 26531 26534 27127 0 -1 4202560 2449 0 1 0 303 3 0 0 20 0 19 0 115704793 9856040960 28298 33554432000 1073741824 1073778376 140735823740768 140650487618040 140650331597808 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26534/tid=26537] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26537/stat : 26537 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 28298 33554432000 1073741824 1073778376 140735823740768 140650330712360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26538] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26538/stat : 26538 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 28298 33554432000 1073741824 1073778376 140735823740768 140650329659560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26539] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26539/stat : 26539 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 28298 33554432000 1073741824 1073778376 140735823740768 140650328607272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26534/tid=26540] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26540/stat : 26540 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 28298 33554432000 1073741824 1073778376 140735823740768 140650327554472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26534/tid=26541] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26541/stat : 26541 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 28298 33554432000 1073741824 1073778376 140735823740768 140650326502184 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26542] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26542/stat : 26542 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 28298 33554432000 1073741824 1073778376 140735823740768 140650325449384 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26534/tid=26543] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26543/stat : 26543 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 28298 33554432000 1073741824 1073778376 140735823740768 140650324397096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26544] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26544/stat : 26544 (java) S 26531 26534 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 28298 33554432000 1073741824 1073778376 140735823740768 140650323344296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26545] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26545/stat : 26545 (java) S 26531 26534 27127 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 115704795 9856040960 28298 33554432000 1073741824 1073778376 140735823740768 140649841015016 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26546] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26546/stat : 26546 (java) S 26531 26534 27127 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 115704796 9856040960 28298 33554432000 1073741824 1073778376 140735823740768 140649839961080 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26547] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26547/stat : 26547 (java) S 26531 26534 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115704796 9856040960 28298 33554432000 1073741824 1073778376 140735823740768 140649838908680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26548] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26548/stat : 26548 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704798 9856040960 28298 33554432000 1073741824 1073778376 140735823740768 140649837857168 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26549] ppid=26531 vsize=9625040 CPUtime=0.68 cores=0,2,4,6 /proc/26534/task/26549/stat : 26549 (java) S 26531 26534 27127 0 -1 4202560 4425 0 0 0 66 2 0 0 20 0 19 0 115704798 9856040960 28298 33554432000 1073741824 1073778376 140735823740768 140649836804792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26550] ppid=26531 vsize=9625040 CPUtime=0.56 cores=0,2,4,6 /proc/26534/task/26550/stat : 26550 (java) S 26531 26534 27127 0 -1 4202560 3524 0 0 0 56 0 0 0 20 0 19 0 115704798 9856040960 28298 33554432000 1073741824 1073778376 140735823740768 140649835751992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26551] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26551/stat : 26551 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704798 9856040960 28298 33554432000 1073741824 1073778376 140735823740768 140649834699896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26552] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26552/stat : 26552 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704798 9856040960 28298 33554432000 1073741824 1073778376 140735823740768 140649833647304 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26553] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26553/stat : 26553 (java) S 26531 26534 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115704853 9856040960 28298 33554432000 1073741824 1073778376 140735823740768 140649832592296 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 4.33 Current children cumulated vsize (KiB) 9625040 [startup+6.30074 s] /proc/loadavg: 2.10 2.04 2.00 3/213 26553 /proc/meminfo: memFree=30315520/32872528 swapFree=10608/190480 [pid=26534] ppid=26531 vsize=9625040 CPUtime=7.58 cores=0,2,4,6 /proc/26534/stat : 26534 (java) S 26531 26534 27127 0 -1 4202496 11680 0 1 0 753 5 0 0 20 0 19 0 115704792 9856040960 31705 33554432000 1073741824 1073778376 140735823740768 140735823731904 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26534/statm: 2406260 31705 2274 9 0 2396937 0 [pid=26534/tid=26536] ppid=26531 vsize=9625040 CPUtime=6.26 cores=0,2,4,6 /proc/26534/task/26536/stat : 26536 (java) R 26531 26534 27127 0 -1 4202560 2458 0 1 0 623 3 0 0 20 0 19 0 115704793 9856040960 31705 33554432000 1073741824 1073778376 140735823740768 140650487617936 140650331355495 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26534/tid=26537] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26537/stat : 26537 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 31705 33554432000 1073741824 1073778376 140735823740768 140650330712360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26538] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26538/stat : 26538 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 31705 33554432000 1073741824 1073778376 140735823740768 140650329659560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26539] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26539/stat : 26539 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 31705 33554432000 1073741824 1073778376 140735823740768 140650328607272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26534/tid=26540] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26540/stat : 26540 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 31705 33554432000 1073741824 1073778376 140735823740768 140650327554472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26534/tid=26541] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26541/stat : 26541 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 31705 33554432000 1073741824 1073778376 140735823740768 140650326502184 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26542] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26542/stat : 26542 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 31705 33554432000 1073741824 1073778376 140735823740768 140650325449384 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26534/tid=26543] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26543/stat : 26543 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 31705 33554432000 1073741824 1073778376 140735823740768 140650324397096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26544] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26544/stat : 26544 (java) S 26531 26534 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 115704794 9856040960 31705 33554432000 1073741824 1073778376 140735823740768 140650323344296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26545] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26545/stat : 26545 (java) S 26531 26534 27127 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 115704795 9856040960 31705 33554432000 1073741824 1073778376 140735823740768 140649841015016 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26546] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26546/stat : 26546 (java) S 26531 26534 27127 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 115704796 9856040960 31705 33554432000 1073741824 1073778376 140735823740768 140649839961080 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26547] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26547/stat : 26547 (java) S 26531 26534 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115704796 9856040960 31705 33554432000 1073741824 1073778376 140735823740768 140649838908680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26548] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26548/stat : 26548 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704798 9856040960 31705 33554432000 1073741824 1073778376 140735823740768 140649837857168 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26549] ppid=26531 vsize=9625040 CPUtime=0.69 cores=0,2,4,6 /proc/26534/task/26549/stat : 26549 (java) S 26531 26534 27127 0 -1 4202560 4425 0 0 0 67 2 0 0 20 0 19 0 115704798 9856040960 31705 33554432000 1073741824 1073778376 140735823740768 140649836804792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26550] ppid=26531 vsize=9625040 CPUtime=0.59 cores=0,2,4,6 /proc/26534/task/26550/stat : 26550 (java) S 26531 26534 27127 0 -1 4202560 3524 0 0 0 59 0 0 0 20 0 19 0 115704798 9856040960 31705 33554432000 1073741824 1073778376 140735823740768 140649835751992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26551] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26551/stat : 26551 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704798 9856040960 31705 33554432000 1073741824 1073778376 140735823740768 140649834699896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26552] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26552/stat : 26552 (java) S 26531 26534 27127 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 115704798 9856040960 31705 33554432000 1073741824 1073778376 140735823740768 140649833647304 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26553] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26553/stat : 26553 (java) S 26531 26534 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115704853 9856040960 31705 33554432000 1073741824 1073778376 140735823740768 140649832592296 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 7.58 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=26534/tid=26546] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26546/stat : 26546 (java) S 26531 26534 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115704796 9856040960 138987 33554432000 1073741824 1073778376 140735823740768 140649839961080 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26547] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26547/stat : 26547 (java) S 26531 26534 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115704796 9856040960 138987 33554432000 1073741824 1073778376 140735823740768 140649838908680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26548] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26548/stat : 26548 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704798 9856040960 138987 33554432000 1073741824 1073778376 140735823740768 140649837857168 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26549] ppid=26531 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/26534/task/26549/stat : 26549 (java) S 26531 26534 27127 0 -1 4202560 4431 0 0 0 75 2 0 0 20 0 19 0 115704798 9856040960 138987 33554432000 1073741824 1073778376 140735823740768 140649836804792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26550] ppid=26531 vsize=9625040 CPUtime=0.6 cores=0,2,4,6 /proc/26534/task/26550/stat : 26550 (java) S 26531 26534 27127 0 -1 4202560 3524 0 0 0 60 0 0 0 20 0 19 0 115704798 9856040960 138987 33554432000 1073741824 1073778376 140735823740768 140649835751992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26551] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26551/stat : 26551 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704798 9856040960 138987 33554432000 1073741824 1073778376 140735823740768 140649834699896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26552] ppid=26531 vsize=9625040 CPUtime=0.46 cores=0,2,4,6 /proc/26534/task/26552/stat : 26552 (java) S 26531 26534 27127 0 -1 4202560 95 0 0 0 23 23 0 0 20 0 19 0 115704798 9856040960 138987 33554432000 1073741824 1073778376 140735823740768 140649833647304 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26534/tid=26553] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26553/stat : 26553 (java) S 26531 26534 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115704853 9856040960 138987 33554432000 1073741824 1073778376 140735823740768 140649832592296 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1667.55 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.13 2.06 2.01 3/213 26663 /proc/meminfo: memFree=29932204/32872528 swapFree=10608/190480 [pid=26534] ppid=26531 vsize=9625040 CPUtime=1727.74 cores=0,2,4,6 /proc/26534/stat : 26534 (java) S 26531 26534 27127 0 -1 4202496 14373 0 1 0 172679 95 0 0 20 0 19 0 115704792 9856040960 135910 33554432000 1073741824 1073778376 140735823740768 140735823731904 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26534/statm: 2406260 135910 2296 9 0 2396937 0 [pid=26534/tid=26536] ppid=26531 vsize=9625040 CPUtime=1719.73 cores=0,2,4,6 /proc/26534/task/26536/stat : 26536 (java) R 26531 26534 27127 0 -1 4202560 2540 0 1 0 171938 35 0 0 20 0 19 0 115704793 9856040960 135910 33554432000 1073741824 1073778376 140735823740768 140650487618784 140650331663704 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26534/tid=26537] ppid=26531 vsize=9625040 CPUtime=0.68 cores=0,2,4,6 /proc/26534/task/26537/stat : 26537 (java) S 26531 26534 27127 0 -1 4202560 332 0 0 0 59 9 0 0 20 0 19 0 115704794 9856040960 135910 33554432000 1073741824 1073778376 140735823740768 140650330712360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26534/tid=26538] ppid=26531 vsize=9625040 CPUtime=0.75 cores=0,2,4,6 /proc/26534/task/26538/stat : 26538 (java) S 26531 26534 27127 0 -1 4202560 202 0 0 0 66 9 0 0 20 0 19 0 115704794 9856040960 135910 33554432000 1073741824 1073778376 140735823740768 140650329659560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26534/tid=26539] ppid=26531 vsize=9625040 CPUtime=0.57 cores=0,2,4,6 /proc/26534/task/26539/stat : 26539 (java) S 26531 26534 27127 0 -1 4202560 170 0 0 0 50 7 0 0 20 0 19 0 115704794 9856040960 135910 33554432000 1073741824 1073778376 140735823740768 140650328607272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26540] ppid=26531 vsize=9625040 CPUtime=0.73 cores=0,2,4,6 /proc/26534/task/26540/stat : 26540 (java) S 26531 26534 27127 0 -1 4202560 177 0 0 0 65 8 0 0 20 0 19 0 115704794 9856040960 135910 33554432000 1073741824 1073778376 140735823740768 140650327554472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26541] ppid=26531 vsize=9625040 CPUtime=0.74 cores=0,2,4,6 /proc/26534/task/26541/stat : 26541 (java) S 26531 26534 27127 0 -1 4202560 406 0 0 0 67 7 0 0 20 0 19 0 115704794 9856040960 135910 33554432000 1073741824 1073778376 140735823740768 140650326502184 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26542] ppid=26531 vsize=9625040 CPUtime=0.76 cores=0,2,4,6 /proc/26534/task/26542/stat : 26542 (java) S 26531 26534 27127 0 -1 4202560 342 0 0 0 67 9 0 0 20 0 19 0 115704794 9856040960 135910 33554432000 1073741824 1073778376 140735823740768 140650325449384 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26534/tid=26543] ppid=26531 vsize=9625040 CPUtime=0.63 cores=0,2,4,6 /proc/26534/task/26543/stat : 26543 (java) S 26531 26534 27127 0 -1 4202560 264 0 0 0 56 7 0 0 20 0 19 0 115704794 9856040960 135910 33554432000 1073741824 1073778376 140735823740768 140650324397096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26534/tid=26544] ppid=26531 vsize=9625040 CPUtime=0.7 cores=0,2,4,6 /proc/26534/task/26544/stat : 26544 (java) S 26531 26534 27127 0 -1 4202560 297 0 0 0 60 10 0 0 20 0 19 0 115704794 9856040960 135910 33554432000 1073741824 1073778376 140735823740768 140650323344296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26545] ppid=26531 vsize=9625040 CPUtime=0.76 cores=0,2,4,6 /proc/26534/task/26545/stat : 26545 (java) S 26531 26534 27127 0 -1 4202560 331 0 0 0 74 2 0 0 20 0 19 0 115704795 9856040960 135910 33554432000 1073741824 1073778376 140735823740768 140649841015016 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26546] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26546/stat : 26546 (java) S 26531 26534 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115704796 9856040960 135910 33554432000 1073741824 1073778376 140735823740768 140649839961080 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26547] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26547/stat : 26547 (java) S 26531 26534 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115704796 9856040960 135910 33554432000 1073741824 1073778376 140735823740768 140649838908680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26548] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26548/stat : 26548 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704798 9856040960 135910 33554432000 1073741824 1073778376 140735823740768 140649837857168 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26549] ppid=26531 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/26534/task/26549/stat : 26549 (java) S 26531 26534 27127 0 -1 4202560 4431 0 0 0 75 2 0 0 20 0 19 0 115704798 9856040960 135910 33554432000 1073741824 1073778376 140735823740768 140649836804792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26550] ppid=26531 vsize=9625040 CPUtime=0.6 cores=0,2,4,6 /proc/26534/task/26550/stat : 26550 (java) S 26531 26534 27127 0 -1 4202560 3524 0 0 0 60 0 0 0 20 0 19 0 115704798 9856040960 135910 33554432000 1073741824 1073778376 140735823740768 140649835751992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26551] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26551/stat : 26551 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704798 9856040960 135910 33554432000 1073741824 1073778376 140735823740768 140649834699896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26552] ppid=26531 vsize=9625040 CPUtime=0.48 cores=0,2,4,6 /proc/26534/task/26552/stat : 26552 (java) S 26531 26534 27127 0 -1 4202560 99 0 0 0 24 24 0 0 20 0 19 0 115704798 9856040960 135910 33554432000 1073741824 1073778376 140735823740768 140649833647304 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26534/tid=26553] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26553/stat : 26553 (java) S 26531 26534 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115704853 9856040960 135910 33554432000 1073741824 1073778376 140735823740768 140649832592296 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1727.74 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.15 2.08 2.02 3/213 26664 /proc/meminfo: memFree=29933504/32872528 swapFree=10608/190480 [pid=26534] ppid=26531 vsize=9625040 CPUtime=1787.84 cores=0,2,4,6 /proc/26534/stat : 26534 (java) S 26531 26534 27127 0 -1 4202496 14401 0 1 0 178688 96 0 0 20 0 19 0 115704792 9856040960 134070 33554432000 1073741824 1073778376 140735823740768 140735823731904 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26534/statm: 2406260 134070 2296 9 0 2396937 0 [pid=26534/tid=26536] ppid=26531 vsize=9625040 CPUtime=1779.52 cores=0,2,4,6 /proc/26534/task/26536/stat : 26536 (java) R 26531 26534 27127 0 -1 4202560 2542 0 1 0 177916 36 0 0 20 0 19 0 115704793 9856040960 134070 33554432000 1073741824 1073778376 140735823740768 140650487618784 140650331477120 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26537] ppid=26531 vsize=9625040 CPUtime=0.7 cores=0,2,4,6 /proc/26534/task/26537/stat : 26537 (java) S 26531 26534 27127 0 -1 4202560 332 0 0 0 61 9 0 0 20 0 19 0 115704794 9856040960 134070 33554432000 1073741824 1073778376 140735823740768 140650330712360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26534/tid=26538] ppid=26531 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/26534/task/26538/stat : 26538 (java) S 26531 26534 27127 0 -1 4202560 202 0 0 0 68 9 0 0 20 0 19 0 115704794 9856040960 134070 33554432000 1073741824 1073778376 140735823740768 140650329659560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26534/tid=26539] ppid=26531 vsize=9625040 CPUtime=0.6 cores=0,2,4,6 /proc/26534/task/26539/stat : 26539 (java) S 26531 26534 27127 0 -1 4202560 170 0 0 0 53 7 0 0 20 0 19 0 115704794 9856040960 134070 33554432000 1073741824 1073778376 140735823740768 140650328607272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26534/tid=26540] ppid=26531 vsize=9625040 CPUtime=0.75 cores=0,2,4,6 /proc/26534/task/26540/stat : 26540 (java) S 26531 26534 27127 0 -1 4202560 177 0 0 0 67 8 0 0 20 0 19 0 115704794 9856040960 134070 33554432000 1073741824 1073778376 140735823740768 140650327554472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26541] ppid=26531 vsize=9625040 CPUtime=0.76 cores=0,2,4,6 /proc/26534/task/26541/stat : 26541 (java) S 26531 26534 27127 0 -1 4202560 406 0 0 0 69 7 0 0 20 0 19 0 115704794 9856040960 134070 33554432000 1073741824 1073778376 140735823740768 140650326502184 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26542] ppid=26531 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/26534/task/26542/stat : 26542 (java) S 26531 26534 27127 0 -1 4202560 342 0 0 0 68 9 0 0 20 0 19 0 115704794 9856040960 134070 33554432000 1073741824 1073778376 140735823740768 140650325449384 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26534/tid=26543] ppid=26531 vsize=9625040 CPUtime=0.65 cores=0,2,4,6 /proc/26534/task/26543/stat : 26543 (java) S 26531 26534 27127 0 -1 4202560 264 0 0 0 58 7 0 0 20 0 19 0 115704794 9856040960 134070 33554432000 1073741824 1073778376 140735823740768 140650324397096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26544] ppid=26531 vsize=9625040 CPUtime=0.71 cores=0,2,4,6 /proc/26534/task/26544/stat : 26544 (java) S 26531 26534 27127 0 -1 4202560 297 0 0 0 61 10 0 0 20 0 19 0 115704794 9856040960 134070 33554432000 1073741824 1073778376 140735823740768 140650323344296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26545] ppid=26531 vsize=9625040 CPUtime=0.91 cores=0,2,4,6 /proc/26534/task/26545/stat : 26545 (java) S 26531 26534 27127 0 -1 4202560 353 0 0 0 89 2 0 0 20 0 19 0 115704795 9856040960 134070 33554432000 1073741824 1073778376 140735823740768 140649841015016 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26546] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26546/stat : 26546 (java) S 26531 26534 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115704796 9856040960 134070 33554432000 1073741824 1073778376 140735823740768 140649839961080 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26547] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26547/stat : 26547 (java) S 26531 26534 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115704796 9856040960 134070 33554432000 1073741824 1073778376 140735823740768 140649838908680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26548] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26548/stat : 26548 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704798 9856040960 134070 33554432000 1073741824 1073778376 140735823740768 140649837857168 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26549] ppid=26531 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/26534/task/26549/stat : 26549 (java) S 26531 26534 27127 0 -1 4202560 4431 0 0 0 75 2 0 0 20 0 19 0 115704798 9856040960 134070 33554432000 1073741824 1073778376 140735823740768 140649836804792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26550] ppid=26531 vsize=9625040 CPUtime=0.6 cores=0,2,4,6 /proc/26534/task/26550/stat : 26550 (java) S 26531 26534 27127 0 -1 4202560 3524 0 0 0 60 0 0 0 20 0 19 0 115704798 9856040960 134070 33554432000 1073741824 1073778376 140735823740768 140649835751992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26551] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26551/stat : 26551 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704798 9856040960 134070 33554432000 1073741824 1073778376 140735823740768 140649834699896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26552] ppid=26531 vsize=9625040 CPUtime=0.49 cores=0,2,4,6 /proc/26534/task/26552/stat : 26552 (java) S 26531 26534 27127 0 -1 4202560 103 0 0 0 25 24 0 0 20 0 19 0 115704798 9856040960 134070 33554432000 1073741824 1073778376 140735823740768 140649833647304 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26534/tid=26553] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26553/stat : 26553 (java) S 26531 26534 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115704853 9856040960 134070 33554432000 1073741824 1073778376 140735823740768 140649832592296 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1787.84 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794.4 s] /proc/loadavg: 2.12 2.08 2.01 3/213 26664 /proc/meminfo: memFree=29934312/32872528 swapFree=10608/190480 [pid=26534] ppid=26531 vsize=9625040 CPUtime=1800 cores=0,2,4,6 /proc/26534/stat : 26534 (java) S 26531 26534 27127 0 -1 4202496 14404 0 1 0 179903 97 0 0 20 0 19 0 115704792 9856040960 133236 33554432000 1073741824 1073778376 140735823740768 140735823731904 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/26534/statm: 2406260 133236 2296 9 0 2396937 0 [pid=26534/tid=26536] ppid=26531 vsize=9625040 CPUtime=1791.59 cores=0,2,4,6 /proc/26534/task/26536/stat : 26536 (java) R 26531 26534 27127 0 -1 4202560 2543 0 1 0 179123 36 0 0 20 0 19 0 115704793 9856040960 133236 33554432000 1073741824 1073778376 140735823740768 140650487618784 140650331550365 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=26534/tid=26537] ppid=26531 vsize=9625040 CPUtime=0.71 cores=0,2,4,6 /proc/26534/task/26537/stat : 26537 (java) S 26531 26534 27127 0 -1 4202560 332 0 0 0 62 9 0 0 20 0 19 0 115704794 9856040960 133236 33554432000 1073741824 1073778376 140735823740768 140650330712360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26538] ppid=26531 vsize=9625040 CPUtime=0.78 cores=0,2,4,6 /proc/26534/task/26538/stat : 26538 (java) S 26531 26534 27127 0 -1 4202560 202 0 0 0 69 9 0 0 20 0 19 0 115704794 9856040960 133236 33554432000 1073741824 1073778376 140735823740768 140650329659560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26534/tid=26539] ppid=26531 vsize=9625040 CPUtime=0.61 cores=0,2,4,6 /proc/26534/task/26539/stat : 26539 (java) S 26531 26534 27127 0 -1 4202560 170 0 0 0 54 7 0 0 20 0 19 0 115704794 9856040960 133236 33554432000 1073741824 1073778376 140735823740768 140650328607272 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26540] ppid=26531 vsize=9625040 CPUtime=0.76 cores=0,2,4,6 /proc/26534/task/26540/stat : 26540 (java) S 26531 26534 27127 0 -1 4202560 177 0 0 0 68 8 0 0 20 0 19 0 115704794 9856040960 133236 33554432000 1073741824 1073778376 140735823740768 140650327554472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26541] ppid=26531 vsize=9625040 CPUtime=0.78 cores=0,2,4,6 /proc/26534/task/26541/stat : 26541 (java) S 26531 26534 27127 0 -1 4202560 406 0 0 0 71 7 0 0 20 0 19 0 115704794 9856040960 133236 33554432000 1073741824 1073778376 140735823740768 140650326502184 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26534/tid=26542] ppid=26531 vsize=9625040 CPUtime=0.78 cores=0,2,4,6 /proc/26534/task/26542/stat : 26542 (java) S 26531 26534 27127 0 -1 4202560 342 0 0 0 69 9 0 0 20 0 19 0 115704794 9856040960 133236 33554432000 1073741824 1073778376 140735823740768 140650325449384 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=26534/tid=26543] ppid=26531 vsize=9625040 CPUtime=0.66 cores=0,2,4,6 /proc/26534/task/26543/stat : 26543 (java) S 26531 26534 27127 0 -1 4202560 264 0 0 0 59 7 0 0 20 0 19 0 115704794 9856040960 133236 33554432000 1073741824 1073778376 140735823740768 140650324397096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26544] ppid=26531 vsize=9625040 CPUtime=0.72 cores=0,2,4,6 /proc/26534/task/26544/stat : 26544 (java) S 26531 26534 27127 0 -1 4202560 297 0 0 0 62 10 0 0 20 0 19 0 115704794 9856040960 133236 33554432000 1073741824 1073778376 140735823740768 140650323344296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26545] ppid=26531 vsize=9625040 CPUtime=0.91 cores=0,2,4,6 /proc/26534/task/26545/stat : 26545 (java) S 26531 26534 27127 0 -1 4202560 355 0 0 0 89 2 0 0 20 0 19 0 115704795 9856040960 133236 33554432000 1073741824 1073778376 140735823740768 140649841015016 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26546] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26546/stat : 26546 (java) S 26531 26534 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115704796 9856040960 133236 33554432000 1073741824 1073778376 140735823740768 140649839961080 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26547] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26547/stat : 26547 (java) S 26531 26534 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115704796 9856040960 133236 33554432000 1073741824 1073778376 140735823740768 140649838908680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26548] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26548/stat : 26548 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704798 9856040960 133236 33554432000 1073741824 1073778376 140735823740768 140649837857168 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26549] ppid=26531 vsize=9625040 CPUtime=0.77 cores=0,2,4,6 /proc/26534/task/26549/stat : 26549 (java) S 26531 26534 27127 0 -1 4202560 4431 0 0 0 75 2 0 0 20 0 19 0 115704798 9856040960 133236 33554432000 1073741824 1073778376 140735823740768 140649836804792 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=26534/tid=26550] ppid=26531 vsize=9625040 CPUtime=0.6 cores=0,2,4,6 /proc/26534/task/26550/stat : 26550 (java) S 26531 26534 27127 0 -1 4202560 3524 0 0 0 60 0 0 0 20 0 19 0 115704798 9856040960 133236 33554432000 1073741824 1073778376 140735823740768 140649835751992 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26551] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26551/stat : 26551 (java) S 26531 26534 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115704798 9856040960 133236 33554432000 1073741824 1073778376 140735823740768 140649834699896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=26534/tid=26552] ppid=26531 vsize=9625040 CPUtime=0.5 cores=0,2,4,6 /proc/26534/task/26552/stat : 26552 (java) S 26531 26534 27127 0 -1 4202560 103 0 0 0 25 25 0 0 20 0 19 0 115704798 9856040960 133236 33554432000 1073741824 1073778376 140735823740768 140649833647304 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=26534/tid=26553] ppid=26531 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/26534/task/26553/stat : 26553 (java) S 26531 26534 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115704853 9856040960 133236 33554432000 1073741824 1073778376 140735823740768 140649832592296 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 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 26534 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 1794.46 CPU time (s): 1800.56 CPU user time (s): 1799.11 CPU system time (s): 1.45078 CPU usage (%): 100.34 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.11 system time used= 1.45078 maximum resident set size= 654664 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14441 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= 39980 involuntary context switches= 26654 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.7031 second user time and 10.9533 second system time The end
Begin job on node102 at 2016-06-08 00:14:55 IDJOB=4085015 IDBENCH=92731 IDSOLVER=2546 FILE ID=node102/4085015-1465337695 RUNJOBID= node102-1465312757-23537 PBS_JOBID= 19850416 Free space on /tmp= 71736 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_9.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085015-1465337695/watcher-4085015-1465337695 -o /tmp/evaluation-result-4085015-1465337695/solver-4085015-1465337695 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465312757-23537 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085015-1465337695.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9dfe9f707e4bec0ff7b60653d14cbd16 RANDOM SEED=377773776 node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.470 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 : 5332.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.470 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.470 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.470 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.470 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.470 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.470 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 : 2666.470 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: 30430480 kB Buffers: 201820 kB Cached: 799396 kB SwapCached: 2708 kB Active: 739784 kB Inactive: 744688 kB Active(anon): 482924 kB Inactive(anon): 2284 kB Active(file): 256860 kB Inactive(file): 742404 kB Unevictable: 190480 kB Mlocked: 10608 kB SwapTotal: 67108856 kB SwapFree: 67098748 kB Dirty: 1704 kB Writeback: 0 kB AnonPages: 684076 kB Mapped: 16492 kB Shmem: 0 kB Slab: 633968 kB SReclaimable: 77620 kB SUnreclaim: 556348 kB KernelStack: 1616 kB PageTables: 5620 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 841604 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 636928 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= 71736 MiB End job on node102 at 2016-06-08 00:44:49