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-3731578-1338682146.opb
0.07/0.14	c reading problem ... 
3.72/3.36	c ... done. Wall clock time 3.224s.
3.72/3.36	c #vars     10000
3.72/3.36	c #constraints  656900
3.72/3.36	c constraints type 
3.72/3.36	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200
3.72/3.36	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700
3.72/3.36	c constraints type 
3.72/3.36	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
3.72/3.36	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
4.65/3.63	c  And the winner is Resolution
4.81/3.92	c SATISFIABLE
4.81/3.92	c OPTIMIZING...
4.81/3.92	c Got one! Elapsed wall clock time (in seconds):3.78
4.81/3.92	o 901
5.79/4.21	c  And the winner is Resolution
5.88/4.53	c Got one! Elapsed wall clock time (in seconds):4.391
5.88/4.53	o 840
86.22/44.42	c cleaning 2618 clauses out of 5237 with flag 5000/5237
222.41/112.35	c cleaning 4300 clauses out of 8620 with flag 11001/11238
341.74/172.09	c cleaning 5656 clauses out of 11320 with flag 18001/18238
514.94/258.63	c cleaning 6816 clauses out of 13664 with flag 26001/26238
679.48/341.07	c cleaning 7914 clauses out of 15848 with flag 35001/35238
873.56/438.13	c cleaning 8954 clauses out of 17934 with flag 45001/45238
1084.41/543.74	c cleaning 9969 clauses out of 19979 with flag 56000/56237
1336.40/669.76	c cleaning 10997 clauses out of 22012 with flag 68002/68239
1580.56/792.10	c cleaning 11985 clauses out of 24013 with flag 81000/81237
1800.15/902.11	c starts		: 92
1800.15/902.11	c conflicts		: 93295
1800.15/902.11	c decisions		: 578955
1800.15/902.11	c propagations		: 54584392
1800.15/902.11	c inspects		: 26647773
1800.15/902.11	c shortcuts		: 0
1800.15/902.11	c learnt literals	: 0
1800.15/902.11	c learnt binary clauses	: 0
1800.15/902.11	c learnt ternary clauses	: 0
1800.15/902.11	c learnt constraints	: 93294
1800.15/902.11	c ignored constraints	: 0
1800.15/902.11	c root simplifications	: 0
1800.15/902.11	c removed literals (reason simplification)	: 6890429
1800.15/902.11	c reason swapping (by a shorter reason)	: 0
1800.15/902.11	c Calls to reduceDB	: 9
1800.15/902.11	c number of reductions to clauses (during analyze)	: 0
1800.15/902.11	c number of learned constraints concerned by reduction	: 0
1800.15/902.11	c number of learning phase by resolution	: 0
1800.15/902.11	c number of learning phase by cutting planes	: 0
1800.15/902.11	c speed (assignments/second)	: 60815.214836024934
1800.15/902.11	c non guided choices	0
1800.15/902.13	c learnt constraints type 
1800.15/902.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 24088
1800.15/902.13	c constraints type 
1800.15/902.13	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200
1800.15/902.13	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700
1800.15/902.13	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.15/902.13	c constraints type 
1800.15/902.13	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 656700
1800.15/902.13	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 200
1800.15/902.13	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
1800.15/902.13	s SATISFIABLE
1800.15/902.14	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.15/902.16	c objective function=840
1800.15/902.16	c Total wall clock time (in seconds): 902.023

OK	840

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-3731578-1338682146/watcher-3731578-1338682146 -o /tmp/evaluation-result-3731578-1338682146/solver-3731578-1338682146 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3731578-1338682146.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.57 3.37 3.34 4/195 14192
/proc/meminfo: memFree=24822312/32873852 swapFree=6856/6856
[pid=14192] ppid=14190 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/14192/stat : 14192 (java) D 14190 14192 4583 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 334340139 9515008 182 33554432000 1073741824 1073778376 140733621743888 140733621734920 229355896501 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/14192/statm: 2323 182 140 9 0 71 0

[startup+0.0355409 s]
/proc/loadavg: 3.57 3.37 3.34 4/195 14192
/proc/meminfo: memFree=24822312/32873852 swapFree=6856/6856
[pid=14192] ppid=14190 vsize=10510056 CPUtime=0.01 cores=1,3,5,7
/proc/14192/stat : 14192 (java) S 14190 14192 4583 0 -1 4202496 2595 0 1 0 0 1 0 0 20 0 2 0 334340139 10762297344 8408 33554432000 1073741824 1073778376 140736978919808 140736978910944 229359255613 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14192/statm: 2627514 8408 942 9 0 2618623 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10510056

