0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		9996466904
0.06/0.09	c Max memory 		10048897024
0.06/0.09	c Total memory 		10048897024
0.06/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-3492896-1307911947.wbo
0.10/0.11	c reading problem ... 
1.01/0.54	c ... done. Wall clock time 0.43s.
1.01/0.54	c #vars     30300
1.01/0.54	c #constraints  30501
1.01/0.54	c constraints type 
1.01/0.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 10100
1.01/0.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 100
1.01/0.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10300
1.01/0.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1.69/0.99	c SATISFIABLE
1.69/0.99	c OPTIMIZING...
1.69/0.99	c Got one! Elapsed wall clock time (in seconds):0.878
1.69/0.99	o 1407026
2.54/1.43	c Got one! Elapsed wall clock time (in seconds):1.319
2.54/1.43	o 1137948
92.70/91.53	c cleaning 2492 clauses out of 5002 with flag 5000/5002
216.29/215.04	c cleaning 4246 clauses out of 8510 with flag 11000/11002
362.00/360.79	c cleaning 5621 clauses out of 11264 with flag 18000/18002
479.51/478.27	c cleaning 6813 clauses out of 13645 with flag 26002/26004
658.75/657.44	c cleaning 7910 clauses out of 15830 with flag 35000/35002
802.06/800.76	c cleaning 8953 clauses out of 17923 with flag 45003/45005
971.57/970.27	c cleaning 9978 clauses out of 19969 with flag 56002/56004
1152.47/1151.10	c cleaning 10990 clauses out of 21993 with flag 68004/68006
1339.08/1337.72	c cleaning 11994 clauses out of 23999 with flag 81000/81002
1569.00/1567.69	c cleaning 12980 clauses out of 26005 with flag 95000/95002
1798.31/1796.92	c cleaning 13994 clauses out of 28025 with flag 110000/110002
1800.02/1798.61	c starts		: 93
1800.02/1798.61	c conflicts		: 110310
1800.02/1798.61	c decisions		: 476256
1800.02/1798.61	c propagations		: 492485588
1800.02/1798.61	c inspects		: 534189093
1800.02/1798.61	c shortcuts		: 0
1800.02/1798.61	c learnt literals	: 0
1800.02/1798.61	c learnt binary clauses	: 0
1800.02/1798.61	c learnt ternary clauses	: 0
1800.02/1798.61	c learnt constraints	: 110309
1800.02/1798.61	c ignored constraints	: 0
1800.02/1798.61	c root simplifications	: 0
1800.02/1798.61	c removed literals (reason simplification)	: 8557253
1800.02/1798.61	c reason swapping (by a shorter reason)	: 0
1800.02/1798.61	c Calls to reduceDB	: 11
1800.02/1798.61	c number of reductions to clauses (during analyze)	: 0
1800.02/1798.61	c number of learned constraints concerned by reduction	: 0
1800.02/1798.61	c number of learning phase by resolution	: 0
1800.02/1798.61	c number of learning phase by cutting planes	: 0
1800.02/1798.61	c speed (assignments/second)	: 274034.5566297159
1800.02/1798.61	c non guided choices	491
1800.02/1798.62	c learnt constraints type 
1800.02/1798.62	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14339
1800.02/1798.62	c constraints type 
1800.02/1798.62	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 10100
1800.02/1798.62	c org.sat4j.minisat.constraints.card.MinWatchCard => 100
1800.02/1798.62	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10300
1800.02/1798.62	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
1800.02/1798.62	s SATISFIABLE
1800.02/1798.63	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 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 x10195 -x10196 -x10197 -x10198 -x10199 -x10200 
1800.02/1798.64	c objective function=1137948
1800.02/1798.64	c Total wall clock time (in seconds): 1798.536

OK	1137948

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492896-1307911947/watcher-3492896-1307911947 -o /var/tmp/evaluation-result-3492896-1307911947/solver-3492896-1307911947 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492896-1307911947.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.03 1.99 2/195 32728
/proc/meminfo: memFree=1184888/32950928 swapFree=67051812/67111528
[pid=32728] ppid=32726 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/32728/stat : 32728 (java) R 32726 32728 29668 0 -1 4202496 954 0 0 0 0 0 0 0 25 0 1 0 981425411 23580672 696 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260900431761 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32728/statm: 5757 696 513 9 0 124 0

