0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/0.08	c Number of processors 8
0.09/0.11	--- Begin Solver configuration ---
0.09/0.11	c Stops conflict analysis at the first Unique Implication Point
0.09/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.09/0.11	c No reason simplification
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3744446-1338801145.opb
0.09/0.11	c reading problem ... 
1.31/0.64	c ... done. Wall clock time 0.535s.
1.31/0.64	c CPU time (experimental) 0.61s.
1.31/0.64	c #vars     9940
1.31/0.64	c #constraints  24508
12.37/10.83	c SATISFIABLE
12.37/10.83	c OPTIMIZING...
12.37/10.83	c Got one! Elapsed wall clock time (in seconds):10.725
12.37/10.88	o 125990951
323.23/319.14	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
323.23/319.14		at org.sat4j.minisat.constraints.cnf.WLClause.<init>(Unknown Source)
323.72/319.67		at org.sat4j.minisat.constraints.cnf.LearntWLClause.<init>(Unknown Source)
323.72/319.67		at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(Unknown Source)
325.02/320.95		at org.sat4j.minisat.core.Solver.analyze(Unknown Source)
325.02/320.95		at org.sat4j.minisat.core.Solver.search(Unknown Source)
325.52/321.44		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
326.02/321.94		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
326.02/321.94		at org.sat4j.tools.SolverDecorator.isSatisfiable(Unknown Source)
327.02/322.93		at org.sat4j.opt.PseudoOptDecorator.admitABetterSolution(Unknown Source)
327.02/322.93		at org.sat4j.AbstractOptimizationLauncher.solve(Unknown Source)
327.53/323.43		at org.sat4j.LanceurPseudo2005.solve(Unknown Source)
328.02/323.92		at org.sat4j.AbstractLauncher.run(Unknown Source)
328.02/323.92		at org.sat4j.LanceurPseudo2007.main(Unknown Source)
331.92/327.89	c starts		: 30
331.92/327.89	c conflicts		: 462290
331.92/327.89	c decisions		: 495464
331.92/327.89	c propagations		: 48775232
331.92/327.89	c inspects		: 307000405
331.92/327.89	c learnt literals	: 0
331.92/327.89	c learnt binary clauses	: 0
331.92/327.89	c learnt ternary clauses	: 31
331.92/327.89	c learnt clauses	: 462289
331.92/327.89	c root simplifications	: 0
331.92/327.89	c removed literals (reason simplification)	: 0
331.92/327.89	c reason swapping (by a shorter reason)	: 0
331.92/327.89	c Calls to reduceDB	: 0
331.92/327.89	c speed (decisions/second)	: 1563.2146192483403
331.92/327.89	c non guided choices	24
331.92/327.89	s SATISFIABLE
353.13/349.04	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 
416.85/412.73	c objective function=125990951
416.85/412.73	c Total wall clock time (ms): 412.627

OK	125990951

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744446-1338801145/watcher-3744446-1338801145 -o /tmp/evaluation-result-3744446-1338801145/solver-3744446-1338801145 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744446-1338801145.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 10717
/proc/meminfo: memFree=26909076/32873844 swapFree=7112/7112
[pid=10717] ppid=10715 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/10717/stat : 10717 (java) R 10715 10717 8924 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 346240203 9515008 183 33554432000 1073741824 1073778376 140734664721312 140734664712344 272886480565 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10717/statm: 2323 183 140 9 0 71 0

