0.00/0.00	c NaPS 1.02b.
1800.01/1800.40	o 19600
1800.01/1800.40	o 6219
1800.01/1800.40	o 3889
1800.01/1800.40	c 
1800.01/1800.40	c *** TERMINATED *** by signal 15
1800.01/1800.40	s SATISFIABLE
1800.01/1800.40	c _____________________________________________________________________________
1800.01/1800.40	c 
1800.01/1800.40	c std/band forms        : 3728,0
1800.01/1800.40	c 2cl/3cl ITE-codings   : 50,0
1800.01/1800.40	c BDD/srt/adr Max costs : 3,1066589,0
1800.01/1800.40	c BDDraw/bin/mul/srt/adr: 3725,0,0,3,0
1800.01/1800.40	c BDD nodes             : 11225
1800.01/1800.40	c Es1/CC detections     : 0,0
1800.01/1800.40	c SAT/UNSAT calls       : 3,0
1800.01/1800.40	c restarts              : 821
1800.01/1800.40	c conflicts             : 222647         (124 /sec)
1800.01/1800.40	c decisions             : 850796         (473 /sec)
1800.01/1800.40	c propagations          : 1432014101     (795900 /sec)
1800.01/1800.40	c inspects              : 0              (0 /sec)
1800.01/1800.40	c CPU time (solving tm) : 1799 s        (301.2 s)
1800.01/1800.40	c Time for Opt-base     : 0.168 s
1800.01/1800.40	c _____________________________________________________________________________
1800.01/1800.40	v 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
1800.01/1800.40	v -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 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

OK	3889

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-4118621-1467241931/watcher-4118621-1467241931 -o /tmp/evaluation-result-4118621-1467241931/solver-4118621-1467241931 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467237877-15158 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118621-1467241931.opb 

pid=15537
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 Stack size limit: 81920 KiB
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: 81920 KiB


[startup+0 s]
/proc/loadavg: 2.17 2.19 2.18 3/176 15540
/proc/meminfo: memFree=20667620/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=7764 CPUtime=0 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 581 0 0 0 0 0 0 0 20 0 1 0 5144382 7950336 455 33554432000 4194304 5796924 140736674674864 140733201129544 4839552 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/15540/statm: 1941 455 116 392 0 1540 0

[startup+0.100165 s]
/proc/loadavg: 2.17 2.19 2.18 3/176 15540
/proc/meminfo: memFree=20667620/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=10632 CPUtime=0.09 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 1354 0 0 0 9 0 0 0 20 0 1 0 5144382 10887168 1733 33554432000 4194304 5796924 140736674674864 140733201129544 5183584 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/15540/statm: 2658 1733 128 392 0 2257 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10632

[startup+0.200311 s]
/proc/loadavg: 2.17 2.19 2.18 3/176 15540
/proc/meminfo: memFree=20667620/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=11528 CPUtime=0.19 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 1638 0 0 0 19 0 0 0 20 0 1 0 5144382 11804672 1947 33554432000 4194304 5796924 140736674674864 140733201129544 5096633 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/15540/statm: 2882 1947 139 392 0 2481 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11528

[startup+0.300305 s]
/proc/loadavg: 2.17 2.19 2.18 3/176 15540
/proc/meminfo: memFree=20667620/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=10724 CPUtime=0.29 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 2558 0 0 0 29 0 0 0 20 0 1 0 5144382 10981376 2310 33554432000 4194304 5796924 140736674674864 140736674669432 4806981 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/15540/statm: 2681 2310 160 392 0 2280 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10724

[startup+0.700328 s]
/proc/loadavg: 2.17 2.19 2.18 3/176 15540
/proc/meminfo: memFree=20667620/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=62860 CPUtime=0.69 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 8639 0 0 0 67 2 0 0 20 0 1 0 5144382 64368640 14615 33554432000 4194304 5796924 140736674674864 140736674669752 4243879 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 15715 14618 167 392 0 15314 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62860

[startup+1.50033 s]
/proc/loadavg: 2.17 2.19 2.18 3/177 15541
/proc/meminfo: memFree=20492084/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=305512 CPUtime=1.48 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 49502 0 0 0 139 9 0 0 20 0 1 0 5144382 312844288 71971 33554432000 4194304 5796924 140736674674864 140736674653960 4659057 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 76378 71973 167 392 0 75977 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 305512

[startup+3.10034 s]
/proc/loadavg: 2.16 2.19 2.18 3/177 15541
/proc/meminfo: memFree=20224400/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=561148 CPUtime=3.08 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 70638 0 0 0 292 16 0 0 20 0 1 0 5144382 574615552 128151 33554432000 4194304 5796924 140736674674864 140736674672184 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 140287 128151 167 392 0 139886 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 561148

