0.07/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.11	c See www.sat4j.org for details.
0.07/0.11	c version 2.3.1.v20110525
0.07/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.11	c java.vm.version	19.1-b02
0.07/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.11	c sun.arch.data.model	64
0.07/0.11	c java.version		1.6.0_24
0.07/0.11	c os.name		Linux
0.07/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.11	c os.arch		amd64
0.07/0.11	c Free memory 		9996466904
0.07/0.11	c Max memory 		10048897024
0.07/0.11	c Total memory 		10048897024
0.07/0.11	c Number of processors 	8
0.07/0.14	c Pseudo Boolean Optimization
0.07/0.14	c ManyCore solver with 2 solvers running in parallel
0.07/0.14	c --- Begin Solver configuration ---
0.07/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.07/0.14	c Learn all clauses as in MiniSAT
0.07/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.14	c Expensive reason simplification
0.07/0.14	c Armin Biere (Picosat) restarts strategy
0.07/0.14	c Glucose learned constraints deletion strategy
0.07/0.14	c timeout=2147483s
0.07/0.14	c DB Simplification allowed=false
0.07/0.14	c --- End Solver configuration ---
0.07/0.14	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.14	c --- Begin Solver configuration ---
0.07/0.14	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.07/0.14	c Learn all clauses as in MiniSAT
0.07/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.14	c No reason simplification
0.07/0.14	c Armin Biere (Picosat) restarts strategy
0.07/0.14	c Glucose learned constraints deletion strategy
0.07/0.14	c timeout=2147483s
0.07/0.14	c DB Simplification allowed=false
0.07/0.14	c --- End Solver configuration ---
0.07/0.14	c solving HOME/instance-3731655-1338682570.opb
0.07/0.14	c reading problem ... 
3.81/3.47	c ... done. Wall clock time 3.333s.
3.81/3.47	c #vars     10000
4.74/3.71	c #constraints  656900
4.74/3.71	c constraints type 
4.74/3.71	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200
4.74/3.71	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700
4.74/3.71	c constraints type 
4.74/3.71	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
4.74/3.71	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
4.74/3.75	c  And the winner is Resolution
5.05/4.03	c SATISFIABLE
5.05/4.03	c OPTIMIZING...
5.05/4.03	c Got one! Elapsed wall clock time (in seconds):3.89
5.05/4.03	o 776
5.61/4.30	c  And the winner is Resolution
6.11/4.62	c Got one! Elapsed wall clock time (in seconds):4.489
6.11/4.62	o 768
100.13/50.83	c cleaning 2612 clauses out of 5237 with flag 5000/5237
217.26/109.37	c cleaning 4295 clauses out of 8625 with flag 11000/11237
373.45/187.52	c cleaning 5660 clauses out of 11331 with flag 18001/18238
553.59/277.62	c cleaning 6829 clauses out of 13671 with flag 26001/26238
726.71/364.40	c cleaning 7908 clauses out of 15842 with flag 35001/35238
865.10/433.79	c cleaning 8959 clauses out of 17933 with flag 45000/45237
1034.20/518.42	c cleaning 9964 clauses out of 19974 with flag 56000/56237
1288.77/645.87	c cleaning 10994 clauses out of 22012 with flag 68002/68239
1547.77/775.53	c cleaning 12002 clauses out of 24017 with flag 81001/81238
1800.10/901.71	c starts		: 91
1800.10/901.71	c conflicts		: 91532
1800.10/901.71	c decisions		: 576153
1800.10/901.71	c propagations		: 53320246
1800.10/901.71	c inspects		: 26918222
1800.10/901.71	c shortcuts		: 0
1800.10/901.71	c learnt literals	: 0
1800.10/901.71	c learnt binary clauses	: 0
1800.10/901.71	c learnt ternary clauses	: 0
1800.10/901.71	c learnt constraints	: 91531
1800.10/901.71	c ignored constraints	: 0
1800.10/901.71	c root simplifications	: 0
1800.10/901.71	c removed literals (reason simplification)	: 7717018
1800.10/901.71	c reason swapping (by a shorter reason)	: 0
1800.10/901.71	c Calls to reduceDB	: 9
1800.10/901.71	c number of reductions to clauses (during analyze)	: 0
1800.10/901.71	c number of learned constraints concerned by reduction	: 0
1800.10/901.71	c number of learning phase by resolution	: 0
1800.10/901.71	c number of learning phase by cutting planes	: 0
1800.10/901.71	c speed (assignments/second)	: 59440.01123691952
1800.10/901.71	c non guided choices	0
1800.10/901.72	c learnt constraints type 
1800.10/901.72	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 22310
1800.10/901.72	c constraints type 
1800.10/901.72	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200
1800.10/901.72	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700
1800.10/901.72	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.10/901.72	c constraints type 
1800.10/901.72	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
1800.10/901.72	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
1800.10/901.72	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
1800.10/901.72	s SATISFIABLE
1800.10/901.73	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 x3967 -x3968 -x3969 -x3970 -x3971 -x3972 x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 x9197 -x9198 -x9199 -x9200 x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 x9957 -x9958 -x9959 -x9960 -x9961 x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 
1800.10/901.75	c objective function=768
1800.10/901.75	c Total wall clock time (in seconds): 901.615