[startup+0.100306 s]
/proc/loadavg: 3.57 3.37 3.34 4/195 14192
/proc/meminfo: memFree=24822312/32873852 swapFree=6856/6856
[pid=14192] ppid=14190 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/14192/stat : 14192 (java) S 14190 14192 4583 0 -1 4202496 4012 0 1 0 5 2 0 0 20 0 18 0 334340139 11864465408 12375 33554432000 1073741824 1073778376 140736978919808 140736978910944 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14192/statm: 2896598 12375 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.300292 s]
/proc/loadavg: 3.57 3.37 3.34 4/195 14192
/proc/meminfo: memFree=24822312/32873852 swapFree=6856/6856
[pid=14192] ppid=14190 vsize=11586392 CPUtime=0.45 cores=1,3,5,7
/proc/14192/stat : 14192 (java) S 14190 14192 4583 0 -1 4202496 5997 0 1 0 42 3 0 0 20 0 18 0 334340139 11864465408 15774 33554432000 1073741824 1073778376 140736978919808 140736978910944 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14192/statm: 2896598 15774 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 11586392

[startup+0.700338 s]
/proc/loadavg: 3.57 3.37 3.34 4/195 14192
/proc/meminfo: memFree=24822312/32873852 swapFree=6856/6856
[pid=14192] ppid=14190 vsize=11586392 CPUtime=1.12 cores=1,3,5,7
/proc/14192/stat : 14192 (java) S 14190 14192 4583 0 -1 4202496 9529 0 1 0 104 8 0 0 20 0 18 0 334340139 11864465408 52141 33554432000 1073741824 1073778376 140736978919808 140736978910944 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14192/statm: 2896598 52141 2237 9 0 2887285 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 11586392

[startup+1.50074 s]
/proc/loadavg: 3.57 3.37 3.34 3/213 14210
/proc/meminfo: memFree=24478144/32873852 swapFree=6856/6856
[pid=14192] ppid=14190 vsize=11586392 CPUtime=1.91 cores=1,3,5,7
/proc/14192/stat : 14192 (java) S 14190 14192 4583 0 -1 4202496 9712 0 1 0 175 16 0 0 20 0 18 0 334340139 11864465408 145837 33554432000 1073741824 1073778376 140736978919808 140736978910944 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14192/statm: 2896598 145837 2237 9 0 2887285 0
[pid=14192/tid=14194] ppid=14190 vsize=11586392 CPUtime=1.46 cores=1,3,5,7
/proc/14192/task/14194/stat : 14194 (java) R 14190 14192 4583 0 -1 4202560 3162 0 1 0 132 14 0 0 20 0 18 0 334340140 11864465408 145837 33554432000 1073741824 1073778376 140736978919808 139898299195360 139898171930659 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14195] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14195/stat : 14195 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334340142 11864465408 145837 33554432000 1073741824 1073778376 140736978919808 139898136198184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14196] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14196/stat : 14196 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334340142 11864465408 145837 33554432000 1073741824 1073778376 140736978919808 139898135145384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14192/tid=14197] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14197/stat : 14197 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334340142 11864465408 145837 33554432000 1073741824 1073778376 140736978919808 139898134092584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14192/tid=14198] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14198/stat : 14198 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334340142 11864465408 145837 33554432000 1073741824 1073778376 140736978919808 139898133039784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14199] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14199/stat : 14199 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334340143 11864465408 145837 33554432000 1073741824 1073778376 140736978919808 139898131986984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14200] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14200/stat : 14200 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334340143 11864465408 145837 33554432000 1073741824 1073778376 140736978919808 139898130934184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14201] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14201/stat : 14201 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334340143 11864465408 145837 33554432000 1073741824 1073778376 140736978919808 139898129881384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14202] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14202/stat : 14202 (java) S 14190 14192 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 334340143 11864465408 145837 33554432000 1073741824 1073778376 140736978919808 139898128828584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14203] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14203/stat : 14203 (java) S 14190 14192 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 334340144 11864465408 146349 33554432000 1073741824 1073778376 140736978919808 139898116631528 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14204] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14204/stat : 14204 (java) S 14190 14192 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 334340144 11864465408 146349 33554432000 1073741824 1073778376 140736978919808 139898115577592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14205] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14205/stat : 14205 (java) S 14190 14192 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334340144 11864465408 146349 33554432000 1073741824 1073778376 140736978919808 139898114524680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14206] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14206/stat : 14206 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334340147 11864465408 146349 33554432000 1073741824 1073778376 140736978919808 139898113473168 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14207] ppid=14190 vsize=11586392 CPUtime=0.2 cores=1,3,5,7
/proc/14192/task/14207/stat : 14207 (java) S 14190 14192 4583 0 -1 4202560 2686 0 0 0 20 0 0 0 20 0 18 0 334340147 11864465408 146349 33554432000 1073741824 1073778376 140736978919808 139898112420280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14208] ppid=14190 vsize=11586392 CPUtime=0.21 cores=1,3,5,7
/proc/14192/task/14208/stat : 14208 (java) S 14190 14192 4583 0 -1 4202560 2681 0 0 0 21 0 0 0 20 0 18 0 334340147 11864465408 146349 33554432000 1073741824 1073778376 140736978919808 139898111367480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14192/tid=14209] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14209/stat : 14209 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334340147 11864465408 146349 33554432000 1073741824 1073778376 140736978919808 139898110314872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14192/tid=14210] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14210/stat : 14210 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334340147 11864465408 146349 33554432000 1073741824 1073778376 140736978919808 139898109262280 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 11586392