[startup+0.0725531 s]
/proc/loadavg: 2.05 2.03 1.99 2/195 32728
/proc/meminfo: memFree=1184888/32950928 swapFree=67051812/67111528
[pid=32728] ppid=32726 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/32728/stat : 32728 (java) S 32726 32728 29668 0 -1 4202496 11870 0 1 0 5 1 0 0 25 0 18 0 981425411 10724442112 11565 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32728/statm: 2618272 11566 1754 9 0 2609006 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088

[startup+0.100549 s]
/proc/loadavg: 2.05 2.03 1.99 2/195 32728
/proc/meminfo: memFree=1184888/32950928 swapFree=67051812/67111528
[pid=32728] ppid=32726 vsize=10539488 CPUtime=0.1 cores=1,3,5,7
/proc/32728/stat : 32728 (java) S 32726 32728 29668 0 -1 4202496 13071 0 1 0 9 1 0 0 25 0 18 0 981425411 10792435712 12723 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32728/statm: 2634872 12726 2092 9 0 2625606 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539488

[startup+0.300515 s]
/proc/loadavg: 2.05 2.03 1.99 2/195 32728
/proc/meminfo: memFree=1184888/32950928 swapFree=67051812/67111528
[pid=32728] ppid=32726 vsize=10544108 CPUtime=0.57 cores=1,3,5,7
/proc/32728/stat : 32728 (java) S 32726 32728 29668 0 -1 4202496 20461 0 1 0 55 2 0 0 25 0 18 0 981425411 10797166592 19255 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32728/statm: 2636027 19256 2202 9 0 2626761 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10544108

[startup+0.70044 s]
/proc/loadavg: 2.05 2.03 1.99 2/195 32728
/proc/meminfo: memFree=1184888/32950928 swapFree=67051812/67111528
[pid=32728] ppid=32726 vsize=10545136 CPUtime=1.46 cores=1,3,5,7
/proc/32728/stat : 32728 (java) S 32726 32728 29668 0 -1 4202496 32979 0 1 0 142 4 0 0 25 0 19 0 981425411 10798219264 31314 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32728/statm: 2636284 31314 2229 9 0 2627018 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10545136

[startup+1.50129 s]
/proc/loadavg: 2.05 2.03 1.99 4/214 32748
/proc/meminfo: memFree=1064596/32950928 swapFree=67051812/67111528
[pid=32728] ppid=32726 vsize=10545700 CPUtime=2.68 cores=1,3,5,7
/proc/32728/stat : 32728 (java) S 32726 32728 29668 0 -1 4202496 38047 0 1 0 263 5 0 0 25 0 19 0 981425411 10798796800 35561 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32728/statm: 2636425 35561 2237 9 0 2627159 0
[pid=32728/tid=32730] ppid=32726 vsize=10545700 CPUtime=1.49 cores=1,3,5,7
/proc/32728/task/32730/stat : 32730 (java) R 32726 32728 29668 0 -1 4202560 30663 0 1 0 145 4 0 0 25 0 19 0 981425412 10798796800 35561 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 46912506097613 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32728/tid=32731] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32731/stat : 32731 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35561 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32732] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32732/stat : 32732 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35561 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32733] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32733/stat : 32733 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35561 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32734] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32734/stat : 32734 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35561 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32735] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32735/stat : 32735 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35561 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32736] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32736/stat : 32736 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35561 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32737] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32737/stat : 32737 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35561 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32738] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32738/stat : 32738 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35561 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32739] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32739/stat : 32739 (java) S 32726 32728 29668 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 19 0 981425415 10798796800 35561 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210624 0 0 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32740] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32740/stat : 32740 (java) S 32726 32728 29668 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 981425415 10798796800 35561 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32741] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32741/stat : 32741 (java) S 32726 32728 29668 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981425415 10798796800 35561 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32742] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32742/stat : 32742 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425417 10798796800 35561 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917217713 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32743] ppid=32726 vsize=10545700 CPUtime=0.64 cores=1,3,5,7
/proc/32728/task/32743/stat : 32743 (java) S 32726 32728 29668 0 -1 4202560 3525 0 0 0 64 0 0 0 21 0 19 0 981425417 10798796800 35561 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32744] ppid=32726 vsize=10545700 CPUtime=0.53 cores=1,3,5,7
/proc/32728/task/32744/stat : 32744 (java) S 32726 32728 29668 0 -1 4202560 2696 0 0 0 53 0 0 0 20 0 19 0 981425417 10798796800 35561 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32745] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32745/stat : 32745 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425417 10798796800 35561 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32746] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32746/stat : 32746 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981425417 10798796800 35561 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32747] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32747/stat : 32747 (java) S 32726 32728 29668 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981425472 10798796800 35561 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 10545700

