0.00/0.00	c NaPS 1.02b.
1800.07/1800.40	o 2105
1800.07/1800.40	o 207
1800.07/1800.40	o 109
1800.07/1800.40	o 40
1800.07/1800.40	o 15
1800.07/1800.40	o 5
1800.07/1800.40	c 
1800.07/1800.40	c *** TERMINATED *** by signal 15
1800.07/1800.40	s SATISFIABLE
1800.07/1800.40	c _____________________________________________________________________________
1800.07/1800.40	c 
1800.07/1800.40	c std/band forms        : 85,0
1800.07/1800.40	c 2cl/3cl ITE-codings   : 3840,0
1800.07/1800.40	c BDD/srt/adr Max costs : 97,7667,0
1800.07/1800.40	c BDDraw/bin/mul/srt/adr: 80,0,0,5,0
1800.07/1800.40	c BDD nodes             : 7840
1800.07/1800.40	c Es1/CC detections     : 0,0
1800.07/1800.40	c SAT/UNSAT calls       : 6,0
1800.07/1800.40	c restarts              : 47
1800.07/1800.40	c conflicts             : 155956         (87 /sec)
1800.07/1800.40	c decisions             : 261312         (145 /sec)
1800.07/1800.40	c propagations          : 10340036       (5748 /sec)
1800.07/1800.40	c inspects              : 0              (0 /sec)
1800.07/1800.40	c CPU time (solving tm) : 1799 s        (6.4 s)
1800.07/1800.40	c Time for Opt-base     : 0.006998 s
1800.07/1800.40	c _____________________________________________________________________________
1800.07/1800.40	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979
1800.07/1800.40	v -x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 x3758 -x3759 -x3760 -x3761 x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 x3958 -x3959 -x3960
1800.07/1800.40	v -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 x3998 -x3999 -x4000

OK	5

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-4094711-1466076264/watcher-4094711-1466076264 -o /tmp/evaluation-result-4094711-1466076264/solver-4094711-1466076264 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466075532-11512 --watchdog 1960 naps-1.02 HOME/instance-4094711-1466076264.wbo 

pid=11876
running on 8 cores: 0-3,8-11

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.05 1.95 1.75 3/258 11879
/proc/meminfo: memFree=20197384/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=6972 CPUtime=0 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 417 0 0 0 0 0 0 0 20 0 1 0 9670966 7139328 291 33554432000 4194304 5796924 140734314928800 140734314927624 4621249 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 1743 291 130 392 0 1342 0

[startup+0.100117 s]
/proc/loadavg: 2.05 1.95 1.75 3/258 11879
/proc/meminfo: memFree=20197384/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=8752 CPUtime=0.09 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 942 0 0 0 9 0 0 0 20 0 1 0 9670966 8962048 756 33554432000 4194304 5796924 140734314928800 140734314928024 4425326 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 2188 756 142 392 0 1787 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8752

[startup+0.200251 s]
/proc/loadavg: 2.05 1.95 1.75 3/258 11879
/proc/meminfo: memFree=20197384/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=13732 CPUtime=0.19 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 3543 0 0 0 19 0 0 0 20 0 1 0 9670966 14061568 2884 33554432000 4194304 5796924 140734314928800 140734314928024 4611179 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 3433 2884 171 392 0 3032 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13732

[startup+0.3003 s]
/proc/loadavg: 2.05 1.95 1.75 3/258 11879
/proc/meminfo: memFree=20197384/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=16420 CPUtime=0.29 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 3726 0 0 0 29 0 0 0 20 0 1 0 9670966 16814080 3067 33554432000 4194304 5796924 140734314928800 140734314928024 4611179 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 4105 3067 171 392 0 3704 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16420

[startup+0.700237 s]
/proc/loadavg: 2.05 1.95 1.75 3/258 11879
/proc/meminfo: memFree=20197384/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=20868 CPUtime=0.69 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 4927 0 0 0 69 0 0 0 20 0 1 0 9670966 21368832 4391 33554432000 4194304 5796924 140734314928800 140734314928024 4611179 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 5217 4391 171 392 0 4816 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20868

[startup+1.50028 s]
/proc/loadavg: 2.05 1.95 1.75 3/259 11880
/proc/meminfo: memFree=20174996/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=27940 CPUtime=1.49 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 5287 0 0 0 149 0 0 0 20 0 1 0 9670966 28610560 6283 33554432000 4194304 5796924 140734314928800 140734314926040 4606799 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 6985 6283 171 392 0 6584 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27940

[startup+3.10029 s]
/proc/loadavg: 2.05 1.95 1.75 3/259 11880
/proc/meminfo: memFree=20171376/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=46684 CPUtime=3.08 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 5984 0 0 0 308 0 0 0 20 0 1 0 9670966 47804416 7818 33554432000 4194304 5796924 140734314928800 140734314926040 4592023 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 11671 7818 171 392 0 11270 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 46684

