0.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		12995394264
0.05/0.09	c Max memory 		13063553024
0.05/0.09	c Total memory 		13063553024
0.05/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458791-1307145234.opb
0.10/0.11	c reading problem ... 
3.44/3.01	c ... done. Wall clock time 2.904s.
3.44/3.01	c #vars     10000
3.44/3.01	c #constraints  656900
3.44/3.01	c constraints type 
3.44/3.01	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200
3.44/3.01	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700
4.14/3.33	c SATISFIABLE
4.14/3.33	c OPTIMIZING...
4.14/3.33	c Got one! Elapsed wall clock time (in seconds):3.218
4.14/3.33	o 836
45.54/44.55	c cleaning 2556 clauses out of 5114 with flag 5001/5114
102.33/101.14	c cleaning 4272 clauses out of 8557 with flag 11000/11113
172.14/170.98	c cleaning 5628 clauses out of 11285 with flag 18000/18113
240.96/239.77	c cleaning 6828 clauses out of 13662 with flag 26005/26118
316.50/315.29	c cleaning 7908 clauses out of 15831 with flag 35002/35115
390.31/389.07	c cleaning 8941 clauses out of 17922 with flag 45001/45114
476.21/474.97	c cleaning 9978 clauses out of 19981 with flag 56001/56114
574.13/572.89	c cleaning 10990 clauses out of 22002 with flag 68000/68113
707.74/706.48	c cleaning 11981 clauses out of 24012 with flag 81000/81113
797.44/796.18	c cleaning 13003 clauses out of 26031 with flag 95000/95113
886.76/885.50	c cleaning 13994 clauses out of 28028 with flag 110000/110113
1000.25/998.98	c cleaning 14995 clauses out of 30035 with flag 126001/126114
1121.46/1120.17	c cleaning 15993 clauses out of 32039 with flag 143000/143113
1225.77/1224.42	c cleaning 17009 clauses out of 34048 with flag 161002/161115
1359.57/1358.21	c cleaning 18006 clauses out of 36037 with flag 180000/180113
1514.39/1513.08	c cleaning 19008 clauses out of 38033 with flag 200002/200115
1619.69/1618.38	c cleaning 19987 clauses out of 40024 with flag 221001/221114
1757.90/1756.57	c cleaning 20995 clauses out of 42037 with flag 243001/243114
1800.02/1798.62	c starts		: 121
1800.02/1798.62	c conflicts		: 249419
1800.02/1798.62	c decisions		: 1225013
1800.02/1798.62	c propagations		: 150365458
1800.02/1798.62	c inspects		: 79188333
1800.02/1798.62	c shortcuts		: 0
1800.02/1798.62	c learnt literals	: 0
1800.02/1798.62	c learnt binary clauses	: 0
1800.02/1798.62	c learnt ternary clauses	: 0
1800.02/1798.62	c learnt constraints	: 249418
1800.02/1798.62	c ignored constraints	: 0
1800.02/1798.62	c root simplifications	: 0
1800.02/1798.62	c removed literals (reason simplification)	: 16352416
1800.02/1798.62	c reason swapping (by a shorter reason)	: 0
1800.02/1798.62	c Calls to reduceDB	: 18
1800.02/1798.62	c number of reductions to clauses (during analyze)	: 0
1800.02/1798.62	c number of learned constraints concerned by reduction	: 0
1800.02/1798.62	c number of learning phase by resolution	: 0
1800.02/1798.62	c number of learning phase by cutting planes	: 0
1800.02/1798.62	c speed (assignments/second)	: 83757.20538709286
1800.02/1798.62	c non guided choices	0
1800.02/1798.63	c learnt constraints type 
1800.02/1798.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 27353
1800.02/1798.64	c constraints type 
1800.02/1798.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 200
1800.02/1798.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 656700
1800.02/1798.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.02/1798.64	s SATISFIABLE
1800.02/1798.65	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.02/1798.66	c objective function=836
1800.02/1798.66	c Total wall clock time (in seconds): 1798.552