[startup+0.104395 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 10717
/proc/meminfo: memFree=26909076/32873844 swapFree=7112/7112
[pid=10717] ppid=10715 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/10717/stat : 10717 (java) S 10715 10717 8924 0 -1 4202496 4909 0 1 0 8 1 0 0 20 0 18 0 346240203 3028844544 6619 33554432000 1073741824 1073778376 140734143453856 140734143444992 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10717/statm: 739464 6619 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.200255 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 10717
/proc/meminfo: memFree=26909076/32873844 swapFree=7112/7112
[pid=10717] ppid=10715 vsize=2957856 CPUtime=0.28 cores=0,2,4,6
/proc/10717/stat : 10717 (java) S 10715 10717 8924 0 -1 4202496 5529 0 1 0 26 2 0 0 20 0 18 0 346240203 3028844544 8125 33554432000 1073741824 1073778376 140734143453856 140734143444992 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10717/statm: 739464 8125 2229 9 0 729885 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 2957856

[startup+0.300263 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 10717
/proc/meminfo: memFree=26909076/32873844 swapFree=7112/7112
[pid=10717] ppid=10715 vsize=2957856 CPUtime=0.47 cores=0,2,4,6
/proc/10717/stat : 10717 (java) S 10715 10717 8924 0 -1 4202496 5859 0 1 0 45 2 0 0 20 0 18 0 346240203 3028844544 10284 33554432000 1073741824 1073778376 140734143453856 140734143444992 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10717/statm: 739464 10281 2240 9 0 729885 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2957856

[startup+0.700228 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 10717
/proc/meminfo: memFree=26909076/32873844 swapFree=7112/7112
[pid=10717] ppid=10715 vsize=2957856 CPUtime=1.59 cores=0,2,4,6
/proc/10717/stat : 10717 (java) S 10715 10717 8924 0 -1 4202496 14973 0 1 0 153 6 0 0 20 0 18 0 346240203 3028844544 30884 33554432000 1073741824 1073778376 140734143453856 140734143444992 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10717/statm: 739464 30884 2274 9 0 729885 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 2957856

[startup+1.5007 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 10736
/proc/meminfo: memFree=26729568/32873844 swapFree=7112/7112
[pid=10717] ppid=10715 vsize=3024420 CPUtime=2.73 cores=0,2,4,6
/proc/10717/stat : 10717 (java) S 10715 10717 8924 0 -1 4202496 16842 0 1 0 265 8 0 0 20 0 19 0 346240203 3097006080 67312 33554432000 1073741824 1073778376 140734143453856 140734143444992 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10717/statm: 756105 67312 2280 9 0 746526 0
[pid=10717/tid=10719] ppid=10715 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/10717/task/10719/stat : 10719 (java) R 10715 10717 8924 0 -1 4202560 3136 0 1 0 141 5 0 0 20 0 19 0 346240204 3097006080 67312 33554432000 1073741824 1073778376 140734143453856 140585267425928 140585101783988 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10717/tid=10720] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10720/stat : 10720 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346240205 3097006080 67312 33554432000 1073741824 1073778376 140734143453856 140585250851240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10721] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10721/stat : 10721 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346240205 3097006080 67312 33554432000 1073741824 1073778376 140734143453856 140585249798696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10722] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10722/stat : 10722 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346240205 3097006080 67312 33554432000 1073741824 1073778376 140734143453856 140585248745640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10717/tid=10723] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10723/stat : 10723 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346240205 3097006080 67312 33554432000 1073741824 1073778376 140734143453856 140585247693096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10717/tid=10724] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10724/stat : 10724 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346240205 3097006080 67312 33554432000 1073741824 1073778376 140734143453856 140585246641064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10725] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10725/stat : 10725 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346240205 3097006080 67312 33554432000 1073741824 1073778376 140734143453856 140585245588520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10717/tid=10726] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10726/stat : 10726 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346240205 3097006080 67312 33554432000 1073741824 1073778376 140734143453856 140585244535464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10717/tid=10727] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10727/stat : 10727 (java) S 10715 10717 8924 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346240205 3097006080 67312 33554432000 1073741824 1073778376 140734143453856 140585243482920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10728] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10728/stat : 10728 (java) S 10715 10717 8924 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 346240207 3097006080 67312 33554432000 1073741824 1073778376 140734143453856 140585231071592 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10729] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10729/stat : 10729 (java) S 10715 10717 8924 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346240207 3097006080 67312 33554432000 1073741824 1073778376 140734143453856 140585230017912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10730] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10730/stat : 10730 (java) S 10715 10717 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346240207 3097006080 67312 33554432000 1073741824 1073778376 140734143453856 140585228964744 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10731] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10731/stat : 10731 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346240209 3097006080 67312 33554432000 1073741824 1073778376 140734143453856 140585227913488 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10732] ppid=10715 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/10717/task/10732/stat : 10732 (java) S 10715 10717 8924 0 -1 4202560 5848 0 0 0 57 2 0 0 20 0 19 0 346240210 3097006080 67312 33554432000 1073741824 1073778376 140734143453856 140585226861368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10733] ppid=10715 vsize=3024420 CPUtime=0.66 cores=0,2,4,6
/proc/10717/task/10733/stat : 10733 (java) S 10715 10717 8924 0 -1 4202560 6657 0 0 0 64 2 0 0 20 0 19 0 346240210 3097006080 67312 33554432000 1073741824 1073778376 140734143453856 140585225808824 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10734] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10734/stat : 10734 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346240210 3097006080 67312 33554432000 1073741824 1073778376 140734143453856 140585224755960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10735] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10735/stat : 10735 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346240210 3097006080 67312 33554432000 1073741824 1073778376 140734143453856 140585223703624 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10736] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10736/stat : 10736 (java) S 10715 10717 8924 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 346240278 3097006080 67312 33554432000 1073741824 1073778376 140734143453856 140585221501992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 3024420