[startup+3.10073 s]
/proc/loadavg: 3.57 3.37 3.34 3/213 14210
/proc/meminfo: memFree=23962608/32873852 swapFree=6856/6856
[pid=14192] ppid=14190 vsize=11586392 CPUtime=3.52 cores=1,3,5,7
/proc/14192/stat : 14192 (java) S 14190 14192 4583 0 -1 4202496 10082 0 1 0 323 29 0 0 20 0 18 0 334340139 11864465408 335277 33554432000 1073741824 1073778376 140736978919808 140736978910944 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14192/statm: 2896598 335277 2237 9 0 2887285 0
[pid=14192/tid=14194] ppid=14190 vsize=11586392 CPUtime=3.05 cores=1,3,5,7
/proc/14192/task/14194/stat : 14194 (java) R 14190 14192 4583 0 -1 4202560 3532 0 1 0 279 26 0 0 20 0 18 0 334340140 11864465408 335277 33554432000 1073741824 1073778376 140736978919808 139898299195472 229359281421 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14195] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14195/stat : 14195 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334340142 11864465408 335277 33554432000 1073741824 1073778376 140736978919808 139898136198184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14196] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14196/stat : 14196 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334340142 11864465408 335277 33554432000 1073741824 1073778376 140736978919808 139898135145384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14192/tid=14197] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14197/stat : 14197 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334340142 11864465408 335277 33554432000 1073741824 1073778376 140736978919808 139898134092584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14192/tid=14198] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14198/stat : 14198 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334340142 11864465408 335277 33554432000 1073741824 1073778376 140736978919808 139898133039784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14199] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14199/stat : 14199 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334340143 11864465408 335277 33554432000 1073741824 1073778376 140736978919808 139898131986984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14200] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14200/stat : 14200 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334340143 11864465408 335277 33554432000 1073741824 1073778376 140736978919808 139898130934184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14201] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14201/stat : 14201 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334340143 11864465408 335277 33554432000 1073741824 1073778376 140736978919808 139898129881384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14202] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14202/stat : 14202 (java) S 14190 14192 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 334340143 11864465408 335277 33554432000 1073741824 1073778376 140736978919808 139898128828584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14203] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14203/stat : 14203 (java) S 14190 14192 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 334340144 11864465408 335277 33554432000 1073741824 1073778376 140736978919808 139898116631528 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14204] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14204/stat : 14204 (java) S 14190 14192 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 334340144 11864465408 335277 33554432000 1073741824 1073778376 140736978919808 139898115577592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14205] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14205/stat : 14205 (java) S 14190 14192 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334340144 11864465408 335277 33554432000 1073741824 1073778376 140736978919808 139898114524680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14206] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14206/stat : 14206 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334340147 11864465408 335277 33554432000 1073741824 1073778376 140736978919808 139898113473168 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14207] ppid=14190 vsize=11586392 CPUtime=0.2 cores=1,3,5,7
/proc/14192/task/14207/stat : 14207 (java) S 14190 14192 4583 0 -1 4202560 2686 0 0 0 20 0 0 0 20 0 18 0 334340147 11864465408 335277 33554432000 1073741824 1073778376 140736978919808 139898112420280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14208] ppid=14190 vsize=11586392 CPUtime=0.21 cores=1,3,5,7
/proc/14192/task/14208/stat : 14208 (java) S 14190 14192 4583 0 -1 4202560 2681 0 0 0 21 0 0 0 20 0 18 0 334340147 11864465408 335277 33554432000 1073741824 1073778376 140736978919808 139898111367480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14192/tid=14209] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14209/stat : 14209 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334340147 11864465408 335277 33554432000 1073741824 1073778376 140736978919808 139898110314872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14192/tid=14210] ppid=14190 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14210/stat : 14210 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334340147 11864465408 335277 33554432000 1073741824 1073778376 140736978919808 139898109262280 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 11586392