OK	836

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458791-1307145234/watcher-3458791-1307145234 -o /tmp/evaluation-result-3458791-1307145234/solver-3458791-1307145234 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458791-1307145234.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.15 2.03 2.01 2/418 5644
/proc/meminfo: memFree=29962160/32950904 swapFree=56615552/67111528
[pid=5644] ppid=5642 vsize=33748 CPUtime=0 cores=0,2,4,6
/proc/5644/stat : 5644 (java) S 5642 5644 31595 0 -1 4202496 1298 0 0 0 0 0 0 0 25 0 2 0 826123254 34557952 1007 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/5644/statm: 8960 1009 776 9 0 386 0
[pid=5644/tid=5645] ppid=5642 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (java) R 5642 5644 31595 0 -1 4202560 3139 0 1 0 0 0 0 0 25 0 2 0 826123255 13850947584 3955 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0663601 s]
/proc/loadavg: 2.15 2.03 2.01 2/418 5644
/proc/meminfo: memFree=29962160/32950904 swapFree=56615552/67111528
[pid=5644] ppid=5642 vsize=13554924 CPUtime=0.05 cores=0,2,4,6
/proc/5644/stat : 5644 (java) S 5642 5644 31595 0 -1 4202496 14171 0 1 0 4 1 0 0 25 0 18 0 826123254 13880242176 13868 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5644/statm: 3388731 13870 1733 9 0 3379472 0
[pid=5644/tid=5645] ppid=5642 vsize=13554924 CPUtime=0.04 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (java) R 5642 5644 31595 0 -1 4202560 12999 0 1 0 3 1 0 0 25 0 18 0 826123255 13880242176 13870 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 47836942255640 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13554924

[startup+0.100333 s]
/proc/loadavg: 2.15 2.03 2.01 2/418 5644
/proc/meminfo: memFree=29962160/32950904 swapFree=56615552/67111528
[pid=5644] ppid=5642 vsize=13621808 CPUtime=0.1 cores=0,2,4,6
/proc/5644/stat : 5644 (java) S 5642 5644 31595 0 -1 4202496 15495 0 1 0 8 2 0 0 25 0 18 0 826123254 13948731392 15192 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5644/statm: 3405452 15194 2093 9 0 3396186 0
[pid=5644/tid=5645] ppid=5642 vsize=13621808 CPUtime=0.08 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (java) R 5642 5644 31595 0 -1 4202560 13559 0 1 0 7 1 0 0 18 0 18 0 826123255 13948731392 15194 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 47836942255640 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621808

[startup+0.304359 s]
/proc/loadavg: 2.15 2.03 2.01 2/418 5644
/proc/meminfo: memFree=29962160/32950904 swapFree=56615552/67111528
[pid=5644] ppid=5642 vsize=13622568 CPUtime=0.49 cores=0,2,4,6
/proc/5644/stat : 5644 (java) S 5642 5644 31595 0 -1 4202496 19285 0 1 0 47 2 0 0 25 0 18 0 826123254 13949509632 18453 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5644/statm: 3405642 18454 2200 9 0 3396376 0
[pid=5644/tid=5645] ppid=5642 vsize=13622568 CPUtime=0.28 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (java) R 5642 5644 31595 0 -1 4202560 16382 0 1 0 27 1 0 0 18 0 18 0 826123255 13949509632 18454 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 46912505556790 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 13622568

[startup+0.700294 s]
/proc/loadavg: 2.15 2.03 2.01 2/418 5644
/proc/meminfo: memFree=29962160/32950904 swapFree=56615552/67111528
[pid=5644] ppid=5642 vsize=13625876 CPUtime=1.14 cores=0,2,4,6
/proc/5644/stat : 5644 (java) S 5642 5644 31595 0 -1 4202496 55935 0 1 0 108 6 0 0 25 0 18 0 826123254 13952897024 53663 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5644/statm: 3406469 53667 2214 9 0 3397203 0
[pid=5644/tid=5645] ppid=5642 vsize=13625876 CPUtime=0.67 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (java) R 5642 5644 31595 0 -1 4202560 49767 0 1 0 62 5 0 0 18 0 18 0 826123255 13952897024 53669 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 46912505637679 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 13625876

