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-4118543-1467223613.opb
0.00/0.00	c File size is 308616 bytes.
1800.01/1800.30	c Sum of soft weights:        12141
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	c ========================================[ Problem Statistics ]===========================================
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	c |  Problem Type:             Weighted                                                                   |
1800.01/1800.30	c |  Number of variables:          3900                                                                   |
1800.01/1800.30	c |  Number of hard clauses:       5174                                                                   |
1800.01/1800.30	c |  Number of soft clauses:       3892                                                                   |
1800.01/1800.30	c |  Number of cardinality:           1                                                                   |
1800.01/1800.30	c |  Number of PB :                3717                                                                   |
1800.01/1800.30	c |  Parse time:                   0.04 s                                                                 |
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	o 2858
1800.01/1800.30	o 2665
1800.01/1800.30	s SATISFIABLE
1800.01/1800.30	v -x184 x92 -x185 x93 -x186 x97 -x187 -x98 -x188 x103 -x189 -x104 -x190 -x105 -x191 -x106 -x192 -x115 -x193 -x116 -x194 -x118 -x195 -x119 -x196 -x121 -x197 -x122 -x198 -x123 -x199 -x138 -x200 -x142 -x201 -x146 -x202 x148 -x203 x149 -x204 x154 -x205 -x163 -x206 -x167 -x207 -x168 -x208 -x172 -x209 -x176 -x210 -x2 x94 -x211 -x212 -x99 -x213 -x101 -x214 -x102 -x215 -x216 -x217 -x107 -x218 -x111 -x219 -x112 -x220 -x113 -x221 -x114 -x222 -x223 -x139 -x224 -x225 -x144 -x226 -x145 -x227 x147 -x228 -x229 -x230 -x152 -x231 x153 -x232 x155 -x233 x156 -x234 x157 -x235 -x236 -x165 -x237 -x166 -x238 -x239 -x170 -x240 -x171 -x241 -x174 -x242 -x175 x243 x3 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x120 -x256 -x257 -x125 -x258 -x126 x259 -x260 x261 x262 x263 x264 x161 -x265 -x266 -x267 x268 x181 -x269 -x182 -x270 -x4 -x271 -x272 -x95 -x273 -x96 -x274 -x275 -x276 -x100 -x277 -x278 -x279 -x280 -x281 -x108 -x282 x109 -x283 -x110 -x284 -x285 -x286 -x287 -x117 -x288 -x289 -x290 -x291 -x292 -x293 -x124 -x294 -x295 -x127 -x296 -x129 -x297 x133 -x298 x137 -x299 -x300 -x301 -x302 -x303 -x304 x151 -x305 -x306 -x307 -x308 -x309 -x310 x173 -x311 -x312 -x179 -x313 -x314 -x5 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x130 -x331 -x332 -x135 -x333 x136 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x158 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x177 -x361 -x178 -x362 -x363 -x364 -x365 -x6 -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 -x7 -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 x8 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 -x10 -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 -x11 -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 -x159 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x12 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x150 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x13 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x14 -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 -x15 -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 -x16 -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 -x17 -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 -x18 -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 -x19 -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 -x20 -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 -x21 -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 -x22 -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 -x23 -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 -x24 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x25 -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 x26 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 x128 -x1096 x1097 x131 x1098 x132 x1099 -x1100 -x143 -x1101 -x1102 x1103 x1104 x1105 -x1106 -x164 -x1107 -x1108 x1109 x169 -x1110 -x1111 x1112 -x1113 -x1114 x1115 x27 -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 x28 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 -x140 -x1189 -x141 -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 x29 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 -x30 -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 -x31 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x162 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 x32 -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 x33 -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 x34 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 x35 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 x36 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 -x37 -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 x38 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 -x39 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 x134 -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 -x40 -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 -x41 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x42 -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 -x43 -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 -x44 -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 -x45 -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 -x46 -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 x47 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 -x48 -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 -x49 -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 -x50 -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 -x51 -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 -x53 -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 -x54 -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 -x55 -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 -x56 -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 -x57 -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 -x58 -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 -x59 -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 -x60 -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 -x61 -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 -x63 -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 -x65 -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 -x66 -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 -x67 -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 -x68 -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 -x69 -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 -x70 -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 -x71 -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 x72 -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 x74 -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 x75 -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 x76 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 x77 -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 x78 -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 x79 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 x80 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 x81 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 -x82 -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 -x83 -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 -x84 -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 -x85 -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 -x86 -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 -x87 -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 -x88 -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 -x89 -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 -x90 -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 x91 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 x183 -x1 -x9 -x52 -x62 -x64 x73 x160 x180 