[startup+3.10071 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 10736
/proc/meminfo: memFree=26480892/32873844 swapFree=7112/7112
[pid=10717] ppid=10715 vsize=3024420 CPUtime=4.36 cores=0,2,4,6
/proc/10717/stat : 10717 (java) S 10715 10717 8924 0 -1 4202496 16977 0 1 0 425 11 0 0 20 0 19 0 346240203 3097006080 117509 33554432000 1073741824 1073778376 140734143453856 140734143444992 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10717/statm: 756105 117509 2293 9 0 746526 0
[pid=10717/tid=10719] ppid=10715 vsize=3024420 CPUtime=3.04 cores=0,2,4,6
/proc/10717/task/10719/stat : 10719 (java) R 10715 10717 8924 0 -1 4202560 3232 0 1 0 297 7 0 0 20 0 19 0 346240204 3097006080 117509 33554432000 1073741824 1073778376 140734143453856 140585267424680 140585101850649 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10717/tid=10720] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10720/stat : 10720 (java) S 10715 10717 8924 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 346240205 3097006080 117509 33554432000 1073741824 1073778376 140734143453856 140585250851240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10721] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10721/stat : 10721 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346240205 3097006080 117509 33554432000 1073741824 1073778376 140734143453856 140585249798696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10717/tid=10722] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10722/stat : 10722 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346240205 3097006080 117509 33554432000 1073741824 1073778376 140734143453856 140585248745640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10717/tid=10723] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10723/stat : 10723 (java) S 10715 10717 8924 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 346240205 3097006080 117509 33554432000 1073741824 1073778376 140734143453856 140585247693096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10717/tid=10724] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10724/stat : 10724 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346240205 3097006080 117509 33554432000 1073741824 1073778376 140734143453856 140585246641064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10725] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10725/stat : 10725 (java) S 10715 10717 8924 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346240205 3097006080 117509 33554432000 1073741824 1073778376 140734143453856 140585245588520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10726] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10726/stat : 10726 (java) S 10715 10717 8924 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346240205 3097006080 117509 33554432000 1073741824 1073778376 140734143453856 140585244535464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10717/tid=10727] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10727/stat : 10727 (java) S 10715 10717 8924 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346240205 3097006080 117509 33554432000 1073741824 1073778376 140734143453856 140585243482920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10728] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10728/stat : 10728 (java) S 10715 10717 8924 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346240207 3097006080 117509 33554432000 1073741824 1073778376 140734143453856 140585231071592 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10717/tid=10729] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10729/stat : 10729 (java) S 10715 10717 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346240207 3097006080 117509 33554432000 1073741824 1073778376 140734143453856 140585230017912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10730] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10730/stat : 10730 (java) S 10715 10717 8924 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346240207 3097006080 117509 33554432000 1073741824 1073778376 140734143453856 140585228964744 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10731] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10731/stat : 10731 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346240209 3097006080 117509 33554432000 1073741824 1073778376 140734143453856 140585227913488 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10732] ppid=10715 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/10717/task/10732/stat : 10732 (java) S 10715 10717 8924 0 -1 4202560 5848 0 0 0 57 2 0 0 20 0 19 0 346240210 3097006080 117509 33554432000 1073741824 1073778376 140734143453856 140585226861368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10733] ppid=10715 vsize=3024420 CPUtime=0.66 cores=0,2,4,6
/proc/10717/task/10733/stat : 10733 (java) S 10715 10717 8924 0 -1 4202560 6657 0 0 0 64 2 0 0 20 0 19 0 346240210 3097006080 117509 33554432000 1073741824 1073778376 140734143453856 140585225808824 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10734] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10734/stat : 10734 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346240210 3097006080 117509 33554432000 1073741824 1073778376 140734143453856 140585224755960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10735] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10735/stat : 10735 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346240210 3097006080 117509 33554432000 1073741824 1073778376 140734143453856 140585223703624 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10736] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10736/stat : 10736 (java) S 10715 10717 8924 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 346240278 3097006080 117509 33554432000 1073741824 1073778376 140734143453856 140585221501992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 3024420