[startup+6.30067 s]
/proc/loadavg: 3.44 3.35 3.33 4/217 14220
/proc/meminfo: memFree=23300712/32873852 swapFree=6856/6856
[pid=14192] ppid=14190 vsize=11852648 CPUtime=9.53 cores=1,3,5,7
/proc/14192/stat : 14192 (java) S 14190 14192 4583 0 -1 4202496 18851 0 1 0 916 37 0 0 20 0 22 0 334340139 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 140736978910944 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14192/statm: 2963162 382466 2267 9 0 2953849 0
[pid=14192/tid=14194] ppid=14190 vsize=11852648 CPUtime=3.52 cores=1,3,5,7
/proc/14192/task/14194/stat : 14194 (java) S 14190 14192 4583 0 -1 4202560 3611 0 1 0 324 28 0 0 20 0 22 0 334340140 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 139898299204776 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14195] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14195/stat : 14195 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334340142 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 139898136198184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14196] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14196/stat : 14196 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334340142 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 139898135145384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14192/tid=14197] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14197/stat : 14197 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334340142 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 139898134092584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14192/tid=14198] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14198/stat : 14198 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334340142 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 139898133039784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14199] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14199/stat : 14199 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334340143 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 139898131986984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14200] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14200/stat : 14200 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334340143 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 139898130934184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14201] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14201/stat : 14201 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334340143 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 139898129881384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14202] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14202/stat : 14202 (java) S 14190 14192 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334340143 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 139898128828584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14203] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14203/stat : 14203 (java) S 14190 14192 4583 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 334340144 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 139898116631528 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14204] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14204/stat : 14204 (java) S 14190 14192 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334340144 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 139898115577592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14205] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14205/stat : 14205 (java) S 14190 14192 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334340144 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 139898114524680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14206] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14206/stat : 14206 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334340147 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 139898113473168 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14207] ppid=14190 vsize=11852648 CPUtime=0.76 cores=1,3,5,7
/proc/14192/task/14207/stat : 14207 (java) S 14190 14192 4583 0 -1 4202560 7467 0 0 0 74 2 0 0 20 0 22 0 334340147 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 139898112420280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14208] ppid=14190 vsize=11852648 CPUtime=0.78 cores=1,3,5,7
/proc/14192/task/14208/stat : 14208 (java) S 14190 14192 4583 0 -1 4202560 6437 0 0 0 75 3 0 0 20 0 22 0 334340147 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 139898111367480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14192/tid=14209] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14209/stat : 14209 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334340147 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 139898110314872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14192/tid=14210] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14210/stat : 14210 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334340147 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 139898109262280 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14214] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14214/stat : 14214 (java) S 14190 14192 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334340479 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 139898105050408 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14218] ppid=14190 vsize=11852648 CPUtime=1.71 cores=1,3,5,7
/proc/14192/task/14218/stat : 14218 (java) R 14190 14192 4583 0 -1 4202560 5 0 0 0 171 0 0 0 20 0 22 0 334340596 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 139898108205224 139898171990049 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14219] ppid=14190 vsize=11852648 CPUtime=1.69 cores=1,3,5,7
/proc/14192/task/14219/stat : 14219 (java) R 14190 14192 4583 0 -1 4202560 12 0 0 0 169 0 0 0 20 0 22 0 334340596 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 139898107155248 139898172085124 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14220] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14220/stat : 14220 (java) S 14190 14192 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334340596 12137111552 382466 33554432000 1073741824 1073778376 140736978919808 139898106103336 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 9.53
Current children cumulated vsize (KiB) 11852648

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

