Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | 47 | 1801.08 | 905.573 |
Name | /OPT-SMALLINT-LIN/heinz/ normalized-ns1696083.opb |
MD5SUM | 8188d71a03844e125aafcd8487c80120 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 45 |
Best CPU time to get the best result obtained on this benchmark | 226.602 |
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 | 7982 |
Total number of constraints | 11063 |
Number of constraints which are clauses | 2420 |
Number of constraints which are cardinality constraints (but not clauses) | 1207 |
Number of constraints which are nor clauses,nor cardinality constraints | 7436 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 662 |
Number of terms in the objective function | 55 |
Biggest coefficient in the objective function | 55 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 1540 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 2000 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 22480 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.05/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.08 c See www.sat4j.org for details. 0.05/0.09 c version 2.2.0.v20100531 0.05/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.09 c java.vm.version 19.1-b02 0.05/0.09 c java.vm.vendor Sun Microsystems Inc. 0.05/0.09 c sun.arch.data.model 64 0.05/0.09 c java.version 1.6.0_24 0.05/0.09 c os.name Linux 0.05/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.05/0.09 c os.arch amd64 0.05/0.09 c Free memory 1349517296 0.05/0.09 c Max memory 1356595200 0.05/0.09 c Total memory 1356595200 0.05/0.09 c Number of processors 8 0.07/0.12 c Pseudo Boolean Optimization 0.07/0.12 c ManyCore solver with 2 solvers running in parallel 0.07/0.12 c --- Begin Solver configuration --- 0.07/0.12 c Stops conflict analysis at the first Unique Implication Point 0.07/0.12 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19 0.07/0.12 c Learn all clauses as in MiniSAT 0.07/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.12 c Expensive reason simplification 0.07/0.12 c Armin Biere (Picosat) restarts strategy 0.07/0.12 c Glucose learned constraints deletion strategy 0.07/0.12 c timeout=2147483s 0.07/0.12 c DB Simplification allowed=false 0.07/0.12 c --- End Solver configuration --- 0.07/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.12 c --- Begin Solver configuration --- 0.07/0.12 c Stops conflict analysis at the first Unique Implication Point 0.07/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.07/0.12 c Learn all clauses as in MiniSAT 0.07/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.12 c No reason simplification 0.07/0.12 c Armin Biere (Picosat) restarts strategy 0.07/0.12 c Glucose learned constraints deletion strategy 0.07/0.12 c timeout=2147483s 0.07/0.12 c DB Simplification allowed=false 0.07/0.12 c --- End Solver configuration --- 0.07/0.12 0.07/0.12 c solving HOME/instance-3741393-1338763629.opb 0.07/0.12 c reading problem ... 2.31/1.13 c ... done. Wall clock time 1.007s. 2.31/1.13 c #vars 7982 2.31/1.13 c #constraints 11326 2.31/1.13 c constraints type 2.31/1.13 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2567 2.31/1.13 c org.sat4j.minisat.constraints.card.MinWatchCard => 1211 2.31/1.13 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 56 2.31/1.13 c org.sat4j.pb.constraints.pb.MaxWatchPb => 7370 2.31/1.13 c constraints type 2.31/1.13 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 56 2.31/1.13 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2567 2.31/1.13 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1211 2.31/1.13 c org.sat4j.pb.constraints.pb.MaxWatchPb => 7370 15.62/7.07 c cleaning 2452 clauses out of 4913 with flag 5000/5000 40.96/19.68 c cleaning 4181 clauses out of 8392 with flag 11000/11000 59.99/29.16 c And the winner is Resolution 61.59/31.19 c SATISFIABLE 61.59/31.19 c OPTIMIZING... 61.59/31.19 c Got one! Elapsed wall clock time (in seconds):31.07 61.59/31.19 o 55 64.91/32.84 c cleaning 5576 clauses out of 11181 with flag 18000/18000 85.70/43.26 c And the winner is Resolution 90.79/48.19 c Got one! Elapsed wall clock time (in seconds):48.075 90.79/48.19 o 54 94.26/49.97 c And the winner is Resolution 98.95/55.19 c Got one! Elapsed wall clock time (in seconds):55.077 98.95/55.19 o 53 102.98/57.24 c cleaning 6770 clauses out of 13592 with flag 26000/26000 128.33/69.81 c And the winner is Resolution 128.43/70.20 c Got one! Elapsed wall clock time (in seconds):70.079 128.43/70.20 o 52 129.43/70.70 c cleaning 7860 clauses out of 15819 with flag 35002/35002 190.07/100.91 c cleaning 8972 clauses out of 17948 with flag 45001/45001 230.19/120.94 c And the winner is Resolution 230.45/121.20 c Got one! Elapsed wall clock time (in seconds):121.085 230.45/121.20 o 51 240.96/126.43 c cleaning 9947 clauses out of 19967 with flag 56002/56002 301.50/156.60 c And the winner is Resolution 302.12/157.22 c Got one! Elapsed wall clock time (in seconds):157.105 302.12/157.22 o 50 307.97/160.18 c cleaning 10896 clauses out of 22011 with flag 68002/68002 378.25/195.24 c cleaning 11550 clauses out of 23104 with flag 80000/80000 462.06/236.99 c cleaning 11719 clauses out of 23546 with flag 92000/92000 532.57/272.16 c And the winner is Resolution 533.10/273.42 c Got one! Elapsed wall clock time (in seconds):273.299 533.10/273.42 o 49 539.13/276.40 c cleaning 11913 clauses out of 23831 with flag 104004/104004 566.55/290.11 c And the winner is Resolution 567.50/291.61 c Got one! Elapsed wall clock time (in seconds):291.492 567.50/291.61 o 48 577.54/296.67 c And the winner is Resolution 577.97/297.61 c Got one! Elapsed wall clock time (in seconds):297.494 577.97/297.61 o 47 597.87/307.59 c cleaning 11899 clauses out of 23913 with flag 116001/116001 676.91/346.95 c cleaning 11977 clauses out of 24008 with flag 128001/128001 814.50/415.39 c cleaning 11977 clauses out of 24025 with flag 140002/140002 908.65/462.25 c cleaning 11806 clauses out of 24051 with flag 152006/152006 1080.79/547.73 c cleaning 12057 clauses out of 24238 with flag 164000/164000 1177.62/596.10 c cleaning 11936 clauses out of 24183 with flag 176006/176006 1244.83/629.53 c cleaning 11854 clauses out of 24238 with flag 188000/188000 1800.01/905.52 c starts : 100 1800.01/905.52 c conflicts : 195681 1800.01/905.52 c decisions : 2653973 1800.01/905.52 c propagations : 34146176 1800.01/905.52 c inspects : 284209700 1800.01/905.52 c learnt literals : 278 1800.01/905.52 c learnt binary clauses : 477 1800.01/905.52 c learnt ternary clauses : 446 1800.01/905.52 c learnt clauses : 195402 1800.01/905.52 c ignored clauses : 0 1800.01/905.52 c root simplifications : 0 1800.01/905.52 c removed literals (reason simplification) : 15372289 1800.01/905.52 c reason swapping (by a shorter reason) : 0 1800.01/905.52 c Calls to reduceDB : 18 1800.01/905.52 c number of reductions to clauses (during analyze) : 0 1800.01/905.52 c number of learned constraints concerned by reduction : 0 1800.01/905.52 c number of learning phase by resolution : 0 1800.01/905.52 c number of learning phase by cutting planes : 0 1800.01/905.52 c speed (assignments/second) : 56169.60349524273 1800.01/905.52 c non guided choices 2069 1800.01/905.53 c learnt constraints type 1800.01/905.53 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 19583 1800.01/905.53 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 477 1800.01/905.53 c constraints type 1800.01/905.53 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2567 1800.01/905.53 c org.sat4j.minisat.constraints.card.MinWatchCard => 1211 1800.01/905.53 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 56 1800.01/905.53 c org.sat4j.pb.constraints.pb.MaxWatchPb => 7371 1800.01/905.53 c constraints type 1800.01/905.53 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 56 1800.01/905.53 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2567 1800.01/905.53 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1211 1800.01/905.53 c org.sat4j.pb.constraints.pb.MaxWatchPb => 7371 1800.01/905.53 s SATISFIABLE 1800.01/905.55 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 x6773 -x6774 -x6775 -x6776 -x6777 x6778 x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 x6830 -x6831 -x6832 x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 x6863 x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 x6957 x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 x6977 x6978 x6979 x6980 x6981 x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 x6999 x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 x7085 x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 x7138 x7139 x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 x7156 -x7157 -x7158 -x7159 -x7160 x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 x7175 -x7176 -x7177 -x7178 -x7179 x7180 -x7181 -x7182 x7183 -x7184 -x7185 -x7186 -x7187 x7188 -x7189 -x7190 -x7191 x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 x7213 -x7214 -x7215 x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 x7232 -x7233 -x7234 x7235 -x7236 -x7237 -x7238 -x7239 x7240 -x7241 -x7242 x7243 -x7244 x7245 -x7246 x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 x7270 x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 x7289 x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 x7297 x7298 -x7299 -x7300 -x7301 x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 x7503 x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 x7542 x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 x7558 -x7559 -x7560 x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 x7597 -x7598 -x7599 x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 x7613 -x7614 -x7615 -x7616 -x7617 x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 x7652 -x7653 -x7654 -x7655 -x7656 x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 x7828 -x7829 -x7830 -x7831 -x7832 x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 x7885 -x7886 -x7887 x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 x7903 -x7904 -x7905 -x7906 x7907 x7908 -x7909 -x7910 x7911 x7912 -x7913 -x7914 x7915 x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 x7942 x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 x7960 x7961 x7962 -x7963 -x7964 x7965 x7966 -x7967 -x7968 x7969 x7970 -x7971 -x7972 x7973 x7974 x7975 x7976 x7977 x7978 x7979 x7980 x7981 x7982 1800.01/905.56 c objective function=47 1800.01/905.56 c Total wall clock time (in seconds): 905.442
OK 47
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-3741393-1338763629/watcher-3741393-1338763629 -o /tmp/evaluation-result-3741393-1338763629/solver-3741393-1338763629 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3741393-1338763629.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.58 3.73 3.71 3/195 8237 /proc/meminfo: memFree=27056836/32873852 swapFree=6856/6856 [pid=8237] ppid=8235 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/8237/stat : 8237 (java6) R 8235 8237 4574 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 342488853 9515008 182 33554432000 1073741824 1073778376 140733431872528 140733431855256 273448517301 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/8237/statm: 2323 182 140 9 0 71 0 [startup+0.0797061 s] /proc/loadavg: 3.58 3.73 3.71 3/195 8237 /proc/meminfo: memFree=27056836/32873852 swapFree=6856/6856 [pid=8237] ppid=8235 vsize=2699928 CPUtime=0.05 cores=0,2,4,6 /proc/8237/stat : 8237 (java) S 8235 8237 4574 0 -1 4202496 3879 0 1 0 4 1 0 0 20 0 18 0 342488853 2764726272 5599 33554432000 1073741824 1073778376 140736489651744 140736489642880 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8237/statm: 674982 5600 1772 9 0 665676 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2699928 [startup+0.100257 s] /proc/loadavg: 3.58 3.73 3.71 3/195 8237 /proc/meminfo: memFree=27056836/32873852 swapFree=6856/6856 [pid=8237] ppid=8235 vsize=2699928 CPUtime=0.07 cores=0,2,4,6 /proc/8237/stat : 8237 (java) S 8235 8237 4574 0 -1 4202496 4563 0 1 0 6 1 0 0 20 0 18 0 342488853 2764726272 6280 33554432000 1073741824 1073778376 140736489651744 140736489642880 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8237/statm: 674982 6283 2040 9 0 665676 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2699928 [startup+0.300222 s] /proc/loadavg: 3.58 3.73 3.71 3/195 8237 /proc/meminfo: memFree=27056836/32873852 swapFree=6856/6856 [pid=8237] ppid=8235 vsize=2699928 CPUtime=0.56 cores=0,2,4,6 /proc/8237/stat : 8237 (java) S 8235 8237 4574 0 -1 4202496 7482 0 1 0 54 2 0 0 20 0 18 0 342488853 2764726272 11333 33554432000 1073741824 1073778376 140736489651744 140736489642880 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8237/statm: 674982 11333 2217 9 0 665676 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 2699928 [startup+0.700242 s] /proc/loadavg: 3.58 3.73 3.71 3/195 8237 /proc/meminfo: memFree=27056836/32873852 swapFree=6856/6856 [pid=8237] ppid=8235 vsize=2699928 CPUtime=1.66 cores=0,2,4,6 /proc/8237/stat : 8237 (java) S 8235 8237 4574 0 -1 4202496 23450 0 1 0 159 7 0 0 20 0 18 0 342488853 2764726272 58705 33554432000 1073741824 1073778376 140736489651744 140736489642880 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8237/statm: 674982 58705 2239 9 0 665676 0 Current children cumulated CPU time (s) 1.66 Current children cumulated vsize (KiB) 2699928 [startup+1.50064 s] /proc/loadavg: 3.58 3.73 3.71 11/213 8255 /proc/meminfo: memFree=26633844/32873852 swapFree=6856/6856 [pid=8237] ppid=8235 vsize=2966184 CPUtime=3.81 cores=0,2,4,6 /proc/8237/stat : 8237 (java) S 8235 8237 4574 0 -1 4202496 25330 0 1 0 369 12 0 0 20 0 22 0 342488853 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140736489642880 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8237/statm: 741546 107929 2266 9 0 732240 0 [pid=8237/tid=8239] ppid=8235 vsize=2966184 CPUtime=1.07 cores=0,2,4,6 /proc/8237/task/8239/stat : 8239 (java) S 8235 8237 4574 0 -1 4202560 2965 0 1 0 100 7 0 0 20 0 22 0 342488854 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399814227096 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8240] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8240/stat : 8240 (java) S 8235 8237 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342488856 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399798507944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8241] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8241/stat : 8241 (java) S 8235 8237 4574 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 342488856 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399679105576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8242] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8242/stat : 8242 (java) S 8235 8237 4574 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 342488856 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399678052520 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8243] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8243/stat : 8243 (java) S 8235 8237 4574 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 342488856 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399676999976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8244] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8244/stat : 8244 (java) S 8235 8237 4574 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342488856 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399675947944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8245] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8245/stat : 8245 (java) S 8235 8237 4574 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342488856 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399674895400 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8246] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8246/stat : 8246 (java) S 8235 8237 4574 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 342488856 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399673842344 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8247] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8247/stat : 8247 (java) S 8235 8237 4574 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342488856 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399672789800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8248] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8248/stat : 8248 (java) S 8235 8237 4574 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399190460776 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8249] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8249/stat : 8249 (java) S 8235 8237 4574 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399189407096 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8250] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8250/stat : 8250 (java) S 8235 8237 4574 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399188353928 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8251] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8251/stat : 8251 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399187302672 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8252] ppid=8235 vsize=2966184 CPUtime=0.96 cores=0,2,4,6 /proc/8237/task/8252/stat : 8252 (java) R 8235 8237 4574 0 -1 4202560 11358 0 0 0 93 3 0 0 20 0 22 0 342488860 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399186237888 140399818319760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8253] ppid=8235 vsize=2966184 CPUtime=0.94 cores=0,2,4,6 /proc/8237/task/8253/stat : 8253 (java) R 8235 8237 4574 0 -1 4202560 9664 0 0 0 92 2 0 0 20 0 22 0 342488860 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399185198008 140399821200617 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8254] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8254/stat : 8254 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399184145144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8255] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8255/stat : 8255 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 107929 33554432000 1073741824 1073778376 140736489651744 140399183092808 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.81 Current children cumulated vsize (KiB) 2966184 [startup+3.10086 s] /proc/loadavg: 3.69 3.75 3.71 5/217 8259 /proc/meminfo: memFree=26632828/32873852 swapFree=6856/6856 [pid=8237] ppid=8235 vsize=2966184 CPUtime=7.54 cores=0,2,4,6 /proc/8237/stat : 8237 (java) S 8235 8237 4574 0 -1 4202496 25640 0 1 0 736 18 0 0 20 0 22 0 342488853 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140736489642880 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8237/statm: 741546 117716 2270 9 0 732240 0 [pid=8237/tid=8239] ppid=8235 vsize=2966184 CPUtime=1.07 cores=0,2,4,6 /proc/8237/task/8239/stat : 8239 (java) S 8235 8237 4574 0 -1 4202560 2965 0 1 0 100 7 0 0 20 0 22 0 342488854 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399814227096 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8240] ppid=8235 vsize=2966184 CPUtime=0.02 cores=0,2,4,6 /proc/8237/task/8240/stat : 8240 (java) S 8235 8237 4574 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 342488856 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399798507944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8241] ppid=8235 vsize=2966184 CPUtime=0.04 cores=0,2,4,6 /proc/8237/task/8241/stat : 8241 (java) S 8235 8237 4574 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 22 0 342488856 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399679105576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8242] ppid=8235 vsize=2966184 CPUtime=0.01 cores=0,2,4,6 /proc/8237/task/8242/stat : 8242 (java) S 8235 8237 4574 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 342488856 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399678052520 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8243] ppid=8235 vsize=2966184 CPUtime=0.04 cores=0,2,4,6 /proc/8237/task/8243/stat : 8243 (java) S 8235 8237 4574 0 -1 4202560 29 0 0 0 2 2 0 0 20 0 22 0 342488856 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399676999976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8244] ppid=8235 vsize=2966184 CPUtime=0.01 cores=0,2,4,6 /proc/8237/task/8244/stat : 8244 (java) S 8235 8237 4574 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 342488856 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399675947944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8245] ppid=8235 vsize=2966184 CPUtime=0.05 cores=0,2,4,6 /proc/8237/task/8245/stat : 8245 (java) S 8235 8237 4574 0 -1 4202560 23 0 0 0 3 2 0 0 20 0 22 0 342488856 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399674895400 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8246] ppid=8235 vsize=2966184 CPUtime=0.04 cores=0,2,4,6 /proc/8237/task/8246/stat : 8246 (java) S 8235 8237 4574 0 -1 4202560 18 0 0 0 2 2 0 0 20 0 22 0 342488856 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399673842344 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8247] ppid=8235 vsize=2966184 CPUtime=0.02 cores=0,2,4,6 /proc/8237/task/8247/stat : 8247 (java) S 8235 8237 4574 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 342488856 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399672789800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8248] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8248/stat : 8248 (java) S 8235 8237 4574 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399190460776 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8249] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8249/stat : 8249 (java) S 8235 8237 4574 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399189407096 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8250] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8250/stat : 8250 (java) S 8235 8237 4574 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399188353928 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8251] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8251/stat : 8251 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399187302672 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8252] ppid=8235 vsize=2966184 CPUtime=1.15 cores=0,2,4,6 /proc/8237/task/8252/stat : 8252 (java) S 8235 8237 4574 0 -1 4202560 11558 0 0 0 112 3 0 0 20 0 22 0 342488860 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399186250552 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8253] ppid=8235 vsize=2966184 CPUtime=1.18 cores=0,2,4,6 /proc/8237/task/8253/stat : 8253 (java) S 8235 8237 4574 0 -1 4202560 9690 0 0 0 116 2 0 0 20 0 22 0 342488860 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399185198008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8254] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8254/stat : 8254 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399184145144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8255] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8255/stat : 8255 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399183092808 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8256] ppid=8235 vsize=2966184 CPUtime=1.88 cores=0,2,4,6 /proc/8237/task/8256/stat : 8256 (java) R 8235 8237 4574 0 -1 4202560 22 0 0 0 188 0 0 0 20 0 22 0 342488966 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399182037576 140399680429532 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8257] ppid=8235 vsize=2966184 CPUtime=1.87 cores=0,2,4,6 /proc/8237/task/8257/stat : 8257 (java) R 8235 8237 4574 0 -1 4202560 65 0 0 0 187 0 0 0 20 0 22 0 342488966 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399180984200 140399680046175 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8258] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8258/stat : 8258 (java) S 8235 8237 4574 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 342488968 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399179932456 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8259] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8259/stat : 8259 (java) S 8235 8237 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342488968 3037372416 117716 33554432000 1073741824 1073778376 140736489651744 140399178879912 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.54 Current children cumulated vsize (KiB) 2966184 [startup+6.30079 s] /proc/loadavg: 3.69 3.75 3.71 6/217 8259 /proc/meminfo: memFree=26562196/32873852 swapFree=6856/6856 [pid=8237] ppid=8235 vsize=2966184 CPUtime=14.21 cores=0,2,4,6 /proc/8237/stat : 8237 (java) S 8235 8237 4574 0 -1 4202496 26406 0 1 0 1393 28 0 0 20 0 22 0 342488853 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140736489642880 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8237/statm: 741546 134055 2270 9 0 732240 0 [pid=8237/tid=8239] ppid=8235 vsize=2966184 CPUtime=1.07 cores=0,2,4,6 /proc/8237/task/8239/stat : 8239 (java) S 8235 8237 4574 0 -1 4202560 2965 0 1 0 100 7 0 0 20 0 22 0 342488854 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399814227096 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8240] ppid=8235 vsize=2966184 CPUtime=0.09 cores=0,2,4,6 /proc/8237/task/8240/stat : 8240 (java) S 8235 8237 4574 0 -1 4202560 34 0 0 0 7 2 0 0 20 0 22 0 342488856 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399798507944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8241] ppid=8235 vsize=2966184 CPUtime=0.06 cores=0,2,4,6 /proc/8237/task/8241/stat : 8241 (java) S 8235 8237 4574 0 -1 4202560 23 0 0 0 5 1 0 0 20 0 22 0 342488856 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399679105576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8242] ppid=8235 vsize=2966184 CPUtime=0.06 cores=0,2,4,6 /proc/8237/task/8242/stat : 8242 (java) S 8235 8237 4574 0 -1 4202560 32 0 0 0 4 2 0 0 20 0 22 0 342488856 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399678052520 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8243] ppid=8235 vsize=2966184 CPUtime=0.13 cores=0,2,4,6 /proc/8237/task/8243/stat : 8243 (java) S 8235 8237 4574 0 -1 4202560 50 0 0 0 9 4 0 0 20 0 22 0 342488856 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399676999976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8244] ppid=8235 vsize=2966184 CPUtime=0.09 cores=0,2,4,6 /proc/8237/task/8244/stat : 8244 (java) S 8235 8237 4574 0 -1 4202560 30 0 0 0 7 2 0 0 20 0 22 0 342488856 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399675947944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8245] ppid=8235 vsize=2966184 CPUtime=0.1 cores=0,2,4,6 /proc/8237/task/8245/stat : 8245 (java) S 8235 8237 4574 0 -1 4202560 37 0 0 0 8 2 0 0 20 0 22 0 342488856 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399674895400 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8246] ppid=8235 vsize=2966184 CPUtime=0.09 cores=0,2,4,6 /proc/8237/task/8246/stat : 8246 (java) S 8235 8237 4574 0 -1 4202560 29 0 0 0 7 2 0 0 20 0 22 0 342488856 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399673842344 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8247] ppid=8235 vsize=2966184 CPUtime=0.09 cores=0,2,4,6 /proc/8237/task/8247/stat : 8247 (java) S 8235 8237 4574 0 -1 4202560 34 0 0 0 6 3 0 0 20 0 22 0 342488856 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399672789800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8248] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8248/stat : 8248 (java) S 8235 8237 4574 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399190460776 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8249] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8249/stat : 8249 (java) S 8235 8237 4574 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399189407096 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8250] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8250/stat : 8250 (java) S 8235 8237 4574 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399188353928 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8251] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8251/stat : 8251 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399187302672 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8252] ppid=8235 vsize=2966184 CPUtime=1.21 cores=0,2,4,6 /proc/8237/task/8252/stat : 8252 (java) S 8235 8237 4574 0 -1 4202560 12188 0 0 0 118 3 0 0 20 0 22 0 342488860 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399186250552 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8253] ppid=8235 vsize=2966184 CPUtime=1.18 cores=0,2,4,6 /proc/8237/task/8253/stat : 8253 (java) S 8235 8237 4574 0 -1 4202560 9690 0 0 0 116 2 0 0 20 0 22 0 342488860 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399185198008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8254] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8254/stat : 8254 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399184145144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8255] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8255/stat : 8255 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399183092808 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8256] ppid=8235 vsize=2966184 CPUtime=4.93 cores=0,2,4,6 /proc/8237/task/8256/stat : 8256 (java) R 8235 8237 4574 0 -1 4202560 26 0 0 0 493 0 0 0 20 0 22 0 342488966 3037372416 134055 33554432000 1073741824 1073778376 140736489651744 140399182037160 140399680081507 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ [pid=8237/tid=8259] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8259/stat : 8259 (java) S 8235 8237 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342488968 3037372416 226016 33554432000 1073741824 1073778376 140736489651744 140399178879912 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8280] ppid=8235 vsize=2966184 CPUtime=515.69 cores=0,2,4,6 /proc/8237/task/8280/stat : 8280 (java) R 8235 8237 4574 0 -1 4202560 97 0 0 0 51558 11 0 0 20 0 22 0 342518615 3037372416 226016 33554432000 1073741824 1073778376 140736489651744 140399180983296 140399680256686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8281] ppid=8235 vsize=2966184 CPUtime=515.65 cores=0,2,4,6 /proc/8237/task/8281/stat : 8281 (java) R 8235 8237 4574 0 -1 4202560 436 0 0 0 51556 9 0 0 20 0 22 0 342518615 3037372416 226016 33554432000 1073741824 1073778376 140736489651744 140399182036640 140399679584308 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1632.66 Current children cumulated vsize (KiB) 2966184 [startup+882.301 s] /proc/loadavg: 3.77 3.64 3.63 5/218 8444 /proc/meminfo: memFree=25680780/32873852 swapFree=6856/6856 [pid=8237] ppid=8235 vsize=2966184 CPUtime=1753.4 cores=0,2,4,6 /proc/8237/stat : 8237 (java) S 8235 8237 4574 0 -1 4202496 33772 0 1 0 175169 171 0 0 20 0 22 0 342488853 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140736489642880 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8237/statm: 741546 233783 2283 9 0 732240 0 [pid=8237/tid=8239] ppid=8235 vsize=2966184 CPUtime=1.1 cores=0,2,4,6 /proc/8237/task/8239/stat : 8239 (java) S 8235 8237 4574 0 -1 4202560 2972 0 1 0 103 7 0 0 20 0 22 0 342488854 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399814227112 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8240] ppid=8235 vsize=2966184 CPUtime=4.2 cores=0,2,4,6 /proc/8237/task/8240/stat : 8240 (java) S 8235 8237 4574 0 -1 4202560 251 0 0 0 412 8 0 0 20 0 22 0 342488856 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399798507944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8241] ppid=8235 vsize=2966184 CPUtime=4.44 cores=0,2,4,6 /proc/8237/task/8241/stat : 8241 (java) S 8235 8237 4574 0 -1 4202560 270 0 0 0 436 8 0 0 20 0 22 0 342488856 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399679105576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8242] ppid=8235 vsize=2966184 CPUtime=4.22 cores=0,2,4,6 /proc/8237/task/8242/stat : 8242 (java) S 8235 8237 4574 0 -1 4202560 272 0 0 0 412 10 0 0 20 0 22 0 342488856 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399678052520 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8243] ppid=8235 vsize=2966184 CPUtime=4.23 cores=0,2,4,6 /proc/8237/task/8243/stat : 8243 (java) S 8235 8237 4574 0 -1 4202560 304 0 0 0 413 10 0 0 20 0 22 0 342488856 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399676999976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8244] ppid=8235 vsize=2966184 CPUtime=4.13 cores=0,2,4,6 /proc/8237/task/8244/stat : 8244 (java) S 8235 8237 4574 0 -1 4202560 255 0 0 0 404 9 0 0 20 0 22 0 342488856 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399675947944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8245] ppid=8235 vsize=2966184 CPUtime=4.3 cores=0,2,4,6 /proc/8237/task/8245/stat : 8245 (java) S 8235 8237 4574 0 -1 4202560 267 0 0 0 421 9 0 0 20 0 22 0 342488856 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399674895400 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8246] ppid=8235 vsize=2966184 CPUtime=4.45 cores=0,2,4,6 /proc/8237/task/8246/stat : 8246 (java) S 8235 8237 4574 0 -1 4202560 271 0 0 0 436 9 0 0 20 0 22 0 342488856 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399673842344 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8247] ppid=8235 vsize=2966184 CPUtime=4.26 cores=0,2,4,6 /proc/8237/task/8247/stat : 8247 (java) S 8235 8237 4574 0 -1 4202560 271 0 0 0 416 10 0 0 20 0 22 0 342488856 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399672789800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8248] ppid=8235 vsize=2966184 CPUtime=4.58 cores=0,2,4,6 /proc/8237/task/8248/stat : 8248 (java) S 8235 8237 4574 0 -1 4202560 4392 0 0 0 406 52 0 0 20 0 22 0 342488857 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399190460776 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8249] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8249/stat : 8249 (java) S 8235 8237 4574 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399189407096 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8250] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8250/stat : 8250 (java) S 8235 8237 4574 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399188353928 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8251] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8251/stat : 8251 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399187302672 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8252] ppid=8235 vsize=2966184 CPUtime=1.62 cores=0,2,4,6 /proc/8237/task/8252/stat : 8252 (java) S 8235 8237 4574 0 -1 4202560 12211 0 0 0 159 3 0 0 20 0 22 0 342488860 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399186250552 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8253] ppid=8235 vsize=2966184 CPUtime=1.38 cores=0,2,4,6 /proc/8237/task/8253/stat : 8253 (java) S 8235 8237 4574 0 -1 4202560 9696 0 0 0 136 2 0 0 20 0 22 0 342488860 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399185198008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8254] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8254/stat : 8254 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399184145144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8255] ppid=8235 vsize=2966184 CPUtime=0.3 cores=0,2,4,6 /proc/8237/task/8255/stat : 8255 (java) S 8235 8237 4574 0 -1 4202560 51 0 0 0 14 16 0 0 20 0 22 0 342488860 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399183092808 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8258] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8258/stat : 8258 (java) S 8235 8237 4574 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 342488968 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399179932456 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8259] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8259/stat : 8259 (java) S 8235 8237 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342488968 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399178879912 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8280] ppid=8235 vsize=2966184 CPUtime=574.96 cores=0,2,4,6 /proc/8237/task/8280/stat : 8280 (java) R 8235 8237 4574 0 -1 4202560 100 0 0 0 57484 12 0 0 20 0 22 0 342518615 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399180983296 140399680081470 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8281] ppid=8235 vsize=2966184 CPUtime=574.94 cores=0,2,4,6 /proc/8237/task/8281/stat : 8281 (java) R 8235 8237 4574 0 -1 4202560 492 0 0 0 57483 11 0 0 20 0 22 0 342518615 3037372416 233783 33554432000 1073741824 1073778376 140736489651744 140399182036736 140399680317077 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1753.4 Current children cumulated vsize (KiB) 2966184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+905.501 s] /proc/loadavg: 3.71 3.63 3.63 4/217 8444 /proc/meminfo: memFree=25651868/32873852 swapFree=6856/6856 [pid=8237] ppid=8235 vsize=2966184 CPUtime=1800.01 cores=0,2,4,6 /proc/8237/stat : 8237 (java) S 8235 8237 4574 0 -1 4202496 33878 0 1 0 179826 175 0 0 20 0 22 0 342488853 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140736489642880 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8237/statm: 741546 240486 2283 9 0 732240 0 [pid=8237/tid=8239] ppid=8235 vsize=2966184 CPUtime=1.1 cores=0,2,4,6 /proc/8237/task/8239/stat : 8239 (java) S 8235 8237 4574 0 -1 4202560 2972 0 1 0 103 7 0 0 20 0 22 0 342488854 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399814227112 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8240] ppid=8235 vsize=2966184 CPUtime=4.28 cores=0,2,4,6 /proc/8237/task/8240/stat : 8240 (java) S 8235 8237 4574 0 -1 4202560 272 0 0 0 419 9 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399798507944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8241] ppid=8235 vsize=2966184 CPUtime=4.53 cores=0,2,4,6 /proc/8237/task/8241/stat : 8241 (java) S 8235 8237 4574 0 -1 4202560 287 0 0 0 444 9 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399679105576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8242] ppid=8235 vsize=2966184 CPUtime=4.31 cores=0,2,4,6 /proc/8237/task/8242/stat : 8242 (java) S 8235 8237 4574 0 -1 4202560 285 0 0 0 421 10 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399678052520 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8243] ppid=8235 vsize=2966184 CPUtime=4.3 cores=0,2,4,6 /proc/8237/task/8243/stat : 8243 (java) S 8235 8237 4574 0 -1 4202560 310 0 0 0 420 10 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399676999976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8244] ppid=8235 vsize=2966184 CPUtime=4.21 cores=0,2,4,6 /proc/8237/task/8244/stat : 8244 (java) S 8235 8237 4574 0 -1 4202560 265 0 0 0 411 10 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399675947944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8245] ppid=8235 vsize=2966184 CPUtime=4.38 cores=0,2,4,6 /proc/8237/task/8245/stat : 8245 (java) S 8235 8237 4574 0 -1 4202560 270 0 0 0 429 9 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399674895400 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8246] ppid=8235 vsize=2966184 CPUtime=4.52 cores=0,2,4,6 /proc/8237/task/8246/stat : 8246 (java) S 8235 8237 4574 0 -1 4202560 278 0 0 0 443 9 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399673842344 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8247] ppid=8235 vsize=2966184 CPUtime=4.31 cores=0,2,4,6 /proc/8237/task/8247/stat : 8247 (java) S 8235 8237 4574 0 -1 4202560 277 0 0 0 421 10 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399672789800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8248] ppid=8235 vsize=2966184 CPUtime=4.6 cores=0,2,4,6 /proc/8237/task/8248/stat : 8248 (java) S 8235 8237 4574 0 -1 4202560 4394 0 0 0 407 53 0 0 20 0 22 0 342488857 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399190460776 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8249] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8249/stat : 8249 (java) S 8235 8237 4574 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399189407096 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8250] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8250/stat : 8250 (java) S 8235 8237 4574 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399188353928 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8251] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8251/stat : 8251 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399187302672 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8252] ppid=8235 vsize=2966184 CPUtime=1.62 cores=0,2,4,6 /proc/8237/task/8252/stat : 8252 (java) S 8235 8237 4574 0 -1 4202560 12211 0 0 0 159 3 0 0 20 0 22 0 342488860 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399186250552 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8253] ppid=8235 vsize=2966184 CPUtime=1.38 cores=0,2,4,6 /proc/8237/task/8253/stat : 8253 (java) S 8235 8237 4574 0 -1 4202560 9696 0 0 0 136 2 0 0 20 0 22 0 342488860 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399185198008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8254] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8254/stat : 8254 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399184145144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8255] ppid=8235 vsize=2966184 CPUtime=0.3 cores=0,2,4,6 /proc/8237/task/8255/stat : 8255 (java) S 8235 8237 4574 0 -1 4202560 53 0 0 0 14 16 0 0 20 0 22 0 342488860 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399183092808 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8258] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8258/stat : 8258 (java) S 8235 8237 4574 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 342488968 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399179932456 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8259] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8259/stat : 8259 (java) S 8235 8237 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342488968 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399178879912 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8280] ppid=8235 vsize=2966184 CPUtime=597.96 cores=0,2,4,6 /proc/8237/task/8280/stat : 8280 (java) R 8235 8237 4574 0 -1 4202560 101 0 0 0 59783 13 0 0 20 0 22 0 342518615 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399180983296 140399680256720 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8281] ppid=8235 vsize=2966184 CPUtime=597.94 cores=0,2,4,6 /proc/8237/task/8281/stat : 8281 (java) R 8235 8237 4574 0 -1 4202560 510 0 0 0 59782 12 0 0 20 0 22 0 342518615 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399182036736 140399680047363 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 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+905.501 s] /proc/loadavg: 3.71 3.63 3.63 4/217 8444 /proc/meminfo: memFree=25651868/32873852 swapFree=6856/6856 [pid=8237] ppid=8235 vsize=2966184 CPUtime=1800.01 cores=0,2,4,6 /proc/8237/stat : 8237 (java) S 8235 8237 4574 0 -1 4202496 33878 0 1 0 179826 175 0 0 20 0 22 0 342488853 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140736489642880 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8237/statm: 741546 240486 2283 9 0 732240 0 [pid=8237/tid=8239] ppid=8235 vsize=2966184 CPUtime=1.1 cores=0,2,4,6 /proc/8237/task/8239/stat : 8239 (java) S 8235 8237 4574 0 -1 4202560 2972 0 1 0 103 7 0 0 20 0 22 0 342488854 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399814227112 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8240] ppid=8235 vsize=2966184 CPUtime=4.28 cores=0,2,4,6 /proc/8237/task/8240/stat : 8240 (java) S 8235 8237 4574 0 -1 4202560 272 0 0 0 419 9 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399798507944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8241] ppid=8235 vsize=2966184 CPUtime=4.53 cores=0,2,4,6 /proc/8237/task/8241/stat : 8241 (java) S 8235 8237 4574 0 -1 4202560 287 0 0 0 444 9 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399679105576 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8242] ppid=8235 vsize=2966184 CPUtime=4.31 cores=0,2,4,6 /proc/8237/task/8242/stat : 8242 (java) S 8235 8237 4574 0 -1 4202560 285 0 0 0 421 10 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399678052520 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8243] ppid=8235 vsize=2966184 CPUtime=4.3 cores=0,2,4,6 /proc/8237/task/8243/stat : 8243 (java) S 8235 8237 4574 0 -1 4202560 310 0 0 0 420 10 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399676999976 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8244] ppid=8235 vsize=2966184 CPUtime=4.21 cores=0,2,4,6 /proc/8237/task/8244/stat : 8244 (java) S 8235 8237 4574 0 -1 4202560 265 0 0 0 411 10 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399675947944 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8245] ppid=8235 vsize=2966184 CPUtime=4.38 cores=0,2,4,6 /proc/8237/task/8245/stat : 8245 (java) S 8235 8237 4574 0 -1 4202560 270 0 0 0 429 9 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399674895400 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8246] ppid=8235 vsize=2966184 CPUtime=4.52 cores=0,2,4,6 /proc/8237/task/8246/stat : 8246 (java) S 8235 8237 4574 0 -1 4202560 278 0 0 0 443 9 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399673842344 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8247] ppid=8235 vsize=2966184 CPUtime=4.31 cores=0,2,4,6 /proc/8237/task/8247/stat : 8247 (java) S 8235 8237 4574 0 -1 4202560 277 0 0 0 421 10 0 0 20 0 22 0 342488856 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399672789800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8248] ppid=8235 vsize=2966184 CPUtime=4.6 cores=0,2,4,6 /proc/8237/task/8248/stat : 8248 (java) S 8235 8237 4574 0 -1 4202560 4394 0 0 0 407 53 0 0 20 0 22 0 342488857 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399190460776 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8249] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8249/stat : 8249 (java) S 8235 8237 4574 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399189407096 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8250] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8250/stat : 8250 (java) S 8235 8237 4574 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342488857 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399188353928 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8251] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8251/stat : 8251 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399187302672 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8252] ppid=8235 vsize=2966184 CPUtime=1.62 cores=0,2,4,6 /proc/8237/task/8252/stat : 8252 (java) S 8235 8237 4574 0 -1 4202560 12211 0 0 0 159 3 0 0 20 0 22 0 342488860 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399186250552 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8237/tid=8253] ppid=8235 vsize=2966184 CPUtime=1.38 cores=0,2,4,6 /proc/8237/task/8253/stat : 8253 (java) S 8235 8237 4574 0 -1 4202560 9696 0 0 0 136 2 0 0 20 0 22 0 342488860 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399185198008 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8254] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8254/stat : 8254 (java) S 8235 8237 4574 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342488860 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399184145144 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8255] ppid=8235 vsize=2966184 CPUtime=0.3 cores=0,2,4,6 /proc/8237/task/8255/stat : 8255 (java) S 8235 8237 4574 0 -1 4202560 53 0 0 0 14 16 0 0 20 0 22 0 342488860 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399183092808 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8258] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8258/stat : 8258 (java) S 8235 8237 4574 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 342488968 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399179932456 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8237/tid=8259] ppid=8235 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/8237/task/8259/stat : 8259 (java) S 8235 8237 4574 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342488968 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399178879912 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=8237/tid=8280] ppid=8235 vsize=2966184 CPUtime=597.96 cores=0,2,4,6 /proc/8237/task/8280/stat : 8280 (java) R 8235 8237 4574 0 -1 4202560 101 0 0 0 59783 13 0 0 20 0 22 0 342518615 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399180983296 140399680256720 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=8237/tid=8281] ppid=8235 vsize=2966184 CPUtime=597.94 cores=0,2,4,6 /proc/8237/task/8281/stat : 8281 (java) R 8235 8237 4574 0 -1 4202560 510 0 0 0 59782 12 0 0 20 0 22 0 342518615 3037372416 240486 33554432000 1073741824 1073778376 140736489651744 140399182036736 140399680047363 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 2966184 Child status: 143 Real time (s): 905.573 CPU time (s): 1801.08 CPU user time (s): 1798.9 CPU system time (s): 2.18067 CPU usage (%): 198.888 Max. virtual memory (cumulated for all children) (KiB): 2966184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.9 system time used= 2.18067 maximum resident set size= 962084 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33917 page faults= 1 swaps= 0 block input operations= 0 block output operations= 952 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 50176 involuntary context switches= 84337 runsolver used 3.62145 second user time and 7.71483 second system time The end
Begin job on node128 at 2012-06-04 00:47:09 IDJOB=3741393 IDBENCH=89852 IDSOLVER=2324 FILE ID=node128/3741393-1338763629 RUNJOBID= node128-1338749491-4590 PBS_JOBID= 14636803 Free space on /tmp= 70416 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns1696083.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741393-1338763629/watcher-3741393-1338763629 -o /tmp/evaluation-result-3741393-1338763629/solver-3741393-1338763629 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3741393-1338763629.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8188d71a03844e125aafcd8487c80120 RANDOM SEED=1577059515 node128.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.389 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.77 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.389 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.389 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 : 5438.56 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.389 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.389 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.389 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.389 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.389 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: 32873852 kB MemFree: 27057216 kB Buffers: 555576 kB Cached: 3793428 kB SwapCached: 744 kB Active: 2571356 kB Inactive: 2348892 kB Active(anon): 561968 kB Inactive(anon): 11420 kB Active(file): 2009388 kB Inactive(file): 2337472 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67106656 kB Dirty: 3604 kB Writeback: 0 kB AnonPages: 577072 kB Mapped: 22252 kB Shmem: 200 kB Slab: 757292 kB SReclaimable: 199376 kB SUnreclaim: 557916 kB KernelStack: 1608 kB PageTables: 5336 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 1577144 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 516096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70416 MiB End job on node128 at 2012-06-04 01:02:17