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