[startup+6.30072 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 10736
/proc/meminfo: memFree=26416536/32873844 swapFree=7112/7112
[pid=10717] ppid=10715 vsize=3024420 CPUtime=7.7 cores=0,2,4,6
/proc/10717/stat : 10717 (java) S 10715 10717 8924 0 -1 4202496 17059 0 1 0 753 17 0 0 20 0 19 0 346240203 3097006080 126723 33554432000 1073741824 1073778376 140734143453856 140734143444992 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10717/statm: 756105 126723 2293 9 0 746526 0
[pid=10717/tid=10719] ppid=10715 vsize=3024420 CPUtime=6.18 cores=0,2,4,6
/proc/10717/task/10719/stat : 10719 (java) R 10715 10717 8924 0 -1 4202560 3236 0 1 0 611 7 0 0 20 0 19 0 346240204 3097006080 126723 33554432000 1073741824 1073778376 140734143453856 140585267424544 140585101826672 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10717/tid=10720] ppid=10715 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/10717/task/10720/stat : 10720 (java) S 10715 10717 8924 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 346240205 3097006080 126723 33554432000 1073741824 1073778376 140734143453856 140585250851240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10721] ppid=10715 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/10717/task/10721/stat : 10721 (java) S 10715 10717 8924 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 346240205 3097006080 126723 33554432000 1073741824 1073778376 140734143453856 140585249798696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10717/tid=10722] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10722/stat : 10722 (java) S 10715 10717 8924 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346240205 3097006080 126723 33554432000 1073741824 1073778376 140734143453856 140585248745640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10723] ppid=10715 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/10717/task/10723/stat : 10723 (java) S 10715 10717 8924 0 -1 4202560 32 0 0 0 1 2 0 0 20 0 19 0 346240205 3097006080 126723 33554432000 1073741824 1073778376 140734143453856 140585247693096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10724] ppid=10715 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/10717/task/10724/stat : 10724 (java) S 10715 10717 8924 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 346240205 3097006080 126723 33554432000 1073741824 1073778376 140734143453856 140585246641064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10725] ppid=10715 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/10717/task/10725/stat : 10725 (java) S 10715 10717 8924 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 346240205 3097006080 126723 33554432000 1073741824 1073778376 140734143453856 140585245588520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10726] ppid=10715 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/10717/task/10726/stat : 10726 (java) S 10715 10717 8924 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 346240205 3097006080 126723 33554432000 1073741824 1073778376 140734143453856 140585244535464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10727] ppid=10715 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/10717/task/10727/stat : 10727 (java) S 10715 10717 8924 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 346240205 3097006080 126723 33554432000 1073741824 1073778376 140734143453856 140585243482920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10728] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10728/stat : 10728 (java) S 10715 10717 8924 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346240207 3097006080 126723 33554432000 1073741824 1073778376 140734143453856 140585231071592 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10729] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10729/stat : 10729 (java) S 10715 10717 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346240207 3097006080 126723 33554432000 1073741824 1073778376 140734143453856 140585230017912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10730] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10730/stat : 10730 (java) S 10715 10717 8924 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346240207 3097006080 126723 33554432000 1073741824 1073778376 140734143453856 140585228964744 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10731] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10731/stat : 10731 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346240209 3097006080 126723 33554432000 1073741824 1073778376 140734143453856 140585227913488 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10732] ppid=10715 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/10717/task/10732/stat : 10732 (java) S 10715 10717 8924 0 -1 4202560 5848 0 0 0 57 2 0 0 20 0 19 0 346240210 3097006080 126723 33554432000 1073741824 1073778376 140734143453856 140585226861368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10733] ppid=10715 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/10717/task/10733/stat : 10733 (java) S 10715 10717 8924 0 -1 4202560 6657 0 0 0 65 2 0 0 20 0 19 0 346240210 3097006080 126723 33554432000 1073741824 1073778376 140734143453856 140585225808824 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10734] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10734/stat : 10734 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346240210 3097006080 126723 33554432000 1073741824 1073778376 140734143453856 140585224755960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10735] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10735/stat : 10735 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346240210 3097006080 126723 33554432000 1073741824 1073778376 140734143453856 140585223703624 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10736] ppid=10715 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10736/stat : 10736 (java) S 10715 10717 8924 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 346240278 3097006080 126723 33554432000 1073741824 1073778376 140734143453856 140585221501992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.7
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

