0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3708018-1338156351.opb
0.00/0.00	c File size is 9972193 bytes.
0.69/0.77	c Highest Coefficient sum: 5203
0.69/0.77	c Parsing was ok!!
0.69/0.77	c Total parsing time: 0.774 s
0.69/0.78	c Var: 5203 Constr: 19637 19637/0/0 Lit: 1117990 Watch. Lit: 39274
0.69/0.78	c Obj. Vars: 5203 (100 % of total variables)
11.38/11.43	c Formula reductions applied at preprocessing
11.38/11.43	c Pre-processing Time: 11.424 s
25.08/25.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.08/25.17	c        0   5039    19063  1097921   57    38126    6354      0      0 11.42
25.08/25.17	c Initial Lower Bound: 40
25.08/25.17	c Initial Path Cost: 0
25.19/25.22	o 89
393.12/393.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
393.12/393.20	c        2   5039    19067  1103359   57    43084    7354      4      0 25.21
393.12/393.20	o 73
849.75/849.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
849.75/849.98	c        4   5039    19072  1108910   58    48060    7354      9      0 393.13
849.75/849.98	o 71
1280.38/1280.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1280.38/1280.67	c        7   5039    19078  1115320   58    53040    7354     15      0 849.85
1280.38/1280.67	o 70
1798.00/1798.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.00/1798.34	c       77   5039    19274  1557079   80    58401    7354    211      0 1280.47
1798.00/1798.34	c      184   5039    19586  2468049  126    59025    8090    523      0 1709.23
1798.00/1798.34	c Resources Exceeded
1798.00/1798.34	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 
1798.00/1798.34	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.00/1798.34	c    5      184     31    21179    19586  2468049    523      0 1798.05
1798.00/1798.34	c Objective: 70
1798.00/1798.34	s SATISFIABLE
1798.00/1798.34	c Total time: 1798.05 s

OK	70

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-3708018-1338156351/watcher-3708018-1338156351 -o /tmp/evaluation-result-3708018-1338156351/solver-3708018-1338156351 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708018-1338156351.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/176 19429
/proc/meminfo: memFree=30294220/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=28644 CPUtime=0 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 281763708 29331456 313 33554432000 134512640 137138936 4291472352 4291469984 134602749 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 7161 313 176 642 0 4082 0