OK	2665

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-4118543-1467223613/watcher-4118543-1467223613 -o /tmp/evaluation-result-4118543-1467223613/solver-4118543-1467223613 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1467209130-5020 --watchdog 1960 open-wbo HOME/instance-4118543-1467223613.opb 

pid=6730
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.17 2.19 2.18 4/176 6733
/proc/meminfo: memFree=26720596/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=3036 CPUtime=0 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 506 0 0 0 0 0 0 0 20 0 1 0 3316421 3108864 382 33554432000 4194304 6059633 140735623679072 140736678581400 5131575 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 759 382 209 456 0 219 0

[startup+0.100147 s]
/proc/loadavg: 2.17 2.19 2.18 4/176 6733
/proc/meminfo: memFree=26720596/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=16676 CPUtime=0.09 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 2642 0 0 0 9 0 0 0 20 0 1 0 3316421 17076224 2938 33554432000 4194304 6059633 140735623679072 140736678581400 4278759 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 4169 2938 172 456 0 3705 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16676

[startup+0.200365 s]
/proc/loadavg: 2.17 2.19 2.18 4/176 6733
/proc/meminfo: memFree=26720596/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=17204 CPUtime=0.19 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 2810 0 0 0 19 0 0 0 20 0 1 0 3316421 17616896 3106 33554432000 4194304 6059633 140735623679072 140736678581400 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 4301 3106 174 456 0 3837 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17204

[startup+0.300278 s]
/proc/loadavg: 2.17 2.19 2.18 4/176 6733
/proc/meminfo: memFree=26720596/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=17468 CPUtime=0.29 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 2914 0 0 0 29 0 0 0 20 0 1 0 3316421 17887232 3210 33554432000 4194304 6059633 140735623679072 140736678581400 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 4367 3210 174 456 0 3903 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17468

[startup+0.700244 s]
/proc/loadavg: 2.17 2.19 2.18 4/176 6733
/proc/meminfo: memFree=26720596/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=18524 CPUtime=0.69 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 3236 0 0 0 69 0 0 0 20 0 1 0 3316421 18968576 3532 33554432000 4194304 6059633 140735623679072 140735623677832 5268791 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 4631 3532 174 456 0 4167 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18524

[startup+1.50027 s]
/proc/loadavg: 2.17 2.19 2.18 3/177 6734
/proc/meminfo: memFree=26704884/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=23560 CPUtime=1.49 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 4247 0 0 0 148 1 0 0 20 0 1 0 3316421 24125440 4543 33554432000 4194304 6059633 140735623679072 140735623677832 4262765 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 5890 4543 192 456 0 5426 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23560

[startup+3.10022 s]
/proc/loadavg: 2.17 2.19 2.18 3/177 6734
/proc/meminfo: memFree=26702336/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=22636 CPUtime=3.09 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 5106 0 0 0 308 1 0 0 20 0 1 0 3316421 23179264 4817 33554432000 4194304 6059633 140735623679072 140735623677832 4278292 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 5659 4817 193 456 0 5195 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22636

[startup+6.3003 s]
/proc/loadavg: 2.16 2.18 2.18 3/177 6734
/proc/meminfo: memFree=26696556/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=27540 CPUtime=6.29 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 5903 0 0 0 627 2 0 0 20 0 1 0 3316421 28200960 6038 33554432000 4194304 6059633 140735623679072 140735623677832 4277790 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 6885 6038 193 456 0 6421 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27540

[startup+12.7002 s]
/proc/loadavg: 2.23 2.20 2.18 4/177 6734
/proc/meminfo: memFree=26693620/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=30428 CPUtime=12.69 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 6770 0 0 0 1267 2 0 0 20 0 1 0 3316421 31158272 6827 33554432000 4194304 6059633 140735623679072 140735623677832 4278149 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 7607 6827 194 456 0 7143 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30428

[startup+25.5004 s]
/proc/loadavg: 2.18 2.19 2.18 3/177 6734
/proc/meminfo: memFree=26688744/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=34980 CPUtime=25.49 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 7556 0 0 0 2547 2 0 0 20 0 1 0 3316421 35819520 8077 33554432000 4194304 6059633 140735623679072 140735623677832 4277855 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 8745 8077 194 456 0 8281 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 34980