OK	768

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3731655-1338682570/watcher-3731655-1338682570 -o /tmp/evaluation-result-3731655-1338682570/solver-3731655-1338682570 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3731655-1338682570.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.43 3.50 3.52 3/197 6321
/proc/meminfo: memFree=27947312/32873844 swapFree=7644/7644
[pid=6321] ppid=6319 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/6321/stat : 6321 (java) R 6319 6321 2935 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 334381479 9515008 176 33554432000 1073741824 1073778376 140735708394384 140735708377112 239237677968 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6321/statm: 2323 176 133 9 0 71 0

[startup+0.0675831 s]
/proc/loadavg: 3.43 3.50 3.52 3/197 6321
/proc/meminfo: memFree=27947312/32873844 swapFree=7644/7644
[pid=6321] ppid=6319 vsize=11253516 CPUtime=0.04 cores=1,3,5,7
/proc/6321/stat : 6321 (java) S 6319 6321 2935 0 -1 4202496 4293 0 1 0 3 1 0 0 20 0 13 0 334381479 11523600384 12144 33554432000 1073741824 1073778376 140737305944624 140737305935760 239241035837 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6321/statm: 2813379 12144 1700 9 0 2804080 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11253516

[startup+0.10029 s]
/proc/loadavg: 3.43 3.50 3.52 3/197 6321
/proc/meminfo: memFree=27947312/32873844 swapFree=7644/7644
[pid=6321] ppid=6319 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/6321/stat : 6321 (java) S 6319 6321 2935 0 -1 4202496 4472 0 1 0 5 2 0 0 20 0 18 0 334381479 11864465408 12834 33554432000 1073741824 1073778376 140737305944624 140737305935760 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6321/statm: 2896598 12834 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.300187 s]
/proc/loadavg: 3.43 3.50 3.52 3/197 6321
/proc/meminfo: memFree=27947312/32873844 swapFree=7644/7644
[pid=6321] ppid=6319 vsize=11586392 CPUtime=0.45 cores=1,3,5,7
/proc/6321/stat : 6321 (java) S 6319 6321 2935 0 -1 4202496 6409 0 1 0 42 3 0 0 20 0 18 0 334381479 11864465408 16732 33554432000 1073741824 1073778376 140737305944624 140737305935760 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6321/statm: 2896598 16732 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 11586392

[startup+0.700276 s]
/proc/loadavg: 3.43 3.50 3.52 3/197 6321
/proc/meminfo: memFree=27947312/32873844 swapFree=7644/7644
[pid=6321] ppid=6319 vsize=11586392 CPUtime=1.11 cores=1,3,5,7
/proc/6321/stat : 6321 (java) S 6319 6321 2935 0 -1 4202496 9988 0 1 0 105 6 0 0 20 0 18 0 334381479 11864465408 53449 33554432000 1073741824 1073778376 140737305944624 140737305935760 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6321/statm: 2896598 53449 2237 9 0 2887285 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 11586392