[startup+3.101 s]
/proc/loadavg: 2.05 2.03 1.99 4/214 32748
/proc/meminfo: memFree=1049964/32950928 swapFree=67051812/67111528
[pid=32728] ppid=32726 vsize=10545700 CPUtime=4.29 cores=1,3,5,7
/proc/32728/stat : 32728 (java) S 32726 32728 29668 0 -1 4202496 38228 0 1 0 424 5 0 0 25 0 19 0 981425411 10798796800 35741 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32728/statm: 2636425 35741 2237 9 0 2627159 0
[pid=32728/tid=32730] ppid=32726 vsize=10545700 CPUtime=3.09 cores=1,3,5,7
/proc/32728/task/32730/stat : 32730 (java) R 32726 32728 29668 0 -1 4202560 30842 0 1 0 305 4 0 0 19 0 19 0 981425412 10798796800 35741 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 46912505879500 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32728/tid=32731] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32731/stat : 32731 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35741 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32732] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32732/stat : 32732 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35741 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32733] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32733/stat : 32733 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35741 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32734] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32734/stat : 32734 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35741 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32735] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32735/stat : 32735 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35741 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32736] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32736/stat : 32736 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35741 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32737] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32737/stat : 32737 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35741 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32738] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32738/stat : 32738 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35741 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32739] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32739/stat : 32739 (java) S 32726 32728 29668 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 981425415 10798796800 35741 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210624 0 0 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32740] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32740/stat : 32740 (java) S 32726 32728 29668 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 981425415 10798796800 35741 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32741] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32741/stat : 32741 (java) S 32726 32728 29668 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981425415 10798796800 35741 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32742] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32742/stat : 32742 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425417 10798796800 35741 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917217713 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32743] ppid=32726 vsize=10545700 CPUtime=0.65 cores=1,3,5,7
/proc/32728/task/32743/stat : 32743 (java) S 32726 32728 29668 0 -1 4202560 3526 0 0 0 65 0 0 0 15 0 19 0 981425417 10798796800 35741 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32744] ppid=32726 vsize=10545700 CPUtime=0.53 cores=1,3,5,7
/proc/32728/task/32744/stat : 32744 (java) S 32726 32728 29668 0 -1 4202560 2697 0 0 0 53 0 0 0 16 0 19 0 981425417 10798796800 35741 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32745] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32745/stat : 32745 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425417 10798796800 35741 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32746] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32746/stat : 32746 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981425417 10798796800 35741 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32747] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32747/stat : 32747 (java) S 32726 32728 29668 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981425472 10798796800 35741 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 10545700

[startup+6.30141 s]
/proc/loadavg: 2.04 2.03 1.99 3/214 32748
/proc/meminfo: memFree=1049628/32950928 swapFree=67051812/67111528
[pid=32728] ppid=32726 vsize=10545700 CPUtime=7.49 cores=1,3,5,7
/proc/32728/stat : 32728 (java) S 32726 32728 29668 0 -1 4202496 38241 0 1 0 744 5 0 0 25 0 19 0 981425411 10798796800 35753 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32728/statm: 2636425 35753 2237 9 0 2627159 0
[pid=32728/tid=32730] ppid=32726 vsize=10545700 CPUtime=6.29 cores=1,3,5,7
/proc/32728/task/32730/stat : 32730 (java) R 32726 32728 29668 0 -1 4202560 30855 0 1 0 625 4 0 0 25 0 19 0 981425412 10798796800 35753 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 46912506142400 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32728/tid=32731] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32731/stat : 32731 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35753 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32732] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32732/stat : 32732 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35753 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32733] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32733/stat : 32733 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35753 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32734] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32734/stat : 32734 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35753 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32735] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32735/stat : 32735 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35753 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32736] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32736/stat : 32736 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35753 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32737] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32737/stat : 32737 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35753 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32738] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32738/stat : 32738 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425414 10798796800 35753 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32739] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32739/stat : 32739 (java) S 32726 32728 29668 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 981425415 10798796800 35753 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210624 0 0 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32740] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32740/stat : 32740 (java) S 32726 32728 29668 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 981425415 10798796800 35753 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32741] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32741/stat : 32741 (java) S 32726 32728 29668 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981425415 10798796800 35753 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32742] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32742/stat : 32742 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425417 10798796800 35753 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917217713 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32743] ppid=32726 vsize=10545700 CPUtime=0.65 cores=1,3,5,7
/proc/32728/task/32743/stat : 32743 (java) S 32726 32728 29668 0 -1 4202560 3526 0 0 0 65 0 0 0 15 0 19 0 981425417 10798796800 35753 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32744] ppid=32726 vsize=10545700 CPUtime=0.53 cores=1,3,5,7
/proc/32728/task/32744/stat : 32744 (java) S 32726 32728 29668 0 -1 4202560 2697 0 0 0 53 0 0 0 16 0 19 0 981425417 10798796800 35753 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32745] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32745/stat : 32745 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425417 10798796800 35753 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32746] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32746/stat : 32746 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981425417 10798796800 35753 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32747] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32747/stat : 32747 (java) S 32726 32728 29668 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981425472 10798796800 35753 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.49
Current children cumulated vsize (KiB) 10545700