[startup+0.017665 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19429
/proc/meminfo: memFree=30294220/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=20960 CPUtime=0.01 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 440 0 0 0 1 0 0 0 20 0 1 0 281763708 21463040 393 33554432000 134512640 137138936 4291472352 4291469312 134602766 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 5240 393 209 642 0 2161 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 20960

[startup+0.100207 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19429
/proc/meminfo: memFree=30294220/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=22644 CPUtime=0.09 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 1112 0 0 0 9 0 0 0 20 0 1 0 281763708 23187456 1065 33554432000 134512640 137138936 4291472352 4291470820 136525332 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 5661 1065 467 642 0 2582 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22644

[startup+0.300184 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19429
/proc/meminfo: memFree=30294220/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=26656 CPUtime=0.29 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 2755 0 0 0 29 0 0 0 20 0 1 0 281763708 27295744 2708 33554432000 134512640 137138936 4291472352 4291470608 136488786 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 6664 2709 1097 642 0 3585 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26656

[startup+0.700183 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19429
/proc/meminfo: memFree=30294220/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=34700 CPUtime=0.69 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 6025 0 0 0 68 1 0 0 20 0 1 0 281763708 35532800 5978 33554432000 134512640 137138936 4291472352 4291470832 134529720 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 8675 5979 2356 642 0 5596 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34700

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19430
/proc/meminfo: memFree=30258500/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=45448 CPUtime=1.49 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 11397 0 0 0 147 2 0 0 20 0 1 0 281763708 46538752 8915 33554432000 134512640 137138936 4291472352 4291408368 134540339 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 11362 8915 185 642 0 10718 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45448

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19430
/proc/meminfo: memFree=30256392/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=45448 CPUtime=3.08 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 11397 0 0 0 306 2 0 0 20 0 1 0 281763708 46538752 8915 33554432000 134512640 137138936 4291472352 4291408368 134540194 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 11362 8915 185 642 0 10718 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 45448

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19430
/proc/meminfo: memFree=30253044/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=44820 CPUtime=6.28 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 15595 0 0 0 625 3 0 0 20 0 1 0 281763708 45895680 8751 33554432000 134512640 137138936 4291472352 4291408368 134540171 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 11205 8751 185 642 0 10561 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 44820

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19430
/proc/meminfo: memFree=30248752/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=44820 CPUtime=12.68 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 19880 0 0 0 1263 5 0 0 20 0 1 0 281763708 45895680 8784 33554432000 134512640 137138936 4291472352 4291470352 134712106 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 11205 8784 218 642 0 10561 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 44820

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19430
/proc/meminfo: memFree=30224748/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=85164 CPUtime=25.48 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 620944 0 0 0 2332 216 0 0 20 0 1 0 281763708 87207936 14995 33554432000 134512640 137138936 4291472352 4291470176 135471510 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 21291 14995 286 642 0 20647 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85164

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19430
/proc/meminfo: memFree=30181536/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=88240 CPUtime=51.07 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 836444 0 0 0 4815 292 0 0 20 0 1 0 281763708 90357760 16118 33554432000 134512640 137138936 4291472352 4291470144 134734941 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 22060 16118 286 642 0 21416 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 88240

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19430
/proc/meminfo: memFree=30162060/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=55580 CPUtime=102.27 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 1261303 0 0 0 9789 438 0 0 20 0 1 0 281763708 56913920 11577 33554432000 134512640 137138936 4291472352 4291470240 134750226 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 13895 11577 286 642 0 13251 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 55580

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19431
/proc/meminfo: memFree=30107956/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=85200 CPUtime=162.25 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 1837393 0 0 0 15588 637 0 0 20 0 1 0 281763708 87244800 16090 33554432000 134512640 137138936 4291472352 4291470144 134734948 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 21300 16090 286 642 0 20656 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 85200

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19431
/proc/meminfo: memFree=30089364/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=55580 CPUtime=222.24 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 2319952 0 0 0 21413 811 0 0 20 0 1 0 281763708 56913920 11866 33554432000 134512640 137138936 4291472352 4291470336 135782981 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 13895 11866 286 642 0 13251 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 55580

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19434
/proc/meminfo: memFree=30075256/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=82204 CPUtime=282.24 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 2760073 0 0 0 27235 989 0 0 20 0 1 0 281763708 84176896 15496 33554432000 134512640 137138936 4291472352 4291470144 135080900 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 20551 15496 286 642 0 19907 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 82204

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19434
/proc/meminfo: memFree=30045976/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=55580 CPUtime=342.23 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 3537176 0 0 0 32959 1264 0 0 20 0 1 0 281763708 56913920 11866 33554432000 134512640 137138936 4291472352 4291470336 135782995 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 13895 11866 286 642 0 13251 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 55580

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19434
/proc/meminfo: memFree=30041936/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=55580 CPUtime=402.21 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 4224465 0 0 0 38705 1516 0 0 20 0 1 0 281763708 56913920 11867 33554432000 134512640 137138936 4291472352 4291470240 134750986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 13895 11867 287 642 0 13251 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 55580

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19435
/proc/meminfo: memFree=30037220/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=86972 CPUtime=462.21 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 4707412 0 0 0 44534 1687 0 0 20 0 1 0 281763708 89059328 15724 33554432000 134512640 137138936 4291472352 4291470108 135459109 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 21743 15724 287 642 0 21099 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 86972

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19435
/proc/meminfo: memFree=30040508/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=64160 CPUtime=522.2 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 5204585 0 0 0 50370 1850 0 0 20 0 1 0 281763708 65699840 14012 33554432000 134512640 137138936 4291472352 4291470336 135783805 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 16040 14012 287 642 0 15396 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 64160

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19435
/proc/meminfo: memFree=30039144/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=85912 CPUtime=582.19 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 5849479 0 0 0 56148 2071 0 0 20 0 1 0 281763708 87973888 15530 33554432000 134512640 137138936 4291472352 4291470144 134734939 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 21478 15530 287 642 0 20834 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 85912

[startup+642.3 s]

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

/proc/meminfo: memFree=30002324/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=55580 CPUtime=1062.12 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 10920152 0 0 0 102323 3889 0 0 20 0 1 0 281763708 56913920 11867 33554432000 134512640 137138936 4291472352 4291470240 134750278 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 13895 11867 287 642 0 13251 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 55580

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19440
/proc/meminfo: memFree=29997920/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=64160 CPUtime=1122.11 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 11542797 0 0 0 108095 4116 0 0 20 0 1 0 281763708 65699840 11867 33554432000 134512640 137138936 4291472352 4291470088 136507573 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 16040 11867 287 642 0 15396 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 64160

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19440
/proc/meminfo: memFree=30002260/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=64160 CPUtime=1182.1 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 12168716 0 0 0 113826 4384 0 0 20 0 1 0 281763708 65699840 14012 33554432000 134512640 137138936 4291472352 4291470336 135783853 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 16040 14012 287 642 0 15396 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 64160

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 19440
/proc/meminfo: memFree=30002260/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=79020 CPUtime=1242.09 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 12847866 0 0 0 119571 4638 0 0 20 0 1 0 281763708 80916480 14852 33554432000 134512640 137138936 4291472352 4291470116 135456389 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 19755 14852 287 642 0 19111 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 79020

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 19440
/proc/meminfo: memFree=29998352/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=68452 CPUtime=1302.09 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 13589780 0 0 0 125304 4905 0 0 20 0 1 0 281763708 70094848 15085 33554432000 134512640 137138936 4291472352 4291470224 134745043 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 17113 15085 287 642 0 16469 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 68452

[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 19441
/proc/meminfo: memFree=29991716/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=93724 CPUtime=1362.07 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 14312648 0 0 0 131060 5147 0 0 20 0 1 0 281763708 95973376 16586 33554432000 134512640 137138936 4291472352 4291470288 135251025 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 23431 16586 287 642 0 22787 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 93724

[startup+1422.31 s]
/proc/loadavg: 2.07 2.04 2.01 3/177 19441
/proc/meminfo: memFree=29998536/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=90796 CPUtime=1422.07 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 15083760 0 0 0 136810 5397 0 0 20 0 1 0 281763708 92975104 16929 33554432000 134512640 137138936 4291472352 4291470272 134848294 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 22699 16929 287 642 0 22055 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 90796

[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/178 19444
/proc/meminfo: memFree=29991948/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=68452 CPUtime=1482.06 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 15843515 0 0 0 142569 5637 0 0 20 0 1 0 281763708 70094848 15085 33554432000 134512640 137138936 4291472352 4291470336 135783792 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 17113 15085 287 642 0 16469 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 68452

[startup+1542.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 19482
/proc/meminfo: memFree=30333720/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=68452 CPUtime=1542.05 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 16582663 0 0 0 148311 5894 0 0 20 0 1 0 281763708 70094848 15085 33554432000 134512640 137138936 4291472352 4291470336 135783853 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 17113 15085 287 642 0 16469 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 68452

[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 19482
/proc/meminfo: memFree=30327380/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=92676 CPUtime=1602.03 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 17537858 0 0 0 154017 6186 0 0 20 0 1 0 281763708 94900224 15763 33554432000 134512640 137138936 4291472352 4291470560 135251368 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 23169 15763 287 642 0 22525 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 92676

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 19483
/proc/meminfo: memFree=30332960/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=68452 CPUtime=1662.02 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 18580334 0 0 0 159686 6516 0 0 20 0 1 0 281763708 70094848 15085 33554432000 134512640 137138936 4291472352 4291470336 135783846 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 17113 15085 287 642 0 16469 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 68452

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 19483
/proc/meminfo: memFree=30317644/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=108456 CPUtime=1722.01 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 19774513 0 0 0 165340 6861 0 0 20 0 1 0 281763708 111058944 20102 33554432000 134512640 137138936 4291472352 4291470192 135457926 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 27114 20102 287 642 0 26470 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 108456

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19483
/proc/meminfo: memFree=30318368/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=105804 CPUtime=1782 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 21062204 0 0 0 170991 7209 0 0 20 0 1 0 281763708 108343296 19883 33554432000 134512640 137138936 4291472352 4291470080 135457840 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 26451 19883 287 642 0 25807 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 105804

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19483
/proc/meminfo: memFree=30329284/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=98784 CPUtime=1791.61 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 21246705 0 0 0 171898 7263 0 0 20 0 1 0 281763708 101154816 18709 33554432000 134512640 137138936 4291472352 4291469536 134709219 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 24696 18713 287 642 0 24052 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 98784

[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19483
/proc/meminfo: memFree=30329284/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=75908 CPUtime=1794.8 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 21293234 0 0 0 172203 7277 0 0 20 0 1 0 281763708 77729792 16936 33554432000 134512640 137138936 4291472352 4291470336 135783853 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 18977 16936 287 642 0 18333 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 75908

[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19483
/proc/meminfo: memFree=30316012/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=62888 CPUtime=1796.4 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 21330137 0 0 0 172352 7288 0 0 20 0 1 0 281763708 64397312 13694 33554432000 134512640 137138936 4291472352 4291470240 134750184 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 15722 13694 287 642 0 15078 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 62888

[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19483
/proc/meminfo: memFree=30317748/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=106660 CPUtime=1797.2 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 21339765 0 0 0 172430 7290 0 0 20 0 1 0 281763708 109219840 19834 33554432000 134512640 137138936 4291472352 4291470400 135345424 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 26665 19834 287 642 0 26021 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (KiB) 106660

[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19483
/proc/meminfo: memFree=30317748/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=62888 CPUtime=1797.6 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 21343402 0 0 0 172469 7291 0 0 20 0 1 0 281763708 64397312 13694 33554432000 134512640 137138936 4291472352 4291470240 134750278 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 15722 13694 287 642 0 15078 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 62888

[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19483
/proc/meminfo: memFree=30317748/32873844 swapFree=7108/7108
[pid=19429] ppid=19427 vsize=75908 CPUtime=1798 cores=0,2,4,6
/proc/19429/stat : 19429 (bsolo) R 19427 19429 14929 0 -1 4202496 21355459 0 0 0 172505 7295 0 0 20 0 1 0 281763708 77729792 16936 33554432000 134512640 137138936 4291472352 4291470336 135783815 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19429/statm: 18977 16936 287 642 0 18333 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 75908

Child status: 0
Real time (s): 1798.34
CPU time (s): 1798.05
CPU user time (s): 1725.09
CPU system time (s): 72.9559
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 109860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1725.09
system time used= 72.9559
maximum resident set size= 85564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21357046
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31
involuntary context switches= 3316

runsolver used 3.64045 second user time and 8.85865 second system time

The end

Begin job on node102 at 2012-05-28 00:05:52
IDJOB=3708018
IDBENCH=2889
IDSOLVER=2286
FILE ID=node102/3708018-1338156351
RUNJOBID= node102-1338138881-16730
PBS_JOBID= 14624485
Free space on /tmp= 71524 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708018-1338156351/watcher-3708018-1338156351 -o /tmp/evaluation-result-3708018-1338156351/solver-3708018-1338156351 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708018-1338156351.opb

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

MD5SUM BENCH= 0b80319f4195f1e1329c2c4b63b416b0
RANDOM SEED=1582640866

node102.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		: 2667.178
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	: 5334.35
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		: 2667.178
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.90
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		: 2667.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
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:        30296716 kB
Buffers:          377664 kB
Cached:          1248088 kB
SwapCached:            0 kB
Active:          1034160 kB
Inactive:         706684 kB
Active(anon):     105180 kB
Inactive(anon):    12336 kB
Active(file):     928980 kB
Inactive(file):   694348 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             13376 kB
Writeback:             0 kB
AnonPages:        121676 kB
Mapped:            15560 kB
Shmem:               200 kB
Slab:             697072 kB
SReclaimable:     139296 kB
SUnreclaim:       557776 kB
KernelStack:        1480 kB
PageTables:         3840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     236000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 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= 71520 MiB
End job on node102 at 2012-05-28 00:35:50