[startup+1.50081 s]
/proc/loadavg: 3.43 3.50 3.52 4/215 6339
/proc/meminfo: memFree=27600236/32873844 swapFree=7644/7644
[pid=6321] ppid=6319 vsize=11586392 CPUtime=1.92 cores=1,3,5,7
/proc/6321/stat : 6321 (java) S 6319 6321 2935 0 -1 4202496 10168 0 1 0 178 14 0 0 20 0 18 0 334381479 11864465408 145609 33554432000 1073741824 1073778376 140737305944624 140737305935760 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6321/statm: 2896598 145609 2237 9 0 2887285 0
[pid=6321/tid=6323] ppid=6319 vsize=11586392 CPUtime=1.46 cores=1,3,5,7
/proc/6321/task/6323/stat : 6323 (java) R 6319 6321 2935 0 -1 4202560 3623 0 1 0 133 13 0 0 20 0 18 0 334381481 11864465408 145609 33554432000 1073741824 1073778376 140737305944624 139841060937920 139840931115805 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6324] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6324/stat : 6324 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334381483 11864465408 145609 33554432000 1073741824 1073778376 140737305944624 139841050008488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6325] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6325/stat : 6325 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334381483 11864465408 145609 33554432000 1073741824 1073778376 140737305944624 139840896396328 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6326] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6326/stat : 6326 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334381483 11864465408 145609 33554432000 1073741824 1073778376 140737305944624 139840895343272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6321/tid=6327] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6327/stat : 6327 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334381483 11864465408 145609 33554432000 1073741824 1073778376 140737305944624 139840894290728 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6328] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6328/stat : 6328 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334381483 11864465408 145609 33554432000 1073741824 1073778376 140737305944624 139840893237672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6329] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6329/stat : 6329 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334381483 11864465408 145609 33554432000 1073741824 1073778376 140737305944624 139840892185128 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6330] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6330/stat : 6330 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334381483 11864465408 145609 33554432000 1073741824 1073778376 140737305944624 139840891132072 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6331] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6331/stat : 6331 (java) S 6319 6321 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 334381483 11864465408 145609 33554432000 1073741824 1073778376 140737305944624 139840890079528 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6332] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6332/stat : 6332 (java) S 6319 6321 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 334381484 11864465408 145609 33554432000 1073741824 1073778376 140737305944624 139840877882216 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6333] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6333/stat : 6333 (java) S 6319 6321 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 334381485 11864465408 145609 33554432000 1073741824 1073778376 140737305944624 139840876828536 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6334] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6334/stat : 6334 (java) S 6319 6321 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334381485 11864465408 145609 33554432000 1073741824 1073778376 140737305944624 139840875775368 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6335] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6335/stat : 6335 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334381488 11864465408 145609 33554432000 1073741824 1073778376 140737305944624 139840874724112 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6336] ppid=6319 vsize=11586392 CPUtime=0.22 cores=1,3,5,7
/proc/6321/task/6336/stat : 6336 (java) S 6319 6321 2935 0 -1 4202560 2323 0 0 0 22 0 0 0 20 0 18 0 334381488 11864465408 145609 33554432000 1073741824 1073778376 140737305944624 139840873670968 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6337] ppid=6319 vsize=11586392 CPUtime=0.19 cores=1,3,5,7
/proc/6321/task/6337/stat : 6337 (java) S 6319 6321 2935 0 -1 4202560 3037 0 0 0 19 0 0 0 20 0 18 0 334381488 11864465408 145609 33554432000 1073741824 1073778376 140737305944624 139840872618424 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6338] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6338/stat : 6338 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334381488 11864465408 145609 33554432000 1073741824 1073778376 140737305944624 139840871565560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6339] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6339/stat : 6339 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334381488 11864465408 145609 33554432000 1073741824 1073778376 140737305944624 139840870513224 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 11586392

[startup+3.10075 s]
/proc/loadavg: 3.43 3.50 3.52 4/215 6339
/proc/meminfo: memFree=27099408/32873844 swapFree=7644/7644
[pid=6321] ppid=6319 vsize=11586392 CPUtime=3.52 cores=1,3,5,7
/proc/6321/stat : 6321 (java) S 6319 6321 2935 0 -1 4202496 10520 0 1 0 325 27 0 0 20 0 18 0 334381479 11864465408 325833 33554432000 1073741824 1073778376 140737305944624 140737305935760 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6321/statm: 2896598 325833 2237 9 0 2887285 0
[pid=6321/tid=6323] ppid=6319 vsize=11586392 CPUtime=3.05 cores=1,3,5,7
/proc/6321/task/6323/stat : 6323 (java) R 6319 6321 2935 0 -1 4202560 3975 0 1 0 280 25 0 0 20 0 18 0 334381481 11864465408 325833 33554432000 1073741824 1073778376 140737305944624 139841060937728 139840931245447 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6324] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6324/stat : 6324 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334381483 11864465408 325833 33554432000 1073741824 1073778376 140737305944624 139841050008488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6325] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6325/stat : 6325 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334381483 11864465408 325833 33554432000 1073741824 1073778376 140737305944624 139840896396328 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6326] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6326/stat : 6326 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334381483 11864465408 325833 33554432000 1073741824 1073778376 140737305944624 139840895343272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6321/tid=6327] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6327/stat : 6327 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334381483 11864465408 325833 33554432000 1073741824 1073778376 140737305944624 139840894290728 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6328] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6328/stat : 6328 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334381483 11864465408 325833 33554432000 1073741824 1073778376 140737305944624 139840893237672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6329] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6329/stat : 6329 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334381483 11864465408 325833 33554432000 1073741824 1073778376 140737305944624 139840892185128 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6330] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6330/stat : 6330 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334381483 11864465408 325833 33554432000 1073741824 1073778376 140737305944624 139840891132072 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6331] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6331/stat : 6331 (java) S 6319 6321 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 334381483 11864465408 325833 33554432000 1073741824 1073778376 140737305944624 139840890079528 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6332] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6332/stat : 6332 (java) S 6319 6321 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 334381484 11864465408 325833 33554432000 1073741824 1073778376 140737305944624 139840877882216 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6333] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6333/stat : 6333 (java) S 6319 6321 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 334381485 11864465408 325833 33554432000 1073741824 1073778376 140737305944624 139840876828536 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6334] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6334/stat : 6334 (java) S 6319 6321 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334381485 11864465408 325833 33554432000 1073741824 1073778376 140737305944624 139840875775368 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6335] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6335/stat : 6335 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334381488 11864465408 325833 33554432000 1073741824 1073778376 140737305944624 139840874724112 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6336] ppid=6319 vsize=11586392 CPUtime=0.22 cores=1,3,5,7
/proc/6321/task/6336/stat : 6336 (java) S 6319 6321 2935 0 -1 4202560 2323 0 0 0 22 0 0 0 20 0 18 0 334381488 11864465408 325833 33554432000 1073741824 1073778376 140737305944624 139840873670968 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6337] ppid=6319 vsize=11586392 CPUtime=0.19 cores=1,3,5,7
/proc/6321/task/6337/stat : 6337 (java) S 6319 6321 2935 0 -1 4202560 3037 0 0 0 19 0 0 0 20 0 18 0 334381488 11864465408 325833 33554432000 1073741824 1073778376 140737305944624 139840872618424 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6338] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6338/stat : 6338 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334381488 11864465408 325833 33554432000 1073741824 1073778376 140737305944624 139840871565560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6339] ppid=6319 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6339/stat : 6339 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334381488 11864465408 325833 33554432000 1073741824 1073778376 140737305944624 139840870513224 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 11586392