[startup+6.30029 s]
/proc/loadavg: 2.04 1.95 1.75 3/259 11880
/proc/meminfo: memFree=20136088/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=46684 CPUtime=6.29 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 6577 0 0 0 627 2 0 0 20 0 1 0 9670966 47804416 8330 33554432000 4194304 5796924 140734314928800 140734314926440 4607168 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 11671 8330 171 392 0 11270 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46684

[startup+12.7003 s]
/proc/loadavg: 2.04 1.95 1.76 3/259 11880
/proc/meminfo: memFree=20144556/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=67460 CPUtime=12.68 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 8098 0 0 0 1266 2 0 0 20 0 1 0 9670966 69079040 13719 33554432000 4194304 5796924 140734314928800 140734314926264 4591861 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 16865 13719 182 392 0 16464 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 67460

[startup+25.5004 s]
/proc/loadavg: 2.03 1.95 1.76 3/259 11880
/proc/meminfo: memFree=20356884/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=86316 CPUtime=25.48 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 8700 0 0 0 2546 2 0 0 20 0 1 0 9670966 88387584 20437 33554432000 4194304 5796924 140734314928800 140734314926040 4606789 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 21579 20437 182 392 0 21178 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86316

[startup+51.1004 s]
/proc/loadavg: 2.02 1.96 1.76 3/259 11880
/proc/meminfo: memFree=20033532/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=86680 CPUtime=51.08 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 9585 0 0 0 5105 3 0 0 20 0 1 0 9670966 88760320 21198 33554432000 4194304 5796924 140734314928800 140734314926264 4606744 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 21670 21198 182 392 0 21269 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86680

[startup+102.3 s]
/proc/loadavg: 2.07 1.98 1.78 3/259 11927
/proc/meminfo: memFree=31900896/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=136000 CPUtime=102.28 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 11501 0 0 0 10221 7 0 0 20 0 1 0 9670966 139264000 31738 33554432000 4194304 5796924 140734314928800 140734314926088 4606799 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 34000 31738 182 392 0 33599 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 136000

[startup+162.3 s]
/proc/loadavg: 2.02 1.98 1.79 3/259 11928
/proc/meminfo: memFree=31867372/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=136000 CPUtime=162.25 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 13613 0 0 0 16214 11 0 0 20 0 1 0 9670966 139264000 29726 33554432000 4194304 5796924 140734314928800 140734314926088 4606555 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 34000 29726 182 392 0 33599 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 136000

[startup+222.311 s]
/proc/loadavg: 2.01 1.98 1.80 3/259 11929
/proc/meminfo: memFree=31810316/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=118280 CPUtime=222.26 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 17670 0 0 0 22208 18 0 0 20 0 1 0 9670966 121118720 29134 33554432000 4194304 5796924 140734314928800 140734314926264 4607192 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 29570 29134 182 392 0 29169 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 118280

[startup+282.3 s]
/proc/loadavg: 2.05 1.99 1.82 3/259 11931
/proc/meminfo: memFree=31757300/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=198420 CPUtime=282.24 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 20393 0 0 0 28202 22 0 0 20 0 1 0 9670966 203182080 42813 33554432000 4194304 5796924 140734314928800 140734314926440 4606802 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 49605 42813 182 392 0 49204 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 198420

[startup+342.3 s]
/proc/loadavg: 2.02 1.99 1.82 3/260 11935
/proc/meminfo: memFree=31760168/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=167600 CPUtime=342.23 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 22538 0 0 0 34196 27 0 0 20 0 1 0 9670966 171622400 38650 33554432000 4194304 5796924 140734314928800 140734314926088 4606799 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 41900 38650 182 392 0 41499 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 167600

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/258 11936
/proc/meminfo: memFree=31753420/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=198420 CPUtime=402.22 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 24956 0 0 0 40191 31 0 0 20 0 1 0 9670966 203182080 44349 33554432000 4194304 5796924 140734314928800 140734314926440 4606789 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 49605 44349 182 392 0 49204 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 198420

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/259 11938
/proc/meminfo: memFree=31740836/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=198420 CPUtime=462.21 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 27699 0 0 0 46184 37 0 0 20 0 1 0 9670966 203182080 43325 33554432000 4194304 5796924 140734314928800 140734314926440 4606789 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 49605 43325 182 392 0 49204 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 198420

[startup+522.3 s]
/proc/loadavg: 2.05 2.01 1.85 3/259 11939
/proc/meminfo: memFree=31724908/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=198420 CPUtime=522.2 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 30439 0 0 0 52178 42 0 0 20 0 1 0 9670966 203182080 42813 33554432000 4194304 5796924 140734314928800 140734314926440 4606768 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 49605 42813 182 392 0 49204 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 198420

