Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | No Cert. | 1800.4 | 902.96 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_2.opb |
| MD5SUM | 1172ec321506151f46656b695a5e98c9 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4041903 |
| Best CPU time to get the best result obtained on this benchmark | 1800.49 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9940 |
| Total number of constraints | 14846 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14700 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2415 |
| Number of terms in the objective function | 9730 |
| Biggest coefficient in the objective function | 148877000 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 81547827734 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 148877000 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 81547827734 |
| Number of bits of the biggest sum of numbers | 37 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version 2.2.0.v20100531 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 1349517296 0.00/0.08 c Max memory 1356595200 0.00/0.08 c Total memory 1356595200 0.00/0.08 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization 0.09/0.11 c ManyCore solver with 2 solvers running in parallel 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c Stops conflict analysis at the first Unique Implication Point 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c Expensive reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c Stops conflict analysis at the first Unique Implication Point 0.09/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 0.09/0.11 c solving HOME/instance-3744418-1338809491.opb 0.09/0.11 c reading problem ... 1.41/0.65 c ... done. Wall clock time 0.536s. 1.41/0.65 c #vars 9940 1.41/0.65 c #constraints 24648 1.41/0.65 c constraints type 1.41/0.65 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1.41/0.65 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1.41/0.65 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1.41/0.65 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2625 1.41/0.65 c constraints type 1.41/0.65 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19390 1.41/0.65 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2486 1.41/0.65 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1.41/0.65 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2625 3.67/1.21 c And the winner is Resolution 3.90/1.70 c SATISFIABLE 3.90/1.70 c OPTIMIZING... 3.90/1.70 c Got one! Elapsed wall clock time (in seconds):1.589 3.90/1.70 o 4347587 4.16/1.84 c And the winner is Resolution 4.28/2.77 c Got one! Elapsed wall clock time (in seconds):2.657 4.28/2.77 o 4232841 19.02/9.83 c And the winner is CuttingPlanes 19.10/10.84 c Got one! Elapsed wall clock time (in seconds):10.726 19.10/10.84 o 4171113 20.30/11.44 c cleaning 2485 clauses out of 5001 with flag 5001/5001 37.40/19.73 c cleaning 4251 clauses out of 8515 with flag 11000/11000 53.97/28.04 c cleaning 5626 clauses out of 11264 with flag 18000/18000 68.13/35.14 c cleaning 6815 clauses out of 13639 with flag 26001/26001 81.70/41.98 c cleaning 7907 clauses out of 15824 with flag 35001/35001 117.51/59.80 c cleaning 8952 clauses out of 17916 with flag 45000/45000 140.60/71.35 c cleaning 9969 clauses out of 19964 with flag 56000/56000 171.26/86.65 c cleaning 10998 clauses out of 21995 with flag 68000/68000 211.07/106.53 c cleaning 11991 clauses out of 23998 with flag 81001/81001 274.21/138.00 c cleaning 12993 clauses out of 26004 with flag 95000/95000 306.52/154.19 c cleaning 14000 clauses out of 28012 with flag 110001/110001 342.19/171.90 c cleaning 14995 clauses out of 30012 with flag 126001/126001 362.10/181.92 c cleaning 16002 clauses out of 32017 with flag 143001/143001 389.20/195.59 c cleaning 17000 clauses out of 34014 with flag 161000/161000 422.40/212.16 c cleaning 18003 clauses out of 36015 with flag 180001/180001 464.28/233.08 c cleaning 18993 clauses out of 38011 with flag 200000/200000 490.89/246.48 c cleaning 20001 clauses out of 40018 with flag 221000/221000 518.65/260.39 c cleaning 21000 clauses out of 42017 with flag 243000/243000 551.19/276.53 c cleaning 22009 clauses out of 44018 with flag 266001/266001 598.37/300.01 c cleaning 22994 clauses out of 46008 with flag 290000/290000 632.67/317.23 c cleaning 23998 clauses out of 48014 with flag 315000/315000 667.00/334.43 c cleaning 24500 clauses out of 49016 with flag 340000/340000 694.29/348.15 c cleaning 24721 clauses out of 49516 with flag 365000/365000 719.56/360.85 c cleaning 24884 clauses out of 49796 with flag 390001/390001 765.16/383.64 c cleaning 24943 clauses out of 49910 with flag 415001/415001 804.08/403.13 c cleaning 24975 clauses out of 49967 with flag 440001/440001 858.54/430.44 c cleaning 24990 clauses out of 49991 with flag 465000/465000 886.09/444.29 c cleaning 24991 clauses out of 50001 with flag 490000/490000 911.02/456.87 c cleaning 24994 clauses out of 50010 with flag 515000/515000 937.72/470.24 c cleaning 24995 clauses out of 50016 with flag 540000/540000 964.79/483.84 c cleaning 24999 clauses out of 50021 with flag 565000/565000 991.63/497.39 c cleaning 24999 clauses out of 50023 with flag 590001/590001 1028.54/515.90 c cleaning 25003 clauses out of 50023 with flag 615000/615000 1058.12/530.68 c cleaning 25001 clauses out of 50020 with flag 640000/640000 1087.04/545.12 c cleaning 24990 clauses out of 50019 with flag 665000/665000 1113.71/558.52 c cleaning 25007 clauses out of 50030 with flag 690001/690001 1139.43/571.57 c cleaning 25011 clauses out of 50022 with flag 715000/715000 1172.57/588.16 c cleaning 24976 clauses out of 50011 with flag 740000/740000 1199.45/601.69 c cleaning 25004 clauses out of 50036 with flag 765001/765001 1225.95/614.97 c cleaning 25010 clauses out of 50031 with flag 790000/790000 1253.84/628.91 c cleaning 24996 clauses out of 50021 with flag 815000/815000 1280.11/642.10 c cleaning 25000 clauses out of 50025 with flag 840000/840000 1306.67/655.41 c cleaning 25000 clauses out of 50025 with flag 865000/865000 1334.41/669.34 c cleaning 25006 clauses out of 50025 with flag 890000/890000 1371.68/688.07 c cleaning 24999 clauses out of 50020 with flag 915001/915001 1406.15/705.33 c cleaning 24994 clauses out of 50021 with flag 940001/940001 1440.68/722.67 c cleaning 24993 clauses out of 50026 with flag 965000/965000 1472.54/738.60 c cleaning 25004 clauses out of 50034 with flag 990001/990001 1501.68/753.36 c cleaning 25003 clauses out of 50029 with flag 1015000/1015000 1530.92/768.05 c cleaning 24995 clauses out of 50026 with flag 1040000/1040000 1621.42/813.31 c cleaning 24997 clauses out of 50031 with flag 1065000/1065000 1739.16/872.10 c cleaning 25013 clauses out of 50035 with flag 1090001/1090001 1771.17/888.23 c cleaning 24991 clauses out of 50022 with flag 1115001/1115001 1800.09/902.71 c starts : 4 1800.09/902.71 c conflicts : 512 1800.09/902.71 c decisions : 15610 1800.09/902.71 c propagations : 586125 1800.09/902.71 c inspects : 15471297 1800.09/902.71 c learnt literals : 0 1800.09/902.71 c learnt binary clauses : 0 1800.09/902.71 c learnt ternary clauses : 0 1800.09/902.71 c learnt clauses : 511 1800.09/902.71 c ignored clauses : 0 1800.09/902.71 c root simplifications : 0 1800.09/902.71 c removed literals (reason simplification) : 0 1800.09/902.71 c reason swapping (by a shorter reason) : 0 1800.09/902.71 c Calls to reduceDB : 0 1800.09/902.71 c number of reductions to clauses (during analyze) : 0 1800.09/902.71 c number of learned constraints concerned by reduction : 0 1800.09/902.71 c number of learning phase by resolution : 0 1800.09/902.71 c number of learning phase by cutting planes : 0 1800.09/902.71 c speed (assignments/second) : 657.1954279717175 1800.09/902.71 c non guided choices 0 1800.09/902.71 c learnt constraints type 1800.09/902.71 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.09/902.71 c org.sat4j.pb.constraints.pb.MaxWatchPb => 510 1800.09/902.71 c constraints type 1800.09/902.71 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486 1800.09/902.71 c org.sat4j.minisat.constraints.card.MinWatchCard => 7 1800.09/902.71 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390 1800.09/902.71 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2626 1800.09/902.71 c constraints type 1800.09/902.71 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19390 1800.09/902.71 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2486 1800.09/902.71 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 1800.09/902.71 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2626 1800.09/902.71 s SATISFIABLE 1800.09/902.72 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 c cleaning 24996 clauses out of 50031 with flag 1140001/1140001 1800.33/902.95 -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.33/902.95 c objective function=4171113 1800.33/902.95 c Total wall clock time (in seconds): 902.842
ERROR: variable expected in interpretation !c
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3744418-1338809491/watcher-3744418-1338809491 -o /tmp/evaluation-result-3744418-1338809491/solver-3744418-1338809491 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744418-1338809491.opb 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: 3.80 3.88 3.83 4/197 22628 /proc/meminfo: memFree=28589700/32873648 swapFree=7116/7116 [pid=22628] ppid=22626 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/22628/stat : 22628 (java) R 22626 22628 21780 0 -1 4202496 286 0 0 0 0 0 0 0 20 0 1 0 347074541 278528 33 33554432000 1073741824 1073778376 140733769964256 140733452753592 214528257205 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/22628/statm: 68 33 25 9 0 25 0 [startup+0.0197409 s] /proc/loadavg: 3.80 3.88 3.83 4/197 22628 /proc/meminfo: memFree=28589700/32873648 swapFree=7116/7116 [pid=22628] ppid=22626 vsize=1623620 CPUtime=0 cores=0,2,4,6 /proc/22628/stat : 22628 (java) S 22626 22628 21780 0 -1 4202496 1891 0 1 0 0 0 0 0 20 0 2 0 347074541 1662586880 1570 33554432000 1073741824 1073778376 140733769964256 140733769955392 214540779581 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22628/statm: 405905 1589 942 9 0 397014 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1623620 [startup+0.100183 s] /proc/loadavg: 3.80 3.88 3.83 4/197 22628 /proc/meminfo: memFree=28589700/32873648 swapFree=7116/7116 [pid=22628] ppid=22626 vsize=2699928 CPUtime=0.09 cores=0,2,4,6 /proc/22628/stat : 22628 (java) S 22626 22628 21780 0 -1 4202496 4757 0 1 0 8 1 0 0 20 0 18 0 347074541 2764726272 5947 33554432000 1073741824 1073778376 140733769964256 140733769955392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22628/statm: 674982 5947 2109 9 0 665676 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2699928 [startup+0.30023 s] /proc/loadavg: 3.80 3.88 3.83 4/197 22628 /proc/meminfo: memFree=28589700/32873648 swapFree=7116/7116 [pid=22628] ppid=22626 vsize=2699928 CPUtime=0.51 cores=0,2,4,6 /proc/22628/stat : 22628 (java) S 22626 22628 21780 0 -1 4202496 6919 0 1 0 49 2 0 0 20 0 18 0 347074541 2764726272 10913 33554432000 1073741824 1073778376 140733769964256 140733769955392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22628/statm: 674982 10914 2220 9 0 665676 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 2699928 [startup+0.700168 s] /proc/loadavg: 3.80 3.88 3.83 4/197 22628 /proc/meminfo: memFree=28589700/32873648 swapFree=7116/7116 [pid=22628] ppid=22626 vsize=2833056 CPUtime=1.68 cores=0,2,4,6 /proc/22628/stat : 22628 (java) S 22626 22628 21780 0 -1 4202496 15007 0 1 0 164 4 0 0 20 0 20 0 347074541 2901049344 31037 33554432000 1073741824 1073778376 140733769964256 140733769955392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22628/statm: 708264 31037 2246 9 0 698958 0 Current children cumulated CPU time (s) 1.68 Current children cumulated vsize (KiB) 2833056 [startup+1.50063 s] /proc/loadavg: 3.80 3.88 3.83 7/219 22650 /proc/meminfo: memFree=28443836/32873648 swapFree=7116/7116 [pid=22628] ppid=22626 vsize=2966184 CPUtime=3.84 cores=0,2,4,6 /proc/22628/stat : 22628 (java) S 22626 22628 21780 0 -1 4202496 17789 0 1 0 377 7 0 0 20 0 20 0 347074541 3037372416 54260 33554432000 1073741824 1073778376 140733769964256 140733769955392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22628/statm: 741546 54260 2261 9 0 732240 0 [pid=22628/tid=22630] ppid=22626 vsize=2966184 CPUtime=0.62 cores=0,2,4,6 /proc/22628/task/22630/stat : 22630 (java) S 22626 22628 21780 0 -1 4202560 2889 0 1 0 60 2 0 0 20 0 20 0 347074542 3037372416 54260 33554432000 1073741824 1073778376 140733769964256 139981905867928 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22631] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22631/stat : 22631 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347074544 3037372416 54260 33554432000 1073741824 1073778376 140733769964256 139981772495400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22632] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22632/stat : 22632 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347074544 3037372416 54260 33554432000 1073741824 1073778376 140733769964256 139981771442600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22633] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22633/stat : 22633 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347074544 3037372416 54260 33554432000 1073741824 1073778376 140733769964256 139981770389800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22628/tid=22634] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22634/stat : 22634 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347074544 3037372416 54260 33554432000 1073741824 1073778376 140733769964256 139981769337000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22635] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22635/stat : 22635 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347074544 3037372416 54260 33554432000 1073741824 1073778376 140733769964256 139981768285224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22636] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22636/stat : 22636 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347074544 3037372416 54260 33554432000 1073741824 1073778376 140733769964256 139981767232424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22637] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22637/stat : 22637 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347074544 3037372416 54260 33554432000 1073741824 1073778376 140733769964256 139981766179624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22638] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22638/stat : 22638 (java) S 22626 22628 21780 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 347074544 3037372416 54260 33554432000 1073741824 1073778376 140733769964256 139981765126824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22639] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22639/stat : 22639 (java) S 22626 22628 21780 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 347074545 3037372416 54260 33554432000 1073741824 1073778376 140733769964256 139981752928744 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22640] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22640/stat : 22640 (java) S 22626 22628 21780 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 347074545 3037372416 54260 33554432000 1073741824 1073778376 140733769964256 139981751874808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22641] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22641/stat : 22641 (java) S 22626 22628 21780 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 347074545 3037372416 54260 33554432000 1073741824 1073778376 140733769964256 139981750821896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22642] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22642/stat : 22642 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347074548 3037372416 54260 33554432000 1073741824 1073778376 140733769964256 139981749770384 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22643] ppid=22626 vsize=2966184 CPUtime=0.97 cores=0,2,4,6 /proc/22628/task/22643/stat : 22643 (java) S 22626 22628 21780 0 -1 4202560 5663 0 0 0 95 2 0 0 20 0 20 0 347074548 3037372416 54260 33554432000 1073741824 1073778376 140733769964256 139981748718520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22644] ppid=22626 vsize=2966184 CPUtime=1.03 cores=0,2,4,6 /proc/22628/task/22644/stat : 22644 (java) S 22626 22628 21780 0 -1 4202560 7893 0 0 0 101 2 0 0 20 0 20 0 347074548 3037372416 54260 33554432000 1073741824 1073778376 140733769964256 139981747665720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22645] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22645/stat : 22645 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347074548 3037372416 54260 33554432000 1073741824 1073778376 140733769964256 139981746613112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22646] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22646/stat : 22646 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 347074548 3037372416 54260 33554432000 1073741824 1073778376 140733769964256 139981745560520 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22649] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22649/stat : 22649 (java) S 22626 22628 21780 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 347074621 3037372416 54260 33554432000 1073741824 1073778376 140733769964256 139981742400424 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22650] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22650/stat : 22650 (java) S 22626 22628 21780 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 347074621 3037372416 54260 33554432000 1073741824 1073778376 140733769964256 139981741347624 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.84 Current children cumulated vsize (KiB) 2966184 [startup+3.10068 s] /proc/loadavg: 3.80 3.88 3.83 3/217 22652 /proc/meminfo: memFree=28322320/32873648 swapFree=7116/7116 [pid=22628] ppid=22626 vsize=2966184 CPUtime=5.07 cores=0,2,4,6 /proc/22628/stat : 22628 (java) S 22626 22628 21780 0 -1 4202496 17923 0 1 0 496 11 0 0 20 0 22 0 347074541 3037372416 89616 33554432000 1073741824 1073778376 140733769964256 140733769955392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22628/statm: 741546 89616 2261 9 0 732240 0 [pid=22628/tid=22630] ppid=22626 vsize=2966184 CPUtime=0.76 cores=0,2,4,6 /proc/22628/task/22630/stat : 22630 (java) S 22626 22628 21780 0 -1 4202560 2896 0 1 0 74 2 0 0 20 0 22 0 347074542 3037372416 89616 33554432000 1073741824 1073778376 140733769964256 139981905867928 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22631] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22631/stat : 22631 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347074544 3037372416 89616 33554432000 1073741824 1073778376 140733769964256 139981772495400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22632] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22632/stat : 22632 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347074544 3037372416 89616 33554432000 1073741824 1073778376 140733769964256 139981771442600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22633] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22633/stat : 22633 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347074544 3037372416 89616 33554432000 1073741824 1073778376 140733769964256 139981770389800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22628/tid=22634] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22634/stat : 22634 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347074544 3037372416 89616 33554432000 1073741824 1073778376 140733769964256 139981769337000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22635] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22635/stat : 22635 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347074544 3037372416 89616 33554432000 1073741824 1073778376 140733769964256 139981768285224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22636] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22636/stat : 22636 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347074544 3037372416 89616 33554432000 1073741824 1073778376 140733769964256 139981767232424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22637] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22637/stat : 22637 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347074544 3037372416 89616 33554432000 1073741824 1073778376 140733769964256 139981766179624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22638] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22638/stat : 22638 (java) S 22626 22628 21780 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 347074544 3037372416 89616 33554432000 1073741824 1073778376 140733769964256 139981765126824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22639] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22639/stat : 22639 (java) S 22626 22628 21780 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 347074545 3037372416 89616 33554432000 1073741824 1073778376 140733769964256 139981752928744 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22640] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22640/stat : 22640 (java) S 22626 22628 21780 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 347074545 3037372416 89616 33554432000 1073741824 1073778376 140733769964256 139981751874808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22641] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22641/stat : 22641 (java) S 22626 22628 21780 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347074545 3037372416 89616 33554432000 1073741824 1073778376 140733769964256 139981750821896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22642] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22642/stat : 22642 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347074548 3037372416 89616 33554432000 1073741824 1073778376 140733769964256 139981749770384 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22643] ppid=22626 vsize=2966184 CPUtime=1.11 cores=0,2,4,6 /proc/22628/task/22643/stat : 22643 (java) S 22626 22628 21780 0 -1 4202560 5710 0 0 0 109 2 0 0 20 0 22 0 347074548 3037372416 89616 33554432000 1073741824 1073778376 140733769964256 139981748718520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22644] ppid=22626 vsize=2966184 CPUtime=1.11 cores=0,2,4,6 /proc/22628/task/22644/stat : 22644 (java) S 22626 22628 21780 0 -1 4202560 7901 0 0 0 109 2 0 0 20 0 22 0 347074548 3037372416 89616 33554432000 1073741824 1073778376 140733769964256 139981747665720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22645] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22645/stat : 22645 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347074548 3037372416 89616 33554432000 1073741824 1073778376 140733769964256 139981746613112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22646] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22646/stat : 22646 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347074548 3037372416 89616 33554432000 1073741824 1073778376 140733769964256 139981745560520 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22649] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22649/stat : 22649 (java) S 22626 22628 21780 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347074621 3037372416 89616 33554432000 1073741824 1073778376 140733769964256 139981742400424 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22650] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22650/stat : 22650 (java) S 22626 22628 21780 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347074621 3037372416 89616 33554432000 1073741824 1073778376 140733769964256 139981741347624 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 5.07 Current children cumulated vsize (KiB) 2966184 [startup+6.3008 s] /proc/loadavg: 3.81 3.88 3.83 5/219 22654 /proc/meminfo: memFree=28162228/32873648 swapFree=7116/7116 [pid=22628] ppid=22626 vsize=2966184 CPUtime=11.8 cores=0,2,4,6 /proc/22628/stat : 22628 (java) S 22626 22628 21780 0 -1 4202496 18369 0 1 0 1163 17 0 0 20 0 22 0 347074541 3037372416 110115 33554432000 1073741824 1073778376 140733769964256 140733769955392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22628/statm: 741546 110115 2275 9 0 732240 0 [pid=22628/tid=22630] ppid=22626 vsize=2966184 CPUtime=0.76 cores=0,2,4,6 /proc/22628/task/22630/stat : 22630 (java) S 22626 22628 21780 0 -1 4202560 2896 0 1 0 74 2 0 0 20 0 22 0 347074542 3037372416 110115 33554432000 1073741824 1073778376 140733769964256 139981905867928 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22631] ppid=22626 vsize=2966184 CPUtime=0.05 cores=0,2,4,6 /proc/22628/task/22631/stat : 22631 (java) S 22626 22628 21780 0 -1 4202560 23 0 0 0 3 2 0 0 20 0 22 0 347074544 3037372416 110115 33554432000 1073741824 1073778376 140733769964256 139981772495400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22632] ppid=22626 vsize=2966184 CPUtime=0.04 cores=0,2,4,6 /proc/22628/task/22632/stat : 22632 (java) S 22626 22628 21780 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 22 0 347074544 3037372416 110115 33554432000 1073741824 1073778376 140733769964256 139981771442600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22633] ppid=22626 vsize=2966184 CPUtime=0.05 cores=0,2,4,6 /proc/22628/task/22633/stat : 22633 (java) S 22626 22628 21780 0 -1 4202560 21 0 0 0 5 0 0 0 20 0 22 0 347074544 3037372416 110115 33554432000 1073741824 1073778376 140733769964256 139981770389800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22634] ppid=22626 vsize=2966184 CPUtime=0.02 cores=0,2,4,6 /proc/22628/task/22634/stat : 22634 (java) S 22626 22628 21780 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 347074544 3037372416 110115 33554432000 1073741824 1073778376 140733769964256 139981769337000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22635] ppid=22626 vsize=2966184 CPUtime=0.02 cores=0,2,4,6 /proc/22628/task/22635/stat : 22635 (java) S 22626 22628 21780 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 22 0 347074544 3037372416 110115 33554432000 1073741824 1073778376 140733769964256 139981768285224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22636] ppid=22626 vsize=2966184 CPUtime=0.07 cores=0,2,4,6 /proc/22628/task/22636/stat : 22636 (java) S 22626 22628 21780 0 -1 4202560 19 0 0 0 7 0 0 0 20 0 22 0 347074544 3037372416 110115 33554432000 1073741824 1073778376 140733769964256 139981767232424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22628/tid=22637] ppid=22626 vsize=2966184 CPUtime=0.04 cores=0,2,4,6 /proc/22628/task/22637/stat : 22637 (java) S 22626 22628 21780 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 22 0 347074544 3037372416 110115 33554432000 1073741824 1073778376 140733769964256 139981766179624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22638] ppid=22626 vsize=2966184 CPUtime=0.05 cores=0,2,4,6 /proc/22628/task/22638/stat : 22638 (java) S 22626 22628 21780 0 -1 4202560 12 0 0 0 5 0 0 0 20 0 22 0 347074544 3037372416 110115 33554432000 1073741824 1073778376 140733769964256 139981765126824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22639] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22639/stat : 22639 (java) S 22626 22628 21780 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 347074545 3037372416 110115 33554432000 1073741824 1073778376 140733769964256 139981752928744 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22640] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22640/stat : 22640 (java) S 22626 22628 21780 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 347074545 3037372416 110115 33554432000 1073741824 1073778376 140733769964256 139981751874808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22641] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22641/stat : 22641 (java) S 22626 22628 21780 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 347074545 3037372416 110115 33554432000 1073741824 1073778376 140733769964256 139981750821896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22642] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22642/stat : 22642 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347074548 3037372416 110115 33554432000 1073741824 1073778376 140733769964256 139981749770384 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22643] ppid=22626 vsize=2966184 CPUtime=1.2 cores=0,2,4,6 /proc/22628/task/22643/stat : 22643 (java) S 22626 22628 21780 0 -1 4202560 6004 0 0 0 118 2 0 0 20 0 22 0 347074548 3037372416 110115 33554432000 1073741824 1073778376 140733769964256 139981748718520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22644] ppid=22626 vsize=2966184 CPUtime=1.18 cores=0,2,4,6 /proc/22628/task/22644/stat : 22644 (java) S 22626 22628 21780 0 -1 4202560 7904 0 0 0 116 2 0 0 20 0 22 0 347074548 3037372416 110115 33554432000 1073741824 1073778376 140733769964256 139981747665720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22645] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22645/stat : 22645 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347074548 3037372416 110115 33554432000 1073741824 1073778376 140733769964256 139981746613112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22646] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22646/stat : 22646 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347074548 3037372416 110115 33554432000 1073741824 1073778376 140733769964256 139981745560520 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22649] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22649/stat : 22649 (java) S 22626 22628 21780 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347074621 3037372416 110115 33554432000 1073741824 1073778376 140733769964256 139981742400424 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ [pid=22628/tid=22650] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22650/stat : 22650 (java) S 22626 22628 21780 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347074621 3037372416 177928 33554432000 1073741824 1073778376 140733769964256 139981741347624 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22628/tid=22655] ppid=22626 vsize=2966184 CPUtime=852.91 cores=0,2,4,6 /proc/22628/task/22655/stat : 22655 (java) R 22626 22628 21780 0 -1 4202560 730 0 0 0 85274 17 0 0 20 0 22 0 347075627 3037372416 177928 33554432000 1073741824 1073778376 140733769964256 139981744503456 139981846155924 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22656] ppid=22626 vsize=2966184 CPUtime=853.07 cores=0,2,4,6 /proc/22628/task/22656/stat : 22656 (java) R 22626 22628 21780 0 -1 4202560 802 0 0 0 85292 15 0 0 20 0 22 0 347075627 3037372416 177928 33554432000 1073741824 1073778376 140733769964256 139981743451104 139981846623649 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1759.32 Current children cumulated vsize (KiB) 2966184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+902.701 s] /proc/loadavg: 3.82 3.86 3.82 5/219 22738 /proc/meminfo: memFree=27901548/32873648 swapFree=7116/7116 [pid=22628] ppid=22626 vsize=2966184 CPUtime=1800.09 cores=0,2,4,6 /proc/22628/stat : 22628 (java) S 22626 22628 21780 0 -1 4202496 47088 0 1 0 179833 176 0 0 20 0 22 0 347074541 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 140733769955392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22628/statm: 741546 178736 2289 9 0 732240 0 [pid=22628/tid=22630] ppid=22626 vsize=2966184 CPUtime=0.84 cores=0,2,4,6 /proc/22628/task/22630/stat : 22630 (java) S 22626 22628 21780 0 -1 4202560 2907 0 1 0 81 3 0 0 20 0 22 0 347074542 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 139981905867944 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22631] ppid=22626 vsize=2966184 CPUtime=2.92 cores=0,2,4,6 /proc/22628/task/22631/stat : 22631 (java) S 22626 22628 21780 0 -1 4202560 186 0 0 0 283 9 0 0 20 0 22 0 347074544 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 139981772495400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22632] ppid=22626 vsize=2966184 CPUtime=2.91 cores=0,2,4,6 /proc/22628/task/22632/stat : 22632 (java) S 22626 22628 21780 0 -1 4202560 179 0 0 0 284 7 0 0 20 0 22 0 347074544 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 139981771442600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22633] ppid=22626 vsize=2966184 CPUtime=2.9 cores=0,2,4,6 /proc/22628/task/22633/stat : 22633 (java) S 22626 22628 21780 0 -1 4202560 137 0 0 0 283 7 0 0 20 0 22 0 347074544 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 139981770389800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22634] ppid=22626 vsize=2966184 CPUtime=2.82 cores=0,2,4,6 /proc/22628/task/22634/stat : 22634 (java) S 22626 22628 21780 0 -1 4202560 160 0 0 0 277 5 0 0 20 0 22 0 347074544 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 139981769337000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22635] ppid=22626 vsize=2966184 CPUtime=2.99 cores=0,2,4,6 /proc/22628/task/22635/stat : 22635 (java) S 22626 22628 21780 0 -1 4202560 184 0 0 0 293 6 0 0 20 0 22 0 347074544 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 139981768285224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22636] ppid=22626 vsize=2966184 CPUtime=2.98 cores=0,2,4,6 /proc/22628/task/22636/stat : 22636 (java) S 22626 22628 21780 0 -1 4202560 190 0 0 0 290 8 0 0 20 0 22 0 347074544 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 139981767232424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22628/tid=22637] ppid=22626 vsize=2966184 CPUtime=2.92 cores=0,2,4,6 /proc/22628/task/22637/stat : 22637 (java) S 22626 22628 21780 0 -1 4202560 169 0 0 0 284 8 0 0 20 0 22 0 347074544 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 139981766179624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22638] ppid=22626 vsize=2966184 CPUtime=2.94 cores=0,2,4,6 /proc/22628/task/22638/stat : 22638 (java) S 22626 22628 21780 0 -1 4202560 209 0 0 0 287 7 0 0 20 0 22 0 347074544 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 139981765126824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22639] ppid=22626 vsize=2966184 CPUtime=11.05 cores=0,2,4,6 /proc/22628/task/22639/stat : 22639 (java) S 22626 22628 21780 0 -1 4202560 20532 0 0 0 1026 79 0 0 20 0 22 0 347074545 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 139981752928744 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22640] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22640/stat : 22640 (java) S 22626 22628 21780 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 347074545 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 139981751874808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22641] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22641/stat : 22641 (java) S 22626 22628 21780 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 347074545 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 139981750821896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22642] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22642/stat : 22642 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347074548 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 139981749770384 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22643] ppid=22626 vsize=2966184 CPUtime=1.38 cores=0,2,4,6 /proc/22628/task/22643/stat : 22643 (java) S 22626 22628 21780 0 -1 4202560 6016 0 0 0 136 2 0 0 20 0 22 0 347074548 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 139981748718520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22628/tid=22644] ppid=22626 vsize=2966184 CPUtime=1.83 cores=0,2,4,6 /proc/22628/task/22644/stat : 22644 (java) S 22626 22628 21780 0 -1 4202560 13152 0 0 0 180 3 0 0 20 0 22 0 347074548 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 139981747665720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22645] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22645/stat : 22645 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 347074548 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 139981746613112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22646] ppid=22626 vsize=2966184 CPUtime=0.29 cores=0,2,4,6 /proc/22628/task/22646/stat : 22646 (java) S 22626 22628 21780 0 -1 4202560 52 0 0 0 10 19 0 0 20 0 22 0 347074548 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 139981745560520 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22649] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22649/stat : 22649 (java) S 22626 22628 21780 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347074621 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 139981742400424 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22650] ppid=22626 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22650/stat : 22650 (java) S 22626 22628 21780 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 347074621 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 139981741347624 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22628/tid=22655] ppid=22626 vsize=2966184 CPUtime=872.91 cores=0,2,4,6 /proc/22628/task/22655/stat : 22655 (java) R 22626 22628 21780 0 -1 4202560 746 0 0 0 87273 18 0 0 20 0 22 0 347075627 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 139981744504336 139981846285952 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22656] ppid=22626 vsize=2966184 CPUtime=873.07 cores=0,2,4,6 /proc/22628/task/22656/stat : 22656 (java) R 22626 22628 21780 0 -1 4202560 820 0 0 0 87291 16 0 0 20 0 22 0 347075627 3037372416 178736 33554432000 1073741824 1073778376 140733769964256 139981743450384 139981846623649 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 2966184 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+902.812 s] /proc/loadavg: 3.82 3.86 3.82 5/219 22738 /proc/meminfo: memFree=27901548/32873648 swapFree=7116/7116 [pid=22628] ppid=22626 vsize=3099312 CPUtime=1800.24 cores=0,2,4,6 /proc/22628/stat : 22628 (java) S 22626 22628 21780 0 -1 4202496 47123 0 1 0 179848 176 0 0 20 0 24 0 347074541 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 140733769955392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22628/statm: 774828 178769 2289 9 0 765522 0 [pid=22628/tid=22630] ppid=22626 vsize=3099312 CPUtime=0.84 cores=0,2,4,6 /proc/22628/task/22630/stat : 22630 (java) S 22626 22628 21780 0 -1 4202560 2907 0 1 0 81 3 0 0 20 0 24 0 347074542 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981905867944 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22631] ppid=22626 vsize=3099312 CPUtime=2.92 cores=0,2,4,6 /proc/22628/task/22631/stat : 22631 (java) S 22626 22628 21780 0 -1 4202560 186 0 0 0 283 9 0 0 20 0 24 0 347074544 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981772495400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22632] ppid=22626 vsize=3099312 CPUtime=2.91 cores=0,2,4,6 /proc/22628/task/22632/stat : 22632 (java) S 22626 22628 21780 0 -1 4202560 179 0 0 0 284 7 0 0 20 0 24 0 347074544 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981771442600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22633] ppid=22626 vsize=3099312 CPUtime=2.9 cores=0,2,4,6 /proc/22628/task/22633/stat : 22633 (java) S 22626 22628 21780 0 -1 4202560 141 0 0 0 283 7 0 0 20 0 24 0 347074544 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981770389800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22634] ppid=22626 vsize=3099312 CPUtime=2.82 cores=0,2,4,6 /proc/22628/task/22634/stat : 22634 (java) S 22626 22628 21780 0 -1 4202560 160 0 0 0 277 5 0 0 20 0 24 0 347074544 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981769337000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22635] ppid=22626 vsize=3099312 CPUtime=2.99 cores=0,2,4,6 /proc/22628/task/22635/stat : 22635 (java) S 22626 22628 21780 0 -1 4202560 184 0 0 0 293 6 0 0 20 0 24 0 347074544 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981768285224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22628/tid=22636] ppid=22626 vsize=3099312 CPUtime=2.98 cores=0,2,4,6 /proc/22628/task/22636/stat : 22636 (java) S 22626 22628 21780 0 -1 4202560 190 0 0 0 290 8 0 0 20 0 24 0 347074544 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981767232424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22628/tid=22637] ppid=22626 vsize=3099312 CPUtime=2.92 cores=0,2,4,6 /proc/22628/task/22637/stat : 22637 (java) S 22626 22628 21780 0 -1 4202560 169 0 0 0 284 8 0 0 20 0 24 0 347074544 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981766179624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22638] ppid=22626 vsize=3099312 CPUtime=2.95 cores=0,2,4,6 /proc/22628/task/22638/stat : 22638 (java) S 22626 22628 21780 0 -1 4202560 209 0 0 0 288 7 0 0 20 0 24 0 347074544 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981765126824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22639] ppid=22626 vsize=3099312 CPUtime=11.13 cores=0,2,4,6 /proc/22628/task/22639/stat : 22639 (java) R 22626 22628 21780 0 -1 4202560 20532 0 0 0 1034 79 0 0 20 0 24 0 347074545 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981752927600 139981911993487 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22640] ppid=22626 vsize=3099312 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22640/stat : 22640 (java) S 22626 22628 21780 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 347074545 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981751874808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22641] ppid=22626 vsize=3099312 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22641/stat : 22641 (java) S 22626 22628 21780 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 347074545 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981750821896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22642] ppid=22626 vsize=3099312 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22642/stat : 22642 (java) S 22626 22628 21780 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 24 0 347074548 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981749770384 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22643] ppid=22626 vsize=3099312 CPUtime=1.38 cores=0,2,4,6 /proc/22628/task/22643/stat : 22643 (java) S 22626 22628 21780 0 -1 4202560 6017 0 0 0 136 2 0 0 20 0 24 0 347074548 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981748704616 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22628/tid=22644] ppid=22626 vsize=3099312 CPUtime=1.84 cores=0,2,4,6 /proc/22628/task/22644/stat : 22644 (java) S 22626 22628 21780 0 -1 4202560 13153 0 0 0 181 3 0 0 20 0 24 0 347074548 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981747651816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22645] ppid=22626 vsize=3099312 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22645/stat : 22645 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 347074548 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981746613112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22646] ppid=22626 vsize=3099312 CPUtime=0.29 cores=0,2,4,6 /proc/22628/task/22646/stat : 22646 (java) S 22626 22628 21780 0 -1 4202560 52 0 0 0 10 19 0 0 20 0 24 0 347074548 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981745560520 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22649] ppid=22626 vsize=3099312 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22649/stat : 22649 (java) S 22626 22628 21780 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 347074621 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981742400424 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22650] ppid=22626 vsize=3099312 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22650/stat : 22650 (java) S 22626 22628 21780 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 347074621 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981741347624 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22628/tid=22655] ppid=22626 vsize=3099312 CPUtime=872.93 cores=0,2,4,6 /proc/22628/task/22655/stat : 22655 (java) S 22626 22628 21780 0 -1 4202560 746 0 0 0 87275 18 0 0 20 0 24 0 347075627 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981744505096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22656] ppid=22626 vsize=3099312 CPUtime=873.08 cores=0,2,4,6 /proc/22628/task/22656/stat : 22656 (java) S 22626 22628 21780 0 -1 4202560 820 0 0 0 87292 16 0 0 20 0 24 0 347075627 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981743450504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 3099312 [startup+902.901 s] /proc/loadavg: 3.82 3.86 3.82 5/219 22738 /proc/meminfo: memFree=27901548/32873648 swapFree=7116/7116 [pid=22628] ppid=22626 vsize=3099312 CPUtime=1800.33 cores=0,2,4,6 /proc/22628/stat : 22628 (java) S 22626 22628 21780 0 -1 4202496 47123 0 1 0 179857 176 0 0 20 0 24 0 347074541 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 140733769955392 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22628/statm: 774828 178769 2289 9 0 765522 0 [pid=22628/tid=22630] ppid=22626 vsize=3099312 CPUtime=0.84 cores=0,2,4,6 /proc/22628/task/22630/stat : 22630 (java) S 22626 22628 21780 0 -1 4202560 2907 0 1 0 81 3 0 0 20 0 24 0 347074542 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981905867944 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22631] ppid=22626 vsize=3099312 CPUtime=2.92 cores=0,2,4,6 /proc/22628/task/22631/stat : 22631 (java) S 22626 22628 21780 0 -1 4202560 186 0 0 0 283 9 0 0 20 0 24 0 347074544 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981772495400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22632] ppid=22626 vsize=3099312 CPUtime=2.91 cores=0,2,4,6 /proc/22628/task/22632/stat : 22632 (java) S 22626 22628 21780 0 -1 4202560 179 0 0 0 284 7 0 0 20 0 24 0 347074544 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981771442600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22633] ppid=22626 vsize=3099312 CPUtime=2.9 cores=0,2,4,6 /proc/22628/task/22633/stat : 22633 (java) S 22626 22628 21780 0 -1 4202560 141 0 0 0 283 7 0 0 20 0 24 0 347074544 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981770389800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22634] ppid=22626 vsize=3099312 CPUtime=2.82 cores=0,2,4,6 /proc/22628/task/22634/stat : 22634 (java) S 22626 22628 21780 0 -1 4202560 160 0 0 0 277 5 0 0 20 0 24 0 347074544 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981769337000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22635] ppid=22626 vsize=3099312 CPUtime=2.99 cores=0,2,4,6 /proc/22628/task/22635/stat : 22635 (java) S 22626 22628 21780 0 -1 4202560 184 0 0 0 293 6 0 0 20 0 24 0 347074544 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981768285224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22628/tid=22636] ppid=22626 vsize=3099312 CPUtime=2.98 cores=0,2,4,6 /proc/22628/task/22636/stat : 22636 (java) S 22626 22628 21780 0 -1 4202560 190 0 0 0 290 8 0 0 20 0 24 0 347074544 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981767232424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22628/tid=22637] ppid=22626 vsize=3099312 CPUtime=2.92 cores=0,2,4,6 /proc/22628/task/22637/stat : 22637 (java) S 22626 22628 21780 0 -1 4202560 169 0 0 0 284 8 0 0 20 0 24 0 347074544 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981766179624 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22638] ppid=22626 vsize=3099312 CPUtime=2.95 cores=0,2,4,6 /proc/22628/task/22638/stat : 22638 (java) S 22626 22628 21780 0 -1 4202560 209 0 0 0 288 7 0 0 20 0 24 0 347074544 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981765126824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22639] ppid=22626 vsize=3099312 CPUtime=11.22 cores=0,2,4,6 /proc/22628/task/22639/stat : 22639 (java) R 22626 22628 21780 0 -1 4202560 20532 0 0 0 1043 79 0 0 20 0 24 0 347074545 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981752927600 139981912722734 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22640] ppid=22626 vsize=3099312 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22640/stat : 22640 (java) S 22626 22628 21780 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 347074545 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981751874808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22641] ppid=22626 vsize=3099312 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22641/stat : 22641 (java) S 22626 22628 21780 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 347074545 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981750821896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22642] ppid=22626 vsize=3099312 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22642/stat : 22642 (java) S 22626 22628 21780 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 24 0 347074548 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981749770384 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22643] ppid=22626 vsize=3099312 CPUtime=1.38 cores=0,2,4,6 /proc/22628/task/22643/stat : 22643 (java) S 22626 22628 21780 0 -1 4202560 6017 0 0 0 136 2 0 0 20 0 24 0 347074548 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981748704616 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22628/tid=22644] ppid=22626 vsize=3099312 CPUtime=1.84 cores=0,2,4,6 /proc/22628/task/22644/stat : 22644 (java) S 22626 22628 21780 0 -1 4202560 13153 0 0 0 181 3 0 0 20 0 24 0 347074548 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981747651816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22645] ppid=22626 vsize=3099312 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22645/stat : 22645 (java) S 22626 22628 21780 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 347074548 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981746613112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22628/tid=22646] ppid=22626 vsize=3099312 CPUtime=0.29 cores=0,2,4,6 /proc/22628/task/22646/stat : 22646 (java) S 22626 22628 21780 0 -1 4202560 52 0 0 0 10 19 0 0 20 0 24 0 347074548 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981745560520 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22628/tid=22649] ppid=22626 vsize=3099312 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22649/stat : 22649 (java) S 22626 22628 21780 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 347074621 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981742400424 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22650] ppid=22626 vsize=3099312 CPUtime=0 cores=0,2,4,6 /proc/22628/task/22650/stat : 22650 (java) S 22626 22628 21780 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 347074621 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981741347624 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22628/tid=22655] ppid=22626 vsize=3099312 CPUtime=872.93 cores=0,2,4,6 /proc/22628/task/22655/stat : 22655 (java) S 22626 22628 21780 0 -1 4202560 746 0 0 0 87275 18 0 0 20 0 24 0 347075627 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981744505096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22628/tid=22656] ppid=22626 vsize=3099312 CPUtime=873.08 cores=0,2,4,6 /proc/22628/task/22656/stat : 22656 (java) S 22626 22628 21780 0 -1 4202560 820 0 0 0 87292 16 0 0 20 0 24 0 347075627 3173695488 178769 33554432000 1073741824 1073778376 140733769964256 139981743450504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 3099312 Child status: 143 Real time (s): 902.96 CPU time (s): 1800.4 CPU user time (s): 1798.18 CPU system time (s): 2.22166 CPU usage (%): 199.389 Max. virtual memory (cumulated for all children) (KiB): 3099312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.18 system time used= 2.22166 maximum resident set size= 715076 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47123 page faults= 1 swaps= 0 block input operations= 0 block output operations= 960 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 64091 involuntary context switches= 87784 runsolver used 3.2505 second user time and 8.38373 second system time The end
Begin job on node127 at 2012-06-04 13:31:31 IDJOB=3744418 IDBENCH=92749 IDSOLVER=2324 FILE ID=node127/3744418-1338809491 RUNJOBID= node127-1338805812-21796 PBS_JOBID= 14636867 Free space on /tmp= 70480 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_2.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744418-1338809491/watcher-3744418-1338809491 -o /tmp/evaluation-result-3744418-1338809491/solver-3744418-1338809491 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744418-1338809491.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1172ec321506151f46656b695a5e98c9 RANDOM SEED=705777488 node127.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.348 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.69 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.348 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 : 5331.91 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.348 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 : 5331.94 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.348 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 : 5331.91 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.348 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 : 5331.91 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.348 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 : 5331.91 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.348 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 : 5331.91 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.348 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28589972 kB Buffers: 437688 kB Cached: 2227480 kB SwapCached: 1428 kB Active: 1792440 kB Inactive: 1599364 kB Active(anon): 720496 kB Inactive(anon): 7952 kB Active(file): 1071944 kB Inactive(file): 1591412 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67104508 kB Dirty: 932 kB Writeback: 0 kB AnonPages: 736004 kB Mapped: 19056 kB Shmem: 92 kB Slab: 747704 kB SReclaimable: 191732 kB SUnreclaim: 555972 kB KernelStack: 1624 kB PageTables: 5320 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1575940 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 665600 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70480 MiB End job on node127 at 2012-06-04 13:46:36