[startup+6.30072 s]
/proc/loadavg: 3.39 3.49 3.52 4/219 6349
/proc/meminfo: memFree=26438620/32873844 swapFree=7644/7644
[pid=6321] ppid=6319 vsize=11852648 CPUtime=9.51 cores=1,3,5,7
/proc/6321/stat : 6321 (java) S 6319 6321 2935 0 -1 4202496 14197 0 1 0 916 35 0 0 20 0 22 0 334381479 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 140737305935760 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6321/statm: 2963162 379939 2266 9 0 2953849 0
[pid=6321/tid=6323] ppid=6319 vsize=11852648 CPUtime=3.62 cores=1,3,5,7
/proc/6321/task/6323/stat : 6323 (java) S 6319 6321 2935 0 -1 4202560 4073 0 1 0 334 28 0 0 20 0 22 0 334381481 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 139841060947112 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6324] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6324/stat : 6324 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334381483 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 139841050008488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6325] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6325/stat : 6325 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334381483 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 139840896396328 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6326] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6326/stat : 6326 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334381483 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 139840895343272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6321/tid=6327] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6327/stat : 6327 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334381483 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 139840894290728 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6328] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6328/stat : 6328 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334381483 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 139840893237672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6329] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6329/stat : 6329 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334381483 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 139840892185128 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6330] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6330/stat : 6330 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334381483 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 139840891132072 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6331] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6331/stat : 6331 (java) S 6319 6321 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334381483 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 139840890079528 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6332] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6332/stat : 6332 (java) S 6319 6321 2935 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 334381484 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 139840877882216 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6333] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6333/stat : 6333 (java) S 6319 6321 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334381485 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 139840876828536 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6334] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6334/stat : 6334 (java) S 6319 6321 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334381485 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 139840875775368 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6335] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6335/stat : 6335 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334381488 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 139840874724112 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6336] ppid=6319 vsize=11852648 CPUtime=0.78 cores=1,3,5,7
/proc/6321/task/6336/stat : 6336 (java) S 6319 6321 2935 0 -1 4202560 4288 0 0 0 78 0 0 0 20 0 22 0 334381488 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 139840873670968 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6337] ppid=6319 vsize=11852648 CPUtime=0.69 cores=1,3,5,7
/proc/6321/task/6337/stat : 6337 (java) S 6319 6321 2935 0 -1 4202560 4500 0 0 0 69 0 0 0 20 0 22 0 334381488 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 139840872618424 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6321/tid=6338] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6338/stat : 6338 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334381488 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 139840871565560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6339] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6339/stat : 6339 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334381488 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 139840870513224 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6342] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6342/stat : 6342 (java) S 6319 6321 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334381831 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 139840867353896 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6347] ppid=6319 vsize=11852648 CPUtime=1.6 cores=1,3,5,7
/proc/6321/task/6347/stat : 6347 (java) R 6319 6321 2935 0 -1 4202560 5 0 0 0 160 0 0 0 20 0 22 0 334381947 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 139840866297968 139840931537084 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6348] ppid=6319 vsize=11852648 CPUtime=1.6 cores=1,3,5,7
/proc/6321/task/6348/stat : 6348 (java) R 6319 6321 2935 0 -1 4202560 12 0 0 0 160 0 0 0 20 0 22 0 334381947 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 139840868404232 139840931498897 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6321/tid=6349] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6349/stat : 6349 (java) S 6319 6321 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334381947 12137111552 379939 33554432000 1073741824 1073778376 140737305944624 139840869459624 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 9.51
Current children cumulated vsize (KiB) 11852648