/proc/10717/task/10731/stat : 10731 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346240209 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585227913488 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10732] ppid=10715 vsize=3090984 CPUtime=0.65 cores=0,2,4,6
/proc/10717/task/10732/stat : 10732 (java) S 10715 10717 8924 0 -1 4202560 5869 0 0 0 63 2 0 0 20 0 20 0 346240210 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585226861368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10717/tid=10733] ppid=10715 vsize=3090984 CPUtime=0.77 cores=0,2,4,6
/proc/10717/task/10733/stat : 10733 (java) S 10715 10717 8924 0 -1 4202560 6730 0 0 0 75 2 0 0 20 0 20 0 346240210 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585225808824 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10734] ppid=10715 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10734/stat : 10734 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346240210 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585224755960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10735] ppid=10715 vsize=3090984 CPUtime=0.1 cores=0,2,4,6
/proc/10717/task/10735/stat : 10735 (java) S 10715 10717 8924 0 -1 4202560 22 0 0 0 4 6 0 0 20 0 20 0 346240210 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585223703624 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10717/tid=10737] ppid=10715 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10737/stat : 10737 (java) S 10715 10717 8924 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 346241297 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585221502120 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10717/tid=10739] ppid=10715 vsize=3090984 CPUtime=0.03 cores=0,2,4,6
/proc/10717/task/10739/stat : 10739 (java) S 10715 10717 8924 0 -1 4202560 299 0 0 0 3 0 0 0 20 0 20 0 346272859 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585220447720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 416.15
Current children cumulated vsize (KiB) 3090984

[startup+412.401 s]
/proc/loadavg: 1.98 1.98 1.99 3/214 10740
/proc/meminfo: memFree=25007912/32873844 swapFree=7112/7112
[pid=10717] ppid=10715 vsize=3090984 CPUtime=416.55 cores=0,2,4,6
/proc/10717/stat : 10717 (java) S 10715 10717 8924 0 -1 4202496 20076 0 1 0 41508 147 0 0 20 0 20 0 346240203 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140734143444992 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10717/statm: 772746 421794 2306 9 0 763167 0
[pid=10717/tid=10719] ppid=10715 vsize=3090984 CPUtime=300.32 cores=0,2,4,6
/proc/10717/task/10719/stat : 10719 (java) S 10715 10717 8924 0 -1 4202560 3352 0 1 0 30020 12 0 0 20 0 20 0 346240204 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585267426488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10717/tid=10720] ppid=10715 vsize=3090984 CPUtime=0.42 cores=0,2,4,6
/proc/10717/task/10720/stat : 10720 (java) S 10715 10717 8924 0 -1 4202560 253 0 0 0 28 14 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585250851240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10721] ppid=10715 vsize=3090984 CPUtime=0.4 cores=0,2,4,6
/proc/10717/task/10721/stat : 10721 (java) S 10715 10717 8924 0 -1 4202560 232 0 0 0 26 14 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585249798696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10722] ppid=10715 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/10717/task/10722/stat : 10722 (java) S 10715 10717 8924 0 -1 4202560 262 0 0 0 32 14 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585248745640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10717/tid=10723] ppid=10715 vsize=3090984 CPUtime=0.52 cores=0,2,4,6
/proc/10717/task/10723/stat : 10723 (java) S 10715 10717 8924 0 -1 4202560 304 0 0 0 33 19 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585247693096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10724] ppid=10715 vsize=3090984 CPUtime=0.42 cores=0,2,4,6
/proc/10717/task/10724/stat : 10724 (java) S 10715 10717 8924 0 -1 4202560 284 0 0 0 28 14 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585246641064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10725] ppid=10715 vsize=3090984 CPUtime=0.52 cores=0,2,4,6
/proc/10717/task/10725/stat : 10725 (java) S 10715 10717 8924 0 -1 4202560 296 0 0 0 32 20 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585245588520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10726] ppid=10715 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/10717/task/10726/stat : 10726 (java) S 10715 10717 8924 0 -1 4202560 293 0 0 0 31 15 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585244535464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10727] ppid=10715 vsize=3090984 CPUtime=0.49 cores=0,2,4,6
/proc/10717/task/10727/stat : 10727 (java) S 10715 10717 8924 0 -1 4202560 395 0 0 0 34 15 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585243482920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10728] ppid=10715 vsize=3090984 CPUtime=109.81 cores=0,2,4,6
/proc/10717/task/10728/stat : 10728 (java) R 10715 10717 8924 0 -1 4202560 286 0 0 0 10977 4 0 0 20 0 20 0 346240207 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585231071752 140585271587132 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10717/tid=10729] ppid=10715 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10729/stat : 10729 (java) S 10715 10717 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346240207 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585230017912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10730] ppid=10715 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10730/stat : 10730 (java) S 10715 10717 8924 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 346240207 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585228964744 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10731] ppid=10715 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10731/stat : 10731 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346240209 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585227913488 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10732] ppid=10715 vsize=3090984 CPUtime=0.65 cores=0,2,4,6
/proc/10717/task/10732/stat : 10732 (java) S 10715 10717 8924 0 -1 4202560 5869 0 0 0 63 2 0 0 20 0 20 0 346240210 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585226861368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10717/tid=10733] ppid=10715 vsize=3090984 CPUtime=0.77 cores=0,2,4,6
/proc/10717/task/10733/stat : 10733 (java) S 10715 10717 8924 0 -1 4202560 6730 0 0 0 75 2 0 0 20 0 20 0 346240210 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585225808824 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10734] ppid=10715 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10734/stat : 10734 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346240210 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585224755960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10735] ppid=10715 vsize=3090984 CPUtime=0.1 cores=0,2,4,6
/proc/10717/task/10735/stat : 10735 (java) S 10715 10717 8924 0 -1 4202560 22 0 0 0 4 6 0 0 20 0 20 0 346240210 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585223703624 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10717/tid=10737] ppid=10715 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10737/stat : 10737 (java) S 10715 10717 8924 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 346241297 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585221502120 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10717/tid=10739] ppid=10715 vsize=3090984 CPUtime=0.03 cores=0,2,4,6
/proc/10717/task/10739/stat : 10739 (java) S 10715 10717 8924 0 -1 4202560 300 0 0 0 3 0 0 0 20 0 20 0 346272859 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585220447800 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 416.55
Current children cumulated vsize (KiB) 3090984

