0.00/0.00	c
0.00/0.00	c Open-WBO:	 a Modular MaxSAT Solver -- based on Glucose4.0 (core version)
0.00/0.00	c Version:	 Pseudo-Boolean Evaluation 2016
0.00/0.00	c Authors:	 Ruben Martins, Vasco Manquinho, Ines Lynce
0.00/0.00	c Contributors:	 Miguel Neves, Saurabh Joshi, Mikolas Janota
0.00/0.00	c Contact:	 open-wbo@sat.inesc-id.pt -- http://sat.inesc-id.pt/open-wbo/
0.00/0.00	c
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Instance file HOME/instance-4086862-1465272099.opb
0.00/0.00	c File size is 21212150 bytes.
1800.08/1800.40	c Sum of soft weights:         5048
1800.08/1800.40	c |                                                                                                       |
1800.08/1800.40	c ========================================[ Problem Statistics ]===========================================
1800.08/1800.40	c |                                                                                                       |
1800.08/1800.40	c |  Problem Type:           Unweighted                                                                   |
1800.08/1800.40	c |  Number of variables:          5048                                                                   |
1800.08/1800.40	c |  Number of hard clauses:      65280                                                                   |
1800.08/1800.40	c |  Number of soft clauses:       5048                                                                   |
1800.08/1800.40	c |  Number of cardinality:           0                                                                   |
1800.08/1800.40	c |  Number of PB :                   0                                                                   |
1800.08/1800.40	c |  Parse time:                   2.41 s                                                                 |
1800.08/1800.40	c |                                                                                                       |
1800.08/1800.40	o 45
1800.08/1800.40	s SATISFIABLE
1800.08/1800.40	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 

OK	45

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4086862-1465272099/watcher-4086862-1465272099 -o /tmp/evaluation-result-4086862-1465272099/solver-4086862-1465272099 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1465239588-2439 --watchdog 1960 open-wbo HOME/instance-4086862-1465272099.opb 

pid=6425
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.02 2.03 2.03 4/177 6428
/proc/meminfo: memFree=31211820/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=22920 CPUtime=0 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 3638 0 0 0 0 0 0 0 20 0 1 0 109141701 23470080 3513 33554432000 4194304 6059633 140736622623040 140736494021192 5069786 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6428/statm: 5730 3531 3512 456 0 87 0

[startup+0.100156 s]
/proc/loadavg: 2.02 2.03 2.03 4/177 6428
/proc/meminfo: memFree=31211820/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=24296 CPUtime=0.09 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 5797 0 0 0 9 0 0 0 20 0 1 0 109141701 24879104 5672 33554432000 4194304 6059633 140736622623040 140736494021192 4630416 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6428/statm: 6074 5672 5313 456 0 431 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24296

[startup+0.200307 s]
/proc/loadavg: 2.02 2.03 2.03 4/177 6428
/proc/meminfo: memFree=31211820/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=24844 CPUtime=0.19 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 5929 0 0 0 19 0 0 0 20 0 1 0 109141701 25440256 5804 33554432000 4194304 6059633 140736622623040 140736494021192 4662772 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6428/statm: 6211 5804 5313 456 0 568 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 24844

[startup+0.300214 s]
/proc/loadavg: 2.02 2.03 2.03 4/177 6428
/proc/meminfo: memFree=31211820/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=25280 CPUtime=0.29 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 6049 0 0 0 29 0 0 0 20 0 1 0 109141701 25886720 5924 33554432000 4194304 6059633 140736622623040 140736494021192 4214150 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6428/statm: 6320 5924 5313 456 0 677 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25280

[startup+0.700207 s]
/proc/loadavg: 2.02 2.03 2.03 4/177 6428
/proc/meminfo: memFree=31211820/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=27196 CPUtime=0.69 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 6527 0 0 0 69 0 0 0 20 0 1 0 109141701 27848704 6402 33554432000 4194304 6059633 140736622623040 140736622621416 5154276 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6428/statm: 6799 6402 5313 456 0 1156 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27196

[startup+1.50021 s]
/proc/loadavg: 2.02 2.03 2.03 4/178 6429
/proc/meminfo: memFree=31203052/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=31352 CPUtime=1.49 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 7513 0 0 0 149 0 0 0 20 0 1 0 109141701 32104448 7388 33554432000 4194304 6059633 140736622623040 140736622621416 4662801 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6428/statm: 7838 7388 5313 456 0 2195 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31352