[startup+12.7012 s]

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

[pid=32728/tid=32736] ppid=32726 vsize=10545700 CPUtime=0.01 cores=1,3,5,7
/proc/32728/task/32736/stat : 32736 (java) S 32726 32728 29668 0 -1 4202560 844 0 0 0 1 0 0 0 15 0 19 0 981425414 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32737] ppid=32726 vsize=10545700 CPUtime=0.01 cores=1,3,5,7
/proc/32728/task/32737/stat : 32737 (java) S 32726 32728 29668 0 -1 4202560 1029 0 0 0 1 0 0 0 15 0 19 0 981425414 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32738] ppid=32726 vsize=10545700 CPUtime=0.02 cores=1,3,5,7
/proc/32728/task/32738/stat : 32738 (java) S 32726 32728 29668 0 -1 4202560 1367 0 0 0 2 0 0 0 15 0 19 0 981425414 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
[pid=32728/tid=32739] ppid=32726 vsize=10545700 CPUtime=0.4 cores=1,3,5,7
/proc/32728/task/32739/stat : 32739 (java) S 32726 32728 29668 0 -1 4202560 4672 0 0 0 40 0 0 0 15 0 19 0 981425415 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210624 0 0 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32740] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32740/stat : 32740 (java) S 32726 32728 29668 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981425415 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32741] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32741/stat : 32741 (java) S 32726 32728 29668 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981425415 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32742] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32742/stat : 32742 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425417 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917217713 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32743] ppid=32726 vsize=10545700 CPUtime=0.69 cores=1,3,5,7
/proc/32728/task/32743/stat : 32743 (java) S 32726 32728 29668 0 -1 4202560 3553 0 0 0 69 0 0 0 15 0 19 0 981425417 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32744] ppid=32726 vsize=10545700 CPUtime=0.6 cores=1,3,5,7
/proc/32728/task/32744/stat : 32744 (java) S 32726 32728 29668 0 -1 4202560 2717 0 0 0 60 0 0 0 15 0 19 0 981425417 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32745] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32745/stat : 32745 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425417 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32746] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32746/stat : 32746 (java) S 32726 32728 29668 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 981425417 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32747] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32747/stat : 32747 (java) S 32726 32728 29668 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981425472 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1663.71
Current children cumulated vsize (KiB) 10545700