[startup+582.3 s]
/proc/loadavg: 2.13 2.03 1.86 3/259 11940
/proc/meminfo: memFree=31713452/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=198420 CPUtime=582.19 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 32281 0 0 0 58173 46 0 0 20 0 1 0 9670966 203182080 44864 33554432000 4194304 5796924 140734314928800 140734314926440 4606768 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 49605 44864 182 392 0 49204 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 198420


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


[startup+882.311 s]
/proc/loadavg: 2.05 2.02 1.90 3/259 11947
/proc/meminfo: memFree=31712584/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=203460 CPUtime=882.13 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 40682 0 0 0 88151 62 0 0 20 0 1 0 9670966 208343040 42793 33554432000 4194304 5796924 140734314928800 140734314926264 4606555 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 50865 42793 182 392 0 50464 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 203460

[startup+942.3 s]
/proc/loadavg: 2.02 2.01 1.90 3/260 11952
/proc/meminfo: memFree=31698404/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=172640 CPUtime=942.12 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 41831 0 0 0 94147 65 0 0 20 0 1 0 9670966 176783360 42699 33554432000 4194304 5796924 140734314928800 140734314926264 4606799 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 43160 42699 182 392 0 42759 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 172640

[startup+1002.3 s]
/proc/loadavg: 2.06 2.02 1.91 3/259 11953
/proc/meminfo: memFree=31684604/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=172640 CPUtime=1002.1 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 42853 0 0 0 100143 67 0 0 20 0 1 0 9670966 176783360 41958 33554432000 4194304 5796924 140734314928800 140734314926264 4607198 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 43160 41958 182 392 0 42759 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 172640

[startup+1062.3 s]
/proc/loadavg: 2.09 2.03 1.92 3/259 11954
/proc/meminfo: memFree=31735800/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=172640 CPUtime=1062.09 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 44094 0 0 0 106139 70 0 0 20 0 1 0 9670966 176783360 39910 33554432000 4194304 5796924 140734314928800 140734314926264 4606555 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 43160 39910 182 392 0 42759 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 172640

[startup+1122.3 s]
/proc/loadavg: 2.10 2.04 1.92 3/259 11955
/proc/meminfo: memFree=31694416/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=172640 CPUtime=1122.08 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 45343 0 0 0 112135 73 0 0 20 0 1 0 9670966 176783360 41958 33554432000 4194304 5796924 140734314928800 140734314926264 4606534 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 43160 41958 182 392 0 42759 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 172640

[startup+1182.3 s]
/proc/loadavg: 2.16 2.06 1.94 3/259 11956
/proc/meminfo: memFree=31667804/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=203460 CPUtime=1182.07 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 47176 0 0 0 118130 77 0 0 20 0 1 0 9670966 208343040 45097 33554432000 4194304 5796924 140734314928800 140734314926440 4607229 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 50865 45097 182 392 0 50464 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 203460

[startup+1242.3 s]
/proc/loadavg: 2.13 2.07 1.94 3/259 11958
/proc/meminfo: memFree=31709612/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=172640 CPUtime=1242.06 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 47838 0 0 0 124127 79 0 0 20 0 1 0 9670966 176783360 42470 33554432000 4194304 5796924 140734314928800 140734314926264 4606768 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 43160 42470 182 392 0 42759 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 172640

[startup+1302.3 s]
/proc/loadavg: 2.05 2.05 1.94 3/259 11959
/proc/meminfo: memFree=31646104/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=253548 CPUtime=1302.05 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 48749 0 0 0 130125 80 0 0 20 0 1 0 9670966 259633152 55638 33554432000 4194304 5796924 140734314928800 140734314926440 4606789 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 63387 55638 182 392 0 62986 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 253548

[startup+1362.3 s]
/proc/loadavg: 2.09 2.06 1.95 3/259 11960
/proc/meminfo: memFree=31645716/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=253548 CPUtime=1362.04 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 49986 0 0 0 136121 83 0 0 20 0 1 0 9670966 259633152 54102 33554432000 4194304 5796924 140734314928800 140734314926440 4606789 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 63387 54102 182 392 0 62986 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 253548

[startup+1422.3 s]
/proc/loadavg: 2.03 2.04 1.95 3/259 11961
/proc/meminfo: memFree=31649200/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=253548 CPUtime=1422.04 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 51234 0 0 0 142117 87 0 0 20 0 1 0 9670966 259633152 52566 33554432000 4194304 5796924 140734314928800 140734314926440 4606779 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 63387 52566 182 392 0 62986 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 253548