[startup+1.50104 s]
/proc/loadavg: 2.21 2.05 2.02 3/436 5662
/proc/meminfo: memFree=29629024/32950904 swapFree=56615552/67111528
[pid=5644] ppid=5642 vsize=13625876 CPUtime=1.94 cores=0,2,4,6
/proc/5644/stat : 5644 (java) S 5642 5644 31595 0 -1 4202496 138588 0 1 0 178 16 0 0 25 0 18 0 826123254 13952897024 136316 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5644/statm: 3406469 136320 2214 9 0 3397203 0
[pid=5644/tid=5645] ppid=5642 vsize=13625876 CPUtime=1.48 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (java) R 5642 5644 31595 0 -1 4202560 132420 0 1 0 133 15 0 0 19 0 18 0 826123255 13952897024 136322 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 46912505577230 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=13625876 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826123257 13952897024 136325 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 2 0 0 0
[pid=5644/tid=5648] ppid=5642 vsize=13625876 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5648/stat : 5648 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826123257 13952897024 136328 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5649] ppid=5642 vsize=13625876 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5649/stat : 5649 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826123257 13952897024 136330 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5650] ppid=5642 vsize=13625876 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5650/stat : 5650 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826123257 13952897024 136333 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5651] ppid=5642 vsize=13625876 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5651/stat : 5651 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826123257 13952897024 136336 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5652] ppid=5642 vsize=13625876 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5652/stat : 5652 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826123257 13952897024 136338 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5653] ppid=5642 vsize=13625876 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5653/stat : 5653 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826123257 13952897024 136340 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5654] ppid=5642 vsize=13625876 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5654/stat : 5654 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826123257 13952897024 136343 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5655] ppid=5642 vsize=13625876 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5655/stat : 5655 (java) S 5642 5644 31595 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 826123258 13952897024 136346 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290696192 0 0 0 16800975 18446604451310105600 0 0 -1 6 0 0 0
[pid=5644/tid=5656] ppid=5642 vsize=13625876 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5656/stat : 5656 (java) S 5642 5644 31595 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 826123258 13952897024 136348 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5657] ppid=5642 vsize=13625876 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5657/stat : 5657 (java) S 5642 5644 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 826123258 13952897024 136351 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5658] ppid=5642 vsize=13625876 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5658/stat : 5658 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826123261 13952897024 136354 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290703281 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5659] ppid=5642 vsize=13625876 CPUtime=0.23 cores=0,2,4,6
/proc/5644/task/5659/stat : 5659 (java) S 5642 5644 31595 0 -1 4202560 2144 0 0 0 23 0 0 0 25 0 18 0 826123261 13952897024 136356 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 0 0 0 0
[pid=5644/tid=5660] ppid=5642 vsize=13625876 CPUtime=0.21 cores=0,2,4,6
/proc/5644/task/5660/stat : 5660 (java) S 5642 5644 31595 0 -1 4202560 2880 0 0 0 21 0 0 0 16 0 18 0 826123261 13952897024 136359 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 2 0 0 0
[pid=5644/tid=5661] ppid=5642 vsize=13625876 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5661/stat : 5661 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826123261 13952897024 136362 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5662] ppid=5642 vsize=13625876 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5662/stat : 5662 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 826123261 13952897024 136364 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290696192 0 4 0 16800975 18446604451310105600 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 13625876

[startup+3.10086 s]
/proc/loadavg: 2.21 2.05 2.02 3/436 5662
/proc/meminfo: memFree=29169108/32950904 swapFree=56615552/67111528
[pid=5644] ppid=5642 vsize=13627052 CPUtime=3.63 cores=0,2,4,6
/proc/5644/stat : 5644 (java) S 5642 5644 31595 0 -1 4202496 295188 0 1 0 330 33 0 0 25 0 19 0 826123254 13954101248 292916 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5644/statm: 3406763 292916 2230 9 0 3397497 0
[pid=5644/tid=5645] ppid=5642 vsize=13627052 CPUtime=3.08 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (java) R 5642 5644 31595 0 -1 4202560 288951 0 1 0 276 32 0 0 24 0 19 0 826123255 13954101248 292916 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 47836939211642 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=13627052 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123257 13954101248 292916 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 2 0 0 0
[pid=5644/tid=5648] ppid=5642 vsize=13627052 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5648/stat : 5648 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123257 13954101248 292916 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5649] ppid=5642 vsize=13627052 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5649/stat : 5649 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123257 13954101248 292916 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5650] ppid=5642 vsize=13627052 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5650/stat : 5650 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123257 13954101248 292916 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5651] ppid=5642 vsize=13627052 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5651/stat : 5651 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123257 13954101248 292916 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5652] ppid=5642 vsize=13627052 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5652/stat : 5652 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123257 13954101248 292916 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5653] ppid=5642 vsize=13627052 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5653/stat : 5653 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123257 13954101248 292916 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5654] ppid=5642 vsize=13627052 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5654/stat : 5654 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123257 13954101248 292916 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5655] ppid=5642 vsize=13627052 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5655/stat : 5655 (java) S 5642 5644 31595 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 826123258 13954101248 292916 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290696192 0 0 0 16800975 18446604451310105600 0 0 -1 6 0 0 0
[pid=5644/tid=5656] ppid=5642 vsize=13627052 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5656/stat : 5656 (java) S 5642 5644 31595 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826123258 13954101248 292916 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5657] ppid=5642 vsize=13627052 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5657/stat : 5657 (java) S 5642 5644 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826123258 13954101248 292916 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5658] ppid=5642 vsize=13627052 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5658/stat : 5658 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123261 13954101248 292916 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290703281 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5659] ppid=5642 vsize=13627052 CPUtime=0.29 cores=0,2,4,6
/proc/5644/task/5659/stat : 5659 (java) R 5642 5644 31595 0 -1 4202560 2187 0 0 0 29 0 0 0 17 0 19 0 826123261 13954101248 292916 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 47836939503202 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5644/tid=5660] ppid=5642 vsize=13627052 CPUtime=0.24 cores=0,2,4,6
/proc/5644/task/5660/stat : 5660 (java) S 5642 5644 31595 0 -1 4202560 2893 0 0 0 24 0 0 0 15 0 19 0 826123261 13954101248 292916 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 2 0 0 0
[pid=5644/tid=5661] ppid=5642 vsize=13627052 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5661/stat : 5661 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123261 13954101248 292916 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5662] ppid=5642 vsize=13627052 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5662/stat : 5662 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826123261 13954101248 292916 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290696192 0 4 0 16800975 18446604451310105600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 13627052