################
# More data... #
################

/proc/6321/statm: 2963162 963343 2291 9 0 2953849 0
[pid=6321/tid=6323] ppid=6319 vsize=11852648 CPUtime=3.67 cores=1,3,5,7
/proc/6321/task/6323/stat : 6323 (java) S 6319 6321 2935 0 -1 4202560 4079 0 1 0 336 31 0 0 20 0 22 0 334381481 12137111552 963343 33554432000 1073741824 1073778376 140737305944624 139841060947112 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6324] ppid=6319 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/6321/task/6324/stat : 6324 (java) S 6319 6321 2935 0 -1 4202560 277 0 0 0 91 12 0 0 20 0 22 0 334381483 12137111552 963343 33554432000 1073741824 1073778376 140737305944624 139841050008488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6325] ppid=6319 vsize=11852648 CPUtime=1.01 cores=1,3,5,7
/proc/6321/task/6325/stat : 6325 (java) S 6319 6321 2935 0 -1 4202560 224 0 0 0 91 10 0 0 20 0 22 0 334381483 12137111552 963343 33554432000 1073741824 1073778376 140737305944624 139840896396328 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6326] ppid=6319 vsize=11852648 CPUtime=1.05 cores=1,3,5,7
/proc/6321/task/6326/stat : 6326 (java) S 6319 6321 2935 0 -1 4202560 231 0 0 0 95 10 0 0 20 0 22 0 334381483 12137111552 963343 33554432000 1073741824 1073778376 140737305944624 139840895343272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6327] ppid=6319 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/6321/task/6327/stat : 6327 (java) S 6319 6321 2935 0 -1 4202560 238 0 0 0 97 10 0 0 20 0 22 0 334381483 12137111552 963343 33554432000 1073741824 1073778376 140737305944624 139840894290728 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6328] ppid=6319 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/6321/task/6328/stat : 6328 (java) S 6319 6321 2935 0 -1 4202560 237 0 0 0 97 9 0 0 20 0 22 0 334381483 12137111552 963343 33554432000 1073741824 1073778376 140737305944624 139840893237672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6329] ppid=6319 vsize=11852648 CPUtime=0.96 cores=1,3,5,7
/proc/6321/task/6329/stat : 6329 (java) S 6319 6321 2935 0 -1 4202560 243 0 0 0 86 10 0 0 20 0 22 0 334381483 12137111552 963343 33554432000 1073741824 1073778376 140737305944624 139840892185128 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6330] ppid=6319 vsize=11852648 CPUtime=1.08 cores=1,3,5,7
/proc/6321/task/6330/stat : 6330 (java) S 6319 6321 2935 0 -1 4202560 218 0 0 0 99 9 0 0 20 0 22 0 334381483 12137111552 963343 33554432000 1073741824 1073778376 140737305944624 139840891132072 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6331] ppid=6319 vsize=11852648 CPUtime=1.16 cores=1,3,5,7
/proc/6321/task/6331/stat : 6331 (java) S 6319 6321 2935 0 -1 4202560 236 0 0 0 105 11 0 0 20 0 22 0 334381483 12137111552 963343 33554432000 1073741824 1073778376 140737305944624 139840890079528 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6332] ppid=6319 vsize=11852648 CPUtime=4.34 cores=1,3,5,7
/proc/6321/task/6332/stat : 6332 (java) S 6319 6321 2935 0 -1 4202560 15050 0 0 0 421 13 0 0 20 0 22 0 334381484 12137111552 963343 33554432000 1073741824 1073778376 140737305944624 139840877882216 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6333] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6333/stat : 6333 (java) S 6319 6321 2935 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334381485 12137111552 963343 33554432000 1073741824 1073778376 140737305944624 139840876828536 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6334] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6334/stat : 6334 (java) S 6319 6321 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334381485 12137111552 963343 33554432000 1073741824 1073778376 140737305944624 139840875775368 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6335] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6335/stat : 6335 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334381488 12137111552 963343 33554432000 1073741824 1073778376 140737305944624 139840874724112 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6336] ppid=6319 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/6321/task/6336/stat : 6336 (java) S 6319 6321 2935 0 -1 4202560 4339 0 0 0 100 0 0 0 20 0 22 0 334381488 12137111552 963343 33554432000 1073741824 1073778376 140737305944624 139840873670968 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6337] ppid=6319 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/6321/task/6337/stat : 6337 (java) S 6319 6321 2935 0 -1 4202560 6541 0 0 0 111 1 0 0 20 0 22 0 334381488 12137111552 963343 33554432000 1073741824 1073778376 140737305944624 139840872618424 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6338] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6338/stat : 6338 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334381488 12137111552 963343 33554432000 1073741824 1073778376 140737305944624 139840871565560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6339] ppid=6319 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/6321/task/6339/stat : 6339 (java) S 6319 6321 2935 0 -1 4202560 51 0 0 0 18 17 0 0 20 0 22 0 334381488 12137111552 963343 33554432000 1073741824 1073778376 140737305944624 139840870513224 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6342] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6342/stat : 6342 (java) S 6319 6321 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334381831 12137111552 963343 33554432000 1073741824 1073778376 140737305944624 139840867353896 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6347] ppid=6319 vsize=11852648 CPUtime=868.38 cores=1,3,5,7
/proc/6321/task/6347/stat : 6347 (java) R 6319 6321 2935 0 -1 4202560 74 0 0 0 86824 14 0 0 20 0 22 0 334381947 12137111552 963343 33554432000 1073741824 1073778376 140737305944624 139840866298280 139840931458046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6321/tid=6348] ppid=6319 vsize=11852648 CPUtime=868.36 cores=1,3,5,7
/proc/6321/task/6348/stat : 6348 (java) R 6319 6321 2935 0 -1 4202560 875 0 0 0 86791 45 0 0 20 0 22 0 334381947 12137111552 963343 33554432000 1073741824 1073778376 140737305944624 139840868404920 139840931280777 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6349] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6349/stat : 6349 (java) S 6319 6321 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334381947 12137111552 963343 33554432000 1073741824 1073778376 140737305944624 139840869459624 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1761.2
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+901.701 s]
/proc/loadavg: 3.78 3.80 3.68 5/219 6479
/proc/meminfo: memFree=23483396/32873844 swapFree=7644/7644
[pid=6321] ppid=6319 vsize=11852648 CPUtime=1800.1 cores=1,3,5,7
/proc/6321/stat : 6321 (java) S 6319 6321 2935 0 -1 4202496 34256 0 1 0 179826 184 0 0 20 0 22 0 334381479 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 140737305935760 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6321/statm: 2963162 968463 2291 9 0 2953849 0
[pid=6321/tid=6323] ppid=6319 vsize=11852648 CPUtime=3.67 cores=1,3,5,7
/proc/6321/task/6323/stat : 6323 (java) S 6319 6321 2935 0 -1 4202560 4079 0 1 0 336 31 0 0 20 0 22 0 334381481 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139841060947112 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6324] ppid=6319 vsize=11852648 CPUtime=1.08 cores=1,3,5,7
/proc/6321/task/6324/stat : 6324 (java) S 6319 6321 2935 0 -1 4202560 286 0 0 0 96 12 0 0 20 0 22 0 334381483 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139841050008488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6325] ppid=6319 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/6321/task/6325/stat : 6325 (java) S 6319 6321 2935 0 -1 4202560 227 0 0 0 93 10 0 0 20 0 22 0 334381483 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840896396328 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6326] ppid=6319 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/6321/task/6326/stat : 6326 (java) S 6319 6321 2935 0 -1 4202560 235 0 0 0 97 10 0 0 20 0 22 0 334381483 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840895343272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6327] ppid=6319 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/6321/task/6327/stat : 6327 (java) S 6319 6321 2935 0 -1 4202560 243 0 0 0 101 10 0 0 20 0 22 0 334381483 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840894290728 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6328] ppid=6319 vsize=11852648 CPUtime=1.08 cores=1,3,5,7
/proc/6321/task/6328/stat : 6328 (java) S 6319 6321 2935 0 -1 4202560 241 0 0 0 98 10 0 0 20 0 22 0 334381483 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840893237672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6329] ppid=6319 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/6321/task/6329/stat : 6329 (java) S 6319 6321 2935 0 -1 4202560 244 0 0 0 88 10 0 0 20 0 22 0 334381483 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840892185128 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6330] ppid=6319 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/6321/task/6330/stat : 6330 (java) S 6319 6321 2935 0 -1 4202560 218 0 0 0 100 9 0 0 20 0 22 0 334381483 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840891132072 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6331] ppid=6319 vsize=11852648 CPUtime=1.18 cores=1,3,5,7
/proc/6321/task/6331/stat : 6331 (java) S 6319 6321 2935 0 -1 4202560 241 0 0 0 107 11 0 0 20 0 22 0 334381483 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840890079528 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6321/tid=6332] ppid=6319 vsize=11852648 CPUtime=4.34 cores=1,3,5,7
/proc/6321/task/6332/stat : 6332 (java) S 6319 6321 2935 0 -1 4202560 15052 0 0 0 421 13 0 0 20 0 22 0 334381484 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840877882216 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6321/tid=6333] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6333/stat : 6333 (java) S 6319 6321 2935 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334381485 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840876828536 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6334] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6334/stat : 6334 (java) S 6319 6321 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334381485 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840875775368 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6335] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6335/stat : 6335 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334381488 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840874724112 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6336] ppid=6319 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/6321/task/6336/stat : 6336 (java) S 6319 6321 2935 0 -1 4202560 4339 0 0 0 100 0 0 0 20 0 22 0 334381488 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840873670968 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6337] ppid=6319 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/6321/task/6337/stat : 6337 (java) S 6319 6321 2935 0 -1 4202560 6541 0 0 0 111 1 0 0 20 0 22 0 334381488 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840872618424 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6338] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6338/stat : 6338 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334381488 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840871565560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6339] ppid=6319 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/6321/task/6339/stat : 6339 (java) S 6319 6321 2935 0 -1 4202560 53 0 0 0 18 17 0 0 20 0 22 0 334381488 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840870513224 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6342] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6342/stat : 6342 (java) S 6319 6321 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334381831 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840867353896 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6347] ppid=6319 vsize=11852648 CPUtime=887.68 cores=1,3,5,7
/proc/6321/task/6347/stat : 6347 (java) R 6319 6321 2935 0 -1 4202560 76 0 0 0 88754 14 0 0 20 0 22 0 334381947 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840866299184 139840931859866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6321/tid=6348] ppid=6319 vsize=11852648 CPUtime=887.66 cores=1,3,5,7
/proc/6321/task/6348/stat : 6348 (java) R 6319 6321 2935 0 -1 4202560 875 0 0 0 88721 45 0 0 20 0 22 0 334381947 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840868404016 139840931610711 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6349] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6349/stat : 6349 (java) S 6319 6321 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334381947 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840869459624 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 11852648

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+901.701 s]
/proc/loadavg: 3.78 3.80 3.68 5/219 6479
/proc/meminfo: memFree=23483396/32873844 swapFree=7644/7644
[pid=6321] ppid=6319 vsize=11852648 CPUtime=1800.1 cores=1,3,5,7
/proc/6321/stat : 6321 (java) S 6319 6321 2935 0 -1 4202496 34256 0 1 0 179826 184 0 0 20 0 22 0 334381479 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 140737305935760 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6321/statm: 2963162 968463 2291 9 0 2953849 0
[pid=6321/tid=6323] ppid=6319 vsize=11852648 CPUtime=3.67 cores=1,3,5,7
/proc/6321/task/6323/stat : 6323 (java) S 6319 6321 2935 0 -1 4202560 4079 0 1 0 336 31 0 0 20 0 22 0 334381481 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139841060947112 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6324] ppid=6319 vsize=11852648 CPUtime=1.08 cores=1,3,5,7
/proc/6321/task/6324/stat : 6324 (java) S 6319 6321 2935 0 -1 4202560 286 0 0 0 96 12 0 0 20 0 22 0 334381483 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139841050008488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6325] ppid=6319 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/6321/task/6325/stat : 6325 (java) S 6319 6321 2935 0 -1 4202560 227 0 0 0 93 10 0 0 20 0 22 0 334381483 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840896396328 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6326] ppid=6319 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/6321/task/6326/stat : 6326 (java) S 6319 6321 2935 0 -1 4202560 235 0 0 0 97 10 0 0 20 0 22 0 334381483 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840895343272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6327] ppid=6319 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/6321/task/6327/stat : 6327 (java) S 6319 6321 2935 0 -1 4202560 243 0 0 0 101 10 0 0 20 0 22 0 334381483 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840894290728 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6328] ppid=6319 vsize=11852648 CPUtime=1.08 cores=1,3,5,7
/proc/6321/task/6328/stat : 6328 (java) S 6319 6321 2935 0 -1 4202560 241 0 0 0 98 10 0 0 20 0 22 0 334381483 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840893237672 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6329] ppid=6319 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/6321/task/6329/stat : 6329 (java) S 6319 6321 2935 0 -1 4202560 244 0 0 0 88 10 0 0 20 0 22 0 334381483 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840892185128 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6330] ppid=6319 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/6321/task/6330/stat : 6330 (java) S 6319 6321 2935 0 -1 4202560 218 0 0 0 100 9 0 0 20 0 22 0 334381483 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840891132072 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6331] ppid=6319 vsize=11852648 CPUtime=1.18 cores=1,3,5,7
/proc/6321/task/6331/stat : 6331 (java) S 6319 6321 2935 0 -1 4202560 241 0 0 0 107 11 0 0 20 0 22 0 334381483 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840890079528 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6321/tid=6332] ppid=6319 vsize=11852648 CPUtime=4.34 cores=1,3,5,7
/proc/6321/task/6332/stat : 6332 (java) S 6319 6321 2935 0 -1 4202560 15052 0 0 0 421 13 0 0 20 0 22 0 334381484 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840877882216 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6321/tid=6333] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6333/stat : 6333 (java) S 6319 6321 2935 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334381485 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840876828536 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6334] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6334/stat : 6334 (java) S 6319 6321 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334381485 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840875775368 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6335] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6335/stat : 6335 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334381488 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840874724112 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6321/tid=6336] ppid=6319 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/6321/task/6336/stat : 6336 (java) S 6319 6321 2935 0 -1 4202560 4339 0 0 0 100 0 0 0 20 0 22 0 334381488 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840873670968 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6321/tid=6337] ppid=6319 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/6321/task/6337/stat : 6337 (java) S 6319 6321 2935 0 -1 4202560 6541 0 0 0 111 1 0 0 20 0 22 0 334381488 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840872618424 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6338] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6338/stat : 6338 (java) S 6319 6321 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334381488 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840871565560 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6339] ppid=6319 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/6321/task/6339/stat : 6339 (java) S 6319 6321 2935 0 -1 4202560 53 0 0 0 18 17 0 0 20 0 22 0 334381488 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840870513224 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6342] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6342/stat : 6342 (java) S 6319 6321 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334381831 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840867353896 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6347] ppid=6319 vsize=11852648 CPUtime=887.68 cores=1,3,5,7
/proc/6321/task/6347/stat : 6347 (java) R 6319 6321 2935 0 -1 4202560 76 0 0 0 88754 14 0 0 20 0 22 0 334381947 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840866299184 139840931859866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6321/tid=6348] ppid=6319 vsize=11852648 CPUtime=887.66 cores=1,3,5,7
/proc/6321/task/6348/stat : 6348 (java) R 6319 6321 2935 0 -1 4202560 875 0 0 0 88721 45 0 0 20 0 22 0 334381947 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840868404016 139840931610711 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6321/tid=6349] ppid=6319 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/6321/task/6349/stat : 6349 (java) S 6319 6321 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334381947 12137111552 968463 33554432000 1073741824 1073778376 140737305944624 139840869459624 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 11852648

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6321 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=788302
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=253657
# CPU time returned by wait4() is 1796.04
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 901.772
CPU time (s): 1800.1
CPU user time (s): 1798.26
CPU system time (s): 1.84
CPU usage (%): 199.618
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.79
system time used= 2.25366
maximum resident set size= 3873976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34289
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25339
involuntary context switches= 25862

