Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J Pseudo Resolution 2.1.1 | SAT (TO) | 1205862294 | 1800.47 | 1797.43 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb |
MD5SUM | 6eba7367ef128fb0872fe815e4ef2398 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1205862294 |
Best CPU time to get the best result obtained on this benchmark | 1800.47 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1207959552 |
Optimality of the best value was proved | NO |
Number of variables | 6651 |
Total number of constraints | 721 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 331 |
Number of constraints which are nor clauses,nor cardinality constraints | 390 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 6651 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 26715880447 |
Number of bits of the biggest sum of numbers | 35 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.34 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre 0.08/0.34 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.34 c See www.sat4j.org for details. 0.08/0.35 c version 2.1.1.v20090612 0.08/0.35 c sun.arch.data.model 32 0.08/0.35 c java.version 1.6.0_12 0.08/0.35 c os.name Linux 0.08/0.35 c os.version 2.6.9-22.EL.rootsmp 0.08/0.35 c os.arch i386 0.08/0.35 c Free memory 1342000320 0.08/0.35 c Max memory 1344274432 0.08/0.35 c Total memory 1344274432 0.08/0.35 c Number of processors 2 0.22/0.41 c Pseudo Boolean Optimization 0.22/0.41 c --- Begin Solver configuration --- 0.22/0.41 c Stops conflict analysis at the first Unique Implication Point 0.22/0.41 c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@3eca90 0.22/0.41 c Learn all clauses as in MiniSAT 0.22/0.41 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.41 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.41 c Expensive reason simplification 0.22/0.41 c MiniSAT restarts strategy 0.22/0.41 c Memory based learned constraints deletion strategy 0.22/0.41 c timeout=2147483s 0.22/0.41 c DB Simplification allowed=false 0.22/0.41 c --- End Solver configuration --- 0.22/0.41 c solving HOME/instance-1856449-1244911764.opb 0.22/0.41 c reading problem ... 2.35/2.02 c ... done. Wall clock time 1.6s. 2.35/2.02 c #vars 6651 2.35/2.02 c #constraints 721 2.35/2.02 c constraints type 2.35/2.02 c org.sat4j.minisat.constraints.card.MinWatchCard => 331 2.35/2.02 c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 51 2.35/2.02 c org.sat4j.pb.constraints.pb.MaxWatchPb => 339 9.71/8.77 c SATISFIABLE 9.71/8.77 c OPTIMIZING... 9.71/8.77 c Got one! Elapsed wall clock time (in seconds):8.356 9.71/8.77 o 2147483616 16.38/15.20 c Got one! Elapsed wall clock time (in seconds):14.783 16.38/15.20 o 2145386495 21.28/20.04 c Got one! Elapsed wall clock time (in seconds):19.627 21.28/20.04 o 2145386494 27.70/26.49 c Got one! Elapsed wall clock time (in seconds):26.072 27.70/26.49 o 2145386492 35.00/33.71 c Got one! Elapsed wall clock time (in seconds):33.3 35.00/33.71 o 2145386490 40.62/39.35 c Got one! Elapsed wall clock time (in seconds):38.939 40.62/39.35 o 2145386489 46.53/45.29 c Got one! Elapsed wall clock time (in seconds):44.875 46.53/45.29 o 2145386488 51.63/50.37 c Got one! Elapsed wall clock time (in seconds):49.953 51.63/50.37 o 2145386482 58.34/57.05 c Got one! Elapsed wall clock time (in seconds):56.636 58.34/57.05 o 2011168762 65.05/63.76 c Got one! Elapsed wall clock time (in seconds):63.341 65.05/63.76 o 1608515577 70.35/69.04 c Got one! Elapsed wall clock time (in seconds):68.622 70.35/69.04 o 1608515575 75.96/74.60 c Got one! Elapsed wall clock time (in seconds):74.186 75.96/74.60 o 1608515571 80.47/79.17 c Got one! Elapsed wall clock time (in seconds):78.756 80.47/79.17 o 1608515567 85.07/83.77 c Got one! Elapsed wall clock time (in seconds):83.357 85.07/83.77 o 1340080111 94.18/92.86 c Got one! Elapsed wall clock time (in seconds):92.445 94.18/92.86 o 1340080110 99.49/98.12 c Got one! Elapsed wall clock time (in seconds):97.702 99.49/98.12 o 1340080107 107.79/106.45 c Got one! Elapsed wall clock time (in seconds):106.04 107.79/106.45 o 1340080106 113.51/112.13 c Got one! Elapsed wall clock time (in seconds):111.714 113.51/112.13 o 1340080103 118.11/116.71 c Got one! Elapsed wall clock time (in seconds):116.3 118.11/116.71 o 1340080102 125.52/124.16 c Got one! Elapsed wall clock time (in seconds):123.746 125.52/124.16 o 1340080100 133.12/131.70 c Got one! Elapsed wall clock time (in seconds):131.29 133.12/131.70 o 1340080099 137.83/136.41 c Got one! Elapsed wall clock time (in seconds):135.995 137.83/136.41 o 1340080063 145.44/144.09 c Got one! Elapsed wall clock time (in seconds):143.673 145.44/144.09 o 1340080062 149.74/148.30 c Got one! Elapsed wall clock time (in seconds):147.89 149.74/148.30 o 1205862334 157.85/156.49 c Got one! Elapsed wall clock time (in seconds):156.075 157.85/156.49 o 1205862332 163.02/161.58 c Got one! Elapsed wall clock time (in seconds):161.167 163.02/161.58 o 1205862301 171.03/169.58 c Got one! Elapsed wall clock time (in seconds):169.166 171.03/169.58 o 1205862300 177.34/175.80 c Got one! Elapsed wall clock time (in seconds):175.385 177.34/175.80 o 1205862295 182.74/181.21 c Got one! Elapsed wall clock time (in seconds):180.797 182.74/181.21 o 1205862294 1800.09/1797.21 c starts : 72 1800.09/1797.21 c conflicts : 46643 1800.09/1797.21 c decisions : 446736 1800.09/1797.21 c propagations : 26917413 1800.09/1797.21 c inspects : 666865118 1800.09/1797.21 c learnt literals : 1 1800.09/1797.21 c learnt binary clauses : 0 1800.09/1797.21 c learnt ternary clauses : 0 1800.09/1797.21 c learnt clauses : 46642 1800.09/1797.21 c ignored clauses : 0 1800.09/1797.21 c root simplifications : 0 1800.09/1797.21 c removed literals (reason simplification) : 6894271 1800.09/1797.21 c reason swapping (by a shorter reason) : 0 1800.09/1797.21 c Calls to reduceDB : 0 1800.09/1797.21 c speed (assignments/second) : 16656.82301980198 1800.09/1797.21 c non guided choices 196892 1800.09/1797.27 c learnt constraints type 1800.09/1797.27 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 46642 1800.09/1797.27 c constraints type 1800.09/1797.27 c org.sat4j.minisat.constraints.card.MinWatchCard => 331 1800.09/1797.27 c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 51 1800.09/1797.27 c org.sat4j.pb.constraints.pb.MaxWatchPb => 340 1800.09/1797.27 s SATISFIABLE 1800.30/1797.34 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 1800.30/1797.37 c objective function=1205862294 1800.30/1797.37 c Total wall clock time (in seconds): 1796.956
OK 1205862294
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1856449-1244911764/watcher-1856449-1244911764 -o /tmp/evaluation-result-1856449-1244911764/solver-1856449-1244911764 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1856449-1244911764.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.01 1.06 1.02 2/64 11094 /proc/meminfo: memFree=1407840/2055920 swapFree=4181384/4192956 [pid=11094] ppid=11092 vsize=18576 CPUtime=0 /proc/11094/stat : 11094 (runsolver) D 11092 11094 10831 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 158769337 19021824 284 1992294400 4194304 4302564 548682068432 18446744073709551615 224627584295 0 2147483391 4096 24578 18446744072099937270 0 0 17 0 0 0 /proc/11094/statm: 4644 284 249 26 0 2626 0 [startup+0.0670011 s] /proc/loadavg: 1.01 1.06 1.02 2/64 11094 /proc/meminfo: memFree=1407840/2055920 swapFree=4181384/4192956 [pid=11094] ppid=11092 vsize=18576 CPUtime=0 /proc/11094/stat : 11094 (runsolver) D 11092 11094 10831 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 158769337 19021824 284 1992294400 4194304 4302564 548682068432 18446744073709551615 224627584295 0 2147483391 4096 24578 18446744072099937270 0 0 17 0 0 0 /proc/11094/statm: 4644 284 249 26 0 2626 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 18576 [startup+0.102004 s] /proc/loadavg: 1.01 1.06 1.02 2/64 11094 /proc/meminfo: memFree=1407840/2055920 swapFree=4181384/4192956 [pid=11094] ppid=11092 vsize=18576 CPUtime=0 /proc/11094/stat : 11094 (runsolver) D 11092 11094 10831 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 158769337 19021824 284 1992294400 4194304 4302564 548682068432 18446744073709551615 224627584295 0 2147483391 4096 24578 18446744072099937270 0 0 17 0 0 0 /proc/11094/statm: 4644 284 249 26 0 2626 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 18576 [startup+0.30104 s] /proc/loadavg: 1.01 1.06 1.02 2/64 11094 /proc/meminfo: memFree=1407840/2055920 swapFree=4181384/4192956 [pid=11094] ppid=11092 vsize=1472584 CPUtime=0.08 /proc/11094/stat : 11094 (java) S 11092 11094 10831 0 -1 0 3613 0 1 0 6 2 0 0 18 0 12 0 158769337 1507926016 3356 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11094/statm: 368146 3356 1068 9 0 365494 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1472584 [startup+0.701098 s] /proc/loadavg: 1.01 1.06 1.02 2/64 11094 /proc/meminfo: memFree=1407840/2055920 swapFree=4181384/4192956 [pid=11094] ppid=11092 vsize=1476156 CPUtime=0.7 /proc/11094/stat : 11094 (java) S 11092 11094 10831 0 -1 0 6548 0 1 0 66 4 0 0 18 0 12 0 158769337 1511583744 6054 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11094/statm: 369039 6054 1376 9 0 366382 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 1476156 [startup+1.50221 s] /proc/loadavg: 1.09 1.07 1.03 2/76 11106 /proc/meminfo: memFree=1368768/2055920 swapFree=4181384/4192956 [pid=11094] ppid=11092 vsize=1476156 CPUtime=1.81 /proc/11094/stat : 11094 (java) S 11092 11094 10831 0 -1 0 23684 0 1 0 168 13 0 0 18 0 12 0 158769337 1511583744 22569 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11094/statm: 369039 22569 1408 9 0 366382 0 [pid=11094/tid=11096] ppid=11092 vsize=1476156 CPUtime=1.11 /proc/11094/task/11096/stat : 11096 (java) R 11092 11094 10831 0 -1 64 21113 0 1 0 100 11 0 0 21 0 12 0 158769358 1511583744 22569 1992294400 134512640 134550932 4294956016 18446744073709551615 4109519746 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11097] ppid=11092 vsize=1476156 CPUtime=0 /proc/11094/task/11097/stat : 11097 (java) S 11092 11094 10831 0 -1 64 3 0 0 0 0 0 0 0 20 0 12 0 158769359 1511583744 22569 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11098] ppid=11092 vsize=1476156 CPUtime=0 /proc/11094/task/11098/stat : 11098 (java) S 11092 11094 10831 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 158769359 1511583744 22569 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11099] ppid=11092 vsize=1476156 CPUtime=0 /proc/11094/task/11099/stat : 11099 (java) S 11092 11094 10831 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 158769361 1511583744 22569 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11100] ppid=11092 vsize=1476156 CPUtime=0 /proc/11094/task/11100/stat : 11100 (java) S 11092 11094 10831 0 -1 64 10 0 0 0 0 0 0 0 23 0 12 0 158769362 1511583744 22569 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11101] ppid=11092 vsize=1476156 CPUtime=0 /proc/11094/task/11101/stat : 11101 (java) S 11092 11094 10831 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 158769362 1511583744 22569 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11102] ppid=11092 vsize=1476156 CPUtime=0 /proc/11094/task/11102/stat : 11102 (java) S 11092 11094 10831 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 158769366 1511583744 22569 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11103] ppid=11092 vsize=1476156 CPUtime=0.37 /proc/11094/task/11103/stat : 11103 (java) S 11092 11094 10831 0 -1 64 784 0 0 0 37 0 0 0 16 0 12 0 158769366 1511583744 22569 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11104] ppid=11092 vsize=1476156 CPUtime=0.29 /proc/11094/task/11104/stat : 11104 (java) S 11092 11094 10831 0 -1 64 1042 0 0 0 29 0 0 0 16 0 12 0 158769366 1511583744 22569 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11105] ppid=11092 vsize=1476156 CPUtime=0 /proc/11094/task/11105/stat : 11105 (java) S 11092 11094 10831 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 158769366 1511583744 22569 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11106] ppid=11092 vsize=1476156 CPUtime=0 /proc/11094/task/11106/stat : 11106 (java) S 11092 11094 10831 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158769366 1511583744 22569 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.81 Current children cumulated vsize (KiB) 1476156 [startup+3.10244 s] /proc/loadavg: 1.09 1.07 1.03 3/77 11107 /proc/meminfo: memFree=1272568/2055920 swapFree=4181384/4192956 [pid=11094] ppid=11092 vsize=1480308 CPUtime=3.84 /proc/11094/stat : 11094 (java) S 11092 11094 10831 0 -1 0 38560 0 1 0 364 20 0 0 18 0 13 0 158769337 1515835392 36186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11094/statm: 370077 36186 1425 9 0 367420 0 [pid=11094/tid=11096] ppid=11092 vsize=1480308 CPUtime=2.52 /proc/11094/task/11096/stat : 11096 (java) R 11092 11094 10831 0 -1 64 30967 0 1 0 236 16 0 0 24 0 13 0 158769358 1515835392 36186 1992294400 134512640 134550932 4294956016 18446744073709551615 4109637912 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11097] ppid=11092 vsize=1480308 CPUtime=0.04 /proc/11094/task/11097/stat : 11097 (java) S 11092 11094 10831 0 -1 64 1296 0 0 0 4 0 0 0 17 0 13 0 158769359 1515835392 36186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11098] ppid=11092 vsize=1480308 CPUtime=0.03 /proc/11094/task/11098/stat : 11098 (java) S 11092 11094 10831 0 -1 64 1358 0 0 0 3 0 0 0 16 0 13 0 158769359 1515835392 36186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11099] ppid=11092 vsize=1480308 CPUtime=0 /proc/11094/task/11099/stat : 11099 (java) S 11092 11094 10831 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 158769361 1515835392 36186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11100] ppid=11092 vsize=1480308 CPUtime=0 /proc/11094/task/11100/stat : 11100 (java) S 11092 11094 10831 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158769362 1515835392 36186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11101] ppid=11092 vsize=1480308 CPUtime=0 /proc/11094/task/11101/stat : 11101 (java) S 11092 11094 10831 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158769362 1515835392 36186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11102] ppid=11092 vsize=1480308 CPUtime=0 /proc/11094/task/11102/stat : 11102 (java) S 11092 11094 10831 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158769366 1515835392 36186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11103] ppid=11092 vsize=1480308 CPUtime=0.75 /proc/11094/task/11103/stat : 11103 (java) S 11092 11094 10831 0 -1 64 2928 0 0 0 74 1 0 0 16 0 13 0 158769366 1515835392 36186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11104] ppid=11092 vsize=1480308 CPUtime=0.45 /proc/11094/task/11104/stat : 11104 (java) S 11092 11094 10831 0 -1 64 1256 0 0 0 45 0 0 0 16 0 13 0 158769366 1515835392 36186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11105] ppid=11092 vsize=1480308 CPUtime=0 /proc/11094/task/11105/stat : 11105 (java) S 11092 11094 10831 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158769366 1515835392 36186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11106] ppid=11092 vsize=1480308 CPUtime=0 /proc/11094/task/11106/stat : 11106 (java) S 11092 11094 10831 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158769366 1515835392 36186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11107] ppid=11092 vsize=1480308 CPUtime=0 /proc/11094/task/11107/stat : 11107 (java) S 11092 11094 10831 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 158769542 1515835392 36186 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.84 Current children cumulated vsize (KiB) 1480308 [startup+6.30188 s] /proc/loadavg: 1.09 1.07 1.03 2/77 11107 /proc/meminfo: memFree=1254136/2055920 swapFree=4181384/4192956 [pid=11094] ppid=11092 vsize=1478568 CPUtime=7.13 /proc/11094/stat : 11094 (java) S 11092 11094 10831 0 -1 0 42079 0 1 0 690 23 0 0 18 0 13 0 158769337 1514053632 39062 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11094/statm: 369642 39062 1425 9 0 366985 0 [pid=11094/tid=11096] ppid=11092 vsize=1478568 CPUtime=5.63 /proc/11094/task/11096/stat : 11096 (java) R 11092 11094 10831 0 -1 64 30971 0 1 0 547 16 0 0 25 0 13 0 158769358 1514053632 39062 1992294400 134512640 134550932 4294956016 18446744073709551615 4109645377 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11097] ppid=11092 vsize=1478568 CPUtime=0.11 /proc/11094/task/11097/stat : 11097 (java) S 11092 11094 10831 0 -1 64 3021 0 0 0 10 1 0 0 16 0 13 0 158769359 1514053632 39062 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11098] ppid=11092 vsize=1478568 CPUtime=0.11 /proc/11094/task/11098/stat : 11098 (java) S 11092 11094 10831 0 -1 64 3108 0 0 0 9 2 0 0 16 0 13 0 158769359 1514053632 39062 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11099] ppid=11092 vsize=1478568 CPUtime=0 /proc/11094/task/11099/stat : 11099 (java) S 11092 11094 10831 0 -1 64 16 0 0 0 0 0 0 0 17 0 13 0 158769361 1514053632 39062 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11100] ppid=11092 vsize=1478568 CPUtime=0 /proc/11094/task/11100/stat : 11100 (java) S 11092 11094 10831 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158769362 1514053632 39062 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11101] ppid=11092 vsize=1478568 CPUtime=0 /proc/11094/task/11101/stat : 11101 (java) S 11092 11094 10831 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158769362 1514053632 39062 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11102] ppid=11092 vsize=1478568 CPUtime=0 /proc/11094/task/11102/stat : 11102 (java) S 11092 11094 10831 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158769366 1514053632 39062 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11103] ppid=11092 vsize=1478568 CPUtime=0.75 /proc/11094/task/11103/stat : 11103 (java) S 11092 11094 10831 0 -1 64 2928 0 0 0 74 1 0 0 16 0 13 0 158769366 1514053632 39062 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11104] ppid=11092 vsize=1478568 CPUtime=0.48 /proc/11094/task/11104/stat : 11104 (java) S 11092 11094 10831 0 -1 64 1288 0 0 0 48 0 0 0 17 0 13 0 158769366 1514053632 39062 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11105] ppid=11092 vsize=1478568 CPUtime=0 /proc/11094/task/11105/stat : 11105 (java) S 11092 11094 10831 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158769366 1514053632 39062 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11106] ppid=11092 vsize=1478568 CPUtime=0 /proc/11094/task/11106/stat : 11106 (java) S 11092 11094 10831 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158769366 1514053632 39062 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11107] ppid=11092 vsize=1478568 CPUtime=0 /proc/11094/task/11107/stat : 11107 (java) S 11092 11094 10831 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 158769542 1514053632 39062 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.13 Current children cumulated vsize (KiB) 1478568 [startup+12.7028 s] /proc/loadavg: 1.07 1.07 1.03 2/77 11107 /proc/meminfo: memFree=1239608/2055920 swapFree=4181384/4192956 [pid=11094] ppid=11092 vsize=1477544 CPUtime=13.86 /proc/11094/stat : 11094 (java) S 11092 11094 10831 0 -1 0 47173 0 1 0 1361 25 0 0 18 0 13 0 158769337 1513005056 43216 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11094/statm: 369386 43216 1425 9 0 366729 0 [pid=11094/tid=11096] ppid=11092 vsize=1477544 CPUtime=11.79 /proc/11094/task/11096/stat : 11096 (java) R 11092 11094 10831 0 -1 64 30978 0 1 0 1163 16 0 0 25 0 13 0 158769358 1513005056 43216 1992294400 134512640 134550932 4294956016 18446744073709551615 4109729305 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11097] ppid=11092 vsize=1477544 CPUtime=0.26 /proc/11094/task/11097/stat : 11097 (java) S 11092 11094 10831 0 -1 64 5338 0 0 0 25 1 0 0 17 0 13 0 158769359 1513005056 43216 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11098] ppid=11092 vsize=1477544 CPUtime=0.26 /proc/11094/task/11098/stat : 11098 (java) S 11092 11094 10831 0 -1 64 5855 0 0 0 23 3 0 0 17 0 13 0 158769359 1513005056 43216 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11099] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11099/stat : 11099 (java) S 11092 11094 10831 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 158769361 1513005056 43216 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11100] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11100/stat : 11100 (java) S 11092 11094 10831 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158769362 1513005056 43216 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11101] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11101/stat : 11101 (java) S 11092 11094 10831 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158769362 1513005056 43216 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11102] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11102/stat : 11102 (java) S 11092 11094 10831 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158769366 1513005056 43216 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11103] ppid=11092 vsize=1477544 CPUtime=0.86 /proc/11094/task/11103/stat : 11103 (java) S 11092 11094 10831 0 -1 64 2933 0 0 0 85 1 0 0 16 0 13 0 158769366 1513005056 43216 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11104] ppid=11092 vsize=1477544 CPUtime=0.63 /proc/11094/task/11104/stat : 11104 (java) S 11092 11094 10831 0 -1 64 1295 0 0 0 63 0 0 0 17 0 13 0 158769366 1513005056 43216 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11105] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11105/stat : 11105 (java) S 11092 11094 10831 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158769366 1513005056 43216 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11106] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11106/stat : 11106 (java) S 11092 11094 10831 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158769366 1513005056 43216 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11107] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11107/stat : 11107 (java) S 11092 11094 10831 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 158769542 1513005056 43216 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 13.86 Current children cumulated vsize (KiB) 1477544 [startup+25.5016 s] /proc/loadavg: 1.06 1.07 1.03 2/77 11107 /proc/meminfo: memFree=1238520/2055920 swapFree=4181384/4192956 [pid=11094] ppid=11092 vsize=1477544 CPUtime=26.79 /proc/11094/stat : 11094 (java) S 11092 11094 10831 0 -1 0 47480 0 1 0 2654 25 0 0 18 0 13 0 158769337 1513005056 43507 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11094/statm: 369386 43507 1427 9 0 366729 0 [pid=11094/tid=11096] ppid=11092 vsize=1477544 CPUtime=24.52 /proc/11094/task/11096/stat : 11096 (java) R 11092 11094 10831 0 -1 64 30988 0 1 0 2435 17 0 0 25 0 13 0 158769358 1513005056 43507 1992294400 134512640 134550932 4294956016 18446744073709551615 4109636489 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11097] ppid=11092 vsize=1477544 CPUtime=0.28 /proc/11094/task/11097/stat : 11097 (java) S 11092 11094 10831 0 -1 64 5467 0 0 0 27 1 0 0 16 0 13 0 158769359 1513005056 43507 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11098] ppid=11092 vsize=1477544 CPUtime=0.29 /proc/11094/task/11098/stat : 11098 (java) S 11092 11094 10831 0 -1 64 6013 0 0 0 26 3 0 0 16 0 13 0 158769359 1513005056 43507 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11099] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11099/stat : 11099 (java) S 11092 11094 10831 0 -1 64 27 0 0 0 0 0 0 0 17 0 13 0 158769361 1513005056 43507 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11100] ppid=11092 vsize=1477544 CPUtime=0 ################ # More data... # ################ [pid=11094/tid=11099] ppid=11092 vsize=1477544 CPUtime=0.16 /proc/11094/task/11099/stat : 11099 (java) S 11092 11094 10831 0 -1 64 30 0 0 0 10 6 0 0 16 0 13 0 158769361 1513005056 55334 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11100] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11100/stat : 11100 (java) S 11092 11094 10831 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158769362 1513005056 55334 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11101] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11101/stat : 11101 (java) S 11092 11094 10831 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158769362 1513005056 55334 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11102] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11102/stat : 11102 (java) S 11092 11094 10831 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158769366 1513005056 55334 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11103] ppid=11092 vsize=1477544 CPUtime=0.88 /proc/11094/task/11103/stat : 11103 (java) S 11092 11094 10831 0 -1 64 2933 0 0 0 87 1 0 0 16 0 13 0 158769366 1513005056 55334 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11104] ppid=11092 vsize=1477544 CPUtime=0.9 /proc/11094/task/11104/stat : 11104 (java) S 11092 11094 10831 0 -1 64 1486 0 0 0 90 0 0 0 17 0 13 0 158769366 1513005056 55334 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11105] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11105/stat : 11105 (java) S 11092 11094 10831 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158769366 1513005056 55334 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11106] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11106/stat : 11106 (java) S 11092 11094 10831 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158769366 1513005056 55334 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11107] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11107/stat : 11107 (java) S 11092 11094 10831 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 158769542 1513005056 55334 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1605.01 Current children cumulated vsize (KiB) 1477544 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 11115 /proc/meminfo: memFree=1189816/2055920 swapFree=4181384/4192956 [pid=11094] ppid=11092 vsize=1477544 CPUtime=1665.08 /proc/11094/stat : 11094 (java) S 11092 11094 10831 0 -1 0 60667 0 1 0 166453 55 0 0 18 0 13 0 158769337 1513005056 55516 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11094/statm: 369386 55516 1429 9 0 366729 0 [pid=11094/tid=11096] ppid=11092 vsize=1477544 CPUtime=1658.35 /proc/11094/task/11096/stat : 11096 (java) R 11092 11094 10831 0 -1 64 33167 0 1 0 165812 23 0 0 25 0 13 0 158769358 1513005056 55516 1992294400 134512640 134550932 4294956016 18446744073709551615 4109729119 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11097] ppid=11092 vsize=1477544 CPUtime=2.37 /proc/11094/task/11097/stat : 11097 (java) S 11092 11094 10831 0 -1 64 10753 0 0 0 227 10 0 0 16 0 13 0 158769359 1513005056 55516 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11098] ppid=11092 vsize=1477544 CPUtime=2.35 /proc/11094/task/11098/stat : 11098 (java) S 11092 11094 10831 0 -1 64 11551 0 0 0 224 11 0 0 16 0 13 0 158769359 1513005056 55516 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11099] ppid=11092 vsize=1477544 CPUtime=0.16 /proc/11094/task/11099/stat : 11099 (java) S 11092 11094 10831 0 -1 64 30 0 0 0 10 6 0 0 16 0 13 0 158769361 1513005056 55516 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11100] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11100/stat : 11100 (java) S 11092 11094 10831 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158769362 1513005056 55516 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11101] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11101/stat : 11101 (java) S 11092 11094 10831 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158769362 1513005056 55516 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11102] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11102/stat : 11102 (java) S 11092 11094 10831 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158769366 1513005056 55516 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11103] ppid=11092 vsize=1477544 CPUtime=0.88 /proc/11094/task/11103/stat : 11103 (java) S 11092 11094 10831 0 -1 64 2933 0 0 0 87 1 0 0 16 0 13 0 158769366 1513005056 55516 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11104] ppid=11092 vsize=1477544 CPUtime=0.91 /proc/11094/task/11104/stat : 11104 (java) S 11092 11094 10831 0 -1 64 1486 0 0 0 91 0 0 0 16 0 13 0 158769366 1513005056 55516 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11105] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11105/stat : 11105 (java) S 11092 11094 10831 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158769366 1513005056 55516 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11106] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11106/stat : 11106 (java) S 11092 11094 10831 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158769366 1513005056 55516 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11107] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11107/stat : 11107 (java) S 11092 11094 10831 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 158769542 1513005056 55516 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1665.08 Current children cumulated vsize (KiB) 1477544 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 11115 /proc/meminfo: memFree=1189048/2055920 swapFree=4181384/4192956 [pid=11094] ppid=11092 vsize=1477544 CPUtime=1725.13 /proc/11094/stat : 11094 (java) S 11092 11094 10831 0 -1 0 60882 0 1 0 172458 55 0 0 18 0 13 0 158769337 1513005056 55708 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11094/statm: 369386 55708 1429 9 0 366729 0 [pid=11094/tid=11096] ppid=11092 vsize=1477544 CPUtime=1718.25 /proc/11094/task/11096/stat : 11096 (java) R 11092 11094 10831 0 -1 64 33189 0 1 0 171802 23 0 0 22 0 13 0 158769358 1513005056 55708 1992294400 134512640 134550932 4294956016 18446744073709551615 4109747630 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11097] ppid=11092 vsize=1477544 CPUtime=2.45 /proc/11094/task/11097/stat : 11097 (java) S 11092 11094 10831 0 -1 64 10858 0 0 0 235 10 0 0 16 0 13 0 158769359 1513005056 55708 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11098] ppid=11092 vsize=1477544 CPUtime=2.42 /proc/11094/task/11098/stat : 11098 (java) S 11092 11094 10831 0 -1 64 11638 0 0 0 231 11 0 0 16 0 13 0 158769359 1513005056 55708 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11099] ppid=11092 vsize=1477544 CPUtime=0.16 /proc/11094/task/11099/stat : 11099 (java) S 11092 11094 10831 0 -1 64 31 0 0 0 10 6 0 0 16 0 13 0 158769361 1513005056 55708 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11100] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11100/stat : 11100 (java) S 11092 11094 10831 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158769362 1513005056 55708 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11101] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11101/stat : 11101 (java) S 11092 11094 10831 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158769362 1513005056 55708 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11102] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11102/stat : 11102 (java) S 11092 11094 10831 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158769366 1513005056 55708 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11103] ppid=11092 vsize=1477544 CPUtime=0.88 /proc/11094/task/11103/stat : 11103 (java) S 11092 11094 10831 0 -1 64 2933 0 0 0 87 1 0 0 16 0 13 0 158769366 1513005056 55708 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11104] ppid=11092 vsize=1477544 CPUtime=0.91 /proc/11094/task/11104/stat : 11104 (java) S 11092 11094 10831 0 -1 64 1486 0 0 0 91 0 0 0 16 0 13 0 158769366 1513005056 55708 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11105] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11105/stat : 11105 (java) S 11092 11094 10831 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158769366 1513005056 55708 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11106] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11106/stat : 11106 (java) S 11092 11094 10831 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158769366 1513005056 55708 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11107] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11107/stat : 11107 (java) S 11092 11094 10831 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 158769542 1513005056 55708 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1725.13 Current children cumulated vsize (KiB) 1477544 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 11115 /proc/meminfo: memFree=1187896/2055920 swapFree=4181384/4192956 [pid=11094] ppid=11092 vsize=1477544 CPUtime=1785.17 /proc/11094/stat : 11094 (java) S 11092 11094 10831 0 -1 0 61150 0 1 0 178461 56 0 0 18 0 13 0 158769337 1513005056 55951 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11094/statm: 369386 55951 1429 9 0 366729 0 [pid=11094/tid=11096] ppid=11092 vsize=1477544 CPUtime=1778.14 /proc/11094/task/11096/stat : 11096 (java) R 11092 11094 10831 0 -1 64 33211 0 1 0 177791 23 0 0 25 0 13 0 158769358 1513005056 55951 1992294400 134512640 134550932 4294956016 18446744073709551615 4109501939 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11097] ppid=11092 vsize=1477544 CPUtime=2.52 /proc/11094/task/11097/stat : 11097 (java) S 11092 11094 10831 0 -1 64 10950 0 0 0 242 10 0 0 16 0 13 0 158769359 1513005056 55951 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11098] ppid=11092 vsize=1477544 CPUtime=2.48 /proc/11094/task/11098/stat : 11098 (java) S 11092 11094 10831 0 -1 64 11792 0 0 0 237 11 0 0 16 0 13 0 158769359 1513005056 55951 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11099] ppid=11092 vsize=1477544 CPUtime=0.16 /proc/11094/task/11099/stat : 11099 (java) S 11092 11094 10831 0 -1 64 31 0 0 0 10 6 0 0 16 0 13 0 158769361 1513005056 55951 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11100] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11100/stat : 11100 (java) S 11092 11094 10831 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158769362 1513005056 55951 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11101] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11101/stat : 11101 (java) S 11092 11094 10831 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158769362 1513005056 55951 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11102] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11102/stat : 11102 (java) S 11092 11094 10831 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158769366 1513005056 55951 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11103] ppid=11092 vsize=1477544 CPUtime=0.88 /proc/11094/task/11103/stat : 11103 (java) S 11092 11094 10831 0 -1 64 2933 0 0 0 87 1 0 0 16 0 13 0 158769366 1513005056 55951 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11104] ppid=11092 vsize=1477544 CPUtime=0.91 /proc/11094/task/11104/stat : 11104 (java) S 11092 11094 10831 0 -1 64 1486 0 0 0 91 0 0 0 16 0 13 0 158769366 1513005056 55951 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11105] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11105/stat : 11105 (java) S 11092 11094 10831 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158769366 1513005056 55951 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11106] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11106/stat : 11106 (java) S 11092 11094 10831 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158769366 1513005056 55951 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11107] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11107/stat : 11107 (java) S 11092 11094 10831 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 158769542 1513005056 55951 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1785.17 Current children cumulated vsize (KiB) 1477544 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797.2 s] /proc/loadavg: 1.00 1.00 1.00 2/77 11115 /proc/meminfo: memFree=1187704/2055920 swapFree=4181384/4192956 [pid=11094] ppid=11092 vsize=1477544 CPUtime=1800.09 /proc/11094/stat : 11094 (java) S 11092 11094 10831 0 -1 0 61229 0 1 0 179953 56 0 0 18 0 13 0 158769337 1513005056 56022 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11094/statm: 369386 56022 1429 9 0 366729 0 [pid=11094/tid=11096] ppid=11092 vsize=1477544 CPUtime=1793.02 /proc/11094/task/11096/stat : 11096 (java) R 11092 11094 10831 0 -1 64 33217 0 1 0 179279 23 0 0 25 0 13 0 158769358 1513005056 56022 1992294400 134512640 134550932 4294956016 18446744073709551615 4109747396 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11097] ppid=11092 vsize=1477544 CPUtime=2.54 /proc/11094/task/11097/stat : 11097 (java) S 11092 11094 10831 0 -1 64 10988 0 0 0 244 10 0 0 16 0 13 0 158769359 1513005056 56022 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11098] ppid=11092 vsize=1477544 CPUtime=2.5 /proc/11094/task/11098/stat : 11098 (java) S 11092 11094 10831 0 -1 64 11827 0 0 0 239 11 0 0 16 0 13 0 158769359 1513005056 56022 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11099] ppid=11092 vsize=1477544 CPUtime=0.17 /proc/11094/task/11099/stat : 11099 (java) S 11092 11094 10831 0 -1 64 31 0 0 0 10 7 0 0 16 0 13 0 158769361 1513005056 56022 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11100] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11100/stat : 11100 (java) S 11092 11094 10831 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158769362 1513005056 56022 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11101] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11101/stat : 11101 (java) S 11092 11094 10831 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 158769362 1513005056 56022 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11102] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11102/stat : 11102 (java) S 11092 11094 10831 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158769366 1513005056 56022 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11103] ppid=11092 vsize=1477544 CPUtime=0.88 /proc/11094/task/11103/stat : 11103 (java) S 11092 11094 10831 0 -1 64 2933 0 0 0 87 1 0 0 16 0 13 0 158769366 1513005056 56022 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11104] ppid=11092 vsize=1477544 CPUtime=0.91 /proc/11094/task/11104/stat : 11104 (java) S 11092 11094 10831 0 -1 64 1486 0 0 0 91 0 0 0 16 0 13 0 158769366 1513005056 56022 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11105] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11105/stat : 11105 (java) S 11092 11094 10831 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158769366 1513005056 56022 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11094/tid=11106] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11106/stat : 11106 (java) S 11092 11094 10831 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158769366 1513005056 56022 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11094/tid=11107] ppid=11092 vsize=1477544 CPUtime=0 /proc/11094/task/11107/stat : 11107 (java) S 11092 11094 10831 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 158769542 1513005056 56022 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1477544 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1797.41 s] /proc/loadavg: 1.00 1.00 1.00 5/80 11118 /proc/meminfo: memFree=1187616/2055920 swapFree=4181384/4192956 [pid=11094] ppid=11092 vsize=0 CPUtime=1800.44 /proc/11094/stat : 11094 (java) Z 11092 11094 10831 0 -1 1036 61261 0 1 0 179986 58 0 0 15 0 2 0 158769337 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11094/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1797.43 CPU time (s): 1800.47 CPU user time (s): 1799.87 CPU system time (s): 0.603908 CPU usage (%): 100.17 Max. virtual memory (cumulated for all children) (KiB): 1480308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.87 system time used= 0.603908 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61261 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= 44338 involuntary context switches= 41334 runsolver used 2.20267 second user time and 4.36734 second system time The end
Begin job on node49 at 2009-06-13 18:49:24 IDJOB=1856449 IDBENCH=2527 IDSOLVER=682 FILE ID=node49/1856449-1244911764 PBS_JOBID= 9354516 Free space on /tmp= 66084 MiB SOLVER NAME= SAT4J Pseudo Resolution 2.1.1 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1856449-1244911764/watcher-1856449-1244911764 -o /tmp/evaluation-result-1856449-1244911764/solver-1856449-1244911764 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1856449-1244911764.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6eba7367ef128fb0872fe815e4ef2398 RANDOM SEED=1743322937 node49.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1408256 kB Buffers: 58148 kB Cached: 527444 kB SwapCached: 4580 kB Active: 30048 kB Inactive: 563672 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1408256 kB SwapTotal: 4192956 kB SwapFree: 4181384 kB Dirty: 2308 kB Writeback: 0 kB Mapped: 13852 kB Slab: 39668 kB Committed_AS: 144896 kB PageTables: 1388 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66084 MiB End job on node49 at 2009-06-13 19:19:23