[startup+51.1003 s]
/proc/loadavg: 2.26 2.20 2.18 3/177 6734
/proc/meminfo: memFree=26680372/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=49704 CPUtime=51.08 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 8631 0 0 0 5106 2 0 0 20 0 1 0 3316421 50896896 9682 33554432000 4194304 6059633 140735623679072 140735623677224 4278382 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 12426 9682 194 456 0 11962 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49704

[startup+102.3 s]
/proc/loadavg: 2.27 2.22 2.19 4/177 6735
/proc/meminfo: memFree=26664360/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=56884 CPUtime=102.28 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 9518 0 0 0 10225 3 0 0 20 0 1 0 3316421 58249216 13588 33554432000 4194304 6059633 140735623679072 140735623677832 4278432 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 14221 13588 194 456 0 13757 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 56884

[startup+162.3 s]
/proc/loadavg: 2.16 2.19 2.18 3/177 6737
/proc/meminfo: memFree=26661812/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=56884 CPUtime=162.27 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 9535 0 0 0 16224 3 0 0 20 0 1 0 3316421 58249216 13605 33554432000 4194304 6059633 140735623679072 140735623677832 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 14221 13605 194 456 0 13757 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 56884

[startup+222.307 s]
/proc/loadavg: 2.22 2.20 2.18 3/178 6741
/proc/meminfo: memFree=26657628/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=62060 CPUtime=222.26 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 10163 0 0 0 22223 3 0 0 20 0 1 0 3316421 63549440 14722 33554432000 4194304 6059633 140735623679072 140735623677832 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 15515 14722 194 456 0 15051 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 62060

[startup+282.3 s]
/proc/loadavg: 2.31 2.23 2.19 4/177 6742
/proc/meminfo: memFree=26646760/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=81344 CPUtime=282.25 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 12014 0 0 0 28220 5 0 0 20 0 1 0 3316421 83296256 16943 33554432000 4194304 6059633 140735623679072 140735623677224 4278024 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 20336 16943 194 456 0 19872 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 81344

[startup+342.3 s]
/proc/loadavg: 2.37 2.27 2.20 3/177 6743
/proc/meminfo: memFree=26625284/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=81344 CPUtime=342.24 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 12022 0 0 0 34219 5 0 0 20 0 1 0 3316421 83296256 17462 33554432000 4194304 6059633 140735623679072 140735623677832 4255448 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 20336 17462 194 456 0 19872 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 81344

[startup+402.3 s]
/proc/loadavg: 2.33 2.29 2.21 3/177 6744
/proc/meminfo: memFree=26621184/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=81344 CPUtime=402.23 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 12032 0 0 0 40218 5 0 0 20 0 1 0 3316421 83296256 18494 33554432000 4194304 6059633 140735623679072 140735623677832 4255169 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 20336 18494 194 456 0 19872 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 81344

[startup+462.3 s]
/proc/loadavg: 2.43 2.32 2.22 3/177 6746
/proc/meminfo: memFree=26621060/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=81344 CPUtime=462.22 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 12035 0 0 0 46217 5 0 0 20 0 1 0 3316421 83296256 18497 33554432000 4194304 6059633 140735623679072 140735623677832 4277586 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 20336 18497 194 456 0 19872 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 81344

[startup+522.3 s]
/proc/loadavg: 2.42 2.34 2.23 3/177 6747
/proc/meminfo: memFree=26616960/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=84384 CPUtime=522.21 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 12097 0 0 0 52216 5 0 0 20 0 1 0 3316421 86409216 19578 33554432000 4194304 6059633 140735623679072 140735623677224 4261792 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 21096 19578 194 456 0 20632 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 84384

[startup+582.3 s]
/proc/loadavg: 2.30 2.32 2.23 3/177 6748
/proc/meminfo: memFree=26595788/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=84384 CPUtime=582.2 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 12507 0 0 0 58215 5 0 0 20 0 1 0 3316421 86409216 19980 33554432000 4194304 6059633 140735623679072 140735623677832 4277874 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 21096 19980 194 456 0 20632 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 84384


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