/proc/14192/statm: 2963162 1026459 2292 9 0 2953849 0
[pid=14192/tid=14194] ppid=14190 vsize=11852648 CPUtime=3.57 cores=1,3,5,7
/proc/14192/task/14194/stat : 14194 (java) S 14190 14192 4583 0 -1 4202560 3620 0 1 0 327 30 0 0 20 0 22 0 334340140 12137111552 1026459 33554432000 1073741824 1073778376 140736978919808 139898299204776 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14195] ppid=14190 vsize=11852648 CPUtime=1.32 cores=1,3,5,7
/proc/14192/task/14195/stat : 14195 (java) S 14190 14192 4583 0 -1 4202560 287 0 0 0 120 12 0 0 20 0 22 0 334340142 12137111552 1026459 33554432000 1073741824 1073778376 140736978919808 139898136198184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14192/tid=14196] ppid=14190 vsize=11852648 CPUtime=1.21 cores=1,3,5,7
/proc/14192/task/14196/stat : 14196 (java) S 14190 14192 4583 0 -1 4202560 223 0 0 0 112 9 0 0 20 0 22 0 334340142 12137111552 1026459 33554432000 1073741824 1073778376 140736978919808 139898135145384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14192/tid=14197] ppid=14190 vsize=11852648 CPUtime=1.34 cores=1,3,5,7
/proc/14192/task/14197/stat : 14197 (java) S 14190 14192 4583 0 -1 4202560 274 0 0 0 120 14 0 0 20 0 22 0 334340142 12137111552 1026459 33554432000 1073741824 1073778376 140736978919808 139898134092584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14198] ppid=14190 vsize=11852648 CPUtime=1.42 cores=1,3,5,7
/proc/14192/task/14198/stat : 14198 (java) S 14190 14192 4583 0 -1 4202560 250 0 0 0 130 12 0 0 20 0 22 0 334340142 12137111552 1026459 33554432000 1073741824 1073778376 140736978919808 139898133039784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14199] ppid=14190 vsize=11852648 CPUtime=1.37 cores=1,3,5,7
/proc/14192/task/14199/stat : 14199 (java) S 14190 14192 4583 0 -1 4202560 197 0 0 0 126 11 0 0 20 0 22 0 334340143 12137111552 1026459 33554432000 1073741824 1073778376 140736978919808 139898131986984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14192/tid=14200] ppid=14190 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/14192/task/14200/stat : 14200 (java) S 14190 14192 4583 0 -1 4202560 286 0 0 0 123 13 0 0 20 0 22 0 334340143 12137111552 1026459 33554432000 1073741824 1073778376 140736978919808 139898130934184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14192/tid=14201] ppid=14190 vsize=11852648 CPUtime=1.33 cores=1,3,5,7
/proc/14192/task/14201/stat : 14201 (java) S 14190 14192 4583 0 -1 4202560 253 0 0 0 120 13 0 0 20 0 22 0 334340143 12137111552 1026459 33554432000 1073741824 1073778376 140736978919808 139898129881384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14202] ppid=14190 vsize=11852648 CPUtime=1.41 cores=1,3,5,7
/proc/14192/task/14202/stat : 14202 (java) S 14190 14192 4583 0 -1 4202560 203 0 0 0 130 11 0 0 20 0 22 0 334340143 12137111552 1026459 33554432000 1073741824 1073778376 140736978919808 139898128828584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14192/tid=14203] ppid=14190 vsize=11852648 CPUtime=6.38 cores=1,3,5,7
/proc/14192/task/14203/stat : 14203 (java) S 14190 14192 4583 0 -1 4202560 3511 0 0 0 628 10 0 0 20 0 22 0 334340144 12137111552 1026459 33554432000 1073741824 1073778376 140736978919808 139898116631528 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14192/tid=14204] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14204/stat : 14204 (java) S 14190 14192 4583 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334340144 12137111552 1026459 33554432000 1073741824 1073778376 140736978919808 139898115577592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14205] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14205/stat : 14205 (java) S 14190 14192 4583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334340144 12137111552 1026459 33554432000 1073741824 1073778376 140736978919808 139898114524680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14206] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14206/stat : 14206 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334340147 12137111552 1026459 33554432000 1073741824 1073778376 140736978919808 139898113473168 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14207] ppid=14190 vsize=11852648 CPUtime=1.18 cores=1,3,5,7
/proc/14192/task/14207/stat : 14207 (java) S 14190 14192 4583 0 -1 4202560 9873 0 0 0 115 3 0 0 20 0 22 0 334340147 12137111552 1026459 33554432000 1073741824 1073778376 140736978919808 139898112420280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14208] ppid=14190 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/14192/task/14208/stat : 14208 (java) S 14190 14192 4583 0 -1 4202560 6450 0 0 0 95 3 0 0 20 0 22 0 334340147 12137111552 1026459 33554432000 1073741824 1073778376 140736978919808 139898111367480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14192/tid=14209] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14209/stat : 14209 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334340147 12137111552 1026459 33554432000 1073741824 1073778376 140736978919808 139898110314872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14192/tid=14210] ppid=14190 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/14192/task/14210/stat : 14210 (java) S 14190 14192 4583 0 -1 4202560 51 0 0 0 19 17 0 0 20 0 22 0 334340147 12137111552 1026459 33554432000 1073741824 1073778376 140736978919808 139898109262280 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14214] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14214/stat : 14214 (java) S 14190 14192 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334340479 12137111552 1026459 33554432000 1073741824 1073778376 140736978919808 139898105050408 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14218] ppid=14190 vsize=11852648 CPUtime=865.89 cores=1,3,5,7
/proc/14192/task/14218/stat : 14218 (java) R 14190 14192 4583 0 -1 4202560 72 0 0 0 86575 14 0 0 20 0 22 0 334340596 12137111552 1026459 33554432000 1073741824 1073778376 140736978919808 139898108206224 139898172445595 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14219] ppid=14190 vsize=11852648 CPUtime=865.91 cores=1,3,5,7
/proc/14192/task/14219/stat : 14219 (java) R 14190 14192 4583 0 -1 4202560 820 0 0 0 86557 34 0 0 20 0 22 0 334340596 12137111552 1026459 33554432000 1073741824 1073778376 140736978919808 139898107153120 139898171870594 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14220] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14220/stat : 14220 (java) S 14190 14192 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334340596 12137111552 1026459 33554432000 1073741824 1073778376 140736978919808 139898106103336 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1760.47
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+902.101 s]
/proc/loadavg: 4.00 3.97 3.73 5/217 14306
/proc/meminfo: memFree=17855584/32873852 swapFree=6856/6856
[pid=14192] ppid=14190 vsize=11852648 CPUtime=1800.15 cores=1,3,5,7
/proc/14192/stat : 14192 (java) S 14190 14192 4583 0 -1 4202496 27719 0 1 0 179831 184 0 0 20 0 22 0 334340139 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 140736978910944 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14192/statm: 2963162 1026496 2292 9 0 2953849 0
[pid=14192/tid=14194] ppid=14190 vsize=11852648 CPUtime=3.57 cores=1,3,5,7
/proc/14192/task/14194/stat : 14194 (java) S 14190 14192 4583 0 -1 4202560 3620 0 1 0 327 30 0 0 20 0 22 0 334340140 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898299204776 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14195] ppid=14190 vsize=11852648 CPUtime=1.34 cores=1,3,5,7
/proc/14192/task/14195/stat : 14195 (java) S 14190 14192 4583 0 -1 4202560 287 0 0 0 122 12 0 0 20 0 22 0 334340142 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898136198184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14192/tid=14196] ppid=14190 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/14192/task/14196/stat : 14196 (java) S 14190 14192 4583 0 -1 4202560 242 0 0 0 113 9 0 0 20 0 22 0 334340142 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898135145384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14197] ppid=14190 vsize=11852648 CPUtime=1.37 cores=1,3,5,7
/proc/14192/task/14197/stat : 14197 (java) S 14190 14192 4583 0 -1 4202560 274 0 0 0 123 14 0 0 20 0 22 0 334340142 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898134092584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14198] ppid=14190 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/14192/task/14198/stat : 14198 (java) S 14190 14192 4583 0 -1 4202560 250 0 0 0 133 12 0 0 20 0 22 0 334340142 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898133039784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14199] ppid=14190 vsize=11852648 CPUtime=1.39 cores=1,3,5,7
/proc/14192/task/14199/stat : 14199 (java) S 14190 14192 4583 0 -1 4202560 197 0 0 0 128 11 0 0 20 0 22 0 334340143 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898131986984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14200] ppid=14190 vsize=11852648 CPUtime=1.4 cores=1,3,5,7
/proc/14192/task/14200/stat : 14200 (java) S 14190 14192 4583 0 -1 4202560 286 0 0 0 127 13 0 0 20 0 22 0 334340143 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898130934184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14192/tid=14201] ppid=14190 vsize=11852648 CPUtime=1.37 cores=1,3,5,7
/proc/14192/task/14201/stat : 14201 (java) S 14190 14192 4583 0 -1 4202560 253 0 0 0 124 13 0 0 20 0 22 0 334340143 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898129881384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14192/tid=14202] ppid=14190 vsize=11852648 CPUtime=1.44 cores=1,3,5,7
/proc/14192/task/14202/stat : 14202 (java) S 14190 14192 4583 0 -1 4202560 221 0 0 0 133 11 0 0 20 0 22 0 334340143 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898128828584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14203] ppid=14190 vsize=11852648 CPUtime=6.38 cores=1,3,5,7
/proc/14192/task/14203/stat : 14203 (java) S 14190 14192 4583 0 -1 4202560 3511 0 0 0 628 10 0 0 20 0 22 0 334340144 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898116631528 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14204] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14204/stat : 14204 (java) S 14190 14192 4583 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334340144 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898115577592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14205] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14205/stat : 14205 (java) S 14190 14192 4583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334340144 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898114524680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14206] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14206/stat : 14206 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334340147 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898113473168 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14207] ppid=14190 vsize=11852648 CPUtime=1.18 cores=1,3,5,7
/proc/14192/task/14207/stat : 14207 (java) S 14190 14192 4583 0 -1 4202560 9873 0 0 0 115 3 0 0 20 0 22 0 334340147 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898112420280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14208] ppid=14190 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/14192/task/14208/stat : 14208 (java) S 14190 14192 4583 0 -1 4202560 6450 0 0 0 95 3 0 0 20 0 22 0 334340147 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898111367480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14192/tid=14209] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14209/stat : 14209 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334340147 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898110314872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14192/tid=14210] ppid=14190 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/14192/task/14210/stat : 14210 (java) S 14190 14192 4583 0 -1 4202560 53 0 0 0 19 17 0 0 20 0 22 0 334340147 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898109262280 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14214] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14214/stat : 14214 (java) S 14190 14192 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334340479 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898105050408 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14218] ppid=14190 vsize=11852648 CPUtime=885.57 cores=1,3,5,7
/proc/14192/task/14218/stat : 14218 (java) R 14190 14192 4583 0 -1 4202560 73 0 0 0 88543 14 0 0 20 0 22 0 334340596 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898108205216 139898171990055 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14219] ppid=14190 vsize=11852648 CPUtime=885.59 cores=1,3,5,7
/proc/14192/task/14219/stat : 14219 (java) R 14190 14192 4583 0 -1 4202560 823 0 0 0 88525 34 0 0 20 0 22 0 334340596 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898107154128 139898171870855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14220] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14220/stat : 14220 (java) S 14190 14192 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334340596 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898106103336 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
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+902.101 s]
/proc/loadavg: 4.00 3.97 3.73 5/217 14306
/proc/meminfo: memFree=17855584/32873852 swapFree=6856/6856
[pid=14192] ppid=14190 vsize=11852648 CPUtime=1800.15 cores=1,3,5,7
/proc/14192/stat : 14192 (java) S 14190 14192 4583 0 -1 4202496 27719 0 1 0 179831 184 0 0 20 0 22 0 334340139 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 140736978910944 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14192/statm: 2963162 1026496 2292 9 0 2953849 0
[pid=14192/tid=14194] ppid=14190 vsize=11852648 CPUtime=3.57 cores=1,3,5,7
/proc/14192/task/14194/stat : 14194 (java) S 14190 14192 4583 0 -1 4202560 3620 0 1 0 327 30 0 0 20 0 22 0 334340140 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898299204776 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14195] ppid=14190 vsize=11852648 CPUtime=1.34 cores=1,3,5,7
/proc/14192/task/14195/stat : 14195 (java) S 14190 14192 4583 0 -1 4202560 287 0 0 0 122 12 0 0 20 0 22 0 334340142 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898136198184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14192/tid=14196] ppid=14190 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/14192/task/14196/stat : 14196 (java) S 14190 14192 4583 0 -1 4202560 242 0 0 0 113 9 0 0 20 0 22 0 334340142 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898135145384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14197] ppid=14190 vsize=11852648 CPUtime=1.37 cores=1,3,5,7
/proc/14192/task/14197/stat : 14197 (java) S 14190 14192 4583 0 -1 4202560 274 0 0 0 123 14 0 0 20 0 22 0 334340142 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898134092584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14198] ppid=14190 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/14192/task/14198/stat : 14198 (java) S 14190 14192 4583 0 -1 4202560 250 0 0 0 133 12 0 0 20 0 22 0 334340142 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898133039784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14199] ppid=14190 vsize=11852648 CPUtime=1.39 cores=1,3,5,7
/proc/14192/task/14199/stat : 14199 (java) S 14190 14192 4583 0 -1 4202560 197 0 0 0 128 11 0 0 20 0 22 0 334340143 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898131986984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14200] ppid=14190 vsize=11852648 CPUtime=1.4 cores=1,3,5,7
/proc/14192/task/14200/stat : 14200 (java) S 14190 14192 4583 0 -1 4202560 286 0 0 0 127 13 0 0 20 0 22 0 334340143 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898130934184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14192/tid=14201] ppid=14190 vsize=11852648 CPUtime=1.37 cores=1,3,5,7
/proc/14192/task/14201/stat : 14201 (java) S 14190 14192 4583 0 -1 4202560 253 0 0 0 124 13 0 0 20 0 22 0 334340143 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898129881384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14192/tid=14202] ppid=14190 vsize=11852648 CPUtime=1.44 cores=1,3,5,7
/proc/14192/task/14202/stat : 14202 (java) S 14190 14192 4583 0 -1 4202560 221 0 0 0 133 11 0 0 20 0 22 0 334340143 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898128828584 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14203] ppid=14190 vsize=11852648 CPUtime=6.38 cores=1,3,5,7
/proc/14192/task/14203/stat : 14203 (java) S 14190 14192 4583 0 -1 4202560 3511 0 0 0 628 10 0 0 20 0 22 0 334340144 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898116631528 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14204] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14204/stat : 14204 (java) S 14190 14192 4583 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 334340144 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898115577592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14205] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14205/stat : 14205 (java) S 14190 14192 4583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334340144 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898114524680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14206] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14206/stat : 14206 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334340147 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898113473168 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14207] ppid=14190 vsize=11852648 CPUtime=1.18 cores=1,3,5,7
/proc/14192/task/14207/stat : 14207 (java) S 14190 14192 4583 0 -1 4202560 9873 0 0 0 115 3 0 0 20 0 22 0 334340147 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898112420280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14208] ppid=14190 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/14192/task/14208/stat : 14208 (java) S 14190 14192 4583 0 -1 4202560 6450 0 0 0 95 3 0 0 20 0 22 0 334340147 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898111367480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14192/tid=14209] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14209/stat : 14209 (java) S 14190 14192 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334340147 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898110314872 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14192/tid=14210] ppid=14190 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/14192/task/14210/stat : 14210 (java) S 14190 14192 4583 0 -1 4202560 53 0 0 0 19 17 0 0 20 0 22 0 334340147 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898109262280 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14214] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14214/stat : 14214 (java) S 14190 14192 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334340479 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898105050408 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14218] ppid=14190 vsize=11852648 CPUtime=885.57 cores=1,3,5,7
/proc/14192/task/14218/stat : 14218 (java) R 14190 14192 4583 0 -1 4202560 73 0 0 0 88543 14 0 0 20 0 22 0 334340596 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898108205216 139898171990055 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14192/tid=14219] ppid=14190 vsize=11852648 CPUtime=885.59 cores=1,3,5,7
/proc/14192/task/14219/stat : 14219 (java) R 14190 14192 4583 0 -1 4202560 823 0 0 0 88525 34 0 0 20 0 22 0 334340596 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898107154128 139898171870855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14192/tid=14220] ppid=14190 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/14192/task/14220/stat : 14220 (java) S 14190 14192 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334340596 12137111552 1026496 33554432000 1073741824 1073778376 140736978919808 139898106103336 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 11852648