[startup+6.30129 s]
/proc/loadavg: 2.20 2.05 2.01 3/437 5664
/proc/meminfo: memFree=28786924/32950904 swapFree=56615552/67111528
[pid=5644] ppid=5642 vsize=13626904 CPUtime=7.33 cores=0,2,4,6
/proc/5644/stat : 5644 (java) S 5642 5644 31595 0 -1 4202496 298259 0 1 0 700 33 0 0 25 0 19 0 826123254 13953949696 294579 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5644/statm: 3406726 294579 2238 9 0 3397460 0
[pid=5644/tid=5645] ppid=5642 vsize=13626904 CPUtime=6.28 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (java) R 5642 5644 31595 0 -1 4202560 290591 0 1 0 596 32 0 0 25 0 19 0 826123255 13953949696 294579 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 46912505988762 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123257 13953949696 294579 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 2 0 0 0
[pid=5644/tid=5648] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5648/stat : 5648 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123257 13953949696 294579 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5649] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5649/stat : 5649 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123257 13953949696 294579 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5650] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5650/stat : 5650 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123257 13953949696 294579 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5651] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5651/stat : 5651 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123257 13953949696 294579 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5652] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5652/stat : 5652 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123257 13953949696 294579 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5653] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5653/stat : 5653 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123257 13953949696 294579 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5654] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5654/stat : 5654 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123257 13953949696 294579 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5655] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5655/stat : 5655 (java) S 5642 5644 31595 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 826123258 13953949696 294579 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290696192 0 0 0 16800975 18446604451310105600 0 0 -1 6 0 0 0
[pid=5644/tid=5656] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5656/stat : 5656 (java) S 5642 5644 31595 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826123258 13953949696 294579 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5657] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5657/stat : 5657 (java) S 5642 5644 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826123258 13953949696 294579 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5658] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5658/stat : 5658 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123261 13953949696 294579 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290703281 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5659] ppid=5642 vsize=13626904 CPUtime=0.58 cores=0,2,4,6
/proc/5644/task/5659/stat : 5659 (java) S 5642 5644 31595 0 -1 4202560 3412 0 0 0 58 0 0 0 16 0 19 0 826123261 13953949696 294579 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 0 0 0 0
[pid=5644/tid=5660] ppid=5642 vsize=13626904 CPUtime=0.46 cores=0,2,4,6
/proc/5644/task/5660/stat : 5660 (java) S 5642 5644 31595 0 -1 4202560 3095 0 0 0 46 0 0 0 15 0 19 0 826123261 13953949696 294579 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 2 0 0 0
[pid=5644/tid=5661] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5661/stat : 5661 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123261 13953949696 294579 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5662] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5662/stat : 5662 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826123261 13953949696 294579 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290696192 0 4 0 16800975 18446604451310105600 0 0 -1 6 0 0 0

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