[startup+412.607 s]
/proc/loadavg: 1.98 1.98 1.99 3/214 10740
/proc/meminfo: memFree=25007912/32873844 swapFree=7112/7112
[pid=10717] ppid=10715 vsize=3090984 CPUtime=416.76 cores=0,2,4,6
/proc/10717/stat : 10717 (java) S 10715 10717 8924 0 -1 4202496 20077 0 1 0 41529 147 0 0 20 0 20 0 346240203 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140734143444992 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10717/statm: 772746 421794 2306 9 0 763167 0
[pid=10717/tid=10719] ppid=10715 vsize=3090984 CPUtime=300.32 cores=0,2,4,6
/proc/10717/task/10719/stat : 10719 (java) S 10715 10717 8924 0 -1 4202560 3352 0 1 0 30020 12 0 0 20 0 20 0 346240204 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585267426488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10717/tid=10720] ppid=10715 vsize=3090984 CPUtime=0.42 cores=0,2,4,6
/proc/10717/task/10720/stat : 10720 (java) S 10715 10717 8924 0 -1 4202560 253 0 0 0 28 14 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585250851240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10721] ppid=10715 vsize=3090984 CPUtime=0.4 cores=0,2,4,6
/proc/10717/task/10721/stat : 10721 (java) S 10715 10717 8924 0 -1 4202560 232 0 0 0 26 14 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585249798696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10722] ppid=10715 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/10717/task/10722/stat : 10722 (java) S 10715 10717 8924 0 -1 4202560 262 0 0 0 32 14 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585248745640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10717/tid=10723] ppid=10715 vsize=3090984 CPUtime=0.52 cores=0,2,4,6
/proc/10717/task/10723/stat : 10723 (java) S 10715 10717 8924 0 -1 4202560 304 0 0 0 33 19 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585247693096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10724] ppid=10715 vsize=3090984 CPUtime=0.42 cores=0,2,4,6
/proc/10717/task/10724/stat : 10724 (java) S 10715 10717 8924 0 -1 4202560 284 0 0 0 28 14 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585246641064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10725] ppid=10715 vsize=3090984 CPUtime=0.52 cores=0,2,4,6
/proc/10717/task/10725/stat : 10725 (java) S 10715 10717 8924 0 -1 4202560 296 0 0 0 32 20 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585245588520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10726] ppid=10715 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/10717/task/10726/stat : 10726 (java) S 10715 10717 8924 0 -1 4202560 293 0 0 0 31 15 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585244535464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10727] ppid=10715 vsize=3090984 CPUtime=0.49 cores=0,2,4,6
/proc/10717/task/10727/stat : 10727 (java) S 10715 10717 8924 0 -1 4202560 395 0 0 0 34 15 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585243482920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10728] ppid=10715 vsize=3090984 CPUtime=110.01 cores=0,2,4,6
/proc/10717/task/10728/stat : 10728 (java) R 10715 10717 8924 0 -1 4202560 286 0 0 0 10997 4 0 0 20 0 20 0 346240207 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585231071752 140585273549940 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10717/tid=10729] ppid=10715 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10729/stat : 10729 (java) S 10715 10717 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346240207 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585230017912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10730] ppid=10715 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10730/stat : 10730 (java) S 10715 10717 8924 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 346240207 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585228964744 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10731] ppid=10715 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10731/stat : 10731 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346240209 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585227913488 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10732] ppid=10715 vsize=3090984 CPUtime=0.65 cores=0,2,4,6
/proc/10717/task/10732/stat : 10732 (java) S 10715 10717 8924 0 -1 4202560 5869 0 0 0 63 2 0 0 20 0 20 0 346240210 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585226861368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10717/tid=10733] ppid=10715 vsize=3090984 CPUtime=0.77 cores=0,2,4,6
/proc/10717/task/10733/stat : 10733 (java) S 10715 10717 8924 0 -1 4202560 6730 0 0 0 75 2 0 0 20 0 20 0 346240210 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585225808824 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10734] ppid=10715 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10734/stat : 10734 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346240210 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585224755960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10735] ppid=10715 vsize=3090984 CPUtime=0.1 cores=0,2,4,6
/proc/10717/task/10735/stat : 10735 (java) S 10715 10717 8924 0 -1 4202560 22 0 0 0 4 6 0 0 20 0 20 0 346240210 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585223703624 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10737] ppid=10715 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10737/stat : 10737 (java) S 10715 10717 8924 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 346241297 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585221502120 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10717/tid=10739] ppid=10715 vsize=3090984 CPUtime=0.03 cores=0,2,4,6
/proc/10717/task/10739/stat : 10739 (java) S 10715 10717 8924 0 -1 4202560 301 0 0 0 3 0 0 0 20 0 20 0 346272859 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585220447720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 416.76
Current children cumulated vsize (KiB) 3090984