[startup+6.30029 s]
/proc/loadavg: 2.16 2.19 2.18 3/177 15541
/proc/meminfo: memFree=20097088/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=642400 CPUtime=6.28 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 76766 0 0 0 608 20 0 0 20 0 1 0 5144382 657817600 144207 33554432000 4194304 5796924 140736674674864 140736674671832 4655306 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 160600 144207 167 392 0 160199 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 642400

[startup+12.7003 s]
/proc/loadavg: 2.13 2.18 2.18 3/177 15541
/proc/meminfo: memFree=19813340/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=906784 CPUtime=12.68 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 101716 0 0 0 1239 29 0 0 20 0 1 0 5144382 928546816 205066 33554432000 4194304 5796924 140736674674864 140736674671720 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 226696 205066 177 392 0 226295 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 906784

[startup+25.5004 s]
/proc/loadavg: 2.19 2.19 2.18 4/177 15541
/proc/meminfo: memFree=19800188/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=907856 CPUtime=25.48 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 101987 0 0 0 2519 29 0 0 20 0 1 0 5144382 929644544 206359 33554432000 4194304 5796924 140736674674864 140736674671976 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 226964 206359 178 392 0 226563 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 907856

[startup+51.1004 s]
/proc/loadavg: 2.26 2.21 2.18 3/177 15541
/proc/meminfo: memFree=19834508/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=908892 CPUtime=51.07 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 102250 0 0 0 5078 29 0 0 20 0 1 0 5144382 930705408 208155 33554432000 4194304 5796924 140736674674864 140736674671848 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 227223 208155 178 392 0 226822 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 908892

[startup+102.3 s]
/proc/loadavg: 2.26 2.21 2.18 3/177 15542
/proc/meminfo: memFree=19837116/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=910220 CPUtime=102.28 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 102778 0 0 0 10197 31 0 0 20 0 1 0 5144382 932065280 207405 33554432000 4194304 5796924 140736674674864 140736674672136 4594224 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 227555 207405 178 392 0 227154 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 910220

[startup+162.3 s]
/proc/loadavg: 2.28 2.23 2.19 3/177 15544
/proc/meminfo: memFree=19836184/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=912392 CPUtime=162.26 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 103579 0 0 0 16194 32 0 0 20 0 1 0 5144382 934289408 207491 33554432000 4194304 5796924 140736674674864 140736674671976 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 228098 207491 178 392 0 227697 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 912392

[startup+222.308 s]
/proc/loadavg: 2.36 2.26 2.20 3/177 15545
/proc/meminfo: memFree=19820996/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=913564 CPUtime=222.26 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 103859 0 0 0 22193 33 0 0 20 0 1 0 5144382 935489536 211348 33554432000 4194304 5796924 140736674674864 140736674672136 4592000 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 228391 211348 178 392 0 227990 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 913564

[startup+282.3 s]
/proc/loadavg: 2.26 2.26 2.20 4/177 15546
/proc/meminfo: memFree=19831192/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=915228 CPUtime=282.24 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 105118 0 0 0 28190 34 0 0 20 0 1 0 5144382 937193472 208747 33554432000 4194304 5796924 140736674674864 140736674671976 4606818 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 228807 208747 178 392 0 228406 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 915228

[startup+342.3 s]
/proc/loadavg: 2.22 2.25 2.19 3/177 15547
/proc/meminfo: memFree=19677408/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1108088 CPUtime=342.23 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 120535 0 0 0 34183 40 0 0 20 0 1 0 5144382 1134682112 247012 33554432000 4194304 5796924 140736674674864 140736674671976 4568998 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 277022 247012 180 392 0 276621 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1108088

[startup+402.3 s]
/proc/loadavg: 2.18 2.24 2.19 3/177 15548
/proc/meminfo: memFree=19609764/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1159476 CPUtime=402.23 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 121380 0 0 0 40181 42 0 0 20 0 1 0 5144382 1187303424 250395 33554432000 4194304 5796924 140736674674864 140736674672504 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 289869 250395 180 392 0 289468 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1159476

[startup+462.3 s]
/proc/loadavg: 2.21 2.23 2.19 3/177 15550
/proc/meminfo: memFree=19629260/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1110516 CPUtime=462.21 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 122121 0 0 0 46178 43 0 0 20 0 1 0 5144382 1137168384 247064 33554432000 4194304 5796924 140736674674864 140736674672328 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 277629 247064 180 392 0 277228 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1110516