[startup+942.3 s]
/proc/loadavg: 2.22 2.25 2.22 3/177 6758
/proc/meminfo: memFree=26592800/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=84384 CPUtime=942.14 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 16024 0 0 0 94204 10 0 0 20 0 1 0 3316421 86409216 20409 33554432000 4194304 6059633 140735623679072 140735623677832 4246291 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 21096 20409 194 456 0 20632 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 84384

[startup+1002.3 s]
/proc/loadavg: 2.20 2.23 2.21 3/177 6759
/proc/meminfo: memFree=26592564/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=84384 CPUtime=1002.13 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 16412 0 0 0 100203 10 0 0 20 0 1 0 3316421 86409216 20409 33554432000 4194304 6059633 140735623679072 140735623677560 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 21096 20409 194 456 0 20632 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 84384

[startup+1062.3 s]
/proc/loadavg: 2.28 2.25 2.22 3/177 6761
/proc/meminfo: memFree=26592564/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=84384 CPUtime=1062.12 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 16806 0 0 0 106201 11 0 0 20 0 1 0 3316421 86409216 20414 33554432000 4194304 6059633 140735623679072 140735623677832 4277832 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 21096 20414 194 456 0 20632 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 84384

[startup+1122.3 s]
/proc/loadavg: 2.15 2.21 2.20 3/177 6762
/proc/meminfo: memFree=26556756/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=133704 CPUtime=1122.12 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 17581 0 0 0 112199 13 0 0 20 0 1 0 3316421 136912896 29487 33554432000 4194304 6059633 140735623679072 140735623677272 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 33426 29487 194 456 0 32962 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 133704

[startup+1182.3 s]
/proc/loadavg: 2.26 2.23 2.21 4/177 6763
/proc/meminfo: memFree=26556756/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=133704 CPUtime=1182.11 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 17975 0 0 0 118197 14 0 0 20 0 1 0 3316421 136912896 30002 33554432000 4194304 6059633 140735623679072 140735623677272 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 33426 30002 194 456 0 32962 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 133704

[startup+1242.3 s]
/proc/loadavg: 2.31 2.25 2.21 3/177 6764
/proc/meminfo: memFree=26550244/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=133704 CPUtime=1242.09 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 18367 0 0 0 124195 14 0 0 20 0 1 0 3316421 136912896 31026 33554432000 4194304 6059633 140735623679072 140735623677272 4246291 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 33426 31026 194 456 0 32962 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 133704

[startup+1302.3 s]
/proc/loadavg: 2.19 2.23 2.20 3/177 6811
/proc/meminfo: memFree=26644576/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=133704 CPUtime=1302.08 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 19357 0 0 0 130192 16 0 0 20 0 1 0 3316421 136912896 29500 33554432000 4194304 6059633 140735623679072 140735623677272 4277527 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 33426 29500 195 456 0 32962 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 133704

[startup+1362.3 s]
/proc/loadavg: 2.37 2.26 2.21 4/177 6813
/proc/meminfo: memFree=26629208/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=133704 CPUtime=1362.08 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 19749 0 0 0 136191 17 0 0 20 0 1 0 3316421 136912896 29500 33554432000 4194304 6059633 140735623679072 140735623677272 4278352 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 33426 29500 195 456 0 32962 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 133704

[startup+1422.3 s]
/proc/loadavg: 2.31 2.26 2.21 3/178 6817
/proc/meminfo: memFree=26631160/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=133704 CPUtime=1422.07 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 20144 0 0 0 142190 17 0 0 20 0 1 0 3316421 136912896 28992 33554432000 4194304 6059633 140735623679072 140735623677272 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 33426 28992 195 456 0 32962 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 133704

[startup+1482.3 s]
/proc/loadavg: 2.20 2.24 2.21 3/177 6818
/proc/meminfo: memFree=26623984/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=133704 CPUtime=1482.06 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 20534 0 0 0 148188 18 0 0 20 0 1 0 3316421 136912896 28480 33554432000 4194304 6059633 140735623679072 140735623677272 4277855 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 33426 28480 195 456 0 32962 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 133704

[startup+1542.31 s]
/proc/loadavg: 2.29 2.25 2.21 4/177 6819
/proc/meminfo: memFree=26623740/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=133704 CPUtime=1542.06 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 20925 0 0 0 154187 19 0 0 20 0 1 0 3316421 136912896 28480 33554432000 4194304 6059633 140735623679072 140735623677272 4278354 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 33426 28480 195 456 0 32962 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 133704