[startup+412.701 s]
/proc/loadavg: 1.98 1.98 1.99 3/214 10740
/proc/meminfo: memFree=25007912/32873844 swapFree=7112/7112
[pid=10717] ppid=10715 vsize=3090984 CPUtime=416.85 cores=0,2,4,6
/proc/10717/stat : 10717 (java) S 10715 10717 8924 0 -1 4202496 20077 0 1 0 41538 147 0 0 20 0 20 0 346240203 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140734143444992 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10717/statm: 772746 421794 2306 9 0 763167 0
[pid=10717/tid=10719] ppid=10715 vsize=3090984 CPUtime=300.32 cores=0,2,4,6
/proc/10717/task/10719/stat : 10719 (java) S 10715 10717 8924 0 -1 4202560 3352 0 1 0 30020 12 0 0 20 0 20 0 346240204 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585267426488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10717/tid=10720] ppid=10715 vsize=3090984 CPUtime=0.42 cores=0,2,4,6
/proc/10717/task/10720/stat : 10720 (java) S 10715 10717 8924 0 -1 4202560 253 0 0 0 28 14 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585250851240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10721] ppid=10715 vsize=3090984 CPUtime=0.4 cores=0,2,4,6
/proc/10717/task/10721/stat : 10721 (java) S 10715 10717 8924 0 -1 4202560 232 0 0 0 26 14 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585249798696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10722] ppid=10715 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/10717/task/10722/stat : 10722 (java) S 10715 10717 8924 0 -1 4202560 262 0 0 0 32 14 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585248745640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10717/tid=10723] ppid=10715 vsize=3090984 CPUtime=0.52 cores=0,2,4,6
/proc/10717/task/10723/stat : 10723 (java) S 10715 10717 8924 0 -1 4202560 304 0 0 0 33 19 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585247693096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10724] ppid=10715 vsize=3090984 CPUtime=0.42 cores=0,2,4,6
/proc/10717/task/10724/stat : 10724 (java) S 10715 10717 8924 0 -1 4202560 284 0 0 0 28 14 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585246641064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10725] ppid=10715 vsize=3090984 CPUtime=0.52 cores=0,2,4,6
/proc/10717/task/10725/stat : 10725 (java) S 10715 10717 8924 0 -1 4202560 296 0 0 0 32 20 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585245588520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10726] ppid=10715 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/10717/task/10726/stat : 10726 (java) S 10715 10717 8924 0 -1 4202560 293 0 0 0 31 15 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585244535464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10727] ppid=10715 vsize=3090984 CPUtime=0.49 cores=0,2,4,6
/proc/10717/task/10727/stat : 10727 (java) S 10715 10717 8924 0 -1 4202560 395 0 0 0 34 15 0 0 20 0 20 0 346240205 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585243482920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10728] ppid=10715 vsize=3090984 CPUtime=110.11 cores=0,2,4,6
/proc/10717/task/10728/stat : 10728 (java) R 10715 10717 8924 0 -1 4202560 286 0 0 0 11007 4 0 0 20 0 20 0 346240207 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585231071752 140585271587132 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10717/tid=10729] ppid=10715 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10729/stat : 10729 (java) S 10715 10717 8924 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 346240207 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585230017912 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10730] ppid=10715 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10730/stat : 10730 (java) S 10715 10717 8924 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 346240207 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585228964744 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10731] ppid=10715 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10731/stat : 10731 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346240209 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585227913488 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10732] ppid=10715 vsize=3090984 CPUtime=0.65 cores=0,2,4,6
/proc/10717/task/10732/stat : 10732 (java) S 10715 10717 8924 0 -1 4202560 5869 0 0 0 63 2 0 0 20 0 20 0 346240210 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585226861368 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10717/tid=10733] ppid=10715 vsize=3090984 CPUtime=0.77 cores=0,2,4,6
/proc/10717/task/10733/stat : 10733 (java) S 10715 10717 8924 0 -1 4202560 6730 0 0 0 75 2 0 0 20 0 20 0 346240210 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585225808824 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10734] ppid=10715 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10734/stat : 10734 (java) S 10715 10717 8924 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346240210 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585224755960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10717/tid=10735] ppid=10715 vsize=3090984 CPUtime=0.1 cores=0,2,4,6
/proc/10717/task/10735/stat : 10735 (java) S 10715 10717 8924 0 -1 4202560 22 0 0 0 4 6 0 0 20 0 20 0 346240210 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585223703624 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10717/tid=10737] ppid=10715 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/10717/task/10737/stat : 10737 (java) S 10715 10717 8924 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 346241297 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585221502120 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10717/tid=10739] ppid=10715 vsize=3090984 CPUtime=0.03 cores=0,2,4,6
/proc/10717/task/10739/stat : 10739 (java) S 10715 10717 8924 0 -1 4202560 301 0 0 0 3 0 0 0 20 0 20 0 346272859 3165167616 421794 33554432000 1073741824 1073778376 140734143453856 140585220447720 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 416.85
Current children cumulated vsize (KiB) 3090984