[startup+522.3 s]
/proc/loadavg: 2.36 2.27 2.20 3/178 15554
/proc/meminfo: memFree=19623432/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1162416 CPUtime=522.2 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 122871 0 0 0 52175 45 0 0 20 0 1 0 5144382 1190313984 250366 33554432000 4194304 5796924 140736674674864 140736674672504 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 290604 250366 180 392 0 290203 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1162416

[startup+582.3 s]
/proc/loadavg: 2.34 2.28 2.20 3/177 15555
/proc/meminfo: memFree=19664660/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1115828 CPUtime=582.2 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 124334 0 0 0 58173 47 0 0 20 0 1 0 5144382 1142607872 250313 33554432000 4194304 5796924 140736674674864 140736674672136 4606534 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 278957 250313 180 392 0 278556 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1115828

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


[startup+882.307 s]
/proc/loadavg: 2.23 2.28 2.21 3/177 15561
/proc/meminfo: memFree=19589380/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1171740 CPUtime=882.15 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 128407 0 0 0 88160 55 0 0 20 0 1 0 5144382 1199861760 254871 33554432000 4194304 5796924 140736674674864 140736674671976 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 292935 254871 180 392 0 292534 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 1171740

[startup+942.3 s]
/proc/loadavg: 2.31 2.29 2.22 3/177 15562
/proc/meminfo: memFree=19615436/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1174788 CPUtime=942.12 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 129724 0 0 0 94154 58 0 0 20 0 1 0 5144382 1202982912 253114 33554432000 4194304 5796924 140736674674864 140736674671976 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 293697 253114 180 392 0 293296 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 1174788

[startup+1002.3 s]
/proc/loadavg: 2.15 2.24 2.21 3/177 15563
/proc/meminfo: memFree=19587136/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1126644 CPUtime=1002.1 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 130960 0 0 0 100150 60 0 0 20 0 1 0 5144382 1153683456 251670 33554432000 4194304 5796924 140736674674864 140736674672328 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 281661 251670 180 392 0 281260 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 1126644

[startup+1062.3 s]
/proc/loadavg: 2.24 2.25 2.21 3/177 15565
/proc/meminfo: memFree=19592496/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1176868 CPUtime=1062.09 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 131585 0 0 0 106147 62 0 0 20 0 1 0 5144382 1205112832 255229 33554432000 4194304 5796924 140736674674864 140736674671848 4606799 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 294217 255229 180 392 0 293816 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 1176868

[startup+1122.3 s]
/proc/loadavg: 2.17 2.23 2.20 3/178 15569
/proc/meminfo: memFree=19627168/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1177000 CPUtime=1122.07 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 131657 0 0 0 112145 62 0 0 20 0 1 0 5144382 1205248000 259051 33554432000 4194304 5796924 140736674674864 140736674671976 4606771 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 294250 259051 180 392 0 293849 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 1177000

[startup+1182.3 s]
/proc/loadavg: 2.17 2.22 2.19 3/177 15570
/proc/meminfo: memFree=19552852/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1177900 CPUtime=1182.04 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 131868 0 0 0 118142 62 0 0 20 0 1 0 5144382 1206169600 262637 33554432000 4194304 5796924 140736674674864 140736674671976 4606523 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 294475 262637 180 392 0 294074 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 1177900

[startup+1242.3 s]
/proc/loadavg: 2.26 2.23 2.19 3/177 15571
/proc/meminfo: memFree=19597816/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1178336 CPUtime=1242.03 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 133021 0 0 0 124137 66 0 0 20 0 1 0 5144382 1206616064 257491 33554432000 4194304 5796924 140736674674864 140736674672504 4606495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 294584 257491 180 392 0 294183 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1178336

[startup+1302.3 s]
/proc/loadavg: 2.20 2.22 2.19 3/177 15572
/proc/meminfo: memFree=19551652/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1178920 CPUtime=1302.02 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 133165 0 0 0 130136 66 0 0 20 0 1 0 5144382 1207214080 260190 33554432000 4194304 5796924 140736674674864 140736674671976 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 294730 260190 180 392 0 294329 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1178920

[startup+1362.3 s]
/proc/loadavg: 2.23 2.22 2.19 3/177 15620
/proc/meminfo: memFree=19742484/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1180288 CPUtime=1361.99 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 134515 0 0 0 136129 70 0 0 20 0 1 0 5144382 1208614912 257920 33554432000 4194304 5796924 140736674674864 140736674672504 4569014 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 295072 257920 180 392 0 294671 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1180288

