Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 4492 | 1800.34 | 902.49 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air02.opb |
MD5SUM | 3f00532e02ccc246cb25b1a4f0a837d4 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4492 |
Best CPU time to get the best result obtained on this benchmark | 1800.21 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3905 |
Optimality of the best value was proved | YES |
Number of variables | 6774 |
Total number of constraints | 50 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 50 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 3729 |
Number of terms in the objective function | 6774 |
Biggest coefficient in the objective function | 4804 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 6613094 |
Number of bits of the sum of numbers in the objective function | 23 |
Biggest number in a constraint | 4804 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 6613094 |
Number of bits of the biggest sum of numbers | 23 |
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.3.1.v20110525 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.18-164.el5 0.05/0.09 c os.arch amd64 0.05/0.09 c Free memory 9996466904 0.05/0.09 c Max memory 10048897024 0.05/0.09 c Total memory 10048897024 0.05/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3455027-1307187675.opb 0.10/0.11 c reading problem ... 0.72/0.42 c ... done. Wall clock time 0.313s. 0.72/0.42 c #vars 6774 0.72/0.42 c #constraints 100 0.72/0.42 c constraints type 0.72/0.42 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 50 0.72/0.42 c org.sat4j.minisat.constraints.card.MinWatchCard => 50 0.72/0.42 c constraints type 0.72/0.42 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 50 0.72/0.43 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50 2.96/1.25 c And the winner is CuttingPlanes 3.13/1.46 c SATISFIABLE 3.13/1.46 c OPTIMIZING... 3.13/1.46 c Got one! Elapsed wall clock time (in seconds):1.347 3.13/1.46 o 5732 4.58/2.20 c And the winner is CuttingPlanes 4.82/2.51 c Got one! Elapsed wall clock time (in seconds):2.4 4.82/2.51 o 5083 5.61/2.96 c And the winner is CuttingPlanes 5.75/3.06 c Got one! Elapsed wall clock time (in seconds):2.947 5.75/3.06 o 4720 7.38/3.80 c And the winner is CuttingPlanes 7.44/4.10 c Got one! Elapsed wall clock time (in seconds):3.991 7.44/4.10 o 4702 27.83/14.24 c And the winner is CuttingPlanes 27.90/14.68 c Got one! Elapsed wall clock time (in seconds):14.566 27.90/14.68 o 4603 173.98/87.61 c cleaning 2976 clauses out of 5959 with flag 5000/5959 282.79/142.04 c And the winner is CuttingPlanes 282.88/142.19 c Got one! Elapsed wall clock time (in seconds):142.081 282.88/142.19 o 4602 297.75/149.69 c And the winner is CuttingPlanes 297.91/149.75 c Got one! Elapsed wall clock time (in seconds):149.639 297.91/149.75 o 4585 360.27/180.97 c And the winner is CuttingPlanes 360.48/181.40 c Got one! Elapsed wall clock time (in seconds):181.29 360.48/181.40 o 4583 369.30/185.86 c And the winner is CuttingPlanes 369.42/185.95 c Got one! Elapsed wall clock time (in seconds):185.838 369.42/185.95 o 4565 446.45/224.49 c cleaning 4817 clauses out of 9633 with flag 2002/12610 606.19/304.30 c And the winner is CuttingPlanes 606.20/304.43 c Got one! Elapsed wall clock time (in seconds):304.322 606.20/304.43 o 4550 769.83/386.27 c And the winner is CuttingPlanes 769.99/386.78 c Got one! Elapsed wall clock time (in seconds):386.668 769.99/386.78 o 4512 802.64/403.18 c cleaning 7489 clauses out of 14977 with flag 1007/22771 853.02/428.33 c And the winner is CuttingPlanes 853.11/428.47 c Got one! Elapsed wall clock time (in seconds):428.359 853.11/428.47 o 4510 1007.82/505.81 c cleaning 6429 clauses out of 12881 with flag 4001/28164 1046.06/525.07 c And the winner is CuttingPlanes 1046.22/525.38 c Got one! Elapsed wall clock time (in seconds):525.265 1046.22/525.38 o 4492 1265.95/635.22 c cleaning 5816 clauses out of 11638 with flag 4001/33350 1608.19/806.37 c cleaning 5910 clauses out of 11822 with flag 10001/39350 1800.07/902.32 c starts : 14 1800.07/902.32 c conflicts : 180 1800.07/902.32 c decisions : 46007 1800.07/902.32 c propagations : 121441 1800.07/902.32 c inspects : 1301080 1800.07/902.32 c shortcuts : 0 1800.07/902.32 c learnt literals : 0 1800.07/902.32 c learnt binary clauses : 0 1800.07/902.32 c learnt ternary clauses : 0 1800.07/902.32 c learnt constraints : 179 1800.07/902.32 c ignored constraints : 0 1800.07/902.32 c root simplifications : 0 1800.07/902.32 c removed literals (reason simplification) : 0 1800.07/902.32 c reason swapping (by a shorter reason) : 0 1800.07/902.32 c Calls to reduceDB : 0 1800.07/902.32 c number of reductions to clauses (during analyze) : 0 1800.07/902.32 c number of learned constraints concerned by reduction : 0 1800.07/902.32 c number of learning phase by resolution : 0 1800.07/902.32 c number of learning phase by cutting planes : 0 1800.07/902.32 c speed (assignments/second) : 322.18107148731605 1800.07/902.32 c non guided choices 0 1800.07/902.32 c learnt constraints type 1800.07/902.32 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 9 1800.07/902.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 170 1800.07/902.32 c constraints type 1800.07/902.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 50 1800.07/902.32 c org.sat4j.minisat.constraints.card.MinWatchCard => 50 1800.07/902.32 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.07/902.32 c constraints type 1800.07/902.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 50 1800.07/902.32 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50 1800.07/902.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.07/902.32 s SATISFIABLE 1800.07/902.33 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 1800.07/902.34 c objective function=4492 1800.07/902.34 c Total wall clock time (in seconds): 902.233
OK 4492
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3455027-1307187675/watcher-3455027-1307187675 -o /tmp/evaluation-result-3455027-1307187675/solver-3455027-1307187675 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455027-1307187675.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.75 3.49 2.99 3/509 21903 /proc/meminfo: memFree=20825024/32951124 swapFree=46575304/67111528 [pid=21903] ppid=21901 vsize=30528 CPUtime=0 cores=0,2,4,6 /proc/21903/stat : 21903 (java) S 21901 21903 17058 0 -1 4202496 1237 0 0 0 0 0 0 0 25 0 2 0 562958727 31260672 957 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672464869 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 /proc/21903/statm: 7632 957 730 9 0 383 0 [pid=21903/tid=21904] ppid=21901 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21904/stat : 21904 (java) R 21901 21903 17058 0 -1 4202560 4849 0 1 0 0 0 0 0 25 0 2 0 562958727 10694979584 5665 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.0661071 s] /proc/loadavg: 3.75 3.49 2.99 3/509 21903 /proc/meminfo: memFree=20825024/32951124 swapFree=46575304/67111528 [pid=21903] ppid=21901 vsize=10538460 CPUtime=0.05 cores=0,2,4,6 /proc/21903/stat : 21903 (java) S 21901 21903 17058 0 -1 4202496 11706 0 1 0 4 1 0 0 25 0 18 0 562958727 10791383040 11403 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21903/statm: 2634615 11403 1733 9 0 2625356 0 [pid=21903/tid=21904] ppid=21901 vsize=10538488 CPUtime=0.05 cores=0,2,4,6 /proc/21903/task/21904/stat : 21904 (java) R 21901 21903 17058 0 -1 4202560 10534 0 1 0 4 1 0 0 22 0 18 0 562958727 10791411712 11407 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 46912504011056 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10538460 [startup+0.105113 s] /proc/loadavg: 3.75 3.49 2.99 3/509 21903 /proc/meminfo: memFree=20825024/32951124 swapFree=46575304/67111528 [pid=21903] ppid=21901 vsize=10539496 CPUtime=0.1 cores=0,2,4,6 /proc/21903/stat : 21903 (java) S 21901 21903 17058 0 -1 4202496 12955 0 1 0 9 1 0 0 25 0 18 0 562958727 10792443904 12652 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21903/statm: 2634874 12652 2093 9 0 2625608 0 [pid=21903/tid=21904] ppid=21901 vsize=10539496 CPUtime=0.08 cores=0,2,4,6 /proc/21903/task/21904/stat : 21904 (java) R 21901 21903 17058 0 -1 4202560 11211 0 1 0 7 1 0 0 22 0 18 0 562958727 10792443904 12652 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 47195923118486 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539496 [startup+0.30607 s] /proc/loadavg: 3.75 3.49 2.99 3/509 21903 /proc/meminfo: memFree=20825024/32951124 swapFree=46575304/67111528 [pid=21903] ppid=21901 vsize=10546136 CPUtime=0.53 cores=0,2,4,6 /proc/21903/stat : 21903 (java) S 21901 21903 17058 0 -1 4202496 18664 0 1 0 51 2 0 0 25 0 18 0 562958727 10799243264 17753 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21903/statm: 2636534 17754 2203 9 0 2627268 0 [pid=21903/tid=21904] ppid=21901 vsize=10546136 CPUtime=0.29 cores=0,2,4,6 /proc/21903/task/21904/stat : 21904 (java) R 21901 21903 17058 0 -1 4202560 14392 0 1 0 27 2 0 0 22 0 18 0 562958727 10799243264 17756 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 46912505554422 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 10546136 [startup+0.704999 s] /proc/loadavg: 3.75 3.49 2.99 3/509 21903 /proc/meminfo: memFree=20825024/32951124 swapFree=46575304/67111528 [pid=21903] ppid=21901 vsize=10549048 CPUtime=1.63 cores=0,2,4,6 /proc/21903/stat : 21903 (java) S 21901 21903 17058 0 -1 4202496 34092 0 1 0 159 4 0 0 25 0 22 0 562958727 10802225152 32013 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21903/statm: 2637262 32013 2226 9 0 2627996 0 [pid=21903/tid=21904] ppid=21901 vsize=10549048 CPUtime=0.41 cores=0,2,4,6 /proc/21903/task/21904/stat : 21904 (java) S 21901 21903 17058 0 -1 4202560 27324 0 1 0 38 3 0 0 23 0 22 0 562958727 10802225152 32013 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 4 0 16800975 18446604447642171584 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.63 Current children cumulated vsize (KiB) 10549048 [startup+1.50484 s] /proc/loadavg: 3.93 3.53 3.01 5/531 21925 /proc/meminfo: memFree=20699368/32951124 swapFree=46575304/67111528 [pid=21903] ppid=21901 vsize=10549048 CPUtime=3.27 cores=0,2,4,6 /proc/21903/stat : 21903 (java) S 21901 21903 17058 0 -1 4202496 38501 0 1 0 323 4 0 0 25 0 22 0 562958727 10802225152 35472 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21903/statm: 2637262 35472 2231 9 0 2627996 0 [pid=21903/tid=21904] ppid=21901 vsize=10549048 CPUtime=0.46 cores=0,2,4,6 /proc/21903/task/21904/stat : 21904 (java) S 21901 21903 17058 0 -1 4202560 28196 0 1 0 43 3 0 0 17 0 22 0 562958727 10802225152 35473 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21906] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21906/stat : 21906 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 35473 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21907] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21907/stat : 21907 (java) S 21901 21903 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 35473 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21908] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21908/stat : 21908 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 35474 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21909] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21909/stat : 21909 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 35474 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21910] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21910/stat : 21910 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 35474 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21911] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21911/stat : 21911 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 35475 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21912] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21912/stat : 21912 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 35475 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21913] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21913/stat : 21913 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 35476 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21914] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21914/stat : 21914 (java) S 21901 21903 17058 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 562958730 10802225152 35476 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 0 0 16800975 18446604447642171584 0 0 -1 0 0 0 0 [pid=21903/tid=21915] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21915/stat : 21915 (java) S 21901 21903 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 562958730 10802225152 35477 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21916] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21916/stat : 21916 (java) S 21901 21903 17058 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 562958730 10802225152 35477 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21917] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21917/stat : 21917 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 562958733 10802225152 35477 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672485809 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21918] ppid=21901 vsize=10549048 CPUtime=0.51 cores=0,2,4,6 /proc/21903/task/21918/stat : 21918 (java) R 21901 21903 17058 0 -1 4202560 1973 0 0 0 51 0 0 0 15 0 22 0 562958733 10802225152 35478 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 47195926278774 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=21903/tid=21919] ppid=21901 vsize=10549048 CPUtime=0.56 cores=0,2,4,6 /proc/21903/task/21919/stat : 21919 (java) R 21901 21903 17058 0 -1 4202560 3781 0 0 0 56 0 0 0 15 0 22 0 562958733 10802225152 35479 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 47195922384988 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=21903/tid=21920] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21920/stat : 21920 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 562958733 10802225152 35480 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21921] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21921/stat : 21921 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562958733 10802225152 35480 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21925] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21925/stat : 21925 (java) S 21901 21903 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562958773 10802225152 35481 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.27 Current children cumulated vsize (KiB) 10549048 [startup+3.10154 s] /proc/loadavg: 3.93 3.53 3.01 4/531 21928 /proc/meminfo: memFree=20473400/32951124 swapFree=46575304/67111528 [pid=21903] ppid=21901 vsize=10549048 CPUtime=5.91 cores=0,2,4,6 /proc/21903/stat : 21903 (java) S 21901 21903 17058 0 -1 4202496 96117 0 1 0 579 12 0 0 25 0 22 0 562958727 10802225152 93086 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21903/statm: 2637262 93087 2232 9 0 2627996 0 [pid=21903/tid=21904] ppid=21901 vsize=10549048 CPUtime=0.54 cores=0,2,4,6 /proc/21903/task/21904/stat : 21904 (java) S 21901 21903 17058 0 -1 4202560 29803 0 1 0 51 3 0 0 17 0 22 0 562958727 10802225152 93087 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 4 0 16800975 18446604447642171584 0 0 -1 0 0 0 0 [pid=21903/tid=21906] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21906/stat : 21906 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 93087 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21907] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21907/stat : 21907 (java) S 21901 21903 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 93088 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21908] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21908/stat : 21908 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 93088 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21909] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21909/stat : 21909 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 93089 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21910] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21910/stat : 21910 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 93089 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21911] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21911/stat : 21911 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 93089 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21912] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21912/stat : 21912 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 93090 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21913] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21913/stat : 21913 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 93090 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21914] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21914/stat : 21914 (java) S 21901 21903 17058 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 562958730 10802225152 93091 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 0 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21915] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21915/stat : 21915 (java) S 21901 21903 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 562958730 10802225152 93091 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21916] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21916/stat : 21916 (java) S 21901 21903 17058 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 562958730 10802225152 93092 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21917] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21917/stat : 21917 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 562958733 10802225152 93092 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672485809 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21918] ppid=21901 vsize=10549048 CPUtime=0.65 cores=0,2,4,6 /proc/21903/task/21918/stat : 21918 (java) S 21901 21903 17058 0 -1 4202560 1991 0 0 0 65 0 0 0 15 0 22 0 562958733 10802225152 93092 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 4 0 0 0 [pid=21903/tid=21919] ppid=21901 vsize=10549048 CPUtime=0.65 cores=0,2,4,6 /proc/21903/task/21919/stat : 21919 (java) S 21901 21903 17058 0 -1 4202560 3795 0 0 0 65 0 0 0 15 0 22 0 562958733 10802225152 93092 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21920] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21920/stat : 21920 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 562958733 10802225152 93092 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21921] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21921/stat : 21921 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562958733 10802225152 93092 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21925] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21925/stat : 21925 (java) S 21901 21903 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562958773 10802225152 93093 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 5.91 Current children cumulated vsize (KiB) 10549048 [startup+6.30104 s] /proc/loadavg: 3.93 3.53 3.01 4/531 21937 /proc/meminfo: memFree=19552568/32951124 swapFree=46575304/67111528 [pid=21903] ppid=21901 vsize=10549048 CPUtime=11.83 cores=0,2,4,6 /proc/21903/stat : 21903 (java) S 21901 21903 17058 0 -1 4202496 448220 0 1 0 1137 46 0 0 25 0 22 0 562958727 10802225152 444588 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21903/statm: 2637262 444588 2232 9 0 2627996 0 [pid=21903/tid=21904] ppid=21901 vsize=10549048 CPUtime=0.58 cores=0,2,4,6 /proc/21903/task/21904/stat : 21904 (java) S 21901 21903 17058 0 -1 4202560 30606 0 1 0 54 4 0 0 15 0 22 0 562958727 10802225152 444588 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21906] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21906/stat : 21906 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 444591 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21907] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21907/stat : 21907 (java) S 21901 21903 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 444598 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21908] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21908/stat : 21908 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 444603 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21909] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21909/stat : 21909 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 444603 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21910] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21910/stat : 21910 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 444603 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21911] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21911/stat : 21911 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 444603 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21912] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21912/stat : 21912 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 444603 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21913] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21913/stat : 21913 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562958729 10802225152 444604 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21914] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21914/stat : 21914 (java) S 21901 21903 17058 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 562958730 10802225152 444611 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 0 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21915] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21915/stat : 21915 (java) S 21901 21903 17058 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 562958730 10802225152 444617 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21916] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21916/stat : 21916 (java) S 21901 21903 17058 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 562958730 10802225152 444619 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21917] ppid=21901 vsize=10549048 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21917/stat : 21917 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 562958733 10802225152 444619 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672485809 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21918] ppid=21901 vsize=10549048 CPUtime=0.71 cores=0,2,4,6 /proc/21903/task/21918/stat : 21918 (java) S 21901 21903 17058 0 -1 4202560 2563 0 0 0 71 0 0 0 15 0 22 0 562958733 10802225152 444619 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 4 0 0 0 [pid=21903/tid=21919] ppid=21901 vsize=10549048 CPUtime=0.69 cores=0,2,4,6 /proc/21903/task/21919/stat : 21919 (java) S 21901 21903 17058 0 -1 4202560 3799 0 0 0 69 0 0 0 15 0 22 0 562958733 10802225152 444619 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 3.86 3.86 3.51 4/531 22049 /proc/meminfo: memFree=16421760/32951124 swapFree=46575304/67111528 [pid=21903] ppid=21901 vsize=10548984 CPUtime=1640.02 cores=0,2,4,6 /proc/21903/stat : 21903 (java) S 21901 21903 17058 0 -1 4202496 935907 0 1 0 163897 105 0 0 25 0 22 0 562958727 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21903/statm: 2637246 927563 2258 9 0 2627980 0 [pid=21903/tid=21904] ppid=21901 vsize=10548984 CPUtime=0.85 cores=0,2,4,6 /proc/21903/task/21904/stat : 21904 (java) S 21901 21903 17058 0 -1 4202560 30610 0 1 0 81 4 0 0 15 0 22 0 562958727 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 4 0 16800975 18446604447642171584 0 0 -1 4 0 0 0 [pid=21903/tid=21906] ppid=21901 vsize=10548984 CPUtime=0.24 cores=0,2,4,6 /proc/21903/task/21906/stat : 21906 (java) S 21901 21903 17058 0 -1 4202560 10727 0 0 0 23 1 0 0 15 0 22 0 562958729 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21907] ppid=21901 vsize=10548984 CPUtime=0.21 cores=0,2,4,6 /proc/21903/task/21907/stat : 21907 (java) S 21901 21903 17058 0 -1 4202560 6628 0 0 0 21 0 0 0 16 0 22 0 562958729 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 4 0 0 0 [pid=21903/tid=21908] ppid=21901 vsize=10548984 CPUtime=0.28 cores=0,2,4,6 /proc/21903/task/21908/stat : 21908 (java) S 21901 21903 17058 0 -1 4202560 10270 0 0 0 27 1 0 0 16 0 22 0 562958729 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 0 0 0 0 [pid=21903/tid=21909] ppid=21901 vsize=10548984 CPUtime=0.27 cores=0,2,4,6 /proc/21903/task/21909/stat : 21909 (java) S 21901 21903 17058 0 -1 4202560 8885 0 0 0 26 1 0 0 16 0 22 0 562958729 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21910] ppid=21901 vsize=10548984 CPUtime=0.29 cores=0,2,4,6 /proc/21903/task/21910/stat : 21910 (java) S 21901 21903 17058 0 -1 4202560 11510 0 0 0 27 2 0 0 16 0 22 0 562958729 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21911] ppid=21901 vsize=10548984 CPUtime=0.25 cores=0,2,4,6 /proc/21903/task/21911/stat : 21911 (java) S 21901 21903 17058 0 -1 4202560 10097 0 0 0 24 1 0 0 16 0 22 0 562958729 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21912] ppid=21901 vsize=10548984 CPUtime=0.24 cores=0,2,4,6 /proc/21903/task/21912/stat : 21912 (java) S 21901 21903 17058 0 -1 4202560 16817 0 0 0 22 2 0 0 15 0 22 0 562958729 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 0 0 0 0 [pid=21903/tid=21913] ppid=21901 vsize=10548984 CPUtime=0.24 cores=0,2,4,6 /proc/21903/task/21913/stat : 21913 (java) S 21901 21903 17058 0 -1 4202560 14817 0 0 0 22 2 0 0 15 0 22 0 562958729 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 0 0 0 0 [pid=21903/tid=21914] ppid=21901 vsize=10548984 CPUtime=0.73 cores=0,2,4,6 /proc/21903/task/21914/stat : 21914 (java) S 21901 21903 17058 0 -1 4202560 1601 0 0 0 72 1 0 0 15 0 22 0 562958730 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 0 0 16800975 18446604447642171584 0 0 -1 0 0 0 0 [pid=21903/tid=21915] ppid=21901 vsize=10548984 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21915/stat : 21915 (java) S 21901 21903 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 562958730 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 4 0 0 0 [pid=21903/tid=21916] ppid=21901 vsize=10548984 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21916/stat : 21916 (java) S 21901 21903 17058 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 562958730 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21917] ppid=21901 vsize=10548984 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21917/stat : 21917 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 562958733 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672485809 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21918] ppid=21901 vsize=10548984 CPUtime=0.84 cores=0,2,4,6 /proc/21903/task/21918/stat : 21918 (java) S 21901 21903 17058 0 -1 4202560 3045 0 0 0 84 0 0 0 15 0 22 0 562958733 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 4 0 0 0 [pid=21903/tid=21919] ppid=21901 vsize=10548984 CPUtime=1.16 cores=0,2,4,6 /proc/21903/task/21919/stat : 21919 (java) S 21901 21903 17058 0 -1 4202560 6567 0 0 0 115 1 0 0 15 0 22 0 562958733 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21920] ppid=21901 vsize=10548984 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21920/stat : 21920 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 562958733 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21921] ppid=21901 vsize=10548984 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21921/stat : 21921 (java) S 21901 21903 17058 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 562958733 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21925] ppid=21901 vsize=10548984 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21925/stat : 21925 (java) S 21901 21903 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562958773 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=22039] ppid=21901 vsize=10548984 CPUtime=296.4 cores=0,2,4,6 /proc/21903/task/22039/stat : 22039 (java) R 21901 21903 17058 0 -1 4202560 18 0 0 0 29640 0 0 0 25 0 22 0 563011266 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 46912505987099 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=21903/tid=22040] ppid=21901 vsize=10548984 CPUtime=296.39 cores=0,2,4,6 /proc/21903/task/22040/stat : 22040 (java) R 21901 21903 17058 0 -1 4202560 24 0 0 0 29639 0 0 0 25 0 22 0 563011266 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 46912506001532 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21903/tid=22041] ppid=21901 vsize=10548984 CPUtime=0 cores=0,2,4,6 /proc/21903/task/22041/stat : 22041 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 563011266 10802159616 927563 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1640.02 Current children cumulated vsize (KiB) 10548984 [startup+882.302 s] /proc/loadavg: 3.84 3.85 3.52 5/531 22054 /proc/meminfo: memFree=16406948/32951124 swapFree=46575304/67111528 [pid=21903] ppid=21901 vsize=10548984 CPUtime=1760.05 cores=0,2,4,6 /proc/21903/stat : 21903 (java) S 21901 21903 17058 0 -1 4202496 935975 0 1 0 175900 105 0 0 25 0 22 0 562958727 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21903/statm: 2637246 927615 2258 9 0 2627980 0 [pid=21903/tid=21904] ppid=21901 vsize=10548984 CPUtime=0.85 cores=0,2,4,6 /proc/21903/task/21904/stat : 21904 (java) S 21901 21903 17058 0 -1 4202560 30610 0 1 0 81 4 0 0 15 0 22 0 562958727 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 4 0 16800975 18446604447642171584 0 0 -1 4 0 0 0 [pid=21903/tid=21906] ppid=21901 vsize=10548984 CPUtime=0.25 cores=0,2,4,6 /proc/21903/task/21906/stat : 21906 (java) S 21901 21903 17058 0 -1 4202560 10738 0 0 0 24 1 0 0 15 0 22 0 562958729 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21907] ppid=21901 vsize=10548984 CPUtime=0.22 cores=0,2,4,6 /proc/21903/task/21907/stat : 21907 (java) S 21901 21903 17058 0 -1 4202560 6630 0 0 0 22 0 0 0 15 0 22 0 562958729 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 4 0 0 0 [pid=21903/tid=21908] ppid=21901 vsize=10548984 CPUtime=0.29 cores=0,2,4,6 /proc/21903/task/21908/stat : 21908 (java) S 21901 21903 17058 0 -1 4202560 10277 0 0 0 28 1 0 0 16 0 22 0 562958729 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 4 0 0 0 [pid=21903/tid=21909] ppid=21901 vsize=10548984 CPUtime=0.29 cores=0,2,4,6 /proc/21903/task/21909/stat : 21909 (java) S 21901 21903 17058 0 -1 4202560 8901 0 0 0 28 1 0 0 15 0 22 0 562958729 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21910] ppid=21901 vsize=10548984 CPUtime=0.31 cores=0,2,4,6 /proc/21903/task/21910/stat : 21910 (java) S 21901 21903 17058 0 -1 4202560 11517 0 0 0 29 2 0 0 16 0 22 0 562958729 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 0 0 0 0 [pid=21903/tid=21911] ppid=21901 vsize=10548984 CPUtime=0.27 cores=0,2,4,6 /proc/21903/task/21911/stat : 21911 (java) S 21901 21903 17058 0 -1 4202560 10097 0 0 0 26 1 0 0 15 0 22 0 562958729 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21912] ppid=21901 vsize=10548984 CPUtime=0.25 cores=0,2,4,6 /proc/21903/task/21912/stat : 21912 (java) S 21901 21903 17058 0 -1 4202560 16826 0 0 0 23 2 0 0 16 0 22 0 562958729 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21913] ppid=21901 vsize=10548984 CPUtime=0.26 cores=0,2,4,6 /proc/21903/task/21913/stat : 21913 (java) S 21901 21903 17058 0 -1 4202560 14817 0 0 0 24 2 0 0 16 0 22 0 562958729 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21914] ppid=21901 vsize=10548984 CPUtime=0.74 cores=0,2,4,6 /proc/21903/task/21914/stat : 21914 (java) S 21901 21903 17058 0 -1 4202560 1605 0 0 0 73 1 0 0 15 0 22 0 562958730 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 0 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21915] ppid=21901 vsize=10548984 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21915/stat : 21915 (java) S 21901 21903 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 562958730 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 4 0 0 0 [pid=21903/tid=21916] ppid=21901 vsize=10548984 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21916/stat : 21916 (java) S 21901 21903 17058 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 562958730 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21917] ppid=21901 vsize=10548984 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21917/stat : 21917 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 562958733 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672485809 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21918] ppid=21901 vsize=10548984 CPUtime=0.84 cores=0,2,4,6 /proc/21903/task/21918/stat : 21918 (java) S 21901 21903 17058 0 -1 4202560 3045 0 0 0 84 0 0 0 15 0 22 0 562958733 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 4 0 0 0 [pid=21903/tid=21919] ppid=21901 vsize=10548984 CPUtime=1.16 cores=0,2,4,6 /proc/21903/task/21919/stat : 21919 (java) S 21901 21903 17058 0 -1 4202560 6567 0 0 0 115 1 0 0 15 0 22 0 562958733 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21920] ppid=21901 vsize=10548984 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21920/stat : 21920 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 562958733 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21921] ppid=21901 vsize=10548984 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21921/stat : 21921 (java) S 21901 21903 17058 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 562958733 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21925] ppid=21901 vsize=10548984 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21925/stat : 21925 (java) S 21901 21903 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562958773 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=22039] ppid=21901 vsize=10548984 CPUtime=356.36 cores=0,2,4,6 /proc/21903/task/22039/stat : 22039 (java) R 21901 21903 17058 0 -1 4202560 26 0 0 0 35636 0 0 0 25 0 22 0 563011266 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 46912505986986 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=21903/tid=22040] ppid=21901 vsize=10548984 CPUtime=356.35 cores=0,2,4,6 /proc/21903/task/22040/stat : 22040 (java) R 21901 21903 17058 0 -1 4202560 24 0 0 0 35635 0 0 0 25 0 22 0 563011266 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 46912506001337 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21903/tid=22041] ppid=21901 vsize=10548984 CPUtime=0 cores=0,2,4,6 /proc/21903/task/22041/stat : 22041 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 563011266 10802159616 927615 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1760.05 Current children cumulated vsize (KiB) 10548984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+902.301 s] /proc/loadavg: 3.96 3.88 3.54 5/531 22054 /proc/meminfo: memFree=16403640/32951124 swapFree=46575304/67111528 [pid=21903] ppid=21901 vsize=10548984 CPUtime=1800.07 cores=0,2,4,6 /proc/21903/stat : 21903 (java) S 21901 21903 17058 0 -1 4202496 935989 0 1 0 179902 105 0 0 25 0 22 0 562958727 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21903/statm: 2637246 927623 2258 9 0 2627980 0 [pid=21903/tid=21904] ppid=21901 vsize=10548984 CPUtime=0.85 cores=0,2,4,6 /proc/21903/task/21904/stat : 21904 (java) S 21901 21903 17058 0 -1 4202560 30610 0 1 0 81 4 0 0 15 0 22 0 562958727 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 4 0 16800975 18446604447642171584 0 0 -1 4 0 0 0 [pid=21903/tid=21906] ppid=21901 vsize=10548984 CPUtime=0.25 cores=0,2,4,6 /proc/21903/task/21906/stat : 21906 (java) S 21901 21903 17058 0 -1 4202560 10746 0 0 0 24 1 0 0 15 0 22 0 562958729 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21907] ppid=21901 vsize=10548984 CPUtime=0.23 cores=0,2,4,6 /proc/21903/task/21907/stat : 21907 (java) S 21901 21903 17058 0 -1 4202560 6630 0 0 0 23 0 0 0 15 0 22 0 562958729 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 4 0 0 0 [pid=21903/tid=21908] ppid=21901 vsize=10548984 CPUtime=0.29 cores=0,2,4,6 /proc/21903/task/21908/stat : 21908 (java) S 21901 21903 17058 0 -1 4202560 10277 0 0 0 28 1 0 0 15 0 22 0 562958729 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 0 0 0 0 [pid=21903/tid=21909] ppid=21901 vsize=10548984 CPUtime=0.3 cores=0,2,4,6 /proc/21903/task/21909/stat : 21909 (java) S 21901 21903 17058 0 -1 4202560 8901 0 0 0 29 1 0 0 16 0 22 0 562958729 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21910] ppid=21901 vsize=10548984 CPUtime=0.32 cores=0,2,4,6 /proc/21903/task/21910/stat : 21910 (java) S 21901 21903 17058 0 -1 4202560 11517 0 0 0 30 2 0 0 16 0 22 0 562958729 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 0 0 0 0 [pid=21903/tid=21911] ppid=21901 vsize=10548984 CPUtime=0.27 cores=0,2,4,6 /proc/21903/task/21911/stat : 21911 (java) S 21901 21903 17058 0 -1 4202560 10097 0 0 0 26 1 0 0 15 0 22 0 562958729 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21912] ppid=21901 vsize=10548984 CPUtime=0.26 cores=0,2,4,6 /proc/21903/task/21912/stat : 21912 (java) S 21901 21903 17058 0 -1 4202560 16826 0 0 0 24 2 0 0 15 0 22 0 562958729 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21913] ppid=21901 vsize=10548984 CPUtime=0.26 cores=0,2,4,6 /proc/21903/task/21913/stat : 21913 (java) S 21901 21903 17058 0 -1 4202560 14817 0 0 0 24 2 0 0 16 0 22 0 562958729 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21914] ppid=21901 vsize=10548984 CPUtime=0.74 cores=0,2,4,6 /proc/21903/task/21914/stat : 21914 (java) S 21901 21903 17058 0 -1 4202560 1607 0 0 0 73 1 0 0 15 0 22 0 562958730 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 0 0 16800975 18446604447642171584 0 0 -1 0 0 0 0 [pid=21903/tid=21915] ppid=21901 vsize=10548984 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21915/stat : 21915 (java) S 21901 21903 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 562958730 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 4 0 0 0 [pid=21903/tid=21916] ppid=21901 vsize=10548984 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21916/stat : 21916 (java) S 21901 21903 17058 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 562958730 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=21917] ppid=21901 vsize=10548984 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21917/stat : 21917 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 562958733 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672485809 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21918] ppid=21901 vsize=10548984 CPUtime=0.84 cores=0,2,4,6 /proc/21903/task/21918/stat : 21918 (java) S 21901 21903 17058 0 -1 4202560 3045 0 0 0 84 0 0 0 15 0 22 0 562958733 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 4 0 0 0 [pid=21903/tid=21919] ppid=21901 vsize=10548984 CPUtime=1.16 cores=0,2,4,6 /proc/21903/task/21919/stat : 21919 (java) S 21901 21903 17058 0 -1 4202560 6567 0 0 0 115 1 0 0 15 0 22 0 562958733 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21920] ppid=21901 vsize=10548984 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21920/stat : 21920 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 562958733 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478105 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21921] ppid=21901 vsize=10548984 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21921/stat : 21921 (java) S 21901 21903 17058 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 562958733 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 4 0 16800975 18446604447642171584 0 0 -1 2 0 0 0 [pid=21903/tid=21925] ppid=21901 vsize=10548984 CPUtime=0 cores=0,2,4,6 /proc/21903/task/21925/stat : 21925 (java) S 21901 21903 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562958773 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 [pid=21903/tid=22039] ppid=21901 vsize=10548984 CPUtime=376.37 cores=0,2,4,6 /proc/21903/task/22039/stat : 22039 (java) R 21901 21903 17058 0 -1 4202560 28 0 0 0 37637 0 0 0 25 0 22 0 563011266 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 46912505986930 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=21903/tid=22040] ppid=21901 vsize=10548984 CPUtime=376.36 cores=0,2,4,6 /proc/21903/task/22040/stat : 22040 (java) R 21901 21903 17058 0 -1 4202560 24 0 0 0 37636 0 0 0 25 0 22 0 563011266 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 46912506107862 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21903/tid=22041] ppid=21901 vsize=10548984 CPUtime=0 cores=0,2,4,6 /proc/21903/task/22041/stat : 22041 (java) S 21901 21903 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 563011266 10802159616 927623 33554432000 1073741824 1073778376 140736605423104 18446744073709551615 268672478720 0 4 0 16800975 18446604447642171584 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 10548984 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+902.425 s] /proc/loadavg: 3.96 3.88 3.54 5/531 22054 /proc/meminfo: memFree=16403640/32951124 swapFree=46575304/67111528 [pid=21903] ppid=21901 vsize=0 CPUtime=1800.27 cores=0,2,4,6 /proc/21903/stat : 21903 (java) Z 21901 21903 17058 0 -1 4203548 936020 0 1 0 179914 113 0 0 17 0 2 0 562958727 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21903/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 902.49 CPU time (s): 1800.34 CPU user time (s): 1799.15 CPU system time (s): 1.19582 CPU usage (%): 199.486 Max. virtual memory (cumulated for all children) (KiB): 10551344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.15 system time used= 1.19582 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 936020 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24736 involuntary context switches= 21920 runsolver used 4.81827 second user time and 9.97948 second system time The end
Begin job on node107 at 2011-06-04 13:41:15 IDJOB=3455027 IDBENCH=1510 IDSOLVER=1950 FILE ID=node107/3455027-1307187675 RUNJOBID= node107-1307186567-20281 PBS_JOBID= 13508844 Free space on /tmp= 73884 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air02.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3455027-1307187675/watcher-3455027-1307187675 -o /tmp/evaluation-result-3455027-1307187675/solver-3455027-1307187675 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455027-1307187675.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3f00532e02ccc246cb25b1a4f0a837d4 RANDOM SEED=1676345887 node107.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5359.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 20825188 kB Buffers: 338296 kB Cached: 2174228 kB SwapCached: 22548 kB Active: 9740152 kB Inactive: 2034348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 20825188 kB SwapTotal: 67111528 kB SwapFree: 46575304 kB Dirty: 884 kB Writeback: 0 kB AnonPages: 9256628 kB Mapped: 40992 kB Slab: 187320 kB PageTables: 95528 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 155455236 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73884 MiB End job on node107 at 2011-06-04 13:56:19