Child status: 143

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

Real time (s): 902.189
CPU time (s): 1800.15
CPU user time (s): 1798.31
CPU system time (s): 1.84
CPU usage (%): 199.531
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.84
system time used= 2.28265
maximum resident set size= 4119144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27761
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25343
involuntary context switches= 29068

runsolver used 3.2815 second user time and 8.47271 second system time

The end

Begin job on node129 at 2012-06-03 02:09:07
IDJOB=3731578
IDBENCH=1966
IDSOLVER=2328
FILE ID=node129/3731578-1338682146
RUNJOBID= node129-1338679212-13350
PBS_JOBID= 14636684
Free space on /tmp= 70468 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_2.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-3731578-1338682146/watcher-3731578-1338682146 -o /tmp/evaluation-result-3731578-1338682146/solver-3731578-1338682146 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3731578-1338682146.opb

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

MD5SUM BENCH= 751aa23355f7a016eeb9009a33a863ac
RANDOM SEED=947611859

node129.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.957
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.91
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.957
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.957
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.91
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.957
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.957
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.90
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.957
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.92
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.957
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.90
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.957
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        24821940 kB
Buffers:          457464 kB
Cached:          5628800 kB
SwapCached:            0 kB
Active:          3620696 kB
Inactive:        3530552 kB
Active(anon):    1056308 kB
Inactive(anon):    10760 kB
Active(file):    2564388 kB
Inactive(file):  3519792 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             17164 kB
Writeback:             0 kB
AnonPages:       1091396 kB
Mapped:            22492 kB
Shmem:               204 kB
Slab:             741236 kB
SReclaimable:     183256 kB
SUnreclaim:       557980 kB
KernelStack:        1608 kB
PageTables:         6360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:   10456628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1038336 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= 70452 MiB
End job on node129 at 2012-06-03 02:24:11