[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/214 402
/proc/meminfo: memFree=1050636/32950928 swapFree=67051812/67111528
[pid=32728] ppid=32726 vsize=10545700 CPUtime=1723.71 cores=1,3,5,7
/proc/32728/stat : 32728 (java) S 32726 32728 29668 0 -1 4202496 47807 0 1 0 172365 6 0 0 25 0 19 0 981425411 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32728/statm: 2636425 45171 2263 9 0 2627159 0
[pid=32728/tid=32730] ppid=32726 vsize=10545700 CPUtime=1721.89 cores=1,3,5,7
/proc/32728/task/32730/stat : 32730 (java) R 32726 32728 29668 0 -1 4202560 31278 0 1 0 172185 4 0 0 25 0 19 0 981425412 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 46912506073716 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32728/tid=32731] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32731/stat : 32731 (java) S 32726 32728 29668 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981425414 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32732] ppid=32726 vsize=10545700 CPUtime=0.01 cores=1,3,5,7
/proc/32728/task/32732/stat : 32732 (java) S 32726 32728 29668 0 -1 4202560 197 0 0 0 1 0 0 0 15 0 19 0 981425414 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32733] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32733/stat : 32733 (java) S 32726 32728 29668 0 -1 4202560 208 0 0 0 0 0 0 0 16 0 19 0 981425414 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32734] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32734/stat : 32734 (java) S 32726 32728 29668 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 981425414 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32735] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32735/stat : 32735 (java) S 32726 32728 29668 0 -1 4202560 597 0 0 0 0 0 0 0 15 0 19 0 981425414 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32736] ppid=32726 vsize=10545700 CPUtime=0.01 cores=1,3,5,7
/proc/32728/task/32736/stat : 32736 (java) S 32726 32728 29668 0 -1 4202560 844 0 0 0 1 0 0 0 15 0 19 0 981425414 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32737] ppid=32726 vsize=10545700 CPUtime=0.01 cores=1,3,5,7
/proc/32728/task/32737/stat : 32737 (java) S 32726 32728 29668 0 -1 4202560 1029 0 0 0 1 0 0 0 15 0 19 0 981425414 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32738] ppid=32726 vsize=10545700 CPUtime=0.02 cores=1,3,5,7
/proc/32728/task/32738/stat : 32738 (java) S 32726 32728 29668 0 -1 4202560 1367 0 0 0 2 0 0 0 15 0 19 0 981425414 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
[pid=32728/tid=32739] ppid=32726 vsize=10545700 CPUtime=0.4 cores=1,3,5,7
/proc/32728/task/32739/stat : 32739 (java) S 32726 32728 29668 0 -1 4202560 4672 0 0 0 40 0 0 0 15 0 19 0 981425415 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210624 0 0 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32740] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32740/stat : 32740 (java) S 32726 32728 29668 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981425415 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32741] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32741/stat : 32741 (java) S 32726 32728 29668 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981425415 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32742] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32742/stat : 32742 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425417 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917217713 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32743] ppid=32726 vsize=10545700 CPUtime=0.69 cores=1,3,5,7
/proc/32728/task/32743/stat : 32743 (java) S 32726 32728 29668 0 -1 4202560 3553 0 0 0 69 0 0 0 15 0 19 0 981425417 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32744] ppid=32726 vsize=10545700 CPUtime=0.6 cores=1,3,5,7
/proc/32728/task/32744/stat : 32744 (java) S 32726 32728 29668 0 -1 4202560 2717 0 0 0 60 0 0 0 15 0 19 0 981425417 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32745] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32745/stat : 32745 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425417 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32746] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32746/stat : 32746 (java) S 32726 32728 29668 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 981425417 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32747] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32747/stat : 32747 (java) S 32726 32728 29668 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981425472 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1723.71
Current children cumulated vsize (KiB) 10545700