[startup+3.10022 s]
/proc/loadavg: 2.02 2.03 2.03 4/178 6429
/proc/meminfo: memFree=31197092/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=61980 CPUtime=3.08 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 17518 0 0 0 306 2 0 0 20 0 1 0 109141701 63467520 13645 33554432000 4194304 6059633 140736622623040 140736622622136 4277682 0 0 4096 8404992 0 0 0 17 0 0 0 0 0 0
/proc/6428/statm: 15495 13645 178 456 0 15031 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 61980

[startup+6.30024 s]
/proc/loadavg: 2.02 2.03 2.03 4/178 6429
/proc/meminfo: memFree=31148904/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=65916 CPUtime=6.28 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 18513 0 0 0 624 4 0 0 20 0 1 0 109141701 67497984 14637 33554432000 4194304 6059633 140736622623040 140736622621416 4246362 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 16479 14637 182 456 0 16015 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 65916

[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 2.03 4/178 6429
/proc/meminfo: memFree=31143948/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=67796 CPUtime=12.69 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 19425 0 0 0 1264 5 0 0 20 0 1 0 109141701 69423104 15564 33554432000 4194304 6059633 140736622623040 140736622621864 4277570 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 16949 15564 182 456 0 16485 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67796

[startup+25.5003 s]
/proc/loadavg: 2.01 2.03 2.03 4/177 6429
/proc/meminfo: memFree=31151412/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=117180 CPUtime=25.49 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 20402 0 0 0 2543 6 0 0 20 0 1 0 109141701 119992320 25713 33554432000 4194304 6059633 140736622623040 140736622621528 4277527 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 29295 25713 184 456 0 28831 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 117180

[startup+51.1004 s]
/proc/loadavg: 2.01 2.03 2.03 3/177 6475
/proc/meminfo: memFree=31080108/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=117180 CPUtime=51.07 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 20843 0 0 0 5101 6 0 0 20 0 1 0 109141701 119992320 26711 33554432000 4194304 6059633 140736622623040 140736622621528 4278479 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 29295 26711 184 456 0 28831 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 117180

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/177 6476
/proc/meminfo: memFree=31075388/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=117180 CPUtime=102.26 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 20859 0 0 0 10220 6 0 0 20 0 1 0 109141701 119992320 28507 33554432000 4194304 6059633 140736622623040 140736622621528 4262695 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 29295 28507 184 456 0 28831 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 117180

[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.02 3/177 6477
/proc/meminfo: memFree=31045892/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=128852 CPUtime=162.24 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 21059 0 0 0 16218 6 0 0 20 0 1 0 109141701 131944448 29542 33554432000 4194304 6059633 140736622623040 140736622621560 4277570 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 32213 29542 184 456 0 31749 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 128852

[startup+222.307 s]
/proc/loadavg: 2.08 2.04 2.02 3/177 6479
/proc/meminfo: memFree=31012560/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=147820 CPUtime=222.25 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 21592 0 0 0 22218 7 0 0 20 0 1 0 109141701 151367680 36197 33554432000 4194304 6059633 140736622623040 140736622621560 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 36955 36197 184 456 0 36491 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 147820

[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.02 3/177 6480
/proc/meminfo: memFree=30963508/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=147820 CPUtime=282.23 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 21592 0 0 0 28216 7 0 0 20 0 1 0 109141701 151367680 36197 33554432000 4194304 6059633 140736622623040 140736622621560 4278357 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 36955 36197 184 456 0 36491 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 147820

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/177 6481
/proc/meminfo: memFree=31023456/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=147820 CPUtime=342.22 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 21592 0 0 0 34215 7 0 0 20 0 1 0 109141701 151367680 36197 33554432000 4194304 6059633 140736622623040 140736622621560 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 36955 36197 184 456 0 36491 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 147820

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 6482
/proc/meminfo: memFree=31012616/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=147820 CPUtime=402.21 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 21592 0 0 0 40214 7 0 0 20 0 1 0 109141701 151367680 36197 33554432000 4194304 6059633 140736622623040 140736622621560 4278447 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 36955 36197 184 456 0 36491 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 147820

[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 6483
/proc/meminfo: memFree=31018840/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=147820 CPUtime=462.2 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 21592 0 0 0 46213 7 0 0 20 0 1 0 109141701 151367680 36197 33554432000 4194304 6059633 140736622623040 140736622621560 4277832 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 36955 36197 184 456 0 36491 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 147820

[startup+522.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/178 6488
/proc/meminfo: memFree=31019796/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=147820 CPUtime=522.19 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 21592 0 0 0 52212 7 0 0 20 0 1 0 109141701 151367680 36197 33554432000 4194304 6059633 140736622623040 140736622621560 4277781 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 36955 36197 184 456 0 36491 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 147820

[startup+582.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/178 6489
/proc/meminfo: memFree=30987424/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=147820 CPUtime=582.18 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 21593 0 0 0 58211 7 0 0 20 0 1 0 109141701 151367680 36197 33554432000 4194304 6059633 140736622623040 140736622621560 4277570 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 36955 36197 184 456 0 36491 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 147820


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


[startup+882.307 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 6495
/proc/meminfo: memFree=30996680/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=178644 CPUtime=882.14 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 25881 0 0 0 88199 15 0 0 20 0 1 0 109141701 182931456 37388 33554432000 4194304 6059633 140736622623040 140736622621832 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 44661 37388 184 456 0 44197 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 178644

[startup+942.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 6496
/proc/meminfo: memFree=31007236/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=178644 CPUtime=942.13 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 26501 0 0 0 94196 17 0 0 20 0 1 0 109141701 182931456 36202 33554432000 4194304 6059633 140736622623040 140736622621576 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 44661 36202 184 456 0 44197 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 178644

[startup+1002.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 6497
/proc/meminfo: memFree=30984284/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=147824 CPUtime=1002.12 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 26865 0 0 0 100194 18 0 0 20 0 1 0 109141701 151371776 35786 33554432000 4194304 6059633 140736622623040 140736622621576 4277549 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 36956 35786 184 456 0 36492 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 147824

[startup+1062.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/177 6498
/proc/meminfo: memFree=30998896/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=147824 CPUtime=1062.11 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 27664 0 0 0 106192 19 0 0 20 0 1 0 109141701 151371776 34261 33554432000 4194304 6059633 140736622623040 140736622622136 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 36956 34261 184 456 0 36492 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 147824

[startup+1122.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/178 6503
/proc/meminfo: memFree=30962876/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=178644 CPUtime=1122.08 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 28281 0 0 0 112188 20 0 0 20 0 1 0 109141701 182931456 38424 33554432000 4194304 6059633 140736622623040 140736622621832 4278436 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 44661 38424 184 456 0 44197 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 178644

[startup+1182.3 s]
/proc/loadavg: 2.14 2.08 2.01 3/177 6504
/proc/meminfo: memFree=30995932/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=147824 CPUtime=1182.07 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 28509 0 0 0 118186 21 0 0 20 0 1 0 109141701 151371776 35824 33554432000 4194304 6059633 140736622623040 140736622621864 4278447 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 36956 35824 184 456 0 36492 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 147824

[startup+1242.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/177 6505
/proc/meminfo: memFree=30983404/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=147824 CPUtime=1242.06 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 29265 0 0 0 124184 22 0 0 20 0 1 0 109141701 151371776 33237 33554432000 4194304 6059633 140736622623040 140736622621864 4278447 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 36956 33237 184 456 0 36492 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 147824

[startup+1302.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/177 6506
/proc/meminfo: memFree=30987332/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=178644 CPUtime=1302.06 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 29857 0 0 0 130183 23 0 0 20 0 1 0 109141701 182931456 37400 33554432000 4194304 6059633 140736622623040 140736622621832 4278373 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 44661 37400 184 456 0 44197 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 178644

[startup+1362.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 6507
/proc/meminfo: memFree=30974392/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=147824 CPUtime=1362.05 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 30058 0 0 0 136181 24 0 0 20 0 1 0 109141701 151371776 35797 33554432000 4194304 6059633 140736622623040 140736622621864 4277904 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 36956 35797 184 456 0 36492 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 147824

[startup+1422.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 6509
/proc/meminfo: memFree=31001156/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=147824 CPUtime=1422.05 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 30845 0 0 0 142179 26 0 0 20 0 1 0 109141701 151371776 33749 33554432000 4194304 6059633 140736622623040 140736622621864 4277570 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 36956 33749 184 456 0 36492 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 147824

[startup+1482.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 6510
/proc/meminfo: memFree=30967472/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=178644 CPUtime=1482.03 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 31442 0 0 0 148176 27 0 0 20 0 1 0 109141701 182931456 37400 33554432000 4194304 6059633 140736622623040 140736622621832 4277586 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 44661 37400 184 456 0 44197 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 178644

[startup+1542.31 s]
/proc/loadavg: 2.06 2.06 2.00 3/177 6511
/proc/meminfo: memFree=30996644/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=147824 CPUtime=1542.02 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 31648 0 0 0 154174 28 0 0 20 0 1 0 109141701 151371776 34773 33554432000 4194304 6059633 140736622623040 140736622621864 4277570 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 36956 34773 184 456 0 36492 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 147824

[startup+1602.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/177 6512
/proc/meminfo: memFree=30952328/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=178644 CPUtime=1602.01 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 32245 0 0 0 160172 29 0 0 20 0 1 0 109141701 182931456 38936 33554432000 4194304 6059633 140736622623040 140736622621832 4278447 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 44661 38936 184 456 0 44197 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 178644

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 6513
/proc/meminfo: memFree=30993564/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=178644 CPUtime=1662 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 33036 0 0 0 166169 31 0 0 20 0 1 0 109141701 182931456 37400 33554432000 4194304 6059633 140736622623040 140736622621832 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 44661 37400 184 456 0 44197 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 178644

[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/178 6518
/proc/meminfo: memFree=30986116/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=147824 CPUtime=1722 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 33236 0 0 0 172167 33 0 0 20 0 1 0 109141701 151371776 34773 33554432000 4194304 6059633 140736622623040 140736622621864 4261780 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 36956 34773 184 456 0 36492 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 147824

[startup+1782.3 s]
/proc/loadavg: 2.20 2.10 2.02 3/177 6519
/proc/meminfo: memFree=30940648/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=178644 CPUtime=1781.99 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 33832 0 0 0 178165 34 0 0 20 0 1 0 109141701 182931456 38936 33554432000 4194304 6059633 140736622623040 140736622621832 4246362 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 44661 38936 184 456 0 44197 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 178644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.23 2.11 2.02 3/177 6519
/proc/meminfo: memFree=30922900/32872528 swapFree=11252/530428
[pid=6428] ppid=6425 vsize=178644 CPUtime=1800.08 cores=0,2,4,6
/proc/6428/stat : 6428 (open-wbo) R 6425 6428 2423 0 -1 4202496 33834 0 0 0 179974 34 0 0 20 0 1 0 109141701 182931456 39960 33554432000 4194304 6059633 140736622623040 140736622621832 4278363 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/6428/statm: 44661 39960 184 456 0 44197 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 178644

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6428 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 40
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1799.75
CPU system time (s): 0.346947
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 227964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.346947
maximum resident set size= 194728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33837
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= 48
involuntary context switches= 2036

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.33919 second user time and 6.83296 second system time

The end

Begin job on node141 at 2016-06-07 06:01:39
IDJOB=4086862
IDBENCH=89910
IDSOLVER=2547
FILE ID=node141/4086862-1465272099
RUNJOBID= node141-1465239588-2439
PBS_JOBID= 19843243
Free space on /tmp= 71724 MiB

SOLVER NAME= Open-WBO PB16
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= open-wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4086862-1465272099/watcher-4086862-1465272099 -o /tmp/evaluation-result-4086862-1465272099/solver-4086862-1465272099 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1465239588-2439 --watchdog 1960  open-wbo HOME/instance-4086862-1465272099.opb

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

MD5SUM BENCH= 5ce23254bdc15fb1c07c51b856e9b57c
RANDOM SEED=542424882

node141.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.876
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.75
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.876
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	: 5332.55
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.876
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	: 5332.55
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.876
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	: 5332.55
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.876
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	: 5332.56
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.876
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	: 5332.55
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.876
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	: 5332.56
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.876
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31212192 kB
Buffers:           83036 kB
Cached:           145988 kB
SwapCached:         1740 kB
Active:           229416 kB
Inactive:         151276 kB
Active(anon):     151516 kB
Inactive(anon):     2464 kB
Active(file):      77900 kB
Inactive(file):   148812 kB
Unevictable:      530428 kB
Mlocked:           11252 kB
SwapTotal:      67108856 kB
SwapFree:       67098208 kB
Dirty:             25184 kB
Writeback:             0 kB
AnonPages:        702040 kB
Mapped:             7984 kB
Shmem:                 0 kB
Slab:             600192 kB
SReclaimable:      43608 kB
SUnreclaim:       556584 kB
KernelStack:        1456 kB
PageTables:         5540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     827592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    636928 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71672 MiB
End job on node141 at 2016-06-07 06:31:40