[startup+1602.3 s]
/proc/loadavg: 2.24 2.25 2.21 3/177 6820
/proc/meminfo: memFree=26641472/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=84384 CPUtime=1602.04 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 20933 0 0 0 160185 19 0 0 20 0 1 0 3316421 86409216 20431 33554432000 4194304 6059633 140735623679072 140735623677560 4255284 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 21096 20431 195 456 0 20632 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 84384

[startup+1662.3 s]
/proc/loadavg: 2.14 2.22 2.20 3/177 6822
/proc/meminfo: memFree=26639808/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=84384 CPUtime=1662.03 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 21469 0 0 0 166183 20 0 0 20 0 1 0 3316421 86409216 20431 33554432000 4194304 6059633 140735623679072 140735623677560 4278520 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 21096 20431 195 456 0 20632 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 84384

[startup+1722.3 s]
/proc/loadavg: 2.09 2.19 2.18 4/177 6823
/proc/meminfo: memFree=26639964/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=84384 CPUtime=1722.03 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 22080 0 0 0 172181 22 0 0 20 0 1 0 3316421 86409216 20434 33554432000 4194304 6059633 140735623679072 140735623677560 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 21096 20434 195 456 0 20632 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 84384

[startup+1782.3 s]
/proc/loadavg: 2.13 2.18 2.18 4/177 6824
/proc/meminfo: memFree=26579520/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=133704 CPUtime=1782.01 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 22472 0 0 0 178179 22 0 0 20 0 1 0 3316421 136912896 32579 33554432000 4194304 6059633 140735623679072 140735623677272 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 33426 32579 195 456 0 32962 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 133704



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.09 2.17 2.18 3/177 6824
/proc/meminfo: memFree=26627972/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=84384 CPUtime=1800.01 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 23064 0 0 0 179978 23 0 0 20 0 1 0 3316421 86409216 20434 33554432000 4194304 6059633 140735623679072 140735623677560 4277835 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 21096 20434 195 456 0 20632 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 84384

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 6733 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.09 2.17 2.18 3/177 6824
/proc/meminfo: memFree=26627972/32872528 swapFree=1268996/1432516
[pid=6733] ppid=6730 vsize=84384 CPUtime=1800.01 cores=1,3,5,7
/proc/6733/stat : 6733 (open-wbo) R 6730 6733 5003 0 -1 4202496 23064 0 0 0 179978 23 0 0 20 0 1 0 3316421 86409216 20434 33554432000 4194304 6059633 140735623679072 140735623677560 4277835 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6733/statm: 21096 20434 195 456 0 20632 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 84384

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.78
CPU system time (s): 0.240963
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 164524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.240963
maximum resident set size= 134680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23067
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= 14
involuntary context switches= 1859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53831 second user time and 6.91995 second system time

The end

Begin job on node130 at 2016-06-29 20:06:53
IDJOB=4118543
IDBENCH=111505
IDSOLVER=2547
FILE ID=node130/4118543-1467223613
RUNJOBID= node130-1467209130-5020
PBS_JOBID= 19997578
Free space on /tmp= 71664 MiB

SOLVER NAME= Open-WBO PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross14-117.lin.opb
COMMAND LINE= open-wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118543-1467223613/watcher-4118543-1467223613 -o /tmp/evaluation-result-4118543-1467223613/solver-4118543-1467223613 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1467209130-5020 --watchdog 1960  open-wbo HOME/instance-4118543-1467223613.opb

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

MD5SUM BENCH= 881d776141e49a576f2f57244b0e7631
RANDOM SEED=211153879

node130.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.813
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.62
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.813
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.813
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.813
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.813
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.55
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.813
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.813
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.55
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.813
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:        26720604 kB
Buffers:          133360 kB
Cached:          3742684 kB
SwapCached:            0 kB
Active:           559872 kB
Inactive:        3408412 kB
Active(anon):      94672 kB
Inactive(anon):        0 kB
Active(file):     465200 kB
Inactive(file):  3408412 kB
Unevictable:     1432516 kB
Mlocked:         1268996 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5172 kB
Writeback:             0 kB
AnonPages:       1527012 kB
Mapped:            14680 kB
Shmem:               204 kB
Slab:             616572 kB
SReclaimable:      60488 kB
SUnreclaim:       556084 kB
KernelStack:        1456 kB
PageTables:         7104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1660808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    227328 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= 71656 MiB
End job on node130 at 2016-06-29 20:36:54