[startup+1422.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/177 15621
/proc/meminfo: memFree=19508504/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1182916 CPUtime=1421.98 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 135092 0 0 0 142128 70 0 0 20 0 1 0 5144382 1211305984 262581 33554432000 4194304 5796924 140736674674864 140736674671976 4596912 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 295729 262581 180 392 0 295328 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1182916

[startup+1482.3 s]
/proc/loadavg: 2.34 2.26 2.20 3/177 15622
/proc/meminfo: memFree=19462268/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1133208 CPUtime=1481.96 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 135646 0 0 0 148124 72 0 0 20 0 1 0 5144382 1160404992 257013 33554432000 4194304 5796924 140736674674864 140736674672328 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 283302 257013 180 392 0 282901 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1133208

[startup+1542.31 s]
/proc/loadavg: 2.29 2.25 2.19 3/178 15623
/proc/meminfo: memFree=19450580/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1183856 CPUtime=1541.97 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 136350 0 0 0 154123 74 0 0 20 0 1 0 5144382 1212268544 259760 33554432000 4194304 5796924 140736674674864 140736674671976 4606744 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 295964 259760 180 392 0 295563 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 1183856

[startup+1602.3 s]
/proc/loadavg: 2.23 2.24 2.19 3/177 15623
/proc/meminfo: memFree=19407476/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1134328 CPUtime=1601.95 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 136908 0 0 0 160120 75 0 0 20 0 1 0 5144382 1161551872 256245 33554432000 4194304 5796924 140736674674864 140736674672328 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 283582 256245 180 392 0 283181 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1134328

[startup+1662.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 15625
/proc/meminfo: memFree=19371484/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1184692 CPUtime=1661.94 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 137544 0 0 0 166118 76 0 0 20 0 1 0 5144382 1213124608 259939 33554432000 4194304 5796924 140736674674864 140736674671848 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 296173 259939 180 392 0 295772 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1184692

[startup+1722.3 s]
/proc/loadavg: 2.26 2.23 2.18 3/178 15629
/proc/meminfo: memFree=19389568/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1185128 CPUtime=1721.93 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 137640 0 0 0 172116 77 0 0 20 0 1 0 5144382 1213571072 263101 33554432000 4194304 5796924 140736674674864 140736674671976 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 296282 263101 180 392 0 295881 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1185128

[startup+1782.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/177 15630
/proc/meminfo: memFree=19392772/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1135532 CPUtime=1781.92 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 138196 0 0 0 178114 78 0 0 20 0 1 0 5144382 1162784768 256512 33554432000 4194304 5796924 140736674674864 140736674672328 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 283883 256512 180 392 0 283482 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1135532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.15 2.20 2.18 3/177 15631
/proc/meminfo: memFree=19382408/32872528 swapFree=1499340/1695564
[pid=15540] ppid=15537 vsize=1135532 CPUtime=1800.01 cores=1,3,5,7
/proc/15540/stat : 15540 (naps-1.02) R 15537 15540 15141 0 -1 4202496 138198 0 0 0 179923 78 0 0 20 0 1 0 5144382 1162784768 257536 33554432000 4194304 5796924 140736674674864 140736674672328 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/15540/statm: 283883 257536 180 392 0 283482 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1135532

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

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.03
CPU user time (s): 1799.24
CPU system time (s): 0.792879
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 1265760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 0.792879
maximum resident set size= 1134140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138210
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= 167
involuntary context switches= 2131

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.65429 second user time and 6.85596 second system time

The end

Begin job on node137 at 2016-06-30 01:12:11
IDJOB=4118621
IDBENCH=111514
IDSOLVER=2544
FILE ID=node137/4118621-1467241931
RUNJOBID= node137-1467237877-15158
PBS_JOBID= 19997603
Free space on /tmp= 71692 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-50.lin.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118621-1467241931/watcher-4118621-1467241931 -o /tmp/evaluation-result-4118621-1467241931/solver-4118621-1467241931 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467237877-15158 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118621-1467241931.opb

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

MD5SUM BENCH= 48c7a63ae7f0b1bef760077a070d5167
RANDOM SEED=1824161657

node137.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.265
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	: 5332.53
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.265
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.265
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.53
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.265
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.265
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.265
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.265
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.54
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.265
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:        20668536 kB
Buffers:          115884 kB
Cached:          9500736 kB
SwapCached:            0 kB
Active:          5989152 kB
Inactive:        3752956 kB
Active(anon):     128144 kB
Inactive(anon):        4 kB
Active(file):    5861008 kB
Inactive(file):  3752952 kB
Unevictable:     1695564 kB
Mlocked:         1499340 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4308 kB
Writeback:             0 kB
AnonPages:       1820364 kB
Mapped:            14628 kB
Shmem:               204 kB
Slab:             633944 kB
SReclaimable:      78088 kB
SUnreclaim:       555856 kB
KernelStack:        1480 kB
PageTables:         7332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1927124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    305152 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= 71688 MiB
End job on node137 at 2016-06-30 01:42:12