[startup+1482.3 s]
/proc/loadavg: 2.08 2.05 1.95 3/259 11962
/proc/meminfo: memFree=31671464/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=203460 CPUtime=1482.02 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 52174 0 0 0 148113 89 0 0 20 0 1 0 9670966 208343040 50217 33554432000 4194304 5796924 140734314928800 140734314926440 4606708 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 50865 50217 182 392 0 50464 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 203460

[startup+1542.31 s]
/proc/loadavg: 2.16 2.07 1.96 3/260 11967
/proc/meminfo: memFree=31686336/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=203460 CPUtime=1542.02 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 53415 0 0 0 154110 92 0 0 20 0 1 0 9670966 208343040 47145 33554432000 4194304 5796924 140734314928800 140734314926440 4606768 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 50865 47145 182 392 0 50464 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 203460

[startup+1602.3 s]
/proc/loadavg: 2.13 2.07 1.97 3/259 11968
/proc/meminfo: memFree=31705200/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=203460 CPUtime=1602 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 54658 0 0 0 160105 95 0 0 20 0 1 0 9670966 208343040 44585 33554432000 4194304 5796924 140734314928800 140734314926440 4606789 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 50865 44585 182 392 0 50464 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 203460

[startup+1662.3 s]
/proc/loadavg: 2.05 2.05 1.97 3/259 11969
/proc/meminfo: memFree=31695108/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=203460 CPUtime=1662 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 55916 0 0 0 166102 98 0 0 20 0 1 0 9670966 208343040 49705 33554432000 4194304 5796924 140734314928800 140734314926440 4607192 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 50865 49705 182 392 0 50464 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 203460

[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 1.97 3/259 11970
/proc/meminfo: memFree=31677460/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=253548 CPUtime=1721.99 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 57473 0 0 0 172098 101 0 0 20 0 1 0 9670966 259633152 52054 33554432000 4194304 5796924 140734314928800 140734314926440 4606555 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 63387 52054 182 392 0 62986 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 253548

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/259 11971
/proc/meminfo: memFree=31709244/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=203460 CPUtime=1781.98 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 59645 0 0 0 178092 106 0 0 20 0 1 0 9670966 208343040 44073 33554432000 4194304 5796924 140734314928800 140734314926440 4606768 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 50865 44073 182 392 0 50464 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 203460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.03 1.97 3/259 11971
/proc/meminfo: memFree=31677272/32872528 swapFree=7036/7036
[pid=11879] ppid=11876 vsize=203460 CPUtime=1800.07 cores=0-3,8-11
/proc/11879/stat : 11879 (naps-1.02) R 11876 11879 9725 0 -1 4202496 59653 0 0 0 179901 106 0 0 20 0 1 0 9670966 208343040 48169 33554432000 4194304 5796924 140734314928800 140734314926440 4607198 0 0 4096 17954 0 0 0 17 10 0 0 0 0 0
/proc/11879/statm: 50865 48169 182 392 0 50464 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 203460

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 11879 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.09
CPU user time (s): 1799.02
CPU system time (s): 1.06884
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 302868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.06884
maximum resident set size= 262664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59663
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= 57
involuntary context switches= 1858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.79382 second user time and 10.9843 second system time

The end

Begin job on node132 at 2016-06-16 13:24:24
IDJOB=4094711
IDBENCH=78669
IDSOLVER=2554
FILE ID=node132/4094711-1466076264
RUNJOBID= node132-1466075532-11512
PBS_JOBID= 19904007
Free space on /tmp= 71744 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4094711-1466076264/watcher-4094711-1466076264 -o /tmp/evaluation-result-4094711-1466076264/solver-4094711-1466076264 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466075532-11512 --watchdog 1960  naps-1.02 HOME/instance-4094711-1466076264.wbo

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

MD5SUM BENCH= 0158a6ff32db5686aa85d7a9b49d6df3
RANDOM SEED=607330747

node132.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.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.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.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        20197384 kB
Buffers:           16756 kB
Cached:            62132 kB
SwapCached:          568 kB
Active:         11892028 kB
Inactive:          42456 kB
Active(anon):   11856920 kB
Inactive(anon):     1044 kB
Active(file):      35108 kB
Inactive(file):    41412 kB
Unevictable:        7036 kB
Mlocked:            7036 kB
SwapTotal:      67108856 kB
SwapFree:       67100508 kB
Dirty:              4164 kB
Writeback:             0 kB
AnonPages:      11862452 kB
Mapped:             8028 kB
Shmem:                 0 kB
Slab:             569620 kB
SReclaimable:       9788 kB
SUnreclaim:       559832 kB
KernelStack:        2192 kB
PageTables:        27456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   13803556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3362816 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= 71740 MiB
End job on node132 at 2016-06-16 13:54:24