/proc/5644/task/5657/stat : 5657 (java) S 5642 5644 31595 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826123258 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5658] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5658/stat : 5658 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123261 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290703281 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5659] ppid=5642 vsize=13626904 CPUtime=0.62 cores=0,2,4,6
/proc/5644/task/5659/stat : 5659 (java) S 5642 5644 31595 0 -1 4202560 3428 0 0 0 62 0 0 0 15 0 19 0 826123261 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 0 0 0 0
[pid=5644/tid=5660] ppid=5642 vsize=13626904 CPUtime=0.54 cores=0,2,4,6
/proc/5644/task/5660/stat : 5660 (java) S 5642 5644 31595 0 -1 4202560 3704 0 0 0 54 0 0 0 15 0 19 0 826123261 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 2 0 0 0
[pid=5644/tid=5661] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5661/stat : 5661 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123261 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5662] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5662/stat : 5662 (java) S 5642 5644 31595 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 826123261 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290696192 0 4 0 16800975 18446604451310105600 0 0 -1 0 0 0 0
[pid=5644/tid=5664] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5664/stat : 5664 (java) S 5642 5644 31595 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 826123560 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290696192 0 4 0 16800975 18446604451310105600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1663.7
Current children cumulated vsize (KiB) 13626904

[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/437 5769
/proc/meminfo: memFree=27519708/32950904 swapFree=56615552/67111528
[pid=5644] ppid=5642 vsize=13626904 CPUtime=1723.7 cores=0,2,4,6
/proc/5644/stat : 5644 (java) S 5642 5644 31595 0 -1 4202496 321781 0 1 0 172332 38 0 0 25 0 19 0 826123254 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5644/statm: 3406726 316970 2264 9 0 3397460 0
[pid=5644/tid=5645] ppid=5642 vsize=13626904 CPUtime=1719.69 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (java) R 5642 5644 31595 0 -1 4202560 291036 0 1 0 171936 33 0 0 25 0 19 0 826123255 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 46912505841933 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=13626904 CPUtime=0.01 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (java) S 5642 5644 31595 0 -1 4202560 23 0 0 0 1 0 0 0 15 0 19 0 826123257 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5648] ppid=5642 vsize=13626904 CPUtime=0.01 cores=0,2,4,6
/proc/5644/task/5648/stat : 5648 (java) S 5642 5644 31595 0 -1 4202560 354 0 0 0 1 0 0 0 15 0 19 0 826123257 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5649] ppid=5642 vsize=13626904 CPUtime=0.02 cores=0,2,4,6
/proc/5644/task/5649/stat : 5649 (java) S 5642 5644 31595 0 -1 4202560 700 0 0 0 2 0 0 0 15 0 19 0 826123257 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 0 0 0 0
[pid=5644/tid=5650] ppid=5642 vsize=13626904 CPUtime=0.02 cores=0,2,4,6
/proc/5644/task/5650/stat : 5650 (java) S 5642 5644 31595 0 -1 4202560 115 0 0 0 2 0 0 0 15 0 19 0 826123257 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 6 0 0 0
[pid=5644/tid=5651] ppid=5642 vsize=13626904 CPUtime=0.05 cores=0,2,4,6
/proc/5644/task/5651/stat : 5651 (java) S 5642 5644 31595 0 -1 4202560 1293 0 0 0 5 0 0 0 16 0 19 0 826123257 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5652] ppid=5642 vsize=13626904 CPUtime=0.06 cores=0,2,4,6
/proc/5644/task/5652/stat : 5652 (java) S 5642 5644 31595 0 -1 4202560 2066 0 0 0 6 0 0 0 15 0 19 0 826123257 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 6 0 0 0
[pid=5644/tid=5653] ppid=5642 vsize=13626904 CPUtime=0.07 cores=0,2,4,6
/proc/5644/task/5653/stat : 5653 (java) S 5642 5644 31595 0 -1 4202560 3131 0 0 0 7 0 0 0 16 0 19 0 826123257 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 6 0 0 0
[pid=5644/tid=5654] ppid=5642 vsize=13626904 CPUtime=0.03 cores=0,2,4,6
/proc/5644/task/5654/stat : 5654 (java) S 5642 5644 31595 0 -1 4202560 1422 0 0 0 3 0 0 0 15 0 19 0 826123257 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 0 0 0 0
[pid=5644/tid=5655] ppid=5642 vsize=13626904 CPUtime=2.49 cores=0,2,4,6
/proc/5644/task/5655/stat : 5655 (java) S 5642 5644 31595 0 -1 4202560 13260 0 0 0 247 2 0 0 15 0 19 0 826123258 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290696192 0 0 0 16800975 18446604451310105600 0 0 -1 2 0 0 0
[pid=5644/tid=5656] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5656/stat : 5656 (java) S 5642 5644 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826123258 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5657] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5657/stat : 5657 (java) S 5642 5644 31595 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826123258 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5658] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5658/stat : 5658 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123261 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290703281 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5659] ppid=5642 vsize=13626904 CPUtime=0.62 cores=0,2,4,6
/proc/5644/task/5659/stat : 5659 (java) S 5642 5644 31595 0 -1 4202560 3428 0 0 0 62 0 0 0 15 0 19 0 826123261 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 0 0 0 0
[pid=5644/tid=5660] ppid=5642 vsize=13626904 CPUtime=0.54 cores=0,2,4,6
/proc/5644/task/5660/stat : 5660 (java) S 5642 5644 31595 0 -1 4202560 3704 0 0 0 54 0 0 0 15 0 19 0 826123261 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 2 0 0 0
[pid=5644/tid=5661] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5661/stat : 5661 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123261 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5662] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5662/stat : 5662 (java) S 5642 5644 31595 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 826123261 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290696192 0 4 0 16800975 18446604451310105600 0 0 -1 0 0 0 0
[pid=5644/tid=5664] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5664/stat : 5664 (java) S 5642 5644 31595 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 826123560 13953949696 316970 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290696192 0 4 0 16800975 18446604451310105600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1723.7
Current children cumulated vsize (KiB) 13626904

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 5771
/proc/meminfo: memFree=27514716/32950904 swapFree=56615552/67111528
[pid=5644] ppid=5642 vsize=13626904 CPUtime=1783.71 cores=0,2,4,6
/proc/5644/stat : 5644 (java) S 5642 5644 31595 0 -1 4202496 323045 0 1 0 178333 38 0 0 25 0 19 0 826123254 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5644/statm: 3406726 318227 2264 9 0 3397460 0
[pid=5644/tid=5645] ppid=5642 vsize=13626904 CPUtime=1779.55 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (java) R 5642 5644 31595 0 -1 4202560 291037 0 1 0 177922 33 0 0 25 0 19 0 826123255 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 46912505887455 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=13626904 CPUtime=0.01 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (java) S 5642 5644 31595 0 -1 4202560 296 0 0 0 1 0 0 0 16 0 19 0 826123257 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5648] ppid=5642 vsize=13626904 CPUtime=0.01 cores=0,2,4,6
/proc/5644/task/5648/stat : 5648 (java) S 5642 5644 31595 0 -1 4202560 354 0 0 0 1 0 0 0 15 0 19 0 826123257 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5649] ppid=5642 vsize=13626904 CPUtime=0.03 cores=0,2,4,6
/proc/5644/task/5649/stat : 5649 (java) S 5642 5644 31595 0 -1 4202560 1047 0 0 0 3 0 0 0 16 0 19 0 826123257 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 0 0 0 0
[pid=5644/tid=5650] ppid=5642 vsize=13626904 CPUtime=0.02 cores=0,2,4,6
/proc/5644/task/5650/stat : 5650 (java) S 5642 5644 31595 0 -1 4202560 115 0 0 0 2 0 0 0 16 0 19 0 826123257 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 6 0 0 0
[pid=5644/tid=5651] ppid=5642 vsize=13626904 CPUtime=0.05 cores=0,2,4,6
/proc/5644/task/5651/stat : 5651 (java) S 5642 5644 31595 0 -1 4202560 1293 0 0 0 5 0 0 0 15 0 19 0 826123257 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5652] ppid=5642 vsize=13626904 CPUtime=0.06 cores=0,2,4,6
/proc/5644/task/5652/stat : 5652 (java) S 5642 5644 31595 0 -1 4202560 2471 0 0 0 6 0 0 0 16 0 19 0 826123257 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 6 0 0 0
[pid=5644/tid=5653] ppid=5642 vsize=13626904 CPUtime=0.07 cores=0,2,4,6
/proc/5644/task/5653/stat : 5653 (java) S 5642 5644 31595 0 -1 4202560 3131 0 0 0 7 0 0 0 15 0 19 0 826123257 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 6 0 0 0
[pid=5644/tid=5654] ppid=5642 vsize=13626904 CPUtime=0.03 cores=0,2,4,6
/proc/5644/task/5654/stat : 5654 (java) S 5642 5644 31595 0 -1 4202560 1422 0 0 0 3 0 0 0 15 0 19 0 826123257 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 0 0 0 0
[pid=5644/tid=5655] ppid=5642 vsize=13626904 CPUtime=2.62 cores=0,2,4,6
/proc/5644/task/5655/stat : 5655 (java) S 5642 5644 31595 0 -1 4202560 13494 0 0 0 260 2 0 0 15 0 19 0 826123258 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290696192 0 0 0 16800975 18446604451310105600 0 0 -1 2 0 0 0
[pid=5644/tid=5656] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5656/stat : 5656 (java) S 5642 5644 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826123258 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5657] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5657/stat : 5657 (java) S 5642 5644 31595 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826123258 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5658] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5658/stat : 5658 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123261 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290703281 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5659] ppid=5642 vsize=13626904 CPUtime=0.62 cores=0,2,4,6
/proc/5644/task/5659/stat : 5659 (java) S 5642 5644 31595 0 -1 4202560 3428 0 0 0 62 0 0 0 15 0 19 0 826123261 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 0 0 0 0
[pid=5644/tid=5660] ppid=5642 vsize=13626904 CPUtime=0.54 cores=0,2,4,6
/proc/5644/task/5660/stat : 5660 (java) S 5642 5644 31595 0 -1 4202560 3704 0 0 0 54 0 0 0 15 0 19 0 826123261 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 2 0 0 0
[pid=5644/tid=5661] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5661/stat : 5661 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123261 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5662] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5662/stat : 5662 (java) S 5642 5644 31595 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826123261 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290696192 0 4 0 16800975 18446604451310105600 0 0 -1 0 0 0 0
[pid=5644/tid=5664] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5664/stat : 5664 (java) S 5642 5644 31595 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 826123560 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290696192 0 4 0 16800975 18446604451310105600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1783.71
Current children cumulated vsize (KiB) 13626904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.6 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 5771
/proc/meminfo: memFree=27514836/32950904 swapFree=56615552/67111528
[pid=5644] ppid=5642 vsize=13626904 CPUtime=1800.02 cores=0,2,4,6
/proc/5644/stat : 5644 (java) S 5642 5644 31595 0 -1 4202496 323045 0 1 0 179964 38 0 0 25 0 19 0 826123254 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5644/statm: 3406726 318227 2264 9 0 3397460 0
[pid=5644/tid=5645] ppid=5642 vsize=13626904 CPUtime=1795.87 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (java) R 5642 5644 31595 0 -1 4202560 291037 0 1 0 179554 33 0 0 25 0 19 0 826123255 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 46912505842051 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5644/tid=5647] ppid=5642 vsize=13626904 CPUtime=0.01 cores=0,2,4,6
/proc/5644/task/5647/stat : 5647 (java) S 5642 5644 31595 0 -1 4202560 296 0 0 0 1 0 0 0 16 0 19 0 826123257 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5648] ppid=5642 vsize=13626904 CPUtime=0.01 cores=0,2,4,6
/proc/5644/task/5648/stat : 5648 (java) S 5642 5644 31595 0 -1 4202560 354 0 0 0 1 0 0 0 15 0 19 0 826123257 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5649] ppid=5642 vsize=13626904 CPUtime=0.03 cores=0,2,4,6
/proc/5644/task/5649/stat : 5649 (java) S 5642 5644 31595 0 -1 4202560 1047 0 0 0 3 0 0 0 16 0 19 0 826123257 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 0 0 0 0
[pid=5644/tid=5650] ppid=5642 vsize=13626904 CPUtime=0.02 cores=0,2,4,6
/proc/5644/task/5650/stat : 5650 (java) S 5642 5644 31595 0 -1 4202560 115 0 0 0 2 0 0 0 16 0 19 0 826123257 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 6 0 0 0
[pid=5644/tid=5651] ppid=5642 vsize=13626904 CPUtime=0.05 cores=0,2,4,6
/proc/5644/task/5651/stat : 5651 (java) S 5642 5644 31595 0 -1 4202560 1293 0 0 0 5 0 0 0 15 0 19 0 826123257 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5652] ppid=5642 vsize=13626904 CPUtime=0.06 cores=0,2,4,6
/proc/5644/task/5652/stat : 5652 (java) S 5642 5644 31595 0 -1 4202560 2471 0 0 0 6 0 0 0 16 0 19 0 826123257 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 6 0 0 0
[pid=5644/tid=5653] ppid=5642 vsize=13626904 CPUtime=0.07 cores=0,2,4,6
/proc/5644/task/5653/stat : 5653 (java) S 5642 5644 31595 0 -1 4202560 3131 0 0 0 7 0 0 0 15 0 19 0 826123257 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 6 0 0 0
[pid=5644/tid=5654] ppid=5642 vsize=13626904 CPUtime=0.03 cores=0,2,4,6
/proc/5644/task/5654/stat : 5654 (java) S 5642 5644 31595 0 -1 4202560 1422 0 0 0 3 0 0 0 15 0 19 0 826123257 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 0 0 0 0
[pid=5644/tid=5655] ppid=5642 vsize=13626904 CPUtime=2.62 cores=0,2,4,6
/proc/5644/task/5655/stat : 5655 (java) S 5642 5644 31595 0 -1 4202560 13494 0 0 0 260 2 0 0 15 0 19 0 826123258 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290696192 0 0 0 16800975 18446604451310105600 0 0 -1 2 0 0 0
[pid=5644/tid=5656] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5656/stat : 5656 (java) S 5642 5644 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826123258 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5657] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5657/stat : 5657 (java) S 5642 5644 31595 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826123258 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5658] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5658/stat : 5658 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123261 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290703281 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5659] ppid=5642 vsize=13626904 CPUtime=0.62 cores=0,2,4,6
/proc/5644/task/5659/stat : 5659 (java) S 5642 5644 31595 0 -1 4202560 3428 0 0 0 62 0 0 0 15 0 19 0 826123261 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 0 0 0 0
[pid=5644/tid=5660] ppid=5642 vsize=13626904 CPUtime=0.54 cores=0,2,4,6
/proc/5644/task/5660/stat : 5660 (java) S 5642 5644 31595 0 -1 4202560 3704 0 0 0 54 0 0 0 15 0 19 0 826123261 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 2 0 0 0
[pid=5644/tid=5661] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5661/stat : 5661 (java) S 5642 5644 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826123261 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290695577 0 4 0 16800975 18446604451310105600 0 0 -1 4 0 0 0
[pid=5644/tid=5662] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5662/stat : 5662 (java) S 5642 5644 31595 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826123261 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290696192 0 4 0 16800975 18446604451310105600 0 0 -1 0 0 0 0
[pid=5644/tid=5664] ppid=5642 vsize=13626904 CPUtime=0 cores=0,2,4,6
/proc/5644/task/5664/stat : 5664 (java) S 5642 5644 31595 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 826123560 13953949696 318227 33554432000 1073741824 1073778376 140736898618528 18446744073709551615 237290696192 0 4 0 16800975 18446604451310105600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13626904

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

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