runsolver used 3.43348 second user time and 8.58169 second system time

The end

Begin job on node147 at 2012-06-03 02:16:11
IDJOB=3731655
IDBENCH=1973
IDSOLVER=2328
FILE ID=node147/3731655-1338682570
RUNJOBID= node147-1338678629-2955
PBS_JOBID= 14636666
Free space on /tmp= 70768 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731655-1338682570/watcher-3731655-1338682570 -o /tmp/evaluation-result-3731655-1338682570/solver-3731655-1338682570 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3731655-1338682570.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 13c1b3915f4d316b882a7e551b1f0496
RANDOM SEED=68615115

node147.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27947692 kB
Buffers:          433400 kB
Cached:          2542348 kB
SwapCached:         3380 kB
Active:          2534280 kB
Inactive:        1529240 kB
Active(anon):    1083744 kB
Inactive(anon):     5920 kB
Active(file):    1450536 kB
Inactive(file):  1523320 kB
Unevictable:        7644 kB
Mlocked:            7644 kB
SwapTotal:      67108856 kB
SwapFree:       67100236 kB
Dirty:             17324 kB
Writeback:             0 kB
AnonPages:       1094644 kB
Mapped:            17620 kB
Shmem:                 0 kB
Slab:             721732 kB
SReclaimable:     162536 kB
SUnreclaim:       559196 kB
KernelStack:        1608 kB
PageTables:         6448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10458964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1046528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70768 MiB
End job on node147 at 2012-06-03 02:31:15