[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/214 404
/proc/meminfo: memFree=1049960/32950928 swapFree=67051812/67111528
[pid=32728] ppid=32726 vsize=10545700 CPUtime=1783.71 cores=1,3,5,7
/proc/32728/stat : 32728 (java) S 32726 32728 29668 0 -1 4202496 47811 0 1 0 178365 6 0 0 25 0 19 0 981425411 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32728/statm: 2636425 45171 2263 9 0 2627159 0
[pid=32728/tid=32730] ppid=32726 vsize=10545700 CPUtime=1781.9 cores=1,3,5,7
/proc/32728/task/32730/stat : 32730 (java) R 32726 32728 29668 0 -1 4202560 31278 0 1 0 178186 4 0 0 25 0 19 0 981425412 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 46912506142400 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32728/tid=32731] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32731/stat : 32731 (java) S 32726 32728 29668 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981425414 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32732] ppid=32726 vsize=10545700 CPUtime=0.01 cores=1,3,5,7
/proc/32728/task/32732/stat : 32732 (java) S 32726 32728 29668 0 -1 4202560 197 0 0 0 1 0 0 0 15 0 19 0 981425414 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32733] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32733/stat : 32733 (java) S 32726 32728 29668 0 -1 4202560 208 0 0 0 0 0 0 0 16 0 19 0 981425414 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32734] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32734/stat : 32734 (java) S 32726 32728 29668 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 981425414 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32735] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32735/stat : 32735 (java) S 32726 32728 29668 0 -1 4202560 597 0 0 0 0 0 0 0 15 0 19 0 981425414 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32736] ppid=32726 vsize=10545700 CPUtime=0.01 cores=1,3,5,7
/proc/32728/task/32736/stat : 32736 (java) S 32726 32728 29668 0 -1 4202560 844 0 0 0 1 0 0 0 15 0 19 0 981425414 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32737] ppid=32726 vsize=10545700 CPUtime=0.01 cores=1,3,5,7
/proc/32728/task/32737/stat : 32737 (java) S 32726 32728 29668 0 -1 4202560 1029 0 0 0 1 0 0 0 15 0 19 0 981425414 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32738] ppid=32726 vsize=10545700 CPUtime=0.02 cores=1,3,5,7
/proc/32728/task/32738/stat : 32738 (java) S 32726 32728 29668 0 -1 4202560 1367 0 0 0 2 0 0 0 15 0 19 0 981425414 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
[pid=32728/tid=32739] ppid=32726 vsize=10545700 CPUtime=0.4 cores=1,3,5,7
/proc/32728/task/32739/stat : 32739 (java) S 32726 32728 29668 0 -1 4202560 4672 0 0 0 40 0 0 0 15 0 19 0 981425415 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210624 0 0 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32740] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32740/stat : 32740 (java) S 32726 32728 29668 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981425415 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32741] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32741/stat : 32741 (java) S 32726 32728 29668 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981425415 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32742] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32742/stat : 32742 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425417 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917217713 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32743] ppid=32726 vsize=10545700 CPUtime=0.69 cores=1,3,5,7
/proc/32728/task/32743/stat : 32743 (java) S 32726 32728 29668 0 -1 4202560 3553 0 0 0 69 0 0 0 15 0 19 0 981425417 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32744] ppid=32726 vsize=10545700 CPUtime=0.6 cores=1,3,5,7
/proc/32728/task/32744/stat : 32744 (java) S 32726 32728 29668 0 -1 4202560 2717 0 0 0 60 0 0 0 15 0 19 0 981425417 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32745] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32745/stat : 32745 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425417 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32746] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32746/stat : 32746 (java) S 32726 32728 29668 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 981425417 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32747] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32747/stat : 32747 (java) S 32726 32728 29668 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981425472 10798796800 45171 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1783.71
Current children cumulated vsize (KiB) 10545700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.6 s]
/proc/loadavg: 1.99 2.00 1.99 3/214 404
/proc/meminfo: memFree=1049316/32950928 swapFree=67051812/67111528
[pid=32728] ppid=32726 vsize=10545700 CPUtime=1800.02 cores=1,3,5,7
/proc/32728/stat : 32728 (java) S 32726 32728 29668 0 -1 4202496 47973 0 1 0 179996 6 0 0 25 0 19 0 981425411 10798796800 45330 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/32728/statm: 2636425 45330 2263 9 0 2627159 0
[pid=32728/tid=32730] ppid=32726 vsize=10545700 CPUtime=1798.16 cores=1,3,5,7
/proc/32728/task/32730/stat : 32730 (java) R 32726 32728 29668 0 -1 4202560 31279 0 1 0 179812 4 0 0 25 0 19 0 981425412 10798796800 45330 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 46912505879250 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32728/tid=32731] ppid=32726 vsize=10545700 CPUtime=0.01 cores=1,3,5,7
/proc/32728/task/32731/stat : 32731 (java) S 32726 32728 29668 0 -1 4202560 5 0 0 0 1 0 0 0 16 0 19 0 981425414 10798796800 45330 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32732] ppid=32726 vsize=10545700 CPUtime=0.01 cores=1,3,5,7
/proc/32728/task/32732/stat : 32732 (java) S 32726 32728 29668 0 -1 4202560 198 0 0 0 1 0 0 0 16 0 19 0 981425414 10798796800 45330 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32733] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32733/stat : 32733 (java) S 32726 32728 29668 0 -1 4202560 209 0 0 0 0 0 0 0 15 0 19 0 981425414 10798796800 45330 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
[pid=32728/tid=32734] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32734/stat : 32734 (java) S 32726 32728 29668 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 981425414 10798796800 45330 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32735] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32735/stat : 32735 (java) S 32726 32728 29668 0 -1 4202560 597 0 0 0 0 0 0 0 15 0 19 0 981425414 10798796800 45330 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32736] ppid=32726 vsize=10545700 CPUtime=0.01 cores=1,3,5,7
/proc/32728/task/32736/stat : 32736 (java) S 32726 32728 29668 0 -1 4202560 844 0 0 0 1 0 0 0 15 0 19 0 981425414 10798796800 45330 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32737] ppid=32726 vsize=10545700 CPUtime=0.01 cores=1,3,5,7
/proc/32728/task/32737/stat : 32737 (java) S 32726 32728 29668 0 -1 4202560 1029 0 0 0 1 0 0 0 15 0 19 0 981425414 10798796800 45330 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32738] ppid=32726 vsize=10545700 CPUtime=0.02 cores=1,3,5,7
/proc/32728/task/32738/stat : 32738 (java) S 32726 32728 29668 0 -1 4202560 1367 0 0 0 2 0 0 0 16 0 19 0 981425414 10798796800 45330 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
[pid=32728/tid=32739] ppid=32726 vsize=10545700 CPUtime=0.44 cores=1,3,5,7
/proc/32728/task/32739/stat : 32739 (java) S 32726 32728 29668 0 -1 4202560 4831 0 0 0 44 0 0 0 15 0 19 0 981425415 10798796800 45330 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210624 0 0 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32740] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32740/stat : 32740 (java) S 32726 32728 29668 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981425415 10798796800 45330 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32741] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32741/stat : 32741 (java) S 32726 32728 29668 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981425415 10798796800 45330 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32742] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32742/stat : 32742 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425417 10798796800 45330 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917217713 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32743] ppid=32726 vsize=10545700 CPUtime=0.69 cores=1,3,5,7
/proc/32728/task/32743/stat : 32743 (java) S 32726 32728 29668 0 -1 4202560 3553 0 0 0 69 0 0 0 15 0 19 0 981425417 10798796800 45330 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32744] ppid=32726 vsize=10545700 CPUtime=0.6 cores=1,3,5,7
/proc/32728/task/32744/stat : 32744 (java) S 32726 32728 29668 0 -1 4202560 2717 0 0 0 60 0 0 0 15 0 19 0 981425417 10798796800 45330 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=32728/tid=32745] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32745/stat : 32745 (java) S 32726 32728 29668 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981425417 10798796800 45330 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=32728/tid=32746] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32746/stat : 32746 (java) S 32726 32728 29668 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 981425417 10798796800 45330 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=32728/tid=32747] ppid=32726 vsize=10545700 CPUtime=0 cores=1,3,5,7
/proc/32728/task/32747/stat : 32747 (java) S 32726 32728 29668 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981425472 10798796800 45330 33554432000 1073741824 1073778376 140736200178416 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10545700

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

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