[startup+1798.72 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 5771
/proc/meminfo: memFree=27514836/32950904 swapFree=56615552/67111528
[pid=5644] ppid=5642 vsize=0 CPUtime=1800.22 cores=0,2,4,6
/proc/5644/stat : 5644 (java) Z 5642 5644 31595 0 -1 4203548 323082 0 1 0 179980 42 0 0 17 0 2 0 826123254 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5644/statm: 0 0 0 0 0 0 0
[pid=5644/tid=5645] ppid=5642 vsize=0 CPUtime=1795.96 cores=0,2,4,6
/proc/5644/task/5645/stat : 5645 (java) R 5642 5644 31595 0 -1 4203588 291037 0 1 0 179559 37 0 0 25 0 2 0 826123255 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1798.73
CPU time (s): 1800.24
CPU user time (s): 1799.8
CPU system time (s): 0.438933
CPU usage (%): 100.084
Max. virtual memory (cumulated for all children) (KiB): 13628048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.438933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 323082
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37186
involuntary context switches= 8621

runsolver used 7.49486 second user time and 15.4167 second system time

The end

Begin job on node121 at 2011-06-04 01:53:55
IDJOB=3458791
IDBENCH=1968
IDSOLVER=1952
FILE ID=node121/3458791-1307145234
RUNJOBID= node121-1307133745-3291
PBS_JOBID= 13508795
Free space on /tmp= 73936 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458791-1307145234/watcher-3458791-1307145234 -o /tmp/evaluation-result-3458791-1307145234/solver-3458791-1307145234 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458791-1307145234.opb

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

MD5SUM BENCH= ca3282cf347faf21ba3550ec87dd7af4
RANDOM SEED=1839800435

node121.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      29962316 kB
Buffers:        310340 kB
Cached:         458940 kB
SwapCached:       9896 kB
Active:        2318296 kB
Inactive:       410000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      29962316 kB
SwapTotal:    67111528 kB
SwapFree:     56615552 kB
Dirty:           17184 kB
Writeback:           0 kB
AnonPages:     1956276 kB
Mapped:          21364 kB
Slab:           141840 kB
PageTables:      52308 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 96947296 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73920 MiB
End job on node121 at 2011-06-04 02:23:56