Child status: 1

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10717 and gives
#  childrusage.ru_utime.tv_sec=414
#  childrusage.ru_utime.tv_usec=318014
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=652748
# CPU time returned by wait4() is 415.971
# while last known CPU time is 416.85
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 412.745
CPU time (s): 416.85
CPU user time (s): 415.38
CPU system time (s): 1.47
CPU usage (%): 100.995
Max. virtual memory (cumulated for all children) (KiB): 3090984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 414.318
system time used= 1.65275
maximum resident set size= 1687196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20087
page faults= 1
swaps= 0
block input operations= 0
block output operations= 440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11077
involuntary context switches= 8615

runsolver used 0.778881 second user time and 1.83172 second system time

The end

Begin job on node119 at 2012-06-04 11:12:25
IDJOB=3744446
IDBENCH=92754
IDSOLVER=2319
FILE ID=node119/3744446-1338801145
RUNJOBID= node119-1338784193-8940
PBS_JOBID= 14636847
Free space on /tmp= 70896 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_0.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744446-1338801145/watcher-3744446-1338801145 -o /tmp/evaluation-result-3744446-1338801145/solver-3744446-1338801145 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744446-1338801145.opb           

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

MD5SUM BENCH= ca79c3a72fcbc528e4a81e658af79fe0
RANDOM SEED=978950178

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26909076 kB
Buffers:          435164 kB
Cached:          3197412 kB
SwapCached:         1936 kB
Active:          3010316 kB
Inactive:        2093388 kB
Active(anon):    1466424 kB
Inactive(anon):     6616 kB
Active(file):    1543892 kB
Inactive(file):  2086772 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100224 kB
Dirty:              4164 kB
Writeback:             0 kB
AnonPages:       1488236 kB
Mapped:            20088 kB
Shmem:                 0 kB
Slab:             706612 kB
SReclaimable:     148560 kB
SUnreclaim:       558052 kB
KernelStack:        1600 kB
PageTables:         7168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1829972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1435648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70892 MiB
End job on node119 at 2012-06-04 11:19:18