Child status: 143
Real time (s): 1798.67
CPU time (s): 1800.16
CPU user time (s): 1800.09
CPU system time (s): 0.076988
CPU usage (%): 100.083
Max. virtual memory (cumulated for all children) (KiB): 10545700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.09
system time used= 0.076988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48151
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= 37033
involuntary context switches= 7764

runsolver used 2.79957 second user time and 6.06608 second system time

The end

Begin job on node116 at 2011-06-12 22:52:27
IDJOB=3492896
IDBENCH=79504
IDSOLVER=1982
FILE ID=node116/3492896-1307911947
RUNJOBID= node116-1307908929-32026
PBS_JOBID= 13559589
Free space on /var/tmp= 2884 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/warehouse/normalized-capmo4_wcsp.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492896-1307911947/watcher-3492896-1307911947 -o /var/tmp/evaluation-result-3492896-1307911947/solver-3492896-1307911947 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492896-1307911947.wbo

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

MD5SUM BENCH= 4acc3a5419b938688cb78ca12bf017b9
RANDOM SEED=1969861832

node116.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.826
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.65
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.826
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.15
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.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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.826
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:     32950928 kB
MemFree:       1185184 kB
Buffers:         65408 kB
Cached:       30578244 kB
SwapCached:      12792 kB
Active:       16200404 kB
Inactive:     14613348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1185184 kB
SwapTotal:    67111528 kB
SwapFree:     67051812 kB
Dirty:             840 kB
Writeback:           0 kB
AnonPages:      167948 kB
Mapped:          17556 kB
Slab:           888488 kB
PageTables:       4952 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 10561268 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 /var/tmp at the end= 2884 MiB
End job on node116 at 2011-06-12 23:22:28